RQ-AUD A.21 verifier; file k4_data/s12_2560_2580.json; md5 f65717c16e24ed2a92790db9055d4644; parts TK
region u in [64/25, 129/50] = [2.56, 2.58]; q in [2500/19141, 625/4721]
WARNING: part M skipped; the kappa_j enclosures (endpoint hulls) are then unjustified
== T: tilings
  phase 1, s2 = +1: 591 boxes, inside region True, volume sum == region True, overlapping interior pairs 0: OK
  phase 1, s2 = -1: 400 boxes, inside region True, volume sum == region True, overlapping interior pairs 0: OK
  skipped boxes: all satisfy a2- >= a1+ or (a1-)^2 + (a2-)^2 >= 1: True (464)
  split boxes: all s2 = +1: True; all with (a1+)^2 + (a2+)^2 < 1 and a2- > 0 (so D3 restricted to B x [0, a2+] is the closure of its interior): True
  phase 2: 2322 boxes, each inside exactly one split box: True
  phase 2 tilings of B x [0, a2+] for all 117 split boxes and both s3: OK
  empty boxes: all satisfy a3- >= a2+ or sum (a-)^2 >= 1: True (18)
  record kinds as described in the text (comparison kinds with matching degree), failed lists empty: True
  T: PASS
== K: four-point comparison boxes
  [comp: 337 records, 19.4 s]
  comparison: 337/337 pass; (kind, degree D): count {('comp3', 6): 337}; u-bisection depth (boxes by depth) {0: 337}; multi-block cases ['(3, 3):l']
  K: PASS
summary: {'T': True, 'K': True}; total 20 s
ALL PARTS PASS

real	0m21.204s
user	2m30.119s
sys	0m0.200s
