#define YEOF 0
#define YACTIONS 257
#define YAND 258
#define YATTRIBUTE 259
#define YAX 260
#define YAXIOM 261
#define YBEGIN 262
#define YCOLLECTION 263
#define YCOMPONENTS 264
#define YDATAFLOW 265
#define YDEFINE 266
#define YELSE 267
#define YEND 268
#define YEQ 269
#define YEQUATIONS 270
#define YEXISTS 271
#define YEXPORT 272
#define YFORALL 273
#define YFOREACH 274
#define YFROM 275
#define YFUNC 276
#define YFUNCTION 277
#define YIF 278
#define YIFF 279
#define YIMPLIES 280
#define YIMPORT 281
#define YIN 282
#define YINHERITS 283
#define YINPUTS 284
#define YIS 285
#define YISA 286
#define YLAMBDA 287
#define YLET 288
#define YLIST 289
#define YMOD 290
#define YMODULE 291
#define YNOT 292
#define YOBJ 293
#define YOBJECT 294
#define YOF 295
#define YOP 296
#define YOPERATION 297
#define YOPERATIONS 298
#define YOPS 299
#define YOR 300
#define YOUT 301
#define YOUTPUTS 302
#define YPARTS 303
#define YPOST 304
#define YPOSTCONDITION 305
#define YPRE 306
#define YPRECONDITION 307
#define YRETURN 308
#define YRULE 309
#define YTHEN 310
#define YTHEOREM 311
#define YTHM 312
#define YVAL 313
#define YVALUE 314
#define YVAR 315
#define YVARIABLE 316
#define YWHERE 317
#define YWHILE 318
#define YXOR 319
#define YCONST 320
#define YARRAY 321
#define YRECORD 322
#define YASSMNT 323
#define YATTRSELECT 324
#define YCHKINSTANCE 325
#define YEQEQ 326
#define YGEQ 327
#define YGETINSTANCE 328
#define YLEQ 329
#define YNEQ 330
#define YRETRACT 331
#define YRTARROW 332
#define Yident 333
#define Yattr 334
#define Yinteger 335
#define Yoctal 336
#define Yhex 337
#define Yreal 338
#define Ynumber 339
#define Ychar 340
#define Ystring 341
#define Ytext 342
#define Ysymlit 343
#define Ynil 344
#define YDOTDOT 345
#define YDIV 346
#define YUNYPLUS 347
#define YUNYMINUS 348