summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/latex/zed-csp/csp2e.dvi
blob: 9a1235046f366eb14ab6d11cf1e549890c3a8a92 (plain)
ofshex dumpascii
0000 f7 02 01 83 92 c0 1c 3b 00 00 00 00 03 e8 1b 20 54 65 58 20 6f 75 74 70 75 74 20 31 39 39 38 2e .......;........TeX.output.1998.
0020 30 37 2e 32 36 3a 32 31 33 39 8b 00 00 00 01 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 07.26:2139......................
0040 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ff ff ff ff a0 02 a3 2d dc 8d a0 fd 40 ..........................-....@
0060 ea 55 a0 02 a1 15 ab 8d a0 fd 89 31 70 8d 91 fc 52 25 f3 10 c2 d6 4e a0 00 18 e1 48 00 0c 00 00 .U.........1p...R%....N....H....
0080 00 06 63 6d 62 78 31 32 bb 53 65 74 74 69 6e 67 96 09 54 7b 72 65 61 6c 2d 74 69 6d 65 93 43 53 ..cmbx12.Setting..T{real-time.CS
00a0 50 8e 9f 21 55 77 8d 91 fc 52 25 f3 11 44 d3 ed 74 00 11 47 ae 00 11 47 ae 00 05 63 6d 72 31 37 P..!Uw...R%..D..t..G...G...cmr17
00c0 bc 4a 69 6d 91 05 37 74 44 61 90 8c 71 76 69 65 73 8e 9f 36 c3 1f 8d 8d 91 fc 52 25 f3 12 c2 d6 .Jim..7tDa..qvies..6......R%....
00e0 4e a0 00 11 47 ae 00 0c 00 00 00 06 63 6d 62 78 31 32 bd 31 8e 91 19 7b 19 49 6e 91 ff 75 c2 74 N...G.......cmbx12.1...{.In..u.t
0100 72 6f 91 00 8a 3d 64 75 63 74 69 6f 6e 8e 9f 24 62 23 8d 91 fc 52 25 f3 0e 58 ab 51 0b 00 0c 00 ro...=duction..$b#...R%..X.Q....
0120 00 00 0c 00 00 00 05 63 6d 72 31 32 b9 54 68 65 96 03 64 9c 6c 61 6e 67 75 61 67 65 93 61 6e 64 .......cmr12.The..d.language.and
0140 93 6d 6f 90 53 8e 64 65 6c 73 93 6f 66 93 43 53 50 91 03 64 7a 68 61 95 ac 72 76 93 65 96 03 64 .mo.S.dels.of.CSP..dzha..rv.e..d
0160 9c 75 6e 64 65 72 67 6f 6e 65 93 61 93 67 72 61 64 75 61 6c 93 65 76 90 ac 72 6f 6c 75 74 69 6f .undergone.a.gradual.ev..rolutio
0180 6e 93 73 69 6e 63 65 93 74 68 65 93 70 75 62 6c 69 63 61 74 69 6f 6e 93 6f 66 8e a4 0e 80 00 8d n.since.the.publication.of......
01a0 91 fc 52 25 74 68 65 96 03 cf 37 0c 72 73 74 93 43 53 50 91 03 cf 30 74 65 78 74 62 95 53 8e 6f ..R%the...7.rst.CSP...0textb.S.o
01c0 93 6f 6b 7c 48 6f 61 72 65 27 73 96 03 cf 37 f3 13 7d 68 21 d3 00 0c 00 00 00 0c 00 00 00 06 63 .ok|Hoare's...7..}h!...........c
01e0 6d 73 6c 31 32 be 43 6f 6d 6d 9a ac 72 75 6e 69 63 61 74 69 6e 67 93 53 65 71 75 65 6e 98 74 69 msl12.Comm..runicating.Sequen.ti
0200 61 6c 93 50 72 6f 90 53 8e 63 65 73 73 65 73 91 04 4f c2 b9 28 50 72 65 6e 98 74 69 63 65 2d 48 al.Pro.S.cesses..O..(Pren.tice-H
0220 61 6c 6c 2c 91 03 d4 b4 31 39 38 35 29 2e 8e a1 8d 91 fc 52 25 54 68 65 96 03 ea a8 66 6f 72 74 all,....1985)......R%The....fort
0240 68 63 6f 6d 69 6e 67 93 74 65 78 74 93 6f 6e 93 72 65 61 6c 2d 74 69 6d 65 93 43 53 50 93 77 69 hcoming.text.on.real-time.CSP.wi
0260 6c 6c 93 70 72 6f 90 ac 72 76 69 64 65 93 66 6f 72 93 73 6f 6d 65 93 64 65 67 72 65 65 93 6f 66 ll.pro..rvide.for.some.degree.of
0280 93 73 74 61 6e 64 61 72 64 69 73 61 74 69 6f 6e 2e 8e a9 18 80 00 8d 91 fc 52 25 49 6e 96 03 5a .standardisation.........R%In..Z
02a0 8e 70 61 72 61 6c 6c 65 6c 2c 91 03 77 60 77 9a ac 72 65 93 68 6f 70 90 53 8e 65 93 74 6f 93 70 .parallel,..w`w..re.hop.S.e.to.p
02c0 72 6f 98 76 69 64 65 93 61 93 73 74 61 6e 64 61 72 64 93 73 65 74 93 6f 66 93 6d 61 63 72 6f 73 ro.vide.a.standard.set.of.macros
02e0 93 66 6f 72 93 73 65 74 74 69 6e 67 93 64 6f 90 53 8e 63 75 6d 65 6e 98 74 73 93 77 68 69 63 98 .for.setting.do.S.cumen.ts.whic.
0300 68 93 75 73 65 93 43 53 50 8e a1 8d 91 fc 52 25 6e 6f 74 61 74 69 6f 6e 2e 91 05 35 f9 54 68 69 h.use.CSP.....R%notation...5.Thi
0320 73 96 03 e1 f4 77 69 6c 6c 93 61 6c 6c 6f 9a ac 72 77 93 75 73 65 72 73 93 74 6f 93 65 78 63 98 s....will.allo..rw.users.to.exc.
0340 68 61 6e 67 65 93 64 6f 90 53 8e 63 75 6d 65 6e 98 74 73 93 69 6e 93 65 6c 65 63 74 72 6f 6e 69 hange.do.S.cumen.ts.in.electroni
0360 63 93 66 6f 72 6d 2c 91 03 e3 b1 61 6e 64 93 77 69 6c 6c 93 66 6f 72 6d 93 70 61 72 74 8e a1 8d c.form,....and.will.form.part...
0380 91 fc 52 25 6f 66 96 03 ea a8 74 68 65 93 75 73 65 72 93 69 6e 90 ac 72 74 65 72 66 61 63 65 93 ..R%of....the.user.in..rterface.
03a0 74 6f 93 74 68 65 93 6c 61 6e 67 75 61 67 65 93 74 6f 90 53 8e 6f 6c 73 2e 8e a6 8d 91 fc 52 25 to.the.language.to.S.ols......R%
03c0 54 68 65 96 04 1a 48 6d 61 63 72 6f 73 93 61 72 65 93 64 65 0c 6e 65 64 93 62 9a ac 72 79 93 61 The...Hmacros.are.de.ned.b..ry.a
03e0 93 73 74 98 79 6c 65 93 0c 6c 65 93 63 61 6c 6c 65 64 93 f3 14 df 86 b5 54 00 0c 00 00 00 0c 00 .st.yle..le.called......T.......
0400 00 00 06 63 6d 74 74 31 32 bf 7a 65 64 2d 63 73 70 2e 73 74 79 b9 2e 91 05 c7 c1 54 68 69 73 93 ...cmtt12.zed-csp.sty......This.
0420 73 68 6f 75 6c 64 93 77 98 6f 72 6b 93 77 69 74 68 8d 93 4c 8d 9f fd 44 44 8d 91 fb c5 22 f3 15 should.w.ork.with..L...DD...."..
0440 7c 7b 59 07 00 08 00 00 00 08 00 00 00 04 63 6d 72 38 c0 41 8e 8e 90 5f d9 b9 54 8d 91 fe 0a 91 |{Y...........cmr8.A..._..T.....
0460 9f 02 95 55 45 8e 91 04 91 21 58 91 01 c3 2d 32 8d 9f 01 cc cc f3 17 b7 e1 67 a3 00 0c 00 00 00 ...UE....!X...-2.........g......
0480 0c 00 00 00 06 63 6d 6d 69 31 32 c2 22 8e 8e 91 2f 50 d5 b9 2e 8e a1 8d 91 fc 52 25 49 6e 71 75 .....cmmi12.".../P........R%Inqu
04a0 69 72 69 65 73 2c 96 03 ea a8 73 75 67 67 65 73 74 69 6f 6e 73 2c 93 6f 72 93 63 6f 6d 70 6c 61 iries,....suggestions,.or.compla
04c0 69 6e 90 ac 72 74 73 93 73 68 6f 75 6c 64 93 62 90 53 8e 65 93 61 64 64 72 65 73 73 65 64 93 74 in..rts.should.b.S.e.addressed.t
04e0 6f 8e a4 25 80 00 8d 92 00 98 17 d2 bf 4a 69 6d 2e 44 61 76 69 65 73 40 63 6f 6d 6c 61 62 2e 6f o..%.........Jim.Davies@comlab.o
0500 78 2e 61 63 2e 75 6b b9 2e 8e a1 8d 91 fc 52 25 4e 6f 74 65 96 03 63 68 74 68 61 74 93 74 68 69 x.ac.uk.......R%Note..chthat.thi
0520 73 93 69 73 93 61 93 66 61 69 72 6c 79 93 71 75 69 63 9a ac 72 6b 93 0c 78 93 6f 66 93 74 68 65 s.is.a.fairly.quic..rk..x.of.the
0540 93 73 74 98 79 6c 65 93 74 6f 93 65 6e 61 62 6c 65 93 6d 98 79 73 65 6c 66 93 61 6e 64 93 6f 74 .st.yle.to.enable.m.yself.and.ot
0560 68 65 72 73 93 74 6f 93 75 73 65 93 74 68 65 93 69 6d 70 72 6f 98 76 98 65 64 8e a4 0e 80 00 8d hers.to.use.the.impro.v.ed......
0580 91 fc 52 25 66 61 63 69 6c 69 74 69 65 73 96 04 59 36 6f 0b 65 72 65 64 93 62 9a ac 72 79 93 74 ..R%facilities..Y6o.ered.b..ry.t
05a0 68 65 93 6e 65 77 93 76 98 65 72 73 69 6f 6e 93 6f 66 93 4c 8d 9f fd 44 44 8d 91 fb c5 22 c0 41 he.new.v.ersion.of.L...DD....".A
05c0 8e 8e 90 5f d9 b9 54 8d 91 fe 0a 91 9f 02 95 55 45 8e 91 04 91 21 58 2e 91 06 84 8a 49 74 93 68 ..._..T........UE....!X.....It.h
05e0 61 73 93 6e 6f 74 93 62 90 53 8e 65 65 6e 93 72 69 67 6f 72 6f 75 73 6c 79 93 74 65 73 74 65 64 as.not.b.S.een.rigorously.tested
0600 2c 91 04 74 da 61 6c 74 68 6f 75 67 68 93 69 74 8e a1 8d 91 fc 52 25 73 65 65 6d 73 96 03 ea a8 ,..t.although.it.....R%seems....
0620 74 6f 93 77 90 ac 72 6f 72 6b 93 66 6f 72 93 6d 65 2e 8e 9f 32 15 56 8d 8d 91 fc 52 25 bd 32 8e to.w..rork.for.me...2.V....R%.2.
0640 91 19 7b 19 53 79 6d 91 ff 75 c2 62 91 00 8a 3d 6f 6c 73 8e 9f 24 62 23 8d 91 fc 52 25 b9 57 91 ..{.Sym..u.b...=ols..$b#...R%.W.
0660 ff 05 56 65 96 04 3b 1e 63 61 6e 93 64 69 76 69 64 65 93 74 68 65 93 73 79 6d 9a ac 72 62 90 53 ..Ve..;.can.divide.the.sym..rb.S
0680 8e 6f 6c 73 93 75 73 65 64 93 69 6e 98 74 6f 93 74 68 72 65 65 93 73 65 70 61 72 61 74 65 93 63 .ols.used.in.to.three.separate.c
06a0 6c 61 73 73 65 73 3a 91 05 d9 cc 73 79 6d 98 62 90 53 8e 6f 6c 73 93 66 6f 72 93 74 68 65 93 6c lasses:....sym.b.S.ols.for.the.l
06c0 61 6e 67 75 61 67 65 93 69 74 73 65 6c 66 2c 8e a1 8d 91 fc 52 25 73 79 6d 9a ac 72 62 90 53 8e anguage.itself,.....R%sym..rb.S.
06e0 6f 6c 73 96 02 b9 b1 75 73 65 64 93 69 6e 93 74 68 65 93 64 65 0c 6e 69 74 69 6f 6e 93 6f 66 93 ols....used.in.the.de.nition.of.
0700 74 68 65 93 73 65 6d 61 6e 98 74 69 63 73 2c 91 02 f6 b0 61 6e 64 93 73 79 6d 98 62 9a 53 8e 6f the.seman.tics,....and.sym.b.S.o
0720 6c 73 93 75 73 65 64 93 69 6e 93 74 68 65 93 73 70 98 65 63 69 0c 63 61 74 69 6f 6e 93 6c 61 6e ls.used.in.the.sp.eci.cation.lan
0740 67 75 61 67 65 2e 8e 9f 2c ca ab 8d 8d 91 fc 52 25 f3 2a c2 d6 4e a0 00 0e 66 66 00 0c 00 00 00 guage...,......R%.*..N...ff.....
0760 06 63 6d 62 78 31 32 d5 32 2e 31 8e 91 21 38 88 54 68 65 96 05 66 66 6c 61 6e 67 75 61 67 65 93 .cmbx12.2.1..!8.The..fflanguage.
0780 6f 66 93 72 65 61 6c 2d 74 69 6d 65 93 43 53 50 8e 9f 20 40 00 8d 91 fc 52 25 b9 54 68 65 96 05 of.real-time.CSP...@....R%.The..
07a0 50 2f 6f 70 90 53 8e 65 72 61 74 6f 72 73 93 6f 66 93 72 65 61 6c 2d 74 69 6d 65 93 43 53 50 91 P/op.S.erators.of.real-time.CSP.
07c0 05 4f d3 61 72 65 93 73 65 74 93 75 73 69 6e 67 93 6d 61 63 72 6f 73 93 6f 66 93 74 68 65 93 73 .O.are.set.using.macros.of.the.s
07e0 61 6d 65 93 6e 61 6d 65 2e 91 09 69 76 54 68 65 93 6d 61 63 72 6f 73 93 66 6f 72 8e a1 8d 91 fc ame.name...ivThe.macros.for.....
0800 52 25 61 74 6f 6d 69 63 96 05 a9 b7 6f 70 9a 53 8e 65 72 61 74 6f 72 73 93 62 98 65 67 69 6e 93 R%atomic....op.S.erators.b.egin.
0820 77 69 74 68 93 61 6e 93 75 70 70 98 65 72 63 61 73 65 93 6c 65 74 74 65 72 3b 91 06 89 3f 74 68 with.an.upp.ercase.letter;...?th
0840 65 93 73 61 6d 65 93 69 73 93 74 72 75 65 93 66 6f 72 93 74 68 6f 73 65 93 72 65 70 72 65 73 65 e.same.is.true.for.those.represe
0860 6e 90 ac 72 74 69 6e 67 8e a1 8d 91 fc 52 25 69 6e 64 65 78 65 64 96 03 95 77 76 9a ac 72 65 72 n..rting.....R%indexed...wv..rer
0880 73 69 6f 6e 73 93 6f 66 93 70 61 72 61 6c 6c 65 6c 93 61 6e 64 93 63 98 68 6f 69 63 65 93 6f 70 sions.of.parallel.and.c.hoice.op
08a0 90 53 8e 65 72 61 74 6f 72 73 2e 91 05 1c 7a 41 6c 6c 93 6f 74 68 65 72 93 6d 61 63 72 6f 73 93 .S.erators....zAll.other.macros.
08c0 61 72 65 93 6c 6f 98 77 98 65 72 63 61 73 65 93 74 68 72 6f 75 67 68 6f 75 74 2e 8e a1 8d 91 fc are.lo.w.ercase.throughout......
08e0 52 25 53 6f 6d 65 96 03 ea a8 6f 70 90 53 8e 65 72 61 74 6f 72 73 93 61 63 63 65 70 74 93 6f 70 R%Some....op.S.erators.accept.op
0900 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 9a ac 72 74 73 2c 93 62 75 74 93 6e 6f 93 61 72 67 75 tional.argumen..rts,.but.no.argu
0920 6d 65 6e 98 74 93 69 73 93 63 6f 6d 70 75 6c 73 6f 72 79 91 ff 05 56 2e 8e a6 8d 91 fc 52 25 57 men.t.is.compulsory...V......R%W
0940 68 65 6e 96 02 d3 d7 61 6e 93 6f 70 9a 53 8e 65 72 61 74 6f 72 93 77 69 74 68 93 61 6e 93 6f 70 hen....an.op.S.erator.with.an.op
0960 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 90 ac 72 74 93 61 70 70 98 65 61 72 73 93 77 69 74 68 tional.argumen..rt.app.ears.with
0980 69 6e 93 61 6e 93 6f 70 74 69 6f 6e 61 6c 93 61 72 67 75 6d 65 6e 95 ac 72 74 2c 91 03 0b 9b 4c in.an.optional.argumen..rt,....L
09a0 8d 9f fd 44 44 8d 91 fb c5 22 c0 41 8e 8e 90 5f d9 b9 54 8d 91 fe 0a 91 9f 02 95 55 45 8e 91 04 ...DD....".A..._..T........UE...
09c0 91 21 58 6d 61 93 79 8e a1 8d 91 fc 52 25 72 65 71 75 69 72 65 96 03 e6 31 61 73 73 69 73 74 61 .!Xma.y.....R%require...1assista
09e0 6e 63 65 93 69 66 93 69 74 93 69 73 93 74 6f 93 70 61 72 73 65 93 74 68 65 93 65 78 70 72 65 73 nce.if.it.is.to.parse.the.expres
0a00 73 69 6f 6e 93 63 6f 72 72 65 63 74 6c 79 91 ff 05 56 2e 91 05 37 63 49 6e 93 74 68 65 73 65 93 sion.correctly...V...7cIn.these.
0a20 63 69 72 63 75 6d 73 74 61 6e 63 65 73 2c 91 03 e7 16 77 90 ac 72 65 93 75 73 65 93 61 6e 8e a1 circumstances,....w..re.use.an..
0a40 8d 91 fc 52 25 65 78 74 72 61 96 03 ea a8 70 61 69 72 93 6f 66 93 62 72 61 63 65 73 93 74 6f 93 ...R%extra....pair.of.braces.to.
0a60 64 65 6c 69 6d 69 74 93 74 68 65 93 70 72 6f 90 53 8e 63 65 73 73 93 65 78 70 72 65 73 73 69 6f delimit.the.pro.S.cess.expressio
0a80 6e 3a 91 05 38 e0 65 2e 67 2e 2c 8e 8e 8e 8c 8b 00 00 00 02 00 00 00 00 00 00 00 00 00 00 00 00 n:..8.e.g.,.....................
0aa0 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 2a a0 02 a3 2d ...........................*...-
0ac0 dc 8d a0 fd 40 ea 55 a0 02 a1 15 ab 8d a0 fd 83 ea 55 8d 92 00 9e 44 9f bf 5c 46 74 66 5b 7b 50 ....@.U..........U....D..\Ftf[{P
0ae0 96 06 2c cd 5c 70 61 72 61 6c 6c 65 6c 5b 41 5d 93 51 7d 5d b9 2e 8e a0 00 ed 25 40 8d 8d 8d a0 ..,.\parallel[A].Q}]......%@....
0b00 ff 32 f4 e8 a4 0e 7f ff a1 8d 8d 8d 8d 91 02 52 25 62 90 53 8e 6f 74 74 6f 6d 8e 8e 8e 8d 8d 8d .2.............R%b.S.ottom......
0b20 92 00 9e dc 62 bf 5c 42 6f 74 74 6f 6d 8e 8e 8e 8d 8d 92 01 29 f9 36 f3 1a 21 22 2c 9a 00 0c 00 ....b.\Bottom.......).6..!",....
0b40 00 00 0a 00 00 00 06 63 6d 73 79 31 30 c5 3f 8e 8e 8e a4 13 aa aa 8d 8d 8d 8d 91 02 52 25 b9 73 .......cmsy10.?.............R%.s
0b60 74 6f 70 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 53 74 6f 70 8e 8e 8e 8d 8d 92 01 23 05 d0 f3 1d top..........b.\Stop.......#....
0b80 9b bb 88 40 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 69 31 32 c8 53 74 6f 70 8e 8e 8e a1 8d 8d 8d ...@..........cmti12.Stop.......
0ba0 8d 91 02 52 25 b9 73 6b 69 70 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 53 6b 69 70 8e 8e 8e 8d 8d ...R%.skip..........b.\Skip.....
0bc0 92 01 23 79 03 c8 53 6b 69 70 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 77 90 ac 72 61 69 74 8e 8e ..#y..Skip..........R%.w..rait..
0be0 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 57 61 69 74 8e 8e 8e 8d 8d 8d 92 01 21 75 46 c8 57 61 69 74 8e ........b.\Wait........!uF.Wait.
0c00 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 70 72 65 0c 78 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 74 ..........R%.pre.x..........b.\t
0c20 68 65 6e 8e 8e 8e 8d 8d 92 01 28 a3 e1 c5 21 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 65 78 74 65 hen.......(...!..........R%.exte
0c40 72 6e 61 6c 91 03 ea a8 63 90 ac 72 68 6f 69 63 65 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 65 78 rnal....c..rhoice..........b.\ex
0c60 74 63 68 6f 69 63 65 8e 8e 8e 8d 92 01 2a 28 25 f3 20 54 71 d4 03 00 0c 00 00 00 0a 00 00 00 06 tchoice......*(%..Tq............
0c80 6c 61 73 79 31 30 cb 32 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 69 6e 95 ac 72 74 65 72 6e 61 6c 91 lasy10.2.........R%.in..rternal.
0ca0 03 ea a8 63 93 68 6f 69 63 65 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 69 6e 74 63 68 6f 69 63 65 ...c.hoice..........b.\intchoice
0cc0 8e 8e 8e 8d 8d 92 01 2a a3 e1 c5 75 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 68 69 64 69 6e 67 8e .......*...u..........R%.hiding.
0ce0 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 68 69 64 65 8e 8e 8e 8d 92 01 2b a3 e1 c5 6e 8e 8e a1 8d 8d .........b.\hide......+...n.....
0d00 8d 8d 91 02 52 25 b9 70 61 72 61 6c 6c 65 6c 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 70 61 72 61 ....R%.parallel..........b.\para
0d20 6c 6c 65 6c 5b 41 5d 5b 42 5d 8e 8e 8e 8d 8d 8d 92 01 19 44 0e c5 6a 8e 8d 92 01 1c 99 64 b9 5b llel[A][B].........D..j......d.[
0d40 8e 92 01 21 dc ee c8 41 8d 91 01 ff fe c5 6a 8e 91 07 55 52 c8 42 8d 91 03 3c cb b9 5d 8e 8d 91 ...!...A......j...UR.B...<..]...
0d60 06 80 57 c5 6a 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 69 6e 95 ac 72 74 65 72 6c 65 61 93 76 ..W.j...........R%.in..rterlea.v
0d80 69 6e 67 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 69 6e 74 65 72 6c 65 61 76 65 8e 8e 8e 8d 8d 8d ing..........b.\interleave......
0da0 92 01 29 a3 e1 c5 6a 8e 8d 92 01 2c f9 37 6a 8e 8d 92 01 30 4e 8d 6a 8e 8e 8e 8e a1 8d 8d 8d 8d ..)...j....,.7j....0N.j.........
0dc0 91 02 52 25 b9 73 68 61 72 69 6e 67 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 70 61 72 61 6c 6c 65 ..R%.sharing..........b.\paralle
0de0 6c 5b 43 5d 8e 8e 8e 8d 8d 8d 8d 92 01 20 f7 cc c5 6a 8e 8d 92 01 24 4d 22 b9 5b 8e 92 01 29 90 l[C].............j....$M".[...).
0e00 ac c8 43 8d 91 03 bf fd b9 5d 8e 8d 91 07 03 89 c5 6a 8e 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 ..C......].......j............R%
0e20 b9 72 65 63 75 72 73 69 6f 6e 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 6d 75 96 06 2c cd 58 93 5c .recursion..........b.\mu..,.X.\
0e40 73 70 6f 74 93 50 8e 8e 8e 8d 8d 92 01 19 dc 98 c2 16 8e 92 01 22 ee 59 c8 58 91 05 3b b8 c5 0f spot.P...............".Y.X..;...
0e60 91 03 55 52 c8 50 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 69 6d 65 6f 75 74 8e 8e 8e 8d 8d 8d 92 ..UR.P.........R%.timeout.......
0e80 00 9e dc 62 bf 5c 74 69 6d 65 6f 75 74 5b 74 5d 8e 8e 8e 8d 8d 8d 92 01 23 2e 8c c2 2e 8e 92 01 ...b.\timeout[t]........#.......
0ea0 29 0e 88 c5 66 c8 74 91 01 24 44 c5 67 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 72 61 6e 73 66 )...f.t..$D.g..........R%.transf
0ec0 65 72 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 74 72 61 6e 73 66 65 72 5b 74 5d 8e 8e 8e 8d 8d 8d er..........b.\transfer[t]......
0ee0 92 01 20 1e 89 c5 2e 8e 92 01 2c 1e 8b 66 c8 74 91 01 24 44 c5 67 8e 8e 8e a1 8d 8d 8d 8d 91 02 ..........,..f.t..$D.g..........
0f00 52 25 b9 69 6e 90 ac 72 74 65 72 72 75 70 74 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 69 6e 74 65 R%.in..rterrupt..........b.\inte
0f20 72 72 75 70 74 8e 8e 8e 8d 92 01 29 4e 8c c5 34 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 69 6d 65 rrupt......)N..4.........R%.time
0f40 72 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 61 74 8e 8e 8e 8d 8d 92 01 2a 23 df c8 40 8e 8e 8e a4 r..........b.\at.......*#..@....
0f60 15 24 46 8d 8d 8d 8d 91 02 52 25 b9 69 6e 64 65 78 65 64 96 03 ea a8 65 78 74 65 72 6e 61 6c 93 .$F......R%.indexed....external.
0f80 63 90 ac 72 68 6f 69 63 65 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 45 78 74 63 68 6f 69 63 65 8e c..rhoice..........b.\Extchoice.
0fa0 8e 8e 8d 8d 8d 9f 01 51 c7 8d 92 01 28 2f 24 f3 2f 54 71 d4 03 00 11 47 ae 00 0a 00 00 00 06 6c .......Q....(/$./Tq....G.......l
0fc0 61 73 79 31 30 da 32 8e 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 69 6e 64 65 78 65 64 96 03 ea asy10.2............R%.indexed...
0fe0 a8 69 6e 9a ac 72 74 65 72 6e 61 6c 93 63 98 68 6f 69 63 65 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf .in..rternal.c.hoice..........b.
1000 5c 49 6e 74 63 68 6f 69 63 65 8e 8e 8e 8d 8d 8d 9f 01 51 c7 8d 8d 92 01 28 e1 51 f3 2c 21 22 2c \Intchoice........Q.....(.Q.,!",
1020 9a 00 11 47 ae 00 0a 00 00 00 06 63 6d 73 79 31 30 d7 75 8e 8e 8e 8e 8e 8e a4 15 28 1e 8d 8d 8d ...G.......cmsy10.u........(....
1040 8d 91 02 52 25 b9 69 6e 64 65 78 65 64 96 03 ea a8 61 6c 70 68 61 62 90 53 8e 65 74 93 70 61 72 ...R%.indexed....alphab.S.et.par
1060 61 6c 6c 65 6c 8e 8e 8e 8d 8d 8d 92 00 9e dc 62 bf 5c 50 61 72 61 6c 6c 65 6c 8e 8e 8e 8d 8d 8d allel..........b.\Parallel......
1080 9f 01 51 eb 8d 8d 92 01 2a 51 f5 d7 6b 8e 8e 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 69 6e 64 ..Q.....*Q..k.............R%.ind
10a0 65 78 65 64 91 03 ea a8 69 6e 95 ac 72 74 65 72 6c 65 61 93 76 69 6e 67 8e 8e 8e 8d 8d 8d 92 00 exed....in..rterlea.ving........
10c0 9e dc 62 bf 5c 49 6e 74 65 72 6c 65 61 76 65 8e 8e 8e 8d 8d 8d 9f 01 51 eb 8d 8d 92 01 27 70 ae ..b.\Interleave........Q.....'p.
10e0 d7 6a 8e 8d 92 01 2c 3d 7b 6a 8e 8d 92 01 31 0a 48 6a 8e 8e 8e 8e 8e 8e 8e 8e 8e a0 00 f6 b0 8e .j....,={j....1.Hj..............
1100 8d 8d 91 fc 52 25 d5 32 2e 32 8e 91 21 38 88 50 95 8c cc 61 72 61 6c 6c 65 6c 91 05 66 66 63 6f ....R%.2.2..!8.P...arallel..ffco
1120 6d 93 62 69 6e 61 74 69 6f 6e 73 8e 9f 20 40 00 8d 91 fc 52 25 b9 54 68 65 72 65 96 04 7b 5a 61 m.binations...@....R%.There..{Za
1140 72 65 93 73 65 76 9a ac 72 65 72 61 6c 93 77 98 61 98 79 73 93 74 6f 93 64 65 6e 6f 74 65 93 74 re.sev..reral.w.a.ys.to.denote.t
1160 68 65 93 70 61 72 61 6c 6c 65 6c 93 63 6f 6d 98 62 69 6e 61 74 69 6f 6e 93 6f 66 93 74 98 77 98 he.parallel.com.bination.of.t.w.
1180 6f 93 70 72 6f 90 53 8e 63 65 73 73 65 73 93 69 6e 93 43 53 50 9b ff 05 56 2e 93 46 69 72 73 74 o.pro.S.cesses.in.CSP...V..First
11a0 6c 79 98 2c 8e a9 0e 80 00 8d 91 fc 52 25 77 9a ac 72 65 96 03 ea a8 63 61 6e 93 64 65 73 63 72 ly.,........R%w..re....can.descr
11c0 69 62 90 53 8e 65 93 74 68 65 93 73 65 74 93 6f 66 93 65 76 98 65 6e 98 74 73 93 75 70 90 53 8e ib.S.e.the.set.of.ev.en.ts.up.S.
11e0 6f 6e 93 77 68 69 63 98 68 93 74 68 65 79 93 6d 98 75 73 74 93 63 6f 95 53 8e 6f 70 93 65 72 61 on.whic.h.they.m.ust.co.S.op.era
1200 74 65 3a 91 05 38 e0 65 2e 67 2e 2c 96 03 ea a8 69 6e 93 74 68 65 93 70 72 6f 90 53 8e 63 65 73 te:..8.e.g.,....in.the.pro.S.ces
1220 73 8e a4 18 7f f4 8d 8d 91 19 b2 11 c8 50 8d 8d 8d 91 03 3c cb c5 6a 8e 8d 91 06 92 21 b9 5b 8e s............P.....<..j.....!.[.
1240 91 0b d5 ab c8 43 8d 91 03 bf fd b9 5d 8e 8d 91 07 03 89 c5 6a 8e 8e 8e 91 20 94 f4 c8 51 8e 8e .....C......].......j........Q..
1260 a1 8d 91 fc 52 25 b9 63 6f 6d 70 90 53 8e 6f 6e 65 6e 9a ac 72 74 73 96 03 82 12 c8 50 91 04 be ....R%.comp.S.onen..rts.....P...
1280 df b9 61 6e 64 93 c8 51 91 04 a4 a0 b9 6d 98 75 73 74 93 63 6f 95 53 8e 6f 70 93 65 72 61 74 65 ..and..Q.....m.ust.co.S.op.erate
12a0 9b 03 82 12 75 70 93 6f 6e 98 65 76 95 ac 72 65 72 79 98 65 76 93 65 6e 93 74 98 66 72 6f 6d 98 ....up.on.ev..rery.ev.en.t.from.
12c0 74 68 65 98 73 68 61 72 65 64 98 73 65 74 98 c8 43 91 01 bf ff b9 2e 91 05 16 03 41 6c 74 65 72 the.shared.set..C..........Alter
12e0 6e 61 74 69 76 93 65 6c 79 91 ff 05 56 2c 8e a6 8d 91 fc 52 25 77 9a ac 72 65 96 03 ea a8 63 61 nativ.ely...V,.....R%w..re....ca
1300 6e 93 64 65 63 6c 61 72 65 93 74 98 77 98 6f 93 61 6c 70 68 61 62 90 53 8e 65 74 73 8e a1 8d 8d n.declare.t.w.o.alphab.S.ets....
1320 8d 92 00 ce c6 6f c2 0b 90 13 8f c8 50 8e 8e 8d 8d 92 00 e9 86 15 b9 3d 8e 8e 8d 8d 92 00 fc a9 .....o......P..........=........
1340 9d c8 41 8e 8e 8e 9f 11 80 00 8d 8d 8d 92 00 cd d6 b9 c2 0b 90 13 8f c8 51 8e 8e 8d 8d 92 00 e9 ..A.....................Q.......
1360 86 15 b9 3d 8e 8e 8d 92 00 fc a9 9d c8 42 8e 8e 8e 9f 1e 00 00 8d 92 00 e7 10 03 b9 32 8e 8e 8c ...=.........B..............2...
1380 8b 00 00 00 03 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
13a0 00 00 00 00 00 00 00 00 00 00 00 0a 8f a0 02 a3 2d dc 8d a0 fd 40 ea 55 a0 02 a1 15 ab 8d a0 fd ................-....@.U........
13c0 83 ea 55 8d 91 fc 52 25 b9 61 6e 64 91 03 ea a8 77 72 69 74 65 8e a4 1a 80 00 8d 8d 91 19 b2 11 ..U...R%.and....write...........
13e0 c8 50 8d 91 04 92 1f c5 6b 8e 91 0d e7 72 c8 51 8e 8e a1 8d 91 fc 52 25 b9 74 6f 96 04 c3 e0 64 .P......k....r.Q......R%.to....d
1400 65 6e 6f 74 65 93 74 68 65 93 70 61 72 61 6c 6c 65 6c 93 63 6f 6d 9a ac 72 62 69 6e 61 74 69 6f enote.the.parallel.com..rbinatio
1420 6e 93 69 6e 93 77 68 69 63 98 68 93 c8 50 91 06 00 ad b9 61 6e 64 93 c8 51 91 05 e6 6e b9 6d 98 n.in.whic.h..P.....and..Q...n.m.
1440 75 73 74 93 63 6f 95 53 8e 6f 70 93 65 72 61 74 65 9b 04 c3 e0 75 70 93 6f 6e 98 65 76 95 ac 72 ust.co.S.op.erate....up.on.ev..r
1460 65 72 79 98 65 76 93 65 6e 93 74 98 69 6e 8e a4 0e 80 00 8d 91 fc 52 25 74 68 65 96 04 34 d5 69 ery.ev.en.t.in........R%the..4.i
1480 6e 9a ac 72 74 65 72 73 65 63 74 69 6f 6e 93 6f 66 93 74 68 65 69 72 93 61 6c 70 68 61 62 90 53 n..rtersection.of.their.alphab.S
14a0 8e 65 74 73 2e 91 06 17 67 46 69 6e 61 6c 6c 79 91 ff 05 56 2c 91 04 47 60 77 98 65 93 63 61 6e .ets....gFinally...V,..G`w.e.can
14c0 93 61 64 64 93 65 78 70 6c 69 63 69 74 93 61 6c 70 68 61 62 90 53 8e 65 74 93 69 6e 66 6f 72 6d .add.explicit.alphab.S.et.inform
14e0 61 74 69 6f 6e 93 74 6f 93 74 68 65 8e a1 8d 91 fc 52 25 70 61 72 61 6c 6c 65 6c 91 03 ea a8 6f ation.to.the.....R%parallel....o
1500 70 90 53 8e 65 72 61 74 6f 72 3a 91 05 38 e0 65 2e 67 2e 2c 8e a4 1a 80 00 8d 8d 91 19 b2 11 c8 p.S.erator:..8.e.g.,............
1520 50 8d 8d 91 06 92 1d c5 6a 8e 8d 91 09 e7 73 b9 5b 8e 91 0f 2a fd c8 41 8d 91 01 ff fe c5 6a 8e P.......j.....s.[...*..A......j.
1540 91 07 55 52 c8 42 8d 91 03 3c cb b9 5d 8e 8d 91 06 80 57 c5 6a 8e 8e 91 36 a7 14 c8 51 8e 8e a1 ..UR.B...<..].....W.j...6...Q...
1560 8d 91 fc 52 25 b9 69 73 96 03 ea a8 65 71 75 69 76 91 ff 58 e4 61 6c 65 6e 9a ac 72 74 93 74 6f ...R%.is....equiv..X.alen..rt.to
1580 93 74 68 65 93 61 62 90 53 8e 6f 98 76 98 65 93 70 61 72 61 6c 6c 65 6c 93 63 6f 6d 98 62 69 6e .the.ab.S.o.v.e.parallel.com.bin
15a0 61 74 69 6f 6e 2c 93 67 69 76 98 65 6e 93 74 68 65 93 76 91 ff 58 e4 61 6c 75 65 73 93 63 98 68 ation,.giv.en.the.v..X.alues.c.h
15c0 6f 73 65 6e 93 66 6f 72 93 c2 0b 9a 13 8f c8 50 91 05 27 75 b9 61 6e 64 93 c2 0b 98 c8 51 91 01 osen.for.......P..'u.and.....Q..
15e0 22 8e b9 2e 8e 9f 2c ca ab 8d 8d 91 fc 52 25 d5 32 2e 33 8e 91 21 38 88 44 65 6c 61 90 8c cc 79 ".....,......R%.2.3..!8.Dela...y
1600 73 96 05 66 66 61 6e 64 93 74 69 6d 65 72 73 8e 9f 20 40 00 8d 91 fc 52 25 b9 57 91 ff 05 56 65 s..ffand.timers...@....R%.W...Ve
1620 96 04 29 9e 77 72 69 74 65 8d 8d 93 c8 57 61 69 74 8e 8e 91 20 86 d4 74 91 01 24 44 b9 3b 91 05 ..).write....Wait......t..$D.;..
1640 c0 7b c8 50 91 05 66 6b b9 74 6f 93 64 65 6e 6f 74 65 93 74 68 65 93 70 72 6f 90 53 8e 63 65 73 .{.P..fk.to.denote.the.pro.S.ces
1660 73 93 77 68 69 63 9a ac 72 68 93 77 69 6c 6c 93 64 65 6c 61 98 79 93 66 6f 72 93 74 69 6d 65 93 s.whic..rh.will.dela.y.for.time.
1680 c8 74 91 05 4d e2 b9 62 9a 53 8e 65 66 6f 72 65 93 62 98 65 68 61 90 ac 72 76 69 6e 67 93 61 73 .t..M..b.S.efore.b.eha..rving.as
16a0 93 c8 50 91 01 3c cd b9 2e 8e a9 0e 80 00 8d 91 fc 52 25 54 68 65 96 03 ea a8 77 9a ac 72 61 69 ..P..<...........R%The....w..rai
16c0 74 93 70 72 6f 90 53 8e 63 65 73 73 93 69 73 93 61 93 64 65 6c 61 98 79 98 65 64 93 66 6f 72 6d t.pro.S.cess.is.a.dela.y.ed.form
16e0 93 6f 66 93 74 65 72 6d 69 6e 61 74 69 6f 6e 8d 93 c8 53 6b 69 70 8e 91 1a 40 65 b9 3a 91 05 38 .of.termination...Skip...@e.:..8
1700 e0 69 2e 65 2e 2c 8e a1 8d 8d 8d 8d 8d 92 00 bf 24 c5 c8 57 61 69 74 8e 8e 92 00 db 81 fb b9 30 .i.e.,..........$..Wait........0
1720 8e 8e 8d 8d 92 00 eb 61 f7 3d 8e 8e 8d 8d 92 00 fe 85 7f c8 53 6b 69 70 8e 8e 8e a1 8d 91 fc 52 .......a.=..........Skip.......R
1740 25 b9 54 9b ff 05 56 6f 96 03 63 58 6d 6f 90 53 8e 64 65 6c 93 61 93 6e 6f 6e 64 65 74 65 72 6d %.T...Vo..cXmo.S.del.a.nondeterm
1760 69 6e 69 73 74 69 63 93 64 65 6c 61 95 ac 72 79 98 2c 91 03 7e 68 77 93 65 96 03 63 58 63 61 6e inistic.dela..ry.,..~hw.e..cXcan
1780 93 75 73 65 93 61 6e 93 69 6e 9a ac 72 74 65 72 6e 61 6c 93 63 98 68 6f 69 63 65 93 6f 70 90 53 .use.an.in..rternal.c.hoice.op.S
17a0 8e 65 72 61 74 6f 72 93 69 6e 64 65 78 65 64 93 62 98 79 93 61 93 72 61 6e 67 65 8e a6 8d 91 fc .erator.indexed.b.y.a.range.....
17c0 52 25 6f 66 96 03 ea a8 74 69 6d 65 93 76 91 ff 58 e4 61 6c 75 65 73 3a 8e 9f 1b f9 9c 8d 8d 8d R%of....time.v..X.alues:........
17e0 8d 9f 01 51 c7 8d 8d 91 19 b2 11 d7 75 8e 8e 8e 8e 8d 91 25 37 32 9f 06 1f ff f3 1e 23 d1 66 90 ...Q........u......%72......#.f.
1800 00 08 00 00 00 08 00 00 00 05 63 6d 74 69 38 c9 74 91 00 c0 5b f3 1b be 4b c8 0b 00 08 00 00 00 ..........cmti8.t...[...K.......
1820 08 00 00 00 05 63 6d 73 79 38 c6 32 c0 5b c9 74 8d 9f 01 1c 71 f3 16 b9 41 61 a8 00 06 00 00 00 .....cmsy8.2.[.t....q...Aa......
1840 06 00 00 00 04 63 6d 72 36 c1 31 8e 96 04 2a a7 f3 18 d7 01 17 32 00 08 00 00 00 08 00 00 00 05 .....cmr6.1...*......2..........
1860 63 6d 6d 69 38 c3 3b c9 74 8d 9f 01 1c 71 c1 32 8e 93 c0 29 8e 8d 8d 91 47 0d a0 c8 57 61 69 74 cmmi8.;.t....q.2...)....G...Wait
1880 8e 8e 91 63 6a d6 74 8e 8e 9f 1e 1f ff 8d 91 fc 52 25 b9 41 9b 03 ea a8 63 6f 6e 95 ac 72 76 93 ...cj.t.........R%.A....con..rv.
18a0 65 6e 69 65 6e 93 74 98 61 62 62 72 65 76 69 61 74 69 6f 6e 98 66 6f 72 98 74 68 69 73 98 69 6e enien.t.abbreviation.for.this.in
18c0 93 76 93 6f 6c 76 93 65 73 98 6f 93 76 93 65 72 6c 6f 61 64 69 6e 67 98 74 68 65 8d 8d 98 c8 57 .v.olv.es.o.v.erloading.the....W
18e0 61 69 74 8e 8e 91 22 32 88 b9 6f 70 90 53 8e 65 72 61 74 6f 72 3a 91 05 38 e0 65 2e 67 2e 2c 8e ait..."2..op.S.erator:..8.e.g.,.
1900 a1 8d 8d 8d 8d 91 19 b2 11 c8 57 61 69 74 8e 8e 91 34 0f 49 b9 5b c8 74 8d 9f 01 cc cc c0 31 8e ..........Wait...4.I.[.t......1.
1920 96 04 c0 04 c2 3b 91 01 ff fe c8 74 8d 9f 01 cc cc c0 32 8e 93 b9 29 8e 8e a1 8d 91 fc 52 25 61 .....;.....t......2...)......R%a
1940 62 62 72 65 76 69 61 74 65 73 96 03 ea a8 74 68 65 93 61 62 90 53 8e 6f 95 ac 72 76 93 65 91 03 bbreviates....the.ab.S.o..rv.e..
1960 ea a8 63 93 68 6f 69 63 65 2e 8e a4 18 80 00 8d 91 fc 52 25 45 78 74 65 72 6e 61 6c 9b 04 2a 49 ..c.hoice.........R%External..*I
1980 65 76 95 ac 72 65 6e 93 74 73 98 69 6e 98 61 98 70 72 6f 95 53 8e 63 65 73 73 98 64 65 73 63 72 ev..ren.ts.in.a.pro.S.cess.descr
19a0 69 70 74 69 6f 6e 98 61 72 65 98 70 93 65 72 66 6f 72 6d 65 64 98 69 6e 98 63 6f 93 6f 70 93 65 iption.are.p.erformed.in.co.op.e
19c0 72 61 74 69 6f 6e 98 77 69 74 68 98 74 68 65 98 65 6e 95 ac 72 76 69 72 6f 6e 6d 65 6e 93 74 8e ration.with.the.en..rvironmen.t.
19e0 a6 8d 91 fc 52 25 6f 66 96 04 85 a6 74 68 61 74 93 70 72 6f 90 53 8e 63 65 73 73 2e 91 07 09 da ....R%of....that.pro.S.cess.....
1a00 49 74 93 69 73 93 74 68 65 72 65 66 6f 72 65 93 71 75 69 74 65 93 6c 69 6b 9a ac 72 65 6c 79 93 It.is.therefore.quite.lik..rely.
1a20 74 68 61 74 93 61 6e 93 65 78 74 65 72 6e 61 6c 93 65 76 98 65 6e 98 74 93 77 69 6c 6c 93 6e 6f that.an.external.ev.en.t.will.no
1a40 74 93 6f 9a 53 8e 63 63 75 72 93 61 73 93 73 6f 98 6f 6e 93 61 73 8e a6 8d 91 fc 52 25 74 68 65 t.o.S.ccur.as.so.on.as.....R%the
1a60 96 04 44 dc 70 72 6f 9a 53 8e 63 65 73 73 93 69 73 93 72 65 61 64 79 91 ff 05 56 2e 91 06 47 7b ..D.pro.S.cess.is.ready...V...G{
1a80 54 68 65 93 74 69 6d 65 93 65 6c 61 70 73 65 64 93 62 98 65 74 95 ac 72 77 93 65 65 6e 96 04 44 The.time.elapsed.b.et..rw.een..D
1aa0 dc 74 68 65 93 6f 0b 65 72 93 6f 66 93 61 6e 93 65 76 95 ac 72 65 6e 93 74 96 04 44 dc 61 6e 64 .the.o.er.of.an.ev..ren.t..D.and
1ac0 93 69 74 73 93 6f 98 63 63 75 72 72 65 6e 63 65 93 63 61 6e 8e a6 8d 91 fc 52 25 69 6e 0d 75 65 .its.o.ccurrence.can.....R%in.ue
1ae0 6e 63 65 96 04 88 bb 66 75 74 75 72 65 93 62 9a 53 8e 65 68 61 90 ac 72 76 69 6f 75 72 3b 91 04 nce....future.b.S.eha..rviour;..
1b00 d7 c4 74 68 65 93 72 65 73 74 93 6f 66 93 74 68 65 93 70 72 6f 98 63 65 73 73 93 64 65 73 63 72 ..the.rest.of.the.pro.cess.descr
1b20 69 70 74 69 6f 6e 93 73 68 6f 75 6c 64 93 62 98 65 93 61 6c 6c 6f 95 ac 72 77 93 65 64 96 04 88 iption.should.b.e.allo..rw.ed...
1b40 bb 74 6f 93 72 65 66 65 72 93 74 6f 8e a6 8d 91 fc 52 25 74 68 69 73 91 03 ea a8 74 69 6d 65 2e .to.refer.to.....R%this....time.
1b60 8e a1 8d 91 fc 52 25 41 63 63 6f 72 64 69 6e 67 6c 79 91 ff 05 56 2c 9b 05 bf f8 72 65 61 6c 2d .....R%Accordingly...V,....real-
1b80 74 69 6d 65 96 05 62 1b 43 53 50 91 05 61 bb 69 6e 63 6c 75 64 65 73 93 61 93 74 69 6d 65 72 93 time..b.CSP..a.includes.a.timer.
1ba0 63 6f 6e 73 74 72 75 63 74 2c 98 6f 72 93 60 70 61 73 73 61 67 65 2d 6f 66 2d 74 69 6d 65 27 93 construct,.or.`passage-of-time'.
1bc0 6f 70 90 53 8e 65 72 61 74 6f 72 2e 91 09 9f 3a 57 91 ff 05 56 65 8e a6 8d 91 fc 52 25 77 72 69 op.S.erator....:W...Ve.....R%wri
1be0 74 65 8e a4 1a 80 00 8d 8d 91 19 b2 11 c8 61 8d 91 00 e5 b0 40 8e 91 09 e5 b6 74 8d 91 04 79 96 te............a.....@.....t...y.
1c00 c5 21 8e 91 13 ce ea c8 50 8d 91 30 3c ad bf 61 96 06 2c cd 5c 61 74 93 74 93 5c 74 68 65 6e 93 .!......P..0<..a..,.\at.t.\then.
1c20 50 8e 8e 8e a1 8d 91 fc 52 25 b9 74 6f 96 05 4f 18 64 65 6e 6f 74 65 93 61 93 70 72 6f 90 53 8e P.......R%.to..O.denote.a.pro.S.
1c40 63 65 73 73 93 77 68 69 63 9a ac 72 68 93 69 73 93 69 6e 69 74 69 61 6c 6c 79 93 72 65 61 64 79 cess.whic..rh.is.initially.ready
1c60 93 74 6f 93 65 6e 67 61 67 65 93 69 6e 93 65 76 98 65 6e 98 74 93 c8 61 91 00 e5 b0 b9 2e 91 09 .to.engage.in.ev.en.t..a........
1c80 66 30 54 68 65 93 74 69 6d 65 93 76 91 ff 58 e4 61 72 69 61 62 6c 65 93 c8 74 91 06 73 5c b9 69 f0The.time.v..X.ariable..t..s\.i
1ca0 73 8e a6 8d 91 fc 52 25 61 73 73 69 67 6e 65 64 96 04 5d 4f 74 68 65 93 72 65 6c 61 74 69 76 9a s.....R%assigned..]Othe.relativ.
1cc0 ac 72 65 93 74 69 6d 65 93 61 74 93 77 68 69 63 98 68 93 c8 61 91 05 42 ff b9 6f 9a 53 8e 63 63 .re.time.at.whic.h..a..B..o.S.cc
1ce0 75 72 73 2e 91 06 90 d6 54 68 69 73 93 69 73 93 74 68 65 93 73 61 6d 65 93 61 73 93 74 68 65 93 urs.....This.is.the.same.as.the.
1d00 65 6c 61 70 73 65 64 93 74 69 6d 65 93 62 98 65 74 95 ac 72 77 93 65 65 6e 8e a6 8d 91 fc 52 25 elapsed.time.b.et..rw.een.....R%
1d20 63 6f 6e 90 ac 72 74 72 6f 6c 96 03 e0 0b 62 9a 53 8e 65 69 6e 67 93 70 61 73 73 65 64 93 74 6f con..rtrol....b.S.eing.passed.to
1d40 93 74 68 69 73 93 70 72 6f 98 63 65 73 73 7c 61 74 93 77 68 69 63 90 ac 72 68 93 70 98 6f 69 6e .this.pro.cess|at.whic..rh.p.oin
1d60 9a ac 72 74 93 74 68 65 93 6f 0b 65 72 93 6f 66 93 c8 61 91 04 c5 bb b9 69 73 93 6d 61 64 65 7c ..rt.the.o.er.of..a.....is.made|
1d80 61 6e 64 93 74 68 65 93 65 76 98 65 6e 98 74 93 c8 61 8e a6 8d 91 fc 52 25 b9 61 63 74 75 61 6c and.the.ev.en.t..a.....R%.actual
1da0 6c 79 91 03 ea a8 6f 90 53 8e 63 63 75 72 69 6e 67 2e 8e 8e 9f 1e 00 00 8d 92 00 e7 10 03 33 8e ly....o.S.ccuring.............3.
1dc0 8e 8c 8b 00 00 00 04 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
1de0 00 00 00 00 00 00 00 00 00 00 00 00 00 13 80 a0 02 a3 2d dc 8d a0 fd 40 ea 55 a0 02 a1 15 ab 8d ..................-....@.U......
1e00 a0 fd 83 ea 55 8d 91 fc 52 25 b9 41 91 04 b1 0e 75 73 65 66 75 6c 96 04 b1 41 65 78 74 65 6e 73 ....U...R%.A....useful...Aextens
1e20 69 6f 6e 93 74 6f 93 74 68 69 73 2c 91 04 e2 e7 77 68 69 63 9a ac 72 68 93 61 64 64 73 93 6e 6f ion.to.this,....whic..rh.adds.no
1e40 74 68 69 6e 67 93 74 6f 93 74 68 65 93 65 78 70 72 65 73 73 69 76 69 74 98 79 93 6f 66 93 74 68 thing.to.the.expressivit.y.of.th
1e60 65 93 6c 61 6e 67 75 61 67 65 93 62 75 74 93 63 61 6e 8e a9 0e 80 00 8d 91 fc 52 25 6d 61 6b 9a e.language.but.can........R%mak.
1e80 ac 72 65 96 03 ea a8 66 6f 72 93 6d 6f 72 65 93 69 6e 98 74 65 6c 6c 69 67 69 62 6c 65 93 70 72 .re....for.more.in.telligible.pr
1ea0 6f 90 53 8e 63 65 73 73 93 64 65 73 63 72 69 70 74 69 6f 6e 73 2c 93 69 73 93 74 68 65 93 6f 0b o.S.cess.descriptions,.is.the.o.
1ec0 65 72 93 74 69 6d 65 6f 75 74 2e 91 05 38 e0 57 91 ff 05 56 65 93 77 72 69 74 65 8e a4 1a 80 00 er.timeout...8.W...Ve.write.....
1ee0 8d 8d 91 19 b2 11 c8 61 8d 91 00 e5 b0 40 8e 91 09 e5 b6 74 91 01 24 44 c5 66 c8 64 91 01 3e 93 .......a.....@.....t..$D.f.d..>.
1f00 c5 67 8d 91 03 55 52 21 8e 91 12 aa a6 c8 50 8d 91 30 3c ad bf 61 96 06 2c cd 5c 61 74 93 74 93 .g...UR!......P..0<..a..,.\at.t.
1f20 5c 7b 93 64 93 5c 7d 93 5c 74 68 65 6e 93 50 8e 8e 8e a1 8d 91 fc 52 25 b9 74 6f 96 03 d7 eb 64 \{.d.\}.\then.P.......R%.to....d
1f40 65 6e 6f 74 65 93 61 93 70 72 6f 9a 53 8e 63 65 73 73 93 77 68 69 63 90 ac 72 68 93 6f 0b 65 72 enote.a.pro.S.cess.whic..rh.o.er
1f60 73 93 74 6f 93 70 98 65 72 66 6f 72 6d 93 c8 61 91 00 e5 b0 b9 2c 91 03 db aa 61 6e 64 93 77 69 s.to.p.erform..a.....,....and.wi
1f80 6c 6c 93 73 74 6f 72 65 93 74 68 65 93 74 69 6d 65 93 6f 66 93 6f 98 63 63 75 72 72 65 6e 63 65 ll.store.the.time.of.o.ccurrence
1fa0 93 69 6e 93 c8 74 91 01 24 44 b9 2c 91 03 db aa 62 75 74 8e a6 8d 91 fc 52 25 77 69 6c 6c 96 04 .in..t..$D.,....but.....R%will..
1fc0 fe 1b 77 69 74 68 64 72 61 9a ac 72 77 93 74 68 65 93 6f 0b 65 72 93 69 66 93 69 74 93 68 61 73 ..withdra..rw.the.o.er.if.it.has
1fe0 93 6e 6f 74 93 62 90 53 8e 65 65 6e 93 61 63 63 65 70 74 65 64 93 62 98 79 93 74 69 6d 65 93 c8 .not.b.S.een.accepted.b.y.time..
2000 64 91 01 3e 93 b9 2e 91 08 73 38 28 54 68 69 73 93 66 6f 72 6d 93 6f 66 93 74 69 6d 65 6f 75 74 d..>.....s8(This.form.of.timeout
2020 93 77 98 61 73 8e a6 8d 91 fc 52 25 73 75 67 67 65 73 74 65 64 96 03 ea a8 62 9a ac 72 79 93 47 .w.as.....R%suggested....b..ry.G
2040 75 79 93 4c 65 64 75 63 93 66 6f 72 93 68 69 73 93 76 98 65 72 73 69 6f 6e 93 6f 66 93 74 69 6d uy.Leduc.for.his.v.ersion.of.tim
2060 65 64 93 4c 4f 54 4f 53 2e 29 8e 9f 32 15 56 8d 8d 91 fc 52 25 bd 33 8e 91 19 7b 19 4d 61 74 68 ed.LOTOS.)..2.V....R%.3...{.Math
2080 65 6d 61 74 69 63 61 6c 91 06 7a e1 6c 61 6e 67 75 61 67 65 8e 9f 24 62 23 8d 91 fc 52 25 b9 54 ematical..z.language..$b#...R%.T
20a0 68 65 96 03 44 be 73 65 6d 61 6e 90 ac 72 74 69 63 93 6d 6f 90 53 8e 64 65 6c 73 93 6f 66 93 43 he..D.seman..rtic.mo.S.dels.of.C
20c0 53 50 91 03 44 94 63 6f 6d 65 93 77 69 74 68 93 61 93 67 72 65 61 74 93 64 65 61 6c 93 6f 66 93 SP..D.come.with.a.great.deal.of.
20e0 6e 6f 74 61 74 69 6f 6e 61 6c 93 62 61 67 67 61 67 65 2e 91 05 01 92 57 91 ff 05 56 65 93 6e 65 notational.baggage.....W...Ve.ne
2100 65 64 93 74 6f 93 64 65 0c 6e 65 8e a6 8d 91 fc 52 25 6f 70 90 53 8e 65 72 61 74 6f 72 73 96 04 ed.to.de.ne.....R%op.S.erators..
2120 9c 0e 74 6f 93 70 72 6f 91 00 a7 1c 6a 65 63 74 93 69 6e 66 6f 72 6d 61 74 69 6f 6e 93 6f 75 74 ..to.pro....ject.information.out
2140 93 6f 66 93 74 72 61 63 65 73 2c 96 04 c8 68 72 65 66 75 73 61 6c 73 2c 93 61 6e 64 96 04 9c 0e .of.traces,...hrefusals,.and....
2160 74 69 6d 65 64 93 66 61 69 6c 75 72 65 73 2e 91 07 4d 12 54 68 65 72 65 93 69 73 93 61 6c 73 6f timed.failures...M.There.is.also
2180 93 61 8e a6 8d 91 fc 52 25 73 70 9a 53 8e 65 63 69 0c 63 61 74 69 6f 6e 96 04 75 97 6c 61 6e 67 .a.....R%sp.S.eci.cation..u.lang
21a0 75 61 67 65 93 62 61 73 65 64 93 75 70 98 6f 6e 93 74 68 65 93 74 69 6d 65 64 93 73 65 6d 61 6e uage.based.up.on.the.timed.seman
21c0 90 ac 72 74 69 63 73 2c 91 04 98 53 61 6e 64 93 74 68 65 93 6e 61 6d 65 73 93 75 73 65 64 93 66 ..rtics,...Sand.the.names.used.f
21e0 6f 72 93 74 68 65 93 6d 6f 98 64 65 6c 73 8e a6 8d 91 fc 52 25 74 68 65 6d 73 65 6c 76 90 ac 72 or.the.mo.dels.....R%themselv..r
2200 65 73 2e 8e 9f 2c ca ab 8d 8d 91 fc 52 25 d5 33 2e 31 8e 91 21 38 88 4c 6f 67 69 63 2c 96 05 66 es...,......R%.3.1..!8.Logic,..f
2220 66 73 65 74 73 2c 93 61 6e 64 93 73 65 71 75 65 6e 63 65 73 8e 9f 7f 0c cd 8d 8d 8d 9f a0 a6 62 fsets,.and.sequences...........b
2240 9f 0e 7f ff 8d 8d 8d 8d 8d 8d 91 02 52 26 bf 5c 64 65 66 73 8e 8d 8d 8d 9e f9 88 8d 91 3e cc 16 ............R&.\defs.........>..
2260 f3 00 fa b1 75 12 00 0a 00 00 00 0a 00 00 00 06 63 6d 65 78 31 30 ab 62 8e 9e 06 78 8d 91 3d 01 ....u...........cmex10.b...x..=.
2280 6f b9 3d 8e 8e 8e 8e 8e a4 11 99 9a 8d 8d 91 02 52 26 bf 5c 6d 75 8e 8d 8d 91 3e 0a 52 c2 16 8e o.=.............R&.\mu....>.R...
22a0 8e 8e a1 8d 8d 91 02 52 26 bf 5c 6c 61 6d 62 64 61 8e 8d 8d 91 3e 25 e0 c2 15 8e 8e 8e a1 8d 8d .......R&.\lambda....>%.........
22c0 91 02 52 26 bf 5c 65 78 69 73 74 73 8e 8d 8d 91 3e 3d dd c5 39 8e 8e 8e a1 8d 8d 91 02 52 26 bf ..R&.\exists....>=..9........R&.
22e0 5c 66 6f 72 61 6c 6c 8e 8d 8d 91 3e 3d dd c5 38 8e 8e 8e a1 8d 8d 91 02 52 26 bf 5c 73 70 6f 74 \forall....>=..8........R&.\spot
2300 8e 8d 91 3e 93 33 c5 0f 8e 8e a1 8d 8d 91 02 52 26 bf 5c 6e 61 74 8e 8d 91 3d 3d dd f3 26 88 b6 ...>.3.........R&.\nat...==..&..
2320 16 c8 00 0c 00 00 00 0a 00 00 00 06 6d 73 62 6d 31 30 d1 4e 8e 8e a1 8d 8d 91 02 52 26 bf 5c 6e ............msbm10.N.......R&.\n
2340 75 6d 8e 8d 91 3d 93 33 d1 5a 8e 8e a1 8d 8d 91 02 52 26 bf 5c 72 61 74 8e 8d 91 3c e8 88 d1 51 um...=.3.Z.......R&.\rat...<...Q
2360 8e 8e a1 8d 8d 91 02 52 26 bf 5c 72 65 61 6c 8e 8d 91 3d 3d dd d1 52 8e 8e a1 8d 8d 91 02 52 26 .......R&.\real...==..R.......R&
2380 bf 5c 73 65 71 8e 8d 8d 91 39 8b c1 b9 73 65 71 8e 8e 8e 8e 8e 8e 8d 8d 8d 8d 8d 91 7d 5a 52 bf .\seq....9...seq............}ZR.
23a0 5c 6c 61 6e 64 8e 8d 8d 92 00 bc c0 bb c5 5e 8e 8e 8e a4 11 99 9a 8d 8d 91 7d 5a 52 bf 5c 6c 6f \land.........^..........}ZR.\lo
23c0 72 8e 8d 8d 92 00 bc c0 bb c5 5f 8e 8e 8e a1 8d 8d 91 7d 5a 52 bf 5c 4c 61 6e 64 8e 8d 8d 92 00 r........._.......}ZR.\Land.....
23e0 bc 96 10 9f f7 ff fc ab 56 8e 8e 8e a1 8d 8d 91 7d 5a 52 bf 5c 4c 6f 72 8e 8d 8d 92 00 bc 96 10 ........V.......}ZR.\Lor........
2400 9f f7 ff fc ab 57 8e 8e 8e a1 8d 8d 91 7d 5a 52 bf 5c 6c 6e 6f 74 8e 8d 92 00 bb 16 12 c5 3a 8e .....W.......}ZR.\lnot........:.
2420 8e a1 8d 8d 91 7d 5a 52 bf 5c 69 6d 70 6c 69 65 73 8e 8d 92 00 ba c0 ba c5 29 8e 8e a1 8d 8d 91 .....}ZR.\implies........)......
2440 7d 5a 52 bf 5c 69 66 66 8e 8d 92 00 ba c0 ba c5 2c 8e 8e a1 8d 8d 91 7d 5a 52 bf 5c 75 70 74 6f }ZR.\iff........,......}ZR.\upto
2460 8e 8d 8d 92 00 bc 7d 30 c2 3a 91 01 ff fe 3a 8e 8e 8e a1 8d 8d 91 7d 5a 52 bf 5c 6c 65 8e 8d 92 ......}0.:....:.......}ZR.\le...
2480 00 bc 16 10 f3 23 97 b3 ee cd 00 0c 00 00 00 0a 00 00 00 06 6d 73 61 6d 31 30 ce 36 8e 8e a1 8d .....#..............msam10.6....
24a0 8d 91 7d 5a 52 bf 5c 67 65 8e 8d 92 00 bc 16 10 ce 3e 8e 8e a1 8d 8d 91 7d 5a 52 bf 5c 70 72 6f ..}ZR.\ge........>......}ZR.\pro
24c0 6a 65 63 74 8e 8d 92 00 be 40 bb ce 16 8e 8e 8e 8e 8e 8d 8d 8d 8d 8d 92 00 fa 80 69 bf 5c 70 6f ject.....@.................i.\po
24e0 77 65 72 8e 8d 8d 92 01 45 81 cf d1 50 8e 8e 8e a4 11 99 9a 8d 8d 92 00 fa 80 69 bf 5c 66 69 6e wer.....E...P.............i.\fin
2500 73 65 74 8e 8d 8d 92 01 45 81 cf d1 46 8e 8e 8e a1 8d 8d 92 00 fa 80 69 bf 5c 63 72 6f 73 73 8e set.....E...F..........i.\cross.
2520 8d 92 01 44 81 cf c5 02 8e 8e a1 8d 8d 92 00 fa 80 69 bf 5c 75 6e 69 6f 6e 8e 8d 92 01 45 2c 7a ...D.............i.\union....E,z
2540 c5 5b 8e 8e a1 8d 8d 92 00 fa 80 69 bf 5c 69 6e 74 65 72 8e 8d 92 01 45 2c 7a c5 5c 8e 8e a1 8d .[.........i.\inter....E,z.\....
2560 8d 92 00 fa 80 69 bf 5c 55 6e 69 6f 6e 8e 8d 8d 92 01 45 01 cf 9f f7 ff fc ab 53 8e 8e 8e a1 8d .....i.\Union.....E.......S.....
2580 8d 92 00 fa 80 69 bf 5c 49 6e 74 65 72 8e 8d 8d 92 01 45 01 cf 9f f7 ff fc ab 54 8e 8e 8e a1 8d .....i.\Inter.....E.......T.....
25a0 8d 92 00 fa 80 69 bf 5c 64 6f 6d 8e 8d 8d 92 01 3e 13 9e b9 64 6f 6d 8e 8e 8e a1 8d 8d 92 00 fa .....i.\dom.....>...dom.........
25c0 80 69 bf 5c 72 61 6e 8e 8d 8d 92 01 40 b0 0e b9 72 61 6e 8e 8e 8e a1 8d 8d 92 00 fa 80 69 bf 5c .i.\ran.....@...ran..........i.\
25e0 65 6d 70 74 79 73 65 74 8e 8d 92 01 46 2c 7a c5 3b 8e 8e a1 8d 8d 92 00 fa 80 69 bf 5c 73 65 74 emptyset....F,z.;.........i.\set
2600 7b 78 7d 8e 8d 92 01 3f c0 bb c5 66 c8 78 91 01 71 12 c5 67 8e 8e 8e 8e 8e 8e 8e 8e 8e 8e 9f 1e {x}....?...f.x..q..g............
2620 00 00 8d 92 00 e7 10 03 b9 34 8e 8e 8c 8b 00 00 00 05 00 00 00 00 00 00 00 00 00 00 00 00 00 00 .........4......................
2640 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 1d c2 a0 02 a3 2d dc 8d .............................-..
2660 a0 fd 40 ea 55 a0 02 a1 15 ab 8d a0 fd 83 ea 55 8d 8d 91 fc 52 25 d5 33 2e 32 8e 91 21 38 88 4f ..@.U..........U....R%.3.2..!8.O
2680 70 90 73 33 65 72 61 74 6f 72 73 96 05 66 66 6f 6e 93 74 72 61 63 65 73 8e 9f 65 cb 8e 8d 8d 8d p.s3erators..ffon.traces..e.....
26a0 9f b9 e7 a1 9f 0e 7f ff 8d 8d 8d 8d 91 02 52 25 b9 65 6d 70 74 90 ac 72 79 91 03 ea a8 74 72 61 ..............R%.empt..ry....tra
26c0 63 65 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6e 69 6c 8e 8e 8e 8d 92 01 32 80 6d c5 68 69 8e 8e ce.........?E.\nil......2.m.hi..
26e0 a4 11 99 9a 8d 8d 8d 8d 91 02 52 25 b9 74 72 61 63 65 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 74 ..........R%.trace.........?E.\t
2700 72 61 63 65 7b 65 5f 31 2c 65 5f 32 7d 8e 8e 8e 8d 92 01 25 b8 3a c5 68 c8 65 8d 9f 01 cc cc c0 race{e_1,e_2}......%.:.h.e......
2720 31 8e 96 04 c0 04 c2 3b 91 01 ff fe c8 65 8d 9f 01 cc cc c0 32 8e 93 c5 69 8e 8e 9f 13 e3 ea 8d 1......;.....e......2...i.......
2740 8d 8d 8d 91 02 52 25 b9 63 61 74 65 6e 61 74 69 6f 6e 96 03 ea a8 6f 66 93 74 72 61 63 65 73 8e .....R%.catenation....of.traces.
2760 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 63 61 74 8e 8e 8e 8d 8d 92 01 32 80 6d 9f fb dd dd ce 61 8e ........?E.\cat.......2.m.....a.
2780 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 63 6f 75 6e 90 ac 72 74 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf .........R%.coun..rt.........?E.
27a0 5c 63 6e 74 8e 8e 8e 8d 8d 92 01 34 2b 18 c5 23 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 64 75 72 \cnt.......4+..#..........R%.dur
27c0 69 6e 67 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 64 75 72 69 6e 67 8e 8e 8e 8d 8d 92 01 34 2b 18 ing.........?E.\during.......4+.
27e0 c5 22 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 69 63 95 ac 72 6b 91 03 ea a8 65 76 93 65 6e 93 ."..........R%.tic..rk....ev.en.
2800 74 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 74 69 63 6b 8e 8e 8e 8d 92 01 32 2b 17 ce 58 8e 8e a1 t.........?E.\tick......2+..X...
2820 8d 8d 8d 8d 91 02 52 25 b9 73 75 62 73 65 71 75 65 6e 63 65 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf ......R%.subsequence.........?E.
2840 5c 73 75 62 73 65 71 8e 8e 8e 8d 92 01 32 80 6d ce 34 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 64 61 \subseq......2.m.4.........R%.da
2860 74 61 91 03 ea a8 76 91 ff 58 e4 61 6c 75 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 64 61 74 ta....v..X.alues.........?E.\dat
2880 61 8e 8e 8e 8d 8d 92 01 33 80 6d c5 2b 8e 8e 8e 8e 8e 8e 9f 70 09 6c 8d 8d 91 fc 52 25 d5 33 2e a.......3.m.+.......p.l....R%.3.
28a0 33 8e 91 21 38 88 50 72 6f 91 00 e6 66 6a 65 63 74 69 6f 6e 91 05 66 66 66 75 6e 63 74 69 6f 6e 3..!8.Pro...fjection..fffunction
28c0 73 8e 9f 6a 59 8b 8d 8d 8d 9f b5 59 a4 9f 0e 7f ff 8d 8d 8d 8d 91 02 52 25 b9 62 90 53 8e 65 67 s..jY......Y...........R%.b.S.eg
28e0 69 6e 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 42 65 67 69 6e 8e 8e 8e 8d 8d 8d 92 01 25 b8 3b b9 in.........?E.\Begin........%.;.
2900 62 90 53 8e 65 67 69 6e 8e 8e 8e 8e a4 10 91 0e 8d 8d 8d 8d 91 02 52 25 65 6e 64 8e 8e 8e 8d 8d b.S.egin..............R%end.....
2920 8d 92 00 9b 3f 45 bf 5c 45 6e 64 8e 8e 8e 8d 8d 8d 92 01 25 b8 3b b9 65 6e 64 8e 8e 8e 8e a1 8d ....?E.\End........%.;.end......
2940 8d 8d 8d 91 02 52 25 68 65 61 64 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 48 65 61 64 8e 8e 8e 8d .....R%head.........?E.\Head....
2960 8d 8d 92 01 25 b8 3b b9 68 65 61 64 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 0c 72 73 74 8e 8e 8e ....%.;.head...........R%.rst...
2980 8d 8d 8d 92 00 9b 3f 45 bf 5c 46 69 72 73 74 8e 8e 8e 8d 8d 8d 92 01 25 b8 3b b9 0c 72 73 74 8e ......?E.\First........%.;..rst.
29a0 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 74 61 69 6c 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 54 61 69 ..........R%tail.........?E.\Tai
29c0 6c 8e 8e 8e 8d 8d 8d 92 01 25 b8 3b b9 74 61 69 6c 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 66 72 l........%.;.tail...........R%fr
29e0 6f 6e 90 ac 72 74 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 46 72 6f 6e 74 8e 8e 8e 8d 8d 8d 92 01 on..rt.........?E.\Front........
2a00 25 b8 3b b9 66 72 6f 6e 90 ac 72 74 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 6c 61 73 74 8e 8e 8e %.;.fron..rt...........R%last...
2a20 8d 8d 8d 92 00 9b 3f 45 bf 5c 4c 61 73 74 8e 8e 8e 8d 8d 8d 92 01 25 b8 3b b9 6c 61 73 74 8e 8e ......?E.\Last........%.;.last..
2a40 8e 8e a1 8d 8d 8d 8d 91 02 52 25 74 69 6d 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 54 69 6d .........R%times.........?E.\Tim
2a60 65 73 8e 8e 8e 8d 8d 8d 92 01 25 b8 3b b9 74 69 6d 65 73 8e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 es........%.;.times...........R%
2a80 65 76 95 ac 72 65 6e 93 74 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 45 76 65 6e 74 73 8e 8e 8e ev..ren.ts.........?E.\Events...
2aa0 8d 8d 8d 92 01 25 b8 3b b9 65 76 95 ac 72 65 6e 93 74 73 8e 8e 8e 8e 8e 8e 8e 9f 62 cc be 8d 8d .....%.;.ev..ren.ts........b....
2ac0 8d 91 fc 52 25 74 69 6d 65 73 8e 8e 91 1c cf 9c 61 6e 64 8d 8d 91 05 02 29 65 76 95 ac 72 65 6e ...R%times......and.....)ev..ren
2ae0 93 74 73 8e 8e 91 29 bd d6 61 72 65 96 05 02 29 70 72 6f 91 00 a7 1c 6a 65 63 74 69 6f 6e 93 66 .ts...)..are...)pro....jection.f
2b00 75 6e 63 74 69 6f 6e 73 93 66 72 6f 6d 93 74 69 6d 65 64 93 74 72 61 63 65 73 93 74 6f 93 73 65 unctions.from.timed.traces.to.se
2b20 71 75 65 6e 63 65 73 93 6f 66 93 74 69 6d 65 73 93 61 6e 64 93 73 65 2d 8e a4 0e 80 00 8d 91 fc quences.of.times.and.se-........
2b40 52 25 71 75 65 6e 63 65 73 96 03 c9 d6 6f 66 93 65 76 95 ac 72 65 6e 93 74 73 9b 03 c9 d6 72 65 R%quences....of.ev..ren.ts....re
2b60 73 70 90 53 8e 65 63 74 69 76 93 65 6c 79 91 ff 05 56 2e 8d 8d 91 05 2d ef 68 65 61 64 8e 8e 91 sp.S.ectiv.ely...V.....-.head...
2b80 21 1e d1 61 6e 64 8d 8d 98 74 61 69 6c 8e 8e 91 18 8c 84 6d 61 93 79 98 62 90 53 8e 65 98 61 70 !..and...tail......ma.y.b.S.e.ap
2ba0 70 6c 69 65 64 98 74 6f 98 61 6e 93 79 98 73 65 71 75 65 6e 63 65 2e 8d 8d 91 05 2d ef 62 90 53 plied.to.an.y.sequence.....-.b.S
2bc0 8e 65 67 69 6e 8e 8e 91 24 b5 eb 61 6e 64 8d 8d 98 65 6e 64 8e 8e 8e a1 8d 91 fc 52 25 6d 61 9a .egin...$..and...end.......R%ma.
2be0 ac 72 79 96 04 2e 6c 62 90 53 8e 65 93 61 70 70 6c 69 65 64 93 74 6f 93 74 69 6d 65 64 93 74 72 .ry...lb.S.e.applied.to.timed.tr
2c00 61 63 65 73 93 61 6e 64 93 74 69 6d 65 64 93 72 65 66 75 73 61 6c 73 2e 8d 8d 91 06 04 2d 0c 72 aces.and.timed.refusals......-.r
2c20 73 74 8e 8e 91 1e 7f b3 69 73 93 61 93 73 79 6e 6f 6e 98 79 6d 93 66 6f 72 8d 8d 93 68 65 61 64 st......is.a.synon.ym.for...head
2c40 8e 8e 91 1c 55 78 2e 8d 8d 91 06 04 2d 66 72 6f 6e 98 74 8e 8e 91 23 00 c1 69 73 93 74 68 65 8e ....Ux......-fron.t...#..is.the.
2c60 a1 8d 91 fc 52 25 64 75 61 6c 96 03 ea a8 6f 66 8d 8d 93 74 61 69 6c 8e 8e 91 14 e3 80 2e 8d 8d ....R%dual....of...tail.........
2c80 91 05 38 e0 6c 61 73 74 8e 8e 91 1b 7b 4e 69 73 93 74 68 65 93 64 75 61 6c 93 6f 66 8d 8d 93 68 ..8.last....{Nis.the.dual.of...h
2ca0 65 61 64 8e 8e 91 1c 11 b4 2e 8e 9f 18 80 00 8d 91 fc 52 25 54 91 ff 05 56 6f 96 04 54 68 64 65 ead...............R%T...Vo..Thde
2cc0 6e 6f 74 65 93 74 68 65 93 73 65 74 93 6f 66 93 65 76 95 ac 72 65 6e 93 74 73 9b 04 54 68 6d 65 note.the.set.of.ev..ren.ts..Thme
2ce0 6e 93 74 69 6f 6e 65 64 98 69 6e 98 61 98 74 69 6d 65 64 98 6f 72 98 75 6e 93 74 69 6d 65 64 98 n.tioned.in.a.timed.or.un.timed.
2d00 74 72 61 63 65 98 6f 72 98 72 65 66 75 73 61 6c 2c 91 04 6e d7 77 93 65 98 70 72 65 0c 78 98 74 trace.or.refusal,..n.w.e.pre.x.t
2d20 68 65 8e a1 8d 91 fc 52 25 6e 61 6d 65 96 04 ac 82 6f 66 93 74 68 65 93 6f 62 91 00 a7 1c 6a 65 he.....R%name....of.the.ob....je
2d40 63 74 93 77 69 74 68 93 c2 0b 90 13 8f b9 2e 91 07 7e 6f 46 91 ff 05 56 6f 72 93 65 78 61 6d 70 ct.with..........~oF...Vor.examp
2d60 6c 65 2c 91 04 dc f9 74 68 65 93 73 65 74 93 6f 66 93 65 76 95 ac 72 65 6e 93 74 73 9b 04 ac 82 le,....the.set.of.ev..ren.ts....
2d80 6d 65 6e 93 74 69 6f 6e 65 64 98 69 6e 98 74 68 65 98 74 69 6d 65 64 98 74 72 61 63 65 98 c8 73 men.tioned.in.the.timed.trace..s
2da0 8e a1 8d 91 fc 52 25 b9 77 9a ac 72 6f 75 6c 64 96 03 e6 3a 62 90 53 8e 65 93 77 72 69 74 74 65 .....R%.w..rould...:b.S.e.writte
2dc0 6e 93 c2 0b 90 13 8f c8 73 91 00 fd dd b9 2e 91 05 37 66 45 61 72 6c 69 65 72 93 76 98 65 72 73 n.......s........7fEarlier.v.ers
2de0 69 6f 6e 93 6f 66 93 72 65 61 6c 2d 74 69 6d 65 93 43 53 50 91 03 e6 39 64 69 64 93 74 68 69 73 ion.of.real-time.CSP...9did.this
2e00 93 75 73 69 6e 67 93 74 68 65 93 c2 1b 91 04 54 73 b9 6f 70 90 53 8e 65 72 61 74 6f 72 93 74 6f .using.the.....Ts.op.S.erator.to
2e20 93 61 98 76 98 6f 69 64 8e a1 8d 91 fc 52 25 63 6f 6e 66 75 73 69 6f 6e 96 04 9c 6c 77 69 74 68 .a.v.oid.....R%confusion...lwith
2e40 93 70 72 6f 9a 53 8e 63 65 73 73 93 61 6c 70 68 61 62 98 65 74 73 2e 91 07 4e 2b 57 68 65 72 65 .pro.S.cess.alphab.ets...N+Where
2e60 93 74 68 65 72 65 93 69 73 93 73 63 6f 70 98 65 93 66 6f 72 93 63 6f 6e 66 75 73 69 6f 6e 2c 91 .there.is.scop.e.for.confusion,.
2e80 04 c8 dd 77 90 ac 72 65 93 73 75 67 67 65 73 74 93 74 68 61 74 93 74 68 69 73 8e a1 8d 91 fc 52 ...w..re.suggest.that.this.....R
2ea0 25 70 72 61 63 74 69 63 65 96 03 ea a8 69 73 93 63 6f 6e 95 ac 72 74 69 6e 93 75 65 64 2e 8e 9f %practice....is.con..rtin.ued...
2ec0 2c ca ab 8d 8d 91 fc 52 25 d5 33 2e 34 8e 91 21 38 88 53 65 6d 61 6e 90 8c cc 74 69 63 96 05 66 ,......R%.3.4..!8.Seman...tic..f
2ee0 66 66 75 6e 63 74 69 6f 6e 73 2c 93 6d 6f 90 73 33 64 65 6c 73 2c 93 61 6e 64 93 73 70 61 63 65 ffunctions,.mo.s3dels,.and.space
2f00 73 8e 9f 20 40 00 8d 91 fc 52 25 b9 49 6e 96 03 ea a8 be 41 64 76 91 ff 58 e4 61 6e 63 65 64 93 s...@....R%.In.....Adv..X.anced.
2f20 43 53 50 b9 2c 93 77 9a ac 72 65 93 75 73 65 93 6c 6f 6e 67 93 6e 61 6d 65 73 93 66 6f 72 93 74 CSP.,.w..re.use.long.names.for.t
2f40 68 65 93 73 65 6d 61 6e 98 74 69 63 93 66 75 6e 63 74 69 6f 6e 73 3a 8e 8e 9f 1e 00 00 8d 92 00 he.seman.tic.functions:.........
2f60 e7 10 03 35 8e 8e 8c 8b 00 00 00 06 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ...5............................
2f80 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 26 2d a0 02 a3 2d dc 8d a0 fd 40 ea 55 a0 ..................&-...-....@.U.
2fa0 02 a1 15 ab 8d a0 fd ad aa 52 8d 8d 8d 9f d4 66 66 a4 0e 7f ff 8d 8d 8d 8d 91 02 52 25 b9 73 65 .........R.....ff..........R%.se
2fc0 6d 61 6e 90 ac 72 74 69 63 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 53 65 6d 61 6e 74 69 63 73 man..rtics.........?E.\Semantics
2fe0 8e 8e 8e 8d 8d 92 01 25 b8 3b c8 73 65 6d 61 6e 74 69 63 73 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 .......%.;.semantics..........R%
3000 b9 74 72 61 63 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 54 72 61 63 65 73 8e 8e 8e 8d 8d 92 .traces.........?E.\Traces......
3020 01 25 b8 3b c8 74 72 96 ff 66 66 61 63 93 65 73 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 66 61 69 .%.;.tr..ffac.es..........R%.fai
3040 6c 75 72 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 46 61 69 6c 75 72 65 73 8e 8e 8e 8d 8d 92 lures.........?E.\Failures......
3060 01 25 b8 3b c8 66 61 69 6c 75 72 91 ff 66 66 65 73 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 69 .%.;.failur..ffes..........R%.ti
3080 6d 65 64 91 03 ea a8 66 61 69 6c 75 72 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 54 69 6d 65 med....failures.........?E.\Time
30a0 64 46 61 69 6c 75 72 65 73 8e 8e 8e 8d 8d 92 01 25 b8 3b c8 74 69 6d 65 96 ff 66 66 64 91 03 3e dFailures.......%.;.time..ffd..>
30c0 91 66 61 69 6c 75 72 93 65 73 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 64 69 76 90 ac 72 65 72 67 .failur.es..........R%.div..rerg
30e0 65 6e 63 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 44 69 76 65 72 67 65 6e 63 65 73 8e 8e 8e ences.........?E.\Divergences...
3100 8d 8d 92 01 25 b8 3b c8 64 69 76 65 72 96 ff 66 66 67 65 6e 63 93 65 73 8e 8e 8e a1 8d 8d 8d 8d ....%.;.diver..ffgenc.es........
3120 91 02 52 25 b9 69 6e 0c 6e 69 74 65 73 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 49 6e 66 69 6e 69 ..R%.in.nites.........?E.\Infini
3140 74 65 73 8e 8e 8e 8d 8d 92 01 25 b8 3b c8 69 6e 0c 6e 69 74 65 73 8e 8e 8e 8e 8e 8e 9f 43 15 50 tes.......%.;.in.nites.......C.P
3160 8d 91 fc 52 25 b9 41 6e 95 ac 72 79 9b 04 f9 66 73 65 6d 61 6e 93 74 69 63 98 66 75 6e 63 74 69 ...R%.An..ry...fseman.tic.functi
3180 6f 6e 98 6d 61 63 72 6f 98 63 61 6e 98 62 90 53 8e 65 98 67 69 76 93 65 6e 98 61 6e 98 6f 70 74 on.macro.can.b.S.e.giv.en.an.opt
31a0 69 6f 6e 61 6c 98 61 72 67 75 6d 65 6e 93 74 2e 91 08 65 1a 54 68 69 73 98 77 69 6c 6c 98 62 90 ional.argumen.t...e.This.will.b.
31c0 53 8e 65 98 73 65 74 98 77 69 74 68 69 6e 8e a4 0e 80 00 8d 91 fc 52 25 73 65 6d 61 6e 95 ac 72 S.e.set.within........R%seman..r
31e0 74 69 63 9b 03 38 59 62 72 61 63 93 6b 93 65 74 73 3a 91 04 df b9 65 2e 67 2e 2c 91 03 5c 03 bf tic..8Ybrac.k.ets:....e.g.,..\..
3200 5c 54 72 61 63 65 73 5b 50 5d 91 03 38 2c b9 79 69 65 6c 64 73 8d 98 c8 74 72 96 ff 66 66 61 63 \Traces[P]..8,.yields...tr..ffac
3220 93 65 73 8e 8d 91 23 76 48 b9 5b 8e 8d 91 25 64 80 5b 8e 91 28 a8 0c c8 50 8d 91 01 3c cd b9 5d .es...#vH.[...%d.[..(...P...<..]
3240 8e 8d 91 03 2b 05 5d 8e 91 06 6e 91 2e 91 04 fd 70 54 91 ff 05 56 6f 98 6f 62 74 61 69 6e 98 74 ....+.]...n.....pT...Vo.obtain.t
3260 68 65 98 73 65 6d 61 6e 93 74 69 63 98 62 72 61 63 93 6b 93 65 74 73 98 61 6c 6f 6e 65 2c 8e a1 he.seman.tic.brac.k.ets.alone,..
3280 8d 91 fc 52 25 75 73 65 96 05 0f 3a 74 68 65 93 bf 5c 73 65 6d 62 93 b9 6d 61 63 72 6f 3b 91 05 ...R%use...:the..\semb..macro;..
32a0 a1 83 74 68 69 73 93 74 61 6b 9a ac 72 65 73 93 61 93 73 69 6e 67 6c 65 93 63 6f 6d 70 75 6c 73 ..this.tak..res.a.single.compuls
32c0 6f 72 79 93 61 72 67 75 6d 65 6e 98 74 2e 91 08 a6 97 41 6c 74 65 72 6e 61 74 69 76 98 65 6c 79 ory.argumen.t.....Alternativ.ely
32e0 91 ff 05 56 2c 91 05 58 5f 74 68 65 93 6d 61 63 72 6f 73 8e a1 8d 91 fc 52 25 bf 5c 6c 65 66 74 ...V,..X_the.macros.....R%.\left
3300 73 65 6d 62 96 03 ea a8 b9 61 6e 64 93 bf 5c 72 69 67 68 74 73 65 6d 62 93 b9 70 72 6f 90 53 8e semb.....and..\rightsemb..pro.S.
3320 64 75 63 65 93 6c 65 66 74 93 61 6e 64 93 72 69 67 68 9a ac 72 74 93 73 65 6d 61 6e 98 74 69 63 duce.left.and.righ..rt.seman.tic
3340 93 62 72 61 63 98 6b 98 65 74 73 93 72 65 73 70 90 53 8e 65 63 74 69 76 98 65 6c 79 91 ff 05 56 .brac.k.ets.resp.S.ectiv.ely...V
3360 2e 8e a9 18 80 00 8d 91 fc 52 25 49 6e 96 05 77 21 74 68 65 6f 72 65 74 69 63 61 6c 93 70 61 70 .........R%In..w!theoretical.pap
3380 90 53 8e 65 72 73 2c 91 05 da 3f 77 9a ac 72 65 93 6f 66 74 65 6e 93 6e 65 65 64 93 74 6f 93 72 .S.ers,...?w..re.often.need.to.r
33a0 65 66 65 72 93 74 6f 93 73 65 76 98 65 72 61 6c 93 6d 6f 9a 53 8e 64 65 6c 73 2c 96 05 da 3f 66 efer.to.sev.eral.mo.S.dels,...?f
33c0 75 6e 63 74 69 6f 6e 73 2c 93 61 6e 64 91 05 77 21 61 73 73 6f 98 63 69 61 74 65 64 8e a1 8d 91 unctions,.and..w!asso.ciated....
33e0 fc 52 25 73 70 61 63 65 73 2e 91 08 26 ed 54 91 ff 05 56 6f 96 04 e4 ac 6d 61 6b 9a ac 72 65 93 .R%spaces...&.T...Vo....mak..re.
3400 74 68 69 6e 67 73 93 65 61 73 69 65 72 93 6f 6e 93 6f 75 72 73 65 6c 76 98 65 73 2c 91 05 23 2d things.easier.on.ourselv.es,..#-
3420 77 98 65 93 61 64 6f 70 74 93 73 68 6f 72 74 93 6e 61 6d 65 73 93 66 6f 72 93 74 68 65 73 65 93 w.e.adopt.short.names.for.these.
3440 6d 61 74 68 65 6d 61 74 69 63 61 6c 8e a1 8d 91 fc 52 25 6f 62 91 00 a7 1c 6a 65 63 74 73 2c 9b mathematical.....R%ob....jects,.
3460 03 4d c4 75 73 69 6e 67 96 03 26 8b 73 75 62 73 63 72 69 70 74 73 93 74 6f 93 69 64 65 6e 90 ac .M.using..&.subscripts.to.iden..
3480 72 74 69 66 79 93 74 68 65 93 6d 6f 90 53 8e 64 65 6c 93 63 6f 6e 63 65 72 6e 65 64 2e 91 04 f7 rtify.the.mo.S.del.concerned....
34a0 81 46 91 ff 05 56 6f 72 93 65 78 61 6d 70 6c 65 2c 98 74 68 65 93 6f 62 91 00 a7 1c 6a 65 63 74 .F...Vor.example,.the.ob....ject
34c0 73 93 61 73 73 6f 90 53 8e 63 69 61 74 65 64 8e a1 8d 91 fc 52 25 77 69 74 68 96 03 ea a8 74 68 s.asso.S.ciated.....R%with....th
34e0 65 93 74 69 6d 65 64 93 66 61 69 6c 75 72 65 73 93 6d 6f 90 53 8e 64 65 6c 93 61 72 65 93 61 6c e.timed.failures.mo.S.del.are.al
3500 6c 93 73 75 62 73 63 72 69 70 74 65 64 93 77 69 74 68 93 c8 54 46 91 01 9c 71 b9 2e 8e a6 8d 91 l.subscripted.with..TF...q......
3520 fc 52 25 54 68 65 96 03 ea a8 6d 6f 90 53 8e 64 65 6c 73 93 74 68 65 6d 73 65 6c 76 9a ac 72 65 .R%The....mo.S.dels.themselv..re
3540 73 93 68 61 98 76 98 65 93 6d 61 63 72 6f 73 93 62 90 53 8e 65 67 69 6e 6e 69 6e 67 93 bf 5c 4d s.ha.v.e.macros.b.S.eginning..\M
3560 b9 3a 8e 9f 43 15 51 8d 8d 8d 9f d4 66 66 a4 0e 7f ff 8d 8d 8d 8d 91 02 52 25 74 72 61 63 65 73 .:..C.Q.....ff..........R%traces
3580 8e 8e 8e 8d 8d 8d 92 00 bb c4 b8 bf 5c 4d 75 74 8e 8e 8e 8d 92 01 17 44 11 c5 4d 8d 9f 01 cc cc ............\Mut.......D..M.....
35a0 c9 55 54 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 66 61 69 6c 75 72 65 73 8e 8e 8e 8d 8d 8d 92 00 .UT..........R%.failures........
35c0 bb c4 b8 bf 5c 4d 75 66 8e 8e 8e 8d 92 01 17 44 11 c5 4d 8d 9f 01 cc cc c9 55 46 8e 8e 8e a1 8d ....\Muf.......D..M......UF.....
35e0 8d 8d 8d 91 02 52 25 b9 66 61 69 6c 75 72 65 73 2d 64 69 76 90 ac 72 65 72 67 65 6e 63 65 73 8e .....R%.failures-div..rergences.
3600 8e 8e 8d 8d 8d 92 00 bb c4 b8 bf 5c 4d 75 66 64 8e 8e 8e 8d 92 01 17 44 11 c5 4d 8d 9f 01 cc cc ...........\Mufd.......D..M.....
3620 c9 55 46 44 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 69 6d 65 64 91 03 ea a8 66 61 69 6c 75 72 .UFD..........R%.timed....failur
3640 65 73 8e 8e 8e 8d 8d 8d 92 00 bb c4 b8 bf 5c 4d 74 66 8e 8e 8e 8d 92 01 17 44 11 c5 4d 8d 9f 01 es............\Mtf.......D..M...
3660 cc cc c9 54 46 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 74 69 6d 65 64 91 03 ea a8 66 61 69 6c 75 ...TF..........R%.timed....failu
3680 72 65 73 2d 73 74 61 62 69 6c 69 74 90 ac 72 79 8e 8e 8e 8d 8d 8d 92 00 bb c4 b8 bf 5c 4d 74 66 res-stabilit..ry............\Mtf
36a0 73 8e 8e 8e 8d 92 01 17 44 11 c5 4d 8d 9f 01 cc cc c9 54 46 53 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 s.......D..M......TFS..........R
36c0 25 b9 74 69 6d 65 64 91 03 ea a8 69 6e 0c 6e 69 74 65 8e 8e 8e 8d 8d 8d 92 00 bb c4 b8 bf 5c 4d %.timed....in.nite............\M
36e0 74 69 8e 8e 8e 8d 92 01 17 44 11 c5 4d 8d 9f 01 cc cc c9 54 49 8e 8e 8e 8e 8e 8e 9f 43 15 50 8d ti.......D..M......TI.......C.P.
3700 91 fc 52 25 b9 54 68 65 96 05 73 b4 6d 61 74 63 9a ac 72 68 69 6e 67 93 73 65 6d 61 6e 98 74 69 ..R%.The..s.matc..rhing.seman.ti
3720 63 93 66 75 6e 63 74 69 6f 6e 73 93 75 73 65 93 bf 5c 46 91 05 73 4e b9 69 6e 73 74 65 61 64 7c c.functions.use..\F..sN.instead|
3740 65 2e 67 2e 2c 91 05 d5 f6 bf 5c 46 75 74 93 b9 66 6f 72 93 75 6e 98 74 69 6d 65 64 93 74 72 61 e.g.,.....\Fut..for.un.timed.tra
3760 63 65 73 7c 61 6e 64 93 74 68 65 8e a1 8d 91 fc 52 25 6f 62 73 65 72 76 91 ff 58 e4 61 74 69 6f ces|and.the.....R%observ..X.atio
3780 6e 96 03 ea a8 73 70 61 63 65 73 93 75 73 65 93 bf 5c 53 b9 2e 8e 9f 2c ca ab 8d 8d 91 fc 52 25 n....spaces.use..\S....,......R%
37a0 d5 33 2e 35 8e 91 21 38 88 52 65 0c 6e 65 6d 65 6e 90 8c cc 74 96 05 66 66 61 6e 64 93 73 61 74 .3.5..!8.Re.nemen...t..ffand.sat
37c0 69 73 66 61 63 74 69 6f 6e 8e 9f 20 40 00 8d 91 fc 52 25 b9 54 68 65 96 03 7a 49 73 61 74 69 73 isfaction...@....R%.The..zIsatis
37e0 66 61 63 74 69 6f 6e 93 6e 6f 74 61 74 69 6f 6e 93 65 6d 70 6c 6f 95 ac 72 79 93 65 64 96 03 7a faction.notation.emplo..ry.ed..z
3800 49 69 6e 93 48 6f 61 72 65 27 73 93 be 43 6f 6d 6d 9a ac 72 75 6e 69 63 61 74 69 6e 67 93 53 65 Iin.Hoare's..Comm..runicating.Se
3820 71 75 65 6e 98 74 69 61 6c 93 50 72 6f 9a 53 8e 63 65 73 73 65 73 93 b9 68 61 73 93 62 98 65 65 quen.tial.Pro.S.cesses..has.b.ee
3840 6e 8e a1 8d 91 fc 52 25 72 65 74 61 69 6e 65 64 2e 91 04 fd c1 57 91 ff 05 56 65 96 03 39 4c 61 n.....R%retained.....W...Ve..9La
3860 6c 73 6f 93 68 61 95 ac 72 76 93 65 96 03 39 4c 61 93 72 65 0c 6e 65 6d 65 6e 9a ac 72 74 93 72 lso.ha..rv.e..9La.re.nemen..rt.r
3880 65 6c 61 74 69 6f 6e 93 62 90 53 8e 65 74 98 77 98 65 65 6e 93 70 72 6f 95 53 8e 63 65 73 73 65 elation.b.S.et.w.een.pro.S.cesse
38a0 73 2c 91 03 5c c5 70 93 6f 73 73 69 62 6c 79 96 03 39 4c 69 6e 64 65 78 65 64 93 62 98 79 93 74 s,..\.p.ossibly..9Lindexed.b.y.t
38c0 68 65 93 6e 61 6d 65 8e a1 8d 91 fc 52 25 6f 66 96 03 ea a8 74 68 65 93 6d 6f 90 53 8e 64 65 6c he.name.....R%of....the.mo.S.del
38e0 93 63 6f 6e 63 65 72 6e 65 64 2e 8e a6 8d 91 fc 52 25 54 68 65 96 05 8b db 73 61 74 69 73 66 61 .concerned......R%The....satisfa
3900 63 74 69 6f 6e 93 72 65 6c 61 74 69 6f 6e 93 69 73 93 73 65 74 93 61 73 93 66 6f 6c 6c 6f 9a ac ction.relation.is.set.as.follo..
3920 72 77 73 3a 91 08 7b 47 bf 50 96 06 2c cd 5c 73 61 74 93 53 91 05 8b 70 b9 70 72 6f 90 53 8e 64 rws:..{G.P..,.\sat.S...p.pro.S.d
3940 75 63 65 73 96 05 8b db c8 50 8d 91 07 58 3f f3 35 c2 d6 4e a0 00 0c 00 00 00 0c 00 00 00 06 63 uces.....P...X?.5..N...........c
3960 6d 62 78 31 32 e0 73 61 74 8e 91 1e 96 e5 c8 53 91 01 73 33 b9 2e 91 0a 1c 7a 54 68 65 93 72 65 mbx12.sat......S..s3.....zThe.re
3980 0c 6e 65 6d 65 6e 98 74 8e a1 8d 91 fc 52 25 72 65 6c 61 74 69 6f 6e 96 03 ea a8 69 73 93 70 72 .nemen.t.....R%relation....is.pr
39a0 6f 90 53 8e 64 75 63 65 64 93 62 9a ac 72 79 93 bf 5c 6c 65 73 73 64 65 74 93 b9 28 6f 72 93 bf o.S.duced.b..ry..\lessdet..(or..
39c0 72 65 66 69 6e 65 64 62 79 b9 2c 93 61 93 73 79 6e 6f 6e 98 79 6d 98 62 90 53 8e 6f 6c 29 2e 8e refinedby.,.a.synon.ym.b.S.ol)..
39e0 9f 2c ca ab 8d 8d 91 fc 52 25 d5 33 2e 36 8e 91 21 38 88 53 70 90 73 33 65 63 69 0c 63 61 74 69 .,......R%.3.6..!8.Sp.s3eci.cati
3a00 6f 6e 73 8e 9f 20 40 00 8d 91 fc 52 25 b9 54 91 ff 05 56 6f 96 03 e1 4e 63 61 70 74 75 72 65 93 ons...@....R%.T...Vo...Ncapture.
3a20 74 69 6d 69 6e 67 93 63 6f 6e 73 74 72 61 69 6e 9a ac 72 74 73 93 61 74 93 74 68 65 93 6c 65 76 timing.constrain..rts.at.the.lev
3a40 98 65 6c 93 6f 66 93 74 68 65 93 73 65 6d 61 6e 98 74 69 63 93 6d 6f 90 53 8e 64 65 6c 73 2c 91 .el.of.the.seman.tic.mo.S.dels,.
3a60 03 e3 2d 77 98 65 93 75 73 65 93 61 93 6e 98 75 6d 98 62 9a 53 8e 65 72 93 6f 66 93 73 70 98 65 ..-w.e.use.a.n.um.b.S.er.of.sp.e
3a80 63 69 2d 8e a1 8d 91 fc 52 25 0c 63 61 74 69 6f 6e 96 03 af 44 60 6d 61 63 72 6f 73 27 2e 91 05 ci-.....R%.cation...D`macros'...
3aa0 25 14 54 68 65 73 65 93 61 72 65 93 73 65 74 93 75 73 69 6e 67 93 4c 8d 9f fd 44 44 8d 91 fb c5 %.These.are.set.using.L...DD....
3ac0 22 c0 41 8e 8e 90 5f d9 b9 54 8d 91 fe 0a 91 9f 02 95 55 45 8e 91 04 91 21 58 93 6d 61 63 72 6f ".A..._..T........UE....!X.macro
3ae0 73 93 77 68 69 63 90 ac 72 68 93 62 90 53 8e 65 67 69 6e 93 77 69 74 68 93 61 6e 93 60 6d 27 93 s.whic..rh.b.S.egin.with.an.`m'.
3b00 28 66 6f 72 93 6d 61 63 72 6f 29 93 61 6e 64 8e 8e 9f 1e 00 00 8d 92 00 e7 10 03 36 8e 8e 8c 8b (for.macro).and............6....
3b20 00 00 00 07 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 00 ................................
3b40 00 00 00 00 00 00 00 00 00 00 2f 67 a0 02 a3 2d dc 8d a0 fd 40 ea 55 a0 02 a1 15 ab 8d a0 fd 83 ........../g...-....@.U.........
3b60 ea 55 8d 91 fc 52 25 b9 61 72 65 96 03 ea a8 74 68 65 6e 93 63 61 70 69 74 61 6c 69 73 65 64 2e .U...R%.are....then.capitalised.
3b80 8e a0 00 83 44 2f 8d 8d 8d 9f 94 37 88 9f 0e 7f ff 8d 8d 8d 8d 91 02 52 25 69 6e 90 ac 72 74 65 ....D/.....7...........R%in..rte
3ba0 72 6e 61 6c 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 49 6e 74 65 72 6e 61 6c 8e 8e 8e 8d 8d 92 rnal.........?E.\mInternal......
3bc0 01 25 b8 3b f3 36 82 ce 52 36 00 0c 00 00 00 0c 00 00 00 06 63 6d 73 73 31 32 e1 69 6e 74 65 72 .%.;.6..R6..........cmss12.inter
3be0 6e 61 6c 8e 8e 8e a4 10 91 0e 8d 8d 8d 8d 91 02 52 25 b9 72 65 66 75 73 65 73 8e 8e 8e 8d 8d 8d nal.............R%.refuses......
3c00 92 00 9b 3f 45 bf 5c 6d 52 65 66 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 72 65 66 8e 8e 8e a1 8d 8d 8d ...?E.\mRef.......%.;.ref.......
3c20 8d 91 02 52 25 b9 61 74 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 41 74 8e 8e 8e 8d 8d 92 01 25 ...R%.at.........?E.\mAt.......%
3c40 b8 3b e1 61 74 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 6c 69 76 90 ac 72 65 8e 8e 8e 8d 8d 8d 92 .;.at..........R%.liv..re.......
3c60 00 9b 3f 45 bf 5c 6d 4c 69 76 65 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 6c 69 76 65 8e 8e 8e a1 8d 8d ..?E.\mLive.......%.;.live......
3c80 8d 8d 91 02 52 25 b9 6f 70 90 53 8e 65 6e 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 4f 70 65 6e ....R%.op.S.en.........?E.\mOpen
3ca0 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 6f 70 90 53 8e 65 6e 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 66 .......%.;.op.S.en..........R%.f
3cc0 72 6f 6d 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 46 72 6f 6d 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 rom.........?E.\mFrom.......%.;.
3ce0 66 72 6f 6d 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 75 6e 90 ac 72 74 69 6c 8e 8e 8e 8d 8d 8d 92 from..........R%.un..rtil.......
3d00 00 9b 3f 45 bf 5c 6d 55 6e 74 69 6c 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 75 6e 74 69 6c 8e 8e 8e a1 ..?E.\mUntil.......%.;.until....
3d20 8d 8d 8d 8d 91 02 52 25 b9 6c 69 76 90 ac 72 65 91 03 ea a8 66 72 6f 6d 8e 8e 8e 8d 8d 8d 92 00 ......R%.liv..re....from........
3d40 9b 3f 45 bf 5c 6d 4c 69 76 65 46 72 6f 6d 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 6c 69 76 65 91 03 ea .?E.\mLiveFrom.......%.;.live...
3d60 a8 66 72 6f 6d 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 6f 70 90 53 8e 65 6e 91 03 ea a8 66 72 6f .from..........R%.op.S.en....fro
3d80 6d 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 4f 70 65 6e 46 72 6f 6d 8e 8e 8e 8d 8d 92 01 25 b8 m.........?E.\mOpenFrom.......%.
3da0 3b e1 6f 70 90 53 8e 65 6e 91 03 ea a8 66 72 6f 6d 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 6e 61 ;.op.S.en....from..........R%.na
3dc0 6d 65 96 03 ea a8 6f 66 93 6c 61 73 74 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 4e 61 6d 65 4f me....of.last.........?E.\mNameO
3de0 66 4c 61 73 74 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 6e 61 6d 65 96 03 ea a8 6f 66 93 6c 61 73 74 8e fLast.......%.;.name....of.last.
3e00 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 62 90 53 8e 65 66 6f 72 65 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 .........R%.b.S.efore.........?E
3e20 bf 5c 6d 42 65 66 6f 72 65 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 62 90 53 8e 65 66 6f 90 ac 72 72 65 .\mBefore.......%.;.b.S.efo..rre
3e40 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 25 b9 61 66 74 65 72 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d ..........R%.after.........?E.\m
3e60 41 66 74 65 72 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 61 66 74 65 72 8e 8e 8e a1 8d 8d 8d 8d 91 02 52 After.......%.;.after..........R
3e80 25 b9 74 69 6d 65 96 03 ea a8 6f 66 93 6c 61 73 74 8e 8e 8e 8d 8d 8d 92 00 9b 3f 45 bf 5c 6d 54 %.time....of.last.........?E.\mT
3ea0 69 6d 65 4f 66 4c 61 73 74 8e 8e 8e 8d 8d 92 01 25 b8 3b e1 74 69 6d 65 96 03 ea a8 6f 66 93 6c imeOfLast.......%.;.time....of.l
3ec0 61 73 74 8e 8e 8e 8e 8e 8e a0 00 99 04 2f 8d 8d 91 fc 52 25 bd 34 8e 91 19 7b 19 44 69 73 63 75 ast........../....R%.4...{.Discu
3ee0 73 73 69 6f 6e 8e 9f 27 e2 23 8d 8d 91 fc 52 25 d5 34 2e 31 8e 91 21 38 88 44 65 70 90 73 33 65 ssion..'.#....R%.4.1..!8.Dep.s3e
3f00 6e 64 65 6e 63 69 65 73 8e a4 20 40 00 8d 91 fc 52 25 b9 59 91 ff 05 56 6f 75 96 04 0f b0 6d 9a ndencies...@....R%.Y...Vou....m.
3f20 ac 72 75 73 74 93 68 61 98 76 98 65 93 74 68 65 93 41 4d 53 91 04 0f a7 66 6f 6e 98 74 73 93 61 .rust.ha.v.e.the.AMS....fon.ts.a
3f40 98 76 91 ff 58 e4 61 69 6c 61 62 6c 65 2c 91 04 18 f2 61 6e 64 93 74 68 65 93 bf 61 6d 73 66 6f .v..X.ailable,....and.the..amsfo
3f60 6e 74 73 93 b9 69 6e 73 74 61 6c 6c 61 74 69 6f 6e 93 6d 98 75 73 74 93 68 61 98 76 98 65 93 62 nts..installation.m.ust.ha.v.e.b
3f80 9a 53 8e 65 65 6e 93 70 98 65 72 2d 8e a9 0e 80 00 8d 91 fc 52 25 66 6f 72 6d 65 64 96 03 ea a8 .S.een.p.er-........R%formed....
3fa0 66 6f 72 8d 93 4c 8d 9f fd 44 44 8d 91 fb c5 22 c0 41 8e 8e 90 5f d9 b9 54 8d 91 fe 0a 91 9f 02 for..L...DD....".A..._..T.......
3fc0 95 55 45 8e 91 04 91 21 58 91 01 c3 2d 32 8d 9f 01 cc cc c2 22 8e 8e 91 2f 21 35 b9 2e 91 05 38 .UE....!X...-2......".../!5....8
3fe0 e0 54 68 69 73 93 72 65 71 75 69 72 65 73 93 74 68 65 93 bf 6d 66 6e 66 73 73 93 b9 70 61 63 9a .This.requires.the..mfnfss..pac.
4000 ac 72 6b 91 ff 58 e4 61 67 65 3b 93 69 74 93 74 61 6b 98 65 73 93 61 62 90 53 8e 6f 75 74 93 74 .rk..X.age;.it.tak.es.ab.S.out.t
4020 98 77 98 65 6e 98 74 98 79 93 73 65 63 6f 6e 64 73 2e 8e 9f 2c ca ab 8d 8d 91 fc 52 25 d5 34 2e .w.en.t.y.seconds...,......R%.4.
4040 32 8e 91 21 38 88 43 53 50 96 05 66 66 61 6e 64 93 5a 8e a1 8d 91 fc 52 25 b9 59 91 ff 05 56 6f 2..!8.CSP..ffand.Z.....R%.Y...Vo
4060 75 96 03 64 a2 6d 61 9a ac 72 79 93 68 61 98 76 98 65 93 70 72 6f 62 6c 65 6d 73 93 69 66 93 79 u..d.ma..ry.ha.v.e.problems.if.y
4080 98 6f 75 93 74 72 79 93 74 6f 93 75 73 65 93 74 68 65 93 bf 7a 65 64 2d 63 73 70 93 b9 70 61 63 .ou.try.to.use.the..zed-csp..pac
40a0 98 6b 91 ff 58 e4 61 67 65 93 77 69 74 68 93 bf 66 75 7a 7a 93 b9 6f 72 93 61 6e 98 79 93 73 74 .k..X.age.with..fuzz..or.an.y.st
40c0 98 79 6c 65 93 70 61 63 98 6b 91 ff 58 e4 61 67 65 8e a6 8d 91 fc 52 25 74 68 61 74 96 04 47 5a .yle.pac.k..X.age.....R%that..GZ
40e0 75 73 65 73 93 74 68 65 93 41 4d 53 91 04 47 42 66 6f 6e 9a ac 72 74 73 2e 91 06 4e f5 54 68 65 uses.the.AMS..GBfon..rts...N.The
4100 93 67 6f 95 53 8e 6f 93 64 96 04 47 5a 6e 65 77 73 93 69 73 93 74 68 61 74 93 79 98 6f 75 93 73 .go.S.o.d..GZnews.is.that.y.ou.s
4120 68 6f 75 6c 64 6e 27 74 93 6e 65 65 64 93 74 68 65 6d 2e 91 06 4e f5 41 6c 6c 93 6f 66 93 74 68 houldn't.need.them...N.All.of.th
4140 65 93 41 4d 53 8e a6 8d 91 fc 52 25 73 79 6d 9a ac 72 62 90 53 8e 6f 6c 73 96 03 ea a8 61 72 65 e.AMS.....R%sym..rb.S.ols....are
4160 93 64 65 0c 6e 65 64 93 69 6e 93 74 68 65 93 bf 7a 65 64 2d 63 73 70 93 b9 70 61 63 98 6b 91 ff .de.ned.in.the..zed-csp..pac.k..
4180 58 e4 61 67 65 2c 93 75 73 69 6e 67 93 74 68 65 93 73 74 61 6e 64 61 72 64 93 6e 61 6d 65 73 2e X.age,.using.the.standard.names.
41a0 8e 8e 9f 1e 00 00 8d 92 00 e7 10 03 37 8e 8e 8c f8 00 00 3b 1f 01 83 92 c0 1c 3b 00 00 00 00 03 ............7......;......;.....
41c0 e8 02 a3 2d dc 01 d7 ad dc 00 0e 00 07 f3 36 82 ce 52 36 00 0c 00 00 00 0c 00 00 00 06 63 6d 73 ...-..........6..R6..........cms
41e0 73 31 32 f3 35 c2 d6 4e a0 00 0c 00 00 00 0c 00 00 00 06 63 6d 62 78 31 32 f3 2f 54 71 d4 03 00 s12.5..N...........cmbx12./Tq...
4200 11 47 ae 00 0a 00 00 00 06 6c 61 73 79 31 30 f3 2c 21 22 2c 9a 00 11 47 ae 00 0a 00 00 00 06 63 .G.......lasy10.,!",...G.......c
4220 6d 73 79 31 30 f3 2a c2 d6 4e a0 00 0e 66 66 00 0c 00 00 00 06 63 6d 62 78 31 32 f3 26 88 b6 16 msy10.*..N...ff......cmbx12.&...
4240 c8 00 0c 00 00 00 0a 00 00 00 06 6d 73 62 6d 31 30 f3 23 97 b3 ee cd 00 0c 00 00 00 0a 00 00 00 ...........msbm10.#.............
4260 06 6d 73 61 6d 31 30 f3 20 54 71 d4 03 00 0c 00 00 00 0a 00 00 00 06 6c 61 73 79 31 30 f3 1e 23 .msam10..Tq............lasy10..#
4280 d1 66 90 00 08 00 00 00 08 00 00 00 05 63 6d 74 69 38 f3 1d 9b bb 88 40 00 0c 00 00 00 0c 00 00 .f...........cmti8.....@........
42a0 00 06 63 6d 74 69 31 32 f3 1b be 4b c8 0b 00 08 00 00 00 08 00 00 00 05 63 6d 73 79 38 f3 1a 21 ..cmti12...K............cmsy8..!
42c0 22 2c 9a 00 0c 00 00 00 0a 00 00 00 06 63 6d 73 79 31 30 f3 18 d7 01 17 32 00 08 00 00 00 08 00 ",...........cmsy10.....2.......
42e0 00 00 05 63 6d 6d 69 38 f3 17 b7 e1 67 a3 00 0c 00 00 00 0c 00 00 00 06 63 6d 6d 69 31 32 f3 16 ...cmmi8....g...........cmmi12..
4300 b9 41 61 a8 00 06 00 00 00 06 00 00 00 04 63 6d 72 36 f3 15 7c 7b 59 07 00 08 00 00 00 08 00 00 .Aa...........cmr6..|{Y.........
4320 00 04 63 6d 72 38 f3 14 df 86 b5 54 00 0c 00 00 00 0c 00 00 00 06 63 6d 74 74 31 32 f3 13 7d 68 ..cmr8.....T..........cmtt12..}h
4340 21 d3 00 0c 00 00 00 0c 00 00 00 06 63 6d 73 6c 31 32 f3 12 c2 d6 4e a0 00 11 47 ae 00 0c 00 00 !...........cmsl12....N...G.....
4360 00 06 63 6d 62 78 31 32 f3 11 44 d3 ed 74 00 11 47 ae 00 11 47 ae 00 05 63 6d 72 31 37 f3 10 c2 ..cmbx12..D..t..G...G...cmr17...
4380 d6 4e a0 00 18 e1 48 00 0c 00 00 00 06 63 6d 62 78 31 32 f3 0e 58 ab 51 0b 00 0c 00 00 00 0c 00 .N....H......cmbx12..X.Q........
43a0 00 00 05 63 6d 72 31 32 f3 00 fa b1 75 12 00 0a 00 00 00 0a 00 00 00 06 63 6d 65 78 31 30 f9 00 ...cmr12....u...........cmex10..
43c0 00 41 b0 02 df df df df .A......