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  -T\D ]% HOL-ODE-Examples:threads=4elapsed=593.627cpu=1643.780gc=8.408factor=2.777zXZִF! 5Z!]ŗXf[&}k%Ös]52x^FGqoF[3bˮ\ORQ,`DNX7?oҀ?V`jKȎw~#qi⤇Nq%;1ҙbr좰yTzv7NQv ,D\Ȗ"Ysr1N\OGO3rk5WY}ŒЃ巙>;-V0Kx09-aA <^q-~U P@ꈨI¡fep&LxUvS5ܛa ."vg0_YeXac,zk][ \N #z-BȷH,DB2\;y{y. Ihcچ*? ۖz0NfxPh`CВ^!/] Dhݤy>c[=X#d62} - HOL-ODE-Examples  2#Ww0u9<~H1CFD53Zᓚ!|ITY+ZF,h_g xp`\dmYmL4[`6S0b)O"S5* ӕowc_}(QƵ!:l< # [%Em#j S<[Zrrg8ь6"&*zGI9S-!z2:RIv3^spg8X!h$Y’ݳCט8@Ͳ2MT{ Ck DRQ/"J}4{nusl}.3)Bڒنt_`COjdgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+^(/ĵP漹~Ng~rE_WԛAe@]XVRйX J >1Y.Ejͥŕdsqj0ˀKXqj&=9gYZ7zXZִF! |]ŗXi%GRb}(E}ZieYv96y1̄HK9oqrxq_^I-4!6 -6%V<|n|]Cv砼 "ewh3hZNԉe{b݌G6Cr1q,#@!aDuT$btJ0돍H V .[÷?+x*ubLKr0V |u,2L$nH,8D΅03EMм/Pџ}o}f1Y>w+{H]:7X EmFAr?,8.yAr\;R 8Үlc +!п#Z(]k4~[# M"frvu&lGK+-8Y"@`R %'P{!Ct4NuA vCl.F¡bYNd08sla*?Z2qSd3s[>/["ZH*ܟj^2[/a sG^E>1 a>kTUN|B6d Ő7I(b6f%][NB1׆|Ro*%p`>[Kv bno"89G^"RTA;r3U_Is "akGkok#kt1 }TF\*9/Dy{Y!3dv 4Ӯ ciO]\)kզ)âmmhn2:/s'"ǩ %=r,Ů a&6 X;ib0\_] VFЇԠga^93ΗV͜W mUY@KnE&([  "N%c͢RQ]J )tīli&GQX# ۉJsU5T%'`2~m(MiP>WWOkAVZݽFn^^?X 5_vޱ z(Kp6XQefRI2G͝k󫱠3 Ⱥ>Mz=.ȃB' 4Pmos_>g.! D }o$CPx$l`qSw?v e'A9,մUi?@)ScyM0ݹ5ohPtdw_ Ui+;'ƒN3jkߏ=p& gٶ$!*fNүܙ/!w5VaZ:bW>zQ$KNb;LKp8A/Q}¶ӂWtbZ Aw .jW5iЂvE<4y_DŠpr?oXŸA8.&h]ȱ|F2N͊Bw՟,ѲEQ3i u#C:Yb)G=Pv+#H.o5}FH 㻋`>%Bwr pGN,L:ۇ} ؕ{kGD{4K joyfnz(zF7E݌/_TMg!Jk4 OYۃ()0/r-YѨNdO'檕9 ΖLj*{=qk!z_ eνno5lTh8XtVdUE|Ǒ2C> H8p8/,$q$T[G+Xj^]d~ w9~m^U'GΡ @~2U򗌶pgsOIvWƩd-3.Kx%6tS}"!uIjo]W BHńG-f$hu]qAX8{)%".1'K/DDr{^b6U3ſe(c>24gvf~VE[usSgV9-jPѤuˀ[NNwP4)hU+|F87U hNq030U!UGĭ:N6oSzT)w{f>fF+M?Ten?ȍ( ] ώ_F="1E&xaa.*p} tn*[ΏR92-Z5Y}gk[%9EaдH-0A?RiS.!iSjFы;$o^1Y/⟟(zLhWe-T/W iiلnOL{&˄G(M%tk5iՆk;ÏK~J0I.]be'2sfPjѿǘoVV]hfS!C}`Mm HO2/D8Z3Sm21mm`TEo?Wׂ,9E̦%Eyo |b 7Fi5Ãaj9Lem͠~A@tYb׿.W$[yp5X%=èzwPW.y';E HT\'~xYܵC5d.jqޚJVQ2m_g=TVRD`n=`73ty! 'I>3]wGk~>~Cp,"n㑜`wg}fkQ \ú9 356Pؐ"Em MQbAA{_xQ ]*U뜤75?Iչ;[.Ag?eDUQ*7B3 -F+")ـ"5%wq5R`pȮ&O*=BNGjR@?fLF;RCoxYV9?ԐaA@^Y.VM`xX}bw Nz>â+&NߦUJ '1bO |Vh[^ h̒oN$<J6VEp`m{|+Ao$v;} y͈ 6: $AGa Hk5Ӄ1KT7fLUeFD #jCP d˧,b~x Ad^R]'\T~prᩉJ@eIDg!}T/f ё3d119K-Il* =3vZ0qm&bC_ZE7pLV6N/q1"Ѡ<4eq.:I cJ0:FDYC97]3yM[Ȗ$:8]~m, ÉEwm8eq|oy3nH*Q Do$ i?ۃAqqR3T),.lzvc},pI7w`$V24F.Yjf򲘒ˬd  3Dred:Xj;$j`36Г۝,{##ǂVM.3N|р3*Q75#3R:Rea|lg*Pd16ue)6x(E{âbC W#ܯ@ ;w-wKQuN opmD2s1G78x\  :qJM$cG̾M]: ֡_TlqpI'o p$Uio~kXIR#@(LƇsL5!/$  U\J~Ue8Uiy=Wh%ND(Uf jvYyP W=['MA8TjL \Ťz0Ls^qs'G@0X5⮪YCڸAnV`fRu.(^1^^/,.E6Rrt^nVbo@,]C6;_bʦޝEvQI Sҝ=FATtg4KمLc;´C]tF |}UXcGX ƃB\a>T[c䋩Sc@e K . mGf`(3UQѼ*I7;} :x*eԧZy2L*}ʿP b3򟨗RdL&YU_)Sx]/X?A"&C7d\n$H3h,TݸOj|uH^L Fm ![IĞO=w8T"^kѽT1bQ!+r3 3骺34y3=Jh)AdH@Uĭ+tILP 2!5 G[ƴ~3JVLFy³T; y17~Sۗ@,?0:ĘqA0ffT$=)J,e'`42S2&B֡b֟7jMQn{ɜ0TZr|ߗ+*5IPYrs䭲4{ᄀv!nݧLF|akVp =86Qo:/!@oe{T8@Ӳ7PY,wa@,+a4Oz叔 fXx;*qz-E; OzC!ˉxsu; ف9c@ _}Ώ^4\giAۿp=2bϠs?곢r7xٓkz:6\R(X7ԋ,9NALuX2K٠ @cc6j=OԠ5iLά^&ԷW;*Zr;h lX3sǻW*#0͞wKY.wS>wyRlUn7.3d/Є}']N^OG)O.PuJbxX[g`}H${Z`݋J6B0FqD[8 IExFҼ{b j@I:⥤,e*ےyj ITG٨/C(SQg?@WH/HN?6foهSz6oxӰ©)G^[9). ^r*Q!sn^捁cN(EkҦ_ A:!%0h辣ײ$ M-&g8u]B{-.lIKr]07Y,FSo+I5!jc4 tV~lc1Q0F5Ʀx|=xfRݴqZD&{Q$q2p )CG8%.hcߤ"OPE>ZI~,n$\ݭ"g:o$?$E^}`qDW ,$=H{*)>_Pࡶ}|0MgX|,@jrw#귗V~z g_UUH?`l>ʢA4P5ϦmYㄆ3?aVc/#RzDuee TuP5otgȔ,޻;+ap!jb y@c6ߏ* qκs$=s!uOzGO`nU7ӧ ]0sfXZtpc˸.x# !cY C|ݥL$a.J,Jɧ 7: I=na$uEOݽ<ڝEn^R&1:F1 BZ/`"yr J L"۰qސi?G?UQ!*08;_+j81 +Xi7BI\ghg$?-b$j^{ GdrZ`VW6cHr9kۍw{!2'(`N?-cs1voۍOEU*6i]PK~l :~bZrx!^% XOfB_),SP!V'ne n6{5JfMEc*j|nhv0X2izH1i97;^}W׍-)X4)цžk7o_XvH-UJBԼ.V2hU)O^[ptl_8<ҴFĴz;~@/k'JKGRgUw'J)n5 ok7V<R$>^ܲz>Q7@/+QtΞJ<`*YcL1=WᅼƹaYo `2Ë+HaYzǕ_BM`'҆"賿:FmSpc; l7NF-{G8!S0X-,!SV涿}=2tJ uU UH׏:N5+BV6]/Nݪw_1|v'ʛpo{Iqt $ɗW+ p~+l[Gpkƌߘݨ{0i)`t^hv,2'j6x~d-4$݌#o@;G5>fFԟAZj^\դiQh+Z( ΕPq58I<5榥}2pkM:WJO$KV&}\+fDMa~?2-z:sw4\JnC_Gj&7ۇgA\bqU/kƠR %gko)?2卷nn]fr9) n)ίyل_B"O\Bo>#-c3p Tk/w\2yns M}ukQy5M_g'h#Y/12c%g )~B헪xYe|2ՋuʰSbGm[P ijT>n,zyuMЁ;P,jbpZm2VSnУ,-.'յsEfCql14Kt e~O_%j r[0a#>| 궫gٲz&桥!K*Evdo \򔀢 B:ZYBL6sz.-kow BXNM ?(3} VKzigv]9KGB3w5oyUhu6%^紴(1\ƗZ ˡ;_)$$8u!ɱXFLӰa"F0i  Kh{xdh#_Op>gԦ-|߽ L5.8:$ l\)ג* "iB7 HGRY?KP O!~ICLUakcI $=PL,ShԀcg{mUsc%_:3CգO+% ~8ys~"W^Vlah\Gҧ!m[^ X}1yv=<VA$:As8<];Jlk2 {e6)a-Oe~NWtDK]e\SQi #R+RkER\Z%Ek{X/nxqgQ4i}0Y'$Lfx}\5N:Z'`9X63S|0]pfZ0fg]ۿ$(Ï {"bAMAZg{Wr_N;?Xqev_# \/0{L\w(0TV`'˲,ezVYqܩ#0E3$ajYvYB?ʫf튎jk CO)}Jmޗ`]28-`z"WH݊n<=NE\L t)5Mn磳%YDks2  s}ϑ#gژ'JEuu;]"yttb-rINf(%)KO[4,~hx1x?:[JݙѪB("fN/EIQFGV^Q7fx U<5+e<#/`KWƔS RJ|~b-X84ZIC 0'^esDoz$on>V=L| -q-$؎2ػh *Xo4K~'aidICΏճ=\0zړ"ï?*>RF{m30g<_j6k}6- @M&jbWQXS `.ŧ#7S qR/gsWտ,ڵ>yW *:s&NSL?!f{8j  ! ;B7an^($.lBX`|x.:uҤ}CwF2Nҽ Fn^]J;޳^SujOADT0iE1Z"~! ASY_.UB\o -|^N1Z uQBfu+3*z4^ݙiዦLUKqA@zዥIW@S"m&O~&Qyy:`@[vb e%Af&15Pc$`Uҗ]w[bHhCu܋ǽ4׹?=alߨ*qH"hEu[~Y]5;!"H& q+Y?90k7 ;k\s}*lCQ#Ma+=|)Egwu]Có"+![GB {~3*NqN#M\x c?xJt>w^s}hDcX#s=Hrg#农p B@>7yu몘gHygZ9o .S#C'4z))x]͊8qo$Øq8KMgDBzcΔ$ fۈ1Ղ:?X'^~XPZ+F'-9Tz4M 1$J>;(}) o;΍ Qi1ϣ*lWZQd}%zO x-[9EJNEĖ)vl4;# R}dTxEdktA+ WКWh.][c>*_/T[, 0o|'P9u;1k{Ze JEdf;[@?Fcq ۾2֢vu› ALO l21Fӭh~!o.dE[*-nR`~H_XmyRgrcoo ($(I+TD]%Qvs/[Q=:14AF/?y遗S0@l0 +c.0Q+C_& k> 5]1o|w*eE/UCͱe f սtÛ#_87> ȡYL%hEhgM]GNZi_}vk_Y kO^G INEȚP)j%>Gih3.*F(Z0DA4@MfWߕiKK D5 w*{4J$*/H!1Zaz=r 1&9 ȼ7@*HZfDvRMCؙ;TT5GŅw\RN{|PM{NE:yUL&Odo9O_m:JJ*zo^Po5,Zty.?)iGNG;E].c5i;vXG&PڲFP-=<)57dti,W@m`O0.EvL9Qц > Y+Էٌi!tnpÿb;xO*}W?J&= %G3ƚkļOқ.*JRjqoPD/' ]kkE$EՍ}  5~`34U|ymZa$7 -Uғq{GIKi0QWJAz}MdcJB4 !}%ҾOX[XxdT$T2T.nk{2oWOO$bp YXȷ_YTynfjX=Xʡ~ 9xҿUxNُfbᛲv;PSʛήcc׵)ݩde8tw[Knw!헥nNC>#@^ƙH~uS/$իؗD1(_lsV.q ~k5ܽ-xPy9RK8:FVH\oM/z\5.9 wBg|JWp!$)5jS/_pnUc62tjE!>O\KPRS'ZּV's^Sf%VaDVb`{H@g3g؝6Bg_ZJQvrsWuQ:N_n?w1ץ⒯/V{5="e|z+ WJ:b:h-菿-cjloe:_m6ϸ} t%JzObwOs8&eoa*4_\ϵA ZΔ*&Bo|`s2hpISR+6M+8|N!AL$ҽR(*lMp]}]"?f~جဪK~lQ&tc QP72yKlU-}OdDw$cE5 kb_e˕=(K"F_%[%Y֙aCLs(bdW__iW}Gc+q@[,M7ezfV74ԬxIρe}`3wHP\Nq0Rr 92=3ɝ2 Gˎb'0x$['MS`8 3Ox?cAOog_$j iTkt)ٖd|MsL]_UK^e6)X^wH/9uJKodrBY7姣9" ~SCj (W|񕷀naVJãeTcE65$.φtQƒ s3VzwP2{v:#h ~ Yg'n "+'č73:AL7"=L+^a(+Ќ!Gx7׉uR t7e*p[hjr 6 %z( K9#}o︊.K+d,wL69ŲJGmQMs}icz2vd]7sM8S IˡLym,+8]t=,=Ja =Ն}AR@Ѡ9MoRZKsλNZ)Th}?udD6O:4.|!1و믪gF9L1_iT e/~c*n@7J8zy4(ުg!@No: X/ɩ'\rh@њA{AGRJ|Nl ٳRrW[_9Nm.<}9aDP?hu,YÑa H/Vj[z_2υu${c<|'=6Sm6ZFIIb6bgY߄j>^93F]!KY-^f)]I2'Sg7!g5'Xit`@΍o耋 y%Tz@L"|qpdN2 4ryGB@DsB $>)cqU% | .\ќbX6ev6Jۇ` k8,<[W *gl?xACYg:aʬZ{s8``+zHqFK?S7]y )n4ZF7oZ׀6=/nMf`p3䈎=:Cwpq% `Leq>]¦I4.yoWa%U4c^\k5EFyiHVg in[”%Ib"#dmD5Z';u[iZ]T &0 dW8b/Dc>YkEslY/v} =OG2nIR|K10`H,VҾZa_W5휒!k4+1pi  OnAFL0O !_ Hp^4_6zDۉQ0cmͬ/@D5WT`:Gǹ۲%GnV}W[<[%^ϕ7*k$E4 bGZvqCJE)>Of@i^`tA:/Ů;%9yGkbUTҔJZ,aҤ/՚@Bi(ۀ=BgRl բq@u.1937nvy}P}^vDөT&֦7s$K}jI@pqk<k䭳7ʙo*~:F6<80.·ƫ-t|DPV/*=]Uȯx0L KRsFcl0cRxNT6 H XۅL/BCfXU`nZnjma}B+unoKSj3 iKy'ܬ6:ELpe։ƚs|m`^Y|D5;@g^XkѴ]U7ҺBtކvtK5707M(ur4קG +V8-.idD; b֌x ԫf}V*ToȞrkF%%0.PG_ |$k*.+E޵D8Z.W3riPoNIND>g#0Ռ̱ZW* Pƚum%̾2А]6:ߢ&H9lhehCRha261=YߢspUV=E/I3 D4b 5tLDJ\Ș ݧ\:඾BW/] c$n8!(+,=@c}$}'O˞58h>,5_Go hS&)̊Dv --#I{>j]>KYh]E6r$pק+g"]aW},,!>f?L&l 4iQ\R3h)|:mU& PV7)Aׯgkm?A1+FWLtԀW#kĽU_ @oPY} e KX&|ܳ'JZae(0_n3iF==ifyjXAsTa"Q ?Aaďfݦ28- ۆkr<R$''w)"ȴZE卐 %<[9DQ]N%Au3â`Sy̯W& A'^g\7;4\sIJ@PզvY^7.4&S F# SgOƣґ-gbTkNq,?D~}x+$7mӐyZ/}m&it2]3Pa1(c }lIm^7e@]x*>f=_SxO6?u9%: ^:9|lhw('-'ķOcY*|D-PsȔ;NKЪnc!mFWф_kEYޅU5'|)G,#׍AW O"َK\ѡ(TTm!%DH\\"~ŒIFkB|Wگ~`3EL[6ʼn_P^d~{ R cmADT L.L5Y1`"oH@Ul<')a"+wUWEnܓxH䢟/dOG7uٯK(J&=U@9q~7++GEu 1!q}Qhu@L+a` Pn4;lԅA*/r~|v:(| tR͂rl_bO=s[ץQ'p>5c\ŇwBY^#$df1 M 76%4F+.sv$H!zi(pn"30j Ƽw3Ѥ ʛYrpAI[ KT6 JsH c]_7ZŊ)8PM[]-klvuX&]YT XZR`nxI< JKZ!dX24o*#%Mo4ϟ86Fm)D^[nF{QpQLe`ާ=':YKDiRPCo2>uL;PX]$qpiFuN>Gg$P;o#b<ĸ=H17 ,]✌]臤h{x $Ѻ "US~Wqd=?^&G'ȹ$J55KHԙF_f0PZaEȷN헙鈄?ά .PT^xk-+L1{|tbh cE Fx]r`7)7:|A~k ^ mcY2\%zpPOKzT;C:ʃ3Uo4N za]+[P\ߜhZ}3+ j;j #:wٷ;uZz:J$,Ir i#~bpB}5ᲭFD4Y11!RO%p XC/eȶKFy{{Ω.'2`Yˇpl@81!.k5˲3ѽ17n٤C\ٝǔ>YaKbE ]=y \vQHzԹ1R$Z᭭(>H V.t^PA*ӱaMA֗)j ,rmjd-(Fb9:[ 3́h&ۀ)o2 jAY{4ʚ7| Y+HPC^2XUWʧ@0-¦и=&ɣ9,t-tdEr5k'*\I]:{ s #8Yuc% 3XDfUUVz0G^ gdG!H<7"#EئeUUmA ?A/Y"--n-nt&_]k{{Ƣa%5YtLwݹB1QhhӸV#Ѕn~<+|IOAJj;08F_#yb)5uD X*|Wۈ^,[RFvyk֌g!񨦰\h>P;/o 2:?;FZ91GVͤҡPU<kS˻̮ye;pQAJږP%]hMly0bc~U^ nq EevW,l~5DɽaW߉HSk"C4RF>dm/tx=bj"|̓@ͬ uO}-N!uLp;/'m'iDd slKTjY3C{^ZYhq)>Y[=Bk'>QBDl5}n>j\]VJ ?QcFqO=N,ݘoܚشC.oc(7kQ5xoo[a8Qt}bF^D>iHD>"IY )6"3eߧ$x1/O%^BD9ak}\9~RĆ^Z`uw!W1 =zAyzշbWbfjXS$g}ʞ ,J%ZQP6فR0Nsg|DF:Pڄ] װU8CocBW[tE@>YcfAmO#p ֆ?akmlQuRD$ U>wg - w0e=A?PY`:_g<wr@H_PeajȒA7[ɶ gSbe.z:n Y>^c.o/n4Eh۶X]yՈ%]}^Fь@5*|lA-Z98hvubQl"Kg.Z+@sB?LJ(~i{|mv!ݮ>MfUr./Q7lc g{nV1n@`\ys9$9i /2Z;lz22GaYX|\@9ّ֭u[ںW2D{e:nOs3`[!vxK4r J{.8|9 3LoE~mHus]ϐ6B8z&)zu$j>jCahl!O8[\_ PsAyF#48wXgiF(S2֛KK(.ܨJHef3 \OVt=ƙx!3hqR8K_ *}$8[LXGaNl#{~Fh/rg9/ֽt'IYMEz[S[R q0awzg/5a?!}]k_BK5LB1eumO#2L E i2Q r,WqꬒS}fSѾ#!2r:G~i~L*tPK#l Ʌ^\ +~-toE 0MIml8A)QIpO(-YZho'!I|l#6߬{r}r31k J Z7 4'% I4Eq_?HA 52(at5\!=OZ<ףDX;zLR(5M0T9b}H[zEY1btGf=r6~›{Mw5\+4l#!K2'bq,"uX 1l/jh%š_ znt}E>DٕTe0}8f>B8 %)ʾTH/mxRrwi;̛(ޫq^;6-zK>~=l3ˋU:~D8q〹l8ٞP%enQRGX˸6BC`& H Su+m5zO^&ӼܚQ W-q8e& \it3"Єᡒ2B5jO'3io-2gVM:)}&_D24/X9=-j?S2hcްXd,BaCZ#rX|okkP0p5ʼn_[|QB{ bAZ 3:+l(.Y~+Je -pF)(7nVl(j"Ռ<@FrnbQwiKCRL :5J*o oVYڿ5fL%a9Hr_ ;+"ZJ{KM6vvü]hF6A2Nqt$ѐAX~|)ӫiQ/3cHZ2|1cѡ\ w!R/(ڬl(S O+(m4aKތ۾w\5Iό$@֢ζ;f[^ +9ӴNBYc,j-;e-D`2j*A?/BL Lӫ%ƑCe>DDIT5ug̻yvzTE;kNkH夆Y~ie,x:yt{{KRat1*ZuB"uTNv| CG@F]Bxa,S:>LU_k7g@/zQ=]UuvVb|~ۯL5>PZS”R㇅a G~v^gɚI Dޔz ^EkYig];Fпx_2Z35e]`e y=L΃ v)\)R"_G% *&L8F$5ƚQ_une]bZ;%<;2VLM# vq]6]ʍhQ3#;0xc@ ΅׻EPr>U&^+MmmTQ *?FnMҕuC|#wB?=7 0/W [ %BuDº~OU\*L%3Trןؙ%׎,q*/$w}YZ)"R7갾`|r7`sƏԺkx-rrDu-êU?/үx*rhɦIOq[HT\Yﮀ2%'Opԓc~ML`QqHKe$k|.ZE&\|T9׺f1C؍Co8#(E9GuquWu`@`=f#:b ,y[K,)(Tɱ\SIλc9_4fL(eGaLT?m'i][!͓ unWۄ~2֚ǮsDB54fΨ+yr$NOYNO}+ȟ,Z&bwdtk>O< yd:93gV#E:\0K89sv҈pyۃx|Mu6'T;-++)+g* y,F(8\hºFu<3m>Ζ#zh̭Cl ̕ ;`nMK3ywp.;"ĩ}!sG v[o Yb̺mYqL.+$R7'@EbucA2(V;(Iv!sp:}fV-ey)l4OR_"SXՊܴjĴn7g 1~%ڣRGs!@gLdm.9îΈ2U0$glQ?1/x862G u=}Vsqd$%{ Ռk9aAx,r8$Ͱ:RPs15cPfbQM%rWtٖHq/NgqyP739De i'ǰ;╅f%#,?AtW2u?;:>1^zw=c\:έD/1Fi%_ʙ2Fgs??fӛTJe/,0yO}XwŌMZ*m&@͙T#^#[di β JbI}?8 P3ҋYp<@& 3rC K^uG?Pe,IP2WhabN4GR_}9ItV&p]X$PE^[X $;&\O:?^άhW7NUfbY:) j3 |E)x+٪S"!? .[N=?@0qt|⽥q8;~"%]ͣ WE"%$TW7! j].؆0fU;_`x #MEy1DH#bHa>,*(u05MVU+!r`zgEtmd;&XNG9hUqq(K--Tݻtj y0-4:B8>[S&#}|RLф-O"傮=GrjmX[fn: L_Sԡ;>19Zdj|fdj1,.1Cvm 0~rRTVe\%ݖ"\6Lyxq6:[T篒:Doxv(FH0[WrxIJ]>Ɣ)Cbcpuk;ʯqUBo/yݩ=ywrg  G,Ǽ]GafHiUHjon;@㇎x9̠ti=:#B95K]ҺҖ_!aqOd͐L4_ Jnϙ[+ōQ'.U?Oi, Ʉld ai%9ÚYIpOAS\Y`ߚJ|Iͽ,n  \OFXvn],-kVPܻ +/EM\J><CRs:T65r+%=.LJcįwkӰ՝H*SW0PITk{3}Q6޷ˈEsSb;P2L9a 9w{!B*ALKgՕ{K]&TQhi{!\Jtܪ-h݋+R$:5ku1J_jHClo-aBJ@jUwـD v׬UgQxk*R!4* WFdg0 ڼ]~QoJcYfHa.+wbJW&p%}˓t%0U(& \$&GJ#ɼ虛*RbG$DPavi:nj~L[5.` )̐{~>a4B0y(9;GPoL4;*Ύ DsY^]lhPEƬ^B\C jz=zR"%/;9Z%ڕC Z>Wd-V6kԮzY*nIvDң\0iT {?Rni'M+ѭCŕ{l-m Qg+9^ź;-Jt@K C$?.=_1d2{Ѝz@oG?=0@uS+UQeӜ$CKU: >8erP;~ڙ=E&6N [8}*Q cucn=(I얩?at;F'Z«d ahFMppKH ~\ЅSwq/N Z۵:pZ얖,1nNB髝'2faVb|L/:;TA}bL Y/'ᚢ'uT5P/m`i} ĘW= ^ȵ(Z.N5/oj˪H1MH-b*)O,,q7:[&!?0tgj6!%^ QU6[fYs~' `e.o̅ؠh/<5sMtOǹi>U9ۭ`Gˮ ƇX# }:݂>Lt]Fřu!JOM{8%ABz.k& OɆiDD<Ԏ=+ JwH5%? ߮:rbZ[ ^"T8g(o>~PΑ| N(0kY #g"ќ5%?!QHX`7vI%w61x>߻;ZT/OYg^#@NDXA/=wz"27[HF.~%lIO|$Yx~d[Q1M~i/Mՠ{TCqqA~]1SiDL^1k-U]9 {2Q: [D{gBJhC_$WSAˑܶ&)5Z- H\)J^J|ɻNr <.;o`&2f[Dpd2 >