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   I-Tl ]S MonoidalCategory:threads=2elapsed=919.434cpu=1599.780gc=82.772factor=1.747zXZִF! ?d]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C[T&fNwcG #GB޼Pc` *.O<* x˻q Y[|-{KwRX,"GsӁ:ȫGz L# ;:) ( "xZC_'z+OStPLGFX=r6dۦ0Oe[ ~f]L u:E]OƼ_m`'WN)DKf`, oC}-D踏KR*z6*X-a۴D6$wx+hWą17m֐B1G6&qi媲C  1-^]\rmu+$hFuÉ?N4p=L,h6RIO>{"M W1o!3gl` ]Lt Wq - MonoidalCategorya 1[ϿFRm_ ˊ)?eu84&ώ &3wʂ7N=O3[FAYBt pڌ`1 ܻ_Nw8 -`M*oD[Y' Jm+NtBoP a Po+Ԧan~.e95#ע;ٛZ.cm%;YIL vFj(1`̂ e;^^'6Ȝi$aE<ǡF<-.K:cc{Z4a^Dl+s_.]en0OeFDGZgCi9vD9 Z+IzpOvxG:Hc~Iŕ,4FXп-E۬a_}w/mdQ`3ȹp]A?2ֳgT3ŗakܨY~ӾLܺ8ob=*$d5zG+9ψ(l%c-~pYNgf1IwFΗn 0w7c әi\GcV-5yj~|!8=|blw.P a*LCT<}&>EH !(wbK Rxu-vk*K1^ k$ QC)C<yN*kaڈbJ=#n@TFyDVCoKk>=5v(gBvԙV]q4ZLbt>C5MwZ$s.݂! fMذ"$)pISq+sRq|U?&O5a<۱kک/nז xˎ)O0i]0\4ns~HISR=Nـó>NIW)P/3Qx.̇`rqhD v3T>i.!d82$z]@vݙrO:J20$B|KdRTCmRfD2%FptMg1!z9=SG{qh^HәXP$}w@jS^ =Ňntʧ2jB1obXE~/k'ڰv@ VQΖ$-kLBɠ(cǮQ'>8Nt*bJ/n&-^gy?#,`=me {q6=( vMi MU*4ggYB[7.0H64ҏ)@-ⲬL6M ?y^_ B1U N 1m_Ǖ* _ ` `egPPRTE Jfoyx!&il4 j(kp$mLB ~  ib 3Eo[&؈oyٞa9 R = '{-8[>Of֫O44`z\ΐ>`!gm׉>L>Ik47`DU9!Vt *ߦ=X> Fe%ޞsQUavzm46->+VУPg/ [_܎HL nX,V;%፞u'QjB$㵌VՑPo:=T7S.;'"`a8; =_zKOo m {iDPKS|.Δ(xx̤BֆF|S;Ñ᫋IYqDX0va-5y/=XvcB&_gd9?XoRi*J?~jth>@3ށvųxm kdZ3 ')s4쉟ͩ.S,c0_*&F@#\ y<a$L 2Dphd n Q}v|3c`*/c&+lI>"iYW޿v,FXQSkWb`9>+^ñ/S!(FJJ @R:;trL}E2@Q͛j kߤb!L{l?}Z* ^g^`2iDpo=DS"h=쬌rc?5H`BGBւF;陴0N;"hXg^x;qƶU'm?k{ g$I[V+4y(FuD 'ҿ"0x&*ǹ.L GfƐbJs{ʚ 4ٍ3:*Y;D :r=Gֶ8c;~{/ c>r:;p,7+J\3!~$ U7wؠ$y|Yċ t﨓ZARS֨֎B5Q~1 y]4`ZRFBjst #.} 36C?Erb Avz1K4XJc.]y6wFثšD ۞({#Hn+~ztcVX=YpII7v}$n VC]#], g]='`vUO/(?6Jly /<"yqy7~bQ7ĭu0@٬W* X:pZ":<ucX>'=V2IkѩP)jXH"rz1Lv9RSbF~peM@(r:5bIਖgE l<`{&8 |&z̥<9 xDsa1-TsEciJ1MQo'0s*s%Aagه0+йwh-\ڡ'PI~~I:x'_=tUKuS0cYMJ-62nwX#_yC+C~-6,i~*$`)J@TqE:c]<}=j\}/\6jJw:wZvY_=,ӭ@Bq ɋ? paϝ1 5VNz5SBBϽ B3_n\hAEtxk#:_0U/ƣp6ZirLHLFߥsYGm$/l(D7,*C.žh^"jtjߏ3|0J:sђE`p3\Iw2r#Ѡw=D))0v0щ,MtJ8kT̆,ξhYDL|#z 1(u4mjKp$T?zq46~C)˙)@n2R{~*^p<3G)A+kmbW&"6TR$F1.8¸O Ono/9*bxe%,sxȄ/֧EU22$0.FwmK@MYl&FՁʒE>c(M`(c]Мme>@ZAC52B؟4 g؝R_v:G~ISi,ae~O]ne7c֫RY'?V`1 ZO^p31{AF"*HkQ ̅*JU_㞺USl2/rDl3{EPx3 jc#wC qIsd.q]N8K81eC*q9Ȗ2li=/+y–elV8+|k0;!jnfMS,e --,-wd$yHF^?(*:&M?GLP97_8!D:IH @ K-5Q ɺO#:,6iOwR>_rc3Ӳ[F*I=̀Gr$%a7^urévT}=źM n9uPn "czߏp]K$/IG;FΊ!lAk \ vCGMƈ&#*$珨uy@j0=Ĥ\/ЃuZ^wDR=xUP;N-6 ]ggYZ7zXZִF!  ]ŗXiɟ.6VPKDM=Ƕ?:g$B5nW\d$LsxL2I379F^-TSG`6| ,~8<sjPEC&)32ZZNLgYZ7zXZִF! m]ŗXi%;ʬ|Wg_+$kϋd$,"L3&/q}i y)OXzoDo-׭;Dk}5iL˻pk+c<}GCa%)U3eEYJj\(6a_3mQ5G&v 92n+[geMt#C4-'jZzS;F;)ٶRd&~KOԄ]jq׵"3?pF~3 hq0:j@#[DPւ`/^u{ 9/(FN:ɝDksծnL{Ԕp`wF:uukUpu>d6'汔n"'{r4= Hg3 [X 4jh5&;t{#Ӷn;C*b-v&PSݞ! 5ar2(Qϣ+"IJtL^0H(WMr05L, QtzB7V w׵9"e/v[̩st~`.!}eS:.kxնGR5eN&„ YAyKJ!Op &'n ;QSaEzMV=RXy]Qy-+Ɨp~ͥy q-(Ob˘&Ui+mN_B(˥Pj`Śʼn)ԾG8J)#ox%i:fyFwߦ [啟nYLLe %d]M<^ݢ_pY\MVぴ~ԩȵHѸ:e8GJ1*ב/vstCo~@.v% Kyx/cÊe/!n}pBt$4[5L+rAu<GXヤm5uh^bh8# Mn)$0s)v$.JgL?z/lJ!hTJ_o Xѳ-]}cV.݄ؔxeAZ 3}8Bm jĘ;*АZ~\AU<(5aHk?zu.ef1YTNby =Ot8uX .̋l"SSKU[Vig!2?&0;딱1qp~[Y͏}OdXN+eڴgLeÅ"h^ɲDolpiܳKe'lp?L_֌a\lizc4KBa@@VAt&+?RƊ?g1JaIrÅ%`bz&2=_ԫeB"Ul,!%4NƂFS hD ~rHk (0kʿ`?4wz<;L-Yw/>FYuIͱ)h`d$ӷ (C q΀{u"1F0Rco\;H4u쇹^³՟'Sy-oO%~ ,RDs^Q 3RvBFz(_v0Hi7}051pSF=Uv"KTsA*qDEonāx@|o-d#>Z {ʇXxu. Q4_3e. #V`77r=|V)gWX:8,]HB~ej*Z&i.\\ώC8Wy,YaR!!QuY jibx'8ǻjZ'[\ԌmDY7i溳Hy\!hW ]+9!eYVM.]s< >pYb?Ex{W:X0 uhhdG3X 7M'C2JΔMNZd6u஻P-;KXxrsrPY!۳DEH/hҁ..oy53mfA{ԁA ι$V1싑|~_A,LV珕C0!377g şsmjo@^LLtglٻRg ?np ͑UE`8>yfZx5=7pq`|uGE%z$mr}n;mTԚ]BчddF4ЭaF)U|DدLD_Mo-aG<,qȤccNu տb"}Z)GD JW70eIS ]2.Q'$:?;q[VD}{cM3ceg_M3>!.#Ӻ&jz mC߰SQckm~T)S*4O~Q+FCf'Wnzab'3q_?F<|R,S|b>3 žcRTi 4 \/0k_OIk=2Pk Hu΂'ov X`HLY>,QICM=c,+EFb#;`y s0R|$7x׼˒n۫)q_p,oIbTKRFr9ǰf*ϕp\*tn~+C19q5ki),@%?HD,_ERE`N85iqw= "Q"{f"No#kC=A;e<=4p{N2ɜۦnb6&9)R>oR٭i\c{.ky|Kҕt їV\5^oބJ8"Y.&LUR) tI+uZktؕQaCk}ۆ`F4xs$gJ'{f}e0v9%ό 0P$$T%8VeÔf1\=Na NKƵPLS*0vĎ^tZjA=@iN6v`:(dL d sѥzAnk[YID\3y@ #JD V0嗧vTǩgի3GJ,3.JZRyu[ / ZMҫ ~z@}`aO uMs/AZΦʈ䗮BF!8SN"Ny3+8ӨE HQ-V|@ /g"9(P Xz/{lMk6YAuMߝ\Z A6OۙJֻCrw.?R~YGa8P /;UJ8X;Un q9^osfOѥeC؇[* Pst4\F<YX*E2v|sEN ˍq""aur=:Ez֬c;<G'*Sx<ӃB5B%:޴: 0\_gitfߴDvj`9kn 1xAb@$D1UUMGDԏD{6 z.Ľ$Qfh6k.(9s Ě;^ؾ*{Ը"ξ6O8!aA4 } Pnu,+g/so.uOnt6.*3lŤʌ/i"@}> i-Jɷn7X/?XlGf!paf@;MA3=qJ(kw3`W{fzrg$:բK3z9dӤyY&pú@]Iyo+l?4ȟw `'\*v2GU&Me程Ӿ>~@()BǝRK=>8̰.whYy ayn KPI怨jT$Va9$ <:8DwB8\<$(Jtnjե!PA Z¶8s") Lf)z8&4KqHwӘwF:A/tN3Y $2#2!ed/2 ͨ=-[d54o"$N,3>bV<Š -o^bGu2ktJc^n+0 ߷7fPH) i";& p,!ZtmDb6,Z:B~޵&O+1 3}[)Ġd_F2a[$t2ͬ,-A’aGWN7<}@| ;KkfZ'H2ɤiɜ0z.Y=wV}%W:l DzrnՖqq$-V{JsJq"VjԺ_5_Oa-!Rq^,$˾Ca6`pQZee !߀u=k'QTs+3'jK] J p?H!%zJ1cX3)by=YV_wp#QQ~Ͼ,fuN{@zwOBW,WAs70Pc%%Vy\@ B¸ )Z28hgfJ ?~? B #ǰ'&7(2yF֑sfj~M'jh:v[ϵ $zR`:XaRZgU`P-F )8  ܍;eT%תp<ۧ-Ta"WP瞦Hd6Ed+ Śխ~q#t !x5? EWCn < G!v쎠`PӏD>˔ΊtD hzV;0* IKE>cb{ 6܆KNn>sz3RT/Q~Jd&d,?Ie 78 t3`ɆSsVH3(Hc\κں%>iA%1^|=[4\p.:s>jT C\>;)3=Ng$\p>}u fV1DWs&k ׽Đi$&$ޥvY67 ([h,npA@n\bG|d(F">xAl.~ r)i(Յ"%ˮB[Ȓu:H,#͠az)) VEHjl11z?8Lv٤sjmK\2m=3|GԠJHqD8_˕_8Kd˷s`氹Qd6b}H[^Ϧ0&aA.A o 7e:7o3](]6^-k1@&uLfPla_y9YͶ57@ Y;]vD`x.Lyf ϶*hwH+Ŕ5 Qf.{30 w&>y/,Sx 39~nwTo^T)qj%#S.k[t AlVJ bfL^cH-gd'gm h4Ng(xóI|z.ȬY@8 ! V7߾WB똙ј$#KTvʅ`; 'uAx|ɗkȽۖ>*lJSt g`4Cm1;op:"O/C9':%F4ws\01 O=S;[RɇG߆ޏ`Ryv!V)\ƺڨںgB⦒-l-lԲ@ d0jd晡A7m(?LŸ9RJxwH(-yquI {ǫbƈ bouy? aqX;n&-78UYNn+2M^2jh6nש}4Zqh "/'/&%(tA)QhuN!IoEþajj+eYzLƵ]a#q\OHr"9w^gSjEC/kۤidWmߡcĮaϲȅT7h2]b|y5IO4ڡ ;)'-sr= Qq"tmfpaxZGƬ6ٱ_r qqv3Xa0߻I"*<898puBW TP["mXf̌Aᾭ_HmN.y:\-=OFj͜Rɔy13𥄸I:B8{]" l1Pf9 .n+%va"ȅ|~g/,ăKœpT%Ӫy1}m_ߦ ʞ]R~r^axb*CJYZ0-Oe؜G`/NR_U5-MKāJׄѩ5걯/q[0TklQzu>UR@6Vr$|Ł,2l04jImz?`uASWB!OSA̛C,>G\kM l 8N g%IiO#=ݕtS5h L* J36|C"/mbO( (+mX#$P,tWET w",\ %Da*ښG?ѢzZDl8{kLS7UZ| @8yY]tHf9:/[ G=-ôl.lr#vWv0a޽T*D(JiܤFTKi*䑌.>G ?F;WU;\$TL0< eWD UYÚO)[_=6$/j7,y{y*`Ҋw s ߸&&&GNIͰQs_;2A'ը??պ'-fѕ610]P?)LW] 4c- % ~UI =z@@Ax|&눮M;o}`쏎t9Jg0D L豓k Evzp/7qouf#/[@L˅N҄`j 3y*(0z+E{C!Wif9yE?I!o\XeT2(~©8>) % ro؟X-T+ȑ䊐_+U(#}:!h*Ppi)>[T-+Uoik_@[LSJ:eRi–K!>;/u01 GQ?\WbBKmlG_߫#5h1{QH.n.MmKoMԏAXo6_W>uܙnzfW(4u48V4̞$Νsc=C0z^gfH]~OcQ"(vEę<~gu9ٶlq? jx82(\@FKҕ,ѩτ;mC4*X[PBb+kSz=_po~4@N#Yd[GA)n xrM9:,pKkzY _}A \䣑(_V)"5@frq|kףُSkoinej2 mbo6< f^3%lrP$6ߦtVq;injh1Z -޺@hd #?H@'^%FOFn0t=X4O]X !q/_wiGZ'׸aKtW?i3>MAh/9jmGn٤P <)NL*UY˒`zcۆKŸ {Uw7U-60ԭzMf' ^Ss?YwKnȜ߃ Q#bewZߚ[K/JkVںzLk0MKY .#M}g{Vہ >ᶦ2;Oe0)~ŗ4x< "T&ݦRUxF\1,;!^cҹVÊ$o!*]pOLq# FG_ Bv.N/X%mWܸ~5*uFF|l:+/Ozvz7ᦑ= ~0&a Ĝ|%+bP}3+Ʀ9|0@*: ģ\:c0~ ]ΣӟY zB M,MӢ}Y:w>a3>t~N4|䎑|ᱭmM 7Ij2@S?JVt|v1k;V&̻_ U 6iߓG)uj`DPuU.BsaRҜM#[l>ÆftRޓ[|fty=рADF6&?P10s6 %qَ~&T[˓  R^J@xbޢWXն{_|_hf)E{5eۉH߀QD4F^ί* D "< }?&uevԂ-ϝDewPuء EM%!g_Pֈvj!K|& ̞p$J4Ru=1h="cL;5t#hvj1[`05]s擇GD7onHXw-/AǼtYp @+#~X2; I ԇQ`#!@O-^U>{xw3bB (xH^g)7Ӵ8g6u TdoZ^UWVYeH٨gNxFG-MAm;K&}gN #ehvy {2bmpr'@"@p'KIy=?Lqry'quն\ؐf:bAI0pz<%~6>t!XmZ9<x]ض7XYmgz,/,T01K؞ֆhp[eC= /xGdn^>-nv.s/闛b'qY]$uvKڍRU-Rt$IYoVUvRw>'ׄGDCXp|#W c_;iقˣTf y@V,՞iN㏺΁mw!MܑXqϹ~;˜=đaǍ:&EUD;k9*rڡ xKܧ? OLU(UƓѡzgc{(U(oh!CEWRݗp'8 ٤>M;{ѕFJ\w\%ՊC(4| K+]?i L0WL3S?NEkN-ױ/:j?jlqqm[3i6rj+\U!x4PN 1|}N\dyC9]k齽_&^mW&iLBj ڼ ~2U{<53yfz@dAZ ]3jSwEjptqSYLS_-wLʅOnu]GAx6vJM.rɣgrȌΎ^л҈QH.+tDU\8K|J1-!Y)lb{ Ru.cG^X% 8HVD٨Y/Jsn=G9kjzE9F%ŝyJd2|끻{5wQC.VB3Fqt)XObιNќ0߁ q(GN{۸U_{6#Zg\n?Qj/ނR![9Tڴlx*v=&UN31M}2L~g_dKG%by4/LeʗQ"ұkÜtN1) dLnzZa)#\Je-`il SHm5 Β00ЩW+Wރ先ʲ>}>9o~Y.ǣr7.p:&0YZLj}B!(K~"ӮN2d2|E'|+ū_Rs9YE O. ؆[ʗތtfqy|pv H _6}{EHXQsuzˍ}cK%;~9Tw)2@]ʷ&}q'g+ؕcZtzM]i´5 p{$_AԖGW WFE^ QCًRŃH,?2K8kLhᕠ #`Y&g[LIjwMyeTizd<҇@Kغt%,CgK!THp6<-y4q>l^AwmXXpM?ՕVVˆ@(C3-:DГ+e={"좊{V=}=cj|Vc$î  ݴ@ihڒnbݳ:u l)%9Qס֔lyh$VieD 'Ll;Dh n{ε.`"T*5bfMJqI=q_AgE5|8aM+A>C;ώ'ϣ%U@AcW>ԳJNqЬf%xDuX&pePXْ:›o}֠M.#nfYjDp+_e ؽZ@"Gy&ztT=pI?+38 n_?C1@=vcY0C\2<_z kwka{Š9ߔ*ޱ0@z3j .e%T+ԎJ8s~f*F/dh| y8 r9_iGHy3 Q/B^ݿ̝fx \04fsw"C'bs$|MUgWSgT'{7\wQ` b Y1 \2jgoCQPvj2Rז_ըLӹ.3Fnlu;[_x ^<55KU\˟Xerp}!Zmm>]ٌTp_6BY(GcR-asUSG:zL)ďGfUkK4mH/6" N`p/U^S­")oҺiPqbήul-I% S֦"C+$sA# "Kʒ0"^q;NmD2ֵ 'iH+W8E4gi5Xvơ.׌rS5aړ83@CGP:QыjC$Jy[?6 ba ˭/FzI]tKmԱ aa gfxuwiRRof%ywoҎڇ>b.;;J&~9`,G(&$ηl10E$JZm"@ͣ` aG+{m>¢ֵG>܀/莝Dw Ug~I.ZCcWI,HF٣eJ2+L@b, (aTgbZl:;]-1fv#oLq7V+ʳE$ns* [<3Gߌx). 6ԑ~Zlp9 C$ .L< $b &'CmkTkk~UM!V_#cJzRfW_}׮Yܶ"$Qi04q4]2PL7&x(4xьZf G,jXJ%+uRK>ϳzQLK#b < .kNﰔ 5Ice FtbZz`2hvis$G^##DbaipDQ]qUT毞t9>WSLyxp,;B.Ua-&tT85ՓPYkfߍa>x:__fy_靇=UyNRilthX/y@2`8s,u,oGFȉu a*9 ؞`+ " δ'%tՇZ`< )0 ؂|ݐ-`ږ5Y%EI~e=5H2a*$TP6Y(t7WSvPm9I)+PNNl௴_&5e&(=M\+la`cGFOzC9YԔb}E@^thGD֐ɶ#1sisGh/+֋V{kn؆ w@$lάHpX nH7K5yʙN^ =ҹ,k:PU[ nsX$Qm2@s_9&Blʺ=F"c0:o^G?Suz<&\z9]MtHħ'ӄ&.ǓRp@;3iթWMQ<gRXq9бFۮ$šk6+s~pfl>prgŜ"uNi*9}o=@:u V>?a 5,t:&Ye4WG*U*F/Vͩν薃ɸHǘow$nf0} gCx+K{m.6~sêi%ļFylOcRXqX#]T>k|m.[B۝:aBd9R8w?y,~S[k=LC>Fe6&61㣖-PX~1Ĝ "qLU!UA|g]Z3m^*?( x ӮwIGÀHKFeцcWl&g*tt\u6elP=9$XX>[P-W dL͑.{s]K(CL!ԑl_x:şUdhgG|gb.HDY{\ e*/̈x<1H7OcH:!V #|{^?7^MLz>Rk#l~F,pLD&^)ng^B3 B:˿n j\{_6DEâL.?v qK+:"G.'] mcu ߯Ll32+S~-;St82*É!dJ#uO;<,P{*%9׏}"6T,N[}!T/TKpY,[X kć02a4M7p7x=U8ɉ-;_/0WH>?4nֆz|]rZcߛ8rgf)x dO`QH{{`ש;eG lY@djbKPKܻ bhjrFO7 \ HDeH>̀7Y.JK'1i4 p3&m`OYܩZP܀D/zGck"28řbdmRj\< 6mt$՛pʭ;b-\-EWAUv!faYѕn۟ie=8:ȘՒpIZFvPI-֔0e|-Rrz-06ߑr@BA~^Į 9 ˜[RQE;PsN7.'gWFW>W;68-36}dлbMgDoIi1]u9RNVՅ9&vmβ)-AGFRI">N~6\T3MR 0a} < TCQY y NH*SII yGI ̒P^uA\w[RQp|EOB?%cE~&=wW9iXPzi86Z% JL-T m-El#k1F[ee)>4ghG>X%!3.@B'N'Ù#epK ڈSNOKE(Gl:jD=n_.&x #SS[ط?U-gJ>y"v?k(4 RFdSݦ]TfKNGw9*h1CwڅK%I.~'jdbޟ1fz;k=]2AtuӻDMjn8=6kOn&ipj{F0' Tz2 _rPVROLQ/(( sT0fܴ&-Q,h.^70K+<-<RI+ybyZQEm$&ulwxBU6 | ZGڈVNbxH"ɮJ"TXm4= x ;>YKzQ؜Ftq46r~1XT8G Μ|'_r(Zuey$Be9b*'HE.`΋i[s!2b 5dHw1cuPV%Ax8{x89^ӊ|u—lRX8SvR?WbᴛVuT ~1'Q6Q&Tw 3cBV-ӫ57:+3*[1kc!~\qAdG_ŠgsۭLl's!PA$'/`ڵVKQ[T01 PRA&d 8qps8OBm%s-yR qE>N*?|BqCYmQF `$B&ŀoɍ/Q:eY B7e?A,%l$+9u}J"}3:kI敇Jk=j S]0|I!WS-nlfJ}*rb[lnѪ]JveC.JNWFTfO!fJ*@۳΋hp7ֽSݔP@[1#9VTtXgdmO˓VG+BhGuqn"VkN2N%ԔVUBTϦE? 8(_c}sQ$b7RP1ZRꘝU(LƕݪJ\,!]Kw|( (j9^K%I|B}1A`ei v1YaUQ'lL yDbgq`ċrJcWZN3DɏfѡPTNXPjׂ62žF^%}3J{$5 NUʗRc`%.t+U8ߪFc6\ +7.\Aa3N@ |ex܇C H? ETsc1`DB.PO\i[%p:>o;뮎Md8s.3]AHy^w5$&XHϡ+zT8`@es%=a'3 Řar [:k+ (U SA">PWQck'o+ wFL7&6x&n{ (fNR#"z'@ܗ;݈MǚDO"iٽ4D=`A'OTޙ#ݻSv"Bf'oa 'H91m;Ǭ8[p ^M;IDOr`PE&QS7/l]9Se4 -4uy=C1ޜ\.}v{⮤͜Hh8Abkʫc$/U;kDKpn9{lYXDž9q;H$͌ |xid8.3,T9T:E5h5 L9hU` Ku}963Й[V1ިwF_O )i'\7F;C1j ;G ,;ؕ*d, ~޻*Ԡf~XEezc:Ϣ~ZS2+i>Q%zc]3L<,_ښ&Ա'$Rr[>fGqZ~tC AW/ms`L4*&67*Ze[Wx"e/ǓCrԴd,Ĺq%++΢}nVhO_ԴCJ]si"sYfυ̿b](q(Q`ƅ#YѳMGGqƼ]{ɢjʚn_S㫱urt6 EI/SMU? $,e@3KSymbI&p&ZT ¢iLjSI;=b\䡻ٝMˆǒd@|㴿%63I:EUo; "H u,}re @ {a4-֒ b{\s%,$ҭQkhyAqE1v)% %6HxDU뷍S@tSBæe#֘=?T9avvb\۞$pX)ZXhT$ϱRnM'uҒ҄خS4E#)WRk hZ6i(9R-bZӮe(Y kQS/δo8b,6st=P$7!]VZvAD[&MC}o@yی+'e- &p/XYZׂM?:-6mz-=ф=-S؋ j:ߡyڍښpOj (/۱dHˏ@i?fGHʫYnp?$r_@ڝqa?cm/n׫ᙚfwi8;Kep;TyE#V/)]`o=Uf1F F䘝INEk%5IEiBUn.GJ\]WVS פO)W>֞+e{C=l'?zstp}ˍUY<:xzgW[eU'@cm2C _b &:)9G@j@1F%lE!XKfx]3Mme(G48y2H!?7Γʹ' iw%NH;ChVDI ѽAYpz,{Hpy)9(8{W=EζFG{qY+Ej~bAKXŤF=h4$njZԜ<"ғ8w G\6݂QփZ(Ws_I QƋƖr:+4ڣXy_ xHԂ)Ԃ߹3oH]VLKU*GUTXéF>sT;LήɰeV mBpCPN RށJSU]ySץ}v}~)k#9RE(=JO M R;1Iݽ>f08AUfQq0B4.i1LS;k:l|ag áO<Ӭjy19q TKHō^ؒE%bj`G"Yṿ ^8^s3ɑc/h0T)kz@"w5;: HlUfm71}j7VS PU/~*Z H /~WosZ6^w< c=HtQI,t[MiXnRP(c;2:ԇ9=ìI|E5L>Pj. ݕg:25YoW6;v^< = &J+i=[E-cT CkP iOH]ě~S4i EXKaCR* lm՜5+J9wNBo.fu`Y\K=n+=2 BdΛf‘ GULh+W%6ҡ7& u˞"+`Y:OmG2s9H|Dz 6x4 tx0]9 :~ziM3Ҽ\#;IĐr׋O\*W_ z=OKpT?rJ *B9-!j*. #М&N&8nġTuݾ׀÷}f@?3PD(_sWFBhjjDiH6"1dVܫCk]#쐥Xݓݸm qrˠ۪EcwKYZcm2T~')ʃ_؏l.:XA? OҚ%4!<*;V+sdMJn~(tWIKDuOt瘲:1Zq !#<%Ccը~Zj*yyK3DMk9ȤV4a|BfYϨ}<]ć䱺HиF9O"##ŻFHuvEOS'gY@^_ F&8쿅99dȫr6C`6ڠbОaE"{p%l@ro)\ѫ:&/Q65NJ;zV0FS |6)n!bg[׈/fJ*?}-TR N|dh_SSDkV^bZMu 8ҋE|Xá݁^mGP"1?WS!~hQGjO` ,Q'|AcS3'wX4LB{sA-f<\tq,#3[@[w 2fz;ЈKyhKWţk_YVV}$XdUKB]/ GfOnO˷'sCLXQakt 6/3tgmBS 6Sv({+;7X>aj;2Z̀犣iŋBo }-T\0ܥUYRG jġy<~(msy媥ou5j,=0~1oO9 _hѸTb̴źbmt>inJ(F[/eY&*9zĶAGVl@WFUzG65myD# X[dxMOw/$K; XchѰldS;CR~i.[(L&:\ĝL|hJ9ސN:&/i'F;88 ;ۭo}lfAc ?#i6 *n̴`PPĞK3; <=obʽB_456WGK0s9XpFϘlH|κ8QZ\0la^dcĽg/ ,vcDs z#t*D >%G2AȀftMUr 2W92?huw1 nnO$g|O%%t?<wd[~|zL܅jxy~OJZ-oVM:@$lu.zUq2>x2ڊ/ <`L2.*guo}xtFVP W9T&ڕ}HKJYMfY1DZ-ମ%]Ě'ޗZcDe[t nj5HSТ# B'ym(\|&lȗ0= `F]2KgKk ^OﻠY,T@bYn Zu !2Ql+ bוix\k;&1=4U%x>$?u: q_%m^v`C?,NbMWENLt yIZyĤYN'hׅ7 je ˵ a/{ {:J~}4 f-*SUN!lN9x 9-yw^tFN@ȕk07=l7wYa#42k)6h4X.m-G"d/>'6D{e(>IlAe[  X,LA@E)[u>3[JK]^HP7p$m6=&rAQ7QvԀ<}zkMvx ˁ6SO\y5낙0|B*l0:}%T-К|dŎ;H=HH~X??-{ĥQ, $^c4/j=2/j=Df 8;)ۣ"QCS]ȫ1;ľIM9Xag )3Tri7NIUdd˪mi!!=7NovhQ|א K8/s]G3E*QNyUT~<'s+1ҙStI1q zD _-{{|*K8/wlp+Myf& B 78`~OB6Z WFg,A4C䵆TùB+fLD°. NM#<㆒# /n*oIm)`,7f#`OG3fξg4g xtD!\ M~'` Л͕%=T>M,aU#ThOx5a+ ΁x+:/k'4~tRW+t7K4)39sOqJtG&Y;( 'ø-o&^ITƵc8 -sAGM-ʲ2i =%V'aXĬm Ii \YPѧtif%i6e)!G`ykf8+/6ʂ>/S]XU5; N^c ൔh< wnDA1xxI7 )c<^,X>8}g'Kk~AQRzQ d:*2H+[{SӖ >$(ukzVmx[g? Gc׸mv) q_on[Mw& p٥3aA6Ċ/x\UΥ+\_GI{Ce"!#M@>&jor+.t>4>[HIz6NpTIvN3` Uu :ˇ#6]^# %B|߭rnVX-8E#Us2w?n?A3759cD䲟[|pyW?r_;4є>J"A!8VtB*lVochb#7p{0{Jf"7PW71 \ %!t JϏIdekpW=؛(.;lv3ť٪lyʍs4}{߇ dS/a5RrKetiwZbrdH J~W{72.1.n T:nN5x,p4"-v H4? b& 3.z:c]5}VIbtIwhb@+@Q ֖J\%M[f^.LM0qƺ']B 㙖kH ÜYu+-=ׁy7O)L/(rVMڢHgƒ^[CLҖ3J3A. {THd2!j*9GH|F@??s MO4 Sm"E?ߖxk6{%~\,8 7{a_BqucVPl :~0 eZd;0h~ȭ/v> /m T^d<7f&V@k~TxfJ"CM;@0E#%攳 wSϠ'fš:ɂH@\Э?dV>>$^x [;U; YYIS)ho6_9ڭy;s<âcs5M~PqoЏsb&NM JȒ?XC&B$^Ym1Yr7x4#@J7 S+Ҧ,1T4:[ߌcpHV1d~}lꅯPR5վ>RO)*+k tBb9 zXz%!EOlriz vx2gƔێ,ìҨ}URW %56C w2T~!¥%fj|$WHG8qSN6ϙ' e*?3J!L3倫}0& ·.)A-Ο ׫E)@gdӨ]$[πc|Nks3lJ:8]'g-NeCfC"[{VoS:[v%=}GY/yY*Cr&znބQ#7Ų\Q62<r/m sy%ZeÞ@2m 8V^ySbGIKcbhFw8xZd p/*Q;kؐm\g ֵTnYXN#NB؅4GD `΍mB|sA$KUHP 5ns'o{Uzp1K7 me>11P"1bd3dg; P}{E72ԟzcVEhq)Dz_Kb7_s) !FFd+rmϦEGg2mťkh;30yU*`k"9I}mDx{V@B{z(TJָS̰дMUh*ZPϞ6CR蹎8Q3m^ۿ1/OԶ@{Y{˻\"\Jմ2ZXmᘋwe/P;! !߼EQuQ:8+)L{ķZ}A$gk*< n֚WE9E!6?JʼnJHiyHty4޾cqY- /VS`;Z$sS?? 1OFIdDKdR&LRa$- *eB!(^ U 9 ҐۻSg y`p)· G  %أr6* &?&ӫ¦?f\2(SØP걡U0%! Bsz%t#폩 v5mxևJ;-loKn_0g = &#@5 BG(pr]MAԩ3gG(!U<v莥QK/tV$$6 23цx.~V̐zԭpLI.j6389N@k7:<;SU\g/[ K;;NT ZWnY:PfUAlwWWil[Bra̰>]99((!RQb\6qrLBIqHe[zϵм2|GxWnG̚'[|bX~q)Y2{C x8ېwq^\d.43:zr #vK|j@~$"5+8Чuzp,:"+~D=wX M3Kn/#Bͻ 7%Nz_מWI:ɱ|k5'pԬrw"{yb–O~ rw⮟[WU^B+vKl 6[. O/ء48*VNxuAJ7rx𣐅x,N4\{h4:ovh6$r)RmUUĚsMSM%) BPDWWL#->Z8T U?S5ԇ6aW+]qX\Zy5 9$h!^7bkU}Q uT۸vS"z禐Mxd9Kk/~CudtZ^wB6X7b t̍`$jVx :jp8C  S0{▥3Hiuz ".ȣ,L`LJMR2%okƅ](pTx zM@nS x"kHMa%[l7"%LyYW,i 8(r\*q..V׉֞iwY| ✑.٘e 2idX Roj{(R@XS5Bqֲ_-=Oh8J_mj?G!dե $[աf%rƈ6i̛&EVkFNC$T%h\B(ʌjQZ. [g8e%KIZ`-5D4љzm *קrsWHƽl,Bi K@qz3S'heե+~W 6]0c~ܲ ˣ4G0iMsp!Dmd_d^㩌(qw (J،HGvCZVjպU'~MT-n;fOPÂ\Ը C+YE%UJ ( rZ-WSfʫu4c$^j{Z>lHam,ďk5X15Muj,N}﹂#ǟ  @4Y$ƿyD ڤmWF_U$L\D%w |BxѪb#_ 7& [C~wDY'V,RͫtħĚϫTI/_< d9}1ʙ'bQ|/uաa)P8„rKoMz5nˬTly/ R (ťB;1^ۃo2lNQy巜t~$/Ƀ')gc7- <40Y8dk)߾MB^lZ[AC?JAXRcU:*#@PK[9Y`a^s*y B%ܐgjM.oWZ.4ϗ[V%3|iB@dB7k\ 竗Xvj3"0m̳+24m0&_g!u~4/HwT0F;j@2ERU1ЧqbH(M8w22 $8܃]`L9# 5Oa/ml~>GҜS㼒؍/Wx8O^">ߣ#Y=@\h2v)R[i&幔%}o7Hm;[_􉏡MςGg3pBՆp!p?uڟ{Hpp?F탿$nߝST=]dތ$[նb7{ uRO (0g);v-P̛"{i!%AtX~m= 1_۳pS :h|"te^ezA++zRc]bDE슫PSE<6Y*W݅7&~8&/ֺWUl#!d|l+̎er('Enmo^$Ѧq%bMXQ;qfZl9[B/kJ}ݑ5A7+x `JO+Y޽ɖLI,: QV؅Q}z2s,.y'ˍ2EQ7KeW1  rgMA'!T`Jx1c,x/j.tU3Cw ,~/W"gVLs‰xir167&cc 1vX9c :Q&N#kхA4jN@`3>38+QʃW'zԄZZg].ub^r2>a'T?a?8p=ֹ;-HACÿFΛ\: Oo|. ~jv=gv1y\ |jf&mNd "buE(PFxD^Q nG0]5=^xc XS\K8߲jH~shɰ#$^,ivZ'Z)zRMIPP9s|$:-۽x~-B Aw8M ӏ~t0ţr#X`%>U7. ,eLp8^#YS4)s(z3T 1mzdzLmэoj3`qFV29Pd]8*beڌ>԰B59=Cdwu,qH[%mfgF?T!%˖;TD,i$<Bj2:Ѡs3]4\9x9$@;+{b Fע:3 oFO1ŰVbLTw-Dܞ[ph;B˖=sSn>/C(f@\[fpebtpOT / ǯjmT_qo 5>;.9./39;rQ2ƉbȠ\B Y=1wPN!>+h$ǚT–Aݘ$}He #Ic Dwa<:`4WCZzL^]izo)׏i?(4̐N+gcX夕|Dyb]~R1mv*.>tXzxb*|U5V+Sus(,-ݦ9íˡKʋWIHOlf;g4bIn{+R'I%ϋmP6stR%Kp*BT~f8r>`ӕvoW֙ޫg>^/w3ezI*[~$ P➽n*ѰdDPOͧbB1 rh%U<͂^)R oB%BRG-ՕUq[`^]lFX&YC7ޕ{Xbh2 M0gj=gLJAZ|Nzȧql ?ba?[x+KZ 勹h}@th\3wrbVqA0Vo—g07Q\p:IU6> @'e BYݛRcCF|,=MwPע N<7z:y"4=)Ks1j=m;ty 1s=%N{렻&RUCQj( o2m=#q<{⣀~ק΁A]҂Ag[ K[Z6f,7L J_9{[{_0 VY-K ]OG Q|ю0(#xVh~3L*:PϱRd(0\V dާp Q׀Tb%UR ҭ $~^mC2xn+qyCf#I}-%h  TmnGm3oK/p`r̐#vTq#xm imwK |V_:6r+e  ҈6R'D] SB٭=}WHs90b"_X|b%n35F zw o${xPO.aa;MGX7`fu?ǒ\Hq )C HMKo%a /Vl^i"HCZrPCJNT79LdA','Ss]>s" i MFށ>@ˢ2^0]T,WhSg,"ɶ_v k6ЀU0gPѴXJH=7Rm*; Gy8ONmIч[w BOK@?Ǿg;<N;WW|p;~;=W&V]~s>0}'M_sSK)Mp-sMSYX@{jNm-f9`&K(\4N&QcfעxA#I9dbnhldhle0}{ׂƓetvc_QG[pg5&2x,hP4J oZ=6k"4eXwoB羴ÆMhH@/-Uui{)R?VoV2R}6B`>؜oJf$<4F sb`*~(,:-ᵰ'7Ҫ kk@v= hɩ`F'4jm|BT` 3Xo-3CE%,b;O!o %V Ck$86L^hh2K=r`zhY+D+pG/',T8OH<ϩ²* )#xKQ[KhLj']b O>Ds}IDpqGգt58\K|_2F yQ>KuԤؼXO=_K kcL6~ć(Qrc}l0miP|?"T:Lށ}EPOs˽·mGt\.a9 㧅o oލxk5wlW 6jšq@ J +'uA7dWDP19W76}Ƽ@ȹ{(uF{t ErBpM`GsR'(4o6~k> Js^Q:;YP|0I ġQCfaU~'~ ܅WnTr+c0+nǨt_A(#nRf.L/Sk Z9rm5ڤs߾{,mgڬnvR)w IPS樔<^$bFfVy;/sa*'>a9Z.Jp/woc Bl?3էbX!xw0l4R&/>ka{@oR߉G[4NDh_w`[hT:}㺟J@ifmSq_3~Qѹrp*';8Gbu}O " bH6Nk P5E#_<3'[ק+X?r('*LRLp)dOVDw]O[ !sl \ Rv+d•OvcaQ7ߧdl ǾZ+O~QC ~5^Sи dV. EB9[)a$S!|8+˛ݞGE(֟ dP׃ab^R-NX1q<\y4;f_{㵖b3ld'm}Lz hRFK¨U_SH{w3wlt #?4{X/oM!벡Y6;FHm5ݹ3Bŗr)MiM!6YE\V撈y[GwS:XxR&-4ܖO ^e2Diu)NLT%߄ 9!Ka7:b.mh@aN oB_ (t8b[ٟ v3okn v0qp_Nc{NASg_z 3 .$q8A{? KAE=F1NScLne.T2zڄ&z1*6c-9,5g>нmYsdŧ\w~w\>]~(ͯN#cm< SFYTR&HC7MWY#{XL})^'Y:o8N…OzdzIyża(}5$8*nL b?FA#ھ3(Eg"n>5T1 |;=lYwjs+j =l:2*Rb%ct tۓ]>^܎gڏl#A>[?Z#hSpexLdL-UP cf|@浵.Y⳿M?X":r^0g{Žftl5[:;E3np0t0' BYg&ZS9h8 MG5$ I۾v_D3_KSs&a> }V~ss1şޖ&AŮ(]- \|"ݡ[7; c9S&^/β쥝~FUMpDKi FɅ&C(xaF^ ӉĬbth +HEоL͞= tص!򑜿}DžG%oNEFAyZr8CV˹Ҋv>[>Rb@*^uT4gpnrMAV/k@6C)KfVz@ 1g]T< 4&.:OVtQ୬%}Yi YpIڃ j*v8Ы[7QdvjVNA>e_]I5j$B N f^ حqJ S ݑT4{{qӱ(un25#*%*\}ћsAL%.DĠkn`+R|ΫWK5z|Ë򣒚ėl޽ޱՀS|4ԅ{{&o4MnrZ&I,e(<HXPgOGzX> jos-ja#6pαϱ欔"&rb\˶}Z;N?`*>dR!IR+ (P;؅Pݪ' A' cW'JJ2ï3Ё`$◂T3FCӍC^ZUqB/y񮐭xDΔlS9O9u*"NZrB,fMADOmo8Nbm{U8v{=WQA^_I ;A'Sm=\Nob!AOGVjeO[-]9!D'ci2U_:kOx e1A- "&I JyL!ybHҺe)}Gdq|z-7φ~GArsnka 6"3b,B;gYZ5e55c5d634a5bea5021d7983aced0705ba8bac1979d8e835726df87c7b301a8f091eddccadfabbca 5aed350afdc15f56ad5b986907a91213f8d8b65d ad6d44f7aedb014e340bd82c93157922e7ad3f04 72b2dee53e9d7a205377e7f99f6f03039b0fbaf8