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 e-t\ kw HOL-ODE-Numerics:threads=2elapsed=927.217cpu=1629.544gc=49.604factor=1.767zXZִF! oPt]ŗXf1-q恈͐7ӺV 0 މ}l3OM>j.혉B=_ղUtK2A"} ,sB Q6Ё_{JԐ,>Tv8¼P_A%(t垟Yκ5^DD, z_D[.SiQv!p2S};h!57FqJ^'Ư[. #p A6 *:稻= 0ՙc%3ԙ 1T[ڳbw uEqtVP)_gL c.I]\PY5'Ax$E>yzv Zg#jgSiVԕu`o\[aT5%6dH(FjpGx)#ZA6נȗƲ - HOL-ODE-Numerics BW{w | #ClyBCh>n%is~1M0V?T콃ܓB25aeV!бkq ':U~Ժi1:Miv%4jjS'9p-iWDθlXw/LV며rmobԻ놕zgr/uԝz Wp w:)VNV5ӷw`zK yJ;3Wb:=$fl3c& DT:j1b":BWɓU+HOka2H(($%XR.$\/+r ƶ10)VQ'6bj񩢢KM;ñAM\DlQBd'U2-sawvwBB"dU-SFb1/#H'a4sjnr?rwgb,&4џ䂷6:6}pzߥ ]Ҭ>(_EY2EuZ;Ȣ&FXGf)mK8k#1>h:GEۘ!y9L_qCu9 E=$Ȫv 7(?;#ԟr. lHn;ҷ3~ GΉ~S%++ۡ:j~c7K;c3 6tȻD\)F.44'(jE5o=rΕ?:k$dHWTp'Hb$D p|Aksj?y(o­4j쒥.R ,cU϶Z)txCq =\8!pU[h°LЉ(v99QR*fr@`ټx&q: <-ζ+.^,(\3C&ckcl4lBz^6Waa+il>PG̈]OO^% y+7zNX'.(V>rn0fy\qj3\db3WAҀy986W<5@wJH)0Bµ(럹6 ^cUǗSt >Jy18lz=WhuΛw >JgH67 vS`Qn;,g &zML-QEwُC"h&.hXN Lv4ſ?kȅ<.J > 9oMALba}N unr?+Ь!χ*93)J3 L8ku]+iT\ hf7a @Ll|Xk`aa%^"X'Wy9#%@z@{_*U3%:b;e 'Íi;;/wk=G|NҘ=Ij߶6:0N:ˏ QY T!S%9Wy' &f<有pT.(tHtW=ӐS2av/oiȳ~ ,%0V@vlsy-pҧ*KM=.m)7߾(~J=p#-L3z4>L Q K%Grytn/baA/o&nv֟R+&M]7}o1iHwU>TKbN~ϊg.H]{^`>?~zϵF@z~mJ%q=rO.z*- %8MS+GF4ПvdI}I۠f n3;Ϙ*_P ߓQ53i8?׈IHdbF?XtOD4.@#I+<$uTeul}Pȶ[nUgqQ1@@N| fpݠVnڭ-r;Q!8 t;}ö#<:pt^~)F57^566쬐,~wG|Hke!Yɑ*&Rd,7Q/Հ@Vx&ky,ѵ+Lץ3JPхL"hُmC~ ص<$a|OT%N"vdQd :[$Q݌Mf(X74 ճ7(jrbSua_SdQRpXIkM3c͌JzʺT-eO Hg90  aE46{To!m;MQ})m!g>,{5 q<{?nP/~$#eb2W#>h>\TY礿ko Az^ =+%cqp'QE![}W> X3Z" o |5DloB_7F~~8}4Ld-dTvϙ5e@j1 J| o?}h& ءyvJwnA 8  i7/Yŗ}ӨcNu0G!I/# ]b~y,] GRܟ7)&0Q('!5? }# i@v v~ X, 禎nWp> Id &b"E:P[ћ(}Ii {SՌ ,s,ں+EqOe bi͐GɔҷKgD N&c9|dg` ^hy`9dА[{\x'Վpu0JM5y$ N8fa]I dY@H/ñi3izYM:u9(EX=t[O1TQ_QDet餧 RbCPJ8Er E =\O8WDErl+ebj5&ګnܾOqd^mftBȇnb3o fcXŎ'*);]n\OUp;vp@uS61IX1N!S0Yna-O?gvsߨ%`ޡg-äL|+(L]d֯B\{4? Ste[2eVϸGDoуW.FF֠ c7/dibQŵas\Kh-ڮywI d,)X sNF9i_wD|dwoUmQ G-F&?։;1LZH6b"=V ;D}]ep'β׼O[jyf!Rh6N.Pܗy՝Hf{BDb+%>]uzx:+/ay۰voG G/π+UP=JL? Β9}qɫ1/8{RN`7N\dnMc8=j/_yҭCxϗG0TVkF|Ă:FC1cFBeјm/`EG EL Dts|!,8|xɺtx]Y*KrȭISU-v '8"+ivaxA$nS{zŽFT/,^R \ݒPzohBq :Jz?oͳˮi 6q&:K ($7dqޘoi3C)N={>QIƝn233ś䌫Fwxc[o;,*DԔ:j2/X&) O.(pG])J$GֱqRZD ̳^T22 H˄u5 :kQ/RlJ id9zTj Hy-!cÄq(\0ATvV/+is艛}6S%W u{ bo҇T3 @# Hk“N5f' 6l: sp'H+a(ڜ$Q? va߇h帔ɧ(=Y6I(rH|cXv]͙5Xha JWY_-: { H)͵dN@Rx@2\p4gqk`YyXոR)zTSŋ&ouhffhA~#KԞ '~u)9J8WGGGuzԪS dhͬck@Z|]ÚiI>![@Pǰf0_Cg-~ nC6c鑕og'j:cQRS08o+.d^,sg7y),umO~X'p_S9[s!$pf(l0ݰڻ/b:($} 6ڈDJ$ETi&eߺ{Lp>F>QNӃ-7!awBr w"u9dY:qc+SKI&ψ+\->SiRJ'OZ>7 \Eܓ2Zyߨخ=iۅ=7R8[vR_qSxzX`y3F$qq0^R2䋉F6@vM:E)#ziF~`)_\)G݅梿 iR r.2K1%V(Q!>]F>X1&E #ŭZAuG߫BcxE-?Z%9[7H.PJŔ乁* LOfbyLrR-NI#tΞ̓2»4<#a mb ޗ$UUU3 **9r~+Rii\0AbN0w>Lҽ\Q&Sr124 ,j0c#S +x\•mI!5# ]["<4vƄ SӁW_F%kڴ"^浌LApi9}b'.oF7?ƒ&Ł&^FWnuc ]G9D&aN&za3,]^`㈐\SE#+nv 66yTJ)nPD!l|= dm +\Gˡ@Z#?tw)B%ݰ$´L 4U>k 2Wc9~`C*Iښ}e{+&myBPZ%R?{ /vGaJ*X^!iSvTY Q [&v򜡜UkWqei~ֵ(C#DpwiEm@ PO9!'p ITY8t[B Z}ᬤWةRVM^M,`Ub4נ.P y [8nvw{cyIYXӓ>Kxf}_m X(~o(sE[VSWöi>1ۄS9S2D|:t{[PآdQa?6sb<ܙkźc;5iy (_uK=Si l"R"_ݒ +)%"0/ q|"^6>gH\(pl6*'I"nGDKFT s5|C}kp$\4\GW]GupȂh|,\H)/7?n }/7ktG~"sP -j=5O4 2"'47l%)Tw X8W8R\zj1c}ʯ%L{BSw\[LO$b'+14,֜`GbNkqz~fpiDN;dʆga>vI XHTܠ="}3"5sH:j6Xo⧜ l䱬<\lol.pU G\GC:t6^Csq\q3G9i:1~c'/%Y-O S{n,W1ZR~jпƾQ!Kubaw3WprwW^mNTB~ٮ eJ'jdžsWрwGpW =6.FkWÕܬ&hwo]tk}Ө}.ճ -2<4Zgnq2 &τy:!p:3j^,mYTYGo{FdqUGz7N䔧Oh0@$ e$Sy < )kފRxtdHM@Ab r ՠ&·Vh1?P sjS5EIc'\> ')n@=p_ImloK@yHJTp+ٻنPwTOYkV"25?.Vd'+|nCc5hg涕p!_q}F9M,垭 =ZWqm~t}vCXb^e (]:[ z'L-W0GZ~< t;Ti9yq|/AKy?i *2Kfi=-i|674kUjkJJs{Q T?/ Ax:]\rWTZ8TA~e(Tm͙jy )Ƴ,L-)R^Ю5n٪]ܒu؅"%4J\Yxfc9)T]V{Nӻi^ .59f%  ֙^Q'R€_g]{*־.x+ @ ¡.Jhn<ܔsTK {4HVT;bA6\SgfI'-IHMv*8+B8 &a55U5lw2( Ѻqdi4%=hYlx]ryHyxyRDDBh؝S wYdr4qj\<q?Z0нB6˻W$Q\gs+Z~_ L „~v8`?Y rd2!"ܠ5s5R*C@QĨzxLLF&m6-"g3'b _)|}%u؇%zAƂ %YreNou(TOya~?jX6! l1}pRty"G 3ѝih,I,F':?-qr88 =}'CM@萂֭I z' TaNT6 j KwW+vҁ.­IY&)Qj䯎Hn o7i# K}yQ!6r◥*WD?$ዥjL3nCzĹS BK,~+>׷tQ4PU\~v$*['6~ZQqTTQ/&[m^E~#SL 5 K!'큊*y>)+Cy:s$]횿6df@揆Ts)2 +vz; zK-Z Euk(bZ 5r;%#*9ẐLA-2N%U?IOe*?TZhۜ! 1;xCxϼbcbq 9͋ t-g0=bjX$ۦ;m!z1.uYW *y5В5G@,sњq)w*vT%KsU+${Kz"jGtn MAT3| z+OĀ}}gUr;ѷR&> &#|DWB. ĂL0JB #DI3ţoK7@03 uC']1UK jg.}GsƯD{T+>53g+6nz܉uZ q$iݡ$H1GL8Ʊ*iN)kF2'VbXu^CkehN`4Ѥg ?o[ݦ~2\(bX,NqHk5,|/;2QVvSW_̈a TݫL,I]Ķ̹3~Xvyoa-i3+B9Y":T8}h@lpL538Z0Vzh5¬1?:!~JB$`3B5Q.%̺8@4* V("0O |B\OQ4,"PFt LAcVܛUJq;9_-d mOa3pBSܷЍ,WM? k8,0O7Ay ߅خ7)*s~њ%󻠃4nLOwqt4dչ=ZLGC(rPub }JelC%Ew{Ygf (۹NB%<-9o9qzTz;{R'ESDlQlnFǂ^2u&t L*]H2`~{JS8lÂCK5fc/K~2+l+5beA~K+A;?O8xYsVէ<{, 53X#A}Wo;c&?L~2 ( 7w+=s4A)c|C.g6@p˗c  zPQ|i\ mq7;zoPCfPSii[X AD6_ iaφ(_?`SLwJD~ Uڃct-o mɱt!3OlBWP{u,.4QG_{ N8ޑxuƒ!UT7=Еz(ҾPԎ;-{i G[to[iVMG#w*QIx'>3%ohƟ/V*8|ZbɌCm4"sci;7BP oW7Faf*H[-fn_7W7 SbJ!hev/7Bq_ih1&ہj ic?R/u8N#VPD.;HӨIU/A'|0Uy~t ȢP:xvN_0%Vro̬ǵmU\ۿ;.gJ^}|fOUZ~tn_o(Dz(HI\Ց/]oB\4;y3ۯw]DP/zʽ`9yXwUzW5#vϣh/xiip(+GtͳM7KHWQY$ĿwpŜAjRϻ dtbVݨ@ Q _V~dhq;fޭZI5l-(tl\ޚBEJP8eK- CfL^1Vp6Y>K#R KBX{&,JU$qA %YFK9sa oh~̐kAUr?|Ia$riS^Ԛo n^IՆj-W#z*ֱDx0<оui3_W88Ta}g+t!%jdչwEuSPejǻX8 Rys>Le`x oUX~4̜A |qcp*jđ_bJ3KV\v}πţZ4z7(fzl("bw 3oX a*\-8\s׎@% _=R8z&=0FRb Շ؇ڲa#}iVr3 R4sZw@ u8@[Yǿ1ٍǬ~<|E;Y>WiDSiu* VJLmoS {ߕ/~ ggw iwJu#ZZ*o4pjeّRǁr8T,Z51#z{>Ͻ[5]z"h =],:VL~~pXZOd+CU1WCpx8}dEQ}aOZnCy_3Evxd '4yt^7ot A[ҝ{t@j1aM` H} ,zLrN_k{JkVl[5v Tؒ &Xte$onhv+p;i6a:B aO@)L"B0wpRyvFIHξG`2-+m91 }ϛA#N*teǢ ZT:y}#S4Lظk6iJ5a|.;ꅹtk8- }vo wKD3's^HGz;}¨=ƴvay!Sģ[kKƻTg+pc\N7Q(nf26a@Y8Ma9HƯr\2*ơ 7uG/M+;W:e4^sͭ3qrj$ S0ȴ&IC ~A'ͪe~2߶~Iҩ* D ]Há+f_4(UhaD7,wAi~#99D@V!VS뫑?Y0 [ߘѺ3`!v5"h}sgV^ X~$"uz|EhIAG}FIгs䛬j{4VT-%Zbî efl4GZAcJa8k(Ƚܨ ˿6a;l# ?Pc;#ϡs]ʕd!ר@ BeMG}g!ѦFYn{mJl~87D$πs)g-vʐ1,|x/!U5R&͑Ke&T.{;Nc[Uӂj49d8"5^;xc#苘YRYL&B6͘cQъ}yR A>!8I[Q58~"ՄHF},`ǭ'*mbtdf b4>]#4je6%ʲ+hbqΓR|szj н#vc00yl 3PF*/~($z\x帚1>Dƥ{#Cb1 rӨd 9,< 8yk'tz{Q;%}1X[6z+Buf|8G!h(Hb>ojJvaIe\X*Տ,#ཱུ( {KN-Hr*Gq#}YWHփazwØEui%miaܢbb&kyy1O}}PG|)5 Q˧Jlή)[1D1 /ؖ@ls8RLH)ӯ<2:%1-Zd~nqȸG@;) GV} }iҼnDJ瘢61Xx+ e@ d.#wֹ{7F]-]~__1{\`;J)aa#䃲.?QPw 0h[qJ1P)1*i,ˠb 5XU3Hd>68Dm&2d" %e& *"|Xvfc,ttUΎ(Ӭ2?Ik zL7)( =M *~p9^/Q2mKVZFVHkk^~A.+'gqrؠWfϋZ;=9j3??yLc+,7U시e11 r3”X &?vDD8)׀-2*$`_3YͬJp TC6z΍|`_.xp fX{ 0'qnTBXf_8fe91~sZ,h/$*b@`L,V1+eqW%FMQb2o~Z~~QfJ*>׺ߍbZ ?oі!yE4 $*~}/@StDx״>|7#K* ]y s~\)`w[^䢍1Vtmk Vw\0*FmF9438:qPR(ldndI=R[>סxma)NZwO0>{G"ZUbE4Y*KʋpIdž5A_|ϰ݁&4^,q fJLؔVti7;<e'i2$p1;bYÛ{:Ti* Tr;$il~5_w'D/P(p R*9+1LKWSݭ 4x7 HmԊRT7؛̛[;MqBWk ˘5FwWKAs h!GpL0ZaX,"q\=K3˾ ^?@]!tҋK<\C>P+#\jϽɫ=(nF,mS;L6bb͏-}s0>|l7>1kw./Y{ۚ1v88ɮʺ0zz 0mh3!|D0*Nk$VU%bG#m/cY%[A0Cfhx>N(zVv.Œ*_"Kl8(vTMl\/yi-8o{c7#"h^Dѹ"`d0Lr*.d 1/Ʌǃc@WH4 mIb Q n{$=B!E <zֱgYZ7zXZִF! ۮe]ŗXi%HX?z(^I+>D| ! :Ҫ"v*&߫1黾AܹͣF_Ϙi!m尺ٶ]Wy* k]c Fv@y /0-*^xwk+q)D@t[߁eB{k36=z8`YWK"iLW_n{7Nr 3bRUGFYP t\>6;"gݻXЫӭ,oD?k׶``2۳/ʳbY@,'f./ڄ@/[LcႉVA+ AএAh">XB R*>λ} hnr'Q={x5Ux;6ק,wuY%pJ/^.t? $),96|yOW~G d5w'P8#f |)E>e DD<4~o5,29觸)͵oM9>S %A3E\1\4lV5 #'B#򗄒{ɏYNu' C;ݧk6a!6΃{T/ Ĵ)bÿ'E9[-D Yx,3H X ЯW7nӴ06e?_ZU蕓Xc vshEe)p"26?m<,bk9nTHYnᄈn-wgF!#Ҧ:z.^}~"D7k+֨Jh-!X*aq; [~}dl*'wyo.* nw VH"EotM8~|0HTM5& uҒǯVh@_tȜXMޖVdqڻKw Fh C GC>H̟eO_;UFK@FщA `ǿ *?Z]R@&m"HrjV~YD,^v[ԿtbEx/idOK}{ٌlU;u~i/4ҏѵ-:E.z)t%@5G>,Ѥp΀+^ !r^q"Ld1$TjtÜ ^i01 aatAE[<3m3_h.35{DŽ4ʧ(#!.W)}-yZwM?Ix]_<;~X3c{.3n?,\Gi [jz1;۬ɌV궒?bؼd+G=y6ٕoBP\/>^ek~\l4b `ancЙ_E4>P?][wzr1J>3Jw=Y!^挂?圩aɤ‚OLGCuizyu" mD͘J **=ҲYÍ%v!?=E)@?N˱SzxL_)WkU}C ԈY>hcpco6&̂ ⷏ ՗dlT˼={SCm]ɦyH(d8f}.Ԣd~#Ydn58}' (US&@:ב=hr_YX~v|>9NZQo_0?nj(]"?0f e8H ׌)l)wAodvk~8iXէͰ|Tz 5}-`3*, k-aӳ KsgOʃG2gPoNÅr9 Gk^dik} mkP-:0[s]NLFb,~~A˙VĄ?9=}᥆8ThDE1`n7Zygx7Zo%teKv~h$ў[ȷr  &9mtmōߣ/`:j)yH @\צ~bw5X]Y{{ AYD#Pg+tUsQP =h kvsOVRH4|Q>tIM,#/MnиKiOxpyIrXͨA=*oT = A1F=v!E@ {Lv&&+e_EG;a;%+1f.ت/Y0tPe0-,db n!HѳWPM_``ތwvz̞: a&`gYNCMI]n]x₵nڞ 䆪yXơo jVQX-߸m꾼 R/U߻JJUFITB_639d!jy79Xrpuӗx3DLg4ރCsDR?&83;q/ j//׹qYsgYK0uo+qOp*<xU>~߭M}evk4us' }-l0{ӽ7699ؤ_޺M:ٴՠoHKI;,cggɞEf0¬뽶%/c."ِ%SB ./cѧ75b1^5T]:Dv򸛽%4<Sri i!7rv;cN>{h(yVNRVNb_Ё]vQA-f@Q3X++EM+ЌЯl{@ ͿeF^F,OCjO>>~'5c%!*D 4ג?fjpRg4BsUU]m7H֭!P$)hy ',ex@j76e>or4C@8>[0UG>xZnj VS;wtn065x]D1r1S?)5Iǰ+ "셳+YTֽyus6mK^Xc꩔(R~Ia{䲾/{,}2U `&/_?-(!y v5TWfCd7>ЉA Df?5JrrOZ7׬un 5Ȋ{e ?'X%-ݞy˂>IDN9= :߶BZde@Qfi 6&n!qRHMw[tarr̎P|HwLYn:Cʉ \ޏf7M=q;9c&F >Z(ν򛧯#-k*SF%c/KYͅZ}FZi|s}!/K@T٬$p%b)ťNu7鑿35r݃A[[Nwwrqk_?&;+m#J1QlVTqYWK$=z["#lq1H9bP"wXDb&}Ⱥ9\}>{jE$N%ˁR'vw{_A}6lūZcsɅ}'#pt )%iV eft囹!/}2;%lBzR۪U2.V}Yg6+~=ćuMCz!C*:#pCAX>Awaˬ$GxKSS?5Dgcuh1X~MIT*.yUd ғB5v KtDPsLE4$Ƥ<>AЩ.2 ч4(yVﰾyTD}?gyEpXX]ƅ>ʉ oz!]7!Pw+Ab%Y%esiF*]V<=fd\=1,r$Lb#uY75 aW(SOy'6aG_6Ҥ1'ȠK?4kp3_3ZCN aQU2j:E} Nb|e]䇡ɋf5a8}A6ǣTDcD;p]9g$]9 *iyVIѧdˇ,+cϖ ^{HX=q=FJmrkkEL\u8;A7uvPJYe M`NʚZH%)T6L JyU8xu^W27uI) Ѧkq6:v]l[? ,<s}r?a xsj=8jy 9!q'Bw>yh>{6̹ݘ8P'-E>G.b5{fYZ QݶR-QurjlZN7q\r ]| bs(5FfayCUbfę8HpȴǏ,/,39KAۡЫDKh؈ip\ֺ.j;(Wʍqj @ L8Aթ_ċ{% UfRf/8wqr 4֤<VrZ%y c7mjy.?k S[DI<cMF^u#lpZ|µݴ s,@~c3\C%J!=ߩ 09mp'OS&@3zl9(c^R͸Jaj(HC%X*g0a~0[C_9Rxr"u)8*1iMݑڅaG_ z%2 us#C1(ג;&K~x7K75(9א^dwp 2k4w#'̏'H%ju'{]x+41"5kÇWgrmtjbjyP{&^uehW%>"eDh%l\ӛSaPغ@RB~| 33:ukT]`hS6ad\!CݸSL\9ݟ|.FCE'$Q)>; uӃr(E"R#Aш RR%Ex/I(?/)t Uq3.Y\pv~/?6IWp^=9",a* IeI)(%K;8VX g5qѠR7M&,)ojJsVdAdS $71咻10QY+1he>FIyIWi󞏤p$Qܸg+ JubasM.?ەbPw؞5 m!ʂɖ69eb%F}>L4'qf.Th(~l8+`%),&3Җ~x (̾ӹfM[WneYSܷP:2snw]ϙo鎮G]½w7KU['gU/cWw"1@n'h @h?/gkkNߴM.B}h[L8B|Lv >43}k>7S($g+ ۏ3WLs@ld?6ZBbdoI#[8\lyPe?1O'?bRp(!R$Pq]uy(,dL^VNA). D+3'-i(xePɂ' 8Xj~0^wp^)7 lWZ4':%yہw_6Xu(E_ N{?Չ5C7gՋ&Jaue8"A٬>ڸ[CtY!US!t= 4%yZҷTB,z;y ?}OU%rz9)0P<) hׁ{C)6h۰h:L)\ F/.|zZ?oJ}@Cy[ZBH N(13!W9tDa~] 4+qLT xޝB=k:2'FV}aKKzW4Ԛ9e@*6$> nN^Xm}xs3Fnt]Wp^>yf +zF.$A.%o>"([I.,Q>pqOSxlkR) iR'c~)p𑷵w%0F@ꤏ7#Qhi+"kA"= Xyl#Q.EG Z}$@i궿qBa~ׯ{f⼢>s=`(v`!~^#t+e{q9J;wC"O{ZB ?H(T= xxBH\jL}rd#{Jqg|u`#T EuF@!~lH><ƅn>xf`L^:S,Dkw;8WM8k̀*7ޯ$uVFK((k9os{^@5V'.*/qrkVS\3x:iJzY$rb>l>C/y(TS0z^vg*rAziF4CڧP'E5"J,iokײ; nZOx 2BMkXcKKK8=75e ZU֫hN"ۥZ&ɔ]CRcBvvT(؏@!q#QcMA7GI=?hK \Xf<#fIZguEIpN8 A'KDV-Ob^' Q^Hŗb~I['6Q8.uXQuz%sVuy1/5 FD(1=+*O 8{_܆SyVG&9ZEC,/I}]/4o^h7;b$O` 83\wQ*NHeC//MmK!Y}T7`"rzU\6CV z&<xIaݽRZBk4*,pmPa|ILp Ϊ8}F=(Gó~6g?aM:㶘CɬA8[\b{6~ǝyLn }_/zVs:,m7c"mhf#qP^vf W\. |,E-o0 w򪻈jHdѧ S)$O.*JTD9hc'5޽Gwof:V0r\kcs%"$X9:l0CK/3--y<ŧ۠*v5{(*md%e]x޼Aċ@Ci{tȪɜr6"p:A޽l+06Cd* }|Ng;uj2 5 \N^EX%z ysrDE'u#P~u[$Q[ppw2D;T&g @J{]9a0b~gVњiN_M1- i`6 +X7Dap@Ae$xLW0yqGQB*_+vM@@@֫(Zըp}ƬlɤF:u[T7>}>6ju1Ja &C,Bpg۶S*RRϹ3nZ(Nj#NYJ5R%Ι2ilqTYz5QE =@g)k V?p &i)C(qU*b9sjt>A&ya&[_BI"t`ڮC x?/|Q*r%aujfݫV Q:CEq~kR?ub( x&)aVw15< <MGKtR-?š!(ҩSD[4?;D%b,%mR'(-MvE40ce5K:vJSt w& fZe"#gE}1)"|dc4AsbaZm`LaLČĎ|$:]UQ'- )aVN;Hn &ߏdPmqT 쳱`ci% "Y,l? TNhm:YaU%LNi eh#ּpR$/ [.½ԝ7re# !q)cFP,GEP}/m2nzI ՘ϖ(/lg[؛,#VȏD}-mB o^3ă,q2Z' rR&If*L|]7mbŃB[F2$ ܔD0A̱ Ѷ>Y#Ŗ пq},B'?ā :p=~u9L2V4EPBj6s8.~"H,fO":h+&EIf>o鵀kXsĐsXEE(m⤼Xy^z0_iI38yPX,;$W fX,T𝭹cO6.'%lAPxC7<_}훖d{&*0Vxa}[z;Rrr I jGBd N)Q pnW_YjۯbV8% "ŧ qG/Fo;+=nYM=9I2SPu{>9EEyΜ]*_js͕rU*{>fk^&XKĄqO[jE:M)N =JLMR}ׄw]_BIb~n qk#cA7ήt1o `nxdyOPţh9AS2(O*>( *3xH i@7ѷTLXܠGH&>c㉸N,@Da}Sǂ|*-$FL*?LL|d-)Y HfSP{?&Y\,eS}5k[U|uS΋)g2\,Dmׯ2#YRx[ajb*;!(>EJ.up0 D˦z*ˣ*4;}mL{q`xǻCA,nxɊl6h`Oear fNDUxd1ihB2; yD =/%o2<{Kc_bƤx#BɮeSE)Q=5̭''c'SB>.|"(_T"1d)M,h.0?ڮ}rƌv֪[[Ph*,{=3}Wj?p4夦7V7^R%eVb˾lyÂ#] )pfhɯ~H.ʎ(&n[Y^oͿXFeeO~WO³v`+Vӯqtss 44QhEFR-MK=}s*M.9D."N@[V~,~ӆEmIZ{##+'_°olӻmtpf9yk nKnBg@ļK e!4gAΎ9bYxlVa969JiI67eTar?_̢\d44=xм'I72Uľ#?K~}c4թU6̤z~6؄IDi x347ǵkr\_Eb1"~eęgP,@y'f!gQyt)׺>=M2r#Ӣ9&e֧yv+6ad/Ctƕs/&BfsUϸB 7!IRR(0IO!nhIn{сK(xɥC2dړ;;^um[kZ%vIJ#x-"8 5RQ|$. 釄ndks\:^ckqVy&7b+PuB+Eqz"vjPv ! M ŋ}$;q-wU ]'/^ B(QS{h%}sP['OLW r-(s3;L2b(tK5! o1r>F+l 3 !x}60$_>2_2)C6XY-7/I8ƁZm"Mpva,C sͯ%xYK(%\EoH9:J;+Qڨ y$&#IgD[RZn/^ˎ[ei[8H(Qt|lHӔiQ5PqЀ5$:(5[l?K_qG]tYiM-?aB2$#᧋wإrPΗWª(ڽGeQzFZv9^Luyga87#ۇ |;p<`B52,0-x Մ` &z*DD cK% qpVwqSk hLR<\Y(-.]fqR3Yo1j;.sHR<4a>h={~w\Sﵠ|QksGQPfK/gW  .ye.h]r"Ӳ}~SoKwF !;O(c͵*L}`xK_N:W^?,@k)| Kf"V/[u=iU-<-Nm3'ۊ?sPJȄVT !䭅*bYDݴ)Dm7/J ?K5xDKw)6=փt(Frumfl1lqWvq.4(qK:viC;,gN|)C6B)ggT|4 b?IohJk&}uSDxO(G: p3B.Sg@Lx5jNl7sUct;AX߰:^=*2a/ l H$Z#e~:AN#E^tLပ^"b:&4-ֈUBe)a$ UJW l4~ʅ ż=<+[:],PA-Ueo@ir*mLe%X;U̎P<RH6;zrեzLC>= # R 4Plc`#y8o+ ^7h5P$-ʸz:&]ӵG;Lʠ/xinyv6| 6hҧ%ʵW<=͍=YD u}bٴ]/ysաOQNU7$hy }hb#`$A6tt=.oiH܅TCtGj4ud$+Œ ͦ-ܗf(w om#v_Jěf -#hCJ%x:5~ES==/#%gC\>.eMFi#;H,J7'-Zg?kENeUzei9r2H6ն5Io+=_1jǧ0iΙU y#z4L[)pjyT7aOr-;JZi>MPTtܶ%'^O4^"!7j鈒NB%T"@#7)av7o>' *^i)`##,]zY"صZdxgq4Ro` $*YܚFfeE2QvV+ZGMKs]8@$;F<3贽2Զ. BolFu.ǭn/*vzJ12LYw.d @D^.0W1ѼgfXd'Tdו;k x sʿCgZ`SUOI5@"CWqڴ \ZE{5̘FGz8+^`?.28\YarxN\>ظȠocOݜ@\t?6dI9i!i*^vwvݝ,0s9ƚ\Y09No]F ]"( P ػXAA}`sHHRkyN[84~;.&[<Ϸ#M~5)a4(iT)6a~T ɣ$a[B#FVq>Gs ޙ JJ[m6om麣rZK#/fUROym7aK?یR[Ko2\Z͟$r-&챟t Z Hn$z \zMw[ C?Z՜2p<_we+c! &2gEf4H}a/SdC3bK,Y_ Jo5\Ӑz<&x`hIzExkb6dH1A nyoǃ4(ǶGiS+zC&;#$蜔UUp}t/*]X= @*%]HP؃(ݙ` Lpa[]H]\#5> AY0M\Y7ɜK!e]R8-{.qr2MY1Ā0RNM vs6aMwTuzE5duUAwJ}B nɧ;EEc(@N\=}A1! o3Hj!edZ\te)F=D/XGl]kOo*sQjvPےjMi ߧWF^˔6"U{f@__Af%Tb`"K^-ޛK-9!uj!k̟0|K'emyTv P ,.qbY H[pH,4~t@vz]J (񏭹b `+wa;*L5zi\'svR,d%.J$ ?5b/^!k~{93 to+#ڭf >?$R{ l E97lf V-S#iMMΡ$[+pE2۰'ډslDѾ:/cnhS,s`)!=U#Y!OoբM KGl#bǧTVxI?#4$TXZX o?z,]mciȦuO[߻ lj2_1S7wPw)KT@[% ]b̳.[~ك[I>D[ z}8픜tԽ*GJF{+_N t=8¿Ymb,uڧ4,PoɆd^2)@N*E-H/,"Yc9oTd?WG ң?u֥s5rd\]iS, lMʜSɔpVr#4r%wyoIW*\f @E&9e?P(}b֖7O~)5+.kIM\CTs|F109n>x+h(_(L 2g_sH"%rpo[MЃ5rU2#SD, l&f7Q:_o /sͩL 'hҊ+ELm݈R˃zO ػM!iX.ʤ%2Pg- l/^Gq\RsDoq -!'b!.dwϡ@LA:,5' =2:$\6WI~zbI"?ӣ2ud8B`ńភQ|ˎC wQ&b#:5T3V-3SKݥB^X!^:yTc a7)C4Du]GW4ζ@fVtz{t6 -2IhVz/ oHZq {U@}Ͼ7x&;z{0dl0))~wz byS}!VԺv:xmYT}ո5>h~#l|@*NZfV ϕ{.egf]o .awg?j)vxeny"m q ~R|LQlKpRIud&sr*:vyiWO/g3sEnaW%\S\Iqݍxtf*cEHD\+Rt[$GPuagjDX(/oD'1>N/k ߨ9y$zi/zh @2Nk8mo+x;SqBWA`zA4+_vV0Y{ !-gpS8)`yq}ƈ&.Lq?iɧ}٠qȴUxZߑÝx=VQeU "j~}lf Fa,`(R ǿ81L/ɶZz#u4N;N_Y귫ܙ0Xg5b|$.؋f>Z*nl@Ͽ_&C4uۯGa Je:=Fdy|0>U yͳ+>MDHzFֺނ`; L )]JJֆdc]HGݯ B[) A2Q^I^ SMЯGEn/R*^N%;Ƨ6̰M)p {E!P;Pb^fӊ,JT2CƜbЧ.v 9&V:bVʯVB^@uKBhxTGi15fyrD, A{ZHiؚ|9Qn(I,Q*wA:8[˭I/=QJ]x!-k!wy浼tk x weŽά74gAWFV)A%ju_ 0 |Ʃ >G5$qπ{^E[{C$$:h*)ڰڕ.C]BwOh Wjl ՆEta|Q/D@Z L ľ2UH2Ұ3~fYسt`:ݝ &G9{llHrsUj?Ec"G61f(rjg&ȗWY;gQ XU>[ W6AR4F!\ڒQ%nmrZ@ykSBaG^@  5윧**0Fə /cc0掮D- oc ʯSX'ѧf"SZ`r2{y?.b%Z# ѡ fN Fgh?|쨒CʏW60hV$y< t|'&lcœy ;__Ѻ31VP-}1#[l</ Ic1R9%>fŔ41%PJ05)ZNf!kQ;b]0{3Z4@"ŲXT(NhY pt$t\9/y`(ϡ/]Ж$38 G .h،_6H'?O:_O^Sea !s4/y_nGT_/ݶQv Y#!?KQo Þ7-q.܇ZZ!t5YdeW}2˂9Sytr *Єp?<<n:;::'(...D~g({-"wX<.B%g/0a,;+7˻v1fОX|}RclA!OSpf.PO9MCj׬o tTþzѧ"+<'|NSC{;#\uu:Ww֙!$7| [vG7@n9b#% "}OۚR|1;&w$ѯĘ"0}2: Q~X?0,f[AFrH }$+9J{OR#i1A^FfQ,O淵 .e'n_>??F-8 @hud)!Q0f %§\n4øղMWnKUz?s!Vkf2®{o.и62֔;D0ꞛ":D .Dt#t8F7p6WJQRy.ݤt`2|O=Qemپ!>F&( bhFN|/@\?&&"X`#>>PfUpeֺ:ML+`6l'w:NK,Pgbf|B1_.=b 6VM}SE^`SwӠysɚ;@IB/BŨ|k>6طsW\R1醙6>pdB"'61M:@ V oGE/<Im-.rrCF a%2cgΏjnwpPM3v C~;'pp?&kr@~|et+-[g:UnӨ[)߻5sVp\qEQx(tG$nH͓P)}(:N0]}_S1lViӿ&uoEZE`kE%E'5l"%޲(GTa,Pd%,t ^c3)M?:fy2|8-6ah ME@r(60I}iN ^Ǡb`cy2Z`R|fihJ!\n-`I~dQcy̠y͑_nq"ܖ 68E nTϢ!L1Á1+ՕbO ë2,}67J:ȫV!~-g1ASG^DR < *F8`V_!X1>TLgФZUZ&w8V̉P(hƦ #X  @̊(qEߓsoUdt&Ll ;ҕ!d&XZO%~VAl^f_rj '/3/dS[,it.=Ic8☢[Km+" GFmPx&H%pJ Dtg #4.2V(Yl#}9b 1yL "[v _ܲV@&тs@wmO~&t ?`:^Se ,Cd;*) Ei`x}LAC,׉pq1!,{o7 uoZw%F녷aPz=r9Y$Ї#-tKയ `ڇ&b;ɐZ)v4[kp|P6ewnŽ1Ao%^-ikz9͆c h>J<V\7iS{fmlz] A@*tݛDu2-Ή(. NsHF٦xY]ăCVDeڲH?}xrz2ixgTv.~`čFɠӟ}@=Q OH(ͫc|bQ=~@ay[5.vh/wv] ];cwH]lwE❫tc/g;~зW4}p,K{nEk`[=~3mȅ2O@f7jT͌ b.tfcs@~_H+ X&iIDG~2:KRH/m:Uo(ʕE‹g╥VgeRz& *УʪS?;.qSeSŲ?H!r/6?ع՝; QR!M7AB!P! ß #zІxσO.C]Z;'a:iT7iWtޖKhx"KبSg{WRKLdK-K."'5ErmN1p\ a@WMbd/N>0^5`y8>}XiFtx7`׏X?AG4enp\W)IɛV՞ XawGt:FR&T+n5٨cڹĤ%ie!ٔ_'J,z7W2WۓpuʊA1Yg82d\쁂.NESdp[zI4?# ό@G^B"*7 '#U}9CX4C ,> eŭЉE=ɳ#dՈd戚vx)v|Vh,Wgf6.&,ygţ-̀ }>XX;7eG3'D -plB|EmIWrǢopxȯĞȩ-(T-xpz,rȜ0TjQ=&ӌEdGtE3Yb?LwpN1'1Nϖj`:~ך@E7?ƘDH*S55)\pJAj f#Pрglkz.y=:ԙM,dgmg9E*Ö#9Zs4UDX2^"Ju̳7js4P\a p3K 91+Bㅏ!Ԑ_Thj3cMѳe8(ҶEIb\[(6y&8DPTHS%{6R{?R4"ˮByO(&mpK55W\?Nhbi@o?q}2Wm#~irݑ)1;@dUW["u f1V=%3t;^+wpkgEȨLg$J+iU?f/ eTˌNmU2?e]O9)s}SrMHU7!ͥMowY^u(q2*"^ЧWܒ^u^c0nR"fA_.@8q.ř6ow|Q AyXuȉXF#RH-[*+7kD\ηGe{Jt4+P/(ŸPP֪I*hGA%%楑w:`y2OwM\ofG/OqDegb J5|1ӆqj `VlmڠW҄˨°i} .J(%<ɯedLhL;hĥ./5VcJS[9t0{|h_n &`nр+$p"\eF.frۢI,FY)ͦBJFKte:!o*+;BJ/SY[؊cqMHt zk-X %1@i+eb&k$nE*+GDTIG*G\YdpL6I̙偢-D̏69zeRU4-EsFJe !*6MW "| eηo ?\`4:( ScU`xKqG 9@j" |5 V_b&w5B}S Jt4;˩ka=:4ćRiF 05. Ddz$  >}S~T+[(D0^kURt"{Dem̖sضt9m3q (?v+LFb;ʾ(I:a?CNʫ6b*s3 \j߹5xh>Kc^QSLP6'T7}? zLk9mO3Ɨ*÷r,wilavɪ$ϼKZUMZK9w'Sr%~oN !'nSS )nenCaLH%.R/E۞.J 90Y<}zKi_ GNmOyTz*!z~u0%-b1pBjFꑯY47bLKNL@T8fONo(A{TZu0gzӓPX ͌FS ?3S6r ̮'lTW(?l,XiBUؿdj+(`5Bw$0'19oB',[daLO/Ycur ̾ Q+TJ ij:)YgqUO3p6mu IU~=,byC=;L_oR{IH', kL~FP8s, rkZ4eBNZU,ge8 {Jh8E=Mbj>30`>i])þ+Dz~s; jNF%4zDBT20;(H9%:Vi5%&/:Lƃ5MўgPEآld ֩/DE]Tett&Mv \7"uۂ,]Zpf/:>V1Un7f]3-xHυ>=R&2Dhi>"3g'-e{?fvԫ4jFfѡ_މT;"AIk8ã.D#,QPJSo -zaMkI;>CдwQFRH?|mC4U1ze@bGQr;D'Tu\3Q @WE5gJMS|Jn8P αSu ܒ[RԶ&.T&<]Ѩ  %g̭W0_5_͒YE˚I1e `sJ7ӣ^$'{sڎpdfkO[1GPca e OX\M:-5>׽xQk%Kxb8`>U= RUzHj́eg-E|f%3AdJ< /fSB޶DdΆRPԎ qJ83\ -e6톧]l?D3;Mr{WI߿,k)jZx`Rۭ6$t J8,ƻX:l>a거NerVn06Qէ=s!$=^x683J31VKBA^ k^%N::.ķT k38 WZ֚3ϵ_xfOPHhV'%6TA1HsB% 15Ն{SĩH[1WFh尫Ǜp 2keBq܇ľLkQ_DTEus $I=6`Pd#Sw`NҤ>i}dm/ȂC&$ch͐\|CP$⬐:4f_PB=߽0n.˟F!q#V ĺlJA*1ʬTH>4ωx˸c8#LW-ǂ~T>rYaU/^B9Rgvg ;5KӘ; @d Rh4SFgcbnaI4p-F?g>X$!͉N6u|i6C ➕), z ͷnЋk2< *R^TIf/C  s~} <r2zh[9t %т;])YB(bM|&$“ñr (W~M酗4l~TKOoWX +lG`E$5+zN#4|128 OJP8 n3|ҕ#RYRQu=`7i,E2I]eC`U_(_[Rï E?8YxRDZjI]ݙڋf 3sYu-h(~gq(xĮW&FeCK]dP'yg^+O; +ݧ"@izH=Sʿ2GriܺvR5Boo;> #qшj횒F\o+ɼ|q;o| ( {X8:. "z%:`r3ʋRHr>1Pz?[J@}GCNd'GYƕCCeo8|9,h˻Rm1zFsn]wz}sfPg1wӐ꿴V0—M%F[!=YIډ-yLSǶ ē9R7NVUp𺻞a4ZSԀPhjh~5;^o o_)!(^5)awZI+?qb7z =ÒY*{2YJqA;*9d/ '<9~տ_{kў_~h{Yd #,a'|0XH JiH/0?Ik)%=l#AA} |" }Ua*3 [Ǵtd9#&'M< =j3?IyP\ QH&XfMd8C7mp3U!v[1 _gӼςG 2t;:Z2KQ9YZ' ?`p֠ İLxvCFYXe>y3@[IJؽ/M"5]# S>bJެzYgiGFVl7I!wIKQ÷uaN-TdvT E"Leɟ11ɯN53uF;sW?|N>띏|,eIk2=PH,jL BaFBjbRm\@1wJH^tpA_V^|(xIyGm8ls!AR!bU fr,W`by`W6KY_3L]m4n_Y2Ua].ؤ~N(X]AjzDjb|O`T.tWeQy>GZ8*wp0ے$R) Fb@fj^HZ/ Y%Vlh@}ϋ$Y }553sL"-5alI K G{QS&hn>0a=-2EzM\t/ɊѼ&*],bB9,Wy Dt9<LQ1ӌ:2; eU@2Y uJ +a3FB7(̺z_CLK4\&3꣌7dm"g,^^:FS1P/N1M?X)yo/,alxbV~v=ƁoI !CvOy p8*_:-mZJ'+rpb` hLfj/&oC gqSy 6Y}siW _-ʬ=9mٴW ޟ˩.A :XRKn4X;MikmҦffJx~Kk'TQ#GKQDپ;2Rvؤk!VƟf|6a) הX黠WOg{QQIr졢Mf%S܏3hـFqlbiTY>^P?]8lR N'`A,_eut%L Zzu}c1Zen@;Дd5ZC@Y.f&Rkeg2EݝTZ,<9Нv5 xq_X:-S"Kf߲jnܢ ԥcy9 勠4:o2:g{NYJ%׽<=vJ5ªtH']vjK%0vYUSw5$"/ R`yyG9"d9HA'Sjxaxi;qx2rAZ)9}\)Q4 HEyGbJAS{4K`,.C E.ѧSK?W2o Sq+;ߗh\ٔM&Q4D2ZS^kio"KoR<L~ƟMFp=zu BT.~WO*0gޯ u!@4CM̿ח׿n! Y:;R>ນ%v;&|E9Gq0G &:Y(O6׳?RmC篥Z."|T4(m]ڭ&Zwt ĘY-W9 0YrK'!'Ywx壙I뉙A`hB~ d9؉('Lo1JwX;}Enn:=kSw_JYgİ&,F|j v'24VǤe10Io2(A2hK1TV-=C _<8UQ̬W~m4 ,/y@_?(\|#:6f`ɘ1jlM?͕C*Esv30KixVwe0lh]OBH{\Gjlɨf +Y\9XNҮD5r  ; a<+!tpAd8穄OErm9Rc˥:Z5&mlyUرPX/H[Cd;}X !%M)I7bN,j <ô1ՅD VPYޏ>s E)^@ۓ]x Mj"ܬq}|0^a4M]Sh-Q=v]AW `%do.8`u [< nA$]N3 t0HNA$Cf,}l8q7"0ͯ;0W< l翻 aJ9U;(_ Z8ΜY`^, a9!b-_sU2o[nB(TͩT{4XR7&y̤zaZHy<Ԯx[u[RyǹndGoju2?o@O 67ľEFzZxUt]PvkŠ-XlwY9T5>2X~M @OF$3:Č+"%(̀"U)_=<\^el@b`rT+8piאEmI8”/+'͋{-Qt)5mS*B//R:9OYqs'Gm7~*ћ@|t.Gݾ#Y"M՞neҚamoKR89yU\r'] ZF^ƫGuD9T_̻<3u6R_(zlܳ9Ev[eLI_t$ ,[X-fK8iQN\z#['_vz7ٴ#b.W*MrQwUK݈7}Tkfr{QVxk ;/A޼c@ϺLnkt[52p5N/{z@}- A9j ˎd?K4*lVVS{ǂYHX8Z8X(ʚumDg\mUP*AB=̏IpA|½[HI("mS 6prQ9K~l N QϡH /"AhQU huV77eFV{Qꬓ$Az c=g%^ht5CM[boj+d(tV4_h; =9zpMAaRC#P;6;58r>bf2-~NTV9.,/d\6Y4FlӔF;* h -B]v?f <ќ$u"Ӓ޺C) %GgKY/ d} cr @fU)!ެmPI[X?ȓvD7͝{&=$`JMU\˫_OI%,:.@C ?vWRO| | hC- ߺs;*ª ~/jfd&ֹXgvC=K>zh탼PᔩsP|@^T:iƎiܨ˲U7 .ZKڭ׼~"vAF$ 7!o?4g)- ?=ƈ u#m%p 2&UW$TmJ >q^EUH@%,ȋҳ>]\#[ibt"WA짭n5vl\/k|*zoPm>M 278/kC^HpfK~JC:'#s~tpD-0֔*MF\ 穒_ O%z(iSw1~C"3&sպ|Nas|2A9Ҹ,scRߐSw!,/>"c(4^#Y/yc5@^3sG]wvsB*]8>诧CgYZ03d2b87de7cc5edf32661c38be6b6e329f0f4972 0b69d8c3f70856201e8c054bc34357b13520292f 0f998f25c16154dec477659a65cacf1a7765cb4c 1437e78289fad976268a1c53d4c462661ad4f60d 271ff21a>fb294fcb60b3e0f95e8deadfd318f7b5 2c15b0fd763e01038890966542d490e19ac50df9 2f644181a9eef18046b2f747b3758f2be0bdf9e7 3122c5b55089566c74375976fd6040cc34c326db 31755525071793d62f6b61cf93fb27d5793a7c4e 322e4d6615177054deb745ccf037dc2bb3b1a688 34c1821a7e9f51f9406003ddc413e27db70e45db 376a006752ba91a78287bd22ed408721d46367dc 37e048eca1afc2c069cebaffb562a02b039bb22c 4132bc9034537af949509e8539839c161ec442ea 429952f9b1ab48f5480776e72dd795c832ab4fd6 42dee07345f60c7de0bc5cbd4b4841655fda552c 43011728c87fa39af0b5c62e53c9beee3e632c8c 51a6f02d8425062fdea7006eb07feb6e634bb5bc 597fbb094f16f328803dc816d2ede8e1a4685fa7 5da4f1f8a066e90a66f3844d13a77db517e4322b 5f3249c9a2080df051ec979e03e69f7b6c37b568 6c10a5f6b21786dbac5c9b1831d1e19d584a8a97 6e2b45afa35cebbc9a7c8301fe6643aa6a831d5e 7515bc3cd3b2eca4f9bd38d8fba0eca1930dc073 756d0b05abffa326b94563fb360f88f98173443c 79cde99199a8c3d8d9ef26c2f8360e7d07fd0460 79f31440868c5686b204e83e4f26f92eb8d94f9b 9169bfd49fb8e5243738d07d13499130ca188110 9bdd5aa3a04f12448f7300dfdbe400d0b0c4b078 a526ece146642d823be07862c7c8488392c4dd25 b2b5ee5e9d4386b373571d3c0bd7fe787e50bdde b492aac05bf91987603170f7236a5e6af15d9a95 b5070ec08ee2acd5d10039e298f5e5cd8284bc62 b6c97269b3af80550b4d02b597f59f238f119a33 b9c5555005d2457d66592f71382507c4831b3f89 cedaf14907e583e05ac48792aecdfcc5b04ad875 cf0eb34815c10b600e671c786585de3d3713e6fc da5c1467f508e7168dce856fdf021d36f0725b44 da924d0f82345810af06bc17547396680ad830c9 e541638ddb656e591b67cedd6d2fc74a597c6f68 e60dd8a11eec722998e8518d1bc3e18b7b4335a5 eb02fe96e93a587b7dba35083655dc750f4acea4 ecdb956ca90467fe923eefb041bb7ac70c793a34 ef36663308fe3932b01f93eb89f3039c963b9089 f0fce7eeae1ffa41a6f0691e21062958b47031cc f46048e98cf60d1b708c07c87d1b19ab03cb3aa3 f975e3bf5464df6bd21d33a7ec5174278bee7c3a fc4ae0b9e83eb5cff2f8eee603452f00d118e8e78c20d9719dd3c794171052bf139f7df3bda5efd9 787d9064b94856bcceaf7fba7c00dfdb93321f07 42e138dd2055b0a1db4a1f3a058a8966ebf86487 5e6a1bf70ee112f0e23ceb2e0aafb9f9e788c7a1 36846fb470893fa98b17b3ef4bfd5738a4fa66d7 e80a088698ecf9911c0dd4543ced0689b0634c47