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  B!d a]]HOL-Proofs:threads=6elapsed=682.168cpu=1599.612gc=366.692factor=2.347zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb)/ܻYIǁi}j`R rkAWҰa\3S / n~0:p[X*@:J3/FӚ#;jdQ^ݧ cCL\ `KA `%O`dO-](X!zS5j-!C_&M14;H kAUcSKSDdJdh T"F3Q,ʲB l/y.ۊјϗ;5D nN^lܦd5PQ/%m?4'W@n:.qJD|tF.JE碨e!89Fw*d&d;kz_R!3}B,UtkLL_&p;31N KB拸Cx*4ueؔBlß|qF~!銺 ͵lz ؕH| @]I00|Q4]n)|ܵLߺV^oCo(rq4*U5#99;920RvM!bP=>5H'xd偵2w`f_ ћH;+M(O䗦LPq]{Jry_<"^ Q&;$vU@ե E9XKsJW24&=$mW1 I&BܧP|w)+L>:SD?)XW9G̙Dfa=D/ Qd m~P%adDf>BsZ}Fo.A6iI1Oׇ?p[ovovhU~hXB\dJPjoo;,Ѩ%<`'RYZHuWOBT4;&m E"rG'Jytu.;з\cwê&N kqG-jY/@SN \ǔP稆EM"2E j{H*?^|lx&NkZ9P0[]pj#ˑ‚k# `lrQ[øYF0;#؞ۮ=᷿eW] EwUfa3IֺVg\۫?7WJ.6;z';Z!ʝ5g:lw1B5kMg5,mh!}ָo0xעX!c#KCt!6o}>'jo U)>є򧋇&G ZeS&L1 XKLK0.χQb)q_hw$#IUxb;LfꢻAXTu@ʑ!V;w_#asK.W([L i/<+ʜ*r&|7m}V o>XQGzH[ap"ȫG*h4=_AtҘw68-?[EDXC0?Iq}"0'j=80Mq{||\߉H)TN:oaFVV􂕌()6THd6+Qq4&0"8_ "pp5c0EG՞,h헦ʯ6w:Y(pec+!wdªH1 É| 70kz*d3b2a}G ܀K|)7ܢ"IRm_2\$T× "Ct]FV <e2JNgseB-uFT}9՞oفaW}HqzggD^M1 MfP5.x%|OUuF>oNP%K; eˉ쾷/i س{U_LQÁ[)/Rvjos-Tpu5J!?1{†+ֆ67M څ4c!&o75MUy`RAd ImA~袦jp ЌJL m?5t'rFcQ _癇s(nBd2]qUqp?MEBҾoAѺk?.. `dJjx<5 Ean=%81Zؒq*˻Jɐ[$ilι)e: n_`4ߵR(gAX巹gɉ:@™˃S=$(Z[NiM @ 1`AlZuKԌʗd1! %^)l= Ў{?_~^yH7P* uY ФU.{7ڒM"9DŽZ[3fȉp]Uxm, _3i͢Z?֟m@=}@|sd,4~b-_vEOlWEm7 =9eҴHu Єʜ_"Qv ǁ~!^AC 'B55_GSvYu㩺6"ez#+@$xԀa?;Pus2 l@$ <4d_6Hpơib~Hox7ߚOa>b;p\7y[x(LouǏ&Q u߷?!6C2*;vtdnzJ^%E>ʖvx~uY=^;TtR/Hk{N`5$=2f!9? T0=N.f7 揉jjo01 Hˎ7ҡ)"=v%4DePgAk=yw)(LF%tz<#ƫ~䶋!Ej@ezK;Rxs>yۿ&nNw01u^ H~}^3R$_bKdxK}g>!=Li=|بE^p\χFDvz#B!I #)+z)X_Ss![1[ێI>iӂ(D=mE(<6LO;9ʌypt&5j1J\t/wwb^|c%[7B߂>#ۍg[I.1=KMHK@^ "'O*ruY)|ܑ2d)|>$vo#xbe X275)U"R#apښUs, `hH9J&Da[1乔8n䆋1'؁1cwBMkva)+Ɔg,O\9mi2QmڼYM .}n'#^鶪w܁F]=`046URqߏbr˚E36IA3T6:lwpfPq3*Mz^+:Q&#m  N?+Nt62j(nNAF'XSVJhy#\ c [P:}ls:):x GS T \Br}_ ~rۯ5;>0D0gYZ7zXZִF! }]ŗXi%6m_Ul "!2Ȧ]P^9lfU>!K~>c6NT\,H~0Y)ΕΩ4M:V_Y> rpпDIb9G87矙`K'OԜ6{<ƜȰrվ;${Qz3ݣӤÚ;MXڔ2:cٕ Q.+wrN0kUf&W$dtNȇ&ĝ3z),6_ΒeRs[ z4̤(]BS-B7[}DU qd$ V1U<~g97u štk0C`,Pk-ң}pzOi sTr}?8aV\x'/W u-0H ks*# H>.&rXNYנkXN%XɆx依z˳ #=_q& CAD}kUjK*9/~Pcw.,\[4xkT'|q/ڒǖ-{áMy8/H9U6j(n4WM 5ǎZYSX}5@J J/(,sw)av,'"%H8t`TTR~:N\uJ2#w4' }JcܒE!^h"MR=&Wk/#oYC:0ICͮȬN!E-*^%J^vsJUL rZ*TW(\!55J46y,ݳcZlֻ\P\ȣ)j_raY,}n_q`~o1\^Z3#u1P6] eERqz >MiD:~1VFrP p;!2w$}xg I9]@!>! fTL_rT3A'@Mm̸|%h >FJ?!?bPAtbLI\RGK~k-BKׇ2M䍽,hPwp _]~(gEdH? W >rD=6mϳ,~>#1??16S!QpZaEPxkE"]yrp|;=^V[6Q`]d1A^W2Ħs$i169C(pPY;8 z?5L|U1 罓#K$_}0w񀰏 !ʱq `}ЍC邜Ffz>meA6{4G)2,*ݙ|2.H`jrOFwVTl/bS͂XWn>2YzBly.hbxζu Q:VL|D=#b0(Ƴ;-x)lrF+"M:-UߠLClu\BYJhNœ(Vospdc"o#`SBȝޯe}F]ZdE]kV0 |3=ֳm,.lN|My1i#63rcXwJu.Z7VWaD!|8Ìj=b4w"S$'BjTQ+Th:T6qET(R1 IQnyPƥaӟUJA"Sv_OO~j_2UoB{#qߢؒ*|)O̝/G+7;v L;o[-d&&z`D˞^nUy_zbqCr&S;ސ6m6u[dC,ϊZ\S Ct=0W<VZc%2@ gdƊ0Cܾ3q.dE[.R[ƅ;„{)[aLed9$:&1JDX1a %f2 G!eX/˾E*N:4`Z[Nг|m l'mnJ>VpKjH8U'=LiSO+xPoVWkZ c "\ČVU Zs׵.5P/ 1ZlJH@-c*@sWҲqxlPd,ѷrP1$9K30pzMV`C= sĿӏ"Ԥ2J=2hފG6#<b~Tbw_r@ zc/A$<^Gݠ95.ev^9&`vǷ7FD~OSS_4ď PZP-F_Ԅ[_RHw?,t2b(ݍE!ҏէ8d7` 3 5tKhW1u e"!mi,j6mck`[fVы4%G\.w>$܅)x:"*FR <G|Ca~ &P+(7 kKou\(O#_슟>Skz6ny/}؍kGM^w{@>RZ~]ԩ * ԁ>SںR-茏!tƋnB@Ìv>JHͤObe Xqk`by/3 f! ~)S6썦͔(s$kVٷ8 hrM!:=nr Nlo= L!mfztvGVN'qM*J8c'@8t D>GAJІ g&w;Mux*_)ꐤ-uhf3Q^>xv VPg1F<" oH5P*ze;l+IeM5\5SMׇ8\[@I3l(W({1\%̞Wr1-+9WRx>ZM3S} ЁֽUdzpPu~]ퟱʡۭ.xzWAʞIt GIsFsmۢױГNl'xp<(/'s+}evRt'~ibomgcxbFFBGҼsܲa"o(xk n/{KV#uMGB/859 02۩8?^< H)`&$zVȁl| q8 \2~N~rqt"T:(Vz/,&9%@jL_rgߨ5.c~25TǡӾ礼^kp [Q1OK^`]m 8rqpw,wg393̼D/,jS7_"ߴ! 7̄% L%sLH4z~N[Z"ft̻mBj9n Ҁ Iy7 ]ɶm sf@O¾^L镥ÉV1/]#G^}I@ s`ҊR3šBZ)4%3ţ75·uj8s-4u)Itk`^QsԿYɸ4p.dDp~nhV|LL厘ztǕAb7j:hДB T0]JmԞÑ-L\ al_5)8gtF4@"%4âH].r n_d0o(x׿'U?T ddW4%3#)G:jX G4OR]LtᴄjJ⬈H?1m'\tj1KNer>Fy!Oz˕ٗiVA9$!). ~@77%eI n%m{ΦQe{ee"Hۜ ǐvD:M/9PO}garh)3P /E>ll\G սWݪc|n_Tr>Fa.;"F$XW Bj~ z8>4Wt_S9 o5-YiMҒ ~7e)W?UUTIhˆ9x(~:TS–mc6+|ꘘc7w0K|9^1p0JRPH=L#]}bzF=nv?P8' w(('NLQtǥc\{^䬀T2yFܱ _\eש8@vK$>I5gOM×:'@.6ayC!`T5 dq^}hЁeq0UbC2yK0oQ*j҉#L#QHvEzwmtp!5/C!z%bF(M|oufs2S"UL7'~|YA捈"g6ޏÞh@\E-cc*mre8Pg3<XN%ePYk%c{Nnt*BMaGU/VZl\lғ]4jV/qݪlmpխK}Ysr qDw F5iX|a I;`NsO\%CqL239AJbC,oo ;~gݽ&ӰnOdLvQ?&!ɝ{ڮuǣ1R<62FvE<7y߂AKwA(#s;! HNy=&R\LFmkukkM_-UOY=Jt 44lt[>鱉1Z@$\d< a.O#EACԅysgCl  GZ RCH26nVq<Z~Z#R7r sC4,1>Ym7ꯙުE< "׮.lI91r`& {IezFO=(z'=dڀ:{{$CK5ww]j[G逽sL߅Ҍ4MZI~>v FIbQ?K(Ģ@|hoY遖$S ߎ_p>3Zz5 5 jO,N?.$Uobs`%ɕ=t)K,zz9CK<w}F2P {.Ӄ+:*)3jt(ݚ g&Dğcq5+a1VukxcChf__q#,|d8Fusƃ|mpjru+2SW7Qϗށj$!EO òņ=(L=81oVsIhxlM';k![ +@?VyCsf%Ri\6I6x2ٜ[ "Rԇѫf ǭ[J ʪ~Yɶկb+l w ꓭ;iSsn_i:6 BfH# YxHhu{#`Wr][Ϭ3G?DP r U/fWa`Ӿylဪ9:c=av=˙ \p4Y"=f7e_7&SD*j ْ'r08%+ #XQ5&n# ~M[E$N-}q=2ewɨ'ikȷo{7'Y:L鼙@ UErYG;[i):Tk ޶oP(Mt/Mf:1A0T]tI2]lJ9C<"[O V2+ȑ%cX'I`i'iq܇ʞѷoCޑ A32 GW.qeīkNKuZ_.QIN䂏Q =uIww[0r H Ҏ@(DFz/ <4߆} Uqڤ']r+F:+M$xA>}dܿw4,Jr`QMwg !t.g426Z+ ,'d?;_eZ.1^s([|k ҉Cz!Q|"I(FQ'Z{xxm,na!IЄL^a߯6:kʺQ5bi(]?ByEfw(sπWSEt> nDzʮ􈞨,1BXAɔI>I!cxMf;t0ya^BNLDz73D VE'sU\p1/rmfy9~NT5&FbqOFYt9҂L>y<׫R±%"꫗#  <Tz6:t•h"gBdL4FwW-wT@'FϷFRxf]2;ͶL9M6nwK,ߡnd.KnUb%GWzxǤϖh:A ䷸H B.O wIڻ*6?7ŷ: *;BZ):1F wظ᱔Rچp_JY4K#saй`yYA/HWi ȼD02" pDgzV-@$Lĵ"!0 ͤF€ :?u'_Xr1+)X.M톼1*̭JKGh8gZ@|q$>T53+wT=1&\+ #*\r =-sGׁk.;Жԑ[um+u2gQ("Ol 넻)͙L9>Qy⃕1R+*g"யCI?RIE&k I@Ce%4q%d=]Q$L{<LؐY5՟9Cd=NMB[m]̘JQnf{P+b/V$CA/;N]R ^`x`s)po?`dŒO 9kܛP~`؟U࿖Gt ջ-#a&EBH]Ȅ9 / a߼$)(;ϊ4j"/(bg[[E9)atgS varӼqx Lv T#w+QM=NNJs oZˬԫj9K=@,LTXЛ2 }.6eW!2yX:I#deΒ$I>Pz6FW/P߰ІY΢zRn6]dۗ2y(t/P{j,ܴ$L04~39 R~br{ v\ b3DFlA)2MlV2ȿ7=C\0ihT *&Py2݄ PhY@]'-vYh^d4<8Zf_M*EX;{o?7oˉxN8W08G-:.+%|rA#‹̼&hPy0+xv٫ exΐT^;b\ yӮ vyRW;#;cgڝ]Ww N}bHRb`< }G@I5; eq;L|>m_>G$ɏ%x[՛dR~$[N*-i}b\#XSObp'舦P!3?[լ=pfYVTA4[R5kmLo^:B"mm Ȉ8Y[G{>d9w e邞+z$WW;nԃr <>]f߃]y!$;ŬqHs\+8؟T=X@OV@eUJZՌQ.xesq-D_iIs ᳤ 1;ax%N$6{s2jhNE(";y$iM8ƐؘNw{\(gw^NMFN7V3pźe7Tf/`9j Ld# 0W9wd\*;bm0^F9':S5-ÀʂyV^To*<)WnY?^\b@e ^8iWjR=ŗ(oOC]>\v3y풔QN1Ua^j?-6RE*g{A.҇D%}~&{7Q͕ErZu S.#%*)w_*F< ?ᠺqW<pR,bAFc.83"8]^YՎ[ܞϏ":||;]{:_w0.?^g FZo,wۑyc¡RPdW(cڭ'i$䑈4=WMԒ-sƕt&x˥ m̷!}e=geŠHXU@ad.1yNI'nxt̪sv%REu<\ronڴMg#^҈^ +Û'yE[Bak<9gy3P{ޝ_+'eA'lsE?f}+fS9{SLG3[L ={oA';` Hz=z9|qꃆ5)y {n=RZ?>i\9n9gtED?pY! ee7mA6@g12f̍YCCSև/ ?{GtFhw GmrXٟq;`xNQBh:an@DmTlfMWƜ w5Uz׉#skgv\AR[V`m68i u է}43;3={ecP\&9O⾔=4Fzo?QG8fXVJ EbpYiAJ[ ,A£%\Axkvڏ(K]m=9U2RoXd{S2/RPsVxlM2x/Ֆ= P${0-Cj ˄^m>"=XA@&jpjL=L"οlд9?U@HYD)-z[]kz9c682>`H_GN+|ҫ[YPV(%Tb3&C],# Ԭ -L(;@s ㅽ7l| +1qy\7*iFI2λơU9nA*PfDԂStÐ*`B:svkNY"p3[دi'RS? ;z6k)_LJded4TCzr9Np6p m}.bע9B%hsWUj2f-;:Uxgu+)?}/vtqTp?oh鹪C6ˇ)a\K/]7b5W᝚;++1jo%VZu54I; vJiV3p4kXD BADL-l4)|/ؼrVG7dE~T I݈bh7G6љIACnf*6cx 5W'^A"dO_ֻ.(pҧuLu {Gt%"ĉ ʴNnpJrʣ:9gKNKkp6b^*x&2=v+g\w'hΞO=4(4G0-E Mu_]wXm\C1#Р2 yn~ qŃ6 q-F 'i{)P^p5k8lo8ס O4̪3}1=.5N^0 * 6)SD];ңzoJdP<$L 5} rJ;VrQ}xeg*s,nwH퓱#1'ʚ;3ba dq\rTgփswG,w TA ΊKw_iՄ=}'Fh]vm69q@b`&G\/qe3N(Ne~L91>lB/m'U슇QeU-ڙ'2t_Awً%ݾXӒ C{}+衣ӢaݟBsTo=-=J1݌5 p.#>Qf88oDX aUvf^l uJ}5;mIp&ODRՌKEp]\ λt a!L%jFJ}^L_Sa; đ2h}]x=>ڿe6ƀvz6.PH pcTWǪ+[c'O2y1ci:Ek)lJw y@(A'gëi%suxtZӷgk{:M 7'n!2X 6_|_3 N7`0؃M.MZ"X zE7id8M}[w+MY w왉R?fR3ydeJQTR(i2A,GK3>b:C!'=a򑯈e ah)Rm =+iS mNAܛ# -볍8r6]Ӷj?ǭ:]uG, ]3d"%|7髤(H|^Pg!')i)! Uƴ p}8{rةݞ6aC@8\^(h:Fb gLyN`4PSY1ۍSF#&ǒ!;"PKDT\^fi}z3`)vd,ՠGCJYe❪3_3'ž]Ll/ag::?F( .^IlgQ9`J/ qpd1өoϰY׼3۶Bȹ`%W1rHHjXU" 9vRn rkSL5ä}Bs Dr7Q sb) L%hsgBWP;{)5U2wX^j= ^Zؽδau,_`NBuH͸WN&޷Bc#Rff9صt&{l 'bqB(ua_Ӊ nE{koC9̺i7w@Uyw7P,7XA_B~;ᢐ.v#5V/oBT[堈p*<ԹUB~L礀>ahMiA-B)/; G 8 L4.Dy `*۶w5ak퐖[`H#TH) =vˎK>4Jv`os *7?@;7r.-?2Ynŏuiڶi@ qCfLKYCxKd$鬱ֈg_MmKky ͡`xкLpā#ȰD*'PвhS fyg|{٭rGt5:(.8 #rO47l/jaK1 \T=6۸ ـ _`LCMOK4Q[doV4Gwatഒ7#-"A\-B齋tU )$MK ?Rl`~9>Tvd}E7ґw:bΕy(Ay@C=.{v.WT=5}qH}$hN-[kpaY3SN; i+5'^}|ߘN6CǙRm-`j)=Rfa]M%dBEAEi;H b5)8JzշvlUZE}qŢ}r+dqF nFL%MlGrS@_ ء_bQx&K0v8 /ri)U~ᥣW2j$C'MFlz3bGmD4VJ!Xq>®E^1e?o!yC`W! ha^[p~1nj)}y#ݽMv@GX`rv.k8A{&[M+(h>v#Hol+yCߵi?ߐ >D:q8h#ȇHekYWvcgL<) z[rp@V8\p!X1gq?z5XC(Ez}0VpVr aae[W>:H\iOVD*ܾ@LuZ;  +@rG hfli& S?o먵GOzs[ڈΞn<&Ui߬*`Hr-j$cӀoKr#y\(?2ͳg}2ԙ6Get YaMi I `O%Lvb9-} ?T!eR)U900_~%6;XX#W-P#}~%\wr-|*gfJgogCZwqp>ޒ(dӷZV,f-r7#0GΘ  NQkw75Ct(Ѭ\﹫Y^1E4L"ϫЫ9_ZK1 Y!S١w]5{(Ud@8>,\Jz :1~$9{dmRVAOg*. η[}P;\Fy^*Q(THڈVakH⧬ceU@/6%׺kM Mc:F)RWʑJRo.UVҦbq5]n#/LW"e|Ԅ?6^fCaӲSAqIeږ1(9[=OTM ՐG'Ȳ:̒(9F&Dy Nz)ŇC^OJ'Q=e% Ý:p]-Pb».8pq^"C)Zm1boq slv-aP476|:$t* 09T,*}vTc?d"iFfQJ[K&ZfMbQSh}v;[ja9 6XLr6e^Va8^•yMNQ"[F J쳥q0xezǜGfJGk8]naR. Kg =I\8zLY t4Oug0g2U E{+SD5X;s8n oZ8џ݁ƾh͹"[2+P<( mw*Fԕ-}DKUMaHgi׻QM[u3-cnm I$΢YmiVMF@4kn oZzuf qHhuZ ghF+7"jtDB\wx П}Nq.ag;Q+=BWXlU1̶^`t7# ]ꯓw*˛S jaҿAޭ1*E8U }숊mX[&.*M^bأ:N},o:S Az )ƅ)z.Bls\:/E\9?ɢWeP9,̵d2]%!u9 2˧ڰwf1&qaeM` F*fQCn6z_'8 )!5.riȵp|vK4k!u*Dž(PH_+BOl{~gedU~P[fcc‰gyt~'1QMBiQRܭyJ 6Cۓgʗ|a .He2;^>QCs*?-[tƐYtkύ1*"EK2{Se$Ȭw^qg>|Oe`CcJܚr_TGy"0&QDž*[}"{ ^glANѻ= Yva\rd|?sM| GS_I)0f~@(jˑV&Lx:'߶j:GH|׆ E& )X]y5rPWv撶&,KIŤ 4&'A~oeG1ҫNHNԤϳbjxи⁢Ņ:Ox# E(-R}OY19yùf0}_dQ:Qы[ P(sȟ71$Nv2J5v `!Xޜ %S33oxPPrqSڭI%[Y=\C9:nV"O*>c8yEOZd1&F>ȩ.`&np!.8JUh;P}9!>R"1-qr];7%InűׅXޛJS8=Mgw8.CFiI䍬KzzӱMSF!萮jMC e^ dP sy/Pk0哛ױu_X.MY#DiPH#ЊҬ#Oߡ3c`(3_*@uhւy5 /~ed3y *DPׁM%?[BA5_",|jO_b&Kv6qBdgFX"q NZz5#]t?a%haMB~:*@& XdmvH * ~yX(Ш E;paЈy囡Y;UZ(9A1u]u`/5ri3aqp+e?@ rIPUƕ$nfRLK-Y륭9Bg/I4Y];J?y$?ԴOE%;O؀JL SGJ#,) m.6X*t'f:rmʶ({TпJ,LjJ>aF}+p,Uص՝{'IZtޖE@c|B:C:UTubsIG-tw֓M9׿71y87D,i \6"Ϳ+b/Ӯyu.ATشKPw-A  $ U#J&!)`R3Sã۹Yb~W"]WyUͅmKg.uBewȹ!YaUÏ"KJe"+惶5QunwzgQ0+P y ^8\ AzʕZh*#H  -j\լ]8|{ĽG!i(9`<({"Vzv>iQl jOa6 t_` YVh}>s Nx|g r$򳾼lu 8D |ȟ㈡r9Z 58XsleJbM14~>K<V6 m'^ 1( ? NSΙ")/d:񢣗},;?w?Li?8ђp8XLk*I;glfe&9q!IΜ)0?"&Z9h~g}xx 7:6 Qgs[%}2t{=g]Ow+MOʽ<-w;$BkƑH3wh԰uT5vS@񧪦/Sӻ^YGjɑbŨ;#ꯒWTM}RsG%a \yFBݕ)#{TiI:|6U'gc쀤r0Id$yVhU@N([ Atų44)q\)̞;9v$:耐\b"8veNu m'~Mb+0n`}\<\sKQO 59=fXk"">1(T)4OjyGE2=OMTuy6(3Yd."{s?=xnE`?\AmYK"Y; ɪ2Ƅ0s2ubGPE,YtZӏN늙ˇaњ,6"=ן"U 7jaUF4Í2#sZ~YRσ9e@+d+y `.xa5BjbyU frmG |U@>V|hاy_kOl4 w]?y vA1r`GWEa,ڧ>^7LsΪnMVO ^auoxUǃ`\(mރhx`t" ?F ZO 1!S*Q~$>Nn4O0Zdl5<B'Hޥ7R+"DY1>Jg*I$mc: f|@#- ِVEc)5Mb=TwCFD+5pogcrAm7[o΂mļhh-Kc'^ \e$$[0 {6\)Gwwf#S̸L$!5`(`~{Ǡ*Btˑܣpbp5;ao)4uS}]=H$ڞi9aN 8 O+}O;4hk9"@ۮ-(7I03p7vdM%9B룆82!\X> tx1&z^<yQ[ vs Ք'*;18mK/T*>* Wp:$%h6Ģnԩd#8>DLf'$Gע:nkoIk=iQڙuPd+zf5/ZQ=c@`Prǘ&67;T9 wOk_E?a?}2\ZjUXܝa{Y~- 0hƥå''1Ux<{|]tl-ME6}ϡ줬U:ⴣ~Kxq3mN8F&a-#u7ٱ$b\}?`wwCEmhҐ_ćtBG4Ue t^drISVZ =)2b!\:,ŗzX9Nki%;)TsSoR' $imO,0j>Vx*My:=Hd1N}kFէJ$[j|֭?n(*~MEl Uf-_IZV'ь,3);BKmhN\`ZWC@b1>! ~ S{CTj)2qYMJ2Cn]TN% g- 6.{xjgEzTZ7 ?NT0djL_rTCEweހ`_lqMz~bJ}vSD? QZPT=/;-_l~QsyzDqy3~c4\y#T~&bxXx27\*ݍQD])l+=Nb ؃=ԣڂFC;\хw͛BE6+!ݕ]H!_ .J_PqqB,ٽ&!+a;LNvn? ~ilv"5J^Q}֧c}&*-;`8Z@:*;sYގj$naJtw2eΦ|"_3U RWۿ{[.:oȱۀhW550rF`%( 6|D.Jhq($+nwXh,Q'UE\=E@$wz,7-QYJZuC(Ҏd*:`7*ƔJ 3a|Kٻ49BJR,^UK1g`-+K(aWNu\k`GV>A&#>fTd,NϨy,~AӪSx^cm /y|nR @h, Δ< i q@ӋLʿSMDs:;[Ud k+ŝ|5q`S)3kC9QE=tj5ԅrћlR} us ׎(yV(z<˖>2K"]c?;S"֠!;Wud{ƩNb[\_Nha/ 6i>T[ĪnT#ů) q]0 *-Hi(&lo;ɉTČoQ?4Pz$82ac[o[kRrv킥-02>C}递l"?"jLŠKP}A-7WHW$BңB+ʌ8Yr Ikj@Fgj$!KTTeeEXPPZ*LRゾ "Eņ p?'᪽ #D\YmkUTn8!bV맒q"5,@dʓ&i2$l5g bjP q(_7nZM*3pEqt3 |fLyfArUW㬥tPfmJ^^ n>Q? X]S|rAxi&`;\Nb-kTq\БCo:s2V ,qǑS1/\I k$"=3r!B-Pt3N9YhoGrwO:彶A4Me@񸀟5iC8T <\,7ҷ?V5#-5ó/Zƿ q??Q\rB2~8*6DĄ/l`4f#ƕr4'p0R#^4*\K7/KHV/yGcI8Z9&'tRD*_zԿ礎VvFf2]*jܞEd%k[Q?@lBn+ ]v)!s4H%]{%{f."[NhEi9%{jm̼+Tۻ%1^KfG.lr,?STGj}rz}hys '8ftɂ7"[LυiĈc (qs}ݣrUٹisT4 @p^i5|r,4{BmꔼJqk$LEW~}N#@sCK@zZ0.Bi }ֳ_{.Ǩ^TY67b܅1̚,J#1M()+sqڙi۴B}̜J_fJvi&eNs91Lx*7G{w^Dž؃AM"^\i`t޼+!ߺxyg/'8:Ne%`[ty,,d2lA]S+ΕwUʻ>CX U<(y^!Tz +hmcfMi.kjB2{ΜA9N+K5*J GTP)!Rw~SRxvΫy} fX Qk !hJkFVuHE|/mlǺ:NX8$k,.m&bCd Q#G|ӞDE$0HP}"x% #ȭ±~7H[rR v$u\Qd^mW34g?Чo)siJ1$-=wK]T| ab́ 3PֆtT2mf˹|h8SEiSjW@p_ooәZBn%A퉧qaŋGlw vT(\;'{dU] JezFxb%N,ѩJ9_+JSkJ'$~G ,Ogqx9Jmb6 =g:^#_8fv-Sf8|[])(73*9y*ìq>!h#õ^̠>8k>i@Ɲ<Is I$LjI(R)^j@Þݼ̥*@8$&S)[1g?4 [w\NĵꖶYUp+N5S5i_\ Ɲ2.jKPeDqF:<$#M"g4 ˩ؘUGt40D0/xfh$AI &*n/n* j=%i5>+z2`K=deD_!! VlI5,K^\OKzx=mtÐM%5Ԝפ p(nntt` ^j=Xתx>G*T8ܢx› 35%2^+!؁qw`IZЍq!Czg$W ?VLt c3YC?]1]l4Hi Fc'9#g*QwM&&c%,naw j.advW?`Z~u<.SBT/%>UZPs4ԃF!;ִS3?aeu/Ǚq) G+C&{ ~UU uU03A} `N`UG[^%i+]i{}CiL`>) ])\ }V]L""wr ,v`dA'G؋Y;B= M(e\U|򄊎te!YoT^ .fG7v) Եi횠y5 R"Nٲ'ӸH+qp+=܂>YZPh!F;A^A[+Wېˠ{1kݛ y8HәC7s|+ Kwz`976cP9jFLI4}7ĉ;\W=(XL[Gx'Vj~Zx'{&窧Wf0z]`#.ud]﹂?P^wI> ^ ?)$FN\ENGү>p75cnÁHtmA&}T]᤽ݏop{_Q)t*շOD,G0&^?GLKm7ڞbeOHfh;bՊuTØq__ R{ y&_6=я\p_X]ǭEVA< 0|vC*UR"1ƧfXs\PHL(Vt Nv|9