SQLite format 3@ A- 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 e#d, //]HOL-Library:threads=2elapsed=294.391cpu=535.908gc=36.548factor=1.827zXZִF! t+]ŗXf1-%˓> ؽΒ$%`?D+l6 \಺pR5J^o+*kK:SkJnԃݗyun5./CO&߭jZzAZZVHZ[-0D~?SћrErquU;769*jFZ G n)Ň87Q sMpG?` &(2 . Lx/:Qs/P7L-R ;3{MZ…;̗ΰZ FЊg>yJ躹!{n["0K:+I\>ʂECK4H8Wӛ,Sדvw౶Tto|ܷݗX6ߪ6j\VGK>s]_Q;:9ڐ)x41#"S\uYt5zl}{r%TQ9=g261D=vvT;CzM~S|"bR)}I(eŰ@nJʤ(:yŁT>F*M3M=L>7 # HOL-Librarylzi0g@xa};^ֵ(ųCd:e8NӊS3QfMһ6oH M1n? Ԣc!Wj{tܢ:3WEqPޙ]#4 +48,2t|! 9fB2L|fӤۀY,:"Fva;A?Hd埈6|;?L+\ԵUQF* A鮺;g,ٔNjG^l8aRN ^&FVH<#2b_zP;d%kR7Af7ϯvm0tGTďȆ9 +#O$vߝ d fšׄ 6%N]Lz@cP-1Y`d8%T9)d;G\5;(|ta#7~WPЁ|W2Z*ZC3G{!i`=rd[l׏g=_HnohD:}'#w֝/3<Ѡvz~eq=,ؾYF  3w&\0~ )9nCr7 RYɆ6{eauvI!6~!&ZS+C +~ęv2ޔP3P+"xp͖^~;+Dʅ3&eVeR7kwB`_!}Wг9X,: ȥ 10m$۲rUFj@b}')3e`-p2KmCY  !ѪL̫_R r'fS,I %fٵ8mQ0m`$^|NT"D$%\FK:i@vZRlmT}tňZwY\ϸ?^1TJ)E"~Vnk'ZaDbZ@ J0a-HN[Pn~#'?1K^gP ŹƤ+.c:}.չ_Z017~NxS++# 3%LPm^q*H!J%x5Ua1oPyU`ԥsҊiYPbilZx̅[YUzxc 2syy00zF~E%Wai#|@L!D);5N 'uD4hXZE1L}Πm:(Pm>.jکvC0 bH=ºC:~R)ױdA޾hX]2\B#0YNϻ.L2!񭷀k#g]?!x =Aª>|6==f7Cӏ{u}7,N[Wvm $&qnd (K%*i}ߕ.K)2T83up[NRQl" r\@$!e uRGV֭$4G1/cʾ3-mۆ5~}PLֈ:WjјqG EiP:2mܾXӐV}QoI.F6~7߬4G q5$Ro"3rcpAR O.pnhg؅cb9۫ ]j),ƽ90[-Ю ҵQ)JMГ . 2>xhC+HDkw7pϾ0 32 ~fUr:_#KVQoƎz?-N$2{>=rX|N-'v=O{ވ~=mIה\Ivm5_Wbq#9j Aա37D<z[ۼ7V1{7V)3s-qܴJ N'b͛Wԝ{IsAnz'.&5- )pl|7[;7 "81fC=2FHMiЪ*PUw6jtEmJo dXq鶀8N *`q>AF'йI)Tv1;46?9RX}$l]IwٴyCnrOt8LFnjTqK*)qIF>s] 9ʭ7J RLhSc-[Vp(y}U 1#*5${=aL"Y>o[9wnMa:b yr 3Ӗ9%]r[wC>I}` .pfݨ97rO\A6fd p )8ykO N}`ݎމ#Zfƅ^^1 "(Kon86GDnwmh 4*vXW 0H6 t#|&pv.%7 C[9~F%\`T^P9(p!ĦQ'c61چPr\_ng i ;рhbJ (4 WM6On 9r-(댌RD ;, Բgs]l?  $tXo1 ڎ/7;ć:XF]蹽|8" =m H ' y/fZ~^|˅WWh}e=LaԺe>? vz#(hr@ C"zS$s B"?!2:,F,[UjA@ =eOE]D.x\{[[WYx$D*ۨZF6Šxz}@xuH(i0LlB= F]Vn:w Fu@(ϝkgcQ]+k M[O!2I:Xs77TWP?R3Iv5xZл7#QntEpvIsxB=rʉ%VN*A'JYsѰkM< Zx'$#-YWat(146)A1]t,ڸYmȢG,aQ+ q Ņchv1= ̨p8 Ƈ@.V9Jv=RM% UT]Tn1l񧊛rIlpq#LWv_O}дdfD3 w-" 04w~C^l q94l̔\!(.bDX}Ȣ # q@,E1"U{\ȧ\c!UlqoT68%an`k ޾b^9:PjAcťVwv@8:ƄQe;*}f&5*7}WP8ג<Y,^f&+2aeL_&ӾuѕjݢA l#rK2u9^I= 'su;G)K `}rdzGw4#}^0Va܈CA# "~z-6yhi^ V3G[KciItkm@C-(V޻#&;rQyXᜤb Ewgebb$vvWĘgk0/ s2\1iO $*0!*+W7R˦RaM\ 6^sQ6G"~5VUNvbJ^wH~ -&A|O9t^fbZyM"F,?b}mL&VhD+-(w oN)„%XK-5إq>^.g}CރCASnoB,/(:,Zzk$'=50[S*[W GTܸ2+2~~k9ħZJ8tApM}0J&k֘NYըJ.""Ydk⾹qsfs<^P--U$h2҆ ǂRK9%j6I4?X 5cbln_ w7#c7aUѐTJdC&q.M}p<=$bKo- tN~^9Dw_>?`[B lX?e)X 7UJѹ$}Rꊴ-c~>ٚ~)$~Z$#-R H4EqCX6!߆oykX0{knQBo[ɄlyqsȌΤ0ᎷcRRr-7a t9N΀F`ó<]dpq@Z XAeaoM@8VLя>tO<VyJ$+៷kðꪈO~կNx`jiם%Ҩ{>WfR>R $V;"Kfne ("YŨ:ۛ Pl9A^ 3una$iE).[>MU'; ?n~QR,NL  s;V |6cva N7T`Fvm #kJ`t7 *]KŽ!070ѫ~j| F~-1C|}*kBiHsC;Cl G^yQ&zEV9?;ʿͷK. N~^Y[Ǔ)٘y~"&I/QiW[1'`XfåjK06J6MC [a]IMlt\X 6҅y?hxϜ[ɂ 1f}h9XEg#vP1PRx_=:₨بG-ZU؋{'!&kK$ R{I0dRtn"h#pY(2NIt& > ^42‹t33(W1'Wb [nכ6Q8n[]$ bKb#!۩3NONM[[H!.!0/܃5S]gU\2pR9O޳6UU繌oljm|M˹0j EɃ7sflS$P n #U"$~؁M.fvYcYfzS獖[bȚת_?͜&`^9Ȏ q{xtH YϦͫ2kb%kᚌD a;g ?PLQ <=e[ž d XS@2<es`kM*H2ژp"{֍y(tǦ< tQďs8fIe!.(.zi 6V@~}Pc(>m>trTKB+e?lFwjk~;3q`bC_#No!֑l;Z: rzG*0nna$* {,J'E_쏱WlF~\Qs%8Mo_,ur&-E -w#7h3eѩ~{-"l=5 6kI/d EiΤ["{ĸG@ 7*"2ܓԚ*z%O݈gӱĜ രh| Xm Fݰg{XSep)~Hx r[PU߂|rs.miL{z;5=UB䕈fZ^ Wc l\:d{ǞKJ2v!Eʱ6̮ Lܐk^:|mOQYӂ B;#k/tRȾryD? t6b`' ॾkQG^qC&k$61Y .yEո.Zޤ6,uK6*( rjJ>6x+;?8T䓺eKdP*.cw-545R:zfdڬ.Ia1ҼUFOk XPdya)=ussO2I2j )JM1'=ߗy|:Re`!?!pg[넟=ᗓVx-cZrlqV9??U8r ,"gf꧂=6\I&Va##w׫_: 8!TGN3gq'6X *}!K{*Ξ`A|R_ -w&U=z 5dt,'bi">CAAb0XX6Ug~`q $C'l ?u{r?_8,*⪶gkA J'f*Mǖ&t+2ر Tc^)\ܺ+~<dHaÒ444u 3Y@׬6ٹiloE1c<(y &P »шruSQTYANKVz'U@|ݰ">.nLf]?#7KٚNtiҗǑ$eJGBƵ+eeWi( VG2GOe)Ï.͢$LBҩzFxwVnc}W/H5rTVؓRb=76͂)]4ͯ@Hv0h)kuGO3|z 34Rc+^|NyF<7:):7CdA缾l$ԅ0.2~p" $%ZDe@(֭DCܣKȲ[sQ_>L{a(\azXkxpT/,pdR[t4=cYGg^A$[Xb:쒓} `Ei_ ;~tF^ap3УUDn5Q[-zs*3y$cz)däw>a,^Xn}s.u\x$7QuI%Fy^Mlhp#P MAZq+b1+ț'}{tRNQ"@F؆6˄]|Y% XlC;ў+ZAA'> b+Fr@?R3jYV kHXb9`1>sl۳x ɨ9p|6:.IJ}ΨܦU ־Qߤw.W(dUa(LI9".U\qALvj?VV1V%d!Z̳~C,F rKkN O} 㮚xVRM#g^XΔ,_ uMB{ Cպ#aEms&5{azluC]kr&dag9D ͻ%.DҎk =NG(@-W5KVu9m2(-YO"8xY-WE5P?J'CHK/ Fa3{dFx2җ蝾 b݆-t۸#;r ҶXm:t^R^GSݼsMˋ^^C!󁽹8,T]/t|l>wojG؉vRQagl& ă $:aO]T܊=I*ެbbg`l))B[~,Qh+t{$Ӑ_e;dУ@w;'TS &U,0BA&Xȫ wPE~ՔݐX#`Wy0aLnD,-q* Nr̟pCdw}Gw9cPheZ8D8YQָ;Oo Tv[.M7&/U|*l 2=ky;>0 Aܔ^>.woqvKO#sEk%q"Ѝt? L.Ii0mȣhX/ 4'@LWY׌)*((ct9f6WF lrA,o 0ݠeъ\: q<q )("s ܢk[]Nqa )qEoi_=,RTdoRiM{QՀ+4~(E5" k`@08{{Vc)ӆz8)E@4t:Id b+X,cKn1=3=2.ס0J`7{%PtVxtVg\*2q)Ot9ĭav#nIHaB` U9 yjdoJ4iaop}XF%h?rݡL4=+C5Ŀ vdB$v_?+QژR!,_%CCm&\\SYQXTмbTf{>e+$SgMEVhӄ^<Eb' ʊICQ'7kf7m/\bխaВpWB-~o1՜; SRTw|EEA6-[NjL153--f.ަa2[:gSKdҁõϰz-yrᓬl3.3O5fVn*agW;}&qqDWYVִ¬ӵ :n+:50'SEro"viKh~}m ;5g@AudȔI5GIѲ܋a Y7k`BXg8o,;WC~HEcE E<4["+(Qh7<YPMMΕ(:lR.& הyJR θ3MSyP9~ _:b#(2*t@>f~%68qƍ(A?ш)Gav6UF S /!gLLCm?&w"eD=F\UNnqB76ɕu !qp4Se$D @V@"ꓐq {Be,ߓgYL\^4ZCt x[ (#zdzӍ]؍{_"Uu}^ǩj,j*ϓ@+gxDf({9_(g)Ǒ;+=3RWJN{Xq5=_{`2^ge8~b^P.Ȇ]Py4嫨С8L/ [kENfk8tE.h!J)Ųkړ*a/67De"ie<1E9ZJMLH泦)UZAL||=K} 6s|';0>=tHb9l pj B< ˦s` `s&qQxKK#tC_&/\L uL6Bi?Ƭ'[)r8u'5:x<"p`nL)鲖PJ*}~l:ϯ&vxʙb }Eߵev 9,2Q_.~4^1CMi.v(uU2ސ.C[5+PD/1&T>ZEKu᱄|!rZ_t餭{v1ɝ xp5s vv\ \rWQ]-aVo!Q gAWp+l爔[C-|O`jIc&mbt߱U` j|`vdۨR% 󼦗%u~r6χN#м6{$VD{?3אZ e<-kzg9n9BJ+D4nq&r) +_̫_X.J* 5ăS`<7k$RN @nQPQzX_% '{NgtLad*lL_9m@IW7.T?!I ` ^.B(X3k $0hxXJ5#Pl e ɟ(4Ye[73>HsXxM ̨(|s1HQCE@-*oZǮ‚1[S' z펌-VB<;?∱+LO)/IA[-h-&YБ[S +2ʥJ^{lpff'`^(֐iybO@r7抽8jQn~NZ}a(dxC~m#eSAdtks(tkm=ntD\ufh֤ ^BHgtڋ)ͥBK?Õ -'FSѸE҃ `j!1 zeT" 7!I8:f "MS0$%T+ '3tSs Z ]Ev#G-xA Ċ;iVWDHU7TlV|W4=Y8N)D* Տ;"UH/+8ZihG {ccWK`.?S'qx|opo>6.:ur1VkܣS~ǿ8A?ܬ@ɦ;Bfn8l˅+Sd#0^>=P'+;nXNPoufXN&|ۇt̽1b]tAk۴PiLn@DqIv3up骪9S52uZdEPf;g5> w7|hK>`"Mi>S*&7:8w)HiU1^LX0܈,i$pf-;t5\34O|"R^ A4^ ͚"%g0}`>?}gcUSZT(X5ؼ}٦G|[v1i&xP#I us;Ms|MdvlYտU C'UL80ߩURgny8w:~waGx"*cO Z(rW`-fsU*P "47Db>م?T+8U$R#w~Ѐp@n EBIDU_Zvn'Ƀ5O( *SJݺ :[="I&zzzu K3gBHOj7@ c;}=RL+Z%g蓲ΗZ ~%"gNo[wm,K9}[ Ŗ9(;h]y4 RXrJ>i/(:eU&'=<^u< le_ 1E8p}$tHܱ>DǵWd|/K)VBN y[nֹ8pZBeDh)+ (@t ,톱]Pk3g/{@Xo߾|yB [7'*՘10j9&L lk_nɽ) & /IE?"̒tVЭ^wF] Gv6MlSx;3^8I䭏>gF 6_ 8O Gt{?t_RgkB7I9hfƗP waT!2/"$G/$YhDڰi]3@6J&Z*5utrX!;QֶHA_ʍ;OP ﺇ.ѹVQDf x;c~c\ Q%,ϴQW.ЧnXWAѩv3Z2o0}$LB5ebfNu738#<~Ck(1drZ)Rcd"2!_-Q*8rz` *H(H?j"L<1B '"*NdZڛ[HzFiwLmNO54ңDktvFi\5*/\*V<|1X,`ཽjh-q??ա5^iI&f h(J RG.m)n7hz(L}hެ*/|tB~0=鞂a?LoS|:_qOI*uuhv!o6 %R'eq%ؖ;& @m-{Q@A5!sURhvϱx@r=XT)& 9b!5 st<6Y^ {O!9C5!.Ånkљeyщ52HqŐ`Q E{w1in%XեTfe)JJmzUx)UY7r&m=  !MG >CgH@d="ym Ն[ c׽]**$9o06W<l ^aH6ʞzVӗ5nbYOiXV%QJh e+Q$ovszMl0֟*Z[߄nNfӻ[zᆗׯgdeT:*QRւ.|teoJkj9wMp4! +>pxfQlI(*l>c;Y`AmA\/ZGkoO=bӎ^a /C7]J]1woC\e5iV]VreP <?XI=ʱ.UnZ{e 1?l=v~kD떼a|H(b~~uz fD#a!T ]Wީ'ECse$IQE>vB3Z_6Cy%g9R[wYqr jcO)}@d iPIr%}%T=V1*~UE dsy+;K3ߓ~>46"$ N>|$fd%{W'U!|D{5WAb3\ǖܲ Fj'wA2@O8$P{!;*˒NN1¾^Qȶަұ~C.)# jN1CBcB9$ J.(t}{c8&ek3QdJ<;nQjL/B3=`<|GaK\nАZǮ# ĄWu~x(}):.reaݱZMk01R-VD1.\E!_~Dqq3czwe ތay44LfaS7yxJCk=?SU/q "EeRׁwP6!NT]Ōӟ U!^]Ҫk%ʴ?+4Ƹ2;ؚgB;ke5|D*8WoLR^XOoo\XZR!#|59ԴKr-% |KTڞ*j 8=ݼjCCeNۉ\2b(zZKR7*#{":A T`9?Odo2;twWu7V)x!f}'u5R^J/:v0{:/-߯ǃ]&M(#if^ A fc enT 4OWvɖH2J F)YƭS δrBI c3 $MAk,TJlX_DdHѱ .^:EN?}E`+mܪݔMc%i`ƕ;k!i* Tb+#VpH @kYMD=wO^_r%"'K#||ޗRҟ-˿Pz^4x3Un8GƼ/|Sc t7XއTKYpjZ.+Y̨ѦWR.(4֙oBIC,ճ2$+BgX滙CĝHIzSp[`(,mFC-򩩒~Ag?v.^s1s@gicJg)Vnך ̄e^!V]&͟]\e16ij{gH࿽1@,goz=@V:3B̒vasY"hT:'Cz;p>򘵺hRh;| fͱA|!4N߭  5%4+"KQ>S{v:;l#G*$?1zUcSw7 y#l _ysoh96_')8ϖ?1P$9M95`=`4zdreG|[V0 1pDJ&>7)ovdQ"y(̋*$8RvwŜsۂ %8zM YFi6`FWN`HMQ~h\׭4J 9[tbV]֝e,yi5Kfngh}v7gt#رC>p:^ޑRyR+ZX6@(!h\\{ z95`?UWzd0_Pjdh3;Z\2f0 M&Eȥ%rQ?a,ܣ͑Ôޫ2xU;$Hqx+% q:Lk@rvHԍyЃ-iuHS8AkK:3s#39wjl}Z8dj(9Kf\YA$_{Z墥]z\̩5D.acvIIcP53íեgs3+9(ܿcH~W3Ы!,!ueyKbrdbͣÖFT"BY7BR%?^qQE(`Ȫ9(lAuFCTg| BұaPi0u }QXCO;=є^dIs*ؼ:&z $$:ڢ_vvTtB]qZ78/ r L'qN͂%u!}ea MwbBXZnMP.sbrR䣅&TGG=8c5wMf}H§Lf %#IvH'0IMIdIkP6l&>8GL0£Ebɛlz9HV((V!KcVhK[t! GݤDs)0q_/5y{wNV[dҭZw;JPmK=>c?-t7n'VLoP_Mdy+'&=#} >Vie*5_\ܪ)d$RZzi4}7W_삒,Μ?m ĽۉGkf 5?\%+d^Ňl|p@1b(XfAޤ0tN vp9^1 o+)b5 ;#cpyȹNr@8LsG1H#<ݥ&E@^:͆7X("_;V^+1{Kc\G0 fVKB8i,q~ nYB}>"&5ZN2)Vzis4eKq}F% s:*gty@Zg.uM5R*E_={FF鳄%O|JNkr_h%/)_Mz^&U,Ns*|ìA.m7O,5v2rV]J#B8by͛Ϝt -ʌ껍hm^i77wrk`*9Dz6'U9X Je7 %닔ʓ $OaFۅQtQ5f Rkja˜9ˉm&GN׎ BerH\έ^ twŝ;Boc1}\AM'm-r,)!mv^Ӌ-P#,fw?; E-qPT&P}Ӕ|,Em_#5+]B+̸x{!k&:k`%w fnߥ_RG]tܗJAH4'uGI/8r;eE1Q"l% 3[`ǖ.b GUpO|PjIieE%z|br||d c5\C 8+ 6Ŷ ڐ%AM65TfFO-?2Ug[U,],<|aysEKSSyp2uztW>{ĂL]7XقJ FuOIM46T[9*1UO$F'ckO%}VS,̡jÿXnj !:o$;+CBᚺOpң̫Eh_Zxݐ W1s)6@#lvNBC 62v?iZ+ —4kczEp)]4riF<Fb>J_vjwd g0-e1<`bƇLwߧw1h9<ؽqc:)<_x#TQP˸re')lyyDZ a498s9,³}v}(͜?IRkɘ؃tYK{.Pgfi-J"U hMy i%z*:yF7AzZ%QB;u!-`N uG5$Vk#b'#FN}8r6z3 3?R M.&=xMY+di79,E :9LCi?`H K \[J@f{΍zj+/CshyąR|1Q4Hp^K5G~ĉ'LcwݭV kr1Tc}%ff3 _ _uˏǔy)pNQGɥ `@N<0$\Щ%;T9"8|: P'GJw ((붷I=BÁ8*go4-27#Ѩ0q¾}P;:\0 2:"!c J=[q;> A@QBcBkUO}O,gc!ޑPkl1t1_)t,, ,m)d|{5߳ޝ^B k&>(D4 }إ}RXbw.m|RF@U 4e5&X"Hbzpc\(zAl6/K?V-j!]7yI`a/J:l3]i1TQ"mg*l߅oB\y;ߑgچA׸$+9]#6PřJ!*EA$dB(:`#fHlOzD5o[?z}m}:~߾A7KgƔ%g\K\[操VTcN;!(9"eహhmƎuo7_7٤HF6+bZ"6wZ[ Y /\`SUR}yw/Ռ%&I<{?ڟ :G}jY[,DsPGT<̤^ tO<iz:eg8|"cjDg8`} ?VWEK/:AW=}_u;B7''t>sQly^]oeHaa2!G1 QX瞹 x/5q 0pJ=(u%3+p^mIO/Y-rn|e5RNA xy;;hh.1_ͥz:Ho{*j#݊{02~NyWScP$^s-%}zmѧ&:#f~)1]^Ƽz&3g%DI3|IDTH ;~JipĿ0,Jah"c?r΂jD(N7rgo )ʭ!D 9Z*?&d3Ix7y`LDɊ8_=(`Kѵm~u$Nˋs4SACs:](>=`ʽ;cW0=X֔ʕ PA ` ElIݳZEU_3T}osR0l8mޒ 42rB+YF-(.d/=@dS~H^xčKE#S _HK>մ\ \F}lўdYJM,J>AREe'rTBQU=m#OHP'W(ײJ;,'6SBbv:g5}FfAoGȮLn@e=j*q2ҳ/:$T@v ,'sYc/# osez_T穓hjrk{k`!{b͵~9`r$\ jEC ̦M\A@#!c'&'ª*wE *hHcG#eQ$kzўuYmˁԮ`i 5u]G ĶL2^+-, c8d/0U)Ƚ~pj4N>W{صNc r&/ޗ ^fŴkՄxG_9يz6-Y@y>!`mk'ҠzQwYWWѦ?ѡ;<9 x{h^)8ö ;5*gпr1K?; BA Ĩ4FO #'QοVwx}gx+<~uf () |*9{zGM&%ݎ G{C#T='s, ƏvaW\Cv,G&q385#X~+hUS=GX{QdH5cKKΈ\Xr#7~PuI[/m;DŽ +AJ~N%"PÐBX@Pc![+:΢X ӳtļgc^FmKMg% o//SOl_BC9{ 6\mnRP*Xi$Dkݵ;cp)"d<7{%o=4hvrfן9^7L7kc4̢(6Ÿp{(pe;N!rұwG&WN-G[ͮ U$6O(b:tWVeG8LF^B.R݌H%+"@ ;|@%VQӨ"5쩮orkaYgGDH@6לJm* SrB#vs &<:'/]<-Rc< $!͎YO˽^gfrۮ̥C_ +[4$kޜ6\o>(ovc>4AoAN̥{Nwv͊v^N1G)]EkRZXcɈZ@8܃!]fumcJ]ފ%d4bRmuu#듅`]4e0"qw28e!0̓oULηA}?-Cr,_H 9?S{I&\k @^BVh$>'+cʇ *2RJ&-+f) [%rCͨhMLܻ2 gy ?{!!)PĤe5FFm—J: hY-Ңh}OeԄg*0NRX`h]/ݼS\ߺ7[eGFw}&], BkpJXYc= qnrdKtËɍOM?DqD-WjώM5A-d0;ў9{xxy4> [p]p3~40y } AØI\>ί#ae&ِMN#l5]'UeV#9UQ/oq8LrUSiF塝zD, hMqG ^bPPiXES.܎z V22VhAkv(SQ)l"]sjFu{nc$ 1Q5NY ?SP T{jAP7{ Č u05RF[#Dj\p:nk~Uă߬ڻR6#/Uטl]r(5fV,Ʊq(1mEGq3e+e f+p[8ECOLq}g(Zp^0X 3L9`Njiay[H? ~ж1hiL?߃%3k ҷpEXs<׀IRmk =O(-'1r%n4ϑSCJ]$A7rశW+AxlCa00y8aPUXإDfkҍ{c͏/e"N :zN'}ԅ-᦯[ӆGzTZ?)M71I`9Gj 00iYG{{={.}`ཚetSUh?I\C*_#kBQE} @zk2o!QL_) U4?E6+$U*B4z rNf0kϓ~0+Gy&6 2$.lrlmiq0`'p֮f)6W`FX Oo|ӎѰTI-"g;s};-1xv+Q0Ux1ˊURT;PO *.8)zuL 3ƿ($4N u:||]+]KcZ7{t&xǓÁJC1i˺ L=e{9"2$AvKZ}Ӛc%AɱgFKeᲲ6qP#tRNS#:)fog]~|jY %YtFX"I3jt𿐹e5R}X[-==*c沵?դ˗ DKjr^4G:o\3@0sx844>-.XWn'kN,"KϤ39h|Ѳ+pm6K d35M6Vc\O;(3U8YӭAN=`tD 0yI:l@䑴zB ıwHGZt4@ДSdP ehǘ#ʙ?]>*{`!Gc=JӄiίIDJt|ή\p@`mDU[jlQ[vn'z>]74+Eb5NskZVYz3e7_sԖT7T%˒dN))r3~$5P {OAOAoH}ɴe& K&@1uN^> %C]>!wlv.v!"_ZΕǤi|- [l"%2`jgp!ɂNnܩǔ{$}RAA1X_~1$jWgO >^ʐ" 6E2J) $?9^INEkYesヸ3d)*yg&W14TtPT3; (`9!QwI7HP+KcԊ6T)(d+%xS4-&^ p;ߒ'b j3Ɉq!Uhs맏D`Tmql 6-D9w1_4o|sT]i :ac% ]l hCT 9VH-.{MRz*x۪J˧8]1 Ay#6WD.ۃ;ʪeisXp1YR"9+g@E=Vs Dzq$+n{"k++_6Xq dIX҈gw3 kb [^ʜ.7?)ˤPhDNN%p!؛M@p]-]PeJZvĵe(; ЯXow DØ@mzҔh{D'.袦y!_* QXr/c-U\gxo_=mءw\֑r|-DyRrT@ƶ}WGQhDqaП1q5Y'F͟pE孑I}1Wb5iYA4w7ʵ׾. nW,њHm- ɲ1]ߊq7k=XY(U *l %ΩS`X5U} ?bG.]3&zNluO'(iOi΂ QN[}l t2hJf#Ee[˥NuqrUڗș,1"˰Hxuh˟lT!dG v&R;Dzk q̻[j%2>ڨItjXE$9`Owt8Z> 7GN{etZRGsxd|N5may$|Ŧp4:ޓ)8'4U})8HfcDhR3VgǢoļ.Ʀa6.7&` b@W^c#KKX|%"yw$ms s`VƹbjWw%^k] 4Q پH7TgkɶE8}`bWWVٿ b/ּ)5;NƓS<5iYOv_cvXgɃ`p R#q֞Q+zU>8HDȭ_kc[bvu >8/fo c}dRǛ~JSoɝם}9$Cfߑ5 եls@?TnspґqI}rI<@2+ߓwCVfb͑jI+ܪj҃$J @Z]&kOp:;U =Ň.`R)uz 2v$Oʹ垤5o#Ilnd`HzH{s-!"f;|<4]ֶK|[n\dKo{ߐدͫ:QCx]-`1& w,>`Ɖ+5Bpn} >|Lnf<5OP֛v3T*1ZzPPsG71!*Üv5Z$z X_GXe/o.If۬s檋zc @nH^>L(FH3+/ʞR7ApnZP{%#-4|t ; Ȝ" ѻ( [m{ⅣtLw l؅~BW(Ҁ[ON31aIeT»r{`*ZZIKm:2N]E3F.Dv%1O uL9Fex$Z PB//z߲f^ؒ]B mn$CQ3EϮQ*C TNquBC-9s֔f|?®hGʍmC+St+Ŏ ׃Y>r`ЪZ6]ƫ\/px- 1u8*iJvsNOd^&{#C4#d\ gi'#nly _.ª#419`Mb]ݧہnx>D8jb4V{fz/j7J kRN v{ӸE@Z`T9Ql:/4m5r.mE>PeGUn@wF;×\OSQ$&m4[ZѦI3ݍk.ae"{r:lk[5O3^Dk98KeW |{Y۽n9Pz?v-LK(F!2<0pV_MU!ٕzS^0;>. ]fOm[&u99[JɐgL`M/y,RNۛB^jSlآ.٥q6^Z⠃RXuM, +IoAr4r+v'hnh ۩kBωS# CuRw,0 mN^^D#J܀Wqb un3?chŁ1Ô0M$#_KR~CR{?\EFH_[$fI9 (WBK| (kvUJmuTZ9(¶7/:cU]9~~=@1p0C )!Nj++Z8Yۡ!m sΨsdߴGtkp~Q:˟J;,Yx' EΉA$#Kz/ uV9[:I<-z0Kk abs9[׃+z`0Wpɒ٨n,.kpKNdQ#ptd\p$ ~׃xBBxT?3̈JaJ#b́~'>Je| -˓qdL;`R4&@Whb.*NMְhZS1^zWTy}ym R2˝Mʸ% b<{3kmE`\Mu7#Rbud`TE }}q(A2߼}IP~ 'i͘{E. snKN}Cx,x~P[n\bU QU,: Όlm k/]>Bq鰒X?F}5@ĕ%ȯB%k W{lS#>oо3EQSCMK1FN!!I.f%A`m~W΂w ܯ#A'TtV[6@=l,΢-!vс[}~,UdB3<$-;#:I/TӃɜ> !FP4}3d@;@!|M1CKް.0C>t, V;Ǟ ;gYZ7zXZִF! 2JP]ŗXi%:Q>/"#{~ѓq.thꓲɒdw_l7x0Rn_~b;w!@"G@=Z dMQ9W$uD.]K$B9gA+rʬfy-|Bh1 bucז+"_[]Ȑ]Г s+'a,1ӞSTˮ'0!Uڸ B_T*P`;S.9ڊH!Mzo{ b{(Ԓk!6G)T+HdDr?w[C$~['%1;1[bcڶ2ןbn߰e KoORhd>.W3P&n< AЈ>=XIMQo؇1=^ko+D$FA>Vwi.Za=,we!CV5VPe|U> 'M}5_^c> ^hKit1xa2A8^z_nhfLn^nBx1L;_*o[>5OPXKtT,@/RQN:'t)V|u}. dS'ҹw>? )q̣n.w/n%Î-R·tk ӡjPTp RtbNϫm9qg:M@l9Pt9Vo4AN){ Wu9`GVyg|Q!s,pB[&^taVpp9@lXzV$}`߈r)®0Kt0A\aҿw9r BV7T<qͬr):GyK/{È*IYФ*wM4PQiVpf ~ 9<'Q!n!0ʻlH\=ce-<̓Ĉ}EȾᇮ,4`WJU~dnM><煫1)&^ܞYm?5=HQ)2abMHB^E-E$3r4W4 }ɵ픲ʪAT8IvioݼPHsXi?6[B 3/ I|˿rԝ+!ʔGmWš ּUv~}MP6s] fԹinfSwt|< = Uׁ6EiSp puc5rI[08IHvbd8{-$ͧ>4b/>&"ΆS6i/Pa.n 7 / n_J5zMV +LSp 춵8f)4wZz3kX@*gpM2zNh-&!VMӭҫs)EBWg7nn|Zsy7eC&]PxRn$/_)kk#bepm[E,uy^ahP#e7<ndƻ JTC{dH_x\r/ږP7޼H/5;ޤ!YT)XbADGzX}ϳ旨 B:R\H*_{E_Lm⦭wKf.hiV@sm1˽=F&.J[sW)yd5q'9jSchڮ3&=qS&rE5+ uLγU?nw[G o6|}Uj)[4,@ R-FVH:>,i,crM:4 ,A*sjaDYVwRgPI$0L Awق~FD4`G:בn=Bwi\<(6nxU.-ɓ駧È8ʌ@g3 s`wRSO62jX"o=S .[㠖XDŽGUۣ|☍˹%Hh{}T9K%Mcʚq =36-̄?|4[j[LF18_fP3J)x́'4'/ a nY=StӨǟ>'\C2fck(3!#an艴֣ 48dkK)YSNWUt5Y ngsWֻX69$y7يq,#59 ?aY Id{{ԛ>7M2.ECwM{MwSM"z>_ rUm3"v}Ȯ c|NsbܰtJ,0j.PQ?[K;UG L(Uu1uVzK;r1=Yn~S#E->Tw6K5PݰXCpt< 趢K)ʵ̗,.7S)m_6B_ES![+"?I `&.̛oÛI^MR_7D(7 ] ԐiԖ='c!]zVUdHltz؄lI· ?pU>G^|g^J2zth˨C} q6fKjz=`]QV4^ $$)kݶâ6#:[J~* b _|s,HުHjXɥ( Q7`w䊝zZ+]pzSLVRN)̲^dʬ,qiX}IyI,M}M= M+ϡc?ʔ(Tr}x,rW 㶈c%3KVSqt҅㳩HΥPp,[ݸSbދ\pbdjb0b6)MJ7('wl )%Ew 'NB&]ꅥG By)' 1د&#|ilmr^9%)N (R%R:@6B 6+%):Ƒ [ӣcβ\}nUߋ:丙w=dekHTcb_E^y6]^6nU!h %_ø2~Ň=%E [Mfhu 援nW7c^ 1(qkuhX]}i_qcCX F9F84EJe@hߧgtrEn3w:T2oi)~$@%5oEh ot0̝ulWn3 ,OEBB)7w(ȃ[%N{FLM!f6+SB0ڛ"餕+NAԉH'Ҧܜ rV g$whL_e>D(_iˤY@IjNj_6ʻ9K<8؃pxIKlalK',Wl}gˊK_%aX/F0!x=d $?f 'ȚPg@PCFZW.Hy7ɰbp mt}UyͼpVb;E]%OAMۮ(7Qt҅ K5+%o!7/ha[!#zT[uǣ3~W(CE+ʤ-چUzga6gObI[=mBm kOTEio{`4@GJ2#eSS_4øu 5Q*`8QsfL.HLDnT蹷 %#m( A5VA,y< T_44дq ZLm[lPw,"5 uBwP0b6mψt~KOVa\m^!xn1 i#狁ͯdhC%@H0ѬQMXSt 9u0@کH`72gFw`<"cuyjtu4KIyuynb (ڨiNA^F.MH,^vI&1U1oQZhU {N);>_%@WaY$ba-Oz/` OQlzDBu]$p%i8ݮ6$9?Q1 ,L !{c=[Ğ"L{>׬pz Yc|=&LV*z4k3xuہ;L;;ƶמNzy.-eE_DŴ;I~K3!:2[6UntuWB] ԁp`T ,6,v_RwfUz%1m}l8`Q#R"Bpxr ťgo#?tj >u^\Ȫ*EU6r*-QhXkjq`d溟Y%i 3PXnB]?2]0m-\\޿LϏQ͊^xQ׵z^2j'ދf2R |jP_A=?I#ck;j,?uGijxE6b飸(9Fx!{q65+z;PI CId`nRK= Ǐ|oQT۪g̎Z @4[р&_K<a>)FЦ Gp^VvG|ڬ-#x{=d0Q!a~(`f@b'پ`# PJ?Y*td3l.i9c/5UBi8ifwW'j@1ڄw =qfW]V60\J`"񔦆pznZ =׎E@(`WmFpM~q|UzrpϜ\\z=3O<.a"xCô {e"Rmo6+DT7qyFR}ێRoF)X<ԷCE\N}y+ V}:c4]@=iK+}'bሪjY|WK@s(eB9hyfU, l3W9/G>'4Vy;Wâ: +&]*J(3hņ~ʴTF}f5 ȥq,+x]T㪖Qy9>Z I2d>iEmv*^b#cVl)T[3xy8uVעӼ ]TI67& 왐|;<KD\&?mM7-+}\x:)8bװ܄n?a⟄=Iߧy冗EלFcצJs<07u6 yxqިGHw#S'I~aAYo @1s/F =-vYpL61rLZB񀭔+]4rka9X)Xގ|7hgEvCխK=S_kB}aB8G z0F `]Zi18݉D5Gg_ў5.@3%v]{$ZV5@tD(ϝ¥x[t ti >h _ejKa`{3i",03 lus/ạ̄tȮTTR]xȉW{.GHZ èʞCrP$QDXy_ueŒ7##xeBg;)rexmOJMQ~4'PQuK)ҭ3Rg0gWHv&C ȋy,MiB0:Yh <MڨEnA5Ckx mtT]e/Ra(h ʃ ki5 [J9* (‡l#By?vOjȧ{^xT$`ic૗9ίй_!oj>y< dZb%+;F ɝG"`ipJ@[ ֻE %il2m /Shُtdv%ZO3iO!V@;/m`GLB :aN%r"ӆ+ZZ؋K[lWv헅|}ÇljlB #OFa-~bA.㄀h0J*40Ԕ /^  J[esk<^(IUͲP_ۻv/5a m&.@Jf29GjԄ7d-3z\K>Nu+Px SKlurQFHO!!U{rI~ٳCjchODP\#8; V]Lzܾ ! Lܖ(BrG&-+76]Kj62B`Lkk` / :J9(I~<%DV]LkDzw_JH5:a|5{Bv{7\i?B eRfKoh·YX[b٧?ZԠjF͎XxߩLr;mKPZU񫶕GWP5J*hFei'>]я=Ok P}I]vs^ FN'߬CAx3Ү'gd$ŵ@*+B\ɲ *;uTQ]e,0V~ $2fp1}@U?qskS7b,f ɾ5&s$?JXKN`Yk"}Ԛqisb H79 `o9 q_7o0cKpGؖpﲛ-f=f] %Zj|3x3uX5viN2da$ mdd-j\è5I. DD9pG Wm-%;qS8)2.a˄Q? G2DGSDGZ?%_"b[gւM`FВ_Y.սmj}inNB /хƵ QK@;7:EȨjΗ3)No2MƿB{3Lc|/@%^ur֦E BS?a!op%9xՠzj5Q>j"/PJH_A;{r5}Lef=-A:GN~V z:5lu &T8p$hccq0}!ݙ'ɍZ_R)Y|`{s**2_NLuY/$[qKx<[pxej g, RJ(ma"}3ֽ"mAkU>Yrz&_f6p[]" bIVY#rP–G/Mvb(xkP7$PdI<['Py?*7^lDgH-S=aUs):'lד&w3Ffƒ$Z/umlxpA̿\޹dҤFq,j䆭*$r!iUW- ңLfYqLbAӯTl#Am Xo'[W=s/z,NH0/Ͱü[秢șմ%ZiH m<$8c B)'SanB˗gٳ6w"Sk8N~Wy :9.HFp{='hы[nsO|;|TcFoγ\Ԉ=Ԡqʬ vlNmQIrމFVMEu>۞KG 34:iL3Do.n$F:m3^Iԇ{`Qs`_XQsàYo>͎;e&/Ab Gkl6*NrmqBfv[-$/}cЋn;ߞMxu9_̬g+0/=l=f VdV}wpyx5u(ODp( W1 ȁ6oѝQ(K`WRY;TML E>SxNm+ɤPj!+fm źE',-UBGW|p;Wv{^K_Buԩd \DjR); iFs4Tq-z"+Ѩ9xݥlLE8\f$OmG939+fMtH&T`yo:LuA-X*VQafڒoBIz-/B OjMKbf#Oc&@۞?ǐԝ"R-)NFBi LذshHC{SBH߆eJż 3vWLV6kzWYA/LUC*@_#8%L&:xSxB88ij6o\L?>4d-Mn$0*ZFE?Bs.b5C˺Q"PG3\aB2/.Ns=c$_m[ynYeџ=ftG=ny2qh́A'ii]7Qu9"J}%]acd@5RX4HR_ jhPESed(Cϰqfgo3BHؖBә,1I1u\eVrǧRn#mÎKG@524E\._R0w #pxdؿ(bC{: /L ?;n̈́~?/Lz yL1 <3l#ϸ݉ղ*O?g8b<ڝ ZA[DޗCB>Dh.3mc׌;7Z%U FAy Ф:1brF2jTS ֭W^34*0+_+7Q>e#{HfT;Ѧ 8 5J'1RfXʺ.#տX߫5Ҭ}\8OߵR`{b E9fk X EFG2zQjv*S#0Ss}ܝ4^i3Ϊw>@U;ZtXAaUn͛.>p>2SB0>o[HԉXBd Jur?..ܶx/6h>rui%>~k\ 0ܘAa28PQXDTeFGs]O%O!W޽|9Cg3QLmc%x膨X jz[.ȼp${f ʹ0O9nN<GV,VJDW8`6dLDG^}ʹp=¤7RNc$=cm\଄VH\ހޚbsow.>i1QIA#x:}:dzUCt_0Ӻ'bG+n2ߋ_Јų@Aumό*=Ze iKkert\mlA8U`\Z&,]UVU޷7tia (stKTKqY!grn"5)]VEifðU$lrlT)t}@S4{t̋UM#= |~/ށu͉P47 t.+(A;r2yQR *yyI,T_LpaB5\kId5wMv۰8!k1v l.&BzH\%o~n8*#frHgJK{\V}oGr 'V_O7qh$Wzb~VqB%N3F ?{"zD׽IH@6W"ZRfcrU tPhVb8'$*䨧OR(7S TPP] K TQ51nEf.< h -xq6& ʬ ^́lEǥw ANa&RFp9 R -nJ<i2 )-7~]dU+rXdp[TN-}*iptC<\G+6QTqqF!5 e&\OK$&Dj he#OH9 <"y!Gg 2?߾ O— +c؍ % npIav9΀\x$=P9oS3~tM&$qIu}@Z[48V`(xrոdz̯TZj+Vw]*ր͟W/u;d픽 끡ީu&M3Gin*!H^w\ vOHPApa<}P/(M1 =~o /֬,ӺϤiot; ~F輱}6 pBJA)x2PQqІҭˈ,/&CΊٷڸdDmM i+< z ꀠ@~p;žRMtPiP.,: ZPך?ֵakנ Ks@"+x:UjYn3m}?Gzl#Ȯ {q?*ᜫmoe@ڄ?U9hwSyV1,6U0vqK7l\DyVgqi@!5B*ݤ,(an0zy?X,f|~aoͷ!%m+>\)*}MQv- g(.\7y %Je*ŜIdW; \-ۛӻ50He.'x^BX[6-E1в3dT!9_k.&{j,x nփ8h5DJG+4 A_*8C:Pm&Y3?7?4xdq6\sGꉣs8*"6 WHF Wxp#U̗LiPd+c<ٟ8%*dQ,= >Y) 6Pi~n=mHz?l1m~<)$7HCod飷JS1J3HVAv օ? &PÔm.9JP1@H83͟^7=g1sf˾i)ѵXeR܍;BY6,[Ռ-w; /yQyu.Brs5,yFլ)@\ _GN8fTbIɈцVaGaX%ls `?f sE(U|c9lGx+՟B.;+ӮpZqwKB}h+R8eJC= fp0p  ܧ%Qè+3 ʰ&euDT391*i-ΈDl,'*[`{0]_ySRSn:IլonD^*GΝv\PԄxG17$V"G73–&ݦ!A!ݚK7 1&vq?+Bl=]wL9k%m,p;@9pfhe!zYȨb yѫ˿X'ζé}@:KNTO('0E6wG\5&e{H'WD^fH>-8gGG$]i?f)Yݏ_Kd,]<~y8]ȕ:BL Y2 `z=v{zop i Ot)ޏv zE?찉Ƅ`hBv ?4G1GA}qx%j ?66Kteֱ2`]YO `R<%?<=0!W#qsm1 Tbcx*qNGCxI:5-V%U"~CA{VrhT6}ß}!!9Tv5$iwkm]SX=8{j8ly%kW_$IӅ~cp;j{K@ۣ ~'mIa>2j jv9$~ Pyst VX8 xz\)BFY Ë=h萉R>X,֗nhXhfB*E33e:w|ξ,?T2?'ŬOx.T105&qWn7@)K?AA9-OwGu<,I03](?ߵK oLZpdW< c ֍b{ `cb^aͱFz*H^)5t|9&EB 8gJqvdX%^Wmt}Y6hawq塭yI^ą{DHjEr@ YzUQ]L30uw-qvC| qHbp!w(\xWqF6VC:HN*?e$VޓiWo{JI ZȘ4\+"}VdWPCqF>,w$fráaAr -ud=t`KɖO-@hhLX(a!_!< Iiʸp8"X"b0='VKfP1f ?F$C*.h7a.YnL%w`BЉ_<4ZCZ$?_4Tvu7&x6dWGeMc7`$=69o 4K5 ShI*kr $m|b'-541LS]N-]F]iELlĖ[Ya؂57S|uFT'? ^ȲV`D+WB<5h>Ɇˀs)C>ǼS]%UR޶BP ۑ(ڒ ̥fQ~Rc)+/R֚:UՁTw*㷯IZuߟT i%B71cHvL10WA܈lKo܇]{QyPǽ{wIqXiD Ϗ+!48]?5 jo5]88KK:Cܠ!pm)fM>=?=/D:Yۏ;#v'.VGRT B< Y86 V`AyrZn;{!ì:[bq2kՊi?/0KD%)[Dg+T1#PrήuYIҭ qyNeC5’g{$yS:=94ðcnZ X=./X &WC_2Ә`yO=*Va |Le\Ymޗh!weiX֠j+"IO(:]KAz4YS $IfΰR%WbKi}||@bbXfTI"/ sY(Ӑ! }D/H:/\&RZ-Q -_BJlIDϷcxV-D"]"׊Zf9 rۃւ(*77806670fdb6d4c2f2 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 5bf1a05091bf9a3d807c8f8599d36ea11552e4f6 5d38954f05393bc231026d2f825c35df031ddf2c 5efbd0ad50d06040cd115e75bf7b2ad5a13499f6 5f0797493503d8a4a2365f9c8eec899c63baefe7 5f3249c9a2080df051ec979e03e69f7b6c37b568 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 653024aec52636c69e6200375f80fae0762cf860 66f16d27141517a2ac9c7660fad826f8abd4ca4c 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 69b4d87e9cab0b856337e17afce32c08395ac7ff 6a1b07b082500f00f6c3b1326fbbeedb536bae44 6bf0898dedea553cd37c7a7c3bba205f49e9ec75 6f420238bf0d32eb75d3d1fff489d20e39fadd69 708656844843d392e34bef45e67dba7b654a2098 70e33af90bc8cad54cfda6c5fab6010b0966bbdf 720ac04f33ddc2813d1275c854e6768f8d752240 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 782d014363b2cb6d25f5a6d8bf061ce53b2f6108 78cb8577249400827782b6229792405d6012d1bb 7a0c90a2b96c228a5714395715720c669ab3a8db 7bdc86c0ab88ed1a1003581f54f0e2dccf7e177d 7dc2df46df8831ffb92a537208b1ddb139f3e611 82fce86746f9061205d625fb926c1da3b71e3bc1 852c4b663a8d439db?afab771fff6222b134f0cbe 87d60a8cde79d1da78432f8c75736aa52ceceeb0 8953a4d1701b97d3c0ae278b7da4fa122dcba41f 8983b274ca224430b729c36804a982dba8c23ce7 8af8e8dca5760e5974692685665ebb3ad5065ffd 8c05e777f775216571b1c3b4c57be1a789ebc0ce 8d31800ff14de35d275f6635e9c6d24becf4c94e 8d4b7a57a82d192a875a7154dec81902f9c0a221 8deffa144459ad2a2c0a9e8b65b3a556e35fc44a 8ebd2a5a70614ce4e9229427fb522b89f8c795be 90dd23764865c420baea02c03390be6be9f12060 90ff698af5fd387a97be2cd9aef54da59afd9e1d 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 96065b30c9db112cf55bcbe78af20aeee6033380 962e47aa332c8804c7b150e59b0d93cdd566fffe 977f3bc872f2fb41026333970ce3a27464ea90af 97b0687b0f666b4854bc0c37842673e1222c835e 9818d710c9677d6778e9bc3d98f832f07ecd9f17 98e56112c94ef1e4b2b588c91ee96072cbda4b3d 994e906601e17310bff00be21ae5e216ebc52992 99a313f1db1e1572443b88b26b1db53bf14520a4 99b7028eb5c82e14711845a2a2d7ec04a8bac2a7 9b1f321658f3646bbc6f985f388fc2b2e09cd4db 9b6affb3d8b7d65bf9ce5de2a6c590f279758e5f 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9f5a1d47baa1@e8130643472014f743e8cc433c5e 9f82d4e53459f814981e858cec3d927c6169fcd3 a018ccee840a7e692b2ad38c4bb1855ae9ff8fdf a139ead04db153f701d169eb4d578c1b658baed5 a1da0d468cd58a6c7734aacde65c8c355b118b78 a438efea6288f9f4f15f7d643bb504a34d38c343 a47109356e1f0d349f2a2777a5a6f25f3d257dd8 a5aa7731f40fb1fc6b0dab90fa83672eb0deb1cb a60fa1dcc39efd8f2ac95d4868c523d85ba629be a6a608e8a2758914b324f32c16b43ac033b6aa11 a9d5ad43ec6f86c94c776f5fec4964604cea28d3 ad3e0430353cf9dd719486ae796d190d5e13f04d af30365ff3a438ca9aea96084873f897df63eafc b004bec88faa3c7d786fcf116279519116b87a63 b305ff9e53408abc3ee43b941582317d8befea50 b319d76f815a4ca5362afe46af6873f3072b5661 b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b9c5555005d2457d66592f71382507c4831b3f89 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d be00e13b4e6e1b0ed783a26bba3f25101fff5cce bea63528c5ae9662bfe55afce882d1f0fb32c3a1 c31b749ef7e5a54b10df1578930b426deb44ab30 c37876be52d86327aefea334e036dbb1ae3042ed c4048385e4709355e63517fd6ffc40d6567c024b c57202b4ffe9ff1ecbad147d413f3de8e9e5d302 c583c2cAe31119315ddf1817b5637d75352e6b2ff c5a41e8cf87fcfe8045c82d317bba26e6e1f3fff c6595eb84f7f5b6ff8cf51591a134ede1855866a c6da4b0a43d4dc7b5a7ce5f24792432d2532c64e cc49f191a1330d1b26b2caf92f0c6cf8b98224cf cca035523dddb33f6c1096c40433b20f796d9748 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 cfcc5bfeda4585007e90d8146a51467d254bf65b d14245488f773ce049ba50b4fa478a906cb80044 d4855f725d82c483ed73690526c1da5b0ea2665d d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d4a7c808b5209d986d7d6f6b5f43b3451099554d d590558ac27bd56791168a8179e1e46d592628cd d6679543f1c198c73fcd4aeeecf0425b350f0f0f d7d6ac5a68cd81a8e80b54128cf50638a91014f2 d9e06f568255b38fb2df0f11621e3bfd8040de89 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dcc916cd327a9b789361b9ba14c3a69c848a9faa dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 ddeafb789ceecf6113f05c3fd39d4483efff0627 e16dd81c25115952353dc50e98ef8842c8109688 e21dbaf449637eb9161af006cbc8f4faf91e00f5 e23824c3449cb1ef1350bf95f566d829ae0845c8 e3c438bd503158372dc2be23c689a43bfe275b03 e7875e88e02b7c55026c870d43c5fc20358e8913 e8a1bd85ead6fde188da5487fdb80d51ac0a8d58 e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f ea2803e6ad062cad8ab0bf6f40be7356c48a14ad ea487692239b63c714b16edc44acedef890cd258 ec2e32f7118a1d1dc54d9c254cd254eb1ddca842 ef32be09f54c578eef6f0845f1813d69bbaee989 ef40401f3a043564ef98ad47a005835f0fadf83b efbf5d6d489574b2f406c38c146ab75b571d4d02 f0610488112554b76bb6a1db388691b3d2679452 f0fce7eeae1ffa41a6f0691e21062958b47031cc f212cb99f8e549a05f2f4735ee2e4e2bbb22ed4c f26570c2fa8d9f04360d355e52e0bcc6fdb1b830 f493435b6691328e8cf3b4fceee65767841c21bd f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f85597fa8a6240d49b441b7b75ed4b2c25077f66 f88daa896cf9596d61108fbdde4b336046d0ee13 f9981decc4f3e052d9bdcd615e83cee4a6c1386b f9ad8b0e4dc237bddb1a7187abcb79226fec1f90 fc7344ff3b0e3dfee6086e358daf3f162204296e878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b284245774347d6b35213cade348daff365b338f4a554a12