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 Psi_Calculi:threads=2elapsed=548.143cpu=1009.496gc=40.700factor=1.847zXZִF! Vr]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿d|$Ҝ xT'[/U' l 5tʲ?7[ CC|ޑ$`:iD7m#\.0iY&3Ҫ8¶(I.z ;"G)n(SeL{l2Z OZձOse#ͬU臱?GTu\:os͠/SNr`rKƎl#GZr.SgW0{Ǜe'q9OGHvZ"SM]]!9IFoM=JYak7yX K!616 ui5tytvht5Ǹ/ ߫uE4 ܰm_I@p'aw6ɂ|, "v3 8!JyÖ$ZU0Ǒv_ӗjۓ,KxxY[Ij7dHNVZɓkT"<u?`1;g{Fۡe00'K=vhP,|q@ŔKi$2LsS:x}ׅxç$*WY{1ff4!R%PAJ[IﵻE۪ '= elK NYԓY_:Ĵlt@.|@Rc/f|_TE +$|ro'SxH]_A?&O&‰ܤRJɊ!mΟljM9)M+SJ`hE¥,. V$s;'SYt6o82!6mibݻ:$eHPwRHkY?@l5+\9f2NkBBqyr[ ЦӬ/aJF֏EBTȪ5!14E^;jRe{ Dwr), @[8Ղ+*1!'2Wtoꜭ*kSI#+~ #fl/SeL5o.0WN@.Z٭^.RokkWcC'Q׸B}#^.}]-wX'Ej2;5c!!q7{p'(N !=_05uU?41WHQнF60ȗDz^Zu鏚Kd!)˪Qh vhL,7#;e6m "YY;6ҝr%p9-*s5V2ZJzD;:=[9rg)Fp &"#: Bdn|_Pmpǝe'wo~zKW̝>t$`Gy!Y\|+T(Q}U,7@x񒀸c?֧,Y,g])Ӕ A9ԋOx:'Y=ߤe_M"<]01|w.2CJLVTX%~y{+qC.a|HKGHI?,`Ie%Vٴo3#Rup)h]*PhWj@0+#" \8ɶ2nw57h4nM]uP$׾XRᄎһ[ľ]5a\LU脅IG6)bJImdQΘWTZ6v#Sܥp/u=0XD8 c)ly7K=ns*B~G$u!/-cők'5 .\#pl%}C3 X[Hpؑg-t?1ԟxxH81[V?{2~ADtx;N ~xH<1 .G l?;5*G.ɯiЋΖ,$߰j=|LA-MZ#'cEVf,ɺ~q Rl(]C&-ޒi(zQҊNYS4/<@8HG_[O=>3߃eCxPb߷_\hϗF&}*.Tߎ!S fVi`V̽BrN(`ϒO_iXMH$~BK=2rϭgI;cU{|ao:WX[?^}$Ϩx i{y\=ܿ04#yڻES} yeսj 1PO(d>µG8һKpN_O2}*oezyWlQUNLĽ3iJH # Psi_Calculiss^e4]dhh> eZyZhfFůt g*t LCu^72"|_=ӾE[8qJb15n zubc\(o][ ߅8?}_fELE.[[b(`5p+\*MS>:ӘUV1ҫ^ $k es͕& 7K9p'낏Q@C`Z<EMjhU.gtHB](KBy ?i4<)iݔi-FOXn|\/+>ۅ`MwËo$Ψ{8xٌM"3}g2v^iM?wv"`烻q8#80Hm_]oIDd]I) ( p_HNC@Vg)$" ˽; z"UHNKs C@6k n uW;VQm0ql9ݨMD^dJ[44¿7}$ssZY"]&bd{,'4t5+ E팬qMd!?FwJI^fjxLR;0X`epAQvЖn`\B_&+ P+wJ3O'R]QW@@K(hӝ45НNH_Ǿ,biVй ±B }F3-OHfh &^ *<Ɖ0mEe¢ݢyt<:6ɠ裍:!\pq<sޒ##nhY Wʯ<8}2ͪkN<&N1Oۭ{3|~ɉ*GVˁ}f%ѿ{WvNNbFxCZ:SY6WvuoWSU]wv˅,ilz*0\S0iPB%B&L(> #q݀&1EIm^E.<'8wL:tܥ[#_`dkYJj qt5^ } D9(^ٞfCKGsĺSlQn+c/iRH^XtOuA""|J x;b|͘'CP}.(m,`V3=5 CT^wȖ,Hlt9@l؞敏ܙ,Ry f2 =Z(O UKCUT l48܂=n)>GﺔUJ {ZGC˫WfQ " I8oɧJf+;@%W\&r5F8&k s}̑h+;"E8Jpnc2׶P+&a"ڌype^ `îPV,m'*Fk&Nfie\][\aW˦ܬ;'Tf}ŭfaŽu!Eʉo3E}D{Kj5!ncu!ðWR_ISZYK9o .cq9/m^g8+݇9!i+R. ՈTX-Z%Q?d#y'?jW^5J>k{+R^2 S-ί%yp%/>㽲e99ܐ5M)C8e|M̀Z-ΏpUÙӍvF 絥2"\JBJ@`-*qݑ @b",g{0\p`]Xi0+:mY|2T g!F<&4I^lu-)6\P!OLP@Mq۹*f6!.-zi+1cB}Hu4Zy `8KA׾eGk4ԝhY*t6o_WMO~ HO#m"KvhgTo KZ߁50@04h%Q(7U !`zQyAAS:wIT o`tΡ3 RCR'4dgp2|𱓂+TP(>c{?C|UJ|44mlPK+۲ A0#ϋ:3YZAIl&T^Pj!v`sğL,CcXp֤b$X{z9@|gƒv I`veϋ-D۰P-7O!^Y'tB3J^D'nxmy  J^}VE?ĤU:Nw@s?dd Z>lp[l֦Ф}VpP ďϸcۂWYу{ޡPZ +PkyDmt4$@`"rd/7@z۽~y@u!:bTpHbS =&'(YLv6M~:R.L ,.ROteZ-C ьo`z^hL9z}eT{,:CʌFt^&ռSWQt#OJba΄thb)R/bY9u2o:JsCu4̄8F3T8 ~]!K,f)|߲ߩDsלQ\*r| @ >*G(gvͬg͉.oH["\f|__2AxJ%4K?Cv@9=b[!9Kc@H5',x `q5s= wP=z1gKnYJHq`7muKØvR,2]dI pma^}Gջi^ B\xgWb9`-qszrB {]cMV%d/(L'݋9"Dn);Ð(sUVW]QABΫj_Tq;W?SOP:nYU'RS$6o)Xtӣ;!rʳ(6;\Tf9WV}I^CI.{A+ 7{_QWhoaL<0h7l9 /rfgWĀx{$/Ц 9󨃠MqGœU-K 0T%Eoա6|_u"x;?tW v>?_*?ob n?坪n.K75QLm W[neyW91gYZ7zXZִF! ]ŗXiɟ˗̵w'Sɺl!\c!ʢK!Z]*>l1G[p5^C&XH">$tjLtmm|]id>Ap; 4O ,rrf|_dɯOj+7;(d9|̹~HR?e͓U5"8Տޠjkxη(ξk/N/eL.f4uDsbܮ  4* 6{N V;PmSkq^-ЪHk\9GwSQuhZ@wLrEBNGP(-ȍK56ZwϣD%d>хSEfvF-B5F =Œ%~XCuҐMDPkt +D{LXfUuĨ@ U..Spqs|Fcyxu@(쎿KU tۃ`r^-q4'jf$"#EѨy 6y|CC}/rX>T@ڮ4Дl( pא&jgT)j?.Ֆ!R8HybT.bB'MJ3$>Cq67M ngYZ7zXZִF! ;x]ŗXi%9#hɠ`"éFC?=n`Y~&)UE53_CӢoϣ(尪n־xаlH\;뤩x%m$-E}=OFzԅ1ޒb j.r%,4c$[84Qbpy䖛I͠J`R&x``7ʜ֢3Sؚ|k+`-돷ji@PPK6WjLnt1 f#tt-sTzI.r7 ~MIÓȒ[uٛ#7xE=@rڨ= S~l˚ܦ=Tg *ǡ~nc؀7J 1 C;k͖AX{ S͐NU3zu_>=ʑ4we]MFC-ĘlX5T`&VI=YHs/oz'.WkmA*&,ߪ>^N_ G Y.:|.6yw3 RRh%tUzl(̅}mΈ>i\,X2L 3r|Pcm$AH:E)^7sΌ.QU/iIsdr mJ_h\]p# `YtZDiv2֐Fwv=cBbz?D}gMuܯ=@=|j>d) ]5٬T ř|&C|Zi0j2ajpDR/Zm} ]_J~ \^Db!ip#ہbyOe+Psg[q[\t]{RUŧֱzU3NZ4DZ򆴦B ՠ6Vf  xb*eQR[fgA$Ҽ|$C&K츇]RI!AR.| V2{3WuJ +yf.{09Fل~g$jOPhxL tƿys[[4'ńjC@-P,:Лuwձu& {п,wGPd9RK%tw7w_B$`-AxjJA{@&IN;ᦍC)  aڃƪ||uhk%Od,233t:]_ň\]@0&VQc>$F4GLHUyqe.I جsfzT%ʾ!mwdV]3>!ێ{?I ' ~1d1Qcš6 $BIOhK?ƶt59w&ةW%}o@ɾ1x;lҜl]BTK\Dkb\RNK&Y:[yЮD 5ZU0Č?Y;68I6scykxGqγW; G65Xh;mnLJ'b*4ͶK wYP tN^Zo[\=P셒\ZQ{&cc|{/ބ(T^"n{o/p^\)j4;2PFKUPg4u%^;f) rC,́4R}U#bVas" e4e"\AY(yzMVc1ǼjE#0u ,XiƲ1ޯRNeSPZІH[)4[dҞAY"'oŹkHN/Bo*.pP6spk'/=s.K7=fY9BZ`֋8 pwbU^{i*;$ݜ^uK-WV~'2fc:mK*,kl,9\:B'tq3*QEZ) CUBU-#hVrʙAJ+[B='rJOEQc*l_ ]z z\ ʥ޴=%e f[gC[b1b W09*5|\H> #IHG+<11eע b:Yq]<n(;xPlKaj=׬OpjqD*Sԁ|f`Olx?#=vqya ޱEı )XtutR2rhpfLl:8:WWFg>3GB΍h;fQN\~C7i tAqn@$^AvR#GPóZ_zc3n*{CNT)# !4hᠳ'уSےcO-#'Rqy/Ǻ%4 +Ew7-O$sاdaH!_E5FΓ=EzOщ>;xOEݻV5ذՑy48U{dBll"5RM'_g\cq2ߜx[toEnBڏl_( n O1nNX2bS l88Ly;홱zR%4MJ+7 &VmULAlwwg,zh \|4Y/4Qm3>hkQE7t S@+G3AO`.D+S!JM1r.zlYՋ!fÝp39oti"笏z;3q-`Q쉷NvJny,K% 5~ʚKҋ#VV@mu!fpyAŽv&v` f5LݻFY$l0̥mƽwٿQ 5r h1Ϗ vdVzRyu_aw-Xٱ_iΚ(XLW󝒚x`VpBJ' NƉ1.;xvx!ɮ8+ϙ/S|:%G=;9#GyJA2!Eq,g=eD&sBui$ ,T1ljnL\(ˆ: g4T]M]kMʀQMy9}߅Xrɱ Z~mUSV?J2O#Xw?CD?YhG`VȀ.0gPI^^o+-*u#ޡt[MGAv0 x?>F?StaxԢ$yPod=m9Ҽ14u|i47?Mݼmm<`TqSoݏLJa p>gҞN$UZz5 ]1~Wx~aa&4#D- DT AI8,?EiHo neFIG9"C"YȆy0&J_f\?VV?yk, 'p|Os5}twHADB+Ų99xrM }m%t"fSJ|kڼrBo/{5F(PӺkv c 9q;cN2i*; M܀TO;h,\-Y;Eoeȭ)ORiX :|<&lSy ~1^ gۀo /`XQU% ,lua˜}x _T|pa "X(C2O$*x508zIh_j7ĀIzjzqe&e͋`? j}=UL$fkdjGJce`"nmul7 {O #ЁP胤LH3 [IG\;oBpx˥^h+VG}UmA5y,ySs^;e{#:\2i!8E!JZaY gM&Dgepo;,{q]Y9*t:_ɋؽ \<߇H毃5[Aupc7@ dݖxXn`7ʾ"xA'v?3@5Uf17Nw6 ?Y vjCuYr)MS۲BsriMXqHcxJ-t?`JUC5^5d$sw[?ْnik;F>5:l7|?aĂ_-8y7ٲw[] ϼifsЉkV^aքQ""oҿv#\-Tx}$.Zi;TW1msB >ء.dH`Zcl,hԯccb 5nl aYo8CܱSq(  y;OV/lu" ) sԞS8 .N .[PhX—@TIa4vlx,Ux1pH#=kbQ*\V#=N\d b ?%ORl˺}k6OT`+|*vC m)MYLA1T^tIِms;`lsk$Vԙ!&SOI R}똞_?"ΌIn\!_9.e>SՇۀwt w 0u{[׮9nھ]jutYO};` OcɁc6iiJ9-֘A vo Lf@Q"dxH%0>낞lE '2oLyg(?+*R;:}xJC3xS;ɕ$-?ɊVeE9G?umh$HϯJp9q ` %N OI=0 SuZB>^΢^hn (27s58?\bFd} iJi 6 2#*ՁtpBz^\+gzG=e_JvD. c['Eys@fP{i`pYS)zq-%%\͠ƿ<0(8vϾ qpܰ`?IyuD"T"9N,[e0/cY}gu6Z\fN槸Rj2DR΀zμdPx;F7K1f cnx!Ħ&d;GڲZPKYj'Q\y3gȟeoV 8]@YSS|űpnjܵ_Фȡ㍲]a{Ŏw y!@ zQ=6(1wsKm9-}mRBl ^EnVno ~Y&-ks LFJD`$&9[ڼ7jJit#(E' [wJA8)H2<2c;I +T'FԵr7VѩU2w,иB嚚VJ'>i ַ'N5cϘI^C^Vӝ0f4AdGu_ wL:5! /cI6Y4 MUVUa[W.cV^&Pd>gci| 3nj *U21nŻ2%Y[Y^ڊGY 66tZDY:L1zUfΆ3\1 ff5kڿ~F͡(,2k,t϶xe0eG\CSy1m>\DIx!Y4/tBsM'waN+ Z߄FoZpzv&{C3D2q-2Wtⓥp GV= <)`)lrPIlCAtw;l}-|)3?v½ so!_%1D`A_a$wf`^4td: oO ߁ngpx.U("k/ +Cxak0$wm:IOgC!+RKQ&\ ^8?yU]deEB"d֜ߘD&gz7Ql7G$*/濆JU\gƕ[߫_˝b2kK;,.IH(txp,ln:6!5AB2ج2yg\P bIҭ2jPq&<69_QgR\<_р~,@h؎][QW]PC dzeiwksɲ[wZמ:f0p/2N\2A X+/|- 8ocπ毛,}-I]d͌^&2S #~̭gt{[ a{vZq9G2 [>qIҬxSh?tNyS E5_3PL͞dux#˱j?VWC̬D'۠ 2KzmS~`D*Z4mfa7itNm =H4|&Z蛟Ư9+\ @@|DRИF"yH?(kZkjD! e?}b.OZ߁h'MX-vsUhaTbkؽ^R_%j-<b|:_Zs}6]mt+ISל+[w.zYݞ!JjB DpDXx3ji HH*'7oWQip-۩}Mʱ8ƺ2E3:8^_z[%uAE>)@?rw=2Oa\0W`Y@ΏӣLrs#:;聕/( 's/bzM#M֑$\'y^[LE fLOEsLT~(G3e &$l!9}z|43&^$"I)u~u}g 9bBV*hyF,&oSN[6ir ˆ%*|Puqe p{ X%χ*kkc}+'hW&R+- SjTcᒝk͜; [׫'6\˭q߶KyXR_Zjel3W 쪢lF{~4S>&>!x" (Pz B8 Y9&J0|@#ijB:)y|{I2,%t},]b2{gN] 7[Rv@jN1JL5:3/ėO=%囬*dN03zS|ڦMv_E E@B(#t5$|ʦM8`VU,-x5vUcnˆK.%Z9 +6 %%m_/i$J ҿ m,eK:}'"6Q)QpbI.IҸH 5qGcPg'Z>EVLjGYMIG<2S?4e3L|Aֽ/KXH}5b\C=(q6't_n#;KCgͣ3M#(p@Eq7֎2fufxu6N!]Q%++j&9dqY)G#cˉw4l9n-vrE|4Ki/2̈ \'lM%iՏT9u2?Afl$l87ȝr"s jFZd>FPI9o/a~x0Mf]icp_tca7?HI <<ߕ,$)H~#spQc~sS팯DA ~3u!J>sGsͥG6%L3j'&?O_BJ%eߝczi:w%Ct%=$^$62!ΎY=N)CܫIਁ[UݺP1T6J濔onRqX\ J`G˖qQq`}dzr;sjlD>TA)"OLkte?ej~(Wy88.V4aKW4தP=Pb o(tXwSa0ǘ*/U/fN&6nۤ4|{#K5k)zzVXI9uAta*vz.D-4w7#tě_5#J0PO ػOYiagC#XDeϿ{">C؅d>ɓ蘽=JϬZ$O(kL(KWW4u 6Yb8١(%6'ȳo!r'&LҘhYTƓ{ BUd\l , p.imzn(j)TKmH8ai)/L>Ef~/9fA/]&RK $;UhKa>~Bݮ|DS@.9dDu))G'֚G!ކ|}^o!M $*}30.8*"99ceXΈ]Úٴ +0J_h#+%e"$>hõ_Nhyy\?R^ĝ~\ώHppɰ!luII(aT_guNx84ӻI"Ϋ_xA9[ **Ԫiw,61X1SzK)(bT|z +FHfbU͎*+VYɭ7 =13|G~4uD"Te:5kbS&*jM ĊKtE=ukv(u|( @v/m>G7Ub̻Աۭt~%e^ >%71tosMBG?q9 h&/IyiG׆s]6d+-δ M:9^* 兢! tMs9(',pvڡgMlb<9oz|2TQWu-0SlhfE=u?K55 M * 2Li$ytV.+-_[V%O'[GpYt@\b:/bwfET|yXR"H,:jdV,J%1OC] aJMp~W#4{dΎ bUE?a-WbMp(yLoG&>tnl`XFt-WF"]0O!hi;lfThTiwD4%Іȳ gAo4&2A7L}D< 2)p7&zq>.uEI!&mVse3( vEvmd3"G8!t!A{O}sal,'gU]8z8-wEP-turxI4 _^>Y^oH{ƠP}i@Mo)£djnZ;@۟YYqɇxUUД+dNcb{D{~1 w91,N$%̅P Rc!迺xDմKhPbAZJ%X鮫opY>lH inj@d UX>0.ǹߵ'`q@ubӚjU%!-c[oB21e˫r/uCMyPC1$NmP(mx[A_yj1yY W@׺Ikj!x"Kֆ4pʫXi G@ס \kx(-StH]ž: N!͆4',} N|Swrv|?:/%h={%G*ӶqqiU[䒔$Zpp ApR3/>=pBuhםPj :`czu+sQonn5$FNCD,hB=ZQe:Kötn`29>ڒtv7<[ȑOAlb .#:nB@0]o¸ah|6yY&q`M~Cߋ!=SEHڍ!9*!}v Ij?1b%%3Kxfj}*z5~1{!#-73w{}9"lI'IA|I M{x A[_B lL}aw{&\pGO6J %\JH$)1\yfEbѕmfbMi9bBYmDzC@.گ:dE5n`^/oSCDs(5VpN'{0`ۧ8mX@Tإ{/wǴ&nՁkH+sGQG!pk;hCdNh.+pdmoVs=a'<73u!B%؉E_;F\|7-mOd& Sk.Ő^C_vVu 0?y yK35cWE:?[LђAp y0I`I+$s/ qK?zc1>Ke~5Y\s0e{ֽwT#^+PE )=v9zwaLj yf0yw5EEʎ7&?}ʐuĕhhg]>m2G{,"|~Hf))t ׮2A'"JVۼ֗ Z0Mp_|q5 = RtB0M}fs#"?w}D6U[-rZ;ء[ . z:N6>x4XiqiFF䥊U  K:l=*rH[q`g-j-b([(LdKl}Ma]Z/7MN (_W~ ~q{ U 6 ?~H8+!P%鹑i6+[cl؇'Sj3LHHɻ˂TXy,'lv-2ljW*3>z썀AdM Uo뭇O5V]ZV2VSLO޽ بk c/đ^]1<ұ\Khž $+Y c̢v%/=ETk50=B=lW7L-Q"Dٲ~m͸bp#M3IL7֍*1p`;ϫm;?{> Ʈ%l,ٯ8q8DEFU7\N E TZ PzǙog{ zT""]p'8Z~i$,ǝ,G="}{! qJg5|Y4;\İP8>TVжN~c9٣<hu!){dq|5V WG=5tCEaw'т\,DwsDž1WڣQ5ѫ' yWX7 闱 [xrk7Dz siVwgm@6l {Ӣb%G4?.ʌVm<\*U]:Ӌ 2 k 9-~?2HcN4V6Y69XEq _4pЬ*cs=S-oR*^SESE&TsRb 9;_dbAi;\ :xո4tI6crs27b"|&5wW Hc^&[aT_.bƠAgoǬ[Pz|.w-0pD 9[n r{\gQc;4RLPV477@3=Й*Eҫ8.;h* 1-ePO4SLF+il6ay 34*߹7~Gogi}筗Lа|?f 1l+kS'꟣pycp<᝱tB@1KXCL#+ !7ۼ&-1iLaK)v6<pN\~%$XnjJbmz1u>, +ҕU_L{͹ GȬRbW9KV jJc~ w녀[L4G-GK\0 Rhis'spƈG@P 'tR7.}< e_P^^q#ɹUQ[&QaIJ8os#gQ1ߎ85 o +׃ is_%oeտhYɇV.UVAƋL}|K&)˨}<L)o]Y΍Ub|ηiZrRdADe^3(4bn4b&%{/?AV0:yBɮrv2,d2r¿:[*]sX#uU%7no37J Jv ^ c:4@>9(ro31wg"PL>^fam.ďCGlT1>f%*{IFUkq$:3L&o)\jqA岳:H&Qv"<32BF_d/wfϊz 7hiqiׯj**ߛ%'yEZ6[q#&a#O QsjTk[y6==NGD~$QXazR#ua\/Yۓr[%; Ҽ| V-&LG-ܗ\?`ɐ(*u\_ W qҍD!dC>]$@! c]./,ji WA\U *jO0-:]nC }Z2͹Cdwʊ69(62|df @?G`+;9;>Rw S!W6~tj`Yf G۩Ҝ—zWe_ `[|բ5%en ^`eE`?͋GMC,hG9T|hV[X1)\;d3-׊Κ?ez^FKVq|,njܨI!.<Y(1kxV %6pzw:N=#։%P͹eG5l9ٖ'c_ZPF#Mr #TOXOyw[b8Rro 2|߂Rڂ<IيVk6NOI1} pُAV!3 ˽LM|Ieq:a ,4!@.Lw(G k$[! 1[u Q-ϋlY&p[Q)KyV QzN礑Rhǣ' [<@Q/,bX*}! nÑscNClmzN˭5/< W+<D8uf/3_?fW4HfBF1:ޯ2xTBrRd/]WL>C6%sh|u+| t1yOe }c=dA;=qI(SNUV̝k"t 96gLE^'Kfw~0։ÊxC.?WC"cBYoYa1Y|(Y_%a{bP+cwmO#A)=AXoadI?gk +$&SM12E0^*I'腈dJ|cyB fcE%7a!)m1>gW;AYy67 چk$ULC,NdG eEL؁ rY$.hs&pKgqv$t_:H Y"c hݛ?M=q._EuLn;\[I rd @^֒abm_ѠEn٘Z|jiM~]bQ[IseӞ=M]9u>%w%}@ ϢVƱgx6qzt0"S3 gT |fIh0$;vP[0⨭~:L3gUnJl<]FPxH^os:"x~G f/ynWK;o{1$ٚe?lg^V55_4@oEҊH Tc)hQ75kJcjЌW!Y#au<ճacby|3)u@Ȫo$ 2**$|;9A5)^{t0^; #lC87JAS!lqNu1AۋK[2\Yi"PM"MKʵn!b Yycj'}<,ÞqW$ՏJp!E6=0vdg+h1-PYn0kkF&hEY!{;kZY X sEeJӈ!1ЕĈs;ò:Ih-0ߨ:*8`a// k6VS?bS~mVWEىS8O )n^ _V♩ŢT}Yu# A"yh nKй 72:ꦸ#撘L+K'=xٲޠrC hE}8kyH:os>sb@e:=#qKLcΞ(b_E2 plЦe %MW=7 ڐqƴr~ )>'`I샤3ݲHJq7cEqۂ] \ ]Nqq\HKA)LM)>+Z<&,Yh{`0LQbr-qBVJGq ` &@|I7 +;˜9 ۞*ʠDZ^yA+?b _,!/Bc+%C`"~n_:aNj2Yf־+I.wG~aIUCx_W>(m:FO?!l+َ0FTy`rAEf=Ovzlow?ӆBy5o gAX+:!_by=\/N)'WD 6H la]"4Ot1*foh+JBļaZ@sqNs6rd]s8cBDǚFdw MEo7k~>凍O|/J{Eˑ O_7PsɑFK.P-p,ޡ?X4)A{PO(R:&KOxjm̭^ZjF@GFN @ _j*y{m$PVy w:h.b9U7G-B_9+JSH ]#1y8A= (kD]o}ڍP,ZD_~Dfo+v3չ&Cio竴8Zy .,OZ"8(Q^| r|⤾*jlU_OG[0fL.i Z,6KEi:VѶX'2+th{FBFgϒoB9NˢI+7hN1hRtaRqƆ_wu:PFz"gcN8g" b=Q􍜂;Q.z@^6UWV3]&/Wظm@ΉDPF%!Bq(:-*ޓngS-.!eunӞ?_55s#=XVId_Z>WݥmPȟfzݼC Q~Ι&L!hEmQ51uI 8s(K>E{$"m?0BptHcg G\M?.cy)9Uڙ T)U^PNN#*l.fҶAuI>R[X*vIDZߨ|Y1 MAvߥ4᪀DF{,:zu\ \ksmɾMqBw4$h0`Pi*WVm &(R7 @fF1WXKV15GA=?|%7n_ub(Oz(]꡺`pEq1-Ė> .<<쐪985H۔3u^BoG}]kIOzš갴`\ʟ}w ryĠ<-<4i[{!ǐdV,n7 7և쉊V N[Dltm ~*7c,6p;uw^_vա٩ˤ*ΠjL9o@)d(P<[Bg>z u0yc7W2'LC̩Hӑ[Vʙif@<ȍݔmLYjwpO/y{*YcP*` 1fnDޓ2HմpEoўKr.?&qߡŖ:8h F1Ĵ>[AƐGoCHC%X*%0$ nHA-)J8*dG' 0 >FZ9Gwޖy\VC!r+\jNMYaʏQgAa)Ej$ ,Dŋ፬NͶ>11tFTƐVRNޒ꿻#Ϧ 1|f3m]KR*O/Qʘv:1x;^"V"m9NrulԦ.&׳KRS9,T<2hyjPMB'+Nd.2ז($̝ļ|2!7[7dQx$H]NQs8>XHkJpe7n3/z£N;Obrh|\/48B2]>3ugY8^,X\=yYg wB^<͙mYi Gl ?ܲȫCgκ$ Y-#F(4}spilՕFX4~|n??R,:vxfy%h"w-\y:JRA). IjoSP0o3,! 1'J oH:>gYf&WM0ͅSl`I [/i"h.$٠0ۿ_[ <ӫ vQt~1a`wlcBB;];W^'JbaO%GX3d!~5TÚhLzY|eV.{[F[Ιx^(=oNJSp55p. 2`m&9.syfш 8HiEEw38N}[eVᰦ,Mu?¬6%H>: ܵxG㢤 /*/ͤORRy s?؏B#<`-0>I+dKTBj19+-wM:t-\] =\ٷ M]MA_b7JޅxK'tE'rwr m0aGJXr "1ce U]SZ.ǫaO"Rv*{=QlU(쳝\kCҿ`eRY!پ{DJWuӈ>D7GEp1VzVIĽs\Z|f F.sw",2vA8xVBN`V]&&BbOV9ni녀Ji*8BKq&va"@2e)IAv*NH2aݨ Ħ " ޥ^YJ0~jdPK!\7jswsQfinLsm)6%?Ֆ_9$lwUq=!^Tt"Zle4؏ %~^T*Ӂٜ~~‡c "Hom06+@8.@SL`"|gM1'5WԞZϥd|?O~`RǹM>cCMSKW"9lP`;@&;!_c2kʌ @Z/ "si tnES99*'`PJnmÝs">}m>\I8ؔ%1={Q̾ daɪطWlyq i2۔mW)jJ L/xRxڈ^ WMR *&זH12 R7R+>箍Cf,,1hݼ=.̘0Wkn'˪dzl9\9u!Rћ]ґe/W=(jmnñfdR ԖRz+ݪ+{Y/IgI*mC-&^&sCfDO9O c QوRqY] (WMPYyrhp8b>xOֆ=7e^h7mđ&|p~a|'#oᓠu\QgfQ;y}|ؿf"edS6.9!?E+s8piI?zQto~EEAfVBYfPp\;]$%M%K8or*!#dLszh;@Žϸ-*Qe*lr٠Pe(><v |rΨg؆A^ZY+n;g_nDQ1d,] X"8M^(_SpV*d,C`Z+װAշ48 y"CníMnߥg3 ,V[Y[ W2|OA`W^C|^0\\IU~L~0& `L=@BSª`ܖ7l ò-ځ ziibʯuqS/iҍ5,BT@Sul\%{YGЅgA! |6oV2,v>LI?s !voh.E-Į"AAcOgI"םl[eɃ (WH͵ճ+?} ǶWH2 бPYXSc*|( zTPF>0c$2| N(d%D%f>U}cL5&ŨkC12o8"}VoLy4{NέW AF"j񩢑Nͽ8*gSwaK*ڲ~x!Fk5HXnH'Su/^GLJG-?9"lZ2o}RqJ$_gnm&rO;!c,:J:^fٷw(6Nt'^Fs^68澣xob^V1Lr|t5Ldf0 "ƒ h)9bXl 7 ]$3 zA(KnwGN.'s} =es l H. 8DbM8nHsx(LAب{&":ao!<{z Fmywp:q)xv߉/ڱ"| FclI4+.L>U[p'бfЕK%- MQZ!ϖҙY+0GVg+ W]ulx~X#/'} ',بaVTNXC,75A]\HU,GV6'=Gx)y\??g@,Km&K!v(HfÚDZ^+Nx%,}BL^D "(2 >h0"xR;auٝm ll#~6]>l ڛ|F5lsҹ:OHݚu7:K@S riiZ/'bm+ ?Fd'54)ח Օ{ B:_[ {hjH"S}U+C7IuΚcХi_>,&r{J@tDWzMYdnsDH4Q: د~ 1>έ+LbX-;}g)o[)3C,mMd=7~gMڠa%?390ܧ+6MbBxͰ%nܯ!< HWBjMGoPWEsٰT5Cp>/HMz%.K %ۡ289+?L4 2H t¬`2/ :jSU fT5S-L8t>n}nR}Lj̱Y}ʋXAܲm\AaaaT,֌%e<#erBε!|`Ў,{c5^x|f,l> peV"}w"~! $ h;G2{}TI#UWPNkc@qQSPxG?u=ͦ^@)L]$25Q"06f-]}G%!xN (=tO%nX,jKDs~?_\]ga ?D͑5dxDM(>eY2I>C2WŚRhXsR6°%v5@6RD`|o"Ʌ2\Dz*R'z䃬/b[L æxp 43]x(ܜ}ԘG=Yqfȃ{6}ؙ=ft4<imOPJOef0Wя C( n od)Ĵsg; HWY\ڢa7f))𮞳\הF^&B"ɅFFdB 4#5mZڮipXEyI0?KW/^C;`z*.kًT(s;"/j`tdM*4#vφ>k\+^ićI{;vQ R{E&pe.[t{r^mD"f:ʈw^fɌIЗo;`P?ǓʨĊǫ_-$<5iv.]+1 \ƅ|8\ՠ݉ 3(E:~VýP1b~0ʅW@1 gS LO 泓 ZQ%Y`㯒CvYXӧa*T{GUrfpU١¶GKj[2&F[FP~ڪ5(iA#d*ucy!CbT˅,FE4)?lG,Y!AKgbb&ZGN=nɎK'G3upwA٤^I/hQ|UV 7NpeA-kn u%1y Gq%=ErNT Hʏ<oԪ_fΡvv*z K4 rql]OlsjRQt-'Oi ūo:w)}iMai'iXݢl*ETU&LVFKvf&nڴcA@qoK-?K*dC%6C39&uml2͌WvխߐMZQ"u"=oDhiWF<*X,<_NjO4{h -^kx]!C%c@ [4Ӻ޲=qEKU[gc^A#8C< zytNrYaB:aI '=PmkZol]l;W,lGH<7DMh6U%œC\DdzNKo.8 oeP_NRBxA`h+D+Pig/pD`ڂ 02#1-Xd)EW M?R$/"Cz7Oym8%6^l8%xjϴ8;M!GnԍGROh([|ıgYZaef85e76de63f1af770eceb3a682aa57594390a28ae0489170ffa4e9aeecb054da5126bd23bcab2b a42132ca83816d0082ab6b716aea896bf4d99d0a 9dcd22a721fb4d6cb69fff249fad38e4e65ea05c a47178463855e4f12aeb80911f2936d82538e856