RQ-AUD A.21 verifier; file k4_data/s13_2640_2660.json; md5 dc4f88a176d610cc965b6957fdb092de; parts MTCNK
region u in [66/25, 133/50] = [2.64, 2.66]; q in [2500/20189, 625/4981]
== 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: 595 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 (465)
  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: 2738 boxes, each inside exactly one split box: True
  phase 2 tilings of B x [0, a2+] for all 129 split boxes and both s3: OK
  empty boxes: all satisfy a3- >= a2+ or sum (a-)^2 >= 1: True (0)
  record kinds as described in the text (comparison kinds with matching degree), failed lists empty: True
  T: PASS
== N: near-sphere boxes
  [ns: 6 records, 0.0 s]
  near-sphere: 6/6 pass; max K (b+)^2 / (S3/2) = 0.9863
  N: PASS
== K: four-point comparison boxes
  [comp: 339 records, 20.3 s]
  comparison: 339/339 pass; (kind, degree D): count {('comp3', 6): 318, ('comp8', 8): 21}; u-bisection depth (boxes by depth) {0: 318, 1: 20, 2: 1}; multi-block cases ['(3, 3):l', '(3, 4):l', '(3, 4):mix', '(3, 5):u', '(4, 4):l']
  K: PASS
== C: ten-moment cells, (W1) and folded (W2)
  [cells: 2794 records, 163.9 s]
  cells: 2794/2794 pass (by kind, pass/total: {'cell10d': '102/102', 'cell10d_3': '673/673', 'cell10f': '299/299', 'cell10f_3': '1720/1720'}); Arb root isolations 3140032; u-bisection depth needed in W1 (cells by max depth) {0: 2794}
  W2 margin T^- - (sum c_k G_k + F): min 1.752e-08, median 3.059e-02
  C: PASS
summary: {'M': True, 'T': True, 'N': True, 'K': True, 'C': True}; total 187 s
ALL PARTS PASS

real	3m8.428s
user	24m26.735s
sys	0m0.615s
