SQLite format 3@ E- 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 '54< ; HOL-Nominal-Examples:threads=2elapsed=699.801cpu=1336.348gc=107.468factor=1.917zXZִF! bnT]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NA+SVQn;ąE}b5^t$1;5,rB^շMq!!6 Xؿpe2󜣹S$x:,ի/ҡG_j6-$v S [0D}HSu)N`'WGo Mit01|[s-}@A|wXr [5qB!Kj$d:)Q5/y-qyGݨs@֦7SVe6Mi*e#R:dd ! J-v͹+.ӾxHxo|<|[LTG/R6?w1-Ĕbt##z2pD%C&YɇQ+yLeSw@,CzԬ#+]Hии?:KpR$)p'w$D${$:ksZ6Ra0tףx!_<<=O?_Ϛcdc-W@F;]jyԫ1\v1)vJ6&u? 5 HOL-Nominal-Examples_@Q2u/̃AUH0A1`3#+ 8Jb8~_ٮEYQի$φpÑi|4ݳ6d!ս@Sw\|AMzZ_ԔI5{T6{=Ҷ hI9,/QC%e\6 yڴ %=nm\3$ò?}LQ̶X< qq6 B{ "4XnCcsjı0z*RXo RqPpEhNsI%M c{%̍YC l|h9Ьpu !qgn,/!m~l;r{ ds`iF{!`V#^|ЋOȜsc$WaB$2WJ 6.)U1dKh|=R;>KFi ٘.9Х!! &5R6 ss:64+]HF* rI4hW'INVo.7g-Ł fh'V`re>1“]!Id|gm(J;B'ۘupUI@ b/yl˵V38 N %5NҒ_.beo xHhsn$ OpRGwt+2N!%4/5k;$'I} w.z]eC {2L̻]pޗetQa$]$>UgV89( VYdtC(oNل u{oJ?H6hY8E {l[i{f+_QrКKǁd(hssE7-ۨ/b^ƍsw?yy0eH=/w.9Uq%qRՏ\1L-nyH~U?_Sjߟ BIŢpU}ݙʾ{qրsVkk(&>}XwB?'8,DdTqS:mYC=x Hi Vx߀ΰu| 3 ݿVu̴:!߉y /c `vf\Y6Oh MX!O\bL MkyaPE@υ/;I/t]OI"8lqTHӴo>|cN](>DXB/Ο':R˳BqmGۋ_Ƴy޹/ 4v|9sb#7.>n;uG#oD1L†}heR4f,JL} bDC/)8 6n0D ѓ2X?eo٦Cm f=1{mmqq~?22uLO@d{7{%{?{l"CN !:/NQʖo,4:R 455qA @,n {p;̀Pg?cLDyY>)+V~{@2V #(l@D/g, TC9N Ƶa ŇV eKI{p.RHY <)g2,@/4 _# ^QҐB!2] ]xO ^nX6<$3Y aC,lQc(]O*CbV;Y嗇% #2Rae C+vڣz9+QfxUJIE h`{)we) Xw]H9A|/qi*sީ M|7l?']רZC#ވ &$?N50ߦqP ~ zCI3g {4/&\ӄb2^(hʼnq48DEq+Biat'_5Ha1GzvهvQ7.,'vh?>z[Pd8@@?ZiP m<5!%u]uq9ݔ}M-i7Lj"Y7:2*ڝT22`b櫤!%u2#I#Οy[Fv <]APf㾴0>E$MJ$Xs:5EIjoSWun }zZ OćzƻT^A)wCwGxSzzq/AoǶ6'7^)^-S7) ߂hGcaBXޞu^LQ{'ϊ&!EQsr XvBX_%W 糙!.1*rHH y=}.,ؠ}RKF!ap̶v$[vɊq}D+~VFakU#q:ɱOw%3墠ץ\ȜBmܾGG %@Uw-}v-l *|P3q_+axBe/E'4Y׮"]= ;w^yxȱYbs,ӂ;^ᵌ?IfZbW Llo뢏 S?t*d h"G9؇tܣ_P7dFA* m&6mdR%Av0wԼrY5:?hqR^gat{I* 15 g>Ǧf_ qBӴ+jlpy  X_C %v?5B48/Alg{g/uFy>%"h/,@P]{rݮVLxԺݨ'WeX"wvXNAF3{2{:&lD"!%FÃq -^`;vci )qiܦ1@R,X|#0[Eod9wucӛլل`u =VP?9_XԸynY%][ T: =a+DŽ}a "dgyś#ng^ͩks.>':i8U,WM1Ί4iΘ׸,}\o=ͼ=gphp˵"d V̦JmNNHQޗQ#.\㑅0X(e(j4l@힪[6V`]HV(:`y4c(|9n(6~Ғb3p0 fu]G,GvɬLR۲uag˹>x, ;bfN_AP83 YKi7[](8Csb'%l{M 8fp^ [pνZnPG}Nc8t'%\9iڛ@nxCz @RU9S8&z_0axѯUr]fϢ)'ZPRN:nfAUPH< yfTN"9EV(vg!кkZi-i+tܩb9Qi"\= dJK0[;?$]~ܐ0Eyh *󓃝ab%TK;cmKrw\M rYOiwFa**%zs"aF&}n/'9\i*KRYAQnM_an,:vtYts3'r | {:~0<~ML珧;ƥ ijo+(t$۽3$:?:v;4Oxt!(?~fp x(A `[B,s o0];g\t]U)X  YFRm]':[2-^bfgg_{7+ |9zY6 ?7-Nj]/hmg;'?2dR؋Pq}v9o+tblHOA٘f"ǬJ0eb:=o3?w" vM 09K7 -NG2#dOhvT C$0n 4u2VjGf Pbb.pf6M;e lУHi\f `.]m6ǔ/3m9BOb(#Cxw᝽⟩WGq%/ؽx,vz^xlJAC>Ь iBPe[vϔhTztfDDW-k3s^Ybo~^mƲ\Et/ jW0QXhT|''ҊdN;AWn22i$*SAg"M"eI8Ml *4vUt7OhlA9 3i$ xp+H㩉UۈDfpT Q̯ MXwM1:1C3qHP]6 ~5}㳂%*PlFWzcݥ'Biv߰fi.8KNZn~8tRt=ޢX5U/3Xhȭ}'ALUQ}Bwp~ol)|}oS #Lq.8-+ w,6./Q0}Z%'&JR,&RKW6@tVpFsßl\RPiL>'F{8#E9HDܠpj!vq@x+݈nJ_S^u^KEr?247eMRDl;J5%["dE r*/K@eof)5ɪ9Cy) mFr1~:aw]:rFJ#7Z5 ձu {v 堔F〬j<&XRE^K zb~Z_ rg"d`8IމΉ݊>>E[ 2hΖc)Zem8ϝ,V#cHBM>E<*v:.*&#ΘyIbOݫ$ZXuh?d!07@okS 6p5>$\e(7+v ̀E I}$])uӰ4't~n擌.IO-L`"Ma3}@c]:83Ɔ֦'8!u6ijgC9 8u2)fܓkN:&4%~Uȇ| `Q;WF94/9mblqSeZkz$Ho]B!d]^=>ʳ̍/rJPĠY vKGL.ߊcz}u[W IMqlgU( ۦXV:~V,c.#;H*LUN7&jh&?:D?z{P-&H۩<4A>SjVfֿ_tp"rXE7 G}V8mHߛzytصd"Rd_SƋʝy@'Bmiْ8c39/jr_#/D_TvWqܐ>^~kSjZhk)4y{4d`S {dKj}ߕ}?KBfT^VWi> A7/GSOqAew{[X(lυhNDv-wGa7y'WIb3W#B`0bJ#m d-f%zN& $iǀoBm^#Ud%ZcPt$'g *e*6b:AOΓX=~>|ɵg5^}}`77ITb1_{(FV_HVg4f,ayJsfxw S 5P;| b\bv׋`ިiV" _PȽ8|܌m{+N=s[Ca3AZU K`ih^1,QT_ݙثz+o  sqE9|Fwo+kgI _gz-aGW KwW1Δ* \i h m#i"Q:*^ΰz_zz8}|x_;upZ\mV:#3M4sP*a~"(FErf| |E$8:54"\OQ)AP6k7TD]L}T%|,im/_ 8% R=tX, i -b.a_ᝦ#W%2Cl@Nf%@$NEAb1MGImdW;,/Of g5ל9"{rjgi֙Iuc;sDLl$/K (ե+ԫ;k:Or4Ջh: ҄-7'E?ui&iow)Wasˆ8D:A9-b=XxL4U Mh1}*OU=.;:Fl;Ap !172kQp}\UPD?as=^g8eF`rހD .߶M%)iS<@؜r:b@#)kW.qIkp4X>a*,XA>6SqSuuM;Y" zi"j#|z#i~Ȋ<ɼxU7fI1u1l&>Rb }"Zn יad ^ukC ({Sak6C^2Bs'㳒-<Eɢz~0Ұ1Hckkciv<%X+\OU{^\6 9ۻh`Nŕ#CċV͊f=qZ^3ֱ'" y*k-]R +B3GJD"](Od+?'sq1&^bUIWBd %;Rjf0u[=Tzg%6e0V58,WO t&:";"M:{'ڙk>{̛PrzH2Sn\`tùuhp awa+_?{﹞S? 裿O:nBߍ7Vh<0wܧA8m'mL4p }-@4EbG@&r#],\SV#,{SEAM!V4.K$d܃vK7Jk6ar ~rnA|ڌ""Ѻ}UAwIgoűZ\2&B^n`ΧeC1*J Zs?8UގV0r͂-4j J9}KEkDtK>jgk"]4U╣lQ^-IS.}FCM0C "([@;)M'B:I*l^j3u9u,G]ɴO@Q|tRRb2+y\ ׭7L*ޚo5ћ%y,Y!Qe-f:y[{rzu%ω >%GR!t_9..Ԏ㹈[pλ“y9r6Cdt,/0Eg[72\EvJeVH9*n~;|-Rc#bePAڝ|*HADi7|ϧ m* 6Nq|ìͥ8 '1U_ &5L%4!`u%NyuRޏ& 2p}}T'{Ilǩ@nr F1γKĥjb(babQ&w42SDsdVlNPևb]9U]° f%5[lF|@@B AA&;s1τTc;w":G8Eqh!s^#z )A݃cyU26CF鳪ZH%c)*3 偌{LMߢw[%n׫V9JE&p:ʵ "&qڗxlAY\Zm.$3gh=xJsixIz;$P],P~ [JRY[ , h'VƠ!ZUv>¿Rxr؃}X^J Z @=ؾǃ>#V$8zKJf_:C1\b߸,./uLI|(DAN)pL̘;sb*90#̋i1Rta'<(;x B lGіۋ(:'w& r9IsdѯMYgo>̋œYz(^k`ys > ~`_:Ì7;Wv;bkZs*jp fBx)pؕaB;\| Hp>d=sM-llWk2-Z_3LZLR=M1?dSٝfѳlI8;7n/|%?*g ՒhCT1H6/_C-/E5{['Qc8W"Jc "N Uy61zSBjEd1%M/ww/35m‰ jDc!/&@֤dtyeypK ĴErs" ePppm6#ugaLOP,][I/7)ޥWZVmMzlQ'gj[=bR] L,u,ΊHL#TK$M)q %&XsbynTIckȱ+r>9$pR5ŴGM \21.:|qcEX-uXD%ō󱏂@;m2 'wA9ZU~qїz {& WE1|"2~dt@<.dFFM? 7rw>G( ,԰RzVIp!SEP6ANؿR=rȓ;1b堍 3wᶯ΂1|/p#'qR?񕶫 ]m`5fXL>%*[@V@E*sp{ÐFW!dݢ~%o]r ؎/5rY.%/2k:>RG2XRJS: ɃB-.kzk+0ޮ8qQU !>";n 3k 7|8g|I-읖5jLS87|"0!@&ZnuhJc{PW`-.s; MšC]WX7 x8848l ,Ϙ!>;hmc|rYdA*Wxvg9ϡDIQ[)o`RII fa~ܜ]5)0=*X$#|nU͗_F|[=$OS"Lɱ$IuGplsNe2!g#%f,,1OfϦ_"NKr_5OԲa*OO]Ve`a.Ɣ(8Lݵ^9.hjfw$d # z-ҎPc թ"`sa9Dyp*<.^)HY}W78k9q_Ұ]+Q6E Z^)'(i@iLAqC$sdst89Q ,ۢ#nnSvTy#LSS,2S:bbt*h57rM(c\PXE3їmR u2߻-АN`IbZg0>=|!c93BhNZѦ@xzn 0ژɚyww>b9z}}TPuF%~)wl )^2yh>4!s;M$(h(LAXd\E[n,4\ij&YY+j;kĆl ۻZK\J|9 ʅ:PL!J!$$8 60Oё G4Rn#[{ŗ:|zBX - ң(3NK䡁8HJX_(fw"C\G'w3W|_Iv.ϒ=ڴ,+\Se}TShpGoo.uEwN(4аLq-p-|/(Lq9%XB@$zD8c.?0k  7~v:\4 #eƲƉk#t 9G`[vi;D\xv:INߡBHC7Eq^1mW AbVp_ lOatƽ)N4ŹzǕ⭁$O:Nͳ5ib.b&˙~h%윎 *6>e Q$])#H}PӔz%8+5_o1 SX>⟓LdUilFJ[ǧv`j+ս~HId;a Kӄ[&Pr[9C.5BFp~^'X{_O?B cZj 5Vemq+Zَp}{qǍZ':i2H,m]PdlhAPF`A?N]aB_d`-xNѢ͝N+6ixbs~#]p+oM1:Agx촋,にJ4BY^m=AkY_5R[v텠8@xkVYkK.Pƺ `)P?(uC F%'Uq ց\z_yGS)M<Qt Ri+^PHbQ4NYjJSAr" 9KH`^N6ߌnkfn 0k6>ty eheTg9# Bu 3co 4QuЂ^]?н#K-y Sz r&7l3QP' gPy#K]ĸ8M% k+aޣC6pVAPy056:Aegkla G8qE UT4 0wIAR\f~{/~e!X[w_kqEf aP2[/4!8%1s1"HK@M>Z5]i!a]oWtUH?Z\@uT*xFeɶf=XvLZ֒'ܗ @ >C|B7Q`i7Q"äv[2=F#fTSLh8@]ſPrRU&b>aͩ 겫ojT[(ϔ!9gQйҲ%䙅 ؼԴu@V7"-90^JJ1f(H5;LLQOB]6̢E."<| $s! x9o*޼15Z a].U|=P|zq X<`4\|nKJL)f/]lB8#jAޮB,e4BÛ1:wn`K[ Aú]Rf{%4etP t4|}/ܱ \%$ݧ (mdl(aoˬ1hR 9%@ @TMf_ cr'>NJ K% QMYʡrwCa6<ڤĆIJɈS4FiEޣ>p> *>A]Ӎ+.sr8O2-*c+q&:Ӗϟڰbt ҃gѬ~m@USǜ]}UF︾T8|旎iyx5pP Ӽzr#~#itFn$p8 2jG/@)]_66qA4{eF }uگr;'fk6S!mmh;f.-R ?*B0uaS~jl%MQt|/L[kϛ}J@ح/J]-tlW&Á鋀-$k85xNHjWyw.qZ4H;o*9}C 'wTHeN1%h928}.MboN,*`\-WiNV )o$DASGRѓӥj;j5O#CNaDpIKfsUE5 *1tVCPYc[ѹUl\=+nDO5tAv(輐@Qt+~u)_4_%bʅŤ Ճ'GǧXΦ%.*tM^ˠja>( &gкpuk.N`n]9*3;VsR/'$t˟%tA/P:_B!5m28*@)l 7"ջ x A}$d~z'+Lu7]=+MzDsp པk5 -2?.X=/ۊy:UP&}M.A]ֆ SOkMb)"”i o61ևh,;mI/>[ӹ侨a?EK.dbGV,R~RWTT \3\(X^NV&%E‚5.z3e5OU85!N|EF-,K5RIG6û|Pd+R"Lmʯ-eK4 S%—lCiB*E4`7xy&ד@\h/ܯ_aXk@| )ޑlIg, Vr|~JoN&ϧZ D|*ߏ(s1rV,v߷""ۈ2Iyq46ݟ[k[<UAI7 {5Hj01)2p~KxG!#<@E;K;bD؛IM }U|QXބWq뵊Czw Nr@䔩"ܴ" Rb {"Rz4E2No\RGsgж8 KD.cl-I)`~p&1.aEf{Z;Wǿ#xV`ڨ՘^\Ǩ@S?JCm%*b~F)-=<)Xm0c\f͝yd 36b ب='hQ|Ǟy Za\V+e-UߋqFuҽ>GUc}lư=jTl,-.•y?ߒ5R{]wzn# i9B bMDӾ{C?NTr*68-Au]hc[;T9O!Os+7;bj a$`}k@n##)&)_vZe@ЉuFٿʴOq:V9/d[B%G/zLV:dبAφ+!VS,IP$N볜vMTXEgA|Dfdl3dzY";nXѽ2/Vr`AkP|xK[k{tum:A,~.p@| -(TƽųYc;2@4c8ц.g .*_zM'-۩%4^1J=D֒T1)*:EWRe[?_lP27 N9T 28Q&Ӳs!hz|-ץtpOX,T ' G 4 f[.d;KV oǣ~P^)d֚bOn뵔HW{_]}V[|v]('ƸGAyB ^W6\QG>'MNK(QDkX /2Տ81qDcɻI t鏙nsdnOt`t\vh@tiAVS"cn`KJs`3S6Ϸ J ` uZii^Y-ACP1q7{5luS>3?&~hGujkva{ܕf bI %jΣ/ én%^u""@Dx﨧;\G?ݎn7ȾPR`P;<^+-9TRtϚ%5#}#C!u e8qry*B!]d _76blHu j#R"đYՙzg eZ*6$4~gԽϙu1L+M~2_SuEBn"Ld&rwI:Lw5|E‰E2DG8FN7.'0FDK,Q#,g3teTG0]/Qk+48t26V \/p`$TuB: 6 71f3Kq]ؘ,],,44K{hW7A×}T9$8Dt3~Y:MzFe5Vv4KϪ Lh[$Og!y `x+GswP$vF,4:_#zU<4{)e l"i-n kTEFpR"QnOUƸ!p'C`!_ 7CnI ƙWT{ϲ\ٺOwn.S!e/B\qtzA+~0]n=30<4|C`а_ T5 /ح:~(irO菺AwӾ8Ci bHJ%?,U@ .o^:o<Ԥ|m%ol+u<>.{`%"x k"%ucK0Ijps Xh1kutd:v$Cf`_len6R.$Py=ʆ:Ymc1p0)`>Kij!lFBbhju(H&VƊ6s=X;R~RK,=LpBH)_5>|dv$#}?/1 -i.i7=V+m-}̙o&aP}IїP&B11fguAM'fَVMsO!'K}P옠.W(8=Z@) %#CF1N$[*4\8ީU@Ѻ:w5F祛i8Îm5)-Ol.fzF74b, ,+]dy}l8]$O +ʅ`jE 9`V^(G1ܗRǴM nJɓa+MW [Ye)X(ry>#݃e~$ :c_'(_mUƯ|b3PgYZ7zXZִF! Tc]ŗXi%Ju,nCFHXɜx-@7ݹ̆Uf 1e.Mo5!@Q՞HϼZԹ^_ŞAx8!|t;6o@T/v{ڊ&_R)LXmSv:Jۘ\ <8k/ݔ$Ne$v#Q'6 ͬHoӨTcc^-1H5qJkyk [0F+5ʈ!; gZS.NMA6@'BUFi -#ARv`MRSҾ3[+벹?Z!Dg둤S5!! \ Š+ͦ۵K343Tv@'̶*yw3@3eoڶ6"z<DXu{F<(׶ϒqԇ\?* =ӧ tĠ\:n뀙[PnXT0+ [x5_Y= e*ÇMC!Bx*A-KvTw׌CaUw׉\n [y,"ݔż2F0ŕɋ<᰺'dk Kw$.|||\`O#_  +'pQT^ 4R&}AMףm-6*wK?NTņ.ps Q?u"v$$ה=ѧ7Q(k>bOT`R]gD @׼L裭Kj1b6}`ռDY+oکj퉩kJpf/{<.9^R DtFqwjpP轳$$*ڲmcxƝ*҃xe\;#:0YPՙVU`e59?s1NJSջy#=t]m&"kآ7ounj^f0` Ǒ,珀 N=n1d4gѰ6ÝG4a!9s̮.{h>׍sǃQ&1w FAvl^긯r\ɷ)I+ עWSy Crْ*+^νh~@yw jjG[hIyO a֫.5D($j8 >QL3<0JS#PPA dc1rSE4[1y яt" OPvZ.ӈяЮDI/o,a`c*1JQI< ؇s-ƪ(.VP> W($4բz.\}$rIGQ2JiqktMyq1,bfD_Hey'k|YL]X*7کBh:?#`'`# Vuq!?}k|Mζ%(,>Ȕg+C}<` s݁"JV*S Zm9Ege2v"s_NT~n' 9گ5qyޤլkĿC~-I|O/X*SiV>u:mXDA@F(0\Bt!Y_4\&ʊgBSqK' b](B.rglG"G'D:R)%jqwjoz;^AŖ ]ރ;ӭrw0X{Wc,n}:VE(|9bѿ1IWK0%鰰]eT+,[+eDh{LgT|rezs44S]"D (Dc~AzaSD6_]iS0ZO4GG`Sg +^{skSv<剭s\N!í-v]4R gs!^yq 99-V,50@f9ⶄSޓ[l raUw8Z?{J:ߞ;W5W=|l};*u$h fdډlT&Nr﵊EjyNVi,lG! Vt;{)'K97kj}|$F 5kBw5Dm!;SovY3*&떲ڥgzbj\ڈFC4#MԀ;ۓ| sejC=#XL®!a^.,1AE&\TfCRcr 9 Yi)qޜkdq/ڂ 7g|H [e$r#]/̄ܠK#"oځU=} xCr-. PlV&QNAՏm .DzS'CMB̸^*x9D߳̒KuPnVanyǕ%IFRvd$vkdV*7@ =JYQ ekqL:'Ih siVTR> =LCzf H0_׾ 6B] 3klYΙUsq ʈ/< boU:ZOf_@vC@~k (wiJGgyLXnFnN ϴ@<5Hڿ>8N;v~Q; Ah'JG%8/{Ӗp֡#CW"ߨrqٯr=)95oxF|YU&7^M] 6/DLMIl u2i)%xL>7uh'wLwoАfmBr{N%s㻡Zvx5U.#hJl+F\'iTOx&N#sf6XE#>G8N銌} `VvJi#>%xv ֙)Λi0qMH]ZB'[3O@h+Š+'&5|3e:9&E~.,M6UDM\Gq8Ztp媔 &MR]&$>mU݆mʯ#jh&Ƃ".g>s\閺Yn[Ϡ$8c˳n}ivΉW׌0cz lp',o.x$Cs93-ZT%8H0{0@\;_'SQPFD8ׅ"*7)yS^YekK"b|#^~"!H~vQZ)()E1}x#酒sF=(F2N+<wk8<*J=0܁qĒz 3TEa qɩ+]W V g<`hAA5M A~r\}C &I'^aMUrKE c=`\C%=ʟ"D?0GM 'R!X BWp+!nYvЇ0!+kp>J&O/!s֐v}#Py^f^~0L&Fc$3Tj+I u!8zY|'a3kFfа''r^X?GTe0q쉃T67'Cf5c#fcZ65-g"ςԐ Ӄ&\Η' v<7&]cyMK $(7 ,ռ8]@*l~K>1_ gOPԪ@=x a{] "ETt[q9fc,n "hB3;9Ư)^1֔%OIG^3TAau-#fbqd-޷9jF[0JB `Np Bf1\p^ 3JxrQ5Q1c:/RS15R4&&.b李RXīms1;UnCD#GX;&&$&$`%,$JfgHL/z8R9-_^jw4v-B/6lg  m!XG=zފmEXptZChG($Fgڌ _VT+X Q.6t'A *66꒻YUpU`T'&FDY`@ϵ~%Fo.tG>ӢEҙquNGD {B/ _D U7BUn*,;bQ]kZY4⩁%t.rvwkl+.6_ˤ#n3gHL)l{ϟ5 f(2 VFcܿm RT20ma)vE-ȼ_yh*dн\zzj [%vlb)j2 幞Qy%tW `FUB8`15rI]B3"P){]d'qNOGaJh5-'jF)٠ K9l5!`P0BB V CAbv!=:; vNYfC 7sf-߲uzغ>Rywa^)(XXHhN_d̲Kž|wOhֽb?3-!}/zKoI +gGѭJ{۶ |("v 3D~sw1pOa%JRɄq@5ŕb-ZHpwd;D> }Dg17<"~BǭhcXa|YKAG)_HgI F, Ją}R$夂ZR'XE'o(WG 5jk:XcQ.}Wڂu6K+ ߳XsK'{{0CrQV]$ 䄙Q.;K|L'o9{ENTsAje8aLƵ]Š)}p:!j_XްT2i[7uDiAV4cML! F7 !0]&zL1=Q`ѷ"T(2j$o eX1 O@£54$t(o5 bJ;(^ƾ'7PVϓdEu)jTР1;;7|yvoq=Rx 8xR}1Rhhk~ܭi;}6@#gȃ39 Y%W眧PFAf$$*v^ؾGP-@aN֏v>&rl箝! ]|&?R8.(ڱS_cۜ"04y)*;acY7Twåi)ZU!wC;,V<}aʧ3῕kElCqQ()I}yEEYS#j1vfW.Ml&Z:9j~ k#Lcyw1zH9wP jgLZ^-NZ5H殹O0d|9ƻoBCy5[zAũzLZ=BBH5*d>/35~k-Xзx? JMKP! DT'u&߉%-muBԵ*VSB!L,#(1}MIɸu,~аҚ9Le<.9E;']l)a u(nMh7d쒁 QgN-%PO(0qtLA܉& ^.WŤIi0]b+OCaBaN$'(\4u7a Ɋ7^ZtI/JG(!lY DP};[jp@% y%5Qfx-.T2l%аw'Җ|_#ߗ86Hf'=K_H<Y6D4Iq592Whz/;6& ؽ(UpO%*}+*sbvn-l 85^~'GqRYH_"]6LEmY  𠸻wf ?@//Mt4!uYf|rJ kG)\(5H6r[EH͸ ,-)eE|벶pt{4TGbzYOg@t|$<_—~;Qh?U:A?"=l_\G _dQYC~ ij;s{P7s c)@WםږM_魻tjrT0dSS9o\r0 z;m.NaL,~L ܬY9z eÞ߸k _]|;y:0Wvda LԵÖjOuuU `9hd#$:V=qB\U$SKja-[zRGi@8Mʩ_K^5ۓfK\ >[S*kï5:rư茵 ;"\MP"kq~|tyx# !Fqq9ǘ5$ptkճwC,π zKâksJB]VkwJ[2dk*J{m&(gfc k$斛 \rmN*þ@ht-"eK>zm{tl[Ġgڕ|=(|?x~Ag%BcesLaK2ӱ珠 yJE:'w* nt ^]o(7S#u1F,[N\c^!?U잱/_!Ļ Ad mŗڈT]j'{0I|87QB\Ez+\];]*(Q-c OO;qz?vAɖv){Q%s3bQj@/cwOqeUL|\m u~U4%yIKecC*P'\?ۤ !Oaq1oġCȮߒj\)2%k{x`p]/QZ8ur:=@톄E ,L<=w寺{zP2_= sG%{s6FPZ_r%ՃTo34mwyUbzR*NLyҺ@tICⴶT |1Ic2?|و#Ȗ_nri)Gd@J0qш_  .F sIN4݇Zz+*{C?־JM)S]x\N'b]M S瓠Te4$%%&+0,P=6äjMbF.ZEa߼ KaP:zQE)w @`]g!?&żXxAaBPi_@yjurPG)m qH?f3gaN{L1,¿ |ë^m-nEMK-me2Jj HiUl/`|ݗt,-B)-5~+<4K*=-=\&G9YLN6!jHO!~Wl*[U/0fܲ5kIB&0b+8TDO;W,>aAy*Gݿ81rL #fNOh/Ҧ Tz5oIR@Vz o^Uf`m55Rt'UkK &) 9< 94i~m |z+zƟHS!@&׀͘Tc$7/uX=K`Ku+ri γu/,`n q:]Z seϲ"{iкUkVs Fob6/vA'аSn3^`2ЖF[isvl/y; EcSeLj9G(jI&͗bZ4̵:~g4g!GSTx "<|0]iD:Oy.I=yșOs1ڢp^x.Lj ɷF={E'h3LeW4#Eܼl˗juHkW ?1 ?Ml hdo{ct/M4aj=vx9\D軩(b\K驇oYp^*~QICe>?0Έj a, &Bz л/!v16P n *~DoSMأt"L.SО7bɲ0RaX6,|[j.XH)W6H=7s炪Kl?PLqwбHS!~0/kP~q)(:W58DC[(݄8 ~Yaұ6,[0E55C "o_4miW JKkkƓ jK$4u֞(E?E]P5 Z8"L **]\S@Oc2ccW% Ș Vuޟå4gPE8N@+,;(E/*,ው6#\`Pc>0Nc`d:R!a4?-6);^9~4m7>HFu,ސFv9/?p?D\Q@e%o.OGIL3wg*88 ygzuK KWC%Y׊rKg*hwPFۭu"s(B-rsh$(=7 tANjA9l"SKns>CpvMdrH (R{ɷ4Ʒ!Yơ0D#v|f-(NՔ|X5q0 0rjv'U ?Z ǫƔ4FV].DZ^UճxīMZ8ea,G TiY} ˚|x5#(^y8Ј0K #a+hYUs59-_` Ǫ,+wv|GjthA~G@c%j==AwToWD.]:C=if;o:b%e ]I):< @5^qO.:MjWoۏEXEj6jv6pՅa7x?mV͞owmZW4!7Ґ7b28̵ň[Ղeyn[5 T[,9Xr CEO)a@2$f\I+(HKe HZ6pD^lRof#.KI<`sMt Z@AOV9LnXk$Hq֭ۚ}XQo Ԓcſ$$zhp93Ϋ٤d,JMD$fPjl$CиϷY9Aw m@*u23n)ZE34deW f!Fo/ϜPUEJɝ1 |Eo=#>!F!=[d&~Y3Iz9./9B\7}iD%,x-1asI3}'I*4SLxzoM,Xۗ7ũݢZ x/[܎\g' 'E 2`\}(O6LW_F:5`Z[Qp\Áy;x@0w^cI[=5dʡeG7_[Y]-hO OL3nsz$8/[;8o+ozkj,J0wp0WB+fyE VssiFM5U[(iɎ:$.cukv42%&߄wr>ܔW wNJuaȱmU}_Wh|L5Z,?KH!A=i1{Y+֎h??7^bqe;#_=I tpVN_Ս(2*GO/|Q&e'w([T8 89YkHpF؛}=/UBc]r麨K,n㞯9MsTj66wVI<ž)8lTr=QOJX0, D\#W/ppN˃x{XY^JS(ir%q,X蹕l}!;-_%rLq 1|3x' YTy%14.8 D <>1py;W{-z89Үs#krBۯ._K8!)ULVDOꅺb6:l\뉹p)8J4Oj=<Ќ߿7Hޏ o/}GOM5U(B,OKA5$ȵ^#cŽxc!IB/P7:ia) kx䈜9%~A_FSa$eUT"2CI+(v(.%ol;"T6mv f{*hDҁ!վ-'5U -' M(-.ɔ|=P02Z6)DIhM\&x\Ō D0 > M/yGns$;j֐[F'!|Ү 5#|0(uu)҅S4S Ezy`}M 1z5ݲR$@dĄmGJ`\ѫr/ѝ$F 87(uU#] mdx4]p:a*$NWmv;ɎEXr/z}'{DB$ )瘜֛ t1OހSeɈBgv'dms<|j0uuz[A{`OT9ĚqQɴk_R84)IΘRe S/{w\wA4h#h? 5SnCHJ0{-g݅(iPJ!+m5͏~'L^.6bRcsv_T\ A.G(_[N> lLZF/'2TMId&e-8rÔߔ'Oh*yVz_Ǚ6A gGy_v0LK%%wi_]#*ŷ1P ylx,,h,M% -J etkYYjMy ? Ȟ5 !IKOp3'mLX#.(>\[]#wN~k<ΘQjYΟsB'8XqI6rz/ާ} mSL;5,@y7t-!(]_v|}2JnS|D5JQKardrKP(+;[iNvr0LgA;rO( bjFA8n wLM8yηxwCE&6\o bCɊ :٪h{$g*JN"I`2EP=٧G)#y1N1yMjA;_i!=N&{{`$wAD%A&BBϊb`<Lhyh j"Ehs@öJ.$oT?'oWB$4! T)}MzOOu;0W"^_UW'Xf=r.jſ䟻sx'FП+03@Kj׷ȌCѝFUcK^_A}w֧5XJSc5ǮCDDrBhVݔݛd*/ Ʃ\ej/('zӢ[=I)B/y3+œ;!WO=-=2d**h+bDx pO#3vB`tލj yW=>s1 XY\ D]⾞c{ A6Ƽz {ZH=ԂCO%ɵqȔ q 0\lcAj IWԦ񐐵11v%B7BGr~ v˥P 7_(aS>Th^; Aow%͗lHK|b( 8\von= G]oZV#"V]:f-)4NB0>ktt68v9riPŒ[1uXP>_c<ƹTG5A|ImT@~~XX%S.^Sp$iY@yF(B)ȝ}4:TA g%%@EcL.m.#ERwIr1ɚ4;lw$|>,O0 Y'>֓*֎<<l, \[ }^C{/B,*16l`Y% E"CJ lWb4'6@FSu~,.]@7pzľ60Ԇ&g0VeDQh-oXnK>J0ʼ!- n0O#ǝSt=}ZXp%QU~[ˊQ?n _FA7Lc`wLo*E𭷒;K,S,GvI}iO7ra^O\lw=ގ7,K5NMYZP![Bp2Qu1ɚ߀$vZr=7Ԟ&xhX8ڝ \B%3f9*馡zhv\xS{4I[ !8~*Cx "z~ !UG7xj06l3я`K˞2!G!!9Yh lsHKRQC@X-;ΨߜZ\"̧L+g!%jw-TB?29gmzqY丮&[wg \G]'IZ 2^X=0L zEΠɨU[״oԼGWMsS(;OL(!xƺ=`ZP)J.? W wGJ'zW~H(|жV2͒5?6[N#z6HqBYץ_JLstLHMlfolqB ?}⃤QgPʞ7hґlPopte DU,fbֳ@RJ~Nz)oOv ޏ|3GDeˆr+sok8`YےC&Y^:+ S\vgetȂݬ8Aaƨ5EFfSꙷ`0\Ȃ=ZÅwQ9;KQHE n=b)}x'־ɋ>_S>~_\9.DS;eJGs48ˍo%/Wx,}C.1qѥU04!P~ٙ)]ha%ȼx.1tsՑd>gS `2;귅rqG iB&ʹ?ʔK&Sh(.:kݼ+;f^9 \B$+i.٤Ud3"rߧdhj M,Wh U$eۓS8 (ѩrg??Ý-s^} tڰ7$ =(wTg6/MиԅxG+A~BW' ÔZhl T*k?{%#H\$&O<أnL9+xO` $Y9A,TҶ#\[o4e(' /Fy1dw5Ri8ծߟ- /8kRw0)ߵNPt9RRDrUɶp $'jid b("=ѿ:$,F.b|#왎8^g=BI?ӛϼ$06-=0B\uCJjؑ [k٭ I%wGH*ߙD7";HSQ+pG UʰY2b(Y4X&ՒGe2fd Iz( #kq^q$oO۬<31$T~pN)5)Ø% 4ge,NIOKq-@E}\iQ-XHB]:y1 +rSpOݶ׫kc 䞒ҹY.=ta {['˔Fcg?cٱ{:Y97J^/<őަ#ƜH:Oט$bC M$E˲Joy1=kc<)IwvAv}E:H-'67_(g/#A6!8L0>O==l56ЪR/ 8B/P-ژ|DJ>+i<м4q |Og*<}< pFO"4iT@æfnұsc,K~^ܓ0{?X-F5\ʮ WkxW SS}Hȸ]&d>~VvOI}/)Ds-Ep!LLK R鷧E@;j)hRłLԧPZcdyJb=jv[\( 6MlW*}`hpI4!"~5ZN/o&#`MfCMrJc3HYpɆ,Zvgg)k<}SZϻ" nWHZj3ֹYQYV]fZAm4a*@!>6ᗏYBgG7GeIu b{=9bSm'dFPX@T0r,u&|ݱm[9D:*ͮF{qA~Cb'pzBT*,!ߺP8?M>Rb.fVA%^ʏNGFi19뙫rl G+ff 5j݂QBRJ0VT33br{S:2krR:PYcrARRRNR|ީ~Avs*I&4 y[*;_:WFFMMVqq3a˽Lk}m֣0|[fy)$6`#{lN\tXKZ6Ѧ.S^X4[_M|!)5]gNE@%IM7 s԰7V\+ x k2sx{8FiT<k/`op9/~Üx3e׳;LSha]]R3$)*58G0\fSqC ҽg\+_uSFW2HsPƉ?PPk1$?BT-Ez/ءFCCWsF|oW @x9Uj&fiN-M"'=I$؜>0=) w*6(T &k`3 ?UG=+驫=- і|=ԃa%sɬ_1$Xa-JlsSeX29q)IY RV w W![wah5l38ϷPmn&>z1u>]Iv]ݼdv4݊5j @Sq3yYo1J$"`pGs MsN+Ȩizva{"L~K4ged=[#kou{bN 1s#%Fbp;p-S 4"yÈ}g .BXoIg[[9_8g9-;δZ1}p8c6C$͙  FT^3B#\U0jзVw "AD6d?95nVWn2=grя]|Eߔ6[ciؗQ_ֶKNLg%cC5N95kz,Xh '%5l#C MJƻ:s221\kWF(piqP{9.g(&07 NI?A:h cc7ms[ipnJ|Q$.q}Е lJitTS^ \ t$^F_z?~3mj@ؽAB>\LvOQoN# Tŵ7Py\"e]EcVHgʵ@i|j}H"66WT W1Ms~1mƖ"=4V+3深LϛH.T|Vh $Iq:_άP 栨@xXoL8-{DNE=K=D͆3m OuYp2@*uyG|[@kE<䫯`0c;mW9%Ul7uYWӶ#9i} ЄTF3' )[[6ߔ.:L;OCgGpαb5q=cEzAaAs9+&VHWm@0S,)7Pzo\{Q{c6qcC輄\oqybxMӫk2 o$lB860dJʕ9'9~pܻ[ xq-E?ȍ 8`h== ݥ4\258h >I'BMpt0\UБEoZtr+:kUdkK >n;akʕ4!i_^GED ʛsaI? "*)I )kg{t,CZݛEE=rԶ]H?ZԩHdwĹ4\H5R O88oD$ pCTKllkXix$NqQq::C~U;"VCJ |LùRٮZ)E[SU|3Tw&vSY~.aQI4y"d CbKm4dpH`+7e $'jƀPKyV8ЊIYB#j)A%ңm|`JZ~|Z V#^df53d!?%_V)~~qcҖ s?`*#M 6QftM&$ @2 BP9^o`~3*:/WA J(zYW3i2sݼ#Bxl#7h]?trcM;fpW Y5grj(1kkLÿ]:xCDтIW|E56+ (624 cS ]jkUL¯ռ4`tvP4 SdFDʪ/!U$Y~UkJ;? 벉޲SS9`/d?ފm:hp\r@RbF0aEp8 `9p]  *ke$X;JXx#@0VpŠˮDLoY/%*mrkvi}+vXR;^K 誹=u)H?[?%`6:e VpPW7E10ކL &Kmyrgj` ZbAIܶ@JuhSGt۝Zo.?ZόcQrIA)Pƨkp|q1e檤FLˍWM= rJȸ>0a3owF~{';JՊib <̓x!!\$CyڷǸ q9bpYMAJjjK|D( /]n Dڔќv~kTSp5df!K^߷Lg욆u) vTiTTdz=i2ΛuX ("w}KˢG{ !f Ȼe-4r|L Ԍ});0$[2I6'j"`rQ_ 3G@KH)^*هi͖V<]zGN<隈v7qaw2_ E"w”F8ibn1-Ȟm ءP!h(] X}yx+J/{)AJ4jf7|_ȖOlw3=, 2c#w#"1W_mU:ǎ#Ϳ_a}Jl52O8͆qnwMo?ZQgK",ҪmAPfGX%*>i V:X33sB7|錃g2O1 ]*-D&Bcw@F/@8Tc`ӷmbm8ާ+3k,RTc8QZ:douֱ=Fȣ[@rxh o5- hT%X ޻vdFc'WхiDYq8$0 Ӷm ݓ)X5 FH{a) Q>35=*e> ɉfGEܒt+6%bĪ.(T T}3['Up+$*P/(%lY` cgD $HZ(.VeUƼ!Eq)Cnܺ8 r*`-9fe!Hr#WAQ 9!$FRѕjDǭܖ)|1V_]8f.~e)Φ E;7ܔm;J8`8I⫀ P޽ E? kQ{b X$>`OpJ ˘w#ԺvH4s|rx#a 8}ngu56"dQt,JafULlLoݍD=z7Ba8uI4f^Ä>tN"4aQW{!랏/F>U:uJjwyu.zuu{i+@R sO rVO5La-@i&cɑ܉•/w絵)gNGۓ@Pͽ@-?F u0jXu4nfxf4{fڲwZ(UvUq HT$ @1pĩȣ[j/\Jx…Hzp$Z]+j 5Z *&cN+m pAK^b&T5s >Qњ3A'zUag>23Ogc6g 5Z|5خGӡG%7{?lA[ЮBݰƐ?״Yi%?ՁZɊ OQ %hё1ؓ%4#f~~A2cUf^i:>wcLm /ԉDž9EFr6ya7}<k[K:_?bP]tUsNF^MvjWQ#s 6(-[&0eO IE [Lj~:9gSLh*k $j[1(aP@VehD:9iZUl\%U@`|·ǕPhV׫$C~ >뷆 [oXAe.Rg8dR~L1%SWB˄1 ya):t˗@21߰]? tnh9ce >fz{ X#bUKJ^嗳R=}`_9<سtP'W$ fQKxdV:IGސ#]ZّMn.K`:0ngh9R1u6j+ qDS.sF8l@y;a \œc %6{#"uT]<4J2JÛß[/ET'ޓ}3LLS XE4&\\4i3S6Qm?Cpê! FVq6`86p/i^Cj͔a 뒖>RѼF/|+] b*FOh6xH@v_7✗̞7s9N;&XAKcxd(^".i4e#=x:H,<5F`ߺ~اiu/˄8@KbmjxN ` *s{H'Rm**т^HxYAv 4Q.AL\9n)Feh<i"0c P<;;AƵWV.U= J;v٬za.Dt~͝iЛf b1,\*5QBg Bx -3"(udm}>Tgٱ:}5e"9LWm.,4[лC d6[Y̵H&銧 $/O)fk$  v;2v uf,EKti7\%\TIb8 Ⱦx@H 0Rh[U Qj!u91V\0GnlǑ8  6͎<Ė Cs?N<w惨:[x!Jۀ{O mpF=EcvD '(JGؕHqxL@𿊚qtKfVGym`J@:Kx.6:M9q;gdNx 957괯ٱ Q_d'tv9gw>*}$ފ7g2/]<ijܡ#G9sueF>xE$DT㉘55? ɣSGi @uR>O܎%2*aHvO/[ݼ/G"ye5 B>Jop44Pl?R⚅05ᬵJXw/Pc{"P ' Q;1Pjئf~t J+ w@8Q V]j0I3EWU\y﹍)%!}ح7U,Dq:[nFravhd}e$w<"BZ:tM$Ybs7jGf'TvT_ApC-Ja>E/ڀrvK 8hN͜[ (Z={YR]O8Pj6&l~/KWZa_*a/v(Sb%&dwCOiϖ*:<.A x:Ko0w`KTbی\p EHS43K\ާ"ع.Q/nN'5/@JUV~XtJ9`⡨>h4C& -^:i~j_P =^V׿̫J4m%{s @fG⤑n,]wKRUI2( ߢ{@cYط r6)kYۡ2v7eΆ$r^E~ '3^[Ax8^|/* (.iyK\W'5hb uL ٘Ybs #XD6ЍpR^l㈃KCI`BˤO==߁nLFK@J 2p:Z=`!?UW+3wXoa*깼Aqwe'hgDw6U)MHNBV _ފN`$# U>MV &i&c1[>_E5NʭXmO.hDjnJRiK8AfsBI"ڑEJdrf\S> x t?a#Uӗ$돡 M+J@=Jiުk2 ʓ-hV%IdamڭcSo+I ăYejI_; M> 7p-Bn13R|Q-0TDen ox޹HV臅wG)ѹw:Ggw%RS_ UNʚd_ub iФo.kS唒 |twՁoe܄.yK(Y @&˅k@_AA91sqwݬġk(^ƅ4C#Ĉ'x[fC)bV9H#wD}}M?";^+ȗZ7 YI '| GCk޸N[N>[Z}ex3#Vўcng+.eL'Kz˘m^ߗ:Xpn2 3+AVuKIBGE+662R`jR3(b ?Ug[*k5L՗coGjz ;,:'*M3%ms+һ,T֠WiqPD]o /" 4oëd&s%R͌ؖp&(`g0w BJ= F/D  GEA@X!Z#l 0] q<н,@-Vq?- ! Q𜁓{GHև c剀HZu۵S(N/i%Ԙ PƪL;桕BfIn+PmL a*(>^ǒZHCXy1=n9!8{:7t@kȏkTJ|,[l_je'mz>BX$5ꩬƹ=c*=SIhuJH٠Rt1ٹ'IZ<Jf3j։M2<Yciqk yr$r-cK5-j< ?+DĻgX>"%@&{NSQVŬ4 aEGGZV!;8FUwQxYzc_nGb*fU6eѠ1nuev[TthOrήNlu7'$\&& Oϰؓ?cx¾e4#PdT7Yq/Cǵ* w9spwNzF䊽ؙ ycܐ# mUEďQ!Lk'vMCʲb:<#7æVbr:ʿ#d9/Rzn:Mi2 O=2Ln\ܛ;24?]o7Axݐ8a4 ;뽬; ;'dnLx»sܩmYSPUen_\ Ks WzφX|mQD%R*7v jPkE?.ג e`AԱjF{p@ɜQzPKV5Dm*lq5h &YE]dv0 7&4ξ1aߘv:A{^GO@>8)C qШD"zʇBߟ" };rK*Jg;RUΨ-j8de袔9?eq 5 5RT $h\쐭S 'V^Gg\%²>SEMb+P]$#ABN`FGkZ? 's߸و &K@wU ެ#rJlS ͆]TC$h(+IR( 4̟϶r4)˾D?;*uĵ Ѱʲɦ6D*n IMֶ?44A~= =]kBLpmF%9΅pkH EoXEeπe*߶ O걾gi7Q )& ټ9 GS XfU{/18 A--$G^|w eiЦ!g§]L42H;ωEHQʒ;fNF^ɢ]1"$EKng)vl^gx=_YqvKK7EGNOb{ͦ=p$II2Դiq`<'2p?Eecʓ:7D-v`߉x!VBIs7 XNP]O US!q9(-3p_s@%>S<Ss7|raG2ؐ﷘~px߰x +j̜N-+:ېsk5dlI}X\a!]1 h^gYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba52530107fd93ce37db2bdd67b83360028ac0c573143 925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76 199c4dac32a179c516aa7ffdef9e3e5f29293648