ΔDD/usr/mailman/archives/private/smt-lib/2002.txt}wǑWtx] !Ӧ(*#QZ3X <3 EeKڳD_U*7E5|E۬˪.ᬶE]/FFۣ#^}͞ʯy# 7Xأ#OosOڑ^*kfVdbYwU5,+7e1zųy7M6/_Gχϟ<=7nn'<ϳN2o1f_.ڢۻjcqimVڢ\nrؚ_E-Mv^eKSl޴xY4 6oVUi:Wz`*5vVնIih2_5vXۡgwڔS|>4.3[d4IFڽ_@gi{{2EU}{5Xjh=]bi]zE 9V̚:li.m=|H%M*f)lO7gu5UU嬲UNGh69&ܧØڢM_.i:[lixhsڣכDMy[4hҶ]zqUih0Ą^a"xs!lEewR_Ҝe_ L-[vsT GJK1-^^3um:h?(4yY2@OjE3ʘ}OH]%HSɮFgM|tmN(a<8%p1,z@G1WXc{[Y:)o*ۺo I4's؏/#;8i9L0eӥ÷t9LZ1z>a[P'hXN1~ ;03fx&P}HǞ, Gl3 e9gEC/h68F.o8@޻EC&=__xKt&Y)f%k①M7J.XMEςAQ 7#q;EШD,hDsZe5M XS"4ڲ9x:zͤۜw=8ZfE5d["l:Ŏw=Ϋ|/SH7Cc J-+" &{>_:,cIt\nvcBB]K| ̝7~mnLD2Ȟ_4}"Ӷa!M1fDE1_,=WD^U+@Mi]ly-TF 쳬m[KT@ՒyK UYL%DW˘gĘivs!MDqeY`1W1cͦ69#H +)S& ڕvC.n*S q|E'HN?r/Rxhb\;(Fv"qH$[zXY$kR" NtK5B  +4z.bE5d6-5Y ͉坝e(SMȲg\'L#]7z9;u69})^7@HW,iպrАB^NqeRIؑ{rdIEytyE?o[yݤf*-Vq =P:nS0/T)V8!mf&.C].^fFJ8 vf+iݴ"Y9߀tÒh:s^:U`"o4?LWYX*1b=[&_m&_BB!17i'3R$guN#tJûyS`^ a`Zq^eRD#F)x_G}-. Z ($ "T :vLky'b:IsWheͭ7am2IkfjS Bj!M;K5qmE/4Ohb~cR:d6' QVOĦ"v@id5ed]C4#+R`>LۮV^1;`qzD&alʰ&𘱽s\< ]|3(Y1S~%-%60[F|-yd1Sd>&3 ;%yKHvR6wH#r5n7On3fdeE9Ak9tE]^Cs *twL\&nwBBmŸU,\AYwvVw:7$ zkC6HڻoW5“]5. YDC{e%TIsI 8W[<{YNT1&o05-Y-OFʒcLB͆a4!)fwZʪckĞy_C~Ƿݬ<-6I 2D)75S$1 tz]:QDjͤ.֪6K7(G. keoBOtD:3#~ڔw sb ;CklHQ%qsφd"Tb"LZ;+l򙦘VoB*}o'~o==XrW?d2=Ag w\>n=;òx%iR/65%y zb *xfصln"uBTgONvEӅ'MWخ|޻_N׿?>îhQDM,:MI·&e"h@RjSzmy'|A<1s9fJ$d͎b&4aM!k U0m_Ȕ!:%v&Fd:|μ]CʒXL3:{G;24vݐbk2 m>o8_K;`i G),^f֋_٪pO88z t3S%xdB{MV۝Y Mྥ;/P A a#CM-:!V/Ɏ ;(؄8hŪ;3"#2bPxA<8xh΃AD 4Mw7I|$ҭ8 jN[ UҸ;G%7k5{l r ΣH,)ipakA H%Q$J"hi,Dco  1mמui7WFN O5iݗk秬|pp,萝xUF#76K~z~?_5:$L`<65H,o_&vx*B1d}zl H]PȾ◧YMK |i'0YAo ۻx{uq}߿dV*g o:Z>FX|PwoarńLM˷9 eF+RHe9w^esBg8 1H"-/Y^ !g^6f&/EuѨHϸs9'f w Y̳|Id?3ܾ͋Oy9]&-Yi0k`tuXuE|cN 3ɐ+riC:y+W қG'_yȕ Ѡ[_:>_>$k?.Ӫڦ'OG9<|t<<<8>::<<<86yM#wذ(u IN#‚ y"Yî-phY\hmÊt`mzAHF3}8QnW88&6r} l͎80=oظLx+⯍#] lhɘrx짪n5?h-3ߏP`ʘY,EwQvơ!¶ ݋&D+8\+a9h(zЇ,b4t^)l#t#]=@r9{h6w(A:&;xS<ސa:o3 [D{ PBn @2SM:gO7`ЁlW)KIMi\1ֈ 5 4DP+Oyw؎gBL쭄kJ0ƨD|՟Bk|^i.-go!GCv.4$Cob7W>PBe@Pa:pxbaUZK<!<$6;(WB̅r,6e@Lgbm*'Sh,|f< wmLݩOǫ"kPgֺKd'}}j߁xP{D\la p;Qrn %}ݻ}&lH 3EoU pVO6nZ8eCV0nO/K, Gԡ3pa'c0CnYpSD(l"rpd|phelƮA(f0[6ruZb[3PjL{4hV[N࣢S (; ضFgL|,7ּv^.hQDʻp[/ x?fJ~˸Y*QT8$0Mx%]E$G'z M\p.l&M,t??χ 7[lA$Kf77 _CBXNF=W7l)4Iκ-ғ勁M> `Y20=s8ȤA'[afs_LvPB{Yl|$RS;b [:rrmj#64K^V!Bx乄fh,c@(C܍IG0[`b9]*gpszOR ܅>4߇s~œòWSŅ3W"_,`&_7M1 VյPG{̮ D4XLdh>\4'%OB@f&J!wH?*¿ƗKƣ=bHOL $7|aɾb6gySzm#<>ыFԤYVM6#=YHa M!=9)fBϱ(7ȼb?KPM'J*Y&PЛax(Q҅7N_Ñ}8!wr #[$(p~y: 1oO/^_s7:F%7k ] \Q\rta|S n]gH=.jTմCMic{iz}VPH')^lg+ F%S?ub˺2 dC_Z'a,FRdЮ_Gvm̝Yv9@ADwbSdxDP ύܙ4`fY=.Z ܧͳM{on+_sv' VL PfʢG3]xdL#dOO#5d]pAX fN? ?f,<п L20f(mg\]w~lxūӳގRG83 I .2Z:_ l齬 b!K?Z. >xz=iQ+HF V *X3EM ~!ǂI'j\DB8ջ$ 9ģӇϣB܎:7\,OPșg\7*W-+&S3gS[> f7XtM),SH+#jLU,Gb O~lUN7F:'7QwTFP !3:;1|  d&h ?D^rX}a3=F2L3r eR!0 kTZAxhίd]qڈ:.QMq-%)ڷ8댵\6Xh0(H+jỏ! Zh~*|pp[GjXSHXG+ sĴ;JA*E]PMsg蚚l^d&\5%KL[dZ]:o oo}M˩JZ)UPu-LE?He041$0Ȇ#THP?@N(1+zW$}M_,ORAI6+Ơdg?ʞ^ʪRs” fPL-.Ҁ s.LAO )HnIMw ܳu+/~+HL`8P gZguw `IoJ 4k4 `Ў=Ui/ uQxhf&Vx$Xp̐>[-CiZH 'kC7}V N`؃ѣ'G1Vz)!<2Ah˘ 6ט|qٝO<~dx|p|xa'|[p=ۅS+Z95CO&< Nxb?dRxb?~D?C 2EU }+3~Lpݏ.?B7l\$U |!GEG$Mc[(]&K[T?yor- ͻ\~LGO'zrOY#}5\XӁf v.P56 nPH|QM\DlbDSDr!S!r {fY\F HNBZ_7?saHjA0U ZF @tS{>r^ngg,#z pU"O7{n+緦pz{Wm[q@{WWJzJ3A)]rx5|&#`yUMB> ʡR>C}V2f3vM\ v 2)Cæ1{8 WUnaԖA(?I_4~nQs  D׿@J8 s@e[^7*/u{зnwԱ9<ˠʻ 1̡3dy S`6Pq*1sdG*w^TuT+օasEt.^_{~赋s6A=}@L!W+kJp M$b.j!g9;.sAD.]ehg&ͅWPgȹeȷnkGHz #M,⬆KPW#cr2iuPiLe>"җK.sQD &%tKwVXBѼEVO pܱ3s#vSFm@0!8.J"1=EP}p۠U5A*,jQs^'ƾ6ei 뾀m#QEt8$VsFDIAytp1Eu HBrhss*faYs?V%kDF;7+K\XD;Gh琇1״P\y :,?oؔJ9g4m;dg"b>Yߕc4f*RMY7K5-]1qD#GnY:fTKU.!47.Ȍ?+T="vh-4du2^f,qo1Qy<"BSi(91H5"N$y0(Y:_cٖ(>U P^<sӨ8bp VnrW#DYThZuB`pm˭CT_d`竁2$r]'>}ЇrQ(mn (11ڃH6g59xKe.`f(&wv'"bRBF+;qGi3] ,%Q7 5Y%?qr'plTOy~cEa8rMsU^O\Ҙo+֡P'ZRW%utdG_/;>fqXGi_OV<pLx֟[H'w`%Vb3ꯉTBҍc_q?, ϋr.[h](ޥtPĖW XgL ڌ|vmKAH["qG Y<خ9EݪQ5T4R 6Y.IU55EZmV➁;/#20<#vba65LZ0-iJYIl(&9s*8ó[fFv<](sZK!7ț".ie.]Bsʂ!]v*pC#K^/6"tg74J'O$ѣG9It0< :>򋃃%g 6.p#FW78h.1 +Rr!h5;6#hgE <D@L^$!%;s#@M9'jS痳zPHM@+ok[a{OVG.nB ٛ#67zhNq ,u" ~ w^j/"ܑ< &IG̚pCϢ(j)Nwڝ *zqZ"qr IsCEM L b|}͋w+l" ׅ cCX(s˔]%gdY[rYr} )S7a+Vܫ{q.lIGП^ rf% :I(VNr)8tPcmN[1n=W{ώ}ZYJ֤;J'WClJ`i:lJb/-M><= ro9X%~'[*q#pލ"p:uLC >776 i{NRii\F(b&Yn:V~2hS8W ʙ9b<87k s_|qQYe2̊_ t幩-\۸` e\'2iKκVp;M]ݢWfWw> Sm2ͽ v:+(Y ÉŊ hf$޿ SGwٓI=P}gTې]8ESGx7EN2x+M_]mķ4p%WU0|B-'dDhihm\i[0K19X򀯡|r^bW@?~XXZ[ע?=f;[qYAA7W(Z"}ˍ)bg4NEmo R/llk}$.e.3K+ihC=!NfhI$St8Zi!e=DGj_ `8q+g/?~q,~ks"mz+5VB!3CC֯t [K[)b8xuHSŽ5%~ N/g szwqXzPVXq}F׃_J^pmQQEE}~yv}~:Y.n`lܵkME^Y1'F[; 1I)]V . 3 h贴5) $?z M2뛼젊෽ʝZyчJh(Ɏvı^8[knñ.;^*Ajx< H,! :oυ{8#Y@Х_ZzrΉڌˉ}BḢjңDټ \rFG!U`G[qFL;%p^ <_:8=gE"3pRNj%+zѷ_<&sor%qAn4/ ]> "+C n:dw!iJAs#5*悁D+cN]mTE>@2ysQI<,}Nj:EQC-Xt;6x$#={ ʾoӷ{pe}Q$U Hң(n#v2QPQ\ӡ*sNPF!PR늝[/qIO֭+)JlBy/+BVI&:(*e=k[ Ҥ͋|[-_}E_z:(Љ9<:|gs|D)J]h0I[8D:l^Ov#d6G9'h%%??ٛtO: Q:"R󲪘Z?t9N'tN'tO't\O'{2%mrH+_wjg-Ҳft{Y%X">Yl^8"V{ NnӕfTz_ZH5\ &)LU=҂K&M-m#G s ܰ\݁&U.0?ۈD?o"pR <|IbAW)m** 1@1=[rޡ{R mxY#Ody4|ϓOw~|G?~f玺]D40$\1β5N廻 Iμ+,~EsE2-.3/EQsٳWs=4M2vi#e%i4G  >nv2HХl?BzH6ϟ5HW|`T/Փ$cB HЊӡ$-3@9{h3 trݡGFZZ cZM&b&@ϽcCtC֞Gvkh֧"JՋ<EN< 6HI?8#3z[[4z,mG_̩J=>]LЃ~v_ |}?.ĘL>c }N7)$]4bxSR 3'5ZO1+(u8[w ns!;<28VPBG. __UB"i"8ւDV0YFyxl Urҋǣ(Z>O+sm0ylH5qsB8UU^?G:%qc893_\ 4%Ԅ%mdx9Ռb7;݊R%knN }! `;]k< ?\ [%K覄Ӻ~0 !۔48N;Q>w0ۍrMɏ'cdgYSWsOZEzhJrو&/R3aLa|cΊ(v3ʐ|Vh<*b&i|rxN-Y5oߞs`_C"#ZG,oV9ݖ;/{hc H_GIӫUXWB {e#~ëIOfT∗ }\^p`+-1'_w;7:~haC6w6{ ^ %x;|԰XtG%iuM.z%Y\lt^pqMU_e"/%nZqK"b0kPKصIl,l,q튵/5j(J>+ߤlT>vY2N>=Edw܉(5/8N­ztV*)㫈њ M)Ǚoi n[pmbi0wiOVٌ #QѼUn^<'y!8yڲ 5f(1SAyLEX:<}Ԅ[DZk\\eqC{.V]p :4tެoiޡV,puľ=jتSbdDM5u4'en'"#MO"pgGU/+-a._^ (y2 n.*딪Eõ^ԈڣAY93T͜$;όEC^TSIT{`QUkgԠrZmνE[\3!)sa=`iڵP*N"` ^`īb4{Tw+0PI B^UW^Y k{fH5#c@!CCќ&r~:9d;Y qfʸgq(m4ЩYQm  ɧf|SsÅMϐN.«! k"MMDYeR.‰PLFjV0۫WMj`ܪi{bM 4 2(Zb*VmHr-m]bnwNYcz?_oBՕ1/ggy.əֱx| pl)$8Fإ˶My>J}DY8s4nNz~<^9 x8!iW?n?jA+C!=]>#ǣ<_:޿ز + /'`ٿQs^ÿ@_% n=+ :ߞ=O]{ίѤm@:?7O5A%]9 @t-'*; ee$P{$EZe (PW\8 b8$d1CR0kCF%$z@4-J;ptfI*zu ~SWW]w`1Q6Z3Mk4[HUSgC`[bìYGYIlZ$J+=~W8~VE_H?s9ykR[?;lx|oő3aQ);2'6L9!~Rє eSNN9S:Ş^xe'YI~khi5 c%cd- i > ҿKݻ bJ܆B a/ZXYG.&OTIe⤄}9,ʆ+htp4:^cs yvt%]]W:/Uvm,4G/Qn'-q)PLbtUNpPzZUij}]ۋS!^O B4~ /K}519_٫ P-m!,}IWʟHI 4.h%bI_*su\.Ձՙ AdN4YͶAwyVAps*M尩 )*Ս=|-람`KoQ8}ji'Am(,cf9;Dp#r+Eb,if?ٺZ)@g\yͤ/puxreגWQh"D]eiByԨxZ3 ir%L\}$0FiWðst\0Zz#yl>$Q_6ǟ%BٲE5_(AIJdh루E#@\ m"\5`LWط WҏP;F"ӀOaV&C@"Q܀F ܷ qpL'aLo<&_mBJ8K #:ל*6 tO$2i:.gK):z2}qK`!)vqG}a*]m/YۤDr]oܠ?#L?1R3y<(>Dw]/nKY<OEYĆB#D%*0D3+U˦+ِ=fz7(N:H\ʏkV@&MIDlC\ԊTЉqE./+H=]\>NH_׹O= T,K tF SHs%k2inHh˱iΕ a*@"6LB_P5#%YHVsz\so>E,v˶HVPnkoDBvDW ї2:toqWNy|NY Q ;ѨiO6(ry=/[OFd?qcS}/}^1ڪCۗ>+*B[*`(^b7<("G0c cTK IYmI?4_C?^dw< ZyY,o6' яGG[7 0w.>AtpӹM^{mREv'OΏ~7n:LJA7Msa\1Msv]tԪ͠buH}:@6\Dh)\Y +W~anEnaR "@ ҦdնɮU%\lnsp=iå-Ƙ 4@TFPjIE|ܫC*H7.dƨHj=GɞLV }ɣ&j{Ui#g6=I#Nm)pgrɍ\#Nb(,8j jsf};H3jRuzF\P`c pL:yla_C,ׁGc B#S .؉kw8_fS8E"7+=p 3{DU2=dUNau)bb.NM[Hb>'|uf:\@g(_:{뢦\$+  |q6kfypUID=fHA`{XCj:Gi,('5ĸӁ wx@43o@&dur^v0{uFNvev3"ϷJz{̺Zs.2 *Wr@hk%QjPr=P ;liɒWC| Qƀw.PK>)|TJJBJ;ۙfQNx"-]ߤGpRݩwZkI @5m1"|V;ۯb|d3 ] ioF:J,Nz a/'`7P/JwU[HWG{'=KFuzy`!>T/")f-ZU%]xtAYřz2uǮWI2F Z3 ܇O?=D)FmSmc$,gLYGm3[4fI|t\N8OҘdO]:4̼2R`R7QP(FCޛ)2琢 9ZPHZi?ҩL ߸Xvih<}2нMN`؀ Տći&:k7eRvX>cy]FcNr$P%[7$"8h:5>.uQ~L i "MKo -_ >$;`G_<>Ο+߬}جDQiz Iw q()uo-ʭ:Z chM 7`0.ٽB" ${&1%PGKӭpV;_: ]RP7صJسȧZh=[)FakXaMqqR} 2Q6"v1_3Jz.wG_ToGrxt@dR9/鑎ٹKypp׵c~vzçnfst6^Pm>U9"7TÁb]{Z؝Y&ML4FN ݋9*YBSqHIL;*::@r1P %DFzM6BP$Õ.f?(t]uh|Ã}bhN1>d ()4aӄ||D[E5N$prsg(kbIUdQ&,zKx8brA(PZb@.UD!ėdt+ N