SQLite format 3@  .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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  A1td ]% HOL-Decision_Procs:threads=6elapsed=231.151cpu=1092.204gc=130.992factor=4.737zXZִF! 1]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓ѥYbukr^Pc,)02ݫPX )!c0kb>Q3rc ڒJ]~ewulL Yif'Y\Gn5y_>v\ gCN_ }ʾ/5 èm b-~M=̊^!؜&ݯTt&ߙ?ʟ 0!{R$e.P l6ϝ'}|dHr u8$0뭝 qM5^10ܐ^~;Y8qጺX1Omc6${|Ȏ~ͷ/#hqGx:f4Xꘙ7'L=9jB c5[pS? 'wjƆV/B.'KIbqo ́b&G?b8) ֽ ؜¢qPZ -R5fl\AxMՉM @l֝N~N:@`QT/]f?| IdF-^h]dc7) !ߪs `Yⶑ h0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ eN$Fْ^3fiG3\(9n5/1f]ecI|02̳T=_}ZsǸKTPzvw~E^y0~Ӥ?;7/ r,5*H>Tx0x{* P3JߘI)`|n]T2NZ@|Wq{jIQ n%-al(bЃudMeNRW✔"],cd~TgE#w~+ΐWuv_02YkA?kvc- 17J^֘C%p}c]m+|w:,9 [;ȴp I5~ ƺ9絳 <4K⌝:hr5v@oFl˜go$i\Cyaȑ%n^mۭU\)bx3ffpD]|>cfsPz.zFEm>|[*Ddx=;O1DWod⋛jk8:9g劆۱6>vl򑰇h(Mhp>":I,'V!x-2n+%.A#L H3e9 u/O9|VN/hM &4B2kBH\X`\mej8H>/k`um[udhKg'O& j ]D c1$\ h|blG68Y^aص`__H|RܩMЙ\Sa5%5@Ihl77 Hqɣ:iٺ=aV,/d#x>N܊+H&{pyJ>E5>5@T/xδ\N/S[h<0w.wV(_.G3nhnw_{SDT_;"{ ˔M45oiF}B{Zn[4EW} ~ Ju?7;*Y֜YG1׈h*FtH17\dq>" SW f1/( CDIL׷hl.M@eS1$.mm pf; 舩sv=Zԝ:͍M}A~QE'/7!v<:a02-,o.0Ћ=(E-wcQsu@4/'iH-E+#:=JfVViyZ2jx_\ڟDQ;哶B?;"RM=rCmnSl0P"@//nmH5)jrct(t!3BYef?n 7Ho}{8e p$ޛ">ƨZ* ~Al,=۩tsZ(kk*8*!+U txMn5;+PѡH9\ [ڜvܫs$'(m9dFKÖu圍$Vd^lʢxk!}D29cbKA7]eg,@Y1XHd?:jB-Eõ,F[D,д^a[G<ŦF>`?v(09*wBմ7K?6`R]x`+!z/ݖ<-;ӄq 7^Y(,J@[,HKeZ7mSgσUL }4s~<Ghq}ؒ7x uCkM(6T鬳orxcTK`Hn3|>Ƴ+늷":2qUFgM ,/ d<.?e#؝uc{p>8qOـ_+sszuhUE7)+rQY݉:a$G)rilЫ[|(ɉX&4c&@lAJ:*Rms w*hĮ]b2Su/DظgU]li+E#ae5^sl ٫pֺ!Fbbu\~~&$b|Ol3HaԬ(;/C. hV2Jj& e;qݜ. !6pc-8Gcѵ[!¼,Ibӗa6$&]m]ZJa%% ]!!y1Ƨ@>l1ߑ<iosCe.z[PgdI1Ͽ^&uUv-D܂*fȄb"< [ 4{B s7I鲈7j {9tKūEOnـ]~/UMW= x>~%^Ϥ< ?F^wnK}"˝,t4F,YyͧGuP1V%KTȩbSCI':^q(ec2\럐o]tMg@OCI5ѱцӍe2xuk_ ߕڴ&Qp=dbh+Wr6!~`z橈)T.QPu+""Ie/\ƥЖAu;T>%Ai&uj۠;qi;ro yiD׮vsyQ"ķD K6zpxw'OH{c_+'z/h?MƪGNE5 )OS*t1О{}rNC' T*LP0ִ{tGhr>D2d/QhE\iKL 8'[%dG**L)75ۄS2Z`n%{!yoa}JV:/UM9La e[(@Ύ"nfe^"i*ࡊ@a܇RFY0`3m}zE )g5+%0; .G z|!KX53fnvˈ'f\7{%44[aJ aruUK\9!Y/%zTMU9aN+8 6QϜ'e?pA4S OU8:? W3~M#dHd7Tt}HG" F_|x|fe9qm6? 6!"q|ƭ_cYJ7(*c[련 *lfy|W@Ϋy&8I JCGa/N&zx߁9ͤA7b _µKl_ZhJCiP o'#Zd]H㋍?Sh-yD^n:tۮrmIo$fF_JHŻ:p\_&.y!sF.sN(qM^.L7Л&ʪ1$~Z߱^5󞕣6YU=0߱gYZ7zXZִF! \)]ŗXiɟ17L? KxlWP8SաM~>fٺdIć\YVyxСz0z7b@JBJ(ZHZrc;}؉VӇp*n_rXplz6ݔ%dg2˴bΔ^V2ģm@$oyUd.V#9h=YcRtTnHFd ~-ex`Aru-nnkˑ}QOod*z,QBytJG)GHo붋e^QG|nSR;!v+ma^Wx5H]xTrM9QӾHdi*vK߾okLYhCs ?nClbj'O [ج:Y8m!a 2=UC]@ɢr2&3<8!W킠rn2qU}|L=vk3]@ypc|!GqZ/އo[:~<TPgYZ7zXZִF! dH]ŗXi%I sݡc&غߨ/xǻk<`c1$R&2o7o=Uadʈv)Y <?C;5IzY1;<`8~2_ྐG/1f$H\ }(C͉)_=+A9u7,%L}2}ʀORӝZ6. ؞5˟w(c+dݱ,wYҟ½T0Ґ$z@qsc-S, eJ{tFxW(@U߰y'ڦ\'aBYȌ$pANPD/_9o/ U0kHrvPUYfnh:uDYav{[s4!~q{%&i09{TjR=4MBe2OV,' Zk8< TW-Z fQ_߃aO%#AFRsQ3pƷ:˜̍y]t#? <.>mGڬ1BoSi$BC_`0PŽpr_30>SFZ 9dF#@f$";\^tb_aIgEc枭 (#-zkö謏B|d!Za9bvjT x-Ne+t0d|)Kbd62ShiZ?ppv1Rj r0XCCa9jd9'CC9x~9eh-Ke%̍돮zŇvx/?2 hU2ձ3̖ f6.=tѬՊi1<&ADJLv=*A5m@F♿+^}(6Y:?-vE %:M?xhb~^4QARCc0>IIrUA\ uIb ]%R<郌.ёU B߶}mͩq:ŴYmt7Sz+?t |+]2#n"tr'70[qhܭ);Q=ȷ$J^!8!+*pw^ˇ ar;DAh$lSH"ޯEPGϥV%{7,:f(/FVRLҠ CkLCu.9_3([^cj3kE/q(hW٪~yY^cbM2/2 \iCSpJq5 qZ0Mf ,+3jcT x7xZ1}WQ:b mpw݊x9WS1j+(wYU^],%PQ֦@17KʹS;!TشD2A:7m8(Aw#E LTW'a@Y'(\gø\ :]*+o@ʞԞ顩Su.Y꣟j1nەXJ × @O_)&—Spb艻}~!ޭV3r7WOS_T\y+3L`/J_7}a[Z ]g2SyCZꘗ ȥRP<0xZa\$pDC u4w-Y[|QEhlJq7M/ti,"E7#|w)`UW#Ѭn39(\!WySۻLLĥO/mV^l}fL~  sbjkzO*S%"Y P pJŌc`4Epâڣ-k^jZ@a*GK@~$t}CͲ^5E-:l0)UU vP&<Į?ӖaHGU isty23z}#? )Gn*Xoc.kKsq3)F>z5k2v>x2x20zع6oq ¥ׂ\FvM͕3]U6>>pjF.KÕSJ1-̘QA|2}fY»BmaiݪynqQ:NՃrl/c@̈4T'B_`&NhGȄ An~&/%\ Z=_)4 kJ'o }u_ "uM_A=-3@=A/A>G.>vlp훅26s%l?ja XDAh/ OOt[qrr4{hFNZ"iOO𺈝 !8ZH1E.:}\rVd `hB'ZT4v)^M+UL3.tV2Ώ,QRPz +nwf*Q7A b1lpKns偹7k~>N@IlLC>JGtJ!$k T\ߖ#γsQfG+cj6AY:5>@ehГƙ/AK\5u a661EyZ_[X 2AS72zxJN_Si;2yI_p%[~`ZAR-3,"iC%$:P煾s04kkhDl2+T#ks@w|6,E.1yv ܦ!6w .L;T{{IzSbzaHbڨ"iHh!F{]f%"\7uhmjF*hGX2c 7Uw0l D/&xLMYn.:.de`r6Q#?kkp 'ɋ'&vty!ex~ǜ==:qZv}UCՏo|21Ih'MP:k߆.<[^7fN:QvsEn" Yked)BK5V-M;(C5J[h?g$Ƣ+/O/x$.!VS[IL"AkK=44bX,IV ^ږ;~ Cކ_3AxbY{P T^tO/gš֭=4r|@4UcWK:zeZi΁kA[)˽u!SwXE: GF֢ `܀m^Exſz_B]"4s-,} v|HBp_83Ee܋6(ݤ: d%ֱS-̊Q5߀M7yHy$8$L'odƹ/? Տ̀9ʦ!ѿ۟%V21rGf %51RB= ˖"T[bTƋ}A: j}Ү4ڣ>x.n&AgAok\KU31ГnA ۩hPbB1eHb+.E6?& UDVN: U򀕍)lHk1ҳ\97Dqw` 6kQޣh 7 H ҡZ +k{nYiJ7fQ W Ig&.Pǚ*IpMʑH{^H9nc{("j!bO"eu'Fʮ$sͫ:H(?ba~KLs#\K"oo"oWS;KHOPh  ٞN&LE6 cIq[<O;&d̂ӤtSjc7ՑWem[?+:f JGg!P~ՓCRMT.'Ut/B.'namOOB GF$zA$ҕDB>ؠA72R.[ɋ54 VRvESb_zgqi5bFgI0rCD2 f$vXm:V ]"Smf*Z]t@RVY^D 6)Z72*q5m"'dlq3+jSF3kwx0.]gn,0C`Ⱦ;MF (8jʭyK X" X$":3Tx<oVzZ1_0[v5X>CCVҽQv1 iWBWi&tIFr]kLS8ONVN ڟ̄yR--R Я*sD.Z)^uuTd t j߹͌xMܠ'nʣ5k)y:ѱ]Gwz&%%VUmh;BF4ԢH"` BH/VWב2o D$_fIěT(>qpAتqtAD0(Ϊq":Tk>969%s(.8傮u'.]- dݺIdJ8eU'}"(`y JRPRB_0 m[Ϻ>L&+Ƹy57 jo)ՅI6%ٝo0߽ߗR| fl2:MKJL<.JXTEWbJO/#3~~{Lw0|R$_JX\\؇u.voJ݈r!It xx[+m>)8T53] Y9`"dQ7n{%Ym @=;;9AiDh B'PTRA^shJ3x # U#wӲuT@$rc%.^MÞvJ ×6FV}cM@Aaxl$+U -$C>zuAChCt0"wPrӗ\kLt{92C5ْcQv.=t>3atR?L␿eMҝ\7dH׸=|G-X'f_^-B7['qބ/2@ "EB@h4o zµ6L@TP|U9+)k "k]k}6~%9}AJ*nXO<3iT.c 3ChqFg Ǔ5e#GBPx 'fO1ݝ\徫šKt?]5:}~175-="Hmx.d$xVB._֖Y5_,;,v얔5!LzvA087hv,x0l۪9wK8 fppVN7QH.ɉQ ,q*}%}3U[<7T: \,N"p . )|/8"qSMWJvZݪG2'ŵ%{S|%78-~M!L93 CHˢDyd^ί{,NJ@6/1mJ&z}UL˝gS@T{D{lِ+%rl84+=c>q̀ZGYr)xXR!bJbE(K&X^M êYrp[_,OnpKnH@ET*q7Jx_tBf{ſ#`;SI#KL\.0}ӵPzE )9ai&YɬT*TC/HcnA=P<#mn*pGC&ŊLas~ vt /xJ-#xͼg'F{sP6)+ [h*t+8b`ÁǤC)7Ÿ)'҄zk{0\b3L7yxxA ?4O3eo`] _ M>S/W\(ǺwV':i%) c4svtQ6D׌5=~9Kw o}1}8L&f]ߥ _F#[iX hkPQ/˵y1 0_Ycx]2 ;1wkjy.t ưl ƾquN6'iX"Rh!dO("̒t 6@ yL?VOͬY}T:ם^wf}e4DQ'^.fE`Ls-_nJaJwItzXI,L ݗ0 lO aYSTHos{\R?+/( d 0x*RXR4dtc6VBUS"NOCs?ݙR9mwJ%I<:+ P$h;I,Cj4[y艻q]sx|4^# .< ^?w[L-˃W9!O4#==+n ^RÖH+2%@AdHtK4>?nW~8ߧwq~z?í:4w3d1}L#Ft|^M%3%6kUGzYmSݝ1 A/tZ8p )x5!2UeAYu1C^iH& prȒl,}8alW7Tӝ1`OK0jHwWZp{H}[ɉgwp@ljȜ $f#HsA]z++,`ַ"{HX")'S7odi;-40%AǖT{%`ъ3j >MГYKPwY׼YYAa#gYUi.w>[+![؟ͪmKQ`Tsct~[>2x~-K"[R C=SK7[qȈ"p0,H:~@D>\͝_18]jc]ҁài TF2rW0fE +TsIȐ|#NJ^RMx'g 社[|2Mw{rlJZZl ,"Sʭ}L,2D5ԡ)IĚ9^ -?+L. [R>X;v}0ll;RSe&VF9))A1Ms,R&4MtlOP[ k{InЏlY?+<|cj:73g ֵZȢZ(%\h7$Uhᢡ-p+"82TLU)kJd #N-l-D,"pP9ndkBG5G&%S e+_Bh]~Ni&{W -uJrt:N"֩OuxǭVgf3jKIRȏ_`x6g )F!)K[.qnLG&u,`'n뷭"tIB?n)ARTAD)f4]u.2ldu uV1Dh8j;tmNF -Z"wv0tɍ+e\t3Z:Kl  ~=ޢD8pXF-`>w*!q7k)J2}}8 %M ]xvJ O۶l*MUm+536)6*ȍj'aI1li<tDhsC)OA1$mnA{]ـ& “9sL_UNi9d=;W%J>}y/[]|5j.{ZGOEjI~hz^6 2,nLMj꣜قV"͐6rXV5ً'6kMvP 2LO]C]=dбP/rЧP!a#&weuU%/'hh)ݩ^w>Xhzr{g LGP=uT33\} GаIؽC}Јm%~2H{2%˟uyከTM31%:(wYI 3HB3Ch! T[k h`;@LouI‹@&} ԱvQ jû; 6Sا9(8g7M]Dǂ<)hyˣ$[M92~OLWխ%oyn'0P)b ?5 SZ#c#$oɍ-1s j2ĐhhX`xJ2 DB[n#&v`dJL t$$9o%AUb"uL)ۻMVג?DGZV-۾Bw{}1]mĨ!?K3'щ[7捨m*&"^֘ufꞪ[H#1Fk;~ۂ.^6#5Z:<~4>ygsCN)kkTٲHWk ] 9o.galW6 :dt{by)J* |HA567bJ!'qЂ4Fr Upʰvi'@n׆𠙔,t 5T87^*s*$1WyhB<#A8TbO9}~D,BJب]\/pJuoP6ц°TuLj}`KKkjB *ڡ .r1ņK,tJ$"~2A za7#i|JbJ* ~@]UEUt!7ʬ)eBv(l/:!䠎+y~2`h+6&F ucFu 6=qYu57_d8,uqnσ6Knx {E,O \_B[֚C #9 a<}Sh@,~1.2S灴iL WD=s_dFPtԻm10zB``>ww[&eM{mԩԩd&5xCjXO (d91yHyj۶.xXoqӠ[O64<44]"DifZKH8ar*Yl\gX__++;%_unEPOX?$VPw4(&YddxY}vzc4K], OZ̠r6E3m'T*l3 F|evUn_^ohC?Fqm', Ȉw՚#®:vVH#$ "qW78i¼z2WeK"fr|'(\eLBN|\I=6B!MQ | bۢ6߻k=E*E7]nеr/i<`,dh Qn6=reѻOLٴG 9.mTə$aI-PGӭF=2dR%JH[mF62ga@q^Izd$edK<ь@ +O6KXXzjlH[X6¶ٶayVmQ]xB/rߝGEj929'%?2a3KRla n>W 4]$ ߰&8;:injPǽ8C%BQmsqDNA/s?~kPrJ.qy̖WeTn'Fֲ⨎S4K9uWD9Qv e Lb'#8lxl9iHVFV.V\^/!˴`=yu;߬[1; "_ <}F?CHOW'kڃyiP  hYR?2{i&F% < ӑZmx 4lj&$+,M'Y: `V#ntoco*}jlZ>/,"W: :;&Y,O#Q&:c@nӁ2oOyk\ڴXw'ch%=:kt,Y?λ][4Qu4u#N)lMU9U>'aN'l&LFdbDÃ֖OXp/.9p#&BԻlIr D5_ץz6Gk14YyƚQ` 0'H)ކ!p^V Ph)my,'#j:0S_َpbMd_jn :r!qRx͌JO 2W6S{ }SzL]poX~`"P`/wcOkTTE/vRk-| C۔܄*5M|.4YzkERTyS,xܼaE >07^m#W3 BTpo% kߛ5荽-k3 ܷ tҪSdFe_bz{/C'VƯcޑqgYZc85fbc03834975059f52a3be566363f8ae76bda14062aa515595763ef834346739d8a019bcbe0e32 36830ebd27e0fcc54eae0ad103c1e5cf7358bd5d 7943041918589b7cc2510f9f44b15f5f3a64298b 1ea5fdbf6943247e2f16e174a4f009808b42783d edd9bf79510185873a57d023c8869d8feb3efcce