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 ]]5t, ; HOL-Nominal-Examples:threads=6elapsed=365.345cpu=1370.628gc=120.260factor=3.757zXZִF! ᬆ3]ŗXf1-q恈ބԍW_8F ryW{1JUy;f%V|xcp5ShW`yu`l NFߎ:q+Jj\>"~Sa%m#2~0%.N:XS"4ϭ?VeϗQ[H\^h`~7B'GA>r ]o|$yH.mf,tKWOcLq%] qt{0[d#ri[~2^[gw|!1suEoA hd4y!|-3::(FġPJT\yBKHwM:^3fS%) ߂o(<9='>_L P--J^)I./tVv֚{Se/Bt A;p{J,H'qRͼqp23 pgNG0,髬{w(E|-~ |i?i۱^I.yƞ7tco{?1nޞu3|0O/ۺf fYԧ(dbMcuAԮc9+#w7߮:S&  l$ ^5bÅ(5һMᇳ3 ޹U a|A)cL3hοUf+հ=߫{DAR0O7zMc"n"d._AVr 󞤩m\SYܛ~_n4 i{4Ii)SQF*q2N[xsMҁYiahiX(#Gb лஙM^,|"Uґx%*P0L fV't wo}~D< _Y XZ4GHKqWnTR yH[dyK΅a;yH}Oe`RFnS~W*`N@owRx; ]~!o8 )c5c)&&Ry>. ɑc&}9S|Qvh.UH 58@mWe! [%csFyW>ZbD>^,Ah_4tv2M_6`7!ef 1]JJ =#3=Ln&x_p%Z~G愘KITE׊Ò/°M ٴ윿R_QMr3[ ^y_P;| ;-{%&:R0N\xTفVyX-5$rMp%^Hvsvpkh x\Vѹa*li\8RcOߦmJ)(/qգБ%bIlLKٙ~~N cZ;0EQ+ f^0wM[/!1I^3ׅ qLظdVab¡ի_J!WFL Vη6\n -Tk,z%>`B 2;ZqcIhinqr9J~%:@:w,=4 vh!h~&t{cqU$r;H Y|){5/HU|\1N*>YM$0 P 'v<`φyC77vP#ѣq:eeXp7hzB+UcA2 r&Ry6"6Ge?S?z]rtbq)Ams@϶yu0e7sq9@y! s0 5уGr[Y0m720b&^l/j/EN4y&ܷS'z=_2*)g!q@+UGzU[ه謝)räa3!LnBiKX[O8^ ۏT RRR]O¨ 6BX}T⃲:5լB||j-3tff0Itgg} xL6g z:,5Kz*. #@Ϸ7u-(GOv#v`^lgqv2i ~盫EZ;}+-A=v7.gj^guM}m*~.XETty300GeA-wLzsQq7mrp 2cP( b9Vhis1eNG}Waz:U8 c'n ^(TZлg^RZ+uw/fN5a_ \( di%fRWx=L3Eu+ (_Jܯh:Lp'!Ր{q BNY)RɅ6XP++z-Y$lW荱+O.LrYH(}~I()&W}t)mqNvĠj\| x|&b'V*7[6 R# 6eEɩ YUlхfGpHrE _yf5."ҵm|,xE/zf"kȉ)a w.1ti&sG$`v`:; /aAcs\~8Q^/ P2&w<{s~6@(y1Ul7a{e%SB%eAł?&8%҂H;MQQb{ٔ4B,d#6WTvTmD^ &LeV,ؼ"rD~92b=j8Jǀs"STlH}ɫj-KéuC\32jMQ[!K/lS~P]d}rVb |"k;6K3 Պ@ǥÓd-m6 f\b6֐@BWRE& bBF Ii. <ӏ3>G8Qu)y)׽4:岳k >%͌R{P'.yt'i i,{lJo})SEu'Lyg"aJjKķQ:HvEJMy 1\XXt (-MV T,!!ʖvKPAJ::'*L'o +!x& !PfQ ؎9ѤB<_ o /F1G:ggeB¡:O6> β Çn ȇr @,h7ĈY/HYWqoؠP8ٖQa`&Ke}O@˲J4mo'_.IZkFʚ]n@f${ #}i@i޺}|)< E[xQ-t٦nV "(!P+uVj~hsvԧۑf`9׷,GWM|q#;W$e/&w8Mf!&qxf&Al{ƗRqtmW\&Y@Ԯ "Ui\>֯1W4q_谓MqZОaC~&T *e c8'0tN0g2qc?8$m HlјfVnӕWNƲҞvuG3!6B!ϧ}6zg{кIPV3ȃE挟 J0}u1ge]$B˔^PòS!}G lA$M*$jv,O3GS0<9pyM䱦!dN*RwHz0!Ǥ"Ϧ="Lo-+9L)\jiWf&muYsIo>Q'kWeE2% Is dK1>b9b<ʰi3ސqn '`Uڂearj*bdaz9݅` ;ı-m=MW}fNw1C@-&ZѮ즳1'jq6 ekrS0=B}fPB4&ZdӍicɯO{B ~=B$Z'4@&i /ZUQj$XuvRG\/g]&pI;ainfvLͫSݹ:H 8W>m 8T2oIa@֟5~[UiC/;PjH>/LcD"zpm$!"yf.Yft\ղ#G"W٘,#ȰM遅! oʝp3+2=lLaRzj(Ýnc0PQc)-IG >~5zILg(&q9Z&Kw%BN词'ƦlAVFtM67}K%-vJax3  yF/fEz:(M~!zbxQ|Zv[ϩ ?1*A{\5Tˣzgq+뾼-C5$uʺ驹J*X Y2Gߧ"**lxK׉65M)_X)¿DQbokS݂e+) J<蠕|"fݩ4I#X 6[NBՀ`#p\n6G16buo1ܬˡFJmp¬50R3m aɨPE@0e?@4Jz N݅d`gTF%MߢRCWTƂOy p<(;۲*ov 8Ӛ ]@!S~kX!o< U`x?Xe ;n`ԗ*}{FW"D}zH!р}!)C$MzM ”K'-@^fi|M>sf-8 bO9¿ Lٷd,<"=)?T=7v`C^ !ު@xܭ*=~tPcњhJ"ƊW?ƿ-e|/z ־LB#~ Oj|6ܢ9\DŽꊮH|y[cUHu/,G005'_iz[JXxV0YR{/ 0T2ˬKx=4'vbkv4l d !KA c+ȧAU3f |Mպ"hgJWaf-'ozJl `g -H8v!qNP%/5WYU_ 3vwz6ߧMO;vV) {|˜Wm^:1@$"*s_: CINZ63oXw<4oZgf.\"S֎y֙_OZ8L6 Za@~mI8.,]Bk2֊]f[ ^l ȊS N $:6%9H<.2 ȥOF"u4qm%Yp} 2|U[=rZj<4;]ߎb)&iRk٦bHW;@\LJaxpz$M8S㼐US&wZO}45;&B z=tY$ӡ9UKvNDB?[]w<0 deT2vi}X' I2#)p"BΘg© ]M<-K1qد \(om( iXRU4cRN9O%!?+~۞ uYeIҊ]h_I2]`k2K O$HKQ2Y9=}Riav"C,@$8YZSUg`^p"]Y=AZaDxG~4U'SChKi/GGͻ:Дz!ާCk^Ӌ9F?ZUd>MlۊBߐڿ=|~@gA+ ;z"H.9I2&Gbr 4cUk rʻIjG@h3vq_2\->YvgYZ7zXZִF! zV]ŗXi%6%eA~]DHA>K߃2bPϱ3 0\^d-4. RU\Z~.zm^@g3Gc,qۨ?{'U3g\ίjMJÉI@M'39= NV6n~|*P JttKߛ_P4|aO0/zVM'|J&.+\ $)!6EF(46Yx>V dz/ $ߦ<w9Ȳrf]#'7lf_cm'oJLяj̩_e dIe\8:򷧗V Pxȫ)4i:.pQ5,ͯqt3D% WxdY} G) hPd-4;!YXܙ U @^O>\6iuFo1-bAc%)8VI̍0@A.vϛ T~ /E"ZҤd!xzcZ W=#K YV%v{  3S;5D^^Qc@ J?H,Ex/-_dpNcx({#:]41kMVS:k8 K 7chlYAD[E3˿;kbXϢ4AzmYt8_ۆ@w_$nhi8̎>.`ZXD}vnۦTXc\0*%ECԨ_LіG*ruH[*LgMwrmQ@ue6pk͢զ_b7a'KÓK`<zs} xQb]ѓO3+l|mh 􍻯7Ŵ3iN'Q)v|krH~U4%x_J]P@v]XZ$˳-uQþ?l<sD2}e"{XS<%Z҇چ(u(<8afI>Ij䐔J&Umg'+JZnaRtt69oj]0~]YCP̸rPw!>n` ͼLliX;xr./9"(egFv; d OuNhđ j#;!#(d7G?(4q[}HMc@?da' oTi Yw)xEo'B:jJ6MOY/7#(1T.XR6*.ߘKVY )x!p{b:uݺWLT&tDM}9O%LKǻ*ML"dN|P/o{t-%Şo' 2.ެtXqS6$2X6.O"[7&o[;d4P'?Kd>_ye8 9inA7RvTԮS$\ӗ6v򋅥c9K2T館/;5U1MGڮRPa,N m2EITâiq w[ >= U [&MUĘigHh1%{] 扶RZKʉg!'{8] i{Z{5&B;Yb +kM\(n+C M E?$S@7U)zٲO/@&(q2Quvq ق-+L9lKqu>PR:]fA)Aa"E ~/(Uo5ZSJ$$[& Ojev ue{M81'~wV[ .^&Pb1m TVᩰ^KJQ`OZăVW' XX-&BMi S7 X([O~|f]TeiV6Ǿө~w_\Efgcg@C)\t6ލDZv YrrIڋ YUA3H:Omۻ񹣼qwHdw]zoGOY)m0t3{<2=],`闠BWĽ8d_CѴSP:e5WQg{gr }A痏ړ;5%NFց/Ζ%:20[}c8`~X}~}J\%H + -I[ΦH;@eߤR(T24YAGs[ &Q.7p/91$n%JyTcRvEkDfflƭÐm+6s ( z`C9}gIMt;jx`EVIc0\0{ke ס@ JV[)ԆK!'3|;#MxFЦ&㩼(ԃF(y|]¤L3evmOS+[ɽJ˃p,SIb:}D54 &_apH8Y`H9zy?޴u?) cuB1)7Snf6Hf$qXϱd#ľ<7B*A/Ht8GM.@MU;@i\HnJ-؟zW!Y&L݈}g&,-V=RaC^C {[8|e8;fIG LMuJ;ǾLnNEʀ* WYADW4,V+x󭖳EKP@Nxx=%^i#nsmːc00&_ a^(حFͭH- صkY%1*85Kv#T;!5:dMQmScCX2=40O1'ڻ#+D_-RlkS"Vޝ:0l9F!EF=D_AP.UQ3B&o'i?+ 卮|Ѡ@'= Q3NzQ| NwWs59[;'+yMQUD%^%nZ%~5/Jq\ehx*0)CY<~V ^gCr{H [`š{>oRd&jo|L^W'5;b٦!aP3G??~=1IFx =5V2Qij`mQhsTƜb̓w^EΨKS}Dd|&c|B3?1k'-|YeN)K8y: ]B} `[ NOM`Kݳa0kV83U; _}q0 3lVgw؝EH $i 5,,;6~n@tivA芪$3's>촾J} Z jH zGQ|Oف893@Q>J/lӝ& '+ad564vNWUZDd03ndiާR#*"MٸJ)VGO۞*TOӜ ~K=ڶ ImO qX&Ioļꒆ4u~WOB4)AQ:U9[695-}NF'smnRN廮S2T"W˶Mt!e֨,ڳqXLes5g9GahtpSG樕!J Nৄ͜}!`N /c7YLKkF@=M]"..i29wԙ? ow\`3A1DM_+oĭi@J>km3V1N[ z{R8Qe-ۄZfSc_-vswLiVViؾ?jw /?X32ݠL \]pum3U)BGRg&>FB`woPʮ_'܍o)(i:%v#ܴtL`y2sW.胿 I !37~r-;9eG j- ^ ЉoY Vz)5GP!k[N Z`]fT;<`-LJ/$׵In30M݈Kss;{vt}P((/U265&t+lhcA 12Fmp}81m- |;!\h0E> ob)Zv&F(!,6T^RDNfOquVy@f*#%Зn!O*ȯe9XaB(p39CEk;5;RjGԇB8q#@I9FݸGFCBQ#8}$p1T3 qGyxDIGW7^38Gg"3;:HPXy0/#N.2 LruEV /?3J(Z!p`tgZXZP\g.BoǓ~Aѐ 8pt2ĽI6D=T"4n]鶐n5Z@Rvz 1焍 &nU&ZÖT\jGTcfX85_ jvHAagN"_LY4_H/YtԊ2ڛ=ka=kT76"TT`3lt<ɍʉ&yѢ0u[kN !P~7Rfqz; n֙APZrؑ&x#A_ @ga}pZGu MQIPsj,G0? ,3N~j|(VsirU11Y_ xA\mi7aAQ$-)u/k=8fTf37bL8J&IVuK??%? MX38Mď~zjO*I9C-.\JDhEmgf'90Ԡ爈j;1PsF'vNQnՋ\ tjVΥ+EWj :FJ :ߛZU9[;o>yM%gԑ+h ,)bI ݪMl21N vi5g= .QxM ܂Dz HR "bOޜC|d8izWYv2@fȺլK!z)l <oee-`z6]UۨE$n;Ȇ^eO31b ,{iʘc~+Zs\bnOC2~,^ŰVcA&F W6UC&`)wAcՒ\A;)\[ƭz槅;F k-M1юH"_b=Dn1ﰈeh$Q/ucJS^qCZ>)e4o~{n0K5VppE ըx kEB^; LqM&{ul E}KE W؛iH}5ő?%`]МSfdܒ.4kpIՖ:mahR V Rzru%=斏ځ4THm]G9)Șc(F聟QD|o:`Wa\ 8BtNg,*~ɲ<mTYb#PPiỴXv*XQܜtV*$iJ+ZxjH@zcƠVx|eJpđHauAB|-vo@ZdX?"+=]zsH\{APmYp\b!bذE`:&K~3;K ;Npqү>EE 3Zq>OX tTkn iC+Ue!FjZD$k&`caY*eMFۤp Y4h`O]zZ̡{ݞ}eiHGr$Г >,FA\0 յk]oAˁ2W`xXS4Z͛Cqa,@uxˢ3!+ t,.$'4)H&M9{hHR^OrM|'r'1^| j+J: 3ȳ;o-_445"7o6"hO2kNŭ$f$pFmR ./VQzf{1ljQSpV+ .pP[x9:O6 rDzX>muLSe O9ދXȕWcxImaw+S̵PYLwcKoZP)v:[:e8 -h~1egOJ]{MNxݜ7Cyopm^`Z I<{5Cj8Y+7bϤ6+o&25#cұK解=Ńbtŋ0!luTWKR ) [Oh.޺?i:LJ\DNo_jJo= g%j`:0u*k]+xzW%SV1 1 ugm^Չ_@.K+Phi|CuCtNYYsb{Wa,'I2Rז`F}7 40y+bbʆCe/ (c@8(3m@,58Mmjw)+F[n*| x=z¦< ]BeQʺH|GB{bqgP[zaJ5,Mpxty,~mC9Žj"*_N9_Z)roADi"pj@hm}_3cC=Hqn0CQPmI3A psEtp)q֦TzMv(dqV*Bі,fj#0lN L~-X@(#NV2vd] sPt*nY 7s|RL݉Njz#`-#] ڥX2SxVm㇡nej̘3ϐ[J96=GnL_X.s1|{Ux#v,z|p{zo=#^%s0KAѱ Xm45@Y|4 SפI8Rd{5XZִ)Nw{/{S? uq&cZ+K`壍/rC$}'7@_<2zLhOZ`ҽUh30 rA/}0g쭮bjOcw/,LJD~VpeEt-˰%Ц4biz>rFFc*aW߆CVFIV|op`]wXQAKLjݿ"۩)vZ<'⨭p(Iǡ9-OpD/2Hc[kP >g?z7/U۷@&ZĎ{Ƒؾr݅fS̄t724 . M$[`0]Cw+W˅Q˖ &FO'1.%fvZ{{C=7IǮ: qq]wHhȻk8W3Vpvz㇌c )%J ʆlÛw\܌!,TI5y+8UF̙[=jzX\G?3R?/@/4? :  gDd˟xtIbc%U$y"VV]`2KbX#sݐ _jV_G[&tWϟ˄gIe\ly䣡':^y^ a쐺S,{+; +*t fԎzCaW;q7 .(,y;P`<_Tz57"wpcsP.Ef oB|.:L/%Bp?E4'QEq4X$f"Jb"2_YlFv?yAv[Mcdr4e~ za٠-=|#P~N{)șOQqKmϘ`xʋ+/Ȝ|ޕFjG$bf1p`bf>X+@FvZh =[o%2 ۔70!B']>L1xNH ;Z=,+gUK˾W5w 32#@"6L6L鼚eb#'0Wj1R pܦ r*ggVm[<\Ƙ1Ȑ U~W eV%i&FUnX];^6^"(RaGBhe|2lN@ ?C#x)_+-I oed-B]6&.}6XՅ$bTd K=.?طvg~Cl Wwa~{r$,vμCuz|Q}ϲh+~R]5fvS!ϰYvo^Yi :0#AZAZvJQIF?ވPyzz}3}}G$A7ZRܺ;ymyAܖ[xITm'A!~T Ms2])bՠ0/l:HxMy?G m cQ(ŭ,nZRp;Mm )Řg Z*l+81B!rAȺVb-e4z<8N]^(bJK@yR I#ۘ^c\ S GΡS4<ߡh]UWyU^(/P)JۼD|s$9+@ \ڡ`BCl[;SXj+!U1a%R;]aD:`Fx k:ɚ ECEӺ|#seJHc'ͅ[ ^h&kgK*# ?`vvټ2>Ϡ:KJ4I?L劧+WAYMB[k~oO6!Kv}сRU(qYEjIP\}6'W4ŪU aDs?Yz0?%t3KI6߿liǵ2}pUaܣ~'#*kڥ37[ͻ-R![/Y#rб廯XL% /_ F&MzmH^}3$4J:7*A'ڪw"bweDdQ Y4lgOB ܐY8uM.wA-m^ayHJ &6m8`:ǚ+P6:nhnWb]ڲ 3`cʼnj_El]evsPh3%IW} &җoLAd-xn|"]jz"CEYrc|R?]hZ0"oS,#؅\y8kyəGnlƔjtح9l[mlnU+&솏f3 9RjGb$We EaKC5WS6zvvh>^HZ{M$'ިx1v>o_ޭrsVe NH(K}?,򤚑ˮ[d7r&Q@-_ >)>V'slS ½\5wYtbW)I84 |1췪JrKg9fJiy`&| ل'v>m/y<8dRIc9Lj#beEw.fcJԆX|Y;yCKgFTDuYeW-A7~IG ADakŠ 2t$\|Tsox ݍgհgӱr97TU ]Z2>RA 6c6tRn\Q0.p##}#:%V.9ǶX jY漈u!P S=#?XǨN.Θ *h9Dhᜑ,Wv4\l\4t\CQN\28!V U]i"kfCRI16}f(tytC,B Wl@^W]Hl.6  +~ l=a<qiⓨy98cIQkJHI$#m?젪ocI$ Aph^.N2 //Tg{s{\ϊd *}:_z!| Xc)EGh*|΄ܺ@uyq݆$PF1_#oYK]p5ɷE蓘mjXH] Ԁ?QYqԒM*&̮zY5#7*$<~Rb9W-]bh$>SRk?qXG}I#OsB4^cͩ$}62~uy[u~ VL]=[Ḯ!(@a$ι !4C[ƇwW0H`x oR UPz( Y?C7+švc3sL 3ְF{ O &ʛ, Ged 4Ѱd$UH{1a6oۺ r ª?nB!8YoCmbU뮚ذ`;UU@c I2)*ИX)5cmQd/Ю) .윟32dGJ/ e~F I/w1 ({se2@=WӴ7T l!>vݰ9UL° I;I/O%Ts]76mS1 v'Hhd>2{kTIȖE= ]30*Ԁ$_^Dunٲw$b,NTz]M=+(Lab ﺵ?2Aϧ'$M9o>Sz;kSbM@մ#ƥ|Ò> W`셓ծRLս?NUTʅ?6IU:c LauVl.G"-Vu9suB@ЦCĤ}S=@7#6Eߏb6p9d+\ )/ \j=R9jFGW4mc18ݩB\UNPAs&?KHԧY5_kIa\{69+~Jk<O~{Ow:)-e1XlmET#+,^BV "gqg[ 7le Ka o2%^h(\!MI[\ҹ\:AٌG:/؞vS '#^N8:G/+hS"h#@γ!0b JWdX4Y kwfKM!6C8݄ڋa7,IG6?bxrg?r͆]mYYR\,Q#Hg3~, VsZ7!ͷ52J-t8hb})@NIMY|ԈHSS9̳,wMmQ&q'woɈ\>I1^ C)Xg?:BC1|( E˰RnI66DfJkORY`Xޤv|zt]^>*xlWW =n'a5:HW+@'v+z>t<5&~O=jzBa9ҙfi2˼bd4p:B=(qa8gMʢ4,%l9=(ylHlkK; WںLC)Ƃ/lI{-Cy?٨1+`vg=JH ʉӀ>@a0Mb'ʱncf[>ʋ M+7vFIA4yEՂB:(dSK{C$v#N9,8vPK0Q>nGu _t'hTSI略x ڝ2IF?G NCCރ9?zpA8ǐK0Og:gZot P\6eNשPiR+3(29 Du *MhRPKpv3GY)f;8^t>8WGCB,'cС#j}W5Y.܇H?nY7pީHaOpa}կ!,v$%nayT'՘ic6Y`A C 'as(QYHa2~- #d*՝nE1_"YGN򷚡82cT4sǶ"#d Mu`mzdK̹3mQnwNvn:4ZCBB<|ksDFIgEt.w[?*7Ԥ!@o' \Ӭ̏\.peEYG1:n3 b\޷n?M,PN8$iBt\h(|n9WuN(UI٧ 7>I#o8 JQ3!&/jp08V s&Vر-(12_ص.W8IN3!q5yͮ򵕋qFҕ 2;D̀M^GΊʬ{<~1nj ٿ; Oa$fˮ(}yى.8"T#lFL?y?`z'`ρ3v=~Hޫlnϴe=S ?'qjWq۴1%٬CNiw^aʵt"'Z揈+¡Sl!<9jŅ:U(kMmH7GZ0ɳ$dպElWdA|ns#>(nOnaQ=  J/ =d"A>3tn]>ׁLMq7Ж77T2"M هS' *: 8op"klT9Av;i;Zg~ >a"X}V:7rX'Q\GT,a69*w^ ~2!XRrP&%̦CH$ 4d}ARg],D$95He`DmMPqWcb)INq >L4iq uG=W4c?п{#q7B8EK6LtѰ+hg{%]qU 5Dߑ$h%ͯMz;J&šGՀ$~:q@|(*/CXgU=dڔ|߲E÷vIJ6tG^u8좭+$bҨifoǩJ[7p}=5p5[oa%p3V12a񬠬ga)=nYT'ROGmߑCscW@(AچFàhSx$+ c<v6_R@QUBdڡj-H%4"q 3#he~Bv͞d>펠 b<CR>EB(>dVta01(m +ƅ؝B̓OU_V9:X 2~OzP fWd_8jxxG|J4]z?NSL҇>6[>`@ |:5Z=\[ Z>PB, ir"cjA >Y0!Bt(`VhD{ 4N]!-j8҉[0_] 衾9P`_0??桷ťF ْS`ǰsJ09uP:X6{hd#K=48'ɡB"শFʿ-`LI 0s[O}=[2.5nyfkB@87o >7IJD3VVRR.Q K,\5IMhPT2e+nЦ 7s0<:D!YKO.@ļ7T|,ڮ0|A4gk(lg uIp}"%LA%k`]bE1sc}zFZB&lKīZ8 EsFÔrP$B v*%w!Cf@:}.NMܚRQ-ZhT"e/yODbXk!Mct8 ;okBZ~_jOՆhЧЗoqf,Q,5I֨^fK V`]Nb\!DWүL.{`m`1 ŦypJDEixbӝҢK&YPL$!s@HBAFk"f2\{lcʡ}>3@`>3-AͩY I 37{ds)@TSd%U.A`lA)ڻjayb?ݼݥ3ZLp͚ 9qYt޽BM3 :H. DDw64g_bz1'&8(VQd2*eP-TdM)%_fqs\]Mz sAuQ:)$LM{ːԐq'gJ*&Hnq),i"uALZK(^q2L<]"b%Νz3nެ tX`(KETY?׍ҴLSO {|"JI ']k⃬=]ty JP6{O0ҏ[ t81{[:!Kqm1wZ0ܦ¸q G^c'*Fodc"\4 <" 3k7<4 tT^' >" Sj2-%Q|i$s;P[(XkɆtY ;R̒eҀ^%lD T16IMy!=;)SL%܃[ 1DGǨ1.iF/3\!kSxf{Fc;LXKrL |Ho"fޕpn|lbMFzH.cnKa`sg'\˧d&;lPOU;HiRSRlroTn`/&ZΑ4LS%faqQT@iDd B,V@&x@Y Z,k{hbHQXBkDWml<ˀRKRJ}Pƨ+Q=Ax, SjcjB)}7nh)ֻ(G>~1uH])|N髅`C= b:  #PfmgnT'yV!K>c[Gy*\ `MTk-ٛ %Ysu*( 0urk,kDTKո7enl>؆IUkj=d,Kc SK 2q ΑNYK<|7 7̜ J̀}r3LuY!{Tq*;]R @4K(H/ .0Açsf K؁Lat}2zV)^gܠ8^MDqM.7&/²jVw9auK7HGKPmE,ʬuebΉLb/3̼y-r%j^ EAߣ;NhO"&~Neq903@?% VLߖ{]ސ3W O#pa:w$6jJ]^| z-|."fX)|O lI- nf{4b?X*_00)S (Ob FgYZ00a10caec37ae35a2d8a829bd5fb3935e970d81c 1bf572ac43bc09f879af6d01a4bff755f7c5f33a 1efbee678287339c6b08ad2f59d496b0a3e22dc4 2ccfb3cc7308f899026863fb7abf8c221088f634 39fa910d32d6d2349ed3206ba3ac517c1bd6472d 47245854cb8f08bc13f5435fba4810690808b3ab 4735e346cb335e2fcef7be7d3bdad4c451c6f90f 4a3f9b02a075361d77cb653e1d06a6e026fb40fa 5acb735d2239bfc1007ee9925728708f38686be8 5f997a0e7cec5aeda4a2352dba447753bc58d56a 6bbcbf04de0c7838a0e6d80d4d5f136bf63f6fbe 8be860ce5ae3953bfb96d76c6374ff2731ac39aa a8a14ff2a8f6f95146ff28f189781fa6864fd6e6 b6e2a7a8e64bcb7b649c031f96538aa3619cdcd4 b810c58a123d781c579a4a3873d9f5f60e764694 bb5979ef9650bd158e02b5ea122ecb7ac1b5a0d8 cd51e9e1d8361b51ab2d50bd25d5b2097b82bf42 cdc4157cd7bd2fd5f15a84e9e7991b0a34bf0105 d6469b6e97bfd95abba762b020a46b57e8886c8d d960923ff68b4dd4920c1f8c6d3668d79c770913 e68e9ddd9ebc3c35e8c1abbc26ee0e9c674b7b29 f4cfda150e4b8f064689bc3bbce1e9a7f47c99f3 f554b82e8a20758dc5ead96c30de0ae2ac47ca7c f6f84667ff7abefd27e81ea553fae10b248ba5253226adc8c0daae6d8019f98cedea110fa9a4438c 87ed41faf4f94dc434cedca0383ca71f22c5ddf5 b996a79dd662e96b320c20526efd74550a6d0741