lenstraECMParallelSmartBound number
    = lenstraECMParallel number (smartBound number)
lenstraECMParallelSmartBound number
    = lenstraECMParallel number (smartBound number)
lenstraECMParallelSmartBound number
    = lenstraECMParallel number (smartBound number)