complete miller rabin seperation