SQLite format 3@ .  YYQ77Atableisabelle_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, "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   =%l4 %S]HOL-Analysis:threads=2elapsed=715.189cpu=1223.896gc=77.568factor=1.717zXZִF! f<]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍLp-J\b:/{եV}(lιg\lL'˅$K MH͒HhYTUO 37 m'dp>"CК.~0eQ!e[c`_˲)6hFw~|dQ,9 ݂6pɡKuAf&\A0"Jg-.Fwy]m[V1a@*Ak<Ȅ=^^)E`P\@\Š΄0*]r]G8Oif9oR˽5b{?G@R6\Q gL#-ct/#"#ZP'7 OMʉmu7Nh3q2wu%Lv4G?0rJAM1@{)&P;;{'0ҲʶL y5<7b9!,9qy,G$071Y3-} 廜Ew)w;l]x+29)Q$T\lvo˫3]rbxv۞述#=_"LOu{n ڳN*$#"gƃfnb{,)*~<Ás@* `Kb ]L]_(\|Ȩ<Ȍ/`},zò~ % HOL-Analysis 2HBX47f3@6L&A+$w?>^\cd!e7dMX@hqiwҿ}Aqq^2",H ^QķMzh3|-`i~8Jw'x}v4r\"y}hm^)ZA/[SPup2^ॿޯE,mlQ2w>Ў0>[Mbȿ\(O35POZj(!م[38n$Ƴ#U Ϛod5޼&US覹n2}p~&jJDmDdyobA}%h|ZTp(V1ZrQMIyY l%BQ\P󯼸32|2 Z?{I%c7c g#UbwȲn`vFÏ=VטCr4M goc!آGԁwXvrj6GL"HQbuAt2#OK**35lWG:4.O-B2|u[wt]( ӛT)_89 vЍ&p{? 3Ljpv魖lfjPWHf'EAj};委Qd_5Kl%a.ZMX`nW):͢aC,%惻p: Y^zT="EY`|Ig pNQ"u=ҥd;` 1! 0J=!R{bJ_jn1K魦(6gs!Hjk35\C3&x򑕙IJ2|GوI_WlA)8BYJ*qqcEzw?rWPԭ>6n:k#!\lm!cJ;7ҐsbA_,/ )0T*rF 11%t`O UBev]{^FQ1jena("%jO gnIhFT}B+pah2T$}~ܑe,rTb2P[&Xvln[Q$GTSыSYBX LC*?}YD`֏ab!ti4g+rOlQ ݻOTePp\d~N~UsL؎֟P.*4[ 8SR!BtXEgUX/=yW*D1SF.o nj$}r*9W\~:\OqUakżt ,R$nZ& A8j\iǐ6LzSDM>E4}}"(w X]XeFӠ ?.q'DL= R݊IBDb]s`( g.+,d_3"> gwQI=w1 |Go=2oÅhw$Rf"ѮW00kQH{- ?iAдjGxOK vJY݈|uNϘWk#8!Yk/X4ܭZ^w>\ xd-0?1+,S9L߾ޭ) p8.| uѤS,BijVbVboۣ1q$v* yU=uo@!j~W΋檀̮4삲nއ)Sn ymxd9Ɉz@ K?c"LvLk24\.f-0u |˅fJ˦[Z:Sx!9Tq^aP=tg3k::ƈڕ0.!ȗՑIRy~~;TQA^sByrVW|.׆9<p 40+nf3JR@ȿ^%Bžo75g:vpEm532z ?t}T؛aa~(ӮH9§5'GDGuFǴz/QtheƷ/G4XonDc0,fA{#M}:,U┠t@"qpNĪAL0T pv\"ӻtG%S@o54rgC3zƿA:jy3R.tL&*gS5Iyo߆#L=v JkOW1)7q 2Cn&n&ͥڼZߓF x,fB>lgwn䱪_$i&,QĂ'D 5->ʪg)>ޕo~$fߔ9#5F4wG$K,h!ǼRM]w:mcUӔߌ[tl'YGUSφ0 rII@D h\\'tNjq|L@-$l67C陈4w P1ls+;ȵuSYpHqnImp<eS-dv> -TB7 *)+닾.o+I"6˞[.5yjY?fdM9$Kn!d<)IovPӋ+HjRmq8Fʓ3orWSZ^#T Epk+ꠟ!t!KJ HLP! ;L߅MSnńS l9 4 C& 2(a EᎯt}u B}kY^@媽\bʙɇv]ݾ_,_mkn&0 ݥb[?iմ8+?&Af*Lk<gd_jF>csZ*U  (ٕC>:eN$U$N8^E]ZUŒ41*99? ȇDgA?3Pw1zqdO: VC6B;m5e//IS_=Gu1ޞ!mYckKY|: (㘆cJ1%4OS*.LcSFVwW$#QlFADQb!4pu$"^BFhteNlsı0^nv&UN"qqGRaϽMy UY;;z&"8qSa^?12i :%6SҌ (t㶛UW{tgF5- TڽyHea*ֱš&@ܘJ EQWb4ͼV4Pk ->5M 8Z8f5ü3ht<6ֹRtjO"#b-Ć ["Ue qAnBbӜ S&.r< OmN ?ã7Srz`OӠX.ǯ& }Y?i 2XuG:^?~w%kkO*Yn~͎X)Lrxr.Mka;$V^=l Sv#h ֮>^A/^Qy5)$zI,&e,m㪸zXwNFBSf6$|gH-.m:T~D论iU{bhGtFNCX5M~zOmq b*{'{'6I]Sx!}2eE]*81DG$N 5AasNtHDBt^$ p}Q/ˤ߉*P܃AP͌kֱL;B?H! $۶U՜[(f~ս0MoY"2Q('L n0)j4g_i"B1%/~e3\\B |d{3LI/=W,==:!*KcS?DGrpL{$dcR' CMdrԯ޽wI~EFϩ R&G%y{qR%cu#yUmPE:{>A bU"dG,Z{k_TylKNeVBB摀[-X\P (+ 3)K=,ݧ)zY)yϧH:haBBk(’5a|Ds\uHæbn "JcdxiJ1cѳ}dlBr9FY{G|Xq+*FYdp`摱2;/ܢTÓJY`7xFPIԾOkz>W͛欟QYu c׻OV} i_rȜltf;cgFU#e8~^;4o!Knh4͍/rOj[4Az'Xnd[ 5p?F牙H<6-o<dRM,]KbȒZCy)P'84lqO:;1?}e ZS^|[ַeG4u&EL0KɔhĿ)OGzfG~ޒ I"#崑n<ouxVZ :7XiB=6/GvH #' QG%}YUsd(1ɑ1U`q$]f4i;4e083&YYU5(0f%A-YЃ6ܢy=KԖp4] 7^(Uzqv)UQG٩YR*AWYuW8 D?x}a AS9ps::gFbjNE׃]Z;uKE~qk%*ç'#.M +|mւXUF{ydsޖ("_) :?҃ h$D]y,;Tu!adM&UZ"jb5`!sjS)P_~#~G[?0TL7@v`c ?r_K[^DoJ8iIxv\ƕu_T;eRX,*j,Aq>] JX :6KbʛңR@0>1k1a$.$TaGĤ~Cr>f ",[I߶l@1c l~QB˔Y33#JE] tN$LAFV h[adENtzW)V](:)F%C!_w|f61p{ZSם2TK#>%x"Wz7OgW<6{/U*DWp&KP#k0dݛ4 MϷaZI2lj,XCgc1[j"48S;J I7 +XDԓ5/,n-sqP2fojd5ChpMkN~lP3ݧY4#θv?\/v_%(a_2\FPv[ޠH=Gl+̺'n[) 79hGa&+mǐU+%= uhLӑj udaUX8€Z?-o$"\a9?2Fw e#oŽ™  ǼGǷDC&SRq]g#TŴYOB:2Ȗ6PA` Pg9ghǨ( 7ji&5bo뱲\`A=*ݯLRlc٠jƛOY^SKC෎3/զc~)!*,HV˵%h %!b=)%P %N*X*N D9rdMS9ND bkrW0]P Ho23",I]P򋛀IfQgOt[T~XN bChׅfn6g@TCL0$YU>\1dxV%(-i(o B^Ġhzu VKX8)#1Hw|W_2M]7hbp )JcrιIk}-} n<pzu0V'K@PDWwKT@b1Wz3(5U83ZCfQ׾Õx?dM{߮q~0Dt( oWrV+ mDL7#8:&r{U^.lyeSM5_k@CC*Ge8Ӊ}sւޞR+ט?Mzu;(=",4HL3AtEԻcF Hwu=Yx`4GT3%ZCR*OyDҩXR=R.(屆-*8tw^擒8Rp|$hc`UpR֞({-҄ Ώ1rX霒}ƋtR;\TBi]H$QUɼO؈;MU\aĆfqcT2qbs&;BR2|ܛ>p`0k 1޸yiZ/Ao So&9UAKOUӉO.*Ɗ4N%{ 8ZQ qۄk-IgU釴(y A\2(o@R[BnbJK3ٵ sL./9_Ac] 0w.a@zCyyJ*Ϡ8$Q1MTtHus3$\Avqn#b0h1s֜_[ > °R}>+LfԱ0}p F$f|1>Y'iW@t6!nϾcࡢ|SE'"7FXj `0U2DX;K홮O;2W'{ɢόxw7VL</KXm,!h FC1KS)Fw׽z? 3>GTͼĴG8yJ_0=` -yny̌MTP GYtzZ*rZ>ԺFwf7C]ҰҮL萨AEO چXף'o9ww[,= &K Ipې:#f+d/;#1^֪D*]6ȨEO+3eZL-TUnxl|"6J*Ds𑎁s*Xc1+KKX2f;Q? !.Q 2,$̘QWn"UR%^),~`i{0p^UmF5Mڒm߸Ϯ*#Qm(O UErt[?(@'>,+&sV6Dh k;LA|֛F[~ &‡5Ro.Sܞ zݝI.+1<M˸J?Hjk#bOPs 8T5\uZ ۶kFu.#N#/nPlKW %b0%ApƊR,C'&5dfm8b@z |;@S`Er `>*tRnl]Pj="={RJ). ⬓Q,)Ĵ4,$ힾo{h AIQ D դ.`s_}9 Ƚ{7rs[lKSc#67 WGor&ҹ<P@25y*yµ4Zv8癐Zz"*uzcRhbzkw T1dm|+כ@e0 h]iJuLtl ֻ"KQTN,_ w ,E0<QP!VfoA`Av'dX;.0K]zz(cI8 {om18bM'B1J_j~{+&ʐLd,'`J Ial`z1~Is wԞRk}CQ}z Klο@JϽI&ER'H*RK%!xužab0#H&<;<8+ej\wT]Bb}*q=vДrQL& IcNP:G8͛UhhҙCr0ϊU79dThm쥐-\)Vwa~ֹ;53}Ld GD ;UnͱRknm~hG*9 &+ d|88E+fZע,{r} eMݹ ^*QHZfȾ |.ԓ8' w5{]w>E +w/7&A  k-6 o/tbyB}vVM׈Z CrJ[1U !~]?zy^k7e j ?:Ft{$/ A^#c^ꃬ2*gQR*e n[)f ſ#uY\jdE!{98#h@^ttY)ha?l|dA.N5 ?!#1.N~Mfq"c}E cRRa"y; ")|gT8Q^bm%=#rJdasgt4:^ϿhG''7C;&bk]k@DaȇÑA^ &~;1q,[HuJAz>]|%vC2/I9v}@C~ wԽV`)Bu/ yZEKsxT$xkrG s9I~Ƥ[1RY :zb]ohg+(*/mGèAͬo|^[JDbV DpR*vJt>.guS$5ui/b]zW|4G*5r #~l(Zuu‡eR:j٨`{4 3Uchh}+Ov*)\4m#]8t|`=U&^͟/c.;/;oNq$P,]^0d]|r|@ݔ` Qx˿^b"},dИt:q&B'1'a3E;$zM|vAI{#Xd XWNì#%5ٟ8m-Qk tV/LKLARx_+D cK[9~:Ddv2_ |P]tAAͿ-zRGTy4ddf|@}~s0:_*f&wm׵a4Xظ9!C )44.@%BF,IrP2v|ˑgNv $U ^#J ryCFJu3*yZ]Zrj]͛_}CkT^ߝW-ELp12J`%"2Z~$38GGW/iotxͯ&x)?$,E&%y}/yo ?0>,BDZgiUMkQP&"39G}bƉ{+5!vs m﹈ȡ Z>[ BD`X]7Ϣo$V {L"{ϐ԰?o*-ciC!tIwz gUgYZ7zXZִF! \]ŗXi%6wB"3c]#U-RR[#Gi^rpڱв9R#31Z_EVA i+4d8/%cQؕD+JCXSyCLa$Ɗ99]\Z[?Do1uKPAd{e9Tw( jDqqoIDxhS/ NU$q+< v&qZs2ʌ4(,G3#0kQN?O%˧nPΏoCQxꤱu򽲮In͟NWl$TxBd1q a2n[8q,x]hcRۛ~E-o'ڶK5Z/0㊃щ Nk+:"w[Tv+qzOz2B6>\m 5hfCސg4 U5Ҧ@K0m)VHi HrN3}w8aH :3r;uLy77%)*ʮ DГjPNEדgIjiMe aN`k:eDPX5 b`j|J["y#i6<0s)it)r)t6ir/%DD.s~LАÛ6;}(YzQQ߆Jj~ tX myQx$Np_79 zi%s(̇`aKӚTwu֞q.vpc)dmgh" '\BN1 qM$HJ]mF+ AOMj?8:ɳf87G )Eg>٫vOiͲvNZķ?-z+bpV (x/1 XЖ D6bؓ㸏L®%$e3 Wfc?0s8^huyPm@1b2Om*70^l:w:Es-#n8G.ßT ePbN0lqRŨ9 Ex՟gL5J ז$°;o@?dNc,WUT%m) ] ܌ݞ.C'{{ʻ^%ՙs/0eaaL~W)̀lcSOKsٔ "*m,ȡYG=a0*!4bLL|Cu2ԩ|~zZv]GW|iӠ֠R ]s>̈́zT6 и_jLj\>.tײwmZ0o4e#XN3K$ @:XfnRY $/Aٔ!J?b8 2݀DqSN>m69ٜCQY׍ J#k:rV+\pdwbet(]L;;1&OznM€!(|ғQ@\ w1,8s&́%&[t8K3~I2/#CHm-zh'%v I Ԩ[hnWbc1x~~}4nHNR =|\Yqd^h"GH􃰴3Mʳ,kOJY8td-Qgd.QJn$iYH`7q/Ul3{FvF:eS\GqNfdj^0/o} vxPq7PL\TՃow"?1(CXmᓼ,l6LBp13VIă [kuig -`1Phg9d{s5Mb!-Kn?OELC8~`O@.&5#{S9q@E7U9,n狨zc_K &?#`7Fl9w #\FAI;i1{-%)NCHƯ NI+Γa_zC]DMQ6 9]IYui+|7Z4גCMuZBC#9Կ2D}@ v2b#5܅a-{ )7+"+*dsT%$#S j V@(Atͮ}7sU0H2LP\7`?˚[:6_wêT[kfNJ9ZWjK\0`h;lOʮ ph)%/Re{XfA#\Pfldqqdh֯IBfQYUY.# _ K]A<4peU}p<Ƈʃ NSC䍧IAc)PO8̙]aRz.1$Tԃc?KLu @Yϻnp-{F`ے:MfZm^ڤcDC/] V9jFo(4_Iq3Nu۬&$h޳Jip8l(LqWϥ]FJvi Zy_zƖh{F^}00Q7#vҗBD@ԫbIl\JV[g.mƻ™r:[~dFV9oHaҘ[i k_PR |{GQR5FCubS,nX}$yi2%G7oH+UiS9vFYws%TOw{ >/Y:@5,$=:_|eZ,E~!6PW7aJU_!!y=* 9SYEm|fhe,7>}Ykѻ;:c+:EGSA0 4`&%xdhˎxwUY"z},9YzkdG@kdXt%lFj#ūngU?OMv]^K>1WJN,.ЕlK3P\D|ù9i;3ʖf5)_s3yF@eݱ:k?` +D̋:[F GfkgNIʙCqFE*# @OJz.}LAw9 n=([G/VSj>4MUہ0`X_#[y.!9nV;?$g,Z[5Cm4StoT8>c0N_6'`OiV[3 84$ܠ.n׸H!⬹ sPPe..G:uxps0?dmTڎ,sA%;jdГ4e&<cMpŊx3-,D]OdaD5N-Q$DB`E Y`l¡|۾8;q! i eDŽƒ\{g sb{*[=? ӰDeFXtPHQ> \U/vـ#p-R"lKFtY@DyӏlWf_,e~G9^g>Zr;M* qs#Z w(*ɲ#7o%)=$cG-UX\uV q#X%"X7%ܬe`@<+3,S-"iPƳjjAE]g6"x ao!wgNjuuRmø-D sR>ݴᓬ߃dDE`p;E;Qf=J|ωeZu:2He8z]2ˮ6Q=pRUgIE}&RVio@Khn~Z 9vƁqh?{ʼb3 惟(3{=#uK lְ!'N㥥0 b ʌEd:`to4NԾG$X>hlHTWV0CȤU ʡV8>Wt4Zt}~2:hN2 Y) "s㗆r.4ԿAA89wIVu6 KVZع%8s F/E@D>ݝ}yé#?RdïyV+5rHY~4LǤ4yeWaj22o\cdi_`"̦'wh^!}p#&sa؋r#I^ΦO9]UAQ{ak hDV6|es1)rn]$p;'.Yu;sTfNm؏<&>IGdmznPegaY-Ñ#7즀YhE_z"X@ R,6T C9|?{$ֻ"쳦촓w< n&S}b]P݀lm fg+j90#6 Cug6ĥ6O !3\3::hFkzc1m qPk",Dg;.~8p֌ey|¡B t?+bf>%Jd@$yGCSaPl͙UGm$lv5>zv)J?=4 GL.b.3&ה_9wޗͬdtQ4wn%M~`UM])Ih u(%>g+q:h(@.G6xy~ٱO(Qfq)+hn.D+K< 0dLw@$6L*6,<&& wQCS9K29)X:9'K}KlY&=LfYX*Ɖ::.=~ hdRzgԅ9b:5~uj߭D‡r4lʁ첹@q:_ao rDSgj1#VUJ( wwLo>Վl_7傩2YnY.tq,M|BD9=ݾ (@Š/j*=BS- $%p6M;  iE=LHҳsNf"_6P@lpu/a^S)>L]}S@VcĤ+BR7HMEٮH12bq;'ӌ@e_AP~ OœXl`䜆QRD(;ͪ1(|p=>MyiA#PxaYϙ0(s @(96^^5$LjZsCL#t>gGsƆlez;pؙy\<9G~J,gX9{[#u28+$>8-$$L)2yY\Ei2dQ%\ bw>Mރs;%2Ў)9pi v[dwσ Tϧfc %˴An`7m%q+4F u0.X 02ՈBd.>fsO+vg fm%lj<Qj#нލ^p֐ y._IFTxB;>P?N3g,֓\y}كί~3h7=~݁(r:p G,/zr H6K~K-^S^t!'S.)l#`Bu3™ڃ]D* E kX˴=h6&4ٱGiuqVk:ؽHJ1%] jo)g^KDRUD.sAA<4+NxUK)y3b_h,\UlhTT>@qGAd 9y=$Wl0:S:Q|i8"4D/ [ZA0o|2.56x-Ipck%gRΐ1fY.JFǼ.yc?ʕni/GlBp QIP :BE.aj nܻzbYz+w,gRE9c*BP2סK=jc?gf+?ii7 zIAO[[uZ+gwLl :fbJv(4 .p{"a[{JAlں>3.MyTrl] $~̘PqzFBftWp(I1wuiF O1! Z?q5\Mv2R?~tv9=N߰AkVxF&oBP0E~iO{*@ vo}'**U`AwrhY GbqrCv0XHkvG Fϫ!)>aE9˕h}`pս73!okanvc~uURD@)KISv$nd@VԤoHȝbEFxK94f5b0bWz`8cŻfsRf]z(z۞Ȱj]WY-.k!;ǡe5) ?C74-f 3Vd KA0/Rʴtp%sz 4d}\edtB2uaCIjhA fqiUGcCd+;w{ "b'Lp]jNS㐗=\=l*k}.EiH}n.#/ ԑ5iE[Z]hZ cJb%PeE`=mege-#~!y0 | ιe!{6N &򲏈!:ܾO&W_?ß [װ"GL`i#Dgk:NQBj۫Ֆ3wBX A!EiKXDWBx˒]c {ć8t}لzrHwH7LUIcE.{@ dSz"zi=I {uڱM b?7ӉJo68jշ})nI֍x5DAփdVϛʞrI'l ?5ck6\ѕդ$$AZ#)VGdmlgUnbWup/}%Ox*j< _L `? )mtX4A 5Fca]PD :^%]OYJCзGt}_\tzIJ`Fx#A.hm"6o'ы.4& 3x {dAX?z, dI!\{]YXӔp x6dT  w|A6.7['rP@~F# E:W8"~l3Y(dJSA6nI(դ||!qt `3J̴rJQrPL1e̬ f+jga8jNjIGsmjJ/}m#T=弆He nDPxق|Hh>NJQ\%SȆ+yz&Mu#DZ턲掾 /iQC 6:5Agqfx&"9- ]@~ȢkYLGMnؽ tAMiw=Q?1YXPhno?HOP{֧i3fztH¯~mYhX.sx;EZPu>>g=Hح-N}ۑhp7%m) KSv|Dg(0硒"F;qB0YblߓU)9jv)FoV#'(~uaƸZt2oԻ9g^Z蘕YiSHeF%m؃ΕBPFͰt"fUJAI;fDgQrUZhg>[ւZn@Ca:pM˳"!mjo}: oJe`VL:`$R/Yk|x Xb!!!?Q #bGz!a I(p~V Xܘ`Z.ߠ$QΰgOVVD;GeM(Ju.p"Ǎhca<.I %[Ht밽 Fp. w)E_=s KYWsНS߹qp _|hl`-ԯj@v<ͣ-f !=;^ZWaY}(FH(aA'|>rKy[WrAd3ll u YKDIUil3&N)F%7+QK1ao`oެZYbvo'U UZ?1)qOӽL{-cB}>kAQU%h,^7}{ŮQp; vQHPXɲBL=WyPip9§HdP,Ҭf?7f<C7*_¢٫Z%S`BsK]K^#XmclX(3K oƂqm\w)w$#L>4`Jiy2bY$<;veKO9MeAƀdJ%T\$:E#5 ؅`g[ڔlEGF?/6)7sRKI< @2e>giu'$6 ڕGTJ 7>  f6gE/R0Taҋ^)YX$ @fR(ci9tv CAh˽SdpܦQz9H}Xpey9} 3B BGXbMM=|vkM=RWro}udq[l5 ANalŻdzQy0!M~+Rx~ meG޴p3]c+qM:@N[P'FR #ُfRy֒7O:=\qV#uV6^ ?& :Eiu;alwXuޣ@ͅFtyS\ A -p4xp{j3K[Jڞ> *[T=C$sYR:|(i܇. 7E(·g$-)6JywYjx݌ MInLy0x'o[1JUoi<7h]VYKFOx˼ZVltJZ}tNA#ip 0(G(x#75thy8X/IQw ( a^AYzT`3()RۣFP"fw~pD pqaȌ3fq,ݖFIS`hFEE'gD|أkaPK-Ӝ:BeY$ r{0v.7X4N̝W,02W @;6 Ԃ,j7Ig@r7EEQ6TKO22å?Ƙ܆Dll{.T;1+G=g*Dʪ<_LRĶI @ v@Z8cDS!7%0ep60@) R!у;*2y@(X~Bb'K?!m$+X9bPB a"!zbx+TMؠ+54~LQܕ^L6LnaTny P 9&j>W,kM Ng!,r1=zJ^4凲AɌh=c!+W?PN=$=߷_)xJb,`ˤ3vV7| sztf/ E~f0:u>Xь4Ҥ|2(ѿ}T*)[cyhu(r,2lO#HΧDݱ0j#,=ہI+edbJ:c7*m/dS_CMšrf.pw"8΅sc0ӄbeu f$S\@CyYaiM] U88Ys{j%U?FE==y^> ZVw~$G /Jf_*t׹OKCaBF ekaG96Zɛ:}Bf'h aSUb+>ךQ>{mi+o˔A9L6=Ec@\/!;h 7Inv~!XSe)]nt <*4[L>5ϫHh0KݹƼ-s׈Rs~mzcʓ[7Tm,mLe)u%OcW1΃S!\|L$<}bCxj,>9/^ESul.ܘY⦲.k#2/E.:8!^|&cgwn{,ydKE OMN >~ԾNna2Ya0P "?K,.KU6TekSf-RZm-|;|Mk sKd ՟M %&>CvjHGra{-#kn 0[,~ YNVJ$< @:*+@`CMbZ}A݂?OId7%aYQ+i[5GeIݩee? 2puΖ51ZqP.G_\ "Ѵor y7w0K)dBcik'Z܎Fs#~8燆mDBl+6\dי \~ ;^{ =IOs@O{D\݈de4-lr9`&Tt Fd.d{:!/(oDQy0jƾM FT4Y=L dO aGeG'|_o+"r)2%f2kw1@Z;Okq3e{Af"DwUGK27E/лk3ĎY\7`5'ה!{."zxaѲp}츟 K`${lS<kU`?V._[oxf , /_( =׋Q@L>tu /&>ۏ[0zJ~@\0!,9JLhNGв]H4pQLwU`ݧ,!Sj:t6&u{jQ A4uPod |w7,۶K>i]&k8/'.0MB=a+}A~,Kp(yj3 MtYmZh|#tu+hC2*Z"8/H~[` 5@fcF=X@mŭEny$nkA Vj4RsJ17s30[y,X+I?t@f +&Fsʥ1JB{|օj5!1v|<--\ /G(Ĩ]E%rnlr߰@!IrUVKz80򼏽/hp&n}h'"co j] oFQœD/ >Je U_FfHx;!1`}(#%}s)(LZ{>?"7?jyYwP˽yd}n!f.>c}[ǿ&>1[fQH|t"2uj_u t:и!ZkZ= ª t*S;lPk8. C&0 \jk$֬}m=ꭞH=2_S#26oaqGv77LiCu'?/B"lJgv;zSEF@Xձ0"0hEɉqCց (Wjzj8tԗ<Ѥ!%%;u}"J*QRsBxkc='JLւW]XSXޔ8S&pڐ9mS.` ` qO^?m3} x]ڶp k;3b?Bщary Q :ؠaTw7Z,,Xo>=Lb.9r52J5fc F"q2 `};8\vnsoGs=rJ ukq9gUe}ݜ˨3Ыw)Zco;eUIو/ o6x$y]O.J)}.}3Q&`ԙ1y KŬoHXqZWd"ẩzAW5W)m`Gr7P?MtEH2@G(1Gob\ ~c+#ߋp?>,c" T>3bM'[\?+m~|T YmꟌ$?mb\i\ZsF*ȓ~k~xePWD=1Y)#Lk=+:[*uJs 2X{i =%>f-]E$˲ۓGpgĶY)/$ݴ'bK%5$Sp['t.j/E~-d ]ڶ7G0n h й-T33J>!{"sm)!fY粴DE,g1اcj]Z.3 |!З")3+Jo61"SUḨ̤x7 `q\^v_O߇1{N CXx`'=יG Bzq̚SIc Vi3Qu ܾ#@s&DjEHq!Fx^ODiknH}ɧ8~-PKN1ȸ :XQ& vv=ô }gGݧD"M؀P~d,(]Лك#)>֩tI~@!YU4jrIԪՉ0_hd_Etz n-Dxp|ÓX A6,iSuPqQ#e}$GGJ6T6^|͹Z>v2n%k;v{:dz ލa/sK2)&>]CͮG p~".+3GHb X"Ƀ,zC&ޜf` +7oPǹ KT!]R44J .k@r鉸'^~lALDONzn gTiM ϥΞJ2جHt#ga݀ab}t^6;RR {?gW#!(?PZg1Y 'Xf CDr1F=cl#/G躉tG_J5,@QXJj1 J:fh~7İ'/TZG%/bo-u\S:* )a RW/gtb )gl-fV Ai9dSY뵫Jʿ[\ 7V Z2a!ktN^MdM%{3!ZTOBX%[Q q&cf=ɻ`a1 #KOl%PkDzP)j:UkVt bIR[t9֪.Orf^:*F4|gOjpUmD5i&7-~Q1F({m`~`HNBex%7+[@oAUB nմa#`GuM^(U?kUM/0a&J;2k.K6(@:]vl~}1:ؤo=M} k5μ`[m.,הshh8jKH9gL%ij4Oʦ{Y\T jE9CXG@= 퐢/ե2j"0+Z8Bd~ `NNjӫDz*14Y_ Cs4, ]2=Ƹ;_Q,ݟ] ^lGzq=83˩+ Rq8m6E& 8IQMx3n_Z,e znԀWC9k[Vl d^ *=ՏسE&9>rDdVNU$xzx>} ud-Xf^1!(+'J[!(4v7O*fC q|6=uwMoܢrwۙS`"x|Hڰ)*uPQn.i)]Rj猾j#ztLN'b~wQ.uz'=p\? n6g&@9,li.U+@;lh '^N`+SMV|ҙ3Dh)VmX q&P'<#=cֻ~:AR]l W*+cBLj㉉޿A9'~$ym*~5J"a]轌?Ee@ļ;/ʣWl| %Ԣ.F8tm4}1=T*Ęf ^o@^tvH2eumkM7-iw5+d/<8?>SWwMS_rD9B@ﱒK_/~(ޥ8mw?`, _Gk egؒ)庪" ]Lh%-b|UHboeoR-O2 G̥Dd4D晘 l]e~PsX_C/FR) x`˰F(3"􍰒ۋP [erDġԀ=qEW.p'ʡ~?p_CڻzzIƧosaCڕ@"&8D̼)P>7YUC?w*;vN  Nqx[kL/1s~_bԎn<դl¯a n*5~.}Gk BM4R&3¡M_i[w3 K(5'0@l^'u='Inv~E9ŗɝEwH># WD)P`d59-;7~SgM.N;^rXj}ΞSaBS1iE[ =Ϲ ʕ:U|w#|qrjp*s4NdϮoFvwYIP0mUo-|jU㫓8(lg:2S # uyx$Y.gZo n0х[h@heK3.>1T/ԓ<љEђXٶ5ؠt*!n+3QN|~SLܨ[.Mnv[[/6g]9,X24+8yJ¾6/s}0wwr-{7SoM|"7mIH !JgTS)j|?wI37ؒRqK,QJ jWIߡ _6+wO~_OԺIκĒ'  ͅ5eDėQY.Ezd6nd H%RY|v3-wOE캣'qk7G r;U\Wȶ!F*TK#1&If9uDkOXfFF^ÄQu0C0sgY]کe=M#%-yN`/nث'p061 'eN4V w'Oޖi${q4I \"J/7  %e>aޥ sT0;#.V"5!*VPZ+% GGLҞ*6=r7p]픋{ZA&ɡv[h45.բN,{U't7 ~WlyEK F숸:0leQ([dA)BR _LWi=\`g-p8<|ŗby.3܌}n0rpڝr6Kd<]\X{t2UՑ<>l$® M6"``AnSgYƯ7o!Ʋ<;L珽Q]S׭*"9པBoA'@ ;[!H_]؈~6&!*tzNejIbpWʿsfׇHȏsk53:% Â2>Mu+؎ a &މߩtV('L]#:iPMkWz T!NZ]!S<cBϬ,FkL醿Et# X.A~ vD'|p~cL2Y}X/$څE<%!od{W3pޞbWFhN͓7TA3!WB+nw(IQs_lPfy eNaN y?)|*S|7~̒;D>t~l>ƕژ^Y M=5d(\OҁNUλ󅴘-u7yJ[soqj[=J\1G ه/hS52)X6qoi£jGVx]}BBvz|!)5\n{bw-~zaNX?J%<2"$(C`%nXK(9rl(/g%$,"O(Hzm6FhK;34b8$ Ո<2Є]xR2>PPHvcTþqӔ b\" e%A`-=e19tN­' fX湤)zV3 2 -`s/D}=D *ԸܔyQ6 غn-SǹYJ(TC w-tŨy"t4<﷤R^yCbC]D=\U>͋dO0.[hbO5$qOb|c*!ÙUuYKD^w̗aR9~!7*'aؠP0a<t[qTUHx^j. "C3JtQlj$JU\)f8 bؿV,0^/wJ5tXѬDƟ1s}TSܩUQZ_ E1)n.TPD) V%.&$gYXEY>6j]us ׿A 7pE8U~*,| Zu:s I6a3;yBqNU:",+-﹓f=; ">) &^uF2u s݆\?+w@SVPm>[ٚ.]u37;r-ltDmTsH WghJȪq5@&SɍZR:N8eX7a3Ù !Cr"K틲Lt/BJ=?QfL= #:U?$wx8ɚ Pmr6Kߔtψ*,EʝU~TR}CN|W(XBjlǐMTWi#Nt'wxمh 1$i *xgK<.}u2fӺD2J*c\#e %H N[Ѽ((}br5Zg6ǬA3Wy"YC<0H:M4GX A2q@,s`FH UP:ES;*RSt!(舋De-qK88?P,a2<6DRv9Tɤ#T,<9vq[12BTpSx627[-kea.ZU%MI՞p3GgbHuяz h0'zϾR&N9~`vy\9͈i?WbG*%ћةSʫ%ʫsy_#r"[ 7Us7V!L[i.QL&9yaY@q:uP:&䂳}(B8zVe/:,WP΃ElGR}X| X[1]G RDemې\>Kם%TG 8c{s01:}9X;6C'0ȴ j@[8W0H>e[ 9t#hi3'mtLrQ|!%kF)^ }O-@YuG7gŲw:L1',s#c`Py=Du1@Dbk.YHQ3Nפh$9;+\&a)1Ħ Hd$S%" d6+(a O{@TnJ^;]f$y膗ſp ;n==25"ٽoPb)RG4Yp30KѽD|[ٳKCAz0ߑ(%sxD^p0k ┼7Hy1nsCkjc_:m*CHdkCS5 +2/@/wvV08&@xB|itѱJA>rt`XFat^2d×A;@ ɶmFjoo1hD?,8쇗kj y7oЛf|/U9] vTb0&6wyN WdVRt\Zg;t1nl’-t!}wf^S&R<ѱFԱ 8m1&;;u@%@3):?ӒYbOm S5 ͞1_lt@chaXXSp Zfke%ՌQKR+ wE3dSmj J&IKiR)TLyuj 3-͈'?jzo=Z=80WAl5` A,!F wXetn 2igHeY R)p9,fH($i[UWݥc B]|r|RT&(tjف}A! # zYA/2^xEZo+Zت a2Dřl"ZӘj׬%ﳪҴv(gFԔD6or)AQ?NC$`sӡ2̝ K`iT! #Byctb)VS`Oi8(75]'v?k+o;¼1UK@vTy,/aԃ5f(:$2BRR}M;3t Ҵsz@~~١ŽІ&xI?⁇`Ouc%[>::S,;a@K$ǍJflDAJ3UPe?j1F%"Z$!2b2_bKK e>6d7 %]I r&c'J5,pp9}BӍ -YAq3+#혛XJ2h԰D𔄦Ԡt]]Z*jކDp[+Jwnw3D; Ez$45ܔ@{ezPc<[BxiW66AgK'KoWRHuTԭZ:C&:0OdsROAST[`?]Hrݢ?G $[5i?KקrRgK3 賷 RK\V}>C—HwmNT (@b\3ImE5\T24HwH'ۍxޟ=k<4A(zL:QB^v@bÓ\g#K=W;Rܭic}~<\:.w{3@36b? U?XTa>K] X}Ɨb"q~7$v"ɢoƯSnFgHS"Ir >dDPY84xP(Gut9fYOx9-^@$-)H)f> ;]fI[b84 ŷ3~d k_AB~7_ ]H ntןmDt GOȧ&Am>BAd: lY8Q<{dUQz#3y| 7bˮ!r 怠̣6~Q3O7u')ڠ#'vԧ4-_ fô12^vR.g s*Iln s'/3ymDǬ96\!cnj!U%归6c?,{ZB8`1YU?^WLQ+^ R &Vnrǻ'y$$ϳ^)Q_&pGMv@ߑ>[8uےRJ $]ǞO+(ˑZ&]+ȣæ"|M+^ !'+T搴>|ד^]YcL:/˄ңxK82v^Gnnif6+"/.-fj`]~|Ss@n]*vFrp+*5j.l# /g@>5M?cS%Φl^!rm6M Au=ݳc *#pcY ajHzRaxUU!禫 G2jngs1q k+BopÒV-/J~ -seCj%簚wTkү$#v;bhvpΒ9#LvXc|krR.^-ߢzz8vw>>>~ꮹ=W{Ѥ9,})[: di~]l6\r`UٶBĞ-tmb;׋2Ex\z ϳe+XQ"mZE6P|E^)ʬ?y^zOx%pyu#ѻ0hk 1!6=K^}@ߜ.-xQeu8pi:MܦIɉToD QKS>$ m&>isB򽣃9] #"F%r:0IRXXnf -rDmkVIR bnv3}cmiqY@;Aw[k[R7AT3^Nm/<.!=^˩ZMۆ c#1VU=$rN-ÓL)uT6'Bkٞ)_"W3kJdI j SZ^g ~dQꎯI=o(!fi!"0{(1QJH\?rp|_~Ў·[i,&Y DAI-aQf(^ jG yyh?(H8<"Bb9߯6ϻ_⴪; q4Mu Q̢4YY_M]&9QKI. `BOߧ4l |Zܤk @nm@~M&V+QD mx;Rf:l_a듘IVђzB {T z0wzy:p4Dq)ɚTӦ #Q'VJWb󹬲㥦 Z!*?H|8~^-Pzݎdzi&3Y\ҴGIn)2DRVCrބ'`mVkU}PPn$A\c+g6O=˱8+s5_X ,F,0j%zWȼvڐAۖ3D| A!#i Ĵ'؄/8V,VpAA/[ϩH  Q)~QZ.џT A֧YwC.!_m!P/q4Btz{(x;͍PO3oi*ѪW$BsjP ۝QX$+ b~loDUpCە%G+kiX(~3EYL~1R2ylZ__dqj}>0:2zF˓ep$g {uf <&C=AX l,{{[CgJ`B;W5DE !09QOt.ij }=ѦFE*jj A4W",tO/e?s(K"\yiۅc^M"Wʍp]Fw|ͪ_W*ih\m<#̶25 )dw) $ PHhh zu0aHV[>槫_URdGS|>x?n~g$6 nm@nN)5d*jϫDtLuz,)iED 9}i:hʟ'\Q'.nm!Ϻ>1Yaо"# x Fپ~jAL$v)25a# կ9vA]WF"\ ѷ' W|/߱=zoQ^ݷE {52{_RcbVZƨ]RIP+mlDNN2yvk lAl1|axBDH9ji,4hLT:v[B)`֖$bW\9H&RrM̐L)R||YA38Ĉ2p ]1kiD)>iVa\^>U={LD`UvXs~v%Mjak!Ta+9 =[6" XF0K4Х ӧ&S~T)SDUD/^IS2nve_Ե-_|YƂ~mO/ $W$CQ`s8;Q;P r_cd㒸W6/<7uhb'U1"$5@-V lƜal,9Ae@vdrj$OGj>/0w{݇Z^md1Ԙ?ukKԜPH2(,|Qπxyk*Ilg!x @#R 浠Y5W'9c#!T\uhbx^?Q!~Y6I{u_NZplt/U%Mxn]<~FQOcO5"'mມX-F) wn3F=ea2(;7n۹=5)eYwQ9etTVC9u>K ~mY6|#5ʹT7xX<mV5V0C}K1-_]sJAs( Ecz(_Y%t _I4z‰@̉R8p4:f֞6@z.%ua:#?]kl(Pղ%!br7--<=e:i&o| q0TKZF5x7% NFkC8Ҋ:n  , &$P%cK'PegVXt a4:krPoA<`% 11ћ SIѰ[Fk8h Wb0;K8o?pN9f)lf=#{A1W{YT}fa287-4|d(5CW*#et &D+İ}2:eUG9/ ;[yu:iP.hOtd>tF]VQrҳB I^iʋI4 Q91q 7 #- MR{Q+@8.}V"g1mmKp!dr>fvxUi }Yڒ=M>@."(JObD9pV1$/H2?(]k^'ha %ayLwP1vl<ɴ IZA_v ug"+_ @ .vQߍg6 [u «JnZM7A\7 > qZ]/K"NwR`v2T6.ˬ KFDeed p.7N4&2!^&qd鲤$nM6B~9Lu0ZE7;lXUjaK^!JDrb2y;+߿z/-kK>Ju6.Eu;4N%;fh.Xv*Ш:J>DZ|czK_ݮ!3QA7SjO禫u >0%..n%ȅj=[oo@P 6ѤJzKg9 UuQŤa⬂b Iv ޯkjĊI $ B6cGT6p(u'^xm;]&aF5Hf"{0@U>.t Eq|{{e~vxĩ`śJZB3'^+cG'; tn AyHg(bogbhϠ V@E'uGxPx(jIwP ApTkwMCv;,vG}[&oEqIj]o`RPO]L|DTD#!6@I75u vhp=Xqv@~xl_aki~]ID{ ;xH/Cdǁ{|↑ 3|w;FsByO8|*Ҽ0G;п%XXr8՚Muѓj->$ˏ;ďw/M٭`PN3P}= r:IO@OP~-#|~KN ިE5 G@q,?pC9" k/n00-vX37stUlk0]F`hV*qAwmDiX$p ]ټCy3:d}unb8ksGd*L$ J8ɳ:Ez3R!ؤڑ k!LΔ~RfB1CƄQBVvƾe2y$!G o*Z5ϕr%uc"P56mS_^קUMhẇ7 'Ƥhy⑎0u|ٲm P?کZO*woehehf`3 gC0XYQ[IU ~¦)]'js4XmUaP'7_ti9 1΅\ f3j(? 4H- gg)gäSix[pWBE_zڴ9 ǰ9wőő '=E%>љ*Ym&O$[A5 4|05\-_I"p88S Z4dPݲW鵒w |=iț;gJ>THfݩ Sn=;pS#4[I;!6Q /u;Ўg_ѯ_JNlI E:G"6MV:`AT Ӿ{Ki1s 9} <AI=>kCrqdΖe.99A݃ܭ~Ez0}۷4('7 'x&RJ\k E_XR:D?,_CZjCƧ9Ä-\rUOE1j\o쌀V/,'g+DnjCBN5ep8y+Oi`,IUﺝty ݅Y6LJTi73.36lS2w݈;x~e,O{ofDqeqK7!H^FhmV_ΏɎ\JA>()KV@j05UQHЃ2Ӂv&olɓ@$'S1"EI6Ɖ@jK~V$vr9wv5p-qgd)T9yq`KZ82p,})R^0Z0k<ȜJ*kz[=*U`j653{Jk/~\2y>"#Rj سLzg[ F J)R$-/Gӗ6,DԉZWe \L9Dj!F}6;.slgɄ&?y%Ê^84<(k])UF!$!)M 1Aϋ ?iFfCn%-ler'=xC sI6{ ҷY|2vkk8? 5%r\uTd[:˹*Q;pEX BR£y)-[zl<Ⱥr|f^w!6 [s;XR U#HİzLj 񩠏(1vE!ni%-yG1@'O*TZc每aT#u=._ ci7ȡA^:(_mVe$ i"@ 4 $t9#Vߠ}sޯ~"+=Rؑ^[%MNW`!jk'kFG9$OyVI5 GcYFMNfS(#>Ppk*.z }?`jOV,ޔ(6aB963yV6 hE?߻6aYr KyP6j#ZbE׵hT=iupdy=շվc[ɰY;&sXP49)5 OK>q1ݽ@a9_GM":?J8s-F'S󻽹zMk^瀓%_{=LecuH"kc{]ta245G݃&x+DVd.JsYz<+-WJcRʨhn]?Y ()]89_d4l\``k d@W&+20Zb>pgnvŨ2b]RtjzDE%]Ÿm{cUnPr1+%k #I| =׈Y{4)y͵c(UP"v_=bq|C㋞q!rؿ9>&n|2\>'-3E:n :mqZgF91~ׂt+VCULȜ~$Ɯ,ۤv:]v_PD{+'黄SR>6!dq1gbm B9 "vućz\h:Sk/jr/QJffs ho^Bw7@|pleny=inث l#@1-hi^Ҭg+u; b̂C_UcPΕS4V>VaFCC.s/p^G\ }8yĔfў %eWR&L:0|xYuh9-qݐxhDs-UYo|h Cig>jc*%,730jJ?U XV8)VRtcpa(%Fz,&IzG36) PD<;]=GΠYve^لFdH$U$$b]x,LDoVDzSQdwunmT&,"*C/gvk!0yDf}fiY. T7q#^ 4@(=h>zxrin[$CU8"̧#V<f$0{n[嗚:UFO󀸳8Qj"düh Xw$QҐ9Ӝ6IBŋⰊQ⋺&5g+G=1w^ ^s.yB 0gOһS$3.Ek{RjrNS E;h8{'aO|IefVv7{PIy̡YR=ZSflR@%uz/4ˈk>-ʅj_S?WπPb< ӖRNEc?w_pz[8_h"fAgPl$.t75 yj p1a2uzwXvވ;鰔Dž9V| Х;,?+]0?aa:џGq˳nzԡs#ōT\4л_)Nq4)یHR[Ο Uᔹ0P ˯P[mzБF_1hBg0"I[X8HqXEp8yrЦpOEq6SPEJW1/N Bݬ6JgYZ056d780c5f129a854e727312bf0476daf159e96c 07be127e9a4c4cc120487e8e7f30499c429b75cd 07fc68915c7c1880771d9fe6cec20e1a9a5d3bb7 091a6508a0e58a4b368f3499cce62453d6753de5 140095de78530430e00f54c7bf413f89664dba8d 1472f701b34e869a02586ebeaf30903102ac179e 17053df9129b0838d0ecd442847bd79fa8e8ddc6 17d86c4d8a6504c389685a0f9e0c77653f19214b 195c87652c5c47600c8c0ae58cd39b46dfe731f9 1f127725669952dbc28327cf27d7070cbd1be720 2137523c1bd10ada2fa6dc89aa70eea17db24ab7 256315e11fa60ddf9114c8cf422c39b043a8d517 2a4ef140d74aa91079a6d9c81a88e8add8aeb765 2ae75b509577c8147af71c8ce3870fede6a8974c 2b0615973a340d9ff465012482df716d64bccef2 2d7741122f88ff32f031a1e880047e9f0f689954 36978d8ff1e2f003adfded20e7f18c9ccb66f7f5 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 41c5e8a2d5ed8c8feb03e6f3966dcc0bcd91039c 4635373b48d40e2ddffcd791152b01913682dc0b 469e2ee4bf540a89c75f99f46ec885e3e172d2da 48afadfcdcaf709a343757cc18bedbb98449c51f 497a7dc74c816818c36b237b6a04d3baa5c5c132 4d8412830378ef34f18b2fd4bcadc39d273e8f16 5083ca6ddf79883a08cd6469c8fd361e6bed4407 540e068b980eb8cd7366459541e8f881ee1e8560 58336156b5aacff4dd25124ef5c99e0df5ce1b95 5d7b08e5cbea128d1d4092ffb1763e6ed6968050 5dfadbb72a49e84358b310c816e9aa44a290da0e 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 5ef479cab507b31941d968efb5a06d6e2d9d5b23 6171e547ed1e30fa60113802c5c7d287994a3eb4 685379c2f0748467b0d68cb4759ec6f692e14983 6db046aa6dd7abdab3ba36a978d19f4ddda71d92 6de66533dcfabd77422f9f3abc94940b9c64a4dd 766092bb1d87459010ab034d96ac0c3898582675 7865aa8a4378df96b005eafe2b38c52562a3efc8 7a7591f348cba4b86188dd0d9e0d7351b10288e4 82cfaba3c8ffe327cdc139e6ee44148230b29afe 83cd29aad33e2fbf565ec4a85986110a18eab57d 84804a5dd95d3e30a0c8e802798f95d4469c30ce 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 91a709751d422a5c99ff6221e78f6b756ec46575 9266565442cd6b2d31e4f56d1735aecc22f817dd 9594a3ba903d9ad8f5f17f5129739da7679800dd a612d605e4a059d80c4db56e04c3291c02d8f652 a858e15c16f5fca0b47fdcba4bf4102f18930d5d b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b50f3602dc2ef36f49fd0f3f9b96e592ee3b0487 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd bcad9c5b508a9603d11c1698272ec3994a8bf2e9 bd088478111e630116c4d7107747c16102721eaa c1651ecc4ff041995c8058ead56102953885da58 c1a8a285365048d6a8a4664cea0f7209d445fa6e c48449c0ce103b98b75678115a0f0929f595c46c cf787c68371f62268897ab176f6d3bcd402e3fcb d741d8f4aa003182372f44ff07ca2a6339d7a296 d79c576ace415d5b53cd66aebf0468338c08bc13 dc8dee133773b44a049663ab5ca3ca0872901f2a e5694ce9a5e406faeb16a4ecf9d748963bb975b4 ead397d8a759322930167029ff4cc80278321b02 f0fe5d99d9b9f2c0c0782eeba3e866da2a657b55 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f4cc3fd84ea3503f0e0d0a6ea53c7978cf25ba31 f543eafe896e48d95347c77b8953701b75a7ec53 fb4011b1e050cae5ca624184c57430283e206deb554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 2b469e38ab065480632e9b5b8f44c208e16cab8a a52cca36c501e454ac8d14ffec7d171d1797787a1d78b900664117bc27648b4f3031230e0f9a4d44