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 {1\d k/ HOL-Decision_Procs:threads=2elapsed=599.117cpu=1063.736gc=52.164factor=1.787zXZ 1 HOL-Decision_ProcsִF! ~qh]ŗXf1-q恈͐7ӺV -fZEw͠5`Qƺ#_"GG؝h)j\=·ႝKLP1 !>9ic!SzրVoŏוgia恭Z]xr>d))1ըp^[rho$jvc'y@{q<[(+r&Moi@K r])G97 4y[U[96 ;u*֐5᠘$[]jяχ>P!~~t[]yW*:[/ I\7n~6lt_a>G],FRu oe0dpA։ۼ3[{q~SM^,[:T3㕏PUMpDפbz!Yk/}fNw$ߙk 6ˍ 2NQ15.dgאTժ4sXc͓AynH`}D*)!l50F.M3)1.{.uvyf-hfM=g*[`Blj( 1\X>7.cU'__;9A.ɂ<굕w2m2!xR6{ûjHq@Cõy.!53A2zVSYۦ\WXϡ[CڥOH__'g~X D,ZL;oTs{5겣<#5O QR;3x)kNE#~kx&bY((C-!{i,M ot# 2+_wóeuB9*WC\۩l~<(ZaϞ4c J:҄LIKt|㟺hJR"w`@Z63~̘2OUYm. ('\y>T}sM-#Y;'[vޕK ϻQB&)BNT s!9x(#D5^il g$aR<@-`nCdjv{dSՀv%)mzf^+{L˨FJL8an`¦~, ~mxy~*J=@5D6Ո}ADJ_i3?N|yk0iz9R4$y;@QA)lUKC[xWisX"tPA"7Cj;ǁxb*M{QQ_C`eLOaz~SyG־=[d@mB`w]!0S9[k:Ϗfbq|#gIUW:/CNp;YqJK>A@n%JݼP ݴ_.O4T"#[N=|й_RiO ğotI>\H[oW=l+wP%H#o}jʊ`FVlI# yőM8KY*]1{s~Glg&^ {!xk6f!(xON(w)&Xe/S_vR"C%yVbIYGũL.>toѠz+,K0xpUj6KrUora4 {ցebTT/Ĭ` Qz;׽eu4p, Ҷ~.U^xUt|2ƴCO~gn7B;Gq) LIv%ka 2c+ZXowGr`KL'0Un-TD&oi+cS \ɾ N\ȁ=Ky1M''mF,zz^r8EV|#uIicd 19 rMĊ t߰& KB[ӌqKu(9*_{Xuz"D3Esqft P̣/7ys0 T7lкUC&5o7}KJ.3p O.MX2h*&yOE}\+|, 3Ol]ȬZbLa{+:xzFY'g),nm98C!ZM\5w:gq$Q3e[c]%8H?H2̚@ghًȱؾKYۀ}9.ӱWzHo _!k,iٝ5Y=(Min1zFwt|q9/O\bt{Uv$=;aż/?zXEvmZSm:<97fA!PA;!&z#kЩ+"TA=ۦMSڒ,T1l&H(glO[z*e@f8ðS? Gn9MnTՙ\9hvdb^@zUчǯuT>qwtMWe~Pdz6K8,{3kDC)mRN_m济 2f #7kWJpIR`+AWbK%kW(ﲦۦizBP*R*EY~hHvRœcsӚ#Ww6 rcj̚;7ڗu^[32.Sxѡk%e:n/iBoe2!Sj R+l"tEk~>7yHݼ6B͙pN~2l/FȿFiS- {|:4~iݶ>~Ѡ{R( lI 8;ʋ6* *<#tLE4>&މQUA` bP'O!ғԹ{]\y7D={r%CE{t$@5V8IЯ՝5n9YIga$ .sM16; ~S0l DYK 7kR¸0M`S!i1TVCϙ[$3 >&HwZBՎرkaVP3^m}LP`\A._'d{?Zk/[u)BF/T$Z4mr*wq| ;Xi!Ν͖11Zt_<y +l#_8-CbW[dr{=մEQzռ@̤ӟ+lRSr oo)"G(WрZpEh]psR7ЦM*MBcf9b"jIyC4,w4HN&#H:[ccpk̉8لԶbdW![>m巷YQqٍalZ &ѽШ,pGRIVal12w^#@d[!<+bMiyc [D>E)&u*vH8,"cH*2>>Fh{@꼫+Ӥ33~].wǍwfјb LŁcV؇ lMOy p Q>A/( lTʈGDlwmt)"M5ãkHKBM؏L$U"#;E$/;qڦ*K % ‡aǂt/,3_Hi4-9#=ÁLp؍ 7, #eF4 gݝ΃6s|,K"_ *i1YZ1QXw,ym|770Ĵ@DPZ;8f攘AgFNpz(fo!4 ݩJ{ r%tOFCgW6Z~2쮁@UAZ+UQWqPWCR\b(3QɊŌ\xVO[v!+6~?KO h%G#qK]'#M'M1Yge֬flXX"?ʚ^P `'/Իw: fc=-hB߱Q^ xLnh))~6bbh s`I+`=P[q. y0XP7ڲ{LByГ.dd"0~9y%F#9d\(.&@w{)D3; 2@76\^4ȿh|Yvsl0\%fM+kX4C⍽&q [EʓД-SW$t~-2ۄiDk`ր50MTS@G=yagadz!sX'sǀSgJأ?mI4uNtRԹvW0-ϺA -%?oe-B1XpwǤ֛)V-JiȪ=|dIE+ 3 nn1dC i%xEpdqХRCz>m|=ʎvNMv#+f) Ԏ,FaX"Aj\L߱ 1;q*U`JD9x?%[-E35QVlR7oˠt5kajfJbLVݐ)p̄21pWC=#>v[4|Gst}`)v( Qp Ɯ7^cl~Iz 1o,g/0|݅Σ; x!EY:ʛ3BY-1cL|zurP;/W:}FgQ `I͝ԉ?vzgfHp5z{>F O[y9'6q\]!8 K+ a fvV {ƿ/T@B{e'Xmv_g_ÏfQpq.#96mp|;hlwi]Y d /aMlPਣt\Oi"yX&k7R1L6+})^xU= cٮ0]I#jHٵ]wmx˾)\>y9 khk-9&J/|$6[M/4:5 恶fF7jD>xќnkJCT7|$^Zր ".BQ{. 3 p8pyluo)v}][/΂`y!~՝ς{23S6̔^=' g\cpn{(e~Z||qV%Fϛ$ꠄQ,1\✣|_H> G¡"] -y5`@װCs?ZQ2û|Ōxmoփ/_Kk|qE+\}k3uSqO$]Ju1Xj& + M\u'. ]?/C9bĐ)_$#X~|jNj?{5luXn0f>~%5OP>pqv,'wݒ꣕ډ>bnPR.U̚mˣx2Z&aCKN\4e*\ki1DWm 0 LJ\QZԪࡃ&^o3ON$,sdF(B+$ 1@v[ږ҄u/u_sl k53Yܟ#'(!/1̸v~zxصBԻ4AUUNō~'tװ&0KdMٟGW a11!^~Ћgȇu$uR|>u19 /kQ^&}ݪ삀yj@q6:'{LI4+% p(PDgL:>?wz5V%07w_ Ë%h+9ӈOٙ[.'߁h-[6 8aX`Us W)]>Qa<)aЏ]]:s >QDZR5 j?~XIԞ0UM 42hjv66iUK3'Eh/8 AD4|^wvl0Jyc8MJuԏcXϳ:B}{Y7E` ˠ8 y%FA^`%x|[-^v*/D/K/hz8vlM~P Mt5JO dE'4#Be0'1oHl}d$ ]Զx" 6gD%@U4܋k6oE.)9cg , ³f^݀*6nNJ${uNn\P."䉸ZR`ʺO;>Ҳ{juX,p^Dl"yfB!GN̾ڌQKlj6aTK13ӗφ vr{j1;:!KՔ9֨]-AZת>dϒ2XY IRăLû?a?P27ƥ XA%226A U|{}/{Y.zoj;% m̈f!z%Z`Aڱ ..N SsB-D?t r1D ̌JЇ{'p@T,B Yd~7{QOu.R'&ywz10k\;Qs?#l=oBÚ nmr+ڗyh0#iZfNgC. dt$Rfg,,R"g. 3ւ n^; 6Ak}FGGK/Fl-䦿FP]`[F0Kqn"ڸb6,+F_J^FTMjQٞs'T$ tF+Ă嶚TIૹ LԨFP7kPL?Zᑷnvy>䙬洅K$Nk Y)7%A5]\WyU%[Pf?M(27#"ҽ9i%_S`//όpPp&={*׽`3"yjaia k6ĸֲQ-J6\-ycYp AK vR /'._R+C CIa>FC?@o`hZ-Q}d,WƱUrW49b(EN|˄8~yHޗGn[RQ5uŅJ" hHaQ mB'D$0ŇЗꖵn9%pP\cPB&rV@JSƺ|N/s]z cF#"I*bJUjFӽb)!FoZHB[\Oޅ8h/<3Euh+iSꟓX7vyI{?B 7lne*v2 j}D[a` - v~hmFx'P`d0C:,x'e((ްd{cUċp. @(,g:h:z4'x*3I` GWUc[I1RVy- ubΏ>?-^M >-4@8$ycj+Mah0BAL㾙DxQb9iZYζQ;#i%&; 3Dw I]ۤM -|\ԩ% #b<ɂ0q! E.g<@vrzpT%oGbly(n+<]8?k+$wD @ }]>J-9i|f0)j]8P'Nr_\ƙu!@#T+ hXC5ߟ7Jp~T,(XM7n`* Lxyڶ99uhjG;p g~vKU[ v)` ^ IVAf(ո}Ş1lg" USk4ob9f-K;#,$lޣ9/,B*dv.4 Ktf&ͯ%6=i)BBpvq(] Pgmd&.'G "?&Fh8` FZgӘ^E]$ęa'8{G.|S֓e_dDd'&a/Vх$h-V\ P_> %c)v$ƕֹ%xPS>F`Y[7eDK Ǜ](YJ)I8uV>$_iX txtj~ڌ Q,P܉ct\ ܧ~f@ʹKi!FPվMfX. :93q跉Otbq?7A AH*d+DOPc+ݬ<&>ak4[kқWpd >kCMb*B z-$m2C&gY#HhZu|IS<0qEUIsIyG[߳$Ig瘟Cw/qGH{{M>GtxEKku*u?yO@ϓvQs U:Q YnْuTnT;qW)Eٹ }&^C# ?=_#J$Nu^69AX+(䁙1;(d"qS@bmxqI-sm (+OS}# h(tт):m)uG!M% -ڔH:B{g2ێiO_ }SH-ͧI!A^q^wfw=\-NhHlQ'9 LU`lL؄niۤy[4#>>s fd dfMBOeR#̥|栿v8ϲ쇞$$lb.rJ؝ΣKnI^ǟ\r͈mU@DHe=jD)^~>OΚc76weL@n/:f~Jw1a}peHQQ8pM6gF䒜KHk/ iJZ7ͪi䥙rk8klvr"@`.jZ@ư l6ni+%Vzqr7={b+PnVJT hIVІYҌ,V3xLqI`Kh C XN?euaT}R~-Q "Z:gصJeu yjaaL{8=y>x ?l;=sr|[slP0)2Lb+AJ*Xѧ`II^ if?@P8v-NڡGl/Pmt%e  w~G'zrFnE r},ZwnxcKH F} #Lx<'>Tq + ou*)_N ˺胅6Ιm.|k9T GzXɚDI7n-k)F@<7P^۔C/e4].Yx! M&صY\FQ! 4 M8D߉ l!{YIc1$)ܦ+ƩUӿ\݋!۴r8}g5yuуu4'>(&Xϰ(h1Z?@\e2_!+F߼(w8& 2BVJM5;3*Q@Zi !qjy-@v)_+  䝏YnS>FoVs$mN9*_߯"5'bZFW ƸVaw_9ӟ;xac wձ-h 5 nUL_7*C;W\UH˾u&rVۭ:wKJ fGki|vb,Ko-efԤe̯*cGޢ,˰ɳ2*CQ"_"&w{kSpQ5-V:X{Ǹ_TgٿӘ;|K@EXE9Z(ƌ+}(YgͪzOBSFxŇHƹNz|<&`w?بQhn,?YK Bia:*z0DCe99>#FK[79M!1'}dѦ͖غh6裔'@I;-nnb>Iws.w9~h;f_9&6 T_ ɏu?5>X^''R7~)#y^Rrx $뗳9[4|?xpuz.ֻY3o9:a7"9 nV%TKrIڱN 鍵 }4fW1I!X]Yv,wZuWՖ@+uJ{0B Ï#B@7 $ԋ a>w`G,Ƥ*x7&2"8oT!Wĺ!xJ8nSP;æ7>IZ4VfH97S#Q0.Օnș@MKT1ZGM p``a?Q<)QLВ~$"u=_ WX+wMajN,K(iow"`"}-9:N0 T@ʰ<(]FOP|I 抚{䅟;2**$*&5E+ǑwI}P2: v䒧yx=k <-0ƶp}`m/T@TUS csQc` cjY_1˛zwR}nT_-r%0:ξ["E!I<^|d%M +]~;f ,WCnmڑ5T'm:27vcOb~0q >kB\SfwnR::mGKZ:_OcgVn >:ZgxZ]pWT֕lvcF_/&R>Z/zA&eO$8'H ՝H83+\ |6#с4mgtM!-aP 6K|n=t,i.pաb_ ۅby'A% Oĕ]j flYs58^˻:`e"xA_[vOGTG1ł^N"F{I:@8)IBOߟ}3qQ1MS T;cw,/hTKr)~bzqA=- lcN~],cWĦmTfQY<.o+'2T忦d仿xQe68EQ>%[kkQUVT55% `I]hcG]:~qW!#+QZ gCf^uk:f]h[9bl]C/Ɠ,!{}s _9:A Z|Zj  Ԅ@ԋ%ZݏDTNV_+FrI6#[4S&N(Wn^ȅYɚ'r$ix!L4^3 Db{ er6~s1`y)f mʡdgtE:̓ ^鏻{zbI5Wr\4flPtG]p̽剛„#ZN(n^ s_r%BO<AĶy% tm@X:Ė x\KN ?- :"6,w&y( L2kp) I&T?Ϋ8QmkybM^$UuU(эs` 2c:8- {<,gE-|XV\S2l#9&sP@63!ec~bj:3_Ra& &^KϬϢui(]uTYH^ݢ6fxP34SFY#24uII-kb| U-ʼn"F9N[79h[wd_b:|UТAFh9Oo׋K%Ious}R [)R46Sgą\H0/!5\eR'X 񚙶!z`)ӎ(,\c|$Dg_C9dLxem$t+MҼ~<4(l>0Uj5&Z_8 ¬k !)֧3T1|7O,9]A^fX8Ȼ}j?IKd{mu"<:L3qZ<6SQDCKM= /sH8C`oącAoȚ%N3<puT6Dk&V5xH[`\QsMR^r! >>m !ZF{!vشdgߛb/K/R1Y!ow |h=Or ܦ miX##warO6n $VK|cֲտC۝ͻ&o7P=Tc.?Q.?l{uDS ֖3Qe4י1 pf]kNeiǩ]@X 7\,J7`ȃg^o=xD Tbf3Yz9NRXMR}֢r Zh ڃ5{b]Po|+=$IVPLbGa8xf#,~vS2-guzCp ecمF oecoɄN 7yGT\P-,N7M}}F&v3 ph,L*]n(ai캒qT4|"HXm޷,ׄKx*_n ['jCŎ B<^S{$ROzN骭n27gNfM&5OAQ{'<^LҞ5K\%_}ui7EA}߾yqm-$&l<5!raXnѼq>6cqCYk. uO_L:RR.2"IewZ:yjo6CCn':Bwe(}Dm!п5l'dch ݭt.Cy4F֖?n[X c$27H[F4CLARDzotgzT_fjrE 4:Cyˤxͮ&nE@zI FB~$0{ҽǥ4 EkPNsBePvg,957 '>@ 0rZEk%vH1}ݳ:ZC2ц)(%PZ/U M.FҨVT7"_ڔ9y'P;0|rN{[F[Ƣs7^SSM` VQAWz#%1_Cyr?t4zo\) m>Vr|Dh|N9Ru Yĉ]Cѓ0+Usȁf xe._c/DbehltbZß@-`@2Pǵ!O^AX>@ }%xnLjhF_>?scV5'7{uΘsa(%qv&+c3 iv7 O{\]vq&Xaԙ4fɄj~-є)1"eO`lYނPDFSVf&GN=dֈɅA (D"%Ӑ(C2O1kHS/;^,$M0d;!T7EJH0nj=m^Y>rd}i YgT($2: $ Ć1-c"Օ|?Ӣ9*S-g9wu`RdķX!@7XV F,$%]2|i Z<"y@w(Xpɩo5bXAS}\gr*s9s52Pu 4xwuS]3 3ӍwiYbqs|rk6:ùdB"VmCbjZa%; `ԕX. KM-rWAj#F(ӑLf0nYG3-kXFeL)~>YO?;=O#|_1)j k2n." -aj? 9hp3gJ?Y%rO%zbݢgBrWgUZ]i+̳ NB=ˢJھIV^a 6A\̰Wp CBӞ06'83\]^tSfIZb<|K|Q4W=15}g0a8nmǃ4ChUtCP=)8s;BEɅ΃=K C3ߚtEkwMf>tFvLi`@uY%(:hl ~? @D Crk 16p.)~3uuTm@o&n5mTdG zTʂ)iʙ?*w:g8yGru-=9#qqn t(X32ҍ(/3vp+%hB)Q}(a"Q2FVRq9ك*I2{f1^m]Jpk*.l<ш e 6t㼡q~CelÓ:\̡L#nsCp/bF$y ̽H1OREXv]j$.\iJ26n:ErcoUoi35޵})E0 b8ciHv"cdq^N2~L*,+lDvYUxy%x)Wyϑ}Sd3Ek.3[R _%ac~ [7k[YUR| EoĢ&5h|Ay4* C퓰Q-|jx|҉R>X>ĊqAn,x_HQf곪:D?`F}66E8V*G7RL;q?j}кJs з܂@>tT%krO })},(>yX[8h,Ӟ=Љ8(OJbѤzX3Q|Bi (E8'9S)`ѨIʶDr~Ú&AlE``g@% $Sy10{ oـv)|b/ٳTlzpպԝ#97!7]\h'wQăcNL^<;wą @ $}n֟"X.K)֝F*i& #S*tܳ':!DjiC/ڢxpdqJ#LU:-MjI'z7 =V*^A1*\jOvMi:P?K: Up{yc:X>YRv͸V Le̫(o N~=fYtg {Um,bPv7lukCMCKc.@B9idw8G&tKjGv52VyoC%X 2{G!"AySܧJ$KK*Kbq; Dإۑ(?-]#e-]-kUr>7s~\(ŅjM/HhN`8K\ ;89Fe-HwZmJ/SOJ:Y0(5 XG $]&#EbK۱-F6AVU5Z4S۝AMH`=am$O y>x|Lq-Cqj${Dt]f1$f=vľJTIit2%Sa094@.-r1)-2#w@Mqi_h @.V3Jߎ!_o^+\s1{ߝ46#:J;|G5eY+w?mbX\!2oDH##]gALؿ]> K ˲gQ/E|bϟ '9YG42$->f^L<%'1TN*]vOb-)ĉr%~ͱ8%Xt5ڧV[' bE򠠱g3vzWgaV9c L IB&}Dϩ#=6;؏H.Z3 9[Y˖BVF. 0cgP̘ǠsƇFI <nATJnTGR\!A.! qUe&hnv&)Y%ezKf i1 O}8I>E( zpxF`OQ4? [\<`2ZL>O{F[PM!~Y~~-y[E %=LD5e0/fh&r)ċfg.C$d/@Fj?PqGf"|JZB.7*&7[|ݽ2Q_wk9w_¦ E, nQuw6ʖK%tv.Xʼn>0VAA~Ԗ ABfvˢ}W'Fz u 晿s;{իkֻm:VZ`$LC P.sٔyHxJ+Җ%1I4J_Л͚ǧe(nuxk]S H1ਦ0 >"%W*XK jM;#տ!GPĬҬ b3wKRֿvbcF 3՟3ݶ@`_%XcW,IW9e))ؾ[(T܉UŇaz_m S[-u?ZpMkF!Fx.=r zwq+4$uhz%ԩΕ_-=anBXGlE_qs:+<@I1&yc\ZM̦f"T=*;ơ-LGM|-.]L*_|l~g ~"@Bvb5 a?R7K]O('s2E`%Z5U`D ]Xi*7:xyސ~:QDL[3ň i7IaJQZƆW*kN|O=5DɔhYn!qt{I$C ըV>ꡊZFߩs9Ί. ,Ϋm@&d.C)@Ch]&"ڑ+ބ< 9Z),Hhц2+(Ɍ,(+;{h=xw|DC";\U>} t M-ͨ൫oy=^41ӷ??L["٪Y^TM.PJ3%dr:8y|PD&+ EEO}-Z/o| H6Nj z"PvοdMaMDdG:НUҾm=zͯ0:~&m>Ou7r${EDrV @{iAMXkt04.U" CR{WD[#1xijM@xsdo3'A %̛~6yK{(hJJEqc͗qB@(zK!wU'ѽ:%Ʃ FXߘ0sP}C {EfKo2MJ债ZN&)#*_MXH)lNM9-6~a |(X5tԀ{Xzu!$ϒwx? 0 FLᓫCtδ+8K9ZEKQIFqN=2ƕ_"G8 գA/2V]^"3UM\hơ`;3Roũ L1=#3 *lImKMP#5 XAc[bA{6N $%gvIj \v\q/~K/ BȈjvLXCx*7< %WL#x<tD'j2;@WԴU70`O9>ԓ<TKX6T7]z81b.MճgPZ>?ʏܯ08Kq5gN@F R=@ &.RbYAMVYY:6tnY\sPՍ&[ь/)A~S͜Qh)Zj7pyEl`2LJUPPƸ/s/:-HXKNN ou)jt-0[CW ژ?i}sDp3`ʙB\dORG7<4)8իΉѮ!ՠVu&swsݿȱ/sE>Y^NX @u@bha4^(nc5VP Q@ 뼊O"moxU (au]/&vgW_J[H}H^)܍.pzMی@Чwx]&# !@W]$$OOOlh4[WmMMߕ\egG&rUUb5ө~ ){;%@ǼIIl|'c 筜^#A)A^}wKn Lf͒3%j,ic1J& wIQ~|x&˄j̟c6a\2͔"{λ!&x?tײ-gd?~4a,t@PSn rƪzo}Թ+ )MM ^IJw޻P[\j6e\l3e}wil.)Rл< 0 Әҩ jIUV 1}1aj`WQCr ePf=F<;K ~GU|rr,g @}R #FAwYYޕC| ' [&;2?E-D̴~ 0wh֥+P=""n3E]]板NL8 Ha>H$9 W5w-~35!an5h3NG7=d-EL]矌@+9r;Z84,I + + me"k ^jj'`0xGN,K͚;8v|4^yG,;S :þGj;Cx=5Τ\K)ބܲQjY|Ǝ$~N;˃/eAb)A8TR,Cjl zj8eS \hY inuJQunH#28UK,!"͘4:S,<}Uvs"܌|W5ZgC\irv̀#4`f*]Ms*#k۴[H-\OZ-t`'-0w>͑7+}j&tqR$?~ ,Ŋ`c[0kHtچ07eƏ%QN@`aNi(sC[tPSk:Ļ Ag&Tbx$A] +@!Qa#SyѰ Yv,;{|;OѨ)mXΐY[yE Mnw;޺b߾OEt8r0~h/u>R# 9MA{BI7Az"1yeĉL_Bd ͢E6bmG/s5~9U&mZowhEfqFgW, U:g{ C"pk-NrP /-aI∧w*@zft)#JEsH9vo-Odje%qe4/ُM@54ɾ,]P% m̒FM?(I:^޽&I60d vҲ|l ifEH Ov- 2i#. gUD6F9%]yBMLTw7H~KQc$3E|#ߵ6g"4C9g >lzDh0Ҧ'4vK\JJw4J}JXqJ a$y t/+r;[pTX0$ž^°ʛh+^nwe֣<3$mx{Ȝ1>mUei|פ{LyW80ϻX5ee3̢_ZgF'9;_+cم5Q+4 y|g_kc| 0&D41"0!J_%]>j|d:UMY򷖋$ u<,oM$q5bnaZ"- l46OEh a7iXNe|YVU`/&U7a )R^Աyf|Yfo N{AybLKQP4,讲7dab7 <bڗTB9;rƨ_NJ~¯P^yL7=]10,QmsQ/ZdL峯0d›2kO+q'\nshwoxHT?{@Z}ݧ%D IuSխ3{_יfÄZT#e6tJrEUª74ɾبp Lo8q6CF{EiuNK,)M;v!= q*Ѡ9nw9 }N{NU] C ՟bu\KʼMY W85DcCIUl#n;Ɛ' ):R@}?C/ƏS/O1T<%cҙNYh®y6 ݙÀa֋MPZ/%\]L*,,4xɥ*xk6_qǜMY>M1B֐F Z=Af&9V^OOB)ͺ,}DHUN2rjIWjPqHwͶ3T 3Qko&t 33KB"e=7z# -"Of9@r]n($dUAAo[+KR&^({Y;b[(JA+*O +>}T]/liX5d NaM^a&&#/Mށ-^;柜"mxnefj{Dw5AMA}N8k:8E=+1d2@=]bOFQc_[89.R"*n >Y[Ӡ̩R.(]yÐ 3G0Wn3fQpwafב:"&@L-K'6z*ErērFwҷrjF1ɭr9 jXK+WT*әX}>p/;1Жb255#g@@' k#v='TRҬv~jxǁFk/X\XVFNp9+ly2]Oe2r;w^0w ϜRFd08, I{۞~~N!۾XЪDyZca|,ê ^ǽS\.WHITSwG׋,]G~֣W\:#䗬G s-op"1 \]l[EQ).ຖN2prH=~Ik !bd]7b vYJ84ؼD[[>C,+ւ&^ ,߽+:IO^NbȉHM!qQ|i<3J0 G?Ւ,N5tsnc-4e.-T!3wI' ^45H~"XV+DLN. 1QaAN7Hѫ[⟭D3b.w hķ6I9.׊mT B耽uE>xIP̞;ˀzE,^+ٻ#{1d$&Hw}`vKB> Dtxy:vJ/Ϋ78a!TP+64q.pNЦ"ߎ~O;8:T'MN%lLpl F0IX2-&J:o _!'&%vHyhpU]N.w?"}0x|eL! ,)ΆjΗN|.fm ( -ȶUN`ngF砾2.YOٱIؖ\B5>D ?°fN5-A !Tg֮'2JVz3 ":z(#:_c/zrW`W)k !hYsj `⹦LrMrA.3pÿba4VP,beg.uT#]wxީ3)ΙA]:}jd#Y_|oRJ&%8 ʞW܄Ep/ϋѠw-l}؜1 :^tbr?_Rl$Y1?rBއHcIB+W̆K5K:浐xDQ%}r-fV^fr,EMzH&h3|$ p}> fgQ/G Ǐs !߲f%3G!+),9C3?! ZdXp@en a-G2)uR:sf٧?w^A6: t_"MУ=,l%Z NiPкnkʅ3@k|eNq;S"1)Z]1T̵OXǭME>UoL)tgXz TȐ؏ ?q gD ƃfZ!wEDETv $Xs[?ᐵlC1m=z@i5U/ñy$HnM`,!VD{җg* \A(A%c+,q3X$-u .пg cJRy2.'D!JYִzr6Ǖ2Dm{x'tU>ڰFH!HXF8:l]|1LJ1Cv9*L8"]5R)Ɗ5o_1 yjz 2ĆLAOpNA\B v?""W> ^ |Uv*ꉗ."h2Ey(L^ !MOP,歷U]Pl9Ud9g/8 +j$}u5U*<̯I|n-&K\̩T6"T/:H C^'e3~YècZs@?g}}v),-^k]D_&6"#9X1VY;Mquyh`B_ůYRKMS:۱ r/z'6# )v໔y{8dssA_6Нy]=P/pM5K+P_[0gk"@!,p@ 3O ?m 0k1n}٥"8]rޚ1p쨂Bv:'L[?`W'*.7ˎɇ`魁{vTLqŬQڬN%d h Fu?j߂"4 TFmN>TUbSdaK2dT#¯[k@(Bnټ#MRE&{SQK<'#<mӑ$M+U zS:ÆCj݀mG,)/k BbMt1Q-|o2x-c1%޿@ӪGto˾ZGZ sINBW.gB* zl,œ0Ѓ1_z0Թ_J^G6\ؒ)oXuZޤV9a9Zd)-k n T~[PU=:?JX$%nccڗ?T͈om$9ŝ| Sƭ*5::_~5aDp["T.bNgDvTF^y79jbLid;:Iwb9|_xg1\9gqߗgۢZ:8;LQ,x*>#rB6 sXQ;K~ #4t9tAVl=֘gDцM} 3PS#1 IǘCE&W..pKEac I ݫOEm7OdnsZdkMɄH*5ٝ'*A+ܾ@GvZ# {G;r4 P/0^6luh"XB!,08\3s?ǽ0a7E3wO;YSG)}d0)^ ?2>pYeb& Hڮ+W3_mYJ ]} 3h6I#m1adM/bšHnv;j횰xTo!lwBZlȹL(VԮδ 3ѯCAH!Gnj w>UNRLM |-O1D}'-n!zw*T x?LrMlJx+:*(rǥcj rHS*1^dIڷ` jPGɁqjX'>8r_f^ j襃˫ TWs~< }UE8xZLX#&)=]C:}h#wې {/ața[E9#aW&fdWnWEϗ%c E&Ȓ]mR"Xfw30Ty#-buv<﹪UXIl**U:7:uk ,Dkc[/ ;ceZ D-}jv&kehtG+Hl#=@yt/QSҔvHUi>B$!EJ1}evp;ٓ y*sYbQ\j;s:8#;$jIX n#Dr%$i@F@pڗW;i;q>Nk6PKzzA] l͞HXRFШfӭ}n-ŭCh'nx C/m^2߂҄j[(I~!V^m 1F>*EjYn AJVC{b'[ $i,F"nlM_lT c"M1"jeeYcBs(;zt{riSDf?œfSKK8+?n`҅(sei<zT6eKHθ})7osQnP9L5O@L"[ћva!^0=fw=5LDN=o(_RR3j6 4hElSAȍvgЩG$>p^a[|F,RRm$  ^q+Gzb--}''7n8$^a&|/޵ se/-קCZݴ [=lbD uAJ7xrq Iî!bX D6J5;wV}K@Z?v`lDXA}N&@3s{ÛC5׆MMH%פ+rѨb8p??OGN 4f Kgl+_~jI0u$TsukVvǟCWHT :]y/s\Tc.60U^WwB oB˧=N婃-rg 6 rn@]z_Yq XUnadVmsCX۠u]k‮׼q$ X bj uͶ0o܈ (s`/3u_/43ډb B|-nߍz;hQ ֏DA/r#gFs0ԭ!\Igr+#$az{7dMwrʚ] j.SyNe+7i3}(5J]v} = XّĝUy=0|82G.dB^:lX7 }_<<hv: >ruyAG#j++O]MdcuT{ګ-e 05|9x>v;+fr C &`-{k.걅6x=8(ʳ)T\<&ÆJ+KȞ; RXS[<ٮUY?qD/U0Y,n7NŊ\4:,RldyBJD+}5=,;uS h8 UX(+9ć#_ƪH?v`oT]KØ^̛rpO`rM`΁]#̌~؟zmg7 #dʐY_keălAc0qJ1A3y0‡6]'x/1e(,5A*9 K œlH2\MVO}! e|VnƲ:!L Bx'0S rms0ŒH.I"`!j!Nǔ4ATJeJ^3O3hG-c,}݃g]vq?0@cECߌ@VS[YS) V{(w.yI7x+q-swh\qPD3A|H AwHER]? -qJ߲\m0P,"X.R!5 00/*Rv?0Ьh7b<+U?T .44$v#5oYAҰK2{#}=zAsm~N -J:U>X'6Xь[x wL{C[e-qLZDXVێvKRvۨ;{'mWн~S8ϋ: y<[P 2VYni*դDvOTzr٦WŌT=xBf^tZN*e[~q,H}WaeٲVluE, Ą`xҊP ȑgRp`]0'P{ ۏ76@P[Vr=;1UKS馁6熏3gKLZ7 F}z{|m1M 4O{I !EU8A`/ f;M ln=2u Shvz%st>ڈཀྵ*ר'8˷NhP F:L*]]_D-,SNuN@"9k̔nHrp̗&Vc3WC8b硥)+9o=!Da ?Yȃ-?NRo,&)!4+v6*✶}RilKAgAzp u/j*2B5&8śUV8 FbOw3jSSq m=viOL*)vƏoFnԕ(Ɇz9h.?L4WeHҦ9xYldBi*ZVI)/:13d/3pM!@sƳ0sm )KDM8nv<ɟ>z0|OdD; ԣp=Hcֺ8A:SLsAqKdѭĝc Ţ8X:,nSht21ٟRhG)ܝZtd_Q"p5,b.TQsu[p9q $-_ά$rʉv*Ӌݲ^)X#ul &|kj#oj..#FIMʘ mGN#TV:K^q-NR3to8~t9F1 8*B^w3sc63hAKQph:ZC۶وf6…̧&)c)KȊ()^V GtS391_!z%Cu>: 9fh<ϙī_aPD'/cBh+m"П$?WQ1)9P(F)2%IJ;!BKkFH baIxH*x+61]Bnd1zê@ 1ab"$^Bc\ "1 5 lL@b` y@n#<%go`di7е^*'*7w~̏Baw5)X3/a$us޸:3Ofe,(H6l/E6ҹ9k Osfk{ FUvF}3?,b5j_I`YJA3}(-k냭!`jmJnh*xe(;j_pkӾwi{0#Z4z榙 avꆒ ζ \Q7!lO|F\vʷZ^T?:x +7ҏd͋P,i4ZcU!G\?3v~˵#ƕ!Cؖ9&`]`qpH6|D Skj7'򨵆712˧8mma'J4IIJipvH2]^+0(y(UM͗~.>&⑺ `MW|;%8w$Dz 9wzs<6{Gj /%G)TmńY!ZSY{w8}/'[叓tgyDEk Z3RtAEy੅Y@n$/c1ЈYjG ǧoMaȃhHV.&c8Ik aQ~ixu7&Nv+dK_fbL?O^aT-YH\& [BA s)7"G1r a@+嫟76D|xD62LF (6cd):YBBjm{`őU5,Cu蜝xiӴvxx+DA({ {nCa\!ȗ:F#zRsCLJ,ǯ]{np ֠a W%c+LI*2`U@/zZgI%o0>OFD7*-1%NJ 2B ,Vngn[&͹9g%T;D!d4pHF\&%ٯXpODŃ:bW ^Cՠ3|;/M åXLs Ջts(UO:cs%BE.{G ԰ 6l/fmJǦ16x{ŇP D͡%JԄ^jaJAX[|,w<% ]_.ݥsiϥ6uk&$OB 1 cVIyad&UP.q9Ub7=y~Y+j`YdY$0s3j+ m dٓ_TP'GPF4{)`^&(ә{Mjk2XϮ,9xkhl]]yẌnb0͕Ln;W8.Hx8ZZ!?ɝuF~%9 zT |8J,f=CpeUK.`ZP"i@k&O92JN244@ɡ)ES*z(LD#pv@Yɏ_(tfZAG!vlK$&Ѣ-z>^NO`6'+U*ѧހEC@Q1ue%|=Q[Dc쨄|52|ݻw}){Mv͞i9XȦ1jw>ku2l%Ht#]f :g j'F==kkz 3zZ;ɝβ.>Trt‘\B:*axBCU tzm^]N:}&[2*5U/c4E ]Ƚzoa396źWtĒSBUnPbR͕h /mP|T':DtJ[>"=C"\[u|حKVB+?qF&fkF <<Cn%ۉވL¶|(Kup䔼I?#o %V~ )r,ly(^ak`ub 'hK%;Oqe-KP I@6$vTV*&ٜzV_&눰6Zއ!&%9K%2Hwҩ)ĞM;eT#`,H 6͹5: ͼ`%9>/\z wꌈ$l=LKsU^;ʇ^KX5V_]N`zt ۨv)b|y3*[wU7F@qYLz|SF'貲g/Y]ʨC.>$X$LYId_z"L҈,mslœ1?AȨ]ҡ/ۼI:M+x\C31r10(o%J>D*5 {A0ʓSGw3i8d/] j`V Ɍ#: W8~hFRc3wݾw;*Pq7B7 Sq禈jklI ڧxW|6{i׹8H)HkO9/ʴ_ X: 'nSDWKuy ZnuoȂj(""ILHQ,K D+HڀWnްo/*gkF7{DtL|'c]%]V IM9` 9Ww'Z@T5[lDԱxۃI2pu^[rG^T/,ap"\S߸,UTXTLm bi*F`RgqQ!ޓ?UV\mwaB+#gݓkkeDҢsEAFguZY%B& s/s [MF[ez^Q ?*V n&P=Mt&߄֓o婑@™ <"MAmLTgCfr mv`_R `*~gfhbВ?)E2"Hhċ#bjXnV|B} #ٰXXAfZrDӣ^sN5&H)YSUX›!ZE޹}&mq{H$ "W+RSl7#F?GrY\h T]&,)H/mGoXx3@HVdd1o ImW+Tug/&G>ԋPes##u/Q82j46e1r z+c @ i ꁑ&DQQH twGPdqak9b$Q`NW-坦\9Q*:הRY懯o3f`. md;!@ M{, dbs^P X=Z*/OM'zFK݀KjMb|ާ?arZPe1 H/YHi/Wuͦ5؏!=Cp2TaӧiHuSog#Z X I+}=@Bwgx3)_pxRGHD^/o3[<EhPGko{2`,v ۇ%[3umi; ] B@2o12Lś(=0x/:[BKo_z@81>[Q}:0WF C _(LgS\|ׇ̽Yt+u+3aCbO1jIa5 ` z'}?&-YVNI(#RGAk5z )1b $|9ruˁ(“bwO9] SEˢEkF lx HjK#G!+]"U?/ecY[&e'2t/N.-OȦ i`>>>cc|^\.oY`LWޛ(M0#6xI7;%G;. 6E;؎!nĜiLB1J +gQ [mﺑ++, xآS/孶\J;RJ%Zp;T[z٘I}{_,`Aq^h0Bý~S #BF=df.uյֽTRԾ "~ uZcg4T|]fnPC i~_)Ơ"/P$DT"qE7w~h,⯗8'Q[*Ql<f~{ "%DNE8g5塚P(x5ˁa: #0٦6c-9 jbP1&LJ<ҡR0WWɠ7>"G=ɧN^1샪.DgPVѨ(䎸 Z-lt__d2o[ADo`I]rR;5KUП잁2<]+`-g5%/QF=7j*kE'_SA|՟eJ8MpO%ڠFEUVjY6ڽY39Sj͚W@n #; wq]&+]+x_tsHTحf@GD:TxkQ >OMH.U֧ Q9ƳOlo1!P'{S\w{~krW.kΌӐg=e}x;ܓ8.V9G͝uoK,VhQYp#Aҝ&i:]pكV~AKB h5wũHvfYY<'pF5d?kNJipҠ$R+{œ|r&#w(iwE6 ɮIgeUy34kcox"VbVG*?ZL :S|\ ;c.k\_sί7;ٯH#Oc1?'L&\\/'Ij5KX]A#tg4.@'5lX SrL/q݇ۊޛ)/! V|!rAAɱ .bĊHG嶩iJf`MX? ׍燋ēPPWs`o5S~֟xF_dDTd+ uH9ct7} ,7UX[{um@s~H:zuA;9_ݺn7:hK݄޾rs9?º83T8@gFЫ%~Q6xgu7MKkMm0e.o5;RFi6 6>W;𥸒G͟S=2exK t~FO?# N$+dq{c1,|ZwN=;ӣ[A{ Jb-N9*/r 78w5Ă r T,U`W ZN{CD>7/ܿIFF*u>:MD`!B5(չQ?t UIdqeeE;s56b̌F{YUSoSzenB jd GG6hG`e:M:g{^dE[D_y[pɩ4<\fkꎻxvPcb E_ wz0bG{}Sԝf?1#voc)VϝRD7,dRL2 CrGI3~*P͉܊Ap+2p>v8b_boy2!q!ࢯ.snnjٯ_EmMq F$Wϱfj(F0U\GzB@84'DGBh7m6&ENVu) ޺ʪOr\Abqb6GW!rn6#l- /L*6;S9|e5pVڽeZMfڇ"gFr Kq>`#8nܫk~޼]ɂIawqr8!NA5shH^\ƈ?P>/ߦ"o5\a&h 2oc4Y>hdDDt4W\ESf4IA:f$8ca3xQdFnҕӮvkܟ"Hɚ)`E|C)ΉQ*trRFSO-f瘬؊|e;1wN&09OO٣sGD[<`w4/*ܥl|T,jOe\ZCECiw 2 %fLtxea/C&>װg0Zl jP+ ; V%fg`,{șiKUsWf- mL:w"lC:cKcu_s.bI FKÜ{Ҳ:-f"V.j'FV|; A8gYx]gd bE3uv$(KtSf81e[fZh8*}g z~ہe&eHaVc5X6TDՆ褌"7j {W L8)m.51'Czx _J5q0y^/:z N1BܮSvmO>^}-T"g uinOvӄmu] >K\0Uȭ'²WwCkoÁ9aj ztTZO ԁҸ]}8ΰp]MR9M~M+TDr( ـӣZ` `jBSȕ|g{f: <{ɜC-5 cL#pJKx2BÁN`wcM_I2uo$6~OhA } )ɔ$!L."b'krUX+t쳺ރKCBDM;Uc ޜAeLppk0gAf;h\LY(q|]LdkBՑ&$B%mFAXkwEo=n[SaKFv#yzȇ<4<3iA`5Z(p tg ]{xS]ϡ az3eQft]gb<= >Uޟ}Bi J (`Wv94EOPc؏顿"OONօ6^Y#Oյ%rc-poca/ oc* Z؎=ZH  z־t'~.!Zc1nT~>6ְ1E:2IkBs#zbWc}^2aix&צ!>sB~kJ40*v 72h6Dr;*ӛA }[;MCӯ͒t2ۥRYcޜؘ2,l9W)]ط&~WXBp\rx'W!et 9h(KouI5NwANwD>oߪ7Rf >H)yVRo^g'w["ep6?[ek2o\ڵm@w~[Ivp`$"PxqLxG]xZ f# (Ykm>q (̏nL_?G *_R޼5ԢU{h*ŌOp {wDW/"5aj%&zV*4`FM$9[)Ń+*ױJ+S_['4y[N9roXZ,Ώ?ڮ|E3v+ІQAHvD8']cbLB!\zCVYiu 3pt.gO>"߫9AޏWjĬ׮_PV<_H g7.3\I9ᚬ,pe4Q]irPkEش׾)|e {cN X,쓨!6U`%y'p8^6(2ET1S R$B7YjFI̽LkE{&֑HXռ*_z%}6w.XP'<.[=ܧx9M'>#pq 5ɮы W[ Ujr"e㎪:%}VyQP{Ʈ>n)`,6s yЦ;Nv淙`Qb³ݞO~*m :>l=3[,ҏK?9u}ҏM#P#s&Vb*֕Bμw`t gTFx?{A|:vj/; ڥ 6x~m4S :|GG;|s|G \V}v> hpLZşG|`5ĶFN|I&Z0JOtUҏXO?c|فǢ#9(v[j.afCpqU7-TJJvS#d#;j^K$Z"} AY#ľu^%|; 7n͋p?)^h12•hr0[Ԫʖv*3Q,>/3$;gߵ1X9t08:fd+>k_cQsUxV/AW FFqFD rfP>(yf [(3SٚS2P0ya&~Wõ D$TFnRhtunK<,,:ggȎ=&O{D,ݒWٿŧl k2jĚ6,S & 7nXN2)[D{9V/EFnp(^ie`hM],hbvΡ G: QZb/o`8לD:$'(\GyA{3ؘZ:p m"S1,fʿ\(UԈ6 Q=[ @\NG~%;*a"uu['fBxO31m^*Ia9Bw1RUcxtX ˸2UI7P;AmWSHmiu"1@-}Gj[+ͬJj7zsYj$WKMxP7CbĎ$Brzhe:WNnz ƽjky}b$ `جocn-Q黉~AHϜmKP0ؚm@Gڴ7>buZ#E3ݼ#Wt3  "_ZyYBd'#lVrPDBlBYJT-AYȵt ]]jǘ En#9n| "xM߼}YKCZ1ɖh9ζME{F+= ,>ٍ01Z`n3Ȅ}窍Ժ%. 9!ОeLuΛpNm^WS66t ]jNܰYJv pĆÃQrE k6 Ca.AaI)tGqZ.70y+T!?;4_WU7W$,6aSפ\ᶰ_4 T< 714(CE/ٖp(G?>Sd11Ss < Rwm%K:xXl#WC$ˍ\/YpEtֲ/ %23 YL5l%_la" h6ha:GD\V #rA̦xvzX0ZMqVon/ gδikf1$e]E; .:OXIN$@S-;m5UHUeQNepmZ \$Ӽ>₎ >ATbc&]OS8&:gvzT>朗P0]> 0zΣi cߑ,+Sֽ$L*77.JC+vmԤfsV'DݷfŐp8t.TDy?:k]DCus;q& *]bqcfط+In]xHP@M|TԩyG!4miJ O+$T,pFX&n[/$k^`,SrD2FT{%Gq$^XoShG*8_V=l6bi͖ *Z 5ӆ/oGT9F e-z8|]lڣY)E%Sf#Y3{sA+Z0OS x- 7}LʌXhlPs5 * Q[%/1,睗m$Ij7`0-*/@0-7AL,^,38KHgS-sCw zPo|>\fWt`Kk.?170}$gY58kV꣚Ih:a:IB?:~HB᫇J/WLN ˵UњBE蹢mNW=֐BJ6?"zM 9 xfgd&؈"Z zVb]=܃s.̘_J~<=\zwE_Yg|1H$e$yL0(RG Yӓ8Y̤5U$ " w=Ў~ 437OMJU 'C<U'vΊPLmDJBĽO2Ը(Oi”1;yQ!dsT%Z-%Ձ˥m%@El d6Vw5cHɦg:|&v'v<-(Z7ؙcYu <>ϠsH,b< }vmu(2v=S8U "Cw"M~fh ᫀ!VQNWT|h~?9P`@dsGkv @ }C6!1R ,-0pCyHeWm'mɫA@/U鱍T?H.o6o(,>cɫTzfNƝDk#P ޟ!NC務'#?F=袂+P^rTm,= xBBqƜ\D`:X-1pta,U6 6t&y]c׈=!n] j=ar)UilHf5CWo ]ọujʪʰFħ*V%?40)2#o%bƁVߤEʶXƤVOw-)@4l:B?8G,;ň2/Ifٿܒto+3'%y1Bk_31笻=Fo&;d 2ُf]6nP|DI#VbDÎQȮe^vԬ`)t[~Wl hN6T(O Zz>ֳYᗺ)NcC,#nS?rmYtWc\I RO?zHaR3KG ^JIWWoE-gs{0!UW&9bmZ PP-G>a&Na!Yp޵bgaO/r>ΦC!E#wI%9n`YмgY%i8%|As}sm"DM]xXD^[ ]E7+>x|qՙhp#سsDꚇ9b5Q&LJ#K3;bt˜w \$çq-'X"?ΌJ]3dk2J'\#Lt[0Ypw1. -^^34SC\ϷH+Ӡot =kSrz(Z;?,+$x]⡀538CME= !iW uće =cvq#΂zCYo5Rc8tQKl,j-YMް wtU-&Ѯ4aC1_JYӎ?.Cb2 ֊r_! [1 toovA8_n _':]“WN mݾ(صjH,4[ZBنkF2Ծ2 Zm\& yfGh[RA@ZHI9 0ڜts H7XXEi"4 Pւ(in/ ꔆA ѿ]B9LwL -B֛Hv@jؗغ֛EPib}uSȚJAYd1u4'>^ -9.MD88L!a=Pn_[ksn?q? Ao9 "\y }rxD.Rx޾T-$kb3cГ{(\ ߬+W 9*H,>1VǙp]/e^+ D\Wysocn(#oQ/Jw"rK+`XGgYZ03110661@92f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 08f0891cff2f74fd97fe4f8d9775b4b780015337 0b95eae8146aa5cd55163797808ccd421050d201 0c02ceead20f10236d7275425ef59dfbc5021710 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b 30afac17f29e367c46142872751722118953e506 3245cfeac2613b419ff643cf72db5edf625cf117 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 3b46b32b9d550242d2832984f85b4c97512c51c9 3da82dd2b91db0fffec29024fc6338a500de7ac5 3edb2c04d06c806131a75b0bcddef8670430050f 4021eca21a285f24f9ff4ba2d840994e4f65c303 44baec093d30bec4af6ab8a6da185f226cfd552e 4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf 608e6a5b7b7ddcde275d4c80adfbd2ca7fce1426 68ddb312bd5faf4c36e3cf380c28a4ef70c5c41d 6a1b07b082500f00f6c3b1326fbbeedb536bae44 7c3de80c3a16af05902b9763188afac0814d65ce 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8aefc9b67109956542535e583bb6b75d0af7dac3 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b bbb1b4ff6ffb7ed791938c6e7c437667b7b3677d c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c c6595eb84f7f5b6ff8cf51591a134ede1855866a c84783fb29526ce883108f7d0451c93533bbfc84 cda994d4ebb6399010f48d9e94586c64fbc24514 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ea487692239b63c714b16edc44acedef890cd258 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 fea25054dfcc4f518e5ca0fc4ee6ac4b1ff2a74d ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab ffc84c1be563c401109cd08cba36147d94a4a62c7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd 67de1e4faa6c594cac8f83698b542c3bbb933a16