SQLite format 3@ .0:  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 HH! D4 ]]]HOL-Proofs:threads=6elapsed=546.991cpu=1315.316gc=121.692factor=2.407zXZִF! ӓ=]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟZz3u=E>3`ٴ7VbnNOQ1vws"jdIjZ Oֲ~ao/^ST10Ңdhg'y4Ky;˓>1[ ,.-Gc}1D6WZ\G\'|&jGzo2ʋ<2 *Dq@sWFșT Fs.'֘Pq">[#aL$z/ܭ!pTqt@)Мzg,6.*łeKx" H1h@L+8+ )}YQɂBt3)!D0W(s~ڟjw sZsPÇgc 7SʧP߯Z8SAj/JF7u-(9,(EаSs;(wH]U+Ӯe |6 Ǔ6 (\Wa#}upW\6]Y(JY;3T%0Y%jNKCj0d& ,{yL . }rfN>PY3B5 J @Gh0+|޺kBd9f*]UE;fllgҠY`Yݎ텪%jLԫoO}Iq58,B K>یI]4sjwQO nŦ8Sw?ltEl׻0OW12S"\峡.e#!׵ȶCưiRFOI{^-C{?T %Qp.-d6 Ǔ&~(Cc~\87I5l'jTǩ"?.G0"g)>DrS}Z!Qo;B6a4 >2?'L-42V촵˴ȹݯ8"gdMA7$ҝi#Z1Njd +HSlk1lJ.^e?4Ec?=z!ضqܛ@¨LvEa0^sy++~#)vE])_^OK+ܞ, HnPg\SU~0(X*{ }ƌIG~[.gNZX;LGap!HU_6e4.˲{\k5sd δ[ `pp@漑K)LȤD Ke uCк1G'0z.f^U~Ҩ;aZB{ıJⳬ j'">}o$T YQ#KptPROǑ/ lx˚065}k&;&]ebE^o>7B_g7 Z#9DpǮuwf[482o-T jל"S/$Zxik)X~jY*,dM5+cO ^6vUj›g$e$=Om6#O͑Eu`W+ɅKV轃 ds%­+t^A$n:sU|##5HRm @(@\3qX K"sFTرx 7*«AAMӣt*Ii,&+]l3gEY^a3pk;nKx-\dn[Z] SN!JYl[l|&Nԓ>{̏!},W/ 76Y9tlW2$&kbq8X, Ov#ENb~SD(i/,)g|C0R|ˉɃ5e&H˸PoI³OcEw ׊PS+CVn:aE`Qb{ X1(rލ Ut`Fw J bOǵ퉱^ tcp57~p1.LA Fn}.$xm B ?jޣH`Ϩcj0Z"vpG F-{4 y}1X~~+#'g k|s`B{Uo*4Jl341+O@*hb tRj`l=(eL/ 0"QޖZ: _ȓhm^ui&͈ jk:  ! HOL-Proofs  %z{(:QWnG-s̴miyd6L hE*'~ Th/&jѸj߼zGjeE o{1:<`]ڙ>f5 f5ϛ8J[Ȳ!Z~&~@N?P%ИD>&>I= bygek6ZGi)\2_gd B{n|\Q(6}Eޥ~,]~A`6H YTz_[0}}m Q[F݄|O-IИpgAB H& 3%oH WKN_PI6|jp./@g=U:p֢|x`3?ʭE\|1PǷd L~>M/eQhcanAGb eY,@g2 "kzQatcz籸I1^H0\)Yb#wvJN>Qځq4$"&>@\`mL\KFa{4;9~>|{+G= ѡWqUiaY CuR fńz%t&S;h PX)X55JݰD<`Mecz@>ѥͱMh;S]2יf B[}jq̄0NP{UbX)aW:ZBg<119)"gkTYKP{8V IEEʣx6'!o3C:W0y"Rե4&WSވYa\~̮VᶰP U:RX; gY`[ED#B&2#MTB6Fzrh󬂔RʖsՀr,oX1ㇽɥkKVBYp Ъ9DȜ@iOLnIݨ? I`.B}nFgQЦ"m<3Mb6fƞ mɪ)XNp;*c ו kOcFR.WuM \ L;3cuQr>%FCAUd2Hy&^MR >.qhHIwC G&e|#T4%d< _зʲkh[âÖ*{;Tb6.z*v GۗK[~7M Qvg@ [/A/"af k#xARQ1gCi;Oh-`aW嬩нh)__=>Wה;@߾ 9axB=8f1-dE~ ^>Slkڍ?8^%O'M  ؐq1O&VlFMQjֳn(ʉ}fs8_nIaXWw4nd[[ YJsaVAQ7J4QCDeumES.!xd:$[:L3ĸ/9e;ań;T^ ݏ P҃y *iXŪ<δwU(SSݖo7h Xh-jK QFyU;F .m"MG̤}1Aҽt_@ҷBޣ+Q6 .ǬDtvT'z}aFi=/?k9qCLһBK.$[ڃ=58 峧KaTn5d̽He[ .+z,>Y-aq;{''Dm੐ԝ9 `&,!WuػPW ZI>q:4Hxn\]TjHWzk<jTk5=llkf.fMgYZ7zXZִF! \]ŗXiɟ29aoʼz[%U>EM!!*X/Hdǃ71VcՃ#ɇIԲ ֍ 6Ik$L͝3%݄|1G䳽ؤLsCg[HGc'0+vC&rƘH0C%Cr4g%COiK2 ~G"aXAEdҾEҰyQ LwfW #J"R|2m8a∤AִBVY7;_/AR+W#Xv%W֐V0zŀe~pymcZي7)4(G&_䶅_-ӋG"\K8ϺH.l⒱]Hqю=xҪҔiaª.Җ]TiWȐsu:= :L\'zjs2Rqx €69 8[A6dY}Bj {Eh׫C=F~sMS QkZ O7nS-0>"w4S$Pˀ4r:6EgJXa `׌պpφ/Y?qF4d|4Epoqrq#=\KErL\R:80+ '@6uY~LL5x=.V?tCzh+aO.T׍ q\W$=&ժL Qz!@ABEIO>!zA.VL@h[#.zi.Z+Ԕ.GxG' O+;{D˯56iwgV |+wОxLE_1Q;`:d;%+>G zIՖfM<1YV-}c^X:y)l#fGߪ;؆&%N#MWdFO5(*-ؠ%Ev̽y&NgdE"L0f!eBf~WUI<42Ֆ̘5;nÐC"hXQ4S~{{ bqó(IJr64,dy9]cBch]T>CBsH"cދq!7_e>vcNZ!:)R:(3X|Z 2wigYZ7zXZִF! ]ŗXi%B!<~`lx7іNjYw ^I4<2@!y܍ ώ| W]uj%dYa*.Q`1SYqfLn "Z87x-5{̖63o *:䒳YeGN3نM0.g NݩaL°(=ݦ 5!b3\# p:Qc^eE.y43)Yb`+ Mh͠kuGa 3&=r"GT|Y"ri<ϒ+ fAe}x`APTWH0jDjx$9gOi,h)ny/S O:KE0'yZX Pgkjn#Pk1?CUm t.Y7+c6a$skWU7[-šAlg^3b̉;RYu㰦 )*~Ƨ`vEGo7AB["fI0'-U/NDp(s<0kt 53~ݯ c&F]K0[ q_ {^ec~[ikтOC_}IjSٚ"im:~TZ!ϝF'Pjfq\5@Į`ąS(̐g_MOw2QzG^)NT;YLjr(蚵!; =,(c^, {LTW+V`|aMaB0JYlcG|?[ DߞL`8F_O fTtiS_?AVBMOx1EQw!p^`tQ{U쬆||to=h t?BRY\|=;r:82/{ABtL38X+6Zhw3ѫ*.ifig_R4tsT#uOWn_ˏ:湬HCFn l#Q,cԿx-޸= gqB qʵE!O,T* u+Y> '?ƒѝkzEpDU\s("vpOw2r^ϒ1Ϝ"pVӏ_0E㔋;51wiq=^̤oѢ$dǴn+vv <1?"6RbĀIf^\nhJн K&&Czg^?"-3P!Ty|^ ]9%h$F,߹ 7( 5ma}sMϐ14o_+tyTA"Umk%=FQA`>K%&1`2HKYG83$Ǎ2I_UΤH_ڗ{wҁU [,+x#qųWz0i7" ϙ-8A[Qf<糏9A֦9 &V, +ҏiac?N^wNgW7ʼn΀=V<}nDEd!XKL 5_!=>=sx<($09KqrJ|Pp>]_\h53QBA†)XQ5_I:x4nx5C+}<u[VȭNv"ue%oUɺY g!$#ⰿDओ _lJ1C]g u qBc Re1%"]M&+0Y(Xo-F9*'@ԍD̐O=rVAx W)]ֺK}DJ q%] c?jpM*g=!j- RGe+ "0V_:TnbLNA4@R~* %@ȥL 0[Pd PajS(CrK4f*+Q\G` :Gi5?xͅ(<5L;M4qF*%彪z([_I ՠZZg 6cz$\QvpV=&O;U.,FH9( 3*Sv>7^bȷš)a>X!J5X;Wv^ǓJܼ\ IpRXݕ9 ޯlئ%Oe&ȘE 3O J6ޛ5gϝp$eO@益FoZk`f7 6"%P_E93_P /YBm<@G 8IӔF@o[#!:i?; 9XX-2% ZGٶPc8%GRB>pLAٝ(b~\29YQx PAKcv!RK8n"e`BZjɤ6鋋<&fOSNNF0g00fo,H%3b{QOh 9$땻-G6< 2Tl:pl2ѩ Tm\:"6"\HY߃6eP"qb~*{09VSEB^{E*"& !aܠ]zz|>32+?h˲v߿ޒ*")Ǟێ%* K<ݗˑ4X-PUiWO5[2>Q(Q C<&C9c=)Ҷe[L:M3Z'e?䨖e=b M(<@0 0SP?50ƀЧqJ|%qdG{4+5+ ,X5: .qh8hIKk:Yq_}ɞO˸"V9_ƞ~B7[f4B[^䬯Xu,yqݺs  WT =iګ*mIkTP-%M2xtVkV;ϢNݲE%E⛭y3go_\BkFPS.I2ծfBx#mYh K̅ze*2ot5ȝa\g4r(e'Y}Ў54)d(Ò*`r5O:= WZ?6/MSwV)[Ai_!`S-<bAƷFCŎ hAW>+}z`e/mn:ᬷ.%q(u7tO= P\B=0r82a&0wu8}?1; Y*7k$h-'Uu+^F+by!9K=B1Ŋyrr9*&XqY־C D>ޑoLdaMuAi{Nq*sbI̐II؂4Ø`.BP"GԿYCDjpf]Q`eQD?-p:*"翪pMDm_f5>i|h/5\{<֛`ҳe&$4.}nz{8xSꮣ#3Y ~ٗȟ\879R 8Ejaؓgfhh'Db00j6ř;ƿ*A.ϞWgaC-$j{NcG5G+Άc]OS:)t&H'\u0ZA憍ez”M?µk7^y_I^qd"a+7YY$Z2.'r~VDĺd4@ck1d=ޑ=oaT'N5U> uZl57BwXvt2 D{ 䏊TfJbnQp c f=z%p$^Eݛֺ Oxq],$*&;wySkq/AC__B 6WMs "g*? D^”Kޕ[mۚCSo7sigās+7_ }*h4Yjϐ4畁ŸX\sŶؗWj t.]Zᦴޙ<'>C`[Nv $8N)Qec>0N> Agw2ؽ!'BG>?.  9ɾp+k E3ZPDYKGt{{g,t ){dt_Sw@AYOKs~d _DgZI_b83$hWKSsK"jxh/ШwRƚ)35l&I!ހgTdvrB

陆V!Cyl_]:ZWq'iE&5{V7bnoMHuoj=@ΑB!"%`SwlƤUtw{pxX Gbw; éVPEGb%rhT=}.7~&Mb9e%XK:C6-yqN; 1e07vvM}e-hBI(2,G-|w(܁Gj3: . *{XɀQ+!se`b2i]b\2nhw-i^-Ao*yE,z9 X~-. J 8hlX5~Q0$̥|74%X@GA78S4]`Apezlչ ߄` =!+?9Mæ1|FOmߧoFakC FW4(\d|I$/:5Ҷ:TZV!ȿd@Nd7’k|L\5[?rM*-=xtIY؈‚fk{'tOpxk[@{] ̟L-:⌘fh=uM3xF.t*^%AI*?f wG\W 0>'{lxS^7g`0+ʦ J-56*bp W&K768aQLjvd#z6f|3KE8(nyz =x[w9t+CgR1&{ R`_Udt3 e) yw2Sێqу/bSa bY mftRbO0Z YvE.rEx̔ynI}|#7F_5uVa_&V.S[y._ FIY,!aNLٌSGXSXjdkgpC2\% v5<לz Ȓa3^ziAMit #O_n8pliMƑ!| H]}սD1J+9"Bꠜ% !+q\7kB bֻHFܦcѱt%Hm~{-OH\'s@@A_4Bg[bN[ХED|<ʁ |2g3G})g*ewOH.gK'rcƦm'x|ODD+jV]qUp2V{#S  9<V9ݨ/2Njb'("X:1,PSٮUMKtmmGoS vN 6ڮ/ >y}/c/5NƼ_@BΗ`g VA[tk\U3鐈f.[1%e=՞kUuh3L;9 |\#86#7F`ZR'][d@:&_z*Ǣ q7/Je<fe%Nun;ؿQ%k sڽ6 34f`MjgyR ~¦hU Z-M8I0˿WO7?x5:J#Imj uo^&acviYm/7Ik`^=di5F xC,炖sU ya g}!ȅU×oL_H[aP<|ɖ9"BFE5jPK(TUd{9p24û*-=AR|xFB74hO+`syPk_Ao¿5{$WDrß t6UE! x\-g( "M6bQH<6(yRG")ǟfj(.DZjO#v!~9i&4S ʉ >PyߨeL4G}* ffB(xOL lGY_eFi.KR317cVNHz54a^Քj|dMޯRhmb<ԽџN}{NET5ղOMp䐅9MЦr>v֗B餬&rZ)G}|c+,+ R 5ߟ\2Mu}XcR+F4أB$=.,ʢI8*Qk6D'&UmJ+E!_0l#Ghlg.OqdX59Kr$=sBhpaⴓC1lFl $SdGy@qSʄmhp)+XP +zO.mk']nEOU!/2񙢈5 VS,'K/,Z|!F Hv޳ QWƝNy O|U?&R`-6(u@.8У"SvrxWxR1g8<=(y'Ue=rutmT['Wm +-\n 7$+Jqat9eo/ IûN`C-lM`&w'T~h oP$1§35Zfq^4 4O.@*CIxH%>3"bʂנ@46I9{e>:uXrXD"(ɱfVD:a"\ȵC=n_ϕׂS`Ac6ry$Ay>y#]xŠ |S}P@LmDϚy{jw +Dt)=h.rݛ 4 h `(`F)ٞZw jmX ?(X: Sӏ)܍}جlo6Ʉ_Fδ:֝?йH P GB5TY'Dr*l@&Uv'@(Nj4$JkS/PHYKIY Y(yʿVw )҅eE߸ 5ϕ*z͂ ]&cn<9/ _0M$2 eX/< uL>5gU63kKAsjo29?#0 gc%*RQ`^S/ſ=H+ 3<˼6Ҟe\۵;-ig':]E=-lE0ͫ›*a1K`N趬U;j繾\DЛYF=,hh%\8ǖD|<(PF7~ Ѡ\*f7 i9{9:: nGۀ᥺ͭuw1!©Kv,cNO7&p'StCeMt ̓qo; n %kj*v\ϴhLf#R;qIQ|HBf+ZƮoJ-Lw0CWaBm cUsM#-%L^+ *{b#V]6džQ&zS`p2Һ%;j (ˇ}W&/F8-"։?5).#zR ae/`l0Xֿͤ EPަ89d@4{2.OIk&5@ N?ȍ`%@ES.Q)<x6D5Z1i \Hbpwl!0e32Jrgt610CPޅsWҙy?YHpaNS_j ԒY" X3ng ͑5Ie}.Nm|KtDinQ(kK\]t5e`s4c[2\$Ek`0Sw{KA;!,s fls޹blzU_/,2ٍY?xãV;@Gosa%TE 8a"ȞSXr%OXdewS dcp9D5hځXpbƖ:& }0/) DR GI ~c >\Kh(HQ&u++33ܞT?η#]n v 3)/Q;QgJSyR𨊶! Կ oOWg;+(Hq7 vxNLC璈{-q9oǵAQ+= b6dOẍmjw1I^TϰP져Wj*6T;"Cw`GNg[Ft(i}HCE$H8VM:>:*B;V09AT&7K4wY2vnÓK4Vr]!zhCo؛gUݹPh@̾Ip̗@D#s|MÂ$򑁼v*@DJ_1۷7࡞oɢ!O+l?GW(xTuUvntwiL{Џvc5o"H¡#FW5'"#9,q}zMsޕA4%7j$U$ԳezXs?Lv̨}TunTQh֊~iљctpɵ|>Ud]hHAY(CBM`#q3]17t%{V a> : $t䘎EăQp8d+Q w]BKhuO}`|ELo$s$amrD;]@8C#Lh p-%Eki_zJpY]yvUϳ34&̢/;e-6ՋHЈ`\UBE`J ATpo,a+DI7D r`^?m/)o5s/Oh ʖj!1&jo![m8ɫ/B`IDء {1mVw0YNj溰yvfC:n.j ԾYWR]rO BO ʰ^4mxpg#*r¤ sb*xzLSb5[::*o_HS@jzKqD|F@W_"C6=RB9z ^m`;?}j牙 s ZNݭ6E.&w}twItq+ 7Aپ))cW+@zq d?cضG }.Řʣ{NڟfGcNn^d E4x:@(kS&V`p@i o VQr0[ 80zцNkE{QUoyYF=!Ѵ^ 3 vCmonL̡aFF)x)܌<$p Ёy? ~ 6BA\G5ਃ zj3ڑ3%$K~sQ4j ="j SJ? \[R8Ԧ2`i`B変X'>:)@l (6ÖSwz HQk{9&}&v$g/AkE4>Ӌ`OD t , {Kj;7#W׭>V6OQr+b잱W%h+P۬ǫ<;En,g8A~Ftz5q3edɺ6gG=n{d9GL :O}+P&,\aG ev%SOc˃C؞\ Q˵`4o3ʊ[6OC%g3uaĞɵ]\3aEWtl}!~cLW}օy7v`m]ǜQ>vXȸ :;FN ਂOլ&րTf5" mf?ѣ+`rsFdV6&-i\Ì;8DpϩapG44bT5j҅NJk@5h-CKLbN>ٜqDh*M4@Kk,{PQmۈ?M kۤJ)e͗Rh 1#]bDZح2-0e=~>hj#4ȼ7mCy(?&5 v|I}m]rROip] X䮾 iݰaP&X58 =aUP_:.$GAmJ*&D^croUVnuԃ/?|"Ew>} ab}4fs5zj )*lt} _Z^Rٵ?%cXَ?t%EӍwri*!):ci'C|B{h7b/#`w,n}ș:T,{,j%ߛfA Rv[4՘/uBb~Iv,݊Z koÞ8C?;)NEi%p-dZcRj+bYJz?EV(“Q| ;Ayն"a] o~;j&?^A@ïoKI:PtkNsIS$kqH7H!KwQc &OY%F*w)W93#Prԙa:As%0z3 4Q D eF>etíbtmnN<0EMn1] ];C 9riZ׀͉ Gwr Q 旚E?v6R_x㿑 U,[^SuG [wb (ʍ?A؂}Ceۄ4j >Wwf} WzcQVixA_"@K6L;&Ԣ\(󴈂/m.0 dDk↰uvp (,s&ɍ˭& UQcQlf .Ϩj'3؜|lH6w.k7Le[OAn=Ѻ4/fjzz`P1c'f(]HHf1qPk;GitQcrH{Qx ¯PP)jv1 &5ڸK>%ôu{5Oz-|u=jm/<~T@B:, du pg`hZ'+WvT'yXcB!?́^]ݎr徠 8ߣb рYrI wd ϚKȝ_y,2KQ[bn 6W~9?֊3KvnHˁؠDž_ ,є?V̈́(Pq*>e@)1\EA׎(^ V%n3 U+:tKFaW5j$P?l+ |¸ݰrɰ⿯٢qA0ϰ*3g˝ƿb(d,s?%ځ MXVc56Pb+3VW>i<g.n[~B?H]UsEQDnJV胓 Wb9(c(PaQn[\b`܁!HKm θ:9Lܙ޼YeI<܆|Њ4q.PA֚I ZsZMḳkNA*;{!n ,V*QyyAr^n4$\=Z!Aiy *"k֊XH{BI}AhCÏ8\;Cs`o Ҿ4l="kB}pckҗu߿$rolb0{&LLa~GKMӉ /e >ptI d.CfnRO 4cYdɴnF2mKiz^;-Έhp'ututMNEzl " G0)jI\:ǥt fR%M`V +E hXZ)0s倀Ya%͠Ρh,` L;{t\=+c~S66H=tK/x0 t}u]2!NNtAjUE>0&6=B/ePej5H:cSǭO| {Lu+ F5sBmٳq 9֗IFBG!cyZ Ot?r:θ|spɬ`fzX8PK;9vZ1dʀ#{ɏ6?#ĸ Xӟ n:"\ix$YhL=8[o4cIPuᲺe=Cy/fi9=0$Ɗ+^ iS ޾M(X~7^}$"N+ᶢZ,VNV < ט{e$hﴵ}Tm.|wD3M4 ļ =S&mnyl[xXEWxdYlK-R>̰f x;4)fz9ԲsaSqujn ֈjlгY:1g`=9?ctE3` =õ$_vϢڼ j(, yoSHLOG< %rE_ab2KOdm CMREڏT< nvF^ģӑr\>(TÆ),6y;/ĝ ꢆCJ9 52]UlvH]YKv*ևY1Mɵ 7VY5 e px,:P -W U.8fG/tpn7rc|ŧn 9[UJ2sp ؗOeQ~q]y?QhT֦xn*)h1fHЋ77 /p\|}\Ԛ Fv|?: P(jNQOfc=-bvԤ;*"is{b^AJ\<d x̊kt]Ͼ$⦖XG9\`:,`x\cuDGe ptl5.TsIIe\l@\,V2|2Sh)xINdaWfqy2Гc~S[kJ(vɝѧP~$41o/Ev} NU{ЎDBnbL[SVOC/,b/'%9ZDPɅ喙*d$E,͐Nk0sy uxp%Cv ZP,[BQ5G{]$rhth'bW :ah R/C<ǟg \826V }`ϓrť^AfϳLhYEEz]q+\o[p{,14<4=k&k<+.–6 :qh:*Ρ 86XWr[ɚ>UQ&zхwY 62$W4O^ :ha|_`a'9;$`eN4=cK A# OiKH'Z?psGԇGR.joq>FPZqAJ슜HB3zk[ְ[;.LL؅~Kuz65[u kWy`M+ݥ"% EgP`zXP+R%)׺vj m2U%$셱d~5"/~! µyN +!\zƵy7"Xso9'o, ']?:a=&,j <8 X5liz;cTi/ XaK@9ԧ<;,xG>'H>{+ =$4 /FANB x([+8|d/>5SU\wq8ejh8Vy+'0f t0ὒ!,V \M+2Ђ %!SS|v~k k%-!)=;wh-dBX IQykhӬWDM&$hjPv!Kꈈ0Ⱥx'f!pUo1Z1z mV-BU$@bd;G/U"!2@vʖb_3r&t39C/eqe5&;V`Dh/в.mv$ɶo'_nVw t0mqJg6'/0a  byEɪJWfafi[ˡ:⦊$/NjFi|PЙ& 2иvv|8 #vg& !jwc[ڈ04]Gۀk۞&Vyh8 B Mz xYD۴Ѣkz;GxG.GG <вj,nk,v2bUkGUQ[og&-8#z؞^v5!k2)~\ O܋;qN8[=c&%gd^H,жìUzᱠUϷGʐguv&Fm._ $$õG@|t+ʆjqk}կ4NeNlZVUϣ) m|tTZ,Ֆ$c UcO瀂;bd%LXL(Υeը6=<۠R#*)jC挔 +]vcRgD uggܗPe2/ @URj䂐o߀bCid)Ez')N)理1BġtBZ=$?řZih﯒sÐ9o]k_@P@:S4}䣪ōOkO1J+9qFXCK(uwŽ"z 5(&&G3NɧTU">/`5mLk<˫er׷bT${퇴3ԧ ]4r5Ǥy"I\kWn 赆{5l"E3v2G:u5*[dZP0-/LS cJZŝEUD7?D,![yQyjK(uBc4<=YeO)`adby9 fшގw,;P6c :83%+t1= ACgHF$u~rY r]+ּ߹ ꓴ˖LxbyM.u5L\bB@o0J@o1IrZ `LziZ04%ۯYi!wjHBan]18xaTMwb[4SzW4z ry8#fOShxC2FeԱJ~i2艍Ց?|&ϙT6Ta*ս5Yg7X%Opvz$Ju`F:QIMAu=*;#S~ݮ вX>zK5juqXi5ntb]@Njj)q+*?;IUogRD?Kl;DRW#m$"zs1CCW%e1*g4@|^[W"5O+3I^zwG5Re\&b0H8=» yr"ZQŤ˓ pla!&1'Ƅm-YO *~&"*/S3OJHϭ݉bMHMӎV6iY{`\IV0hFPKE3lnnOG%jV3wAQ N= 9?rVpn¶P;c-U0 +N{b ݂y8Gh55,#R푦 H^]#EܥH 1@P0?n韲HTXf:Zk0eYnt?@q\٩ٶO5U`r N0elf_kaؔ@xY մO)Q\`fj*vXj.eEC\av^mDo N#IZu5`aefZ ǞW: Q(hve_o_47oVMQUֽ< <>3iE5 ju@k U+2.?K@Mv %S^t0wB  f-WwlG`mZqHc]m*Ϟv2%ICW4m[~ Z)/ d:CE8W;'~$"p8f^w\ ST{l5p{ݥ(+ La:TD3oLoh;LgHZlзQ5lK 5x/<#}V[ӸJ7!X(ܲEUTkgN» O4C YC$oٻ+LI[Kj̙66qU|>.8ywuMcnlKw:aeW'Q6Ӽ\ R<*K}|vc9/#/E} o7G:%2&$QAs'&:b)?n8V\vިٚ1LHp/#oIZoPp_-kx*`N(2,݃hT/Hu?(aƂs]'X)u*Dv#]S`(؂*Nӝ/Ӆ!ۃ8r}w#3۪~Po )̧.tso8uFk ",Ycݑ{Ryf`/LTrrZ{ltTV{Sy1~Źܥȱu_/3p Dy_;3f e8u3evNH,DQvlt9mPYSC]Z@TsX*Ⱦk4 J@9Ҕxa7(KǴ2E, s.툂U:CEpb*߰阗hмc.+fAj; f[mm@; :x.ȖЛ: bou]v$j,4[d(T;҅[W)=#KsT6E,"q,i~"mSw陠ֽ~R;"X3Ʋ~lc.ZB瑾v,S;Op `EI0ꪯhZj ]–=pZL0-XZHF!|BwԆhGZg} x4p;HB3Ä bFIN+)cnb\];?@Ek ^ lQAWѓp܀,:bG_Ҧ=#Ʒʤ/15.U t8mN[Τl]ԫ[1 ZFP-MT\c|t}$֑-~P<&L"aRztMɓyC(!X-?׵:]YOp53ViGnƐ<$*Qz3m hY<ئ_ۅ^ 76ElB.oH0 :m &,3k aW}{{6}kV'6[U)Yf'}UZ^y*:ɟˬ  (m(#Ld&z6RR7rT>xVxW~AZZ)Q*c^l7k1?ɬp(_O"GeU77{L8$4I/t#[C*}ዔXvKcw 8`8c֏d*Qp0xs< ^cg:T+a:HޕТ04WrGӓA5'kOj!gYK'7(b@1nUK"-fYbQTڤ ^k;I/cY~ӗ&[S2y nwž$7 nMF ɯ"4 D(6GD%j9|}Tr^vVf{HG{O' ;$BGf) {o<:Lcۚ}ˈm Jrfq^1/+#-I!vFҢ5U$Z)w)0tf2乤2Lp'Z^qnAIVeF϶C C>-'E9s',ça,ga4h\L\j`6Mr -?廸N5^*>:cp:%cR4A^.^6Z .׶_l 9ՠRԎilޠ-NUE&U,|n8!K">F1W})PQw4+5!0uU/f eXP<]v¦cTRb6㸳DhZDTLQsjb^s#ߋcfFC'd;-ZUlSU0>d|vU $*]YwITdIpaiTJꨆ8v c^E߰U!CGM{Hf+~5ĹXS(Ny W'j',yH<+áM#c T+ꂋl).XW|okB>4ލtfq B= l~ҁr([8uiShBH]ڶK4mbLo b92Bh#\[ڙY-#¦/̓q'6u||F6E+/ @%C: X̦J{HePPˬ\uR Rpq,)hѭ|fgi}' m)2cΦY[!ƇN'T$+(;7(&tb{`U}JE "3̐˰Dbid0k.SA8qmMv?`LOw?{ڴw[IO/Y ;w`؂x²(PZ$I>VreHr6y ;0T`&+PĢ,7\c|FNP%[#rX16S3C[,ݓ<1Z+gT>ejHo},w8zX6ZHu~j.`@&Kd$/pչg'NN+Yoi ɵ@tFSYބUk87C"x4d` Hf%1׻V |-UrZB;*Av{x(u)f6!m>A *K$GFTK;T oG*.J9r;WDY}jތlLh&#=K$O_cNgWf–.g b;G":Cؔð9Um~9{M[hqr0 ,r +0%.>q޿Lb8Znbwš7963ݾ1eꢉ GwOvݟzB+6Bw{Eܓ+j$$W%$`x`0ɉ: D6?dL9*폃|ēIJyyewʒ|i0ܴ$r6->ꛯc(=[W/ NNf޳/D@F,^ ƙ+tuBgOص)b 5б9qމZK-D$ %ORVn8)vB*-%YY'5kzTG cl 8D<@Y׶O()TA~n-ʢwH0cJ[؜ GRW+A/'T2a1ۺ9E GQow|N~]B#x !!f;u}!dQ,R<$ρ71b4^ul{T\`QyΜ~=|kQTm̋ [U+b">3_jc(kSx׼+v ]j, 6oa?r:Ky&Bl#[ p ΎMG`OK_t]ZMIك֐c3(OLMo*RtY"X-|* ^n$Bub4٤^cy `b敖&h3aE$0=JgOrDxUYIy+il NbL:VD{ N򪳒ٮ yD` ވm. U9-BE,$6brup@t/$z`&ԜrV̬mv 7iQїZ,;#ձ#9jO[^6k`T{gsPe6s~0>k[ EOfF$) mZO+sdφ1ŰPL!ΪK Mܿ7f&V_W>~htIqCۮǖ#b ?=X0lt> ʺ(Bgyz9$ө%w0r`3|lYm[3ʬmHB$Aj0O{e;A#6mnp5m]խ)P@0__D] лYɺȗJvC/Mj)ӚNjODWfTB_<(i^P!ur&2w+|% Rg.ߟJCsIr9ZGr.sI)]E$5̩ݖp!gOd:۬xwQ >5]2/OF_-sp\u6y_,sD1 :FB~z5[2UMkȲގ0Hmf a @!sɑ.qf^  Ί)G.+ <:֤nvHGm2&O}zMIfDAp^R OX%;!ur+LI'}3{]A!|HC4N t7+9B,v@x9ɲȩ15F 'lG^s-3%Y_ޘ[Yڅ.٢@X(cm޲jW_ |[{t0nr4'5#htd(jmΏmÖlp'q&ԭ^ЃqLh}X׸B _Z7י0ҪD<7GͺENw2f|xenlވ0l{Iz!FU_ Mv,j5)ɳw h6 uዿo@vLjN0`.IދMqjnɓU$mFPi~̷BM8>CWΡ^x8r>[ۻEMo 0ރx?.'~S::'j< nfMp$ %;ţ3 k}$ ^Rވݴ%(#Kn~pB˙=TzCE4T۵h3Z:uXƮ2ՅD-aP,w2JЪ+LCwB\ͬ~` @d?3a^ʿ5B.B3C^yu$O7:ac*ښ eؙr2|#&-[\\_Sl܀:9dN:G>c^QΩ7ٻGܪl`S͟:HJ`U{RE/iO\av%]iA" : _+A/|TKoewΈOf3q5 |f[XMsW͈#:MqQO[^I|7[*7v=@^_]Ա{pA&D,]L$X<p/5+nTIĵ5^ ԅ>ǥNƶbRQa?rH+H&зm7-3Bl)T, Kpz-!`}ő = 1ԣ$fLKL! }pL1H2s&p!dQI F:ޥV55#nHXe^p9C&H_yR/I;Ԉ2V?=}^yиּ:rv3:ab|"Hzw:lMzH8\'v8h K/֯p$,lXv릷V +ngq 2{/u)r,2t̷2 9t =c'{YGsuQ _5%Q1P Yx)FX=0Ƽy X*v5̜Jb@gZxqf$zhVܽ .gxf#!\cČ\&Vɹ$7j&H%*HO_c T\pCfU$J fdi)j;_׃3A7[ݵA%|a}OZVo6l`saTz3- DIZ?!m{Ddr\w2d6!4iD4'ÛV6F!kIns_IWڃ&t!̉=rl/^>#>u Ȣ `N|Js@^Z͏}]p(U66q*`N8I(/fhj#MBq^2z?KBbP$J%WunM6 ˠw %[7Ek$ϰYXV GCgCP0;e"= $]̆ćCALtDnp7%" WviNWBsCuaL@SRōW*9<)FUkx],^S@93{&)~_yy\W:'Nv ]Iw'GA'&UFRtsxu|>O>jatc`4:V MwH2Jg(}[l dhd0Nai&"P C! fxVJkv`V xQpLbF ]  "-;P 3 ~(\@mN otPTbz׿2/)Y{?֡[^̛8ԞFr\W7V0= @VHcs2KB77Ҹ=Pbo0:IvZzB螆)v10)Y|.n̘S2)JoèJu QF%_Gc̃*"7TDB"wu1nx ݃ <1$ɰv20zuC}2m&dřlVgY Gbwl^Rw72;휈O72*r'x(mo`}ϨNF z5?kJTT4WV^;$"?$|ZLC:<Y=TA4sFJW̮b |niI1#_F{ El5dB˝m+!oz4k}llZqxtLgJ< 6PFӰíܭ2cNٽB;{h+KȀ_X)/ك-8;Q>nf1FD-tBZ!B*V޸E4Gs>]U1ڪWrͳ}Pf !9|Qmk3s5\X'p}5tTp;I #^kj1?%F(/Kl=bDR6aOȆ_Qt?P$(5`+or rl%_š8epAOnr߾?(Oŀ^k1 R㊡DDRA6*oЗ5LT@wG~%F,p ;^#{`?pIMCKo? }s;z=tsYd{Ke~,N^QO>1; eQ7E*@sw+p; {4F돂r6}HFō v|r%-M$iℑSFWZ $owbg v}3=G5{W,EtÉԞr4Z3L}BN@a]E懾^{7 ^-Ѓӛi0eҧD{s<_ЖHXAj `z #f))B"<"ۛ=~p¥N]9&5:0mk ;8`NY f \ FJ8-dZQ\Yn!UZk`gc #Aϻ{Z2''~ 48 ˑ} OSlmR#c@G+8W;V{O 6:A2۾Gx,H, gON;'Vȍ <ZԌYA2vh}Eo/ҹNյohϟ9 H FHxK%xQ<NVGWg;o@U.2iNz6EPpd=xbȀ_ _`dbx]Ɯ*kr״"@Ȉkw٩`k-Jݼ#J~G7boԒXVk~#15 lf\',q6J I!]оּJcVt=rh{$Oͅ >J^n Ѷ=AAlZAlyOƁ6a"FT D0J'LjFYJ"4^ؖ[BV]8s1iwyޣ:O!$2ޯ @[+~3ݽ3ist$JUYY5?*aPo'-mN@ =>]ʏ 9+pge=]EHPip%CM2צ9mTQFk $2nAGRjMo<|sriTdPUp\@N9.h,8!71cPcNV477 !FoQK;?`ɗؑyK(m 3c,a%+Z&n'-SYsr9k*\" =x;Jˤ__\B=>82hLتx(7˃X4naAT`9/ 4/rc? Κn>xӕr.6׵xl$5re t"QB(m2GH,_v&os dG|3FLGDn">YttKw- s~]0w>) vХs38a\:=%W::w2#b ?QAgAZGk T2ЊZ1KT[>جSjU[ROmk%ܐ -`&w!6A|W7kSõ; pW 13$GA XmWQr-Ŏp=]ULBe7G5`G!`J8 9]?e3ÊiB 4FnnŸme3&iGӏs.(o~C,XNG֒uC?\3pSڷU`DpcXeP}2%S 䗫Hƭc:JzX{) REyrޙFd6:Ldž/WN[qLP {1=otG}P ̪, SƊNH">+aڰ[>`YAMaX4xⱂڭ'!ӎ-k!n<ɾs0^Čp? .ϱgYZ4c1e729c5ba63f887e91880ce5eb4ff51ef380e143c7be6fe13329de6d6a102e9f64126d9c7b89c83f393e9634183614a34965fa7232114f4feaae41