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 I1 d ]% HOL-Decision_Procs:threads=4elapsed=468.733cpu=1557.468gc=124.352factor=3.327zXZִF! hu]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿r#q2Rݛ?O_C?\Ker2w͈ מ2_7 j3;m#mhPze5rQZ/f/} <D HXpP5 j|M sO%-xېl746;M T1)JRFt2Nhg)E+TtF Hv 6aJ'C Ig'AgBt5 J3:I#ͺ380i̐X9I;r5H)'N[V+`WD<ď E*D]i Qd`,OA(ַ59ر jQyӯ͆^nX+D~Ͷ&hMmD:<8%Lg} ch9Xɶ] BX90&@=} V1]qDBk"n9Ap2:WfYS&~'-:vZJfz>H$o%SIjW1 ԙR1lFE\cআyu e;$!N*@Y^ S+JC wkqJ/ hU',sg̹{n =HC#9}2̔?k[-=7 K"<*U<劚6idVsC TFnҙEg[ݿd7!x);`0Xj >e͌ؾJ lRp5h-9>9 hu&ÎR*JAT4dlh9.[;gB5՜7%_ pRzoIvq4fMX]ǰHp?'Q)Y-K66>v{.RsܑgZjD .ӃI'FKh\Gx:Fܕ ťiM m@ rcW,ҬW;.Vi q;aJ:qiQ(>Nuol)&=i=ҀhS#0zvV,X[1jV >V$q]HFn41@"e1"+Q[< mM:~ibDjdfFGEQ'q 39z#~|D=w\^SZ2T￞xSϥ&">ZO5C#U'sQޒ#"& 5}(J>&*/C =뒪.JYWe֕N{ cYg9Of"9fCk{K+zJD艛h\\DU{qʖLZH$ l6(Q07LAz5*hQ 5#+%R5YA%j\1s,N~]㈱oxC#is +S 2kW@V_IP[leSd Pw"O] iN:CSW+ XdLG*8>kPS`,b{s~$N#3uASVvxtr{tz$|Rhp`u.KvetK0mibN&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 4ƅK[6k-:y$#b 1R=TA`P6Fɫ#X]N'ZvZXF%р ߵ*򱬒gU5޲=[o |^.{/sf3Dy@/eeh/RC* 5Hn`6} G 26J!OKϛBZj(j>r}Y8.z.Z9UXTGD@mBU@A2[ ezRޤ+x]*̌4+ORvyef:J>9Kq*ڝoQogM o)sPrXWOܭ{W@u NWk #m;de|6X2;֟IǝnNWOzzяp,_O~d.>-tc.O |?C:bzZwݕ!Whx'^~Bz0Mq| _F| %ZUPDO6ZS8Y-4P6zS܏=Tctq7aoiRТ>@ x;JI+OCrz ںEjP\A`O_=rǿIy{Tpf33Qӂq;k;tE ٥"Qw;I݂CިGudf^pc!LXaSt6U=!a1}zRָONFm-t4 _2yTJUDD+ɭ 9^Ch,CYR@?J vdMa)`Jl=ڣ9R4AGOi߱ ynOGJ8Yv"|\(_]9% U hf+LWDmu;2*UG%c6 R#6)tGuZ'[+Íޜctف_q~"C<`q.c[\:zP g|xFcK+~\\#wR0IG6 UF=nҏgcΘ.z${,B2ϭ(.4K,M4 6xt4E|nZrJ#sK<]]C';Y5![z|c ZE$iKD'r{l 5cƈ>=B>>q@e|1h4Ԙ:p& Y0:EZ)c+|>Ѣ /hJ/?n[2"+MemAbȅJȭ/mJYC"j:";DՕ( BɊ|"*ڷ'PRqh8v26&Kp-Mkd#}$d0Ok}v",$,?lpIˈ4cEDrfVFMa zژSD` M?Ri)HWS U B5 7P@7w=  MRNGThƢ lp ݎjX+@`j/._$#Foiձ_#R~mP%XyֲNn1IjP}$9:$0b^ Yk6? 73@՚Ru x 3KgR;R!*vBOȷ;4.Jy RT' ar2 n_k۱\nCD-3 NaH !땷7#4T`[?,HJIܱ_k6·Z"V;('lj{ȹ~h @-]#巜a#YHvrx=طNX76>bڬ8wB3mtSR@ڜ+[0 7>kf#r^(ϥU+ԭ.u(lOCB*QlȾ#q!mnn:]~8}B%s 3(@r9>hfC9\pi~[51~ߍtEvd*A H;}ٟȵ L7?y6:%p%x \Eќ+OiQvt$*ޭmK_ۉ3m08'zj Q5> C3j9~=: Ӡ9v^h0k_(4K@7R"?)u&v& FZbQe1,Nċpi%Nj@`s]f7>[d/ߎD|6,@$FM5Gb`)@wTƂwEqgmr!6 tʂ8 CBF[X1!0OֿT#/uyzjя>ҟ!/xv8 Bk-OB&tpMՎ$#2rRK]}4 X*O"%)f{]? ,#KtxleWvp߀<eXMp-,+#9u}SNf׏!7Qԓx"^%R- k+:LYmh!p LTAyLFUT)B0b!]Q9j[BCZ,Ƕi?BvLj'JRګゎY3ڶ*ؑv&!8kp: e/2X(@։?8:Rt=MWևk%hP[jtr[rN$IK=?FiK:edIwh#|z[wfScUcWQc. ifn XhCSxbKF`i W|5"{r}VSi(OҍEyfĦsz S;!Q`ʿ#l ߼6{x!yAPNd:͝y9UO'7ygĒEhW 2cKD$; gYZ7zXZִF! [,]ŗXiɟ17L? KxlWP8SաM~>fٺdeOT]sK";ڻJ.dctU7Wy"ai2n|p;ƣ4Js}l;T6uu0]ci% BT!w?MAT欔δtpe33I[!y Џ-sA KP(I/?/ U :%ХKz7 6т2MVEގ6-KW1GO:TNd{'<Q;ч%O-ª.~: F5+ >i:asHU^3>Tt57A`|&:ǝg'|q$>!\M2ʸoVD}W> x])0?Ybiz[oZ+;uV5v2O )*v`q;PunD͡Mς.hu- |bіwҩsqU ҟ3 \rgYZ7zXZִF! 隱]ŗXi%Ebb 1 &&b ,Н;wcT"c,5fEЗ~gR{Rh3;z۳"o t Cky.1}@;r$8>ZQex& \}nOXk`kS;C LMmӸ%sTe^oVdׄ#^РH ftӫL:o-]ZlG~`k"%rJ̿720S=N!pص!/)&ϖEr./rΥpshNL' nK){_yǟwóy RЂ|-NX.JUX ,my``}'@5A)aaïA"%_QةAǧ kY~1)i#A?6Ey=+̼{ƻQ thؓZY_\CBh(v֛t:_vOs }637YOb9GCBf}p+2tn< ]:]6WLt+}n g2;i֩gg|t݈:lQ{<ҟ歭_6'λ ƕIq7" Pw 0=xjDC͖ @:[/C6(1=f#X,żE״VA$RG~9%"T|GGTMTLOmZ*Z9Bb뮀EcnI }m (]/F`Qt'iXf톒p!&߉Dy8XP2, xYBםk,ww]8W;Wmuٵ4 wwpxKd:l y>ݡ}|*X` oc>4n1z*M_6B18c~30c9(17EcI#$ȥJZ)FMՓz]{̐PXՃn:H z,f骐/!نѸmX;m&lHx6"sX8J赻> O.Q!%8Us[afj5 SBh\ٲ'I\W>CT(r+0Hj,03/?Nك94?wSﳎdzvա#hG= ZQImLhP/iz*I'+&ȼg,\VKJm&8rc]/\B}{~:/,t%c C.i# n%6%qȮrh<>w- UkM! {Ki[#g;%bCVI-^Ըim]8_lRI#a-aƎ\[܎?ǛFU֡R6 pMjc^b}v^(>*Rb+;0C6|x24lm{*"tw's8Lջe`+hr Ӿ>A,-z\ kL.(WjcLћ],qReY^'&aB{KKD2y#mÌ6YZg4r!3oNo1Tn<(WAוΒ&^*AKEMi%W8IXEuBίJ31Md{m%uB` }o-AfXzMIa~ߐ6vGd1'+PX(7c8j7Ry 860lN{;%AL*gE>5k E-b!"%GbM1kDrW)ꘟ30W Q\0NDHAq ջG,!ܥVXdL(X  [2mO{X/ R Su$ԛ6zF=&dc/܏J#VG:AqK%)J)c6?˪L,dq*N8Ki{y G^9dZwJqXfȁ;"+_Oq]WfPy-rYǷ|;RtF.: l.ODЦYUM)f婓[7Ȃ~4" V?QN|R4,AŧŕqLnpoQfw@]i8OZ71껛&ԟFI2LO?7gS 6j?LEp7Noޜue҆~ v=&7v{_a f&z CA8Ϩv6@W74: I|;j/*Ɯ5v7cbB&7x5(xk!:Z|;D?0]m*~6l&4vwɼMÊ@ ;SV2 MCN>΋6鯦NyCd)_i'b]&*jhU"1ˬ^y9jO\&v|rCvlS]8*HLG[[҇=V2cL(9}tqӁZi|{WnbOa\Q@ź+!^0L18H0"@6؍b; *ġjPB(C '7Mk(yI;oV=gԶ*3)EF/&Qd/<=xZ"ƛAq$ߤx.TJipvgAKnp#<Si@q̞yx)^$4)@.9 iqt4z/s?/ t5&)/ Adotu~A=>Mo[o[x*cbI/:C@)]oHpr|۟ ̹(@$u5;t 8f$@5xǀ%>ԗ|!d7N׌&S`עLnbCE@[ SVe7UEgR_+ U>!*KQ<x8L[u`@ NzYQY1gh5;!X)kXT(q{4E`+^tgY_;m]# fA5Ɣ_T=CE^?~d:t㗄N G5k3qwC,Of>ai@`6T1O4#Lb7aedUB6.QKɫ.~j/UQEʬ(Mi/Rb<_(ş<]]'Z)`94'W xsS6zzx 7ad v\_N;4j yˬOmTpz@D^mm+ÚE 78)s ckе;%czם2wik+/vR+9r|8dkRxSu+w'!^){~v KV^>Ml*_XD$z%o>q 6{I+gS6!\AZ M?9xPZUx 2%B'D<ƒ.*_]%J [mbOL=Vs\!k F8(C[g[u9Ҝ!ʅ@€t*梁kbI`  kxC9}n^K~,=//WYf74fƵDEU^"ɼxHf%MÏ#%0\F?d`9`ZDBD 6-נxaRe?a2`{G!ӈ% Z -+gMzMcgv%aMǡAG`NJjgp=E7Jķy<7^2gNlm󷕹љ(LpXB_jzEA%'uW?`֕}Η)ueSwr:t!V$[R7 ѣĭ@^ɽ%TgG$\|GvK 6(o$fR 뮢rMY"a\2ڡ.Rleqg1vŖVA)(pgRQ9tРs=H-b 1/*rտܤ rc2vAf ;uCQ;f 65 o׽?$ c@}3{g:|&ņ0d rmYV=*qCu$'̂@QoGx^L Z6`c­)J2':tӬiX~vXYDG#cSHو'/}wlwsor!£+n3o )|>vFU=lp̲5J:*:< ^NE0bנDm@ c:!qx_~~F;/8H>81L=&"Ćjz*b<@)ef|N,?$= 䥅'U32V(S?g~xO)BD&TRVBQ*evԽ2 ?xg~]]T*XIjm2LPUc^0r9 ђܿu̩x}6Ugrꞇs J [iwfTovf;uKzp}ʫLa0 <>w0⌴oJYvUqt"~ÓҤ-ylӭO&ѨAR},H.WŠ&gVU초 u96lbʝϵ5'Ы}!DӚ7gM0T9K d ! v3 ̢A0O\I튬ÍD3U J;]P}ӏb|RXb0 , ƀU/0r-f6K։w! ~m P"yk53 t&x`mm3 ^mlfFkd>r1iC.fb HI",jח E'X ꁵjTRah$LsK{IY ~'Ir}??/'?&&[b:fDwO%0ߚ~KÖ+,!t)ϊKt8V0*uTEiSN=B0qÕo/ÛX/r^ByP1KpQ;aeg?U%QJ՚}K\ܐ qx|q[fCewR0ftsTanm5ɝ?v3sN+Yi֚|֤UFV]UԁQȇΖuuSm~?\[OPshv#0b4q;UcZʝY0A3-okns, oW]:'wߙ5x,t{{`M(f 8|8w,E|uqrbd@$,z{K ?,0j 1jdT#AC.b_Q,ݰ[ $\ړE{>cGiu6G{ӆC3(2ԏpKw; fb{L0Omrc*8~W߲_d2,&"NĢv^_2-qXqL 0Cz ^:raDza 2QЛTCm* {2zϵ) {U0u[,.? hU`MՑUͽ{򩒖$9RM'hs(1GߏxU\zQC͌<nY$L1nba`tFs,hp[6@N?3PI,SLָ(v;M1MX>èMhT>h& |\-߬7:;@b\dB1 qɻ[uBuG|<聱]Z&z^rE`%} k *͗װy B;l>-01K})x'"MڏKP\^̓[n%aD6HQv fTcϝ9&&9Mg?a@Ň(TNAK(W]Rh)T4 30LK$߄g5lވ>,}'gP%^g#ËiK ?زv=[ݺ|dٔ{Oj`E!qɘAu77IJ9%JIRWZH]M9\XvbfS|%w4b ?5`t== 19HMl.@mŭxf28Ѵ%.Š9oh?|-OIWyY#2yQ"Տ8ŖV6G^U;Hor=ҫuXtPBsDxEk(+rs_R?kJLT 2Z!L.ЊH(f:q֣B U_=cXI(Y,RC 00FrΊ4zaQa%døLQ s29&_ӫb~EF7PӸH^  l~`hms'OTLběy2GىwZ8nbB &'p >֒oBl/A?բUM!,US p.#J cqG1ЌI H)6BTg&-A驤Fޕo0({^{͋/H* ,IC\qDJlT6VOUܺL7`a*$W\O[4%bE`ʤMgPȂ"iv?-ih*L#9P%I~GpE {g7`0I> 5$YA[*DA7qf9/b#%]lu*^ZvSoydFp"SsBwpEGǕCu ,[)l'WVryӦ%vԐ❞ýraHIeC ]?)ZSu$ erYӤ۴#q4Nn}voϸֆ$*H9qo _bUЇ0%j U|$I 2 @4|mDs{@k@'w'x D%a]}r^1W2P\ oKEx ab>`XmX8Ti;M. 7Kn1b"k8 'SǓ &59̏V5#Go1^m8#w#Fd6eԊE%QC6ŅЙ-3"˫w25Kn[ᫎԕ_OE7lw)hpK[Zhiňs6;^׿0,}ΜA4f$xǘV,`H\+m=lΦuy#\* m<᫚ E2Ag7o#P譆~Hh7]!!5dGQ);_QX4wnBSxdJao 1u#Qdz{B#J5^e. ςiUe2 +S˖'] ^ix?i>~Sn5!!I?iSZ!Y9V^>K~PA?9\&%&hܟUVFʣiC l]vTNRZo OtZ{ax8֧ /R B̐q%&y@ٵ47擦\? :yY~9fN ch[,; #ӪaKm334&/Oxցx8#1g66A\K˵?.APhDfGoC,tTfgMeȅ' P w?<;.@_'\S03BE&[]qyg"o戰Ż[rV5[.F% )P %^~p(™jaACmb$ iuX\|L[Su<[Kއ4,yӘ2[-ƬV2KT6~ZH{Aʧ:JeeBdŮ/E|Gl9 {/o2/'QnB]g7d,졸PmNU%`?8{(^qtW1._/6A>NVۘěcFGxleY)Y˞O6~ %ioN>*sLJ|5!ЩyQBu]^r$S{5]ͨLނ!hFӂf6٣hEҍ4dl'&GCb%Dq3nJ#SNxCE ?D`ujfB8-dYV47wc{SFwF6;}2ȒpJ 6DFW’ 3G=[{' Ht_b5Gm3Md*nzBŔ6KbO۰a;x5*O)g%ݰ4$Xo>R15OEv@Fk*ox-.d D#I0m僢fjCGNݜI9 DNN/U()yTvfV~>FWDR:|NmZv}c(搣ۓt<Ž @D1HҖ s>zty Y8?pT &Qabr\qF`fOD"dAw8I6%dT,s'ZzvTN,z$ ̮c?;%Uc)3-/khU,ZKq_{b x.5Ga+SW⢝GEqHt9( DA'ő6ZT11$FQrQ7px)~@ Aiv6ݛ:.4go\ 'WMh[՟ Za !\x4ɺb(jXY7b:7Sb׿7&b\o ӈNW1Gox@*@/U>ƺSM:G$V" !Xlq4CM %oǰ%nJ1,~͑ ǵI2k9䌷"[4J !:XgjQD+"{x@86ۢ fPvZL, =Gj;%.˜0{u'=)V:M wַU!ڄ>2gBT/9R)s?w&ϟ@3|ΘSa3ڂ =vCrzG(;yWe~wmz!ܲrfw( жy~;tDӝVշ@WI@H]"Z(RMK^j]w>bF'Vy;})P ?az;Z۪-VȾ oVQ@Cğ'BTe<;Z8iZLFcy \e,8GH)sOٶGG][w+ԁ "j45s岃p}C\=`H-_K!O#"uK̔"EBL;JCx4Qa0WW#C;L3>2FjXVdp`>O~5{Pӧۄ_]8hS[]F?TC [p7T!L hAv'T@5A. ;\Cٙoi+jEDvmJA'Y֦)5$O kx1@ bSg|iɑju-UChdϕ=@s›q"Ӌ" %]>xG+|jn_W<+sg-4 GPƒaLzS-Vd A c;MzHk" #؊gJ3XINFZKC3Coq|ֺ{1Ӑ!7-@Аt6?~B.5/L_+{w]^]MvdzWi;೿bh'L\&#cevW2lPCZRs8\nq bn:[ȝ[t9LP>į3+%=yڞEQwQogcւg]Lpsc~=up4)0#7Uf&vdp@GWڅU٨>ۣژ7&@$ZfU]<(He "^XyXX+(nT9\~ -u{֜g82~d! T) f6Vރ;$Eo(d+*~cS?~.ԕWE@p]K-BɫDE:0XD(1ӎi'= =jL Z|>?7ޒp渘$gwMP HpW>R%_ʽR9.0]xô,e%䂪Dƒ/޽T&CKFm@57t3rC^JO-N^X̊؈n'3f50f[R$l2E荢%%Z{6&)͏dvHkȝ (~iGcjeޥ| w!&zOgP*j.BzB7 Z`H{8\n i?5NZFC-4N5yGmuYZeRQ l+SSK<"KnV SpeMkmZgffrԅ{_x N&:'Le). t}2] $VuI[˟ #})p0$}PK9;$ m(w'N%SŤĜt1S"3լMnJvqJUvdì} [a,(HU¶ c'6=캜#ea3Ժ{ {8|yEޙ@,#qQ, ^G .#Riir0fZSy;ir 4JN[J2%@ɜг2L;f6rD2OPdIόu~F*KSlZI!"̴ɿ'\7b6R()=8k~Sۘ_F#[٘Av 3hHo/xbyq [w| *:.Ȟ=T٤iLl;xo_aПS2Sm嶦$SITw7/-Wn9haCleTJ >ea,ŜLњ{]??{<"5;?-[?꣘=NXWց:V/'={* 1uS/,&z\dA0uc+qB ղ5oHSQZr4@P'V[1c2g*=4H1QXլ0 լrntlE (*Sq!z`Ip*V+E\hUlg/)r'LbKELmX-a/BBm>jT| !vgNRagns@RXqHc HS"K0XIC ׂB /Il! fD$ә)P;9AWAޚ\)ο}DMjd'iw9}*d?>+x# K6X":*}O~;qw-=Yz cW0x5J1)W A0ǻm]Ë)_oݏ:IZBvHY ?AR}l.=Q]$DlVܔNC9 άԤk_o7; #o 1%j7$1%մ؜;氝[qLD9٫2RoNJ Jv< l(l~Lc8`=kYA',!AaӮ;w"RD~Afɴ慈C3W!{2>}vb)Y7ꪅ~Qb B߂g|h1䃽ᛅ8`ӁnQ[ĨGGO"/y3sd꽝[-mc7-4ttq!x! \ɿ8gxQj7Q+a2NL]G`?xZw\4{kl2BҬf?[ -(=PTXPޅ0])1s"#Ehi 1}ư2 n$qY0v5GX9Y}W@Xg"0-W\I%b+S`u%aO~}x'y 6dx)ǛɳmQ,poJ< hf) XR4yOx{ZE.Bg؀ld4*P$ PMype%f{qqEɶ?v#|nlϦr낖jJޥTJ PbU#GD3䜵["Il i;ZW7f?آ$+|6l(]Utn9ie^ >KW  ߢ莢a._FrGH2^*]M&~l"W,Rx}u~Ztt,+9^f opĚ#7ѕ1a%^@o( {1H% 7&;-ߕZ#Ef\%2\>jh6WNf.11kߘn(U]x*#OC#E$̏gkp!>:>{?nк4o)O=u꾤0>\bo1 xp4o6nm%Uw.urSUAIh Fc❠3 UaRm.c"E3&@LMQ`u GX sO5lˡb(eQ27lB Fod: P\@0 ; Bbaf- Y;FHbvѶJC1n{ Y"$EWbXn.6ˀ*Q&zԮ!sz<,lD>;{jP3A?1xFV2ܵsPr0L>>]2WsW`QF6^QtgFDvѤٍڵ*'J5`h\ӌ툒` >saghzLc-㹷Ɗ; r %1{lMۘHXQ(t5 .b8\lxzj/B^$ݩKN(K4q5T"7K:rԭ2`lxZ[s ԢSIm1vO,_E%c,{ ,ͷ:HDpR\r=CIe,j}MVur˜~l)Ϫ։`לP1!Yq_# ]B2T呏/Pβ43*~^CP rKo u_-\ywr]T G;NǭCKWJ-ӎ4eȓpct9*:zں0AXVW[x:Xlz{ ne)/L(D-kpg$O%[s$Pf~pMML:&Ͼػ:tIv@ύrDHEp/(Q; XA\6:1/T7"|dn<]r,e@,6A (WZ)K`L23*2*ہJH`T W]k5"~-ݩn-IrRRz7Cj};` |?(D?ia9)͓ͣ1Bx`ǃ$lB.J4cbOG#?>}]zU"Vr3B8N ȟk)-fٶ)U!O7J 2g= dƔ,_;&Lʫt>$0bU;#lC.D0.zJ#l/m#|7^F7+^d =1l* ylSEbͲ̬\\”aAd?cFv^6d#HM[KF0RJ=~ۂ)hEXe)a_P55g5Pq3wLf*3L'J K@V;+pXT??] bvXy.0[[yo%oO-EmT鈳kuVsmg{KI`fރ]Ό0s\pu6<eCAU]Km#x7NMN<;Ikrd@"U)3Pv=LYKǐt3H}ve(y8Yc;h7 n^k]pVש<I x* Xhrd91}E/5<+^n 2ng94TN* 3O]k7xrMu]|SXӶ҇;\ 2 ~SOfw+lnB3D}q?_XPҍ3GEfUC06p= vN`ʗ0?q jO}*b[bZ񹘌󇊟(szgdn%U7h#Cz~>'IdnP&L -FYUW|,zNAu˖g@D6숺$͚䉾nBVJ{Ad* Q07ϔ+2^J5O! [{OY99aJd`q P~8p0@-]#p3\̹u`H6 Q^刑q!\صڗ)5b*o]/,T)w~B 7rݼ!|bAH5 y&FA{X1Hoi͂!TV u"k-Yr<Btdʂ[I\ƋԍHHYy((F'}>.g 0ۍ~xqqfXЛ^:7$ U9WfOps r֋M*_#pW6,2BPPl RgWSl_ßvz}6M(9 Ĵ=n6=kdL?&dyUǝ)>?saa8PZb]ů}wR{]*.ɭqM\ : Os{0} jcLbu1P)>ȐM=]ŭЀz ];XP/)}lVs@c'aq#G ivczN:ZAo>=cKk:fYn!*$ y,nN W.ziyǀ-#cȩOLjBK]raQO*mS#q2T,jŦ }˪?ts^ lzu%p7f" d/;j1L?$x>5X* |_KUq@ Bq/3䳂~?ʏ J;&e!mU^e,'txޙ7~D0ZX^AEΑe nnHG@3,%Oey񮐝]@l t,"[2Q8,|f8|e߻Upnc$V{ \_%T3spݞ^Gڽr?Mn_=~Gj\\[nTHzێׯvA0 ijUP*jV;UBZ0AɁ9>LLO7A~ 3h|S?F<-v_%@?Ŗ(R1:GQ9H>%8#<& I>&=e֭a5 Rav*d(s残` ,{-vL*?/YdqdxBLxw+rXX 0* c wi9zoa ,ʜxXIe"ʹӶؙb{f$6K`?೫N.6A-3HbcW~ĝ'l8rr]O[oߜPd>Lbb2n/Q[H:2(3'i|k \X0ā2)u9m6ttvхgF`ܕJm*pKaЛk:Yl{{x{AI.kIչha?9 ň8 <!wpAbFEj;[v^b]y͛"`Y]I[9 noX(|QBoxܝj.8ӑWӋibC;|EfԾ޸F?*5(x F zu ? VTN[Ntr7٥0f΀2ϡwvꆡ»+1| ^Qfcd;8gB)1$J&+dJܔ,΅2<QN jS[2u~$ىNepSZ"$cHs(ĂBח:m*;bl]p.B-R뗵4`aENQbn:\S5Up3$ M Q)ڝ>>/Y)աB#) )6Kz֮ə|ԋz Il0h&}jBi~N|^k{'?7 y$~Wt_6ƕQJ".tbjvz?6aPq FSδyU(2/w٭}bSdw *e 00`L%m 浵;%>;7!qQGs_Һ A;eSc]K89 zc^\B/<`d*jT=~\`D``$%%yO7%UmjR(f:)MZea&뾋K ֒n1WûKt7J͌'(id2{a1È˝ʮw7lcgIVլ oa39֖=F0"!<9&0V̐͏\ #뤏9H*F-֎@<^_Y2>NKCZC67~^hb k6V:k"(9J~ [hׅ6]p̬&NqX~1we^Xjuѭ`%GuL\#YIZnf@ rЂoRJsj)زN2"k\rCsp!%h;\l{kJkdAyv٬u.CbŻ )`r/VɈ) ߝVdLn!cphN ~ dl-:vvbpTp^x:9ʭG+Xi"boωP ӎ]n&3@U5J 3~,}ֱ[rzI=)/VZ0{W.x0J`γ%7=5tB9gVn&4K$K! TSbtCݾD{B#ʞ0գP0!'u0zQ#Isw s(5h©0)TtB/#]m#lˣey{;"0ۛʼڰAwUL>9ȇ!ř syz'L  --XOþ b;xPyG ,);˩ۑ'oS_8X>vZjim:| ʵ]2V ѝzB`HHu0&UslcbX]rp  Y+Ss==|}O0wUc0O׷'tn]z~w>Ä\ᜍ`JWK${84I@1~(|;4vۛ_R `^V*rMJzC,h t)u @ld]((^%z2zG}ܭԋc<+gyو|3>e zѵ~]ɝ= HHQWZ83>EMbxMLXbz}!6*l RsElh,e4r.μTHbAM1('ˆ,N{G z+׬W]\yl4Q8doHɲ/ʫ0`;sܭF@L"b`Mn"ajmX^NB@ύf\Yg1QF4˜ڈ$W>u}.Daݼ|w2$_iCqXckl_t y1 YgeDz:\JH <4Jsۇ8zƔ"ԯoP3'"yE'-<кÿ"Ua9h|zqY\w2dĿ<>T1q mdlpZ딀$;$Xʻ<39M7m,˿IPw($K) G>7.pP[* fh̫nXf',4~{h <$ނpۻ w3^KK X9YA^dF%O>OcnM`HWktJWMJG!@Iѵ6KHZ5yBI^}C_\p ^S[Ty3)u(gcuL!+\|+3s绕 wj'o0^N%=pZKdشa~@y߃`8.2zNo_*tݩ $?5l/9x˗ qprVKG/r~s5+T_/L[=ǿZ{lz=`!u*!VQ|5**C{(`)nk 2[# yW! uuТ"|"9@ўg"eu4QrpYWSF8*w XNhO, ~KFĤ%B{Ru)“{N:;G()7֣·W G\"U#)]Hl/l3 tq;۔jon Y NE#?/b4|!J g孯maၘp ,ǸN].c;5́K#`a(8wzRl@K9NQ:8X:)ax@tfͅrFCƒS󷍡#f}^tn%0JzK 'x $wqײ_HN6 o/䮞2_Ys|!&4WwS7&ѡ522_YOj0ݒ<哴8~E4 ;ǥ zkgW//#z,xܬSK- + @H 3{J6葇fa,.55a?@%*=6GXҽY~[fN{pK:7A@X8#ҭn% 1ORLjm&V\nf}ȏqvpGi\O7/7,:0yG-ˎ& D!;}{EFD *:#ˉo{l_(EBt G f ]ZjRD324-OXp7_pKe1W,YDx6 V)c5(tAE4e^UbfGXrav6Qk΅+}Ͷg/BUK5Z&n,NJXPbP)SmW>&-2ͤgå+G!(_ y;xl}:+l-6?ЗZEZ¤yg|=ӄ q.uACCiCj& V4m) Җ[ ֥FK0(Z i {`p!&X?63ScU9sDZORB5RɁjɶ7P=1}fLX3 ?.-Qcܦèyv c1ӜZpPuhȓk\t&b'>5EY\6N6@ȉ+_zy(H0 jRi±7m  jt)~[8|"Wp[m\:2Fs(P BtafW|F_r-|bزTi-‚\a`%<ݐH {eUޑv->vhRp@=\Iu]Utۇ>q[L |؅W@5ew/([zPHwI0}&xhQ}c . Z!VzIB(*k 1hy~jE[*$#PIo X@ $6{474bg8 ۲*6(eEqI䫜T^+*GhŴ$T=: BKqθ_`z7m[0YT%ߺ2zo̰ZB2\ !tE[אUH sɸdR*Oha '+"^ypL7s (~vff Y 1#-Qf2<aeHIs)!`,;8z&WU,$k6?9r_fp~T% Q/kw9X.'ׅlD 3G53k;( HS0v;Fx.w1?2CY-3tZ? DN>($8\wxhkLnJ7(0L:ơnT(Řb&xʻ5?cf<9BZi6f%fpM6 !yՖ[RYT}6NQ' 9->ghxqpnRdAbp˽ߧ,E ӄwYCQH^;h:kz #N.3]ffO12.˦Bu)Ԛ9VZܐ9Ɵ>iރпMzfoL/"e 0=\ݬ* ~n`4nĕmE锣{o\\oM5Tq )<uT!F%W ~M"fa1Cdg5[8#%;2 b0!U4KffߤM.'ŏR-]lY:AOW?tn E!=8=sp (L,]Hp!ggE p0Jt\Kq^LUMf<~YV JˈxR||z:L]u3 ޘP/|ٌRhkZBL6[=A@>G/"/N6-88 qD zY=nOh zɽ!؆-uha~"LРw67z}jﻸE}J4 jpn[QL%˙Qy>E%oa_)1N%!l@*?cCU sMi Yԉ؂{ŋ1(y#:74@y@psukH%iX-rm!YtK+J09 :,جS q9dݠ_-xߍ^Z1G xҜq 0/~<߆.J)}UgHyIO+piq bM> VMMp< <0NcKa(<܁GrQ _ne빹 ]0rEMb!gOUV,٫kڰWP= A,ЏC-勤%+.;84vJS!,ZOxWaxIť~R22Е)\fktPfN;0*BMn@2ߊIH9nsB:wT&)( $Z"Rܑ,e8.Dvg_xz+PcIu,_^@:nt Y_C f&ZhgQzG$a>{0J_W݊8~#Ƒcuq`{bkO4p\B_]tXIޞo/pʎwB]])Гe{|Qp0nBP噇&re 2?lip8W?ɕ+ݤ1*h`ןJ}IjV߁JC Ο=9ۗ&gYZd841fd1e9b0344f85870c00f8bba0283ae3667afeb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d9 e34bb98bff6ec3e8abd20ac3252ecaa43e76eb12 f2d22cce8c956eb9479b3cd09c1c3a26122b58da 12ecc9dea702571c69676df224db78553643a905