From 381930e54783ceda31c6b57c36204a2ea91a69c7 Mon Sep 17 00:00:00 2001 From: Jon Eugster Date: Thu, 14 Mar 2024 19:43:47 +0100 Subject: [PATCH] DisableTheorem and co. should not warn if doc does not exist --- server/GameServer/Commands.lean | 12 ++++++------ server/graph.pdf | Bin 0 -> 13693 bytes 2 files changed, 6 insertions(+), 6 deletions(-) create mode 100644 server/graph.pdf diff --git a/server/GameServer/Commands.lean b/server/GameServer/Commands.lean index b6aeb41..f2ed498 100644 --- a/server/GameServer/Commands.lean +++ b/server/GameServer/Commands.lean @@ -250,7 +250,7 @@ elab "NewDefinition" args:ident* : command => do This is ignored if `OnlyTactic` is set. -/ elab "DisabledTactic" args:ident* : command => do checkCommandNotDuplicated ((←getCurLevel).tactics.disabled) "DisabledTactic" - for name in ↑args do checkInventoryDoc .Tactic name + -- for name in ↑args do checkInventoryDoc .Tactic name modifyCurLevel fun level => pure {level with tactics := {level.tactics with disabled := args.map (·.getId)}} @@ -258,28 +258,28 @@ elab "DisabledTactic" args:ident* : command => do This is ignored if `OnlyTheorem` is set. -/ elab "DisabledTheorem" args:ident* : command => do checkCommandNotDuplicated ((←getCurLevel).lemmas.disabled) "DisabledTheorem" - for name in ↑args do checkInventoryDoc .Lemma name + -- for name in ↑args do checkInventoryDoc .Lemma name modifyCurLevel fun level => pure {level with lemmas := {level.lemmas with disabled := args.map (·.getId)}} /-- Declare definitions that are temporarily disabled in this level -/ elab "DisabledDefinition" args:ident* : command => do checkCommandNotDuplicated ((←getCurLevel).definitions.disabled) "DisabledDefinition" - for name in ↑args do checkInventoryDoc .Definition name + -- for name in ↑args do checkInventoryDoc .Definition name modifyCurLevel fun level => pure {level with definitions := {level.definitions with disabled := args.map (·.getId)}} /-- Temporarily disable all tactics except the ones declared here -/ elab "OnlyTactic" args:ident* : command => do checkCommandNotDuplicated ((←getCurLevel).tactics.only) "OnlyTactic" - for name in ↑args do checkInventoryDoc .Tactic name + -- for name in ↑args do checkInventoryDoc .Tactic name modifyCurLevel fun level => pure {level with tactics := {level.tactics with only := args.map (·.getId)}} /-- Temporarily disable all theorems except the ones declared here -/ elab "OnlyTheorem" args:ident* : command => do checkCommandNotDuplicated ((←getCurLevel).lemmas.only) "OnlyTheorem" - for name in ↑args do checkInventoryDoc .Lemma name + -- for name in ↑args do checkInventoryDoc .Lemma name modifyCurLevel fun level => pure {level with lemmas := {level.lemmas with only := args.map (·.getId)}} @@ -287,7 +287,7 @@ elab "OnlyTheorem" args:ident* : command => do This is ignored if `OnlyDefinition` is set. -/ elab "OnlyDefinition" args:ident* : command => do checkCommandNotDuplicated ((←getCurLevel).definitions.only) "OnlyDefinition" - for name in ↑args do checkInventoryDoc .Definition name + -- for name in ↑args do checkInventoryDoc .Definition name modifyCurLevel fun level => pure {level with definitions := {level.definitions with only := args.map (·.getId)}} diff --git a/server/graph.pdf b/server/graph.pdf new file mode 100644 index 0000000000000000000000000000000000000000..ea8c243495a74c6222780cc96b3c2170786dfa40 GIT binary patch literal 13693 zcma*O1y~$Q)3A+%;4UHP;tmUoySqamxVyUt2pZg70)$|}b#ZqM?vUUb+~J4hoaa05 zbKd{@z8S9F>FVmP?yBjTDfS);MNx4EW=1vyirT}nI|Nn$5MXC$iNMPXV3IYlHFGux zusw^E5dZ)HlemSovx(#Lx3z(@iKvN@ov{f5KR<$#v!jWD4T5_{t>#c1p#=K!tor%s zN)Kz|MHz)rL_0bPl-4W6kT*X(tr1NFV~A7Qwlls-)K58mVrE8w+BbDEb5S!<+Zs?I z3-5Wdef1NHZWo ztXYT1RawU>CSUb_|2t_8eb3@FOhFryjJ#_kb8&*rdmBg7;tR;k^C~Hn)kqf=?0UJd z)#MYdydO3BC5H?x^m>ht ziRykZyen}ZpAKc#l%X?T>3q9EUn%god4Dl9HeA5O!So5)!v*6_GIVprr=I-}GZ-_t zr$1=xdQ6v@AA6&?4pLBQHv_5Qn>eO!{YE|KzhF5F6j;hGe!2E}n+>A1?R9Rsitwo- zLuifJh5JUjz3tjvfLl|*;k`wIE8VseZZmXqi+?e(dm%8Eg3=ixPfcp&*cqy8BlSz9 z>;prEjlh15Mu*XQrn+&M!pLmA7fgfr|nHbkx^qjj+FkIQb z;eN2&XQyla#*e5QH?1Zv(vcGvb{GX?X#(yOg-LQGFQ1Tz@V1NctpA$ynB~H|DALKz zRtPmbtXs-7eW=#Sq^YGk$W}%n4w}C8llM%G(}zMXE~BLwmb$rP;Wtwys6(o4$yY$7 zN$#C@W#@O3eDH_8yhz6p5XcxI(XJpWg9w3?$;-~wk~s|rDD$f4=};PA$a47a~Etxb?!@B0#pXE<68(l_>MQRy=}Y6Ld6>q z39ID#&J{_O-5H0gWsmKvm-N0X!O%WqR<@S^bG$D50F}#zs*6ebltqX6v$y578W&c+ zQ{4${@!lVc_}D%@oiv*yG*t^dntvkL%`17>P7$`hrp>L?jv>}D$#!6G(smPc8WLJc{MNtLYJTa;K6BpTmz7Cg?!b5VilB#s<Iy!)B`5{U;JWM_0{oM5KwASk`?N*r2u{H7gd(z9s16D$r-n_WQ z?-{FF-mRw3*2a28Twkpi00}P8koZ|uJXvKcdDOIpmcAD1!lINk`JtVFTQZ;?l4ZP{ z3P&L?)+kY66OYw@mO0o$ENKcvbej}LejP2N zTTexFZdZLpU=)kawc$bo3pcFRb+bWNtiR8L*h$KnTPThyn~j565%z&!;`!Xrslr4p zU={cp)8B}5M>WX_lYJ@|{WO$PSTsg4Zi7O#L`AOBRUi)+GKN0(-Ku8LBJElrrh`Nx z(%}1vQ%)=n4U)bXY1lg*Hsksc=??8Wg}p8d#aZvMH7W@SG2x?H@+q@p%nwg#Pc3bC z`&?pJXp^*(ybnL=!EIhhG2h2Eio&EFhOIQ{MgyTok(R84E~0aH1Eyc=#p`%tho9mj zPC6I+m58451Kuz}ia}pvVy+2(<_&z6kyhS|*%q%<0`<%H1Wy5Hv)~ms#FOQ@K3r4q z98#e@$rO&F#Jg7shHT#obH2+RTx0ZMog5eED)^VXwPRUXUSNnb>Fy0w4L_U=kefN%SKw#4WS9NGoU(`5RHv*+Cd`WM4UTQNE)M78Lj zVyo-M%p;tv=x=*f0qmkEjaUVc>N$|-d%0%k+H}HjsWJ0|k~%OK+d7D|O^K7RCUN*?%lP09b&UpA5)#{5&4ZXFAaCBSjvsW6WHTVnhggWiL8aD$H!h!>}H{8R7k8?8C#M&a_lx7 z1paZCVN?=EWoW4iVkqKVD16cy9GhVu4D5)O2nJbR80!XSe$-=z4PV)h-e0=Jv5CSt zeivKs>)3M#2&a(^YS48e-GK*9p*Iv+pDe^@7w~VK2giLxQwqO9^&PDWvql?=^feMx z3ZPdGFT47&cN_6ndv!Ac(XNGy_P+TMh3hlU&0zBrL6E%S)AaKSrIN*u`Jr=><}GQr z{1aOg&Cx}$G%gDr)v|w{pz}E8eMdop7PjeFIA3&6ZfP_!3JyhoO1qI4MEUxeDed$9 z@w7^+^4)5V)Nuq&fVj$&njj*};f}NyUG|Z;9V|-3E*Rl51SJa2ec9dbSBm=w3{Bxu zgbi4<5%?^Vnb425?zRvWy6eTIbx`W=AID8U&6NrEr-~ZAIl^%x1@mLU}KBIvT(ju=!yMR~laHfFu}DkPrhYD$fGXV*}g zFBM7dJC~8PoX}4#&BPEw9Sgh7_y9D{9Wo3pU&G0hq{t%2bn&+i9uerM#^v7MsqNFQ zpu-rf5`rOgq^<&jh{kDMg@rw)f=O?NeqZX3} zOH%Ga63mlVCXOjPnJP+2)yy`-iP-%do38sE+5;H_f}3wa^?c(t z-d#-41V`z_Scq68vQepSU10KtE#DLsiMziikz7?TJ^C`_G+&q&BTw);`} z^#cg45z@5q;G37{mO?y{^jOr#r;l#JZQ-6izU-bx?(MBk)#6lBuxPjoa4zU4W7W*% z^6NeOk%}jg2vhZYAJov_Mk@Z4+vYjs-xcAjIXd_`54xQ33Cnvz*}$D&t#r8}InZ)j zxi#7M+CN&$iRk2gw=HP39MW*Hs-x3%#(ZJE+~;<&USU~$RQkbl|H!YEUw40{f5Sn? z8hAPxlssUwQQ$U+pG6#w(XPk3gVC#Vf_0Z)Uh#G+^INmu@u+QmPv@f0a@gRa=QlZr zpQ@SAU}jPg0**G7%&Sf#%gMWh8y)@(HRS1*>9$UIa+*fWtf!d!JCgeNXir7{;1aWR@D}D{Ck+!j#iL7{{H@jwPwn=TPF!4sVR|C zioj+U$FUhZGG^dMRUIt>0`Wn9%eVuoNIVZdib1+~ZxKrpoxEuG#vP{UdEVnPIzBOiZ_PexFl%izhdI`q$R~buYHc7QD!`87UYJSV#D-w=-iQWxh2{z!+**1&Fjr@do#}@$;8L$#qb@qvj1*Nz-W+%|_mw|m+KjtkJ{=vHe^Kdck z>S)sF-a29Wr>$JHIaL^q*@&JTrG_5o>D;-!jPc>p0m@mqs_M8Id2)R`$y-Hq+)vgZ zq=*Ak=v}}Xn;>iX2Kvpf&cSZeBm$f$3!%`{k$$5eWz47dXQ(S+i41(*G>zZC;uzU&bwfXZH_f(Mi1V<&aFQMWwq(!*6V#Cpyoqe~8;N7M9IQg(l=EoF& zKtBj=o-D^gz$c?m8!~`>R|F1L$`F-uRn9^(RK8X(Jf1^wkSuNFrOqF7v9h*oXJN%; zcCqzs&6&CqI-a?ozkgF?gi3~BVr%?Ydh~qsl32ZDQ!n4o`4kAm%K4)3QUv`c@A{o- ziMcyVs5n1oSpZ(%7s2z!WB`0F0GLFC0L%a;BZKG9=iKYL;?F0OxSg%@KeSC5fDAwY z``@|Sv(oe5U&dJeV+_Eg>S1pJU{W+NGXYQln135rG;lO|?u+^FwoGy+#uf&`cJ2VJ zXAuy<%*G4?u(JRGI=|ILo((_iI{{vD$3Kapgrl8{{XYit$H;H#-?LG9HtlF&>tz38 z%*f+!u@u1B(Z%HNlE|}`sEMnEk%_W|@Qd)Txhk7D*||6xnK%Jn{HFYmsc}4)|0{px z{LirdxBT_Rvwsp@W&krY3y9@^WVD-}Uhb;X;44k9!^PpO`Q+3VGZqkdc!M2`L@o>7>!c!^AaXNX-JL{y~i&pO_iojl>*>M3J}Gwv}Ca9(JbM+z$m#4 zw-~!pBEpX!@wm!*Rnd33fA-)sdgfhSWqMp&e(cHAc6C(--w8)TXDR&Z=1uwghP{VY zDn`s}ACnRAS zLN*y3aTTp|ANxlUPWIy0D4h456oD)l`Wd>_hKIeNF}P(QqyLG>&^`{6=v2xF+$Vxw zST*{khOpLb8bRu6gx<$@s~T07%aoV25$R}#M`BpTGg>>ATX2#?BzE26ZNYQ1z%f-t z*1`S8B@om=vKQmk22Y}29J(UZH0z$8i1$PG9z(|U^wT3sdL&TO=@4_PU|3I)B@IKW zmIlWw(^#V@xAzOR#;(p+wR`}LR1J+(DhpjBNO^;fFS+TiX+ziD{VFl*kqCUn(IV~O z@MzH{u<9FKFvXQlR(hdLZ_0(R`gTuGbtilM z$mUk7?_&Gher%b1c%$m9UkS~sR zp3sqfvzYG!Zd}TQ&&-l9Z-JuJPDvWHEJobgS4F51%n6-T1|dpB(ZXRx4F@`DYp!!@ zqq)X5Gr8HUf?Y>eqR4JzD{X42KFr?{eI=T&JN*Ez+6(e%dqNt!HTUsZez^Mu_Sfs1 zk7SNK1QmwH#Hf&|L*%yH(;RkSyVqAbgN5@8t(Y8%x**{ahdmRzfz`U zNwHN!x!g8v{nUi3w#qM2=QAbcI@_*%J!I{Op2CO%B3>uut4`fQ7YXm^1V%5Kx?+QI zg)RS9)eVtq(gCdUX|hM=uk%Uc5v|*EMkUf43~6s}D%1z1ULB)|^xrSpA3bIfX}~@K zc{|n>!pPYuV`X+QT19ofGv45K9r-s*gd-pYCVGAes?1Iu#9P@%l%}y)H>$ZoGr|2`cvQ7 zTaz}CC3Ya+e`Y%ctKdRXn z`DpN^RHJrxmeKMZBsjEvsBJHFfi{m3V3Q2`5AaO^>8Dfij*Pw7=pEVV**rXM?`%~V zjc}Kgxbv1Z8ui7SG#epgvja#0wkU((nYSDd3-nfXF*ZYWW(CG~)zI@rc?>->%$>N4 zxL%d-Gk7UYB79{(bGkS$uT-IxUhJy-IuV4cTedD#YjT}*VhSwX--g@q zmpn;5Rjn_mYKKMh)w=ba){50HT@FT%J$b$_dmO~{I<_h-Wun2mQ{ML?4lM5@@xZ^Q zh2+DN+GLP_O;)5U6k!#;tXxij^Np7cX@CTlxF)FETY-0+@v2|v^~`zjMfjTz$~V}4 zY4`o+ZwKCgH71>8A+xHIaUFv9Sb+;$gTp34=kAo9A}tH$iTm79Li5v5;8Ml9CsOh} zC3eRjCt8&Ei(gwb!>MaTDx1;vquc8hmX8)wmA3}ryVehTgw><9s6p~NrEpHoGa+cp zlCZI%+@w8fh&}ZSVmz~hj-=MTCj`wgrqr$kz2=l5*1RJ2Er|r;xyzkS^pUY*7}Qd& z_fGb7DXzX!(LCRf8VSzwd4>n>lTU0T+E3g|*4YlqafHRvrIqP z0gom*Y&!J_y1<<(Dfh&n@O%bGNsZ%~uH5{8 zu4=drA~?t-C-hTLY?6)BRE;Z}K(~ix8v)T9uEF=Df*<^N5`*Y}ogVgxRhwdCuj+z4 zXTD859}6Efz9#tSk?jFHKH#4fxdfjx%%X~=LO;ZbB^^~2VN4W<-g82bBDKV@H0 zi)bWoXXl~zECz`}^1UCkQp{iLjwjwDDNOSiiZ3bd;I!AHsKM}}K>X~71BQt!o*jh@5p4m44~=D_!=z-QcqF);&vi&x8+XOkT!gD-U;9M;_$8qK43Pxrw*< zK0demi4%Fu&1Gj7(E`^GA$Hn=4j)A2g)_|Zu1M=s-Fa=%qWa)D)~;a-BP~!GKYXtB zNGJ5NZ9f4rSY&j=)(-4W0paCtT{(}A!QYKAqU}0Q(D3f$SQ!z&zIx~o1hS>DuX5|9 z*rnTLXS1vd2ml3Y>216QU7s%7FQ*PI7-$$ClLTcfWfmq9@*ea2^NJ)U<4D1g;J)df z3l6gmS0{l#vk>=S4nOXHyc6z(i8cqA8+34>PyN!XzjTAMY&c89ZMo_gxl-q^vr+G| z)1~FB<`h5Hu6OOaCqyM)x|~m!X|lbs?79s*9XJz5LiDM>UC+zO7)vh81etYaa&?_v z&JcRDWA(}Zg2XUZBjYIkL=G;Mtm7zQjo#DPtI$krA3#9SNC60Wz@H{!K(qT2&0-$7 z4R|ICaX?-kygr~v(V&K;Kr$hTT*uY@$;ux;v~k88nPsX_(x2Zl;wD1fk~|p|$WY5or|nCrlMv7Q?}d28?h@ZT#?K zM}de`#0vh>nX5+pLmz}fHj?kroM4wRls_^hiZanWYhs-I%5jcn9!{_Py${jID}EHk zv8~SxC~mpl;QfFyp$+J@@NN7n0a?z~tibka>wIx#Hc9#1)OVOU$ft{_7RK0Y8<-^M zpH#+KCHdT(HVsqNB8$OzmEw!!w%_Y=mUAt8a0Z3xUDXVEBa$yXDw9t!qSq=t4%0SH z+?&&w5Y2T%5n_=@x{^##!%~&MW)vBFRkaA|F}u*cleMK#nPBA=%b=G#8R^?p<)SfL z54vpXY5L+(=8@&G;?as5rNms7P=ao0&32jp1EXl69^Ixly=cT3)HKj4q)k_vI7@3a z9l78+%RR<@%)RPb6TV1xP`O1T&_3iLy)m`GW z6CLR0b zei_^1PNZCEDvb&jRjX9?NtDWc^qnrFlm>JgtWp~kYKhvc(r)juX=C&Sed{|0A{|Hk zo`~#C3k90|)7&<*2d|daAr%-yF$tx@j;mYuz4AOiEyC|eowQ3w9q$B z!h|nMLMz}=;TQHsA$avdczMdMlZSIhCV;S$R+;44KsN+J@&ks=I-O7)X6R$|)b zsLIe{G||NFOtGBY;-aCk{GrT{dg}>(^|_G1GHPv=8?e5Uw~%%VbBz%%4aWg9JWrR8 zUIab@&ME|9oF*v2`%Ngp(Q&Ia<)pnp`@6>hQ;t@W+##$97zW1NGfM8C&GM9b=`kGM zo!8CH@K5_-e}US7l;OQ~Oe&Nye1XUPZz&`j`iI!iEeQG-OQD!-i*u%V8`1z>n_L(K z#;#`d*B#2Q^-sO_kep1l#}@jQ{q?7K(ikUHSPU#4FJHePN}anrO@2>kUt=#TfUxd> zEuz_mxAM*=c0cjVa_TTCMWa-RSJrYf z%ztIw*n$a|y6~Atq|!1*jH?A7fya1BddR#M`v0bqjy` zBbByZay_Rvla{tJ>v{oIKU1(}NVyCLQ%pVw)e6f@s0j3anIEA?XjdhAbYuzU8x5t* zpsut)bMypQ9Be4GPkh1AG!CSk#ws$ccPMW0P1ADtmk~@E`Rfhuev&P@y)IZMeL#K) z0NuU@o)CBo@RyCv;2T}L@**ruwc=pz&Fl+|FP_&rq|T9oaK2BB_N#VSlCbMivaTDa zQGz`1C@{Dy<=p`z8U+l>2hN$@j#)M2{sj-DBWTfxH)2UAp}XvDJ4&19qUk^2jFEca z+x5%}ge)TSLC|+tAjGTSF7=$bLl-Q3oBjiF4lu(n>3T>SW6r{B@f^!sIdMP~6y)jX z28G6P=FDPiN`>VF@d^b@0H-r;a`j zAx3BSTiaU9o6Qj1@-{--_XmF;*NH_Fm&T}^gl)d`q+tWE*ztWnI#IhhPDUvx2t?a< zdGoqkF)rfc<^B17eu)2(qe3*i>iYggUr}$wB~pO21;;!54iZ7)V(}lKE{R~vs3<#C zvN2?DhmUEE))hPMIhQ+;hN4%~DC;{^0c?|mv9fO%L`F8a^cA?;X)fdoQyXaShz8NW z8)I~nsHW`HZsCeeVt*c{SboYk4|}hemNAnulO>Ky8oYj~x-Kb^k&g4a-{m?;Y69l) zmPBN!&F7++gt6?%-FU3^`Eg6=1Pj{0K}nC8=-u1=DkHr%@Ifa&@#AAav|jX?x8fr~ z%;HBXRojCB_ql6 z0%Pk)?^xIB;|ouWS@@(<4AafCX&D6(?ccg^Xb2|5Z`Q#W=Bv`E(1HqJo=Lko-aAl59*Iej7v~_wd+i7F z-ITA1TPQIS$#c#hC_>*JYNMv+;D7>?6O)d}LK1hJ7zxK7gFQZ}!`r~VYLvjvcanJ1 zFmgj8+G1;Yorf$U!%r6S81<7OuBWF-r&;~9k>$pkW|2*k))l*{K>F;uDL?;S*`lbV zx5a;T*D_ZA48A6)+7Zgg=-^wZsM?RrkAq+WoPufiE$0QoTzbnm1-bF1GJ2ULHkp2` z>U;yosJNf~??g1~=*Bn(*$4Th>5~vMdlpJt2a-PNFMaw!ZU)XD)}&lw7*W~c+TyaJ zpRTj4HrJqKQpMrM;Yu!?E~Cu`2U1N9;U`8$U5t9#)H~HT$}DbLUe-!7oQ5ZXW z?IpZ%-Dwk_wSug$!YB?8Y^F6M{`N}ksZAY9-1BKx269u628MP&Qn~$oW15=^!?^Y1 zHF`PBjP_lioZ%ys_V;LEbXZLbBXvsp>US`qJJq345q@AGnjQ`Ww^t)eEn_W1BJRc_ z^7dm{-HqVc}bZQKHz61)LsHK6K8rSl? zgk$Y)dwmyg&L?kAG>u{bCqZxQzZZ*zUwGWAjO`OoGiVa@4bsLqpzG(umPQ!Qy^qG! zr~~_XqN!3Tg=@dl1+=ttkaI2jPrikLX?|_gxU_6%iAx?mIoR+~A^*DA8>@9U8DYF~ zR-5RQ^my%byeP!mhQFBfh$hVX3&+?v#M=Xe0`1RVbvf^L3(T0-%18HoZpF-f*?zRO z={;TljCNpwoLPASKVlXNVw`9@5sAfQufob73hk2?*#_0lzq3rIfZT!Mwl2yg$w~#l zuQMA;qAZ*aOQrZD>l!jzzOA$#g*1L6-6nS+uGd6z`FY!2ZtMgvxo7qkn&aWX{8lj| zlG;p8Kgl>)C1mU^142<#nI_h`?au5U7J8KL`mV#p|8v;gzAQY6|H_Z%4{ z51C4aQq(qqQr0$W>gM}*Tb!<6x18-+>*BbxG&bUF6h%M5nSYEYv(=SWU)oK}ottFX zg~~)x<;X-x5%BgKXhaU4(?P<;hGh@8)EXlznO1jT`+uP->`p-fqdM8E|4*SR`tR$ET zj~^TF-V~e`gW_ejL7Az0)Mb85&N#*KV5xi2ZQ~2ZvV^uFjbd>yHL(k$+N|ULb?qpd zWqkd#*OFI9ItnKUHyg)0uQfo_@bu&C$yq{V)w)Qz4(<+Td0q=QOL%knYF>cpCyCXk zi)@R{eNHI|IZWgG0)OO*Df&4|vbRy8h3Gn6PA9_Du5~{`io&O0A7y=8eIuSy1@~&L zdY>RZv-85Lcib=pY-ifHUfe1iJh9gA72$BWSO{&_ z<&rRAPsC#FK$N8dvCSW}Ut+KnjFY;3*RN&jmC-C_BZ!rX>{UI&v!DnIhM^s(|FPV> zFUN|LDbyF?v&Aq4H9I17ER2t;kR3IebM*^)2krx`jgZ#_-sCT-IfQG>fY%-!*1kel zDR%5pJt=MgP<;;W@EHN`gXBHuXs?qbc2TbhPy~UPOl5tC9V@ToGt3D4M24O>3f45l zF>wZyXLw`C;Mag_+~z*_KCNH(M&|VWTF7zoLGo`;T52BEuzeL2pD zGTI17Z0qe#-L#w7n<6fmHxFeEc?Q-NcOz<|A14N)gM&3p8>X z(x1icFyMTa0F84|TPNL^FiCf6V- zq55(DnqaJsI>;j_e=j14mez1JkPvI8W$?Z)OyAwOWn82h{#Dgl4?W`cy6(=j{RqRb zZcQ4KxY{k>T*%#=X-zO+bg_P0D6zo?%NYpWQ$ThNL71HI)}#=d13E>uBSJdIt({c? z(pwC@s8 zKebfnKC?_{#>;8?KA>>8k(eAXOs90}7~`xKgQ(Td<)4AwpZezAmTXFMVO$jOh9fg$ zW&n}fLzjxm#WB|h!6`SoMuDWy<#Y+>^qYJZ`hY^zd`foVMoQ#8r|btT3I(coGK1&; zk}GY|Wb(eH5HLqiB{q(!i&Xo{5KuD;Q0U*d>l#?k92hpp^geb-z0t++(58$g#7OO9 z=_hG8ijhPS+X=A$DU?WHovS7K9V3T$1OVHbK1MJ;K!(bbD#6mJe3Dl!OeWGswRPh}hz-$>(l~YLPfh;8tPnnB&*#r+(6|!y%gLG@U0+D^}omRgO zltq|$DrF`sV{)oE>U^V^ab55LPOPRROZO--gLiQ#m^ZWWP~h_6`ldqI&C_-X8JH zhoB=mr3;ecU@)I^Cb!lGMdXDr|1^!Oq@V@4zNP{93?>wQAs1dXq%aC298N({=G8O^ zBQ&lN4m&VTkVlXxmd%kD$KgzkrKN$>N`<0=kFEe3(82c|f;xpy&oEN%Katxt^lnhZ zG|PLsS0%nJi(QvH2g)S8oe>rW(_*FxIT~PqX$K<5xd5K>3C3odp!xb(dNg{v>{kYu zQ&L;FaRv(dEVPoIX#rB%GT+zgSYf5Y$BTI3uQ5{uVNMFDBLw`fd3LefHNu3I({_yM zq@u>9EXb8eTb+MgY=Bn4-Ovgb8}Y9)8`kq}GaHO^i)izvF{XEoRTB%*7k0@}8b%$G zs6Xq9QL$KWoQOi*65c zB8J8!pHAjRzW&&F*sK|MNDdjODJ@-bKdDIwZ)sFeQJC%3)M`l(H5rEWx;Uxmn|kCO z({ujPJhxz7&py$p#w0TeCq%Xfle$bIMze@XDu2$P>CusNgkQ*du z;J4&1h4)e9+hf)2^UpK~5*x4hXIdV82FH6`JN%&1F9&!9A-j|D`oT_+%~~+B%CjOj zpu7HB>kbG}DCf5_w=9B}Q_Myupm<~E=I9!IckY?Z$JzqqeRTn0C*SOm(KDohXHRxu z|3t8X?yD=4rE+^zukZtmWs7bje~7#r#yn~FG&)JIaq9!En%)8b?->7%++RTkaf1Gi zG4l&2@*;kLQ~rP+FDQzriIb6|g}t+#;|sU(n@*88uz5yJ-mA-rXiCtDnphgBxu}>p zTA2PvLEON`!rB8s{ihD_yOQQlt+j#KGwi|gA64N$I0^#?I~RZf#L5m}VFt220~|oE zzo--`X9H^sBOzNeYZCzQcQYX;qZh1&i-q%d@nwK7Wd;@y+i!u0fxV=Og_-#?`SRS& zZ;^_#iH#b7^H2Mig5=+YmnlBuBql6?7vkif1j-9?^KWCVN_`8RH(`pmezxazl5 z*ucr;H@x%z>lzD3Cub3J1IND|AZzefnVIDevGYG2{yhHwtT8d$=eIO0Y|Q{n>K3*_ zwoVp*3x1ncw=i}#clrzKd0CkM+YVxWnd1L_=U{o^ia6NWo_)j&;9%hbuycU`99*0L zP7W3Ti0g%XdfAzQEHBg!C-ckI;kf}D3xJ*TrIM5NrGw|{|IHp77dwER6$oHsf2NvV zzPVl|`Etw(0R8TY{rLoVIpSjF{4He%K6m`A2?VfmZ~|VKCD!M0z38*Czo1HN?4aLA zzbU5YQ`hdDt;NeLEr6GC{WGHfKEYpbDW~5al(8^=@!!k9mH)#-xxCO*|A3O1{|Q_v zI@%e#7(Ks6Lv3VW;b;e7W@Kh(1Olkdot^ESxS5{Gu4k#4qk+A-g^?4Zoue7epCusj z{F05cg`KVF3l&B!%FO~~VFj|Va51w1*_hesfXq}tAk9CG{vV|5?{z6+@VqGO%zh92 z_Z0qOy#5av=I&@>itro*Rs`UGHUK*t8;A{H3iu;q1_57O|FQvW|B?YgY|kP7ZyD>e zga1ng1TsHI`epk^Th^B#{SO&43p>ld^*H`zmzkOKdFlUGTV~GZYr=oYSU{kE+W@is z_xPAW%xwSa55&Up4?Sl`gXd-M`1@+7V&Q4>;;WYnoU)zWbI@OW{^#Z)0 literal 0 HcmV?d00001