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 CC-4\ ]% HOL-ODE-Examples:threads=4elapsed=565.302cpu=1580.536gc=7.936factor=2.807zXZִF! 5V]ŗXf[&}k%%9~) sרVr92G)`(暥WJ}u%Ju -2jB#fM-J~,C1iCb5`oJˆЁT[݁BƩM->=WѲ" V\-G?_~ !Ǚ/o+ @#Jp{yط8ĶvfQt";m]V^Ufw 9}oYIZPtHx2.=1T-%ۺ4kxz9e']I뇱8kVT}8?삏{kuCQ9'{ܳL]0B*R1HᵒD[2 1[\HbbJHlFbhKڅuבMIWJJt:q?w0}Z\Ušfψf.-GVi>d49`g:ٻgt)6<)2~ T5EDjRdgYZ7zXZִF! f]ŗXiɟ1ϵ%bϬWp,)B?cXrx+ g1Qkx7Z߂%=XoO)yW9aḽ"2Ex4sL8w30 7uI>E78W% IiK;;!絃hA*QPHWٷkx ?pma t,BU\Ќy(\P uYZ((آ|rϦr/=2;5zloI2U"!WZSng9ܟr?ㄤ<FSD% qzD& fE_ˎ]cZ}ɚQuVD`hP)써Tɲ<8E@G?utn.Rf$*e6@2}2-wkTX`v \?`ZcLJ-k8L[L5` HV)?Ows,$+[RolE*,qֱ+~FvQ?~\xrhSZf2Io`b%@SF90BZ:~[[5PUQF/UJtGLfV'9]DTB٢!vAMDǟ~jl{?B l=/ xn/:Pq-W;l9p{S@&_`1#4EUT 1 3=w16>L _R,E|.J+zLawi[T;ȜÚw ͊RYE!_6^OhfHZC&&uAj59eDލ~9c9¡ ߄C.HL1h>LCƤJ*Y":"iԾ8ZmAc8S hY; o$KvL¥IAN("vYCw%= (.҅9Խ~4«y1GwǤ&Ar8+eB$B_ķ9`Ha!9E,]}p3]-%V O%k9`D6ӌܨhi<<( 3o#'9W=Tf@n?ݥU0(,m=ɹK*nТCF/xlܠ^8{?OY YKBTL6#$O8 je" ŀȶ֮s$;-=ueȍ vnRbxT,5HfX4[( |]׻h€8P?bYvTu+VL[xV^J¸)y p"vlwAAȻ`]:Su0뜲5y2Fp-5.:gvǽӽI]7֦ 9)nÈ(quKsل[TPd",s6jl? B跧C,Ns ܪF\1:|'vOV,j U꼙):j b#3h#BGnj@sމO _Zij3_i&ʗ C'88u8k40rvn?{ܤWMtxU"^ )nR1)]  3`TG)eF - HOL-ODE-Examples  Ř _n8hu P&o>SN)/\>gxJ:s0A;81AǸ*6.+Snp JLCH%I_J&T{) ߂䆯ooR&&\@)F].qR0 D/m&ucD  aB/eݯ޷z:w/]dImoہ}Z8h2RmBkfꯞ @Peb2HHkA`H !RDDKz1OY2!Wove^qC^&L{hX`g;%m=s1w8oa񖭇V hTo׀Ή~gpҙ\o֣ =zxw%tti bo=- yz?+SPa} V1Esp; L!e̕ld+zre$ 3I.M+%DL`*lX?y:i0[2@?p o&oԓaֱ ; {ʿQfOnN=0"%kY}~Iײ\*/Pڛx co~cL^:*S :GHNP]"@@usWt6Lѵ:+ޛk|Z6%He5K;,uP?-)ɦ|pS:D<ġ|:?VbsP HkJh,Kлo|H~R_uL̞}}J!΅'29(r֟ ˛_X.iU}pă$c\Kj0h/,~[䯨iGr }1@ D˜H# uIQU=}(-!3O\1Us;XCoV gWs paϺNc԰).c~-B1+cv&^'\S2֎8R}OV]<)Y,/u<)SFNݵhɏB*HVJw[(>VyleLլTY7+.E|?f%]_M-f <l c883Scj;L`R0lLS%x*=qVD T۾': P5X -ğGg5LWN\J%xaaG5`~nII,b̀ ay+ lݳKA[* 6_0bо~<`Rh3-i&ޟ*BkP?z+161۝"k6kur d9pDfJ_DDݸ]C۴,]9ȎHdiʚ$Sq8XWEc8;B*݂'"TQ}yEwNNEg'*WgH'(T Yar:E9ӁO&xS`d5[*-2KUOebg!U= L eB~/|o `t} {c@{bcDT9Dv: 4-f%&L dx +; e481C@~48e,$ܺdtAEܖSviwBU1a!ù11 %se2"я6n/kCK nn-Jd[`닇TIMnn_pYOC1 ޿?e!&YM~Y2+b$t xԷ0km:#~a%\w1dm :m:_me`&'+d28dp7[Mp>i qXQ۠^Xp ӏ\3tsK^t'% Ia'x>65`Xrd^|n7PS>Y&y\^b`h {H /S)mQ˙qh R ,U'yi>1E Srtֺj-H_f`fa-Euہo eأA7/x5Y8_Y$W0 @Y]\{ˈ*&LKq:Oaz %U'I}YvŢԺDHf>\qᗠQDkYmȓgjCQ7i-fC#2}sQSNCŸysQx$_<$<E5 *X>liwW1]TSwufa8g(#ǔÙ&Ȑ1oDΡ>$H NpWCx6Hę_ Hs K-N&XC¬{>ۭf pW#`Mx]OA}3k:ܟ6 MCL_& Z= U:p}c( sKhr]au0Wn~"zt(7Iz63 j_G NEώ^ :/ ^M<,1 T6xm9.>]7 lu"a~@n.CJq% zϽTjIp=C6wS1S\0FR\Zt?d!NM}:*t}?^ykuXtekI.l$68ٻg dXE\o6^WNL݁y}@>uQ#=Ib.6tj|TR#HS./c!m̍/ 'A%hKD%W, wxxߺ^:oY +tBMui'WZҒ+ۡ5QCWeGy&WFeS@g:񉭹Pm$^UW4%2ZBc0f3S[Ȅz+b՟`CprM5{,ۃAkV{dyXը砷$=  ooe1rxW_KO)>gnwݎiɒ͚ 5*&zcIQP ],B4XfP'WUZF: i[Ow{n9F&'Q`CBhO`Q_-h@vO{*Q :m-@/0E.JmՠX+Q&2ɤ\H=;oaDS6= +Pay.U̐<2 cVGk3ǔ3F f#Ce˅ƶ )$IA//t) 5 sʸ,]Ε0hfGü'9FuQ3.n:V%#@j3B=DΧb9DZUԒ~ïT8?e_fܦ3;[!/Lǫ)ӑe]_VA„\wRv ֔0R ]\=䤽kv1 PIm":n=dذWWbz,#ڕURfcY5'6ZXn*krfxo;΄+ KňMQHYCd#!67Cz'.wky+9LءÓUUC?sT..%@ ;DXq]Q38\]8%('ܥ;6@8"W@< J%oqoh`\1Ƞ\F&҈Pgc[\7X0C|>aZ{wgd&سʸ{d!G/c3*vo`듪!*6pXەa )z[ͬ("'ʴtqf*+5u#? ~NaMgXptKM5a4c$HAB]Q{ut/E4VdC֝D=rY"\/lRWNo2׉g5E] @)du.^9F84Nx^;@5LklG",T !#Aa*z&*ʝ^b9-bϗR8jݺ\9Q;RT^lVv®ا dIY<IO,YN^]lR;OIX1@ Xǵ6~!b $c4hWHYR1dGlk1h3̏ >f{=~15@wcgO#{Rhf NqR\cd8:F7ÌA{dȘ1b!Lׇ;Py~L7S90vH䓛*5duT-CPwTs6d:~ ~OFfTnէ-3xLl {%a&>  4^ '>)5 "Ş0 MS^a%CxebO^[ɦEiKXh,d iPLwv0蟍K2Xx01bs|P.ڥe" =Ia@2BZ$s<ɾHG)ii44Z˜S`؞mf8%S.q Z TJf놃%Cd/I]W; &*>;>]1>1aJas)!-+B.K5#:&^dT"Cm|UXZ&Hn\Hڌ--u!]"sL.xI?WdfIyiTAP:/*Lc$HsV}ap L(ǹ[-SzD@CPzp7A3|#`=\fthDg0tB hSǹ6c^n/{ i[C~j#ex(?NkeִWwlϊ䥺91JجTT:Yc`ukj̶>* "u@e:'M,ң1Gּ7,ɋRƬコ S&t Vd;hU^{v< qE#w_u.Uʓ+f-#&m#ĵ (XaʇUK¿$tBGAnK]2'Z?5S) $^ XJ(5qcTAE4UX13AS16eK(n_d lҪ15 À*pCgvέm%?*uLnDUzVǯߥ2GF¶ҁeOJ64v˷_(_+{c``ڬW I~[reY(W)fdF]dAFťLWOd{ y_bw i0b-@{7nj[l%G=y jA59R=p}8vFnF9b,Z]5Ymb?Ui`@tR83r+xȍ(h&vry:[AN|u<s4mBnz$[M }-"#ykHA+ fֹ' qdO%ݍz$\R8;2$a'qW[fBD^"#[wͤj ^Nu/p 6']x[!J JU|%Wg OMqq@woc/x}^xb9D&K_s1};: $z3LgOq%OJljz HH]KD`򤩃gfyY҆@zڿř x+ޘE k6S紬Q%qcV*3^ Yű3hZ~J葴j[&./hq ՒwD7 AR'εSm,&Y(Ra@q\e9oCm+z~|'MOOE5F'~jE #f: 6 *+sRP9Hؘ4ސ}i]oz9f|W~(۹jn2< AW' :j.?:'ȐV`@=G5 e„ң&{ԞXQ8?؛_t nS)؂6 &6Wk&]nA{iI͇?㍔gp_~'R-{sE̘QD KYqL5nPTv$cyوg^0쯗a;HsZڰcȱbpF'Yʊ69~;̪Aq>N:loXOs$G-2޺ sg^jӬ(MקRiBB NxZ}vVE!}> _I.C ujZ{d,06_6M:GU jI`'w.u3ꎎJp׼!rADؙ/8gE,/*;O9GT֯m u`bS\Q7k)6lmZ3}i_5A&@SxV-g!w= CQۗqٳɃ h-%εu{Ů?~0AoL+ΞW08`~K?C(°jM*H?S/U2-S qz |'k''6t=X[EjBhnpBԧx-8kzձ]`.\r'gtڑAּKKqC=0lR_CtEshg}bq>/_à"AȧE/t?KvL<{5٩* L/946|0"Xo} 6T]o!p/ȅĿ|3N-M'I#riV8? ݽf|x;O?o9)yo۵ !{I V0XGt_ۻi43*Op_^G 6G2oS6|&[#LVg8R<Ā.5?G1^G6ěYooܪmH%H3[tc_8@p=֜E:zrXN}pqL;,0^R $N9s!FKz%Wam`=,Qd7U8o|9"-;C4R_XR1ZuAͶHՒm $|! )\6 Ũn ^lR^ƀ|& /f̂cVCiV͙ޯ!*Hz$_bm,4ArMݧN[D2LDaBaT]7e=j~ht0# i+֙ 5r֩RRY7mkjZ-CN;Wgкɒ3+ͿC]S?Rr;OjPkz@R3eLф gPElp8*5ԝ7x#!pE1MJFOjȉV^ .@z-qa@otAn[U?Ps3NPB|۱Fh. nEF7m? >{cYDqGbZevIoryP9WiKĿł"Y^ wk'JV#*ѻ/]t@o,ϴQﮣ6|Ȫ_o] mPH;nRt#Wݖ{A*^ ̀Е Aa]66ZѢ>nYlfdxS0n8"@X5gh-"|jGU:* >[2b3t, q]S6K*.߂XS<)uަ7F^üK}.IPf>'0/tONyF'>mG!(O.{#Dܝ7 `FD+_jQH5Y>K&yGlIbc:vonX]Z#foW'{'lw~Y7N&c}dh: d*e0MaK=V߄Oݞue31d&Js`URAĸX9jް6#Y4LGZ3`d.swgI6)cP ҄qtlѽgoO0 =Ӝ DN`#$f T.!!hjiX |_M0M/P[JA wZhoY!+)߽f ` rڷee_%᧔V=ߩϳk"L'_G?%%$6 d`X>ګLcf] 1Z ^]P }bLߧ_Sz_;'y+`|.NSt+4K]Ph@<\S7ry>z6k|> i녜Iؾ~GzEu&׿}U_ov[;uYX]'sz˰:kycΓWƔSbMf*rAlMzm/_.(`&CZ^53~7n7|W#pKlSbIu'M\y:AwkCz9`OD5"X w= 7G첫lC\448scFBd~- Y9wh" +]6&9KMY6 `SSWwI<D3[k}MrʹWZH xXTMiJjg@rҡ˳IVv~(-1R+'] Եۦ;Ia`pY6tH&3F&JP\v N:KŴ(X YOZ{9>n0F =q>~WVVQZz`UM/XM@XZ 9ӰUݺ@1ȜA@|c)aB*(E\;dN;{=z)1 U~$S5 *9Zi1(FޝRDƯ̪ nC&IQh"xSO$ AHP˓~ŴJn,* *$dG{?y͓wߜI+:F.U46a@%ZG_ir~t1\ G+TKi`_x/eB] HʃSyǔ9:$UYL_F|P{=/_uوh貤&HZuxPtl:82sY.+s}( !g*~AŊ}|TdܰS,8oܓQ?!N 3?p ~xO{pbF^TId ໲H_դTU%`O  e6_&D_LDbY& KOu;0Et)a(L^^++_݄E'+xߨ!VZҭ!%wkk2 qߜq7&rX:> :qڒ(z= U^zFM0M U%-\JѦBN3tjrތcOEM7d5EnM^$ zc)QMf 10[:z}&#OJ K`oy.s-sV2@6BL< ! hGF \|t A %ݒ-9sSvi!JɒR0)ɽM\vb YEN=Ț@-q΃h2[b%,λ˖`@fT%;J?B47u^sC>)ԡ5A{^d~Ѽ͝|vl &Ld$IOw̱-ȁ- [ >;,NAMvt=!֌LdfI&!Rq{-ܦyƹ #U^[gCׁ" H|e6/X1/^pV'}UĊ;jUtscFp? 0gGT[[_ J嶣>uv% f@R"=f:JP!DWYx^?$ƭx=xX@ V5Y#,`2_tߏ,N-i1:n\C^wZ6R!ٔ55AfΨBՕ" {lp٣lZEU~OlۻYbE._=1(xr 'KbĴ3^Wx ?Z[3ppx jX9āHes %6Y0I"o=!7v͇Co:n#:h΃j >u]%6fl"pX0tr`ua1wuBb̶ϑȃ>Iu~"\*_Ԓ9˺L#e t ƋAHRtF ާY_+EYUbD(w/%q-Y*8bT̡Bx/MZUc|ʜ>`466yhZJ ɉָϦkK(#?MWq*V ,|9@@SN#B8cVV F+ci牯2s'Ff s4M7 on{K&>CWurK"#@mE= &|J8IlCjb8nWppV2C2-Hb;8]/1s ^7 )EH3TXM$$Pgj#[gr>v5׌njǘǽ +Ԗ!GUD%停@or`mXM_+W ԪNN u$A+\8DɤL{ȤȞ/X4ES[m+q7O:"͢qʎQKP'/+!ٍ$Co}|_ $dS,v;.yDS&Aj^2HgxPDW'pEu;8n  1a]:/q"*\ db6!඗H1ŧ a! X!n) 43Bn~9or3VlxGq @DDB<"Gr> GY]#j8r-j{Q*QJ4W=tělZBz 5iƝ R3WY.QdbR-z IRhub$J9*ˈmIڳdPUvɚ9`Q偙r%٧*e' O4+H"@25"JIouD,_af70>bVx>*-+ ' z +Fj_',=D\-,HCN'.%E݆&&Y7Wgػd8*a*oٌʼn]N[XE{n#@4?="Mr hѾ92_eMHMa}SᱩC5V-Q%GGTCsA-+} 2,XAe ڃ,KKR8em?컉|mh8ZՏE98+pƠ~>;䜕 KΟ\΀D]-vYY+![S#,[Lv~HŤ.ܫta{q`T}{Q3|Dy׵}1?^  /(59A<3MȢ2hhjk/5D=!nJ 8j  |7"l^:Dlps`HiҘQ3!HUgmB[Ⱥ. *i0) ]gP{q,N <'KMO` jtϝsahh\H).Q={H9uHQ$9Io$P2^ sd( R>;l͛1I{ Q-%d>%d>!%? U pHc)9/Mm[u Xc,U&k0/m07fk0Cxwce1(T g=`O-Hqӡr jm(Kmѩ\CDlHr%Hif_v#ΣQt;Uގ|x^ |r/Sw}P7/w$Crԋn(ɇۢM  !!q<%zzz'bj '{2 Yp|4;'rADKsLw0pD=͗4ulX(p JID/`]%j>w !cԦa^kz*Vuqytb(woW'\xMbV-pZ;Ԇ ]MAh)娗>M=I華Gۙ~QAF\w/|ч.vo!P<.LFD uypn;&TbwGS^oejn-sΊ n\+MW3*Dio`'|z Y)ˆC{#q0#9UɸIgs=Kc=:)/ +T\B9.M 4Tȡ{N-|r̹E['זCƌ_)]7CXnW2:W->&E{By*"X@X,*"̄&hJ"F$>94`ʵA UHk1hIt5_}Lg3L$?{wcÕ +^}l>}~܉ӎW&kxN~ Ź%껇zjR6!(+Sd{PLi  3Hc˼U$d/Ckc\1~WbJ=^hxL}e#ZgRg>g?{E֩0ᨅKkSDZF Rƒ ]Sp_@}^YM d1vj+^c\x12o FL5 ǵ5hiz+Vp"zGU Fj\[|Tu~K`&\x P Y}JA ?@QW` \>Hп/>|ӌ_ m US)N^.I5|Ǫ&A%ĝz;SD(wwё.A۔Fڳt+:g}]y ?YmPF'Y 3RN4't"gA_ kKX>+ʔ:dӛ0$H .ەtI,uWP>Z7PB2IkL_J ~h2}"GqsK & *',[* >=}gZ.?(ĒrIs\w ZL#Y#z@-%^cO jA_w5uo]U?¼erV&:FCl%o?f@[=OX9O=*Dŕ`c2+6kqְ^D`VQс%`оq+=G oWRUbg]O,}k>zu,^ xR-"h[ 5; ω|ݧd .)|(ޑ4W)YOi*_C򊒿y(Y*s !t4@]OsP2|e!q (uם.Q̘E۔UmrWZ.{7EwStHzΪϡ]@Đh+d ^@% j`-cK$O}Z!z Q WxYjm}<9 dϯIeO?bY/E!4P懲r a|d o9(Z@xA1׮]}{@Oz:-Y2F0ڃ>xVhO9LxZ|AqM8rS0o-r=h~㨷*^|Sq8rBlK{7$DPJr>8Ҫ2 g۔;mmE;%Q FzK8C si]82bsaﹳsAc'3_<)B-f&n[z0=̍2G^e\b0)>D.ehyJKv1O{+55uAXg̣?-7L.Hf w+_M{@Ji}\,wCk#JpHhd6 PU(6v" *ezal:JJ4nes`4㋅2O"d̀{Z 3 pQ"r%$ 3oNn ͡ $kМ/cw"}S84/5ZbB<1ϡ+2 Tf w6hEjBf'o$RڪlI]q ]ltu>|!tp6? ldFەT @E OIf',w?j{zj0~ĐSN9 J%&*/ǃan2k\Ҳ@Ӑ ~vm_-i;'{~mc& 03ųHROr3Kh"-lXӎVҾ[uȑsEa{G@v-rVcLAoT8u-i8 uCէ%sP6q#/W>hŗzwEHV⹍x!%_NIM9>̪ %h pٵ;%;F3TV+g@R\; su1y=T^CGݕxI~ۥU(YRQ~Ƙ-}Q;!J0?$SV99 Tʑ[ϳnM(w.j! P K-k-ӽF<H/A{`EbdYbS'^ʏpܩie`ɱ#h;'7*C9`~}hǼ@XI@hM 1~%%lglGύ!(@b%z7 h;'Ŋ)q6P|i[Q`DcE;R}`4eo hNs̆| ܍w3%ڱ5WTSS.;i번h^r 'iW¶FɴVf=+{ܝSy (.쟤z$;;lr>;~He$_DC& ƂeJM%g%[h6O\S]l`;PA*5̐&LX6wtPEx/ p3l 1VEvS+dg8MZ%E<Bk Xm& @ora,Ş7O͚oRu3QWf׍iG7RsOsqy8PMBq 5 T1+)ah`"YFӵ v)?,ڷ(Qx4Կ8)ĊS}z =-ϱF[!;8vIjOZ?,cDTV zDYōT""x([0b&'K{(RuEc}CNК40?ܱ|kxt2/c>y eT 1 \MfO^VbQt$=K؉p 9׍lL"^$…Rs7qlvCOI^%+y+a w:qN=)l _EU|tY)@==L,Q{f~'HLOⷻ0O8^-KI0pE״Q>&5&ӑ}tN+Q]#JzmMp忂=o^;9O=fwrv;I2W"1%#0S 8E?*k\}OQ~/u0R^2 LST`apV} >"]`IDʬǕ}2ldZfvOugBf?=he+z#&AE ^X[ Ө' '\y=BHuQ]r?|"MN[D93yTaKi3<5h4861;F M/GϰD3h23\ y&r,YH=[(%nH/9 Xn}E7{k <2ށf!;`94m>JT(^>j!U?,G0wv(KׁwT[{r1@7[v}8a?; <\N-ђxh)w3aiL\_isjeH,WK܎74TV dbv_s?ߪD;1U_,q^+ ?t8JMx.Mi_xPXu= D.PB3gJ#AiP 1 nT/pkgKV3rm  z0_0 _g+[+7]9B[7̝B%zpԢ1 탚ЙsL?6 Δa>he@7 >i[ln-o?VY9@MR1V,Q.vjF4⋔ۗCp$ C|UNMi! &DEA k(;34 ȍ~*W97`&#Uv p_x[&>-CCo)(?F[ېNF w>B &/J9} $͠=bV$}B>|?t`@@ n2?ӝΰxձԥ`cOÉ͙]&޾X|p2@FRh0'ю5 o64s^_U:#Ǫ'X9ި%Јp9f.,ݓ5[>KP5- mճ{@enDaUUv.:FMnť ю2KXΊC&N{eׁMzڃExx5iR6UbI +kGl'YL$zE1Yd!>n BJ4-i 9=L@߿Z|܁Pu%kS%bؗ[7> pHj&:qhD hw);cmk[sʴ1 WCEvյ9 t0}..  ~5=C-+2 t,%QJ^kT?} i[lQi SN cXbcN„Ȼ>oUr)!saX1\sFFY&O8͘fpB|@1w9x9+'507atc{U3='E&53I;/['gZ֫pH%1/۟;nȪ"( ܩOm ES.ELi.6?sDΕ|ۊBSeENt^a\Ah9X"EH"9ZĺJ5^׹3{+uCF8zM$IO;S.sNi쉇 Rc .ѸԻz@ɀgAqgteCRا N7k.uB8xa5:ɆJ 8"[%=4:*ѓWk"%Ԝ%ꄧ .4  `8w ZCeQ~-fn#n)BuǸ~Y/Q@Pݿ{{ΎsXnR pg*bjn`h(Ds`cBeL0&ȷ?|G-ňn\[$}@j9SE.}t =hܰ=K}k>L=ٰ'kVU)U4&=֝M&ߣ[riCa&Ghw}Wɏғ74 ag8h}u`8BU3>$AUu6?U:Eh?~hBq`CQ3ҷkB 6=gp_.k^.GpX,54nrWر% ͎ab4.F^Y⩻(:Y5K2/ﱻ-qKsY[?ɟ_p{!2Px-ρ^,dShw.cWܕqPƸXO5jg-B,=C{G!)CWۦRԋ'ɣ7wߝ4?Uw#ai`fC=ꎷƲ!!(Cr[ŗ WZ>ߘp} pχ!B]fsfSy{jD| ש,N iS!=5wC:$U|pBv/MzcM4!':>%4|ڗY#h ;XmQ]} O<l4\][1c̨r~'LsOvqoRvVdZW7+$ BdmhPk(&+ ŔG9r{nC$j59$ _V.]⊨}p}͈XftY/MECd*:g# Ji y8ղyM+[r+uP*4^=Rx7?aq`&VJmIiVp=Kay';)ɓvp_J1;)ʚ( z`"p Z}+Y>n3Ixl2"*$^uLу7KM52y!Z9Pn;2pSIdvYse`a_vAP 6^ %)x3\2gRW󦀼)ox#(Sn2;P߸ ^odv&mR=m-+6+Biٮn5͇h4G% t#mG5H^dg+3? {-bx ~Fϻe4Iޥ~ ާ&_pС'?Ra3rƟr&R;NKlɛ|Q@~!D8,ˎ9t(X >]# hbZlw>f9=mCq}~1-s=#vwxuaBSGj6*‰:O-h3(hE"㏐<rG nd MMaS)>04!lyXm q>/tDR[LJ`ߘr9d VTj(vM 2?4lz2 w ߔI) ZyMa`Ԃx G*V a_ܮl #Ov(9Aw4>Bϋ߹ io-fJ9l+L:D MӀ7#Cb- <>"-I|czѕ 콍E~Sn.;>U W =LsHH }}$QHhȄ| rU=]fyWӀhoz:RN