D=16 seed 1 start 0: V_D = 0.84334  K = 0.9333 d_+0.8500, 0.0667 d_-0.8500 + 0.0000 G   int|x|dK = 0.8500
D=16 seed 1 start 2: V_D = 0.84334  K = 0.9333 d_+0.8500, 0.0667 d_-0.8500 + 0.0000 G   int|x|dK = 0.8500
D=16 seed 1 BEST 0.84334
(stopped by hand at 20:35 UTC to free the cores for the F_heavy scan)
