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 A1l ]I]HOL-ODE-Refinement:threads=2elapsed=644.628cpu=1040.628gc=84.616factor=1.617zXZִF! ᖯ!]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^?/ϡ7ѵ3nO8C &9udWi' (gnL[ac91%R6#Š]f h8VP7r]+:CK<ޤV"c;h>K=Cٔozjb\Ƶ u,!fX Fo(12RXAN;/IZ~YiD4B =.v]y<hDt NxV&3R='˜LTxs 3s4ή|ZlX%X]kĎe ʹIH !XZQYL wt7{TmtP?ʨ_Ů1Dw58~h3S})׏Q ʩZnǯDwtC _6ѩ>Z j:ra "GXQwBbQ*W5fQQ̐Qv=bL9[e)ţ˷Pfs2$'Pw3jcOV\X.m&jG=h,siT?C t :Nd*蹡Pj3Plv9FâzIXo))y%YBn4l@1+!NːOoW0In4'4OoO]lMe"&XJ3 qrk'@Xi|./pTk!Cfk`16^P KsI:_ސJ. |"QgJ4i'6E-Q" Ý<}t;i$ X @zJw2m>Uo"aTptߧNiحYHgڢ ei20݃CVKC - Fy8˱zڨl*G1Y.,5pi"1@SgV=⦸Wɍ8ua߸$$#" Io5UZJ`~DBTčWZ:kǑ 2ġ+.ol5C%3 F ,'/e_ԿQ68: %]U1mK.Y1waai"^Xa 2fCڋ]CIC x'VU{{^nMThK P.PK)Vx,t>f_p?73QL%yH*yia wd Zq@v@d.F?Z22%I#%`mtAI~m߼UXþ>EJ 0w`Z"3gX.*pĂtcȾg. - ,a[Q1ސ;3xmNbfsB5@rlx )Kf8 N/_@qThĞOy|t6}L_bi/okE u_7i1S&G٘$!x &$4{";+uwΖ  U* ކ-^ns4:\ִ{NEYA{ dQc+S$}&% (_7#&&À~Y)tpHgu/yyC粶(1/D $(~ፗMއF>hU^B!ؾ=g,FFT{ucXl7fЫFQG1a&\R gw:X5:)" +$﹤rQh?2$2UB:Wa"YL}lDʟAc g ŹiH dDoQKbzʙБDڗmez:okIyQC2/ siZ9_/*.lyǣJ++D&P?cԿU^ 2фFߪ]f5"\uz*&0/[JL[ҢϘ \@f-*S7|5R̽"g^[Pm #tXmEkQpi*܈ z=}%*g ~*7xK]N]N cwvHn@,Gj9q4U&džAg}byܵ=ޮi{nEȺʋ%}{rTZJef!TU?GmstPn5htC9eoJD{fC܁cJH',PSC J/ \: ';= )/L۸(B7sH 媃e6R|q诣{SGYx꒜C ğlZY}4jy;Oߋвrj.Џav i('Ô5XT*`qV"%N-wLTȳJML`k(h~6;TJuh>0Z$REqd)9 ˼?9^IRmyX-ﵙT|k] dA3 ܍J qf1[K_:\o )+LeKƐ#>ȓ$.I[}MT-B69ޝc,ƋnQL2-Iƻ'GY^$|KfT-,N(UPdžܑLs_a~_5# COU`u&BUuUʚгqZ7jU;ړ77Xn<trۅ w4j eYe!Ao'YTku< VB5Gz)ZYc zvYnS9 CULQ}_"%#:rro4LLvƍ@vcA5Y\v&L*\#^)OZ(lDSջ ]GvRG7 )Rx^? ivڶ'jv;qjeJyN}#M7U[`,QҰ;_zy2F7ȳwDq%k!-Gsi܂u T)@cO弱S=ߢ^b.+aգ@ʽ#n%/,(r$?Ρgkn[0i8\PV! Dr Ijsq}ΦVpdrJm}Gc 2MJ zmO`+/c"咭NH26L$ lN_E waud=s?}JzhG}qQ͊kQ]28TM$16`OtUa@-ľCe8d~א E8.@4 &[op O3iRws[7kqSHQٶ?:W2eJ@ğKSգ+kRiX@O%o#Z[VQas<=C{ܨlUCJE(=]"zO]>kѲ2z \ |5dX"d guUS4ɀ͓9SԻc|k@%I 0|-9@X.~oM:O S;jrTD EJR4Zod*@HI\V7Wd\˸;s&cUs ZaT?wb: Y6k[yp4gQF=Ah9ą K|> Mo\7ogaٕۃY*Peߺ\ ]#X'ps쩰3z!tv.6]v+ǪN9V^Voe@Dj^?xk˚w Li#Ywx+wLr<ĮA +˄IVO7Id ŕzcTαz 1?L1lGZ˴w3'98xLB9/r+:Ca9WO~~΂)<.P`w`s զQJ5?{ n{Ds2&{ԻP/ܗP2g>?O^TXL' h\&~rCmz!ESm/)tW {=xw9 AȐp{/N f1]O pG뵩N&ѱ&KOu;6撃Xr}fwm\(aM" eklӡRاdPeFs칙(Y;Uff|qaV/-$:R02f|sA 8Ԏui (n,;:N<*u^я#TEF^2OcՁfeӈpǵ ḥꗛKoε]}v9LB$*_¤ч7*p.ՋvE,x`ќH5y4d?(Y"[& jupiDڔ> )wĐ +b2SnˣĿ~<ݟg;*`R][kYAs9J:M[ }!]Ql/ǖv ww 0<|Yr5IMͪn^ա;hUStTo56lq!I5ED|[iߊv/iݮ}8pɐ\ U~*/=/S1V:U,r6]z4M2BoEH|n?R. !μRf_2mW 3 hP!VC9,Ig=R]C_1/ ,AxhI$ Na%3.9a@ tUJd;(DW~k;R *{*bȖY/3rFt-!i0F ώ&y3ewZ%,T u3BҕNI(EyG|x#>0 oH\g2/( EJlN_UE-Jv`sy朙}Pa'3#CⷦQܔ$MPh{pV{:x I%PFgykJ:Χ#IEu=Gٳ(۠6z̷76IBBy/Zt2t-E9rI /!p&\h A g.ߦ=ծ̖_>·aZC wvA*TLD`ـgYZ7zXZִF! G|v{]ŗXi%6.hU4o0[$`ҧ}k~HP+*do8llykK>D'yaPG>89*ίJK~N$aK1 *&ُ7ZS4 bȓ8m9]PQ$[#J&2FD7QQ7 c"TxH8C}ih-9yʚ~x/}B98S! 7̵mNS)͞ˋb+:h8l4.ObL!X;_L9i:z{?u!b$a˛o,zbz 96"~)Kd@su<k/ CwDX|c-PZ␂u]rpz>cE[5]/t,ܘ('}l+ SZ%3nʟUR~M~8c~aU2Y=l|~ZKqw7㲫 eHgr}W^ܦ?C_ai ~e/f%]|o|=$X#Zm )WNt̟10;Id E8ʖ3`8TnaIZܠڝ θ`c񐘀7g=[p?0JCTGl4TuxFluܪ|i(%W;q< d̼ٝ_/ _%-90iJSR jF]7Fn0/IM?h@4BTD ZkZssR*h"Ԁk9 !nпmw:V8c[zXk< +(p~U}cO m.fdF>Zd7t\e& {V{?=$V0.Aqy 8$ͿEӆ/=p+8du"~0=,@_ , }WO]6>L㫦 [侵<nTCVG 2.{vD祥Wb=f v_و6tv#+GcA;(LOAb1]dueW Ж%38+4A߲NLGpP( G;A׎lh>U95 8qVy;<Кzs7T׺}!%9ٿANgG0i O? l銂a\Pɫ~ /tCt0ڛt ɶ5 αQc͓:&14Fq̵%-)uFKO?dGN.<n"kϳIQ9m^OGߺ7.k.#:& ճ˙yIaHf)HQ3FPNG{o 1{7/`h k 6_ ߹Ɯ_^X5@kٞ5*;ft?fN܈#]Zy53#m`$[ZťaMk^l}!+3%9G%bY_Ŕ4`}5@hKb.I];a`b..zC:bdVfE\Udc`P2λ%|,oAw{]Y WwYFa~thAʭy.U`@CHJ>ċXDI핣S?K$S>Et! ӕ/, s2xЙ{җʼE_bѥ=obڦoV$O7ʒ鄓z4w558th}(9$ew2w8w *x))$G>`It6E Cx"[(|m%ѯl8Xe AK@hQLP3ȅ4E Bx3ìO1@£7tVG`٘WԡkTr$RLDG-&W[1o~; I iTQx4BNxK: aE~ړ?L|$θs'? %nM4FXX'q\s7xB3:vMr:9+o<6[n=\!=VM5kEXa-Pw]2+!f+[g=FԵi!ME:1τ.ܴB~fuݞBp5[<XpH|PM.vJjF] Tp`1qdu'aÎE]+~zE)pZd}@ɭP%_$^ؾ hrbZ:hr@sF*))(>}Gc'YaVEoژZ5gyYa5W g5R&RG-Ci ML9С8z}\*w 4,NG7~LQڏ2U}2m`r*T)d ¨|NP{CX8n[dب&j.Hw]5PGT/jy+HSIﬡU,ib|[$;Uj[ s:fs8=9,tXa9.97 ~HiP2{. ͌Lm}mu2'fAKN&T V!S~j.eH=G!XKvX;*G{áhCCG7RLϲm{T ͏eQd9w4zUBOZi.d0?iZHL׫~"?l}7j|AHk!nW'砗*)CB\ :QU䍳\2nH{i4q'./9 gא 83:4V$ JvɜBEL/@؆|0tf%hViWnz\U׎[C'wĊSKR.zUω.7P17s+%ג< I[C/exJ*+ؽ$%ՓԣYD4 ?!&N+WwQ9iU+>D7ȄPi4) IǬed6j9EXV8_JN³H';H1 qڗC^n1P[AEAsgj"a6ܝ@lL_FwV^Y.f+ )$5UFӰT d!$ l N罹^xzm֞Ws2}&.a P"$g_Ci;H9=((a!S)[-VGIH]`pnAa h*~(zUMeV+_ɺu[Iᯤ! /8U F*>7ZH@fH!*z15DKjkvEi.  gP!u;!dVsUPk9ecl?:_$3ws3 ڞ(곁G4TOa,ʙR8pDbTVwZ.;l.6nF jqݽ%ҭ_8t U I>맻(&Z.6}G+K|1ڂn JN>#v`EaE= )Ѩ)5tz?[)(~?:;>DUXXdqwa&CT4 t;*uoA\ FRXJ`mg}-`?C4۳o,Invk3@f#ΪtbyT`IV0,q뿃1r>,-)Wg[k R> t7["N{'x݁i`}J3W Jfx#FM牕 .~\G+sA! Fp0t[5Y4'e ǻ̔%/DZ 6Ćo o~:2Sk+.On$)yb'$%ȑK~j^%/-q-:V܈{~ }'\:G;!ap :xHH(TgoBXn^ebYtyE.pHRM!ur(om|-+}amL[}m;Ub6$X6!Gcx‡@Dp2v wʠCMdbk'#݀w4,z( tDJw&~GJ1& 8Ǟ=sn[OBUHgmcR6,r:7ϊxBׂt@BNs BFx>(:R?Oj`LoчYp5@2HHzRr$rzh^l Wv%"=!}fA}M.S0w 浖LnOmv`/gn$2?:T0ś8v>Aa\9V RcH<@-.ddSMmd:`$@TR1hri kgpKx:]pnW@gOi<{nуJG+|)s9? Fִ\$k : o$NUdS,$Yo.`{|J&%T~j "?1%Mě_8C7 x&]VlJ*nUzIꤹn^ np+z`00b`&4F!H3^@!dtReT`emqH RZf4^WktMy=4Cu샲Dcc;J1/[BHl5aGL'[fqFK#Je4}ND5aW{Z>|߳ʥoQ"3*CR:M F3}[dM5c~_^~)CL'Q/<, EsL̔a1D{$5-BIe˿cPW}@A&?૬b|l1k DuH=A!~|{gos_S;@@o}[pػBb< M޾dqEiRYSW Z&qsMƦ"TYP] @J< IveQi nڅ1bjgT7r/rW)De܇ji?*|tҸڵxt!?]k;$/LD9OknҹQ0b$61tMZLz\`{D6,L0ĊA7l]Wn.Tw0 $t L蛔0Hesq|O v:j:rJ=gsAVGc}U5XQIrz. >N3H%yrV:49ε(= ;mW-#x[  PDj~$#K\y$ 4%0] !v8İim{ @&i<C CQrTɻQg="}eHaesMLSuU ę2 ޷kO!4T=RMpK֞!]e/Gjt gWZjh%W}®a /˛N(`욉su{UWh6qE6c]Wy_1.BlFF]bu2}r[B(x bAO;}ϽՏocsy;!T7Pqݜ'˭ߵDtn]K:X~~܂(ձ+@}ԓ RA¶y3i!n؊+T YXٝy>|_7_NrnV\K%ߜ1E݂=&!…Xv&oPyMco8~A11 ]<7K8s`=!E\Ե4Rk?Bz1L:.LaIow*SJ}hĒڃwk$zgyk5_4/]4TT][t@9T-w+k|/]t/6=5" Q kFfɅ}7-؞*p擎/*pʻc,},)ؤ:]\M"iMbז|$ =lbErUUǷ>\1BD q7R&xb9=#|njP#|^D ֿaktZUi_ [x4ՉG+*;~n9b \i4dyy͆ސc(^rՋ:m.Si^"Lߍ CQ$8D3H >j.a;PkUv )zVA4#ÛNo:q; $Cj2.H@k.8cɘQ2(<>-pjd*B6MUWVJHC,-yl>V2Qs9 }7^0fcP<eHKI73r"lT,ḿ Xa^9ʜ;"YIęzFG96&50QmM=9q|IWc x.ur15Cv,3kLtkW0?=X(a&iu%l2{b<5t.F&sO~B)|Y$ʞ67\{(R&|- ȏ$㵧}7>_H8B؇٪?2kwyǚxoy@v>h㼺lK6X{tn<'w28R ޴ڄY>LMZ6-㰑!{ᬉxvY4E8 cy1E:xtA`ٓ,6JtQ^x,Iv 5iܡ܊D+@Pdb+-1, ~[w_:<$y#Qtm:RH?Ti<%j-J OFh2/W?.fwO1a{aC.qܺJ7b;v1-t\E:ݦD0ټ&Bj$aX*ADF?LX\;Fc^mYXD\` پc lw>u;KUt". uqe¦\Po}å>y<vyjP"9Mh)hDPnآ>^]nAq* &xtN)Ki]T0zp }y|C7 St /uakL+ZmA9LJ!t ubNjP/=oD1_ d@Uw|2bG-.BK=f`soCJ#%t5&nUPL(L֥ځYSl KzPD ]s$vY.o CѤm۩@)AG15o0ƣW2T9Q=[sx"?;Skn=d.Rs@KI5fĊsXq#y]-Ez/<2BV HN5noٵGި אD x+W2jmm):δBcmavIB!([0ba 5m.3f.%y)fÓ21^Q%Ejf{D|})jo>P'k7S2dӰD'$OsD(i4e W`-(&,DW04 qubaE)=iVݭ2]D5"o, ,B+Ziڷ&2 #f$N; 1mNxcKwn3)Tݧ9Ct%O\x"+F%EUm`IЀ YWICQqY"H+i~ }iz5z۩~L^^]؟ZXUyeϵYXkP>@gv]^&p ЏWn .R<5+&}PPJm6wMϢ ezDR MDC~U =m8<-'t $癒5{x~y$a˰s]o|c "ds[,S*im=1J]k"c(գI > ;nuy0OpΏ79J(zƇŻaoϋ RBC1qӀn#s-(RluT( ZLL>_ L=XFi}j$ ~_oeiLڞL,<-ķim$C!OA2Y^ӁS q%~d<5hy"Nd 0&Irq$<]ȭnE3uV~_Vŏ("ԓÓנl 8p}}vu֐*'}J lG4S<%߮;yy1f¢!/F{Η/g @(Gy\x j,Y.ӘgE2ƅږ$I#[cuz)e]spwGykȌVC[ ~ @#zafK|c)h@yRuX,p`≈Q˵[\E?i7=&觧%ZacY]+04ǸP2 `1ʘֺ.WCZqšS%n>痄k4Z)>NEI-d"{/4V+ޘfPG%`;Sȳ|95:{yk7Qn):=n`v#AU$eR(605#cf,εG=llkUS/րkЊhMfPˠ`f[<lfA\'kkKSj/9 uxDcİcOW9a'3/wy9"v,ț{u>JkF= -BO%%(:gw.ŞugEb-H(XWH&6Y%SS^|_vK(5IP% MQ+E뜏P=PoWL^PZO~|̿*y(:=X9| 565<+BR8󺑢, __ ZH0;$Ko7fPQ~F~) B_d&;+y4Ղv?Pϻ\bQD10{MU\v\6/5O5GtjWл;ϸ7 &:#kHx A1Ƞ<@ddܠ8ҫjY1+Io@|׷rma+8B@o`-VyEA@(){' 0ɺ n) w>B"Jm z(mAvjSL'z pW^ loNXaG6W_P?X\gV4it)'r z?7/V>T701g*+^$; FDRMiNe;qly| Z)AL{(&-JK\E=~ szZLنFiR;~E]}D*9%=ܜzD-BATN3iD?=[gV .ޜW4T۠Nh!BgC* ocPxCɘ/#C]uf;JoxJu'v=qteVkQ{&~V6ĴK9P<.3 SW#PisC~~xSJm-y̾+дdd8mVsdAR˾mHUh'_2h?݊6sB].zv9)_UMɰ+` ?]:3v@RRe=i$gAy`ڸhlCINr+uۧUiplPň<{u&×z%zglm9ȘWXο$Ⱦ& y 6ItՑiS匿)X18J񤄔Lc,/r䶶!"rK! [V@cbˍuqw]e%-`}kiԊ(O@XP] q8$0@4}9z ^yǔۯ ?Pza<Μ XYwaQFݤp7VDiK 7YXD45r#ޤtuX3XnIfPJ<envJ(Ɵ?E ױ;kS6MvÌ.~>e L6Glsn,ʙY{،K@ʼ%+dD{xA{pQ̓jYrꋵF70=7!aus> /O$TC܏$ rhUa% ,c}M*liԗJCLYCJ6Bc jU^9;`G'%c@Qi0;H 9yon3X }b)t?Y;ZRu80{NLJҹ8in@Z$FO-0([wu0ۍ03O @/e|7N2o: !zj\m6\6HjŨ.2o'"JXhCEY8Wn7&fJh\&,Е>BAe7k\qA20#pz:DqEЦOAyOՠ1] HV@&o3ID֬]Uc&`AO:NBQqIrluhfb)k 넠*UĝcNYXN΄/"s @KќvB U)УJܽL%кw4;g݁FxD2>!gI dC75D]|u wqO03Hl L = g KFٶYzk89< |AMc;Gt;v56tv{&DZKP4V/r98Ǎ([9,VWk4U󙓮8 Ǎ2/Tx5Y/Ugoߝ#Hs Ȋ]\xSI;3 j $O+c>MG(XfWV[IThRx~9-5m&5uCOWPJ`.X D^anҒ$Y#D/>@qeG{L|T1jIQᮅTiO wh|^4>iC0OIxw^OId?gu$q'%1W>nc-%R0Ze4RBc@P~AmV7fJڅp飦.VPUY| 8|-r Fu.]kvN 1Q% "tF*ӖutW<"Uڟr]K#@vHȞ|o# rO ѾKzW2Tdph޳ìR9A=Ž4߲]H6J+ .DA9`g9y~񻦟=tC˘a =3Яwԋ*)$["S[f2wD~mɈƙ W*"T ?|7RG6-sbF[rk`GM>NZ,OW]Vy2ws5Z)>#Kl1k0t>ZkpTKlBrQTdFlV~ff 9H5 Ϊ*`8Khp#m~np6ѥF6:yb겯{܋W WL3ꗍ Z2ͦ BXT3H3%D] * ^9Q8®a1o t+/)_ "Y9=E*nCMoX~Al-Ny t%ez 0 ' (9b8VJZG 3ݚ08]a# Xv.(-ƥH`Fxx7'+N/ĺLۻcuU=!럏%S3&d)&pk$̬%[pS4F U'sJxu .TFUL-p5:@Uݡ| 1.t`-),GzVқ=&HPsFd~iLmTТsV=XΊRMmH6J:tiV~)JP`-,5VZ0|#85iJio.D^mD8Z\1?LF-D:03Z9"An  #*F .9R9F!a^\pH$ 2ok!YbG_Yqik(/l$fӣLX3 2SW&[1d:E'yJcGo["QHh9g.Y|W)q3|Cq9z#tjb[~]v,7']P9iS E>Z,#19`$/_%&hLgWӔSk_2|>gFt8AVXņ=o( C%$LoXGRTkGr}dur 8A=jQ>uI;v7Ef9QG9& F0Ws2pkE#S 6U'3ܛP0O(Im,Ϊ9O.p &O J,QhUIÈn bWj- ʞh06a"aK<.:=C> y&ɷO2' 7qLT׆1ޜ6hIf"15HtG`8mh5[%0tޣ ұc!9骣(V=R(!Ns Il>`Sy>zj,Q 7jNx,U@6VM:,`st}U|m{`5NJ}Gu{]kma-UwD=2YjY;nzn@\hNR?Izœɉ3C>|WE-A\YĺiC31o J}e@d%ĜUWAc f@<DŽ ;fvAL}],7ɕ8w7=_Ts lPqxf[ ɟߙXFn^ѣ|jЧB_&L/"TÉ6 .HTDZ_[ ݯ ~@^ ~6/B/%a!_%iGh9&Fi7KwP/ГOej/HĪ DfG& xp& $kH;JmT?jb 7 &eq~E:)IuS+VWb@r;MV/w<}2I||%yp5hf P"b'Ҋ`fqCY#5..KH) lz؈ڤ&HSUht,n7/#L% ma7}ޮ~ :y&,#riѭw¦2O:1TLMUގͥNS<3vSqsg-`M=JmE !2b@1pa|9<>"{AdiqیI n `!+rJ̤6TL^6j۸GaLs %YV }!<&UvMo-eLE؈^GSɂ SJCU+S3P$Mm``*U9fûX`,c /|22JB!QӀjhŮ!?  2S b\XFN67O4@"ښؗs % Ch \@wy1KՁ9))F́gJ-$sֻY5Ozk$!0-Z >{c?:. E@ 6 =fd?1l<נFlڴ`KG=x>[PNFEDt l#=#ko.?cC(WLs{]q[( 3(6Bx! y2ICi[x*f$屫j*b"ڐN5V84JZCUK^O;{1z jCz:Hݝj;]"Jd(Ӽ b疩 YWjXRh) (s=Q PP˫ÞLc( ~p)UA[7DUT# !QtO0U]aS ];ȓ7bFM8L-؆]ۛ:ţS zrػ\H0)e,&k|O,ã*@6#G*Y~fz~ i1;rHU!;RKϟuDd֣Fɭ4`vB4ȼwhV.>H4:kX\7>ZBqt^'B] zQ<(E&Ds*٫E%ޟ{X9dk XY@qbd%^4Vq  މg/ZTG u{*-96 x5R6?@Bs\$LD߂p1#nQ1'YRbRg $Y3Z"qqmM, s+נ9k 6j=y [.0JDY1L q iENXpqj2%D!>nfvקxCn8(8=x9f56 ~r1үߧGCa5eݛlNc^pu7D#CՅ#<[j2c6yǥ{\ ڨ749 r. jK~>5$AyfI] ~JjN'3ÒM$2! yH [ NVA G >=4%RY^C7}Q?IX MόX/Z.:.3֯Woki&"UXqR_\voIKl aO܊ ) ֳ{Q ]y и~Ufƨs+fWnZGR<(:wom)}m+2(1V-HYml* ЎI$x7Hts\k~Gоg>`h1#Qaފ/*CSr̶Tu-sW4~0Lh] 5Չ;_s V ט$g5 Ng:8x.xVJF$?L;LT(Ӿbº􉰸2;\r.ó єDQ \"k^=P[dYW|QaQ:ң,L (O iyJ܆5ߢn<]w=k*80t qㆽXL>Xwfs1U2U^tk5xBn s䝸79, jqF u z"r@6S 6nÊi̔qt1`~""V8dTqqqS@ڣm2$?+.tdwδrId> "r626Kq(%~Fpˈv+.Ⱦj u~НUR.f^7Wqwo䛰~uڳ<ϰF!@RXԖxy̗\[HsŁp"Q{լ}u3qVV,_hc!WASHN8󡎚~I9 yEE(op-@9By7{X} Kn7#ݳy:Ȥzfnqo3sۡgRLA: 'o8pM~%V^ﭘFIxމ\5ȴH'(ĸQd֔G2 G_`.洐9DdT:^ )]<:yȌI_lGJKh>nߺKCAselcs 'kև6_q,"=`cF"c \hoYWn+=j7#o ?^,nyD}Aw?Q|1ߨg.uE1v:i+L_9_Ѻ}z iJ`5aPrXxZikh VJ8H_kv1u)J . a\ UP!HHkG̃sU'%|exy ]FId̂-(eRb=}YGD{ೇ_V9Q!c\'0pYA&D"xZg3RT;(%4(B,7kbh׸aSsEkc)fua; ΑRlPUj\@"0q*K͌SrTo 4C@Ymi%]cmQ ƴH྘N|rLԘI:isע5iUp/Q׶TJcv>ojtF_uJE8 ّ1W,u\CJ w>qlK9)@Z16\" p{Q\G8[V*2U(gFpÞicA|~>0p"ڎ RuP1tOaAoh!4L~ Oq։@~N,$r3'F g\}S{N;-d]<^-4~c`?:{XZ0<7 @džc&[ &|=71MϞwY}k-ɳG HE?RHn]%ئodžvAra\3k:~OÊwo) ?ۢEeYO^^|wW3$Յt༟6^݃KUEҙyN+-&IzJ -̹1Y8$E#adʖ_7dAr䔓 !ed/;햚_.mX0*Œ0s & \uǮ)-a'q9MªvB:Ҁ]o" T// *8?ȝ_}Hi Nʮ|S;F\~'Q-ɯp+ݍYr{V؉H_yjdWӨ76W-WMfTØنTK!{mI1YP*K80jbtp9x{<7T&x CG3KVn .pyjp0iԤS#4e{"EoQQDiWbU$̥@kj~eթ3Z`eS( Tk*,cmaA|P Sږ1›mӥ. j F8\Rt>qBw@ )ih)c1lnPM: 6bgJdj)?: @?Wp/1Dgw9؃ã_!5c# zM*mP͐"CYܴY.`zY<nBQ /?<$ ,&Zɻ 0Gk{mG/:\ijJTT?wLȨUnJJӛՁʇk_+6!i&{_1 @;vBP\1)_[LF2na^z'rdrx(aa6f#Ku8j"J!,s %2w}O_10Rr.tc͑331;TSŨ&⛩Zhm/h8,މ.Z-Jk| b,05\vV"Vrv5H2 : i&>ͯlwĿ;եERn&aD`yo2VwXt+GsW-ͰxR^XAP]6GxO?T+ݶܯIL >B`U=T*. zmk5P- ^z-hE%^&M!;@_jG5 pVg8IGvn-CoNB}lФ D4:UFY:8JOg:i{ŕA2 mQˋO!UIqB*i}Vy8rt8l?/ݢ  u?[o9Dc2 fчOS:VSXeȗ'jXqt,9_>ӜઢXH}KoXY-8C&'mUZxB3`{'[gχu ʄ9=B3#ǖ!^Z.IELaŠel'G='&I{k֚ ~-0*{{OnDc{lcᡱYhn3و;׀M}ͦ36`^{:Ȋ m$_{:XRSOc->:**pJ/`da)e59CUBƐ t12?aPO$ QL?ӊWiR)APae,V>> ]"0#M@ֿ1+UPs ?LӔtl2u&+%t/(+l)\Amܱ g9IFr/Mc՚e -jP mo\ɗzPk̏׭U%iPb$J2xţ`%VXójbNQSȯy΄mͲ9'݊xVn7`ԥIԟt,"Koǚ@^uV21Tj!LE? V_sܡn*< -)`5n&`d,/+Ջ@|#: ٻpV Rս ℬIFпZÌ/pej~ľ#ُF\{CW3py*0bkg$6`)v4r_"F}=r Oyh^~'Av2Tw /$d~2Dy^ANPT :t ~%fj;ӜgFwymN<裲VTF`!d' *"T0c9G ہTkصV,bb_nG/bn@KkBĢp{U/:6oI=Ҙ 'MQĠ;Q [L_g26_RPYa