SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  %l\l ]/]HOL-Analysis:threads=6elapsed=319.902cpu=1666.784gc=99.452factor=5.217zXZִF! )Q-]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm lSR 'R*ӉXkNާ87z #qI|{A;?}ܺ37I /]7cTXFpd8#:v6I4RK͈/Pu" gd &-NPX`i6۸Z<7Plr\ vqS)ED_)Ɋ!f>U\\Ɔ?JwȅrdSX4Òrɵ8<ܸ}APtQ nҍv\< p̤AnC&!;asx;ۿPlks=>Y睢*$23@z'}Y4U 7+nL٢Xf svxK%H& `qi>~e.'kH݈ C鞐pF+Gq d܃I88Fť?wá)RR)q|L%Õҡ%5;BF^ tro'jYkA} Mg A[סANW˫$XGtAuR'~p+խLuɼODSdz^mDn3fH*2o]TR8/+ $<#nfH!<1WiI ?6-ZmQZq4΀7H?sSAVlm(˽|^m[:c+42 xt%\dK u~jL_A#kVڏ,4yGޭ<^<7xaV}T%"JI>aV^,puxĨ\8{$ZO ~>o5` @ޓx;fhHܹ, }TRJ;OsVƙ#ܯY@YK*< HQh`)xDd5Urwհ==?gQ/_'SOzӯ:[MˊA鬿@uapft{,_.W@S;Y1ԪǙ^;qw{]`r; j9g>&GmT4,f]EmU6I?;dy@oNϹOMu&=~{_,;3vذ>UYLdyLS<2]}ؔb!i+C[UunMv\6') 48;KN߅]h6(/OF"4TǷ)hm+jgLɛVOBc {Rɚ_]\c8VXEZW&)Dl֤ةx-YM? h< nsl 8u᪨l] ̛L]KZf?F+NQrqDF65I%PIB-視MRi4jmtYGVb>tꥠC.WSP8gb!tY{5Zb}`N1FQsT =[5ɷ'[=.POZZJ=Ej>?DCJ. !6)43pmYq??N-+ D_@ڨ $_:C_q#B"͌WܢT"$YhyV{mo &~LK*ޜA 'G%~4R(DkZ * smG7Uv8yS[/d;H߳"|}܊dB^PB3~ת#}9+Vug ݓ̥2$wH耻CKX,~~^D#fۙn7 28L~2yF( <4q"PQ(qZf]urv/8v(kx/ k=^؜SR  [S4Ȓt@wtOk>hM) KGQv4eV@LcΆASt7j?oam[`M+rkW6]T;N*- ŮD=cϞ`⸭{SinkA ]!a8н\ :HvUv9WD8!fJd:$_J"B V֙ 8Qa'\y%C6at>䓊xs1.Xc3; گ\71R6 K^O"%1rTE. % HOL-Analysis  lY Ur/V*J?I|~1~ڠ&n6ҼczK03;q %%Mze=6=Hnry4 Zy sEs{"+DeRamJok@0"մTfCkp0 8elV|fh)CIYgov6~_&c34f<0&* 7s]bB'8̽>)ձ6S̛Ue&~ $Yy5@s5MzFs7!<(C |3wzj:'2x9=d,qi4ކ*ݙ;0wPnrmM91VAU&ѹBl"7_tK"a';8<q2Qɣ'RYU82]uQK2 1?rexȠlmonTTK@C)Bo~Lqܑ Dbv FJgklIbߕI )RA"{l5n+b\{ )r"Q_mt\b8r<]4v_mݰREL[&4DžρpぁjI6S~V:rXEˋIr (/>7+Y?.wY_=.TaHl d*$%.n2z\& z8 ԈOr2,O6_G!=P,kk9E-sKҽqp}@_=LTF8 ZZ`ˀ$+'$TTg9'& :fkNQ6~A{ P-}P纣ֵ9cD|W'eqyb862FfD,@-3ď6|w+R ]E\ fz+΂v={=f+.,sC#h`䆀^Fűx3zI|g~ҟVmP% "iT8kgӮABe: 54~jIue?\:-\=DˍC dafkC+mh߫)~PMR}!&'>y ^ B53'X=mDdpP~۟6āt-bNjZn/O: ivRA1Ėo"j"ukr1'M1׹|VCmu+ uAv@pwzS`F2Չ8 FE;f}S9 YtطNMR!-^?߯l5ô[֝W& ,Ϛ+6=B/-^hysd0xI0cle<ģV3aŅw:cmEkfsXNܖ%G&!6/Cw ozk%f< "HPj%&;X^0\IG/fKĎ \x V 8@_E|@-17k(qJ~4\;g !,5|00V!t\{BWM[?6l;Tsv~Az(aTv;~9=QF$L 2Q|@NBLjٱIz8XʬoRS?4kS S`zFhUTH{(lH"Ɍz6Dv7q^ޑ6u' -,d51Jχ3 _꦳ƅ>+nh g+uq„&((;%* # 0E5֛PQ" }qpN+p6]O.!t ): 81 ΂ELRij5W󞄂{Ճgm7U 7$Y;'FYy[~V L57W> nCQ {Β^ӳmմΙGǛڢ K\z_[~|D͠Kֿضbկ'=yh=1k-/k$O ' Yl3J)q\Pqi-U[5:ug:Ԙw.I/ \qiFsܞ֕i` zt\FyWURתkȌKW JwPeYU&rxbREa0@t5;nxZ Ǡn i/<qd ?szLÊԥlX;aHf3}1 g@Rsx@eR+J'&kc|NC}=,J^Xx6"R=Mc FĩK9i62kS~! ߬y&jH@6X\݊TwYb9@' >+{{u.#FXe/1{+4is[l9EElTe#RveVrk$[Y^2qeM0:fvk#ϏM^`DV0anυ8L:?k*%wEWG>?)=k"Yo_VRvDT p{>)GEE *cf5~5 ?=Np[٤Ԭ0V -~Zβ?r-P>a˻Br 'n#FAzA1c)/mXP)KZYcğcuj*?0@Iӆ5^B(1߸|Vf?w]!ew-yg-[B#q/i56@c͋7BXDSf M %sf"AGA`sYzGDOZGovMA9[)ep~A Y[WbRal5׶ubÆz=|B)m53#B T^;j795# XF.+֩?/fnLIxٕMdO=9mD aHƠ /<27%}ӗb! Sf/9yF$I_wvy藌nfl )W,w_Rvue,w /)~3#IRIv[ a}\̥_}o W4P!_wF*u4cf/G'DJtOd 0 3 nĪx 5XMVSU`'o<T.ztp#xӼ9<PEh<"\u<6PZ,vX V JnK gӸwƠ}-=[Dm/sHwCm}ꈷ\W I㗱ݛOqU;ًlb`fi"iUM@$2R:tIE>(hChZ{I}@;s {E< a+iOe 10i+cҜx$| CPvq~VbjƬ捏 I}01p_&D;V>!Yo$4濾Bw1IJhY;PD]u_M%_WK8|Sm[%7H+3]r \k|ϛCﻔ1Xr]p$IH/*̾nih|<9j|8i.4FD#fQ5X7%*ԞSNu>Pb¾A0,m22,5sOxdX$p0QŅOIlZ T fC]ٞy|ڇV]l(N+VCZ7yf4Tf*$6T%Ȟ$-l0@g\ԵH1AXQກ Z=5^.2fMy;L+Z>}\ ]8$U5W:ЙqpY z` S.9a^ #)h6XD(_3av(l{H^SkyJxO~M Pټ/%U⡍,,g D+kX?'#::WKV$cE$X>KWJPzbrMJ YuaFT:1ؚ^@ӾU\az?E$ ٕNu!PUӖpDCF¢*">dy ,W+w\Jèo}Oכv+*Xn)v5]~[ŬZsN,lQ^ 7Za>CД\!+ȼJ?`i}iX!ET<@QL&#dS:d}6x"Cײ`WZ懰Cp3x4XkKb!ӎJ߂L.q04}2XY|y'|Bcƾ?V-9ۗD6!bm-k#Lll: wxha9(gCJ e5^i ݴyXC ⌺\ 7a E;ݭ]jfY|p'8ArGo(+0=xP!̒LH\}%yTO$ySOM>4O٣|-(y񌻊TD;51V{kqg@#(> ceIPBʾfxSH8PF^XBۃ3g@*3 ",OIkЃ{;AzHgv+S3DaWU.yset L;-#%#&< eq; FnEl}k$f QNflm{TވG* eEE̜rULw'V|s8S\U$->;#afV1%>TM4LqmjN.;5_+ +s!"Cǚiigi$Lg"P,RJcO˿QC(g] ^o:+x:xwX(nOcm%K'?#4'MP^{GI{- ?]JN?-Ihr&\+dO_L F6l:66CNq܄ PjU'M'SiL<23@#=lXȫDWV.eO5#}w`  ~3xn 84 dRlSBOڤ6IAp+9LOeUfu,m)TD.s2]S_?~rV&w9Zyhb[}2x|=9|^֖qStQF/^&Ƞ'/,N{+zCϠT݆ohwf=JzgS!ԑT.V+g.d%U)"gVUCڼvBzgJWo"Kmnn;l/j[w}]dT`ΰA/9ED=@)=Q7kМ[ H0Z]{*DOZ>r40wB?Tcdsp7?WrG b;T/ksūbx2+LCMChN0/:F)w~̏ Tb0U4Ry$_s+[&&235uȷZC76`eGaQp(C|&deX~.4YTm96-,3$Z=()&̘vF L#°SE< ]BZ~0,rf]lm$׼q+ *K}ǽRrק:=f1&ww&CWSd_-#L~G}7w` jAh4̊}ONP z'm_9^Y,Tٰwj=>+cTM8;%PwQ5[O, ~F奶8` AJz`VRY}\ݻ֑6b~UFg0f }@Rh"Pވtw\^-Dre@'4Z{Uo .,'ȬLOMAf`1"=pYLW|l9R.S*`kq/ _Qg؝tc*a, K,XI_6p3n2F3S}lŒuuߋ^/*.hؔ€a|b]y7P{4#e+>\M!aћ",jiZ+c{28rM1VK0'dL@q[KV)I4#v6z=Ur0)XLn*'NHliMHD4wOUb"\k/jWqVTv?SR!l,)_޺@mo8f2L5|N틟9YfaICU9:!TM'$M`4b}44il$%D॥aٷãs@SaJQuDx$v|Rb :-Cmy&WޖA7Z ^h9x$ї/q?䳶i Mkt'A'hʻߪu-~ Znɰpa@hbg@2XߔCz3ԇ]BqD̏g]?""m%3pZ#=6JqȆ#Ot] [VJ2sb%vm.P@_Bk.pӛ)p5 >G6GPE9ZQR8@K$;t\qwm>wMdջ^PI]hF5TڸEzw0׎]%m@vTeYڂTJnj{)ajcyrY{o;~xU Tiu/ڀUI\" KSTVmrIFϞ-3S@lt#WI®۟Mk?To)K(qiRE|VsИ<6d`f_%>?Lҗ\ \5uI<֌:Ǹ1C\(/K„Lv{PyP_AEkSܭiɒl-Mju(RJ6"wd}(QPg#)f1qZ&O'1#T5|Vx{7lj i:7 BZҏG@A/)-89cn!Eq32 mg[aDHq#K6swD AÄx;Ao#!Uwo=(f2t t袌Lvs[ s uK({-uӴkSfUS /NJE>j :TUM~0~4*yū=Tӳq,\Jta³4O|J{i2 l6Bj~ >|C2Gl~Qkz*.TSƝ^f$JIgƢ^Dzv@ߍoAs +f$`(]pT&M{u4@Xѡ%>R+XS|n%[y-1Wx JpqӂH'մ9֑ؕ6$WQxG*):(nI(956 gBSHp_{T+{X@z.$V =DFûhqE9g"E:v\A|΂~s%6)R㈞Pks3 l`JFg$8{j[]/OPml:Jao!zEIj0'^e\`hSx_ vԐºb#p=B%ʷx(^츭͝O.V;1qTC&m7!ܻymE 1JQ-0LLt^v)DF`3z;rg۔AٮsUpy@DBw#IL'vqHt%M*ުGANтNs<.Y\aν5$,Զ`\1xǏRpuI$wWe7RuZf*O۫$17-GUd]ʛ-!`?a<.ӸI<:YU~5_F+ύt'W|oqe+CW(B ;0Khp]֯a5H (Ù[IKLyC\Y{5-I0@^ruDg6q;* QѮh DIS7yl_$̟/p͏ eg߈xa>(9tȋɘIOl.c!o&FkӺ]zmd{h2s<6r2p\ll(?b'm[Y!r MLPR4/6lz<h <eK1={F^*#r-ݍMn]0 7)bM qV.unUqaiǘ~x4 @^찊3\/U3eg嬋h)A^w!d7_rIܕx^e.]ԒK9@AʽE*"͌h>]Wݿέ֊")HZ'tU]lBًbkJ$8)Yooo=]v ()|܄Q|DifEnYd[ٳI$VR?76d{h4jK.lz*?m0Է+h:޷|P3ޑnr,?"Cm?^2̎HK:; 3.6.೥%63o[ Xr{g&*Rx58%@tg`4俊e(_Xi ٔemY^)lXqt0.&WE_qրIOݸgtm;k9*Ls)P۰}4 kkG^p/["RpTsny\ ^n toxYǰt闡gg~LDG0M ҭX B mV yIK1c &йƿk0+@ջ=!CNk9Ae͖֧c"Cl&iQS{?ZB¦]!\!ѿe/HwD. m#<5T䗅hYqIG;oVk_GDelu q_5/C8 e72p8?xeY; AkغIzyn %/P$A}A=~91 J9\ǑZOIW8dG镛F =΂((M*^Ž͙wyqYps7$Di$q}s R^K%lZTpU NBN#| s `I-TWzcdOq;/[9^'ԩȂ3~;lPmqCpƽ&A#Ęc8!F5s R8MZu'׹`Fkjz!o光}t(iLePc$F԰.[MiHv+ _h'rKmk5:-|"`zjLQ·"jGwtѝiCα1F +݂UP\eč  Nux' &%/w0}ot~&~v*/zMo&+ANm(QCf?I.4Vݍqp9$έJ>^(Ҩu /d 9}s(|7o?_i f{;⬽` V Zs0&Yr'SM!t$Y49SL[+AͷL{ J] >?&wi īٙL ?lZ7h dAUY?amUxgv֛polk$\'q95vY݃:Bz6֤jCOKAgߌ4&x$-gCOSXoa+x;hŞ 6Q *n`w*W(լ)O jP-V(9ctBpF0+V,#tH]*o\&kޭ_L)5eP5љ({J$iW8?InMd3ա¤>)ZXhu +#佾YLCKGDù9.J9`p0ϖI1t]?{!rjq)pgH4W ئMwwQ 5)h?_ֳb 1Hw|ljM{v,mL8{kbe4='lL{Cvw5;焸&yMFHR2hg7gXVugGB.v-P#z=q~ STkP]Ab,HFčO6%!DyCmÿGCA\Mv9=M kWK<^?@бR݆&zY@b `2,)oH^F/v!OL`XhcDgTMrc dfR֦/ Ԗ^5E//9_tɢrgYZ7zXZִF! ( (]ŗXiɟ1˦r!cHkMeBd4> 1ƅX OP#ɇlwiv*$;Wbn8*cOS`DSp /Ʀhr=7 qa(UF8+' ncFzhe}'s v?ꪓIR~!λ:JߺVFKv",k%4m'RJ(kY^rЃ Ђ^z\T_ղi$j"nqW+[U%!YE䌧8ǶX9Z^}V=9ηbvRY5OA. ,Zȸ \oI<6O{̏=կ{Ip]UCO`"@ {EyNm3?Fk''*2aHsFX.3O27񕄚<Te'`0h1S(q0}!eA銬H.bά>n:~8v!ի`d)Im,r<8 Vk>qw؝uB|hэwh%IGYyoO2~|r5Swl_[ԶA,vu.,81G#]zjv]&UP!(Llt8>)QbF8Isڤ-T)ͷ_X4~}x‡)\(dl.w#%Ui  PjA㋫ٽiJsQ5󲅕#:EwKV5@NhZz. " ) ˸U`IXE ]B=t1K -]G>dhE.vL Q=. f6xskĞ^2Ԋ5@ė 9 ɞpB2Z6h2vcFHg׿C걚2*B71؀yj0(4-K?~S (#Pt~EUvJEP'Y?`9bX-j5J+ͱdOkD>ڧ`Puj_*o"Y.yzŻS ‡q4)3J0 p-bCNW}rjjyE&vTPnۦװUnC^2"Ϝ`(EHog( z2XXTqvi~cĎV됵EdbveT\]LIvNR`TиR4[+Q~v ZBMB; B( o5??3w`7~n䬯B_/O=JYJhTNj {%8\|\wwE'Acpt,A|o?R+=b4"Vܢ`:${흰F[ )DwPv #D#f@yw?nTݮyΧ~S nKԼh G~nPAJAmBp).NyB@ 6Xz"֔oVñyi/l<"hg'ivǁorhp6Z@C6 ol͇wU7DǦ{5[@C!%< ׷3u}qt U`ɤE" uHēj햌zH%[@:e&tPJ$?X)gm@* ctD7ɍ"AlL61m]EM`jm@)+ 10hn@ Z.T.y+>P gYZ7zXZִF! m]ŗXi%ITөTU ruX $L ωwqs3 1*rIFvSw@Uqy㆒Ԉ*WIrց>Uf/n Bzm뵀0 6L(D{OciFEáb܅K~-07?K* ЯV~V6@/QF&:XԲIdd]  %ɻo(tu0=&ihѹ7oQSpU'w[2[)HCɴ{)}FNH/= g%]ӞȖHy7aܒ"1cpFGs^S>yWgQ|܅xɋs@S/6T)&3Ûz)TGpg8^~EnkCbTuL2%D>!͔(Dy<7'hשp;g,E'ɩrpQӕ\Np63J]$5%)6$*sxycv?y])5Ŕ iLJ v}` 8w[;s);ߣ *Xik(+'ݠkCьn$ć"-9+A{)ypLqU[5P%5Qƻ;~ fИmPĵzf^瘧h< #$d{U`wJ{)F"zYM2n 'jvZ;; M6Ɯ2)? ~כQTI:9D$ yv,ܦx~ *_,Ƌ ԥY{8OIe\IvѴo{Ng zSؙԍ[nш*lCC c˭$D$ _N @8}L |L\3 E .~D,7J^@ta& xO_ze%9Y٬H:Eoe]MW"+:7]Ķ"&j8eVb ~-yظ ko8zv,Izϐeν&%O}B4|~#$scjvKnc?zI$f8=?8س 򩵀$FA۠ŋOD|8_ ?ˉСGw{An$d~ Ed6T"\#/Euh-X~ |~O`Þ?eiE5MO7 4K4ӹlBCƊ4pdY{xE mjX޵׶~EvSZfvO.nA ~R)qΰIb\N:RZg< v5/ۡqV3 Yf|<91ݕC3.|ɻi~^X_f#?? #hxF=:{QaªzG.J02xFt&zE/dn R(Y W#"Zܸw;Ҝ6'݅f6aDלI;N<$7`;zu^;ii䛘@PY, ((Ss c/TzD9 P2lj`v NEcchoB@_+š)_VP;Qn7v &KvU;pAWWRTo EaJ %gr,Һa"K5:<5jq\UqLo $C}0S}P`Q PU)cC7m5Nh)e\pYyf \ݴXS鰾(4rk~1Ft_~XR8=fYgOM>c%3,OZ ))7'X,>mZγP T#cze6>VM45D#o"߯oRlndR"|HiԌۋj$,泚=y GrUO[6; /QFp;s.2<}'A8 7,{ic>'Sͼ!cc'qz\ !v>"1MZh7w&CmVy+P{׻5u~U"h6 SA7W<!H@0 d^4:c'yI? #9TyY塽*m|]ۉV\ɾ-:y^uѯdN8s:UyisTߝ-n(=˰K2 ,wlCQxbܫ$`QX<0Y8G3+tk7rz@FK: 53oᢥ}37<Б"S*M@1vN՝c9s5s6b0}i 7ن_Y]PS4& y#KEz߶ò =̕"T${x:&N.T&/2Yշ Ƶ_Xp>\0qJN[X>;6_"FCxi24;&HǴ2`6PzeخW]W7ԆkVazrV Wkk㙍%`0>,|جq h_]vG!iԷC,+K.1a"cspwQaH>Kx0?sY IVnHj hVB"jUGdt€b^7^zDrmL'H|1-X.c ~ds;Tt, &5sw}$wݖPc/nY"*td=%}t A6 ݵaq?~@T&O*nysf4ٷ.^+ Ci7ɧ>(T*^# Œ/⫼zA_'.GdkWhuW}ߵ< z/f \x'j4D$qVuẮD^ Q_%˕i5㢜Ut*@C/Qg]RP8H"ҹ2&˫b.fY*qU|bdWW_]+|!곬 gCYO`ݽ/bۅқ-J0Ʊ Qs8["[&=vom~d6 l9iHilZY:Z7y8pl5t՞wΈBºUkܛK:}1$gU}M.776Ƣ3* > ]lCmE؊ʅ|e$biE(7yUb#-Mc/۰<_X7#8$v 9&hMq)W-dbT\qn:­^!BlGAȐųȏo c5I2`E_W,=)Q7<%%;Ι{e/᠖oZipN̴bE"s2-iՌHfo38ߔw Ax=u 9t{O9菍@A czG橮%YkjpiB5#Ic[򖈝 K=!#B?`<1!(oϺ`1* F/XJ (iE0֢ԝD@k< jv  oUq,)f )"OVlԷ&[] n`#P=W F:Y5 b˪!BhT8Ci5FQlHT$[PmԖ Pgw r?;7=06[l6.9 wiG^qSY&U8/x9|V{:ٜ!%;L!O>䆘sޚ^*.q([S'cL[[7~4(˘)^~&kx[]iGkDn._/ &Znw՛^{fW.QՃꨜ1>꣗4ُoEbj\>BO>&S$!Ĵ]EM= !LI5k ZpDx,@X [RUze8EF޹?-րxy5G|jg>k2F8zv}Of{+_sWRZS5x:А*}@Q4oEMW<]QDVzyg.hL' B\g\mBk'wҎa.y͐tFԓHhH',c}Q=Z icNe) )V#UjCqҠ 9PlܔP␅i`[?4*~u4"mA `шCPg5ŗnwFoqRi{ VGfر,0 5J$/W+ G:I3-4-j Vu[':l)耄5DphfXp`<]>VK&rАM(Lq2L@||Yok-?؄lcXwœ>"*c(a0uhv( ϱuM쬀\ F%?ӟP6+@,,\_ ءڐm(In*4QFۀv^V*@\D/Q*]񖱍f:+O<=B6'FT2mRe;cMB2b3iR>Έ%0xAPyw$qzL)}t.EGpTB'(½yxxYf0|ɮ8JeLt&SA[rD UUW xjE>Ϣ[x7 &g!T{jc47&ߛ7=P慞4f`՟P']ip FG+4BTfK^n tD3"ο1[U#l5DЋPexd"PUjD,ƙ ,5r\?GA"\l;oPm3l[A |nXT (:I"t Usy*u1m 2mj7+=>K욉<=5 9CȡX/Pb Zꑅ)>~&8on-F&/G:Ѡ bOQZKhΔ=lk5UoY͆Րu뙤 sP2kV'|:$scxb륩@/RlwjW{w;P6/Ѹ;0Fzbw {t[?Cnˇ NV~XLk۹ D3yyJ NygYZ˴몢Kr ʹw~eT[.Y[N}Xe|6Xn{I5 Q0Aד=u 9f͓tQ~AA E'lGhp|9MZa3|fGϓI3}ʬ?#  V?TR%1b1bL۟PMN 'S4b ൲2=赆c/> *$N ݌޻@P?eX钐<|Yzvd9aLBQHB6L/7^A,>ҧYtSǜo fR45Eja#TcFY۝1a rԑa>Ty(zLY>65si&un?<,0g9&kʖ?lh u0&M0MΔw7`NLh|t*J٩c:bnOĤ X8RpC[L>?mM/m6ȺT /{8$eN;4ZXX]JЙ.9CMBb{w<裒f0# !.]IYb9ۥ3lԚ s@ }JEohr;Sr# YxM-`v9xhj#%iT թ(2E/gEb:\طF9b={v. ]^7f]i3Y2&B EYi1DR05otnV`qאυ?.bS`f¨wE"dG(7.i6쥃8 _sMN|+~tَFpbNc+"WǯjU;) 0{~c(-2t/KS&8Va8_r~i^. zT0< \/Mь3޼(O;wq/]S%+SR/Ϸyg15= K&eQ7>3F[nSa@ڻ [+o{-H`48#9ZbC4wxv<=?尡\)`Q>.PcQ[w oV2{A&} .'"s{JQ+sc=Cc&; 7|N/nZ`iPүI =LX;c>ԥ' k~Z߸JKNCg,ٖӯ&okaY|Q .dok3R4OS.z/:LܛN_ UsTͥw~)(2- ?^g܋8ۋ@^!^?Q>4kZL6ml1JN%l+k0(v4O(F^Y$"OD:#E&Qo=?!ɚSq|bvf G>SDk LzO @PN#`,/rL fnK^iD#DE7Nʩ0Ybt651IU>Ph](Hd˥<w.`eg謠h1~br`*qB\ a߃q }!Z](2=~i uk"G<5d[ b ?Fy;k[qY1[=T]b(}q8b$m;nJ?'"R' sMAc3g8;e?E3$ So݈ eZ}Dd3')W-ڠ9dJ@v!&a,{g`(Э߁Y4h焼yw usNOmsu :?zE%CiEخ_Bv1'u~Y= '+*3!Ai$YcZr&-CζZ/`/Bj=E zk%ZܰΛ.[VhdZzH=٭ <@&/PYb[ǧMꜸճs& Z6W7()eɎ-Ń? bN4{ Zg J we@OҌ!;ٗ̾8ٟk6Ɉ 9쳶U;) LS\o~}+ PL+c Nτ}2·!\TRx$>|6n 4И*| Iˆ%3|;e0dSSeEBǔ{Q{ۜ4ᆿb5\x_PMK\'il^NB>pJ+#'u> jqi+2!M7§42.M>t<Ѯb G>_tAU>p\<2f7^+Yoī̠̲&*D8EأIb3/&̕$wo3JaD.NB{8R1 ճkLi$1nqg`)PbmST`هPୀ W'kp7:s"tD"tT_O:Τn ]I+Zǐa#QNzu 5'yD6'aչƶ/ Fc<PnTI@LJ\S3pP,MQilڎcnD= der^,ɉ!jYfFu폝q$` zk$Е ݦSbFTw%Bc}(P-՝a#g*ʱ˚[ xtx? `>U407|t/hUo܈,ɶfLOiC57<4ysP"N0:Kc6 ¬i{1c-vaf);O-ބιEK.I}$rsJPA24Dz@M:-!1 tI>7߀s.KdyI|a5z,#*PKJ }doYnt + Yg(? H AأBMJ;<6^/s_h]OAx0Zs|A}ln4L^l׈el!PjӛU:D>081 o(=O'к7#b)Ó8T0P+nnS)t yfa(˯YsEQ tzHt/G9-MOQuw·^oʮ4H#;MG{CjfZTyNYOsEp@IkrQE`O UxNa| ]|ǕG!ۄdDe'ZD 7TI,H~aN%R2xS~rj[oiPcNq)T Cҝ?ɚwefj)BqNQW5rUjsDģ#/௲PUމ$mm 0N^4Fb>~uf,J Kpap{l}[붆V7_`T۰j͵C2|~sag=zy]"mTi`3:6<.aH_;3\Ǿ'zd0t; `݂B&?M6(V H,+G՞Ŋ'{ͥ vb\ ,M]BUSΒ=rrWhhPATxn,k46̲ֆ%[@qx]{h[ϵv@]ptdD#tj"^HފEY9fOOM~zP^OQ)9Z-XG0!JtmjdqDlsnPks@ϵXY3"r.iuD"Ѭ:9~57f M1]O 1.pKUFHXثeS):(6r-bcTQ= 0c,=]eUti~O"HsvA{j'>HT-x-c6!}E@>:!]FV6!UVlb1PԊ]tئ Ps֮=VR> ΣE?7衪_Ev1]IJJxu@#h6/JHmCJb<)vQ"Dd'?<+s 4=hdD$^Ν%?{ݰ5@f6|l% 0ջL8Џ,j jV?ۓghHj˪Crka_Z wABCYsK/y @O k3J~>P&o..lGY UR!sxСs֜9P32L5jFΖ|Ynh[e'y~ Dәb'-laHFukjk`wh-lE~}\N>sUR)D4^e[{N[$s9ɆvݔJ@Q) "jH;f!{G?铖j-6TW E3s'蕩G)~aY=10.i9b)9qTkVMV< l[1/}EqO˴.E|C̓Pox?q@>\5(M#0y+q̦]h2=g>1!A=럺pUh"U_K" oP҃Kc)UvA$p kT@jC+J:12XIk)l@@ =[WC(ꆊ"A ˗YlFoV]D:X;:bEꀘ2_;Ʋӄ%E5SD/hQT89?ǑS$sܮؓeiY^i9V/v:0.\Vڽ-q p KNM׍w(8mj8c,\ m8 4S,T6ztenf[)H9<*)a~KCMP|qN3됃j QjCƉe ^bcqy/¤RE" *7Ψ~{8*T?W:`,D@\df ̱\LKvr\cd Ed'C>͎pRL-l9l>W)tiOh߉@6Gg p5\Kk=F^\d 1K@bxU3NqQj;9qM'~}Y|$nFk3H4cD3pM0Fz*!w$m3uOmxlsP ypdSdm|4J6"*'n`T*0q~c ݇m\6eaw7}M!݄n17-r$Ekԛ(Uۜ'0euMw:=4nĄ0t*/[UW'\q}K p81*oMbWxH~ ~&wlf-n*QX0*7"5{~;D2DEhJYZ׃[k%y7"40DSD5@~+y'7gYl9~TxכaW׮8UϭyFdzuJwlTWJFNl C' m,3xdmC;K[E{&ӵj_$n6lL?wgyDN2cdǴ| ʥH:Χy!DɬnXlʳ/ahKiomJðA%N|Bʨǿ?(n`-<}Gw$PgKPϺ ojz'z^LX@V }IK̤ #kc_hBqCƓD;lm ԑ{ޚ }⍴L ]e=;V3N'Sx:9Eh#Lx^O-Fqlm]|hXxVo \}[ymnſS9Y(`˖niXbaNRکId_Ͱ#S8 Gp^[Ք֖%N[LfqF~9);cx@]/cne1㝮uA]vHT-XU]Syk-@{Q뎎ؾd}rPF6#5k\+}0FPd 6=~&gg  Zߣ7tI4_"A)֨yBW1КF y+E|HY^MCt鷏]6Ã\ `P4JA1pj]4N_O H$9|6t7dWLu [ՏZgY=GP2b,`YWr*p5?5%4YTG* y-ҙU'<eXzO]?HaMzc4)v!KXAiŖ}"(z Eu]Φ^Vz!i!`!` CPZ$ID,RfD21D#?B5h+n#{?L@-PM!CT ƏȮ}UN}-+ʍTU y$ea=伿eܤ\Q ަjhZ5 e#P~YbC["X嶶҇A9lIA@UB]ji8];עwA#i4ƣ(c۔9Aq%8vusl wS6kq4mȻt,1^"l^+~۳(CS3A?sdxC1]]/eE,D4:PiPneDURH`}PO%tTIZ[0e(EΤ:ZcdWCn>TX"[*@6\o eal-(9yrK%)rCT;"S;zT|@t0)5 1)S;NR4"I4Nq(yPeƨS72ySږ\v!ZyM@`νvw?9tHn"\Gu s2;2Ic>eIRF}"v`Ype>s(5aGcJ1yQHY/_`Qao`mX4s 0uۊ6=5mX0ɂn\ :86 ز1rucy+`IaڃW۠DmMC@W !=EXv9̬z 'ց"_`nbҁ#O~sMgnRd创0 )a*\C(%j[-:=^\lE9re!/(S1v]:Աk?fŵ!@lny6 8Iǜǔ,_{qSuB3 ,L)yĞ#6N.A;N {Z<~Y8ބmJ٘]?9/Ȋ&ڰ5'YSqB"` ܳCȒi:|D:/c#$xç(o^Wto 5hTȒA|jT#J1~?O3Z>n wsSaQ,wF a"&tȉާR]J(xP(g*6_&ƢW,c&~ PoF&O%@5dS`a7Zs~Bs6'~b%叾Jym.?ŐvׂGl=nP [)tÓ/ ?-/rL GڈMq޸b Gf}yӴ*R|¥87e;ŤeKQj8W7+U26VkPJΓ ',@'[}u^'* E'Ek!w@3P)6Xyl $>,N^#o1{3 >!ɇ18*\,B'2H=QDdspYܖU$Yjr@~ C hL3QR-?z޾;t؈mwxBSJK-*X+[$ڧ&pm-_yd ȷ z[K:P/֛V᯵Gpjɶu \ M'-=epDM|S2~p 5ۈڏrIq"9r"g)Ny)N|!hDm:>/rlDR4v2EP*UWhYѢ;XO<í'ܤ%pqQ!ٟ%h,;+m5 ܨƃ3XZ7/3lhx'%uQy̏$O M {<,XgbWhӤ$QњhZ41t/\(!IL(ּzMB< Lƫ<g`/9䷈q-E!M W1x;!1MY!ރUmV'!X d2F.'MEYdtKZ/_`&t̮-S><~=G] Ux&A|׆R 0ZAlιP+'6gbol(.vp m FlA+uMJ#F1v*fٰmGIH'x4Jџ<0O?ї4JE׳Z6sbqA$dIaK`?0?4iڲURa,Vn}MUcJ}Xx!4En=C$0Uu|i Q H3WTk]JQ3tM)P" R53Waf,"]e3 ;JJq Y[7 ivzP<Wbʅ(= 堲mB9ch!AFy '^6Xe'Cs$ ہl_`%+zXl3||D>/VhaG :E D 7R,(r3o{ۊ-w@ zKJJIޘЫ8=L_Ea,]ȸPqw<~AFO׫4=HO :Pbg+>m^ϣRQ^ޫ/LḤ PqrIR 'do%!]dp٣JGBNv,^ NU\)]e| GeI"{u߳Mh'[dTdi)#S}dXpN#U1E W[˲B,H_R%?:@,UTrџjyewVX=8`/c\OOӵZV\ ɔi!n -pT*x&*{f\Mp$DU ó>ό*]W_Quأե`*'3gdDlx@6.)m^ W[fwZK>J $-56+G?+Yq,BM%؃="w㫕Z*@8jnoPN2L"xGvsqG*s:1)Kpr XPy&3f(1߀̦׆!ކiz1"ȡX$.!؉nU3y/F%]YR %]Ts PBEʒ fik~6@Cs@u0j "52f9uM̥m]vUMxB[@z4 _6q/TKTe8 6Z}?] NX,6n{4UTZ]}l`:%F:>%dO7hi^sejZa?$645t8.h!:+ҢL(߹21z1+@`<2l,~ ?3{x5iÍv/UBfA~*x{j TpL~.!QGu&8H M3_ gCo |o #$o|'odo _:dT5Db3 B4óvC+-(CY:;xC˭{q231k ǝiq\;^Y!pL^x(aX,PR*͠q-Xo<Qr y J=MYO1zFZR'Yo&ԽӬ\VT)(oIG~Ub}d,z2oӔ,98xč@`YF/Bj5jH~Z>$+EhǑE6L#%ہ>'v)+ho8R0KAxbd2#qю\zMR4픗!]tyl/½9X-:nj(/IiBYZZXaɶPb uIL. -=DvBt" 3~>r²kY_ زrՏ2̍+fO7@imuܪwÞ$$.2Z6L1)b!KC 3GrϪTNJ-*>{RΘi'/}{ cXÔ4gwL%Aո3ݢS)GFۢ솀UiM5vA' /]pxi* ^ \FP]rp= yR誵5_ e|i{ cFDvA[x=R ;J M5N2Y֕$E1ELG:d0p6I۾{ޙmkwgD6!u%/g8 #"2@g=LXWuJI,y>@( /~:VnibclԑWpQv/cl~E4V0 &7@_X`=`߻ja'1iI;c~S>ú"`EҎ Jқ>-s`7ٰ6լP$Γ4۬l6!0z"DI{`S rq!vi/Tȩ /OtȮY=l"eMFD}UG%Nq [3KDyzqz_>b' /[Z{?{f,2)@%5 V/ y }~|v(ŎmEWzpe;l @g!?52Gs LvLyo7ْ]J)>UsVS`dn.ǾUo\If'P-T7E Ej L<[I\s@Rdj0eS1fXrrRK)Z̮!}¹LQ{e$Z."SohP+_xb*NʇI/_$>G該oСUG,AO=KRy=|hRG{ CP +zQ>AXaj"9%[!e8ϮyfpS&K33=JXrp [*N,b~* w` $x"0юX:T r\7d6viwV%=?q_8]TI΄9kFҵV?B߽9X#C<7|/k%o|<*6Grom1\Uey2D$$[ M泍 ru(_fm %Q^ ;VoKS8h 3éېćIK(C^ENn$ZXc;`-|iM23Np1:Yh)@iaXAgV'?*ЧvVZ Wb E7 cY7pAru[hnW#'~ !9M|_^"kxJ }PvrUDQ.a_ng)ncc>9WE.= ׭6 1}(?ݢf[~ӌ9_uk"!BIUl]@ˍs29kW{ӏ r_'}PgPV63̕q@=_T'HPģr5^wE-k/OMk x'ro4f9BqǚY'r d~XY)>}wW3)PT"KaR=ҠK L3](5w0}\.♒ka(]~. )YyJ2(X|gXHT1p@uet5;qgФh<ÈתY AК ?v<5/AdMxˢ@GZͅsE-X/Դ]|OT;^Ѯ>IA|xEj4Uvn׍2VqA@}<+=ҭgI%{b~ddVd#[M]q k ^u\ Oa^ :fd=0I[|5WA .u 3dViٳ$D04Ky'.1FPIڗq'Hǎ.B3T AvCJUcROz|ze$MBG).}_(eb~p[#9hr:~=r%S%BϦ@9lpgc%p4hQ+BhFa \}_'8ÑRbCtXr3%g4DL YN#~/Y*;0J "wu9 @÷29X*PA F/D@pnfBKEeJ8hM .4\¹0F%%`\Wo_ .OqUKwI]G|J/ah9iy˩7ᝂxVAA׾vv/ kñEv ?k/|?,9X/n-׵Wřdm63.q:t9{ə^젆Hfb(5o@,ݛ]gZC:LKjqVΦ}AY_ݞ64'dB.dApt(b_ P'.lZ=i}}mB !іBW@xۥ -GKtE7!*zt>3*i*'- W\I*c9(:db0sAZF/Z?4DlXl“-@Yt7~%%7J8y[K%)0xSJ2Zm,^ԡ{nUT/'4p̕$K3jar ̳(PPI+;)|A@b| V O : ?:0WXz/A,I|~{E|[wZ iUV6bs =$WcԪvJ, yKAic;.S=Sis9+.{`.#<% zIGElz @"zXGr'V})ϛ,~5$'o )򔟵%0lVm $Bsv14*آu p)#\QWm>Tr_(u:oߩ{=;RXRx &X?v֔ER KpW-Y"TmGj7 3a']~LB"ju΂k=6M X]Ab"9! vzoUuVMˈ_ʨI?WޝJB\LnÉh`#u\Zci#7cWj,%emO<]hh| (\]P<3^sۅEzDJ 17 :@MjIns|RyU`6݅C >hT0^Y`Z`_ܯ!r={^ ,sz )F2&tll˺([k@qx{ ڇɁx'Wu/y2 *2r 0I b?x$qDZkֶo\z_ч%5}/?o1gii#"ZʥXMoRsɋrߝTOff:<9 4؇ldcDnET\q^i>xCHʆis˦P!S@~4Ib(bD]L KP^s~sDRH||| S _Hd/p!^j2 G\ a\x*["W8l!ֿGGz Xa%ybܞݰCh5(L iۙ(w@ky#aDrm?ů^&wgT Q*{il酽Rto-I6vt M<~S, t^⁇z? A8斀4}V|DH.]Ò0gD]%Jwoj5>Jh7mɷ6_f+ Qa?!ᑴAzbs֓ GǯBDG1 ^~CIFZy娏n). qv^[NZs=-ձx`kXx>LBLDYJL4UT6қ(G )^ .Zss) pt8-(}&lNBkc9Q[Oj1K&곗˵ xBm&?UDG85h7:0Hr+ZỏmpGpﺲmMAxW=!k}R,;D `(i}G LUr#=k(`&6S]%`4m>LИRlmJaLVޏ~1٢]-Z1X) nF NxE J;&gp$j*Hk^zҢ^MR[ ܑ:Jocs(-Ө[u0QtA :d}g8R-^(Jj޼} 16uLwL4Lfvw4stbN*8Te ΜLw=7B.sw"(6ޙACUE5UxU[x`2kR°k^dž'W 9= >ÒͶ_d)ql Mh3PG&P p> 8޴UoɹsfqY X8| 7V ޿mJJ8o ^\wϊ7Bҽqf>8# OZ׻C(zeIEX @0ݛmXcpS-=omPa,ur_^S*5'%y. m j6_8 >T8(jڥ. "dzJt66*"B}/؞s92|2<8 jsn#`D)LYM{%a-PH!)ẓJh+j:gC@ C\DC>]I&U{c\RdS5\fmK#^??,Jau޴3i˿r%vv̘AG(ǧDe8¢=:?`ޖ9N%SAL-?{DRqv뫱ol`\2P^jďbЪ`s@SNӶݱ-r۱gYZba654a1663d5766d7acb07ee5e46bcc326db1b9d77140aac0dbc34a2951ed06728ef4449a3d3c2cb 74195f026dac375ce6b287f38a203688d292d065e5aa72c414eebe114fc597f14e9d8a205dce66e6