blob: 9a1235046f366eb14ab6d11cf1e549890c3a8a92 (plain)

ofs	hex dump	ascii
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......