end of line
[scilab.git] / scilab / modules / scicos / src / translator / parsing / lexer.ml
1 # 27 "lexer.mll"
2  
3
4 (** Modelica lexer. *)
5
6 (** Implementation based on {i Modelica language specification 2.0 } *)
7
8 open Parser
9
10 let check_reserved = function
11     | "algorithm" -> ALGORITHM
12     | "and" -> AND
13     | "annotation" -> ANNOTATION
14     | "block" -> MODEL
15     | "break" -> BREAK
16     | "class" -> CLASS
17     | "connect" -> CONNECT
18     | "connector" -> CONNECTOR
19     | "constant" -> CONSTANT
20     | "discrete" -> DISCRETE
21     | "each" -> EACH
22     | "else" -> ELSE
23     | "elseif" -> ELSEIF
24     | "elsewhen" -> ELSEWHEN
25     | "encapsulated" -> ENCAPSULATED
26     | "enumeration" -> ENUMERATION
27     | "end" -> END
28     | "equation" -> EQUATION
29     | "expandable" -> EXPANDABLE
30     | "extends" -> EXTENDS
31     | "external" -> EXTERNAL
32     | "false" -> FALSE
33     | "final" -> FINAL
34     | "flow" -> FLOW
35     | "for" -> FOR
36     | "function" -> FUNCTION
37     | "if" -> IF
38     | "import" -> IMPORT
39     | "in" -> IN
40     | "inner" -> INNER
41     | "input" -> INPUT
42     | "loop" -> LOOP
43     | "model" -> MODEL
44     | "noEvent" -> NOEVENT
45     | "not" -> NOT
46     | "or" -> OR
47     | "outer" -> OUTER
48     | "output" -> OUTPUT
49     | "package" -> PACKAGE
50     | "parameter" -> PARAMETER
51     | "partial" -> PARTIAL
52     | "protected" -> PROTECTED
53     | "public" -> PUBLIC
54     | "record" -> RECORD
55     | "redeclare" -> REDECLARE
56     | "replaceable" -> REPLACEABLE
57     | "restricts" -> RESTRICTS
58     | "return" -> RETURN
59     | "then" -> THEN
60     | "true" -> TRUE
61     | "type" -> TYPE
62     | "when" -> WHEN
63     | "while" -> WHILE
64     | "within" -> WITHIN
65     | s -> IDENT s
66
67
68 # 69 "lexer.ml"
69 let __ocaml_lex_tables = {
70   Lexing.lex_base = 
71    "\000\000\216\255\217\255\002\000\065\000\003\000\226\255\228\255\
72     \229\255\230\255\031\000\232\255\233\255\235\255\236\255\237\255\
73     \238\255\239\255\240\255\090\000\036\000\086\000\162\000\250\000\
74     \069\001\081\001\102\000\254\255\255\255\002\000\087\000\178\000\
75     \253\255\252\255\103\001\114\001\136\001\146\001\156\001\168\001\
76     \178\001\188\001\007\002\082\002\157\002\232\002\090\003\103\000\
77     \204\003\017\000\023\000\030\000\035\000\033\000\043\000\061\000\
78     \074\000\070\000\249\255\063\000\112\000\105\000\117\000\112\000\
79     \114\000\248\255\029\000\246\000\247\000\209\003\067\004\244\000\
80     \181\004\123\002\000\005\075\005\150\005\225\005\044\006\119\006\
81     \194\006\013\007\088\007\163\007\238\007\057\008\132\008\221\008\
82     \124\002\243\255\024\001\251\000\098\001\224\008\125\002\242\255\
83     \241\255\249\008\092\003\224\255\219\255\218\255\221\255\220\255\
84     ";
85   Lexing.lex_backtrk = 
86    "\255\255\255\255\255\255\033\000\032\000\030\000\255\255\255\255\
87     \255\255\255\255\024\000\255\255\255\255\255\255\255\255\255\255\
88     \255\255\255\255\255\255\039\000\039\000\013\000\013\000\013\000\
89     \021\000\004\000\028\000\255\255\255\255\255\255\255\255\255\255\
90     \255\255\255\255\255\255\005\000\255\255\005\000\255\255\005\000\
91     \255\255\013\000\013\000\013\000\013\000\013\000\013\000\255\255\
92     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
93     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
94     \255\255\255\255\255\255\255\255\255\255\013\000\013\000\255\255\
95     \255\255\255\255\012\000\012\000\012\000\012\000\012\000\008\000\
96     \009\000\012\000\012\000\012\000\010\000\012\000\011\000\255\255\
97     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
98     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
99     ";
100   Lexing.lex_default = 
101    "\001\000\000\000\000\000\255\255\255\255\255\255\000\000\000\000\
102     \000\000\000\000\255\255\000\000\000\000\000\000\000\000\000\000\
103     \000\000\000\000\000\000\098\000\094\000\255\255\255\255\255\255\
104     \255\255\255\255\255\255\000\000\000\000\029\000\030\000\030\000\
105     \000\000\000\000\255\255\255\255\255\255\255\255\255\255\255\255\
106     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
107     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
108     \255\255\255\255\000\000\255\255\255\255\255\255\255\255\255\255\
109     \255\255\000\000\066\000\067\000\067\000\255\255\255\255\255\255\
110     \255\255\088\000\255\255\255\255\255\255\255\255\255\255\255\255\
111     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
112     \088\000\000\000\090\000\091\000\091\000\255\255\094\000\000\000\
113     \000\000\255\255\098\000\000\000\000\000\000\000\000\000\000\000\
114     ";
115   Lexing.lex_trans = 
116    "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
117     \000\000\028\000\027\000\000\000\033\000\028\000\000\000\000\000\
118     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
119     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
120     \028\000\000\000\019\000\000\000\000\000\000\000\000\000\048\000\
121     \018\000\017\000\007\000\009\000\012\000\008\000\024\000\026\000\
122     \025\000\025\000\025\000\025\000\025\000\025\000\025\000\025\000\
123     \025\000\025\000\010\000\011\000\004\000\005\000\003\000\103\000\
124     \100\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
125     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
126     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
127     \021\000\021\000\021\000\016\000\099\000\015\000\006\000\021\000\
128     \020\000\021\000\021\000\021\000\021\000\022\000\021\000\021\000\
129     \021\000\023\000\021\000\021\000\021\000\021\000\021\000\021\000\
130     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
131     \021\000\021\000\021\000\014\000\096\000\013\000\102\000\101\000\
132     \093\000\031\000\059\000\051\000\255\255\052\000\021\000\021\000\
133     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
134     \030\000\067\000\053\000\054\000\055\000\029\000\066\000\021\000\
135     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
136     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
137     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
138     \021\000\056\000\057\000\058\000\060\000\021\000\097\000\021\000\
139     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
140     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
141     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
142     \021\000\061\000\021\000\021\000\021\000\021\000\021\000\021\000\
143     \021\000\021\000\021\000\021\000\031\000\062\000\063\000\064\000\
144     \065\000\032\000\000\000\021\000\021\000\021\000\021\000\021\000\
145     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
146     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
147     \021\000\021\000\021\000\021\000\021\000\000\000\000\000\000\000\
148     \002\000\021\000\255\255\021\000\021\000\021\000\021\000\021\000\
149     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
150     \069\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
151     \021\000\021\000\021\000\021\000\021\000\255\255\091\000\000\000\
152     \068\000\068\000\072\000\090\000\255\255\092\000\048\000\000\000\
153     \000\000\000\000\021\000\021\000\021\000\021\000\021\000\021\000\
154     \021\000\021\000\021\000\021\000\000\000\000\000\000\000\000\000\
155     \000\000\000\000\000\000\021\000\021\000\021\000\021\000\021\000\
156     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
157     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
158     \021\000\021\000\021\000\021\000\021\000\000\000\000\000\255\255\
159     \000\000\021\000\255\255\021\000\021\000\021\000\021\000\021\000\
160     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
161     \041\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
162     \021\000\021\000\021\000\021\000\021\000\035\000\035\000\035\000\
163     \035\000\035\000\035\000\035\000\035\000\035\000\035\000\035\000\
164     \000\000\025\000\025\000\025\000\025\000\025\000\025\000\025\000\
165     \025\000\025\000\025\000\000\000\092\000\000\000\000\000\000\000\
166     \000\000\072\000\040\000\000\000\040\000\000\000\034\000\039\000\
167     \039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\
168     \039\000\000\000\035\000\035\000\035\000\035\000\035\000\035\000\
169     \035\000\035\000\035\000\035\000\000\000\000\000\000\000\000\000\
170     \000\000\000\000\255\255\038\000\000\000\038\000\034\000\036\000\
171     \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\
172     \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\
173     \037\000\037\000\037\000\037\000\037\000\037\000\037\000\037\000\
174     \037\000\037\000\037\000\037\000\037\000\037\000\000\000\036\000\
175     \039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\
176     \039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\
177     \039\000\039\000\039\000\039\000\021\000\021\000\021\000\021\000\
178     \021\000\021\000\021\000\021\000\021\000\021\000\255\255\255\255\
179     \000\000\000\000\000\000\255\255\000\000\021\000\021\000\021\000\
180     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
181     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
182     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\000\000\
183     \255\255\000\000\000\000\021\000\000\000\021\000\021\000\021\000\
184     \021\000\021\000\021\000\021\000\021\000\042\000\021\000\021\000\
185     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
186     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
187     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
188     \021\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
189     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
190     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
191     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
192     \021\000\021\000\255\255\000\000\000\000\000\000\021\000\000\000\
193     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
194     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
195     \021\000\021\000\021\000\043\000\021\000\021\000\021\000\021\000\
196     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
197     \021\000\021\000\021\000\021\000\000\000\000\000\000\000\000\000\
198     \000\000\000\000\000\000\021\000\021\000\021\000\021\000\021\000\
199     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
200     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
201     \021\000\021\000\021\000\021\000\021\000\000\000\000\000\000\000\
202     \000\000\021\000\000\000\021\000\021\000\021\000\021\000\021\000\
203     \021\000\021\000\021\000\044\000\021\000\021\000\021\000\021\000\
204     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
205     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
206     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\087\000\
207     \087\000\093\000\000\000\255\255\089\000\095\000\021\000\021\000\
208     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
209     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
210     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
211     \000\000\000\000\000\000\000\000\021\000\000\000\045\000\021\000\
212     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
213     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
214     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
215     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
216     \021\000\021\000\000\000\000\000\000\000\000\000\000\000\000\000\
217     \000\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
218     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
219     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
220     \021\000\021\000\021\000\000\000\000\000\000\000\000\000\021\000\
221     \000\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
222     \021\000\021\000\021\000\021\000\046\000\021\000\021\000\021\000\
223     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
224     \021\000\021\000\021\000\048\000\048\000\000\000\000\000\048\000\
225     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
226     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
227     \000\000\000\000\048\000\255\255\255\255\255\255\096\000\000\000\
228     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
229     \000\000\047\000\021\000\021\000\021\000\021\000\021\000\021\000\
230     \021\000\021\000\021\000\021\000\000\000\000\000\000\000\000\000\
231     \000\000\000\000\000\000\021\000\021\000\021\000\021\000\021\000\
232     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
233     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
234     \021\000\021\000\021\000\021\000\021\000\000\000\000\000\000\000\
235     \097\000\021\000\000\000\021\000\021\000\021\000\021\000\021\000\
236     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
237     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
238     \021\000\021\000\021\000\021\000\021\000\048\000\048\000\000\000\
239     \000\000\048\000\000\000\000\000\000\000\000\000\000\000\000\000\
240     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
241     \000\000\000\000\000\000\000\000\048\000\000\000\000\000\000\000\
242     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
243     \000\000\000\000\000\000\047\000\000\000\000\000\000\000\000\000\
244     \000\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
245     \021\000\021\000\021\000\000\000\000\000\000\000\000\000\000\000\
246     \000\000\000\000\021\000\021\000\021\000\021\000\021\000\021\000\
247     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
248     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
249     \021\000\021\000\021\000\021\000\000\000\050\000\000\000\000\000\
250     \021\000\049\000\021\000\021\000\021\000\070\000\021\000\021\000\
251     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
252     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
253     \021\000\021\000\021\000\021\000\072\000\072\000\000\000\000\000\
254     \072\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
255     \000\000\000\000\000\000\000\000\255\255\000\000\000\000\000\000\
256     \000\000\000\000\000\000\072\000\000\000\000\000\000\000\000\000\
257     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
258     \000\000\000\000\071\000\021\000\021\000\021\000\021\000\021\000\
259     \021\000\021\000\021\000\021\000\021\000\000\000\000\000\000\000\
260     \000\000\000\000\000\000\000\000\021\000\021\000\021\000\021\000\
261     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
262     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
263     \021\000\021\000\021\000\021\000\021\000\021\000\000\000\000\000\
264     \000\000\000\000\021\000\000\000\021\000\021\000\021\000\021\000\
265     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
266     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
267     \021\000\021\000\021\000\021\000\021\000\021\000\072\000\072\000\
268     \000\000\000\000\072\000\000\000\000\000\000\000\000\000\000\000\
269     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
270     \000\000\000\000\000\000\000\000\000\000\072\000\000\000\000\000\
271     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
272     \000\000\000\000\000\000\000\000\071\000\000\000\000\000\000\000\
273     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
274     \000\000\000\000\000\000\000\000\000\000\000\000\074\000\074\000\
275     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
276     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
277     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
278     \000\000\000\000\000\000\000\000\074\000\073\000\074\000\074\000\
279     \074\000\074\000\074\000\077\000\074\000\074\000\076\000\074\000\
280     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
281     \074\000\074\000\074\000\074\000\075\000\074\000\074\000\074\000\
282     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
283     \074\000\074\000\000\000\000\000\000\000\000\000\000\000\000\000\
284     \000\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
285     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
286     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
287     \074\000\074\000\074\000\000\000\000\000\000\000\000\000\074\000\
288     \000\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
289     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
290     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
291     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
292     \074\000\074\000\074\000\074\000\074\000\000\000\000\000\000\000\
293     \000\000\000\000\000\000\000\000\074\000\074\000\074\000\074\000\
294     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
295     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
296     \074\000\074\000\074\000\074\000\074\000\074\000\000\000\000\000\
297     \000\000\000\000\074\000\000\000\074\000\074\000\074\000\074\000\
298     \074\000\074\000\074\000\081\000\074\000\074\000\074\000\074\000\
299     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
300     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
301     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
302     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\074\000\
303     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
304     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
305     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
306     \074\000\000\000\000\000\000\000\000\000\074\000\000\000\074\000\
307     \074\000\074\000\074\000\074\000\080\000\074\000\074\000\074\000\
308     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
309     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
310     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
311     \074\000\074\000\074\000\000\000\000\000\000\000\000\000\000\000\
312     \000\000\000\000\074\000\074\000\074\000\074\000\074\000\074\000\
313     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
314     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
315     \074\000\074\000\074\000\074\000\000\000\000\000\000\000\000\000\
316     \074\000\000\000\074\000\074\000\074\000\074\000\074\000\074\000\
317     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
318     \078\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
319     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
320     \074\000\074\000\074\000\074\000\074\000\074\000\000\000\000\000\
321     \000\000\000\000\000\000\000\000\000\000\074\000\074\000\074\000\
322     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
323     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
324     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\000\000\
325     \000\000\000\000\000\000\074\000\000\000\074\000\074\000\074\000\
326     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
327     \074\000\074\000\074\000\074\000\074\000\074\000\079\000\074\000\
328     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
329     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
330     \074\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
331     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
332     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
333     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
334     \074\000\074\000\000\000\000\000\000\000\000\000\074\000\000\000\
335     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
336     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
337     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
338     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
339     \074\000\074\000\074\000\074\000\000\000\000\000\000\000\000\000\
340     \000\000\000\000\000\000\074\000\074\000\074\000\074\000\074\000\
341     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
342     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
343     \074\000\074\000\074\000\074\000\074\000\000\000\000\000\000\000\
344     \000\000\074\000\000\000\074\000\074\000\074\000\074\000\074\000\
345     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
346     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
347     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
348     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\000\000\
349     \000\000\000\000\000\000\000\000\000\000\000\000\074\000\074\000\
350     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
351     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
352     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
353     \000\000\000\000\000\000\000\000\074\000\000\000\074\000\074\000\
354     \074\000\074\000\083\000\074\000\074\000\074\000\082\000\074\000\
355     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
356     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
357     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
358     \074\000\074\000\000\000\000\000\000\000\000\000\000\000\000\000\
359     \000\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
360     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
361     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
362     \074\000\074\000\074\000\000\000\000\000\000\000\000\000\074\000\
363     \000\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
364     \074\000\074\000\074\000\074\000\085\000\074\000\074\000\074\000\
365     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
366     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
367     \074\000\074\000\074\000\074\000\074\000\000\000\000\000\000\000\
368     \000\000\000\000\000\000\000\000\074\000\074\000\074\000\074\000\
369     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
370     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
371     \074\000\074\000\074\000\074\000\074\000\074\000\000\000\000\000\
372     \000\000\000\000\074\000\000\000\074\000\074\000\074\000\074\000\
373     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
374     \074\000\084\000\074\000\074\000\074\000\074\000\074\000\074\000\
375     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
376     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
377     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\074\000\
378     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
379     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
380     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
381     \074\000\000\000\000\000\000\000\000\000\074\000\000\000\074\000\
382     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
383     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
384     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
385     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
386     \074\000\074\000\074\000\000\000\000\000\000\000\000\000\000\000\
387     \000\000\000\000\074\000\074\000\074\000\074\000\074\000\074\000\
388     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
389     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
390     \074\000\074\000\074\000\074\000\000\000\000\000\000\000\000\000\
391     \074\000\000\000\074\000\074\000\074\000\074\000\086\000\074\000\
392     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
393     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
394     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
395     \074\000\074\000\074\000\074\000\074\000\074\000\000\000\000\000\
396     \000\000\000\000\000\000\000\000\000\000\074\000\074\000\074\000\
397     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
398     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
399     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\000\000\
400     \000\000\000\000\000\000\074\000\000\000\074\000\074\000\074\000\
401     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
402     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
403     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\088\000\
404     \000\000\000\000\094\000\000\000\088\000\000\000\000\000\094\000\
405     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
406     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
407     \000\000\000\000\000\000\098\000\088\000\000\000\000\000\094\000\
408     \098\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
409     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
410     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
411     \098\000\088\000\000\000\000\000\094\000\000\000\088\000\088\000\
412     \000\000\094\000\094\000\088\000\000\000\000\000\094\000\000\000\
413     \000\000\000\000\000\000\088\000\000\000\000\000\094\000\088\000\
414     \000\000\088\000\094\000\088\000\094\000\098\000\094\000\000\000\
415     \000\000\000\000\098\000\098\000\000\000\000\000\000\000\098\000\
416     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\098\000\
417     \000\000\000\000\000\000\098\000\000\000\098\000\000\000\098\000\
418     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
419     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
420     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
421     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
422     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
423     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
424     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
425     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
426     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
427     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
428     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
429     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
430     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
431     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
432     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
433     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
434     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
435     \000\000\000\000";
436   Lexing.lex_check = 
437    "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
438     \255\255\000\000\000\000\255\255\029\000\000\000\255\255\255\255\
439     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
440     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
441     \000\000\255\255\000\000\255\255\255\255\255\255\255\255\066\000\
442     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
443     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
444     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\003\000\
445     \005\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
446     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
447     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
448     \000\000\000\000\000\000\000\000\010\000\000\000\000\000\000\000\
449     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
450     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
451     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
452     \000\000\000\000\000\000\000\000\019\000\000\000\004\000\004\000\
453     \020\000\030\000\049\000\050\000\020\000\051\000\021\000\021\000\
454     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
455     \026\000\047\000\052\000\053\000\054\000\026\000\047\000\021\000\
456     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
457     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
458     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
459     \021\000\055\000\056\000\057\000\059\000\021\000\019\000\021\000\
460     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
461     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
462     \021\000\021\000\021\000\021\000\021\000\021\000\021\000\021\000\
463     \021\000\060\000\022\000\022\000\022\000\022\000\022\000\022\000\
464     \022\000\022\000\022\000\022\000\031\000\061\000\062\000\063\000\
465     \064\000\031\000\255\255\022\000\022\000\022\000\022\000\022\000\
466     \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
467     \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
468     \022\000\022\000\022\000\022\000\022\000\255\255\255\255\255\255\
469     \000\000\022\000\029\000\022\000\022\000\022\000\022\000\022\000\
470     \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
471     \022\000\022\000\022\000\022\000\022\000\022\000\022\000\022\000\
472     \022\000\022\000\022\000\022\000\022\000\066\000\071\000\255\255\
473     \067\000\068\000\090\000\071\000\020\000\091\000\068\000\255\255\
474     \255\255\255\255\023\000\023\000\023\000\023\000\023\000\023\000\
475     \023\000\023\000\023\000\023\000\255\255\255\255\255\255\255\255\
476     \255\255\255\255\255\255\023\000\023\000\023\000\023\000\023\000\
477     \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\
478     \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\
479     \023\000\023\000\023\000\023\000\023\000\255\255\255\255\030\000\
480     \255\255\023\000\019\000\023\000\023\000\023\000\023\000\023\000\
481     \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\
482     \023\000\023\000\023\000\023\000\023\000\023\000\023\000\023\000\
483     \023\000\023\000\023\000\023\000\023\000\024\000\024\000\024\000\
484     \024\000\024\000\024\000\024\000\024\000\024\000\024\000\025\000\
485     \255\255\025\000\025\000\025\000\025\000\025\000\025\000\025\000\
486     \025\000\025\000\025\000\255\255\092\000\255\255\255\255\255\255\
487     \255\255\092\000\034\000\255\255\034\000\255\255\025\000\034\000\
488     \034\000\034\000\034\000\034\000\034\000\034\000\034\000\034\000\
489     \034\000\255\255\035\000\035\000\035\000\035\000\035\000\035\000\
490     \035\000\035\000\035\000\035\000\255\255\255\255\255\255\255\255\
491     \255\255\255\255\031\000\036\000\255\255\036\000\025\000\035\000\
492     \036\000\036\000\036\000\036\000\036\000\036\000\036\000\036\000\
493     \036\000\036\000\037\000\037\000\037\000\037\000\037\000\037\000\
494     \037\000\037\000\037\000\037\000\038\000\038\000\038\000\038\000\
495     \038\000\038\000\038\000\038\000\038\000\038\000\255\255\035\000\
496     \039\000\039\000\039\000\039\000\039\000\039\000\039\000\039\000\
497     \039\000\039\000\040\000\040\000\040\000\040\000\040\000\040\000\
498     \040\000\040\000\040\000\040\000\041\000\041\000\041\000\041\000\
499     \041\000\041\000\041\000\041\000\041\000\041\000\067\000\068\000\
500     \255\255\255\255\255\255\091\000\255\255\041\000\041\000\041\000\
501     \041\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\
502     \041\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\
503     \041\000\041\000\041\000\041\000\041\000\041\000\041\000\255\255\
504     \090\000\255\255\255\255\041\000\255\255\041\000\041\000\041\000\
505     \041\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\
506     \041\000\041\000\041\000\041\000\041\000\041\000\041\000\041\000\
507     \041\000\041\000\041\000\041\000\041\000\041\000\041\000\042\000\
508     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
509     \042\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
510     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
511     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
512     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
513     \042\000\042\000\092\000\255\255\255\255\255\255\042\000\255\255\
514     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
515     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
516     \042\000\042\000\042\000\042\000\042\000\042\000\042\000\042\000\
517     \042\000\042\000\043\000\043\000\043\000\043\000\043\000\043\000\
518     \043\000\043\000\043\000\043\000\255\255\255\255\255\255\255\255\
519     \255\255\255\255\255\255\043\000\043\000\043\000\043\000\043\000\
520     \043\000\043\000\043\000\043\000\043\000\043\000\043\000\043\000\
521     \043\000\043\000\043\000\043\000\043\000\043\000\043\000\043\000\
522     \043\000\043\000\043\000\043\000\043\000\255\255\255\255\255\255\
523     \255\255\043\000\255\255\043\000\043\000\043\000\043\000\043\000\
524     \043\000\043\000\043\000\043\000\043\000\043\000\043\000\043\000\
525     \043\000\043\000\043\000\043\000\043\000\043\000\043\000\043\000\
526     \043\000\043\000\043\000\043\000\043\000\044\000\044\000\044\000\
527     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\073\000\
528     \088\000\094\000\255\255\073\000\088\000\094\000\044\000\044\000\
529     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\
530     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\
531     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\
532     \255\255\255\255\255\255\255\255\044\000\255\255\044\000\044\000\
533     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\
534     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\
535     \044\000\044\000\044\000\044\000\044\000\044\000\044\000\044\000\
536     \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
537     \045\000\045\000\255\255\255\255\255\255\255\255\255\255\255\255\
538     \255\255\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
539     \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
540     \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
541     \045\000\045\000\045\000\255\255\255\255\255\255\255\255\045\000\
542     \255\255\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
543     \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
544     \045\000\045\000\045\000\045\000\045\000\045\000\045\000\045\000\
545     \045\000\045\000\045\000\046\000\046\000\255\255\255\255\046\000\
546     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
547     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
548     \255\255\255\255\046\000\073\000\088\000\094\000\098\000\255\255\
549     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
550     \255\255\046\000\046\000\046\000\046\000\046\000\046\000\046\000\
551     \046\000\046\000\046\000\046\000\255\255\255\255\255\255\255\255\
552     \255\255\255\255\255\255\046\000\046\000\046\000\046\000\046\000\
553     \046\000\046\000\046\000\046\000\046\000\046\000\046\000\046\000\
554     \046\000\046\000\046\000\046\000\046\000\046\000\046\000\046\000\
555     \046\000\046\000\046\000\046\000\046\000\255\255\255\255\255\255\
556     \098\000\046\000\255\255\046\000\046\000\046\000\046\000\046\000\
557     \046\000\046\000\046\000\046\000\046\000\046\000\046\000\046\000\
558     \046\000\046\000\046\000\046\000\046\000\046\000\046\000\046\000\
559     \046\000\046\000\046\000\046\000\046\000\048\000\048\000\255\255\
560     \255\255\048\000\255\255\255\255\255\255\255\255\255\255\255\255\
561     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
562     \255\255\255\255\255\255\255\255\048\000\255\255\255\255\255\255\
563     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
564     \255\255\255\255\255\255\048\000\255\255\255\255\255\255\255\255\
565     \255\255\069\000\069\000\069\000\069\000\069\000\069\000\069\000\
566     \069\000\069\000\069\000\255\255\255\255\255\255\255\255\255\255\
567     \255\255\255\255\069\000\069\000\069\000\069\000\069\000\069\000\
568     \069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\
569     \069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\
570     \069\000\069\000\069\000\069\000\255\255\048\000\255\255\255\255\
571     \069\000\048\000\069\000\069\000\069\000\069\000\069\000\069\000\
572     \069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\
573     \069\000\069\000\069\000\069\000\069\000\069\000\069\000\069\000\
574     \069\000\069\000\069\000\069\000\070\000\070\000\255\255\255\255\
575     \070\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
576     \255\255\255\255\255\255\255\255\098\000\255\255\255\255\255\255\
577     \255\255\255\255\255\255\070\000\255\255\255\255\255\255\255\255\
578     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
579     \255\255\255\255\070\000\070\000\070\000\070\000\070\000\070\000\
580     \070\000\070\000\070\000\070\000\070\000\255\255\255\255\255\255\
581     \255\255\255\255\255\255\255\255\070\000\070\000\070\000\070\000\
582     \070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\
583     \070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\
584     \070\000\070\000\070\000\070\000\070\000\070\000\255\255\255\255\
585     \255\255\255\255\070\000\255\255\070\000\070\000\070\000\070\000\
586     \070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\
587     \070\000\070\000\070\000\070\000\070\000\070\000\070\000\070\000\
588     \070\000\070\000\070\000\070\000\070\000\070\000\072\000\072\000\
589     \255\255\255\255\072\000\255\255\255\255\255\255\255\255\255\255\
590     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
591     \255\255\255\255\255\255\255\255\255\255\072\000\255\255\255\255\
592     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
593     \255\255\255\255\255\255\255\255\072\000\255\255\255\255\255\255\
594     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
595     \255\255\255\255\255\255\255\255\255\255\255\255\072\000\072\000\
596     \072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\
597     \072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\
598     \072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\
599     \255\255\255\255\255\255\255\255\072\000\072\000\072\000\072\000\
600     \072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\
601     \072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\
602     \072\000\072\000\072\000\072\000\072\000\072\000\072\000\072\000\
603     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
604     \074\000\074\000\255\255\255\255\255\255\255\255\255\255\255\255\
605     \255\255\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
606     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
607     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
608     \074\000\074\000\074\000\255\255\255\255\255\255\255\255\074\000\
609     \255\255\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
610     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
611     \074\000\074\000\074\000\074\000\074\000\074\000\074\000\074\000\
612     \074\000\074\000\074\000\075\000\075\000\075\000\075\000\075\000\
613     \075\000\075\000\075\000\075\000\075\000\255\255\255\255\255\255\
614     \255\255\255\255\255\255\255\255\075\000\075\000\075\000\075\000\
615     \075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\
616     \075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\
617     \075\000\075\000\075\000\075\000\075\000\075\000\255\255\255\255\
618     \255\255\255\255\075\000\255\255\075\000\075\000\075\000\075\000\
619     \075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\
620     \075\000\075\000\075\000\075\000\075\000\075\000\075\000\075\000\
621     \075\000\075\000\075\000\075\000\075\000\075\000\076\000\076\000\
622     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
623     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\076\000\
624     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
625     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
626     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
627     \076\000\255\255\255\255\255\255\255\255\076\000\255\255\076\000\
628     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
629     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
630     \076\000\076\000\076\000\076\000\076\000\076\000\076\000\076\000\
631     \076\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\
632     \077\000\077\000\077\000\255\255\255\255\255\255\255\255\255\255\
633     \255\255\255\255\077\000\077\000\077\000\077\000\077\000\077\000\
634     \077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\
635     \077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\
636     \077\000\077\000\077\000\077\000\255\255\255\255\255\255\255\255\
637     \077\000\255\255\077\000\077\000\077\000\077\000\077\000\077\000\
638     \077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\
639     \077\000\077\000\077\000\077\000\077\000\077\000\077\000\077\000\
640     \077\000\077\000\077\000\077\000\078\000\078\000\078\000\078\000\
641     \078\000\078\000\078\000\078\000\078\000\078\000\255\255\255\255\
642     \255\255\255\255\255\255\255\255\255\255\078\000\078\000\078\000\
643     \078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\
644     \078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\
645     \078\000\078\000\078\000\078\000\078\000\078\000\078\000\255\255\
646     \255\255\255\255\255\255\078\000\255\255\078\000\078\000\078\000\
647     \078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\
648     \078\000\078\000\078\000\078\000\078\000\078\000\078\000\078\000\
649     \078\000\078\000\078\000\078\000\078\000\078\000\078\000\079\000\
650     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
651     \079\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
652     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
653     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
654     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
655     \079\000\079\000\255\255\255\255\255\255\255\255\079\000\255\255\
656     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
657     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
658     \079\000\079\000\079\000\079\000\079\000\079\000\079\000\079\000\
659     \079\000\079\000\080\000\080\000\080\000\080\000\080\000\080\000\
660     \080\000\080\000\080\000\080\000\255\255\255\255\255\255\255\255\
661     \255\255\255\255\255\255\080\000\080\000\080\000\080\000\080\000\
662     \080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\
663     \080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\
664     \080\000\080\000\080\000\080\000\080\000\255\255\255\255\255\255\
665     \255\255\080\000\255\255\080\000\080\000\080\000\080\000\080\000\
666     \080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\
667     \080\000\080\000\080\000\080\000\080\000\080\000\080\000\080\000\
668     \080\000\080\000\080\000\080\000\080\000\081\000\081\000\081\000\
669     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\255\255\
670     \255\255\255\255\255\255\255\255\255\255\255\255\081\000\081\000\
671     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\
672     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\
673     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\
674     \255\255\255\255\255\255\255\255\081\000\255\255\081\000\081\000\
675     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\
676     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\
677     \081\000\081\000\081\000\081\000\081\000\081\000\081\000\081\000\
678     \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
679     \082\000\082\000\255\255\255\255\255\255\255\255\255\255\255\255\
680     \255\255\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
681     \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
682     \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
683     \082\000\082\000\082\000\255\255\255\255\255\255\255\255\082\000\
684     \255\255\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
685     \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
686     \082\000\082\000\082\000\082\000\082\000\082\000\082\000\082\000\
687     \082\000\082\000\082\000\083\000\083\000\083\000\083\000\083\000\
688     \083\000\083\000\083\000\083\000\083\000\255\255\255\255\255\255\
689     \255\255\255\255\255\255\255\255\083\000\083\000\083\000\083\000\
690     \083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\
691     \083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\
692     \083\000\083\000\083\000\083\000\083\000\083\000\255\255\255\255\
693     \255\255\255\255\083\000\255\255\083\000\083\000\083\000\083\000\
694     \083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\
695     \083\000\083\000\083\000\083\000\083\000\083\000\083\000\083\000\
696     \083\000\083\000\083\000\083\000\083\000\083\000\084\000\084\000\
697     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
698     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\084\000\
699     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
700     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
701     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
702     \084\000\255\255\255\255\255\255\255\255\084\000\255\255\084\000\
703     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
704     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
705     \084\000\084\000\084\000\084\000\084\000\084\000\084\000\084\000\
706     \084\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\
707     \085\000\085\000\085\000\255\255\255\255\255\255\255\255\255\255\
708     \255\255\255\255\085\000\085\000\085\000\085\000\085\000\085\000\
709     \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\
710     \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\
711     \085\000\085\000\085\000\085\000\255\255\255\255\255\255\255\255\
712     \085\000\255\255\085\000\085\000\085\000\085\000\085\000\085\000\
713     \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\
714     \085\000\085\000\085\000\085\000\085\000\085\000\085\000\085\000\
715     \085\000\085\000\085\000\085\000\086\000\086\000\086\000\086\000\
716     \086\000\086\000\086\000\086\000\086\000\086\000\255\255\255\255\
717     \255\255\255\255\255\255\255\255\255\255\086\000\086\000\086\000\
718     \086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\
719     \086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\
720     \086\000\086\000\086\000\086\000\086\000\086\000\086\000\255\255\
721     \255\255\255\255\255\255\086\000\255\255\086\000\086\000\086\000\
722     \086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\
723     \086\000\086\000\086\000\086\000\086\000\086\000\086\000\086\000\
724     \086\000\086\000\086\000\086\000\086\000\086\000\086\000\087\000\
725     \255\255\255\255\093\000\255\255\087\000\255\255\255\255\093\000\
726     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
727     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
728     \255\255\255\255\255\255\097\000\087\000\255\255\255\255\093\000\
729     \097\000\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
730     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
731     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
732     \097\000\087\000\255\255\255\255\093\000\255\255\087\000\087\000\
733     \255\255\093\000\093\000\087\000\255\255\255\255\093\000\255\255\
734     \255\255\255\255\255\255\087\000\255\255\255\255\093\000\087\000\
735     \255\255\087\000\093\000\087\000\093\000\097\000\093\000\255\255\
736     \255\255\255\255\097\000\097\000\255\255\255\255\255\255\097\000\
737     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\097\000\
738     \255\255\255\255\255\255\097\000\255\255\097\000\255\255\097\000\
739     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
740     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
741     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
742     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
743     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
744     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
745     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
746     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
747     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
748     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
749     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
750     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
751     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
752     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
753     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
754     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
755     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
756     \255\255\255\255";
757   Lexing.lex_base_code = 
758    "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
759     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
760     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
761     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
762     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
763     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
764     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
765     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
766     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
767     \002\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
768     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
769     \000\000\004\000\004\000\000\000\000\000\000\000\000\000\000\000\
770     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
771     ";
772   Lexing.lex_backtrk_code = 
773    "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
774     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
775     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
776     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
777     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
778     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
779     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
780     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
781     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
782     \000\000\000\000\004\000\004\000\004\000\004\000\004\000\000\000\
783     \000\000\004\000\004\000\004\000\000\000\004\000\000\000\000\000\
784     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
785     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
786     ";
787   Lexing.lex_default_code = 
788    "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
789     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
790     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
791     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
792     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
793     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
794     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
795     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
796     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
797     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
798     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
799     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
800     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
801     ";
802   Lexing.lex_trans_code = 
803    "\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
804     \000\000\001\000\001\000\001\000\001\000\001\000\001\000\001\000\
805     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
806     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
807     \001\000\000\000\001\000\000\000\000\000\000\000\000\000\000\000\
808     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\001\000\
809     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
810     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
811     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
812     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
813     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
814     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
815     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
816     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
817     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
818     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
819     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
820     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
821     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
822     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
823     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
824     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
825     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
826     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
827     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
828     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
829     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
830     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
831     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
832     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
833     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
834     \000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
835     \000\000\000\000\000\000\000\000\000\000";
836   Lexing.lex_check_code = 
837    "\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
838     \255\255\070\000\070\000\072\000\072\000\070\000\090\000\072\000\
839     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
840     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
841     \070\000\255\255\072\000\255\255\255\255\255\255\255\255\255\255\
842     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\092\000\
843     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
844     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
845     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
846     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
847     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
848     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
849     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
850     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
851     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
852     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
853     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
854     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
855     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
856     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
857     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
858     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
859     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
860     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
861     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
862     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
863     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
864     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
865     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
866     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
867     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
868     \255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\255\
869     \255\255\255\255\255\255\255\255\255\255";
870   Lexing.lex_code = 
871    "\255\001\255\255\000\001\255";
872 }
873
874 let rec token lexbuf =
875   lexbuf.Lexing.lex_mem <- Array.create 2 (-1) ;   __ocaml_lex_token_rec lexbuf 0
876 and __ocaml_lex_token_rec lexbuf __ocaml_lex_state =
877   match Lexing.new_engine __ocaml_lex_tables __ocaml_lex_state lexbuf with
878       | 0 ->
879 # 122 "lexer.mll"
880               ( token lexbuf )
881 # 882 "lexer.ml"
882
883   | 1 ->
884 # 125 "lexer.mll"
885               ( token lexbuf )
886 # 887 "lexer.ml"
887
888   | 2 ->
889 # 129 "lexer.mll"
890               ( token lexbuf )
891 # 892 "lexer.ml"
892
893   | 3 ->
894 # 132 "lexer.mll"
895               ( token lexbuf )
896 # 897 "lexer.ml"
897
898   | 4 ->
899 let
900 # 134 "lexer.mll"
901                         lxm
902 # 903 "lexer.ml"
903 = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
904 # 135 "lexer.mll"
905               ( UNSIGNED_INTEGER lxm )
906 # 907 "lexer.ml"
907
908   | 5 ->
909 let
910 # 137 "lexer.mll"
911                      lxm
912 # 913 "lexer.ml"
913 = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
914 # 138 "lexer.mll"
915               ( UNSIGNED_REAL lxm )
916 # 917 "lexer.ml"
917
918   | 6 ->
919 # 141 "lexer.mll"
920               ( INITIAL_ALGORITHM )
921 # 922 "lexer.ml"
922
923   | 7 ->
924 # 144 "lexer.mll"
925               ( INITIAL_EQUATION )
926 # 927 "lexer.ml"
927
928   | 8 ->
929 # 147 "lexer.mll"
930               ( END_FOR )
931 # 932 "lexer.ml"
932
933   | 9 ->
934 # 150 "lexer.mll"
935               ( END_IF )
936 # 937 "lexer.ml"
937
938   | 10 ->
939 # 153 "lexer.mll"
940               ( END_WHEN )
941 # 942 "lexer.ml"
942
943   | 11 ->
944 # 156 "lexer.mll"
945               ( END_WHILE )
946 # 947 "lexer.ml"
947
948   | 12 ->
949 let
950 # 158 "lexer.mll"
951                                lxm
952 # 953 "lexer.ml"
953 = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_mem.(0) lexbuf.Lexing.lex_curr_pos in
954 # 159 "lexer.mll"
955               ( END_IDENT lxm )
956 # 957 "lexer.ml"
957
958   | 13 ->
959 let
960 # 161 "lexer.mll"
961              lxm
962 # 963 "lexer.ml"
963 = Lexing.sub_lexeme lexbuf lexbuf.Lexing.lex_start_pos lexbuf.Lexing.lex_curr_pos in
964 # 162 "lexer.mll"
965               ( check_reserved lxm )
966 # 967 "lexer.ml"
967
968   | 14 ->
969 let
970 # 164 "lexer.mll"
971                                 lxm
972 # 973 "lexer.ml"
973 = Lexing.sub_lexeme lexbuf (lexbuf.Lexing.lex_start_pos + 1) (lexbuf.Lexing.lex_curr_pos + -1) in
974 # 165 "lexer.mll"
975               ( STRING lxm )
976 # 977 "lexer.ml"
977
978   | 15 ->
979 # 167 "lexer.mll"
980               ( LP )
981 # 982 "lexer.ml"
982
983   | 16 ->
984 # 168 "lexer.mll"
985               ( RP )
986 # 987 "lexer.ml"
987
988   | 17 ->
989 # 169 "lexer.mll"
990               ( LSB )
991 # 992 "lexer.ml"
992
993   | 18 ->
994 # 170 "lexer.mll"
995               ( RSB )
996 # 997 "lexer.ml"
997
998   | 19 ->
999 # 171 "lexer.mll"
1000               ( LCB )
1001 # 1002 "lexer.ml"
1002
1003   | 20 ->
1004 # 172 "lexer.mll"
1005               ( RCB )
1006 # 1007 "lexer.ml"
1007
1008   | 21 ->
1009 # 174 "lexer.mll"
1010               ( DOT )
1011 # 1012 "lexer.ml"
1012
1013   | 22 ->
1014 # 175 "lexer.mll"
1015               ( CM )
1016 # 1017 "lexer.ml"
1017
1018   | 23 ->
1019 # 176 "lexer.mll"
1020               ( SC )
1021 # 1022 "lexer.ml"
1022
1023   | 24 ->
1024 # 177 "lexer.mll"
1025               ( CL )
1026 # 1027 "lexer.ml"
1027
1028   | 25 ->
1029 # 179 "lexer.mll"
1030               ( PLUS )
1031 # 1032 "lexer.ml"
1032
1033   | 26 ->
1034 # 180 "lexer.mll"
1035               ( MINUS )
1036 # 1037 "lexer.ml"
1037
1038   | 27 ->
1039 # 181 "lexer.mll"
1040               ( STAR )
1041 # 1042 "lexer.ml"
1042
1043   | 28 ->
1044 # 182 "lexer.mll"
1045               ( SLASH )
1046 # 1047 "lexer.ml"
1047
1048   | 29 ->
1049 # 183 "lexer.mll"
1050               ( EXP )
1051 # 1052 "lexer.ml"
1052
1053   | 30 ->
1054 # 185 "lexer.mll"
1055               ( EQ )
1056 # 1057 "lexer.ml"
1057
1058   | 31 ->
1059 # 186 "lexer.mll"
1060               ( COLEQ )
1061 # 1062 "lexer.ml"
1062
1063   | 32 ->
1064 # 188 "lexer.mll"
1065               ( LT )
1066 # 1067 "lexer.ml"
1067
1068   | 33 ->
1069 # 189 "lexer.mll"
1070               ( GT )
1071 # 1072 "lexer.ml"
1072
1073   | 34 ->
1074 # 190 "lexer.mll"
1075               ( LE )
1076 # 1077 "lexer.ml"
1077
1078   | 35 ->
1079 # 191 "lexer.mll"
1080               ( GE )
1081 # 1082 "lexer.ml"
1082
1083   | 36 ->
1084 # 192 "lexer.mll"
1085               ( EE )
1086 # 1087 "lexer.ml"
1087
1088   | 37 ->
1089 # 193 "lexer.mll"
1090               ( NE )
1091 # 1092 "lexer.ml"
1092
1093   | 38 ->
1094 # 195 "lexer.mll"
1095               ( EOF )
1096 # 1097 "lexer.ml"
1097
1098   | 39 ->
1099 # 197 "lexer.mll"
1100               ( raise (SyntacticError
1101                   {err_msg = ["_IllegalCharacter"];
1102                    err_info = [];
1103                    err_ctx =
1104                      {location = {start = Lexing.lexeme_start lexbuf;
1105                                   enddd = Lexing.lexeme_end lexbuf;
1106                                   filename = !inputfile}}}) )
1107 # 1108 "lexer.ml"
1108
1109   | __ocaml_lex_state -> lexbuf.Lexing.refill_buff lexbuf; __ocaml_lex_token_rec lexbuf __ocaml_lex_state
1110
1111 ;;
1112