coset enumeration
all clear
0
limit