SQLite format 3@ F- llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 W! k]]HOL-Proofs:threads=6elapsed=572.535cpu=1312.124gc=165.756factor=2.297zXZִF! *_|]ŗXf1-%˓S, z!ŧo]uA{DZX.f4vg]3K^=eEj?Qa8nL37ђ8g}m<%&=]qEKRS>[sgҋ49u @U ) U|_L+Ks>\Nt2 [Eg~*:in1?]/8;S>]6gH H$ڕSMopz8G]y {JjJ  ! HOL-Proofs2|r>]Zȏ j' ŗ$.Wk#C8؝0cp ݍkeuU3q{ABb\(@uE faXx $@urh0c /'WDy||REƚ!J3b|z=s%KDK9pQd#~_[gķ]RUQVG8 %UH ?mщ1RY۽d4LAl!Orpc'rƗ2!\ubqD/NX¯Ut kƵ Dxgw1 tL&ﱢJe}tt^WpްƗb݈7 MOHW$k_1!# {>[;plc~!#Zjbތbdj .z-[|v_Lz ;^da<4`}}uFw`7c["g}![WSzDgh jD]]LƪR9}=;+ mU'4; Oڽ.&[\ 2t&ia|B ; 1evj@r^Q"yHT}kH n3-Vj\2C-QT9?]@\HOJz):u߯˶] e&εyρ@- \@FP|X6^ IgK{}[p.%p?|Q.Q)a-M밹D KAfhc7J$zm )'Ө CbBJbׅyΟ)ڲ~ [l 26LrYЪyKT栅 ZΝn$cUE}z\!S[ 40"lHj6f28b"؟ʎBQF*l X#ke'9`u$^z۲|5Mʹ7lZ.j7B-<=yC1i fo  CQwAF|0dd  0 qok.R F}jЯ'"r- x *ܒ(;?<ӾWPuq^%%_pƪ~z2JHWR9@H51P9t:WM CqAlEBHߜSk5t)gC[(əPkPT Qga>F}||KQT ]r~ |{ r-7NORӐǺO69XIz_sHjQLeҡ̿8#L̘zQ dwS#(m8(,ycoR=`yYSG}(ڲBȵk5C hҊ1]i8Gw-uP%lݨJLAYȘy~IuowZtғGδ urZc+yƠ(׿}[gDWw8(@!eKJo}j726iL&T ŽD́Nj)p`-W$+ൌFgkA=h|ƴ#pFai zbMdr0G9Vx~?Wx Koͧa~h:luHBkr\"~[.3LϠ%'.ez%.27~`@"輾1u*QlsL`!:WMh^, B.8#/D+S(ɖWi௅a eq}^{&&)t179989۰)<28w?xeD yJM!*cڀ<jNX&hi.LT_t!U>vȉF$KkHkiҥ{>I?̣Q:RUJ[WHm۽uq҅ a!qWG0pmB dvK?cEJA΢*-$d!_ %q&?Vci+b>,y0PZ'5%] p'j-m͌e+o pLc(m[ _LB|8 pY;IgIIηžR1sNA Cba w?6YR1f $r| F-}7{qE e&}wsn\m;HY4^MK%=#:k{a3zZ7{JmLs+|G'zg5lȹ˒?4Z;DwlІ Ud w@o!\WozՇ Ռ2W!>7d:po|Eu.:zST˫:>:Ό_lKS~2StE>/ˀ8\M : 6cdrmo$WЀ19H ւYT X^\bSǧ MNsb_Y޺ I QFe;jQ`(+M ?H oj%ᄈj˜0a=EӮj imԂ|fBF<|4 8L.|D*BH)8gr;RgF햌(&mc@~rb;?Wfo6o |@eyw dQŽ3WH1^l"5Yp8,1_e'סjII U*̵Zt7Kcbg 2 %ᆨR$fm׶< |'@ %PG2z%nfn\zx)["ivQKsӝcXe,HN0cmTA>f/8 qgy67>n"QX-PLKjMS9:"0eivw|QIGv4~#}MƃD.G xmX|d:#Z8 5 Is;۩jګM>Tꡖg5e3]ø*拱HdoN'# $XtvҢGyC@po`d.;fu/F̴mҨRꗩ)p]@dA!(6zCc}zf8%JMXWԌҢ3 RhzE]^)IWF/']o՚4?lu£4RA2>yż]es[+huR4G 6F",Ug#1zwGè„N}N"#N9WJHn>!MjCSlίZtݰ#nӂ^:ӖG3hӦuHWjzJ#_`TzQq6;+~#Mzހ]ٲǘz/A6tlP (G=#{ Ym|xK`OyU'Tö/0!3ޡ ]JƔ0j$̓E_*WKjoZ-5uxMW+VBG3WjiBs_Z`.nC?ճw.;rKgҵ r|a Vk<8KͪM6"׋u>kI(CK\3blV#q{&ŐYù\KM9\ʯFTc}UD2;"F@Y4ܥI_ taFg֥? X>;!R5q5#F܍s8 ?5#vjw06P=*rBi?$ Z^ 9(`s%*-)9@4A*YЀ*ҺYB k.X'%MBJaZIG ^7d7;>D=С\dM{+%81RPg;U>#NPJ8i`tTiI+dEN u:ܷ v!~CPrB32}&zh]7CSHbj7|dI/8Y<8.@ѻj6`9[ x A'2աN ɬ7ҝK &9G\ QWTҧ-BMOSy)+]*VkҰs0z HRHzkn0jƥAjf!Y [9 Ӫ_Nzhj[~NYT?ՅYz [ B9lG;p^`SEKSx૎T`4<0@B[O^m^9+?z6+.w`<|isP쵪;^c bh#Xd?)+[Oa[@>%D ws{GCNg{rв)cCE_,P1P6Qaa~kI+3>2`݊}9a3`]S# Ho@? Q}^A.srC* lIǗRO[7kOz񚳯* q T'G̳guɬWF}eo >Ύ|<&~yY)VjUY)$1tZ* ;jT؁w [{pz6V/s(>j"ÇV~ ,X> `T%NQCic*029|X| E:G#? K=5΄7ߕ;⯝f`ОP)xY ԟ_A@k—*SsI>p^"5YB3x~ _JQnuf=+;_~i @'ySASJе+Tq]V\WJD[/sWg i'iE]T\@2~qFlR/+,]Zu_850ZڥujRmJn%/  VĨHVijx0%VDbh3pؽ` s PC!דc.CviB01,G$,fGc$ 0Qfi[N,{-tmE_UTKH0 vOXӌx O=ĭ ws͠X}D~ Xμw0{ g`-9 i;41"̣P0h! r/g8Z\U9P!f2([tGϟ3}^S+8iMŵ.ԄzUh֫.NSA'Ѣ9kj".oLOQ.c+ u+ۦLiwi}/QæfC Fåآs؋0t6DQ0;;B!N}i&Uv%R,$AeLj ~EHe*T,si5fSYC$քx>DX#×ȝ!<c;WAh+c¯xNql6Ss/ ZTT;!j<@߯ эB];x4"Acj G E5nrnZTČ Kb ,w>,T+p߈|NXr&A[=VTJFrԀۼGy q1dyiYq;S3{uW<:˞Iq_d)UƗ 5hP(H5s,R=7X00p76Kf%mc`.;7@7n}$۝| Khg!-XBiaB\ u3{-kBB n{;;Чp\Q(,㽚w.P;:Db }K!S+b0D^<%ֺe6΍#DxGoƘgV'G뾰l8QkD~8#)ά*ڝ(8rpcYu{=ʕOM 3̥(ޣ[s<[q3AC"mN%^F $Ip'e\D2A3bNV dL<9$Tsz%Id1yw눲EהId!Fy[b2@1i[:6-l8L2M-Y\;mjCU&KS֮eQX\< -91o֚U0YWXhrTl12(77k*m2xkip徺o 无=swL=/Jѳmۑ{>`aУ u]J<ŋWԪt#ŞEx=͕j_glqX*<#mW'pK|YL=d#M[@Lݑ|.derZncd&>](` N5i[V'8gel'[j- >`{I4#JAJ ßIOK&;A^'"夰'ˡ;+Bi< 'j PM \|?2Z<ݡcuvT Z֘L]<,~gIp]4=KTm)fj"C)4+pG.J2}M}7mNSD}'EܼJ`xX)U\g<`biu@HUM6(x[ 2,oLjiֱl *G*;[@+B6MIh@7 f2nТ3EOʏ6r,sK3,GowOں&PIѣʱ#lSwγ;8nB˧hXxy mWM,5 Yjg;.m]8MĥPo(t 7!U.ʽջ. _su#8,<4<* ǩn}٨W\&ɂ Td<$¤,0GG}OqwZD,FCxM[boQRz*A#O_UPNjFz/jDP*OI.&jJRVƧDi`DnJ WVUfIdWW Jvp_>34Bimo鿇CQG9YK{&T^ƟBPM}e8Uxq|?c tF I"f]cXK"GSnN~2p+1_=-ZTW.D!!SKon}=8k4U[|9=TĤ0gieZI3  ^Th_X[bko .[?5S4jLB;dDN?+ʔQ 7&S΃pCh4.n"RzW 1Dw['k_=?f5K. E6pCi뛿ܝbyT{Sߝ[zMWW pkPOb@:-u|>x8oלȎq6wTRAWk k1:}$W-vhUQ!C:SB?x!'/YPpTo@)39A]?*S( y1>1Mʅ'+6#Ir~kx? L2 K4^~8,{DP`]I@ K# xBV vKJaW^0žBC2¹$yJƄ-XzԶCW)M3*s_C1E UW ]DON긃v ǷͶzܶ P 5E{Dz]6iqbw{Wl;U߼vx*e ["rwس.~v?hZ5PlRj{lo(ӏ>)DpBՋ$gfUs`/56" ST%H\C+Ѳ+%A'oe\*ǽ߭ͅo<dسe'*B`R&LJ5MHK(7؍ݨW%Ls[lcyf`o\OB+4/F JE?LâRe0њCD9<IJ-Y YQEl}Pb,o*>7Wm{ٙ au&pVp㘖uSS@gt7ql^f- S&xfGу/)|pKWNuvm t01/rk5-Y69ض#ڠ>s!-~/fM~+'yEK b {gcF^f˳a# Mp!ݛfl'R G{ݔ?˗qΠ62|˄/ۦ^\3Yi+N*k 5*1x:6rkIFg@IJk&x?r=y)'Ɍkֆ幞>T jjsG $.S2> > WgO.Y1snHڔKVGd ={:FoVN$N(-zU4~an;e\F旖ͩw6@_Bor~(~!粜,,+-DQ `o~5>nh~B an"-w#|^)+"Šc %h AB<c,Fl06H> GRR!E3.̊gܿQ[&. ESfpT0Wha*-1Wq+6} `_C-(n{? wl'T5=&L+t˃;NF aǢ\d8nKNgm1,a1S))fv5JRrXd8!Ҿs&FTεoO_Y|b@޹$bO|~HZ5'u5e_]vuOw4f\"IQ0F_ɒ0)}c%]+dJgl}3S?gNymV hҠa>;ư-Dgfٔ˧ƵJJRb*PL XW{zo4vlF|Q5|3;~M*X oSKNlV7<p[tFN۩~꡹I c8|%2!jydB{-/.+.="k;optG-_RKw"3l_2d#"+C>΍i"N'E?Ib]^GEҀ_2,XgV' ̍|aI샷֝ǔpSܮBI0'H;zGnpEC57&):?GEf9jo1˗tĒup-l1pD bV;s s9vщn`ک|b {DdUVlz ߵo֫u^gSܭSc#5.Ig\z3]XP\-OA\ \-T}$ 65=~S<ʦj'3H N0V `BYn}06lV2wLP䟤 Dݭ#>pqzHS6穢sDNae4ƭNs[Zr?p3ΓBU<%! bC"1|dZk*޶vu|K?彽{!{fFiM8 4ܿg_VI;:2OxU. %*]Hp$I/6}(< nh܂lykA6\yi/h)sG@]Rś +͎d{4ԷE(`)ضTQI#7˨!J_z^婊& 7OPpQzCZqԍa(5S7PE1KYPۨ{l̊%IXg\,͢ u=-V@#,lMSC@B=qx9ݛc1p:jU!af[ymP:QoS#(}wh-BK~ųgez8rB'#_IҢ.mHz33mY8*=8Hhz*_/0ǟNJܵ|8/(x%RT^ݡ3jrQeU!둊c {;}K?ǡ;5 w,%=f3h6ɼ*7[hԪhѡˋa2%Q=eKK?L+%Jl_Eke7!ȕ3&qjܔ&Cvo%C+&J5; شUbQD틭3:}sa++%@]&X~viN,[1}j&{~=`0,>(7d.>Q>48D$90$>ο-.+}*&D`S͜P >^YKʟ}^!BTU+q{s\&Nwi@:yk@.L9&Dy\&mj>OL5G!00D>SҸhQ\b<*soE3zMI#,Su-z׃V$/ ݂D70!zhsnN,f:ǔ$MLpv?MJZPiUAP~'U'?FΈTk˳lu> 22{C7-+1'X,{ MG 7x_̃uU}h^14kr^P}k.:#M\ͱky&Q()fo =peeڶ# Gdػ%55ؗ+wmlq+}2|n ׈‰|dQEB=1U(Ֆv,Wz?:Iƭ[DsxKIWzŲ`TG`j Ѧc<(GHxS$0w ,sP9g __.ZR~D\~%}ď}&U݁]9 P\-@NKZusS{\7e;-HD9P;z/g^6[&Rm/i?5 8 j.k֎%7] Z4%#Ӌ3 ,g߁RoRc=lUԧYƉ.6ۜ#H{[u#"lNSc^&^'Rlв }yj~w=.?u]ʐ/p&ř>b |3}8`J6=2g QdoÔƦ 1U',gtZe13G}uF6vd.8 7WI9mod/@y$=fō$M u;IA틄ReŹ:8?*ut_r`9* u@tok`;`-Dd˝m3氃0uāWW]9*/b.lcJvh@)$^g hDZmcnJ`׉ǰyKEV. +Hڪ{cJP<)٭,YA5;pTXfQG@T9=v2hAe+|spx:v xg^":w @t&JL_;ޑ!%Q[R_:war8Mn;ѩGO^yo[' 6h]|e2l>(C^#ɑViOcCUR};A w+ L>_~lu,JLWfbwA&Uڤ`}6.lmR!xH, 1o|S Kwlp]:#eZR7fJ[1@(tzI#!p; RY9-Ue7xM:mGCnka=2e=X7Dx#13W](Dgh(?40Qf؁'P>rBUm%E[ ъbޖQTgsd[hˉ>Z!R9[EqFֆ1>IֶWQ$d#]^Ax6P5t1t };bjJ\EE?eW }G"UGRtF;PFꥹi\魊(L2tBg"YЭH,/M~y46G0/\{ޗ1/"X'V5'BR} y?gU;OQ 2D4qdE;'_^ `̓)ISKΟ#{dTc{SrZM\p.WS4nL= vgtKnM qt;0-uaPb+.&SCρ/*oyMn\B"!-دup/Z@"8f˅ !ZT!#b6Hx? P1,Lۥ9,R+2"E&ؕBVc/ORl[ЕR8 sB @i Զ;#DD7RK}f;/m<w9R9 GtXLbHGQP Ixls *c]JӦ': p& x#,>ha* Mn?B3ao|O{|#vݙ"ev?*]w.q4DuZl>p[>w+ٺIw>,}돺e63/ ;Yq(\ WQ}[.Ii-53!ij$"2[34M2,貽lb9.`>}Eo͋aZ 6:#H$kRWN g^xdtɕ}XQM<ǽ C M%*MJޮA<"UgR[B_KPl'saf,uF{Q|6d Gt[ç e K/$Ti4S5BA-dcŌQ@p1Ye*y/y!S. Q^xS9r@eq"ɯWɼnY+$cNNJX' ~-V(>J9QQIޖA-qr".a!=.VPco*?Zzl.,kAEM~ HxLu%yQ!H]9iY GXEM똞p+ !&Ƒ(J;eac8-#4p gݘ+an3 NݰeeۋK-(~o\=$|=ݔi8AG1P- <\@9y)g#TQ2s8p>N0o$eW}`IMV˴=s=A=^5j/#EhDSOhvJsL1l@d@C-e{$#F,qn-Z(es X 3_Z8O&ZMƆ%'J1S# -Ev=`WWW#ӧ1J=22Yvug#*=Uv1>-<q%L b!߶ ro.,i%nckiC2Mts5d = >0S<f Zˬ4enBsUhyi8/ w8Q*17Won$aE-gCl#mڪ>!aHu[BAx%wprOCC\e'd J;ny`(] eii=IE FN]vl1q@"&ˆ1=V(bxt$"%MO<5)'`%3eie_E\( Qa9ih#ڃuhgV0^B%XqW+{dfU?V܏*G"l>J`tqs5߮bB$B}-f?k[&y #@%WR#l!hCay땰C3:@1ȎW7|VаX kBmT1z3YnT%5pZ7N=NKv%ά\$59fհ e VTo` m<%6zGME"{%("Q7a(0uHfn1Ue xZӴ*1u)_|4)tle4iD-cĽ&2V{l :zl_:TG]Q $'}qU*5 B>mwqRT#P"sK=mEuF>}WyŲbNPh:Ś5P᫣Оjm~ieBX =='0/XƢ۷_݁_2C9f(:.O$wd@[w4w5+mĕF q+\xX!2TSm}*AhHiKw1G/?&)| [P,ߋKt>d޹qTw",dhBrGgr衶MoL?+/+"iPXtr" ^Sy2X ^-*2uMW:PoE[p1l:QASܒg V073Dm85g0 O~}68PG(VE/}! ΄2($krX(r{V׾b=}gj+}&'P$D9:ȁaߴQNxOX7ܯv9'|KXk &|ƭeN} iGnbr{T;`0ʝO*hzRa3W ɡ|Ue/$ s }ܠ1*ma1ou}u z۞}m);#B\Y[g]2DX0MWi)¡Dk̓P;V28"ˎb{!_ 2=NmL]Z'[:yV|ݮHgć:룎VP+Vv =ff ,WFӕ|.찈en2CPrEsX&H7WH !xղl+L[r4 aýܳ{%7j69t j;-oryu'RLW$izn&pb@RG4ΰr5u3X0qTh6\6 ܍!;0,W)8b=3y/̐_.jzzh.>[e@̛j&4=.u,T [;IȜP|oeVy\`kw!R1O][ɬG=:)! =E9rQn$Pq_fq-Zi,n4Dz><"@4:#u̾MtB`-ťHj Ⱥ` :J\O||e^%{_lX( 5D.F5sҘg:Fw1wA%['WI[tr!. 4! _~)mFy`xQ[ܰp侫5 J`?>-p|?rvwX?2"!X03FU RpҸ̿ " t.!58]{{]"xvؑokʽuP M:i{3`ѱw2p,QYàL 6%^DP(&JST7 nWW2?lSޕqo8KO,W-Ƌ94jʂCGv> Ѹ%;G/Ț̅=myǶ.E?݇ 1/rrvTtad זu*$F#OV~ Mk\ΕGY|90&e\`+K2Ţ 'E}pHe+jE5>s$mQK'>;)pF`*o~USG `QYòX`poė٘MQԩ5`5Yl",rMRdv`an.F1aa^܎f-~/1PI2583<. WR+GG҈w@b6SnäY$&ҹ}m ={`]pZlRU[I->ZRى%&@F`}ܛb9|-vk}sZ;AIZ*r7e@֚>]BHXUj`r*59Mo}Kv>.$Di>:BCOB"YZr↕VRg5<o%P#H h!U줫E3f )J{^x5`vUc=M`1p\ #d> a|jo= q#Gȑh C*TMLkL 5G/cdZg\x\ 8ϭt 6<ſ8PԹ`.?$e]R̶$\97ojQ& -*DOs2˳Ҹ6$p䷭^匹sݞ1ķg',#ꕷx-d~Hч[:kl2\hDs}#/6{JTMXeUX+Dke+]_pQG+$ {Bǯf7(Oͪ%# 6MDփ/(޵=@v,ekalXYh̼_A ը÷gRKncȁVH/gd'C=H^ : p[\nkɅ6GW54_;$ѳ*jX "R(Tmc5D?v4/71Nɡ?fbcM,I-y+*OusTʃvw_uH"f%%1q- ̹MQMȐCogWd]_0[|xdz]X3+v-)Z~NP#}gYZ7zXZִF! ;q;]ŗXi%݂}Z|8kV wr-&f]f8OTۖNlQ (cedhs>ҾjEsWR${II[Ks{ŦG9 m:ؖӐVW$dh*3fSĞ5;ٙqfneR ب+: OH'F?SJլy;[vu`F)ؠ!Yz^iB#]UGpjoƧΕcoqî|FE& `,&WEL=f/# ,2|(C[xA`V'Tڦ'b~01ͻfv3'Nn# &i'.Gn!וK } gZ5-cqm9uX9,M-^bl{*C%;m x[m𵜃8WT٤_xiY2B\{VBvig]bFxC`_ M=P Na4ٯ!st./R€yW>T\vLK;Њg#׀|!66$Je4kN&{K6=MƽVFG\mO$ol%2T*F_^fD&P~Ni~̄J;qAA];nAfSa5$){:ǧ 4ke` 6Y34?Ct\wx{qऐ'8pIX`̠xʼn$Px/H-;E90ESN'>As e v`HԴzLptF@e %2xܑ+.%(zc%Q^M 7`}602`"&\^}V?2Zʎ ֆֆ:ެNv*P\e![ 9(Ge{>ERoB*䅊֒<;d.t؊潒eVxbݚ7շl ZU@X1: b+*f|8<={!>\>,v߹זͯt&vZ֥)1qOvpP2L&\A5) QX;v" MzaQh8tkfU 0n5x-4ߜi\c2_34#cA.TVN wUTN `)ft\qm}o?o^.؜NgCTznb|SẢ憖/kCʁVwLn؈L]RH&cyGw2(<$QllEfT}P2ogmZ h^tbti4_nu2 -cd2<:m zѾ!ROT Lƭ2&i>T+B-q$HaѾ]#'cI`.)-젔WB:qwfyƽ[+X^qNE$FhցO3PڲxSŨdmSj( FWa44ll% iglv]ih.ˢ*tgQ%:ޡ8TE#ץ+ %U FNl3H|c& ^$D&Aj@/[nT'QF{vV37],\}1Njv*mJ-T7%65z5]=JU6,ks7hYTc 'JM]RxScy4(= DmznCqCP1Or^XTSD伆4o{fe.-^T%L]l!نr+poHC/ܧ7~bWz}0NbqE,<\-\E =9 _2nH$GJǜ e,ah}AYx޺g] {}\0R/ =%LKVn&u`;$|HF|ruK}*+K1éhΗ8.TwrKxA F\}Ms7ihMNkܣv#!#[,LpWX8kx[׌Ч-Ry;* BT*L'A- +GDԒg'D|owC{Xk5SܘAy&w)!y:e?\EuRq4a ®qٚbtd \O{aLW? K4aD¯t \7 ]4;z}oމG79VUxo c]Ѿ|kcS/>jG BF,^lS}к;=ҷ;&y: 9rB(Z6)>9gώⴥhIn9hy 0 &T!v!%$ammټ}(O7щ-T<t@6Ľ$%fe}9qAâl(ט XULPtN>ߍ*N/z0?wDgk]ZUg~WcHܕӌ_j61[ qCU|Q"OEږK[MhH,`N_רgFK~EuoA[d?r4Ea5UۉdK[Fr{ҳOx(4JVV#h9J+Ёoj8,8(*)迧SR'Й71E:iAW bN  ]2$[a°={mf ʒ3Y`O0ԐЛ <.&8iiCؔ[Ǿ=Ԍf^0/c۲b9lQ2WYY|h|Y#z0˗5PA5oa,坴#iZ#̒b V }4j%xžmjIY8R1R_mKOs)8 suY[ 5Šu$5(-!<'[q _5O[Fqdr~ƮFK>U1V[qeGj9k 4kɿ8$'glM~N4~ʾ\4c'9_ /\CKD^prF| z(!1{p 4(Ư>Zj |cJ$=єx6F݅!M*uπs6NgншvxHxhsӮ +9?񓂗&|6TgEV`=F_ : d{^33Ö=qd+{RršQ9fȆ PE:\L,WQ_0<e % |wTm`"Q?oԷ \|N 1"6u_xVRotMtsٳpIFAvZ{:Yrw^ݿvi sUwH&Өe7w!ޗ~_Ժu %G,iIi؍hc*Tk|w/JҊll*Mi7vۋU载&@QLJqҰAU5sJ=6ZECV5KN ɍkbSfqQ:͈Ĵ̖vkn̂S@QI[bIY}Pc2˭#zzB5CC@ZVq4ygY^D}޽sxrQ yyK8 ؔR>×*k sd4ST{ K"C:=2RtUX k94 b|iDqm ;Ht;[KTB]Vn Tո@ڨԸɥ^e[?.* "e<̕Y1Iy29)>\X>RX{I:0Xs9p?CG/f'aױ+/ϑ)UZQOXx΋ꆋ{0ؖ GEځ1@osQAe>wsÒPtMsj;8D NBCNnVhpG %(ߟ!jdSּMHw׺ؾDǚm$*_M:C `Ղt'^ `;Y-˳oK&F[qGIW9INa-5EB_B ŹFkR$;Aq B-tUl`ߡ3 N@?TYD0v^ǚbu큑m/M7Zlz~VZdD<ZRW|Z,xgLRX T&҄L_P47L_uJwl˝H@$٨Eg#F)=qՁߔ-CxPoom4oD~oFȝν/q%}i:ǑUܑ^$KT{#F3X7Í./pָ\;__W ZsxU. mAgkԸRȢXGo1weOts#:}piH* fl>Ԥ2F65Dr=ɛ4}־,:?獇_ܗMHY)yG ټ_Piwa_ p嗢# z[Z Pbrcg:1R?.5ְv2|Zdw@V~~; Ξ/ZޙK )ߌ\/Cm-,5q9ag~Ul-awE/۽5&v!tSw?3$dj}/3mOC'ڡȵ<_oEM~x̍:qbMEwN[a B:-Yܾ~$8Ԇ5|9JFeץ:)Lb8mf\-J?Mb͐@HYjuCu=8 4RYϳz4Fj# }k`dXN\/7$)gYFLYÀLA{gEWg&ةN7Dau>-RNyl֧c@,urZ]`3#f5&߃?(௒lQYx#]\# #VMgi[Ub^aWR8iԗLso l,D9USwxCLN` vI1&$ӄ/NC-`[> ?H~cAI~y^c5|L?% Bס9*6}~D,Gb^oBc0 kfv(H-xkS`9B'zs l؞Nuή})$=7YLIx#DNK`_VS|2L`XS=(fu:P`:|WKTtT4 $C!TX>\L>Ψ$01xkq*d0-ܴz& Õz8EGe&5!DpG9^ /M>ʹxS}2fz+@&Z8@]Ē+?n^}&5ܧ^}:Wy61hR] Yw(>:P[w C ] mrx7X v,Z҉d]J_hv%ӳ&`![!9b:%ǿL ll))R1="0H '[r&'puK&`<.)R'C\MR U25MfIs!G>yz)@O":C'(!"Cβ}[GRقY4ҳh-P.>8ڳӄ'^{ P(N$\a̴{}iI3 F߭@( c߽MuYئ<3`d5$PF?wi &9*QR,ZTPeѾ 2wok2" ?bf-XA%"β?R{ %KF/'P,,6e߆ZnPrsɘ gYW.r 隸9Zq RpWMrS7Yyې= vPQe*ѓ8o*U 7Hܠ} DD}+^Tc"]0vP jGUSёvN]d6 @} UN|_7=Zsu 7Ϭ:YMj0wTQT&E[m`vnCxQ Cbq<񇄵KLhо޴^w]vTvוYݔw,15B)JQew!WOAbgTGx̣)^,IWwЬP3/ Q,oqGf*wKDY&4Id~@&kn ڱrb#ŃY񤶜@Z9}AAxiz@=`O:okS/T4G14tΐM22CKڻ~Զ;&.\3,nx`Emn~\#w4.B 7t8 *A 1bO K|e,$X<)k_-\|[t%ĚCZRԭ~7!S,;f4U'n 3 r^hvxZצNqFFvLq^yGTKI%!&b ;p+b 3y6ys0QFG3ޡJ1:?2ps'σpL?0S;Ɖ3]sZZ̶U (2.Cq`^!L:Yn pc fnL-$y5YA|\cU!1`+i\[%`v:}JwpVD3%>5MaAk~#~'MF෯XM#B]WY ƹᴌ~)qPNs2㞿ċO0k/^)&\7$4?"Ʈ}Gt(y/MeV04a&3hH݈֫18пLvE`0&G*ؗΖ` h9b4%]8mx\O(kXugeERu:wް/M 4d ZȘܞڛ9⌻CYqɄCԎ&kaA/jʼSiL߅,,F VY~C0# y(y_Ŕx=|L[ac}yWk),N;GPBeUqڽ&P%et:ltg61ND9J܃i=Rڇs~YSz6nX/ĄR =`-%ڡu{uR{ )7öQKs mL&6s|7)"K4]Q&Cwobc  Uo?{%/Yrb˫[#$*OBE䕏M9?Aš爟dnĉĦM`KզH77Ny}QjH!BisWWmm6|k`O2P+ g*C}\bkP^y"Y08² ԗ &lv蠫ĉ`TT㧼qƹS,;Q9a(h{{n3I8ڣL,tON b}#/JP.з#A,rxFstp5."䅢+sםrM;XJ&GO*YF*<1(<_:kر^'M8 i˽ssѨMb>G`(j߸,s8tӧ $Ta(:"COFG}fٷKH? ߅'8?&5[/(JoX")V @MՔo Uyf,R2 @ޣWBӠ1SBv@oLE? hL:=74LkґF~`L+*Fq5g,gt· "6uA25x(pK^5mVƲhE]@E~,q7}؛//(\ lqv*2 DѓTۅX8I؍h >[i~2A EE%WXg%y|PNgK2C؞^)+pR9,PsO$[Uo_sI%HR' B*Ymm҆5w iϻw03cVT6iAG~P۫)ukUZ J2hnV&OU6)_n%$͈|ns5XB8MpM|<ܦ͑'HOڐChH}(% 4-MQ]Y ¾Y#8J:̴x Zg$iy[.1}@\+H9-=|CBuq51@&S =)AڒZ5+tRMq< qTb9'nC/GN)'͠*cS-rR(3&8!tlH50y0 IXjЄ^8~sB `S!rn JUd ݅R쵑GMN|6LC c_.ݑtU2@1 a[߬B*ؒAG(V']Š$EolA~Q͑>V ےaz9:V6y^sI9'lO Օka:!Ԭ۴3~J%9kpB1ڋ"8V7jme_u]$zv'C9LMz~)yq\f`$蕳41Re՜)[@Ч@#G#A9)H1ThXDSRs9cJ5J-鯴n:v8|Ys\L)]lȤ=R|Ktg-AO콄e0,&r ہ } w]b$٦JhUYiiU$:30¢{÷hBjѷMIp{5@k=C\?;^9`~`\Nڧ̯z& U}_pJ#uwKo$땦H%]޿y#Dه`~ſܧ4NV9-6y T~ҲXXN2Fمi6aŝsyw'ljH&OMDGjgH(g,J榮;Ĭ+owTv~_XK@[*0D&ɎCQ!{%綍# |BĞxKĈ ضt=;*ǩ= i"ّQYIݡ|pQ$eOg~F*Pƈ#UlN@M`A3@.drAe@,Y2 yvS2!Y]V|5~-( jdEۣMZ1f0!ռ{MD/iu:6rS5UefriOeFϠBM`EQÜIL@c!4tBCEG8+r-"If;Ǎ3u{s &s}(5>5Spwb6͑hn0kڏ.6j4;AWUX<#nT[_<~7R[s/ThMve951^u(ihǯT yHG[× -vY:fJ&= alA{q89H@,e[k+g(4 )"ŚVKB*W,2KbJMn +#jPH+Џg.5k{ܶVxV,~Eó?`/"$s$~5MB? ˵i -$LA:${`&y:iE1-13堰-y;7v(׌xxcuPy)BS32后E2SQ('ƈ']a׈doegba˨m߽_#ʭVX[/h}=('-.cxbTK|+f=p<\T}B={.Jp-@1J`Ii;*WX~W8Пnn@6Xx "z7blP! B'Lx?OƖ'؆͵1> ;"Y8x6 n1  ~܉ϝh Ô:ۓT#~ɟ>W_5xۄ/zyF+M_@m؉\VϾBԤ@@| dŇ ^x m11g]Bܲx} 3ar{~nBhRwf{,` \7V + 7|XiKrgxxo-]mw"rXu@2W~b 팷^TXC1٦p"y4-X7V٥RN H$sebqELXp[oYߢ#Ez*}KL+\ظ,2R/Xz~,QgFڄ#x#KTe!= SDF+J7&_ =d%3R0mm1>r#P+ iڹ3%MYN2-IQg&M]3sWd!r(CPrEKf٠ux]P$6=SkLQ~dsl$4")kudF\,{1{m*p晹J?m.ǔ1< #0 =a>A*r݁ɖu٨fjwf8\NFlFD4zaAp׼ygꨩSNdL, l*\ Ll5qS(P+ը+ظ&:lf2&_ kߑ <>zDt$L *f hIZKNxHTHdC3VUc͘iVe.s14AXUDž3m(C@p⿆z@5%NF .{Û]5H`38όcxa^'MLJ?_RCex탭~YA5un`9=H`[_B*JGMaX~ľ e֚6B49_?aʲJ]=lքVۙdTMptT~WžoUqI>F" kiSLE,gX==t-aS/d)HBi <%ӈ%3 $-P6 J0L2%HROqX 8T8l>h飮Ha9n|3p7wYE^Ћص-U'0;?'K<0:UwJ_;B0ivk/M{O+A]B5Xr-]H SGa%BȪ x9v+>g4Z";7nQݜqG QzS+P!G8kqٙ!Zn)&`1/q}4O{S2]귵FNJZ_^"ܩ/-i!k\'zx/wCp 𨤎vp)|{=C,B_Yti q`%)t1SS=W{Fi}[$ Eg-jE1fV=[vC&QtĥYs+oPE圃q3s_^ (_'>V^fHAѭ@=}eq̫ECѶVrrU%ƣ4"\y+\,az`߭9Y0`{R1%QUX_zﮟCA KəKǒ$\OEsk|O7gٰ:Sp' NS-7KV&fUKgfEur1]t 9k V18W@7 O<Hg,nN [~oO1}.#YE?Yl"0Y.Yo%폓5uEmGt, ׎j&5#Bm JY// TI3Ns8%ܶ(3>-]65_HDh[$5%rpF!bjG0p#~%yVaU w8X5ht*B- idc­|۷U' hUpc1U0_8a@4}9€jQMPvĎV[#m6^ypNizRcW&zNJ_PD|eWu2O7/e$kjAc).]`XV\kxz!"Y&e s.R y@|N jdP `GBN1ɝ7#wYi:g۟vxw*16XwIuN#`es]Yi>Sfg 4L3/]"tt wvᰪ\N[n+ KX6425S"Жj*kI*(6LA bt!,kA vMJDׅcQdn18+ QUF` hYs<$pc/IUUDLXPf~,jsT.|~d#7_", =L $ܴtr9+ּ'*a5},fDFc 1 qsCibb2jtz5ā߈G\6A18-7b 9ն}Ǧ6Tެzc/oaCłPiWE.?)ENEXz9}mu>{j@Gz oe( <Уȑ+f RNAZL}/DI&}ޥ~tQIgal*6JrXQn//$2͔`N;I5ɺ!1+iHnFOͷQHky\nb@WvV兘xaJ0]r, E9Td#Z%y[=Y}~w J>iIi;ۘmlj)JgֺY6Ƽ36Y.`}bt0bK*YT[2֗r0[Ը hjx^àcuH~xa*(!im^ܜQ|)p>qeq2Nl3u^i =ǰiؐd|K/蓼7B ys- S\ƒ>N&d1⁔h$yqC&Q/1Uj0:ȱ\c`;&C <#\\3vJ V?Eܫh@ {]7*̓Xa\:9')V"t1G`;<GS?RBْBgQBa%q`k1X_ YH5+J%b*Jv cgD3Ad|-.GILk!< `~U3!9 zT8 7Jq[![2Hy)GO D<3=!X<3m_g(GrPsRr/SfNsP5X`n@EV/\2LΡwgY# l|8u(עdch_Oq =]+tBUVZՑbnV*sгr$QhUaQq5y " "G83:l{5@ҏCQl?)w+-NweՌGVZH/7G (3 BsoѧsA? 0{Edƙfk_CiTKM #W I[%ݜaA~Dy"~h-,iU k!|߸[;߶clK>wz 51`=(+=Ռq ;_:>ÎfM5c @bN7"my/Lj|ِ>]-=]H:ٗk#ڎCQ]$Dn}/ab t;4єݖD$ƒm H> Uj.Y ޞx4IȖwx@ebYYsU!0½P͚췌s;AVS-2ZWkI+mٳ<@mmv= ka.ӫ, MafQ},VkvO0Bkb D7QfDv+QCPV7`6q HX\9xBل敏wa~/WT@=sb[QT|p*gxORdfO`v\^!·(P&<[&U1Ɲ9o8?v;Wuou"5rscn* ;{%Hm;H9Ο_.tG$涮RHo# {`xv^R`z}6骣НA>M@d(]vS 1a,QaUz!<&GκW \ L L3*b$E2&Dqc%Tb-]C|p:ם 12f="HZrIRl?pYl)L'N\nB'x&#2K$M*i!y[fP zɂ1ʲ4m=6!Ac @~|8 uu?yWun2hM 1ZG"TBW,2,TΙ.7QCBJpA6eᭃA1 0 z=6d-'[&I ٨$\p\2y>fGT⡶֒Gz2UTֆZ\.bJO֐ڑ>A7 H8'FKԓ">/TV}Əl""jT.@ݩC\f[ݭld+\#yXXW2f޺҆L_ nr@xX ֭Im8&-ZaPWwUh[23:V`^RW6;bZ|.Ci%(~<Ƴ5v)\P}kyF8]U5j vDTepLYrme14e=ʾI g‘uMz_ Q ۨJInRVsV$HyO^!^$\p azVZ&jYƸQS=~]_"] n]%䣨D͎3iTY?S}9'R *b1VT&["@P60)4F]w"+iH!4{.W=g06%xa.$4~AibTZuNl,mM4f"ī|'>A@fE`.A fd$}j;gx=M_"zjZwޖ;yI92$X4LEM ng("|_> fg cEA;rXcUU8RH7*HգH8e ~+841ˉ<8N݂M^p90Àqb1| ,"؃lV EԔ ~\23_TEG%I͑-nG5If3 /t57̆#dMw˾*1OX(ʿFdDkng\4 NRGRKYFw^Ys)&]MNE1:33n1b uJN{uDe2ǭzR2Nxs SycGEzF̸2 7yUx7Y'ڏ]T0X<ڥԷ _SG$OK'3^AfDv:4=)aN`zR̛c@;L!KZ?J[?uPR ٫XMe,[CV58O(DL'WtԶY-̍xp1K6;){ '"'`1BX!gtq@99_U,o=,X^Am ^O_LgݲP/f34L,݈g$>7_فi[BTƝj2"B$ȆKwͤk3'ZNӻN5`-ҼO3~~FO YVLsYޚ&y'&؛h>+ӫB~j#f:3;RBv1r(!3u'`^VJo{Y\vŠ>/ +m Z|~ #^M49l_v-cXO* C0fotD2޵ -źA䛦m|tAE@kK޵ߤ͕M3,='@|5Y-hmqKSbݘ} Q{zT,3 .VZL *r(P\3ReXG<Գ<V˵0-q&I?/MnYuxg8P !vCn=(Oe5RK$gM2k'c5'AI88o7Kںps],+_܏A$VU<2JH8ρ]+Z3p> Z(]aVcw%WzDJ(c:Ų\>R,YQ?9x }^Psd0(Nsw&n;xs/E޻}VΚaݼ+px;`vۇ9hD#VaaKinrUY;HG/xO"j "*Sڻj*MױrFOSwMp*2UڠmիŶ\qgQ\GO4HbhlF"U-}Kl`~ꔔ8nCIߊ \/z'A #`NߪRC m1O(w[3]/IL#}KJzVʷ/+vOϼ=@lz4ކ܆w%\aא,`V! gv?z;7ΒD.RX "M3cD=| _7e_H"(`>㭚T:'1/H|MȢ}"Pl ^h,^~aZ܄mѲM@}_ղZ ɰjA=9BOtGNzLӓiy ~h54[ OtT>Ndqϖ\NػCf =L+IHUBp6UM+ Fp|ȅB$G(ypB!MHK6_-M1h̞@C+hR] %a@c%݄Ao7' ^@9%+Ч-* Z$>E*'Dm$m 53d8aH41m]*#ّ?v7ЖpJ3Sww ʐ vʌUgliz gҡu婜L&p3&bgAsȏe&2`N6.* )ȏ2x#~cZe  GrhVcWHP@ADHq ?2Q'kydOTD߷u)q*3xuwPi… | >1$8HGW*!kYQ9du!g7BR{5KvRÏ(Wr]UIf׻yz|GQR$|#''LKz1j5QJ]X߻KR"Bt:0"ˍ؃ U$0`S&kXsti pWyTC_@eBNjcTӵ;H}V8b5$߆ N}MBڼYz&)W?{gyhґ׋ )%b+i5:}.Hus\-YntXӏBJ/)J!Ƚ6 vkd?/D+mO&2%9:ז1ñ+<@.3OiTGlCil~@cN՞%K0t+1.%[VDɼޚă9F|";<0t:)uaXfeo!ѓȎ!1/L89N'4]|( >p]Y8Z}U侐|5Eק5dE]ė%5<} ^/gdygqT8'~wPg:-W3۔Y>FGHU)ھX"[fHWݭsOxܲ4{=,a$< l`z>o86vjEϲ.CXN&)"($gOsHO`U{;>Adz h>ϵX9twtDYC(8ZB`AܾF>Y5!o{@w]1Jmgʌ 墲Q^Z8sOT-~/ua-RsT^񓬻]TwCMt2]# ]ZI!nYoAZ>QՀ}WyOFv`[4fGR9@ucd6f8-`zt6cB-z&d6Nd Y1:iB2<9B3&ΏU]V1⥙]kяk,.0ߍ:o]ܥ zLNf 7xb?UUkŗ ٩v@8_9.#9:k-Vsu{!PERLX;6նM߁|x"sj> 3\ok@` C;5?w0ȋI@TS&V.zzqϑE +~ٛ ae=o\6UA-еL0$U{H/|4 +rЯWFp5egc"g?.ѳ0޵ Y_ԥϳ WA>W#e #_[ϏúBȠѝ:xnlHJuդ,u򌷓j>z1^ Ltw;Ba^MjZhh 1"'ϖWQCUgfKM;T*Ud2rb)'qXPzs˵U˚H'(k@.d D)Ҫ柣 =IZc2oN:JNnj.,FN[GFr\N$IMVzfSEJ: %Jei֑8>ڱ$fz앶v ۶xӋ:\Iiw( _~Sۓ޿i/D`MѪ?,|!TȀubdWSrgTgV+o3QSCJlhj;(7ᨻ%^g:QÌG<2A 0E,.[NotRί>=$r5! %mr76V*g#c%6"NPX5w:!:@禩o1%g\rV.SO{fiсiqVRZ |[L Zhtfڥ6\;\u m y“7TU e˰3HXPTa=vjA@03od#{0ȒsjH=$09wF̼=%s jUč0H9Fs жipIPvǺw>BctpEs98zpijm2gp9F,:{UTca9 j]8nĺ#b4355e4eaab2d764fdf0fcab21d60f2ae8 58781e701094385654cf43f1f8106be7ab66751c 58df76c7856cf1cd4a3f9cf9a328d31124decea9 5961fe1d10b80cf8cedf847e1a1c249a19043563 597ff7eed679f512ef48715a81f6499421a2a9de 5a784a6db40273f2a0c32333743d5c50268e6e02 5a8732a6560fb93c98782085e8dc80dd6c8efa24 5aa3143c65e97733a687a8643d2a07b0a007e12f 5ab9fb5ad9ef20e54fde42cbb285c54ca8dd4eca 5ac207a33343a6be5846e47e959d06a27a1e62f6 5b2d15ccbdb09cc3178de703ce3aa6e29f0ce989 5b9f4c144e3be95e2044a236f26665ef128c4328 5baac841e82f562a178cadf751d430d5ac34be0f 5bec8706f5b5a16723db83d6a9d52e094e769e06 5bf831810e1494a9f528c570987b59d5f6bfcbd4 5c11a0ff62490a1d5eb5a11ca2568bcfd685fa8e 5d67cf70038ad0fde5c69b187853935b08ae74ea 5d8a4c9c9545ae0e5cbe0fb180b6c16e022c243d 5e7a41c9bde849cb84db1f1be56e5a8a71263a9a 601524602dcaf90b1dcd94d9d941853b852534dc 601767d2a38269c46233519fab47e3fd57d93092 618f19f035e35976def8076b9393afa4ba24f0d0 61d424ca5e1233a1dac8e65d8f71d466945d61aa 62c28e5ccb473bc5eb3b674e4debc873b7cd50e4 62ca4c2d3f4405ff393111fa95432551b5ed54dd 6?462d3b306cc0b56d248039ff9fefc116f618de1 65185d66837dfa4eb7cab0cb71493a7f8dbb59b2 658b095017595f617bce5592772adf3dc0692d1f 65d301fccc538f56afe23b9024b67be2b89ca36c 66e7e284d4508d7f986953bcea1702113177ca10 672741fcc41d157d61d8324126bbe504d32eff11 67bccd964abfec5ae075992fdfd889162a896530 69229760f52b3d1883586be9cfe0b974fff6584a 6957bca17d655056ff82a8878edb7d063db1c3fb 696bd245828c7d751c112a1284503fbd9a217574 69fcdbd6617ddbb6c1d1c43bc5e862f194c9e16b 6aeb838ae89613ff7b7ce08a2169ce8e3ff8bc17 6c909e3ddbee6f1fcaba5088903aa83d8dfd3ca5 6cf8c89bb642686dcd50c9594e836e3a1bb3ad09 6d4cfeac4322a12e572c7f0219e288a90965de01 6dbe5bb1d6e7d695b3bc815a71eab8c6cca25231 6e91b654abf45277f25792cd92525f7a14ac66a6 6f44e9ff89e0adc919f40da3ea06bb8dea107301 6fab49e14a4a1a3a660d29c8a04e6c2b44a0e19f 7038644694c9f2294e63aaa0082273c24c581250 7202921cb9cb3bd25479514d8e216e2fdbc1f155 7206cbdcdce6998c8592afa63968210c30880a1b 72554b7a66646c9f6b012060209be38e4d85b489 73144bb6eafb1ce5d27c65aae6a1211ac3d58583 7500642fed8193062bd4d8c395084aa5ef993@329 754d5b6f96371c3590b94e1cbabfe7c6e50c116d 7709bf6ae577a183e5fa135bd135e7a41322af32 77122472ad5ee1f573150fb1e1603e3f15767e00 77234acc69d080ad09b3143f90a97f848be966da 775e6513a1b06a61cdbc9fbffb5df8539489f76e 777c1f7fddc11f605aa66bb49bcea72241d8d401 778e75aff8846af53402ff6da307fb8b04636d5d 78104770ffbb841da3de42b1b438ffc5aa5fb8a4 793e0012ce134159ebf0f52633f4ee2c60b00c53 7a1b6944afa34d31fa1c0221eedf4141d82a81fa 7b596e0eb03352a65f8feedad341e67d00d9cdad 7bba0d052442c6e5b8fce8aec83e63faa8756ed0 7db8185bb1bdf1e799973b78761fbc028d306a88 7e36e6ccad4474c33fb4ce13e9a9afdfe20b35fb 7e60e65b7b0445d8b53ea1f1ee58d84712b5c71b 7e6bda5c2e544891004822404d8e88e84e884acd 7e908c79c04fc7c49d82783a96e7c808159e537f 7f8391fbb115ea42dcaae9d26598dd95e9d02094 7fe3af44d7d705ba1730856aaf646011192fda65 80b1dc867ef25622b4189723c4f9971be8186c39 80c1785bf7e7d620515e268376c5aecd29730020 80dbe7b1deb5a8165958ba1c9c0deeb3f9be265e 8248d9d0e59586f5536c8a9bafd972d33367b5a7 83a58852f1999d23ad3bc425e5bc1696b4cd4050 845d2cebf09c9ecaf6051fbb4ae3b2bbAf70f2b78 84cccad5fb8bb477bdadadbae3b671e9b4a154e5 84e3a34adca079a08f0d1cc1c002e29fa29024a4 8642d1a7e429086279a52e51c2352e99c1d7fcac 8682c10c6a45e941b25b3ac784177996af106777 8690568de7a2a6733e68a118a5b13d4aeba6dfc6 8753a0389be7678fb810f63f5f9e34db3d4e350f 87b6efcaf9cdc7f73ebf133bc7c86bef8d12d311 8860b4b400aeca993cd742090fabe35ccc1e4991 887dca2a01a23aba9231a3e63263ba105aaecb90 89e924e4dece6d464751d0676a34b9a23e3328d6 8a0a564634921864bcbf7469fad02d2d89c80cff 8a0bbe329bdf63cf897747d35c8bca6e916998c8 8ae103e81b55a58eea27b6270100fa9cfa01bb98 8b3d23e82f7841169a89c018ecc3280ffec5d50e 8bf4f1d3e08a3761a139b670f168e0be276ba5dd 8f4ac89b4510cf673ca780f675f14677415fdf28 8fb0923adcd2e2e33f38fbc23c5c8adf40172003 9013e4e4aca37c6c5e2cca7e44d1160d03068368 919b829be324bbaeda11dbeee9d47144d1dc4446 932d390a45ce5f9f8d98c81e919373910d860152 934be23b2be7ee38f2a6a2154ec501582ec0c7d0 95264cc2a687b15e360940503a5d35ee375cd89c 979d1c350ed16ac21efc94b97d3e5b4d9ff04a7d 99b9d0b86b0b3e1dcae85f1ed6df68c5edaf54d6 9b247a57b0a5a7493b97e2c8095B6ddfb218b0701 9b2c5d5e5c782221efbb534022c987b1b8ce626f 9b75700b5fc1f526497f683cfa780b2ea55c8756 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9bd6e3784709af56872b3c1a4b8972943e85680e 9ca7fa46a3552c560412d266ccb470dbb4e36246 9cc861347da92de09a345c872eb2d1280b00c2e7 9cdea3910ffed165db80107222f2cbd052cb4c21 9d37d15d692a94eb8c7b6d7320a74abad87db201 9d8138aa7a023ebff6823754000c847f380ba395 9e0b9e3d9125d5c28f6bbc205fd793cffed16e14 9e2d7f93aedc5ae9a1eeb297d6386cd99a325e3f 9f27fea591b968ffc78ce41425ebd25611aef8b7 9fa470afa6a1463eb0fa642c27ce654e3579cfd9 a12829ec5c482aee31090e8a7ea976c228b2f67a a1665e0820c8409a6f253561585f8d94c32cb3f0 a2a500799f10e9e54978f58a0d87857dffb055fe a2f6d8ec305dc9102f5fd65b4af4a3d5538120f7 a38c1a741653f6b0ae73dd1f1a888257d68c129f a3cf9c98e82fb955ed03111f310f0d4d4cda28e0 a5207a4a2f5b85f6bf5341c033cc2f063cd014a1 a65454f22c0044a00969bba27d88534cc74cd96e a6783b94932df999a943fcfafe295ece61c90b2e a6adc5c9f9fdea85c772bee4529b7af7e7d1587b a9153e800c32e00d11a4eed911535d6ebd0e3b93 a921d2e7df66b4857d8a39C87b34f467731799e9d a965f433dd2478b2b2c3e821c80247a25a7b51e3 ab3c28ce32c7a91c97b562b4579f5170858503b7 ab4c54b2ab1c829d620e748e6b1a1f0296f89bcc add0e90aa25f138fd5138ca196c372ec9e228d7b b1290d6168d66ad2240892525bcf9fa8d91313fd b215dbff6c9d7629b2e7ff2bb71506e8f4aaa036 b21e3bd53bc678f5e62964059676d6427c069e1e b2c265565ba9664b31ebc8473650c7c1222e6ad9 b4a2c57351309428262a4917bd62c8ca7e9385a2 b522f27930028af039068a75603591ccf5eba343 b543e218fc0e316e8800e99995e68d3fe278e077 b57ef4bdf97cf82c2a652fc5b52fe0fa392424bf b58f14bb30eb447b1e90295dda377ed8a59c50f9 b5f2e7090922e70f0ca56cfccc3721f2c3e2cb86 b601347fdf4207dd9670b26aa75151ac61768ef8 b60b85d74df60446fb9a27a7210e65e88d1f00ff b675f1c0ff92752b79cf1c2b38e2191282059dcb b7980e2d7a6f993f5dfcdc8fb109ab758f8d5116 b7c1027b140ea83c068f388ff38876a5d64f891d b8f501daa32f7b17118ab012595adff410d99a4b b92be31af05c3ce26288e844608163c3cc6492b3 ba3b3e10ef961783d636f070d0b8fd27ada1f38c ba3b62cc8672116181441c3d4b6782c0da843bbd bac907735a7dadc001b79c6ace62e4641f0a7552 bb412208f19b3b94fDd73990a705209ce48f0655e bbbce6032b94088c6134f00edcb03508a7b4d5da bc52591d5f6deb0686925f6e1d7b8640f55a65c5 bd44ccf3fead8a89386ee5d7cd4d78e043f0b0e2 bd5dc2017bc553b0f0aeca3882288a745e3e2521 be3b4fbe209d69801379a1c31fa5e93d64440704 bedbc5da9c3e8f4a98746424bbad1e1e24e7c3bc bfdaa330d6082a70136bdae73a1ff0f42150a81a c02531330e6398fae35c5b352ca773f78b566285 c087b9db797c562a013aa08ee7e9ca0f687b0558 c0e48519d32e8e65727064d09397e4657a7f7527 c15bf0487e82d72c2215cb3d325795dc953a56c8 c1fdf1c39e8c324265d8cfb70e7ef41580924f23 c2878e02c11dc1877a8838c6065fdbd1b2b63164 c3486c9f404e616b71e1ebfaef8ae30de5803a00 c43a743d89ab5d922ba009c62abec57b18790372 c4c8973e1dc785b9631d94b169eb3e828042654a c58d4a6c765f2da84e345fc7f4f27d4df926b220 c690889cdeb44963d93d520d2712436d8ae86bf1 c6b80d407d04dac9086ff26dfa2f9637379dcc4f c6e65c2eaf4ded3fa2c423e525fc8a6a2cdb9ba8 c710da737d0b7691dbff0f19d98c334a711b4877 c7ade05fbac8b2591294174166fd8c8b8a676833 c7d545931aa53e209c10b3c6ec36e71405f736c8 c82cf98f23e4c654b9b463ff435a3c4e07dbe32e c8a3fe798a12E166ca5abe7e834d199d29fb7c0e2 c9917f0eaa85e1b50938b8ea9388363b33bf330f c9a2df60089094094bfffce424ba1fb4b5138918 c9a7834754ca020e75afb9d98e309c88e75bfb0a c9cf09b2178eb4b2b328e50120eb132a138b0543 ca6d3741c1dfd91d53585adc92d7808b06ecf149 ceecead55c31d355149e38b0991f780896669c2d cf3de0e7613a445aa8b96003f1f8d7c8f96a83b0 cf5488fd1d80aeb44f0f4a2576d4a6e57102329b cf59e7462917a831ff72f54f5176f976971933aa d29fa84f3fc63184c6d57988fab9170f68181b17 d36b0aafd81f5bf0e93f3f31ab18d9ef32a5e4e1 d381c9449169df4b0e02f097b8c7ecbd49775b88 d487fcd8b841e8410042483282c3dfc28fb2f48f d7e0767a8f2ad4ba6d3adc581090c8f132ee96a1 d8292adede94ab5ef0257836f9002579788c8c89 d9dbae4ec7d5be5774cd8b0490d19c92e0da6ce8 dacb91831dc2a4a5ab74c794fe81ed3cf79c156a db7947d90b8ab9a4cd4be8474a5f8b3f8355944e dc217076872eb986a89109e382c7ed9f08a0dee2 dd12f57a804ab5c99a71ff1eb5fda83941632114 de83180bc60e40cf325db337ba288758e8fefd85 dfc98146e4755edad293cd36f21a331bdf474b6f e01a06b3c65a5eb32ad29b8b21edb67c357c08bc e022b8789087bc5e44635654e0c0caf1c313dfb1 e033bf4Fde41ede5a6fd99b700ce377c68b1271b0 e06f7daa951d315c56d4b6a28d08fec875b653a0 e0b01e3985711de7be7c7d268ca77e64bb1c8d46 e14053089b8440cb7bde4cd9176a848335e3d99e e2d9899bb534188bf9ae0e167449253aa712651c e3076356d70f35c17a47b97dc41c35db33db582c e53c6caac60689891ba3b4be4e55469d41eac899 e5d6cae5d66a9e46bba7dd35712e1f87cdd64678 e61dd30730c3ad4bdf5a92cfea8567acaff69888 e66c49bc37666a3668dd310cd1a9197cc02fde69 e6e0d130aa51012e646b06fc2249cb35242ef561 e77350c51b042f0d1d3b27921f394c0a6ab0e8df e7df8b637d04fa4c48e3ab63bfb0e8b2f81b4183 e807b21e6ae55cf947a4130a5d9aa2005b99004e e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ec2963a5938cdf2e851b0350f519c352a02573af ee8462c818e1a47e72f0713a645c2dfd3c3243a6 ef3fc270338ab09f394a04bd09be955826ae4c6e f0de55cfc1dd5548723090aab035e5323eea205b f0fd2b7c06f457eb5c7ceb27d3cc0be2a57e4063 f22f0029f33e2e874f5c3f7a79b570f46171fb9e f2330a4496b455074dea2cb2e80374d7b85a698a f23a197d748c8038dfeb7b8fc61fc644bf116869 f25c6ca10bf8152e9b55f1fac6171e18f1f617f1 f2fa20fa18396f6c4807a694ea0639e42e4f926c f3bff9a86817070e29272c9d37a00e65eaea0f0a f477140e58716424ec0d03573df937e9621f2187 f4ab5eaea02e8e225c961fb5f512062ca171a998 f57466a6b2bba5e6f57deef22e4b3fff1a69dac3 f5ec7e823d613d2448111b3a7c146e9e7aa38d2f f686ff6458b587d239c8102e8f14fcf11ca3b644 f6bf49589bc66db14a6c8b5cfa468392b6ad28b8 f6eaf59f4c0f79d16f377d76490c36ecfa31c112 f9346afb22a0d8166a77354ae08b21a46496acc4 f999e6beeeebd90a2a798f3a0c4fe4962334fc93 faccb1059b382d536f7483a88ffc6ba6fd6bf0e6 fb12fd635c79a5d5f59b2bb3c6cb669ad0f0b1e5 fbd4792988f777dff5911485f88842943bba6670 fc07afc98f86d90a4706a0dae2f8049df085601d fc4084c5ff0012f0286e50511fb7ec8ea21db2b4 fc6109335be557c5901205ca25f129ea5418b2a8 fcf2c6fc7e522a9989fef69cd7e004f10ef5bd6d fd161e4262bd9c0e06f45181b3d5ecb1dd657c4e fd24b625cc2141113f0a9dac9833b5db73ee9c00 fd3678e17286d46fc356e8b71c095b59afdf7bdd fd7686a56a58e2d694330ffc2fd5fc1cf9a8b14f fe1b100e35d479047e872380ac4777e6d3f0ecd4 ff9c3c63b39b6b2d522813d09a745cac4ff544062ee05b04febff5122cbfa86f0d65aefa84089ad19285584e6b01559c0d58e0914ae9f26d49613422