PageRenderTime 61ms CodeModel.GetById 27ms RepoModel.GetById 0ms app.codeStats 0ms

/lib/Opt/Expression/Standard/Parser.php

https://github.com/OPL/Open-Power-Template
PHP | 2197 lines | 1925 code | 42 blank | 230 comment | 127 complexity | 1c2135a585b523a3e02127adf35a807f MD5 | raw file

Large files files are truncated, but you can click here to view the full file

    

  1. <?php

    2. 

  2. /*
    3. 

  3.  *  OPEN POWER LIBS <http://www.invenzzia.org>
    4. 

  4.  *
    5. 

  5.  * This file is subject to the new BSD license that is bundled
    6. 

  6.  * with this package in the file LICENSE. It is also available through
    7. 

  7.  * WWW at this URL: <http://www.invenzzia.org/license/new-bsd>
    8. 

  8.  *
    9. 

  9.  * Copyright (c) Invenzzia Group <http://www.invenzzia.org>
    10. 

  10.  * and other contributors. See website for details.
    11. 

  11.  *
    12. 

  12.  */
    13. 

  13. 

  14. /**
    15. 

  15.  * The expression parser for OPT. Note: do not edit this file
    16. 

  16.  * manually. It was generated by PHP Parser Generator by Gregory Beaver.
    17. 

  17.  * Instead, use the file /tools/lexer/expression_parser.y and parse
    18. 

  18.  * it with /tools/lexer/generateExpression.php.
    19. 

  19.  */
    20. 

  20. class Opt_Expression_Standard_yyToken implements ArrayAccess
    21. 

  21. {
    22. 

  22.     public $string = '';
    23. 

  23.     public $metadata = array();
    24. 

  24. 

  25.     function __construct($s, $m = array())
    26. 

  26.     {
    27. 

  27.         if ($s instanceof Opt_Expression_Standard_yyToken) {
    28. 

  28.             $this->string = $s->string;
    29. 

  29.             $this->metadata = $s->metadata;
    30. 

  30.         } else {
    31. 

  31.             $this->string = (string) $s;
    32. 

  32.             if ($m instanceof Opt_Expression_Standard_yyToken) {
    33. 

  33.                 $this->metadata = $m->metadata;
    34. 

  34.             } elseif (is_array($m)) {
    35. 

  35.                 $this->metadata = $m;
    36. 

  36.             }
    37. 

  37.         }
    38. 

  38.     }
    39. 

  39. 

  40.     function __toString()
    41. 

  41.     {
    42. 

  42.         return $this->_string;
    43. 

  43.     }
    44. 

  44. 

  45.     function offsetExists($offset)
    46. 

  46.     {
    47. 

  47.         return isset($this->metadata[$offset]);
    48. 

  48.     }
    49. 

  49. 

  50.     function offsetGet($offset)
    51. 

  51.     {
    52. 

  52.         return $this->metadata[$offset];
    53. 

  53.     }
    54. 

  54. 

  55.     function offsetSet($offset, $value)
    56. 

  56.     {
    57. 

  57.         if ($offset === null) {
    58. 

  58.             if (isset($value[0])) {
    59. 

  59.                 $x = ($value instanceof Opt_Expression_Standard_yyToken) ?
    60. 

  60.                     $value->metadata : $value;
    61. 

  61.                 $this->metadata = array_merge($this->metadata, $x);
    62. 

  62.                 return;
    63. 

  63.             }
    64. 

  64.             $offset = count($this->metadata);
    65. 

  65.         }
    66. 

  66.         if ($value === null) {
    67. 

  67.             return;
    68. 

  68.         }
    69. 

  69.         if ($value instanceof Opt_Expression_Standard_yyToken) {
    70. 

  70.             if ($value->metadata) {
    71. 

  71.                 $this->metadata[$offset] = $value->metadata;
    72. 

  72.             }
    73. 

  73.         } elseif ($value) {
    74. 

  74.             $this->metadata[$offset] = $value;
    75. 

  75.         }
    76. 

  76.     }
    77. 

  77. 

  78.     function offsetUnset($offset)
    79. 

  79.     {
    80. 

  80.         unset($this->metadata[$offset]);
    81. 

  81.     }
    82. 

  82. }
    83. 

  83. 

  84. class Opt_Expression_Standard_yyStackEntry
    85. 

  85. {
    86. 

  86.     public $stateno;       /* The state-number */
    87. 

  87.     public $major;         /* The major token value.  This is the code
    88. 

  88.                      ** number for the token at this stack level */
    89. 

  89.     public $minor; /* The user-supplied minor token value.  This
    90. 

  90.                      ** is the value of the token  */
    91. 

  91. };
    92. 

  92. 

  93. 

  94. #line 3 "expression_parser.y"
    95. 

  95. class Opt_Expression_Standard_Parser#line 79 "expression_parser.php"
    96. 

  96. {
    97. 

  97. #line 6 "expression_parser.y"
    98. 

  98. 

  99. 	/**
    100. 

  100. 	 * The expression engine object.
    101. 

  101. 	 * @var Opt_Expression_Standard
    102. 

  102. 	 */
    103. 

  103. 	private $_expr;
    104. 

  104. 

  105. 	/**
    106. 

  106. 	 * Constructs the expression parser.
    107. 

  107. 	 *
    108. 

  108. 	 * @param Opt_Expression_Standard $expr The expression engine used for parsing.
    109. 

  109. 	 */
    110. 

  110. 	public function __construct(Opt_Expression_Standard $expr)
    111. 

  111. 	{
    112. 

  112. 		$this->_expr = $expr;
    113. 

  113. 	} // end __construct();
    114. 

  114. #line 99 "expression_parser.php"
    115. 

  115. 

  116.     const T_AND                            =  1;
    117. 

  117.     const T_OR                             =  2;
    118. 

  118.     const T_XOR                            =  3;
    119. 

  119.     const T_EQUALS                         =  4;
    120. 

  120.     const T_EQUALS_T                       =  5;
    121. 

  121.     const T_NEQUALS                        =  6;
    122. 

  122.     const T_NEQUALS_T                      =  7;
    123. 

  123.     const T_GT                             =  8;
    124. 

  124.     const T_GTE                            =  9;
    125. 

  125.     const T_LT                             = 10;
    126. 

  126.     const T_LTE                            = 11;
    127. 

  127.     const T_IS_BETWEEN                     = 12;
    128. 

  128.     const T_IS_NOT_BETWEEN                 = 13;
    129. 

  129.     const T_IS_EITHER                      = 14;
    130. 

  130.     const T_IS_NEITHER                     = 15;
    131. 

  131.     const T_CONTAINS                       = 16;
    132. 

  132.     const T_CONTAINS_EITHER                = 17;
    133. 

  133.     const T_CONTAINS_NEITHER               = 18;
    134. 

  134.     const T_CONTAINS_BOTH                  = 19;
    135. 

  135.     const T_IS_IN                          = 20;
    136. 

  136.     const T_IS_NOT_IN                      = 21;
    137. 

  137.     const T_IS_IN_EITHER                   = 22;
    138. 

  138.     const T_IS_IN_NEITHER                  = 23;
    139. 

  139.     const T_IS_IN_BOTH                     = 24;
    140. 

  140.     const T_ASSIGN                         = 25;
    141. 

  141.     const T_ADD                            = 26;
    142. 

  142.     const T_SUB                            = 27;
    143. 

  143.     const T_MINUS                          = 28;
    144. 

  144.     const T_CONCAT                         = 29;
    145. 

  145.     const T_MUL                            = 30;
    146. 

  146.     const T_DIV                            = 31;
    147. 

  147.     const T_MOD                            = 32;
    148. 

  148.     const T_COLON                          = 33;
    149. 

  149.     const T_EXP                            = 34;
    150. 

  150.     const T_NOT                            = 35;
    151. 

  151.     const T_INCREMENT                      = 36;
    152. 

  152.     const T_DECREMENT                      = 37;
    153. 

  153.     const T_NOR                            = 38;
    154. 

  154.     const T_IS_EITHER_IN                   = 39;
    155. 

  155.     const T_IS_NEITHER_IN                  = 40;
    156. 

  156.     const T_IS_BOTH_IN                     = 41;
    157. 

  157.     const T_L_BRACKET                      = 42;
    158. 

  158.     const T_R_BRACKET                      = 43;
    159. 

  159.     const T_IS                             = 44;
    160. 

  160.     const T_EXISTS                         = 45;
    161. 

  161.     const T_CLONE                          = 46;
    162. 

  162.     const T_BACKTICK_STRING                = 47;
    163. 

  163.     const T_NULL                           = 48;
    164. 

  164.     const T_STRING                         = 49;
    165. 

  165.     const T_IDENTIFIER                     = 50;
    166. 

  166.     const T_NUMBER                         = 51;
    167. 

  167.     const T_TRUE                           = 52;
    168. 

  168.     const T_FALSE                          = 53;
    169. 

  169.     const T_COMMA                          = 54;
    170. 

  170.     const T_LSQ_BRACKET                    = 55;
    171. 

  171.     const T_RSQ_BRACKET                    = 56;
    172. 

  172.     const T_DOLLAR                         = 57;
    173. 

  173.     const T_AT                             = 58;
    174. 

  174.     const T_DOT                            = 59;
    175. 

  175.     const T_OBJECT_OPERATOR                = 60;
    176. 

  176.     const T_NEW                            = 61;
    177. 

  177.     const YY_NO_ACTION = 322;
    178. 

  178.     const YY_ACCEPT_ACTION = 321;
    179. 

  179.     const YY_ERROR_ACTION = 320;
    180. 

  180. 

  181.     const YY_SZ_ACTTAB = 2931;
    182. 

  182. static public $yy_action = array(
    183. 

  183.  /*     0 */    56,   44,   46,   37,   39,   47,   55,   54,   49,   52,
    184. 

  184.  /*    10 */    36,    9,   29,   33,   21,   15,   16,   19,    6,   25,
    185. 

  185.  /*    20 */    30,  190,   63,  179,   63,   17,   50,   58,   13,   48,
    186. 

  186.  /*    30 */    41,   43,   45,   42,  202,   63,    1,    1,   26,   22,
    187. 

  187.  /*    40 */    34,   48,   41,   43,   57,   42,  129,  168,   70,   67,
    188. 

  188.  /*    50 */    26,   22,   34,    4,   68,   56,   44,   46,   37,   39,
    189. 

  189.  /*    60 */    47,   55,   54,   49,   52,   36,    9,   29,   33,   21,
    190. 

  190.  /*    70 */    15,   16,   19,    6,   25,   30,   69,    5,  141,    3,
    191. 

  191.  /*    80 */    17,   50,   58,   13,   48,   41,   43,   14,   42,  157,
    192. 

  192.  /*    90 */   138,   53,   65,   26,   22,   34,   64,  185,  197,   56,
    193. 

  193.  /*   100 */    44,   46,   37,   39,   47,   55,   54,   49,   52,   36,
    194. 

  194.  /*   110 */     9,   29,   33,   21,   15,   16,   19,    6,   25,   30,
    195. 

  195.  /*   120 */   169,   66,  165,  147,   17,   50,   58,   13,   48,   41,
    196. 

  196.  /*   130 */    43,    7,   42,  171,  156,  144,  158,   26,   22,   34,
    197. 

  197.  /*   140 */   137,   42,  183,  186,  160,  130,   26,   22,   34,  194,
    198. 

  198.  /*   150 */    51,  163,  153,  143,  182,  198,   56,   44,   46,   37,
    199. 

  199.  /*   160 */    39,   47,   55,   54,   49,   52,   36,    9,   29,   33,
    200. 

  200.  /*   170 */    21,   15,   16,   19,    6,   25,   30,  152,  148,  146,
    201. 

  201.  /*   180 */   208,   17,   50,   58,   13,   48,   41,   43,  188,   42,
    202. 

  202.  /*   190 */   178,  196,  159,   24,   26,   22,   34,   56,   44,   46,
    203. 

  203.  /*   200 */    37,   39,   47,   55,   54,   49,   52,   36,    9,   29,
    204. 

  204.  /*   210 */    33,   21,   15,   16,   19,    6,   25,   30,  203,  203,
    205. 

  205.  /*   220 */   203,  203,   17,   50,   58,   13,   48,   41,   43,  203,
    206. 

  206.  /*   230 */    42,  203,  203,  203,  203,   26,   22,   34,  203,  173,
    207. 

  207.  /*   240 */   203,   56,   44,   46,   37,   39,   47,   55,   54,   49,
    208. 

  208.  /*   250 */    52,   36,    9,   29,   33,   21,   15,   16,   19,    6,
    209. 

  209.  /*   260 */    25,   30,  203,  203,  203,  203,   17,   50,   58,   13,
    210. 

  210.  /*   270 */    48,   41,   43,  203,   42,  203,  203,  203,   28,   26,
    211. 

  211.  /*   280 */    22,   34,   56,   44,   46,   37,   39,   47,   55,   54,
    212. 

  212.  /*   290 */    49,   52,   36,    9,   29,   33,   21,   15,   16,   19,
    213. 

  213.  /*   300 */     6,   25,   30,  203,  203,  203,  203,   17,   50,   58,
    214. 

  214.  /*   310 */    13,   48,   41,   43,   45,   42,  203,  203,  203,  203,
    215. 

  215.  /*   320 */    26,   22,   34,   56,   44,   46,   37,   39,   47,   55,
    216. 

  216.  /*   330 */    54,   49,   52,   36,    9,   29,   33,   21,   15,   16,
    217. 

  217.  /*   340 */    19,    6,   25,   30,  203,  203,  203,  203,   17,   50,
    218. 

  218.  /*   350 */    58,   13,   48,   41,   43,  203,   42,  203,  203,  203,
    219. 

  219.  /*   360 */    11,   26,   22,   34,   56,   44,   46,   37,   39,   47,
    220. 

  220.  /*   370 */    55,   54,   49,   52,   36,    9,   29,   33,   21,   15,
    221. 

  221.  /*   380 */    16,   19,    6,   25,   30,  203,  203,  203,  203,   17,
    222. 

  222.  /*   390 */    50,   58,   13,   48,   41,   43,  203,   42,  203,   40,
    223. 

  223.  /*   400 */   203,  203,   26,   22,   34,  203,  203,  191,  203,  203,
    224. 

  224.  /*   410 */   203,  203,  203,  203,  203,  203,  203,    4,  203,   56,
    225. 

  225.  /*   420 */    44,   46,   37,   39,   47,   55,   54,   49,   52,   36,
    226. 

  226.  /*   430 */     9,   29,   33,   21,   15,   16,   19,    6,   25,   30,
    227. 

  227.  /*   440 */   203,  203,  203,  203,   17,   50,   58,   13,   48,   41,
    228. 

  228.  /*   450 */    43,  203,   42,  203,  203,  203,  203,   26,   22,   34,
    229. 

  229.  /*   460 */   203,  203,  203,  203,  203,  203,  203,  203,  203,  203,
    230. 

  230.  /*   470 */   203,  203,  203,  203,  180,  203,   56,   44,   46,   37,
    231. 

  231.  /*   480 */    39,   47,   55,   54,   49,   52,   36,    9,   29,   33,
    232. 

  232.  /*   490 */    21,   15,   16,   19,    6,   25,   30,  203,  203,  203,
    233. 

  233.  /*   500 */   203,   17,   50,   58,   13,   48,   41,   43,  203,   42,
    234. 

  234.  /*   510 */   203,  203,  203,  203,   26,   22,   34,  203,  203,  203,
    235. 

  235.  /*   520 */   203,  203,  203,  203,  203,  203,  203,  203,  203,  203,
    236. 

  236.  /*   530 */   203,  162,  203,   56,   23,   46,   37,   39,   47,   55,
    237. 

  237.  /*   540 */    54,   49,   52,   36,    9,   29,   33,   21,   15,   16,
    238. 

  238.  /*   550 */    19,    6,   25,   30,  203,  203,  203,  203,   17,   50,
    239. 

  239.  /*   560 */    58,   13,   48,   41,   43,  203,   42,  203,  203,  203,
    240. 

  240.  /*   570 */   203,   26,   22,   34,  217,  217,   46,   37,   39,   47,
    241. 

  241.  /*   580 */    55,   54,   49,   52,   36,    9,   29,   33,   21,   15,
    242. 

  242.  /*   590 */    16,   19,    6,   25,   30,  203,  203,  203,  203,   17,
    243. 

  243.  /*   600 */    50,   58,   13,   48,   41,   43,  203,   42,  203,  203,
    244. 

  244.  /*   610 */   203,  203,   26,   22,   34,   56,   12,   46,   37,   39,
    245. 

  245.  /*   620 */    47,   55,   54,   49,   52,   36,    9,   29,   33,   21,
    246. 

  246.  /*   630 */    15,   16,   19,    6,   25,   30,  203,  203,  203,  203,
    247. 

  247.  /*   640 */    17,   50,   58,   13,   48,   41,   43,  203,   42,  203,
    248. 

  248.  /*   650 */   203,  203,  203,   26,   22,   34,   56,   27,   46,   37,
    249. 

  249.  /*   660 */    39,   47,   55,   54,   49,   52,   36,    9,   29,   33,
    250. 

  250.  /*   670 */    21,   15,   16,   19,    6,   25,   30,  203,  203,  203,
    251. 

  251.  /*   680 */   203,   17,   50,   58,   13,   48,   41,   43,  203,   42,
    252. 

  252.  /*   690 */   203,  203,  203,  203,   26,   22,   34,   56,   44,   46,
    253. 

  253.  /*   700 */    37,   39,   47,   55,   54,   49,   52,   36,    9,   29,
    254. 

  254.  /*   710 */    33,   21,   15,   16,   19,    6,   25,   30,  203,  203,
    255. 

  255.  /*   720 */   203,  203,   17,   50,   58,   13,   48,   41,   43,  203,
    256. 

  256.  /*   730 */    42,  203,  203,  203,  203,   26,   22,   34,   35,   44,
    257. 

  257.  /*   740 */    46,   37,   39,   47,   55,   54,   49,   52,   36,    9,
    258. 

  258.  /*   750 */    29,   33,   21,   15,   16,   19,    6,   25,   30,  203,
    259. 

  259.  /*   760 */   203,  203,  203,   17,   50,   58,   13,   48,   41,   43,
    260. 

  260.  /*   770 */   203,   42,  203,  203,  203,  203,   26,   22,   34,    8,
    261. 

  261.  /*   780 */    44,   46,   37,   39,   47,   55,   54,   49,   52,   36,
    262. 

  262.  /*   790 */     9,   29,   33,   21,   15,   16,   19,    6,   25,   30,
    263. 

  263.  /*   800 */   203,  203,  203,  203,   17,   50,   58,   13,   48,   41,
    264. 

  264.  /*   810 */    43,  203,   42,  203,  203,  203,  203,   26,   22,   34,
    265. 

  265.  /*   820 */   216,   44,   46,   37,   39,   47,   55,   54,   49,   52,
    266. 

  266.  /*   830 */    36,    9,   29,   33,   21,   15,   16,   19,    6,   25,
    267. 

  267.  /*   840 */    30,  203,  203,  203,  203,   17,   50,   58,   13,   48,
    268. 

  268.  /*   850 */    41,   43,  203,   42,  203,  203,  203,  203,   26,   22,
    269. 

  269.  /*   860 */    34,   31,   44,   46,   37,   39,   47,   55,   54,   49,
    270. 

  270.  /*   870 */    52,   36,    9,   29,   33,   21,   15,   16,   19,    6,
    271. 

  271.  /*   880 */    25,   30,  203,  203,  203,  203,   17,   50,   58,   13,
    272. 

  272.  /*   890 */    48,   41,   43,  203,   42,  203,  203,  203,  203,   26,
    273. 

  273.  /*   900 */    22,   34,   32,   44,   46,   37,   39,   47,   55,   54,
    274. 

  274.  /*   910 */    49,   52,   36,    9,   29,   33,   21,   15,   16,   19,
    275. 

  275.  /*   920 */     6,   25,   30,  203,  203,  203,  203,   17,   50,   58,
    276. 

  276.  /*   930 */    13,   48,   41,   43,  203,   42,  203,  203,  203,  203,
    277. 

  277.  /*   940 */    26,   22,   34,   44,   46,   37,   39,   47,   55,   54,
    278. 

  278.  /*   950 */    49,   52,   36,    9,   29,   33,   21,   15,   16,   19,
    279. 

  279.  /*   960 */     6,   25,   30,  203,  203,  203,  203,   17,   50,   58,
    280. 

  280.  /*   970 */    13,   48,   41,   43,  203,   42,  203,  203,  203,  203,
    281. 

  281.  /*   980 */    26,   22,   34,  203,   46,   37,   39,   47,   55,   54,
    282. 

  282.  /*   990 */    49,   52,   36,    9,   29,   33,   21,   15,   16,   19,
    283. 

  283.  /*  1000 */     6,   25,   30,  203,  203,  203,  203,   17,   50,   58,
    284. 

  284.  /*  1010 */    13,   48,   41,   43,  203,   42,  203,  203,  203,  203,
    285. 

  285.  /*  1020 */    26,   22,   34,  203,  203,   37,   39,   47,   55,   54,
    286. 

  286.  /*  1030 */    49,   52,   36,    9,   29,   33,   21,   15,   16,   19,
    287. 

  287.  /*  1040 */     6,   25,   30,  203,  203,  203,  203,   17,   50,   58,
    288. 

  288.  /*  1050 */    13,   48,   41,   43,  203,   42,  203,  203,  203,  203,
    289. 

  289.  /*  1060 */    26,   22,   34,  203,   54,   49,   52,   36,    9,   29,
    290. 

  290.  /*  1070 */    33,   21,   15,   16,   19,    6,   25,   30,  203,  203,
    291. 

  291.  /*  1080 */   203,  203,   17,   50,   58,   13,   48,   41,   43,  203,
    292. 

  292.  /*  1090 */    42,  203,  203,  203,  203,   26,   22,   34,   71,  184,
    293. 

  293.  /*  1100 */   123,  181,  176,  175,  174,  177,  131,  132,  134,   62,
    294. 

  294.  /*  1110 */    61,  201,  204,  205,  206,  145,  151,  135,  203,  203,
    295. 

  295.  /*  1120 */   203,  149,  150,  172,  203,   76,  184,  123,  181,  176,
    296. 

  296.  /*  1130 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    297. 

  297.  /*  1140 */   205,  206,  203,  170,  135,  203,  203,  203,  149,  150,
    298. 

  298.  /*  1150 */   172,   76,  184,  123,  181,  176,  175,  174,  177,  131,
    299. 

  299.  /*  1160 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  142,
    300. 

  300.  /*  1170 */   135,  203,  203,  203,  149,  150,  172,    9,   29,   33,
    301. 

  301.  /*  1180 */    21,   15,   16,   19,    6,   25,   30,  203,  203,  203,
    302. 

  302.  /*  1190 */   203,   17,   50,   58,   13,   48,   41,   43,  203,   42,
    303. 

  303.  /*  1200 */   203,  203,  203,  203,   26,   22,   34,  203,   72,  184,
    304. 

  304.  /*  1210 */   123,  181,  176,  175,  174,  177,  131,  132,  134,   62,
    305. 

  305.  /*  1220 */    61,  201,  204,  205,  206,  139,  203,  203,  203,  203,
    306. 

  306.  /*  1230 */   203,  149,  150,  172,   72,  184,  123,  181,  176,  175,
    307. 

  307.  /*  1240 */   174,  177,  131,  132,  134,   62,   61,  201,  204,  205,
    308. 

  308.  /*  1250 */   206,  166,  203,  203,  203,  203,  203,  149,  150,  172,
    309. 

  309.  /*  1260 */   321,   89,  184,  123,  181,  176,  175,  174,  177,  131,
    310. 

  310.  /*  1270 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    311. 

  311.  /*  1280 */   203,  203,  203,  203,  149,  150,  172,   84,  184,  123,
    312. 

  312.  /*  1290 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    313. 

  313.  /*  1300 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    314. 

  314.  /*  1310 */   149,  150,  172,  121,  184,  123,  181,  176,  175,  174,
    315. 

  315.  /*  1320 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    316. 

  316.  /*  1330 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  104,
    317. 

  317.  /*  1340 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    318. 

  318.  /*  1350 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    319. 

  319.  /*  1360 */   203,  203,  149,  150,  172,   99,  184,  123,  181,  176,
    320. 

  320.  /*  1370 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    321. 

  321.  /*  1380 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    322. 

  322.  /*  1390 */   172,  126,  184,  123,  181,  176,  175,  174,  177,  131,
    323. 

  323.  /*  1400 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    324. 

  324.  /*  1410 */   203,  203,  203,  203,  149,  150,  172,  105,  184,  123,
    325. 

  325.  /*  1420 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    326. 

  326.  /*  1430 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    327. 

  327.  /*  1440 */   149,  150,  172,   75,  184,  123,  181,  176,  175,  174,
    328. 

  328.  /*  1450 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    329. 

  329.  /*  1460 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  100,
    330. 

  330.  /*  1470 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    331. 

  331.  /*  1480 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    332. 

  332.  /*  1490 */   203,  203,  149,  150,  172,  125,  184,  123,  181,  176,
    333. 

  333.  /*  1500 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    334. 

  334.  /*  1510 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    335. 

  335.  /*  1520 */   172,   77,  184,  123,  181,  176,  175,  174,  177,  131,
    336. 

  336.  /*  1530 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    337. 

  337.  /*  1540 */   203,  203,  203,  203,  149,  150,  172,  101,  184,  123,
    338. 

  338.  /*  1550 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    339. 

  339.  /*  1560 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    340. 

  340.  /*  1570 */   149,  150,  172,  124,  184,  123,  181,  176,  175,  174,
    341. 

  341.  /*  1580 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    342. 

  342.  /*  1590 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  127,
    343. 

  343.  /*  1600 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    344. 

  344.  /*  1610 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    345. 

  345.  /*  1620 */   203,  203,  149,  150,  172,   98,  184,  123,  181,  176,
    346. 

  346.  /*  1630 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    347. 

  347.  /*  1640 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    348. 

  348.  /*  1650 */   172,   85,  184,  123,  181,  176,  175,  174,  177,  131,
    349. 

  349.  /*  1660 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    350. 

  350.  /*  1670 */   203,  203,  203,  203,  149,  150,  172,   97,  184,  123,
    351. 

  351.  /*  1680 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    352. 

  352.  /*  1690 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    353. 

  353.  /*  1700 */   149,  150,  172,   96,  184,  123,  181,  176,  175,  174,
    354. 

  354.  /*  1710 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    355. 

  355.  /*  1720 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  120,
    356. 

  356.  /*  1730 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    357. 

  357.  /*  1740 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    358. 

  358.  /*  1750 */   203,  203,  149,  150,  172,   86,  184,  123,  181,  176,
    359. 

  359.  /*  1760 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    360. 

  360.  /*  1770 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    361. 

  361.  /*  1780 */   172,  111,  184,  123,  181,  176,  175,  174,  177,  131,
    362. 

  362.  /*  1790 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    363. 

  363.  /*  1800 */   203,  203,  203,  203,  149,  150,  172,  119,  184,  123,
    364. 

  364.  /*  1810 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    365. 

  365.  /*  1820 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    366. 

  366.  /*  1830 */   149,  150,  172,  113,  184,  123,  181,  176,  175,  174,
    367. 

  367.  /*  1840 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    368. 

  368.  /*  1850 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  114,
    369. 

  369.  /*  1860 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    370. 

  370.  /*  1870 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    371. 

  371.  /*  1880 */   203,  203,  149,  150,  172,   79,  184,  123,  181,  176,
    372. 

  372.  /*  1890 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    373. 

  373.  /*  1900 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    374. 

  374.  /*  1910 */   172,  118,  184,  123,  181,  176,  175,  174,  177,  131,
    375. 

  375.  /*  1920 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    376. 

  376.  /*  1930 */   203,  203,  203,  203,  149,  150,  172,   78,  184,  123,
    377. 

  377.  /*  1940 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    378. 

  378.  /*  1950 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    379. 

  379.  /*  1960 */   149,  150,  172,  122,  184,  123,  181,  176,  175,  174,
    380. 

  380.  /*  1970 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    381. 

  381.  /*  1980 */   203,  203,  203,  203,  203,  203,  149,  150,  172,   73,
    382. 

  382.  /*  1990 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    383. 

  383.  /*  2000 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    384. 

  384.  /*  2010 */   203,  203,  149,  150,  172,   82,  184,  123,  181,  176,
    385. 

  385.  /*  2020 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    386. 

  386.  /*  2030 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    387. 

  387.  /*  2040 */   172,   90,  184,  123,  181,  176,  175,  174,  177,  131,
    388. 

  388.  /*  2050 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    389. 

  389.  /*  2060 */   203,  203,  203,  203,  149,  150,  172,  115,  184,  123,
    390. 

  390.  /*  2070 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    391. 

  391.  /*  2080 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    392. 

  392.  /*  2090 */   149,  150,  172,   91,  184,  123,  181,  176,  175,  174,
    393. 

  393.  /*  2100 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    394. 

  394.  /*  2110 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  112,
    395. 

  395.  /*  2120 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    396. 

  396.  /*  2130 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    397. 

  397.  /*  2140 */   203,  203,  149,  150,  172,   74,  184,  123,  181,  176,
    398. 

  398.  /*  2150 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    399. 

  399.  /*  2160 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    400. 

  400.  /*  2170 */   172,  103,  184,  123,  181,  176,  175,  174,  177,  131,
    401. 

  401.  /*  2180 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    402. 

  402.  /*  2190 */   203,  203,  203,  203,  149,  150,  172,  107,  184,  123,
    403. 

  403.  /*  2200 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    404. 

  404.  /*  2210 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    405. 

  405.  /*  2220 */   149,  150,  172,   95,  184,  123,  181,  176,  175,  174,
    406. 

  406.  /*  2230 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    407. 

  407.  /*  2240 */   203,  203,  203,  203,  203,  203,  149,  150,  172,   88,
    408. 

  408.  /*  2250 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    409. 

  409.  /*  2260 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    410. 

  410.  /*  2270 */   203,  203,  149,  150,  172,   83,  184,  123,  181,  176,
    411. 

  411.  /*  2280 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    412. 

  412.  /*  2290 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    413. 

  413.  /*  2300 */   172,   93,  184,  123,  181,  176,  175,  174,  177,  131,
    414. 

  414.  /*  2310 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    415. 

  415.  /*  2320 */   203,  203,  203,  203,  149,  150,  172,  116,  184,  123,
    416. 

  416.  /*  2330 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    417. 

  417.  /*  2340 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    418. 

  418.  /*  2350 */   149,  150,  172,  117,  184,  123,  181,  176,  175,  174,
    419. 

  419.  /*  2360 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    420. 

  420.  /*  2370 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  109,
    421. 

  421.  /*  2380 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    422. 

  422.  /*  2390 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    423. 

  423.  /*  2400 */   203,  203,  149,  150,  172,   94,  184,  123,  181,  176,
    424. 

  424.  /*  2410 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    425. 

  425.  /*  2420 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    426. 

  426.  /*  2430 */   172,   92,  184,  123,  181,  176,  175,  174,  177,  131,
    427. 

  427.  /*  2440 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    428. 

  428.  /*  2450 */   203,  203,  203,  203,  149,  150,  172,   87,  184,  123,
    429. 

  429.  /*  2460 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    430. 

  430.  /*  2470 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    431. 

  431.  /*  2480 */   149,  150,  172,   80,  184,  123,  181,  176,  175,  174,
    432. 

  432.  /*  2490 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    433. 

  433.  /*  2500 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  110,
    434. 

  434.  /*  2510 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    435. 

  435.  /*  2520 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    436. 

  436.  /*  2530 */   203,  203,  149,  150,  172,  106,  184,  123,  181,  176,
    437. 

  437.  /*  2540 */   175,  174,  177,  131,  132,  134,   62,   61,  201,  204,
    438. 

  438.  /*  2550 */   205,  206,  203,  203,  203,  203,  203,  203,  149,  150,
    439. 

  439.  /*  2560 */   172,  108,  184,  123,  181,  176,  175,  174,  177,  131,
    440. 

  440.  /*  2570 */   132,  134,   62,   61,  201,  204,  205,  206,  203,  203,
    441. 

  441.  /*  2580 */   203,  203,  203,  203,  149,  150,  172,  102,  184,  123,
    442. 

  442.  /*  2590 */   181,  176,  175,  174,  177,  131,  132,  134,   62,   61,
    443. 

  443.  /*  2600 */   201,  204,  205,  206,  203,  203,  203,  203,  203,  203,
    444. 

  444.  /*  2610 */   149,  150,  172,   81,  184,  123,  181,  176,  175,  174,
    445. 

  445.  /*  2620 */   177,  131,  132,  134,   62,   61,  201,  204,  205,  206,
    446. 

  446.  /*  2630 */   203,  203,  203,  203,  203,  203,  149,  150,  172,  128,
    447. 

  447.  /*  2640 */   184,  123,  181,  176,  175,  174,  177,  131,  132,  134,
    448. 

  448.  /*  2650 */    62,   61,  201,  204,  205,  206,  203,  203,  203,  203,
    449. 

  449.  /*  2660 */   203,  203,  149,  150,  172,   33,   21,   15,   16,   19,
    450. 

  450.  /*  2670 */     6,   25,   30,  203,  203,  203,  203,   17,   50,   58,
    451. 

  451.  /*  2680 */    13,   48,   41,   43,  203,   42,  203,  203,  203,  203,
    452. 

  452.  /*  2690 */    26,   22,   34,   18,  203,  203,  203,  203,  203,  203,
    453. 

  453.  /*  2700 */    20,   60,   59,  203,  203,  203,  203,   10,  203,  203,
    454. 

  454.  /*  2710 */   203,   38,  207,  200,  199,  133,  193,  192,  195,  203,
    455. 

  455.  /*  2720 */     2,  167,  136,  143,  203,  203,  140,  203,  203,   18,
    456. 

  456.  /*  2730 */   203,  203,  203,  203,  203,  203,   20,   60,   59,  203,
    457. 

  457.  /*  2740 */   203,  203,  203,   10,  161,  203,  203,   38,  207,  200,
    458. 

  458.  /*  2750 */   199,  133,  193,  192,  195,  203,    2,  203,  136,  143,
    459. 

  459.  /*  2760 */   203,  203,  140,  203,  203,   18,  203,  203,  203,  203,
    460. 

  460.  /*  2770 */   203,  203,   20,   60,   59,  203,  203,  203,  203,   10,
    461. 

  461.  /*  2780 */   203,  203,  203,   38,  207,  200,  199,  133,  193,  192,
    462. 

  462.  /*  2790 */   195,  203,    2,  203,  136,  143,  203,  203,  140,  203,
    463. 

  463.  /*  2800 */   203,   18,  203,  203,  203,  203,  203,  203,   20,   60,
    464. 

  464.  /*  2810 */    59,  203,  203,  203,  203,   10,  203,  203,  203,   38,
    465. 

  465.  /*  2820 */   207,  200,  199,  133,  164,  192,  195,  203,    2,  203,
    466. 

  466.  /*  2830 */   136,  143,  203,  203,  140,  203,   15,   16,   19,    6,
    467. 

  467.  /*  2840 */    25,   30,  203,  203,  203,  203,   17,   50,   58,   13,
    468. 

  468.  /*  2850 */    48,   41,   43,  203,   42,  203,  203,   25,   30,   26,
    469. 

  469.  /*  2860 */    22,   34,  203,   17,   50,   58,   13,   48,   41,   43,
    470. 

  470.  /*  2870 */   203,   42,  203,  203,  203,  203,   26,   22,   34,   17,
    471. 

  471.  /*  2880 */    50,   58,   13,   48,   41,   43,  203,   42,  203,  187,
    472. 

  472.  /*  2890 */   203,  203,   26,   22,   34,  131,  132,  134,   62,   61,
    473. 

  473.  /*  2900 */   201,  203,  203,  203,  203,  203,  203,  189,  203,  203,
    474. 

  474.  /*  2910 */   154,  155,  172,  131,  132,  134,   62,   61,  201,  203,
    475. 

  475.  /*  2920 */   203,  203,  203,  203,  203,  203,  203,  203,  154,  155,
    476. 

  476.  /*  2930 */   172,
    477. 

  477.     );
    478. 

  478.     static public $yy_lookahead = array(
    479. 

  479.  /*     0 */     1,    2,    3,    4,    5,    6,    7,    8,    9,   10,
    480. 

  480.  /*    10 */    11,   12,   13,   14,   15,   16,   17,   18,   19,   20,
    481. 

  481.  /*    20 */    21,   85,   86,   85,   86,   26,   27,   28,   29,   30,
    482. 

  482.  /*    30 */    31,   32,   33,   34,   85,   86,   42,   42,   39,   40,
    483. 

  483.  /*    40 */    41,   30,   31,   32,   55,   34,   59,   43,   60,   60,
    484. 

  484.  /*    50 */    39,   40,   41,   54,   60,    1,    2,    3,    4,    5,
    485. 

  485.  /*    60 */     6,    7,    8,    9,   10,   11,   12,   13,   14,   15,
    486. 

  486.  /*    70 */    16,   17,   18,   19,   20,   21,   60,   42,   50,   54,
    487. 

  487.  /*    80 */    26,   27,   28,   29,   30,   31,   32,   55,   34,   50,
    488. 

  488.  /*    90 */    50,   55,   60,   39,   40,   41,   60,   43,   50,    1,
    489. 

  489.  /*   100 */     2,    3,    4,    5,    6,    7,    8,    9,   10,   11,
    490. 

  490.  /*   110 */    12,   13,   14,   15,   16,   17,   18,   19,   20,   21,
    491. 

  491.  /*   120 */    56,   58,   43,   50,   26,   27,   28,   29,   30,   31,
    492. 

  492.  /*   130 */    32,   25,   34,   50,   84,   50,   89,   39,   40,   41,
    493. 

  493.  /*   140 */    50,   34,   36,   37,   89,   50,   39,   40,   41,   89,
    494. 

  494.  /*   150 */    44,   45,   57,   58,   56,   50,    1,    2,    3,    4,
    495. 

  495.  /*   160 */     5,    6,    7,    8,    9,   10,   11,   12,   13,   14,
    496. 

  496.  /*   170 */    15,   16,   17,   18,   19,   20,   21,   59,   50,   50,
    497. 

  497.  /*   180 */    89,   26,   27,   28,   29,   30,   31,   32,   89,   34,
    498. 

  498.  /*   190 */    89,   50,   43,   38,   39,   40,   41,    1,    2,    3,
    499. 

  499.  /*   200 */     4,    5,    6,    7,    8,    9,   10,   11,   12,   13,
    500. 

  500.  /*   210 */    14,   15,   16,   17,   18,   19,   20,   21,   90,   90,
    501. 

  501.  /*   220 */    90,   90,   26,   27,   28,   29,   30,   31,   32,   90,
    502. 

  502.  /*   230 */    34,   90,   90,   90,   90,   39,   40,   41,   90,   43,
    503. 

  503.  /*   240 */    90,    1,    2,    3,    4,    5,    6,    7,    8,    9,
    504. 

  504.  /*   250 */    10,   11,   12,   13,   14,   15,   16,   17,   18,   19,
    505. 

  505.  /*   260 */    20,   21,   90,   90,   90,   90,   26,   27,   28,   29,
    506. 

  506.  /*   270 */    30,   31,   32,   90,   34,   90,   90,   90,   38,   39,
    507. 

  507.  /*   280 */    40,   41,    1,    2,    3,    4,    5,    6,    7,    8,
    508. 

  508.  /*   290 */     9,   10,   11,   12,   13,   14,   15,   16,   17,   18,
    509. 

  509.  /*   300 */    19,   20,   21,   90,   90,   90,   90,   26,   27,   28,
    510. 

  510.  /*   310 */    29,   30,   31,   32,   33,   34,   90,   90,   90,   90,
    511. 

  511.  /*   320 */    39,   40,   41,    1,    2,    3,    4,    5,    6,    7,
    512. 

  512.  /*   330 */     8,    9,   10,   11,   12,   13,   14,   15,   16,   17,
    513. 

  513.  /*   340 */    18,   19,   20,   21,   90,   90,   90,   90,   26,   27,
    514. 

  514.  /*   350 */    28,   29,   30,   31,   32,   90,   34,   90,   90,   90,
    515. 

  515.  /*   360 */    38,   39,   40,   41,    1,    2,    3,    4,    5,    6,
    516. 

  516.  /*   370 */     7,    8,    9,   10,   11,   12,   13,   14,   15,   16,
    517. 

  517.  /*   380 */    17,   18,   19,   20,   21,   90,   90,   90,   90,   26,
    518. 

  518.  /*   390 */    27,   28,   29,   30,   31,   32,   90,   34,   90,   42,
    519. 

  519.  /*   400 */    90,   90,   39,   40,   41,   90,   90,   50,   51,   90,
    520. 

  520.  /*   410 */    90,   90,   90,   90,   90,   90,   90,   54,   90,    1,
    521. 

  521.  /*   420 */     2,    3,    4,    5,    6,    7,    8,    9,   10,   11,
    522. 

  522.  /*   430 */    12,   13,   14,   15,   16,   17,   18,   19,   20,   21,
    523. 

  523.  /*   440 */    90,   90,   90,   90,   26,   27,   28,   29,   30,   31,
    524. 

  524.  /*   450 */    32,   90,   34,   90,   90,   90,   90,   39,   40,   41,
    525. 

  525.  /*   460 */    90,   90,   90,   90,   90,   90,   90,   90,   90,   90,
    526. 

  526.  /*   470 */    90,   90,   90,   90,   56,   90,    1,    2,    3,    4,
    527. 

  527.  /*   480 */     5,    6,    7,    8,    9,   10,   11,   12,   13,   14,
    528. 

  528.  /*   490 */    15,   16,   17,   18,   19,   20,   21,   90,   90,   90,
    529. 

  529.  /*   500 */    90,   26,   27,   28,   29,   30,   31,   32,   90,   34,
    530. 

  530.  /*   510 */    90,   90,   90,   90,   39,   40,   41,   90,   90,   90,
    531. 

  531.  /*   520 */    90,   90,   90,   90,   90,   90,   90,   90,   90,   90,
    532. 

  532.  /*   530 */    90,   56,   90,    1,    2,    3,    4,    5,    6,    7,
    533. 

  533.  /*   540 */     8,    9,   10,   11,   12,   13,   14,   15,   16,   17,
    534. 

  534.  /*   550 */    18,   19,   20,   21,   90,   90,   90,   90,   26,   27,
    535. 

  535.  /*   560 */    28,   29,   30,   31,   32,   90,   34,   90,   90,   90,
    536. 

  536.  /*   570 */    90,   39,   40,   41,    1,    2,    3,    4,    5,    6,
    537. 

  537.  /*   580 */     7,    8,    9,   10,   11,   12,   13,   14,   15,   16,
    538. 

  538.  /*   590 */    17,   18,   19,   20,   21,   90,   90,   90,   90,   26,
    539. 

  539.  /*   600 */    27,   28,   29,   30,   31,   32,   90,   34,   90,   90,
    540. 

  540.  /*   610 */    90,   90,   39,   40,   41,    1,    2,    3,    4,    5,
    541. 

  541.  /*   620 */     6,    7,    8,    9,   10,   11,   12,   13,   14,   15,
    542. 

  542.  /*   630 */    16,   17,   18,   19,   20,   21,   90,   90,   90,   90,
    543. 

  543.  /*   640 */    26,   27,   28,   29,   30,   31,   32,   90,   34,   90,
    544. 

  544.  /*   650 */    90,   90,   90,   39,   40,   41,    1,    2,    3,    4,
    545. 

  545.  /*   660 */     5,    6,    7,    8,    9,   10,   11,   12,   13,   14,
    546. 

  546.  /*   670 */    15,   16,   17,   18,   19,   20,   21,   90,   90,   90,
    547. 

  547.  /*   680 */    90,   26,   27,   28,   29,   30,   31,   32,   90,   34,
    548. 

  548.  /*   690 */    90,   90,   90,   90,   39,   40,   41,    1,    2,    3,
    549. 

  549.  /*   700 */     4,    5,    6,    7,    8,    9,   10,   11,   12,   13,
    550. 

  550.  /*   710 */    14,   15,   16,   17,   18,   19,   20,   21,   90,   90,
    551. 

  551.  /*   720 */    90,   90,   26,   27,   28,   29,   30,   31,   32,   90,
    552. 

  552.  /*   730 */    34,   90,   90,   90,   90,   39,   40,   41,    1,    2,
    553. 

  553.  /*   740 */     3,    4,    5,    6,    7,    8,    9,   10,   11,   12,
    554. 

  554.  /*   750 */    13,   14,   15,   16,   17,   18,   19,   20,   21,   90,
    555. 

  555.  /*   760 */    90,   90,   90,   26,   27,   28,   29,   30,   31,   32,
    556. 

  556.  /*   770 */    90,   34,   90,   90,   90,   90,   39,   40,   41,    1,
    557. 

  557.  /*   780 */     2,    3,    4,    5,    6,    7,    8,    9,   10,   11,
    558. 

  558.  /*   790 */    12,   13,   14,   15,   16,   17,   18,   19,   20,   21,
    559. 

  559.  /*   800 */    90,   90,   90,   90,   26,   27,   28,   29,   30,   31,
    560. 

  560.  /*   810 */    32,   90,   34,   90,   90,   90,   90,   39,   40,   41,
    561. 

  561.  /*   820 */     1,    2,    3,    4,    5,    6,    7,    8,    9,   10,
    562. 

  562.  /*   830 */    11,   12,   13,   14,   15,   16,   17,   18,   19,   20,
    563. 

  563.  /*   840 */    21,   90,   90,   90,   90,   26,   27,   28,   29,   30,
    564. 

  564.  /*   850 */    31,   32,   90,   34,   90,   90,   90,   90,   39,   40,
    565. 

  565.  /*   860 */    41,    1,    2,    3,    4,    5,    6,    7,    8,    9,
    566. 

  566.  /*   870 */    10,   11,   12,   13,   14,   15,   16,   17,   18,   19,
    567. 

  567.  /*   880 */    20,   21,   90,   90,   90,   90,   26,   27,   28,   29,
    568. 

  568.  /*   890 */    30,   31,   32,   90,   34,   90,   90,   90,   90,   39,
    569. 

  569.  /*   900 */    40,   41,    1,    2,    3,    4,    5,    6,    7,    8,
    570. 

  570.  /*   910 */     9,   10,   11,   12,   13,   14,   15,   16,   17,   18,
    571. 

  571.  /*   920 */    19,   20,   21,   90,   90,   90,   90,   26,   27,   28,
    572. 

  572.  /*   930 */    29,   30,   31,   32,   90,   34,   90,   90,   90,   90,
    573. 

  573.  /*   940 */    39,   40,   41,    2,    3,    4,    5,    6,    7,    8,
    574. 

  574.  /*   950 */     9,   10,   11,   12,   13,   14,   15,   16,   17,   18,
    575. 

  575.  /*   960 */    19,   20,   21,   90,   90,   90,   90,   26,   27,   28,
    576. 

  576.  /*   970 */    29,   30,   31,   32,   90,   34,   90,   90,   90,   90,
    577. 

  577.  /*   980 */    39,   40,   41,   90,    3,    4,    5,    6,    7,    8,
    578. 

  578.  /*   990 */     9,   10,   11,   12,   13,   14,   15,   16,   17,   18,
    579. 

  579.  /*  1000 */    19,   20,   21,   90,   90,   90,   90,   26,   27,   28,
    580. 

  580.  /*  1010 */    29,   30,   31,   32,   90,   34,   90,   90,   90,   90,
    581. 

  581.  /*  1020 */    39,   40,   41,   90,   90,    4,    5,    6,    7,    8,
    582. 

  582.  /*  1030 */     9,   10,   11,   12,   13,   14,   15,   16,   17,   18,
    583. 

  583.  /*  1040 */    19,   20,   21,   90,   90,   90,   90,   26,   27,   28,
    584. 

  584.  /*  1050 */    29,   30,   31,   32,   90,   34,   90,   90,   90,   90,
    585. 

  585.  /*  1060 */    39,   40,   41,   90,    8,    9,   10,   11,   12,   13,
    586. 

  586.  /*  1070 */    14,   15,   16,   17,   18,   19,   20,   21,   90,   90,
    587. 

  587.  /*  1080 */    90,   90,   26,   27,   28,   29,   30,   31,   32,   90,
    588. 

  588.  /*  1090 */    34,   90,   90,   90,   90,   39,   40,   41,   64,   65,
    589. 

  589.  /*  1100 */    66,   67,   68,   69,   70,   71,   72,   73,   74,   75,
    590. 

  590.  /*  1110 */    76,   77,   78,   79,   80,   81,   82,   83,   90,   90,
    591. 

  591.  /*  1120 */    90,   87,   88,   89,   90,   64,   65,   66,   67,   68,
    592. 

  592.  /*  1130 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    593. 

  593.  /*  1140 */    79,   80,   90,   82,   83,   90,   90,   90,   87,   88,
    594. 

  594.  /*  1150 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    595. 

  595.  /*  1160 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   82,
    596. 

  596.  /*  1170 */    83,   90,   90,   90,   87,   88,   89,   12,   13,   14,
    597. 

  597.  /*  1180 */    15,   16,   17,   18,   19,   20,   21,   90,   90,   90,
    598. 

  598.  /*  1190 */    90,   26,   27,   28,   29,   30,   31,   32,   90,   34,
    599. 

  599.  /*  1200 */    90,   90,   90,   90,   39,   40,   41,   90,   64,   65,
    600. 

  600.  /*  1210 */    66,   67,   68,   69,   70,   71,   72,   73,   74,   75,
    601. 

  601.  /*  1220 */    76,   77,   78,   79,   80,   81,   90,   90,   90,   90,
    602. 

  602.  /*  1230 */    90,   87,   88,   89,   64,   65,   66,   67,   68,   69,
    603. 

  603.  /*  1240 */    70,   71,   72,   73,   74,   75,   76,   77,   78,   79,
    604. 

  604.  /*  1250 */    80,   81,   90,   90,   90,   90,   90,   87,   88,   89,
    605. 

  605.  /*  1260 */    63,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    606. 

  606.  /*  1270 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    607. 

  607.  /*  1280 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    608. 

  608.  /*  1290 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    609. 

  609.  /*  1300 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    610. 

  610.  /*  1310 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    611. 

  611.  /*  1320 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    612. 

  612.  /*  1330 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    613. 

  613.  /*  1340 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    614. 

  614.  /*  1350 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    615. 

  615.  /*  1360 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    616. 

  616.  /*  1370 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    617. 

  617.  /*  1380 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    618. 

  618.  /*  1390 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    619. 

  619.  /*  1400 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    620. 

  620.  /*  1410 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    621. 

  621.  /*  1420 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    622. 

  622.  /*  1430 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    623. 

  623.  /*  1440 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    624. 

  624.  /*  1450 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    625. 

  625.  /*  1460 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    626. 

  626.  /*  1470 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    627. 

  627.  /*  1480 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    628. 

  628.  /*  1490 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    629. 

  629.  /*  1500 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    630. 

  630.  /*  1510 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    631. 

  631.  /*  1520 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    632. 

  632.  /*  1530 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    633. 

  633.  /*  1540 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    634. 

  634.  /*  1550 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    635. 

  635.  /*  1560 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    636. 

  636.  /*  1570 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    637. 

  637.  /*  1580 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    638. 

  638.  /*  1590 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    639. 

  639.  /*  1600 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    640. 

  640.  /*  1610 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    641. 

  641.  /*  1620 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    642. 

  642.  /*  1630 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    643. 

  643.  /*  1640 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    644. 

  644.  /*  1650 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    645. 

  645.  /*  1660 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    646. 

  646.  /*  1670 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    647. 

  647.  /*  1680 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    648. 

  648.  /*  1690 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    649. 

  649.  /*  1700 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    650. 

  650.  /*  1710 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    651. 

  651.  /*  1720 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    652. 

  652.  /*  1730 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    653. 

  653.  /*  1740 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    654. 

  654.  /*  1750 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    655. 

  655.  /*  1760 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    656. 

  656.  /*  1770 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    657. 

  657.  /*  1780 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    658. 

  658.  /*  1790 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    659. 

  659.  /*  1800 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    660. 

  660.  /*  1810 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    661. 

  661.  /*  1820 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    662. 

  662.  /*  1830 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    663. 

  663.  /*  1840 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    664. 

  664.  /*  1850 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    665. 

  665.  /*  1860 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    666. 

  666.  /*  1870 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    667. 

  667.  /*  1880 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    668. 

  668.  /*  1890 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    669. 

  669.  /*  1900 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    670. 

  670.  /*  1910 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    671. 

  671.  /*  1920 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    672. 

  672.  /*  1930 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    673. 

  673.  /*  1940 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    674. 

  674.  /*  1950 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    675. 

  675.  /*  1960 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    676. 

  676.  /*  1970 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    677. 

  677.  /*  1980 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    678. 

  678.  /*  1990 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    679. 

  679.  /*  2000 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    680. 

  680.  /*  2010 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    681. 

  681.  /*  2020 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    682. 

  682.  /*  2030 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    683. 

  683.  /*  2040 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    684. 

  684.  /*  2050 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    685. 

  685.  /*  2060 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    686. 

  686.  /*  2070 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    687. 

  687.  /*  2080 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    688. 

  688.  /*  2090 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    689. 

  689.  /*  2100 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    690. 

  690.  /*  2110 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    691. 

  691.  /*  2120 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    692. 

  692.  /*  2130 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    693. 

  693.  /*  2140 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    694. 

  694.  /*  2150 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    695. 

  695.  /*  2160 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    696. 

  696.  /*  2170 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    697. 

  697.  /*  2180 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    698. 

  698.  /*  2190 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    699. 

  699.  /*  2200 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    700. 

  700.  /*  2210 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    701. 

  701.  /*  2220 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    702. 

  702.  /*  2230 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    703. 

  703.  /*  2240 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    704. 

  704.  /*  2250 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    705. 

  705.  /*  2260 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    706. 

  706.  /*  2270 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    707. 

  707.  /*  2280 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    708. 

  708.  /*  2290 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    709. 

  709.  /*  2300 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    710. 

  710.  /*  2310 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    711. 

  711.  /*  2320 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    712. 

  712.  /*  2330 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    713. 

  713.  /*  2340 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    714. 

  714.  /*  2350 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    715. 

  715.  /*  2360 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    716. 

  716.  /*  2370 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    717. 

  717.  /*  2380 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    718. 

  718.  /*  2390 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    719. 

  719.  /*  2400 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    720. 

  720.  /*  2410 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    721. 

  721.  /*  2420 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    722. 

  722.  /*  2430 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    723. 

  723.  /*  2440 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    724. 

  724.  /*  2450 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    725. 

  725.  /*  2460 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    726. 

  726.  /*  2470 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    727. 

  727.  /*  2480 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    728. 

  728.  /*  2490 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    729. 

  729.  /*  2500 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    730. 

  730.  /*  2510 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    731. 

  731.  /*  2520 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    732. 

  732.  /*  2530 */    90,   90,   87,   88,   89,   64,   65,   66,   67,   68,
    733. 

  733.  /*  2540 */    69,   70,   71,   72,   73,   74,   75,   76,   77,   78,
    734. 

  734.  /*  2550 */    79,   80,   90,   90,   90,   90,   90,   90,   87,   88,
    735. 

  735.  /*  2560 */    89,   64,   65,   66,   67,   68,   69,   70,   71,   72,
    736. 

  736.  /*  2570 */    73,   74,   75,   76,   77,   78,   79,   80,   90,   90,
    737. 

  737.  /*  2580 */    90,   90,   90,   90,   87,   88,   89,   64,   65,   66,
    738. 

  738.  /*  2590 */    67,   68,   69,   70,   71,   72,   73,   74,   75,   76,
    739. 

  739.  /*  2600 */    77,   78,   79,   80,   90,   90,   90,   90,   90,   90,
    740. 

  740.  /*  2610 */    87,   88,   89,   64,   65,   66,   67,   68,   69,   70,
    741. 

  741.  /*  2620 */    71,   72,   73,   74,   75,   76,   77,   78,   79,   80,
    742. 

  742.  /*  2630 */    90,   90,   90,   90,   90,   90,   87,   88,   89,   64,
    743. 

  743.  /*  2640 */    65,   66,   67,   68,   69,   70,   71,   72,   73,   74,
    744. 

  744.  /*  2650 */    75,   76,   77,   78,   79,   80,   90,   90,   90,   90,
    745. 

  745.  /*  2660 */    90,   90,   87,   88,   89,   14,   15,   16,   17,   18,
    746. 

  746.  /*  2670 */    19,   20,   21,   90,   90,   90,   90,   26,   27,   28,
    747. 

  747.  /*  2680 */    29,   30,   31,   32,   90,   34,   90,   90,   90,   90,
    748. 

  748.  /*  2690 */    39,   40,   41,   28,   90,   90,   90,   90,   90,   90,
    749. 

  749.  /*  2700 */    35,   36,   37,   90,   90,   90,   90,   42,   90,   90,
    750. 

  750.  /*  2710 */    90,   46,   47,   48,   49,   50,   51,   52,   53,   90,
    751. 

  751.  /*  2720 */    55,   56,   57,   58,   90,   90,   61,   90,   90,   28,
    752. 

  752.  /*  2730 */    90,   90,   90,   90,   90,   90,   35,   36,   37,   90,
    753. 

  753.  /*  2740 */    90,   90,   90,   42,   43,   90,   90,   46,   47,   48,
    754. 

  754.  /*  2750 */    49,   50,   51,   52,   53,   90,   55,   90,   57,   58,
    755. 

  755.  /*  2760 */    90,   90,   61,   90,   90,   28,   90,   90,   90,   90,
    756. 

  756.  /*  2770 */    90,   90,   35,   36,   37,   90,   90,   90,   90,   42,
    757. 

  757.  /*  2780 */    90,   90,   90,   46,   47,   48,   49,   50,   51,   52,
    758. 

  758.  /*  2790 */    53,   90,   55,   90,   57,   58,   90,   90,   61,   90,
    759. 

  759.  /*  2800 */    90,   28,   90,   90,   90,   90,   90,   90,   35,   36,
    760. 

  760.  /*  2810 */    37,   90,   90,   90,   90,   42,   90,   90,   90,   46,
    761. 

  761.  /*  2820 */    47,   48,   49,   50,   51,   52,   53,   90,   55,   90,
    762. 

  762.  /*  2830 */    57,   58,   90,   90,   61,   90,   16,   17,   18,   19,
    763. 

  763.  /*  2840 */    20,   21,   90,   90,   90,   90,   26,   27,   28,   29,
    764. 

  764.  /*  2850 */    30,   31,   32,   90,   34,   90,   90,   20,   21,   39,
    765. 

  765.  /*  2860 */    40,   41,   90,   26,   27,   28,   29,   30,   31,   32,
    766. 

  766.  /*  2870 */    90,   34,   90,   90,   90,   90,   39,   40,   41,   26,
    767. 

  767.  /*  2880 */    27,   28,   29,   30,   31,   32,   90,   34,   90,   66,
    768. 

  768.  /*  2890 */    90,   90,   39,   40,   41,   72,   73,   74,   75,   76,
    769. 

  769.  /*  2900 */    77,   90,   90,   90,   90,   90,   90,   66,   90,   90,
    770. 

  770.  /*  2910 */    87,   88,   89,   72,   73,   74,   75,   76,   77,   90,
    771. 

  771.  /*  2920 */    90,   90,   90,   90,   90,   90,   90,   90,   87,   88,
    772. 

  772.  /*  2930 */    89,
    773. 

  773. );
    774. 

  774.     const YY_SHIFT_USE_DFLT = -14;
    775. 

  775.     const YY_SHIFT_MAX = 157;
    776. 

  776.     static public $yy_shift_ofst = array(
    777. 

  777.  /*     0 */  2737, 2701, 2665, 2737, 2737, 2737, 2737, 2737, 2737, 2737,
    778. 

  778.  /*    10 */  2737, 2737, 2737, 2737, 2737, 273…
    779.

Large files files are truncated, but you can click here to view the full file