# p=2 k=5 N=32 terms=86
(1) index formula (4.3.5): comparisons=1720 mismatches=0
(2) negative control (u-basis coordinates): violations=1029 of 1720
(3) Thm 5.5 step 2 count: comparisons=329 mismatches=0; periodicity J+p^n subset J violations=0; subgroups by top valuation n: {0: 19, 1: 27, 2: 20, 3: 23, 4: 20}
(4) K_(n,m) closed with K cap B = U_A(n,m): cases=36 failures=0
ALL_OK=True
