33 %term EQUAL	1
34 %term LP	2
35 %term RP	3
36 %term SM	4
37 %term ARROW	5
38 %term COLON	6
39 %term DCOLON	7
40 %term NAME	8
41 %term STRING	9
42 %term INSTALL	10
43 %term NOTIFY	11
44 %term EXCEPT	12
45 %term PATTERN	13
46 %term SPECIAL	14
47 %term OPTION	15

Indexes created Tue Jul 24 14:28:13 CEST 2018