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 <<1LL ]% HOL-Decision_Procs:threads=2elapsed=640.982cpu=1231.084gc=89.652factor=1.927zXZִF! 2:]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓c^cv-mQtO/M+w (3 Jԩ^nHыN4!ZX&)6@A4\֎ɞ{=sގmӠ ėpB'XUTyޮ¥ZTߛ8 -N J[P%hš LZP#sR]L4Z÷+Tx t tcFcd'C.L?C x"Du4=jV]mjө3b 3sfψP<@Gٔ NK$CξN2<}Gً+ /TK[|rnCWTk !a :CrС9n٣4tVdJxE\DHOsA$>A19UV-ձt_^4P#j)2H\h)QQ=-J> D D.olFȉWjvt]—w%Y?vnY}?uؿ 24$f!e6O}hf,ZWSfx*1m0,l[ՇÐ *Bwd  : _ܻۚ7%U.#S?gkGj!1ecK~Nնea&q"\Els*HR[FNSxH,j˫6W!e#n č1zj[M5$|AZ,Ln0{"Y=<=/'b6\(&2^7=w|oKynd;yr(1(~W)]HI S4,RRg&Zn]h6jgc/l:mYFcD2)_sӇI-XEX !5 YQ5nehU BEpPT=`;\9m'\{+P̍ [g]>/+s_L?/$[-$h^%dk:r78I=<'zv2&>cjFoxeADZnmP L_L9 ND6~10E,NfTW/#r=L ܣGˑ̎9P1d{q9TT轛 cPVob|bOim:'^_z<4jFܧf#{tK;֍(!ɡhjѩ"Ss r/1 3.n&Ҹ,FNxaXn()3k B2ni9nq)q$߿ѳkA:jyS'40;l5b޳0B(gI?6ުhOÛ_XFC&ߕd܄˓ReK,$92"f:$I^lHLNV*M7k )vY>BìiC F?$O:K AN"֓^;l9LE-@`Gyt; 0 1 HOL-Decision_Procs֏q6zj`;8X[iiqK uM1=*-?> ! }=)2gMK\3L6Kj6Bj[|$)v c_`G`'F[?yN|"^ Fp <ǝtfhM>ޡ~""UbV~\?BʀFV (([92FDQuURzۻ[\%To@Sk ou /iN;f$ԁ=M7]{:vX4%(tMk Pӕc][` " md α0wA<,[SUTD/ eX$܇޼eBbS <䂪汒4zVH9yZu:^? Pf ާ3`rhbYJ7#>ta |9_qUzL^̯e UΦ?~9*5L5b"nƵY)e?Jh%% 9~,d_cP۳3urK0 hU .ZVF/s9p+\زOwm7">`kߔ2):B41~6ee; ˡشِЍԼNhKɨqgvW+_1 xb){l6fMf/E`Dnd-xt_*y9)bBQunmgYELD+ATE'b3#E139e2>Oɀj64tV*PDQ7M;{ 5ͺ9Z&g,|{̳6n7EF~H*)}K|wkr;@ jMfՊ>f2مV`8L,;mM>bNf ?Ns6?'8Ú]Μt)/yS;I 8bKv(,C9D:_bŒJ^\kdG_I]iҚ)Ķz@Bp; sl۩QAN9!6Uzž6mo\E/6eQ ?tHv鎩=hlHz~t۸\HPHg$^,=aY? c?~YudVJ!2 ٛ,ֈà9>D u $޲BCW`$v?3-4v>jG]e5ŏ`୛r v~!u [2 Z؉:ζs̜7ZNf:c.k: U}d ]2UܤfxKA;ʉPJz}.K9L$7Oa08Ƣ ޸^bʛ+pЛ'׋e }C rX1(F )hM rlR9D-iM]q XeOpu8]cBjKs&mB3tdX Ax͙~ZC)2$0uB!`(O?]SX66GlYx6QT&==?r2-9E|p |e? |G ϛudnΙh:Hj9GS>[_X/Wo~Zց>VS!a߰5𪵺֮bTh Ә1h/OK2Niai ge$iJIPL0o%(O5&&Z 4eA;*fcbm/\ Nƒq7AZYIx!4s#3u)`@pOl UsIy m(-ڝV#SࢾɮRF-nfwTBe߬8)I%C}^8;at:8R d&d6ܚ>Sx!uՇDB&=0V%U@:$OB$,7,qoRlgΨ_/ix.w] W[Cp dv +9exYd2:9@kR.4{a 8eU@-jq)3&c4ܛ @4[<x6qW/:Q:xB^jHɉ5Ս[*3Xr` J iݘͧeӀƗeak^$|29Y2|=% Ermq~w{UԜ7ҹڐXyrg^!^}딉y&k퓪YH֩64Ϙmb=PpS ^Eft$黽$!ȺR,ŚYT5\gLbיvAѓb>q [^R2fqtNLglrÆp a_) M6.T0EPO5هfEGe^dS]u@ "\u"ЗJu(YYKy(ea AhCFbem /O.hG{ϟU@ &J iKϺf>}h>Jt1Ӡs3er ŢL,)N@EFh?,[J<3^?4^:|~>g=QWrA>~3tCMHE[@a8Jz@XMcW@:08%TYxURuh)K+v}oRAK8#:wud1(@T()A)8%Q:{fPv2t1LM0lt;ߤ>dEoJ|h>З@y/.kMO?`KXzrwVML簋kXXp2@ו$j &!:A5s֔Et_ޟ>N"Lj#.( 6$''OWm2, qf2qK/Ip]A<kd>opV"Xq۶rBry\FSi+mB}^瑸Ul(AR Yҷ0u-:oؾ70Iƚ`n%P. TВyU8\BgiF#֓t6t\`#W'ب,gYZ7zXZִF! V]ŗXiɟ17L? KxlWP8SաM~>fٺddYe JUOb¿)<5l7c#5au)Tk*?ZJaCЋjOua1E##VDųak>Kq7;$i%?ZZ\naB'Y(?6Qx@v|;^[x/"},.7^{$xXl!0XS c#)P~{ygD\/PK # m9P^@ўk]ʇ}GD3%9˃0I/Y'̢ vaoJ12{b8qj.2Z';N}˖/J-nuH{#_~HH }kޔ U0XR2+m#-!Bv{#cMڰ"LrG}S8@o[Jh'3ne@.@-^\գY|veMtT7t$; 4t]uj^u"j5+VwXd.偽)V䎄tٲS6:փ`qQJPo$*Z̛2j  DKimK=NqeUVĠѓjMtgQ9yTۚ~X֘D _۔^}ܿC;]5 (-\!GMM*G_??6=-źv`eHAT>4,ЋS^R }E|0`^ @GhZEY)d0Ckr)I2M*b*R,6h1ٜVlc΀G٠ ($j/B*|։n?O GH0'XΒ#^UK1x2Mu1"ٻՂRj0lTx/BZktt 'y (L `ap>3}=!wP&T׽KغgL86+ ɒF#Cle@J˝_E!wWT+ K}=͊1}cn+So}҂M΅[aY l1Olfp,VE M2AD[?xL]nDs!]U9Qw C?i==\cq+q8u4}Ip2 R2Woţi QQÿt.㭁6O_@$8 'hhaebh{WF|&7c҂xtKRִX${j䱜7qzL'u0. qx*JM7jGY.?ksf;|x<@ 1]9X*>U~p%ᢩu[Y۹I%P.I]97w.7Ӧ>q/4y:cqFfOEbx[[rV-]|FXQ.1jLnsJqyll!*𜺸j)7}Eϳ:l4D\!k;҂3^v5J.Z,I`(RI0e܅ ȍI`༥_RJbcRp/ct$p6gr5*&ͻ~%EΚoۿ _$ [ḟ_"O3x쐡 7{&g$q_ sEB*䒞mTХPV$忒>Yǰ aڏ#lպtyZȨ![wĈL]CZ`*}ƿ>8f}+,;tw-SЙbogf G 6׷5YUSP9rT?j]$k:|va.74З] Xֈ Va3,PU,`cWqujasMUNSx߮d xiC|hꍀO));Gƨ:a ?0'"4%Fgr߬A9ݕ/̺ Mp1Ai:j ? zy!m*%{ rk3/X|Rϰ䶳gWj$ ?}HfOJ2SS/`҂KRT>K/u[='Ema&%Xp˛ ?s^$" yQ\ aVwQCRo$r3^` W~2׬>H3L,w̦4qΖ!kΘh ŤaK}*lQpg^)t33݂+aӂg6 AC?#x0epQ߃(r&o Gzjo@ rd%k$j6:ӮM^yja?9Rb_cCÙyЀ1ϔ7a~Co 4WI8*7sQEw9GMk]5`@x.DE-Y3|S>Bd $9t8s# }T 8Eu,~E! e'ʙڠkXTׁ&`]gP  '?r);\t2͓Yh<̶;\S*u@-ҕl;#Pϥ1KYk Gt2f\^jJ =[px9ܠD7ya*3Ekf[w/dffwX?c;@0-*!r x?c~W儢.AbZqhMJ" Xu" M=QR@:%ߨX2xzG O.IMUl︌?` @g|( Ç%R"9@:1۷2*EÑNbf`T1{#|pմXM_Ջ@tj@g*ch>^㢢 θCm&p  ?F^LMPz[xے  E?N>ዯOn2CURE*y{?dh3s `tV$j\tc\6U Vά+ؼemY|V02D4fdá2WzʡJwqkp YF!KOQ$MFczKm"fkO73T[B \$N%c Քw_u:LM8:+6[ k0cv5 @)/!-тj{QпFuaÏ]2'g흿V1ӼήGY1A3$zXn[J;"S gBFIY=Q"PѲ@; ڛ>EOx @P'ѓV²幫 =:Y3'Õ&~`槵egiah/ՅH;+ps1Ŧ?_UeLa"lEn8&7n@کi`Oa' J+{9h:7)RVFז4\ƌ3BK0vXϱ͗cec0,3ŤLpOi D.l 8ZwF p/p |.6)njfB F7JaKnH/ W}e; ~spɩRi P9,'9ԻĵAQAG_9#Bk` ox(7B7rW(DY<2V)οTJ:X!(jZėk~+ ދ2![֨J 5)# ߁[~!u\pZr W=`kY龿tzkdX22<``ذW+tuYd>|%L%CwB ##)&xMHad7fpm?Io җLG,\~8]IGP Ri _޿D*<ǻuJΖ* ~bsSGQu^FдģbN)@r[NG1nm0tz쉝ҎDgl>1-AS5 M5l5Ǧ6Ko9S˚UL@p筧6D 7n.{Ǡ&ty0" uW'͎^lv_ JKSk:Hs=BRM'tC}F/JJ-գ*T\ 9%1'U v9gOB dzhѽAXd[gB]9b{gU`'3Z)jT9b{Ηqץ O ȕKojV2ҕ6_PfC<0=g r4#)vqETgNJ{\VM~@8,]IhD? : h?y*Sf QKsWW]7?C\L)f!VTRqhƗ/Iw>Pfس{Ɉ=슴ͼAݸ0:ǀ(I BPE1 I;揇<2Eݟ45. ۢH-N9/b/1kw.aljBF kYD#`LɌViQ| XOI+gnt:* P=q$E+i䧀:>/ٮ+y_- Kl uv?Dit\{`l&h5ɾlrޅBBnpܬ焜t\`n1 'oZ {K?p_3& I 98o2c1 0h6(+WTf0pR`<PdCkBb[ҷS!BX>qX,YW]1j^⊇cC#hvJ$Zi/N}k ij?Lh.Jj'7{6e(f.R:dn]4_BlűHG$RmtzxmI x7;6.͸ 鍆iLs˸c G)) CGuM&g`:3S ưykiTb@#9"K爂Eߵ @i3a KЩiGkE9JXaqO軣O'݈%ð\:I< >qq%78rztmwG rP2ťj{ pmx*TX;T BA2yz lϚZ3:%1b[$"7L:;~5R Iqc4Z Em6tIeB&Z7;8,C,VW闯lc0^ Y(O^W 4$ņqPp4?Z֭قg ppn1=TװM ݾ MNF]tװ/ց$ 6uRlD@8H+ +g_kƩ ݜk2OcJT5GNe֢]W/03%UGCpJ!UYtQc ޚohIN"\ImHؾ;0Mn7cdCe,N==B$A,Wln }Ty`STrV7lL &iX-]pVWЂĊlu2&@ znT,Ǯ2}6, ;ֱ=ܿ;4e_^Fļ, å5 񆖄aʏ8 ąL=αAOt b ձ*ǂdQ3~,~djà { 1>!/ޠ3.?^Y'~h͆VHKA04N#FXذd6 ?rFb +|9cDD ҦQT̏T E>wd9DcvJϕڂf݃((-Oi΅5'VM*69%("IQESDZ8x~3!bJ#2}G{t| ޸0sP\ĖT=gP<yrצ8r'T[{h) A]lަ e˪ +l oGʻ6Oפ*>7R5 0Z[9Wc _`i1P MV.e+T3f0@vsGS /C ;*w>58dyzyv~rW+SI}? A] aT*Of%l~#<3-  tʲ-a}1;vb9-&Py_Nw(G_<ӔEM5et`(S_4k ̇{lۚ}g)=T-y4I72*} l+U.yt\-/Ny)FAξ͑{_8l}+M7j5& l) LaM: [$mzΪBbY&˴#jLB0S{f3u1~5V,i AMqڪtLqHfC5ZKXx`;jR_-ViqG7֊% 6P8i-Jj>&0sq.\S$i46$+9Ia3t$Uw?]M܁Mœ:DBxNPRw3[ c\ڢ`H \o v _1^6&Tds Pe~àBfZ9澀FQч@nO\ZO uY`͋uO,gqdݒjwEG[&c;D]RC«x-v%rO|_YL7I + էJv> AD42e뮬|d~rdn~qMsN 24OZov0ƌh^=!d7t|0t^y14%4MrkGr텧ZwG1&<bX`5tyNQH\.K2.ԙ$ΣfW* w@Gl=͊ݔgw (cMzysb&T`C*mkXFw`䃿l hÝhy*wPT_1NMQpel5- 3S+4+N$/YĴ70vVU%OCzm4+JDoO]g)菇7%$4GLH-]W!d̴0bN'ˆ>9OV7 5ʌ=i:@g%!Fϊ8r98cP=Qx:3y39l/\9 /Wv%<vq쵫޵,=0aNr4PReζ͌9: Be 2^M*A!PHwNT8Yp7tsBV [UT Bzj/H&3F#RL:++bR߉&1*JVH{%^ G9gc݁=ofI!Ld[8"/Ү 2URӑo[ -"]ǁCڝѯ-+ /VYkjH(`e"Xbo8o&iD>At%l>gh넍THqyt_GG:Ӯzn'K9ZiL`wNZ-e2O)Rzq;fWܒme%8ru |%X)]cY|7ώzJJX[6NzCgN)*谪^;^R7lm@( Bmv^zΖCvLV}`K%s]u%졮J=sƭ,ڈʧ3ˤflcg8p[. ۺ7įAjū6c?zpCa>|bSWT5{;aq݉ C-WxꆮϤ3Uabb9nF j,a0x186_pYrϱÊ?1D%4¢߱1`EYJfR֕:}]ޤ8iĩwFX8%WFrđVo_1sFE@"m4څh0A&D;q,SI2}``^l g_ !v+ -Ž-AB( o.!DCM~k-$SRs( rtGuǫi>&FD?`ԹŝVKe*0C\wKi3c|8dj@2igLBeP^0\]CJM\R{>Om${ևҧ 3Z ]YZ|$=n--hDգOX_&a> TU?l]B ı2,o>~ѭVd g}j\69 ^\RioivJ=Ts >7;4ς%vbqC2fҽX VR^RhD b*agM{BMf"WZed}rF"vP#ftYTiѭ.AgW22K/!\;yS975q j5 C^Ua% /wC\Y9)H^*NJ8qwD i 2^?eɵ UmrS$3LiP&8 8mCQ\ֻ2?Xv(6+|)kr1p9: 9ňI`d(S9f5߳XǷ8^ͬ5V/N0&x[Gcf6D6P˄coΪ؄MGSʪڇʣu8q߿3Uo2 +.d L%3Oy?F.^BEJ9~y6뮗\ae[ oɿ2d>y Վ*?n+/zٓ:&EmD)GwosE!V)K+4$-stvQy[o !aQYVR[څxP.7ۄYI,Q(xpھ0!>b]t*&ZX\IcBEc6Mtk*aaE$\ n94~(Qr̛%SU49PְH-|9v6x+ZK9cclpN#O-vˑtJ D:6q}cKT&`P4}05=1rn10@f} J//P9no*$۹'<+IzĀ-V+]E;m4Z ml&櫕gb)5i:h;3V~/'__xQN7᮲A@bWqoYAXk(⥴'HKk^hgWoOyLvpw4%sd7kյ.& fJ!yT,HfMz!qg@I +t QD{GM0fdWL^g"1@ЯI+MWLJړJq![[,=C,-(Ə,}Mx2"NɆn `wϒCEbm1j }嵆~/p n]y1`X9G l0=9+o>ewlt0UyjrVJiҰ镇۟wDȸKLfp9sP,ٺ#/;[؃r#:byǦPgT$R3ѳLBeB: ZptJ5MhG KZp cA}ouO_cq8㡓Rk"&ܡ[W97:H@dY7F)#L]j9țd!H;c \%+aA&:'1$VpAtNqq?g?e:Z.9mlw`?̲"vZ;0%fkf D8 ¾vn̚aLw3g]/צ(j󭽄k/Q)xAӝ+e F*0:WƘz[6pX_ 8U!C!)UC^)nfS9X]pV„$w⼠b̗9:c]Ֆ>D#Tu}&vK,J'@C"~5IY|ғ?>M՞Q$L˩_w&Io qڳLK!bn;Y0cX,YEd BVakIƑ[ؚG"LpBd:.L &b@}Z *uq(EG5oNÓY)7J'8b4\ey)*/LKթ^{;j+$F{Y?=,WU@w? O*^|^~>Ԡ l{c6_PQC+f-׽n-ik+F%)(#VLljQБM/h^}1-ޣy;4 [ HH+Y aл+5^ 5V;(kwM%3{KZ(9 b <A׋y,׆-#Pg'!o n&@sc-~sLȸ08 6j>xj#%V{9 w]Yi~D.1{l%RA,j:sjޕYv)ҿsJ#PC}O`3.mN-zOZ;jm>UN L8h3!DOW^#[8MBRoS3,E{w ˺J}K΢Qo;%sGژ߯9:5\0 N-HVYG9Rɏ8grT XXt8`Fra#^u_)@4СUctQvWZr²H^CuI@>4jrݿ/ҐMwZLPlz}}d3TgGS-q7@? 8rߛf{5:k>-h ]-m} r{դ*^e_뽸hfxNJ"A5m_];!$M0vBk ky*@׍P3 [.ʸCXFyXw0B~ M]1B ";AP%܌! _~~t9DRG8MsV{ ސ%v` _E s+ BxI5ڏA@\m'Ii?Ezj[q39yl]1v5h%l6E6xs\yY>wl kDic5O)n)^#㵈;wZcތ-W:y7];V ? ©o]hΣTBFKE+W(qXq%S̖rc[?)9[{5Cq@|6UK{/yel8__ Bsn' cG]R`+;/`صe]#L5`X [ש/'}ID%Id >A r=|Lya""x RIc{/%΋.4s hsZl>t:g\pBAZB&"Ԅabi[[*/rEtNa\nᦶ kgg%f"5JOjm͊*m+?_a}5`} Lh&WX,7 N^!`k83<Jrp̢ƱIZ2 "Lh4 JfS:I\U)ю%|RA4<-\LeE.bCEG3]^AR>+gA)vwR +SGѕ:R2B|RA8yÓ_/bw2K`M{";v,䌔$+ [o /جӧhHΑYqw(+e^jGuD|<d"Wzf&wOv$쨃+4G~K{A& ֐sn(Sцo/'2?Kujd7JJ̈b 0/w`/C_d%k̡[&փOh 6!tۥ驺'ccqOF,RqF).?AJp9Yʗ=ʵۉ_GM5k'&{V3b [?%xKӬg W!UU$b`Xż0ԬhE*1%J~n$a3 z/l64XEZsiE_`Fq y^9F-6$ ?}Md;V|{ZGDr[T /:UH%L->{V9ˁU~)P kHkw`1U'GMVi tid!Cc;(v 0*,tb0Bt("2'.OW`IqRC4h`u#=mK-=~J( 5x]TK!>5Jv3[%"a ^Xi!*1A1yz TTn}$5dS JOX"œmyeUNGĶjY! '1Ӧ쪮 U~TPǵ$3k \`lE֙ugjϱ&AM|%>Qgڿrڟ6Ի: R2%CEfi}$fq #A#j YN3MtWsN* mJ!:;cxsշaJcTdZR\\֌ĥĩ{xDgvxP~@(WZfhD@ݨJT/cvg4ѯt@(\V50 )y+.҈#h -h#PR)NLE-P O)Z@k:m|ΑԤZx3trnN(5lJŸtTg?^}c?|Vg울=adP'7?kݬ%N#$Y"`%Ec0k<+Egm`مe_,-zuHR¦%Sd`aKD4Z7ىk;;v,nL5!q2bEI~ɐr8Ce X8*Umڐn3icG&<Օ]%_(^?qνr~8w]S FjOhhsVy5M/7$)-: 5 )Y5Dk]:tq ZA䎂՜&e[[6"[F,4x*Xs٠hS&8:F*O%uqR0/R`Iz!M [tYPrCƤwgu'fzf3wZSO“M1 ho"~ "!reiQ6N=!4<-f o޻ F@ 4V@> )"(e0ͅ+V]G'qAw?أ!54"!Oب>\FWGӌ7V BNܖF@@a)dEM*ttcko C+%Csm R/v˳pKD})v'"ƛ;HÓc/H^bXJǦ7ec Y˷FNO֝;>HuX Eiuڠ$LxD? Ȕ$Ĩ>𯷶$IӅus}F#׫"G!k n^u(Wc?uJxl}wkV;JKy} 8 _"w7}ٵVὃdV*GHz]r ~JHÒ0(,f!H5{zy50D>V ԮG3m"x_lVH";125tY,5n'Н\Ɲz`_DS^v9ssF%tK v̼Ρ{Kc[]ÌԟC ]V@jJW8`d)M,j64.] 7R1x9qB=#nJ nt`W+bI?y\]<GڇI0U,?u)vJBgU/w\XX2 $i+ֳ;-?؜,TkbW+ Gio{nO# :o-qș/!-*YޠQ13CŸwm$v9X@V7j#5Xwm]1+`o/TM67YԳXP 'ƏCobl ļLm<-X*ظ~8 Gyqڒ!_QÚЁwB ~WQoEuUУI,; | >Bk4@x6:* ? 4b@͕11wBp.Z;4҃d7FC%F}~A|y.R Qs:EwסQ[gA"UD Ö[_xf +bjי}U(7W-){1|'_Bzq|zW@b-'<5i?i+um,@a~GKwZsZ7FT9U.ZhWmC^ ιscdX/_%Boj [d6vоzĠPWEӑ _|H ! h([1nA&'EL)XTH5B1x-̍ j;9VA݊,H` NJ9 sL1g<`q<4}I)`V$j152"§؇ (=zzvFqmɬ彣&;F~GFD==.N;%Ƈ/5Ľd<aI^q5# JUӎrZoJ>>V뽝(MS,lrXb/OV+gWů %@my7uM."ߗ4XbO:g8fK`q5H@ז?ZQ>!&sAP4[!"}%X x|}9itS.8yV8}geFB 1y8\w))P2T^~~>RpmN HKׄ䐻qY-=bOkyE B.ZCNZăO!2 xb m xC5^&݉yZ3+8Ki yy@5Q'qU8_!T;MG3C?#aȩMfamjvljL@b>jL}8PBBLcߐDW==Y]yz(K;t^!@ @[{l%0VXJ@xD@t SљZ= 9'䧑?RK(nC?%WͶ#b .I T=sޏKG TgDnJO! ng'#}zG}0vפ쟷W'9DnƨR.|G2wIS]jjS %/@Źk@(&g_^|zmʋT`D[V:Pſ+>N4.DpC./㮏*IZjIؤwmamtuw2*dԵ?oM!wJ6u6IaH[+6%mZDf] ϣC yafDd=|$&#5ٯŽ arQOui8_StOW@zE5?T* 5ڢp~ ,:m/ 5Q껿!5- [Z Ĥ)V!xY1ciПW9C2 #Y˃S +RiI071yzg>S^U%P)XfE"VWE^Luoރ|P1wjٯ,ʩ3SieRN+q¡jVu( 3Qc]o@=m捙Iz>?H< ^%/4V|(W SXȆb^`4њ<ȱp GM\2K?5Vȿ!tQ~+oclD*UkY3Cm.u؜FgqbR7\tL_0v|6ĥS2ZȊ5P hE'Jj=^N7}t睡Ly>.C'#p/٣&1!+ 8n~0K)8ߖZڢzCǽM\A6큺QϹ tDATFN|¸U_W3)G.jd>Zo{y#QC/g/Ü0K9롩ierZ&9c JP G<~qA3ьUbwbhiNۑӇ,6GlEt:^zozfN8b6M“3_xUqg4X5F'AtU.l=.`Ϊg>ybNO4vYG/_Oيg"'{f2nG(:JG>F5sgZ9&j3XƗƒۡ g ;mǨmV;D5 x)@kcG6HCpE>^y$zͣv)h_Ji>.~I'Q%|dJR!O#п8*h:]h @8Ѩq…g?d`C2XW~AqI77ٌb:ȴzE8D7퀜b(>&Ƅ-Nɑ1puU)À{39:KO*bǙߟ Ъ&`VV F+1pT~W\DyR zzD Z#0FBbiyni,%B$ݷ }'hH{ ?I JvYEdw:jg `ZBB`Sď sKU!솤+:;xK+8De!8 &GE{'v$ĵ&:.ZZ͞V`1d0nXu!0H/u0?-u̠1j M-+fA&M+o=ûH<coJExZ6͖$uly&s,hS aC$I,ż:ǫGi6Oyr6'gq,mQ ]1~36V=0tܦ|ڍɖ0˙^[;شrGeap@)#5@KIp(b V)j O:3]OWQ#[pI<|-Fg/Z  Xo|Ytzpk$g DŽhw@j}-\]s iE"լU<{$\L0a0*g Q2?z#2;x(#e܉[#r[`qodys2kÂ8TśYn+eye])Б@YS8A\Uh}-B3a{:U{ _ DJ-?IFHR iZfsH2 m}CV,sL/ؤ:ʵukl%Ey8"+p81տ2~2~JfElx3K ښyf2gSYI&3JJu6޻y3І"MV䱮=G{KFBFrYdEB&=XId&β'O[hb(εFӇ `$e`)|!Ie=9N~-Y 眛j)P=.P+LZE$޲'610@#a ̓1?K>o ۚEE7Âmhr/ >ͰR_ʹlE7A#B3 ˗+^X_u*9Wi@Ł1zK8$8<~mщ'qJ qfś~jݱ'5X׺%t wH2,R8ZX@hz0[5P'n" Vji׉28Xn@L,5z\=!bML$Կð_cD:s]!̄ra a8 6AU&BytB/Yyv 0i"p@yTjUgPw 6&&5b!pN6+ wC|kј> T=ay z*1 D`^ZeJ}le"pv+`NLFC΋vv=~0  'C`WXk/phǫF}aU $E},w?ۛy@qP5ʲ$=RseW[ee4O&>q7{tE%k`kqu=%x#9_1 R;Qwd`{ %B/hb)?D•Ùu`؁I-e/P}7|x~uaȟP_-h 6]nl|0Edo?BLF@<\e"}Je|"[XH [Jpw<+ZNEPw#jw+'_Vo`:^wV5$jx-?MrJ$&ۧn|ԽiC3/(r2A&T}`BGPs8| 2TS5=^=RPV ('YcAL =8:#, QΒ&O)£[7o 1k~:P#Vmb9N C9#|6=GR-YTK_ͮćw/l`Zu> oSR9NR<7BAsY+ormp\qһAKEAp֖|&̯M{20:cy/s8qm"搝?ZcY s54R>k`W$!E\Z]E?ŀ X(mv.Q#r/8'B_-}Ns0$NGyפ=c(: %{޺*P%gkOkRHʃqb*>9d"jA{ cAVL$ڮ\l9aZZ|7|g -A8xؔmrG>L0 :+s9`gHZMh('${ar&_y0jub)޲ݩ̦^GdԳ&\PIh\E>w,'8}(Pn.:2 0e0ߜo|!c oKؔ!=_PEx9*~G<&>,/'}&t=RȯD-r~N!Ae'a<z4E/zrifGˀx=n$vTmUXb1=a2m`OGOhO&`1r0̗HzG+ȕS20ױ!)lA u ' U0 }X3e+/TUٹD{"x\ǚh}+ 'JG!RA4S린be!pr>~W;m[*MBj6^ zcURhXȇ_,5Fq[9p#YƁPgNU*o>gI[AW]4_QJgOWtϻ25{'+ Y1\B 8ѩǦT}eOB8w?N{iAh<@kQf옾@ԈzύԮ$=5*ʏ b[ܹghDvM+Pad-ZPXpcɈfIza=j3ܻJV9B&!G7U0:خ05S8gm-Q1.Z&$ ej-m{c6=z|{f!#'ypdB*#'b킬2\dkY A#O`EٙlMm.\)'("RvhU58Hڍ\3XkW[0w]}5~ ƘaTiTe.%%2mFT\*8{^dk "m%oOg|,Yn8&c8T8tŮo#d'Qig I0n2Zm7H}mxՊJ?"Q@siM[DHk=<"!-jr*ǂ4Y7UzW|. 35I+nk^F2ҰWjAn+zZg_8y%|i&ŬC)P7]|qM.c:dtqZD(Bv޵Aht=FPCI?}""n7?Hû!]v3(!ڛhe>!]OId Ei{)G zc0ac1}9 bep, t;!PFH Bh"e 58J'HMI59?|=҄tF*G |:zgH`.$79 tVC٦h>GlTq I7z Ӂ^\~kOYhKqjQZ v,4M&\OftA=a]څ珽 D^6` uzyO ɩda ޘ,IՆ 4.V1G9A/KMe{R|mc9P<E3JÅ.th ssO#hPِ[FZ@Jsi: jn>M><#n TzvUOL٧aN=v5.z &x~ -%Hu$px6{3>S R׃ya:ٓjjpXE?J*zk*HU.8oEj3eOu]ZZI!;~&)Ӿ` qt~&S˫+lêQ<Y S^ϫGJ urϥA8fwwㄚb`8޼5C)o1zDY^@3.b~Xdʛ܍a5h}, r$N-Qwb+ɀO/yQz4jDu@iqqd`? 0{}Է'UQDd  ժ9fX?VR@IENjrAJ8vzFC җ+,;'+B]fi  *6'sh>~t]N5| .?Ewp ,z 1WX}`?7Uz.6Rhq8wSч5nHtЦmzr{e Q=Eфk]M$$vW$sN|*1"pAO_Y䬥B/ t5D d,EA7 %Fn n_gl$8/.^y:<k^Z ql42J<%UC`1u'~k>|{[]y9/ RY4:h{+B}ssFt82PG}75Ȱ@4 BH\e]X;&+rOR_iIЃ"_7+kUT=fh>!A+(2 N9[Q>eVuJmp܂+RYޟxMr3P] sM܇H)6%~v;]wstâ6RmFbd ]Mp-H aߛXM\%zc<ZաQPEy SGNTk^Ѓ[̘uNH(W|,J(~s?+&Bp?ԁGAQd !a%w CQ-۠}<\e/?"ʷxN|];JA{.ԵR"ϑ pP'~nVe_l8`@_~؄,t:{[zt8Z=y\}9Um d3Iڂc騀q&Lfqַ yROF#3yV 6HnXAHxS,m(N#Yx{,~*Fd(-kx!.F 3Z! 4i>K~65ҁg? g#*},UTl*'dOSpE3QpBN-BRQc4hS0x#ۈtݪԉړO\:Y6/) gO{b}>R! :=[yl">GW,*gYZ063831b10f9ea5b495e3bd719953f94477e32b375f6b46d75794d7d779141526bb8c5d38bc06bffe 14fad242a862a8a0327553b16251c149a42b3da2 01ad035532cbe486194b1bf219cd96ecfa7467a0 fa91322ea8e117c072d0676ae9d06c13b7f80cdf 44624fcf769f26dc1fb39e8f21dae118ee458fc2