SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 l!L_m{Oc{`1=S@zL4!$INLW؂Gjr%pf,vJ\i-j۹-]yV顗sP4IXhe2 Guo:Pvz]L{qx0مh:IZ#Kfctbp?s49V)6_MnTWPN/Q6jc* Ȟ*b`J;n6x:aHʘu"}R+@17mFr9Roމ|rmi,?Kc.9(6,%`&aq+Nnye@+O_,vKzsO4;'>ټ{S*t-1gYsP\+kSZYB5mm-ҮaP3錇8[w-d GU(!]֮#zR5p>e'榬1 mZl,Z3o! LppFG4 ae{՘bp<1k@WqJll2D*N%3Lq яI x 5Ś?@(bv#GPZ>TaZ(u5 t]C>;{͘k^mpJ{NۍziFA #%Ayy%X4";DeXUj=.r XlO/פCW=ŝkOѡϟPMxL[ђ7W[cu 22^7{r_&ޣ" TU=8υ".Sͥh?Jߐǃg+yNj~1npYȼY7N&Ǐ4Щ0> ,78mIzhҩ<6,Pg::'9k$؞8ƟN3?N|*Y :69ӣNEd:L<Okg3G^χS ||+@TW~{]=2 bYiD9j"[/.V|@n4:mOBMo)n$|ڱzm~#oݖJxrJ%ݧ~Lg0w Bj@!uH뾧s̢eX{9&Ё~-l۱O"iA5H~7ζUz>/hJG4@Z5yv!%8$C[LgvCo%:9jid3rJdH< $^8McL%]gL]{ 7P''aj`zೲpD1m4"$Q2 {ZPAa3gz ".KcX{K'8CeՂ?wA\L,/?χ1{Y׵Qd\S̾*cuP?3$d"r&Lph8 BY G4'ْk+5ˤob(ZrDCR.FMuzJ'|Ǚ$ ekSNI QVV-Q9/U^әm J Ls; gOmY_s| e w{gQe;:zto% Y/8B9_Ik$ "sbh#@mL7UfB"^CghM.`]z@w!zxһhdɳXe?8KمI{?tsdK)YQi&:^Od ^%?&t{9y&SN"7kr`Zտ+wQ?N%gt\1as_zB,FW i+;1BX|OԧJDWe.R!(r*f񷎼EgP"U<o=n=1q^ qaҖɦbc"hu2{ W8ffӘtL0~7\]~#gK>3Xh{,A)#OMhPutР|,qg'[z3{ RBg U$KPRo/)i Nnkw} NIm<9AwOd##%̺3h sKX‹s{Q5fQ.U3ŢVNH5ФB*|"^TAy6?'+ 6+^pكj |]d2nT9{(M!aNj%PE!|GޱDHK/NҾ, қI)-NCd4#źc!AK ?``|Z3Z@91)bPo+Q]E.1~,mp,[HCW|>JUjV]d#RsTw]4q;GgןvJAF 5j3=FԊY(;XAYSƏW1QI'Ď{*o 1=[1cԋœ@Z $AGXes#6ODZn̪>g-)f؛ dϑsnЈƈO,kZmwLW&56gPt`lD Bւo{kʬmk 6\Ôn@(-jS|(LXsW>DgjAQz` 0 \>gs@<_GG,0<8ß@R~ l$U{p!l U7cwNy]T ;fSfqX!v{CYy$e0ϼw?ki$.5*p~7ڋ,-Q(Odh#_s/ #F֥VF $UPQD k֨5{3/םfd4rF3Yf9E;Y΋;N8tǕ+ Gsd]`kUgZ7]1u>BK$bn?ՌwDd4Y=-X*OΎO#¶[o={}@z_ͤ7NѾeG>tqFL@d?!YGE,fC.\>R,efڮ 3rb>wjSS?buVʾAPn\AzO8pҥ2%?Y:9!gj>u|'J"g P?XƧwRAON5}!v ĮyցT n f]HDtB'u å. ;a۱1\7qi? C{h+CVXD V$[!TJ:n Q𤩅v<"{к"=d{x5zwܜ0M>NBP,2u()!7W5\G+rX> jf<Y͆%Ha/?ZRQWYTHg~3nvBWnT02\S]Gr)96&*ﳃdu~Jmp̾< #|4Y t8 /u+i@}t O j}{pMJ X TIl;xp~cH `@ Um`f)(s3KVƽjaudDL^fly 2V/DثMBΔLpD+7f29,.NkSBKXҼwn.Ao:R"Ժni.L}-'|e ;aG>c|Wznx) ̅(mjd-jX)B9p#+!&iQKLPmEK`5iɧqB{ ?mJ\Ӫ6PiI9Y} !ޯ@p@$`t  o1@;t-DdIK RN zB<dJ  ١w3pŖgs n{ֽ|wc4Vw 0S@}([B~suE3S껾U}ȾvG?PFٌ&)BD`DVlvAWZJXͫ+i&s?qZY#L /Yܻ\^/x4NFde79x;҈pa\y3}Q٭tc'"1ԡALm0'3x^r{;n\!lm MoJX/^aYf%vMyZ^ TɅ5Lq Ҩe/Oٹt#Y dmZ$|Gq^ sn'y?SGg80'gG>rc[ QKXI9ӑ|=?n}Rf?d~qߋwudž.'e1A,D%Mp+s`?y<0fG2 g A_Z( LnXt1}gYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!B0LuDLg48Nh2kyi^it #͓m0>q3#)q㢂xP]=نKr3@WcH!mHÍaTӧ̔V@O= ƙHa1T\25R!4zےB`Մmě|{d_,|u= }URS7+$? jR]-nvZ+4Us׊TW$J+0?eXsqɡ$a99'ejq }8I=EF.g A,;DS2K=݆dհ<_;:+ HutO:q8#qк'Μ"%xԖ{pvrF{<9mOLe$rl!VGNFtt ylGIonMqBپ ЎDEOs0zb* ~֣z9qtz}owW#9O+s -OUT 0GY, :'{?"s+c,yg&:CyL*\' QS{U]VOoyq)O _ PUvW8y TF2@{aM㭐-YիѦ,mXBEm]#R :^&;/H7sb+ El P $7Kp鰇iЀ]~ZܴI7EhS<ЁYf72jMiWv3uOxucFB.I ZP{B' ?vMzӕ~1% M|oӒmKD@xꗣs/)SlV]As2A:Ɂ) Ȩ庱 z8{~+B?v7Qq{!xz29D[`GV=Tƨrt90!4qx ;[wk4y}A|B,*}Z2Bc^ͳ뵾%킎-i:f_2nF8pbQ+ ~=C4R>is`[;O wVƒt| %wY9SW iNA$TY~\e>"6Xq2sc!:0> ꭮L&پ@-8*&`qqAsxu,![/ Y8%̠b8<RYK掀MT- Pv982xI v?nkE˻%|ʿ#3B10}!+siʓ}1krM5vh0_`L u}IC-iWV=E`!H.zQJ6~ ldLΣʖ$} ZT O.n~tNJKm@50;tCp$ NAhޙ#mm2/WtLImQy@[])s/cl|ȸoRy^c;T&3Yq[8>:hT;pɒ-XZ̘tqOCN2tN'Hpdj$,u&̌rA1AIeuwl3xHB9|KRe7*7q eZE}ܓ8VJH ޘjL9=5E,Xw]-RՇ_Y:C>kv6fYRltPwBsh˅?m(̋ 02@΀Vz:5_qqR܊># XI[8ڢI61&Ĺ,dEimV6xLJ>ݐbշ=glyC/]%i'T826FSEy@r^wOI 0j8ٻ GxӶ("Ksf{\ۺG+7;]8_"OHW!wr |.l&0~yg@ #+:҇ x!$ s7Pݩ/zVGFbI" h(OoT7Kb,RLOQZ"3laNt3`L k{Fۼ<-Ah<΃ Y[q܀W \GLʭHqTwf!{X4֐fMGqaK6!$4׫Vy8pFRňF^1_*"]z5J .JhJ>a fJtPkXp@_F~v论MHaK]\">R叛 t!LRC_"bNQbd.DWoۢ6Թ`waZg,h$:Souj3_`P[2w EBGpfL| t n4SYt(V=H`UBj u̼\Wes8(>mx,GS"|f$R^) ɤ7gвcE |vhOF# cyX"z/U')h]&ړ-L~qG$t|]K[SRNOhi'7,KyKNX0 ec(7ئL/JgwE%KG<- x|&'Y4ap$da Ձ` :0ރs-ږd-{z7hH/vrpd,O_ F8Ojs:+ 3Gi ,ΜX@ < Qsk_)2OFaߌm?]lЎ,ᆅQI\ C5}`|'*p^ZBmԥ."=Oidzg F7YZQ 6'ώA?oOd${"{x_ZhŚ Ϋ}^@x]f*\Qb~W/ lSdoCV ?n}Mhc$ ՘u}lQU̘QIdz0]vfSg,9,bPzGVd tGLnQ7Lh){ô4!  ;!$}H|58D(}pė#x1|.8G(AZ) x}]s$xDueso{ARp{WkQnj M[rY'_FNWKQo,1*a{faYQpQp/ƛ3aCp QHdjyާ6 l*ЗƫDrBiWNJP'4ΐh2O֡=ykq.'k#UHVj/ &+{֙xUkU *W$-.8"A3n@3L5KlF\Z.>xLoOL5N}j V%1Bn;el9 ?ʹ5su;llw\3WPl1+/pWnqշjQu Q`R5TUpP,Ef'+|= dQV3i{hb>@@XWwU!Irp\d\뀋ljA=3ƙc*{ՇNt j׉M3')[3ù\; Z}kIQXBSF(rg<-wV1d ۠*Yн߼ Fmra ݐywFRAo1%j%>54Q%2G*{q˺hK ])T4w두Zzm;Wab_n*x-gNq^dVjICHǔ/FmH) 9RczpqV3=zʁ&m&Ƥ7 W`w&CS$}H1"]MU 4RJ[L? w?JB҈F5+,⦈`wjh [-N^n&evwwyI6IzS>葐FJ[T Eګ'T\yO;!}+wwT=hVsK?h#$fӿZ̫eZ D)@0~fc7;/ %8 ?3SL~-biJ[jy&y{qo(>o^ӑqD 6LlЂ#`Z@~A$}(`6;]cyzA񀦯fX3H40R煘de%;Jb9̏n~I<%b+cwƵZF#1_Ty["P!/ rW}rԃ+Mò=GZw 2΄ͲW9t7J6a4RVoR0pL \* 9t6K<<8\9(E;iJb쀧>SH_x47@E+G>tu DV{ |!ι+SLTbTa_4ɨ`xr1z )0u~Ej3BFjs*#snj&L])`Dsph?`X@8 [7 Lَt)1^˵񧦈K3 u`S!FdeTYAc(qqx*G)5v%r.m JU<ZԎ'x)4o~OؕG\iE$|U&:&NVVL3dzߌʹoڹFš5GDﭦ9R)itzk6x@ 3c= 5RzypHj,дft[V@ʐgNDf& p.*\]<3^]O/<k||uSnXgXIR6ܕ׺É5+8,r j 3,AJ X^s7\+s99S'V<Žz1JWk br ŨCŁm}QlvbqFIGuw!L}8s(LXT1A| ZIĂQA~]z$S>HY#8ii';q8dt/q&,J.6AZEtӐbC pn!XkuҴyr!`Ծ%?[c6~ $/Ի8ů4)vK?SxMh^['I{Ѷ#vVmb ;=ŕ& .U%Ž[3IAǚp6ဠQEʡ'#zyЅBrPS+9 x!CQ00-Vf6X e1[ QZ ,vW@zR_R:D07οzēC̆:lK" !SY^%iϘ oX=e>Kz;Uf 냾Uv(x[ ^\\eDJ*€MezNΤSTJq5Y]֗F%骢Lp2(|RO*~5?GA 'd |s  6xZZQGچ"'oQl}}T[l-ϊh+`yQY mM^wܕa)m|EQsrǰ qOढIͶϘ% ;&J" X4UXUPP'L&?^Kg@!gJ2tAAXPckaz3_dj@ #e0w9Q*[cV& 88D-420 &_ynQr5+ !+بJJ`Dr,OJs`lkMA(rlG5Ed_}6B/Jk{n&)JzKiaW i൲y"]| Yaw]`eCS|!y-脷WQ"磥^=I5Yc* h2Z荪|X&>c_!;`rAO[5GCF'0 a]y^Y G?t;@9YO?~LmfæϞ暴CNvCxv.'d?a oc^J^cݦ tS%۪VoKAqV,((|Adxi6J՛c'u[ؼ-.,&\@oZENOU򩛰_3t5j@ Lz=(,sIz\|mi+声&OkH/p>#d +gp+P|׀ GΩjճV0Bobyk ?۝ns#R vE/f%s <'B#FT 73js7H R?A q;KzLo* +΀6T]:D?">J(W\?+%Y2 d7O(;R-k $4 GjX Cܰ F(]vCW ϙ#BK$0NQ7NΦʛС0I~E><PZ\z<6'7uGaOYC)Lڧh.A:"ͨZO@x9\[ q 0}5~m׹^&Ui7>-||4(sʦ8ߕIȪn3pP-%c٪_  侁fjU\owe2#@v|Pu%s/4G_ԫA- >N`!>eKL0i@?[)-GGK!X};^s0sYQn؆|5yTe7!/HtHsEta'pfޜMa1< [B8>Z*pT200ZǾB>~ʶ .83LoLtL $mR|T<) ʫn"7 $GO^Vx9F+oDrA}H3 Z/~jiHk+7NJvu&e9Y2hf| LPWuی# :+bAs`pzuA"YH#ԈtPCb,#Z] ־ B:YITz܋|qrWU*j,+(0 0})[ko>ky  \)^et5]D\HAQ%ɓL3 =p\E -of~3<«T%^3qCYRH8do+seHek 2q6UO^R;B8 ] ̧Tv;+<] vDmjy#5]3V|+ PR3:$'ޗ$_ĭ^{MLKZK3u.3gh#<]PZ{#n$`(A [Q7kda#7(g[qXkdQzlG;MA]."Vϱo:&ե́QΒelznr_zkXly' InJ@Gv˄Mwzp68lޭJaGTM\ʆ)oI: 3ea,(~<a14$Bá6{/Rz@{6;sgk)%adZzf;I`!״ ;0@NZDV;@$,W U#̮n4 UNd.k]I` b}˪|OB\dF䔋pqPҙ$@O#5k0l;_F {s`1J Q>G9ah<1pCI+9 8U6C'b21ߝ/bKr& ƕ `d!66YVX+'36wWnJWD܂IyGnJA1q_!Lzգ,)5AډjjYxi=~ 'O[bd|PMW`/G˞ꨭ4l5_FSt3;.Ĉ,4XƼEh*Z 5zv*s#zMj]9<cVAIlL1D={XPS:;xy9KX.[0s,hǗ5A4UvIVV>96Tb{TzuD̙I)2 $}$0Xg$&'@_{\%HI(y՞2x?cv%D#+)'̾(+h`y tӮ1k:q#c^S" ?dSFC?e maN4z+*Ip_sXH ?ag{6ӔnJt+ :Bc ڽ pBoH\ͤ`4"[~ w 2o4"˵._|ThÔY/諢#7a?pݺ̳DjR99e v~FӅucz=m6p~lφ0 Duw= &!)աd;%09{]}+w9WmK R}rJfh練3-TF,sb窖= )YܛX 4zVuG-uemFxd2wHz(RL(HoI\\-FltP 5/b29rUa[ot aOptY~|BaN(uX9]EӤNi 4us19TħrYJP|*W?S@7%P13|OR hR`nL.颁_ o@pRJMnfz6 !N$#D ]rJ*ý2: 7@e *~l}Ev 'FOڎ;u?4Ժ<!^QMVaG lE ܩ^yCEAeM17|Ol%pd~Ab $#`v-bFZ=B}:0 sZ,LMK@k9?2U>[Bw|{*YjXC{ӻZKQQK}QHQ+ォ(2D(+jy5_Gjo›b<1ޛ7m̽+{A\;Ftyѣ ;+m75MߙrN1稁1AA bw2&0T]$M+[HWW\QQ&MN50w:C_8qKwe;zOYHC7Af<3:h%rr#ȃa^Cqʃ:m#rAi4 NW(,G)'|ٙ-5|'@f+Wqqә #*ms(HDm㧍T) ڙ9+ cn\k>`VD|J@%JP3`kq05ͧwkbyNuhJFfNa2L7ķǟL~Ŷ!^zCmu cwf!&TsR`k!V@tՊNܡinr`8)2$s,=cpBԂk*3R7ԀR`sR4Ɠ ܞeBe@",'=~A=FYD\ljjŀ m0] $aV ĕbi=Hl<V&' lcr5w͈ԻEx@5,U7F?A,X]|XviTh szdkpDx~4ֵ`PVs.;8 X6(ZNy/k NqU%LXAm5 s/=,8^AKcJ4m*K*Syr_l5!L2IjWoSSfük2֪Xr[i$Mfu0ZlV#+Ġ Z.%Ԏ Z&ʁ[;SFkOepݺ6I6JAI+>8K]m ,8I{\5]{j^Jj$nK/Be7EL\v0+Icx Db\Zb0Xvb7! bUjĝd~ehru8~΂l [cta 1mGzJ,fZ8ie92'3;GVkějCS/|R˵<@mBʀ~Eu zA^9yBEتo:L]'Ũq d)+rXx_̎8>AT \'o ʆ y@Yn?SZS6Q/\h"OJ#Dy-&>C%X|@E|l;VeTI> MdM'-̤ieG{iTeRT>6>^+3 Q_c5WJQ$]X`<>δ G;D*Ҿc Ogq!Qs ϩfB EJ; FK,e=AYc{RAfcNJKt_L.O{W6q 0%RA^SJ(ՙMՂhV'7}|% b,-v)u5r# d!, C,0zCT 񂍄zZU8(Mq'#J!C ^ug9O>/7E- mfNLQ,z{9>H|KnFy/,n̶V7ZXPfE&fNelR w"V=cV{0[{R0QVsr2oørb,ġ5W  P4|ui&[K3mnY4e*px& ogoѱYө43szN 9bHJ>dO_3_SG$֣w@#}CB}H`)f9,1Q.f49G\k— G>FK7Y5~.wwS\De]l`odo\`m8y%? oG~~ܾ9TuX;vzL,πzHB3 1P!z\0\ XЭf8Bϓ]GJ0_$JZF1+;sn$A qч({=gt-r3)tL` %կ]߿F.3b :.E/ {+n}$[ infHTj9r7}y }qBs?9C7gcyBmB 0 #$Ӂˍ猻R-2]KT7џSV^ \>IO":ȷZ; kP#ϓB7 0b`2O [٠5%mG<6{@e uͶ5emA1J~n7H[ l;F.p~4BoӀ]?3c]zG!ަ_whD9o!٩ꚱĒJ 6\[r'-R͸{^)ռpS2R= +kB@*Sr&5ݕ~;oܧd-Auk]38Oڐ5Db U+>p |m[Ez0@i gtZ7c}Y)4ĸ 󙱏Z>9/qvp zf"DgoB4{YđʔiA#k:YiXZFNĞoP&"_dSKaXiT뢳CAn=4\*ya O&ɣ !F[aG͗UQV 4Ta?0b.Nb8y=xRhC*M{@ P;lo2fV [%Mԕ,4`ݯ'sD )k5IiwGLT:F}5YX0x{z ~@4Atzu4bվj-76`%ӄmtX|#@R̦9iXw=P0e)pT#.Ճn QO5BRvxFQBɩ._YEa-Dj9|"Bi4@'ҚOrrI66,?ǎq䔶D#½svSpB[©~ "/\ӹ۝Y7 pli}*ts"C)IS mHjS(am3xZ ^P;LMv&~MNjՋEK>T)Gdo"F Py%҇puY'1H6gaAΆF)gSLcqh)ˆ:3oN'`@F/l9eŵEI<LX> H8P5/)"nv.q4_HE=%55_$ЦsX" ӗ jYb@=.azL l6Z?Gm2T@dg{6u6g .A AZ/0 5kpG'6},F_ꪐf0GK?!{?T(FufKdP%w &=D4<{jiP󕖢Ɂ,s"=c.Rg(DZ檟ivM;ٱ实7emk5Z0AS5Sf,'17E)~\TZIv}CoBU={:?f/_.>m_2濃9 zͪwgvԐʮ?5MWԐF`G_t>0Emڭ 5j LT^<29q/\6^dFJB'h6\jn1teRΐȹf<(o4XlXwk(Ԁ FF 2ѽ&}9Rl 3C ǧ 8:u4<(~WmvK$^-!~}O(@;L.&͒{ݾnRVτC nF^[Yj}1SP&wUm7# h4E1o)+?NlƢ$ ~GuͿ8jAōCJ&AD}#:z?,qXufUڠ'R@U Bor#p *dh+rx|jD֤#*d\pӓ-[7]c">4q%64K⅞^-0z̿M0t$L 9CO1mTG3N=t/i!4O+R%8ƣWx(}̖eL?N9sоwRBDЭ;a? cV/m?{;FlIU_E= km2ӹX"pm!"t Щ;D4",KxO@P"Qz*9 /0)6pw}8n#-i5}󅪉Ʈ FS8UI&0YϤ:|n,s <0`}"  I(80(:TqNA?PY1L랛sC٨];in1%UbDd~/2qC|"#.^$y0\|3/Ӑ,G96C/ߜ'q)jɿo hk-' n)Ԁ;bT- D${jy׵R#\E0,]Q022 )r:,wp{_^߼УV [kL->gև%p~ q58f!or EBz)$GẤވ(_L̈́X9ޟ1x"̺`/!L>ff|%d8,/"c>DT7W(.z~bm~Y9x%֝>Ԍ il'N3EGw+Y?y \g6͕[C(#͍xB3х,gQ%C8ED+&_bm6ʑX]sv9IEck?y~M(O8S M^ +K}`#<Ꚅ0MiB~`p Koe*P}jqbR\Gk{+g!g9)aD#oT76P_+=A$G8x0buExL01\줜{ynSI]ɵ|D,O65XJjh͘!ef13ӗBdJa9kN<&X+- lG2&Hzt,`V2PClBG䚔x,~'PᬳfC1ȘsjmiDYF ([`.ohKH;ۭƣd]ɵtxx  \%sẂSnٱ沴wDM(6:ɀhn1zGheDLF %%ds`"y$0_o$9k CbDaػNUJ1=K-((ȟw c692j6la2H,l׳I+ՙ՝$Z]83,kF=4qj4#)!Z^eF'ԣƟГ':Bщ>^hR8IdB`OzWmI2(6FFGAb\nD9҃:EߴgCg-AӲ)Dn D t֥8XfuTk"f~j$81`Ba84C. 5(#B=܎UͶcrZê'js 3|2.?,j?Dk}g"sO=*Y,V$fc:dڕ+_P{ru9&fQPStOL]w^㰀(:c;Ԅ1B/أѵHA.OVjׇ 7-LlFƑ@NCQԐt5^\H;0V[-D\yPTEs?6 f|wŋd[Vԓ?X_qҨCp=FDXGzX?oehOτ;,T{)E8[Z.MUW*oS~K.T'-SK#6OM"6e^e/+CV^1@OJ{dV#[z䔥F.VJߧ9l#oN|HS|msb[UFهMy12. î]&9Wu/zzd1'6Nnr̬Em=gC: XrbJᨻZrqs8Ĩރ3s @Æ%7&LZy j=;tэj-и~0I 3λ҉7s(nr"1 /Jڑ?RY3v/[e$q* =cW[!1"`I.y8?(6k3k p (Rb }=zdm,:990(4^|AWԚJ!/͙7H$E{*Qa4p'!JF*->eUiY nbǾgi41Mi,"d@qȫwlMK3V>F j(EP)5-qz,L~ڙhʆ.Dms*yD d\#< bp G ˱ 7d&툃fU0AerQKB^lp6^:]Pc/R z uMq^sǏE{erjck|yݍI(D=2=\Yd%Ds=}ZU_@ED-5P6Ij@mS"+̆xF"L,X.65(7(K8dEvdhߒ<'$m$Gړؗ=j}$D9Q<2,̥+K~U;Ç)H+R^tF#'3JHbH}v*.$hƺ\` jo٭8!"Ft͕UI)ƉK"LP}t`i[iW狒KpRwW lqJ $aA[|-=@Ԅ!Hm,.+a5 UIi{?UebU00da|BXtxIge^YKj*(/y' FU IOW%h3w)*r^ʗly 솞S(oV Ƹ)MEO42Me[Se]cf %׫ V<ʜMZqs8Ȍ)p<tɮ~+`NSUsZop62cѺ`{]L C&o6,>/d@ŇL]O-PFh*CwKU/ypȡj~wjo?tQ`*BRKᵁRԴzeA)6 0i|ľ-IHmخT5?6Q(ՐK󻕼ѧ#=Ka`%y]tWwcO_6#]"2b?`ˍ7I<נjsVMrbCh>Ԉc:zUwb(a}j6d2|j i&`u+*wz3}Ns%hd spR);@_ G#@`s[ZʘBt|d=2<$f%@v-Jŗ&8{6aBjhGsJPs[W[ Blr4V\EYGZپS R(Tf$?2{(KGjY2N )+@-KEw6гgڣQH2X K>bҪovgr=&͌T@ypejΓ(l฻ g4Y|{|g$7/>v_  6 O>:bꦖ+6>f SKĂU֥ Sl3WLLkHgRՂ!meiZcЧ_2ש%iZ^@gxoc(GO! <0 l h y2h.g82@Ltr9q2a)_^ WP'Z`FmV&ҟm:1>3U$D::q3@<ͥ)]fX_kJSοut?sX6.ýٞ O LiNy\WvWZe]]-7vOA*D޹GzOZpx%b#Z\(x }y}Y7*Z0ye&t02ocVR`T"JX[G49C?ѤJt0o@[NR~i\bֱl4_rh'.gxDOQyX_ݸz0iB1;N(8 ~ (nM,菋i6Q=;c^ɗVMLUJ\2W w:u*C3!S ݔ/_<$GfJd]/!1¥yhB|y:qn2}63|鶁 Wg=CVMy,n'0Jp@'N%D6n'B&gnqtUbk|o͍2/DT=1ۏ3pڰ?tEz،ŀ κ Lq}rHz@H;%v4j:b}C.D|2d I{}gQr) |F; ZV!,5'HJZٍ~9n9C;6ШTW])5[Zw&#de@"9]]i,U61>̬'bq@ :cj%% #=[*l7w3JXuN֙Wrf1-?T>n;}veY77!$my9T 1&=Qo|YN=-vm5)&l܎TypD>E}MمR ]84h=hz\^'E}ߴ)-CJ=V!!h$㓂<# d#J.dX46躁dcz&tXQ֍e23N1,Ѻ5HyxU Er᳃pV&`uHL֏l,YԸI=i3$fՒ" xߕԋl&cKCj*-vw]Bd& [T|J:5l֊P#+L-D=;W7?VaKC˟ NH?xUٝasy=CF:xEcVn&7JKf(A/$?|wg&75fG=H+Uiqi Aw\aM޾tî9\}r7L ]tS߆`rn,R `㌒s~D]mX]~ ;xqAN<Ly-y&4 g[^ޏ!ّMկЉv1i~V@lD"x/A0Tqyݻs5=x.x|}*9^HҦTQO|?wwEv>1OhQߐ?˘ d= NvJfPB ߻oD.6S֊hz͌7kz\Q X^`~Ϯ`>$yJ֧ҽ_ї2Rڶ&z,o^atGX+]^_Y:a8FAp(La"{m[D9QBZ 2oT:i" A x†`h/k̸̓ԉ,Up$wj fͺtg,ߧyK84U }ņ[$Ӂ~II͙8 DN6KzI{KX;-lrFΌ.Ag!Z㯶ͺG@䐈CYqh "l\*͔szL̂MmD^UTM> k<Σ}m}3^\tkL[#oJVpsۮ 1b<ہ!Eė}#5m@1bwlSIvj= 'SIV*lg%IQpw/muIucKV?7BdY6e#J&]\\JtNNұ B={ooi5DQૄjb QUFE"E*{'hxIr#8UBO?jCāR'(A{I|Be%E. v5rA ä8Z"z=]TUZ3ۥ=ݿ|Cy~&g7ҌohܬPٻᘹUiTI~H(I+Qw52uk@U fvuqj@ᐻmJ3?VmRYzyӋ< ?Tg )BpfUMeĘ;;t[*ySkJ~鳼-7Shb|/K \=#(9HGV^x|֛FAW`&Xmx}FRЂ QZ KGIo@xeXGG Aoq?CHI$ܶbIJ;5mi(~4G5OB8r0voEv!`S>30Y8.#4)gzՅϹq8 :Gҵ+ ײ&T5 D!(z)&W{W}.TnCWyhOѾyR#q´!WcJ{91lYKAϨK̥7^P%#臱+_y2d]1_P5Z7MӾC:CdFUu7O'2翊-0C!#)`wq'E50 u\ X_6j]Cъ4B mEKfiP@so%<t+*s+#ۦXy!tb.Fg7=*!aԎ0hTrCɬ|a߯lNM ʑZs*7oDpӌikQ!\'s5Ywsc:QS_ě%xvh<x~ԏ n˗Р_&+nJn'-%i٘.oC!ZiӢ;*XǗdA%ҽ8Ȍ[  ۾lu_Xg{ֱ=e+=.Vr"&C?ahPqf)-NZtJPM g$ f};P nz̍n.iPf@qΞ#@PQM-xH _B}8~ctSQL4%nt+p@Ò`=H$O0&i7_O3'^ÛWiAٳ( 2WazB/',O1LE KuK߀VJE 8-x[ gU!hu),K0Kw7To 6qŎ^_I}T;0tM{'3S{&)T eӅ?JE%S$ZZҔT*u1:Hֱ/it9= 3Ʉ>5It\h~hUy7➪I<&P]qȈ^F\M;_w]Gzu0Mu WnS ʄ}~p!fi>x 40S!P +URҥ`ڵk9~c}Q101zL=#QګX uN7!S,`ީ;vӳ?;T:p?A=|r ؼ}z邹PDe:PTQ-RQ(BXj)8zGoULyZ6^zW`V|~oL5 CM20sN$^4153,?%&<ֆ0%Lᴿ/ FkrASF+_)uԿ|{pO o014x`m|V r0%z|G'9щ<tt^?dBm6>YQd(K{!s6=p}5]Z,C(i7BN@ِ08.MT]3#w^Ll  `)j2$3T܇k,]Hj'2 E ce_&-j3sY-A8Kb>C]!?9[it&;_B,T<\[}Il"ڳ6}ځDzHh)iY|U\І<ܫcg(d/f}``KJ 3}~XN4rݿØ%נ> *<WsG"Wc|OK9Ʒʷ᫸d_.x9ءVCy&,:p~h. 6`7N A[α3/8U}] R,/`DG兞uxV8/ZU cfiL]4աrU-FJfCnDM{`6]tB =ކk](M2x!YmS*7{,^#tpeB}i0jJs`GکW$?8ap}Ty!* )hH'ĸ+X8ŭٓAQKb郖Os&H',c=(f<ЯMy3m0D7cZ 2f\"4g߀m4W=$.V#_#*ʌ\$zőE _8 `$55@[+7T!+HXK)^A.R0КuTU6Ͻ)]bR*1fMYg#DBZ3~6~1.iϟںl틒 !͍^@a$|R USԇnI#,H$_./ky|2 };bN+´0Mt