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 4%\|, ]/]HOL-Analysis:threads=2elapsed=801.860cpu=1405.308gc=61.192factor=1.757zXZִF! 2B]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm״X",ATbaʒ ǣ$AV̘lx'}eX!Q$լXƉ h8.iM@o1vaòցdɼ1 ;ˣ) EY|KwPko%D*gKbO,!J#8 V>3J430$;%qO)PMwmݍc,T|D}xjsd5]k޿ E1o;c駻պ>w}fYɎ8ߏ $t>1kzvJpU9WԤ \D@4YcgbnOܠ\Pشv\Ոb2O{Aw{/60VuZI38LmݰcQlEj׫`(D)[-0 Aޖ80Cix<7Fl\^mMzT jIcvƫX1LriQH [Yonc 0 e c2#`Ff|I+s &,*0J #cI T!܇$Pl۩t#\l_o&5X(\>B>:54^(3f_qeeDzs?_7]3jH5ks{#t\YeŇ+Z%& \mRퟤyN7>V>eOi& exDO(WvH/MGW`?b zk0gqY 2Nx$C?UM,b1Wxd Roy<`D#hl3ݯil)u{V(bp28ikC1v|e )<sSf?ĩ[Af<7 2Aq>;8{͈'jҟ_ȰvM<3XFr)N=j!"F+buuN3GYqjhw@[AL.NuS->q+ۏΐ% pʷ=:UM*|;٥HS>*$yTъhMB>z&~F+C?ٗżpݱY7p p,7혷Aظ^W+,S(?J[1sn}9lsr~i[mE2|(Q[Ύ=6thEoxp㧴m`6*D ^RMPm דQUӕR9lnX :B,dQ4鹿ْrPRQ \gʢ}R,EoW[>T1/zP{>GW_t-ibk6: +?UEANO,zRD:̑H&'ewқ2t3ˈCFLNmn@d;aMxj"UXj1~=IG^*qPgsb2콻R%TISdd[j۞-|kv&Z;FLsS?m**գ**SJ鞠#|XlTAw-֔.Ʈ#/h赧PJpMxԑ&ƅMkۃK5=NG6#35;][yV*og:ښ:\:w*ÈLI:Gnc~*>#j~kT#8]wS \+!ɃI@q^Nh<Mk0 ۇ Xi? ԣ"OH[9/~`8qv(>q/+/ 0$Yd[h$y%?1Q)H/HHD Kt["/WC>VbA{qް}<~⇟־.5Oj@}dh'SM#Y}@ !b_o}nj+rrD#dYQ ]&!]y d;> % HOL-Analysis+5DHR7i )gb,ϊJ%oBn \ ]"i}.Dl!V?e$ yJcx H` / HLnHHLђzJMp,e<h e,5ǪR;LܖiCs k@s#Lī YlR.C9TaA.TOJO<##uW@oAE< z u>Bv[x}EdvY3V!h"V$Trog).MβoJʢCiug9Z ?g8'LEiYC$㡴M]I/z! cwG4tLqlr2EYeI<=un8 KSsH^d\d~ x̤FL%<1Ej>*$?7sƲIpo}Y((7A< 9$s݂Dv܉,'5y_9pB<qRi(*>i͌ / 2$)ظB9*h U8%bhOAY$˾Eา-I-(g 9ݰ8D9J9ag=Íw|0B‹*1۹ \4 6%ܛ @'l} 5sHo+yHXԴ_2mA0ԝ^~6l&h9q}܌z t;hO-53w!K.ӌ^zb8z2%^}X-nOkixYޟJF$x8z3ř^ i߀ްx6> .쐍pkZЅٖA1u"LoDrҒP%WiBd[>!|.9ֵrvk"VW>꬞N*0\|'jC ,I3! `S nX P.ȵGûݝ$;IՊ;!J["yAG &H>#lZ7nMa乍*f ]w K=`]z 7F}i?O=vzyK*&^y8EH!}!)j\1,r8'!Vk$V(Xh7g%ixKuYjQr8(J{<#  E #lï -who=zPzNЏM@Gyy:VTI[]eI h/}`~>cϝ@۵*jGH$=tBA .=N#j_)Ԡ_s䥍RJ<-h1б 4S#dxS(Y,md"H0L?܍jEɱ|ؐqߍpۧ +$T[l>GfpJHof礆i%@lYnn:}H'X}f-b 5'6dt:cP⊜c/ U6w[>/0~ᡏyE=%eҙX횕ٝ rrM˶?>Q J)םB偅ϳs!. 7dL$߼su!b]-жei$5 AT`(Ē@zX1&ڜ{]:x,RAiq@n?So!d{T?ec[]ڏ7x\)m Xria>Y6 s*]9ĶGqOT׼_* 9bƩ\C e+:{6}7+a:\1M 5-^/*OWwL$˯9 wB|3JG'~DVj\p$Km`M z6.SFz y1dGkLl8dy~%ŕU{;n؅ya0 5 G#4jh&=B2N@Yv-"{2 6?R`rAAIv&<Է{Uܫ8P 츧4##soe :2tk±8migr^hc MTl-vA _=::eJ>9w|5n+KfPUr'CKe&Uε{T .=yx ,i/Iw^c(ou@60WaeLTBrTRѐKQfN +77VDԺ 6$nTbl*Æ;|=LTLx^D@xke|މ}W7e#'SL çVr)V$Y]iXw;C/#;p>g{K1Iq .'Ĝ7Vb%N'63ǵ?w&.5%ÂVz=#AAtb]OWPmnF\<vI\mI$P nk{t F/L+=~vw$\<UXl#l W ȳӫX[ntz{y%Odnޟv,Oq]l4›d0=?Y9n %ѽ zQ?u)o8.Z?pݵqIsC`ֳ3$Q/iG|#W.6mV,Sr5H{h^e2uhJSkqVP7J!,5GvOO߇{>|o.1X7SO.Bfe$ywMPކ ٣=b̀".OUӢnnAdA<< ^g˜퉴z,)%}e P Јk=#'fmN6/KNUES%n);g|04c Am 'Z/-, cF:8~_?'sIWIF4M=?|Qr''hEU,"Zn5ex̟t$z{*>^B53ڒBIC/7*Zbde@D"n_g +Z].p,0.aJhX-3ڊKE*" 5µ,LVZk%N{{mYKȀ^ in%GǓ@(3&EpZ^T2 _ϯ,0,/H!\ D~_EZ? s~\AYpB7g#xKOh` igѓC}*첕'0&z>YغvyGX :G >3#%.]5B3lp`J"0D|($ &{:jWZelll ^mtb ILeGC</V` ۷EDڼ@"\Uv;XW΁QMZ%ı 0%߅/M>APU,Ze *0?&r3 A km5&p7S s1O|z}4ٝ{„pŮ^bP`ЂePY˖4.މ-x[nO"lwIE+}IiK rh yyIB'$ɯaS)]BSl 8p@TښTë[[ `/l>}c̖@yt0;`QN+3[:}, ^~ F.~hK]*u/`':Kԍ M 3MuE؜)r1* U ;ccQG@e[\j4pq>>Ͽ|Dm݌Fw֢X|"U?prR>#OXg$ 7]GA,=D9 )_1441-~HK X9885^C&tʈwm`mSQ|ݲ&s~#iSgתOD eT\ n^ SrEY€Uo 3ZEH=k qXp.WP './2 9y:pQU8Pk7wi ^ UoS.(]Pa7Y]oBwxsM!.8q]gB6;pKf#0PΘ ,F}a"0GܦAs2A9b;az͑“Kþs̈́gz0m񺑥~l ̃PZxp@jα9 mݦb;z.a)5J,=2^p,5$$|3=Wr8lC ė97S¼Dqx#VHw"F"uTeuhT["W Hz{mhfj#Jꍛ HƦz 4Ki3 jPswp뷭:;8JnM.罠RzKf0Cd0+,x ]h_@[N>,Xgvņ4 4J.yJQ6NP渺9'D+=cV}5NƆ&4ˆR}O3}*6?zYcܭTгet趪aɤ UIp-n r} :YlQu#+Z( U+sVg kr\UoZ!TiDK}[!5e2Ҭ\U`Q(=cp$Mjgq`ސ5;i)]UW(_]S6$_)ö7 mpM]~iXr*Yc2a B,0LWM=[ F`ivJ܃ȒedyZzgmIUr)\h&Vߓ銆͔&E6]uaGĪ[T+=ώI!b,elv; /]p˄.$>fY3w/'~\jvp`לpMmI}`21qIQ'  ojmSWK{&.k>W7$ #0*EO7'd(t@XbUxZ5yc/%pBz:pqfUAN"Śmuޔ% t K%*Huw&X!*U.| .Ho.Xʴ!p7%{\tyQ{[k4e)1Z ¹m-yG2He(? Ŝ &m R儢YP<[#]2>SLϧsF GwD Ӳ?H-pdy=8sY^@܎\Zrg1x86P`p^l&LjoJw4NJeMj5xPJPeHthii?Z_R";9*?4J22_kKVmao̯?#fɬWI: FAa5KAoJ=T6JdsvBGcleSj_-Ph(;9]E.L[lG{sLX8묂(%TiDA'1xq p|ieS^v&H Mc!oF}v3*-3H/r]Ue~NOcԭ 8e^E^n+vNC3}4N|NM#YiVUo+>%+L/c4-pۿ2r#vBLg}!'ggE E ~5{SgsTa`e9ۂ()Ҁu!0*@Dӿl[FG/ul P4(LX0 McS,z1Atu`_:ѥiB &zɍRT?gg~P 3;Rr 떅u'6}bBo/K\}7C/9ny̐F7":뫚+Kd!j+e vSnqW\H` 3CƚeiCͲ]n Lt]wy%f$aH>yKJnW\0o, %|W9pPו:fǕR̆8Ym I_bA]#,} *_5>;ewœE#AF1Kv1xIgm$%f1cuv7%A~0 |HtL>p SoKgO8hP[6.ޮBdӲ<{}݂cHk?`t l- **9v٢-F5G.rA+%0(2ʋa}UM_l9̃ZB*kHAi@GUg+fVW.Z!bw8ݍlgTq{̄au_5 Op/@tOu8peAۄUYڽǐި2_rܵ q'ߏ;6!{)e b⋑ssM6 P뢪a! f(~ﵑɴR3B΀t߹É*Dމ{eaۂhhW{qňJ F33-FI٪)`GszK-հh5:8/l_d"IT 2L,Vw_#v nMh FF0rm4BUXHTECYJGA1ķ>@*@"\mK!Pba#vR>e@W$~} )PaBK XI:8@Ԡ&GEEb=,b=P <蔃&nJ9v/0g%fxwxnD]_CkȮsDn"<כN:I[6'4|MW{Uy4Sp5%%flib#^I۝rB ȤE ʊ]m-rYPP[]W{6l~*i"Fr1jDQ,TyG05i 0IgN1_{~nOվ37W[w{O6yQ'.Ƨj8 5b$i9 h̪͌xjܐ 3)r:CGހF{qZ 1GL%ݝ+`8{FriXCqOC:5v֙-vmPU ݇ݢq cFׯ!}I\N7&tR+&=}-AX+2X-_=,zu/IP\ZMѪ?͕ EgENk>{_S; ;zDE0p"kŢ>#HTҘ KQ-F~Mq,'œ\"X^^ 1:KMTݾӯL}D}fv-Ϊ%Tpe(8<6f]ƒk4U4 n5;ɯ{ G3 2#e耿*w._ZD4L[]u9s׋gV, #"E2TڮǤzz@5MfUZG 2?GTlkwtZr ~e =~Կ*n,inXADQgf]@7yGk ib?SSL0J/\h bSˀV0ąC?,n ]`;{ 5V!^p,##US<0;}•}v|:v>[]Y"x^D \8L%//scA&.p'i.5Em(Hl iۋO;(-qkt]t5P}[ckLy^heҥx^g!iZ1½ EgYZ7zXZִF! v]ŗXiɟ1˦r!cHkMeBd4D*AǸ z[rק1)0}{ M_ ܮ AHl] e0 O%PO u9.&] :sϻ48iGcOMDzce>5YGmȗ4<9*/-> #C.':cc/>. ];y^7䉑4s`]Lł )25z/N{ m-yנ88ťp}Zy+ j#H,- 3bzRT+o D9g<~T-̅Vb =vfrsǛ C[+b Զ^vˏMӽ]":ͬi ^(Pc=qGR΢p؄{sa΁Dd GM9b[ nFO-,N$m:]1ˮZFDqG-u uI*˟84F2I%VM?#hk&⼹d1::!V`鴮J dΕ y_qgΊT|rV^8?Z`uv~'% G)s b-ȾEa[EeL}3O>g~LFAI8 .*d׷)/ gՕ4ζʝؚoCo;͌JBsu zz(a MdZ=/ ;dq\╭p&_'(&̊5Y 2HfZG v.h@zƗ2`-֙B5~7 ,ojUQ8tu[2-~!4 l!G!5h}eBܠ.u'nDf$ l\t '(@Phc{UF6|:dZؤ3$Jٸ˭WwL[( )$3 v vs*+[x*M}zI/? NLbDf#,> T^%|-QggI&ǫH@wb=n QY3T|+)#n.־I6s5 p0X*Q Jy,*utIҸF=7Gbqr⫺O3 ЗWװZӓ_ 6i!o.\B 48V5S"!Fm$x !ܚ/qM+:Sɠ^zsm`G5 5e,yM~K %%{+Yfs.kqIN5դ,NlMW f)) &U!AS_:!~5h4?go <ՄF-nm(o %"Go0OE)AD ݎ !&\v5!UXdc I.iM#J;ݴuVw!;+?1][GG~F;ֶELɲcH9U䙂"ǃթ_R4_,.gAg"n k=ZO(.[,eeQ~?oL\K5'72۠ޖZ8&9$0z5J1QRb(%GKӂ6Gy+;iZv70dXRqj1oH"`v8UElD {uz@̸y=S7QۗZ-zrfW{g26F^*A2Stc3oVXBWW?~ AQ *q ߵ(#RJ4is%@њNcs!0@KJ^yHV)d:ץJ(Puhd0޽z41paÈSFl%7.+L^>qg I 4^|LㇵY_L`BғDS&mS Iَ~}|9 1a1ӐMuWW3bWmҝeYGivp]xu,mkɵ{8̾Ԏu5''RC"ª\ORޜ\6&bBTTZl<SF~6n}c`bַJ :&f[\`ؿ%0׾ %ǝ<$/YdQԝl@E;r;%$GQ_ =YߴHlR`|!G A6GK̽i+˪ yi5w|csy q{W;_w.ۈnǚM>XvӒ9Қ&6eXB2 Sk )sٛ8RY~_Ȩxv Z.P tY~3_g- (E1oj˺G#i~]#RZ`ihn·_-{ϐ@Mn)8̆jk:`KS!8sҢ< B똛:p fmy~31@U(}#Fu6>SPLXDJ>w^|˴a*#[G- LFQ EDw\ȩ {]~ZiT6VHnGχtiF`6`DϦԨ)'|Av H.Gk[PJifGhl ;r猼)I6 u_r=c nls{|8M@k\=on$4JCVE5T #j%J#/"ם2&ԝBzmm] ǣ}|ߐ+쯠2v ?ibFh C? o?Bٕ 8[:Nx۩*_܎unU8G[&uN ٪ʤ%Y쒙L:Y?$Ipׯx$f႟hPd혝cm퉆% iGiZi`*z]1Ծ^ȸ{M`!U-%bMRj K:Ӡ0g..=qDSF<2VpIOoLe.w^l=pȸD\(;Ztryb@S+>GF/mkkY׶pǞ ~n;2=eXm0p&oթ6ѐ_ي 1&+ mtZ _ >T[.#Fa효׿Pmqm9="Nxx~Bۓ|s´Vuq3ȼ!!b5BʸNMwUQ9?yB芆>ep]Z]= s4Ǜ'EJ˽<3֛ hAqrJ' lHPY!Mǜ8u/ CXloN Ax99{Gјia1UdSdpbtyp'Hޘ/ EXP)r&CB A[ɣ:1FmƉG-51D1n׾/RXDPAF-H{Pz.^t]tW*3.F]fm@Cq|͟Q\>I쏧T+w?Mco|r")"T9ĘK=Y}N4棢luGC,;)l@1^Wfu h'A]գXY "ӟnr9ƐNja k!d\؄;.Y=N8h?\xOxAY&#{`&lz)^4LXkGJ&jEqĔN9Rޞs\ɁvxV)7֢Se\Lu|kD4",Y ]$I%Pn5vAxLvQnt1"Zl~Y!cFr&D)zEA\r#+\Ntt)ě@q6;NDdrvb7iV:&IBC(Tl;r; $!f6 'UV3 -&k ȣ0Yʌ&[IFH$<8./!+P^D<٨-f"7Q`?Is/`$ mA92Z1fGͫah:~ủ,/xr]P"E)h%`qz_1nR{ bYhЂ#Ȫi"6{7onG7k>%N[c{d'*Q0A:^ ?UE +s(Z3,J[~Cs1UiJVޭRkӳ p*z۹83D4>$h`NsF?5 -NKqY5_^ S,r2[u+'^_x5HHa)]\=& ^s,ER< Y'Fq݅bñ|Anaj'bw?-RGˍ.90ZWK d\2_! ύixR4 LXՔ5n,!4X%\XN|T\8Fl58SLB4EE'w*EJ˹xN#X@y<):1]0]`1t{پpYH3xa>LO3^L"PǭY'GPݪAr0 ^`͏R8 I+~nj4:J4~C!)=Ohҵ {K](^v.A\r.;;٧k?2#8vHDNdI4 [q'kv .F~:B܂v2GU`){oiLkfyn0e.H_!岴HAl}0@r2/31Lߚ|u#Nx^GcaQ=U>Vڇmp'}54ZiL=Qlg"[fP :$8׈n?bT)&77CKi5 u[z(V=xіn+0<|V1x&}d>v:Q8ڐk+|H;]sv`d8b i9~+}l!3B8F1?кrZovLy 7So#J]^M3=nF[G3<%6%la}=py f&!Ϯ 'IZ̴˯}籛`Pw݅rVeorD4Ƒ M.6g;SeBX3FJ,iMp 0GE(g3i/i+Z4r2ܿbp!S(-`0nSL ' =m\Q08">ϥm.T<4 9㍯ot!HJ[/lAPjzFULKr4iQE]َ[* =K!'-~eRFQ&OH(CE^ '6+;˝t-Щ"D%밖$#Mew]| \*_VPXu 2?&ԙlVPkeS|oɅ;QGB|,h@?\CaCs9N3p*:XYUf7pm8 ۉ/UJ iYm9N2`#tggAK=Ѧy4&S]lFOSs S@Cb`HSqMŪg Rs'Wv;%.C &)pbӤ# J#q{dĚEjN~-YF"WH[i6#X~ oV1zX)RM$o~ҾO _7m"d=I{7 [ƹmNZQ483$Hde)OuNy6k9K3c J. !G%Zv AΫQ /y܆IC-Pr e(#B܀,7%E'[҇Π ̃2_3Ɣ-l B7jە}\fXmoX( ,RUk,=$y} D嘵0ZBm#h ֺЋ'thGhYbY:KεR͹u3" ;*2EQIcvȗ٦؈j}+]̳ƫUny7+črtuǓboPf&w0MS^P@ ߧlۦ`]>kDutJN89nVez3G3c dw9ZdW̻DꙦ~Ky}$$)~~kP]uAۣ=RJY/S2XbzAלTe=wO >bn(K-~p-[׷v7uj  *jl{ZA|Ɣ %( tQE#GSA4] ^oR#8C4p)V;*2f|d)(֍jT>LeN; 34I䴽t>BZ5KʁgH]U)-;'9⣑MEe29bIib pNꭔ BMB0!?8WH3v!c@;>IEVQ8"s&+Arˆ֌$ui0Y\rct aדBnpo2:1r#w${kQ(ԕi[+d)9cݥ{43֝#U_cq]O,935'yfXv, U7Y3'5DEK/e8“hzdV̝ŖfĝY3PL}Yi޷:;Rt٥mDS};uD$= uUn[O+$$>X0*s]oi#;`  Zs{ʝlހYNsbɳQBU&p1Xļ0H;~uGʸsND@ 5~w׬TIz#aCg^CȈzƨqg$C(/ꁎg{7~+rO,bpˡ''GpWIJ~D((~|-\5: FeQ Yvuz6 `Gf|U=bG-v-][=*ݢi_U.t%3fd=ZX.(jWDɺCN*D 1e#&y~e Wvظ)vb^{gtׂ'O}1GVW MM!4?C=Wu=C־! ~t1_8>(hD$Uu!D*nBNsPa2OCg1Y"^@saC9b/<hJMt{^9Cr>6nݮ~ޟ.[0{ҤU0:Wu?y~EXAjrC&hɟs XL22ՇhC#vmc&K%>)], L7+-]5}Ajus=S8 f)kKβ2A zN聧 vMKFBĘ#QŽg(3>EDT1oTJf&` RA8mc$d?I%a'^ ?auL44ӵzI o~7;(NUԱ̟I#Ҋ/#:\TX/eG`P7n+,?qT_\Hś'a2RC)2Q|tFeg".=v([A Vє.Z*![13ppU'"Ksg8crQ&&~cJ9puEũHarJxRJw0H8 Y(҅@wM]^FHiBgU\yvjr2ל=3, b|֝(lǪQbdNP*/m$2J]4S3(g=xka% Ew)U8 ʺgHPd7dMZdU$a$6] ??mTT ߐoO?jƮ7TYlU,K6NKDy[{*v@uu1Nۄ杙I?k6xWJo*Eɩ}R5WZ5i29ٓ_Ń\e{a%wH~=qR~5,4AzT_TXd\" iK?M44NAH6w 'S(Z.ܖYvXg6AxEFBm*.=1:#n,Fjm1}8v+#;"1g̮߸Q\-BP;s0޲Qh~;CR x{*A0 ]QoP!;=!W509[]y yk_⡪BbEAh=-/nl!/UQ0}E7+8&t;e0@'G_36f UG.qd9G q h{Er 6ߦ 456!+٣ K[s< ^(&F7^QF Ӿ0SZl0 yYe/CwgPn,"ZYp^@>3܊lQ t>JfQчʔlŦd g [Fj{݁>ƎM4S:8$#j_3"ꟁ%?T-'bAfhr~2U[,٥ǁRf@EXXyi<+%oV"vf"U& ۣ2>jL\MQ-Ѹ# B!O\;!"aq /2AD(H\}]"tƿ`>Rna dL$41lw"\p:kQ3ѥkCT@U/t@Jk\D3m#wMJ۳P/*d2>1xx)=_uk\[rrʷs@Y^qLo\Jo?_Ũ]ۈev3bYU$o ΰY 5ONp@/s*Nٻn-/^GZY#j$6g4ϱ!ó)o,qg71WDOѶ{ѬHÐ-T6o(OMxJ5 W&B7/Q /Jol!izP#ֺ3y\q)@ 5riZK:[vz?IzV87?,\zy-TTh\,9KdPV% OyaSߛLsi]`~/e%(1q+,h蹾GQ6Yv Әk_ Jӥ,F,}L2-]@MJUVE^smRAȞoL47BZ8*Mٝ_˓ `fb$t$Y>{Q 6)4(qϤLs'&6V) n*DYfғnQy$=7;S8ܴ/w7IJl1 ߶WD+e N)1Ô7հ1+#~0UB[x2H/|': FOם4 <-Z.> CjXѪeB̧ꡓ1kNh}U9/~T{6N8aH`ӔEDcG^T>"[|?EcBJxMbURO{eY||7-tVdPAR')hW)B%Ӊ[Or"-{C7lv۹C{#3ln8fDwA3̋Ɵ{s^t:ڔ/l:W&ʘN8jb&ç\jR=G ը:l9QGNV^z,K?ZP9#9uH'oD@JS±L'r>/6 k sHsS8 ?o=3''Fshxpc(2"f^&-C,ḀsܿP4 I Lr :? [>J_ƝUԞ3Z>b8rO3@- >u0ވ,O?}|-,EgBt?n K[G5OqDA}(BuBfQ*VЫe 5Xr;/[RE -F1 gU3sW K=1̩yQY7p堵S}\֬,I=/I]gkTMo'!y\$%!{_ Eo f#ש☘Yr" ]([sv|Wv4i^5_\6\dv`̮U!muD"(~x"U,]y6{nE7g݄F63ODE^w M*=20MC{N,pM,]ְT.ORPyBs `ݒֽV&8qѭ1#u>}q^) s$#MP%9<')`< 2N\pv gF'U[O]~[4mX['&;#}YNI|+p|1#mk ywz`P*2Tߖ+\%PfMzp͗ rV70ҡk<~7!Iqϻni|1o ?خO.3;^.A4ƣ7=k6&I@b JC';M4UuȾкƾg}KWKP =-֞nTJC]ۤ—Ӄ'yG<G'jB 9ãv]=p˛[3ﮉgm"G~|G)϶<~+EzD(^ŏAw TPG_>?lçڬX:Z\RA'lt/t)5D6CE9>\z +B`2N%_E{]unU<2f+8/4ݸ zWZznFl"Dz]n2my~\ F\VfN)sTl nqiPgYҚ=$2o^d4#ROX!c_;U3/XF /jsr8|F"w>R.W 9EM_ E8ycM\hͧh9~;ӞәIpmqr yt|0(LiHߗ[[͍r]0UZDX`OiF^tQ(dC5gTK :P1!VvN6s'&%&Mg{۰Di j + 3=$M um)%]w=&:/ħbSJh5^*zSڼJ*$873yj.!(1U<92Xgmg|횙T+iUǪLeHLv',A[2'=x|tPcԽWZ ZYF8tBj˝].wO0(f~KwP&S.xqm}dʝ%&.XKȊj\б7aZ!2}jcpCN~0d}J"/ t)sGnBi͚M)/$-O)E7CAd? ,`aqIOd8R[t7sXUYxK2El?B-ӸdqHΧduv\XOR*]WeU;,\{{/y-{ _65F*?2ԹeNjC>JDL:0Uվ=&a$ T7ɏ?/ ,<]wXUevsn%Y>vPZp]:6 sbH9k{Ǿ"]]OvEeMue|L(`z(@֔XZ>n e1S~s.Iν~`oT//%sƊ_sC ?G;?~gG5՘#0S҂^Fdxa'4MA58! al2%ChOLt:jFT!4~D *aHW޳N*Hg!G;ٓ>Fх׹^&qy,`flv) PQAĽ '.L!-O#7LTs˩iKJAd0L>&B'QE Ԛ|}2p$0\%O/ResíQHB ą-GJIgsw֌NL ڂBI:a$1#"O(Bf QR^Qcy1Ie" yRhxNWdN#ɢM xfp_ڂJ>NYU4zp"SxJ5+z! brVܪunN,ԪpCvSTv5 $= ZȺ ՟bŒ$;,Xt'ޜ6. 3Ih<*yH kUߐft)YhXF"t'yiuȎve"@^ѭuG.GJZ /%m6d(6exO+uUTc+MZTf1W~ŮViΒ .g`Rnc%xQ}d;„$lg֑McpW}7 ɱ䡻=.V]|,J,jnA}.pvgoZ'z!ij?[[vo=BbY@覱Ƽ5ٵ@2-z`b282{1xBx;I??kڏCʪ=侨l*JFS_DH L^12$$n^H`zS+(xќ}E,~uG!o`{vC!ٸ5G,--h܏]ȴ[)dMJFBoQ[7Y- -4MR9̢wedI8SbmYYHhh?.18#WhN JʬbI.TYb:bZ],i=oMpw;H2C䄶e8%%u3{f:+T\fW/ 48;YVSN81FˁF{s܍-k`C:MilV`2F""H[s6cE^ajZj;(p8sL ʼI}]J'G^,%AxpQu$4COjsBԾ!E98璛,;sbц~pfy{X2*ChUxTτE&CD-e0{"\r@ycaگ\H v@K2Ӭq̂8AZFyo 9v%rB:hqM];J<w蓟zS<:8͞?j ZE \yE>L|IP~MCFѥ g &<3?Qij6ڶQ ^ɼHy4|Z!ƒU#ZWtu3;ӄ12/~ Q䣬\?ٝ.{ES=t̆'f&h N S.YZZrY5J>Nʒl JޜN"2>)<n!N8~rcYFܔ;L\c682t6E7vC.xf&_EJctFo` #1PqWg8]=nn']DEb{k2 EV5ttdLbpXQ|{%ΐ! 7MXp;ޭjXf Q}S%li cof,9k'`ǤuĈ.?ۓ9sv2696 0r|-Lp&y]5)@LPmӫ@VCVjٶ8aɼ^A@C3TG"\<V0@xB,܉b\t5b*As{?S4ۚZs8EL^U)M֋\4SmZY/d +g|+gDz,oh}7Ky03q[`X^`J`<B Xl `6 A 2B$% =CFdӅI0Zfʳ.K ˠ,C\<]1@k=]M3,C+&|t!X&s0zJQ&G% /~'A!Aq& Xɬ- I#yJU\ڀ2LCMSb|JfBՄRQ&^ n |g5s K0r>Ǡ7[U4F)˾yCe11y>*Vmp?q7o*pƎ>zGas4k9)]k4Ǧ":alXehy][~̰s?ǘ 귥 W!Rsv"ۡ;5 Eg)2ݽ.Ν#%t_S-2 cBTvpy c?dF6$@Ψ-Wjpy7qWWh\nk>s3s xvuV|u鿗CN4asPZdIzxd|*[{%DSQ+kRLFj `䋬CpBG!~ZWkLQ[fرt7=]q]6S7_/?.v)g< FHD|ٿ׻̌pnɳvX=__Zl(ħWT`t#Ju9:PI@l6U8!c6G(-C6sh%寚N$ \wD=\2< M ;;h{Xטz6>yd$䋱oLK%+wG yvI 7 1{:rQ;.=k._m 4ݹTo7ת&fKECs G(8yLy+^RU|9[8.иQnK\q2`J[bMmRAbcssa[KDlT9rvg+4n ap[vsFwy:'¨Ps Paj~}OR[Kznw% @@B5.3MZ)YqZaT njh0&͞JeDO rq'M>{_G'%r)rv*X'Qt;r[\G?/FIvpjI'ϺƲpB*pk(jk"*#&hBV~h()v4W]U`;e#D}c]Ogi+nF_m45@,<|~ⱌtMYV^*DmM*iۘ2xIN#cļ9ھcF **z&5 c=eexZ9ӅLב;giif Eewo ԢN'j*ZBOϖDwY:}-P5`wCMhW|>aqŪN_^O (Dƕ%G3@_"TJ̢01f-N-L=s.%\|5!Yx^x="q)(YI=HGpKRbs΍T^ dcٜa 4.$! G +}?(_`hsɹbýg.1ƉYXqUz%tҦp)]d{QޘYT؎@v4PrH;ͯ3Q 2_d 62^މnM  {IIؙO :zu?7JԸ$=z@M?h1;Њ}Pg 8HM-5 Dl_{ȁ-J밆8!':gYpwL"1&gP3(uK|FұiHiRkv"o36`)9͑NLz) T_9%38r4+0@F##dni;L +ZWR*j׶A[aU!f)sH%r~s z&ЇEl:uۑ JDa^jٹB@mPnp@'c++Z`/igQhvwd%A̼h2SWFji. FyKgMRLFro`LiXu =`yfb$@JV>~8Z2:iδ/ %"Dq]@/m\Mx`p?(L HHߠp8v-щqB W_1knr[f[lοng*UHd jg?ɋkF lӖa]V\A_kJhn!Sߟ£ÅjBaB.C9KҠz5T&o 4]TEmr.$7d.f }U'&5f+gճ4 {:>Еy2>=% dCA0r@U k+ 5o~IR䁋e83_ԘqKI,K2 sa9ޖQoz`XT.4z[ܪu}m{Tg[|Z%D|;V8>> c73\f?:" ]gdsРD_CU1tTE Erw}oES*v}3@Z|<|˻,N~ݔʿ \cu3Ok=f3VHySCZVK J"n ;㞁߭3z.t'R'I\{/t9s4:Ʋ?"D7Ny쉁%kLM"Ҷ{٫Vºq*3`KSt''պufwdUDj@o[׉7f4<(fZ!y`=tԾybMW|{+v^^O7e%YC@CS|ck/GW`G-UChGΣpeNj~{!A}){X!9i6ʰPeq`F}JM fMD ,Cb7(ƻr: <1>{7 ޻%WB4ݷ )O: l/ǗtcI_JEQz^U Uwiuk.kr궧wD |,EқN@ìJ.$%4hcͺAğJll",X#(v"W(;?INsx6%y*Ap_- 9R՗͔[Ěםqzd<_/T^gdHu(;ө}ۦS9l=&NE`#AҔgQr9Zq{WށڮwǪ &-{tte[o^hhPan9c{¬LTqE&W[9u@6?=n*b ˧GÓu#R2"L}+-)(Qyp/d T3Ud"ؾe3xKnL3@y;.BW$v=0hw׋d@jPj J"%A&)*xԾmXg뫲3&3kc<t XJ5{O>r\_8ɼb-F{^R#';BAx!6{QT;8+";/v>˷KQLV>L[zT$IYbƟ> 6C5d|6Em 2LaܰWPWyl1׵Ngt@w,!.y䢂C[\Pg |78v/A{ s%k  gHJ_b} =8=*gp'5hŷX6xxw=74Mƌc 7>!SoNoS]8C pg-PAؿf7 RQ#`:F9%WkWsZsmϺ”dVesgHvh l-5_Q/k9%PBɂaEMQkšL3?@Qw4{JBvRBdb@;W2N~.ˁuq[Mxܥ|lHG6v+L=z1hI*1jt?$dñ**ӻɸoӂ#(Z bHnpM,(($c. E:yt> ?/,]u;& o=G7&]J [njz U@7656my ^jPP(k^}’EARyPz^ 9-Q6lyih,;k#%g{`~KrA@)1`E'^Gw y4ySڣ ״;W-F0295Pn6 x<}Ip1[6`Dc+6*o O1ml.@X} &g+kmbIc+5iY1McaIF]Bpŗ*uv%rrӣX3?\CXmEm}E|5ywuۗ ky\^W\ +zu̳hSbb= Mhj [)^WCT *(D &T iTC~V'ô_Ofq~A˽¬$ٓqFi LeMZ2g<.>rBHN >π9/, )잊tAi0|pꄲ+IQv_,l`2>W4r%y:^"FciS56 i卅%ضXޥ^8NJbj$sII*{mc5IQ&w Ek;@U wWtƭǜOuBh#~h{lcʝ90dd;2o D4~Gd{o-:S&A+PјD]!T/Z9i,# E6Vʭo(vڐ> =mJ }Vbbz:hn>FqxOv"uh 9iM.p}MJ BIbkgitSl,4ljYhG΀WP[2k>U?,(58q]:ٻ^94 2=i}W!ABIhhwX6rM㓋ܝM%RWI,C>O}ο+WV|5T֤Gx̌i'6(S25Dlc[VK =!S-:#Rĺ5aB@!;!ȟE;Q>^553!:ZvO ܚLD@@YظS԰: f%ȠjNSY:MN,>L*E!y2 J0FA@GʽJqW%/4Wf~Hz5)qj#I֓'18ؐ& !6*Z ~DrK3{?%pC(J'8:闱CЇ4i<昕a(up;R 4ۊL|k"ADs)-ܶgǬQbB0$F8IJq_r7wu { ECyXraO!ʃy"Y,~q<8Q)]gՐb+-@bGeQnL7 Rc=I5D c22ceCfոi M]I7(6\p+W&|س|!3IOda'j:s$ڂ)bNx5ޫ : @"SQH"C:Xߙc.DAgR|AQ}0PEgwi/IEN;-g?^**-GBUXPlH!h`= ͔݊u&S%7`cAR ,r/_VTRO{WjhP:K\P֍?j f%TaR8 qL.]GX%W?: b`uDۼO.%ny S'E2GLLZ| 2v}O^zo(LU4՝v` T`CPXkfv̧I<1Ng\ 1? "vtz#qD=ʜL($t&Q:1aW H)CϚ9D$÷%Ɂ}h}劔*.qpHd):Ջ?xv.{jUP8$!4 &w [̺1^aꜬ'0~\% ss`q|Kΰm\]b,QEwɩ-PJ^ ="V ! SlZZ t >҉h_p Ub8 /i<(Z}slJuI̭ r`nvDgz~U!IҞ ߲a F=0bYvG~tjBv󹎂p3heGz5 qH{et:bS/'^pAXW O ղ{TY5W[I}8%u~}9ܝP f)WGe,1il˝:! Nf)A^(򅭲xǕH+  },RtT{ }?G6 ʽ̟Ўmph}y95_"rv:D0Hug's@g5x&Abwn<7?9!RW- 5 7mBNMK4± qT**ݥ.MhYf0Of9Aw2/cr€VuZaq~@j\p9* tyM o WoLX 0&.R[JJ2K' knQqk˸}Ȓ,U"YOIeіUĿ =)oeVݯѥUl15kۑvQ!U SAԗ>ӂrQVAs[қo =xK⯁R4pYA0[bZsKY|@zs$7F1wK,Mh2FQzv1THQt FqA+?FoM Ik1顂Qؿ$4OD;mɹr8' l߷QP=r Ģ?6`~.֬.iU $+BkfqW'NVqE{7]: 7tLTՔN/5[1}3y S<").R4hښUSP1A lr5WqGY"jty-~ J޴hVE~n Wdԯs:2-HRTT=[8US/OR?˜*Ixi~b5Q~dz~~0**v"^jbT.P;~?F .ٍE-V9Lgۨڞw-Y>( + pjIŵ QWÁJYdFAs` J$?eIBܵ4j:*hbsBp67T^{a7C4K:+5b:ʠ>NprH]|6&̏RK6c,1Q] VP+?ͫU9J^cGXOݿW?|5|IbwJAAZ`&IP10rx5/Zѥ%i[ \f7 P>J"q 9\BE:9,yqQˠEտsx3+CEA$c#/RG߸R1IL\("y&;V;4{kN=d`(MH?>6*ôܰFeo]a+`$Ivbmq>,Gε,zq* ZusJpx&4S˝O&m3z{.f}L-?ѹRHuhwtu,O.(cNl~ "~# y2Q2`Ya_ʇKec?cUG}nuCbL^r3U3tHrrh E=a4*7hQ| wk~= I#)<'!ƲduHJ rΊM:GDBvCid#q:M> ѸQznt=\:) [/P&ُ=βiv@vyX~4\s-mxJ jՉ &yԓD/0 cWKlwBg%j?AB)X"ctV u3& %(. :=i5\7`S$@BUX0Cֽ :aFUw>4` ~5ҮDw1l\Ȇ4p@9 7z֦fO{5;W> 1sđ&9 S  E!f]$K9+@L-\8b[F>~% 9\|P@l}PfgE8Zo 8ivX61UF3kՋ)4Vw9s1!u,<2_{ Jk|.`\cOԅ$OG/;CoZ a# />^ _ _=<=ۉ=+~`=Ƥ{0&b4:ZMj%;^VBKTOTݜ& tuXKmyXc0=iqtarXo ?sDz!xdLQ?h{>1JdV"eny:s=Xq>ǐZ~m0ۯH2ޖpaܷ;u:TyM}BV᚝78Z~55CtpziM*{ n-cȾȇ`0Aǩ)7+5%]AeJ| ܭy&ќ6[`AKu]O[- Cp{$ANR~\JoOY Ku鴑udKP*u|=tuFF6_ 9g M`:mFbsnNJEmv;߿}i=B<;?y²*2|5?ڦ(a̔G*Mh Z. <2"y/{|DZUu=}@rzd/r GOʺȖVkk4M75_"&!K`VU?cI7XœmMM;BW0Eu8L;V竸d V ZWKiGa>cuoC \z㌨c_=pPbɅSgZTv%yƉR2K5lDN?ONbWx Ax5Ͼ8g" /ӓ܂ODh\,="-_(5IJlS'(ĩ H]lSM?R#ψYmghﺆS/;3X" 7-Xa_8$}( 7bj芯B]@c-7IVqꤜPzdzy#:WnD$A3蛿) ^,2TK إjM5g;]Yv(IJc{e7:Lݯ?E"=bf67鶷Ǽ^} Kqekp)XvɆ&r4\~At nDӏT[HíOZ|f$<<='1ZB#3ۡ.\0o&I[iSqk89Vkݨ(P,g ҩN8N] `/mj?I9}'z6JA['YwoepzJFPK0;|k+߭LX>y=zja搬Rlp >K?\?xCPSPz.sM\!LEAx)Qo@?F6~*n ek7lSsJ4G]k#JD*ho(HUeޖ,&ᙌp8!-Zߺ@D!*cHݙjȗ!Bo]9h]a_a[Cc4DCڢweMQ_Í8l5 UKqk!#?Fٲ#Wqt67r^`nxN*s[madDtF<"$+YŮ!fϏ$TrJ6A%̦CPEܣ$זBx,"[vo=3ElKXV!)m\ȯ7=A_ǚHakˏvx!7q .nyKJpP etGM P; ɴQ~u+jORk*ێ=21 vى FNS9ܿqێ'C6L>5/:5ZթGK;PЃ۪C)x^7㲲J 1^,O i⳹^Y7͎^i35p9f|b arC۾x%ǁ7#Hy]e|d0r@ Pڼ30t813]U6.*mgp>J(Bt*΍ܽy, dgS3&mDf?Hɞ1kը$Yb^dEO\| ]+-@,4}|o+Ě8ͬ]{ _(ZC"ӋxifiH#wC콮|݅)FfB*&aD`g>ɣՍbm7$0p8B Є>w¶qES4cnM `"0oe%^7i*FN [Dw<'z#ʤ.X1/-86*b\O#A͞$r%$,oNcW6VLrZU 2 5e$_% ﮩH9liR;-a^Ypb@J&{8pԤW@ ?VkwJƫGeCwVߗXVu*I"[nhnƗ 2IαM2ҳA:lPL@] _~#Za*Cޑhc r04[i q S>^W^+|L|>慱AMLǑdf!|- 0'~>2 o ޸ʓejW.9GgДK6 4|h$x-G4p Ћr]H`ʶ|15;sI't |Ye^'"F,:6PdM-5w2QzHfZ<*aAO2^ ߓ0>Yy0ҡ8*&C*\ȦzXF-~I-w[}GO@$Z;+Uf|)[W$)8?@_!CbG0ؿ~PS%(z- Um`wa4qta tIt춯QR KzL`71RUឯ@sAlZh^" Bp?)GF q:\xwM0l+a%PEY*@{vP=y|>+ƯC/‰f|q";v[u'%C*XN{⟛RP̭ {Qcx5ނ^<'aRa=b\` }RW2?USjWijV;U AsU¸-pbq@(BxR*J73Rog?kQ0(Q^FҡwLk XLf(F^ f|sBh!XԳ3dW?ͱ *(pV4"kB҂M{W6޼ñi.Ls{bN!Ω!{+8z%E"r6NYHt$,HWṓns%2!f1SG}\foK+ˌ1(NwIu v:{j'~v;ds7?- ̵W1t,@YmSgҝ >E0SԢ/d:16}ff~ e2s%ѿ%~FЁ;B؄׳/ ;V2 X,C9 ވ2~=w)e1(E˵u$lq@w܃䵃^;]}3ˬ fj}{(iIt@3(m.(_YqʈGwL/<$p 2mp|r<yܮSb)D4~o4If`]|l[ {)_]ed1sdf5e5?J$]iIg;B-FALc4g#8>8hd~x[9ȋ1B0X yYn&*!" ^9dj&F$#+"ia|JPeZ܏Yc%uZ@ OjvڽwbIښ6XZ);PQkWuH{ڼDÖ/T >Ubxir]Eє308LP4 /W/ӥVP6h`j,,_7aЯp&}ݳ9bąNjԬm&I_ʌEHL*^,I3p冲_)L펦]ELۢa~p=]/M zoo8o f,U7ƬZD_n=9h9Q5^{r)0'U<܂c9ֽByVK?1p[>3!-\%) '@ȵ!kq?KO-vB.2]bUV]9bo$H7=` gIuHx/uwT@ۘѹ.Pʁ~=؟/|QP~;hM2:ߥ%JG uFe߱7)H"AD2!WO04 hݟ/c/VG 3|qm)Z0` u ef:QK2.zQ6E߁qwICEIkB苨 N{K'+hEK gc/4SvOygIk%n :yW0gxBƾzp `lD X8nyXJ"Y5 / 4_4nRxa\.Iz 7 ɵJ8H>/7H9<~mPMML>w] vU&,o7=#<)i 5 ץM^ׇrl8FOSz&iUb 3 ~*W5(2YA~ _+~!dnx6`y` pR٥ OY`éQ VDQRYd)va]VB|NW8fv톂OȀPkTCO-xI !"jt7qd g * "hg1->X|+ekƎe/QSyŽ!۴"j9"X&m]C/3gex؉6PrJS%sךZhgW\/]ALRi,WSa օjCvrϨ@:4 e5kz},<\R͠<ـQ6Z"e,5{/)ZF[K9"HlHetO` h: 7t[fRG/n.>S8\LiQxlLO[3/A|ױE}5X5+h03Zk? .rGfn]a3F%u]oV0d/zgLǝԵܠjmYuKw[+T/F+JG愧kGBMOt}z˰~)*r-_ƖVVn?EF|"2Umyrze}OWBb)NALB^Xgci| آQ$v+2/qG7~* j;r=N^nj*rEWk[2xs-Ƴ{΀b|TzH{4- Ӂq{X7Cpl3Ǧ(vVYhG[T)HjF|@Iຯ׭?$K~Y[<,nm9Q=EU&<Sy-̦ƹܸl_ @n$^[n8񙘏j'-]RD.Zcj(R% TB!|vwm4 ]Ney^i:Y!M[v"X˦q:{#6Z|_plI7ENq.ץA_zoI=`Fq," 0Da{2~ROcݭIcll%s"5O'Ϣ.7ؕ^)g7U$0exZ 0~>LΏңr@,E1)|];V"[v7r͌RƕF`iT͡nYA~\Ca'S³෍F8l ..MDJQa@z벓BO޺ 6~n{xsizbZbg,OJ֕QTe1B`$wC0:=ݩYVJ yēP.vlXI!UQO{͗&&6+!ڒ?[ʺ( Co!I2sh}^ >|'(ζM 6Tpߡ`k$uUۢJ<׏ VtĬzGLT&؝ud!CТ's6ёA'dRs۶:[K{q 2D%|>yY5A\3_cj`PnxV6\y D ]Y9a~&|5P˻4"9,&.iCF4&/e_.FXГ@]:߱SiLIUXW^V2ޚ, TwLTaj]qs=nh:xj~͙YK*@چ޸cc-tg 8FE2gBNJV/&*c}noq=_뀇ÂU{(-X{Riivz.B BCxccʮyڐRڇ孚f}JKD_qǧWA̹j! 7Ff){́$Ӊ0L]̚A8Z>ӐwŅ˙t/*BYpFY0E=[D~, ~2r3-[0,&5%-˽֣S~'aٶ޶^f)"N yvmF0/60΃k/1YWw= u|L]=т-mcF"rߣ.^Xplּ)H"y/5féN(`5ltA96$um'_5ӄ#xUfN;nSZiHN{NCo6 hLO*A).+Rr庍v0dS\,d-Cmދg`i׵ **$纶ZG M/m Ҙu0B#Biҝ׃! `|s~Z ;4؞VҚp5( l>hm?Pk`]ک;ukͪ&9^kzJѼzKBPas3]{͚~=xN' &F#"BH`I;ƌ?fߡCQb85E>i:ν`Ogn{;U7&Tb~ꪨ:d"F Et&"4obВ9bôt8_AHRb^cbh%mN\ԣvDIoQ:R[1ὝgМCv9[ rGob Ůr8T+ z 8 p&9Y&pU!|TDdôP)"8)-ak׺`3x90*exirDp sQB¶7:dx'r}cx. #Mom@U3̤Q(*|\OD4*N-r29M&"π.n.%bOҫ60ۀیՆiW]qg~|%wp8j&T`t`or>HIPL, b`uROY1n=uDUƛ6$ Hi+ifGemn3|>҇JSA ,{aosb T$C)8k̍j |&U$T2 o%lCk">3ͬ)`/!}pp,auKbzS!O??.<Tb+qN\ys|凔x(6#[ɤKSY;eg0JiK@5R2:- ZxM8Q'+ؿrmud膕:̫F2kH~`WYQ'[=F3/);K{N# E?[_sG81Wi9ΖK|{~@PJ$NApn|y-VپK!7 t{l- DoΔ]>OvgYZ0d49d3585128d792168a9d32b76ccde70c16e32331bf4bac648c51f49408130bf9489829be3fa993 35508bc2877195b4acaa6a24645b77282ba20bd11c9c980f957dd51513ea16accf741e8b9c5ec9ab