39	260	bit-string OK?
36	254	and
1	253	req
37	252	Send
2	247	or
35	246	and
38	245	Const(1)
3	232	or
42	231	and
34	230	and
59	229	or
33	228	and
41	227	bit-string OK?
60	221	or
32	220	and
40	219	Id
44	217	bit-string OK?
4	212	or
31	211	and
43	210	Receive
19	208	bit-string OK?
16	202	and
61	201	req
17	200	Send
69	183	or
70	182	true
71	181	RS
62	180	or
15	179	and
18	178	Pubenc
65	168	or
14	167	and
20	166	2-tuple
66	160	or
13	159	and
21	158	Id
67	152	or
46	151	and
47	150	Id
68	144	or
27	143	and
28	142	Id
49	140	bit-string OK?
64	129	or
72	128	true
73	127	RS
63	126	or
45	125	and
48	124	Nonce
30	122	bit-string OK?
5	114	or
26	113	and
29	112	Pubkey
58	106	or
25	105	and
50	104	Id
52	102	bit-string OK?
57	91	or
74	90	true
75	89	RS
6	88	or
24	87	and
51	86	Keypair
23	84	bit-string OK?
7	76	or
12	75	and
22	74	Pubkey
56	68	or
11	67	and
53	66	Id
55	64	bit-string OK?
9	54	or
76	53	true
77	52	RS
8	51	or
10	50	and
54	49	Keypair
78	48	true
245 -> 260
253 -> 247
246 -> 254
253 -> 254
254 -> 252
245 -> 252
247 -> 232
247 -> 246
230 -> 246
246 -> 245
232 -> 212
232 -> 229
232 -> 231
217 -> 231
227 -> 231
229 -> 221
229 -> 228
217 -> 228
220 -> 228
228 -> 230
227 -> 230
219 -> 227
221 -> 220
217 -> 220
211 -> 220
220 -> 219
210 -> 219
210 -> 217
212 -> 114
212 -> 211
122 -> 211
211 -> 210
178 -> 208
201 -> 180
179 -> 202
201 -> 202
202 -> 200
178 -> 200
180 -> 126
180 -> 168
180 -> 144
180 -> 183
180 -> 179
140 -> 179
167 -> 179
143 -> 179
182 -> 179
179 -> 178
142 -> 178
166 -> 178
181 -> 178
182 -> 181
168 -> 160
168 -> 152
168 -> 167
140 -> 167
159 -> 167
151 -> 167
167 -> 166
158 -> 166
150 -> 166
160 -> 159
140 -> 159
75 -> 159
159 -> 158
74 -> 158
152 -> 151
140 -> 151
125 -> 151
151 -> 150
124 -> 150
144 -> 143
140 -> 143
113 -> 143
143 -> 142
112 -> 142
124 -> 140
126 -> 114
126 -> 129
126 -> 125
122 -> 125
128 -> 125
125 -> 124
127 -> 124
128 -> 127
112 -> 122
114 -> 88
114 -> 106
114 -> 113
102 -> 113
105 -> 113
113 -> 112
89 -> 112
106 -> 105
102 -> 105
87 -> 105
105 -> 104
86 -> 104
86 -> 102
88 -> 76
88 -> 91
88 -> 87
84 -> 87
90 -> 87
87 -> 86
89 -> 86
90 -> 89
74 -> 84
76 -> 51
76 -> 68
76 -> 75
64 -> 75
67 -> 75
75 -> 74
52 -> 74
68 -> 67
64 -> 67
50 -> 67
67 -> 66
49 -> 66
49 -> 64
51 -> 54
51 -> 50
48 -> 50
53 -> 50
50 -> 49
52 -> 49
53 -> 52
