- n=25-100k, 104k left (346, 349, 432, 493, 579, 682, 787, 922, 979, 1041, 1053, 1324, 1363, 1461, 1503, 1534, 1699, 1713, 1888, 1917, 2082, 2280, 2694, 2896, 3358, 3562, 3603, 3657, 3928, 3954, 4021, 4051, 4287, 4506, 4521, 4632, 4833, 4957, 4969, 4980, 5416, 5431, 5548, 5794, 5841, 5872, 6082, 6102, 6229, 6598, 6789, 6796, 7023, 7036, 7231, 7278, 7299, 7311, 7369, 7461, 7546, 7726, 7755, 7836, 8073, 8130, 8263, 8811, 9078, 9207, 9406, 9883, 10008, 10093, 10131, 10386, 10593, 10612, 10918, 11035, 11142, 11212, 11443, 11464, 11478, 11647, 11874, 11952, 12046, 12057, 12073, 12211, 12669, 12984, 13116, 13411, 13681, 13788, 13992, 14004, 14902, 15174, 15196, 15202)
- runtime 33s-10min
- 619184 WUs