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  #-L$ ]S MonoidalCategory:threads=2elapsed=1087.420cpu=1886.164gc=134.408factor=1.737zXZִF! G^ ]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C[T&fNwcG #GHJk׼LDmB-HwјlG^}_;DF k˴Wpf 9 S >ǥ|`UQHuGKuS4J".)u)rɬ]J-9|dB6M[nHc']QMrǜ*Es@T`)Uq,4䆗\`s;mb iMNO1ptVGt0o0vCЈ%=o~C 58+R3P xS TK@xՊ0l-Nn2.ϲ^24np){%TU7>mgAUDE[1J{깑c2'A  vؤЄoK.ZȈ<3u30LD KDKǀp?3u mLX I - MonoidalCategory(4\ja_ex=] @ݡyW*LpHb dQQpfEyMe?z@^gF$;[TMhj}J`$Ō'&_gOk&9 /i_.&jK!zhQ Y.kKQt^foÖ'AC?b/7(eA#WP#㏮F\-Ez)it$nZʿb7Vr)wik`4 'i Lyd" uBFPneۀks+kzi{?eF⼆tT/lÝM+sKQج _ D\?ETb:U`bTRO3dE̺_Lz'b mKx?[,5j dqbFGJa'IU'BbD,i}2NhP9:M!_糒8o4CdtNam0xbI>I\ps6+&̔$pnDirnR' 8/z&>ȒiV@l:Y(:c7}:tB$6|K}픆 I"}5AҾ.E){ȺrD ѼUGo44~x$qf ϰl*θ=أq^UOM cY%'j,p&b  r?94 u4Cw;P%(㴧zN邨H'e&u pټ`(cI/-W3>)^vq o?rY<ƴV:7IIuHʱ$8VKRf Nvk $wp\375{#X ,T$rXll_fiݕcR?Mc<'A01hǎv)ML?Ix%ۉv9SGPY,셠  8n2nQ62[@vDO_T);9\( 73NuM)>qNO̙ 3ܨ|Tu-Q^ԒxH'~ěnӽciX>#@OqtƹtC:(?WÍBd/[>]8g6)yk$|%#_8`eTwkeS4+O6Wa+D:ؙj_f/yc:fp{p" qDžc:d2:\c{I8\O&&F\V46KUizM9ArT?QrvfvhP_0iUգtN!+ґN'yBȩ@1cwZQcbw h~&EȟvЇ:>'ԥB$xSsYZL)4YfB:hãeAlS;v:؞,df\`,`${F>m=IԷ5ץ]Oʙ_};&]\ ),QƪĬܴd+S}Z N &W\yQQD*zrz Z(+`KS3Lb0;BP*jI,P.c]v=LB2D'y%xiYHQ՝}f mfiE{S4t3NrS#Nz=54;)ERFPIA3Z:eΝ\8]pLF5DV3ر0j~7sÚfEUS,K#l .7Vq5ep?Wm{$Mw TH@ b@e?ZN6R5mAڋ*܃Xh9'\'@(ʲȑvZ AFxF$g;u,U,bbBqk#Xp3c~'%X*Pkn[W{whY1E 5 qR+]W9(퍍;]+0YQg'@4\20A Ǫv?vP>ׯyn:ʖJ9`Cz2mU>ߢSB W1sz!tI-FfH]esݻ Nc0E X/6=.͜#ݒz8K/O2oX;Ra_ H}-F}و68A 'fR8]OFU}:RAA Dàe-Tܚ+zgfIR/ؑ^2v1ְbbCgStƋ*("'Ҩ>$aϽUm3IƁâ6Z8Du?Js]?@!kMӈ2SzcxփF>ZVFw,Zµ(l?f 1ɠ|ܘeD~@a*{CP5b/_(>ObSqj%Iis#B{C~g4)H^o78wsdR%~V͕1qαtf;#<~#5ir0==?GԂpiOta]m*P^1goW44HAMY=ROmroֿJq%_kL;v 222Z_ |KEͩ!I,ڕr;MAM6&*b1$~?C"˝P_}T%:8V B?EL`5Uz<${; 49CAٗӮt gov߅yH Ɯa yK x .>FqqElV?^}Z ܯU#Eӂ./'U-a ?֟ c{Ύrfz3lIvqd>"Y2d̜·Mj3<3oc=E&PK=ɪ:P*: h^yvaX?#}i`th#wzwɡ4vs} F2`zzbҽ awWQ)89qG5|F<_ɉ{G/ O'Ȉ{ruNf ֔4:œwC1V-ODfgysqPUyk.ߎG8gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:~mSA'P'\vbiQ6aS#^KF }^ѻAVy&1pIq/(U+woUMߺK"@$PϠ+gYZ7zXZִF! ۊ]ŗXi%9*]DBaʭD18B9.vm$yUKdt'o5pKNB3MɽSdg6r]z7f߆Q} (w_*BmQ Χ=,l| e D̠Z~MoB61MrQ"&B"ؘY |;5 x{6MX2_gΈqjX}qÓ_ mDQLat8Uz`}Rڢ̜ _Td8 u!;OSN]o* XCSe[޵)a@V:V@7ߌAWI;39%r:1KM-k4bA"/XBr5;t,1%Df͒M!Om,Wpԧ%T\YseZzi )ẉhM9>Nj-D-ܩUv=8/ (?~ʷU Hj3xXUBvÄ!=WԲiR鞡##]cl=u<]O0YabU|<2p `reǣGsj"L,@׊]Q݊==W}Ej+DY[>r~҉?z[&r2Ҍعd8zVj|Q3}D0\@[L<#.,X`~R+iv>)yL[RЂ"E{Ò&v;Ѯ=5luLa>ie[#Ay.~if#J&Χ)tm#8C4 1mCh~+9)GcȌ¶4БwƆx|D5 s< ye1ؗMC&4"[u)Hx{hKpm;~ wc =C>lK~d\sl~ⰢFS|+lC>A7ԌtCz;9n/v>iG{Cocϯ%.RDFw >%Dvp=-iIׇ|/썰3H,jV3nžV?ƳR͡uXP+1𼼐I?XdvOh"?G6`yl.OnY,@CуȒTy5qI/OTZRτKvt;:mu-\NyejtB|ؚ<-0v0yz%%CLxn"qpHX|S1q⨽1]/yncB[sn{D6 AoDmtƕֺ){ځ)2OUj7>(4p} m4\MJH[E[ W';ag\"؂zYȘ =y, +(-Ao"-f8%~$noa,>">-2r&&9pEԩ5岇3o(8**Пguˆ {:/ʯj'!ȍilʭc$9T!{lpJEQrc)9OaB:#joQ_ }ߊoҍ*^?CZi _ce;?z¾>Px0^/ȏ,[򀬏/sşL^ Bܪ-?#!?EAC7SёXˑ3 Jl~55`,@w/+'mP DƷզC?sƾm e`w17}${;Q$cwJ YnlP_D9䲀"ZrԓKҤ|Mݝ3thXBxǟ,{$ۦg}xl!'r7geWDisJא<3VDsPǝx7@y ZϳtމoI*YV?a:E6%匏20L%(,Ojt5&Tox8a#W6wBfwSڇ5yk$C_7˺v77Ne=' Gt{LHT 9j T,M!sɮ-*61EXUN *% ! OX>PffXvm8)$Gnq][x!4iU*Cvμ a/R9\}:#\UѰK0l~my%6+^xAu wۚo7dSmxt+SB8-~ ǎ,{v@ R*1)J+la( 4Ez,+D|VEڍcXN4({&ܟUN^bU3Ǭ.7w1(1y| #.&78x^S[B8 Kwc9"t/%aVJ_>Sޣ&AZ|7"[{c0~dĔ5QH q8&,eԓ&k?+Ts#Li CWi _gvL:5CUΤ'Zw~{$J׺GmT8'UGwB[5e-.dyV8c;^HH)d|p&ּ z&JI K;LS~}\l"Uޅǔ[ K|ྮ`Y ?~|29%>T7TmV̅ hV%Zw !Ύ>5P0`k.}Ďl5^iM8mMCJ. ]l`N3jjta A¹*D^IQMށ(J~Ғvz1*N.wUpC`B,"l&t-K{ۡ1U݄V^+mP2~)V*[4C<9%EcBO __=z@Zh YmVc`~2L i(uc(މhf逘Y ,ETu`j;ڙk!oj3h[y :z~[#@vݒ!i1 lzgn32k @>An\ego+%m|x^u?&2DRbAmA6F ^ KQ~|CbsGK kەC8>=+@ PFOCQi5` OyZV=!Vڏ?ԙa!݆&m5σIRFӺ6DҀAJ<_̠uϣٽ[2Ώ{G0 %(ET#j8Fw~\JGu5׻wI2z`q)#IP$Kq9dcDsN;BϾmVf¦xXgA![!ra͋ڶB-# {׈V҆)f7j{`5cCκp]%}Ӆl>xbn?|9jT9] Q+#Aݐ2~MO(n<sq j{%HjF8`["KWJ13U _.~O[SdogdYSWPӃa[P2hqd9L֚ה=/ױ;?ԩZRpB8V1$5y| m;Q o.q6]$ JUT1Qʸ3G+OL%79ve{v/l4MLk2: j܂ę`UR$Up|9 (Wld_ cT.IUYz 0no_>sLNT#`DвTn~%Y#CLRMG>7餺ZY[jOjgIKꏆ0&Ch~ c҇_*M{~&(4q)dCOnKAZX@T7=H:Xi{?npBbY4;[F Exmu 8S-8SBV0:zHrbum(5z~ X 4ރINonL}.XUô;yD ; U^|\*ܮtRC&e:% t(\T!cW"k\0ߙW ʍٴ${=\rsOBmڼs?:v*er-lz_4rIo z-z@J"&%U ,c$Ԏ)tC+KlpW3=1ԆF~w_R2?C`q'ykCU9))>S5"t/uθ:+]Q@xY6|5f%x>Öa51Iqt72kkH7p"Ž@|I&(P tR=8p [Ͽzbhg3Rb]rl:,cH[vc|҆-4ƕ^>f)Y|S2GmqIX$lVR| abաY(C$̝V;6z>1Za΀햦ZfūEkeHrVg$RtNJ{ehԍ6@"{NN}i# ei%*p3+&(QV}+۬ɋ`V%ߡ $AK &a;=L(o deNl;5a))&@nUiZ; >tl]NSILr4dettj$ tXZH؄5ٔ4R0r⟾CTy|9㺆e=uP3+^6T#TBc=JX?Ih #?XEETT C 29zS-7b񞮱R,oio3M8ЙJLY\\!!j$J:< =pb v[Ea$B%r#AC#I9.\yQliUO~WN~Ur lykaQ$鿆*{ E#$,!M`IDFPN(,Nil8wY821+izjήsCA~oלob(q I~J_٢Jפ͗zd6Cbmq*<Tcf_s%D-сuqu:=Sw$$au11Ev(ˈ \,yڔm-;~"(ƩdY5>xnB-GdDz< [˫;%\w@nE팩$3$M_I^̖}Au7ܨUBzjF\(ʵwhVDEWO^CNz}:EDAvbnЧ~^^˕ xUN:lh+w}dx$.+fvx^W= |ڻ+$5Y\huByy0{bv &wj1!%uټH#t(1^ĦSt-}ܶ7[43]jMcIfFs%q,yK X7>zAW7P.^?z'y&AÆ3sÑr\e$|j=˦TWR ӨSx4/oRSOfkscɄ_\ v51e:`'6[i^/ &NJv" Hącq/a"ovS?"0-FI-W7*X T}-r"**) M#U;PU ?CFr,6@/ĥ6(ԗK)S+0u6dl]5*~ s->=n@(#pvTQ6 98Nz_X^ufSI.E{ wR1Z3L[v l3SYBԒgHg]5 Dzz}^j`\{&R6Dž]]d T7Ӗ0#Q>jZU?sy G$e;-s}ouH!zT'{BcKЫ[q689VC5rE>S (R( 4Yx*| =-_V*MCI|.#u8:y Yhjfby:b|+T?7&8\b==ă{O?R.2'\A1)ڪeYCUbv/VSf0֡mWֿH7cYhaZvyh\h!J螁 7M7f+07>Gk ??űAV5$6f|7:8-lxI߬ fd }r0 a-P.B&L˶"Ƴ௺"*mLh/}W jKrg?Vl}LR 4.?/SC6Q 'uQG W}<Ӻ"|uZNR@{NbѶ(dx| :lM+)!O£BIK0^CeGh2iȿ=y´*5 .Fz%o|hfo`Jbh{_!^.&|WaܞSnW4M[gSR(BD){?{#8lcA}Ki3b??QC=Ƒ-Vpxz=_`{oHE.w8T?xfԯso!}P bctg9]#:"jUw;?v 7V5 .c# 86wE.F VUxK^.w/a6 QnKT8bO#{?(e{m>)jڍIJ}#!ގl( =-D"m;^yꟿ`B"ptM2R2p¤\%2T[Qx8jO; oIMSCYi\2H-Gu6<r2o4f Y#!i);:x@qLɦ^n$ϵ$3wPP_%&?l>K%tSrvQģXl5$*^aɩVp:uU· @-sbش/f{T~dwVsݬ|h%2} n2X8mYQ Dס4uo<1FM̝[%5I5=ˈK^FoCCO S}6yd-ng5rP.'ghh 1ѓXT1[ceQ^,6$͛wD~)SF̨?r Hsjq믐4IU(uCX{'d9=W )-**zNV;H`+~Wu$ug!lېemIǰLXl⛤QՄH/4 8ȈvNIu/w”HWSŶt4x gDz#!flytz^tyZ7Y-zq wPLƷ H$Wgζ Fy. +lA>7nK#pS=W ƏulmPռsxqE)`ࡓ-TCE.RTӠxu:Ya /2I~GbQl/MedV-Eu@,X2.xVjLC&gޘqyϋwd& *9O Xܻb/^s#Qi:+l:{Ǽy`[In }˟>2dpDq=pQ/԰hbC%OXkU":P>zVV~Ԕ U%{_e︐rCLA8S~`}BJU'5jι:IM)KcĝtXqp.'⹴Da9˝TaN|cy8@s]Hjpڞq.sT13J*`w]t #C)Nu'Yߍ"isJ]OP=[q[yW^P8Әm)Uӌrpz,|pHSbwtb9\ȿ~{ r4!oTWP4dMJo q8X:;HĺSmyYmd{>;/۬d#f40A@2ԲxyWɆ]b@+~έf 8M|qRߜ4 ðI 5~bLqu;3t,Yu8-?B2WmCiǐY)ތ337+YV&MG( Tq?/,~yc w0*֬U&Q2;`}ILy[6X+.dBl.J屨լ}V$$7lOB5WǫAlW;>ә#`onG O+^R׋ޒv&,II?hAvlj;<8!;P-K=#K4֒By|j-ḶICi.ՓCpWOؠEN!i <h+ĥΕۅ#>߇|bМRbZ_L*vV!UBq)KJdijNLPhj|X@ q~eXNID0@}~5Ϭӻ` \XQ3ay~Ĩ&GG6#NX,׋܄f̄ڃViL%"})OuX ֱSY>Cj \^)ֻuI:*Z#F&<̯5ҜmX03u7Bv:ͮ6rԾU\% q p $O;`XG-48ZIamQ^ 0A]cI<=Z]+p^\/(}UKmMVpm5,Ift+/Wv5>~zʹ\џ"v-!Lhy1}%6v8 dI1{W Q \13H!=&oݷ:JXFkj m!IIa^EuC: O#q*K sF&@@ӆݧ{F[v@ ndos]b;›V`<' /f^hg0s>gRf8z|n}&phM^bPA:YI"oU;a9ʒI;ƊMcvi˗$0~+Sv7TS> ?ΈrFR;"=߸?_^_Z72|d2[c F=DgӇμ5S}{*+l/yQ5*2P{1z fml'C/RXߩ𺬚R,t_BZktGVEC?^%P0F|0KwyqvNlmFCl_a9?K&#!:%ٜIJ{NDސ[UnA43Eiig3fD(OIύAܢw/+nC#Ck.ʂ1uA_ë,u,@Lv%o͙-i"?w%ynOND0o4[jkG0 ߯E[Mog*0^do [k 6R^- Z^r*0s0ţѣFXFpȆ_* \sQ)+9f?׋Vq^|a#/4'`BP KUE'Xn<@I[lx H@!M?a@Oh퀨_J wHA|huŘ3Wm_#d oX[Er% &&K 1}|Z`]|Vˬ1Z p}PH;z UT ;~؁c[tHx$x]”U?&L5}],qah#+9 S=Gߎ0X~k:]N8pByoS+W09-3b@'þW.I=lg V3[<^0r۲!q9F~s[#!@m[IlKHP,6v(#hbKUr1m*0@\BM3s10;krewU4ןO{(F F49lfU3e3D X j[Rѫ7"!^yɥZ$OFV2kuw7c9E\Ăi*dvI螄]ƾ7=~*}+W?t?4/=VÔ˲@H8m4l^_D ٰ̾ʿ;\D>i;+%d 5WQj9U;lf9Jћ"_p\آ恈9|?"˿jk r]zuԱ'+tMG&0@E~cΦM.pَ@J;㫺˸?0*/3eY#uIpMyM4@a # Jq [p8nT ]ȕ̋XnS ݮM\ϑˆÊ]迳:JXc@T}o4Zfΐ"dGK{5 }ddCЗؐyC+u*zy8F/% Zp]+n'+PT uL .*f G`@PF SQcuMJaF]WJ#򗉟hsW sd%GH2_wS~*tQ7 .)6Bb%@F,ir;B=+ E_D* PaU#:iFC-M˧وu9*zCdY 1YǢ'| +k z _ϓ< Y q@ sE >8<€(!6dH7\E!)k(:6:_Fq#oo~uR-P͌O˾8PEQ4xAGṹ_/CZDY昡hL)V/L65 kXF!ڞ%4^$]C&q^QӣW#(\{t3L<쓡1(XS7XR$mu/ea8ݷB&E[QϑGV92Gc~.툌))h94q.|sj4B{RT(^ =Ir".37Jv \o}'k,Ҡ঱r I*q Ïh DBC%={W =",ǝwU !NO8)v8V5LcWgfuFUGm6`(?yD^$ LpD h;oi=y޴%y5\]zeIlX5r6k*Pq,ɪiq GI'0;WZeʡaMx9#X8x>S`"@2(sHVn@} a: $|k͊4p&Aniru0IP,m@;>Z?("2*)0b^uT"~Up"L_{I[s ֭.sHN3~7 c8Ll+Z2>ڃXkFw5Ws(}gBsިM@V$~f&e YO@K@_b}-r- l e})'r`խo&wz XqI MHǝG`7w-V'džiY~¯#ٌ-EpeP{{DT͢\G`7[Qz!_+t[Zv%| \}ڜK9םmE`5 |鲻s}a:`>ۥPսFH]:%ٝvWWuё6"W4cL/ ^ߴk#BތC̀"l/i:yeT`k]"of5?7?{ZT{2LI\+C!苟X>A Ƒqjƽ{ɶO^o8BAڪ<|?ćxX$OM-s̾ %zrzB O$;T-TͶ>I%ozS9%YX2mAs(}R>P/y OS?~̪喣r3eep>ΐ3J>uAq yvb7>~,m=~3ȷ4y n IBnK(4οV m x(S|Ǧ~5t.v&E JGǮ:# `N ))- jeM!uq=r V߰kW{.-Yù'I >]H^Tn>El G2/)xbB 0s8+*FfPqP/i%&jd 7R6~H,@1w&a=[gYuPQ'FWf UU fI`7Ns+qD,3Jw5iHq! tO:мuW㊔RȔlYAw 0>nXQ@mpCzF؃F?ssdž$VWZ*7h(Sx]*TdHv@#fk@ B„j Db+ۿc9ibL7X]F$of"H*!58ILN]MC+q@ T&(x kʭ#<xm2fh}CadL^g`A=Nn=&ɦ͘ߝe \jwgTf챸D[ E^D NVj\_tÐhPfzBFQA&.0ቱS8"EiДdHjKu|_ROҼ[k܁U x0d$ 7cCqkԏY?}lbo$imrPT_x$<6Y{J.dS_!qcꧺ+5ZG Zb5R42?8y6CFV7uJoҊ R*)`_gI0ϫ^g"~edH=%ƴΗM)[U@7)N yEH4*d0)vެzSn =F>W%Ƙx EʗBjUMJAINCTl\Eb-߮V6Ȍ7eH0a>b?7_cD}X~*D[5NZێ,Xg%D\sEW }t)I߸/󝂶1+SPQaGolݣ4؟Ў{mz`jc&%ؼ:Px{܆PH3hzt_ۣh=Ί(D*Y/űc>I"nwCv4Y>K551b_ xj:0|1dԱȑNbUNBÝLjUޜ8bB) 4n|O5@[i~zCp`CP~"9dWDH_9ŒxqN)7:;#M~%f)<.XORFޙ_ەEVjTR;#Ї"oĔcZ5Mgm+z³fQ^}ϯDV@4XEEXpIZ̓VD3QW<;k|gZ+E.΄tBG"K!MT_S,?le{4 X<.^F{rN&03&>;BEPU%s%թ- sD?3aW |LsJOwB=I| 7q'ɧ%ڎC5&`1gmJնh:|Qƒ7q A˧H :|1[Y U7Ra5jBg Pqjs*˖0OfL!4 >Qw=BmEa]aDY\KA~2πT꥚(~͓Y4:g.DŲ_V"he@J=1csMg2fɊvB"MWs6}/r71wlyU\odJosDI򱣵#Cd#e:a =:cЂJzG/NV葥\鈪Y~jOmzܙH/;v|o,Lz('G5Ff;6`X/U+cl|mϽd:9̺hs`%J^wSkcoB't8HjHT0Px"\=PfuboP t놛b;g>jԺpAJ qd0ҝt/Zs%'[T`grvr#L&_{nTfd{%BFI\NN{]66 hE ~1 lj nxʒ(D?}l?˙";[lúzCZID}XҽVj:&)2Ț3%q5db]튴ȬuZXO8TQb(AAPPNr A~݇r=Ei/]lcr 2.C2SmQCg\W{&TR˜v1tFKiňrsom dYEp%ݹP'vGN'9@.0E]O0RxHVq }79t †ހ:< ubO zj`b@ W>/4?n|p Z^>L:%.d$v"!G}I4GtQy HXcZ}U-Fц8㝡e\P\ 1H'\73 nBaIv ~^p=\p! UPQ=2%˫SRU19`Q= `Jqtm|6MðD"/v7 _mWEK(WR@cry'ɫ\7Ұ҇~W0s"v%~L" #7Z >rڠ- m5 r ~nga% d~ȣ|ָhDzKJ)j*ks{E!B5X|y۫Rv%|1ۇ0D.{ ,8,O]4HQX4 T`@S5LSm(iÛ9s!.x(AJ""ryًbl2юSΘ7ZVL%:`OO}-[yO1sݬQj=Yz;J/n||{q) P7$`'~CCIW䓠8t\JEhr6B5Wҋv&)Zq2ct?=هxmHhQx)hiDjB]Z\Ҫమ#5S1nPxpaes+I1 P+X}׬"&/_:yXFƒ%Ff rdIČ688M:l`+me_LeY~#iCaY-|XY[Q4AM}SuzSߪ<&L,p,};&ŕaa?&uKc# E+-ɒrx-3]4e8aRO*b u^0sA?9ǚ[QOTe\^9+Z@)gk^eZ[&Qr@֘p6!b \s`(H.ί.N;{E`rJMP^SUآ)T|;E|{rγjۢg^"%Jg/(~*-Y;|o,~ORxg}aRjY |ӺXfݤzϼ@& <6IMfV$:N 2s?|D7вbz{JE;yo2L"cRlp]^иFC5323dx/='u0!@Fzk4d_X#; >b"3Ym{7%U;Ff@Xꑅi eԱ/Hg刪PwGsOok<dDR>/oи~F ;K?S)2 '`M b`}jVZF '!!|Ž&(b|/JpmS*QѦ׏st Ռϖ_߂}Un3"Ԡ:҅ 4Wfv8zJ?7 ʤ>dh9YWUxj,@U(dIߛ 3zsJ6;O+l(+*" ΒT+:+i5{+Ă#O_*e%s941p]0Sia@RX[A^FXBsX5i%ӄLYJ 0ErYYb <'E9? 놫1q]o1~͋a%J.Ƈ^Ed2V?7A]Z4<>FI˝qwRj,^қˀd?Z;v]닮y/)o%o Bw8 ek?J~4b,0=SC ?3`Nhͺ~Q!( $El{xxAri{x5E{ N<6:50^'<ş6 bǥE춸u 9(\#W3DBi1,|ۋI9 %HHkQJ4dI1 <[DxPCŬة]["õ\W"IE$fJ->Wږ83}F{c rtb$p ~Xwv2aB Ck<㝢R7k]Ȳ\roKh.H7 :wk@>VAy7t݃J`˙{*[[N-O.Ui'|)6C7 y7۱QzZXGm+jQǁU 2"EMF>Pwko-!IOq$d`"}iIr£yR'eSؚ2G˔SRE\_(/0*EJ,)I6hۜCi?FbYF~:/.oy6eEtE5ch6L#ɡpuA0be"I?ȱxRR&ˈ^(2"3~tk|ӓHs\1Kڧ1h|0TK䁦b 1rFp3xb@B}I_SNdx'W~`溞M(͘HR:)vž%;pXN|='r$t'\ H;Q9kOv 8qxY"wӶʛ{n]nMn,w]CZ:VڐRgWCtX/ϳ@H̲}N E79ᄃhdHy\"t k:w}yآENaZ۾rjWOJg$@~P*vi,סծ [bھ(nDF"I2P-Ġ羧y !R.tGnRf;dڃfMMb'M.祸jr¯eMf`TH4 S2Zt"砮/]Pv͖l,c\'eO[w*d<e\qs9rʌ6ZРͨEPxtm(rvP]N8$CYYKndȮ\Ȧ|9[ .V y,'¬}ar/Q:y-8* & >*Pv{c FVWoV䜨>E.dݭ>h٨LC=O3A</18zLZ\8t&@ *lEB/I듗* m,g獿&o7M2Y9z rT9-)xdNځ/ɕa1-8%o0`͐]f} ӫDٓYTSY,"П0!ZqsIq`VX`_6ORjI,%1%\jO824DgY=g) m(ww/cDe8y͠_kXKK<ը$7ĵ7mm/ =,|K 8 Q1$n쭭qnKҵܺ2zm- _=d\v-RۚP snT+f l*5HS 2Y Y)wWJb!o MD3jYa;f[,0CqJYK27ݣ*>2s-L#ϧ%6do#S՚4M&s`Sa¥M ƍ\Nw^i̥9_\O)IM7gZ.\S9H%Vv\sMM ZH=m\^r{̟ UmeeMO6y/,?W|j\M$Yxf8//zmS.yI}@ʎOlX.o&ҔI֜R^ X1ƒ b>C y[A'.cL3x2.2_B\/Elq4Xԩry\0y4:bJD u6|'."tw_vM04Zn҄)Dtrab^r6)uzY|5Tw{eIpy nܦk 6,-&SレX J.)W}~s>R4w)n.N0'Y&N]OirY#bj4xK=ņg<5h3N-P0W?ӑiXT Cu?hbP$ɷ[2 @0j둑yEƼY.9ZӔ-tjmvdH~ KAmʰ(=6Aq p8ײؿd/‘Z>,|Y x{ghdOn)8Xz U- dDnpֶCNԾ' ;.킽D_(7F5Ls@9H MQ:|=)çV^~7 ZT*>|$~3 %iGkM} 5*XQN`d EĿY(v|y5-z%}c9CgHE '~0oW|vO oqv&\ _f],_[A?[ "bf|$jT6\3U?E#g"Rx;5Lz|ɿ hI~*F1U,Yyy*-ؤ3)f˹e9BY2X9; 0KzGW_~fN+mE_"M+okM,$l& lgA09(!'g[DHy_ՅP1lظf5WIbnmoO{7r?qL~,,ʉk6eNJuXx ԍU|YU|'g̞˼HO֏#7kf0)ӈrpN5ܱiG廣7 }(7]:6#W sUd,^bZM*HH~z!RXVyGوH^VѤʼndY/] #  7w3DBEbU)щy{YGCO{>=@(id^b  mc7HB F 9aVf]r,})ҍ)(E(>yoMIW+_'w jCD]սIEtJ& +VCX,ܑPaL#i T.rhk}\W0͔pX 8~ɢGv S>؛ 'YZO7m*NX_;{5fKKUgMp(+l׃^NOhv_w%& #;*ˠ.A(||o(TLNQaV۩[s 1Yԋ93xTJF`d-a1::<y;Ck 9V}k w\E$V__lR_p*<Q <;ܘSwLBV|JJ-,۰U6ez 8t3nݟ@zM[\jG4^տ>>߾߸zkJu<gQ>Dzrp# )e6[VKRRV,WsXz j_+E1sD};v|Z2\'/M,Iie[sL;?Y;չ=Irg#f']l>Β?ҹR%e0 AxHZ=}tpT+L/{< ,`Ҁbʤ*`T`ZBWh+&rR/k.B"JM/,ӆ9˅U#[Z;@\[ĘD줄^%zّ*U$Bz:Q%oG!?BT+C}3l28}^rh^P2F5[͖@D8*B za z,UnK`INu=[ű"XTG:XឯܯP@pKWv` CcH6$Cl,R^U}$ _q`IszuZUH{a ,Jf\LSq #" *XLsA,PCܺ/e _ 4zVCkYyo t1+ҫ0uK3,R߰䜄CX'3↤89vxX?Ӌ6Z+'`.to y#ܪq/#*|=(yU#7\&u,HjXN6aUw/ 9oo_zM ΀frUB%?X*ǩ9B+m,rvB;waȥg~:OM#B$G.+,z;X}%PXދV4̔G Vo,Xj4Ş${W{vcZx rsQvv*'gڥ[/Fwer F̆7?Ջ/%N.f)H"0+fW4!KQ*hDoT`Vz ==L"ۈT2Rv0rz[ ޭڬھEn KCͧ_ >{ؓ ୺;AD̟g4-Dvd J@f:ueӇ83'B$A9÷ʄ6DR^;2{kģ `W`"X s)8vL"Q_DžRmJwTk-(2n2^q"9"ͮ|c{;؛2H["6/VOzA*}E6ar "q$NR_vAXMlȮF=`h+ {,9R9K}_c0pqV۠x5Ӓ\oLb$ ז-w~660AI h\D;9 1 FefA-d󏞠]f?qCS)s)٥Lu:I/'bpk>orb>1.2zksۤ[Y0kd{G=$MɴXy~Z1GA9^We!XvX Ĩ oYT6DaOa"<(;= PMd',*`](,O>hy\[([߹] %TK5p9_k6-gީI_so k3 {LP6،0XÃ@6] e>fNPyLncZs¥ڏ9#A6! tɁvmE|.3"岀OrId*ΊRy4?M[fUiV%~*fHe8rr}z*nw_ؿHC 1j!"пbab,|b8rIP{]\э3Ea,S}.z?aT3œ~A$ XM07o _R)5*$r'-YzЀ(+W w燁A}JS QG K*rd*^g?5L"`nVgws{1r&bzXd&-Ӳs<- a2d`s)ہIwV̓>Hf5 6y7=-\?P15+$Oa˗j0rPnZ" mZ+#U|Hjh"*1"ZvwMx.;: ?h@%Y,ƢM$ <R" EԽȏt3e8-gah@sc_#뛌*'ͭSRHوkj #Rdeғe6[$|w. Oͱ.5LZ/;[A&mG}޺T?A2ulU)ْ>l VѝwJM)>xXܞQӯU.뤩R=Hbiٗz3$5"\^h+0%d"{!f%uYLjds#;;&©+&R5x&&+R~ |9\!Wpt *Ռ[>˶NSR8n Ocu1;#kt?LM†G_{LnZD:y3*\y[sJau<Ӵ^v ׉__ǘzOڣ(1#σ.Ǡ|I7_t{Qz4 r ;1vR.o^ c!ؼW|sh2k <eJW)TwT1 n#3_OS@\[N3O>&IhXa\ v5d ȧO|VDXJo K(}^&}5ƕˑ7/zL(0wgXOwAdFi &WgkGxqʨ}XHtc]V MS^ g#PEdIv &Oq΃@ 墎ez1gϐ"r c wamoqz#P<Q>KJ,x3(lN]R tm =kMR{5,sn5O"a?:\Swy:D+x_4gtڌ-wD)TW/zz|6&21g)s `) r< EEAj~ptKOk`=GqݎruIjs.>HX=]qZ]eb9,?laJɝ]Xιe1A"{֡ax'ROgi,j< F4U n)\WMVaƿ٭v-sIu TE/[ \AeR+JDovh`[̠nB;Dh,4uaK|gp%fBk$;}ecG a*+ZLd#C)X"`=:{$&z )M꯰O{/Ĉ|RkZH|ygx,FGΗ $vތ :;&2:N*rLy[MEz>m!f2cͤMՏʰU2(hX_כ,j=vCrIUjsԶaMr(CdWjhVW?Ș3FCd!R|*Ŝ|^n~Xn$61GQ8^HXH< Ԋl3$im<[˾`+ūZZykG^U8!uwrc`>l#XWCPsT&Z$SHg$K`xsruZq]o8ZǼԷ\Մ`98N?3?U$o6"* 摏/Ҁ 8h zi~/4)W4 8im? +z+d* 'B ٽ5¸7,lT? }%5tdI\8Uey@ﻬ zѥdT8S1t;K]\kgLJ{$LT5JTWQ\Ml#aKb!8E:eqԛ y+w~BdR!Sr-ţit$`/eom6MUQD0y~N'wUF]X>,IχOT_ʒDcYt1^ۛhZ,,Y 7kb485$#|OfW)=Ǘ!ȴOX)e\jSzK{νU2^C*d`"yBg'H0N BRׂa<^H^%< *S6ޕnϫղ0S9Fk&AioT}I_i7i-w[aMT[hSU_)fDzA"2zCN[vtd]V?p< )؟tpH-:1B< p6$LapD@ shps^@#YKٖX!Ρ -.0mK\k7e*٦NkaE<^r1`\`(6#hr`loHh&9r ˵U݈:nC+8ESk7dGn *h}y$iu)'` p.>B)Bw0MGdt*YWWdYzPr>/Ҿ3~nr"HuWD>^{Itqoҥugue~nL: O[B iS4*#mA z0Tt1w\vJiJ3IfP;-]?JcEכel h|XɩQ7{A_Ӗv߸d=)9/s%D)9l| V/!7aj[V~Pzpq) Qh^~4zAEÿ7;IsמԽ7vDl]n˭z=p13m|%η@'7h;@'w|?` 2e{ŏAJ2yFΟ7ɜkvZ5nl/Z 9U+?8̣ɤHD45epl__&ݺ31S=xx5(tu]X6ws$X/GeC|9eXǒnITrη]ͧuZS?^mv[OE|ҳ"lL! 9ADF=-ÆtfeGkrs3'qXJ8W"JD1t =1Aݚ82ɵaA/vQ(DbKL>w¤5+J}~fb&**RTlU'ذĵZn\1uz`oW?q!d\IpH4xFK);7ÄszvƵbhȫ$d&cQs / |0&69ϸe\JHA'j˭6 #bA8y7c@o1"|,-!S=utD-_`r]a&57_Tt|V47d:%59vsA˭ YXmUcmL_zc).FG$Ҿ͗߃QC xP]%ό >#Vo݌xMXh*fIGJ+SD&<+ʳa>zî9h3SY>¤ TCy?\   Gq/ơ=]C$vF^lOӈYvNoiȰ7(Ӊǥ5yy%FHUӇ*vib,iE!_bh֨t_@C[g &Mc"AȭoVk~%ORTM#~DO[tcT{TDWX>:XQJBBZٿŠ)}X.I:iNW">k!vk ?뿑tcՁ\MsZ%#v3SDH$U)ʒaV+zvS\.1p%e (ȉtTc3hpLy}r^H:K- XObe18zME\)/eA%Bc5@eЄ_˭$XQfhk:˖Ѡ҇JNo{8h$z=Q48S;8m k⮦\L4´Z8fѹ"Qϵ~ڞ-:dh"\c^EX33c|G8p>x#NWпI"!0 1Td\idg)eF:蹘=B7^-/P|ߑDۺn(Z$&`JZnI*;Z)| qX(wׂB^$gf{ſd, 3fb ٱ}t` !P>P4pk!} ~*9F,g [U wTy,leuENW u$&28P#G)CießTWh8=srƚ8Yg.fyG^dKz}8idlgSH{|y0g"uPR q MK|W~F<;O7`>:.sAʟee`]wl兏D{ 9\cM%lJK[s6e. Qr.E,pB%%xP߶2$hM,*bìڏ٣].F#H;-~h:yӮ5 +@kq&Ok5NzYkpD@o <㰵(e[Ɇ4=z!>4U; Z6l Y5_{)պ+utǖ.TH"@ѭ8lƿ$bϫŹ; v'vm: {/iq)'xK,Q#-ma$)J{?#H Ϡ_/8U"?r}ʦt֢9 3JK#')bGw*}&ğ`q h6hR']4*v(Ed upWd}ܚp3r - Gp%ʗj$,iw &Uu*fϺ1[?^Y@] c+ލt&! &`<z{NmMʠurCjL?hJ(-Ilqщ )<dGFy=S&i~:QA{u 5sE-;Vpr:̹˟3|B ya`U3M{BjV'Jc/hb:b xnxG:6:e' ZPpjMLXbZE]L}]1 >xD:< ؏XPSK H/N)k0YL|<~yV׺!~\8ŷ`; 2{L.-|.} jE06H-bpe]PITUj'J@wd>l( M8sōA[`,:T˻%F*eq<M^|1hI + {>TfɣvƧbKNr}6աѸWU͏ s-FA ~h|'yUN8,E,C#O+}1rSPpL3qHm7\DYqҕ"ے-b)uQc_Zq\ gurpk0$idk`snsnH+F?v7aɞ,(珂C_ӏ2Iv: [ FgؗݎxA/a3/_A)S+4TDZ/]G'EklVTX;bMp&F2z+t6E*nwK@;,$ =iTύ`G/[?>:JuD=~Yg24@݌UtDq ϭ'1J(rU5oΆ2!&?~41 j6 ta J%o)|:\|)3%{@bIp~x/̔IS N9PX(#Kk cUw.4~T$VXl 3RvwP3A?ya3جeTjs;ʁݳ ~pH16a]蒁G'.M^P*6} nbTYQ%.ţ";q;gJ2r%XcsqT4[nA->I؈uX]:f]ls!?L\+gK:S#U pP:Mi(SMP@̭M_,:&6,f?$j(8$|W ա/XŝkGs& 3hʏD l43̤i%wf +b6uu=[&suNcſa:^SϴtO^-vx Vd#f %PJm;L ET/:#bK`EܚM?SR &Ң=DvE@[8pBβs[޻ .` şoY}8v/E[d:„BEħ&E@HS\ۜ5Sk\Vɉ!WL=5֓ NÑ3z6Ɏw#ŰW#l9&<<;>l#dɱbKz &#ICJPpSXff_7PjSxx8pϼj9a1L΢e3᪼ܟbZh Q,fHߨ|]_cE+ZQ"| 'c!@.c>_X/Y~4{ҏoΦ+)TL'ZZ٣įh ؃uR:R=x4C9W` qql|VG\C#ziK[!5P_ei6giRO3gd S6A+Vʦ1=~m ~Y̭ξ-cW`s*vɞ#dT5s{8QQGKekxN;krǜ{a1.#S+_ݐg>X}RMmA3)+U.g!Z>(:]ǧ-@QcaP5ty-I[3BgԦlo"77,){kTGz|JԘ "KnB-I8{]EƅT#|< @#S6Nnȫ{at;;݆i1:Uًrt|VǞ^Hq"E?YRY ŨCHM^pf̜7y>қ\5NwڊFO.h #j g{釤SXyעGH!b(^ǘ|jm5?ЕI뮊Kf9ːYZGOyGC gyB?rXq ϋ 2~/7U}0T@*#8F,Wd|?fV6 ZnM@[4[ڃfe0Ʀ+ =f&Et?/u7iLZ\ pGn:P!J%kq}\Dd{4G?́T6(4ך=WuB];iQ4WB=_tNOnG?NkK~n0+O$?^/nN+PF k$a襤.kf!ѺA'dLdo\~b.!̻2n<^&^|Q8Zj{<6[6M/,EI@SVCtU\S?yE@I|*"'/vΖ~5۩X5a ;)H7劮x@ܹd k.d48wFs=erA8FVԹXuv'80hr kZ#}F(~P翨{wF?F\uJ[S$1 +MiG5so|HXCXʝGdӱ -<1w.%9+mRv{c5([{ .#hFNgxkF$jI_܆}QծMuN{Rb7H%A8 +|>ORZ6 ~ekn'㾀n$ +`|mYL*^Wѿ?'i }v2bz4lA؄Zc$G7d ּld|)6&߶PW`dPjG$K8ok^g$cؚȸhʌ]}XɞwaВ8oE3V%kbWR:Z\\Aǃ"kY%4"0lw´Y;gbs<`VzKt/8-6 #`Z,?Y~;BO^@Ą3"ʨm B7RfT־s[0Ƶjҋ\MIFK9<'*M;aX>ϩ +K+~Pd>ө;}#<10?Q(EGBUq1cWSlzT 0!g'J+ߞ~太`@Z!l9]t uu0xL;R ô-X_,Kԝ Ɍy^> g| 0,2G?~;ⱞj.|NF $ >bi+)qsY.d[<6rq:Abq;;`>ʥ<M؇OJ8w5Ȋ0Έ({`o%o +"kZtT &M=$&sb%h/o ]30Lq{<aYYxJm#O3m9fuT͖ љ"Moc̼ν_:׫CW L9jf/j٥_6*>IW".40&!M+],ؓ:`sѻM\ђI΂7*FCdɍytކ^Za*@ E)fRI"iMŜI wE״(|Y5s\:TCo} &Rru)75$SK{  qb$ͼjx袄cD:0^Hk( ͪ~ߌ[ƎMUl죓^D?M,3T@!A&{dner4;Lj˂^Aj{,L9<0s|(?5s@]E{btTFHIW# E- HiA}L8 ;*`2U&*Pcv*l(tx?l|a"X)֨fM?@i @U$M_F6d2JwMT .S,ATuP&MtROsۨ建΢TEti`D, U0pe<}#Lq @р ]`rUYy ϔlMҧF?^rwMk 딻Xd`0K]je#p}RQ.gUve0L7qd :Pӊ1 u!Cg/)Afq,V;y(sEc c"˚_T(qL=jv'haG ^B=)6㢾mt)8yY9EOhff,cr_c}ުY#$" ~[|[>@'v.\/b,d"/̎e3߾Jj+<Р\-KY&^#ܭ['˛PM}MGRZ=3~ 6T9JHN-m'2})Lw}Xhl/#ڑЄJgA[(*>5_jAǿ5~H+7MZ?ÎjLЬٗ?]e)\;S<6ۢmJ(ɐR}Ҙ@,Sܢ@o/G$-5Tۂg}Lc7QJg6V+T]1@;/I UXh % kHO<~ R>"bt" }-d|;L2=gY{\W ^{s:7Xx; +܀\;IUhA~*҆啎C]APbdR K_ VxN\Rt|j,f(v,%v߱ (h V4PWM\LҤ ^AG¬Vv4Vo\C,9!go ;T98)Wghm`lXl }OڀsXj kI4Թ*z}5}_ Gfiy!xUU%ĵ\@msL:>DVy?Z)S)3iF&Z˞P"Yu]:GJ5pVA=/xr4Z@$@^"V#R+{WnhȖ[q}{sPdl3 1Ȧgr״XoA7j`Y|<}}OYfC$c%euVEAj|nI|l:3q)ӦvTM,,pUM;Z^8n6ẍ@qoÉ')cOg5} T[d .$68STh+zH=m^t{r$R mɯhszuP>Xbn\VRb4Cɺ~Di?(~G8U޻#%vM^hS\NUL c39\~Xċ[#5^)?T_xNV/Hޗ lom-+CW 7A#c ؗ<]VI'e(mu%2D :2,]Mۣ4'~I<,N74LR8w?LE -VU@&NLDJ?P1.޵B$YS*=I}s^HS-ݠ\yEhR2ò)[a#zt`Bl m- opEŏ6NC CtJxINUu3Xk$ALq >A:[2$1iP-R{ Q㚂Si<yyGeEfQmؾ?rZR+ct@<^I;io9b9q;<)#m Vϰ%wddL |bym'#vKhos)Ě$U [@0$'DjĹ 'ۻ#Gm cČzj99pɌ},]j&wLڟn`O S X#bC( 1Pƒ$tzb bZc%¦~ܤQax<|޳v8H֜oԛRV)S[9PiQ˗,%Ɯ ?WqO1bPH->tMN~;^eV4-:m|o<.N u۶τts'4Ie.DŽ 6E0K02a~?lg w  AX9|n19 .?T Ƞ8d=nKsPz6 6gl%nVa12)ãC߷͆&@@G6lT5HR}:{680-eRBl[[]tz$#mLn NbP.[of 殑̈YGqXbn MCw?Sw1&TtRf!c8"ڿ B&OOOBwدd}gk DnhdU5)d CB#f7_gY$cVPG CR(/=xIJ W qG8ք4R6^S,wTw[^D!{3`ۭ) {uJ$BKݧL]4΃jW{qm`7+3AB4WɤTiw:(Tb&e~@6gÍ0}^;0hr;qm2#x3ߤBvy :  NQW}Q.]GDC .f%Q : ~hFdcJ,0K]kM8[~5X6*!*Im >`$:9Ŧ!=/X[!p#czW!uG5wEvs0g@;#%ⶂq͵=kqD QW NkypЖ.|~ YHA`<ꕚӆ'; m0h\gFb|54:2%.Uնoz̨*gn?ob!=BBݛH /:s]_âE'4|a#eʟNGgYZ57ccbb72ebb73d6d947ff3bcdf9af8de70cea58e325386da1460dc38f32089d1221024ec932a2181 06bff5eb73bee75606e14d28e9b646bebba8f569 78d36a4647f0ad2dbd736c70a612f4f7fd4926ad b327ae611c6ed5d3423853e770a6ec9aa7c32423