gram.c

来自「PostgreSQL7.4.6 for Linux」· C语言 代码 · 共 1,575 行 · 第 1/5 页

     406,    -1,    76,    -1,   180,    76,    -1,   130,    77,    -1,
     130,   122,    -1,   154,   677,   399,    -1,   126,    75,    -1,
      95,    75,    -1,    -1,    53,   679,   401,    -1,   401,    -1,
      42,   330,   643,   331,    -1,   282,   330,   403,   331,    -1,
     212,   147,   330,   403,   331,    -1,   108,   147,   330,   403,
     331,   220,   677,   402,   405,   406,   442,    -1,   330,   403,
     331,    -1,    -1,   404,    -1,   403,   335,   404,    -1,   690,
      -1,   163,   112,    -1,   163,   203,    -1,   163,   249,    -1,
      -1,   407,    -1,   408,    -1,   407,   408,    -1,   408,   407,
      -1,    -1,   192,   286,   409,    -1,   192,    79,   409,    -1,
     176,     6,    -1,   227,    -1,    35,    -1,   244,   184,    -1,
     244,    74,    -1,   129,   330,   676,   331,    -1,    -1,   302,
     190,    -1,   303,   190,    -1,    -1,   192,    51,    87,    -1,
     192,    51,    79,   233,    -1,   192,    51,   210,   233,    -1,
      -1,    58,   389,   262,   677,   414,    17,   575,    -1,   330,
     415,   331,    -1,    -1,   416,    -1,   415,   335,   416,    -1,
     690,    -1,    58,   389,   240,   677,   419,    -1,    11,   240,
     677,   419,    -1,   419,   420,    -1,    -1,    33,   422,    -1,
      67,    -1,   176,    67,    -1,   127,   421,   422,    -1,   164,
     422,    -1,   166,   422,    -1,   176,   164,    -1,   176,   166,
      -1,   253,   342,   422,    -1,   226,   342,   422,    -1,    32,
      -1,    -1,   423,    -1,   424,    -1,   310,    -1,   322,   310,
      -1,   687,    -1,   322,   687,    -1,    58,   426,   431,   149,
     368,   117,   427,   429,   428,    -1,   278,    -1,    -1,   679,
      -1,   667,    -1,   148,   688,    -1,    -1,   292,   427,    -1,
      -1,    87,   431,   149,   368,   377,    -1,   215,    -1,    -1,
      58,   274,   679,   433,   434,   192,   677,   436,    97,   216,
     685,   330,   439,   331,    -1,    58,    53,   274,   679,     8,
     434,   192,   677,   441,   442,   106,    88,   232,    97,   216,
     685,   330,   439,   331,    -1,    24,    -1,     8,    -1,   435,
      -1,   435,   196,   435,    -1,   435,   196,   435,   196,   435,
      -1,   135,    -1,    79,    -1,   286,    -1,   106,   437,   438,
      -1,    -1,    88,    -1,    -1,   232,    -1,   254,    -1,   440,
      -1,   439,   335,   440,    -1,    -1,   315,    -1,   310,    -1,
     688,    -1,   312,    -1,   313,    -1,   690,    -1,   111,   677,
      -1,    -1,   443,    -1,   443,   444,    -1,   444,    -1,   444,
     443,    -1,    -1,   180,    76,    -1,    76,    -1,   130,   122,
      -1,   130,    77,    -1,    87,   274,   679,   192,   677,   377,
      -1,    58,    19,   679,    42,   330,   643,   331,   442,    -1,
      87,    19,   679,   377,    -1,    58,     9,   685,   449,    -1,
      58,   194,   506,   449,    -1,    58,   279,   462,   449,    -1,
      58,   279,   462,    17,   330,   609,   331,    -1,   330,   450,
     331,    -1,   451,    -1,   450,   335,   451,    -1,   693,   317,
     452,    -1,   693,    -1,   495,    -1,   642,    -1,   422,    -1,
     688,    -1,    58,   194,    44,   462,   456,   106,   279,   611,
     289,   681,    17,   454,    -1,   455,    -1,   454,   335,   455,
      -1,   194,   687,   506,   457,    -1,   194,   687,   506,   330,
     505,   331,   457,    -1,   113,   687,   685,   491,    -1,   258,
     611,    -1,    74,    -1,    -1,   219,    -1,    -1,    87,   194,
      44,   462,   289,   681,   377,    -1,    87,   460,   461,   377,
      -1,   262,    -1,   240,    -1,   298,    -1,   128,    -1,   279,
      -1,    85,    -1,    55,    -1,   235,    -1,   462,    -1,   461,
     335,   462,    -1,   690,    -1,   667,    -1,   277,   582,   677,
      -1,    50,   192,   465,   462,   143,   466,    -1,    50,   192,
       9,   685,   330,   503,   331,   143,   466,    -1,    50,   192,
     113,   685,   491,   143,   466,    -1,    50,   192,   194,   506,
     330,   505,   331,   143,   466,    -1,    50,   192,    53,   679,
     192,   462,   143,   466,    -1,    50,   192,   234,   679,   192,
     462,   143,   466,    -1,    50,   192,   234,   679,   143,   466,
      -1,    50,   192,   274,   679,   192,   462,   143,   466,    -1,
      49,    -1,    68,    -1,   235,    -1,   128,    -1,   240,    -1,
     262,    -1,    85,    -1,   279,    -1,   298,    -1,   688,    -1,
     184,    -1,   103,   468,   470,   679,    -1,   103,   679,    -1,
     169,   468,   470,   679,    -1,   169,   679,    -1,    -1,   175,
      -1,   213,    -1,   104,    -1,   150,    -1,     4,   469,    -1,
     222,   469,    -1,   469,    -1,    10,    -1,   109,    -1,   109,
     469,    -1,   109,    10,    -1,    23,    -1,    23,   469,    -1,
      23,    10,    -1,   687,    -1,   322,   687,    -1,   111,    -1,
     125,    -1,   115,   473,   192,   476,   269,   477,   479,    -1,
     229,   480,   473,   192,   476,   111,   477,   377,    -1,   474,
      -1,    10,    -1,    10,   214,    -1,   475,    -1,   474,   335,
     475,    -1,   239,    -1,   135,    -1,   286,    -1,    79,    -1,
     234,    -1,   220,    -1,   274,    -1,    97,    -1,   287,    -1,
      58,    -1,   265,    -1,   263,    -1,   676,    -1,   262,   676,
      -1,   113,   481,    -1,    68,   678,    -1,   149,   678,    -1,
     235,   678,    -1,   478,    -1,   477,   335,   478,    -1,   690,
      -1,   116,   690,    -1,   302,   115,   195,    -1,    -1,   115,
     195,   106,    -1,    -1,   482,    -1,   481,   335,   482,    -1,
     685,   491,    -1,    58,   484,   128,   683,   192,   677,   485,
     330,   486,   331,   608,    -1,   282,    -1,    -1,   289,   681,
      -1,    -1,   487,    -1,   486,   335,   487,    -1,   682,   488,
      -1,   685,   330,   647,   331,   488,    -1,   330,   643,   331,
     488,    -1,   462,    -1,   289,   462,    -1,    -1,    58,   490,
     113,   685,   491,   228,   495,   497,   500,    -1,   196,   224,
      -1,    -1,   330,   492,   331,    -1,   330,   331,    -1,   493,
      -1,   492,   335,   493,    -1,   494,   496,    -1,   496,    -1,
     125,    -1,   198,    -1,   132,    -1,   496,    -1,   611,    -1,
     691,   668,   325,   279,    -1,   498,    -1,   497,   498,    -1,
      17,   499,    -1,   149,   368,    -1,   123,    -1,   252,    -1,
     299,    -1,    34,   192,   184,   133,    -1,   228,   184,   192,
     184,   133,    -1,   259,    -1,   100,   238,    78,    -1,   100,
     238,   142,    -1,   238,    78,    -1,   238,   142,    -1,   688,
      -1,   688,   335,   688,    -1,   302,   449,    -1,    -1,    87,
     113,   685,   491,   377,    -1,    87,     9,   685,   330,   503,
     331,   377,    -1,   611,    -1,   323,    -1,    87,   194,   506,
     330,   505,   331,   377,    -1,   611,    -1,   611,   335,   611,
      -1,   179,   335,   611,    -1,   611,   335,   179,    -1,   639,
      -1,   690,   333,   506,    -1,    58,    37,   330,   611,    17,
     611,   331,   302,   113,   482,   508,    -1,    58,    37,   330,
     611,    17,   611,   331,   303,   113,   508,    -1,    17,   124,
      -1,    17,    20,    -1,    -1,    87,    37,   330,   611,    17,
     611,   331,   377,    -1,   221,   511,   677,   512,    -1,   221,
      68,   679,   512,    -1,   128,    -1,   262,    -1,   107,    -1,
      -1,    11,     9,   685,   330,   503,   331,   223,   269,   679,
      -1,    11,    55,   462,   223,   269,   679,    -1,    11,    68,
     680,   223,   269,   680,    -1,    11,   113,   685,   491,   223,
     269,   679,    -1,    11,   116,   689,   223,   269,   689,    -1,
      11,   149,   679,   223,   269,   679,    -1,    11,   194,    44,
     462,   289,   681,   223,   269,   679,    -1,    11,   235,   679,
     223,   269,   679,    -1,    11,   262,   606,   223,   515,   514,
     269,   679,    -1,    11,   274,   679,   192,   606,   223,   269,
     679,    -1,    11,   288,   689,   223,   269,   689,    -1,   679,
      -1,    -1,    49,    -1,    -1,    -1,    58,   490,   234,   679,
      17,   517,   192,   522,   269,   677,   608,    84,   523,   518,
      -1,   181,    -1,   520,    -1,   330,   519,   331,    -1,   519,
     334,   521,    -1,   521,    -1,   575,    -1,   563,    -1,   571,
      -1,   567,    -1,   525,    -1,   520,    -1,    -1,   239,    -1,
     286,    -1,    79,    -1,   135,    -1,   136,    -1,    -1,    87,
     234,   679,   192,   677,   377,    -1,   182,   677,    -1,   156,
     677,    -1,   284,   677,    -1,   284,   323,    -1,     3,   529,
      -1,    25,   529,    -1,   253,   272,   531,    -1,    51,   529,
      -1,    92,   529,    -1,   231,   529,    -1,   304,    -1,   272,
      -1,    -1,   145,   153,   364,    -1,   532,    -1,   145,   153,
     364,   532,    -1,   532,   145,   153,   364,    -1,   530,    -1,
      -1,   217,   193,    -1,   217,   305,    -1,    58,   490,   298,
     677,   402,    17,   575,    -1,   157,   684,    -1,    58,    68,
     680,   342,   536,    -1,   536,   537,    -1,    -1,   161,   538,
     688,    -1,   161,   538,    74,    -1,   264,   538,   679,    -1,
     264,   538,    74,    -1,    90,   538,   688,    -1,    90,   538,
     687,    -1,    90,   538,    74,    -1,   202,   538,   679,    -1,
     202,   538,    74,    -1,   317,    -1,    -1,    11,    68,   680,
     244,   360,    -1,    11,    68,   680,   370,    -1,    87,    68,
     680,    -1,    58,    85,   462,   543,   611,   394,    -1,    11,
      85,   462,   376,    -1,    11,    85,   462,    87,   180,   184,
      -1,    11,    85,   462,   244,   180,   184,    -1,    11,    85,
     462,     7,   400,    -1,    11,    85,   462,    87,    53,   679,
     377,    -1,    11,    85,   462,   202,   269,   689,    -1,    17,
      -1,    -1,    58,   456,    55,   462,   106,   688,   269,   688,
     111,   462,    -1,    46,   683,   192,   677,    -1,    46,   677,
      -1,    46,    -1,   290,   550,   551,   549,    -1,   290,   550,
     551,   549,   677,    -1,   290,   550,   551,   549,   547,    -1,
     548,   549,    -1,   548,   549,   677,   552,    -1,    13,    -1,
      12,    -1,   296,    -1,    -1,   112,    -1,    -1,   110,    -1,
      -1,   330,   678,   331,    -1,    -1,    99,   555,   549,   554,
      -1,   575,    -1,   563,    -1,   571,    -1,   567,    -1,   572,
      -1,   560,    -1,   548,    -1,    -1,   211,   679,   557,    17,
     559,    -1,   330,   558,   331,    -1,    -1,   611,    -1,   558,
     335,   611,    -1,   575,    -1,   563,    -1,   571,    -1,   567,
      -1,    97,   679,   561,    -1,    58,   389,   262,   677,   414,
      17,    97,   679,   561,    -1,   330,   647,   331,    -1,    -1,
      70,   679,    -1,    70,   211,   679,    -1,   135,   141,   677,
     564,    -1,   293,   330,   673,   331,    -1,    74,   293,    -1,
     575,    -1,   330,   565,   331,   293,   330,   673,   331,    -1,
     330,   565,   331,   575,    -1,   566,    -1,   565,   335,   566,
      -1,   690,   646,    -1,    79,   111,   606,   608,    -1,   162,
     582,   676,   569,    -1,   125,   570,   167,    -1,    -1,     5,
     246,    -1,   232,   246,    -1,   232,    96,    -1,   246,   286,
      96,    -1,   246,    -1,   246,   232,    96,    -1,    96,    -1,
       5,    96,    -1,   286,   606,   244,   671,   598,   608,    -1,
      73,   679,   573,    66,   574,   106,   575,    -1,    -1,   573,
     176,   236,    -1,   573,   236,    -1,   573,    28,    -1,   573,
     134,    -1,    -1,   302,   119,    -1,   303,   119,    -1,   577,
      -1,   576,    -1,   330,   577,   331,    -1,   330,   576,   331,
      -1,   579,    -1,   578,   586,    -1,   578,   585,   595,   590,
      -1,   578,   585,   589,   596,    -1,   579,    -1,   576,    -1,
     239,   584,   669,   580,   598,   608,   593,   594,    -1,   578,
     281,   583,   578,    -1,   578,   139,   583,   578,    -1,   578,
      94,   583,   578,    -1,   141,   581,    -1,    -1,   265,   582,
     677,    -1,   263,   582,   677,    -1,   158,   265,   582,   677,
      -1,   158,   263,   582,   677,    -1,   114,   265,   582,   677,
      -1,   114,   263,   582,   677,    -1,   262,   677,    -1,   677,
      -1,   262,    -1,    -1,    10,    -1,    83,    -1,    -1,    83,
      -1,    83,   192,   330,   647,   331,    -1,    10,    -1,    -1,
     586,    -1,    -1,   197,    32,   587,    -1,   588,    -1,   587,
     335,   588,    -1,   643,   289,   642,    -1,   643,    18,    -1,
     643,    82,    -1,   643,    -1,   155,   591,   189,   592,    -1,
     189,   592,   155,   591,    -1,   155,   591,    -1,   189,   592,
      -1,   155,   591,   335,   592,    -1,   589,    -1,    -1,   643,
      -1,    10,    -1,   643,    -1,   116,    32,   647,    -1,    -1,
     118,   643,    -1,    -1,   106,   286,   597,    -1,   106,   217,
     193,    -1,   595,    -1,    -1,   187,   678,    -1,    -1,   111,
     599,    -1,    -1,   600,    -1,   599,   335,   600,    -1,   606,
      -1,   606,   602,    -1,   607,    -1,   607,   602,    -1,   607,
      17,   330,   609,   331,    -1,   607,    17,   690,   330,   609,
     331,    -1,   607,   690,   330,   609,   331,    -1,   576,    -1,
     576,   602,    -1,   601,    -1,   330,   601,   331,   602,    -1,
     330,   601,   331,    -1,   600,    61,   146,   600,    -1,   600,
     308,   600,    -1,   600,   603,   146,   600,   605,    -1,   600,
     146,   600,   605,    -1,   600,   172,   603,   146,   600,    -1,
     600,   172,   146,   600,    -1,    17,   690,   330,   678,   331,
      -1,    17,   690,    -1,   690,   330,   678,   331,    -1,   690,
      -1,   112,   604,    -1,   152,   604,    -1,   230,   604,    -1,
     131,    -1,   199,    -1,    -1,   289,   330,   678,   331,    -1,
     192,   643,    -1,   677,    -1,   677,   323,    -1,   193,   677,
      -1,   193,   330,   677,   331,    -1,   685,   330,   331,    -1,
     685,   330,   647,   331,    -1,   301,   643,    -1,    -1,   610,
      -1,   609,   335,   610,    -1,   690,   611,    -1,   613,   612,
      -1,   245,   613,   612,    -1,   613,    16,   328,   687,   329,
      -1,   245,   613,    16,   328,   687,   329,    -1,   612,   328,
     329,    -1,   612,   328,   687,   329,    -1,    -1,   615,    -1,
     616,    -1,   620,    -1,   624,    -1,   631,    -1,   632,   634,
      -1,   632,   330,   687,   331,   634,    -1,   691,   668,    -1,
     615,    -1,   616,    -1,   621,    -1,   625,    -1,   631,    -1,
     691,    -1,   137,    -1,   138,    -1,   250,    -1,    27,    -1,
     218,    -1,   105,   617,    -1,    86,   209,    -1,    72,   619,
      -1,    71,   619,    -1,   186,   618,    -1,    30,    -1,   330,
     687,   331,    -1,    -1,   330,   687,   335,   687,   331,    -1,
     330,   687,   331,    -1,    -1,   330,   687,   335,   687,   331,
      -1,   330,   687,   331,    -1,    -1,   622,    -1,   623,    -1,
     622,    -1,   623,    -1,    29,   629,   330,   687,   331,    -1,
      29,   629,    -1,   626,    -1,   627,    -1,   626,    -1,   627,
      -1,   628,   330,   687,   331,   630,    -1,   628,   630,    -1,
      40,   629,    -1,    39,   629,    -1,   294,    -1,   171,    40,
     629,    -1,   171,    39,   629,    -1,   173,   629,    -1,   295,
      -1,    -1,    40,   244,   690,    -1,    -1,   268,   330,   687,
     331,   633,    -1,   268,   633,    -1,   267,   330,   687,   331,
     633,    -1,   267,   633,    -1,   140,    -1,   302,   267,   307,
      -1,   303,   267,   307,    -1,    -1,   306,    -1,   168,    -1,
      69,    -1,   120,    -1,   165,    -1,   237,    -1,   306,   269,
     168,    -1,    69,   269,   120,    -1,    69,   269,   165,    -1,
      69,   269,   237,    -1,   120,   269,   165,    -1,   120,   269,
     237,    -1,   165,   269,   237,    -1,    -1,   636,   125,   576,
      -1,   636,   180,   125,   576,    -1,   636,   642,   638,   576,
      -1,   636,   642,   576,    -1,   636,   642,   636,    -1,   636,
     143,   184,    -1,   636,   143,   180,   184,    -1,   636,   200,
     636,    -1,   636,   143,    83,   111,   636,    -1,   232,   330,
     637,   331,    -1,   232,   330,   643,   331,    -1,   232,   330,
     331,    -1,   330,   637,   331,    -1,   647,   335,   643,    -1,
      15,    -1,   251,    -1,    10,    -1,   314,    -1,   640,    -1,
     321,    -1,   322,    -1,   323,    -1,   324,    -1,   325,    -1,
     326,    -1,   318,    -1,   319,    -1,   317,    -1,   314,    -1,
     194,   330,   506,   331,    -1,   639,    -1,   194,   330,   506,
     331,    -1,   645,    -1,   643,   332,   611,    -1,   643,    21,
     267,   307,   645,    -1,   321,   643,    -1,   322,   643,    -1,
     325,   643,    -1,   326,   643,    -1,   643,   325,    -1,   643,
     326,    -1,   643,   321,   643,    -1,   643,   322,   643,    -1,
     643,   323,   643,    -1,   643,   324,   643,    -1,   643,   325,
     643,    -1,   643,   326,   643,    -1,   643,   318,   643,    -1,
     643,   319,   643,    -1,   643,   317,   643,    -1,   643,   641,
     643,    -1,   641,   643,    -1,   643,   641,    -1,   643,    14,
     643,    -1,   643,   196,   643,    -1,   180,   643,    -1,   643,
     154,   643,    -1,   643,   154,   643,    93,   643,    -1,   643,
     180,   154,   643,    -1,   643,   180,   154,   643,    93,   643,
      -1,   643,   121,   643,    -1,   643,   121,   643,    93,   643,
      -1,   643,   180,   121,   643,    -1,   643,   180,   121,   643,
      93,   643,    -1,   643,   248,   269,   643,    -1,   643,   248,
     269,   643,    93,   643,    -1,   643,   180,   248,   269,   643,
      -1,   643,   180,   248,   269,   643,    93,   643,    -1,   643,
     144,    -1,   643,   143,   184,    -1,   643,   183,    -1,   643,
     143,   180,   184,    -1,   643,   143,   276,    -1,   643,   143,
     180,   276,    -1,   643,   143,   102,    -1,   643,   143,   180,
     102,    -1,   643,   143,   283,    -1,   643,   143,   180,   283,
      -1,   643,   143,    83,   111,   643,    -1,   643,   143,   187,
     330,   649,   331,    -1,   643,   143,   180,   187,   330,   649,
     331,    -1,   643,    26,   644,    14,   644,    -1,   643,   180,
      26,   644,    14,   644,    -1,   643,   125,   660,    -1,   643,
     180,   125,   660,    -1,   643,   642,   638,   576,    -1,   643,
     642,   638,   330,   643,   331,    -1,   282,   576,    -1,   635,
      -1,   645,    -1,   644,   332,   611,    -1,   321,   644,    -1,
     322,   644,    -1,   325,   644,    -1,   326,   644,    -1,   644,
     325,    -1,   644,   326,    -1,   644,   321,   644,    -1,   644,
     322,   644,    -1,   644,   323,   644,    -1,   644,   324,   644,
      -1,   644,   325,   644,    -1,   644,   326,   644,    -1,   644,
     318,   644,    -1,   644,   319,   644,    -1,   644,   317,   644,
      -1,   644,   641,   644,    -1,   641,   644,    -1,   644,   641,
      -1,   644,   143,    83,   111,   644,    -1,   644,   143,   187,
     330,   649,   331,    -1,   644,   143,   180,   187,   330,   649,
     331,    -1,   666,    -1,   686,    -1,   316,   668,   646,    -1,
     330,   643,   331,   668,   646,    -1,   330,   643,   331,   646,
      -1,   661,    -1,   685,   330,   331,    -1,   685,   330,   647,
     331,    -1,   685,   330,    10,   647,   331,    -1,   685,   330,
      83,   647,   331,    -1,   685,   330,   323,   331,    -1,    62,
      -1,    63,    -1,    63,   330,   687,   331,    -1,    64,    -1,
      64,   330,   687,   331,    -1,   159,    -1,   159,   330,   687,
     331,    -1,   160,    -1,   160,   330,   687,   331,    -1,    65,
      -1,   243,    -1,   288,    -1,    37,   330,   643,    17,   611,
     331,    -1,   101,   330,   648,   331,    -1,   201,   330,   653,
     331,    -1,   208,   330,   655,   331,    -1,   260,   330,   656,
     331,    -1,   273,   330,   643,    17,   611,   331,    -1,   275,
     330,    31,   659,   331,    -1,   275,   330,   151,   659,   331,
      -1,   275,   330,   271,   659,   331,    -1,   275,   330,   659,
     331,    -1,    56,   330,   643,   289,   462,   331,    -1,    56,
     330,   647,   331,    -1,   576,    -1,    98,   576,    -1,    16,
     576,    -1,    16,   651,    -1,   646,   328,   643,   329,    -1,
     646,   328,   643,   336,   643,   329,    -1,    -1,   643,    -1,
     647,   335,   643,    -1,   652,   111,   643,    -1,    -1,   649,
     335,   611,    -1,   611,    -1,   651,    -1,   650,   335,   651,
      -1,   328,   647,   329,    -1,   328,   650,   329,    -1,   309,
      -1,   306,    -1,   168,    -1,    69,    -1,   120,    -1,   165,
      -1,   237,    -1,   311,    -1,   643,   654,   657,   658,    -1,
     643,   654,   657,    -1,   207,   643,    -1,   644,   125,   644,
      -1,    -1,   643,   657,   658,    -1,   643,   658,   657,    -1,
     643,   657,    -1,   643,   658,    -1,   647,    -1,    -1,   111,
     643,    -1,   106,   643,    -1,   643,   111,   647,    -1,   111,
     647,    -1,   647,    -1,   576,    -1,   330,   647,   331,    -1,
      36,   665,   662,   664,    92,    -1,   185,   330,   643,   335,
     643,   331,    -1,    47,   330,   647,   331,    -1,   663,    -1,
     662,   663,    -1,   300,   643,   266,   643,    -1,    89,   643,
      -1,    -1,   643,    -1,    -1,   675,   646,    -1,   667,   646,
      -1,   675,   668,    -1,   333,   682,    -1,   333,   323,    -1,
     333,   682,   668,    -1,   670,    -1,   669,   335,   670,    -1,
     643,    17,   693,    -1,   643,    -1,   323,    -1,   672,    -1,
     671,   335,   672,    -1,   690,   646,   317,   643,    -1,   690,
     646,   317,    74,    -1,   674,    -1,   673,   335,   674,    -1,
     670,    -1,    74,    -1,   698,    -1,   690,    -1,   677,    -1,
     676,   335,   677,    -1,   675,    -1,   667,    -1,   679,    -1,
     678,   335,   679,    -1,   690,    -1,   690,    -1,   690,    -1,
     690,    -1,   690,    -1,   688,    -1,   692,    -1,   667,    -1,
     687,    -1,   310,    -1,   688,    -1,   312,    -1,   313,    -1,
     614,   688,    -1,   632,   688,   634,    -1,   632,   330,   687,
     331,   688,   634,    -1,   316,   646,    -1,   276,    -1,   102,
      -1,   184,    -1,   315,    -1,   311,    -1,   690,    -1,   309,
      -1,   694,    -1,   695,    -1,   309,    -1,   694,    -1,   309,
      -1,   694,    -1,   696,    -1,   309,    -1,   694,    -1,   695,
      -1,   696,    -1,   697,    -1,     3,