positive_on sanity checks passed
scale P by 0.9        : rejected 120/120
c0 - 1e-3             : rejected 120/120
c0 + 2e-2             : rejected 91/120
c6 = 0                : rejected 119/120
a2 + 0.05             : rejected 93/120
a1 - 0.05 (if >0)     : rejected 118/118
u2 + 0.1              : rejected 120/120
cell r3b.json [1.51328125, 1.5275, 0.705, 0.713125] valid: True; transplanted to u[1.5537,1.554] a[0.7070,0.7072]: False (P>=l1: root in [1.34975,1.34975])
min over cells of min_y (P - R_cell) on [-12,12]: 1.207e-08 (r2b.json u1=1.4903 a1=0.8350)
