SQLite format 3@ .0:  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 PPt%D< ]/]HOL-Analysis:threads=6elapsed=351.933cpu=1834.832gc=84.780factor=5.217zXZִF! pWZ]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl^En/D.5cUDdӪMtzJ0 6U?`.cRKf 06Io#i$ﵹ+]u 7!2ͭs`w 9}kl#Ht%P`$}=5q\N0帉3 7aGPv *xEId$fkQ6* K6 ٤7-d"INT;5]KڥfC_iӂz=%ЭOT:*[ ~(dk @4.4+l(m?♣)q*X~n>צ^g8W(g' \V)S y O\H{A3vG_FN=vh8dy9u[D V}M hgG )@}tת(<U65~ "Đ?_(̸<"tx,'Ez?{6ĊBr+o_8'XQn˯Rtj?Ul|>J)9QabI`B4}\|e \ vs<}gZ!!|:MJrWER.h"؃캭%qq-mǫtWIoT"xL6Qϗd؈vv' VcQ)I0e$ԺYXϵmy Ul Ld7@]]rROjKIҳB4!Eˀ}U\Ux 8XCOok=TU-^s]r 'Jܪ9A]kCYA% WI^OƮlI5`E.L7N"yy>=$nkDrA WKD6T+*NY(oџUrum}瞷?kz{\i :ARMLp-N޳h24f>اff aEٽbhsl->&gLe^Q\$99܀\z*7~p!vA?=ϡ~5?Kj+%?zhՏH|\?Y@ "o1 DGiO)K$3"*~C/]c0o5pGC,5,Sxp,9O%'BaFk\̡K#:s0{7Ki *iDͦʜ,`"!wVys@6>=MGY򥫂BBnGn0eC;lǀ\7u>_)|tfI"o +ŷJe6 In-zV%yq8ڪEk:ZOW{G2zEDm2*a/vb6OA@g[݌?ʡHb/Y4c/ܴjp#!F3Yg<vw )喴PkL`27z|f^ݿeL-U)H{K}n{5^MV)ؼk\ Fp7p*Y'X8U4^]Ѵ4fO[}7{{p97+D W xa3ߛUKMqGqºuO6 lpnbp){sy:a,Qveh'M֐`*Rjƙ]XgNM:76Mt6 |);@oD=^S S_֛\9*96G'iRo0 w DPh{nsV877 %E;3j{wY 7Ոkg`6<^p]rwR6weqA-Y!~ 5xSup}GJ'˻̊Uw5nRٳ9emQnD`x)ѡoe 5B2=+1Z6,#,qیGh҅8M5ƩOQ~6~U_A0Z# hNht=4:gTd`4zB;3@,ͣxb&VJ9+:.͜$h|#TYֶOT D)ZoCU x 4b^ jrpIur,r3zTf2R֧ǑerA˳EKhřHm #Ф"9wVAFuFwV@MYowY\gD(OW0tK Sc~$ch+I U'W:YDp]Dl0w(_gǒ+e36m)(a&8)})JT,̋fubDv-߇9 Ƥ4 nN\'X\B!ImRB̹}0}@x5/6~ЬD}` &DS%pQ&E<^yK˃Cd!Z(F*ca /u5wP ;p%lg΃4~c2+Vw)Q E֠iMAQ~9Yɕ;od9{njZ& /I- u}x<2{;aB4[yS7j;L\m8f ! E #Nc|RYsLph ?6Yωq3.9aeo fi ۅt/I&l 遺#/|P'S%8 ͥu뚟Iҽ=, % HOL-Analysis  lfХx9:>.L`1D+̾~B aQBH /gB_qpYa|犒Y$9 ԢNfƘNwafLJ<)=3wϠYE>U0}O};1FQ]>}7(5%FָUsGan[(t$P_5~z'ԺuPIm&Sc/Q(t*@ PzO{8Qg[ў9Wr,VT h8kT,M~]EXv*OGMT,#)yQtdJFK2"!D8f4*h=](dmೣW-oN,  di r7K8XoL cvdx-JPFw5~ѱ!SQU:{N 7D2čDp|8Ա)yՑn])dl)4Vd+M#YXB/ :E,>I,\ھ8S^<߶AϷ:W"_ Zm z\=ƛE8L]G)/1](jz=?d m;XSسx2';DYQ죏<8X=hlם]M(V)6` }/*ס3[E٣1u܃܏). uŮ;庉?-֊I0SyWC.3y==ISf˧^|ۿ @m0;kJɌy"Sb[ű_*)+ Z3>I kdZiӸqw?Yȋ-^iiQ[DHEըꍽX48vrRi3F7ٿ=88xKbpf_o4 |?Z3c20UYghఓd-:Hf6F^_yq$+^ۨ~3 ,SYCtjx#J'LNs,WJ7VV̋[WQ]b+T4<`&]H]w;NnK5x5Ä""OK *:LbLX` M>X'ZjH|8/:  (&"q0*XuN.z!&l)LPhm|422POS՟ ybf1ߙN*=:'Q R[2tɨ#{̃AdnS9>=>o0>nU,wz[Oʢh5HI4/8\Y#?DaӍlR󞛾/A!J>!Q| >﹣` J989kZNKIv+ $Ҽk+Q'~Ifb0"+P朖`1,!c1]A3{y-͟:{4@a}j{rEA_~̑G:*\<<0NʙUe6HFz=C;.'B xdNbѬS0IGh$b61)8}]w@nT,9^Fc9rd0mdmyN=}r]VA6͵2_ {P~9I^5^Ŷ9fF9{Y!1ѳ9 8PRJ_N}|N ')]kVYRkP8ǜ&a 8^Pq{SL.0"7Ԍ 9G:TϤ6>~`"Le AjWu߸轅 ŀ=1|We_h{!b ^ fSŷ[ʘ.<1iOʣU&,~,ȯ,ٷ}س^^C<[0NηaijŁr|Y1 Kj- |Ηu霕=}@۠%g D-O fڱѶ1wqf2'w=hjޱu@ qYkmpK'V; ȖKZJ>Zfs`OENb_*=v[5:})q꛻BNs/5:=FW' <$Q$n @a $ dx.*;bzf l p}DM[W5ȅq`S0JdS 5ցyFza8*Bz]+ > mKн3U#IKܶ/<r9HXF}AG-QM*t<+d KI;a_y;2|}s> /ܘ\"ݥaK6V!Xm?(ι5/bØe&H[2%^V cOކogFdv7Zg"AXyL6CUp8*KB!m,J5xn\iF̷}j1Hйټࣆne Ip^ހ1Otak^(6/۴[(ZPF+[Z+jw}ǝV> ! xc0/Z*`_b0B`kRj1P7B+lJ^_0׸P[2w)ŝtúz@5+*Sْty+>ڬ|.$y2/0QUׇS/iuP?SM9'< :Wy_"]RcWCD|(MӲ V' HI)_ddV8-;mQ8wk$TVHEpiFp(}[P 4ٵj؜O*CdҵnCn1غG~V ׃q$OX*&BYiVP태 o#ِl((̖cK|%JcO]aDe{[˦Ԛa" #p ؟Q~3BGIMʘx"+X'U$c$` =+@$ghL$wh7zZ+3S6$) Ðf3Kn|Ec x[8)dti^{ZЮ Wt BlOdm$z Uh{նB(\^"#۶< AWWrKz-eضoPs'b@⤈bMQzmƼV7f;.)3*jL\[Bsc'ʗ/;ny߿eo#pze.`VqϑGӭ :e8zZ؉a3PԵ؎4n7`B$]%5ਥ*ld&;A˿O7i[ǯ&U|Td IM/nV0}r䷌;>½&s:[eoY`LO*j .F+qYrHy;TX\+{NH *dsx/!FlNϟմpA8MK$Nu;[dX060 5@qg^8dnUYMo*O9l1VrC1=Ͱ,;㯾.pD6faG fF93v/R~@[gUe?,>wfMP~{ЀEYŷ1}`cW-DW[7ZwM&7@Uh/`^+eK/A /ѡUŘ0wC9Y&UKDѧВytt#vJ-V PSڌy%OIr=5FڦmJJX/d=^2.mNsC[3́ze]*")ြGoH`D=և\g\ah~3E+6/ҭ'CDmi!HVˇDxt);u n}FfV0 \LO?cH$2}ׅ.TL,~@&'t4QҖ~_mOz&Yh@ɵl-F(4Y|,r(;~첗Tr2'Afx>g[S\?'t V:]]eݵ?#XGlyK 8Ui.Ր1V`{C"+2MoXcW]fca_%=ԍ>aiz{nj&jn"6.?3eOزt;e\[)ʐe_Z<4g9 pzR}?6 7w~]?\Fs9{ޝ%8R͸)|K8]_;~W]9lY hp )|zrȿCe>r|nދ3x "Y: Ꭹ6BCW6p|é<;{CU)o+DHƻz2V:3HF Vk&yev+f2dl\mpԀя6r]kL̍.=9 \HIW f3WϔQs4m*^"cfJ9\\AH FSG)%BVSm$8:/&hNTߧ adI? .: z&bD@KaX/gC].T| ɱT}o{-m{O"Ѣ806[;#QƄ(iQ~Ud,HېFb4P5ݟScښj$yٱ;mR0? %, GK_-\"ȶ6c^%7Cw"0)-R |<7mߓeeObWCmÏ'7Ed1&شnJaFRDMOunF -)L%jkHd[A )Pwk /X.mTEX?7|B4ǨRayI |4lZ/Vȥ_/B9CVXݏa 4,;`z$fffd$9!ۤ]2e1CO# I{0N"L+g0f["EH= `m3j2ŸLCۛh~ gGxaV7jnX6G|ra{{ocֿnH͒TQW:hè|Ɉfm$ЪTR0%;l1 x|~@`Auȿu zѨ^Bkҷ52 SJgAp0fuލjc Q >X/Qk6n;s8T_GVa{7BV8.G ϥCTYzcʉ䙻]1I} 5o??Y#Ns/+ RZwɫY%9Yr)PѲb!U^\ySD"DAt_7HZu#SE1FhhdݮJ+kAkf@frG8ZR_W$ dyP3 7#zk3fx5c )cзKrPDƷ)`6UWNy/3j5K4]K_4 p*SLjaFVC9{UojyE%d6'n~h tᚇ ^23s2-kvaj(/RvqƪU]º,'M=0jYfV՘Yb|5AQ^MHHt2ZQ:ª֍`SeS;9_[Nd=#Z(B穘 Ӛy(X]DDRQ؎񊾥ؤ.k LT#X1}eL6}]^Qy)pC4QmnyF&V]\9z1R?lJXvjY {Fp}U7<, )hiك|_YpsTxRZ 6aT:Er"GsĮc{hRY 1UNhvm~U.}+CMQByَ뗒I>8=Q7V[ 7a׼`UP ~#2S &NO!?mעl+i?V6R}0Sza3ʸ]mR폧8m? ,yOi1]2s҈5ƆR YћeMy4ʈMvU4l3:n~6[TŊ.\XyEI{yW[#tf4(ihV_i2D#Y,R뤠OPD*,ϳ@`Bv>w3=RMcv) !Ġ|-ϡ GYdicѮ)/y%".,pvv]]涰WQ D&_8S8cʪ٭A5UI=2F2+4#3#bgLmRT׍IsvxT.Y܍6 \sDž[_5bXٗgLse^1>!D;*l@b K#@kg `X9x9LkP>boTz`>O&aQX2l: }\%źΪĖ ,8l{A9Mv3w0 (IwbmyRH6.%p]Ex)KRg>d]Eώ Hw^V $Mp-Uɻ>bNQ-`K#Vev+<5*?2a2B3 ml*4(Dh&tZt|@Qۏ858kv[oW]PR)CpםYR'tR, \?,sFd_IyD] s[&]4*1$Rw&@31Fr8W"4ZĹKmT Z Xv`Ig-q|Vo7@w}fH WeшKu60CPP#dMpokfLʚBD\l3&:7 UWzZ~ǜ:{^g1sA*DvM%]hG7~I 7ba?CiꟐiD)MuW7 BßZ讉ӕ]ui\#JEe]5'eL ǽ$RMw:QЂP#@ ӥ]ٓ%:l Gssϙf(9O*]Sq?p5K~ϢՖT]kX2tQy ړsҍ;KDM>>7tqwm9~t!&BP R]L8vck&/PsgI1 5bbo$8@bĹOK*;~$+TM!:{pg&űpl)d:#j!xC5+(IL NvhS w=N6|<`b)-j|.d*dZȧFZe">QT,z8^ 9|8xXBYfnFƾWnQ>Dظ֌ILp-~H7>=>'z:<(Y槰-wÞ# kHCOE;[a! `$}7ױre=wXS6;O^j|fyKJ?5V1zɪOD0 KېR]΢ z|%cU5b3N! }yIB~ 9QfX70FL=EAUxM9Cˈ޺ F tX0p n4msڶT[PljHteURҀ \#*3 _թQGRb'ev2 NH3քS--R%9{ DmYSS))'>"E>\os;{ G3&ń]|ۅ~"%WD(mv1aݹ-PR?^î :G6UᥰPQsHA OU>ZL;RI0٢& P[F6u<8(mEAf:p/3aW^c\!O B7ztan9m!<ݡ.74b~jٲ~ZnH2&h>'^mݒ1ɠNJAɷ?.IQCJ'k42w?4R\ʳ kbVwOf.EǛ'yk0TY-1xܕBV5JlM&j6lED[F-1 ]qL$ZIRk݉|I|wLR%"/x8j  TFCd;p;GD罧2 V>-8ݍ&%$x2m1R@[)_RΠ͜ .61P'M; q'T$UVaivw#=X 8YY=+An6>=U3ۻ/~"V<΍D=0oEǛu~UwB^$ݣ*ӐNuAV&~=#R zGb_v b /e"F;("Ģ./ܡC҈KC[{k[-< Ӽۥ,eCYF VV+zGk84wliV=>JрӔ.%ժ"8#Һ0=b2 /,FE<3 Ԧ $S26-jour_l ۗcK" ԗm$\SJpHa='| g:@nuqIm*yOznF9+YxyQG楚[-UE[r׻MV_4 ;wO0 _߹("fPK`d Fl0aY8fH6Z{-!]^H& 0R lϱI=?aןB f +-@Rk(=ie#VogejVwϊ pЄhGW_ܜ~8< +e(FxzD^Zl-X|?ObۋS%S4r&`>Yceg:{jڣ%-ö9s~%Yl9[Ņ^Mt (h^ںzX 0$65p.&Ks?Q}d;d`;Xc![űѲ7? W6L㬛F_p /_\.|=?Ѻ84x;*.U?|^ʁFv r\n!֭[iT` wzZnQ4! %BB8+7bםǮk0-<&syʽRM6p jqc9O/F=S)Y1J,)07j qj/ YkF{xTO[)BYLx*ۃHE( ZGo{WlS,c6o'ZٔA4`_9X{Vt 1wPWIcJ~T%K\p"M u=T1ݽ>dozβ9ws ˼`~\n*ok]K$@"Ғ b5{_OE4#j8$]\qz\0XUҧځPtܽW얲%Ycz7G 0;8F¬iMOOd#ReC_*c/Њ8#@ᗹ e AF1E=Y{ZnZ}n}i%Lq1wg45,92{lr 3؜!@:~iI< "U[8oJUJ)4:Lr1!m#dMEj׀]HcSKyʙjvK9ru%t ߢzdƍε Vx٣a##ostE/| ]4`g;.ia,ȭ_Y3?RR DdD<]wTl\/ W3?GO بG<.CXcha/TFSyY<T{nW%'SqBw/s3L$"GGU6,jO1(WH흴b0s,WC^Kl'_Dq4.Lzs&Nha0t39Aa |w㓀KE2n<~nyp-\gmqe<o/ӠR| P /e m?Is-31=ՆVnj;Y;(cnᘬ*#Uy; BPKCBʀؖzx w/D4iwC@kX{ߡFʋ7%nl=^z+I)''r Q6]^ńX˘jɯʕvM#d^[ͶbSB@ '^ĻؒUP!|HG DdԂ&S3`nZ?]K %kJ Mf A?SsEc*qtԋ͚! x&AyJ |8F '칬AL tIQ +* \*|ЋFO%;jyfLED]2_9g52ߘb_OyPNM…qpݏ~RgX,eT<>ōQ;?b<0t<@&dCnJٵY7sGdTk !s isJqB@/V+te'ֈvAjE5WJPn%sdṯ~]O8v!C! ^\Mcև?&7vZNb ! m$ݣȩ|/bhR`V5)fFB Մ5rb=1쾤P %"nX"+PwSB=g{,,έzoL-; d0Zaݟ& #K<.%aQ˗vuYVM[eҔs&rNzq ,cF| ӈa۩!e8r5Ij2.iNUAjECPXN~ (B<'v"a򤎰QP)Xkpw6jWjU be҂Og`&V~[fȳ-h@8-#j36?-:xrqqpu {2F@{C{*e2R2~ԣeXHeTYu*~Yfr 83̭Wwkx7PPM!9j)jC<d$m4w#P 1]U- gQ) d/Ī730Zv-.&$9 oj_RkY5q0 :~('\@#]PF+ƚo%#K_I0f hN&.3F '{Uii)9V1/_Fd ~j 6w9/x"DX F(qۚ"SI}.mX.K=HtF ѿRPy׉hdA krXY U0RN |E4A-V[t<~qܘr4Ga&[ #՗0y.Gg"ܽZ9*Gp-MF>'gzљU{Ю|@v[uYHƸ!&FK,b^,Pvu0T>B.5oA%RfWS(l#{}m>#ѡ 7bCFP9jh*‡Ȉ\&zJ"iBXvs , vҾ S1$\Uxػ_K=KEklm9[nb8.PkJR_tʟ=֞ISYn4net:CR _ fW؇è[;Tϰ38Xufڽ7lA Q*J8})\[eb+1B, ˕0es%25j6Byq<"l@~e# KI3Ɨi]⮇qLМ;1@dOFȥM{h[49f].N ߁|?%a]8W2gvݫd0n>~7 FS ? jO}Hl#@R+fnEӮ'oh%R7ϫe :N v+Xq( y}[mKn3LFګ";!,:`}4"x7fL!gC 16GjieE]bi&+Cl'\ *R/I2v ;7h7+`_zUߊЊJuG9+ɑ3=Ϯgt|NX1fG${5$/`w7K۴`q`y4'@ OQ#n 3LJ‚ ^Aba21lG{ⱶA:Rr3t _k0gtHə eyO0؁J{Gf {tL,FWs)hP "y~h6|-[#iA j}E-F=6+/AI;[gZ%5 ^]W,1(Ai{*Ҏ%5'\"(H"`K2қBt.M'EIF;'3X~1#סAn$ oEn}peWҙp \o#B`.zY~:ϫʬ5Y&Y,O[.>\'MRAp#漬ySR2ElS9]n& /~}/X/Τ(ʺ/]wL rEzrY+K|\4Vpᦫ(-b !#EoMϋ6;Ż.ZPk"JHuO"$$_@!q_hO'07|)| @3|0TqK1Vv{ NM@y93~|(C+L[H?} 2A 1C8q]7M I0o#d"1Te@6.pƁ?$5rEv cbh GIgCpJ(Mf1=uclz~mLzE5+:#Ĥkʖ71&lY71#|G+7MC2q֟l-2iJAōhB^8$os]@hlgYZ7zXZִF! ( ;]ŗXiɟ1˦r!cHkMeBd4b!kⷣ վ'uTp߾_*ZMÔ4(){ a͚=!LKTJ<Ν; r~[u(0[ ܛIjԛo_)uVpfws:]JM[&bڳ(ǚiI?w */4RkS fVF}":--< ȵ<6 -Wi45?ݲW|^ՂF|CL#8#i7̀0maE%謤o#'d%` ҞJ^mɍȲVȮx,ay<ķ8l,C]\[`sC~<UL!O1k>g[7LκtLtAƐΝvqo/&6RQ67T-A?=Њ9CѤ]iMi?Ƌī@N}:FrB*vH9bdBI{޼ A+.CBܲ"Ӝ3l*;"W#vG~mIUj?QMbĖ㉜D/>O">]jY(OW B;$"G|eىvā3|yS1*3΃VCT/,^3 CEm[s~/^k>v=3 ]Nc(F3=fnwjDXdzG %8Ul1p8}:+YئgO%DU2):*@{t7G`$\JP>JyRbK 8J)m .҄jj#[3`p*v6*'QO!A\ ӘJ}b6U,H+ m2P,1̮`(P \܏,oaana/78e+|-w3܀siJSRpcO4=AH"g@J3鰛.^U9= ,|L1yrvY骺".|e~`6NrM moo2"T'iRV0M~% t7=fZ^3h9p^i7 "0KIZͫ=W%;SFk# =g"VM W2QapnBl j'!W#]ӮeWPl;":JCcMEyYhy-=f~,N6-<|g44(7 ڛf>nVk xЁ&ePLOS}%bfR:7Z?KвhA̯$N@ ^ *bv㙎鄟z?X1AN9D4׶WSn֫啾d{b]鄨DDJB6EH@jEq$u)̉Rb6v)X"2UkCԠ_THCɿq uՕ(6 cfer![ͩC?E+K5˶Hᰮ-5gP#֤'\g@ U_8EKDVX<.V{';OaWROD8KwbO - QK]vv8r/z/ѝlH%hG1y9dY44RuT_Wp̮.-RpAnI9̒3l8׮d-V3 ,ۏ;-~%haɉB] yFӹSɺْs_HjBQ'/@?bORvјÿ8HoD"c'k_&3~2 71@szO8el 1(ת,V79S7>{KB_HD<IbYNKw/Qh(TgYZ7zXZִF! |]ŗXi%G| i /IQkj EWsgBae5dJa auC_g٢q R"~mmXf) ̓ r7|ր(p=괾ZuDq@\;v 5*O޾Pe)d㾗:r8XmPN:v_rA3ZUwdOȦb+h ~]Ytfv@ #@o+I2#rP"wKDधZMS7J4N8zJ|-C /]ˆI7.evAXGB[]Qo?+ L93rW8b_i=V|J+uHWEJRdSc+³'X ׷h7o:GXHM&-/tfw47 wД`<1 U>Q^?wa{>4@/l X+]q*2iy $=qCFꮑ lK&_ ?NVV2*Zhs2M~h= ^ Ces\ԚoA1dϟ5?ujbudUnc)mU u<@O<HvdWy8$"g 86 ,i doPX/ 9BaoeƈاUh^u.~wgwW`gsg/^'xI2ap2#4% EUEw&h,;5gKk1KF`DD?v?3㱤umVC¼^[}rD 豢Lf N8.50/金gZ[͚֯ѽPx;g39Mf"e ;/lo"ϦKf*USÌf15L"}f6M}LhؾWƖ!pSLi^췞m'pkW$9MEma}_ Z3"̿UBzH@$]k{"<.OvXsCwfʡy*A ٕ1 *jhy ťEEn KBqCJaQ'~oh@< "c&n)jasη]m?呠|oܝ="E2lED6w]A u#aǩ dxbS41yS'Dͼצ:ج2 iXEā}ql6w,`RsꝘ^`>8m %3%!/U >\'%õc6P- $lBqZe~?:t7Sp!OQfObyBOi?ˎ2վ@ӛuXHYCx2Y \j֏%W;":?bFD; وRhҤ|?c׉.Ca e얋%͏Z˱n1chkU5^FR._`SʹJ+[?ޟf3*^K2LwJV&}V"p*HegtStELSnTM&b^zk*ƝpQ&Q23Qz݇I VZ񹒖0VlTm`9):RrXNFNxGyT2_X SM-tA Iʹy/^cml 7psv7wtYYh O +/)&T> f>U՝)O._ݍ1FeL&(Mu(o5^qgn(8|-j)b.lOOlgE: 0w>쇽'Ov֐GJl=-3.m'g1-rמIl[ge"E? [E.C5@5nYTu&c{s:M )r1uvݥ+ Ɠ-G T3,e>OFS@0I ouJ61CڑGɈ! jDM^ybw^`Մ{N))Y`*$rr>W~|m ϐ%2JT4uJAMRqmd_ {qo2riSuԂ&`٣,Ɩ_Ǐ|לzS$ M$iWa LP?a Ux GIKiboLʐRtk`su3 Zch5{wb%g1e}臲%@fM~)M:ɔ7TBsFo{ZǕ}bBgwکYM+ HȁI σ)OI7K؞ζ\Ҙ^8,nuLK#92d,>g^dn\~ fT3n%fy:p&$<>u!ggiH~?ḿyjSb02lS},͋a <Օ#kVB-nz+z{J[wFmfVw}g4UpYׇS+KA#qUkJ[yL1ojqY,1J "g~}.~֘p&ȹT%v:ӝ˽1#ˬb5֥S!L˻ ՠ޾CMdm5!Xl( -S绝m"Ucl~r:B8`c֢\JW*4#5Gύ Z HA_EE-zRK`鈩FbG [Zdo]Ϩw⒊ZJ Bg1O)e"׎rv@dцmʰXX`e8fU&?Aol[C0[1g"ЖY8Iho%|&~&f_;vQaشÜZ~ooi [QX jaT(;ڹvhaq&$hԪyXh\j2@f!0:fhS+~A_I,^n[+Li0.>g]2{4T|f,Tw붣C,9sS}b2U=h%yRoh[O%/n!$] y2`巵&fE_e}qF ܖ*\]ά o?  z7:/fNۥsjJr}$ A?āgt!tiG(ed@۸&V_(ե pX o֡+gh8ՙːsE$REzI!au9ԫ"8+2IPNeb/ރ\Qj6iAVEkmBz qQX>=?`}IxQЬo*-c2cd.7gYQ@uP$Ԭ |VBJOj6h*I.>M:x^VܾuiWp23qesUmX>hHnޓ kxFF$ze2iM:o,~8o%hQ)KI;I3(g`Ϣosk9D}4.4瘯~'>?᎒VU&, `%뫓ViW1+FT׆D1w2lG1A^եR>}\Dޔ@$zX/]}H+1?4T`#\`x: n_]r~hu4H0m?w:.: fipZ!l3Is[5KiPR6@9I-; R*(ذro mSaM(=:= >'>pbpU!iPt;^`WvՍ4 Η%1-+:9LR yfAD Ҭԓe mPNjЗz`AJ6a -I7[dubPLN3C4V*Dc3d8\Z=A;kC |ti jAaS+uh$c8X-|w! aUI}} >Pm"d@c-Bl`/ ‚x:`')#GfiK+(R\혨W@T.&$q:[p͗_$U+ܾOcI%?!70g&9hVfumyCV/I+Am\κI|\!@Խ1#:b&fz!W."?2)2B[t9&S#9b99QbX5N ;Rk%_JI*z[ cDhvKs5;zIda%}50I?U)TCCnOt߮#0\Ne@?"Wp we>$d$V{pz_•+u3Jzf+Ԁz[{o1$˅GHas2kꗽ-OJ%JP@۱wGg[RJY*[ mN\K_[M&8ޝ=@F?LC_,{>L:( f s(0Z P]L;[k<[,_ @u\5ϰ )_/Wf *o7Ejs@<4\"Yw9qx@r'YOS ]`̌hӤs'vP/ʌ]k\eҠQr Z҉vp3 "}%r85%vɧ7 ;cfhCq乢ZPE톳9wO=D^;$rkif~|%9ߪ,Nсy)45PX'񌔌-24TZML }u:KSt68>Ӝ1x@2>&o~C(;d H_ÕSlgˇEDW~ ,Qoư9~@:Bk/tfIjU S F+u Iet>pWLj|C;g8\h8֔j[B6<o66)^H!Slqvޮ?3LvHGeqF@@F>J]n\g0"!b@r(՟a7yXG=С䌐w_5pY=}j$Q y/̢nz *Npf$_ 4Paa5\nbu j̍!/xr$%dqB$#Z 1VdBh gO8nGp%DoIļsNosȿ9. >X:Ѽs zVbjnspA'ç []<^պ]Ìv'l9'݊-]?n t mEIw/zٛ,3,x&"gPajh%۠o@ٟF䐢0XhZg;k3myF${s>DAF"2Jkt3Z66 ZhݤP)6vzʞy|7/>ԒѲ0¡K<Z+SENrjIf"H,'\/mQL\A`Re] DFЧoE6<6RZ5VG4K ޿ ¦jْGՄn"Jׂ:xkp-w",ޕcNY\Ag&&Q1k޲tnOUBioA:M0&<YVF7`:U%:+DTV)qD_Do_y:7CԭP3ʂ3u4Y4䴲<(Z)gp%J;==BSݐa xd7˛z+o ȯjv₸0fܻgƆk%!6?3y@y*>=,"ƒ O05cp8Åͥ{+_|M7;0o/ÍoV E Erp~:1f4#멒 W6Mei9gdZF8o]bJLs;0,YnND7xM!4 r1~=6hA/F'UmfsL_ 픹~'lK\;WyK *k^&u=ݞJj!Svg-*i mG=eХ]$Nb\צZaUYnٍ 4ݔ#L_zk}5HPb4aeϺ_VH/9 ,WIl<-h3D0TNi6=+KETTefR:jdm+_Fj&ۈ߯"VN(TĒϊ\ow$EAEY3covx<,Cu,TMV'` ` k]zǻ48jɇkzP7՜vEVl֏N霺Mz ы?&gxO(>{Ԛim&lX}9ze*L͍l ^|!Fq7ox|oЕy,l yTVmBYXQ j?}vdUނb4FT[#}p a5P{.ƅ ӵc ʨ09?9BH,lPJS?[H#F +57C BwG eG+>-QѪOKJqmucVB~H$Q:gAfENR}bs %@{9נm-I={S8Eɚo#E. zGHV3ʒ yг͌odA=SJ+{SK\n/ 8Du` z .4xt509f(Cx9,;}o/θVڜ=ʍ9.hoy,zXIC)-[cZ*WRJY elY%뛞Dz$ v/ԥ)I8hzSu^sSqFn`l+=|Ďʇ4wZow\FGQf^JT+Zb`F]Ez:&a7f9L1<2O[1E * b{?>!c4ZUCU2 f=jRtaToZ{%@5$)!e9P(DaG>ir *Ƌ7ZmqQ *Չ+:ğw5QjɲH3%dTJתFg_:#ŷ'g@WK.}2n9ߞbSBɌ}c,yH;/GdkxM p*I[}napWgP]JG\b9G{"1:-Qd#qJdt0 v7,$:?ze#`e6E]Wfl(8h4־f̽肍- (Ry ^F- O֡VR-˝EH{_dTS`嶕(;z}"I4]e*]9U\j.sB-!cU4g531i76U(q ގ%Q/&KP(aplwoEeèo^6ǀ$sq41MB}0%wŀr('ɪs޳7dG:0|)@YmBcqek8X ?8Z>MEWN$ -hG3˰ Q?W(ْjA N} | A0 3B ΰ‚m,\P@p\lEbT>eN 7č }5n卛zZ eVx|wtP8P<}nջQ$"wռ5~jn{HГ]f(*ʿpfߠl4ӻeF{&*3ZY ) l7B.E]!0Mo'lH`&_мpXpgP;Ű'\>IsЁys^%X2XnȈä@دC*B kaɇ`KJ Ɨm'9d7GޛUWH:(s%}0,I_jjN"#I TJ)CdU@,)[9p9}~@yݯ [l 1 45JY –MwnR@#4BZ I<(&h^BRy`ej+(ؚ"z,C:uvxC!J+?6L,yk/ h\NqvXW 7œdXBH+衽Jv'jNXMK*t,E]}X8z%PtO:SH$ڛx轴%Uy`HQϝxLeSS^ޟ]{.@K_T*"#9ث:S>ݟ^eO] q\ w檚hvU-\W5w?xx` Y=dx2[52~K3)}? |~q;YoȽTbˡ&&W?du=صrtdJ9B[!ڃH!1hT:󝎺ԚG6IG3A 8i{K݄qE:VXp_sEQD6X˸Z ewb $NGNk]UU`ԩȟ]ZABqM`DZ*'ntC ?/a⑿F.2V5e,CuEO v0=pmQDL}s`oWfj lS87Jbϝ+Q*\ &\yBt~;Sړ-$wF qYLG<~E_Fyvq!x>nʒ2bd, v[~WdWo&Xv jݗscKIk*1$CԞt?2hfDj:OӐ\3L$BsKts:zoƆDd[kC|D=noYdĆ^v]RV0=)7p Bȉ`9gWB*IBp.!_uxw܁+2WN-pO/UI`MHzzi`O[ | (Ax3i,zu<^k}<ӷ5~|=wkE_?%C \ULjozVp` |]UWL%CxxW\^u(Q'^F㹍94~rQfp?j &&/ܰ'ed ^oybx n^N~_LMMv.)Ng: CHQ&OjS3R.@="$>lԫ#lsVK.3||tFR&TX#h4A4lfX'|xdՊͤ#isKԵZuÌS)wN Ff$-[~@ I<^@  w&ew E*d@ɻyV_SEܪ!f/(ߛ] toK烗W|o$k4D_٘~SDC*R4LĦ&Y8y^Zf/*ɋc[v tutIq NkFRv+^LUn1H ӝdl*%uD}ͨ *GSa;J&4,  /^G|p0UUM$#Ih`xL5:9i0srh"<DGT/v |]n J/ c 5oEn;{Rě(MY%:_ ?sxmt3{^`KJb>D%|^ DJŵff)ʊyZVh-A44> p|jeŁ.m- @J*QmGI`PUG'`.fO8^ wg#n͋d_}cZ)7><;x5,&:PClѓQ֔O2~"gE;\eMc0)5(C|r)uɔYKӼ [[7yrq ]  +_Y'p-j,!ĉƋ&]"SƇJ\[؅R'ӄzj]rs6U*J ㍠k^zms_w=ȶ0 #DrW]=dgh6 0Ɍc aPZm3YA'p~H\c\:5!4D-# fRb #OEpM+<("“ڝ‹]h H\hXE-kg B:죪b⹙_FP܁ͅo</X#N583ZZ]pFRQQg{{1y ptҎ߷2?6 EpwJDYg(6IPqɳmc|#@tٺw[W(gCȕkOn3C1TޡyCa5vwš>(*aAwPյѥ؎(PN~4oW0nj`|+`q>@U< Y걱tlvvɮw^ n1GZ/yd:+$~SsЅb8G#'~0F'm{ /"޺yx `Y#p.ru[c5[ABiL([Rp# SQ8,Ⱥ̃hgi1ռ햶j,AS>nQP]=HRS[*}⍷ ^`HTE";E!2ޗ1DASgU_biLTKiC\+ukY_G֋3SD ҼovA~6Dg.5p7X n MPgYEGtL8A "yk^x\AA*'A 0)3j"-N]DG_dN`9ⰺY*k9vgʔ#{4BiܾҔxNFJB# dLc8.vvt@efE:'*״3iׯ>ar' ЯClZZI ,@E #kķ &hi,hJewhz(55V#%Ѣism+KÛ 0j+P:|Wo„5!qO |P%w^'T~ǾyY- ?"##zcx5u $Wc, jGf,ߛ-KRAp$Vɥ4/u< 0!%qr 0ʣj ٷluK/qa1Op.AH ac-X\cՖ}!lKJ=/U9dU宏=ɍg2_F]9bj*XD1pt'frM^eatr!9F%(tF_gwun&:(U < RK. N]AwyJS#YPBRJ*e%CX 1iB*)MaY 汇!<^wJ&u;0 |qciZW:^8@0@9 كކ4WﮊIJb %]Q7'-QJ,֡QQ[=LN< []jʼn#2 #*δ{kvGwpڟ@ @`fQWN{)`]~Ֆ0AxWYاV+Al]zwܑ/R2J7`A5f"| > &=DMMC̕7io,AXm [!QkM!Exr{eZ/nLE)&Nz{Zw)MU\^[0ԢxebYä ,Kz RsGN\u0 g93rOKc4 Fn&$IIy&6 jq1[mx,Emwɂ, 7Dm)Ѡ aLLH¬#BF3r3:Xs-C=CT! e[_2*t~Թ k N.ʰ ќ}r,hJW/C)]QfZb'2.1 7FBڛ' ܌wcbऔEqJVa4Û mw p:MK5.Q,ؼ99[MdaEުsb9n7Qn;loO`nr5?Sx}0ha㱿sk 0{O!^e{ ^_i &/I a.)̾ ϲ3ջZאFY#s$dqC}:Z&EЖ*w6D=Ic9bon0 @󐴢FG("(DYb3%9]Ap q2`["#a}J&ufTǶkecZS=b IA8l_^ʄiUN̪ -)óCNvTؽ>̟2 $b 6:$ {BtHvܐo@!tۧ~kxAv]LIRF T<) Yxڨzs''T rHHS 8 /e:p$p1\*=H630JTKۢ*Oav8}uJq8#ìTm~*pho}Sߐ al3kN-yk\aߤկxz"5Nŀqd,=::4tKryQ8LqG v* J.#{az)WRb! P-?x-wD_:qqd? Ľah|\."\r%Ac^FbH1wQT hֶ@ܴ&t(P}OYJ+MǬ%s0:*M9QcF7Oq)";yy% V EٵMC!:CNؽaw$aY0a3Lif5]G,G|ـ7d7_i$ ܨ,o,S89Sқlƭi7+NX'4Z`V T4ݙD)715B}?^+m^Sx11xjk<ջ,lmIީ^K.[BVj=ַ&~l"ee)fyZha`_"P9'HA<4ivGh, x)ʼnOFl( [>wύZ5yboXvcO)2a4˕uNڷ Upx t=1pZ]F ZFIiTp[}~}FNsn%APyd8+~Cvy Ӹ|^Ob۹E( ~`Yx{0WT"xN$,09Z*̀mgΦE1y{cZ~T$ٍ{)kZӳu?pe\R-*A:&a2ߢ1SH,GJUwOFC;fJС9o`3 ȣ'˔+/4r<-sLB |/]ϛb;i;~H7<^9gfrH$ӜW&܄o+wpbK}Tk4(3lC8lG V],鶃}e_vEozg`推e̞x`n0пCd܋Y7bv4C0*FeY#R Gv!T{~` 6a7eڟ nT)y)caΡֽwaXW vߎLx{ۯe~+3 aT`pxT Փ`peigX#Ǐ],V&c*78dy4{^YeVe;PTp .ROTꭩFsC{$o99 bԚsv7LyQ5p/d!qB(! C ۮ,țwm?zW|nlGlYd}q ϗ{43* Wdw20r1aԬ_Ram*7V%_c·$EhH;w䒾U(X^voW=_$y%0F%n^NOY{-ge}_S(sNw.Q|Y0S2W'ƗxqH-;+f9XT^L7˯cbT6S=eU/T^@ UgVHaU/Q)r|*qi(l!%#hB 6c9w6Iߤ C-:{g)H:LLGS6NAJ,L 0>Q~?.Y'd&)_QHvz_# o& /{/ܑeMM bO~ :3+@-1Y/n &XqL^ RӬm2Q+,$kE&ÊHX-6`n jXi2b~h}K[}ގLV-EoeʺTאA E˕Ɯo~KLi NM.~Z?RG}4Gw^EG^{"['m=g &OVkÕCnFĝ%a3Ϋ$ !uYD <>? Y<Y!O&KSo|/^ ʰ׼,dD+`T<ݲp&4 j&n_M{ޛEw7£9}UM^oʪГj XvO! Wwi{y6 n ^Vִ6m = R)&x(K/b߁YI6`t[ Mt?(/sY( #V)/1 ۓB\nt Bvtk{3:́۷Ϊ 0Zv)q0uo&ȖtF-kXvo˸Cq 9Z:sv"cT-ᦩ=4m:vC<׼Ê:8[5|jcJoMa:EBf^Qs4c7Z%ʶPYcr=gR& VpV9ݵ(_G YZ2tbt*J2am aơަu'?~="ZPW~*gzc1x8)Muiwa½_@δ;~׼{Q} 9~"[r$+l&F'YJ0գa]<"rv:C=H7 Ϸ'`xAz6,O8 O/^oFG;j֡}t7PaaKnzIPlG Ȇs87*{Vbg.n'l{.NUjYETl.ٗTgkFe|ir/WA @oҮAD‚{1oXA  3qm&edZ(R"<""ʇݥB} M!x-#`|T$]iH 9{&QNv)>x7Z;xVZ>a[I#4|Wځl`nMLŕ[>kK\z ,KȈm-gOh#ؔ 0&\Fo;,tN>TΉ\=tC˝c}lP O~qG|7Cps 1Kw1HyJ0F9wu{rU2$BjmP𭀹|Jh$_:VT{5W|b5;C! 1( sr>+C"I86(00e~UÏ>du,Kgr+L9adm=þ 3̐JsUEʂ)+W"#EN n/$ V8} AoRDXU*YݕH1|flLE@vk +2%BmG蟟ui%}~MjjףշP^RCV4TM4!wӓ,ͳȎoa׃4;U#&46&c’.GUYjZY>fH}WQfވ݋(FQwũ9v jĚǕtcbC5PpDЊ meP[nky1{}xی}sjgl߯ yrDK66HT"o4%vNWOlm8 b3]IC4b )Pp*0/B ,".?gl">*;:7VY?+-Q4}hq1bt~da/,Dth'-4G:v08v3ohe!;`X~xg[S6Cvu.t" º=Et]ptO/c= ܙY),_KMs_+%oxOЏ+.>]v.y0xJa~͐€YDeSS0PTMâSy oRW3.3 ! ]hyãh2SI6oQ3&Rtn8CR 2:0a yI,ťjbRvduD$R%U%Ʋj.qJ'4/x˕ Fa mEM6PQ*o38- p`vo\F+z+5g_X"l͹?5J]0!Tn)IݙwQ|髐寗S葝TCߩLYu@LY > À,T MxxtAMb;rmcՈ`uҝ.^>gB}L)6 tm4YLg3_ؗys_̄\ʁ"ݾ'aG!@ +jhz#uDZ !u gw~ q2DA'z:HYoucz) J;Uif3œEQ0{BmI4ƒi`IȄy4? Řd,)4dm{ /3E]v;̼).ZČ9RTRnj'~2 kڣ̣{V\t˘!{>{ VUv3bW ObCފTS $ êPݿFGZČ'`jeHeY"٦C\:gk~>e5`%m096a'{斄G|ʥv/1{"Jll硌F%\@+p^&°_EG6 ߑx O KA$8ŗ1 łcW7R\Tے&(wBzqF$|kfgVPMEO1 ]"|]X%x4aqWoKsM7z K畠= ^n8W͚גƒ19L(g`s)(a/m njNkVye++0{̩Q )\0v{wZEdW9tRh( VR(1 @[ӊyÇ'Lp޵PɭדW!6l{dYmNb裱Qj,4KJ}HG$vgŘࢀbcZ5"Bte %ط_P.e3sTjr!+ nG}*ǐ wz7gVoT̂Q 㩣EaplǓZxvoC`P^;b/Ă_L=9E$nZ~S`B b") n-RiNҋ^h 68F5zDzTNyM5x,ox yHEjW0fNtm(lgo'w8䞸`4pW$GCZ)%ar;'T0 Ѵ! 36Հ8K k9psbW gG":yv05#|6X m_וP֬rh|F+bp~-d%E8dbtvw2pl&mV+\?( ~p*|l4}NX9%2?Y;;ϝ6hz=>@T=e5HOWjWDhy2nlͽ2s<e][lGSci?6nr~USb~ Vl_{Yғ6m @=e`::v>0@xS KpM$疈5 l7F +'[xE 7][",wV8^GSen}cx1x1uwۈit"Z&Fr`)w~1sczVlu$V$ bCkD4"ݬqZ"Kqu׫-<3}7|*uYOn}O"T >eZ֘4 ʛH{xnR=)s26)^e/wvAށ]3X { *jږb ΒFgyn"mngW>\`^р{&tY fg`0Z[]`Jҫ2%c81y|%*y':Փ1mcYOF\K]Ff%YU' ^8ov&w޽ ? $)?_&=5.&g%E-淧?͛ܖ۴.rݺܼ(truCvAs@?uN#ʬ\bff-ll-s'te@(: Ny| R:UֺYꢠ5*ߍX'c.=wyk"u9cR8ϲ V1nߍk<9 c jDbp{$#=VPH-%k#(dlڹ!~[: 0랃\Bk[G(@ЂuE}R t|iK?2ن\Py_+j^'DE4P^+PjZ==qkw=DŘ:Y4P 9jI|S0.(\dK M' ClK<QDHmdq΀GV>. %We#X} H?.&6 Wi~6'>[^}qs\ 52Œll!E \OPϴK=fx09f~ -NY.Hz,dHs