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  ^/\d< ]]Affine_Arithmetic:threads=4elapsed=315.120cpu=1081.240gc=74.940factor=3.437zXZִF! eJ ]ŗXf[&CiDu;\#\)E9-Ch{[n&1;ƕ`6HR`$NU5H:0ٺ+-e61ȷݼfM:# &IiFhqJ>y= iV킌'YUq M~ܟd"ϵBþ$`T~̗p-Be9cmU7q0"HQp㿓YsF^~zѸP6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ F/O+ Affine_ArithmeticNative_Word.Code_Target_Word_Basecode/export1.ML8:K3rS0>Y Ӫ+c0m?t:nBOn!H"²:tcBcV]Gѣg xNI h rI^` TbchD3Xg)B)cL׶R 9lRL!.7iopG`צΡhZK;oÄF4BZ >w#vO " 2L$߽o,pf俶%詚ݩ ݩn/& : {fe΍Rݪg§V-WE-8OD+;N^-g"I_̺\{%sïDM,iXDb~5c{_DkMRG|i W|{%JDRZ[ wQ6@Q]C(ֈJAؽ.D3y0A6Qnīooie|nw=nձaLPKN.K/^b00nPQ׷1݊= _:OCj(=ɟKۋm/zȼyE0rbs!ǥRn~4"K.qEZiq,/dҡ+2Gچ)8s IdIxVh*-cOc] (+>y,vZ%FJZҤTsNN!:~ dyqY`l.2|O-5L=s.nD'p=@Ipoi+~P5bO1gg/ITɉd{JfVdӷ{ZfN, FT;A Wbs'HI"a5-aҋ"53 |TcfppR$za#E{)s&Z̖kf0\{Ջ9ujL{mFiM4% =.gcQo̟J.QTAgn\jg&:xwe`Ckg'_+a\/?^fʡB?owj_zvm?h0*?ERS>>m|]֦_zeY$z5ٞ(ԘYv]L%=_ok(n5#6И-* g@(Va5 l_I焷LjB،Ȣ\ZBt}0/"> oߡЁeu8nG !3hUۧ?♌#J[u9maj`ix ǐͣpwɏ$Ʋ$Q] XEWS rגb+tEԩ8QECcRPZ:I 1YGWi)6k%NP0|slVNZO{1h8hᄺ}B[<GjLT8 J.}2gYyƬ^#EGxZ}"ex)ֽԑ ЁY*5Z)g;!r (jgo#ˠڭ!&6v9ګ1\&]E6h8 .^p 杵œR.brE!%*Kn+VdpM0p̷?iv~}7+UI\ݜ~Ş‹ͺ-Lʳ033Ґ"4g29lfydRX%YTaƿDTbkZ4d^!LOU yY 69]#zmzvn&ڣGuU)^ŮYjTYw>VՁ6u*M:w@Qܨ`lI͊`ZhhpvIol{.'˲鉶'w\ͨ7DwX`1eE6}V.UeBR D[1kXAk+jV:gJ&@1v$k@: vܙ(EH?r, _{=}>ldV~VSڇZ6)-SKFFN)u‚Mhy%j'$sFn0^v'uCE<)({C3 X/SQ] 1bX-i)Әsxs粞ssd\l0;1z ǵ:>N-T2Q#̣ۼA@װWU k;u3[ Z~ʫd1,=lČd$ Fk 4i#eD#ꏃsi$KS+DX\y־C:`Yd/ylvn1A.{%kd>*Zґ-&~n (E IHhQz^ӥnL)K9f Z؎֑:r!4\|DlC sOĞNc-IrZT?eMA9L ">[c'JTn?( χUŋڅe3u8jzLhyX3bc &st]ϲ;P_xtˏb] 2v!MK!BN~z'1~jK9ҏP1ȣ$c(= 7 gTj`Ff8ό"I)F_y'5I!E1*"累`Jl,KןdCƣW\!%"2هcpP=ԂC؞9{~e?V)ՎTkGtֽ: Ur(G5\kԵFj 0F3kbcI)b'BʰQ]"}0!2<(Hy_Nm.6e6|8Di _g1odOd%%ԧd' g ovoYi,8F֮><=0vBa]W aRO)uS2dK=7E̷ĞAA%#ʂP1iyRhW.[:\qUCԗR]q2ZcnM}XR4D1wB^^YqNj Gb*V4ԔH$(ܡbD+)8H٠P JT6Az|( 'z~Nm$H/iM~]m MF2pk+G)]CBiA69^j}Cч ΒyX24ЍZ(.9k`eĠ34lҌ|sUisLZvUWM_z9Wtr,g)&]3߁pKKXϥP!͑by 4%W > m7$OB{ [n8lM ohXD,]g'DJzdddդ}>uG,.-\U5Su5VȤi^do?JE>ҕ(#θHW(!R0SNZU 4|-y#iaXK(uDXi`o)fr!G=辻XxAigXjE<{pq#=5 ڒ%  68Cõt 뇋2J3vnܾj,ih ۯ})"]W;E<A@u:ks~PnɁ*qۿiq8uL}5;w%P'{ޢ:BU婾es@q|Ȟ#`|luaC.ùGϯ V>LfZ{P&뒀6~N[6qIgQaHʙ:""āѭF]ʊAC dJ|6S177shjR] h~)&j{ ]m1v3d(.'.`ùJIryL#Wy&7+f^ ao6iL{o>yO18Ni c@pF<ޥZG{8 FJjVX]ۧ&*κCl'[0>PS ,Zg8X0 Gcz7H<ȯ#|uG8*cGkרihQ^V8t0a =DuI`}nqqavjx9?$t)U5VW i"CrwU!z,y>O^fYeU0\&pȬD OURFC5Iϖ'w1Sji `2ظM<٩0:~981O0g_PA]s᏿e^i$JV'ayUGBz dg{h2sNX~%k1#m`y6D t0/H \Ub3qG mk!)Ұ2~A X}yqz9N8%*WBLst{wC.ca+P|mxq GH8ߊL <ƜBz ǫkq|5mqb~ z`gK]Sk"|L(҅o8:5&O~L%JYKsvAw^ĝ'+// qʐں=ƅ4%u2va*KC 3UˆoE!{񻤎+ϳIzwv)IܢV_9 < \%6o {ʆ/'D[o6nL7䓻jB.$2ى_A)f7,ܤ`(-*_{:-# G e0sfvI*3[ox)Z$N62xP_ NwPԑ dNΗf7D ?Lt;%|UoOUBUP@5L-jW"-<*VsUa<1OI/;sܥ OiD+9G=7ACA,s!ehP{FW2* UJ :''̴c&шbѮ+`ߪhhWI(zQ@PE󦤅wA0%ާ.(-yd$,~#tzZ<)|rȳDʆ+M 34a_f ]71JaYPAœ,HsDFFnUT 1,pqY4dxSeӻe#QN'+U:ol+K2ybk=tlv0iѽ.5z|2`LWV1P31fmJImԸ:Bxs?%p)s`rJDdii(@!(9Pb$I)W_SϤЈpև/Z*kr- v;Mg߁6bQ}\%~x=iْmG"s <Ѩ!]Zjni*n uoiO.[ԿvF0*4-?raFjpX4v:G'`9}CއKNo]3Y+zLch9 y T4M(k=Z!f2 qAah4GR p.KM3|AtN%pk7`uAƩL"(U- iZˀ4) )uHY;YuwDˈMޗßyGoK"/b6 0D}*wӦIl.J?wb|D9ьm-@8G3)'vprRR! m(&fc0n٠EW,ٝݾXU8Ll}"DiJ2JB(9.cV,،3UqsWvHiD5_WMAT˺c FlL%O+#jx׀  i%byw?ɽ\OzioQs7U0{̴ećŝt*]cğAO庱gYZ7zXZִF! l]ŗXiɟ|E\Ât+.*aphG)%uG%9*B!"0W`HZqmQ@e DԦL6:t~c[KwZhO\`9,ILVDE aicEܮ^,#3 \W;C&:}%Do@ʪZIrZ*G^ + !A$ /8P 슱. Ytr:-" Zy[9t& ն[h_ fLB j|eOJڜLX>P&7n|YYhs|1B@I2ucJԶU< "AB=3ɠ- s,Q_HN9"~LoM@+#v 1_LB$yKk"FFЍH i9h |Ed| &)bPRʶGʈMMw,T Mmaje2;/\YЈɳ%i GF ʻ ynOQ T#**j,ڒ,I+Z]܊=G"1.dc"!!eWB>k 7+x %y.|" [c!Mr:~ղ})#޼MGD`O[8(6cK2 ."TgYZ7zXZִF! ݝi]ŗXi%Gf|b"{k[D +ű Rv0]G,\w2uB,Y^r8k`>ZPlD6PM}ήi8GQ<10RR\k::ձۧ (;eh#G/cdό1;ZXp34'o#Du{)+ Rzo=Uq& #@d~XpjCi?(" xat?}3Z|x{M.ZO<-Uҙ_HA~#&W k cpt:>]@1-׃1)Ou̙5TQ(l:ě#!PeZkGӁ0qiZem ˲}kƉkAӿn}Ng`S_j??Po4t(K>R<Ɇ\b tʩgVU eISVťTE,ɥ] Ə'E4ڇg'&1m+tN)iCTH7ӷb&dfAg \7j9#pMShp8jRN# Ѷ2_??GkjO֙3u;ZrKh[0 e99m=cxSE'joSf"ӫCput:ur[3!!{*~gQMstgFW 4տ咜ï>Zw4Unxn`"?D5_xHXЗ&ews=|-L^Qi .5Zdjڀ myQ/| ?VR!i>rrvEl =5'zzp P XXVX&,L)6I#X= AL u5"g2 R@@=G$B}@@F]P'?B2y؈9Q9!2)V(*۶4`p !AʠwnjuHc6w8^V\D'^a901.עX x ɩۇb_O\-a$uT~2`mbgG9#֑t1:+?J<.<;e 2PX&=8~@A%_ycP+QπP]:)6d,sQLIЩэPL1HD'ku/˜%ϥrBY (e@T֮xJhHF0S :&rjco$*Je2bXtT ]J\r5 ,n﯒w]\tCcOukV 6׬)a(E:@E'i[|pNj:DdOQVZͽ;7#92$W"χ h_],@ %OCnȒ$:&[E'1ZO\JDC| (dL9XnS3AȫM?{_B3/&s3E /Bzf;He: աk2:{n [!Ńj4;)_k5+ ?}iEfLU,Fyrl>j;d$̔U[S*7LC'Ӫ=t\¡6VP &P;p͵)XܘkϚs}b׽*cKYz_k8os@d~& Goqb6)"cBy1*KWQQӅC;8EO 5Gz  O)K۟9 ȍ%dws8J,bÆ٬ " ""bkLxo5A=rrq;T.|^ޚGo ։J_* Q$̨2I'T״dϳoF祀QJiW&)ݳĉ'c&Hkb˱4OB{".R'o7qMQ2 1L:✟|LUקv:ڶV|]Gfh^&\r5X_*QI d2EM]Zr?Q@{k+7[u"dgǂ3Q;+hXKB 'l-P׌CY#=11es1ˇN".Ue*oEvi w Y`ҢuA`4|nۏ8]_Z;G`/^FTV\+h֥9];xE|3d'.2=>sݦ bfبm&:G &갢WMa={0%y<=ЦG}yKX#MG}Xc.I'r5ݻ,vέ°AWáXhk(V!-Ā \Z, @@}t@7V[tQ? X8iC'B#K984˒h$uv|`B9cų %mVXj-UGz8bdu]f#$OYLǞ~MUT['ߨ_('lîu&Mu,[04U&AuP "O;DLhPǏd|~Hcdt,hKLc[TIV`oeװݧ_ u_&^lh.t^\ RAaY[}( {ZavleF.C XA]6ZI>6Hd;pRoFs(q@=qh;K"$D}[YǬ ˼.i)sj,aV%¢g*32Q9 <枉|# ;y7|{glCxyb}-KۮŌ/`TvW3TDCև+V RgΙҡ2=m'깾}G=Kg*]a \Z3Jt{2a+vv GrzVVyi:YeJfgku.#xоxm7e)hQ&^7WBw=Y `./~QIx^94V" ?[,/CB4Q0 3?*ӦMV'T+]_q+0=۾2X$\eG\0&z7-th f?Q t/h1PG]>b)rETvMdy1>o/E hrxY9Sp_^g^,J]e!K4?[2ISccln\ 8E_׻P 1z?7u M#@hNcg!O>0 6A__QV?>;s+wK!Uݢ˙;\a CۂH NMS\o)(݌X/M\w9̇P5(KoB56z/k_{)B{םM(K~Cw!,g ZQ44"Wf Ķ5 %;S~~ r'ptBD7/-ƶ`X{62Z KDM3=K@жe8JULGiy8SbӔh HL^GcI6BӜ5lZ ͻ_\Y1E(s#z> ?hY mP Cb_@=2yrOܾ 4Xc絹`dßJ<@fX# 0y# <-kLrAqpC'ڶAs A"S2YsZ R}$ ޶(F>x*H- n(dU&:ܞvRQFIw{?&@qq@4`#o=յ9kķRRTݻBephG.?A wćm,wлl;9iY|<'| lkŗSl" ~ 3̜Fu!TʼnN7p݂ WƤ:#t4^m[{E,&gWx-WxmNfQ8\s>[X9A;kHӴqBx1)3ru}f.k7G)<<ɫɅ7a$a@U$[){fTvql Na[JJxF|l>^z)VZ1(!$=jA8, GϡHÒY*ćJ)@@uc0~vwY/654a Wl_AXg&8%R{]WM':zh񣱗93+^wm]0(i&ĥru)B^JgII7SC+?cWR sΰm ǧn#zL֘5y"|0Ƨ*4΍Op͉72_#& T;!I+Z[:Qhe90eȌUUziO;3|09WLow x|?ᅮv(RQkSbVk<(QK1&^'3hCCOzn{uߖ'. 1"XNe\/ k:~^ 2ajVѮ P,I|x89]]U:Ŧ]czJVQiJzFZ-݋8}\ipWa:ٚN[DuE2@j*if=%?9/=& W>^/b֯4?hnhAt;JD ٙmaàC6DԎ GgNnx3>: 6QQh}aϔB;Px%Ɠh^Od%)d BH3w;=sC+NFߐ&|<;5~uV u' VҤґ$YL,:xȻESY(s׼UCz_L-ɼM'Or)OpkS2Xk{H b@;ip̢܆j[l5.Ta`_B#Ӯ2 a*d0֥m,:\Eeo0 ǼBOSgx״5L9NS`V?Ɛ)bٕH0LvFA@wZ=( >]nGLZW@iٳ,U7?jvˆ$A~rxɺ޴|ֈr{N<d&슮y RW. p˘XS'G^5CY^]u~$SHu+%uNd[tw<,Ϩ\'Šv= kl.)8-k$-`+y #C '&*K^ɜ&mפ_EjÄ=i$],7t5,Y…夋V/9Yz,dr9F~_M6UMf7:d䗎~T?:-V=:)ؚMT<|}P ~1u>X?VQkř̲iOJX=o t8V\FUMPHԨ]KLDE'QjwaN7$L,rjcWf|+纟',cHN-: G0*cTrn>A׺~HX*mX4D,9kU6`;"Dh2 =P]OС]+F<#Sg92~:_@MhO|E ͛^<4ir0!63qnTmAyF֦겇/CBhxsWq 3y{/R( Fr9pKh"3`>$!< lPWFqWWӡcT ƢKuЧA#{Ԭk27iPb/Y&}9T {Bjv1y:_(9w'[ъL"O2_Fbޓ+L>*hv9%ݍbWَ[(l|}NbY4e$\`Bx3n|T=}mR7 iϭZ:4x}L9F;wIe+:l& ?_2-Tv86:)k)`9PoėFToQ"P;wX'D, D05x\x5\YӬգC:# k!*5ueZ"̻͗  ƻ㲥c-_PA$WFVXHSHߛy,82s Hs !Dp qbك>V -U5os9.=0C׵۔KƞNne xgllPD{)%bKDOemLJQr%؇q$H}|> >p肀\xv'yGU=\=ak0V^݉L/0eǟn~_SStJ|!@'#V.u+ub*$ֆ# ǂ#޶F=o<&oߒ?4#iE jι %pGKCy&(!"߉qq迠{5Q,]v=tёb2t28*8mFT#cKnVmܣ;ѭ-hIqMȫ Vֿee|e#3XCO K^t_9&. MI6DegK ήV72ZZiyX 3o l_P$:B׊/9d0Cl6;! ]rLz0-L{=UVȤ{?˭Oǎs!k6j#ؽ?W~t;Ho'ӽD7ESO:ɼq OI/fJ;3?f3n9~eJ~@.\Pg7p*z&)QICOA ߥǤ1-8YcȄp`<2̗+XV RZ +&gɏMF&Ă5}TuC;# *iGu}1*E5##ۺ\5 +LXYl765[= V~x;VF9 ]D0͊Hʽ~UCg W1O–^XMj-F߻:Dʩ2ef+`|#)$mC cҥenrl K5hNƧDQH0\7LSs4Cǣ_Sq[ն^ؠJ1\^1w31W"XQД6}\R[hs_]o277GisNBJ<@$ZY@2 x`jDxŠ[4xm3_ĈGZ&&p:%0?NgU'M+FѼaG$vD1BNfRhgChwZ-E3L.P {?ps fi>|vyݕk}jDéų{{5#57(@.U:U! N^Y19#:" I|TˁxH̵RV b) \ }kUO J.}1\K* apEE'O%E~_DTw, f hSc|-&6//=b/y+IwRpcm8?H ,=mNkTnYد ءzxU4GJ )W5+PWDJQbdqո&yi8GbUw (  Cx 0Bϓpv%x]|s`MX?\A$-hJiT` 5:v?i2u ]f]Y%c%VE! #r8£kᛄ'#TE[ɎZ|@[08oʛs*D[;Ӄ {Ǭ,߉rIu Fw^IfsǡZMEʏUk'$nyeH0s9(& ʮO'Vf@yO#I}s O,(Fܰ)ӄfbIӊDcN6|4v%$<ٙշ|C. iE)%0jYO~ Or*7_le͑ANݝ|X- nL_\.*(<# qϲA56%3ͣ6+9X7`nk{-y,P#HLq.(|H[<BAsbi.O\JkV`d.Eg ЩFF,m3+ ˧cf"7q 4WWcQ{&o$Qg,KhYm "qX B@ p6+,Nդ| Y"eW+Zt/&呉g0e@U4O5BOcK_haZr2ܦVlV嫔ᝎ zJFPs@UjZhH(3R~'c]}$eNg9;DU%VTLvZGՑBA K5In%8~\~|_6F]~@77}}v)X`٨9dG*:)M36'$Mo`TaMЛm7$|դۏZǚ@vU6W $F0xpWYZyj_?u|^&@|F1Xޞ=-BiSiU+z˨tLW4l6OA4zU|yp7TA0t7`=Z?$#K@" =^~jP(\ bՏ &h¥c+LQV[yfE7j Vu1CH3([W?8t+P+t*V!KNq{ȼ[I{hǟ3HŃ j\]&xk)VB?glXr;ېE8SD?o3tZhH鑼./TY=zD[^fB&o~8fH6J˓c @8lqPH|m2d1(gj+)0CWt'a 8}/qʬ9L S!土{Fijbop D P(NQ O BN}?ծ6g2؈YȞ3q^> 3>hk0^3 Do3"A ETeaUPHF>!3@ɯzXzgݹ}V50%ƾ[xMpӥA!4yOMnNWmp|IՈGv%OfI_l#aңz;ͽ1pCb k] mbzf^ɖП]uDyjH' $~hk`g\xR17@+#R%4ƯY-g jM'pgPAcp?L~/@0uwQBAKmiEx3P4 IP K I4d0tyJ@,2'q}S@)D#TWةe; 45.o1!B LskV;x i<\Dsk>2>KY~ `_Y[rg4fEM%5Vs/oN7#>Ӓ`~3w}P{Ԛr?+=0 u=R!<̀6ĕ7T}yw=ғGBNz=#.dž#$m(& NJX*΁`+DdvN{vXCĿ|/ 'F_ /[ʏf3. P7v lRg˷p|iKLAU5?񭈺x(yQ/6R&r Q\+A(ŀCp]eM\)L cfU5>YզLN5$31!Bb ?+x-uŴ5PH5rZքq`r%#(=#-aq.2 C hadWaBhB!z8֐JCQNQ.*e'i"qetdV ,, #oao˽w[dvGb,U:]JMiBw[,VL>׋"d aQs/#]IhotINRa6‚W8Tu@ 4kvbZ1U<ldt.!Zi֏Um yfqWDGsm ghObt1}z@ֻqݻLk1%3T;+ZNH.7䮻lh2+O4:񀈱||ئLyΝ MKsڹ))Ђafx$:NڙFa ?G ?ͨ[4nneDQgVZ2eBk2YoJХ^}[vD*FL,L=f- )^ {d #AʧOp=M ASv},K_F4X6hqq:yT oY1ETa~0*@žaq DBgT/TzB" rr^W+kqwA4w#ĀR9G؏PT!խwdePC @t UM!ŢV7wG=rj=r+I| G$Eji^< {=񍝥><-f:; VɉO2=WQib4TUo[8Y>=ER;gv)f܃Ck̷DDt7/@,j5oȿC!W'Ǭkcùn/4±LyR, &CC""sE#ǣ A*!+s*%y۳m Kv&G͟MEV֩ 590dڅ]:MnԌ-S 炔<a`d%:JH>cB#ht Bnװ8ZʐzfE07ϟnvSqS\d G(`eϒTD:!>AF:8l+QԺ[\٦eN>J5a%4a/Wܮn6WInWmQ66HC`p)I?tjqh.''7br+lqYq?j'+y/Yx#*ys:wY\gK2Oy~ Kaw_`T`Aiz 8&i}>xᶳ5Y"(-ȭ-VSr0TV;gX"ΐ'GͦSpG0'4ռG7ypԜiSMƅu Leuf4 G}s§$,g.0e} ]Af|L513 kZwgح$[vϗw}Y▅4. A[;(^9h#F_vB$-X 4Z\8SWڃ  C~T60Hg5v >Nw%3lٜwcvcEQhb|/LxqMeHYAYURryWX!O`Szct -0$PS;I:z^ixO)f? ńkc5zocmށ)X=|S=ʺH$4ϳC<@)=pjrwYS^q*LAhQӎP$d1%ipپ_~HgB"w jGBY nmL"jcyli+C>xg$!-OR!ax6V77;n,tuf~tBAfs1I̔ޯ{LF'<xg~!yzZflC#ޅU$#*?GAϗfrQՒtUY2ƒۉ`YclA|Y_l[BvĒo<U4yf fb!?.%@)k-i/pHݓ}dl|#: AQ2%dB1a*YRzЭ"2u`Cu H@:JLx&Ze(bQڂbf)Z9~8pDbkN!$0{Iԑv[xpO8EhQr0U"<ީPh[jSl7uAhyQq7zA/XOwlի}>m{!9Ea " fL˘zs $-eidϫ߆HeW'DT1M`I nG=@W c2cr܍~OvG`"<`έ<df# o_܁aսcO͑-e =?LTSxm0#)BG';'-{MoƢľ젾}a_2  .É ]"O@9_jP.\ߎ~g|Kl>b8sv .+T=#ɱ/̉&d1#j0 Ӓȉ"ZΩX17:ћ0cd\FU ТħR!$q9|%)4.כL5%ur0 S)|, a6wє:^ȡ/D`*q0iCרg@m"yIq _kۆu !odZ.bD&G@]/lghJ?.tۂ(,=5htbʉ7vGưco>UbF Tfv@ ۰'7!zFʟ(Ž)mɖ 3'Hӻ!1 j颁(3aÜk2|'Cf^ JԶZ#.G0zE5:f1{v9g!=|hYU7{_uQiBފ_<.m]LT 6: EBzL$ҔB%[A@Q!`JL{*R }Zɔ 柰0ՈbDGMw/<} $)#hx"e㪓rƚg+IPQł+PZX?s6fv$J4Sd47'P&-q]\IpU)E^k;.4yUCiJnoJ?Pd .|>s?ӄz 6Á"~| V=}wj1<ޮCd"COO7ҥ]𖸟1-~|Ӽ~ 3H7Bg- BCZ L)\r=d5^@y=., =U<%9@a'*MXkypmoyż\!{@>aqȞrY\K^բ,z1Ol'LU4=y ]8+*6Nu*)bx(GI!3Eu۷zۮS,fm[x4N8mD~׵^?`6H9 oF4q{^*$.q)ղT)G'Qm#K {;c\HlsĢxte9J:˞Jp;FNK>tj7O0S;dw יo~4 Hw!(P].eX5f$۫sB#T .Q׽!=rQ:ed#XM O!|'bRE1 7OE$Ono֟g+ T搳q'įEQȵj_7y^aǯ`6S]mliGzGoß8qkYFAxt^Kڕ0BNCVk:M4t瞋=4ݒ5=2$}ߪoNĽ2ҔB sO8QN|9bi$`3D{W=V=/^MΦ$ vf!+& N#Id=ND.Z ) rM~n|*I W⡬ +'ZM~0?:{/rIcB  >wBC`>-mDJ[bWb+$ K29 KD^xD[MMRmrepQR&Zg"\5TUu"M9[D& Vy)[ L/3vCAqZ |>EmFYyˠ!bUD`'Gv$)wU'ris#HAj: vS;xeٙݡcO"3*B=&w-ASeJwn\o~=th ^k|('s.$2^xʺO[6%W( Zih[H;I 4y!A4')6s{9YfəK%4R0` exw?(dJ/`'d[5)$hsgkT^v=BOu +/o"1e=m3Sr=̚H1F Gt"/$vL /Ud~], zũ<ր#k\YnkD]=dP-~;ENG|?iAj㹊&Q I\Ӭ81< : Ί)HGܖw^IZ (L #[E]/@6i鷜o2jkOX wLwF`xY~E(u,w=|:,+CK"~ 92}!(S61|P7 \ek=\\oѠK _PK4fY2)by\Z@xpW3g|KP_]Ѹ_Л,ks%p_8Kے#^ZKh0[Wg 7=Zzy"R";9"J26ek4U8d[8mɇ ?TT3`9#cv/41ٜ{vsX9Vh۳ua/l'` NSū(yRt#03TW#ʶgVZaBbw/!a֛Yg/ #/ҡ sΧyXpGuwGF/VjkoadIOZ d``nŚ1 p+ͳCX)X=X>/qjw|%quI Xfbg\+=պq-ζ 洑f[[g#$i ,aCbzw!RD>AY_dH?!Svg78aaebΈ@&^W&bww0nzbHʱC!i/GLlѰ"%9QB TÔpq?MYh:Spqm3`v2-ÀFݢ;LNa "-u6~BOJW\^>iW5[ R]B3%q`τ$8ƀw'z 8r%;;Oء'U$IDs222jVVj70n )ϗg ĖĴ EU`iOx@›?}ϥ˛@rHRB9Gzjg肉h-G)gOYz@0<u[aQRn.".]:F`K ,h8Ǭb6|02=g!Tykq Y*4wՉmb72:s2(2U+kzSKϞ;Fvvf!`H\xi'|ofr[S4mv́*fQ5VJU-qZHHJ]F\w@y w!FivlK"t?lq03otۯIO ]m ,*Fx/*%cwm y*Q2AwYY8n)-Q8>u 1Rj '> &uS.dT uyX[vSc N*$9$\kƠ(h>84) a-s 5 &B=|g7`rrAR䩚F~J$2ޥ[c(o 0(R%=Tgn} ˅}[eHHZ8q*EM]"eC"&,c>[?yrĘyW\FwT'v\!E ~hdhª8 }-7ĔGzD*djWQ VFϨj!P>U[,Pq y8O7K?~ iJ{Ur|yku-jctS۰/O}r7h 􄕡2R}QgG=GbWZ'ײ6#Z:}9"qM16Zޝ?<EQBi ˖,;pMw cD9s{o  p8F4ƈT5hҲQuG ˅4R9ue.aEAF[27 J5jPP[8 't:y$_BuM,v7D0!OcW2c9"?àMD Gg݇pvһ 3q(2xa[r2/F{"ۈJ63bO:ɭoDôaEnqrL!xMf.ٛ t/m1E %u`  oIW菉kZf箽x 0,D8Lc"*ˣc3R1Z7!-J2ib=_`,z;poȣhLY\k9q@П:9!V!ΥmIv<X~1F[&?yzV0 Wr'ZYאHvҐL~ЩlRd4b526+{Ca=\=ze.&ݎwq pE\sI0\0QD΃6Ə&yf I\2GWXh͒F=i{ xs6^1MN`f^w`7qE]ւ-d\\Xj~9_YR]8"ďvotٲ؄FLa|k!$]Fgc' ܄UOaB-6JiophF\q2X`#,$u!v4Y:Zɳ/fckSԍnMnK2A"PtckŒLeYKaM`}x`΅8K^k'pA% EN &*7jn?.Խ+ҚPa=ͩYT$Kfϛ >9T@vh;aW!gz4v n FЬJxa%iEQ{ 9pi';[$Glw}sJL0G *3({ zKCAEN&;-ajЗ@=eW ۅtxO8͈BdE"Ш#QJYaR{101Ezjap 9մM^nR0W71s^/(޵V"d>3 ƿ2P=4Բ*8JIϙPk7>"@hH vx|Ms.ե-? WO_g9tkးZ\#:Hr>@'Bj"Lda3ήZ%]dBpyw/ NX{E7֫([sJ*o!)iɚHK^Nˇ\ @ի5혍4T6go4  x p*7)o䡾C3;3dH|JBp[u҉EØc &0L}v=9 ovzArFjM$<UVəH ,)Tn1` ~%&7ra:Fk_,bz˜z9Hj> @%|[gƮaxU㤘//ZzZwJzlR,J:oC>>|II}LBզ#U^Ό]HmK5;x=AG9F]z߬դIno٣*L[Vڑ^QOoEa2NjVx3oPXC!̣XߒM,4C#i>6KEv9Q./U?'*1>NyJD#6"zޣ~-1@P2CcX Ruק6䱃TYQ&5Y#LKl]=~dLv'u7Sm:S0qVorqqk;؉YLR{>N 1DbЄث@sֆ$ & *舉WHJ=znamid+ kL.yT2L1:_IWXHGnSWn%e08 2{(ٔM=U#APHeĘFddJgze;v,SoI5s/+aMfD`92m7ݞꭹUf\AE@TbX$B2[͋2 0_ѿ,tP杌novQiekZ[zu8M`<`/`҇x HWȑߖƄi պvցL)5fMҀ.],4)±gL+YL:VhsqȥhhQvDV +\ղ͇PhRAͯU:Pf&ܨr~oS-p2q('-XG8mn{hш ۝?C2 zH4R;Ow >9N̉]̱Uuv|>͞{e?J*@"8A p$ܿ<²pY]DB,uG  )Q=RRONF.YwB?jf2nb/ꌨ!yLsshE(>=]vz=ZO/F1).u`BV-tCۦPĚ:9Utq!j ASQ-bE*ytR&c7<In!͝48i] MUtB[nj2O- o52sMm1wtmXeY5P-6S*lay{Z!K|զk|kni6E㨸AFӀmJ_QlPe 7ydKKvsP|T 0{7F%?gYZ5a5d3fd61aa8c8569d5897781db3c094d298dab91795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac55e71dadeddc0d67212577a9cb3c1a119a0ce075