SQLite format 3@ .0:  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  m1|, ]% HOL-Decision_Procs:threads=4elapsed=457.295cpu=1524.440gc=115.848factor=3.337zXZִF! D]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bEވXdw2;kW{#BG` `0A NWS8u _a.1F+bn d7_=g{` @ 5w71 Υhs(cLF7@'j86W=Em+ "Ad2ǖ8 &n`T go}sA\5ѬE8@N5 D,gʮ%ax'`3Lj3z@5|-eNj}L<1 ~[P:&\CbNHoCh-'©$Jqn{7e< MD_gƷezdT߮^4 Nf뢸pP`l덕K Z>%G*4LQYcidk8겚<"fP0mibN&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 J<}ɽpͅM묝;HL:{~>7GRu1|E\āTz<|F#eq'݅x!EcRK~SP,+Qvlw= L=dsw".'?4^"#]IB5Sv,ŧƃӈjoxjc~HHg>Qr#tx;_zM i) ")vtY:7=cThp2'lI"p"`(Wb\yUOY&vgۅN.d<8֕)fB&I}ζ~gva8G]\2S:ɯvgg+p4{My)~%Q'PB 'ʆ U@iOb*Wـؚ?'dcEJ3']FGt̴`{3[aRuk}WjTL@gUcKvnĬ-Dꊬ b(${5 TOtW#kDzҗ*F dY@V}Gî<}}IMPe@_B3w䜏샀ekntYdnbze\FLPK?(6ۧ::vY-xF=\ 9-3?X}pd[{|2GUg0|-EqhmCCP# Gc4j^o/Cnەaɠ/&Q 9]C$b:)jۉOEÄ7ऽ"藟Ȃ9|O0s}$C%ӃR|q [(,dmGIWHĦz]I?[9 P: t=K/ $Mʼ8#D_j. [=C۠>G8=, VC1*߼fUFXlgyeFMv͚2K2~\ -LaKb[vY.VXDnW$jюr)*fmYqB ,8"G fab`=q >~Ϡdk&zTK} \X*Ը"w&U 2ΓpLX܁qeC:iN`QEعiRBV  v(()tDp]jd|.Ro8njs?ܑHZaà(FU{=~JլC1f EwD_r@$rҡܺJ啃S9bfn!>~8:'Wȇae3K3 |dϏ{,l`<FX!f7\S]< _B ۇa+$¾<ψ(Έe ,S̩ϯu͜ WdkJ6?kQbᄸ7SԖFƷP}HԔZ}fqnJǬ`xEwJ,hHaLB3EE'ϵITPTjߓ&؈ CApxDZSe4to})Ҁe0MJ]\ p,[|;tM /hΥ/s>|eJؿ]*G+Tp Z"ˇ^/BC VUKo+qWVmSًt7Yy!lj3e=&0z:'cCKIdׁ^_MxgVM2JQoxB9mtȚlZA!w{Ғø/qi[=nǒ2n0BkfVtf;K1C}ߊj uv;lx>?]dUN`}#yk@]t^ } Q`K * ֓mv!c| ր¿#RpK&cQFAp+X ΐ&w!fR8gȃ*مpwvB3#n/Җ1Srp^CIg= n9gxM1eL{ `zթu@wb eNS(ff\oAF7^.)Uz^kf¦7{g\f߽4qbU;E+)U[\xE9\Trj5(Ve.v:BeNfFZRPj)#𛷩I-׸igfRRy`ήs3;ahPXuUTx5Csְi0xFFU`: p4xc䓞G=6o<@cP6z@RȰIDHfH::|L&|@9d]S}l= ѩ4h<6S^nA{K_ҤKPBU=Ww!S/Ց9F4c;;B0~.LOC 4 YAJ"EW>>1FT$S.Ss5~Lћg/2/E3CU #=v0]c-2*%KusqZsȇ){hu+bNM3^ꓓ 3yBg}J ||$Uθ=  t*Y3O43 rvk+|Ze"ͽc$l }$ϛPNLw {-`_L^|3؅@GWXrrt~LѸ2?w-y*]5WXGڋNUE,SS[:<K^џUhfxO cE7 LC Z 8hS>@I#95:՗0ډO[͒x oxe[}=)v@Q:/xQyY='0B 2 X367۽<{16N_gl#=$be嶢VĂٷ632c(T@6l7̫:N/>WUCeCJR:DvCP>j| Mfl&2z牼qjЯz朻A Tc/b?`FXa MʝZnڗlҐǒOo3VF6dh x/\DljʠJr`J݊Ђv*3'-!fBL>K9^Wk=*# ٱM0UGWDU"A`quz !8:\?6ɏ]ҟSN.QPح+]0*cdQ\V5?V }:E_AӋq "|XԌCS/u8? nɅԢ23ODNl-fdžlOay Z??QRyrۨ|"=ATk%ڜk-~!eȥЗEÑ|omq;xrxc(Woe5}7a6i`ktdY1 D'»>q|.K{|B >YX%G"zA'9h }( 5 j7vA6/=ǫ5D,[p'2g9Ķ]~jCory&#7ܶ'#Zi}Q|O֋ѷC i2MKJCy-B[}(~/.ŬR`c'ԸC֟{JT[.`mͪ OY- Ia`;ҖwN~_[)" G)/Nځ(Ə)E}X6Bdø {1}wMD3S2cpEe$&Ö*d '> Q0ur1jb6@/7NU!JeI?m޲Cʃ\3ho8y*opG{7E "{I$U.{%$8ڲ3}cǵSAjO:N&ň=ifS81+LPN"~@'b^wcu.$9v}A՘8(ӎE ۩5;q:?0i!DQ{a G-%% JbGIr!7uyefZΓ5s*֭\7&Xb`ǩ5 ^7\X\ljOyIw>)驪J`j(}*I#=МW=}yr lFDw)kf65 qIbղNI2kĸ}  .4ּeާĆvW39zcJF&e tߚLA,B>Y,ζUI}MO\lF93J(Yj/y]5rjFe}д{Y狕/#ٞ;nĄTmPë#t_Q XٺL0V̧}6dC1Ω$8NjZ.~?t>̗|4C<|鲇$lnH2n@y +ڲ꛹qxp~(E˴`A^l/sX-Brp1GvQ"JI.AqPHT,}^Ԏ|R;X>+.퟼׀}&‹ҚF|}I^v9;{JR:cfatEfjQ8+O~2xWE8EO"]3 7;|j1duXGE{+{aQ!RMJȹ =:6zS;gYZ7zXZִF! ]7]ŗXiɟ17L? KxlWP8SաM~>fٺd clR ɼa$f@$SQJ, CogϢKV^4^|@qTN}G/Q÷0Z/x֒Wp8!wK%U?:zQ|.\oї E@L~?Nh LVuIKO@rL;괂*D33͑`t~/'zX57?"@Ge8 >T s[;MM!^#2+h-YN?/*δHzOrRK/hvӦYI?QrlA_[c*15ݡfRrP VY_Li.uy3*K]D.>&@[cį|YN]1m|u]R}Yo$'i7(u,V)۶9.hZy]ŗXi%Gf}5cg5)ԗUEr$j o %Ƒmҕ~EqcD| '1XOĺN+^S*uȺ \htOWbw9d^T!nGէʬX*weY+Mp J U A4 9^ԍ0͜Ye2W<@mjvţ =LԵ1+ xi#P7в1޻ԢD /g%l(}r-yO%3((Ln$~%v?%^qT">s YfHIJzNto7%^ѧFd%oL{J]>X[vԆ H+mΌ#3?;HrCzCY9{MKUv7B(J䚙jvcͿL>L=P_A g#L"(DwVˈi0=۠)>݃{6E[|5FxFŮ2xi>u7˅>#iQLOpRl(1;,Z}>a&MheJ߇exCd=D?~v1rŊ~dJyh؀eIzRҰUXI Yf / 1VTn8oO۸F1B\r-悯S k%p>OH~,Ckagi. 6@Ez3}7t671`\s8 3YE`![p:Q(:S 1>ܠYkqm]΅.*VsD\vr;{8h'5Hi,Jk?܃TWgJDvVMâa7ǀ7k݄]FǜlM+VPT:^˴spנ=jr" xOe?>,;Mm,#h4u Ա zbM-R4P\O+"o(NRH̳loI4/},6pk,wzJFyȷK0 1tHGP{/M'NCpܜsK<k{~(;+zSD5;ΧW1"a$`_溟y8Ti/3Ɍpo1v!$IX&,dZ4*mf֪zuA P#nx㫁W9~pֽqeڵûx)v|!sHi ~7$!26F?ow@>}n#,A Z៧ $,[+4 $ſC w7hL{a4qgiIɹ4|Y{+ G(I ꀜp YTy,ȏ bnlsi23s>R΍H %W:#!Gc-DZ< M&NG(AN'ے wK{e-!Y`Eѝ o=w'j<\^i#dp$/L+p:PQ)ƪⷲ6՞{zrJ)ҾbEɇz5@*ESMgpĭkP4XZnMsoﶖυ(*#];-xF,ӻ'N[b#<%~yݾRk9ljHNCVlVKd.nHy4Id|ՊK}RNQ!襶Ë3#HJZ3kxmQS!yDR;6r6TtG1= o2]I@E ý7fOV9@DP5ԑc oYQYy9 Xu7MkT>MUi7$4[@czPٝ-5oJۦ+Vc=BiH$/*qX>*&;&+4Q50+`@k=Mik#"Lm:'tdѤpD &5L' KPy D |]V7 VX'8UUxIk$4Pn33M.!4'ag $m+ޭ?oKZV؎s˦.01446лŽB|h/!}ezm^ q9GJ̉ObC^V^ȕ@-ByLWu[./\-3sC6Jv_k1yO" SّD9[pgP=ni3 Tv`}{k5<)\:`>JTP [MfeAK d Bß"x#G @ӄ OF.:Ns y]y9R铔#ᬩ٫2ރt)ʒL\wމab?GaE}P+XSgr^#?C l2j -55T1ڡ8QL"1?_u;Km6KqӼy9j|ZS,p ]{͑!`62=? e ײpUR%fӿn*k8zNI[vчaEYNp=+ HME?AjΏٕo;0B>,1>/-3/7MQ)CmPb­W!n8kt!#).\8B$2)Zx90@Wÿ|DU^[SLcȕP Y)GNDb$f1$χBI1~>'_Y?zrg@֩l(ҟ}l_?lNxn kd'𹹇' =YmA$A'^CɄd3= #Yj)~Od8H䷌]k>b Wsiz }$MQzG +u|j]>lTL4 !VbnlW8"E.&JAv.D: !)RKqCMmJ *GZ88#xz3i1OUob7c:N=?o?_FK"8BNrT*KőGY#ܨepv+e=fpmmo|&R~^[bؤf0t[ ,Ee TQ38PMjc9>^νy!1£*BxCMz ʨuaCOwZa/V%y%x_ؐﱃr {d{6S9|DBqwǎ[_,-v Zp t6-x sS;uVcΒ!>|C?nds=i5׫e>KPKKcxCBx_Y>m )]EdYHu݁EߕHkgrVC=~)Ls ]"ڬ, 0y2 *ٳx [z0/|tF,K#5{cCUB~bNZ3}w*Y ԏ<vuWsIDk[CtKQii(&Vހ^tpY| CЀDQϣ\|t7I]ўlYF2町S*&|JC˗aCE\|@+OOD!U4{j±Ґg}yDx  (vh@Hs; $E[f;آpZ"œ!ʔ=ըaߊ 8=(ԺQRۙuR~g O"Vm0; 䢦[K%t4C t@4l?6 Ws7liÛPWFq9T=/&}լvO4\[eD&|56fo7uJ&3͂6/9QZZMoMѐ 1:Mɾ OdSu4~I,-0tk7),jaCyNnژx(]q8@YyP %V&I#h/4HH"׼%$x-(o`<4ࡨ/IA% %j AnB*dK@֬+,#VH Ε;kJ vqGwJOPSAqml#z~3K*m`:~L'g/*SU+74d !n_!c};6yfff#\-<71q!jlVnDL(zK1l`ZحV"ni-rbcNg {M߷ɐ )3+&%ߛpke ԭaHl`Ǧj53{goF9Dch(wsR:+7t´DL&+{Wy21K]n(Cpamx9`Υ6碣m*!ja—N\ˆַ5Q7s2\͇pd7:*DܔQtrpV4B?ű lJ#w)  lc&%>ٚK"QZ&€d̨%ibMlOGb#$y3|qU{|MXA ,E9gy8N?+XU y`F&5jR|%zۭ L:-^䛚Y&XdEqEN!>/[s] N «YBJE%)7fFދx\VP_=#Zx*`LZ\{\8S6 Y$X/10-5 ` PsZC @*L!mހЍTawfNxVBBl_zGIghqwL~0LAUL)T-֡V5E*h.21[Ήa?p&~Sȼ)!25v̔N.[?U[!K|gRR1*kإ"]MY0VRS[I{ABS.v4pcD5vCP8w桉ˢQ 1+[*Yl/HvV^X{*o9KhVfKH\Nu}a/]?R6҅ BkJNTZXżF^54%*JM%yeӉtpg`#d?a T?.AXt>`_R+ DM!lƣbظ##qOs0exb^skHb fjɅ ц(Sr$Z~ ;< Y*7MG}n˳/A6%sƖDL+k1 Syd>+wů m_16kdBQTw\~fBlte l,߆MRQj&2e&mBJyYװ%(ta*V أ+25ho$}\;cYaf}(l YאjTO:]VmW 4n`leo6*Xr<|vޘż5zcnN6vR_h9*bHL&9A?g 3:yj46o?%¾sRU)Ҕ*ŝF{ݸ_< KŌ'a@ SUvjqey;j .١E- i*Ҩ)U~&7dF҅ՕL/>~G :lPݳ^Knʷ@%3#&w婝toF\+Abvk!AabxΪ &ߠ_*?e~rۃ,;VfWL5Ls/_ȦRΤ?y8їaDYPF #N|ob# 297m;yU 38FQۂw7wIDCn"wwf欄ހcc=92b!ԥFB?+{%=$$Idoh ީ.mtS iB&dEvEV!XUZ `y/9\f}x,GVₖ־rhKIGĊ|o҄gc녓Iɯ~iik6hoO%Nۊfgk}(}B dJ]+&'h7p%#> g~3!@eA~T㻟 ~MW'BGUǴ4C)^a]R53`Bn'`#R޽ Kɿ旬o WÄ- Hur-lJxM+_ГLkuƹ] i=,SWʩM͆q!  *B_:iib)Ϯ~Ը7g/_x框H ^)gYsOZ (I=&f8u;P jU]e/2D;2oS8 ̓AAf]vߐ'7e{B[w| 4z4`@SUXcHo<x 'f_t1?]ZOGن%@X^jך*cy(r1y 4M^nyGY@j]l9`'.] A*vޤ01= ^tECraIVS* oY#^ؖ-YT[~6XTC޹zp;nNz<'x/4隮$ÛAѭG~EC:LTw&_0kf%HAuuxyOhʇ(~D?kAf5bU>(W'oZ_nf<҂,:k5ÞQd6ouꬪaBpQYHW&hl fz܆Z.tHw6!z>O5K0ũv&zXOCD ,žf"ŋ*`c9 3+J?1u!(b0`+*-wۍ/awt7C5 TUr}B߰~34z׶j!H쩱ºI]Ob gl MJ`Dp>B,iVza7> Ik%q2*cL (rt@ _IQ_K =D捓 iM#c79fQTQwX^@_([S@66ǖ\/ ϧQ3w.Xd iRȔA|->(.P`&&O.v~Yh®fZ(g}b! K#D3=$-rWvAF"CC>i_*zƝފ\ 7RWrwe24縸8,~F^.~K0 ]AJw2&nHiS{j C%4}ں7ISE*Xdመ; ؉kB_g%ʟukW %ai|5]+UӏCgz71$n.i[a6TFtڮTEb2TIywwFj;6ǘ3>WqK?0a^Yf^==6_MԉpLW\q'Rci$k]ge$Ru?.#?-A>DWnG̬3Y\z}8EoRc12Z结D|A(Zw XjnÅFi:F[R͆r9O^2?óx,ў|"l{.G!lYz(1Ǥ' Po*) ! .)-h┕;X.S;`ڐ Ozs9.F@HB#p*D8{AͅʪSRGDovڙ( mߌmzVhy VE{FDUJ"\K< "̭og xwnO;6n ,](>nsnetne<x)>&T%3{Of3|8jbu2~ +e<9J1!al[n΅qpk6ɓaLg-ϠUFNXhڷsPPwcUڏ45;ޭ*1آj!e]D'bRfiV*( ]L#-Җ),qx7o||-t;Iz#u n%j?0Y&v6f{LFoO&6\spj@i2.Tb۸fpDU%5[vϙ 3Tܽ)1nrth CiBI^>"+j>Jp)Gӽ⥀qaFst#MB`r/=yj_1mjbNƽ8t^ <:=U2^0}ފ:~ PO 05*ŕ~q89pVϣA+ @{p8-YK4eEc-6cC "@Od&FrUY's݄K Z.ZW ω3T#e`;bzZ:4bZ#beoͻ1t_f? 8.>hcRŧxD'c4.5 $i=WApU\b~HaYD,UA]$}~}ziqHSza;Oh(]L+z] } }Y+Xb%&Oe"Y9m,L >@gBtAdU,`C,m^f(jJ%XN@1հEwXPlV\) Q;:е-pCw \B)pK1 Jc߲]uPnmFȎIݑUMug@uS9#OE$x#%r azW/2 T:`8!%jUR򌢒/vAv1UQ 0sJ~1i7C* "9w̺ ($Xc #(P#vwy?Ufb#/q Rkw~~!@`MLUA캯9 w9.(7Y+4Q+sxђ秹<㻦6;\ SqvFdϜj暨{`.ӜRA% .膵2OslY*b|[RnDFk.!T{t+&i,zOɬۡn @\M4Ed\U]M='ì# kI;wƾc3E ,)+a+e;!X}:,7މ;іQ}?KxfI&2PQEoQ3 -y(G}hPx'vֿC~Q$|0^7t#m?(ģU)L׮1`j{rH` la:3qU9-|q_t0o!)+kDV&y, 5J;#V3=]7"͑["n[£?ݻ,!++ ir@'JYC|x ^ݿkeFYIpfBBaݯd0t3 vҨ׈ySkM]c5,>#(Ϫ#JVҟxJ;}Ş;*d!iF~0&_bwqfBlzN_>W[N`Ƣ?%}uL}&ߊgiR 6E(GtoTK*g~ BX gH Tsn+\q-Z gc̞7S4,ק׀`:ΟrOp XaڒI@SΨ &UT2FSN,v`zKbVNTC?Iqܲ)3\}QLދ>D"_'oL-#`SmqMxek( M{R h;(}2mjM YQ_Ic =\|iP_993H%Gnwr$ vU4K{4m4Ӄ*^x2TĥW|ji/[W9ua]e #C졨K)g$!uߑLY9jzbHi9$ mF[ceQ X/3?IG0|J>{W2k<+UHoiNAuݢJ%vޟl<Xpkj'5ņf E.O0`D+łX7o@;  &k;=98T=k¸#EX7꒤S[HݵC44ܳ¹үZ%L dCv[1cD4y bY&a.ܸ"%$TD/Pu| M+(Utpb޼c-"덩zl:;_TaMUUsk O h^{uhjkZ/42&P{+&'ﱇ}:"ЙBRJ33:'7{D+]cFK0.QӎdI9O}_&`D;옭(ƸE#y9-WTeCwnl->4*X6!0/WuqSٍ`}anOIݹؗ\ovaR2[gQSi$c1.\`vI>Yt6("; &cTDlOyzJ?lO JcNm[# jh@ٝxSa=4c2YsT8jFnNg|ŕ]9@7Qx&,r{~+-ɑ'YwY};8nK֘)uO5;A"3XkaOG|ld.(՘B+Q RluR!tYR 9 <2J' l?ap 8?T8u^ ?sqܣ#"LS 4e+ŬԜr7D[OǬّPvl4㜔8:p5e2 j&c&=`sׂ_%A'A&ew: ^zDBuzUkU3 JD%TFMSIz[T;=ُP-5M}5ԖPR-/*њ%bf1R;nB|O |sv(Kw@d%`_^#"Uv*~ّpv#eg  `wPTs>'ڃΰW.!w[9YqkkП^0=z@ϫF_,Ґ+6v_To׭NLyu[YM|Őb^r', \j !d%x/1V`a)?]bE TVP̱0Ia OV4Nz$$)+Q*.wHgK}e P7"r+OiQfF~5-V$ Wf>rSEר,cN4,T=BZs^ 7YT`\b*ØBH1ULT$ 8|J=H(Η|+) "ʂ[PRv($OVi_ أ#]gķgުe[a\T;gQߖЪRtqQp6Io(|idr6a(3Rw׷FvRẇ/fOϙCyJ+'])U|iP]9=A&>FE e Q{130#Mpx=1/q+9#2P~ shߥ6KǯƇ=^t]HKG@1X#ӿg3WVb陉A3w~{R'QSٍ*=\eZ İk0/_g#Z@\ׂ"~aB )u1^!n'8bX:n΄LsQ[Ue,X-oƮ"ou_?6NJ}?%'EaE_\}x7-AjW,ɤ}Ntj8KXu/7Q ]Zk).;0V` AlC 4\Kz@p4^+PTD406SWt8_c"=q7oZFuvнf|Ap*RPPM_QEH5wsL/*X̠4q}k1mMF&fH=s) p1-짹Z۞$<Ӽ<(}"0<ku2Zk']]nv{IvLxЮHJjjxR):ܲFWM'Wз^E%8 bcޘgiugmm7n̷e L<hyƕ,$|.NEbt?*iLa T̼ذZ`$uh Ȝ>z&g}M_A` =d[Hǡ4DiGcaWE]2)Q-2ϙm-t97vD+Z׃9jDjn{siJyiG/HmN|겘A,e>6a^>H/Cчle=xd,lABUE{X>(dFݞ<˪k)הE:*|@s*Kk]W] QKI vu Mt;rgN/L'I o 0 3xqUҰ`L:n͆ɪ~*5_X \jNmoYX˸j3kw;b.Sz()?mډ@Ÿm]R'^i@RXPO3ś/qӱp0mfi,;QC!훴Uxs}t Q#q=!({5E&1vq+i1E:`!|-`x! npzF&xAviX%B,4V>, C++ K͖z^HʼnF{otv%A~(Xo"yKi;![R;a28ǹX 2hpY9c-|Y#8uZż hɾHJzvVV!uXrEְ5Xrm]Mxk6ML P1}O!je'~{t"3]8v,} \Jǭsa Jaέ$گO*;ۦ@C}TUyA# W\vx0狄SPS꺅j+@m 6._0âcRț=.F1k) kݫVXYBJWk)s.{nHW1vx8HqOm lM[;i{죅 )ԪoT] WjBfS;[ 0캗,p^&B.RY@Ǥ#K4rFbVײ-$d }@䮱AqY %jKs Č܍ڄaB a&ٕ{+|BD6 OpPDӂ 8LJla$s6~}0=QDD8ǔY NݦF@] aq8?-Xy)?2O'Fԏ6C+9=mUu'?LژK*^W- 3Y2XStn㺲av [9r'\8H_TΕϪu#B%7pJ1;(t LԞt[\ea3n͊ ~\iiYe[W [р.\[mzN/=;pCyy+0;嫫xiDA%q޽D6|GWh4a=OOnhկݼ2/*wDͪˬIf:ZJeBY1!AՁOd'Y%‡^1L,gW@:CJ$9]Nc>!"[q+ꄮ1qq VMeץfBUbK~+0$Hݹu4gmf-f0S'Oou\TV[OU}ŬՉfv^IV "ÑkB(EsL*=jM[^<$e=a'U8:<o= &ki k,$ˁ_ߌr&kTC8>UUSCgc],OE (Z*"TǞαC$wJ& e ULrfl+BKܵJ5o0E֞kpX5OS/6YOQ+xAU>8 VdgHy)٦l5a`/r6TX`}TYd;~w!0=݀Kdt0NtCPLvt.5{;.gQ,>E%7ayb.n#kM-t$MNX2'm'vXjX¤c$k*QF!J#(_:,q-8Pô(+' VAϹ"+]ֽk㝋:pOa?N7WE"xBxi壅*i]˷`͜ψy d})MdJL-^T ˑnAՎ0DoV廓z_7Ļ<)+8ރsJtYޝŔ L 43(f^Py< x ^UlBL(\H}ܰ4%P{@h?-/|ݘڄcP,-g=TIa tm(~WL&x=RP"6PVUg%;Ʀ"Mii-= 8jL\ԝzTnCm ~īr2ފmx|]͍_*.XQ|~dD5 G`?ah H\ ƭZ]5cPE~oHYs>mnX7l3Dmh:[ 4.1DAk rbU6n߄ /pι)9_YF=+ Te۲M{ Y.eÚ Ql$I i%z+6+w,=)Y}6&$b b!0`5Rj~?-JyJCdSHRSը@._b "Yqv<R ݊p\=#׈H0v@!.r&9 =R2"0ogK&e[a "ݞaါSf M3W[p"P*Ҝ Hj&}ojJz?|eL|W~/x{w*N+hM>Dwhy9=;{eWdG=Lf \ߗK} 4/)hh\ Q45Uc7ƺ4$S@,N=EݰiB?_ mV߻e/ G֔ -~J΍OVKgVI&h#a#}k?|c4MsEmdl :F}cMeGWE1%&mĒoPD}b?8%bƀBH%!O>KUo7xEiH@,l^4o.F~x5ba s:q!߶BKd2[jKuT7c 'R29J-?~h y $`P\>V%A1c?8&ZXJV2Q =Wr*ɌH*D"Z (G8t׏ʋ_^}rʅf@{S[ӈރz7%V RU\nkI׈ EZ^CDa>l*#9rz®E$LѸ&XhPp~O.xOs- 줇f_4!&\WA _r7stDS_9> _F-؆m |?M+5 xwjsF{[͆-MOP«NnˏO+YOpU-"4Nhm_c rT8cIZπ)ON1L/!xjۊ4cJ)򪋟Ǎ(+PN7 X Wi̫6JZZC yU]{)¶#cVn{饊>ՎT!bZ_-c8MEvw ]8@o]l^Fטr3錄B:ABe1 ȏZ.|Q%Au[#ZXUa 86dri&$<(q9a" hLrP'8@]ys95*ۏR1H|6k& LAAc/}T^aa C.jW~Ų7&<ۏ o%$Sml3U 69mj6ӡ; 7N_7u\Vflmk"!FvH_c%X0U;M3ʇ#WtCVr#јQq)%&V9ZR:KOMLeܣD/'D7Uͼ#"%#te j!;q&PCW(IRAtB"Gl{{~d3 nuߑF]2WoȌ`Hj=23#YjslBk[֜$amxV}uM AXrL$LJ)*gH@H;?jHѪ+N~Ls۝$&:NLr O T]2aO*{z>lj(HKA^(*$>{9}IVC<~d"Tis>,n5Ă)1x\71==6'Vq3TrF%@m9Y؇9orO\W4Xd7 vu//=}h={vnξiֈP&мlyY4;ؑ^D_ ƻ3B<5M Z[dQn^.W?=Q2t>:.ѣ<чMﻚ wIdTu˗xÝJEn56p2[Q#{V{\i`awhF`^Kq3 Jn2,D Y H :Q?S'heZ&@8NY :p%V-X)>x׀o|.R,}}v~a0)5V)0ID{-,'4IH)I/,<} L+ ?j7;R;`1ʮ!>X17ۯkʬsԞn 0(`l*dG9 "w a,HECu2c 1J}דEPClCSM8qoU>S#1ل0T,06ų:dx~E?6b4OHL+!(?7](*"NӌCW;I=.Q1B%EJ)],V}MHAH*/ΤUFѮZ/ڞJA1}wfboAu&}?ѿ\s79~t,䈹|,гy pBcW1n8T,s&>n.F$gih~ 2foWV r*oq!ƤI^~ƬW}9{|J|JMw;KAܿb@{K$4zwvg#,tjmpYp.`ƑCVP[Lw<deC+{]VZhUMd3Cdm:% 0q9j*`[(#$:z`/6Xj6?Vbtܨ XS?֋P҉z:TajmyE-}кQkևBfqo2)"Oxu i6a${K*XF x\ ] O]:}X#]E9 S–y:ɮT,s( {YYsmKo7o#վC 2pu KkpU9y!ض">Jmc5FGf;2iM׫0`]QQ`VpL5Ɩg%8W+S|f%kUSFd^N/ !t) f%6gE>HglښK!8^dCH]Y%>mc9&D}j~>CC!^y,3$,eӛ*)l$jFveQ`Y-4-xv" % c9DvɀjA`}g'@Bo0//;[3KGhRx 7_*ȫKR17/ˆwG+hx[Je )ɗLeV3 1ɍo3^W=0.z$g[;'PeArcߵ1.IM'kv\!ڐzl)4^ȑI|:ɫ"L&x2 P'GCd&zkҨgr/g(܎O*wdm9: Op]ꨅ=DajQZr3.1@ӧn_F(IT'9CI,NESHGݧT^JCŎ՗JfFCSM/Pns2ѝv~33qA5 lQSlI/%PhmS"g#GVĥ_D`BxFKEK@d(i =Qˋ"(5x8 ſ)kvp߼A՜=qTc oz =J6)#sad } 9J$C?"z6JCy8ư7-n"o9[ƻaI3r&jxCMw;@>ݐ8D%dM^9n}.j OO:BlxZv)ԧI'p*m *MoT%V<ֿ_]3jFD1*^| )㴐-~9?Y Y ҎBj 2iiV$Q\E&*;X+l:eo9&+ñX-\FΥv82IW&RLi S!>Ec>j+4f]##FYރ:E2;3.Ĥ[K`|߶qdgMecp[ӝ?SNHhC16/63{Mte|3Y-7Ki(k96YqwC{f #r ;gHB31h=$藂c POu{O3qHeVqp}!/+D7ȭvjɿa!,CĩOIC:Jdr4$'k kBz֟HQlcg; B/"u7q 8h%sg徿Wx?S}?,4lj#F/h'}2wIfhRQ~q5BDr|6ImQ%'EsnA9KE=K 5C'3qlk #H:zZ"PKuI^i&8id gh2?;(J[/Nw-{,{JR*(p+u\ 8h5Ԏ*fۥ<@珊:,<\;gk dAy:7΋WoPY ':b-5g2 ˪'%UBU>-{HĘ2g̃'k1It@{:ݍsW>d3׍T\G+( =Ր͎V Шz-HtߥLXTOKޘNu %NY&=UQt8c!l;q߱t'v,rжvCC&2<5 NDeWJofm>\ z2NOHR  v->"?Sr(%?Y\8"V| ! WS\eg,8:Ήǧ*f%Ze@U/n32sPl67BI䆊#Cw饾k>h9aGۂ5Q6B7NmA!LQq%ߗZ-.u݄(9 jUKէ}CF.mFV?4[>Cl왻QQMK" 50CypbFny6GP4^%ArCmEKL2_(@JvH@㠷;MdTuUj\@ci(pV&ISt%13֗)=Tr]lljJ\_rk NEJ=NJdPbUrxM"w!UPޏ2A!0xZǬd+>oSQǼ5yJPpi\BxZnʧvv]՝-h" pbtA'VYV/BU*Y8[MWI;o']IJVig!&Fzq%jv,JNhɃ4ߚPzl_O~ƭ#= +7~ i4<q{rjhq|93D)O<REK2Vc YfAϝ#IR/oUفYy/66oi^mΒiaV,L'0lu:?L\WuQ'P մy()ݱ+,Oq z8hN'1rʩ vpRmT2Hw +}~R:54u;'Yg|T+@;/Ru"H6ּwLI1FcL^ZwPiV,d㽿u4ºҮm7+98Y!/3Q8 ,ϰqӈ39Jtz~prQam Ș&= 1%ɢ8|uoH #.ڻ^NaTAɐ)V >iLCTnHٿE9qԓ1Zkk8nd1 }r#pwv.p7{[@QvNl: -W:h!LCҽl(_p&E2 "]|hC`UV Jh,Jr8ȒYׇjEh_nCvQiP`GN)@I2Y" P7n%ίBtqq!7vܹ巡bcSSel#;AKh0$L 5[ jI{аuNHEi1)%=nS gYZ991e59ddff4483d9a32d668836686ffa8d2a808c1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae c7483b18145f75634c9f33c9550952b04fb136e2