From 503426723b9fc786c69dc988d38726997ecb809a Mon Sep 17 00:00:00 2001 From: Ferruccio Guidi Date: Tue, 31 May 2016 19:19:40 +0000 Subject: [PATCH] - update in ground_2 and basic_2 - updated documentation --- helm/www/lambdadelta/BTM.html | 2 +- helm/www/lambdadelta/apps_2.html | 2 +- helm/www/lambdadelta/basic_1.html | 2 +- helm/www/lambdadelta/basic_2.html | 36 +++++-- helm/www/lambdadelta/documentation.html | 14 ++- helm/www/lambdadelta/download/ld_talk_9s.pdf | Bin 0 -> 67997 bytes helm/www/lambdadelta/ground_1.html | 2 +- helm/www/lambdadelta/ground_2.html | 88 +++++++++++++++--- helm/www/lambdadelta/implementation.html | 2 +- helm/www/lambdadelta/index.html | 2 +- helm/www/lambdadelta/news.html | 2 +- helm/www/lambdadelta/specification.html | 2 +- .../lambdadelta/web/home/documentation_2.tbl | 8 ++ 13 files changed, 131 insertions(+), 31 deletions(-) create mode 100644 helm/www/lambdadelta/download/ld_talk_9s.pdf diff --git a/helm/www/lambdadelta/BTM.html b/helm/www/lambdadelta/BTM.html index 9c0283b45..602ed2c57 100644 --- a/helm/www/lambdadelta/BTM.html +++ b/helm/www/lambdadelta/BTM.html @@ -222,6 +222,6 @@

-
Last update: Sun, 22 May 2016 15:25:27 +0200
+
Last update: Tue, 31 May 2016 21:18:47 +0200
diff --git a/helm/www/lambdadelta/apps_2.html b/helm/www/lambdadelta/apps_2.html index 076412946..720fb0dee 100644 --- a/helm/www/lambdadelta/apps_2.html +++ b/helm/www/lambdadelta/apps_2.html @@ -258,6 +258,6 @@

-
Last update: Sun, 22 May 2016 15:25:26 +0200
+
Last update: Tue, 31 May 2016 21:18:47 +0200
diff --git a/helm/www/lambdadelta/basic_1.html b/helm/www/lambdadelta/basic_1.html index 95170e646..f6b288778 100644 --- a/helm/www/lambdadelta/basic_1.html +++ b/helm/www/lambdadelta/basic_1.html @@ -823,6 +823,6 @@

-
Last update: Sun, 22 May 2016 15:25:27 +0200
+
Last update: Tue, 31 May 2016 21:18:48 +0200
diff --git a/helm/www/lambdadelta/basic_2.html b/helm/www/lambdadelta/basic_2.html index cbfde33d8..5c8b09d63 100644 --- a/helm/www/lambdadelta/basic_2.html +++ b/helm/www/lambdadelta/basic_2.html @@ -144,29 +144,29 @@ sizes files - 143 + 150 characters - 116151 + 121855 nodes - 607262 + 618445 propositions theorems - 46 + 45 lemmas - 430 + 458 total - 476 + 503 concepts declared 23 defined - 33 + 34 total - 56 + 57 @@ -359,6 +359,22 @@ rt-transition uncounted context-sensitive rt-transition + lfpx ( ⦃?,?⦄ ⊢ ⬈[?,?] ? ) + lfpx_length lfpx_fqup + +
+ + +
+ + + + +
+ + +
+ cpx ( ⦃?,?⦄ ⊢ ? ⬈[?] ? ) cpx_simple cpx_drops cpx_lsubr @@ -484,7 +500,7 @@ context-sensitive free variables frees ( ? ⊢ 𝐅*⦃?⦄ ≡ ? ) - frees_weight frees_lreq frees_frees + frees_weight frees_lreq frees_drops frees_frees
@@ -795,6 +811,6 @@

-
Last update: Sun, 22 May 2016 15:25:27 +0200
+
Last update: Tue, 31 May 2016 21:18:48 +0200
diff --git a/helm/www/lambdadelta/documentation.html b/helm/www/lambdadelta/documentation.html index bca651cf1..0fedfb151 100644 --- a/helm/www/lambdadelta/documentation.html +++ b/helm/www/lambdadelta/documentation.html @@ -179,6 +179,18 @@
+ + + P2d. + + F. Guidi: Considerations on Automath in Light of the Grundlagen (2016-05). Presentation at University of Bologna (slides). + + + + +
+ + P2c. @@ -389,6 +401,6 @@

-
Last update: Sun, 22 May 2016 15:25:26 +0200
+
Last update: Tue, 31 May 2016 21:18:47 +0200
diff --git a/helm/www/lambdadelta/download/ld_talk_9s.pdf b/helm/www/lambdadelta/download/ld_talk_9s.pdf new file mode 100644 index 0000000000000000000000000000000000000000..3f7c2bee7ab7591d8dcf4b255049bc8be9aab8c2 GIT binary patch literal 67997 zcma&tW2|V+wl3;n+qP}nwr$(CZQHi(Ic$3l+vfS!I%n_XX8pJ;sib=9cT4rB-fBgv zARpoIrXPTaU$8RZ--B?Xn?@|1`7^CxP%5k%jRld z!s|WbIbvglmjEP79QlnpI`z}BQ2@FNb3Z%yok#hj7x&yBAouQDJ1z`FJ3kxv8yf@_ z=L}$0Aa)&>sGV_kE)fU?+(K-)9rWL-Jpl=g&i6~cFc=VtAE{w9>&l*&U}9jLbj`w-mGkt2Invx@1TY__;i|jYOT{RSM-^Fe<%=$~OaEv#H~WmFoIb|xSF^Ho>DTp4L%vpn zJQ^LvSZMj+?z-29-{{cX|LzvzVCV|Ll*;{hE;XOkym$_Qld({5MNw3eAezR;%&#T$ zU<^(glQ6FDRMzA<5!+OXxn$G8ts1OD9?n5g(WZ@_D2$SfW%Ya46e@ULh&;y5?_^bd z@`-M+oBdK8S;K&sz*^!sl4%;)n(pdvF5&x{;F#+eynNeqF?PPWBY|3&;F<@N{T7F1 zA|y|iY=JFcNv+zhp=m`kM1@6ek!*&xOn0IwC^A%-X|gWdM3@YRE9T|6wkFx6M5Z?! zRIr3dRY;?WB_e+|9KBfE-6&Jhkv6hyykv-4v3&~7(Q#HuX9Cs98TCW6fsL%oF(?EK z?#BNTRibL8FuekCj7U~;Vx)dhNHMl0iTIQZ&_Mg=q=jVi)Irx?KDb89N=&da1#|%I zt8Cm;<-7X>XhTT^n%bHCzqtD6{uL}M5%)|us|CSh;|D%o>S^k?s?$wmG#}P$1 z88QtW(a*qUPIBMA1?Nme7=Qo~OyeMco3%62enaI4c)YB<$h)b_Jij;d6lpxzaCCQd zUs2chUHPmtP=Lw+UgO2E_$7AbN4VgZb`g0 zj>tgJq5AOR;4}6_-v*>BGPLE10kwwW!|*ywmKy+|N5n@!IsuuhYlCwS);1U`+c^L_ zU4VyTYdZ%CPzjuybx6A;q%c&^66_F%>x{=%$WbQm8Ex-5osQoYAz$_Vo+nI$5l1IK z+g{BTU~@rex62sXur4-8uwGSq1!^ME!tA*)khU!53zZQ4l>pN~s>7V)+MFM60{-=cz5~0@kf{8i;gTtsEZi+JfT`nV5CF{ zO%wXm`;?OhEbf8xI4BhR;wM62?=wcgsRKjtP}*VWz8nN$;cH#9fhtwV3m=Z(;W)x< zZP>{g)Z_*uzWPSEUfe>Tp;C7+a?lv{%~S?CXFL55V$#$g1p2MWjv!3iK3EfI65!(A zY0p7g56NRVMJEO+JUNI;g0C*TiRp2QVqwQ%u0 z_SbfJd$n+Wb|2R_*q_(0Kj?RtXHzG|D^ta0;cbnsw!|dj?f@?`5`9xi4-o^6dYDAQ z328wiECn^+&-bX&CO8+*Qm~SOE&B2y`}X^H@OH_da2Zhzm$EUbjn2?0QZh2a zalny{NChHNC$VXWtz$yLZ+4fh<-R3MAc-1hox$d4K|VZzR7yD}a61kjzrbVw^O&l7 z76=#dfmD&u96tju4j1D`@Px2tsd+^NcG?sG2*Y3%?VqKz;r}+n1eMmP$$RmiJn;Z2 zWT1)(L?HlD^8Pv?2Fxm6qX#C2jn|P0owQfvqdJ_2#YjB(j-;dx7{bwpSO_Bh!5g|< zh8rcT#SgVEyS{jDj_>${gCEIUK>o`z;~9eQ2rqbG4(jBt2(3-ISr4qvWm-T^@{^g~ z23fxxx-T>rh&9eh!1PMbbppwIaH#*tW;wFsS9yp*hZQ2%i6s$F(MY(%>3&V!0`P&0 zr#~jA;4FJhmO9~X-B~WLZ-2jlY(leO*m=8Ji6Q!pc9a`nNLFaBFger_gIs&IU~a23 zo>7?W#*q9+jmy}5nMEEMnbR_1T!^Ri92N#mn$>HZ1x&Dtnf%%8#`IOumLzbmT|nOI zt3$xsB}Z3o9zrUy2RF!v*E+aB6IXX5p^i8_&c@IXL>HJIGw1wx=y`h9CPTOTZ>w^z zA(ymdm_)2^nDAc?fJC~X0xoP!#jZIkt6?8)HuDlYrW zZ~8(787X^jLNOd~*`2IzWhXx`d=wb#FBZZs5?y!FVS(SQ^oIz+fBqT?n`!Onq5^!9 zzmTctKxe!O`T$ISZ=f13iRBP)+SatxO1R-VGI33mG|);uD>mY3uuWBnHlmW?TG2?> z-UdRth$gH!S|M?!THTK(Cz$80lJ`yb6QO5tl$kNs3O=@zY`W^xKDL4mC#fL%f+1+l zMreG^v8w58F4dz#`y{nlKi~{12)nH)=yZCGiMSZ__YX;pyT(0bgch%A4t|mKliEp8 zCs>mFi;+Sgg1VMIb#C)*=ox_B63z^+@srM?on(KA)G!N=-|%>V8TA(;p&$7rd9`7+kr7 z`IbB*Ds|BqkbCT#<0|wfvl-xFKosMuJr0@%^9VW&Lk=2JVhHa7l>s6JCLp-2b(`Sz zn0G*cgdN$BeCwc%M;{F|l@6{3bUed@!-O5`{H}7obH8={=zdD7Q`L7<90kK%|E2b^maIL_AH*5b^w7YgB;$Zc`R2g(l|B3k!Uh|1#eD$B0TOU(@XQoRVj@%J z6yopCo{O8z%FOe>QD~$i3?vcNrtYq;E7h-6-Y4C1P%Dxj%KmwJH+WyXE~oTvPy8#o z`L}&rl{`h&{Brc&;p7;o+_s_-g0AHHw-#4`{-)?b3VIiEnDj9>a&+$cFJAPas)Fb9 z(cgoTq%r66FW|H;5`0hSPoEV%s^3fBg99K}FZ7S?i`;wqvcP?XmV8p@AMj;>8DX>_ zmP%)H;~+BS>;9~<29Fu7&25p^Ook!yU2*ez@x&>SUH#kE^hK(b{<2}V^P5lfXT_3Z zSwCj=A#n?5hK8iJt{$e*I4^=4<)6T`R|dj_e2jy^`yb?=!AOgx6(8zLMsv~%ygD6O zS84XS?UoLVA}0s^@;^SOn*o-G z;z5XL60>fb7KrE0cSPrOUgRbu+q^z4-gjs9J2THy<=x=F7t1$;`RDoJ{+}THc)pw8 zHm@7SHxY+_)&3yLmzPq;@%zar%1)B+@s|`}278if4`QJst^^mN05X~%7vmTl^fK-O zk|}j$*f4#EuV{@2YK$?EBC1F^JRilZ?k-V5aY(v8O*@K6h*yR!;2S$y2AYGaEHsd? zmZH2Zh!KA84QU|&*x>X=)2#to0SqvJ3T|+xjC7=;f94RJLe{NICP5-rWJ@hPT9!{U zVCxJYlMvFwyA3KFO-_Cv_Gu(5rRG}AxmTqMONGVyWg0?Vg;~G1a@UV}HqG)%3pBp}K*3Ak=v#A^D<*?Nmc(8413(5shrPhWHAV}fNUGBw!|CG#^ANS{@m9=*dWK!Tw|J{aVbb(& zlCc^a-N@KeBSUmnnjoZXM<<(U84yVa)!OsJWVSHRQ-KxX5t4RsBA7i@IrcHH586vnMsHf2huLo z$!LM-I2pk-tV8VsFl`8a{lp#C$(ATbKe3o7h?>!#Lolo*yvo32@kqi{=t2B6LeW5m z&tMT2Ck`4z-=p-GCoR4sPvx(r_Odu4vyQCCt7mKYgB0)-yR4xhPR?IIS@)3#&28}m z>R2K!ZDni=UT%Fc#2%GANno2H~#sdcU) zW#By1+y>-=2`7LpmN>3ooui&GKcTPJ#5J294znnFk3}+dLGqHHm478?9uf|TSL;*S1KiA-K@WgZB4-C(CCJz?8&{@8G-bWx{0q8aufL2KV zrN#6sNJmR$!SwTMnrx?#ymx-PQekN`unuD<9;P?Tl^53Z_RRS^q1*B;xHnW}TtY`J z3+CqUNR3a{RbWh8?CH!@vfId12#4s6FE2Jn1lKsdjc0@1|@EWW*j6 zv&JUrbi^@>KlM3$yaFYtzU$Sw*x|!;_3}!xH#3T|0|ax-Qt}yJ9u22<%#MtcH#gKz zN4l!712f9S9b2y&sHU;tuCYDS2qfheM;&^7e($x z3U34OG+{kSsZvI*Owlu!eK)1%c}By6^XSU3^c8bLD$8W{SUQ1sPxSRHFu2Pvb_7qG6CNJxV}u*Lo|8Svh+>X(z$qMc6i3`-Pe|>dS3ECI$OKSzmNBI z{l^TvjFK(~9nr&E1wHjLH9dL8(0Zq95L9hP+QygHN_S;D8Sw9XQMorat;pK#Ezv)j zyxLjqH==+9=rL&4P&IAW7i7;lqyQq+$~;K{uti(r1KG|vy%<99yxMb8wwDqUdfFOK zvF$t~Wou|py1Uv9E>QJ$KS=i?$<;p08&Y#67jg9T3f&ibpHt8ky1@G*6*mgqCHF3h zUizh6W?MA6dY;_+uLdlSx{CQ)jSuBXM!^g!t}*6^qz8tfszOkzvLH~!O_AV7R8>#VwS4JihOyp`1!Jc zIXYE^Vus2dDn-!)%fF8J_n#@-cizFW&8?eLd2+_`_j=4Geko)R08fWk-)MG4^<;Nng;!6aKvz_b2yYs}r;z3$Fj6C70;MF&x8 zU72}#H}#*FH@)b&ST5yn{r9K$8yBnQh2CFIqy6VM2lp4FQm3dpZ-;L+-OeGZjm&Nk zjAu7z*{Jn9`}r3@uxUzHErmB{HqWZ^)~p)1Es)<0yBww9ML!n3jKPo-;Xjc6c&%-f z{w=!-5Hu~nY`?0Wr=O2a1KKu2u+?LTD z28b+gCRo%gqD%R;vG_$RmA`SITLv)C^zVsCniu-D&jv;$%(ykFxTtKqG^R69uh@P{ z!Oms|P3VqC2a{nlF)$4ey@31-tvV;{IAY zyjnZq`mewO-E2VnlYu^`iv_(*pdkEnRfw2rF|~qrtbmt|O0MGM8lQ;Tx-7sdx znChq2z}tz>N(~7wT^3+7_;fcMmTpWRRFHdV@slyB~y^cE+47$`nP<6%G$ePEka1VHh|>1koT@P6r`sd5^ibG9y57 z1P^u)Wx+TiMCM!EuWIc#zKgwGZ!ZfMtLeFVJ0HZqx3l{EBk|t&uKZd%y=%A;!wuwc zxa5^|nzKG#BY)9-EJYQX0yW#_BQ#@WJTc9Tnc_Qxrc{3fDf-6MxGn$S1!DD|RKzOB`Cf!PZ)_pT8-NifiV?Rpz0Pgow( zr#V&uSpDhZ)&ArXz!HnAl|FM{`-uZ-@iMR?RS8!1a zdi0RviWPX%G@BAxpnHfP$Sw&*6zUqFB?B;lm(E=!F4@jhuX###**j9%<3BT>pcT(5 z0JkQ$_D`io0XM6(Zr;pWBb#;L8|)IEhm@qh^_(f^Qrc`evRt`uWsmsM0V#OK4`aDGl?@bOY;uHStwJWlc5G4v81EHYX@9NT2dfH| znE$6GifahXdy0O$ zf&HKw(OSBCG;qJi^0cO}R(uVi)`9V^Sk4Zb4oe$FsPGzpAPCsCQ8?%Iurrp1+&S0d zy|kB-v75e{260w%^zRo-Em#`P*L+ANMj*N&&bqL|afEKY zO&FKQf}@`X($VP(^$=Ncp^|GVTvMudi?vm#2o+uD*5vW%5{wlmJxX*aQnIYix-F7) zoBwDU$cCldl;;a7T3X%*AMX}ZX(&x#oj+Q=iunoX={0x0Oh@|+850eLJ`Rx!cWy5+ zqBG{&v63Rf4BeWes*C$fEVhG_=a?uZ0MKp~MUO3$^ue}9Ir_miJhL;I?4v|F@ZseF z$I&XNL;KxXjZqQubv$o|`=6L@W(X3z!`aGopn?QDs^>DFSacYjTe z{;>)}OCIY|4^CR7Cvxl|Z9l}vu=C^+Ss=_Kf}!R)CPji=sB~dtG~N zBdt01e(u&(wdW@l9UhB%BfAk2O|OlCXqUrJnry;xJp<4?3o&S=_Z-Z~k&%nGrC9>- z>6yaCS9^fOP7c5gV9Dz>SdZgt*|J`f$ZdBk!+Iix!Djgx(cY(*$+R?bNBB2h8_44pcX9czu>jIv%7G7b@M}PY+ z2gac0&M%d;G>Wp#2ffpxwr$Q|PE2suzn1`vTdY{(p|*nqrrihYCwsq&fp1G~#yZV`gw` zu!)QUAKDd>EvUw}QH}dYN97*$jVXvdQd-W^nc%(j3Lal|HHGrJvj;iz+WB_q)57g` z>E?D2V2lz5?dvTWu%eD{3F5n}G#bxi_AW?HpIrEU8|#ir^=TaO0vrF{CBbTyznxFPhoQsWS_da5?uGkzTb@QuWtLed-dk!o4UDld-TU$im>}} z^u4j~B#Jnnf_-WMD#sx2bEIO5f z9~Rz!V88h!ERBBuIa}+&B2I0!Q0KUQoAT|)T+N+jK?|+_s2>B=3Hs5yJbg=&6&juW zs>(HZ$81VwkDw+(1g~(*>(HcP2PHQ46Az71mwsAnT~x&0*rz!u5L&P@rVYgaQJ0%( zDS@YgxcM=tJyRRm2nxUG)2YuVKj^*KH~-*t=%P7du#X*<%p69oDt?^F_LEHxeHd&S znYpcIM(P%+t^2w^rH@7zk4k6wu(Ore2Lr3&>6jl9#~?NQ~_i51POe7Iow~}W#61!ygVOl@N;*1yqJI7zVG#o zv=8&U_G|QTT=AX2E+FKY_zj~Y@QAG^C?trq$-SN)I@<&&EfM!7eOqeQO+6r$k-H2w zfolX|Fs$@@u~Pl1{$cQpVQ5$-ZG>is1vYO$*3yKI&y?IYSQA4;_A-MKxGsR{F*cIP zzB7td9o1*jnV{Yo6;fc^;pf@$sz3A4!G-hYI53#cVS@U7t5#FX% zeJ>OWehe;)f%bl-_)vuqoV)H!I|%BpMRgU0!HHHU@lGg)@eqDgCneqSo`!|os7!PM zp4#IGwt?H7-d@Z~n9Zt;w^9-O3{Yl^R9$VKA!Hs=O*M+wC3VoYS0&{=<=kHfsEX+9 zpgeJ_0rsCD2WUkvxitbQMcsg#P?$U0HBQ{iP7SR1ieb_*JW&wXYbn@YIy|*mk$ne| zP>t#KgBMec=zXM&I*afOqik5d`8?D)A+LuC%JwZ8Qzq`*bCtlmKNDaHMl8%4-d^k@ zovJwNpd_GmZmPA0_l*#;pa?rAA~l_{R<_E;nS}tsA%IyR$J`BqIcFzJIa{(JV7#){ zfe0fcdZ2jxUd|608SQQ((0$Z!7j@5QjY@Y9T}$GKxo#-dArXQ(^3tJCsl+k4s6A6x zn75`Sp|oax?7m4z64~G^zr0Ri6XyQ6qT%g$x)2pmC8PJ3y>e`IcS}u&P~D`^h`Zs< z8)(Y-0vNvkz2$h&tV9s@a&uGx)xWMSsZm6qnVhA)*u+@RGkvbAf!Oqhl`op8jse=! zvX{ zD`uBMiW#DXkKyX&66MsUS&>^eb!B7G*Z9MB*Z9<9BS^Jx80iPTnYr09b@RC-GvnT| zkDUyti0-H`@ET#hH_Mm8?La9>e+Mknp{=Mf5avW9pkXEPgJbUYbKVhN$X%dPcYzmV ze~uGR4$|z3WuSlvrM~sZMLy*pYinfsyu;hqA|<9@`0vxh=7A{|{35Ia&_TrB*eBFC zOlUioFp1T@nGFV~H9Iz_!6r5;Qi6B`yy&P1)V?K6-nR%SXq&Tps=apscN!73nL1I| zm2>}j%d?eEGgra;LJUKpCmL^AZkS!j^RlHq1k0?k^Ht&2-H||h?Y1#M=Ns^d22~zg z3WU+*Sc;$lW9h)Ao#)CrE}n}y&QFMMUYR%A?{_W#;BNez&l3=Rau#raZmX4bm?%|* zEy1-&HH2-OIgChN&`Q*l)!(fk7n+aCP>xEa^{dQIi-jtzABLG@zty5ZsN~{u$@`bP zs4C?w5Kw*%75&Ra=4PTJD{A6{o&&+Zfwf0DIS(4eSU?O&uHH$E`|WThfn`*SXPx_P zVXviET6sMLk2WxsW<3oD2D(Uufg~3!+un0d=htdLrNcdWHmq|`lEH106S>C^!dZ5x z`v#2rSbrzDgmdp8@*Vq1s@U$Xb~W^3r#=30e>PK@&1f*J?3>sXeAVTDDXyje>Dt+J>lo7uU_x55;Ixz3)dF<$Kg!sK zPlb8Sc$v?Vf3V}6KRvNe&rBlT5HQX|dDHdEdJN}g9Pd5lNecQ=hVOvdZR-wbaBKvB_%Oy z#vGh6lPS0{ZrRKVf&!={8W~iQ?xCcAyfOE7(;mOGo3A-3r&Fh@Fp^48y4-n8uN}GA z`RSDHwrjl8YDau7_qfbrwI$vK>o&~Oy>G+YfL@Ad2f2ncVY%*L-;HBdm0~DljNHO# znaQ`$#Pw?^ew)P9*;Fk(pF@(N%6?0BU&c-ER&#swO#HswKYbl^x2=Zb&?ANT~hCpRX6H!EgAloBkWzs5!lc9HJarRNB1T8_7 z^sFyT@z*wESr}dxK5*x#BC>~va_X^YfM~J83PeOHUIYkJ=Bi%{?2Au~`&;jDAx1s> z+L6;+XFMqq0J&uY&<7s{1owGYSbSf;L8~QKehTVh5lcyvM~OS zR$2bDsg~ux>Z(1~l8(n||Cd%fkCO1`??ibA*+iS(bR-06v?Wp215;s=f=hy1nzbnB z>yDnOG=D!;5_e`U>|SQaC2YV0LE+Ptb!$%5M=##n5`|ckelGdv=-6L>53-|g*`Cs^ z>gd__>{N;@KH{6FP8Q%Qg^FYE2CL0py@XqEf0AR>g*Yn{xuWK;=-B79x>JWJ>Raqb z+nSXi1KirLTju$=_WBBMgO$kIPPgEC&=~0zspttmUeY3B*RVFTYmvA_GJO0~IXQ|q zeYK>_cS4NhV|o=l9;R%|Ls}RsUW7ew{u#KrCqXG~zS?Q#9t;`)GnhS6@|NX00#zlL z81qTjyEcMFCu41U#SF7hmmF)a8&YzkdbuQ1eO>}=LIdUNW@ZMtgkZgGW!Dy#pdu@L zWLosWOWOs#Yoif?GMNmP0jh{;=_jZpcy8U>>ldHiZl(Z%mHq(ts zMMvtvq!G+~7w^TJkq9KCXLj)|-6YNtgGP5Q0&=rItBAvM887e7MG=$Msi@Oa@Sz#B z$w9jq=gpjt4>2yTaP!K*(5I|kJiO&Ke@CRz)VN%bD-m*u;;pA)Y7fWRHR9>8-}O*E zUrZfCzlgSw!9*!oFlcym zil$}wfi(imB?`(9yDyKo&uuZLRC`%~BoQB4mW@4L=jH_8$x*rM*b$IWr(sVEDUSnM zhO||EpRN{ZwgBJ!ay{KJ(<76OJIZz=R+s4ulY;@SxhCxIPZdbTD2QgcX?TNT6`jMN zPMkG|Rq<1F1>ymvFiBKW#Qwozr>pc9`s5%5cr#S*!F*L zb$0%~_i_HcjosY-CH}r$VAtROlT4qjZ-d8g38$jfuVjgM7i?KnNGEnI^+}TMnZkES zr^#i?D*=Pfa?4&q37CJ9`chANC+}^(CF$!aI~I$^3jf^U`iD$kfcp=JLVle1vY-Xh zfj@B|Yn$A&&)ua4A8jwS#;ouU!hz$vF9KZ{V=H8>pJW1IEZZ?flp*;T24RsF4OoW$ca#mGn)WB(Tfc}-GspB8 z$01`n;(Mk>PN=Hp+Onu1xWeP}&&%LSK51cdi@vD0ZK{Gqs+QpqkRF|!NQ|m|3UYaG z`k}G|KR_*|;M0@twSdhR=rmbQ zk|R{Sof|u4f1|)kiTv$uE{_uo{1~Oo|KNMg9Gqy+@|p=p8lT{;%ZT?}-K~npqqh#y zK4CyN5`v!fwPXSH!Y-{$8PP+z;AGCv*IYP7v!fWpNXqp+Ab8;PQggboPhy%gB$*S0 zGd2JrLjHg!Y^7Hd#4E7zoRKo^s-0j>fD22FuWzM>RMZcVXPXbI*7zR~x+M zBan130S#aGt=_dL0%^vmHzjdzHcq%V8F_wEP)NWk(QDE##|qWc&YEk!W*S9&OL?~i zt}TUtPOv)5;P;SIB#h$5)@VfyqpBt@vUj_mS{F_pygT(BSD02wMiC-OJ2@MjYDGkpXQ>*)N`0xtb!&&8ioHn` zu9^u^$Q5#6{WDs$dbBCFluWuIlU`{K3r_8|+6%JR6!fkP2JG^21Qkz`E$9!cJDyFS zGB2pLWgSm#xxd5%DDrcOQ&Y5cZ+f;&jCdxU)JT0xFuA8s3@==CmE}i_>3x@0^B>H> zs%dZ-z+AgKh%ewA`DB+^$fta41Po1l1b`}1V7!w`Sn0>WbeDxSL>E8RP5M_;&%89i zhR-F_*XAZ4^&Q#st@;g2^3bj74LXV#9=U3a_G<}6`rL?5;;&in`ASw4nS@>mMN=AQ z9K5Lw#shQFudSlJ^JyB-SJ91LbvOQ$oy#U4ebNs1^1!oeB~N|fUYItru@OUrna$Hi z{_JP8!kAM(1N>rXq}k}*<%C@3j9;;tx`ck}O+IZ9^j=^t+9_|-&K9EUK7E9SKM^mY zkt%Lj(3?w{_m2;7`Hn#&?v9&LcAS`8#3XJLhKNGKFJwT6ICHx>VbRN66C+HzV%C~t zAVl!TH;2_TH|*dD#Qjm&>0LDG5rb~#yWScWqKxSox3fEUR&>sOe_If|F(q8is;ej- zY4i{p-m=Xd(LTo`GQbyg5fk64s$f@pn8oI(7~=mv8jFG?e;97~DzIJ$*)t7#_G&P| zUNRD&V4XbML!S~)8EIV@ZMQaYY`PhK+iW4@jTl?ysaT>Oj)m~kqQJj76SsHbWxn({ zXlF1eM+h;p83n6A|_!W#={c!B9^mntry%Z+1=57XUH1jo1uRD6+4R*BoRgk7f1)9tuBgOUvp`D z=^jo$ZNoK)S@uZz_JJ0nLWS|3y{Q;Z;dPC4YelS9{q@DLeY<{RVohNocZruMzwEaa`Wo)pa> zb9aEEUxHz5D-%|HA9zItJ0_>WkW zmGQrcMOU=`9gD&t95sa>rF`O<1726`#e+Z^Oh^?G01^cUz_-DpP)5gyNS5KXJzPGj zy3e^h%fL&HJ`ffVz?pkjRaN&_eN>tGuSYB1fPSa!nX7ky>c4+KwsU_--_+;d`mIm2 z80q`v>R#jL7^tpOGk@$K{~Ued*76?YuY2=*kuUF7D=yt8SMRU~b4M&l)c4|z4KF}( zTJh%K#968Eaq;WSp9)GLhnt5Nk2N#u57GS-fey>Jtb0^W-`x<1qZZ}yrE^vMRZZKE z!I@nuby#IZnw4z8CuPaUi*rI@1LN$eoa_B(kl4~e7=}-Id4i2@TGe(0ls{9pwb1YH z2tr?NZ~P_33?(6giPmL76h7IW^L2Dy2(?uuI!wju<=Wr{Oll(}_r-Ts z0;|~A;+VvAN`i@690Vk`ycY|v0=2*oZhzY|J{==35Kc~8jS+Ag`18gL#w^tuj*%3< z?{Vkh{(H~=dRw>0zqRx0MeqLlEB4F#wkG`L^>zHC-Yp*g%5ROlfS_TrJ0kgD6){L8 z5|>qwqgY#nOB_dl8}1CL%wJlpsC6JA|9I1zG`s@HzyJUYAV;Lr!gsiYO`XI-+n{Ut z;OS``B2SJ?95+oufjUzktxR~Ot7ni47SxOg7_FU z?#)K4$DP?W={D0oDZ*1bmpTgP_9EKDjSy6%nj#KStw=de>Y}~>hkD@p2Tue;I8-E`T(YUu}Txg=_(evT!IPWcyc&6AxA`&aMgf z0tFS>IGi8fB3ceRAKyxN{0-;jm{T&mUhMA|Sl*txLN9L#hya1#SX`)Q?%r&5F{>dO z`4G~)5b+=w-8-=`Ke8eLMzD3tvV*VmBFvA&Xsx0}^FL2+{1c=6lMEFo|7a=(<{T$*cS*=?;KL>+ojoq~ zXH$8?mrk1Vsj%?M9f5B!k`$Du9E{rvbcqT=@r33#((s?^0;^ES(#1Vv_%^#C4JJ^M z|6$&)3_z~#@b*;@!2u|BddZryzf+eHe2}WdBjP`4X4tf&^im#T?s?xHoe8_Gx#ox>Vr!du|M*D3jsO8*wvgBMei9E zo?athc9?D>XbM(6Z}V8j>JXY)OgnF6UvguldoeP&G)XKPDhLT{&2Eh%fmT@4V9-4o z>p|gk+Bh_T*mS}VV*(8}y3H_aHx9V}6k*1s3YKoGE=zuZPzgjN2PdH%pwNbNrVjDL z$J&{WDT`v3d~2T&$?6kotG+#MZt2LcyO%mwcDjDxN=a@RIyZ#QoPX>)Wl1G5c+!R$ zSUB&X_w>%Gd{<^yn@`iMl|_=WJ|g9Y!Sh+Wm4)Wwe#VSpRt5&9U<`Ungoq^Woomp~ zH>KsNby6cqT09$3O_6h+#|Qx=wz25M zImf^_(_;YG0tpXuTn#XdL3b*86=C{L2@s0g$GbfGTIN&t#;9xl0>kh8;?o!vG$Ltb z@#<5}k~9wMD|vQW&;3kVPbFb*gJ~731swNieil(+b0Q~WR+OtcU2T z*ap$=;DSmq?MY?_@xcR5ggy{} zfgJS+j;88-;*=W+8w!7kqsQRG8clxkOI+((*?*0{fkhDrD9XN(Jri?+)D0)H`c0QG zzTc?me&V)mvye-dhE~!*D-*KyYlE;~X(iT+IF;>O>6Vc&CCDWo4L@yO#aS7LA-K^^ zlFw?GiP8O-VB#mt;p)H9z zkb|Z}eD8?M1(Tj9PlMxVeQ;-e6krhy!D?Q@w69dw?gyjtP{AK%CACeN=(R>$#$i8l z)aQ9H24-aZWQwu%&D$x-iQS6tmyHvdwPvqR`!up%I8o&Sz(M2o7Q=dM@Tc=mNiYy) z8siHsB)eg{cIHGYEN1J_5VM+7)@K_0^qL7i(SUd<#l*^GosGZA;VtB2gC6=R&!7qt zPqbhagt(~GvYOP`?>x%@Aucx^4f*rqNK+23ndd&f*uJY1$^Nox zXUwtQ3Lp0?zOEqGqc6bgG_+k8L7Eo}H@&#_BZ#u}aaJH)0$JMQ>KTEXIP9l%>(LsN zuGUr4(R&?hyPn(QVGdJ!fu8L0OM>X6ZpZfNR2B_9rdE-Qz1Bqs`*3wJqUyvHMOys$ zaen{YmW)Ynimh~4OmlrZC3aDhrr$0~ElOpN4GHG&H(hxv^Ql9$2zz08U>d97cZWIb zJD0G%>q6vLxadEJX34HSR+{K+$vu*@{sz;#zIzq+@nAcBd0AX5|5YzwNFn=L<$9)A z$B+0_DU@ufk@bmKdaSg=>7M~VpqeCHZ}cN$+$z$km-$sS!_k6Nu$W`4?TK)HE=a# zsOpC}OHWv&CL+y0>A+e1SIctw);3w^7uCGg)^k-FTtu|QMC=20LWyE>)ixQB6c`R~ z)d;7{sC*mW==ii1j{jlhe;fGUR%U1W-!56!{|seW|Eo~;A1ga=kNqo@ogpmWPQ-4L zf}Z&-tiquYl{*@tq&6G{-wKaNp->f3D#J_s>Fv+MG{9O1Oji-9)Nu?&aKq!>(RcUX z3C{m_1Htd)-eL31j{nEa({tDlY4_C9%p7*6n9K3py{7vwM6po$^nP&q&O$S6?9N~Q z1y6ntauxDg?4rxKSvLMBKWZ@IUX?!lHg4*p0$2Z*ol3!X3gO=zKlmZdHU6EO7Ik5k zMt|+SzOqIxtK#>7=$@M7M*p^*$U$oKqWAMNYzcB+ba-$0NrAUw@I>&JBl zd@hNk{+JzG!jdM&m-H6V6u5Z#b48=bv(IEIQ#1|Eo*Mn4|)&EdF-r1tGty+D473;x3>U`YFit}1<3&g z3F#D&9$5%U38oEO|q@+_RL0U?>6cDAmBm|U@?hfhy%y>MPb3ONa?*IGl?>;=6 zy;r^K-S2vHtu=e)b+m}PP<&Xs7G=WN2z(!6F=FKk-BRD0({GaOO-Ay$wwVg@i7P!y zs}r5{BZb-+N7{a%+4v7~9AO4>fcss@@M%#06IXd_bE$Mjlu)uKATQiZEq0`w^cO?H zgf^kIpt*6_dC$AT!qtxf;C*N2T@~}jf14`_{pdf5Z}L> zfLGnQ6Hk^M;`n2OpFKNNs3W~GtNhLNth%sSTty+WJd+-mYvLB?S_`0nS1{EueHk&G zYk-|x3r&P7G5CpS;HE8CKt${YLw_ZDr;QMAFs5P;#K%WMAM!Q=Uyde$jXaLtU56SA zK}H-DB#(g>2?F=?EX3L(dmIZ${hv!+B@B8>N3;u$|BFacRyN|I}J>lZ6dk5V%}jW z%X*fBge~^gOmhZdWVhEYp9PF5m&=R%9pJd;;VRxjFrQmdl!>ZkxZI4qrQf}%2bpSF z>G`UnjkzOEN|yX4k0zkaI9njJ7aJ)sZ?rs5Ej^w`>Yb~uwp^i_6!#0H^H!IhM7eL7 zhC;21VH8m@ml>IsStS(?Qzs08#A~`1DLtQRY{i=uxF>h5us=1Bwh{!SMlUYLbpp*A za4X3eg!U9WTBu(go88}3bGV(oEq&{iT&pG@+5;@!#}0v%SMM+R(Y%VU?6i6=UtGz@ zV4IM7PY&SH;>+aL)QvrUjJiMk!r*&E%Y=Bnax>Qb!&R%1AC4(KzGEln%=2tBmZ+B99?$SHjlG2ZEzW(v-{-@l7OSdrlmd$WeL}5(! zi7SJ#4Z6}SA|KYq9!Z`th^vsio&ZakvA|hnG)s&+k8EH<^B@c1J+cP?TMlGUU^;40 zgp+647k|wIS^fKmb$)fh&%_ktaalS_XViBE3S(?;-Dcop_3CAtC2vrTA}9Sc7*8OG zMdF=^wHejgf<%>6F3@5$|x$^D>pk-XtWREW5uFv5DFsj{VjEa$E%>ElE^TF-;2>a}EvR zVFxWfIf&i3tzB%!(U=&e(?HK`)n;z4jK=X%npsckPU2+}nTyaC&=|m~kj$yK931^t zJQ_cKo#dqz*)W4Ok{YjMnc_7I0dEh9@i@XGB*$*ZK%lhT)YwdW7I7?Y3~~w@!h7)< z`jhgrKrDe-#C}Sh=#eN7hF6M&jaDuup&gNO4_`3dYO9cC(W2UgF3-f2Y9 zl1uJ;ICPJ4EX%BRS;Ri0S1HGua^>pn)0Jm^YtOCW-FcrDCoAz$^{}hdk?cOYX3<#A zMWS0$jKoutxeN;l^xZ49udeXvOhHRVr#l`LNUh|X6%nN8f>IA8h+%F{>UF2X^p{m z`@mm889UO8tP5Q{v?k3V^WJs&ctm@r(U}`F3di2@w9&l`5KdG)#_>pKcHvY^AZi^X zS$mx&DQl2v{Iq^&#mEOQASLa4Iv;`8C7s3#^1aya(Y#9uXYXv3rvnN*5ed{rN41`7 z0glg6O;^o|plxN|ADGpfUOR+aUEo{yF` zX)&2(_3-lgGLvee`g;3}qbcXLeNtt-DaaI#o{JoJ>l?~Gv^1#Q>^wm#PXJ6T@g7%p zOGP^7X{mH1PE)gD^ z54&h+S~q6!g?PmQ?Mip5_Fv)L4@iCM)xMll9MgEFdAPd2e{eUwUikSo_WD(PH96)w zVKnaj(B-HDiEqVcx6!B!D*hZQU9psE)kF z{Uy=7OWta$>jPEeaI24^VTKd}P1Ai&JrORfz10i`jf4{=dK zg}Gyq-$ZKTP0_f>J!PtEI-zUUYA1m1ky+<|EMdVA8JrPKjFM4W7bzSo&Tb|g)MrcJ zi!w$#HW}{oAl5M{;Pg(Zp4E!Dzch$9&Y;*dAf&Xd_%a6>nPrG!&?&3u5#iR z29IW}7yI1Z*WYT~xrqCwYL&Af?G{xRAvj&Kv-0sPqDPo+UL@+`UD-${2}XS~>DB!A zP3qbQ70e?Qs{-s9?hRT-X?61Vj@LN?`?dw@Sxu7MwnSbzHXT2a-m;r|Rnf%>BI}dq zOSEQ!Q0gQDhwWI|7@cAS&?wu^ZWAO<%CJ7m-tB=;%=iZdlCcZnU%4mlMwuRk{%2ZtaMZJ|$<_=@n zB`+7Q4lAQ+8ZEdj#HI*VmWXQ4yqvVj3UFN?bzgeRoTT*Rn-Th4Ejy89UC62jlOMT@ zJPeSU_0XuXsPE&vMU!1nXQYZn1|}1ep^c#1Uy$~kKwVy<3?`EAJraRZc*dPu*C6%Cr;sY>(lNp5o_7 zg5Lg0U2%Pi4=Hyy1C2x~Y4@Q!b-TpNzWVqbf0_f5nVx|%NRKyhBjQ1j1#rN_4>L50ZNY|ZuA_w7HSsLG^f z(mC^@&M_B>14xW9?NV)WSBmxKN9KZStbBo*f>&v(#ll%qb{0|eIrjPG;;iejgP%Gd zp^V!1(FyZ-@Lx5^o3)y2Jz^pe9-OqY3G*8}nOHP;?Rq`4DfMM|eUIP~V}RJko})-a zvmcvf%D6c8GjPzIsXMv%KcDUuBdLiy0@2{rNth3QVNJ4$b~CX zfwQm0oJ-iu9_geGb;UB%4QoxrmUX;zs(L7?Rh{XC8xU^vg0tTmliSjQmO6e$fCmyZ z)`}2I6rk$ya>K?os~+qs0TBsjheGC@uTE6{)6@LNI|+S9ZT;yYc>S?eN%6D z6@-giVIoO}p`Gihx*v*ObJF?`o;kPp$y~9*UT5oI zh{2YC9}j63`A1>?`)(+?2_k&61NnW8Ib?o==y%-1(K!v~O@o?Z7ATaKaNbrF%(UH} zptHL{yJR4FP3ufK^6HLyWF-EV#XM!*6o<#(P1l$(@jxUg!5#=X#qn{# zz1&A90IO}ZQ44n^$hTZ-V+4oJ%r}n+MauynT9OYk#eQHDI+M$#P#sTezC6~c3_-HB ztq~wX^otj^m3O);Pw6I>zI6slp9u&cH(XWp-WRl}d^#{mZj84lF5c&Mu2nfRCG7r? z$-IdyvIhede>wZvX|oJ~v9;NvXT~Cckt-^C`4Kt;SK3(Dj53ih6-xhu^{33NZL7pi zEGn1~Zp^g7lVl+A0yp9ok}ZS_yMI}Ki?bBpp^TdsMVc*Tg#D>|zsFfoko=-4c~NPi zQ*#<7%@eQDsApB@?`^Ns>I}Vy8k1zh_6j6cnBu=-lq@`DW!p(?uVH;7b{`kXHqn>Q zu`5hCeRqKk?5~ddZfaG)Tt6S_XfFpP6BIKi7Wv*)akVXrCsLvMGoyJqpnIQxBn*Xe zz$q2dn>6P2rkeUzC6LwsjrB;}ItTy5P8wZ~kC*ZKZD;6AxprOXDOo+6F*C${cFu-@Mven7-a^Zzg&xDoLZw7 zt~HD2)$L1+an8xO1CQPpm$pjNfcq)XV-FXZq`yYvlF6ZSzId+LCkz! zo8vmr5n~njcJ@hfg0)vJVMo0IJCIg8N#A``wlE~;IWOl=L zA4Cui>A`*UQMcYm?EtG}r6S+QQdzkJP54Z9^aX?Av~p5wEK3#ACiCkkL8MoRfCTM6 zV|>QNYVh$W-u=_(IEX@A$9Z0}55Ug7>iE5((eXVMyP@5+7?C=ao8p#eiDi_+0nY~TR`H@X!a$E0gHzd-InB#u$ z>(K8DxZ!N?-bdQ*c+jaOk{#|Cvu=!-*W8w$<~Jp~$!#O700x!!;mp9?5Vv})R6e(o%KT2E&sxdH;UW1V8u;Hg zm(3P%%pWB2F<54dRF#K)wd*X~`hrhU$AqfO+sQb+boX6ou8P<6st&IqR?(?``CegX zbwrL~Ir2$_-KS+Hpqav#yvM~&tFB=3p%0w5esrCfy?R_?xBtM}p^1Jdv4*PM4ydN4 z__kH?dDC4FG=61|<*n`dUDK$8J9B2T;$gd~%=Gy>iQea3nwOqUPTm9ovSTkkf_yXb zZFCV{BxvF;2PscQft>>_#xw3PZ}+VbSG=!UuU((i(e0UfxWZvNPwT-w<$!r&zkccI zY~Mk0?NPcgz*&db&93~tkiJ~@2k)@xGLhfhS$g%CnLdvOyZlZehm5H;6nv2{q7=F5 zc4_&2`Ih-*z0o|gh)O0tKDJV;Ue%J-`@sSY%l5d`WC237Z12jE2fDMEc}CVqlxnI_ ze4HXqpBCCSvU!}(K4UXfHMR<0^6J$WvY6~lXkPCJNf=wFk5`jMrN8noYbM11ap1e~ z7}tPS7m%%#8dXp?e(8;C7F^YDJH6qlSu4W5&zh9Z-OFucUE4LCUz`59Hz_%`*z2s2 z;iVl?V14oE-qRD~h(`$J+Mq^R|LqT34}*1BNP)PTPr^?DOt`OUxWv22`quXnKuc_B0xL+uoDuat#;|KEVzPk8YeOId0 z-{;F`8T@`g>#eGiDa&vVw361-th$G@Xi8Qz7CUh2Xv^+s{Z?>i>Z*E4zavA!!&Ogn zoa*ZUYeHA#ke9QNA(eVb3lkFN+paH!riFS&HRx^QhA!UMdt<~h6jKO3C#s%4eZk9E z6w$sl$IU_tX@(l<{)lG{O~#s|x^5kN#xr?hUwFhuKR%^5OC&|!Q5?GQ?_mzE)i2L&-`LQd|xM} zRYA&4`mblb_Dm!tsgCT4xI4d3*WG_QC~BbOK6NMNc7JF&<|~tTsib*S1U6IjvTmZC z(O3DOR24bPO=XGSEbNlK;W6v$mo%cly)UQ6_^mCDEsUYLwf-Cw{SB##?IP-ZHa*eB z`U*`A;YCW;`{gr}GY;>x5bLtbTFFX7i)hv|wQvqA?AEto@{IjzZ)myz6!XdDc`qV7 zx0Jrc5)E>&yee#|>UAN@Yc}HBu`0%_n^rCn!GArk$@gh&HjS{lc_&$^jj{Q=t#*;T zlKvO6$*KXyT>%a=CnIO<-jbKc^Pkyqio%B8`_Agdd95sl_ifJ^rQo)H+4i3leb%}y zej;Gj{6fbSF)3b;GQ;|GPw(R(`M3FUI+g>OvI-tr?Pr6mjGV*HkEd5{f*3~P+brw# z@=vV&i*sq$*UOgnyGPeB1;me>LA)7NubK*ut}9>RH)vU&8hB9W&ae-}Eli>BEg>ah_12ui}y4Vi+KsxGO+nBTMP$<2yDDQUUQ*xp~d#f<*X zIW*0Z4>3uPJYE@}J5{OaeHO?&<{XUa;e$@h+Y}y96%JiRpdumODfD^$#KPY7y!SCR z0%c_Ft9A;mW?>! zy{}B!M`RkHf>$ zKcHSkfyE z%cCY&d5DcC5^{9kD@XyE*c2-Y)Y*gbxNWX-u!^``X@z7$tdk>R4yy@<&$?^I)&$=pek?xYN8K{Vf7BJM1(S2B{S zKAW}1ukuqI()*NK+==xS7Md?>fxVIa{` zbHILO7157=*(UN6+=#HP32^O;0+~^pC?+GSbJ-dOj?n`HmKU^`U+&KwScHWe<;Im( zWWW2eurMkkq_eKeX8fJNdfezmtJp&y8AaAm?}1(kF~bK0UQME{(S;uj=oq=bpQ>ej zE((jyh}0$wuFbxtaO$EdKEMe!r%->++@oW0IY~%#R#KBbAxHLo>_zkw(C~fvHYb~& zZrAZ2*?y=><$mQv9wx%B6ixJ9ea2XUE%X6MtmBrQ=0EZ9pgy z7)@SITSzwZUJcE;2Sz*P9OjD#xsi@wQ`_KXi7UTptKLKN1ivOSuxHb2_m(Z!#U1Le zJc_0}oUR0+Q#8z1Fn=5Jow-{Uk=!j4UUNI3>O;>}OD}s{rRQUnD&W~;Lb?I-_51EQ zvXrlHZ57}p-TgjF3;jh&$XQXZzzGi$!YAO%8nDxNe4;_oZ+2~G{W~TXs;}+Y7-54SnXLR>2=to{ZC2Gp^6_r84 zJLdc})ZbW%HO+}+mkfs*AhZq|##9(5%T_Kn7xqOGKAl#hbs7tFLbZAbx6um2@<=RHP*Y|YqqTelfms=p$hdWG$VK9JFCS5+~^l9HeY-Ln3A3}&@ z`64pEEZiVgPyVS!C13N9wN!4`!gI1B$96@uz)=P%D$Yst`nKwU z^eb|*!~Fr4@`=pG$!giFiX^17FiOwm03#rdz5_OEqYi@RTNU92Nzm40xXojxF#2~t56)YTdFc_e;T zd2DfmSYT88r94|5Vxs8~VOg=dd9s1kTM-S-l zyzsV_OL@!@5`uY`yY?{$@8JRd(4NS3&xaQkArVhf1C63CGUn211q#G7@8+R6%3l+= ze78XI-qTN15u5L_$KMc09qu$s+sJxNj&K|&@J`p00}oeGEs(jNJm!P}qoMCSQk~=A zWAOM3$4_@6x=>DmVZHJB;+=Q|Ago0(4qj~JH^+L95izLP<7!4d{G)hIpO)%}N9~Ao z@G=7(YzzEsIOmBnh$Fj20HWJ2#tX;#=>zX_Inz_f5I?ofT=00w^^Qi}OH2T5g;$s=CyV}8>iT8~Xh0p{OpWIeF=-+*}i1a4* zHSe`eBByNos0QJvqKRRl#ZFRhycym#fmc=B3#!M{J?8C7k3I^-vORa~9N}ymnU!N5 zzJJlxo`7ytx680#X!(R`V&{ZmfwYxsO~tN1Kl`2FPSmWXn|H?N9t*e2u)rTBKKCAv zrtH|WeBrrUWHYng$WSSY5@GU$;JX^=2}&)Y8>eD^Xv29FK|!<*8jUA={@q>mXWc5u z?lN%*`(H(YwEUEs5AbJN*M?*U8-;*J0kp{bGLPsqN}cR*(eo{xD6Tu|yFUAl%O}2b z_1~}!*L|F=d-4^}gFo~Lj9{mZEn_{mha$ew9>G{oEVBziZUWAUyfZXseX8jB(>A$>@ZUF&ZFb^!YckOBfPZ%J%G2-f)}k-vH=GOp}U zWxhedO8c?rPH_92v!85rcn0B3O2;-|C)kqPa~5%26`7~~`Jg41Wh7f3UokYrWFmF-^@Y5z6UeyE*^j+03@A(}dWlx5gAZ3!xa*c9_t*5K z2$yCdr`?P`o`OSm`?l9TTIY7Griq(W{Ui_ZoVMLk!ODlW^>+EEzBa0x=Q`pFvoYCj zwTIt{H#8pEEp=w=+(%Iii2lOOymNduaGdN{kVXT|T>~#MdgVv#jxTv{Q@GYHe!RJjV(xjR}ZJ7e><3-&#g} zW51HWpne7Ezw1A{`0+RvO$g-IJ%}2G{PcaFy~*zTFr9;>-c-J$x^KmnoPI*DHM;u8 zyQ1~>hsMq-9WXMk9fAnUIok>gt^Ml0H<@84UN=glbFwng={47w%NyYGV&D@;D#^F77KeJ;iIa_K`j*FuF7ohCNG z{`!+J!K4C^WSPU+2)xD^vhU6-AV5+`fnMZvOy}lrO?iFy>$PtyB;tkcwO2yqH*1ft z5ssVf@0br;=}g}en~Vzi-TTmap?|*Q0m@8_8N9;qknmFdEk1(>Ua&A71mgWifcATs z&i!wN=^uXn@IyZKD_yAkd!W-Eb0*o*c^oNXgcA;Qk2(pGOQ@6KI}RxwJjgo!(wCLu z?bj*mDf+AoDgic*;LRtl{7q*?p1#@<`lZO141x+kjhLo`jVf-Yvm{-Ej1ph%Zm_YQ zZ<>B71%-*KCez6I+|t>PbNs03dBKX~rW5&sny3%C8J$VRey&arJRf{GuE#x9Vw^pC zRT5U|rv6l6SDlw3cU|A6b}DGb`U`)D4pDkoR>O>qI7MDWh1U}%BnG)nRxX{f2Fjo< z-%JF3;mnB-JrC02rZq-FxvR@J@?56Rqgv6-RoyBld-Nv=O;0%P94WasZL^lprn!1= zevR5x3r&q_?0M)MkMv2sUZcY$2`toM5wa$byzP=BUY6rF?V+vDyA+a_%eHjOa)iL6 z@D`bOMhsy9$h#_=nBv3f$=<9X(b{{<$hr>!)6s5hZ9r~-vKB#u!FQzLM+^sPJ*g8| zPvTp1ZPiJycA{4?wLO3v3(@mUS)!|Gai<AP8T>wZ~zCg|Qc=Zs*XMaO8;G4wlYvTkW@L7dF8bz?kXT@uQ} z$M?)VZ+~w@AGb^sJ>+U54Bwc`mENzDA{emTvZ+X0+LyBRG)G~I&38wVEMHJEqMDK+ zjCnq13($zvU_E4`_l`6($)72z!6CN8qi>@S)Z_O&i#htb;RaNXd0n!!K5Vd7)_MK7 zB_>~C{G+DNfs0QS-HDi=QZCM2orj#hs3ycKwp|ZZqZL#iLDv%JDH7~MGox(X^V*1> z#|@$p1+lkqC9yoU0lxZ>tDZ)xhDxD`F@}84=n$AwpLwpSTRvwH$+F|W9Tc4-!OD1& z+)#h`Qld26-b*|)J2=Rb`lN5FuEswRFEjF!s2AruP`}``5Oy(w6eL>gMee&JwipG) z&<{CBywc_PitNH#;2$~f*?{>TOT&3X8WV)VGd_~T1bO2O`#EbYu@>C6kI^C?i}ZlB ztrgHx?$QN`?Gv`YPk#F2Sy(I5l@*Tp#DLmPv)xI19U2udlM&Npjuu$H%A|JYB>aPc}OTfl|Ox>YF zCr0x$5xa~aH!{t1&8%ZR#Xfpff(TJnM}DFjbE7%VFA!lWd#>F$JVcgBk-4VyyQVu8xv72N6l- zT?IcgQw9OJad%UmSK$c)SznRL`J$2ku=-E(P0kl7}`I%r_CH{h%PRdMMz+A*QCzFMPhpXPO5!BW*d#b;(l+UP>%pc zK$#A{c%?x@h_U^kyCQ9fbsss9H0x@l_wgHvZRWy6MbAt>33Gkjiz8Oums{T27WS0b z!06V;uL^U>u(6mPvYOI6XY$5-n&!8Ks7icZWu`IE$?X5I*XScuL|Y+~ulaoa1%BXC z@*~+;{3mXh)J_le;?t|!G?lDhd#*Q68XbL4o-6!erG(Ni60GH1XBl5Cil1jcs_j~9 za}-v6I6A{1e_$Qo(qjQhVAEb4s-Oa}5I$(XvqG~7?s>Z73{de(QPaVy8BiVl0P-D3 zLd(oueqz4YG0u;6XflrGWd$j93CVd|wA9<5WQS=~w!vH(3>;WZuGe{3i$Z}LT$8YI zc6&hL*{4Q7oAc^>$yw_jwePBV0hpZYygwY8lbbutgkB<-O6uadC~sqg)_zIrZ=`c0 zBGj?W`F=goBKq_e*T-3ZD(NMc2BWc|Ma+h;{vZ4U7mZ?mfW!G-B#Q!jhLAs5GlnS+ ztSa&zkOuR@W^Quk&0Ny=H`F#2jDK0)`#Qx;PQ z3DP=1Kov#Di8#8_Q~nGI%{Rqe$t_9v$l_G$qZOR@GHHppTDFT5wY&}@#Gv~<5y&qN zPPOS2Uju4zxSkXHhcg~2u%vusE$m&-D&#fUYFPe?VoPQ1c>l0=?Ni^w6or0f(UN#d z)ZWwEi4T${IlmaY5|MnBUa=aykJ)BV@~UcJfSSv`2om!qXwdyssT38PWBS1ETW)N@ zS>=SbL^dlp`Gn6S|?vm;I1Y z<#+ddJSsCtloGlpJv;ZU|S!fG2^vyy!a~2Azk4| zUH-6+-sPLR4jp}tOLP(pk#r&M7p?bG&_za`iM$Y1KkJj6;;|No{!n7iMl^$sD9au7 zIq%m~#N){t#%YTWq&wHXTy7fAPlu*?<=0tQ);}pvafT-+keu$gs33I=q(0cKIot|* zrsM6aS@C&jEPXi05?#Fs6PYR68;hmtwt<^POcI<9ds=Dq&xW)ObaW;-eq!Np zDx#pbSW8TMtO@A2PYn~74XmHQimebA6O9M+yD8BpCc~D=7 zHe($rrb8X`0OWg(Bj!Hr%4HEeta|q_Aj;F>_t?VZ^$Cp%u|Ge|L1SKT-1_`=&e@y- z3E-KdzCJ#DD}_2kT{4NbsE#W@$6(Vy{SmX#x=$UkK|5@x z8lmGo?N`DpKx(itvXH}G(PNqEOMajB!rQ`MCwaEKZ}VXHjMNZ@P)~(KiPYncgfiP2 z>(7K4D%&VLY7Ssy@+PQQwk32C&6mx;^)XTW&Z#3ee^Xj+1`?xZ$et8;yg*0mvEK|* zC8WA_hjaAPv6a2oqbUCL#9*H;Kk&q=q@ToT)jHWS*7)GyEA~6S4QGPGS5EhS_vnAE zxNz`-K);q;Zk!IJ>frzZDjJzXfN~I1OCu3`cS;@Df($1wCnXPjlS?G5F`G{zMS`lZF4ng79y>-b4`m|3o(aB@cpO^!OzsVAzLe;mG`h2jQRh z`U`@;J_7dN5faXu6y*FH3c^1NaT7t#|1JeNZ&Hx+Zzu@=E#6-c{O?kb>m~)c{)U3^ z&C53tV*GPgBm2L>7|6*US~?6jHRhFr49gwzw%E*s0@Ic8)X1osY7o+JA*4I zWdIm96v_a&ut9G>Q*g#n2Ed0&82~4SGC+?Ks!d#BCYa-8H~)pu zPijM*0v97wXbC0npXC3;Si`WnX{-OV`v9PVq8uf=fWR-Seq(=!GB*JJ7B_4@%&h$Z zN0|ozr{O2Gb}Hv3m8J1>A8P6ePc^c+NXcsI~TP5?W641m7_hnv@5&3^+9 zx3|AaId}jZaMXax(2Xk`KW9Ic{})}taQOxF_bz|=YEaewf9nTs_x@!+a6|a36wC$y z!~Kl^YnL||;`d>Oo3{USmvGzk3+Qjugd3}0rT?k7gj<_mK!5KN#v{K<|5H2zw;#WN z{?;Yjp!_QRk9GM!jwRew{OaVHN%u-edQ z$#3(_)rp zW)NtM3k_;@03cqVqpQ6O#L3d!!bR^Nu;J?epNCdiN<%?S0yeZ#zYi_PPiq8631Vama8J{V<97;V!w&Y6&my7prD-r6orsDs z<&a{%WxSMCZpg;!blzAu!JzCNDfscF`sc*_-qZN}{udM*q#sQ|mOTrMC#Mw>?18%Z zx~erq`S1AUKJJYJ#XUSXl6Er0F#$ANS2MG@7mvvgGpr17SCqD8C?H!0YT*M@LwR_B z?uCy9zNLhpi(SytqcVw#ZoMoY!DQhKPM1cp2=+l&R&W)5W))r%YHKV?7KrFNgo0jC z8?AasbDteQ7|Akw9u28b(Gf}cOPr4mUTx~U#_)SOm(sjP$F2hOiud^rX=+ZGkD@udi~)?~n}LCNz+ z2261NnIGBNZ}1}r+n@Z%1$D7F;f53p4dp?+oB%Kf49w3zPWW>1pDFkkPB?#-|1Wuz z0}7EFx>p>`!~5(0KS1JzM$gd*8)-h>S% ztWZ@2hX&?_Y2}-LoSa-Yq=S;@r!V-ggyM#k`QNG`=ztj6I9M0~jiC-WfE^4ph1j?l z0U-{~mNxcw>_AUgHq<8A7}**_kM7{$20B}s+d?0Bfv!L6Kw|=+iM=f}kBc4XY-8kX z0pJ1won4Ha0KDu#GpLl_&~9+g`JdTKSxre?O&-c#%Is|aY_~XI)KUI>y9MUC!A$Jj zznBTY2~}?Y&UJ(E(1GQKt0-=`ug^xw1@-yhL;lC`aKR6$gtqt}*aQv_S`O=*jS>tE zpg5s(00!bzpI+b{?>Z@MOZn0(U+1N?r(9yT?#IEy!MNdoKPx(d3oX2zeg)5 zo#1mRKOt~HqfHPr)P!BI9C(_I9e#(_1HkJ3I~S}S?1GLeoa4YC4k&$LxN<=ub3rF0 zxY@WUx!|^z8?N#|aCHK!%?XdCVRfM?0IUuymkTP~oY0A8SlgfP%=-t9Ke2>i^|MFV zNWxOE+F)oezwR7RxWDq@_`%XpH2`~tQ50Se`i}5BH2)_Ze$wMt9;|m*8~DZcS5@)T z3;0*60#^D5Tl}w81yBs88vr1v)WMYjCs5H6097DnWe-_(7%xy2b4`p7Vci>Ekmd;`a1g$7l(I_MT{)anT>4uYY7pzS^S z2QR1VrOtbZ7Fr0tcZ`C?F34Eq!gMPs1w_Owm3}wH@cD$_L|IWyQdkTs$|_pFD@*pD zUh6+hF`TadLVL1v-q4;mT*IHbi2DyM_3QpqK5zVoaydI2T+!Xg{4MM6YQYrV%{Kpz zO8rayzqW>|WG?uk&&@h81q!`xC{RkctyKp83ju+b{$B-z6KL#eV*_!4&I$n`j;@wZ zjcj1vJ^ zMlP22c5uTAv^8>YcCiP#+F3q@I5|Us@p1uOT%GKkT`X-NFqs0dvw?v|cIL)TMkdw} z7g*Mf6qOB{#!L z|F7K40oCe%)!;WAIk@q^*#pee|Hpg-+{=(RvV|`B{x&Ni0$uynVPU6a;ebZ2u-F@V zB%&THoHKW(cp{*4^XKYD-?9@-&vJ_NebOb;{y8o2YE%(p~4 zSREq(s~k&J^^+tHB03dzz;`+K>0PukG(0r>pn_2VYpGocp+bpL(O6B1>sW2=*i`A1 z%11}RhG}%Htg%az!Pkp42eh*n+n3Yl=hOB`K~=a^*l1!1R3zL3uNU5V$GxJSd+j{` z1`tsmUF?g!h)6E7>o9Zh4Jr8HqkZrcCwj1;I2tk{MA^tvbg2c)lIO zJba}uwMMg%Lq0oE{7FZIC^e_Dlx}W_0ezcMk41`D4z3sQr4_h{wyZIG%<7VQ0q63? zdh(J0s9ifng7NN48tKvQc(Qr59``7BThlbL$7$)ayBhu+@-K7a3fif9$Z%XA3uDi_ z=Sim*gvo||-imFLgoMAFbbf76=`tC)G$X*oH5j@3Ak?+Z)A;s12^*Rjnu{<8YX1qb zM)|kYGn9y7l+;0*GVVBo*doRN_Lqie;fClMEm6r5%(QgaykwvM;Xc-6H$gQa6))u zcEYrMyPy7=GT(g2p=PT-L!;vm+kw+(^?6c=&yc4L@BK_WRZD ztdEtIOn7Y3gLE^5U)?&LQrcY+$rU28SoA%*sNulHd&y4APKLZB#QEjJ*HHp3f-4CN zT}>n}p;1UdJUcMj$e<;#ESgDoSX1gX1yi>NNl^{@d+~1(E@WT^+&ih%boI1|)k5Ec zr6Np~Sb9D%*wmGRcBIdqed}E-kDFphI4cRWxdf+l7c&&7-==+z$HJ#qjS>H-@1;X| z;#!io;t(<(0AW$-2;|#S`93XOr=b+!S$JH!{i;s7jt&phK6Qo&QdBRnH+??x-lE|P zPn!p;fdTT0bPlo!?*g($m#0Pa%Rq@vW_?O&l_>0n=w8W>Bb5q*7loI055V0fR17H$ z+61Y22v$U-wnPX9#^>#HgylJS`nQ}Fv3wW~IbP$O;=EPngdYAmKCl1aHbf#PZ^Gu= z9W#rN4~A+x8UZ--UkL2Fu!ckOOT(UxjapNboj0AUPF`UpOPmh3ocLQ=5)H5k>)1$} z1P%;kK3gonvs}MVf6MCfcsuan&WDk4vjmADdj4Eu+Fh<oV!`UTo$&Ls`=n)58`vgL>Nb`RqS1)2K;MCem7gV7HTr9~4xdzU#(q{7gP z3YYaA{4o`}0SkFE#MYft^YMQ`RsNZ%ToN>!6 zd=?dSc#;BI=#<3X&u*o@Uxqf}@Vx^oFmPq-`InFUIFjC^a^J@|Lx~5_-g{U)u(k9j zUnF)O~2|yt|a^7`kl9)qKf(e=73KzAiGM>PL2$P!n zAL>EGk2`p_UX=%GyF5&`-v_zL>xqx-ZBUxmQpVq%^;})-z7l;BeIyk_us)+Q!Qff{owt50s7>`~HnP8L{W4wC3ScEm? zCx^HN)B)k!GrIel$Iizpt>j^RjC_O1?NF!2U|k;K%vZN~2VeF)-BM)_naVxkYE@Tk zTQMbYeHeJR;GNMsvsL50OnNR$q_g#cVSHx5eZ6VFO~og{E*OE%Vud-(tQQJ8A#206 z4Ht9$-_c*sHDy|7u?URCrrQ}R*Y?hOG8q`W&_zR6wNjH95i+oML_cs?f@+5`Op`b1 ze6op5HRxBzv{rL_+m!fvCQZ&{v9ThHy-8%gngaGli%p0sJ}PovqNNOFFA90bKMtad z)_k;2t+TnT=dLT)3~uG9!T?a3R6aln+>V!{vk21ep(Yl%9gj<7;~*w#pcz}Jv`Z4_ z81~L{p?;Tp{+m6Ld45#?`*aT9TTcjH+7xvR>vzbSi14}iSMQ#HFbxmi;4GYiDbK2Qn}Qx@^F5>L@pfU*x2uuJ; z|M7TVSYfM3rnur8e*~Q`U5zxJr<}5}kCPXqVp#JGRk^t!kSi%kj$IL^X=n6-w z(MiTxc2a1~m8iSkN>q(C;>>|>y_zk9#uJ*VpXIiE_Zo*$W&d5!BH zWAIE}mS|7Jg`wuMoKDcnmiCO%VtNAF_LkeS;6~UjswAiO*p^UL(kZq(3M+shH^>}; zGXp|zKAh-ocJBAAz`X;|c{P5;1wP$3al>9Vf8^Pd>$1`O7^!s-uz)FE#@zF`!)((& zc-Y|wbPZU(atHJ6=H}%lho337R$4+(KMnc0@p_t{!p3TR zbVJA;l{`$Erj*l1PYgJDQGoB)vAUdrIX70(eQ*?Bq@1n)HX0H11}>aJyM~3uDl&ZE z6^74C)ge}j$HRKx7V#$OVe3lsa)OocIRQUa@O?)tb`lsrjG4ho&=&5^^*c)51QM5g zZnCx1INjWVAXKtmhSuWyETRZb;)CsKag6$~Hgc=X-hdG@Gn(3<`t|4PIAY{UzqR0- zr+M&~XziE8h3gSp*Cp2cSWNdd24vIa8~S%Qt@lOFzs7e33h^nddL<3D)8sLA} z6Wc!?>0gWu42=wojg8&zVXs(NfEZPMC79pi4W9`|*VZ42?+b~n*x{Yn;YUaClZ7@D zK|2R8{ov6J3`~v3=xrP(=!RdkwdRoBXL=+9iQSpS)tK?+Cht`y zWK(T@`PzFEo@L@Am;a-6O?BX+=jHy~?A`Z?y!Nnd#X>bXWd5n3Hp6UOpU16u%`Tfi zQ6xjU^`s?(1BgAj+@s^U)$}9j=lT6}MQplj^UpD%-W=Q5&}Yb~)CnDax475p3sdEk zTeb}QMb{@?blY zKO`(H01$wzbw2Gs+@^ns(!c67|B1{0-Rb?o<)3jRTBc7G!pQJh5czZ>f8MCSFVp9T z|GZ4UAOE^cpTGKlxlN3$O#kUR{YBie^m6pd^eXgfzp?jUO6pI<{#PsYn^pP?wXOb3 zPW?gKwx5*!yQ2ETMg17QV6HvbiI&$tjUDAF?Esp=46KZijiD%qDzc-mVl` zIFLcjB22^klk3M>MnSb!THx_{s~c*hN@5luFHnzu$bgZDM2Mp;|7LJ2qBAqe4NwYogkJ?HwYe7snqG z$&}nCqxW5(qLOl1o366Fgp#tfOo6A3rd)A2S=7WaS%PGwsOYOz4copg-FnM$a;my~ z1|PL7m)XXc`i)4QwPNg{%k)d0XkLFFy2z;LMWkBzegwrd%rp%nF<7JsgK zA6~UON$)s{ESe9AZRYLnk4h48a%$z2!dJ$-u_RdKK;?HC9%&SWkGrAr;xQJZbdQzA zS=3qj2@THP(bd^U?g5TY4mz<>F~#>HkiGmwrIZsMr>4fze10yFz65)ZZm%by5>IH8 zl4`bqlqDDYiz9rvT+qzb{hDtWUhT;$BicA7Hgk|121QQJM?@UZ1w_+H^BO2;aF{ zU%jRZLD^%IYBn+3kR#Y&@jh{^(F@Cv+5v95aN3c1ttM7iJU=|WMK%YKP1HIGSg^39 zcDq;x6zMp=JbVf=cRa_8s&0XJu+b8VMjb(6UeoJ&g^JnwCLbc+ZNZgj<*7@OTmb6qpc&bEWR$~=Q zZK%d-3PQT(T{~w11c-JpmX;+aQhS9gy@fB}ab!b>Kbenv1zuSKO&i~80cx{Ko^9mb z=?EfOb;Vb8rVk6}2wB*f7W`gGhBP<;BFKo&-ZQ4MWRB4M-2Do7eaSxHiz~D5HbIE? zgT8fQvLrF^szSniF~>lU+nmto)o*NMRDfkNR4W+(!ODjxO6|7J={B0Vy{=nk&;&0!i^Ue=1mLKCeCpq}kLo5<`G&dlndLa%u@MZ7Fb1-eA3Zw{Xlf z9jZCt?0f~X(mZLM_^+2zO=$8d1!Lm9CrPkuRg?7nEgj(&4mW zw;vs*IW{n}MdY;OPpcTFoAZr8jxZZVZ=xz^06+byy}<0 zL-8oGqH%fRahUMbaLO)_$Ns**&O3cycJ$>;`Soqefv_WpIeg&E z=0Z3ffZ+w^=+7nS5-vv>YntE|&>cLM`MQp;@e8d>v2CEF5&I9784Ni2oATvqu*=PS zx&oEas{GS&_`jF*Y}J~xLt!&vtk?pCR<)F6rn-da>@uIp>g9qW7m!=?n z$GBien;9S%{Mq-&YDD4UT0JG1OIn;&m31Jzr~eQ_+*Um>}kpkS7tA>s(Hk@G9HrPLf8u?YCDc{UQ$Mn(6X{tLLu<13V#O zX$W85f2}*A){}O0Gwx3K%{w}Z%X*NiAWSSP(lFR+XCeCTRY2;2lMNwF0UUVgWS(U% zvAMW%r;`a@;s>icf#-sS5?68MfS>C^0541pK~vT{MM8=(HL^DW-Fy0no1`P)CV|ae z4PMy~z}iKD9mbQPE5U&I^dr+XVRKgvBQiXE<6s(^-e1ig?SQfO=IwLt2$;(6@*F=B z2E5_m?7Jeo2EY+Bru(MhuD>5YNQSThZ(PoPCun@G5R+ln{5m=$AxirZqe%`z0Kg%VF4J+euTlG z-La?;(Cw1NCFOv5FcmsKeT6J=4;k$d_?VZfqb+QVXU~u4HK`-q7Nz}KEt88e!d;H# zkPggB#pe!_o~!ly*|kJc zWe!XWKdw)H>~%&y@=FXh_|=HSSD>VfSCWO8@XP0p@Zy?`B$ULJhke(+z-K3jwFIlhutVY)ss2*g|>Yim521#{pYU9#*d_WFaEafiOUewQf z*a2L%{F*W2gD?cr6`kf|d7(@9gf~9gY5a9@F%ayh`dOw-|F!)X()8G;nY6h7q7dlF zmt<>6&k2|foc_Rm3zzOuTi=0eB;c$UdLFAAtK`CqQ9>yVkqHMmUNMOZdoTxAXwt+zKbVUX`4Arax zr_=RZOs*}UuY^w$YoOj09UD`O&KOO3B7yDs>J2ab?!(ExG41i7OAsw zuAE#aj0!O`l9ec;ZubPN$9bLU2V9?G4Z2RWkYA}zKcp)p;&ICp@|t^u3fCoD1@?g} zdo2#k$?Fl?BRATRoxc?97$b8>pt$ZW=Fu(sE518N)%Xc;<%R-Kqf_M6sft<^1x z<-*eQl9$;o00-%U0Gr~U0CmCxo2uys`W3*t7zkPmpV&%wNT5mYbYa36%zWiPkXH;M zMQF0;!65ByzTS!RpNZhsL|;5xp4QM4t;mj6*D2#(z&msLGH5^Ft`su(+9a@hmOEp= zR{t&lph~I~!uw8Xqg*LRTqvi9nEfu1VfO5taM%ghoa&qWACUSt(f>axQ2n1d#y{&* zOrJ5Z&%IHfK{B>Kar!fm_NVFo{PbUV`nTiXJk9WV`j6GA&!ql;;_1K2Q@@wI{?yrm z^uqLF^y2g~pK$%<4`KbAR;T|hx#em?Z~ED4{VA{ikk-HXYFmp>UHyl&{!KwUnYfzR zeqy!zZ!+54(Zu9;CGGM_(~frkLesye68=Hc|HvWy&#g2w8^b@XbbX42hVntfpc_a{ zV`R~fm#wK*_VR|JdMLT11~`fS+#=OXgtP-fn1FB@q7W*y>aV2u8~wX-w&JI%B%0fM^ZKPz=$yPqBl7eL z*p%@VYAM}DVpqh*a~qVoKdCZf&T9^9Bw0(kJbytMyC`Ok%#zAPcDN|@Q}<(=2+QXG zRA#2oRwNk797!CDKTVByxONaW<+=&km%715lZu-BAzgre2-nW z$BTv5L0w?Pl@?i2eJ^X8H2~6+)nx^5RFiB)*s$#L|Hs7aRhIde00Lh5jj_>rlh3h? z&D?$V3C_yz2lh}C0)-8-%+FFp?U+i?s&_Dq5dAb-@fm0$l=VoS-6R@yl&}jNwg5q3 z*2cITaDE06-|yABxvp{s+MHT;6o?0G-SND#pt#(f^Zi;~w~v#*o@sM_edgzDMMlZt z9nRr~b?ZV|PSV2DYX(*8#oIiLiMGCkl+{zz6q%`sos6n+y-^F)GC?_o{klTP!)Z(= zV!#nazsyUTI5g)WBJ>mKzLDLYNA7t~JjsD1<voI#DaTWWSFgX{!4E+kwmWLoV05{S=85`c~vt_c#? zPXsT`h+?fW@YI<$Rnl~s3lWkbW2gd*XK>WFTW@Xol2Ph>IdPGiQ|h&bt*-O{_8Xm-1Y2T(G2;~~a^{oJdEuM<#nKSi6>i)3FOKxfe6HwX zf|Ez(*OWFoUE0i0I*xKYRA>6LGD?eI4uEgUtL>FgE;;iKmNr6IeN5BOD7}n3+bu0a z$Q_y1_McA-={wZfdQ`y^CPT9z5dDs@)o6}Ub24wU`791suf{rrX#UES9bZp9xro z*Nosv6C)Q?lN8j`69p}t4LH{jZPgD`gNK>P%Jy;4^JO|?z}G|9*i|QS+|jG4xSfd} zNMGRQsOTb88r(C%0m5Y{P*CXpU{VXlf&FoIFxPy9*?gR%0brDXL|=uXCblEH5^8_5&_uT{bBHOAJ$^mLUG7I;{`>U>JWlxf2b849`h5o{ zLzXqs=n&B_@mG6D&1h{8%@LQ!pFg*W2c*9JWXjVe70b9Rmm0PM=IAvKo#?SfGfNwy zaaNY7mvdZgZjQcY;}lFBhM!HZnAd9^(N(d|7u|u?1BV~ste#c{Gszg*z>n#W|MtXs zBCvCc1dZHIR$HY_0-r$U>K8Aeb42>xN}YS(_0G}#rSrWR@>rB7O`IOwD|2%AUf2JA z1v#4`zuiiL$uKx~zoXZ_u)D=($_WD(ydnyhj6cq;!w4P(=ivlM?BgoI?g<*o%`=Kf z8}<9DV%Ihv)=CcP56-Io{4rz<@LHY_f$%r?@R8J+7(ej2@)Li?POrRcvjLG((ABb7E2VQX9D5W5<&AW(G=pR7AF!en#|)td}LNLG|DjV^f~VkXuM^Voa^?d@}18VgbgLx#aEIk z0iqioi)K7^>@v~Hi9_{h6PsAjQ^CxatZKk-gZ;*)1oBMxH5%lsyFu@TXZ+z@%+O|u z#ckhiqsedL#Y*8=N+~Ah_KeMIm|1lWt-&S0;UPFMH);5x-=_LBwhI(TS+>7kM8Y7k zT;O+Dh0+B=N5Qw4`c}<6T z*LU>dZt~U5xSP_4QFWl&u6dV`IKrW()XnU#7;w4K*1>^8 zGX%;#`#&J`Aq;eUS3=b|wi}(;v6Uy!O7>jmYy)I}Ro#V@wS@zF$r3EMvSAwNyYaep z+^9Ht@qHwG0$cCQ*@eg0UUu9YV+zUSSr^QpPyhRethe~(awbaO)=p=SMF{!ePeM6Q zOP`&ibYBOQ9V|m+X=`!(r(1=Fp~`L1oR&5|-FgYbohX45Cuprc3vU6A{sqe0>4cGQ zOBljs#S2B1I|Fif3E{(OcNyF139zU7J$%%D4yHaE9$ARdQ{@)#(s^pc`tJ`}=3}(2 zA6Zt@ozhcttrMgher3v=@6~cHof?Hnp$QgXlA{P{5hqFXdS=@hnRY^*x6d2JWAJRf z#~L4?h!vcp+qfDoUAZoMX^oZS&cgWK1$KTa>w7;4}f-H61T{y)>tX1qUBD% zPIvE)oy8_0>@*TYT-pXg_upHGr;cPr1m8#sn~Is+1>W`{)d)uYV!xJOmb zIjqGUnhInPo_x>dk!`y8ei+c>dTZp6H#-@8eJcwGyKPUdo2HvhDrcJc`V=%1bR0-i z4mQW>Ei`Z*?D8viSG7qzJFOBi*>r}GIgNbXnaCKAa&8Zwrz<&$^}z?a-Qbo=iUxWC zG!UHl1wFWDpQE#>YfFPZ;iUW^k#A&i->RRstYb|>H_I4C9(Md%i;Dq%+++D-==GU* zWPqa*Rj(Y&(_X7=)&~Y>!+ulj9;R@+(V8^|+(Bx#`MBYf0XP*2U?X9kGPEW!OpER% z(fVLzu}fK5PagV~_Ivl;QN_9n5et z67^Klz8V9R1;6eMy+gB5blti}uT>AhyopvDc=fLfWejADHG|rDDJ_#}S0j}t-*fu& zb2l?oa0PAF_G(9bXSm6||H#wl-B~u)zAMlaApf z`}Hz_ZQvL5!&FuyvMlqDT1n5i>I%aw>N)4Fp}47}(M&?cZ{&#%j^Jo4^ z=>K=)&GH`!{V(G!NH6q>7T6sN2Av7#BcpK^qYIwn}6cH1-&Kxr%V4mul^7I z|9^zmKhx?apY11~Vfa5=zkZLm|9SW$;r@50`|pW%Cli~`R^i{i>EDHgKN?*AwY=c^ zx!3eF_fGHm?}dinr^NiD(D2*&f35A=I2l;}q3!EEz%^7B7w$2|_Hjh3@jzM47%a;m z$S|N&mb`i+DWs4Q;`Kr|3d=CTz(Uzzd=L;7s|g4RT=TEAs`}B8^Tob6(k`9`Wn_G8 z_L>_xIwjIi-uO(8F()0I`b=n@=$`m&@&c7aVUm8v-fL62VzSL&&wzd7{qd~_I?2~U zne`@ZL1HfImAUUmb(Fgu1%3U$w2Bqa7Qh?xKx;-L|Wxn(AGomN8;>ERomHm_p%h9U2;P zum#NB0TOO2jKi`*KEmGrva^eNjQUyWuwbUQ_xd)@)CfSIF>!#s_{7Q0KtRDWM%`y> zkyEHXbWdsvc>dj%+WWx$DXdu$rQUu2UNfLJXdh$}7BUMTt%HGR#>OG(1t~(j?trOs zPg~u+^48&6x8A0H6YIm@<$j0%b;z*i1z$ds#Upa34iQ^?0%LE+$2v~7Vdpe>9|$_q zGh0gzwm?mxwCoW$9v*Ig%3g`LJW@yL^ojepE@=oH7b4OM=fZ zuZ#nV@RO1*C3XomYcf=hr^0ISQ4;BV;xVZLgg_38bAC#Eo}w;AbC(PP;p2>T!ZK)X zdsUwF1)bsk+n8JW2Z0t1)sL4cGmO*<-jm`;uZdcjiQ z+Str@b8LcKVH+@USRePiq&IH%TI`*gR@bZ?1EiL4G|jHO2Ff5lO$!;f#u; zw1L62#mHTjp?WkxJ;hByHjp0CowLpRq>0lMx|8*+BaH_gDRWxT8R-anNzS4two|LX z8k+&*__jV66}RX`tIfv6>bE(wdgVfgDZjsJjov><-m1GCDhB~*W{JXo?v1LOGzdD1 zYTlwcUlMO6>*1lp;4M(>Y=y_?`{vy%M*QCKh<~uf<>YqFJLc%l*3pw^?b%4>#2@w? z;cIQL!}VnuMkXR`2fQqd$EguxKDXdD%JfCEHj~UKVCk!y?DP#Bm*707ijUmTq}Zy) zoZT9KH30NLOxK%z_Qe1JAd>e3?{Tl8dRxdk1Ri(Ku`t|dtS~T+3N9lKU2*y5ypYi{ zy3)3CEh1VVzxzlkcr%FY3ep~Ev`MRObgoad;FNn7JS}1a^a`$KyHFaLDg}~K^EfiQ zcZc_+bJYNI6)s-TdNp}XZ~ip-&^;tpusLl}qOw3r8A72!1|l*8=$JiEHSAtK5X;_- zvazoj3L1Kp>W>M|uH8T>d83&v7cdsV!POH`{)W6jCn1#J!s?%aG=-(>aA5U7Hc+b@Qr?AA9BDEhh8{q!zp5Rdfr>62#F3IGLnUd;2YZfw9#dv&~MhSR?sl-qfu z_+SwRQw7luCFZQUr)&+&b~$~w{EBx?uw(^jup-oQlAGwC5#&+6l={K5t47-SDi6}- zwGO!gSM&+5W#t9-<-W^V4ScP;R_qkh^nyc0C|bFSTEbB58mdxj8~`=o^-kh#=mExC ze!CgSRW^AtI=wys(1~-VvA(*GAAa>|Qx*z%GTuWb5z(FW^V(VPeQ^QFfdM=O1?H*} z_6N%ppYSC7Kr*RDQslrxya+!42P4SUIV4xce_skbgcf4KBCXl{ocS%AuQ0o8&*B?NFdw5Ar z;^BM;g>50G)biFQl-j1f^lsxh{2*kt< z(0aLStO0TKVnD_6zED~PXGbdkG^1kj9}b8n`g&=@2!>*{CGO%nxpwozD;~O)p7_RT zLLh8pQ2+s?hovC(YadEm;=5MzA+4Uo7v?qoWj~DXu4yd8tu{UFt7H@r@3m~s!e6Rs z)16*S?;@}q5?*4vWDF#DezZ@?8ynk$u{4WZ3RC~O6=Dg+A11;EZV;3vC3<4WzQP|( z`(}4(%LQeR-j})Jb4}$YR1^6fy>8g1ReV@DwvIyb)yr#hOyic)?i5aW9Bmp|*K9m9 z^LZH&Zavol{tN4aFe(KvMq7F)XjMPLH++4}HL!=A2HMsn#aLv*C~GI+b|TJF$!I;~ z-8IiyFW?F21m?-wu$!D1<1zUTJnvyE-pAr-%>32sjoU9kV`LP|1(pHpyYoP;8={c- z$x0*eOb~T#h4J{o9bcSAoL}TiFo1CjAQVLeL9Bx$Wp+C{#5=2D&X;=(&8AhBigy zm%b{$sD?;6Zc2c92%=aAn9t&|UK2qsv#Nflk+1JhR_j$v)FB=vb7MUP!)>;Oh@ z`W$q*@P(F@e1v0u9~Td{E2#l(4Fx}yV|p}D>DT(U1aMO}M}6(V#z59nIk}sI ztm@!gs|ra1Ugxg>_5<=7bF%d2Lfg&Q9V)9YOu`aOK?cMi89l5+^GFgQDi(Pxu$#U5 z+PUJl+d54WO0~KjDJT>83q7v0^_^LVB8GKHA&S7|3N}JhZ6bjLEU5}?$I_v%xn(4> zJS3Xn;6mQyTUfbhR9gT^8FX#|OJ)9IJND$YlQRSg*N8$rE)J&?&+D+$EHBr#G^fcv=G%5AJ4sBIeD zoc6V8NYsZm1t($be1)1P%o{E-Ku=0b;SesPstaYjdkN!0X?>hBH3{w9ED-ss++`6B2 zi%gD|sByQ;W^;kk(vg_1BsPGI$qf9>fz0$5{Ir+K%85>z;4YmTpxf6TRX-h>jSRN0 zr>3}mn*>8ILPPK*v>G1!RW$(bMRyOwNdfUdlGnGlAVk?CG39<7ym7aYGc9F0s@-pf zkTo+mZ&O8ZxyjV$Xgqe1BtjCQBKj3GXab1JNeUR4-!Z7KII7+*hj|Axq=&X}vhu`D zQY&2@JG3(pc*W_LiUckpY2=3&Rm|pezxz2q$6w`3j4i~SW#{X$hEJ$cGbt&fM!FYs zxJN4Qq8Xsc^NXqsE|m_-&3|qO)D;t3GoQk4ZUA|c4u2nyGpwyA$)_R{heCqOMj$oh zc50WnVR<0P3lK~p(%EF3INN zRm(Q@5~1$|dp!r0_qyU>&nb~PU>|54pxI0#LTW*w>r3_cbOJj@q~}JN#*ELd;_ZsC zAbRKx@&v}gYnKo#aPr-=R}9v1>^tL!z&&fR=3rQnr_*9^*@N(!d5T_yh*Clk=9l?q zmGSc$IAOE)`a(*k!82~ovDhpRLKSkCZF`6b+6`iI=$H&ap5fe9i<2ZI@@d4f_0jWS52>PXM8bVu z=M%|YAFcox`R>$U-uqRO^P$jGGeoYLYkD`*5>MIbyHdoIgBnqCWntkX6}AonzrJzq z4ehDS`Vu16LNEPVS~+~{T5G#}(iI+g_s6=5%>u96%OR`bRVGsR+^{6)SaP>O76I%%bSe>MP`-E`?s9dGw>38ATa)r*>2xr~ z%A5fYa<+F(Fm2+=OzhO3OX%37-()Ob0)XiKlF}*?}IZAo3EaEl@6=537C8j%8%GLbL zm;|IQT5#CB3tA+Xt|%Kec5oJLiEgQHFVX9+2vO?* zK1C^I`MR6jK^>#^>w*|IdDlhOt#Mq)DiQ~%P@Ws+mfyUTe9SarS=My!ELj<=uAkJ} zh{5eQA0_V-oHZjn_~tMh4xM{&1MV5f2I9^Fd)#BGY=2!t(5n~TVTf$`;Gzq;O`mhx z876~@{SDd?AX&#qB3UXq{W{(?d^O>f{%1KX;`qg5SM~zjY&0nyIa_8Hp221u65cE4jLXQB(#b+DthXLRHr6tJxQ^{tJ6(Q zY~q8Cd_uLM+WT-1#56H1qc$6AkQmuRt;Bf!+X45&;euf$I)mKB>f~hUaOq4QlcrA7 z8(a3P4Oth;Mk3drEQ3}BTt9@lORa>W?F*E2(EsOKfJ(6|k=I9yK)y;&{>VaYc?*tMWm3Q7Xq&J@!u z4#1Uh@K)4t*RgIA7q%bmPpN(2;EN#BN}mE&rWFv6h+wkH9&yz{72PoqvV1a^5@f{^ z2N7d6rj9g;2QZWo=RKp9&g=sPi%L%#ADP@@HdkYzjDCXsK|bs#8F*qr5yaEZrL8Hu zK%`Bv_C2l;L41{RV}&+aN?hVp9kEoQzzk4wW{=*nMxNztm<3}G1M@XU!CFBB^lL8u z529bi0=cpQ9Ar#PQr(Eq18Fx`w|-~v#7?ZQ4g6z=QD)iO(;i4RIDOjEBsIbMQ@LU7 zkwhU!nJ`FBKv>bY(OPw+W9(0$rSOP_I5)~>NrPC;52ImMDz-{pYc>4bVOi0Z5-{SJ&LIFwe% z6B1@JUr`&rbvn#qK^7vAu4(4#gDQ9XXqJKB__?V)G=@%}m@pQcv4IIroD}!mr@jKS z6_!+0%<`ujdqY@-~S(gjql06AqaCx;(#I&)36EC7c91!2$SnA3Z@QwrE?9e99fhauEDVBD8KVb~SUhupmuM zwHN?R1O1SGb`{}_BLhrcAUqx|+-uu6FHEdM#dm3ZAbMxh)U&1fNY#qb7Td2Y&jYI8 z>(B&va6O5#$!%LiPF%)X^mk1xHU0E^pIB&V{sbcnam^*3oXwPYoj8JHm$nC_nAE}w~5R)Z$MvT1@=|w zi!ZgH`Ga0+g$EXHrt|Y42Ym$vl)Fk5j~l~5X8uq6eLP-aci9}YNMF!#Z1Fa`_isu@^{OoPGIJ@pAx3K zDYeh=#(YD9A38kV=dNa!bgo?1lc6u;pB#@PuI^(?aeQDbo(i75g9N|g6Uu^LW6U4e z?IWV=y776+CMiiPfp>_nfg;qg<89OoTCo`Or|R*#S=Pf?FIw=X=eB`P#8~R4 z=kp;p3&P#^Yx_qg^|)q2qd9DRGY5GA>HCH=-zVK^GlojFvIi2SIm`ur@nG?$R{f=) z6TT6Ydv@Q)h(lbgk*`lyLaZ_6avap-52T|oBh0z=_g5i5Z`0N5c1;kTDvn;XXDwwK9&6uT zCg&bqO_0ghSXwFB%H+$h{c+|4`h{;Z%@-@sxF39y z2cRUaBqAR|+0`6FzVGCQrA)`Y96@zW090uumzhnw1jQGx%I`MeV!Dd>D8VK6smRP? zu`XS}4wb8}lbtIsCgmx;ry6V!ZA@?S;uzxdW_=#GOVbJpmPs<*?5jhF+tF9eDRM6 z{K-C3Yz{M;=w6iQfMqOe53E{Q;ft{m;LtHN)-))mtqJymL&McYF2OIWth`Lz3{h7<@&(fqfscu7(eduGh3*&Q6$m0E!&GSM3W!Gc!d*N#pQL~o`r>|$CPNkI ztnEhAIOumB0Qd!XZFOL0LT*wD$mQe>4Yj+Wruhu85*q^MZFvoZbE&Rdg>iM4auG^( zQ8i55*Z1yljlJW@n%2#k-=9o*rJiti>MTzY?S@@PEi3eo-BL6=&?IsrXV0kK?t1nf z{SrRvFwyyn{}_CXBz5a)qgpHdHdDMbhME!Ku(-MW&i~cskPk}`e?)GBX28Xd@N&a7 z3V;(q#i!_t>afUcU)S}}yzRtM@R~%In1QKoTX1mw%p`jUsHvW>sV&jIZt zVtn?*7U*r|od62u(9}H%S}k9kpKH~fVA&87uBa6jh~*EoJnOnpo37(==YuB3@pRx1 zPKIc5oRXPEYH5&|wzPQs+4B+8eK)+NJyJ8oE1?aXj;ou~TlX&`Wyp>*H8*p+vOmG4 zcOQz71UWyZBpz;-oQ+PR;id6-z_{Ibs=t=4r&OIS-fT)0eeA6|CR^j13*?WCOnnvn zStC@-Ma8@`L~FbdV2dzq@m)LIrGg~rHU@JY21%mG%ZX=k-k4o$0{SWORlaOk)7krG zLHhLR<_7Pb&GM+}?O+juw&%(<3aNYJzCg&AC4#;{0*Vr38p^}+^E+O|m4_=xlM$gEl8h0 zj@5N8Qe(d#W5gK1VKY8lD$VjkotSK+W{MzY8F>d@tDvUR1xVywRDs%H=I@y8<#wF{ zWkJ{t=fbXQ(KgxYk_4=`9@nk6HtxG!2r7Qy55%Ub{s*7>kM#imZ4a@?zYQb&EAjl< zLCpC%`1JqR2IBvRPW|u4-u>&Cy?>10`>&aO{~Xx&*95-5$M*d>dhcK7@%_u}y}!ru z{YxbJw~2B890Bm#`G0LH8JU@x{$VO*m3*v`O)xr7%Fk?K<)Tfj{9A#*Gy}h2i?C%P zWy-t*QhjHTZrMp8zMj)o^6!jB{YlLeUe z&of6rPIx%0kZ!XjbjNRg@bG)!nY?)8<;S5$Fyx4pK4E9=&{a*-rxU$#s1pcAL-L20 zX-{$q7i0vCgodLB7e!H0G!{IfNdV4P!FvY<|AcpS|O1@6WMSb{H|C z-5V)cS(zVAo=;A$A8|P=6I|~xPtL%Q>u+GrL@-Z^X+dKh)l3>aR>3LMuQdu;wyrQ( zi9zKOUWMKpO*UmMRO%SO(hQ2QQDr-<%XDO(ouD#{P#g0-b~$^7i)E!?Khn|+N?Bje zWn;urTkWyb$XA5GjL~XUE?0F*fh%9>!-|d$WyEma$IN3cT`(P&>2krS6O$`PWO8%V zYLLw-p2cE~R-B(WjLD3hZeYd!mZD3O`mwFZk{E5M;V`^LUTTS!eBtg|FBM~m!{-mY z7WQ%lfY&GNj)C77b_u~I9*<4kHB#+++5xbJ%of4FNBAAE%S4`9fdDK z3i1{TW(Z$pQ)lc;X$d-gOEZ$ugJ1KL|5ua5L8dCAkFCUIv+&cXBDwDvz{N?R8b@om z5%WM}`zRO%(-+N59z>J`SsuIWlBt>kUkL>Bxi4chcRx5iM2aTpQ7j9m#VKFG0!3U| zTWI4#Lxl*$#Ig`GR;Mq{3LTMO!{?8VfaO5#gI~mS%md?6`(IuO0EWy-kYaAb%7vZj zK*9ScGMOjYm;-FN++=2KJeRCXR((MzW497_if);xaLE-Q&J)>vtXA`vH{EL(pU?=N zdg|N4>30j%-GQWXZwJn-3J;y=2V3B=$r@#~YO(nk&&roiW} z%Fa&y)6jv4_dHLBtAbTiL-XEZE}it8Z?;4ZUPKv(6){(9lTCLgUS##ofVGxeLCP^@Vy9x7x@|x&#ew z{O9eI-7L3F9Y{|}FPz{oux^ETDZkh5<;qF@4)>$2G~S4+$%BU%pC0G8C$FxHt5gpk z;Eo9fe*T-=vjOn?IsZ!V_zFFP3*PqQIW;afs|A%WPn^UMGnYbOzN8x5!a2cRdkHV! z!^la1G;1-xwG>+<)M0;9qKubOx(rqsu$oaOrNo&j${s>9vDy53V=^?X(lpzu_W=Mu)N|E2W>V4kueBSr>em>9r>zrlp zwbt2tt$jWpXYciG3)ACiP;WN+C~|`38^OLM=!wC3k<_!00uB=xt+Lv@rkxGt}j3#*G22itZT-`8OrZV^-FBLfz*Sj6`M(mOa z9%j38WFaxaK5#OS;ysi5b=G#)P_a?qsiPtNd#$6K(%@>45&>Fg#zV4r2(qJuM(EPd7WP+ECJ!ZZ9~M{-wyTwn}h!TU=L7s^gq>| zK>`*I?IBX%JKm!O>>knuwhaL#e}C;3+N)ye@UJQw#6p#So%=a(^yk0s0{X2=<W=mpA`rH z-DOhIUC)isjjbG7ZFKN-)@JSU#YeGFj;0q_*g%hC`^~@-ZCgDS+r+4;h)9+XnJ?m2 zPE9;}RCr#J(kFRpsu-gYqpD%oNHu~=O6{<|GdNbZl{{Sl2^8$ zhdyo4vg=-a8$7Uprh_M%cb>7gN^gIOaiW2zdOH+CxlUL*36@2rH@Z7jKy+>u#|pwT z-#wRboPp@Y!X4Tq9B#tJZ*9HQc4AxQEXxSY_O=^<(54%{baA3vWp0K$aOgO3JG9om z^opftX`yqLxW)8RCByysbuA~}j)C@!h?m?(=nv_^<+aK`^ph|2Rh~&cgAuN9A=(T#J-@>4xd60#vMTNNydznN~J%!*9M{DX?n78w?fQ^q*jTCp2 zQs&(#p?4vQH~LzxpiYWQh_eV>i8(8JY+g!95YaGe@E~L?I4SW4IgU#7l_>c$g-Wir zxaJG3LiWxW%L11H#jB<+;e2=N6bZ+5mZH4n@cHjkPKrnb={AaFa9~9=IhNGYt>muH zZY|4=3aWBj2am0@5M+bsne^NCSi`j~9+w941y~}p}UG>m1eUlitW%VO? zvh%1pONIk=MrZ3$x`~z4>iBj!`}*_D96AzwFP{gxgf2tljz`{pIMr^}aMxe2@p~$` zBcpF*UcJbr$T*wt+;%TtsZ=jr+llGYs+<}1Dnpg^ z7Z3V564vqWrLXm~Yl2s`dR(ihWvoJON%Y@4u0riqey7B^*Cu9pCQvPLb z@v}&JyX@3a^$@J{AjP;>lfLbQ3G2*=a7mSC)UnSdx9!>|ZU1KBKJPa z{I=fm%cNjd
  • qm)cO$K_;GLO=KLL_3!*^mgA;>tX?jgyOAq12eIFBb$#z$73t*7 zGVtYsI%|5}@D&M?xIw$Nz}9Agc>ffh0JGu%X?1yHuU7n1<8gP$LkU5-w|A+Yv-Z{1 z_e{w>HeAmTlW4IfGrP30Ad1JYHJu(!h+p+CN=SJ4j`m4bgdHyA+1=b{Zmay8mD^eU z)U5CE6y{$`=IXS{`lxJGtQ86D26LW;nx6T5*EDbI$GZ=FYS?_wH)!2cq)EYj&9jPO zd3~4ZNz-%Q4ZFriLS)irNfmB|k4d<^lSpS(can@?S)&aqR+*lR#SEPmimg@p)018+ zJax=pruxbgIHj;oLT<29l@9;ett0GePDeOonKU&}jv`zzx{uY}H;0ZNy|CmV8#z?^ z=eA*Ff=xl^D6JJMR$YX;^ZDgM30sEgvrUa1EOpKkN6gm8iNUC%ez8>J|4+QfMkKd$MXWfPS3i*5r@BxFr=E?Ny8< zZ{Rc|aa&vK5PO>51Z7!-4{_NJ( zX9wOtl4Jg?9B|A_$iPI;GK9jzcOY`vr2SI<4y0B!PGORjSD33EOE4BER4i3gm}l*# z$y|E%)tuHJh2poujiUmLI zQ_{_G9fv1KCD&=TsI^winb`Pn0Mw33;64H>Bv=`1`cz+;^T7X z8C>i_c4^#Ib;C6%|BPi7;?Rz!iq|}IF*cg2n1!Au+?R2P&o8RAAS930VU45w{Mlm^ z-gKC(?6eDs59Jp zQk}v1Sgi1bNKsH6<#T!A>9EA!N>gM)a$4x+GR7MpkFL2iP#k^7WFf$ym17bR9{Tu$ zz!PslCytHznZfYp8~w$p8Dtk@C{*ouOh`9fYc>T6gmr9$R{fc(dGI|sJ1fuPUWrY6 z8ti}wqJPldDa5cbr#vXT%Y6YYAlvr3BA$M5#!hC-8JkfzCfrTaeKS&uVbRUXJF{-NN77xx!-tvrT)|I_f=gsKO9b5f8m&aVc)!D-6 zszw>(Lz4xHXS^9AU4(|aBuw#9Luonm@3ts9gk7TXU!w0@6cqK@-o+Ab!8(;vSY$81 zOQWxP5(DEot|Ke&TEMlFzg>iq@OFeO zZTIv!A0u>+-5`fKwd$Gi)md`P)yWGTx!JhXM~!3^*rIS4We1UYe1Dd~=MT#I2A5I#a>b5`UwV^Zo_bNh*aBMCEwtb(o^Z%vt>QZ;MLb|Z~`XV^d4Y3HUgp-g2jdSe)?hTPnB7jC?jhKZ%A4h>uPnCDWR?o zZk%jQZp<^8aa+%@_jS|!i#a8pot8*`(&Xz>LO}UC=C?r)1iuyx)N}4N= zf{n<<9Z$*$%bZK2M`jHsciD%G>3>gJH4;s zO3Ih#=EmU2+cmZRHDzH7qxCIn-vAumn#v8iCB}dHnsl~ zMwpHk@#lo9N0ek4qcY}(%i_;fnxOcKp-uV*r(c#;_Qr%{zZsG(EwGI@&Am}ud3?7i zPm0M)j9PF4OPa0`9LZq8!Zo7G=k`>Y@5)-D__ns$`wu%;zRz-m7A(!?Wz{U^_}M(O z3B9eoLveQMmBS}(D-qe@Q&J=I+%uKR(@I@53Jdp0=C*L7Cegz?4DK+ogT~8?8EIKg5A()#(Ox4m8*F|H_O23F1+hm&zEY0Jv4e=`D zV2OW`v2_0HYOO4uJ4Sq~@9ylKGxH<26>S!2JhjA(P&eOBo6eQN=1wHMP)~i%EoWw7 zZp}XY&@@o3RfC$>*Cx!;W$8LSPL|?$AmOX%=JS?sMyPZBOON7c_5GtRuV;N~>-0v} zd2cRs;RcZ5sZ>k856&y_ApMjzD#R4;recfpM&#^3(mj3txOy8 z(B%n;Iu}B?|2pqRUUEPFTL57zd*xZ)1Cph-B%F?TFP_kE z8S?UEq;m3^WJ5z4nZx9zwV~xSMOR=R^gu0sha7MX{No}L8dd$x#LialESh`9Ld9)o zr>QCAtu@`Bmo}xGZ`0UwcDaCy$E2OHU&GYaYzX8#-x2BvE$E^FYwp8ww=BAmw2-lc zbg@>C9per(UnAf6#%1$#(Mvv=1tb(3Vc6641w4#;gtQM@akhC^+Ikdkva+#XI(6T< z2$j*HE>fl3a%3~@jbnjhp|jEYN%3|QW5d=TvS;#J5Dm`t4IdmUYV+MgyGXe87M@Sv zGaP#3E!vX+DjLM>2qT`-YTtEGGMxf(CY7<^VLnMZqJi7sc9CeZj8l4YS~&5IF9ylk zA&||>bzi`Ac^mHGD{(8O(JaW3RytUzuj0@SgB# zN1ONAtde}PC3x}b6cun>mF=FE%s!$?yHmx;=SzQCV9pkCalG*DH(b!-xu^ABU%M{X zxs4l-en)ydqO@_2Y=5)ZNjiDGsw6G7_-gv&cS0T6-%Eu3-laK9@;rzld}YYqu)Y5H z_>?Z;e*d%P*iv@gNyV*gvTwCDNlmx{URU|lB_T!yvuPYinR4i*iBRAJoV@v|qZyZ+ zO~_qlFH4g*#Wp^!ahJ7waa|!?rtfk+CtKstN5nl62yN3*GRXR})#xa9JK8AiR?fLN z9kq2C!h-Q^>-z3f=8fr@b4F-P4wjLR3!7~c!<^4fQV@_GN_9&wNsETDD>hvz3Br+F z2L16wDRi)vQt9iDx%tQ6s_+dbt7y__U!^G2-L@s`@`BdAx!wDTi!jRHzCx|6+|zT> zs7ZM!d_cHu&|E05=2pjww^XO}1%4&7+UOSrn@H#%+O39juiS=TulF++L@##l((Coi zZh=(V$+f7CbbW?d_;NVTcGFm|2vrxg9ht8x%|$#~5q0IHjJ&s?aIR-)dsZ=pEpPjQ ze$6<4gww!V5%$biW=OYWXkEqqf^S&O^S)!MTd?$^#Lz`+W(ON^WxuUfs+ZYZp6vxL^iQfow)J>5e zy2d5{rm=CpS|8Qh7}`^;s2C`N?+70vJW5-3MPypGXyj3_TU7ugmKSZ3zO3^-osD^ns%9~qTPpySdNW;^%M`os^z zBqrgkHbvMgMt1Re-)g%j7LoeQFY@Zj3&rF#Sk(&cxz^)F%lNLeUDI$mx-M={rT>WO zMAbBsJFJXe@s2CCbqYF)zt;q%DKQ(Lk2JVZe2rmT`=ar5ItzhykWxqs1IFf4$xc=X z)fh6?u;WU)=gQX18-$cQY=l1MU-QMEO;o5UQW6pM__&?n#NkvwO_ls2^8EuH#m~lm z%eV)w)E{_*zlJ4PFPbWsx$89WyfvsHLQykfc2 z#uWoDoRQ?kSoZb!Zaavzfz5sGM$^6dA4jaZM!G1t6wTF+Z}q6bqGe-0uUUx+DJ&$5`%zZ^~SY^6VXvZ=OY?oG=C4Mlkq zD$4uHqes_uvMGnFrmYPOZ2weLv>mk7Ypc?0cvs+p|L7D7uZY_GsE(To8}7Y$jOEA9 zwb{5v_L08oY&DICH|yXI4$VVcHl)z^oKtj}_uDT`hEH{GjCx>#+ihgary2XJ?gbOP zPlM$r7jxFiZF5Gen*>eEM{Pl>wo`@yos1525nxkX9mkBzr-6`9t1QC$(raT+i;r~$ z(S2nQ?Q!TnHxJg4>yRZe*IghDq3OuG{=9bng3FA>#+#$pzb(I?ep5CrN}s*TcHEX^ zM1L|8vZFgMk;*Wpz8bgL`3Om?_9Ut@OsYPVYSX~4+AjqEs8rQB<}@i*;``a(dpJF#u+Ome-p%|EsXqePixpOuy@$)&#yanf&YDbJDZNVC zn7f(tF`SP+_v#P9n!zh{1v>%X+6gZ%I!9V=UBghZzlpxg`}S0OeLcdBi9`RC9B}@2 z?Swc3Qj~reXJA#S>ZZQ4mEn`}LK{tYvd>T}_cUqx=|X1x$#B8;PiCK~G*fe0)55N1 z1J{k@s!wcOrKwUGwrq;`EX%xnf* zIa{UDnjJqx2+FNe{hoe8lP=`e9~y z$0kb^{H6`t_d4uxa-OqL32nPs)eEg;J$13X`eWbu##+;)D6@w@XJS6g7%k8>7cgLj z2Eq6GtvVDz?|ll^?}Qe&<72Bwmp|2RlgZ1`U1|FslC5qOHD?i7^GCEcD^^p%4WarD z()hBat|NFZQN_n6r9Xq=HLCLbtz8oP%n$W{^FQz3j!Eu)+0_NgA!F?TsNY|JATwRy z0P0ViE)*{F?~jghiUD4GOfitXqqD20yzp{Oy)eiXD=&NwsSDBdQgw83JspI1G!D`; zaR_pAKx2g!6=>uX?XWm|M{t0h7uac!+v@`YAWrfEszzrt1c(g+FaaK39)KI501tOh zA54I}@Lm@Ta7`3T34`{U5ZvU2&2$Yw1RT!Y&6NOxNunj8U?^MyR*P4|IjBgwt*9{AfjPAdz>#pUf9>y z6^lVR%1ArdOC!KYd!!>63Uz{l0c0KoY$pSCgkhzn?V(uMzs!04=H@z;azGo5E`ZH; z3RDBoR|>#45fm7L1jA4!P$UKd!61?15EyVFCv~7DF!?}N)jeX?|EKG3Er08Z!fsPFitqUhaC|4c3xfpmTeDOC@xHzg82XUUKw(4xOTFI)5(QvS4#?n0h|Iw;09fNhAo4yNaG?hl27YIkx!TEqAfP$6>+5sXW7js`7k?+b@PiLCT}`T!XbYQA3vfgiE~1q>gw z0R@1ohsFv91G4mhJ{auqTtbkDztKm;hVSzQ3g9OX+W?~XKsz`LP9*2->kEfSABssp zAN-IFG?IvK-QO36IP5dP;Xd?iz;qn!3q>PQ2Ymr%7a+DCw1GVAGq4yR>Qj2A$k^g(^VOagm0_uGZTq)`Xk0W$O<85Dk~ zFQD(xI0Ngm^ugza!(Gz_uv>H(5OSX z4|oST7(+-I8OXsnfWzTLx;F9m*E
    -
    Last update: Sun, 22 May 2016 15:25:27 +0200
    +
    Last update: Tue, 31 May 2016 21:18:48 +0200
    diff --git a/helm/www/lambdadelta/ground_2.html b/helm/www/lambdadelta/ground_2.html index 4b32a65f6..fc266948a 100644 --- a/helm/www/lambdadelta/ground_2.html +++ b/helm/www/lambdadelta/ground_2.html @@ -132,29 +132,29 @@ sizes files - 86 + 90 characters - 109249 + 120841 nodes - 217872 + 247853 propositions theorems - 30 + 32 lemmas - 506 + 568 total - 536 + 600 concepts declared - 59 + 60 defined - 55 + 58 total - 114 + 118 @@ -248,6 +248,12 @@
    + +
    + + +
    +
    @@ -294,6 +300,12 @@
    + +
    + + +
    +
    @@ -303,6 +315,7 @@ rtmap rtmap_eq ( ? ≗ ? ) + rtmap_pushs ( ↑*[?]? ) rtmap_tl ( ⫱? ) rtmap_tls ( ⫱*[?]? ) rtmap_isid ( 𝐈⦃?⦄ ) @@ -316,7 +329,8 @@ rtmap_sor ( ? ⋓ ? ≡ ? ) rtmap_at ( @⦃?,?⦄ ≡ ? ) rtmap_istot ( 𝐓⦃?⦄ ) - rtmap_after ( ? ⊚ ? ≡ ? ) + rtmap_after ( ? ⊚ ? ≡ ? ) + rtmap_coafter ( ? ~⊚ ? ≡ ? ) @@ -329,6 +343,7 @@ nstream_eq + nstream_isid nstream_id ( 𝐈𝐝 ) @@ -340,7 +355,8 @@ nstream_istot ( ?@❴?❵ ) - nstream_after ( ? ∘ ? ) + nstream_after ( ? ∘ ? ) + @@ -386,6 +402,12 @@
    + +
    + + +
    +
    @@ -426,6 +448,12 @@
    + +
    + + +
    +
    @@ -470,6 +498,12 @@
    + +
    + + +
    +
    @@ -522,6 +556,12 @@
    + +
    + + +
    +
    @@ -574,6 +614,12 @@
    + +
    + + +
    +
    @@ -626,6 +672,12 @@
    + +
    + + +
    +
    @@ -674,6 +726,12 @@
    + +
    + + +
    +
    @@ -726,6 +784,12 @@
    + +
    + + +
    +
    @@ -759,6 +823,6 @@

    -
    Last update: Sun, 22 May 2016 15:25:27 +0200
    +
    Last update: Tue, 31 May 2016 21:18:47 +0200
    diff --git a/helm/www/lambdadelta/implementation.html b/helm/www/lambdadelta/implementation.html index c1593ebc3..6bf8c301f 100644 --- a/helm/www/lambdadelta/implementation.html +++ b/helm/www/lambdadelta/implementation.html @@ -302,6 +302,6 @@

    -
    Last update: Sun, 22 May 2016 15:25:26 +0200
    +
    Last update: Tue, 31 May 2016 21:18:47 +0200
    diff --git a/helm/www/lambdadelta/index.html b/helm/www/lambdadelta/index.html index 36ac7c630..b3e330c9f 100644 --- a/helm/www/lambdadelta/index.html +++ b/helm/www/lambdadelta/index.html @@ -283,6 +283,6 @@

    -
    Last update: Sun, 22 May 2016 15:25:26 +0200
    +
    Last update: Tue, 31 May 2016 21:18:47 +0200
    diff --git a/helm/www/lambdadelta/news.html b/helm/www/lambdadelta/news.html index 6ea5beda9..6101558d2 100644 --- a/helm/www/lambdadelta/news.html +++ b/helm/www/lambdadelta/news.html @@ -380,6 +380,6 @@

    -
    Last update: Sun, 22 May 2016 15:25:26 +0200
    +
    Last update: Tue, 31 May 2016 21:18:47 +0200
    diff --git a/helm/www/lambdadelta/specification.html b/helm/www/lambdadelta/specification.html index 4095590fb..ec0d85773 100644 --- a/helm/www/lambdadelta/specification.html +++ b/helm/www/lambdadelta/specification.html @@ -378,6 +378,6 @@

    -
    Last update: Sun, 22 May 2016 15:25:26 +0200
    +
    Last update: Tue, 31 May 2016 21:18:47 +0200
    diff --git a/helm/www/lambdadelta/web/home/documentation_2.tbl b/helm/www/lambdadelta/web/home/documentation_2.tbl index c61d2b6a0..3e59b57e6 100644 --- a/helm/www/lambdadelta/web/home/documentation_2.tbl +++ b/helm/www/lambdadelta/web/home/documentation_2.tbl @@ -44,6 +44,14 @@ table { @@("documentation.html#bibtex" "BibTeX entry") ^ "." * } ] + [ { name "ldP2d" "P2d." "" } { + "F. Guidi:" + + @@("download/ld_talk_9s.pdf" + "Considerations on Automath in Light of the Grundlagen") + + "(2016-05)." + + "Presentation at University of Bologna (slides)." + * } + ] [ { name "ldP2c" "P2c." "" } { "F. Guidi:" + @@("download/ld_talk_8s.pdf" -- 2.39.2