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 I-Dd\ ]% HOL-ODE-Examples:threads=4elapsed=569.903cpu=1583.036gc=8.100factor=2.787zXZִF! 4]ŗXf[&}k%m+HAex֨[6J-oتAx ұqd+J,yǸ׫*Vi4KIWn8=w$NcSˉFp9xd_~=9ye=U;S8g_i>9٥jXW)z$0v*l" 9c(JzCjI39xmh0(2S*"dHaDG)1wosz9^Nfwn[} ZSWVa3ᖭ42Y Сte븈7zWė&!N-fgQб?_m+_-ʇ]Y/ [#޻3 `%z p$PpLZiA- r3,xyam,f[ =bbшTƽHрZb)ĎU dUɞͤ0ʂ::f`ddge~tV@E;(^+VG"2'KXvU ̓eΐrJW?V =m<54꽍}l+'1511 yi1;F꩏kqUX<\'u$do8^I>GYBѧ1DA5/'^YՆg ê)a#/L|u^=2%G/vFM˝NXJȎj?7 tf *'5(i&Y1gYZ7zXZִF! e]ŗXiɟ1ϵ%bϬWp,)B?cXrx+%ͳǂsMm3VwL!CI'k@NLFhzd).ed"g0Rkٹ/ڌT23f`oշ&i )xn[฀OgYZ7zXZִF! xf]ŗXi%G^ѭdyX1%M &uOg:ۻ5NBqḤƹ}̕[?1 ʦɐHr 2Y+!2a({~AtADn!X5^S〚)lsRlW \,όX=a޼9nӗbu 1|+e|gsك׎ŻA wb?}ok^COCH#ܲo `&NV(, .h=ߛ9;P:*S\ngɖ[u|Pg=t>+,vbIl,LEx)|T0[m# $ѓr[@j=\zC2uGrczm|^&}܈!!<ԁ3T%WbBp,{cBƑݧŚlWJ!]H#MU ґm+SO)( =@ ᡪ뷄l$!€G{K6,J)CȔhSQѪ#<ЩlBs>aƼ_gG rj_={=$s;GRY5Hv q#\RF )wg:S-IU0835e/DY~؎91Y5:'xBX1ǚ9,ʟ_Lu~:lup?F\_x dA4U&N =π6yX gCmRоŮʲd<F}W@خS  ʍ 1GzMJ^&B ͇`.fgo $=%J cFם!!)Ng' ;@uy;Č%oK ~T>FBAtX<3"m h 4Jcu7ֵ~{'d'khqrG9WMᮺ-ws  Ne9K,U4kbO2*^+Q sEG&*P9~'6mz[;ٖf.jrűSݷfj`h؝cVc7.ߓ91+ Gܴ {zrFwѐͪ)JB&F 6-|j|JP}S#;P d.!\.eEg;M\;3%ߊU\>XөqN,k$|.FȔpS#9[PKPi>|KIKGdW?+M Yk7*v⳨@1M#i;J ƚ}`L ^<ʙ?vѬRZ>KyoYx~_bAD&1tgef Gnui[0ͦ%ȩVC)V 3~(kCsyTXFle.g2c =5#-hT y9s&|1ngSg1*`gutEapm($:4(Gz Їƞumr}y?7.3p?5aX⬓FTV9q͂bF J|GĠLJ'H˖ˀut˧, _cŝog <[N_a>>cL/`9:8Q;AEYl\و/Z)g1WkyݟߦF|]wd LH<`Y1vו7OH1u-9:ᧆ\*7s{dY}*sZk5庣?B.7MH vep2Vy:@ qqNWr\AV;0sxb`u a/%.q|,0R$3XbHZذq\ue!&9#s:}GӺ^lf+ zBn@J*Lv!yX/_ڞD*a"Gi_[D! oR C~a4% J]j~|540`6Ѷ:j]I DzBBfd4~n=K1WU9s#_ JY S*;z{sOW՟Su KHY~16={q߾bs8d%/9DFe#Er0Q?}2΃]T܇e)%24c\]%),Rs,1 - HOL-ODE-Examples  k/#Ԝjک!<Uޛ{ _r⧵2t=GFAp%s"t) -3J?Ճˏ/+c]Icw8:)2g˒rxW#u;I?S`·LU(%Cٛd+Dh+谬e`X0Nnlz7V*PY;(X+Q GHr SCm˼ϿpurКw)വlSEnOŔtHS#@6~_\Z2> vԸ1iWbT).ZJ!:%3kVu 'D.PLUwiHީpq^Ky%ƺrRZO@2~Et5Q7nx׬.n5ekL蘰dဵAFƶiƚa>DkSKQ̎(Fn.5 ]_/1&Ri9I:.<t:80~Jl6lL#hzŅ Q5n>apߢDg,C2"|&Nnk/uon33Czt9D3C@IⵔOk|Wak$Y혰EK4P2lv|dL! fO iaP`ߔQY⭗#L%ՀΏz!?ؗc؞br Щm}u.30-@~QM{b (_uYlTwN#fRKh lXڔp(A^ P*Xꃃj%vl8 4i 复2prݚ=$.fA[M"F!B0)Z$sgn+ɸN#5ȗkm)j3kDžAפކw%5h@)~NJhq+TXm>ExPRWEY&vsh,DO{㗤>.Z_ѓ@xRsWCb/9\1g?53--{R oȄ0ĕ|hTo .:Z~lDaޕ[?Ŕh'~$I] %814 6x\^l*ә%T%y)s ,QX(74/mL*?'OOm$o9IL>ԃ|mOe6^乤gyYԽ6td<D~@@J@>&ҾJ}ol A+&m9qv_)8 ~q!Λ?C72ꮺ쟝 ++] \>h9oR)tH c4QhZp9H%j~_3ӷVRh4n/E(IzE@H٪SŊbЄv*IS]6\!Nqu[yVN<)nNxd3uyYc8/eCؔ\XFdď/aVrt^Rv)(Bek/Q3v}, 6Qyma-._V@ KqnqYQh {0@ôo M61G@_PΛO7uNPNFʈ> 5׊ᗡA_`& } Mk$`L=`E Oxɺ7pJȉ T֍?QJOQ pWJ"~ibKn* 'Cѝ ƶT+rۚ^پ;-aY ;{֮Kyϔ1#tM-e & 9vݬ߲ҩ+Q?RqqÎ<\ H*g;7g:r:Î?xϿ.ѶS9K@xGs'o#b=`6Kᴦf\ƈ 6_h-5hJݞNaJD>z5dF4s78ۉ.{2-[vsΡVREhkGfa78-1]Q%ZDύMgp Z%/٢WlF%}V"Uj.yQU\]<[rGTS[TH*;-5l^BETAoZz׆1nN`D/m$$ s8oo A˛ -| 0~r8)ڽW>-Э{}wGĐͷթ{0u.e~?mRyj[oz>6L+;5D9L!?I.BE-߷aF B ZX @QW!A\1@4ƒzʼ)C< u/#)gu;8yu$ehېR-vi-)nDR-/7?{qcv!9u+̗P' :Y#Otfg:b4Inyّ>kB|!40|98[h;i `0I.n|D+L*oUq&5i+6 c|HV߀j% ޑ>5ޫӪ(^ty O1Qk1 /Hil 4yr 0H?8/%*=p{׋ov>e((`!y_aJNђDZ vw&Ka vOm  ˆIz!Jq7E9XZ^d1U5z ot+$;F*30tUoV䋋ve7ԹQ"ZȄh-s'&௘n^YK\<52MLλ`oq?CH=&И^zu]slC"+>\ "=av83yFwzb^YGݱ2D\_r~t5^!(gw_~;QUЌ<O\a1 //gS*MD A[\HXa,VY!չ5B.8#JIk-%G.h;[SwْRSPJZec$U#/&P LW/e|ⵟ8BGBW >3-TGV E#x802k0kKdy,YtIRazS CAeBɁSW:N ,DQ (>Ϟ_ڸ\k.2w@f%>xa`6H@CB:Y,\c27nff>b?tӡf1WzB(x|cۚ@ 1Ę|,.;8tTNM.(rݿԩ Ftw:5.lSo;Pe#bUw)$;]U0 (>X L^DrG+P*' iF. f:p\|;a%n-j*%.SlC2]vG_ L[R(wėӢ̯װqz+$>h((Slƒr[%zi%y2渢v.F~dE'|SCi9ivb$#ޣ[2Cۄ3tIYrM$זĮ4A.2[NZu}T+G4:sn㪓y A2>KpV6بig("| @_j F-3mo I_w$ z(u/| Ig*4L^7=!V\ v@!o LHQ$O'Z"E17T'׫_>W]basSəHR~RIKSPs\nJʓG'e7{l=B94kߎ2a%-r aYvmGV h: JV>H;U% eItAW!4fPPḾ/t/Q Ҙ034+Ld ߁3`)=o5N-Ėe>[+|`ۛPLWJ7'In2|ӹdi~_i7Md+8D%?!/UOec[e*9_=ցc '<^ GEPsoS ?h+E,;?RTk&a8Xݯkk ΤYPk#bfIҺ_cm18zh6kLMb\cr/r MQGfo~B17zb,R:$c ;6xG4]{!lIW01ocoȹlPo.pj3XYW< ZOM:[g$;52md-̫E/11:{>B΀<+u艬3/[4E@-<>=Anē Ě"jWQ%pVpt6~ ٗHɸrh~p1Wl|y%*~nqQH ,rO E ;vz`71%qpV x s0Q&GGlҰ5X ^BAbEbf f-6\FJNmKwUU^=-7YJ9x<)?I@@E1U`e'Tqkf{g6IaAh,Dy2d1 b;H@% SVOqRd7 %Yg!|!͒RB7>6T:39%C wt =dL8XJ|+!D$#wDeҫ3`Xe{R]8gC0"9㹬QaA=J*˅(r( ]Q'*!nZпnTKEn _`@F?/ICiҚ15ږw|K·j+%i y==<5gH 7v Y酕,R=$&!L@W[FPˠ_M3+;;W+|΢͙uI} +wf|D4Uq$thɶ&SPozN_cyXTjSp н7k1QMriPms` Qb.)!08IʼCiիzL$xa߇{XDlyقMeSeC]B\Hfto6Ab /k`ߋk*8ֹl-H3QB9F,"cb%] A) AFb5ۢ&':.סc6dMbT#%)#sF f= 4_MN6 >^b0cnDPa(Ab`*tGmmrWʒWM{EFb61OOkD`IrezG8FtIBSi< 7NJ1T^ -"">Pdoqa}Ԃ>8NNǪD}tdoqY'X2l`' nH̝\i"+] I1U ̜4rCtZd)|S_[ }m[Dy=#ع !n[6N&T 37:9)5Yg- X8YHaOw]8COϮc;J.  FL6' !HRsnO{al’f*+/0\au0x9Amyý3a% ./)_<7ifv)&g+~!!- D]NQU>Ǯ!OvqBVpG-_Ppo2 ۴X|˛lLxjE˄_"r<{p{b髻ZD䏓XCs=]VmtU5{mllm#a ő{pS!"b|.Ƞ`CeD5N4eɦʝnNZML3e@o5:veb-[E cdLd럪wU"7uf]+zlO|([ĵ(ò?ҸpY'@/ѩFB8|I&~wWp lwT¿Bж@l .^h[Mv[as8h \8mf6LIz ]J,EG3kPm&3 df*wHyuL˻*Ȳ>]dvXb"OKGK'k K-ҌEm 4~@PRކcRͦynI33G J.3lu`kƌ٧z\HǣsTCn bOW^If pz1]-8:INe|CV6'~4? }!}CP^p.RS⳩P`R)ꃓ0 xݼslة~=Zbn)m4soZmbD@۴K `m_eMnXϨhQ 1SGXˏi-022] $Gȵm"3d!y†aC-2zN8 U b )S ^:7@+@l:Pզh( `#[Spg> lTE{(>ES Fruy8EW'~PU,v>i-Ri;-jIF?Zۼ\vKHr  \Z N$2+$FRT/1tٹS:H*Fr;lAԫe Xg_044wq$p)0ks@73˺;u-cZ&d|?yMfvvw&N:63$Uo[]C݄Il[\ 5 ʟ'+=IBPq\CۼW*D Q`vFԇOHY!_A~8r!ܾJȲѿas^-I_` 8%?H]mj~$&t%[yrުzZzbFXDQ3i 3߳FQk5oIe ڋI){0.GpvD#M$"Ј/+_Xʱ1 Bw[gR-d?`&̝|K!hvܢzBU/ 6tXͣn0AwSL >?MǺNVLj&m٨$@"Qd3%<ܵTz-2q0(2 l]=B?RVa 3y}ՂrS94G` *EN-B,{$& Q㵫>uNO[W&}yjDLZ*jުFzI+) >!A&/Mפ/ް&}]T4an^i%ȏ+ipg"@\hj2ղ\xq4K/=sgO?fiwBjʳˮj BͻsMFXR >+q( ajy"_c; /VtD7oBM\iKeΙ[\)`o*0HĿK9ke˯{KBrsN~)0*F{lNW')g%dU;AUWhUCP}!=xagcyBAAj67Þ]c7Rts!2%BfnF?ﵢc km#,\n;Iӌk'snX/ ˲!t4d~ 5mfcba¬rhGww*Hl!aE 4l(^? YiyvCWWh1OxJaЏBBoq_lH*tqe>.wF,,38p@w,>P΅e}& ,Ž/͔ P}P(62TUŵ!j,Hj?[B'jw=QJqS*}(@Ǫ -}lNGKKe*+^&dh7n,Y; J"8|{KXm9y1F{5NLh`T"tD <͓0DVIPlp^==-&vwFHlVsSZhj2cYM7 ` N%'Jw?o s)yy"dˤ'6a:|wrf λ"Jj߀iWPei5kcr+d.bg ̼I邪l6j έ_g^(ϷYQ+M@(֧&S'M oƏS& o|~w5c,cAȺd] VO͉șQnb"58ލho؀T1ڡQvG@?ͪR"`ҷ)MaP'F į.E>. g NB'cYGz^u!aF-hj1 d h>u|Q4ʧ3O,BS1f55]`5y*w?p&q,2w%ўD@Ldܛ-=h  kv5)?3J|V}ƍ6a3 fԵ0}?O̲,MhXΓya#ݲ b&3Y5:;739'f] ͱs.3 y"yc9xoBH).?$u%Rp}n&w+#dknK~@vI~joSy8>u;b2/ȸo\X\jnW+ӬL?@%L,,,LҐ H̪wZv!>TJ{\~ay c rJp=֜*V\[ˍRFn50:b ѽ ;Qi!kC,b*a  yH%oT)0_J;^B!$ Pdn~e=S5zi[ |SL:^*m7$umLxkDj%b(2QOQnl 8aي _ AƑk5^ Ц57J3P谪;DR٧@ګϼ#T&+>楞U6iU2xD1<ȽJ0;#fB#ӘMj%G':Hr)~"8S.vxHSS;ޮ\-itP[ ߵiIbN(|~Κ.OVYy/D?#o%Ĩ>^Ci#]7j B`%P]A 4qY[|ߊYW)$L, ;/ y3En!e;3M(<XpPH ج|o祛UǓ7:>Z^q&==G aGBc hR ή<^kk>5J6UOER̨\A޼wm|k0"z K#Ք[T#>FwX+ۥ4 #AIʈU6Yhr=Oo{sE" 7/0#`\ ,!bR"w`!['qH5uM_ I#?G@qQPfDd45waN5%:C^3HPo/%H%ɕ2>[BA l6ؖ.*l/7جK(5@L ߋigk5-%We]Ă7~%s*E亂^ƥY4荒o,Pd@Ze;G3(db= ݈H](oھJ4PB ۼƍJIU#a±Vo@ Q ҟ52` |/hНɣ1%qoD y[]$͸@u $ݔPd'ba¥BXl`}A%YNAQ2W3EeB{P9xVZԴ![2F&A@ɤ5|=LTRII`M=xlj@u 4.\Ϻwb62{4+)\j(]Yj]Gr3˵ kԢЦrGS.A5*Q9U̒Mtp_\X){~̚ma%"p8zNw"uxV Ikl^҉:};"rRֲzxzD E }>Jw ^{Gc*t\9<-lg#֖xӒ {?vގpجHOa9 %P/M7E=z~{{瘟 1&Yb=ؐ5+ B{JcPc"l\ [5lok亸y YUQhfVz݇Ɵ׉ ;LF'x!Q(o3%}܉3bA_܍ϒ $(+(_ e EG=?_7ne[-RY4l#aVh|xXj.R&\Qx*d@UCװP$l]y$:phy |E|J8+2وw i0r I߱-One[&o ii#M5IFkF}R. MfÛCV CtQ2b37|9Q&>VA8qФpy-ifLsu>iL(--׹T#XZG 8aO^Q-Q̋~B>"cMU ̵3f`.fv31KOQo$-"<8scYKlHu أ׀>x+-nlr i6k[E9: E"GLl=p\rkJ$ge?O)/4g=6lGXOl|6:|Qu cm`z#xYF ()Ak'AõKo K<{xحGWTȆDMey4D͇"G^ac cqPݏ齊%.D" )iRU'̬(6݇ Ϧ3AAk "Wc%FNd͡x>bյ_uÊ/g {oH~xE@㲌 )6P 8pgR/i\ sA;-eERuB4H|KݽYuQxߧm` m$;Jd=?/Ɣ 4G74[,da bdCl]e@1]e wCY:%/,4w~2G/YՒ?70M95nߑ_6 \z !"sW}X^zL%?HU\MF. >2CⱮ/^݋QSU ôh%rO@k gXsAðر- 9Z(b-e 7PE>*7a?y-AWRWΐķzcR 4^XYg we4؉/S={^!y$w`sz&1r{뱶Vȋ( *0}&6 2>ogs? CUsr@z"ƍp8h] A.d|[S&|pc"ds5W -*[%z)S u⁐Dk㖴O>SA;S:'FʢvLP7*͛Hn&;gqp#lIˍAcۣpDwg*[r܋O}JUN. Q: mO$cOYQn<]V1-a7T %G9 4|ƒ=]_|C:>(mux0-9?$[Ydve?0;zQ3?Q>L*?_nzm1eodqD-<#_u W/.o^$qR{ TAC*qK-`j) k\;O,2ܶ[ |1xr%ou2E4qkSC%Xtg/EmNȁ0]- q>1^5 a R 8Ʋ -bXߐU +0Mg`L _.ѕ+ k0YQLF mfLV> I1+}gN RC`E=yD]L܊mS2l\`DI9WMXwz^co %`56o!mctm]܁1xUDedi6)coX D%FI/VhU]U6sB[C^'MnNBPdo;˵-m% w%n2}1E`6| / X[4ޟ 9@CjNGii4y-W^|?D(ǩ\W Z&Q:>*,NC7sk=(p ȊuRE'3خIs;9 ׹: Wu #$qdLb1sd),ڊx5 E$-܂WE镡1W0о_[&YN\8քjdd7oP [n= 9= s.Ԯ$j򨫊Vm4JLYx2a<֧:欒ضUl{l6q$`R8}9 8;JAj̉f2uƬ2+@Ԗ[e 5V9dHtzo9}h%+v4Q$p_:zslk["MHҾ2?sL) "E,z4We:MœS/5hZk܊*:+@q'&atY`izωG~s_n " 0uhH%ILk,CADC$"$aunf$%R}= _/!L"LB)91Sz P-JV:@oBoJmq_Ep5,rġ9L54Ws Ph ~fN7,@dp Ɓ??BR)/f~W042oI|؈ 8Hzeh9f-h s0q(?b0XpOidV h {/cuFr4 Qb" g 3d=Uzv!_ʯ?Gb >D2](5e7JJlf~@s`:04gπ1Nӎ xKbPB-DXZ WNVr)2 b><]ʮ'Sp'JvADM Nwy<~;{y *bL$ECQPYH b=r]0sQ*b3ň?FtP*A*:;*~3h}zpl%<2zo{#rFCbi,';g-WGg s- O%GfgClUHYE<$s/TtƎQv Y=^—WOԌ޻ݮ}eX̐Lx?ۤ@etu!UFֵ<ԈH8dcIUXd SuF6 9Afmg̋N[j;TFYFRClp7td86V$6R` ~t[^l+ۈ8(o^|Q%48!WU7VF` PM0ՏsAg5 HYڋp8e)#76cwoZQgKEHP:#i]Tx Q$"fC|3)gC r \ zX☄xDhY[.Kfz/7 9.Sm{V*9`{vӆOCߐ_䰻,eFTޞyGd|~p<7c/~gDeX!\HI|᠕_,#yPF t o[\xr,]R7-[;3)N٥km1|2P%e`@F dO$[#KȆ{θ}_A8vh暝!T92鿬Zg@1תl֓ O;ͮBJֈt% KU&oLOXO>J.;3LP9d rc:D(~1+UyE{SNlXde6Z_jjВaGZ?vc41aδp|-ݱl 7\ė#u&$fR7&5&ܻ/9`y_nՂ C|b*߬MʮGSp˻m!ʘmKtv GlUS[1 H,Mp eY݇}(ly.D'4IݪPɢ 51@"m2PNcd:kK'/LiKX$PVߐ 8H}`r.nζ|(Vms Η 䚞q'/;N6u-;T&K?wYpMhɹS !SoD);H@ApdDAju{e^݂X5H>Dih[o+O?n28D1̳Lh888kƽũyL6n)+Ŝ&᧟QLecy.FvGP` Si>Qa~^~ZeN1]`"hq<) !=SY{Iw$P iĨyOɂ'Uܝhlɠ1ff.5aDY\]V_Џ6ffq=4̓d< m1'Wey1t2z9%$Z7%O`8 c]-6}1ȭ USqeLF g #neR#=XsP?(;۲V"C/LZ)B9Q؄iV-ك}P6ykٵ% Ay I=Kúxb{|J6:'ʦq Z#Z[vfqii5׻z b*c:wY3<Us<8ua~[L+  M-;n;赠|jFdKe;*Uf'KvfVn)ٛ;`~]F#,g.~V4._*F5Vw?^8;%aaGYc}P#cbܷ‘XbBt'YlǤ bDRs $s, r;T! Kg}:{/w@RYtmlkɧK7fzO\ "g+9]hn9Z{ņ:%IMZ:&a3~<M abE9394uRYi|!MO+aL@F- k )`Si OSآ%X\CEu#I ]{*c/":V AgmqvcuU$no+w܃Vzmn[bI&Ew,t(4Y3Kw< :GSIa"632KvB 6:!Oa竪CRK4 mUٮ 'AXn3r9;xq.ΟN(s&in>^pmޘûT#$Y;}m!U^`Fԥ-#fNT mev)y젺23a^9B]]F*KBZ9P\&>GCc)hb`69mY%`U *<;2}%3kwG^0(5a;{#O6 ?_>4Bj=3ϼW.5E_{Et5puReTcƊKmr+k CBـWkA:6Ѐ>.Tp6$%1h `<)'v oB4^4jYBB=SVNw5!>^:?UguҐ&墓XlUntZW<` IŽ/ (5f 'o ߝ|vVOeCAgTffPw%@0\p^%;ȉ;kAR;MƆESJ(wyE9( fMS1%=v(k&MrEL}* A)92T-XYU,pz?w&doNgtL;MCI|C gc7VذgR]^{ 3v`3=9yM6 {£TΥ}k2HEev] N(hum]^"A6V,WS)3УC'ykԡg]yh# GeOPゴߒ-y_@؜XEVAp3EN`EmVϼb7FƤ)1dfXTG< ""MPl;zYydQ:PӊصQnḻ쿪sAm{:iOK>f DܱFMRq<* [цNsH$yֶjA@??Oר4{ -f j)oZMf_G1[kl]kPB+Suz\oZefBiH݄ 9΅SOm.ɼ-E޷ZZe{Ҫ>E Éjp8'SK 3H'g2]VpFYO4ha5xPʟu܃htqהǦkqQ>qlHP ̊Jhk1/"q)Obä{#'ހR^Wgxc*''+NŽO$^gXtKSh)V* ՘U͓<)#z>]sǬ K-euלSUɔK)M'mD7]*x^}}(F+G(1Ub~6eB̄-O!bezJ2,6j6eM]@$(ܟ=vL pޖd`,m[]L{&WiCe|0ס%?+Gq3ڈfdPok*Yӵ08#`J'nܡo/m#ZneHO2c;9m#esMN)%i#dyw-Kv!EF%v>V%JזÄoUW ) U'!O?f]mh0\?U; 7G滄.ҡ~#ALq]YkuHmmlAT_*')oH(-sֳѹ/;WI*ȜA=>^Ǒ&.$3ldtsH0920\v"Ld>.5 %m &SUF}oG˥.@HʀOkÁ2ɖe)ʎ'f@]Oiڱ&`JXq՘ݨfsp$?>(qJ4fɨk„iBf9Q*W)ܶ>!D(W憻ᒃ9VBGy!8cGjJ綹lx-p;;{D_#d<W[@ȑ4/;_z ! ř/4#[Fo@t4<[6|ؤTޜz\ ẪWMgo~GH7ۀOU]x߭l°1'\:e *XzOL|#9g5HBc R4Q?ͨ\ː7U;9Xg<Om!9ʥ)!SݚN\+E t2[vBfn8[>.)A@#xO'@v=ԡ/Da@j,YAZP3˓ڌĠT`7#'.\|]!Gt6l3T 0嬮ZԬ.Aȏ|l1g39z]ZOJ{yFh-7q.rC9GhR4!/(0^effx VL^9䖮*d[Cf)?Z:F'/qW‰K$bB iֹ x)2;·D>}*'e+@0{~W] Rc5gPM٦VS!apJLېƤPf.vTt[/FE_9C7BNZĥ7Y7qۉu5blGή[XSSC:FJFJe>=j3{N LS2H\V#`R_z紣3*fJNbOwܢ8o:,ЅuK߆Hk-Yc36s!"ț*:fgd=%QMlQ3۪۵%w^]e.8䱍=x+oT)CHXCAV7N>#RD#J5H2J@6vAOY}X&(?VzC{r_2.l^ހhT,Hc֐+8\+u fީ^f/۞ |A!~/ds] ȧzxjOU595 'Ԭ;򘀪;v,49>flrHz[j*/fQCSѧEc8@sE$;RJRU۷A0 d2#&BZRVwώ BA;b=S٧%!9ǤYi2I8_ /f^2XQ0.QZ!apQ(2ñw+s-'l5 ",uo(A NP\ՃΩ \^ l{*.^fWy%5S0B5AjUh}I\"ooظ,{?k =qC21|)ylgzQoLwe .ۚͿҪNcBh4cْ1zmw;Tttf^:6QJG6 q92N 1 5`، ߼4(LV>𮜎A4!4i޴FO*( A/ݴMp10մqXz F`vdknmO[nsFh$޾ Lӗq+r8h}y0V]%_/Dlf )H[y_kOC. ܐ,|ǀj҉D1eJkd/tH訏S^Ya.V=㰝EGTRed 8QQJVFu-Gi!'Vp/1HsF~$XJ4YM\&k?K5vz\H\Td;)6fi)PTg E9/уN2$t>kb.iCN_Ir)7DƢBivs=U<&8qy0_{@kqR?x}5Ru0߇2Ofڌ o9pℌ{G Z3fDف/LՁ#\;"?^^Bqz!i0 w 7yq>gc'@"BIo$\®rpRu|54t9lVFe$j'j ,6T\[_;q2$tpT0So V&Ae }0lwd?氒[3g F-3HWCp kWo?1VGĈ6}dZT EB1^{8N+;e[#i_O-܌cĬ-a㒮Os9`-3ಹ-ƃ EV2E2&V0W|(mH AeϠ\ՅL %!HK4 B(-'yCuOJB4D=y=dIlHq@K!k%,e@.o1ʿud!圶t-G۞9*{uN-!]& UOL6Wzbf52Kb]6 `N~mLQ1z~:aT&6QVUV.ۼY% ps'QQEE Nl]ˠ9!+wu0MݼE 2[8(W/k2-T)KAS:G\ӴS-{7wNĔe[ *u%$yWA%%Rb7-W$ɡ&]~xn"a}騬<[1͎qpH_~089;V)E{񐑘C00b-o<ê n Lċ&C(Â8i-~ = ԩI!auKEl,5c.}_D TUO\+!AΜ,>N˕@͸蜜 OAQR MW1i%,ȷv.i4m^ZpAߘF ͦ"ʿ()(D:c;#_(JLt.ja'w #yƊFY;nLG(aa#:g|? "Q }PPFr}HZS 9% Gb3HxV8|ZGajn9scWj劧m1"=Հ<4 QSϒQ(9~.#z::;4KF[T_05Y a#dadƄ!\((nNT,y%.ݓ}AސBngrmEz`g,3 yjEq3Pa:ꞀM/AYMcWxWJvu sGy؋ G{o; 6H2^FgYZf65ce80b1e6cbe9a4126124920322d94ab03b46d4b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11 ca84d721850d08f1af37fc17c547b454ee7f2811 1418129fd1e9b0d0cd40ef14dbaf633f48127326