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 /5d| [ HOL-Nominal-Examples:threads=6elapsed=430.825cpu=1610.444gc=135.648factor=3.747zXZִF! kG]ŗXf1-q恈ބԍW_8FbѴ Ny#jꂒ`ZܼPw6V#Pb Sʃ,A?8H8,Npn>4:8Sz*iQ5rg+V Mvjig{*-Fuz$U1Ę\ G1٫'[gĮ~TAnlѽ̛wD/aoHt>te-" = s7C#i: ֗Q$e=& :]u=BXCw"0z/df.Lw08eVH;F͏mbx͹%'Iɮz`zXyuS %Nk꫎51QƋ6^Y>=,+߰ủ`''Nr6t[w*ϑ\Af<^;P01 5 HOL-Nominal-ExamplesqI:/jeW\Be}0Yf8O6%(o/qԊGpFW<+˥(xIC.^ ^"㝦/c~\ejN{́6H*{;|-:3zP_(Jkxhbh,q݆'S]4W~2{^hL"J=.]5t\:[j'mz\0a鞺EIaeB ̞aui?8|x[\,i܁K~UAlcHk!WyQRtػ#k_.8 +w[\HS#"垠>^hD?=Xc?]@s7_4|P1Id)0:\)$:O( (udJ{t?!QϔE;)?ogا:*f5,<):sHvNa5f<\ObgKÈC|ظ\b}0\%;| (csS&MT= o W׀@$gqбB,-x+RR5핧O1xJ#xOzP h)o1'  ٹ=z:7e.Gab`'{0i}^۝SA;r ]\Ai͋s9 w `Vm`PD[%vq=(eiO\a3aȴl A Ɉχ *4}⇿%g3yla'wCI=!PJQ5̺۟,.Zc'7S=VO_v\ÓQnh^.~Dm51גoA̮1R#2i!uXV_cs?]RcwᒲȉeO/pTԝIIUMNjV6T(S΀Z.Cރ\O<[XI`m:?k9TB볼v u!:9.k7[|"R8JQ3hbGc(n'$Cr o(C, Wk1,8dF]\;<$턘_INـmˊL?+c!@p=}i5O^?s P cj/o0KBs)ӕh̻f#.o?9JneLYK|}+]Wʟi5Qby/SxR")ʌ3qL5ח:62`ww 3 or6W_r߭GtgdmW8)ŇnW% R%?s>(]|1^V 0.Wdl lj>L7TJp ͿRY`!O]p Pwnk+oH&-๯4AVn s%?8): Fq+*.T ΍7Kk(<m {UEg,c*|_SI싒~-';ʹcI] :4ԴZq# 8sg='I1]޲T41JZQKd",otgf { ]4֕B>X,l3wD7-}6wlg 6/˂H[C>>ثUrl"Lf P -j]FzQbfz5>BFmi![&An`BL:Jɒ%xGfr}r7lH.û]KWgҷf#2zif67Fޱb2 g^dѥzZ)uC2@E0lt)ggڥN$ِF#f{dט1 e'ۺ"=5MJYܨPbS\#>^1)RՄ{yǀfb,(JLrx4,m (t/(5m_GZ<63FX"a~زFqC=#fx7E<լ@#LVFD)` PB/$ëF Mo߹E5Z\>o Axoa/`5{UlGxr5r+PG5ҧP{9 -ɒ4pZ]8~kxE&G&x J#_ q@:6%1Ё܆05oBĪ0R  Xg'5oOrǢt6m f=,Kbώ̨5qXLc(1BaD (W( #Ti2AL=KF*,OfŶCX֝o@mQ^L}-7J$2* X#m nIuZΎͿFQa fȂŰJvcѸ6Gߗ']A-H,^yfL;g|[n+ KjܢN 2? Z2Z˷)lyt_cJg[9!*E\AkMMIWJx χ"s8qm^ͦҽ_3:=r~ ѕ>aq0SI  eG+mTXJ:@zZKGרΘ(4(E==IL*KyoEʹI0˜,\nׂQ2 Q"FuoRsrb/y j}`lS:)q> w zhB?fet4x肣- btcDs7ZWn>2^7l(gDˇ)/ޭ,1v7i8Q Ʋ{DR"~: |iW F(q[-n B"  RFE*d &Dyf2ΨeIn [¨*fE+'*zd!H 0,?0>0Yph"ϚrOoթL;RtS*;`OU=dx!;W l)5!.Uy{Q+;xJKh.v{ /h)qS2/Pӛ+ְFļ7)t x;mZNtxގXPj7#HBi oQ%w$TuJa]{K"/j?"NSnCu-Of!6-Oir}x 4;,ҨHms 6o%3Znusbf_/GT>HӴmĶ*|q}rzRTȱRM,6?2,E6GQ, zƪł7Zd#O?V5j3~%f2j7箋-r!q wn\[|CQMPj!$H:ڂ=ͣe|>Mu~12> `V¦S̋G2س4ٛv2JmODQ?v|}vY]1nbA[9(c3U豂H>jGcs>خ-@\#Q Pln.h|9/ΐj{e,][ZJx"E3Y"Z\ wKp]$( \e`1`e}Œ_"MRx* !^ϻMq=g M,JO 2+TƊcc[JvU}Qjԩɫ|~or=*hiĜLjl׀L:R22\ELj#qMGֈ㨽**eO(.WM;"5Ȋ&Z*~$ _nrs&c'̭fh?T3 [玖+KKjb/gY쑒DQ{/AC,FFׂ6 呀ul `(Vcq. V!Sר,pL>|eiluY\}) X@WzGqj֍ZKHӵ Y8LM%JtDGY;Bv2:@J)?"[_ZV: ,N0$_ȮU?0BU؊70sŽ;g! 7vYQTzvbTY|~j8|+5]O0ݗ.IR{<=L['N--Q 0D,GOGq8"MJWK{'J 509,dOV\&JϽ\&X|y0Ɇj-P7| źwGtɇ(D]T5sg쾄3˒!wP#lg-`=][p3EV\N$&L4n8x]D^XٯߒLr7LÑx}frl(li ІdZzοΝ z;317Eq</*2r8ˬ|Ĉdp1M;?[ 8\Fx҄m,jwO43luu* G<Զ} >Ùj-߰bv  AM6⢻tR6Bnz@F>[E9]M,?@T3t fYʐ%~wPgHݹ.p"Z%veDS1Jfx l:z?~[9\}Oln5d$; O6⤄Ӂ$8@r.s׈ Ϧ )X|s"N)uA{Ug՞.|BYPU0Jr2#4괐9cb~*[7؟M$TD B`RL:AMvXG<zh#wX6*}q=0 y*ћ<h".)l)E =K@5FR{*RS&4ŨV˂;xdqAeuYmmnK+(3]4*l,^!ءZ`.e,P;5;oo:݆ r+Fr͹hmx*MѻI%*PFNg,#iu} uJ"t Li䎐,otV(mq`M_W`ֶH 1bk>Wb @S٫iZw 896NEN *Xz0gpSe=L5w>@V]l2g=7?]weȲ,mN,ħ9 `قIFs^!i71$#XUq>dNe!;rp?\wo]' b`٭|n`3xrFrޱ2S-*M+PP0t6+}pn\<'qpd5;9_^hUd7 b?$ľ^ q&$i'Hw x_iLDـ9M qw](wqڶ(-D-CQ3 lRBFWt 3"vڭ/%VyHLM-8 xܣ&~iH(+rI[3*K,1b9ig[eua$GP7s2AqJ%0_4Z=>=a#YٟnUd‚B)x8҈{'VZddÛ8 sx?".FuL'prYF8JaU2hRY!i V jD^q+zy=|m2{!%v0a0%rFm ̤՜ \Wb! PQ|a3%E @ - Rj>.f3 Szm r/6E2"WRDs ~3 X6y >,b_؁k6}@hL>@t` v,4̈'Vs^}mm?+7WA('( mD:tםm8[^FGwhI0Aܫdr; ψ0 ?@q- Gqk,e| %W5C+C(A`9F$iL7an3$ G!ĪfH˅n: U { JH];/#!"mvvZJ`דk rn7J~*=" Pv0"`Njٽ +'bư? e8*(XBwXl35 xV[$w<=k+SJִM?l>z6Uè<)83  |香3xQ'FEjӬ68seE 1Q :2z?v])4 [ rg /~a ryȓH=~;,#|C"saOtm4T% bz\U+ZKXhbwg(x<4 ҂ȠJ=DPIhl~#} uMA :[ !^h,4@ W [?cӕ[|jG{C9O6Ή}V3h]O8묔z[H]#`35Zr륭Z-}첃-490z +?ܽcuz08޵>gd9MIm=(6¯fgBE>xHi<1 6kzvBEo !`}RMEϿ*YbVZGeCҁza}7}޵ 'SP#ͫ9]Wp)F$*7,BEZQaHg˕ԯr٬ވ݃5k^e|U1A4]2zR8,)Ƨ(tr cpFzS&w9~Q& u lf": 8 !Ԃ$ף=ooߡQ0]sI5oZ>,)jÌ>c-X5;Q i@ޜ8+y[j _poQܲwHojVq:@k-^{Gm-'YY%pl[91?&>=H6A2M1Dg*xXGWO@fFQYu3\i׏J~'nF~}+yn<>/ TO㶃\ɀh٬D7(ؿ[k&+BBD/ʯU+AFy΄EٯK)Ki1lIB~g&)KxGoϥ>Rj|~jHFơr(U)M-k0k\,*Z[,8lm7nFڿJ5APHlS<O2EN29bYxC|Βěn>kv6pх`|xMaPg CeV#W%7EGb ˮ*d]3^tg}MyzS,#_g %:hr7Sy~kX9RiB/m?&榶Ugp$m@FNa(uH:> }+ N; E|TRDnO(\\yÛx+Fu4SkS#JۿOpHRŁNHpӲ=4 Ocۘ8J'cQ~LE[WĠX`#mj#ͻ< u{FJF<.1Ҿο7Z3FF85 thIr)0RgZL <,blAۥ1dOb.9O~}V ,ڸ4?jfAFET3Ɍ5ֹSuZw?B rVs2HP(KsˤB-6o\?zpbxѽ0E6C_?]譂'6b%m#x#~D^SU`dpkɨwsdaV̷S!CTv׍/xQ m{fd -dq9C_fEaw6U?ɕٽ"oCzIQ܆ͅSM%KtUoui c!^-oM}l4>R: 4'4 ʚ'%j28f 6hf^d cײx6N@CQrk|̧8XCK֜.L&O E#5=ŁV6OT&apҶ+iez>)"/.jܣxUóU=L}%ӥDhHDyvo?y\v<=K!sYwIB2;o=ۼwXrfNj%35R@\()[ TBtrK_!E‡c,Y]_I}4ƴh0'{XpN-qrjem[Ra 'G.r iɿʕ*їԩR`"G<+ -vd%kҋ0䭸j xzeKJUȒ}gOwx1<n35yܔ'QKRR \ <ǡQ@ ųnx.z?;Æ[9#>6gTiCv7 ^xb\Zp#5 `$N\k-XEʱs@{O mP G$zXw- eLp+P 9F(]d(,#vp-m;x) 8,A 0ۥu~u "dtU$Z#F U|!q9>4w9ItwN~A~>JnRq9S>j22)%[e7U+nZ̠8>$&wK,t̲tV~o*O9J$NwYdDX0f\@/OW oQpE;q7Tcj(tNɨ7,NNd2f}ΠuK-]V'Š#pCk3R&w@ƂH 6Tcnر&Aۏ92z[-?AD,Y g,=Ajq v_nh]xZ: aǟYGJTaDK@4ȯ"t̃m+budP\qQOU-jJ[$Ċe/Jن89E!uPAv l)r(qA(hߖ&H4::w_3X,hƫ:u(1t񽖖ܿL"IJi n=~GqZr9'{x$7#U-ʩg8Wu:֜p%gXMݺeENDS;v#D4l^*{[xokL8C(Am3)GѰ Ih%|CKUNZR_WxyZ=&1t*"bNQϫh T(Qr0=Pִ¬܂438] 0 m. |(_N{w\^ R?ڑkm??t ^C̀C@dfNF $7.X OzbH_.k9O ߞѰnkS;PWk^NNɶ$TH<DG"f6{d¬2Q92lYKkPWd,LmO*?\?pܽci;> 5=E1:} ]]N/at-},Ky/Vr#ҋg=H47,zVn%!6Z:=%Ϩӳ%T%\ ek`5($"- VSPK)º);lL~!z9 :O4k(Fl{H{b?!sYr@(yڛiW֍P$8KPꮮl})}sȽŇ6;6@iQ<9d8;7KC䎄U@Уkl/ƑbQGsUd2]z`s%ghx)v[8I3ͧVM~v&8Į x:lXU_z  as"㉖}Wc鯑/S7J c1;,u9~ SSh-)V1p,B} Ipb+&/y\-ymaq Հ;Kϋ4')@ `cF}q$N*sfxH|Pa8Ҩ&5VX%n.=CpӴLbMC]'yL+΢#{A~+Ը3#3iw.4ㇽ SXѯ< F+}n ÏxLєtW7$VV5,e%P"BmM)J rl-Z{(zaW%uzmR*];NS|2\MqR%Sf&"HyJW3 h;vjnb]jNPz` 7 "I~HwtcΨFD2/aiٌvww2%vLHc8!%hpHq]ѝ&DAcfbMWYhkj8\ Ī8GAh@ ?0ٿ@@-ƒO"skk(!-n .g#xa#;8ĥ(cS_< .']U4^ۆU_'~.JFL:wS~RES+d?NL:],/ls?g;\{=܅l:!Ӑ3B_I 5SA  x%=#wT'ҷ@6j5r/33[:w" DKQTbi̜PϺcc 6/Vled#iSJgH&ɍX1UOEg## & P2-#޶@)mp1ѾYG.3Zz}/Lή:K5#),81`8CTIw%௦bUgm7; k V!@6_[P) #M( I_a}5}:iT?ƟlU.G2-!ʔ;#M(~ۃjѪ20$"N5C@.%t_;j'/vfb q<^1ғ4 %)Y}{#d..z@zxk !1*Oa1wfũžArGIDQ,;CLsׅ6KR\T< 4k {;[FE*x edwf@N1vhhҷJd"G/%8 bLOYꛓc320pi߯:,>]xkP*V}fvstBJZy׺a5ZH%~՜BKSUQ*t+ BvHVAj36Jn~=lT>j"K/rTeR)p9^H"n)(!&wL4[PDW/;2᥂)݂SBA칅"r[r!I7b=1fX}thp04m0]J)W '%qRb)EG/]sf>ڙ%.Ci!NS{s1`ISYf$<-Ytv˜E^uhor ? ,'&rY${Ye r+tc_!a>PTA 7љ մ돸w6;{jz_$47``A2HFؼ 6#nn\+nn6ƙpzӰvq^'k22reU2{RPWRLlzԋ`*Gn6bk"QsIDAjAh:ª{wn[GZC)@<A2{ԸV $vD ?vA†'8mO##K ƭ-w."`ڝř̸E`{IU&Fs锢0yVV7|妇$XG̉47I90G3]\a~:@嗏MB 4~xQ7M%m%d['> D\wOd*1e1 q@\=F< 3=CZHjMvBCڧ߉bH6iAu$/ 7*S^ bOld?6+).C.dNDFW[z6Q(6A\ 1!A7Qt d΃&DTO@^YҊ\mgJ>XE)36|,MSg lmt$?! siL@3jcW& Ce|q8ՑLC2k|EZp؊3nUws/>G빥i}nXP9٫p57PZ.mN05sJj`]QϗI86۰뉕pZk;6껏eNX_PZW!*6&ԃ6-?˃Ϋjr7GboNup,pf'~3!לnv_=ʷAuLiӶ+ !u:!oJ1d{6 h#0 0Ai {$ ˩,ꋕ_UFkO.K/E8}V5Sf)}DV7ɷFbgN)G_ 0N*u"疴XTčgx=v>A ҽ; CUl.T%WJjUgj]PEk" g+&. Xk]=XVf$kw7ѵHX=g WW?ɛV?OuSy,M{y<5ďT g^ozf0; $K:\dK$BZ_6n5,v$Ʒ7߾=䁙@C~ J3axq7[OP+?Rc!a2$tR@9[xe+uq@QƆFpHf$ 'tQu Myn١|ދ9+=#z)Vgz%qܺ_Szg߅Vc%Ӕ7=Lڥ9{w)ՇfL^֖y=U<,^$!97Ɔ+uZPhdV MpA eVo|W:"ݏ> ʥЬwx݃5!@z)qqv'߽lRi/O}[wyFOцCYqo/h}e^bU^Ct&GIpkR}dONۨ ]JsMoPq hUyG~DY5.N eFg?˛|.eÍ6r{_<.wv{%BCMumAt`Kc!B|ݎN2մ6N ֟s1{4AAx[WՓ1WVZpD^(T4R-JBw{\o7h ǼJy+E0C Fx7{YP\JHʹNH` ^_,9&P,$K@zc^XTƾFS-rgQ.M%>?fC]÷ok_I^rR,E(C Vik2: XK\8-" 5.Eanc2t^Èz ""[&:c{FKof2P cХɩ;`2P?O%8b.?sp %`ޅ9`؅u2Z;:1d|F7ڇ7$UoNLD\l$NEqP[/JO\3hLYkn,OtL*Ozgb HȆɎBڦ"C+ FO22|Q:.S%t媡?v \4b0ZnoiUòk 4g!@^&_:М> N̸MA_aSp!/ l4LlTǐJ!W$s 1'{S 7}Qoҩ?a9MKelqpu1q/~^i\}yl>32mXkO<"Kv D毑JRQDp$V .)Hœ ]tf93Xw 2qAeo6l~OڰIsn3-ǀ~h4 T9LOC+GzX3H/t`m j-bHg_%X)h׏,±aѐS=3bŪ%dnX;!߼nLHuv E@in@`9vP{~0׏2U_"ڋ\@wkHJ@/9ql}7:ggWnjq{Зif*ĠɣB'p' W 1&% =sWX%o޶Z+WCzG8-S$j'="nܲhb{z BG+㛸7:!cdcLJޗߵM]ṵ =o2L< W}7[?sW/.o $x[AC?SG я1_61܈rPlH*aP~ܻU QV Tcp J\L ]n6mS[c4va ;m(Vz RD#2nD[Ͻ)6^@1ءzvN3^LfwjZ>E~5́&ÒySyc4.IެG6PE.HX,;D^P?/Q|IU~zѯrYlc9jwY0fqB߫j 'e8L%8]!.߱Ʋqļ5ADLpBC(r__fO,3̏: *ʯPA.r!TYc\0+.' !tU-}O\VoIoR!v.p_,3[Ҳe$Bۚ=悰Tb"NW̹7;.ƑhcI>tÙ!cFIŒ'^UbH~ӼFk=v/ $?\ey=u_a3F)T>Wo1{ 3mf"‹Ň7~,O>WJrK E'soCfDLPsMtWGuLe"sL? ءQW S= {Siq~h!a2wEoGF)$?j{`o-cRmҐxb Y&r4 ?jFx.d^"1f~eAWCUϴG b(imBa8;`cR;|`2@NIe:o9>g)UljtS`ᶎMObL9Gk3P LbzꤼXD+Ʈ+$ڌé@'LU;/m5) CZHe9y,#UbK' ,9rgv@qq4Ys6U7oy9֍:+-~< /q?BZ R1n`N~燀M0;g(*1D˶5R+H7)ST~ݻy'f -ܠwg.meڧ!`qه$,=u>btB`pçLڛ)*A||P`~5Z^E'Z@6zm:lyiH@t峋m]q,;B+)u_|55Bɒ@D >;t7f͠p슲 lt(-:T L6j'cyDbr67%-a'>?N=Mt]6h "Rʪ`ə)Rgڢ\U_k+5d]3B+gfyՋ փz6"MZĽXGzI靇v-z?>:M=ܙxs/J|$'̚fEC^М}H.يiP\w4/^ֹuɣ1LMv0Sme&xd&?a %n6ԲR0>{WUDճڽI?!-&o5c6^ Lo1`NXųJ'`*4@ o=@6hgC9K5/70hG\ Nt4ƠT*y]F#pj 1WY쯁OLXe ,d3iT JɟB :Xpp%%dqC`52Dаc!UlPNIf-?Ǚ?`x*G]"jNI4YOКuwpτLCnE}Y.^y"4Xۄ>YB:u%g{T=@{KdmVA)1e ť~d2Nz"l)^iڍ:&@QLl M@VJΎǴM`pVpn1ZFzwgl'EH-1t" g?&)TGr"g4a2c/ 6#2|8WӐ.5[ l4hb\>5v8/+6"YY԰J/4bf;5a>cv&+q5 713'ߍZҦr[ 'kv o.ᷜ|?(s"%i,IEhcMeO~ h3 &ğx&b(enEgq]礪VaiS"3H&)*})o_V#vIa_|;5ë`'dbݶof#`9D}4ȥw 8Lht4{Zgq!C,2@{LOk-bըH2x/ybtHV=;8i+EXAdr*==Vؓ 5:Y䡷 x{nTHaW{Z#6F]_%~ /nh!R ,KMQFq03bicHuI3e0/.S.iI{ De$?]Z%Ran^̋HMW-1 5ӴT!xgEUN-u0Df+#-*NWLUqU4A,-]^q Ѽv DIms&ۄ•,*KjQrzljTYۀʟYٮ+*6{+ԝ % ¤U"lNo :bɽA-Zqw,Z$ɲ8AX@$9BCD7J%(`i wGR+GKamܐW6h#BGYi_FRC2&a8L1vӹ]c(SSsW(N!rDk-1W  1,6T*k5覵9CEW9榏 * PϮM}[?ޤvv7 ٝn&ȦYͶe:MƛAp*\Rˍ:Yy 0I}R<s5|g%~ ^bծҰ6Fjf-C\[q6HE =^8SjH'!HOJE D*ndM_}c,@!!2_D'gTQ˜m?T.K}p 6PSg'}U]-͖QPR !ܗJxb1et)&@WH>L'lfQHNcW6(2$"e8OR}ƌ/?AQ)Y=ဒ⑂_NjI-EQ1svۦbKȂ]b W@zUӭ^`k̲Yn~g\A$AcrϱKaxmo d|V(w??"UI0 gL*VOSk+o&'ҔW%J'ܐ(9e)oX⌥ڰ

lBRITk<M P^Z촥bFeEeG1&N\ :1[ "+slNU,aq|59%Q@]\axЧ'Y|P)7bA~giF #2=hnk?>z=5!$Pp5{DŽdSuo( q9/:;fG%7޲>|iZyQ){Dzs=ܡpmwb*!3ǃrT>U].IGXȸCA}<֣V29%6^{mW- wh F JA,$A7)7)z٠ld:a$m!Tp8~>VM$ rşMiVb(.kK[ ,#K!3_~r&~Z!*P[Xtx8f 0 q\a$sA9XGXe`MnO}/&3eYOX5^NfWĮMhCژ{-GToRbAǁ@<G)9{e>pFnQ iJ1`4|cw՛w9kXp`,-l3:(G*hK.q̜\`Uvh-/\(X Nx7%[/y?S;!ӧ;7 8m"D  + D"ߡFp+1nѬv*q͘Lyco5*dq!$Q aeDh~F %rPbF':&v"a` } Fʮ9)O$Qeqj+=?Cko`OgL7LLvz(l:]RCQ=glulY14*Ev%tҵz:<B⭞=?kٷuvSBe*~f̥P>i,WA^W8"'φu `)96HKu6-+5ަDwx-xQsbUGav+;NЦVKoS6HJvS'*+updF:`C EW^~p3Ur`Ie'I5AwIܗQK[IH0t㝅Cڨ5Qb\_ gC]2њܯk([\AI(A?oSn^~Ov tpcZyRʍ7iej f #nC4vKJ[k:?9WvmHXGI[ћz_V чha\:c-8ca<5-?8i?x'!*&$lpӵ _m?0V.'&}{j#'KFD#9|+ԏC]9O<!Ej,вc!;Țri[/Q"ߧ`XR'ґB%J>Fy>HxrPcՐW|wZ";wxٜ9F)-.egΈd /muڋu1 F}e$ahUhP})FvI;);[cbp!H %}1Vcv33W;^s)Θ L-?݉IݞX3ߦa p[}JS_[VZJ}71~:ڰ);И|(($p=p=թUo%>;/+?B|BR|ef#<&f+2=lD5l(̄e&۴R>_V-T)="b[$IBi~knv jqԈb*'ҫDPIZ0^B ̱) LɚV n\/|l &$猾nzO<43nE&Šx}gV0@?pTKP$|<"9WvmI[>JpӶ䒧z GNaj-L`Jǘqࠜak\YU,%K_bj@wQe^ȳh ÜY؉c [yr\uU=;OޏwC0ԢąZ {L'ӄ%ջa0@hmsAl"AP;Ok><''d7 ={:\iJ(&Z6H៉|*>+1kX] V{Q`7Ջ V8x8J&/x?_1DQ``095<w&B\js<壥<2q]" רoI̋ZO52D=zNV0LF$|al *%-d%u<_:xҸ@۲=)+˦VvR-%moҗiV/uK&)}&s|VTtŒ=5[LZwNaP˖ 9dEp6I'w=ͻP!&O߀:4YdK'- tmsg*)Ȧn 뉠˛* VwB]#'+e~~ulKY0 i.bGU+%ZR9i/ӞuG5 6+dJ/)kxp@_9mԊƎܪObot4}]|He}LhZx!j M0WˢG[Wq`%D|:!"aWvOpHWDψ2km~3^KW SF`zIm"YVJ|kRBѸ_X8EcF=A-"WrGՙ9zxcFkƘ='WO:)iugi6 Bt[gh9 b54t#U<dƹ$2563uq-k*gNKӱqDaS8.Un0\21b{78bF@aiӫtF6F-ppqW'qX}3.;+;P(v (_]<;ΪhcSVCo}oL D'e}u&N>FlY8ax,"rsXih !7l!)n۱gYZ%7zXZִF! 稘`u]ŗXi%>,Vxl݅0IOY+ ."B1b EXZEvkx#i!xR 1WspgR"f ؓ#Ny卮3oRtTg9ۮZ| R[eJ&6=݈AⰖan~ Uߌb%ȼa+r^< 36Òԩ@m8ׁR +oW1"QA嶀qOyne:[4su 6b*o{^6pNh2Պf!%ٖv*s,b|9+zX"XYN!Ew62e1B?Rroںib3p]ʃ 1Tr;1gKgM;^nę{1# nTנaAq>]R5[9]GsH0%Y'xLbYBqGuzM@[Jul4'2|f=U1R/8R.x62)1\wu[]&Vk1h >p5-2i,TP2{2WV's{MSEJ3Thm/FhDa4P~G:&^TPd5 jN:.|H=ዻ޼%i ?{b/6gVHoutɽhR˰fRIdck7XܱW5^Q/hRީ]=,cΉVmI&&hGxEVL SB,+ƈKh/,.{Kp#/iY'bP <*DRp! 2 AT[(a>7aobw3pH-8U h9DTENS`TA;vJ?`1(kU֝l _e!hGTWtzuP]<Ci ^V3[*qBЯ\L}3#}9V5=t sz}N|"רjDۼh^"{G0;R ˵c !3sX(W=" ya+6\F.ׅҦ,dԠ#R%Q#pa^Fhx'V\Xq$xgSPiurM(.aGgpssMnm0zajزWBr IƇph!. 5[Dg5VL <04mOgjaZp0+D<5oR̚n0 t':H !#l1ףF$hяh2hlKQ`ie#)[Rk1RQ;~-t7mНw/#ebT;xO &;.]4ofs}Nj^:w'#d&j2 f؃| ˺DBggPL;I&ƎʎVК16N (㺥wi΢a8 t˄j֖zlN ӄ7ٽ;yOY({ ~G Q9A˫',?>VuyV HFk ?f>&y<8{)g#v}o+sgp^,~"Η|~BaOs4d>g5cЂܞ7[*ZӆBhu͍6 b/wQSN28j4v`czW$!<$Ś>8l腓"֨=EE?(L{{ӏ9u з-ˆ9By>w7=,! )Bkg!ܘqy.)趩θZijsJS8h< sj+>GRfG rJw=QdP8>%F%d#Wq1Yk40S҉/I8J7@\kDii\ڞ_nSTd0*pIU{s<$1=/ЄLg-li9Ȇn@׮`j}΄<ř؋>m(~%#@|dĵZ(ά){Q]c_П #hW ]ÂWC}7.k,R-il',τjILV®OԇKB=^pVl:~)!nK`i0juvo RqX؛ _բx0azW6J,?88\Q*DL(|lYZ7DJԇ\x F%P?J@&9Y{8짞GsáL-e˜to#NX V4–<0VT]*&}!dC-N7y3L޷- ,zh!}T%pRc=& r(䷉`}CĠcڵ M;۝_)QyS>k%Ԕ]5o$8a^̿=iDlsRX3lͰDQ[%%ٻ١ɩDoÒwq;zu/K&iDz70Q~ m7q[Q͒)a 32"nLQ@%GYe-*080Ǡ}TٷL6c<s.O$Qo E/Vڌ t_2N7M!/Ze*٢ᩣ!\QAX7cO&CM {>ڬ&کymOr`ڪ39ba1LriߤEGtfeϗJxZk]i650FLb:t' 4QƭLV&^;ҿh4[7zZw@)zF.!"֨4LkS." M JS^K(}Hi)'؞6`22_mY>mc7~J4鉀pN2 6E86D 9f*'SKDKWq?+zSafxL^^>֚R*D$ٹ="vv|!o TVl05`&`5`#34јpP'`p .+nUryK9\vȃixx BK8(d%B<48v ^D-{PͰoy!KYQ>$#?4\{$jm8W;?2\צz &TK_èK ;ˁy٤ ^n+OǍc/Z< aHQ_NC!5YӦoSIF?bu{/;/)rVh@kamG䲧*{Mxwԣv]kRxmO /FIQ  [qc#HP5-z %g2r-wM GG_tإv D#{ݨpc#.-K[5pixK<V'fձ=. ] [1&b{\;S6bG;n /9Iy{NFMBX݌QA E(*וkCnaJ[q_[:SDﶣXzeh_(rblb8v\ Yk1_AųJ5Ϣ kdB)cx6œ NzQRv *zB}O@} ki (,f))<@H PI )/..pXJu} [nsD<М?ZݒwncݖLtcmRg8(Y%ǟ&(Oז+VwByNZipS 7?{r:uw!h")Rh,GfڕPh>S[ߖ\-5)*}S(oF} ڢUr2ioDρBϜm ¼^E88l$`9~H8?ͅ@x`y7/&U=ZI[@d2i,dzUIz.+A*Aġ{SGGQV9)4 TV>6>Q/_Q\X3(CjPjkF8H"#0ຎxe$kQrq>"Tz_ i+rDguu}'V"\or/LR0SspV'y1mz8>a 6]c^fyhg~XƶqM񺉞2#[4%NioiZG`҈ߞo*NB3c`IJ/7&1oKzSD4*oDm^sV[뛖e2C1EE!k/:Se/Eopa(7oպ? m䲴\+nrAfȟG[ޮMMқJJ8J6/>o- 4Bq5 v{dž+LL=qX1)@e4O87ٵvjdaTAA'Wpw{̄uG Qq~ѣ)j G{[J/;B+a?GӉ%M TwHߔz!]oE{ze qT2  e/zYqOyC9r.p>;IVw`5#InX#zG0i- EO |6zxi p>~'p٣o_X7XGJ_)kXF-|oe#C-Oa^ƴ<3antfBnPWp5 2w-cĹ0J- ')pܭy~.@qGD r)483N KFT,aHP*#Œ&lB M p\Y 8vF p-QkO÷}ݭD%ţsHNe*:]]K󙣶M/P]1Х.t.m1-fRZfF$_nRԉ7oi @| s P$!fgLOyjUOTP u*ˉXp8bp;}`mzN3p LI/q>!N%i\E MH4)z0fITmpdmr{_)"i7t&Y}j(eD i8$}B@{c󖓹H%v 4YS20wV1:OACJǐ3))5Q$JKF0rid&yԖ 5.LTwΆMk [K5MYpoqO2Ve85KXkCkӓ`߳d\}Y@xYK6͊fThqކC='vXV14EF$F Tc3O#td3ydǥz,)Sp*wӽq2hh^WȀcQt[Y-#" ?G;f5 hɼzP'ql5\^g̉|ܟe/J3i>Ugϧ)Q ! ]o:U1G 'ٮtdOؾDڮ atsPQʶ޳ixL^"u 5p2/iCo/QJ<)}6N^nR;hs :UT%7k \"Y."Y#OgYcgz]Ȇ;t #TqQK 9!hI!v.n溾Ƭ'ص5nD lH"ʨM0M><䵱jFy<+/ФϦUK]~.j4k& ֗봁q*?CL<=Ƥ΃X70z0# 枅uaBH Kg2?m'FKZ?5TPԿb-ۢ w:˵)vjJ_i zW!@ qc^S?4?e6(jz-'${,8f%Ϗe&"1`lcb3@ /lIY--;x/FYldgHSLM%u `rl}-N]5iq&odcb^\-ڜ@T-m~n~qҡe#Ip>ޘWT⾾k;DeLxmusr(O'ud,Wv]oZs: XJ3tm3hW'hdEHkѮ1!lƜ9$Tn Ԭ`PB1C͐X л\T-Wؤ!A&[Ǥc5Azr/"@1ة "q'-ZytWB? ^%`L? 8b1humOBXWDToA}lJphwj2.:F1 ䷟" pZT2J6Ӿ4×_"a2:o]R2m "v}M3nc?Xz1պQ&^sa4θx}v}+6w?8Ŝ˰Wo3}1jO2B-s:eH1byլf`%Ǣ.Rq#ZJ}ɢΐb6f!<9YlE"hZzsBd@l,7Ѡj9Q-QOQŌrɳ:"$ay}+kq#=DO4)p'CQV$Hc.Vox.GR&!dM 8S I90tJBetnjs Q^5BKю`g#|H/F ]IRvl8[K4MHzK w0`9Qo 1 {sIK)6Y~̈́Na`WVPA BkkjӿMy {b"#ׁ '3l[z" =Bk/XMo}J<[FĺWQ: k̴|j8[A[0h?:&Q \FՊq5JūV(QHַLC=e5JN-?, !g2 DWD5Ȍlr`R20g-qm: @ 4M%JЅ6H U=jq _*˶9p}_TT9OS@/OX2 Ǝ2Y7v XɁtsBnk0~6&!rn)0MLPoNwM9Y 7TxH/2#0_zd3:a3Ǹ(:2~m2\[ZNڜWF.`v<;p 7YV [*$)rFЖ7Lcߺ-kX 0=nD/Ћ}>t6"y_cseJ hS04ҊS)C|+iIh8,&}|\9^-صn1VϸxA*ٴEQ'͜ 4ZG fL򃈫f-E"/ɟZGz,J-Df>)@Ẽ9Nmg7z]2. vfّRl1s gg?ѕg|Aċw3:`=R`KmZ-&MH$)D Zlײ=;ڂ\_j.>L`y;6l8` ʧGU8 3 V@(Ns٧u5o)(U@줞g]8ٛρ2 U;% Oos6L`V^ 94P؃TM gn Ôw~h;Аe=(&Cv/`Т0 fp]̨̰ FDKji#"đ'n/(0,J3V/$.ں#} ͺ E"jPtXg$u+-%\ʝQ)rSǧ/\h}ZKqN6_OE.;˳e?Z G0^fO}IR-Jg؋_( \عO|-Gz?LQc%C(<7}R,8,ӷdC@E d9..NKU#c=mB׫pZ Ӓf^CiQe|vU47{ɷkm ;tWkКѥӾ ~Jq 6"zƠ!iγ]3VCJ &9{ 4ZaXC+w]O 5Jp7K{Et6>; `i4@@tm6(kk kh0L}*M$$E )-Z @t r5nNG;I ͢oDx!G>p@6^/'yt+O??ApSyX*#:Vga8 Ѩn#O/48 pUtT H u HӣVm} ncgTMSUjp3+bɽ;=1R8b)r eL%pzH^T%PWžI[4âc40-{Vq#e?c^{tU-Go->Sl\X?q˩'3)3ln}uZݼ:Svkz`:ҁIkÕf23k벀sa0 UQ=tzh|HIŴSDwj-?C4\/&l? c-##":n!N  J:d`۱L3mvZrq. 1ȣ ,tGҤ_r=ky$t>r*)oQ-&݈62,x6*D ?D.0rϧ\kД$#!fL12Ԓ3% ~X,Yc3Y;I0SD**=^[v]1bQ2 \+!La;F$z޾\fO٩M 6lOCEx]m1B")@&8`9 uD=x #[ AƊrdvz{L7G[^X0C+aŵ>$7ڷ͊}V)0d1`VTs$}^l}%>Eswi TjO;d8\n*ΒV/?W!7F'n1~.=>{(Q|` NM^M=VCruYdB)- NjU@dz67Y޶T˄VOݻ9s 7j5geeRUf[Tc 0YߦkxS)]h4fugDXE^xB7?ܠ2&=UESh^Sۥ6k |pMՃo^^k\3s;3|2֒~|,jWL*+uӊ}BEB+Bb u`~Fhtq!HSxk8Ue<7yMm8q&"nY8v_f;?=o:XՊsbWSoi*uk}IH)S{`$ҋP7P]@[}8ajW_1~`C;HDy(:ʽ~1 9e2dq v&oS 2Q0wDz|nt (J,txL+U(j?HuMqLU@5S;W\ }&׳A/J+6 ;)vVPϾ]#M.wܬ#n2"tj|jώr~Wgww i[H*5$PNզ$<])$ Z&`txka-fX{4pl䥂)印eF䊣8=qhe}cкذstnf@:ms}k4;碏̱(ՍBmOF X_d~T-v2o@w9kqB>^%:cTY⦳[R !$kX2VfqSoHkNE:H;o"9&Aʁ8zi}g7.vmj_ iУgf=0t8rQQ̈́"?OFQ VY(s w'l8'{ 'Tags c$#tmr쓴І\YZ,jȐ!Y6|7a$%;:FL[/ otrABCUNYG]3yq?k̾]]AҴEV{p2,yޯ#|*7- &^,pip\!ga|E^D5,$q'2@4yTnfȉm/yq)cPM}/Uh8HM 2 ZI;'j$q5^K~.bit{B v~D &,lG: f;׶u b'3,d %(iş(W,}ͣn]:NIROK8{h|/{S=3Q]tY4ІPvɗV]I:nSD6o7p@jhLI **G(G_/LmVu/ޘ -ΪףּEh0yH ]\5I\i9V>2gͯ+FwʓϦyЙ:ҟ;:jRz!m}v(ew,Zi!gYӖJ4xK׺EV~3M!xuəIʋsfoP/#d0ߑA3ӲY4u=&Qퟡ yB/qX).fDH sbN>zՖԵ~֪i!VMFN-m# awa.F-U"3 :u\m\zQRRR2-l6L'yopI Oc`5e o@@'IVA5FxVkQ(|'c&':r?")b+y< ڈfK4$%+ >6ԌN[+b^EWDIJXXuaˌ{>BYɒL_&㥉t$2K{3'ʊLIi#tQtriR Ff2H,Px\5u`}S?0sTwL,PŠ-~q2ބ7fr W>vC{nDbGhꖌSd0?R#E{J /cM7wHJ, p=Zx !ԞRdsG/0(-4g{ҿͩj@iP}Ko3Ffa1wum^s#DCy &V76|\Mk4Ãz`Xx3Q뮚OeM-ڬUK6 >v7r'9߫3Z<ѻr[ ,+8wԪ Okx~)#u% [ѲY_OR'#C}Fv-B~?{볮֘H! +wn}ʔY0 [F&p#yڸzSjXC&ݿ;d"1.LxM,gyZ$- pEؾFP  qD'#1|vO;FSyf(`)OxbQѼu\vi X sBIBJTS@nw mVO6 (kRc'{YFl{RI>Ƙ)͏.On>;x`!Oۙ0qD`-0d {| skcXa:vrƱ\'JU1JIR1)6QY=Jm UY>rTy2e hֵLAO5m 9uIJ*YG]̻ɺ|1gr4cMs zyp !qGZ\H%H;x\cx}?^C"/&KC37®/[w~`H, e\{^NU|@ODRI\e@N8h{"Ҏa)JYd0MCeG˫<pr˘A4)Κ,i ˀ~ekqOVZSlEJQ|𓣲$ c/t+dȷ0{IG 05KXHdPCjђ8$CsX b4SqB )=|\N6ٗ57XGWɬ?'j<:muBѰ;+#)e]5`U9Qmt%aBD1{'3-7Yp _ !ui$ǦU1_d]񕆑W|]q74}@.H&f7Ҝ"_fyCn޷Fd41#OM?n-72z?h93 $ʐElO;ْç2ydGKDo=hHJזToPz=ںˋ ]3Fjm̯!7䕖Jۊ#7@P2nƼIhbFW.(9 9IhHz+ CpsD[95Ҷ!n\N <3,"iѾ%[C;#WE!mkM5}M!^Ԥ*sl(@20K2R+BhC+ ;w![ h(2T>zVɏmT(qNPܭp6Qj'  !%!1/kJW z#V5ZXC6j4EJUQӌd)v̡II'@9ZQVP&^La`N0J2b&6fVi~$I顩VsmxE>u0P<+y]ؠ8k4[|nhrl>9|s~"1\|swVQA7# h^.zžMXk'dxQ鏶q7D܇ΛIAq i!GLi-$s3s @,G`'`5|Wա]f ϴAyUb()[6.g@ƅČ߳uk]whquKAI@01!qI_;P)5͛"fF׋w[iT 3%@BV5>wj*AtT w@];[%UT]a%x;,_lʹ}H3Cs3YEz`Rp&8[(ay 4Wj ުm:zeӋw]hJ{BETiWRMZ36o#w@e0rԔԝܻY 'M7Vp>#iW~!-pa%%FDDD1&_lwM}|>phLd!*QI \c~> r ̕pu[٣ïqZ4Hm1*,qADᯘTJ3OYhR+-D[|#Ls/IJCc~ MwD0zQ+LuHTYQCYژ&!G<M;B2!1aq 2*Dr" TZ sw;&6EX0FmRu… n58csl+çi烰iX4Io {5k냾E%h~1#N< +z@cw| JNK+aN=f˘J7Ј'>%f`̣x边{[ZAd%t6ָܿpc1D7F5'*0w]10>J` ؀n!RԦ ۰)_$qR2tot.b{}c3SrNͬZ/d+[1D\+Bףᙘy\g\S%|1/C[Y [ RMPYʑ(P8;P͋ $b^ #(? <kis"2MNyE7=ڔ;;+ V#r6&.y&B5~PPUמY-(lf#ϞeXtEyTؼ7!|)O՜#&1~~v 6w6$$(p?mPü:ui޳@?T%Yyb3ߑ9}&[d8Eto2_=<|-j%2{a! su̱m K`Ёt6^A~|ANHø f1vd? N1OΛGYtf'C}^;d^ׁCoq%A@ gK{Cz'wh6")N >닧i:CUvV.^ mOVYc.[lչb g?4r&7cC$0-;됳 콫'&Gl*ϠҨC <} Hj CjRcO~;K;^E$&F!pΙtHIrv۔Q\P/+bT2e8a n)UUs n}|Y!@YJ2.7~O W˙ Y)B9~tsz!ybg*_= g-xc]s'OHbv˅c(-h@6T E6d( `)LIZmgS O匲U: ;EhЖu8<.T8+*$-](|u yc2Bl3|f)wY e s@3T{WcT}*T06 oa4ke,}:®Qhgy.-5(AcḊYTPݨ(nDrkN+&+R lhH߷?*l*_eǚ{U .ki 8f~d d50T/| 9^VEq~-'B`=9N)`g=8s|j:x 7xA}>qh v3[t|[!D01A _gixk5( YK rd[M!/rm!~Dy7OpjArsA(l-qFV(b7+4p%=ds Aݸ7P`l'UC#eY~.=d34(K+:MwW͡; :.62zU3@PՋ>1/tl~a;/nVw4֖ Y荺sl%"_Tow}uڊJ_bgyԀ*m0(-FZ;]DؾG9FRR.݇=n`Tj>PjSA98zFVn tH:"]+;vDBJ_RLHC$Qs:%$`i`-h{ T{5:V_Q*lӠMLC٨&"i[|ǿb8ϸ"-Y*20wIB~p^|7íS4[? sEW]$Mѩ69Nbn]Fm6mr{SMAu,s@\'{ݝv73l$7Y8,L-:9ַ .AmDq,kxYCc򡦗S-X25œ?Qm&DT2BcHh [IMexBlޔ%z.,Nx 8ËK/x\:͟A֗1B R$Gj29p O[:N!"w>x^|yt_%"D?>}:qH(\kW64K8Ȼ$1Lc]FU[ŃٿQx~v 0BO_cEd6ReIO?~0:%bJ>maamT@ޗxlaCڅv Ӊ:bx`D<'=BEIٲ1F8an!,tsiL5N Ll\s:lWhjK_e H4]e3mbEBK9lM/` "@\&jrG54!`?`QI;5b|WZbć2 O sLљ2C2|7:u?Ocs}T${,qZOF=Kf .Z8M5^ɀΆ7K2D[5-2ǵ3oYFQsy{8ELs\!=Qz ~(5~*#Sr+{;2}X"ܜ|Bu n2Be5L&ɑZG>j;D݃>FAob9E[G=`{4jF`iQiS]f.3$\Jˎ*bnpܗRX^mku:# 7~4JYmn-fc8mE0iE:=N9:kB8h5lX?YL-$KnUx{A0 u{>!nKHf v@c u06\.æVG";AvWioј ?.rkA\x]՛iSUM#`_yNwؖoC[k zCМ)Y3Ses8\`1^jN1yӫ=j"e7l:(2ՖKv98tKI2cfS~梾*63z0PnJFHTSP zbr65-plFy!KG v^2=Spab$BkΪw|"% O=z00 uE]C̑fesT~]M)%{0))$Mf"@2P sꂏ)zdopBtՌ6[K'FvXZXZ7n.pH+FZ'Pf@9y,'y5R2M | SOl4^*Eʋk2i]{1 +p^Y%]ބـl9bnrz{P=^::w[)uMYSTD@jpJ5SCR,U) zxdVwHX{(q0Bqr[Paafsc9Le@Un;ҍyAgmzQ;6EKZog?},r3{P\c.5bkЮ;iO AyOnկ欿~eے}Xq*; NUՑ+_c2S|12XiZA"f>U&fU'#c.E]lg,J.V7O@Y"q8>oJӺݞTȹ=!E@af!x~H  HF?uclY8kAwiw-`̳`O7#]+,Ѫ˝0O# /fAQ]Ya}/z#,]s֫+ XAW]88ȣ[?}Uپ:ۋ8Ex ̰׫ϗ|nZISXB28Loô$EpW{^lה0iDƜK/Z4ԛI|J{ 1[BcR;,6 G%pp{U_oaS"8xcD2_/:X]$(]'>_VxY3@^(^֘0,) 9::2K.'VI'Q+"zx* =2/ p pQԿj̊&5Cݿn_>$t6;ˮPqGVi/:Cm“PO,%qFW t6P%7@j۴M@gՃ2oGrn{UtvLL /qJ7Ҡ mK3x7=O޻Q U?Fiپ+Ǚ/;SvaOZÊױNė W0MwQr2:􏶐|j ^PZ^2d̓fD7rZW*@6DDÂ| kXc9M2&qvE`'6΂_hG,,v%'U>åldY")Ctr)o9vs#k^5QN)a׳fhD2׋s!V&3b{ON] gloERe;PT&RגOes,)nnŰuX%N;Bw/b:q؜qbm<=-+QE2X(cu)3ӟj Y`"G=<e$ `~cmhC@TȡLLVLY 9zLs!p']wTbyTWLwHC%5yJ$WcxZs )Oy\:#`:w _AIq F.ګwHgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 0b7be302db04bb48259acb49bf498330f9feee1d 0da2a0c779f73fa4d68ba73acc7c8256db9aa224 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 260d1372f9ef6050c9be39b36bb113f51b37d924 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 432ee014c9aacafa9643f0bf4c9d08c8433c4e1c 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5117119a178eac69d137fb85243808da2d667eaf 53d0b597fe3a5fd36ccbbf07e1d234f97d5d90c6 5acb735d2239bfc1007ee9925728708f38686be8 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 5f997a0e7cec5aeda4a2352dba447753bc58d56a 66adce971d5ecdef0a49e4edbb5ee8d5b7dcfc4d 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 84d02217878a0ded53c9969d4cbefdb5baec3adc 8be860ce5ae3953bfb96d76c6374ff2731ac39aa 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 af3a0cc7c2e7a5792f1be06d056e20fb695e4477 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 b82d63ac48820c09a7c175c7d4a1dae8c95c6f7b bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 ce168f5c6ec1725149cd64ec4a6feca6f681f8b8 d6469b6e97bfd95abba762b020a46b57e8886c8d d75db1d9c8bcf6bbb6548235e3c7c906b36b92da d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 f477140e58716424ec0d03573df937e9621f2187 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f612bc828037d6b79efe4fbae9e84b91c46ca856 f6f84667ff7abefd27e81ea553fae10b248ba525680aafe9229ef73c81f6b008c602c3fae9c15e45 03b53026763bfa23a5632c7d7b11d90f7afd0248 e4a9897902a02a0dd02dc86c6de23f9f72bda8df