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 m%,< ]/]HOL-Analysis:threads=6elapsed=362.085cpu=1853.592gc=112.356factor=5.127zXZִF! /KYM]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm톟drE$[0B~OX|(aZoCo2^]Aln=+Bv}|1Hc ,[s,\-òS+o\/?'_#c-Zc^eCIL;Z"_9O5Ȏ"H).6:=5J" {uvpb\Y1l/G9`A"&0ɘdAs[0qۃd % HOL-Analysis  KӬdW^YW:aQ/6Ŧ QDܪGd)}RM3h[z5q(' bJ4hεrܦr^2_)qS ]sf5=>^SN&1=#dLJ8_}Gx.KWblhk9xJ=O3@r;a |v0z}^B!}75`5!LPLg=뼫p~ |p5-&>ZئW|M1 4Jf vQ@]%]{ZyNn+OQhricve{HQxk‚o1QZ['mIH0lRM>3/bWQR9Dn>l<ϏjfV}ΡXh oLyDLslNCӇ Dţ)%@g۾U7𦜎Kk\?g:ŵx -8AgXv8 +b ]{m\&;~ߚAtm#Yt́jt{"lUcʹa?|G+`T<ֱZU)l^y%ΧmYkbUfY0J==ЍVJS7˒EIHJǔx{ҙtgT3y1GBJOHp+,hOt&͟eT-tyeױNw!y.AQ*F>lmQW( *Q]>3WL}Mk8!Hnu J0J4jT_^kqӣuZSԸZM[1>sE@bm$}b ,ʯ^]I퐇{ZlR\b"f%~ } ѡ?@MdLW+Xgv-GZW$Jki9RcDr^Gf D]НOo첌0vKyn6U(}eěi+P)-M-2=Y %*G1-TA-\I@L+ {wa2B+o?e'ۑ4l`*;!bqG'H񑀍)XbZ|7Tɏ1PAwّB[Z>cWSҖC1)X &b(ouz;rKZG1cK$t.zfΙcGbwR1Z|)qs& 2'o,jцc:ՎYk@kN$S:Ȁۂ7S[]o(mj{@ "k}U]0)AYsU܉]Ț3M7@t)Q9)mHi`m t)Z5B>(B*I$\nv K/xLk. `-I(T_P}-oiqf[r;xҖ6 ΋+hEZ<_Hܒ,I{c_>,hq>(Հy>|mOQC)bVH4W&̢ n1)5dS"{{ugKR=/: ÖZ~+xtauzݡm,Ph|zqSaѮ& Z1'ȁ&lzh!(]B`lBff&8\2yWSQؤk@^dF6!:\@Ռa$f^_Y H;y>Iǿe=x~lOܜY}Ds`}ָl$IiLiQY,ZP V"]_&.Ze.EY2R龊Du/f'%q,RJ98jvaBJ nZ Y7,ubU:Zw "dgiN:g04}.\QUp^8>_OC\P驍3U456*Ul7wpKN>ANny{{a@d4^;oAp=r>qdzq  S?6iDŽQ~yQ%?;%ɓR\R {|c72=YQ=MAIf"$]ھgz=If5Td{c:c.K晊W2[_kW7g_f hw~kkY]j=n^hZn.e_󂀩2 wpy\ˑߠW0-Z03Tn"q 8% |-,`U=2Kb Ғc WxoW:HSXF!azEILY=BݲJ&V *{4c"'(yŁ0%ٕQ[ifDhf9J59d >/>t*XP$όJՊjn 6 j.x>n@@&;o2Q?ʽw]{0&;IvTvVsaL}J])C9j䘁FdGs,g\puv6e}qB[2љ64/p&׀ žDɶx n12g_D<|[umwSn 3#I6\d44{9W zk5DCSX*:'bGv |B S)l+Mg\*(՟3 MXe+_T ^?J0ΰ>)iB+{%&BK}zе])Đ؛otmvA4^a8=S|)r3W? @sd_lc4bk O~wbd.1lfb ,JZpuXiMe) ,/uM(\~,0m$\$5A 3OQ'QYA]SWDAWNTz>m8 5RpBL3st.4sz ΰ%`rQ0uuUL>|#lمZ[\~NcsUpvݴUāekiA)dU89A|WyK<=yzk2*gIA(;(DV8bn`l]Er=[ۦzZRxK .8A@cn%҅4/: G@38. ARLD~C=ݯ|՚rO]ߏQVB Q6(+Asu&-nzKdVGȵrT yq8_A+#[>IΥAnN^dI:vKz@gcE/ɢџE+ݿӺL2@3[ڭŃ1qj;ȏi0Qa*NEs!M }\9.B39pЀZƆȣ~T"]JeY4MbÕn@lùHĠG_G}HSid71ozs b]ٰ gΓzCA|!eeU:) e] tMD}:ngEe1^Z!وCJ 8kiqo26t T)Yu|3mhya V*2㢛m"Uw㫤yE2oq6ynGU 7Dw] "Wčv(>_Z`(}S.@s7 !5[%HtP ޻€ +"t3I^#K8VGf xKApכ(skj^_~o$ۣǚHJdlЎYz醶6UǪj`ɲァtַ ZΣ.G?iÐ#C Bq&4 鷉4g*A35Ҿ9#gBaQkl,>Kk*ڢb'9#gԀ2W9ܘ91LKlfN흀&Mvgk[20x@ ] {.Pm_rma7ۑ#f"MFӳAZ!Zs;f u"ଙ+G\=GV;W*,?5A4Ym=NJB֮4`0 R.mX%oI15)6sgC|luIJIJ0&-,#6H)y}eq_^omŅMA W'K=I=+ZVQ[}W#LhMJs6 ePc5+;d)L{kgc!qB$@:Ͱ7ɿFN b0鶞D4ʪR\(S2NIBSgsHGU+ptT%UȽCjl:VFv4Ou¶'}Bnuqx]XAB[{Bς2Q2|:p<ʷK4 [! !^L73y>+hi[ŃbZSz_qܖ$ ^ueR+|qbey ď(?;՝VPDȎW!jmb"&nn|0./bb`"!x *st4w2=ǸD5襴5 E"ϟUT(D-c1J'z eDG._z'5.u)BR˪Ғ*|-{]ŞXt5wu SR7*pV²`n;|N30Oj9@ٵE ٬UѠѵT(fFWygr-y' xG=<򿖜M]/!ibS_)51@^SC#k(ߢ=+Usy,W;Gz:V dY1Hy:3i/`> 3aw3= ,y 5B2|Gh!:t~]AK5h,1~Kw-ʘ-{[pDU öl="7%BsJJyXgX5#=?g(O=6>T^@=#IsptsP4ZhM=]pTnj"C2Io9(QG"b; `0G3eˍE.aty=>7U0# Eb`bBU G{OdIZg"5UJi8 -~Ug@LQﷸV0jQzA *ocWt_,0g7[9'I!ZM0yä-SޥګЍp1{^.2?MJZL&hu!Fa"m߾ܚ=@Gh *@ ?:ҶTBH 2k~BhiTM)Z)GE[ In :o3Ui ~8^&m+_܅ coH_M *~U3̎'G뉈 CsODuꆛF D;r)uG7v[QS4z0yEyWg`0Un*16.Vݍepoel 8a0Nw6{eڲ%LZl* 9?m2˅_C40p0'ugfX[ű_ZpIz(BBbȈvIO% ŨQ}Tŀ2 /)@jsE[ ЏvH=#or(@O?&gCC,سoIz K ̆jyR(<o ":p 6e4 *^hqk$ R`CÔҙE:faY 9V=SDٟ?|e СpZJ΂#] |!Dt`TtRD˖GV`g<>L[oϴ b\Zk_9%w$E=(t׏s xԃ:L;&?$H+Oi, XXթ:bX]8Y]ٰfxg? "v,M6WRz , ^MWI鑢N Ə=8BWW]ѓOo e()9H$'85f4#,k[ =4rc*D0L2]8%Tc&-{=~54ɲ[թ'ge#'At~%x/y+&'ƹ~w^Ζ\~TCwV1FA!&M )q51>D*rUIUϣke7к5XUp~<)L摬*uQlFch:Y|4|*#a;@i|ם~, Njc T͍61dzpP>E_jx CͿI5_?!OB#|Y[ݠѺk ]8!x?h~\%A B́xv݆+,q^Wt+[:2/iㆢtQ0ʫqH@y `jzŃƃ%ڳ6j* e? '\.ä 7ޛmSZ/ JjGV?x*eU⊗!hEIq*/lL lܣ!Jlu&p+'@IY"}O BݣD5T5G}FxV5bwz !ys:4ۃv,C(ޡ0/1c)éDd('*'#WK*]Ч/lnܽMW57WS^ l=3]pv2iuݍ5'ApKvzPoO*ulmaotyx|%]ڌ-8q'EU&Pq r>Uٴ?ؼd".-uBD 9<.C򣽱u$JS[Xuyqޟ2"#*ZPSˆ̊G[4|ӵ.;'>L6\4*_?QcrVWJ U):4/"Y焩/ ҉ 2[0Z3cYC8 K%͉n$5nϲ8EN\ߩhXLTȄib|\Ҡ#>lWnUA'{h,{lF:i364<]ɍ:rN<oҨyN k#8"{:cz*YĞ3@`+Rf{Z;lFbWvK*edEB yk=>O5y*P'-@?x1\gס|=~#OkEʹTd,4Lb'bG[8oR஧990hﳊxPJgINn!l^m-ч{V{N6.NJ$̉!n~CfȔLGh~خ౾ƫyw7䉄J=;8CE3lf3(oM>7|wG'e3oW|Ϳq\pbxTnd]ZU*I8Ʌ qÑaJҟy;`؄Gk^]U@fX<~ 0iΟu7'W0k%dQ)gCJ,-*buw()tڷ1@Z&:,q3I`zyK+>AUSV *ՠ6&tFrof_kzKyqv!vqYyqOko-p礃0_&bm2f,,6KFhvYg('(Vz/hXW.VةeNP\u30&esL'$jҁLB4@.@Xbq(S\[;{kD-yMɔLWX1[ 1tn3)y ,1K\j8|9$m>q+n~7^:a,?\9~,t]5 | zpdTF)팏~1lNi\x"#]곣 4Nڤzw:1OIV~uNh1V,}Z>\إbDioԹrV8؎,ZiZqc{[C%XDdYD2r졏<4{w1>]+dsHvM2CH.TP;\ Hj@F2AV$ʴIai;Ћi*_(wOn'xY8ˬpG bPͱ{. I9ԬigRWpԆu$ tf=}&.Imx5_zx v?ɛnkr,EGbC" Y<|D/]Ģ|Ҽ|2yi/ʴ@65M<`&޾ Vv 'ϸ[#.5?$v31:GAG iq] J_tGeQ7D:U[yokN}9,DĵO8yY]!OR$#"~ Ə뻣lSɥ E(.Xn.|98owX%qhH3;緺,Y5XMwo \_D@OFVXIͧVq N[GgB5'cPI1#W8}ɓyl.RGD<i/E jX?RT&MTD6M3V(\fG[&dZ>,Ի6vYrpV dUw¶c휶~fsKϭݘ ^h'n̾llZNTv'I?܊ZS%yd;kIV!?> ]L8W8ߺ,oU+ڍĵDt}kGس= v';E J+_#ln$D0o뢔* 4N:<“v9nIՋ7bp8t+'&@TR/;Ș=eYwC6hH%~ѮI-JCO ]}S|_lvmpmHCY,J8[@;eDz+ae%>ԩ&bxM ^WGj4W$v/)f~HPzoZ ѐdk0(f?pYMM ﷁ(͉3"Yb +T% YAAzUim B=#E萦T  c~; hVbsҚ4"-hSL_-[DdrAY\Gc>3z:٤TO$\_ۇ iK!B˘"h.lc -iZ޵]X}F{zzAOp\hHkH3ODr8Tz/T2HS5GX oX2v\",؅wtːH 6_Q8J0 ܊ $6}זH\J5IEGwnDIZCB ?=1ACPO@S޼=f o  RP^G;ymVd?D Q ݒ/M6DfQ+<+":^_>N Gu2qY # }9Zax\nݦk HkcUzTT g3{%|Jd9v6Op1L3նbIAUնmȃ[ҳ^ 5V;uk_vz T>Y <eaCV(O@S % iT4L كYDbI/DVmpvrΡ^m,7@9YK=4## =|9&/0s\yZVzf:/HHVI(j,M$UD;GZ:~b"xAglh$ނ[uLۧ;M |9ocL,(+N8 ¹ Pp`Q|N'Ϝ`[)t(x !Z֔E"W_ d%V*x l](L?Q~bcslm 6ݶ[AOto'ԙJX>rtDr ƸPe P^>j41b^R]|:Դ-&9۠LJ(x(ϑ -(u[D*qEa"0zu)5roW<д9F;|ͺEB267o)jJզʃw4;~ȁ4}ʡwPyg0o[,7*!| c]x3~Ii%a(rDdT7[Tsmo>x)bDW[WXt땧;k2ʫ##ty_bcV6AnI뵘h?zYmlBm0ݍ) e-swrzzȍXwWKş78^׭|%0QƳ uriD;APOBu'_uJ)]_iYԔF`_h1'U ݩL'm uCH k(a)f }a~Ef΢[HDv^W{oa@XЏV Ls$= >d8QKS0i(^rX{8?T,aʚ9ߘ;. ~-CVى7mkۥ5cV)~'-,tZ=N"~:fF ل1<8=Bcgs]Z]I![RmWKZcD!1EQYj[6 OݬVX6ńȕ=>e3\?[lXy* HP`i UM|y z#YL͔|n#+2KWJU{ת_H/)뮏@a BoUk< *׆сy%c,h mW8>ǩ(ܱ7y^be1 nKL%/UC&  _6![ F$Bي/ $Mo', KZ 1ABBZ lYJFړ[Xy=mH-Sa#:e_AT.36Ȓؽ Z ga)Go(8Y5Ѝ<xquzjݗS~fEAr9إlXFj* ;I=K 0/>妇!(sJ S<&R'uvdmѰDROW=@TƛхneT˴ 4Rf?Ru38;%q?kGٿhVѮ_x)HqcJٰcLTw;!cԛq_r/3ܣn~P%a˯u%ݯM{25TN; 8TAì1^^WRh.6ر_X\v8<9lɑ2Ӊ;ޚr rEpSyR|>c4r5y{08/4j(vp0q6?}60]6$|io lҰ?#)IB!:;# KFT idK@>7k7o1 3 Eݯ $۟B`nV! Bj3|k }}W*ޣkC1O6+e?`*(b  :-IAnl~w39v@pB<(,N:`Ӥg3)nM Ze'`m]Ml#4 cvk%g?IMeKOՑ?Pbu"-BQF-%?KcWUF\YDZ$Xl"@/5(1JПwIj#OJ;T4CXn&gpev8}'g;F@i8٥`!tr4P#ƍ9DRn+LI! Ux^X8Z ^=./kd&єybNnc61 Tr(Q H  8f>=״o""|ph6mi{ 6ng0'USa%PBwO𪁀9\NLWѥR:뼝Ox+>bY1v=55Œ)A{$5+>*צmn2?ؼKӣ]k$͇nUڴ=.Fj!VKBmD/ߩdL;JR냀J.Ɇr}A &k\zϿ=n6 Giŀ*c_j kNƝ=~ 3In95YtOO+6,0! k56{|v\ b7y>+m9e8:}NW$/9Tr@dHt+O''OG! '\.$bÅ=\"Qutz=w.yT#L+{K\K$Pp0*j#)Hr5[ m1>vɚMcRU5?ogOkSkư|/i L$ 7)cw"ksdt#Tf}CֶJ`J")MkZ . K MjZ("W[ucR?MS P UՙU/4wuHU-Ƒ=]+ԔUpK. >E=t`R7v>q߿|V1R+GuWkYO9c$cm(HV#╦6кm"A.?0]8]+#|j'F#6;GXxqkf T CFMi@ r$ `gQnTZ,{dG1MJXxzŠ+pACMzqH,~s# D;6L )6BNIH.j!} h"KA`-iyzH#[;yF^- VP]v꿵9@^^sQ|}Ѧ2wD1I*IJ3G!{zgUP4߄ZD9->} "wQ4Ӂ-RX\J HdkYewZ&LJy\\JZ앟@MU@~=DJZC|:oLq6Rm! ul۽."h獉Ŕ^s-WꀎU>j9FS lrp0^(|m6]6nY#yߣ|T OkbYXE8S}?؋o/&kn$g($,2`Jg@CƦ,a%dvZj t_ylw'&ݼ`nqR'3f̫.;>yYy#OkiN3$TDYNɜ@9q%)8q*JXSj%fheՆ Q{I;wiQX=ǗR-pr7=UQ75eS..PǕ %/~FCq,&@`*mJ=J&==/t\k؞y E\@lg rhq}v_Ц%C86kz:!SO1 `(ZyTPoZ],J%1GUƠH!f?/-ݩDX .2!N@TM`^C&,8J;]H0o Pe-1[(>x{;2E2Clꙹni duR^ a%C{p~Ccbۦu}_3s^Re~DRZ ʺ X~^H~Z;R"VxۉINX-56w!_|U,#e#55 yF7+ʆL՛+ Z?^$PLE^:{ƐwX 6mn{ T(Lhk`w8t$ݕaalZ@^@F|쮐I9_zהI(Ϻf ёe=f(X'򝮨MCWvS2!*XCxZ_ 7"2c;G`EV6#:.T=Din-Ɏvpf# ?[lZZԬKdxM5ξqhpJ ?ka엝t—M=I( aZHݳ^_|4E]ʔ ̴1[HD5|LI/1o1 ,gcC?HQ}ɔ+qbAShY/VVHM%lvP6RNܝ =-$ge-%~4'R/"2$ 5,(mz ?gvM ZWd ʅgilF`u Y ol]h~m䠸%>cW̷5!"w*,gCj\#t ' U̘;$Tn#w9hE7#`˰8|7{]HvFQօLtH$N2$l ɫnr z]K*%i6hI*a,!򖷪jv(#7mP rbkCHq]뚺M>@YtIy&^>LN}E_ծoޗ)D8 +&%tI3O#blfELױ#Mh=AJ rP2' Q" YV#d&MFZȑQ:*\nsO~߈CJP'YX >~aAU(AeG(>)6A:_(| E`9{c?@{lulcabaD=ܴO튶nmH^,c@vI Ѧ hygAbKC)ٿrϷ 'kY /t_Z0lSmf $jݠ07T]m!Mh0M7ٸY7ӆ]X8l܍F"ְ{%d 4= D٦}W՗V"Ҏ*<+h_9m"!p@*.BfzQ(qH}F mL_FJWdgL0Ē}D>od~aS}笫t$PCƨZ¼`E6pfԧ#+}gqOAw@I|$4aBiߟDC:y?7x0~q.*XFvk36vXldvr_]ݧ]EglQgO®|a3␎6!nHV 䋉jRa41$?M:AN}<K% 1h pLtO^:>1C5P#e ijƆ%SB#'Z3E^}Ǒ(⩊VSP޾hlYP.0ca>u'nDF`SҥZKzB -EW*GI-Ռ:&`H՝`NvwS=(ݧY6NbjpɬQ*.\$ &.\8Rq;ulIx&bGrA`ɹ#~BQfli]9Yȯ+ϴ4'@w@4MoTvŐg쮲MPXRK-[f8)~HҞ7ZJ\ ]8xŀ[<ë0+Ԍb͜ 9nj? qjj e{E 2"d}v߅2 |S#dL"/#j8ⵎ!&.?C12M~*0 z5 d &kXG3444B*jDzn\"L$&]^ v9Kɾ DEgFJ >F#J8 ϸRv~[XwaӢC|$?E_JwOrCˣYK#@I;LEԦ.c-*IF3Ro%S+l.ēs\~j?: 1]gۜ,3Lw&sFk/!PBn[Rt IG]h*͑݀0ztߥ/xP02 w:dO9:uaQ m bH?'cg~SB O£ !V? *ۢLೕHbʒM?[tkE!EIK!"df,9vc~Ɋx[K$G% `D׽FWcY)bP \1*^ULsNW5gYZ7zXZִF! ( W]ŗXiɟ1˦r!cHkMeBd4g *uKf~*=!-Q{^u|9jPDKud٬H0u"Mx4'Ag AƲwf^ WJ0'\{CYmYunu^Pޟ{#Uǚb*6g9U|݃v˽'bwt1R 3[ ^& AJ]}- a]:'uVz?g FARjpWRL|sAZy.!U|k샗 01Kh>H ))T(RJ87mB<O!Ɉ-OXYO@"v:sciF>]e$QB:\˦>dHYB.$PJXRۂc=j#b 諼%fj mx+] YS\T:{+̜G 3BcP=@˅ .#J#zw gGjVp+|`7 z3;:H .'HS-bΑI0/ͬJ,Qv*]ݜm[,>5s? ӦA(%Vy'3DNTQL\)5Awjv9UW0czNoLu-H1ת*>چ(l͖j!8t$ߨ'w=9[?n_l"_I{B-qkXw 0h8w0-Hg*CNC<UL|/05>3Wbޞ=kdE~z,jlyg>/f$_Ӧ="Zz1Où(6*߼ C+xK7BӇifU ppO@5B@L1idkR>ŹH`w^dʇzc{Tqk8Tv=$ 3i9lݎe_ga4<7굇Tdf@ 6ZzMlY7-%MA o0תFwq?w8V'S;)iH2 h+!n,۔e2ےWz4d"4BĖK ~ľ~1TBZ,KKhqNx槎"r~LP:[]AAv}%l;S+D7ޫok(iDq4->S \UN0ٰtC%꓀s}AR>壿qYsoܤ;M+WҀw8.ы'[؛_au| M8=e5eȫ9?IS18-}uv+GdU{f E Z2:DN`BnZkUXOx:Ґ9_рh! j[?)smYrVrT_{.{uZb*s )q;|&PHHPC|?R[Z"ߪ莊b RӔ7ٶ[z zqȥ# C-u2*+tkƯ?M4V ENך8[;{U]r>BMZW*伮Iie8zy1W()S-v@8~řf\ 8^#+G/M.VSFJbȱ@}rpW,}_.rjvt~-*HT\ͬ."a KabCKE 0 W!Ҝ+`i<q-^ݙ(ǒ:Iv:[nKPӪEvK3?ODi}iF@ ueƇP=6)6pmJG( 4֒ʜR ' O.O,Cp>~ 3Q̱gYZ7zXZִF! Ҍ{]ŗXi%G̋ԃ{bᣎIqJ UDQ֍_١3+;4cerxx5A\oE[ ';TE;&;Ju!LeZ*OS3%o P[zH+4ĸw O5Wj˚zQL9GH0aCU'׷ )xxMdA>,(s D"#w.!b4T]e.zFVj@U sQ3p;vנ' i|UWrAɿ81~JNڜTq˖)a'. Ga9\ M wcaHn(mX_K@x,<Ņ8 ,b3"dq6-HhB$U{ {]uר8(,nseHt;-%\A3ȍ1-;Т>㨼M)q`K:S֚LpXWyWM3LA<.k)Voyjk⑉w)DKk[4 +Ğ67!kuRǩ+ėxMꀾ Ɩslgji4#JW}/Y_qߵ.Λ&BЗ 6(.dnDYRL.̇1;2xO 0Wp3]m0<Ñl>[[rⴑ;blZ}WBTB!NοL\0gK]ڟ g+TjC(>x;[E*i5m]_BNhL@M6~? )^'L0ުF~[@z8zPe!9$;MYؖ ӎ8L4`V=.1Qa b(S/‰E&Z" ZqDbu`u2K+Jש^p(+* Pk(NdC-nw#` ,WzTL(9x$I!vmVALE;sʼ{D 3z3&ŊsA Pe!}&!/Dz2(_t%"jl==@AudZ~ QPU eZUx 0iŲЋiÝ64`60\6R/CvO^ 4hމݩ<vS1gu_%itg;*KDi;* |VmF;\R!;1>ػ(>rhIŨ{vI~k)rѰF6 #9 x뙬׃jyYwە1=_,O)0$%8ȕ,"W5Ȫ !:NA T}EM16A>uDNPktNn^X"cr^,>04g[GB/! x4rڞ a|wîbfYFۼ{K(`֍B TSy4X?}=BH#FvLK(8]8XhԶgcHp.H:O_f5(  <c0BĦ׸T=Ga61/N*cu]qZ &ܓoAD*6=:]UQ~̝pdދmKߤ5FKZaZ.Cy .*FL~GGql5r"'98k3KH27 m!ci_ ɏYU -pFG)~JʱNDۄ{%F7LdUBY5<2#`$ 7]?n g1XMP3~Aݘ h/A4m̉>r 9 -MEÉγ(.2 B)fnQlj..Z:(9nrjq@fs-ɣdAr8"^܉ʼnM"ItRc48ZĿdrmdK20]4I+mu$!fIe[f܉ZU\/!2^X!˒l0XhhL`"Ë{Y[TSɅTR^a̧:W0|X> ?,m54EܸPOM+%:`w ۰m9`H2lCJ_q Ta(ث=<臀+FJ\؃_ܱ쨟lFeW,l>fv<ȮG% ? ~9/К{_2ƛ)(C._ʔ>#;EpM-.<}<#xٹLXY6_-p#9S!2xD:&|7MX+.\ax[7!B{5f8[o`ginOYwVwKluo%;#:fJ*Q;k%$ej'Bq%] l_z[#&U -MhYwb#nF$4:`/%㐶S@Nx(jqC8N:|0> F+F/>6 K_7ίM&bBB&&?eߴm%Zp2>Qکf|3B|uenSDϬɬľ,QeNZ̆lb,mV=I MB:eQliZT!ԣtD?:ҰXe\JwݷB>}b eza y/3~ew>IU(*? -Thno]-xHS)(А\hN)-m;$<.FQ_.XjF3EdI_sYof(*1N fc$BkP@35էkA45.GI>-!xϦ<틋P$v^탶TG#ez~v̷\z`ꍛ1ge5.-.mF{1(bU"4/DfJ2$/1&\#J!)tސ5…!81 U.*dw<_РQ&/ /PnmG%9\+=O6Pu~/}*Юw "}oQwEW~4C}wR.uYeA܏ZR ;Ǻ)[Ԕu#]1^l5u>o' ;DYyiH7u4-xx!tQQyS 'We`k}ݳcJ#S:Dz?{/Vj[凭0D y XĵCБ:xxP=3OK@.yoFx-q,dbdKeb׶<;T,0eg1CgP_4ل)zJx 6[~l\6{-C!x4ޞ$_OQ].6"ĒUy,7MPA7 ۦѿݽHD90Ch=FC|ɠKhr XBJ QB] $gCh-9ځcYm\B$e0<)8L'vjVyf{f @ޛ~@\U[fO;I&S6oN"x~-iV7 -֊;Zxcy<00j}nMWXU^'+)/ v zީOFgP|4ҤAO&ע cq? p < =Ie_[W`a-7cZL&lj.4JKNEؘ҉ d<7jpG*0xռiYgne7'i]cխa  !(Hy|46dL?yJwCoS>0%Pl,dj%4a] ' B ݨzjܧߟǞb3ynoW;3,A( c!])%?L8矓P2=˖^-he$uqH{ZpcW@VA1'3dNdnR\wuo i\,$g@i<m1dEQiE 3ڶY)/4a!KΛ_^a(m6jj cUe"∃7\@1eN"*ۥm7лI}Q?3YRnK?C ώT(hTr@S1.&[2Ԃ ,tRTw2*iFnVk_XoE0bwe n>tC7Bƀ0ulLL%-fO7xP*q3[^ho2Z\0PHsۏcĻI/A)XX 57mˈaNjǛ ^j9ԃ@Q5ge^a&%nЙ@hn*],M4Ke^ i\69u0}~hw\WWz|Anr'uOR=)5qf>j u~K)In׈Fs&Kͅ3K6-ߐ0&mZ=tIV!76R5U"m?Y7܈!^s[xłd BsY5r}LyLl"+Օ˖÷K11a RN CISQ)avu|u~T8vuyzEX~K2׍K-s埿miwL}n,~VhU 蠔\⛷oؐ2CbJlous?]Oy ZϮG@(y6?cgNej?˴3f,' /Q5c]1?Τk̻e39b{ZWhVNrh3()9Њ9nUv<ʠB)YҴyi՘.X{Y}sF7{s|ϲp7Riﶢ0+BK$6bŻՇ3õjįzSji(by?A"v]Y 1)0GBu~,ZY"S(M4R)Lk۵Gg V58˵Ha初M6Kl᣼O`~ј|A2xR=#].RB ^im 2:5.HI5w(s|?7) (R K[~֚[ۜl/f'| ^XC#c{NY-8_ \^/gJ+( i -gY5Y*uÁ=^6EgK};^yeNR|@|IFZԢuI0*X*珱3INٯ.;'0 \6'haF=Y ŭðIuiayTMyP/fqYT&G|FP6J\3ol,K!늢Dp>Z5gK]jڲR~ٮeSwxbW q^D^')LpV?=NNd`h]cv8L~{gh8ZQ¼Ԁ\b"27^NҼhj\I}uvhD|(!2 vݽy><GO!X=KXSY@wRG^i ċUU@06W$@.4X;}g)P>I0ef r`[h58ғxb.PI)XA9܀g$s_?1rL b}a4t6]Jc >m, en+Z:01?%JteocUީ9*|/[ =ZY%DO$-f!ػd Q @JcS'sN ^H*&۽ Gzn5G)lYړ9IgP60 a}%at;U۴ѾbbB{Z])|2+-[5P NgywITTi'q?<^Sij 1([iQ*ZręM2x0}+yyA/l:TF71IL2SV[>--mÂöқblk8-KYaoh؝O@B ?<xgL.oxl,XBE 釼ڷSBxr.ߟ+/p֔caRr-zxGu⓶ Roz]d6Q`ѕ S158 >I:4b&Q,k򩏊Q=h⣘d %ejϚFv&%qLv<Ȑ,*T)[QXf/ó >>uDjvZj#OpT'td:A1<9A޽ 0ti8+G8e>وf>Am$ςTd m߾GfU<}P[(ݫ>0M+uM#է:FvR(*~OVu/bC)ΙwmD?3߱HDM_k*01X "1Đ'̍a!Z~/!ٮRWr!;[¢؝ѧ<(4$>]qQGbJb\ϔ ͝e-&1اӁ 'Y=(˔?),DWhHJ?~f~)fY dO9.*}(ۿ{H7>;űЀ/ {`@ Yy/qunyy42ɣ{[ZheG:v8 j]`@rB{ ,38;}[t%gQ*Bu,IuCX/xŲ'·c򠗹v3>L`g˯ ׉^15;­\ \;ThRkTwAl"[cM;_Y XԅxSꢐzv8 X^#Pt,3GLѸo_^8}M?%HS[)"ߋx2އ#9F%YkYME=Wy7QiN1ݾem dH@J*%oᾘUT3)Lv0|`Ú~ħJLwm2s p1jEJ8+>3U&>*rpHϐ^ş.WxLZgdiB rZ ݯvTLŘCq4FKѮxk[_ $Q4P .EV|%} uh&])z- a5bpl-}Ms{fPJ?0PƎNtnH0]l9 Zܭk4_׼@?; ~ ^Wv-&bC%>s 6*k}`"Y3{+V-)a꽶/ܗ2ݦ_4kdF0*&8w\4Rz#Cᄔb_1TsC</T (˅_Z]ȺiV!C!.4/laoFmA490~]iG [11bW:^/i`{6CC2bΙq-4?Ǟݐ\i0XgdCX5蟄bFP^^٪Q9C@ xj#a?w (nvR{7JO2.?PuF XH I05l͌*Vk|LO'U+P>i8 )凉QLoc?YSvﰏp;ֈ6%'b֭6aJYгcwO2KջZdg8<'{4'!)T,ΔЃp  /f³ك٥ٰfh\ u?Q7ŽOg[(G+csD H̪iOi\ywNUR5HU5ϩ1dSd&ΗsnPzFP($@QeS_/ID+#B*QIņCpGBW;>66ss eبW? 1Ia x|F׾jŢ$X(M>ȨgrUjIg~3hY $ AsMҢJ"!8mTR2I z9{8b2xb&Qqb-Jf\Ou_ks]B~9N(UM<ˈ@pHzJxI;IUP˴oN:жjw5 ZŽNwYŬvPr=`3з"QpZQRܯ̎a@u;y)?gEg7[`SJS?Jcv~ ^$S^eam-t|< xނ?ٻVC ̒,jZ)6ޣ'6@d0HK=Lê_LT=0߾=՞ &@*I2@`q];E%*#*Y ۓev?[rG=$&Nϖ:==V0đ"zl5?TG%-7d;(|pqWbA$ zƃ!DNǼ^Уb/5ͣ$V)j%,5"#ls@4GTz+THҽE>dR!2f`V9&F޺Ťx6*X׭\jz3#lKHTcǪ$8`I݇_|cUQ|TqĎ*}jtdҧs:_) >拠0kS~AlBTNttx7QVa|TWMbC]h Lt_x9IGoiוu#kKUKn_  ?c!(V!p6V&ae5{yaSK a F}όۛDBI= qm{_V\eFs#q?R8  HV9`LP([9p!>x0Khy\Uq<eNg҉&e;d.HL-tO/U*^u0ɉл!(uQ0\]m( NEP`R܏}yxeC7n?>`)CY'[9J~4 ov }rWn &&aQF M CN繸XH0 :/v׵2+3?HݑS'LTꬒ(c?5tWLw;$DCM{D<Ќ{дt(Io%}G]w 6"MCqK(x :Y+PAF0m4Kwf1?4C %Ϋ=Uv&A>߁F6[t%Lڌ]^v (񋘅ШOnz(nk63isFf٦]mMQElp5M7G34CI3# -KwIi1Mj%j1@9rD~8~jϯ:OT%laL^اܵG8 #Ks4x>eJV7bO8^ _g2i 4C4 *5%A| N_2O#~woF(e"&%-qwl*M#{j(c[&yp jb)]Q>}-Gk7hұx;HO'^tar%|c,;h&$[gT֣VfVվ9Z2 ޹/QEJ\ SIN x]ll aiw7{='5ڵuq#Bٜj7͝2.+3bzKLnʢ8;ݲޠ HB8@g{i\ү_d]s͟:wi"^S@P^:@B젚=mXl$C-u_ bQUc 6)h)* 慜ʠg$)x RF;!xe'(kZTCEmd0*;`lOi;c;ȩPmxdzQYm$4e ̳PBɰKaKW˭5rjlGLgs <]H (\sRQT-)Ҹo& l+29TսdEp8 ~j{;Jb:ɀ5*=ٻ%MZѻ!>=2?M1F0zQ!dy'NM#X\K·B^6#+sQ"rЬޠzywMXv3Ѯ8郈HaR *4q t uLo)0|nF8O38:9*'߾|&e"U wŠ˿"^?TN)Nm޹$`+ ~0+=sD0d1aĢ4"u c_T}G0M 4R@`>ywGz-26J_J3CPW#/8CZAMNOj0DzJRw߆Ո?(FL'x#ݳWs枱}?we,HP#h6K#W%=/!<8{_JDm7 ˸obl[!f[u"6 E~3ִ*#zC%Qq,D`nC ZP_ȓaS'\I݅z#eƖ>Og2So8ƨI 0DؓhJ_EuۈͱťM4=b gp|I[ϐ#дSώ^=+ 4pcl>_ef]t B;B.(dAhpIR\rrL LFyA72 }IDuRR=FrLs5$w T27e~eF!X] EJ+P$|# )㛽ҭͺzUL%$$f$O1uMT"`n>0xLTEUH:+X2u$$Kiu\Caq욾C T)sUb$k⩖~-`:)Be܀-cÙfGע{ߖ;Bܶ?4K/AB@;jB?#Z7<˄pqҋ~k$PKnqb,̩ *#sUvaۻ*0D>HvzZlYx ^ !:EZJvZHM[4$UMr#FMD*ԁX_Q ɈR֎DZzXdGn=@A#Oj{&Z3AVFS<##j#}RF\yzh^. lJKOb- %: xR^يÎnlb*n f9U6Ex^ GE!pήڪ\.M3_R2@I2Ÿ5ٲ9E 90feQ[ :ej~|/(:9AO{!RF6 9HtI"x#v,ٲlU&9EI-vVPe1XpS&YVN8Mǽ(5~Lj`!Hu-҉*R?Pt8;nJQu ͛ ċ%*QIi궤!N29s/0[6rK:bҦ=iMQ])e0?݀qKvjlw;b00n=Ab{!+Vi6W}&cj$K1UsP}@֤zw0HԞǨ b 3 ̰u*#BS2QX[b hR_ԉtPlSw-8f6SCHs}r"QqFUb<* `_Os难3b,?I#X-8})x;mj[S}rM(Y:hMi /dokQ"7lufckZ9+*=w6QCRbٍuea^y* Ljӌ_˜cTJslx9JP+\c?t`Oyq0n:/ 6kXm=k=prhh$6VЯH*,vf]" Xw`WKRWߠ3&Í~O$7+q#z.}ꃌt,u'cE:CiryO0кИ8y2׻ ez`rc0<ݱ'b/G8Yv8l|K|SOb>>_ 0 +B \:[f@v=, BIA,sT)c1Ǵb<g&z1{)qi0Q[E|dlw-׫ү%E8ͫ^!䝫gTO|M _Iף40? %ve]OtP#ǚRL@v.K%l&dE`̶LצCU'+wN/$ ƊMj}]h>poE~njFIAy2wyր?%G i[nl=@jk'7kA eN3AidIL$?Kyd25X߅};\n{Jh?,'t`Xz$G &ਉ6zbWW](zSަ-.ȑKa:94HkdN w&Tiv,27 vOJ`g^}{=7q*h8#1" 09gLJ|S)2(yK&cd~!e[>x]laVA㧜Ewkmt6IPry@Bnƒ>TTSH C7z\I4A%Q1=><؛22xxC$s3HF&'{Z#+'nCt~a(ϠCg8>3+׋UwZyiC`u,,h7-2Ƚ%\kU.46(v,8z +p}i__NC@64ulIr g:'H{)BRʛd:qh]~AqCi}j|.o6+^;B6пۤl6J}Z^קŅHՕ品kmZ.TÆL_P#F2e#aU ^1KEޫu61Q$y+x2bluΡwUR@wfmMpHP˻})|벾t}ّҀl?(|!Y,^nc NU .nUEӍ%OM;ޭtl%c0k왅Tx=T IA=S&s|wo~,2'M!1'&J-G{H~0X:)XpM[-Qdk U 3{˵NpaF.U 3l^xۅ?0:8!G.X*)L.Rֵ =RS,V$4Vĩ:(3d];jưȡ](GiO}]oBxu醲:OmIn&51`piܥcy9#9J0A[ŭk>!lq؀%WX܋J(2R`K9fхQl]d O.#=onHHqXC0棭+eNs(${/\}ɷ\_S|l3lU"3UZpy崋gЄXH%mא Iu:; qi!rRAF?ēȎ.iVuBUmxp32F7z #{]0QǝwW=c mY.aw"/L,jH H ĎC;s>B0ėn]Oԫ'?öz] ΁^c$iq c\J ޛIkw{ '3=+?mu[f6WhceYQbn.u٥ݐW5Zd =RĪ\iTn>R;bWJ㱉ɽ|]×`Tikk8MśCs<@0pFCv 9ʹ_70+Sl IzUsR@D9vxi+QNsޢSMX^ Y-^Q<CEd⊳yyKf$!☭:޳3䝴QDE4'cmTAt }tK:zMQ)#<߹_:a]w0 #$#dz T8:P@9eomMg`sJǠ&HgxP=17 ǹ і`>`; yI][SWӈT`p^BST)U WCb\LW`llMՁK4w+i "VWU: {VԺve- Av#^kv 0%p77Uj"qvQvQ߿@T. -ǻmSDoYh5ҏ+/.ow}}XzU\XBk0b/gpO_0 XBb4Zo̵ nbNU2XK|e:rGE"$7yYnVĠ@d0@OO ks(*KEn5ˡJpb>ª':`^)UqϰRFHr@ (BS3&|dCǚ o|:v (9CQObH, c(StIh܄u5s6ܫdqdg/LY"yȪhs׋V@iI?Ʀ/t3DA*.q{vR\-Ӛ9C$:D^hv+k`l|u2b|p|r2v(7]k&:(8W" (S {E/w9^A/GSo }vHrYCMPJWKHvkmKbdl."yCa~v~.eGR͜" {Vk0#%ic#[F @g,>Z)q ]ge~+8gKѹُ$g!p4g}ݠ&^dBAXQ?~hΙ`BbvѼ^~sCZzxŞHأ/sj%y[x[yԝg#$Zt;jiB0 rf-E]q,%= y[Maߝ~(aJ3&={,/bQs{cpr0%>R7Braesæߓc~x$8´##`ELuu7bX,r)I~s=O.᜸ʳSt6,EV@(2%bEZ|a ipG  8Bx}աN8j9qW"Oo%F{VjrAA_Ūg(ѩAuf"I:TOD "ѣN̐WPZ?`@WS)$ܦiOMh,=+_8<]fg`M4p)̂ӱs06 %OQ+t+8gW=ZD7 uj:U"&;V&[E<Qe ^4V1.OI؟NoTMl4&#~Nz=NblӄHux&{t mvSr|)H;$Cϛq{spCy 1a#309RjTH"e*n3YK8<(=p,}2E V_Xg7tn؈S+W'Њx`gY3Z/;N̗otVM5 ,0 Vo$ @ĊCi?ދYO0~%Ym?1@=Nŵhl,9+|®O?EUAm7 Z:8>H*MdOޗ&j, $)8GRƢfk0Q~#@BǒN!_Я;f `0@i=Uww|vJ<+YeU6BIô7d^z!F&M ^07kB#A(9C_CX7+}]\/".Gz/o%ܰZ %j]wdBy59Ds3| 6!@ţܸ&X2;-T090TG4konlpdpIu~% )'zjTHט,"fW[3khM2&'hG+73p-"XEl<^j;X䩄 la4V<,}DK+ΏGF=hmAtߊv*\2Q-o bJoJȂӲ3us3&tGoѝ}}r}W.wʁ~2xRgh~+Ϯ圣qxܮVJ~`[A6-83T ,)dfQΌ*",$mwY]h}jTy![ys eO"Ll=4KKeu!w@zw0A| ; ; daCH]_9z}qXqy%&>RPlRn7$wynt Waxe Iж eXsqPj;6]ja*VJ_ma֬zxßV1Y׆l_UqFol7{AA8O-_Wb@ChU;,zt!o}/#D*j\\U Ie ^hߤ[Sd#c  pDQK'x0,90AϘF)]^~P̠sΝ&$7#H5̤дLhn"z(شn-¬f0(HӀMiu8Ne겗t6i/*R$!kxOLѡOEiZZ-ƿ[ǫ \\#$#rls{<#h8?W4@_xaQ.E_̜Z_r z Gċɑo[feh:brJų yB3\t (Dxb`]}tՉ6E%i%UN(B)fUByTur[7Ԫ{FHc.ࡂ(8l~䞘 P`Q M[.&dޟey,C{}4Rfhp$Lk73$40K`YMk ?BjT:%[ķpsãP;0Kvdv2pZS-sYj"p{t,^,Et3Jl{;УS0(O@ Ð\+;`yKf$u;90adTJ3' JH<6pJ߭r/q^+n=1*S\*f4ـs΅P߿=/yoM'5ذtjT s6h[D=t3E#\SJhpݏ=-tn^O9,hC{ b+qynynFXg@~^9wέ0PDG?N}dPvuOaWkyG& 3}:5^;"^"u ~l'\.VB^ВV vڵrněDo#hUh%w*i(*4bF̜ A#8o6 X[/$y fG+,`R"يx[c}j(\<#dFX(dH='ک|h%uYt^eB$jk94z<+G_3Cβ27 TNEJ5g?&e-}G|m r{HA@~0f9 }oanЊ Gxa K*w bPvoJ45gɄ0v | 4fg)IK8@We<t`q $/쟭@5mχ{Oybm=Bѩdk~rA`:'Z\b).W,mP׭~g>GgshTTr38bW}oP6.׽Ff^T>qƞh˅ok撾C01M_4%0!}JD!}g)ԳI)uwoSw&FmvB* (Vp2C) c=G}Tj'ijۯ"ܷy^wF8Ҏ@#&&4! oߛ!+Nj {^&BT sԧnܑ'.ׁ{Yˑ֯k=Js|ںih g8p ?6r&1,϶DuRA,SΣT` 8ƒbI!0J۞dhq7`Z\X g^?x/Ts]6zK.iFl;1O-g֒՘&ĎoYCgl4 _I?2Ȯ.0H)[YZAtxCh8}40Q|@lG;M6Ezv`l>Sx"{PB54ymD4VcWB/!1DnxԶ?Oe#a<8g"8:R.<QK; oVCqfAU޾<'kG3oo]t1uCW4:F2S*D 8qBϝ2q}vaβ)g&>>R4rͶAt?KZM0o t' 6iaxJ[Z Tz M*Zϓ`[`pI^%"QgYZ07455b77abb9bf3940a08f7c01a34bab51f6f4d3171f1401f05a7647b01cb7cdef953bd877fc895c 92d83a3f9935544ccc941b486a98a794a1901ee65639cb72be9ddc76509886d106414e36fe16a731