SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info ""6!|\ ]]]HOL-Proofs:threads=6elapsed=359.122cpu=617.028gc=120.1327zXZִF! &]ŗXiɟ{ r3U2KjYDpT?t96T9Y67ıLҀqcTwhQB^|/)bd+)jo?kVj:N{; %)MVRtL2B*I?bѬi\j:(WdLx }A.W>j)4D\Tg'k'K*ΝisqU}TO.Q'okmobp` Ԩ8;.O%q}D]jMW x=^$RfIOG_224yM]PY2VZ?Aƒ)23\HsgȣÒ>Z0ak!~WfO Cu K<ӎmI v֓/"I")Z6 hԋ 71c 1zɠ /%akKZ-f(.# 2P[R[Wp?vG s8'@i.^jHnh.ױcԉNEcfu(Bʪrr7^zOڅFUkTC]fJ TрH[:<LW2i|OƉn(lyc"D YFx}MF; &6<n*Ucad/|[`c&v(O4Z6RATZ/T$0byԎDqV]3_28j>ezv޵{]?v\}wkM>l|ICl(dZ<9IA'4ԓS:sn9|:pa-^!rܫs^%s9М_Jx)H;)bl!)>K-pی]8c(ܼ)ii91 B C;.s2ǓZM IbDU1dJKҁGxբ1 sl$~ a@+f|-w#bA7@עn"}9Ms6S9du4NQq y]_)U)2ޕV^}.!X\TbuEZMaf& uokJ{uJ/G+ۇϳ=o+Gu*=M#dM}k\QB,/qĭZ1 -[% ^IQc8x%G_3$i{2@. +`C @i,t^2V#Pez_?Rjwߓ#«Jm κJ(!GH+D=w3hVlEg̓/ 9$2uF=u^;ђ} uBl$AȕW_DNOT2%|%Cx2h/y?\ԛnS3cܶ/F WV  ! HOL-Proofs  @J{F MQn+&N&6ЅBB&Zl;)UXK{NjLtm`~\#{c!> 0ZwM1i(|)بN=3{ʋ'Hg+9@b-mc hıW;7SDe״W~'Qk/Od}*n}v9s2$lLlIdxrv2B̡$v¥,ԁnnj].q7<\a"?[B0|8]33F:%0=r5ReOjܕ+Vv> C£-aw}~ XBE8561>F"/F;G5TۻYYMљ͓c1d|i%tJZ-xu7nB3lH3uq@,{ϔX&XV8Xwc2ڶL$k;{Kפ=Y X a8gُP~,^N2"Ȥ,I9E+6A Őԩv? sGXJ}(g%ݤX.IL1T.u0B p^_I 7@0SPO3 fZ+^]a>P0칌."'F1G$!/wn; 5"3ĝRr}47edǩ/aony=K~>}01@!t.G{zdWD,a^~-`JB7ct^2 ܈}I#RF07>GWAEեSXH`+Qs4O78aC1%>2#XHzS,Б(3FS( 81@h]L jAOZ+_Ule&?8m+і(c'EpR$`^[9bבᡋ$ʶAl J{*)M>ŚͿQz{omSx]mPW*cYW)B>V49 a47=J$?T&wɊlzkXC#pm\5T" ZqZf²HL}5THRb. W\x9>MX|`m]'GQ@OlGf",yd#)ބo{^m+9VHpt =7 R5nwrD;c.*zM輟$ľQE[9"\Aι`R(Hfq4Z ?Wa#uNDF/]y]̞6#?=[5jZWƢJ=ygLs'e"0=p3{i hR_N9ŰjiVL:xNVINCHD7t}1ɑf5l, 7%$ UAئfg%RZ'Iy Y{@41~E&{ ڐQsmc+U`ojBQ~m؟&?p*H+- 2UOm*Ο+{Н (xSU74A45P3~%?j o2̅x[y}iO?k\AԸɘO|Їrl :{1CÉ?:Y-W1J#+)@KQ㔏2a_po'!BcJ7l/391`ufHFdsr:7 VF8*2I[B6yؐ8|?jXy,ݟf"Hb.o@bxY$owEmgdouS&҆QwO*p"^%Ms-{\_ҏDu9PKM6Q?~[4 (F.^n%:œ%3nx(n)I8&&>~CӠŮpy>B&W2?!UDw8̻x0pS-"ӉT8K5!=T}`P9g Y@)SFn0Ř.-a/ A8N$1A+~8r_JU5W3raLʚQ\sp]sI>rž޸[aec6y2_ǵOc8 Y1h ylšz6\1vK+ JV?vu:{#tl%Hg?cmϔ:=eR␁ ӈwqqonH{`3k ]?տjn!-? UM`kp-84ݗ∽vA-uَ'Fp@ߢ&8ymXT{1C//v5&xfF40v6t}1M8СnC#Thם@ϟh/`Lbm,bI:5>mCnRa;$J~ He|d0]ix'~/p;U !p, P;@G8( DB帒6:c@'s,:Bd'z8Qs|j-MH$zX%MZ=; U4*LgYZ7zXZִF! _]ŗXiɟg_$N%Q Kβ[I4@\o_LB&XĤ:iM1ŵ@ 5Gij`KӘt^^-e F&h|{s*#QT׺]a)hR-fVfO040>S㘀[&d|Q)c}~Mswak 6'tMO~%bgaDEث@KM*!KLXĢcG_>b0Zǹ6GDUv{jT+QAD6v&|Z'%@?Ey;R k@`$%V@y칐>5ewF|P$zSƚZ/ D5xih##R^Iv]bY.Y(]O=L٬Y~7i>C#q3~ :X aew=^8fygƊ bX3iN-"tu/) 뿉)^4 #3+m%#lT:olZs 7F4'[r-̭%fmjw7Y/U,Ppf_Z6+{٘=bt$.(kOQϞ6hy'н[j'GCzLR !eP) 0=I quNC3 D_߁єS:$ӧ鷇HT%^}V1"`ڰB ߹5Zui2_KXv}]/Bh ĎWRHdAk)t N1 \ 9{ca܄B{[(Dgᅄd4wH@X.kdQ(>l2fcxeW9&=NX7"qo|-Og7YsϒplG"Qy@P ڍ?Ŀ0nCgk`,ve*B^`sit*fߚr;Pe 3i~0ɕnjg82Ui[N_A'D7Δ2(B DPZQ(h3$,!"qc6P( "W3D,<&>_^ 2MgYZ7zXZִF! 1Bh<]ŗXi%L*a8;f?B,3~g1c2[ak2~Nj4F>!S>Ȇk'[Lz/ߎZǂ4)W/rW%Dx/ 7#۝{O[3:o]4KTRj(廁 ^pMfwNzP@0"G^/+Jh:},mm['k^u7i|vٕq)G5,#[ʧ=Mluv8܉vXhe*\m, d~`%jSTj2CP207@>[]t#hvosLX'` ;BPB,/2X%'-txSg*!r"Vs/9Jk5=(L}ZҐk"/q9N{o躷,ˡ_jc#Zdf8$\%‡DR3sf}G7ԿOnxWۄ#Hu^)ݓϣl۠ 70xuC'Irr$Eq3}C4>*ʑc"I>'>8gcR KAT{bVKYh'Z8I|zB qxA6))EJ4MvVdse"6}bާ*LWelE`D3X\Gj]JiId VtRg,$7e ã-iw$%=HuPغ=5Z;X{{ǗcsnVHu O#GF;6"s__t9Ϝ`jw0E;bZ' P $5PG}oHvVc%]YZPHUQ[]eK@^S)UݬFΊ6&"8~4`ܒNyY\ f/[qQ:t!o]Rs{+8W<ZC}i~sחa14!]7ܙJEKKxPJnLܥCSz̀tN v\^KB=D)W!wy7"Hu; [K?86shUb75YiΊWUW{{f=Y&ͼ)iOJxi|m&}`mt}9âe!?ZAUG.lc< ,&|/gy ط^1#EVߣbxx1/KyL I.y)h v6;1[%3>g]yAɴD2.RH-鶻+Ms"];; &K`d5$Tg8Oh+υܝBlBC3')ҙ+cs !2ջ#XQ +噿s<˭nq eE4ϴS{=l8T5{f_-Ag06$-ηWU왬86Yz6 ,CdՈ. աc{7}DbfHD#=CE 7}Z} N"GцJ1_R,A>0*+'.Cz3BҭRus]0G73}`;U_¦g!v}i+P RY^۬jD_T}cG5gnF!c jmelD4,,A{7N#%F7$/9s?> ]_tQ Pb\Y8x#$HCA@rd5ʵa﹦&Q[ $L ߲ RpNퟻP&M }7vSIɵ6@vc2M4`˖4_/ 3`R"SZ~8%8<:8u1ê\.*?d%SO2 BSU'tw1@vxz!Gb5.r0RJS4իAyMC߅ͤz׀*) -5XBN t1𬡖mǮA\;`47Еy9`u.ZFNt ?$]2f@i)=X7:2\Z%/nNu7aPƽ""LcM %4E$lpvőUpmm,9Ao9C';|B^bG8w,pvۋgրL3h^%MCk -W=( (d{ƫ\=e n$1 ܙZSW2ʧy':l7!== bTH}(3#IDb<91pCa 7x G$,G덎!ۈj˸swn-ncjXAu@&2T+Q܋,$TM¾§*vg܌:M;Mzn-iؖZ3\ ξX>XDQo‹~K` p;#ѲH'q:В{%x*݈[]@i,c͸Ŭd; Dc p":Y,*wWAwXhm|q7ihCg*7`WkY>H 4<˨1[0(i%Dk%)'WW0GɆz6ApgEc5,4;X>3\1͓M#{sqA0dED8NI/#[˗ZIKΉ6jq4{Am٫q"I9AXﳨ^86Ԡ~bM:o lrEƖUO%dg>ULWw2}s:<SY{o0oD@:5N3yX&eW9zob҈'nZ<@f%|}wyWEՁԞd }j⦔"&x 5>ײpojnl~!&e8~mM=Z" a@cs[f:%1>.6܃6VpeC73> /څ;/vly#`HA ws9ɝ^!cUr.y9}ȭ2TEO4Pی:Zs :ݎ: *S/mKlGo=J>tV.]l:Gv*#,-}3/)%Sf4)azPN -DGzQ;Pp4LB\&6!_IԺU{ ʟYjKgGߣ=2d11gۆw<ہb麫)P֛˭zѲFAiI]gvt6 gT5@VbYM8H19 ҡ V/!6xѫq{ <NםPOwN=Z֯{O[r]u")mPS`XHvN5Ag]G;QA'mN""l*4ʃofc?/eUmP̀JGb!ap꓁ϢZYtTuGi8Xu˨GPƊNiXZ#m PO\l~Utepk^5nȇ^v_@.1NY b*Ռ](xgW΢u>wCs-طxjw lV m+NI{bMJA^KSuǼ's $i'_Nu-ް=8$qV1ϛi/i#qY4QnGm<,TAќIյrcXRjL"=ښ}ٽ+#Wwj,Ng|AL@u]\2d^bCyN j7|jzaϪb:m%R.I0%ɁزUУ,E"TxM*B!E#d3Ceu;۟3)Xౖ_)Uisi2NyR(]Su*J[.V&5y!VۘiA'D>k=h5 $F0(qϚ7i|r7=O +7@ӨEcIHyԤ$ff+utu]c 6gn 3z:-y3tl#ur~3"SA}6@Vܶɩ Ol*Ey+oz~D!CAP(6 PRC.Y&,[^=oèA8EMhPdRp%gXI!I=>eq>SD-T?: |rp y@S Mt)/;?`Yŷft|i\vh2׽ 7vSƻlX E.ʲ WB3+HM^hÄ+IBTjWA5To;X&R%̎RI#8Mu>¶cUoMѦ?8' A3WC7_A6+Nk]+aV=ī,ep ms=tR!+F mEh#񱶗ba qiGIt?lԟ@NM쳧xpXstMj,!6?B¡LXွ_"ق􌽠3etM8ˬB8%-i[5v/癳+yCJU;|{t^껌 Nn ^Мza@ vN$mdfn;&W:Zmy" /0BUm';N+@F:cuVS13%7^jr8;W*/]b#⽅3gc3aͿ4-W#Ug@3?}s[d~LsCVG>?'QSjPcv&qPyY.͚Vp|[ Qr5Z|8MX+$1fI%F-#bU-Q:E>pDٯЦ d64OÌa,{P]\m6/RTT7s"F%i}}Ϸ~o:@ikB+a/ֺNH9iM:w(>{NӤ}t:<0Gk B@]B|pX, k6&%'rXX?!hc@Ul}pO{*&?P!;X~\n_S,R$4m\ĚWj Ob`V 8#^65= 7KZi"K|c8`ZQ<6QqT_c<-wWoEqr>U YsU-q0.l{1)`ͧbE<xEfGbp.cޑ-N+5'1%qŎg_l؏TqQ8 {n LK4su3BﱾKk= ~ ;PG/|֘~8waDTgxw&ygͣ3VKk֠-Yɦ,=襶*ibZpV1VO0R[wڔ*M-~ԥ4 hBn,ťɣPj֨*~|,c&-bȰ6k..2Om_KG@WoVmlSj7DjEޮ F*vE"}@ÎKG1agb]Yæq.K8Ze>HA:VBT;;=LpԆv0"k+ϱ90CߔTӻ ^nLB唨k6f^k'XkzھWfbMvNbx].R[E,-M{d_ ;H(*[̅-.|4C+YUt¨jc;J~9zU{c}`5^m]<ޘ駃h>?1#<߇ZP9/_ EfۣɄmքF5ieR[ENIDBޏaǜThl*R^ٓK ҭ`gI>ƅF}d-?hew_~ۃ(5 !e, OJu'-N+9^F[ }Jmੁ :Hp󋄊>L鐎)H (zàm~F-&TVÏ _9Lԇ90z mQzo&f-|Mx5{C[!v#8 Li+ߓ ,Uњ 넣E[*vVݒ5+ryz봎k0 Zz:䢉*XZ}>{]A"Lz+ q5 f-xfs8;0uGV[4ZlfǏb3L,N{~bT[NVD' >0J^bN<"tR!;Qu1ϓ7)^;ieyq&%b'(Jjbg^2]diւ}ゎi[cQ0ojyBqDl'66n ̙*X!uK>'irg˒֨KqvfA8C}el%ÌW`袛E вFy7:UQw'H`l%6J^)JaKduʱe*0@iũCr?:ˎEC $wcW9{IOx7}/;6dMa.(s 6ĿαrLr|>phDEjY)/|ug(Cp}J_nRd(Ԓ~ [͸.L*C7@ļMɻNű"U"yZġ#mybI*?a@3W@E#}$"G{]\)RI2+WgORAU4 <:GE$mq (FAƫ ca $=,I;^N{5m8oLoA|ۯGW~PF@&kL)D/ vp@(adM0nR'0rMaG #0AS#%, (6~e}CD4У!Yet3яA7&K K;bU.+Ǻq-ڞ. ܥAԻHUz%Cq iKhTme2MRs#ơ*/=͈/}g …Κ%;ojXs% +ȣTIm4pl+›# az7ͨՠsـ ECǯ _!GOrC--I)A,`;Ok9ah5#=ъQreC!i=I"ޠE~q8T yB0g@JrQsgHj_~QjKbdiXFSXDQ]#YGo\n;HP6V,<@1ݒsi UoDj9-5oˢ'$%w5 fzh4,Oy>\F 35K"*)y.QKzVˇw!/O+Fq=.w1/px Ǐ襕$[`8+f+  GZMZ>,er 694 !M,X0Ė?juH-'%0!4TӨ:;I{ E_=^dgt;tUB*4lR띘lDI%pf94\04GU,eL궑fbܤ'%ThEZj]_޵'"N0A@* "z9I̞uT($р}{ †Qj7fM*L:.UV=AnWc:ƖAiƅୃVRFI<\<~<7LY!ք CtЛ^EpP1Oy"ث,S7*@rIrM$zBZ<(Hh"!^2qYg{&z((ȵjn/PבּW*gXmh#vQ|`P3h(~%P9\^U $K DORgVΏXջ= Kb < \Bn;Kvxv F<%_#*1<CCVV17DIB84k5< =iiGI@DI!$g~37|pF;5lTVZZb2kQRS/ql;U$cqkN㜵i*kĵzKA8y0]>bgUˤ…+Im#`Ǧ,@2G315UX@kvȹdquS+TxjT$I?_ q ~:2+䯈/ߎ9US{|z7JOE3c͕8 7~k:sBE~)  \@{>\O/[y ;_!, 8&j18$c ^T-"Kq.%74VKPgQBo se{0tY^ b\DfHP %*vl>k|+DbyNϜ6`X  [yrl;%?#Fq߀+XsUW=`}c'F 'J&X0ǙTYx23ڹ o5unP W&ugj-b_`̖1%HN3d3L R{͹aaa;+^R9iU)cfL^ 7m=)ۧCBN] 2Nqsx~ RW)c֗M+sQ\?"rNb* c2P:PBֶL<\WN4-(o_Y ]H늠ĠRN,Tn1o9CZª^| .0mHқ=Ԫvsb>x./WY.,PPN|3avǫ ڞ${Q~%pp@5†gs!CJ_[˳Ѧ+2!:\XP'V,dB_ס%Z)M%*+V[4+i=Wb!I=2pe_mvm̵(1Z] a[Q-2dys*iNZ~zyEowu1#EG' p \'=ϕϐ1j0n3CD&oDh_L&7OFV_:38͙zoEXuԈ ZV8ִB8^ڕ~ 'ގ>ҷu!qꨥh|^3)u!0Ts8T/rǃ\H AxvTv@fe;+$,(Alh o+"P`XZy!6T 7uSlVXggTT4 ?>" c>b<փaÞ*aYޕɴcWo@^ɞ,)al[Ûb\j\ߌS>r}j%$(Xڶ{p40>iqSy(|WIP R,h8w(nNq8+pԿ[ԛ1/< ]ѵk*2['}wN^'g3ngXM K Zf2]{ fGFQ+{Z/F𢳘 n)xY/Pͥ@a w  *9B`?)v=MO@ G_"^;tFKbwڼ m%Bao˻vYBO tlh$J`t DdއDk+.[5mΗvt"dI9k, ~ p4{:{wṃe*~}YqaXގZ 'LXTBɾ^hsҴm'H=-;m_na(IYbTt}2 5+4?0?UOc>ioΊH̳ xTT.aYN&O>B3AmSG4 dtem\GП._up" q5ҥzQYs-h&LgVڭ}Q҈= xT3wպ)S£J}"ܰ;=s$sW^:XG2V|^`P<(Ktc=FR\c5՘L{S?&z*|ݪRd ZQ%^clzLp SV\g"d<~e Uӵq \j Gj<8]Fv#{`O`/\#P)2ɒc- euZ -5 *pT,#]Sұ-NZ{LQ_%s֕m-VOQ^c'>yNZ%.WD\ J1)G g,FyB hM`uXE\eup7/oC9%ɜVܩ1$ʍ .`TS2χZD I%+^B!>9".7ȶ#5h=B\~M<(=R>K?Qrv[ Nܞlg켊]U0DΛbysf:=6m[hFYIŭ2|~U%$Rt Xح\}A!4q wIN~22܎tfB@|GOEz*Ci Tյ]t! C^|MT-DU-lqb(Q˷)GfBC_җH*um"[=ΧzRv)j\÷OM%.+f+2jFc?JŞ'+LF]s%lG~| ocK1;1FS%f\Ԓ!/g{UDC_a :Ű 4;BG rZ(R\ ^ZGBllX9_lX՝ պR4iV InOI|IɌg4CC˞W6fǖ))L"Zfic`=> ZF6gyE}$.& Y(SYne+MA,eq@D]&SL X;"Ph#AÀ:#o.0L{ RD۷I3Q)L1^&z;_ՁW[6Am >KKzR\X /SG/T!Ʌ XHw\) JRߤUORT^ HzTp̞86k,ğ~tn7!*"5S$aZ?LLmghӘ2`iZiGhdk0d #A/C\Z< f%e?xE5MQp3(G#3<+mvT歜r ^ϭݠۤpd)bFL2>( Z0bTQ-RޞwDg<ް:HE"нRǜ_6_v$u߈o.?Mf0 P'LL`L= T{+Ѣ16Z7a)aV3gly0W Z[q!Z10=+Dote{rb8'VشKVW,_d_yPօt5EbU7跍.2_{0w#M{ow'xI=M $֋%d3Myj& Π.1 7fgE{o.wbmyP)Ñ[ VXWG_ྥz|.j "Aʦ"yBBd1SÙ\4}*cң\}Տb~?[1Er;"QzwL59nz u\ǏFU/*뇸)rEA"~#B ss^IJa%rMzkJy*F{{QGq\Kp- 4 pbcj/.2Vא_QT1K>c$6|fj{! 4;Z͂ˋ&yFnB1d5/ ("G5b}ĩ_s݁6&ik|yZ-ڸ_\mDA`je5:(^N{9gr-e:.$F{zi6Բf"j~4%p4hi~BA(x B^w֘)O:{ym%j\!g;$20qߪ\@E,\KB`>t{GJHCIC@p8e9>n;HE魷Cb\=@͆I6]G3~}}8nkێfVs0SD/͆=1;r &<'clO/|Q@l{!tMIʸyeݩgd#S!W1T}X]g1oB0z"ڐY+uq)+ʽo_teEFO+]Ia Q*<*9 3:;yD^ѮPRu4>Z=4fNz6y #BξC#A2~y4FҤʎN|s։߸2+xqm)k?FĊaOoIdx쇭􀇶TˀA'("]Dx,>YKpG , .{sC؈Nty.nm("(?phhb$l7enkI=".(wڔ+ 'sBdvGL6΃]x@_|%ħYh0F}y\N <~Y`.͛Th{'bxo9F^-( 'izy0ZqGo=ӱ GU";V~3ԁaދ8)^)c%W6IM _"WUs] h`ٵ@_l@]<,4PReP!^ 6sM/}i:} pZ._ϡN@}7I0ukA? ɿ!E!qn|s`Ww"L9`s6A/J)8I}F@?h%p[/Q?qu̠19J/k-%c4cƷvU]!D1I;s/AZ ,)9Ob{ =$U[#O$0PT><:_mKC{ Yg8w ΗӴZKmg< zt:hֻ|̾-lҌͻ7( ?Ka+{(YU̚}=d \]v587uF >B9$aŞn$*%Ĩu_?76q{1 _QP݀ڼBpL |Y.AE ID3u ֝g|:铠Z+Dr#3Ez-G@.!ğ%O%H?C-zY<c$G^^xlMKG۫f;θApOSww-2>R(ImV[M;e%ڈv&^9=y#KoO)u4Ƚzvmo8= ,Mpuҏ_s<AM^r c] صeB&b$fz0.IvܗEY3OuGWI_(Bn"˯eD_~(5UMŬ`L=ίQgkr8̐ؽ\a~ʍa U-e3Dh"c 3_-VTHg ]̰L5o__i5M}oꭂLZ͚ -9gC*q,*RC]#mC*Rok6b7bӺwmFp2jo ʝQ*jmxhR׶=K.vo k("k,b͔j:hD^pKsJߜ皷1,S;? N%5_7\-IAѐ}VS%ݸL/ EY0? B%j%g>IWRVkC|Nl- oPӄ@RV/RY3hA045X祋m:Ӵێ1{ 8"4 n=^nB;3wA8`V+7-j:S4͍*m'wYĘ4Շ.lgd8tI.Y'd Nbr7(> S@'+c}?$dSiX ^Þ[y$'JIEnlL SUڵ9vHu^r?TfHw  mC-yG_hC3)zk/`fvW^g-r}ڜ]Vo_mn0vJdɴAa +BNʂP% >Ӻ[FrJq'f2ooZƯr/ZDaG!4Yq]`-}] hъ3w|vBo7-(QFZE@[w]ӵG7wD;׆bCv]cCHEI|vabn$`V9f|22(܌bE60lKna8E,% *)m_uߢ/䓗ϓ͸)x?ݜּ&+}rE?2C &{y`ǯ X_ݨGQ 'TP5 ϭ(RsW`%fj_1' &Fvrn'MN6.dEf1kHDJP._IوdrTka0=0:X˾gtBǁX%>z:v!8Z( F()&FQ=Nb{Z|AEد R^󈶊Ww75}Wg6Nα[l&Ayb=y%K4eIk`d}=թpBnV*b兼 Il5GFTߣm OVNUJqy0mwK5*0mOȩ$$(08v> aHX9(s9kEsQ0Fr$'+9) 3;cӞ -ۥr4iV"bV tZhQI{q_bv< |ӵEn(&ݑgU$k-޵% ]z^) aoA oOʇj/ؐĥ:v\Q8eaXIէ#}w_sq|9X[ M/.!h^D՜"$n.LCC_kJ5 bA i.g&X P }TBw?)QF dԉoG*hs;7:F+b"ch5~,nh:hAj\L aΧ\͇ ςdşMDhڳuv(x ݠ}RrI'z,꫰iWdFv w}SVXE:Vˮe_y.pBfr~M{NRA]/+0(axH0BT `YN-3J!a:miiD$mۘP9\N{L 1Ǥg%lyajWt}͘WupkLiW%aX` l(  w䳝(3E,FW䂸K[ޔ+R'Ļ\d.{b+Rd|7هl7 {#!fEYe_5)+<>j5dV SJovN%?dZqc y4"a!%c`*Ͷ뚍^X3ODS6ӪUP>|J&DK}'&K#qJ1;|UBRDwgICNM hqQȜq2 lv6ԑ<2T|([51Y~^`{lKUY5UӸSGŋ{!8+6Ipt%%2\07=FEse֮V1x ZtXTGg,W,o 3j7Iձi vg  Z}۲]2)D,fF잴%`Ҟ5R BSCH| f:q7Ԕ\wͣZ%ywﻒ0pVw)f Fj-2; HDd2~8"Vs!.ޯzD NW-!3F\.J:t<,w,)ƨ1tY_會W4蓀/?lX*< oyrҺWJԡNK2.䖅as5%HT iX:H 5OV $29`+ЎZ[r`"ErXDf[dؙÐHSԮ7z@˥Z}ڍ0uu ӂ=J.Ux3aɈ->w]`늅Iw@ʚHs6zdz0cxrI3?6"\ x[.IRn^<7 |&*UrcO4+/§9AODG=&05SR6t;"P`9M_%Q]n(U |:6brPrG|Ge_R>o_73^(썦3}z(}w67 /*t*&P5e`gANۃ%^$k%k-Di62/¬,r@Eg$- oq@YxH(U)\DM”L]N9 Ik:ˇ/? g4TI\u'͖]{,7/ϡ?AN l9lAq#il}U[c9D 7x;? )$mPrǾ(dv\1 ᩙ[V%FR1V*w7K!^:ކզ8#~&Ux]9Bǡ"2!C0E%`=f+Qnph^Ukv KHSrD&0Er٠T= 4d#\vzj1 1^o`NeО5ㄡ_FER]VNg8gmz}Z_(9<&q?s  ُ-n>%i3Ψr{@(:k"P?O}]E^Mn ?7  k<\֯ HxY åStV+1Gاٞr9 R$ w|ͪÝ3tb4ή|~s5azEӊB9:%@xT 6SwcƘ7A3 n_X pvT^:>VkiPDŗڤݙr` l5NAzBkήSvA֧y.(U4rdX#p⚻~WÙ9$T%M*.P-$b'1j$t{Nv#?xozs4ȕ*&Qe]%)dn1t~lEj0nY>zҬ:9hjeo)=y6@|gM TQ9Y k:h[%WB0vy;nح@V+bOqGk;)vcKgS9?oZx^Ҟdfzá8$h%5odQ1Iك%kјTʽ2dy/{X@5+:i\VaÝUǤۉ ]hgr%E?U[uGvS+\r.[@A)gbcE70`, a_ؼ]ݮ,e C``TԔ3~ȫDiBRvo9]Q<7\ǔ|=X4 K߸9|a"V6 n PƯno|[mv]s"u#NҤJɰ}i;sWV̀d̻Huđ`Dń@ O+Ts[)|)^V: s\2^=f<9euY?+mN *U,|(\lK}6aAھǐ3WjFc%CQ`ɃDEw|BRh''Nr9 2ά_充:| l_M~aWe=mo]8Td!kqx?<|Zd38d,رqM@a.bs 14O˶k3 #ùs̊utg y*!L~yrQgnc{xHpٺO4[Zم;㞘 Lpߺ]-, $Ǝb8kدY0\ߦ (.CeƱgYZd2f387327a0157699b1a971dd0c8e6463bcb691f56dff493c54cd66b7db0c38a40d271b408a414ea2762f339d718886bb11f396c99610059b3716f40