- private static final int STATE_COUNT = 353;
- private static final int TERMINAL_COUNT = 84;
- private static final int NONTERMINAL_COUNT = 51;
- private static final int PRODUCT_COUNT = 134;
+ private static final int STATE_COUNT = 362;
+ private static final int TERMINAL_COUNT = 86;
+ private static final int NONTERMINAL_COUNT = 52;
+ private static final int PRODUCT_COUNT = 138;