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 1|t| ]% HOL-Decision_Procs:threads=4elapsed=422.671cpu=1449.616gc=180.368factor=3.437zXZִF! 7F]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)"PN)#,*oY w_  bFMĉ:pO2SEwLYWYQ U: %H `(|o+ꬊ^ݤ.w 0T gѐ@ߚ8Ys_ہ_}P)jn[@HUe3KK#YZ=0u\Qk/ˀIfT/&Q\J+7.5Pt͎*U|ƝG%߸h:=RX!^YoAcy옩'[~(&jܝ TyzלYqV:Bmf#P׋ˑ̹K1z ͬrS> п38Ӑjۉ޴KFom8W ehqO2^eaE>\_+Jܗ<Ȧt?b鞩"_`- (<"O\H߁nd?_J, A@?Pㅄ2毎V(m~iLe^`r^iJ}^.&ˁkGȭ atGzYZpqU}m>K:h}W6'= S|41㑺J/i{^7). ^NT^MH/Ėsi8<6+M$7I=\&Ɠ M^vAsnMljv2Y-Wi?G+(Y;y =;l|ˮE-tqP4wi0ѽlnD$w!6MTY8hD ߒlya|.F-J2̭]-uZ`Le{K ^¯Amَp0v8 Qz7u[@JL6aPY:bdˁf,qN])[ȧf^NՁ;Q_Un؈ҏ;W3,B5:zǸj^k^7bDP.!ŃGx}l:^td[N Zc4y-շ9Xss3G1,D ŽN҃y3ɕ/bŏ(&vJm.rԴgA|^mڋH#E㕽ARHj>Q1., [&$ >=Wш,áK{}T^Fɹw^r?˓^Z =kѺ;Yg&Pm*V;2a;,H8̧y-1Z&c8{]?T'g5 @9sGQ?`pUagu&:r\,Hi0;E9_$׶5f5r,{DN|;/v&{}Z\=>i4r־"o>F%%>=4PgwG"HyT jJȽ`#tk0V;JajATZM a*5UP;~y'# 8Hg??׻Ƅ3¦H3ho5P<$kn󿡋,}HXpȤs';CȈpv8LGjţd_ث[ӄӯ+`=(D] bz9{J?%U]I]OgbIj yˑiTQUŞ<h"xgGOQp~ņQ LhyZ aG:m{ ?lֳQ7g?@o/dRf#Ag0mibN&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 ʾ3{s_MxAӇUãfb%9&m;[A! C@W{#xDS֬)*:~봱$pѰEU*r20LL&2_zu+?",) 46KIOJxQ;vp|pfuV!f!4H^h.4iXW+r 0jm90@)+c ے Vj"f ڄyR_nK:Qm)aG;Uh9FTO] Dؿ{{)ȹM KYB/;hnZ'?CAj2F1zDIْ9\kqU/nv Vc<%nLq Th̶p)[J׾2lwIoT#~+!54lydɡ>Aw,ԗ\i\i]w yԊ cN6-,R\q6Nn{pW8`#Z.ؖjx#U&E-;jV ~]XtVQa:sXF ~^Ɇb㍲xMt+V ^\`aAb?\v`q$TImݵ;w!z20}VPdk..dZc*r"n0pfrVPva&ݼG"N_evAéFUuuywkXܗ: 8t ނ'MX|kmMuKh3ScGQ;@#£T8D '1"N=Lx:TݰKCǽ8^;R{,*$oiG wv pѢKƟ;ɼp-6#/=ԘO8cZMè{j~v_ RB6nWݴ|0NX=^ % Jڃ_J1)4 esˮϤhh}m*xkʥH&F9g^tߥknFK4jkKF) ʗ}YӘ,i A|a=`ָv"c©bK[)*drc!{fg'Kh6ae7a^f*: R^uK ;4piԏŷ٬boTHߎ/6}{QS~諠w1]gUa_τEh5ּh 7+NaeL@d3{2_v ]ӿ C-ҥiW#VbtBg3<5V`6P="f~) pQЗ]Riv) k0ˆN3̨ىby`Pyh4 q+|^! iG2wԎsQ#bGG!SYGj@%`HʢL#~dڏ\Ri 4ћ^T>s0 lcEͷcB['v&#;P˶Jzq8lCK98kT<+09H50n[R SX _On!֬/ԪX㛄c$m : -2޹={߼ lRA P@ _t=eHJ6Iϴh P"ng%YbzيlA*%Լ̕:nD&wAC %BDž|L!'_Ķ kG0-:^fsH':N芌/w8;foxrJj g7zP6\ -<5D/-sO7ffN4ܫ2.7Bw#_p` &\[ ^L:߃mv"bH ~m Ovmw-=^QhmOD"hK:M_]щC"~dew5?t'Ta*q03>wrsR.r9Gwݫ{P{$ USDS oS.MKCBeY* _-?B1£O#8^N-`+Ng5#V?o[xC=)®jb^ jO5Ieq/f# ˬn`j%SX 3ٞ8RHhQ^+aD;ɋ K9x3G ^&apRHʞLOy7=p<{<<> @8z).815ې7x =OYK,>Bí{r)zflOٳQC>xs_yla/>0<|TrH»h'J?٪0># ;J}k(/la{%I놗MqLK)wirP78q@%Q-y4RskŖDX0yE+H7bm“Fӛ|=%opPfL<]) L);jqqʪE TjL0Pg!lftj庺@̍6A6x  8LʮQ0 zEy4lDmgYZ7zXZִF! \2]ŗXiɟ17L? KxlWP8SաM~>fٺd&t ~Ρ9t-:0 /0TI?˦@z ђgL6$PM8sE@\̈́>aAm!{1F cS? )QrCY^qnv J3 wJ0X0S %9 \=a#:5rkǐr8;b>/\8e1LEveaќ߱2 f-#Ҳ->mȕ?[R-N KG=k@:$¶GE?U)F1̣qI9A6RrHG7ĵh&<}"6B\ EsܕXےݻ);8KP'4;|ƒ~[+&꜎7O,~TU@FJ_xJhYA+MaUT>}3[ḣiо, Ng3K#,^u.nRb,Vχ>Y`81aKIVPMZ񣭰ͱYQ/߉9ʉ9hwV6:ḏLcשl4'XJA@zK]EMk\ɕ ߋҋ/_~ ꌅϿz>{aޠw~W7F,忯>o89q!(p٦+zx.2.>yޭ)S.-YX57kS9eVin(Wu< |lp w8\$D p룄רb ZV/"T6-d;)oP7nl2mEl6^} J\pa89?4AFBQңN`?38hv"DO6>BV:\-}s)[0aDW5 Qer U)EHB>{XmMBD"~o91/if}w ~WU\pKDu|Qo_q3j g4d0BRH fz  UjJ8 5Xān(n1[ U$FlbBb.4"iv2INnf9:K3 ,DIX6yĺs(zg 7da1QnD qzymEjmOhd`2q[9O(ՓQ 7P{by gV_nD_u%E͵~1Z::wy8&Ꙝ?؟"]G" yvK# 7܆9/eѤJK/hֈ8/m6 P8nBѧ {ZSuM:Z4_zh?vqKp9Ci_ YqXyα:51UuDԻIAu0 Eo!>XދGOkflrRm=i:̷`{~'DGOg2/mtDԖ^;#[/8k,OQQԦn7p w%Is0#~W7|7B3v3j*.Ţ7ڮZeZ5 S+<`9W\o_lA o4j /~ \T݆B.¢ 7>&OA#)8WF$!rB+?.ڢ^37 i SR&41!uf0L3WO;8E̍R/}ʌK rP^.=dYLNy6W0ޗcUC@׺W׊Sn-_SڱP޳4:)GpqΛ-VpN,2Z/ěFi;/t)Jh/ jT{;|?5T/ 6X-`wfK\tH:dzc|VƤ2&asB\P X"[mr)|7!柩wzbs`I+2>JGnĩ_H<;gZ9 V6떠7ZۜœĄ4u_ɃVܵ%% ݓ龁+d'CRz׶|V-34L5Eo`-]E>uz|Y|rZ zPck;QAtqT)SlEw]U6GEj'ƺsג9E-U#YNM)$rCse R J#t&y$#9t_Fۘyyxz΀9hv[\1O|֒k_;*9 (FD ̀~CjUcvK1bE<ɱAl5 -,PQ[vJm͠8;^v?zf7ŅgUկ?Oɨk?m{xB}  +ݕ%&0Lܥ[}JqCUƟtސ anO4WhsEgbGkBA /ɼotJ,q*;.^0?P'ki,ϼ[fcmdqF"Ēz<Ԉbq{[C%_FE\6=dM,Go?&'舎%JCEˆKFNJ.P:5ށtyuALsZ[K5t1={R 8['SS^!aXfk l }(\,۶ԁu@.&|Վ|^۪ڡ<3~.³hc5)$g3$<{?WAYbnj#$SV̧9OﹶsRAFՃ ²Hcf#5Ѕ, ZmzmE"~xh\(H( XЙ NQi.dOk+7eIK)]~ӥjORshؠS&`Lx1N&t!B^<^|⤮vV>hVr ?ߪwG$[v^ޓhI$2j~CddV]{ ]/3wVw}'bK_alVQ bkh8$ e>F >-GskTjѱIhi5A4ގmwpbjol wPǍ+ 6[';4o00pȻ'< V5(ezĪAHDU9dOmG>4Qp RKA#FǙ!L09>_}wjC«|mw*p9\唅 qz#w3~[՝EG;ɷ0G3s.I鈿OML 9s]N )iʳ*鸥 ͜ r[Lw[1K5k, z rWL@J&2Z}[9(}}[4Ж bLՇm^ dG0DZ V#1F>Q-U&%υVgÛoo)ѡx52'$_ qJf.{ϗTs@%`/UjH7 eU/5ף9 j[WA GԺoQ ۸钽b0fJIA]%GLf·jCy l5 o(d"!  Iڪi&Y0q Æ)@$ֵGHbH,@_3w^GE+Pҿ{H |, 0Y e#I^zn;.*Q9mWœ;5nDf$ ʏ|h,f:_\=0@NjOvc} 2YBkP+ dcU!obo iD .R(q^T|@SO|.u,Z=٣z@V?%%<|bIk "V!2*[+ݤwDQ#YHM#ɍy5/!aNla$߹gDv9-*6* TO~g@7[f h/Lꪅ$-rjH,P@@r[a <pM펼U殙˝tN=W: =Bvc 67aWk].RPIOPgL TELk`psz__|Y"f#wGȆD:CmAxe"eAnv}PeH'#BPPh&1DI(  f7?/](YGX[DԀEbWT9wK. @+Ւ򮶺HhU0ƫZX&C︻O7/lJ\!Ah4Ms C57ъ@m.5kF"JdW'EyۢXwzw m3g_rrE 1SU2kY'Y- u+4nQ TzT擿@1Cw@9|M9 5rc`YQwj%Rp#K)J[#PSY2K*Ҩe˳tsvKUpV{[i@Å"E֣2nd-HL) {h\Cr-U\UC6ٗL/QJsfl!U#-T:?di.J> <-5m5_<<J6.q4s<=:Mux׀SЯ84*a b h]WTx'~_BaY_rtT BjkG׊ m77w|{$wy7x=Jܻ~HrɐT7 Cm̛s=I gDOU/)(mzȐtsr%BfOv: ~0[6u텚CܾJ93[b3?ZI'+;ݩMDFJ3am2Vfx3+ ewFh۝퉢@}ıQokֆi^EmB ޡ0'=?bCGH=6tE(~n۷}:ZcS] $<~o,eڊٔ@eIQS|_(p3g]3i1f@DLyݷCNLm`9aGhto1-!o.H̀=c=PfOb9; F7g@˿,u kZDj5_AfK6A[n>N^Ѣja}.b O -^DZViGS<NϞn I_N˳=bP9?^C#))*s™r=aIzBMgFr=X-{?Wt<0kL*]+@B o:U͙!ЧX! UARq.q5b8FMw^ǏA<dqt.w|E{(m_adH?D}~KuVvFc 165)u` +V^Du/ZZ& E>߷ɘ#jOj.Ё]b.O-͕ v[ާ~Xi:!Egh˜ "M,W0kBChZĦ ;nN}' ŏ*D%}.fW]UȕI^P[hp)PӡڥeXO-D:reѯkt$^QJߔsbۻCCwu! x8hlns}ěVK9BV^ͷoT(sy^hF W x2t&|q(\D |ܖP-F{O / j#^`fi>~SRzsx?-[gzY{bؤpL}wfI-KQ7_B6_&^] VB@/rmì1㰜2b9ݧlDVuStēfԏ!x/] 0jW22c5VH@nkW,Ur{:^Ÿzy˘& A>/K:MAsxyI=0d7nVt{yӬ)Rc@6d4*.0}l6`Blq#jx{`\+N,1U sez!= F c" okjQL0j4u!ygR' @[mRFc񌟔y+P rK 9SJ{DĤ1H %$sv\.R6[5d,ß Ih޽+(ݥNO%9r@g `Hl{ƞpEdž+ hgTS) fCJw[VU,'XZAb<Qf컎YMQi+E`Z2wnKM0_in5T^3l=ܾ}SˣBP@Pc_A-P䃅8fШF6%u{*%2yW?Y`?r2|*U֬"Wu|㣪jлfLq.\5´lo( [w#L h"}DpEQַþM`&n_ڳ|4`H^{9DiA:/%NG ⣱5+kr0vy\ݦqMvݩ-@ TM4A )@|Tw0b)7Eh yc0 czeEYEEhfBG^nlG] 2#\"\TCхi?,636)M= ݼDg̺|&rPf V?g3ƭ`~<Uřz}ZIUH/3VJֽ|_in`LƷjU1º(ن&ldC۰Dtaֽ2_ݬ$-.M$ < 1,\jJ> yv#IFB,Pӈi>,zʸyA$%tm:|{o"bEVEd)f0R(OqvL!ߨV΍i R& U w)?{` F`]p? 􀡏-տnI+>k;)Os̛}1VY3˻. ݰoFhSX+/q=4ہw V dR(u+V/jA-)|Kly{HfO !GZ+"~O^M*I>r~noE~5NGSQK:ffÎ0(T"hPU<ҡICRUQ7ƎcVlʚU{EɋYTE;۔uD:Ī*E sua#Zgyi`LCXeVme۔мzNG,dk9cnsFx0Hn(3<;?Mq|׆a)- ]mIJ"ʇ {d6MiriL!Ap7bCYڵl_y?2I1KFLxB j͋Cm0?hYM^v&}S+\/3)exi-7+-GGvsjx(}" .No(zG= qb5g =>Dzq@h"E"RF/PvHmCk_5߷^As TY(='d ŇY vGgV4 _eY;t+|\BTQ .Db#ȃ̍MY>%qAF*4WRo>䃳Y%w Dˆ I%CN7Z:`3KO$#; zL䗯/U_ՕAx_? DtìJlhV /+k>gpIW;E[|nEfLԫ`f{K ]I (C–Ahp'p%ʳӯ%%'Vbx'?C6 VvQ+w\l,?5ݤ Ļh#HS{5C]bW 鋍ӰŸ&göJQT}MۘJ ]7a-#q]L]0f{lrp >o) b:zy1i'Ci.f4 Sɹ6ޯx0~ w%.3IOqȍ??$}yN\ ^w<R"XԁVoH>Ou ^dңv)ROrU8ow,KN3nTNr_-4?BO h$sB:mBJKdVeQ`pY^Ne}?YڋQE~iI5yqS?">9-\ǂ_ɚ0o :Y+Mf6x|2;e7pMtS?ŷ竬)C#խ#@NXq^~{/O7xXH @\NYSrKnRf$jYUQڦEHً1 ?Tù֎$Ά:W- Wa$3p{n B*wBvݑd#`4l+8hw"ޤ׭DzԳELL EAA~s;0Дd"rr&xX*ǻAa:hLR2IyF臓8IqҳB >+HC3fڿwkB 3Ќ'K'T";MV{5 d^\JPYWSTOfFq1psQldB }MlVZ}âsO v*Ơ a~ ؍:'u?3tAFfóŭcSIc)c*T;ꠓ^. SG!m`[P5iaPZ)6s~C+ye4zlh]Pwxxjgui!$u~UasSiy=q79Ҟ]Y^nag-vKuׄ@,vJ72ER6g.th8E>'|#{t/FT,uD1 / W{o r$ ZF"wcHǘqcJPF~vPc;/!R->tHV'.k2,Vm^( TV"؈#OG3w:);V_)h-97E1\@ֿ^ou+o<9ڒv$*_!MXX6C&+5bLӅ\Ʊ,Ñ -Iw2lb=K֭/<$UD68qOwBdTA]FZJ2(=18Y0T81Ȕ=><r / ̢d\)V iJ"V|Y?Z!<ɩCESF[Ķ~^ fEّQW6P'?k %L[,xݎ_aCʼ'oe^s$)9_M !o.Ea<-M,m/$x4;K [-l!}mtqw"ۜ $d%ۥ Nh5ܕ o=yHy)|ޓ!6 {Q'v!Q}NUm;OzeN~La/QzpddG! Ѵ񖖨k?]nOSؐ/7NH-٫jBN[{+[1%H.X`c`M߱R[l]^| )9r#C%# ybcS}A/ aHtt9V#H Ivxꁛ7w kɱaS~Cl1t,8(UJ :CUqdbl6Q!uĊ2yP#=`-]qckP–kόڈ iy槬ZObO3 !MQ2ds߿7Ҥ&m;Sm|$I()jӡA(R`8UeZ̴ϛ.д9cy-s0qẄ/i`\_o .FZMivSi FǢ)cߒ7D!JT@ ѭ>Q5 Ls^/\nc=`s('R{>+mmXiz1>v-3.1em{/R[3J>)+Ԫ˔uHLw|Jn{-p b<]լ3LEԑORJ+溧ޙZ3^{6"z~~^B j'k/7ۯGo<8 ܡѿxc&q84IpXUh5owU8GKY!Ý*Of ,֞E:cŽ[H ˘\0Q,M1)yApVo8H`&;g]@F۬ b]2LM‰Atf&KwISiUmq&"]@Ru}c3_$ӿOAyty]fAk:u3v  ۉK߸}<=demMus U0ՉX.Z^dp Bb䞒rAuߏmMpy85CoPPY٪|ĻHy*l1+@E @`!n(Kr4}YfP(l&LwW %{^KN}*1SK|~FmU1)Ym9:23~F1⌑S2]iƣ+3YTe!JBN39P8?68I W-@@ EbWFh#̰0*X `N;\;]2{) c'k2 6x+H3ŠxE9C 8<Gc1{V+I%G܅/Up&_JĽ Ԝ3)F,T6(xÙn'լO|sF5%15-))8>?Zѹ{%BwfіyoU+B :QZ١ TB0L #K}OFՌ L԰gc'0L٬lb2 u1 `o⭽R7M#&5սF3:!_;bDtW2 .nƬ&t\Qj nO‘$~Q5[&H'Q:Tҍ Em!5% e{xhV!yF&52ٮFv#+?ղaл25rr7cYuei~ j_wgv?O}A_yR9po_-BOs~aE+QJ+_@OaBs7x«zK}=@?7rTʎ { ToOyŔ,EzV>~g+L?LXBfh#!GnxN/r|hǔISCq_:IVY7 |Ĺ~~mt"t&VhۄzʦaAofVwBoQrl~qd$:((HF!Ƒv~ G/P~Ks,J7o [Pn[.&:SdWP>ۼドrrO+Qȿ#a}I6-񅦕;P}Xz" $B8XNWkb,i]e-..>6;I!Ϗ$ E03 Pf &# yJF"Kb(NﵺDj&^3XϵH`U&fZb, /bTA^ ɷcDtzuqD\eDoAg4(R', S|˔qT!UsyVnS~ʉJࠅ>'#%ILemX͵K K7&5hGPkeQ _gJshČh*G1òlZg~^K:yIaF>@ 2yyVɊ#^54t:xovdb|cʖJ*|""R8 Q nڢ'G,Y3N:j~ X|/םWY3*mRVzmHRʚUH2GզeQ\'YcUT#^OT{QxnATQB0oЅ,'K.Tl >}MUChw(Tx'Lb!sd nDU]>0tYQF04‡ vOy=$h]ơ]#[{0RLqߤ಺ĕE1Д*"߸Sּh^UZuiטz[p&s.P؞Y==KVL 펺3`S VwPcȒ*^,Xs ۣd}i f㼾U|+u*(^7yLŗ:W},.dбѦʠc[r]W39mf(xGp!hϸfp:uQtFtHz%|Ru=F':1dkۚt^kB,ʕֿ?mHЇ |W,||գZ@y`u*`ogBtQٺϐ*B3W |omݥVPH!uS^Qk{4H2ƻRasfGrP {M>}:nswGE\w%Q^z;fcUɚ—5p QLJY_F֕8C$˩PeAnnNjܔc)N01cT6'vui J%‚;^#%-&Y>& D L/ᡭc:Eq ^%X?]ƩC0{˴K% 5;EgB'?ߌ*|V.O?i.d-Q,Y<(kuswl6%*{̎xwOo(}N֭`FHDW>اa⃼$9|PiiU@VlT,矤9&˞S7D\? 0!,uϑcR>ɶ8 0B&ݺms=kbŵ뛑{CL7e&q@/`qKƨ7/[V KU<w>\FnB2ZӆQ_6Ky/211y}{.Nk];9,:ßs2̻_g5|nOHnt@[T7XKF?΍ g$X> )y +jȢ̼=!0k-E!]\lA0k$I;iM0u+Q.`;6e?<̋,İ<W7`UN#%uri-j秭9O@?)&q:uΝ$hpgV%F{ߚi&oIڊ)NbSLARIO;(kDGvuW+W]X[1~ㅿ 'Ϧh0_DR0!42 T~\˻'SHh؉Vl~=`].""1A.Ow!TWďS> [ҙX6DVF*IG%/=Zz.8_qx.7yS;+I5]=PHĭ HY9{ΰK?!aaA-B{.Snv_ޱОWNP {aV̂NӯAy,??D,?ݝK^PwdlK0v6W5P^>qx MO1cK[ x'K^MJ~dH5dDAkV'{HwI;ljgsWvc-V ry>\m9IE='PE3U4+ŘnBD"lvUG"`zge bV/TBTNں_ m%OW? RȒ94MHu]r*ڱ֕.<5`߽'R_^C>#Rl\ ZW |.of߾3Hdq."K3\Y@B֘j\qt\ig"4EYY#CB@_ɃZ7 c9U**wWQBi|ֆɃZ1(/["-36*K`!4H? MΒ`*uXF )PjZ1DNX+&By 0_% (F.u5dP>_|{?ºPeYSHv>q6ڠr=D6T y$;;|uAl *כ#p&+SAItnxne܊\رp0>5PwmGl KR5*Ζ5W)0_$hW.0,W>;1`]=#fPQrhuS|#u9лWﰜH@;(YtS:>/ʣA Dol47Pb~^Hˀ.S>54psx TjfQ-U;l[: ̪Y߉}rus/ƼqL (Kcj) E2Q%o$n.LIg2%3}+/-^Y_lhZ<ʕ$y8IBt "CG=y>1zU޸-)~U27ТV̕ `^'W'! z Hܼ)g; |g:N5IELLCsQONtmzޑPt&܊UH!vVTw`;,p'l' / A m(Y쿾k&MNl rx(}bC@_ `7P^ /X.@e`8;BC)x g|sD7,y[ƙ0XwYʹT=\jŤve^;p?U pPX7X WU(K QZ#ۚV?Rڑ =;NYTڦPWZ@sKə߿+2hDy)!Cl|mp1ihz[35^Z_V:dvk8lz /7'#0L ȷ m_Pp7+" H05Vx%}z33Xњfق.(/a_zQ!r/sޜR_ߘtɋ0m*AR_}Q/mO^RGoePfk]ޅ VFJu!^EE0!y`GOm/~HVdN2e;%,x+ZުZm`|7qIc.b:BFw:ַ@-u֔Nx4lnX  IYuTZ[1kʞO}H&*'&4S:m9%IWp0y&?#*QT܀W*' bgF%J>kB S%عr"rG:uw(6/65`OjGaP3X_n>el!v͵x$ ߠT<}QG 4yAĞN6٬=_C6`t7vցvME{ˠ6{n 8Uw[ԗRWZ)?-vهM!-hWo+phQ^dsk?-[h2iU1^=~ S4X 樣ijPpx5܉{L<YCcy=T)qWRcUFup* T$!j۾˫+6L[h 3ET;eai}=/W7>elEE6JCO;gŎlQYEF& k/)f- ~;*K.8vƑ>W U\ʐOX ]\+ҡ;!{(8ǯCb`31(y's=`/r 'slrL2%LLuxMD O4ZR,^|KB+ 2LN#d Gv|Expi5$E󍯖oVgF~FZ/5Ƞ\[ XuqU8;oLјE[)t`,MˏqPB駆^7),˦|Vo\fpe[nJs)XŬ0w qo *Ea8}Bp+~3
[jF߽*n-R]>2OҪ&倴Z1 fmj 5}:Ζ,LH1I.#S-CD캍2Gź;6:]UX"nRfW6=R}ܾ$A. _DEN::M'/"<͞82S Ϟu _ ( |;$~0s}D'Q Sy(R-fNlWa%jP\ɒZT6jqQEH6y*7UU9w9t΍hp[/h'6Ron^IQƟN02 aSoNGqy5g&e5\LG⃯d7'jM& xz!j! w&< 3vܭ. E=?dҽv97?x۪E%|ђ b8q(8ny |{?olk߿45bje[xԆ J M6u<,坋z=|W5}-i.wXdʕHkR`:M.H)ݛBO1<"R: "t@ %2`]<. #-%kfI4ZM 2؟BYa8OWYN_ $MaQ(_COCZzn0a#&?47Zt;o|` ˮ'͙pv%h}|^oJxUԩDٴKeͮ(x=]=""ExbZR4,rnx$;q5(xKp}plOiP7kqP|n|jdHɘq:!|GN ސìOO\Dsq;AN[v/^j=RPPSh Ar̚g*fr5Dz]Mӫ˝o1 ❋x(ȆFp&a;*uD6jM/u2lx,nEQMXɄwԠ4OKL놦4DW\Z޹W,L, kH_yP20)sb?eM EpULlVR>~~TٟOn\ن"zhYvΨAZ+5/$*|ww^Swv[;gzW@ xOhc=m>{ fk:k|0hKCu3[r8=ZR^R_8*οjI*8s!RwHژ Ԉߡ'i,C&aW[LD*&hsK-,}gߐ`Jeb܀ VuXk(Nݷ&]ئ8ݕ<Y蓥e!sgYZc85fbc03834975059f52a3be566363f8ae76bda15a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 ad1ba3f00ef68917282fd2edc8c084d3c50a4da0 7307e61b0237e14e27c910d0eebd20572cd5c783 79f30eb5371e11992ff83b9dc6aefc801ed366bf