From 3dade792bcd1bde6d91d3a93ac48ab4020c0ee8c Mon Sep 17 00:00:00 2001 From: Kamil Shakirov Date: Wed, 20 Nov 2019 10:12:53 +0600 Subject: [PATCH] Remove Vim swap files --- src/Core/.Context.idr.swp | Bin 90112 -> 0 bytes src/Core/.Normalise.idr.swp | Bin 53248 -> 0 bytes src/Idris/.Desugar.idr.swp | Bin 45056 -> 0 bytes 3 files changed, 0 insertions(+), 0 deletions(-) delete mode 100644 src/Core/.Context.idr.swp delete mode 100644 src/Core/.Normalise.idr.swp delete mode 100644 src/Idris/.Desugar.idr.swp diff --git a/src/Core/.Context.idr.swp b/src/Core/.Context.idr.swp deleted file mode 100644 index 88863e3f3f61602a2ecc2a07cda6e593d5027a3d..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 90112 zcmeI52bf$}dG{yuW|~b21h`flG;2$1nf8H<4AM%rWhC2ZWgA;=quJTrLAx{SnORAT zZE6UCPz(V=htMH(0>KH*gqA>n&|64>5C{$g2*rf*{r>MM_uM;oSF^Gq$@6IJzjo%{ zQ{PkHa^ACd!@1jcW)B?SP~&s^TJ7iG|I9^qxb0JK^rf}6T5IY+yQAla_$)Q1r{`LS z2*m40TY@L-N8S9r2qRV|2Mq9qyN3f|J~?cg!f1L z=MDe&Ii>f_*zm%r^5pMd9rKLkB+Hn=f( zKaA%~ze*L+ydMjTt}Py z6Hwc{Q|*&~GJSULo0w}X_FLJ;tlsME=g&6&-QDWVXZsty{#dsDl-g8d(8yx2-AfCt z?7(cR*QzZn?wxBlv(~|dZf`(a7Cu{vwY4?vp6=YIpUPyg)a-Wnf}uu#&|7Q{x;h{_tzA z+vLZo6MR((e6d8EZl~63HM_m3v^dMvzCYVNkZokzEevM)ciNKjkK1WH-o=QgcjsDUykLR#!;)`LXA9ZD<+i6izc6>vnyfWPZ&{NU zd&^>bZa})18-=gTF0mvYyw^WI(54i6HJg;!HHPYPiV|A(vnGkt>{DSE-l$nW6?>od zOou*}H3G#RJnbH;-dW6gDM_Y5DrD)B*miKx>bVruJzU8#AL3zSZiO_gFO`bFCYxUz zED}xGZcK8VSM#{fnzVoQ(?Hhqtz-&G+wWeY^ChVaT+`>Ru8Qz}q0wv17m`{Kp=zOu zyOqoU3h{WVpUwBJ2xIa6R{!4WuHkj4Y>BDQCP%_XZ${Z=Yfete+SCwp6h3>W+UF8_ z0O6X0tT&*M|T!)9p@cYE5m@4I|pmCYf}034?1R!_3Vr>(^(Co%VFQ zF=$iI{-80?fX*_WZ>9m=Sme*%ZqI^@XS-)x^kMg)+hf4Zw&we-x&5s^g=~=oJ!mSU zL-WFt3d7biRl+lK-MzH4%^`!&d2UI$cc$8%nT$@DH9DCFOuN}0@M>=y@0O%W zs879V(@mq@8N_*SduL!1VyK}DS@|zzInc^xG;dI3%A3)1HQD7KP3n6!>DbI?2@~tg z#reIhUe=u^5(V!2>ShFP_qv_=R%c+7j3wn}A*OE2h=lTa)s_ckMw)3=9QCquXqlx+ zwMka*w_41hz1DdCP@TY{(&d)t@o13EHx?+r zr4T2*joGgD%mkz!*ordWIOrz9yzX`DWojcg`Bzc8MEJUz(UWjXw>uYTxV1~MAYb3L z`{<3XN*6y+uRh=HtD{iM+1A`bHr4Jg(0Lt+Y;vXnI*aoxRq83MVxb&)Tk@_kXKmSU zc3A-%gG}XCZ5O%_u$JUnu4H-j)yf!K*T<_f!P%VZSLn(xQ?0>5H+JTvoV=iOwmT{g zv%#V|Sw1t8Mct;d>d5v=3Ah+GscAFOP(y|hQ+LZsq>k0s=C?xz)qJ8(EHb2Xv?UQ% zxQ%{|bM(JbeeCRBd;Zjpt#3>ET_UR^T;)UeD*j8}t?`*`&BVrq9!)j9ZmzwzxvoE$ z;_vwEnswQlev^r+wb6GBo{W!=Tk&EV`eIwB$pLB1s5~UwUtG}kj0u9?F{kH@)cp{j z3A4Y>Qb<-(C{;zpe4!i;FjQ$z%d>iPy+&^-n_lcRZF-*46yMfY%U0zL9}3F5sjT0A zR4Z%FHaasl=xstH6^jl5n)|3gEkp``iLA*lnZ3rdb2KGtBK8E!78ZN-tyX^>Q?q-c zfwoL?-Clc!Z09Hnd6E)~mUadGtiI#)$rE>-J~`&L7s^))free7T=eFAPOtCpXU89( z)$_eI#n^3|?EK5vSb4zF!F#RNuHAIFiAKM*n;*82R)?DyA)GD4D-2&pQPFd0p{@Qx z>p{bIhmOX=#B5&>SKKqZgKVia(2h)d1kVdFWLM$?evi> z0?t#5^&p#E>a%XgpW5||Gl}eMEQApD$PJ_NQ_XtiXWP%(-0L-#Vv6Ss+H?JJHv4q{ z_|S7pwg~Rt9ddFMcT3}03yzw;m}vy%S{3E=Mt`>IIXx{rPLomQ;dz?#M0b9nJ=fZH zaG_WE+V{R%ZN59TNH?%bux!iLz9#?|umM~L z@BV%83GhzvY%l{J2F?I?2fu=s|1@|rI0)8*Pr=W>5xfDs3Ooj!1Ga%N@H1bQpQ=1Z zK1V2UgaSt>aD)O!C~$-VM<{TF0!JutgaS7Z1w0EO4a&^!_I&F+sS4`u2Mkv~>no;)P%y48&7rZarR&&sja~z!b=GRdVj4e8CQL=v(RYnL$)c2b-g}- z0@~vfQNUl!xJi|Ew5JEzaY!i!RCPy(uP#-Ws3qhQ zm9TwWYJgfHkp?p0-r$l!cYxI5I0=5vYpsP+9av{#w@nPVcPZOYj5Y^Xt#oM@Urq`e zgIHq?l`gCAYb}}39}R|+P^zrz06V%f_I6#Sau2^lI^bGzouqaW@|qaaTCzUoREUwj z>NcB@yg*{UTA|{*JqOn&I+@E^@Zf zQ;&0HC#q9TWZ{GG8WBUkb%`}vB*dU=;y85-8x05~`eTkLMp^y#!@zoLEs$}S=^U+y zAq)E(=u`|xe_vJ4M-tXT1d|9~>2+?n)V;Rzac;JM%&@L=$LboH+Te*`WBd%(%ye&8P9cfj4jG2qAO@&66H z6}$z!4m=zD5$J&jfM21{{}A{f_!Dpym<7AR8DInWIrMxt&^d!Y2h#Dk!6iVnJ_h^* zo&FoZE5UO?IP>6!Qr^qdee75GJJk2+^AaXy2WtxJK6+r1zDBm`lq{cg8LEvb1<5mT zv$^ZWB(>tps(e-*Vfli&daQC#DF4zY41rB?Fc{IU%#M{5d#m;R7^PwevG_^G4w1q) z#djk2YQi<=(B5m^s>O8q5=MP|JKBI}36PtNfm53~SsfzRgG~$rOsXr{wJ%xOcq3%L z=c4TX_kG|=8GqCNQF>xbVgI`6EQHVhCP7?4pMZP5=b~B+YSU323lYtRGmUu*xMpXg z-C1L~LNtkS`#u?#DT`|qRB(Ep+QY~e8m1P$Kq@1j5-;olSXeX-<`W)C%{SJcVxsQW zSsf(bo3h=##a5i=jQmzeO4P6AKTS;Ck2{h=R^E6af&0l9L!>_ui6ee!Y!Eh6Rwe zXlPpdZHf7%(l9+q!^zxDX`{TQij3)8ob6210j5fKDfN+m&t9(B>{@V(s`rx@8n zuYoE^qW{5cW3X0Bkg`^)POWLO^^Ex?)5j_<(RZH}x80o0IxQ)>yV+ipL{4OFKYNR) z>$Ur0^+ySgo1`o4A$mxdBv7=qdJ8@Dic=XI7?H&WOMju&#HOH09#iPo zTb&lh1E@iIt;-hMapAPWO%y{+@tO)^Ot8+ESo-W~DQ?iC%%jeteWiaI%r1&Jl(IRK zM+yb4Pn@>Sw_i>PsbeT8o4Ur-sWkoW-4koA{nk;DNZC9*x?1!vi=9qO&5F*3E?qZ; zH9G4?(w|7zs_kt74z$+pPup0pokoJ(Y0Q>7NB>0om(7`~`p8ALUo=Z&f44nFmu%Q> zv)@HqB>MttNg~@#`9d1LHR4V%(OKrDzc|m+=^Turq^CCOQhGBwLz&li`Ztw?d}2XE zCQ0J!Ock{*)sYtRQ*W3i8Fk!Qx*Xj-Cg;l#bI=lIUDoaJ3c0YeRl04ZWlNo@sCgoi zRW!D`?n8l8lArSP1L8?UD)^{FTdsmhLq(&R(z~~ZkC~hw48Lp?z|(F=*N!L zCGAwJJ(N0Oj4dvp1!wdx$a=+I+h7V2(s3HgL5?c$X85nu8CB)-nhKCGd??jh1RF=J#*JF~cNYQ1x3k?`RO3f&Z#b8yz9l49e*YHJ2kBWHEM#)SHe2m!M zHigVEzvu)zA*_@y#tu9v0b?erY8diyfLa88{%9EKMO&_~?<>DGUoF^}k@rs5SJGQtdk5)so(3s}l*b{6ra7T(`( zP%Rc+m`k%m%^+xl;0xItO9AT_Y3JPyE(rTB*&;F2ut$**5&_(l!Q`ZFfi;%vlD=jX zm-PsHBxqlpR#iLM=4iRFjQUz1)8B&fL&Gfp93we*ZSk0eK8D>nYHn7Fq+KLpYY$LOd#17N?U*0;ltSef% zaq4ceOa_(m?XV{94u(AZ9&{%)JLGL@eLifVH)dyfExBScF-)B~8CR5K8b+?L-giJ3 zEMF#==(JPlxQWB;HvGuVlX9HC(y*#)b#Z$%Z+=GK*A`Rzdy0%6!-rHiF**|9NBb1>XYi1o9@qy?0e1%0ru<#;!xXRsyBt_oSxaSYtfuzWtP`dGYtz{`#QV6~Qr@(gW%oBV)RoMC22A{qg%$S`1H=A4lfWhiZnt!Uz8 z-6lu8?6!ljO3KmA3%vJ3vs!cj89ledxdJOpEhTpm=;FC0C5KN?H{g!~Ys0 zpgp$^L3^)NcR^cH(fN4mmmj*H1+DIREA>0$m8Xf!*_%8$>%VMqQi5dJZ=we~%5Jq` zreYOJ;FeU53F$q(cV}Y>2A&@U{Xw3@DqE+zA$%+4e*!u8TvQ(7c^Lm~&vw~Nwl4Bg zt5eyQw=(yyNtNoss<`VnUpB1srrx zXH&8I*epPjVLIV!Vf5bsEo6$=j#_3F4YSqe0pjFU4b6}bjIfOPmQb8kHbA6fPCFZ< zd9E?U5Ro;GE5a2>Jsjpx1dsU*&$)%fY`zFf#fV#ncHb%iRgs!m(fyNLgdK=%lSAaD z*<{(~$?dUBtm35y4J4;tBupSu4joBcCZj`bqCJ*zj}qG=7+{#f#ajPn9|y-esZ%dl zCadnGV%_|J$#!PN3feZ#f)jJGgQ!X@98yZ843dT}*|tgV79=+c$!yobK$T9yiO7K= z9MYLH2{Mgmw;~gl=jg#DV36EMiIkMQ#DLr1nbi|2j%BkhJCz)<0ld8QJ$+f3OG_>z zfhgY=*;iEmVh$0;dy=Xp?Ug{r;HrtnYH8rr_WFuJofi|0F9+ukiZiKRsTN&v-&vfc zT&Hp+cK;Uo6Wh&V_*IV9LzUZWs#y%iMkqSHGmzVlhP>eAVy9uRf1z{H@Fu5UJ2ag& ztRzgXN|#yal`&i2r{)m;u|s z$>4XvPvG~z4n7Ay3;qy182m2y68!$B!5hJgz;nQrKsE$hz)4^O_!s#7=Yl!V0uKcz zf#bm)!FS;IzW_cDJ_-H|ya-4(@Mv%zI2RlRZU(*v?=Rm0?*cCalVBIPKNtr;K@RX` z@Ymq^pbyRk=YTW8UBQ1M2lz60CwL5aG&lgZfV+abfZKylAscutcny&6z7~+YU^CbV z{tKDFXTYby$G{(eQ^7XyOJo6`0#5^%fO~>((4OxEF96R6&jP1`TLHDTd<+yn``e~I z+}_#TVN1p=-9gH#2@%nJR=-fX@Kf|eI>zlCLbw293R{cM6&XXJPT!<%6^a}?C>0sn zbCq7(?@pZn*h$fm5G7ezVjb;~Osy-qf!{w%n7Pf=Nlw^jGE;w2$)_-!QXN^L%0H$v zfcvE|!BD0@xi~%DK6n;O9yCuEMh=p2B4HLk|9~FZ4Scw#{SI zB_n4AU6e+Kb#zRj(S{fWESOQxv;dxVT3Jo)n5TkY0g`X`@}e-}Oue(UHNAVui9R-Y zVTk?OqW)v@lLE7f9$CH~W>{8-;yVGd+pQy~NAViAi*?66ikDoMo@O4476LA@-AiXm zk`xM}ACyBm`rLeg6>>@?-t1BjkzIAg3mLi~E9B_vma}i=N>S;mS~02nom);x3%5d6 zLzN?KS|W_T*do={s>*T1+9{uyjb9KQ3y6=@CJsJv3bzIb4cxD3RB}_y9YI9L zKBsFxio0j4H9;Hmo)W&@iSC{zD{wH*8KOiZ_DCO_!C&B88iir+c}TI>fqI2%**?E+ z6)+N~MHuE2yqKcq?XwOcV9YCO)Tf76*VJz}T>ol>0T<$|wth?-lflfwb(DBc82_@d z^22tCPCJyFB_3;>ae=ectX$XuT1(U4iq@9w>2|x+(rv3Xf1D{~=oUhawC|%{tR=zk z0}O@q+)Th>3YUfG;v9+~rvyi5D4Xd6QYL%NbR!!da0)i3fy|WlqJD4AZZ)4SsdPh< zfa=jR&NF>{>7uLXYytFRZ9U|Hr%bd$BAO!}@tgALBSv%D(Mf7vp*@FA5Te{xSp z+q^`5H8w_2API+UxmF`sJC-lD^m_kQ+;tQ0(KX0qfnydy9Z z3Lj#{?LaYaM(eSfdz0fI1bzjd>(%NrC<*10T+NtFb1xJSN}Tr8z5hS7lU;` z=L_xzjt1X`XTKV}0z4U<1MUg_3BLW4;1l2@;00g`JPe!!egV(^VemvS0DUkAwt%~W zn*p`schr^@AN8T?UcmeiwM25Lm+q+)3;h+ls>0M2!b_GJzK^yt)s&)r+_v9!PkZ18 z5mQuD)epS(3hVCvZgWD!N+4}K>(#&w{v-iQr7(mBvppT~Iw$xjvr1SUlW40H#a9!N z$t5kI<)K2>tWfDcMRKN*lD%swxfQ3ZGUKuQ{InctC%m7P|DAM=rCW}uMT*AYMRLZ+ zzeZaA@1$QGprg?*1~1YtKK?b(Prjoj%ykqL>^J|n4eZIhc#ed9=jv$rQEgI%$q8dU zieyaEIxIp?&t;dQbJ~EGf1ChD7<&2BAquPiRpUXCGTn*h}BqSL03;X8zz3rLB?qc5-cDi0&V#H~a zmIU!SWy z{~zwB`#8M*bHG7x04#v5;ArqG`22qbZv~G6d%y)?5=i&|LwNhIf)9YFgGYelz|r82 z;Dhk^&jNo0X2HY2X0R6g0N(x@@B|>ggcpKyz!>;%c>8aGPkGZ91KIe?Z@?ddCxHin@4&~u7)VcF1Jcuf8+;4AAIPTvX+XUFM)2D}cjoC1 zfX9Ld0`cU~7csV!^+zosMUj0Qt{s8U)z6f9bY%m4x2W|>J4ZZ&syb3%M82!}{ zngQB<)^2lu$zHhQPO0V3Xlac{cOud>QQp+6Wb>5IC53NwS)#2&0>yD#E(y5ETQwEJ zlz!CBtWNq`j+m^gmEI2h48e8AYlQH7LU^5-TQ&7Kb}q}*!H8OsznwrF&$~`Bx;g&WM%QSZMi1HN2NqrS)s?Sk1^E^TEl5;a@X!X< zMT#s>f^s7u-RDdQ)v%1xYWQ9dM@e3MbQ**E?FP*@ z)N4bJrAqk#iTha9dzX3CY)n%?QEPnQaw)Qw0=7aMCkk?W5i`vcN>Ap>FUn7TrqrqjOp z@qDfN-u1wlWU2|DZoOHTbwr;T*iFf>8wF~~dq1}dIDMe{1zOyAjyhdo!->^=R3GBp zsx1%4X;U7o`smq4y)1tIXJk`MEs1%aIQ>$w%F+`vaLA)*ZpweHR?&d~Ac?Hp`<-BW zSSrUAblBgRe4~$X)g{+YwlUkr%}PqoBAXrTL@d~-Gdkp2$JiiY>@ zn@UeCIcLDSNogOh;93++wrn?)Af(jmRKik!EBE^(Mv%`s8C3FOq;|~n@v}lA;y;{O z!Q}2YG>Nq1D2ev-a%b*S)u9vVzMbYs5;;8LpeJ;P^nSyn5&wU8*v|LCgG&FuS3D@6 zufga49grO0L*PYV4x9%zfm?wu!Rx;YJP7<0zWyiRKfy=9>%oh`6TnWe1IXV0?%)^j z`QHPw^?x4t6L1x1f)l|pK=%NA7(5&71wVkV|6A~6@Hp`QfP4jh6#o9D;19qya4+yv z`1`MdXMo)x*zG@z@A4UVE&Trbz^lOH!2^K!|Ca;V=I;j&1$PHOhR6RG@KLY?b_3bt z|2usCOTnYS5|D2|+2j8%xEZ(>zW*BVexUmRH-ZO&`+%Rq|9>6m?EXu@Mc_hk4!9e* z3HW!~Lv8Y2wafA!-$gUqNpvKmE=vcsap+v)nc3>C{#38KaF+L1;}TN%!qXKyb~qu!~d36D|ox#Sgjs4SOB$-7SAsEZz++2QdQXl(jaM z)FUszXuZ}I6INyy`#AU(XQ--!E@t5BeS*OSH@K~DFu={7e3{e<$klatVB_3rdmoO( z(q2Gn#!kXIAr9oo6B0mDh}s<8S>(-?jcyiN#m%J#6pK_YmQyt2vte)X3)MQ9u{||4 zi}m`9Gd)Eo9t+w#F%I^#qP6h&r^%ONyScM(76$b-=X4~5(b@E2_Ewi_S~+53h$*GGvAt+n$Y;aX zhpeB3kL0#=N|>QkSHognmJkuP` z^yVGro(kVmjvj3lsg4_iDJpU>tDoJLpiiQ{e$(}9A5e#W?7Wn1QbY5~$}Hn5v$(1E zZ_Nzd`Z23^IQl>*QdiZ;^;XuL@Wvfqr)vT*CpM$&@74jXwiAru>X02QqONu3C`<9f zRe@dzVpl>+L^PP?GB|c6k<}APr#L;tAPpoKCb{5V)X;UTtJw<% zk|)Oo6$8qtG8{H5HEB`eTIyofF>~h)Gjak?r)A#JWP!UmC7B9O_Q1Jr&Aa18Yf>q` z6qD=S}-S1jR>#R5c1>SSb^DcUNyb6G~r(QJZ?mGBdbQL#ik z$X%RE3Oz1NAf@C+n?$T7^-oyGlBGI$Y-6Dg${);iI5(88t$W3#jDXk(IPHm18OL}9pDOBFlm z4Ka+UxX!PyJcO)NejHt|K{VnRf6GLQXww1E>68NE^cnx89<{exw+ z#^V2Bqif&v{QrXIH9r7>O7LRP2d9Atf_s8%DfD;1 zUjq36d z!N-vgd<=XLya4E~fl2TnaCdMwa5RwZz!!Bs%AgyVtE1L!P3dY=Eb{Qg(u1fKM`g5Lx80BXyBEyxYj>jvGh zz2E3PaMj(Opn(;DwgvuRb^frHuFc+4UVVoyDpsfNu?gYIdGr3jIHg~mHpv@33 z&-EbFh6xqy<>g#N%H=M8U9U)#;CW~n?P0l>KM0NmhRSR;v1KS66wm8pN7*!gAz8+B zCSx0+3)r<@>nt0JryxRJSis6a&V6+X&8d_)cxb}td{e__2Qjs2__W#ahw+C6$iYWy ziKDGp*g{A#vL~E0%6i5g=S;a^Wg~(cRvN7Iv9)YFr>}|u523%XbcnH)Q~vdX7(t>P z(s4F6r%g^?Y|0L<)&8*KoG0>BFSCXkkG484-;23 zXFPSwJAypPwIqJ=D}7!rZKXW+td#A|+1|>-aJ#vP+gm!l zbDdmDCd?(&lVlDwdPrT;gPu}x!w7iRSK|Ysi_LBwWZ2}1nbiah#@lAFhp28luJt(@o9-#-F>D^Z;)AjTox7+D6QVKSi~Rc8mp)fJLZSm5W*gMRPW; z)ziBNl!E9Ik@plWxObS*%dESzV*_Meiah#vC zO&t?$xE(@u1F)3mPVFW2&XaT5Io3K46GfiRAxxm?$}Kglr>Y=tuEg9V=aE-t-tyQL z+)IC*PY(t~&_ZJO)t4)R{P&8}fT>q^+WjHvC>!cQE0&MW;~hgfjSEFJ1)KQ)W8wL) z_Wb`Pp8x*>{QVojpMcAN?Ej_r{|Ws47r-;XUhoibTkuWzdinR4Z~rd1KM=3~DR}vh z0-f(a8%Vc*9sK)G!C!!L>>mKq|34jU26qPEhey8}JOw-%TnM&iN>+1gBVb99u<^o^xU7dS3e^?=c^-YaC|BlJObzm!j7)l-Io?5)Q zR4)<-CT2gV-Y{a`Iw4z3j(OrnN@;3mjkPUL`vZ3u3vqePt#ArysY+BXNkNkY5TLCX zk4c*#%m%h;3Za$L@P`Zv&f)y;nnG5U3wBgRvpbz~NkLL{2AJF4Gz&F9NO7F!>*Dim z&hy}=U~y&{7lUlf5(+XC<-c4;?6J@oaJ6c-Pb~JH4ddhc+y#67%>{Z|cv4pIXacO_ zqgUgtyTV;Jq+e^EqN*sl!R|kys&?&PbS{NPeaOkTbw#Nk221LTLlRUq*76^^g9(zf zw~KkEYL#W9);$63{)j|JvU~&+2br>NSGWXWKy~Q!Ixk|{9vPOa)`uv8v&pwnqT4HK zF;5LVM~67>rnH7Z9`g+EhaOoJZS|Ct(`l9EJ#MWjD>{6eWtJWTmn-(BP#SVmqb%e7 z*bF%vg(w5Lj^#9Vh99=avo*QUd9@NDSJEG)sQH7hw#AjWDP+Im!WNg&-97cvoWm+Bk`D0Koqqia}*gKPuy;s$AD@@QkW?Xt{Ha$4yeZ{XYr+JgqG zN~j)JIa+@hXc8QBjR3r);`y7j!ZD)t()^zTt;W8VP9fsmt2t&#dW|+tG3kbSOb(@_ zb)DF7S%&q_gC(bUj=4vvva8{+WY#9!(37H6R^2AHn2nQ1vawX9+njUrSFc!0s3F3; zpiPJH8d~8oQEWHKod#+A4vBlscAM_4~8Eb_dfOqtswt zlyZ-(LlCjP75xF@yq`@j?j^@LS2`arC!zml1@JE;F)gjSbpp+Qj+{dslBlIsle*YU zqkmkQ>f>hzhSv=nJ)qRCcKK+tZ*j;aBhHVfWcV&Wm?(gKd|8(rNuIW`!pjC!KdKsX zZtubEiZd-*%vyC*m{)7Q5LA+$z>K#kleK*i_YY}+hGhRS*=p?$%c;}%$b4l90~X6L zMv9e+Q-qC%_)AqI$)qEL!dTaK`#N=XOGtAMBd-RHhVPFL=)Ja{pkb#247WFN=Tz4sl zBREnvQdrb!GsZRd8F3&Zzg)B&!6h7Pq=qX8acP>|z}9DJ-{N7U>cGCX%sR9V`TO#4 zGOWc#sB}%XH{qe~23$KN5pbEt{DuhP-iI`-q7wNI+4s1!b4Fi8AGJbfi~V*v>KZk2 z6{ee?+#+RDRqUC5QOi}QZYSU`^rWo$z})W@aiK%lSRA;JY5a#4hN1=@F)v{g8}$D_ z5YLJIKVnk*1l#||dA|P+{QU}i{%64(!5@LgfEHK-js^1h_fjC6|0}>QAf5lcz)iuI z;r-tYUJkAR7lW2Jmm-?|{w%{2_P<1@<+k!8_|NlLB36Kwfhl8_$^!t(vd=kjt-^;;yU@geNkKq0P0elL` zhyOFc)4`L#h2Ru$BDfRyDl&nufMAD$z@SxgM_RnCh_#TE{#toL0d0wO)flZ*P9I^!(xn8*_v||x5S={Zgsr=9ROto- zUv0CTm?PO}xk|}=*jU~XeS}7awVmwdY?Gw~stf{)uA5-?=Nn!oC|WE_w^;TxeoayG zPuOu7LG`0h>Cwm;Q>zebT4C3pVip(9Wv`fNu3fb2#8Lr6LH=J|C+u`-5nZlp(Q7f| z_$BnyQpnNd$8-ypO|2#ibGnEY!*8#6;V`0(hQ;v| z^}Kj#qq-hm-I|Q9Sio}etXz^#q=80mMc8HYk!^}){XnV`w=z7T3s*%uf;HK#!g8l(PN}Qu4lD%DMYRAzwLf#g``D8PNi#ge3j!;YVDgR zFw%(A^i*g@u1{;takYxw5>7A38`$h3ys3b*1h9VYyv*CZJmMFXn!CFuiP?{xsW{sq zSY-=Oj~{8W%9~B9P)8qn*C=*!OhqfuHBZcmqRNC#4nQ*oN1|)3-I;K+F}-a0WnNvd z+&{c6@-qD+P4=Pnt!IjNPdcvai`O^Voxh%B#cgll9QVFoOQ9zaLai=!@21U0@}bG? zLg&NYM&+4OON70weiRyhq^`mcw5tmbaCip6tS(K|1=(}>HqdUs43!vIJPS@}?64V} zFk5*$v6Bo^f2ktl7qg|dyAUd_L@FyhG$|bj_n0sxA!N_jCBK7+V|V3&nRi_?PQc3o zF2z_BnC?$FVU%&n+Suw$X^0ef@?=Jj#IuRb97l@~&GXw#0Tz zwKWT;#RXB^*D8;vFl)~4wdNM5TH`9)xO5(C6xMwB#9HiGV=pdp)@PB3Ix$p;zeeqB z*J>(_%`_F3$CxYm*)@;ow~oUl(tcri11EJ&uY!>%HR@$e`*}i!X>rr*?Zp4XR@ZI^ z&nW)?QJzoyD*XP3!F#|fz@^|4@CZ-`8MqnHJ%IlVz6@Rho(=|}4&)0^_X7MYy#MFH zyTN5(0kpx1;8<{T@E-Vo$p+p5mOvZmK7iYRTZ5Yb`2~D4(EWdBgR{Wt;8x(L@c&-} z?*`8SXMr=pY2YaED`Wuw3M3nN8F)U}19pJ>fd4`c@I!Dd_%L`j&{=?|f(FfpBE zACL>Y30w{~gNFj01-L!#|x5(mPNYq<6rARL`fZ!@F9# z1jc;Ev@Xkh=$NRp-Kq1&DeX-5Tkjn}+cw`wpCwF2NO7cDAuoRgR}=&Y%x0AI><0Gl z16VI^b4PZ3Wx^g?d3lCP*6!9#NR&)u#H$F9I7Cw76(PLBcv%u!!AxtM;i@dJQIx1e za{BXm^#!V;LjoxU>o`efcW(LtM`k=HrVnJJWLd46u;Sh1x&Vt`TcF?r#2rQZZGHz* z+n(5K)2l1o?#q=zOe(2vsHXJ=zxyqOrFJ7&lIAJ8-P2s-QA?YfcHhwTD)x?;PM(7+ za$4X#)apw+WYg)Xy8e_Rx!0dkYz;2;EOh5;!WZK-%9V&G#=}r7hF>-5N3TrMK%>

k zpE8B`(*C^!PiI_Wt43t)8mY+aYZZg=Hs8BnD;L-C$HkqwoGh-)EX29VmDc-~yhH`X zf}mVp>s9tt3uJ!o$!~?XQe4;Z_&0rRcZl%TDx?t0w$*vgxn&4Tb0trH0|e-I7kkZ? zum60x{>v77(xR!(N_;JxF94c(oj<$9#R_grMZ=lRmFqwy4XtT=8OC5gx28!J}h-Cb*%gvP8 zYb4~3zi)t&YdN(}P+UF^p--SNeW?uecjYab+kad5RZZXhR$q(V`crg(a|S~j=EIrM zW^bLF%n!Jx2V2K9HSl0Xx|#m}Xc)i~#0SFvKgKhI?}fJ)@4pB-U^5WUe>?Cac=~sM zKL@e}cpPYehlBqIQeS`{hPQt$cma?!L7kx!RP-acsqC^Xn==<{|9~!Z~x!mzraVp zE5UQX-D0mRKE%*<3{C@%;22Tf11AhQ61P=ixfx7_t2>1;6ICvR&ELZ^Nf;)iQ zgIj_x!SlZZ{3&=6I0bA14**AjAJWF(0-pe{0j~xx1v-ClF4zXt4~_>FpA{F=N!NvO z`HYc3O+n))yb4lMCruAeSMHt_!$^bJ5129+SyP_X3n$~(=V*Zx&_1@^3UBg2hZr># z#afdT)b#~-&hO1IhjU@c9sR}!gThCE}xzXB#0=XDYo0>O+_q!Fg@H9aTy6TeC&5z5b zd);|%#p@ZrR>#m~9#I_bp+{f8(iF=5#+B3U3YEiHEe*Z;ArOn~c5K(L(0Ll=VtYd! zZ;+iAJdbfbijH{zEAaIsc#_C);k}TqO!g$sYKw0j&}@C+q~v$P8sbhFVHlv~r z2y1=$CEQ(Y;eG6+}X>Mm89)ZWQo*YXf@k7d~*Fu>qB-{uw*on z>7NQsio(Nc1y?$z9@ce=QVo|)HY^?P0;$l1xXM*;>EOjxS=cR?i#uvsR3wKYI<-=u z%`)ocp#(=GSIDD^3|{8t#fhi-1B?60HHUIep>Vuu)| zg6A%zOGWqLe;tMQE9+{A9-|BuKc1#3l|RH7sR9hJtzF$FWWsT?{mZX?nZ-BR$ugr_ z@-A5Hm;)A}U3pv3HQn;(+rS!dByp?ndSL;QURR3S(Eoz|KluNj_Ke?O!{>hh8~{4| ze+IY{xDog!Jih$?y%3xQ?f_Dr{}b@_^8f!5@OaPw@&)iKc==y~p8)awZwBJ~fxiQ< z2hRcvU;?ZK_XhIw_ak_B-3jnI@DgwtI0M`QTnn%MK5zv%AKVkjAHWNM`1E@M>Fa+0 z4=$eo9|3O$PXm{Ntw8$vU&4cb5&S)nKfgzTDew@Gfp5Zhe;T|I^uT#w6SxKVIyU?j z_W=~Ah5VO0UT3bEe5#Tuq*reVjk*5GIO1p8BXl}B|UQ^kNi zffbE+aAk79tR;nOo$`oQyTi&-F|A;mvXeH1k0orY(@G_pGlsXdi)!|!GLf=Srp$f( z3>bF5jkt(6YQ+RbonpN0kWpXeLb+vTvjLOS?JddpNN*Zb>u0-7-ED>CIIF%c&9bs8 zipAF#3T@YoajID7u&`M&6Eimp@%@5UuZz=cya95kLB`U2H3G$Vdk(H!k|)PC8=Pyp z1|DP%%BM2i#2|C0o7 zMfb7n!o#7zYx*wVp%>vnEKq&1V+5%?hte8It?W{~gk5S~YAm~Ss=fcx(68{W8*GF_ zN<)8LLM|PPtFGzXQ;&H|2kzd!bNiX6;n$jmQ0wt$4erw`Qz^LmJT9aE zoF}ty^M_42+Edyy;{86EP(n#;=vB`Ig&>DFBZMSY8iyfF{983cgqMduQ=}R0v9v~-O=>D}?9R&k|Hcp> zVIZ$OiesH`;32&F@jKe!UAz3~rK{0!#%1x>T2!sd=P(8}Qz_;nHvgOgPuG%TpW|wl zn*Lc~tlO)@8{;F5?W!?-_+wcytHt6kh%@0HFb;yp9c9Q&izE7|_UGVzh+$Q89+_&pZIg$z8iagY<3b!lg=i+t#=x{oi zIV@1eRB}Vts6orTjnaZ|ze$BaZ%mpXdMI z2cIt+fVY6hfJXz#0h-`ka5Rt{K>Gh_aCh)Y&+p%tzu$(J{{na)kbnOJU;*gN{}ymp z@L%xqDX*{l{$2|n4|L}L0YJ9>{{nBX^Zp+P?*)Gho(290EP@NbHgG%`19t~E2mb;8 z{}J#4a3;7Bco&s@1$a4lA$T&F1iQdiupS%@ZVWyL?|%(=6u1 z{=#g#IWB&4q1(nY02dU&?A!g-1mwypgkJ85*8Boq9y#NTLJhL=dZ&ckW3}+JOjSv- zcjB+cv=q5XMRHGUIPg0$!GT%`k4Loy0;lChz~Rj^5)cqnHm8}G-iv% zPJ3FULmWktp?mF&y`rA>EH%$Gjjpnr;)njBPQc@M=`MrQ-@nUKJ7!Fa$Yp8ju9G+N z(&ST77MfUFo&D`zw<8Bhwk)f_R(^FP6>olVZqRmJKnddIaiY7369Udy^*DdHSw5#? zns#5i^D-1#Gdf2yw?r04(`Sz~oVat~&h<>pajDvrwjd-O-G>C%hjiIqdj|5(K|Oe+ z?i>!Rt-yp1Q!(W@b%Ni;6(G*73}p6lQ_0j=HJcINxLf%abZqW)N5eP62Vr^3Sf6$d zh43SEPpy^f3}V5Pzn*fXi=1M zF;0%JV{5y#Jbirs2v^#$D_xi6S561Lv!`?3;jE z#TA*)xi(Zp{LgOMG^XR_M9WQ9?4g|vcV64G^!q0BU10RKaP`U7z@`Ja_soCb?-D1# z<_#|oyL)0gSBtX0h+oR7iCGT{yR7h|9CCX;H6~w&Ls@=4TmKg4qJCDZ7(2^T1Q!(p zl>28rEX%)@^PA{W0Tza{I{2$8{3wTXG;{yv<+9(qIL}#ZnbF9d@7few@3ZMJ-RWW5`|zZmpSQQA$}YE9 z=yK*rTD zrdUp;G~pFWmIZo*+^ni0lPgsy*xr_wVE;xdNm2+3rCl~pAf+Y%sbB~KQ>Y?y^KCm( zWvJdZLuE6)#=@+lXU9cV0t5}6U+U%>r*1*G0_VnYqoSbw zK0Xi~otVtwFPdzQ^ErKJQzAQLH%8q?J8U{iGnUPDq1O_{zA`Wh1MP}@cvj7Lu|M*q zKF2i#iBCy?e7fS{#GEcAu1Wt7OI!Px=l>t+`TuL-@81rd3v}<_?}6{a<6i@M-~@0C z_$9pld%=sq3&BO;7$BejSA*w*onQyp25t*d|Nk$8zkfcs1Y8Vc*MADw1nvXYfMdbk zz|Y|6zYC=Me=U&ie+FC%P6vVizYX87f!BW%cqTXq_5$4xaBCp@{!f69faicGf+pAo z#Q)z0{53?8FTe#LyMFQfUj$zO@&VWd_XF#}PvQ4J1azMN$)E?$2FHUjAbG%b@cEwt zF9&}Lb_1Q`KMLFoeDucd4F6U9y#U+~=$?Qtz~jFIJO+$|_2Ay%8?=|&>~C}4A6&Zuc$Cy4H|nf@i&!NqIICP9aRn;zP6XbRrm5bmuwMg4l&{>MyR- zhCRGz%FQpjc&+VQsj&zFoxM>C8mPd@Y=#%-ox4EFg|6=kTn;Ua!xI+*wLtseY-j#wjSVvctH(n)}o;YnEOI?5(X0^ zFElgm=fs=gh7JoL>pG`Nv_UEhVcdJxE%l@41(>cwxfIv2(diygwnR>Z;t9F^*P*#* zI0z;nU5?}-YPSQU^m=9?=YfxF-snA5QR1_tQ|5D^#aow0Oj;z)oVmM0rU0&Mz*A2W zBc|^RZkdTx^9r2{y-qJo|CXD4&{K)hSeocAV9Pb%IH*8maT;VB)Azh=wvp3xB?X-i zS_lkVJ-t<;sk2TSH041Qf3LP@=2ggvWrM84_7yufzaDkC*0kP1wq)1W z@@|X^<*VW*13izr$3?wpIF22P2$K_Dt=U~Wp9;P-t|&UBk!F@;;!EM@0rqEh5M@^v zc?ROKY0dI!M;tDJQ-(^Y>aLhDN!U8w)PYe^w1ujEUr0TtJaLJMMUne1G zdmvUlf4h-g12c!8N{44p*YBfVA=|)zPIB!2Wi6SGkMIL&OnkCYu=n&m`p7Oq(xqeH zwNB={X0qOgj*q9Dyx{3~uO#sfiOVI|_@K+in%ZxR;%K7k^WKaCEdzVt19%y}h!Qtg zj-cU*TRnpEKQ7vVa7>u64#7p6NISlJ_k`wAImBs+Cx%;+sH>;Dh~YSq_e=f3tSkn` zL{Bh^HWy1O=yZp+tXi39-MDelLJ}SpiX13i-+mSZXZrTlvBDR(hmILEX+bXFH72vy z8Z7oSb2CY!!jZ~T^ZZ)J!|gK04_`}8G#lNR;u|hVzY?>3*CC*S_X%m^NsCJpU5@xc z_G56`@V@gHo$4nwH})6epbM2+WG#<8UnjqHOI9#A>X4T4yjF6@b|cqaG}DY08?Qx^ zJ{u2i@>kOYP%$`K*h3n-*L8Lc6iV9{bD&DCQG=oBWq|mCv*Fc6q^74b%?;`TyF_%% ztzls^ZT(5(Hl=)0QX{D)?zV3;sM%NwSqY}N{M1-`ra-r;L`DIbTAtNSH<}vtZVyAT z*Qy%yFPvYY3Uo|7k8LMNP1xL#hO$r@xkK1*3DR4D$y{y|IG=%#!EFOWnYY;fR)w6> z9+xtz%?f^XgKDGO8)rtK_;DkOyi^Lr11+~``GV3>4$)CFK2(8FPVMK*BvU$0!iD|2 z$}-hDNae6(WVBk5^9{j9Z(6s^Eb8;nTN`xfQmwKUPXYNzD7iDj7V zBHU!G6hmpKM9d(LYSl*aX^QGNCP=F6j68mCnr|`O3?=?wEaa2*5BmQ-p8x+E{Qhgf zq)C0QvsEHTW((|9ilzz$?Lv!TI2RKO^TB<=(Lg@_Uk9!P4+VDw zUx9c3Ab1vdB+xnivw`mYyAik+{{55SY2X4d4t^WxT>d-2Bf*2fH{j7<2d2TP;1qBN zAfNs6*MB-V4crcV1^)bf;3^lpoy086+J%MK`jq;neT>~^w%;kWJzcO@x&85$&~@~!8wuhia3Kx#En{qX z<9CA<$r&@t1Zvq}!ctT8BxiRd)92u(_4IAn99aP*flprgLMKnmZ?uuk-)hx2C?Xv;Rd)eqGw` zI|oo_O<$_lg~<6PFs-_~0?U;4LpJrwTAzf53;hZf#f2*W>pHycl5LNza|n1!TW)t= zjvjws;f9XyJGJcj1cN>Onv)#e`W+;ZC9?1%4=B-!%KUf#~Vw2vg!( z{5${0WtTLXyRfntDE)P)!iI4V(-xYh-gf<=qJ6e|*-%YcEXzIRjjA14h*El*_j$k5 z65EtEkK!6fRhR_Ae%(r-Qux{1Xoo#OfuOt{u7BEFjgzscs(aO0Ay5Rja?dg z&XDk2lP!Z17%(Vng-qg)mB|=`>5J>dZg@9?SOfuLW6H5KVjRh=+)%{yEG2VVh4|MG zspZAL9C?ND&_=gv67WSl%vMR$KIEKteOiWEj@CAj%9SEbHD*1qG_E@!)hPGh3K8Z| zm=%Vpn?EBbU1U#<-lYt;r_+0o71w;rB!5=!Y*EBzBye&rmk~3~u%LRV49ksL8*axj z2E;utKctSWmq!f^R?(TQJ}cKGsj?q7zU}|_44cCyinLF)q=MF1QluPyf35C5L+yLW z9_xhddB3gbxc>gniplrvo$4C4SJd{?wxFlDInU{xVsG%vBfllm(uq#BF2gYIVU~<~ zFmIB_CW?#mcevt^aBeY4LI%lCydyZ)N~@{g;K0kKOK646-dfoeKXO4~_Q)mcDkx$K zHpN$ZB~WbN|5>e~6)Np)u3RfFCj?nmh;GpX({+Ps6XBELKi>u~D*nIW`TwuL>wgTq z0Xz$A2loR14X^(;a3$CbZUJiGt?>A>;O^i$`1((RKLdXVo&@CE?`&{4@H2S)*MO&h zCxflv$ME&y^<~d58~*RY&;JwnAh-ft4hG87KtnI2+srd>A=^^!pcsE#N5d zU1R{S2hRW(fGt2a{XawwAf5i7fdM!lYyfu!cLD#6EZ{TXmEa0+A&`vV=HRomh1%n- zYLlUl>qPdi8y`Ed*Ol*+gISw9kIPJY)mF2fM_C$*5*dWHWmMfrL#^AE@%69c=aN@kLfSZ@ooT@ zsY}P#rC7W)4a#m}HL9Z9jJ+%-9t{ezncb&$ap9{n_wcP1V=P&r;lEz?c#T1iBoSd&t69J}CGf8!*WR^|{IFt@*by7&;bG2>qi~F0Eb6!yw9(&jM za)~xCAPy}gHH}NMBrR;I%89us({|%)IX%u@#M^C7-9TmrI`Y zo~q~*8YbJYXN4>fHhVL@2kh;o)j%~NvO_igl2&b&6})bQDq>?;#WVG+(<=#CX9hxk!1 z)pnVAh5*J7OuIhdcgpbnr!ogI8?i~YA6BjU&V9ReQWKNYd7|q*7qR86k0H zpU_z|ugloPY0R9DVlhR#x5UeggFWtO5;|p0_ZUUUoHx#-!trhCzvAmKi`eQWXtXjR z1rk&udLIW!ey~U#@?2dK>P|=TODXUt7AvHxgG72^BZa@=)RUf>8sEPtj)jmV$Nc88 zE0J1xN==S+Wn!LWt5Ss#C!N&_U5H(Ge3ICHQ(}==ZtPSD3Ax0Xh1K7!GldXA8)S^D zmkv7%2vw`fG{Qa4yuSr{9lf#Bl8J(JI9@&L)OYHb)0}iu4>a|&Mkt39%_zWKs4448 zt04)U*UI*FFicT!ip>VnIxz?CbW>NW(_NgA(SNHcD{q~kJD?Ghn;Ae=>{fL8z@5to zr04HswofymTX-VhooXL95n_nfPEsg;EylfI<+!DM1HZq?b>?b&xO9V4XtMgCYu&9V zbj*7|xuh%0dKH=lc4Y=#1iU~5q?Kg<5S0Gj?!{~Z*7{nl4F(80#NpbpmK4d7F?vW= zYH$3Slv32hPwcdy9C@g#Z5sc>QOB9=JdFZSarq z`R@hK03C25xIOqfJpV_)hr#>6JHd0nBG>@r`|k(v{a*%O0=naG7VH3Pz|Fu-!OxKc zd=*>`bS9t;Hh}Ap2Yep93Ooty0h_=b!0o}ekp+ARyb#FFe;nK#d>WqrE#R@>VlWP5 z-!GqkHwWK?=l?Qz8F(pp0+5YB9jpZzI0}3V-v3QNKKw5OCxP$5`^)BEJ^(KQCxaV< zkHP!D5j+maR$voY3+@em0pI^uKxh2r`%ixP{}X=y1K^LrnV=4?r7hGRZ?53~lipGB zHDy!cHp|#?9Q0WKiR{gB99h#Trwl_WCj36U80)0hTNdNaTio;+TlZpQ_6>Os6$K;p zLVS*?aHz8Mu*XAVs6qmMEbvd{!@o=jiQNm=8kgT37mKV;$t95N2IQZm15G zx~Drk|i;$Oe_zCYQT_9=pyA(o%SJ_kYWc4&c2%%6hMb?$R zOHb0mLgWy>@DS6PJVFRjNYO-`RzkQNX2;Qz9g3Bvt@Pan`8XNmTH>k9TFa`Y;eK=2 z_NgGQahu(cge}KDUYM6GE2k84ie*TJkU<08jzl@3n+s)}5qU~3Um#MySyPC@GZD@T zp5!`~v!Ss;(iThR_CSu80Zcf1!?&ij;$KLm?t+GQ zs!;4!*7e%i{_NYf; zmTCkwRw0Mw(>tU(tB{VVv#`G0=eNA~}30?z=l|34j^2G)V!0Y8TCzZSe6JO#{x`-1y`djj1D zpfdq)08a&v1SbK>1IB>P1biBv{~17XfQNyjzz5*>4}krk3wDFs1D*Ys9N>*0_5auB z_rrkv|Nj)8|BK+I;3c339uDpTeh9z+PVf%!Ch%Nv2KWK|{rADYgU^DegNK5LfCmEk z`}-dJzWo0`A2h(FK=%OXE;Gay#iINh+2$N4r5m@MOBAee9C zY$R?Z{VisMOym24)}xSNTx)VoMAa5LD}Amk3Y$xBC8Xp6G(0V_axA|r)RS;iaEhhP zQ<7*ex~5Zlg;B$=)NNf9EhMr1*XUqmIF0zqiV>s}!%6Tum|qPilDsS=6B{#1Wlgm( zoPa%!Q46)?X>GVT{>jRXL7;@r$~Bi5g$}|wgCvX>~g2(DV0GQDjySZaPlEe^u^ElumK8r ztG?|ziGfL->D*QoMSG)SHdA5+maR`IFh|D2dV%FlQk1C)c#<|e_ zoS`}X7-CMwLniX~-UbLYun>okQESqu+VX4Mn%cK}9ghlr$$p+dPEpqmyJgF6m z*_YS5a>wv~+0-=(f$@GfA?*MRkUXLolNO72sFY&B;Z$N33hvzUy?(I}EDXV45{iSQ zVUic6f)8)*jMvYLltf)2%^2R&i@!)K)*u$GOm+3hNa-`-WWAd*BWOA?rIj7y#MAJu zs2tmcDP-UcWwcXYNl@;1lQc(+-kgn%i&_z2dp{IC)F*#3w1}6BnpQN>FH|!8=HOR} zJgcc-NM$T@We>kAD;8hoRj8;`Y}{D!a^n^#SYX`>Z>ZQnyr}omma&shxNur=5sMq(c%h-P-2+qf3o+u%5 zA?^Hd3hqRK&Vifplv8v|Fo*$)dHZmJeLb;2ZddH8<4TiO!P$xgg?VSbK~F9*!Fm|x zBqfkW&nXa^Bm2K!`&bpLdF&r{8rG52_l`293Nwl$mERQvC0Sw6B5??cvcmJ#Da#5` Nwd*XGszPb@{{e{lcR~OF diff --git a/src/Core/.Normalise.idr.swp b/src/Core/.Normalise.idr.swp deleted file mode 100644 index 8668cfc82f7c957886084c76a7e9f70e6ad3ae75..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 53248 zcmeI536vdIdFN{|#$hwtIp6^UB_Z6^w%oSxutZokQcE%dsU=&o43>>}{kppQp|`Z& zB6UX=&JZAG&oJNwaPWi}21D39Bu+3pHZUO}>}DI=I0FIBzyOm05|+&G`|eV=>eYMw z8mvPmr(d6czj{@7`R;euZ@IUo&)vUcSNxQTb0a}KRQm=K=iP}ti z`Q%nZta4zL1EX@F*PT84DG!X!d%_0o>W^EyCVtpMFC8`ZYPeMnta4zL1FIZZ<-jTj zRynZBfmIHya^T+p2f7RQkFKU1_p)V~w%`A*@O^LldyoCD7M`D6cz$!?`F-r~Df@kj z&A{bzioJiO{l2vD{I~4==h*L?3eWFr?;o(=54Htz>EF-ZzubN=6rSJT-mlp2zb-s~ zfW7bdbJj`bhD+c6jMmw3uP8jXw^zSbIk3usRSv9jV3h-_99ZSRDhF0Mu*!i|4y@&K4pe5M=&|JdF%e|3|2z5iyAO(@?|?6W4}*7s>%q%F7o=b>xCC4XCcxR?QQ(o_ zGp9z;i@;`Z9yk@;`apaDz1(0!!dY;E7-Y{1bxyPr(nthrxB=4d69k3OpK|4(>)_@L}*r;1cjia1!_eiiS6W z4rqgI;C%2n@I#aoH-Q&|y5)KI#+FqfOgh^cTOUibO&7%JkxKotT6cc;Lbns^qqy5zXz?qbz(TK`#_Qs#Ew$!M zJX?(ySgBIg++JX`EcqZMY0#Ayf#Axp&~o@pxLJO5WL{BuLtn zgW_}#`AlN@q;-<^@seGKChM(^kY1oH8U`mWM`#89tYzfhb*aFd#};+akH=?UV4qIfW~%pn zDrcV^S2QVU!4*1IwNkIwnsf2yJ$rUOdm;?iquqDsYaJq-S#NdE)Zn#l+@ZVCt>)9X z-D}3(S|g2HbinzvG84CE<3{BW>4gbBJMFBGYu&L<{Jb7?R|vAOKA!H8)IwUViO-f$ zK+@Ao@w^bl?`j$!O>HVi=hL>kmZl_iwkz#cvYyQF(5yg6ZDuh}GEUL9WQ4L^TC4h) z@auSdOxSWfOCZto!esJsV?HM1OVZga+V+Z!4ic>!&o(8eIGNhKupqaRDG90%lm;_C z7TTKxanUnMv)p#Js36UcP>psCHc`Zd_N?Y5Jwtg^NY%tD#Kq~@HoMF(CBr0 zm3p*LX;XJy#_%|iQH&5<`C9KsiH-3#YFy@v@krB?G-KMQtF#2Cz*hZ8IuqB%bxMi* zr<3@qc&bHvrlm0nb?4iyqj7R+lMHLkbY@Cgk5q)IC7oXC3^LD<7F(n0=hCi(*|9Zl z#>rfz(Wq!f<555cQcmnm!iVd5^W6-Uo8p&Wc?&GBjz|-c*=pAIT@b% zd}wzEB_A4@d$_SQEsd8?t=8GzZZ&cV&US@%NpQ9s1<#9VZfUjZzC8wv=hBR;S$0w! zx?oV={sQXko^c?`r&#)n`Ti&qwam>jV|QiA&|$?~o1164WuU*%q+&U>F-~S(VK>G? zzUE0PtOI0%?$zqdbOiCqJvFXPq!X+on$b*!IoZ%x(gI>LjW6`38T?{fSES7F-;Iyf z>h-uKOT+0juC|)c*sFG_Y9ck`W}42VGprfXYJ~yGEGBAAW#U9c8cI>c6fZeatHfh- z&Dk-AxHij;raFelvwX2!(ucI7Efk&*vJ4TG){v1Y-U^#0_NP^vPHc=U>7pk}vzufF*~j!A zMUB=>ubvu?dr$jF@g zSPvcwK8HO2YA^?Ofd_z3A-Df$&;WaZ$npONS^bZ}^TEa7Ja7v54s?6~Tn{?nG9a{F z3RXX>99ZSRDhF0Mu*!i|4y`53IbfFBY~|e6ZpSIu6srb=OBGk_&vo&R<|R+x zt9qMwO;U_C9_8*NL0}ScN)oI2-qGB-l9YVlvXmxU&CzM{fy+`7$$9jove5l$ZLZh1 zS88=6sx?VqFH!2!=GUsXq>yD~uu75|!h!C9jWO^0I{Mm@0gw52W8b2ufdIe@Q7ko3|alM+;Gs zE@c?08dgj{T?`Q%y~T3PZv~Yg^cT`Cqo3x54#KIb^jE$e4^?-0-BCMTs8=wFY(kZz zS7Y(HQC7_&t6O`J(OqSal9m_^HpWg#rh2AkdX!rQ~RdB9#laB#=!l+7qHd84m7}pKzR8n@D}h!@CV>kV3d!mcQsYHAO5?nPjBwhG`uqAIb#jm6fa_qltNS9%)pm7 z@44t$(t?1=UNHv3)14Lcy77V<_~PWCH+4r6PxxENPy$G<#t533)G7-L^`(6+!&p@E z*sRRjpgF5aNpkY>%de?@e)S@D-Tumz(79BTLX>_hYd(XmE6*Swr91;N$@miT^kBR& zmM@1k#z?3#pG~pY1$Q0VUxDRg@WR;N_$lU&PJB$wQkxE334fa%o(redXiLb*rBYyu zHyN9n%G$xWHvc};txJaQa(lBD+vg_1vu;{!c-q?vmh6$L(o-E6x(D*R&=3eWCXKv6 zBkMkW!n&_hHA_H#`#=S@ZLzLF2c-{)w+0pt^#?HnjkI$=&Ik{3(RH$OoqB}9#F#H6 z8To9=Cq{267AD_WFORp^+N`h%CHAkW?QYy5rgIvKB;l-GS|0^pUAEh5C<$q5)Enz` zz3eQlW7=%TFnDEL&QcCre1R}WmL?=EV@$>zlTeOMp`g|gM;wfJIxf)_)eX zscIw6r%Z3w=gG9NkD`dx&c-|>zl*^ySNcj*x}0XF<&`pIsmUB#OohfZxCE4%Prg0r zE%i0C;zQ;}QXCW7m`wW{n#^lFGSASX4cD+T$U!fv5s}|j6 zLi)@anq{&s1oEU4PFc835)^M2xBd+ikn7wq5*42&G7V_UP^;=hvZEujNK<@I!F+G@5k5s_v5B&+jjd1| zHH&flgR)p+z}!!>qMG_5hR^y683#=r4}ex1>4-$yZp0fTN&153y;u{|MUH7*Y>F?P zir3Ck$!m{GqRtWLpc%sl^}eaCX}z*!s5mIo7=1BMxAqhnl7qgXu10c?DbEw9EM?%c z{(t%V$-Z212ayx|&oHOeZeu)Sm96L`EXmNwOD1lSzJL*3oIM*QBpRKQ$w-@xRNc~8 zNDFHL?v(Il$&W&%8E46rGz#Ixk4UF>X zif2Q<0MvMxst%Ivw1EQwbcRmS`DlqPMIWcl3L)#HxF`;*PHD1CYmiV{t#&#g5ds?4 ziv9mg1k)Fbe2V?w$^V~5*8f}Z9&i;n0PYXIkF0+a_D`kw)>01dDfd>T3b4d7C+7OVj$fm@OHUkUbsbHFE&_1_7e2lj%; zgZCrf-vFKqc7R8N&miOf1-Kf_gA2e9;h*^GUk`+rF9M@~q*-;_OPg^vIo3cGgybO; z)NyTZ;?jZ=>L^~f-Kw}h;){#hE(5uYMjAxovnrBCCC(nMy{IptbPpPYU5#sSo0ZJ2 zj8nN#h<7qW;2M=6xJ`=xVIpIx++8~!cPn$UQ0p+%vs%@}AWx&yrW=yqhMepc8U)8?`C#1Gug_I_eL|4EIRWU5bi^YMQ*xjC~H7o6< z%+W32hSDPR=tmr))r)MS^%!&uR9!(1TeIetqN4tFqOSBxX+1Jh^er)U8RVC_iH2cw zfea^_<2J?!yvx-4QrDu9kZDUk$^S zNwbbHNr}gh2|V9XWq93-aDQC(c4%smCuS2}M}%eC1{;42`F5!(ys>>EHx-n2YGt|M zesQdDc@1k}5@u-oj9e=ITPj_rm_iv#B%Kk}vyh<02pmpJ1*c_1v#bKNn~d7<19mUp z_|1|NYGsin^&T`*v*AG6g0Xn!dq<2SkqFAqT-R|zjIe-VxG5<&xf&rb^Dv>96r6O! zOx&n-bWmmmEo9cy=3IBaKUbnA2(qF?)~tTjL_7(q8*()J#$qmvtZU@6Y+%wlcReHE zV-|Vmz}+ZW7`+gAGHEB;(xO6oW_hBO-M>c3g-sgx2iF#GhnBgtok|rF zrPjoy7Z(C^W42ylM%QauhYd(l8sb)l1G^+Jn^4B$hU}7>H4P`1b^b@DcM64!e3;xX zoqyfd5D}n^s&+_h8KSjutKLU;z@RIqR8cNnerVD&t^9o=wbPkaURzv@8UDu4yHlI4 z)g5E=$%P>c*U4B-h;LrM|YMqlb1Ph?Wt=Z2FO{6WbOm)oyXml9X9mjOgus zi?MA*cC4A5Y++NgngMrfU}Q6++pTaev}70PkeHujvL=u$!OTL^iM<08PWCNHJRf7+ z?YAq>#2JBBn2EUNFQ1K+$L-*7>#<1h`G1+gQKcKzXrtxhJHIZI{w~vh<#%X9F0GOY zEU9&@WzlWQC}db%c@-u!SwXnPp5t+;BG8vWF9PF|X73HMD*lhF{U5PEnh|-GizzF# zUWcqN{{H8KpCRMl4gLlk2N!}fz}?9Be+pg*o(UcXeu{km5g>B^8^JMfF&G08_%d?- zUw}7&MQ{{63!DZ-{ujUhCO9Ab19JYiz<&oX0rOxZ_$6}wyTKB85_kx>9XbC^;7V`? zxC8nAW^gUo117)&z{ipEUjQxzBKJQGd<{AOtzZ_M2gbnvMb7^uxEh=Xeu0cHd-QJv z9WV*DfQN&x!@Ji4;bB$ySolaqurGt9=63eonC4?=PMHuknLUaL)93n3b(60~`8C2k zx;|)}g#pW_S30c*@q8mIP|VIEowJMUw8*C%UUVym(!CT8y#xRKDyN#44hrk>g?g{E zw^yxRBAc7!BA&y*fNdyPhP#B1@raFR#xx{r9R_T&!rWTTW=j{?TbOv5t#!&N4@<#y zJ2ht$5VKG_E^$N2RPa%R9U9BmSuMl+f*t3 zS&-1E)S4os2U{D*m#b?{K@!MEbJZ(3x)M;eCXc|jksIYALtkd_l9*Xz_A>yyb!lez zf-UeS8S_6Zs0o}Ww7-1$Otn4A>L9bn^wZ3e_>#2SYqR`jSt4uVUV}-Vt;w<}Ol~pX zc4e=aTz6#Sw3bzrS`;yhU^b}vK*W~?J$`|FbGMzcIX-Q+dUNv=#=a?I^gvzQL6!WN z^!xN8A&1Nq-)|mPgRZXqL*sBhru~I7TUIJ&?IyjgYW5$`_R_i=cn;Z3$6D}WDyAuG zFDu$YY)}nxxmYa+mBz^@1QD+E7sxGPoav`XNmbO4O0wz+0^3WGT=P3^Od|lXRkZAJ zVayqz1JLQ#NC>%ZYQ#KPDy+92c$vI!lmkcuKXJHldqmYnQDCqX&=(Fq`FEL@A)-TAMC0i5H z-m|~{vR7NpYMawF2vl^C@sBdI&89f#%@TxAUn`rD_|Oarmsv=3gZ!Xi>N)7?9+se0 zwlAA?&Yw$n-kYk=mK|ABSkA04aOy4UN!6y}xkU4hB$H)2NwU=_^>tV&SV`<7_R}-u z7-byxoH53Bb)LXIHT9m%=*t^7*PeZWGv7+uo@ZkJUyr={evw;| z|K0ifpGEHf6CnHkp9bWNzmtKS>-S!8EvN%I+wURZo5=nj1b+Z3U@PEtW6=Y_UnBRw z1608@*bYtxcOdh>1Bedba&RB;A>{to1KIEYcyJf;{(Hd-fY|>}0Y63FzaA`t-QYBE z7c&2!gKNO~U=8>(^8R~44Ll2o-9HAmBlEu;><6L;7y~DP+mZXf1pW@Z7F57MQeyb1gvcoArV?clNCG2jv4%jgAe1vh~=fKX@fRDQ1ocf#{K!0kZze+yX2 zXU;lixs!c@gGKy7DyqDq3Cp29@?1y#I5CzC?<7XQVo+jyvJZ?C0G?pD7R_lAL-NR) zf9|R|s|y_M_DpK-_@IJXBDn(E5FJW(i{(-?gs~>p9+fLi#7QApR?<`CkQjS!z&S)# zo0jdMVF?u+C*!y6r#;PQLIi=@kRQxcZOemyuUjT*AxkXdT6YC1DDkhAtCZ1cOSJR_k8N45Xdkc}BTBi# zw1sf5K73{Ax%8Eb8deG+O*E3=Ud%PFJORgTX2tt*c8$>(aZV2%SglI+C3Daow`N+H z21H!N8%9JO5uCk-SJ0T`Jhn!X+9mo6J?D}`YBVjc&EQlW@$;==zY$H_#Kc5A zCbc#ux8#tqxYOd)p|N^B(`8T{PE0qpsbI}2Dn7XEc*>>rQi$*h6L&-GBzjVhu8+{e z$Z0?lib(1v0sXynJ-*eo>b#Issms|%II6I_+O+`WLFETt8(!ce8QB&FF2 zFSbIKWwg|eR+CnkGnT-CnK;=Z$0ET$Ny6CcY?(Bn*nKiHo6EyJDSk`d;Tja)YPJl; zq|EY7+_cP~MpA`AF-y#-UxaFoUzLb7+=5GL7T5{&&Vjs-MqM-Ny0oZ{RxwqXBjqkC zSUBV}=~j0%IcJh{mSi1=BX?R)8}YtLdsmrOD27B+HWNB?5|{Wx0&0DnvnfVfdTvRu zX5Qmm6BBCmKBdt8uzEsi{!xznoWrbGCL_y4T5OEMb%z{vS(D;cun(%LP}GI=2pn#t zm$}r8-w|=bh!r*3(w}NRwuvb;O6-u#QB$ySg)2E?4dEPXS`nJVj>LISsb`?2?=mfc zqr=w;Z7WZd9J@8Jko)MZW0m^R%F-obLQTiC$Dl$+Pv40FwE(@x202g8$$9r*E(ie-e$ zY?h7lIK`(Ea})6liy%&?s~7=oIwiQ~wSv)N&n_8O7=_Umn4XM?GIZb=t~|;sCq}g> z(iSFhe9~<;LJun#Rc3I#9hU>A6f!MD{`Z?8&5@8={4AKC=GBo#QY~}D2z4HsfaBjl z-ID~6;XmPEz>Tq-Jnc=&YZ7_rCRD~Pj%FK|Q09TeBD|;5rNpwuCK1>e+{2BrT0n4^ zcIi5Y4_g`Tu{YZK^l460xURcnsX2Gfq($eIRSxr|4O*s|5H*e6!9ziOnsMJp$96II zyWm_82|ksbecInqgtF+$j=ZCLnpTo>gMm>;tn* z`)$Zct2ni#;;nsZFyd@5f)Y4jJO8_AncQ= z(wzncQ>$?n%j%;zTj$)wGUFco%pTI0T*tHh?kkVDMvP|2x4Q;CApnAie@q;L+em=m0(m zt_IHlJHUEyAMi1B0j~pBfU|+@5%?MUfLp;0-~}KBPXrGIUqdf&3+RFi!4p9Q?nXE8 z0U*8t{{cJ@h^|1+@xK-v2G0cd1-GLccoTR&I1Ziz&Hz6|H}HP&DsUyZ5Ih)s9i712 zz)QfD;4E+|xC{CJo#0jAAdq(j{uA>4?cnWT30wgVfKA{r;3x23>fl|==m7HVtzRsp zbvg;r^bEBnCC0_n*$c9f)F#K2p%R`t|8!y#y5DLc-bNSiNBl7R?`hSCd#!GIQQ9P1 z#(fjd9S@x~`q&;&vuFQ4yyVd3dB;iZ4t9@Fkk(-%EopjIaj@ia6E!x%OMj5WC!Z^y z>63e8SEL>|&)Pf7U&}vo{t{X#W@u7ZxS=EyXat%)U655qx3HTnnIX~lFw=YnW!Z~X z@dRe>k}t{HGv;4cg?X~d>&xhgPaMax^m8oJc5FJl?H~5#0;Wqki*z9PXbk@Kt@d1e zH_!F2BV#?*IT#4Mu4aok;^)Q>?IAYF8=xS*tcCg0#M} zqSve)#z$odqdopQwb>f$}sPE*ZO+_9d`wTo=(Jwdg!?F4?SlaxJ*lIpXJT2@;;ABG0%{nVB)i z*(_3Hog-*GB9oYZkog4gy!epSsl*Zuzpy+DVG_~*@*r8#Q;68WP)va(JkJVliq^LT z{)@MZ_oVHwMO`ig+}D!|I8>%Rn+-*E))Kbkayu-ua$gTn&|+s5VAe**2MtClVw=;0 zG%r^uSLo8UoJu^!kj8IWD>WO4`$zdH9q6otZ#n2PD=hQe=uW7tJVVEFO=wM`p@)pp zem3&MX<{Rp6=nYtuS8E!;atOwqAePhTT&5$OlAgQ*RYVKDg`Z%)fyOok;1Cl)I_l= z`li;A&Z`>0{oKH0=H#p#eYIg<%tB%9$EPU zcP=!|+~lvwQs44$n4T7rtS@=k+m-Y3W%SgBD^UxgveHg9yAC1B`M_aMNjNMdaMGPm z-l#q`su2)uEG?!_F;9;W;lvwXA&jFc?_k_8cAL8}HYL)lkthAMB^^@nokP}yhN^^fTu1>0`$ z$oT*N0#W%z$e<$sAK*(qpFzf#z5hqS8Q{mr^PdMdfDVv70FMISLXN))90gmzso;yq z?{5W5Ky3YIfPX}O{|LAa)W8$KFOb_m30@1t=YIw~8QdS-iR}If@M`cJa1mGwzK{I= z$KXmJXZ?K{x&8IvAb1YA3_Kk?2%HK|0Y65D|2+5{_!N+R0Ugi=hrk9PX93<9+=X0! z3%Cxv0lWrW3{C@&03!E)02%*{pa~j4_6CPnp#QFwNax>_rtYWv*4t(n%=!_BavC%GQQm*S zsI8V1u|w*+cvcW)X2o$<9KpPH&|1iY6Ky@&szSD-gFo-qKP~Cdb|%anyJJUu9qV<3 z_eSmE+-T`Z!~qEbg>vk0@FY7*R34mQx};)Ftp*eXwDmp9s56gFFnwxSEGKQZ7#)kx zGxGFt-qmAk(P?32HS8NrSX&IWg~>-cO&B8J<~>uJ($e&k8^n3%QgN|CAVXW)Sio6M z+CHHo6WRVxQ2U$5OswqRthAL&!g3Ah-D=F?X>(ZOe>x}9QJNc>6GNO<^ldoN7vdl2iwPTMQ*AYkI?7~z< zNju1x6nQo%y)2rM5hR}V+LaTx{1VvtWKkjgIfhZQX*`SU?=2hKIej8uhPj8gwMoP! zA1fk>M}{7jl{?OgMK*#r|2s}z%2Mcxcxy~gnHqQpjEL-LE%8ew1ceGIRoj-__J+4nbXSg6ueut*mfT5ck_+%6aJQx7 zw7Ne?e+qYVNZ)p4%O(PK`LIpc)Ki#7aMaX6<2qx4x?v>@%kd_5ciItMT4%qMIi_2f zEcCw-NcI_LU0R`-1umA-TFLS8v?Mk&K+qy)L-D#TD?&np|l{j8f)2FGDqCy(>oL$c57&ytkpWJoks8?Z|zM)UP?QV2h9BRV+_~4j1OxHYm zf6bk+YX;DGs?Py(CO-gx4Fs<~Q@$&6C-zC1I#a z`6!b~$93*9#k(?DTqu^Qd-J+p-uG8Zw}0_;Q{Fe;$(`B~+gFfl2G&dws-2Vq^X74- zI{$A?Vzv^C_5gY3pR@6Q2HF35@H;?k{7(Sl|1akN-UU7mL@)4r-~~X=1`z$gy};Md2iydn z2eyJqa6j+`bOFBywt#zsAE5)d4ZI!vNASBqbOUlO;3v=rTn(NNwt-<${ohB{zYV+vEP^Y+Bf-B1r-287pCjvk2#7A=G9dc|*$s@{Cg1FesU(~2ORtZnI1V@QywZkbDt4-Jt|ATBSE?&R=1iSGtJ^(y-z9ZC z&A1D4^N$Oz-||q(C||mg50}Cwq*^yw{YzRJvNRy3$?4*$Mcj}WLYJ8`{7fg^WSS`@ z$`K>xBC`X>EsDcA0*ix0>z^ikBBg`9{-PP@V|(YI?DWoN!AbjG9agb! zf$ns1K6i4^nkuP=WLkZ3R6RXSHRpck`+MUKwc*;PTac5Gwv;9>A;K)G5;a=mea?han8Q z9rDi6v;w~M*{IDZUs(8}x8naXQ(X)vCseG@ktzSZjmJuozkB ztwsBRZ80S1Dz2}rJj*^o4#8!ZnWK5ICOyh*$dk5!E3+bdGsfO(3mbCC9r|9Y-Kf+V zW5fGe2H#4z1ma@w*1jOM;I%9wPx>^2AiBH>Qz{8Kma2_}rd>a}6M(}d*9IzSu4EbKp0C*c{gI(ZUa1Qu3vi{BB#b7rW z180CogWm$*L*9QUcn7!vyc`?`2^a%0_$KoIpMwM7x4~1u1|aVT{44O6pbk>78T<>3 z_%`?(@OJQGAm;|i*@1T>_ul|s23`s_gK@AH{4;X@P2hDv-WzxYcru8<7tjG*1D*jk zfOEk(I0?KTUBC_C8ZZasJi*h!kI)Ug1-u!UPd2J#S5#clp*@y7o^6s zxk4yiejrn63pU}*n_qo~thVZ{xt;Vj7F%M}y#N=&Bj(T*9o_Y&iMluKbm*ZG5!Am$ z3PTB0T*~KcU)7|CaAv+o+gJlBnQpSrjFH|oDH-?4JC7!|r>RGi9KNcqL*mlp#+e-Z zvUM2A_#!TQ5mbm)QZ~Qkqn_{@ZkBIP>o!mgPz7$BO#2-JLPAeirAysSZI|ZZtG&?P zMy&T-BQP_FR=dq$q>5(}kd5fNrMIa)WL91WCzHd@7At<*YGn>DEynP;f{$~%v7QKW z#4w}(d`k{X)*}bom1d`IHmOdFZ5=6QzSpQU&E(+t`u}^&id;d$Z!>lnwPG;G6ED4$scSmhPB~68GLUP~%yG_d*MtQTt53{>j-{28&lJzmS_p{A5 z|D@kb#m6pLIJgq__Zqn5$HCH!D2tQtjIX9$NG5yHOqRwN&4l9p8ss(R97$7F$WZ4c z>JAaWkQrsI8HOKH;9~8D#dYl%qk6yCR^p?ACaC1DRS1#Q2ncVCnzvSaS;pm5yZX*_6eZ!ZrL)opkIm&sfppMwGPE^7ir7@t+ql#MzHzO9z4Y%uDH#k5GSdRft9nku{P3r>(>(vj2_Xtw8($mcY5-;Xrf%UjcFs;48sp;4C110Dl6m0lyD^7u3L3 z@DT7zWd6H>ydU5O@G>C20J8Ug0}wxeTao==0uF+UfV>~@E6DqQ3SI_Y3J!wPz|WEK zKLcOviK0YndQEjSEzfro)xkok{-E5MV%{lNE-^*;*U3@!)f zgGYfMAm@Jyyc4v5>T1EGt zoWmz0Qr>;aMzcBvpI_vX(|j59jeC_pWrcv7tv{m%wGrLKgB>3i!G>weJ}pgC$xHIC zg!ED9%7@D+sK?UW$QL~?x19+#vNUd{s&nhHdR zg>yc6xuO|*8fxygiCQT+pG6kAGza5ASHYvN$hL(rX)(2#kEzD+StXJuK3AJ!?6<1Q z)BHzUL6pCj{pxo?Vf8p^-aVt9YH}h?Sz$7NzkJ%uHTIRZ%seqtm;yCfS+w1nNhi4J zFUyLWbISWo7d21JuUAxB$k1Nn-&r$1vw~u;wDPRK6M2-BrZ{*ONb=1}Gac5fvfg0a zt4xu6d~E=xi*K=}7Cahw<$W9T)4rCPJMk_w`~Pv>kSzxy(~cF}y>ChOLgZ?WOw!S9 zWaq?1k}b4g>qq0O4D%C%rfe1MA35`-60a91#_ych#}aF;j<-IHa*mRsXAGwRnVXEi zrRQA07)n0dG!)v$dS4wlu&3X!_iDq_I%a?B|1^s*I)QzCagyC0W)HFxr0BcPWJ~CmGgzVn&~wbB*?V$ z7xv`jE>wSxs$-f?G95T0Wvy7-85RU-6;=b7h!H`R@R^|`|0cg_eQD=fHJU_{p(E!Q zn;XPUh27)_dHc|`Tuc{7eHVCi+VieSv6x7fp|`39$Osf7hZa@e1Cy24@Qh|1NlZs^ zp?GrEO;sfbwj=~4b-^=F0&D+p4^W4~s9>|R?h4PU-0Tp+fE8;*r)?5a%qJ6~3YHb^ z5H1@uB$10Dhls$o6X G^8Wxl8iWM^ diff --git a/src/Idris/.Desugar.idr.swp b/src/Idris/.Desugar.idr.swp deleted file mode 100644 index a46da998e6728132d64e793a41f3bbe90f994efc..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 45056 zcmeI53y@@2dEXoH5QIo3U|T8@!`Ve*deCYl5DBo(f>t}bV(>nO-B}4d63d+b4?&--2h^xA{{yW|Gp7WjWeCKh`_c-USTz$jBG4tHHt809oP^>}Ttt+2?^;7Qe-G%%A#9cq){{GLx{YSa$*SWt3 zT!nr4k95~PA3s~T?`}{3OeHXtz*GWL2}~t0mB3U2QwdBZFqObm0#gZ0CGd|@0#UP8 zyB5wb6MYx|zt{gC`hi;QFTrQQec<=NUEtqC3Ahm)1pB}h;1ck|;O{Q3)jkLQ z9DE$y2Yw6uGWcnbfOT*qxB>hq*bn~4MYY;J;H}_Ja0a{#oCc2qfAmj@Q2;{_ftQ09 zgXe%JgU5hJgKs__THrx&Klmj07`Ox62(ATn@Kp>4cY&M14}t%Uq2V9E7r;lsyTI+B z3leY;TnxU6q2Tl2BjC;872r5{BKQc#j@NZxD@;~28&OCJHaaWSKu+=i?riAKodxtJ`J4j$C#!K z%rJv?Gd8_}sV^Rl)=jHn`t4QI8Kj%2a_}Cjun0HA^v`(Ho+^aJm(U;FJjQ%IBM-?ZMC-kJk0a;!@mSm#c@m z)bV7rxv<^~a=kLz76PF$L7tkco;RKVRRe0DpGE^l&4QEnbW6+(J&s7u;CIO z8g32EeB2tibiRiBjV*fM(w*8)3>ZdR3rVZ%631J;Zhu%?-xzL09Y$w&se4xIH}uk2 zKD^cIo8ip?t0w)Z#Ofz{BCc*PL7x4%)!s6_e%zQfG**AuJv;DCnr4$P&91#^{`Hk6 zE134G1EPU#u&k{_jkCjc<17h~fjQny4h{z0 zh9M$EL=fEGZ%*_i9d|a@;(n|tBvtsa&8AJ;kygq|t*_g1&Z`mowXisC!a5}PxsFlY zl4P2^F?ViATdEc7KBl*zMMDPtuhDV|r97@*3$3_Af2r=^McMeGsd}7@tpDlcY|`CK z(q3!A-d*a%mTJ3YqGa3DZ`z{nX3M-h?!@aahX^xheIx17vG`FO07fTX64BYxM2FU* z{=m+;DaU-7WU#aoTK?f3D_MW-n10BAI3w3}HmftO(Z^2>`$lii&gMqm1QTV=4GP+%}F*yA?Goh4r|<8Xp{(Zl`G? zmKN@gqqJ`vk)FKC(=rE^??*4szxjX z=etR4Yd>$-&XTItN5E_C)iox@b8!cW6ZI^Qa=L&BU}=d}9|fN4cFx5Eo82!jSo=U$ zQ|x1H>%2WX2irD&#lhcnhBLd-Gr7O<}+GWnsK8Ov6`W#vdEw3 zr)64i&)Lp8t0Jk@+Uv6B6Jo=Dw=;LFn?%hyU1_HGPSXgKK_yA6z_~oC|&n z`N9P%xit)~A+4ytjk?`!ZggVX>E>Lotcm{r@gGw*Io$7e`)2Ru10kb+7LYfEx3QxP+vj3&^hn-fWe#0`&{};OtEP$hYckRqS(~j$ zb+O-G7c2P0(m#UP$Y!V_E&>nYTfYbN!3_8&KJ>f6tH86t zH!wWB3%nFO4_pX7i0}Mf@J7%9KMMAMFXKD^6u1k#4$OmRf{VcK<3Im3umCOv-^N$| zDeyLM3pfb=4}S9d!P~)Y;4G+v8u$?Y@&F=v? zz6%8DtCNIde%Bd_lZ5nyl#gQ1IvH>F+rwCfiHUDD{mn@_KQoWZCnHL;73qp?*A7-3 z5-l^)aD}X76Ph+tk?7Ir727AU%}&B&hqN-P8TC<#PIpyJ((N3fqg_nGg*o(v;=!M2 zz^zG2nO)MN4jAsX zC>O*#>|OZI5n$>o-HoIver$2vk*a1pkvcZ)&3#I8R&tAh-8R*cNZgQFn1#3(;Fhw5 z!BQOp4jqG4HBsXD4pl<73^6-5x(OzF)6Ax0v}8uaI^}IBAKMuI|0g=O>j-E&A&c0YUr=y$6Tvt%Pc{TkW{1AqE3={g#C1 z$WY`N`R7YD^06H<=y_xPYwZL}K2LR%_u${Ap$}&--`^}CKH ztpvmAu!>Q4&B<(J*=G6XV1$bFoLG1)>a>51l9?WorpQcm6zzxFfAWmerH&Fsr8Aj4 zr>r(3eTZ)3`xQU&`1z?>d6W_zd$zgkNGl6^OfBs#on7kE&644|wD(Nfu8vWCYB>pp z9qlH`Bi)19j*N1%_^6h}fV2P!MP#LUIUCqA*wevX7~6rgcdU{mSm`#mnGq;*cb}Al z6@$hmU41->7>_LTQ_krsk2R@FFB%L~m6i1>(RMmt4Oa5x+)8Ma2AoeivKF@eY-pET zajejUvnqix6zVsvxRzVlVO0>Yta6oxwh^dxE#3t^&DQeeNf(77>b;8zMKT1_iBJ*Q z1vL7>yu`1Hsi|G2WBYJQE6B9-T(;x5mZc;UgP&}QvY32=@PyLoOQkYfn6k%D9TAZ$ z@>r6rtTo%oa6ssrn+Z$PN#*D+4`pAseAUeOPv!I?Oyy~4{myS{5&eG;3hgn`YtjGb zopSq8^!`_Z=Yemd^M3$r0g2K7d-VPL!EN9<;J=~o-vcBT|7qYM^!>X*8$2C63Varw z|Gl6C4ueO6KSb~UMQ{{68GH+!|DE78_?O^s(e*zCUJqUdo&X*~$Nv!c6|e@b2bY5X zg|7b@@P6=WAo~Bs;4|p^9{@iOmccdP0`O<(`uBie0@nkHo&OVb{ttj9a1pp4ncM|L zHb+H1JAG`EGVhNHmp|EFy%BSsjaRxO=EI#UII;^=AO9#+c6?aW7t`c6;-At()`dzXnTJ^-;n;E0DARH< zIC7!Zb$KAUAZi4hF8T?V3Zt%dvC8tau@)23s*BWCyD!F7g1O`VW?RB>UF#C87@1DA zzS4~HTZR$wr;sN$#bo(Ih zbQw_Y2}h+TbbF;{bi6M0<2cQ4s&XxtVOJfod)k0W63>vFM(`3$PT^f zeA!6*or}^fGq7`t>ulsI>Mo)}11}HLQA-wy`6GsI!R_V{b#Cvg4!jC;v{~-V5REqz zYEUNqELUYcaNs~bYY^e8(>^;~4t6Bikzh1yoIWCb@YF_wklEk?&=1y*zBznkxb~q= zWs(lvtSrRCw~B0Xk-I`LaJ^Ota&{dm|Mig0~xMj0f6n!J1 zt>cO<^D?5u9HA{!QP9Iuh$E6KARPt4m-?bhSzkQeBW78Re=XTZpqt3(5&B5MprB8~ z^l?%iuIVPUaZgoGXOgFCz)vmUI{Zx({Z(KQYbi=~++0Y^mRbeG032-3%h*2JZA66qQX=b1vBd7FmzY;urqI|L zXbY7`R!W8Pf`ZD-R?t7xi8grD@`w`4krq=cXS7%9enbh+YDO+M#UWV?Xgd@+-IBz` zi}gjHVM}T_vS?udL)&6BbPQ7jf$FxxC^fPrD(di*9Zh2A%Dd9D2J*ZW+8ALaH$)0J1NW6JSz4Ow~Z6NNvAYi1(fx%l`oc6Po&D@I#*U;)to7e7HRr=!N}MOq`OdO zi}fg&ooF=oSx!Y5cDS*PiWj=(38a4)e4}K`1X;65yXU*e z_|82uFRQu=ALZbDDsa+oilz<4ck=&ZHAMe^0ebD5MZZP=KkjtgPoVd|4n*KuPzPT? z_y0{0gJ*)jL-&_hfO~=L2e<`r#CYxRu>nXtzz4zGzy>%39t-{iTfqCktw8qRKLvaV zTfn{G)u0PbfD6EX#wPGS@N?h@xEy>1yTE(Et>DMNERa}%2eA#@2i^{D1J{Dbf%~xy z+zwX3zW`ssCh%{;?cmwqpM$Sr5BMl}E9in3gU5rTlt zMHPzVv9p>nuMy@&`7mpEIVQsiwy^m%Xvzhd+7nv3u+X*-DEc6dSL)1>4Ph8UKxCN& zzG3yo7@2s9>{1ZILe7XX~hDR<&j6n5Pp^>dEea{Kw3^ym~74}W`mA~9t{ObWEC zRgqgD8ebfLm(yiKn!YM&rJ5qE-IM1$X{6YGG^q^ahSnyrx< zBu4k>UA55!-M3OGGD`D_`bWCJj+4Bdx45j6b=&2G+ zdV{s-u*SoNSc7aO_cN?DfB=&WNZtL0^q?`At`6D3l` zPCm9Hx{&Hg+awihxyzo?*W}4$jTSOo%a7f{t+2<4RC2yr9`FU@I#;}LUG)Eh=%aUv z-irRe=yX$w|Nj}VA6yMC0S}<_e+2wKcpHeo^T1!D^WO)48^}2V>)>hNuh92D1MUSs z1?Irtpzq5$eD{L4fER&lz@MY+zDO^UILy09sxd!?tc&H00ZRgy$8U%K?8^_;0M5eLGS-Kcr7>%o&^3Y zdjChjFMt!^$>2eB{@(;Y4Hm&H`0vQ@0U)ycb&==!e$wu32(TOsRlBi^xNQA3!@(iq z9*_k2ZlEi6J@bwuX)vK`(04w8754#p=M^{?X3k~E7VGV*U1x-rtOhi2* zS6!7n(pIU$;mJwqY-2r#^@ZYtQ2odpKqK0Sgb(IrH?q0Qt*xRfL=pP6`EY$l$%)vA znB-u=3B+aOvs;HBDpxJ1@DdVySQu6LOwmp6>TXq=)H!NOZhB_a2Q1 zZDfzzP|uu^kX4q-svsF3qfbl-JsGBD<6n9#Ta~#=_7>o6vo^TWFoBunSRSCIJ7>)D zd^hFyW?7XN;+Cqrk5H7<)k|t-CR-8WxD!q-B=RL*?+v%pD!8UTRdovHkwfVbS&IW~YqsK?tKOV~A+{j+1EE$wiMDP$%;$TUqn zNz-}4;~P%}GIk_KoLATR&kT^ic1ODN!7Q%%ZvgNDImesby^QZIrT+aL(5# zW%s0TkG21DBGjdB#RQX5$ba$FYWa)u zeUym9grl3NNH6>C>OFC#J&QR-E9^y;m7R?L|K|=MeJpGGd<&+J6gG|NK3_>%wx9Jm zFRs$DnBS9~7ih!qJFs(J?}3@-&jcP|D4IIRAWMb>KHm ztZqcI^Gud6uHEewGy_)-geE9fbA{zvLKJJ)B2uVyk^C0C@}db(U}p5ztq7J3!BlqB z=du$9XNljOe{AFgd8oV2(vLx+r#{d&q?IiR*|tyNBm1EKWC2LwgItvwsaCmpW0n}A z|I6nkqOYR=pU_|E=;-^e0XKrDfQQiY-w$2`7Qq$ZJLvd-0DcDC1g-#&0e^&^|6cG4 za6PyL$ew@?fLDVP;77pM(eFP5-T-3I1lNEI!GA)>zXz-WId5O|{eKVM1Z01}rQi?I z>wgv83KqdExBz?}{r(+b8N2{I5qu5Z{JfK4Rri> zg1bN$90X4Ue}SGa=j-1Bo(sN(-0lN!1Fr%qM`W0_P3fB~xt_0^wyRUs8xpLxDF>A1 z6F9vnXlmL1olmpdjo-@Kn2q0JI?DP@xb0i=s_qG=s9Ys0LK-5d!zJfp%FGLDnJR?O zx&7jHkX44>=^9SWYb;%^>vlV$CoDRu>1t-ZXRqYNqt*3GlZjLZ&GFq>$~bl>U&^FY zw(jdCPLEkZBIsoIqquuSAZ(r+C zM$E|$?6pgeUe+U`xeUWo6tfF z?6MK#d(M?M)@3x7@Fq=_ZvZF%nalK@7XA(nTTY{cVj7r>;wUKY84{{fm|Szy+>YzX@tW zftN~4xaa$5adU(mu)-M{W&Z7r@k=93^RU*1fc}(4rCwQ^oS5@pu@$OUXv7E>uVP-& z5XVlr-d<8Z(o|d%6)po;Yb}0c3w|G*TjM+_sjR+Nt}R*}OWHGa z8C$#?{GOzb1{vIs3Srf%(%EbE5gR_vsAGL>#w=zn+y@dCHrCUqTja_``A*<1nqys# zv=fUY(f?6fYi;=t{r{BH|38k-{|4~m;K|_2==*X8z-xi{{htb+0{#kp|D)iSK?__3 zzJtCmKL6Xn5%5&-DfE4b{l63Rz;)nB;30JV2Y~qfm%u6T1n^aK{@(+4fRmsO{tTV} z9`Li^2zV@z*#EDf^S>9o2fPv-1Q&x(qxZiPY=9SnE5I|rKcM^n2k?vFW#C!hLhudr z{)fOP!0W;7AOY*(GVmAZ|DOZD1%3iZEWjS{HS7Q%20saI0{;xi*#U0=Dp!$du65aq z7ply|?gFvwrr~vY9b=6!jX&=!)1KXcZs=Ay$;$dJY7tQAbqUtvc;C?!{mV-dbi{pT zgLU^R)})SvzELi5hS<4Hy2yYG_F3cTn$4~(&XZX79!LE)JE7%_4BUE}i`BjvNZ6Gx zgk?RCSk5ny3BxHh^P)A1zR4R!)bj0U`{#_)ZI>6QTswWQpd1F%?J?h_76`AmqN|E? ztVF#!`_7uJ^5?Z$`=%#mPPyti%v$gJz35V2Cs=f;!&lzPr~P7ct=(ATq_nQIqG@xU zfgEbGVK?B)J7j$O^3q0eOXpr5GiNDW&sKCfrXcsSnI;0_>?=8mf++8JxWVgrI1xc! zYskBG^j$8rQJRJ~wHP_eKx=S{K8S@_%(iNuZ~779eslDI9IK@#uITfR-cvp;4^_K| zO;lRR6PCA8ma(J;YGu zS0xo4rpiN6hOVje<)(?tQXH4MT8`s#jFn`X(eO#TpvsV?lRHn(iLuF*At!STw;Msv zb5e1l&t+3Gxm?l^RXIgu6%F8cL;mtfnNx$GKRr{<&8!?A6{Dk=(T$COxGWsA_aVsu z)T6n?iX(>(v9@G7=eW1byR_T8lYcHr`_1lDBv9 z$mAt)+>sk{8dy8l8s=!S^`6rXg-F74uhS7z)_R+{u%kxQTuRQ5vcoq_EOsxpp<(~( zZ15CIAD;B7Ua2(yWVJV~6sVn6K+?Ojsx}(DgjC;Z)|8_qYv4-ms&8o+|eW9K$A2NkcXx_F23-8j^9J_nu?=tdXBAd45ZGxwM%~mmV z7TDRJF}xdp0mDh>D8I;(KIL2nIeN^2q;sX(vdjNh9C4ttz8n)EeN|?ZooL8H&=nI_ z&d<>gQ{6IhS~a@>9nECeg(S0|xa8GrMpltrbBt$_*H3)?%4MNp z53zOSNl8L8FHOgkoN$w|qlaQ|va4?fl`60)+Kah8qTWRoo{TNY@}-=whZHUN)BNaMUuiLc>;N4UCe$vBd+F!)FS9lblGI&iLcn||5u`(Mo#}f;`IM7qVxYL zkoN$-3COzu4uWr>^Ghti$G}^`8SotNx9I(U3|G|LI`}d=|GU90 z;Mw3W(e>XC-ULp99|506*Z*}e4;}&j03ClFTn;{mUjG~5EHFUM1N>dk0?z^x*MApy z2UrA`g9p*w?*c7w6Zk>!N%Z!+ft>&U0`PQjIrsv)`@6wwz>9&z_Fn*g2l5 zoU}jgRnJYG^;(?N(jPsl?~JZHMPZ+8BH{!-cHu5{56Mz8eQmTg9LhCf30OFpEYFxU zx;jSxRFCblJGVoA`taEj+5Jo_dMLZhRr}nFoMq9elX=BGU#T3^@>=`l^kw$B8=`!& znml7&L_Dgpigt7lM)uo#rE*Df5l+gC#yinM@?llkSc}wl<5z^T81J(f9d^7MopE3-9T*KAj`?cogTc4x-fmi64qMw`mAwQXw9mDhviQs0nZtnO`f5H_%F^B8e?LXpgNV~s+##2}op#C<`m|O_G?d!d zym}C^U!{9RN8Y5P#}7-Tf^&Rzn1(On$iG)3UsihLZ*^#lKVV!~tURdOo|Z6nVbmnsAgL7_sU>rwE2j6Qs4mLu%+{9Rj0=!zfH7&}R%czk$3ifVFJ*@VZ3 z2RXAJDdQ@$;=#dLy3)7ZaxP6U`MJimTzQgn-F6weAVdd>%VlM=w3ur1Udwd5J{%kzSnQT-w~x@wq9}JW({mJHmTWP=EDEpppvC9Y6G(H&OiARmt*? zhSZc&T~Jx)L}^6jES5AX-7bm>0!u`@rKDmpRcU+?uG0I(N12IMV&K{=HFR61FWwTZFHn{aD)GRd;r(V} z>8H2Y+diDzCr%TMP9jH6pJCIH?{WSGL6*dRW1Y5XpxAN0+$}A;?WoK