SQLite format 3@ =- 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 11_T / HOL-ex:threads=2elapsed=595.744cpu=1130.344gc=85.800factor=1.907zXZִF! I#W]ŗXf1-q恉<<V54T MԴMg͢꺝-[,L +SoSXEgX1=fC ǭP.䱓u'_ĉ IfG@u%gS/.zű؁OExi]bSmq`>V2+EQZ؇2~FjGZkp[Fi#z6n5o9޸45h*)^bB}i_³/*VMSZe@sELCFw}N J˚|u(u<p\U@eV;eva 0X?`~%*+?ㅼa7A^.oƋl2 3FXpƆmءow <۷8/:HF~SH&n.%Mmyg`TPf `S, S ¬?d p|ד~[3Rh.ʕ֟C,1]>b4tB!Q}>I[=CZԡ\DFO~wi`t)g׼&^tRYލ@3Qyp+ )SL5\@tpN@wЎ BOb(H9HLd mViJS0K^Ɏכa08#.l{a?P 9\4*dt#5l##8␄E`^V *?`I88# DP"   HOL-ex] S]!OmV 2G~aqʋ `%h/}-+ėLSG. !*oN\\;;댸i3 $–oPf\_e8z晃e<'4-CdɊ.LPt0#-iD{Ɠ{P$NvL(ɐh;|g)\2`<,ӟ)Q{IL ΰry*ܥ`b2 .ڄwoϐ]y2e&x1뙢nq3U`BnW+xQ\1#dcTD2{[φ„@/'!GXl;C$unQf 1,-l=xLiewD.$ROfON\%W:kpmzܢY/`濕X!gG8"9[ XٞB4ԼAThȸݤb;v}*]OS13 SYu]ǀ8W5&VF15d]aZ3c*΋Vr=dڤ}0`*AEl|k}R@Asҽ7K#x^fl3@:QT=%pO52JtS^o]7u{XAPB| (~q\$exB4Vϡ5 ~LZпRC18VZbNUzp:ev-,CLs5%k&^HW`O:{{ 8~|'$yޅQÙa|Y& j=>j;2nIڹ/ X@YvZ+[ w)ȎOo.Db 5E}'9N{QTN7rz[!q? .̽;AUȿY|V^hȼa,pYUna, [_c]옧F] Qo a:.ց}Xm2T:JyOl6-gw+SY2\-̔bܷJŚyMteHMJH 5!Oy;v|}TJY_ڔ}BiYCG3yޞG*;RݹY9.6Nl( #mV:="sqp _{RR /OHTDC v ˖H:]"I1L| E4co?_$ҳca[TSmgRbvҺX\<{Ac3CM%R}3/"[E6CpPƒQ4>E%&_D/3 ⏣.*[ XRؾ *%Q@$O p+kNϡϰ;=?eFVcÙqD} wgA(!_U/ć(*`Tl\{pp R4 /OVk->3}_=p4=2O*2P|`7JƘ91F+Lo?8O($uk 3d[x^lxt/?zpp] ='wk ڎ|%ChX}<*'Xo&ሦf9TR>*u2ԃʜ6.^bIyf2(O x4 kdlߧx{M:SۡnmcKf9E2 OXF:OlH[v&K2d$5t+XI&Ws)Xf5zCΦR4Wufzա'"a -?<ҽ&CW*+=u`Uq<R^a=h [Ӭ+'B 8g,JIό}L)SܾDPc(BikFN"ma'-k_N+J P t6[uKѰ@Ӑ8PoJݬͱr'Nï}\ p RȽ,{:r^ۥ s>]#Sj 5CnO^e[?,Cׄ ڽԗow& 6l\Bsvz"ZnU8FJck2;D5e*j c͓nع/X"󚈡ث+מ&:rA+dnU3ciVGaA6"}p"o&ޔjK~j:`md w_+#m B97^_B=gBX.<'X,kr! с^8Wès yȦk͟X.J V<+VN &,Ēs.,v]L#79~f֕I`aƬ͊ ՗*I5WIT&0 " HS@mz!ڹF7!Ћ\;b o/.]YGsQ{֧lRnd@Eíd#F,qŠ|\G1=-g@-bnGŽ`3V`!Сʏ͏'v>Wm&=u ceJmQh*'Sk2p]SQctyBtAҟzS1 P\E+@BAl m,9hJg&ƿ""(y+z=p")=|ݑjͽ U4.Ei[x6]{|1p;@[RGԷsgfpknHk9\z `ܼ[D?\tPK 9ޗ+ -'lfdQ}{9dm}b5cR:eCX2hdj@t SJվY(Z^vSp+7chZbYtLd@3-n€7NÃ\$I7'yP"+ B?m<2}w s'O( S@pǐodU' r5-kd%P`0_HY6+9uE}/sǫm˜S(psZqY?c$#N&E;]2a"q KA|ovjܟ2@Wgrمg[߂1u]ٱ3qO=~Q88M )0Dp'q,q:6N/5g˺%`lZ+?J[V=HU74i1*Q5d$ iLA( 8i@۟G _=j"1$|zAy몓lLq}US&k;շ2fsqN2̽C@d-NcgB'D{{[FfIi&`qsѴ T;hh|( iP]0n03zZEܔ+pA1 NaO^çGRgqޒEiY&ƺJAU'OO [?dK$BEV¸z&+䇧ZQ+| Wh7phH큼 M2P>'% xCj)楏ىt'=uLI4VTpZ`KJqC!sU-e'P9pbXh)5|W ~1oH[X!8Lbz[ WGx_ i3r/d/ҳ|`H@!-R3V.މ.|}+w3lN9`N{C\OXCI9tE"ݴ;$$*Y(3SǠPX>Y#R[=mJUHԢnpMR}{@Zԟ>@zTxD*B PkAp| :םf : N  [1bͅ"I’*! UP)WHnpu>B_oy|RTS/=2ϤȔFL0-O!ygI ߡZSmx(M#`ġRDE&w'EGs y!U H=Yu2ب1DCNh>GM|uM,˃*Y.zkXyȟt^m@gȥٝ1^-0Xr>dh?-vL =1h-A|z(:{6"? z=`9r5U B|IW \O.|ƝޱQwt6AI1@W-ϬGfyyP6Fg <^>|M\yRI`7KPzkb{ݻI=vu$tŹx3k;m"}huDӪ<߲7s]b'.11"iC"~l%j@ NQsIYnh5~Jxg*R),Ncv"nP[P6W̖(>vLqR(fC #ڿ˝$|hT솠,Hň <`TX2' 2 ?x Дb qΜF+-78jYOɦw*X]׆~LS4op4s_`5 8VcF#_^Fׂ<E C{ԏ3flg}Y40 laªhb߾Q'=]škWrYa">ukp;KW- )ܽQ|ekX40-@PdgN(YQEIFݩ֏Xi֤LorjeÃ|蜉]Lh&]>!1g' ksrX0|LJ.+r/3.x9p5F[Y3̱dePJ*!%0UP3)ikޠ$/#7L,?Vj[/))emD^PĽX#"j%7xܣpjPfȺ q oKs5ƭrUdh|zbűOH1-Ȥb&M jr.Y8D{zzW2 \3L@o0͓:!-rU7E߅vi>ˉOW"AG s'ٺyIOcĨ]m)o;DlAͩဧW3m!kabzE%p}9ϐ3SjnZ7bI9oAn;Vndb:rw+5WrzВ%#$؊^.co#kFW^~:LAH䆹) +b_֒:˕ *[:#?'o:OKoiyn&xQ~0N}'ii6(=yhM ]yUiƈdн MDEvDDՂJFSDl +^[+"q4o!-"7eF6HH[laQg*?@ʙFDFVJXӴ`I6'p*tkW~l&/l1 ?sˁRL{ 'Y3C=++/Xmawz; v.OWj  ~ۭT _ZL(?HIz&fN(kM]#xmu 捌AӘ#?Gg،(,_NN'Ns}׀I>ʸQ2~ubpώ M k/5=נ8L] n\"EtҹX/f %vnqI+a?MYdW! =Y'$̐G,c\w{B *vcVCioY8JcQGOE huT)g_Gemw U;݆ ھNyt?M&.l' ~he-jXlh°,FY<]R#6bYՈ7nsrҶ}lƮ x\qQOE2-}/G fqIDpZ}3bvLafGWOuS+\M7l戰{cQpTkg[b2l˅3ҡ?ЅˑP8ݢwS5{SMWq* lgٶHyŤ#^E!á/J -gDz6wGW?L+0 8=HIWF\ B %yV FB[vO0{GMoߐFr&gumI},;"6F Ol6@8ιU6Xb/ETX<iKaheXB |X5Ƞ$ : .3Qo=1`@ƶ'I0Ŕ=FxB-`Ǡw!l(gW&/$,wȒ {Ԗ FSB"b`VGYnо@{r ILfb3Ep*MyZ-rjir(k~urq2ҍK3IA,oWxVP:E9"qFL3[yLe^a(=w7H;Mqt),K~B47֧#oНG-Z\2$60L? /08X/NϙymI,nr'jtEF*DJdeG5j!/uʮq5y2"V"C jN2#L݀goᝡN}|R+Vv6LsXgl‰Oc<YD[F.;YٮXzq9}RHk1@}>OWk[iCBS+,QIW`:.CvQ%NBeENk{2x[,QQ$,}k>p!]z'ni[փ)EFmDWrDOؚܽ:ũ`}hqwmVcYju9 )6;XҪJ)U1z;r${4Ad+|j.uf1|wuD%eesf`˅ ;$ ;T6p/I ,?пآr='۲BaR"^m%FV IC LʣY 7x?F< #B6; Ě.#ڤ%сx=kAy_ӝ7$4+d^'fMcu7*a:}hp/AЇɋ-f>;w h󕙁ڜU!?h/Rk#gx7tsաGy?ݷe}@f]yԩksLěnrqD&iݵ0lW7<0X" 8(&dRϫsYUII z݄L<} Zw|O>@A7F&9*q8qg:>eV@_T˙n:l[w8BIw*|B0|w]5SQ,m-IRӳu:h8S1,9ˤ:pҪ%08`OK+E -v!yrGF?X[2K~ٌxYI'jod%ʋ,- |) ؏RaU`Xrz[z)뵼Ef'l*hsS zOP[oAݴ(RD/) K(%7B`t,h6`USxE贈/he=MU03ZD2aX-B#~hj`c_Bf$.[:>e`X`+o$`^]݅N醤' S &jAo1GIJjZޭ'612bXapO9$u̻ ꨭbOJ!km{n6⬹?6D I'R 'E!{;NTVsVPm0'Lmc/QXVNVWp93WڟyRY;"H=FwckN D_21Ib.{&(ƙyN>+-s[u2u@9Ә};; V:ၾ~-:b]ܧ6ť^_wV"6@`\z 'Ovo<4XVj ^Oo.5ɋ?[5HUJ.YVwb븸ٹ7PRzaZچ6noĖ٘R _.V#(⧏ OU:,H7$X,K'3VPU>b(߭Z+옳/Vތ$-wܱ*)9LCTQ0e+ƘD]Ýz&5] XH@DևAמ]v*}+‰ Yͻ+Yn_v%D'AŠ r%Eyh>0rGZɾW^(;G+ՎtdM6$5LRn`Op6L0aޤeȎjbH0e(STX|S2hMgryw=؂H90OݜX=*7b6,P'&Vo0t o+s]ILzfGR% zaaF$$}L„PVoz4tmNI~ =*UO {@Ug7jmTsb޶qG_J S& ~]acHʋġci9UX[GrpkgUW_maWKĖzPzTࠃamQuEhM='usm;J{4:4u]e[@bt?:dqI(JmZ{P0ͫP`EiHc~+K"dĉ-X8;KU !hg.iՓGf"W*J3A|vC8ZZCO32kӰh Y0uł0RMw99mlSrHPu 6"l W0 Ia',E UK{(}G $q,]gnW;>;A2ަAҌyWT5 *ゃjkC]ǜ/6:\G <#Rd|9DE9t}'mG_hu4V"<%K#Ќ Q~ݟdЙ]X.mY 3@?y.8 x5/yxVJ(b$ۄ*c.jz2SadtX"8|XO|rK49% vXB҈x%]|;#huߟ[,hG[sWqPP㺚b5jbsKD/3>|Um"6uDQBtPO+e$r n{a8e/8 ݿ.\ACiҸ,iO𿞺v(jIЮ(y k<z{,o$h|T#:jCI$ζ^*ol\y7f\Ku|+E4yBf_Y~Hc:\ȪvJoOJ:_cW@WқSWTK}0ހLJʢo[P^7"s/X h02̯Zͪ X;q۝X_hPNsCroz`g٫q ^4W- b:Rgڼfzgo2>w7 d]B<`V#62b ~ny]U9rPd-!lŷw4Y8ϣCY1_hLbȓl/%XQ^2Zw}(Gf/E\t$bkh'rcb5Rvx̠D3mDMǀ5e|֊'rX;Pݤ.#.ܙ=)/9ZzI g*hO[T}?|GfԁFO\[g,Mm ƆP/kNrx^aq,Pۯ/ɫޒՅLV%v~nb8rT_*r'1 X>9m8'0sYqgMcQp't K%GB_4dž]FNU9Lin]贐A$xIB+VիJBWOE< tSɻRlѨ0.QjHY7ˠ? sݞwLn<6_mn8hiWM$r]`[.,gtԭ VpOu 3U׈%xW׸ZkJ~b~`'C[kT +֋Rx> p~LHpw8!:', VYƮ Wn ]? j=jD1X?pgh0ؑfYJ]-2-ꯐzKX#}T̗γU8F۬Vn v ƺ Ff#^T֟K%꽟ٓ2 {"xzl+ ZwC8E_apg.<_G^jH/QIz "AG!-zeоvT pkl-tHp"1& 2eD:-.ןWm\/ +4;#Ξ-y2-^2-xrRQ]Fi$TM-i(hԓXEΪPXP&ߍCl8C훓!M$:BmqOCV)t/!Y i׼wYe2>C 3N.PFhM$lr>ƍW?uY`A"_w;iL-Hq "A<z0QCeR Üs0 &z`XJU N9pZ)CbrRU>aczxpXϯQNHL vozl_لw]2?bjQ !ő Ro,`Uj`ĶeWzPq(ƸrRpM[Ronnn[Xf"~9L4oxGEEm>x9O5,_[ UlT{"Rx>}9vX<)S {V5gkw=dEA lLpܞSO4Ov( (\÷Lx06/UNI,]jЀa u]Mnۤ>Z`w: í.Pa#лK PJZ!Mfz r *i8ȸݎ/_)c@?T99x5b卬:BUTUOk¨EEI`N\S//guەpX~bhi>TTh;_@m|@t DM粚s=Wak;P]Fvɣ[%Yk-LD7[A;v{N#}I aI'HWVL\V*sUk^GRP~#6mȏvsןtsҪL~\}>qGV,ɕ6|.p_ȪJ#JT2."ߊ3,V'FB{3Ldf%}>wQ+;?* ,?ܧM f@*vi22HFz>A6-4tE`>^҅? 0CL=:R\^g~+"yb ze^hRNCϩi[krSn?g|zM PNdWuR86dT{ۜ9uw.nK)4 0Xh Ivy;A1얘a{ܼfÂgzC{]Uqܝcg7StC/#s;1W:>=:=8\*DzORUպzV3hjKy0Gς ίD>o=];*&:Eb)ƮVWZ#w@$[d__oϚ@>x"mz2EA".Q%y0/ƞ|w?q2rfg )<𣖸<2.b9q=w oy SNXF,5Z+306h_`t] v_Y)Y*sM{^]\:&8堳Ӛqa?1\#)?c dvrl"2*0>C6nllW8"62 H{`g ղ?6ZVENcvWh+}3fG(Kj貆vuFN)p]܉.sXxap@c 4ŝF19b" ?[a-(r1ib\|˳0 ;c~DJL%[-fU OaR6_fqP#hW?4x bzKyB\8 ۆlf[Έ\9._9CWw [)CփI230-V !UVF ĂoAH6nRl5_.H(j02ƴmĔ&]?27Ɛbz ifzҨey 6[3NcJE\S%aI6ۍyL"k-0&,) Ұu|5$;`&`Ҕ% $1V2xݺ\0޳N2EqƝ?Ź `kpq:3 Cx1D[,UEWm8(-QH#;̋|3BSB=:Oe/q,Gp+]\&rΝ!!)69S}>3`V?E#݊$JGKOqD?FFYBM҅B:?6)"%NZR<#;N3 ڗt(4N&l=wCGnH N.t$7Y»nIJ, ]^k9tjV*yу\1 (0VA3fb`E9yὺt:yo7 !ȯ#46OJٍ1]z:1 J1mwm4di ͈6KLQ|]TRsNNR' &q 0?$K־.<+pcDBiZV:uAaZմ vEnsȄ H^BÇi^ҲU. ='rZ ŝb80L`Vav|I$5uٮt[&d-_u- > ƿ+hDxm*@<$;,@[8*kS͔Y5'/;]+G!7`wҷ=9J@yܟ|H!ebUq7(QLzճprImu" ofHYfq|ĴMWZɍ0 \.~jUgmIm gfPteHKa7ORkב|̍4Mv5Uu~ Іg;㡹,=z~t#+F@Eg~ ٘ox那h=uE/gk,e3J$/lrO8Hl!+\+rI\?۞C[yk-X+VBǙ.{/\響g[;BҸ?'Դoxn牘6"/|X'kwD ѯ-:-n1៝Dl uM1oKG+#!lt3n˩X:Tn!Z Cj nꑑQR0a^ўWtoQd$|֘ܳ`t|䁙(Bpj0͢13[ sN5 Asjtm5 $$5ȓ_ bG}Wa͠b!zCr8T]rȂ bI-VEMy ~ܮ'ոDaw@R(jІ+U$/Vn^vl &Z&%Lh[Y)w⚣X_Hښo$U]TǿwP VcCODk=/hav3A{9:YVʢh3p6l~[KFg缣٩&WZzNDtX|~X ;toVQViO.GڧɀH@]Bb<Մn B(·^4 [r& h<Өش|)1c.#"ȩF!#}|WMOhߋ ͓>f֩A.,!u/@`J c̞PqNy`I<46GLWG*٩A Z%O3-1<9^|=]Lѥ8#oGSgբRHzP y|O$a*K/gRLI!Ƞc,b-c1P婄A>Cz\ԏjTkZ5 \`^EHlZr?8@[ҤLnH#}R~$qqi+LcrqQoLkֱ\X5\3A{CaQGG*!DRPa(௃ <[9-f€20Fe'Rɩ w?4Xl}9wj.4uxk##[KA]*MQe3'5=qݦY+gy@L@<03?-s4_'VZ3OSG$"~B{I;yQ+cjU})O>n>:LdNz6c[6WV;b4&cR/D_"a % u8 BwR Jyyg (V `DgZ{\_EiLfEGyo  way ՝<\=r:H ԶҀ 5$Pz.bq$OAжtK¼g/5s{ (f^ӶˤI6Q l{u$i/{y-:E8S_F+xhik/~}2NkpjoKre) Sٻ^Kx<ݮe Ͱ(Wzt4 Qt$_ضD>_c=x=8+ն|$b-pj<| a/:IgorXZ :uR!W,_:È@8BT-f vQ7C:@^%vNvEZ ejr֠N)jX \dstZg|}h>G\SOg"HL! a?۰#*ckMBxB(gW8|?_&nμdau*LZĦT)ۚ\*buϑUC=74Z.&=T%9_ӡ|~|O8o=_NM0Zhq&_8/mV$5k )MXda]{zMB$ױgYZ7zXZִF! 1|]ŗXi%BXZ.T 2& ~DI^L!uJS*ƵQrcc4}aD8G#m$k םs[(IjX*+s'ws'M€͸p-GMu9DZ 0Coi+zH# M&6r"У6wrZ7SLݬhǰ(}ٶKcO_:Ec9iJX5M8DdkTɲu6??ڮ0IU+0h_k_eiO}ѥ%KD`)=ԧR[le <{Q TD}p O7-_Z!3rLoYSs؀5@źB#$g;PH#Y5g`+<9d7ߓ AnK:_0{j}—sKGOJl IcI!>iV"-rXK<˦m3t*^2H&&P."E8gX> H\.47zϞ;`AGYWK /bLRQ4ɬ̵`p1s|~|B/}S:{&gld&{G.fe'{HA|υHKf溂H6r%X2MEE`mlG W J~\Y9{:] iqyāl9Dǻ͟já.*ZFGeFȸ_ʆKf#o_\V?mO|>lޮ4ge}%΂l6x5Haa(J#6mc;ƍG:ab&seI(mimJSy4y/_Z>sOkxpS3k]\C]f.Lfw" ݜ}M$źޜ;p9s&3lkIK6= 1`"msiȅU%:Fmc.pZ9m엸w[1jI-+ ({^ʕLt|`uIXiH؇8xO"&xD=سŒR\h˅Tk!]w7Q ><.mp!+d>nඵ6kp)2)3GhuWVnIU>V%1-~5( w HnƛQI~e9dLHr>@37 WE <5}c4x݋~Nr6յ w7oI/Q0E_LRLi֠i)`Sƒhc8\cmaHW0. ⴲ1H6 &Dƨ*[b2'mf։| GzW .U/$Mcir} N@TWm`n ?:Zo7{VRlRtSQF-t.z)n( eXFBFB`;>o?C'^B I?DW{")N\ r,BXL1EBV#Ӈ`#ʰӽh7-]vBM)JUEՒcf5#WQlH9k<l?XHj3xոEghwx QLftt Gv9+`;CXe&uZ3!Gx2,H%'5VK^cps2DrsET,. X"nRH9#B{0D64ɮhZ?s'akGFJطg"Vd՟wX6*?4m}T$nf][htw({aλXJNW&աĥ{-Ĩ.I=N5 q՞~h xbxyK:ܨQXa`{+_ |fSgXoA'ZmD3j*pp:o@@UWXY] πA7/(K+) (q%3\(ij94zz\miKKؽV 7$hCdLɿ +H)CR}^@MߓiI0?0ژM~Zr;i`dH| C|Ջ$?@vx_:Q@Gf#tB)ޡke;TI}g9wqhuuGbs0#_OO#JNc̺Pc@׾e)~1kRG]Fk-q?)kN #5LVBb,KvHZQ1!VԥNYf0\HyAZh2 fIOH]`e/U^픍B):~ev;5Sz YocX&s=VJ5ig}5rCrY-tўJ$=~z :X{Sav*h$M$).|2qFSҙMp!Z*!A/cУumx.8gzk$%n1S4z^gPgl3Pq:(CD'd(I-`0&u6k8Jھѯ/|uFo<3ķ@?5=9iC c9ym ?oH%hە .-fxE&ET ? b93_85Jn5M4kZ"WWWMez31;/; ߞy< ݺe2 'NmX_NZyVf(;=Z˲4#EÑMjt{z "S{[t&$+ԗ5c<ݘC jEdo6&.5A 2_3Xr`Pob uVlnQ ;yͺ in`mS؈)֙RS$/>9Ӧ 0I%A'ݷfoZZpleN0| {\ud "|-EYX-F7ޏI4$u{b~rRڭ5O'P]uYq̤~!ѵa% *Ǣr<5KksO9q6Q7վ_@L}Û(XOR "aoa{< }XX`Tƃ­/]8gbg$q簿D21vf`RH6S QX8' :eX]m᫊yŭw9.>aSԽonu4@ Q® 1"҃#*pMib(.fOq[m!*7դq 'xK8cQ;]Ь?)MJ`KJ1o>xt]‘]?DlN JC"wΉv%tri`zH>4t|T\u J3n+l^Hyyǖ/ڟ "PMc|D:Ћ1QObg6hۼZ(~.3]DK(l&h\Ymcm禆mZ1)vG }r1N s"Z 6Jb&0™o%+32泹I<\RF5HaTWr!{qN@2*h{ʜz.1X{~s 7E;dW#AW,z_`!Le+g.۵EU]^[CY0-$Ey]o<E5;/wUmؑ\g6U- `3ChL/-V+)i}w EV̹Uh8QCrTQ@A'!vT9Y8? ;`2̩xM[beO *&`oqXڵj8U0Hkp&Tǯa\[\ ߠco)wuלxDlP^>⃦`i9i9,kW:zG#Ft\2~Qxpu[Xɷ(]_?ȫ8\#`h\ z:+<(xq9];1vAx|ye݊2Nus յ\JZB[p*f)yk BmȁQ/M% @LiI[@½seuر/whhC |v Z2su:1{ 9PGqf)j$'KD~adշ]tR8 mY-@ q^0ߟ7Wm`e( IOr%.>q0܀ 50oc|nYzF'Nmpe ݭn:rȨe;`d.nETF*|p _hX묍+âAQZ,=cPۜxaea^>˹c(+qV<'ZjH9JՅLa 1]n] L⬋ W%B1@Gl}AbO߂sGUx!Q+o8M5bRI`zH^p|H#aFo ;rlARk<gFZǁ(w$B4LOCYФ fKT{EBcpg AO( ,7}PVڗ9ۮYeܕ?a(f۩gi_9PX,9v3v`F6/&h \Wأ )-g# puXE׺@c3%90>?C dt8Fnʓ #<9h]rsSRB!?dγ~ =˻y߇\QnZG *ly/+Ri),&  㷓DFD5\x,5fw.d*σ}"+51=mwBpL95&Ľ/0̽CMZn} ሔ+U;{p4զhD@um8cGDqn8wfЇiDH<!jmZ]L^䅈KsA|veŲg=d#\2dInN3aOfIIlzRRd򢌎4.\0a;D _NCLAM{r7*RT3 X͡Z}LtX3(89{>3i^\T_{IDq=iiFG95zAzPwk,}'C9Xٙ)3g4P19<(|r +Ҭ0%6[ ]:?ߊ\; #tmÌdSՍ`I ri[,c'snWe+26+7J}. ;Ʀ.MUz[QʷB (|i bA\7%n~.^`[6.ٗ2ys"xKlcǁmNٖ}0Wzr[ (ٝA3MoLi(,sd%m:% `3*: %e绎ay/zTWikFit2$ץS\FCw9։6W#ѹ@=*nRγe߶J'WQĆV 'G>Le,-~{ᾗ pcwΊ & !#{TKx@}9G_(}) wq>Itˁ|˕6YnIznߪLu6#SʭJ'ǕXuj}Ñ\rVwEl֢"JI 0IItՏ0ޗ"yVTI7- ߭*|on,GjI`,0W;_tSzjS UrX[s&Xy9NnU EqXVv8a`{JtPᇼkW)?q@2'-s󂊑u)rl#J :66|L2oBka4(Z5 ?? 4'AlتpuO'kj؎Am뿁_PWo)hhOP `OSKXV!bC:4>e7q58# `&SIoWq +ŧ!G>Rt B],~ѓy)IR,+B- _5ϼTbarY 6f 8ݍKd]k@8mºݍ@|1@'AP x0GA5:4)%=_g|vAzzJ`n-]ܓrUSi۶MOԄ$;ڨΖ˳R1t C{hD'&uaI<)Oז)dZ|'qBY -ZLc .jc6ix:e\Nu vCHW˃0v HS:xux=Q0KaB([ףvfe9#QI]A)sH,GV1t/[H%4eYr\@6vUq5겡Ϭu)ƴ&SYWG F"ѥ#; M$ߖ4x2]N!HIL>?Y#&/=kKҚKY͡I<& /GH8{㣝qCT7o#5Du gnƁr̃q Jrq|9 Eu}P/,>Ey!#Ó/'[[X-Vմ`8QD6$sZRa\mI=?;kvѷ;\ etpcR|-`Ւ4I~R_7+@1qE-}Ez9MDG BφUUXClvZ%fґNmpUǩ9y-;`S/W"諀6J!f‡J_^Ia{"N]unlv]Eϵ4C]U{V-jB%<tDx{qF 4?|A Ӄyvt:A^lRU0JFE~vU0״b$6ۭORA<)J޵qwn7ŭ娃V4uA3gxףɦtE'wx^!t3Zo=mw8H4=gauUc[lm@4X[{b| Nd{+=W?O.vcX@OX'mwg# ژ>> !缽s$t[L*E'̵M${&:D8Y#or#TΡ+Er1~_nA ŻaG<ݝvGƝ )8oR4>˜3(ׄRcWB$3~ݗss58HI_%0ǒJ Yo@72q$(E 45 &3Llu3Uǡ>$jzqtaټ}EoLI3,nk 'BDa8fULA U&3<'Ms|==uj| h`!K(CI҅6 |\;k ¸cV-z =uRVc `v/]b:]^bR)Ċ]7D14|`U]u3%I/${ק!U62;Sl&"6xڸjfE&^׬5H8KLI_STQ]p>|Ѕur]QxRğ#?eL#oxE VN$즚o۟S-c8bL˼#2.<8 1n?3*VZiOJuX"%LZՒb8ZP-kQ7ƇQ Llg^)Fk[Pمс xBanX{CJѺA7Ό*SpBvO!isy77]ѫyZmjm0_"hӀ7TlḶ>["/.TNؤS 6EBr[qv˗BGB8u܃؊g;FߌEP//BL?4m՗ ~vҶYi9H #H?ι+}鞲6-aİ'l+mnO6"$\p& RJhtZVs^exZ@\ӯzl$G+ o'-L$V69@[! FNY !eChbDzjӔ5 D0 +nE9 Xh\CYu$6M7p;|)e AŌ eBaxIo>)KxүDp|NDED\2ˁ- 9(I=v.X_@C߲Jb 3U>8$vHoڼ,O3ř*35+Zˆ Qvu GA$W`&, r-7+| @aL{M2LkoSkKT*:Jb?<[2$^8ym`Cg{+y3 }c9D= riJ ·a7B|g&7{Ki4IcȦW(LPdϾuKi4ѵ3ge -|>2VN ,=<7DlGjk1;՝FgƁx&枿Am}Mc4ldBIpQ)O_u0ClMlj*-Рֳ?DH4UQrR+)wk #X PO&p}i5'<ƣCX)-~3j>k^oUFBd &ac 8ϱ<}ddddk"l)^x %_\4e_oާ} +u:}1YlKT-Ą5B2Bڲv U2^ˌl"׾+HtAMєHu()q`&o_vŎwѵCC/7 [Op+RR4+L^##e2?de,֣>> kq6I4,m$GȪ#Jf\%Z1Lw~+ Vx Ǧ䑀rb*U ) u*d(v4mRЗD0gh=؛5(Mh?ŠBPO6=?d}Jf.Řϫb9%d 0<ODi2sXˤn&I4GwP%|[~V<^]J|M9^!S˽D8t5pqD գH+Q>Hp@z4"b # O5\Oc*>E9&-Ou]RO ؜Ju1&ےF4>[Go 8aG /YJxV&j#5v]2@|rݛbv*g#Rl;ajC͙dBgnFۅYl6j"oŭrʳ+&3۰+\%/p&lH2pjk{z)|s툵IԘ$>)G0Xnho"9&, Ht9 mUp4֜)&:0(b!75h(~%XeY:;r43Df4cX|ZrF!5X(!ڌ꽵)c~FزU5'Wqsm4Ҁ/oBcͮ .)ݿ=;Hwp2U^ VNOc6$Pa_qiޥ/VyJ *xRD<(t[ @ 9 !C^( k]{^^!g(вOuc4#m>IO, gT0`u'|f]lm6.܊1<26 DJs1;D<6{.F핑P |蜮h3WQM 1V8BO+\?eYBfç6R4Յثcn"{GIak_J¹^_ET4Tnps|8K{"S `<$Xe'p)k 7*n!FL68JKhNl3 seY@\g{M~BZ ]Z$rvE"y0aY8GBũ爛ϥMTm鐱K4NZk]dYpX kd mƨzL}"55A$ I D kqo9@ց7KwE5-A$[ V]@962lүdS홽+'!pӭVcw|/o/E>tI !-CN-c]N_J eT@p0x ؛Sq>Z%v|K /Ok3 'XBjWwK 30Q3nB/jx2؎߾FtON= BA En{lm2.eܟJptWomoDa@q6i1#)E%c)Ph3Tb}[LX?bL"m4m%[vOlU:!(u7?EɳAgY: i"Hvd|sX4;g\Π:%Ikmoc'-5^C2j/ 89k+~J{\Y%~х1AT^B6*Ν5zlMg'L}@}"|O"'(Rb! =#駱5T 7U8lž{G֜n/CKseC66C`xm`MH-LzԶRj@DŽ@PKnrr*`Z51` u0+-鄇)>95)5"Y./vp7VʛfD/ z^KgՍQut‡Z;zRPm_<%Ϡc7 +jI03 k+)ukwExc}XN'aqk]kq/t {4yc!ojЫAT:E~D'ƒxΑ2ڼF9 #TS`Ҵu1A|7dCEB˞:1M W8TfO-X6A^f<~>^se8-bIW fv˩ DpqF2u-?09#UѾ 7/myT̒Ky[)Q]f/t0B\gLZ0گX_׎"g7Yp|yu:4jp9~G޿1NPAϺpRAZ)I[܅3Q[E~[\\&ZI2򎜗b ΰer7)ڎ}>j>mäs0ozIuKh%pQr];N5l фYuG$ڧݣP+TrӉG"Y. ]*_eT;*YC~Q~OypV_o<6[A:!\4=y_ų׫Mŗy%JՊ'eIp~nupΞ4(OeE+^y\(C-i\wyVa܅XuMJ LĨ˨O037fk1ަ<N3K1ቕRD<6穴E^%o".ݜ^:#>K=@{ HA46>[0f~5\pРou]?Ǣ8dŭusHlOT{(C*!7TaCJX@8",i u\ lat}Q +i3T@=+VR$[ . u)(LWLP<~!ulaSD&0Y&/J[X8]~ѕ$쯱Dϭ3i,ff8}ä%ji$v73u13*z7qH p̜ TvLwx~49 * Q@?v6M85OFpy$(ћV%82i3xK'̀ p8S~IM;[),02{*Z 泖SE./]LNh=,ȊywwgI\Μ"5<,zvWB\bp "Lϙ ݤ.ȲБN l%nx%?|bnc{PlİoKch??t5Dt_cvA,+]U ׭l*!bңE ]Ɲ I^X 㯼mxSxJ{D-ՂԲ+x^-'@pNc*80dBqcA@%?:eJΞhN%iŢL}$yMWeOIMTՅP[`(pJJA,Y0FD)7 mߛ|T0$cA4o+u<@ZUL v]!4&E{֖݇ 8n7L/G5rw;t<-WC O%NLqOY!W|.*?O_E}$2n(^1S5; >B ȌM7Y|^H Tj6hIlDqD:Wf\$+6=%ȬyJ _{0iCl^$ jBil8.O1p]i(kQyŧټ]@tI@h4@(-xj\gXLCJ벸 2hR :9s?иܦN h` 6-v\'oޜϸH&ܡ=ģfbbU2ƚ5>ϓ0(:bm?_ȑxhe|T? y8(p^!nPehgH'XԾB󅂟x Ar{5ZYW3Y8uqԍAV@"ѷ )b 3{&Z{F ni@3?VІ:&|(D#0y`V4D#jlmB\GJ;  A/}|"D,tqr-\">,G&)D^)N 0(SE@wm_\%n9ŏU8} N2WC Y=x0483G7sfY.H$Y` v& [1EG9.b#EM3&Ȱ`J/V`C~g['`XY^MIg~MB5_#J-`+08Iyn ."k>oLdz&5R`FFV):K :>:Us|R!'8-])Haʟy[D~cxǮfww*{y~~q,Wp;KK#اǙ ׋s|`gajj Ba}$o~_$];ێ= #JDÖvhh/ j)|HU(qkzzGYG:9sDڥfCH˯ЪPPv|ջAFiQX4ր9havng4r/[PR˂fϚ8kl߰xDR?$^F%Un[/&gceaN[-ȩbl(^##iIrvoh Y]8jbo~ M^QY?{?w >V\96J:I>g#N} Wts z&_w6? @^Oe5ǔ*/† FGhkFA/I'X\ uQo, zJeGrŔwᷜzߚ 16!t|4R3]~KzӉQC`DZ J6XJH6Q߳ād^uޑ)!_Mc|^FM4g d9L%b=].\mZa9;F {wʁ^A*\ryjUl1C)ZT.)egdt93^{_UczW9<{u~΅"p8[csoll/Bם<=JP}N똡3.^M@dIM9*/*/bx"Op tAsJ!1@ſFd+M(z [= |9֪BQfbnST*;7B!" ]Ӈjݔ0v= AsdvΠ.J M|=3Ym  \~.t56,TcW Y7>i-|$6/`# /O%;$dM6P|2 ڶ|JbXhb>. /ъi| 'ПÞtQ;@;bNȹd!saB"|ZRX1Pl v2m$,NO76ܿx*̏\0MDPȃuJQ+ JlM 0 Emn@^\ny {)ʥeRK5h_W9`@Yz:2dIxt>quv?:J?6`Uta7 JWvSXIR6-[`œ[〷2ҳCߓ }ePv-aC&3(P$A۝լzWS*VI<6p(Nu3DsS"}pqf{3#XFk*g*煅d&3z{WaUɐ|T`~X|}F$t~gGvN0h#K?\NV{Os# , hJ(nW](C=d `蹋)qjˍXCJB<LĭUD3=(uFۜIs`/o)z3Z/Tm)58`ҭ=)Q4e#!"T1܏aŽO"#p^E9?ۆ[uW&@.%s%6Rys* gZXtR9a$<Hʚճ̇YG I}v'g޻ Y,lpH`%JYa1xK$W UsDIߑKp6NRվ NmY6ҝSǜܾݺ%2v.1r:R®($2Ȅ5k V),1bEIG DJ.Σii}gaˁMⅭk]vWk.rx%tqPYLWn3 ؎ u]Օ(!GFq*9|Ȅ)ؼrn*hmJ>j:u{zg3ۗjߋ*́飝uLGZ.h%ҡX^*)dly띜fSur24{\汳SQq-u=MlGzI`}n N; j+!K.y γ~XaiX4Dzg\(gV_{-0\4 c)o mF|/£T,{֑_9B1n0 +lho>e薿l\B$1khfFY:W3T2c* s ^BFRd/D2 R'<D%ܪCU6%wT\QCڬ|ʛ=*Rs7 6,6ԗB!\ R@NNZ3:.\_(͒ʚ3e1~: []_LsS5Uw؃$Lw3rEF f`\k3Z5ڃ2@Û|}rtqҺ{?O/2_ <=?^x,A,0f浈c3MQ*M)ljtAYR1)D@Ls/lMEy2(3Xpa{ TS+9ӷuy9dzTX}+N'zzII{#_v>U{̋"SAE̒[o `8EۃsU9걉IMK\H d%|^/eyfpߤ{8:96qvxx Ax\㵮$THL%F7zB3mTc$LGmJKg1P˟畆NwdJr5RN0OwUI+޳l *D 6;e<04č1^3I96XqS0\dCP6-+30M JNx7e'^#逭SGf'HQIdlx{;1VK. zNNM&Q#wỉ&P*^f *c29TU(/|')+/|;>\ yއfB\^Ps}=> 3 BL*ʀ^uat67Ocb6Umw̎y7hl(_=WX.QgFb{*EU 42Ty~Tj3I#W^g1iå3F/Tf;7DC[3]̀Ġڤmzғ^MS6 bBj6f:Q bBp|uia|c#븇!2eR:!e?!*TFÅ/:D q~G;874@;F*=D"⏺_`)8V-޹U8q3UD@,HOa16糚H5wF2hernҠ̓s2MPC!cu4`9Bpѐb['Spc2tˡbGN|;l#S;:@4m]-R9Q"q{1&L"e"j:Z 4%wwhe&ʹ<_2=K''k|dGsGޑ=vjt,캿'Lx/d|%01~l=pa4ywAGq^;R0?+`IAE bx9y0P"Fc=)AȻ5vp] $9>5krw&IynBmm$0 LF:X~۾)~gK;72 #+WRZ.O)EUbq8|ݗnnjWQ67#՘g܀2.icD'W*d&fL/7Tt\1'^y\4\ !`Gvr`A;g$oY&X.3r^d'i(- zEوҊ㤎`g26Pr]]$& D_C\&iXc 05iٳ A= +@iFG5yT7أ-hm3]r)p"!Q8nÚF P wB#3F(F?r|7wBq]ɔJtd 6oboG8S'"t!T[ǖXB4zsnh0LcOIYo2E *Ou QZswѴIf.Ajq7iatST.]2˘eNI6eTwi"o.ڂJ6(5WO% \ 3^\/wӥ&;Qqu5Ҙ:u b胷'F\Ov!@:,ÌQF;7 W\=!mOP=p&~/ LһH|rCiGOs[&N&|w?BYm 0n|pP~lljπ^/W!ɂ Y -l.JaenR%'>>r( @/p 7w/UIR$U߂cJO?op T'9D}'7Nz6(?a *)R\iskRfoRJķNu^zz`/;|ٓ5l ꗂI$sRf^jqS{YkOZ^:#X{2:#,gi}ҵqax vCLqWpOD̮8.*$KpÏoNYh؝emY;\fH754)*;A#7N& {%̑~Jz{؇z!zJ \?c9,䍭f!pg= sc$mYc3I= nnG)$.->ȃ?coG ϑf?#xty r]F͗0Nɉ n!C=0N6P*IKIK ] ;V1 Mˇqv!*{!@_ w|¢*̌42CS<6' ρU[lKYZֹ{upw&](~)TA?7#g?^L-B*U!Π6ԟ/ַU%VfbpMͻ0n@U.;{1+zܺ{uȹaoR^A$ *o(T1l@ޒER{m[h9#8uy7|o(Pi>,Ճ#$L8Z'JXZ0_)h6O/[gIAU= P+e_F&N ʟF]+l@U{ 0M:2`'+CV;P6c娥~D8\ @T#R;r;&4\2:ڐ%! %r-Aejv~ڤ^j!sY_(~gTN_,UjéZGP賈XV$Dxadqr(5= 7^%0H:1+y9KF __ӭ0p+o?\˾W69NB1&t\<|I]Vs6̭DY~nVD3lG'ky%)sJ?IꟜ)ЁP5*o[tP꛴ؒ.xveFtKl̮&Рo!7\FX]l3 >ꖸ8j'0gU &}(gL yF$"A}(QTÕh^M$ – Q L=h ZJ0zOe7ȀC3[pgr_ a\eԴ B%m k ~#@C[ydi@Ajx}nǕF`7(ijQZ n|`|Vm1)Dm|+ӒKᅦ6 )VB#8ۈO1;G=&X.ډKJ0,~hi|5ؿ]x' :쓜$ݕM[ [` ڡXq$^#pU]AZ;WV{1/a[_A!,a:Wjh'(!A3C ?6~: -v+˞@mx3g=2v9 pi~pċ#6jB߂f̏K! }V6t{G#* ګN}K_䶍Q_a8F7Q/ V5PETLVy 9Gz#;C?t0|=SS74j=n6VXg6A̹3YH<jⵊ O/n,X|C3֨[ENm"x&%|:ۥS Xo`g)v1h>$Ert)iGfxrQexGPWq9G ѸN*ߴs* Hejt=ЫƉ?FnIMms r8Y9VSJk/I@Yg bYm:-3˶=Œ/`i*Z7Jz'%w[# w)== i*ג$jĦE;sݢ9\}D $ 2gg}A#PN>UqUW8¾}-(>l 'YJiwJXyi6?ˎ+vY88o<7(xez,?UQqkLplK}dqjllA詚cahcc y&< ^9';,WWqHtEm~xUw%d,dPѬwM1cx0EaLR?6mS<_~X3eRbG/Z1bE,6hi bKf<)bP@3--Isb7"VF?ハwjx^M- Ř_J / Au>7,mC|g+BACihln|f]3NdV˺܁zY#Uak{4J@_t_MKἆZ۪E!D9u~b C<;}\>90\*yC}>* ¶+Sb* >+\̮ ݹ20#~ ϷEp Wn~-X}9T {VoaqjH4igHMj)B! A.xג7(BC?Si[eFVT|*gYZ024706a71555fa9fb5a39bb22e93a953eb5035eb 02e6745f5bf1d5a2f90e78e0ce6223e709dd3c07 02efdc86f4b5a56e4b60789040276e5e572c537d 04bfe01e345b1f2a43165a83a78daea05b2aa709 08f0891cff2f74fd97fe4f8d9775b4b780015337 095a7af0d7ac48ecc9e89d4aca3bc5f779cd4bc2 0f69838927bfb6e5d6eeb6ad692c0a393c7b52f5 0f83e9379368d232af1423c3a9685e6e1cf74f88 146aed76abe66dc6014566f11b53321d571719ab 14c3540bb5127bd30a61f668d40891bd3ead84f9 163c6da12913489b3caeffbe6bb659044e356dd1 16d3d94452a95f9dbf8c4608e7cb1db4e9975a8e 17906d0d1402d8f278b45a0b8539761d8e899579 17c126fd3a5c306861991a6:9d81d90bd168546b6 19e2cf0910b7071efb7af8472164cf296f5e5ce5 1ac3bc11318d1ad846340ee54cdd7e731f4f5b3c 1ad2dded63488fae63b514f1c29c7d7e9d180bb6 1b17f4cd1d550082d3e0a0f22bf400739fe97bf2 2415a3bb0da7cc3de07e9f58052a7ac0fb14b0bb 24c818eec161424d31e4a3b44ff97e2b7d2203d5 27d5a8818069cc896af3e8dad268b1af29789f49 27e188b252537cddbf9ccf556cda5c3443c7dc5d 2829489b1739d37606ecdcb569d944d2a708b961 2af4ac96ce220c8d17f711ff7ab9093c16b0556d 2c84154247571ee3ef47275852cb10c68388ec97 2d071e6f563037ae207fe5c2911eedeb19904d95 3273ec9035ede90c90a12e05dede605b2b5f1804 34221437a109a5594ba7786476b5abb5979a2647 35ae63448b8ee3d0708fe5faf057a28b91d8a6a5 361daeee619b77b784eb85dfa869f084a4db727b 3997ad1247c599ff5ca5a09326a165d755ba9b8b 3bf02570a4f498113f93fe16f075ec0b96289998 3d26b0b85efbba086de01444737c1cd427a0cd20 3f191c7ee2e376a50078b5509772599e430acb46 3fc2755fcbdc9d129edf1042f890fb0c40c46a3c 400441ffda67de6e3e0e7e90f8a4232a6d822104 422fb75946ee2eb3f59178cb1035f2be8816cfa6 444d44cbf04fcccb63e0be6f75dae67a16d01f41 44baec093d30bec4af;6ab8a6da185f226cfd552e 4899baed1ababecb51befa211918d65131f35806 4cee7a4a8ff3a6a412156b24cb39563781feeea5 4fca60e691e6baa8823ab45ef7f6d3b83c70723a 510fddaeabdc580ba371f194c294b66a3eba6ae1 51ebacc9af0563d66e684166a71352c472bb674c 523551eab52ac57404c63a072dcf3bfeab9d152f 5462efa1cb8f9fac571934c4407ddbd649e95407 54bc02edd20109ec5df1f897881ac82269c23e46 57000beba1989737304697173fde311733b5bf0e 5cb877ca0f9f6770212a5698bcc443290e1887fd 5fc2bdbb644c2f07bf08dfa5c35bff54d955ddfd 6156cd19c7cd347b82d10e8dc563a56216c466fd 6239f8d570ba5a71de3423278c43741c5d7d184d 6515780f31e17b9ba884b321f8440b0515cc3644 653024aec52636c69e6200375f80fae0762cf860 69b4d87e9cab0b856337e17afce32c08395ac7ff 6a1b07b082500f00f6c3b1326fbbeedb536bae44 6c64431cd6c2b3d0eaa8ce0c9c1d33b37d949f5c 71c24cf9fb590f69fdc382ca81ac7e18a08d8c0e 74c7b3b9fc805b37404841e74148b8988e671d65 75a87613993caec25b9117020fb3124f3598f7c7 767072147bd76c84ae18d1af1994bcc58b992146 7673364af7acad2192f212b1e4f4c8ad6ed18726 767b848e899bf51172cfcafea6b2fd397e8b0312 7752e19ac3e8a<7cf8491d3c0cd02c7c22a03cb8c 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 79d70fde6dfb824dfc85ebf113e1555063fd1c1c 7b288ef088292c29d41b0d375816728f3423ff58 7e360770a311905bf48efa843c92a146a3046a8a 81830815e8da4e50a41cb253cb9e9f10e451045d 82fce86746f9061205d625fb926c1da3b71e3bc1 835c82063e61e382e5aadd84a766f579b67daabb 88975db8022024a8570f4dd7253385de46911034 88fe70303c93d17d0f09b72e7aa202830898dbce 8953a4d1701b97d3c0ae278b7da4fa122dcba41f 8af8e8dca5760e5974692685665ebb3ad5065ffd 8d1a9eae32fa7fa10ed1ae10cdc0d11dfda96560 8e23682cea12814070fe7573a103e160a77217e7 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 97b0687b0f666b4854bc0c37842673e1222c835e 98e56112c94ef1e4b2b588c91ee96072cbda4b3d 9bbca52d6ba4a2bbc29f169002682c9e149d350e 9bcf03e8b6f48577b6c0ea4d52c906fa355f18a1 9ceef509430d0a88cd0eb8d5f4c9b1186efacffb 9dca4cfc44f886f9e7a5fb7cd8161048f754c192 9e8840966cdb49799be2bbfb1bfdfca1010248ce a018ccee840a7e692b2ad38c4bb1855ae9ff8fdf a1da0d468cd58a6c7734aacde65c8c355b118b78 a25b62316f05c29690fae58a362e5374973abdfc a29925c5=175b7464352668268f8cf175ba8cf58c a39b78e1cbc171a66f5b5516c633490ec6fcd0ac a438efea6288f9f4f15f7d643bb504a34d38c343 a60fa1dcc39efd8f2ac95d4868c523d85ba629be a6d881014016ac510413e96c94577bf126ea335f a7cd8c03f5a3a9a1ea714408e9cbc2a4ed4e0b2a ad2b232c4df8f6daa33cef970bf6c68010391ae5 ad3e0430353cf9dd719486ae796d190d5e13f04d aed183aec3c6bb48d4c76e24d2d4613b857adf1c b13dd8b0a61ff4eeb472eb64955354eb9fe30f3b b67daa94d1f8dd89b304afa5c05588bdc415de93 b914f06b1d36f5d85b9737c84606f2926d96f50a ba3b3a5730257d7f4916bd70913829a914ccdf7a bb2e0e11e1a77d976af958a91a5e42c639706cf2 bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d bd300ff3ad6f6866dcd9790299d87fe7297d9c37 be7fa0ca01662d29543dbbcd7ae6575124b1b54f be8a9fb3b1ce5c411d452f2403923fba33a7756d c08876df41c158fbfd352dac874bc41758cf36c0 c36a4d4ebcd6a286bc40ff759606723de3986fc4 c6595eb84f7f5b6ff8cf51591a134ede1855866a c6d04547dd62885ef4e11cbd0a9517dc512c1328 cbf39ef4ded76c107db01f4c4ed39ff75ac31db8 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d2f019d703f20410a16ee3bf10baa2d8af47d1f9 d4a744693dde4b2b4dcd1b586a909e4d25f5abd6 d7d6ac5a68cd81a8e80b54128cf50638a91014f2 db4f6314dd91199e1c763a85a44c260d29235bb4 dd0cebd5d24a848fe40e4061846511ca738dbdf6 ddc55403ae095f52510fa18e0f711f179bd47d1f e34588ffc67a8aa8ffb5ae897b857325e860a5cd e517c37d93a0566edd9ead6bc8559f24b61e3c03 e684c8f9970170049c80f7096ec85ba4eeee58cd e939e9ea091d6c9b5c4e75d04ac15d6a78c5f6bb ead4210a3b8a3467d812fca75101d2fb2dbe1ca3 eb7262964684644c5fbe2a2f986217725472929c ed41ee6a1c949fe3ef9d6497e2d096890be4a671 f0a4534d4ebe0a78f286487df399e9f7c8629e7d f212cb99f8e549a05f2f4735ee2e4e2bbb22ed4c f228520715bac0fc36e36595c13c0b7b0c533c17 f22fd9b98578a88595b252fe9e32bfd115100c19 f25eecbe4303ea9f411e949e20464341419376a9 f69581864fc1914b383832415d21474ae30c64d4 f8b71baaeaa4914605ff9f0a881111093c32f9ef f9de7b168e284e5b3a473be2c74c03da391f78c8 fc39649d641b00d3ab922004d37844d9d59c6ee9 fd0ed4ca9022c0e63bb3da4afbf299eba1f4d87d fdda2b3615a50ea0b2111af79b76841e012fa9431d303aa48c02fbfb8fe205c90ee243804756e6a6 3e7d2e5aa099435bba6e4e30f924c9df17b4a54b