From d8f6494f48aa08bb32d9d1ac82fc16e9e41b76ac Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 8 Jan 2019 16:34:20 +0100 Subject: [PATCH] patches for compilation with ocaml 4.0.5 + lambdadelta website update --- helm/www/lambdadelta/images/bronze-03BB.png | Bin 0 -> 45359 bytes helm/www/lambdadelta/web/home/home.ldw.xml | 3 + helm/www/lambdadelta/xslt/ld_web_root.xsl | 8 +++ matita/components/Makefile.common | 2 +- .../matita/lib/reverse_complexity/toolkit.ma | 60 +++++++++++++++++- 5 files changed, 69 insertions(+), 4 deletions(-) create mode 100644 helm/www/lambdadelta/images/bronze-03BB.png diff --git a/helm/www/lambdadelta/images/bronze-03BB.png b/helm/www/lambdadelta/images/bronze-03BB.png new file mode 100644 index 0000000000000000000000000000000000000000..3cf5900001a4aa5db28039ca442cb3001866cfb0 GIT binary patch literal 45359 zcmb4qg;!MF_czi=gMiY~($YPELr98rcO#*6Do6||Qqlr~Al=>Fj!4JQHNenA4g9Xp z_x%Unz1DEKcNR0;bI;jle_})4XebdrrhbfuhDP{W8T=MF&i#9lU;{trt4=C_1E#&4 zx*Qr>bprmKB^Gf0=)+qjd9;cN+CAWe(OUVfIvSck8yecj&uC~jz@?A7XlP#iXlVNu zXlN4O(9o#dvs$#IfH$zMRF%LF{{@}_atXMC=dNt{0XQoE_fi~omic$l+g;8cIR5vK zpyivnm;j%N_8KgwVRN?fzyX0d%T7f|q$^>d~L=v+`kbb8|S@6?jvj7_(?S_Or5( zTlJ>5INqgtwvlmxlX%w>zv#H zqkL2lvFDyl<$9Hx zsxc_jpQ=Du56-&?hG=$wpQOTVLp3M|ev)M*!EHMkh^BzuZRb9;*(dnssJL@#;QSko zGtz(lRsC{jRr4N{rq)?JH0zFeL#|s{bL*!5{b=Wf{D7eB~=Pc8L=P-q?`IoeikTHH)tkN*cC$E|Bgb(w?JSs;)Za1mUKP z?6tGL<)LH>>$a*kh!PNZ|Dm=fxe`B4v*0xl^Q}HsOtd-Q<{HW?D?3Acui`|(aT=^* z6hF~*(6v3@q7m-zLUU0E6OxD~49tEt|5=lQsl5vcQ;m3EGY%mc`o}Nh>^+l*w)WvP zPZ{60Mn;(MHqg;XUO;xi7=8A&wzlcxE}1zR$vHV`X-U08(yiH!!4jqi*LiRFpFSoe z;Md+78wh-?6b579=E} z$q^F1?4hQy&d?SpY5^x^{F-`30M>K1E1Dle(h%6ycFWrE8t$weg6R9WUNNp-+ytr#o?jQ`h)PKzCy5QXiIn^$n1yQ7Nlo-9wKOyg4Lz!}RxN%J zgv;l-UulMr35%xu))~VA#^WXX7gCC|lRh#Eq2i8??d=8;wr{2t&CJE;=WT6cV+QEx z&@QA+qrI)I&Dfm`IS?m(r<HVNAUNA1O!AAS*x-x zhKBw9>FMv|2>S+b56vHR3F);GasNFmEXJ}PAhNO^ZuqonLs#kPkB*KGS@-uPyvy39 z{kl_Abl-l>9K{`3V;mXd=H}*L`~x4iE6~zVQ~Au|#H5sPwCHp2G*QpF-iRBFPpP9v z`Q#YB;qT>jAl~2>ayfsvczvCFx0%-A*-Kcxb`VK)xDs^E0iDRMY;Onw!9p&kfp-hj z$S5dNlQ*|cP|M47bU{Jj%C=L`!`Y1S$YAU8t5+KA(1&{jA{e<}8u%~>x^JE|^`gM< zaTl}7Wthb0HV-~(R!tp(Y1ZIk4-N#%+@rE5a&o%m^7HcIx1mp#&y4q*?PajV&RFtB&;ep^Z+;%yQM?BNm?e!@O z2wxd7wk~oQap;p=s>9@Z{GIf1N5_(q5$YT>H<3&=Fc#MIbV^Df4N;_g9tm^Jk!#T> z=B5M(nO1FIK3?CLT8Y1ZpQ!r&7PG%u27fp0?Ok4$mIj-eUR;=(LNZhFAO9+iiSc{# zL%C{W16YD$Kq?|UJODC-y_l7Hs6@8jC?0;_Z>Y!l?#ag3Ea~Bg#OHjKH8oXlj>

Nvg^QCub7z=hi)!r%{wi_6q(5gqI6lR7F}C+a-1tuaNNdpg%~R^(7*A3 znKqG@vuUWD-4EZ}Yc{}1Y(lRRkI~MP4i_6;=3CP^*nj?Dk<8p(`oPyx+#qs&xf*bJ zAuQV1So_YW@igFr*kkPz!JAv$l5+=AdU#z~!( z$_~H(-rO!ONJvDrv?kEO_bl;?2M0E16UmKOJs?c`Xi zrf97c@xgeZRiSc}sF{VEwMZ{7aBr`vDKqma{NEDO7!=|k{S%YeiFYswIz)M-n&IlV*RI z7>KK{2VY;uy4xJ~1q{GUO$X!YKodfB9Ws=tXOD+rs&;l-T8h|Oe%H|yF;r*Y8A+(~ zX{q?`NA&3f4k|;Y9fYXk*k}i?IrFm3-ryYwVa-@Ri&HG>TCt3bWen zP<#ze6%{B0)gyRLSC~53OjA>TwhJwBP*7t3g3Pd7#MpC$ zwF^OviT;Qw&hEVc*_t5Y+%wX8zlDMAyA4v6a{Z!@hw;{QhUhLk;}=lK-XW5oDC*1! z#EE9Cx|_S4NZ!&wKXZ#$pXvd%7Sw^vt?|k%d4(^SDxvp!UC&#J3-qclo|T#bc^f8| zAC5m;VcL?+Avm>GWn|q+C4@Zj=me24*32JV?tUk4<0};w6l4zL;H%8fFOE`w%ElHo zFkr%)o6yPE1^1F@H_PwnNKMV5�IcqyDRWTT?lI6pFK=u|ctxUFiwQ0F-P%l&FC z(%jD$)`5h%Ig0zbBUY4uG+(cFw+9GkjEpQS2s`Hoe2vzA^b6ZN8Y4r`$jB%|19=M* zL^o;}+o7Sm@Qqqnkh!bs$Z_!Ww6JI?<{bm8s;2Rlm#l%=GWR$YN-d?ozD>^I-hB?; z07p@ODL#o}E1qZ4ieuLz^y+x2KUscGpM1m|j1wpt$ah!q#MG(U#;)k+XeZYtyR%=_ z;)nNTdigaq6kJYDzM!0MxZyo(y^%omJ@_hbGFWeVOygZv&#=dYhU}F8)tYW;&)V&g zAT_XMd(85ZPz9nh1YZr%1Y8b5@G(3u_MI!5kL5+)Q1NYd#)QgdSz;KV5ilC5SBg>- zVmDi8lew>ZkhrU`Nsv_TCiVKMq4k?ZW;U(6*>+v@mCps2g{h=A*-#TT)ZC6PF!#Es zC#<8AS90g*J@UKRHMsYxn`AW9BDe!&4m8zmUq?VEot;JBNjwC~5P>b0ENCrFEVC?^ zgoUK;j_pCW*$94ht&a{mU+a*JeE;!$?5_{2^Mi{pH*|;D$sN+5RFbVSo6e{1TZ9|_ZCJ}h zHvYE0&eM~CfW*s(LCV0K0m5zKdw)He>L}FQe0`mse!Al=VYvOJsHi<4fnf*C-Q%L6 zDM}6b^=qcguqAoOq0V5;t}U%MGQi(IATmPa-P?j^nuNtNRY{m*t7g7yQ@Lgh2imzK zV`C#DL%v7i+Z4scy9l>;@7&mbRl=IjcD3x7Afl@l)MX{jtDzKJb2oIQDYt5UJjXM} zArH3`*>qm60go9@54G`U8L8i7Vqv z`Z}X*jh`_WCEcQ*Z(};7Scg_Jud?#_G`zD8Zd71O%^)>YcBk9P{lS%Kt69)R7;%(@ zT9#f43M{PHF9xjdwwW>bCvI-jC)IumJ{6*7 zDxF>%8X6iOA95EvxRgA)y4&Gvb(ydE^vV3ee>4>XXMbNOcYYYy)7hUg@}`pQ0J%(9 zn3a`v>l4m5LYRxI>q_Ut5NYb8f=1EH!1fiJKk#RkJfaHtzP;Z$R^qTeO++*Dpb|*w>lQP@=M&%N7VS35<+qsj3;=;VD7|z z7&baL62=#NlGf?6ta5$}>pcIn(hklPb%O<;b0jXi3JFZBmCQzvBqQW=8!2}0e%Abu;08Wh9&<^k2tsVKKzBe7Nx3d7YC>YWCzxU2G?N-%k6;;S zB6D`O2D{dWv(@jjs^?u806=K*0>fu34YbTADyL>OLql5@D9t5kRxQlj21bEW^ltMtw?)ss_br4+ZG0~)s}tgi*;#)= zN>nTVO9jqaeek0Q*kMz7HrTwT`+VPjcd|Gm0F&C;?`+!Gxh}G0;L=cgA4+(~j`tO` ziejt$t28Jmz~SNeRC>BE@P7aW^f@%mjEVZGMW}IsrQl6y==%DS$+cfo1;=;r6qVB5 zGhQ`+fhj}oq6~CfWVapxUz(#6a^-f^yyH#)dNzqznEngiJn?P+gr*fBS*mooUwVsd zY$PxIp$6a-aH$@T;aj5-b^pai2C?5uW0MaPKCbOvher8}Zk?A4XA{gV_cs@CDn2&< z`|EP!1ls3LPWuP6)J(u-d_I%9sK$cY4;B`{`W;OTx-~KqTl4fmUP@%EksH@V?Lyei z0uEQ@@)wLmw8VF^3ROo(n%u~#4d1`Dpj}?ph9AQ z{7uenu^}Wxn;aTOEOWEVRY_tRg7WD&+f2H1!)%T^92w%LE+|;IKaO+@x!umZZm1EE zT(o*F5!h5x(wPgw>8VzTd}q+a7Q?+!o9M zC$2$o3T_Px`i!~clV_GN2M1JvK)DnXZP#`Uy40etUiJ36`ndSffS>akd9H<*>XCYR z&rA!8kP#9!G)iXQiQOFn#N{or7V{C8{`O{-$6X(JTwLeP^p1?aiHRwykPmg_1G*ti zqH=m%Ixo*!^-MnN^>YquU__Z{JI*vZVH=ifhydiw^viC_$wpnXi9pJ4Cy&G-=GChG`g|S|f8fJv^&~<6hK`~>@yAn2 z0yWJ39bO*OhO(jvip_(=e=E_Qap7wy-afQou@SL2m|72fzm1Slx!qY9v53&!zJ4ys zMWMeZ-2CPbBIF^QkCCc?LsLgymEaerr0T~erbGw?f~R4EJMxsl-m;lm-HB86b#iLz z*Pgd+ps)p3%jLWRL5Fk%dHdeZ^bfg>8@~H-U1{)L5*sFuBm; z4mKDb?vW4oK1ZtlC;f+u@O>+Fj~Ge{3I+0~LKK+BXq~9Tv&qhfV3%7?uF=u6(Y2~hnzK0mR{zmcdx5x@3;Lu;z&!yHu*|U5 z1~0+vEqc~wbF-hH9+#H4w}*!Yk(SrRdcUnLSi%$lO-3%h;tge4;I<19+yz+@g}|h5 z+$KhtYWy+`XW8G>xR*d8fs!KJ^m5El%iF?2Kfh&JEmE1hF;zd`Oj>N9lT;Lv8dI}`&(6;1=^Wo~1eWUlR8?oaS=x~~O~mJA{No^> z2e7KwJIEuT&Zd55`66yY(rx(bS29;J<7%t!&`|XJ=;$Sr%s5BdjScWlR__cf2n82i z_PoCa$56iPiMf0c(F>-;$Ny^3=sNs$-75bVr#D?0S84IkFCLy?qJt-8T0huZGeiA$s*%Y# zuC)r8HvI^q{5~YrEk>weUvT-~T)&E;E0h=rBr3`rHsm@vQZpYlA#Q)T&>v&?EYAT} z$lX|E<_1t5;Jv-Eb1{h#$~#T9D#Yi4$jH`K9PBv>^{_`f(=+#@ohAW?`_oQO@740i zzM;z+blxr(sbgVXUjvU|P{w;LT+&-jBSL=dI7MF~yS*JCaCvxei0bP426WQZL^91Z z>nytcc6iJuaImr8aP--Q^6Hzzy3oj7Uc9Kr7_#8c9Jk9KQxkdfR{JNBfh=v4fHo!O z$3N)vbK#ZRl_06H{5sd>tw_*PTe?GFR{G3@beiLvVcsYTEPZ|bfB`;i|-ZXke{c_17g;v!xN?`mVBmU;QaKOap4D|6#;C)E`X$A@HpdalHu7N9FDNJrCV6An#A$Y)h#!y zb$N!^Wy(8PsJ9)hFijl7VK|tB{{9XnAVwk+Vo7v$fg)6|=s=qki{QIw8$nHam2%V- zT_`d5WJ2=d0+=U_%MF&V)Cs9b*1cp2a2qKX6X36YA1zG({=KML=RBLp4B#hVw!teI zWYlzYk`pZjNKt1XnCBE0)p5E^h0naL^9;8^S5#?H1dQtNQ<1%h;8ZrpRny1l&J;Wy zzZqY{frJurvUEmDJkq|%9TMTW7+#~AAH`9{ZCRujU0uJwEUKTMj=DVS&Jf0@qI}}c z1hAwufe&BFyiq|wy?YcbP2cMvl}?rt+U!w(6voHH!oc*zQ>&^fbEi*MG%op=nL!{) z$KuAFyxcTfYuj=bN?*P3Iv51`QTrV%pFbph~;m7LIdHNVDY-58) zl#^6nkCLl+F#n4cL^bPWM6X>fbVwni-wJrNiBZZX>wYR=OcwvP1DStH3KU<$cD8jR zzO*9R%=h+u$|dNDklKk%S**fA@QIA`EI=mf^aY9G9)0A4H+G_KX5E@T;p=2Y*3i$P zGd+R;1RkWrybc5LYN=;4veOo3?9DLm;mc<*cZYbmpPw}IV+Ekd!(hnLdweZ*_1CZU z^bUMTI&nhvs^SUYe}eDN_yX5XN3T6#w<}4St}xzQS)h>NPQvSX7#*3z#O!_n(lI?!iT&^JjB77F8-zoBy==~1sUqwbKDrHYVwYIGxR2Nat z?qClc)=EG%SZ&R%yjs8@{c!h-(>0?zh@YGa8N*La7*QvbUs@@HXai6&9x-(U!S6e; z`s+4gc8Q{N%TfDPZK_Mf&Ou*zu8nb>(o)fnzS;B5lJs?FYRDyy!}n^#>kV>@-vD8? zK#G8V^kRNEo{Jg`j2yCl6NC>-@c5 zLwe=TA5bAaupj^fJJ0Z&&rgQj|53#ua?jma??2`lSpa#hhi@DQr%aF|N8cDWJ7_t+ z0MsxpePDa+LxThpw@OP&3MO&T5@83)%shn2-J2>Y8S=h`*7;6K&zjWwdj;QD249SD z0a)w&>o16UzoDiDBey4RViQRgbR~FGSt@RHZD>+ca|hnoMO#_dzBWU2L4C_#@Sl zbB2eL9Z=^jZ{pN&puK?nlSGGWa#fKBt8kRE1gU? zAE9-*Y>Q4u{)7Zy?TaR;-CF4t26PCwv@6bGa=O&n3BV~{^uDXrgDd_q#Xs#m|039p zYKs7Dm08>XKrGQT2NFi!1PH8`*0 z@Jr<;qzir1;x__$i)bV7#{H*B)He>&^O2?DlFR}d=?=(kc?4JRBSrJ$60q)psY6>>cqaMZm1IRCFs(y#+d%jE(- zZ*j>QJWj-IrL(gj%$y2c!z4s_YKH`t^v9!y-(^0i54DckZgJll6HM;|X}+#iIhR1| zK&0sBe9%z9(z3Sp@u`D6gKvH;P%?bX&dm||;wgOR-={rX?_8f4u(|IQs-{s=^j`*G z{ zUeE3$3;wES#j#BvE%?b^D;{$aHZ?Qx+Pv>VxA0iqkl5Pl@1LK~`gng~4myEczzxq0 zow=x#0kUL>xw3NtqE=}Sj&SINY9$QrFdKCSU!R`7KT1k$$0nVabazU@ zrK0Kw3Pl{=-{$&S!Sz-U;4YTyUWVY47=2UL5Diu_j!zk?t=B;*+Ihy{lvP+ zM`VJF?(v8>>o`1|Ta6Z&K(wB%ew1Egv5y=a7{%`HftyOHGzk(`?SGQ}{MF1+^MH$R z16VMk4_`k0r~_h$pjv#6-92`GO&)|8&fyEz_gLe*f#$tZBX8aR^VxU^ zJy$O5Va&dwZ3BH){7ZcKGSOXdlNxAeU&a>(adx_QgE54XFc<|=x+dOyFMI9Z zGW=tfL8=(Av-k&jd#jG#qm&XjeP~(bgpK8-VWAxz9R=17QS2W5V;2Fi+q<3g7w-Eg z&}B6aL*S8k&P(~fb#JyYp0V^5i#!9%iOy!kj{S|i{q*q)hK(`${iSG1_zpffd6b!L zIH(}$g_4qav~ucPN{41XihTAH9uM@aA1`@MQ{j7VepzfWWZYYdRnj9_orOGG_J#Tn zE>692qZ-WNpEx+Cyt#Z&O`6|t3^3eToNedj)rJpEP?Iz1z|HU0sXCkB6+FfUO-|n4 znwqa(efYrb;aJc8;g#Y1>6UT@%`z#*qsm!0tN&sBPR?R;Qslhrl5a1e^Xx=hb}gMl zWk*W@@?=A5cA2Wv_aEtV`sq<LNACcSSe@VBpk>QkmVf%%{LF<9w87(;OHTHj2uI9H_!Df5Othy2+DW*Qv{+bvepzVTlntvQ!otESh2O3E@IS8lUS7W8pxw5-Sq~t8 zPDc0<`8=4o5HD@_Ht_=I#OEcRzT&AqgyI4(2ZH(djFF;+BP@ zy*|nZy3nc9yjza}VCn_DxgUL&?}cGYUCmcV8+G-iAGqRJ&HZX$=I61n02e`vEk1s0 z=W1y6OK%Vhp^P@fDr z`M01*WlZBA^6Wt*KtJ9bbq7DYuF(rg2UW%l^b|^F-uIlDhJLlF_zLy z{UHJMh}&p0`w2k9QG5%lohnu7aoX_kYe2th zzuBMdXmFfjPB8JB)(mN}9hF9A?SZ`qGD!Lv9oAMo37sv_k&bqi%1a6cr5~ z7ees1!_+9(suT;Le`kOG*!3(a349*DNJkLSdvdxsNdSP#%IQ;~-lU|w-+f@ibUhjf zm`PZ8*o;qD7Z8*T6meU#Ik-xj#P||`!;c?TZ|I5Q{T+VKZU2g$P#Z12yX^!>&&p1X zzjI>zt0#R%nBV=n^N+*%0Q%5xr+)=!R*nQWeh{pI&5EvZ>9??GY~=6nD{w@?rB_)| zlBh|GmKIa~>Tu7|<4~a%M5YhzjiHba>$u+TBI)aiX6T{)kP8?9CKm z^_O;V_w!3hxxNNBH*akf7FLsErWd7hC*O1)h$Tcia{taE2~L1e=9`kv@U26Y0E&xP zCW=r*-c)=Z%s21Nb`vNV1iGRtdi4*|9Om4#D)x>xR(ZV(3&SBgSOnZ7hxI-%6ta^+ z99`UZn`Hi(vphEkz?h6I)PyU*UYhHxs5clvR34 zRI`yH(O`hwU+vx)Y;Cm;d*LpFOT3dE;OgZS99)MM#fO`mqyJZJjf?y_J)e`_`YjFh z{=vbK9e8?vSg7p&9=rn639XqI5InpTU3tS+a- zGN+%W8#^rQ@DTV~rFa)W=Ky7TG}Ko^z@8{UG_Y;;lP5Oz53?ab_h-fpw4nQ8O@ApG zktKilMuMoYtsSq))lsWb0(D$r;qo$jW7-7hIP0$Y@Dd9@C-4-iWbW?>pJ8~ovSu)D zZTR)8`sGss%uu;7xq|d>-?GYn^<4W-VqpA}8^J+AW1EH3MTOOy<7J%aY_vu^qe9)I zLyQ>Mfwl*&(J1-Pe-KQ4@cdlY`5GU$4}wsJhbAxQAZd19AX@|J%*oM`Z3|$+H@~u~ zT5*M#dr^#DBHRtQq2!z=G6HI8`8@tokU>IX!Q8usca~Hw^$IVR+ zeFwisH@cqN>(V%ea$)@!A^!dmk$}+!(2f#9mO8Q>b|wmxBqbqwWyQrq<8iD42ZJ8U zTL4x1kFi&(vmNaS;^C1J{!7&X6kN_TBzvAN*M%IiHW6IWtYpGWq=2ae%zcQIjMp19)H){>IeOy!@}TEA0L zxLMO27Q(|Z$WN+YQvN`{77^Kg9~W0$!zV(6zdtlcsvv4Us~em>+37_ zBpS?==zis?uHdzB+a+r;7>`<~@>%veW)ytJYaD^~X=5Weq)x1MzNQB7>9n=|`c)&a z1@HZg3)mk6n8G>iA44&b3(m2=Rd2{e?r<3H&VTZ?MBTQaT@jcCc_EJm6!o4pcIG-P zw=682zRy{v!{@Ork}32aX2dpSjHTNJb{rR1HYYcGuU`OZ9}o^`BF4!{a}vTdb_yxW8(?KJa3PvphBo(O&5EaZ?@bLaQ8#3y#OS zGhmOfAR1ZV;S=W*l7Ums*tuV+Blj$a5j8L|tEd zw+{E+`e~End(X99hY@FF_zGBlqjYQc+8D4MwW@5iC(gW*zS)J{Hw1_R@LFkbm9f+! zJE@n`PH+^{x$%!LAnTh<#XQ^zOtsD3>i2y=Zzc8rg&}YFW6!8E&`+g z6d9FSfXy{I&vu86eO_E1SBuc5@^ungJ5J?EO42KZ`raN+%4BA?dTcN!v>{jKzKw66 zWE}(-S#chl#?#f#b8?ycuI-mn@d`Z+ez;v*%gI?;VO9MmVy+vGkdj)O78U}W3j~CO zgw+?0L^z3NlQRX+CGR#_$g?11sdJ!y6jPRlUIXTa&2me0bQyPk0HS>>6`wD5+J&FK z^P+r^0oIZ-1SiDqwajl2*=7!SKmj>U!q+eNuMT*4pz^j1?EX>NX8kM<@U|2b1fojJ za=-S3exJMQ^}`P9w-ORyqM_TGMcx`#Mfa}*X&o$**_)W?G0e)PZ^WHAv^~z(_Qo8< z|9jS_CB<1hJZW2v7@%i`o_0J0-NkuFp9 zc8Z|*yx41#U_t!tlC+Pd!C0iD4`w?U6M|T7{lNYKk6*k#I)wZ?gSL5z>Ct~-xU@80}4hZEKI?{!MeJRC4t*hvx9cg z*48c&H4e~!l)94;&@C~HwoafavH=ukku4Tc!TWIQ63gJzq{*P8no)q8o%`5>$j(Ng zn3)0F%1c6gSx-w14FKtb&!Gtw#`@Z?0PC2)iLV(65phQpvDOBeeZx=?F1e-H*!yE) zA%6AJ%F5>E&RjZ>`0FQ+3yX?=fSGvp`FD{a$X4J%>Uu4E0o%J1nUvrsgpvM^yN>?D z&1`shSeTdB8o!{S>3fJGIgzHCgAl*4zm&$#F~63gqM4bu2tvPYg$iDoza1JJjS?f$ z>Z|c^tlqr<+EoN6U0`PVN}Ffly@|NUZ0R$C(ho(`HM=93u11ZnYw~8W3c!HM!4*^d z{iCfssqjzm)~ozMxM!j=zw+Pt;XoflLkbFUalj3Pg>~{ip+`VKLPBiUQ-GX_^h`Xm zcd1Vm`~#YtR%xD_Svo5!(s4RcZH+<^68?;NeUi-1?_pU3;2kv$nFlHIWV;V;Zra-R z>>zqAF>!HQTR%Uw;|#UHZ8kDPM@L;C95dp-hiIH&Oj-C{?@z0yngpIOJQUAXnxRIx z*jpJ&#HwYVKGe_h8hoD}%%BdF(-X0A|Kfl%h zkC(d_cC}`cYG3Gy(-ML~qkE3E)ydZB>GShMgW*&%r$dWw4AM7|pehk8^q(!SPwHMi z2h{ohS?-xD4qSfLHa2#G8f0_3yWU?Kaz6t?Q1kjLw@s1cGuIBkT}L~&UG$`1})3S(-KDl z(^*$HIJk{~v34BFMn;8+E#a#)2rVEa9P@d}-=%l_^9KnQdfpqxH-L+F?$GW`c-Cdb zM8~tALQ~qS<~A-`o96czB~M1y!BOzVwENu7+4T(2I5_2WaZ|>fVDB)ru{O%((on`7 z8OF{UZ<-+Nb;oH)-3KEr$Ddl&);wIAUs4ki=n4ECrPsEbZ#$}@a^*EJFfho@76lk> zQAiqU1H-&{BBq~7Jd2-f!Jp@NwJL@-V+hvVfd)N*1o+P{{DdGL0K?U(ECo+`SHp8nxGLiSW=rWMh#8ags!j#BwK zwO0pl@K66i&qG_f!2KIwLbYb6Gtm;Qyu1rerMm~1_K;wttLrNb&Bm5D=*&own3Jk>LYd068sVS*sbmBevFU*6y9_|4r zsNbzzs(Yx-pHO@oh-K!(^-j}?_z!JUfs0eZ?YXt>%2Q^H8o8$ z1vcuCdv(zhmPSq;7WAvJU}S5Wng32Udrs4Obd5la?KEe$M(On4uU~IOFsCv8Or4z? zC_dii+9>M3A|JJZ5EOOOxV5c@?mML>7Swztr-~0a8}E$-5C$Nw472+jtdfsMV5hEG z&sIc4teClm0!4HRSHWy%G&05Z251L~)ASrnsNL+qJ(9&H{zk2!27sWNQ;FCnG;RaY z%tLR0qG&LBCsI3a;d?p^c<`P4ueaVf0G$QtS)X5PvGU`A$48xn)6Z`}_b*AF($LT_ zQv+A@FV4o>tCO!^>xAOifZbjMuo4=+h5gg#%|s&7_AEDOGH@A3e>`U2)sd&RTsM>yA4u9TV$S zQ$tlm+%ENe{t$zzn0?TiDMnU^o@vAQo2UG!L@J_N*}XJa_k2@UYY6z zYw402!s-Xf7oQyK$;sD_i9@0~O)Kt!mbST#?|y|pe*EY=yKtxnEIZWDt+ZO3@3ST! z&c=6gCj)JuoE-+a4n+=*�+sHs;q7#R~va#HigyUpNeCBHE{>kEi>n$Q+QNTdJZe zC^$dn$YxlX5;clI`nH+n4-71~8Vb$mtW!UIN^|B9SPhzY9^+Rwtsk{&8sNO~&_hQN zpongveDM91AmpmtiW@Ycf9VJ0Cbr*$PtxtyJ9Qpg)&K>FqNYYVeUrTcRA|$5U>4`~ zG*otOZdzKRoadB!?)^E?TWIPvJt)%<+F?j$tH$Iuqv~YWFgcLAzdL~d*b%XEb2G<{ zk}w5YaPKr90N@>pHEW7&M~nyHyvbvFyz8?YIhPO|9n3}c?53IEDb=usj*`;+Y1(wD zstPTU%!C3XE~YG*ZOr%t2k-HqZO~-vNvfYn|?1#+-pBId!-v2XLv+!vT;gz=r zI1IsU>DbKT#ZFp=WpF06*?8^9x?03>V?lRv{|qCb`xBeNYn^sa*YAQfV>9Cg9P>+U2P$tLBWgqW}|m=&H7H!b(} zD)Ugd$s^qRhzCKYLe)t}7%|gr1lZ-52_fLfC))WI17Fe&4ZfvO-F7#)_+8E;SC}O{ z9S|!;Yz=P&056k^U4y0JAmqZMdV|CZXEk`KK`LdaZ{x#o|5=w@To_*X zt6SFhPqeeiXt|%tw(V2M68EJSjS<57d)z_rbrQEq=N63&bT_; zDxiNy-hJ>E(TTcDWR}AIUh|dpY~b1ew)bBXdxA{PH;WG8GG@W2v5M`%{n2NDz3jIW zKwE3~vwM&9A(foX938ozxe0kZVoO@4pTvwJ-aV^6)<-LB{qVt1z*v?=hE@K{xNnur zkJ=9o91_mbYGG(!mw}Am2K30XgE1?11Kj3 z9;R}Gw*{%p#|9CAB1sa9UcKH#^=Q1jy!@xV?>A#7n^VQQgQ3ew$}gp^$W@EFrEpqr zpdpeFy8=Q=N+;<(Db3yr$`V2+7v_uU2iiD9-#rF=3AqX5xPdakQZ98>%Og7b7jV87 zhc$Vow3u)v9bFy+lI+kITGPgkAPN4Ftf-H8YjAVG7k)Mob2#_Ewu0a~a$j$@H!FER z?KpPf&Q4CwF{~9GGL4HH&4>;jssrxTzOk`S$Iea$z-5eA`J`R zl~!_^RkdE}!qCK+%^Plh+5Yng#8xhA@Vhm+vWmSEyLAH%E z_#eTfUA8i=0mX};_4V})OG~2wZ+2pAG^Cjsqr=`;l0#Tn`zDPk3}BMM{QUVjGV7fg zvtZW!{iCCuh%Ec(kvoGJa{a^o!&M%Q#O2`YkIEf{IW0W`StF3|=ol?` zx^L%COgwvL=+Jb@IM9`T+bPc9fbh(kui|T8)n>;{P&Nr-1NO5!prBbH+RP?0pgVx9 zegs-qUPvVh5^dbn&2PEOciQ5MP_vYzB=?qK;!2IMl8&Z_09#u(T`uL|-xUWxcl$Zh zcsEUJe|P@Yc-a}&7ugx=v~)Rw^CEm>{XYvnAr6ka8#dm_+Ba!qu(flXfroVzixC9{ zfF4#robv}~#9r24N~5qU=gW)M>b)Z{YuNfSS4&{O*c2G3fc`*3GzYo}+Xb#8EI$u^ z;!u(DZgfsgZn&xH9BFQFq?bwp$F+<0NA|Qwku(Pftq+DQ4I8KU@z?hz;kb8~J$cu} z2H(grpjPNeTp1hBDbMke7=(B&L(t-Jn)59l?pJ$el#3e;T5{zY%vsZH@jqCytYBJg+yuRkBjK`UaRNY0j>IizcYwVIM;#lKK$1wL@>9g-6fzr7S5)w_Pf0*KK_pDs~-;!8ifks`fZ_D*WLnG~V!`!}` z!_qxW4YX(=bbcS4gPh;Isd9Vo?q0$wI0oATLVv^bBssTsR2G)qN#~@6sh0Dlhh}%q z=c=a}Og0*)2~iiXwQ~{S)N=h#KNS{Mj#@Kwa2iy?;lXr{0yF!hSb|{hPrdd7j7QUz zA>Q7hp$!dbM*TvSLs{IUy1}fhx_^qUx}J=+nT3d?3*u*LiAf5VP%Zy^b;b<;)@vCh zg1ELxM*Ow#Sif3S ztX-N&^p#6cW)PjoGFsJ2P0g4tivl&oPfAB#UL&Ey`Qgr{{S}E7)9*umTs|H?RXzs< z78UIHK2&PFm0(2zRKCv%?K-jhae=_hzdOZg5NpX%-npq)Yc~qN^@INh763~m4@dt{ zj1-;=nG5;j&7i8tPafSZaqt_^24cd<{KPd1I*H1H9v>?=Pvd}w8ABr@_4u5aGjv8i z^e&gad{`2AebD!o#ZiD-q){yqI-G`Iso12_P>droY z*`7Z^OXIm4d1zWEEx(x1;jM48tk&g9RmtLW@RG;8Ok`st>ht;{6u^LvUxJ9E0;&4G z3|z&h^^u@_)h>8ic_V|{xDXOD+HMj*Cqm`APycPzoX+=OU$d{Mqh+Gky=#6h9}+T? z+#u{;TTpmF^rBD5~;2A@HC$XV+yy^^C|)5{QSN`yQF2;yvEyq`LAICzAgO57ho|Q7sf(qT9o-fls1u>l$09) zZW0DX5)QK<@K6Lhhq$Yf>$twXBrOYDAHc#aIPo7LJr-(jNS2H5h#x>$6IrXD$jo)9 zGxp;bWa;Kv&*jxzd2$le?iSIC476*ld9C#K@N`#oh(b>S6DSF?L?7094_jW31LdRu zAN~#e7?FrYhCm6D&aN^1g9)|?6MRuvUC1^I6?@i)8PK66khY{88YzfF&PFae9p~JI z)uh_GD5SyO7j(s#4RK!UJy^iONx(=eM#mKr?xIC+;Oe*Sb^ee+$oq2(vaT#?ijw+m zTOE704gFx7f-(}fnvQ&HE5ayFcr2FD#z~1r=Daal#)1-FLQ}QN^tA9>C1bynbV~*% zi4{kubBJ@OGwX}@)C1>HE;8F*{3ZS^ToUzVQ@fx+C+Pvqi*7>tJgZ`Qd<&-q5XN-E z&HE?!hj+tMp4Ck`FVGSxw?amv_S(oYYyq?HXfA29WH*WH(`!T>dFDM zm0)<6nTTMX?hoCr`lzx4z8uzksH{dNUtLX29Uji{AoX-4R<6Y>?G}XJCH?)Wyyf5i z%2HLGbbch1@zY!>P&u(z%63H}qR+A{R5x6N{k3>i1X1 zEiB4wDnqdVkH9QlGSL?4(X4EA_*jNeRwJ%J=mN9t4Gd;TcQGoZoIcpM{v)Z);Tfq1 z^r_#Sd}S4MtGKIt8JPXBdd$w%675tR+6KZP+p_PaF=P{xnlW~@tcn@gr0YM~FJ5Y{ z7``_plex{pi;MJYZ2A%p13V8}r)NH-aL$l+q8K#WEhEP&lo4cy-*F5RN33G5 zswz9Du_vZTWMph_%QKCF;py4LKpN5ASvin*y(BxnTXDCf;^7@5etfv{;xgWR3F(4Z z*ObJPBQ(T%$Q}$R!vq~0j;LMT83-`4L_vWcV%i>jd@O^I!3ei+)h{)oi=+Sa=5YRM z*7oLt$bRm8)|M_H{qim);-#eO{G!KP!)7Y@yz@HGg⋙(L!nWK9(rbuH3YvsMN1z zk@r-rk+3J0zaor0O+~CM^-B%viZZ8^5rTa-X=-!6vkL1>X*d@lf-}Ls;m7^5u6Qbj zN~n??&yLvsgU#R~-;Iu?SE%x0(f4Nmivn!X-*c`OGvnx%|xlv$glwR7c$1@IB0*tu|l#| zmMrmfa6azRtm9DiGy!k|Q))BA$X8migX1ZDW2;vBDXZ`(V9V;lgaeOkYd|{^JQ#Gs zw4FS6&YZg^a-5wDfS_d;!KPNq3TkY^qv0jQHz*&~`0n z0eUJ=@|GOEllDTm*_=%l+sylm7g&GXo&VZ9 zSzC-6v+KmaPdR9d9_-Wp_P)9$6U^cot$tZmYc{hqI%S@j)jlnIWUF+hY%a6q3Fi0^8(UVE zKmZTCsbkBVuZeQh*hlI-n>2`tK}LqC77mc8i8I^0NUkAjDS6}(mGRV;(Eo%B)B6T! z9GJf&zt1hkrm4oYBK9}#>bknZ?I}L4OfG{XeUmQ5`z!259c_c!)(%$Aa_7NPF4WTcKY#kdSJ3$DaY4Sa)f> zyJyR#7pEv*RrO?l|H5;zuU1Wx;K8%x@+R)VWUlog$36v)_xx`A`{sACg&=2ZAsZnG znK4&pFZ7>fLCY~Zt=D$GT=?Y@=$IE9jqKtefk(#Xt>TkWHfiVOPylmkedFH_VVhJ@ zad*$jNqFVzsyWv7K|Un7J$bm0zsUWU$$pNyKEdA`C2FHCls+*xge$N z=Q`2?88{OE3FD4pL^rN)vT5Q8$Rl3K8wyZM_SVu}y)wIaI|a*m8XqI)JRb?pWHiXZ zlO7+FV8MMVMTf^&_4Mv=$!9lH*ihQ^vtUGVadF+${>Hur<2dBYS8mc~qr%l^gr$?G zr(XOR{|1>f*QLEo%lu7Ujqtbtfo=X^#q7%{RDjYvCs!crsnHQCnW3A83XXxy)`hDT z+>SNDx~J{bUZd&Z+oSiY%nD~CiMiF(7e0Xp!_RXN9{+?<6OMZi`7%kwGwE_qB$6LLy2 zF^PpGA@{o-r*vgW9f}D1+IaT}@D~k~r30jl;pXR_8tq3>#)JE3G9URABbTrF7=G!b zTH{AVYLbwrd3ysP#K$Mf|DF&gSJ+XUoFT)hIXHkBawf6$z;3;Surr!^47sl|SQf?g z(vOHJDXCBGiRB%;)32IZT8YVdLoH_U!xbs(CSs*tORfTSBxoOJO4akIK!Z}BW_h{O zQb*vDFM4Zu7FJEnA#N#S{BT`8axm8;EKHI3j*juf|2tOdCLw+1mB70FoXFkb4$`I| zYL)Z%AGn+|UmJlx^o?0Hf&YOkfN?;dh&~xku1C-l@vqETS^E8nk_wN`!7&a3#rl~N zyz3-I+(aCgwf$@3nIHqBMZ{hxdvgVz^mOHy$^->ExU`A}a5`yd?1jG~uJVzj7jVP3 z^F|yBLM%_)>Ln-~+hpS48XO4WYu;=_lH4=dF9s*6#bli4Od3IBH}wID#}MT6c`8UMRKX%7=QnHW4yF5^o79J*Vo68 z2M#)4fQurqetvwT9OIWxImquyw36Mdua^!T#0hm8_(+ur4K>$m7bB?JB_Up013PCO zLk-QOBqmWBR)g^HkypCOs;4*V{>Ft=pJw`$KiUYbWMFJynXi(riWybN3!EWztv>uq zyI8b!V4ba6-x_U^R@Iu0+meg3a&xnbR#2ImsQH17-8+~2jr!xfo7kVR8A2p92vg)g zVU31db~Wb6XJc*ntQ4^5xDiOWZuQ3P2`6WUlC-oc5I|ex7qXT2^&!M?@bYpFK$UV| zC2>c8U)v=b@oboP$SZGt_wK@794Rw>3rkZa!ithlwRG}P;d-!^O1uKMEHd2=9&;W7ikjAk?19yZUg*PG&k0y zkbOhJpFpM~{}4I|tofS;r4V7^{CqvVz8{?Y27-S9XcZNyC-ysvhd5Gb0JMQj7OKRm zKvF3F-&g-(y^_954~xeB!p|K;L@|1`nU?12?S6SwX%5Cy^U~s0rna_Ln}1EXD!X`u zRFxh2>C2f%)+DEt3;(qlhL4RjxNAd?pn+=VUNhkY&O^cjsq333Bzx0FE`2Lt(aWx= zsGtzcnWj*2*-w*-`xac>PE{zF9HA)8lKZqxEXG}jpiqVfn^wr=4( zYsqe|d&-|7C7EkJpuj~_F*h>MRdZ*){|>@$i-T<%4=}5x+6KD4baqAEB(`s|u4O<8 z@M+*BlrMb<4Vg2YRE4^VEN3gKxXcm-Rb?jx?`I>B9MVYOQb$Y<@^#3%t*mtE=~-6) z3r}V+icI;gcM&7se1GZ8D7>`19R&$_7VoRkwT&A+=QMqYho<-E-?k=a7aPWm^D9%f zf?8yg7eD4YmSsMmXE2Dx5ZSnVWSToX6VGuF9c^oC`_MxKOHSd|jZZ5a?S=PS;Cmyb zzZbiUexl5UlamMsGM!sF*2u?#VbKWwMS+S6NXp|~cYk4tIv7?#?#+@cZVU4kn;V;R zwsJgoc6@xV0!nUvKHS@u=~aCsS{S#=**18iJ;BEMYuTy3(RagB-FXMW^k(IS&0A!N zF+TVCe|EbvRVWNARRcxE)m4|;5Fvv0bwXH0YhjX(;Kawpz`)Jn4a?imPqDAQ!r=u4 z74hiay@yoIMm*>Kh??FOeumpWU2|cpP}%pg49dX>mLm4{Oia>r8U|EMVvMz2(VM9T z!&06+W|kYTL$#eb5TtqZFgf>nJjw)uzllva!Mm?usch<86@z`yegKYAXD!=qCleYu z#bnEA!vrkElM@(MD!AnmvhY(rCI8StQ4Th{LOfv3!NgxQB+zwh%#iO^E=h=>ln%UJ zy}u!nz=fpQ37C=;GU|#o0|;#YRLGEf=s6ffgNY+DdW49bZf!}uZdt;Rs0o2w28rIw z4WgK@PwZ-0K3QZY4yESMl)rijw?If12!sS)Zs8&XXWBpe2oa3?CYFToLP^LF%r24^ z%t#8+2vuZ5>0|R>Uv)|lAZ2}*e4~^qJ=Mu#@EbcJLyZ^_iPm{mWMM%;!Ag|SWmXAkG_n) z9l6#`HwU%$I5?NDznDHF+*EVmG@V58IBe!^b_0&g4bN^Rzh$F5N!>Cg zU5q6QBODho@TgrF7I6H8hT+KOYtr>Vm;uJldp zL{Lydf>&|TS_9T98%Pp#}fStrfIY?h@kQ6Z{wCH{u zWbD2E`}44BOFTuJPgE2y4`=n9`C-=HomTdfbj~5HwqOEx)03HC$a)AnS>Sm!5XqMj z8*3zF+17ODUKBpxpC0}53+vzg^_1s4sG|P4w?p@HivLzOq$Zuj4~kZzMfNaIY7822 zN$}2)jsE$wba;#}bp&8AG~%5}ri|XawXb5YjyfD$W~SL&9U0wQwO&XpAi^`gZ{%zB zzM1IMQbt`vTO&!lC^M)tk@fJ{bDm!Dq~?`>$7X=51QDag4toKSrYnA)x_7qmnl|^; z-GqjQn;RLqX@%`gYPRR%Pxpz5{!O-PGoyg3qvb8?2wgUYVe484ds`q^gn0aIJ91)& zXc=T>Wb`6Q&nSnIRb&_S9bb#tuxx1J8DI794Y!`C)}m^_UZ1@+o(ARa91JGYcDQ+S zC8nU4u&v@*we+&#hk4KOYDkC+&feelMWZ-{fP1@2tC6yILqn1&S{7i0tE$TU=FJfKK+qcKmz}1T;BS(S3tBdJG1uZXH5nPGsQniS1Zfz|tJ%BP zVjLSt^qIVY-jo97~sJZc+nwLs;a2puZq zgj&dMQ085a|8xf&E*2KcYE=a=w(p6>!FKxf>xC5;QLy1_Quqe@!SlnWlVMI?HcCoL zT3V`Atn{R2JTJ4d#Su_4^kYF70qwan7!{)FYWXret2@gZYC%Favew0hN&JJFVy4;m zX9h$&b*NyhPbIqV1vAh6?cTn1%~%>481C@vWTufPBjPBNV#CX@Bo^pn4H^bau9Z$< zD=Sg9wt7w!bHl=bSsIYk=OCH|5V3n6)q1LiRo~>A;$A_%Fl09V(>NiQr)#aqx|Hdc zr5bz4-Ex%~Blo_8}V}h=rj0`dr>a8FmqrG@{PV&~e8n zCdLO(<%-g=28CWGE1wWDFbQbcX*(CmiKv=?Nh-|yG_aPDm>qKai`1p4)ZS})lgUNg zzvWV6w3N8 ziJ|hhG(Ax_=|PX1!lU=ff=oWQ7TEiV3I?jd##xy~ul#|+bM%5-3;vli-IDID{bG&c`w zt2FnJh&o?gM<%QeD$}iWv2f=9e?`{X`ugVFer2W(oKD7rT8IaK>QP>jnMLKBJ!C0F zN_KKIk(*mt>6HGhWYFZ*>({qZT}1~a9Z{xrmemtBm4<$m;L^RyW*@?OHBMH5=9*mu zE@RLX-Wt)LnM*%)G}O`1bnAh{Yam(C%Sa0YOw**A@R zw%dZvJ-B#bU0OyO-6g^m;3K`v7>NPUN5oOuC)w5n4pV-Ls-;iKgqDuoMIY6GBpx=k zdxnPeZ#CY=rUfA{4?{S86|w?(Z-jtWw%0`EAU5L&dFj{Noo`1yLQD?_E!$KB?K0+{ z+XXeY#YJ9`?993d^A4?n;?K|qg^1ABgx9M2pw(Rl8_Y>3EB<)_KR=s#iA_$R&??sY zyUG(dbvv&lhFZ8J%@_uFQFM}FkWh2{Ovlpr!LOrjX=T7=D6A&3`Q_F>^u_T8g}?vM zkiET*ks{=W+crAg-~*L7RnVC(o6-p(BF<}N4X{K<1SgMZz0KA&G0Ys&w*7&|9J|_( zh=<^JNF~DeVy>mRcwl$E3}^h=$EVI6VHN|Jm}{7wezH&B^Ue}ss;J5{j+**ZHys*2 ze`QnD{%Op9A#-aG!c6Xl0eGAdFPjH>8mljtO$0tZA^3TFScGs6tRn=G89xa!j&7K>&(4h8wk&BK) zM{1`Zz%b*(*DKxL_PFUH3*0q;EG(d+{{M3L!3j_CM#LZ~&2}k+AuJgoI5z!s-h-b* zp0Th7Ym}our)XVcB z&66r;cB(p=s?;yBxM`gD^w-x@dHxyKPOfq=`77-)th>vbgNf6bH*g<)9hs!wzw zrRnxYqXs{}>KhWxbH$BQ{n*djXk4|Qkiq=RG|d*eCYYD84Q_LO1I>BA_eLMyw7*6` zNw#xBk3{;OsZ$jnBQYbEvmLy#&}g8at$Kd}?0R^f9)wb7<1PLR3x>1|{rK%v6$mNG zUkep(x-A^652d$NCV zxjZ_m0D&0)qdrcJckZ%cRyG5@lNc6Hl*h921vQ*H?`H*-Bz>;v+~1hM`9RVoFMVYd z3P$4#W^u%0#OrGxUj+rG1Y~qvnw=d+ai8Rg+3zcZ_ZtoDe3I#1XM}c`lk7eCz^DoLVKy!o=-=d#K$M-8AP>tBK|1nH*|Rz3HyI zc;uHa?U4L-OM$Se)U0b3zL)xx$mWy*|F&0e)ytBH4rU zQ#a4JXb9tqchz4Ujo}fUqweRk{KjPRHczW(97HoNe?A#?Bi}t$j!lOO($7S{y7k?k z&CJZErv1uL=7ug~D7x^&T0<3g?5|UE=WK@VwAAFgX}g&juKw_u^qcF&Sp-n^Mx9^igX=5u$}Ll?M~kW8HP6u_OktWSM9mSInF z4rZ(zTfDdbH2az=DXWbP#qbzDNf`tC&`7K44^Ku-Ds)e;uZ%TXT&?`?0God7`{>t# zfAi+WI&*e*G*nS#%5Kei@Q7G>>~L6oRo5~*SG3XQ^6{hpmXtJ?W48m;7zqlhIrxay zMx~{K5_Ci%Ni2UKR-aFMv_xPR^g~vx)UY>{?gvRRW-Ii^{=9kP)&8=uy0Nh}k0@R2 zK1rA+*Shz~+rjbnSUKJM%laicTp~S?nA0?_Ap%kwe0)ltjIQq-($Q|Tlp8quA2fVX z;BAb)>wkjH3dwUcGjsWKs3zitobHNaSEQ+07=knYn6!j;fF)Nib^+@O90lr52cg{h zSfm(ibw>7bPnS2vECS@+J%x3A$y!ewCDL38>&I zFbnX@CMSIvdr1`19-m`hHlS~fJXnOj6_Ja#%^%vriy+w!$Fn+K zungEaMd(mH3tez0)2@i(rRN?3>P>Ii*ZI-pu(H-yKg|0u-bfnneW*}mQhLQKb9J{; zhb1U!Z3YyMy<6-WK0d0d9wG_A(n1yEIe+|H?%6Y=LqN4zXaI6o8RnVE6`UC%$3^Q%tQl7Bh*6u{Wt1_qCoRS*)YgbmMy#gB zE^4a-nuh$h0Ss}I?jVI6e6cS+Kk5buh+N-SIJ3#EgmM+qqNky(p~3SAemJjzA)zr{ z8e6Y?+^3jer0Qqlc2c8|Cjt#b7+%fo^l8P9H5O~qyakiNJxT+v-_4war-$c>1*7Z! z4bnz*n@I<>rNYUJqhrU-r+LCg$YFsJ+eZ>Or4q>PDdnccMtdXXXl@uNDKj(C(7a+H zaXssxB(kx6R8?y|%TM})-V-o>2X-Bk{+~M#f7j!qMV&#pxgXn@5E7Ed{#k#9Y%&H; zX8ORy(sSVTbXwco+%OBPcV3ml<2JGr0MTbNr7+pQdGB|#{#FM&;-at$@~?P(oMQVq zytjue#0yH*-p#psf*bx}uOenkf_BnJ4GM-Y@6(3UKRY%&R={kMpN31b((~B{EjBNE z5O7rLlh+jC@qKT{t%wgh)`c8*Lb1IM#76)VhFKRTjVu?8_ZmetwCui2^3Z;*q?jI$39zpZE?2yuLr z`Y>G)x~;*&!xFKIwyHGVlA(8T~36>)o=oKsik^gh4 zb{~+f*Z+q+k?@G<2}0l4*nQa?*U<6_8}#tgTKDF9a(o`!lJxkT-*C{XpDjkc;3>o6 z(QT})O0*Rd4BZPcD+r}F*QE=)(-lRV6Fv|8m$aE{ps#c~GXf;bZmI&?QEJnoqGw{@ z&&=24gKe1|Yf{eLQAe?MXvf8ZXx@@~Xyh2pqoRvkfn4XqH|HUdx=+~kBdzzlENNQW z|DFg6An(t*-(LRyy*I~zy!I{8Fmzizc`APOgSB|J;~-TK>=|JO&iHz8By5Y;c>zId z9Ae+!cc051Z;ma<=*E0m-*Oy-L)Aa0;}MBWMqegu-6f^) zDxvZ=n3+~W!pGzs`_rskuI(ex0}zdvpKY~3EJx0#MbAAw&=6~9JFf8|Jnh*>i2Aa z2phB~>Lz8!ZTYacysW6dH)5h9Ihfb1!@)`cy5jvP?(RfM7@L`!TN>#w@RyG3*bX@)OzgvB_x%(aJcBb_g{ z;D>3#g+1i2`4rg4aK|R2JYMRJ*MF~Xe0^5jKV)R?b)F>Q1g5=w*>5QcGZM`t7p7!P zD=r^dH(Rb4rRhJs04h;*IxScBA~C9ro_@to_p!XutE`17=5PREe+3; z%by6z_Q8D`9)T3eYqYai&-&(e&*afV5#t--)WO+d)Krv|)YKHP81du`+)bquqz!)> za(c@xFvzWTbvq3ubNJb}TrqR-a{$=5nvH4~pU%QC<~Z$2y*{(BprVcnB0u^MYzXqd zHPuSY{8@tKmVa!hDpkPy1bYH6D>LtzosHn&u(2iMUZJFbm$sah&d-mIrf_bGqfUHJ z#C#Qs$#}4f8GaYgeBVW;sj0US(Wh8jg1(A^598E`0`^_W)8A$9a&ips>B&nj?H3?`ss;XKs zYorOZ6{=367k1hI>w53xU@Zgca@lvI0uXzq^$$e0o_L1*FOY{ZVPgZd5%v^S zR9>4mFe3%^f#Vf)e|AtA2vMr%9@B4DyT`RekVhZ0u@YW=F@2iLm;h3Z7%8O3pafk92mP(jgT+NF0t&f#kRCGi78D4s`Vo&IqD|M3BALQ^LZ6 z5aHR>^46iD6ck)jtK*0awXdI0;z&r4pI*ISIKKd%T$cCMrk_o{uWF`JlfQmVPHnli zadfodAZ>coKCh;=8rE4LUD-u_I;?TJN zS~$0lhCDi31KQpckk@JYrD(_oqB|!9HMO{SaWMqVHx9PDy%-4#Wq_%I588HiKFx*> zpPSR$R_mebIe(nBZM9PuXgLFWy5$w5Xc+-6{`e|FT>SbPM2K9EaU0CeEgbmYOi$Er z$M;?JDO&1hXE*)pZ#=kOA=~7+#uqb{rLG8y9A#g+?2e^*_fAb3hPwz#eGh*mh*C>JK05!G?n$ ztJ%w#rPH#CA5fg-#zxsr9*V!-rT~9sW;kH8wsz^GpcBOqjtnC^dskAz5VQ zCPcpGnhB=DwOr5h6og?@pz>&vj0*i$0ya3a=Ou1*1dPYaUbHHqzdj8OH8@ zb86gBVCvA<$ECKm{);RrOhV)C;^OiT#-_!n=`8-?LUR&WGe?0Ntg;MiRpu#%+()~n zxVW3U&-ihaz}m61lT9t1+jU~`54AuU1gyeT<;y-oG}mMgOk3H>y3ScBdE)*yepl$) z@i-xICqHRAaW`d==|V9NJaEkt1y+t-svabl)7U8A4F!yPk14&eel zN0Tx=fT(@{)KkBIHi5meZ@A;kloCSve(*PR6Lz6E?#6)T&0ZtQJ!BHWT2)&s7Y>M| zz}InVcAD}QoInwn(10ICzE%D?x-5b#No;J%e%sE(_O_YJ+}4SyJ|vkT-df;q=Rme{ zGws@+NRrp7#H57W`ahgZ-AoPJpjC5vZ}CEcEM&}FNP*R2dfQE0L7~o0k;{4&d%P_f zfkbP(bN-;ceG9c80Zx)sLonc{qQv_0*y~stXv%Ef21t)Ea@$yn(MtaWSd-S)y0ooa z-(25=Bh!`_#>~=s5|FXae}ZlBXD+?y@o|ZSh4*J%FDsOw9IE#01Z3Cz*TUD{a3nhQ zNCA`ro+%C0MVv84zs0JXsGB4eQm&hK<1$@0Ukf)kEG@cn+4|po9N;Xy5FbsyV22Py zDB1mAz!}spn)(!S_ zjziP&tZh`JP$mqfW4ynwq9|+nhJ<5-3}ZMw8#}yX+4!FD=H&_|N_V&J8++1xHhD5u zN`LIXVl#*2Q^?5DOPwgZ%CJ^oK-TMtlgJ5pKAPnyB8rDc#I2VI9DbFh6C7;R`PMcF z6p-Y}loe2^luVXzWyL(EcfmtM;?03S#_9L^O6HUt9*9<%yBP;!sss!Ip%SNQP#$P% zA_q0_Bqg$|UW)UvL}ZfR;Cn8tyPREsPgq}ns|6`HuFw?_*z;hGcvp5Qmj!}!~}z!ylQ10h9yP=?*ihi?4qygV`!;1GV<{S*_`2>@C z9jq>Te0cFGKRhYgI?)dP1ECy=I*y{pLEs^tao3>NL0RLP^)9k8dhp6kayRGyCbvOE zMSJe!-_k>ig`(?E4UN0+LB7o!5|NS;om&1YNW_8?5)kNClm^jhVY~6v(FuH*CO7^a z9Xi;{%-DGN_Y*)&vgW!d2?a%9eYVhu!biZzh>4-|b2?=wBbQm9xwMExE2yZraak;FB_b$)bxvhs(%>vTkxrGGJ^0*t;#?NPjC-y$IRtZ`2`46&+q zqh5*3s;6QqdC;ygudyODU_RS*iHQXSx0|L72}7eW&2Dto7aK&b;=Vrc-BkqA*8poH z&KpX@-K(kTjhRwZw6apd1$@7poJOe@AUFn+Zar=Sm!)sZa`f;7%dfB~9 zRZPrdP|xUM^B~#e#QGT!GN?VjTMln-hJ@p~d&EW`^$+J=f@nUF4sF9>@ExzsGZb*9 zI}w97)vNY9JU{IIvJw;cGbShi;!M95s4C;n?9a?(WMCu>4S`Td{nB&6yoT$Y+uK)= zvy|`Yv`6;uYaWxnjqig4J|54Ff%SP-X?)cA(g}cW@QAo_V(mxcUgqgA4rstfh~koB z*qmQ*(u(pE;3`-R;`^(A_~WH4^uAuKg~5t1plf$?{jD}B3Bk6TkCZ^b*RS|7vA8%m zcpzb?!O)18fXfK@+H<9(q z^3y^i|C)RYDD>hW&L8;g=I6`(P@m@G$3)--)5oc^lS9a@`FbT%OG5fl8pW!ka8uKV z`yx+{Zi?OlL7bq5qa!{3{_V^D@9w)C992~jKwP6;HaLJRdvrozahA1I@yiQ%x-IzM z{O+~KERG@=WJ}0SyLMr2peu3Ze#a0aBvzuXe4`gTyb#!LB~fmLMc`D z>NR(I7~z^=_lv>pWuB*e>r6if*m( z_EqQ2BNvAhD`6owiHOENg8A>=U1{mU!tGDc3+F5s5}J1oS3U{e#(xS=&(6&L$mjyU znR+T`qLitt6bVMq5XQ}%w2X|@4VM|vb7-${HU}doT5Q6MAu!pKXr&dZ9vy9evn?Eg zfWRlJ2$9v2E!12*j-|1+-a2I4*)pMw?}Jv7V<%t;)o!tOc?mw%Qy>ZKLC|fHl$f() z{kZ|QCwq2qAU7#-6N|91DX>^7K55!E;UGz99k!O!bgWJ=9 zi$}7Ce8kR<$DWv1`~_!D>^jE8Zbm+2FO42^roJPfaw#fP!xP9SM-)y61>N1jM-UMy zPXUD5`FR3?1OHQ=$=w=##^RJ3g(kdNrUUd&ST!MZL>T0cuU!z)NX`Ck6R`RE6+%>M zH@~r|^EM^*-xFy*vFXv#g&~(hv=9gl4Kgwl)5XHYq(M#&t(yPc_cHIh)w^5{6g2kt zW}opD1E15VsmKky2kl%@`;gRCz{Feq`VXl`!J3l$ZN5fe;$-}(Lf)2Eh#5`nAo zq_GcOyheVN3(_Lz2aS$R{9@^;q%>qjD{g3h`oME4UvjEn>Vnv|Fm z0l}!qs%kxDnbSjzBs%K7Epl>t;BxkA0&dopa{#p6-@9GsRU;e15?jYmexF0``}zHQ zk*xMl6X$2Znw;^z60l7{<%W=C=H~Sc#IJnLO`jUjZ2uIZ$EB;&?Pui_*-vw}|N=H6fkshfYJmyw~kc3iP{0)~Q%Kq3vnMbBzC`vB58 z+}a}cBXjhs4%>$<2FT|fQt!Y};(Z$$GMx-Q6hK=tReSs_lO7>%E{gJDBU8UW5zcO- z;!om;CW9U6?Y5eDj#2rT|Do^Yu-Guzfl-mu7nKJdHg|;UrJrxH#|6KBZN5umvHD6x z6{3Qr{wJby$y5ME<3HO07i52*OLAeEFKg`2B?{px@AEv=sPzpnF54YYzEZxugC1l>gmXtw`Ys)smQ(lhg0b zsB>|`9L(LOWT$=ta(WvxGm6wNfVO>m-_r7$mz%prp9VLFhj7%|#uf(3!Y2+dP@?6t zhU{2f8Xu9|X0G{qT=M2WVD!2B;y?YzhUyElp7f)A8(0T1lL@_tfq|D!fvxh$D=&1* z{+ksMo}E|y^0J*=+t4qq+#TR)0h}MpC}Ho2{ltATn8EuGFxAy#=h|3%>xiMF+km>c zb+gQjj&{pwLpdH^0I32eD1DN_Sw1*~6ArR|dGoUOcIT=U&T?|}L9EIuopJqd>)S3~ zY&4)Hy*w*Frdh70p|fh)-q`TJ!KJfwuNN0jKYni({Qg$oz66Gk55vAAN+s4{A__!@ zqAakH_-LzW4Pp{M_LXF*U4-MAZXQ=qxH;+s4Gt>II4%Dt`RK zj~uA_KBxBJ#Kh^ZO{!Loj>dFYlSfz6KANq@q$LczQ7%Q+pm+-`^m(~3WgK{WtU#-% zXet6NowS<-6|K8?xhQpR`tR-ZJf-r$o$r8ZSGCrB5%J43rl6|oD|GwMKNk@u*n#z< zG3+0$M>~Yrfhh^TSJlL5eFnb-~yUy)7>Zy#vxpHgmOdcu7_3PH=UF zMY^_5kdg|tLYf_@nHbu#7yET!tNk4Ra@e!wYUrnU)OrY>sz;!t0RqkdNbkl8I}FT2 zeS5^`X#%uDnBlP5xj5?Y zcMlVRmR4EWa9^c9%%RnPlo5rq%N2EyRKT0wwr=mXsj0vJ*Napp5uYm+`oF+HV8=K* zs|5KvA@cKv@Xop(Hy@BhcG?7jD1+2fFmjE)h<7EXjCD^7&WY{DVQK8LKM?2JPq zviC@m**IkvvPV|G%jf(1-{W!ab36BS-}m)?y`Imq0-%JfO}*q`mgG>yH1F=BWjFZv z4*$8mB%`gvQMLv(T$%d&_wu1n7?c~{``_W5)Iu~2yvqyz**YIx~h!EK5U$Cgfxw6R~Z{i%g%sLc+V?3ARED;EijT}3LZ9;l`3-Q zHweanq7gtoG3{r|>ot;~a#;}4?<9wL+AkZ)fhWA-3Z*&RhbSvwW8zT*tGoWQx}v9R zwNWS(Se1-AA5GwP!nzki)=UL`1&01Crh<2UJRet>z#bv7>Rm%a@Svcm+#dl}qwH)z zDGXRoO5Qv)fP#d#g=L5t8^7n%A)-}88;`1$&CKM@&v;Fsk)?NaQ^4PV$e0(*Znm`i z`X$9;-*(`5_foaexb1ts0HTTK=YZC`zXq}bTaQFJtE1QRC34vw4l}XWuBnGVOz^O9 z2|Spe2gtnOFm+`^hGk-P-b=K;m(&`27yr7MkdVphEc+G?4wrh|fPSZ^2g4Cw)!{Bu z+4@)<4a&aQShCX-bzVRQwASA!{1-9>(6$D`k|W;N*quv69D|E1hJFcyz+{R3=}EB2 zEXXE$adAv|P*Nh5W242z60+c0napm(0ADJ|kW5S&M;aY>M54_a{{6p={cmHGbjm;% zjN>R7>9dTB{)i?}%EN3u05{TahX=Jj^O+e;ln-Vf{sn-(#YN7s;Vk5KRj)D&e`TIe zO*PEubWOju6}%g*m1&NRj(!MKi8zpKvuSgG!AAWoju6_v8ei=4V*c6VpR zd!nP8nm(Ac49U$orC1v8oeTu2O&KQ&x`_5^Ie{rTW4}&G8ipAk=I^J#E?ikHbt$TE zRn>H2Ye{KZF+@Z^J9v=%=-IdH3C zyp!U7jbBdl<40uOoww4B8t=TnAuT;kBJS(~bjq!H_iZ;fkueN+%jN&`7N{V6C;wUz zQYMxjK#k*^S7->b)5h}b?%2zu=#6TS7w!xLK)*q*+TG^IIBhoEUe@6V|Mwu|(<`Y2 z)?Rw?UG!cG(wC>DT54K%;Q&VwVl(q!(`YT$z)gYVEFxCmGFP##F=ZStXktgygXdS6 zrhtha_o98}CD(!N^v^pHqi5XO2|BntQkf(_xYof9dh2(R2swjcZ|0g-)?J%ls)od? zn{Q7~!fs&4@{YE))_xFkxjG#F325y>q_`b;<{4L|K#|HBSHTt?L|a9nJDq_O0)KTl zOu~Gapd%IZ(!hhhXd7rbZd+$()qi$ESv6gm)d@Cv`17F(H*HWL?g4m&)qBJ*n*H}> zY5araWNouh4Ldf>+JT-vT+Y(b(cj;W>*(&#_iNMcKOdJwZf}hoidEi1o%UUb3bDeL z{vSWnqHCT&cf4|KT(hHDg|Qw)MAjAHr-4>J-ha5HT}GxIaT)J^b&gf=Ns&c+siq5d8em7Z4B3GTyxpHTF1q5sc#eIi3xLl-C5+TwX?C>$BZ)r z^vjn`fQTxOx?^7NIh8I_KLeZ)9v1-`j>8eQE$wTazjDemKo)3*=2?*AOXNB%oGaCIH-5?_eGkY=rI;Z`%>i|uG= zG0{GW=?ZrB=lAgU9|07e5O&{C)e-jY?xTz?_hK_Sc1jv*xs25`p;@{Gql=^+Lcyd6 z&58=69NhN)ix*2@#=>r2N*90dPgbLSUcCu;Xl7#dm03JupyJ%*>~37To{ZoeMbQiw z=qS7>qUGUa-wq9V!j&f-31HIoFT^4PySjxyTP+Do)baRtp#J*S*~vw zS(v5lZQ&e`?JspaQgiYd`WhNCGiz(%M?ltl89n%SzE$?PE}ptf8t~|HnE{sp1#MpKgM2P{^b<+w=mL4**s&aoFa05Fd$6ws?@a?KOmx#Bo-YY!;s&n{~ zlF_Asi$K-I+azS4KEXtjpB!0Ud|!+#bD=Pz!0kjukW+P~2_Xq(gD@9ffwh zW*j;nws%{4{1!JCR(LR6d44V1G-&a!#UGM@x@2(5LleLgi|A^Vv3}bkpWMVBnAPD=QQvR|%d3E|o&W``< zbzmqcF`5=KQt>;w`i75QN#eS>v8k;BU)d)pG^ATOKqtnD+Kuul%hJbcvr=KP1eRwk zwLv?;h}~CTR){JE49|=&y7Jock}Ig2ncu1Q527SwGw&Yfnn8A7zwjy+z3P; zL6{@IobNXdQq?e5_O;*|pn=?co0kiIVa}~kVbw_%yd!p1ta1W1uvc!17GKO0HB}mn z5qIHCXWU6Nuofzib}7|_4L;-+b;)tKb2mRjh|Y}&YV5t(-=>~%E96YXO95Q#zUpG@ zI^~sj-iPiu3$ljwL=Hg9F7c7^q!Hi1JSofO_wV4EA;l>d_PutKK;jij!z&6qgmVcz zoH71Pt3s3@)m=n<+v@YQjD7h=E5p&f^z%no>m5*Fa1P+-<`o)lAeK+UPD=->RbpBQ&k%lki4gho7(c8UiDv zs3EqWuCejyGr``d#PXMMx`ZSBgf+=1PKW}x*gD<9W2@i#xXoS?s)FangDzV1%u7!V z?4KJsH#Uk7d|+K5`oK=aR19@7y%DkjSiK2+hX*YHc^H0F+;eGs3_VkEEF*dOsvfz% z=A=N>9o0F?`>Gvrsu!OGy%K}e6T6@tbXyo~B&4Q(`b>|CGEyBKU@d@{~gc!@k33>w;LV^W)e&O>zZ7rO;63JOFqB&_lWQ;55bSW!k zQ3xVS8mdf#+6=0P&vhV#{nrkLzT;uV!kvU3)`^^P6?c?>Mx{~#j46381{ou=CogII z!p(Cx^FXnqaO$Y43It2GRu>(Rh1D9afY57W=?M|0#V>&On+$t^LTSddLrh^uV17$AI*``-*^mo7w&*6QjgjEyvocL zxO?T(#<}Fo6X)^REAtan4kaB4NGfq2u_mUO)DNy~@3qvGuN9nyPOK&aR;EJYR&r#* z@#@IQRmc{Yn0_p7zmc-C`4-;MMRaoXef2KZkxuPOGl7j;=N%4X# z&-yFI&ViI-vFCn@@cmL0 zE&(?nwszd&dOe}k^g+xIwkx^8-};g#CsXvW55B0X-IZ~mqrhlt*&D#K3cMBM`8Z+m zpne7w-W^rcPdz;Hf($b6g2z{TOrfa@q_oUV3JPpAO9rNN=7?et8f9Ewu19`HW4s_0 z6`V9ib0uJZU$D5Zbi+ALl96j(L`c}44eai9;c?P`geb%2SZA`nnKl{kw;MwHjO{FI zCEI1|9TR7kb3M;m0oB-YaxhWPf8WCgpgoUX0r{)sDd7Fbm;vNzz|luKZdw?>ZG6hG z;Y!uFx3#t7>r)<~p|;H1Evu}|wy)bF6XRIETpTkABVEU(x!eVz&OLEvC5S0$LnD7b zWYes0kCyMwLZ65Ttftq9aB2eN9B&d&%(7Qytn6KhjnI^R+}+{hcPn_D87v33M8uiH z4T;dhh2+<-WoEo;qX$LB1_p%E0JvHlaG`~8fUl#d`1e3pFjlYMJ-+%>=Uy7iv;Dv7 z1v|bV#8D6<#vq1!I@lWu#ddZ_WT3{v#?@+pAa?QUBTuiry$8xzuiDp@eky_tc_}Q% zPi0DUp!+B5`Jjb9(T_MT&sAZH}O`s73TB>qY&DIM*Jiq zm=?6U!jpoB ze_U_Kk{~+Eo~+i}vhP5yHJtuvPL`3liuzzqsddw_MFFU{MI~f|RIuSU4X?B6{?LdH z?p?JRM#lQiPfblO`t7{4=a;IF{Hd|nE+S%-lbyxz3QW)Y?XqbXbcn8GH8b|WZ(g1& zWY|}LkFKih{^|5_HG>Hblo16zT{Alm`KCT&sz#OrPtV&vRhkUAc?YUV!o(!^#U{Bk zAxR#N6IPD!v%{ep$&)r^WO>EV$i3VwlK~Ji79Jh+)g-s4e>pRP<VW_ge$({4{*+Byh7yElqTYdB#{NETdv*BYU92we0HWM^2@ay{A4KN2!rb zQkceOzTSg>7x+KlczD|8yV6BMLX^4EM*3nToK9j>J^${4e_eNN@V^Aw`bAMOI65-m z;In;1ZToQ8y}7xkR8t@t^GdbO{uqKNI8er;rGY9v%y zl?+{YBdKaA^ZlHbkC*pZV1#3suXc1_cX<55PNFvy=M2?ntPdpk@|KRSVfbD3-DEb? z!guR8c<&MF%3oViLgak!?~e@i z(iT~WxxQC9E6Z@Hv#_v#px7~^y^_{tLT*&o1iarJ(J9-MDk4d`0lFCO$9f5&MSp z?&7G|d|X^N^-{I?xoJt7klJKO@9!P|1{n%sX|>2|Dq6O?mq*|nIUY>ZZ_@i0qHu5+Hyne4d*Y(sXo2Hq1RttA%_V0p>`i&+TojUdDJ_Ue&9{9d8rq>?qJ z;iv)B2>C~ueSh;wmeiZ<>I%(?oyR1IxWksq<2OXz~3y3_@7 zqAjW+yVK=41IK9=-Tkyddl@%FFVFdg)op~b7Pd9b!3X4@pj2!C^FN#=b>00D*+3}2 zd7V=cL@6MUmS*Q`GWz~r;DDI$@@l?nr*DC{IO7yOKRS50@Ob?bKTvbA#8@(C;#Rvx zd2@+Ls0b|Unj?(cXdzD~%=M&#z13ys6Alb~-uH#+2wogT!q49TA@_qXw#E9aZGy4r zsX{SHH@kKd?-SG$@-oX3R0N)1RK2VkueI10VJ?(Sc+T3{yO?b^Jff(Oc;nyS%bX^v zefx>)$nGw1x}WhH#)*74J#>H?8^t#@0Yo0djrQN`c6JHzON(YC{qp@v{UMJ|Ma5d| zqh3UPMSmZ-a(oUrEqv}8(TINR%QWLL0Z}o9!c^BhZ;#nG>p!$huj^7NKrzy`b#7z3 z%TPF6SC@lh!sN$soU?-QSPS_eX>M>kHL9RcTz(-4Z3}fK+;02$R11oYV){bt91|Z6 zWO*(e+z)xopWhRBd(6$l1Ir*Px|)<*Z<}Ly7~%S5=$17djh#K4-85O&Tks0T^$o8D z3+|AUP9oyC{q|K(}Oi$;ay1vW1lVL91&JqH;oe0 z4`7})`}qwI<8a3+tdcqRzTTwOk`Xqtf39Z8IWt!pLI}Pi>UjXk#LL0Me#W`Z&RO)# zV|@5p-KGBP@iu=NKsNM_ydlGbulV4Bt1D8JhPnucJ3D(yU9jn(N3D?80edLHV2zD2 zXe-WowlV)vB{qxwC#qyxXY*v?uq;f&aHE_E&FianS1?mHB0QG}S&cX$Z) z9^HA@*gX65M=6vfh<}Y}oe*JRwBJf>7$@wYe|C2o-@A^e`utCRA||z}t*uiT@C5b>m2+y3%0P1hca*(Bc5~^SD3uS^-Hg7|WWM6s)VofxBFxUq+k8?%w(A2R9%4YXTn24t&B^+K6q*b zNFO&vQ(kIELo6o?Oz=kG__Z4*nR#|*KOR2pW*Rrm9CXHyd|oWNUgx^7yQr%bWgq-= zA5VD1U~DHoh-w|2_X6nT4VA;jg#c&@(KxYIQO{dqK5k0Mq+I?QG3(hZ#5gZ&DXk^G zKw~3}L`_REOR9!Z)!;2`l6oY7j~K%wRqa0WNB!bF5CYn}29%8%`}YmIp*qp|4+)(Ka?QUWrA@ zw}06@It|00%P6@2IEKb5Hh(oYj^BAW{bWLn5^g8~_mqIU(d8M}&H%QCv;^);NTqfB=H58>+R&ZH|UHlWX=#k~UKC09L)vu33XNe3t zoe_w3y+tb~GBy$w$FIZBh7?i;^}>}Cqjyia;mLwpU|oQxZAX)vu?g*7n(1|mbE@vUH zckYdY>B!80VwROv-GQNs_hjkt@F)yu-(7Oi?_A%<=_^jpD5j9FF1}-Pv^R5V(2eY< zKrAeb>n`u?(VKg1egY^FJ2jOq}7YhRCxGk`n_x~ zaQ(2h#?Q&;{@(XXQ;kg7o)F*PWmzyE*uu9k4Ty2wCJ%|-yFKP5@d528Ax0_wC8h(@ znUUjz(C0{jjpmNgX|{Ra1=xr2-v@wu>SzhhhLuS&>)qg=mA8?I2W{IRRo~TBEa0H0 z?e>L_&;9CSr5usaxu)jAAKLc>q}c{B*AO z)0P+|Y0pn5Ib~{IfTU_Ow4J;uQpe$33XNYh7r0ZF3~ih@&inDjj8p3&ZHe>#nnz@0 zTe*rzX96)36)XjJART3(qR0YKaJGEsfNfWSx9W;BtWKIXAb%5N({w_wEZk(jK@P&I zz)KVS3UA8nrYevA70wtAh?|-xuLluQt5XhC*-P*Vbm)3k7idreRu(K3b6a zK?N!Tzi2f3gP&mqaoJ+-xuL@2%#5|)&Vr`D&*B$}2YfBv&$wBg)eyMqis)Y{u8%&h zmz7dW$hud&ovucRY925D*fXEU2K5?Et9{$^#V=b~0_TkgJaLQcoN(**G@o-v$0z^3 ze>~@`Hyrlu@=}&fmYAxJR~I$FeAv#~qI(!Eb*FbAiyTeOAc@&mK!1%WLKEvcncFE z0>x;nhUb7$a>TM#xE6{HUKO*Lv(1**Iegy>lU}%JnT~P`4abPS+`sVE+`qZ=IGGbY z>*ER}c(KM(5|TEr!NsY2v%djy99B|dJ07xRP>tID7DPsNei3kjnl5zaqw2 zb;3ANMve#@!A5=FmW8C@;jM@nC-MZP+}1zc7Yhp_MoGzVp5kCc+u2D^j|^L?+y1FW zK`@n9U$hL<3)?k{&!01M^u6MT9Ij2AN>F@&Qrrr3Pt*e6-S9%`&&gB%$lNJ+Gb+1Ugti?Rz6Z^dZa_S8kpw`eh zZ?IH9@aO%}*fqO55hs=#rpjmM$g$fhc<{U1BY}T%`n+ncAm4uG=f5{Nc(}=$-1R&i z7vO~`o+zKFw!f~d3@Sg_SxO)~2zDB#DKIc-==o>yibhDrkQ4v#NL8hTjHq*k_1x2R zn%1FPDe+X#*UFncn4XUGMX*sFyehMMEt;V&<|NKcshigiO%yc&d}3KE_HgbRs!6VW zj>enFj%H)#oeymI@y}Np&n{3%peEP#+Vz0#msD(N4?#G-nbeQ!w;f64D)gNWwO1KP zEd=yRw--+S3e+d7U3(-&?&|s5twpqK3MW2-!!3`D3@27r0)X2bZq}Eu`5Q4Yc!$GYxn%B!Z>(@BiHK}lXP zX(y+nZ3CB-R2y#mdDQQ}vCrRbkNjs(7L&=J5JfvZFYoAh^QI)WylnM&r-1iQW;Ui0 zl+9E{p#Fr|cwv8>5T^wx#)(mh3!^8R+XhV>7izt*N0jEmu`>Vyjal0p`Oa44!U&DL z)yVfFnBW}drZBY*56Q-2b3q4b`k#?u=BY;d+TqdLCR*BEylXD2rlS%=L6RB82FX1) zD5?1A=<~GVmvIO_XS4^eK+on&UhVsH|Ks3x_ERRR~h;@pu`o-F|n&-wYz31OwIa41jxdvtkLPOW{5 z%Pk}+BZG!UO3K(6h`WtK5;N@-5AN>-R`do)Xo=KikcbHOTtJl?_|BX*=exVPe4s0I z`QBh=Y*C_}guPq^S*7^Fkco14cWINTSfD}6#wI*G=o;U#p+VpZjW$^#G^bj$NO+BD z$|)02^W$e_L>7!P*D}8sGCtI(F6$1u@_Ydn2V=^)zrAq&<5WV%0r#>z(YzIL;m$$0Nu_0uS+-(P6w@?B&T^($Ch{GX28^`je*?`Cq2ck`N(ot;={it9 z&@RikZ#$661l*!mR{5(@6e(`b3p)cDN;JEx=1Q+EIV7UH@vw4T9MvfLY$Y~$6r5VZpNh#nUqGOCfpT8 z+Mr4*0Ia7E#UUtoi$R)S{q*#-ui znVPw#GDtDYlM*5E$5~v1 zkrDhLc3}Y&BLs3ktWp9UL(^MDyq67|IscCxsMleGh}8E8a0pD7hmbUPC7Qrb$L?)S z^Q?ErMdoM0$u@-?P-g z-YB(vvc2;AL{UWe)e*W}lsaV?pbh0|&YAW*pGLPJ$3>v2YUwoyf=i9gU z@1?5WS0xXw2dI`<=GS)%92_`oEx8EqYW@>SW+Y)0kveR`l< z;r3rN9kVO2v~zN)soH+*+m_R$&1IQbS~@=Vs=bOKBFw6@>WwvYa#sOAuCx5|AqMaa zp_~Vj`89T8C!Yz-@8!KFV3AkohGj%YfmtW+_4oiRdz368z|h|)Sd269v32&u;P1iv zZ(#TQR1&F4vz}6t-eFG=zX3ZyvS?sc>k8bppD@){!C+H`hIk;({(+_vZ?d z%+073;v#BVenxsZ8>n!sfmv`(TH5#T6Xt(P7}KQ82_+B}Xc}<3N8~Madhq_bNRWDa zIb&nx0g3KBKAwMrO{F2|g1^RKfDv0NJ*yAq{OcDoQjb)UQ1fnod;?81!ARZ0e~wu> zM-Y1=_w-2ISIiw28sQ{yO``A;8k0%2rXomTYbQfY+#H$Ai# zdP({09z1X>?W%ipA4?)ebVCJ{7Gw49Dfo6@3Pu|t*;9DrjRO=Nbm>SjMUI=6bYS4R zK$q3;z50zmSUN*e4s9M4IdyJw?(5j45+X(si3msVDWlvH(G_UcJtL%F<#UES^0YN4 z?28xFpe;8%%qXJD@uOA%XcGKX|C=`i%`;A z8YY?KO0jaDf64hFaZ(3wi-lzr)`cA zfg{*SJS`UZxrOmGG&IOA3U191lF*u}wi+e5JS@vmt9!)hLMmEwYu7Bh)hwU03lP@# zl87@f7kOGqn2=ZzS^DZc7q2HY%;kE{-bL7O$vZBXluk(e4}W+#w(!5Dc}lePrq5_9zJ9=Sn~jJns)1 nGBv!tJ!%Xyr7;BH0TKe)7gs*lP*)g(zb3e)YXYs&afUnicode support. + + + diff --git a/helm/www/lambdadelta/xslt/ld_web_root.xsl b/helm/www/lambdadelta/xslt/ld_web_root.xsl index 3fbc83b45..82ce7d781 100644 --- a/helm/www/lambdadelta/xslt/ld_web_root.xsl +++ b/helm/www/lambdadelta/xslt/ld_web_root.xsl @@ -190,6 +190,14 @@ + + [Official bronze sponsor of Unicode Consortium] + +

diff --git a/matita/components/Makefile.common b/matita/components/Makefile.common index 922a0e132..74a54a821 100644 --- a/matita/components/Makefile.common +++ b/matita/components/Makefile.common @@ -20,7 +20,7 @@ endif PREPROCOPTIONS = -pp camlp5o SYNTAXOPTIONS = -syntax camlp5o PREREQ = -OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread -rectypes $(ANNOTOPTION) -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7 +OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -thread -rectypes $(ANNOTOPTION) -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3 # -57-3 for ocaml 4.0.5 OCAMLDEBUGOPTIONS = -g #OCAML_PROF=p -p a OCAMLARCHIVEOPTIONS = diff --git a/matita/matita/lib/reverse_complexity/toolkit.ma b/matita/matita/lib/reverse_complexity/toolkit.ma index 665df181e..16f079f48 100644 --- a/matita/matita/lib/reverse_complexity/toolkit.ma +++ b/matita/matita/lib/reverse_complexity/toolkit.ma @@ -385,6 +385,19 @@ lemma max_prim_rec: ∀a,b,p,f,x. a ≤b → ] qed. +(* FG: aliases added by matita compiled with OCaml 4.0.5, bah ??? *) +alias symbol "pair" (instance 15) = "abstract pair". +alias symbol "minus" (instance 14) = "natural minus". +alias symbol "plus" (instance 11) = "natural plus". +alias symbol "pair" (instance 10) = "abstract pair". +alias symbol "plus" (instance 13) = "natural plus". +alias symbol "pair" (instance 12) = "abstract pair". +alias symbol "plus" (instance 8) = "natural plus". +alias symbol "pair" (instance 7) = "abstract pair". +alias symbol "plus" (instance 6) = "natural plus". +alias symbol "pair" (instance 5) = "abstract pair". +alias id "max" = "cic:/matita/arithmetics/nat/max#def:2". +alias symbol "minus" (instance 3) = "natural minus". lemma max_prim_rec1: ∀a,b,p,f,x. max_{i ∈[a x,b x[ | p 〈i,x〉 }(f 〈i,x〉) = prim_rec (λi.0) @@ -415,6 +428,19 @@ lemma sum_prim_rec1: ∀a,b,p,f,x. ] qed. +(* FG: aliases added by matita compiled with OCaml 4.0.5, bah ??? *) +alias symbol "pair" (instance 15) = "abstract pair". +alias symbol "minus" (instance 14) = "natural minus". +alias symbol "plus" (instance 11) = "natural plus". +alias symbol "pair" (instance 10) = "abstract pair". +alias symbol "plus" (instance 13) = "natural plus". +alias symbol "pair" (instance 12) = "abstract pair". +alias symbol "plus" (instance 8) = "natural plus". +alias symbol "pair" (instance 7) = "abstract pair". +alias symbol "pair" (instance 6) = "abstract pair". +alias symbol "plus" (instance 4) = "natural plus". +alias symbol "pair" (instance 3) = "abstract pair". +alias symbol "minus" (instance 2) = "natural minus". lemma bigop_prim_rec: ∀a,b,c,p,f,x. bigop (b x-a x) (λi:ℕ.p 〈i+a x,x〉) ? (c 〈a x,x〉) plus (λi:ℕ.f 〈i+a x,x〉) = prim_rec c @@ -430,6 +456,19 @@ lemma bigop_prim_rec: ∀a,b,c,p,f,x. ] qed. +(* FG: aliases added by matita compiled with OCaml 4.0.5, bah ??? *) +alias symbol "pair" (instance 15) = "abstract pair". +alias symbol "minus" (instance 14) = "natural minus". +alias symbol "minus" (instance 11) = "natural minus". +alias symbol "pair" (instance 10) = "abstract pair". +alias symbol "minus" (instance 13) = "natural minus". +alias symbol "pair" (instance 12) = "abstract pair". +alias symbol "minus" (instance 8) = "natural minus". +alias symbol "pair" (instance 7) = "abstract pair". +alias symbol "pair" (instance 6) = "abstract pair". +alias symbol "minus" (instance 4) = "natural minus". +alias symbol "pair" (instance 3) = "abstract pair". +alias symbol "minus" (instance 2) = "natural minus". lemma bigop_prim_rec_dec: ∀a,b,c,p,f,x. bigop (b x-a x) (λi:ℕ.p 〈b x -i,x〉) ? (c 〈b x,x〉) plus (λi:ℕ.f 〈b x-i,x〉) = prim_rec c @@ -492,7 +531,12 @@ qed. (* the argument is 〈b-a,〈a,x〉〉 *) - +(* FG: aliases added by matita compiled with OCaml 4.0.5, bah ??? *) +alias symbol "plus" (instance 3) = "natural plus". +alias symbol "pair" (instance 2) = "abstract pair". +alias id "max" = "cic:/matita/arithmetics/nat/max#def:2". +alias symbol "plus" (instance 5) = "natural plus". +alias symbol "pair" (instance 4) = "abstract pair". definition max_unary_pr ≝ λp,f.unary_pr (λx.0) (λi. let k ≝ fst i in @@ -529,7 +573,14 @@ definition unary_compl ≝ λp,f,hf. let (x:ℕ) ≝snd (snd (snd i)) in  if p 〈k+a,x〉 then max (f 〈k+a,x〉) r else r )) 〈fst x,snd (snd x)〉, snd (snd x)〉〉). *) - + +(* FG: aliases added by matita compiled with OCaml 4.0.5, bah ??? *) +alias symbol "plus" (instance 6) = "natural plus". +alias symbol "pair" (instance 5) = "abstract pair". +alias symbol "plus" (instance 4) = "natural plus". +alias symbol "pair" (instance 3) = "abstract pair". +alias symbol "plus" (instance 2) = "natural plus". +alias symbol "plus" (instance 1) = "natural plus". definition aux_compl ≝ λhp,hf.λi. let k ≝ fst i in  let r ≝ fst (snd i) in  @@ -747,7 +798,10 @@ qed. (* cambiare qui: togliere S *) - +(* FG: aliases added by matita compiled with OCaml 4.0.5, bah ??? *) +alias symbol "minus" (instance 1) = "natural minus". +alias symbol "minus" (instance 3) = "natural minus". +alias symbol "pair" (instance 2) = "abstract pair". definition minim_unary_pr ≝ λf.unary_pr (λx.S(fst x)) (λi. let k ≝ fst i in -- 2.39.2