astl2.ps

一个类似STL的自动机的源代码库

A8C94D661C40D718CB09497485FAA34204229AECFE644C93FFDA54C789E4F751
3D2519F7CB9E79B2ABE3101DF2EBFAD375469CDC687FB3DC2833EDC0F946B41F
F28D72FFF2A9B8B0D76DC542537612E2BE0F3FB9601C897386359C55E867A547
F872005F5C56C6EC5E9685E03D7A82653BE8B69741C4DF332AEEB2AA450B23F3
EABD5ED060606CC7DB1762632EC3C6C4A66ADAF61A97D949DEA5156B4CF34765
67AC3F10AE17199A710A882D47979F9D41AA2CB794648BE47479F0B00E18BF04
923F54CEC1214BAFA39BB65ECB013875899E9901B7882D16D2E2C97AD3353668
A6070081E4DC627AF9192599F5876369908FBDFA11E8D6CB2E83896E9C897CEC
FD1D25651D66A333AF531FF74E1B0DEB1E3D1B5B7D3FB9D1C8BF60517B31C8D2
1C264F44BC9AF3D9BA5280D1618EED96C11ED24F789FAA263394C658DFCA8DE9
D47D9E188E212F9EC1DCF449DFDAB8437FAB9EA9AF01AE1714E8F932855182
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
0000000000000000000000000000000000000000000000000000000000000000
cleartomark
%%EndFont 
%%BeginFont: CMBX12
%!PS-AdobeFont-1.1: CMBX12 1.0
%%CreationDate: 1991 Aug 20 16:34:54
% Copyright (C) 1997 American Mathematical Society. All Rights Reserved.
11 dict begin
/FontInfo 7 dict dup begin
/version (1.0) readonly def
/Notice (Copyright (C) 1997 American Mathematical Society. All Rights Reserved) readonly def
/FullName (CMBX12) readonly def
/FamilyName (Computer Modern) readonly def
/Weight (Bold) readonly def
/ItalicAngle 0 def
/isFixedPitch false def
end readonly def
/FontName /CMBX12 def
/PaintType 0 def
/FontType 1 def
/FontMatrix [0.001 0 0 0.001 0 0] readonly def
/Encoding 256 array
0 1 255 {1 index exch /.notdef put} for
dup 0 /.notdef put
readonly def
/FontBBox{-53 -251 1139 750}readonly def
/UniqueID 5000769 def
currentdict end
currentfile eexec
D9D66F633B846A97B686A97E45A3D0AA052A014267B7904EB3C0D3BD0B83D891
016CA6CA4B712ADEB258FAAB9A130EE605E61F77FC1B738ABC7C51CD46EF8171
9098D5FEE67660E69A7AB91B58F29A4D79E57022F783EB0FBBB6D4F4EC35014F
D2DECBA99459A4C59DF0C6EBA150284454E707DC2100C15B76B4C19B84363758
469A6C558785B226332152109871A9883487DD7710949204DDCF837E6A8708B8
2BDBF16FBC7512FAA308A093FE5F0364CD5660F74BEE96790DE35AFA90CCF712
B1805DA88AE375A04D99598EADFC625BDC1F9C315B6CF28C9BD427F32C745C99
AEBE70DAAED49EA45AF94F081934AA47894A370D698ABABDA4215500B190AF26
7FCFB7DDA2BC68605A4EF61ECCA3D61C684B47FFB5887A3BEDE0B4D30E8EBABF
20980C23312618EB0EAF289B2924FF4A334B85D98FD68545FDADB47F991E7390
B10EE86A46A5AF8866C010225024D5E5862D49DEB5D8ECCB95D94283C50A363D
68A49071445610F03CE3600945118A6BC0B3AA4593104E727261C68C4A47F809
D77E4CF27B3681F6B6F3AC498E45361BF9E01FAF5527F5E3CC790D3084674B3E
26296F3E03321B5C555D2458578A89E72D3166A3C5D740B3ABB127CF420C316D
F957873DA04CF0DB25A73574A4DE2E4F2D5D4E8E0B430654CF7F341A1BDB3E26
77C194764EAD58C585F49EF10843FE020F9FDFD9008D660DE50B9BD7A2A87299
BC319E66D781101BB956E30643A19B93C8967E1AE4719F300BFE5866F0D6DA5E
C55E171A24D3B707EFA325D47F473764E99BC8B1108D815CF2ACADFA6C4663E8
30855D673CE98AB78F5F829F7FA226AB57F07B3E7D4E7CE30ED3B7EB0D3035C5
148DA8D9FA34483414FDA8E3DC9E6C479E3EEE9A11A0547FC9085FA4631AD19C
E936E0598E3197207FA7BB6E55CFD5EF72AEC12D9A9675241C7A71316B2E148D
E2A1732B3627109EA446CB320EBBE2E78281CDF0890E2E72B6711335857F1E23
337C75E729701E93D5BEC0630CDC7F4E957233EC09F917E5CA703C7E93841598
0E73843FC6619DE017C8473A6D1B2BE5142DEBA285B98FA1CC5E64D2ADB981E6
472971848451A245DDF6AA3B8225E9AC8E4630B0FF32D679EC27ACAD85C6394E
A6F71023B660EE883D8B676837E9EBA4E42BA8F365433A900F1DC3A9F0E88A26
30F2AD56EA22D77BA06F2F0A466830FEF19E34331E1F94081D7A7DF573993D0B
61B43C7B7DE0CC105B5B0AD4FB2346C2368DE176271B6AF85ABCE1604A8471F8
610521331EC001C005B32A13D9331F5FA7F35C1F7A21D7A4BF11299A2A858A0C
E5B66CE90B40391C60547F3AB3F69EDE4C21EC0A8B84C2A858129A38BC96C64D
7323F15E683EF995DB39F64EF2BB5130944079B4080F9EA9A339FA634F4E9487
4CECBB2CE721D8B6D33E6FF0092FCD897265C3F4FB8D419A00AB84DBD86BE941
1CC9F149F5B41BAF4B02E53DD9FB357AB6BB9D4F0F40A54BCAAD338344E68743
0CA6C414522A6233F8DA6ABD4D9DD5C00E328D154A1D1EE4972BACE375AC4B60
6189A409B7FBF4127E4856A04D6911DDE15816A277912EDDC97B4B6F7A55D735
3C42CB57579D6EF0C3B41AB69D658B0D6229601A47C79872B4E630096D313770
ABA8613FBC8E4816FDDD7A2DF7715B1C26DD6806E39ABCC0E6D8E2909CC0BFBF
238C1465D795DCBD1D87F188CAFF89DE07E8CC3FCDB389C6144D21E899D2690B
1DC852A5B6538E9C1C1ADD1153095EBD59205A3ACDA138AA12E394464B7130A7
F7BAECFE763974AC36373446298FDCF257F6D0180ABE1B20A512DF48E38E2BC4
31A7EE0EEBEE9D649CE9E77C27F033996F25D0A5867EA9F4A64933DF64781D6E
A7EAD6FA218BDAA8F8846748B8D151C7FA0A7155CBE840AF36353D313410D8DB
507066A3C31F30E83D8D919685BD482E535333EFA68A57E37B7DBFD53A7327FE
584D03D2DE594567F520213F36540F7EBF28C67DC4AD5D0EDF94A16B212C4E36
9A5A6D003DD3C8E8DD7C35465FB7ECAEF68EF561C2E3B87C0FF943FA723C28AC
344DAD934926AB8FB1481DA1B8208D45770D73B08EEB4E690708BB5C441AF89A
B6D5DA6DFB133CEF6AC079F3AF7D2E7314E04C76710068F934087DBD396B68C0
B20B65538016333C6B5582765689F04BE0D5F75F0D3D008CD1D3816C7B2E5E5B
4756DAECF91D5A03F3B1E9FFFA808AD4E1DAF3C3E04ACAE52E9BE049B4EA2914
7A4243D5135C6CA5A2DDD24D57B0E821848B353D402A623C81E114586AFFCBD1
C6DFA8323DF04697C7030BAD266EE1D81BBA8979319CF3602726A4876AE39BF5
891256080A949D32FA1F697624BF6BCB17360897B7594634527CAAB58FB75FE1
29178376A139EBA4165CC05D477187A6D2FC3152CB03DDBF1DB2A90477A0C915
48C5A7779F209F34DC0417636B9AF30E01E59324588DCE16784548B542021A28
BA92149F1F734D7E0C0E3CBC87A89A0F4DE60E66FF940601D2DBFADF0F9A2C44
F0F9AC1907D5F6DE8710BD123C5C886FE2A853075356CBEB02DEA195EFB84436
F30E2F35E7A58EBBA3B5432347215B9668072098DC8602C98752362964647245
DF36004B6DD3364326CC07FA079FE27B7071854F9F8A7403514D0FF5D836B071
03E92E810E4ACEE0403D2ABF2EC09945B61D6FF78B19C8EEAEAEAE0C8E0DBFD7
404B08868172392830839868D04152AF4D4FC96D8926D9D3496F4DB8C13310E9
D0ECAD9A56D156D5C529A943F14CED7C3C4B6EE90C885794DA2F5F6AF281D790
00ADDAAA5B91F0DA0D65BF0CEAFC422C3429F1699C45DD45444F8D8823E59198
3AA796C21B44D284731475A7E52DFD52F8F85A3665DD372EA46E073516A57B1A
AF19BA3D3AE9BF8448C211A1F1C60C42543FBE06FC42EDF9F15485F0D992C005
D5299B8460A01B8B743198A98B337BFECDA9040BE6ED27FDDB34C51B79F4C5C7
56E284F9D8AD7881B87A5CB5D548BD1243B05A34D57F26F66B7DEBB731C78E00
F0A1C0B1D3C1BDF4E9805705C2493FCE66AE5A98677F3B97FFF26CB29D7289FE
2FC1A9B8E1806E696940D2327DE7162143C0004D06B45A80B514711F3B0A1F1B
16CA3732374052EA2618FC921DA426C613BB1F90EC63AC7493EAD028EE01CDC7
16C91E890A4FF178C4AB99343F1609BB01B5446425D950B2AC5C5E46AD025B17
236C1A0B8F3C0BEA3F69F69C0EF028E431E2C82A58663863F03F3A0E747E75F9
C794C84B4512487A4613CBD87F94A8960B34355F45C6F7874BAB54ABA9117E86
910C1D1E8E389FAE86093FDF3A0B03CB2782C018685C83B0841C4431A5972B40
56566BD443C9C223607DBEA76942392C0857E70F11819F1CAA4D2A99E9FC2819
294322FCBCF77EBC15CBCC4105FEDF9DAB494AE45D8377836431DDD2B6CEA47E
2D32AD3609ED61853C90C5BD4B97915436C75D12BFAB9672813AD3B07273EF3E
DC7B9FFAE072995E0F3489E7B9AAAF1B9B892C16D3971CB61402BC5BBFF2A921
5B95F7FBDFA16157CE31A899B26CC122B85608C6703D61DF9FAE084ED00B283A
C734D4DD81177FDFA9FC2308E87B5C38DF733A5D3BA859E0AB55730271945774
10557936AF5BB5A0B6457A834400C015753F3FD72F4808EC67C1DC9FA0FC2C55
FCA04807A046773DCDF33811B99B1B8BEAD57C88F0D5C278D892C67FE67504D4
E09D01D173C70DE91ABF3BDFCF630BB930E4E319D3E8C35EE226454D1AA3A9C8
18DF940BB0270747C153640FC334886FB7201630A47E498DAEA7CF8FDC109E59
B5DA244599828C0C8A266D9498C96D365260C1208E3E168BC46565DEAB860B6C
2ED914219E0DDD661909F432439193B672268FF50B6662DCEEFA84DD84408E8F
082BBDC1EAA7EB6BB29F5461C1238ECC5A88C42AE381C56DFF0B52675C6B90E0
D2451E234CB344B0B295E4673C59D55C025743E6D0986BA2443D0D68BAFB54D2
D122966E603A7978A7EEB9336B33615B5B28907939835176D0C6A73C632CD204
983B21D14B8C38606CF562412C0F48D07BAA8ADA4FA4AF0ABE0980BE40A82102
BAB77A9A1F1F11D8B1AA7DFDC25670CC00BF2A774725C95F3FFC2ACC3596D13A
5E6AA7D87570776C5A5EC822CA7E06C431C379FCC23AE7CFAA3DA4FD05477B78
07CA0B25B57028019C9D2A6FECF40A94CE3CB08AF467A2288321D24A1EC64792
7665877497D9FD9E0E5BFCF82BD27F7CD4527A8B96E57B4984F7E54630DD8346
3234EAF8F44EAE5E616D0981C6D78D9E1FE41D1C897E0720D0D18538B9CFB0D4
3915CCBC40236A327A7111560E5AE545241D3F2CDE5215C02B5ECBB10D7469A4
9C6B894623155E0B5B5D0CF3FF59343AF3CBA3B40D40647D9BEBE3FE7B5C844A
E19E765820DF513B3BC1A9E877656883089D04A53735B847E1C3B275A5F66DF3
48F67445A3ECA7836FC9C17789F190EDAE15BE5A69BA44D3D2827AF8F63D736A
7D6C0686F6E52F316D40CDFF2D69C8A572A6CACA3BB61C348BEA499CD327D1A9
22E137C249ABE87A860542FBCCC981C2FEB5616A7FB5570FBC62D1F606FF4795
1C0B2EDB5158AAFA3C344E37F9786B1D30EF4974AEE1237BCCF4A740BBE930C3
A3E3AB89907BDD4BC5E7BDA438A2D197B02FD8511EB16F852041AF81DFC5B216
FFAD975F01162D719F9026E1CA10DF679AE9A068292F48DCFBC497913F9069B2
914BBF4B1F492B81512504A66BC33A6DA5346AA1C2AF6894B76841518742A462
6EB3AB75D10A1379D0F5AC1D7FE98BE68D5F4983BC3737ABB6128DD2FC462710
94EBD757838B11FB046799658F8D8A3F558556C65694206F7CAA540452B23AEB
C12BC17C21684D3C4E4FF07ED1D219090054BCC71D6A40C0AA43A340580FB5AC
1E952D13003051D5EB3F30174B3701924C8AE17ABFABA1CDE54A80CCE3018705
A1A029922E8FC5B95A5F655D58E3CED557C3D5F39D0DF02D55DB8CE506A6FBF6
C9D826F26F4EB177EAE8217573999C8E4034310968034589444C190C04E66764
60E1353F40D6C17FCD3CFD0325046682F5A7CDD9321F1C03F0777FFA7F2D1A86
8E95BDA3634C4219609944C74EA6A187776B23F2F983A0B25CA60A43513F6B1B
4A74EA55FBA58F67031BEF57CAE1A4DCDCE46E0A6143DCA4680F5FFB423FD1D0
7E7604B6C5300781676D063550437E1A4C33576C19E4E4C7D507D62250842E3D
565D869C084D820E7E1E8E9DF6170C4652BEE8FCD1AEC1DBA24ED5230E1443F1
43CC1C5F16677584D3E01CA483AEC3400DAE34ADF1B0E282511ABE35707A8A75
2853B4FE60891AF367F09CF0736BA9058238F8948419B34475B0FF7CE294F5E7
8A6A499F78B7032B7F49CFE3924ED5676125C9DA3B29BA216A36490777DE1B89
03B5EF6BA3D559DA32085F8ACC6699C789D70CCD2D3E82BAB7E1199341EA6D1D
59318772AA63DD641C68E31311D477EA0B843169E4FCFE94C1C75B88C232F68C
ABC345E005BD6490CB6A1FC1E411D5D71A82A0E257DFDC7E6AD73FE9171653D6
BCCD1C6269EFDBA2977839D00AACA1548CFC6B4061CECE0AD1167E26BAF51B1A
38C78CE44D37A694460E2B32B8E4932F45D2AA4F73AB0562B651D47DA8BEFBEF
CA4ADC75FB4C05EB0E236EB7D812D727AE0E493D6BFE1235F0206441A4A91CC0
8EAD808E0C335AF56BC7D268B57AFFBC33AAA6E6280D812A90F660634A1AB93F
1A185B205ADF962DF241BE7854D9687BB70B5902682C5BFFD8C6035DBFB14FEA
57ADC1237FC6E2EC1DBB62E11C27FA47D7494B3A3962EE0E9FC3033E804C3A79
C3F41D5115470062C574E12E0E8185ADDBB4364F6980DE5F9AF9D5AEF7CF5A7E
73BF1C4CEE12253FA024F1BD3E61080691675D8A5CF707A21E340816857843E6
0BB772F7A22F57B6D668B3B79E56EA4873EBB4F0C951B9E853033936559A2EF0
B568166238057D7C29785B9D72CD0A43DA99D02C82849825233EF849684BB08E
D39E89DFD026C72CA2E56D32E01F1EA92C13F51BD4A6CD8AC2C65C741982CBAD
68AC79B1626F882C908AC334A3D5BDC77E32C00957F390A7A6646A6E87889389
739BABC6841DA2C00A9FEE4EC2F1C31BC268B22C4F08773F8AD2137BF2465F77
E2695F6ADC16AAE36E2ACF71A098ADB7B83FD94FBC700AB131CF66C7ACC04AC9
3198FB3CFF5C479FF0E0A97CA12FF4C7A9E48327B073B576B3A753DD246E78C7
9BAB1A67EC5916752D8F0A8D99A46506CB04A9CDF4F19BA4E0D825672A42D6EF
3FFB4216CAD4814230E1EE78662F1DA5CEB61E064330AA07C676DAC2A95DA065
A574CA80A5474F0F0951599F7479F628C65BCC5C328EDC3ED99018425B081A89
C440C6BB145740691AF6591CED5CA5491ECEE01A470CC857DEC396445279A3ED
375D8EFE992E2F9205341E2DF88B502799EB78ED0CD2CFC1BE251742A3736E56
95ACCA5D6263184A0537855785D243984565410A68ECBE94F5CFAC19613161BC
F8BD92A903089395AAE70FF995BDAEAE253F71B33A9ED7B5071540D36A683203
FAB58C84A256BB081EE98DB6FC32D28585B6F51833EF5428DD0D4595D33D06D6
AB20455161A2F1877DDA2635F5EF58A5653D4D1D5D5076B78771B191F6D72D6E
49D30B3638A4A59764A2607592F6E79031BFC2276B66D87DB13A035917AB14D8
22C6D8836BB856B86AFBD249CE512C94A43FCB16353995CF4BDFF764E7F46B18
7C11D0DD67824425D745F074C5F9C686FB027FD9AE29CE63A74CE6E002E00739
89743106B55A2F188BFEC75F8202FA0A99F36F1AAC7CA358A6D8FC491AD76719
E93DEE82A538C0D17135CDCF9F9E2BF26906D5407D604932D0978C9FCC9DE018
948104877B94977F9A1BBBCEA213819F789162F5329728B6302C9A6A03009AF5
A85BE5F7DA1C153FFDCFD5F5A330E1AF7F0D23BEC8AEC08096F8B4F631D8C3B5
B95AEE80AFF3900A0B932DA3254DD8C179A1515BCB4D0567483C7DB0911BCE5E
85D49FC360CB85AB9396397EB54A7DD85C2AC0A6568D89EE1F38187ADDB3261A
45448DA7CAB436776213CCBE75CB3533B8EB8CEAE80EC7ADED7DB43317463F59
B1121912E71859804DDFCADA5B2DA35186084945620F4399799012108FFA2F48
0286AA6323C9A142646CA867C06EAABC4FAD281D5A4091C1AC0563A4515BE7B9
52982B1199190C43FD6CA7BE303AE288E0D1B0DF6C578F8EB671A9DE63AB51DA
473C4C92E84A213F70C6AD98895D00C9DCFEFCA02E122F32BDBDFC5033DEA9AE
550448219646C52230C8D4335F388A24D4464389B98F5FD159372729DDE9A186
FDEAD45EF9075EFA3436C39D619D3BF7DE08835D9448A800C997EE624630E4AF
E2256D476FDD909DED0D23EE953FD65202220E2AC39A79A08CD66D6D4B403F3B
FFA241FC5D45CE30CF92AE049D1C10D0ED76679CD0DD04DDC4464DF97EE5D489
909D95C9F696942C0F94289CA22C9844D796F166BAAA44AF4420BF4EAA7FC1C5
A0D9F5D23F2A66C193B8DD1ADBB4AE074B2BFBFB435A20E16A62E907A4505D89
79DBA05E5049ECA555F84F7F2CF35E4A4392EFE76C5F1836A9B33EF793551B9B
5DAEFCCF210CA963E248E05C02DF36D157BE318F922372E024337E1CA4992E4B
D4A8D421D29A1F51550207F71B2CE6856D8FDC2769F6A794EC32917B4816F673
472914B4FE988725579E3CE2A9E737507ABF4227F1962666F01808791EF4C3F8
2678CB7C7DA3F034B14A836D00B72AC26DCC7D37C670D1EDD7D67109B70F1811
721946B2C73A669DD41767BA9A171FC09810E2CAF5D2F3A7B23354D2A1314C50
C71E6FD2FC5DD098C26663ABFF220DBB456A826EE48CA8A3DD0B2BD5CCF4B586
E6A6D1941F0AD629DF471D53306A92541C581409A580A7CA4DEB25C0FB58DD7F
55FAEB64FA1CFCB61530C19621B900A7733A621D7EE698899A86FD045732A9CB