a34h: 7 squares with undecided leaves in a34f (11948 leaves): [107, 215, 373, 392, 1030, 1037, 1046]; h grid 400 values 0.0020 ... 5.401
square 107 ['11/128', '3/32', '0', '1/128']: 3309 leaves, R0 covered True, disjoint True; my decisions {'O1': 151, 'O3': 780, 'infeasible': 2380, 'split': 2}; undecided 0 []; 1.35 s
square 215 ['3/256', '1/64', '47/256', '3/16']: 34327 leaves, R0 covered True, disjoint True; my decisions {'O1': 1121, 'O2': 23194, 'O3': 45, 'O4': 7427, 'infeasible': 2663, 'split': 123}; undecided 0 []; 8.8 s
square 373 ['11/256', '3/64', '9/64', '37/256']: 28622 leaves, R0 covered True, disjoint True; my decisions {'O1': 809, 'O2': 12645, 'O3': 12598, 'infeasible': 2589, 'split': 19}; undecided 0 []; 7.92 s
square 392 ['3/64', '13/256', '35/256', '9/64']: 31720 leaves, R0 covered True, disjoint True; my decisions {'O1': 818, 'O2': 14700, 'O3': 13586, 'infeasible': 2618, 'split': 2}; undecided 0 []; 9.47 s
square 1030 ['13/256', '27/512', '75/512', '19/128']: 25459 leaves, R0 covered True, disjoint True; my decisions {'O1': 775, 'O2': 12071, 'O3': 10070, 'infeasible': 2569, 'split': 26}; undecided 0 []; 8.2 s
square 1037 ['27/512', '7/128', '37/256', '75/512']: 26920 leaves, R0 covered True, disjoint True; my decisions {'O1': 778, 'O2': 12984, 'O3': 10591, 'infeasible': 2575, 'split': 8}; undecided 0 []; 8.48 s
square 1046 ['7/128', '29/512', '73/512', '37/256']: 28718 leaves, R0 covered True, disjoint True; my decisions {'O1': 786, 'O2': 14143, 'O3': 11194, 'infeasible': 2595}; undecided 0 []; 8.67 s
total: {'O1': 5238, 'O2': 89737, 'O3': 58864, 'O4': 7427, 'infeasible': 17989, 'split': 180}; undecided 0; 13 s
A34H_PASS

real	0m13.291s
user	0m30.375s
sys	0m0.289s
DONE_EXIT=0
