a34h control: 80 squares of side 1/1024; a + b in [0.19727, 0.20000], a in [0.05664, 0.09570] (tex line 652: [0.1973, 0.2] and [0.0566, 0.0958])
shift 0: leaves taken whole 657179; not certified 34; squares with such leaves 26 of 80; 63 s
shift 1/1000: leaves taken whole 657179; not certified 399654; squares with such leaves 80 of 80; 119 s

real	1m59.735s
user	5m36.434s
sys	0m3.530s
DONE_EXIT=0
