SL_2(Z) 이거랑
<s,t|s^4=1,(st)^3=s^2> 이거