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 mmO-|< wS MonoidalCategory:threads=2elapsed=1097.541cpu=1913.208gc=69.896factor=1.747zXZִF! ,]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C.|!'oiTWPı_<#0Y ͘!"A@rڗ$Q;d[sV2J;|gbO/ 2!o] BU'.(u4x7&hoZ[JD2ׅ6&BvW@u69}xf\8F'~[ (川[i 'rֆeg?9[!Qjzc~i,bq۬!;#K$M'q;l VAمW&coynVm`҆M?^J됻F7DIJJ6kw,Lj[I*i.?ǞZ^Uz|_deצzIDMUo(&{flT|)b!ν9,V(8qhXћg&{l3;G8+yt_kʁJ9N*$9ܗؒuzt3Dž\-tFu7Ye*E}_tʺ[vQQYZmX!.yi[bW#ɀQx tѠ@zT :3ͽqHV1H㦎ν+vl "ӎmT y|[֥!Kɋن&lsKR=h+?FOw"e\3>Fk2~}r/[T Uo> &6)+;"dsˍrrC4t8;4i;" w{*NpourҠ`~0AJkXe%ozXހO cf5 W*iղ/:Q_\K{n2tih$j ɂ;f1_W=V Y'U؈y^:)*cgPl I.#mxCE?PSŋ#ze$IKͥ`aawM(&$Ȍj;yP@gƷa2-&d+:^A_2YW:A|[4hY<(~V p1u-sLq+kqOz*Xd 6p6㫳ʡ CL㈓:LQy4~^N"W#ǫ! ^aXWGVXu揱P籡Q!FN렘yrr7CGŴ5N >5aX$շ!W~UK #Q* F oA<iSδwX^)EM#R8~^pao1yɦ"kK.±T^vS+(:;z^9Qݶ-6t}zhzQjSο8 fѸ>G~ݧ97qମZlrh}MNe?BAOr$l~hHB1Qy+';$uWA\,8x̔f"oN#dkmZN2`>d~ 9 6}5Q&a/+,m4ƹ 1KB}wVFךO50Rie|plǰ~TњݪI1u!g{w)8iPˍߏ|ߤE].)|Iu3#^P@JvY9髣艢՝K+\]Ӡ9@FR^Ҁh_D jj!rb+8~rabq - MonoidalCategoryoa#H w|g8Đ ;CpU\jxN*yH}?"Q٬/0<}0>^/}3v MAnp'vEL~^%p}+ ;%Uu4&pq@o%Vþ=t]]r&5sj'RX\5xwPe8K◦aĀui]&T'A*SG5Վ`qIuAuDŶ6!c]D31oiy ӽaTNyo=g.8vaBr.ڜc0%gȍʐL5[ 0FO*=eN7"$B&M9h’z5fFMɞ3ƘMzssÉm+K:X6x$b"}V>U&3 WhEoū-r%ǠaxtqvD 낓ޙ*.@.R!G= \ Xg4뛼(ًk.vCJ߭G-1ܻuVuֺ)L[<~x x_.Ϲu-WBk^e1p%Rf_eNH͵l7JC9.S6% M*ʍH ySVԸlH1D,V+p!IfʞQDV_wp`߻҈T s\.I.EBոm2\Z ye\WNn񙍇<:0]D̤=^=vP$YyK:2gɌNŨC= tcOiA~DiU؞ɰ+ޖ*v(HVqIum׍9?}_ 3nM|*vi *Dm=#q˟)X &;7]tŜWĸA\iei;Xj[q?>bGrgSmʎ ~3COti0-6;Q BL^D摊cJje^:d񞨊`v -aԙ 7DJ/A.ۿp;\Ue n3m|/1(/a#BM`a–R |G[ })xwZlxi긕ݿ׽(5+94 a CY3ˡ+SHvs ;0 ظ uamA"۷{ni#H *C-MQ+AK!y"l00eM|SI!LX^\6YDzXU-9lThO߆9Wp _/|枱"?^+}zVF̓R]얃ko]?3oj>? /VuF̾܎Fd6`C!?(ņt#xNcMb^_":|cla/GX悸BRpM'e΢zp r*;B@{a&x"l]CTpBLj?, G|Mĺ&Le1Kj-NGkkԬD x $dc!Y?yӿtbu3V|@ZdJOfrL{˦BYǏ'e0[_nߢ-:@FDe8OڠX|.)\_fevtz/cܶI憱g\)/ہ*OBU!Njًm*׼ыk G D&28=r8T6t=FR:mHqE3 s:99);^Qsxt !&a;,2 H< RV):~yout#negj;ZHUJ~Њ?MDr5? 鯦#cע=ݺWvv n@ygY\u8,}(sO*T->7Z+b~, gwCT^A>4-~:>ݸr;(0,$V-锕G|IP$HF`Ht vbEWoSZ` [lHUhLP2!W.Fn$1?s4.H0Ul^?e[iv7;g3d@hJ.P^hԦe|[4 _F(ڹ Kr&7 @d\^jY_sqh-~~1hmĆe ڧSjB#8@ s?mOp̏\(Dž6? g_ɇ10QP󽆵Hy,x4LBk"~0f HtoD>ב[F^OA8v{bSQC ĕFM|.cn#yqfUS"1HւT %8/PBS$v ?zUcE (*.ڞ&6-2}/#RXrO1T3wqn}VOs{qrPM[0&V1Rг pcY 5Y}%fdT&ㄐZ( C#e# QmCKnqR^Awg{kP$8/1Cip@PKJqV}ľ-|tN5Hhc˸?K /5ʁ@.~TNr@/f}z$xK#J-`ndb ~KʿN˓MtmxŎyT“hܧD1O$`kXSaӴ7擊y"jmбt`6gPYS3p#E9IWF%t1HhZW%8KA8D9L 6Ĕɵq\- C~Oy概B]U%Úי{N ,xen~XYW4R~Cb.\Du.Qh~쥉|/u _2@\D*GeYڋ -ES&Pv!Ђ, &fpşXO.X|v*%)'t 'h[T8 UD5y#Px<,`~Pl/eR2or^>9Wk;㋦+O'MsU;Q{cjw¹m􈔿L'-?簒عbj>ںC W*.$IT=+Kې-VNqj^?ШҀv|sq(';o7œw)YGiRD_Tт 8^Y90ZEG{K-3,%j9,#R_er&!EYW@rJJn, J N1T'U^_grӝlȀjc7P)S HS.*6^**W} (sKH *r96Uc1w~=KsTZh.]NPhN-!@oQdy7Q&\3<5F?$&L]ȗh3S@NԀz0shy3"ww`J`_%ލyFMߣl6~b44;tdձ-cmdY%j a&y z3"̭ M V- p]|7̝v)e/*wRJNa;ɮ((S8ͤU禨ϕ '~m;JaqzN:$9.Sy矐sPYT:%A;+x4ۖ h+u x].blh| J;᯦,s-#rh.zVjLȰږ< 3Z4w yQO*U 9TwxB_D#|lٚ!4fsM;*ProF<n!!+<\?-|&^9v{*$rb^^qV,ɀ+Փ)UG>Wzyd㊢q/s/(LsCbUa!E<7ksct읎kxB?g4~0jk/IOzrr (&ҜT`1ͦ@|JMT_ҋ Зy 3 ug ,p:R6(:mъzEo#)e=L^Mi<:V 3;ahHAp{,D)!{vKn)(Rک(f boj -wUyI2jdX:3S´|n+1=H6mD4Jo('>"V$b 蒜5D.14@.U u}ӗ&itu?ci_DzBLT"/{Zho{6(|텸A2xt#sͰBwi #Q-Y:3QۦR0*U8uW@ |/|ӏ_կoYBgc$_qv(ʿ\p.1< ^ Y ωgYZ7zXZִF! #]ŗXi%9g2@ Ò,st@~ŝx1^$@v^Qrڜ0D/]0Oh Q\GC6zKd=GE{#/u&m;%9w\ޖhȋŶ3n~7N G L8) #LM0q"aw-f{,rzztmBeqĻT0 g닄 Ӡ$?yeS4|ٲ#SY 5N" -tl}2b`qJVR.N͛S+A'{jGミJ #u`fO%([bgo Go'Und&SݿmWG[z 4HkQ`57[`lx%w85dDd9ЎgЃװ<}mVv|-;Zr =U"]45f"󅀄IodB,+ӯdv_eFz-+)*,X>}rP2mZ6aqdx2pɬM ۆ̇ bpyZNmS 9]7? IxC."TߍZ3MK%MO_OՄ߲-;~Jh$8,딣V݊Ȁ[y`ɩq D/fTVm 8^d9c If-X2 tM%YVAa>ϦZԶA/W)kj`w_vmay+BQaf;_Y߇t%mJm,!¢BZ74Zΐx[ T>[NjDs~ss'W;I,R /:Pa7\PmsDLUCm< Ņ8K/ޫp_|2kE'I? VlzD똠5s%Эd [=ke*v7Z0'CN]yٹ/W5] +_,AuKX mzz;n&e ~p8^b/E6BE۬0@T>ɒO 9޹9qyO⢌YfE]."6*l:BkNW1"`c6MZr LZ]C5{;AnZnv3&潥t61)prk+fc;e'𖴏YB\@аl/،)S/cIX_9@E+ߨ4q⥠&1rF=LG! յϨYH(;U|zlp?4&y@1B,ZJzp. 0uBG)zS3TP$ @ZS~rF`E[3ZS퀧P*!2?s />$/ٚL#S\QaԦZkY{NN^mӻ»$>,NXFq*y% 1{GW)JKXYqfSfNMUGW"ѥz^j}Q^ېDKꊿQ{8gx%pH?#O`e mac>ķHBds$?N8H ڀ >E$ĕ$VQ). ڳ^]wBj2JR\#ߊ /s2 NdR$2US5&Z 2J2{Qy[kBkeH p_Nq )\sC+aӸ80+yG$Ե}\-?^nV'wx=TzG)0k4BAcꋂU8f%;70ނ`&H&b­z c9b#+".$ }/ejLt2A.^@9jU i#>0fo:)Ͷ!ӯvx?bť'iӸ;l6s#=sV5:"c/4#T@"tM!}>:XmX,GBv;:i!PdW3:r)f@a [ըѓg027,q&x):p"})T 8TyE/1g;( 6:(>Sq (B 5 rx{ njPu :QWve߾| L2aU:+tGҕ.UQ:ݼoo0sɻvldo <;`b):/ U\8o})Y#^P=^! &jQ'.׋&x (u)@KэE# 0L)QC6EXCGS:JR(N0^ !dix1; YMc4HɱO%T}Qg( cpzvϕmjL7@4ne m6 *~.2)$ x0bIlބ{PKIJEj;NM'ٌ QF -Ny81#F8c Oy;D6$rj?$[]Wӭkőߝ?v03:4_r%6>(w?szGiVG2ĩ!ϝM;/8osϕ-86d܀pEՓS+Ao^27(@ {9{*%b]ޚExD.yy hZY9,*$Z(igw86؂FSl"pه^'pc޽+f% ?|&&5;"G1fqC.@LueHm<5r3N*-+h8;bܧva _ns5ܞHYUFbfA0l9j3#/r6 ĮPA(F_-(i@s+W_DM7%_)R:pX#w>$K$vσ&TeݼiC: W^`|Bq˔,x< _00 gW؏/('CK]?OP@["4gೌR_ z7 KC|l7Xc]G.1Aigegyw5*.% H4:YÃgoh6-|l.8jž$ OԾ 'uxn9:n, teM&B}u|ِ$w {9۷̬M JL?.N>}^Y>AN~Q#ZH\r{v( dV+X I53N rSi;S&;8= 0fS4 MnU'X?Ju&\*_IS(ڝ!Cn}N۬SeYD wRW'ǰ:=^A`;JVLQhdBI2&D}@26 `AjW/(3uF3I_R2cHCUsRY07eJ#}*ZƷ?T@:|^?-/LMz7p#fi1$q\53&;ɻ$OHj$`W+ŰηiVTʿ&]XqK2&2y}PmEKFwC[V݇b6\%eUt|MWS.l-%$S6 RK;<̠v%C&,=*'>1Ke7L'[oE_ FaL߸6Н*(iy3ѽ2׏ $c4| 6 P2z{xK#C)"}.<5H#$e]&&[Pwtblt1fz|b[q2}1K"-{ KS4*ے;dq(-)@j唔$@Dg\-ﳨ hP0rjȓxG/)œ^_<ÏjĘߝΊJ4Y~u^Gd/7Y>yԃ@Y¾k]t9#RM ci}gYXmNԺ~oQŃ_e|'-z[]kns~ZG,-LɹWy6. Mﶀ.@>X7Sd=z$2OJkzxD=8祅٩'L!L$fL:ygYm<^k0ϵj3f]@6Ƒcmr|Wr:j|2JO-$ة[ű_!/*XtP?ij%RƬaDʯTXбs@}߻ew0TI4 ^B ;4Gp AVALwU˙^ Fm6.9ȕH!N#QBS\ G}󅭗\ɬ$Q>Jد y0Inx1DqÒ>pYΫ|4 qDdR$e 7z).NXHn$]yZ+ثDɿϴs٥iwsn[ +Fi F}@z ; o|<@n4B;D!=/7AH&B RD͒Zrd~><~6G7lVRYB£k)W}>CQQG`|3IdD69]ZVN/<&h$sO a ʷsAD(Z2\I+r`ʊB& oL7I[I^ Y&7T {wUYC Ahdr3`op}Ҥq棭w0 2~yQM-DiqB}Ap}DxTl8_I1` o4R>ΎirI`y')0mҲޥ'HcfKEd4}hx$|q0Z4,$WewB7C(|x7mMלx"}"&ϖ֗(Kn1Q^ڰΑy5Gy Rt\h̙3/ eYﺂ/MٹvF %46X=CK]:~+\*0QYʲ\-\{`!#_XKp@7(Sr%7Uߡ@ z4 $MТ}ц$\s&p[:C*X!8WB-O'3d+un.RP]} xdV¤\ק1_#ȍE*7S }3+T?SZ+.-1U:* nTHȃ&/kqVv?)#PUT-LvOe|u2ZCeUC)wZnT硺D\i3YCq^L:DQ$C*a~bM˜Y:16Z Wr\p]Fޱw]tGym}*ժ .Ōڄ8 6<{D(iyUuvs<RC?q̉u>]C&,AKus +y9;^D!x '-):~`"2Zj젉gZm?3 (V rcS'uZ_6⍑ y(m\f_y˚[3q* gfd ?tDxA7AрwfBU ȷӳE= _oj]}'Dy4JI8pil8r oM*Z˥Bߘʰ `-{L4yٞ CScWFk1iO1}L1vtmwd~n8ƮB$#-:Bv*Ox[\yg;D 6QcSdEV>,M$M,Mziw-zfz@_,%6|0zd?P=yoKyy+̕d V|L9TqX| * 0v#U#scn7;ou7*YW7xbJl;t5ܴb볫8Ai;aͥr-Ga"To0ov(eOٟp; 9?#(\Tm\8_iL/y&ZBhM9)BUC{qcCY*[/+?*vhiJ|d*og~ZHjjFM )vjq󼠗6aI#55x=0j=\|4؍vL;UF{JP5KmvW`jBvH,Eólf(J0x%6@ 5 <5@}8nuRE B%+IQ>hqom2 S[o{ tO.vCD@fՉKc%n[\UUɤxF Kxaل*+KNt&D4k S 5] T_4z)i&,Ʒ]',=wYL1sx ʸS3FfgQ[H7W問 ۻJ!x(K{@.uԾo`h_mHqu[/_taZ ь#>E|͋W9P{QoI':RB\y=,^d[J!ވn-/Ϋqq_O[(O!X$/OdSƟ&׈,5ڭY ׌. j8V@t /rjw"#Iz|s$d`E(U8FY^%9p6r*]*ˈ0p󝶌C$$JnvU%~v?f?{8 Ea-Ѿ"aw7׀Z+]X;f"#Ez7|^n_.\4sg'q'ν^rf_SvQB<َeRnF/ pO(Ig%U|zbY6^X fN]oY@*YPK>S/akQ66O _ ^8C7_huRM٣KK+]m)M9NQw aEb{P 4׏%DJ߹~ M)JW0njrT1Gjۜ#ѵ_FQߥ/dMPpa30pg 2 f|īڵ/Nr2׉nc)ſWז_r~LtG'E^Q7R'J"[1$V7EM{?Eh@kaE_Gu=Ւ0K٘CꌠS}#Y2<ơOcŖ9ܞSRb!Պ-nvh4p %_4:8UNd."/ձ 풭&{i;D*!w d)U347Be^y6\D_-sR'\WtF,YqyM8Sb{-{ˠI7JK\8t tk:d[Q?a'X^+@Ba=”RYPCW}-UČ!-#a= #ZmRDwSkϙϵ\>Fg@!]et7'50­:& [ _fNN_eї[}.f wv O|i|E`TwH>cOP unrbamf^ TtEiK掏ԫ҃(Z Pے~``e1T;iе@WKΚvhqW>O}z|nAR·T5$E?N~a%I$7FsE$$+_Hh3 3^z.rYb J(rHX=Jϓ0;+&nZv X-{^TH ϒazin:Y 65%ENԶ_YlnO9@%|aO h!LջY!xJSRVmHjEL!Z,O" :/+8 K M(`_DNƏIhh"ipe@[HZyl K\] Xėf F\9){16?L6U'mgQJl?K ĤΧ](Xu1`٠>)[̢1.|}Wqϴ}n wٌ2;0[y5|x~s6:R}SZ[{09e.!-ɚkVBg)Yg /Vie?oXW$yJՓbCNjB"om,n,4N|BۀbŞ|Cy8|SqAJ jQM ς@Y\їRAQBm:o(F_&wi"LO/\,%+'B%m[WE <'yH'/v6ݜ^aAssuoA=*Y?&Hmw([0h% YMq?xgH@xzGoa[=GM{[fN}ą9"RzngdĬ 7:G͑j {yAȎ)pԟ86t5Pe xMnŻc u5Un=ZK~C6J[?8y+ډD͵ 2!5:&Fo' LY:2mϻDC[ÓzeX9h2mbAuN5*&~Fag,JAFDҸZH2%ތzC͙2(@~{L3_~Q5tpϣ;OƩԊFisg`섬*H󰫈'r&~Hた-P.Ntvy`H#4" yZs0M %x7uxܳNb(!iN T}J; &'uwM-E:w/3p DJ}c7g 7<GIBJ*"F>)J(Uu$v=KYvzJ9_z;xJ$0 `!@/[z]p()mXZms]E z1Ъc$lC 4ꐃCe\27c$+c9^\Y% 4L"7Qרƻ~5"Fiᩭ2#B3#pP]ݭxl 3]rr4{#+1L bO)\~ەk@* E'h8,w?J阷Lʌ|Õ>[Ah\ _Zӷ@H'|4p%]UӤGMa&$6e+hu]U37) r  _`C Pc!3U_6`>0͊q;?!JL&>#^rz|;xGŃ,7 )[p\EӢpNj!SWv*{r\@/4k`mzuoe6%]d3ڥ"8yL֐} _M Z(}Eyk:P[o;+,P' +잟NʠER'q ]ڬ@I'zk ({~GlceO@LyxwuoT*l7p->9T< U;P ,.Mw>vyUKnelA /τ4>*XkM5e9`T#g%ˠothm'4E  ~oDެyR7d\}'H Ջ'v\ 0?ʬŶR"m=,i3 ֬av)ž$ًq vLYm'e yu.iOI*ڠK4*P@yek€], lڜWPb{p?<$~T"Piȗ[TP߀R00|x,'*󓗦2 o7/6 ŦNs:^vXm?6N 8Er8LUgɱd+lHg6kYghEBۀ)B񈪑Guԧkꄪ&;zk  (!c!cN7qn:BȒyCD)7Gu%hhϑ2=~GiL}4CkGhT/M6:Js=0:bED<^ģNqFnHԌOq3Ж %ٷrJD%yM$+^6}]xQg9x+pwe9 B ̺Q"l]bG Yk?īHыLjq ?nzZ8b2n⇚Txn=ve_y>ǁoZH50"4Oy@ޠ;@Y̿rS\H7Dr0}T=u\YF0G-25aJ: `GS\>3@`j<سT YR,|X{Q"{q{B#ΒDyKG5"[@.7I~N"oӊi k$TN^S%ߕAČ vEK`-y{_+rzhn&=yJohxRޚdhb.z c"ߠ!QvG'"ZBqK4"8`gx>w1$ PѝNƕӐCPp/\ fWk3&ҜUJK8ԐS3/۹CQ6jDfKQ4/x;GDD|y$df䆕 uY. ".{N =WӋjX唛b"#JK7j˜B:h(UP?hC#<az4ϢAh}CzHňObO: sݥP 0u䇄b\:7ȭ=$ۦзtTUp)vu c;P6"1Jyp~(\ bha~80Su{ay4zLGfEzD#)U2_kKHqa¤$7L'Δ,A_/0dDKYϘ2((`?ƫ{-$Ǵ4M?M&bxFKvgN֥9vvVUf1Fmx>'ќ!dm(Ev O臼_DG}^˙ ɱQ8=8+q1>\aj:bφ&n]6Ǖ{٩."7 _|ʕ.ՉJ">VewE"*d+K3{=RQQD+= 4D)@y?/Z3cH0zxZw%|^g+Eوnyj:p;WY"UZXg]"v͕4gRnqABS !NAq2V[+wmO,RW y#>ԮsHd˽boc݀+M-%fvUiL6_%x,6xe!Ӛ.[t~&[TCߪvͥhNIq5P(r%XTOr)U4EÜmuz|Zt[ՅD$GG;ߴ#s}߰G/:(T'kcS{1O<+R-cOʨSQ}ABK3?0乣b N.=@niD[F / :щ!ة~ \f. Dˑ/{bxt;= -hYީn ~t`oط[t3DP GwЧ75?ٝH͐fɅD^$TrFqm`x"p׵rXOy]Ȩ˘U,_.^V!gl}P}rq^FSVvTv]<ھ`*I#Mi%oGBEH(,c_23u@Giyi W qkr4H ,"_pw-d=*֤atzR\*j#+Ci0?Ο%+CbYoԦ"담7kn—k!mfiްaٯ6;*pR|ca4c-Frǥt-t+ =rvDT5 !.\ _*UKCd&gHM %M;VZ~G٬f\C/)'@~"inz[@DTX Q[WWߟrEX8-Pujp6nh/౺EUR7k.!c #Q}sZM#,qD2cЕL^p!>mvLtϞ$Y-(p٪9sr1F3ur7|xvfk 2nwaRvS08-p+9~Tlk : D|oƞ h Pt'^SRҵM)jI5hN@;"{t7^IZvT(e;,`n*n >MLМN{}-?{GH Egt5=DQr11!_^CcbX lv<[n^;I;@l:u.@mt nz9ՁI۰-"ZS-_^y=~==m;Z9nXC&s2a 80Cd(cqυW.pӨꇨ-rF5 `3aWZ `jk;8]*צ2JŵA.//u,=3%´9ce#%=nք|!?zo<zПNt/P}ƻE5sEϥ% p5Fp7mI+zt5Ɵ$Z-Zw/HA&_h~w}<)dC32척*w&Q1Jv[Ŏ=¬.0{ =b)ݣ:5^<4,B8{T!5XuzV2a|5~˘A0((ph-fFMD#GKQDW)yU-s;0$8C1d M>j?/N8%{u}YPH̄,"n/L1;|?9*̵}_1@\G\{#ۀw=5Zsl-އTn.t- ?lVO7aœ :f6ͥO^ I-ڕ`/C#޴SL)d]Sb&AYިאQ̎蹅ޣ}<w0L$lXm2\Ux'M>nIaBbBkfG4b|U|S>MMm~YJHqx0%= ;&2@wӔg':ew_<m8M&F+Xj `|.zU(La©!7vR~NLg72CH 6Y9dt㊈!|46 /0'm2wR-TdedEOM0R'A=[^iK9}h pEw0m}4'9|,ca=BP.?XfXITZbN¨%B&8L[m:}d^=bh0+bfLޡ6f 6#[JT83)ktuHӀbFSό}}_9qw۠BF_}kly9YjǏP@'ie$L_1md݀m Kj]?"(@y۷@bF؁6&}WPc+R*#js,~:=R JBM> Wb|.aU6JHl~2lٿ_&o<&8psh1L+k-qL0a?dPJItњ(-*h(D.>Q;`NNͷ(|`dq{0 suns_ 5.NfJ}qf'ې8PťAfbʒuk?#-/듽r>uՋx#Tc3ZoZo>nL~UwtBF ;E˗[|;JJ$7ޛ nL\P-Yɕ?00AM/-I" -(% {^ {ٶ?"@LGR|gr}^֑wJoOcO-=oM5g[Y$5Di鷙PdMڽ{Ȋ]]lan)`$lI{bhلjY[.2 1 I38J^rp|F$ں}W?>:i*oYɥ5Ni?cBzIPy'ެ1; Y!mY|Cp@ ? U~a^Lc  Cq.,YMFTǐ[OxDٕ)h+<e^2j쒾bo1 Eb1u)˽#!~%Bg*q+#ZS:IDI&CCBl.,FRW~#fPD!=+&ZR8j%R/Ko~jeRny:27gt>Ss|~L T* ?$j-Hc9$RQ;+k AS"_zm|<#)O.ei3!gP{ގLLv O jcA /PPF8,ֱ0rCO0T w?CuNkS$O~a\×I<%,@H8Ro0wX]P"@y!aF'\Yk PБBk^!,i$h, 'qCƚS#ЅVLduܞ׽5p"B 4t*F4f?1v E; eTʰ$SX/׸`x!FLb5{-Va5hbgٚI&ҷ?q}OFgƱy{wJ͸TՂ$66kRSDi5!aۈ$_I1KXO+y]$xbC~mO#H"jh;7Ζ`c^cXUpT$5jݧcV/9ݭ(RDVPa>p`X^[0x̿7Ubj(Tw|ކ.Tw݅UP9FbGF_?|bȋ4<?%Y?N4 " w>Aҵ<ѷ a'}( Ǿ6"\@P8ZޱtW,3$T vuei#:Nx<[m {λt[&~zi\Px;ƅQ_:r#'/#M3i,Pא~Dg )f-Gg]l1՛[H)\e mvl _[DxBG[;-~n= 6j&M">%GݙEf2@#gYdZ"L42G9a_x&R96bK5`\>y -EZg&I2UHIkji1qRQ1ˬ{ J!O޲dAblN57rN :ޕM&l[?f@"`*mͶ-=b:jOC4Fj:`/P&xv+!hSQȨׂYL GZr JqHf2KPj9 O9ej\DXά1D~ JiU[;k/SY,qP1SD\Ze:AeeN֍FzFϓM 'xz<̭?YJ&e 4ro$sztaxAj%bAF_J5~:^Pvh^Ԩ[hjYWB ؿ"Yu0_ G0j2]l\/(Cw {T{zUjHK#^*ARЀaDToY~C6Ự7Vb)*˵s^s<#oZs9vmpr;X*L0 Ѿ~ 8AWm {x= $ci%f% oRa"YP1KF<fRhŗhNS%xr7׺{R\eҧionO9أ5@GG)a~/Jv&߭փUk>7( VU D{Z2X93^u6k-tM^\zCO=csUۙ@wB<"B=eo٨xºd7Zˑm&n~YfKRqvHWzQFjʳߤ&:H2N bhGbFձ9OnRb<$@s*&5%ܗ>&tt[| z}6∭GvG7e %eM" UhiOo4ul eK(ZK#lVIs^xil J؄QYo/3'>)tTGM/^l4w@iܨhC@cDQ~R~ll/\ Vy+kOaݨ400ˎqll~^Ľ[QFϠa<+$ҙMcÙ Nree;^6@v̕(IrOyjm7 aeswf>tnX]kK~mJLB,:ɒ J`c6%Y"]Ko И>"Gј!wDsQ%f?aࢯ\=3{j nS5'= ymFQ6qN݄K&mJ6"#'9ͶTP2K\&@n'ci1? ߲>q7# b#JlCT\ޡj?g_UKnonWnA,/&&ݦ:76k-2r՗ލrGJ5W]D 2N9Eúrf@EcZ>?/tN&q]<5K&!h}6gdUׁS;LgXp԰22N{ܚSd3l}R C_nm0 !m}-EX[\M1Pv~pzDme4I J =jKnc)/]t=8 Y+ #׸Sm!ڦ-gSwj#:nX'W`Sd׆3}('Jr)V>ĵHe KRo% ,v'8Oq99tBoOy 7b@'T\ }2׊CZw.hmV;JpZJ'^e[_VMu@88!d/f5ǪoY~X m! m5DpQ+,=q߹\u!ǎ^@"Un%:5ޓٰnPk ^@CZB!t B%FČ*hΞ AZvvlT>-DsL'*DҽVz 4ڐGyѤ-CnD[MA;_*t _G-(y!t)7ܯJF}gEUp]:Ƒca vd8] xӛ:ܬneӘS7P 4MD3zSZw%D-Uv5Q"*zEV&CrMZxu.8UW~+Q妻?$e#ʢDž.&/eg (۔kX5j= ZX""H-.զCi3-UȺ6e4\ZZNtQ_ >E{&U) 6 !bYƑ5 MZp` x: f]?ի62 }+Jؑ|:9hH |į0ņ }6DG]r|bd]B-/lr 6xK_Ny89 ދNIth*x2 ҉棚և㚹}-Z/_Qbt M8̲[Έ ۣo ;xYǓoWE$:Zv\ë 0|\c>u9)X ض+9.߬EG2Gb7c_.{ǣގޱUP#apG$Z@q-?NXmb$V9AJCD Eٰ,5z8Ag&CS>AȚ<d? iVc{{ txT__], ޥ"W:7wO͢Hګ&*;:2:Y3}[6&'o RǚORA'ytѿ8Pd4EcBz낯Ir^`4Y_sG DʃӭgL.Yt\{4^,ad_z^^f0 moL6!T TYBnkN^CٌϧIx[ELv//[~u1x?7 (ÚK׀:*Iq;拑#0 ^'bB-4V G 9?{4條Ѯs 88Pꝍhmʉ4aPlBC8SབZ-S`]8Z ?X+6T^+2%W*FmPО}C "lÎ?Q2wDRae?#p|Vq]bp +Y3<6D\AH3񣔰TK@*-ҋ{/_z@qԽPִHyKH4 d ,mT<'DbYCEn'H^-GuX١3wakOrio3}CL'UhJap,&Q*fvT+B2 ݢj*-zGKr,Ab7LM3-3{G sϾݡ1ӂp)g7OTWw(V9mv7}#lE~\?7j%@u ĪCޅ:=^}PؔGs=m-۸:U `Μj [d9%QGpLV{:@B@z/݌(o$6Tx݄xK{z5N(t0$>*, lԭF1]ȏ©gti$2LƪA"&t:d?1TRҘVjb$X[XnQ<`f%o5[jW{,7F`Tтa zsU|u".~gR>lw[a2Z c5JKSJ2V/wt胷cH( YFI#]2ov5nd"w(8\5-#bRbm߫p?ncx O}60+cBRS()py80l:Ҽ2qa]zqiGKKpԭ4G2LvD\LxUFlZȁ sB)3 3c!u =EmEPkD;CT5 twz0-wWޣ_o5()(w)s_22\/6ǔo)^J50Fİ,E˳mAx r^e%DܺNf@Uy7bꙃ9F{cqVSAJ6ȣ@~P(L}.8]4Ap]fj K5ӝ=-/tJz\?B@BM,ȩdx౪F[ r&eEn-_} ew<7,D2U:;=QS1Fy;֒zw*Z@K@[~à - ֚6zky6z}!kM@_:C\3{cS*PTbhk,Eko {6ݢ4O?N鲑.}IK0^gr#thRaLlu3/x gg'aovekkK?}"xG(W M3tʡᏀDcaH&aJۡ\5ǸCtk)LOD(E̫WMLޔ-s^885<~|_|,-/)*QV I,@.?Q6nwq:E&2zt=DXInE#N1{M,RNiHޙ]$| O,_6dC~TFk̥pk&2C a+C4-ܸKs5_8@4 @4@&ق|ƥMDYosVS 2{Z56&moӹ,7ZKHvR $Yŗn̘"RZY_iVt(78* &Xg > Ȫd0#=&T' &kTxJKNuhڧ2*g_t"xL!+'z7;+j-0&OjwoMb-Wu*:6s7^ͧ|K/G'1Êx''YY$X:.^+; ilnA%mBD(Ls/tk_fM:ڷٽBNQ#L K(/pQI0e!y- {-ʰ7 B-} Q ŵ$b'GLl߃-+/S0}9~#Bar_[j̋{$U])3P և@ɧJ}M"\yd*vn%"Ol L\2!:~,jݿe0$M 5E%Տ(=-0_jwCvdY@s!bc^Z0ޘ#OEc\|( 0iɂQPF椈90$Ȏn|2r4T# \?a]lpk>9z_7_}i[8F]G;bZ-d1+hF2ϿY8vPHX% nFѩz-a^[/'-ERgM/lh"7@|'Hwnc(2xs$͊OOnL1pOSH{Iۡu*Z ^WQ[ v4AsCGFmB6Ncp DE&,Yx AK zؖG!>Sf])[s?B;(QqR߆Q&ciF13_ ,XJh8- ޅ: RlF`U*&)5$>ؼkXֳ.P1QW*cFNn|C2ALĻZp{&|k lf?U( ×(H:3k)}|>!T^[ZMLjMѬ&(7kߖԪCM$vfa`q#vE<4ڸ _wudMlY!f;t%m3s/=ӎEY|1X\#,Faܩt$>f8d,#E= D̜P"l+p #^`¹d&X&Ǻ?4}lr'PGM1XaܰIG:GDf[\.-q@4K'7Vkϱ%9N/@J;Vk#oS)#3WZ}K`PQxLdNKOG/ kPswʝQQY[)7Be.>9b-`">/բs !xʤi )_e-Sl' :DFʛ[}abnb4'5 Z(|0.Y7)%"o9 ŷox%wj;KB݂m+یP̋KЕ/BI{i aAҐA{B~Ŋ_Jv#P |NHG43T7Q]'B蘆)r3g?'ҊK !tkdjI-4)װE,4֎-J)(J7fh"H͸tJ6w|v q.%[NDtb-t8z^ u<}Ia SD{uϨt&Zv iFAp5 v?5_Kܠp(l"4<.YK^dJh 9?1˶%Uh HЌ6 I x4JT9:Xey5m-Cvsec@'(>O޶\mT)@ 3X =[Zi ⊍v jr魃̈́Ұ1nݥzZ޻,$uLVh߷G%_Mj}'.䦑w!mIk+r4'P2Ɛ}=msNb{Ѯ2/r` ? m?|T%ϙ/)e*6,!jᎀ' :'m E\ [EډJ_2}٘lOdI3" G4bty z<,r.:vHFԲIf!fЎ# ^P>9*}̐Q%c4ټ 璘"r'j%IN?_gs n8l,*-eoYtBƏLGWk󽕭AP Y& EmF?+DQ'ח#/%ۏD$"5hQ"3śOE9}ں؄I=~= ޽]^#yָޫ+psLGBQ|EҖƁr% n^:YTHO6Wat߇l_lxQbp }SAeqV ]߫`#Thl2M2A.K~a(cpx$(%pzs4I>_?gëE߇yrM\ye^s Jɀy^p41 }GN|0ef *KS ཕIb'AJjL**wT>4#š5no Yi^ 6=yg }M 8-iv&ꏀe~]|Y /.` Lt[Ӣ3ʒ9$l(B.R=2{(rЦwl\ȃ hq=%i!>m)_LV`_fļ#W9UA 蠸a"F"jDwd?%4&6IvuW]nqZ$?ǯx@`_-W|uU3W ] 䆢5QCNj ( twZ}tNI\ ;WYWUeHwʕ[W@hi&6#&7s׵ ``4הhyHXSHU[%@l9 ]["O,+ƅIMܾw:~}xfM귅SiP{ Oi_B-ZintW])r =^<1#Zۅ\aΠ͝-i ԼAֱ^ PBud a ghimcrKNV"f :MJUT9v9{U%B@~)5R:̽6ylٳDdrEWyѧ-VxT\~mѨ+rhD\Z=L!krvJ{֒J7 򇃀36⪼o]݁8o/ROd8wҾǐ(}ӝ?b _eز Bsm@g+2&Owr="LEF%LsePȰ,r=D^O8sT#9P00=D.f[9Q8a-Â~gjgs8gx4Q'#YF7%4Ko/oUږ<۹OPvgvuu wf6@)<~#lbʚwUh J9qA_N2Cp4ۂr](eF$. ו"ڙ&"Nqz?;a]cQ! frBtg7"isL+q/$|{e}hrY{bN<G]J[#..u=QjJ;$N i1`gC|hхzV];@Z[!c "Wb)e{ճg;֨Wz63 I]ʙXִv2fc΄vŅ&rГԚzsP٥.17b>홄MXK0EYTrtw'B6un"BV, CMak xGqH؉hnȒJْͳcT0Lc5$JWy'-ePݘy":ɱsP>Yt:iwncV_X\Ï}+XI&S|*t^B>[ܚZK YJ!nYUϦBeKt`Vi3Tת rRw-l vhTsŋwuuz]wwB[Rd6LEbL{영X_Q S<^sʕ7]Μd`-"'EΟ^QW9$RO)4![h5g?ey_gNu61SLNR W}V8*u )G V;_ jKe 7-Pꖂj6Rc?W{x[Er1SkZ'R5|+h l#Jh~WY xz!XqI 7ƥGށQ_Vc˃m8ޢh}I[jI*^GH%t9fJ&vAbD+ @7L[Vn^;!p\n}+Ȟ=5JT0?}k9#ۮ~fBfѼPxHc{("ƌ4_-XVZU|kgUs%t~d f7DQG3[_:)Ms3+ج_x N-g`N,L&OdVR=,8 $ lr* )> [ad~PB|.uy ZIIKud;ad(>-( @8 PYJʊ7 {6 l[c;jc*Z'*B-|+ɝFapμ'gx!8}XR;*#:CP&<|-Uأ)#NJ .7=bJTn: @eC[1RzƠ'`!":jbϵE#FJ ".ug|֎Kĥr}̖ a=*26R@a lc/I>MJB402YBJEA?= j)U}Oo]ϐHQa_ؑXq )L7&gat#FxW',] hrBS{ ]$B.3hm2䄥nGJ= OO(s"u 5!:#vޙIR/}9SdJme4rP5YFWiyG߻RgF5">:wDx`{̋> =9+փxJUZA:(+txNAP$0mA~s`Z:dxV؜_VN.!ȄLx9^7T Df82X ?qi9 C'/ʧl^"zk;ɝq7+ԇ0J[Z"c! B˽鳿̽Hm}.?σWSWoClXEyr7<92<2ڋ.KP*hnW|_\Up/&b38Edph 22Z!uK m(]滜7ycA|bIItGgM PʍJox<'<#?ɽҙPc%1 41L eP] {|bP/JfuL]ix{ƍfGZ1G-@!G@`l"8C^;*1vya #v]er! t%,&nl2- />1,!-"VʵbN)+8]^1H@TGj)Wމ`H}ckHk,?p% !?sS lAOiWOX1ȐUpoYTk%:"_WHPUaIñcyQQ] Ml8MC=c\7糠#YY6ZӇ$du؇3/>71C ePy:ΡOvL/ 6$ui1p>XM[a맓*-R@wX K#do'KTL$BꞍj9̏/~. iqXgմ'E3 |`*82tS qR3ˉCEA-@1(Tô$k6I]ltm붲Ǖ#5-c<1_ᆉ}O[l1ʪg/6؞Ztp͖_˾w740[5:W|ig{ dg]E'cBF/fjs64 XYj_Jd-NEEW!zšSߞ]zrx#,i.2S`Mk:jnv:kgJv԰fɕ wxe1U-M#:$`)y^SU{L:EANl"#2x`pCNw_bK^OgdO#Mˆ)\ɔ(TUsrzbﴓ X3BGT?HcO*qTCk_b2$8[9su6;{xbLLRvBowp_K!9"ei[q>549򆇯a,56@!1=˘75T 8nDZcG*|JyiŎ6ښ=S%HRyPhq7S*8u22B`jaQWQ0x#PktJ]~;m洋_ s^nc5Go]NZ]^lL߫ )S_H o9* #B "~#M觜5b5(o K:TObqʻ$8;xlc:7]C҃lpb=(H_f*-$fi4kSEksAiƦײ](V]^ 0j @9P$ zdgM͡UA#.?ZO嶺x+&B1Szey: h9:tK[}kr-Q|V)ɸfj]Pa*oV81PYu}sAHshb1nŧ֘5S!ND!_tɝ2</z\)=w~j"Y1zq4n/k@H(R )1ONuxTr^ѕu`{,&2B,~K..^({s=Ng-a#vФ6RlU#b=$h1B7bTkh^]~! ZtC&r fA;Y#V+\;r)Z7cަZy+H:QݱCZ9/]lz|aNS=UJ8G7'TDәMMY{Md$[:zY8]Dwbb a\tmwlE+H\3m|{ ?.ehZIĩ 5D~E: FH8],HuSLՀjϲND2U:,=- EmR=WJAsdßWQ!kT> 1N}UG?-[kV[''31kC]食]p?mqzKl݌y̅Fm3i#U;UYst rzH Lty<Nn!0Cra]dށ7D5'dӺ?kOZ:M+a6C[bJ:$DNh(I= vh~,lЉnW+n4i;No7꿕1Lf1BӬN.*'unxEIa+Ty-~mPM:5ʨ0|* 2 'ñ Q9y.oAI.quiU ƕ.ys)șԤuRTFOP8mH//nM-N>A __IĨcS#ET}I?\0V(>SDm9$%9C4# NfJ3DQh' )]>?0gad 4hfFMi֕' &`@Iɛ1d+,/R=#5㔋i7t;ͺK`iɩhqYoSǯ]YscSi/o $2Nl|!]bn: 8} Uʗxo͉P Q8c5򔵵`Cp-&x1W{w7CbIQRW| ZV ˮ\6Oi-Nᇼ®fRՙ[Bgq6zE!x!T уSn,]ߠ\ WNW4%0fIlVv=$s/ޠǒYzP[CleHc%|@/La9A%@zGc`-09HV/n=PxR.P.DTkv:Dafdv֛}d^]S.I*b)t܂,;<+ ӕD)k^B89X+]%4%+u8 H]@|}Tՠ>:GEO=&7iVSSxLw}=aY7%t~ŢN?؏4VQ3XX$g7[eTk+adjf0vX6Ӆ DqFmkT5v:z}B+1Ö[OϚF6$-Z'XGʖu;mi,:yA'Ǟ$#d} A*pOEԛɝwrHeEy:魰iv( ՌIXLqҔ Ɋ &=}ns8VF!9&v)2 ;4,n(CfCR…3L`T20z?6X3Q#꺩9y1" 9cQtp9dV9캋{d)J*?Ԗ=!#&ZVBa]X[_]+O:dbCƽ6]sF8%YqW?HJm"u{@5NOSYV*ÛnM>a7֛Kw0dG=l3fDV/?Z))1rj\ev luU͵+E¿xIeϧ0oQΰ.V"6;XFD#Q6ޜ(ՉJaU\7_oDH:@-Dو$爟!Z)l34R-\|nڙ n+Y@AW!,_,6T),w_o7\ghiL'9XŒ"S \CH@pKlp8MV;r0i1}AdNJ+;^4喂5pSP[;24w[(P%Ns\,tZrzPOC0gP8_NEM[>xH "}Ybc:Q,H`ST{ BNNDMT9q&#'8@tm-RR'Jte <-|Db"kA$EFĩ|AjR)g>wh&V^hmJ8 ,-b E!Dڈ5}ԛ} odrڠ_΢ыl8O-cu\$ y{BRzιPUM~JW)T'MC X#nj}" L~ NmWAt ,pX#XfC~;4y5~BGD|hnE뱻~TeLIךQ޹CQ4q}(]0+{[,vl(G54|D J%[`tÿG^鞿R$`’V ( L>hPgE~wm`4Fnw$/TKQUwYZ$q4riX鉚iaV{Uh^{;~!f[i`JiNuΣbp.ZV6(Vgt^d;M !*HSe+>iT@ތ,נ .ϗ_}q;̳ 1 xS=ȜRli6͏,XJ opTM9$ 'wJ-s%Po&]XDl׳/ #ð{et@:ټ,[X}xnku$x&v\6̝?-;lzm0G񜍏b;mX5G5\j9~`_l nQn.Zkgzp>27eK{;Pwj?p~6a0i|D48&)W4eg5u1FyVo^æ3ό]m ӇT!"V𵢶$YjٰEDxT{X9}' :+fyawY.B[1Z ,; +"2L_ق;Ž0./ nf+;zuei%l56m"&wyvrdʏn$0O^}qWHfYCoeZbpX.̃#BKq ಱeږ^3vWӬ/T &FORnubyՉNg7THB nsZB=dRG({?~e0jr1`g>&x9*qT^_~9?tv`.t ^ ^NN  S>#Ge϶ym"'40jMHZazU H~EV+ף%K.G2/#889R|!{ʇYd<,+&'tTӲu)w$v F;#@PfuAkn OۍfN#hJt(OFm~U3Hs}/[ۻIՙ>0n=nU?Tú|P ԵULc/5E&wʲ~.=^#(] L Ó)yB$?*)G,ĹT|-Ւ,cj6c[ZhQ3n4'2UU$%ε>/TxblJ0(FT1xڋ0nxAV26<{j.͜N˵ͯܩu>mSB`4 D9 m9yſ;xjKI.ZjjqRbZa)w&67 *_@ݢf EH^#I?20QXsj]rNE_eN#qÞ' qS< nh]I\Sl8V+9gk[$n'+5N )r1i%PnU!bo9yS10 pO2KRe#{@M!޿)+v6!Wn5^ ͰHC)k8LtQ$P؟od1dd*}Ŕ*UnP5gfCb5qǣfuk74Feu_7LS,<9~ ?M.o Y-q0N/F+yp\J_N˕r[غwUޡjeY:CK#c iV(4q>H[4Za { Fr?ڭ>qQ- Q%3._K o*./AVۣɞ8rFEe(t@GXfׯ wΧXSՏhFڼM0I!n0#Kgڛe\׫"nFvB s]B`b,?]˄dŨT-`yjv»7"RyzrGQC} ѓb]4!B<uXP̡1} 9F6çMwba>|Vw /_/e :^kOr??rom4Ȍ%3?l ǧЛ?CoF,Dt/R*,{d}Ԓju=D6%힎PT4) ad(hJ-nXsb/dPms===f&uao\4̕RX>>ţOҮhyNqP@ >Y*0s=3E ;Vr`eGY^/|Q;]Cb#$I<#=sXPajHEmk:6y0a\b&#(dq$$p s#G9.}0oXi^w@ycHIpk.D;O=e(Vg lT /v'ԋw)W\& ԛY55E9t  kF~ɂ,q|&D簔9:Eh>L(:zCX#a㰠tiA9t#ό͹vE!mMo'ii"&ur  Q~2=.۷.ח MA]!*8_b_dP-ʱgYZ3fcc8147b48044bb1fd80782b67e472962e95b23 597f3b6a7efdce9f7c92879997bd5b2a2db90f51 695f63d42d97b846d200506d1e7ec0451b257736 6c41e1309b855cab18da5234be952d7d09f06ea8 ddcacc19d21c53eb4e40cb2c583d232c777e91bf fa67b0bdc9b3db879d46400e77afd6fd5343935ddb7c23777632c9a5808e846c4c293183c8f78938 d902304df1792a9edf11f13fc29f7daff49f3259 e239851711910a6527f92e8db31572ec8f52b3c6 302f90f0d9d20a99df17c47492c71625f5eee3d4