SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 4! D  ]/ NormByEval:threads=2elapsed=26.801cpu=45.488gc=1.596factor=1.707zXZִF! Z]ŗXf1-/6vR[yK6Φ + ?+)82AN2mt:l# hd ا~0]lᒍ:[j"[zJczCB^l ([9{BѕxD:vI"N ^ŎfTƻ0-fA)OWڲ=\EP rdդԢxwDk.N} ԂFs|G# 6Jj\Y*m1ln6+;X:=s.P*Ry~}RV RCoע$k^* *?Fr]ZyUVBzn`A7O 0\A ""} kK8FaaRws\“AJMjm`L J$ ĵ{$ED](cx Cs)yIyg!vrbߡf ,D}hcuvĄq-##"I-/+ >߅l'YY ^6>oGK Ɋc4H ; OteZZ*w]oROwaԪmObU<}PL;.i.$JayװGv}GD-,>B7d1RS]]Ogr&|ReW$D҈pyhNG3Đxk {ѪGoS=BH2e&EpF55g7۞i!1QnKym >QzôR}Cwi:C*mθ@P$M&T?c1GߖcX^$ltPREpU%DPVxv@ogYZ7zXZִF! D::name=NormByEval.NBEelapsed=10.963cpu=20.232gc=1.020[]E-#%)}YZ7zXZִF! 6]ŗXi%; {.UXuG]I1ÛVʟ?ׇDJl$"?8U bHAB<{+U| ԮImCXKc$3@EH@I7ǝx_vJa @9WbXIǮH-jLEdy$ T_BAe#CMR\+hJ笚0]7@jT,XڦN[K. Q7=`?b],vŶP[Cq@E} ,x^^ ұ"ذֈz{+:&o*]K~ʅֻ|d{YOeݔ.QoLiӂ L[i Qb^% HC/0Q4yFT:%^S|n_zU-X\>Ԩ(E%NؑӆMB4cXH AC&UEYt}ox`8K*ܗ.B=6c)K}cg*cD1ǘZdy|s<*sɯv4 H"Bh@qWУt-Cn0?@{|Jیnq[,%$?閺E T9u1D~%sG -@!a/iuR.R8̺|W;◬/p~*қ-h슐dtr.f9.f76k /ϮqTᲛK1ʰz\}4h ~2oBf(6*oW=|rP&~A_wbgs=kL'jZ%[ #6Dd uW|Wq[ܑ`g5nuAM `⊛ĂyYa XWQQ/UF~0 a9ΌOWc'4>NaAn%zmWH5|Lv,4hckA\QD5 o(hS‚N6E "NxH*Cg* {jZ0[8ݐ[wW۫9[^~;%_]R8~Ѿ7ooy=r*FžlKc9&X~|q9[<bߩ{ `A'ܦg6F l/^k#Gw|.+Gw(rV2_o>/SsZ|{ɓ'˸/u'̙>z2tlm>* &/1[']KC!Xh ﳉpÒ֯|䥴UMa3>H[۫-'} sqz/THn Rjv P6!D, Њ!Cmf؆9NH_֣mڷZZ'zn^&A3;8vJ4!LlI%M\j0 ,(L8WgRgձgYZ19946ccde14c9e59ca4fd19460de25205a905f220a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122  ! NormByEval ``x!)% $NormByEvalNormByEval.NBEdocument.tex7zXZִF! [z ]A-MՋhvG"uIBm5Ģj]柛:r:!p||- M~sӗ-TUM0#-\s ܺjSGKz'v#"lc>=5 fg+hO@Ǖ(^88XiP qV@^|,LJZ»nk.Ċ{Q\cwn/rBQgA'@N4Q oы4s 5+lQ1y<1"C7/EPӊ tRVaVF,t|cZ.7{wO^<GQG?7ȵhqV~h%Ve5 ( my+"T-yI\ D B Z;,>j8辒Jɺ泒[S??HIE!J.\FɭD+肟b҄lG v8 E&n3 .4;@:ķNV)=hsfo_{H&[` c(.]G'Qfrm -E:Df6lDŬz+jW ¢Os|Y|sA,D'#ϻ+ޅx](&}u99`s*wzgZ<xwb`;[M8,ۭ@+TO56+.?266;oI]͚apn+-BTEDkbS__Uhy`V^g$fuBޮjNMXi ύ[";dYn z<(n}kTXAbH@zb^z孴17YZot%P`)\@/7aT*]=V5œ> (qL a8/f)bq+خYjqʅ.fֱE'EoAil ؚu;H=.qd^@)|nJ5UO3WeӽP qoz݀Cf rI"XAcnlBTD2Nl*g$\X2#[gQk&+S(6vejcvD.`8<1}=WcG~85 a ֦ /~#UZ]NLKv}e%MȈ =ky_Ӊ og|G^u;6@cqJF ,bXmr, 6UzpI2B+k XD;\' :2+CYK3#~Tý$ߜxh{?!F~3qWE^":uiyneHO "4o*B?7XF`ǺvN2>e>/A~i2Xǔy B2ojhb:˝` L#"}['|D{4 /x՗ * T|P~|yȒN{d>Xj\sܙҏH03~7˱ α"wCsQKJ+@äS-a0pAʜ5̯JU5Y, ,y $% l!abL 9Dң$)kEĎkl5TxZF3OK1(@lZ\;;`9o :;zjz2an²c_> a7~)p(IN@oŜN/x"?y aO3s1rAL>*y"W4mWdZ&S#<"nSZ:lfU< xP "'X<r޻ O͂ \Ky܋4O9EuWNgd(H>2}Rj٧\1]2 M0WZUFjk ormeo:N)fRɣK #njٞ:+b,4giEis2 /~/Bc3g6>+A6w8ӬDzSgߡ w:htI?i`-(ߴplYJ"FXZ+IPiR1ej-uGlӱ>|5g&H7MJ^/aV&@'[M2RTJb~Ҡ.F;sӖ 6A ]wSGFNB/j:i1~ʻ_WNInO%8,e_AyLd{ &Sci!}j!DቶIe-PM#=$>Fx@j,m)f_^o"x7$]w+O~>.ᝈ)pC;* (M\ԅ@7Hk;.YGpq#eOfOa(vcUv*_@5  DJs"V|]&@EH Y&+8.UMp=as&|hxWv0o>FoWA$@oBAL D_T|X$7(CrV%: 4}S ~YeCti8q˶C5*+4ߡC32 oLPh5JB Dl*֠윮N(=$*SQ +WZ1hg&?9'z-{ (.ogϽ\:j>^].kuRBw8ɖ1 26y} -9=fϻKRe ة(M'a3-P h%eZ0Ll#b.CIO5{m8zݲ)SȻfZkj{7f_EhF Ropr.aXM<} `d"\_uzBDlk-Sͷ{jt#O %D[p+ T'uF2J$HH6"?|5̟'ďvQb'75y)!<2d!'b3Ȁ|N,d?LB$Ca < w0E0}ٲFhzOyYoA;ږqmPg1}YWag*C5hL@2Ӌώp׆r:n czly@$꯮ѿZCOhm lCl ־)a$Q-3dayI>1K-4Xe3 S|-%hFg-r ['?ha L`HBj¨ Fɗ,}@ _0Wi, !:W,.̃hr cAU[-s3駙'?r6Wd-6"^#ʎخĂL9+  }36*ZDB[V~NnsKf9K8"y脖0 cf?='|bl=TϴO~c`ZD'P6Q].u)9謔@|`0r-(HgU4 ,z8 H^a#3XbE>9$#HGxk> #ԛɆx#Q1Iw7Ο;pep -׋SIc$ZZ5&\ G$LwTC'i^.hw2McPH$KXN堛fu"3|(13g@j2K;TFە[]vGE}/E lc v`]@ql.8%|9LRG߁'pZZ=&E~3'hL0T/1I{;&e`CzRE_5!. /2mTK o4c9zNtaFjbqvnCk-L(Yx0,O]d?F(5cķ>ZeMn?4U{"_ 3rGXw*bAGe :NLZ]Vii1.H9Q9 7oВtũ!=l8Q#gc"9*UXC<2iM[ϩZ4C8QسG3r)Ebs V,CdGj]1C;f38o; U+N gĈAu+m^rrNrc>؛?Th囍㽒~;b'?}$KЏ|I8.u$-}aj?ofv~!,?*IOT.E /y$0R?pk9ViiZZ+T"">*s{Yj`,y+78xPdYH> .VKvbҲoh tHoPa?7]X gǕ-1Y 7%>$V= ]*p4VvT8b?YfD͚يa^[s002^:G/F6 SEy 1![ը+Č %iu"<f={6KFڞW)eƄw`'/:rp^Z,g y5gA4KF6+cP-aA,zK_Y[ R&T9~G& ;bzTOo{au|{ydB)@Gv|8dv&LjϔY< XᲮVŵE}ZV F&mYmB w _o&V$΢Fӵڄ #1rXbSz*11Lda?uVl~#_D@w?6 0\1g%crNz S}XET;kC >[L$5~2I_"qTwO_@ FWBf2I*q[XcjۘP G3#8̉tz)MOHNVSd9mv)fZ4$5~&ÂHc`p8qۺuWG2|Tu78r21j E #~rkF<=l6(|_mjr`06ᕞj(ul|&;#ohQŶL3. Ka8g EN~{LyL#}j-Z]ڐ6>%3/9w֔` ti|nhrԁH#hd{KP Xmjj'=_Lߕȧы')z[Vs(A8AP.fE30pCGUkblt7.o%#92 63yKD1ЅCdlxf`kL'qYq{"O3&nm/Ջ7{r2d9\`K)_#d ~0zpx3$s0S`%4Ojc -\Jc SĂ0 =AG&KWԷ *g!VƎ/e+%ufkE}E4MԞAxx2<+*<"u[)9 -vs[wD; w;N?A'iE$m3#P9+YK fʋuG͞-Pz(/$%'ZXrzͨghۺ-=ƞO%KCg*W?%'ʑL1~֥~jJ nCHݞGf^Mx0+3kHmՃ"3}^ Z $ bWv2n/[92bKBȐ骼9h4?//AMpo'=тH"ŋ @%H5!PO](35-T7qwO;NcU]b{_y Yeꕍ&*6(v8hʌvś|K/j%L!-L1رTRO<@QAJ|O_9sSU爕%P'~?N*íjR mMwPIBnFa4JMIfUǬjh(A /J H,[|HLe8oR72#rn[S_FnuTjP7pQKFezb0JM7:pӭ}4 Λz ؼ)~Lww-{WQ0LWKU(\K:\I^ <L- MPFm1bjBԁ 'F VT U4?bX s\TVw#Z~n>$\M5oMt7KҴg65MD9_G`f y#LRl][}'ZOa}zjQ-p)wB ZcK-&*}z@A͙Fן4skHUX'WВU>=m:CꞭ 9Λϕa1s[Jn-V^FbZ[],_ɨ;g2PxؚU:Zsӛ! 9g= g&)r&=~-RcjQK͂FT~B&.v]t.iGnK8GqvG)Re\mCTȞ;bһ38C&ևf-<d1;a&uG^6Xy&Ep'$?u0o eljƻ ̈́|l@*q䝄0TORi 4i@F_LrtzO_I\k@v鞉ZD` K606RN7H:|@&Q.-EaѢ]*RA8~0>aiANP bcN|}Au 9z5dg%<!=l] "_ގS=&,̺cX4|Nٮ=:aף(l $?/Lm# Bb?O涸֡Cmt*ym5PGUe肻z5j.fu &52\pF'͠_+^N3}|y 6z|fu x`^Qn`;k3:RtJ됕FZ4gݺz}gȬތV#Jtj եKϯR%'z m4?;.{%''Z)D0oYi$0SbYo'eFߪ&e7FQ{HBP+ifpD7o[S66w{):D )#6|9Ee `R.Bɫ2%X3)1 ^ GI=A;γBҶ-|$IuN H>`!PMS惈 kMK]4Mz]wLlt͔=TM,XY] Ou Q zlc=!&aW=R:1AeT3tcy=s4XS"JTD6ᮧϐ2od 9IFD׫cf%xIq\ֆu5=5ۥcڪٶ&X^5$ , ಡjɭxnyu.9yS[qah+z*LIp8Ã'eLPJAcji׶/0/{~>b[UJSXIC\)RYPcR2{"IR:\Q]; #'dDs wQ0$jjPصZFW"ׄ{T>+bA4i͢o.ٱ{Ӈ^z 41{;'G򅔘Nd! l T;osPDDG4zNs%`I=3 }Xp "/k86F-ybU挂6!/Eyw,Cv2۳5_ą|suPׯC;2? KI^~Yvd%L+oFT|uK֗F"#x}bZ8&Ȟ]f${0ZnJ\$L<0Nj2mrkJ)z9vĬG$ۗyv\fgE-V_BJ$5 3.}"2qY&=]Wb=*Ov^P^Ӛq(?bԈob1I)}Y=1-|*Ir.02l QNYc$,rTuʧaЫ%zh[X˞yavMU1 5Y*}LZb0m](tn }7m%Aoyӆ"E$];l+6_eR[Ω4e_У{h.p`ƒd?)rj轠mQT(y8r1Ki}U)ĸzun>dBec9 7WYz(P*X%8˥M*3emtYx˙Hjdg[ٹC;\).}X7 GdL=sAPL[$%['I8AlL]jq ÓjK(B*q̈ /"Aq[kW=zVQ'2Rߞzi,ZSߕOM^S](H酵  L#7xJ/'#=v֪̓얻lhǵ 56H:RE)Aa/|6FʊX"*Q_{l M)i'.b ZXzl"-Է:ۦRsG!UxxI5vI lOOu"Uo]6,ް4jKt)<%wxp@)Uu/|73Usw"_є #LDҵZ4Xþ̘SE(7k{?pa-kIBC *Ӎ j;we$cWK]܏5=hwֈ"i[H7n\Eu`pՏĚfNWen.) /4 YB /o]aOf }\^f@Kׇ0po^KS,&=,QĘPg4(^C۲1魲E{dLUk,罖2s0A[eAT@Z7FMUp,NS.{&/y/*^a٬iփ|B0ɊM7ÎiySs F1YcxB]钶E̶UBPjc=l)^k!Q=o HPgPƲhw=|1>˶mɗgelYrĆ;B a.ʃ'i9p4 ǀ4"E靉&*'~R WFG9MgkC"-&6E]Otv{SIx{Vd̈́;[ /2+6V/a^j'蛐 7o =_-d9}mm'QV;x2t~Ek;/2%ŘDwwo{5o‹y8~vo; =U04ֺfԝ2.j̦_G>~6nJQQ$.i/T{oi;_|m1ځMfhhID>~X"%{j"ln8N$'wk 0iȨ.骊@ŜNf*"8H4֕;9;Ϩ#.aꄤdd2PՠpITܬתJP/~xa(hd܍'>)-TM-Pa$՘رj7$Z'`RQ`zbf ҎրMDf*&)qnaiPUzBMݵ.Ԋ$?{4oˇB8#{,ڲ+28yL -!ؽ/ɿ HG3ߐY0ht[gfZY+|xZW=pNE:^Wxx7ޚ7*Cr@@ٕEVht&]"^z_Eks[z^ۢ)a `8cxov{2p;84ud˷o NT/rmvs1O@f8,,p6O,@kb wcs\ճ褫GoMCqKCb[,)͡l-xRy; ~$BG0WJs)EEz*XxT{IKM݅tG*-%Zb4S0vlFP^gDZyj*D:KHָL\CbN",mn@Q;zT*%aQ0H i –w9 |^YD|nDpAF5m#&17l.cVXFiW$a`[4c,]9K_+ŭNgٲm(M'-EJcq$ m{eZ4s7e=t\)9vVPIMFH={mI>ot_/LJC\eU e(K~ UW"PLUNy(h䟐ӔSHFwy?,Zp_]Mwki)m`-:԰HpO4`yG!BGPo<"etp-O?U7#%e &y+ dYvm6ԍP̀(8>e. .kqУ3\\dfmѮZ7`Q M|y͈>?S(D YT? Q;}*c-nRrfĔ>Q D"1b ^8f"Q!h&X0,S^1LLO8Pw?W&g?n\'B emB&@Z8kR h]4~,m9kDr^zv g96䁳y i^BL]jԔΣ揊Ow7BB2mw=GWeRiGt)ڄE|[v ,)] ƈ sQ¡?v r-]E8l,'=д(3;m/x: xNM2V^r_?(}3=23D!aVxCb.xnp#PmOIvt E ݞmriԪ,\vڱ?ڝK8$c8F(Xpj'" y\$ٵˁa)C&q0389’;}1zvuCy`ӲZ Aon.RXYgt,P]i֙yҏ$򬦝 aK%e/@#O=ƀRc~$ˈri t٪=ϋF#L>AXT})hy|'$ܷnf*de_4~6N!' wyݎ@qwf .`Zm%M-kZʩ~$^yəE*TH -eWyՁs Xume{hp^ k DjDf' ޮ:3\M'4%PjP"Rk͊u-N$J7)B1:$k2;W7iVDО/x9nօ/G[5)3)eD?W## KaU:_C$E9[GsjTX:Iq}jGV2fs:[ayًsI~!|GJo9{ fz|KNk(* #C3>ݮ¶-3_'yP}Ya}m9~P'ޱ%e"P[9{1 Dg7DTy_+h{~(Ƭ[6M66CS฾ #"nxعMşȍ+,]E,˪Gz38;:`oH1uL î"5|7 t d6fYxL;鎧DTc*Iz:FrIj*zA106cDZ ]!ʄ697팵Uo;d8OB?'|l[8nfFB6Dd%+XIghI4QD"C@UðͅuZug#٣h1z;0fZ9lyϤFR@(pغ!`[G"tmo5>6U.lzPcX-ǶK@al_@ ~Ph(@'Qج ^A.]G$$FzLmeިXM+urP}oxi 7u-ZOrY'V'S.[2@{?pnq&,r= rd4\Bi?.iq<>5RO(#ĀG QJKuk쫣!}ʾ,"/! 'aJ\ <4Ln&_յ;DccwfHQ!~ cEش7¦ ,*!6@a@\aH{넧P&qP&ؤI%0~q?C^) bPqQ<ꬹ25-z{FbȠ4۱suN{k=`al's߫ ]:{dT.c|gE9rg竌 Z<:J0›†}揯h 3wy+Q*KwN | &Ίri;df#nˈokAIu^[,FN[ŞexJ/|\K`%&BNR 8$8wʠ~sGx׃r|OW=+0_` B2*JHiH'`hRC3B/dg96uy] Ӹܫa~js޺4Gr*>r%d4p+MOGɓi,qb1; K%@*E;&]_'[Եߕ#)K٩f.hǪ4;%!Iƽ_Lz%J {جHQnG ])Vn)2k*FW'aO+`;ζGt)-QڛDƔNc+Wc5 yekkH?U#F`w_rgQgAo$Z䲢*9Q]Ei}X4{4 >\Ԍ$!I-ȿ=1Zs8@'CfD&& uZ)vWcu> 񙼢ż!p~<vkձl"*_.*P#jFiev1T~7汱 g xPT/Y3E+)M&D=4& 1Q= kѧSJ o<T_$ܝO1p]z/[P*Y*]d~q|6 MKE`ˁkMN=Ѫ>tTc"cWAZ6.k*.t*Tn%ur"vAnT9TdI"/ p-Tjdؑ*ڰkZc r"l|א4mP wA@^.-U1Eu.Ck; -|ߙ,Bȫ4 qL+dլj*m \uvLYeZw`<wz"0-·414z&oQ7(=e|6ӑr +k%Mfz{]W~$~eLvWy3inH}6GF py+r禼:︲):9- EmF,'Idc*<*e, ōWr}[Sp4ZVE &[Գs쨄 r©:l[}~ G]}r3}ﶤP8qAڎ -g]}矙ѯǼ r!cje%z(i\[}l)ンBN10O_?~2㸥H|9{9e;"CVgĨqc;"qK""BYNn`*/Qf!z*߀oUuhO蓧'LO4kaW}n &z '7/"Oqw%9 gH>\˼vXݿlY>HWAქ 'QGjɝ6o1MǠT9f WrGN 2]Mz*UhCSbY۬8T̀wgYՁ5%&s\ FF?)9Wz`o+t̸SFknV*b3#6`|k^8{]J4)1Ww;jkp΄_60G6?>C^FvED$ NǸgQoӅ5[?Iԁ=:JD NMEC1n:᪅6ё2o8ىz;֔ oM3!tO.0fB3F5$ ~` ؋(;;UsWϧأ}^^=jpZH|d`}. /_(LmŁ!]؝9,8tOױD5*dgU}Z.,']Z.E{*vPwk< {H5#ʿ$XZ9 Fݓ.{ҬMH>1Wq˙_X ^@]A۪Yu)MC1O!N?JA0θq>K~F4kLrEWL.1ozgp9- Yr+Kq6p)ք`߫+Ɏ([D5QxCU L6cM6:+@'UT& %}Vr%vtvӕyAX{Ql8r_qfe<@e~:kahYhy*YT X)_?'Ӟ)AbC-[ȼ45p[44)v=?1o{>q>wf%əB_mU VeU~FKNuOQ-M(_ȝI5A6vD?TG nT3~K$U?ӵj⅁o0w!t捘>2k54Zj1Pzw* xoC| vV2S >KzA$"]9Fͤ' }&#jg33iN%5넺"&Dqw,$N#S8[gF1F c9lXO%Y$T{Z=oA,?KZ1tY2HR :XnMc u܃{sEcf14҄{7!i0 ъ?s)IPT!lw,FCe@JvZ1u)aK9(]v%A:/J"RMAYlc*JWmݖ&"v}iMeVU&ԆN hb6:}2~_ZY Hʶq?Zg Kj9btVWk k W:Ɗ])o>qJns_-λ*0uXUa=H0o5%fdF/Qhi-*kުoItD>q؂iq ;oz%i -pt#@'lf֟NQN\Y}pmd'>c.K 9Ђ|-$@[ULLKON.g!qzř2}F=4(U3n#HIY\"j:-pe팖C6ʝu1v@g:R\ŷğך[G &L3#..Qx)@c_ Qf_^91ӱ4^f]~p%(O.KX'9)AVH%b^$ζSƊa)6U@^A Wb(de/w/s+l 8[n4)EQ3/?<YUT$K;$[)5U˺⌡(;8I$5O:=&Jj4uFrQiL3M5")CR'XX<崘2V$SH8w6h#-wS2[ߪlA RU8q`k<|iީ=хȬtQT1=Jka\K++U{лt#lZù"Җɀ'Y&Y jkQ&$Gq tX[!h=CK(q'_3+Kb{v,T3?" u&|M9v41|*$[aDÉ]Wh,FsiVā2nQ{3 ' mhGقa<^a +Qfl. V@5*X*#yu&7ǛXت44Yn3y4-t/.{h0,2/h~G4l#feB"f'Aguu?Y 9&+hM7ino~ qS{N\Y1; !Wj@ۣiAነ OS0?~Y|,ޅ Nx)x!Gyuf|߯kx=$ćZ-i%QĖ&6%烾NCa5lUuKrHdjc Ѓyc݉8 ·|98ʚ&W+s%iT0Wg2,5hq AjuOUЉ{^j> Knwf*;E(KּIv?mC[LU)ߋb]> 8ɒR8]_&o6ҫ6]`JXpmx&`1GPTTCԅ$N56q[uD/b~}LKI)%XV2okd [On7A.e_fo!q9(0j|Li~"T].Py6sfNН!mj2[|D#!.+LNї0i-מ Ef''Ǒ+Rgaua\GUL)JdQO6;ZC4PAY!ߧ ?8iN׮DJ 3g>aD嗢~@ E=BKK_%VDRy 13̀oi(A Ē Kh{du,yVӍfDF{UG}86y 9<7 ?v8u-&xAtgi+%l}& !YO2aIqĴ ]CSAǂ3Jv|'m(QS #Qjx5j![&}+ JۈǫXLZt'3pvq͠s8_T{1M caņT训{HbWX4Oxf,"-d ՝|cmX{wEMLjB5b%/$ka 45{˰vP>b%.J%1I(G8@C^=>C GӐN`l.OyͽŸYt.4}[xW-?[ j8%:V*$'&3΁ _/4vӰvhu' v!4%,U0V yDkvV zΏ:u}3^Kq3ބMg%M,FspS3L~ +:>=וWYMBN8ю ܕn &G>ܾN*cSbun 9{zuHSz$S X 7VY^2Z(aJUEw1D!oq-2old1hI8G?87束w {F镭rÜeKll7?L acܣϤ%3}$ t%Q$,B2#1´HY3g;ϙ፜Yr[K/_Jn)_Z#e+ EMx>4akaׯ lU!l샒=f=pgc؄Z%J3ӞI'sfKw(vGTWW.GJ0⸿Lq%+>3|Zf~5u92*hޒzI{`CE6{$9zaIԖ^2o]<(mg/8@*o0FÑɫ4YE_)m۳@њ;䂢 RᱱG-`q[N68 K8DJ#*g5`{@N272ύX*;4 d:x 4JS>Y@i7M㻞CS9OCkE{KKg%WM F=(5mɓ0 d̴r a؉TS3Orh>$A-߹`N̆w{dMX"=|vA9SAEuWXwV*C$"09Ew5l/M 9&KWx@?HI eW/Udʅ|~+'&pu?$X[}"%V[4O/!L_'Jr箠)19:R!z(*FsKkM[DIǏ哵D929E[8΅خ(N;䔴 pn[Yr^BӥǴpr)Bܨ#)~c!k|-0.kcccǽuD3˰+k꜄[l0*y2D3Jj* /KeX;dߑ."#4 K(n◱ҩ`0hؼf6]F4g$w;6t-x=e% ۱7Nvb;.y1W~%>}daĶ'5`*)FyB9XƵz/MWN))掵9L/gmʅY)5'6hhOT(j ^t*l}xESarpwnkϷ"/khz% tO^W<5"XYs{xn~|ux|v>D{K 2byYe +pQDk.yDdzG+`^P"*^dr94]d؊SiV3= \& N} qgĂ=?SBZs oOegi2k8}(3jLLR0 e,cwi fI^Z;`el4v 6M19XGXN33S￈~^L-&<9{TDl\\8u!;MѲ<]'WWq # pO/P<_{?knXRSKjmRX\Ш+(R̖5_&)Ц& ods{xd>Ws+GrbOnW9 3k|`QІf߳-%r&):lq^v.`ȓ@nC^HVE K$*"a9ߏuXiHGx??ꘑ=M!0 Z2j WgkB'.[1J]\EtRMB oC!&5!g Im4P̛?׌ܧY([RhI1 Isu%3CqY)A6>]8!4I¬ ke=M̄%)7 K5.1G|R Hya͑V%01XGMwӍAIw-sa 2EEf[7dG1ߖsQ;ۧY%wGW@E|T֏E#bPrL;̇U1Pܜ1ZY_XÉn`7v/bS/걾^ƿ =,P8N(go=V}̦~T# Y˧c k8{v:hQ":%h3CG5A* 9XMdWDIE Eu$ WU].mi/5ԍ·?1@D2ʃe,)38{&̾3u-:=l\7:t\&lm -hfAcuƮ_7dAA}LgJ{@"p*DbxrXPR^OxE)O艾X~̽f }ZJEh#&ҙa$%3(. n+Xf<*&ROgRhv:2 K=%}'D(2߁z>#X,dѠzsbpinyj{v^yF#-eXCؼK-#oň(SQ0QUh _}4;+#,g݌V[dt cfw_?MAҍ(L5}xn2-S4 N:ARiП@9sk5UwxRdڵ86]{Ş%8A~pZaMى5M𹽡3Pbɓr.CH`&NtzA" ~y?=!I?!NJ 2vI,~ܬK1vT~e ׈Oe]vXu +dV,P O oUտ-(,.oWg:u8} *so:D׊t($E4<eWi#EͷQ6M#yΉC!-؍=:٨rXzUѴ&ì@9Vyɼr:7@Ԩ<.붪l%h9ip0s'}JO6_sQ74~#DZPvf8+aȻݜcn ej3ς!)&8!0:"@ժ&w=Q|DT`ӢK&ү VL;L]LA-|Kp Ѓd3Vh @U%]w ?*B w Fو%(J! 2"mX`DG @52f6$'MOu78$Rm4(W#[ȸ߳Nfy߰#;v֖c05y:KyHHvޣ"X0,qG%3J0N„ @v.',y`M^v:GǨ7vHp/Y+kn`O7 {QrN5pskk #FNH2RF#jl 5HS5]#e1$T ){V+IY6o]Ͻ6!BaAlS F㠯lБ8*ɳPyUh~fB //gACUo:&Cc ꍼ.bݶ }u[~u>tD c3H\_!=x n] gΧ٬NG S=gVTՉtW JmT tpzv>; #Y{n}=g]ǾmuZÇShgtmdLjcu&d*'p%3omwM.J8׭ )3=ϐ֦9>RmT#\IC?(ԁGkj?`Pm(~_wڼEjEkM"@d PѰh[F/8kk}Ɵ۶MC;CS]l qƩ,AB_C]Tu~RTk\?Zm /+;zp|  u#L+Hsɔ}ۏg58WQV{Idz|sװ x"^Y^]rnlJh.!)Uךrf2@Cn70!3vJY[SHɺ"^\*1 #é{)eE-aln槤K)}N<aϺBBVf|ۈ#"u&Rʐm{, ;sx0HjCQo"US&TEmHŗf0s5(YN34!J7&][[=,Ic tE4-/Vu^fZJvօLKqW8ι7n \K׆X)J9AMB ɺy8^NC%GC35,;g AEzax IUri]C3reYI7Qh5FްnAшO~Bx]bڢ[KGؼobI'_ Vp\+;$E1@3UR;sKv" H5O@&HK&*[R]z#t9V00=}Q7f.|I$REjϺ8> $uG*JB(كN9- M19V0Q/1T+WzV1BWS.}N>C0XdTgVrvf:lv9:B]G5\5Ilgh˖ш6i Mh/\jLjz$!ugYZ