%！PS-Adobe-2.0型%%创建者：dvips（k）5.86版权所有1999 Radical Eye Software%%标题：cmodels5.dvi%%页码：第13页%%页面顺序：升序%%边界框：0 0 596 842%%结束注释%DVIPS网页：（www.radicaleye.com）%dvips命令行：dvips cmodels5.dvi-o cmodels.ps%DVIPS参数：dpi=600，压缩%DVIPS来源：TeX输出2003.07.16:1342%%开始程序集：texc.pro%！/TeXDict 300 dict def TeXDick开始/N{def}定义/B{绑定定义}N/S{交换}N/X{SN} B/A公司{dup}B/信托收据{翻译}N/isls假N/vsize 11 72 mul N/hsize 8.5 72mul N/landplus90｛false｝定义/@rigin{isls{[0 landplus90{1-1}{-1 1}ifelse 0如果72分辨率div 72 V分辨率div负刻度为{landplus90{V分辨率72 div vsize mul 0 exch}{分辨率-72 div hsizemul 0}ifelse TR}如果分辨率VResolution vsize-72 div 1，则添加mul TR[矩阵电流矩阵{A圆分abs 0.00001 lt{圆形}如果}全圆形exch-round exch]集合矩阵}N/@landscape{/ilss-true N}B/@manualfeed{statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0-1 0 0]N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn开始/FontType 3 N/FontMatrix fntrx N/FontBBox FBB N字符串/基本X数组/位图X/BuildChar{字符生成器}N/编码IEn N端A{/foo setfont}2阵列复制cvx N加载0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat Ndf-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn Adefinefort setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get}B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A longth 2 sub get 127 sub}B/Cdx{Cd A length 1 sub-get}B/Ci{Cd Atype/stringtype ne{ctr-get/ctr-ctr1如果}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{保存3，则添加N}1个滚动S A/base获取2个索引获取S/BitMaps获取S获取/Cd X弹出/ctr 0 N Cdx0 Cx Cy Ch子Cx Cw添加Cy集缓存设备Cw Ch真[1 0 0-1-.1 Cxsub Cy.1 sub]/id Ci N/rw Cw 7添加8个idiv字符串N/rc 0 N/gp 0 N/cp 0 N{rc 0 ne{rc 1 sub/rc X rw}{G} 如果不是这样}图像掩码恢复}B/G{id gp获取/gpgp 1 add N A 18 mod S 18 idiv pl S get exec}循环}B/adv{cp add/cp X}B/chg{rw cp id gp 4 index getinterval putinval A gp add/gp X adv}B/nd{/cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{A A添加255和S 1和或}ifelse}ifelle放置1 adv}B/rsh{rw cp 2 copy获取A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S128和或}ifelse}ifelse放置1 adv}B/clr{rw-cp 2索引字符串放置间隔adv}B/set{rw-cpfillstr 0 4 index getinterval putinterval adv}B/fillstr18字符串0 1 17{2copy255putpop}用于N/pl[{adv1chg}{adv1 chg-nd}{1add-chg}{1dd-addchg-nd｝｛adv-lsh｝｛adv-lsh nd｝｛adv-rsh｝｛adv-rsh nd｝｛1加adv｝｛/rc X nd｝{1添加集合}{1添加clr}{adv 2 chg}{adv2 chg-nd}{pop-nd}]A{bind-pop}对于所有N/D{/cc X A type/stringtype ne{]}如果nn/base get cc ctr put nn/BitMaps获取S ctr S sf 1 ne｛A A length 1 sub A 2 index S获取sf div put}如果put/ctr ctr 1 add N}B/I{cc 1 add-D}B/bop{userdict/bop-hook已知{bop-hook}如果/SI保存N@rigin 0 0移动到/V矩阵当前矩阵A 1得到Amul-exch 0获取mul-add.99lt{/QV}{/RV}ifelse加载def-pop-pop}N/eop{SI还原用户dict/eop-hook已知{eop-hook}如果展示页}N/@开始{userdict/start-hook已知{start-hook}如果pop/V分辨率X/分辨率X1000 div/DVImag X/IEn 256数组N 2字符串0 1 255{IEn S A 360加36 4pop 65781.76 div/vsize X 65781.76div/hsize X}N的索引cvrs-cvn-put}/第页{显示}N/RMat[1 0 0-1 0 0]N/BDot 260字符串N/Rx 0 N/Ry 0 N/V{}B/RV/V{/Ry X/Rx X V}B状态字典开始/产品，其中{pop false[（显示）（NeXT）（LaserWriter 16/600）]{A长度积长度le{A长度乘积exch 0exch-getinterval-eq{pop-true-exit}-if}{pop}ifelse}所有}｛false｝如果其他结束{{gsave TR-.1.1 TR 1 1标度Rx Ry假RMat{BDot}图像掩码grestore}}{{gsave TR-.1.1 TR Rx Ry scale 1 1 false RMat{BDot}imagemask grestore}}ifelse B/QV{gsave newpath transform round exch roundexch itransform移动到Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineton填充grestore}B/a{移动到}B/增量0 N/tail{A/delta X 0 rmoverove}B/M{S p增量加尾}B/B{sp-tail}B/c{-4M}B/d{-3M}B/e{-2M}B/f{-1M}B/g{0M}B/h{1M}B/i{2M}B/j{3M}B/k{4M}B/w{0-rmovide}B/l{p-4w}B/M{p-3w}B/n{p-2w}B/o{p-1w}B/q{p1w}B/r{p2w}B/s{p3w}B/t{p4w}B/x{0Srmovide}B/y{3 2滚动pa}B/bos{/SS保存N}B/eos{SS恢复}结束%%结束过程集TeXDict开始39158280 55380996 1000 600 600（cmodels5.dvi）@开始%DVIPS位图字体：Fa cmti9 9 40/传真40 122 df<923803FF80031F13F092383F00F803F8133C48133E4A48137E17FE4A5A17FC17384A481300A3141F92C8FCA55C143E011FB612E0A217C09039007E0007147C160F1780A214FC4A131F1700A301015C4A133EA3167E0103147C5C1718EEFC1CEEF83C010715385c1778177016f0010f15f04aebf8e016679ee3fc0011ec0f0093c7fc91c9fca3133eA21238EA7E3C137CEAFE7812FC485A79E0EA3FC0000FCAFC2F4582B42B>12D类39天45天<121C127F12FFA412FE12380808778718>我48天50 D<161C163CA2167C16FCA21501821503A2ED077E150F150E151CA21538A2157015F015E0EC01C0A2913807F82EC0700A2140E141E141C5CA25CA25C49B6FCA25B913880003F49C7EA1F80A2130E131E131C133C13385B13F05B1201120303D80FF0EC3FC0D8FFFE903807FFFEA32F367BB539>65编号：0107B612C04915F017FC903A003F8000FE177FEF3F8092C7121FA24A15C0A2147EA214FE18804A143FA20101ED7F00177E4A5C16010103EC03F04C5A4AEB1FC091B6C7FC495C9139F0007F804AEB0FC0707E010F6E7E834A1301A2011F81A25CA2133F5F91C71203A2494A5AA2017E4A5A4C5A01FE4A5A4CC7FC49EB01FE0001EC07FC007FB612F0B712C04BC8FC32337BB236>我识别号：0107B612C04915F017FC903A003F8001FEEE007FEF1F8092C7EA0FC0EF07E05CEF03F0147E170102FE15F8A25CA21301A25CA2130317035CA2130718F04A1407A2130F18E04A140F18C0011F151F18805CEF3F00133F177E91C85AA2494A5A4C5A017E4A5A4C5AO1FE4A5A047EC7FC49495A0001EC0FF8007FB612E0B7C8FC15F835337BB23A>I<0107B712F05B18E0903A003F8001F1707170392C7FC17015C18C0147EA214FEA24A130EA20101EC1E03041C13804A91C7FC163C13035E9138F001F891B5FC5B5EECE0011500130F5E5C1707011F01015BEEC00E0280141E92C7121C133F173C91C812381778495DA2017E14014C5A01FE14074C5A49141F00014AB45A007FB7FCB8FC94C7FC34337CB234>I<010FB51280A216009038003FC05DA292C7FCA25CA2147EA214FEA25A21301A25CA211303A25CA21307A25CA2110FA2131FA25CA2133FA291C8FCA25BA2137EA213FEA25B1201B512F8A25C21337BB21E>73D<91381FFFFE5C16FC9138003F80A31600A25D157EA315FE5DA314015DA314035DA314075DA3140F5DA3141F5DA3163F92C7FCA2121C007E5B00FE137EA214FE485BEAF80100E05B495a387007e03878fc06c48c8fcea1fcea07f0273579b228>I<0107B512C05BA29026003FC0C7FC5DA292C8FCA25CA2147EA214FEA25A21301A25CA21103A225CA21307A25CA2130FA25C17E0011F140117C05C1603013F1580160791C7FCEE0F005B5E017E143EA201FE5CED01FC4913030001EC1EC1FF8007FB6FCB7FC5E2B337CB230>76 D<902607FFC0ED7FFC4917FF81D9003F4B1300611803023BED077CA2027BED0EFC610273151C1838DAF1F01439F071F014E118E10101ED01C36102C1EC0383EF070301031607050E5BEC80F8171C0107ED380F6102001470A249EDE01FDC01C090C7FC130EEE0380011E017C5C93380003E011C140EA2013C4A137E187C01385C5E017816FC6F485B1370ED3FC001F0EC80016000011500D807F81503277FFF803E90B512C0B5EB3C01151C46337BB245>我<902607FF8090383FFFC0496D5BA2D9001F913803F8004A6C6D5A6060EC3BF0027B140360EC71F8A202F11407DAF0FC91C7FC14E0A20101017E5B170E14C0810103151EEE801CEC801FA20107ECC03C030F1338140016e0490010713781770010e14f01503011e15f0705a011c1301a2013c14fd03005b133816FF0178147F5F0170143FA213F070C8FC1201EA07F8267FFF807FB5140EA23A337BB239>我<0107B612C04915F883903A003F8001FEEE003FEF1F8092C713C0170F5C18E0147EA214FEEF1FC05CA201011680173F4A1500177E010315FE5F4AEB03F8EE07E00107EC3FC091B6C7FC16F802E0C9FC130FA25CA2131FA25CA23FA291CAFCA25BA2137EA213FEA25B1201387FFFF0B5FCA233337CB234>80 D<0107B512FE49ECFFC017F0903A003F8007F8EE01FCEE007E92C7127F835C1880147EA214FEEF7F005CA2010115FE5F4A13015F01034A5AEE0FC04A495A04FEC7FC49B512F016C09138E003E0ED01F8010F6D7E167C4A137EA2131FA25CA2013F14FEA291C7FCA24913015E137EEF01C001FE150318805B00011607277FFFF0型001400B5ECFE0EEE7E1CC9EA1FF8EE07E032357BB238>82 D<913901FC018091380FFF03023F13C791387E07EF903A01F801FF0049487E4A7F495A948133E131F91C7FC5B013E143CA3137E1638A293C7FC137FA26D7E14E014FE90381FFFC06D13F86D7F01017F6D6C7E020F7F1400153F6F7E150FA4120EA2001E5D121CA2151F003C92C7FCA2003E143E5D127E007F5C6D485A9038C007E039F3F80FC000F0B5C8FC38E03FFC38C00FF029377AB42B>I<0003B812C05A1880903AF800FC003F260FC001141F0180150F01005B001EEE07001403121C003C4A5BA200380107140E127800705CA2020F141E00F0161CC74990C7FCA2141FA25DA2143FA292C9FCA25CA2147EA214FEA25A21301A25CA21103A225CA21307A25C497E001FB512F05AA2323374B237>我87天97天<14FCEB07FF90381F078090383E03C0EBFC013801F8033803F0073807E00F13C0120F391F80070091C7FC48C8FCA35A127EA312FE5AA4007C14C0EC01E0A2EC03C06CEB0F80EC1F006C137C380F81F03803FFC0C648C7FC1B2278A023>99 D我我<151FED7FC0EDF0E0020113F0EC03E3A2EC07C316E0EDC1C091380FC0005DA4141F92C7FCA45C143E90381FFFFEA3D9007EC7FC147CA414FC5CA513015CA413035CA413075CA3130FA25CA3131F91C8FCA35B133E1238EA7E3CA2EAFE7812FC485AEA78E0EA3FC0000FC9FC244582B418>我<143FECFF80903803E1E6903807C0FF90380F807FEB1F00133E017E133F49133EA24848137EA24848137CA215FC12074913F8A21401A2D80FC013F0A21403120715E01407140F141F3903E03FC00001137FEBF0FF38007FCF90381F0F801300141FA21500A25C143E1238007E137E5C00FE5B48485A387803E0387C0F80D81FFFC7FCEA07F820317CA023>我我我107 D<133FEA07FF5A13FEEA007EA3137CA213FCA213F8A21201A213F0A21203A213E0A21207A213C0A2120FA21380A2121FA21300A25AA2123EA2127EA2127C1318EAFC1C133CEAF838A21378137012F013F0EAF8E01279EA3FC0EA0F00103579B314>我<2703C003F8137F3C0FF00FFE01FFC03C1E783CF07C1E03C1C7CF00F8F01F03B3C3DE0079E0026383FC001FC7FD97F805B007001005B5E137ED8F0FC90380FC00100E05FD860F81480012000001021F130360491400A200034A13076049013E130FF081800007027EEC83C0051F138049017C1403A2000F02FC1407053E130049495CEF1E0E001f01015d183c010049eb0f0000e6d48eb03e03a227aa03f>I<3903c007f0390f01ffc391E787C1E391C7CF01F393C3DE00F26383FC01380EB7F8000781300EA707EA2D8F0FC131F00E01500EA60F8120000015C153E5BA20003147E157C4913FCEDF8180007153C0201133801C013F0A2000F1578EDE070018014F016E0001FECE1C015E390C7EAFF00000E143E26227AA02B>我<14FCEB07FF90381F07C090383E03E09038FC01F0EA01F83903F000F8485A5B120F48813FCA248C7FCA214014814F8127EA2140300FE14F05AA2EC07E0A2007CEB0FC01580141FEC3F006C137E5C381F01F0380F83E03803FF80D800FCC7FC1E2278A027>我<011E137C90387F81FF9039F3C387C09039E3EF03E03901E1FE01D9C1FC13F0EBC3F8000313F0018314F814E0EA07871307000313C01200010F130316F01480A2011F130716E01400A249EB0FC0A2013EEB1F80A2017EEB3F00017F133E5D5D9038FF81F09038FDC3E09038F8FF80027EC7FC000190C8FCA25BA21203A21203A25BA21207A25BB5FCA325307FA027>I<3903C00fc039f03ff0391e03c393c3fc0fc00381380eb7f00007814f8d8707e13701500EAF0FC12E0EA60F812001201A25A25BA21203A25BA2121207A25A2120FA25BA2121FA290C8FC120E1E227AA020>114 D我<1303EB0F80A3131FA21400A25BA2133EA2137EA2137C387FF8A2B5FC3800F800A21201A25BA21203A25BA201207A25BA21120FA25B1460001F13F014E01300130114C01303001E1380EB07005BEA0F1EEA07F8EA01E015307AAE19>我I<13F0D803FC1307D80F1E130F000E141F121C123C0038143FD8783E133E1270A2017E137ED8F07C137CEA60FCC65A15FC000114F85BA21401000314F013E0A2140315E0EA07C0A20003130715C0EBE00F141F0001133F9038F07F8038007FEFEB1F8FEB001F1500A25C003E133E007E137E147C5C007C5BEA7001495A38380780D83C1FC7FCEA0FFCEA07F020317AA025>东经121%结束DVIPSBitmapFont%DVIPS位图字体：Fb cmmi9 9 2/Fb 2 79 df<127012FCB4FCEA7FC0EA1FF0EA07FCEA01FF38007FC0EB1FF0EB07FCEB01FF9038007FC0EC1FF0EC07FCEC01FF9138007FC0 ED1FF0ED07FCED01FF9238007FC0-EE1FF0EE07FCEE01FEA2EE07FCEE1FF0EE7FC0923801FF00ED07FCED1FF0ED7FC04A48C7FCEC07FCEC1FF0EC7FC04948C8FCEB07FCEB1FF0EB7FC04848C9FCEA07FCEA1FF0EA7FC048CAFC12FC12702F2E7AA93C>62 D<90260FFFE049B5FCA281D9001F9138000FE04A6CEC07801900DA33FC1406A2DA71FE140E180C146081DAE07F141C701318ECC03F82010116386F6C133014806F7E010316706F6C136014001503496E13E003015C0106801500010EECFF0160010CEC7F81A2011CEC3FC395C7FC0118EC1FE3A20138EC0FF717F60130140717FE017014035F01601401A213E0705A1201D807F01578B57E1730A240337DB23D>78德国%结束DVIPSBitmapFont%DVIPS位图字体：Fc cmtt10 10 29/传真29 123 df44D<007FB6FCB71280A46C150021067B9B2C>I<121FEA3F80EA7FC0EAFFE0A5EA7FC0 EA3F80EA1F000B0B708A2C>I<1507ED0F80151FA2153F16005D157E15FE5D14015D14035DA214075D140F5D141F5D143F92C7FC5C147E14FE5CA213015C13035C130F5C131F5Ca2133f91c8fc5b137e13f5b12015b12035b12075ba2120f5b121f5b123f90c9fc5a127e12FE5AA25A127821417BB92C>I<121FEA3F80EA7FC0EAFFE0A5EA7FC0 EA3F80EA1F00C7FCAE121FEA3F80EA7FC0EAFFE0A5EA7FC0 EA3F80EA1F000B2470A32C>58D<90381FF80790B5EA0F804814CF000714FF5A381FF01F383FC003497E48C7FC007E147F00FE143F5A151FA46CEC0F00007E91C7FC127F7FEA3FE0EA1FFCEBFFCC06C13FC0003EBFFC06C14F06C6C7F01077F9038007FFEEC07FF02001380153FED1FC0A2ED0FE0A20078140712FCA56CEC0FC0A26CEC1F806D133F01E0EB7F009038FE01FF90B55A5D00F914F0D8F83F13C0D8700790C7FC23357CB32C>83 D<3801FFF0000713FE001F6D7E15E048809038C01Ff81407年12月1日f381f80000006年7月8127年12月31日f90b5fc1203120f48eb807e383fF800EA7FC090C7FC12FE5AA47E007F14FEEB8003383FE01F6CB612FC6C15C14BF0001EBFE1F3A003FF007FC27247CA32C>97 D我<903803FFE0011F13F8017F13FE48B5FC48804848C6FCEA0FF0485A49137E4848131890C9FC5A127EA25AA8127EA2127F6C140F6DEB1F806C7E6D133F6C6CEB7F003907FE03FF6CB55A6C5C6C5B011F13E0010390C7FC21247AA32C>我我我我我我<1307EB1FC0A2497EA36D5AA20107C7FC90C8FCA7387FFFC080B5FC7EA2EA0007B3A8007FB512FCB612FEA36C14FC1F3479B32C>I107D<387FFFE0B57EA37EEA0003B3A5007FB61280B712C0A36C158022337BB22C>我<3A7F83F007E09039CFFC1FF83AFFE3FFCD87FFF13FF91B57E3A07FE1FFC3E01FCEF83F496C487E01F013E001E013C0A301C01380B33B7FFC3FF87FF0027F13FFD8FFFE6D13F8D87FFC4913F0023F137F2D2481A32C>I<397FF01FE039FFF87FFC9038F9FFFE01FB7F6CB6FC00019038F03F80ECC01F02807FEC000F5B5BA25BB3267FFFE0B5FCB500F11480A36C01E0140029247FA32C>我我<397FF01FE039FFF8FFF801FB13FE90B6FC6C158000019038F07FC09138801FE091380007F049EB03F85BED01FC491300A216FE167EA816FE6D14FCA2日期01f86d13036日期07f0150f9138801e09138e07fc091b51280160001fb5b01f813f8ec3FC091C8FCAD387FFFE0B57EA36C5B27367FA32C>I114天<90387华氏度8700003b512f8120f5a5a387fc00f387E00034813015AA36CEB00F0007F140013F0383FFFC06C13FE6CEBFF8000314E0C66C13F8010113FCEB0007EC00FE0078147F00FC143F151F7EA26C143F6D133E6D13FE9038F007FC90B5FC15F815E000F8148039701FFC00247AA32C>I<131E133FA9007FB6FCB71280A36C1500D8003FC8FCB1ED03C0ED07E0A5EC800F011FEB1FC0ECE07F6DB5128016001035B6D13F89038003FE0232E7EAD2C>I<3A7FF003FF80486C487FA3007F7F0001EB000FB3A3151FA2153F6D137F3900FE03FF90B7FC6D15807F6D13CF902603FE07130029247FA32C>I119天<3A3FFF03FFF048018713F8A36C010313F03A00FC007E005D90387E01F8013F5BEB1F83EC87E0903380FC0903807EF80EB03FF6D90C7FC5C6D5A147C14FE130180903803EF80903807CFC0EB0FC7EC83E090381F01F0013F7FEB7E00017C137C49137E0001803A7FFF01FFC1483B514FE6C15FC140127247EA32C>我<3A7FFF01FFCB5008113FE148314816C010113FC3A03E0000F806C7E151F6D140012005D6D133E137C017E137E013E137CA2013F13FC6D5BA2EB0F815DA2EB07C1ECC3E0A2EB03E3ECE7C0130114F75DEB00FFA292C7FC80A2143EA2147E147CA214FC5CA2EA0C01003F5BEA7F83EB87E0EA7E0F495A387FFF806C90C8FC6C5A6C5AEA07E027367EA32C>我<003FB612E04815F0A4007EC7EA1FE0ED3FC0ED7F80EDFF004A5A003C495AC7485A4月4日至4月4日03F0485A485A485A385A485AB7FCA46C15E024247DA32C>I E公司%结束DVIPSBitmapFont%DVIPS位图字体：Fd cmex10 10 1/Fd 1 96 df<007C1A0F6300FEF23F80A26C1A7FA26C1B006D61A2003F626D1801A2001F626D1803A2000F626D11807A20007626D180FA20003626D181FA20001626D183FA20000626D187FA26D6C4DC7FCA2013F606E1601A2011F606E2603A2010F606E1607A20107606E160FA20103606E161FA20101606E163FA20100606E167FA26E94C8FC6F5DA2023F5E6F1401A2021F5E6F1403A2020 F5E5F1407A202075E6F140 FA202035E6F1 41FA202015E6F 143FA202005E6F147FA26F92C9FC705BA2033F5CEEC001A2031F5CEEE003A26F6C485AA203075CEEF80FA203035CEFC1FA203015CEEFE3FA203005EEFF7FA2047F90CAFC5FA2705AA3705AA3705AA3703AA2705A160151747B7F5C>95 D E%结束DVIPSBitmapFont%DVIPS位图字体：Fe cmsy7 7 2/铁2 49 df0 D<13E0EA01F0EA03F8A3EA07F0A313E0A2120F13C0A3EA1F80A21300A25A123EA35AA3127812F8A25A12100D1E7D9F13>48德国%结束DVIPSBitmapFont%DVIPS位图字体：Ff cmti10 10 35/Ff 35 122 df<150C151C153815F0EC01E0EC03C0EC0780EC0F00141E5C147C5C495A1303495A5C130F49C7FCA2133EA25BA25BA2485AA212035B12075BA2120F5BA2121FA290C8FCA25AA2123EA2127EA2127CA412FC5AAD1278A57EA3121C121EA2120E7EA26C7E6C7EA212001E5274BD22>40 D<140C140E80EC0380A2EC01C015E0A2140015F0A21578A4157C153CAB157CA715FCA215F8A21401A215F0A21403A215E0A21407A215C0140F1580A2141F1500a2143ea25ca25ca2495a2495a5c1307495a91c7fc5b133e133c5b5b485a12035b48C8FC120E5A12785A12C01E527FBD22>I<120EEA3F80127F12FFA31300127E123C0909778819>46 D<15181538157815F0140114031407EC0FE0141F147FEB03FF90383FEFC0148FEB1C1F13001580A2143FA21500A25CA2147EA214FEA25A21301A25CA21103A25A25CA21307A25CA21130FA25CA2131FA25CA2233FA291C7FC497EB61280A31D3877B72A>49D类我I<16E0ED01F01503A3150716E0A3150F16C0A2151F1680A2ED3F00A3157EA2157C15FC5D14015D14035D14075D140F5D141F92C7FC143EA25CECF81C153E903801F07EEB03E014C090380780FE130F49485A133EEB7C01137801F05BEA01E03803C003EA0FFE391FFFC3F04813FB267C01FF1343AF0003FFFE000601307C71400EC0FE05DA3141F5DA3143F92C7FCA4143E141C24487DB72A>I65德比0107B8FCA3903A000FF000034BEB007F183E141F181E5DA2143FA25D181C147FA29238000380A24A130718004A91C7FC5E13015E4A133E167E49B512FEA25EECF8000107147C163C4A1338A2010F147818E04A13701701011F16C016004A14031880013F150718004A5CA2017F151E173E91C8123C177C4915FC4C5A4914070001ED7FF0B8FCA25F38397BB838>69 D<0103B512F8A390390007F8005DA2140FA25DA2141FA25DA213FA25DA2147FA292C7FCA25CA25CA21303A25CA2150AA211307A25CA2130FA25CA2131fa25ca213fa25ca2137fa291c8fc497eb6fca25c25397cb820>73D<0107B512FCA25E9026000FF8C7FC5D5D141FA25DA2143FA25DA21247FA292C8FCA25CA25CA211301A25A25CA21303A25CA211307A25CA2130F170C4A141CA2011F153C17384A1478A2013F157017F04A14E01601017F140317C091C71207160F49EC1F80163F4914FF000102071300B8FCA25E2E397BB834>76 D<0007B812E0A25AD9F800EB001F01C049EB07C0485AD900011403121E001C5C003C17801403123800785C00701607140700F01700485CA2140FC792C7FC5DA2141FA25DA2143FA25DA247FA292C9FCA25CA25CA21303A25CA211307A25CA2130FA25CEB3FF0007FB512F8B6FCA2333971B83B>84 D<14F8EB07FE90381F871C90383E03FE137CEBF801120148486C5A485A120FEBC001001F5CA2EA3F80403007F5C1300A21407485C5AA2140F5D48ECC1C0A2141F15831680143F1587007C017F1300ECFF076C485B9038038F8E391F0F079E3907FE03FC3901F000F0222677A42A>97D<133FEA1FFFA3C67E137EA313FE5BA312015BA312035BA31207EBE0F8EBE7FE9038EF0F80390FFC07C013F89038F003E013E0D81FC013F0A21380A2123F1300A214075A127EA2140F12FE4814E0A2141F15C05AEC3F80A215005C147E5C387801F8007C5B383C03E0383E07C0381E1F80D80FFEC7FCEA01F01C3B77B926>I<147F903803FFC090380FC1E090381F0070017E13784913383901F801F83803F003120713E0120FD81FC013F091C7FC485AA2127F90C8FCA35A5A45AA3153015381578007C14F0007EEB01E0003EEB03C0EC0F806CEB3E00380F81F83803FFE0C690C7FC1D2677A426>我I<147F903803FFC090380FC1E090383F00F0017E13785B485A485A485A120F4913F8001F14F0383F8001EC07E0EC1F80397F81FF00EBFFF891C7FC90C8FC5AA55AA21530007C14381578007E14F0003EEB01E0EC03C06CEB0F806CEB3E00380781F83803FFE0C690C7FC1D2677A426>我我我我我108天我I<147F903803FFC090380FC1F090381F00F8017E137C5B488137E488133E0007143F5B120F485AA2485A157F127F90C7FCA215FF5A4814FEA2140115FC5AEC03F8A2EC07F015E0140F007C14C0007EEB1F80003EEB3F00147E6C13F8380F83F03803FFC0C648C7FC202677A42A>I<9039078007C090391FE03FF090393CF0787C903938F8E03E9038787FC00170497EECFF00D9F0FE148013E05CEA01E113C15CA2D80003143FA25CA20107147FA24A1400A2010F5C5E5C4B5A131F5EEC80035E013F495A6E485A5E6E48C7FC017F133EEC70FC90387E3FF0EC0F8001FEC9FCA25BA21201A25BA21203A25B1207B512C0A3293580A42A>I我<3903C003F0390FF01FFC391E783C0F381C7C703A3C3EE03F8038383FC0EB7F800078150000701300151CD8F07E90C7FCEAE0FE5BA2120012015BA312035BA3120F5BA3121F5BA3123F90C9FC120E212679A423>我<14FE903807FF8090380F83C0383E00E04913F00178137001F813F0001130313F0A215E00003EB01C06DC7FC7FEBFFC06C13F814FE6C7F6D13807F010F13C01300143F141F140F123E127E00FE1480A348EB1F0012E06C133E00705B6C5B381E03E06CB45AD801FEC7FC1C267AA422>我我<13F8D803FEEB01C0D8078FEB03E0390E0F8007121E121C0038140F131F007815C01270013F131F00F0130000E015805BD8007E133FA201FE1400第5页第120149137页第215页第120349页第20201131页第61c15页第813e0163页第00313381407页0001ECF07091381EF8F03A00F83C78E090393FF03FC090390FC00F00272679A42D>I<01F0130ED803FC133FD8071EEB7F80EA0E1F121C123C0038143F49131F0070140FA25BD8F07E140000E08013FEC6485B150E12015B151E0003141C5BA2153C000714385B5DA35DA24A5A140300035C6D48C7FC0001130E3800F83CEB7FF8EB0FC0212679A426>我<01F01507D803FC903903801F80D8071E903907C03FC0D80E1F130F121C123C0038021F131F49EC800F00701607A249133FD8F07E168000E0ED000313FEC64849130718000001147E5B03FE5B0003160E495BA2171E00070101141C01E05B173C1738A217781770020314F05F0003010713016D486C485A000190391E7C07802800FC3C3E0FC7FC90393FF81FFE90390FE003F0322679A437>我<903907E007C090391FF81FF89039787C383C9038F03E703A01EE0FE3803C01F018013C0D8070014FC481480000E1570023F1300001E91C7FC121CA2C75AA2147EA214fea25ca21301a24a1370a2010314f016e001c5b007e1401010714c000英尺03880010f1307010EEB0F0039781CF81E9038387C3C393FF03FF03907C00FC027267CA427>我<13F0D803FCEB01C0D8071EEB03E0D80E1F1307121C123C0038140F4914C01270A249131FD8F07E148012E013FEC648133F160012015B5D0003147E5BA215FE00075C5BA214015DA314035D14070003130FEBF01F3901F87FE038007FF7EB1FC7EB000F5DA2141F003F5C48133F92C7FC147E147C007E13FC387001F8EB03E06C485A383C1F80FFEC8FCEA03F0233679A428>爱尔兰%结束DVIPSBitmapFont%DVIPS位图字体：Fg cmmi7 7 4/Fg 4 111 df<130E131F5BA2133E131C90C7FCA7EA03E0487EEA0C78EA187C1230A212605B12C0A2EA01F0A3485AA2485AA2EBC180EA0F81A2381F0300A213066C5A131CEA07F06C5A11287DA617>105 D<133EEA07FEA2EA007CA213FCA25BA2121201A25A21203EC07809038e01fc0ec38600007eb61e014c3 ebc187ebc307d80fc613c09038cc03800b8c7fc13E0487E13FEEB3F80EB0FC0486C7E1303003E1460A2127EECC0C0127CECC18012FC903801E30038F800FE0070137C1B297CA723>107 D<3B07801FC007E03B0FE07FF01FF83B18F0E0F8783C3B30F1807CE03E903AFB007D801ED860FEEB3F005B49133E00C14A133E5B1201A24848495BA35F484885A1830EE01F0A23C0F8003E003E060A218C0933801E180271F0007C013E3933800FF00000E6D48137C341B7D993B>109 D<3907801FC0390FE07FF03918F0E0F83930F1807CEBFB00D860FE133C5B5B00C1147C5B1201A248485BA34A5AEA07C01660EC03E0A23A0F8007C0C0A2EDC180913803C300D81F0013C7EC01FE000EEB00F8231B7D9929>爱尔兰%结束DVIPSBitmapFont%DVIPS位图字体：Fh cmsy10 10 16/Fh 16 104 df<007FB81280B912C0A26C17803204799641>0 D<121C127FEAFF80A5EA7F00121C090979917>我<007FB812F8B912FCA26C17F8CCFCAE007FB812DF912FCA26C17F8CCFCAE007FB812F8B912FCA26C17F836287BA841>17 D<126012F812FEEA7F80EA3FE0EA0FF8EA03FEC66C7EEB3FE0EB0FF8EB03FE903800FF80EC3FE0EC0FF8EC03FE913800FF80ED3FE0ED0FF8ED03FE923800FF80EE3FE0EE0FF8EE03FE933800FF80 EF3FC0171FEF7F80933801FF00EE07FCEE1FF0EE7FC04B48C7FCED07FCED1FF0ED7FC04A48C8FCEC07FCEC1FF0EC7FC04948C9FCEB07FCEB1FF0EB7FC04848CAFCEA07FCEA1FF0EA7FC048CBFC12FC1270CCFCAE007FB81280B912C0A26C1780324479B441>21 D24天<1478A414F85CA213015C1303495AA2495A49CCFC5B137E5B485A48AEA0FE0003FBA12FEBCFCA2003F19FED80FE0CCFCEA03F06C7E6C7E137E7F7F6D7E6D7EA26D7E1301801300A2801478A4482C7BAA53>32 D<91381FFFFE91B6FC1303010f14已完成91ff0c7fceb7f8001fec8fcea01f8485a485a85a5b48c9fca2123ea25aa2127812F8A25AA2B712FE16FFA216FE00F0C9FCA27EA21278127CA27EA27EA26C7E7F6C7E6C7E6C7EEA00FEEB7F80EB1FF06DB512FE010314FF1300021F13FE283279AD37>50D<007FB712F8B812FCA27ECA123CB217182E177C9D37>58 D<156015F0A21401EB07F190383FFFE0EB7C1FEBF00748486C5AD803C07F488487ED80F007FA248497E001E14BC153C003E143E141FA248EB1E1F143EA2143CA2147C00FC1580147814F8A214F0A21301A214E01303A214C0A21307A21480A2130FA214005B007C1500131EA2D87E3E5BA2D83E3C133E137CA21378001F5C13F8000F14784913F800075C0003495AEBE0033901F007802603FC1FC7FCEBFFFEEBC7F0D807C0C8FCA25BA26CC9FC21477CBF2A>I<007FB812F8B912FCA26C17F8C80078C8FCB3B3AD153036367BB541>62 D<15301578B3AD007FB812F8B912FCA26C17F836367BB541>我<0060161800F0163CB3B26C167CA2007C16F8A26CED01F0003F15036c6cec07e066cec0fc0d807f0ec3f80d803fe903801ff003a00fc00ffc6db55a011f14E0010391C7FC9038007FF82E347CB137>91 D<14034A7E4A7EA24A7EA34A7EA2EC7CF8A2ECF87CA2ECF03C0101133EA249487EA249486C7EA249486 C7EA2EC00034980A2013E6D7EA2496D7EA20178147801F8147CA2484880A2484880A24848EC0F80A2491407000F16C0A248C8EA03E0A2003EED01F0A2003C1500007C16F8A248167CA248163C006016182E347CB137>94 D<0060161800F0163C6C167CA2007C16F8A2003C16F0003E1501A26CED03E0A26C6CEC07C0A2000716806D140FA26C6CEC1F00A26C6C143EA26C6C5CA201781478017C14F8A26D495AA26D495AA26D5CEC8007A26D6C485AA26D6C48C7FCA2903801F03EA20100133CECF87CA2EC7CF8A2EC3FF0A26E5AA36E5AA26E5A6EC8FC2E347CB137>I型102 D<12FCEAFFC0EA07F0EA01FCEA007E7F80131F80130FB3A7801307806D7E6D7EEB007EEC1FF0EC07F8EC1FF0EC7E00495A495A495A5C130F5CB3A7131F5C133f91c7fc137e485aea07f0eaffc000fc8fc1d537abd2a>我%结束DVIPSBitmapFont%DVIPSBitmapFont:Fi cmmi10 10 29/Fi 29 122 df<0103B912F85BA290260007F8C73807F8004B5DA2020F150F615DA2021F151F615DA2023F153F615DA 2027F157F96C7FC92C8FCA24A5D605CA201011501605CA201031503605CA201071507605CA2010F150F605CA2011F151F605CA 2013F153F605CAD 2017F157F95C8FC91C8FC496C4A7EB690B6FCA345397DB845>5 D<121C127FEAFF80A5EA7F00121C0909798817>58 D<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A1206120E5A5AA12600A19798817>我<1760177017F01601A2160603A1607160FA24C7EA216331673166316C3A2ED0183A2ED0303150683150C160115181530A21560A215C014011580DA03007FA202061300140E140C5C021FB5FC5CA20260C7FC5C83495A8349C8FC1306A25BA25B13385B0161F01680487E000716FFB56C013F13FF5EA2383C7DBB3E>65编号：0103B77E4916F018FC903B0007F80003FE4BEB00FFF07F80020FED3FC0181F4B15E0A2141FA25DA2143F19C04B143F1980027F157F190092C812FE4D5A4A5AEF0FF04AEC1FC005FFC7FC49B612FC5F02FCC7B4FCEF3FC00103ED0FE0717E5C717E1307844A1401A2130F17035CA2131F4D5A5C4D5A133F4D5A4A4A5D5A017F4BC7FC4A91C7EA07FC49EC3FF0型B812C094C8FC16F83B397DB83F>I<9339FF8001C0030F13E0037F9038F803913A01FF807e07913a07f8000f0fda1f0eb079fda3f80903803bf0002ffc76cb4fc901fc80495a4948157E495A495A4948153E017F163C49C9FC5B11201484816385B1207485A1830121F4993C7FCA2485AA3127F5BA312FF90CCFCA41703A25F1706A26C160E170C171C5F6C7E5F001F5E6D4A5A6C6C4A5A16076C6C020EC8FC6C6C143C6C6C5C6CB4495A90393FE00FC0010FB5C9FC010313FC9038007FC03A3D7CBA3B>I<0103B812E05BA290260007F8C7123F4B140FF003C0140F18015DA2141FA25D1980143FA25D1760027F14E095C7FC92C75AA24A1301A24A495A160701011141F91B6FC94C8FCA2903903FC001F824A130EA21307A24A130CA2010F141CA24A90C9FCA2131FA25CA2133FA25CA21.37FA291CBFCC497EB612C0A33B397DB835>70天识别号：0103B5D8F803B512F8495DA290260007F8C73807F8004B5DA2020F150F615DA2021F151F615Da2023F153F615DA 2027F157F96C7FC92C8FCA24A5D605CA249B7FC60A202FCC7120101031503605CA201071507605CA2010F150F605CA2011F151F605CA 2013F153F605CAD 2017F157F95C8FC91C8FC496C4A7EB690B6FCA345397DB845>I<0103B6FC5B5E90260007FCC8FC5D5D140FA25DA2141FA25DA21243FA25DA2147FA292C9FCA25CA25CA21303A25CA21130718404A15C0A2010F150118804A1403A2011F16005F4A1406170E013F151E171C4A143C177C017F5D160391C7120F49EC7FF0B8FCA25F32397DB839>76 D<902603FFF891381FFFF8496D5CA2D9000703013006FEC007C02061678DA0EFF157081020C6D1460A2DA1C3F15E0705CEC181F82023815016F6C5C1430150702706D130303032C2C7FC02607FA2DAE0015C701306ECC0008201016E130EEF800C5C163F0103EDC01C041F131891C713E0160F49EDF03818300106140717F8010E02031370EFFC60130CEE01FE011C16E004005B011815FF177F1338600130153FA20170151F95C8FC01F081EA07FCB512E01706A245397DB843>78 D<147E903803FF8090390FC1C38090391F00EFC0017E137F49133F485A4848EB1F8012075B000F143F48481400A2485A5D007F147E90C7FCA215FE485C5AA214015D48150CA21403EDF01C16181407007C1538007E010F1330003E131F027B13706C01E113E03A0F83C0F9C03A03FF007F80D800FCEB1F0026267DA42C>97 D<133FEA1FFA3C67E137EA313FE5BA312015BA312035BA31207EBE0FCEBE3FF9038E707C0390FFE03E09038F801F001F013F8EBE000485A15FC5BA2123F90C7FCA214015A127EA2140312FE4814F8A2140715F05AEC0FE0A215C0EC1F80143F00781400007C137E5C383C01F86C485A380F07C06CB4C7FCEA01FC1E3B7CB924>我I<163FED1FFFA3ED007F167EA216FEA216FCA21501A216F8A21503A216F0A21507A2027E13E0903803FF8790380FC1CF90381F00EF017EEB7FC049133F485A4848131F000715805B000F143F485A1600485A5D127F90C7127EA215FE5A485CA21401A248ECF80CA21403161CEDF0181407007C1538007E010F1330003E131F027B13706C01E113E03A0F83C0F9C03A03FF007F80D800FCEB1F00283B7DB92B>I我107天109天我I<90390F8003F090391FE00FFC903939F03C1F903A70F8700F80903AE0FDE007C09038C0FF80030013E0001491303018015F05CEA038113015CA2D800031407A25CA20107140FA24A14E0A2010英尺141f17c05ce3英尺80131英尺004a137e16fe013f5c6e485a4b5ae485a90397f700f80DA383FC7FC90387E1FFCEC07E001FEC9FCA25BA2121201A25B1207B512C0A32C3583A42A>我<02FC13C0903803FF0190380F838390383F01C790397E00EF8049137F485A4848133F000715005B485A001F5C157E485AA2007F14FE90C75AA3481301485CA31403485CA314075D140F127C141F007E495A003E137F381F01EF380F839F3903FF1F80EA00FC1300143F92C7FCA35C147EA314FE5C130190387FFFF0A322357DA425>我<3903E001F83907F807FE390E3C1E07391C3E381F3A183F703F800038EBE07F0030EBC0FF00705B00601500EC007E153CD8E07F90C7FCEAC07EA2120013FE5BA312015BA312035BA3120F5BA3121F5B0007C9FC21267EA425>我<14FF010313C090380F80F0903E00380178131C153C4913FC000113013E0A33903F000F06D13007F3801FFE014FC14FF6C14806D13C0011F13E013039038003FF014071403001E1301127FA24814E0A348EB03C012F800E0EB07800070eb0f006c133e01e13f83807ffe0000190c7fc1e267ca427>我我<13F8D803FE1438D8070F147C000E6D13FC121C1218003814011230D8701F5C12601503EAE03F00C01005B5BD8007E1307A201FE5C5B150F1201495CA2151F120349EC80C0A2153F1681EE0180A2ED7F0303FF130012014A5B3A00F8079F0E90397C0E0F1C90393FFC07F8903907F001F02A267EA430>我<01F816F0D803FE9138E001F8D8070F903801F003000ED9800314FC121C1218003800713010030EDE000D8701F167C1260030F143CD8E03F163800C001005B5BD8007E131F183001FE5C5B033F1470000117604991C7FCA218E000034A14C049137E17011880170318005F03FE1306170E000101015C01F801BF5B3B00FC039F8070903A7E0F0FC0E0903A1FFC003FFC0902703F0007FC7FC36267EA43B>119 D<903907E001F090391FF807FC9039783E0E0F9039E01F1CD801C09038383F803A03A03800FF07F0100EBE0FF5A000E4A1300000C157E021F133C001C4AC7FC1218a2c7123fa92c8fca25ca2147ea214fea24a130ca20101141c001e1518003f5bd87f81143801835C00FF1560010714E03AFE0E7C01C0D87C1C495A2778383E0FC7FC391FF00FFC3907C003F029267EA42F>I<13F8D803FE1470D8070F14F800EEB8001121C121800381403003015F0EA701F1260013F130700E0010013E012C05BD8007E130F16C013FE5B151F000115805BA2153F000315005BA25D157EA315FE5D1401000113033800F80790387C1FF8EB3FF9EB0FE1EB00035DA2000E1307D83F805B007F495AA24A5A92C7FCEB003E007C5B00705B6C485A381E07C06CB4C8FCEA01FC25367EA429>英制%结束DVIPSBitmapFont%DVIPS位图字体：Fj cmsl10 10 24/Fj 24 122 df<15C01401EC0780EC0F00141E5C5C5C5C495A495A13075C49C7FC5B131E5B137C137813F85B12015B12035B1207A2485AA348C8FCA3123EA45AA512FC5AA85AA97EA3号1278A47EA37EA37E7E7F12037F6C7E120013707F13181A5275BD20>40D<130613076D7E6D7E806D7E147014781438143C80A380A3EC0780A415C0A31403A91407A8140FA21580A4EC1F00A4143EA35CA35CA25C13015C130735C13075C130F91C7FC131E133E133C5B13F85B485A485A485A48C8FC121E5A5A12E05A12A527FBD20>I<160EA2161EA2163E163F5EA25EA25D83ED037FA21506A2150C83ED183FA21530A2156083EDC01F14011580140303007F5C0206130F140E140C141C0218800238130714301470146091B6FC835B9138800000349c7立方英尺130683491401a25ba24981a201708013f0486c4a1380d80ffc4a13c0B56C017F13FF93B6FC18FE383C7DBB3E>65 D<14FF010713E090381F01F8903878007C01F8137E01FE7F0001801680A35BEA007090C7FCA4EC0FFF49B5FC90390FFC3F00EB7FC03801FE00EA03F848485B485A4848137E485A007F150690C7FC15FE48ECFC0C481301A21403007F9038077C18140E3A3F801C7E303A1FC0F83FF03A07FFE01FC0C69038000F8027277CA52A>97 D<137FEA1FF5BA212011200A35BA512015BA512035BEC1FC0EC7FF89038F1E03E9038F7801F3A07FE000F8049EB07C04914E04913034914F0A2000F15F8491301A41503121F5BA41507003F15F090C7FC16E0150F16C0151F481580ED3F005D6D137E007D5C3979C001F039F0E007E039E0781F8026C01FFEC7FC380007F0253B78B92E>I我我<147F903803FFE090380F81F090383E00FC49137C48487F488133F0007805B48481480121F5B123FA248C7FCA3B71200A248C9FCA65A7EA2007E140EA25d6c14186c14386d5b6c6c485a3907e038802601f01fc7fc38007ffceb1fe021277ba525>我103天我I<14FC137F14F8A213071303A314F0A5130714E0A5130F14C0A5131F1480A5133F1400A55B137EA513FE5BA512015BA41203B512E014C0A2163A7EB917>108 D<90270FC03FC0EB7F803FF903AFFF001FFE048903BC3C0F80781F0913BCF007C1E00F826003FDCD97E387F6D485C02F0D93EE0137C4AD93FC0137E4A5C047F14FE494891C75AA291C7127EA44902FE1301017E4A5CA501FE01011403494A5CA5000102031407494A5CA4486C496C497EB500E1B500C3B51280A202C10283140041257EA445>仪表<90390FC03FC0D803FFEBFFF0489038C3C0F89138CF007C26003FDC137E6D5A02F0133E4A133F5C5E4948137EA291C7FCA316FE5B017E5CA4150113FE495CA415031201495CA400031407B500E1B512C0A202C114802A257EA42E>I我<903901F80FE0017FEB3FFC01FFEBF03F9139FBC00F80902607FF0013c06d48年2月7日e04年2月3日f05c4a14f81601010715fc5ca5130f5ca4160301f15f85cee07f0A2EE0FE0A2013FEC1FC01780163F6EEB7F0016FE9138E001F890397F7003F090397E3C0FC0DA0FFFC7FCEC03F891C9FC13FEA25BA41201A25BA2487EB512E0A32E3581A42E>I<027F1318903903FFC03890380FC0F090393F003878017EEB18F04848131C4848130D488130F491307120F485A16E0485AA248C7FC150F5A4815C0A4151FA21680A4153F127E007FEC7F006C5C5C391F8003BF6C6C485A0007130E3903F03C7E3800FFF0EB1FC090C7FC15FE5DA514015DA34A7E91B512E0A325357AA42C>我<90381F807C3903FF81FF489038878F80EC8E1F39003F9C3FEB1F3814709138601F00ECE0044AC7FC133F5CA291C8FCA35B137EA513FE5BA512015BA4487EB512F0A321257EA421>我<903803FE0C90380FFF9C90383E01FCEBF000488137C4848133C1538485AA215181538487E1530D807F0130013FCEBFFE06C13FC14FFC614806D13C0011F13E01300EC0FF01407003013031401A31238007814E0A3007行政首长协调会03C0EC0780127EB4EB1F0038F3C07C38E1FFF038C03F801E277DA521>I<1306A4130EA2130C131CA2133C137C13FC5B12031207001FB5FCB6FCA23803F8005BA512075BA5120F5BA5001F130C1380A4141C003F131813007E1438EB80301470380FC0E03807C1C03803FF8038007E00183479B220>我I<3A7FFFC01FFFB51280A23A07FC0007F86C48EB03E04914C06D1480000115001506A25D7F00005C153815306D5B137E5DA24A5AEB3F0392C7FC5C1406148C131F1498A214F0130F5C5CA25C130791C8FCA2282579A32C>II<90B538803FFE5A150026000FF8EB0FF06D48EB07C017801700010314065EA26E5B0101143816305E8001005CA24B5A1503027E90C7FC1506A25D147F6E5A1538153015E0141F5DA25D140F92C8FC140EA2140CA25C143814305CA2003E5B127E38FE018049C9FC5BEAFC0EEA701C1378EA3FE0EA0F802F3580A32C>121东经%结束DVIPSBitmapFont%DVIPS位图字体：Fk cmbx10 10 33/Fk 33 124立方英尺46 D<141E143E14FE1307133FB5FCA313CFEA000FB3B3A6007FB61280A4213779B630>49天我我I<001C15C0D81F80130701F8137F90B61280A216005D5D15F05D15804AC7FC14F090C9FCA8EB07FE90383FFFE090B512F89038FC07FC9038E003FFD98001138090C713C0120EC813E0157F16F0A216F8A21206EA3F80EA7FE012FF7FA44914F0A26C4813FF90C713E0007C15C06C5B6C491380D9C0071300390FF01FFE6CB512F8000114E06C6C1380D90FF8C7FC25387BB630>我66天我76天78D类80天83号D<003FB91280A4D9F800EBF003D87FC09238007FC049161F007EC7150FA2007C1707A200781703A400F818E0481701A4C892C7FCB3AE010FB7FCA43B387DB742>我86天97 D<903801FFC0010F13FC017F13FFD9FF801382603FE0013C048485AEA0FF8121F13F0123F6E138048EB7F00151C92C7FC12FFA9127FA27F123FED01E06C7E15036C6CEB07C06C6C14806C6C131FC69038C07E006DB45A010F13F00101138023257DA42A>99 D我<903803FF80011F13F0017F13FC3901FF83FE3A03FE007F80488133F48814C0001FEC1FE05B003FEC0FF0A2485A16F8150712FFA290B6FCA301E0C8FCA4127FA36C7E1678121F6C6C14F86D14F000071403D801FFEB0FE06C9038C07FC06DB51200010F13FC010113E025257DA42C>我我<161FD907FEEBFFC090387FFFE348B6EAEFE02607FE07138F260FF80113F4886C138F003F15CF4990387FC7C0EEC000007F81A6003F5DA26D13FF001F5D6C6C4890C7FC3907FE07FE48B512F86D13E0261E07FEC8FC90CAFCA2123E123F7F6C7E90B512F8EDFF8016E06C15F86C816C815A001F81393FC0000F48C8138048157F5A163FA36C157F6C16006D5C6C6C495AD81FF0EB07FCD807FEEB3FF00001B612C06C6C91C7FC010713F02B377DA530>我<13FFB5FCA412077EAFED7FC0913803FFF8020F13FE91381F03FFDA3C01138014784A7E4A14C05CA25CA291C7FCB3A3B5D8FC3F13FFA4303A7DB935>我I<13FFB5FCA412077EB3B3ACB512FCA4163A7DB91B>108 D<01FED97FE0EB0FFC00FF902601FFC90383FFF80020701FF90B512E0DA1F81903983F03FF0DA3C00903887801F000749DACF007F00034914de6d48d97ffc6d7e4a5ca24a5ca291c75bb3a3b5d8fc1fb5003b512f0a44c257DA451>我<01FEEB7FC000FF903803FFF8020F13FE91381F03FFDA3C011380000713780003497E6D4814C05CA25CA291C7FCB3A3B5D8FC3F13FFA430257DA435>I<903801FFC0010F13F8017F13FFD9FF807F3A03FE003FE048486D7E48486D7E4486D7EA2003F81491303007F81A300FF1680A9007F1600A3003F5D6D1307001F5DA26C6C495A6C695A6C495A6C6C6CB45A6C6CB5C7FC011F13FC010113C029257DA430>I<9039FF01FF80B5000F13F0023F13FC9138FE07FFDAF0011380007496C13C06C0180EB7FE091C713F0EE3FF8A2EE1FFCA3EE0FFEAA17FC161FA217F8163F17F06E137F6E14E06EEBFFC0DAF00313809139FC07FE0091383FFFF8020F13E0020390C7FC91C9FCACB512FCA42F357EA435>我<9038FE03F000FFEB0FFEEC3FFF91387C7F809138F8FFC000075B6C6C5A5CA29138807F80ED3F00150C92C7FC91C8FCB3A2B512FEA42257EA427>114 D<90383FF0383903FFFEF8000F13FF381fc00f383f0003007e1301007c130012fc15787e7e6d130013fcebffe06c13fcef806c14C06C14F06C14F81203C614FC131F9038007FFE140700F0130114007E157E7E157C6C14FC6C14F8EB80019038F007F090B512C000F8140038E01FF81F257DA426>我<130FA55BA45BA25B5BA25A1207001FEBFE0B6FCA3000390C7FCB21578A815F86CEB80F014816CEBC3E090383FFFC06D1380903803FE001D357EB425>我<01FFEC3FC0B5EB3FFFA4000714016C80B3A35DA25DA26C5C6E4813E06CD9C03E13FF90387FFFFC011F13F001031380257DA4型35>我121天东经123号%结束DVIPSBitmapFont%DVIPS位图字体：Fl cmr6 6 10/Fl 10 58 df<13FF000313C0380781E0380F00F0001E137848133CA248131EA400F8131fad0078131ea2007c133e003c133ca26c13786c13f0380781e03803fc0c6130018227dA01E>48 D<13E01201120120712FF12F91201B3A7487EB512C0A21217AA01E>I我<13FF000313C0380F03E0381C00F014F8003E13FC147CA2001E13FC120CC712F8A2EB01F0EB03E0EB0FC03801FF00A2380003E0EB00F01478147C143E143F1230127812FCA2143E48137E0060137C003813F8381E03F0380FFFC00001130018227DA01E>I<14E01301A2130313037A2130D131D1339133113613E113C1EA01811203EA07011206120C121C12181230120127012E0B6FCA2380001E0A6EB03F0EB3FFFA218227DA11E>识别号：00101330381E01F0381FFFE014C01480EBFE00EA1BF00018C7FCA513FE381BFF80381F03C081E0381800F014F8C71278A2147CA21230127812F8A214784813F8006013F0387001E01238381E07803807FF00EA01F816227CA01E>I我<1230123C003FB5FCA24813FE14FC3860001C143814704813E014C0EA0001EB0380EB07001306130E5BA25BA21378A35BA41201A76C5A18237CA11E>I<137F3803FFC0380781E0380E00704813380018131C1238A3123C003F1338381FC078EBE0F0380FF9E03807FF8012014C0000713F0380F0FF8381C03FC383801FE3870007E141F48130F1407A314060070130E0078130C6C1338001F13F03807FFC0C6130018227DA01E>I<13FE3803FFC0380781E0380E0070481378003C133848133CA200F8131EA3141FA40078133FA26C137F121C380F01DF3807FF9F3803FE1EC7FCA2143E143C001C1338003E13781470003C13E0381801C0381C0780380FFE00EA03F818227DA01E>IE类%结束DVIPSBitmapFont%DVIPS位图字体：Fm cmr7 7 11/表格11 58 df<140EB3A2B812E0A3C7000EC8FCB3A22B2B7DA333>43D类48号D<13381378EA01F8121F12FE12E01200B3AB487EB512F8A215267BA521>我<13FF000313E0380E03F0381800F848137E00787F12FC6CEB1F80A4127CC7FC15005C143E147E147C5C495A495A5C495A010EC7FC5B5B903870018013E0EA0180390300030012065A001FB5FC5A485BB5FCA219267DA521>I<13FF000313E0380F01F8381C007C0030137E003C133E007E133FA4123CC7123E147E147C5C495AEB07E03801FF8091C7FC380001E06D7E147C80143F801580A21238127C12FEA21500485B0078133E00705B6C5B381F01F03807FFC0C690C7FC19277DA521>我<1438A2147814F81301A21303130713061306130C131C131813301370136013C012011380EA03005A120E120C121C5A12305A12E0B612E0A2C7EAF800A7497E90383FFFE0A21B277EA621>I<0018130C001F137CEBFFF85C5C1480D819FCC7FC0018C8FCA7137F3819FFE0381F81F0381E0078001C7F0018133EC7FC80A21580A21230127C12FCA3150012F00060133E12700305B001C5B380F03E03803FFC0C648C7FC19277DA521>我我<1230123C003FB512E0A215C0481480A239700000060130E140C48131C5CC75A5C1301495AA249C7FC5B130E131EA3133E133CA2137CA413FCA813781B287DA621>我<137F3803FFE0380781F8380E007C48131E5A801278A3127C007E131EEA3F80EBE03C6C5A380FFCF03807FFC06C5BC613E0487F38079FFC380F07FEEA1E0348C67E48133FEC1F8048130FA21407A315001278140E6C5B6C5B380F80F03803FFE0C66CC7FC19277DA521>我<137F3801FFC03807C1E0380F0070001E1378003E7F003C133E007C131EA200FC131FA41580A4007C133FA2123C003E137F001E135F380F01DF3807FF9F3801FE1FD8001013001300A2143E123C007E133CA25C5C007C5B383003C0381C0780D80FFFC7FCEA03F819277DA521>I E公司%结束DVIPSBitmapFont%DVIPS位图字体：Fn cmcsc10 10 14/Fn 14 119 df<1407A24A7EA34A7EA3EC37E0A2EC77F01463A2ECC1F8A201017F1480A2903803007EA301067FA2010E80010C131FA2496D7EA2013FB57EA29038300007496D7EA 3496D7EA200018149130012036D801207D81FE0903801FF80D8FFF8010F13F8A22D2C7DAB（数字音频广播）33>97 D<91383FC006903901FF80E90390FE03E1E90381F0007017EEB03BE01F8EB01FE484813004848147E0007153E485A001F151E5B003F150E90C8FC5A1606A212FE1600AA007F1506A37E6D140E001F150C7F000F151C6C6C1418000315386C6C14706C6C14E0017EEB01C0011FEB078090390FE03E00903801FFF89038003FC0272D7BAB31>99D类我我我104天108D类我111D类我114编号：017F13603901FFE0380780F9380E001F48130748130312780070130100F01300A315607EA26C14007E127F13C0EA3FFEEBFFE06C13F8000713FE6C7FC61480010F13C01300EC0FE01407EC03F01401A212C01400A37E15E06C1301A26CEB03C06CEB0780B4EB0F0038F3E01E38E0FFF838C01FE01C2D7BAB26>我<007FB712C0A23A7E003FC00F007890381F8003007015011600126000E016E0A2481660A5C71500B3A8EC7FE0011FB57EA22B2B7DAA31>我118德国%结束DVIPSBitmapFont%DVIPS位图字体：Fo cmbx12 12 35/Fo 35 122东风49天我I<163FA25E5E5D5DA25D5D5D5A25D92B5FCEC01F7EC03E7140715C7EC0F87EC1F07143E147E147C14F8EB01F0EB03E0130714C0EB0F80EB1F00133E5BA25B485A48A485A120F5B48C7FC123E5A12FCB91280A5C8000F90C7FCAC027FB61280A531417DC038>I<0007150301E0143F01FFEB07FF91B6FC5E5E5E16804BC7FC5D15E092C8FC01C0C9FCAAEC3FF001C1B5FC01C714C001DF14F09039FFE03FFC9138000FFE01FC6D7E01F06D13804915C0497F6C4815E0C8FC6F13F0A317F8A4EA0F80EA3FE0487E12FF7FA317F05B5D6C4815E05B007EC74813C0123E003F4A1380D81FC0491300D80FF0495AD807FEEBFFFC6CB612F0C65D013F1480010F01FCC7FC010113C02D427BC038>I65天67天我我73天76D类I<923807FFC092B512FE0207ECFFC0021F15F091267FFE0013FC902601FF0EB1FF01070180010313C04990C76C7FD91FFC6E6C7E49486F7E4946F7E01FF83484996F7E4896F1380A248496F13C0A24890C96C13E0A24819F04982003F19F8A3007F19FC49177FA400FF19FEAD007F19FC 6D17FFA3003F19F8A26D5E6C19F0A26E5D6C19E0A26C6D4B13C06C19806E5D66D4B13006C6D型4B5A6D6C4B5A6D16C4B5A6D6C4A5B6D01C01075B6D011F5B010101FE90B5C7FC6D90B65A023F15F8020715C00204AC8FC030713C047467AC454>79 D82天我<903801FFE0011F13FE017F6D7E48B612E03A03FE007FF84848EB1FFC6D6D7E486C6D7EA26F7FA36F7F7F6C5A6C5AEA00F090C7FCA40203B5FC91B6FC1307013F13F19038FFFC01000313E0000F1380381FFE00485A5B127F5B12FF5BA35DA26D5b6c6c5b4b13f0d83ffe013eebffc03a1fff80fc7f0007ebfff86cece01fc6ceb8007d90FFCC9FC322F7DAD36>97 D99D类我我我I<137C48B4FC4813804813C0A24813E0A56C13C0A26C13806C1300EA007C90C7FCAAEB7FC0EA7FFFA512037EB3AFB6FCA518467CC520>105 D107天我<90277F8007FEEC0FFCB590263FFFC090387FFF8092B5D8F001B512E002816E4880913D87F01FFC0FE03FF8913D8FC00FFE1F801FFC0003D99F009026FF3E007F6C019E6D013C130F02BC5D02F86D496D7EA24A5D4A5DA34A5DB3A7B60081B60003B512FEA5572D7CAC5E>I<90397F8007FEB590383FFF8092B512E0028114F8913987F03FFC91388F801F000390399F000FFE6C139E14BC02F86D7E5CA25CA35CB3A7B60083B512FEA5372D7CAC3E>我I<90397FC00FF8B590B57E02C314E002CF14F89139DFC03FFC9139FF001FFE000301FCEB07FF6C496D13804A15C04A6D13E05C7013F0A2EF7FF8A4EF3FFCACEF7FF8A318F017FFA24C13E06E15C06E5B6E4913806E4913006E495A9139DFC07FFC02CFB512F002C314C002C091C7FCED1FF092C9FCADB67EA536407DAC3E>I<90387F807FB53881FFE0028313F0028F13F8ED8FFC91389F1Ffe000313前6个月14日前8个月14日前0个月9138个月07个月01个月092个月15个月a5个月612个月a527个月2D7DAC2E>114 D<90391FFC038090B51287000314FF120F381FF003383FC00049133F48C7121F127E00FE140FA215077EA27F01E090C7FC13FE387FFFF014FF6C14C015F06C14FC6C80003806C15806C7E010F14C0EB003F020313E014000F0143FA26C141F150FA27EA26C15C06C141FA26DEB3F8001E0EB7F009038F803FE90B55A00FC5CD8F03F13E026E007FEC7FC232F7CAD2C>I我我119天我I E公司%结束DVIPSBitmapFont%DVIPSBitmapFont:Fp cmcsc10 9 12/Fp 12 117 df<1418143CA3147EA214FFA39038019F80A201037F140FA201067F1407A2496C7EA2011C7FEB1801A2496C9EA201707FEB7FFFA29038C0003FA20001158049131FA2000315C090C7120F486C14E0120F486 CEB1FF0D8FFF090B5FCA228277EA62E>97编号：02FF13100107EBE03090391FC0787090397E001CF001F813074848130348481301485A000F1400485A167048C8FCA2481530127EA200FE1500A8127E1630127F7EA26C6C1460A26C7E000715C06C6CEB01806C6C13036C6CEB0700017E130E90381FC078903807FFE00100138024287DA62C>99 D我我我104天108天我<49B4FC010F13E090383F01F890387C007C4848133FD803E0EB0F8000715C0488EB07E0491303001F15F048C7EA01F8A24815FCA2007E1400A200FE15FEA9007FEC01FCA36C15F86D1303001F15F06D1307000F15E06C6CEB0FC06C6CEB1F806C6CEB3F006C6C137E90383F01F890380FFFE00190C7FC27287DA62F>111 D114天我<007FB612F8A2397E00FC010078EC00780070153800601518A200E0151C48150CA5C71400B3A4497E90387FFFF8A226267EA52C>我是%结束DVIPSBitmapFont%DVIPS位图字体：Fq cmbx9 9 14/Fq 14 117 df<120FEA3FC0EA7FE0EAFFF0A6EA7FE10EA3FC0EA0F000C0C7A8B19>46D<147814F81303131FEA03FFB5FCA3EAFC1F1200B3B2007FB512FEA41F317AB02C>49D类我我65D<003FB812F8A4D9F003EB801FD87F80ED03FC010501007E1600007C177CA20078173CA400F8173E48171EA4C71600B3A9011FB612F0A437327DB13E>84D类97D类I<903807FF80013F13F090B512FC3903FE01FE48487EEA0FF8EA1FF0EA3FE0A2007F6D5A496C5A153000FF91C7FCA9127F7FA2003FEC07807F6C6C130F000FEC1F00D807FE133E3903FF80FCC6EBFFF8013F13E0010790C7FC21217DA027>我<903803FF80013F13F090B512FC48EB03FE3907FC007F4848EB3F804848EB1FC05B003FEC00127F5B16F012FF150790B6FCA301C0C8FCA4127F7F123F16F06C7E000F14016C6CEB03E0D803FEEB0FC03A01FF807F806C6CB51200011F13FC010313E024217EA029>101 D108天<3901F81F8000FFEB7FF0ECFFF89038F9E3FC9038FBC7FE380FFF876C1307A213FEEC03FCEC01F8EC0060491300B1B512F0A41F217EA024>114D<9038FFE1C0000713FF5A383F803F387E000F14075A14037EA26C6CC7FC13FCEBFFE06C13FC806CEBFF80000F14C06C14E0C6FC010F13F0EB007F140F00F0130714037EA26C14E06C13076CEB0FC09038C01F8090B512000F913FC38E03FE01C217DA023>我<133CA5137CA313FCA21201A2120031207001FB51280B6FCA3D807FCC7FCB0EC03C0A79038FE078012033901FF0F006C13FEEB3FFCEB0FF01A2F7EAE22>我%结束DVIPSBitmapFont%DVIPS位图字体：Fr cmtt9 9 40/Fr 40 123 df<120FEA3FC013E0EA7FF0A213F8A2123FA2120F120113F01203EA07E0121FEA7FC0EAFF8013005A12700D14738927>44 D<121EEA7F80A2EAFFC0A4EA7F80A2 EA1E000A0A728927>46 D<1538157C15FCA2140115F8140315F0140715E0140F15C0141F1580143F1500A25C147E14FE5C13015C13035C13075C130F5CA2131F5C133F91C7FC5B137E13FE5B12015B12035BA212075B120F5B121F5B123F90C8FC5A127E12FE5AA25A2781E3A7CB327>我我50D类我<EC3F804A7EA214FF5BA2EB03F7EB07E7A2EB0FC71487131FEB3F07A2137E13FCA2EA01F813F01203EA07E0A2EA0FC0EA1F80A2EA3F00123E127E5AB7128016C0A36C1580C73807C000A849B5FC491480A36D1400222F7EAE27>I<121EEA7F80A2EAFFC0A4EA7F80A2 EA1E00c7fcac121eea7f80a2eaffc0a4ea7f80a2ea000a20729f27>58D类64天I<007FB61280B712C0A37E3907E0000FA6ED078092C7FCA4EC07804A7EA390B5FCA5EBE00FA36E5A91C8FCA4ED03C0ED07E0A7007FB6FCB7FCA36C15C0232E7FAD27>69 D<387FFFC080B5FC7E5CD803F0C8FCB3AAED0780ED0FC0A7007FB6FCA2B7FC7E1680222E7FAD27>76编号：387FFFF0B512FE6E7E816C803907E01FF014076E7E1401811400A514015D14034A5A141F90B55A5D5DA281EBE01F6E7E14076E7EA816F0EDF1F8A4397FFE01FBB5EBFFF08016E06C48EB7FC0C8EA1F00252F7FAD27>82 D<90387FC0E03901FF1F000713FF5AEA3FE0EB801F387F000F007E130712FE5A1403A3EC01E06C90C7FC127E127FEA3FC013F86CB47E6C13F86C13FE6CEBFF80C614C0010F13E0010013F0140FEC07F81403140115FC1400127812FCA46CEB01F8A26C130390388007F09038F01FE090B5FC15C015000F85B38701FF81E307CAE27>I<007FB61280B712C0A439FC03F00FA60078EC0780000091C7FCB3AB90B512C04880A36C5C222E7EAD27>I<3803FFC0000F13F04813FC4813FF811380EC1FC0381F000F000480C71207A2EB0FFF137F0003B5FC120F5A383FFC07EA7FC0130012FE5AA46C130F007F131FEBC0FF6CB612806C15C07E000313F1C69038807F8022207C9F27>97D类我我我我我<153F90391FC0FF80D97FF313C048B612E05A4814EF390FF07F873A1FC01FC3C0EDC000EB800F48486C7EA66C6C485AEBC01FA2390FF07F8090B5C7FC5C485BEB7FF0EB1FC090C9FCA27F6CB5FC15E015F84814FE4880EB8001007EC7EA3F80007C140F00FC15C0481407A46C140F007C1580007F143F6C6CEB7F009038F807FF6CB55A000714F86C5CC614C0D90FFCC7FC23337EA027>我我<130F497E497EA46D5A6DC7FC90C8FCA7383FFF80487FA37EEA000FB3A4007FB512F0B6FC15F815F07E1D2F7BAE27>I<143C147E14FFA4147E143C1400A73801FFFE4813FFA37EC7123FB3B0147E1238007C13FE38FE01FC1303B512F0814F06C13E06C13803807FE0018407CAE27>我我<387FFF80B57EA37EEA000FB3B2007FB512F8B612FCA36C14F81E2E7CAD27>我<397F07C01F3AFF9FF07FC09039FFF9FFE091B57E7E3A0FFC7FF1F89038F03FC001E0138001C01300A3EB803EB03A7FF0FFC3FF486C01E3138001F8913E36C4801C313002920819F27>I<387FE07F39FFF1FFC001F713F090B5FC6C80000313C1EC01FCEBFE005BBBA25BB03A7FFF83FFE0B500C713F0A36C018313E024207F9F27>我I<387FE0FFD8FFF313C090B512F0816C800003EB81FE49C67E49EB3F8049131F16C049130FA216E01507A6150F16C07F151F6DEB3F80157F6DEBFF009038FF83FEECFFFC5D5D01F313C0D9F0FEC7FC91C8FCAC387FFF80B57EA36C5B23317F9F27>我<397FFC03FC39FFFE0FFF023F13804A13C0007F90B5FC39007FFE1F14F89138F00F809138E002004AC7FC5CA291C8FCA2137EAD007FB57EB67EA36C5C22207E9F27>114 D<9038FFF3800007EBFFC0121F5A5AEB803F38FC000F5AA2EC07806C90C7FCEA7F8013FC383FFFF06C13FC000713FF00011480D8000F13C09038003FE014070078EB03F000FC1301A27E14036CEB07E0EBE01F90B512C01580150000FB13FC38707FF01C207B9F27>我<133C137EA8007FB512F612F8A36C14F0D8007EC7FCAE1518157EA415FE6d13fc1483ecfff86d13f06d13e010313c0010013001f297ea827>I<397FE01FF8486C487EA3007F131F00031300B21401A21403EBFC0F6CB612E016F07EEB3FFE90390FF87FE0型24207F9F27>我<3A7FFC0FFF80486C4813C0A36C486C13803A07C000F800EBE00100035CA2EBF00300015CA2EBF8070005CA390387C0F80A36D48C7FCA3EB3F3FEB1F3EA214FE6D型5AA36D5AA26D5A22207E9F27>我<3A7FFE07FFE000FF15F06D5A497E007F15E03A0F80001F00A36D5B0007143EA414F0EBC1F83903E3FC7CA4EBE79EA200011478A301F713F8A2EBFF0F6C5CA3EBFE0790387C03E024207F9F27>我<393FFC1FFF486C5A168016006C487E3901F807E06C6C485A4A5A017E90C7FC6D5AEB1F7E5C6D5A13076D5A5C80497E130F497E143EEB3E3FEB7E1F90387C0F8001F87F00016D7E3803F0033A7FFE1FFF80A2B54813C06C486C1380A222207E9F27>我<3A7FFC0FFF80486C4813C0A36C486C13803A07E000F80000313015D13F00001130301F85B1200A26D485A137CA290387E0F80133EA2011F90C7FC5CA2130F149E14BE130714FC1303A25C1301A25CA213035CA213075C1208EA3E0F007F5B131FD87E7FC8FCEA7FFE6C5A5B6C5AEA07C022317E9F27>I<001FB512FE4814FFA490380001FEEC03FCEC07F8EC0FF0001EEB1FE0C7EA3FC0EC7F80ECFF00495A495A495AEB1FE0495A495A49C7FC485A4848131E4848133F485A485AB7FCA46C14FE20207E9F27>我E类%结束DVIPSBitmapFont%DVIPS位图字体：Fs cmsy9 9 3/Fs 3 104 df<013F16402601FFE015E04813F8487F4880D83FC06D1301273E001FE014C048D907F8130300786D6C13070070D900FFEB0F8000F091387FE07F486EB512006F5B03075B6F5B3005B0040ED1F8033127C9B3C>24 D102D<12FCEAFFC0EA07F0EA01FC6C7E137F7F80131FB3A580130F6D7E6D7EEB01FC9038007FC0EC1FE0EC7FC0903801FC00EB03F0495A495A131F5CB3A5133F91C7FC5B13FE485AEA07F0EAFFC000FCC8FC1B4B7BB726>电子%结束DVIPSBitmapFont%DVIPS位图字体：Ft cmr9 9 79/Ft 79 128 df<91393FE00FE0903A01FF83FF8903A07E01EF83C903A1F800FF07E903A3F001FE0FE017E133F4914C0485A1738484890381F8000ACB812C0A33B03F0001F8000B3A7486C497EB50083B5FCA32F357FB42D>11 D我24日D<003C13F0387E01F838FF2003年2月3日至2003年6月7日第81383天第80天第6000页第11306页第4000页第3130页第2000页第248页第131c页第000页第61318000页1338000C13300001C13704813E0387001C00060138017177EB326>34编号：123C127EB4FCA21380A2127F123D1201A412031300A25A1206120E120C121C5A5A126009177AB315>39 D<14C01301EB0380EB0F00130E5B133C5B5BA2485A485AA212075B120F90C7FC5AA2121E123EA3123C127CA55AB0127CA5123C123C123EA3121E121FA27E7F12077F1203A26C7E6C7EA213787F131C7F130FEB0380EB01C01300124A79B71E>我<12C07E1270123C121C7E120F6C7E6C7EA26C7E3C7EA27F1378137C133C133EA2131E131FA37F1480A5EB07C0B0EB0F80A514005BA31E133EA2133C137C137813F85BA2485A485A48C7FC120E5A123C12705A5A124A7CB71E>I<123C127EB4FCA21380A2127F123D1201A412031300A25A1206120E120C121C5A5A126009177A8715>44 DI<123摄氏度127E12FFA4127E123C08087A8715>I<1530157815F8A215F01401A215E01403A215C01407A21580140FA215005CA2143C147CA2147814F8A25C1301A250C1303A25C1303A25C1307A2495AA291C7FC5BA2131E133EA2133C137CA2137813F8A25B1201A225B1203A2485AA25B120FA290C8FC5AA2121E123EA2123C127CA2127812F8A25A12601D4B7CB726>我I<13075B5B137FEA07FFB5FC13BFEAF83F1200B3B3A2497E007FB51280A319327AB126>我我我I<000C14C0380FC00F90B5128015005C5C14F014C0D80C18C7FC90C8FCA9EB0FC0EB7FF8EBF07C380FC03F9038001F80EC0FC0120E000CEB07E0A2C713F01403A215F8A41218127E12FEA315F0140712F8006014E01270EC0FC06C131F003C14806CEB7F00380F80FE3807FFF800113E038003F801D347CB126>我<14FE903807FF80011F13E090383F00F0017C13703901F801F8EBF003EA03e01207ea0fc0ec01f04848c7fca248c8fca35a127eeb07eb1fc38fe381f9038700f809038E007C039FFC003E0018013F0EC01F8130015FC1400A24814FEA5127EA4127F6C14FCA26C1301018013F8000F14F0EBC0030007EB07E03903E00FC03901F81F806CB51200EB3FFCEB0FE01F347DB126>我<1230123C003FB6FCA34814FEA215FC0070C7123800601430157015E04814C01401EC0380C7EA07001406140E5C141814385CA25CA2495A1303A3495AA2130FA3131F91C7FCA25BA55BA9131C20347CB126>I型我我<123C127E12FFA4127E123C1200B0123C127E12FFA4127E123C08207A9F15>I<007FB812C0B912E0A26C17C0CCFCAC007FB812C0B912E0A26C17C033147C9C3C>61 D<15E0A34A7EA24A7EA34A7EA3EC0DFE140CA2EC187FA34A6C7EA202707FEC601FA202E07FECC00FA2D901807F1507A249486C7EA 301066D7EA2010E80010FB5FCA249800118C77EA24981163FA2496E7EA3496E7EA 20001821607487ED81FF04A7ED8FFFE49B512E0A333367DB53A>65 D我我我我我我我我<017FB5FCA39038003FE0EC1FC0B3B1127EB4FCA4EC3F805A0060140000705B6C13FE6C485A380F03F03803FFC0C690C7FC20357DB227>我我我我我我我82编号：90381FE00390387FFC0748B5FC3907F01FCF390F8003FF48C7FC003E80814880A200788000F880A46C80A27E92C7FC127F13C0EA3FF013FF6C13F06C13FF6C4C06C14F0C680013f7f01037f9038003ff140302001380157f153fed1fc0150f12c0a21507a37ea26cec0f80A26C15006C5C6C143E6C147E01C05B39F1FC03F800E0B512E0011F138026C003FEC7FC22377CB42B>I<007FB712FEA390398007F001D87C00EC003E0078161E0070160EA20060160600E01607A3481603A6C71500B3AB4A7E011FB512FCA330337DB237>我我我我89 D<003FB612FCA39039F80007F813C090C7EA0FF0003EEC1FE0123C0038EC3FC00078EC7F801270EDFF004A5AA20060495AA24A5A4A5AC7FC4A5A4A5AA24A5A4AC7FCA2495A495AA2495A1495AA24948130C495AA2495A49C7FCA24848141CA2485A485A1638485A484848147816F84848130148481307153FB7FCA326337CB22F>II<0003130C48131C000E133848137000181360003813E0003013C0EA700100601380A2EAE00300C01300A400DE137800FF13FCEB83FEA2EA7F81A2383F00FC001E1378171774B326>I我97天我I<153FEC0FFFA3EC007F81AEEB07F0EB3FFCEBFC0F3901F003BF3907E001FF48487E4887F8148C7FCA25A127E12FEAA127E127FA27E6C6C5BA26C6C5B6C6C4813803A03F007BFFC3900F81E3FEB3FFCD90FE0130026357DB32B>I我我<151F90391FC07F809039FFF8E3C03901F07FC73907E03F033A0FC01F83809039800F80000001F80EB00074880A66C5CEB800F000F5CEC01F6C6C48C7FCEBF07C380EFFF8380C1FC0001CC9FCA3121EA2121F380FFFECFFC06C14F06C14FC4880381F0001003EEB007F4880ED1F8048140FA56C141F007C15006C143E6C5C390FC001F83903F007E0C6B51280D91FFCC7FC22337EA126>我我我我我我<2703F01FE013FF00FF90267FF80313C0903BF1E07C0F03E0903BF3803E1C01F02807F7003F387FD803FE1470496D486C7EA2495CA2495CB3486c496c487eb53bc7fffe3fff0a3c217ea041>I<3903F01FC000FFEB7FF09038F1E0FC9038F3807C3907F7007EEA03FE497FA25BA25BB3486CEB7F80B538C7FFFCA326217EA02B>我我<3903F03F8000FFEBFFE09038F3C0F89038F7007ED807FE7F6C48EB1F804914C049130F16E0ED07F0A3ED03F8A9150716F0A216E0150F16C06D131F6DEB3F80160001FF13FC9038F381F89038F1FFE0D9F07FC7FC91C8FCAA487EB512C0A325307EA02B>I<903807F00390383FFC07EBFC0F3901F8038F3807E001000F14DF4886CB4FC497F123F90C77E5AA25AA9127FA36C6C5B121F6D5B000F5B3907E003BF3903F0073F3800F81EEB3FF8EB0FE090C7FCAAED7F8091380FFFFCA326307DA029>我<3803E07C38FFE1FF9038E38F809038E71FC0EA07EEEA03ECA29038FC0F8049C7FCA35BB2487EB512E0A31A217FA01E>I我<1330A51370A313F0A21201A2120031207381FFFFEB5FCA23803F000AF1403A814073801F806A23800FC0EEB7E1CEB1FF8EB07E0182F7FAD1E>I我我我我<3A7FFF807FF8A33A07F8001FC00003EC0F80001EC070015066C6C5BA26D131C017E1318A26D5BA2EC8070011F1360ECC0E0010F5BA2903807E180A214F3010390C7FC14FBEB01FEA26D5AA31478A21430A25CA214E05CA2495A1278D8FC03C8FCA21306130EEA公司701CEA7838EA1FF0EA0FC025307F9F29>I<003FB512F0A2EB000F003C14E00038EB1FC00030电子邮箱3f800070137f1500006013fe495a13035cc6485a495aa2495a495a49c7fc153013FE485A12035B48481370485A001F14604913E0485A387F000348130F90B5FCA21C207E9F22>我我识别号：001C1370387F01FC00FF13FEA4007F13FC381C0070170879B226>127东经%结束DVIPSBitmapFont%DVIPS位图字体：Fu cmr10 10 78/傅78 125 df11D类我我I<133C137EA213FE1201EA03FC13F0EA07E0EA0FC0EA1F80EA1E005A5A5A12C00F0F6FB92A>19 D<001C131C007F137F39FF80FF80A26D13C0A3007F137F001C131C00001300A40001130101801380A20003130301300485B00061306000E130E485B485B45B006013601A197DB92A>34 D<017C166048B416F02607C3801401260F81c01403d900e04a5a001e1784a5a000e6d141f003c013fec7f80007c90271be003ffc7fc0218B512BF007891381FFC3E00F8011CC75A020C14FC5F4C5A16035F4C5A1 60F4CC8FC021C5B00780118133E007C5D16FC003C01385B003E90383001F0001EEB70036C01E05B903981C007C03907C3800F2601FF005BD8007C49C9FC90C748EB07C0033EEB1FF04BEB3C3803FCEBF81C4B497E913A01F001E00602030103130703E0497E912607C0071480020F15011580DA1F00018013C04A010F1300143E5C14FC5C495A113035C495A130F4A0107130149C701C013805B013E1603490203140001FC6F5A490201130648913800F00E0003705A49ED3C3849ED1FF06C48ED07C03A437BBD45>37 D<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A1206120E5A5AA12600A1979B917>39编号：146014E0EB01C0EB0380EB0700130E131E5B5BA25B485AA2485AA212075B120F90C7FCA25A121EA2123EA35AA65AB2127CA67EA3121EA212F7EA27F12077F1203A26C7EA26C7E1378A27F7F130E7FEB0380EB01C0EB00E01460135278BD20>我<12C07E12707E7E7E120F6C7E6C7EA26C7E4C7EA21378A2137C133C133E131EA2131F7FA21480A3EB07C0A6EB03E0B2EB07C0A6EB0F80A31400A25B131EA2133E133C137C1378A25BA2485A485A48C7FC120E5A5AA5A13527CBD20>I<15301578B3A6007FB812F8B912FCA26C17F8C80078C8FCB3A6153036367BAF41>43 D<121C127FEAFF80A213C0A3127F121C1200A412011380A2120313005A1206120E5A5AA12600A19798817>我I<121C127FEAFF80A5EA7F00121C0909798817>我48天我我I<1538a2157815f8a2140114031407a2140f141b14331473146314C313011483EB030313071306130C13181330130136013C01201EA038013005A120E120C5A123812305A12E0B712F8A3C73803F800AB4A7E0103B512F8A325397EB82A>我<0006140CD80780133C9038F003F890B5FC5D5D158092C7FC14FC38067FE090C9FCABEB07F8EB3FFE9038780F803907E007E090388003F0496C7E12066E7EC87EA28181A21680A4123E127F487EA490C71300485C12E000605C1270030495A00385C6C1303001E495A6C6C485A3907E03F80001B5C7FC38007FFCEB1FE0213A7CB72A>I我<12301238123E003FB612E0A316C05A168016000070C712060060140E5D151800E01438485C5D5DC712014A5A92C7FC5C140E140C141C5CA25CA214F0495AA21303A25C1307A2130FA3495AA3133FA5137FA96DC8FC131E233B7BB82A>I我I<121C127FEAFF80A5EA7F00121CC7FCB2121C127FEAFF80A5EA7F00121C092479A317>I<121C127FEAFF80A5EA7 F00121CC7FCB2121C127F5A1380A4127F121D1201A412031300A25A1206A2120E5A21812385A1260093479A317>I<007FB812F8B912FCA26C17F8CCFCAE007FB812V8B912A26C17F836167B9F41>61D<1538A3157CA315FEA34A7EA34A6C7EA202077FEC063FA2020E7FEC0C1FA2021C7FEC180FA202387FEC3007A202707FEC6003A202C07F1501A2D901807F81A249C77F167FA20106810107b6fca24981010cc7121fa2496e7ea3496e7ea213e007e1201486c81d80FFC02071380B56C90B512FEA3373C7DBB3E>65 D我<913A01FF800180020FEBE003027F13F8903A01FF807E07903A03A03FC000F0FD90FF0EB039F4948EB01DFD93F80EB00FF49C8127F01FE153F12014848151F488150FA248481507A2485A1703123F5B007F1601A35B00FF93C7FCAD127F6DED0180A3123F7F001F160318006C7E5F6C7E17066C6C150E6C6C5D0001168017F15386D6C5CD91FE05C6D6CEB03C0D903FCEB0F80902701FF803FC7FC9039007FFFFC020F13F002011380313D7BBA3C>I我我我我我我76天我我我我82天我<003FB812E0A3D9C003EB001F273E0001FE130348EE01F00078160000701770A300601730A400E01738481718A4C71600B3B0913807FF80011FB612E0A335397DB83C>I86D类我89天91D<39018001800003130339070007000000E130E485B0018131800381330003013300070137000601360A200E013E0485BA400CE13CE39FF80FF806D13C0A3007F137FA2393F803F80390E000E001A1974B92A>我我97天我我我I<147E903803FF8090380FC1E0EB1F8790383F0FF0137EA213FCA23901F803C091C7FCADB512FCA3D801F8C7FCB3AB487E387FFFF8A31C3B7FBA19>我我我我我我我<2703F00FF0EB1FE000FFD93FFCEB7FF8913AF03F01E07E903BF1C01F83803F3D0FF3800FC7001F802603F70013CE01FE14DC49D907F8EB0FC0A2495CA3495CB3A3486C496CEB1FE0B500C1B50083B5FCA340257EA445>我<3903F00FF000FFEB3FFCECF03F9039F1C01F803A0FF3800FC03803F70013FE496D7EA25BA35BB3A3486C497EB5型00C1B51280A329257EA42E>I我<3903F01FE000FFEB7FF89038F1E07E9039F3801F803A0FF7000FC0D803FEEB07E049EB03F04914F849130116FC150016FEA316型7FAA16FEA3ED01FCA26DEB03F816F06D13076DEB0FE001F614C09039F7803F08038F1E07e9038f0ff8ec1fc091c8fcab487eb512c0a328357 ea42e>I我<3807E01F00FFEB7FC09038E1E3E09038E387F0380FE707EA03E613EE9038EC03E09038 FC0080491300A45BB3A2487EB512F0A31C257EA421>我我<1318A51338A31378A313F8120112031207001FB5FCB6FCA2D801F8C7FCB215C0A93800FC011580EB7C03017E13006D5AEB0FFEEB01F81A347FB220>我我我我我我<003FB512FCA2EB8003D83E0013F8003CEB07F00038EB0FE012300070EB1FC0EC3F800060137F150014FE495AA2C6485A495AA2495A495AAA290387F000613FEA2485AA485A0007140E5B4848130C4848131CA24848133C48C7127C48EB03FC90B5FCA21F247EA325>我我I E公司%结束DVIPSBitmapFont%DVIPS位图字体：Fv cmbx12 14.4 19/Fv 19 120 df<171F4D7E4D7EA24D7EA34C7FA24C7FA34C7Fa34C7fa24C8083047F80167E8304FE804C7E03018116F8830303814C7E3078116E08303F814C7e031F81168083033F8293C77E4B82157E8403FE824B800201835D840203834B800207835D844AB87EA24A83A3DA3F80C88092C97E4A84A2027E8202FE844A82010185A24A820203854A82010785A24A82010F855C011F717FEBFFFCB600F8020FB712E0A55B547BD366>65编号：932601FFCEC01C0047FD9FFC013030307B600F81307033F03FE131F92B8EA803F0203数据e003年2月7日数据020f01fcc7383f0f023f01e0ec0f94a01800203b5fc494848c9fc4901F8824949824982485B1B7F485B481A3FA248电话：F88249998249498249824990CA7E4948833A2484983485B1B749181FA3485B1B0FA25AA298C7FC5CA2B5FCAE7EA280A2F307C07EA36C7FA21B0F6C6D1980A26C1A1F6C7F1C006C6D606C6D187EA26D6C606D6D4C5A6D6D16036D6D6C5A6D1603A6D01FC4C5A6D6DEE7F806D6C6C4BC7FC6E01E0EC07FE020F01FEC1FF80203903AFFE001FFF0020091B612C0033F93C8FC030715FCDB007F14E0040101FCC9FC525479D261>67D类80D<91260FFF80130791B500F85B010702FF5B011FEDC03F49EDF07F9026FFFC006D5A4801E0EB0FFD4801800101B5FC4848C87E4848149150F001F824981123F4981007F82A28412FF84A27FA26D82A27F7F6D93C7FC14C06C13F014FF15F86CECFF8016FC6CEDFFC017F06C16FC6C16FF6C17C06C836C836 D826D82010F8213010082021F16801400030F15C0ED007F040714E01600173F050F13F08383A200788200F882A3187FA27EA219E07EA26CEFFFC0A27F6D4B13806D17006D5D01FC4B5A01FF4B5A02C04A5A02F8EC7FF0903B1FFFC003FFE0486C90B65AD8FC0393C7FC48C66C14FC48010F14F048D9007F90C8FC3C5479D24B>83D类85天97 D<913803FFC0023F13FC49B6FC010715C04901817F903A3FFC007FF849486D7E49486D7F4849130F48496D7e48178048497F18C0488191C7FC4817E0A248815B18F0A212FFA490B8FCA318E049CAFCA6127FA27F7EA218E06CEE01F06E14037E6C6DEC07E0A26C6DEC0FC06C6D141F6C6DEC3F806D6CECFF00D91FFEEB03FE903A0FFFC03FF8010390B55A010015C0021F49C7FC020113F034387CB63D>101 D103编号：137F497E000313E0487FA76C5BA26C5BC613806DC7FC90C8FCADEB3FF0B5FCA512017EB3B3A6B612E0A51B547BD325>105 D108天我I<913801FFE0021F13FE91B612C0010315F0010F9038807FFC903AFFC000FFED97FF86D6C7E49486D7F48496D7F18496D7F4A147F48834890C86C7EA24883A248486F7EA3007F1880A400FF18C0AC007F1880A3003F18006D5DA26C5FA26C5F6E147F6C5F6C6D4A5A6C6D495B6C6D495B6D6C495BD93FFE011F90C7FC903A0FFF807FFC6D90B55A010015C0023F91C8FC020113E03A387CB643>I<903A3FF001FFE0B5010F13FE033FEBFFC092B612F002F301017F913AF7F8007FFE0003D9FFE0EB1FFC602806D7F92C76C7F4A824A6E7F4E7FA2717FA285187f85a4721380ac1a0600a3618ffa2615f616e4a5ba26e4a5b6e4a5b6f495b6f4990c7fc03F0EBFFFC9126FBFE075B02F8B612E06F1480031F01FCC8FC03133C092CBFCB1B612F8A5414D7BB54B>I<90397FE003FEB590380FFF80033F13E04B13F09238FE1FF89139E1F83FFC0003D9E3E013FEC6ECC07FECE78014EF150014EE02FEEB3FFC5CEE1FF8EE0FF04A90C7FCA55CB3ABB612FCA52F367CB537>114 D<903903FFF00F013FEBFE1F90B7FC120348EB003FD80FF81307D81FE013014887F4900127F90C87EA24881A27FA27F01F091C7FC13FCEBFFC06C13FF15F86C14FF16C06C15F06C816C816C681013F1580010F15C0100020714E0EC003F030713F015010078EC007F00F8153F161F7E160FA27E17E07E6D141F17C07F6DEC3F8001F8EC7F0001FEEB01FE9039FFC00FFC6DB55AD8FC1F14E0D8F807148048C601F8C7FC2C387CB635>I<143EA6147EA414FEA2130A313031307A2130F131F133F13FF5A000F90B6FCB8FCA426003FFEC8FCB3A9EE07C0AB011FEC0F8080A26DEC1F0015806DEBC03E6DEBF0FC6DEBFFF86D6C5B021F5B020313802A4D7ECB34>I我119德国%结束DVIPSBitmapFont结束%%结束Prolog%%开始安装程序%%特点：*分辨率600dpiTeXDict开始%%纸张尺寸：A4%%结束设置%%页码：1 11 0 bop 1250 448 a Fv（计算）46 b（答案）l（er）e（集合）1154598 y（使用）h（程序）h（完成）1245 886 y Fu（y）-7b（uliy）n（a）28 b（Bab）r（o）n（vic）n（h）e（and）h（Vladimir）h（Lifsc）n1060 y Ft（部门）n（t）c（of）i（计算机）f（科学）14011152年（Univ）n（ersit）n（y）g（of）h（T）-6 b（exas）27 b（Austin）e（USA）14551243年Fs（f）p Fr（yuliya）41 b（vl）p Fs（g）p Fr@cs.utexas.edu）7591541 y Fq（抽象）i Ft（The）36 b（answ）n（er）g（sets）h（for）g（a）f（tigh）n（t） g（逻辑）h（程序）f（can）g（b）r（e）f（c）n（harac-）759 1632y（terized）d（as）h（the）e（mo）r（dels）h（of）g（its）h（结果）n（ly）g（they）g（can）h（b）r（e）759 1724 y（生成）25b（使用）g（a）f（satis\014abilit）n（y）i（solv）n（er）f（这个）g（是）g（the）f（主要）g（概念）h（of）g（V）-6 b（版本）24 b（1）759 1815 y（of）j（the）f（answ）n（er）h（set）g（solv）n（er）g Fp（cmodels）p Ft（|a）f（system）g（that）g（computes）f（answ）n（er）i（set）759 1906 y（for）33 b（the）f（logic）i（programs）e（that）g（are）h（tigh）n（t）f（or）g（can）g（b）r（e）g（transformed）h（in）n（to）f（tigh）n（t）759 1998年y（程序）27 b（除了）f（对于）h（这个）f（限制）iFp（cmodels）f Ft（has）f（the）g（same）g（input）g（lan-）759 2089y（量规）j（as）g（the）e（answ）n（er）i（set）g（solv）n（er）f Fp（smodels）pFt（.）h（W）-6 b（e）27 b（讨论）i（计算）f（计算）7592180 y（方法）r（ds）c（使用）h（in）f（V）-6 b（版本）25 b（1）g（共）hFp（模型）f Ft（和）f（数学）f（原理）7592272 y（它们）h（是）h（基于）g（on）g（和）f（比较）h（f（p）r（性能）h（of）g（the）g（t）n（w）n（o）g（systems）523 2534 y Fo（1）112b（In）m（tro）s（duction）523 2718 y Fu（Computing）27 b（answ）n（er）e（sets）h（for）g（逻辑）g（程序）f（is）h（an）h（imp）r（ortan）n（t）f（计算）g（问题）523 2818 y（lem.）k（创建）f（of）h（e）n（t）g（系统）f（for）h（computing）f（answ）n（er）g（sets）g（has）h（led）g（to）g（the）5232918 y（dev）n（devpmen）n（t）j（of）h（the）g（programming）d（metho）r（dology）i（kno）n（wn）g（as）g（answ）n（er）f（set）h（程序-）523 3017y（ming.）19 b（Suc）n（h）g（systems）g（are）f（称为）h（answ）n（er）e（set）j（solv）n（ers，）d（and）i（the）g（t）n（w）n（o）g（b）r（est）g（kno）n（wn）f（系统）5233117 y（共）30 b（本）h（种类）g（均）e Fn（smodels）h Fu（含）h（其）g（fron）n（t端）f Fn（lp）-6 b（arse）2420 3087 y Fm（1）2488 3117 yFu（和）30 b Fn（dl）-7 b（v）2791 3087 y Fm（2）2828 3117 yFu（.）30 b（这些）g（系统）523 3216 y（是）24 b（有点）h（类似）f（到）h（SA）-7 b（T）25 b（solv）n（ers | systems）e（for）i（solution）f（the）h（prop）r（位置）f（sat-）523 3316 y（能力）n（y）31 b（问题）f（但）h（in）h（some）e（w）n（a）n（ys）f（the）j（problem）e（of）h（computing）g（answ）n（er）e（集合）i（is）523 3416 y（计算）c（更多）g（di\016cult.）6483515 y（This）38 b（pap）r（er）g（is）g（ab）r（out）h（V）-7 b（版本）37b（1）h（of）h（the）g（answ）n（er）d（set）j（solv）n（er）e Fn（cmodels）oFu（，）3119 3485 y地层（3）3195 3515 y Fu（whic）n（h）523 3615y（计算）29 b（answ）n（er）f（集合）h（使用）g（SA）-7 b（T）30b（solv）n（ers）d（for）i（searc）n（h.）e（It）j（is）f（similar）g（to）gFn（smodels）g Fu（in）523 3715 y（that）24 b（its）h（input）g（can）f（b）r（e）g（生成）f（b）n（y）h（the）g（prepo）r（cessor）e Fn（lp）-6b（arse）p Fu（.）25 b（Addition）e（negation）h（as）523 3814 y（failure）c（the）h（输入）g（ma）n（y）e（con）n（tain）h（cardinalit）n（y）f（表达式）f（约束）n（t）h（文字“）g（in）i（the）523 3914 y（术语）j（of）1073 3907 y（[）1096 3914 y（1，）i（截面）g（5.3）1583 3907y（]）1605 3914 y（\））g（和）g（c）n（选择）f（规则）2265 3907y（[）2288 3914 y（1，）h（截面）g（5.4）2775 3907 y（]）27973914 y（|t）n（w）n（o）f（构造）523 4013 y（广泛）h（使用）h（in）g（answ）n（er）e（set）h（编程）1979 3983 y Fm（4）2041 4013 yFu（处理）g（这些）g（构造）g（是）g（基于）g（基于）5234113y（the）32b（metho）r（d）g（for）g（excidation）f（them）h（in）g（fa）n（v）n（或）e（of）i（嵌套）g（表达式）e（in）i（意义）g（of）5234206年（[）5464213年（2）5884206年（]）6384213年f（in）1366 4206 y（[）1389 4213 y（3）1431 4206 y[]1454 4213y（.）648 4312 y（）i（使用）h（of）g（SA）-7 b（T）30 b（溶剂）n（ers）e（用于）i（生成）e（answ）n（er）g（集合）i（is）g（基于）f（基于）h（事实）g（即）523 4412 y（for）35 b（the）h（logic）f（programs）e（with）j（a）g（sequent）e（syn）n（战术）i（道具）r（ert）n（y）-7b（，）34b（称为）h（tigh）n（tness，）h（the）p523 4474 473 4 v 546 4527华氏度（1）606 4559华氏度(http://www.tcs.hut.fi/Softwar网站)q（e/sm）q（模型）q（/）45b（.）546 4619 y Fl（2）606 4650 y Fr(网址：http://www.dbai.tuwien.ac.at/)q（项目）q（/dlv/）h（.）546 4710 y Fl（3）606 4742 y Fr(网址：http://www.cs.utexas.edu/user)q（s/ta）q（g/cmo）q（dels）g（.）26b Ft（Ab）r（out）f（V）-6 b（版本）25 b（2）h（参见）g（章节）g（5.）5464801 y Fl（4）606 4833 y Ft（The）g（input）f（can）i（also）g（con）n（tain）f（一般）h（w）n（eigh）n（t）g（表达式）g（\（\\w）n（文字“\）.）j（Ho）n（w）n（ev）n（er）606 4924 y（optimize）d（statemen）n（ts）1305 4918 y（[）1326 4924 y（1，）g（截面）g（5.6）1777 4918y（]）1825 4924 y（are）g（not）g%%页码：2 22 1 bop 523 448 a Fu（answ）n（er）26 b（set）i（seman）n（tics）f（is）h（equiv）-5b（alen）n（t）28 b（to）g（the）g（completion）g（seman）n（tics）2831441年（[）2854 448年（4）2896 441年y（[）2992 448 y（5）3034 441 y（]）3057 448 y448年（6）3173 441年（]）3196 448年（answ）n（er）e（set）i（编程）e（包括）i（那些）f（相关）g（to）h（计划）f（和）523 648 y（常识）f（推理）g（are）g（经常）i（tigh）n（t.）g Fn（cmodels）f Fu（simpli\014es）g（the）h（giv）n（en）f（program，）523 747 y（and，）34 b（if）g（the）g（simpli\014ed）g（program）e（is）i（tigh）n（t，）g（forms）f（its）h（completion.）g（Then）g（it）g（con）n（v）n（erts）523格式847 y（the）e（completion）f（to）h（classal）e（form）i（and）f（calls）g（a）g（SA）-7b（T）32 b（溶剂）n（er）e（to）i（\014nd）g（its）f（mo）r（dels.）h（This）523946 y（方法）r（d）27 b（is）f（适用）g（仅）g（当）h（the）f（simpli\014ed）h（程序）d（is）j（tigh）n（t；）f（if）h（it）g（is）f（not）g（V）-7b（er-）523 1046 y（sion）27 b（1）g（of）g Fn（cmodels）g Fu（will）h（tell）g（用户）e（即）i（it）g（是）f（无法）h（到）f（\014nd）h（answ）n（er）e（设置）h（for）g（the）523 1146 y（giv）n（en）34 b（program.）f（On）i（the）g（other）f（in）g（some）f（cases）g Fn（cmodels）h Fu（computes）f（answ）n（er）5231245 y（组）27 b（更快）g（比）h（一般用途）r（ose“）c（answ）n（er）i（set）i（solv）n（ers）648 1345 y（The）g（system）h（w）n（as）f（writed）h（b）n（y）g（the）g（\014rst）f（author）h（with）g（the）g（help）g（of）g（other）f（mem）n（b）r（ers）523 1445 y（of）23 b（T）-7 b（exas）23b（Action）h（Group）f（at）g（奥斯汀）1728 1414 y Fm（5）1790 1445 y Fu（The）g（程序）f（包括）h（一些）g（部分）g（of）g（the）h（co）r（de）523 1544 y（of）k Fn（smodels）fFu（书面）h（b）n（y）f（P）n（atrik）f（Simons.）648 1644 y（In）21b（the）g（next）h（section）e（w）n（e）h（review）f（the）i（syn）n（tax）e（of）h（逻辑）f（程序）f（规则）i（of）g（t）n（w）n（o）f（种类|）523 1743y（规则）31 b（生成）f（b）n（y）g Fn（lp）-6 b（arse）32 bFu（and）f（rules）g（with）h（嵌套）f（expressions.）e（Then）j（w）n（e）e（discussion）523 1843 y（the）23 b（计算）e（方法）r（ds）i（使用）f（in）g（V）-7b（版本）22 b（1）g（of）g Fn（cmodels）g Fu（and）g（the）g（数学）5231943年y（原则）39 b（它们）g（是）f（基于）h（基于）g（节）g（3），）h（和）f（rep）r（ort）f（on）h（exp）r2042年（第33节b（4））f（W）-7 b（e）33 b（结束）g（b）n（y）f（简短）g（共同）n（ts）h（on）f（相关）g（w）n（工作）f（和）h（未来）h（计划）5232142 y（第28 b（5）节）523 2379 y Fo（2）112 b（同义）m（税）38b（of）g（规则）523 2549 y Fu（The）19 b（输出）g（of）g Fn（lp）-6b（arse）20 b Fu（is）e（a）h（完全）g（接地）f（程序|a）e（程序）h（无）i（v）-5 b（变量）523 2649 y（相应地）e（，）30b（in）i（this）f（pap）r（er）g（w）n（e）g（understand）g（the）g（w）n（ord）g（\\atom“）e（as）i（in）g（prop）r（positional）523 2749 y（logic.）523 2969y Fk（2.1）95 b（Lparse）32 b（Programs）523 3106 y Fu（The）e（output）h（of）fFn（lp）-6 b（arse）31 b Fu（ma）n（y）e（include）i（rules）e（of）h（three）g（t）n（yp）r（es.）g（W）-7 b（e）31 b（de\014ne）f（a）g Fj（basic）f（rule）5233206 y Fu（to）f（b）r（e）g（an）f（表达式）f（of）h（形式）12143352 y Fi（A）1276 3364 y Fm（0）1337 3352 y Fh（）23 b Fi（b）15053364 y Fm（1）1542 3352 y Fi（；）14 b（：）g（：）克（：）g（；）g（A）17893364 y Fg（m）1852 3352 y Fi（；）g（not）28 b（A）2099 3364 yFg（m）p Fm（+1）2246 3352 y Fi（；）14 b（：）g（：）g（：）g（；）g（非）28b（A）2641 3364 y Fg（n）3299 3353 y Fu（1）523 3500 y（其中）gFi（A）826 3512 y Fm（0）893 3500 y Fu（is）g（an）h（atom）f（or）g（the）h（sym）n（b）r（ol）f Fh（？）p Fu（，）h（和）f Fi（A）2180 3512 y Fm（1）22183500年Fi（；）14磅（：）克（：）g（：）f（；）h（A）2464 3512年Fg（n）25383500 y Fu（are）28 b（atoms）g（）p Fi（n）d Fh（025）g Fi（m）gFh（\025）f Fu（0\）。）523 3599 y（A）k Fj（c）n（选择）f（规则）gFu（has）g（the）h（form）985 3745 y Fh（f）p Fi（A）1089 3757y Fm（0）1126 3745 y Fi（；）14 b（：）g（：）克（：）g（；）g（A）1373 3757y Fg（k）1414 3745 y Fh（g）22 b（）h Fi（A）1646 3757 y FgFm（+1）1772 3745 y Fi（；）14 b（：）g（：）g（：）f（；）h（A）2018 3757y Fg（m）2081 3745 y Fi（；）g（not）28 b（A）2328 3757 y FgFm（+1）2475 3745 y Fi（；）14 b（：）g（：）g（：）c（；）g（非）28 b（A）28703757 y Fg（n）3299 3746 y Fu（2）523 3893 y（其中）f Fi（A）8253905 y Fg（i）881 3893 y Fu（are）f（atoms）h（p Fi（n）c Fh（025）gFi（m）g Fh（\025）g Fi（k）j Fh（\025）c Fu（0\））28 b（A）g Fj（w）n（eigh）n（t）f（约束）n（t）f（规则）h Fu（has）g（the）h（形式）612 4038y Fi（A）674 4050 y Fm（0）734 4038 y Fh（）23 b Fi（L）14 bFh（f）p Fi（A）1015 4050 y Fm（1）1075 4038 y Fu（=）23 b Fi（w）12224050 y Fm（1）1259 4038 y Fi（；）14 b（：）g（：）克（：）g（；）g（A）15064050 y Fg（m）1592 4038 y Fu（=）23 b Fi（w）1739 4050 y F（m）18024038 y Fi（；）14 b（非）28 b（A）2049 4050 y Fg（m）p Fm（+1）22194038 y Fu（=）23 b Fi（w）2366 4050 y Fg（m）p Fm（+1）2514 4038y Fi（；）14 b（：）g（：）g（：）f（；）h（非）28 b（A）2908 4050 y Fg（n）29764038 y Fu（=）23 b Fi（w）3123 4050 y Fg（n）3169 4038 y Fh（g）32994039 y Fu（\（3\））523 4186 y（其中）34 b Fi（A）832 4198 yFm（0）904 4186 y Fu（is）h（an）f（atom）g（or）g（the）h（sym）n（b）r（ol）fFh（？）p Fu（，）h Fi（A）2071 4198 y Fm（1）2108 4186 y Fi（；）14b（：）克（：）g（：）g（：）c（；）g（A）2355 4198 y Fg（n）2435 4186 y Fu（are）33b（原子）h（（）p Fi（n）h Fh（025）f Fu（0），）h（和）f Fi（L）5234286 y Fu（（lo）n（w）n（er）26 b（b）r（ound））j（and）e Fi（w）1281年4298 y Fm（1）1319 4286 y Fi（；）14 b（：）g（：）g（：）f（；）h（w）15624298 y Fg（n）1636 4286 y Fu（w）n（eigh）n（ts））27 b（are）f（in）n（tegers）648 4385 y（In）e（特别是）f（a）g Fj（cardialit）n（y）g（constraint）n（t）g（规则）g Fu（is）h（a）g（w）n（eigh）n（t）f（constraint）n（t）g（rule）h（with）g（all）523 4485 y（w）n（eigh）n（ts）j（等于）g（到）g（1.）g（In）h（例如）n（h）g（a）f（规则）g（全部）g（=）c Fi（w）2043 4497 y Fg（i）2099 4485 y Fu（罐）k（b）r（e）h（滴管）r（编辑）648 4585 y Fj（An）d（lparse）g（program）e Fu（is）j（a）f（\014nite）h（set）f（of）h（basic），）f（c）n（hoice）f（and）h（w）n（eigh）n（t）g（constraint）n（t）g（rules）523 4684 y（The）k（concept）g（of）g（an）g（answ）n（er）f（set）h（稳定）g（mo）r（del）g（for）g（programs）e（of）i（this）g（kind）h（and）f（for）5234784 y（更多）e（通用）f（逻辑）h（程序）e（is）j（de\014ned）g（in）20654777y（[）2088 4784 y（7）2130 4777 y（]）2181 4784y（and）f（review）n（ed）g（in）2781 4777 y（[）2804 4784 y（3，）g（Section）g（3）3228 4777y（]）3251 4784 y（.）p 523 4839 473 4 v 546 4893 a Fl（5）606年4924年前(网址：http://www.cs.utexas.edu/user)q（s/ta）q（g/）45b（.）p人%%页码：3 33 2 bop 523 448 a Fk（2.2）95 b（基本）31 b（嵌套）g（程序）523600 y Fu（A）d Fj（基本）f（嵌套）h（规则）f Fu（is）h（an）f（表达式）f（of）h（形式）h（形式）624 763 y Fi（A）686 775 y Fm（0）746 763 y Fh（）23b Fi（A）914 775 y Fm（1）952 763 y Fi（；）14 b（：）g（：）克（：）g（；）g（A）1199775 y Fg（k）1240 763 y Fi（；）g（not）27 b（A）1486 775 y F（k）qFm（+1）1611 763 y Fi（；）14 b（：）g（：）g（：）c（；）g（非）28 b（A）2006775年Fg（m）2069年763年Fi（；）14年b（非）28年b（不）f（A）2463775 y Fg（m）p Fm（+1）2611 763 y Fi（；）14 b（：）g（：）g（：）f（；）h（非）28b（非）g（A）3153 775 y Fg（n）3299 764 y Fu（4）523 928y（其中）e Fi（A）824 940 y Fm（0）888 928 y Fu（is）g（an）h（atom）f（or）f（the）i（sym）n（b）r（ol）f Fh（？）p Fu（，）g（和）h Fi（A）2158 940 y Fm（1）2195928年Fi（；）14磅（：）克（：）g（：）g（；）g（A）2442 940年Fg（n）2514928 y Fu（are）25 b（atoms）h（）p Fi（n）d Fh（025）g Fi（m）gFh（\025）f Fi（k）k Fh（\025）523 1027 y Fu（0\）。）f（The）g（列表）g（连词“）f Fi（A）1605 1039 y Fm（1）1643 1027y Fi（；）14 b（：）g（：）g（：）gg（；）g（A）1890 1039 y Fg（k）1956 1027y Fu（in）25 b（the）g（the）r（o）r（dy）g（of）g（the）g（rule）g（will）g（b）r（e）g（称为）g（the）523 1127 y Fj（p）r（ositiv）n（e）i（part）g Fu（of）h（the）g（b）r（o） r（dy）-7 b（.）648 1227 y Fj（A）28 b（基本）f（嵌套）h（程序）eFu（is）i（a）g（\014nite）g（set）g（of）g（basic）f（nested）i（rules）e（This）h（is）g（a） f（sp）r（special）523 1326 y（case）21 b（of）h（the）g（concept）f（of）h（a）f（程序）f（带）i（嵌套）g（表达式）e（in）n（tro）r（导出）h（in）30591319年（[）3082 1326年（2）3124 1319年1426 y（一般）f（case），i（三）f（connectivn）n（es |否定）f（as）h（失败，）h（合取）g（和）f（析取）523 1526y（\（；\）| can）30 b（b）r（e）h（嵌套）f（任意）-7 b（.）28b（概念）e（of）h（an）g（answ）n（er）f（集合）h（for）g（suc）n（h）f（程序）523 1625 y（is）f（de \014ned）f（in）989 1618 y（[）1012 1625年y（2）1054 1618 y（]）1105 1625 y（and）g（review）n（ed）g（in）1704年1618 y（[）1728 1625 y（3，）g（Section）g（2）2152 1618 y1625年（.）648 1725年（If）k（the）h（b）r（o）r（dy）g（of）f（a）g（rule）g（for）g（an）n（y） g（of）g（the）h（t）n（yp）r（es）f（descrip）r（ed）g（ab）r（o）n（v）n（e）f（is）h（empt）n（y）h（then）f（w）n（e）523 1824 y（will）h（drop）e Fh（）pFu（.）i（规则）f（with）h（the）g（head）f Fh（？）g Fu（are）f（called）hFj（约束）n（ts）p Fu（；）f（in）i（a）f（约束）n（t，）f（w）n（e）5231924年y（will）e（drop）f（the）h（head.）523 2158 y Fk（2.3）95b（T）-8 b（转动）31 b（a）i（Lparse）f（程序）f（in）m（to）h（a）g（基本）g（嵌套）f（程序）523 2310 y Fu（The）k（results）g（of）10752303年（[）1098 2310年（8）1140 2303年2303 y（[）1390 2310 y（3，）f（章节）i（4.3）1895 2303 y2310年（sho）n（w）e（that）i（c）n（hoice）e（rules）g（and）h（w）n（eigh）n（t）g（con-）523 2409 y（菌株）n（t）26 b（规则）g（可以）g（b）r（e）h（排除）g（来自）f（a）g（lparse）g（program）f（at）h（the）h（价格）f（of）h（in）n（tro）r（duc-）5232509 y（ing）c（额外）g（原子）1286 2479 y Fm（6）13462509 y Fu（In）h（other）e（w）n（ords）h（an）n（y）f（lparse）g（program）g（can）h（b）r（e）h（转向）f（in）n（转向）g（an）523 2608 y（本质）n（基本）28b（等价）-5 b（alen）n（t）28 b（集合）h（of）g（基本）f（规则）g（此）h（事实）g（is）g（imp）r（ortan）n（t）f（for）h（the）g（design）f（of）523 2708y Fn（cmodels）p Fu（，）e（b）r（因为）f（the）i（通常）e（定义）i（of）f（程序）e（完成）2791 2701 y（[）2815 2708 y（9）28572701年（]）2905 2708年（co）n（v）n（ers）g（两者都不是）523 2808y（c）n（选项）j（规则）g（nor）g（w）n（eigh）n（t）g（约束）n（t）f（规则）6482907年（The）h（computative）g（pro）r（cedure）g（emplo）n（y）n（ed）g（in）gFn（cmodels）h Fu（使用）f（a）g（翻译）g（即）523 3007y（is）40 b（类似）g（to）h（the）f（one）h（de\014ned）f（in）17493000 y（[）1772 3007 y（3，）h（截面）f（4.3）2288 3000 y（]）23513007 y（但）h（pro）r（duces）f（programs）e（of）i（a）523 3107y（sligh）n（tly）31 b（more）g（general）g（form | basic）f（nested）i（programs）e（in）i（the）g（sense）f（of）h（Section）g（2.2.）523 3206 y（This）21段b（mo）r（di\014阳离子）h（allo）n（ws）e（us）h（to）g（reduce）g（the）h（n）n（um）n（b）rh（附加）f（原子）f（in）n（tro）r（诱导）5233306 y（in）41 b（the）f（translation.）g（the）g（concept）g（of）g（completion）g（is）h（扩展）f（到）g（程序）e（带）523 3405 y（嵌套）31b（表达式）f（in）i（the）f（b）r（o）r（dies）h（of）f（rules）f（on）21333398年（[）2156 3405年（10）2240 3398年n（tness）g（condition）g（is）523 3505 y（generalized）26 b（to）i（suc）n（h）f（程序）e（in）1703 3498 y（[）1726 3505 y（6）1768 3498y（]）1791 3505 y（.）648 3605 y（F）-7 b（或）27 b（实例）g（the）h（lparse）e（程序）1859 3763 y Fh（f）p Fi（p；）14 b（q）s Fh（g）18593863 y Fi（r）25 b Fh（）f Fi（p）1859 3963 y（r）h Fh（3864 y Fu（5）523 4123 y（is）k（翻译）e（b）n（y）iFn（cmodels）f Fu（in）n（to）g（the）h（follo）n（wing）f（program）e（with）j（嵌套）g（表达式：）1705 4282 y Fi（p）23 b Fh（）g Ff（not）36b（非）f Fi（p）1705 4381 y（q）27 b Fh（）c Ff（非）35 b（非）gFi（q）1705 4481 y（r）26 b Fh（）d Fi（p）1705 4581 yFi（q）s（：）3299 4432 y Fu（6））p 523 4656 473 4 v 5464710 a Fl（6）606 4742 y Ft（In）k（the）h（\014rst）f（pap）r（er）h（this）g（定理）f（is）i（陈述）f（only）g（for）g（the）g（case）g（of）h（cardialit）n（y）f（约束）n（t）606 4833 y（规则）j（所有）h（w）n（eigh）n（ts）f（are）g（相等）g（至）f（1）。）i（另一个）d（adv）l（an）n（阶段）i（of）g（翻译）g（de \014ned）f（in）606 4924 y（the）25 b（second）h（pap）r（er）g（is）g（that）g（it）f（is）i（more）e（economic.）p人%%页码：4 44 3 bop 523 448 a Fu（The）28 b（completion）f（of）h（this）f（program）f（is）1790 595年Fi（p）d Fh（\021）g（：：）p Fi（p）1790 695年（q）jFh（\021）d（：：）p Fi（q）1790 794 y（r）j Fh（\021）d Fi（p）18b Fh（_）h Fi（q）s（：）3299 696 y Fu（\（7））523 947 y（T）-7b（o）25 b（\014nd）h（the）f（answ）n（er）f（sets）h（for）g（program）e（\（5\），）iFn（cmodels）g Fu（calls）g（a）g（SA）-7 b（T）25 b（solv）n（er）f（to）h（\014nd）h（the）523 1047 y（mo）r（dels）i（of）f（\（7\）。）523 1288 y Fo（3）112年b（操作）s（操作）37 b（of）h（CMODELS）523 1463 y Fu（In）28b（pro）r（cess）e（of）i（its）g（op）r（eration），e Fn（cmodels）5171599 y Fu（1）41 b（simpli-014es）28 b（the）g（giv）n（en）f（lparse）f（程序）517 1692 y（2）41 b（圈）28 b（it）g（in）n（to）f（a）g（基本）g（嵌套）h（程序）517 1786 y（3）41 b（v）n（eri 014es）27b（即）g（即）h（结果）f（程序）f（即）i（tigh）n（即）5171879年（4）41 b（表格）27 b（程序）e（完成）h（和）g（调用）g（a）g（SA）-7 b（T）29 b（solv）n（er）c（to）j（\014nd）g（its）g（mo）r（dels）523 2021年（W）-7 b（e）28 b（将）g（讨论）f（eac）n（h）g（共）g（这些）h（步骤）f（一）h（b）n（y）f（一）523 2246 y Fk（3.1）95 b（简化）28b（the）k（Program）523 2388 y Fu（Some）c（of）g（the）h（simpli\014阳离子）f（描述）r（ed）g（b）r（elo）n（w）g（are）f（类似）g（to）h（那些）g（in）n（v）n（olv）n（ed）f（in）i（the）523 2487 y（op）r（eration）e（of）g Fn（smodels）13482480年傅（[）1371 2487年（11）1455 2480年（]）1477 2487年2587 y（If）i Fi（\005）35 b Fu（is）28 b（an）h（lparse）e（program）f（or）i（a）g（基本）g（嵌套）h（程序）d（b）n（y）j Fi（At）2818 2557y Fm（+）2873 2587 y Fu（）p Fi（\005）7 b Fu（\））29 b（w）n（e）f（表示）5232686 y（the）e（in）n（intersection）g（of）g（all）f（answ）n（er）g（sets）h（of）Fi（\005）7 b Fu（，）26 b（和）f Fi（At）2219 2656 y Fe（\000）22762686 y Fu（（）p Fi（005）7 b Fu（））26 b（代表）g（代表）f（the）i（集合）f（of）g（原子）523 2786 y（that）i（do）f（not）h（b）r（elong）f（to）h（an）n（y）e（of）i（the）g（answ）n（er）e（sets）h（of）h Fi（\005）7 b Fu（.）523 2930年Fk（定理）30 b（1.）41 b Ff（A）n（ny）30 bFi（\005）36 b Ff（of）31 b（the）f（form）1651 3077 y Fi（H）7b（ead）22 b Fh（）h Fi（b）t（ody）s（；）14 b（F）1651 3176 y（\005）17273146 y Fe（0）523 3333 y Ff（wher）l（e）30 b Fi（F）35 b Fh（2）24b Fi（At）1016 3303 y Fe（\000）1072 3333 y Fu（\005）7b Fu（\））30 b Ff（has）h（the）f（same）g（answer）g（sets）f（as）1878年3485 y Fh（）24 b Fi（F）1878 3584 y（\005）1954 3554 y Fe（0）19783584 y Fi（：）523 3733 y Fk（定理）30 b（2.）41 b Ff（L）L（et）30b Fi（\005）36 b Ff（b）l（e）30 b（a）g（lp）l（arse）g（pr）l（形式）g 1573 3879 y Fi（H）7 b（ead）23 b Fh（）g Fi（b）t（ody）s（；）14b Ff（非）38 b Fi（F）1573 3979 y（\005）1649 3949 y Fe（0）16733979 y Fi（：）523 4136 y Ff（（a））30 b（If）g Fi（F）35 b Fh（2）24b Fi（At）1009 4106 y Fm（+）1064 4136 y Fu（\（）p Fi（\005）7b Fu（\））30 b Ff（然后）g Fi（\005）36 b Ff有31 b（相同）e i（答案）f（集合）f（as）1801 4287 y Fh（）23 b Ff（not）38 b Fi（f）18014387 y（\005）1877 4357 y Fe（0）1900 4387 y Fi（：）523 4544y Ff（（b\））30 b（If）g Fi（F）35 b Fh（2）23 b Fi（At）1004 4514y Fe（000）1061 4544 y Fu（（）p Fi（005）7 b Fu（）30 bFf（then）f Fi（\005）37 b Ff（has）30 b（the）g（same）g（answer）g（sets）g（as）17024695 y Fh（）23 b Fi（F）1702 4795 y（H）7 b（ead）22 b Fh（Fi（B）t（ody）1702 4894 y（\005）1778 4864 y Fe（0）1801 4894y Fi（：）p人%%页码：5 55 4 bop 523 448 a Ff（示例）31 b（1.）42 b Fu（Let）28 bFi（\005）34 b Fu（b）r（e）28 b（the）g（程序）1747 605 y Fi（a）23b Fh（）g Fi（b；）14 b Ff（非）35 b Fi（c）1747 704 y（d）23b Fh（）g Ff（非）36 b Fi（a）1747 804 y（c）23 b Fh（）g Ff（非）35b Fi（d:）523 970 y Fu（The）29 b（only）g（answ）n（er）f（set）i（for）f（this）g（程序）f（is）h Fh（f）p Fi（d）p Fh（g）p Fu（.）g（Consequen）n（tyly）-7b（，）28 b Fi（At）2803 940 y Fm（+）2859 970 y Fu（\（）p Fi（\005）7b Fu（\））26 b（=）f Fh（f）p Fi（d）p Fh（g）k Fu（和）523 1070y Fi（At）615 1040 y Fe（\000）671 1070 y Fu（（）p Fi（\005）7b Fu（\））36 b（=）f Fh（f）p Fi（a）14 b（b；）g（c）p Fh（g）p Fu（.）33b（根据）h（to）h（定理）g（1，）f Fi（\005）42 b Fu（has）35b（）g（相同）f（answ）n（er）g（集合）h（as）523 1169 y（程序）17721264 y Fh（）23 b Fi（b）1772 1363 y（d）g Fh（b Fi（a）1772 1463 y（c）23 b Fh（）g Ff（not）36 b Fi1601 y Fu（F）-7 b（或）27 b（本）h（程序）d Fi（\005）12421570年Fe（0）1266 1601年Fu（，）1491 1700年Fi（At）1583 1666年y Fm（+）1638 1700 y Fu（\（）p-Fi（\005）1746 1666 y Fe（0）17701700年Fu（\）e（=）g Fi（At）2005年1666年Fm（+）2060年1700年Fu（（）p Fi（005）7 b Fu（））23 b（=）g Fh（f）p Fi（d）p Fh（g）5231837年Fu（and）1405 1937年Fi（At）1497 1902年Fe（\000）15541937年y Fu（（）p Fi（005）1662 1902年y Fe（0）1685 1937年yFu（））g（=）gFi（At）1920 1902 y Fe（\000）1976 1937 y Fu（\（）p Fi（\005）7b Fu（\））24 b（=）e Fh（f）p Fi（a）；）14 b（b；）g（c）p Fh（g）pFi（：）5232074 y Fu（By）27 b（定理）g（2（a），）g Fi（005）1278 2043y Fe（0）1329 2074 y Fu（has）g（the）h（same）f（answ）n（er）f（sets）i（as）1780年2234 y Fh（）23 b Fi（b）1780 2334 y（d）g Fh（、g Ff（非）35b Fi（a）1780 2434 y Fh（）23 b Ff（not）35 b Fiy Fu（This）28 b（program）d（can）i（b）r（e）h（further）g（simpli\014ed）g（using）f（定理）g（2（b），）h（和）f（the）h（result）g（is）1802 2757y Fh（）23 b Fi（b）1802 2857 y Fh[）g Fi（a）1802 2956 y（d）gFh（）1802 3056 y（）g Ff（非）35 b Fi（d:）523 3214 y Fk（定理）30b（3.）41 b Ff（A）n（ny）30 b（lp）l（arse）g（pr）lFi（\005）36 b Ff（of）31 b（the）f（form）1510 3370 y Fi（H）7b（ead）22 b Fh（）h Fi（L）14 b Fh-（f）p Fi（f）34 b Fu（=）23b Fi（w）r（；）14 b Ff（T）-6 b（ail）10 b Fh（g）1510 3469 y Fi（\005）15863439 y Fe（0）523 3636 y Ff（wher）l（e）30 b Fi（F）35 b Fh（2）24b Fi（At）1016 3606 y Fe（\000）1072 3636 y Fu（\005）7b Fu（\））30 b Ff（有）h（相同）g（答案）g（集合）f（as）16473797 y Fh（）23 b Fi（F）1647 3896 y（H）7 b（ead）22 b Fh（Fi（L）14 b Fh（f）p Ff（T）-6 b（ail）9 b Fh3966 y Fe（0）1746 3996 y Fi（：）523 4154 y Fk（定理）30b（4.）41 b Ff（L）L（et）30 b Fi（\005）36 b Ff（b）L（e）30 b（an）g（lp）L（arse）g（p）l（o）l（gr）l（am）h（of）f（the）g（form）1432 4310 y Fi（h）7b（ead）23 b Fh（）g Fi（L）14 b Fhf（f）p Ff（not）36 b Fi（f）fFu（=）23 bFi（w）r（；）14 bFf（T）-6 b（ail）10 bFh（g）14324410 y Fi（\005）1508 4379 y Fe（0）1531 4410 y Fi（：）5234576 y Ff（（a））30 b（If）g Fi（F）35 b Fh（2）24 b Fi（At）10094546 y Fm（+）1064 4576 y Fu（（）p Fi（\005）7 b Fu（））30b Ff（然后）g Fi（\005）36 b Ff有31 b（相同）e（相同）i（答案）f（设置）f（as）1647 4737 y Fh（）23 b Ff（非）37 b Fi（F）1647 4836 y（H）7b（头）22 b Fh（）h Fi（L）14 b Fh（f）p Ff（T）-6 b（尾）9 bFh（g）1647 4936 y Fi（\005）1723 4906 y Fe（0）1746 4936 y传真（：）%%页码：6 66 5 bop 523 448 a Ff（（b））30 b（If）g Fi（F）35 b Fh（2）23b Fi（At）1004 418 y Fe（\000）1061 448 y Fu（\005）7b Fu（\））30 b Ff（然后）f Fi（\005）37 b Ff有30 b（相同）g（答案）g（组）g（as）1565 632 y Fh（）23 b Fi（F）1565 732 y（H）7 b（ead）23b Fh（）g Fi（L）18 b Fhb Fh（g）1565 832 y Fi（\005）1641 801 y Fe（0）1664 832 yFi（：）523 1014 y Ff（示例）31 b（2.）42 b Fu（Let）28 b Fi（\005）34b Fu（b）r（e）28 b（the）g（program）1405 1193 y Fh（f）p Fi（a）pFh（g）1405 1293 y Fi（c）23 b Fh（）g Fu（4）p Fh（f）p Fi（a）fFu（=）h（1）p Fi（；）14 b（b）22 b Fub Fi（d）23 b Fu（=）g（2）p Fh（g）p Fi（：）523 1482 y Fu（The）i（answ）n（er）f（集合）h（用于）g（此）h（程序）d（are）i Fh（f）p Fi（a）p Fh（g）fFu（and）h Fh（；）p Fu（.）g（Consequen）n（tly）-7 b（，）25 b Fi（At）28981452 y Fm（+）2953 1482 y Fu（（）p Fi（\005）7 b Fu（））24b（=）e Fh（；）j Fu（和）523 1582 y Fi（At）615 1552 y Fe（\000）6711582 y Fu（\（）p Fi（\005）7 b Fu（\））24 b（=）e Fh（f）p Fi（b；）14b（c；）g（d）p Fh（g）p Fu（.）24 b（根据）f（to）i（定理）e（3，）iFi（\005）31 b Fu（has）24 b（the）h（same）f（answ）n（er）f（sets）i（as）f（the）5231681年（计划）1517 1779年Fh（f）p Fi（a）p Fh（g）1517 1878y（）f Fi（b）1517 1978 y（c）g Fh（）g Fu（4）p Fh（f）p Fi（a）fFu（=）h（1）p Fi（；）14 b Ff（非）35 b Fi（d）23 b Fu（=g（2）pFh（g）p Fi（：）523 2132 y Fu（F）-7 b（或）27 b（本）h（程序）dFi（\005）1242 2101 y Fe（0）1266 2132 y Fu（，）1533 2234 yFi（At）1625 2200 y Fm（+）1681 2234 y Fu（\（）p Fi（\005）17892200 y Fe（0）1812 2234 y Fu（\）e（=）g Fi（At）2047 2200 yFm（+）2102 2234 y Fu（（）p Fi（005）7 b Fu（））24 b（=）e Fh（；）5232387 y Fu（和）1406 2490 y Fi（At）1498 2456 y Fe（\000）15542490 y Fu（（）p Fi（005）1662 2456 y Fe（0）1685 2490 y Fo（）i（=）eFi（At）1920 2456 y Fe（\000）1977 2490 y Fu（\（）p Fi（\005）7b Fu（\））23 b（=）g Fh（f）p Fi（b）；）14 b（c；）g（d）p Fh（g）pFi（：）5232643 y Fu（By）27 b（定理）g（4），h Fi（005）1283 2612y Fe（0）1334 2643 y Fu（has）f（the）h（same）f（answ）n（er）f（sets）h（as）17102827 y Fh（f）p Fi（a）p Fh（g）1710 2926 y（）c Fi（b）1710 3026y Fh（）g Fi（d）1710 3125 y（c）g Fh（）g Fu（2）p Fh（f）p Fi（a）fFu（=）g（1）p Fh（g）p Fi（：）648 3319 y Fu（The）j Fn（smodels）hFu（pro）r（cedures）e Ff（A）n（tmost）33 b Fu（and）26 b Ff（A）n（tle）l（ast）23233312 y Fu（[）2346 3319 y（11，）f（章节）h（4.1｛4.3）30563312 y（]）d（[）3125 3319 y（12，）i（第523节3419 y（tion）35b（7）743 3412 y（]）766 3419 y（，）g（应用）h（到）f（a）g（程序）eFi（\005）42 b Fu（and）35 b（the）h（empt）n（y）g（set）f（\014nd）h（a）f（subset）g（共）g Fi（At）3209 3389 y Fm（+）3265 3419 y Fu（\（）p Fi（\005）7b Fu（\））523 3519 y（和）33 b（a）f（子集）g（of）h Fi（At）12153488 y Fe（000）1271 3519 y Fu（（）p Fi（005）7 b Fu（））33b（此）g（部分）f（of）h（the）g（co）r（de）f（of）h Fn（smodels）fFu（is）h（incorp）r（orated）e（in）523 3618 y Fn（c模型）pFu（，）f（和）g（the）h（sets）f（computed）h（b）n（y）f（these）h（pro）r（cedures）e（are）g（used）h（to）h（simplize）g（the）523 3718 y（program）26b（in）h（根据）f（根据）i（定理）f（1{4.）523 3972 yFk（3.2）95 b（T）-8 b（翻译）32 b（到）f（a）i（基本）e（嵌套）g（程序）523 4144 y Fu（As）24 b（讨论）g（ab）r（o）n（v）n（e）e（b）r（之前）i（p）r执行f（the）h（completion）g（pro）r（cedure）f Fn（cmodels）hFu（con-）523 4243 y（v）n（erts）k（the）g（simpli\014ed）h（lparse）f（program）e（in）n（to）j（a）f（basic）f（嵌套）i（program）e（使用）h（the）h（ideas）5234343年（共）621 4336年（[）645 4343年（3）687 4336年（]）7094343 y（.）j（In）f（Section）h（2.3）e（w）n（e）i（sa）n（w）e（an）h（示例）g（of）h（翻译）e（a）h（c）n（hoice）g（规则）g（in）n（到）g（a）g（集合）5234443 y（of）f（基本）g（嵌套）g（规则）g（否）n（w）g（w）n（e）f（将）i（考虑）e（a）h（示例）g（of）g（消除）g（a）g（w）n（eigh）n（t）5234542 y（约束）n（t）39 b（规则| an）g（op）r（操作）h（即）g（ma）n（y）f（in）n（v） n（olv）n（e）g（the）i（in）n（tro）r（duction）e（of）h（auxiliant）5234642 y（原子）523 4822 y Ff（示例）31 b（3.）42 b Fu（The）28b（规则）1485 4923 y Fi（p）23 b Fh（）g Fu（3）14 b FhFi（q）25 b Fu（=）d（3）p Fi（；）14 b（r）26 b Fub（s）23 b Fu（=）f（2）p Fh（g）p eop%%页码：7 77 6 bop 523 448 a Fu（is）28 b（\014rst）f（替换）g（b）n（y）g（四）g（更简单）g（规则：）1521 622 y Fi（p）22 b Fh（）i Fi（aux）1831634 y Fm（1）1521 722 y Fi（aux）1660 734 y Fm（1）1720 722y Fh（）f Fu（3）14 b Fh（f）p Fi（r）25 b Fu（=）d（2）p Fi（；）14b（s）23 b Fu（=）f（2）p Fh（g）1521 821 y Fi（p）g Fh（）i Fi（q）s（；）14b（aux）1908 833 y地层（2）1521 921 y地层（aux）1660 933 y地层（2）1720921 y Fh（）23 b Fu（0）14 b Fh（f）p Fi（r）25 b FuFi（；）14 b（s）23 b Fu（=）f（2）p Fh（g）p Fi（：）523 1096 y Fu（In）n（tuitiv）n（ely）-7 b（，）19 b（the）g（\014rst）f（pair）g（of）h（rules）f（corresp）r（onds）f（to）h（the）h（answ）n（er）f（sets）g（that）h（don’t）g（con）n（tain）5231196 y Fi（q）s Fu（，）31 b（and）f（the）h（second）g（pair）f（to）g（the）h（answ）n（er）e（集合）i（that）g（do）f（The）h（辅助）e（v）-5 b（变量）30b Fi（aux）3368 1208 y Fm（1）523 1296 y Fu（is）k（an）h（缩写“）d对于i（the）h（expression）e（3）14 b Fh（f）p Fi（r）36 b Fu（=）e（2）pFi（；）14 b（s）34 b Fu（=）g（2）p Fh（g）p Fu（，）f（和）i Fi（辅助）29681308 y Fm（2）3039 1296 y Fu（支架）g（用于）523 1395 y（0）14b Fh（f）pFi（r）25 b Fu（=）dFh（g）p Fu（.）d（Since）g（the）g（last）g（expression）e（is）i（iden）n（taly）g（真）g Fi（aux）2803 1407 y Fm（2）2859 1395 y Fu（can）g（b）r（e）g（dropp）r（d）523 1495 y（from）27 b（the）h（program）；e（w）n（e）h（get）15321668年Fi（p）c Fh（）g Fi（aux）1842 1680年Fm（1）1532 1768y Fi（aux）1671 1780 y Fm（1）1731 1768 y Fh（）g Fu（3）14年b Fh（f）pFi（r）25 b Fu（=）eFh（g）1532 1868 y Fi（p）g Fh（）g Fi（q）s（：）523 2043 y Fu（The）28b（下一步）f（步骤）h（is）g（类似：）1647 2137 y Fi（p）22 b Fh（）iFi（aux）1957 2149 y Fm（1）1647 2237 y Fi（aux）1786 2249y Fm（1）1846 2237 y Fh（）f Fi（aux）2091 2249 y Fm2337γ-Fi（aux）1786 2349γ-Fm（3）1846 2337γ-Fh（）g Fu（3）14b Fh（f）p Fi（s）22 b Fu（=）g（2）p Fh（g）1647 2436 y Fi（aux）17862448 y Fm（1）1846 2436 y Fh（）h Fi（r）n（；）14 b（aux）21632448 y Fm（4）1647 2536 y Fi（aux）1786 2548 y Fm（4）18462536 y Fh（）23 b Fu（1）14 b Fh（f）p Fi（s）22 b Fu（=）g（2）pFh（g）1647 2635 y Fi（p）g Fh（）i Fi（q）s（：）523 2784 y Fu（此处）29b Fi（aux）860 2796 y Fm（3）927 2784 y Fu（代表）g（代表）f（3）14b Fh（f）p Fi（s）25 b Fu（=）h（2）p Fh（g）p Fu（，）i（和）i Fi（aux）20072796 y Fm（4）2073 2784 y Fu（支架）f（用于）g（1）14 b Fh（f）pFi（s）25 b Fu（=）g（2）p Fh（g）p Fu（.）k（自）h（3）14 b Fh（f）pFi（s）24 b Fu（=）i（2）p Fh（g）523 2883 y Fu（is）i（iden）n（taly）f（false）g（the）h（程序）e（can）h（b）r（e）h（simpli\014ed）g（as）f（follo）n（ws:）16473057 y Fi（p）22 b Fh（）i Fi（aux）1957 3069 y Fm（1）16473157 y Fi（辅助）1786 3169 y Fm（1）1846 3157 y Fh（）f Fi（r）n（；）14b（辅助）2163 3169 y Fm（4）1647 3256 y Fi（辅助）1786 3268 yFm（4）1846 3256 y Fh（）23 b Fu（1）14 b Fh（f）p Fi（s）22 bFu（=）g（2）p Fh（g）1647 3356 y Fi（p）g Fh（）i Fi（q）s（：）5233536 y Fu（Finally）-7 b（，）33 b（w）n（e）h（use）f（the）h（fact）f（that）h（1）pFh（f）p Fi（s）d Fu（=）i（2）p Fh（g）f Fu（can）h（b）r（e）h（equiv）-5b（alen）n（ty）33 b（替换）g（b）n（y）g Fi（s）p Fu（，）g（和）5233635 y（arriv）n（e）26 b（at）h（a）g（set）h（of）g（basic）f（规则：）16873793 y Fi（p）c Fh（）g Fi（aux）1997 3805 y Fm（1）1687 3893y保真（aux）1826 3905 y Fm（1）1886 3893 y Fh（）h保真（r）n（；）14b（辅助）2204 3905 y Fm（4）1687 3992 y Fi（辅助）1826 4004 yFm（4）1886 3992 y Fh（）24 b Fi（s）1687 4092 y（p）f Fh（Fi（q）s（：）648 4267 y Fu（Ev）n（ery）k（辅助）h（原子）g（in）n（tro）r（诱导）h（in）g（the）h（pro）r（cess）e（of）h（平移）f（a）g（w）n（eigh）n（t）h（con-）5234367 y（菌株）n（t）e（规则）g（3）h（缩写“）d（an）i（表达式）g（即）g（di\013ers）h（来自）f（the）h（b）r（o）r（dy）779 4546y Fi（L）14 b Fh（f）p Fi（A）954 4558 y Fm（1）1014 4546 y Fu（=）22bFi（w）1160 4558 y Fm（1）1198 4546 y Fi（；）14 b:）g（：）g（；）g（A）14454558 y Fg（m）1531 4546 y Fu（=）22 b Fi（w）1677 4558 y F g（m4546 y Fi（；）14 b（非）28 b（A）1988 4558 y Fg（m）p Fm（+1）21584546 y Fu（=）23 b Fi（w）2305 4558 y Fg（m）p Fm（+1）2452 4546y Fi（；）14 b（：）g（：）g（：）c（；）g（非）27 b（A）2846 4558 y Fg（n）29154546 y Fu（=）c Fi（w）3062 4558 y Fg（n）3107 4546 y Fh（g）5234725 y Fu（of）31 b（that）h（rule）f（in）g（t）n（w）n（o）f（w）n（a）n（ys:）g（the）i（lo）n（w）n（er）d（b）r（ound）j Fi（L）f Fu（is）g（替换）f（b）n（y）h（an）g（in）n（总）f（b）r（et）n（w）n（een）523 4825 y（1）d（and）h Fi（L）pFu（，）g（和）f（the）i（list）f（of）f（equalities）h（in）g（the）g（brac）n（k）n（ets）e（is）i（替换）f（b）n（y）h（its）g（prop）r（er）e（non-）523 4924y（empt）n（y）h（su\016x.）f（It）h（follo）n（ws）e（that）i（the）g（n）n（um）n（b）r（er）f（of）g（辅助）f（原子）h（in）h（平移）g（平移）e（of）p电子操作程序%%页码：8 88 7 bop 523 448 a Fu（规则）26 b（3）h（do）r（es）g（不）g（超过）fFi（L）p Fu（）p Fi（n）16 b Fh（000）h Fu（1）。）26 b（If）h（3）g（is）g（a）f（基数）n（y）g（约束）n（t）f（规则）i（即g（is）523548 y Fi（w）582 560 y Fm（1）649 548 y Fu（=）i Fh（\001）14b（001）g（001）29 b Fu（=）g Fi（w）1022 560 y Fg（n）1097 548y Fu（=）g（1\）i（然后）h（w）n（e）f（can）f（也）h（sa）n（y）f（that）h（the）h（lo）n（w） n（er）e（b）r（ound）i（is）f（替换）f（b）n（y）523 648 y（an）g（in）n（teger）f（b） r（et）n（w）n（een）i Fi（L）19 b Fh（\000）h Fi（n）g Fu（+）g（1）30b（和）g Fi（L）p Fu（，）g（so）g（即）g h（n）n（um）n（b）r（er）f（of）g（辅助）f（原子）h（in）523 747 y（平移）e（of）h（a）g（cardialit）n（y）f（constraint）n（t）g（rule）h（can）g（b）r（e）g（estimate）h（来自）e（ab）r（o）n（v）n（e）g（b）n（y）523 847 y Fi（n）p Fu（\（）pFi（n）18 b Fh（\000）g Fu（1）。）523 1096 y Fk（3.3）95 b（V）-8b（验证）31 b（Tigh）m（tness）523 1262 y Fu（The）40 b（de \014inition）g（of）g（a）g（绝对）f（tigh）n（t）h（程序）e（b）r（elo）n（w）i（is）f（a）h（sp）r（特殊）g（case）f（of）h（the）523 1362 y（de）h（from）11131355 y（[）1136 1362 y（6，）f（截面）g（5）1586 1355 y1362 y（，）g（whic）n（h）g（is）g（基于）g（on）2390 1355 y（[）24131362年（4）2455 1355年（]）2477年（.）h（Answ）n（er）e（sets）h（for）g（suc）n（h） f（a）523 1462 y（程序）d（are）i（iden）n（tical）g（to）g（the）h（mo）r（dels）fg（s）h（完成）f（）2616 1455 y（[）2639 1462 y（4）26811455y（]）2704 1462 y（，）g（定理）g（3.2；）3294 1455 y（[）33171462年（6）3359 1455年（]）3382 1462年，（，）523 1561年（推论）25b（6））648 1661年（The）j Fj（p）r（positiv）n（e）g（dep）rFu（of）g（a）g（basic）f（嵌套）i（程序）d Fi（\005）35 b Fu（is）28b（）h（有向）523 1761 y（图）d Fi（G）i Fu（suc）n（h）G（that）5751927年Fk（{）41 b Fu（the）28 b（v）n（ertexes）e（of）i Fi（G）GFu（are）f（the）g（atoms）g（o）r（curring）g（in）g Fi（\005）7b Fu（，）575 2027 y Fk（{）41 b Fi（G）29 b FuFi（A）g Fu（to）g Fi（A）1663 1996年y Fe（0）1715 2027年y Fu（if）hFi（\005）35 b Fu（has）27 b（a）h（rule）g（with）g（the）h（head）fFi（A）2875 1996年y Fe（0）2927 2027年y Fu（that）g（con）n（tains）6642126 y Fi（A）g Fu（in）g（the）g（p）r（ositiv）n（e）f（part）g（of）h（the）g（b）r（o）r（dy）-7 b（.）523 2292 y（A）28 b（程序）e（is）h Fj（绝对）g（tigh）n（t） h Fu（if）g（its）g（p）r（positiv）n（e）f（dep）r（循环）523 2467 y Ff（示例）k（4.）42 b Fu（The）28 b（p）r（ositiv）n（e）f（dep）r（endency）h（graph）e（of）i（the）g（program）1705 2644y Fi（p）23 b Fh（）g Ff（非）36 b（非）f Fi（p）1705 2744 y（p）22b Fh（）g Fi（q）1705 2844 y（q）k Fh（，c Fi（p）3299 2745 yFu（8）523 3022 y（包含）h（of）h（t）n（w）n（o）e（v）n（ertex）hFi（p）g Fu（和）h Fi（q）j Fu（and）c（t）n（w）n（o）g（边）g（自）gFi（p）h Fu（到）f Fi（q）k Fu（和）d（从）f Fi（q）k Fu（到）cFi（p）p Fu（.）h（The）523 3122 y（graph）h（has）i（a）f（cycle）g（and）g（there）h（程序）e（is）h（not）h（tigh）n（t.）648 3297 y（Before）d（v）n（验证）g（是否）g（该）i（基本）e（嵌套）h（程序）e（生成）h（从）h（该）g（输入）523 3396 y（is）h（tigh）n（t）g Fn（c模型）f Fu（应用）g（to）h（it）g（t） n（w）n（o）f（变换）f（that）i（有时）f（turn）h（a）f（non-）5233496 y（tigh）n（t）i（program）d（in）n（to）j（a）f（tigh，t）g（program.）f（First，）i（it）g（drops）e（all）i（rules）f（of）g（the）h（form）1678 3679y Fi（A）23 b Fh（）g Fi（：）14 b（：）g3861 y Fu（Ob）n（vioully）25 b（a）h（program）e（con）n（taining）h（suc）n（h）h（规则）g（不能）f（b）r（e）i（tigh）n（t，）f（and）g（remo）n（ving）f（these）5233961 y（规则）i（来自）g（a）h（程序）d（do）r（es）i（非）h（c）n（change）e（its）i（answ）n（er）e（集合）648 4061 y（秒）h（如果）h（程序）e（con）ng（a）h（规则）h（形式）1685 4242 y Fi（a）23b Fh（）g Ff（非）36 b（非）f Fi（A）3299 4243 y Fu（9））5234426 y（then）c Fn（cmodels）f Fu（替换）f（all）g（o）r（currences）g（of）hFi（A）h Fu（in）f（the）h（p）r（ositiv）n（e）f（parts）f（of）h（the）h（b）r（o）r（dies）523 4526年（共）h（规则）f（共）g（程序）d（b）n（y）jFf（非）40 b（非）g Fi（A）p Fu（.）32 b（F）-7 b（或）32b（实例）g（in）h（应用）f（to）g（pro-）523 4625 y（gram）21 b（8），i（this）f（转换）f（插入）h Ff（非）30 b（非）g Fu（in）23b（fron）n（t）f（of）g Fi（p）g Fu（in）h（its）f（last）g（rule），g（and）h（the）5234725 y（程序）j（b）r（ecomes）i（tigh）n（t.）h（The）f（prop）r（position）f（b）r（elo）n（w）h（sho）n（ws）f（that）i（this）f（is）g（an）g（equiv）-5b（alen）n（t）523 4825 y（转换）31 b（回忆）h（即）g（a）g（程序）f Fi（\005）2037 4837 y Fm（1）2106 4825 y Fu（is）i Fj（强）e（等价）-5b（alen）n（t）32 b Fu（to）g（a）g（程序）523 4924 y Fi（\005）5924936 y Fm（2）657 4924 y Fu（如果，）c（对于）f（an）n（y）g（程序）fFi（\005）7 b Fu（，）27 b Fi（/005）1568 4936 y Fm（1）1624 4924y Fh（[）19 b Fi（\005）34 b Fu（has）27 b（the）h（same）f（answ）n（er）f（sets）i（as）e Fi（\005）2908 4936 y Fm（2）2964 4924 y Fh（[）19 bFi（\005）3141 4917 y Fu（[）3164 4924 y（13）3248 4917 y（]）32714924年（.）人口%%页码：9 99 8 bop 523 448 a Fk（定理）30 b（5.）41 b Ff（a）n（ny）30b（b）l（asic）g（嵌套）l（d）g（pr）l（o）l（gr）l620 y Fi（H）7 b（ead）23 b Fh（）g Fi（A）；14 b（b）t（ody）1652720 y（A）23 b Fh（）g Ff（非）38 b（非）f Fi（A）523 894 yFf（is）30 b（str）l（ongly）g（e）l（等效）g（to）g（the）g（pr）l1498 1065 y Fi（H）7 b（头）22 b Fh（）H Fi（b）t（体）s（；）14b Ff（非）38 b（非）f Fi（A）1498 1165 y（A）23 b Fh（）g Ff（不）37b（非）h Fi（A:）648 1339 y Fu（During）32 b（the）i（tigh）n（tness）f（v）n（eri\014位置）e（步骤，）j Fn（cmodels）e Fu（构建）i（）f（p）r（ositiv）n（e）g（dep）r（en-）523 1438 y（dency）28 b（graph）e（and）i（uses）f（a）g（standard）g（深度）h（\014rst）f（searc）n（h）f（算法）2787 1431 y（[）28101438 y（14，）h（截面）g（23.3）3383 1431 y（]）523 1538 y（to）i（检测）g（a）g（循环）g（in）g（it）g（T）-7 b（o）29 b（b）r（e）g（更多）g（精确）f（the）h（算法）f（is）h（应用）g（到）g（子）523 1638y（图）21 b（of）i（the）g（p）r（positiv）n（e）f（dep）r（endency）g（图）g（that）h（do）r（es）f（not）g（con）n（tain）g（some）g（inessen）n（tial“）5231737 y（v）n（ertexes:）575 1898 y Fk（{）41 b Fu（the）28 b（原子）f（that）h（do）f（非）h（o）r（ccur）f（in）h（the）g（heads）f（of）g（rules）g（and）5751997年y Fk（{）41 b Fu（the）28 b（atoms）f（that）h（o）r（ccur）f（in）h（rules）f（of）g（h（形式）g（9）。）523 2241 y Fk（3.4）95 b（简化）28b（和）33 b（条款）e（完成）523 2403 y Fu（完成）f（of）h（a）g（基本）f（嵌套）h（程序）d Fi（\005）41 b Fu（can）33b（b）r（e）i（形式）e（as）g（follo）n（ws.）g（First，）523 2503y（in）d（the）g（b）r（o）r（dy）g（of）g（ev）n（ery）e（rule）h（of）hFi（\005）36 b Fu（替换）29 b（eac）n（h）g（o）r（发生）f（of）iFf（非）37 b Fu（含）30 b Fh（：）g Fu（和）g（eac）n（h）5232603 y（逗号）i（with）h Fh（^）p Fu（.）g（Second，）f（for）g（ev）n（ery）f（atom）iFi（A）f Fu（mak）n（e）g（the）h（list）g（of）f（all）g（rules）g（in）hFi（\005）39 b Fu（with）523 2702 y（the）28 b（head）f Fi（A）pFu（：）1759 2802 y Fi（A）c Fh（）g Fi（B）t（ody）2141 2814 yFg（i）523 2948 y Fu（和）k（形式）h（the）g（当量）-5 b（价）17033060年-Fi（A）24年-Fh（\021）1876年2981年-Fd（_）1911年3158年Fg（i）1983 3060 y Fi（B）t（ody）2174 3072 y Fg（ii）2201 3060y Fi（：）1033 b Fu（\（10））523 3279 y（Third，）28 b（for）f（ev）n（ery）f（约束）n（t）g Fh（？）d（）g Fi（B）t（ody）31 B Fu（in）d Fi（\005）34b Fu（form）28 b（the）g（negative）e（of）i（its）g（b）r（o）r（dy:）1828年3551 y Fh（：）p Fi（B）t（body）s（：）1157 B Fu（\（11））523 3729y（）33 b（完成）f Fi（C）6 b（omp）p Fu（\（）p Fi（\005）hFu（\））34 b（of）e Fi（\005）40 b Fu（composes）32 b（of的）h（all）f（form）n（ulas）g（10）克（和）克（11）。）h（F）-7 b（或）32 b（in-）523 3828y（站姿）27 b（in）h（应用）f（至）h（程序）d（6）j（本）g（专业）r（过程）e（过程）r（减少）h（形式）n（ulas）f（\（7\）。）648 3928年（之前）41b（con）n（v）n（erting）f（the）j（completion）f（of）g（a）g（tigh）n（t）g（program）eFi（\005）49 b Fu（to）42 b（子句）f（形式），523 4028 y Fn（模型）21b Fu（simpli\014es）g（it）g（使用）f（the）i（子集）e（of）h菲（At）2124 3998 y Fm（+）2179 4028 y Fu（\（）p菲（\005）7b Fu（\））22 b（和）e Fi（At）2587 3998 y Fe（\ 000）2644 4028y Fu（（）p Fi（\005）7 b Fu（））21 b（计算）g（b）n（y）g（the）5234127 y（pro）r（cedures）26 b Ff（A）n（tmost）33 b Fu（and）27年b Ff（A）n（tle）l（ast）34 b Fu（第27节b（3.1））g（自）g（ev）n（ery）e（原子）i Fi（A）g Fu（来自）f Fi（At）3209 4097 y Fm（+）32654127 y Fu（（）p Fi（005）7 b Fu（））523 4227 y（b）r（伸长）32b（to）g（all）h（answ）n（er）e（sets）h（of）g Fi（\005）7 b Fu（，）33b（和）f（the）h（answ）n（er）e（sets）h（of）h Fi（\005）39 b Fu（are）32b（iden）n（tical）g（to）h（the）523 4327 y（mo）r（dels）25 b（of）gFi（C）6 b（omp）p Fu（（）p Fi（\005）h Fu（），）25 b Fi（A）g Fu（is）g（en）n（尾）f（b）n（y）h Fi（C）6 b（omp）p Fu（（）p Fi（\005）h Fu（））25b（完成）g（of）g Fi（\005）31 b Fu（is）25 b（simpli-）5234426 y（\014d）f（b）n（y）f（替换）g（全部）g（o）r（发生）f（共）iFi（A）g Fu（in）f（it）h（b）n（y）g Fh（>）f Fu（and）g（adding）h（the）g（atom）fFi（A）h Fu（as）f（A）g（new）523 4526 y（form）n（ula.）g（Since）h（the）g（atoms）fFi（A）i Fu（from）e Fi（At）1811 4496 y Fe（\000）1867 4526y Fu（（）p Fi（\005）7 b Fu（））25 b（do）e（not）h（b）r（伸长）f（to）h（the）g（answ）n（er）f（集合）g（of）h Fi（\005）7 b Fu（，）523 4625 yFh（：）p Fi（A）31 b Fu（is）f（en）n（tailed）g（b）n（y）g Fi（C）6b（omp）p Fu（（）p Fi（\005）h Fu（））30 b（用于）g（suc）n（h）g（原子）f（The）i（完成）e（of）i Fi（\005）37 b Fu（is）30 b（simpli\014ed）5234725 y（b）n（y）d（替换）g（全部）g（o）r（发生）f（共）iFi（A）g Fu（in）f（it）h（b）n（y）g Fh（？）f Fu（和）g（添加）hFh（：）p Fi（A）g Fu（as）f（A）g（new）h（form）n（ula.）648 4825y（The）37 b（pro）r（cess）e（of）i（con）n（v）n（erting）e（an）i（equiv）-5b（alence）36 b（10）h（which）f（lefth）h（side）g（is）g（not）5234924 y（替换）31 b（b）n（y）h Fh（？）g Fu（to）h（条款）e（形式）h（通常）g（b） r（egins）g（带）g（分布）h（the）f（析取）p电子操作程序%%页码：10 1010 9 bop 523 448 a Fu（in）29 b（the）h（righ）n（t-hand）e（side）h（o）n（v）n（er）e（连词）f Fi（B）t（ody）2343 460 y Fg（i）2371448 y Fu（.）g（But）g（if）h（at）f（至少）g（t）n（w）n（o）f（of）h（这些）523548 y（析取）n（e）h（项）g（con）n（tain）f（more）g（than）i（one）e（字面）h（然后）g（辅助）f（原子）g（are）g（in）n（tro-）523648 y（induced）23b（as）e（缩写）g（for）h（these）g（disjunctiv）n（e）h（项）f（to）g（a）n（v）n（oid）f（a）h（signi\014can）n（t）f（增加）523747 y（in）28 b（the）g（size）f（of）h（the）g（form）n（ula.）e（f）-7b（或）27 b（实例）h（等效）g（等效）-5 b（价）1470 928y Fi（p）23 b Fh（\021）g Fu（\（）p Fi（q）1692 940 y Fm（1）1748928 y Fh（^）c Fi（r）1859 940 y Fm（1）1896 928 y Fu（\））gFh（_）g Fu（_）p Fi（q）2090 940 y Fm（2）2146 928 y Fh（^）gFi（r）2257 940 y Fm（2）2294 928 y Fu（\））g Fh（_）g Fi（s）5231108 y Fu（is）28 b（转向）f（in）n（至）1600 1186 y Fi（p）cFh（\021）f Fi（aux）1891年1198年Fm（1）1947年1186年Fh（_）dFi（aux）2160 1198 y Fm（2）2215 1186 y Fh（_）g Fi（s）16001286 y（aux）1739 1298 y Fm（1）1799 1286 y Fh（\021）k Fi（q）19241298年Fm（1）1979年1286年Fh（^）c Fi（r）2090年1298年F（1）1600年1385 y Fi（aux）1739 1397 y Fm（2）1799 1385 y Fh（\021）kFi（q）1924 1397 y Fm（2）1979 1385 y Fh（^）c Fi（r）2090 1397y Fm（2）523 1530 y Fu（as）27 b（a）g（初步）g（步骤）5231794年Fo（4）112 b（Exp）s（erimen）m（tal）36 b（Data）523 1991y Fu（T）-7 b（表）30 b（1）g（和）h（2）f（sho）n（w）g（运行）h（运行）f（次）h（of）g Fn（cmodels）f Fu（and）h Fn（smodels）p Fu（，）f（in）h（seconds，）5232091 y（for）d（sev）n（eral）f（b）r（enc）n（hmark）g（问题）h（The）g（数据）g（对于）g（大多数）g（问题）g（和）g（人）n（y）g（的）h（the）5232190年（程序）c（in）j（输入）g（语言）c（of）jFn（lp）-6 b（arse）28 b Fu（已使用）g（in）g（测试）g（已发现）f（can）h（b）r（e）g（发现）克（at）523 2339 y Fc(网址：http://www.cs.en)o（gr.）o（uk）o（y.e）o（du）o（/a）o（i/b）o（en）o（chm）o（ar）o（ks）o（.ht）o（ml）37（，）523 2438年(网址：http://www.tcs.h)o个（ut.）o（fi）o（/So）o（ft）o（wa）o（cs）o（p-t）o（es）o（ts）o（.ta）o（r.）o（gz）g（，）523 2538年(网址：http://www.tcs.h)o个（ut.）o（fi）o（/）p Fh（\030）p Fc（k）o（ep）o（bou）o（nd）o（smo）o（de）o（ls/）g（.）523 2687 y Fu（The）29 b（SA）-7b（T）30 b（溶剂）n（er）e（in）n（v）n（ok）n（ed）g（b）n（y）h Fn（cmodels）gFu（in）g（these）g（exp）r（erimen）n（ts）g（is）h Fn（mchaff）3082型2656 y Fm（7）3120 2687 y Fu（，）f（不包括）523 2786 y（of）f（the）g（exp）r（erimen）n（ts）f（rep）r（orted）g（in）h（one）f（column）g（of）h（T）-7b（表）27 b（2）h（即）g（描述）r（es）f（结果）h（结果）5232886 y（共）d（运行）f Fn（cmodels）h Fu（带）g Fn（relsa）-6b（t）1746 2856 y Fm（8）1784 2886 y Fu（.）25 b（In）g（t）-7b（表）24 b（1）g（w）n（e）h（演示）f（the）h（p）r（性能）5232985 y（共）38 b（系统）f（含）h（对应）r（ect）f（至）g（任务）h（任务）f（共）h（\014nd）f（一）h（溶液）f（同时）g（in）h（T）-7 b（表）37b（2）523 3085 y（系统）c（searc）n（h）f（用于）h（man）n（y）g（溶液）f（W）-7b（e）34 b（限制）f（our）f（exp）r（erimen）n（tal）h（分析）f（仅）5233185 y（to）f（comparison）e（with）i Fn（smodels）g Fu（since）g（b）r（oth）g（系统）f（ha）n（v）n（e）g（iden）n（tical）h（输入）h（The）f（ex）5233284 y（p）r（erimen）n（ts）e（of）h（T）-7 b（表）29 b（1）f（和）i（2）f（w）n（ere）f（运行）h（on）g（a）g（P）n（en）n（tium）g（IV）h（1.8）f（Ghz）g（pro）r（cessor）e（with）523 3384 y（512MB）f（of）i（RAM），g（DDR）h（266Mhz）d（running）h（Lin）n（ux.）6483484 y Fn（cmodels）d Fu（with）h Fn（mchaff）h Fu（can）e（p）r（perform）g（m）n（uc）n（h）h（b）r（etter）g（than）g Fn（smodels）f Fu（有时）5233583 y（ha）n（ving）h（more）g（than）g（3）h（数量级）e（of）i（数量级）f（sp）r（eedup）h（when）g（the）g（task）g（is）f（to）h（compute）h（计算）5233683 y（一）34 b（溶液）g（Ho）n（w）n（ev）ng（溶液）g Fn（模型）g Fu（含）h Fn（mchaff）523 3782y Fu（is）d（outp）r（performed）g（b）n（y）g Fn（c模型）g Fu（with）hFn（relsa）-6 b（t）33 b Fu（and）f（also）g（b）n（y）g Fn（smodels）pFu（.）g（Ov）n（erall），f（the）523 3882 y（results）25 b（sho）n（这里）h（is）f（a）g（配置）f（of）h Fn（模型）hFu（whic）n（h）f（can）g（b）r（e）h（comp）r（etitiv）n（e）523 3982y（with）i（other）f（solv）n（ers）f（at）h（the）h（最新技术）6484081 y（T）-7 b（able）24 b（3）g（图解说明）g（角色）g（of）g（h（pro）r（过程）e（of）i（程序）d（简化）i（描述）r（ed）5234181 y（in）j（Section）g（3.1.）f（The）h（\\preassigned）d（queens”）j（问题）f（in）h（即）g（表）g（是）f（the）i Fi（N）35 b Fu（皇后）5234281年（问题）44 b（in）g（whic）n（h）g（the）g（p）r（positions）g（of）g（sev）n（eral）e（queens）i（are）f（preassigned）f（In）j（Prob-）5234380 y（lem）30 b（6.70.2，）d（例如）i，g Fi（N）35 bFu（=）25 b（70）k（and）g（the）g（p）r（positions）g（of）g（6）g（queens）g（are）g（预先指定）523 4480 y（简单）35 b（can）f（ha）n（v）n（e）g（a）g（v） n（ery）g（p）r（positiv）n（e）g（impact）h（on）f（the）h（o）n（v）n（性能）g（of）523 4580 y（the）h（system.）g（On）g（all）f（the）i（实例）e（但）i（one），e（the）i（p）r（performances）d（of）i（b）r（oth）gFn（cmodels）523 4679 y Fu（and）i Fn（mchaff）i Fu（are）d（b）r（etter）i（with）g（simpli\014位置）f（启用）g（P）n（性能）e（of）i（tigh）n（tness）P523 4748 473 4 v 546 4801 a Fl（7）606 4833 y Fr(http://www.ee.princeton.edu/)p Fs（\030）p Fr（ch）q（aff/）q（softw）q（are.）q（php）45 b（.）546 4893 y Fl（8）606 4924 y Fr(http://www.satlib.org/Solvers网站)q（/SAT）q（/REL）p 2056 492424 4伏35瓦（SAT.2/relsat）p 2559 4924伏31瓦（2.00.tar.gz）c（.）p电子操作程序%%页码：11 1111 10 bop 523 417 a Fq（T）-7 b（表）25 b（1.）d Ft（结果）h（一）f（溶液）h（to）g（the）f Fb（N）31 b Ft（皇后）22 b（4-着色）i（平面）e（图，）i（blo）r（c）n（ks）e（w）n（world）523 509 y（规划）k（和）f（b）r（ounded）g（mo）r（del）g（c）n（hec）n618 1975 4 v 975 709 4 92 v 991 709 v 1005 682 a（问题）p2275 709 V 1001 w Fp（cmodels）p 2607 709 V 28 w（smodels）p2933 709伏2950 709伏977 712 1975 4伏975 804 92伏991 804 V 1005 776 a Fb（N）34 b Ft（皇后区）666 b Fb（N30b Ft（=）25 b（19）p 2274 804 V 196 w（0.48）p 2605 804 V 192w（2.64）p 2932 804伏2950 804伏975 895伏991 895伏2188868安（21）p 2274 895伏196瓦（0.47）p 2605 895伏153瓦（73.31）p2931 895伏2950 895伏975 986伏991 986伏2188 959安（24）2274 986伏196瓦（0.46）p 2605 986伏115瓦（972.01）p 2931986伏2950 986伏975 1078伏991 1078伏2188 1050安（50）对2274 1078 V 196 w（1.68）p 2605 1078 V 25 w Fb（>）g Ft（1）h（小时）p2933 1078伏2950 1078伏977 1081 1975年4伏975 1172 492伏991 1172伏1005 1145 a（着色）818 b（p600）p 22741172伏196瓦（0.44）p 2605 1172伏192瓦（7.58）p 2932 1172V 2950 1172 V 975 1264 V 991 1264 V 1005 1236 a（平面）26b（图表）603 b（p1000）p 2274 1264 V 196 w（0.89）p 26051264伏153瓦（23.20）p 2931 1264伏2950 1264伏975 1355伏991 1355伏2069 1328安（p6000）p 2274 1355伏158瓦（71.40）p2605 1355伏115瓦（838.25）p 2931 1355伏2950 1355伏9771358 1975 4 v 975 1450 4 92 v 991 1450 v 1005 1422 a（Blo）r（c）n（ks）26b（w）n（世界）432 b（b）n（w较大c.7）p 2273 1450 V 197 w（0.36）p2605 1450伏192瓦（0.14）p 2932 1450伏2950 1450伏9751541 V 991 1541 V 1005 1513 a（规划）571 b（b）n（w-large.c.8）p2273 1541伏197瓦（0.40）p 2605 1541伏192瓦（1.24）p 29321541伏2950 1541伏975 1632伏991 1632伏1858 1605 a（b）n（w-large.d.8）p2274 1632伏196瓦（0.56）p 2605 1632伏192瓦（0.25）p 29321632伏2950 1632伏975 1724伏991 1724伏1858 1696 a（b）n（w较大d.9）p2274 1724伏196瓦（0.65）p 2605 1724伏192瓦（2.42）p 29321724伏2950 1724伏975 1815伏991 1815伏1866 1787 a（b）n（w较大e.9）p2273 1815伏197瓦（0.81）p 2605 1815伏192瓦（0.38）p 29321815伏2950 1815伏975 1906伏991 1906伏1819 1879 a（b）n（w-large.d.10）p2273 1906伏197瓦（0.97）p 2605 1906伏192瓦（2.75）p 29321906 V 2950 1906 V 977 1910 1975 4 V 975 2001 4 92 V991 2001 V 1005 1973 a（绑定）259 b（dp）p 1653 1973 244 v 27 w（10.fsa-D-i-O2-b10）p 2274 2001 4 92 v 196 w（0.28）p2605 2001 V 115 w（165.01）p 2931 2001 V 2950 2001 V 9752092伏991 2092伏1005 2065 a（mo）r（del）392 b（dp）p 16912065 24 4 v 27 w（12.fsa-D-i-O2-b9）p 2274 2092 4 92 v120瓦（340.51）p 2605 2092伏115瓦（646.96）p 2931 2092伏2950 2092伏975 2183伏991 2183伏1005 2156 a（c）n（hec）nb（elev）l（ator）p 1804 2156 24 v 28 w（2-D-i-O2-b12）p2276 2183 4 92伏194瓦（2.80）p 2605 2183伏192瓦（2.60）p2932 2183伏2950 2183伏975 2275伏991 2275伏1537 2247海拔1804 2247 24 v 28 w（3-D-i-O2-b15）p2276 2275 4 92伏156瓦（85.83）p 2605 2275伏115瓦（113.94）p2931 2275伏2950 2275伏975 2366伏991 2366伏1537 2339海拔1804 2339 24 v 28 w（4-D-i-O2-b13）p2276 2366 4 92伏156瓦（35.14）p 2605 2366伏115瓦（719.81）p2931 2366伏2950 2366伏975 2457伏991 2457伏1528 2430a（elev）l（ator）p 1795 2430 24 v 28 w（4-D-s-O2-b10）p2276 2457 4 92伏194瓦（8.24）p 2605 2457伏153瓦（60.99）p2931 2457伏2950 2457伏975 2549伏991 2549伏1686 2521a（k）n（ey）p 1805 2521 24 4 v 27 w（2-D-i-O2-b29）p 22762549 4 92伏118瓦（200.53）p 2605 2549伏76瓦（2088.77）p2930 2549伏2950 2549伏975 2640伏991 2640伏1677 2613a（k）n（ey）p 1796 2613 24 v 27 w（2-D-s-O2-b29）p 22762640 4 92伏156瓦（44.11）p 2605 2640伏76瓦（1893.34）p2930 2640伏2950 2640伏975 2731伏991 2731伏1490 2704a（mmgt）p 1693 2704 24 v 25 w（3.fsa-D-i-O2-b10）p 22742731 4 92伏196瓦（4.51）p 2605 2731伏153瓦（23.98）p 29312731伏2950 2731伏975 2823伏991 2823伏1490 2795安培1693 2795 24 v 25 w（4.fsa-D-i-O2-b12）p 2274 2823 492伏120瓦（252.17）p 2605 2823伏76瓦（2855.44）p 2930 2823V 2950 2823 V 975 2914 V 991 2914 V 1519 2887 a（毫米）p1722 2887 24 v 26 w（4.fsa-D-s-O2-b8）p 2275 2914 4 92v 195瓦（3.55）p 2605 2914伏115瓦（172.23）p 2931 2914伏2950 2914伏975 3005伏991 3005伏1645 2978安（q）第1691页2978 24 4 v 27 w（1.fsa-D-i-O2-b17）p 2274 3005 4 92 v120瓦（916.50）p 2605 3005伏76瓦（1092.21）p 2930 3005伏2950 3005 V 977 3009 1975 4 V 523 3369 a Fu（V）n（eri\014cation）22b（步骤）i（是）g（也是）e（受影响）i（很大）f（b）n（y）g（简单化）h（since）f（its）h（p）r（performance）523 3469 y（is）31 b（related）f（to）h（the）g（n） n（um）n（b）r（er）f（of）h（原子）f（in）h（程序）c（最终）-7b（，）31 b（）g（p）r（positiv）n（e）g（impact）523 3568 y（of）24b（the）g（简化）f（is）h（大多数）f（显著）g（in）h（the）g（结果）f（on）g（6.70.5）f（problem）h（实例：）523 3668 y（the）28b（问题）f（得到）g（解）n（ed）g（b）n（y）g（the）h（simpli\014位置）f（pro）r（程序）648 3770 y（In）35 b（eac）n（h）g（of）g（the）g Fn（cmodels）gFu（运行）g（次）h（报告）r（报告）f（in）g（T）-7 b（表格）35b（1{3，）f（the）i（searc）n（h）523 3870 y（time）i（即g（is）g（the）g（运行）f（时间）h（of）g（the）g（SA）-7 b（T）38 b（solv）n（er））e（is）i（b）r（et）n（w） n（een）f（30\045）g（and）h（95\045）523 3969 y（of）33 b（the）g（total）f（the）h（p）r（ercn）n（tage）e（is）h（通常）h（更高）e（代表）i（更多）e（di\016cult）j（计算）523 4069 y（问题）523 4348 y Fo（5）112b（结论）523 4560 y Fu（The）26 b（使用）g（of）h（程序）d（完成）i（is）g（a）f（有希望）h（近似）n（h）e（to）i（h）h（设计）e（of）h（answ）n（er）523 4660 y（集）36 b（溶剂）n（ers），f（ev）n（en）h（当）g（c）n（hoice）g（规则）g（和）g（基数）n（y）f（表达式）f（are）i（allo）n（w）n（ed）f（in）5234759 y（the）d（input）h（System）f Fn（assa）-6 b（t）1433 4729y Fm（9）1503 4759 y Fu（使用）31 b（程序）f（完成）i（用于）f（生成）g（answ）n（er）f（集合）p 523 4839 473 4 v 5464893 a Fl（9）606 4924 y Fr(http://assat.cs.ust.hk/)45b（.）p人%%页码：12 1212 11 bop 995 417 a Fq（T）-7 b（表）28 b（2.）e Ft（结果）g（全部）g（解）h（to）f（the）f Fb（N）34 b Ft（queens）25 b（问题）p938 526 2052 4 v 936 618 4 92 v 953 618 v 967 590 a Fb（N）p1053 618 V 1070 618 V 55 w Fp（cmodels）h Ft（with）g Fp（mchaff）p1874 618 V 23 w（cmodels）g Ft（with）g Fp（relsa）-5 b（t）p2650 618 V 23 w（斯莫代尔）p 2971 618 V 2988 618 V 938 6212052 4对936 712 4 92对953 712对967 685英尺（9）p 1053712伏1070伏712伏722瓦（0.37）p 1872 712伏641瓦（0.17）p2648 712伏187瓦（0.38）p 2970 712伏2988 712伏936 804V 953 804 V 967 776 a（10）p 1053 804 V 1070 804 V 684w（6.42）p 1872 804 V 641 w（0.56）p 2648 804 V 187 w（1.62）p2970 804伏2988 804伏936 895伏953 895伏967 868安（11）1053 895伏1070 895伏607瓦（112.04）p 1871 895伏642瓦（3.40）p2648 895伏187瓦（8.38）p 2970 895伏2988 895伏936 986V 953 986 V 967 959 a（12）p 1053 986 V 1070 986 V 569w（1657.72）p 1871 986 V 604 w（16.25）p 2648 986 V 149 w（52.51）p2970 986伏2988 986伏938 990 2052 4伏523 1330 a Fq（T）e（表）38b（3.）33 b Ft（The）h（e\013ect）f（of）i（程序）e（简化）h（第f（3.1）节）i（on）e（运行）g（时间）g（共）5231421年Fp（模型）p Ft（，）k（on）e（its）i（t）n（w）n（o）f（comp）r（onen）n（ts | the）e（时间）i（sp）r（en）n（t）f（on）h（the）f（running）g（时间）h（of）gFp（mchaff）523 1512 y Ft（and）30 b（the）f（v）n（eri\014位置）h（of）h（tigh）n（tness，）f（on）g（the）g（n）n（um）n（b）r（er）e（of）i（atoms）g（and）g（the）f（n）n（um）n（b）r（er）f（of）j（子句）523 1604 y（生成）f（b）n（y）eFp（c模型）p Ft（.）i（In）f（eac）n（h）g（en）n（try）-6 b（，）28b（the）h（n）n（um）n（b）r（er）f（b）r（efore）i（the）f（斜线）h（refere）g（to）g（the）f（案例）523 1695 y（当）h（简化）h（步骤）f（是）h（省略）fg（exp）r（erimen）n（ts）g（w）n（ere）h（run）e（on）i（SunBlade）f（100）5231786 y（W）-6 b（orkstation）26 b（500）h（MHz）f（Ultra）g（Sparc）f（128）i（MB）g（RAM）p 523 1972 3078 4 v 521 2064 4 92 v 538 2064 v552 2036 a（问题）p 1440 2064 V 1457 2064 V 715 w Fp（模型）p1868 2064伏63瓦（mchaff）p 2203 2064伏2219 2064伏88w Ft（Tigh）n（tness）p 2613 2064 V 175 w（Num）n（b）r（er）p3061 2064伏250瓦（数量）n（b）r（er）p 3584 2064伏3599 2064伏521 2155伏538 2155伏1440 2155伏1457 2155伏18682155伏2203 2155伏2219 2155伏2333 2128安2614 2155 V 157 w（of）g（原子）p 3060 2155 V 203 w（for）g（条款）p3581 2155伏3599 2155伏5258 3078伏521 225092对538对2250对552对2222 a（Blo）r（c）n（ks）261 b（b）n（w较大c.7）p1438 2250伏1457 2250伏119瓦（2.60/1.51）1865 2250伏26瓦（0.65/0.39）对2199 2250伏2219 2250伏104瓦（0.69/0.12）对2611 2250伏103瓦（6281/5298）p 3056 2250伏104瓦（60512/32939）p3578 2250伏3599 2250伏521 2341伏538 2341伏552 2313a（w）n（世界）294 b（b）n（w大c.8）p 1438 2341 V 1457 2341V 119瓦（3.23/1.84）p 1865 2341 V 26瓦（1.74/0.55）p 21992341伏2219 2341伏142瓦（0.8/0.15）p 2611 2341伏103瓦（7096/6098）p3056 2341伏104瓦（68256/40052）p3578 2341伏3599 2341V 521 2432 V 538 2432 V 552 2405 a（规划）180 b（b）n（w-large.d.8）p1438 2432伏1457 2432伏119瓦（3.97/2.25）1865 2432伏163瓦（1/0.6）p 2201 2432伏2219 2432伏102瓦（1.12/0.19）p2611 2432伏103瓦（8920/7553）p 3056 2432伏104瓦（92448/51312）p3578 2432伏3599 2432伏521 2524伏538 2524伏1022 2496a（b）n（w较大d.9）p 1438 2524 V 1457 2524 V 119 w（4.60/2.73）p1865 2524伏26瓦（1.28/0.76）p 2199 2524伏2219 2524伏104瓦（1.23/0.22）p 2611 2524伏103瓦（9945/8561）p 30562524伏65瓦（102924/61005）p3577 2524伏3599 2524伏5212615伏538 2615伏1031 2587 a（b）n（w-large.9）p 14382615伏1457 2615伏119瓦（5.78/3.22）p 1865 2615伏26瓦（1.35/0.84）p2199 2615伏2219 2615伏104瓦（1.67/0.25）p 2611 2615伏26瓦（12211/10341）p3055 2615伏66瓦（135320/74616）p35772615伏3599 2615伏521 2706伏538 2706伏992 2679 a（b）n（w较大e.10）p1437 2706伏1457 2706伏特120瓦（6.89/3.73）1865 2706伏26瓦（2.04/0.99）p 2199 2706伏2219 2706伏104瓦（1.86/0.31）p2611 2706伏26瓦（13470/11581）p 3055 2706伏66瓦（149080/87425）p3577 2706伏3599 2706伏523 2710 3078伏521 280192 v 538 2801 v 552 2773 a（预先分配）289 b（6.70.2）p1438 2801伏1457 2801伏42瓦（27.15/15.15）第1864 2801页V 125瓦（6/3.39）p 2200 2801 V 2219 2801 V 103瓦（7.37/0.01）p2611 2801伏103瓦（5251/5251）p 3056 2801伏27瓦（577087/352630）p3577 2801伏3599 2801伏521 2892伏538 2892伏552 2865a（女王）457 b（6.70.5）p 1438 2892 V 1457 2892 V 80 w（26.14/4.79）p1864 2892伏125瓦（5.19/0）p 2200 2892伏2219 2892伏201w（7.46/0）p 2612 2892 V 217 w（5251/0）p 3057 2892 V 228w（577087/0）电话：3579 2892 V 3599 2892 V 523 2895 3078 4v 521 2987 4 92 v 538 2987 v 552 2959 a（Sc）n（h）n（ur）377b（sc）n（h）n（ur4.42）p 1439 2987 V 1457 2987 V 118 w（1.43/1.38）p1865 2987伏26瓦（0.85/0.96）p 2199 2987伏2219 2987伏104瓦（0.17/0.02）对2611 2987伏180瓦（588/588）对3057 2987V 141 w（11634/5325）p 3578 2987 V 3599 2987 V 521 3078V 538 3078 V 552 3051 a（n）n（um）n（b）r（ers）280 b（sc）n（h）n（ur4.43）p1439 3078伏1457 3078伏118瓦（1.73/1.41）1865 3078伏26瓦（1.14/0.97）p 2199 3078伏2219 3078伏104瓦（0.18/0.03）p2611 3078伏180瓦（602/602）p 3057 3078伏141瓦（12169/5580）p3578 3078伏3599 3078伏523 3081 3088伏521 317392 v 538 3173 v 552 3145 a（15谜题）183 b（谜题12.12）p1438 3173伏1457 3173伏119瓦（1.84/1.47）1865 3173伏26瓦（0.73/0.78）p 2199 3173伏2219 3173伏142瓦（0.26/0.1）p2611 3173伏65瓦（12884/6533）p 3056 3173伏104瓦（42766/18019）p3578 3173伏3599 3173伏521 3264伏538 3264伏1046 3237a（puzzle13.13）p 1438 3264 V 1457 3264 V 119 w（4.34/5.93）p1865 3264伏65瓦（3.1/4.85）p 2200 3264伏2219 3264伏103w（0.28/0.18）p 2611 3264 V 26 w（13975/11300）p 3055 3264V 105 w（46426/35747）p 3578 3264 V 3599 3264 V 521 3355V 538 3355 V 1046 3328 a（困惑14.14）p 1438 3355 V 14573355伏119瓦（3.54/1.79）p 1865 3355伏26瓦（2.19/0.96）p2199 3355伏2219 3355伏142瓦（0.3/0.13）p 2611 3355伏65瓦（15066/7871）p3056 3355伏104瓦（50086/22211）p35783355伏3599 3355伏523 3359 3078伏523 3724伏39b（It）h（di\013ers）g（from）f Fn（cmodels）h Fu（in）g（t）n（w）n（o）f（w）n（a）n（ys）f（第一，）i（it）g（加）g（lo）r（op）f（形式）n（ulas）3276 3717y（[）3299 3724 y（15）3383 3717 y（]）523 3823 y（to）30 b（the）g（完成）g（and）g（consequent）n（tly）f（is）h（capable）g（of）g（handling）g（non）n（tigh）n（t）f（程序）523 3923 y（秒）d（既不是）h（c）n（选项）e（规则）h（也不是）g（cardialit）n（y）f（表达式）f（are）i（allo）n（w）n（ed）f（in）h（the）h（输入）523 4023 y（of）k（the）h（curren）n（t）f（v）n（version）f（of）hFn（assa）-6 b（t）p Fu（.）32 b（F）-7 b（或）31 b（h（b）r（enc）n（hmarks）e（即）i（can）f（b）r（e）h（pro）r（cessed）e（b）n（y）523 4122 y（b）r（oth）36b（systems | tigh）n（t）g（programs）d（compositions）i（of）h（basic）g（rules | the）f（运行）h（倍）g（of）523 4222 y Fn（cmodels）18 b Fu（和）hFn（assa）-6 b（t）19 b Fu（are）f（可比；）f（di\013erences）h（in）h（p）r（性能）f（can）g（b）r（e）h（解释）523 4322 y（to）i（a）g（large）f（度）g（b）n（y）h（偏差）g（in）h（the）g（c）n（hoice）e（of）h（参数）f（the）i（t）n（w）n（o）e（systems）h（select）5234421 y（当）f（SA）-7 b（T）20 b（溶剂）n（er）d（是）j（in）n（v）n（ok）n（编辑）e（v）-7b（版本）18 b（2）h（of）h Fn（cmodels）p Fu（，）f（curren）n（tly）f（under）i（dev）n（开发）n（t，）523 4521 y（will）28 b（com）n（bine）f（the）h（adv）-5b（a）n（阶段）26 b（of）h（b）r（oth）h（系统）648 4625 y（Lee）19b（和）g（Lifsc）n（hitz）h（[16]）e（扩展）i（the）g（concepts）f（of）g（完成）g（tigh）n（t）h（程序）d（和）523 4725 y（lo）r（op）22b（形式）n（ula）f（to）h（析取）n（e）h（逻辑）e（程序）f（W）-7b（e）23 b（计划）f（至）g（in）n（v）n（估计）f（the）h（p）r（骨化）n（y）5234825 y（of）k（使用）f（this）i（idea）e（for）g（the）i（design）e（of）h（an）f（answ）n（er）g（set）h（solv）n（er）e（for）h（析取）n（e）h（程序）5234924 y（可比）g（to）i（the）g（系统）f Fn（dl）-7 b（v）pFu（.）p人%%页码：13 1313 12防喷器523 448 a Fo（Ac）m（kno）m（wledgmen）m（ts）523 646y Fu（W）-7 b（e）23 b（are）e（感激）g（to）h（恩里科）f（朱克）n（希格里亚）g（Marco）g（Maratea，）g（Hudson）h（T）-7 b（urner）21 b（for）h（有用）523746年（建议）c（相关）i（to）g（the）g（pap）r（er）g（to）g（P）n（atrik）f（西蒙斯）g（for）h（p）r（ermitting）h（to）e（use）h Fn（smodels）523846 y Fu（co）r（de）41 b（to）f（Mirosla）n（w）f（T）-7 b（ruszczy）r（\023）-44年b（nski）39 b（for）h（comm）n（unicating）g（to）h（us）f（preassigned）f（queens）523945 y（b）r（enc）n（hmarks.）25 b（本）i（w）n（工作）e（w）n（as）g（部分）g（支持）r（orted）i（b）n（y）f（the）h（T）-7 b（exas）25 b（高等）h（教育）5231045年（协调）g（董事会）g（根据）i（格兰）n（t）f（003658-0322-20）o（01）o（.）523 1309 y Fo（参考文献）561 1499 y Ft（1.）43b（T）-6 b（omi）25 b（Syrjanen.）34 b（Lparse）26 b（man）n（ual）17061467 y Fl（10）1805 1499 y Ft（In）f Fa（Lp）l（arse）k（手动）pFt（，）d（pages）g（1{56，）i（2003.）561 1590 y（2.）43 b（弗拉基米尔）35b（Lifsc）n（hitz）i（Lapp）r（o）r（on）e（r.）h（T）-6 b（ang）36b（和）f（Hudson）g（T）-6 b（urner）63 b（Nested）35 b（expressions）6631681 y（in）27 b（逻辑）h（程序）39 b Fa（A）n（nnals）29b（of）g（数学）h（and）f（A）n（rti\014cial）g（英特尔）t（智能）l（e）pFt（，）f（25:369{389，）663 1772 y（1999.）561 1863 y（3.）43b（P）n（aolo）32 b（F）-6 b（erraris）31 b（and）F（Vladimir）g（Lifsc）n（hitz）50b（W）-6 b（eigh）n（t）30 b（constraint）n（ts）h（as）h（嵌套）e（表达式）6631955年（In）25 b（进度）i（2003）561 2046年（4.）43 b（F）-6b（ran \030）-34 b（cois）25 b（F）-6 b（ages.）34 b（稠度）25b（of）h（Clark’s）f（completion）g（and）f（existence）h（of）g（stable）h（mo）r（dels.）663 2137 y Fa（期刊）i（of）f（Metho）l（ds）i（for）e（l）l（o）l（gic）h（in）g（计算机）g（科学）l（e）p Ft（，）f（1:51{60，）i（1994）5612228年（5.）43 b（y）-6 b（uliy）n（a）23 b（Bab）r（o）n（vic）n（h，）h（Esra）h（Erdem，）e（和）h（Vladimir）f（Lifsc）n（hitz.）32 b（f）-6 b（年龄'）26b（定理）d（和）g（answ）n（er）663 2319 y（集合）f（编程）12492288 y Fl（11）1341 2319 y Ft（In）f Fa（Pr）l（o）l（c.）k（第八）f（国际）f（车间）j（on）e（非单调）h（R）l（e）l（asoning）p Ft（，）6632411 y（2000）561 2502 y（6.）43 b（Esra）24 b（Erdem）f（and）h（Vladimir）f（Lifsc）n（hitz.）32 b（Tigh）n（t）25 b（逻辑）g（程序）32b Fa（The）l（ory）27 b（and）f（Pr）l（立构）l（e）h（of）663 2593y（L）L（o）L（gic）h（Pr）L（o）L（gr）L（amming）p Ft（，）f（2003年）36b（T）-6 b（o）26 b（app）r（ear.）561 2684 y（7.）43 b（Ilkk）l（a）23b（尼梅尔\177）-38 b（a）24 b（和）g（P）n（阿提克）g（西蒙斯）32b（扩展）23 b（the）h（Smo）r（dels）g（system）f（with）h（cardialit）n（y）6632775 y（和）f（w）n（eigh）n（t）h（constraint）n（ts.）31 b（In）23b（Jac）n（k）h（Mink）n（er）g（编辑器）g Fa（L）L（o）L（gic-Base）L（d）k（A）n（rti\014cial）d（英特尔）t（智能）l（e）p Ft（，）663 2867 y（页）h（491{521.）j（Klu）n（w）n（er），d（2000.）561 2958 y（8.）43 b（Victor）21 b（Marek）g（and）f（Je\013rey）h（Remmel.）j（On）d（logic）h（programs）f（with）g（cardialit）n（y）g（约束）n（ts.）663 3049 y（In）k Fa（Pr）l（o）l（c.）j（NMR-02）pFt（，）e（2002年）561 3140 y（9.）43 b（Keith）20 b（Clark.）28b（否定）21 b（as）h（失败）28 b（In）20 b（Herv）n（e）g（Gallaire）j（和）e（Jac）n（k）g（Mink）n（er）g（编辑）h Fa（L）L（o）L（gic）6633231 y（和）28 b（数据）g（基）p Ft（，）f（页）g（293{322.）h（Plen）n（um）d（出版社）i（新）f（Y）-6 b（作品）25 b（1978年）523 3322 Y（10.）43b（John）25 b（Llo）n（yd）h（和）f（Ro）r（dney）g（T）-6 b（op）r（或）35b（制作）26 b（序言）h（更多）f（表达）n（e.）34 b Fa（期刊）28b（of）f（L）L（o）L（gic）663 3414 y（Pr）L（o）L（gr）L（amming）pFt（，）g（3:225{240，）i（1984）523 3505 y（11.）43 b（P）n（atrik）25b（西蒙斯）34 b（扩展）25 b（和）g（实现）n（廷）f（稳定）i（mo）r（del）e（seman）n（tics.）34 b（In）25 b Fa（Do）l（c-）6633596 y（tor）l（al）j（论文）p Ft（，）g（页）f（305{316，）h（2000）5233687年（12.）43 b（P）n（atrik）29 b（Simons）h（Ilkk）l（a）e（Niemel \177）-38b（a）30 b（和）g（Timo）f（大豆素）46 b（延伸）29 b（和（ting）663 3778 y（the）25 b（稳定）h（mo）r（del）g（seman）n（tics.）34b Fa（A）n（rti\014cial）28 b（英特尔）t（智能）l（e）p Ft（，）e（138:181{234，）k（2002年）523 3869 y（13.）43 b（Vladimir）23 b（Lifsc）n（hitz，）j（Da）n（vid）e（P）n（earce）h（and）f（阿古斯丁）g（V）-6 b（alv）n（erde）31 b（强）24b（等价）l（alen）n（t）f（逻辑）663 3961 y（程序）34 bFa（A）n（CM）27 b（T）-6 b（r）l（反应）30 b（on）e（计算）g（l）l（o）l（gic）p Ft（，）f（2:526{541，）i（2001.）523 4052 y（14.）43 b（托马斯）36b（科尔曼）h（查尔斯）g（雷瑟森）h（和）e（罗纳德）g（里夫）n（est）66b Fa（简介）l（o）l（归纳）39 b（to）f（A）n（lgo-）663 4143 y（公式）pFt（.）d（MIT）26 b（Press）h（1994）523 4234 y（15.）43 b（F）-6b（昂镇）19 b（林）g（和）g（Y）-6 b（乌丁）18 b（赵）24b（ASSAT:）18 b（计算）h（answ）n（er）h（集合）g（共）g（a）f（逻辑）i（程序）663 4325 y（b）n（y）j（SAT）i（溶剂）n（ers）35 b（In）25 b Fa（Pr）l（o）l（c.）j（AAAI-02）p英尺（，）e（2002.）523 4416 y（16.）43 b（Jo）r（oh）n（yung）35b（Lee）g（和）g（Vladimir）g（Lifsc）n（hitz）64 b（Lo）r（op）36b（形式）n（ulas）f（for）h（析取）n（e）f（逻辑）i（pro-）6634508年（克）864 4476年F1（12）963 4508年Ft（未出版）24b（草案）j（2003）p 523 4656 473 4 v 515 4710 a Fl（10）6064742年前(http://www.tcs.hut.fi/softwar网站)q（e/sm）q（模型）q（/lpa）q（rse.）q（ps.gz）46 b（.）515 4801 y Fl（11）606 4833 y Fr(http://arxiv.org/abs/cs.ai/00)q（0304）q（2）f（.）515 4893y飞行高度（12）606 4924 y飞行高度(网址：http://www.cs.utexas.edu/user)q（s/ap）q（psmur）q（f/pa）q（pers）q（/disj）q（unct）q（ive.p）q（s）g（.）p eop%%拖车结束userdict/end-hook已知{end-hook}如果%%电动势