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 F3ttD ] Presburger-Automata:threads=4elapsed=25.760cpu=78.004gc=2.6247zXZִF! ]ŗXiɟH)0%oT0;sL Bk}QE4V/y1alk(vzwf:yw+^V}~b]z*m! ڣa;蓴.)W^z_c"߲/A1 W|GNϹuSxBk._<wDar˱TedۗtDVr=+oQ{#"G2^ƟDSFտRjdyzz%V(:u=NQ#XK6Uwc24 ttKߍ dwAҕj2}qn( _ahStL.(Za'f{&ǓEpXU h~G%t0gӃ>#J0 (Ǔxw9r+Uhk5*Sa(h4"f S35*SsL9(XB=0C%EpqC!=VsY"7>g2"SZw`?Ml!qyutG24&\{΍ Y愓;M)[ )ga7Uq Xc>q]G҅҆Gјnj+H(j/ ` J@$CMܸ׆!G/Tڤ.-e},0R^ŕw:w'aB(銳ָ;)ydzE#Xr>z v)i^Y*"./I5;'Cr %>>yJľLD!1;8WTlU)hx|R7>8d鯮~5{!N(5_f'JDtP/ַ|̇iN2Ü Ά @߉:)=82Qѹσ:TXs:Y|]~ H`.zb#+Wy1J2!ܜKsIGqȓqܢ[%Ġ;)L 3ZL7cH N_#0Lb(7Rm Kn,4xF;w^!y?q&V:&B{rtw| `ɶL|Sb&ӁFnSKEF4ޯVB; ږTB^ZAdTaZϦ`2ȣzB"]L&wRTI08òf";PO}?ԍw1旿 /~Yi=/ֶ1N>[DkAc?fF^qO{ys' uMߵ t",o WIv+g˛, _VTo:>.UQ>#Y:.‚Ƿ#JJ}DϓtMO=dsl6oi3Gu2\ 3 Presburger-Automata  $YPjGnnAmѫRxr/FpY&|)n KRy2}#7sX\bm׸iZm(%P0,jŐ48HI#Vn)aFq`=X Hf0xqO…⁑Q?$$)1E2K*idtD0Vׅr_ZZ/~[q$MSQ9g$}i Lޥ%=Zg;Y5hQ[M0>G~8zbXgp2:}fTP(2|S~Q2U)X*NZyxDPY(ƻ+6)YnB}v?ýxԙI%oT5ku(寒d^I0=z|[,'1L(B,2v.;0P4,uJ9sNqS|iA )+B)yveȫ'&\WY,D7͍ï&T umduE!sNGݧ!d!3)u?1bg`3.[<ܜx\I03q?Suw%ʚy~#ܼ¼X|/A_/7SYi\hp'?){l wG i`ᆯNp1!:o/Ւ |_M^u~a!NZ ..|SuzH\QX BԻioN<<2c>VVЉKSZ¶zxд63'W>*J$|Rt\1)d}^ln g(efpׂEyKU]J{[:gjiDB#Wh}}k&-=uѨʉz_Esom6P+^QQ8hYsE˯lzs6+LwlxUb n>{+.](L r-H/8h(lYkz5} ݊$gz@R0O;y/9@fr6?#@odgx3ĉ4_F_US慠EKܠ݃8>н@0jj\+n_4Ȱ8Z_b7LD[p l*0SRe6BhkfCV/:ujXepe1IOsb=!Ԑ)A<`|3ByƄUmve ~[}}wdn\Q3z3>  5\_zS6\¶td迄hC5mYo#.l#9!x+Hi;8{i9p/M֢W ](=r? FA}|۷ :̴>bɉTUAVLPpZicb艿',nh%n|޽F-N)& +5J{rv(߿A²Ywipɝ^ !5Q]6k \][+^>F "C,ژ6TN] 3J) `Y\21nu!\%{1  "Ҭy8R"2䷐kB_מwJ8;WTGoe`dm p)EV~Z{Y"Ov89-]~Ծ@vY49*: -?1'6. ͪ֌d.fCTtu7zj+ȌNoyZ7>t7<:cr'ӇgzoOEX~C׀/jߐ tH_  }`5~ 02) 03rXe"S/ӐFRrO?W#a) DIJM =.ÌW{ PId/M/Jil(ddw&ԏU[w-p,ƽ6qI"`fO,)l )'i@.veEL!-Ц.a@61~WR1SM3{\\њR*%7M7־e9*[~I ܬ;2ȩ+fe=SPAy֜724pR .'  ;A]1 v;t_V5gTZv+UyL ]Zޙ$DIg,m<`:|0İen$EZPcP U jv9rL͋9TnT ۷Bx efT7GQv-Dkڣ97c.MhAh U Gw:iߧM꣍)qqsهZF‚)DejC 3GۜV,'J5⌤k_>PE`3OQ / F^;e{EGǤ [>lҤbT ^}]" J#>xa厚24(Kƴ ۯˍ!{!xsrW0?>~ՉufB˨H¦;}< mK_TUB5rsKgztbLSk=!o<k`'$㷯N&8A?Io^^U )~d:W=V45A bN:LjKWÎ*d A:RXCEsfMIѬ;Mv@W +@idrcv]7Ѽ ,ʕO(gX앐@?GJ4&&KdCB376(GfP"W<0:xHӫѺk*3R;4 gZɅDRcı;*!<' ?S]q6eNGîGS|oŘ?Omkϒ5dm ֜g(F[WQl} oA30Soy8IZ5bxv TqZk0TzIDMҍhޟ*6R z2›#w~wT<6sMsWJ."[#0R?p 4aҜ%vNŜ+zQǣWiu[2A&h%0lmH5krBALO'a'}eJ<Yɺz{}_bgi;Lx, TfFܲ3ڢ:lD,s!ĊCֹK* ٌ )k>M>96"jMO=KXuv/5p><1ò>9߸aQ`!҆tV{3^ FE| U"{ZSDlH镔$\6d쾑~k#eWLް-F*:];lcܖ@!WMtT3p1(L/,66(rMϡR'9VzPGE&fVp.̬zٟ7\K0yw=DC Щ<ǻ!ͶP.T\߯Y l""$sX 1D a\ Ǘ@#@M4 *AftG 6(4N3`\a@D ]4+H!z[9#yiV;{ц5G 5ץR2E3u&ڳ@At/MK͐ʮIJ1Z2䜠F!wU` lE'# 'x xm"ӞHAO`p O&X1q5 BxFe-Gx0ϙCFSz&.$VmkukؿMRj%JpųqWA?UW;עL^]r Z[` Vz}Ob]4'/͵>D'}70#')^fojs 7Ddun! rpٳ\o PiG1^9T",3[Ru1D^)`5VhVӫhlXDㅙ;96 'ǦLjGZsPy mN7tRuXHaA4s6qv@ͫ8UkW0LK1 GbjBQ-=:)Rfp?S+=\34kCdNi t 7OpOa4)οHDC1;?J?2L̝)y.9FJqbLq:\"ky3yDVI~5A){ Dc%Le"a9hev96=gLNF.7Q܅2IKޚ+,֔V t3=60 H QWE96j1S[~-fXHDqYֲ.DҮ 80u$Ix!TdgӫN-Wkί\!CJ멫 Ծ߁0=dW\ Aa~,l-{ GM6ReQa.l^nUXR}{--ZςU y;.8,3zaZLpssSl kc {u>Xg=:#LW5X;(؆(OF{;`a*/V7 {X$D>K;q $_̌ʓhhOfzwHQ٘_tt,=a"F'>B0;Oa&`qΧrXG%zD28e.|xk<8F֛{&NQ?U4g.LG|tLj[SIxyW'2N|oo=YN04I'Oe1ٝl>ĩV{3n*ޗpfzOۥabU? o %&8L/j_fs>6P ڌ"662cxM@̩iׂʽ SF~A-7fi\VAfkmlD<7 WGdrjjjJOYxCF4i|Y jxŬNp.l?,pT%!DFԟ/}i&znOv1«}L R Hх:N6޲^Dq}`Ȏ6ǽY.Q/vk@pȈ]k+V~L]0طfkqnâlՐ;q32 *y65MS!l9VGsQӛ4zHJwv?ݾ4gI9@#5xI5j"0 891ݜkN5A2w"obޞq=Ί~#9Rg2!de)C;hi5"g.F5Uma{3klF ^XЉfŞU:2@H9kIZ ka ;tObWU5qŒӥ.x}Ox19^e3F7c(|'S*^O_e#0<ܢM̫v/^7+b ȉ*zy YY3㳔YYlz!n+49:ܓ3cL@4ub2cY?I.7!,2͎-אLDWs#] j֦E: ^grC.#<JDFφml5]MI1ѤN3+Hsc$(*[daꙸYutEyCӑsp)~rxeAJx䎉^{!ffWU8.3 .0ӢO;S9)? ^ƴ7ls6RO{FK^SGOn y[Vp]uO\CEqص =E'ԯZ9Y;VHVv빆I\-cX>gĖA_ծNR}-IZ$8+LT[QGOdW IwRZi+Fψƻ 4>^i"C)UєB`!s?/Bˁ&{TF>u7 O7 %ZszF$8'c8*hVnLHL~AP<҃>©;d } q7Iź .&xD4Xkn'|ND;tcE :/hov`~M^em&B0$ < #i6|(O|&(Q$x:" Z+^}JLIΗL'Mg Q*؏ٕsNِ.xko_w{ ӍG:Prkm_xI|Z1`o\l2wk͒wJ1q|F{,_9 X>zRTS[L0˻y>L#!6;_c;9\so%OK8B\,BKpʎ~ʑAdjɢN3SiȨB}, Bo@Շ'XXRβ>鑜 e[}[_ϔ\C0Ѫ $رCFіj)hG!jPtޅ1R(ׯJ|(#*zjX^epQڼ<}C B.S(0K9&$b _fgr08&OXo;SkxPoF[N%;f=8'SrPNm[6LL\zD}|elϏf^*xһcd:2˝/h؋=͛Cm"JrcF?/Lo*Z894ZS-0/bȡF)W)X3ɷE_MSyP[0B{^މI8;ZܖBINrR \3(NXrõt]$r>Ԇ9SU uޔ8fSʆhvqۥY\kϖeO0U_K*;¿ lM2=w6 #3>~612 [wW/#b!TXR.IS3mv,Te'Cjo1NB9e}$K\Q&%[ox7|Pu-2:s{%ja2Iq̙1&8+|k\7R$Ә M*.f\}ʸE]΋r:`hoAG$/m;j uKŝm%Cfwm]-ZP¸R0 儆zkrҤKr7RLq#fx;13[Ĝ@Zhv20ܜ 1}ΖAvO$fFTRP .P( #UW 4{(Vs8gXAa4$>89ڿ }Mt[41;[ώG¸ Vj~rZ\ **s9bJA؎2s}o2V_e' EͲ  )IB d,D|fHUij| >j_ʖ-gk#?rj2*=wX;ZL"lB24Z qSFa9٨TE^Ɯo<´usmkZE9sNv`7pMeMG%"OaӀ~G_9H ,e kܛLyCy!dnb$C:J+3[r~OIz.:_8 /X/%({[yh>W*D9 5[rN] @sek :QZ_F>IBOLJWP(FqVpn21.uRQp.oVך ~\ +7x!tʲfv^ėXvCzR+V=l1'h~а3Mp>Sviy #8b1F\twicOY!mĹUBd8,/7zȇV0Ŀ#l9qݥ~9a\)zx*J3 SP 5pGoY~K+ɜm諸D].e0LE(BO!6(Id9r5p/τ̎0b5G`| r2Qm!oLLCTP_%џTKvop{:mo|:^?E[䳵~;gMT.ƑIRTB6jh–1";քAM|/큲 k^O*`-搲\V*b NA'?=9&<=M!iXFjF.[m7IhSP|NʡƼ٢f} i=Ȏ:0%ڊ &mh"S-YQ;OdvYcuVNOWuxS6hٞ r\ bM+1LwL}TĖZ)zu83iz#IiGY1 2.K/UMW؃,ͤs[g\bpMkaN|.MFcl2$۶\5-nZccE bzCoԑ@k5tpj&{*ֿ2u?nۦ9X@-DHF/x2zݩ_Q/S}YfQubIi+j6ǻ1c85:mĄv*Ǻq QI&Н<ÅUYjp@ 9ońo(18q? b OTO[9q6AOu4\C֍@"HH^Be´%I/[3p#MIy10  %dSNwWad3KU7|~+Rpw8JT\M}f0ՙ[lpҪ.Leԡ^ДMXX-Ɇb/'bHN&CּCW,iّtJ܋JNwO ?-xFs{k3qhZG ?WqIKWxU}ʤÁy]Ex[fCn#0Rty#dC+4$yIzP~dKg -eՒdd| dTu',Fҩd*⣑7+ҔP\`;+N|Qۀ-L0|g t6LyL +ri'J t 6b0?7ž9%z?i 8&{r] | fŢz,7e. 23I?hWl%m8`5H`hCr*=#]f,m"n6/6pSC,mg\B-%] ̛b;'{(f@ݔfu3hdoH'] xE_--I)9!ܸ>,!>]J3:~RܼQ(re#l)_'⢁R#OSZcdҋU׌|wj-HԹm%\9ظ6>r z _>Ö8<&m*䄴5U>,S9'&>7 nj )Q>`py[Q{"OgPGTϴ[s8ӛp/C%?T.&a_fǥ0.o9mQ sֻlM76XSLخ%P*@|DE!^t$01+bj.G#%G C; s4r*PFcXFHs6HI> i!YO~#O(kcRT ;F[uś[Ί5Յ(߱Ù AgbX~6;){ d>m.:Q*p˥lvMBw1}QbI48&2|9\kS<~/Ѿm9qg5"Uqp- 潎ha~ds\':eVi;h5!x~vCR.KU=&OY) f:3FX/Ԇޠ 3 'J9cmCH*Bj!P/Ww(eIbu\C일< 5crGx7Tഝ槉S 4/4;%uܘRtbQneJ5H.y&I{@/ h2/F)B #=d<f 42MRԿ`ZPAJRm<G~>EˋͲ2lXc[W4O޾*rb(dJ_XayMXC'WZ 1b9 ^i7I8~`"JFt+0sNT,Xj-hߑ a;cZƨ=o~8Ԃ^Y]V#kTs~qxKd`EY4K3MmA !h~щ[٥D+=PAA珘&Ţ%o2 k7/ W8^Bq:^eNNk/T"D.(.|͖ZQw$b}l0>r*yg1p4J,􄅣Sʆ;qY'<,bB@]Zcoŝh)W֎XTlk-j̿jo)agni^CU9+ڐ"! A!/ج1.P#Nۼ[w@6b^E~{ wܗ,^4r DMHSq?XU4-h!J~ 'SWmmL|ҟ'B̕Bt !|7RB|x[dP~N^XN\%mcQ-_a0:{Xl(7l}@=0cZP#:(~wU"2ʠh¯dI='yb/;At&UWSy"KkmąI+KMK{$ː;{y@ ^qی^ *t+g>ZM~GpNM#wI>$,]hzVGaPк $Ī 4 oY*ޓm TS)֡=%箉Yh#(:[~YI4|,n }-_O)B7ןzÿ7҆ Sޞ*5,qIwl&x/} ]c h>ãTcnW,jIthaD)2fmHD2^٨svg,'V f "7?,.G2` Tc\6lh@H$W3RPV CDTe-pΝ?iaXP*^R־!Ͻ- K ?8h!TTpؼ^*D3eқ 'WX ѫvy]1LA3t>Em2;$%bLLy! cCȃi-~I75y`Uܢi+zALj0D{ er/r9rIt*Ch֒лVT=,tDE~tӗc"CBA죟7N@ԱLFLJϝxPa T_ ~ҴclFzoUBwF2PapDžbBjs㤠%[6m3?$Lu]/لAwNK-AwmzY`#]VG|n)g,R0sSLҴh?bNEQmWRC)b(6mK*MZ|3~2U>x[ &Aa9߷&.=9Nl_!3}Up^W^Κ8P'FskVlL⨓`L̫SOاvͲM|f2ROXxam7sWrab_g88Z]zސU^[; PzΛ!Տ3a GKC'Z¨ءz>g=Nc=Winmcf.3'bțY(ĸ,X^:k1P,R4|*8SĮu'T\vGRCEsѸ[~gAjN*̙dtP=y[,=3zǭ쏝c$~?K۾&$\N+.ߵ(e=E&?̓<|4ܷP^oSOH*TE^8{H'Bfү)d1U 7&($qؕ|tqOnt:ƜqRkU:_NSmizSIu?&8C߸5h @REhW(o. ]/V:DH:i"خ|π$rHtf@TB|j^Rߞ O[$<%g_SGK3$oL|#r7u -{li^mɐY bVgD㙄PX-E }.G-Jje iyԟ#\ia~7[Ў xt2eGhຶ.\I׵~}o?Zdܪ[injF2GξBM`W6\VxV0 C)w84~hXOv Je/ gT.x9xGWEɐ !Opoσdk&; gDeLul<n7f'NulrMD?tXɞⒸK?cݐo( .sbzܒٔ;u=.y 6?EzsZ@i0nzv3I^ζdW`4V0M}Nd;LgH2V,Qhaj[Rh?Azx\c]*@@z5[D!D VKq$W^.ܯ+\beF@% Fhp`6qrw`H.yM)2+Ss%Aȃg ,z[FU%1st{2FJAr?l%Im\w6zu+ 96` ^j6RZкԫeOc7q:٬D?_Yi鳉tў֔[yϫT[s:k}E~玥E-M)ؚٸcud~/82Ȝ. vGM#o o,pi{`SFCH_Ҋ1T'P)d|Qtgi&T̈mCPX;0v3N߃\Su^/ g{ОSxjNqM~;](DYJaʏzaݢ/e{iWAU3Rw[`"̴>jI#+_N/88=oC+WC'UbaAt(MQW܃Lh2R΢qR޿A~լן\WqVJۆk/!ٴ0nX[ ɻ>/*0ͲL`1잯夿 }[['M>? oԿ{dVuʛ:^M${܏g]7ap\w()NYUSپ^+iU/*(]Du,rK Xaʉy|N|9݀o??zۆwb$ ;L:r8nW Ga @Q[Y鼮O4z kJ̄v=ậZА#B eJle'5Q8$ cMfSΓ~e" $Hn@%r*~{.A>X;t.6/Tsqguy]hv }6ޢ& ȯ^冈D_kC"<.ACab֕Xh2۲)hQۗgY,%lRZK+ ga,X&}E/"yjRXكV{%‚K .hQI*^K&[G~% @QghJ $hJA,P`K!x ;5teHk_vk>%L/KfJ;1JqC? j {/v.AhH>/kdʹ 914v: 7۹RX WwC/2G|¶. ":hE0ͭ2}76Fӯlb+|~F2%<(tU _eZC"l*Kfr"`t:]UQqɀc5$doRC6_{ے|/NԺ@\"i8c94mUљBm6<5+f*KzA]fXBesnUYFCIG?m[᷂5:V 掙 <>%ii8kUķ:`< sӂ YoJlՍEx 30v[G9/Y*,B9\Ix1C1r>^f /xJV&hC=vʻn= 1J,UQY<\1~yKGԩ =ֵ-Q[CUZM<z:'Gō:HzQϣEnJRrEo 6 'Bs 팱UXAs~WDEkџI=@5_*${Tr\=Xp9+^|H,c֓,52Igt Shy_n\ڙӼq̊<N.57ҰycH@i@uWn ȜPjPOy-K5VTv!bX"jGL4kBTRM' 3SFĿ7'f`~#x(bî"nOYSZ9oM誁A͹7gvҍI:&J~وz"Yi?U얢%PG]CP-8ޥW$']ԁWkgq?݆gm1$D8hyF=(ԬðAΩ@3UMpO-YPjVo {D{r3ٍnbzT,M9&>W9Tr_VcO45+HO^mac92 DڒiVb/[,y%RX5*Fz xFܹ%0:z2Seyh%= T/ixi.{m:'/ٵ1Ek`n>*i'-$rkp *Ӊ W,d>Y>;;R0~ C^<چ~3ua DBѴTO[񹈆H$`}GIe3uv4Uꗭ /]T:@:Bf'%nu9 xXiT{Sr^!$ѷҴi0 vw;m0ᩋі;IQ[Şw]NP>W8}>3j)VǟJ魂N|1?5_ @zvk6i- o;KoWvżQ>].F&Yh|MRC kx=oLJ@ `y4v657债Z p>&.Fks\t<;>q®m4 ѠD(ZD!K&LuOl3]$;sLc_J{<0>h۱3!m"(嘗Gp` ˶:]cBkE :{W'zWH-9~Uj}J8 |V!' h"%,1GxSO7N!d^U4KmԢuP& wŦTQ`BM}%@@9jZmWxyrC=0( yGIn^oCf@yE4 *Y.OP\X^2 p_%`uenY8B f${ϐT2pD{T wNWksW*~݌2gsc/PK+ꉬ!C"MW`4_! 9hŎ>mjo'8^焃=FAA=tY]_fM@'9[(lZ 裰/yڸѯU]kVeDJEa*s'hߴ-KQ6] :' ?,/MPZ2X.X > =z餣I{5)VS#OluW`;17xk!C'SvjzcW{tLvNo>,p+Ъ)4ɼcXܙˆKR!VHFѐQ/0y2o;&A8LlwjiAeBS{IH堍Ge@Wc 1*!J] {3 >uxWcP >UpI,mooovE= pz +*ҶBRWaS(i8E(fPh氿N3"]+R^+V25]/'L ?|/Ҫ3e-Zlύu2ɦlXFctaKc)8a$XpIE&_rzx51`ɒI ?s|up:7> i`0f:V 9F `4sI}Jt3 *POPF卪5'O'DXH8<ЌӒVwSd[ꇄ`ɣ^uf߆RcWcKo2ty4..4UOР EK5XЫA҅rcXn?)cYC+"APBF3kCO}H b{OAhs V"A?4T3PX3P~^h+NbS E&?҉i? xCrsqa>~͉+r/2nt tDVM#Ѣk.ś <@#z(AlLgݨ\{pOG9M!˅譮uu$Vvv_J6@8S/UO!F`lNoj̥M]-D`6'LqM*%\)\x-TaNpF!}w3'H_q X.dhq50ayZd ~M8H>1Φrwgף>RM'Vf>wyԃ|ߔ8|S^2sH ǻ{O$s7׍w\WWo_V|&tEC=i)UV!KgABdo=ފdQkBg zt#zm 8D$kc]s_#=f6Dc?aI>zChxS/O`?ok"J O:-~;Aɀ`eO*դ4 cc 3N'1Zhtq5g?";C|tV7 1. C5FZ8db& j.m9 pI`4)^+xT U?}^R(v>G˨k,>$(\b` Tk.Ii$;$csiOEIRCq5\_ o^HGNLs|;bM/&2 -5A.yH k֩ ] "FfWuh?%BW 8]M&6q 041O!z 5bOS(M 2@f=)'c0sz3-#^DHc9,h$F,+ EOw|hTR\[S  K6W. Lwr&AR O/h ڇ˧OB{GmlaT=\D@}e"3-^ ʷIvh1<(bh/a򠰬zw͗O]%AĘbq;ju6!SnS"G=:۪<2bwk=d,:gK&N⹚$DSV-K 0S}}6=t9f{ ^lwӷ 0^藨m*#G"q9AB s7` Wt]zQTs(g<Sm]1DՃdǟy ЈX-}l!"oLSYVfFFgɮ˹-HtQId,,[(*)$Ge{}mE4Ɋ;֨У1%PihYҐAiuKig,$Z"s[uōZv6L'gPΫ'4ƘՏg6b"|{4YAUj=?5:'L/m8\#RT!LI=Sg3/0wQ~:O`&D {يZ.l_<"Ƚĝ\E\[п \AƦmRSfԋH>jb9K UaN Q-%F2ꘚ8#CN]M[U}"1IbryP NeWܗJV:9B"4㏪&!=Q٦a=M(|o36r%]pep @/_Px" / 1B$i`%vdkVjgPm*c܅ >zL! rUٔrzU\9wcɄkƧ4p4e'_a}&Jr* ϼ|_F&B "Ax;L6PbwZ Eo(|L%!+VvWOn+{Nd !6^xmb^VX_&B#J^3-ǸxL*]x*z~| 7+-VސDZ" ;Ѣu(jJTbi^1&iu!rK3vnz2'c ƫԑ9K~OXRif&͏xS\'1ɩ)_ČM<%ѡ PV u2jv) T=*捻-ew[}ӂ=;<ZUm.4`FLھ>85:2Z(*'ǰ=Se}ݮF ں)qX.RrTeaV3AXe[k4~A/!0;&xn j,'+ ڦ;OzZoPF \yꦡ،Ob*L =_C"ς̀{crb83]xlAP [j$#:I>9nc/y59Lq~ ꯉԩ_>xFϰ&hf"'%w.SO" Eé7.ݱv]!|i']xhDI&1xFF Ȝwms%<=Hh勷4؇ R5Pf7uz -Hh5ҳX/iunLpmn>ڜ)9--i_(4Vl]YS8j m_b`TD3l;ԒZ},yn_0sC >9Id@x#xN G{D۠9SL\o,"Owš99z: ( \߬7S;r0Z27#*o#4a0#d8g;Dyl>ȦhmP [Z+dJhοFYtDtG5@ͿF@R0h-Ѝq -_qYV`~Nv"TOZ:Wbp,c-%S`+a {w bUo럴/nH Th( c S V@T"9S[p$bfM8d˻#ƉF7͚]Tc$eZ1}fWƈ'o*58Og;5mYY>mw()'8EY~HSYl&wTy4D(6^ux h@a]t:I͕p;qsS piՊ;#4< k(<ФH p8/9z,Y [Pe3 WaHѱgV0W)d 'WFԭ%/f~].$覵|s*a+:`3ꭌfeTD5Jw3zމ2u-XӞTQO&u6gSHz_h1 UU4uGŽwi>yP#i)ef ]UGuu_9,wإ!92v@2ϿhϬ 'k)D' RܚicX]H~8"ګhJ&J>+l:8gg//5pEV|`%e.God*7?TF,!N-&֦ w;b/>"XY ~ |v⍉IZjU]îM_\>m*6&qGL)Gm9zHOJᎩmG~G󯶳v4VH Q^-5;!C`9to1i<:XL'y"6UŁ`N 1u .({5KTE E*[C/Tn5^E9Rb,@+rȾIa1k VڳtQ4:ßYwלyC24l{=< {D}5~uYÑ1ӛ4R _~?!7ZꟆZBQ(R&Duq؊e7rf(Z5iۨgsG@Wlwu_%=zEYu*sN19/CwC\%]IvBEӒ|S YD_Nj r7>Jw5s%wJ)[d^Fڸ M b(ee2'>Q*cDHJz1Ѕ'9"`C o ļ\e;)%Us^u++ZXmӃ.ꘇ-SX?1u ծVRo0rUලY}Ra*^4,|?*oo̓!*A1nDNd$K NJ퉰cW)gk5$^NFU~ef [ oR`eFsyxSs41,j$:aHeB ľzhfdT0*1{?"v7e=OO3:ʵ}R~`Qn^ҔPRi=/Ϟ7WeG҅m)).d p-42wU';-Z\ wⲍoqu+wιeDNpze79ݿ{ep`SP1ZUFoO-LG{<]Q/ p[o^mɩmot< S;ȏVl_)=emHh# ʣ= sC T[:kH|= Y{iT"B3$"@e[ek(3;U14ӆ/&7ӂfP &*G,<ܦ Z[^ FbAǀB-oeeG )WY- eX~TwI.IHՀ׍P~G8jk9zjeVus8(wlݣN^ 3~Ӄn5@ᥡm&⻾DC]L/[Ʃwk=n {z|c1TRK^_jZnGhD2c?hO q5xs} ɅZ<æ24=:Ea̷Xؖa28r4b~}[U&~th*Ws倦=!bc.;=8…@,ZiDOF_SY / [:w3ᓳ4՗" (Gg@8Z}WӔsYBBfpt1U-㺦6_YzW Ҝ!\ yh%r,rɯZ AfzL]u{Ys#-2zCfmg?j7hTC2TF8?192,KC=R{)F25({=XZ4a`mB|>!oIJhM m5&WlU jhL,zۜX.}/JpK&^æpL 48ӊ_MbL\d#Hd>?qO?yXʻrI#I@ۄԢGKtcmv]ᱨM\$&X+j`qPwE> : 6qPf:xmzY~wyL$R2F!x1:z/ o@'{E=4@Q"lߠUE:\XVL[$*9B˧ 2is}9QN:ydI@Sr=n2^Su!j9D}T J, eJ\iNG?4 I(š^(v_oaގ^|GFXo":R.(JB^˜:UR YOxh&rPp0m/q_8ϟ3=au+D%:dZL6]pI+}$LM+?K@&t BEx d>Ѡ ٟ䝲ULǬ͛26"4@H' ?7L=}d tj_ؗ<֎D +mjP# :=K)'_pIgaFj} UBX/^LT(A'B!Ȉigj+ +`0Uނ}T,R~אf~ܰiv0&a# Mk=&.xlCMyL21ef7F PF ' PKm0Du΋V8>EZmȜkd nGϭFk)w;*kI:C=p F sj0_ Ӟ Ǹ^>lPƱSBzzT*nDxaFڗ<\:Y`37zq}McIz_5ZY=ͦG[d_ٜ (}Vö۳?v˻/`?L' ,2dp]RrOYŧ {l2!%[p w\lacygjdثi@9~-ZixķxmstrIR< )^sWžIsկ8h)[s&upxy7ܥZevnya꿃[M iEkRox!:wٞ}3Jm蔯ځٷ%Z"1BDO+E$5d-dZ'.{d6WDʛ-/Yc\t-vKվJ#M, {X&ZYC|"rȜPOFB/D(>IjIpCҲ(>*~ $Lo*~%Hˆ*dTp jRBu[ P+%:5z| 0oYmㄶ7Cz(KWASjMK+XISz#YO.!hMLwSQEjl{U3j<9\![iOV,>c4<9ǘ5 xUZe>#C(}4]U2-y}8 =>t)dpLgdP=/ױ?I{nvi0dzg#'ͻ=Hsh׀k[M@e'd&AYSX}x.kv-P0K~iC_YCTl?ޒG~>)I A44y VCqa= H-vOdz?ւTX'K7U:}73{{&|SN'jDp 5X' Ex熻9-F^(LEJw.-żTԥ7Si88R}/[hb Qw76@  eݱS.`cE %$:J{ ړEXj l[\'N?YIІ2uŒj4GK~#iMt~W4'~J>`#3bHs9TJpSuyD\@ *wFH`,uMȼpGOr$mJڔ:6Fn̺ъ(O`:*:HԥheSSgWOīr8Ƞ_d_{DR*R G"X:YoQ1|Oԉn#\ґ x!qx)9ȗ7U[D"Ton3ޚdԿooHP7IJCgX'u-W`veil)T[fp3zU+0  P"5e~#J ?jG2VW!{.+4a! _h)OϘCX=8ʴQj#E90DWɚJO,K>5-c0m:z jŝ>֧ 'UFƁHdRn1hP.r5/wZA6T$1_L>";z$!>zܿ;6p vժ';-MI6AA@զD7gab:;-h5F4 (d-IY؇ g8tnuO2j;/~%g~X~x`똭~%OT|]q7p{NSB!̝$m[Ɋ %ՓV{d߀D*bNV_HpN w[E,@u$SFft7@ $Ep_o_sD`7߷{Ee3ǁ ǽx? 2{>4L5FzZ*[I_31]6ϸ3]>8=n[>~Mle8A"&]՞!Is}by0y9n#""a2$ , -j$%{ K&j\)p ] 3{'^uE=!rs6~}mbr. yb>'Dy\OvpQ5.ܮ}ӎRw:ЙpuGv<!xW8DxpcޜI )Mg{6]|PdC6i xJ+up%F8m! 2Z·2GӪߘ leM9Nn^ezH%Pmt lFpƙL7<`>5E#cCBZp)ս,ի&p3t`~`l08V$ 名 !F0 hwYu oKsHV~뗁(AQ 4f0`{ŧxg[R) 8+Ƞ}X Xf6C'U4sp7&jtJeЊK]^ECAAml/y1۬Qg4=nrF!m>f:Ii(FIi#$Ć#v*fu{w"d֟tzUܱ#sz!M?Wrfy? n#2Lbٗ D?B)]ZAI}l!=H;f"W- u~/䯺ۂ21h}ULpQ&YTVtنe.*-a8A1ݧyY}'Gn#K>\!\ٷlaeG?IV;Yl>o )j:6אmp*(,Mֲ3z!ێK^x\D->zᝑCSVYթrKM_{ Ӳ܌Fq17"A @*OE0fRR3)VWL򗫛}dc"} 9 4@u_(ЧAӘf֙@w޹$蠫yi)n[=^z͍0֢cPĕSL@}LEk|:C2[lB2<'vlW0  "O%p3ҝ!BYat9#]%?v-@ 0m0hP:gd}'x!9B* a)pkEo)ģH/hZI֯JDKVUfE(?3Fm!lJib~aᅁ<ѯۅnz <%Թ@|2S*|Y,Oxˑ6毁zz㆛;ӎʠ,eh/z'񩉒@ຨGDɝo}JG\';D7bGJ^+KkV*^h׽w|kcPs63bng0~jWMFƝM( UeZUһ#0~;,p_ܞZטo&X8=":(O.4F>i>Be♕ G'͠ Ўw ҇Uӗ]8NJ=a*uռVEȫѓ׺Ah˥16H;?0I"|{ﱌ3pŸԤH<=Y!gi-]L֚dǺ%9-uXDeۢ\n#1Z|--H>pS4u|j/bGZX.]8BorU xVA}>'Hr{ɓ;D:`w|u)ס?"HK/Gegi^ܺJC#.Ä!srO8Og4"5`ߊqUq{ fW*wLUD)G[U!_|Vl/^紐6%И*1@;p$YƠqȃ喜 %I#b oJOLD&n^2UC5tID%R{%LԛQzٟ|To SAjd\ &62q45KA@e;(`VfòK?%wfCRFyr^ sOّѽv[YO3?dbwYu^ʯ֘5Scb NG"m8 ߱$vQw ġe׉$7*55=O42j /GAifs] ](zL$MrWu8߹w:]xZ]d+T;o6Q+~sXt_`D 2\h-Y$TO$c5GGesC iƯRWw<]RR,m50b>s`΄iU䚽{JECofӢrп-[K)Bu`?՛ -l[ Lx:tָɳ 3V0h1/J6^RltN F>ϜaH`ߠiboĢ*M-)%6R |fl`xyZQS~Q7Nj&AK=lKgct;n_Bӵ:5ȑV#LtWc\99?(+|[wyaO)oT4I>@ޭse ŋM?ؐ 2| 3(kh}1$-?iE.#" u/v+9hVDw_*Y_燎{llDnW4X,T>Ѓ -Oti4;Wz~7[omV6^|FWk{89 vDbjv0rk $v,4PjSyek9nRm$ᣑ^È0-*>4N'Vɲ9 | \ZT*4+q$RDx,R'*-GwA݆nĵv&fB~I> s>̷p r@)}gܘst;l*FyA,`Q1OR{᩠*r$c+Ӣ9k.%K$&z4InjCN? > Rb~uh˜KvcXwʄ0k1G8ANw DHt0]ٮHZdO`qڔ,"',yi_jʳ=gM;fqA[. ;`ԙrB]M,xBi5߿W)*pM´~FZ@;,[pb*_ll!w8:Xɋ}w@F0hnDX?7A\hYaZD`Q#2._A6.F)q%5":0#~ %9$b]@.563i?}/0, ‡ %{__Zdd{ av0Vm]0?ͧzn|(rǥ 1;pv %ʳpk*E؏՚Pcx4y7K!bzR+يxV%[گd :7krLlk,rea ?4bɀ~x};g*X F)YovSM}%HZ^6,Rt͉ORk(BhF Ь9*WTFj$E8aª$MEɛ [M_\~Ř{%՛u[#v46@tvkL>~?JFgk\r]8"5r~[ " <`YWK7HÅüPr)dVڍCoz1⺲l,NJOrR!ɠ48'h+Kg2:,{_S+㘐R("oDЄ|ai޼9Sq& ,ρ$c8?*Lrb4㫐&CuC(yHc?5_!\ 9R hVa82q"|~L<IlNR9{r}#c+7xA.5vDP92%I;ΝϷSыcz߿}QSԪC͆ `-^x ,ͅú,nޗԄ|uc-5Ւo"#Y/T&O8r2x6Ml &eŖίBVMGPڷpiܲki[=K5iׁBOT/F1J |TrloN\S* WWϏI/' RLg5zU~2/ a02(2m&Q`x#]~8m6&Z< CCv|`<$3,KC`_@웋Oo `3Rm8& u$*t8" RS!$>`|0%njyL*dCcI%)XWJM3}q(}jk$ao>UUw!|iX[o[pJ/=3l`)m *Q*voJgnPS<䱑[y$PDh:k9ƨÞ%^`)|H8!җa&B-1p"#}!=`Z̝[UsKk<lfD!D軧tB #H҇A7G*bŀnyqlMرsٹajb鯚X <"TƈQQKr̲!`l*e|/6NJ1$פƚ+GUGALҟmGtgATr]C =14Dž) _d]MGJ$:[%aK#<]38#Lɑ j>{{ڐudBP v*iGO'㒅g6-bS2=Ize|Y钸Հm-K+~ȶ4sby(L\;?V D")&Obj]8'XB <)Vk-kʆ(p\5}>2+|w6E9l, MUn3OVH_2uJ><~}뱣g',m&t4GΖ1H}z;# !ug@%$RmP'~=M'6xj;BYP~AϲP|CδQ1Ue僈9 4ldCFw!zߩ%EQ( iG Йk6b R^g14pGȴ;EBxB^E0s\;R ݒc;{#Wl:q+ -pM C2qRx~oI3%FX'lWT╕aE@}X}R5T! 3kY;]l%m%>8HhrsRrHB.2 hgP[НG`S5"& ˆ,ETyr,äe,O `c[Dn4K):[jvB]úppmThWtBVf`^/a {YY Rom]Hd>hը/4bU8ٺVތosXoIs7+oe%뼽'br[9X+9?B'$`A-WnϯU@ T}#0`Z^p9X-"E ok?ќl[iՄSڔG lN<54 sݡp 5ӬrR MKE4K稾.KFpKZƚ|:iJAn'@pv}+ n=Ƙ-BngzcKö4A韆ؘBb`Bxbiv~+zǁkd"" ;;ӡ)B@GQv$㌐DFGC[)@]zN& cJGA3#pPِ^=;F݈ ejğݘr%#ߢB&c&cCzOEl ;Ј%UNYH޹ݟx݌~!H8b?Sߙ. \D hO>OW)ԁKkUNjY u'!VeXb>UYö(ϕܦ#91DTme!!m1?{,* ?$G䄁Uaa teѤm *x}f{ +lZg:?]?Y׃<҆^ٜe z?m& %ʪŶ6"/hTg)A Vg`ŘUǮg_P .2<| KmIIY0\8!4(  ]}[!30^W[ & `R2$ řw~^;ڇf֎hBfٜs^^7GqTgY)8 &@8PX~'HNU%n,TnTd{eb⮸-FJ-0R3$XLH}*"e& @Gu)VTwO{y%S;Z[)XS|>)wؖ瘹>]LĭvD⒄]c/55l\?Ͱ@S kkhB{D9?JrPܹoOL&RJ.V}ӚngoAدK_0+CAiW飪T/*9NJ^/k5)@3sv2u>We[M2j5k-#&umLԹ,3R65ˢ4$5.d;ԕom .F1.&C Dᗻ"F [is\o$z ﯢU'a4$%׍4 ha>+>r ;+gئB]_`wlbj}&sJ  El dA&3qťdY dШriĈ{ock+~ɴXVSB4`J>q,Z/-| K b6$H ^b48QRȖ|8G6EHGg*GMa ;D6/@ - h2F0I@aar#aXrBqoQa}J^|;G/_@R".dl]skkۣW쾪E:4{oZ6yU:+w4:^RgӢ-ԩtc__ʥ8$HAk(#, \C}! !B?O+MmSl4!_+-&th Hp O>R[->Y;Q3Uz5ٵS'ji e`W4}Ƕj0@. 2*WJ\}S&mQH*$÷S'ݧBioSl?8vϬ~z.5n[Bo|X#㡻Ƒ‰.7yO:|aD ̌C_ҍ ۾/q^=u %AKԾMm !_N"i 8>9Tv,7 4u|$rR'09!ߥi`QMy.Κǧ}j`ҿS7Y"PF]S d,i`Pxh:Q&_G,?gYZ7zXZִF! t]ŗXiɟ˕454؊hUՂI"Cr%` vC $z﹃L[X#mW[?̝ʇ>Sww)^43Z;+tlَ gYZ7zXZִF! l ]ŗXi%L&~`]Sp Š9SZ8oPJZI.'@bʄD"U\?$||wsJ`{jIDj>N7zڄO 嚙~ -aRAP[o.02MemuZX' ]J3EVY,3mxX~DtK{1ao?jvq pd`(q^Boϩi8dkӷ10{r{CNAjƩʙ7du82Ɔ"UclV0ү.?1vD2}r%gPAN7 r؃/Ƀ•cOd^&Ê~(4de1 3`s`OuNqs9s$A)XU++]"*NəiLE?h"Vm?&p%LJxF@8h{25 cDAP =wq|֚z<2CyH17l-p2I_fM&Xl{ 1˂D$f0ݡ|祓4tmUF2[h?hUr6dQEab#[O@|(43|Zr-V[.V%F7H9Owr=w9ݽJ|,kϛ(Wg)9CC-ݮ-=z!aR*v)ubFpQ<&=pvhD̕VDoNA1IqfG{}ل 67a'ۂL1evv8ܤ ='d{ҨLhYm]5:oSxpɬ }'OeQfu|> +պ2h.&P{1!?Bs'S*`D5vB]xcUʿ6/'yIfPS d|h)pCojJFX;'m;Ʈ-Oۡ;>LO,l=@3EX`kbFyڏ+͠&\:BB(ʲAl̂(U{=^hAHig qE\Yt=FF*ßkcBW*K}q[:+cgW`ecA&3~WO|wKC[Y/j@q= sq_$O6L{Rq((؇Xdz QӎdnuA &EWroD/0 93"!@]/zΝU*5uR0/jtXAy$3\[̶EI:z*;l. @.}vqQz<3h9xŀaj)q;sP`>fG#ŁM};Ħ;8|D8-LTu.4T LE; \K!r\Ru8>ω1TQɮo p۪<{Er6ЃP^0LQҲJo54֩@'jV&WҥZN٥Q5NbR~L^ʍ}<ֲ!$nB*N1 .ґx٪tyVS>eho_D?J+H`c@ _ǟA~}*fɘ sCZ爉àQlo~B.(6դy֣W>lAtO=)-},w|7PU/:AW1ZHLѡFVyc_LMkG*M5.cx4jꚟ7|ڃw2k w9's;|.Wab w'td4:bhDvnGbPW,ps( " Y(Oy ad8{P}n/[,ۤt%0