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 '- \ wS MonoidalCategory:threads=2elapsed=1152.197cpu=1996.024gc=74.240factor=1.737zXZִF! ,]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8CwgsZ1\)frs&ءɨ_q]=5& !â8cLLJ+l x{怄tL!7w`O'uӓ fnrޡ|sAd^rRsOQ\f X19 m]+>R2芆[o.p | ZK bKM2URKEG{i0kj|N9ڋŃ86ahk{jEX w?0ѧs_).r02|C>$ȯOCqTﯸU`$IadkC䍘:*|,b5fx#teݣ-?G@.`^I;\s D :g x/P,/\WVsB{FCplU:%km@[EXQ:(u5=_Zޢhah|%.Yּuf !)K\ 5/I?2[j% KJX_Ez!ֈv'f39NZ7Gkq:LREDϢkc=h'or;de9c'gi$*A\lsTjqE37q7)vm㤜|.l!ם0dw0pZ 7- Nn0zeV˂"%-,u14\qFqZ+el"4"5=Aw_A ?n_\s-FS,^Undaa^gRQB (E`(ѐ&$Q%|g@HRe&?Y L@4Vڜ_FYg>:_w>)%dfLiCWS-VV@]n6]JI&>{eYB2"S8`هbrϝ^73T 0>o4)k2$Ɛʐx%RUWH17l;KItq('>XM K5IڗdE-M@<=A6:ڊSլ h єoL;ԙv\.je@:x\JF6y Gޛ*5>ZrZ9L:f^])G?DR$(tX1y%6piѭcA b0 v]bKl[AˑT[zO ,mP'>wMH"Vq.'^E-/`\`]Y mM";=:%gm_P*S̵S' o%J/;)6aNJfCbsGԏ H,VƭXVXɐo(?" |ڽZo0 "jlT/_i$Fom qIOr1~²yyI\\7:~åFAu`r _ǖsk0v. ouL;K$M"KT^|AS_׍)0S&~D;Ql(QP.//@KC^,V5:NPJ'lj>T OvG]^ u9'(RFPCGz5~a;5 FdҞخQ Fp}^[z&/&R# D L>' sk:Ѳ@ `$Og{]E+ i#݊!O~~q bE^41KE/Uֆޮf1b\6%C,(oe@ta69$:k/"%}vi}!h/SK`Ga! e^f(c@㯑j*0p)1R0, 9sr.,qOB`Yi*8Oan/Toю-˃ɋ;bJPF84S('ҍǾ$_֌fkS<ŎJ[>rG_){MITf1u="=!e?]B==+baث!+V*ʨ/:g[@w,yÃvuOxOQS5E^j\fz- J-_(J;\Ӳܰ"Fj$qCs ^ S-0u:|1$K7󩚝K?qN_D&jAUb>xi@'6uxrD,xΩDj,}qu`f0Z+e4yGy$~+`;N(@H1Q%xy U^ >½-[ (kӭY H[i]vJaA(tm A} bu#bf ( e!}!%%4砞kgMSaX.*NhݘIhXΣ0cU yE]aڣ\krҸ+: \8+yf]Dq0xʂx\\UOS69vX_˹}q~Fy9 Rr2 MD>?.?f l +^';c=P=p0u|g͠& l /ƹ jrSIEGrpΆ=q~5CfZOKUPU{!m)mRoQ1 NJYʛU&] ҃on䈠ք#Y:HnXrzvZv;S7T^I6 {=)#h9&v6!sv~-#X4ψ1.M&'JPee.qRS}e%Eݍ۾6 !G.axe1;}|DnK`bMOևIjSdpwN!'Ųy҆M?MTr^N;y1 M);RX[K=_57釵L%e֕`_8~'}|6 "|~95ݯXnם 8hxn;`B;mos}+nݓn?'E"_}xdeNXǭ*s2?aWg}ԑ{,sr|iZrb[1.`m(R~w Xote*"[%y2ɮ>r  PU:g!Yt'6sh;G!Ha~ok^9o\x3a  T0Oʵ3}Sdde"-<Ƹ9IJXf9~=kͬo8HY;YZՂV Pl >Fϩ>e!,ٵa{{EaWTc$ ~Q3GF3 #4uTm1o;w2`Ҁx .LUB\9`kjEj( 3]VOY/~c'ZX:CEHg/W,UmZa8Q[";Ug d{Vj{.{&zM`K |&{y+mHgYBN}IMo)ث8 εEpwb"v8kcEOSV>4У`ztiBp˂;i~#xK+QQ\>T7xMRr}>oQkz ປk.a";]&g6w\K @ʌi(DI F]HOQ9<[oN7ā:҇( }a\My7`8HR#"Ǭ4s=Pvw>GNߤdY-KIpE"7̑| NuƒſǓI{,BTZS.lp WhT&p:N S&b/ډxCin-jv3jBwļbfA,#Ĩڇ_! j~_ԕt8:ڛCs}{A+7wOi˘Mnln "hH2d,1ŎPNћ;TA˴^YP.0TppY sF +JEgZ䪏9ނBb&ԺTOenum+oC,t^M*25ъC^#lPY'rQs53{+ʧMK2v߹Y%5"4VmbxdЃr"ٸbq:ߢіL4n{hSV9ln䏏H f舚m5 ~r22Y<"r`TDj`7*82# 6"cs |L9 JmO2=ݠ9&;T4](vزmNpf bNݹf}5k>r5:osA5jdW6@} ?/"B$h#YQy8f7DsLDx>g!3l6Sd˗l670 9BYZվ}GmzTbVп5tB*)Ցp',#d8iN8^TxQZ2ZeM;b"ݱlxZ mud<6Bɱ,I@<UO9dWp b[W594݈Z M8]Q;&{]o̎=($]_V)[ߣ? [ 6uT,//ݹݢa$pD_(e7CJ8}(^ՁAYKέp#>;TmzD12+bNk:<}Yb@03o4k0tp9ܰ#cciwܖVseEK6ŸJXd4D,^=,FejQص#C0IU(#3BId^S9|Q[Cv/uN9ZNStCȆڅcU;sF 32 M(#`Ȑ0N07(6余RH YA$xHRҌ ܤr MzP$|L)חqt!xI|eR BoBl++-`YC {@]qH"+e6!PR  M{¤)yM.4RC'*1rpNZCZM?%d' ?ѺSRz ~%!DuƍCr^ECũLJј7Dk&0 x ߘټWP @](Y{@r*a6ڗ3W[%iѦ :H2 TO9جAjJ=dV7K˟p45P{zb8;NoY8[z? ,>vkvӫ$Q]g}٘;~ t?X 6ɐU|ms1&]O\׎drցF}_iL-⥽F#U-4ONK-%::}O?%eVu*4#<PqiRM`G.R K/{R7p 7S}ܠ̓JWӦ_*~\A:U.%m.vMDƎ$R};U\7o\qgrCtn0)eǐ Ѕތ&P!bKsҘN;EW+XQ/twD: Rc`?D80jt%Xe?8@r)֬!D>^VJ֛G8 P9A-~缐V=Ll ii OͨB;S0y}q-1zYeH?>Y6|*BmyPON",T- ikA8q5ؙ.oF&pR_2.UϳKDK;ok=DF\In?!lNdZNxq5O^W/Z*2Ö"%7_Js1L5&Vhv"-j$]7gLɇ{O\OEeȭ<3a+.}h&V02];iV฽W wζ4F]fbMyӃ'٪z/˞ gfx1^_UEЋvxYe[kky:m=. _cG<=$zzͭg"s zDb\ZBߥ8Zm=Ǧ`\SI^AKZIz=S/LZ `5dP7 &BA r1 ?Z4="JEB`ISjCD)@Yc66]ڀzkaONa`0Wv YEj (Dii +MN`"f5p&3Y&ifP8 ,#2EF(ӬF:!~-ds3CL%氢pBodú8y_H_ 8G:M n`br+ja߾\B+|L/̗ Y<ln@Ϩ%_L^cǪ~]~j1&`6R\hvf*Ji#U*$U^] z}[0NQ)  Ln햕ofAh:}%hC;dCEC=:hZͯJDF3Lc)X0GGRo]`̱kqZDZ sm[&ofC/#t'Xɿ/k'Mu~;/ֻ4#7 ":?}˫jΧ0g݆kB'1j+oFO`1P0QeeJk;{bOC.KGq|t9Hu8'ۏRhH:| L]|ɽzU֨ӮB(C4[Wԍa+Am'AU W11}@/9guJ{D[{E7[}Пͨ;zkar1CncPk.8Z-E}mW4Ac mFk[bZ(Ѷ䔩N+6a&aIA)L ÚBѼ@6v8JAlRӉE}?5 V|H ,2ˋ Dru-I0Eo$ZeABb1@ 29S!5g %p0Ts$f|-^1mҥdEzvX_;DtnV]_)S`vGD5"*}t%(d}p.ǻa{۫-q8|ëhv'L^U/VwG4~IAyJu L+Uj(P]!V@|l2ߐL3o_<ʆ87(Cza? +dK5EszSVY7.qjC&![DJKtd@Kn$lQn3D}1=SBI؋KY8Fe_Jot0!SqdKbv~ e[b` NxJeձேmД5G=*AΞDZ^b3U)2nDJĸƿ3`?[̌,BǢ<8_@ pU6LNHtN\!13cb^P!B[=E\䳟N~Weh~e%nED Ru鞽n~Ŷ2s^BYAlhY;E''jA~oӇsl'!(ٹ;Y%8O"79x1A\Y t9bJ%9 [iR]*ֆl㞕#N|­6eTfSA]ヒ2B5RUc0/GaـhtDg"~BM79HQc bT'@ 3T%Nc {Oɛ:Q><܏d!K<[_+.2e- S$2;?6~ԎV}j6,x\(U%cxa]zoV&3FE{DGH.:θ |@nUOtDCʗ1qw̅rTjiGSsǩ ykFE8htis|1[ʧcHN޼pǺf{ePsN:E?M,sSs!{] չ/Ϟm'5U\ PcEMJڟaVa@eLgJ`P#ٻQ *q0zu@Y|w]w97ؚX|l}AV2{%h"˪T4 i>N cpg[nuȥ<~)*'K*IUrv]A:$VEokd 1qq\S"`a!f`ay'ڃ+u[P4_r"^8#H8m6AO!:Rjt05V1aZ2@u&:@eټ"be'h\?|A>AH"1)J̷au ]n]|+;|Ry34w^O>qEc-LvxI$Z3 Ir!{.痡ݒ5{UXLJIq' w.zEִ;u,u<!&w}|GX!e7cX3<&& C 0 5ERɸ7i! H]OЛ6R} B Nb 4pէ8s}wO$hbn^bͷur|i0-^CݛSQL$@G ZW::)AH a| (\:=ާ:Dl .'Af]sG&V3Og< 0A4{WO'Lx?9@V}"DCv" ]f( \ DWNS]~zeFُN%p1=7pzސ "F~b֕4)?Xfn3iI:CD3LAd=bݢ_repjuN N$ǹ7Er@6e2qepzVX a! K`#w#xN%Z-Fag|`5yEuhulp2[$mo7OGLa&v9f#$]+-Nc=j!MT9VtdV" kਂV6(AT/w,QGt'sXWOZJ믋a^:.ܡ) DPbN8;BbU'}ncl9hXS#5z2S-kU谎E m/,HWg~Yd>K?C</:}w ijA󡶰=~Eg܈*wBoJsI/::`7)zwpQOQ]l?4ϢȎ/^~QV]G$ٚ'q%SX\rzc׬=@_#T7wT18쪑Oߪ BttqOg)e@;܅IǹFY(7E;jfw]1(;>>S+lȏ^ #L"t3>d`gEAL e}PabtՏq kŚp_兴6~1@83?KM $'Ekǟ'R_륒'Q"o@ugD-(6GyYT~ %SCm'9ڸ "P"Vԉ֗n@23ѱ067ȭo`4Mӏᄄ94/nnㄵ,$7S0uh ň Ӣ,}Ì!KW1\ Oa )dG 6˩{^Jփ3o4iQp ;Ei>#{ɻ%*@? 4r+SaFt^É]q+09 ý >&G7k}7x9R2]Z.QbEeN.;ni2Wa3ެlb \uTQBK?R L(8aRKHsZ4 Ŕk pyINKV^1y4ŠUi?dn ۙțc.wg%ZO$Wdt;Ypjʮ*۬Y)L5tw5zeXCJצ9kZxL٩dQ ogPqA>{KX(_w,1}7cx5c Тff:k5?sba4 VI̛( gщʈ ?0ΦO pMP9?6-nJ.fNœ Lx-jh_a.X8͠4#B\s~ K`O &Qs.]GCI2u4!$$g_]4;b^: HIqi4TgQ+x5|YBT zC?c"8]%pd#Os] 'I|\ڴ $\:VA? w}+,+N+>yN9'E6کcCKCqY~ʪ[=ZfJzSnF^Ha`_P4#W CШ;BOԟHjc̔7g8KxS-܂S~ej|gk6*r\,=;*34-#P;~Yۙ;o$p&nlc9̝;´`!zRӇ QwԡtI0X`<伅B * $"Rbf&DAglHABUP>dHE6n m쩖NS*K@9R(EElv&8_ `YF,\qKg$j-?y4M`PX1/i S?JN۹`|#z|XU)m_LBVF"ԔOS>d&3Ͻ Ɵ>#oRjzz7[-Hr߄,Ͻwn8o`13ʵcF:zBVgJZRc6:/Б' JHQRr),HӢ&0wUlLcB )7v[(N!j6̗qܼ|[*S2`-[ko.Sm#iɏ\lFaW2% x"\[@m.Exm$}0amhk=bHgNB*RxL ͑!f _:C#LNMʹoslڱNQ+#4eKq~of81Kl˥Nv̹CCjw+Du~E43u$G-6<)M= i  yo!lsᗮ"fKQ yFۤ%FUxyWxD2~>ڬJ7aŁRX w&Xa=r˗! qI%pYۦH lS<_pmmUA]K+qES[P{]ЇĿݔoi;xȏ#M~na׊WAMep.vy]]HE.@6X/P Z^V`gԫ> ql 3*7`e ŭ uŌ}1<ˊvV/5#2Cadk~X9\@n߀_m6|CY_Z_]-Jz&pȭ\E8i]`OV 0kP| Sضg{(<=gHS򤖒)oNڹ4Nj+yˢzDշA76&il|%">[CQ.*l`Bw; ̇\1^x tsn8!u !|Jf>ceRF)4</z2@ *ܤ)X;*Z\p"K璙2}n"+Lz0!F|k'(2MSi]ǿRwyAj@T#mSˆ?jY!lk5EU։:PDzύN~y 'V*ZєK<1`.Gֹ]4[~%c8]mFK@ka(0>85@ ]L ]L{ݮmVRAlh#dܖRiM>t[*V GbQz@c (dRGd]kj!P>DImIze=$nI{t2=x13+`{FPN S[jķ#m3F6/,`(mH+v** &B.@Uv' O@1׷Ʉ|r}׍M r t:+z[ Ydհr"GanBCঀJrO&pKtcNp̜); ps%I+ü{n aaR3u7!imJ?aIUmYGa6Q5]|>_$̆)9 `\ܕzƏe!sx롯s~n.j&sF-dkޣ>t8S⣽1K |hЧa Ą< &nʩma-BsU)Rmj3{g創^G|+4 ^6 ,u /N}Α},7PYTKy;o 8U0Aw1G|`P$al^JICE\;{hKNҩD/eҍH ((qxe*y~0珮e\Ey߭-y>STrf {^wGv iR';TLڡT;*b֑vp:zlk08Wny\!H^{,j_u[yzl`` TM\toZif G9/6C//|kc~/p»s.kPFITD4 E422\o}=&: !{˷"(ܜa8f5"rR+VZ9#!v BvEr#e6;?r٘2?"1KłJk¬8c@gqh4ZΣ_ -\oE pۛ֕ݛ#U'%o쨦Ef݈CgZUnaJDwt;_>JigPd藍̺tN%5p# 6 {s,%'`T_ k3c"qOgtڐњ Q<uv_N?a\SfZȐ*`]Yf2I]2=rfaQUn?EjsON?}ۤ<\/߶ВDކeiŝyYqƞ9Me HCW㫳hW_MXW_^*Z=qPh>`ydY8-,~fvHE͘AE Tϔ2wyE"yId"NSBU)%'"%1&F0\hFqLk?tSv0aE놏PK7Yz7`ys[7ֹ!/Mc!]׎ 8娌nò蔻{x%wr'VgV7R8RXOA!ixq)~aƠlW4T@ºN:U)4G@׶v2PlwV^ik,0_$j E;ߒMbK,>H; d@0|K?+>. %vS p&:ԁS$!M3K5E< 43_bQmtz Z{/ Y,MX|IWӢ֞^#- 9A,)J9^gPe>wG'Xv1'@6=ڢa*f5l]>46Knc_Ky2L|ҏ 3\lTzY EΖ3V$r;>UP2V];Z3QȞ?<)3rdQҦ\0i|4j*\[9@DSYft .L![*W؏[u2n'cHvy3@Hf ,؂@2nP;T γ6jm?{"$t;W{7$߳2*c jvo1O.:][@Ow;.&V!7jRtv[vk(Ak#X27C;a4ʃX5p=̹m{CjNDVScchGvLdȣbf-MG@ ! z|yr'WKyMhSj(#MB8@gF7Y[_ʃ,D: ǯ^^$s9ū  R)@B>_L0=?̩U۬=qXo'gi[λNy8i*]HX-%e=kc6 ϙ6daGmGE} :m|y7șMTBlw/A0;d}nF-7)CMF,jA(N]aX:Y7(ٸ 1|qqIaY) 9~abOLhCL]׭F_36z&j~+SBcUA,k)TrEs 㦎8 `+FE'/+I/o`A*XX,ZJtUSwN<=ژ9YL؅K![tM -VdxAf(Fx1ǚң㟧/_V4HUT CQpiGg#v:"<;^L~MzFF}2Q9it")(+#wN/Gk3 }ЁVˮIo f$6iT۟e/'v~rx06j@.3K6Mu f5J^[WM26D6{ ~s;3|xӥvdkԻǦipoiר]vN,9n&6S#`HYuU42~ {x'O % jC̚Ѓ~D9`(Rʾ$H{C|E``$x֮[ ~/!P44$TU, ؜ q, S|1 ZOFt^Cbc$22|"KzPfo@pgQ-8q}3m% ߁!!/a){̅7S{40rj0g}`7Wo<aڹG9# FSlDA#U*'Ӭ h ]]K]ř|uAmJDM*x bۡzr~,P2ubߏ !Ve!tS!M57ʨBD*[B~(wl6) 33/ 6`_8ᡁ N7=9a(vs!S܊צ91ư7E2c .x斨WxLL(& !h lCG\! $0VӀߗ=xy}ZjJ=|ғ__ (V/i'6vדލn `r6E^SXUƳp<"\?h{ƫ MMIl$G%r0eax$k〭d&O(HGFG,lJ ߉sh(R骲L>S$z @ NϏ5K,}kYqۤƎ=f&C1}7+1IX|[F@߽epqX6Ni0b_"l1VPX^ @. TtdRHg G %QMD2@)b#,T+<@Z C3\/bT0#)]0C˻bkKMɅW/ے/fB^^ozXlc4:<OUl_D7?M{v[M~NtQ gg}KfVcO{^̪һED7ePNKgTZ7%|MXY+ +2;`vǚe[nd b:F2fs!(L*G%eQ? LF넺M(+,8R$ _5HۮgL ҽ̵=ykn`nlޡj̘sP:4U0U@J柚,"4|i\36Dęht0@S-G<:wЧ3? t}|@b qLeAQ]IMh7'[ V9Ȣ;Q/T^{Y䝰s{SD΋=F`!RdoMg2.#N-g 1}tvot\*^ľ{ŧ\cF皯nG K9 /.ck̩ /3^&F3cY?70FENjagḎS%zP@LCY6/ sd*Vvϴ$@}430lGOvmj샖 vr ^h܄'6l+Uo~.GvMBMX,fҦs ,s ;6,v<̬2vk{&nZHi_gw2pEemAE"g";]`0{MeDzm@d]vq3[Jhb9CbZ*IN4[ÑwSh']jl Eѫ$BnDVLX2Z^닍JJxHp4uHc}h[?n EYO.)V%k& ࢲ1 Ơ:BliYeнL'֝.2 lFh/sLIgYSo_[*E~|Urs}^O F\28?]9~Ob-(T,%YT=øR,@R.͗ɼ\>56ʩ1.C{ŋ Z/d0 da* FMP| x*m=lE=dasV 7-?"|%H$̉@Ҵ}o\E3[{t V_ʬ!V9uM[-آlaGH |nV Z-ljdR\.D [0 {[(ΖC~n|a8=}]D ې<}NZDiòhX1qIxv'N/I=RYe]VAK*R:e}B ?x^QjRfLz{>7|R6\fI]H$1҈3я$Xg E2TQp\hqco0ԍiՌһ>ݶ]Wi0`Vo#ILjt(oUTJ"%[pH UN$Hj(zbބV_Ԯ~~(! _8=c'peOn5G6Q2w &RO0;`=vsv#2ڦAM;XX4WNKA^9baG.ƒ~-vz BVq*sl0.MI?[U.IWɥ aA{DNzjz4)7J*m@.+)\$mdi cTkuQ5sAg^$L"fk^=Ts kr8fqAؖ,hDpҸw %ZF}o t|V R+w&I4S0tӓjp1y׽2)9\b9~: _wwq< D U /=kpr_5iASϕW bs I jش7(Cx8jD!I15*I:n-w`0p1M-{ኦ[3 5 ُ%>LgU԰K̐(W]]Zmï# S|_-UW GMB#9#/3ٯnTŹi-/9=fjj ȣͫԭ<]YХ ɔ+6{uŽ0}5T& x!ƍzEp 4>/'g?' #><26$ .&[Z e8<ӹiiZvl9&FQӓė\ uvRjٞjfiyyJhr{LÞ9t *I8=倜%caj.qˀIGWE^kF-# ^J„l S(g]K#ߍq-H2_0T>^`f1 NJ;jO v,8 +[1Jә( z;__<X!͂'tKXB؎ =t_%I 9lc a1V@أu&Jy~"jf$tOH{M5 咯Wvn)%pK6`iЋpx Ö'>Xjzs0dkenG[_m83%IL\ 哩@No/?[21;6=kkHВ*|E^=xuuqys5y> Џ 6\_d+jqSư:63YmQU7ǎMBHIszJE p%C{EW*)CVW'?S5Ui]U]}y|7C?G*Wt63F]ˑh&?"W-/Ң*I֯=MEۃ ex*ntW g% `#NnHw!oGk+! ']ΝJc2~&uj1?\O0mW RUy+ԽBV~{SʴS%xy&']=ʚíLl+ iD6\']TN_~|4$s6*yQE|u&صPHɳUTͬG-(Ma0ɾ%Hi2DT8dڭ*GG4 nΒj[zexn,Wp2$ r$0KM~2Vm%_3ciWV/{[܋a #Oaa]86:92iѳC\ v^귮WiWJ fz$.9 dbdˢK˜ $Qs.RKR!2cżd 9}IhIÃGmB;؞m Byz#o5 -ɂ>W k)|f~DdМF<ʘ0ajƶ _9 7FRb̩da/ 7?^'tc ^)C3Ƿ1-oy;¯Zw'L^|Ժ/~ιo Y6,|F%4u`Һ\&Pq3NquJh r|,߈ ސbPŅM%.x(&Et'X`3tUƜ՞Sr|7d}U |  lk=l_P r -SDRM} >\0bJf!ö~h؅픽 Ϗ"+}V߱d UYZ*^V|/~q Q/ڕ:CϲfC/. b iwK}5umjއBpG+tp1̃FLÀ>bIp>~{o.j_-f㩫)Ɩva8]O>9UWSqRAiWF]۔3.:Y13|7bUN.d|4veiZ24=VF0: j^ F(K蟛g"t['@$% [w`b%;s@:'߽cAMK'%!!6fG7adu/ qZE|ڢފ<,0 +lvtEy}Uen-/! zuMвIc1Ŷ)iӞp%&Sc-"Li4j:x@pIZ FҀv%Ea/ub+[|[iqi'c]0 V4bS{n&1Y_yF39|k>sI]Ԓ3},Lݛ5p0##ץBҬvyq#Wf*@noq.DhbDt2΄$Cš#Vع{& lbw1$hQ ^]DF XD$&`䔿NSqɺ@Czj}tKEvOa z+p|V Ҭ/befr=r#@Y5^|v\ 2WRg@v ,a-Vx1YkЂM#/$VӚΒh ɮޚx9XeM q0m9il3V <ي%A.n'?#XR1Tw5ᆠ(~ZBP+&A]u$!Lge4C?W%cRGBrSIC9>QsNSnVeAԣ&4Dw˷5U<7ʥ2FfK"`Gce!U#ԯ慶vl^ԯav7gS Hv+ӒIBӖ *Yfdz6m&C.D17/h1]%|6tW9CaTѝ]FF!"Պ\-f ,5pah'ܼk[DX1>|J1›1 `Y9]CI^8Z.ͼ`[KX>BzPohY"Э?aca*NԺ:}|c!P) h`OI_ZʫEP{l]BtFw~i__+1}~`n8Ըk0bAS@*4Pdm3 #o ,EMXQ)B3ƹ#|{AZ!i`v*>_oS)8-\~iq#v^F=(=:"~k-7q|NJSmx02hg>OfF-a'v mSyH/~rQ$&ܛDã ~̀4hwȔ#'ԋ tbjTFe0B  qffV!qnf78~NN˙gg!m" f0)Jk)F,4=n^ϛ  +µpf1rm h4~} zU #~͔b<58NMP)e{DXp2`~l%RVh=Nu;ȃyy4YN\ (:J|>s+S6MA$zA:z_+h23P`9f dm$.]K^9ׄщ[29%,] VA[xCKsr׀ofqs8눟8Ǒ$=)`<$XG@"è i_eZm5te#A,E+zQݤJvO6I!uC.f +m=֣\ݶ(j?䙠^0_աr kvq@$'hUXrw= ^--VO D&Id"-Hy a!NWYV2 .#x3f~P0΍x9 #VnȄ ~**Ħ*ds9äVTG/43]dnG1Rv8rQ<:W&5C3+#K$ʂ:17Q3;xեR5MGjcc+Ƽș2V^2sj]@3_iTzr >YE}Y-_-%8%*y=} 3B ){:gyX~VLklmM'^i5|ďiB8(p)e(ڞ6NcZ#]2e"Cf:p7.nR݄+)KuJi4rxk,^°n`2\]\euϭN# fNΗ=.Gu]^)qJ97#b!h%(nBмzb">1qʡ5oVJ>d$+z,ҙH [>- i.͢)ZX[G) T_ n5gc3hJd|6؆*<\aI"*5W{}xXA/0s_${Si\J`@N4ۊ$pu6PYpCWʎ6xRSRm-];ws:!Gb1P$E5)]RU ciP}{G=hӾpݼO,pz`(TWOy.U (淌,_`;ۗ46Pi@JRE[)~ލ%`@=J`not;x0jvKBh])r_uω^ 6 LW**K$Jb<"^D( |&sfDz"pQA|)t"qq,}-0Bّbbc|q(ʹ=|ᯤ4|*,A]0;W+AN2wxWxT+㷧!#;f%6S^'yjg:>Mhê n"c5pa JL2$n396+sH{a|8>ZJi4\ Pe8أiVIp8R6py݂-"fS"TTc/0Ig'.#ooY]<P0UYHڦ|CH~>CBǵoC͟W#>~h|>Kq{Yp[`V&uZT +ml1˸-S7;ml|Ҕ$/lj^/W"ԛCnKUʊ7fHledt+2~4eg0=u7=T=4U{<}n +&OPeǎı`\qB!""]"Ct1@:WzWʛrvqhA0?t}k/ݡTS:ӆp-d|_1,l;2jGr~-+ɏE>bf'o t>Y00g|Uϸ%2MV$:ߩ~1zȋ}kRkf@n.D1;ڰVޖ%đz"݊-GEeA&WoOӁHP dn(Έ0bA,E%F  1 z nrc%%\heQ_ik"qY ːHNX62KĕLobŸYEoC݅@6 MGSGdEr&l3Zv5o!,(RQ`\X#Pv~JƋwH>;( փ71n$#83++>q_]u\MYR8Uɘʖ떬QP(1GO6۱PU[B >y1WlQIoeNB૴Wf`þk3?o?-A ԝˑaR5K!-V b..ar򏧍TGs\ͧmM13EBSM*ş)))8\C; SbmZ6<[hsI'Kڱ0fTwW 6r ƢGIrи;'PmaS3zpPLԯGCnC!{NiSY=x*ڤ3hŞYiX*ܙ_:U&Tÿr;mOM+?skpҊgP >)$ߚܢ(Mud-ؽ7׶?_/g] h'ΐ@[O( Z@ǭBIx-ߡ ZQ3$Ѵ64T$6lwP2lj܊ǒ}^T? kZuk-87bP5һËfjUs^gࡴ9HӟƘ{ e@9/b#(1X c}J?),Uj;acߥ>aS +~[. Z7 oGfܱ9d,h &:q;*^ɜȫ.O*==١4AGO~R{C]Mϧ}16jgCa/ѕK6yTƅ=)_246䐃 FfB9&f#@L,pªdyBr _O)ƪN2,EJc;V(BF=Y<.{* YXS/=@"<Р Ŋ_ XD|; TҤ?ϩcCY-o%-$?Zg(Ӹ"BW$j+i#evnXFh OHJ٤' PR:Xۭ{мHӱvX}=(T0!.wHXzT7/,mA,u!#u%Z`H*_|B['_Oo@!H2\y^4@Z{ۊ!-yrR{1DJ4#GS]bhxV2_i"+ccf)jg\4&Mz }['{{Z0YsF1#3|Dy_ %?( }eZZHb#S'?_ܵQh(4(Bquͺ])- ^GX-HwЎK]"_F9Hqf-&XEO*5m WfkHѕ/9T-n z0F#. f۪ _ᢑ'Η&ɱ_l ]@ PM S=F{Ji m_X#yNyPiN'Z&bYER;lHG2 .a_H~Ŕf?r>-PV?a-Jq#Jm^ln71)^(4Nf \{#lZhf aQ:"2jU㗤p]Vg wh2y_e53&FGە{$H-ÄdK,ڔ=r1/6IcXK'q]LJЊ^0' H}DKl wib5FMO<*?oP\ļK]&UBdt9=-{t Ϩ,rq&F աd#2ւ櫃lLtHP~aN,Br :WǼQ4AhKȓJ^@Ⱥ@/o`(٭eKmvA7 :Ttʶ\ JI=ΓnikYfHE+ S>mÿSrNC811iiJAgaۮ`_%S)*M<=ѡ+=(F*Ns}_[95rkc\:@3^!Τk\HX{ [[Ž6 B6#E!v쓊ptׅٽ<$iFy1% w0K2{D_OSAN:(NpՒCN+SCs\5i(F p#qE$UR,ن`6%dgz~hPчg>4=~ ҧ#Gh,*)RnГEa%Gl6c:E>1vfu~ށ9{sMvS64 ՊHQf,pfZlLp{(Sy~|(: 5-G-?g"!cZRJs~ʙK<!k(v`HHpmzI0qxS:W/+ryUbU1P0;Vu/L!}2Vy%?\܈%xse؋&ǂՙvd8tON#PXd~3j[uڲ68!aH3H| x|("xY͗A Ϣ<#b.>]N;9_ ' DS<&.F#ԅ[ (_}aͧJCUúS>?rƦ>]15.^% L%<R<8p c{Ϧ6-' ,$⹂̻5y]YഋC~`*xWs%E)n{O퉻b!Π`,(-_5o~Ӄ{U/w -gӪuKu/\)ig;GxY"8Q>,cA1H~Fah3D[vZKH(]# xetFTcLY{~@{߉`|Ujz?4lζ!O؂)B|͟nhe-כjB* UL2=2J`/1 <%BۚaB\> 4 ~0|1d[ %d9a(Sʇ kBQ.&1Q9AעC\&>?|=wjU5`Km6Z'BMы19?%/J?_^B 4_KoOd;\">O_h>m/U@Kv>A;P1JlC0>&4 +hg|<9!Fy~FOd_@D.;=g|z!񐂩!-ȘX.qV@:WM6#{Wa1v9a.ҞVVv pW] K /J7F2!|&Fȯhש凲!zv+GflkT('Ig0?비[= զ|ӎ"{iЉ\Id{6uMt³ûzuGZU"oC1"^؜ܯѭCZbԐ"Ax5m4H|jzȯp(O{K7S܋EC""c9շiJ9;g{c*oˆIlpK¿au6d7zBc[@Cx’,l0Е@ kd1q94_Ϳc\G[-H|S4I×®%ҳK<"I5Oxxk֎֓ɋ|-]]}KNhCT;=4i[(/36S T >_oh+N^ Qc#h-?Aas|;R3c;d]9w@P .*?ԻVrQo_կCm"qD`4Qjd<ʞ{|  ܦ4_B;xATQlI G(v}QHZFZ5|loբҪvqH9 [_|1*C4=q;ko*Cn498JCFCRC>G)!XL_Bbˠ,O~ntƳ* )ߚLuh܁{I(7PXA}U 6"RNZ|NIqr>Xֵy38doc e(M e|}P<+&(Oaf+Hɛy|J+e[NSF ryh4ggthѾ"]I,S}e" [&Yh~0pDGʷoJ!ȋ!‰ տb8ĒI]mDI.&E5ޘBIW~82\Y6)~eD;&K؆r=.*Cl ݿ -9H:MD Jl0&"='Vr0YMpҵ͑ȔnuT Jl<+ k\o'(q:V0M1/M:h!-bNE#nslIBh~A6UipfFIʾ) ^TJ``YHM) ggDy4/Q u" e4 ,ЂṬi0+=Px-2Y+>#DӸlu%S+%M=WTO,ϺpVB6jv=5S|$$ ҹc^+o.4ᶫ ۵R*:O--dm%u r>9NS>ۯmUId15X-fѺ%+K bWIh EB f<Uw۳b=_؛\R"7U;JB'/h#k*8'JuN>/ T6@88lR}PrmAw_Gvi^YKB(rQrޟܿV,,-_q4 ӦGz.D\.9aAl@/? ,!? dq w'؂dsJ"+Z2I50a]KX ԠLzu9%@_;_1\oB(< Q[z,.[ѿ"6KY.#W\o3Oĥ;=2c>UA^mjcu̿ ZlI1c}AB™v0@TrR߯;$1 M|z8Ny2~% ){!7:p IG>m!oV@dJlX_XPOÓ0$/+e/S)Sspx +h~nIq,E T05 ~NSnZviN+ZcP[^r!Aٝm >^jT_<m0E8%W+Crz `kCV4oYA v mnfnK$Qj \}Y rG%^>{urJF v+Yq%h}IA}4gɋ5T1Fb.S 804;Azҙe0~iI-rN^O75` <*ӞfUm*GhSLBxGn Uءbmz]V7P]ü]G^lcb HYI#~Ҽ0wQNu PcrMdI{By,Wj@)Lxx)#_pk_эwGԸxMZK.NhSmez/0"@%ߒzף%Cס׈:gZxyU"uފ3x'Ց n LEhXK_Ohj1XPQ"/%y JFfs`fAo箕$fkp[!B÷ c`Y>n}y'}^El&(FFホwZ&}4 2)"KsG2-݊&>5@I]}D6ԕ eIjeEHkMu`<"]$AWxK) -1eBA8$/{DmMԆ/tJ{gXyPv9FL@d}Lߨ`̿zP*j겝&9 M5Te.)ۻ-_ q? SG},ayNɧ @ٔu@Y~/RYRȥ"9IșZ.t=y5|(₷`i؅wv'-CǴ5"šٛ0ՍԣE{wlcŊa:.ST>b$\}~tQɖ0{\X҅oiz u VB:j',sC9SOAZ~dža*Y@̎aUO*JNW0 Bj@:7aUhx"b80Ll C{d>櫷lxēcypd·E gDqX8lREFn;zW!e<*QufY(r:n#[(Og@qtE 0|@|2_`Zh$btGc2@M@;#q3)ḳ2IHZ#)"}'T h+&uT:Qq(r˰ o~ޕzY֑‹<Dbwv=0;8zR; PPo 6Mbl'LMeR)g{O%͙HOT#'Kaf]]p_ľ?Rt^n,ŐzCoOVǵژt7 3x4ztT-b|b[dݞ7FsᾨU[xHQ4g4]Jw+_T6-r bRٷ+X46庲<4:Z-ab1i+KG}.*l]{^Xrcl@˹xcmv'Y%7(fJ:}jd`[>YEY,i AwGjPF90W'y.}Z( vBA>Md;  M)Q5a2Wj&F) R ngWO5aS5_JO0z{_6guW/eG_A' XV5|ώ\?-#ʃ#z! YDo|*FJOT /%8;&.ڰa yB(M&]",JW ]1"ݟWZsd'!>lW2__v4yS{͑W oIA e~KxQWjhVzQJ>?6.r`8~!Ιm˭y\>/͹+2K?L 6ڋR3Bt|87@Pc`Z$;GGG#b@ᖋ 4D+n8 K)l7 \Q ש0)|56b!kP;Bf$-3gBFKcTYҡ9\ dY_/D긅ON+AT7REnNU,gvO½\JS[4K_^ƫtwi gC#NΫ@O7K95˾:k 2cIFܕ(B*%|nw3gT`#}΀fq>i6+A}%7RJI(Yz:I~B iYu?Y Q[psܘ"˪-X]G >7:='B3̂6!ԓ&4`HXݟPCռmlR#6`oFѴK#}pW0@.^әwoOs~h&p5Y/3W)6FD;d$}:Y_ :AMoJ_ )DS3b43ށffa'Mf0٤\,鄓N.Wm#&_Qd>d`ņ z!5Ls@O]~{[goX=zD֪7tL= p=ủ׀x8 aO܅.T%˄ϳ3I ^ x^3 29k ('G=O/I߆M#JW67t+w[-(f/ wVA} >)זPc)"# V"IB8εQ|c.wݚ|IkuYӝ9(#|anxQ""bVB2_f>+n)7fj9%]I#uOUO'U\н QV-PAF[-w1$I8]3tp ^Xa.\\ PXN%dVʓf{~wʮ ːyq!G& )}e`}̢L鶨Bo5zdϻZ Z,NZblMaRSQQI2,#YtD?rac'ޮ7ΠԚҴ{mfUS(I{\aѠqRlߵg^Fy;uUn VNq)HVŏ!F{>K""U73>ܚJ^'L\{drF}GA#TM`u +0H&ik=;n*>Ua W8rĽFո8נɛCb0 $r'2@.!fW?ob!9[_~UμpX=B>r k m5BjЭkآd⠟8;619溂|^3o/@|b?{N8e<ǎ?NY=A\O3y̑HxHAVZ29-]AhfD9d౱Qy@hoXՇ]L'tg)Xp5%)q]qt_0\+5 pF{0-Q&?iS{نF bA±Oԫ\&D KpENtWE0R~udY%^u^]'#.R|bIa@ngʄ:l`jOPx"GCnoVp HH7UZ18XG㘭nymJ*KO1ŠpjkܳcӿF$}cv̲[iD[YaQ fYGN>&h(}X[֢A7S6JI&M㷟>ҵ}EzbAB9{#ƂN@潋u;!`2 ן{Yʨ֤Scը#QW欺DӾI rK)qO\%Ngǚj ܶy+Ɲmjze^^Cc,;^Ca[HvRφ @kK6 [f\ TuM1Emg-U͓ӪC=+Rk,tEGXyś]byMlL况0«_|SRa@ƫN%'}i?] 媦_{?Ɔgr$n SYaSA8 \,˹u!ۑWIGŚѦM8-oK-L*eFM,tƼ"g sqwuv5TF@mpk"NŃ47sgUA`"5#1| 羅~uȷJ4F? qj﹏hp#[$.f &,LqZ%}VD/3p5aw:gSNֲ>[YP%C_2.>č3p d @>!B3 Tm~cgm#U`Ӽ)M3:#duu J zJIXpZLVřrY  ILpM{%=#G_<5I毋]8+twzyy#AtNZ 9.`KJő$_WngVTT#O/rDђnOSUogY,x73]~:v2(lvS28  ЂG>bN6u1CӰXdXIFfx'lk;Vnn n_\=A)H|eVINL2]-Ӻ }{ ІKرdOOJ$e5q#y]uXѹ6mT87OrбI%) 7dG@q}q%]sy{_Dd1B(6CҜβ51@o.@Uf p;=VK`sWM#N!j+  ?qϘʦ5 A!u?fc[ +AÕ PٓPֻ,ҟU01Y[w2/GQ䪶5j VЄM]mlLց~ȸSVu97~at$ 9^~ZAv]s.^8MĤܵg|Q4% J˱/[j39)237N{S3RnXҁA|s)whFL:-7O^1Fc"FӉ46E5)X2:JIEu`F|zk5N!3eqTFEtyN_[^ nO]r?̇EQ9z.)l 4׬"lDGo`uX_-,m,%!"+\ " Z^Y}b-blwK]/$Mt L>Qqvee`)#>pu%fLC6=ٵA):^„*!A;5F2 F=ﶿp\SLO1a_$%PR5g},iN3":UL;P(5 ;MC^oeyQ4Tˌ<$zфl[S"D?CU6r.yS3֬/SٔM<~*{2+1c<1cSd>p`\ڷtPQ(nDgn*B{8gSase̬$,) Qn6!ބIrک<YMjݳPt⑝DSFT\-a]\K_6Y򩑃ze 9{ҷL^Xz%ఋ`attNbSk-Jp #@ݶ58^{5srT/UgH祻<ڭؕ0?DA<5~wr`; M>lJD( l$'q3SݎX(6I}B#Mz+I!KY -4/9"}HyI@K &04Hy]ꥋ2WԐ=+V   0 ws$'8Fcʫl 䶵_ Z*Hndz“>egLN H؆wW f!ی !p(b7GAAϾ1|O„♈g|+2>sv+QهSN/J&DMҮVͻYyf,Sćw4aT=[F[9,8_R3)=9#[/u~'=#*KVu.O9ۇ4 )ϷA ͎Wd۬vr k}xDOMZ Y d"9Da佨w$ߋ@6|_i<((-&Y;9;$hMA|>@p'TqN~R]ghTQg҆iUp.0UQƚf3|9qBA4| Չ j߳+׉?e,}Cl*]6~ ad@khn$h,%l>δ{="jzZ@& K{D7[ 'Üt`n>DQ})8yߦso f0Ϻ}aI%hnDvN)9qK3;p DCšgʾ(7Wۈt v@ ?d P¹Z "x:B,Xى! 3r%~HqDU]m'U(5{Yi mk^jP(0&kg@;w  +bڒs,*;͑7̨o#{E+ĝܚ{h26ޮ=gBRxQ8wR;X\q Q {OΧ>rId7pisYV2HsBßOXi^|x}$ũ~?XCX?; PǦ @y ]_Փ\4eImJEKйv:w RB "ZQ(5>jveeFQ 5ŗ ;qT|-T"ߞrB2=~,5g7E5DodVReow~#/Wr=5CP/8A R,(x;ևcb[/P|.nE8# I\A%Xp ;'b̎ Δh;sD9^`E)=<\nYTu,oo䰷qqӯ?d0͛.UUBpMAc?'T# `^{[ܚB/k e?0F3lO2VM^'ʻ\ ܠʦ<ƞ`3ч^2qFF,)ʄ뵢 FԚ+EXv!1#9U6NJlf=ϊ:Y-Eگ8RfS̪hܟt u+aϭhP ҥrW(.BS\Zt a%\}c0ɣ/ÙWC?fULV~x 0-Ps*_'T\Ӱ9 m)&'mZOm},KĆx@@wF g\eWcނɔܱQGΞIRj@Xj;,PL]kSIš}ݰ VXzr(k 颖,^WP!8s2MX؎1ZZ)|~RX>J/)h5ц)J ]:Z fhp*C!z8f!vcOFhO} xh'E;齎)=֏+ EM Rw)q_5{Rƀ`gjv?V̀9o[E۬f4\KZ ,M%X : 82}}sRq*A(O1ㅓ׈suBeQwaɑVJh%`jgD_i$[ JI/SJy3'>ZQؖuIR{o ؊M{U5e)Fs!ʪȱ8兑ܬ_$:HsckTsE{B;/ߣ(G,Z>'mڒUKn" >p`%aM> cZJX.5cHIb}󧒞fW0&-#h½>ͺ\dSW6 e4ŶݳC@$׫`jF0n"(~F:*Ai. A&_Ķ_~]=8<*c^ Q?%.3<‿V: D~Eq'$Vٕ>㿞VnQupx) UAs:.ݓE!@]RhkJd|ZqUKbD *gwH:f-poؽ='M(Y[Nޘ5]j5F8{>{ \SFf+ǡEYfF۪[$FX}1|3DaE\Y{VYd ܖi\SRb|`Ǐqb$xi-XiOuZHGWV"sDGY;ع":q$m~C/B;d**VU/SˁWdgݟTi31E/ i@Pf#U4ǽ[bepQ%S[Ͼ4ViЧdKbL_4 ;,VERa5F\c,pD )kwP\ K[/se}?wۢѻ'F6K1RkT.h F @C=DooFFuR:ǬEԲf+eB3&m-bm$(IƄӾLyl*2zzs>|m$ٲdz3yw>l'@ Riw5I%nU#ڨk.A|ӵnِ*bAm&:LJ07- rP|%-^>vn%kSTIIF];uB%N[E[74PE}7", wV ^Ze\_ ɪu e(+짳}*>z|h6`(d&\cDKʯDAg&*1 {6'K J- +K_ X&lb:VU󸠶 4oW]9Ys̘^𳆿Lp:B8kuT0Nb@#Hhs#V}5vIk =fP? ',RxSGT9b7-e׾`yW=sL$0tE^4'|" ɵL__3Kcp1fdp~O:Mo;#d_YEn6C&Q$R([ +ʽ#NDMzCgL$;$;==='q9Ӄ@y-Q1 9 0^)v&,S`d~OKzsH}ceィFʤIt,v_>Q<5{[( ~/";M|+Ѹ#_5t%mSbesfTt?'ߠihH-5 18Cmxi.>^}~7M/AR;r\4"%QsUFz0olnLG?|>=ݔhŐ( ѬxmN?>A'WӉZ߽awS{`d5|o84v Q"X=HE5Xz?5FI)R,\s5J6CB^ +E~sz 1(2o; 5vNY^vKY!\7t-[*ZL/lnmxMƥ\=gjrV(x#`]Z"lh'Rob1'؋lAC˰}ȮI6|"@g*}Gtsc3Cl =蕉;idT&9~H m0~?d4*T, Do.W=9;SNiz}R+j43HPJ?+BVXsNN WZ*ڗq|9FSC!U6hNY ϧĥy{pY愔]g_G'c讍JW1B+# dSFHC\#I]dԺ>Q* ``# /q",#|ҎX`mODڽi)kjV(uuWR/bX z%^9\醘ANt_e3US-!$fsHRɧw5 [H0i`&:3nuBṳ)o3懶$=(%2<"IfD}<:Xx'ecN&4x$3ܼ&!X?Jf`i8ܿ?'cubG 8;jw-\>OY%K-!a+*ْ\Go2ydK#.BӊWs86TºpT!R J"TQLh6ogOS:a`R=f:Q3$v1~FUOCDzס25HFAm$X%l;tZg?j?f(Tܦ4NoKN2QQoz3)ܿ6!dCP )l,,%vWlS0qzY%(;rO/:*zkjh`~E%SAЀ5=TNw^2E[KۻEԻrK{2JUHt]Q;V P7YGн.c!'hg%O3GCj|>861`Tg;2ɦ]8H0FwgQ;EFyӞ [wNkUb>ڍ&f๊)Ldg PRp7 -jad)rlp'0hz%\xאmǟӆՎW:W /8qz‹yoޔO^ ?,$W1C?@UDpAـPFn)4nF*AY֍X+Dܘ*;X֘gC'y.,@,)d2e=PہvV,8KwjF hHB 3c#j]m#/Z~ִaux4cQ!r~POK9R(]DnmXx FʦՖVwPQI զ6x`$3`Ì6c 5FޱVm7!*y=k;w=h 5J'p3w:34{c*ɖ)F`%un!M#_?7HW 4>#|CY@RPd`\~p,X/zWliȁtBCˣm!*C(G+7Ht0ubK86$fA1܏po5<l |R #.4.Cc| sXn1\EgdɬȲpAj[#߈0yDd5Jy(u6΄>DN݁S\IQFq]BTw;`.*ZyT/tnɐEVkg7y<T[g#arrL-J'F'>6>v2ނBC%-Qd>ϱ4?ߩJ q b KHOȣc9+ 6ATғ I*7ࡼr?2Z VaufpıTXgYZ3fcc8147b48044bb1fd80782b67e472962e95b23 597f3b6a7efdce9f7c92879997bd5b2a2db90f51 695f63d42d97b846d200506d1e7ec0451b257736 6c41e1309b855cab18da5234be952d7d09f06ea8 ddcacc19d21c53eb4e40cb2c583d232c777e91bf fa67b0bdc9b3db879d46400e77afd6fd5343935d728eda92c596448850baeaf541586ad0cbd7b32f 9daf9b2243525f9f5d1a1f22d380df7ef09d72de 3e315ae02238ba29ff4dfa91456277ea298bcd5c c9ed7caee264e807a36803f99935d9f5cda79306