SQLite format 3@ *- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info Q7d w Refine_Imperative_HOL:threads=2elapsed=286.259cpu=488.988gc=19.196factor=1.717zXZִF! wV]ŗXf1-/6vR[O!vې&-wT]ïpI}R˱tU1[zE' P,/۶[Efōe?d883ف)_e < SW|"7-jy&[') G./:AApf"qcw34;BڮғY==UTXx:F25{;to/F[zt䭤:YZ92z~H%~cJfaD6g[ 6`X*N{ykam[A@ԗ!X8A4(aZA@Àj6]qZ]H?K82~1s=\޽z:_J~9RQl-:q65p|b؝imD";!/Ou% pu 7Ad'^WQM'`0rEhDg94_/f*coeZՠEQr T3L;~eXpdh 4}S2c[TN>&M&#CH72,[}'{ʥuPHEC"cCF mSTnIOV6T3LI%t@Is}|X)pIc"Ԗ^I @kLwdՔ ~) 7 Refine_Imperative_HOL9p:URz(F=ZƀC}E1:7]T_75'Ĥ54Ōam|q,x0c@U""`N ad&'hKEo62/{JݰOK A]M{A+_#RYu\fHy XtDp%􉂈zc G5[eHz^FjxCp](UJlVyNs%:҈ ϫ'$pIbzn V=pa:;gje9g {jn0ljJO#@E|ܸ<.687Dd ~AA{ -IYiMKBF'P/]-=}wBfBHO\f"D:3]uJ̬MIނr8/۳zK]OS 1ç h6G{xj|Ⳉf5,#,$m8"MYG)J*w~~rck⛉$vy~aT3;11ͧb<Ո>+ʵ9MkeI1(+Mp}Ck!C}Q<&f=CrG 2/0969ה_6n;IT -/Qng:~mQ!nΣ:@b"V N]/iiQKO2 ]ϊ#-@7+T w%{=$.M`4 |@mY= ֠@Dkc@8x{RȥxҨ#Vi*E6ýmcNえW8?杵 ڎ6 ˰h-R'[I^(:B㻳.cLyHlbeWnSᕸƵ)NvΧU3n&Q=S:2a+Dt%I&9Pܲ D@ jgTW P/vUFoD +r8?ΰEW'\wNk;^Qj?75<-, "u/ $J,ٸ 4-Cgx˄Sz_BNlqJkreꁜdĚ Xs7'~ǘJd/6;nHõ*(̦VE/1rܾ4 门kgR-/ZBz{IAcҨEɁ3a0ˡ)%_P:Ӂ h%:\Dڔ?2ÝKaՎP4veؼrfHnYdW톈~V\dR C9[X#~fz1t.y +rYs0u ^QŕW\^ǛtiVV^x|2-,CdWJ]E]҉&ddn7KޒH56%T{ZvlO>Y?N(}Yz aRM >"4޸ʖ:غB,;stW##rv̽l7L*%>a1*$pRD!:ҶAp!4ۡ#Cƃ}}oW-cS 09WIOqQvf^B7#13Q~bfݝJ=P YDP]K|f@QQL0hNhR5 VǭSg;p;{kvuv1sC׹`$ǿZN$!kL{Ns_4r8@#0X|,PP:VV#ǕZI+ӥltch]'f$) m؍YugF(bAhqD8O|JgS^!7pVW|h18]&t IE 'ϖsYMZի5z[h!g@oee2 IL.jșs;XM/)m,]#W$t9EgY3fѩ1]¬g|62&ҝB5?)X/+ng;Hw?l@ $JdoRĎ%?ӺAKxj^VH)E.> 6}:CQf3rDž߭UIa2'Kz9n(y2_|m:D! /YtFLܱ;; njNeTʌ 晗9Xx* Ż<|{R;Q05.$ޱ7Q\i2Y|· HJ(8jVu\ L:Paw{p :RvQ4.ZrJ !12pO?I?FPtebNpf @sQ^:lf,)k&xY坒ncXeDL^~7-$l 2,=z7UbF 8vx>vɓW'|1 &a?Db֍l-ղǁOU!Z~ȈZc@אэ>wpVmEٺ`.!3]~HV=S3ڥAsA%zѺB Mҝ޸]Uv4ޗcXq!1$")+3?Xeǯ!jJUKwѓ"Sd,Gj&9{]{|_ ODVv_~lwDod'L#Ƭbݹ&D9jP3lcAp깨7>=fx*ގO[#ks)jͿCe>`gʸ̋_V+BuE+;od01Uͤ Wۉd?ǩ`7*&'+D j|xq/J/čsu _DrZW9d;29"_,8#G~ v P QM73OKj/1qpP|3\&Y>ʈ *hz5NeYL~4D5=C`ٿOrbI>Ѧ:)}>| ^pZ2$@(p퓾GHr`}TT.~HtPВe e5*7 iq_6kÝ*>‚W.I ۫+#chEKV~m?OIuRBN{kD&,Ǿ_㋹J#ٶؼV\Z.{N u bNsOʕbnו8uC.4\G8dLtdMqANmfٮYMu,o:0eKJ-p8?3@@" /ς L ^|"MМ;,6JcVzy@1l {6QlkLlQep%PY/ 3/j"; =cFqېrkU38W!4Ɨy,t쪾%!1rJB E;džOb;=h MƝ/׉! =:҂i LMȡ={SuW-[k" L6CKy +3;h> :hE?&/%|(ũMHNyHn HF|<уI.ccsHuruVF+菥J*Iu[tB:S/Y,o|Q[: >[ s%^5  -2/C#_ 66X JG U?&֨͡-yQ>Y&b͒,F8Kd` y=v~<7|_P?jQO\qe(ɛ$)X/ XYIM_/J Ӊ83CG_LZVHa'JxW  ]B*b p\ʃ#Pj0ۑMjox6|e!JfL]8_ i652Bዲ8yƕ3{tX܄i׫*d - xy@+Ӂ! 9lf<si:+kSf$榆 .)Ta} '.ya [4}?Br7-f:0`N0k=vZ=ɔSCk,OkT|ئο%vPMa`kf3VY-zy2l].0_ %؏ZPvhGԊZh8p WElu7~ mQP/\;=#麪^~)lʵj6zu֑o?lq@ƶ4?5ub93kц0V^A nθu""$Pl8~r]yPk]{/xMǵ\4CtdCp|/_$*B|eP EuIA:vk:{| :5We1WrxHo5 F) WӾ:} КV#ٖl!Ew>dZ-ka,2o#Q"dm$Ǝ јF4^j+h|pk(G嘞\%[z VU4N#B Ud{1w7! 5Vhkμd>R8./2G w6aeE*9;݄9im0Cۏ!e)b–g0'C2C?YjDFkjQBY$;EM` |CmF™3|ol]$Ç &t;z~m'VZ׺f ;IiDmb]]`P9~Jm mA/vMt`w|#߆AU%KI>~+)zqړy L=m =w i*#QlM~ 46rq9f WP#G><՗F) ɝ2%0;[q~Dbps’bTTSvM:qwk&ǙcS~(m(b?P "hU:׺XaI\tcq-,ê?փ$>"\S;vdž'Ekms-){٢9EIM;& >E! rG Ѷ/D l(% ӊQ>G`rݟ>1bʟ+pDK1+6HAfǷ'='k^ѳ+VfR3;~r64 N/nO$)-3/yR|ܸ Rw! &jHC$7dߟE<-46sTS]&dEZR+ZQzͽ"{0$iPfPɓCpIwPh|xuz휾AYt˳t.i~\ Z;ηόL*1iKZ8$d<R\r\hn-Ȣe('N31\)dbK"hndW^Ӟ~V[tPMT;RU^s/jpRnC3PY|BscCAl;패v` c2ǟt!$*=ӥ\(;@Q3MltXD@<&?Rܺz$o@v@n!{,{ktui%PQ^Nni\#uDAaxO2yw{}JxKz"1m>*X}ذS[ 7X(׷&r·+ B:w2k5% ݩEqZ)vFZ_^-m QC]җ4B|קD@B%>-D[ ܨ@ k;շgPmm($w)dj!+˥SW=a58pyl#? r:[NYU5M/Md(:f_d\\kPWX)s/2 08U/A򎸙C=6W W׈98lLtJU50y/3k15,LPӽ䞍ꡯIṶks7wAZ:6@&pO<K6c<`(XUqAKR}Q뛃x-%2D!22jzq% $ܭ[k_"y{{1, ;&i\ \S]@"=@:>vh*o* CawMs /wHtװ::&57 )͍튘],?j,R#s}考*SU'C1h r{pVw7E3?cl4WB՛|UIN|;-V==$HF9y>9N:U'y Oq *^ kiDUB&R=-mijp˜" ?qF*?s'G\@vB&YP^ЄzaOÍg0ًeYG@k|QZ뒹=Y<`i F~'C$@6A!!VYZc5},z3!ذ@Nݱ5AWo杋ϒKr-!o[~fƅ^rWO$xRq[>h RHd+zz& %O1Bşko)?(fr7i0HTK4px;oO6j"@t:4%>)Mn spґ4j<^e,a唝xǶ+Q@\-Df^EGd|RP1EJui yfGT<^&_-XaxsL;1J$GFEs-S3GN\?}1 j.iHB{HMGŗ:0|_Wzbgᘛ}P`*S*M&d8B(8*26y:P6o =2}D Å_`@[$Wefusͅt5 ߖ_-͸W.Ruyв ,a y$S S1)tċHG&#W5SoP`_\,cIIZhRc'=l+jR/ˋf ȟɖ@L %,ٸeŶw .pFvwΆvvfY ;r8Bi( PP҉B-bgNգƥan5~3%E'{;&>v3=n{ӿ*N/+$- }8͒x}cD ys &LgeRDPƇ^2 /JIn2E屠-57{m-By͵b샑GAF nNlK=+7j`4 {13 r^Yoj^*'e9aYm?=(!bH҇>ԓPXPFYxꁇ] nI{9E{&Xb7$4Jn,(֜ZDr}ipv 'm*w=01e t~.3Uz"&*"#a. RQ;'25qcbPp 02M*n0L1|a*UmZh!oT6;eLjD{z8E2!͂Ȧ0/]/$ͶFG1pAT Ҁk틒of]!< -Nq/fԦKe?/3\&JnR.ÁEըM85֗G|)A㕋r=xM^FGp@<!)xu󜶹3kg|VK)"w,{`g:F.+/]-Ha]Bkdlh<I<(*44kdn$R?zl(]G~UI(aotBE3/Qg?Y%3(R!~x>oV'mL3%EK5jXK-g ZTvr%(pݹOg+6SjZY˴' ͜`CjTY.YDMUQL)D ⻄볐3 (TE:X&̈ (ڂ-Ȳ_קQ #|DZi W|bAvw?bYG\ĂCE~r{쾑x|bV%t0#l7t0- 1y|&/Xuң6 !+*4(>ùfw~4}{5i2?Jϟ4ԟC4'MuI85; ϞH_U2V`q&^p7R: 62I2=s8,s܅3 Te+3u:MIk_c n;Wynhᐑ ħjzUeBh[B iOE%7^gkׄ UW,=D3Dv}%pjtcNkᝓ $HAR٠Rn<]n%JZcp̐ fH])Βb`tD:t]OƪpK*kB%i ^-$TY$ ͛]ML@^nM@hNlCw;nK<¦6iAv͠^egݪ~fS~g4<;Zg,0vḰqY|kahRffv#ZDF䷉j6i8!.i$NT+GI.Ʒ`Ʈ`\uWn0/r<8n/T3<ProfϞŨwGH#|)+76>h_ԢneƦo. eI. ]M28\>~t/,֙7 Vo1MPv/n6bIpR|EM?dAJgo^pUL9*F䞔IM9)aK1!~&-=zu;=6vu葽ZH'rHVڐbC|)W,ƪ@+ Et Y5A/s>}c]{I&zy[Q֓^QjFUn)6gy*\9g8R :GB(.h3FG|`gje؃jA 3Q NmRՏ /YK Ym8dyťS;"̷1 C 9g1n[t'hE†hJ>xHghLkFQsX)D˲99d4rR9 58|찘,M ͋Q53@3N6EYlz5?ͱN$+l`^ \nvVAZ=.ؗVOJW%}5b>zcQgP su> CGرْ[|L/NDk`a3"P>Em7<=s%G$#έ !H7@Vx X3AzdyjW܌74MeKSn|Wyk|{HjleeTRF`sv1Cb6q`hmfzen5?u_J?tx9"uޭ-wh2]9f9pBzw ɠ٫]hebD=aw(hg_H34FẊeeІU(+~^k}%b= q[mAh%asPe \>BX>(|"e\d>&ӨMT.^B /kؒ\};ٺj{jroH \CgO>V(U-1@2XHCOO13u.2ԈH4oCZNaj!7vE6C!ш [1ⳙ1ax7]|0)ԫǦ9|e&"Rtȓ^?c44ih(q\e@K ;R8(IK,T/S:\_b¾cCpT{+t'X#j\]YF*}~I?1z4$fXg`',^$5j}\.J.IʁpD+1~z]rכG|DZ}3iE[#!@bG%މml >Vʏإ@ L[;-vTce`2I H2Qub`8yIf}{[c*m qHt'6~e[E1Gn2 |H^thtX^%AD &?g:|` -!%"9cJ+0!U> %ķdg=ezh;А g]I %o>C@: 9'3-<c'ih؎h AdvE i37]_=f16AuT( )ΠOFC}n:4EA3iyU<\~Ϡ(N9"4D&Ye/2GuOg* -uY,@+J㉊7̍Iߙ[z2Z !3 S[jd<1>}F'ļm(bt_3̳*{2V3֐跨 `yi:/ ef e4 sV'is #7l+rJyk_;f+Ɲ|u7w;7@C[sY~Зt ]9zݗ5:n?Bh`b3Iw/dCB!+аj2lB[S7vL:&^:{հb!+?ݾ 7Yudm"~5Q?/Vث% $O@1eY'E\/2!}D4i[ ~mUvqut9\xju#eEm(|z sS?֜4n>u[@Yv^,Cf ;B]~4јB{Wl5x*]iz M" <бp$j+~`v5'0FA*]hF>$"q#oRe!~GR7@4fkzK0̏}.FYoWpx1_+jE"z_%U9IQA}0=h`D,vp- ~j_R\Bgܧy~VYp7?*fMku"CO$| *,y-`Gvgk!O x`Ah1SiY0=v6&q2g%+>}J~trB}{WPL=ܼ$'BT΋UgiAZ1F;`҆ƕm ,)ES٩2W՘2\F) (Rε+ > -w*]ASm,v1AF@b?& eOxS.v"'OHOfBba() Q p lF-/kثDޕĞDb0ގ^+ud4p^L=VOu)S >t RҸd`}gd^%ZԻLut*uMf KS;pc` >I$xXYmUiݠ`3UN9:N2ysA,Uz| Hu9GONqx0E$,wlݚs1İF@&}SFIJL|q;z7=XJu%cBVT)}5(Z??C;jIt˅&\`B["!^oGlv%48-ET,0݈pBV>IqnVRդX90V!e8ӳ`5.0$1sDz}[jR_?uɅ{<3wu?{[%[)+^[JO:SIUPؐ^TUnkM H&Sy~ 5aAl.aJ3SH4 \9Zf='e`_u8KfW\~lt?8NXКsXJf- ee q<{_ De4=?R냨)R*g[TI$%xn^&+7YӸw,\8 pm-{vFΓN"C&t HQ# X➆@?"P%R (rQ_@|OF]eT*V,N$i{C,vԂp/7*#(`)'\]PQTy zP4JHٲ5ZNo.s ֟bB+7BC PO_cOIf b# -E:sZ@8tz?Ekt,"nm׫~.`(~CYSMTc]1 /aN+3 dئ;r2Է߭ +%?+S;ib J<WD 0W-*HN s)_1|/4F&(}*Rd< &ֳ8.#{F`ܷ<̒.4v3[P_y6p[/XoXV]! r!awzDAON05wO V>}vFP:Y@c(j:/U9 ۧUTp^GρL!W,Y=J 6a9pJ!]'rn:!h;7F޺B(pc ކ!j 5yԜ;qWƱF0dti`s'\lP93 "YHw@_; "]sU^CVj;C>K) =<^o] f˶81u3ɯo )}"`%)s~ q )ʯK6PDbcb$T1ڴ}Dc&dDYj :w`2WoU \_v'orЬa|ȘΗ"P ~R˳.vtKS\;-ㅓ" T'{cDtߊ-Ips7L,=[v3 itB`ASGw|r8@\=Cz/Q\|ړM>3v" ?HmA(z MO=w FQz,b6Ԧ̉3B>H.KLW%%IB&Wc$JnuqmL\g =w98籑X߲-UحD6_$O˴5W;<-k&c?X2/E$R儇t76qGx=:nvHb||YXA#צӆlAkuXXNN8٤orYjELKuw_}.P  O՝LzMm2gJ}Uz `-?z;P_l*;A@h OT/d3A/gM큪cwWBBv7%vw?}؝TqH7 7d?Թǥ|萘ոR4Gq Ȅ4McSq_'VEIq!zj zg͢8+hB>Z^ͮIqw%Z\*`ˍqg,dqY6y=C,6 +>sr@wf-km)5Og2K`WW!>SW|P(Ewit}? 4RAF;Rx΂B4dДPs@eTzO|( dYBi(Dղ!oM0^L]I& "p]N)rows_^\6z?jQJ7L8"<  z⯂6$`@)sy΄8c&._K}Qq&@6R~uNmQ'T04lvOt|R.dH]Vgzw_?i״n7] Pn>;P`od5CS~333Hڝ ʏ^dxp}6Gqً)3p/CT n9Co!g.Ů|/$ܓ|{zICZlll^!(.S- zY$aw{(Em@:c$ŐD 賠&Uǘ_o #.CICQ11KA-rXQgO\4H{B=FGRx YؕpHR8X{a"iS_X=P.OxZ;/,Y+^VʍmDJ`y G>Ƙ*6*]ŗXi%رb@B{/"j? afț^rBPŀ_om3S_I_\,.a \>&/S (0&DVJĮ}.aYx$ AVq~TGaTr unP\odj=0F4sxHW ͦNi_'qۿZ:lu4TVKյZ{(&ݎ¿n+xđhMi:#ٍN,i4:7ֹe8Y%o:A J9-{ˇS CMMԧ 7=@ҟDJ:+Իt ;(wz'^<hExO%咄MQ >P"fZ`@6!KKt\F ZK䗸e!`fQtcaW2ERO7w.W\ aIi"ɭz%I̍[E|=2}TU z8\#f"_!PP0̑ޡN7 ҭHZ>FWzt̔t>L cc*icP"f_Ny o}3g&뚽⿖1ǏZVV-}{Uql{ijXe,LN=r:_=i% [ vk$L|+$,m-~q?Dm_7Wf;G!mZ%!dM [8"o5SKBţ&zf_` 937&ߞ&p Jm]Ve_M=@!\A1CS+tuts믐=K-ڭ:N s U$iǛpNn$kB86g\el!'Z_"$tr9w. 8*A171ʖLJ}*17:"'3wu}Gkc@a:d̮8y,LdsIq݇X4ǷSB_]v&P4_k/}1Zqa7WT]>KQF!p Oƻ@cZO-hsgY_zZږ2l"=5LVRoPϠ` E+bL@^j셷1Qv?Z)A7-~i/rU 癧 oeuAS'tCmǰ#22HÓ%=h-Smhv[ Hpe UP'X(TЅ~IWn7PICuw*#:mZ婠,կp,q5dE*Pz)at @ohnٍ/ !IAei&);}vd|aʌ,͇ݿWVA-z=8ribaT+%P\~zKI`$k|mvNRȍR\0*atOM+3!&o\יy)jB•|b1sjpbFYDz&>TSKM)„.FƝ >|]z>ht;LC/Z`"bQ 6=^lI%bz)mN\~4Te`|9'ƅ664!~>kܤ(԰m u?#J~OE݊ vEvXȒo @)lWt -P6 C@!uLcA#" ` oO;N4RPGh.I&2=TyD̐fdj,b]Ea%3z1`aPj<_FҌcHf3:h3J ߇US"hrW Eu]q3/p K[UnfD!$?w#.n1kܒ 6ր3$Hl'ꭢ;,$FH9q୕/ %ys ,vhq#gp6\#g @t PᎺjw<G>CQ#u%s]O񥵫vBѡY^vO7RܓYȳI(i(އQ۹Vv$& f!*1)iZ0h"$(lscP(\ψ=v9F8F-Vj]j=<ׁvTyUKY}5thv]7'@jݎx56-<8D/.ҺH5EeX^5 C) tƈ+^RDRw-;S-vyۛk^ZI4zMp2 ΦK%ZlUKьgx뎫lEU&XUo:^yX=r`tE>w8\ f*fU Q9՜9kGG$RPB7iOXDR, JӗhӨҐ|"N-NTa-_-, `:{!!H&dxUQktdgE.N>?"q QgG}tJo6*Ta{b}">DZ{.l%*2nyPFlG{ |yiׅZ!';:x*.@Hweeo}X'CCnك̞8>tY|Wr&|;yG2Lq0x:(B,'RqE":hsF\r= 0 h&;*Nq|pd08CV\#HQ7 k./6[S[;:C+VU DXŊcn>BHAt>ɪ_D\JvuTٙZsuG70u+wF+xIDI3J 2يiBG+'^&f߇bzew}7|ƚGiA&CrqߢH[G/PpY~y"ҲqD[T.VS#䘍Q99#o>Yd>݃ /Tf/BU]d2]vEK 5X[n]͓ÿhM6TM4y﫮>Xl"!F?ACbl.f#$:%t'$kDfuSˍ?BHx4+M$f2Fa4e|⎸wJV7{L{ ]+A|%'9|]^Г "h_r0K~~[U6Q%*2N2'c` uOC,Яy 8 YZWOgx%[*A?DònysDHE Κ1aH JA/;d{8ְl6vHm&.R>P 7d<Ϳ20HuvHؚBD[֠ :rq+8솦|L>he&X&,~pgk]`G̴8>ˊo$mM:ci JkʆV/VU_kX\^3mT|7=?++ @p~y"%g\xZ8[Eq<~E[cՄE!!9@Xs60Bz?,*oGUR#L"U]EVUSl)7D3sSa()VS P>Ă^`uVPQC) wlu4g\E׽` .a>-Y-YH(G !UsMcJ"Byc_ҭ,Lա~_=NkwK!ȶK{Hy9kFa#M|KrXЗ˖\_NL2ޑSAyXBIA"q@<ѭ.'_ hw&f".U⃖n7҆;k0Eo\r<k1wSI"V!~r{ď]K*;zG:KU=Qt[tH#l+gYz{+)˝#s^Ljx씨[)2Y_-mpͮYt5.NC.{Ӟ5̇B7iĈEDP7kԦ .QnƖhѯ0/N4<ٲV<5!`Q`NE#A̬7$: ȜŸ{G9KPhppoF' iTYF* ض,E>3m+"m;Zm׃oTb*p:6?ϴe Xl5+c~qp"-&_ kӶsS9ƜD{*x9Qqk% }\{y涍h9&Y0?;nU·I2rjhO{ `8%͎E %([`h`&j|5JzZS,Or{t hUz}V'e|~lNnVܧnXkpF w>@o:~rB@dMתaBzVTiCS]E(LBp^QabvhQ܏-w m5 MK޳0y6vHz[ %=fAhE=\(Ix +)f!ikHDL0ilapIUIlXJ$Т@= L^Gh" %@u`bhʈ)A`&,Py{}EoK xve$<-%mdJ!U!-(n~PORP%SdͧtqOq甯#hhI;äBZ`In !Ǵr]{5{1c{ 4ql߶]guLowWtW҄){i8& <GJtY&د93XB`vǢSzxۥ0e U΄دgݶz,1$^M-*')TD%-M?[W1$Jt|Eҧ ֤ )2P 8uhWNdx8z&R]xlwhR-p^#~fL70[KZ|8rȻm&5Y)hcꂸ_ÖχXq2F ..LװIk=$"hG5ZiBݨ b |#I0}8-tUEafP:Т̻ Ȑf%/բꗰ^4MgwrNNKH#N=3]iop;=i4G: ~UIK厶YEnEܣ81w%@TJ(f PbvaJr=+ZwDy[#\}y3m &]N/ Td>^*ٞm-UCň _.ls7%ߥV) dhzv4Q<%L\Tj:rR /y.Evɓ$;b#i4MHW c2sP<!OuU(lKz',_2m-EbMl Mnk9`U*ՙk^2CO,XjIR$᪄*o;fǐjMQu;vbSٖfΕk˟]ʬk--vZx}n^!UyL7vT3Q_ꗺ&*B e3%I 1 mO$)cQB0ϓOn|߷@~8"\oWغ%>?j0uQ~<";:w{j}3DRd} O97U5,'~`.="1myO,7o/dP_E U{o1b '&D#w ;aMe3v#8.Wg#8t5N4#Q^J4#\]r@Y`udzŔIT@rTf<,^f^rss7C?lQ&y~[EYDBouóz*v GΆ:˳RϴjI_TN #N/& AVcK^(`]T |l!&({FK]L΁{fCװ ʮ2n*9aRzs7c/iI"ubn42jexo>? BB\4qnƋ͜3lHkiDckX~6n]ы֑Ŭ5uJ}K[Ψb`Jd!iP_En^e+ځO ; GJےSSP1 LG7/EPa_Dx k?nlC.jq9 /NG{v.l_ʉ -bk 5?V,FzPӍ~GiT[ ײbArԠ8+8uIʶ̋~8Cm|q `z81][ؑg!zf斶):+pp{ I(|@U\xS3%MȏcTc^@BT ev%w݆TBFsw-D %8K\٧!hPdmΝ jhRTRLꂆgGڑ@׃ [ǺNljJjS8V̀\Hkk?9T-ֽu@XÖÊytmM!/| ̥nĤ%DE#pUSfu)!p yk'nUw(Y+Q՛A J#P%h^/!#of%)VDo@oкH1xpL7B7f3h5I,#ʐ4~܇>Il7-Yj[5(r~vn$R9U$91|!_ڦ1 +z2>/ _qޔpO[zoU29;{m֢) vyMP%䬵K%鏤 9 :+5q lhZ¢ʬ"zدr{`P#D(jvOleԕUs]kV7ɞ/B7=kdT(㱼.z:Pӿ!/o :/R?V}Hg/&-k2 I'bU^4nͳ$|&&0OMS}/mxTql) ͓w__볤)55`,u4ĝ}f[NÏ@{I̛}}8ݼ~ޢ$8wL`q*uƛ_=&#}Zw|KNF6CUab6zUMNoƯRG:˳|,ԡ8ˁR!Pdg {܉gD8[' 2 ,)C 0~%etRW;9gNP= _",@ą ,$ _MQa!0["opN@6pU CZ1=ДP4Hy78@0̟S:R{}^ xZۡo挅Ct}fʉ%Dmc/XovvU5"R<y|,$fєDd}4dbRj-$cwY"S$~ ض~Ή+J {H]cU*h M&j♋ߵc|h̽cZpe5"/h7߁6-JkM׻ K8VCI7$wUl+g^ 1Qm@6b}W\kiVRXϗI>컙InmLFhCZs,ї|={תsG -Yd2_1B;sHa 3uD#OՠүCVa~p;SVSGcb<^!٨<wĒ\(8o)ӹ6z30WR%FDVLX^kv֑~7# tx.YHR{7+r.-lCU @;yePiA2|!ђ-XO5aW8b3b#Lڶv,LCOkq_UJOeF_)31[24,L TsM\ &Ȳ,oM9gˆclbdM5;?NV|wyO1-NP4A u <西ԑY^3HpZ>s R|#̕}6ў0  /%ZP.ۃ $kmG'# 0ar"W.q XHPI"rpQdDFK+gHRG)nRdH#)߰[ΝxJ?G_\8_/pT'ɍG'l^Pr1TeCPAs C#lk+ YAV#^)krug @_HKvz$1@[ Cѷ ̷f|HiG­sIʹ`A\zvW}7凭 ,n5H4 ݧrnark`+YzY/gxS[MP10No8|@* ZB#ڲAtyzzjѷDIڔTaZD5nc0ПT9BEB_wD#<27ÍoKREhUVkbF$jUDp=N{xV7r'y\{ZZ #njkm $3Voú=+C^ZzV=mi[EP?i\CėN]CbM#46GZ?D=q:̕_NJC(2ĄrɁ^)(P\^$#&י耏a1ui=N9{޿R`KLjٳ爟|򅊓 qМP~lbO_n-l: ty7[a(M8͘wzFtuCi(n8AnKM]4~:*2R>uߏ.bkwj!pZM"&B 9!z <Xtfq,>P32zLAV#60Y5%1L;u^~@\/nҵZ j{h0RR;ypOsN¹+@ ;͒u#9|NPIiL1JلwBQ1D{ d轁 ZVyw1TF0|51RNlp