D = 16, far region K([0.85, 1.54]) <= 0.8 and K([-1.54, -0.85]) <= 0.8, 25 starts per atom count
best with <= 1 atoms: V_16 = 0.84157 at 0.0099 d1.5400 + 0.9901 G (true E|Z_K| = 0.79726)
(search stopped at 19:18 UTC in the two-atom pass: RQ-B's three-atom laws give V_18 >= 0.8489, hence V_16 >= 0.8489 on F, so the remaining passes would not change the conclusion)
