From 70b6b987ab986655f51e88261b85b46638d185b5 Mon Sep 17 00:00:00 2001
From: kalmar <kalmar@amu.edu.pl>
Date: Wed, 21 Dec 2016 16:06:01 +0100
Subject: [PATCH] Remove GAP code for SL(3,Z); we do everything in julia now;

---
 SL(3,ZZ)_GAP_Group_Constraints.gws | Bin 5997 -> 0 bytes
 basis.SL(3,Z)                      | 121 -------
 constraints.SL(3,Z)                | 537 -----------------------------
 delta.SL(3,Z)                      |   5 -
 delta_sq.SL(3,Z)                   |   6 -
 5 files changed, 669 deletions(-)
 delete mode 100644 SL(3,ZZ)_GAP_Group_Constraints.gws
 delete mode 100644 basis.SL(3,Z)
 delete mode 100644 constraints.SL(3,Z)
 delete mode 100644 delta.SL(3,Z)
 delete mode 100644 delta_sq.SL(3,Z)

diff --git a/SL(3,ZZ)_GAP_Group_Constraints.gws b/SL(3,ZZ)_GAP_Group_Constraints.gws
deleted file mode 100644
index 6ba826c3422d18e802466328b897edb54c2db45d..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 5997
zcmZ{oWlS7^ljs+R;!e@x?(XisxVyW%I}{eTVx_oSad)@HwG=I|xE8zqFL`<IE_pMV
zjAb&(e46~!6k%X-0000Y;0si|JYJcmsOrDW@V_enfSt3o3yYnzU4jZLYtkWuA~VD6
z^jtId66Y_5Io3&*Svh6q#;E2y26vBkAeJJ~D*<~7sNtB1f->WYn&^p&DuIGhgThpc
zg3`VS#zywUJkmYYbB6+`{g0)JttE*vcmTixJrn@--(nvZcLxt!D=SYHUnfThiG#-`
z&y8RR+$=9xfx$`7eNj<Wh2szZ^#P3?m<}?Xe`;xql$j$}A_1&SM}OROx&B2&B_5Yf
z2WN+EK!M1Fm#{t3>-y};UHF}K%}sgJKX6e{P*i-4a1$GxD<bmzww(Z$rByAo%>q|8
z^1V%Yi*!5^1neQdHSbJdqZ%bSO$}wnJk4pi^z?&Ni9G@@_cCO2ixk27Ov08brrFpB
z{@4M3ghl><ZBE>;4=!2fMah2Pqm8a6^%%DFzI3<r48*_9W4?4Gg}hFRv?4@IT~M5y
z<ecSdoDmwVu?uZJ54kGsdq;1tBuEW82$=h{_=kM2-@9CW4C?uL8t621S<C&=;UBVb
z76_>kIOFl_wkBK6$9<FQd%va;5P^8L_gjFodpMXK`5Yzi1^kh8bD^6y7ak-RgSiOr
z?+Sv0e}HBq3a>V25=nCiO+V>NaQc2(pTA7$5exV#{_?m>*NrpW)^J+e7LCwiI&DZ|
zM0*u=+*Sg)eP%Ae_+)2v)+fDT==}!^JQ6)}uhSJ0PQc&qGhmNy0wn_NDOJWNanM(w
z@-8aND-g)18u+Df0o4yr5;X)QynWKM=4(d#?t2mq@>#b6D<<Dd%dMb?#~J6Kk;35C
z@r!@d2OO>?7z8Z8J-RnOG<f_?fb1D;z8`qU=(x=1LyF*9`jgsZYJHpv2Prjz5)zRv
zAwT!{k4}gB9H;JyhgyUl9dmstEwo5uwXMtry7w=7gvYj3M;)E{sL3zf0XHf4Y*H&A
zaxILT@QJUezi86Y3?xZ<IE+BAfyV@yT@6M;VRmg1!s+Y-WYXA<Y+hDC&hp8FOu8+&
z;%!MDt%Zw;H80D+rn7kO0nx#zARLx+1Rvo!qpd8w6bXV%?nxpOGl$ddw&;WVVz>}0
z{VQY9LX?nC-y!)3zjg@g{s4J;3+C7z+40+U_#Q0zAGWmfL}XcMzdR|qY<D`ttePdC
zRupEB&wF<lt}<`1t8wLP2Ugvs*xuZUFC0MmLS;ej1D?T`(o$}$=_CEI?N7sV)|{rd
zj>ZDNubN3z{GLM6h#4#dB`%=>da^pLQ6Hnh%z(#1lVX;`p0NIobN87DI?Bg>*3dnU
zi}StbG}Lm*T~vV%io2^x-DwnzbL~)UT`5SFYJrhg9Xw1)k7vx30e--{exEUVRstMT
z$XPrFTz|KETca}%MB4u<JbEDb>s)EE(+?|0yhInwM2{#_i{bA@{S!BYef3{It8dpt
ziYe4MNjI6KWj<YBb1SC-WqwlNrdOQs$J-n<s%<Z|PzjHyPqvB}snqQ@liBP9V%l?F
zca-itlRvB2r%APxblW)Y1CNNwIBt4(Y0Be<&wlJY^Q({U5Aj7F%_0ykz$#nn+b#(T
z?o$=Qe-DbFc>rjK_8t|HwY!p=Pp%^Iw@}`e3D2L)+Yj#z0v2BU`7KT@R}MJL2=2e{
zA8<7pJWjS`{^8q(hc!WXw}zrFaP1_LAEwGpiE1~{x2WplFb}`aS+}r=CO&7eDM+$j
zTTH3^0lKQ^9;k+rutfc%;ZNF4?(nI$V#!P&qg?SxM22vFyc}w+^k6}@(Ec|FgDC#)
zY1DfLL&%-2bOWC#d|p20?IA@CW&QPPtXnb@6~T7{VS1j;X1r@G^Mg27=$n%MJBn=C
zg(}P9ME=AJ3`ZpXdLP<DX3~g_=zPOZ_PAcRUnqC8M={yWEcw#oGVRc5#wSPxelo40
z<si}aLV4uBFE1joL5V?caG;6Dka-Kz1)M*t18OkLNH{^Ha1191$uojpqBeKPYB*k~
z%8NbCXcGX}POA8Gg!$}HaaX7;Q(U$#s-+r!K@0dmJzAS(IhT3SAP{T+a($oBaeO|`
zYzGc0tehHRJ;q+g>1Um*KOLo{a7=!{Pv{RR%_d<YWo3Zs<^XPA9ospQ7({%P(iG0N
zkd>WOYai|*1$0^iVow50Y9-?O518_|{@Dekqy~%r<!4a)7Y5M}E5`_Bso^9fiSA<t
znC?2%ij#IyfuzE`<q1%plY{WHR)V=#E6tJH2(i5x8ZIH_(g2_NQsowwdK*u1q(I~e
z6=W#UO$7(G-*#P{)vfETZ1c@7QV1yHiS;+xm5_E5(J?FDh|W9Z;f9XgBr3Z;-e|s}
zEWCDxDad~4a$Uo%=x-Pn%CH`8`|a7IEeTzI#VuK4^Ulh+UWO^38Ut|4dTfgZeGkLz
z%dtRAwDcY<krad6o&Oi{PX>-M-z|z+H2RO6k@VPDt71{sP7yhXZGUTq-l-pp&8xF#
z%da|7D`qBfYpd6C#VJ%P{L;yw@Vqh`)FS7aD=tf(0RnLEX>OT7VjuXEHypsQu}oYm
zUAi1VWs49DZ>FxndR>+N<ttvSX*H}nGp|G5;euuwLtUfix4j<rZ|fm%Q^sPaMTOND
z@BU+{BlY5&@0qcc*2+(2vwKz=1-!)fixYw`+N?{Yi1t`iP0-|3BzP!TI?>5>OMFme
zE6TM7#lQ)(sXQZ0E{Z4vjLNO>*G1;>`fcdl;rKQ&gFatmrx}H|b8*t++hVhg0=Pd1
zlH&g6o#cO>f75js)`jD3G9oBqts^6p&6yg(>5t*zc#MBi9HAO;5P)QGjyvD&GT+`}
zDRM+9q&q<86cK)!!-9qr6m(Mq4(&i?qoctnv29&qfBS>OCVG}kYIsWz#UV!oA27_|
z-CtyL+0&h8)KOa=DOSY5BaY}efCy)xGfCGijJoX9xJ4?Vj5X|9jv9x{(zlaEmk=aN
zu<I%k8Io0i{mX0<$BtjSWv@g*wPNp9JweI=iWF->nn5cXjyYEtN;GdY#z*IAr>(b<
zJZ&AnvlZ6I>+kjw5iECscH*v1FgF96AH??K{M(nd#!S*eTuVuRmzHn}7(<t{G>^n=
zK^G3!#L=xC6&4PzEPP7+>QQ4%R}5_8>ZEL?%z#Oz(uw*w@wW)OpzqutzCms@v_X54
zBPA}@)XIDNI#*<22s!O3k#$*#0aU?N_Wn3ZTmix1qk*G2m$BVy;=1015ft4KA0%Zj
zd>*r}&-&-vzgdrkaD)`X8-sUg&$8_&dhsPj$&ifwzC2w>EO`kah?uL>PR?4x$CE%x
zEFx7@`qF=;NITL=8P{myq@N|G_0Ix;gf3}Hy<Vpu;#<Y(Cf!gEE*WdB5vN_x@_mfM
zj_{3)I{HOe>Z=8pg|>){4wITxcdr!en5$NAgS(iR1NNci8EozuSU6YK++%OZw7!-0
zbSaa@lmnn)n90i@MIg8!Y7^B;=JkjS5{2UO79M<<K20x_3_JsM$VI+$hv$Wab)5bB
z#(0Nc1^={a=3^;K_Zop&6D1l@^1@(<(d&7frJ39o1G$54Nc7PLsSB%^#mj7VC(TlE
z>vd7-K+(cPJ@}~SYaB76-{dawGgF7W6RZ2w@dam(ci5}GHXob$G8JSBXn7DHCPb->
zI{&x4x<|ZdcDIW!q}uAiMN47V(^Kd^V##>Jmvth&hw6yVt71-gsa(j_fTJMT%rhh<
z#bFl#yaw@0#u93LF12zcBkPj7QJw1Z2KpMALkO6v`p99#2>7Yvk?>6#8IG?&el=qJ
z@pKG{Q`LA&21H18g(ylJehNB?1l#`N%@>Z<!P2+df)`WM2SU#S8`oDav67nEnJuW~
zm)|hCS0re%LW}Y2q40|&4Qpe{e+90Ox%Js0FKfov5!9V3+*-mMrDX(@tLkbEQtOpe
zbdpQUQkU-H?|gKEEr9sW?+|DI5VxI5k@NPX!TuJX35SUEl|eb@Q?jsBM8AIzQr~XQ
zHvR{>`*PregBHEPdO>R|4K9k>XVqtTUddXaPUAr1Yr!qXKEfcPqv9)hZ;RKX8jhzW
zV6Tb%SNqraXI5V&L+cQ+gLFtXi}M6hWxT_0Fg<U$7_J26U`;jwl~+7djl@M<WA<kY
zaA=Wmn4y3I1M`*{5vA9UyEp+<B}}c#0GBzp$29hDL@JMyjreU3RWFx^=BRGp%KO$x
zdw)Vyoqc@o;W1zCp!H4141TP1dAEJd9r?5@K+r7Eq!ee+NY?8YK%(1b1%p#1cnE=_
z-V(oiUCpZf9*kCQH~X?ZN39n^8bh-^Sgf3BaS20dN@{`FrykWQW1Y%5z_dV<+Oe!$
z4~(nxzJHYm`*_Jem94oS+MDW(`JTeC`%%EjV0V=UR)lciA^$+dN8wvD5YSdSl^orp
zFGdw$w-Os#iS%uAO7oP-(J3+K8~6gd`Pd0s>;MFqHhzC6&X;s;*2I!D_Y!Q=^3S!a
z<88g(CZVpuKSDWRC=mNj`7}xVjezfp)8S?#dp7ZyQ;4<@Nfw^?rbO$pb}t15f6r~0
zGmrkESYMPV!8OP~RL(AuT_?L8j3R8KB;eGI%iuX0CKolFiixwB7`Xalf(C~9C}cV2
zU{j7UmfH4JDu+bq&TAnb|C__lTYPl<5vS7qYa<*R;SJ2ok|2*`3t3-#$y?7_x~PG7
zOzYs04NJ?~kqyMB7}xggq$32QC2o5<kvGo7$P#7l<w55n75~0BQkKrul%i?hwIp~u
z5a~`s8B?Vz#vfUQCtj7pa^ivpFSR!N{pJ^I!2q>S)t$3WKDhx}7>t&J@M~a;w$G(p
z!ckOFC9%{^k;-4jD0>(=tAFEIIRWj1d=8*0;<<ciy?Ke{JsozwP+LFL`Yv<7$2wMg
zJIV$yVjYJu)_et5^AOkH{X~0|k}rA=c~<EWjnlcD>#u#Jy+3o}T16~C9#s;=Y9qO-
zNoRB)5@Y|HYkLold1Lr23#@!vIp@Me_MQ&F^jg(GkM7FzD}if#qB!6Pn6j36#N}Z2
zM5Te1vRkGilkI8dG=`6R+%BWnM|}U!(}e=ax4iE6d7wJ8vd%{|E`<qHLP>Uvm>(>A
zkKk=}SOh8%!(ttNMB(V#vt!5lfiD_%ML76Q$ZpZ}T4i5+zh0ntM0W=`KC4<>fr>C)
zGg2yL1=~6OOdR#kO)faiZ{cGw+M`lis#cPUKG;@f=X8{%-ibjYMwrLK`&gJqKVsAP
zw9l^68SFKdXuS7V#ht?C4$tQS(z)?m-(+(CaHcPkWL%8@E+`==Gq;bgjLXqiN6ahE
z+b_<042sRFI9bch@JuVodF?VjsZ{(d+r3}hEUc!-Mb8)%q5PLf+9O8Aqf)7xgp;Q<
ziYytAG(#Im4#LIMn0^H2+*&DKB0nn9K`uf|o$bO!EWNcBtZ}-SK<j4}^c?hsO5RJB
z5`hbcmC#!UVIleQAa(S>y@7fvd8Sk0av7h3iC&(;Wc8~|+ENv_)h$Ys;<-RwjW4h>
z0Sok2ya}d7S*^41sv0Dg<J)Xf;S^p=;Foa!^7ZXcL&j+G*K2#Qt)C21;(6_jTa>ZR
zk0dKRGf)J!L3I*Co+pRl$GDNQPBdXS^2Ge|CGqB|MZJt^#voh1v%=M|bkZP~!1|C7
z<dCslWY|N-ipgffNS9U`fpFf%Z~>BZgjBx!f+W&U#?<|9;UDoWy`0u8E9-p~fZ?j0
zKyg`%54^-@&B!UL#lv_uD)->DWrEcF8}K*BxR}%)7pNw(DScEtUsK18s#Fi?I2&DB
zlYA@&3-)SJ@q;?L9UdACs^3=Po3m&MaMZzsR#!^<Wl;70r<ri(uNMD~bA<b@V4cDV
znoCNX@bmY<8t!cBc{|g^M!GY%(NVE~f`8ue<KIu_FivJRrr_^M9lkNW@Vh>nGsHiw
z`l+(#Nn^;SjV<GA!r})zM{wN~ES4waL%jJ+`&-&7IS9cZYpK9Z*s_z0G;b_<AE}AC
ziBk761UbGzI^y(Ce)@5~9EQ+tI@e_2sKN}6E_oA5XR~)3+3=8tHyhEt;E^2&{)SRY
z&*6&uV^Md2sTlJbhm=IwZ%t5CKGmAHgaksx>)Z28Z9*aKkXmv8y$v8~SL=Xx9YyX{
zhaF-4`NiqA?29sGmUTlQ)SwaS;DMc_Xdii(=to@AR~5csCh=cBQ?K2_%ze}-Lkx0o
z)Tls@g%s&9azEr<ap!^kSee;oG?~~%sDc!p{>1=t#bahfu9~<6`p?p|1MX5-JZy|g
zld;@ME1xKOP6sqp92`5vWg<l}MraYyd5rXD%vu%~2o(gyPgltCyZ~1ox3kdd7zRK&
z#NlM1vpyJ|<w354T^v$ui=1in`}p=1U(oxkjg81gVcg>+jfS`S)!u9oULjLi9up%(
z_*KN$MYM=Ka%AzZex$y}dC@Awr}&x4)k5=^JNgkz1q3>uCXS%&v&vo`h-QXXT3;<)
zIob$;^Ol>m&}Xrep5$*FhG40>_~fh@j5#svU#vh|bb?I%1E0k>(?Rj|%B7uBgK*H0
zPjD{GpYtS()|^*|+BYPzX|lM#`&~3luDI)hcCj~U3EbImwc5OWBWXw&=4bk}I2oE5
zRnwbb?cirTHea-Pfv2TD`NV)V0aw_+vN7cYvPB<b;*uZx|Lm&hdx-1&ya_SaUB4>&
zj6KF4|3R{cDG$g6+fZ~sV7$I=B^ie{uEZROIqAcPkX&k~Sm<(chE$MB&#_!!Oe)KH
zR@p0LIBTFuUYZ-!C8;I5LAOMrbBDPsoFmNI!aEaKEgz?-sZqqc9i3@ZtgF}HtA}Vc
zaMJ)+?n+0B$@vo6=;?!R&48@!%BPLT<WC=k>|;VK(cvWBF(%zH0e!WY0lu9Y)}TfF
z*|p2ee7aJ;G8(I{G@CKCCCn;+9pa1(ZtttD>J4f(P&<o_slj+MaP5NW*v?q3DJx86
z811$HMo;7+r#(6PH9avW6Opx*ee6_#nwK+j|G`<{M=x4*%|Y`!`rDEZDt}D|9p4-!
z2SeTGdc&9V)?7&s$f_i2vC+UZCbc7hyLEhd4Myp>N;+5Z60A6N8r&cztQIE1MJA_(
zj|>JSrWeg8_;r+EduuEoIoZwpLpeVE+lz*A1Ws%J&{)JyRy$qvt|knXnCW>0S*dy1
z??uOR4%)+LhU06w{*MiKft<&yrig4B6Up3PGq?qF7O^%Ax<kbP?Lz0r+}QHnq_#H-
z>7Ig>LVHUN45`Yx1g(`Rj$S$ShcC?de2n;3j9`Xa=;AvSIuzu?Kp6-(P*+bn@dl%m
z3il#T0cR)+(dgoBxY)3C{|YUBimWnSq)s|bYgtanO`%_X&i8dgwH=>T)+u@#GIKYH
zI{agiSx=L3DpgGr`Od-L_g!issyJb?T~F)$oDZ!be&R`~tlJMk%0g>+X=6HekwM7K
zT5+#MR6EZn=K?CP<0i)Zr}CgdNUr(Tx=aL<mlR^!*K}jb`B7XJzvyp;)fr9%$OK7p
z=xV-9!<2K*nzre4M|iICpP5ANksGMycE+Sj!J+BCzd35Xbtv?LCGWIjq=DU`RtWO}
z@8NWj4e{13q~cfYNSUHhuYw+q;mwOd*2>02;EsU=&2x&(5}5<Z-=4MhgS^T&6iYPA
zi&S&LlYx7`53=!sHhGsz=QOrJq-!@E{+Lu_S*?plaJ<9YANpoF1c=Ks4A?Lrdpd0F
zUx!Tr=mbCW@3A3Gg876A;6BIWv;a`!qtuJ2nj#c50Pz3k-2bTa|0Dm0djIdK{|&1D
e?}*pG@PA-yHAOi1|Foh1soOt)^p9@?0RIK&^GGNF

diff --git a/basis.SL(3,Z) b/basis.SL(3,Z)
deleted file mode 100644
index 7b8a278..0000000
--- a/basis.SL(3,Z)
+++ /dev/null
@@ -1,121 +0,0 @@
-[ [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 2, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 1, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 1, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 2, 1, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, 1, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 1, -1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 0, 1, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 0, 2 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 2, 0, 1 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 1, 1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, -1, 1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 0, 0, 1 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, -1, 1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 2 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 1 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 2, 1 ], [ 0, 1, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 1 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 0, 1 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 1, 2, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 1, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 2, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 1, 0, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 1, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ 1, 1, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 1, 0, 2 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 2, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, 1, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 1, -1, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 1, 0, 0 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 1, -1, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, 1, 2 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ 1, 1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, 2, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, 1, 0 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ -1, 1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, 1, 1 ] ], 
-  [ [ 1, -1, -1 ], [ 0, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 0, -1, 0 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, -2, 0 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, -1, -1 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, -1, 1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 2, -1, 0 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 0, 0, -1 ], [ 0, 1, 0 ], [ 1, 0, 1 ] ], 
-  [ [ 1, -1, -1 ], [ 0, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, 0, -2 ], [ 0, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, -1 ], [ -1, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 2, 0, -1 ], [ 0, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 1, -1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, -1 ], [ 1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 0, -1 ], [ 0, 1, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, -2 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, -1 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 2, -1 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 1, 0 ], [ -1, 0, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 1 ], [ -1, 1, -1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, 1, 1 ] ], 
-  [ [ 1, -1, 0 ], [ -1, 2, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, -1 ], [ -1, 1, 1 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -2, 1, 0 ], [ 0, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 1, 0 ], [ 0, 1, 0 ], [ -1, -1, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, 0 ], [ -1, 0, 0 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 1 ], [ -1, 0, 1 ] ], 
-  [ [ 1, -1, 0 ], [ 0, 1, 0 ], [ -1, 1, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, 0 ], [ -1, 0, 2 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, -1 ], [ -1, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -2, 0, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ -1, -1, 1 ] ], 
-  [ [ 1, 0, 1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 1 ], [ 0, -1, 0 ] ], 
-  [ [ 1, 0, 0 ], [ 1, 1, 0 ], [ -1, -1, 1 ] ], 
-  [ [ 1, 0, -1 ], [ 0, 1, 0 ], [ 0, -1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, -1 ], [ 0, -1, 2 ] ], 
-  [ [ 1, 0, 0 ], [ -1, 1, 0 ], [ 1, -1, 1 ] ], 
-  [ [ 1, 0, 0 ], [ 0, 1, 0 ], [ 0, -2, 1 ] ] ]
\ No newline at end of file
diff --git a/constraints.SL(3,Z) b/constraints.SL(3,Z)
deleted file mode 100644
index 1e0b163..0000000
--- a/constraints.SL(3,Z)
+++ /dev/null
@@ -1,537 +0,0 @@
-[ [ [ 1, 1 ], [ 2, 2 ], [ 3, 3 ], [ 4, 4 ], [ 5, 5 ], [ 6, 6 ], [ 7, 7 ], 
-      [ 8, 8 ], [ 9, 9 ], [ 10, 10 ], [ 11, 11 ], [ 12, 12 ], [ 13, 13 ], 
-      [ 14, 14 ], [ 15, 15 ], [ 16, 16 ], [ 17, 17 ], [ 18, 18 ], [ 19, 19 ], 
-      [ 20, 20 ], [ 21, 21 ], [ 22, 22 ], [ 23, 23 ], [ 24, 24 ], [ 25, 25 ], 
-      [ 26, 26 ], [ 27, 27 ], [ 28, 28 ], [ 29, 29 ], [ 30, 30 ], [ 31, 31 ], 
-      [ 32, 32 ], [ 33, 33 ], [ 34, 34 ], [ 35, 35 ], [ 36, 36 ], [ 37, 37 ], 
-      [ 38, 38 ], [ 39, 39 ], [ 40, 40 ], [ 41, 41 ], [ 42, 42 ], [ 43, 43 ], 
-      [ 44, 44 ], [ 45, 45 ], [ 46, 46 ], [ 47, 47 ], [ 48, 48 ], [ 49, 49 ], 
-      [ 50, 50 ], [ 51, 51 ], [ 52, 52 ], [ 53, 53 ], [ 54, 54 ], [ 55, 55 ], 
-      [ 56, 56 ], [ 57, 57 ], [ 58, 58 ], [ 59, 59 ], [ 60, 60 ], [ 61, 61 ], 
-      [ 62, 62 ], [ 63, 63 ], [ 64, 64 ], [ 65, 65 ], [ 66, 66 ], [ 67, 67 ], 
-      [ 68, 68 ], [ 69, 69 ], [ 70, 70 ], [ 71, 71 ], [ 72, 72 ], [ 73, 73 ], 
-      [ 74, 74 ], [ 75, 75 ], [ 76, 76 ], [ 77, 77 ], [ 78, 78 ], [ 79, 79 ], 
-      [ 80, 80 ], [ 81, 81 ], [ 82, 82 ], [ 83, 83 ], [ 84, 84 ], [ 85, 85 ], 
-      [ 86, 86 ], [ 87, 87 ], [ 88, 88 ], [ 89, 89 ], [ 90, 90 ], [ 91, 91 ], 
-      [ 92, 92 ], [ 93, 93 ], [ 94, 94 ], [ 95, 95 ], [ 96, 96 ], [ 97, 97 ], 
-      [ 98, 98 ], [ 99, 99 ], [ 100, 100 ], [ 101, 101 ], [ 102, 102 ], 
-      [ 103, 103 ], [ 104, 104 ], [ 105, 105 ], [ 106, 106 ], [ 107, 107 ], 
-      [ 108, 108 ], [ 109, 109 ], [ 110, 110 ], [ 111, 111 ], [ 112, 112 ], 
-      [ 113, 113 ], [ 114, 114 ], [ 115, 115 ], [ 116, 116 ], [ 117, 117 ], 
-      [ 118, 118 ], [ 119, 119 ], [ 120, 120 ], [ 121, 121 ] ], 
-  [ [ 1, 2 ], [ 2, 14 ], [ 3, 15 ], [ 4, 35 ], [ 5, 45 ], [ 6, 55 ], 
-      [ 7, 19 ], [ 8, 1 ], [ 9, 20 ], [ 10, 91 ], [ 11, 99 ], [ 12, 107 ], 
-      [ 13, 24 ], [ 26, 16 ], [ 30, 3 ], [ 34, 115 ], [ 40, 4 ], [ 50, 5 ], 
-      [ 60, 6 ], [ 64, 18 ], [ 65, 29 ], [ 69, 7 ], [ 73, 23 ], [ 74, 41 ], 
-      [ 76, 59 ], [ 77, 8 ], [ 78, 9 ], [ 79, 31 ], [ 81, 114 ], [ 82, 13 ], 
-      [ 85, 70 ], [ 87, 21 ], [ 94, 10 ], [ 102, 11 ], [ 110, 12 ], 
-      [ 118, 90 ] ], 
-  [ [ 1, 3 ], [ 2, 15 ], [ 3, 25 ], [ 4, 26 ], [ 5, 46 ], [ 6, 56 ], 
-      [ 7, 65 ], [ 8, 30 ], [ 9, 1 ], [ 10, 31 ], [ 11, 100 ], [ 12, 108 ], 
-      [ 13, 115 ], [ 19, 29 ], [ 20, 2 ], [ 21, 91 ], [ 35, 16 ], [ 41, 4 ], 
-      [ 42, 32 ], [ 51, 5 ], [ 52, 27 ], [ 61, 6 ], [ 70, 7 ], [ 74, 40 ], 
-      [ 78, 8 ], [ 82, 34 ], [ 83, 37 ], [ 85, 69 ], [ 86, 9 ], [ 87, 10 ], 
-      [ 88, 96 ], [ 90, 24 ], [ 94, 79 ], [ 103, 11 ], [ 111, 12 ], 
-      [ 118, 13 ] ], 
-  [ [ 1, 4 ], [ 2, 16 ], [ 3, 26 ], [ 4, 36 ], [ 5, 37 ], [ 6, 57 ], 
-      [ 7, 66 ], [ 8, 74 ], [ 9, 41 ], [ 10, 1 ], [ 11, 42 ], [ 12, 109 ], 
-      [ 13, 116 ], [ 20, 35 ], [ 21, 2 ], [ 27, 46 ], [ 30, 40 ], [ 31, 3 ], 
-      [ 48, 38 ], [ 51, 83 ], [ 52, 5 ], [ 62, 6 ], [ 71, 7 ], [ 79, 8 ], 
-      [ 87, 9 ], [ 88, 103 ], [ 91, 15 ], [ 92, 63 ], [ 94, 78 ], [ 95, 10 ], 
-      [ 96, 11 ], [ 97, 53 ], [ 100, 32 ], [ 105, 43 ], [ 112, 12 ], 
-      [ 119, 13 ] ], 
-  [ [ 1, 5 ], [ 2, 17 ], [ 3, 27 ], [ 4, 37 ], [ 5, 47 ], [ 6, 48 ], 
-      [ 7, 67 ], [ 8, 75 ], [ 9, 83 ], [ 10, 52 ], [ 11, 1 ], [ 12, 53 ], 
-      [ 13, 117 ], [ 22, 2 ], [ 26, 46 ], [ 32, 3 ], [ 42, 4 ], [ 43, 109 ], 
-      [ 57, 38 ], [ 63, 6 ], [ 64, 54 ], [ 72, 7 ], [ 73, 49 ], [ 80, 8 ], 
-      [ 87, 51 ], [ 88, 9 ], [ 92, 62 ], [ 96, 10 ], [ 100, 31 ], 
-      [ 101, 59 ], [ 103, 41 ], [ 104, 11 ], [ 105, 12 ], [ 106, 114 ], 
-      [ 112, 97 ], [ 120, 13 ] ], 
-  [ [ 1, 6 ], [ 2, 18 ], [ 3, 28 ], [ 4, 38 ], [ 5, 48 ], [ 6, 58 ], 
-      [ 7, 59 ], [ 8, 76 ], [ 9, 84 ], [ 10, 92 ], [ 11, 63 ], [ 12, 1 ], 
-      [ 13, 64 ], [ 19, 55 ], [ 23, 2 ], [ 33, 3 ], [ 42, 57 ], [ 43, 4 ], 
-      [ 49, 67 ], [ 52, 62 ], [ 53, 5 ], [ 72, 101 ], [ 73, 7 ], [ 81, 8 ], 
-      [ 82, 60 ], [ 89, 9 ], [ 97, 10 ], [ 105, 11 ], [ 106, 120 ], 
-      [ 107, 24 ], [ 109, 37 ], [ 110, 69 ], [ 112, 96 ], [ 113, 12 ], 
-      [ 114, 13 ], [ 117, 54 ] ], 
-  [ [ 1, 7 ], [ 2, 19 ], [ 3, 29 ], [ 4, 39 ], [ 5, 49 ], [ 6, 59 ], 
-      [ 7, 68 ], [ 8, 69 ], [ 9, 85 ], [ 10, 93 ], [ 11, 101 ], [ 12, 73 ], 
-      [ 13, 1 ], [ 18, 55 ], [ 20, 70 ], [ 24, 2 ], [ 30, 65 ], [ 34, 3 ], 
-      [ 44, 4 ], [ 48, 67 ], [ 54, 5 ], [ 60, 76 ], [ 64, 6 ], [ 81, 110 ], 
-      [ 82, 8 ], [ 90, 9 ], [ 98, 10 ], [ 105, 72 ], [ 106, 11 ], 
-      [ 107, 23 ], [ 114, 12 ], [ 115, 15 ], [ 117, 53 ], [ 118, 78 ], 
-      [ 120, 63 ], [ 121, 13 ] ], 
-  [ [ 1, 8 ], [ 2, 1 ], [ 3, 30 ], [ 4, 40 ], [ 5, 50 ], [ 6, 60 ], 
-      [ 7, 69 ], [ 8, 77 ], [ 9, 78 ], [ 10, 94 ], [ 11, 102 ], [ 12, 110 ], 
-      [ 13, 82 ], [ 14, 2 ], [ 15, 3 ], [ 16, 26 ], [ 18, 64 ], [ 19, 7 ], 
-      [ 20, 9 ], [ 21, 87 ], [ 23, 73 ], [ 24, 13 ], [ 29, 65 ], [ 31, 79 ], 
-      [ 35, 4 ], [ 41, 74 ], [ 45, 5 ], [ 55, 6 ], [ 59, 76 ], [ 70, 85 ], 
-      [ 90, 118 ], [ 91, 10 ], [ 99, 11 ], [ 107, 12 ], [ 114, 81 ], 
-      [ 115, 34 ] ], 
-  [ [ 1, 9 ], [ 2, 20 ], [ 3, 1 ], [ 4, 41 ], [ 5, 51 ], [ 6, 61 ], 
-      [ 7, 70 ], [ 8, 78 ], [ 9, 86 ], [ 10, 87 ], [ 11, 103 ], [ 12, 111 ], 
-      [ 13, 118 ], [ 15, 2 ], [ 16, 35 ], [ 24, 90 ], [ 25, 3 ], [ 26, 4 ], 
-      [ 27, 52 ], [ 29, 19 ], [ 30, 8 ], [ 31, 10 ], [ 32, 42 ], [ 34, 82 ], 
-      [ 37, 83 ], [ 40, 74 ], [ 46, 5 ], [ 56, 6 ], [ 65, 7 ], [ 69, 85 ], 
-      [ 79, 94 ], [ 91, 21 ], [ 96, 88 ], [ 100, 11 ], [ 108, 12 ], 
-      [ 115, 13 ] ], 
-  [ [ 1, 10 ], [ 2, 21 ], [ 3, 31 ], [ 4, 1 ], [ 5, 52 ], [ 6, 62 ], 
-      [ 7, 71 ], [ 8, 79 ], [ 9, 87 ], [ 10, 95 ], [ 11, 96 ], [ 12, 112 ], 
-      [ 13, 119 ], [ 15, 91 ], [ 16, 2 ], [ 26, 3 ], [ 32, 100 ], [ 35, 20 ], 
-      [ 36, 4 ], [ 37, 5 ], [ 38, 48 ], [ 40, 30 ], [ 41, 9 ], [ 42, 11 ], 
-      [ 43, 105 ], [ 46, 27 ], [ 53, 97 ], [ 57, 6 ], [ 63, 92 ], [ 66, 7 ], 
-      [ 74, 8 ], [ 78, 94 ], [ 83, 51 ], [ 103, 88 ], [ 109, 12 ], 
-      [ 116, 13 ] ], 
-  [ [ 1, 11 ], [ 2, 22 ], [ 3, 32 ], [ 4, 42 ], [ 5, 1 ], [ 6, 63 ], 
-      [ 7, 72 ], [ 8, 80 ], [ 9, 88 ], [ 10, 96 ], [ 11, 104 ], [ 12, 105 ], 
-      [ 13, 120 ], [ 17, 2 ], [ 27, 3 ], [ 31, 100 ], [ 37, 4 ], [ 38, 57 ], 
-      [ 41, 103 ], [ 46, 26 ], [ 47, 5 ], [ 48, 6 ], [ 49, 73 ], [ 51, 87 ], 
-      [ 52, 10 ], [ 53, 12 ], [ 54, 64 ], [ 59, 101 ], [ 62, 92 ], [ 67, 7 ], 
-      [ 75, 8 ], [ 83, 9 ], [ 97, 112 ], [ 109, 43 ], [ 114, 106 ], 
-      [ 117, 13 ] ], 
-  [ [ 1, 12 ], [ 2, 23 ], [ 3, 33 ], [ 4, 43 ], [ 5, 53 ], [ 6, 1 ], 
-      [ 7, 73 ], [ 8, 81 ], [ 9, 89 ], [ 10, 97 ], [ 11, 105 ], [ 12, 113 ], 
-      [ 13, 114 ], [ 18, 2 ], [ 24, 107 ], [ 28, 3 ], [ 37, 109 ], [ 38, 4 ], 
-      [ 48, 5 ], [ 54, 117 ], [ 55, 19 ], [ 57, 42 ], [ 58, 6 ], [ 59, 7 ], 
-      [ 60, 82 ], [ 62, 52 ], [ 63, 11 ], [ 64, 13 ], [ 67, 49 ], 
-      [ 69, 110 ], [ 76, 8 ], [ 84, 9 ], [ 92, 10 ], [ 96, 112 ], 
-      [ 101, 72 ], [ 120, 106 ] ], 
-  [ [ 1, 13 ], [ 2, 24 ], [ 3, 34 ], [ 4, 44 ], [ 5, 54 ], [ 6, 64 ], 
-      [ 7, 1 ], [ 8, 82 ], [ 9, 90 ], [ 10, 98 ], [ 11, 106 ], [ 12, 114 ], 
-      [ 13, 121 ], [ 15, 115 ], [ 19, 2 ], [ 23, 107 ], [ 29, 3 ], [ 39, 4 ], 
-      [ 49, 5 ], [ 53, 117 ], [ 55, 18 ], [ 59, 6 ], [ 63, 120 ], [ 65, 30 ], 
-      [ 67, 48 ], [ 68, 7 ], [ 69, 8 ], [ 70, 20 ], [ 72, 105 ], [ 73, 12 ], 
-      [ 76, 60 ], [ 78, 118 ], [ 85, 9 ], [ 93, 10 ], [ 101, 11 ], 
-      [ 110, 81 ] ], 
-  [ [ 1, 14 ], [ 8, 2 ], [ 30, 15 ], [ 40, 35 ], [ 50, 45 ], [ 60, 55 ], 
-      [ 69, 19 ], [ 77, 1 ], [ 78, 20 ], [ 82, 24 ], [ 94, 91 ], [ 102, 99 ], 
-      [ 110, 107 ] ], 
-  [ [ 1, 15 ], [ 4, 16 ], [ 7, 29 ], [ 8, 3 ], [ 9, 2 ], [ 20, 14 ], 
-      [ 30, 25 ], [ 40, 26 ], [ 41, 35 ], [ 50, 46 ], [ 51, 45 ], [ 60, 56 ], 
-      [ 61, 55 ], [ 69, 65 ], [ 70, 19 ], [ 74, 4 ], [ 77, 30 ], [ 78, 1 ], 
-      [ 82, 115 ], [ 85, 7 ], [ 86, 20 ], [ 87, 91 ], [ 94, 31 ], 
-      [ 102, 100 ], [ 103, 99 ], [ 110, 108 ], [ 111, 107 ], [ 118, 24 ] ], 
-  [ [ 1, 16 ], [ 8, 4 ], [ 9, 35 ], [ 10, 15 ], [ 30, 26 ], [ 40, 36 ], 
-      [ 50, 37 ], [ 60, 57 ], [ 69, 66 ], [ 71, 29 ], [ 77, 74 ], [ 78, 41 ], 
-      [ 79, 3 ], [ 82, 116 ], [ 87, 2 ], [ 88, 99 ], [ 94, 1 ], [ 102, 42 ], 
-      [ 110, 109 ] ], 
-  [ [ 1, 17 ], [ 8, 5 ], [ 22, 99 ], [ 30, 27 ], [ 40, 37 ], [ 50, 47 ], 
-      [ 60, 48 ], [ 69, 67 ], [ 77, 75 ], [ 78, 83 ], [ 82, 117 ], 
-      [ 94, 52 ], [ 102, 1 ], [ 110, 53 ] ], 
-  [ [ 1, 18 ], [ 7, 55 ], [ 8, 6 ], [ 12, 24 ], [ 30, 28 ], [ 33, 115 ], 
-      [ 40, 38 ], [ 50, 48 ], [ 60, 58 ], [ 69, 59 ], [ 72, 99 ], [ 73, 2 ], 
-      [ 77, 76 ], [ 78, 84 ], [ 81, 13 ], [ 82, 64 ], [ 94, 92 ], 
-      [ 102, 63 ], [ 110, 1 ] ], 
-  [ [ 1, 19 ], [ 8, 7 ], [ 9, 70 ], [ 12, 23 ], [ 13, 2 ], [ 24, 14 ], 
-      [ 30, 29 ], [ 34, 15 ], [ 40, 39 ], [ 44, 35 ], [ 50, 49 ], [ 54, 45 ], 
-      [ 60, 59 ], [ 64, 55 ], [ 69, 68 ], [ 77, 69 ], [ 78, 85 ], [ 81, 12 ], 
-      [ 82, 1 ], [ 90, 20 ], [ 94, 93 ], [ 98, 91 ], [ 102, 101 ], 
-      [ 106, 99 ], [ 110, 73 ], [ 114, 107 ], [ 118, 9 ], [ 121, 24 ] ], 
-  [ [ 1, 20 ], [ 3, 2 ], [ 8, 9 ], [ 10, 21 ], [ 13, 90 ], [ 15, 14 ], 
-      [ 25, 15 ], [ 26, 35 ], [ 30, 1 ], [ 31, 91 ], [ 34, 13 ], [ 40, 41 ], 
-      [ 46, 45 ], [ 50, 51 ], [ 56, 55 ], [ 60, 61 ], [ 65, 19 ], [ 69, 70 ], 
-      [ 77, 78 ], [ 78, 86 ], [ 79, 10 ], [ 82, 118 ], [ 94, 87 ], 
-      [ 100, 99 ], [ 102, 103 ], [ 108, 107 ], [ 110, 111 ], [ 115, 24 ] ], 
-  [ [ 1, 21 ], [ 3, 91 ], [ 4, 20 ], [ 8, 10 ], [ 26, 2 ], [ 30, 31 ], 
-      [ 32, 99 ], [ 40, 1 ], [ 50, 52 ], [ 60, 62 ], [ 69, 71 ], [ 74, 9 ], 
-      [ 77, 79 ], [ 78, 87 ], [ 82, 119 ], [ 94, 95 ], [ 102, 96 ], 
-      [ 110, 112 ], [ 116, 90 ] ], 
-  [ [ 1, 22 ], [ 8, 11 ], [ 30, 32 ], [ 40, 42 ], [ 50, 1 ], [ 60, 63 ], 
-      [ 69, 72 ], [ 74, 103 ], [ 75, 102 ], [ 76, 101 ], [ 77, 80 ], 
-      [ 78, 88 ], [ 79, 100 ], [ 80, 99 ], [ 81, 106 ], [ 82, 120 ], 
-      [ 94, 96 ], [ 102, 104 ], [ 110, 105 ] ], 
-  [ [ 1, 23 ], [ 6, 19 ], [ 8, 12 ], [ 13, 107 ], [ 30, 33 ], [ 40, 43 ], 
-      [ 50, 53 ], [ 60, 1 ], [ 64, 2 ], [ 69, 73 ], [ 76, 7 ], [ 77, 81 ], 
-      [ 78, 89 ], [ 82, 114 ], [ 84, 70 ], [ 94, 97 ], [ 102, 105 ], 
-      [ 110, 113 ], [ 120, 99 ] ], 
-  [ [ 1, 24 ], [ 3, 115 ], [ 6, 18 ], [ 7, 2 ], [ 8, 13 ], [ 19, 14 ], 
-      [ 29, 15 ], [ 30, 34 ], [ 39, 35 ], [ 40, 44 ], [ 49, 45 ], [ 50, 54 ], 
-      [ 59, 55 ], [ 60, 64 ], [ 65, 3 ], [ 68, 19 ], [ 69, 1 ], [ 73, 107 ], 
-      [ 76, 6 ], [ 77, 82 ], [ 78, 90 ], [ 82, 121 ], [ 85, 20 ], [ 93, 91 ], 
-      [ 94, 98 ], [ 101, 99 ], [ 102, 106 ], [ 110, 114 ] ], 
-  [ [ 1, 25 ], [ 9, 3 ], [ 20, 15 ], [ 41, 26 ], [ 51, 46 ], [ 61, 56 ], 
-      [ 70, 65 ], [ 78, 30 ], [ 86, 1 ], [ 87, 31 ], [ 103, 100 ], 
-      [ 111, 108 ], [ 118, 115 ] ], 
-  [ [ 1, 26 ], [ 8, 40 ], [ 9, 4 ], [ 10, 3 ], [ 11, 32 ], [ 20, 16 ], 
-      [ 21, 15 ], [ 31, 25 ], [ 41, 36 ], [ 51, 37 ], [ 52, 46 ], [ 61, 57 ], 
-      [ 62, 56 ], [ 70, 66 ], [ 71, 65 ], [ 78, 74 ], [ 79, 30 ], [ 86, 41 ], 
-      [ 87, 1 ], [ 88, 11 ], [ 94, 8 ], [ 95, 31 ], [ 96, 100 ], [ 103, 42 ], 
-      [ 111, 109 ], [ 112, 108 ], [ 118, 116 ], [ 119, 115 ] ], 
-  [ [ 1, 27 ], [ 4, 46 ], [ 9, 5 ], [ 11, 31 ], [ 20, 17 ], [ 22, 91 ], 
-      [ 41, 37 ], [ 42, 3 ], [ 43, 108 ], [ 51, 47 ], [ 61, 48 ], [ 70, 67 ], 
-      [ 78, 75 ], [ 86, 83 ], [ 87, 52 ], [ 88, 10 ], [ 103, 1 ], 
-      [ 111, 53 ], [ 118, 117 ] ], 
-  [ [ 1, 28 ], [ 9, 6 ], [ 20, 18 ], [ 33, 108 ], [ 41, 38 ], [ 51, 48 ], 
-      [ 61, 58 ], [ 70, 59 ], [ 78, 76 ], [ 86, 84 ], [ 87, 92 ], 
-      [ 103, 63 ], [ 111, 1 ], [ 118, 64 ] ], 
-  [ [ 1, 29 ], [ 8, 65 ], [ 9, 7 ], [ 13, 15 ], [ 20, 19 ], [ 41, 39 ], 
-      [ 44, 16 ], [ 51, 49 ], [ 61, 59 ], [ 70, 68 ], [ 78, 69 ], 
-      [ 81, 108 ], [ 82, 3 ], [ 86, 85 ], [ 87, 93 ], [ 90, 2 ], 
-      [ 103, 101 ], [ 111, 73 ], [ 118, 1 ] ], 
-  [ [ 1, 30 ], [ 2, 3 ], [ 9, 8 ], [ 10, 79 ], [ 13, 34 ], [ 14, 15 ], 
-      [ 15, 25 ], [ 19, 65 ], [ 20, 1 ], [ 21, 10 ], [ 24, 115 ], [ 35, 26 ], 
-      [ 41, 40 ], [ 45, 46 ], [ 51, 50 ], [ 55, 56 ], [ 61, 60 ], [ 70, 69 ], 
-      [ 78, 77 ], [ 86, 78 ], [ 87, 94 ], [ 90, 13 ], [ 91, 31 ], 
-      [ 99, 100 ], [ 103, 102 ], [ 107, 108 ], [ 111, 110 ], [ 118, 82 ] ], 
-  [ [ 1, 31 ], [ 2, 91 ], [ 4, 3 ], [ 5, 27 ], [ 9, 10 ], [ 16, 15 ], 
-      [ 20, 21 ], [ 26, 25 ], [ 35, 2 ], [ 36, 26 ], [ 37, 46 ], [ 41, 1 ], 
-      [ 42, 100 ], [ 51, 52 ], [ 57, 56 ], [ 61, 62 ], [ 66, 65 ], 
-      [ 70, 71 ], [ 74, 30 ], [ 78, 79 ], [ 83, 5 ], [ 86, 87 ], [ 87, 95 ], 
-      [ 103, 96 ], [ 109, 108 ], [ 111, 112 ], [ 116, 115 ], [ 118, 119 ] ], 
-  [ [ 1, 32 ], [ 5, 26 ], [ 9, 11 ], [ 10, 100 ], [ 20, 22 ], [ 41, 42 ], 
-      [ 51, 1 ], [ 52, 3 ], [ 61, 63 ], [ 70, 72 ], [ 75, 40 ], [ 78, 80 ], 
-      [ 83, 4 ], [ 86, 88 ], [ 87, 96 ], [ 97, 108 ], [ 103, 104 ], 
-      [ 111, 105 ], [ 118, 120 ] ], 
-  [ [ 1, 33 ], [ 9, 12 ], [ 20, 23 ], [ 41, 43 ], [ 51, 53 ], [ 61, 1 ], 
-      [ 70, 73 ], [ 78, 81 ], [ 83, 109 ], [ 84, 111 ], [ 85, 110 ], 
-      [ 86, 89 ], [ 87, 97 ], [ 88, 112 ], [ 89, 108 ], [ 90, 107 ], 
-      [ 103, 105 ], [ 111, 113 ], [ 118, 114 ] ], 
-  [ [ 1, 34 ], [ 2, 115 ], [ 7, 30 ], [ 9, 13 ], [ 19, 3 ], [ 20, 24 ], 
-      [ 23, 108 ], [ 41, 44 ], [ 51, 54 ], [ 61, 64 ], [ 70, 1 ], [ 78, 82 ], 
-      [ 85, 8 ], [ 86, 90 ], [ 87, 98 ], [ 93, 79 ], [ 103, 106 ], 
-      [ 111, 114 ], [ 118, 121 ] ], 
-  [ [ 1, 35 ], [ 3, 16 ], [ 8, 41 ], [ 10, 2 ], [ 21, 14 ], [ 30, 4 ], 
-      [ 31, 15 ], [ 34, 116 ], [ 50, 83 ], [ 52, 45 ], [ 62, 55 ], 
-      [ 71, 19 ], [ 79, 1 ], [ 87, 20 ], [ 94, 9 ], [ 95, 91 ], [ 96, 99 ], 
-      [ 112, 107 ], [ 119, 24 ] ], 
-  [ [ 1, 36 ], [ 10, 4 ], [ 21, 16 ], [ 31, 26 ], [ 52, 37 ], [ 62, 57 ], 
-      [ 71, 66 ], [ 79, 74 ], [ 87, 41 ], [ 95, 1 ], [ 96, 42 ], 
-      [ 112, 109 ], [ 119, 116 ] ], 
-  [ [ 1, 37 ], [ 3, 46 ], [ 6, 38 ], [ 10, 5 ], [ 11, 4 ], [ 21, 17 ], 
-      [ 22, 16 ], [ 31, 27 ], [ 32, 26 ], [ 42, 36 ], [ 52, 47 ], [ 62, 48 ], 
-      [ 63, 57 ], [ 71, 67 ], [ 72, 66 ], [ 79, 75 ], [ 80, 74 ], [ 87, 83 ], 
-      [ 88, 41 ], [ 92, 6 ], [ 95, 52 ], [ 96, 1 ], [ 100, 3 ], [ 104, 42 ], 
-      [ 105, 109 ], [ 112, 53 ], [ 119, 117 ], [ 120, 116 ] ], 
-  [ [ 1, 38 ], [ 10, 6 ], [ 11, 57 ], [ 12, 37 ], [ 21, 18 ], [ 31, 28 ], 
-      [ 33, 46 ], [ 52, 48 ], [ 62, 58 ], [ 71, 59 ], [ 79, 76 ], [ 87, 84 ], 
-      [ 95, 92 ], [ 96, 63 ], [ 97, 5 ], [ 105, 4 ], [ 106, 116 ], 
-      [ 112, 1 ], [ 119, 64 ] ], 
-  [ [ 1, 39 ], [ 10, 7 ], [ 21, 19 ], [ 31, 29 ], [ 44, 116 ], [ 52, 49 ], 
-      [ 62, 59 ], [ 71, 68 ], [ 79, 69 ], [ 87, 85 ], [ 95, 93 ], 
-      [ 96, 101 ], [ 112, 73 ], [ 119, 1 ] ], 
-  [ [ 1, 40 ], [ 2, 26 ], [ 9, 74 ], [ 10, 8 ], [ 20, 4 ], [ 21, 1 ], 
-      [ 31, 30 ], [ 52, 50 ], [ 62, 60 ], [ 71, 69 ], [ 79, 77 ], [ 87, 78 ], 
-      [ 90, 116 ], [ 91, 3 ], [ 95, 94 ], [ 96, 102 ], [ 99, 32 ], 
-      [ 112, 110 ], [ 119, 82 ] ], 
-  [ [ 1, 41 ], [ 2, 35 ], [ 3, 4 ], [ 5, 83 ], [ 10, 9 ], [ 15, 16 ], 
-      [ 21, 20 ], [ 25, 26 ], [ 26, 36 ], [ 27, 5 ], [ 30, 74 ], [ 31, 1 ], 
-      [ 46, 37 ], [ 52, 51 ], [ 56, 57 ], [ 62, 61 ], [ 65, 66 ], [ 71, 70 ], 
-      [ 79, 78 ], [ 87, 86 ], [ 91, 2 ], [ 95, 87 ], [ 96, 103 ], 
-      [ 100, 42 ], [ 108, 109 ], [ 112, 111 ], [ 115, 116 ], [ 119, 118 ] ], 
-  [ [ 1, 42 ], [ 5, 4 ], [ 9, 103 ], [ 10, 11 ], [ 12, 43 ], [ 17, 16 ], 
-      [ 21, 22 ], [ 27, 26 ], [ 31, 32 ], [ 37, 36 ], [ 47, 37 ], [ 48, 57 ], 
-      [ 51, 9 ], [ 52, 1 ], [ 53, 109 ], [ 62, 63 ], [ 67, 66 ], [ 71, 72 ], 
-      [ 75, 74 ], [ 79, 80 ], [ 83, 41 ], [ 87, 88 ], [ 95, 96 ], 
-      [ 96, 104 ], [ 97, 12 ], [ 112, 105 ], [ 117, 116 ], [ 119, 120 ] ], 
-  [ [ 1, 43 ], [ 5, 109 ], [ 6, 42 ], [ 10, 12 ], [ 21, 23 ], [ 31, 33 ], 
-      [ 48, 4 ], [ 52, 53 ], [ 54, 116 ], [ 62, 1 ], [ 71, 73 ], [ 79, 81 ], 
-      [ 84, 103 ], [ 87, 89 ], [ 92, 11 ], [ 95, 97 ], [ 96, 105 ], 
-      [ 112, 113 ], [ 119, 114 ] ], 
-  [ [ 1, 44 ], [ 10, 13 ], [ 21, 24 ], [ 31, 34 ], [ 52, 54 ], [ 62, 64 ], 
-      [ 71, 1 ], [ 79, 82 ], [ 87, 90 ], [ 91, 115 ], [ 92, 120 ], 
-      [ 93, 119 ], [ 94, 118 ], [ 95, 98 ], [ 96, 106 ], [ 97, 117 ], 
-      [ 98, 116 ], [ 112, 114 ], [ 119, 121 ] ], 
-  [ [ 1, 45 ], [ 11, 2 ], [ 22, 14 ], [ 32, 15 ], [ 42, 35 ], [ 50, 75 ], 
-      [ 63, 55 ], [ 72, 19 ], [ 80, 1 ], [ 88, 20 ], [ 96, 91 ], [ 104, 99 ], 
-      [ 105, 107 ], [ 120, 24 ] ], 
-  [ [ 1, 46 ], [ 9, 37 ], [ 10, 27 ], [ 11, 3 ], [ 22, 15 ], [ 32, 25 ], 
-      [ 42, 26 ], [ 61, 38 ], [ 63, 56 ], [ 72, 65 ], [ 80, 30 ], [ 87, 5 ], 
-      [ 88, 1 ], [ 94, 75 ], [ 96, 31 ], [ 103, 4 ], [ 104, 100 ], 
-      [ 105, 108 ], [ 120, 115 ] ], 
-  [ [ 1, 47 ], [ 11, 5 ], [ 22, 17 ], [ 32, 27 ], [ 42, 37 ], [ 63, 48 ], 
-      [ 72, 67 ], [ 80, 75 ], [ 88, 83 ], [ 96, 52 ], [ 104, 1 ], 
-      [ 105, 53 ], [ 120, 117 ] ], 
-  [ [ 1, 48 ], [ 10, 62 ], [ 11, 6 ], [ 12, 5 ], [ 13, 54 ], [ 22, 18 ], 
-      [ 23, 17 ], [ 32, 28 ], [ 33, 27 ], [ 42, 38 ], [ 43, 37 ], [ 53, 47 ], 
-      [ 63, 58 ], [ 72, 59 ], [ 73, 67 ], [ 80, 76 ], [ 81, 75 ], [ 88, 84 ], 
-      [ 89, 83 ], [ 96, 92 ], [ 97, 52 ], [ 104, 63 ], [ 105, 1 ], 
-      [ 106, 13 ], [ 112, 10 ], [ 113, 53 ], [ 114, 117 ], [ 120, 64 ] ], 
-  [ [ 1, 49 ], [ 6, 67 ], [ 11, 7 ], [ 13, 53 ], [ 22, 19 ], [ 32, 29 ], 
-      [ 42, 39 ], [ 44, 109 ], [ 60, 75 ], [ 63, 59 ], [ 64, 5 ], [ 72, 68 ], 
-      [ 80, 69 ], [ 88, 85 ], [ 96, 93 ], [ 104, 101 ], [ 105, 73 ], 
-      [ 106, 12 ], [ 120, 1 ] ], 
-  [ [ 1, 50 ], [ 11, 8 ], [ 22, 1 ], [ 32, 30 ], [ 42, 40 ], [ 63, 60 ], 
-      [ 72, 69 ], [ 80, 77 ], [ 88, 78 ], [ 96, 94 ], [ 99, 80 ], 
-      [ 100, 79 ], [ 101, 76 ], [ 102, 75 ], [ 103, 74 ], [ 104, 102 ], 
-      [ 105, 110 ], [ 106, 81 ], [ 120, 82 ] ], 
-  [ [ 1, 51 ], [ 3, 52 ], [ 4, 83 ], [ 11, 9 ], [ 22, 20 ], [ 26, 5 ], 
-      [ 32, 1 ], [ 40, 75 ], [ 42, 41 ], [ 63, 61 ], [ 72, 70 ], [ 80, 78 ], 
-      [ 88, 86 ], [ 96, 87 ], [ 100, 10 ], [ 104, 103 ], [ 105, 111 ], 
-      [ 108, 97 ], [ 120, 118 ] ], 
-  [ [ 1, 52 ], [ 4, 5 ], [ 9, 51 ], [ 11, 10 ], [ 12, 97 ], [ 16, 17 ], 
-      [ 22, 21 ], [ 26, 27 ], [ 32, 31 ], [ 36, 37 ], [ 37, 47 ], [ 41, 83 ], 
-      [ 42, 1 ], [ 43, 12 ], [ 57, 48 ], [ 63, 62 ], [ 66, 67 ], [ 72, 71 ], 
-      [ 74, 75 ], [ 80, 79 ], [ 88, 87 ], [ 96, 95 ], [ 103, 9 ], 
-      [ 104, 96 ], [ 105, 112 ], [ 109, 53 ], [ 116, 117 ], [ 120, 119 ] ], 
-  [ [ 1, 53 ], [ 4, 109 ], [ 6, 5 ], [ 7, 49 ], [ 11, 12 ], [ 18, 17 ], 
-      [ 22, 23 ], [ 28, 27 ], [ 32, 33 ], [ 38, 37 ], [ 42, 43 ], [ 48, 47 ], 
-      [ 57, 4 ], [ 58, 48 ], [ 59, 67 ], [ 63, 1 ], [ 64, 117 ], [ 72, 73 ], 
-      [ 76, 75 ], [ 80, 81 ], [ 84, 83 ], [ 88, 89 ], [ 92, 52 ], [ 96, 97 ], 
-      [ 101, 7 ], [ 104, 105 ], [ 105, 113 ], [ 120, 114 ] ], 
-  [ [ 1, 54 ], [ 7, 48 ], [ 11, 13 ], [ 12, 117 ], [ 22, 24 ], [ 32, 34 ], 
-      [ 42, 44 ], [ 63, 64 ], [ 72, 1 ], [ 73, 5 ], [ 80, 82 ], [ 88, 90 ], 
-      [ 93, 62 ], [ 96, 98 ], [ 101, 6 ], [ 104, 106 ], [ 105, 114 ], 
-      [ 110, 75 ], [ 120, 121 ] ], 
-  [ [ 1, 55 ], [ 8, 59 ], [ 12, 2 ], [ 13, 18 ], [ 23, 14 ], [ 33, 15 ], 
-      [ 43, 35 ], [ 50, 67 ], [ 53, 45 ], [ 73, 19 ], [ 81, 1 ], [ 82, 6 ], 
-      [ 89, 20 ], [ 97, 91 ], [ 105, 99 ], [ 110, 7 ], [ 113, 107 ], 
-      [ 114, 24 ], [ 118, 84 ] ], 
-  [ [ 1, 56 ], [ 12, 3 ], [ 23, 15 ], [ 33, 25 ], [ 43, 26 ], [ 53, 46 ], 
-      [ 61, 84 ], [ 73, 65 ], [ 81, 30 ], [ 89, 1 ], [ 97, 31 ], 
-      [ 105, 100 ], [ 113, 108 ], [ 114, 115 ] ], 
-  [ [ 1, 57 ], [ 5, 38 ], [ 10, 63 ], [ 12, 4 ], [ 23, 16 ], [ 33, 26 ], 
-      [ 43, 36 ], [ 51, 84 ], [ 52, 6 ], [ 53, 37 ], [ 71, 101 ], [ 73, 66 ], 
-      [ 81, 74 ], [ 89, 41 ], [ 97, 1 ], [ 105, 42 ], [ 112, 11 ], 
-      [ 113, 109 ], [ 114, 116 ] ], 
-  [ [ 1, 58 ], [ 12, 6 ], [ 23, 18 ], [ 33, 28 ], [ 43, 38 ], [ 53, 48 ], 
-      [ 73, 59 ], [ 81, 76 ], [ 89, 84 ], [ 97, 92 ], [ 105, 63 ], 
-      [ 113, 1 ], [ 114, 64 ] ], 
-  [ [ 1, 59 ], [ 2, 55 ], [ 5, 67 ], [ 12, 7 ], [ 13, 6 ], [ 23, 19 ], 
-      [ 24, 18 ], [ 33, 29 ], [ 34, 28 ], [ 43, 39 ], [ 44, 38 ], [ 53, 49 ], 
-      [ 54, 48 ], [ 64, 58 ], [ 73, 68 ], [ 81, 69 ], [ 82, 76 ], [ 89, 85 ], 
-      [ 90, 84 ], [ 97, 93 ], [ 98, 92 ], [ 105, 101 ], [ 106, 63 ], 
-      [ 107, 2 ], [ 113, 73 ], [ 114, 1 ], [ 117, 5 ], [ 121, 64 ] ], 
-  [ [ 1, 60 ], [ 2, 64 ], [ 7, 76 ], [ 12, 8 ], [ 19, 6 ], [ 23, 1 ], 
-      [ 33, 30 ], [ 43, 40 ], [ 53, 50 ], [ 70, 84 ], [ 73, 69 ], [ 81, 77 ], 
-      [ 89, 78 ], [ 97, 94 ], [ 99, 120 ], [ 105, 102 ], [ 107, 13 ], 
-      [ 113, 110 ], [ 114, 82 ] ], 
-  [ [ 1, 61 ], [ 12, 9 ], [ 23, 20 ], [ 33, 1 ], [ 43, 41 ], [ 53, 51 ], 
-      [ 73, 70 ], [ 81, 78 ], [ 89, 86 ], [ 97, 87 ], [ 105, 103 ], 
-      [ 107, 90 ], [ 108, 89 ], [ 109, 83 ], [ 110, 85 ], [ 111, 84 ], 
-      [ 112, 88 ], [ 113, 111 ], [ 114, 118 ] ], 
-  [ [ 1, 62 ], [ 4, 48 ], [ 11, 92 ], [ 12, 10 ], [ 23, 21 ], [ 33, 31 ], 
-      [ 42, 6 ], [ 43, 1 ], [ 53, 52 ], [ 73, 71 ], [ 81, 79 ], [ 89, 87 ], 
-      [ 97, 95 ], [ 103, 84 ], [ 105, 96 ], [ 109, 5 ], [ 113, 112 ], 
-      [ 114, 119 ], [ 116, 54 ] ], 
-  [ [ 1, 63 ], [ 4, 57 ], [ 5, 6 ], [ 7, 101 ], [ 12, 11 ], [ 17, 18 ], 
-      [ 23, 22 ], [ 27, 28 ], [ 33, 32 ], [ 37, 38 ], [ 43, 42 ], [ 47, 48 ], 
-      [ 48, 58 ], [ 49, 7 ], [ 52, 92 ], [ 53, 1 ], [ 67, 59 ], [ 73, 72 ], 
-      [ 75, 76 ], [ 81, 80 ], [ 83, 84 ], [ 89, 88 ], [ 97, 96 ], 
-      [ 105, 104 ], [ 109, 4 ], [ 113, 105 ], [ 114, 120 ], [ 117, 64 ] ], 
-  [ [ 1, 64 ], [ 7, 6 ], [ 8, 60 ], [ 11, 120 ], [ 12, 13 ], [ 19, 18 ], 
-      [ 23, 24 ], [ 29, 28 ], [ 33, 34 ], [ 39, 38 ], [ 43, 44 ], [ 49, 48 ], 
-      [ 53, 54 ], [ 59, 58 ], [ 68, 59 ], [ 69, 76 ], [ 72, 11 ], [ 73, 1 ], 
-      [ 81, 82 ], [ 85, 84 ], [ 89, 90 ], [ 93, 92 ], [ 97, 98 ], 
-      [ 101, 63 ], [ 105, 106 ], [ 110, 8 ], [ 113, 114 ], [ 114, 121 ] ], 
-  [ [ 1, 65 ], [ 2, 29 ], [ 9, 69 ], [ 13, 3 ], [ 20, 7 ], [ 21, 93 ], 
-      [ 24, 15 ], [ 34, 25 ], [ 44, 26 ], [ 54, 46 ], [ 61, 76 ], [ 64, 56 ], 
-      [ 82, 30 ], [ 90, 1 ], [ 98, 31 ], [ 106, 100 ], [ 114, 108 ], 
-      [ 118, 8 ], [ 121, 115 ] ], 
-  [ [ 1, 66 ], [ 13, 4 ], [ 24, 16 ], [ 34, 26 ], [ 44, 36 ], [ 54, 37 ], 
-      [ 64, 57 ], [ 71, 93 ], [ 82, 74 ], [ 90, 41 ], [ 98, 1 ], [ 106, 42 ], 
-      [ 114, 109 ], [ 121, 116 ] ], 
-  [ [ 1, 67 ], [ 11, 59 ], [ 12, 49 ], [ 13, 5 ], [ 22, 55 ], [ 24, 17 ], 
-      [ 34, 27 ], [ 44, 37 ], [ 54, 47 ], [ 64, 48 ], [ 82, 75 ], [ 90, 83 ], 
-      [ 98, 52 ], [ 105, 7 ], [ 106, 1 ], [ 112, 93 ], [ 114, 53 ], 
-      [ 120, 6 ], [ 121, 117 ] ], 
-  [ [ 1, 68 ], [ 13, 7 ], [ 24, 19 ], [ 34, 29 ], [ 44, 39 ], [ 54, 49 ], 
-      [ 64, 59 ], [ 82, 69 ], [ 90, 85 ], [ 98, 93 ], [ 106, 101 ], 
-      [ 114, 73 ], [ 121, 1 ] ], 
-  [ [ 1, 69 ], [ 2, 7 ], [ 3, 65 ], [ 6, 76 ], [ 13, 8 ], [ 14, 19 ], 
-      [ 15, 29 ], [ 18, 6 ], [ 19, 68 ], [ 20, 85 ], [ 24, 1 ], [ 34, 30 ], 
-      [ 35, 39 ], [ 44, 40 ], [ 45, 49 ], [ 54, 50 ], [ 55, 59 ], [ 64, 60 ], 
-      [ 82, 77 ], [ 90, 78 ], [ 91, 93 ], [ 98, 94 ], [ 99, 101 ], 
-      [ 106, 102 ], [ 107, 73 ], [ 114, 110 ], [ 115, 3 ], [ 121, 82 ] ], 
-  [ [ 1, 70 ], [ 3, 19 ], [ 8, 85 ], [ 13, 9 ], [ 24, 20 ], [ 30, 7 ], 
-      [ 34, 1 ], [ 44, 41 ], [ 54, 51 ], [ 64, 61 ], [ 79, 93 ], [ 82, 78 ], 
-      [ 90, 86 ], [ 98, 87 ], [ 106, 103 ], [ 108, 23 ], [ 114, 111 ], 
-      [ 115, 2 ], [ 121, 118 ] ], 
-  [ [ 1, 71 ], [ 13, 10 ], [ 24, 21 ], [ 34, 31 ], [ 44, 1 ], [ 54, 52 ], 
-      [ 64, 62 ], [ 82, 79 ], [ 90, 87 ], [ 98, 95 ], [ 106, 96 ], 
-      [ 114, 112 ], [ 115, 91 ], [ 116, 98 ], [ 117, 97 ], [ 118, 94 ], 
-      [ 119, 93 ], [ 120, 92 ], [ 121, 119 ] ], 
-  [ [ 1, 72 ], [ 5, 73 ], [ 6, 101 ], [ 13, 11 ], [ 24, 22 ], [ 34, 32 ], 
-      [ 44, 42 ], [ 48, 7 ], [ 54, 1 ], [ 62, 93 ], [ 64, 63 ], [ 75, 110 ], 
-      [ 82, 80 ], [ 90, 88 ], [ 98, 96 ], [ 106, 104 ], [ 114, 105 ], 
-      [ 117, 12 ], [ 121, 120 ] ], 
-  [ [ 1, 73 ], [ 6, 7 ], [ 8, 110 ], [ 11, 72 ], [ 13, 12 ], [ 18, 19 ], 
-      [ 24, 23 ], [ 28, 29 ], [ 34, 33 ], [ 38, 39 ], [ 44, 43 ], [ 48, 49 ], 
-      [ 54, 53 ], [ 58, 59 ], [ 59, 68 ], [ 60, 8 ], [ 63, 101 ], [ 64, 1 ], 
-      [ 76, 69 ], [ 82, 81 ], [ 84, 85 ], [ 90, 89 ], [ 92, 93 ], [ 98, 97 ], 
-      [ 106, 105 ], [ 114, 113 ], [ 120, 11 ], [ 121, 114 ] ], 
-  [ [ 1, 74 ], [ 2, 4 ], [ 3, 40 ], [ 10, 78 ], [ 14, 16 ], [ 15, 26 ], 
-      [ 19, 66 ], [ 20, 41 ], [ 21, 9 ], [ 24, 116 ], [ 27, 50 ], [ 31, 8 ], 
-      [ 35, 36 ], [ 45, 37 ], [ 55, 57 ], [ 71, 85 ], [ 91, 1 ], [ 99, 42 ], 
-      [ 107, 109 ] ], 
-  [ [ 1, 75 ], [ 2, 5 ], [ 14, 17 ], [ 15, 27 ], [ 16, 46 ], [ 17, 50 ], 
-      [ 18, 54 ], [ 19, 67 ], [ 20, 83 ], [ 21, 51 ], [ 22, 45 ], [ 23, 49 ], 
-      [ 24, 117 ], [ 35, 37 ], [ 45, 47 ], [ 55, 48 ], [ 91, 52 ], [ 99, 1 ], 
-      [ 107, 53 ] ], 
-  [ [ 1, 76 ], [ 2, 6 ], [ 12, 69 ], [ 13, 60 ], [ 14, 18 ], [ 15, 28 ], 
-      [ 19, 59 ], [ 20, 84 ], [ 23, 7 ], [ 24, 64 ], [ 33, 65 ], [ 35, 38 ], 
-      [ 45, 48 ], [ 55, 58 ], [ 91, 92 ], [ 99, 63 ], [ 107, 1 ], [ 114, 8 ], 
-      [ 117, 50 ] ], 
-  [ [ 1, 77 ], [ 2, 8 ], [ 14, 1 ], [ 15, 30 ], [ 19, 69 ], [ 20, 78 ], 
-      [ 24, 82 ], [ 35, 40 ], [ 45, 50 ], [ 55, 60 ], [ 91, 94 ], 
-      [ 99, 102 ], [ 107, 110 ] ], 
-  [ [ 1, 78 ], [ 2, 9 ], [ 3, 8 ], [ 4, 74 ], [ 7, 85 ], [ 14, 20 ], 
-      [ 15, 1 ], [ 16, 4 ], [ 19, 70 ], [ 20, 86 ], [ 24, 118 ], [ 25, 30 ], 
-      [ 26, 40 ], [ 29, 7 ], [ 30, 77 ], [ 31, 94 ], [ 35, 41 ], [ 45, 51 ], 
-      [ 46, 50 ], [ 55, 61 ], [ 56, 60 ], [ 65, 69 ], [ 91, 87 ], 
-      [ 99, 103 ], [ 100, 102 ], [ 107, 111 ], [ 108, 110 ], [ 115, 82 ] ], 
-  [ [ 1, 79 ], [ 2, 10 ], [ 4, 30 ], [ 9, 94 ], [ 14, 21 ], [ 15, 31 ], 
-      [ 16, 3 ], [ 19, 71 ], [ 20, 87 ], [ 24, 119 ], [ 35, 1 ], [ 41, 8 ], 
-      [ 45, 52 ], [ 55, 62 ], [ 83, 50 ], [ 91, 95 ], [ 99, 96 ], 
-      [ 107, 112 ], [ 116, 34 ] ], 
-  [ [ 1, 80 ], [ 2, 11 ], [ 14, 22 ], [ 15, 32 ], [ 19, 72 ], [ 20, 88 ], 
-      [ 24, 120 ], [ 35, 42 ], [ 45, 1 ], [ 55, 63 ], [ 75, 50 ], [ 91, 96 ], 
-      [ 99, 104 ], [ 107, 105 ] ], 
-  [ [ 1, 81 ], [ 2, 12 ], [ 6, 82 ], [ 7, 110 ], [ 14, 23 ], [ 15, 33 ], 
-      [ 18, 13 ], [ 19, 73 ], [ 20, 89 ], [ 24, 114 ], [ 35, 43 ], 
-      [ 45, 53 ], [ 55, 1 ], [ 59, 8 ], [ 67, 50 ], [ 84, 118 ], [ 91, 97 ], 
-      [ 99, 105 ], [ 107, 113 ] ], 
-  [ [ 1, 82 ], [ 2, 13 ], [ 7, 8 ], [ 9, 118 ], [ 12, 81 ], [ 14, 24 ], 
-      [ 15, 34 ], [ 19, 1 ], [ 20, 90 ], [ 23, 12 ], [ 24, 121 ], [ 29, 30 ], 
-      [ 35, 44 ], [ 39, 40 ], [ 45, 54 ], [ 49, 50 ], [ 55, 64 ], [ 59, 60 ], 
-      [ 68, 69 ], [ 69, 77 ], [ 70, 9 ], [ 73, 110 ], [ 85, 78 ], [ 91, 98 ], 
-      [ 93, 94 ], [ 99, 106 ], [ 101, 102 ], [ 107, 114 ] ], 
-  [ [ 1, 83 ], [ 3, 5 ], [ 10, 51 ], [ 11, 41 ], [ 15, 17 ], [ 22, 35 ], 
-      [ 25, 27 ], [ 26, 37 ], [ 30, 75 ], [ 31, 52 ], [ 32, 4 ], [ 46, 47 ], 
-      [ 56, 48 ], [ 65, 67 ], [ 92, 61 ], [ 96, 9 ], [ 100, 1 ], [ 108, 53 ], 
-      [ 115, 117 ] ], 
-  [ [ 1, 84 ], [ 3, 6 ], [ 15, 18 ], [ 25, 28 ], [ 26, 38 ], [ 27, 62 ], 
-      [ 28, 61 ], [ 29, 55 ], [ 30, 76 ], [ 31, 92 ], [ 32, 57 ], [ 33, 56 ], 
-      [ 34, 60 ], [ 46, 48 ], [ 56, 58 ], [ 65, 59 ], [ 100, 63 ], 
-      [ 108, 1 ], [ 115, 64 ] ], 
-  [ [ 1, 85 ], [ 2, 70 ], [ 3, 7 ], [ 13, 78 ], [ 15, 19 ], [ 18, 61 ], 
-      [ 24, 9 ], [ 25, 29 ], [ 26, 39 ], [ 30, 69 ], [ 31, 93 ], [ 34, 8 ], 
-      [ 44, 74 ], [ 46, 49 ], [ 56, 59 ], [ 65, 68 ], [ 100, 101 ], 
-      [ 108, 73 ], [ 115, 1 ] ], 
-  [ [ 1, 86 ], [ 3, 9 ], [ 15, 20 ], [ 25, 1 ], [ 26, 41 ], [ 30, 78 ], 
-      [ 31, 87 ], [ 46, 51 ], [ 56, 61 ], [ 65, 70 ], [ 100, 103 ], 
-      [ 108, 111 ], [ 115, 118 ] ], 
-  [ [ 1, 87 ], [ 3, 10 ], [ 4, 9 ], [ 8, 94 ], [ 11, 88 ], [ 15, 21 ], 
-      [ 16, 20 ], [ 25, 31 ], [ 26, 1 ], [ 30, 79 ], [ 31, 95 ], [ 32, 11 ], 
-      [ 36, 41 ], [ 37, 51 ], [ 40, 8 ], [ 41, 86 ], [ 42, 103 ], [ 46, 52 ], 
-      [ 56, 62 ], [ 57, 61 ], [ 65, 71 ], [ 66, 70 ], [ 74, 78 ], 
-      [ 100, 96 ], [ 108, 112 ], [ 109, 111 ], [ 115, 119 ], [ 116, 118 ] ], 
-  [ [ 1, 88 ], [ 3, 11 ], [ 4, 103 ], [ 5, 87 ], [ 15, 22 ], [ 25, 32 ], 
-      [ 26, 42 ], [ 27, 10 ], [ 30, 80 ], [ 31, 96 ], [ 37, 9 ], [ 38, 61 ], 
-      [ 46, 1 ], [ 56, 63 ], [ 65, 72 ], [ 75, 94 ], [ 100, 104 ], 
-      [ 108, 105 ], [ 115, 120 ] ], 
-  [ [ 1, 89 ], [ 3, 12 ], [ 15, 23 ], [ 25, 33 ], [ 26, 43 ], [ 30, 81 ], 
-      [ 31, 97 ], [ 46, 53 ], [ 56, 1 ], [ 65, 73 ], [ 84, 61 ], 
-      [ 100, 105 ], [ 108, 113 ], [ 115, 114 ] ], 
-  [ [ 1, 90 ], [ 3, 13 ], [ 7, 20 ], [ 8, 118 ], [ 15, 24 ], [ 25, 34 ], 
-      [ 26, 44 ], [ 29, 2 ], [ 30, 82 ], [ 31, 98 ], [ 46, 54 ], [ 56, 64 ], 
-      [ 65, 1 ], [ 69, 9 ], [ 76, 61 ], [ 93, 21 ], [ 100, 106 ], 
-      [ 108, 114 ], [ 115, 121 ] ], 
-  [ [ 1, 91 ], [ 4, 2 ], [ 8, 31 ], [ 9, 21 ], [ 16, 14 ], [ 26, 15 ], 
-      [ 36, 35 ], [ 37, 45 ], [ 40, 3 ], [ 41, 20 ], [ 42, 99 ], [ 50, 27 ], 
-      [ 57, 55 ], [ 66, 19 ], [ 74, 1 ], [ 78, 10 ], [ 85, 71 ], 
-      [ 109, 107 ], [ 116, 24 ] ], 
-  [ [ 1, 92 ], [ 4, 6 ], [ 5, 62 ], [ 12, 96 ], [ 16, 18 ], [ 26, 28 ], 
-      [ 33, 100 ], [ 36, 38 ], [ 37, 48 ], [ 41, 84 ], [ 42, 63 ], 
-      [ 43, 11 ], [ 49, 71 ], [ 53, 10 ], [ 57, 58 ], [ 66, 59 ], [ 74, 76 ], 
-      [ 109, 1 ], [ 116, 64 ] ], 
-  [ [ 1, 93 ], [ 4, 7 ], [ 16, 19 ], [ 26, 29 ], [ 35, 70 ], [ 36, 39 ], 
-      [ 37, 49 ], [ 38, 67 ], [ 39, 71 ], [ 40, 65 ], [ 41, 85 ], 
-      [ 42, 101 ], [ 43, 72 ], [ 44, 66 ], [ 57, 59 ], [ 66, 68 ], 
-      [ 74, 69 ], [ 109, 73 ], [ 116, 1 ] ], 
-  [ [ 1, 94 ], [ 2, 87 ], [ 3, 79 ], [ 4, 8 ], [ 15, 10 ], [ 16, 1 ], 
-      [ 26, 30 ], [ 29, 71 ], [ 35, 9 ], [ 36, 40 ], [ 37, 50 ], [ 41, 78 ], 
-      [ 42, 102 ], [ 57, 60 ], [ 66, 69 ], [ 74, 77 ], [ 99, 88 ], 
-      [ 109, 110 ], [ 116, 82 ] ], 
-  [ [ 1, 95 ], [ 4, 10 ], [ 16, 21 ], [ 26, 31 ], [ 36, 1 ], [ 37, 52 ], 
-      [ 41, 87 ], [ 42, 96 ], [ 57, 62 ], [ 66, 71 ], [ 74, 79 ], 
-      [ 109, 112 ], [ 116, 119 ] ], 
-  [ [ 1, 96 ], [ 3, 100 ], [ 4, 11 ], [ 5, 10 ], [ 6, 92 ], [ 16, 22 ], 
-      [ 17, 21 ], [ 26, 32 ], [ 27, 31 ], [ 36, 42 ], [ 37, 1 ], [ 38, 6 ], 
-      [ 41, 88 ], [ 42, 104 ], [ 46, 3 ], [ 47, 52 ], [ 48, 62 ], [ 52, 95 ], 
-      [ 53, 112 ], [ 57, 63 ], [ 66, 72 ], [ 67, 71 ], [ 74, 80 ], 
-      [ 75, 79 ], [ 83, 87 ], [ 109, 105 ], [ 116, 120 ], [ 117, 119 ] ], 
-  [ [ 1, 97 ], [ 4, 12 ], [ 6, 52 ], [ 11, 112 ], [ 16, 23 ], [ 26, 33 ], 
-      [ 36, 43 ], [ 37, 53 ], [ 38, 5 ], [ 41, 89 ], [ 42, 105 ], [ 57, 1 ], 
-      [ 63, 10 ], [ 66, 73 ], [ 74, 81 ], [ 84, 51 ], [ 101, 71 ], 
-      [ 109, 113 ], [ 116, 114 ] ], 
-  [ [ 1, 98 ], [ 4, 13 ], [ 16, 24 ], [ 26, 34 ], [ 36, 44 ], [ 37, 54 ], 
-      [ 41, 90 ], [ 42, 106 ], [ 57, 64 ], [ 66, 1 ], [ 74, 82 ], [ 93, 71 ], 
-      [ 109, 114 ], [ 116, 121 ] ], 
-  [ [ 1, 99 ], [ 5, 2 ], [ 17, 14 ], [ 27, 15 ], [ 37, 35 ], [ 45, 22 ], 
-      [ 46, 16 ], [ 47, 45 ], [ 48, 55 ], [ 49, 23 ], [ 50, 17 ], [ 51, 21 ], 
-      [ 52, 91 ], [ 53, 107 ], [ 54, 18 ], [ 67, 19 ], [ 75, 1 ], [ 83, 20 ], 
-      [ 117, 24 ] ], 
-  [ [ 1, 100 ], [ 4, 32 ], [ 5, 3 ], [ 9, 96 ], [ 17, 15 ], [ 27, 25 ], 
-      [ 35, 22 ], [ 37, 26 ], [ 41, 11 ], [ 47, 46 ], [ 48, 56 ], [ 51, 10 ], 
-      [ 52, 31 ], [ 53, 108 ], [ 61, 92 ], [ 67, 65 ], [ 75, 30 ], [ 83, 1 ], 
-      [ 117, 115 ] ], 
-  [ [ 1, 101 ], [ 5, 7 ], [ 12, 72 ], [ 13, 63 ], [ 17, 19 ], [ 27, 29 ], 
-      [ 37, 39 ], [ 44, 57 ], [ 47, 49 ], [ 48, 59 ], [ 52, 93 ], [ 53, 73 ], 
-      [ 54, 6 ], [ 67, 68 ], [ 75, 69 ], [ 83, 85 ], [ 107, 22 ], 
-      [ 114, 11 ], [ 117, 1 ] ], 
-  [ [ 1, 102 ], [ 5, 8 ], [ 17, 1 ], [ 27, 30 ], [ 37, 40 ], [ 47, 50 ], 
-      [ 48, 60 ], [ 52, 94 ], [ 53, 110 ], [ 67, 69 ], [ 75, 77 ], 
-      [ 83, 78 ], [ 99, 22 ], [ 117, 82 ] ], 
-  [ [ 1, 103 ], [ 3, 42 ], [ 5, 9 ], [ 10, 88 ], [ 17, 20 ], [ 27, 1 ], 
-      [ 31, 11 ], [ 37, 41 ], [ 46, 4 ], [ 47, 51 ], [ 48, 61 ], [ 52, 87 ], 
-      [ 53, 111 ], [ 67, 70 ], [ 75, 78 ], [ 83, 86 ], [ 91, 22 ], 
-      [ 108, 43 ], [ 117, 118 ] ], 
-  [ [ 1, 104 ], [ 5, 11 ], [ 17, 22 ], [ 27, 32 ], [ 37, 42 ], [ 47, 1 ], 
-      [ 48, 63 ], [ 52, 96 ], [ 53, 105 ], [ 67, 72 ], [ 75, 80 ], 
-      [ 83, 88 ], [ 117, 120 ] ], 
-  [ [ 1, 105 ], [ 5, 12 ], [ 6, 11 ], [ 10, 112 ], [ 13, 106 ], [ 17, 23 ], 
-      [ 18, 22 ], [ 27, 33 ], [ 28, 32 ], [ 37, 43 ], [ 38, 42 ], [ 47, 53 ], 
-      [ 48, 1 ], [ 52, 97 ], [ 53, 113 ], [ 54, 13 ], [ 58, 63 ], [ 59, 72 ], 
-      [ 62, 10 ], [ 63, 104 ], [ 64, 120 ], [ 67, 73 ], [ 75, 81 ], 
-      [ 76, 80 ], [ 83, 89 ], [ 84, 88 ], [ 92, 96 ], [ 117, 114 ] ], 
-  [ [ 1, 106 ], [ 5, 13 ], [ 6, 120 ], [ 7, 105 ], [ 17, 24 ], [ 27, 34 ], 
-      [ 37, 44 ], [ 47, 54 ], [ 48, 64 ], [ 49, 12 ], [ 52, 98 ], 
-      [ 53, 114 ], [ 55, 22 ], [ 59, 11 ], [ 67, 1 ], [ 75, 82 ], [ 83, 90 ], 
-      [ 93, 112 ], [ 117, 121 ] ], 
-  [ [ 1, 107 ], [ 6, 2 ], [ 7, 23 ], [ 8, 114 ], [ 18, 14 ], [ 28, 15 ], 
-      [ 38, 35 ], [ 48, 45 ], [ 50, 117 ], [ 58, 55 ], [ 59, 19 ], 
-      [ 60, 13 ], [ 63, 99 ], [ 64, 24 ], [ 65, 33 ], [ 69, 12 ], [ 76, 1 ], 
-      [ 84, 20 ], [ 92, 91 ] ], 
-  [ [ 1, 108 ], [ 6, 3 ], [ 18, 15 ], [ 28, 25 ], [ 38, 26 ], [ 48, 46 ], 
-      [ 55, 29 ], [ 56, 33 ], [ 57, 32 ], [ 58, 56 ], [ 59, 65 ], [ 60, 34 ], 
-      [ 61, 28 ], [ 62, 27 ], [ 63, 100 ], [ 64, 115 ], [ 76, 30 ], 
-      [ 84, 1 ], [ 92, 31 ] ], 
-  [ [ 1, 109 ], [ 6, 4 ], [ 10, 53 ], [ 11, 43 ], [ 18, 16 ], [ 28, 26 ], 
-      [ 38, 36 ], [ 48, 37 ], [ 58, 57 ], [ 59, 66 ], [ 62, 5 ], [ 63, 42 ], 
-      [ 64, 116 ], [ 71, 49 ], [ 76, 74 ], [ 84, 41 ], [ 92, 1 ], [ 96, 12 ], 
-      [ 100, 33 ] ], 
-  [ [ 1, 110 ], [ 2, 73 ], [ 6, 8 ], [ 13, 81 ], [ 18, 1 ], [ 24, 12 ], 
-      [ 28, 30 ], [ 38, 40 ], [ 48, 50 ], [ 55, 7 ], [ 58, 60 ], [ 59, 69 ], 
-      [ 63, 102 ], [ 64, 82 ], [ 76, 77 ], [ 84, 78 ], [ 92, 94 ], 
-      [ 99, 72 ], [ 115, 33 ] ], 
-  [ [ 1, 111 ], [ 6, 9 ], [ 18, 20 ], [ 28, 1 ], [ 38, 41 ], [ 48, 51 ], 
-      [ 58, 61 ], [ 59, 70 ], [ 63, 103 ], [ 64, 118 ], [ 76, 78 ], 
-      [ 84, 86 ], [ 92, 87 ], [ 108, 33 ] ], 
-  [ [ 1, 112 ], [ 4, 105 ], [ 5, 97 ], [ 6, 10 ], [ 18, 21 ], [ 28, 31 ], 
-      [ 37, 12 ], [ 38, 1 ], [ 46, 33 ], [ 48, 52 ], [ 57, 11 ], [ 58, 62 ], 
-      [ 59, 71 ], [ 63, 96 ], [ 64, 119 ], [ 76, 79 ], [ 84, 87 ], 
-      [ 92, 95 ], [ 116, 106 ] ], 
-  [ [ 1, 113 ], [ 6, 12 ], [ 18, 23 ], [ 28, 33 ], [ 38, 43 ], [ 48, 53 ], 
-      [ 58, 1 ], [ 59, 73 ], [ 63, 105 ], [ 64, 114 ], [ 76, 81 ], 
-      [ 84, 89 ], [ 92, 97 ] ], 
-  [ [ 1, 114 ], [ 2, 107 ], [ 5, 117 ], [ 6, 13 ], [ 7, 12 ], [ 18, 24 ], 
-      [ 19, 23 ], [ 28, 34 ], [ 29, 33 ], [ 38, 44 ], [ 39, 43 ], [ 48, 54 ], 
-      [ 49, 53 ], [ 55, 2 ], [ 58, 64 ], [ 59, 1 ], [ 63, 106 ], [ 64, 121 ], 
-      [ 67, 5 ], [ 68, 73 ], [ 69, 81 ], [ 73, 113 ], [ 76, 82 ], [ 84, 90 ], 
-      [ 85, 89 ], [ 92, 98 ], [ 93, 97 ], [ 101, 105 ] ], 
-  [ [ 1, 115 ], [ 7, 3 ], [ 8, 34 ], [ 9, 24 ], [ 19, 15 ], [ 29, 25 ], 
-      [ 39, 26 ], [ 49, 46 ], [ 59, 56 ], [ 61, 18 ], [ 68, 65 ], [ 69, 30 ], 
-      [ 70, 2 ], [ 73, 108 ], [ 74, 44 ], [ 78, 13 ], [ 85, 1 ], [ 93, 31 ], 
-      [ 101, 100 ] ], 
-  [ [ 1, 116 ], [ 7, 4 ], [ 19, 16 ], [ 29, 26 ], [ 39, 36 ], [ 49, 37 ], 
-      [ 59, 57 ], [ 65, 40 ], [ 66, 44 ], [ 67, 38 ], [ 68, 66 ], [ 69, 74 ], 
-      [ 70, 35 ], [ 71, 39 ], [ 72, 43 ], [ 73, 109 ], [ 85, 41 ], [ 93, 1 ], 
-      [ 101, 42 ] ], 
-  [ [ 1, 117 ], [ 6, 54 ], [ 7, 5 ], [ 11, 114 ], [ 19, 17 ], [ 22, 107 ], 
-      [ 29, 27 ], [ 39, 37 ], [ 49, 47 ], [ 57, 44 ], [ 59, 48 ], [ 63, 13 ], 
-      [ 68, 67 ], [ 69, 75 ], [ 72, 12 ], [ 73, 53 ], [ 85, 83 ], [ 93, 52 ], 
-      [ 101, 1 ] ], 
-  [ [ 1, 118 ], [ 2, 90 ], [ 3, 82 ], [ 7, 9 ], [ 15, 13 ], [ 16, 44 ], 
-      [ 19, 20 ], [ 29, 1 ], [ 39, 41 ], [ 49, 51 ], [ 59, 61 ], [ 65, 8 ], 
-      [ 68, 70 ], [ 69, 78 ], [ 73, 111 ], [ 85, 86 ], [ 93, 87 ], 
-      [ 101, 103 ], [ 108, 81 ] ], 
-  [ [ 1, 119 ], [ 7, 10 ], [ 19, 21 ], [ 29, 31 ], [ 39, 1 ], [ 49, 52 ], 
-      [ 59, 62 ], [ 68, 71 ], [ 69, 79 ], [ 73, 112 ], [ 85, 87 ], 
-      [ 93, 95 ], [ 101, 96 ], [ 116, 44 ] ], 
-  [ [ 1, 120 ], [ 5, 64 ], [ 7, 11 ], [ 12, 106 ], [ 19, 22 ], [ 29, 32 ], 
-      [ 39, 42 ], [ 49, 1 ], [ 53, 13 ], [ 59, 63 ], [ 67, 6 ], [ 68, 72 ], 
-      [ 69, 80 ], [ 73, 105 ], [ 75, 60 ], [ 85, 88 ], [ 93, 96 ], 
-      [ 101, 104 ], [ 109, 44 ] ], 
-  [ [ 1, 121 ], [ 7, 13 ], [ 19, 24 ], [ 29, 34 ], [ 39, 44 ], [ 49, 54 ], 
-      [ 59, 64 ], [ 68, 1 ], [ 69, 82 ], [ 73, 114 ], [ 85, 90 ], [ 93, 98 ], 
-      [ 101, 106 ] ] ]
\ No newline at end of file
diff --git a/delta.SL(3,Z) b/delta.SL(3,Z)
deleted file mode 100644
index 5aa6dbe..0000000
--- a/delta.SL(3,Z)
+++ /dev/null
@@ -1,5 +0,0 @@
-[ 12, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, -1, 0, 0, 0, 0, 0, 0, 0, 0, 
-  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
-  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
-  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 
-  0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 ]
\ No newline at end of file
diff --git a/delta_sq.SL(3,Z) b/delta_sq.SL(3,Z)
deleted file mode 100644
index 0d6e05e..0000000
--- a/delta_sq.SL(3,Z)
+++ /dev/null
@@ -1,6 +0,0 @@
-[ 156, -24, -24, -24, -24, -24, -24, -24, -24, -24, -24, -24, -24, 1, 2, 1, 
-  1, 1, 2, 2, 1, 1, 1, 2, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 
-  2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 2, 1, 1, 
-  1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 1, 1, 2, 1, 1, 1, 1, 
-  1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 
-  1, 1, 1, 1, 1 ]
\ No newline at end of file