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 a%,< %S]HOL-Analysis:threads=2elapsed=714.525cpu=1219.940gc=78.976factor=1.717zXZִF! `<]ŗXf1-q恈a.WT= O9x7&f*Pn sߋck!E^FMӍR笃S=!?uoU[dk ~/# f.1.C"M/:Q3.*_sej@$MK:)`DCl:JdUX_S }ٳr]2[3n~RF];9kv@]jZ9vE${ g_ԤwkJ-dC^RV#y֝mOWTM2=QŌiq&CBT4Ɔ2Г=Ru%߀v$ Eưd1 % HOL-Analysis`ےz0-,c[o4bG~]~jtC^Cf0ۻqg&TBVKmO3(<9|=O<[5`sui KԔqY*xmO0︑2!-'m[Y2$]1S&'i]2b'A,1vrA|g TJi+ɿIPRF p3dP$u鷐2|^[V:syK>E58_*,>i;8ТK6yPijFS:Z 3+4_V}!2+WAl?Y{ֽm냠 0#$|WL)"WtleIN^ 9hQ`Γ2!fIa hAiZnsˎiʴ4A{ nlKD$PyDI5`HKxSeM܏vW0 /Ќ+?*R3GW}d0b4RώZ$#,/KUk)&n䮾/E#!wib/ K~G$m Xvò@ mcq:jhUObs0"Q.Oٻ~r-pVф&Uy$ax97;$˩EpHZLcEF0!R<,o9Ѧ3]cgJ21]dаQڷ4:Tl23VBj$؉(16xL>s8d#/Q5O)DX¼sN t\T"eI4%>["cm4o4ǘ(g~ց4bƇs084 p-3gؑ@1]ZqTKj(oJN{l`ϭ2 h|$ʈ,8޽"m4o%XQH9$.Sq:_ L98Wu_LZ"ǣ~l {`0x~vFTg\K [ lYdp) Li-gׁ&w@{g ى|haNlL@A<AhOfd,4S2l.e2 HN)Qd,ՀId} +- ]VF*H~M{00;)2#`@R Fce6z&L=w1q c>rXQxBfXxvqD] IR_D;?I+nPţSuXGKL!nNl| ɫW36F%Og׹.!;ٓ,R z@P6a=;myCSm@ Kukt]4ݥ_Tj|΋`޳ hU0x2-M?k 9ha"'Bo)MmlJPm1nuPNOL 7"Qdfíc?GفA +`҇|.s51*/UxzEq?/2|6ZL1pKR{_Qc+ǫUsor( ( o 4ia0A=(q:Zcϰ@PYwZbeԤC ~;p%ɤ E"f'!*`_|6:$=tcӶkG|O^+[ (hFQT):ڬXh$HWBZcL4aE&Jds!;vl3XwʚRᄈه*x`Lj%]Fv81X9mGgg%->~*s{&.wlY<\„CwMZwѳ:񕎽N.;X>A'|sa@\rؽTE"nesߤj]ør⨔h:;ͣh9 fgQa]N"ĉS4F Wڊtxȷ*̱ }ƋzX8!FMOzyc6VOl:xihTcs}Km{ ЅU቞NXѠ|T{͒%% -20 TW> vn TsjYC "ERsJǒn? }{wrI$u5/zI6`Ä -(bFؠT+1nTX}`|!>M2yԮptnGIk\+YƊ _+lε+~sb#e>v}4E)áAܮk_(XmrZ181.pfN4DeYTI1W \Z/zEH$8'1V8sQ& TI3ox57w>sXzM ic/23M֞T3-p([z1liͩGJTiB@ ã鸵b*0xWoAjR#T$e9n{Wb@m e;Z90Vs>ںh|?gUA7&|R̳@KȄhG]/ޙ"QԊc;$/{ ƼLÀ8n#7 f|cSw%+tHO񻓌+9{><}LV{e 7FƶF7ܙKYd{1S 82n'Ӟ: %c 3:˻S[K6P{|紆ّ(=S[ z~Vqs.0 --uAYϬ+(ln)0W Pa=K'KwVws?*ήneUӘݑSPR18K Yt}G5Y|bPPP(2yH!Rvx d mnCd_Fy ɠ>ᾰ!)\:J[QiXۃ}\-OD<*d\Kb~WeHeB;m>Cdd$ڳ l3Meǖޛ6}>˵i(})+2OiiJvdt3|링״tXz*cB ?+4,ϤzfŵmyA㹟Vag{%ZN8\A?ZN!$;yy6`Jsb0 ZOr7K6rٍ=# 2kxB1VbAR!uP(tjaчtwD :QT8llYR AX3ߎ4e#*q@K,(m5Z^ {k%نR&#Sƫeqt1'|LlW2%1.GWr!vrFd}.=X[/Ww5cIHgCIN0X˅7}jЙKmX$("GJSy|S>Ď#('& Q58xbfR0ͿQ<%crX:oFQ)H%dS Zy}s,lJm t 4L\^i">jo[ED6G]\wct{n{!'O+KEjC7l&,:."!KȤ601Fr:w /zyx6\,ij HX͉Y˽x(-7Y|<(JNJnJԟsqZc7\x<̽;DŒ.ՌzϧSÖ@13r)e(|dSo4>3"~$Z ha_᳔,ײH DWgJn8ž<)8ʽ/*lU L n0rރ̼TM Q5Ѳ#SMub ő"䰆RvR3Zw~[u)JMwܗl@ma~īwU3F4֏[vނo>7~0PP{@eUL+PH  R:mUCd"X;[2,K?}tŰ޸w' acЗU'0UvGq置՞-۴ވ`6BN˝GM\r\$L.X|^CÓhJR򇶔+%؅%L $K= mILEYp^,!a%jU8O#uwͦ4z zB&I LV#*{zK俤sl1T>`2 u;,"/NMvƾ͘yܴCJʪB[-]s|+? )WGS蕂hMP^/؈,JYdZ1+=w Šӭ1sFta8-?J܅$)rM .^'@Mb<Q언~kqק0@ )LYv dތeWjv`H=H`[\iD\8O Ӻ,k(jVF8k9X]ʬ]i(,& ~ɰc qlę'"ᙕKc,5PaBEZs]62QmkօFUrg A *m؋Sqpvծru+r˄Z=!5>b1Q_*d#hZF@k{@fےx|7:E2''XȆ&!L1]\(f@U. v *f[{;lBόsEoZ 5$3'L8=wX4UBͲѷm0PST%9JNfZѼqo$s3p9Մ g)ɓ?w"u%P-5Y_|!7HK`RhL ] #3;.QjTKEiJ1^,֘@F!?*%0ʇP#~V"2q*AINՋ}^Cs1 i,=p2_xΔ9)T*{&TbPa)9r_q?&VNNӰ!Ţ/zi j21L FM{E>'\elwmLMfq%xg$lE;QTmcs_ p6:PFˤҴ_w:%a˩)Rnssc?eeUkn1] zov3'ff@48_X5mŴ7%@2WXbdwB:\#& ~n8,ހT"UI\c)gWT'/X^ބO M Z;̰4Um9|GBHO a&͝l=ZTJoKj20UA`"HCW5)[޾IM#[gVSF(\v#Wjzk@ gTs7+i4Zf @IKm N>gTS\ܐeŢ߸7La ~yPE|/ypV`˾fQ xҐ@-FAZVm#Š XiQI;绘2'~*iv&E b( F*P+ۍI.yt4'oqnZ8XY |ށfܛRjWf~gAhQ*27]Pw,kc,xj/bVr1Yh, 5o#-B|E)#E!6lWSK@n;qv<>r*"!ݼLMm_h4VZ_!?w ^֤ Kal HgTPz`كЁقM%E )A~L\$ʓ6Yk>x/J J P^I2X~ 0bF8ރJ E܁>N`+Д(#- Ơ, )>pJ4TuXj3 *.Gl/ pq7*yt 2"ᘟ݉2 (/I* dheQ @W8M ?Jxױ/v_d¤UN]=RFvɐC1H3/hL(5!S&8|[-EXj;h I1E͌/I3|CX;%VW@d(X^Fs[l %{M)44!Ruoemwv}zmql:J}Uf9<n A8዆ ɎKcIXDK1cSpT^38 B,0,juDRZ^+cTqJ qyUv<'L .SʻF . -z&)eQSq*}wL୳*W2g%bܪp0o5CIkaQD L|JF.${^@E%] ieZWŝ҉HeդS=ܾuԘ;zJ~+e'Y0cUYȰYsst.x:X9#1YjQ;e/Td/)-~TJS?$/`tzՏdBCJ5GCI4y H rb JK7*x3%*M4Cͨ@ ]񰘖_C|t9JaƍLtQ҆]J':X-\H3wU)ۗ-'g#g:m 1 mb̀U 1V}Wcisb1ۢ~IT<璹ӅPD0Lq<^[Qz 6=AhK+CcD\Z?ijE͈X>7`~l 8ҟ sL.y_iRqel&>]T쇾TQG\3tO|]xC(ؘ߽Q+ӗz'0n`hgsMA]MY2絋 [s y *[ȰӺrO 0BEDH1L\E&>h"fpnֵX79 LyݷKpoeBw0^#29' #*\ ԅ1bҞ򐎤څȗsdJ6emߏHú?]"=N˹fP,z7דW܈(UbJJd;Pm8"Qm&)ddeE7.Y!ц |ׯ.Jx,^vTl``p޾ S Aީ¤DP o1Hs)ufHSrc^@fKmqmVZc mL[˕} /0>w<'abE_18g(pkЀ8ߩ!KiX\X8nì WLxm[qLm1ASCڎPjM5I|%|_G`PG+/y5}xi[EJ 0X$ᚇ\tb׈Wξ\F![p?=+r=)l7FWYdeQWx27zE)iVQ2},=4*Hnɾ/(GFtٽ |%jA\_* m|8R>Bj g7t3AXܶmYί7mХL11)4bSq:뇮Nk>@{K gxhZ(署[ns:UK<곂VI|qOO7 zv1}܏Q\ I:s0hvX _@1W1t,(hF6rC,إ] !|,J| Z'G7 nIw0`uI RI& ˒?ؕf;?M6J<;j1yih[ϡr 9~$p D+9&a%.@D}L ƕ Re[kwܕ<遑ߣz1ލV)Eh\,0U@<ۥ5L H:(ޚVJٶhshS]y}-@4nA Z/V6r&:jj[CͯUFg^t*cOUOr-  :Jݰ` pp?m"@,gyR PhBpz&Û&PltgrSܥ`qFBs[6 TjvWhRV$8Ekq ]η\zEp A4.idpEޑ8xѩY{py2kG4 5޸7=)~_=juю$k1+ CChfОhvt,lO$iOze\'vcRJ=g T ]O7̡ovO!IA }=0P_㰶VͶcM4v;LR֘ןFNjةhiVt8Ɓ-R*hr5K§j,"'>@;QX7pL,0s4n,,\N*k' {:#kxt HQ%e+Փ)k! RX,0ANyD?Vkp/0*g-}+>k84_rg-/5(g}r_0mxaa=E1z:U?6 gfHgjsP;RX:plܿCN1LƂ+\rĴB ޵1Lhps$@zٷ'~a8btݩy:+=Nvr.Ŷ+1usy:q>q PP򥣖u~X=敾b*a9W#`gz2rXAtfA Om*q[[lsbLvjnZsjK'1'Q@#=@PnZSrA~?u˕xCxrXJ^Ajo(b~҃| ))pJ6ݝQT_'Gɏb#qe6rA\㝩.@lZ*LtGtu$iX/%e0{ z&b[Q&͞Vj#`>:X&EmP-Y2m\.? W414WZ:0}E O~E}f4i?A} Q =V]Ɵi>m6%}8b`4(ThFk0y~lnudt ^QEK'FB,,'YĚC&ag7CgY@jS3HJr3pܴS:÷4%-qİM:N>Le)qlq,NR*C,bH9{E;ّ{m CLgg^̎^q2bv)VvN?=JeIԳLQ;AqrǃSLocO l \Bv.C89P(c63éƂӺwv@O5LĮoC@gO _]Z{憛Yd>\ 2 I/$T7 ʉmHaFh $YEnqiS}'Uҭq U53b]!&gPȐ[dP7HY쇆op\C!ubK"C8ќx:w $:l^{R5kyך]VWy#tٻtWߧS,{!՞c(qǿog'2OBݙ6vJoFQX"ekޣ)ۥu^YM N0+uz^SD~9esf [B? ệy4w ]!m1_uF1 8p^)/1nԻYj}ʧu8Bqɻ՜B<<债MԝG 𫲙mpSUL9(ܘ1?I0%VȍJTyx)SQ^< >Y}ܸSP4df۩aéV,դJzCyzdN(ȗ^-;l}x m)VE^K2 7e |(TtQ__*e )3҅dez 2+XY]sl3/&`T ~ޱ 7px鸾OQ^3lF*Db3d?_ʾaHoeWUEu)Ϫain\,&AƣA9)MkiXQ'ų@hP14T ;b|+6Qf^R!YQQ9ܪ/z.%]YO츑,["4{q Ț\,P ej8Mm54k(= n?m}*KpWFdsO:M$c;$PpʰkE i#UXӫ}JIP!ðh$qj?l̈œ-XkѸ $E~Iq^#+S+1:nhl-BaD)NG8rVeϻ,NuŸA,=/p2Zn]*#F{e!:6nz^)R 剾"1CntyŗV j)L] P}ҙQ#4Ѹ*vK8nJd<K˜K{Y1VDB}eTE'9.,Cϩ%XvA c'^ނ kѝnvɰ9B#Lɟ:HDIGsW#a򅿀xtPy_-d֞nLfHThsnxpd_y 3gYZ7zXZִF! ]ŗXi%6xfKkbN§0b 4RhFL ϶I(/_[v#. 7ϾR6Ht科00 6/6M'f} sI 8 D@8rB jCR`:ݍ4v1}SO3zACm8g*duovf~Py/u5bD6[4p )5aJ(iKFQqn'THƸB7aB=c9K/B9_JcBpQI`&k @E  ɗ!~?Oʱ S3ZI@ik^e\o'Yl/q5󫆒{sWy,pa" {w&t8/q4F6nLoO=6>v@ziBф4LJj :RJע΋`rraCtaG{Uj歍f `U%JRW#=s0jŜa[M7<BK!w3Y)AnNY.{rᔁM2Dծ+x U1iĪ7!mWgQyoy&/bF79J̵ _DWcz}9ū Ǭ' a  (=*뚔. ;['17]<@yX>51f|ɴ=d,Ud\NQ1iת G=2ଈ)Q|^~#Fy锭PՆJG(gѵQ/oQ'ƺd4qsY9AQI+M7/O^_״@eF&+Ω: ʴ`$<) Б>^)V`4,.)_s#-x asq+%xv?(ƀ4}x^uﻲ[>ָ2K|0-nפV"y'zNu&jdY)EwQm|J8]q xP3نҲDqK^wO!52UC ^I1;̴C. %<Ҏj8/BJ5eZ5ʣ?b^isB (. !/doST\n>k 6ךQ( |rsv(NdKH?pRb|jY&l#g;c V!Ize{p KSZ,KL2-euX#0ӯfb*JԽ%PejeЩ ' %Ȱ5ЍWv%(N\O٥Ve`r;1$L5UҴ_gF~ o&- ፵Ikۛ _8;Y 7^r>͜`y#SUk9XdLG82ILrc+[5 q*gnaRVI{g4n3ˆmkӔa"f! ?؂L9M$^uCw\N#uW$R<Hz&;37ܚ4 1BqnJ T+x\Q3]h),Oz"gZ =/.M/ 3,}i/e=}=FȀ<*ΝGHL9~}TueJ8] ͔X=G~~vnpj؉`>d4惉nuyRm@|/Gk_pԭGmj'@ղ'/ddbYJ_@]WHfhwN7BF; :4ej҄ GVs0akT9uVwB4Ea=U?ӥ98VBnܱko\ךS5FUBl(/P',LK^S5d!bԊٹL-@P|^PRobb$H8b6yrR3-`ҍ&s> $LMg&dq"Q7&GMgbƽ!;B{N ˋ.͇<%"8 w\ e;`cܴ݌%w*@拾;F Mq\udvI)gQƟGK>QS Ϸ 0-=I~+IDR j$HwAg 6Ma1:ۡq۳c{Y-b ! )c^#=lIM V8₀bnuUVR'zWGFÔau "yS9СJL('z1+QT:i8 y)|`|g1F&5-*bTn7Uw@j`/2HLs|*#ň}2(L  'v(ij ӟ滬 )]̑! (_OCoZ]"a @]I±itqj8b*؍_Έc{tXcיS.NY~9)=VeShh9GYm +o|G &%3B~ {,ŴJ+_: c!1-ЫaLa$xZڰ̔Tf[P3P0 W J܎^fCν%L(i,e:dc ׇ݁JG/*5AdzF"$/?Ag2=A _$?4$v+Gq:^M:I__uw$Mi}  :{/xx =0_m9*u6Q]F0.]͌ӑ3omz%,; Ni/?ÂX2ҙЎ{܃3]C%h<W;82ojȽWUm҃&6alf!=w=FoekJ9TKl)[/:z(ZrPH*irځ#AǓe^^`l>Yo@[Lv8Jɠh085U@Z )' f屍Vw1b.y}ei཮n8='H?$g}~ζ%!dPd0e٭xA[_".fՎkƆQaz ^ǭw5 `Ge7f}|d{>aufm0,;t^'( [ w/+_3۱"Х U{ET{w+Ѝwik߉X}~[NEHn ARmg ATc9-8(AD B"yKsQ[R!Y&K@gN 7Tी+^`I3/cY_F1Vԃ 'o*~A:a7ZN{8^V1ٴa))Ìvɣ3śOxՙygg2a1/v=oΡanKÎҋ%tkߍإOfKti|lې ]/@b.*h:~@&P|`h8gy7@ry6T5?&Bj^aA#v yχ__ӮYmQl̯&F:"^QD SIⱢwvɆX[nəhRNӘ&g|ǖj)6"]SeuQ1y̗:[$r0n ;3;>;6ߌ'u:ڮG~̝UXA@&.YC= ת..!E]VMؚNOhfg:bhrmΪW?a?_^Ԟ5z/.]]ug;m,AӨ}SK\SY.g׾W[QP". Rj?T &og$+h zP!JH bh>:IKu{ XMj@gqQl0Xm9H(y]ZSzrj8 evy86c~<J[*L- nióatJ 7;O0 ;@}YQU{]tA]  fKzU5J/9+d!aeb1S XlѢ CXMFpZ){(7IZUiAˢ" h#i: U B5Cϣ?fC ")'SsK Oy >H+CEal+}s}$sj<&$H"֊YwX:1n jY*I%5' I[>gʸ6PјIKۀϐ=b` Զk3`_@yL,M- KFMEI%Rpy4|m{cL:DisxX,NkŐM,鐻듛F 7np:ڂ S舻\NFΎR0RvI&r,nn5+c5Ұ/]; 0$?8z|}UMJ)zA*[zzV}7f]Xper[<esyaR!ѡ, <j.ݏ5mj |+`=Tkr4HfB]>cR[tذx[ a f/{Y9M-:a?|O'M{"Hf/L<KB2ZV]bh&kU4'S7K6`bܼT9{SE f =N6}|1z pqQC)9:+۾rTI_>32 8qUz33Cb٬o1$V0Df΁6c>Km^%MH$ o<$.VTi:" R /Vɋ,GWfPau|7qTnX@PT!DpZ3z0sNdņy8Qb_5PA"Ǩ|dn>S_~b[901 WBÞ)aToHGyoE Wi<+-D5S$aLmT\uZԘ1֋mfXSiK^j0KEx hrRuV[89nbS+14ё9aLGǨ&ry"<_ v{_lɪ'Ee<.Ѻ(X^#_=ţv4S;:w7b"ǖc^5K4DWLǨ oS<خ,qV{@SL᭔/0;kPGiy# [ ۆ_.XUJlA:wkiYd> "#ʀm Gei1Eh_:^KQe&m#mNX2club PQoGio\g'rM9܊i#^%%/8 |x#waEZZS.^[a"z_T̹5ӈ4#FaLYrϝɅ}ٞ6vIj4A M2~KeN|nݮ}ư'JQh^4+u_NyyCʲ4)e:ðע"GIf0{{Sb y֯Z8SEi70rv<0!9?A|Ǵ夺ۓ72d ńbvZ q[<pxFi5e;lXl  O Bfx6 S(u&BV'S05w <8x4JAAgۻfGQ~< '㑿EU@AcrIVbVCo:: 03?eUÔ6@sߙ8)0`daU֖Ɔ>qx\?<6ŚnsIǤRu@)?duqWIS?9;8^ 4;P.:%n L()UacV>uT+'s&OXЄ)YAQ{kOC>&vMLxn*wF6'p<Dvj[y!Fݜ9rˤ JI9XmrQ`>q-SEZ=wMo243S>3B>&Yl!NcywZfn"7-x1Q&/Ll?55=z(Ll M*wDŦ7ֹ1cߨi䣨^>{@Pt;3:8 g ŊV-_JLyG0wĪK HЕ=Pw("'~~~955cHݡrM9+XIRQk(=H o\蛕 Px/tgAՅ?'0V3R$hxf3 h5ĕ]XxZJ{|IJ6Er{J HlIx ߍN\YCCdտ, Y nl_l::ü>ٻ~WXtM~W璞IOHMy;c.bHAhp(4b`p.)*>Ͳө2hZj X=HVVDk/$-xoN'JnEgMrّ'ێHdFXz$扱+d`RQ;R2+"i1J[DORrl2X'IJMY"K vM9 ?;B 2W^q,etR%+pX]SJEo-ؔ0ՁZ`mJT\OB a%s7˿2uewXLvNlk6 ՞mGwߖ&fAW"rf|2_3SW K]p[@n\5ɇo"qHk%;s74 m)C؜.k1`kLrG9FCQ[×Em t$w#^^S5YQ S,]=*\ny U|..}M||nncMۥS5k4И7VXuhwAX-xtYgj%_.`u۔>u[X |i<'i ˯k$οH -kɼtXUY 2OZw }R UrQ[ SVsxǬKN(3,.PW"HHR3d&u-} vlTYeRO9k)L"ӰWr7]їz0;EJ%b=Fp6?r(Õf֕fC˚IѰlW}1-C]t! ZE&)0~6|>ZTƊ$])PWaX'$l#EGz뱘qL*n\ݍȉ'OJ.χ9o p0T2fv!*VnR +&c']h!59 NP$=HpuJhnEE3 P/1]s%:Ig{'*fءARCF2o~̴ ,c(Kyǯ(A*\ -Lk@.$B ؘ\A/?ZӕugvY3gjò3չ%2e6YSl0Ķ&F2CqHd$ʏSC8i^_B!K` _BI!F,} u[R=<˱nzmaip+λ&nc_(m ڑݦRls-UĠF_$Fabk _cs^[):}:xq#!:~ t7d =zo a U)8夂ׇFdtK!'ҭ))"-2uXl8:x6P("pA>H-#T@"h\'R#u/D%;fg#7Tb`[ n/$vDnk6f*)u:73XQN/\x>mUZqvnW\],Z01dJ; {kʖ>ok'rB3%oMOŬ4W=)P-G{"t$ EOaFz0 j9<#<>׬B&ĽGA: N*XwRa= I/ΖDzΊoGL)!Z?ƠiqJ9D^ko"=7d{Y>Kbґ`͋BG_^e$+MH%,UG>s{j QIZOfCPeFi~ϱ*jfIӒ bkhvPUOVet +|J?2h Pnh U3.=6&ѣAuAJ JȞ׻=?PS~HiϰUR!A;z`mf?,FA#q <'p/% j kf6" /{68>y'80f{jIM5={{[7 ,D?/c_쳗> L0Ė)jXe *k)9b:RI'ɜРtրՒźu/;TCNe -P6GlAWxvQðvEdv|h]coi u AXеI M ?)}%ouh{":ӯfs|Nзۚ7-%^"7GB"Bo#W0_EPKks!"RQAM=*qm͛#4Yݵ)զ Vd; 6p ^FK I}FU %gMNnP8w=Sh>0[F#+ kZ1 ԝ<+v9udbq1s,Rt pZυ@엥X~B0O *jQj/7p[y 6$4_`)\5ȝܲ=cC/!X~Ti?fvLCsn[?Q#4 R 1-f! 9?euyfO8\u ߿iy7~b$_-UL8`ϮF\(joC'ݟ)$U;sOرqVtp.ZAxS^ԥV=kUPȷK(iw`B ҳ%lvNyd2翭ÉK8nڈ5;t~|#][͸>HP8^L~lTmѧ1q)طǵђgx U'ԉ-f 1(ïaNmx\|ŅmǦiZ%Gd nmy1Ӫx4yM Xp\Cfi|3ny U7 b(IG)&Z^}.8mK(WUO ENiDnoƞW^Bp ko2ޝL}{>vpN=](Ilō 5ڱ?h}i 7j>KX΂#b'vByw4jl-i'@ȮpRfm)ahbyB;mB*D& l-@u KWϏўB^79XM޼:41NW׹hf>Y:N[dBG[ H˲E9@䄬_yGHގC3<%fzg͆qt}Jh-="_6xlPȠ+z%̬/eztB qH~SxdG|^c U\ES¼䣁0 C9k!7Nn SJۅn[~5w1 8 PֹbϨ<SS^" #t -n4tN(rMoc#I-z'Nh-5 Dr 63u:aɍkt8$JbPŅXk˖ćo@o]0:'!߈U`;̡OhSu۾4Kaa߽ݧV3cz; 4WD+fT5unH,,)zIۥ露{o @̲[|sra~_bm*7Y&=0?H6L'"4zн#< !\yVJ3/2fqI[/:,GE(/PiE4/] 1y\P4?}. ^RK0"M }WsLլ3c$G1~ |q079zc$YPƈkck?qp5e'`&-츆/F" ?|F/󰠆wB(TyP!1Kx4ft9e&ѽrߕy^nC= |Sl8 YE%v=aHH6#h{f cJ/˛%۠ΥA.cy^Zz+ةSouy{m|%.C l{ i0GbVam~Ra٧wݼM4"#PHe-M,oB[G`9[VS#M\|"0zTnUjwq;v6"S{/5sv^I!7 J K%«ypKK&̯5@ڍ_,k$M≻ͨos7r -_)Rk&1 ?ɊϷ"<5|ܿX[%A- $TwJ?xq v ‚ Eep!;~˾9Y?%yO >%RF8GQ6|?9~fËW| lf _e-.,kXjeB5Q {q$$wZo>=ds#F3Z(M*i3懏zKQNN c:R#p .?ŢBYR|`zJ4T'kyhJѪnOyN(nT9j',|9].%ꉱSx%q<:s=vi!&OIKW)FRԻ = O22i}lZ) 8NI>Md3&A(L=rԉ0`RHE)e)'MAҊjbO9:C]:@eZjN"O'gsAn!K:APf~p=wF3BHAms/"*&X?*lrN#TpLo!mLazb3F{fܶ!`TPl3 UHB=m[yRy5QPl)+#e+Ae*G˶[VUk"m{RC--SA |pʸ)0:~O5 %0bmq8zxD:A{y%}\=ZL.ߐa{O]4?ary}HiV3J%11{rZô:\;"EJ nADd I7`M\> c;ug^F\x)8yF Yw%t[iޭIx)VgypqoqE;I~",^'(\igg6axw1`&q}Xϋ v֡)ʁni r(aR t6W W _,9TOGRjV<%oN0GzfSvVU7/׾2WO)yIr=[q/p {NyLq s{L1!UPnBJ g\j6@#6C\O7KubKňW[]v)J#+2Ɩv4+bRF(]x 鶰=d3Sd8<}PÄ]W4mDҁ{0Ƅvv\I{30T7.}UKoO[duR] TRZ;EiL ce VW㯙4⭵91I,LI?:M{*hR`gZu-*O D{r༸S!Ѓtԁh<u 5k8zqp&DbCmPMT͉ 6 0L@+0$ƼH0t q["  J8"424QM,גϿoijɛYGT@c?GsQ^k4.SCBBXp:!l sD!8#8mqaZqРܦ TUx /)@ýrL( չ5>?wMu#Gdݒ\: IJ`"k1:Gd^4ٓ99b(`tgdƟ-N6666ۏi- 87iaD-C.‡0QJ\LN_\=n5 e/ꦕ)gU uz5VJ's9X{v}NYN$ fՏV&-޳zRunp.j(BJ 8O8hő-˵CPE6BP'zRg׾v/`zZV%2ҒMÖgwJ{Ibl◶h^0eO &"R*t3C"[D2k^O+|9ͦaX\Y`PQӏzZa{/[+ i.-5q'M^*_;7<(F&"[/Ǻ.6^xƀTFWm1z߲wĭG`Ā2.WUD/D~4\9м- lQ~ Fp5kv=W[@8u3W [~Pϥ[{DP"^ a ;_Y9>z,;R߂[c \f4y7S622KI婴E ]/tRvш@0 gKľy{"N>Q7,v;*.f:kixl!4 Ts&(I6Vs,D a(HzDsR+B[rci,÷.YXb%zcY~<Ǥ&X6˃WJ^LTH++T J!-8Ll0K8m\E~g{tׂ):#>#@63_EASfզJn7nݜՕ֮BуIAO-xK̒IϘ|/.}[1b旅%峃ghE\%2kU͝2{64["U@*_2Dgm]L{a rB S 5[m:x(D}yK.)p?͊2J<ԾpSvG2I@4-ṄF52U/uaq"JFyVC?tOnȀ#Sax܅: '_VOg%|PNir<.q5F~j ;DžH)> O2,8[5:%Fazo Dׯ'u]U k{nbzN \¸sH1)X Zt`J7E"ߞZ9(<#T-_rvFh+^r,~o|2i7R}9G~iV_Zg@ʬoExXϼ4}3XK1I|T.tyf$a~yYb80F#.&by~uႫ%"f&UľnEJ$LPl6ի6nBo* =i<fhJ9<0r3A#U;\dG;rnkfPuA@9Rֶub0nʃrX#oQ_!yiڡкP[ϣ]ҁ<~%4炌N#HfHOr#κP1,fz݆0#³91YPD /{A 'h뀕mh)0 ~@}Kx)?\؁ ^םtAqP?| ԅnv W3BJ'y[ 1]ug)Dt Ő兮$vܴ(tX+$0 8He5`~&<9mfo׳/ހJΣVK\SulJx>2'?W3}-Zz(i֘Ly<.hXݣHBv oqܟ }AѧX.W' X$qǐZDFY6Ҳ~MsN#[y$wra}{H{]o|ӆ˶Wl}3sTy ͠Qӫ(I:%*䎼`CtUQ n2V-/e˶1ɰ25 rlJlUFízɈS &t~7U9<2u?;UuP7^lkx2JkLoHpEQ5$LWTď"e9LHפء n> GmwF*s jtB ȦKTІD6Ti[pL zH$Ӷq ';R!IǽA~X' I (YCƘaD K_;͊eȮ QJqeHFz2O4K-8^"o Y r,E-(iqD(/l z݈,] C*wj"SFQ|ZJ5ME]>T$&D3Gy-KD'"ٻ(7<嘛g:}b8 5GV6}n xZ;Y"<H,$@kDgTi䪸瓷Z@-q ‘y* - m <5Gw2HǁCt,|>DJr(B,ha$PKa'Y$!Ù31m(I K?-g'Krzq9. YBNeJ.:eTA{U`{ .,:p:`KcRj2Q-yְ%K ۂY9!5`Q3 x4!N>B[3u8*xghS lim&!yH C}KqXO.8i2+pLphnWJ UiM/&sq9M\oA>D~_OxCCKkO:` 0ĄW5#6+mʶuLsT|}Wadjj -.5TP)m@l`V'7)3Sؗ\7Hў+n7:0fuBQiLj}IӁ0kJx@lf,B7kBby*~f<*_nd?Zc ٬۳L@@}.e* &߸`]ZTx7YD\ؾמ`w@mmaFJOE;#LUX4Nn!k8kxr3s]awNsߠQ@YCXIɀҰZR;Pws*~Ԗ";\bubmIgw/x{x 1'S2({nRP/^,V6e 0V@qiע,bx%j3-tV9zV!FL:Ztȴ >q*#U+*=*tݾv8Ѷ?戎V0_RC[岭 b\{l&ck4 2HΰiPJ=a "(5noA7*GU)%GFZl[%DLu?LZC5B^U^|KA ]F=Ί)Yz*&s-Ԇ} shbaHT^z!#>/6ih%# i=[n/g.\2y+UwgFs:w]USJ?u5x a\x;p砛) ._.h<Z>^bfBSA˗CК WcWra$VTĺ .D:Ze[oVY=DhSq&C#)[ËV:2s2u戊s/ d܄/2}BE6'/`1lNɠ w3WL{=h}꒶>jKP82>BjZ tq5@l-VwZbGmx[t0) 3Tb?7o=K."sW?GW炭l_mԾ%ċDi<<زZ?F=g DBVOa1zu/t8P;.~tF-_QyY @SBR]jQO\_*i/y27w+sTI$5N2ZДe}lA4 s&yNV/*=gSdoY}DȻϳg:oaGѵVNM >A͏S;MCsNB/zqƋT;JbOExkk<'ui&_d}lo/!kT5ɐr-ZNJѸ'S{۷kY.qA<5B; Z t~Ls~>kr.y {S|}hJgcjBfT*L,Muju<I)< syiHo4U-(D}Dgbz6QK5KG -ѽɀ6j!G̫ 6 @:mkΙIq϶4ȍ5 bﶳ5ebdiL񉰰&Sq%גqV:Hm?Foš@f2a.BRoBQ,b6 5EOn={y1}= 7qҪSsLa:uvH獻eHE?)`jRiiВC~9hI[*LjTS "w.F%HF H駸 U7xMί \ފB;"^Y}! ېyn͉FcJ!K>ݹjŹ(/[uB#P&Uok^:aT?#8agel@7 +T;ê/DڴvJ[{{UkM?+GDF2 ⠛ԣ6BˊP|h@dzbe1hwN H()A+Y<&iI>^T_-Jb~lkZt)0}sejL2[8=ja2ѵP C/c+^?$=[pަuZ.xlVc XMt^1j9(SO-2džy:sNKZ'$D`w#0^*F<٬`J3*>f{6E琻ydVDhn!h[9d~|aFQ$B5;<#TB56 +ӷq[&g,2[:#_Nc)53>i~˕]\C81G=*s*cػm;$ ̼;j)R[oj`p63W lH:elS+ aX{% Ȩ񣁞g[UHB?N; /~WMD9FpPJg' 'KY-o;GzZi84 \ DHuGcqyxAAYO[,lfl{0ROŠ6Ub>*\bG@I$8ǓQ~8o3'j2(2c3wH&N*4qr=aqL:v%j^!)B( Wa`g]؀ua-V1j:'9`M;UhprFEJ3iJSWB]_vlmDfsHF`HPURbuf5FNw1cϬMEn$EkA7ts]}Сv)GRn;$t_☭j&B\( xo"5Q ![0 /flG/8ȑ:OZVVK)aGd*ty|=>U[S#J[ ^6;WKY7jmrax7-k*S6BM$CMm{w;UD9NH\WVfr?j`._*$lT"sS'W 8^W 4ef" f"t<%M| Ib>E 3L@B(!_g[Ck Z%[ZabE:㞔D@!jrwu&wst%_K鶷$>*L ԻIݢEje_TX*;R$` p'H%3!ԬAK]~O]A`;)W'!+Y,"^&St0^mr _AJA of4ش{>7'NRL# )>b[#pġas\ w Q$uxuv8?kتCh&I(ϲU2UtNPR@ _36ms#̟稒^hv>IWzA:'`X}ᷣ/v`,ex޺锤,>/"ƍ_jds\)4{J*y#|:L=%b4*O1>HDv:Gڐ>{ju 6}> ŴIAcPKrH$W¤ gN!䝴^:D"=ڒe$Tnx°a<9?~w,"6)?Zs0 ̷?&۴fda_+³YٚgI)U(͕T}WIpHE)ƬՇJ'BO")\~ع4NXER/r{ĆJxȔ }ruxsdњt|H(9r1YG+8Ixk;q6?|v;Hᶇ0dYt*n#ɌxyE(1Jcc_zwdKGvg͂j0nL& 9?P+YӾ TG[clw٬,*7Z< vSΦ;Eu(Չm2q8кw[[tYH ҸF z==ƶ&~땒2*HV`yg痣9'LSM?Kj0٥_|6rOd F'HJi`Q皰G[b#(*F+]7*GEg8M1` YqC&!/CMTCA.#1̻SjTQYOAp Wr$GQ :6w? k#2Fe^$7\*Qƭ$HM8肑7y/584ɓ@G!:QtslH _NUDZ4òHG[n?-qۚum::89oU w z.&Ԋ=,~ RD>˫ȥIT3}@5$&)!m#:8HEيwNu^0bxR[znI=+0'l3ߤ?jA ˒Ҋ\['ʯaZIbZM!/¢0zLbb; ([P]٫b1w_F>{ߧ} ~7DIƄaiA?5pމ0\e H"p53-J"ؿ4% P{؍_߳f&~#󥕜&Rh5Ms}v`1/m\^4vy7 bt Q3MO4!_c~:i;pc Ok]mGzC9pKK4暞2*c*T80xX &`{'FٗK4 #M]d8LA_Nyahvgȧ+HZ_9=6pJsTaƤ;uS ߭d$8.잃4WWEN^Eݶsj%f!#< 5<10^[onXyKW|b{\c0@թ Jз4L qp_M#NjJLkP6Ic~NFl<[O<c YD]K>%zK>@Nvp)F7E1z,}lCW{ј\ Q IQ7wa_Gq->sU㥉'$k~I?6 +bm_pe[` 6E sFqXmXN>?K/uDt?'J ɀKJzQ>#,Θx +yw mgT,L_6 QeDa#pvz݋ 8k&Dxʗ;A޴ }$Vzݍ;!dvWYDrU_BkqycԫsD0@`(19&䡛\K!h_x:qm?E$hIS|J*i|| }Kr8EpJ."$>c. xVYxžu EΡY+&D,hGiwXw'm(KYTG~6mKiF\;aAMظ2_ʼnIb-'CǕ1+۵1)ԯ(t" yy9\kэf<)d~wCT %GL1g.+>>V638߫k3 A= +t>6gkizC+:a 4[#:rAx6/+<-BʺQ*#K3finp0c}lBgB}ԇ_5rMN_2H-l~\9vj BZI1z;crt2l>IH<_݋\k!k~ݤ_Hbc EQԫC%2_)D#gˡ$_w|%(aQ״1P qN䳮)&N}H.^~cl(Q%Y`?VSN8([-[\&͂GkB׾!ATbZyA- @& G#P OHۗiP‹ {OLu%Tsd@D7yʺ9bх`:…9F(@uz=bu,q ׁmK$P\TD^F92/i9]vv );RӛiϚv]Au*W<5y;G1q.kYJ)몈)c CA`śo]*/b* %dxmCZi^tA-"ߟ4jL:6eQ(8(%:͹FU׍X7&C*WD*FNJĬY9=ELe1rx1#QgS^+ G8>}1?)rsg,IYɾqocah韗v-ŻRvVMqknQVM)$RK6;[Ѯ!_FX g`$q>`Fo-ղ<xZw3\Y`8G j=~@! W{KI F%onK}maQT{砱ԑ5k[vp'<|ecP#i6K *5J68|mB4)ܠNXhvͭt=d Nt#%b_}:/H7Yt;>͐-)Irq`b|o'@gڸj}`Jn]. pUمtQ6˜[Ygzs*N'$χ:<.-T}5k'64ضTs/5N-"p|珸_Bk:/4uI?` rNqfjBhX~6 *9ev0 Vw oApۅ"sA~t|9H?ck%wT=?=y:rw: ;,h{1՟v3ytIH!]:xi5Xu.Of-Foc>dwml>@pლ |_m֨n rΨ|!\2Ce4-f[j: 1i7cH`~b.bv- 1pS<,?{FJܻE(F,ͭ蠜Ҷ; -;w[b52xAT?}2ύuoVM`Tm{NUoH0$>(73[p haK[_Vec+7$K4dAh,m>ZeӐqʙk? 1{2 *)oHc1Lo ՔwsMQG咇ᰍ&ZtVV0)IB]:%,$U8=/D]Ov9F/ӵǁ mP`)ySpVN\6 &mvMy犼[ $xy27y#Yw< ގ BuR-_MQhȫC2s+iz=zC}pVa|%bvz Z8n^|u(@g̎#ik0hVn_OY'C×5BwDz+4E8< V0=-{@ 1LF) :V72sg2jBAI7 G"ԟK 03K®R uh|QtiR-oۥfA:G}ƬJwT,ɹ@H,ͽ4vQ߲8uuP#hUزK;!u1S?&;SNyi8K\ġ!Q=:P"A6yM=Ę$œ粓߳R2)E厧K4)TVWN3lD[YP0q49Sx,fZʅD I$ȒE fh3os,QebjRsZpMlTi6 Nh8!wm >FY8o[~n{B m>4ϬXDconr2%LDOn(=Ҽ#/v8NtOI4O(Ď,uN9i$B#Er̀]CJ Z0Fu-I\Ӏj?ysX(a BV ѱZJo܍a>IE=gTؼLƉB:2&#Tm\ cbi"u!t}lEhHr޲ރ״i]y;5?@i5Lvj`b/y  zuM_vNF'2սY̱}8+ꦩI(u*kji!!"e1˜3zBN":A$gmLo0}QTף,M͸Sյn!'`g|32^K} )cf-;~EC4, ٨߶e}@Phwȉ 4O01H㘧GV|zvBw"y>aooGOC [&,CϽ Q; 2&Oul(I~vQX> r0 (OlOXf `(h,̈́@_bAZw8e2IѠ TAh1x [ uߣH׍ʟ)yTҋ*וq'Hd~>vYCq;8%#:)n VD^ag#2ΖfYzNb`R4nx~țŜqͷW-ǜ= RԿRCz9=ӎt{8g=苌4}0/'KQalzxw).,So g3~먁cu]PD)b .$b'~m3#H&[pZ $"j=62 3+x Rm$aJcfq@{v;p>(j8iso\Y.P> )MEJuaF6^}r$@8=_+B9J{Ē^0.*8@<S,&UcՄgUeQ:F\0J֠K^T2d j@G kȴ{)+@^@4pntu2گBz1 @M^tMVA: )rGws2 F ?W޿zJ”r7mQ7׺ 0縫;t~BxEaͲ1? v㵜Y7ۘШ|%iz B%O?5j/@iMᐂ {pА6WyrQ9|(s=^V*xvIRd hŠL6mx`F%MCÃg&Ѿ#94d!'U4K!t ̰TM$pi"f:F w4$ H>-~, @䛢9Ą 4x6bG' 0Rdϊq-o^eo iJ 3đ3ej אAs$Xȩ[z'ZCA+ OmѿQ=lTϛ,N!m&ڀLgrm bЇt;Pdf_7F2n~!RGN \gSˤ~ÍDH]:p? 1V's=)l9~qHcey"yyrnH&+>bS_遀"a=9MgQcz\g,M>@!5eF4ɛEO1 yVwc#Q6>LǦ3|x4hQ4@|6;V0M9&F^(W`V h 0 EZ]֋E%^qq=7a>;3Ƚv "Em'%y -dv   O + U:bj6>3agD!L#* dfM,'<|ۈD 43+WFYonUT>P AflM!CuA5L0ZuMz6Si:x&0?fo|jN|S{| +* Y{O|8;C@ݙN.3<1_WѱD?ID$Va`\ rw"Z=ǽ}&Εj{yjؙUDw'6n4M]'] zIdABܰ_8v?nN9 KR٘'}YNg1 U ,IEqL{w@ Awh$xkH S0tDd "s"lg2Ie< )l4 >Vd .5=C)z1@uFN;$1e:7:5^V Ҏy$^͹]L?%`9tu s.LAAڜfO%~ (+QC^Dž4uSoSO k҄.|ԺIa"ױ.Oä] ŎxD< BMʵvvCKMKj!?JyMTA4>5_GUX?g~cfX PUBι˜¯>.JK tM+> gj6l/x4OnE-/aU;K]=&0~E q_}Gev@{WFWQ~oo dc 3D9D sY1j*%`8~8d)$p]lA+Q bPׂRwr6;Y?e卄91Dxob@ȝ+1԰i  cQ(6HH/R [Q>#(>+W}/MĿ+x~6O9q2d-]yKqnw}mm-/O4<b]".d顳Zpڌ"ku}55Vm_;|.s^Y m"/2=wƱ44`ٟťuV2 E) N;#`t6D ^"xʊ k m[M_ sr.O[n΂/{ |Ƕw(`7JL'SUuGN,LD`xjp z2:rG6ox]}a 6W kRcde5zu;jio@l(Z`[!ÂWIXe%IZ,і94n뉿Ƿ 'Zã7p7C^18/DNݲ˪U8_@y6xoj] Ndf-4@a`Tntn|Mx_apQLI'h<qLw̽ޝg[BoUB% 7/5,"ȘcΥ`݋Vcջy Y27ujSҟip^TK#տHq԰̫w52 RK{&#eWB/ݬU(+L)? X7DC-ܝ0wrgoTz'hT?)`(!}TiQhȖ7eB% ,aI1qb-a$&#"N($H]&i3}ĒkECtfdNM6.vƿ=MmEKKjs#1W-ocDAMS"~n#D˿Yz]SIBDX/zPI,IPݚj,mBK-G7Yĭ#` }o-fHȔ77`X^)i߱>CP'߫e}ՔW_@1ha$J ~ ڹSME^chW!ޱ>>L.94hzeHOb9/DCk-& Ս1/zhGr`ܱkκġݭק/ M2ALYz#2wg>,,d*Tk5tE߼s*I N:xKt!DfJPFK۞ωzrSt]qBQqD͟J4;>1ҜPh#XoKԍDôɏ#v#*,j}'^Q%P|5|,`m*:`m q]E7TwhGHV[*y\Ov\Jbf73.SBTˠIlNWH3 Xɵ}9D%RF>@RC@$Cd_N)JLk1 iS8d==IgOOM½mK"!/TD Ht6@q:+ـAODa0bO؂n\ Aȹ@$jZ2]# Ծ-0}^!F:"^=wJB`1iޣĀt2;c=\%( xPCaVhSԎ>Q?1_&Xc[q RaL@;ȷ;kpҴ^P'7DVFW`@)[AÛѓrLPhC+Rlv8x|ŠxVQ]tWx݃js4* l?#% mmby .)wCVHŤhAe56KgYZ056d780c5f129a854e727312bf0476daf159e96c 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 831d14f67c3c3a84a98a77281c0c1e5b593b14fa abeae0cfaca798724f3a1b862a46ef1f7262f8bdcadfd60bbd70ea043ffb5760ff880b18f070e51f