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 =14 3%]HOL-ODE-Refinement:threads=2elapsed=258.159cpu=426.316gc=28.480factor=1.657zXZִF! Jj|]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kL MV FչeS6MB\r?-Q0,/Nerv[ oI*OPi {mYͻ <\y31=ǛMb)9' ȅP#<+xLho?N7qA{6N|b)rMlg~3$M+vO[D5uӁ%xq7J&YKssٍ9@btyڼ7ić8w l1x)ZPC-ѼzC`@F482bBmީ~8/=ȯ?f2.ākHz8_:&DP?u(k|tvo^~ Fdn{v`H8h&[)fi*܁w4U\+ne@-|4u 1 HOL-ODE-Refinementچ.x4n-UcSqem9XRk%#b0- _P`D1wFR$&Z1zd_ɀɰu9٢/܅M 3,9mR)gy j8)<}2v⣁lrP#֮vsȒc!dr6'z(k)єGR*W 0ȀB5ZTe{ 29\!jy0,DseH Fo^buZ dsr#7Bd(s͗b<0X=x"ظOꞸO}d'c KߖNa#m5^uNĶ頉A҂oM$wӹD}J^> {0cN*\Nq"ԵU5Hr 3dkBU;Uf)(pt\'Bÿ >2_6ά=ߐ8f9jF_26PY庢ޱxq.?u: @vYS:;Xfh]߄9U#PY9xG`}UՆc9tY9zж䞘Qu+ݳyrpXbY}f?uNۜ]%kok!{(|q(O"&qIVL$R# %( 1ץ,5Gx4M[\h5OL-h:J;;Gvg?KwR9;mHr_-j4%i-.!g﹀$wg|"J BPn:d.J v6e> .mչ8ԑ4,Zt3ZF6sPmد5/PF_«-ͭZW /E3!W@GqW+}dCwz'ɳb N*Q ߖYl.x0n I8_/}YbS#D)DngY\|ҡIM¹1+hb_) w.'5K_Pa [ѫ~ƭ* !TO#p-{ n+8(^syGmrmGUS6K=kG}};B8WE6XѮ#aDHy5s~в/[5a$[Q*]bZ^ɢ{þаZX Qfyr7/E ֹN g92]?E}jtK$0eE)`m@}B1w7E1o}! M3^]{CuȆ0iIbGM39=^[`?AV:Cb0&H4tuґq|^j@QEԝ#GsTwax"(6蔥ryn'$klƳvOZgfhwZȤGx\z}9_+)dovINw>ʨ)L&5Y \^?<YZ u^^WqN5W@, nV[d]JoF\XKT,NP 5wZPdj\~^Hۍ"QA߾RI+4~bzk ('lM?T>.~)GR?$ Gƒ0-?]U]82b_S."(4og5:t϶:'ѯ-ag Y265m84芚3~ON^5mosN*K@Ż}$`O *B^^Ww&"0qOJ}6H7L`\uz+qK&b ?eBM/Eޜ.FN֎x! Ao7h|;췁*dJ*Οr- !?!"&rAx<{[]6VQUӋaw=\CDQ7 wxZ\ԧ_JviYU. ;;fST9>xwG0Uymhڣq8R7&Vǥm#z;ʵhON"Uj>ԗb[͊cf}?Tmrm++HJJ/hlBy ّrZ{HM? !G cC0wll s0քGtu39@X2aaU j$h K7UV$(q#%BD6,y,"z} Ko%3~GDJqڻWr*lZ[ks#tњ5M?Jq|+x" r. G3$57I?LZ)n=[L-}9 !ߞi9,7PX݉D!3{lF¥EMӎoS֚ R+)j_L1dmU`WTFMRZX8rJW6f`{b__Qt^YKh #HrX b*Mg?&v&,Ї P6p< W__;֐e8'=@ʕ 3mórxRct TFcu@$fb*ͰLrwHIfU'a!&)7,>'HdXp{w%3 VϣmiL'y5d mjq)Y^+CT+m4c1MQN\@؉;a1^iۖl2κW ӋQΑS5 lLifj" =J{h|<{p{ mTNO\cd-2Z?c5Y&g:vTEsHV~$bqd?{g,"*^vfOU\qٖݻY7, W&Dž! (7 < Y3f&ds$`+oG%'O6STu/)ʌswLLشY%-K'JkdXf[մeAXKhM)ewU8\KM6kgx,p^RQ\QG5W[_qݕ-PIdwC $°{T?}iZ٭|!!Szx %HqMd:FYԍO*RH16f8Gw[Tp9?(+%opӭ ) ^R0Zխ]z!oLpma-<$z!r) vAksnۨhVgw);a?jZ+:N5N#+`OxǓʫ 9MifkYnhF7k,ktw%66>0^2{DiXS DeL Ύ!u+;+r l$[a[9z^&bt'4QnO[:jɉ}F Q.. g9[-VJUl*c, 3vJ}|5O5/T;ߪ\[6`[*'&ɰĊt<mZo.B;DZwLy òv?H}ev7l1"Gڬ n Ce9#V?˨{˒)u]7XJ~FXS!w"zQ iA`Ɯk/;;8ra:ar[ Ew:Ű8I zrKL:tlox|4̀"J˥<;1M?OWZj; ͼE6nRΙd|TR_땛En\3LHzi'뾩6&a;3 L jt0<=Ӵf2v$%8XbR,,eY={8e){ыM9RdsY;{iY)AP 5ϻlBd@m1?_<D5KUA}]^TfkCr'qUJ|8xN68clro)|xa;BC:eZ; &M&3 jbLyX C TM/ 3 J+3dmψph?w&.C[:&M<4cG=X> rʭT_;}3 wʊNPFN;S޸`9Ɉ2 .Z@Lݠ ꚕ|85c:xLj[ޢjjs̩.)AehKleLмn3&F}:ŃS^3K:"5tr903M{FѴ-|s)]~xs 8ϊŒ#zج?B4-+[KPKWʣHO&*Y:^^\`E̓z G-&0k72A ?@ye$cV$ nLG"P|!7TѠ2w@,^t)i  ÆS,pA|hɹcCն )HY[*jz["IK}}_ 91 M& >McK2|Bdn10i~dPUӔ`cJUe$׻yXrcրF2aYH#{ͳMPuzչcJI6|壕XRj8JЮmJ[Ժ<̳!,=rx:OT^!`s!]j/)\ 6h<>{"w?ˏP-}+.7;ᓻS$E˴ VEu9JYkp F(" ^u@?3QV#BaȒ?%.Ҝ7FCd^}%=~E}tWѽ$۾&v(ژזƺOݕwUBؒuT(!EպzsI_r+"&vC#<`.YM<+61]olŮp޶C>[ f1a`ޒHF.u֝Dx+/ti9л3ͱB+0m,s+$s><(.i|[mD7Hnh_p!!D u">*y3I-0UWեp/͔6IS:HX2[YȠ[rt8M ,di[0p "7u2uwFZ/y?f{áËZT8S:#.o*0A9zWO5 ͤ/noƅ NW{|G] @!5D!$}P-=}ܴP k88 hyXr<u%;yxcǻLmY 8EA@20R93;2 IwC`o55|;oJ`- -%cMC'@rx|O&UL,ΤW.pz,m+Nv9 D7ilDۮ1b>F¯ Yx~hDx|H8_ù˩MĮjwS4+!! ƌeT{ifx)+d3*wBʉ^]R.djF4C[)}; Xqu绣JRBD$T!PC9&n )=PB* u+W=z`cƖu:)zuHn<*Ъ"3B>OlZ>hQ-q~ ǔf(cx㯐(`5ڔq uV܁=BLT0,hàǣG+moXj3<,m,2iƟOȈV%NBg<,k5:u'|]z/^(p#*,P]vrr(R%3畗]m5tisk5}7ӟMn'ҘhO8C[/ QIbgKHƖ|an\],NVd$q-uF$5 Ͽ!Y\˱6J# ey5-qR^}Xg]/.nC'is LZe/;'2xf^yc?~#1^=Ffް4.ElBc=K(=H KU }e!vmlrv_aG'6@ai40ʨc~.of&yO¸EٴvR cxo 0# 3ܨbu:E)k"#r ?w]q*Pdid;S.F{'WB6$_ 2.px۬AYMp[*5L?u w^ʍV:Z`\%[Zۤ&?3+{(۰ϼzBE =*j{LE[{%anaykSYp Tؕ E rqw KK͵Z s_~]jէVk@SaiQ)csrC5-B56s'~`esve48?%}ꋢѐL O'B=6 '7?k֨l(u`Qȗ@ 35 ^Uf2by^Rh߬PI- ٖI(ǕXTehI}8@{ģ ͈Dh06'wwNqv!(jhO'"؅7Zp޿d7q \":^q"^NeKGtN$gu*-@FWHbCSyBWhF[P8r_~Tһq!YI"-,ԏ[e(j6"|<=f9sJ$PYm5 .4}Uj[`xbƭSi]7*uld Jl{ԩG,=Xv>vC ѣ>0ֵt*Ύ]b>um%گ@\<^YH3f.=mpv-؇ڃA.^wg]on$S:NX8RLJ_`K*+H`y5VĨbs rXoKǦw}ԱS0Sٽ;EZ[DWW,E+J:|IM#rla2T0"ZS&q5T6F)\T5r X8TM+CࠟanJ>b񋢱D#.T7M/i w FIB(69V`/&\5 27k@u S޳Ҁ|2˨=,[Y#=|Dh8 8,!,cxsH=\W,`m_  'Vf$2HwڂHQOYh2uu;#ESNH$F37kӬ%yU>g l4Ug'MT-J/2Hiò4K&C (4;BbEz=^foH{L^ Z4IQ~ ^Z8xP- :bMJÑq7SR{6JyBi$x LQ zg%", g24 i&0:k }:^szEO.KE}B6t0iRw6ĦXs˥Np#5ԹfX6-pߘV>C2pzx` |#&KW>pK! ?iSR8.P4 lZG|[tn'eRTv(餅MǵtݙYn~c3]ćU-ִ !qV%=yIK@!M$IR(+l8 ֵ`)+wXQ-e st4rx'>_(su`˱լkz-mV웼mx"Q1s֙M #s2[jXY:dfBYYJp^VWæ #.;1⠠@HFv'5nsjKGtp)*rwWK]#M!`9}Be"9S|˹U/Qe"Ʌ(rPzJyWGJξ.`AxQl4}8_Jran۽%F@pTwVO GY|eR+ *3Itnz`1'ז ]/̓-w ŗ9vSa9$:qv}"Q3T7ٽYoAr`>{m_(b^.e'3}2>y@7 lRr~7?f B%.+,',W9= 1GPփlrJ̼FJEv?)rbYeO<*%Mрu?M/IsL 0zpn|\fvO]Ysq")!Ւ$_suʹ?E_U!+#o/L_3|c[΂PuH_RaA ?d6x/8&a}7QTl3aX;٩]K]Fc_-Vp @É  r8<8,%.l*V$md'x8R?|{<)ZyHOel,\~EJaTL1tGGo] ^՜?9Yzpv@vO^~j}x2iqFs(svf&7Ù2\<#K8Z1Cw XwTnE""#Re}vA-con`͞df/F G{+VH9`{RE üKXī8_u5gptw,WZ]F%!&FY~1uC״=~h##2(!xV.Y2IqД85B +%{۷j7n?Ok }Kg]v@mNLpr<@=t]MxX' Kڔ}P6]*^b% ۏ?BqgQ̏K(8DRE~ꖨgXE8hf#gQSM )*nGjhjkh˒F;S.k!eE`K3 6s/3{+c79 =)_FP+??鿹c7,B®XhEl+XD!bN6QpxJ1Brz>pOL?~].oZ_٫B6tC;r'|"n5 D %N"])?ݴsPX"0B@ܝnC@OߪiO5|8{0=k31wSܰ:;*1)s[n< E=hA+Rx7}~Hm\_MDwCT8(\JeMYї ʕ.lQo!Ib*P|;|;a&_&W'%^mYF >[¡Kh>q*EYo`(@*I^`ڣEu*G.IEHN6eH4L3|i#,M@Onu!>a~CThsAw`v̽6F[E>zHRlt`B>33^aY m| Kt![;556@D7yDYxjbc7[_c%% ZC8r)3 㤕ڢ 42Rj18!z2+/}8\"]~SZ7>lHAZ 'Uҭ)^ȇ`][t "EYnohÔweK|:58c[jf!4h!#He)lNT;hUߢ,ꎆA"nVd1(9.Cbb ^H1=å2KS3pY5OsNҘ̻"|._K߭DBDwqϢ8fa 4hO;MurSnq i(1BR5< BS"KM3> ۷J@%<#@ #4 jSa(z- 6g1R.iᗌT"k"@¢i"+6\{ ,DuI܅V#⍌+ y!_gwڐI <ˀY@>qW/wX&ZvQ?Klwn)\e߉Q;tx<`P[K& B~F׾pߡ]y'@$Rt7lңzL=(&"*iJ_g=4%zM +hڻ&$Ph^?shȩ2PxK)ׯS^ mE.Zf8R\eBY:^;*NJ(!%bC\qƚ:,o]I1;o*l78C֬rpDzme_*l=z~r| nEMm+k2Վ20F˚dlYAN.tJ>\PO fr^A|Xͣ{vɳdnTM0i&n#OZm߰]v-®/>'B0`[Q'ĵL[]ϣ؏tq2slX!"xѤR7ٻm)< g-usޥ eZw7MLb^@_=e|`CePe|KLSdQ"*FʻJd(h5q7g3f4Ιpy4L&n;~cqB'RtrFbnan3~E)3kJg Ru FXnE:PCnv>JN3` -6"D۽+MΦTfoՊjETK1|*6Tj`U.v޴wb#kI`n)ps=L~F)vsOt$%LJGtR=o|wQ{9VKbfgW5 vCrT_>rgȬK%^-kڑ Ǩ3wrƲ07l&ohjz9{bYi(:B~p5طjכg#G..{=p|fDH|?Ӧf800C>@A<Մ(˹䩿B3[u6kt~Cg+ 뤻[Q6ߴxX}f+=T4=W^[~ u^"mmN%J^Z-_Y"#Uu s{y.J FÐ\Gi XRwthֺ -5s{T oӃ|EwL`pПc"f,:蜷="-qSwdHlUf߉񌸏EP7h4j!Z=Sk=q??# K/:+㴚K!.Ī!^|^mmyzQF}5we'-|i@1_ hUO ht?dc7!@rċؐ,OeHYܣT 4'_χKdŦ$͈4OA-#ĭ ݨnbp&3@E;VwwԮ)#,Kqy Pe;9|#:uX B*{*$A=?6j+z61xHO8+phml ~Z)m"0b90!/5zT>$);Z}L1Ѯ :`+B& oкܵj3~wE5Gvg^WWif98pδ낌خ::tC\ FjeCDnK0N:pٴU?Y2*TWv]\d+壋.HU>VhJ[t-ʎ kp:,` cx>bDvnhB+tQFS4y j}4HFH9488t"'z,,%օ]m+gۡE|Pl={û::u# ^m nЈǷ|p(JwH;a 6o>ngg%"ԩ1;xbFhM\ `:Hv\B̿oqB.<=&VgCQ`Jk*n]_CnTڦl!7w,^z/ r'=1`q:V of~Wf CU`='r(BÇ>fadg=F|}br8NP6UW*hv/ċڟ*Cn% y)8"܂ 6ǤyU37,3D[r}ڞ0gěN>8b]Ip_)]ʲ84]sG@&*j|lvf*iDt֔[J-L-:RY:!+|q8x0y[Cڋ6 FS?2n epQI̐R*[ƅ|{`?e9k җG/\ #XyM}/.p&;,PB( C2;=W+e3 úEhGCA'ܑly?Đ%/Ч,{U[f7 )"C6xWac_:CBaӰtl!6Uj' "A5IUGB-RU+.5ۛf<He`a伣د=A~taAq#vG+q!rtJP:[8$ZX01f}[믃%TC"E_e#+gb/?V}T[[bILNΠuUv5!.GB6Q)lhi89ӻ%[9Gwſ-! HH쯓1ŐH|{%fLejNS(1 P[&?L0"D^K}Ã9gZ{~]y_VAbBDF37i %A 0萻PL@Z=:NTch` bTLH:hNJ49)knKِ%&f5wՕEATflt?Gbϻ'D iIԑmLlEʞPs z(̔ 0~NVB+P0YW٥ӝi-I^\`>#i& INJU= / ?4ZU mg(86Ke"~p#!I 34f${;e% C V{M9[4O"YF_ttEi+zFxPVWIkMK)luZ+4l8ZLCփݣ:nckx]9vP apԱI4 VO:XVk3i$蘶+Tl튞&I"R_&#i+O5c,rQf7΍ԓ'GApS Aeev?k%jW'm4(WeҘCԯ"N)m}AE?sgx26GN0To|Ăi"?|p彴'\c_E!Ԝ0Ɋbܶ@|GgtGmمB·+{5  5Ǣ=}{biҮkz1sh"OL15NMYe/aVQlb^}'4 ECg&Vdqcbg\~4bEqwMV G. KOBZS#pn%11E`-o@-0O57& :g.6%VK|XՐ4%j6CʫFF=+jtP0E ~Fs-&L2|a@CEr(o"X 7v:\ 'D!Jdž=&WNc,Q$7Ւ`QAq<ꟾ:U5U%Zk*NCf7̋#3KcGv0:΃%wMIlbL (x-p*ֲe>~@Q'т]Lgn T»Cw}xra3@Uم G8ղ>W9Q.ER i?kKp舋γҡ+;/Pϡ!~XM| b5Yjچ \D'_ueiF1AԠ=f`Dq !I @qeBfƂlLCvNP Rž`x2>h@v8D  ǥauSb߀+\# 7iyaLjYWT(5dyv;C$ d<@A39(ge (ʉz򃳺S_JzdKMQ e1o^+]e[4Vb:NkZ>Y X~G1 Tlx xz;l' Zzv!̆CɑvÐJezqل쁑p+'qLB)O)Kc!7bRzTrPHe&z ӡDbHo;a|W,ʾƭqŨmh#$7cZtD`1}Mu Ц~IBB0@^ψ՛;ӿ#4tIWDOqog"yDZ+L$wzb ni3 Nۉ:*x#5v [WRnDr92|NbCǫ z_m tG! h?B͔fom;v_T0Hƭ-KJG [IT7,P|)v.L9y2=:|yAQB*O\VAg*Rt;R| ;k]@82t*4͉֫_l+-f||Փ딌7:ˍ+qџ+O_EcUKmzAU)IǪlz~-*|hc-"“HWsgfYsy2lT̛9-Z,:!Q \oz5;]v dKGU ,l S'J>".[8J05uQ{L&q=Сd ~%,ҝ%<>`}ӡ Mr|P%ArSFݛsGD'nY5Ȗ=o,M`ZrV ƾ6(y8kW@iÃ4c^~߮ SYɩ!l ) d8&p# :H3hGul_P֬2E!pqW\կƍORfAxۡx묛hMT'IH5~,n=jT8_Z\I( ,Yr7XR\񾙕|{RC 54NnUgM+$27SW>hhj7QU >Z9iVs FAb7x?0f)d^W{BXn 9͝cJWД E:9(0L8$z4 w}\Ԏݶ6lr[hw E&<Y@a52ի97KGh.r |'aŅfkhCG>;ߧ!{%P24bY^vjmjNfpx Ijk߀BX(.آW:OXZۥfg2w"m;{NiI,:uu%dfW|j8O]7Яp5ƳIu0Fɶŋx-whC'nC ^hLԕwTvs]Ż.&'HtbZSM'.ȥ tK%F ¸W6`T9Q. <۬+(sfD!sBy*9a ?2-3\ico#9aW+:,RCF13GRєzH ;X4˚;H3jZ_d{-Ub:?z {ۇoPBVk6+!$ݠuBA2x% PQV‘ yںNsU'xx>t>Hf9xGxvj'9H2$;dVUP .s} HL>;*оi!iXi=5`_,/R>g?{ '] ԯ[NͤnhDSIk彻f%788Yͷ oȻPfi{v(},eB3H3&aKQ+ۼz}"3%@X|2-ɛAjvqƿ\Q[Oa+-ڨ+ف-w7v3Sp&XnD'1aB1T^^}1!YI :ܬ;BR0Z$8Y*ɜQj.Ջ;5qIU$'6vE0uV`:t˿eԊd gy4T:%orPД.o&vF.ufeg<@5DIt>*yZ'b KlaƗЁ:-bitAd 0C9LIWQA>|4{'eqU&[.)M[?Yղ%I$͵ Pɜ 3𕘲弳cJ#$i~ưY W=ud[g/_3PgĢԦ"a(D6@ў+Z_{ }"t_ۉUbMh:Z#6h1},*P?QKPq]Ų>Uof7[ C|̮I`M@\i"#ƚl&Tx5҇ @Й;'~*sbo*W%P vˌ1kNmIYJB p8#bu%yۗlw,ԉ>fiiș3oN༗ }if*ѻ7}:7g# ޏA1lhH.4&ɾ-!Ҿx69nU+mpvUdvc}&[t?? @] c3M_-SHƙ SWBԟcNt< gh;nREyV#/N\ϔ8L9PQO6#RfEhzcIO-Zxv3ژ\^_lW *SMjÑ`&AVK/ʋrG _b[NK&=]ba\[K8~Yh>A *gE-bTa^A=YaT0}Q p ޥ^WYx|kڨ Y=}oY%v:jl[d7/a?[*!ow, *ocrQC7zOW7V.!Vb\h>_9C;"sY;i rbRG-xkʥl.Tۍ:sjUr)`~&. tG U"s/fn8o킵E}Po)ؼx6vB|[{>UDlqzc??۹Xu.[%u+ .}ܮNSݪ.a.C2dMdn-}NL:(:SJNf$gL|m݅YI#R׺6̉yvp"sxxwm^@ε2F m eFĝoK/aVTuoM Lj#0-`Mb|ϐfdZ;DDCϥp|u4osQUL}q:.JXpgYZ7zXZִF! 2]ŗXi%>)P`Ӥ['&'!∙_虳Q-Ye7#p1zG@eN)ݎ>oB`d|]ƞy0mF!t0ʹMnR(xDy8==ԒYء0BĪtGCvhwO- b SA <<L>o#SN^Mof)ҡ. sDAm00;ҭ&[\Hpj+[\CS/~wr3,ě]~y nD2]}&VSFBB )HX`EeOl{$aX3|3H=[~~^/ 9J4"l+ ctR YMٙA.!^;2Eڧ(v 8stɞ(,$0X[gaPPX`*9Hv4 `aYT&Fga,yTC,C.:re5x6)+o=̱Zjopb>"d+.635']&)^lCM~5fcYV@lM*6m? B#CMXa%-Тt"S|fHGEIܻ|iy>処9]!%ݣ7jhd3{ +u,$H=,`5Ag0B6Mri(?BPq5e`4uBzA nK]w\)ۀ濻AjxsQlQBC"E+JŪMqC| 7&q.ع{bgA!L NG'l/9t)4i{4{92M 7&zUQPcZW{ tU2]?i@}r)K ޶2WbZX Q@wh抄OYp^f84͞65BM秠ʡ]|Ƹrskqľ@m1uwE6>kiCW3-pYoN%`0>4t9 K# Z:Ї9P_Ayv4dE5{.m Mʰq(v <tIR?,.-UmZ^ ;dp7ɒ *%%甙q-87LNSOlaջ^cs%SKWPQ ޜي峼 t.J;Ěo @瓂.ޘJdEMaށ{Gǔ|1HƟ{;ʳIP l^'#vFK kV2lPā1^-%w]g|w{w#:M6@u2]>WǍ0(c."/" S*nm+Rr`˝EZTX|AƂZω($bꐧ3Wsq`OVLyGD-s|hB9-?<Z9~mHxAܭWCZyƀvM˛]O Ka8"ɂ_A-*6^y(XI!HhWMXAu< 48!3j?ʑײKSc+t7P*]۸?"ĵnTG\ah4舯n{{Qd~V@#.6!Эx~vkv2ѪN,Ns \;>rf5<)LA::!CG=rQii {N#˛Vᒫ[w1VS]Vw,c Nuڡ(]$7r pn I{ui12zܢ+ 516:Zr?I>z`~G+O@ft&u (/yqeswwӉ_G,*szesy^ E@wq"*g{o&ߒΩRSJ 8_b8HsmʧSF.y7Rr1A%pJF&Ny>u`p2 úhg*E5':o4訠IЃy[*b?x]A!dZ`IAU0~2RqpM x:FOf$s drEWg=޴rTA$N{lYAoq/t^Iv+xmѬ|NWjܮ+5%!kTq.1}d},9;s8d@nq^7  ʀգܵ?;=? ;f ۤ>9VLroru'9Bc⼠אn;!fYƮζrj$^ߴE|Y$ϔ_d!q\4'a#& S u-[+trGk YMf M0rb퓀Il)\JaL1;25p+/4ܨ"F!;>6y#藔[eRBcl4R?5au~@lMD]4ӓE!HfI3ER e/V~4ww帽h"cI'UdE7W@wWٸyexs]х|ýDyo;`{ңN؟g~0L?H7CuyWr9~!ˡQb0ss棩}g=S`Y©`|oLEr-Ȧ'_./pV+U4z=VvC"A>4])~Z䮓YuRʇޘ`g_{Q%3@ }X>%jG!sÝ0C^p9:@f1W30x=6?94}UGe&M`]H >H1!iG?'|}_˽k+ROhDl?'Kc'2 \q)#kqKL5]z`[| ڔ_2~dOq̌8!Jv$-k{h{>qNnA}{HsĄi)GukRlYި4 ڐV`>$T1χrMKiVK-E+D{z0L3ϒ0qΡ'_bcQW`37ʰZ岧d`'A <ГMxs`ҫ'< WyX>pD7~ӈ2'G-ny{٢劯[x<*\BxYO,eCq hf<%Lk TfiPe&bK t@D}s "Ebako xU,aQ$$ fϲ{eZ ΚLUkւ Кn^cUT+` zu=g+NhǤj24сJf%!x֜2tbbn&tZy7Z(2{5g>DQOCx%iJr̲ץU۠ʾW!`%mS[Kţ_p{b3g2"ILh>־#m$2?^?PGO\4}Q0ȜJnQ<˥l`!wj84枿لĤYnz>hhaka+UTw^)&BËL k?aLXCqJp&@LڥbfpIR39Q#4!HpJ/ho!Ӌm+oA2+R {lCqtDT{ڡ GgdX?nx`sy5{Bq G~ctEɚ%"01g}c98n/YGGNcobbu9r7PuZIRKK1ǚ}zα  p`&q]<Yc -Lpo\Twy:Wk>IUMR2mf'_آT\Ko$9CI1^wζVx${1k+rwPC̱47ӯP)s*_D;A{rQ!ݝ̓=*70E =[ <-gbVibVpa(+ÝO>+֞E&8vX%+uITqO($ub߮vTc`ϮsrcQX5iu6[0m_}k6z2:1'̨bX++IЉH(0v~v:aꞏF}(2W${Y~$hORT UbDR3ոb)K3ܲ.@#56Dz!?kH̲'h--+«+j0#󬴸kY H=2xOx*vuWovXz㗾+gW}JfQ1!gK9kX~rև.4f3Qؖ5HD3[]TWkYbPo$W;>.,OfsVЎ mI`'%vKO݊8FxjǑ5ׇň#M3-Jl5bS=X#УU5K@+k?M3] vچ灿^ւڻY'sډ\N k{(J,rY͹}E>܏#NJpf BRUFya %kũtA'%nK Uk;4O\ZOs& ˶0bG3JZzisAYUG6ft"chG)R(/ݬ)/*Rt{?y9)FFA%bpؐ%CN ΖѝTfxt$XkdWnbQT+е9*1\F੎. C 5f7 շoߴX2tPGPF-~鵛xxܟV>;G*/itL `zxj쩦I65}e{ęW?Xp˔@X:-k5LglVD/o5N jcNS~U54vNŎ%#dsM")kUM)"sx˿7g782{Si9:j֮B02vQ)o! ;vIv3<臥QPz 4<2{7! '=@iC>Fh@-3sEQk݄YWf((Rjd)~fbpJ "hgD7(.Cl*LceziWN"+>sGzt1?Y3jℸZ)dVŢ}\Vhܭ/`J'gUFV^x`DZ\F0" /:-CAZѽYxQk5ٜPP:'t3}fˏ|.NR7>eޔH׶Q,0!*S,ܬ%htz_:.Qnn9PT}VmR16xoߜaiSJ( I3W ָT@>8 >_3!?0c AZΰR[J6ؖxЬʄΊql+v5qi}߄ǺuR~;UJ1*p=F63P߉Z' ID'lw%тnՏRUP@X +`}x~IpQBre.KJ]}p#Z Ӫ= }2 Zr="Y˯uP>ZK:KFNB[a c^Rk-mՄ뒈M!M_9ċfZ{2xś}O8],UKBZd̼ʨE,g[_}!?*nWQM %4t%u\M҂PDl-`C$ d *SfRz$zL\?߰tR(%^Y`mn7!~ojJsnޔ^*`4=sY G?6T4q(z\3A{=ȦQТ[hUi^uG4Y#/yC;f}ֵv~܂e t +Sm3GZHVnt!ź20.XY~Pի7+-:+L8{#ٍDu؄"?8߄,W>V +̡(jTDU6rF_j5: W8UR||\g23 ٬EE}IIUU޻zO2X;dw> 4_[3w6Cu6J2WZHR>Fl[ פZg}ƨ`9xhZ_E1GYQ8?m!W|E?G@m ;XcM`3lRyW [ lKYj6?vPٳEC"β&fsmԒ|G\(G!3󆡷!? :ǘ}{_/ ~c'|mXEVLR`:[ 9#Њr `.J_(tg\4NީeaJ ʿ7؋.n+%h}