- n=100-300k, 11k left (11, 19, 37, 42, 74, 80, 97, 100, 131, 134, 149)
- runtime 6min40s-1h07min (AVX@3.8Ghz)
104*542^56400-1 found by Mumps [MM]
28*542^66555-1 found by Mumps [MM]
13*542^70447-1 found by vaughan
133*542^83867-1 found by Robert7NBI
71*542^134230-1 found by p3d-cluster
89*542^141296-1 found by MAGPIE
172*542^189173-1 found by p3d-cluster (TOP5000) |