RQ-AUD A.21 verifier; file k4_data/s12_2600_2620.json; md5 093afeb93987426bdd5765ae83524d21; parts MTNKC
region u in [13/5, 131/50] = [2.6, 2.62]; q in [2500/19661, 25/194]
== M: cumulants, partition counts, monotonicity of kappa_j
kappa_1..12(chi): Bernoulli derivative recursion == moment-cumulant recursion: True (kappa_2 = 1, kappa_3 = u - 1/u)
E M^0..12: power-series exponential == set partitions without singletons: True; monomial counts [1, 0, 1, 1, 2, 2, 4, 4, 7, 8, 12, 14, 21]
exact enumeration check (u in 12/5, 5/2, 21/10; n in 3, 5, 7; random rational beta): 351 moment identities, all exact: True
  text formulas kappa_3..kappa_10 in (w, d) == own Laurent polynomials: True
  G_k = N(k, ()) = (k-1)!! [k even], k <= 10: True  [Fraction(1, 1), Fraction(0, 1), Fraction(1, 1), Fraction(0, 1), Fraction(3, 1), Fraction(0, 1), Fraction(15, 1), Fraction(0, 1), Fraction(105, 1), Fraction(0, 1), Fraction(945, 1)]
  spot values N(k, mu) (including those printed by RQ-C's verifier): True  N(10,())=945, N(10,(3, 3))=6300, N(10,(3, 3, 4))=2100, N(10,(3, 5))=2520, N(10,(4, 4))=1575, N(10,(5, 5))=126, N(6,(3, 3))=10, N(5,(3,))=10, N(10,(10,))=1
  kappa_j monotone on u in [127/50, 71/25] (Sturm on u^m kappa_j'): k3 increasing, k4 increasing, k5 increasing, k6 decreasing, k7 decreasing, k8 decreasing, k9 increasing, k10 increasing
  M: PASS
== T: tilings
  phase 1, s2 = +1: 596 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: 2318 boxes, each inside exactly one split box: True
  phase 2 tilings of B x [0, a2+] for all 119 split boxes and both s3: OK
  empty boxes: all satisfy a3- >= a2+ or sum (a-)^2 >= 1: True (4)
  record kinds as described in the text, failed lists empty: True
  T: PASS
== N: near-sphere boxes
  [ns: 24 records, 0.0 s]
  near-sphere: 24/24 pass; max K (b+)^2 / (S3/2) = 0.9959
  N: PASS
== K: four-point comparison boxes
  [comp: 330 records, 19.8 s]
  comparison: 330/330 pass; degrees D [6]; u-bisection depth (boxes by depth) {0: 330}; multi-block cases ['(3, 3):l']
  K: PASS
== C: ten-moment cells, (W1) and folded (W2)
  [cells: 2373 records, 161.0 s]
  cells: 2373/2373 pass (by kind, pass/total: {'cell10d': '116/116', 'cell10d_3': '386/386', 'cell10f': '297/297', 'cell10f_3': '1574/1574'}); Arb root isolations 2588096; u-bisection depth needed in W1 (cells by max depth) {0: 2373}
  W2 margin T^- - (sum c_k G_k + F): min 1.644e-06, median 3.273e-02
  C: PASS
summary: {'M': True, 'T': True, 'N': True, 'K': True, 'C': True}; total 184 s
ALL PARTS PASS

real	3m5.086s
user	20m37.075s
sys	0m0.527s
