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   (%\DL ]/]HOL-Analysis:threads=6elapsed=341.888cpu=1653.368gc=64.024factor=4.847zXZִF! ?S(]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmK? Nx.йHIMlk*rwob$GW?b!0a[MkT*^j7:s"+/cfbGaّ+M%~ߨ^KJ_ ڊEn xu#!B,mΧ>GO=ѓU븀qE^X'-}I_3Z&Sr3 8w5Ouu _i|OK<]Nk!6iVcK ~1" 7‰V,#hbFؐ,BRRK .rRJXųw> ziFTfjj7]]2kK3Q4un]PM]Ac.M]{9ټ4L]y5pV zW ]8;F!ܲ=ͱ0Ң:KK8y~ݩfOfr>cF{x݇""XgaC^DtZPK#ojl'fڛ4('0hVu<<8N,:ӡ;B]Zs RJXM)0Bȴl>oS6>w-s/0{HFVu+3]%N#McN#Է ߄/ =r#`+)Qgx?+"{Cn [V՜W\X[[TlIMmrx5o(UA:SӞ4Dž4$l}6=sr"Ob~Ǎ>DÐ=~6ؒ%.* = 2͵ ՂA{X'"}%n辪 +)`uGCH TB;jF-[4P w1R&.h`RND)=4+8\Xo[l9(`uڒ!(W"f)Ki)QQy'.[É'G٧_GN[yۚHt̢\TdOlH0ePD;FFoy]Ŕ/e=NmODU_-~ӏb}y=^H[l1PXJ#tvD㛛%1d31p Zi@8L6-8`߿6^8گ]G-8֪ y[ߤ[f<2xLQZ?+veg( }Ѓs |'לaH+Æegr3R@uhĠ`&`pWLj9(!Y"GK+z9,ue_l Py[P^% !}^}{ 8[)1;*:ՠ/b"\ɇ ^}.բk-?T%)0,#AH"'2Y̸Sy'FQKRY49\Q:`:O>0B j "(#̰UxtM'VVu6-5_|wq@Vmjqѽ>&IVejxº1DJ W3^ K!yu4a{A|BʀJ"#<4MϚ8/Yybrei&ERX6$/ش I=X+.P:wGXI%:4XJVB!x,9MNk-vhŎ`s+kc* * kt0Uײb~8Jn8ߞ>HT#[s?}f"4LlR+qצbH\qzE/.DE7qpVs@1ePVj &uj>RWT,ѧGQ;kYOwŊsˎ`+Z7^OK,Wd=bzE"ÿp _ |E5'DmC!uy$K<P5zb~W5\J~9J;=JP,3ǻɃ:8Ö x.*oDRvXON'j%* ]0oҐaNqg{a Juȱ 3aAO]kQ эL9ohTr/34nP]zÝuGTϬ0E1^LM]] ^wb)׆pޫ-4[w"/NNA+&2ȔI) @/6fQnolSWulЩ va%FQ7JE쮋> s, 8FjM#)|SwӉ}zTyh?%[t/#PW I^"Er;.@Cu۝Jb׍!滀#d(j7&'^ [}GT8ͣle1q\O}*s0-7?/q&8n‰D9SaZ6Yd1jM|m?M="y o>'WdJjp@'<>RA-b⳱N3>?TfSLzq>Fi8eBY(ᅏȄ6-4aa9aJ`7󒰠I|c²~/媮F)<DLC Ws(KJ7+kw@ItGԲ$.=dž_%/~nS4-`\"@1#jnB ` 5V1DmϔLu8t-\pUޠN<6I|"~|, ! XSVؖ:В>I3ל|#\HJ0SB 06~uֺR<ì,mnɟ+;X WPk%"XKe~HaÇV>hUmގ^oskZJMHƖ^U9:JP[\U26JtD2C}124LJu2(Gpai*Uc.|s#` kX pic"eP[o ՜/9Z[8OH@₵bҋT:||<:6߃+C-fX}զc޴69_uBVtD_tC)bz8r:rdәЩo Μ*lgqFvChCҍHW B1(x^}od)MDV-QѮ'W)V{L# r xܜ"D`37p|IKsHāN^م:~hg*;s_o^~ܘF0Fpڻa #i* 2WV/<`jYupy= (l%TN/d'3Aw97Ǟ#%SYC~8Q@C<_ ^nBIH@U|4^ʡ_=nث%^0G%c{2Ļ=l@KHVNzlk8PUlY]`y'[z- *XK8_{!UЀqp.1T#rA|MAID %KP`Ц T;`gokT }qxu6ȆWZn47bWi{@L of˦3y!F'2j\<163{` =N7Y9=_TD h̢retNGd$#_Qπ"lnK[IB @YװO![0n?fGgx!#`CNɨCs #|+naл(V\@|*1%etӚ*lvyr{>RikYWw|z >m՘j=Gh&3e@`,֞"V`>vnciu1 ]Fҷ7Ț-,M(M7l5?bw]&fO|}ALm}@G2㙄W!` m馂5c'62u0wMG:Dy.2E )?!観.}EU.|v'{ەg$Ҟ\ pqZT :kѡWn?yqʦ},㔭j2N&}Uр爐o:p E OᢒLȞF"}HxLجZSBv?@{{HYQ6ss:|0g!$-lrfDNiUАeU+ziuTglx{ U{E Cwg- l*Q IU㳝忳0~׷x#-l,'bzԧADJ>FQpJ~8Cr+j jG{:R>{L]4sr!ꥳŻ1.1+alu{ \o.7dlmRE~Ռ{Yil^e06f˨弙C~qoG(6e!Cjg`aⶲu9 $_'wm Fxd mPك8`9kܪ}F!&=kZ". #bR2-nSՠ\b99]qϵ!)=ǁìkаD`wQ i~տw3ՠvf LLX"y7cqFʋt."EjSz٫ &vزŠsm>Nc#f Aѱu\$f0CRD\+fx,FfiAHU!tc/wc唿AQބM)Q׬ f;O$Y> ۰BKxj6#O\A{m@Γ/cէ-" lOĥ, 򘥣^n%Cg]YcjsIpσ_>gZ|F]Ǥ\րXL"|Q XU2/LY;vl=t p#-V2l qxۥnl ӟ({J;h -he%dEjs~̱ڂI0Fh8HlIC)E=݈8l{:I񧆘#׭s7;]sXRaZt_SaqgEC^ oXy<͹e48wmN%ARR1SZh<bh_2")Sʬ'r(+wլ5Ah*;B`/S#+ܫ*Ь)K݅g6ܷgP:NL a Duc{z K4AE /A+1 SO,Wʭ0ʃoJT= X&o D*Cߵۅ6dݟ| XMvMnѷ^ǹ -wN#5iP ]EL*8~n>hؙ}''>v0 4.2fR-%5xYȰGצˈp$yz_j '^ZmzrA[=$C)hւ(YL8NFRwͪ=;N8g,b1ݮ-_ahoIWk˶j=Dܿjy]z8aL`6:I`+hf)boY܏<_-wp-[/^B6)%},_1׊DqݥVzjz-}u $ָ Q+u:ZX)sɠ5v=ޏSuNp%'Fjj>r)!\ qTu5e^4#ƛ:1:[~o\ Fw7i02fGw"?qQo<թ!9"ܸgZSH}LO᏾/lFgM ƐZVg?آjUQJeq?ш7˃ ꎵe勹0Ǒ4 `\ΣE~`{Z7@`M=c괭Sk0ς |TȰWp֖:@1pV`W}% ]Vy!Mh ʼn n/{{ZrN,c0b;O…w/dNۙVS}4Ε4y 2|IQʰ;,<,ܔr`<'q]R?Pb.leItHwIoM}ky*i.;6qU"&ade o:qIp+/܌m73HQ17ް)c{ KSVi'” G1*{3ASosP @n“JF.wƶr6hQZJ~!QD sKH4kv$2{ l߱X\&a3esa(,<96 cO1Jr{+hkF2T58=>2op 3 X Q;l~ ƍ93 f]g(o03F\hDGyu!y#JT&p>TY`XcQZE6x~1G>ѡk% eu|&-)$aP/('ҙRt稲w4!l^by5 z ~ 6:гb6mV5a:bvUlfQ9Қs`#EsCr5*&ڱ5|Ts)Mvﬕf.tDvRlǝzsbi 3QKNvcP ٘͆ф2 kaw`r뽍:}83ƧU! SrA4fyozVYm/EҨᄄkhk(dJ(-eϳ [Sz$^Zu#VkD:͸G.ockX=qԶ2gR-$KT!v_p*НP#6z"A}-"x_i0DA!𫥤4v^To^ф1B09]ڴI P %2+J(yy}9U'UQҌ1X8A$Ig9d@d_D`Pk=P 4ة_$F+oK[Լf`cKN!7  <`qFӲ\}_̖dD#^gf(M9u-!r'{()_dW/T3CʉDmqJ9bx~+8 zVCvp4TEŀ~n'!Gcd"0WXF~\&N%~ඏXx,kKzM=:%>VݿI_ԽkLԄjtL3^2#XC Q}cM*HLǖ(eڡN1&#T^<׻8˂]dDyzfVM/g]WJJ$$(/[!|agL̹ . K8ٶ!0/hCsG\L*z{NgtİR`68(D0ok2:ECJn>F Y$n/#&BGTbs m/]qBBCYD:)Pi34!@ڷDK3:4\! #2: ;@n,DFwkǞVī R?$.5ytBudv5 i,RQ"9H9yf\@db=S'kmJ>X"k~m_EZ8VDŽ΃X~M~_&Q1PoϾu2/sD1KW}\^]:˩Ɨf9i 觝ՕO;Eب#LI{Nun ي`D6 dsT>׈ejbMFCnݹ/`d-￝qc :2uY'[_ӫ!M)yw=y]"A HD(i`^6"gAEk*5 YQ_53;]xS`}òY,3-DrBlThM(䇓4pug$l=܇SQ: k^ ?CSЮVJ hߔĕx!i:+2~ v͢ݣ1WP{,:í;pD9^%:KAjm T\b,qirR\*l e3KU T Bgz-zG"e6j۰߽Yt ϖ:z/muoS]2vUAHK{2NUvLs3 6[P_ R /|p~6/]eQ#оi~l!A~KXu͆8E&}mQwJ7Ybg1>m֎,a w*Dx=Sމi@(Z94}(v`r.ގm"͘5G/ .# P_s ?VWtoK[2?.Fp}R3a ;)Z~*JߑdL;OzňM.|w'χ ,)2J}ӝqz1!MnT$:C/ 9VDK^?t~f#>ZSi8,+ 7iƧ"1s:xWMk*(H1Ai~0FfA6s#XzWj7׽;8"wѷN]f#mI%BRL3i1h^ ?k7q! U.82re]?#?#!q+c|*Vðjz0Ut%ZVyN #dMůP:xG}f0588cf?N^:?߬oqX6t.:(„{6R9oSfʗ&-_k Fo 8.ݗtg^};)Y-nØ8{cn>dE""Uq4YI #mZ H(؅MV"}]+J,@̷CZu>>Q O7=\^m%{&>{c<]Sf _6%C!>QtC~[Wu@Rx s8u!>~cP&#mYE1R~zgJʼn@qƃGbL"t OcpGvj9Y;t҅(KSyzy]Y[oARo"pm90BOA.ĬQ5zJ3Fh5j ۔Zs''1ۧyb9 b{>]^}+G\>ZQ&˩nVZ`(Kc=u^)&,tNE|.۹)HD ^A(+% C(-+lw%nvR.M'Go,M뢑:2]7dvqw:3Y*jg}9±MQb?qDJ=sMl'#~}Gz=4_%%KBzav:ٸQZmR3XwM_oJkp+s. dL~&;[bVUzuo{|oyK˾LesxʉT;2 VW[k=3ˍi\=l2m`J%oC nyB>.m&j3 /SxQ<3wB#P>{Ӎfq]~ڭfB*M#8+QB >R'J>&:)0}@a//6gcj廽-ս"0җ|nR` J_U:ɶ& Llt”VK$*>~~T79{)z^AU]qGMeӆ$u8#j?sD߼Ǯ4@:d >(L;;Hш{hh5 sE QᥪF"t(KzOuX_1?(\w+#W oG*T@PtW !HQ&̋Efu0< džbR;opQp~CA1бry^Z꫙xX:M-gC渊1eB|[m2LKa; %eK;rzO^?Ӌ+qbX.:s$Va`EjZ6`ڋuWz_yȘ|{y\0{D.eN#imU$;3RK$e05p\$up; hs@dt<:н${#?nnuJI&n Jn/3=vX ]yXƸCYv`d٫oX9 }SUO`JU[Y+hˮe+h0΃-H"96"*/_CaLHƖ3.Œ-9$\-HJ /~P873۷u3*0LriŴ?;s~ 2&-IW\ @ *)/3^7Q7+/0Y1[x-^NFP2+tW3 eFUƎlPz}|^f):4uS|Ӱ!pqjпK_U9u}b1`k).Px~(0AH;%sp 樣[ؠ${ޏV@Kd Wi$ZNڝoש@ R9;˞O'nd!gydX#ʆB[v<y+5s բL `$_;"/Kրܺ2|<]hXy[K96lar :>udt(e;$޷+k+9UXQPV#]tdQaS!,bj3- w{\-Y6&ɔɴJҏuwgõJyL~`TqB$"6P$Yz+vx8L)K)@u cȹ"n> ;WUIOK2tWνVb6dA61)%f)t%}^f|Ve2#l؜KȀI۵:a.I5jh6]`3!+~_`vC%\14'9/HDkmCYq&O{f汓t2P*2ER?v>!]!? ks`JjmP TNdv[hm.pp(r>_$ڡaNEtV:{x?7צ9eǂqRL[ f8:N cB|!,r>K`C&~Cٱx CPG2]S"|z`,\nİm~]'?Sr\t-SZ.Pb-=Lf r`*G *$3fzHd @Osr&i@v{m-HUƽHjV̋^qA:H-u+i+Bnw]y.+{:'S-ϪBD^x+M0&>)F,aQ{#-{_<`E:ߩX]n҈K-M8h":l^i@kDadP:2%H>vsj+Sŝ8w]IA7:.,ID+6p\@@և}!vbG(df m^ИTSG 8KK3!WKynKؒN%,dw"moBo'/Wqܟ_V$We9&~d{ʙFzwTqman04$'$F}8N+>C0nռ'aF/B}}M2큚u5 {b (aK2ZA%`G5|SL&v+.aU%6/a ?; \@_pD뤷{p H5Z@AE `a^V7lfyMڢqw׶,?p ml*V*r>r9nL`܁4c~JLЁHy9D+Q'Jl0;(*&V2 CSf:ICPJ㱷 oV ?QrU Lc*bEc Z 䃡٥Ħj"gYZ7zXZִF! &q]ŗXiɟ1˦r!cHkMeBd4*%4$/QV_+e-j}XtW*kO9MPgѢsPArpy,ƺ'}$-d pUf >sX:`)χS:*A.$QczP0g^7sYH$W.>Aۣw+_ +[^ss-O˕mNۦɣXvl(a84iNЊΖM0(j]RkVH1ކ-,~%8)2T˛z0Nhfg}'D jR՜{bXEP&EIqKbH`CWkz㪋'lN/C8")cf 'fm~3,JqIIMY/D.ddLmw<g22B[;M9k%IbH6rڦˤU2|;HM V/H~vT4yZ^&⏂ F;O3yKy-˷rI0@\{ّ SF5s:,4.=ՠY^!.`)={ѥ8O(n"ӄ!RJc`CK zNŘc¿k.X|`D.̥W< I$ 'K#}< !X7 5HEBn˦A1Fmi9gbvZQ*lǷU5Wpxy yd)ɰ&$ $VL.j;8 qny&X2DFM} gH`+u]I>9ų|d^'cWoq^4v؃^/3v MVM<s}ϟsSog[6HWl3.YP6|._G{OEw;lJ0Բ&X GUJÿ_C[U嶄iz!B!YIz̈́[ 息1XsPshQNB ]=_473׍4i{p+a~ųXB^>8\"z/F`w[T 1ٜ@s4{=2{Ofӗ,%xu2/ ?mcyv }KJP@! J+|K$0Rl>~%#YYA5/o)l"Ɔ1]Nq}i! %L[KViHJ꘍#<8Bޠv@-m{]' 馉HyUj8p$րQ z|*@P%>ОqNth;aW  'kz/aw &R )DA;7F/(Q2Ӆ UƸz9̑}p@Mv-\qPZOo~MH6F`c5Kb<;-7n!C3֕Nv$VEiK";2љ:5u?$R et9YCs f=+0h"C{&"-GoƈQU΄UX@BJa΁_B] -ءM# Qst&pI߼; 8AێR_Mu Vݾd>_u͈,zSMČȯՑ1~ەe [dE;|rV:;%kt@\V-w\P9Dx^GtQ-5yݑ>{O"S T=j@Gmǘ}Tp:80CH'W)12[Nutt"jק[j(5eRb7jy*n޽#?#%C $ꬰ(r2'3L+Flh{w`233(dj^bBD|3p U Z%TlkH 9{4N t:hef[12 Qu| ?x7bR- ґ Iv&?Vt gI$ǹfɎM-};{Y)IlY;uSMXAQ#n:3"ʭIoYzP]F$"y##{Ҏa7 T~G`JR+uM)1H8윳'5-=x?iWˋQ5, gp9PRrofK8Vi4&^4" v${ar5!kc cKcv ˨%{K1 x]nvp3dwې) xh$:;~! Dt$v5OxhDbW+iNқU`/ '-j;80 U/2Ʊ>8ίxi_{g*1Rb༽\7g"0:I Wf``YEM>P^>ohʧOvݏb*=q^>||_SQM) G׈B4[JaE亥eh^*RU>@❌6K69.I}qRZWME*"5xtK3].b("''t:t͍nF:_Kx}RO(uaؚ᢮FwŒj| 8 lG?2)T@.V/\0si ɂ}~xhO9pi# {g;"XZLuNDjT{@X%w@Ա:I*(s>/3TcOY(p;pnӸ+K$ʞTKUv$/XPU!GB)һJᖢ"H6kLj:Ua0zu{za:P}uCg|_o8 D|]X^ ۘ/V5{:\7q#G4خ@n)'|_HVTp\Bkc9-@"BNK Qj[Z@0=K| 7YY㫺eLk W]Vd^߶*'|To=J3s @gE&(45ύD/Z /{ÛpV(<ӞB#/zG$q[XLBPzF4vpM< [?a◞!Ƈ]fAC߈xsp1ຓtwUN@WOՏMGZ !1UVoRIT\[X:h V$aky'pc8WV`G)l6.v29ч7hvX .&h'l[TY/v~>D[pubjTR3^ 6D,]!2BWV4ZHYs1ᬠ)/> I, G%L$\pW5 1V "im+Ln7-*ja8ٻ]QF*B| dv̇FVUw;喂%bX_pFVwˣT]} ,Qb7z|=UVyaMU;Bv%<τUYclfqw5A KЌ6zuꄜ'}GOqǦWn@}=jߞ>|)ZS<0"sV'Xi7`8[x6^01.V7} M<т݃0e{]]@{ ;Z6,v5#՜^ 𲠟䟬f 7y5*qɊu*~#Ҙ7 ՓndkB~&x-/13=W3'i7m/.SZw%Jz/D4q5-8S#?߃lj"uy-Gc@w˦z*9v-G?i{s*G8!B5W d)O r,~%b*=N"k |v6,67-?`٬QBB=_!ْhLu Oa/1ZlE E2\9]"1/}5Z;FR1 DhiMv`GuNUˀP eQF;/gdC!@+SS 1OVGVWNf=[R|`;<<݅360?kw+Kf4 hPElݠGիt Mʆit SSh"3R1*s,pXW.V XӗL%|!Xݹ|;Ȅ );at}(;Ounf*:ņ%P#̵^aviNE{A@[.jjο rp`9h2lX6|.G![`i */pQ "G\yp^zj^ *]::91oտ_˄VyP}3[yfFֱO`eMZ] =YcQSH5c.([ϭ$ J9 T&4q2E5g>>9T3)9xى?hP .6'a)J nRU| T{gZye{T4V>K9x+w&^[2#o~bri[i{epg3Ͽ- +SAw7lҞ3i}<`}i\f˧Tb W`:ŽB[:$Ur!- ;{ $ogA4M%8Z()Ԡq8"n_Yym?/9^c7=ɪTjSmQ>Ҥwk$P<8&-.2,Z{vxChҸJq0)_㌺V-")){u{sMz2\|s|Ofg=&ܫO/Kj=="QO7> ?3B%+ZG"k<K9@D49CH`htM{ |Ga+MU^{]rh^QΡ!ۀx~|Rz_dVdA &.*;@15 t,jǾ<!FZ޺+S a{jkg%'0҈J%0.}rls)TS| BVI6קn5;>A6bSTvq#sgDJ(kt)ŒA}>OGZT͍vGp&Pv1zP!$D8WΕ>cQZ#c4A.6MB词QAJ'Ztj/𛴁)E-Co!P9F^Il?z$! ABk¥G(K~)odqЛ2%z3FW:^-/{+ ( `eCX_lKԭ݀$E"O|=]j=zHJ }mʾ:p,]gejI?3;j-XO ^EߡB\]bdX6$) )boʃr’Ob~n>V[U9H2ck.Y3&)"EbKys80FI}5itU_A_? x ̴̦d2,r) y"Y;E34B4y( Rk~Qw3x@u% b=Wܲ" N~*ArٴYcgX+04H[52[ r2v>qA"IZ#ՇCa?0^%U8dA[#zOa*ovDպ4V{P_BNGY^43DsnߌP XsFMwf՝ ĒM>}O(P`*#8 @JB:XwZz9;*dTd63/8YF(PMo DU5*jz W "%{;8 =]ucfo=*۠ B+oy@a4ƫzW0fSvV G T\Y0ƈ)%"D(XP7ߠϳ6 暑;aZq^& ^ב-A]0G{͛y)1l>,QS$Xcu=q-6Ҁ/P)%JhH&TZdP&Y N|L0oC&Ox`kRU R#M$MV!-XYl`р#g;Ԕ u~b1H=o$B9V9Sjx-xEM3tLpC2dfOvSNGݦĠ)rX4eGvimUFbYi">I@B' NCj\C1/ Iow/K ss0 qn=/^!H@8ID@#1+ql1.XCO_[YYS)ozVv]9W5Msz3#Mg#Ɗ$ۚEKkq;2iֆۘ6Cz!:/&]A 0'um-\P(ME2)fGaq[ZL[EH:g-4d c2eg$ҧ1HWn,yH'w]ȨDrnaG`)|)WɯJK]tZ'0ux=aeRiR|'u O+ӷ2p#mYWxyE'C(kLXQMlRhm+6CqW}+ԝ =ݱVY 'erX< s@{yzI}tR`o߻vb rB[2EU|pEً ۴C6r,_TS==My.8^ LkhGϕ1dM*[ô:D%G>fuTQSTtgrhr)SCchv) ]F٠<ئ3qn)5x{QdH\IpD0-Te-OѼG䎫4d-oO_ݼІd#01xLՆݖX EΪY}sۭt]2ǡmLh"<=7+0ynRX3x_ ~>{?U<ߝTxmӴq!3)7"\-4c ܓjn|3 fPGW-n .E8^Y,)mJw:O 8̈_\Xf}q13ԫ~ˬ$2xYǙ2,)w&#tl_;lSQA*6LH;{t6C #cdV Fnm?xTKLIN#ծhzgeCf{Grdz)j =3` 0PLʌ+ ":xVT9x\ Cjp'B)6ZthDWω1$~K~=zӝP+W˚/M b)oIaR YÅM\Z/yd@:"'|ml?FQGqyg^0'~A--pk>1  /Mp"9ՅX˰5zasPFߘWgEG gI/X'3zlaK.!K(H]5vu@eD_# 8ȺPP;!b)CER0PL1< ~2Cztv3HB$5$>62NMu%}& 8̩ D }_-ge riV|13*4)"3z*rGeUخ[J2 !lOI#!.[B rXozJ 3r4OdW`K&Ѽ+T$},1:b6cl1raSށi 7 jp]=:bu4Q}s'Q ̫wUBcz`iW[N>6Av/Tb/g+ivIE n |*Aj#y&/(3$4_U/1N (RwЖlu59/iï"ooNfol;nB[T=tΏgGņX`4| "y Ao z6'ʧyXvVcg9N!wKY) \rH oHnCL*bqn nɤUxx<6Üzq͘ ۙK = ѹi7HLjk5bl^S!v\{m.ez^zpC6]-Y{IBFXޜن^t/]bwB?o40b~]@ࡸ\Ė/Yg( >FY)7YVf>9멧>]Y ~Q/k(mf'-ǐw޹Nn'Ac B "C d}LsTX`OeݣGoԗh/tKHKq$oTS`+t~eU$?ok,S9| }sp|w&25<܎! 1QB%WIWB%O6W=bڇ4/}QXq*8S+v$?x(z^k^L },#ۚ <#$0(|OP h`X'.Ʀ2 h6T֚I#s.o1_ϘsqQ>'^-+p-vITHMEVaw@s]f $vS1ֶvW=~P!fҿ37%qzw*HpB[Eu9|aU[QJAe3+e3.]&*_0 Q [OYXFz\墁JɁb^S+15ӣOa#dլO-"lྖ?i3@W|m<\IwGoO¤WOM~`hTQ[WqunUJ50 `,[Ÿ.%Sڐ# 3QtiD2:t%VY8Ka?a>Ebm7,{RP V br]8ϢG20la.',u4x+1YO{ {#CO{LT U-kWS$ Yr<娍})!VF+=_u7Mc4;d e}ڣFN"Sj|)sg­ylET뽊p UI;wGn]x:u -Gʎq? flp7Ρ۝Ǹ|6+}+ð3CNJL}Bl$.Ê5nmҺT Qd% Gky'Rg+c|$Y^>,,0?Tk5ճR"U!qp{)ms 8 kXUъL6m|{$iqm}>kAdh| c'S I M7B:?%ݯ|=+hv3$0>eIlP6Hm߭T(쐷2jU !JӡǶ7|ٲy=>iԅ&'yJwpºg-4}9*%ԩ}_)W;)Xvbs̈Edb|8ltk'^Jѻ;Ԕd2'#* t-Iڀ]YSԓVV,6L7_ 020eUTAJH!cOpe[6iKkm:F=0fF tT<6WhQIHRGkUor (<1Z%kUwP";EҔA0RޖŧɇQf?DlZr<0K]YUe#+<jz2st4ی 5*dNjl^g{$\bceVdt]dgxLIP*Ya [mkRϣ!TOZ=ڐlJeDQ6A'T.*`tQsXCٴOaf*nmcfxpǧ`b~, txvC =gv^4PE+[js\ЯAp:Xn:J}m/G%vξY5~b!STϐ=]./-=⑱RntLr~o!)cG."%ev{EP׋8"Ёn÷P""0:Qboջ&ug% g%g@0șHnk\fƭ5( 2^W Řq oF0y -hL]KY?xV:}W;pEFl1)72`4! F23NE^n02,5Ǚ (ݼ+3eTRdBQљR-=cҍ~K>P&]uS$2㬯k[Pt}t< =xD|sm`)׊#rCҩr4Mvxr=y{tT2~#tfzσ0lVWwv쿄T~3|a̔=DܺX9raw:JdQAr.yG,>AE}6CZ:3xpg(0 ]Bi°/}j WڲƧWUc)!w^J9:*XZM@E#Wܔ2 j(9aWb~n'djl;jb*+j;sՈk+ypq8+S,uMEv̹lHgeyq 7ik v|m5LZvcJ@p4b 1ö9,P?uOX"'$o h 5y ˆ݅8{n{-e,}ZY<\d=;15Y9Bu?ggG+Xyr\YTPLc<]$n@M!S~gj!m=i6|C|Lo,nDЮڒ-`('Zdl#LW.!S+B갦Óz]5t*cӨg*xyY#U+fZP!L&1dNI\y=;uf4l&4,^ _50x))C繏4avg_Qn3 ߰{`r=LAetyV#Sa/Cݭ91_ jC^4HZDC&)Z^F[kFFk`fߋ@>rl!_v Nፍ?,6!᫝al7-x RˢЀTQ ^B֡VڑEB2n5 I;!rpU޳0(PJvM592w piE-]u[ϲZY.eUb`o"[aȫILsydpkz4'jY_:\}8$)~۩mL (qwx$%WɎ/R ^]GG;./5)B {(5:h59 %f|z@n8^ ?MѬy61{l4s Y֘mSqH>JR=|Htd3^ѾgGj.=dd eEI*V7Y{~V[ǎnUAI$+*N^F(/5$ѭ֮7]1>AGWՒ2U'jTPP%i'!^PrG2,,hs,i`ãgzXF{~EmES,!bP# i 4"NN?YiܫΣM,n~jET.<ւnN?/gEe̾P2erb w``}NIOL y`_}S@z$ y"cDs? Y_ywE(%7ǥ+bZOЛ㸉Zχ|fâxƯPt*{o$@Wu,b̖bycT.?H!W Kg3[..oV(]); )3L,~wxG{Ȇ粷m" ,c[=jkw->+ Z8_lYn e}q44"D+AeԸ:tYr`kt+D+jEgl ߇OOCwƔ=0ג:1GrP?m3T1xu0/`?3.Ì׹3**Zʓ$&[Gcex=%vAMP0r>vfA5 V 5LHe ?S4, ƤfǑZc Lv4s=Lwqf 膑cAeiOv9dh[yQϞ]ot^%|G;i՚l`3BQWxpMHfbk` {c9`$3X3T؝L ە#ZZт5J%~As Wm֬$$:Jdl;ıY`r- c8aA(OD["5|⤃xYD-;p%_ ?%e:aK  0a]#:(qrh ?Iͣl\6XqLLe]vWcƙOڙ*yg[x4-/X>dأ +D9Lk]*cH V|W!?J4:=l3ahAA_~״sYT"n&@)6Y(t5*EWnNZ7w^Nr7֖;mLF7abyOͻ@9^5*;Z>,ᄉ6w_ s |;y5[HJwhBhW"VC3ܖ U߲ݾMC$=wYg(<~je-J73;ѳd2, XQ}Oa;?b6{Z1ۊ4h"r,P <:11FdYDJ6U݀c;2,bd ZG:xp +0}jhecPML U}?D V%fZ"q݂O#4ykG]IxxY;פXzԸߪ@~[}Ti}E_9G+#kUks ]1OfY?8Ҳ*Wk <M|O ))N ϗVrpŒV?vhZLJ>TQyCfR H| ;h a 孨<|1@] @ 3wibd]Xm`Qq2UMZې[o+χ0a\k!i+4$iݪ3mQ.-MYh(Ni*'{\SGziMd; Z(!s :(f4T_MJD_TdUEjb% wvh xGh79(7.o5AKvA=۟I2Ov,%5ב*$` ۴aHN%*FbFq`yi&i~$Ly;mND0S( dώ$K>bN'R3J8oAY"Şx`tBG"f5"O_DH"݉s*c^LJxc U ?+RT2@w_Y6>okCdmjŔR0 FyN7ӽb1r p ܕIyqgU];WuL/Jf^mڝ;ܗWLB?%$TnױrOaq?ά'*{>2%TԵN*K"3±f 84e[4  ^|kd2uwcu|3HF JT߸l\f<d9{ }i):1<:αOU !xILX\eȧ#I9IxV}Y:=T!'cDP:#ɟdP]`[wq˿̛:7ܦ9w~ϐBe(H>_{Kbl|a[[ G8< J{^ZHS|b'{'G4fj)x~JjK`MJ\z&'zA1A;s<ܾLOL>wCPfo{MOtIq%ġ PV#h(u/5@>(Yl+%N8oAFF}_ЬWT=Q1.nXe-+ǰv Jf;jws)_OF/=*29 /4X IEhY1^jpJga[n mg=WhEhds?9/Z Qk؛t a/qc}.AEЧ*ٱT4 K9gT&tuRyN+k4=ݳPbƑyX/Lxsi1xn9ps]!eӼߗj5`}yN;?(}'%\:BK{b$= )E? BE殃 W 1W-gQ* ,T#Vp|4ϷtpXWh`9SZ! N?<eyLA}mĐj2~fR=yvIXXtpZE ;xG>{j}j!OihvUjҮm\&4i W/SqܨҎ爐 ?%ڥ:R7p,Q/gM3N4KGO}he/vjKJ3ŽWkDHDˇ=sȬˀ Z 0+|-3&,)dp,2UT]*p9[>:__r[Z]K~*"]4+轋$gppbv*. MĺYtv{A_8䋎k0)R #h gL 5*@i (0Z4F'룏KT#g#x%·g/[R7fvӺ9.WB$ز QqyHfOOIn 9#d4 :vll},~lu|&v@%YBEB#~BSwo&50 7=n+aD( H (-nk:'@S$Qt.DSń87J|!%(eVzuGdxa ]F; JbzlͰq^\uO; qG;]+#,JǠ)8U,=g֞槕')gl m\`fݦ^nGOѱ5m` ?0N_N㈆bO7Wl?ҼYqAuGS\7o#rކiŻѷdRk}>;;؋8%[ &E];L/a' XboKn )'6H~nYՀ n]șE_8XuAд>ſTyNIH$qkꚌ{˺a=SkDz|t(z}O} d赪{q Ma ezTPW0(-iƳ:T0ޏX,Y$BNXNmwP|!NC;(f1#ыQ>9m)#~{0}[3yK#N^{è{|ɘ$hc2+inG"e̞FrO)mg>9-;دk3: #q}ě~}@Ks,h:1.za1R\cɭHX53>-4[M}cƲ :U;'Y/|lRn7nn;@̀.t᱾2+O{5π!flEҴyoadCHצg ?upRd"\\e#u/h:'S 4S'KG?Go, \m?E:})%h Up&4^t^)$,{Jk׊]-^Ľ)Α]\¸w"]5uL"YR>Ϭ]zx[I{DYvh0xd0+CEnƥOeT<L5%-׆r!|%)X&$Є&iK >`ݯ.NnzvNMIFF/AgV)~,q",`Z D&R1>77͚C~y!o_Ejy,/$GNۃk<Z 6r='.b*g?-b눜97TN w~;Z E%Mek"BH\H@p&ߞ [U]>am9͖YvMaCb̝u1Iso5;k'[Ƌ1Bc8.Yٮߎ~>ۏG6ӌ?}P#16<n#8 1[ 9墻'JM"HűKJe<9[<ߞhJF!` ۄ=NV#U|qʯ!5O 8tCPXй;RU6R"qIaN<|sK]2˩1*ѡ9ǓT%o1+ɰW0^Ɗ@5'Gfv h+~!eѕ\;2A0([G-e9xEB|]fg@n(Q wBS7$Nމ'S`O(\:j3Y)s6*"N _3DYsdľ6}sT:}bohɵ$qWHZ}x|YE>e; lv dF/zTٲ`s(SιhBH[T8d|$/">1&i)b6aļ>>ۑ#`:i_ky bePt5K[شd};/\E|򌭎J z[."uH)#,yߵcz;^s:K5/l͝r̶`@o"~j(UU_߯?{^k\_f Ŭ%Tu3SޙҌ}oFr+SYXB9zl=KZdFsϲ- <[lNA3>q+gWSpwBmKJqFRnuvU{ZĉE\EݗFʼ]7ve~c9,Gb.=9$ LfOAza)ٚOMrf1zmxڌE~w Q>j5.[>6薝,B(̧wGj֛G2a.6:]yǤg֕iD&- {TG$#;TQ9JIy7d[@ցߌxFnU03cȮkNl$5r'f>^b 2i_\>xDxX&;C6\8=i6ԇMI4?vhA[EsjMإv {[kr7g9ӚOLHLwivy[*~НbSCoYLiIzoSJ$5܎j/sq݄<ÿ#|"GqL A:q/ض=-Ȣk֔$pXkz1mNJ~ak1T][@U=g=)e3-ӅffW x1D{ AwtQO L&mv$ qFCœ7A+ĝ%&T,/??vduIn< /-p~J5Nfgz*Lb#497{W@n9|]GξԗbBc݋ŕ%7Mr7PchhXsgvMyȕo4s1zr:Av>vl+C:Z"n=o%mMӾqX]?L5Sd_ly\Փd5W:]X+'ʎ|S'*/4F] b&~#{FC+nVހD;@MUnaQjzɎR=y?'Ml݈iau~Y{([|T5HGn "痒OWnƆ5aũ|2Oc!WpU* @tۥ#+vժ}rI3[eIP7.{#.T>dRU /7RYyBʯUpO5θO;*᧒(~9%@w] 1QTSehyP!P;h HmYg.ċ܃3Ey&j%2Ő`:@3ƈ^LD9( :&g}Rݖ>G5@/Mn4I%Wq;3\<Ku*aݩtрڕ )_;\ [ĵ1a:p%h%LؤH㞌uz?iH" m,_Ehjòrod1vl |u ,ȸ>>[  ݪi#ܨߙPQ&ԗx5n0gOҰ 3C vw~aXboCgOO:1E%Jδ ﯱV/u_o*`ߺcke XA3Nݯf,9V4VEa3Ĕ&CZ׃U:kG\XͤUYQ 岙y0Ha9,D`±l.4ߖhE8]V0M'>SYռW4A"$I AIySߟN˖>0˞|AybS7O(jɦ_<"r3LZUsH4$^|Dȿ>q?6H64yIlgBp94mo4 )yOԅk Zb"9yftyzXx-mȤq. bM((ĸ*^58>Yz'Ĩ6Ջ %M>abΗ=Kx@EU>d1ݹ gvM^}s8 Tv“28n_@A4x#"so\/OQ,( YaGFK@M^ ^e#9CQ;%kRt4U 6>IVTp UY "_Ԭiͼ6ôAwhGNj<s1G]A&zbg9G<9jτ49{u) )"6Kw.>j7x:"{f^Ô|l{ǁ9H'1丳ªD0gkCZ,MEa>7۳^tԞMA>4p(Ì1C*{+bf*0n}Q>Uَ@sE2'ǞKjT`}vdcj ˱I SӲ& #SYRj@ > ,U: RQbiuɛ~ln]5Fsry.9eáopmUv!d5wD脤^&`-$71~V}aF:$x]\,NQ]Idy-eʥ br#*`1RnkژPN.!}Kz'R!Hd{SeֻްZm9V%LÉ!i DK':lLv g0 $fa &9}nYKg o<8L ev 15}ҝ+GrBs77K\-9H:?z ;8 . M/UvKIf,[wBWG(/ ,OϙD9-BUMYHIIlEcEx ള%߽>X_*3^ AaHI;7 iO3.Q#T$暢V2OxiWf40?TݟMv Ĉ(xgրo^HPMWz(cǥ͛H_@b@ϒ?lD7;eorQ[9gxq 56aBzo/>K̎|uUR^ kM^Zy"AhTĹCxX=Nߩqۛdk6{=7%.Jm!8Y'M#JϨQ3gLLts)x0_'_{4 9h!Nt-WZ)~ JǍ. C2!oszo;xW%d]B%B4GhQ-*Ad/s _C,qNJ<PZZJ^ Ke0?r`1Ww<׌Vb 9#3V)hg#t& ǙJOFߠV<5"ӿ0;lHD>b\$+ 6zYV''(JtYo m(2B2XL Lk` :BwR7?TP}˹J:|K֧q™(p߹0?|pY?L_b ۄ)M<ɳs3/XՃEj*VY͔΢ۇFg5KZȬ$g'|Y( $I+nvXG\9J$V sdử0{Cs=;0"op4Z \ĆWg@F;òΤZRv ICm,GIS_C} ,AohH-۲.2."2=OQ^ƃ1{p3==@(A5 \bQ"j/FVe0C0=X#`U}r+B2_*qGXW<YjKIpZVU[ߵoo2pk^\k UV) ކ: !QU_:M=M),vӴw;"-X\.?rHɇ"5]&DN0{k18N0 w8zvѨ`7YmԯRyzGYSZe xҾ־\G>"Z/GWNDqVvsWIjs_i[W|apŅ+v'1F5]׍kFæ(>)>c(U=ZC yO=Y>1&]҃t,. KG)s;f%*ψt7GE"?CC3!"=e,j7{ $9!(0CWbBoHLI!)Hl1IHQ mOPI eŀ~6܁uB$[0 @s/AN5rRi<c C>H\w7OZ /VcWEB'FռP0b qQjЫ#VCB>{| 5n#oY/:(l $_Kw. mFt4#iI'H`A/>K0q7!.E[֐[--oъO6)Zǜ gܧ  bQ L+[;$; vBHwЮߒ?o1l^N#;xs"Hq.ɓV!{vYBa':o`sl 1expmJbR@EO-n#){;B2E 1ۄMM abm:aK?`bz!Eus=/և6gZ81 W"Υ֘1(R<|Mm`ĭɔ?h;ZF.QE\DVd1P.EǠz4M" =^B<F'k9BՒw6vMkz_lZV)71 tZ V8vV̇VWebX r'Üʷ룪7< (~'L*,_dzJAbv'~)}BʹIaѿ*qT(mw@?=OHu6.v\caaA9ye$u(~ Kc:ۦ[8ܜ*L?Ή`gcR$wx|-" @7],KtE /}Ta66y7/EWTLq(,a"i(Ҏgj_`s\Xˮ˥3zrڈ1/;/?i5_BČ-RJ;eC2 !B*|OO1c  q#J˾"nXNR@ɩmVAM^=STDjhWntafb|A]{7 Y`y8Y7Rζ QgNpGf:@=HlV4 HFg(ںeGKu%lܾiTfa 1dwFXxia{f b6=F$۔] `Mа2 D㧈6)z#<z\!^BbL+8On qdk]AwK]7^?_PVOgjo'{Nŧ5 ǃdCg?;e3 .aļה<HQ?d?B ɞI!oA=J78dI63*Jo„qX[GEf'"|cb*̡9۝s|d_?eS&abe%a8 N#ٕ T:@ ݖXcSh9\~z>$y׈(Kh KB~̃iO|-ݹ¸#O*RYA殚eJ%D?zUn r c~;l =N.H3k=u[LB2T:Vc_Y;|ם@c"J2 PnpfSwΡ9 Fjz<@n5u8tWooofu4@]hidQADdԥq}U$`G2+Y⿻Y^q(l4EO=l_}mge U"Wԫg#~ k߶?#,2I"H.. VUނ,fH-.b.(r+w_V7V3 ֋|=؁fXч a זV/N(.7.DkK˕4RVr-LUG(uע֝ 'VW<> /R/Jg8O此 Fbx8Ub =yntws}vR5)\X5<̌:/YvS`~ŢVDϊBsܑi2bNs$$ 3s*,X7]^\tbG.Ӟ{kA嗯wr"0'1ʚEAS){@k;>DžR ,jNii9~G_N|UЕkیr%On(QbQ>u>[:I8eL6?zjmhظ ]O/"2o̩cՆ Z@jBp̫}h ScPQT\ZJox| qzZ 4ޗpߦ_%7y0UJ $#@C-UDst4HV,?BW1]>je׫ųI'1n8D1tOCI `p_xlo.݃*T f7oI^H=;IսWI\K=6MV"Ʋ,xW%dNn|"5/',e@tMHImo۟Սp;չ9t>nG"tZO.Y >,@ʷ C58[*D ;$juТb?s>RYcM"U4:n]*锻/56='kV")SX`aZO6a[< q7Ҥd ~U\ݣut?4ד]w@GsקpU 6'LB|aeʣVTJ_.