use ;
// Counts the semiprimes that satisfy the Monier-Rabin bound, they are of the form (2x+1)(4x+1)
// A realistic application would initialise the lhs with a sieve and use SSMR for the much rarer rhs
// In practice SSMR is faster if we are dealing with sparse semiprime components that are larger than the initial factor.