| - 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)
 |