files / problems / smale-tau / compute / q1 / count9_10266.json
{
"mode": "count", "steps": 9, "prefix_depth": 9, "threads": 1, "seconds": 91.7,
"nodes_per_depth": [1,2,8,59,663,10609,225219,6057298,199290037],
"leaves": 0, "pruned": 0, "leaf_target_pairs_filtered_by_size": 0,
"reached_cumulative": [1,2,4,9,26,102,562,4363,46154,652227],
"reached_below_2_64": 648397, "reached_at_least_2_64": 3830,
"tau_table_bound": 10266,
"tau": [0,1,2,2,3,3,4,3,3,4,4,4,5,4,4,3,4,4,5,4,5,5,5,4,4,5,4,5,5,5,5,4,5,5,5,4,5,5,5,5,6,5,6,6,5,6,6,5,5,5,6,6,6,5,6,5,6,6,6,5,6,5,5,4,5,5,6,5,6,6,6,5,6,6,5,6,6,5,5,5,4,5,5,5,6,6,6,6,6,5,6,6,6,6,6,5,6,6,5,5,6,6,6,6,6,6,6,5,6,6,6,6,7,6,6,6,6,6,6,6,5,6,6,6,5,6,6,5,6,6,7,6,7,7,6,6,7,6,7,6,6,6,6,5,6,6,6,6,7,6,7,6,6,6,7,6,7,6,6,6,6,5,6,6,6,6,7,6,6,7,6,7,7,7,6,6,7,7,7,6,7,6,7,7,7,7,7,6,6,6,6,5,6,6,6,5,6,6,7,6,7,7,7,6,7,7,7,6,6,6,7,6,6,6,6,5,6,6,6,6,6,6,6,5,5,6,6,6,6,6,7,7,7,6,7,6,6,6,6,5,6,6,5,6,6,6,7,6,6,6,6,5,6,5,5,4,5,5,6,5,6,6,7,6,7,7,7,6,7,6,6,5,6,6,7,6,7,7,7,6,7,7,7,6,6,6,6,5,5,6,6,6,6,6,7,7,6,7,7,6,7,7,7,6,6,6,7,6,7,7,8,7,7,7,6,6,7,6,6,5,6,6,6,5,6,6,6,6,7,6,7,7,6,7,7,6,7,7,7,6,7,6,6,7,7,7,7,7,7,7,7,6,7,7,7,7,6,7,7,6,6,7,6,7,7,7,7,7,7,7,7,7,7,7,6,7,7,6,7,6,7,7,7,6,7,7,7,7,7,7,7,6,7,7,6,6,7,6,6,5,6,6,7,6,6,7,7,7,7,7,7,7,8,7,7,6,7,7,7,6,7,7,7,7,7,7,7,7,7,7,7,6,7,7,7,7,7,7,7,6,6,7,7,7,7,7,7,6,7,6,7,7,7,7,7,7,7,7,7,7,7,7,7,7,6,7,7,7,7,7,8,7,7,7,7,7,7,7,7,6,7,7,7,6,7,6,7,7,7,7,8,7,7,7,7,6,7,7,7,6,7,7,7,6,7,7,7,6,7,6,6,5,6,6,7,6,7,7,7,6,7,7,7,7,6,7,7,6,6,7,7,7,7,7,7,7,8,8,7,7,8,7,7,6,7,7,7,7,7,6,7,6,7,7,7,7,7,7,7,7,6,7,7,7,7,7,6,7,7,6,7,6,7,6,6,5,6,6,7,6,7,6,7,7,7,7,8,7,7,7,8,7,8,7,7,7,7,7,7,6,7,7,7,7,7,7,8,7,7,7,7,6,7,7,7,7,7,7,7,6,6,6,6,6,5,6,6,6,6,6,7,7,7,7,7,7,7,7,7,6,7,7,8,7,7,7,7,6,7,6,7,7,7,7,7,7,7,8,8,7,8,8,8,7,7,7,7,7,7,7,7,6,7,7,6,6,7,7,7,7,7,7,8,7,7,7,8,8,8,7,8,8,7,8,7,7,7,7,7,6,7,6,7,7,7,8,8,7,7,7,6,7,7,7,8,7,7,7,7,6,7,7,7,7,6,6,6,6,5,6,6,6,7,7,7,7,7,6,7,7,7,8,8,7,7,7,6,7,7,6,7,7,7,7,7,6,7,7,7,7,8,7,8,7,7,7,7,6,7,7,7,7,8,7,7,7,7,7,7,7,7,7,6,6,7,7,7,7,7,7,7,7,7,8,7,7,8,7,7,6,7,7,8,7,7,7,7,7,7,6,7,7,7,7,8,7,8,8,7,7,8,8,8,8,7,8,8,7,8,7,8,7,7,8,8,7,7,7,7,7,6,7,7,7,7,7,7,7,8,7,8,7,8,8,8,7,8,7,8,7,7,7,7,6,7,7,7,7,7,7,8,7,7,8,7,7,8,8,8,7,8,7,8,7,7,7,8,7,7,7,6,7,7,7,7,6,7,7,7,6,7,7,7,7,7,7,8,7,7,7,8,7,7,7,7,7,8,7,8,7,8,8,8,7,7,8,7,7,7,7,8,7,8,8,8,7,8,8,8,7,8,8,8,7,7,7,8,7,8,7,8,7,7,7,8,7,7,7,7,6,6,7,7,7,7,7,8,7,7,7,7,6,7,7,7,7,7,7,8,7,7,8,8,7,8,7,8,7,8,7,7,6,7,7,7,7,7,7,7,6,7,7,7,7,7,7,7,6,7,7,8,7,8,7,7,6,7,7,7,6,7,6,6,5,6,6,7,6,7,7,7,6,7,7,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,7,8,7,7,7,7,6,7,7,8,7,8,7,8,7,8,8,7,8,8,8,7,7,7,7,8,7,7,7,7,6,7,7,7,7,7,7,7,6,6,7,7,7,7,8,7,7,7,7,8,7,8,7,8,7,7,7,7,8,8,7,7,8,8,8,7,7,8,8,8,7,7,7,7,7,6,7,7,7,8,7,8,8,8,7,7,7,8,7,7,7,8,8,8,7,8,7,7,7,8,7,7,6,7,7,7,6,7,7,7,7,8,7,8,7,8,8,8,7,8,7,8,7,7,7,7,7,8,8,8,8,8,7,7,7,7,7,7,6,7,7,7,7,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,7,7,8,8,8,8,7,7,8,7,7,7,7,7,7,6,6,7,7,7,7,7,7,7,8,8,8,8,8,8,8,7,8,7,8,7,7,7,7,7,7,6,7,7,7,7,7,7,7,7,7,6,7,7,7,7,8,7,8,8,7,7,8,7,8,8,7,7,8,7,7,6,7,7,8,7,7,7,7,7,7,6,7,6,6,6,6,5,6,6,6,6,7,6,7,7,7,7,8,7,7,8,8,7,8,7,8,7,8,8,8,7,8,7,7,8,7,7,8,7,7,7,6,6,7,7,7,7,8,7,8,7,8,7,8,7,8,8,8,8,8,7,8,7,7,8,8,8,8,8,8,7,8,7,7,7,7,7,7,6,6,7,7,7,7,7,7,8,7,7,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,7,8,7,8,7,7,8,8,7,7,7,8,7,7,6,7,7,7,6,7,7,7,7,7,7,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,8,7,8,8,7,8,7,8,8,8,7,8,8,8,7,8,7,8,7,7,8,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,7,8,7,8,7,7,7,7,6,7,7,7,7,7,7,7,7,6,7,7,7,8,8,7,8,8,7,8,7,8,7,7,6,7,7,7,7,8,7,8,8,8,8,8,7,8,8,8,7,8,7,8,8,7,7,8,7,8,8,8,7,8,7,8,7,8,8,8,7,7,8,7,8,8,8,8,7,8,8,8,7,8,8,7,8,8,7,7,7,8,7,7,7,7,7,7,6,7,7,7,7,7,7,8,7,8,7,8,8,8,8,8,7,7,8,8,7,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,7,8,7,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,7,7,8,8,8,8,8,8,8,7,8,7,8,7,8,8,8,8,8,7,7,8,8,7,8,8,8,8,8,7,8,7,8,8,7,7,8,8,7,7,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,7,7,8,8,7,8,8,8,7,8,8,8,8,8,7,8,7,8,8,7,8,7,7,8,7,7,7,7,6,7,7,7,7,8,7,7,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,7,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,9,8,8,7,7,8,8,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,7,8,8,7,7,7,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,7,8,8,7,7,8,7,7,7,6,7,7,7,8,7,7,8,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,8,7,8,7,8,8,7,7,8,8,8,8,8,7,8,8,7,7,8,7,8,8,7,7,7,6,7,7,7,8,8,7,8,8,7,8,8,7,8,8,8,7,8,7,8,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,7,8,8,8,7,8,8,9,8,8,7,8,8,8,8,7,7,8,7,7,6,7,7,8,7,7,8,8,8,7,7,8,8,8,8,8,7,8,8,8,7,7,7,7,7,6,7,7,7,7,7,8,7,8,7,8,8,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,7,8,8,9,8,8,8,9,8,9,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,7,7,8,8,8,8,7,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,7,8,8,7,8,8,8,8,8,8,7,8,7,8,8,7,8,8,7,7,7,6,7,7,7,8,8,7,8,8,7,7,8,8,7,8,8,8,8,7,8,8,7,7,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,9,8,8,8,8,8,8,8,9,8,8,7,7,8,8,7,8,8,8,8,8,7,8,8,8,7,8,7,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,7,8,8,7,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,7,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,7,8,8,8,7,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,7,8,8,9,8,9,9,8,8,8,8,8,8,7,7,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,7,8,7,8,8,8,8,8,8,7,7,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,7,7,7,7,7,7,7,7,7,6,7,7,7,7,7,7,7,7,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,8,7,8,7,8,8,8,8,8,8,8,8,8,8,9,8,9,8,8,8,8,8,9,8,8,8,8,8,7,8,8,8,8,7,8,8,8,7,7,8,8,8,8,7,8,7,8,8,7,7,7,7,7,6,7,7,7,7,7,8,8,7,8,7,8,8,8,8,8,7,8,8,8,7,8,8,7,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,8,8,8,9,8,9,8,9,8,8,8,8,8,8,7,8,8,8,7,8,7,8,7,7,7,7,6,7,7,7,7,7,7,8,7,7,8,8,7,8,8,8,8,8,8,8,8,8,9,8,8,8,8,8,8,8,8,8,8,7,8,8,7,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,7,7,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,7,8,8,8,8,7,7,8,8,7,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,7,8,8,8,8,8,7,8,7,8,7,8,7,7,6,7,7,8,7,8,7,8,8,8,7,8,8,8,7,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,8,8,8,9,9,9,8,8,8,8,8,8,8,9,8,8,8,8,8,7,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,7,8,8,8,7,8,8,8,8,8,9,9,9,8,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,7,8,8,8,9,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,7,8,7,8,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,8,9,8,8,8,8,7,8,7,8,8,8,7,8,8,7,8,8,7,8,7,7,7,7,6,7,7,7,8,8,7,8,8,7,8,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,8,7,7,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,9,9,8,8,8,8,8,8,8,8,8,7,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,9,8,8,7,8,7,8,8,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,7,8,8,8,8,9,8,8,7,8,7,7,6,7,7,7,7,8,7,8,7,8,8,8,7,8,8,7,7,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,7,7,8,8,7,8,7,8,8,8,8,7,8,8,8,8,7,7,7,7,7,6,7,7,7,7,7,8,7,8,7,7,6,7,7,8,7,8,8,7,7,7,8,8,8,8,7,8,7,8,8,8,8,8,9,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,7,7,8,8,8,8,8,8,8,8,8,8,8,8,8,7,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,9,9,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,9,8,8,7,8,8,7,8,8,8,8,8,8,9,9,8,8,8,8,7,8,7,8,7,8,8,8,8,8,9,8,8,8,8,8,7,7,8,8,7,8,8,9,8,8,8,8,8,8,8,7,7,8,8,8,7,8,8,8,8,8,7,7,7,7,7,6,7,7,7,7,7,8,8,8,8,8,8,8,7,8,7,7,7,8,8,8,8,8,9,8,8,8,7,8,8,7,8,8,7,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,7,8,7,8,7,7,6,7,7,8,7,8,7,8,8,7,8,8,7,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,7,8,8,9,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,7,8,8,8,7,8,8,9,8,8,8,9,8,8,8,8,7,8,8,8,7,8,8,9,8,8,8,8,7,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,7,8,7,8,7,8,7,8,7,7,6,7,7,8,7,8,7,8,7,8,7,8,7,8,8,7,7,8,8,8,8,8,9,8,8,7,8,8,8,8,7,8,7,8,8,8,8,9,8,8,7,8,8,8,8,7,8,8,7,8,8,9,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,8,8,7,8,8,7,8,8,8,8,8,8,8,8,8,8,9,9,8,8,8,9,8,8,8,8,7,8,8,8,8,8,9,8,8,7,8,8,8,8,8,8,7,8,8,8,8,7,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,8,9,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,9,8,8,8,8,8,8,8,8,7,8,8,8,7,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,9,8,9,8,9,9,9,8,9,8,8,7,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,7,8,8,8,7,8,8,8,7,8,7,7,6,7,7,7,6,7,7,8,7,8,8,8,7,8,8,7,7,8,8,8,7,8,8,9,8,9,8,8,8,8,7,8,7,8,8,8,8,8,8,7,8,8,7,8,8,7,7,7,6,7,7,7,8,8,7,8,8,7,8,8,7,8,8,8,7,7,7,8,7,8,8,9,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,9,9,8,9,8,8,8,8,8,8,8,9,8,9,8,9,8,8,9,9,8,8,8,8,7,7,8,8,8,8,8,8,7,7,7,8,7,7,7,7,6,6,7,7,7,7,8,8,7,7,7,8,8,8,8,8,7,7,8,8,8,8,8,8,8,7,8,8,7,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,8,9,8,8,7,8,8,9,8,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,8,9,8,8,7,8,7,8,7,8,8,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,8,9,8,8,7,8,7,7,6,7,7,8,7,8,7,7,6,7,7,7,6,7,6,6,5,6,6,7,6,7,7,7,6,7,7,7,7,8,7,7,6,7,7,8,7,8,8,9,8,8,8,8,7,8,7,7,6,7,7,8,7,8,8,9,8,9,9,9,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,8,8,8,8,8,8,7,8,8,9,8,8,9,9,9,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,7,8,8,8,8,7,8,8,7,7,8,8,7,8,8,8,7,7,8,8,7,7,7,7,6,6,7,7,7,7,8,8,7,7,8,8,8,8,8,8,7,7,8,8,8,8,9,9,8,9,8,8,8,9,8,9,8,8,8,8,8,9,9,8,9,9,8,8,8,9,8,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,7,7,7,8,7,8,8,9,8,8,8,9,8,8,8,8,8,8,8,9,8,8,9,9,8,8,8,9,8,8,7,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,8,7,7,8,8,8,7,8,8,8,7,8,8,8,7,8,7,7,6,7,7,7,6,7,7,8,7,8,8,8,7,8,8,8,7,7,8,8,7,8,7,7,8,8,8,8,8,8,8,8,7,8,7,8,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,7,8,8,8,7,8,7,8,8,8,8,9,8,9,8,9,8,8,9,9,8,8,8,9,8,9,9,9,9,9,8,9,8,9,8,9,8,8,8,8,8,9,9,8,8,9,8,8,7,8,8,9,8,8,8,8,8,7,8,8,8,8,8,8,7,8,8,8,8,7,8,8,7,7,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,9,8,9,8,9,9,8,8,9,8,9,8,8,8,9,8,8,8,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,9,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,7,8,8,8,8,8,9,9,8,9,8,9,8,8,7,8,7,8,8,9,8,9,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,7,8,8,9,8,9,8,9,8,8,8,8,7,8,7,8,8,8,8,8,8,9,9,9,8,8,8,8,7,8,8,8,8,9,8,8,7,8,8,8,8,9,8,8,7,8,8,8,7,8,8,9,8,8,8,9,8,9,8,8,7,8,8,9,8,8,8,8,8,9,9,9,8,9,8,8,7,8,8,9,8,8,8,9,8,9,9,9,8,9,8,8,7,8,8,9,8,8,9,8,8,7,8,8,8,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,9,8,8,8,9,8,8,8,8,8,9,9,9,8,8,8,9,8,9,8,8,8,8,8,8,8,8,8,8,7,8,7,8,8,8,8,8,8,8,8,8,8,9,8,8,8,9,8,8,8,8,9,9,8,8,8,9,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,9,9,8,9,9,8,8,8,8,7,7,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,7,7,8,8,7,8,8,8,8,8,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,8,8,9,8,8,8,8,7,7,7,8,7,8,8,8,8,9,9,9,8,8,9,8,8,8,8,7,8,8,8,8,9,9,9,9,8,9,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,9,9,8,9,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,9,8,9,9,9,9,8,8,9,9,8,8,9,8,8,8,8,9,9,8,8,8,8,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,9,9,9,8,9,8,9,8,9,8,8,8,9,9,8,8,8,8,8,7,8,8,9,8,8,8,8,7,8,8,9,8,9,8,8,8,9,8,8,7,8,8,7,7,8,8,9,8,8,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,9,8,9,8,9,8,9,8,8,7,8,8,8,7,8,8,9,8,8,8,8,7,8,8,8,7,8,8,9,8,8,8,8,7,8,8,9,8,8,7,8,7,8,8,8,7,8,8,7,7,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,7,7,8,8,7,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,8,9,8,8,7,8,8,8,7,8,8,8,8,8,8,9,8,8,8,9,8,9,8,8,8,9,8,8,8,9,9,8,8,8,8,8,7,8,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,9,8,8,8,9,8,8,7,8,8,8,8,8,8,9,9,8,8,8,7,8,8,8,8,9,8,8,8,8,8,9,8,9,9,9,8,9,8,8,8,8,8,8,8,8,9,8,8,8,8,8,7,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,8,9,9,8,8,8,8,8,9,9,9,8,9,8,8,8,8,9,8,8,9,9,9,8,8,8,9,8,9,8,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,9,9,8,9,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,8,7,8,8,8,8,8,9,8,8,8,8,9,8,8,9,8,8,8,9,8,9,8,9,8,8,7,8,8,9,8,8,8,9,8,8,8,8,8,8,8,9,8,8,8,8,8,8,9,8,8,9,8,8,8,8,8,8,7,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,7,8,8,7,8,8,8,8,8,9,9,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,8,7,8,8,8,9,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,9,8,9,8,9,8,8,8,8,9,9,8,8,8,8,9,9,9,8,9,9,8,8,8,9,9,8,9,9,9,8,9,8,8,8,7,8,8,8,9,9,8,8,8,8,8,7,8,8,8,8,8,9,8,8,8,7,8,8,8,8,8,7,8,8,8,7,8,7,7,7,6,7,7,7,8,7,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,9,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,9,9,8,9,9,8,8,8,7,8,8,8,9,8,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,9,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,9,8,9,9,8,9,8,9,8,8,8,9,8,9,8,9,8,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,8,8,8,8,7,7,8,7,8,7,8,8,9,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,9,8,9,9,8,9,8,8,8,8,7,8,7,8,8,8,8,8,8,7,8,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,8,7,8,8,8,8,8,8,7,8,7,8,8,8,8,8,8,8,9,8,8,9,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,9,9,8,8,8,8,8,9,9,9,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,9,8,9,9,9,8,9,8,9,8,8,9,9,8,9,8,9,9,9,8,9,9,8,8,8,8,9,9,8,8,8,7,8,8,8,8,9,9,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,7,8,8,7,7,8,7,8,8,8,8,9,8,8,8,8,8,9,9,9,8,8,8,9,8,8,9,8,8,9,8,9,8,9,9,8,8,9,9,8,8,9,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,8,8,9,9,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,7,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,8,8,8,8,9,8,8,8,8,9,9,8,8,8,8,8,9,9,8,8,9,8,8,7,8,8,8,8,7,8,8,8,8,8,9,8,8,9,8,8,7,8,8,8,8,7,8,7,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,7,8,7,8,8,7,8,8,8,8,9,8,8,9,8,8,8,8,8,9,8,9,9,9,9,9,9,9,8,9,9,9,8,9,8,8,9,9,9,9,8,9,9,9,9,8,8,9,8,9,8,9,9,8,8,9,8,9,9,8,8,8,9,8,8,8,8,9,8,8,8,8,7,8,8,8,8,7,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,8,8,8,8,8,8,8,8,9,9,8,8,8,9,8,9,8,8,7,8,8,8,8,9,9,8,8,9,9,9,9,9,8,9,8,9,8,8,8,9,9,9,9,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,8,8,7,7,7,6,7,7,7,7,8,8,8,8,7,8,8,8,8,8,9,8,8,7,8,8,9,8,8,9,9,8,8,9,9,8,9,8,9,8,9,8,9,8,9,8,8,7,8,8,8,8,9,8,8,7,8,8,9,8,8,9,8,8,9,8,8,7,8,8,8,7,8,8,8,8,8,7,7,7,8,8,7,7,7,7,6,6,7,7,7,7,7,8,8,7,7,7,8,8,9,8,8,7,8,8,8,7,8,8,9,8,8,8,8,8,9,8,8,7,8,8,8,8,9,8,8,7,8,8,9,8,9,9,9,8,9,8,9,8,8,9,8,8,9,9,9,8,8,8,8,7,8,8,9,8,8,8,7,8,8,7,8,8,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,7,8,8,8,8,8,9,8,9,8,8,9,9,8,9,8,9,8,8,9,9,8,8,9,8,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,8,8,7,7,7,6,7,7,7,7,7,6,6,6,5,6,6,6,7,7,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,8,9,8,8,8,7,8,8,8,8,8,8,9,9,8,9,9,8,9,9,9,9,9,8,9,8,9,8,9,8,8,8,7,8,8,8,9,9,9,8,8,8,8,8,8,9,9,8,8,8,7,8,8,7,8,8,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,8,7,8,8,9,8,8,9,9,8,9,9,9,9,8,9,9,8,9,9,8,8,9,8,9,8,9,8,9,9,9,9,9,8,9,8,9,8,9,9,9,8,8,9,8,8,9,9,9,8,8,8,9,8,9,8,8,8,8,7,7,8,8,8,8,7,7,7,6,6,7,7,7,8,8,8,8,7,7,8,8,8,9,9,9,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,9,8,9,8,9,8,8,8,9,8,9,9,9,9,9,9,9,8,8,9,9,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,7,8,8,8,8,7,7,7,7,6,7,7,7,7,8,8,8,8,7,8,8,8,8,9,9,8,8,8,9,9,8,9,9,9,9,9,8,8,9,8,9,9,9,9,8,8,8,8,8,8,8,8,9,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,8,9,8,8,8,8,8,8,8,7,8,8,8,8,7,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,9,8,9,8,8,9,9,8,9,9,9,8,9,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,8,9,9,8,8,8,8,7,8,8,8,9,8,8,8,8,8,8,8,8,8,7,8,8,8,7,8,7,8,8,7,8,8,8,8,9,8,9,9,8,8,9,9,8,8,8,8,8,8,8,9,8,9,9,9,8,9,9,9,8,8,8,8,8,9,9,8,9,9,8,9,9,8,8,8,7,8,8,8,8,8,9,9,8,8,8,8,8,8,9,8,8,8,8,8,7,8,8,9,8,8,8,7,8,8,8,8,8,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,9,8,9,8,8,8,9,8,8,9,9,8,8,9,8,8,9,9,9,8,8,9,9,8,9,9,8,9,9,8,8,8,8,9,9,8,8,8,8,8,8,7,8,8,8,9,9,8,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,8,7,7,8,7,8,8,8,8,8,8,8,9,8,8,9,8,9,8,9,8,8,9,9,8,8,9,8,8,9,8,8,7,8,8,9,8,9,9,8,8,9,9,9,8,9,8,9,8,8,9,9,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,7,8,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,7,8,8,8,7,7,8,8,8,8,8,9,8,8,8,9,8,9,9,8,8,8,8,9,9,8,9,9,9,9,8,9,8,9,8,9,9,8,8,9,8,9,9,8,8,9,9,9,8,9,8,9,8,9,9,8,8,9,8,8,8,7,8,8,8,8,8,7,7,7,6,7,7,7,8,8,8,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,8,9,9,8,9,9,9,9,9,8,9,8,9,9,9,8,9,9,9,9,9,8,9,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,9,8,9,9,8,8,8,8,9,8,9,9,9,8,8,8,7,8,8,8,9,8,8,8,8,7,8,8,8,9,8,8,8,9,8,8,8,8,8,8,8,7,8,8,8,8,8,9,9,9,8,8,9,8,8,8,9,8,8,9,9,8,9,9,9,8,9,9,9,8,8,8,9,9,8,9,9,8,9,8,9,8,9,8,8,7,8,8,8,8,9,8,9,8,8,8,8,7,8,8,8,8,9,9,8,8,8,7,8,8,8,9,8,8,8,7,8,8,8,9,8,8,8,9,8,8,8,8,9,9,8,9,9,8,9,8,8,9,8,8,8,8,7,8,8,7,8,8,8,8,8,8,9,9,8,8,8,9,8,8,8,9,9,8,9,8,8,9,9,8,8,8,9,9,9,8,8,8,7,8,8,8,9,9,8,8,9,8,8,8,8,8,9,8,9,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,9,9,8,9,9,8,8,8,8,9,9,8,9,9,8,8,9,9,9,9,9,9,8,8,8,8,8,7,8,8,9,8,8,9,9,9,9,9,9,8,9,8,9,8,8,8,8,8,9,9,8,8,8,8,8,8,9,8,8,7,8,8,8,7,8,8,8,8,8,9,9,8,8,9,8,8,9,8,9,9,8,8,9,8,8,9,8,8,9,8,8,8,8,8,8,7,8,8,8,8,9,8,8,8,9,8,8,7,8,8,9,8,8,8,8,7,8,8,9,8,9,8,8,8,9,8,9,8,8,8,8,7,8,8,8,8,9,8,9,8,9,9,9,8,8,9,8,8,9,8,9,8,8,8,9,8,9,9,8,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,7,7,7,7,6,7,7,7,7,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,9,8,9,8,8,8,8,7,8,8,8,8,9,8,9,8,8,9,8,8,8,8,8,8,8,7,8,8,8,8,9,8,9,9,8,8,8,8,8,8,8,8,8,7,8,8,8,8,9,8,9,9,8,9,9,8,9,9,9,9,8,8,9,9,8,9,9,8,9,8,8,8,9,8,9,8,8,8,8,7,8,8,8,8,9,8,9,9,8,9,8,8,9,8,8,7,8,8,9,8,8,8,9,9,9,8,8,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,9,8,8,8,8,8,9,8,8,7,8,7,8,8,8,8,9,8,8,8,8,9,9,8,8,8,9,8,8,8,8,8,8,7,8,8,9,8,8,8,8,8,9,8,9,9,9,8,8,8,9,8,8,7,8,8,8,7,8,8,9,8,8,8,8,7,8,8,7,7,8,7,7,6,7,7,8,7,7,8,8,8,8,7,8,8,8,8,8,7,8,8,7,7,8,8,9,8,8,9,9,8,8,8,9,8,9,8,8,8,8,8,8,7,8,8,9,8,8,8,9,8,9,8,9,8,9,9,8,8,9,9,9,8,9,8,8,7,8,8,9,8,9,8,9,8,8,9,8,8,9,8,8,7,8,8,9,8,8,9,8,8,8,7,7,8,8,8,8,8,7,7,7,6,7,7,7,8,8,8,8,8,7,7,8,8,8,9,8,8,9,8,8,8,9,9,9,8,8,8,8,7,8,8,9,8,9,9,9,8,9,9,9,8,9,9,9,8,8,9,9,8,9,9,9,8,9,9,9,8,9,8,8,7,8,8,9,8,9,9,9,8,9,8,9,8,9,8,8,7,8,8,8,8,7,8,8,7,8,8,8,7,8,7,7,6,7,7,8,7,8,8,8,7,8,8,9,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,9,8,9,8,8,7,8,8,9,8,9,9,9,8,9,9,9,9,9,8,9,8,9,9,9,8,8,8,9,8,9,8,8,8,8,8,8,7,8,8,9,8,9,8,9,8,8,9,9,8,9,8,8,8,9,8,8,9,8,8,8,7,7,8,8,8,8,9,8,8,8,8,8,9,9,8,8,9,9,9,9,8,9,9,8,8,9,9,8,8,9,9,9,8,9,9,9,8,9,8,8,7,8,8,9,8,8,9,9,8,9,8,9,9,9,9,9,8,9,9,9,8,9,8,8,9,9,8,9,9,9,9,9,8,9,9,9,9,9,8,9,8,8,8,8,8,9,9,8,8,8,7,8,8,8,8,9,9,8,9,8,8,8,8,8,8,7,8,8,8,8,9,9,9,8,9,8,8,9,8,8,7,8,8,9,8,8,8,9,9,9,8,9,8,9,8,8,8,9,8,9,8,8,8,8,7,8,8,8,8,9,8,8,8,9,8,8,8,9,9,8,8,8,8,9,8,9,8,8,7,8,7,8,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,8,9,9,9,8,8,8,9,8,9,9,8,8,8,9,9,9,9,9,9,8,9,9,9,8,9,8,9,9,8,9,9,9,8,9,9,8,9,8,8,8,9,9,9,9,9,9,9,9,9,8,9,9,9,9,9,8,9,9,9,8,9,9,9,8,8,9,9,8,8,9,8,9,9,8,9,9,9,8,9,8,9,9,8,8,8,9,9,8,8,9,9,8,9,8,8,8,8,8,7,8,8,8,8,7,8,8,9,8,8,8,9,8,8,9,9,9,9,9,9,8,9,9,9,8,9,9,8,8,9,9,9,9,9,8,9,9,8,9,9,8,9,9,9,9,9,9,9,8,8,8,9,8,9,9,9,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,8,7,8,8,8,9,9,9,8,9,8,8,8,8,8,8,7,8,8,8,8,9,8,9,8,9,9,9,8,9,9,8,8,9,8,9,9,9,8,8,8,9,8,9,9,9,8,9,8,9,9,9,8,8,8,8,7,8,8,9,8,8,8,8,7,8,8,8,8,9,9,9,8,8,8,8,8,9,9,9,8,9,8,9,9,8,8,9,8,9,8,8,8,9,8,9,8,8,8,8,7,8,8,8,9,9,8,9,8,8,9,9,8,9,9,9,9,9,8,9,8,9,9,9,8,9,9,8,8,8,8,9,8,9,9,9,8,8,9,9,8,9,9,9,9,9,9,8,8,9,8,8,7,8,8,9,8,8,9,9,8,9,9,8,8,9,9,8,8,9,8,8,7,8,8,9,8,8,8,8,8,8,8,8,7,8,8,8,7,8,8,9,8,8,8,9,8,9,8,9,8,9,8,9,8,9,9,9,8,9,9,9,8,9,8,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,9,8,9,9,8,9,9,9,9,8,9,9,9,8,9,9,9,8,8,9,8,8,8,9,9,8,8,9,8,8,8,7,8,8,8,9,9,9,9,8,8,8,8,9,9,8,8,9,9,8,8,8,9,8,9,9,9,8,9,8,9,8,9,8,8,8,9,8,9,9,9,8,9,9,9,9,9,9,9,9,8,8,9,9,9,8,9,9,9,8,9,8,9,8,8,8,8,7,8,8,9,8,9,8,9,8,9,9,9,8,9,8,8,8,8,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,9,8,8,9,8,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,9,8,8,8,9,9,8,8,8,9,8,8,9,9,8,8,8,8,9,9,8,9,9,9,8,9,8,9,9,9,8,8,8,9,8,8,8,8,7,8,8,8,8,9,8,8,9,8,9,9,8,9,8,8,8,9,8,8,9,8,9,9,8,8,8,8,7,8,8,8,8,9,9,9,8,8,8,9,8,9,8,9,8,8,8,8,7,8,8,8,8,8,7,8,8,8,8,9,8,9,9,8,8,9,8,9,8,9,9,9,8,9,9,9,9,9,8,9,8,8,9,9,8,9,9,9,9,9,8,9,9,8,9,9,8,9,9,9,9,9,9,9,9,8,9,9,8,9,9,9,8,9,8,9,8,9,8,8,7,8,8,9,8,9,8,8,7,8,8,8,7,8,8,8,7,8,7,8,7,8,7,7,6,7,7,8,7,8,7,8,7,8,8,8,7,8,8,8,7,8,8,9,8,9,8,8,7,8,8,8,8,8,8,8,7,8,8,8,8,9,8,8,8,8,8,8,8,7,8,8,8,8,8,8,8,9,8,9,9,8,9,9,9,8,8,8,8,8,8,9,8,9,8,9,8,9,9,9,8,9,9,9,8,8,9,9,8,9,9,8,8,9,8,9,8,8,8,8,7,8,8,8,8,8,8,9,8,9,9,9,8,8,9,9,8,9,8,9,9,9,9,9,8,9,9,9,9,9,8,9,8,8,9,9,8,9,8,9,8,9,9,9,9,9,9,8,8,8,9,9,9,8,8,9,9,8,8,9,8,8,8,7,8,8,8,9,8,8,9,9,8,8,9,8,9,9,8,9,8,8,8,9,8,8,8,8,7,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,8,9,9,8,8,9,9,9,9,9,9,8,8,9,9,8,9,8,9,8,9,9,9,9,9,9,9,9,9,8,9,9,8,9,9,8,8,9,9,9,9,9,9,8,9,9,9,8,8,9,8,8,9,9,8,8,8,9,9,8,9,9,9,9,9,8,9,9,9,8,9,9,8,8,8,8,8,8,8,7,8,8,8,7,8,8,8,8,8,8,9,9,8,8,8,9,9,9,9,8,8,8,8,9,8,9,9,9,9,9,9,9,8,9,8,8,7,8,8,8,8,9,9,9,9,8,9,9,9,9,9,8,8,8,8,9,9,8,8,8,9,9,9,8,9,9,9,8,9,8,8,8,9,9,8,8,9,9,8,8,9,9,8,8,8,9,9,8,9,8,9,8,8,8,8,8,8,8,8,7,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,8,9,8,9,8,9,9,9,8,8,9,9,8,8,8,9,8,9,9,9,8,9,9,8,8,9,9,9,9,9,9,9,8,9,9,9,8,8,9,9,8,9,8,9,8,9,9,9,8,9,9,9,9,8,9,9,8,9,9,8,8,9,8,8,7,8,8,9,8,8,9,9,9,9,8,8,9,8,9,8,8,8,8,8,7,8,7,8,8,8,9,9,9,8,8,8,9,8,8,9,9,8,8,8,7,8,8,8,8,9,8,9,8,8,9,9,9,9,9,8,9,9,8,9,9,9,9,9,8,9,9,8,9,9,8,8,9,9,9,9,8,9,8,9,8,9,9,9,9,8,9,9,8,9,9,9,9,9,8,8,8,9,9,8,8,8,9,8,8,8,8,8,8,8,7,8,7,8,8,8,8,8,7,7,7,6,7,7,7,8,8,8,8,8,7,8,7,8,8,8,8,9,8,8,8,8,8,8,8,8,7,8,8,9,8,9,9,9,8,9,9,8,9,9,8,9,8,8,9,9,9,9,9,8,9,9,9,9,9,9,8,9,8,9,8,9,9,9,8,9,9,8,9,9,9,9,9,9,9,8,9,9,9,9,8,9,8,9,9,9,9,9,8,8,8,8,8,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,8,8,8,8,9,9,9,9,9,9,8,8,8,9,8,9,9,8,9,9,8,9,9,9,9,9,9,9,8,9,9,9,8,9,9,9,9,8,9,8,9,9,8,9,9,9,8,9,9,9,9,9,8,9,8,8,8,9,9,9,8,9,8,8,8,8,8,7,8,8,8,8,7,8,8,8,7,8,8,8,8,8,7,7,7,8,7,7,7,7,7,7,6,7,7,7,7,7,7,8,7,7,7,8,8,8,8,8,8,9,8,8,7,8,8,8,8,7,8,8,9,8,8,9,8,8,9,8,8,9,9,9,8,9,9,8,8,9,9,9,8,9,8,8,9,9,9,9,9,9,9,9,8,9,9,9,8,8,9,9,9,9,9,9,9,9,8,8,9,9,9,9,8,8,8,9,9,9,8,8,8,8,8,8,8,9,8,8,8,8,7,8,7,8,8,8,8,8,8,8,8,8,8,9,8,9,9,8,8,9,9,8,8,8,8,8,8,7,8,8,8,8,8,8,9,9,8,8,9,9,9,9,8,9,9,8,9,8,9,9,9,9,8,9,8,8,9,8,9,9,9,9,8,9,9,9,8,8,9,9,9,9,8,9,9,9,9,8,8,9,9,9,8,8,9,9,9,8,9,9,9,9,8,8,8,8,8,8,8,8,8,8,7,7,8,8,8,8,8,8,8,8,8,8,8,9,9,8,9,9,9,9,8,8,9,9,8,8,8,9,9,9,8,9,8,9,9,9,8,9,8,8,7,8,8,9,8,9,9,9,8,9,8,9,8,9,9,9,8,9,9,9,8,9,9,9,9,9,9]
}