SQLite format 3@  . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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%Tl S]HOL-Analysis:threads=6elapsed=315.499cpu=1344.400gc=84.500factor=4.267zXZִF! lE]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍD۶5hPMpe\;Dv2܀Bs|.f|oGA<ی}{C ?n Y P)hgⲸg?10]ߡk S4RP&wʎ  ?"09RmWg6AtWxv'؈l دDW\ca0P@nqSذ{)IH#5f fvY:*{N^hX{rK`_+]/ 01 Uٿ (ZҜSge/s#/R_$였@Y$bb /H[D28qElm}jÞ|6*J*%훲?)l!*I$Le"y=hBʧsϟ*-HdJ\Qc|dYԹS@jbz9 vbœ>%LyOQyj??75x$_Uf;C=6\ A)h{d8zR]4? qP;UlREqS; PDJQ;3yT0#6×{7;\2KKuU_|2c5x,d($ҕJM0|,`] |A_pתy>U8w/fEŭieP90-ʫ|$*ęh/NTB_NBN/GU5C%(;q]-#y v|9Fb)6i%{,Ur|pA@O>(3 hII Tb2@Џ) }%9BV38vgTm =ko/.vaqL, Sif0lZ WrTKXHP:8Jk}TCX?-螝l2Ŀ` Ǎ7'  }6U{K=&OY2;hG:ʹM8&NsAuT疴*[Ҋ?92 Om@|&iAqW[꾗Q#[t^汜fZ9B=Mi@xmdc>j;wϮDP%f09y3ִ洅d×5Oq9P+s3[V%DD|sNcA9tFϙ~Kk_\ス"\wȺ7)#ʠ Np\HBVFzލ?/pyWT)C ^ԗf`%Bm~5F+ K$a;7`*F5AM:! 1 >n;1c@<_ i)/FMNl펶+R6bmH>;BF+g-?0F'L{e.Fb1IJq)Ja'RNtX62B4^,\Fx5%R|=ڇ>  y%vY׺כ,u;G* x왪? MqRK @Njq P{헡qKKCҽCN 鍊͋=2[RG,WNRX!iۨ_R{E,A۲n4} 5Nb}]'32?AoPe:?hؘԖPcX Uek ':<]SأKf0>5~Limq2y^AJ;dl#!#wgŶ_7﹇sK ~}(86CZE_۰WF2:>- tv ~jy8R"+_ &6OCMd" `r\͉ɴ4Jվuh?>Tj Qwd+2zt_T8kRVb e H@ϵ W1"!xq0ӌNNۻ 4crgKR$ \LԁUCG4WQҒqi}Q9).aª c0ߡ$;JQ_W7Cv5^m izӷW]h=nݒ~#.b\3NͲM;si2$u|ͷ>a&JQ'*^=VxO 'BFu%l[.Rh{^(j-6D{}F+_L!.ŏn(8W67yIsQ Z> ѐ 0&FQy!`qpwW')/@/Fb!E>.J~29čgo6=,XOZN Zڜwb;Jo$c@ΤZ̀?>M M^`n"[{0>XYv#BM\PKTUfjtU%=8U2T iQaoFU!Axz\:k( w't5S\jbOroQO`]U=wuШ % HOL-Analysis\=i~bݒbJc\JzH Çh8،KgzTqqj?!j7Al1'XsZBkb_j }#NJ <GkUVџc֍>=O;i'AKP!Ё|˨rbOe mV U>PQ$go9/Y0G9e~UхDϨ3{hŇ"dd0[g^H7=sHRWZH!B9cXQNQk\7ʞo;Ƨaou{ }@mDž/Wze;=އGdlp[$0>,JBpx(A \#ӺDO;`Fhm)~VUL(F\>S|b|pmJӃM[o{+CܘXN拚/Q!"QwJ˼i?c@9ohrsU݉WW4[~m<Ԋ!IiG5S3-*Z,4si J͙s,!u4=so ~/i %Xd!uPQ?vsk_<0XơĄ4hv.GނF1N#M !=i5UQH5k?Jx &@LR(_2—r'Jf{5 `VTb:~}IR(AxWzS`݄z%:S!z#HWlop.U|])'Jĥ TQ .<.&Yz]QR3X$cnr=5=5B+ ?"0[g@::=;׫np?pۛ94LU ʀ {\nW |GӴ4LE˟k<ZЧT^AKmCNd0A9芈J `bSWw&3b|4<LzD:7Zfc@_߉#ȜTm$*}Qo*?HS}86%}. H:Z[V)9F}}uK҉m':wE2?ĀaXɤHc~*hEDǽK7r7uoʪ݁̑ؕ,Nw PKeW9՜2O4-g+~˜)oPڒ]v2x7i~ZTxhQ cyJN~,h>uha!=zlɫ4 jpgN,Cґ6vJWV{!"O(R7 W0mrt!kx_vV|2U5weYu7F4U[GzZo'qsIf|:ё?}AI|)q},5lHDcZ&JjA(,tBP.tFm>  YZ>a 2a.:@ȝaՙZ>  N&ձ@ ]g@e$eH{/KOY"e sՈ&â|M UϧZ1(/}SSkE#5yi|I1;WWfE ׻ q,9lKT貄gȏ!rNt,D"hYWI4>6oƱH6n{k^hsԶ}Ͷ9 Vɤs^":M6UB-_'THڥ:Wk@h%9,?$W?0JŸ/nвB-U8UaJs*~*UI;m/IBc'wiyvOX׎$#U ̝zbh_|ԅ^I咚A)7H$=<.=ma?]jEe_ѕta҇ £V<˧gRyL<|d hȉ>ղ|,Y-?: E[ {$~O'VYU6G.UzD%>"J6X׽?D0>a.)2z@?6!5a~;̷gcj{2nz0h^jaOdڜ*?8=psNt 5[kr3yѦn^owAg0mϰ5?)?c]!w;tO .4JA/Nj'.ḫ?x9~=bMH4%H+?vSڡ 'k8TPD=&.$nIfN,x'ѥFnņ#B} a yr~/[@r҆NjWOIGfzd&ρA|L~[Q`{tiiVUZ|wn4ڼ_ ͂HkĵBxwVq {v9ägY u``I ^ ݻ(L^fnCYO撞BmX>s&WK]P P7Ƅ ɉra%PFT* :P_Ta{AOTWW$k܌=[=ڲ™8=`E$l|_D`_pPzp,n漯w$FI; YcA%]vyGU aM`yhixEِ!w~]ya4*&J7p¡1ګ;[VtݥFU(K b={]}9ꮘ+ mVG6޻2̦pU7jMvVp6hY2NFtE>$`#W}Kj뉟ts( F* 8I c۝؇im5&t!N6^'k(д/F`/xE+L,Xk}SJag޿4&0 OQ*M(*סdp /z2;1oeohYHOW# bIeK)@2d@4h} {Q&GW !]Z#_#h1k, ;F፣?c&}lD^E҅AodT~Гș7FСѮgh{ƿO OE‘`[A=bhyTj Ћ{^)f6Ub dxGM6`4Xo輳%nA3B5wٽE4K-#i@[UZ.QcX hX垳+Aޙ#D{t;cTklВ`# o%/9wveTzf7vk ӵF N13<ԎKx|:t͗}.|DPyΑUs`FGD o2:]'0s|ؘ 0ヴ ڏw^֭ uإFtj;;mo~1:O9TT.cj"=0̕2j}kHFՎ=O('J vX7G9qț\zĵL*2,[gz*JU4Ai6V]훱$Z_A 8 R:9=Q\:d9+mN^*,Wnڵ4H's:n`x,/篎rp>8Ah@-t?HN)ޓzrWY^6wlK"W%WHf8\V/d-hP~bKSnH&1S^er墋kd ED_0 'f:{t2_d#NZ9 F[&Dx&* XO嶥ddy4aq?н+|EEPxF7h]166r1޽L#dTq>&{^ͳpM՞<=,XR1-I5=11o 9s]e6Uklx$C vvaqIU=k-ܟ9<˝@P.2Zz7JQME-xʖH11F3d"ID]F'wg9|+ 3R۵O\Z rqUg=3_& 4ʧ%+MO²Oz`"ܟa`shS9Vڗڂ4:&OʺjY W.卯w|u&1ؚE_~jNn{qo̷nAM ~0p)K~H'Os% ta7,Pget!6D~jU7Ȃ#MxaIP|m_}9T|W\xP:6g)*L$L1ҝ _!{)5ZS+YL)tA J`/Q6FAe& &5?x(C.Ԑ2Jㄲ%-6oBie]mlfw8w\ɑilwLv "il^@u&Z=9ښrr~m'Aݝ[q#DJ@ȓ k+bUoL%9-)1$|XB)-`)70TN~aĤfu룯0%iH$fisE->֋t) `ȡ&a0)tD 'IW6wm,\b&`C(_lWHY`Pdpr_lws/?\0V&t0+9$pLT]ChJ<`DZ8 ' R$r<ſR@ 9&a0DՃg䆰2!9/g&O9xD!cNK[fMǔ:-dȫ θƓӌԏ–Y])m-Iig*.Kz!?TƁ.pyMz[lЋ~(:&kC[ǺXʡn[R!"opDų4jnJˑQ~y$g EMV-ݯsq$guB:pyDp y>L'gF-(z߻/p_7pS/6&cs }v,:#wD/Z/H+Sz~ijݯdfKȅS3| m#|~tc%S`aF֚q2AP̴L2\Orn޸=yZ͍k~wGtF;y!_1P!`8:~GAԦG K_!@ͧ1)2?§8 \0/@~A!q-O6IP8Zdpl1 f^WzJ1k y 00+,C^d=0s;,8=AJ cF_Ӳ^e=}LAqwd) Ҟ}QXz q4g^t;aLywAhmLߧeQ@fߚxճ#PMI2&P?QmT.Zܸ 5l|P`UIF<PA\Zd}WCCf^OzfRw+]CaG"åN:,A{%i3Ew'Mن/ `Hz;unx>Nm%vŵ/.CG'~Ig(7i`k#1-d\7h-@<&, " Ur!O./&MY]PJCN "SIS` |xi!/*l;)%LJٻq QtB}UmOȔq)W~CRiT@S) 3 3Nd1+絓θP '9-6kOz9щ]E%,>5&݋+Mcf Dg,x@'5F-竑LM֭o:S&p]*6k>?>L%]sT< Dá5OOdVfp`##F0v&iˢ Q}!1ܚ!Bc5Ӑ[#n{'K5G  y|}k14zaH~ Ɖ]}d.|̈́"1|}]2E#]~dIR݌G[, kaތi^%&WИ-c~÷X(,r;Mns4x7-Ĝh8Z }-ZkSŵbI5*Nt([vnUw*S ɸJyySsXS5v}-! 9{+ 7'%>a_W8V^c/MZ,2bXD;b@6Y>sᾗmg#S-t,̲vp2IP9WN_ vUk_O:H>N,x,񢝪|LT8Zޚ,K[7l$?A'|X]mi̐YkͼBA8fw.[Sa#Xa QxCA*LhKzMV۫ݨ-HƂ{K I1pJNnV3Υ8-6h?Z=Zzu|([~Zr?Cꜷ,4u}!%BLC~=緾Hf;QFoќdzA'sd*nQ#6[l.J^*lY?M1v+;*KR琠_bJ^JpRuyĮ'ڞ q6 w9~VOzNXcNHIw\|x ^E\ [yZ\}]Gѩmtk;d14eʢkbZJ%Z0xvpGg7/L\ظ7 <8o^PꘕD@I9[BFp#KC I9LPj`,A˦Ҧ߃]h%zttu8ɨZ>m*q)LPW=Fڝ.\FՇ46`e/%Wg_j]y;X!7pa ?vqԱn(?  *]uƾU̞pLۏ  ?Qnu'^MgΤDfÜqWm_C0jm rqo.c6pi׎ ֍"E־tVHC)9v2k/KE{R[cw{˯javTfP˔1J8%hV^\$y|'CK#xŁuԣ2*3G|] zG2Q (Q[a崅[}Or%>lJǞ5#)58D0 K!GDca^ߦK j=?As)I-/@-27"< PbcS LO( KP[u@:xS>򽀘 b)1&a ;\kF0y6CM|l;N#8ڞOm[ROtbkƆvb#h9/@B,J Ϙ%P\m5r(Z?.qO8e#H=5EcK?53ѠyJ}Jq[< wJm_yc\4͘`h XG hP=;BJ˜8X87-f*0NA۩|N@,5j3( tatZ'cg5RoK[wvys@Zѕת9{ di LFX(p,2R(-"0P䀜em;uwXk=0ibuB// Q́ѵق P7Ա3pt`Pz8:t3=|a eW`xh(z[qjfyW5tƾy}]"U 9>*DH)<у,őw&sfEwVĒuPcuB3ۅkb/6*0Eg/1{\e(`JN1rI0O>t!Yn΁iWDM\K<* li?N oB/ yLN&\;7iHi} I̱lf+e¯cy|)ڻo&՘!xHik׆AqQauLcÜﹻ#@v 鏍mGl*BĖ*%x1Y#Hzƚ"X9wE )fc!_Z߸D.&.i9z19iEH`ħܺG!a9DTiTϽVnmoQy9q+mNqEwRzٸ6B=-wDms!!}Q9<Jq,eݞn`4WsL-ա5L0=ia'! <OZ-hoxc EUvɞl&:%#A/!\šًH 䦑BÓ Gc:jZl^{~хM)#5yW߷ᶥ{/]8Nc*y5b*͔rΌ۳bj!aKK^\a F*Fkm56ӯ##ugrF+=WrR{OqtBcG|CMC@D b4~/&p -(Xla\(Rn !"|q5Wp 0MV#sZ]^dg, f95#f9GFdSѓ%qtN?" >'sTW߫şƠJv[W"d)gcnj^y&̜Hr]ڀ?9[$U!3jDt'\vOcչHAa E87NfBΙ@42$' Rm^NJϺlFYQi4n$H >2zwnDfTPġl˶rq~l)5}g:{/kI3nޛωÔC(4IT7>mWSذ# R)) ҕ3,v8ݝ9A"b]l۫q;}u 1wnjd2}Y'YcVK켵VZMOz5&fxi^Qj[Jg:khó5P,i*Wv٘CE"&'C.V Sp_.iRiQk['k<W^%iY.ϋ1>>;=jY~E{Afw+H;K9( =*sQf\luB$q? !:šEBg S?ɞ ÇS/,dJ6z+zOk`i2Wer--c2d"b0Z#(m?iDWe3l(;Wk$Dʆ_;+n "tu]*^/k[Ag.7&B_ h8]I2)1SN.X N A=L~2o %C/Du*12gUaFcܒ>Mw~)Hz,%/dkcX/ږ" 3w>,^Ea+(yEt .|AV)ĘM^l+f]{Z7*۸;V f-hgD[q(S6"39ii "3LOLsk=]V|nNvwL9Wn_ ^Ĉ*v7SCn3Ӳ3JMaVrITԖh @ C@.byPx J;-L鞾@r2YL!ZF5iHPʏ(nj(h ྲq XOХ`7 >EGGc]v ?ɣo[ [@K^KY~;Ђ=\/twoWp%VuN>Bw-txWdaD[8LmGB\ J,!Gni{Zߐ7œ`Cb~ׇOj\{^k[#( ,/pduВboKuoXD(;dצ D7NYY6ْpL5!gy;#P"%850'|3bWtN.]]VnhZe5 f}Zo@O*>awFGƁ[VUʙW+(Zٓ ^"!0zzAZ)b~K &ٚvXlѠ1kcS+Q_ l8F ʖ=7 |@΁fSC2]B@w,uKٻFH[p 2g\]Z$PbO"m.^ 25l j#-@ M`_OAiգ[M77VoH;N:2>?]VMgyÇ+[.&zŒb=C685|= MG%'3\( i >s&uT ӘQ&azߤyPzIա'Ze#a{%z8~GMnq6-.T Q98M 0"隱gYZ7zXZִF! \\]ŗXi%6,Pȏ3$ˀevaь#i+ZADnF%ZOZo0HcÒ1׵u3N#( 0pZ 0gi0,UK ҆_&JΡ .Enqfv3uھv ŵI}dhrtSO}!0S/бc]q(O xc$@^' 'Of@Qt]a)s2NUZPOmAwu1\fi%0ͱ z诘&6:P9j(Z}?g5K4L!0ezҙ8j"M}%4Z*~M21GG%`Hia2$?>4ѷlW2zp hL)vx>e=.fk$;$m°y2黒*zg8j+ #'׳R,PWu{B 9m1FcG&F2Cќ+)g6~K0jΨ>"tQZl1 z̓^DoS`-EίSQԗR*e"7YT.a}W25ߍv WI#qf,H]W-/^/bvWUR|\h Le7/!^zڃ}F|TZ ` Tuk7>Ŷjgijwb|%gp+sv"ΩgӸ!}p*~ܘfa4e[Ps ҎG8;Nt΅ ܕtY^Mi @Ę$D YAEdq~\psilK 40?XkUUv GfV"T}sfܼO\eV" yF%1ϏT:+^0Cccf4]hL:;vp~miuM $Q;1.6"ܠjA#;뇓ŏ8=@nY@gنRw%vjj2u lRFjAӆx^P® ysO.LE6Cm)D|k=@:!\!Te:OsiH^?dBr%)jui)g!_-^tVg=AU7%@du ]dվ2NR28oMJ|uumhZ8v2"p8IZ4i̯K6%WT%si?ٱkؽ]n*/E%k]hMUs7qQ@+P+uV!O7P#D@Sc,`{T̬}7G2=z5TbAcod78y1 ܃+Xs-vP6]Ky=to )Q7jDŸ>ekB*[K ES-K<&FofK頤L} m3 wZBv 5R?bFZl ˻.D'F[,*[B⇯!QX#k'rIbz"~IrU"[3ڨSȄS1ș 釂nIbJ8::Ըo$rc4 {8Ԣ|4ה0rul #+}l5R3 ;xh0&oFE5-9 fuļ6mOzSl5GW)f0e3Og }R q:Km5ZA?@S2'WF}z MkH<{[Jo* L7ҹG="]ӗ5Ϥ{h.L:5aU2G*nJD;ko@FNmW*:TE;Aqv\:jTD̶~mr1yk L)RRب.7}:KE!v)/ 6X!6ݞQai9 sUMlg¸PLdzS'TyzI GkD1bxl"S._<L>1Ms)9>` Fp[\܊ʬteHe;z H(VrwFNS>g8F<8 Q]nnֱQ\IdE}yvg%s< a'ӹ8O\PǞ8@ {A\s~Xne߼x6gNUEʫ Les`[(Hnѭ`Ƈ]w#{=/`p%Q?l\Dvj m2؋+3i%S^|HĝolX1u.W2:U9)I$ӖnW_נ8fFQ;u[ɬEiZ#fkM7xWѝo[2~$_Ӱ,[=}?I GBNu&oo$r2J5ۻEI]LZI{tXCÇ&q%,8<{/ PRA9Z/uÔ1\BP.p)pAv|__>pfgxQ܄ݷ+h64!H@v3kk2ė>Q1>cKjdhn)Hv틺(S([_ ?4ߕF.=&Nkz=8i.8y}}O*'[ӁS/^0]4.CĈ*#l ָO\W?厮1ypж=,fu/c֘њBК~>! ҈8sw#.liP+dèP S[%N=3I-r>p`{HZUBR2⊼--!la8Vė5ls r`w`Ln"7"^ZG!]6@">j!>&6,5D'Ίf:+iji_H/nB<~CӂZfuS6 n@@JAEX>Y>oRG|V]Bdi@}Aݹ̏bo$ABSvB?dlfbr H3Jج=^]~Axo*竏Zu8fK?ݲ -'Y!נ%a RB2R4?3O^hF@tHȇfmף;}Q'V&giݹ ;Erݥ IVE)3q-mϼftw!ziM)ٕ}/ALJEiF b_~:~.EUK  Ef#Egt92uh09&:#n}MaH+S./<3mmĜvrya&zeZ "1QQˏe}kH/ݧªjUl+x_ :>K`Qۢ] Ue;ƒDiV=EIR;~ʻ2.V5_냏tH`TRb H {L"ס h%%Sఙ?&:4,wmg<8`b^tpe3 ջ=\̌7L`0aɦՄ@iSh.tkPq檘o[^Ѹ0JתA8 c9_z+ɫ#5QpZIN8.;E4)PډjD~{qh5G5= &to;ppf'($NVR Ltf(T&~!5AKY!aVSR w@Y5sЮ%S vHoCQ4; '#Z[`,jUV,1hŸZ-ߍQ\0^)N}_(G, GCk}Sjnzfb:RtXcSy97,]Y  o-#0i,pVP;MQfT? -ߨJۺ4qt}1`m(C}|N+@Mf F|%p/,fuxzGٞI8Yu;kLXuPς DN[t5Nz }t6ɽG Ί{K}? )?،r;}8Hv W` ]GwlO4(U c6s ܫo`^%I|G4ЙW\!#'f7.u#hnOYaPET/ܼ& m46~R+ (&H,&9 ž9 E uR_}`VaS^ R-R1w 2w^OE o6rkwʰCڨw6+0I+}sb,fPmd5oV >I);R~glA8 &ly3{ fuD<$\jx1?7qwT"Z8^>Ճ-jU*l"ht)y 3 y.q e":E=Hg3T)dԼf)YJ~zؠlLI'KRu]QC\Ly{1A=$Kfm\= # ciHL'{ύn5StI3vvqq^H,@_\$[:B>1n ~ /@׈O>\"F>Ʋ3÷IړsPKQSv%QʷNNèHB(4',]Kik/Voca`% Mue c~ץ_. uIFjcT' *m<ɿb;zmtpzD#h|Th1qj[%ğBwm؀v]Zjibx357Ҹvk q0h{Hn4f<on߯:&`+0Ci5LƣDivO%.9cKzZKօcT&Hrx!%Ov=!= #u}**\+P:DK?D E Gx['']Gf@h&s|BfՂ}BU*2u 2*BZ!!4D)h4NTIX _̘w([.Qc3/LJ2x)=`6٤T-)D]ٰ4a'P$@ oVWC:'Bdl VRL&uXQ MU/IYu2옊~Gƻ+>[_昁u.dX@*EqT^{] , O\kil5w1獁' ON5s_aGT! ?|{j^e]Nw8za/;Hfv<Hre"UO!ZA6|hCY"9a2ހKs|]W3pHox195#((tNQyp`vQW]3FRvun)0jxJ_;_Qۊ,!Xn6΀~&kc܏uv/z䁏Cߓ#F_ @Qd;(']0" Wcp*=dl4b]L7D+zQf-ԬIE b!4~2Ge[A1N88&Zqu T nC ?<<ж}7xoPvU3.#޷6|;x!h^ *F")5ag2*W ? zkȚqhݯW^{}b&9퀓w,n괃G*F"qX)t~f^aΪ~xan|;^Zad[L[(\D1j"=$Żuř#]]jY ^`nPtf1".{O/^!$ȭr۪w9wX 6Z5d8׻b}p» su[c0?6zLn.^錅$5*SS4;mfSCYU0,>$؏هl| tH-Fݷ2ƌU Iݔ]tҙ3O~K"b6N o/܎TW7RSsK5 urΤV `YހTՇ}!d"ATJ0+D:l##)S;0KI P),Ȇy`ݚU>zȾ`gR'/DpfjFtkQ߆|Mm7gx Tm\J*2+=b犛Ik{>ؒҿ1:@`h},ʵ²u&@Mg^Xm,A#ΎzvhZJdyK+7S5bqg2pǁyuVJ[Bkn/"ӅqVoAxNu}BY֫*gIt aSNR<(h"v7kezˀU.EC ᓨJ4}NٗMf'9wsdIJ8<Xo)c貢 "] %]:8lS0W$~jr?H xM<U%p`voD~wR%>N,30(_`0|KF@9-Q|.OT;/qMk-ZpqqgJŝ<˗zB>%1141 w&΂%00PZl`!mTGnSZYؿWX4i:=9Gp58:\G*.}> D,>V,,yC"d/FH֋En Խ$g@TBkYfbk \UE(*排JYWq/×lsw3U(r?4vZx_ĝ7\x +Խ}Hj2P0]n1:;gWFZ2LDeް*+.8<[1ehVFei _g+ 5rR$_m*mz.ͬ)3\QL_ v_0D T3+{Æ8:ڢY%lsY_G9҉9Gn? FE2yo,..<{$MRhLPZ@Lg>h H3(ҫ||`ِhcV!!׮}L8(%N(eީs-pᴸeקGb]r6`J̒DthK}ihbwci UVQQX{gM;fXnj)k%;ޮißR  "RSuua9_n4wP*04 6.RH !ڼw((|ye2D;DCҔ|HLk>5NJaDႪnY}vdbK\$NP,ny 'yլDC\ Pe }2p~}Ai;F[9'{hrx_#isOQ'.%0me4 k#X : GDbϪ홺IU C!hfCb _,i'ޛ+Q޽q1JIF~+.w_LH뺗ÛyGY`ŽH3j\N?Y{A?HOyPBGzҊRTjd!d`[ ml!Gb*ORg.\pT&B+$Fǧ=z1-rx`iD:/gL GVxvWoCZ N[c_ʈxc@|;$O0 qXQpD mOe:}VȲEϵv8-/h< ,Nja|iz !Qlx 2>Qn],Pwef<=#A=){-ߺ)iڏ |b01[@op<e:fǾm8שkP(.ιxn#kU"jicCeRiBu?@YJׯG=Pmņw2ȋaϮa݄=˧2T1u--55!4S&[Dkߞcs 114  v%q.=KD\oq"kq"6x}.G6ԬfeawԺ#z-WlI{ q2*xoƽ﬉'9u{rcJ1&?aEKf.Ƌ[j[[.O@xo/\/{h~ 54! D?_yiBQFsokĪ,꠆|/DC_!""9cy ~FZ<'Pmp=6_mȢ[ Nj_$Q8;f3MBU2KZ?߽`29R!듬{JleѨ 6Í#xz]LlLῶĮ7Q/z, Et>4vVa*>lmV'nA['ݰ4w昆10"5M !YͳD>{Jy "1m~H>(Q[K} 9nc'*K<;*i^ dd#b_uab J7 ΎAEGϖZ$վՙcd&+( ,]j])lXIr+8cg;x/F;jY\B5t#j#͏;y9:`L k^E2j7b$-%6;%"Ngތf" ML"سUvS t iBךsΉbFC?"{\u=?=>_ b?М`%f&2xq} tK?N!-%G x95B{^ >3kOis=-^ɂH?ZR; /Oq#!Ob+ܒ,j4%HRg(z 1AlipMKk!: z l.O7=mOB<[ )=ރٓBwSs?^5Y½d CVG43'K0D>\IsL$cyew(oFWq&v"HyUNYNm]WoI~!Dё ,a_J,(<*gd`rڪr^s3}W*\RQOˏQs"pV?ǑN{@5XҳˌwJ\ o Yrj F>y)f%/#ͬ*&R\v}`- N{$5K=gzv_']GG ܣF@ ^J&I(/mH 诮1е-b(ˊ[Ny?=O1G/TiDH<'4(CdX7Cqf _b Ŀ]ɢ6~ƫZ(ؽtodwE% &aSffUItI9ƂZY|}.eȉHp,SFᇴ81+Qy#eBѶ䝤[lA5kRk=zl8ʁdW͛N.@;3s(7YYRѽ7Rk4OpĘ0nV-8Cԓ:MT]8TmIl ЕlAjVxg6PdWNa}e}sFlm| k~c3my*4hoFc)f%fDu$t[ |Q~6˹G$9Nwo4't%VC|'8SqLIS: oS@n}2c/G|Wc9?ԪrޥמPEl{}xC#qwfKp6K"E^c%8^4dA/> H^Ø9,7g9H|~[z Y![MN].sĭ6'C9wspyt.4Xslh^ɢ T kbtxKU"ucZpE{)יOR]E[h,D==3!HNxTu %%V'fs5ǶD] `[Lb+fQ}N%dZ3lcr lzдid"^}}4.v+T0-G~dћ(S,~IAT)($ z(\ ۪*\7~0е+\)J^?<$?LCL<[~%ɚ,5m57p( ! cr5(8 851PY;W7Uد0={Ot`7tz&z.Iζ2h (`0\rQ )j5?fi%E_5 L"9vsᓮq!jkӣP/;~j\ iC us"X^ %wv-Mwڻ w56D7,ʥ~l./web]ASP"tM `ɱAK sٙA8jGͮCv ]7~2{K2fɬ^O@j >;t8i`S'vgشŴ23 ďo<#S`:c1H)-y7O.@BBe oĩ1WcK{aD;5gjPc0 Ez;hNˆ3Ȼޖlz$FKΉ rp* [C )j "(Qc{LHEWs0|5AB[IҘ't߯=75~a v?oL9KCN ^]Zv{ V )qc/f2|?:{G=2]q՜?VXpל٬ sq,r\|]0N0P" UU3N ✙%sY[-jSorPI]s%&RUBf,B]p`[/+ ebrH|8T+brmĽxT SSD^O0bqև_,0;aN2Ubc0cpyxdI>-uzSUBѻD~vZ㛛ɾ]‘ F=_2'o_ Z̫l܋vKIgg{õ*#XA$j[ƄՋ\@a1 rƄwʇD͞ܐwhb2Z=X(v[dob d1`!^Ƃv.*)gホbˌVIkG@.<>K沓|":XxY!5=^w˺Fs%7;sP<,,]_.q N >3{:h8к)ޯi}-qI7nR_7+~Y (EN}v!0qA?#">c#{ , la٥Lzpz9S-32 Ut!C5($5?@EݞbM7t!~7@c!~^;2R .$eݕֵ}IƓ4[Y!K@ڜp[jV>VdMkįnVy9qȠ _x_d|73D猕B\L͌|~.@FԠY~gWdF4 ޏ,g@Ie##=^M&}V )84y̷5 .dWLKb309s1&B }R FVG[/M k|"YP2NT z] |2P,7$vփd0lNx_o*`@_M] Jl%a%ao|/HX5@_訫Ϛko"=-{w=eJյʊL:| >9nN(ٴS`.91=*ƶt&,`TKdk"fG֘`]@;]w?qUuEnng$]y<0NUVl`1~=3{0-E.ը4bM4LKzeJy7_Nm~q[͞śrȘ>"GalZ2eȹ"eiPn 90:"aB6 E8^Ia$s[T#&6 #v34d7С mz]Csq=õ}^U8`%=vW7avxi1_ {N Ud -w>kHG.ŀ'KFo>ݾ#??>Wٖl倧jUH/.,۴]&Ng (ԦM6N"O-D*}%C5bH'JMSBad6} /*Z߼G'OǒXji.QyW "M1L;}F7귣\Y. [v1+dʹ0'<!x<BJ7|;m&E,Xw;!#i'1d%>O^?ȗͳB]ѼLc@ *bڹnG/ҡ`SmM=sxjD̓[^xukQD|)"&чnשc⨹9./7CqƔxf^˄Fކ?tTĵ"z|0F`ʼE,Pч⨢+(9TcuoL"scL`OHy}IuhMI\lP V_J}ȭ϶34/;ٷ8=UVZG&N6ō[Ki*B7bEY ]bfm㽧RVtq>U\<`ڥtiks)*7@Úà@r&'UcZ ~zF?&+ 3̬Z$K\6`ꅗOAJcٮAHDU,e<3b2uLDԙ^57z9yͳqDEXIߧ"KG9Jp^C y+"4?t-]a+,$u ,7a \TcV#[#VȈp{m&eNz _&kwA.-MLwYٝ>@K倫%1]8AՂZW2q!984'Ty'+/()_ 8d:.]|9ԛ}9U)O5i^ew2 T[w UøۣeHZ5dAvVzPCI4/u,Z2 1T5,cR&fQ0J&JAWubМ יNpjD%mԉUhlUdl]9ן4M@A3 F\T5X 7޸Y4)ydvdHm{`PF'8[Gf~0Wr.;9d}07M7՗S.y{r Y8h]ꜷOjќSe)XT?bc繣ʻfjbCg9bmِ8Ux|*,5s q*;"L9qlcp7 yvxDrl}{ Iи/i'̹lFŊ%\UwS" 5c%x.V <$zޣ@r{?<~f݈ KQuR piꞑ5cs{S̝)>a/)\5|oZ;czq'y$8tD=es8!)~(MאxvOFCNmuL]~qj:@ 0 3fv?"WE,~M벬}Sd/UU{<gSdH-s?9RB̹2W.AۂC_*O gpEn-xOG=#Lˬa\yX91Y˔~ȯ]R +I pӗc`qۻE;TI%u*wVx(C6!&'o҇/T7hߧTH'\ XVAݳ2vQp'Ge]aŧ:>HvpMջxolY~@{hF\ ,Uv7: ,Cy*097~=tPWۖ3-j MT{Rk'Sî5 ku N\Tӧ} 痩9Ip<@}ɡOUBpۛت/ߌ3us bB6F\PdB|rT ;|k:F?_hޞ@js> v&L*F3,o8= {MmB79X~--!` j04Nqeb<ӿwsn5F톄(`40DoyH`j|$,eVSrfBP*< &xŒׁkynTNTV GdYb9 +xlߏ Sj,1 - UGwiQ68́+qZd2C^\j9w1w2"zW.*W0S)nmyV7_JAy\UbW-/5?ϝڡp +*糈E B&T!YS{P8~iނWnEgRu( G]ϷJO}\ݎR>Bl4juF>qMwE-!"m0sr =QAD ByƁ*Ev,^VUw}jܭM؃C}upȡԡr+! UL R+ɫ ],j^%K>/;i4/x%[#Ǚ H6L(o!:kP|4+}嬆j̬r,x9F*U FޒU@ٚ>E8 Aq m'5KYH@`"zhnb!8m(lQzA>kiBQ3/U#IRP%" IrR»y6)Qa!rC 0h0m ,ܩf֒,bԕaCCtJ2q)|>VJ&r*V-I(=ON^OPL K Ղ$ |IZ j37Ti $,Xj?LU~K(mam+#>C? SxAŠxaKO7KR:"z|R۰EB,ܻ: Jϥ~;+`sL4,woPxpf_exF''}FRzf5f](}KpyIwuom6`G1B0FmoQj&: !wccC4=lQcli i[Μ5#~XߵȪٳ|tGN 3gwhfmRyu}6&q4b!W7x̛W=nԒRTO0߼4~/[VbtэAFd!ToZ-;aupW!9W;7эӡ~kٶ_vޘ0Y`bsz~iRqkVҠ`\Y<rz1\Hk,ǟ"u]'CN.T{O#Ⴖpo_r.|H ^/g/"OBגC0m1eZr:=_*Тlya:g $ [@ɫ!+ A^ ev".7k1.v2> px>Zp?埻*B&zA:XxnфhBk& GЂA\XcnD3Z[bY,A9=2ey>TSZAAEOUFhIgAS )0t6i܏Ln%W{3-C!IiU,=v*LPQ iL!5Mm)_B0KvUR45d G`x$8'&gԄcjI'Fhx+{]En ̞4+;P  + 8H{})~/;}0X`[! τF<-U_# ֒A5 ^k7m1+Q r Al bhSVa 2ƽ5L9Kk @DOOtD9j=< ƝwIq-BB g}HIFS>8~E fxmA`#h(D}/#%߁{^>&w\ena=-e%!W;h,`=]&zJÊEM ;X얔/d>1J*EϩjVlOp?qG^޿یXPɯcja)x9T,Tb?)<#|0ﱬSn!-aZ*1ޕ&ɵ c=VoOHm؍eV[S eb4qR=iIP 5XtzcuwMFGQɤ(~뇼_tb-yT|ĶW}jWw\UNE`Z4a27[6q^|61)w(||c 37KHZ&Ɛk (2Y>D#J#b Z$ʶ8v0(R:'N׻^'