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 \!$ ]]]HOL-Proofs:threads=6elapsed=578.058cpu=1393.492gc=186.184factor=2.417zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXxM^ݥƙaLl a{=z0?&ޣŽW\s ޖoۑ|!g.Ji G4@o_h^O%J-9{D@*[_ jr̼:,xΝ^yOU,c M; *#Iދ NTF} U8,B6ӥX(3w9UG7TcF% PIkI}@lYXt BK2  ! HOL-Proofsψ'xdʇ\8ROymܞׯIFn?ȇbi&失)^K7Qw\hO~(:۲>7^LuZ;HW^BvBv$y.ܪ;U Nn[8,@wMdӿ|m;mF/il#Q}}ݕ^B ]h>aZK62]LSUxb%/.F a귌f#"lΆJX<+N342aa#N?"ojRgKgoB .SY2t7‹ФUvշ"j))<+VAhGA G,تf K\Iټ&>p7}cej۽ZܦwM 7K҅ ile UV#{|p>8F%Cfo=?,hdeLooMF/pVCrTNiPm["g]ʳftαxNZ\^qmmRٝR%!Q8{˫!μ'J. Fox R.L;>Šf@2ƿ$&GNh+Vl2ADYd03-q2}G-ZTnBeUg ڇc"zquA8] O5b2MΨGIAF%!dZ cb_,y[pڦӱt׉ v-Y}Dc0 l~v +-v,lF%-V/Ѱ nQz!i1R!F:ka=v 'ybŕN 0mdw3MjuRX=¤^PY), 6r=x3N99DtG+Һ, {9 Jc=k\O;RRP.*jڋk-64ytV;\P:W<]OhD «!x;\KIk\tl %v`c|`@*> nfP"SQL'gbYRhAf~pv=L9DA t,ȳK ~4WNy7촞vOـsM%6Qٹ 6Sn{iR_z`{BrJJ"iIRve@IĻjke%(b"7:ե I@ qHK%C#9YjƻUҒv#^"P5|a!pTU|EALrEѱv gas#,[UV%=}H <<7OՕ4Ih7xд QvV$:260~鲣lW`3N\9;,Gt?yiU;pG% <]Եឯ{?^  tj=a):c"b eTb].P}UjnKOjXnk{_RiU8 Gmtcr>5 :j/UPAyS:Ș`k$^?gk/$Akb6 pCbN4s͚AEVgYtcl_^ſ{}q;\gz{^&vb[N۶BjtU\Kؚע|&N@d -m89_GljGE/t(m&TԳȫHHwl'a`K$Ӕvg|%֙`⠓X0K>dܫB=rӫKWKj𺠽\>% -֤"(T 2; ,mN-Ѫ;xbri\` lcƓwqbiйDŽ&,eQP Ӑ=XH1ԔWy@P#󪳸 >Һ2׺wO˞[4;ASkt*e/#Ѓy<׌X?oˋR>͖#ȏzH JASDw:AuD |[VOKONwkx9[J?fr%E+%~9@4qj֍-E8G-fo[pGRr%MJȏ7W`\W!=4 gR%>W#K4Bw\q uj,!\bd1aijw.qU>K:ƥ<,f)+- |Q *&5Κ[Wg}ĕS0T j@1ٟHS=(REV1C1C;grqTќM yBB޷OkP ?RD2*1G-UhXi}_udyآuk6Y 3zSN-H(!V[9Z2?qع&T:=.*d-IGs5T䬃^N`?dޗeHTFh =#Kq$z(B$^@S?IHEٵ%г;:U;ԏ_$ldXgfm^9 _?Za` [OC#GfsP2>uG $/ͥh'Hzh@kpC)Pe n8XѺ=ԡܒ¬x(LmͮM-Xk9l.swkN:iVz0{9zJm]`9JNY%ƹV 0Yt:v& XƉߩ pbTύ MosSIc[>f!]n ]LpG1{h.9/M{3e<G=1Fb݆M,_ּ'o/Wh c"6nUBe RfICq_[E(pZBFO$9X ,e"vPLE?>ր3$Rx`1:~'M&]x`AaM;]g̭kG}3&uK2ouQ GchT܍3>L)uz?bK=F1zabNO ռ\i3oWvT @;x|3lq >h,O ~lh] )AhPz7$Fm,6@G S X?g~!s2LЀnV6N~s@#^%(s 7ieBzR@|JD}lhf7~q(#$ $/_G5! ^\X/KjDZURŹ`w*.8Wi2`ݞ(^@ Ӄ'#_mO67’R(C~gNKuRJ[Vo޹76$fƿOB:IĎ.&$l(|5]务 fS8w&GH$Xr=ftl:hz-F刄Q.Ĵ"\GoWĠC !he{J. ,?JAxg olG p@a0i"jYN&WHޮ^.ko^hג„';_iJ. Ƃ.RI#H[p`~g6dD] "=pC|YqA,8!yY*7wlꈾ$ܬO)Q4%e<2A %C[F evec/ SRb]2y,$lbLDcϜDC'ڝnPrQBxRqՍ7\|9ySI]mBjɊWo2h3QApίg\?8VV#폺b7+UlwZ$$nj뤸yR-:g6v$jYb+t Lm޴Ly% kE ж;!DGPW$ft"JvLϐǔ!d JW] :iƀucEITgPh!9[UA͜./P i;s䤏l($w *a5Z] ҰDmt&-=yp֓Nj(72ZZDKR:%#\@vL fRKp~_7lm1"ŽjR:Ws^9B1Snꦉjѳ8!4ry's2r޷x~ 1މX m(d[*{E,u"ݿ<zR( nBŊ |sVkTv'j,lIр2Xg ˀzv/7{BeCVE O; noĻ`傘V?W0hbd?|F }(o&0ӔdfW٩_&06KgfVC>zYkeM*5m(D:`-VN8$W,ٟc0֦[T1u+Sӆ#孔'@I,OE;-'ZC&@T OWuS>61yeLC^3@{:$kPjKO?ZLc*4TWHTѱ}׈28v/">PVoX?ߜWEL'dSrH|j= +a(c%魿lEeV@r.$f);wCrT$ɬvP/D:l CۭU[ c]X} j$NѼKH1UY0O 4\V5Ks}$ftS_DDp∺밍cǜzp|U0a:4Z$>^7x#C4y=ͱ"a)i&s7ҕ_f8[-;Jq`[`]=-RٮUlPwTނ_-)/U &yuߡ~hȂqBxl~"DІM5Hyֿ.8^k.-X *gI.6q5ggjU:#wQVXH!)~9hNEs*Z:P#d(ص.ŕpgYZ7zXZִF! e]ŗXiɟ29aoʼz[%U>EM!!B/ꓑwtPO +^FJZ.g sߺ@K~B p#M@.2C,d!OǷ//hnƨJ4dZ.Qaj'VmA/N,#սܫP tQ.;3ZdLY7c`Obr '#C0MW7KDg!Tr1XظjEW4B" ͪo<~&?A!NSv/RU44rJ[ow'\33&@71fCס&欤T%I]>O^DYM 0eB9#*W=ar-B 솀@g B^ɷW-)G +ZLk iOK>IS`aPAtBda掙?-qԅq%aB4j'mcAոlZsy9ЦM7蓪(3u"xfRyp8kDvd9-Jd`YsoBLwKfkaQr}]T~ T5)fD`XӲKEdB(f]0_cAae`됮{иY"f /aqGc璢bp\Ah8poRݒ$E)#~6@ÿckG49ǒ N*L/;M`W`\\Tm\tdB<,sS-J֬kC>:!N DNIM:.f{!e*{ϲ~/yf()p3r PX2`e$6Oǃ8c05}LՋ1;-6֚y 2GgYZ7zXZִF! p]ŗXi%9#FQh#̈́ m&qAڡ-I_3=NclFvk9US[R0jtmK͵6ëD 0`IID:hBx^6w/^6˚?NXuP 3Pl@K1w{#OZ2V/@}@%QB?= /Cvu5#)?!Ve҈v3$N\OFGH?KPuaJڜU9hZ wP`WMӲdb=5gJd75ՙ-=5 5-x ĭ>c>h1@1D<ζ5^ɯy8*eM %X28|iޓ[Tnf ],ϋWkK͂zo9!KiJ}MS`Z iU ܔ?cgQePha-c:UʜB[CY`BN 7 Q//yc!Nx1zDJ{}< fA,U[xlGrϫcEvʹYW`eh_M%Q'Ip?Bb~f祜+%{j:7 ,LȨ)e3jfğYKɏvxЮ+,)@ ;BO==J/n+(nRksEǃDז-5sQer.jvc0ǰ!c0c-/USP{ŲDȾۚo(H%gwsƭ hjb! CIH2n[Ŭ۩jeFEMOB*ȴحìA5S/5jKof"uG)AklR ԟ,sF'xJ rff웙+; ܅5b?[x( 9"%KуjKi>qg/z޾T_lͽYvDu qR޴rvp"ِ.b2ޞJ 窶ŒGJkWa,G~J^/Z7x:+`ub' BI*) !H؜ ΠؚS0|8'q.;Beu>y|wj˷g_ &8k yݵ&bGtN)U);o([2HgTOw'H~6w;7*3h[nV# }V9*0 l;5Y9/KMQL&`,ӹ9^ z|w_r9yX QS涴r ;| y?u«y?Qs/VMRB׻jXHօ̈e᦬J S/UyrffMsQ'Lh@-A*{88g,~/ vNdUPlK$}߿v_--]O ,]7&O_ f}N߿OęR>@3Րw0\ KYY y:jMQX\f*̐j"N=0#7fQcڥOt纺 RSАsUKoXXbIQlQ\wX[$oh70όvȓ ܞ$*Vk=jJJr|i Gj GXgƼڝUCtU?VHԆq܇%(hP_ ~H(^s)Ci5Z7(q"k p N>`4&krpF E-ͭrn ~Fb7c+^ƪ"umhQcCو[a=5\!-ImV<%WL ^#ԥ"@9hW&7g I*[|nP@Rn }mڵAHzvQ2*oΟIȸQrf|!7ms_<=|?V@FdqdyW8jp ԝGhJl}XAĝ{1C0P&<%"Gy<ju1])Ѧ.T$ՍL ĵƊ"O0K[#x poJJhNtma$|4uuCm ،$~HYUPlB qfI朽)&@d*ټF-Zy%tFtl߁ PЂ(6WH g h F X.¨,rO#b&rt:Y Y+de?T#aύ7?hSVxê=KP&C00FhIo>FֈXO̔(4H!YPk琚#7DgK~'m‹#h6j 3Aq\Oy2АxZe۫Hzi9O*3Oˆ&xLɷף1-#=*XƤu@fM #u8ݘե/լz?a }LGP+x6t #fn _i8q"la,i A+%XgR,*2%?3{SMqwRgIzEdTzA[BVi|,:;S7EHtGY:RBY[a9{ggiJNY#:sX&kRW-rݥvH&F t3`(jMZ"C4Y}!ۤ>4&3qy0sҰYVB`׸[S5So60(@)NMǥz0!}177 ߆k>;Dž 9 gQ;Q.#)#$Fέ/Є0S۵tFhRpS'mb舦\صDQEv46^񣅎9ɛT`cd:PTW_|V+' P'݀R=d!yX%pmYk83S1Ԅ8ԁBq-9&9q\A~Z?ˋbx)com"(= $bB:U :P,T3Ǽ__5zOmX_/5dn`³9FJ\Srb;Mx)w oxWiޘ#I< î>GCc)@K0i/`e /Mdԁ Dz]A T&-L0$TLeAImDwے-4j5YS^9L?!GC @D5gB6.uz-zX}ɯ2&$ʦ4XX>Vq|Wy9páEӡLRt -u3l)i4w,rAVu@ A!U$\A`s{+w+H],2&rdDO9iWRؾ0khc$b7-%VQAja{C?Kfm?*xx[(mW;KݲLOGۮY}>z g4ho%Hi[l푀d-f)m36uYHcDҵ@4zQ3ٔUT=6 .V Ժ揕Q() 7ƧH,UAS .?KP"@Uu^_TBFie]vmL-TY1¢ }Ih}c 7;~tf'fN (2 OS \̆"|~ %'ehd M51oClcOMӦǠM ;xBW| `x!ͣʡz>A@>*0ȔE+^.Dx$  h|or?z*K2/ʤ|cB}k͜&4yj[ j̡y59 :?dREgLLnXUxɗ=-c Hp%Mu`^t|֊sK5Yjԋݔč瑛7pLUZu+A2gH-ΎJ!+-ŝ㥪ܞynCnO`'51SYB@sKBZ@[cz H&%+xyknnEV=``kE`/TsA"yӔpkWUD+>>)ǏN%Yffn#(,@w0,n?<[(kt1p 4?TN;61!LnHe6.ќ4GCD;Z_(mjK{D$_esI_8Iaqsj;O7qO@}-M)V25j32M"`+;s/M ahvkMβ-i3[@|P$q ĩ}>iiqKh2⅋]r0snGc@UhjmKB!8IM»l8nZ|%8R JqBTqm\Lَn3F;ttitaԭѪŷ lLGFJMj3SO|T3Gۃ }WqZ L .#Z`3 ehYpe)ĜX(<ݔ({ {LUvˀY \Yw?@ s:A R/q+~Zh f9Id;xT߄˄iGrK  G ׎+E$L|}؇;jUeZ/z2!c)^-~s5ON6Ut#EFO+KlE\v&ѷX tFl'e];SSx4?/9$Ͻ1NGT4<3\0AYui%D-XCfu/mw67l'%?%H>IFU!/$Z†\ue.dm$F#X!,D2T1C}<,JNn>ny<64  v+u ߏ?L fkY =tAddmk0R'4MDOGL;B+'`.Yt䍤 m2~z˞: ЙVPxƈkX"?k0%+&LMٔ//Kw:p{. }S p C>n۲& P'nᢎ[$@ș<p9O54RFkC<\~+ʯ W^e©u@5kfg8.A׽P&L%Um='xil[̠Of6cB ,rC9KGv9 ^å $tV4틏XpI}>AuU얛sjkY4 t`bn4e_f ?ϓT=7>co Utě0,sHﱾ?J*Ri52i?73+Jj*ib 7VY/lmMco_]K++ge7ػzc@Mu)y;чeѴ 6头bN gdS4 , E܈t i,Gz)qA4cBmU4j!//?+b'F^ȀVc84݄{ ; [޽V36&-3sA]R45vVa=5Rr7J?O&n $+S]6DcS0$E]ZX6R3[|Lel;Z':.g]$iSni!U3AK$O[ϓwk-2r$# 8PW h@դ{Jfaԇ5~CCLסX"33s2d#j<=8RH+o\C_ɂ= C9 9F;)57ʫ_mx} RR N)I͕׹v2-ƯfaJt$n'͑bt;˽N 1Ig<9\…-Y6~"u9^mEXמJE~[BfV3;Kޯo}kQIdUmw_v%ͿSnEk2X `YӬ14{pLTxk 1\t'XLi x Zg4I4c6 vUd]Kt'8cD\gP ;ϝE{PpET@\5=) Z #$r ﲟZoh{!YOU7 %c'zLw'y#?ב>H~ZLԨz(͹^* Ը~"0N7`GfYLcV E|X Mx:4rU \q!ܦ<-1ܼW/ @0oeÀ~V(g՘o41FSGwa#D$hj:ߙb-uziA\gSc{r 5~'ilb7!9T0 jOBvc ӿ{wG+ NWg^lw؟D Dc_XgVо3QMv h6s)u ߊs iOT܅ͬ((ľlw^kd'2:7RoI#((LA~7o50XJcW 95ۀ0"vhb @%Őf;`о4.!Wl=mН1t&ARm f?.ͷ2 ($4$EYdc{YkpyU{U88zŞeM'^ՐaxT**zM.\q`FzY-2ɚskm2:'[*K> ֈ#ˈG(][YmYw/0dq|O8}*t>嶫d0~~#mJG )OUx !eĔȊ f'Э>̛wgzTHB1:A|yG&,Ӛww V,6<:Oȥ:l\"0 uQ(na» PKy>crxN 'Po z~ 7ؔ-&}SLn=ppf ]ce2C -)G6**u`%^;qmֱӃzq`b4BhOg*IV$=p`_:"V]JB3EGC9c 2:1| Ayn~[P 8lոRt-N[=0]W{ggN!/+'Jmv5=kCb$/vif Yn}I<&7k3e8 #btR)[ɇEe ~`A$!D[֠k9$]OAn+ᅢA-!a drp'm~ULZ{hmzJi5XE)DA}p1'lŗg[Sߎ ߵИdTǻD-*lGeBAZL>~Y~Iq%PnQo-NP="uv4_ )M%-l~Otη6;\gM4 Nsk)W'DUr2}y _4QULJ$1I\wrTP.۹^:wLՠ 5kTB_D{:0ꨔj,ەR9V,xw $;~=-$w! LKAm]qnO9qD7iX,祳`d*u֭fZ;2 @!-Ջ&'A? )a_- ֠_Z5Ԧ-ٹT cOucxc߳Cr.]s䡃2ơ#ulM^YMrCpY),(5J- Yh+nzVԷ>tӃfy|^Zo ՟U ؏ I~"/jߙӓi{:;}KMs7UM2/V "Vr/ k(i@ќ~GQe c~ݽl uѠ ILq=X=&wou@ˮY%X):+7NEY Űi:BfI:O! Ȍw;ZODGK:w)}CUn#Vxl InossIs__|-a5џ4$1o\25)*C,G_s_@>Ad8USaO5JF&1)o|1(R=LI*x +e2|Nrl}/~+8O:4%>M4˜Qg9"=i^ KQ6֐3GKS$8Bs0<zyWH%xZu"ib/*(;غlϔ^ɲԒdHf3LM; лqtOU%t[sۙ8Kü`:1ӹAc>ޯD3tkL*Vg{LOCBBiNu 4| =PdiU!4:Kœb Y'kvd⵬Z,TpNM"fSsxz6 ܮ0 ;篊tu@up\q}R<.hhVޅCS(l뀥s+ة}9$y6Pw~*}=1^fR"iEf_Ҟֶ)<%ͧH'r_NzS!4J@ɜ\9 td MK@8@H}z^{<:p 6Ȑ'%A1!lx4z[#w@R`\ؾ{eJ X^z9=ㄜ5 03/|ܓ캎L❱CjJO YCȃ.7OHNksM")#zБ단o:VgǦw0_쒕/B'c/>uXV&IlljeKbGm1oH3ۜnjxv}ǹq'])_$+ΦERo/#H,LW?_SY sELz\.P.`@Rm\j?oQ]fTrEZ2Ҭ6:W[,сTT] & {{ J 2xa Uy5t/ ]BҲ$Q$@1fLfP.~Oi d_a4uC0=[u<-$fÓ͌FX!882=+*H93#)\ g>,E;SQw")X)}/ ȍ#yWy)GKOc8REu>WPj@,4q.Z򀃭v@oj'!V+&^]=)AEƭ* 02^ztyd- rk]7]sr1fI(o6Ԉ9ofIV[z tF7F7@wX5`^D.s}c'opq[L Y8u ΝV#i7ܯҦbj>?8F' jY7k$ůq0?Gq;@*2ŅhMK& ¿δ&W?`$#Q]1ysňuL'%, yojj2Q -pq4Nw ~"bJRgeԕ A7{%=,5NA@$hN̩ݸxw[V-~Z#hTVΜYh/%u%Hw,+4]TpZoAA؜iJ:/YQAX%kQ3$/I@ҞvWsI ҏ W;Ek  '&!w' ꣾQ(%s8uԇtTq:NRTE5UASCyyf}x(~D؅a1YU2t2D&PsCAC]ʵ _$  1-d]i#"- ^`~@V#^kϨ**'02@]ivZ8b6juᮃ?U:)OI|˶Øh6UC(nͭR @YNRjF/3+;Ծ{Tz5@(q>Hx04pWOe8}s]3 V+Y<+Hɴ(H[pWvІP ^w/R5nuL)SE;sS zƠ.SUc6!Psu2=㱇$FռGèKJv=@hdR/U4ls Dqf\a~Hf&N/ M%3D]m(OZXA_PgWli=mKTKh&vxVڂmf?HׯĦh3ttqz]mTX;n2tdXp1H8tPE{bJV\RD $z _`|y;LL(tQIO>ߊf Qxӏ^%/]Z2> ~0uvjor%tVDiDr;[ ]Y ncT|$.^*#.Vw"pյb*x3MʄU.z*x«?i{oŬ#?£ ! fp`i.a-g^ ';ׁ͙d:jCt uvR(4X5LF #KXM3^FpT )[.}/u&Bu '|1o3+O;՞՛o|y-]%:&7܂'|˨28aMY'G.JѼ Ց`nj9B4f !Sf^ݩ8yiEԤQр8)V06o$a-QēnYHz]߂JF٨ӏg>pGW r Vgx%Ny"*YB;383{':"K,PX{!Vrz%u$.qYoZ]۲*(~F0\y>Q+88l&±l4k INA6Q=yR2 x{fQ YzyTK\8c\%T4W[ 8. F[N)]pL6Jߋܱ61)ۇEޘKb=]6ɝ:M*'-ݴ#-x^$SKE:IGVva:c-,xJ۩ 'Ѩ09G%s~84N5:ۧ".EK|W!њVD^bPį~e1c9s'4KӦRAR%P^y.wUp0At3)./H,['vҽ;֕%p>e"TBXS?A6,Uj)ڝE\&<$ 'mY+8Vr2=L,;  4Y۽hlyO}i (Ӷvdza3Bע7U\{13.$/QNNI䶘BT+Fdf7P._+^LmnDYVEH Wӆa>nF*~up q:Т񙧛Ay)[dNvVa)GArͤfLF4L !ܾ9N= *3\i}jf5+EGsʩ'Ǭ4H:и?F3 J7?"lܟBIt9"[RFLYn_[^E*_91HF;3;=]mV 7&^,SJQިȭ B'v7kd˄v0l-(\#5l]Zi:xLbDY@0nFI[p@WLq {z}ܷ[i6qxVe0RZNkDtAƂC„\zH29i0Iݡ@בֿ:9~RpVLo`top[ 4E`n5w.~4ѫ~Z)]#[L;1ay+`gBEGGWUhMI3.;Mk2p|B'eGe O*9aOt3#rsdLoiNjP}*nnXhk8TսB%68NH(MwzQN궁#=L!kOi+PXa{F Air4N1Se܇(dAH >{P4=-6cpɍt,sM)WYFC̣Dɜ$"Kg_CSOtj@˶+j!Q_NЬQg/PEGj ra +Z 7#R&emLY%y+/4$8 NK3!#%N` ݲZ]7BV4@Ia!lGgmob}\鵅X!LT.J1.JJL(fT,1 ԷQV\+ y`ϮTEnҲ53E+HU59,B-~QATy9],jL9n S_GG&֔e|p`ILiI7H a+}i/1N5,*pfO@+0?&?G=Kc4n`lLT1QpZ4t:X7_$jő?!"F5p@ eMXiONWܨ%ڄ焧9'}ZuI5@n@j@xX/"'* dn܍6ᨴ,:߳R30(dqk1> /\,,=,\iuu#'b_8^omWo@=CH,AK0; !M;* oT5Q$8x1 c om-Y 3?dpݨ]QV=Eg2΀41]nz쁙:DkW:p㄂* `?\ N/g-,V 2owuIIo1H(֖A@QRj6_s d~ oQ0ǥ6aG.)h=6C?Q tDG;9vf/eMSΖO˅V@la* ^@غBOA(`Sܥ()Pv܆2s=N/H!V6+F킈0tO¦u2/Ll=仙.5N쎳gs!l?-#ɫԝ2& 0]Qyd#^CBrR;ZOwYV RE*z„oxJ7%blbo'ɀU$e2a)jv@" Ny* {3 [cG xWU]:h2S(DvKK1Hő&J†MvSW"fgeKeξSV^1\KFSQ)ݏOdS;f9HS.dE.66{H򉅃{*?HP˩m5]5*hzb_vyӯؿQe#Ԕ3q=Q)(uxۨIwߖKoY0ڙOqVs!ݨŧgd&X*hA]DW ܧc؆a؛)-7h~dZm2A IBf!O(6Ȍu |RRΈRa(e!\XݩsQ7{-s%7p $Cd:H7 I-Z^l!,"衣3]R/Q<1xUyNfi!HNQyn$ eKC䂧gnRQ]h`ql I?rSg_CF0^`+2&pKDﺍ%ΚXx=tM [)d&0؇HPԯ$`3_aBs5G{Fa<.B D Q\44PQۅ8f"#H٣1lqd'ڃW_}qz$rK̃V^yydON QlH7g(l9rL,)IOXh $ Eg4#'q^% ^}"Z_Q+V[Er+(rjt^}pyn?3`\)aU*CCc`-jvc` /¨s=LєY*zj\6.}nZ0O lX<6L4VYi՘5h|آ|U GJ!prwO]} ͗n;}6ړZ25Bi;8F\0DuS "P!|bQ,r/g ՍǏ7M}35=MB{X@|80VCk|asJ |oPzԍO+/u;\nu K8>081Mn a.2u.̼OLb[LDJ*DۿKj$!8[{$ }~BY"yh t'Y2#/,$}WG"Iy,2(x/լru}NwMJڒtQ׏ ޮ &@Lw ! Y^-P5B7Rl=.FDaJ,7nGOe!p+ iBq/᪙IR{~'hb5\[՟!DbT`ŻV}.vXjLPy9U"fxԫ7"$ތu d*1etaΈ`].h2#T|0"~o/ĴaBL)> f8T@2|>2n I{.mRyBM> B%Et7O /oY&ZfvY^ȲbJ7#6+^ #5r?ձFei~UUReEB8ߍ秈ˁ"jFpўZ YC۵32-/i@r}V |V>KKMG k7f}4n M=ƾ_mrKu5>nbýg aEeq̈́bU#:YmaŖ5E~mjE4BQWcw8p.q#Ε9f'^3ηΑBtF*OIJe0hw1|8kE\X`%9Δjt$^DZ,VJg tj]F_w2~odGEJ>d'" $Fzld4! oqhڭYޡa^0mLc@e&:4$`;`6vEBQ9yWSw.~(X (f1h3y/ F1rb<en-G3T Y@7+;/*d iHY"(Su},ԎND2,Ug_;|36eܭ'sg0l n ,2H{2őA=ndw Dk#VOHP2|XXuya&DU.[&$ 7[U>’|؉AGz8::Qk#=L:3d`c$0g8tmWEy/ډM'C(t2k>DMGaՈ!~ݰ%c:K~i@,?\^&XXM`檫?jE,[Lz 6x*220긁Vm"CG?7W_frDb768%*yH prsf;tLfO :@o <=&OLJJ0IJӗk8zx0X&mM!ILY`NJ[?vڶxF{}TnN`O}$ħ ~?l fz2ȷM@ ߼{ _tIGK\{?1!lzVm`p\x {ꊹn(φZV-~Mqty*=m=~Bs;Ki8֓|%>5;D8H+!@w/ Wxsi;Hg5wk¸<pWg|PssYDXI|S?cI7)] - aBr á$)B&djQ򮙟 dMz/}i(ã nF7L:♖B}T)ͤb) Dˇdrt7T`Z&؈_S p,nYse#;,k 9$TΆWĵu3 9fSTvS ڏ>%!u#d*R8)O.qb zpGxAxJ{H[-T=ʂX4IAUL9: 9聡GT5[j&<-7YMÜ4r\"9eEKw#!&F8^m}[Waf@Muz80 ;M|`ب Mzu4e.7 ^i$W3?bV8. k?g̳1`Ǖ3b6RhzR@ΏʮYۦrM@]gͨL QcN2Noc9W˥xHEۛ%P'Snc9<.h-ohq E>Ӭ:X0Q3%i׃DI\ƄrWO h(^s׳{pwQ\(fA\ )ycLVgKҞa$V1V(w .p!9bI'? &׺'6 ^\̈ ?(cTaQJ_+Y0R:덙N~LS$pE}(*ˀ!0D#|ޟY;?zPUlXEw18B;F57<١ /eɻS@} gơs2;[q<"Gn?a_7xt`GEPf)9y~Nhkǝ&:n /bJ[s"gzG#%Hh-SREC0-?Ii}+ ک\ts5f|!b:,`"ᡧPaaTE!B[oM9Ѧ4+cFfE6Y|W̤Kn|n!)RI@x|:eiyc1ΪYaNr"> x"{WQ'X0i*̧xa)9|<l <em*R >-x' / UZ$9߯dx*k[&P/Lz6 6'/ e9%0j ڒ!@x55߂2^E~FP}&ew5hBx<_[}_|'.w 4vCiO͢r'믇Ai$P?,4ϝ}9o1K~W it~nx A$E:5"Cj dlJ"v?䎆dY< bXHC7ih f̄@덛uZiAJe%8R ȕ$@ IL`!Ҷbթ<QlJ'[tClkB[kS(yVc}==LnGie垊ʙcJ͑E3WܛGzAqf? æd&lS3^(N-8,`5Ltr;,>g1cˑS -OW#殻lj2$8gfGE%z X< Vi UrЎL 1sd:B >A,x\Z9T(5{ܲyJ_f=@sRK$/Q+wS;7VVEp,&ދ,/A~#K]3q5}/93F ݟr?͜oaԋ5I6)(/15݅CaQAs"_?) -,]6 R(dʂ=&OR(')MG>E`џZcgŔөc%}GFvqF b sq83V9'4>":y&>͖-5NWؠ`m6vp-c#^-٥8}b)3s_l8FgTߠC0Hs4HX=N_k+a(N},*uo!-4ǥL e q=Lͤ[$UIeb ru}#HC|d&.ēDjYjOŬ̴(+%Hy^{PBM)2Kyg֛ hә Ē'NR-;в"xcY4#c1D7xNa į P-}̪|o 3MrQRJl{MF @"S=skn֬<+9^CI I:K ',w65_k> DPXGQ}.ѿBmSiPX%1 / Rgm߯c HMs?g)T<0<kAi@__o8Ȫ3JPlJo]ix_NId؈aڡ<xsN}r{HC#8ko84nh> 21WNJ8_LI2kxՌ5;lta}$VACARzhJHpj9\ șR^^~m~O</[Xf}4̾soiCnZ4T,.p8ruOԅ^$Vp~^k}qMGT'qPj0(5 *!q*W_ 3CN&]y9%Fjm)%65focR͘h59hx5?H6 I 5Il.X,m~[ u3Y.8}^ `Տ_ʰ{1:5˂0Ds΂iє4,UX7U䶼HUh3fR`[Sbk~c^0` K^ĬdlOxktŐ֝k{.DeaP #ᅟ4rI!>~3c.nbxy9nE Lq#q¹ \U_(bG>" *I=bD]BqvGK'ݺKUD OWO5ҕB>ӥ`m AKm$S%