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 PP \dD ]/ SIFPL:threads=4elapsed=30.314cpu=91.108gc=2.828factor=3.017zXZִF! =8]ŗXiɟH)0%ohoxok}Z@ONo-v*v۳ho=+>s cZC"܋wPjy=~UX\ G8=@?'Ka92G|P+Y&r,s}N/YaRtלťHOkbvVg=AF:Jo>۠񜮟#+X!#O`>ݪ)jmғ.W(Ѡs6HϪ{I|6*ǟ]*j@Y'՞=5 D9HŽ4,?Ҏ(#2Y3.D ŭv?ͻdi<~aڞH5SISNGDͦxG|ŕF *9QpABy7,apN;XhKd ^<|K 8NIq4P[cЏ$^J^Qu;fq"< E-ᰪƹ9G۷ub{±,NN˖75F4USȁg;oˁoALU1*ZigI' }]g]\%zVdP?.;X_)͹}a"fHA=i;_(BZ>y2Yp]mĐ{$B,b :o + wfo'L-\kLɸuzp*1v/GyS#ՑmH )>Hjr|ٟn6 wþۧ+ɵaA9L1  SIFPL  eVFdoXl:=RD@Lk4yJ̈`Dtk9HY^~wEFSog(hH v(a0~%xh}G >ҁpQ{fazSw(TbN/8 #y]J~Tbm(j߼! nv+5/nR*Yp?g awW.Na%W!՟mQT=MRs{w.@#cU@~.M&m=~62>4N^Efh4@-*ji $+q7*ñ@!f5e,\d}9ֳNJ7\br)D5F`Fw^qbeztcɖ!_Avb{7 6%!6OP>C\3B@~NrYh jvQ݋+ѭe! !V]TY(ɡU7KҹMOuS'ܚ16pK PaB:X{[1 !yۤ}ߡ![Z7s'oaG`*WoPwU~{3:gѪY.,G7a'c(/ߠ`|W. L._k+ono)x~e8PȧbB|M\.  %xƣSQaI \ijrdiӏ 0 Y;˦sZ'v7Ery%?{nvY 3Ɋ{/:%5@"5n+%‰{u)ݡ GǕCȇX.{&մȝւy3x'E8 6fL&:Yacm_@űCUh${r:ZZ( WUݵv)UsW--[!q 3ͻPj? b6؃Kq@QkSK516 h7Ck0/Tie x8>W>k@Ģ+yPGDz"UN{&3jsH$XI"9 Cľ>F8,֏ *{~t}~a5;d&']kèȔ[oTOg!O[oLp'B6+2#;0RՏԸ֓ħ ?zOߎ=ox-L~$ʇS CR< hp8.'NdӸУ1 EaF=&Fh|#_sm[EzwցQf {"e.9G^Zd7>RXbTg*ZV %$gҭ ȩN M*tA-7g.$k` d-C!$Q${]ȴ^>S|ex nGi<;QfWb">N5+U54]x%qe6O<4胩=Qk@VFsz \ ro\gR|(pgժHXO&|4HْRmXD-iEA`*,<Ոcͥ:kЉRΝT6qe;i2ԵM z(j捰 %ϳKEH &!uQ~T>X_?%q(pt*2]%tk?^nk5Vܹ+hKZ#hZXzC&ki:5"0kX?y0r(w{1]{Hڳ96 M;|<ɥ(^d8*R6- H݃Iמ81Rں8\e+[xh8W`fow15 :1#[<$ԉ94ѵzEcń}z6z[sikM "cIWHKo`j B,qذÔBz'D~/]3"Q!ou^#uD$Wvۣ&o7]Z:?$vu; B:~UAMe'/]PoH2ey+QYxcVO 1ds葭HAdtdH0`/Gk hJ>Y6BO ]D;JJ2ַZ fAsj7?: Qg@c-jb+O=I+3W/(5WړZCP Ap>3x#n1ɴsONW(\Gw%"`t8O ;c kKuep'NP$L1w>]s@`۷{&([6 y q *Z=b d}ԲTRYp b#;]ziCA9K]JyR b)ml"B@*LU7ʭF ^r}DS͵a>7#6UuUgqÚɫL{V7~C9kpcʎtJ8:Yobޘ^Էw vB*Z;P7b}){ \fGJ]YyI5b>?m;*a5UmM{׎, =]G0@E>^Iuz3OCUiK.&P˻c e/m@tc`#TC\*2BKy :qपX :',UH^a. o_no P @SiI\gcS%WH/s)ڏr]^5iJ*Omk.$.zQ织ICL sR7eapSBktlFr+3}jx7eYPF1rGLdE#"@-Fs]]?> Qd.PÍ5N~MzzU"٥iqUUՁwcL&k.ƇOʀ[y{pN4I$[,wsx<ݨa/r8v_Q}AY+F- h~J>75Cۑ W ҐSݢ;.Ck6!lOjgIj+}uʃ>r)}"j~E Չ,HVUG$β$(XMY2@uj#5o}|gћ{$iB%&1ƲSSVZYv~p˪-`!NQּk&=H7x1r:X*I3֣9=jL!2p?8  ۯy &l*7YGae[z65 +[zνtl}pvdӖ}~8dH"fLYr9V"i6(dw!hR"k(rBߣӘu3B[r] RE)}\w *[x @$NṖ&m`3nO ".nuU"+L* {cmaBܑlK9Qs}wfDʚP*V ;SV/_Rݪ$Qn@CEr@jMq*_̩/Mxނ$wQtT'_[ `  ʈUy&CYM[<3 CVѥt;3b촃ؒ\P"+6ii=ugpHgN*,:ctM߱BAjH$.\McWvurfq- 4S{zN Ap2-h!:[2{E!83AACY8@p15 7EbYְZ扄as18aX)(Q6x,cJ T i<bif&3T)EUhݘiXsR l)s'm Dگ׉7um˕@~HU_*us$ Cv-w+ @H"@}8R#Ь8_1>LSQѡL\/)(LH]CF==Z_E^{MHckqYQ*6ǟi:-1ζ8~f5P] O]ut0!o$ 8Ss0y]s?BZjzpϲ.c[00q 9CP [{9${n??s9|qt)%~uL[Fnٹ,J=*M2տ-@8J@/jM*" =" }!?8D'-ݚbBĺGZ1|sT~݃G|Q q _d 69j']\ҤJ!Tѳ縂 Y~̫A7'4J6<ϊb{s䁂Mq+XiƲO?j&4ۊ1C <}9%a͆E @$|TVQsp_Stl6̅5,X4WS-k'U?Hk3t06oket/H= :-@9\&/ס\XMVN iK3.&~;,AŤe/adyXWἎ\0?PmOW{SJ-_@p7퀌CefCh~E ^L13  Opti#vUzN:N,kqܾPB!kɇ>B(߿qw-`Zclj%CLzJ%. n/+K,/ܑ3~&ΐ~hQe=%P\Rǿc}F)q'NuDfwy֘䖨؇mH P_DJ*8V7ZM<=-;C{0ǹ}%% X`a=9)"'H4lb^”& 3)MPtAvwJs38&ٴ ܱan~<rUCa}(%lyFU+TNjL;s E2v$&U"!>y{?|m$o_:% wflˉ;ybn#- Lx"C߸l8 S!RXWSOA3T:NH/Ս&kZem@dȖKk;Qbʷu?PdP\|r)w7t2CU!*%1& vff'N<$;#gJ]~gUDhG! r?? D@ϲ1LKPD Y4-omiebk}|}/v7 OuuLT:n)J}>z,sXgGqP kL$]7,iZCB We}۔n=DK i)rP+88u:zu*~42n_~Y]Q!GbwWQ4*J(%oqukJʖsE {[o$_}0ݘ`q$}9d 8`aW\Eԃ#Q|^ V@nUl:݈5*T00n0~ FU,hXBjk4[w뾁sxL 7eq uI1?v &YH?Kw; aBR~.T$̽Y/~ZKUziXqpu/kdu8;=1zv5ˎ-tqP'= uPyW6B@eߓ4#GA.۞ǵ~D-HO|YhL;SR:O!؅-\kC Vʢk,o'@~E(`Һ, 8&8h[NzCgOZE' 46'}u+Y\?=ٖ ݑ/I](;ɖ{e]S6C|zǬ }#8h1`Μr[R G!-Ucd_5Α wDvXӵÀCtyv4<}ԧ Dyya㌰_߯З967?l2;5:IR&;YZXBW,j>lOěb;j Qjh*R#cnU$B_ #[ԚLnx4w xs&5>P&WYΎejlI4C91 0WNfR߯rc3NGzhhO4%fxd[kpvash C#%}@ޟA}lZBFڂ'ג ~mO5 QL5 Տ %9Lˌ mt桾픉4dn}+ٙsi4P޷Uъz&|{3 %BwXck _!¡ &3V?I)_~&5M@d瘷ZO|E4cLN96H cvy5NM v|Mi[ 6:orͺ|]MRĽy?@ x?/M}xcwObbCRPErp =?nF#ϗIUH 7)Ƙ7:KhW=TAOƫJ-H\A#7[Ayr@1ܒɘ5gEcnOBB=waxɟ|s[A!w&+X:"\`wyާb(C`-I`"-Ec)>_ܵ{R)Bc- -ž-FݱyAvoEެ<_~M*ڷ .sb=ϖh-ɶhdC*xoGwZ~]* ç_ֻGR)F8H 8b垉ҡ"oBlϓZpgbBv{m³ԗİlw4åQ`QH6=Iri#\5 P>ШL;cӔvj=ki }`]6L!VoQ˥<3*f~рp.cI1̍A%y@[-bm|0dȻk<{$UA=XM4F{Gi94x?/#_roB2^h㡛+*;e*٢o&D 5 W.5{={Pi7 fލsEx5KElqAd'=]aq201ZAPޢT7%% KNZfJRp2=cvЗf2bfW\_ o4oׁh$Vŗ8}:#'*xy*1][[ ò #D9Q*yFų@s:7oMP~b}~0MDeXl8d[l^v鰱䷍ǶG\cAa w]lsW[󁘐Ks4*"q=H$ efu"Lr&@9) Dj9sGJ'ɸ&lqpfB|YX4]xzH x9hiMyTnKt̊{a~{%%W?si>?z9/6Q &;^6xv('{b%b9j >]&m]\Cmt0j&U~7M '/ JYӪ*[p2+^z`*`٧2طgZc,8ez*Lj7,X4VO]ݩ|%mTvHw_*&Sa |o=8"t̸ܼs|fLfmζ^RQGA#TQyQrʆϱ-4|{ϥ\he=x zx`i,f#OF([> gx|K Y1K>Z&5buLb8OZؒbsl'$n%߯Sf'ᄽR]P)TKg URv a$df X1kB̩8tHN)0 It 0"a+H8 /y׃kBtmS`mUtC&v@O3ٙVA64)95g-EYn/x^+w˙ևz1dh`VAi夏ao@5Ņ&5 𢫈67щ0YMY]!?Wy%ow {IL&n6Ch/"O' 먎kaQ\ؗ0e9||w~AcݕS K͐ 3ǒ6QCb< @ciDbzlbaw_oz0ddkH-ɦ(.et+56qT[sb!#Ѓ0S>* pPv^O=$1\-/wn #GBҤIV74Ou+iRtWQ'l7+rg#4 (nO:1̤!F]~dCvoiq l7ib41٪ ADMɷOxJ5Qԟ[ Wge' t9k;E$ه.Eh7!a2~ fsTheo ۪+Jz_[xRןX}4}PD'W氤p;`9!bH}0 &;O7ezD1 ^LkEXL(,UOo%̭$0/}a%AQ:d2nȸVbfĩrTAȴgB=P I뉤xsboRS ʁQ{Y4WnP׳S~+Bī\ 4y#P+ ߵRNH"A$+ɨ%fz&VD ͒`e2T"\RFΊGouU'5=i&ڎT R?پpSOX~ø`rfZcQgOGNzCf /WGP$15Ph?NcvRڌ %zHoNYH X?WEDAs{a Bqɜ; xYePK5̱+c E+6éU鷌=eW}I(66L)`@N8r`s}3uZgTc80lz(V\m<2aw~R*m靈O:ǂћ$wyXx`DcIZ]RMU~7*jrcx;yLZp4g ǛTPE&W'\JQM6 <~]+ eo5q1>^rq,UP}El.Yo1d,Zq-nzlZ\]x\AܶQ [5}JJ'‹͵kY%JTz|WFv\KA ԥJ,tL!ή%ڕ|\رG.^mȧlʕEqRʊ Ц*B`S$4F }a_+,$)iTynLc<rjjLlH,o ӲٌVA uj0]#ՠsO4y;+$ 5~]?oP2+WQYUcr'?1)-!Enn=͜:"T0L"R@ L4 )p%[l^FE*ϻ#E^G`jդ5i K & \ Zʸ1YP/m {R͓y\[anq<$"!U.p&wK#X/8A| >񄚳hIb&c&6̱fPn`# 8-7#(>ɮ d MM63' M&E:L T^(Bi˾!6)7n aZX|yvqE>EPNvYa%#;0dn-&2ȹКLLLl)ȨU;c->$X?7FmRSWxd3m3~ QEKݫDl2ǙrvuX=ImtN?xxm'gMsi JD+Q,%*jݾZqwش~{h:jW9q[PŹb0& #sՓ,I*@Օq+"u0CA9g VۯbƮ}V?\BWn?=Run) &jA/|0盩[OnTr6I*cA9x+)>^{؇c_H*HBsY{46\MASȱAA`ޒ$It9oguLzisY15跴u&kBk[h;i-(LQftS  tEnMt}G:|ܤbMe nykj6rTtA_[*Et.AAq# }fuxOQw˸GB)8W6֊o(HpIfoZ_8yVQ07 -/sfv^OBЮ%Ƽ\u3cQc*+ 6{fR8z;j’b*j16mlꥴPpWH$'n7e@KvfI'6E7=׫ " O";V_7?<ɩ-yRwX6W=3-&kq%(Zis`Pq&P;/Z4Qaͱps' 1KC_ z?[mzWs!aZnws +{k`NdM|j]hM P=Y\[I盻Za2$'6et:q^ w+"= s氮2j$b3(s0F2т)1_e%G%se.G҇ra98B \ <:R=!y-?pH!Z]1Pv/sO544g~ѠBvx/!$/YRk‹Dqj, zh~[0r[ Vv`"Zb`zHͥ9jSD{KK㞊[)pE1RiBGda=C6}Blk&ꐷi. 1Ջ ,_ݰ :|w a)~}3Yk0cbΠ%J uXefŻ-BS ߀\>X{oqyɿ76?yWortŌc)=D{2]C lm]/By^%k|ݪgBD_c1f (YW1l橞juaہJIQ}i^qe/((mbl[}Oބ:uNm濫|*ꥪ(PTo7rj6T;ÜʨfjE &IFzR\ ˓.#ELv Y0Y@N6s$A5=Y *zVj~8]z}>,w1{\`B)#vZ^YdfTE ;gUP龙nZ~1TĠ` xt*k2lz+ `_IJTEf^Nқ > $Pltia =$Wn7ltDfGR{#ejvZɆJ1>*TG s4SKlj;~5pMxL1{#3ⱜR읅Ee>`JyXNvς޵-XAr: n:9ja&IZRj P7;M@B{p1 rdWϜF/!AcЅ^l`wt= M\BWdOfDLY΁^ǶέenWavJɋfG\ , `u:( :%ie}&)*qVrŘ6J"i/u}g'NG# bm Ɍ2ݒ<콹䐵otBѲ+|! UnNP<9͠`W6Dn1%iVh;ZmŲ@`ƂGX.H@Wϱ9--VZ*="Sq ΘÏi YcXWDi{p<~LD]aF1M>EQPA>j;F J6ӳ&^D4b)CBJw0bPՙ ʓX,h#ksZMD{h(U"1!a>Ř.P懟uKI{SȰ20\{ÕTxe cZksmJ?>r|= >n@"˒VYL?ցlv!~_ujbJz&~QC {]Os߳{h/f*57*sݬ]w3Rv'&E VmܿWc;N+Qsn1ԶS<[rdZx9 VqN;jRzl9÷G% G㯢_}EOMfB0Uٿ6wOw ] 4eS‹m@ U"}:OI3P/&tĻT)-[r>Cw?94F~h@ӈ@]Ń)n,=3߯7wKb|͝e7dSO&GgK!U0g'G? uO)Sx| !?oVTx@}B%{JՔ2rh3I dQs=L=Xk[Mi\U~޴9j]wVd:"#  5])襊Rr<0 wP~AO (buv5)~$7g {!x"+hGjR˕315XSNܙ7}3`lΎ;Ŧjbj{5"#KfMthBL\Wao1Gz/YBBybhNzSgɄG\8K9@ g*Zl.:!OhSDBhgTRI*4) I3͘Ű 678^>jpeܭ4 fǣK mdz"Wi'`8cekn ۰ t$:3%rq4V .^+#O]B)s/djf Ϗb;OhGx\QT:q#pTB" [_3`?_#"ƑnwSn0b0'bk9eSbe0o{C#Pq<*L-2Є{MJB::f)b &iI3+hr#OE.N\==H0zL ȮO4v:*Zp:5@(K&ڶ+{0/3AH~1K1BFbbjN؋ P]j PevMO> ?#tT^7 0bŲqs#:A,4Hw?0jjm Kg76- ]ބ>W=QQ+H CANBd,>$Gh6o(eց}a=}\w3 ,.+ftjמXç$UgfɅ#`"=6SX4Sһ?5ID8_K0BcMq˷DkB2zܿ3B_JÉk#DW)yQLdj9C/%2/-q@ jR+jdy9v?f\fg;-$C?:=7:M*l;ɫS1[ė& AH n a'Яe #\t5IFЬ)-:`I>+0[4S4oln1pa_@k4-Y0%l4i\HO.5_+5.pE+i*m>C v7'ѿT"N [ka>K5k P0w! ߇!9:E9%u4)`ȇhQ`|tE8je;{0" /4V6<'҆kƫӉ<( 73 rB)aƒc[C@.XK{)&lhS _1E{k}zOOeDeS %eXӅR|gԮː#)]+ `+ `d@ICM0Q95HthwT,uxG\ W[ Gn+.YVB~CVqq6~WaSXŕt]ROz&t]cbi{,{jz?5=4-2$8|2< {hEx2 u~9:idhRTSB(Z:_V| hpjMdcrM4+Zs]30^ ڧjG٨RIL\!EDæz~-C⻖N@Onb84o7y#xMuHi}*{G#Hlzs`OstoZhek["Μg@G1/k0TO_ď]eqW["D%sv^>FȵڛS) fRS1#̯~1-Y0]Hj%gxk, WE -49?qI\˰4@z9sbK"4-F7?-*SYu[{7ԫZ;YM .mJ:d &e7XY3'paa`,_]QW{sEc90z:YVE(%]#&{(s^a L13 a"cl 7n_ٯ]`IUs{?parYzVF$aYmW+ziE}H9UHUu t,G88CD&ζ|bFo_g%!64L3Guz5JNDռ{)$"Jy^L_2!OU3)=,7ŨieFOM 0^XȐnVpL4!-`r[j)0OL=SNNX+.t4bcBS(\iz2g)t)+eVE!<ʹ -Iv)DKZA ´U"kb C Ӏ4Ҭ ~~'ϓ4' |[9#v76U1 Ί͸/K"kS/ý[2dv /Mlα_7[;q}~VjWDsCzTR!}`qB~Lun58͕$؇gXU戱2[yRϙܸ,B!%[Rr }-Z/:w%x4~ɘ8C>Q;1xGipץMP^:J#L/9Rtv eZ sjO~>7;*s.KUxB*"Ʊ堦e^,AvSlE0[LjӞ*eJxzO3C#mpq'=B.vx];ֵQ8cr 0wc:oh\v yy/6qIPj P`M ѓu kުG7 {3EG|.oȆ =+(N${ _nΟ+*ڽ/W9߄{%uױn$Yy15+mۜlr2kJ2vm-igp.4r֬7yx<;GbP#.ᒣ 4N$+Xuݩ;wnZT zbW$2}`\?+SHi}RoA!VsNs Tl\T1XtbaAɗJ۸)ӍkBZ7"r;E+R(ȤaԺhG%nrF#u@u`伃'o \cI֭ηTS\a,m|=bmK= yS;{Nlpռ;R?5GaU/Al3u^#8M>?gMof/B! g!+4ӼJEGIt{KV.(67F8jn uN{LJ ߞӉΖ~X&ϐf@Xz`SY.,5MBԬG*3X'V)fTEJ?[ AI3 Yí @ 1|K+Nw>GY0-y)bێصK!^; Q<% .Q#ެ+RNZ)TCiW݌ٚ}*9 ttpP7a ¬D$-DGo4nŔшP~.z$jyh*h* mJ2Uw&ww<ރ5+Z)<20w$n_pEdnIkکD"N :qPzj|؏ ,ʽDm|e%G5p>_5v1lg/lp#7t[=fH e2dw#EQZ;~T?eONOnKj%fVb<^ȗ~Uo# ]m&H. 18*}FW9y5ĐFOAc,RÉwFA3#eR?y?/|4kK{7Os ,ٝ&+k,kWMWw48L'w5O2jtꙌE|ȳC\]ƛõ~BB굽?۫S !6Qo!+Rvf;̑-Xr;bh.ieЫ}* 9M5RӘԐGl7@ӝ5g}0>r9`~ (@!oנy @B \ "VDL[D\n'\=4wj*) bV&稜B8 nˀ:Y7P\dx{v{vs(Wd"ل[&J._cResטT[V{{6A>)ol %fj!u9YPl7I@5乶sM6b! B_~rE֟Z?#bFq'ni&v$7c"~j8k!Jh!X4lX+3g^Ad.o ? [\o[&/dftaYw(9x*&\$8$b!i~)rMEx*+~ ӉtoѠcx5#s]n?|:9އ /^6)kgZk/Zm(9 |@ !'sj^^31͐ЩS1~[yUCVq(%hUW=szQ]xs$]SǤB|쾵,J[-6_ʹ5G:p^XI*y%/U#jxTZξyDY0'-G4O#-@}S#\]aŘUUxfZ"jФI FiR9vѮ#,N!=ElbZCa0 %BH78`[B,_jΎ[4s]?R…;>jsFO%xU҈btȴ 5,/ Ҋce}_$:tw~U3Ug#VldZzMθ:;%$ް([+ @m}sa. i98a A_(Mi 3-8{OhAI Ta$OU4/jX9>PfA&ݗ0qɢ2*db=٨&}mG Ӂr³kxR`&0Pb#p]~)gSAMȾpmK8k!N6?P\_/m7zj%(T.6d-p!ō`0XykJH0+ZEIMVr,bAfZ [9g jʘ(8ՅV}b]5$'C}p\-Y>{6?>s_e]&dx\&iUxbL/O8lYmORC[[j-+#u,#R=Ojaj~!Fi]-l}?Z`&X~ Ѩ{JT hM8[TLvK:ل^I`Y.#] }ooj+e|ŸocC`لW v 1!Ô:=PÆr&8!a%Nf`*UO^1 cOcuȃDwt̆S軘zg*lc^gL*$^9𠘸Bݳ6!7puARm5B9gPcs+&V0Ѫg~])1$U=..緧ek/&^lvj)#A #ŀ.s(BU=Cځt?m+{ @͖$lj?Yu!AÃ2Ք  WĴ?V 7mm;js DzީƑҝ9Mr!6=R6]MMs󑇰7nh__V޹"hBKi7*M r}Uo=bX4z'}Ћ[%Og0+pmJ7v%W"e-ʟCFMd\-~}ws-Gto6i€ǟ.̶\y39@ ;>©ؚ5.c=l͚.8Y$561d :vE3;3NX} EF*YBGWF}TynQIqRo~QfAH=XEG>5$} '˧I]-W$m5q %*.ȹo@|z"?)T׬ ۺXy#8GGq[(?0fn0})@VtiC\a:KU}2}I2,3>_vndk_̏7 =f_JoJ^|PxZ*+om6! X$4Pݻpa1Y챀EOnxs}nfb,H(N<㓭 &3n35vѴcR ;DEHGI "HyFPàCXp:`zAt2Bkus%n}dԺR dzi>~"Qd'<ߗ=j,q`<={貯oxD 0VcpA KVv~#!x`aP%IE2xifE"y'y pSL-vң9#1ϒe82ޟ]gn.g\+F(sxJ141i!drssrkj KvtXɢLgZ} PUL 1N(qalمͥ3yu4tkj@4y ?%⣡nFl||\FTc(o *aCqUGR\W{ +pr9E3WYiD j* `qdP7W˿><׆|h:/[AN}?aöw3SOav\Z%ܙ.]:rL8uXj ,dS3HG_-]08a+vNƘ˦C`9xkDDC:$M=Ҧ! /ˬXlXG,OgA2Ss:̐43z9 y]9ŽZtξԇ >2/mAL'ŗ+ɻiP%g߽J<dzk%i{/?UNaL~ʎ v<˳q? $Q䆿L2`7WH=~s ,_+9͚dh.騿%Ӹ-qw\e]7 NEhc|fpRdT{ꍨIN[`/s=,m.G,ww?ٌ,*$wta/,I$Pz0Jr1\Dg{a<h=NQ,7ꂏ)k7MTW\MGzt3A?Px$cO){ h# %Æh`٠ڵ24Yu(RQ`P[絋/u eˡZ-3/(I>K@4as*Ф?K;b0 ʯh11ޣfe,iw`G>Kϔ8=Ņ(O*yܷ/rT ByҖ} iZ׉j.(|h4.'pWL=Kʧ]%޻WAaI׻\w^̏-KhK5GO0_K fKA1#]EBvh|_*+7qSe H%@7'v@'z>g1 4͝Oǽ[尀({h}+"}ɟk@JouVػj,_;Rc? jOз;}e{lMy/(j'4Dmj/=ܹ7޷U\o6^+N9 ݝ)k}+ ꂣ[Ȃ }D/1Չ.Y?ca&i*՛2pnf{`&mcv!S%EAYiEqlXƦq`Od=Q͙hǛؙGQRSkY[ZEܫ&~ 9o紱iRϗ{}q%DԜL%yC648O9V02~]W|ݾyY M[ak/'VJ>#fR` ʔ @_'=-5،nI %Qq #7ȊŦ?g2CR@An!lgJ_蘇{bq>"8ʈbSQ[[rrwh?^d8 U9x;PDIљzF_XF%5t4;Ϭ/Xg3G+@S]2tq{BShRoaƍ%J;`?p.2ޞSA! .T9eC H]Vrj@AT_9ԻQ^%RsAϟy *"ٰlS:rtwvʿW04M J[2VpI`d*Ru]B`xo$mCv7m\,(zU>x7)xNDGk$nճ*]L>(_R< Ur%5f֊F[8#{qLqZẮ=mZ[Q̯I5(]4QXX^M1@#i[L{74U ֯AeZc6z2 UEi'/N g 4-3z'JJz4hs)Ik'q9 ++"wa58k ]YQDo\yE."Y2½wu[jͅ8 ;9!iފ7M⠮IPpʽ=dQ1zڑFs?YGLHl M] څ-Kvİ^!fY1`o262]soכo ki .Z7rGvt#$Ի F2q7ʟ{ (o[/dQ)H#F+/ueFD)0VeAX׮ʹcz$2.$͔/\&CCȢT,LSAJlo2"umoփ Y:IN* /\uG"] r7|$pԢю `YqMz+&f=6* 4 QM(DB'ދSh(0<“݊&͓pq/& AꥰzV?5CϔrNw\U@Y|^4d9GL=S4Mz>ޤjLOg&R g(̞gYv69徃>U`ȘlJ2/Coa/0Е,'="@V]>ZHLzDw>-tY-jxAO+4NRD,3,\42E|CP0+lT| G|}tKQ q|,'-B2B2Ok4J;>#.v'} `ɸ N&/#ʢz8hn#Vw&TT|%hڂrğb?W!_bc4Dhf>iVa9jAzAEZ!Dh=JzAy[8}f*: n ÁkJ>vٝ`;ur:=vF_&45~pF * ty~:j@ f}OOIRt/qHD@0KhKuB 5d.ʹ"·N-k>Gmlk~,p)\dWox=&ْl׈~30f|h.t~鮈#Ȟv$g"f^VVDkL}|" `)"\ q !Ea5ݼ+A5¹c[ff`F3y4zhA9@}'+ !iYaVfA_VACtT!9ea,g=v]#S_-#Oi]:叒rH=@;V6smY8^@ ض_\бWC4˟I6-}fjPmoc[G\+tu\W19͈-Slѻia#9&3W]yQη qK $W˧I=jEwSSpF5CM gϙ?,,ʜaSgH J0wɆDߣɫ˦y |jPcO p#lh;RqKieNch_Y璤_5$vo]ފ(iLӖ3hA(C GqQ ͣ{ԅfpr|(i>@S@pVD2:1y 4~Phu"`gi?tF!ۏB U_Z"b-ʓ1>"Z\۴1Gqb:ԪјbALhήi' xo% }rT"zmb]\T ASfyziR:24=&M6{rw͊'U;$ҷ`Rc? Bq׈7|:5 a6 MUjcWJj':7ަ%DZdn"V74K@Y$R4+bali `2>fyAM:cXj$s R|dknV= S}nF]/ ւ1O9w*8b'ެ<{a$?uh=5l72[,ьG/3oނIig7B^o'};]N;-8jݎO\-L#q9F~S}\9}_}d-r_J|~*ӕWic}]Q()"$!/'5/AIQRp>E>Gz!Nð6'rS~0]mt%n:uF,Ɋda7'rb<ξdILϼ$J436J%X rE[^."}vӿ1¹dr-Q&:>^GBR"JW{F)O>UǺyf^q~D+hQuh!=W냶 iz)\s듳7"x 4ufE;Dx:jաM%QϦCVc 1{ˆ8d4Jw|{:O8$z 㸵YcNV`鯿(Uwc}CO%Ccf ';M,OyOn)) VLpO4Z !Πx .:EJJiw]y2`cSA)4w.kXőnSwE)F z hsbV/}wki>?Frܫ ŒG庱ܞƴh0R.7b1(r?(pH }\\Fۖ L7uW]7Y=A)0&X AEAP@*~ t.;Cy{W ~64!gq>f ?Bsg74]*BuKsʝ9|&j%nymfX~'M}0[:]\x\>ヤ852*hevWD>_g%Z@ [ dd¦M{ނ Dtg*chP)yH{FUw mkq>&Y0"OOY!ziJ6*>}Bm>O3p+-`zWv욪f>Վ-_N1A*|Ac)PMj4ϙx#!|PQ|S8 xjR>gY9p?`K|c9 E=ֈ߈ְ &$|$7v!/]&"q'1j{h@nYkfC+@d$7~̶p`?3%7|W8;[p|5YZ@#i2Dyt%}@AK}v PCY@HuljJ5OL an@0+9(]F}I LxN60nhPuF1^~k6O24c_)φV/ /v]HO VT S\hc/ U>Pc㯡3K[UHΫ 8q`ҏd t+QlǓl=qQ%ٮ.(t9@EsdUN(H=24D+`TSr6~?:}X23mPK?4H>*7Y׽)F0B< )4İ.[PM%jkw: a5`A(>[~Sv;jCT |P r_SqdH/$v[*_0 m? zǪ ,F "h[=$wF,TphCn8Hd21\G}'`bb͎;-6a/. ,kFkwDe`.1Yu z5yDpA` #!vOh1@~MY*OyoG//z5NڷYZ3@^hqgYZ7zXZִF! ]ŗXiɟիxWuۖ?oU^MNCd#IgB<"ѹn㠬3a_NB&<B|NhЙ;oJglo P*;( 4 *wR$GX@`odEiÄ ;߽)xXٵ2-/,1dZ6"۠*']햝Z PELـڷq1gYZ7zXZִF! ]ŗXi%L!l+{ٌ@BYsp.فEdzq |) GpD<}~X""_\u$sыmO)\C>RsV͎ MbG?MԟL 89ڻL:Efr\ڏo*4ҧ;^6!1+;./aWnY/ޤ=DHo >(c>mm)󜘴ͧB#}6/q`X#w&fE>)U]tQ̛HZꉵ/AZEEh"6h =USj4ZI7#t3Q}QEp?;`}`4YwxLx3W6' :C)A9砃pfӜq97ye(hd9 /4+8wKQ^'0Y@8hٴ l?jNN^B?P2Ҕ~ywJ8C|J2GB5Su{ /,K\0W;pr>q,L<%52NC/`hUSVz`&miq0ZgVOmrqH_Dʡ*'k;EqP3&.~NqU2΂F|j1h>f|<X*(tw;'s$n7j&f^-vRN7?'{$XƓaJ`y3Q j|;JfӒ/IɥD,$Drm ^lUIfH5iQfhJ#4! J*{@BR~ X9YH~yZ}Ϭ c̯f#W|brNO//_*cjB Ų:5`""%(y8'ya|٠6p'j˔nd9ܐB|ƷxIҍQ,)]ؠ@Wީ["Zz83 "2|i6$Q!UK:sЈIXCY?MUn,x"/U srDשCt;(IҸp~Kz t!uw&&ϧ#s&pUw: ׭<+Mru9a;VexϣȀ To}g䵖D⥋֔PQ_lC{\B`m` $¶O)T--&_ a0Ҡ Ö~?98<]m?)SU$*jz>Uh}~İ@wqJ$g>"l` 0= B xH!~ 6~hvr+繅pvWFh%`~)F@4d*'žџ*?s 2U%tɃ${=c>rma>_(ѴvD臘ٮH gRN>Ċ㹛^ ?K :%ŒR{\:* ޘٹFrPZ?˲P߾j;&{7%lJ^ zJ9[L '"gp܆NdF|V,,=Mő1TyE@VGY7p/#;Ac㈯'E&#:Weήk+$x`X#1Jp uAtenNL81hX]<㇡m A;ۭh԰ wN5z&>.>)%i3.qG$>1.qV"F 8YF01pXk)#_=H%]C?HtBU$0\vug'T8$HRՑ6+'%>^,s=WӺhYb.ϋ "JX m\,ğOHK굑\N*>nS62"A&*r UBмŽ`\"p_\.a PMJ &TYޚ Hߗ-Q\9j~t})AZ (C \H~vDg& gc7DjמD f]/ܹdhK(gYZe1fc87f3c9fc355118c977c811cd3276d82c5ddd8215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61