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 \%,dD ]/]HOL-Analysis:threads=2elapsed=717.179cpu=1276.496gc=62.408factor=1.787zXZִF! 6=]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl 1rFT@ઑZsy0%͈Ӈv*~ew`1rp)oumuJY~ۣ7O ]\bRMҩv?/X-/ҩנ439z7fE-[~5H2%^z;b08qs'p!fG0情|kT( R2NEږrf[K# lO\lK{N9;5hυ/wnjҮ`8|':L[pmzmn5\R|G[Aw0nbvcQ qm<`?Ȟm#_"X"eyz=@ʎIIaʲԜö6p}w6+h2NmxL ?O' K+ ʮВiPYhx]͋gw2G*ܹ"5R~d!mgUz ߶B ixti5_j8t*~Q21۩z'ؼY/jp~ׅ"j;юuq!M+h1hZ0EZ"%i@j|nyTWǦoOͪ1^Hlmc|_XxBɘ&lRBip::}91d:u߭!*"`xQP\,/& ޚDˀFyK!GbM{bq!s^!.|% 3(i'A9֖givtth{ꫲf4UM>J@.ش-$)n|Aw۰6EU+f8/Ep5s8>3G:k\7oi窽<NsNjDψ/TO'b|ΉxrR~1d9#ӻ *tWfЏtDo.c~BH\O*l58dcKD^_1ϩ]dzPx2qFtE}4}씌 4Q7ozέT$9Eh h&HN[-j(Giϟ9觿xvHs qM5 #?2 fK.Aje7?pC8Qg̿|EQn(Tj _ϫم36OR 6< Op_c 5 ȯ,xE^nˇW5D(u")13;L?ڒ[ (axeb8gm'5yY9'v}yԼ#j]=#4t .xnf`;Bu P▓l.#rAwNll@ip۾ $rtžªQ+])*h΃=.l9;ԪjSDeìӠL[mg~#Eۄj]۸-ymCf%m[u φ5xl1Ger>Ć-K֭&7׽\sU7Xymau `]Vݽhmw/;V!=;PĞ1YB܋c3d_EJ_^ܴ^MW<\(G?*XppkrfS?sQQGﱂ4}TKcŽ' k,#DtnH:, pe3\a`X#U#7pb@̻q/Be{/x^X 8(i׮<" \@j;DZAg~F yl"=AΜH3RC":<>+(`PѕGAѣW".%BBJKjп|alqzm/m'I{9#Hn15Z|iϐMc'#3~}P11&SStP]zSCdc0$w+Q % HOL-Analysisi&#U7a/aW1hKCSCCTe%.[=7gPCXiR dH؆AƸ `U~5֤ts e6لc-~Y'wT'U fjW棇].Yp C2ڊ!PD{8*BS#pQ_ZԲ4N )<ՃJ)H<3Ld(1xdWM8v8nl8ydfBN$F^/Lx&۸3S>Rv=PƜv9B @7l$OŸK]7ųWLev>i}Ii,w]0Y%"X8eX0 gE8Hn*>DtI!~YF^4]gwجG{I`BCx&A}w' Y{Ry+@wiq̃MUdhj2qƳDhu;}C8EBz'2$W͋m6+AT%D͟irA'bec. aN+>WVJ;4Tun3cRN,c-WQ֪+jy7.bU^%ο,0='T?'ƨvP\{cSlAKPѓ]8NPQ594Xd!?(F.㣸z$!z,\k7ƣ'[QwqayT:3d2FBm!~5U[(hr2TC:::IYFpYN]ֈ`iI0jNf`cgޣ`K;1%Gf ւ ^>-zzHZNSěQ0 w1,(Mߺס٧|M n-8,.V}ָIMvcct,qS3J8x\h:i>+b49v֠U33ٟl?P(&0¦q+IT4(Y\ͬF!ކq`; !֭uJ0} XtGF3HU HzI}OPv$<08vy Ywn [͡3 8 Zx kh=kY[SؕdW2?/ӫ枣QSm`t$gMV)"aC*y^$uͮO٠4͟(NdmNj}<^|"`*QşoLG>c?t߻]vd:3!yLu,TsVN4j_Zf[r43Nth>Ցxi2NWqW(8R͟,iQHz%T[SCgL[MsZsΊ,㝻1{T Q4=!v]k sKkerҳQ@KgPqz A> H]uk=@VTԀF *Ps}Fy7_og+ PSN1`9{j\ZR\82_';a!DaiHV$GN#$m+fwǜXlDA&~~ 4D,-eTg w ndohC^{e\*("!,qȞ8HX(,pWQ40.dZ|&1~+8P|P|+*D(FMLʂٵyB{.(YNfc:\ c]ֹE|Ҿ iY˚ slDY1x}qsH1*REezBA;dSdt{>\^Q"Nt?ݜyD;#kN liM5x++WpZ|[v:5gȐ0f:*QϨun=YRDWe/*jc)̌(nE$edk %we69;$\rKܪbDԭ`_O#;'ۚBHhl]U~>$3z#tXVšuNUl9lϊɀ){0{P64sh'XH=:t+&5|4`7{ˠJ#*($g+N0eӟ6#gQГΊ'=p_~N/j#`em6*:r2pSUڂ F% C;wdNG\A]e>)IbuynIo$tt 2Q=Gt`PToվE"~%B8kT z+} 6Ѣ}5@[[[#|2>8|iEvp +ldOCuNza.xs6잞um].hcozhe:s+&cT8Jv .'Ȼs]ðY gk29zP;CJ*x1#~@6ɢ%c U;n;@K&} D3@LeSGWO|PvaUa@XAy` T _>?B.Q;s'q}pܙHjqJ@IBd%,EwHtEJ̝KG̀rx h2df{D*3.mZ oGcۢ G~MTH2B_FA^ jsBߢREԷEآ7)lStoz(b3yhz#$C6Ҋ5luⵚF8eR ޠe;sR Ee@C,Q&oN[%TUk?R #/&3-Fc0Cl/51$wuD ]Pۋׯ2I7{P=Zd iP~' }`tw/tg"E~b0/!D3Q9a#Jt;ҸB!~8Zg$6F/4Gl¦"9fLZV·5NY}mSѷ {|s.KK.MdNxHWQ_,}ԉEvᒜu 鐾i+Ԩqq "Tn/6SboZ |ۮQ"LqEj<xxL9s,YMKˬ'{[`ս[ kBĎ_dQ`idT~n2 Gx(!)Q%9(!v2.vcԇ? ]b7nt1< B vuI5J `.: o:*6K'R4ïw7 (?˹^`(e I@FzcGn!A5DbWE7 `Ѭܸ֑݌B̆;~DrSNQuŏwGӺikeʒ ` vՅ˒:\5W]:S$ώRZC瀎Al(AZp/򿻈S4dWˋ]k{$dQN7`sACx0D=v&P #Un,flՔ2P[s.=-43LO vvnOAraΗ|H$HZRҳ1ivuk|I"|GSY-EE2~/^ݞ'+'2NS E(V:{G=-ڛ쪻c,\?T ( t[[[0]^;$t- ab,Q2GԒ6\I٤%o=.j' QEVǟRmSYwj48HlolA*7y0*7d<ғt 8QU:e~fRۢ-] `aUY8!'`r8g$_Be/]WZ<^XV!uaC]J3FcʉGLEA+ALSRԴJ(墀06l+?jU|P %]04A͒9~XCR|`=n3&#:6JmX~(C+}4\0{*P1ο2sHwۇDV@fwkN47Nol:/|UTE|eBjs켫;X5A,'(a5צ@5?+csaG.^k\e]K{iʍ"m.ӸrsՓY1:w[Y?,H"d*X>A< _.A]#)]DfK;)r;xFrPtW*$iG7\4n 5{DquqꮴT=f*&J|ԑ@Eǫ?<:b1K xggK-HH,ejE,EhQZP:=[ނ?}Ҹ!ܴ}bL]x[amyڱkf43clGb T,pl{XRUg% /uAPu6h+R1Z..]\s~f#^h=>g =7Z37g*nŬ䄮,rQY_!Eɑք#rۄrZe߫OZY)nbT*Vtf((@(oI^v𭨈rd⟫z!&`e#)u*8< ? 5-`k%0WxӁL41(kQKԈ.o=fJaJɣz l-g!=m.WH0t%sp "BBoLuzŭBe덆A԰woTO %BFy2'żNj냺s#HCBW/jz/Ɉ)1H@>W.$l[Ln(vM!aY*;0nSAG+v|v%࿳/k܃eЁEGQ-W08TC`!F2,쥣"*`wR$TE ݪz1_#15Kerdɦ5tHW=h={ 335Nx2s 2gSex?"5p0:iũ[Ucw =$>ǯqX~X#. 4NPk2~|H;'*tƝb(imRvUy}Lu wEt'CrުaϢ7wb D(vd8}GPu: qȢ,Y=wތ^gC7 . {/} ,b֟B}:wu? 0M:R?ƌ xRIB)"Z'tFkѝو -_^P"_Oۦ8B€2DNq~4|pȌ}?6Se" H};zn9DZZ@,P2(rӊ'D^ oҧq-|lJ e4rb-"> tFQ`jB ^4뾫9o/DU5ͫaE_fWnhޖ) pZW_YV.EWg-߫{->约1H+9>XMb=GOls%g*%Qdbubd~[ށGڀ9\fMkݳzF%tQtls昞u]314DFUċ\_уUNI917)pltn# QJua]`~آ Um' E96eU(#G umWDRX\޳tjQk_#S0kǩhQxz;r7ض&aNUsQ5ԔG5BaeIa.v7_2@1'se|:בt(8AP7Ƒ-;lXAR ?{Lp!Q ʎK YweϔA͔"vPԚC{ĿQGr0 .Nrdfm֯[T>D2C0_2)] (<+G I ^IшVR)䯨 /,]C{,@wksbiyܖ2rhUتG4[E86c=%BaTŋ'<)b]H-v?A;YP',,T`3fB7.WN]t^3'~yS?D}\@Y ThQXbw,v|k:cl=v}7VXv:}XTKBpHͷL_aGꮯ"Qe&`\6ɬTҐhKф /\#PbӮlHC :(GPK*Z~GC& i1&=; E/*ZS%ZQ#1%zWfИ#δVbGꝑFV P( \,#V]+JjřW܎Ԋ hrng3zexN#|1EԪ6NTdù{049 I9[mq ey 'B0guӚkqOץ7>T=R1&tQ~b=jcjUhXiAr^֍&|vA=//mŅW? $l0@׷qX}FbB:}ԏ ; p7w &ZE߲7SRÐJЂY(iDWN?މI ݱ>9-W{v(U{#BfC b =m=}4@6O>x>NunfŢ:YgxTS1=rm@MfZ숖_5zq6sLxnj3Tdh]Sfz"/V*a!P&;0c-@#X 8\H܂mBPf`o{D+²:Xm?& eP}Qd1ɡ"zFMLz/F٘5!-DKUûy ?_OJ9oHxCX72o_ǹȕmn4)YvJG6҅W{])\Eso*-1_ V8$)- *9<#v\7Q"Ϻ$ 9nE'e x;S6\0NY+0zXG _H>7hdw$V X!0X5ZKjo>-Nrw::JtKˤ (0a4t>LrxxޛnXe.m|³"5 P`.3 3 {߸:8j F33YFJju˚l QEhժ3'7ƝsE쟉8b K #M鉃w( S+L 4`k]]m ⶆ8tvF)H9MҶwYxgabh3aI+ wfDj m$OIr^NwCcy[N`5%PrA;]мjS9\",h^ (19:yB<OrP^]<\~xɷXnıcF`,F7FYX512: (wuaə/iɳ8A / ǗǗv+X@u@Ak w&. M> .yki]^PE5ҮTa pǟ1+ӫ- j4{yC qtT P;瀶 o4Cq$4&}K2m.d,4H)h댒n 2(]dhW{*`Ddp®'VTY_j>8B6͐xN%*oa\ʠ͛n "W@oq\7 <-22u礄U)LYl2N,E͗ZTQZ,9iDcgo*h mkݶa_;s䨀I㪌WUd>["{"C5Ӓs3D[R꣪СqƶӞFP|R?W`1^aoۨ$ɜ/##H}AG+/$4|B38 o*獷K9^֡A:k||JBZG=<(Tb2`q3oěNLY/tlT$* ̏>H#F]W@8Keڒ:p}9]T`33|c}mM?e;~-D*sPn k|7 It}mxK]|Z(_KHYŴ _ K}9Hb(Z.#OfHmq:i&aLXOY7me+-7}i%"_Ch/ q931fb# CIȕKR{۩Dɕq_ @*|~lO@$)5 v뎼S҇~FӦPW&L{FT{ M_rFЁ/]ZYZ؄A#Zp\Wt`ڢ>>pZ+MdҠӬߑJڇ[7&{sO bg>\xj\-/cp=uʘfҪ`BoYU?bt%nV_wBWQLj\ޕ\Ѿ WOSW6#YT8*K> B|mTu֐+Օv\^q/]PlAxQ[ZZ~o䛟[ ÑCB#h'>(TZjX名nؒ#ެT؀5q bv'o9 6 blSk>9L]qԥJ}O(/ 1Q!-:pE6i6'5z ]BMЇG40' i}eɏZ%IHXA8(ێJ8p\P}&;b/6hj'ɯ C3BT+CNqaam;0X]O0}qڴC7 Nm QcO}#z̶Z>}]n_8K z<ڪtȉ {<4 ɂѱ0zN3^iC Z;яjld3wŴ0DZ ϡ{wQ-M顊k" ]ʾ'`+oYh]{ QԳgYZ7zXZִF! j]ŗXiɟ1˦r!cHkMeBd4D+C :IX9l.sQH=|&2߁SZ;{CE41Ak*ۿh¶~oTV{nPJwbak;GXml{́`劜)X!bV u.ʆAJK=dtC3NWk'&ΚsQ^dki*k"AvpD ';Pb>`Um{f͋Yƻ8Y@MMz>9חiߓGߌ#ǩR*t(>X7욇 5ZHK:UW;h׎d:=Ov.<Зss<Pz#&ZI;~G¶cRd :j8nAE%T)8#ɖ?nr=fXI=aw]6#S]mk "M]HT\N2N;$ F )U#ٯFғmS8.s/txV}E q>$.TqH*danj uŽ ϪoٺyQA^GM46GacXh6l14 N,ڮİwleL\B,b{f: k";W~$B A|۱=o&),ˀhL%αYZ'$A †tx>Xތi8L7MFS,BD%gV_ގblWHJ_AU#2ͺ6TGtcȋ3{ʒK(DbTlos+>/%@<7*Rt*ϛϙ:򯸨Q:bNqɭ<zω݌ R )=,~xfzZ$!'Xx-z _Oѷ*{2q wdT*A0=;בuw2EF.4ջ/+YetФ#p ]*/ [5X\2*WU[ ]A`Mԩq o כ, nޜczF3(y n\C%=7$ v8ⷆKƩA̩_ٯ m~]';X0[*mPsٞt^]@弖3n'!O, RLe1d#xzj;zbN;mȐ~CjvpjҨ)?|GdaTz^3@ձŁ- s7&yo^\>bP6l2Ј:䍁ު?7e }:v%>E18@Hߩ(Q@EXxHVi`~T: 8]"d)KH$c3yYͣV*OBQ>:FwT”ZF1; 7t{] J:'hy%\! tHxt]$act3c`bg10{/Ϲmce{zH9>wWSIy d:ly֪ǟX% & 9B+m9]/ѝ;D<+f!="U0\)tjl;{6nPvAtx=>i%.nޞWs{1L%W UdX  *4˰9,3A⭟lR -hal𓈕v^(+UG -B.ܪPiNEJW/$93 5sCn(h~etcXڂ %hnD#-%14n5VHu4T2m3hqdԔ&@}d=(Ėj-OE柏5{wKF>1ɮsG_hҍi 6teV oSg dk'(_*-Kz ,=v~tbLf?\{ǣcOjEb联xm[+0yD$gYYA&%k 2NvR-%X"ַA+g<]gGG`gn;Łvo=JIfF֚nAchtk:׮8Dܠs}^LM|WSU6e)VH ̙֔xRc)ΥWçÔ b2qCV˜1OݢOAKZcrleߡ9ۚKxBJNjIlx?-}L|-Xg ԭHPxFA! }aJ{Jmfj1;^";:CY'N[o)R+ůU˳S0Vf:ڞ [B=b7x-#o݊taVVL2Bj?!S ;T$p^Ϭ%lWkK 'dXc[YoDMg} &˰ߩyoT4~gv8P#|!8{ N~iW=\4*!_3QqËǗ•ߣY/jE vtsThP n|O:2ufgzvWvW Ь^! GųuDkO. F]t;2u6/+0b zIlj^&q*!.=W52>L)@r?=O=/K]㸍bNNߐvtS 1hHnua-)4G*'h@6{ twfo3gbWrSG"yֿFʴ],9k:iiG 6XQAK7멽ݧ\/ښ?WLaEMK,Ä5iM2VZ ,W {2R:=l|n{rJ.JcT>>"v=Xj)΍7qknSbWGl:w ϊ9TT7\<g9cx}8ӈ_e.~UO9PS2M{xcgoZ6B+wuf,.m%A*^V=A4;R鸭$}N"l'TEųgN>|ըǕRyk{4c f)gzڢxf{!)e,EdglXAc@]Q@B?nŵX=g DO&s{{{If\H\iW7ξ/ [~ź1)V .zRogarH؂E $7vp^4ԥKW;+<.?C24\r׶lJ8SjF4XPzl5sO;3S cs.Az8,umՀd%N r¦g~\k|BP4Yd4OF7!=zD,tt=, +gF! 1T=Xjgֵ 9݈`eWM/nfN'Q`VfoѽF~ŠHRg"D5G֟{OϤaݝn`& -M?ǁ*ͶU1&[(R" LN/^?D ]k]o^C>Oɧs%>Dn3gaؓC*knRJPl89si*UeÅ PvK!&rX;ln>o"v[,uNu/ xϙܜeR. k R>:DžGf>пGLT~9lڍ.o_3 )UJ!I&Ow,H >b~pLJu/ 7F ?9?&;`x*Rjˌ)/2"QoRs 1? r?&& d H,J:#PL-5Xp7+2>~B՜;| `miK vdMKE~b @b7%߼Ssý=rVGQ``qVN9:;M.WW4!mO3jA.pS%u`ILF-tb#fnSCEFÍB> '1 ز18D$"Gz>/5_6QwFHrsè̷'?c}3q|a>If7:<[ꚰ@^8w~v)Z3 wmyoQ " .˔:htZQr&0};nqYg_L g|P'nM3n_IcQvq&Gf'c$/p!H>${CD+ oWˑ_ٿ,I~bǹtxg5JR,L[h۾UMzz8Α^RbNOskLΨM;u0FeJ75˯}hQ @Ȯ!ϊ׻/㵢MR~T<2?3ץAJYPC[/G54̡; p\Kx zd x̀F%6L#k`Doc{IBVW6Hx( ;xT.~%UaF4м~ i<g\t>BQ%rZn r޳ =9Dnp$fK U'B1"kePE nhq9_`htJ)=V9bf0;nSuzxWZșP'띮ƋxU C-uwl=ODs69!%z*F&n=G:Av!ncVQ+؇RJAh#/WW3T3c\mK(jFˎE1*AAfbtW di78i+CV:!T #1, 6Ƽl)|-Z=;2Y~%U 9yրV-αEV .Ȅ?S3x =승zA*;|ue]ڴÏMlR_TnYN޳/VVʢ"Kxd2j;XRU.3iΝi)&ղ4V0&4\uJd$kؕ)ݎ)H%Q lIsv#b+?;P5A6 7}4P4 0Йv}~ by^]+6*Żb?>OzRy(QBΥ=|"w|X5"wAsv1B]< =dYO'hXY $;YGq;Y1Ӄ~:xf%=]z? bV!6bB6xCZ9y9:cDd$BR3C-X ų #6 2(5o"v_ݱhS y)4bt> +`v^FnuJ HZ:$ʆy]%IyńjE/)3#3]86Ж(D^sX>^Ds㑾bYeAj{ ϲ 3uq9}*eH6V$ԣ4 "ʨ -o O /Oc*A.$'e,D +jTsXۂCR{#!؜;IZ3{n{ wvN(V.ʇyz51s])>5(ut=LtX&/=Sǔ:D<C4-b<$޲ >ء*TwxTG9݈aIj ֐"u'R9|هӗ'|RsMlkŲ~]GGNo\)чwѾ}oq/^ei35H9_s= ĽU/_0k.{ĥ9?$'5YJeOzC;|{e!|ГgYFc>, .xعzjNo SQZ㦡2?Τ2@;(\{cd?􇡣]Z,⫆f7kR{$YʢJ;CA'Z.QBegDeHWjQ1@>"z&_"<(,dBU.Y\^!pMR`8W3G&QmƷk||Oa cɂ6';zPkhS 's@A!BNKԎA!- f3iOqT{V{j% !M >w׭2~*+;o'lg\y{;勩7ȶ,ߔVB. {G#s2"x~hwf%l*`;^!d7OC2r&c`&J ڶUc$R]S)s5]w-Ե ˹@d]cgI5F8u0ťwJߞWua>NVą3b ̳Cٗˢ{:[_tԵ3PD|-j2xY&U MWVk*$J?ɰQv5ډk@cFKPUK@'a5TϿd]&{*wr qRΤz--9Ȟak up/U0&{&$e wESJy\~H#c&J#XB?7wn*Np}0z6"hDA7hVi}K'魖kQlگпTʧzaoAt4IR;K:̗`B sfNT.K6Mn֔[솬 ;F:OtYR"M>D Ab9wl02b0t#/H}ovyɸxzwX i,l {D^TE~Snu*nh 97x/lEKU 5m6ַxl N0Z9j 7'.RHzl+名NEx-teW ڿI#:S~>ǴC)lr"6ԥW0-C+u/i~΁;>ў<Xu/ xx :m4/ C /䜶gr:D`gjOgEd?eSlOI>"|z'0.as<^ˊvEɥ&C'G+_;/v5k ʪW֞fiolmE^K\1k"]F\~vgy3V ;0 >TDn|}ݼ&5d":^/y#.*Q1N=1O~~x 'ga~;FzvGyQ:PǂvۢAu*Kƣ-iNĻ}% mbE"gQ*'N7K3]B774$s.ti^t}|F*9|.¨{ yh,"㰭2 rxʮ63pwh^ |ˀ N vT"=n HbHXQX?ANgd@D]kJ}cT\jޖ0afm3O_Ĉ~Xζ $"g/"W4 f;Hߩ^.f`aY<_G-WIcXMv;U p}VL{߽Z&kI$*Gqh{$o@$Aq%cLmwcy=RV;AWN݀tP5>OǍ ΊfDP*r3~)1WΤ-CX(aFE'-"|8f\9-N WJ!z$qIX{28"!';S}R)Y-D%fvih1>Ə71;oOoHUxّ1OG5ƶFm_jv[wnZYTto'}P*)?ɐ}[r@o<āv\ 9tǑ鬜1} ŝ=#+U>8UxU k H,)eFΜ?D` ݟO3*D<[dWsnE:r"]-O4՝W@s_#%ꘑAbH1qEȤK]jC(;P$Na,}Z_#~JoRgY|+pv_q9cL}<]E2t%w<( UU,|Kh"NB)mjlv>4&eL5CEgԲE+Rh8λNzU"ϩTūZMmPPV{` bbCLm|=uHu0.f^ՠ IuB$H%zM!4;j8g>V®$YJk5]<:> oC,$m Z쿄Ra64׍vHj;eMv,S&Ώ"gBKo3pk'>= K1 ZSF*K~*os^Hߣ*-x|z(o!b!M[JAN5,|UȪ2QjGOꀕ_M>f{1//nB<+`?%~|f]H3QM@GB{ 5Ha1͖$@VlrXnј+k8(G:|/x3.U ?!$l ٟexhUR4u f?ꏲUR6i[ʧʶ~J)՟D;MZvmf3UNX?i6U0  NlReKJ Hz>4)--l EZ?ІI`˫ RUs=s(v\vTD꒫NnPh湤9#4wMi;U~xDa% EDM(\E:`pUᄉ'hR!O&pyzoNNƪ3N}eױ)o;j~,,|,P ,41cxƅGpQX"P! "5יQ䰰7V17thSyᓮ(AQ&T7پEGW{HпoҞ]M*#GM`X:n[ܵ/IxÄT_kVu= L;V'4X;$ȅaii%Lt| O匛<毉̕dWr2jvEZ_|[xs #LqbƋu!sH񺇕o뿋$O'Lc$ǒ#X7ۨwb%$.JfA>a_8TPuѵpGUZG\5 35)X oKk ?j!E&cܩ|,FKu;|q(!԰ϭo諞Wm(XWqt٣Vf}v_)0e`яW+tecf?N N=֑3 WgILQW6rq>/`=qW =>291W첬)ՔKz;sӦ,o3lsI0:3dlY2p|΃B d/S! SqvRNpN~kC8!oycmIJvn-GMz+xrm, gEmL>U|j04%"pE<^Q憧8b'|^Adfŀ,II9u5>_:` `jM~1 x q?8>ր?3cM5b󡎔+}abPj~te,Z/[_N/tV2bxؒM{%:*6 imzϨCn6 "(mt5pgdaWБ*X7J*Z&/=mSh,m/0$W;p\u@Qlm9[..,1 UsO( AX0񺁴?ף|#[zz4Ɲ={ڥmkޖ_NRqINg)c,ņJ|ps v5՞Ywڴ҆"& %C#Gl9!s>-7yBFor0 T0/du[]DQm-"TnVh1P Bʮƒ:-M6F RKMQ+ΣanA`h ?v Zl %MhjLYx.6++8{ARA9iOxϮ"1n\Z]l;1s;qs-dzb#Y`w==yg(柔TWP 5.Gv)Gl?.>\a8\dʋOC LE Iz(c-VrE0Pg 6%A\;#{./)=QV,#1%,G Blm'ܕcVхܻ6 %#W%7m7Q̏: N١Xt,h"\2@[qI_~(Wepo}D^H ﷖f|ku֍ti-yTB^Gs\J4H~ӡ>RE7~fOK̔L|y_pa& WiV/ @FbtW$a2W(u!y`ԏ_0Gmha cRL#ŒW0C\#Z@+s{[ M*MFpڪ0$xRUUwIuk XCU#G49*BwPx 4Tq>}Ŏ"F@h d81H7I(vTMc-;P}xԼ.1(lJ@B^^ݽ+j!XUZg:_d2HYiA39D잃 m kz-U9߾jxXg.M%^x%DVº`"G" nؚ/4T*5L=m0vH{U?~mߩJ]?0a(luA>'jOl\;a* Ԕ -5=>6wQ! BA usy/g0ľi1<4gm8\J97mJ B?bcaN0 :Z4<2ݵ[Bh/W'MsuY((r;\֬;٣uA~Knڿ%-~x(?P0s&w'oIRw?M{:.I th5w&nR PL]`I$ W}&nc0ݠli 5[~2Gtcs0qVFNcow}U+ t Gj?E ɳ'W]cSj /Sd~vS(_=veWh i)E$$~ E z +!<&>Cl sam챋wait𧒟;JTv?SK5oF#g#6>M?n ާR&àG0S#2Cq?"O L1 ԒnV`9A:j\V潙k"?%Kf;f_6vAe &;X)HAO zM GMgT <¾[AifERNL'΄WvşyT> aSx:77˾Fz }K_h.giE~2E*L٘kt#V{yL{ټpTDyH?˲kPfӛ2I ͭ-zR4(о;#CSAqrCJE9S΀~[5 QHI4Q}T2qkH"Ί頪~hVh20{"2VmKcGAi$!BU"p5侯4ggz̬H>~UpP B[t|0:8ʍ^236]C-#(8q4)ҢZk (-mX荏y):r٢ɌJQ,MK$Yf445%6(yq:M$$.$ g:o?#d-x]M}|5Ɍ7GيԧӎS([-A7\|YHǁs\/cA ѵxk|`|̔H\ز6Bs8͚ K o-v>2E*E+цR% i5`)dN>ؚQR^zoC!>UE\VX3ਝqsC(έ ZoHQ62¼;mǓCO+^0SnQH`.$mH9t&9pjֺLd ƻXVROVP eg3 Mo$=#Ҵ5>3ZkJF:U۳x>4f 0;3Q<=/9:1q!}-E<_klb44'?& r ظ_co@S*W| x"j8Z ]&6L\ͫ(_rķs2͐b9n}!*%dU-&ES-ۑ'(XMDĽ BOwTLl 2 av$Z"dpY=L DIм#t2;ru|b`@Յƭ3~/􊫚hHw˦-O3vdDSu;W uc <>ɦ wM`[.q_uvu ū&kTf\ 7OQ=աv$ iw8X1K'Y6uS;/U:Pr=eNM`]\toҢI9v`9팯g WyHZ9ʧ`sanB3/ ul[9W$43Ag$e&t12WDdZŁc̷Ǩר1z+29_vU^> ɇT3]?dUZkL`P,S'9\: 'h^s)J8Q!'%nN"dİ6<n݅{b1MM&Ogx) S`K(/{DkhӓY柷L=^ ղbi,:ݎy(`,Budt2wɫ~!(-Cs $>%Vg)|\ w1@iج%_[L4cC57$_s &?nRғh0Uxe(Vw6ᎼJ1OwsK=B (FBt / dP&"|dAӿe*' }:*?MMT㮾8];3IDyRhA;#Ԟf%A>-Y +dL^d6I^_\aI¦tj Grl89A4}%u>%/Ly#]tA#/]g ,qt *, Omuv L1W0M rix+LP6`JF0 Zٗ;Be^Z:%VWf0C68$r >M/eny.(xG z52z\d{H5 ͳ≲Rྈ""ƧѵM^Ekvx%`n5p-~!-^k^G`OU@44oa3^h"RNRO$5~rPXn[KF &J9ed&p2[hYh_ t ڕmM:sټ`!DxzV?fga ;aȣ{tݎx]3C"G ,sH"p޻ciXw~p9m/_6zpiK,zN?l zzSd# #vpB0 x  wP>>B!M{ !yǮ~*]lpu*s̅e?QtҎ2b-ɒ&$3+謣Z*>,a`H\yhǗ0 s ޴c"~8Us!t eft>('>b]^qDԤtEU(.b8JpJ*fmQ EL`dv3sSz2mo'0OG.@L˞#, j-t${9=cC[i?jf9mQ,^( 9Aת|y( e'hJjk],8)` Ƚ]}}_^i8PR^we`;ӅI/&>ϯgqKPQ̆A0MFu|R&an \wEW )AEcξ#-\O+\\j]^_/WU]iH ءYS2l90uC^_a<x[ ]X` W瞻^ $=< Q*g~h3{(#{xUjl{EK Գfe)zs+kb!YkY1AWk~eH8*6f^%nbYaFn $5S VP-j~dv=G49Ph>/w'!Q]S {$gáhz<%y?||;*G1c 1Xs7T$ 1`rn`h%s @@<?K,Šao{Y?TЈ.FSeu|=Xk(wel'<_BNCs_nO|Z՜,V"v_EHZHsY#2n4ۧ rV$o/w+M ޚ)ZCFn3 \֌AÞO7HO܊g6RhڨT O ]|z%Ujծ?6ɪt]K\PJPE?Ci&Ei_ %ѕ}D?GNO/3=wBncWJ{ 7T̎nhҡOR8o0`PđXuTh Qdd\ #ʫ)Bӱ1m?ɸ9W $&a9.;hšzsp=vS@R\rX]Q Z]q!JZn9}WZMdN&rU*Z2AS8bu.c}1tO[\{~vHl`-hL/YI\|$ 5* б;G/wv[*K>弎_b\o>\ y=oR_AΜ5;!f準{a̗= t^(EfM:i/aխ)6esTLBCqҏ'X7{tp(!ʈnH7ЈZ#VUCFJ.DklK2R5\!xDdnu[\ ہ@ffęG7z0 =(n +Uv~jA%ݝ''1DǍ۝vѻvut} |ԝ@ZL22! $o%,V/(ƴn\lR4Vpz\qC6A6~tRﳦ!Q0ˣ&~߶Yĥsh SDf K29#v 'WGZ򄈛c"r%I p٨1cSZN`ʣz=T̀95b!vO O:@Q(_y^orhHUs+JhZrDvc;#@ yaFHpvЋ2q0e㷝B{/VB23N<+.9W 6LIN0 IWrXaWZ#Wqͽqn[óKӵb%$ ۣ‰P]Ń Q&"?$uJe6Զȣ?>@`'u^. n]ui0H*N{1$M/Ǟm#Tm9P+E0m#d#ߍ{։ Ag8 OE*?Z[x06،OwwI>x;_wavGI>6 z[>O(>/3[v`78_tZzEZ{Op`N׻9W̩&/XpU4dsLK`jfX@'A%fB`변Wf9vwFʠtmMYRpkƭ0__oUCK./7N줏S0)/r{6b &{v}L %JdWKwדL򒹝+xdyg!]rf+32:9X)PCmQo^Y{&] HXel038𮗋]֗tӘEӐaiG0P=ݬ8j派Pj>άzu{l$Bt7Y # [ Lx:4s#CڝNüU 9E{~(;`)gIe9FQ$EB#RsXO.d7V;*,>0@ãoGsp`:8D+mի*:MYä"6.6Ϛr@.}㖌냧tp|A3`VGHM'cm W¾oAMimᏔV`.ʇȮW9y$z3[Jп9u@S0އw?yTpr(շiYP~kl e~$|Ab幻{']N~Ckej%`k7VKGbi(z451EF7W饚z`{hVM)wxc(>Y`μ-K RDx@M"/S-e30غeCۃDU *fp~OD[!R`FouO[ko|5Y3, c;̻s#8;ι/2t5ؕ!)D pz[|c 9]FtYԺ?Bɯ[?&v*ƫ 9!ֶ"=5_A\p& r[s6| v>8zmFB fR r$$Yu;~$q{s&U0ŽN7»^Cr77¸,4v \sKЍ?~H30PK!Y{+ZU:8`~4W*"oSCנL싞M(_D(tHح\+>1CR)Ģbl 3'9Ӷ UgQtacⱜMDO`,?4ކEgrzفuK-A:y p'p;z?vE@p tϲo0m۽,)%@%0j&کL|NVZy}j&s`4ksB t]hd H DnߔK ӱJD!y1\U,!r5M|e{e) &Sz{(6udvZ:%|=6|_\rpt5[ [& }A:Dh" ),Y!Jv_^_X/_[:4W%ѳ7kLyrb[Ȼ{ )o"FLjS%q-׎w([ ,v a)\Y'm<^qp]rS%r v|dkꩉdhypJkr3Ee,C/:vOr/0{m~=3T eq6j%U=RA|f/d%w/"e-Pw'fc8+RR9} ڔDEzL<5-J)?kRG" _Nյ WǞnLH>3"*f AŲc؎Pf q&ݱP֟J~! se˶G$If \uh (tzf2o[BLJqAiO6~sGp]RSǏA07̌,׵"u(9 v;ϛF~IJ,Oc9 /bD?辁h^zaS4|#ko8a&aQGGSNb h׉]B%PF;7=cH!bs%<ӌgJALby/qd xsۡ[=pA٤#zv5Xv վSly.Z]CMP50-[ܨ%Gs8Ω{͚k$H-25UPJɻLhJ P#GY׻_CNornFw԰3YWFž>Lbq`3/]DؐV?i"}T.M$Y#?9~٩apSw~uf@3cX Lݓ ,%*Iz~qIM˷0aO_d)GPѦYhgaA4^?/^vEHAviZ wE iXu6Y5|ANQDA6o z"8tr!I"[0O @EAQhYJƟ#>_k op39Bm|Ѣˎ9QΏB tSg _U/U@*ߣn,KIx.тцn}KG61$<8~6d&ul{@+zz-tK&r|KHj&d|{8BkWD32y(եWHxz'*{ s<ƜE|GRR-X]]CH)bDc-)gUNxrf0w呀-B}{f*W( /0o!E^/`EX}u;vgLQ5i r6b9<`i-0F@P;O/DK-sp'}+K *-Dj]~i tj>dy m)ү5-17Dhp4.>YtGM2Q|C}+$ ȟȆ`dP|#Rf)z sQu$UV(l|d\ _Xئv$]Iзto>5#97ߠ=QZ 8yb2tɴBK&,z+}A?ieK锂.VԜնRN0IA~UH~%[_dלUOmAF؂wq)ڥK[A /T"}:Ӱ&y'SGo80҄IaᆴWƉCY:%Ŷgfၐ"0DHt,{:35^y&B=p%twxd'Ģ +7Mw'ͣ73zkWB$Xnj땝mĎ@:_`^Z}{wCCqǖuw^mO)[ ZѿkdfHRMI~͍ɋPr_hv^ю$  ]9LNErZ]lZKod}a6D7g`D!JK0:M]~~Dbܼ{CH\UER7ɂ0! l kR7:a` gcG<4nZow^e h("x2 '0,Cc'T#̃F%b#rwc`cXK(E޷] 祩"8J;$,>tuTuwejEeKՒ9w'SH7l . ދNg`DBK#N4I {i"udmhH/eAɏ\ы,ؿơ";%j崂gkg@.Pt t?a k8 ~kDZԏr^-0@ݒ{FȨԄa18nܤw Hņʿ&FTwZ6$/MUR- !.Uxf|; B27:ӵfBHD' Q7`'3M?dI(1[U׌T%5iwB†z̔JFgFt!ϛedt{9Q(~ۀ>!f[YȬH(=4^l!|'',${Df/#ߤrhym'gpo5am~ f+%&ֲ5W2 r-rײO_4+mcQ4@%ܾ|dt[zy4|& &Ա: } 1R#TtRn4+N_} wHqz"sm 39ťSб/ꤓgH4f'D`R9o Cۗ:_ ՠ Ǵ{E} ߮'x0-VJ'<54+-`*- NpdYq5ô G80xQ,+r5Ke zE԰+vlcR٠t~:AcOwLԂ̽^Y}<u4X?wBHgr=5>TT>svI{fVF)+q:q?T=uf9UG^M?wvӅpRtxG=v\? Ң،俣aq۾خ#RL՟B_7:JN33XU:30)t4XxE;-U??VCdtݽ?%9ښm Ywuq?ʽ^gR خtZ[" S8=Αbx.?ۊ}h'g.Q3{zp ƨ w_q o*|`ꊹu}0oK)PPBD!I1/[6ӼX _jg[O#|xdtF=b[8m !..;墹Z3"lg5~Y dcL9Pj!im_%18,u:sdp̪RЏ_cMh3Aki@lhYW9F),P *6IC]`<0Jr[ot ~ rSJ%ׇn4 ƟivQ]0Ma|=Tؠ̘++g#CLCF EHZJ/[TʉbjK0[wbd5)p \3/U#c xCaF`Ud4`oҵrCKURE2&o)x (Z2 *NgxWl  7[eAWK(I3lNA=מ!=U*gWX3O`Yfг_){*䡏]`Sް"yכNUN a!֎2%q3Kz|Vmg [^" ;AXe"]QO^_0nb_`O!Q!&zY!D)*[`(i| 8 S`o%?b$? .$T-#I@Ά*JQZnrav@ *{#\G/:5/J`$ua;#K{z o/]Do>-!4&k "${lN1o2UOi[WşJ")؛2,]ڰ][j) Twn|39 9LơQUڣmMٍN{Y!xdBzVnNkqur(K?^_rH.@d[ʵ0Y6?bM 2ŒI,Gq~Yݠ[Zzv.8%LjX=9MPz=?V|)D.l:Yd7 ?p`$n0<@I$h1c7/׎g~½'0 U(z{eJ 9=/lPN,Bbp^-sGڀv!GWcH%I$&k-V )8fD Nȟbg&?ݦ^+Ϝ+ǠF 9r`shZLp.ڮ8qb>3e[A;0r)5B*$Pd@2%9?U2m/Pшuvvю 5"FʭAim.z31NF4=P` 2Uė,kOK */:!L†c.z M8ꢱ%cBnjk֎$uLW/._pfQb0lqG ĵv: %jk1*k>p?ͼ0{V!%K]Ys屵ˈ<׺[r&oAMς/GJlcFZ±‡m +dY5ie9 sUo>F-)ټ1(߼ > w+v-?NPo 915;n@Q,y-tOvUϽ~-@6H!{"$ s6@OeMkVi*¨KGk "Chvɜ+ܨYsROi+pm%5b;v6Fv{>1AK hZ1 %kl 5j8n*Td I`U h4p'o^հLoݚL oVm3$_^aPkA, t.*F,^L&NM@7jyĈE"L1˓v9^o߿/y6&J@g35s3ʹ9>9qLt]+e&y+.A3u4-FVH䵎nU KM?w!b#ſ ̬廍;_62\vOvkU`0XI{qrԶavD]v1t`G'vY1I lV\-0ʀ0>3K,ST0hRJ);S+őeFpW@Y+mVTiGmDGSn| C)բd5aaL94ɉM2 E `|O}Tj^Mr-ﺩQɗ}7en)@#Z lg;|%_iЫQk? &Dad[tZB+f 2++D?x{)-Np+ud隤-qN@Iܭ?]X,:&@/s '48<,("ᆂ ]P7$rr>6(#nd"00P@ڀ@90U+*咃͒X} X>V6MYJ#?oyeٴczysGE(5j?fyQT| 1_,agxA`tbpb$̟'2m[%j^^b&f.%{L삅vxP a5G_n @"`ݷ~188Lƾ{I/=PM@Zz,\#-UIdT$͏z.'1̰S/˰اz?jRH%0}vNC!}!r(O;*N<7hru#- ֆn݂n27_>ezKϘ>na"(X0>(29;#2H*N.I8 hA'!dM̾"!&6ax~8yOwYW~H*zo">-Tf&'?XNMق,S F}oWn= it . &Q_օF?7_PMP0` kT/_TVfl*N)j EF; HƮ}8ޚ"5ɉW&)KzHr:5 fZls{p1ִb~$?ƷfJ\!i[>JnhlxG+'A|'F{DŽa;0Nkj[={Dkc 8 $Gv; Y͓,aW5w&"݀\Vd[6>6Qq:̕Ơܭ%V&āhD+;W/K_NP'u+ӎݍ.!d0Xz(\q7C+l5߈vuV6/_6ڍQq7&nhքlJM'pHhs!SAs3Ae"#~53SJ-ZeƽF6ķVRW\hM|e~Xek?0}'4l][ح bRe9٥bv2/ߴƓ.n[x6]{lͮ:uTܨ}.έPA)z.ŏTA jNYǺSMX%YVc.?Sz.(lΧf MAՈRKr2].az՗-I2W  |}%aNwDG *ڹ|N8yՆZZO4! 2#hP~%qImRg+A8>Ok7ʟb#ND-?àJH.MϷoK[{ ?OeL+5