Multiplication by R[x,y]_1 works
Corrected definition of SL2(mod n)
Runs orbit mapping