SQLite format 3@  . BBh77otableisabelle_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  / /!1T4T ]%]HOL-ODE-Refinement:threads=2elapsed=622.604cpu=1009.068gc=55.960factor=1.627zXZִF! $#]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMR^N);{4"g$l[72syB kU˶3o 3)taq( U}ŧ4낱DHIFEnͲ^$ t'#AS Mw<߬x`fH_q e$²MAZ },^V͝k08g^A\ Q"lLh 0QEF0ZLԺma@'+:FgjcJ>=yCc:l:Ŭb'p4,@9E{eW]![ ͼ0mHܸ' [y=Ca&8&q@>BmLPL^2 ^^x;FP-؍85zu@/ക ~M.\O=s[=3ӭɶ/``&䟬d>aB̂boQO!wgv_ʍr:"0hbi 1 HOL-ODE-Refinement eF0x0)KlX=NIXD|;K}͡T1=C"(EBfCacyYSZf><|f/IF2h)F0C4gl`7kՐk-/(cu?e-^^I|NtDESM%-*\8_ǾxAs+>2b<>ڱB\;ykq #sIZ ^v2a~Eпs ~FOt`KҬ,7NY(W{,SNma0[/מͫFw(uUGͲ7bUT-PIU ǝgqi9l :8ie[n֠L.}qFqkFfya__+@00 1 |۞ZGBZr24f%[eMtd,@m#|^]WJ_Q1L ߨ.a_̸s!\kcINf02t$B3ƍ**H u(ҔNo~,тsB LbSLHXfB3<="w/}qhnWG7PLI:Ro [iIwiS|naf_dЌwq:xJ2JP6k81RۮddԜ,6Z5Җ@z&9I--q݄J*ۦi[laKfOZ}, 5tr>' fڲCNQ֧68F;Z6co[ nj ݴZ2ǁh;6$rSmy=D848b:;-R[ tI2,˧HP@* u#$m{=Sthm !FȜMX ж@.W-=SW6O ͦҵ9K_emSJ^D]m wBz#u`Y 79V~r4)1s/_5xߟ{Ohl^g xn^cz=d, .u&&c*(1ܜCtK3 4F&e:(opKWLjo0s=.f0\2 Rݢugi3kTaRJ=L JYw#˥]Z?r׋i]a12v}7I/ܻKZTIOg8~>uFL'҄( &Ń=šAzB!K ;V^)UbEw>Bhܫ}x 5Ǿ~1(1Ե'۵˘A^+{Yt=UG)q6@8yH6.4Pu:]@:F wd?&;02Mj/\-TS'g^ZD(3_dqtPں,mD.T'uuǿ갤O)g>twAs#R,lIUh@+ 4 0W O|;kH_c !~z̅Yz_ }I=e>)'W+&IXlG"h3smVʝBE$Uyu ap_0pRrg2Ktj-*8Uܹ@Z3ozd;̳M\W=cAh,WBtJlE-e)qSmiTl]FXޯYWőj~M4w;nI7Wu=b˛eg#Yn `ϫ?>_l[2$ImaicMV$nWsqSs#iVUwC4bZa0b(Ãm`a8]SB+u |B7=o/ĊS%fR/ta4TBڊ*04=t-֠ =SpYӲA{\^qvm⶙ fM:σa$ rPS6^lP'\bӥN+%O_P "[>oN#ܫ;̿VVF\-VoLO3{y^n,-|Z l0OV=6_1=5SyRyU[@ź|tcźv<0UYڴpUPUtXW x#D@c Zzlx?eT{3ypv_| so݃ H.+֥?36 &.]@N4+yvYڅoX̋ )^>[q(iy01IX N{_ [U5`ԅN4!_፱;T EB-TYÓ+e+<mʣyQD*. ajptJRݽw-x=cϸءIaH[x$ufHް˒Xt{)3:3dže#?j/[5b"pQѭBS&#  im cPB!@G)5*6XSކ hgȴA:Xݖ_S2 #> SskS%R{%)-):ڧ헭0qLh0vQX9)C۔8'^gR@DDA5-(Df_Ad_|Wh֭(蠛Ug/v/BwEk adE_1KhjebR;Ͳ,];)]<w9Q .UWsŵOlW/l~H3 StO{¬F.X(8\pruwxK^"| ; `fCd0 ,)#df0 Zf(ܧڙFwM@kmVߪ88Z_۠Fq0GJw8/x,)dfk^PVԷ.O6$'B>32lg# ӝ75l)x@&GQ"m@EgOCеu_ԛ^CBWKm.Qp:iVVaP+^mY 5hh!}C>?UBvfCޢ Ǯ,"ԍcaP@'ҿi. 3p,/H(*nQ_יd0Ud'd$D{,aEe}\wG;6.BRŚ>vັx*Ywm=|۞#Io]WU`mca/(h~@vuh-;&/Zw~иߛ0]n@h<Ev,\),!/~#W_W7]=3Fvr Lfy:r]RGT̅,rh5V+3(5=QzQۚzD=[*&>G5YqG<""/\QV&Y:~ 5.*{l]$KZܘ?}.2e=7zKNaﭪQENleB5^ R&ѶwjS wӜ)'L `{?*߿4-|f1O TK4% ~7ug.V^=ZMhh!:n|H8E"v ƚ Y|Y&%'"H FN5If>V Y꘩"將JTP{.[%NBl=q\} J*rsN}pQ}뉾U1NgBp| 9v,S1.ƘRI/*FK-d;W)r,.>btaٖP v"@CF=]#r Y jݴ莨nߌJBDwӌ9w54AZ`"} 6;;;wPɳ D,\E"PL] 7D\j'Zed;L>=7#嘨iMcH#oeRee֔i (KA0~wUǽGKsx(:0-p1- '#ԏ>J$[ Zፉ,c\7ZjvD@|p~"iD}. vINU[E,э,K'aH-A MeLE6nګ_pPXy,eqb'r8hA5Or5=WWhԷDM~d!U1c o٭߳Nb5rӡ!"dԺs-45I(i٪>e?p8pYeچr#KU.z\2̂oFoY;Xݦy:FYim)cE֞W{:bZvffd?HT%NʋX™P,=)(?!>4Rݳ~;2d=ͤٺg%LKb5蓌/i8^deDK}3"_u\ptQCSW8ϙmx6,IXk@aeܧ{*Se9SIQ,6JG(B\s;Ne!3Ly $`;G:DVj+#W=ǪKÈ&>/:t&rMeW>dSl(yyL ѕzW ]P |^ЪfYbq''^|]썰ްdz95pRn#*K;>C&M8r{2j<*#? hkb2ͧ5wʠ #j& YUey`]򰫛Yd[mpS;9 muLGW F=Kcl3`3q@4kty, DMi-sc"X}9}5;HRαp1Uq==?/_3NCɊ׻@EvJe\nh050K!$"ǪYMs?ZXJ#DO!7nʋzn^ܴ4X 9P VJ7jQg>=QY &xmjXzWoҶH, i%9[ɮU@ YCOtV&ng'匮Ѕ~?RE*җ bDU(l&CdD\5 1He^ bܱgYZ7zXZִF! *u]ŗXi%q,*yL9U*{U:"&3L^lA%9J 2J@$/޿ ޚBybSEר믌#OA_{xn Ofƨ;ajw?VD"4ȹou&^`K3JF<8w13'hW}&JGILd5hXQ>JY B1Ĵgn.bed޿D`lv@7wZTwLL0{aeN:.n:+b\A-yΩzUPqK*^O䝁z4nϗ:?3&gF-߅8#HaOޡ v54O $lf]݋.Kda\Y+oHDv_DaVܜ\=< qLݹKߨ4]p!Dj Ien[T 5 J[8Π>E`tpݝ|++8"y6~;?xE;xD[@B1IBc MIEsRY.0e{aݎm1ɿW 7'wV[b$9tQiz2/|^;#g}@m6ܜV@=9T gw$|;|kW(`ކR>eN =%}LYDyy"b>^36?J(*)3F=Rk r(b%jj62Hߵ1iDG${|%B-L&Ua8|L:adZ2'%N\K0~r۝rBFl6sW)PtK>}(IBZ]S64\N4'cYg5-cox 8Lx|fU/zxefϴs3㰰p%858-͋Sc]{LXtj83S촆-U U *!V,#/g7$gUQ&o c%ڲ^ɿ_lw+z E(QLelvaAB}25)@.:ոgH7F@tcV |`AVGr\঳ o U߸JWʞݎ9gklfגrƳqV֏Z=mQwy̻t+L-$s]I\ ]H\ovNFo֒`,xuԬp6w=Lp_CaܣEu٪ ^rZw%_T䨊BLkc^~fƐ/UwTРȹh(Lg}ao Z+SH:VP5R@ F =bm]ml2*0V" >Z8eWʶ ۿ y̜lvM4;_S35Ҷ*.R7%,{WT^u&*/+ vgjms <D怓x~! vQލ G!BS7 -v1P{LJdg7W+oEr "wL=d{iNPDνG{> ( 'D&ì]kj|m?&vy"OtAx(sW^^Fb [Bwb:vx0UQAksK^Ym}J9;ǽ<3d*j OL$m= ښB=}#Vlf.ߪ~4bHA16L^o\<n7Q^WDLZ=I>Ag-ٜ>IƟz=|AzVHU+~ P𞶱Y3k4?! >ɏ!$i=Z egwHl)/:8T Z$o`#0W)j-XBi le}Anκb=5W ڳ|04v߻e?Ӿ"1jb=1\b$aNڄ >@Tz !O kmxXRU l7i|9 J( 3nd^CYj^u} UpՠTr!]Nb@ml)NS@M Hc=g~tׇű:Ŏc%ͮWf9ڴz-n帺{WI" -\Gp5X:B[5ڽJXPC%i$fq# 4?z>4x/S)WWEy=)3A׬SoYώY&H j>Q"q(Cy)莞e[8͒qsn{'u 3"mfuk#$WXͽ%*TLbÚwt%q~Wq: {>ζ_2*T<~#qLT[~3;eIh:LXG9grRYM2n&H1)?w"\:Z%CT4Ґ#ANVl?=\ղJY_mu[KScs([-VK->e]Ъm?P&i}Q(/N$__im f^t{> @faك}(f{Sxʒ"8-E pةі51@kT9h 6o?KMp"f^m|h䎠 9H o"V41J`)PM:Bweb %<#=&zмGl6x`>$91̲ԼpTRح3f4CJ+L Ɵ; 01 4FMv{}J$2ۇYt+PP 0 Z$9gV:RRYl[c[ 0Ȝ.t$NP/-ϔ}YhѦaxǐ9+@KA\@%hIw1b1 ŲEiJZ:leU23x砻as y26ǽ{U` 6];ElQ1oM! I0(D೻qMҎ0@J9$<@rzRVN< -),8w}z՘e 9{ygdOfEL*tHSQhz#ZJRn* Nc{W |isW"W)vT7naJf5$/+RPS Rfȏ\}eRX3 FXor\z<]]4.K}P.BlPӈV,aݓ9e76>˻rfKssi% W+WH~cKGt(~ ʞR瓈l$qlv,mb෭7#f ce\R,ƴUiŢat9>.I;gx ?nǚGA`R;rBqw.V{gģg`?zB kkqfEc|KzQֳZv6T10y?r ݘ YOt<Rt5;G@J3j(@$߽:_I{XNtRp~IL]Ϲ-`L JFykMh2 1ߣ޺[*\ DL5kֲΟ#2PNg0de * +07 |PKGS#춚GF O]ZuZ>\a <-r#J5|`' rV 04CUP)tb5Mv{EdqsoaLz͵L}^~w,݃kx;u+[7n9S^N {]inSC?Ða7P9*xNҕi__w{VM/_ϱ'T~ sMR#quQ()đ0OC>wǪdhB0Bn|{M=DP~kuہBQyRy2ILƎ`-ڣhHZ2a*c!ИQ8Snޗ4%HSGcF0cY6~Uv%p)& H+o<@q$[<</I^| JĀ)r`q8DS60"N#;mI"YFjwWIdd~> c]?zlԑ/NfJsi V s5L`թΙD D}ZNmwݾ8Zjr#gR0ta'+mTPV=jxv9}jFus93[1vPT0x6snٗЁ"2L}=K˹! 7^|F敡$3vzb#r!]xxb8qoXT$Yᶔti[6|$H6v+֐bz%[ Cr|[7V^j{^l|aWu5Z\k; ahZI8?\7uz̽IuHmBr^L! {SKl=E3@ʼ ?k6XCu{ӏMȀ`';^<]⍷,d>V2!ĿcX}!̄bJ'2%Y;} 5.7=߽DJykq@`QXt-kY֜^*o.y:k} I}:G-2 R9nfq H#hz+f'%IvLxa:q꾱\(UhW4peȗ3 j|%!`[ųVp w WA1lF,SI`f79'WU,33WoWqpδ?c%2Mѵ5v\4Jxz%9Bg/YSo]*d43Dq-"=huU1+]c=#Fx-WNr¶ɜwMjQ.M'^~[0kO~Ch\yy_a2,уVL$>}oX=Ԩ3Z 1Přs,^y0$/:=\O M^RzZSF75 M(L兪`Fr 3osMu>'CwćI76WAsʞ4.| [{S0VvyFrOV)yPV:[ z(N~Ԩo5cHy2hAM m~7I#B폒[2XxwJFK@-VҖ oZkP?(`Ɍp).'q'5m_̯6D[\K*Y `WH\J[%A[(Ҫa&);FZR דR;z%2E_끋BNMeFo0-fXE?/@Dh.f61t OSfh Zäp1Uuw݅[4sl}_7Ez*)S|j`6"fo#3d㲀t>+!$z2&Ԓ1tڱp JT掂hS(FfA_/\bhMl~O귍5%ɺ;[1gg\@ 'G[`<]f\r[vP?>+ѱ2! }聨j0&v:ˊ 5r K.}m$/P^/:J:LGL3JfKhz &u 5(},F*V{kڹOya7J+@\NnXaY\Vi7J2n=6 fOЪF?qZHSD |]4?Ll> sv;xbO+cQEw˚p,hfsb>Yjhp|FRށf.2\νsGu?[L7 څkO ފ5"^e^8,(ĵ,F8Ya{J 96ۨ_v`c9Y’U F- a vs,? j14 QE$:а4K {f;v׉6Ъx}0KPb䣺؄=LWK2-> [A?WN8#/*\ ٚMu =(!_@ ,@YJtFVZ40ղ(z-:3 ^} '-e(,aO6'E9S*{WF#%G Ov;c!EU=(HڑESqGjOVCrsM'>xе["{.V\'d;H3]۫*~7!^B i@htH1Y5)ioIf6+n6[݅ |!]dV6ǼshM/=4Q`lQ2)5N*BTwK d`G0@Ji?knVqMf2nçwٹ#B'G.fd)+۰ ͗CV9 o kok.xFfN&9 1VK]xīoT}qhbd2*0Cxuax} ",baZR*Z| am9/B^b2IG*p Q ʒ(Fט`{h l8MS1.} "UP|xA Q44V蚤àrwIcs%3>% r CsUTѷ/z*tEB*@@^ f\>5|ڡa,7I[,3TرX%REW;r|tضc[pMKzECƱYp&X?ygDHhx% ןj;f|7&](vRq>y]CF^сg9uf)]P,L#aN\}.Oඹ y?8~R#l; 2AW[ lSKTF ;}Wj{_sm |C꧞x2`5e$c撋|!>5_4:=B|(iys7h=mdސF'0oُ -IIګV畩Ę E@EJM>ˬ-r1 [0ݚ.i20 +1W. ОL,}ԧ9,J\ï~",M \s}\-\E* Bjb}fr0|rܷ5{ YiIwA SDI{t.ހ@DŔ* y$u[T=3Zh= I 75OygOʟ!}/C%\,C;!ExFnuzR6i :\Mw yO%kf$oJr!Ua QSsk{t'IR rQ*m绺SiQjFZ\j䄚Ṕc4=[F %(XAr'gE4b&W]] #ݖP.ֆ@`@C@ i5%@i`<ޥ)^~P?j5-Z7"ZN6s{Kq7Pn/S%W.٤sG¶}r &!Ictmn`.ڛʴ0CH쐤HSҖ!Э]hUqۙv ԂsQ: ĀDNMZfWSe-י !h<*@)kxW"rVwsD1#y)jm9Iq0IB~ Lmr(/OT؀)@ ;|wdQʕK%^1Tl\#bk<9FhuNLmO\R+%rA\CETI(6%1+">fz枣D13gNjYUVQ|aտcE9?$%];W;֐#| N5AV;*ZatB3cfHQ &vȃ`+‾P}s7ɅyR9-|̷f\b-Wt+i|Td<'7#ƕozER՛TXpzI~HA!a;|{C8H=T-BZY L}Yz [u2ɷ&׊*`sG\~nwվ-t;Ʃ^+WW>_"ғ VS^&Cm?(`*DTgȵz КM 4El8 "W:ɤZ F^}y2g0!n%ӏb`P ;uJ_"Ƚ-yj`?6ֲh9 SsWsm5d a><+{k9! `6kc=߲EwrCf'c_8eDiV@?ZЛpPq91ԹS#N5SV,)x`X}?WoQk]Lx-FArXE%4H+Šܙ>p7k#QjVJ;˜:iʸ9l(WcSja0rO:Di/7`6i.uZT%Q "9| љOfli䥃,pe5}Ԭ;υ}*cd/(o%Q.lo.5\!L0bC % Oc_=}>C~ŘDztuC:$pHTJD6֌>>:3}ziҀY6ߔPX`HSk ˍ;}62QzNwt&-ަPcX؁X ltpHά}>7m"U]UabeFw ^ ]8UZle<'i3@\ȫy,ԇNj5)$ԗRq +x@1TEC%~9qq~I:P{b*J=(.3cC_-,ץº3~}3q!I:yl^=`@B|[Os{::.$G>e1E%+D_:EpE4>{|VdھF+9ӥ&Zbǖ)`y3AwN6TGсROC[`Hd{ ;]vf&iuIz{Fߢ;hw*B+tŢHǀWE0,ڭ]zTnS=״'-#pbYkTIG.l ?|g`74ҷ_C)ę{U` -Jͫ0`%L2Y . _:Vf8|8?.^d|A8xR!J2.hJC_ @[Ol#,]y^@*zg:޼g{u8G㠜j2e3СCY5L~SłDd$e ȪJ1kv"nF-8+糼wȯH&g4QK:F^ FHLC%XQ+om:,ލ֥k _Q@d33iI^z28U^G8ú+I,GdJ] k-Ld־RPq7rE+d^J@K=q&`PU6[٘pE9ߍ[.7Fg5 9q0/E1pha)N!zN![CTgI$jHLpN}as띄”Lg+VBKwTM3Α<(G <`ݽΈl93cY87jKƛG"ZJHFeǜ%2YlsJ.,bSojz@TLwn~F|>pEjeNtS.YAɼ'\ yf w~nrMQQڛI5ocdxgcG/p0!vNQpUT @%@0QyA:XQθ+@;ɚǯ*?\ BOdQQ@*sMə_d ;Qfbyj#?Q2w~:xWXW>ښ ̵lBE۔tr6D qV|JOx=7:rz_z~Y.} /=kKǗYq(}ߏ<SRGvt4@MtyOC2XDe (aewUc%U(RZ&bf#!m&ޠA= AiBU#j;'ga%%ӴGNcIM߬>'?;7R(Be1t~!tP,v72%JAiMb*b ;-]t:S[Z n{jW(ϼ[EM.ȼ@k\WW9f6L] %ZtZ|'Ѡ Mk ;oU t3)l{?muyT]PlnyQ"0ie &tj9>UudkZK[Bu8x=>@5L {:@)=Qv1sd4ё) _ ؝$޲\>3/?W-G,"ɇ\DH3W mЉoA`2Ғ$uEz{qS'؎y8;~ Ǟ[E]xCяwc]!v< 7.;| csТ% )j ':'_LjYK,0s]2TDQѤFKXPu>/EcƎU\-nR=+buc+|kuڮ+ F9ƥC䤃͝7. \b9@ s&ʧv A( ]cX!XY&sJ@p:x^qs]Ǫ{Oj ;pdc]EKyv+ R0lePڎܫM$>eI="2\ fjZa-O)b]VHs=cd J\ +h^_({4+R=(/a4 }}/j<^[´jabЧ~.L]͢@54_,Tf Mly13p{ETc mJ2ڪ `YU*A21?Y+CbDɍ`UZ [qA hmLs-8eg &S97X~znf7)e:!ưK/>7$B;5 neM a+#,xKnY&Tn 경GgZo%Œ-$2W@#jY8WsheS%v4M0S5 / '^w@CwoCxơ>4YSI2BrqՖK?f7niQm@>eJHnP\7ica== 2E2MVxG>ɉ:A nU+L*G [6TNCkD,ա8Zl#MPa/F3QzfV {䳬B鎛[J`ZhV2A x~w<ޯkv,EmW&XDtx2C.gvg [dXHQd3}xJRuTearBee?NV 4Hxl| ᑩK<y`$zy:oSe=c[$Za`0@Ia^{hZ,:v;x i,U7jᜨcJ`c N[mxEq|"wO-PsO&b ~;KNyg|ih}3pz]ʹ;ZؓٲVi䅕`fJ6q:2u,3K5ѕHi]1'tx3e.CwT,[%{mPks] wwmY@1,hfLQp|Py֋rI !ELXսMC) )1&*Zp, Xk]`z{.V`إR]QD5u[T7 u{YJ-yJUGAy15"0jon FZ☏J9)X426)  =fY+ V: 1#,^?(tR&o4Zllcq.gI goW"–:4a@ؐPKɮ4;jbKceb3G$͙?.11b֍Lg?bnWҶ!rv۫ML(?ًmGIBT~ԩڽA-cT\dNF aoǻE.~qyy,+2Wg7PeфŽEotZz)O +Fv_ų8k!&Z7'b.}͎>n7Lbμ i^ B ƿgOFCqm=&& ZKVz``);.r:quL=NwB[ӟSdjдm6\a_P"us#G1p+z\ GT<»IB߸ulߦnDªi!#ÞW4]~[KI *L{'J1`JzPl{7z(MmzB͖NElұ&o1 Q|>ʄ'/ǔ^{īoy1%+.ŇJNN<a(KrSM|gbU=6PfRV!@ .Y![8W8b/)xIKLVz4Y[5In7+gQt)as277 .:_(jm(=5Ξ*աd<,&7GIC-Lg TփBʖY;? P ,y`~>w(F31u-. pmY9v56ⱞ}J>'14yM[4 oi:lGc-U#8r&rYG߇ucTyZ=.Z`]b|a-[}R;:[ĥhn _G!u>UXvLu#hT tFl%]:k'W7*"nڼ7jCaC-.1MA8-:/HF0ͻφAגˁ*W;_)y0r ` _>~)( /iG:yE<~YvиK) 3FՇ/H}f3Yam`1Q! K̸.DB?>MOtu"/c<&oxpؾI|6s,rH5Bgf|D6NBiدHd",TǵyflYK֊aJ:n3Rֱ(p,̷4i<8y̏ );. zGu @ ( Bc J OzVl܊v}z6-?>] ;{0ϊ\o773Ws!ҔQmSap:H=~{dH4Qn2(.xsL6kb80Ơ! lSQ(6DgqdkPR6J"%$I$vy٭i$+;B92xqL~z. -afD=y8u]YiΐZy:$ϱS)bM WI^ ڃ2 /k8T&y* J:*(GE\u* . v^Ƚiv]7P+<447PFN2_Y5_1mX` QsqgO,agNQ\p1ₑ"S #ɦx.>.X NhYo}@D5]Mbo j:ړ^ I'J4>Y?R\99 y;w0yke,t8"(?5)gδewfj[ֱ9pbw<En{|XѰ$IwF/Nv+U-D<8 Bz <"-=Ѳkc4p%D,@L%CkK`|2@p8gԧ*zDs'tu +%l^v?Q*,Ƥss?P-lW35|?ڪ:e$)c9eVcvk /KFNǕ#s|3p|yz\|ܟwmpqPtϢH8QxRk$ kn&wxQgc+ALu1:RU(,o[Iv ?|qvtQ,_rivdq)XAXB%gDfAܔ6kH6#%FRK.7>VvDRsh7.O۵v/7DD=rHg*BKa?OWJ7VKǻNIJ'2t>" O+ьЪ6K/Ї:#^%iy>,`]aU!raXsӧAݑ#7w;$ ,}3%7cUBXdRRA+0Pn DE Rdy_BTwZ @J9dNT"fs+T9͊6Nt} ;lCPҺg/Uň1d'`bCE;b#>V[iw 2e堯MX0ScJJ2鑖0PeO0֛*-&IAI%֠f<WQf44A`Cž…7dx㤞gƶFO$"7sQ_^ezƼKOʝ}*ǰ=ҴV@B뀚|̒ B,P+z ABiȒUŇOs 韄YY64Zb+2~E+ /48%5韗`NMBĜw O[C?oܞֿX{RkT5u~˕*ڲ';Q'n n襇N1\j&- c]C˜AV@iQdB; G8c߻& _JDd$D^{;5pos:L8S" 7a+.hl7Y_s _jK?O$ߠ.Dү UgsǏƁ}\ my<8MIyc2' -58>XCXYCR_uUvVRFQtk9y95E@\q$.+ NbD1iݦC؎ګ^N >jYJء)~ί{(26wLW{x袎oޥ$=n:w//ACw Q/U9}C>˫3v Mi /S(rv(vngH(hu (@%<;5n%:NbȀW5(NxS;*]*Lr2 {Җ{?)~ràϖ' @U"W5y&~:Fɏ6E)ʔv[ P~EYpGxG)p0o%Hi ́S{p>,w?bPDH\uQe;KhԊ6ݸ\_)E6VɻyZB؊yz$]Tf@4] e u,*yvj&LSTsQks@0xTA7p$X?ݙK"9`gA2f_GNgճD-vM8 Q)?nMsJ!(0`ƖH) ם/Ы@/09`F\` FP X72!6\h5i>_W< &H{8O1թ~>.'W_ ,k:!B5>jmM{6|\}eFM\?Tȍ7>8a9sH eގ!$K+NB6Uҡ&GgF R?׍1Q~5ti8|E%Ѝ>f(xHEltU0-> V=ҨJdvR&3}&b/~]U:U天9e]9>?/ >rS+6C \ɏj@*WGK\ Nub$~ߟ~ ަr7T{WD-$mUE}T~3 D;U&a8X3LWD\T ,3UXx'*mC 8rO+.6?:Wy$L2Do71>>aԳo)7ioaMe_<#ʕMm]_@ca 3$BP*4!TT/: m`xI#F]Nbȳ|iP tak )=KhCy<_8aH~1c,{/O.;ogC:ܸwZc;5 3l>Kx9l7*BޣMEm'QOlk8([VF˟7SҝoY9. s&xRb]H;3v?My=eIX >=>Q@(-*]`R1:-F&s0 ]!ϛEO⌜)]!0@+/ J ']#?=^de3 W3xHP7Ym]VWlɍ6ĞH7R# HvbLcRn<3ZɜErBb~ٶpn7B5Kxџ)pTVgp79.iTb8Z(xDŽPrctU(K6._wOmbXt"PzǯKK7S|먎O k>'+HEԱ$o}7"hL6FEwꕟ]Zڀ"磩obpVs~ XՄ `ofIx]戦}Cdm_f gɘ=f}I +/^[DsvT\ҀO輹d+|ڧ7E|Q_sʹ3+~rû` H?*@ߚ|J`@x*WE :l1-Q4@c$d/ڰ; "Q\sLmR@GH vQ<yŅMU9' 9!h|TzliI9kpDT_Wxo/{ gwr.۸re#sg]ҢT 9fkO{9ڦ$]?@>&:oXcqi6F]p g|SM={RJAbD:R86Sۇ0 Zv5$I㜙vBUFۖBe$4yQGΡ3aW&""g(CArS #92b|堫?\% Ԣ|s[ ,ENGݰ9z4>%GȰ|ҎxBv*4//" #KK~_=ùw[^zʚr(f`(0ߏaBRZiq˿OpL6Jo܋c|COV#Ǎnd7߀I%Jۥ0|rNqNBpO)PbD<)!L>h4"S_@ ܂YT2˧3$ u_:H[~ΐYä~K:HI{L jEh@t" fULy%9.7.4fnWhӃ%uRyڜ<,"0 oO`>B6-W[SIؗ%bA| ]7'z^qnOzs6$!(dфmL3رkFƮʧ5qs,Ǝ́LN`%aqM^+acƇiKgo6עVuVuhj0c5#璣 <,/1Rf|Xp+gAznHreV} !YޖowP-qq! 48eZ +^.{pFC$QMi&mPb--G)3Oa$T0?Kgk]ao97m%1.o\e#BY ~.%=<g//&u Ո~xw@ x^>F36`-C)CT]ױV D%|Na Q?@gbSZ`VԌ5 _k"\a\PϏm+S.9١<lZL>ȉԶL7PQuL3qtgTg.4.H57{=As VLSRk sܕC2Ȓ@YwLEtR{Umn)|-7Te;iN^5YD&')"X4gŢ *5+q\'ʹ6Oqr[+,JqV!UN..抑⟵+rJj.\G迩c/ #e:v.lGf+s_WgL%sm*[JDIHOOS XY FDt]M5r}rgn//T:Tcnƒ(.51};b8@Rp#BZ O9>-P=`JT} RIi<=}]c7G[J DW'Z&{]oPk\b֝Uɲ8Wȗb ZKJ#;c!}קQ: YIeM`iQ{hIݢe+jӦ7ύtGx2%^vn D\bc RL)5#ͱ, c Ik#*pG .DUL񶲕nvиf2#kY1)fPd1?T'S52*EEd@AԸ잺l=В!{<qf,so6I* rZIVDU迚>VByvn62@0WMsP;q6mR eFBl@5JԢ>=%Yo+_nQ>k x1ۿ|A~{_etqfө߆rKKs7o2uEn%wk`uдYmo} S3|V3<p^K t^F8 bSYkڽAR圉u/!0]%tEcVi-SKD;w7q6bG.]tkȬ}+= bN4}Eaѵޑ!j,- BbuiVn͡kr屢F'#2d\g%X\21%g)֧wHjBF֊.tBq-ՃXnyYL#äO" ^c/Qq-*O:0^Z>7hΟKLA[^L Gs[Vlzfvvfs^a"Isgw 2J]Q1.f:8Ht'% 7h3ܦ:ӋW񵱽=X[ Pko< /EPZlq|o2K:DiGhhmG6FՂKMif0uqޠf˖j*>&!s;WQ%Y?3NNdR  Us}j {>5>v~hah 1uñU0ӍwL*0H-ѬJ 禶Wo[s\wŰ婊t!ɈRU0 E6-̲>ΑO3P+n#vn˲"~چqL#1[0GDSAn6cB|#y?A=@]#3j~#դbM%$ȭrY0؁"Jٱ/A2ZN[}rBH,pl~zS@RZ`Y7pZs6W.w Xڡ4`-"_>H2kFy.gUld_Hz`_wk;%o]u6c)_sD:As4ȴx?oDPuU+ۻ\9(?>k>F.lVztq=^GZ.j|&0H0}bTcoS'H50vik_a7jai/]E6yQEfMc¹*G1Zq _zܴ=ԟ9\ӭ=A&餍4/yK6u e\r-%SVH͜I#P BD]塗{ oBƤu,UR0>V3 5*2vs3ʷD7{o(0mgǙ\NLu}əeвkxn @m#oӅ|  ʞİW)G:K+21˖&Yx؃Wxb=2{ *e_shdtW H>q0pUs!N,­ߟ;km=x(H.4g%3]LXA F_bu`YRojA W2gH:닒6WWDtx_Ta1_V+GFAonLJ 3mH>#0Ryv Ee`ΙzYE\IUcg m~cW@=8~u"&bq`^cW\S LUYYO3G  O-0=JM K 6}ۻ=4epc#s2P"_-J`>UL杠 hDl{H$G$"*$!i;?Z2@djL'%ˢKklT?(`|>;q6~Fx!Gs$PR]y $k Vcw 5ӭ} MAۄP4ȩԨZxh WtOӥ/YpZ²Q& ` hP}e ^C>ƏsNFws?ҏsnBQ=#ocnPy 2S?6l0KI(KxJc.ʨ'øOx&lgR7h~DG]1ZDM]LH# )$t{zn~IZSô`OJQ(4W 1%kZ@&"-y{pcV To_9nNeĞQXipO;7Hȧ,{MR:y'93brB*eU/q{+NeK4Ya`rtٌ],KF\7vchmO8~9ùaꧯ8NQ:w&^CƼhp>~ɦJ&2(Gˏbֲju<<S$I˹5u%!E9MJmOܗe#1KSC?XW5׃DLJOV-% rJO-H~KOEVD;xruH_-SIsUn^\CrW8mxI҃#״+ZWtkuvd~?֖f;obic.$ٸg}dXmnP8$%\|:"V ,Qϫ=^$\ɐVh>BAW(F*uD*X;p f1WpȽܙgS0u6l5 1/DJC ]E+M5|?~n"~AԽq<^IZ~'q nUA'7B{_^Wͧ#?^oC_5S2ȱgU]D$a<ŗW >|!+r1nt:_1g,]3j*!@URfY@ؽWǀ>YΝ} >Y?Dnm}_Ϟt Cf3fz[ElLV(}oDzg_N" E_ϰ95;~m%Pa sui)XOuxf`j-9z)䤴pd8 Zo6<,5#:KZS_w/(tڋ]?Ϝk|D s=HMr$ïSItt %\K8JdtؤP%3Q𼭅ncZ7/TR$#2챁L9yG+ȅ4 Z$!EnG?JV q_z~ Wmt8G`,c0k|f 'Q>v5?S:G/VYe{-;ѰOh)T{{uT&*Gvp<_ 3Ls6s/ŕ,P$! gnˑ"SiM}d93(f[XƂu_UL9DRt`0eW!I )8FHصVD@'m5>w`z{ u;# Xq4>!ths ɴL E64x#beJX}UɆDEPg!ʝ:.!Y,W-gYZ35c3b2bf4eb7142ff4fe9b0f783a1a699a9a77bdd6ac031d3e88d65563eac5f02a097b7a1de9a7e3 ffd3c2f455ccf76046f1a522696b8fe123ec936e 8cc0070a0161e4d7d5fb0c0f4a0310bd415747f2 9fe3060e6d9c4b605443a0ef7d8a98d49ef7bf5d b6ce49cc6a7a39b1e365425d93624975de102dfb98ffb2d8bfa2cb3d622edaefc2ee8e74b39cb662