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 YYg%\< S]HOL-Analysis:threads=2elapsed=670.934cpu=1161.832gc=72.120factor=1.737zXZִF! *:]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍRQyŵoGZ Qp !XR _0uP$|Ӿ)D)͵dLfA1&o =9cɰk7(un14iHlR:hlEY19L]&ӐI9tQ|]tj֪ay|cz bH BN 8!e!-Re΍tDLᦍ;=:&jȰ:0t(CIP䫽28&T\n:Aştdrh/q D -Fp -lvi5G֝DwteʸAEۋpv띛t>- _( ےau"Ӣ<7QZN v r M,}aUr Ė%! 4>XB /t~1Q" uSCuymL+ϩ-FXbv-90ucHDBnXB9Tvsۭ[ZផthpGSzBiĪk4j[uυ}V۫PL䣍ەkw=\ =WFruٱ Ѣ PacruTx2SĈ26C.s[A,;kEDfs m8ɟ=шm`s|/I`Ձ&GtviMyN:Y8KN(7vt'SyTlUQĕ.Rr_{ T%ZoJ 8238pd*b1X zj\I 1OeTtioHDE &{Y-&&nxϋߎVyrFRlr23u]Rf.׮~daBGl 05`89l" j[2쭢WzСgWi{X`i6+UU|Hf=m"Dʘ.K~ȝ|kDN7V+5n9|@~v&雉AExW6u?a1HJQ &E޿*l߄ /u" ɑMaM|bY0ԗюP.o_gn(`OzcL%⫶aX2v6n#fWơpmZd5,J֛vT "~Sɜ˿緈Ly9K>c .`2n3ӭJ"J8N]kޡMVd8 =6ᤖ6鸯/jJMk)̾"兩ή%R,T'A5UX̔Tlwӷ=]3o7 p̹i\(bÝyMrS{:e.GRg 7lq0hD5-䣇kU Z(r?y89>N@DU\j[3\R`w=&9cG4b4kOg.\{L!W=-~?'pH" ^E_0i̮u=h4I󚝊]/nrdVR21FTtD^6r-> O]oR,e6/HJm9teRcjcV CLaʣ B ԮPW!| % HOL-Analysis4q`|rPK|җ({{qcD1run:W?~1 aB6OL;ǂQ_ %4`{"3a R|A_(eZdUؿSM2V憔rfrϊIJ}#7!T+H7{":v9!\l[ b&,P l$fG]掟tYytbGT< ntX{%U)VkF 1Xnh KȽz } nw(]ɟ]VJ#n1-*#h>ө-hskjuw$K.)%8 >X^Fómh16}QuS:V p9$oi7Գs\wÍ1JɎĔng֋s/AٜF#5q;=i ȿ_RxO>aMXٙx, Tx$KP"S: gh%ģ9EHhxH㘛Rۮt OV{B=I/n}Ӈ} %G4ZNp$j4Krp,\PŔDG VGĶf!5-$y5V7^{R.JQuq'b0%}=ދ>{yǜk\I@pΑ!xI̚h/dYЏb gb٤N+Vw$ EK77x:zR@dF+-b!~U{qYhG*9kJK+]QzAmf5)ກۿ1Q"O[ ҠÖ W4a?MDX׏?uv6zkkWz䧦I! ^,ң h}FX}~DD_;Xϋ؀FX5Pt[+ [1 -T-r\ne =9QFF5;oOru$\N5A㱩Ƿ}g#̓J)glf'߬]sE:0ٱ[׹mŬh)}뗡ۗ5coT6DB\~k_ͧV͍+8){P\WoEܒ͕K9W)"/OL]ͯB' 2# tùd!bb.,IK/5 @d]{Ztl?D/;UKks˜aQ?6g䭼's`%U0] s7t) U bB@[o߽ҁLu.Uj\tNJ)o[CI@M)p 7O0_z)9$ꦰsM~N2kIT0kxx̂=϶xWr WaY=XD {/=+ÛDötc|3'Z(y8\(Hp(|TxWi=TQBe`9Y_>O Xr^ܞJEw'FEhD#)iJ:eu\%OPr2 UJ,a*'?Ndf<0ƳJ tFFqwκ }&BI{/*qT[P#M<}K=Kf(['+&Tr3RlJɫ'莐 o}C>^·#J/d.dTӛCPVa׃ '~WjVBh !0(6GM0AEUrЈɡ}gmOǡ}ø't _0;ؗlEYvFtJĻج֍hO}DV Ѧحլ#.۠Qd_:kwUg"(d'׽;_ )죨AZUnȕ݊SeMj u,K /+euVYG5TvB N|x χK[ i”X#B$zCdmylݾUc$ҥPY&`Z4xjebihBZp&QZ=ZMvRGk #0|L-9#?eu"p-hv=3zߙ@} !B&vFUKAu+(h{e\zjOZ`^5VDG:j n6Bf"C: A~²aG<%2ΰ'|CDS$>1憇EYh~=4QXm`!P/R%,]ځ21z'b[3+ᵓZ"k@3F9b2= A #ԒM= 7`:,H ~W)lFI,Q='2B7uXбF*]0:n,id+{lj IQeӿN1`uTyJқ+t?H}w3 p 2kgz{׌d=Ww(pгw1m,t4EN[.em:ϻi|gApr֮)}lbvDD 4Y_yhn҅uӦTa< h$p,馒N5DEȧ -T{ :D9Dv;x˙j ]=n @{8TJbrj+y]j+TmD/zy$ɛ!F+g;"p"K7xe^,ꨓbwqwrϾO^SX+;[.&5Ŵ|&JQӗ<W7-yOCL2eG٪Ewg2<}c 4aH mܿewjb̔I( ^ J&iM|Mp-0jp-Y!Epoct5g!ICX0DW?a4;k>8[۶Ok@*@!<;,|HҤboX2"CS[Wd{u >*0zNaG}jFX A.ݏ&`e%mS+ԢF[%y$4X]!DBfqA0ռ>cwQoY OD̮\[a"/7_a!ٽ/j9bD΃`V} 74ּ+@uof1u Tv1}S0(]“KDO.Jx*]X]aHg/YQ0M_P4J[|Ag 7%_Ħb"tr~7q߁߆r2Ѕ TEZŝה?r7r?~pʌ[й rr+3܉ukuHV6a^ fa7?eQj=l <.wPj@^ITA]Gt|9AO% $O FWoNk]y}> ljԓXcbfh95is:B!ydbÁ8Pޕ:iTʨFWÕ{n6N @OR,j 2ctƍW8N )Kym!?0I9͋'vbOۚ*AE co\ _UM)U"_g}Y5 p/Aߓír*\ס~-g"1Kj]卵 ?FI<x!@91KvMW ioj0Gr]zk݄;*Rϖ3-adޣ`%ʔeȚj'p57\bt8_~4J)-^d;ɚoX'E`n8B*y8ىA11W_\gJdN}a])w 4hQ2{KO9Jz1B<=Ԯ:nKݛf/2Ж\>7E j`Tmn,Y;p8y-yfgc_vP=_@B J %woh9RMBزhۊk43+ D!BiȽ\ U^&O5l1%;φBf<))݈ct"I|Z"~Y"` F6:`Ά:GkQvk KJɸh5r/iZ1a8ZU_j>9vs1R-E+f`ljtEV2bxZ I4}}#i)?YivoqJ1<հ7_I"X*$9dW[Qq[o]&0g|-fEq2W ֨8}=@@I`\ڵdbBʜΦkQ%(un ^c}y; E4;PE6ʃR4 d 5 n84e.ƌřf&KoZGC:9+l&/@ _E'w a?׸6"^y 1ecF=Sԟ2\3?4) }xFoуro*w]O闄UAqw٧f%oz/H0 ;͝Wr](4\0(xr<˝(t,+`/ qj(\jAw>+AX0k~G@YmSu$>_N[v4( &<(mGy" r5BۙðĆrgs@ 5Pm-PQT|ѬD[oO 4[jL)WŒ 5q@?s'Hش~l$+jKa[l,DZ5%zp /*duM?~M^le\fq{G# XnRr )eGdAҨ̐wm=s <HkP}J'EV[ZkŽ:s{g>%>!&"k('{6ظJK`$m0X/bĄ+7R4gMdԜ|}nϳ&DTFa[ sq~pKsFrS#}3dh |$#{t?*؂K["L'Ϸ]GtK4Rh\ݞPLKT=/v$8;N聬x~!rdbV~WD] vE|$ʗٜ(!yX!\˱&q~F.}b=b$J;`e!q{*ǐ"I$g/vu84&DƱAC G&P''> ^Q)i;"BШeBـ~y2J(լ1rXS[؟gJqXq7xR^y-t;i5 k2%qu]DҷLyغZΑ.IŤ I縉1o59USp*ixG ʳjNaG0Pa)(2f(ʁSk ?OΑ6C=աn[Ĭm^arlYK{֗A.WլbN7h_x5!ۃTiמL@#Uy'c5P[sm(vaᮊ$ \NgL*Xy%Hk(|EВe_'=)c׃^"(=JNPo[y7J1Iy3 >HwПqg ?T@anҾ y\ݓUAObb'f ušTÜ=2 /-Ԓ3 bIP뉸\W2f`9ztn*sF\.8(`ANFUztdiδWˀ%t*BEߐ¡FtWɀp%G֑ڎeզFtII2o-WmMpΰ T'Ew]ȃv0a7@scwߙ8Y(l|vı->,U~ȅ# B"~5hk{$4뛬B;͠bjBm KU>t5A+4NPӫbVYߑ.( v@Ǝ'8X&FLťV舸! p y+¶>DZ[b|iD境V5Bc2`D^|k:`ohI#qa'2w6Utv.G4`.ۮ)@'J31[%I?I?gv"M2?~en)i>oJ1O곑͏6?c `<D\!zʕjN_%dakVwh3w"~n\hQ/.do7.?dZLc K "d9+;aմYl/YbALj$NbbQ$ G(wٲrzM ջU!m HlR9uېN*=di_BQiui?s omnSJݔ̡ u\ؐvzg%Lf¢JtaXD-xopi08s'6D;딸vQk! (VOOO&OԨS+c2^-+@G$N o"TLRnasM2)٘e~3WaDeHl#bRa uo#Gܒ*+2ܜ8<'jB$^X 7 +-]g'r;ZD#ڨWϝn&'Ơ ` +}$&޿x4z =,J.,n6O&C+â**2&aiʕ* ,rFF.D$߸UsVfGʵwxgaHd4x}2n"W]5Z}N4?Ț~Q#:F!7 XF:J.q?P1s(^d Ji^'<+{-i<"5bDvߋ yLm)e'Jćr!@kHHg)_mڐnYˎ?\ݼIh_/ٛ-ސ7t 1`RQn*("_^|,4'l@'s-&CpCv[G"J'Mma@'C+]9k{h7*o"n[*2痭sFXwpMo5`= 9&]X`qi @(:?p*rgatT!4͟m`;@*żhMwGh1>7CMaJυNCtǪ7TVCh|N}iV+B <c(t_I,b]kSRo]P1MQ3m(RNd i3;(+X̸+}$şh9GMسul$?y,p^?aHNk|a?0PKte2 &+]0Ts72Ae=/NԖ[45\:k Saw+=ƵW@bDJCJm ej_dPԞ7SwL2 AUoX:U=\ AWwzVSIꃓOzr{-Ê{#_ẖi1sk޵ז0+(eSV Rúg.M?(?)}w_{Q432}ݯXSM/!k΂ij]weBg@ ֋,d=,, r5$]&I7_Zfn|ƊijtD\u3w}6b[6EFq8ḯ}n^*<[ņ-o5“@ |H&EwtI$DO))xuBzo}\ OYA0*('L+,U%R:wdۡ| P+%jPߞWyTXĬTGd=LۺJN|娄HP` AT+F9WeqrJX~>6km t1sZ t_hG,ȬW17}.H[Λ.RW~ fM㯾jr,Uwaq_C&Y*vF `aRWD+?i ;xڊ??e&}?i ~W&uq;@cSNޠr{|D. PN)$ ܆Do=S3ԝ@n{ PG}:1'B4`;%7I `1#&s͑:i|'i;hYV 1[#xgxe*v4:{@563l/'v&fTwCࠥ~sA}$Y$hjUkv1gRR}_i#9+'-&.Mfϛi(oݒ /,[,jF: ME+Y#Ŝ0v{4^ 3UkTrwOlT:O( MuIk 㛓Z5Y ?t2D 6'3pLz۝xqɆ8?Uq9.zWN뇈tBpMH̠${3*RjZh/u"H.= vd(9v 1uDZgYZ7zXZִF! 찢]ŗXi%;A\}/g36T yE2+Qu4px&pT ΧDCs'~L蟼v"ܐKH_I*R_?]1E+,5&Tʕ\yy0blZ_;H*EgeL|lHK+ k}s &iss h]RbS'so&+Ky%EwPĕPQţ&f0P;Uo ŖbZ30y`r^ptcf>{G>c>?Ch#И#z\UB[UmlUJ=6}"E[XmȈ uoRHhwK;Q$)Ķ?vP65>=rU>D$Џ:Fy'c9XooWC@0_*I gx8!Εqڬ%Y@zGLPlhU&hlf a拓XC/dA9ʷ(9!P&Ii?2^BWX2$WoFFeRIitڐ&ý֙z%Ėl"n0'v/FM-A,H6&.zv PR;TxZSy&uY~YH]8KCQ|m'S1guU2\`Sr{ 78$&aLrw*ݵ{D@u3#MEo?ZtJ1r38ws T KL#(P~_ۃ,1xp!p7, e^IB$Z#1 -9}#C|U5s~a欅6a[v =i 1Y i?#Z '\Uvi9#{BbLCöSoI ¾frk <}0žY@]oyp%]x)4xbE-S2,2fl# /+[ˇ>tcvp'l=1^Ф4-nꞎmv:,:^͋r6 `%pw~~>ׅmoeRfw/g}&tg-ǓD/jƷy4JB |:$dZ ڲyņ,c<nN󢍸+Qg 3x,jᗂˌ|}͋i;@bUGWnGuLw*]`^6^kzk976p~7c`d_o>>Pڍ1 U:^>^:"´*I2vc?14wNCp:|%1g !8j.#!'/۰@A}PEB}k.)"ވ}=i8DsʨXr(&0 AZ& Jͽ_$6먶}gү6kHQT7=nS(# U)U(lv= I':ZN <##Ι]*exek\WUKː/Z)ߕL˦SǠJ dPa4m^/-EkX63( \2ߑ,*;L+cI:ʤ8kq`N}LyW[ьIP&WI^X{H2u%@+zUm?AGV^wV,,Sa)4zo~@03|L2% yk:5U 0*9b|tɞiIظtwZ+7}p'>XEor]7gIğ*02?_BgWCaC4!1!EϢυ|Tį Pkn;4xhM ;cnqHFWՑ{,NrTrk*)z,m8_p#] 郫\t!IP) >Bp]_MZ؟2/,%zV{c3pe=fS34;ھ3LĚ2^Q;Ԁ;M\b)v/{';4YN$zN 37l#Ef0Y6OPO,{vb3)U'=pwrB71x*)-=a*t<:&2j} X0@ȔhF? 07оol~(dޘ/mW_sȌw $: rug!beIюcti_ 냼Ƀ;StR14qjtFW(š_T'xArZ}yE d|"@Z@A)!$UsI(XBߧF>vZ4;bpG}6`kԡm96V]`:Nv%mA:p ig.R-22=} n'8Ti/$19F|]d\!YQхKQc%Τq@qv.F兩jsZ/7ED|3YNw(X@G> I%IĀu9xrkS)G7f2QbA 7{.7& שȠQȒm 'A).;*0YrŃ!lY*>gԠXǐhzv^d(8,qX>{_ gJ:ӮF9n(kKǾ`ASv+P!E+ΈajJ~֋]gAY|:Ы6 mwrfAaɔڰ{T=/j$HGjsU2a`@]6s_ox f@.Tc݆ \ЄpW/'yDv?&NbR y`{f{m˚=*~J HMm^T O~xːWb;+OdԄ^z&mW%g³N9N յ `PJjX{:%uPNu+JĜ2t(x)w!ATxA4Cs-%/^<\ CFme)CR K֩wō۶o>)MG(BC&A_RL|YS񘭵w-yR`XL:`9BR?{]- oqd W8؀ U𳒾N} 2a+S+VAVx$ʩ~kVǚ ֧e5/ov\$E Ƀ!fEltEͥa>+u5t^HUYa&@NG /,K+kdT0H\Xu_a6W"}3n}{uOksoۤ# J(nI;JK]=e\#cͰNAe#2dDy1ר_i kIZ?_]M(ؤS:Mv^B(t #b)p<#֟q ߱4mM7WJ݄_P5jIC<\{lxnK;:k0;&5%ip曜-zu2hl?θOXzVfa VM“XtEʍRPZ߮qCԟj(UQ/˔28XM[vv0{SЈ[h4yYФixB& OkZCAƇF_!IḠ%m=ܒEFT Y7Za)>> gW'm6cz$Dr 0i(HWKl"c0 /4?jȳRvK[7\XcRrd7{m/#|:}[d@ep]?ֺn-Ar7xz X X,cA2cË 44J1Pȳ_'Kq 1UVL0dDz&ĭM[GG -GlJ=] 0|.kfj]EG&= imɹ\ >Nqu {/lS0ۖPi]ȳ~S 8H]dy9Tꨋ)@8#bpG.+m^3qkhO3ΜL7sd;Ah zPޕ5g KKBP }$7k 䉪Lb a>fc 8gSSkj6焿~ȫ)";ٵZm{fj|dN6'M0}= ΋gxU`=J' !g^r 6<ߗrSNtAN zsnXwefj,R+j]lz':=Y(BwgbHtmHʚJiwudth}RL. Kqg KrSW.̣>5W:N+f_Symq> GЦ#}5_49Sמp{#Dq+_sO$g#k!]PwjH9/ +7BA*k(+!o.Ÿ!{2!ؖgǘgW'M3XNyaGT-"\Y>򋜼'qNXJEvIv{VYȎWVTQv:31 Pc (wJzEKJ|M 2LY):EW +5H,* /Q}hkM=GZ(/AVX+m'TH  M^w;v|:'oz=av1*|kgML&c ׾`U ]PgW9*M [Cr5q#1js($~-JLSJV)RGKjȷdpm eu4Y`vܚv]mۣn9\VKv$tc;"a c2!g!B펙;9WJ2Jش ɍb,xn#"EvV\`9EI6ՠ㏣,.r_:,Ur-9V-Sk[i3<6qAvÅe %i:}< !HkPͭbeİɣ.uu5y<9teCՑk-ŖdM^tv!F|xܷ̐6/KpL>dAq=ba ~MVA~W10dWv:<$3z&3F {Ρh{![_->i6̭f#b@R 4TcO1KdII0/OD/޽ߒ]Xj3'7y:|!c =IH_lhۛ X~:]B7apOZ h-rS;\M6:Uyr]۴ k6]}_j=gliu+gǷS MԷ8`#Kc ? rO9d/6$bPc=T]o+ˮv֥uFY Mnv&n' 4oHu9^iӲCoB_iժT&06[ԋxч,)CE+$ޣb7׽K{|Vmhi+/LRc}Ek?w.4jͣs\אG~EnĐWK ;eKG[W"xTv2:|ĮDž.\!E@1(Wbl *膴år'/N׀VVAj{͡ |FzNymS \VFur .s F[zWLOc6w=fw\ J $^1!w}d& jTH(o5j4nRMW}VX꫺\uΐnHGf a"]=\x0D II\4B'c)(~C-G{:dE)M0ۛHC/-U{~aa2Q ;Oʩg"yv>|Tl_|2IaTӭ9pnC9Jk_n BA rOL`^د0B>咃.­Ȋ%alo'& <:+2]&';@8c ז.8={c|C /&m!5D28穵u6ɚ0_i9gFvc~.$2ʱhf))vX I\ge.HL8@cB@,IY2\<%#j҇9 9>' sv|p(o g1aYX12 n{:ɜwꥺfCIcSǠ6$5LX!GĀP׽-L!({rmtu{k|{.G6ԁن6o%F5idࡴ];K,P;4ΦAuucGp{<3xݹ*ٽ@Y^7Z[6dǮlO~c[W(BuY/cݷ@p"zsҊ05FFs`9`TC Z򥬔B~ی sg?ZmOh^p$Dy}O,wq=#CQGANvzM*G ڄ=u55D ˿ K10.Ī e$xZlJMԬyR ?ʪ !.aULޣ*(,,a(ԈQ:.$#ՐKA,)`Ĩܷ <´(O(ȹdvX_{_!q ƟO VMD uuQlȶ/"ǒ2pީbuyPqblQ0-uz[!aUQW, MT: b c7륾2+Iq &Ќ>xV]Y'cOցDoQ`+[_gE3>!I !\I>5l ,u /g̾ 4{묯1^JF9"{ػcgmîN]CX79z^'?Ly &oϦpڀ 8rrwA=Q B !ɾV{H{{[nD>)jhϬ}ky4z^4-`>sRYmo o/$b ih#IHD-^+n[[kk(S*S}t{V.c\Gpʖ!29&8w6zJzK<3V@Dƥ~?a囊M0ݹAQg)=uÉ^M I~a* q Q r"3}6p[/+9Bgm/l8T,N"U0U\@<)܏d͕,ͼ@2VH #ګtoJ#@uTᑈDyҸK3Aۼ^[ 'Jqɀ_zq͸>a92kDBY".R99נCgefA8y3y 'nA@fץ+lnqs΂2y2N7K-{KIQf4\GnΡfVXߵ>w𹫻2n]CnDꫭF8pٜ>P/@ CHAU'E*k3MxMIn/Xdb 좗h-r7+Xf$[@lb3ZVU`DE~fyXkmυ1z(l#wKQI\Ǝvj SqT &a$[D}cs, (\7QY)>¯Шp'i]ukp/=Vea ;o󆘄hJe"<õ52ɑHH*-[-zC*L yEBdon*-0=C> R͏p`=Q 1|TВ۔3Kp0r'@dh&$rBnS 0> V"cÖB9SFz/tJW,7BFp!6 `H9 &%%cS*3> 0O;oTsʣFa@P&_㺸]*zwg2S:{UI%5Rh/:fȓ1fuZ͕P6DiǤ@Rf[JP#î$7B pb& ԖzfQܣQ-Vu6Ӿ.~;PqGȺ &]X OLo瓦mc^4ֶ';sٟ¤].A>/\q2d{W,'[Oa'~aaHO' )ټE1cLյ:XZv?v-T]^(@UolV[twc|Lߢ[SO:=EgG18ԁ c'2ŊjZfD_^z,# BSCSI Xc v65 1oyw;#.$ w$C#BkgfLaT=W?X^qԴ;KheQq$s1e%Mؖ]A8ף{$ս4ؗPPPb3 jD"xP$"''D_KcAНxso"6I6jw\M,Xœ[wr]=.7β:9Pr%[@ %v|&$er50[x$-x"]aҥ'3h,fh]Y{:F0zc^ ¬clQ ?vV=Y>fw{T!d[(nW/Ӥ6F^Z( ~aF(q}9ކ59LdK^FW,Ł0|=9VzIqL#pD"4Vj^~¬K?p8vEm'UhhM,f8t5׹p4wTi$öTrXaCM$aҪ 6B LqF& fki/iCm`t& 8({Oa)@54Є {߬ (>͝[1n/1APtm:OKǰ[FM1| -ϕ7ѭb s9eҖ̔)g(* DaW@}9XDlڴDAoCtF]I?vr~ML{O>^x\ &>\1yϛzo-,'b}CvgU4M }׏v:r5$ݣ;t+jwrŮ!#@ ke p~#(]r᮶ p̐לвcbগ4jhU7R8M=K֥$M_XӠ[dϝZnuv08tx^bKAp[Xc4;})MN<⎝anơ&\0NlM >:s nZIRTt̜˭$=iWWAAd0ig4V8%QZl>wEJe B Tp.F ݵn\v`NJfu,1Gy5\##ςÉ;yB= 9yS7  ҬK$4j_:h-3S9cPֱDs(2q&DЮ h""SiKy?էkDz*$+*Mѵ*SKg:^Rw={@/IZyBnw %<2S(=W'RändDaGhtc=~:_$/|@iYF,(+zlL2Tmf 䫺uV5{2R'Aˤ5)f#o%WSh '!G{Sy) ГpS%Lk Fl|[_4;0kj6mQR:mn#>)Ն^a 'E\uX}ly B3eNy,$2R)7H[*ifpBI=lwGn,+tDduB&NÉwm_?N Me_iqm'fUAn7}ml `AK"{n*nuy?83C#0IS\0ZTXfx/t(,{8j;hIuޑsB\;FOamֆnե^z?zzLE^ذ~m=jZ~ 5%?ѬO$ܰN@n8i"v'}s#X^NN/[bA6$.c;əZ-8FD~e8q&+-f\6 oy ͱl-=pjo{Ӥ T ԾL=U@y>sLb g)\y!~^l'UA0.AIkS=pHelSo$MliA7 $'&XIy"z 3Umt >zCyf8/H݆  3:+fR-#J0ѥ8Sa?u1*!Xfr͸X"A/ꩄ@j`E9@Pvx [)jsPw 1$!G͚j\!K `)8 E .D/OZ}f ]8L~\˟LDXs;It5\9FڪBo #iYXt9KqUL,Y7J~B>*&Ȉt[Lkl"Ɣ'.E;ݜMZMKiok+8xVT TS4Ơa`o)M:4e'4+@Ciw,Fܢ%#ۜԻ #Ok^,o;= t2V;E - -9jr-Y0A Ed23u\wj)<.ڋ8[$G/}|납sƺP6#h*{><G{ͧc_Ɯf. E"s ub mB:}QǗ ;ݼqڞĻOf[Gd͜Iye1`}=b=8VnO}yQyѮ F阰ά7ϟu !8ybգ>3gE'n~"Н}~#5)(_ 4{3\"f&_V5'aD LE2 Ը;)b v%AZ?ȴ`gDIJls[AsbLKVՑ E 'P9?݀I{yD_+fm_YƸ-"V=BȒ&- @2CƸJU]I-tZ$ui./Fh)%)aH1wlΨԖ;{6,VU/2ᒳ'6bT? b^a#6DV7rVA qw-d\BݥDu~z0c oƶ8F)IjYn,χ]HxM8 źe$3U1Vn" ΡЃؠې޾'3*ՠ ¯c#;f>f9s HnÞ ^qp-\^$~w8)Bd[:q=fe&(2_]( =^rG&Oм(ѵKQ>E?h*&wMZ{{{]wC.̞54Ϥ'L2#ijڅ~&h47f }g645q^4f!:Mr VӭiOa7Fa2JEtZk`'_M\[1ڑv?%:U d+#bN"m'M5Yõ^ώ%|`YDr-iDW_18pe$RGw[53/9+ Yi}k1G۔;+$fmrty?<^Eoj}''9 nb]# Ĩ8HECSv n ]kyV\#s]Jlݘf@v`=IIn =M#HSUܜ3 b`nSBFmy:뻞0d&O5H`D4LA2V1Tkc{?֒O.Z~qLz#]鍹#tģOqOǹvz$ZH'$jf=WeUySG`ԯvr'I0s~Q=־ M8hIyJ { \+1 rvzg_hs¹Ⱦk=$4P49 Ҋ=-y%SwczaY|"_Z ?Vp02rMI_N31BG,ɱ]j'8sVҫZNt%`80_Nv|%.#>_+硜`1+,]؟<[Ѫ-ΚmƱ&T' m=`-WG-5\CQנig\~f0:]"Gw ;oH OƐkf:2}܏RDstRj0f}VwjE2ݴŌNv6f^?c0b% /ĉ`䦯*ѻ*itS٘Ck9pѿ@1qg ̻Q Eޝ{I~NU# a@ IlNa-=um`pE"RQr ̄S`V/$к=Ee#(9>;zy E.`B@Ƣ:ǂ;yC\j( k/^Q4bistUhkZ)ubD.1,zFW .j%)%5.\_i]Ʒ42יf?0G*0fN05ѕ?M{^=@ƎwǁIWU{J>FNP ;XWc!Z$][oQ"`CSo&ؽ;@hrA#v1$<"imM#Iu 1 2?$ٕy(Ѽ [#Cy-+bY4y".(hlÛW> %2~kL'#G@ 2 >jIx k-a4DA~& !UzIҜVI-*ip5\EEރ[hWy MŒQP,-Oq.34{ sAky Teg>7(A2nՈwϙVNkLz*2z^.cF{/-Lyv̢eOk4u< 7W4{ '~P_jXgS?ܘHvRdms]iQFַذ䐱ZaF>$eD3GQzgl PFWF_0^LA/(~ͷaJx4zlR̕?A1=8Ⓐ z9`4XwR<#31:HB#KG* G:{=U \;P?粦8E?zsixBT;]زܪJPLyѺ dyiMW6'p= iV[K5%&Y)3802rhLh孞e9HjU4h8-K1( kԀ; $1UE `LeWަLȻ|lX@tm)RUK+4p1aXˋS8ZS=6\2V6((XMf?n%#kxC`[ć79ڻNo'S0 #y)Rgۅ׶A›jn5};wh`d5eo(US5IlA%J&_8kUY176nX?y"96!}i}NB)Lz9uO5N{+{evvM&޷]gS3r\{;5+nHՓgunB*y%,wDUos (r# b鷛Pr6 o#&N:)_t[3f&Ǩ#Rn-3@ ޫxފ8!WU'cQA4'T`ӈGaa)M/ʲovmMhC-S_6`PˏY|J)M 0Bέ?I@@F\{?/W|y:|i8 Kz8q{ 2CNh/ u ~mعJ']*US]9߱T>2ȴms 09o-5h{04,pYaAeL 1FG&GIy^eՍT3N`Fr-h~ PAZ7(gՀ'/&"^Ņm&ghGA|;_#xEg=e~)rf#7]n0u:i&Iط^,v;-@+DP\Zޘv0h/"<L>o7Ue?s:@(ڝY^w}MľRU0Lmz!!)t61_$ Ws@h.R@#@SLCI Wcl8wRJ.V\4 ;|n2\&D`wAYY i_qmsg ijU":+ڞ֨-Lu0Lu t&'SW/-rE47H1ZrGO`u2xtG"8lw-@Z}re XI͕P}-oE-CeALNf1R3ĩ_nSjsI]T7BoJ0]Xu@}S1멃v.Ǡvp`l>O:ɔd\:Gz&{dM9GeL4Y~ZIyyf'6!*$+:E?A=m;ZekY[L`F;;NtQ/@?$?-iMjʩnj²>8-e (89s^i"Hܝi/fuE(YzZ&o>@~h9`|Yg#OyhuxU)/2یӤMY-)o&+yC/nB4I=pX#c3GsNю4d c62R=J|KM#=Ͳ9"J{^rᲰlL2uj uPyR5sȒRG43i{R 1-P6 ײQ*Ǡ(Řz\l Rj_fEGg`F5#(<)pxQ H o-?5 n@s Y$>VR%Qg,X00ȿsfz^ULZ *|sde{{hWP{$k="7[*bfLYc5:zS!8+f3AI.!SUߙ,Y5Bh>IH=Ee`FRDlbe<;fV+ES?|#}#H;$ Ǝ@ Xjv3 @Gl_#f<#$\?VY3f֗$_Ө6ew—)}Y+QJV.jƇX'JF z3jO 7d\^SC u,[yRb^UZ3-F;J#NUʳc,FxvJ).k!!"ݗoշF-@0mʢG*\TcpI¾$`Yt{7?D٤8nmgO(ak>V,ZQ>;">bq*buQ9%L:rUv8̖51=4e."h4b&v:};x4\GTv#w>~kg ?T)H_tu!5*~6tQ_enUl0}}r^~oZl4NNxnf`)&=5ɂS^X bi9&*`NE]pˤ]bKuһvsQUL{p4^xmO#(afģԪ0y\l L凹!Peym䕢ūǾ[`keЈcU ~$Gh8Yáhwiʅ$gG˴?"XJ,Nβ_[:xgRw4}녵-` jQl/F䬇m$кc#AL'-j ;@gʄ%=S#y .&:FM8yL|t .=r}|(80/LBpUrtn<IQRc ?en&}GLe67<ݒUMX8K)jCn^%L~)fYսȒ_ ]掊qV zN<~ehp0&]ƐS !-th6nBL;1HBb&bv+-Yٛb 7iR1'M䷁qeb4d[󸥭XBdu xeȈd &3J *H(mSje7 !Kwh&<~%@Aƚ߭H>ɂ4BNTֻr6Q|3|N$J}43tR's`;_[xUt35.S^N azS@ ]BkIA~V!^ 93DkTS˜亂# &Scw2;1Em* *Z8)9~\Fk~G{I5F+m8tQۿVr ӫ:';1$`f?2xgA+YX/eff5v& :|( &L]PҠb'2ͺx}2 aİUAk<&[ma"I"N_Zrܸ 6Z+]Րpegv\80.kX0y67 EQ~ ;S uWk+X`E[׿jtQ*r҆j7ec d璛1Ud]:ajnӎǽ_idc]ǡP 78/{ٸ! aS=>=l[e#Ylˌ\p"q]_m[4JB44ݳ =4J#89GmL! !weBOOB37jR6%#>{;./"pmJP.KJ=_fuJR?a/tLOaDG~O$|Ci,-B(.UYBD5J}?X_084hb*liLBT\L3IPuvFEЧ ;;ӷ+j 3)!2w_քTVelx"`ѺE&G# qT&Vdb7sZ@Ic^E:(߻4z4yA z_FH@s Lu#"oǨnuTk uW0ϐYλzOHU(vP|+h-I]V%.M'溳w|8a$hRݗM1 ]&%P.uPPjBG|B?K˭AlAv1ZP)DyZvYWDEKGK%NLhG[(hIp>:9I3\ B+Xc3>}eY ǥקuصTEnH=kߖx"jn8|u n4-@b>(u W›+ TeBr{[=3ia$ү2toȰqxxFxB>q0TQ[ }387+v.E$Bp' 3ou.9? <C*C&D zϘyuH^vqYbFr[a Ty7ruQNճIx1Y@ j]9ɘH50V0C@#^o6$p7F(Ct|t~Gb)] MO ?!VO&U. op` 1? DV!ІcK !C)t2Rg]Yu*VFe?fھ޹?(CZ0Yw"0\u/VdX{ FYaǤ>yx ՝gP2-$fRXq)Oyg6x~=5?@Тn(Mc$,O0Uz y{j5`W*K)}ӏctG{O1mzaE;Y0χ psW %^?rYVb٘(ZX:7o^'m 72[KW[RIHb;C)mFa:_F.Wni2ARM\]%fBYf .1s̄P`;@ I]+" I0*((%Ռ', 0.YsꘐMub=W n{@î9 |r`ϸ]Zz0|K{T?kuo22 &wW+|"`^2h4 ş(KƂ(Чdc1#t56K9.7wkb 'B9oT2 1`.?"X?q^[>`ٽGAԡEyjRAYcMx-7z ރVnh=9O >#8JiƟa7WɤӢ *ͧꦷ!1E~Ê@m#lP[)BJc:o+Hi4AdAUq+ Jvb^/Ų)ل;f|9"#hLZm Z#QVi)?u02lѯD :馱#uM|4ls3HE_SBBNBR\H[UpO`dMtll3r!z4g!r{7ƢUwoCp7|SJhڅ n8 ­bAFLam9IJS'X$=w}{C׻ŲUک:YtM7HVkǮ  R0pT/0Ov`!8v m-xLg4.=1:d03E׺#E%QYPL]b!{񮟅v8 ȟ5g=0|VM.PV0aE˟-2vyy_C |)=:rJ>dm1MM? Ġh砭4vO$+XidU7yc:@RK Xy9LS"C\]07G ڧjS_ hH!XކZn¨U,%:*ғjJSwԩZJ!T`HLZf3:&;! >f21jTqy Uj|fj&H1ݪŽĄ-1jUŐqZ剽?Z+6K/+:C'6]9S=ަ~D]Xֿ%)z◽X)qœ4X`gP&jX(1(?)/{<%d1n? 7' EfzZ+ h!B q1.mϭ4N4-VqVFw2KQ07DH2d*jl{QbVm4ɛVF w9zXY(8XY~^%w0j>EIF7Qap rlafS<ٻ! Ȳ igHIG~L08:S ؞D۳|w),8& 5\q$$ (ͷG$ ~A/*w6ooIcATm>3S p|@}zZSAvP0?>?[Ji;C x6F*= Z\ٮ{%0go d|,aFX1 $]ܵݶ8_C)HgH.N z4g7fxGnI3L|$Hil| 4x¸틻jSuǖ 55,wOL*zr^c>Tl UPbܱT[2&29aOa8 9 ֽ F?+JA*)YŐ9g_DiX5`i OGzWř†尡J9/qdgMNVbt"D۲ʡdA|&~ÊXQn ̡Iy=F[m WRʁW#j=#-U$GlҀzTҰd[A?[mH^u:0ZD4 󏺱HgeJ{O orjKk6R~Zecb\񩞌Cr+_XIP>X셸$TŠb~+<K+,NU—x{Ci\XuiP>S/^Z%ri#Co8m%6E3ߐjbpP02Vz˭ٛqZĕf 0)-E4^4+H$Sb9AR8+N J@w8WO1UB<,ٮO=H,؎v: e׶\xNv9aZX^g͛"_纲s;Yd= MPPCX!_U4M=FWk0NVn)O6WlNh2>A^.]Աi|q*˳V[kQMLG-W̟bI7 z+:󃐈 6U!'<$~}-v"3"9,!0W*r6y5 +|vX;a=lzUބ~[11ŶNr㡣*81crI xԔG ^'܇lCZkis`kebp̺n K&ADNJ#foq9J\L;I< kJfg,oCu}UB;~DQ_1T`uf f[H D3L!@ղczveG6ż5\dЉ,sx1#JY:'.H@1px7$`B$K Ïo4'/U.` }iIU a*7ʮv;L æđC~+k;\!_93|_ rϽKOiF}h_?tT5:LPa:'*I;LBv4ۚ(D%Ƒ ա$+/vgzIlt,+U]Q0>׋sUFo_lTLҸ.+h9`Mp脋vƏ#e>qM].xG]- qQly %Hk_-βnx3 =1N[094VhJSn)]9T:xu`ӑ~6BM6\&; l)}49fE?]J}{ԙ{~t V3&"U9ߌB PۊpϻvVK͏M|%Y"ͭ!kМ8)u'3K|n)'O(:7||4N @O! MΨZ~dz7PWU"F8Z)?߈[&o ol^&3G,LE !i.Ln 1${C΍Cߡ|+4>,vw[v [9h*i2AR*-Z)M|7pP/ٔJֱ‘K(+CgL0P i%tj2XR:690}[}}TPPC+ap\)ns^.LvA`Rgi58yef%PLb9o,6I?Hz_Ĭ=4_E`o'(,&Yє}-h'aD ,1֪0>pJ=oe#0]@%&Eu;?/üDr@Ʀɐ܌C"wf>D 0Ah3YUĩj#S= S:`_6L'ջĪrWOtV<4];$:dyuJx*IFsюЄQ!SȎѭ=(+LJ=A5)XO>;L{,o-w0*[ۍ[sx,"A%0wGxpAGk?Ѯqg(`Z CŎh+ulԀD{?֍!ϨF+UT =&+ȉs:-n3o]VWK\JSQ/n$Y6׿[h@qGty?g-DȃoIv-uέZOb+ge dI![5zb5֑yHTbT1s,M#YKxoId,oɬ.)5jZd-j%. 4I'STνpō72 ruEq;sx㥔?~|~+8KhҾcuYuޜTn~ֆ^/fUV~k&T(p=޿W8d4+ 1NS0(n''Z%F=ˋ%}T쬆.d+FK9~n&1;r/]ߡ:?Găhmg3`3Y"ZVn&}fq"0npG7u3bp``> ~E`7\Ws S'8<@ )02C˶m1cx a[* Bat烷yP2 ɽnk>I&ŭjrk1«DZ){p禮sA||3p+eeѱd>;Xi)rL=^r!DrU] &Jb-<%uAmk3^yz[{3 egu:_+XU iI Xְ֙\h bRi[H0*A uRZ"|_/n[*C4Hu+*h3!Y]Hsjfvr\GAG8>#n:>B-DmMІU >&IHOSt}:av6BJҀ/E/W+pqk[cDowEȊ;#x n=xS0wz?%é5%yV2Éݯit#8tzd BfF x&xAʏlYaӒvfجֈ7``8_F!@X31&Ã9DE^ 7QFPLύ³ٴ'Xbة<᷎^]C i_FX&gC]sg|P'Y8YDaMwb2dtcHL` (~IWLGd RgE9kH+5SQL'>j1 }Zf Xv1u]Z-dm)p-(<7|8kuv` @,}*>x& d*^\}Fo?PtzY kmV~!σ2$۩$I?@jVΠJ(rl) Zk_[ۙ]Oafz4d_ռwGCpaDQFVּl Xty0vZܴEVB}7= Õm;"^&& G'm>EY8,)r&*vEła $بg.ګVX3_scFP#yXS;ooZ7ݹsWIZoBf}_6XIk3or.N0M87ÈȷhTo4>1.YNr[ շk}UKIo$bU*{)S/P<:yܗY]}qQ@7^myK2%Ur>GNSf`a- nCEmeV&0iBa",7L"S qf,'!7nO6o7G ǴFuT~FgIYrȬFKP]ֺP |!~1KxK fȢ*;:%m%ڽ[Y9ɛA{Q՟3=NOA5 ǭxgƊazkzGTDrPv ODIJ/5[Q) INxy=ts\%WVoՅ%{)s|߲'>}7+!s2Æ˒Ai΃})O}̽4.'3p$RD|yN[ ,#MWPkg] x P@2sVj@$0?=~rF(A4e18@X{"Ip#{ %,q[}T[~sl:|`-^&ΰTmYo??K,!?CZ NX`%j^pyu;Z^0^ $;bi.Wz7\^Nu cNPLo mz inW/`*p<ͬW7_xII22]"]RcFpcd#9rCs&Qf?UE˕1[Ši2rmG3#hPWLhYfO$@WJ]W Fn?:Z In zx{r@8Sju<# ;7N`_9eC(pΎco*6J< gVy/&*tg[{CdJ~3[G|%q r#ii-DvP+ե?X oA&K(_ 6cP=nHNLr")cgzM!f <>ГQ'wL5E$8A٬zKy]F#!^*ٲ-sOl6`3gn"iBYh#i#-֋ge sP{6aXM } ű\t=deoS2f kZӓMv8.hȭ 7>Z!'"ޟ;j ; Wc .8:DzШ> aG[484wXa>B RJSdEYF p{h>OR[Np[bb8K]*G콝\#C֯E(9҄ψ\!v0 jwܥD0&94ueNi=$-!T V͓*@vXS7خǰQ FDlM2#Tw^QM:RAA7w>C*Z/~+{0 $4Gqw08LXX TգI'7_|Mlꄹ_#**3_t 3p"W&L;m[ckOEP# 79UYR]?dîg!= #M$ "-xc*XN>I*~KQ}*gG+AK֮H~HB%%7P)54 Gqbs7Ƶa8iΕPk^a/R!Tͷ'eB8.ѬP9)4N[1BYҮT:|IG!U+ ˆٽ8H]).;m+n^`9'4cgIFpn+8 խF)h 0'LV>4c1e ćW0+\OIUQ$% WL,lh6u f?0x:CAlT*0_'*fJ+{^4tVW2yZH'S7`D%ziy5CI]koK@d!,گʔIDUTZ&'D ߧ%wPNv0.`nΉ@|.h1Πr&Mٟ} *f/bҋҦp6fv،Ud1_w3?)wtZx@-)jFf(@Ҕp6eTS՝ZINUg%B;̜Zztdr Lm;SoՓJ%냲j^HJ@ tg=aVl;$YS`TV =KD wMX.@5KTͶ< }J\tj-U$q1&k_ >z>2h1%'F!y ]AkR$M#/B.u.2E%\vʟK +Bj4o(dH;s?9CI0KBK MhC `r7L߮'u ѿE *VCɫ-'fOym}o?z/_F[[帵 i2| MQLkyRqX$d.SeWg%jbioٶ-Q*n_7M@βcRsă 8e!l۰`\Y,Nzv!-R,5.JȎKʔ%g]mpN7VVEIaMb1/S/$8=P V;r )ܖ BG+ :-X~:0!DGOOEM2;owRU:,grsGkux. 7Z,1||<VWߕpWOs7mAjCDZS=;{-KrZA@Go+i}OB45[fzYKmՀ%pnJ [L^MǕWQTW/Eᕸ`W9P:}q_ "LeP>+b8hZ˞;( F wj{i%P9iSGκ變%)hoϑIK!Ͳbk?^!sԻ<;^mVZaF"' !*^6^ϻ/ܠ=`;2wb,4]Lf|5pbw1^Gg$84wqV5;u'Z|$ |Z"UaCYXlţ ۜY!&Mأ6%B!s^ |a '[t7v yR/JM?Vnn4+p7"7v7W@e)'#c9pX=6ٍ~{%eaOnr7z}p5T(= lX],;4p #žbHZΈb/;Cd:% H~ 1ωr\!klWǀYaȹ!MTmft2BHgYZ07be127e9a4c4cc120487e8e7f30499c429b75cd 091a6508a0e58a4b368f3499cce62453d6753de5 140095de78530430e00f54c7bf413f89664dba8d 169639a428ebd8259491a58b871be0c6c428cdf1 17053df9129b0838d0ecd442847bd79fa8e8ddc6 17d86c4d8a6504c389685a0f9e0c77653f19214b 195c87652c5c47600c8c0ae58cd39b46dfe731f9 1f127725669952dbc28327cf27d7070cbd1be720 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 2137523c1bd10ada2fa6dc89aa70eea17db24ab7 256315e11fa60ddf9114c8cf422c39b043a8d517 2a4ef140d74aa91079a6d9c81a88e8add8aeb765 2ae75b509577c8147af71c8ce3870fede6a8974c 2b0615973a340d9ff465012482df716d64bccef2 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 470dfa1ca01145f99e36c24d2f16c02c98e246df 48afadfcdcaf709a343757cc18bedbb98449c51f 497a7dc74c816818c36b237b6a04d3baa5c5c132 4d8412830378ef34f18b2fd4bcadc39d273e8f16 5083ca6ddf79883a08cd6469c8fd361e6bed4407 540e068b980eb8cd7366459541e8f881ee1e8560 58336156b5aacff4dd25124ef5c99e0df5ce1b95 5d7b08e5cbea128d1d4092ffb1763e6ed6968050 5dfadbb72a49e84358b310c816e9aa44a290da0e 5e44ecdb2688e5de7a4542f1491f7ecdbb442a9c 5ef479cab507b31941d968efb5a06d6e2d9d5b23 60fb006eb6c5260c22ff4a1fad89a9d862448d40 685379c2f0748467b0d68cb4759ec6f692e14983 6db046aa6dd7abdab3ba36a978d19f4ddda71d92 6de66533dcfabd77422f9f3abc94940b9c64a4dd 766092bb1d87459010ab034d96ac0c3898582675 7865aa8a4378df96b005eafe2b38c52562a3efc8 82cfaba3c8ffe327cdc139e6ee44148230b29afe 83cd29aad33e2fbf565ec4a85986110a18eab57d 84804a5dd95d3e30a0c8e802798f95d4469c30ce 859f04e4c3059ad242a47dcf543940f9d02edb2e 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 91a709751d422a5c99ff6221e78f6b756ec46575 9266565442cd6b2d31e4f56d1735aecc22f817dd 9594a3ba903d9ad8f5f17f5129739da7679800dd a1c98b27dda07b5f321e5d30ad5f312e522693e8 a612d605e4a059d80c4db56e04c3291c02d8f652 a7834f858a794d670da89292f9840553502ffd1f a858e15c16f5fca0b47fdcba4bf4102f18930d5d a93e4d4b6b748a9e088128b5996b1b9c21696051 addfed7bebbe3637beea3790c13c2ccadf92af5e b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b50f3602dc2ef36f49fd0f3f9b96e592ee3b0487 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b90940a18479fe42bd017a1d37c60983678f71fd bd088478111e630116c4d7107747c16102721eaa c1651ecc4ff041995c8058ead56102953885da58 c48449c0ce103b98b75678115a0f0929f595c46c cf787c68371f62268897ab176f6d3bcd402e3fcb d741d8f4aa003182372f44ff07ca2a6339d7a296 d79c576ace415d5b53cd66aebf0468338c08bc13 e5694ce9a5e406faeb16a4ecf9d748963bb975b4 e63024155ffcf6ce5d23f4a817d6a42376961268 ead397d8a759322930167029ff4cc80278321b02 f0a83afa077a6e2514cb010519d4918ef085d4ec f0fe5d99d9b9f2c0c0782eeba3e866da2a657b55 f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f 839b44e946d25f579f005d34bf2b01c8c50a8382 38e9905181602a320340a0cad27ea92de62857480beff611cd94b5fa7aa7bfc129b0c2bacd34771d