gram.c
上传用户:blenddy
上传日期:2007-01-07
资源大小:6495k
文件大小:504k
源码类别:

数据库系统

开发平台:

Unix_Linux

  1.    113,   114,   115,   116,     0,     0,     0,     0,     0,     0,
  2.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  3.      0,     0,   117,   118,   119,   120,   121,   122,     0,   123,
  4.    124,   125,     0,   126,   127,     0,   128,     0,     0,   129,
  5.    130,   131,   132,   133,     0,   134,   135,   136,     0,     0,
  6.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  7.      0,     0,   146,     0,   147,   148,   149,     0,     0,   150,
  8.    151,     0,   152,     0,   153,     0,   154,   155,   156,   157,
  9.    158,     0,   159,   160,   161,   162,   163,     0,   164,     0,
  10.    165,   166,   167,   168,   169,    90,    91,     0,   170,     0,
  11.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  12.      0,     0,     0,  1308,     0,     0,     0,     0,     0,     0,
  13.      0,     0,   241,     0,     0,     0,     0,     0,    92,     0,
  14.      0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
  15.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  16.      0,     0,     0,     0,    94,     0,     0,    95,     0,     0,
  17.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  18.      0,     0,   100,   101,   102,     0,     0,     0,     0,   103,
  19.      0,     0,     0,     0,     0,   104,     0,   105,   106,     0,
  20.      0,     0,     0,     0,     0,     0,   107,   108,     0,     0,
  21.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  22.      0,     0,     0,     0,     0,   113,   114,   115,   116,     0,
  23.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  24.      0,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  25.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  26.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  27.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  28.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  29.    148,   149,     0,   242,   150,   151,     0,   152,     0,   153,
  30.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  31.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  32.     90,    91,     0,   170,     0,   171,   172,     0,     0,     0,
  33.    376,     0,     0,     0,   726,     0,     0,     0,     0,     0,
  34.    727,     0,     0,     0,   728,     0,     0,   729,     0,     0,
  35.      0,     0,     0,    92,     0,     0,     0,     0,     0,     0,
  36.     93,     0,   730,   731,     0,     0,     0,     0,   732,     0,
  37.      0,     0,   733,     0,     0,   734,     0,   735,     0,    94,
  38.      0,     0,    95,     0,     0,     0,     0,     0,    96,     0,
  39.     97,    98,     0,     0,    99,     0,   736,   100,   101,   102,
  40.      0,     0,     0,     0,   103,     0,     0,   737,     0,     0,
  41.    104,     0,   105,   106,     0,   738,     0,     0,   739,   740,
  42.      0,   107,   108,     0,     0,   109,     0,   110,     0,     0,
  43.      0,   111,   112,     0,     0,     0,   741,     0,     0,   742,
  44.    113,   114,   115,   116,     0,     0,   743,     0,   744,     0,
  45.      0,     0,     0,     0,     0,     0,     0,     0,   745,     0,
  46.      0,     0,   117,   118,   119,   120,   121,   122,   746,   123,
  47.    124,   125,   747,   126,   127,   748,   128,   749,   750,   129,
  48.    130,   131,   132,   133,   751,   134,   135,   136,   752,   753,
  49.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  50.    754,   755,   146,   756,   147,   148,   149,   757,   758,   150,
  51.    151,   759,   152,     0,   153,     0,   154,   155,   156,   157,
  52.    158,   760,   159,   160,   161,   162,   163,   761,   164,   762,
  53.    165,   166,   167,   168,   169,    90,    91,   763,   170,   764,
  54.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  55.      0,   344,   345,     0,     0,     0,     0,     0,     0,     0,
  56.      0,     0,     0,     0,     0,     0,     0,     0,    92,   624,
  57.      0,     0,     0,     0,     0,   625,     0,     0,     0,     0,
  58.      0,     0,     0,     0,     0,   626,     0,     0,     0,     0,
  59.      0,     0,     0,     0,    94,     0,     0,    95,     0,     0,
  60.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  61.      0,     0,   100,   101,   102,     0,   358,     0,   359,   103,
  62.      0,     0,     0,     0,   627,   104,     0,   105,   106,     0,
  63.      0,     0,     0,     0,     0,     0,   107,   108,     0,     0,
  64.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  65.      0,     0,     0,     0,     0,   113,   114,   115,   116,     0,
  66.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  67.    371,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  68.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  69.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  70.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  71.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  72.    148,   149,     0,     0,   150,   151,     0,   152,     0,   153,
  73.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  74.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  75.     90,    91,     0,   170,     0,   171,   172,     0,     0,     0,
  76.      0,     0,     0,     0,     0,     0,     0,     0,   886,     0,
  77.      0,     0,     0,     0,   921,     0,     0,     0,     0,     0,
  78.      0,     0,     0,    92,     0,     0,     0,     0,     0,     0,
  79.     93,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  80.      0,     0,   888,     0,     0,     0,     0,     0,     0,    94,
  81.      0,     0,    95,     0,     0,     0,     0,     0,    96,     0,
  82.     97,    98,     0,     0,    99,     0,     0,   100,   101,   102,
  83.      0,     0,     0,     0,   103,     0,     0,     0,     0,     0,
  84.    104,     0,   105,   106,     0,     0,     0,     0,     0,     0,
  85.    889,   107,   108,     0,     0,   109,     0,   110,     0,     0,
  86.      0,   111,   112,     0,     0,     0,     0,     0,     0,     0,
  87.    113,   114,   115,   116,     0,     0,     0,     0,     0,     0,
  88.    890,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  89.      0,     0,   117,   118,   119,   120,   121,   122,     0,   123,
  90.    124,   125,     0,   126,   127,     0,   128,     0,     0,   129,
  91.    130,   131,   132,   133,     0,   134,   135,   136,     0,     0,
  92.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  93.      0,     0,   146,     0,   147,   148,   149,     0,     0,   150,
  94.    151,     0,   152,     0,   153,     0,   154,   155,   156,   157,
  95.    158,     0,   159,   160,   161,   162,   163,     0,   164,     0,
  96.    165,   166,   167,   168,   169,    90,    91,     0,   170,     0,
  97.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  98.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  99.      0,     0,     0,     0,     0,     0,     0,     0,    92,     0,
  100.      0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
  101.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  102.      0,     0,     0,     0,    94,     0,     0,    95,     0,     0,
  103.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  104.      0,     0,   100,   101,   102,   237,     0,     0,     0,   103,
  105.      0,     0,     0,     0,     0,   104,     0,   105,   106,     0,
  106.      0,     0,     0,     0,     0,     0,   107,   108,     0,     0,
  107.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  108.      0,     0,     0,     0,     0,   238,   114,   115,   116,     0,
  109.      0,   239,     0,     0,     0,     0,     0,     0,     0,     0,
  110.      0,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  111.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  112.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  113.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  114.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  115.    148,   149,     0,     0,   150,   151,     0,   152,     0,   153,
  116.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  117.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  118.     90,    91,     0,   170,     0,   171,   172,     0,     0,     0,
  119.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  120.      0,     0,     0,     0,     0,     0,     0,   241,     0,     0,
  121.      0,     0,     0,    92,     0,     0,     0,     0,     0,     0,
  122.     93,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  123.      0,     0,     0,     0,     0,     0,     0,     0,     0,    94,
  124.      0,     0,    95,     0,     0,     0,     0,     0,    96,     0,
  125.     97,    98,     0,     0,    99,     0,     0,   100,   101,   102,
  126.      0,     0,     0,     0,   103,     0,     0,     0,     0,     0,
  127.    104,     0,   105,   106,     0,     0,     0,     0,     0,     0,
  128.      0,   107,   108,     0,     0,   109,     0,   110,     0,     0,
  129.      0,   111,   112,     0,     0,     0,     0,     0,     0,     0,
  130.    113,   114,   115,   116,     0,     0,     0,     0,     0,     0,
  131.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  132.      0,     0,   117,   118,   119,   120,   121,   122,     0,   123,
  133.    124,   125,     0,   126,   127,     0,   128,     0,     0,   129,
  134.    130,   131,   132,   133,     0,   134,   135,   136,     0,     0,
  135.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  136.      0,     0,   146,     0,   147,   148,   149,     0,   242,   150,
  137.    151,     0,   152,     0,   153,     0,   154,   155,   156,   157,
  138.    158,     0,   159,   160,   161,   162,   163,     0,   164,     0,
  139.    165,   166,   167,   168,   169,    90,    91,     0,   170,     0,
  140.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  141.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  142.      0,     0,     0,     0,     0,     0,     0,     0,    92,     0,
  143.      0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
  144.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  145.      0,     0,   941,     0,    94,     0,     0,    95,     0,     0,
  146.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  147.      0,     0,   100,   101,   102,     0,     0,     0,     0,   103,
  148.      0,     0,     0,     0,     0,   104,     0,   105,   106,     0,
  149.      0,     0,     0,     0,     0,     0,   107,   108,     0,   942,
  150.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  151.      0,     0,     0,     0,     0,   113,   114,   115,   116,     0,
  152.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  153.      0,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  154.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  155.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  156.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  157.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  158.    148,   149,     0,     0,   150,   151,     0,   152,     0,   153,
  159.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  160.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  161.     90,    91,     0,   170,     0,   171,   172,     0,     0,     0,
  162.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  163.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  164.      0,     0,     0,    92,     0,     0,     0,     0,     0,     0,
  165.     93,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  166.      0,     0,     0,     0,     0,     0,     0,     0,     0,    94,
  167.      0,     0,    95,     0,     0,     0,     0,     0,    96,     0,
  168.     97,    98,     0,     0,    99,     0,     0,   100,   101,   102,
  169.      0,     0,     0,     0,   103,     0,     0,     0,     0,     0,
  170.    104,     0,   105,   106,     0,     0,     0,     0,     0,     0,
  171.      0,   107,   108,     0,     0,   109,     0,   110,     0,     0,
  172.      0,   111,   112,     0,     0,     0,     0,     0,     0,     0,
  173.    262,   114,   115,   116,     0,     0,   263,     0,     0,     0,
  174.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  175.      0,     0,   117,   118,   119,   120,   121,   122,     0,   123,
  176.    124,   125,     0,   126,   127,     0,   128,     0,     0,   129,
  177.    130,   131,   132,   133,     0,   134,   135,   136,     0,     0,
  178.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  179.      0,     0,   146,     0,   147,   148,   149,     0,     0,   150,
  180.    151,     0,   152,     0,   153,     0,   154,   155,   156,   157,
  181.    158,     0,   159,   160,   161,   162,   163,     0,   164,     0,
  182.    165,   166,   167,   168,   169,    90,    91,     0,   170,     0,
  183.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  184.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  185.      0,     0,     0,     0,     0,     0,     0,     0,    92,     0,
  186.      0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
  187.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  188.      0,     0,     0,     0,    94,     0,     0,    95,     0,     0,
  189.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  190.      0,     0,   100,   101,   102,     0,     0,     0,     0,   103,
  191.      0,     0,     0,     0,     0,   104,     0,   105,   106,     0,
  192.      0,     0,     0,     0,     0,     0,   107,   108,     0,     0,
  193.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  194.      0,     0,     0,     0,     0,   265,   114,   115,   116,     0,
  195.      0,   266,     0,     0,     0,     0,     0,     0,     0,     0,
  196.      0,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  197.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  198.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  199.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  200.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  201.    148,   149,     0,     0,   150,   151,     0,   152,     0,   153,
  202.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  203.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  204.     90,    91,     0,   170,     0,   171,   172,     0,     0,     0,
  205.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  206.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  207.      0,     0,     0,    92,     0,     0,     0,     0,     0,     0,
  208.     93,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  209.      0,     0,     0,     0,     0,     0,     0,     0,     0,    94,
  210.      0,     0,    95,     0,     0,     0,     0,     0,    96,     0,
  211.     97,    98,     0,     0,    99,     0,     0,   100,   101,   102,
  212.      0,     0,     0,     0,   103,     0,     0,     0,     0,     0,
  213.    104,     0,   105,   106,     0,     0,     0,     0,     0,     0,
  214.      0,   107,   108,     0,     0,   109,     0,   110,     0,     0,
  215.      0,   111,   112,     0,     0,     0,     0,     0,     0,     0,
  216.    113,   114,   115,   116,     0,     0,     0,     0,     0,     0,
  217.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  218.      0,     0,   117,   118,   119,   120,   121,   122,     0,   123,
  219.    124,   125,     0,   126,   127,     0,   128,     0,     0,   129,
  220.    130,   131,   132,   133,     0,   134,   135,   136,     0,     0,
  221.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  222.      0,     0,   146,     0,   147,   148,   149,     0,     0,   150,
  223.    151,   655,   152,     0,   153,     0,   154,   155,   156,   157,
  224.    158,     0,   159,   160,   161,   162,   163,     0,   164,     0,
  225.    165,   166,   167,   168,   169,    90,    91,     0,   170,     0,
  226.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  227.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  228.      0,     0,     0,     0,     0,     0,     0,     0,    92,     0,
  229.      0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
  230.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  231.      0,     0,     0,     0,    94,     0,     0,    95,     0,     0,
  232.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  233.      0,     0,   100,   101,   102,     0,     0,     0,     0,   103,
  234.      0,     0,     0,     0,     0,   104,     0,   105,   106,     0,
  235.      0,     0,     0,     0,     0,     0,   107,   108,     0,     0,
  236.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  237.      0,     0,     0,     0,     0,   113,   114,   115,   116,     0,
  238.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  239.      0,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  240.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  241.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  242.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  243.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  244.    148,   149,     0,     0,   150,   151,  1176,   152,     0,   153,
  245.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  246.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  247.     90,    91,     0,   170,     0,   171,   172,  1303,     0,     0,
  248.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  249.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  250.      0,     0,     0,    92,     0,     0,     0,     0,     0,     0,
  251.     93,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  252.      0,     0,     0,     0,     0,     0,     0,     0,     0,    94,
  253.      0,     0,    95,     0,     0,     0,     0,     0,    96,     0,
  254.     97,    98,     0,     0,    99,     0,     0,   100,   101,   102,
  255.      0,     0,     0,     0,   103,     0,     0,     0,     0,     0,
  256.    104,     0,   105,   106,     0,     0,     0,     0,     0,     0,
  257.      0,   107,   108,     0,     0,   109,     0,   110,     0,     0,
  258.      0,   111,   112,     0,     0,     0,     0,     0,     0,     0,
  259.    113,   114,   115,   116,     0,     0,     0,     0,     0,     0,
  260.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  261.      0,     0,   117,   118,   119,   120,   121,   122,     0,   123,
  262.    124,   125,     0,   126,   127,     0,   128,     0,     0,   129,
  263.    130,   131,   132,   133,     0,   134,   135,   136,     0,     0,
  264.    137,   138,   139,   140,   141,   142,   143,   144,   145,     0,
  265.      0,     0,   146,     0,   147,   148,   149,     0,     0,   150,
  266.    151,     0,   152,     0,   153,     0,   154,   155,   156,   157,
  267.    158,     0,   159,   160,   161,   162,   163,     0,   164,     0,
  268.    165,   166,   167,   168,   169,    90,    91,     0,   170,     0,
  269.    171,   172,     0,     0,     0,     0,     0,     0,     0,     0,
  270.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  271.      0,     0,     0,     0,     0,     0,     0,     0,    92,     0,
  272.      0,     0,     0,     0,     0,    93,     0,     0,     0,     0,
  273.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  274.      0,     0,     0,     0,    94,     0,     0,    95,     0,     0,
  275.      0,     0,     0,    96,     0,    97,    98,     0,     0,    99,
  276.      0,     0,   100,   101,   102,     0,     0,     0,     0,   103,
  277.      0,     0,     0,     0,     0,   104,     0,   105,   106,     0,
  278.      0,     0,     0,     0,     0,     0,   107,   108,     0,     0,
  279.    109,     0,   110,     0,     0,     0,   111,   112,     0,     0,
  280.      0,     0,     0,     0,     0,   113,   114,   115,   116,     0,
  281.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  282.      0,     0,     0,     0,     0,     0,     0,   117,   118,   119,
  283.    120,   121,   122,     0,   123,   124,   125,     0,   126,   127,
  284.      0,   128,     0,     0,   129,   130,   131,   132,   133,     0,
  285.    134,   135,   136,     0,     0,   137,   138,   139,   140,   141,
  286.    142,   143,   144,   145,     0,     0,     0,   146,     0,   147,
  287.    148,   149,     0,     0,   150,   151,     0,   152,     0,   153,
  288.      0,   154,   155,   156,   157,   158,     0,   159,   160,   161,
  289.    162,   163,     0,   164,     0,   165,   166,   167,   168,   169,
  290.    344,   345,     0,   170,     0,   171,   172,     0,     0,     0,
  291.      0,     0,     0,     0,     0,     0,     0,    92,   351,     0,
  292.      0,     0,     0,     0,   520,     0,     0,     0,     0,     0,
  293.      0,     0,   355,     0,   356,     0,   344,   345,     0,     0,
  294.      0,     0,     0,    94,     0,     0,     0,     0,     0,   357,
  295.      0,     0,     0,    92,   351,     0,     0,     0,     0,     0,
  296.    520,     0,   101,   102,     0,   358,     0,   359,   355,     0,
  297.    356,     0,     0,   363,     0,     0,     0,     0,     0,    94,
  298.      0,     0,     0,     0,     0,   357,     0,     0,     0,     0,
  299.      0,     0,     0,     0,     0,     0,   112,    15,   101,   102,
  300.      0,   358,     0,   359,   521,   522,     0,     0,     0,   363,
  301.      0,     0,   369,     0,     0,     0,     0,     0,     0,   371,
  302.      0,     0,     0,     0,     0,     0,   117,     0,     0,     0,
  303.      0,   523,   112,     0,   344,   345,     0,     0,     0,     0,
  304.    521,   522,     0,     0,     0,     0,     0,     0,   369,     0,
  305.      0,    92,   351,     0,     0,   371,     0,     0,   520,     0,
  306.      0,     0,   117,     0,     0,     0,     0,   523,   356,     0,
  307.    344,   345,     0,     0,     0,     0,     0,    94,     0,     0,
  308.      0,     0,     0,   357,     0,     0,     0,    92,   351,     0,
  309.      0,   373,     0,     0,   520,     0,   101,   102,     0,   358,
  310.      0,   359,     0,     0,   356,   524,   255,   363,   332,   376,
  311.    377,     0,     0,    94,     0,     0,     0,     0,     0,   357,
  312.      0,     0,     0,     0,     0,     0,     0,   373,     0,     0,
  313.    112,     0,   101,   102,     0,   358,     0,   359,   521,   522,
  314.      0,   524,   255,   363,   332,   376,   377,     0,     0,     0,
  315.      0,     0,     0,   371,   344,   345,     0,     0,     0,     0,
  316.    117,     0,     0,     0,     0,   523,   112,     0,     0,     0,
  317.      0,    92,   351,     0,   521,   522,     0,     0,   520,     0,
  318.      0,     0,     0,     0,     0,     0,     0,     0,   356,   371,
  319.      0,     0,     0,     0,     0,     0,   117,    94,     0,     0,
  320.      0,   523,     0,   357,     0,     0,     0,     0,     0,     0,
  321.      0,     0,     0,     0,     0,     0,   101,   102,     0,   358,
  322.      0,   359,     0,     0,  1157,   373,     0,   363,     0,     0,
  323.      0,     0,     0,     0,     0,     0,     0,     0,     0,   524,
  324.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  325.    112,     0,     0,     0,     0,     0,     0,     0,   521,   522,
  326.      0,   373,     0,     0,     0,     0,     0,     0,     0,     0,
  327.      0,     0,     0,   371,     0,   524,     0,     0,     0,     0,
  328.    117,     0,     0,     0,     0,   523,     0,     0,     0,     0,
  329.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  330.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  331.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  332.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  333.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  334.      0,     0,     0,     0,     0,     0,     0,     0,     0,     0,
  335.      0,     0,     0,     0,     0,     0,     0,     0,     0,   524
  336. };
  337. static const short yycheck[] = {     3,
  338.     32,   182,     6,   214,   420,   339,    24,   197,   399,   211,
  339.    236,   606,    16,    17,   491,    19,   564,  1095,   662,    23,
  340.    448,  1125,   203,    27,    28,    29,    30,   903,  1087,     0,
  341.   1025,     6,   699,   700,   701,   702,     8,     0,     0,   516,
  342.      6,     0,  1461,     9,    54,    10,    39,    56,    39,    47,
  343.      5,    21,     7,    56,   136,    25,     6,    40,    69,   116,
  344.    712,    39,   714,   715,   345,    21,   116,    44,     3,    67,
  345.      6,    39,   127,    21,   136,    56,   136,    57,   359,    27,
  346.    137,    85,    39,    66,    64,    55,    38,    40,    40,    44,
  347.    136,    39,   483,   570,   253,    40,    76,     6,   198,    55,
  348.    136,    79,    40,  1703,    45,    81,   136,    56,    13,   443,
  349.    980,   108,    40,    66,    66,   981,    62,   227,    39,    99,
  350.      6,    66,   225,   116,   120,   121,   337,   136,    66,   340,
  351.     94,    40,   112,   103,   132,    81,   246,    87,    56,   115,
  352.    117,    89,   245,     8,   137,    63,   127,   103,   248,  1568,
  353.    309,   134,   149,  1753,   104,   103,    42,    66,    63,   385,
  354.   1030,   109,   224,   133,   116,  1031,   248,    65,   250,   115,
  355.     91,   116,   136,    78,    69,   110,   231,   133,   116,   183,
  356.    184,   134,   134,   187,   188,   133,   190,   191,   248,   134,
  357.    250,   582,   249,   197,    10,   586,   134,   201,   202,   249,
  358.    141,   205,   248,   207,   208,   209,   134,   116,   183,   184,
  359.    214,   215,   248,   196,   250,   190,   114,   143,   248,   237,
  360.    250,   156,   227,  1642,    70,   134,   507,   231,  1332,  1333,
  361.    205,   241,   207,  1292,   225,  1230,   713,   248,   173,   248,
  362.    215,   246,   274,   275,   196,   248,   250,   225,   203,   253,
  363.    195,   196,   250,   170,   226,   259,   249,   225,   196,    57,
  364.    158,   226,   234,   235,   236,   237,   238,   239,   225,   234,
  365.    235,   236,   237,   238,   665,   247,  1695,   227,  1697,   249,
  366.    108,   252,   247,   249,    16,   235,   158,   291,   162,   252,
  367.    252,   227,   228,   252,   211,    51,  1374,   249,   207,   225,
  368.    245,   272,   100,    51,   249,   309,   134,   239,   326,   272,
  369.    272,   249,   979,   272,   705,   247,   320,   651,   192,   245,
  370.     36,   988,   989,   990,   991,   992,   993,   994,   225,   129,
  371.    982,    40,   225,   337,   180,    91,   340,   341,   342,   221,
  372.    225,   567,    63,    91,   144,   320,    62,    47,   245,    17,
  373.    177,   197,   245,   215,   216,    23,    88,    66,    40,    27,
  374.    245,   226,    30,   225,   222,    81,    82,    67,   386,   234,
  375.    235,   236,   237,   238,   239,   131,    51,    13,   260,  1438,
  376.   1032,   929,   247,   131,    66,   117,  1445,   152,   234,   235,
  377.    236,   237,   238,   239,   412,   786,   414,   415,    98,   115,
  378.    248,   247,   250,   435,  1399,   170,   954,   116,   163,   119,
  379.    226,    13,   416,   417,    89,    21,    91,    85,   234,   235,
  380.    236,   237,   238,   239,   428,   134,   842,    63,   225,   145,
  381.    611,   247,   132,    39,   116,   453,   662,   182,   193,   119,
  382.    856,   206,    78,   244,   448,   477,   211,   995,   249,   242,
  383.    454,   333,   134,   198,   224,   135,   131,   461,   462,   119,
  384.      4,    63,    36,   467,   227,     9,   470,   471,    70,  1345,
  385.     14,   239,   235,   477,    18,   202,    78,   206,    10,   247,
  386.    908,    58,   177,    89,   912,   214,   461,   248,    62,   250,
  387.     51,  1550,   467,  1552,    74,   470,   471,   103,   207,   227,
  388.    228,  1049,    79,   109,   981,   226,   153,    81,    82,  1296,
  389.    157,   515,  1299,   234,   235,   236,   237,   238,  1622,  1597,
  390.    997,   998,   248,   191,   250,    94,   247,   133,    89,  1006,
  391.     91,   248,  1320,   201,  1322,  1323,  1324,  1325,  1326,  1327,
  392.    544,   115,   546,   120,   121,   239,    94,  1625,  1200,  1201,
  393.   1202,   125,   126,   247,  1031,   105,   239,  1152,   236,   237,
  394.    238,   239,   908,   231,   247,   569,   912,   571,   236,   247,
  395.    131,   145,    29,    94,  1051,   159,   802,   226,   180,  1127,
  396.    164,   807,   250,   232,   233,   811,  1238,  1239,  1240,   815,
  397.    146,   259,   176,   819,   248,   197,   250,   823,   244,   245,
  398.     57,   827,    71,   187,   188,   831,   248,    64,   250,   835,
  399.    492,   493,   494,   947,   236,   237,   238,   499,  1009,    76,
  400.    607,   608,   609,   291,   226,   247,  1119,  1120,    85,   213,
  401.    117,   513,   234,   235,   236,   237,   238,   239,    94,   643,
  402.     70,   248,    99,   250,   146,   247,   650,   234,   235,   236,
  403.    237,   238,   239,    63,    71,   112,   660,   146,    71,   541,
  404.    247,   543,   666,    15,  1452,   224,   225,   671,   227,   248,
  405.    229,   250,  1460,   155,     6,   132,  1464,    54,  1466,    89,
  406.    143,  1469,  1470,  1471,  1472,  1473,  1474,  1475,  1476,  1477,
  407.   1478,   236,    10,  1481,   226,   699,   700,   701,   702,   231,
  408.    232,   233,   234,   235,   236,   237,   238,   239,   226,   248,
  409.    143,   250,  1500,   249,    10,   247,   234,   235,   236,   237,
  410.    238,   603,   604,    74,   248,   951,   250,   249,    35,   247,
  411.    932,   933,  1376,   959,   226,   248,   227,   250,   229,  1216,
  412.    114,   931,   234,   235,   236,   237,   238,   239,   416,   417,
  413.    180,   248,   142,   250,   636,   247,   638,   639,   640,   641,
  414.    428,   636,   248,   638,   639,   640,   641,   197,   234,   235,
  415.    236,   237,   238,   777,   778,   779,   780,   781,   782,   783,
  416.     94,   247,  1570,   227,   248,     8,   250,   248,    20,   250,
  417.     13,   863,   796,   865,   462,   777,   778,   779,   780,   781,
  418.    782,   783,   249,   249,   234,   235,   236,   237,   238,   239,
  419.    248,   139,   250,    29,   796,   249,   226,   247,   249,   245,
  420.    249,   231,   232,   233,   234,   235,   236,   237,   238,   248,
  421.    248,   250,   250,   248,  1382,   250,   248,   841,   250,   102,
  422.     63,    57,   249,   248,   862,   250,   249,    70,    64,   249,
  423.    249,   855,  1400,   857,   249,    78,    72,   248,   231,   250,
  424.     76,   249,   248,  1651,   250,   869,    89,   249,   248,    85,
  425.    250,   249,    10,   877,    97,   245,  1102,   236,   237,   238,
  426.    239,   249,   249,    99,   244,   249,   904,   891,   247,   893,
  427.    894,   895,   896,    77,   869,   244,   112,   143,   902,   567,
  428.     63,   226,   877,    77,   908,    77,   201,   185,   912,   234,
  429.    235,   236,   237,   238,   932,   933,   249,   921,   205,    94,
  430.     54,   896,   247,   127,   137,   250,   249,   931,   932,   933,
  431.    934,  1479,    56,   141,   938,   244,   940,   941,   244,    20,
  432.    116,    13,   946,   123,   127,   127,   921,   236,   237,   238,
  433.    239,   955,   956,   236,   237,   238,   239,   180,   247,  1185,
  434.    127,   127,   143,   938,   247,   940,     8,   247,   250,   250,
  435.   1447,    13,   248,    56,   197,   979,   980,   244,   199,   249,
  436.    248,    95,   650,    93,   988,   989,   990,   991,   992,   993,
  437.    994,    63,    25,    94,   662,   231,   169,    97,    70,   102,
  438.   1391,   210,    94,   226,    10,   175,    78,   231,   231,   232,
  439.    233,   234,   235,   236,   237,   238,   239,    89,   248,    13,
  440.    231,    63,   250,  1027,   247,    24,  1030,   250,    70,   248,
  441.    117,    56,   914,   250,    82,   250,    78,  1041,  1042,  1043,
  442.   1044,  1045,  1046,  1047,  1048,  1027,   115,    89,   250,   250,
  443.    932,   933,   250,   249,   249,    97,   249,   249,   249,  1041,
  444.   1042,  1043,  1044,  1045,  1046,  1047,  1048,   146,   246,    63,
  445.    148,   250,  1620,   250,   245,   244,    70,   231,  1626,  1627,
  446.   1496,   963,  1086,  1087,    78,   250,  1486,   249,  1092,   250,
  447.    249,  1095,   249,  1641,   226,   977,   249,   249,   249,   231,
  448.    232,   233,   234,   235,   236,   237,   238,   239,   180,  1509,
  449.   1510,  1511,  1512,  1513,  1514,   247,   249,   206,  1122,   249,
  450.    249,  1125,   249,  1141,   226,   197,   249,   249,   249,   231,
  451.    232,   233,   234,   235,   236,   237,   238,   239,   180,   250,
  452.    249,  1023,   249,   249,   249,   247,  1028,  1029,   250,  1153,
  453.   1376,  1155,   249,   249,   226,   197,  1704,  1161,  1339,   231,
  454.    232,   233,   234,   235,   236,   237,   238,   239,   189,   249,
  455.     73,   226,   249,   841,   249,   247,   231,   232,   233,   234,
  456.    235,   236,   237,   238,   226,   249,   180,   855,   249,   231,
  457.    232,   233,   234,   235,   236,   237,   238,   239,   249,     8,
  458.    249,  1601,   182,   197,    13,   247,   249,    73,   250,   249,
  459.   1610,  1611,  1612,  1613,  1614,  1615,  1616,  1617,  1618,  1619,
  460.     63,  1621,   234,   235,   236,   237,   238,   239,   231,   143,
  461.    136,   143,   226,    46,   902,   247,   247,  1119,  1120,  1121,
  462.    234,   235,   236,   237,   238,   239,    54,    63,   250,   250,
  463.    250,   249,   247,   247,    63,  1259,   249,   236,   250,   250,
  464.    250,    70,   250,   250,   250,   250,   250,   250,    60,    78,
  465.    248,   188,   136,   170,   248,   127,   249,  1259,   249,    60,
  466.     89,  1163,   221,    54,    10,    97,   127,  1498,  1292,   178,
  467.    181,   224,   209,   103,   249,    59,   249,   248,   250,  1303,
  468.    250,   250,   250,   250,   250,   249,   249,  1707,   246,   250,
  469.   1314,    72,     8,   250,   250,   250,  1320,    13,  1322,  1323,
  470.   1324,  1325,  1326,  1327,   250,   250,   250,   250,  1332,  1333,
  471.   1348,   250,   250,    99,  1338,   250,    72,   250,    15,  1314,
  472.    250,   250,   250,   250,    61,  1349,   250,   166,   250,   250,
  473.    250,  1369,   250,    39,   250,  1359,  1360,   250,   250,  1363,
  474.    250,    39,   249,  1338,   249,   249,   219,    63,   168,  1703,
  475.   1374,   180,    48,   249,    70,    73,     3,   249,    91,     6,
  476.     73,    96,    78,   250,  1359,   250,   248,   250,   197,    16,
  477.     17,   250,    19,    89,   250,   250,    23,    72,    72,   250,
  478.     27,    28,    29,    30,   250,   250,   250,   247,  1589,   106,
  479.    249,   248,    74,   244,   225,   249,   249,   226,  1086,  1087,
  480.    249,   249,   231,   232,   233,   234,   235,   236,   237,   238,
  481.    239,   249,  1450,   250,  1438,   249,     8,   109,   247,   167,
  482.     80,  1445,   248,   250,     8,   250,   250,   250,  1452,   250,
  483.    249,   247,   249,    94,   342,   249,  1460,   179,    85,   250,
  484.   1464,   250,  1466,   250,   224,  1469,  1470,  1471,  1472,  1473,
  485.   1474,  1475,  1476,  1477,  1478,   250,   246,  1481,   250,   226,
  486.    242,     4,  1486,   242,   180,   232,   233,   234,   235,   236,
  487.    237,   238,   239,     0,  1498,     0,  1500,   282,   272,   615,
  488.    247,   197,   442,   901,  1135,  1509,  1510,  1511,  1512,  1513,
  489.   1514,   195,   566,  1153,   893,   891,   415,  1366,  1649,  1724,
  490.   1749,  1714,  1501,  1744,  1143,  1155,  1750,   933,   416,    26,
  491.    226,   260,   934,    13,  1625,   231,   232,   233,   234,   235,
  492.    236,   237,   238,   239,   422,   338,  1550,   666,  1552,  1716,
  493.   1746,   247,   211,  1624,   322,  1733,   183,   184,  1141,    31,
  494.    187,   188,   877,   190,   191,   252,  1570,  1700,   839,   871,
  495.    197,   946,  1121,  1629,   201,   202,   583,  1595,   205,  1087,
  496.    207,   208,   209,  1297,  1747,  1300,   668,   214,   215,   373,
  497.   1594,  1228,   567,  1597,   571,   855,   208,  1601,   515,  1686,
  498.   1303,    -1,    -1,    -1,   231,    -1,  1610,  1611,  1612,  1613,
  499.   1614,  1615,  1616,  1617,  1618,  1619,    -1,  1621,  1622,  1594,
  500.     -1,  1625,    -1,   250,  1292,  1629,   253,   515,    -1,   546,
  501.     -1,    -1,   259,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  502.     -1,    -1,    -1,    -1,    -1,    -1,    -1,  1651,    -1,  1653,
  503.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   546,    -1,
  504.     -1,    -1,    -1,    -1,   291,    -1,    -1,    -1,    -1,    -1,
  505.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  506.     -1,  1349,   309,  1701,    -1,    -1,    -1,    -1,  1692,    -1,
  507.     -1,    -1,    -1,   320,    -1,    -1,    -1,     8,    -1,    -1,
  508.     -1,  1733,    13,  1707,    -1,    -1,    -1,    -1,  1376,    -1,
  509.    337,    -1,    -1,   340,   341,   342,    -1,    -1,    -1,    -1,
  510.   1602,  1603,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  511.    357,    -1,  1750,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  512.     -1,    -1,    -1,  1747,    -1,    -1,   373,    -1,    -1,    -1,
  513.     -1,    -1,    63,    -1,    -1,    -1,    -1,    -1,    -1,    70,
  514.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    78,     8,    -1,
  515.   1438,    -1,    -1,    13,    -1,    -1,    -1,  1445,    89,    -1,
  516.     -1,    -1,   699,   700,   701,   702,    97,   119,    -1,   416,
  517.    417,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  518.     -1,   428,    -1,   135,    -1,    -1,    -1,    -1,   140,    -1,
  519.     -1,   699,   700,   701,   702,   147,    -1,    -1,   150,    -1,
  520.     -1,   448,   154,    63,    -1,    -1,    -1,   454,    -1,    -1,
  521.     70,    -1,    -1,   165,   461,   462,    -1,    -1,    78,    -1,
  522.    467,    -1,   174,   470,   471,   177,    -1,    -1,    -1,    89,
  523.    477,    -1,    -1,    -1,    -1,    -1,    -1,    97,    -1,    -1,
  524.    777,   778,   779,   780,   781,   782,   783,    -1,   200,   180,
  525.    202,   498,    -1,    -1,    -1,   207,   208,    -1,    -1,   796,
  526.     -1,    -1,  1550,    -1,  1552,    -1,   197,    -1,    -1,   777,
  527.    778,   779,   780,   781,   782,   783,    -1,    -1,    -1,    -1,
  528.     -1,   497,    -1,    -1,    -1,    -1,    -1,    -1,   796,    -1,
  529.     -1,   342,    -1,    -1,    -1,   226,    -1,   544,    -1,    -1,
  530.    231,   232,   233,   234,   235,   236,   237,   238,   239,    -1,
  531.     -1,    -1,    -1,    -1,    -1,    -1,   247,   564,    58,   250,
  532.    180,    -1,   569,    -1,   571,    -1,    -1,     8,    -1,    -1,
  533.     -1,    -1,    13,    -1,    -1,    -1,    -1,   197,    -1,    79,
  534.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   855,    -1,    -1,
  535.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  536.     -1,    -1,    -1,    -1,    -1,   416,   226,    -1,    -1,    -1,
  537.     -1,   231,   232,   233,   234,   235,   236,   237,   238,   239,
  538.    120,   121,    63,    -1,    -1,    -1,    -1,   247,    -1,    70,
  539.    250,    -1,    -1,   133,    -1,   135,   643,    78,    -1,    -1,
  540.    140,    -1,    -1,   650,    -1,    -1,    -1,   147,    89,    -1,
  541.    150,    -1,    -1,   660,   154,    -1,    97,    -1,    -1,   666,
  542.     -1,    -1,    -1,    -1,   671,   165,    -1,    -1,    -1,    -1,
  543.     -1,    -1,    -1,    -1,   174,    -1,    -1,   177,    -1,    -1,
  544.     -1,    -1,   979,   980,    -1,    -1,    -1,    -1,    -1,    -1,
  545.     -1,   988,   989,   990,   991,   992,   993,   994,    -1,    -1,
  546.    200,    -1,   202,    -1,    -1,    -1,    -1,   207,   208,    -1,
  547.     -1,   979,   980,    -1,    -1,    -1,    -1,   217,    -1,    -1,
  548.    988,   989,   990,   991,   992,   993,   994,    -1,    -1,    -1,
  549.   1027,    -1,    -1,  1030,    -1,    -1,    -1,    -1,    -1,   180,
  550.     -1,    -1,    -1,    -1,  1041,  1042,  1043,  1044,  1045,  1046,
  551.   1047,  1048,    -1,    -1,    -1,    -1,   197,    -1,    -1,  1027,
  552.     -1,    -1,  1030,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  553.     -1,    -1,    -1,  1041,  1042,  1043,  1044,  1045,  1046,  1047,
  554.   1048,    -1,    -1,     8,    -1,   226,    11,    -1,    13,    -1,
  555.    231,   232,   233,   234,   235,   236,   237,   238,   239,    -1,
  556.     -1,    -1,    -1,    -1,    -1,    -1,   247,    -1,    -1,   250,
  557.     -1,    -1,    -1,    -1,    -1,    -1,    41,    -1,    -1,    -1,
  558.     -1,    -1,    -1,    -1,    -1,  1122,   802,    -1,     8,    -1,
  559.     -1,   807,    -1,    13,   841,   811,    -1,    -1,    63,   815,
  560.     -1,    -1,    -1,   819,    -1,    70,    -1,   823,   855,    -1,
  561.    857,   827,    -1,    78,    -1,   831,    -1,    -1,    -1,   835,
  562.     -1,    -1,   869,    -1,    89,    -1,    -1,    -1,    -1,    -1,
  563.    877,    -1,    97,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  564.     -1,    -1,    -1,    63,   891,    -1,   893,   894,   895,   896,
  565.     70,    -1,    -1,    -1,    -1,   902,    -1,    -1,    78,    -1,
  566.     -1,   908,    -1,    -1,    -1,   912,    -1,    -1,    -1,    89,
  567.     -1,   136,    -1,    -1,   921,    -1,    -1,    97,    -1,    -1,
  568.     -1,    -1,   929,    -1,   931,   932,   933,   934,    -1,    -1,
  569.     -1,   938,    -1,   940,   941,    -1,    -1,    -1,    -1,   946,
  570.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   954,   955,   956,
  571.     -1,    -1,    -1,    -1,   930,   180,    -1,    -1,    -1,    -1,
  572.     -1,    -1,  1259,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  573.     -1,    -1,   197,    -1,    13,    -1,    -1,    -1,    -1,    -1,
  574.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   995,    -1,
  575.     -1,  1259,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  576.    180,   226,    -1,    -1,    -1,    -1,   231,   232,   233,   234,
  577.    235,   236,   237,   238,   239,    -1,    -1,   197,    -1,    -1,
  578.     -1,    -1,   247,  1320,    63,  1322,  1323,  1324,  1325,  1326,
  579.   1327,    70,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    78,
  580.     -1,    -1,  1049,    -1,   855,  1052,   226,    -1,    -1,    -1,
  581.     89,   231,   232,   233,   234,   235,   236,   237,   238,   239,
  582.     -1,    -1,    -1,  1360,    -1,    -1,    -1,   247,   248,    -1,
  583.     -1,    -1,    -1,    -1,    -1,    -1,  1052,  1374,    -1,  1086,
  584.   1087,    -1,    -1,  1059,  1060,  1092,  1062,  1063,  1095,  1065,
  585.   1066,    -1,  1068,  1069,    -1,  1071,  1072,    -1,  1074,  1075,
  586.     -1,  1077,  1078,    -1,  1080,  1081,    -1,  1083,  1084,    -1,
  587.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,  1125,    -1,
  588.   1127,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  589.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  590.     -1,   180,    -1,    -1,    -1,    -1,  1153,    -1,  1155,    -1,
  591.     -1,    -1,    -1,    -1,  1161,  1452,    -1,    -1,   197,    -1,
  592.     -1,    -1,    -1,  1460,    -1,    -1,    -1,  1464,    -1,  1466,
  593.     -1,    -1,  1469,  1470,  1471,  1472,  1473,  1474,  1475,  1476,
  594.   1477,  1478,    -1,    -1,  1481,    -1,    -1,   226,    -1,  1486,
  595.     -1,    -1,   231,   232,   233,   234,   235,   236,   237,   238,
  596.    239,    -1,    -1,  1500,    -1,    -1,    -1,    -1,   247,    -1,
  597.     -1,    -1,  1509,  1510,  1511,  1512,  1513,  1514,    -1,    -1,
  598.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  599.     -1,    -1,    -1,    -1,    -1,     7,    -1,    -1,    -1,    -1,
  600.     12,  1052,    -1,    -1,    -1,    -1,    -1,    -1,  1224,    -1,
  601.     22,    -1,  1228,  1260,    26,    -1,    28,    -1,    -1,    -1,
  602.     -1,    -1,    -1,    -1,    -1,    -1,    38,    -1,    40,    -1,
  603.     -1,    -1,    44,  1570,    46,    -1,    -1,    -1,    -1,    -1,
  604.     52,    -1,    -1,    -1,  1260,  1292,    -1,    59,    -1,    -1,
  605.     -1,    -1,    -1,    -1,    66,    -1,  1303,    -1,    -1,    -1,
  606.     -1,    -1,    -1,    -1,  1601,    -1,    -1,  1314,    -1,    -1,
  607.     -1,  1122,    -1,  1610,  1611,  1612,  1613,  1614,  1615,  1616,
  608.   1617,  1618,  1619,    -1,  1621,  1332,  1333,    -1,    -1,    -1,
  609.     -1,  1338,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   111,
  610.     -1,   113,  1349,    -1,   116,   117,     8,    -1,    -1,    -1,
  611.     -1,    13,  1359,    -1,  1651,    -1,  1363,    -1,    -1,    -1,
  612.     -1,    -1,   134,    -1,    -1,    -1,    -1,  1374,    -1,    -1,
  613.     -1,    -1,    -1,    -1,    -1,  1382,    -1,    -1,    -1,   151,
  614.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   160,   161,
  615.     -1,    -1,    -1,  1400,    -1,    -1,    -1,    -1,    -1,   171,
  616.    172,    63,    -1,    -1,  1411,    -1,    -1,    -1,    70,    -1,
  617.   1707,   183,   184,    -1,   186,    -1,    78,  1393,   190,    -1,
  618.     -1,  1397,    -1,    -1,   196,    -1,    -1,    89,    -1,    -1,
  619.     -1,  1438,   204,    -1,    -1,    97,    -1,    -1,  1445,    -1,
  620.    212,    -1,   515,    -1,    -1,    -1,   218,    -1,   220,  1260,
  621.     -1,    -1,    -1,    -1,  1461,    -1,    -1,    -1,    -1,    -1,
  622.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  623.     -1,    -1,  1479,   546,    -1,    -1,    -1,   249,    -1,    -1,
  624.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  625.     -1,  1498,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  626.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,  1320,
  627.     -1,  1322,  1323,  1324,  1325,  1326,  1327,    -1,   180,    -1,
  628.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  629.     -1,    -1,    -1,    -1,    -1,   197,    -1,    -1,    -1,    -1,
  630.     -1,    -1,  1549,  1550,    -1,  1552,    -1,    -1,    -1,  1360,
  631.     -1,    -1,    -1,    -1,    -1,  1562,    -1,    -1,    -1,    -1,
  632.     -1,  1568,    -1,    -1,   226,    -1,    -1,    -1,    -1,   231,
  633.    232,   233,   234,   235,   236,   237,   238,   239,    -1,    -1,
  634.     -1,    -1,    -1,    -1,   360,   247,   248,  1594,    -1,    -1,
  635.   1597,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   375,
  636.   1411,    -1,   378,    -1,   380,   381,   382,   383,   384,   385,
  637.     -1,    -1,    -1,  1620,    -1,  1622,    -1,    -1,  1625,  1626,
  638.   1627,    -1,  1629,    -1,    -1,    -1,   699,   700,   701,   702,
  639.     -1,    -1,    -1,    -1,  1641,  1642,    -1,    -1,    -1,    -1,
  640.     -1,  1452,  1649,    -1,    -1,    -1,  1653,    -1,    -1,  1460,
  641.   1461,    -1,    -1,  1464,    -1,  1466,    -1,   433,  1469,  1470,
  642.   1471,  1472,  1473,  1474,  1475,  1476,  1477,  1478,    -1,    -1,
  643.   1481,    -1,    -1,    -1,    -1,  1486,    -1,    -1,    -1,    -1,
  644.     -1,    -1,    -1,   459,    -1,  1692,    -1,    -1,  1695,  1500,
  645.   1697,    -1,    -1,    -1,    -1,    -1,    -1,  1704,  1509,  1510,
  646.   1511,  1512,  1513,  1514,   777,   778,   779,   780,   781,   782,
  647.    783,   487,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  648.     -1,    -1,    -1,   796,    -1,    -1,    -1,    -1,    -1,    -1,
  649.     -1,    -1,    -1,    -1,    -1,   511,   512,    -1,  1549,    -1,
  650.   1747,    -1,    -1,   519,    -1,    -1,    -1,    -1,    -1,    -1,
  651.     -1,  1562,   528,    -1,    -1,    -1,    -1,  1568,     8,  1570,
  652.     -1,    -1,    -1,    13,    -1,    -1,    -1,    -1,    -1,   545,
  653.     -1,    -1,    -1,   549,    -1,   551,    -1,    -1,   554,   555,
  654.    556,   557,   558,   559,   560,   561,   562,   563,    -1,    -1,
  655.   1601,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,  1610,
  656.   1611,  1612,  1613,  1614,  1615,  1616,  1617,  1618,  1619,    -1,
  657.   1621,    -1,    -1,    63,    -1,    -1,    -1,    -1,    -1,    -1,
  658.     70,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    78,    -1,
  659.     -1,  1642,    -1,    -1,    -1,    -1,    -1,    -1,  1649,    89,
  660.   1651,    -1,    -1,     8,    -1,    -1,    -1,    97,    13,    -1,
  661.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  662.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  663.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  664.     -1,    -1,    -1,    -1,  1695,    -1,  1697,    -1,    -1,    -1,
  665.     -1,   667,    -1,    -1,    -1,    -1,  1707,    -1,    63,    -1,
  666.     -1,    -1,    -1,    -1,    -1,    70,   979,   980,    -1,    -1,
  667.     -1,    -1,    -1,    78,    -1,   988,   989,   990,   991,   992,
  668.    993,   994,    -1,    -1,    89,    -1,    -1,    -1,    -1,    -1,
  669.    180,    -1,    97,    -1,    -1,    -1,   712,    -1,   714,   715,
  670.      8,    -1,    10,    -1,    -1,    13,   722,   197,    -1,    -1,
  671.     -1,    -1,    -1,    -1,  1027,    -1,    -1,  1030,    -1,    -1,
  672.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,  1041,  1042,
  673.   1043,  1044,  1045,  1046,  1047,  1048,   226,    -1,    -1,  1052,
  674.     -1,   231,   232,   233,   234,   235,   236,   237,   238,   239,
  675.     -1,    -1,    -1,    -1,    -1,    63,    -1,   247,   248,    -1,
  676.     -1,    -1,    70,    -1,    -1,    -1,    -1,    -1,   784,    -1,
  677.     78,    -1,    -1,    -1,    -1,   180,    -1,    -1,    -1,    -1,
  678.     -1,    89,   798,    -1,    -1,    -1,   802,    -1,    -1,    97,
  679.     -1,   807,   197,    -1,    -1,   811,    -1,     8,    -1,   815,
  680.     -1,    -1,    13,   819,    -1,    -1,    -1,   823,    -1,  1122,
  681.     -1,   827,    -1,    -1,    -1,   831,    -1,    -1,    13,   835,
  682.     -1,   226,    -1,    -1,    -1,    -1,   231,   232,   233,   234,
  683.    235,   236,   237,   238,   239,    -1,   241,    -1,    -1,    -1,
  684.     -1,   246,   247,    -1,    -1,    56,    -1,    -1,    -1,    -1,
  685.     -1,    -1,    63,    -1,    -1,   871,    -1,    -1,    -1,    70,
  686.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    78,    63,    -1,
  687.     -1,    -1,   180,    -1,    -1,    70,    -1,    -1,    89,    -1,
  688.     -1,    -1,     8,    78,    -1,    -1,    97,    13,    -1,   197,
  689.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  690.     -1,    -1,     8,    -1,    -1,    -1,    -1,    13,    -1,    -1,
  691.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   226,    -1,
  692.     -1,    -1,    -1,   231,   232,   233,   234,   235,   236,   237,
  693.    238,   239,    -1,    -1,    -1,    -1,    -1,    63,    -1,   247,
  694.     -1,    -1,   958,    -1,    70,    -1,  1259,  1260,    -1,    -1,
  695.     -1,   967,    78,    -1,    -1,    -1,    -1,    63,    -1,    -1,
  696.    976,    -1,    -1,    89,    70,    -1,   982,    -1,    -1,   180,
  697.     -1,    97,    78,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  698.     -1,    -1,    -1,    89,    -1,   180,   197,    -1,    -1,    -1,
  699.     -1,    97,  1008,    -1,    -1,    -1,   122,    -1,    -1,    -1,
  700.     -1,    -1,   197,     8,    -1,    10,    -1,  1320,    13,  1322,
  701.   1323,  1324,  1325,  1326,  1327,   226,  1032,    -1,    -1,    -1,
  702.    231,   232,   233,   234,   235,   236,   237,   238,   239,    -1,
  703.     -1,   226,    -1,    -1,    -1,    -1,   247,   232,   233,   234,
  704.    235,   236,   237,   238,   239,    -1,    -1,  1360,    -1,    -1,
  705.     -1,    -1,   247,    -1,   180,    -1,    -1,    -1,    63,    -1,
  706.     -1,    -1,    -1,    -1,    -1,    70,    -1,    -1,    -1,    -1,
  707.     -1,   197,    -1,    78,   180,    -1,    -1,    -1,    -1,    -1,
  708.     -1,    -1,    -1,    -1,    89,    -1,    -1,    -1,    -1,    -1,
  709.     -1,   197,    97,    -1,    -1,    -1,    -1,    -1,  1411,    -1,
  710.    226,    -1,    -1,    -1,    -1,   231,   232,   233,   234,   235,
  711.    236,   237,   238,   239,    -1,    -1,    -1,    -1,    -1,    -1,
  712.    226,   247,    -1,    -1,    -1,   231,   232,   233,   234,   235,
  713.    236,   237,   238,   239,    -1,    -1,    -1,    -1,    -1,  1452,
  714.    246,   247,    -1,    -1,    -1,    -1,    -1,  1460,  1461,    -1,
  715.     -1,  1464,    -1,  1466,    -1,    -1,  1469,  1470,  1471,  1472,
  716.   1473,  1474,  1475,  1476,  1477,  1478,    -1,    -1,  1481,    -1,
  717.     -1,    -1,    -1,  1486,    -1,   180,    -1,    -1,    -1,    -1,
  718.     -1,    -1,    -1,    -1,  1200,  1201,  1202,  1500,    -1,    -1,
  719.     -1,    -1,   197,    -1,    -1,    -1,  1509,  1510,  1511,  1512,
  720.   1513,  1514,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  721.     -1,    -1,  1228,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  722.     -1,   226,  1238,  1239,  1240,    -1,   231,   232,   233,   234,
  723.    235,   236,   237,   238,   239,    -1,  1549,    -1,    -1,    -1,
  724.     -1,    -1,   247,    -1,    -1,    -1,    -1,    -1,    -1,  1562,
  725.     -1,    -1,    -1,    -1,    -1,  1568,    -1,  1570,    -1,    -1,
  726.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  727.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  728.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,  1601,    -1,
  729.     -1,    -1,    -1,    -1,    -1,    -1,    -1,  1610,  1611,  1612,
  730.   1613,  1614,  1615,  1616,  1617,  1618,  1619,    -1,  1621,    -1,
  731.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  732.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,  1642,
  733.     -1,    -1,    -1,     3,     4,    -1,  1649,    -1,  1651,    -1,
  734.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    17,    18,    19,
  735.     20,    -1,    -1,    23,    -1,    -1,    -1,    -1,    -1,    -1,
  736.     30,    31,    32,    33,    34,    -1,    36,    37,    -1,    -1,
  737.     -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    49,
  738.     50,    51,  1695,    53,  1697,    -1,    -1,    -1,    -1,    -1,
  739.     -1,    -1,    62,    -1,  1707,    65,    -1,    -1,    68,    -1,
  740.     -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,
  741.     80,    81,    82,    -1,    84,    -1,    86,    87,    -1,    89,
  742.     90,    91,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
  743.     -1,   101,  1448,    -1,   104,   105,    -1,    -1,   108,    -1,
  744.    110,    -1,    -1,    -1,   114,   115,    -1,    -1,   118,    -1,
  745.     -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,
  746.    130,   131,    -1,    -1,    -1,   135,    -1,    -1,   138,    -1,
  747.     -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,
  748.    150,    -1,   152,   153,   154,    -1,   156,   157,    -1,   159,
  749.     -1,    -1,   162,   163,   164,   165,   166,    -1,   168,   169,
  750.    170,    -1,    -1,   173,   174,   175,   176,   177,   178,   179,
  751.    180,   181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,
  752.     -1,   191,   192,   193,    -1,   195,    -1,   197,    -1,   199,
  753.    200,   201,   202,   203,    -1,   205,   206,   207,   208,   209,
  754.    210,   211,    -1,   213,   214,   215,   216,   217,    -1,    -1,
  755.     -1,   221,    -1,   223,   224,   225,   226,   227,   228,   229,
  756.     -1,     3,     4,    -1,    -1,   235,   236,    -1,   238,   239,
  757.    240,   241,   242,    -1,    -1,    17,    18,    19,    20,   249,
  758.    250,    23,    -1,    -1,    -1,    -1,    -1,    -1,    30,    31,
  759.     32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,    -1,
  760.     -1,    43,    -1,    -1,    -1,    -1,    -1,    49,    50,    51,
  761.     -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  762.     62,    -1,  1638,    65,    -1,    -1,    68,    -1,    -1,    71,
  763.     -1,    73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,
  764.     82,    -1,    84,    -1,    86,    87,    -1,    89,    90,    91,
  765.     92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,   101,
  766.     -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,
  767.     -1,    -1,   114,   115,    -1,    -1,   118,    -1,    -1,    -1,
  768.     -1,   123,   124,   125,   126,    -1,    -1,    -1,   130,   131,
  769.     -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,    -1,
  770.     -1,    -1,    -1,   145,   146,   147,   148,   149,   150,    -1,
  771.    152,   153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,
  772.    162,   163,   164,   165,   166,    -1,   168,   169,   170,    -1,
  773.     -1,   173,   174,   175,   176,   177,   178,   179,   180,   181,
  774.     -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,
  775.    192,   193,    -1,   195,    -1,   197,    -1,   199,   200,   201,
  776.    202,   203,    -1,   205,   206,   207,   208,   209,   210,   211,
  777.     -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,   221,
  778.     -1,   223,   224,   225,   226,   227,   228,   229,    -1,     3,
  779.      4,    -1,    -1,   235,    -1,    -1,   238,   239,   240,   241,
  780.    242,    -1,    -1,    17,    18,    19,    20,   249,   250,    23,
  781.     -1,    -1,    -1,    -1,    -1,    -1,    30,    31,    32,    33,
  782.     34,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,
  783.     -1,    -1,    -1,    -1,    -1,    49,    50,    51,    -1,    53,
  784.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,
  785.     -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,
  786.     74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,
  787.     84,    -1,    86,    87,    -1,    89,    90,    91,    92,    93,
  788.     -1,    95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,
  789.    104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,
  790.    114,   115,    -1,    -1,   118,    -1,    -1,    -1,    -1,   123,
  791.    124,   125,   126,    -1,    -1,    -1,   130,   131,    -1,    -1,
  792.     -1,   135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,
  793.     -1,   145,   146,   147,   148,   149,   150,    -1,   152,   153,
  794.    154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,
  795.    164,   165,   166,    -1,   168,   169,   170,    -1,    -1,   173,
  796.    174,   175,   176,   177,   178,   179,   180,   181,    -1,    -1,
  797.     -1,   185,    -1,   187,   188,   189,    -1,   191,   192,   193,
  798.     -1,   195,    -1,   197,    -1,   199,   200,   201,   202,   203,
  799.     -1,   205,   206,   207,   208,   209,   210,   211,    -1,   213,
  800.    214,   215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,
  801.    224,   225,   226,   227,   228,   229,     3,     4,    -1,    -1,
  802.     -1,   235,    -1,    -1,   238,   239,   240,   241,   242,    -1,
  803.     -1,    18,    19,    20,    -1,   249,   250,    -1,    -1,    -1,
  804.     -1,    -1,    -1,    -1,    31,    32,    33,    34,    -1,    36,
  805.     37,    -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,
  806.     -1,    -1,    -1,    -1,    51,    -1,    53,    -1,    -1,    -1,
  807.     -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,
  808.     -1,    68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,
  809.     77,    -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,
  810.     87,    -1,    -1,    -1,    -1,    92,    93,    -1,    95,    96,
  811.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,
  812.     -1,   108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,
  813.     -1,    -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,
  814.     -1,    -1,    -1,    -1,   131,    -1,    -1,    -1,   135,    -1,
  815.     -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,
  816.    147,   148,   149,   150,    -1,   152,   153,   154,    -1,   156,
  817.    157,    -1,   159,    -1,    -1,   162,   163,   164,   165,   166,
  818.     -1,   168,   169,   170,    -1,    -1,   173,   174,   175,   176,
  819.    177,   178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,
  820.    187,   188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,
  821.    197,    -1,   199,   200,   201,   202,   203,    -1,   205,   206,
  822.    207,   208,   209,   210,   211,    -1,   213,   214,   215,   216,
  823.    217,    -1,    -1,    -1,   221,    -1,   223,   224,   225,   226,
  824.    227,   228,   229,     3,     4,    -1,    -1,    -1,   235,    -1,
  825.     -1,    -1,    -1,   240,   241,   242,    -1,    -1,    18,    19,
  826.     20,    -1,   249,   250,    -1,    -1,    -1,    -1,    -1,    -1,
  827.     -1,    -1,    -1,    -1,    -1,    -1,    36,    37,    -1,    -1,
  828.     -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    -1,
  829.     -1,    51,    13,    53,    -1,    -1,    -1,    -1,    -1,    -1,
  830.     -1,    -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,
  831.     -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,
  832.     80,    81,    82,    -1,    84,    -1,    86,    87,    -1,    89,
  833.     -1,    91,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
  834.     -1,    -1,    63,    -1,   104,   105,    -1,    -1,   108,    70,
  835.    110,    -1,    -1,    -1,   114,   115,    -1,    78,    -1,    -1,
  836.     -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,
  837.     -1,   131,    -1,    -1,    -1,    -1,    -1,    -1,   138,    -1,
  838.     -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,
  839.    150,    -1,   152,   153,   154,    -1,   156,   157,    -1,   159,
  840.     -1,    -1,   162,   163,   164,   165,   166,    -1,   168,   169,
  841.    170,    -1,    -1,   173,   174,   175,   176,   177,   178,   179,
  842.    180,   181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,
  843.     -1,    -1,   192,   193,    -1,   195,    -1,   197,    -1,   199,
  844.    200,   201,   202,   203,    -1,   205,   206,   207,   208,   209,
  845.    210,   211,    -1,   213,   214,   215,   216,   217,    -1,   180,
  846.     -1,   221,    -1,   223,   224,   225,   226,   227,   228,   229,
  847.      3,     4,    -1,    -1,    -1,   235,   197,    -1,    -1,    -1,
  848.    240,   241,   242,    -1,    -1,    -1,    19,    20,    -1,   249,
  849.    250,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  850.     -1,    -1,    -1,    36,    37,   226,    -1,    -1,    -1,    -1,
  851.     43,   232,   233,   234,   235,   236,   237,   238,   239,    -1,
  852.     53,    -1,    -1,    -1,    -1,    -1,   247,    -1,    -1,    62,
  853.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  854.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  855.     -1,    84,    -1,    86,    87,    -1,    -1,    -1,    -1,    92,
  856.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  857.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  858.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  859.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  860.     -1,    -1,    -1,    -1,    -1,   138,    -1,    -1,    -1,    -1,
  861.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  862.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  863.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  864.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  865.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  866.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  867.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  868.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  869.    223,   224,    -1,    -1,    -1,    -1,    14,    -1,    -1,    17,
  870.     18,    19,    20,    -1,    -1,    23,    -1,    -1,    -1,    -1,
  871.     -1,    -1,    30,    31,    32,    33,    34,   250,    36,    37,
  872.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  873.     -1,    49,    50,    51,    -1,    53,    -1,    -1,    56,    -1,
  874.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  875.     68,    -1,    -1,    71,    -1,    73,    74,    75,    -1,    77,
  876.     -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,    87,
  877.     -1,    89,    90,    91,    92,    93,    -1,    95,    96,    -1,
  878.     -1,    -1,    -1,   101,    -1,    -1,   104,   105,    -1,    -1,
  879.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  880.    118,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  881.    128,    -1,   130,   131,    -1,    -1,    -1,   135,    -1,    -1,
  882.    138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  883.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  884.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  885.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  886.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  887.    188,   189,    -1,   191,   192,   193,    -1,   195,    -1,   197,
  888.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  889.    208,   209,   210,   211,    -1,   213,   214,   215,   216,   217,
  890.     -1,    -1,    -1,   221,    -1,   223,   224,   225,   226,   227,
  891.    228,   229,    -1,    -1,    -1,    -1,    -1,   235,     3,     4,
  892.    238,   239,   240,   241,   242,    -1,    -1,    -1,    -1,    14,
  893.     -1,   249,    17,    18,    19,    20,    -1,    -1,    23,    -1,
  894.     -1,    -1,    -1,    -1,    -1,    30,    31,    32,    33,    34,
  895.     -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,    -1,
  896.     -1,    -1,    -1,    -1,    49,    50,    51,    -1,    53,    -1,
  897.     -1,    56,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,
  898.     65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,    74,
  899.     75,    -1,    77,    -1,    -1,    80,    81,    82,    -1,    84,
  900.     -1,    86,    87,    -1,    89,    90,    91,    92,    93,    -1,
  901.     95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,   104,
  902.    105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,   114,
  903.    115,    -1,    -1,   118,    -1,    -1,    -1,    -1,   123,   124,
  904.    125,   126,    -1,   128,    -1,   130,   131,    -1,    -1,    -1,
  905.    135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,
  906.    145,   146,   147,   148,   149,   150,    -1,   152,   153,   154,
  907.     -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,   164,
  908.    165,   166,    -1,   168,   169,   170,    -1,    -1,   173,   174,
  909.    175,   176,   177,   178,   179,   180,   181,    -1,    -1,    -1,
  910.    185,    -1,   187,   188,   189,    -1,   191,   192,   193,    -1,
  911.    195,    -1,   197,    -1,   199,   200,   201,   202,   203,    -1,
  912.    205,   206,   207,   208,   209,   210,   211,    -1,   213,   214,
  913.    215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,   224,
  914.    225,   226,   227,   228,   229,    -1,    -1,    -1,    -1,    -1,
  915.    235,     3,     4,   238,   239,   240,   241,   242,    -1,    -1,
  916.     -1,    -1,    14,    -1,   249,    17,    18,    19,    20,    -1,
  917.     -1,    23,    -1,    -1,    -1,    -1,    -1,    -1,    30,    31,
  918.     32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,    -1,
  919.     -1,    43,    -1,    -1,    -1,    -1,    -1,    49,    50,    51,
  920.     -1,    53,    -1,    -1,    56,    -1,    -1,    -1,    -1,    -1,
  921.     62,    -1,    -1,    65,    -1,    -1,    68,    -1,    -1,    71,
  922.     -1,    73,    74,    75,    -1,    77,    -1,    -1,    80,    81,
  923.     82,    -1,    84,    -1,    86,    87,    -1,    89,    90,    91,
  924.     92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,   101,
  925.     -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,
  926.     -1,    -1,   114,   115,    -1,    -1,   118,    -1,    -1,    -1,
  927.     -1,   123,   124,   125,   126,    -1,   128,    -1,   130,   131,
  928.     -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,    -1,
  929.     -1,    -1,    -1,   145,   146,   147,   148,   149,   150,    -1,
  930.    152,   153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,
  931.    162,   163,   164,   165,   166,    -1,   168,   169,   170,    -1,
  932.     -1,   173,   174,   175,   176,   177,   178,   179,   180,   181,
  933.     -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,
  934.    192,   193,    -1,   195,    -1,   197,    -1,   199,   200,   201,
  935.    202,   203,    -1,   205,   206,   207,   208,   209,   210,   211,
  936.     -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,   221,
  937.     -1,   223,   224,   225,   226,   227,   228,   229,     3,     4,
  938.     -1,     6,    -1,   235,     9,    -1,   238,   239,   240,   241,
  939.    242,    -1,    17,    18,    19,    20,    -1,   249,    23,    -1,
  940.     -1,    -1,    -1,    -1,    -1,    30,    31,    32,    33,    34,
  941.     -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,    -1,
  942.     -1,    -1,    -1,    -1,    49,    50,    51,    -1,    53,    -1,
  943.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,
  944.     65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,    74,
  945.     -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,    84,
  946.     -1,    86,    87,    -1,    89,    90,    91,    92,    93,    -1,
  947.     95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,   104,
  948.    105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,   114,
  949.    115,    -1,    -1,   118,    -1,    -1,    -1,    -1,   123,   124,
  950.    125,   126,    -1,    -1,    -1,   130,   131,    -1,    -1,    -1,
  951.    135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,
  952.    145,   146,   147,   148,   149,   150,    -1,   152,   153,   154,
  953.     -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,   164,
  954.    165,   166,    -1,   168,   169,   170,    -1,    -1,   173,   174,
  955.    175,   176,   177,   178,   179,   180,   181,    -1,    -1,    -1,
  956.    185,    -1,   187,   188,   189,    -1,   191,   192,   193,    -1,
  957.    195,    -1,   197,    -1,   199,   200,   201,   202,   203,    -1,
  958.    205,   206,   207,   208,   209,   210,   211,    -1,   213,   214,
  959.    215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,   224,
  960.    225,   226,   227,   228,   229,     3,     4,    -1,     6,    -1,
  961.    235,     9,    -1,   238,   239,   240,   241,   242,    -1,    17,
  962.     18,    19,    20,    -1,   249,    23,    -1,    -1,    -1,    -1,
  963.     -1,    -1,    30,    31,    32,    33,    34,    -1,    36,    37,
  964.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  965.     -1,    49,    50,    51,    -1,    53,    -1,    -1,    -1,    -1,
  966.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  967.     68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  968.     -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,    87,
  969.     -1,    89,    90,    91,    92,    93,    -1,    95,    96,    -1,
  970.     -1,    -1,    -1,   101,    -1,    -1,   104,   105,    -1,    -1,
  971.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  972.    118,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  973.     -1,    -1,   130,   131,    -1,    -1,    -1,   135,    -1,    -1,
  974.    138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  975.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  976.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  977.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  978.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  979.    188,   189,    -1,   191,   192,   193,    -1,   195,    -1,   197,
  980.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  981.    208,   209,   210,   211,    -1,   213,   214,   215,   216,   217,
  982.     -1,    -1,    -1,   221,    -1,   223,   224,   225,   226,   227,
  983.    228,   229,     3,     4,    -1,     6,    -1,   235,     9,    -1,
  984.    238,   239,   240,   241,   242,    -1,    17,    18,    19,    20,
  985.     -1,   249,    23,    -1,    -1,    -1,    -1,    -1,    -1,    30,
  986.     31,    32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,
  987.     -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    49,    50,
  988.     51,    -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  989.     -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,    -1,
  990.     71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,    80,
  991.     81,    82,    -1,    84,    -1,    86,    87,    -1,    89,    90,
  992.     91,    92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,
  993.    101,    -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,
  994.     -1,    -1,    -1,   114,   115,    -1,    -1,   118,    -1,    -1,
  995.     -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,   130,
  996.    131,    -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,
  997.     -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,   150,
  998.     -1,   152,   153,   154,    -1,   156,   157,    -1,   159,    -1,
  999.     -1,   162,   163,   164,   165,   166,    -1,   168,   169,   170,
  1000.     -1,    -1,   173,   174,   175,   176,   177,   178,   179,   180,
  1001.    181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,
  1002.    191,   192,   193,    -1,   195,    -1,   197,    -1,   199,   200,
  1003.    201,   202,   203,    -1,   205,   206,   207,   208,   209,   210,
  1004.    211,    -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,
  1005.    221,    -1,   223,   224,   225,   226,   227,   228,   229,     3,
  1006.      4,    -1,     6,    -1,   235,     9,    -1,   238,   239,   240,
  1007.    241,   242,    -1,    17,    18,    19,    20,    -1,   249,    23,
  1008.     -1,    -1,    -1,    -1,    -1,    -1,    30,    31,    32,    33,
  1009.     34,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,
  1010.     -1,    -1,    -1,    -1,    -1,    49,    50,    51,    -1,    53,
  1011.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,
  1012.     -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,
  1013.     74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,
  1014.     84,    -1,    86,    87,    -1,    89,    90,    91,    92,    93,
  1015.     -1,    95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,
  1016.    104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,
  1017.    114,   115,    -1,    -1,   118,    -1,    -1,    -1,    -1,   123,
  1018.    124,   125,   126,    -1,    -1,    -1,   130,   131,    -1,    -1,
  1019.     -1,   135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,
  1020.     -1,   145,   146,   147,   148,   149,   150,    -1,   152,   153,
  1021.    154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,
  1022.    164,   165,   166,    -1,   168,   169,   170,    -1,    -1,   173,
  1023.    174,   175,   176,   177,   178,   179,   180,   181,    -1,    -1,
  1024.     -1,   185,    -1,   187,   188,   189,    -1,   191,   192,   193,
  1025.     -1,   195,    -1,   197,    -1,   199,   200,   201,   202,   203,
  1026.     -1,   205,   206,   207,   208,   209,   210,   211,    -1,   213,
  1027.    214,   215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,
  1028.    224,   225,   226,   227,   228,   229,     3,     4,    -1,     6,
  1029.     -1,   235,     9,    -1,   238,   239,   240,   241,   242,    -1,
  1030.     17,    18,    19,    20,    -1,   249,    23,    -1,    -1,    -1,
  1031.     -1,    -1,    -1,    30,    31,    32,    33,    34,    -1,    36,
  1032.     37,    -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,
  1033.     -1,    -1,    49,    50,    51,    -1,    53,    -1,    -1,    -1,
  1034.     -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,
  1035.     -1,    68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,
  1036.     77,    -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,
  1037.     87,    -1,    89,    90,    91,    92,    93,    -1,    95,    96,
  1038.     -1,    -1,    -1,    -1,   101,    -1,    -1,   104,   105,    -1,
  1039.     -1,   108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,
  1040.     -1,   118,    -1,    -1,    -1,    -1,   123,   124,   125,   126,
  1041.     -1,    -1,    -1,   130,   131,    -1,    -1,    -1,   135,    -1,
  1042.     -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,
  1043.    147,   148,   149,   150,    -1,   152,   153,   154,    -1,   156,
  1044.    157,    -1,   159,    -1,    -1,   162,   163,   164,   165,   166,
  1045.     -1,   168,   169,   170,    -1,    -1,   173,   174,   175,   176,
  1046.    177,   178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,
  1047.    187,   188,   189,    -1,   191,   192,   193,    -1,   195,    -1,
  1048.    197,    -1,   199,   200,   201,   202,   203,    -1,   205,   206,
  1049.    207,   208,   209,   210,   211,    -1,   213,   214,   215,   216,
  1050.    217,    -1,    -1,    -1,   221,    -1,   223,   224,   225,   226,
  1051.    227,   228,   229,     3,     4,    -1,     6,    -1,   235,     9,
  1052.     -1,   238,   239,   240,   241,   242,    -1,    17,    18,    19,
  1053.     20,    -1,   249,    23,    -1,    -1,    -1,    -1,    -1,    -1,
  1054.     30,    31,    32,    33,    34,    -1,    36,    37,    -1,    -1,
  1055.     -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    49,
  1056.     50,    51,    -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,
  1057.     -1,    -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,
  1058.     -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,
  1059.     80,    81,    82,    -1,    84,    -1,    86,    87,    -1,    89,
  1060.     90,    91,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
  1061.     -1,   101,    -1,    -1,   104,   105,    -1,    -1,   108,    -1,
  1062.    110,    -1,    -1,    -1,   114,   115,    -1,    -1,   118,    -1,
  1063.     -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,
  1064.    130,   131,    -1,    -1,    -1,   135,    -1,    -1,   138,    -1,
  1065.     -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,
  1066.    150,    -1,   152,   153,   154,    -1,   156,   157,    -1,   159,
  1067.     -1,    -1,   162,   163,   164,   165,   166,    -1,   168,   169,
  1068.    170,    -1,    -1,   173,   174,   175,   176,   177,   178,   179,
  1069.    180,   181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,
  1070.     -1,   191,   192,   193,    -1,   195,    -1,   197,    -1,   199,
  1071.    200,   201,   202,   203,    -1,   205,   206,   207,   208,   209,
  1072.    210,   211,    -1,   213,   214,   215,   216,   217,    -1,    -1,
  1073.     -1,   221,    -1,   223,   224,   225,   226,   227,   228,   229,
  1074.      3,     4,    -1,     6,    -1,   235,     9,    -1,   238,   239,
  1075.    240,   241,   242,    -1,    17,    18,    19,    20,    -1,   249,
  1076.     23,    -1,    -1,    -1,    -1,    -1,    -1,    30,    31,    32,
  1077.     33,    34,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,
  1078.     43,    -1,    -1,    -1,    -1,    -1,    49,    50,    51,    -1,
  1079.     53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1080.     -1,    -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,
  1081.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1082.     -1,    84,    -1,    86,    87,    -1,    89,    90,    91,    92,
  1083.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,   101,    -1,
  1084.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1085.     -1,   114,   115,    -1,    -1,   118,    -1,    -1,    -1,    -1,
  1086.    123,   124,   125,   126,    -1,    -1,    -1,   130,   131,    -1,
  1087.     -1,    -1,   135,    -1,    -1,   138,    -1,    -1,    -1,    -1,
  1088.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1089.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1090.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1091.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1092.     -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,   192,
  1093.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1094.    203,    -1,   205,   206,   207,   208,   209,   210,   211,    -1,
  1095.    213,   214,   215,   216,   217,    -1,    -1,    -1,   221,    -1,
  1096.    223,   224,   225,   226,   227,   228,   229,     3,     4,    -1,
  1097.     -1,    -1,   235,    -1,    -1,   238,   239,   240,   241,   242,
  1098.     -1,    17,    18,    19,    20,    -1,   249,    23,    -1,    -1,
  1099.     -1,    -1,    -1,    -1,    30,    31,    32,    33,    34,    -1,
  1100.     36,    37,    -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,
  1101.     -1,    -1,    -1,    49,    50,    51,    -1,    53,    -1,    -1,
  1102.     -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,    65,
  1103.     -1,    -1,    68,    -1,    -1,    71,    -1,    73,    74,    -1,
  1104.     -1,    77,    -1,    -1,    80,    81,    82,    -1,    84,    -1,
  1105.     86,    87,    -1,    89,    90,    91,    92,    93,    -1,    95,
  1106.     96,    -1,    -1,    -1,    -1,   101,    -1,    -1,   104,   105,
  1107.     -1,    -1,   108,    -1,   110,    -1,    -1,    -1,   114,   115,
  1108.     -1,    -1,   118,    -1,    -1,    -1,    -1,   123,   124,   125,
  1109.    126,    -1,    -1,    -1,   130,   131,    -1,    -1,    -1,   135,
  1110.     -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,   145,
  1111.    146,   147,   148,   149,   150,    -1,   152,   153,   154,    -1,
  1112.    156,   157,    -1,   159,    -1,    -1,   162,   163,   164,   165,
  1113.    166,    -1,   168,   169,   170,    -1,    -1,   173,   174,   175,
  1114.    176,   177,   178,   179,   180,   181,    -1,    -1,    -1,   185,
  1115.     -1,   187,   188,   189,    -1,   191,   192,   193,    -1,   195,
  1116.     -1,   197,    -1,   199,   200,   201,   202,   203,    -1,   205,
  1117.    206,   207,   208,   209,   210,   211,    -1,   213,   214,   215,
  1118.    216,   217,    -1,    -1,    -1,   221,    -1,   223,   224,   225,
  1119.    226,   227,   228,   229,     3,     4,    -1,    -1,    -1,   235,
  1120.    236,    -1,   238,   239,   240,   241,   242,    -1,    17,    18,
  1121.     19,    20,    -1,   249,    23,    -1,    -1,    -1,    -1,    -1,
  1122.     -1,    30,    31,    32,    33,    34,    -1,    36,    37,    -1,
  1123.     -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,
  1124.     49,    50,    51,    -1,    53,    -1,    -1,    56,    -1,    -1,
  1125.     -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,    68,
  1126.     -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,
  1127.     -1,    80,    81,    82,    -1,    84,    -1,    86,    87,    -1,
  1128.     89,    90,    91,    92,    93,    -1,    95,    96,    -1,    -1,
  1129.     -1,    -1,   101,    -1,    -1,   104,   105,    -1,    -1,   108,
  1130.     -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,   118,
  1131.     -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,
  1132.     -1,   130,   131,    -1,    -1,    -1,   135,    -1,    -1,   138,
  1133.     -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,
  1134.    149,   150,    -1,   152,   153,   154,    -1,   156,   157,    -1,
  1135.    159,    -1,    -1,   162,   163,   164,   165,   166,    -1,   168,
  1136.    169,   170,    -1,    -1,   173,   174,   175,   176,   177,   178,
  1137.    179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,   188,
  1138.    189,    -1,   191,   192,   193,    -1,   195,    -1,   197,    -1,
  1139.    199,   200,   201,   202,   203,    -1,   205,   206,   207,   208,
  1140.    209,   210,   211,    -1,   213,   214,   215,   216,   217,    -1,
  1141.     -1,    -1,   221,    -1,   223,   224,   225,   226,   227,   228,
  1142.    229,     3,     4,    -1,    -1,    -1,   235,    -1,    -1,   238,
  1143.    239,   240,   241,   242,    -1,    17,    18,    19,    20,    -1,
  1144.    249,    23,    -1,    -1,    -1,    -1,    -1,    -1,    30,    31,
  1145.     32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,    -1,
  1146.     -1,    43,    -1,    -1,    -1,    -1,    -1,    49,    50,    51,
  1147.     -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1148.     62,    -1,    -1,    65,    -1,    -1,    68,    -1,    -1,    71,
  1149.     -1,    73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,
  1150.     82,    -1,    84,    -1,    86,    87,    -1,    89,    90,    91,
  1151.     92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,   101,
  1152.     -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,
  1153.     -1,    -1,   114,   115,   116,    -1,   118,    -1,    -1,    -1,
  1154.     -1,   123,   124,   125,   126,    -1,    -1,    -1,   130,   131,
  1155.     -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,    -1,
  1156.     -1,    -1,    -1,   145,   146,   147,   148,   149,   150,    -1,
  1157.    152,   153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,
  1158.    162,   163,   164,   165,   166,    -1,   168,   169,   170,    -1,
  1159.     -1,   173,   174,   175,   176,   177,   178,   179,   180,   181,
  1160.     -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,
  1161.    192,   193,    -1,   195,    -1,   197,    -1,   199,   200,   201,
  1162.    202,   203,    -1,   205,   206,   207,   208,   209,   210,   211,
  1163.     -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,   221,
  1164.     -1,   223,   224,   225,   226,   227,   228,   229,     3,     4,
  1165.     -1,    -1,    -1,   235,    -1,    -1,   238,   239,   240,   241,
  1166.    242,    -1,    17,    18,    19,    20,    -1,   249,    23,    -1,
  1167.     -1,    -1,    -1,    -1,    -1,    30,    31,    32,    33,    34,
  1168.     -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,    -1,
  1169.     -1,    -1,    -1,    -1,    49,    50,    51,    -1,    53,    -1,
  1170.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,
  1171.     65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,    74,
  1172.     -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,    84,
  1173.     -1,    86,    87,    -1,    89,    90,    91,    92,    93,    -1,
  1174.     95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,   104,
  1175.    105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,   114,
  1176.    115,   116,    -1,   118,    -1,    -1,    -1,    -1,   123,   124,
  1177.    125,   126,    -1,    -1,    -1,   130,   131,    -1,    -1,    -1,
  1178.    135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,
  1179.    145,   146,   147,   148,   149,   150,    -1,   152,   153,   154,
  1180.     -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,   164,
  1181.    165,   166,    -1,   168,   169,   170,    -1,    -1,   173,   174,
  1182.    175,   176,   177,   178,   179,   180,   181,    -1,    -1,    -1,
  1183.    185,    -1,   187,   188,   189,    -1,   191,   192,   193,    -1,
  1184.    195,    -1,   197,    -1,   199,   200,   201,   202,   203,    -1,
  1185.    205,   206,   207,   208,   209,   210,   211,    -1,   213,   214,
  1186.    215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,   224,
  1187.    225,   226,   227,   228,   229,     3,     4,    -1,    -1,    -1,
  1188.    235,    -1,    -1,   238,   239,   240,   241,   242,    -1,    17,
  1189.     18,    19,    20,    -1,   249,    23,    -1,    -1,    -1,    -1,
  1190.     -1,    -1,    30,    31,    32,    33,    34,    -1,    36,    37,
  1191.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1192.     -1,    49,    50,    51,    -1,    53,    -1,    -1,    -1,    -1,
  1193.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1194.     68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1195.     -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,    87,
  1196.     -1,    89,    90,    91,    92,    93,    -1,    95,    96,    -1,
  1197.     -1,    -1,    -1,   101,    -1,    -1,   104,   105,    -1,    -1,
  1198.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1199.    118,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1200.     -1,    -1,   130,   131,    -1,    -1,    -1,   135,    -1,    -1,
  1201.    138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1202.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1203.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1204.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1205.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1206.    188,   189,    -1,   191,   192,   193,    -1,   195,    -1,   197,
  1207.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1208.    208,   209,   210,   211,    -1,   213,   214,   215,   216,   217,
  1209.     -1,    -1,    -1,   221,    -1,   223,   224,   225,   226,   227,
  1210.    228,   229,     3,     4,    -1,    -1,    -1,   235,    -1,    -1,
  1211.    238,   239,   240,   241,   242,    -1,    17,    18,    19,    20,
  1212.     -1,   249,    23,    -1,    -1,    -1,    -1,    -1,    -1,    30,
  1213.     31,    32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,
  1214.     -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    49,    50,
  1215.     51,    -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1216.     -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,    -1,
  1217.     71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,    80,
  1218.     81,    82,    -1,    84,    -1,    86,    87,    -1,    89,    90,
  1219.     91,    92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,
  1220.    101,    -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,
  1221.     -1,    -1,    -1,   114,   115,    -1,    -1,   118,    -1,    -1,
  1222.     -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,   130,
  1223.    131,    -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,
  1224.     -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,   150,
  1225.     -1,   152,   153,   154,    -1,   156,   157,    -1,   159,    -1,
  1226.     -1,   162,   163,   164,   165,   166,    -1,   168,   169,   170,
  1227.     -1,    -1,   173,   174,   175,   176,   177,   178,   179,   180,
  1228.    181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,
  1229.    191,   192,   193,    -1,   195,    -1,   197,    -1,   199,   200,
  1230.    201,   202,   203,    -1,   205,   206,   207,   208,   209,   210,
  1231.    211,    -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,
  1232.    221,    -1,   223,   224,   225,   226,   227,   228,   229,     3,
  1233.      4,    -1,     6,    -1,   235,     9,    -1,   238,   239,   240,
  1234.    241,   242,    -1,    17,    18,    19,    20,    -1,   249,    23,
  1235.     -1,    -1,    -1,    -1,    -1,    -1,    30,    31,    32,    33,
  1236.     34,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,
  1237.     -1,    -1,    -1,    -1,    -1,    49,    50,    51,    -1,    53,
  1238.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,
  1239.     -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,
  1240.     74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,
  1241.     84,    -1,    86,    87,    -1,    -1,    90,    91,    92,    93,
  1242.     -1,    95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,
  1243.    104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,
  1244.    114,   115,    -1,    -1,   118,    -1,    -1,    -1,    -1,   123,
  1245.    124,   125,   126,    -1,    -1,    -1,   130,   131,    -1,    -1,
  1246.     -1,   135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,
  1247.     -1,   145,   146,   147,   148,   149,   150,    -1,   152,   153,
  1248.    154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,
  1249.    164,   165,   166,    -1,   168,   169,   170,    -1,    -1,   173,
  1250.    174,   175,   176,   177,   178,   179,   180,   181,    -1,    -1,
  1251.     -1,   185,    -1,   187,   188,   189,    -1,   191,   192,   193,
  1252.     -1,   195,    -1,   197,    -1,   199,   200,   201,   202,   203,
  1253.     -1,   205,   206,   207,   208,   209,   210,   211,    -1,   213,
  1254.    214,   215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,
  1255.    224,   225,    -1,   227,   228,   229,     3,     4,    -1,     6,
  1256.     -1,   235,     9,    -1,   238,   239,   240,   241,   242,    -1,
  1257.     17,    18,    19,    20,    -1,   249,    23,    -1,    -1,    -1,
  1258.     -1,    -1,    -1,    30,    31,    32,    33,    34,    -1,    36,
  1259.     37,    -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,
  1260.     -1,    -1,    49,    50,    51,    -1,    53,    -1,    -1,    -1,
  1261.     -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,
  1262.     -1,    68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,
  1263.     77,    -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,
  1264.     87,    -1,    -1,    90,    91,    92,    93,    -1,    95,    96,
  1265.     -1,    -1,    -1,    -1,   101,    -1,    -1,   104,   105,    -1,
  1266.     -1,   108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,
  1267.     -1,   118,    -1,    -1,    -1,    -1,   123,   124,   125,   126,
  1268.     -1,    -1,    -1,   130,   131,    -1,    -1,    -1,   135,    -1,
  1269.     -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,
  1270.    147,   148,   149,   150,    -1,   152,   153,   154,    -1,   156,
  1271.    157,    -1,   159,    -1,    -1,   162,   163,   164,   165,   166,
  1272.     -1,   168,   169,   170,    -1,    -1,   173,   174,   175,   176,
  1273.    177,   178,   179,    -1,   181,    -1,    -1,    -1,   185,    -1,
  1274.    187,   188,   189,    -1,   191,   192,   193,    -1,   195,    -1,
  1275.     -1,    -1,   199,   200,   201,   202,   203,    -1,   205,   206,
  1276.    207,   208,   209,   210,   211,    -1,   213,   214,   215,   216,
  1277.    217,    -1,    -1,    -1,   221,    -1,   223,   224,   225,    -1,
  1278.    227,   228,   229,     3,     4,    -1,    -1,    -1,    -1,    -1,
  1279.     -1,    -1,   239,   240,   241,   242,    -1,    -1,    18,    19,
  1280.     20,    -1,   249,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1281.     30,    31,    32,    33,    34,    -1,    36,    37,    -1,    -1,
  1282.     -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    -1,
  1283.     -1,    51,    -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,
  1284.     -1,    -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,
  1285.     -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,
  1286.     80,    81,    82,    -1,    84,    -1,    86,    87,    -1,    -1,
  1287.     -1,    -1,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
  1288.     -1,   101,    -1,    -1,   104,   105,    -1,    -1,   108,    -1,
  1289.    110,    -1,    -1,    -1,   114,   115,    -1,    -1,   118,    -1,
  1290.     -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,
  1291.    130,   131,    -1,    -1,    -1,   135,    -1,    -1,   138,    -1,
  1292.     -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,
  1293.    150,    -1,   152,   153,   154,    -1,   156,   157,    -1,   159,
  1294.     -1,    -1,   162,   163,   164,   165,   166,    -1,   168,   169,
  1295.    170,    -1,    -1,   173,   174,   175,   176,   177,   178,   179,
  1296.    180,   181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,
  1297.     -1,   191,   192,   193,    -1,   195,    -1,   197,    -1,   199,
  1298.    200,   201,   202,   203,    -1,   205,   206,   207,   208,   209,
  1299.    210,   211,    -1,   213,   214,   215,   216,   217,    -1,    -1,
  1300.     -1,   221,    -1,   223,   224,   225,   226,   227,   228,   229,
  1301.      3,     4,    -1,    -1,    -1,   235,    -1,    -1,   238,   239,
  1302.    240,   241,   242,    -1,    17,    18,    19,    20,    -1,   249,
  1303.     23,    -1,    -1,    -1,    -1,    -1,    -1,    30,    31,    32,
  1304.     33,    34,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,
  1305.     43,    -1,    -1,    -1,    -1,    -1,    49,    50,    51,    -1,
  1306.     53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1307.     -1,    -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,
  1308.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1309.     -1,    84,    -1,    86,    87,    -1,    -1,    90,    91,    92,
  1310.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,   101,    -1,
  1311.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1312.     -1,   114,   115,    -1,    -1,   118,    -1,    -1,    -1,    -1,
  1313.    123,   124,   125,   126,    -1,    -1,    -1,   130,   131,    -1,
  1314.     -1,    -1,   135,    -1,    -1,   138,    -1,    -1,    -1,    -1,
  1315.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1316.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1317.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1318.    173,   174,   175,   176,   177,   178,   179,    -1,   181,    -1,
  1319.     -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,   192,
  1320.    193,    -1,   195,    -1,    -1,    -1,   199,   200,   201,   202,
  1321.    203,    -1,   205,   206,   207,   208,   209,   210,   211,    -1,
  1322.    213,   214,   215,   216,   217,    -1,    -1,    -1,   221,    -1,
  1323.    223,   224,   225,    -1,   227,   228,   229,     3,     4,    -1,
  1324.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   240,   241,   242,
  1325.     -1,    -1,    18,    19,    20,    -1,   249,    -1,    -1,    -1,
  1326.     -1,    -1,    -1,    -1,    30,    31,    32,    33,    34,    -1,
  1327.     36,    37,    -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,
  1328.     -1,    -1,    -1,    -1,    -1,    51,    -1,    53,    -1,    -1,
  1329.     -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,    65,
  1330.     -1,    -1,    68,    -1,    -1,    71,    -1,    73,    74,    -1,
  1331.     -1,    77,    -1,    -1,    80,    81,    82,    -1,    84,    -1,
  1332.     86,    87,    -1,    -1,    -1,    -1,    92,    93,    -1,    95,
  1333.     96,    -1,    -1,    -1,    -1,   101,    -1,    -1,   104,   105,
  1334.     -1,    -1,   108,    -1,   110,    -1,    -1,    -1,   114,   115,
  1335.     -1,    -1,   118,    -1,    -1,    -1,    -1,   123,   124,   125,
  1336.    126,    -1,    -1,    -1,   130,   131,    -1,    -1,    -1,   135,
  1337.     -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,   145,
  1338.    146,   147,   148,   149,   150,    -1,   152,   153,   154,    -1,
  1339.    156,   157,    -1,   159,    -1,    -1,   162,   163,   164,   165,
  1340.    166,    -1,   168,   169,   170,    -1,    -1,   173,   174,   175,
  1341.    176,   177,   178,   179,   180,   181,    -1,    -1,    -1,   185,
  1342.     -1,   187,   188,   189,    -1,   191,   192,   193,    -1,   195,
  1343.     -1,   197,    -1,   199,   200,   201,   202,   203,    -1,   205,
  1344.    206,   207,   208,   209,   210,   211,    -1,   213,   214,   215,
  1345.    216,   217,    -1,    -1,    -1,   221,    -1,   223,   224,   225,
  1346.     -1,   227,   228,   229,     3,     4,    -1,    -1,    -1,   235,
  1347.     -1,    -1,   238,   239,   240,   241,   242,    -1,    -1,    18,
  1348.     19,    20,    -1,   249,    -1,    -1,    -1,    -1,    -1,    -1,
  1349.     -1,    30,    31,    32,    33,    34,    -1,    36,    37,    -1,
  1350.     -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,
  1351.     -1,    -1,    51,    -1,    53,    -1,    -1,    -1,    -1,    -1,
  1352.     -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,    68,
  1353.     -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,
  1354.     -1,    80,    81,    82,    -1,    84,    -1,    86,    87,    -1,
  1355.     -1,    -1,    -1,    92,    93,    -1,    95,    96,    -1,    -1,
  1356.     -1,    -1,   101,    -1,    -1,   104,   105,    -1,    -1,   108,
  1357.     -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,   118,
  1358.     -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,
  1359.     -1,   130,   131,    -1,    -1,    -1,   135,    -1,    -1,   138,
  1360.     -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,
  1361.    149,   150,    -1,   152,   153,   154,    -1,   156,   157,    -1,
  1362.    159,    -1,    -1,   162,   163,   164,   165,   166,    -1,   168,
  1363.    169,   170,    -1,    -1,   173,   174,   175,   176,   177,   178,
  1364.    179,    -1,   181,    -1,    -1,    -1,   185,    -1,   187,   188,
  1365.    189,    -1,   191,   192,   193,    -1,   195,    -1,    -1,    -1,
  1366.    199,   200,   201,   202,   203,    -1,   205,   206,   207,   208,
  1367.    209,   210,   211,    -1,   213,   214,   215,   216,   217,    -1,
  1368.     -1,    -1,   221,    -1,   223,   224,   225,    -1,   227,   228,
  1369.    229,     3,     4,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1370.    239,   240,   241,   242,    -1,    -1,    18,    19,    20,    -1,
  1371.    249,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    30,    31,
  1372.     32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,    -1,
  1373.     -1,    43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    51,
  1374.     -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1375.     62,    -1,    -1,    65,    -1,    -1,    68,    -1,    -1,    71,
  1376.     -1,    73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,
  1377.     82,    -1,    84,    -1,    86,    87,    -1,    -1,    -1,    -1,
  1378.     92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,   101,
  1379.     -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,
  1380.     -1,    -1,   114,   115,    -1,    -1,   118,    -1,    -1,    -1,
  1381.     -1,   123,   124,   125,   126,    -1,    -1,    -1,   130,   131,
  1382.     -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,    -1,
  1383.     -1,    -1,    -1,   145,   146,   147,   148,   149,   150,    -1,
  1384.    152,   153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,
  1385.    162,   163,   164,   165,   166,    -1,   168,   169,   170,    -1,
  1386.     -1,   173,   174,   175,   176,   177,   178,   179,    -1,   181,
  1387.     -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,
  1388.    192,   193,    -1,   195,    -1,    -1,    -1,   199,   200,   201,
  1389.    202,   203,    -1,   205,   206,   207,   208,   209,   210,   211,
  1390.     -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,   221,
  1391.     -1,   223,   224,   225,    -1,   227,   228,   229,     3,     4,
  1392.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   240,   241,
  1393.    242,    -1,    -1,    18,    19,    20,    -1,   249,    -1,    -1,
  1394.     -1,    -1,    -1,    -1,    -1,    -1,    31,    32,    33,    34,
  1395.     -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,    -1,
  1396.     -1,    -1,    -1,    -1,    -1,    -1,    51,    -1,    53,    -1,
  1397.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,
  1398.     65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,    74,
  1399.     -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,    84,
  1400.     -1,    86,    87,    -1,    -1,    -1,    91,    92,    93,    -1,
  1401.     95,    96,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   104,
  1402.    105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,   114,
  1403.    115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   123,   124,
  1404.    125,   126,    -1,    -1,    -1,    -1,   131,    -1,    -1,    -1,
  1405.    135,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,
  1406.    145,   146,   147,   148,   149,   150,    -1,   152,   153,   154,
  1407.     -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,   164,
  1408.    165,   166,    -1,   168,   169,   170,    -1,    -1,   173,   174,
  1409.    175,   176,   177,   178,   179,   180,   181,    -1,    -1,    -1,
  1410.    185,    -1,   187,   188,   189,    -1,    -1,   192,   193,    -1,
  1411.    195,    -1,   197,    -1,   199,   200,   201,   202,   203,    -1,
  1412.    205,   206,   207,   208,   209,   210,   211,    -1,   213,   214,
  1413.    215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,   224,
  1414.    225,   226,   227,   228,   229,     3,     4,    -1,    -1,    -1,
  1415.    235,    -1,    -1,    -1,    -1,   240,   241,   242,    -1,    -1,
  1416.     18,    19,    20,    -1,   249,    -1,    -1,    -1,    -1,    -1,
  1417.     -1,    -1,    -1,    31,    32,    33,    34,    -1,    36,    37,
  1418.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1419.     -1,    -1,    -1,    51,    -1,    53,    -1,    -1,    -1,    -1,
  1420.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1421.     68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1422.     -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,    87,
  1423.     -1,    -1,    -1,    -1,    92,    93,    -1,    95,    96,    -1,
  1424.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1425.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1426.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1427.     -1,    -1,    -1,   131,    -1,    -1,    -1,   135,    -1,    -1,
  1428.    138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1429.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1430.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1431.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1432.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1433.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1434.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1435.    208,   209,   210,   211,    -1,   213,   214,   215,   216,   217,
  1436.     -1,    -1,    -1,   221,    -1,   223,   224,   225,   226,   227,
  1437.    228,   229,     3,     4,    -1,    -1,    -1,   235,    -1,    -1,
  1438.     -1,    -1,   240,   241,   242,    -1,    -1,    18,    19,    20,
  1439.     -1,   249,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1440.     31,    32,    33,    34,    -1,    36,    37,    -1,    -1,    -1,
  1441.     -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1442.     51,    -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1443.     -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,    -1,
  1444.     71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,    80,
  1445.     81,    82,    -1,    84,    -1,    86,    87,    -1,    -1,    -1,
  1446.     -1,    92,    93,    -1,    95,    96,    -1,    -1,    -1,    -1,
  1447.     -1,    -1,    -1,   104,   105,    -1,    -1,   108,    -1,   110,
  1448.     -1,    -1,    -1,   114,   115,    -1,    -1,    -1,    -1,    -1,
  1449.     -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,    -1,
  1450.    131,    -1,    -1,    -1,   135,    -1,    -1,   138,    -1,    -1,
  1451.     -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,   150,
  1452.     -1,   152,   153,   154,    -1,   156,   157,    -1,   159,    -1,
  1453.     -1,   162,   163,   164,   165,   166,    -1,   168,   169,   170,
  1454.     -1,    -1,   173,   174,   175,   176,   177,   178,   179,   180,
  1455.    181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,    -1,
  1456.     -1,   192,   193,    -1,   195,    -1,   197,    -1,   199,   200,
  1457.    201,   202,   203,    -1,   205,   206,   207,   208,   209,   210,
  1458.    211,    -1,   213,   214,   215,   216,   217,    -1,    -1,    -1,
  1459.    221,    -1,   223,   224,   225,    -1,   227,   228,   229,     3,
  1460.      4,    -1,    -1,    -1,   235,    -1,    -1,    -1,    -1,   240,
  1461.    241,   242,    -1,    -1,    18,    19,    20,    -1,   249,    -1,
  1462.     -1,    -1,    -1,    -1,    -1,    -1,    30,    -1,    -1,    -1,
  1463.     -1,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,    43,
  1464.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    51,    -1,    53,
  1465.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,    -1,
  1466.     -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,    73,
  1467.     74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,    -1,
  1468.     84,    -1,    86,    87,    -1,    -1,    -1,    -1,    92,    93,
  1469.     -1,    95,    96,    -1,    -1,    -1,    -1,   101,    -1,    -1,
  1470.    104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,    -1,
  1471.    114,   115,    -1,    -1,   118,    -1,    -1,    -1,    -1,   123,
  1472.    124,   125,   126,    -1,    -1,    -1,   130,   131,    -1,    -1,
  1473.     -1,    -1,    -1,    -1,   138,    -1,    -1,    -1,    -1,    -1,
  1474.     -1,   145,   146,   147,   148,   149,   150,    -1,   152,   153,
  1475.    154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,   163,
  1476.    164,   165,   166,    -1,   168,   169,   170,    -1,    -1,   173,
  1477.    174,   175,   176,   177,   178,   179,   180,   181,    -1,    -1,
  1478.     -1,   185,    -1,   187,   188,   189,    -1,   191,   192,   193,
  1479.     -1,   195,    -1,   197,    -1,   199,   200,   201,   202,   203,
  1480.     -1,   205,   206,   207,   208,   209,   210,   211,    -1,   213,
  1481.    214,   215,   216,   217,    -1,    -1,    -1,   221,    -1,   223,
  1482.    224,   225,   226,   227,   228,   229,     3,     4,    -1,    -1,
  1483.     -1,   235,    -1,    -1,    -1,    -1,   240,    -1,    -1,    -1,
  1484.     -1,    18,    19,    20,    -1,   249,    -1,    -1,    -1,    -1,
  1485.     -1,    -1,    -1,    30,    -1,    -1,    -1,    -1,    -1,    36,
  1486.     37,    -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,
  1487.     -1,    -1,    -1,    -1,    51,    -1,    53,    -1,    -1,    -1,
  1488.     -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,
  1489.     -1,    68,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,
  1490.     77,    -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,
  1491.     87,    -1,    -1,    -1,    -1,    92,    93,    -1,    95,    96,
  1492.     -1,    -1,    -1,    -1,   101,    -1,    -1,   104,   105,    -1,
  1493.     -1,   108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,
  1494.     -1,   118,    -1,    -1,    -1,    -1,   123,   124,   125,   126,
  1495.     -1,    -1,    -1,   130,   131,    -1,    -1,    -1,    -1,    -1,
  1496.     -1,   138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,
  1497.    147,   148,   149,   150,    -1,   152,   153,   154,    -1,   156,
  1498.    157,    -1,   159,    -1,    -1,   162,   163,   164,   165,   166,
  1499.     -1,   168,   169,   170,    -1,    -1,   173,   174,   175,   176,
  1500.    177,   178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,
  1501.    187,   188,   189,    -1,   191,   192,   193,    -1,   195,    -1,
  1502.    197,    -1,   199,   200,   201,   202,   203,    -1,   205,   206,
  1503.    207,   208,   209,   210,   211,    -1,   213,   214,   215,   216,
  1504.    217,    -1,    -1,    -1,   221,    -1,   223,   224,   225,    -1,
  1505.    227,   228,   229,     3,     4,    -1,    -1,    -1,   235,    -1,
  1506.     -1,    -1,    -1,   240,    -1,    -1,    -1,    -1,    18,    19,
  1507.     20,    -1,   249,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1508.     -1,    -1,    -1,    -1,    -1,    -1,    36,    37,    -1,    -1,
  1509.     -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,    -1,
  1510.     -1,    51,    -1,    53,    -1,    -1,    -1,    -1,    -1,    -1,
  1511.     -1,    -1,    62,    -1,    -1,    65,    -1,    -1,    68,    -1,
  1512.     -1,    71,    -1,    73,    74,    -1,    -1,    77,    -1,    -1,
  1513.     80,    81,    82,    -1,    84,    -1,    86,    87,    -1,    89,
  1514.     -1,    91,    92,    93,    -1,    95,    96,    -1,    -1,    -1,
  1515.     -1,    -1,    -1,    -1,   104,   105,    -1,    -1,   108,    -1,
  1516.    110,    -1,    -1,    -1,   114,   115,    -1,    -1,    -1,    -1,
  1517.     -1,    -1,    -1,   123,   124,   125,   126,    -1,    -1,    -1,
  1518.     -1,   131,    -1,    -1,    -1,    -1,    -1,    -1,   138,    -1,
  1519.     -1,    -1,    -1,    -1,    -1,   145,   146,   147,   148,   149,
  1520.    150,    -1,   152,   153,   154,    -1,   156,   157,    -1,   159,
  1521.     -1,    -1,   162,   163,   164,   165,   166,    -1,   168,   169,
  1522.    170,    -1,    -1,   173,   174,   175,   176,   177,   178,   179,
  1523.    180,   181,    -1,    -1,    -1,   185,    -1,   187,   188,   189,
  1524.     -1,    -1,   192,   193,    -1,   195,    -1,   197,    -1,   199,
  1525.    200,   201,   202,   203,    -1,   205,   206,   207,   208,   209,
  1526.    210,   211,    -1,   213,   214,   215,   216,   217,    -1,    -1,
  1527.     -1,   221,    -1,   223,   224,   225,   226,   227,   228,   229,
  1528.      3,     4,    -1,    -1,    -1,   235,    -1,    -1,    -1,    -1,
  1529.    240,   241,   242,    -1,    -1,    18,    19,    20,    -1,   249,
  1530.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1531.     -1,    -1,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,
  1532.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    51,    -1,
  1533.     53,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1534.     -1,    -1,    65,    -1,    -1,    68,    -1,    -1,    71,    -1,
  1535.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1536.     -1,    84,    -1,    86,    87,    -1,    -1,    -1,    91,    92,
  1537.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1538.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1539.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1540.    123,   124,   125,   126,    -1,    -1,    -1,    -1,   131,    -1,
  1541.     -1,    -1,    -1,    -1,    -1,   138,    -1,    -1,    -1,    -1,
  1542.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1543.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1544.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1545.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1546.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1547.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1548.    203,    -1,   205,   206,   207,   208,   209,   210,   211,    -1,
  1549.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1550.    223,   224,   225,    -1,   227,   228,   229,    -1,    -1,    -1,
  1551.     -1,    -1,   235,    -1,    -1,    -1,    -1,   240,   241,   242,
  1552.     -1,    -1,    30,    -1,    -1,    -1,   249,    -1,    36,    -1,
  1553.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1554.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1555.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1556.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1557.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1558.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1559.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1560.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1561.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1562.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1563.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1564.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1565.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1566.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1567.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1568.    188,   189,    -1,   191,   192,   193,    -1,   195,    -1,   197,
  1569.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1570.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1571.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1572.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1573.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1574.     -1,   249,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1575.     43,    -1,    -1,    -1,     8,    -1,    -1,    -1,    -1,    13,
  1576.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1577.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1578.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1579.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1580.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    63,
  1581.     -1,   104,   105,    -1,    -1,   108,    70,   110,    -1,    -1,
  1582.     -1,   114,   115,   116,    78,    -1,    -1,    -1,    -1,    -1,
  1583.    123,   124,   125,   126,    -1,    89,    -1,    -1,    -1,    -1,
  1584.     -1,    -1,    -1,    97,    -1,    -1,    -1,    -1,    -1,    -1,
  1585.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1586.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1587.    163,   164,   165,   166,     8,   168,   169,   170,    -1,    13,
  1588.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1589.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1590.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1591.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1592.    213,   214,   215,   216,   217,    -1,   180,    -1,   221,    63,
  1593.    223,   224,    -1,    -1,    -1,    -1,    70,    -1,    -1,    -1,
  1594.     -1,    -1,    -1,   197,    78,    -1,    -1,    -1,    -1,    -1,
  1595.     -1,    -1,    -1,    -1,    -1,    89,   249,    -1,    -1,    -1,
  1596.     -1,    -1,    -1,    97,    -1,     3,     4,    -1,    -1,    -1,
  1597.     -1,    -1,   226,    -1,    -1,    -1,    -1,   231,   232,   233,
  1598.    234,   235,   236,   237,   238,   239,    -1,    -1,    -1,    -1,
  1599.     -1,    -1,    -1,   247,    -1,    -1,    -1,    -1,    36,    -1,
  1600.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1601.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1602.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1603.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1604.     -1,    -1,    80,    81,    82,    -1,   180,    -1,    -1,    87,
  1605.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1606.     -1,    -1,    -1,   197,    -1,    -1,   104,   105,    -1,    -1,
  1607.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1608.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1609.     -1,    -1,   226,    -1,    -1,    -1,    -1,   231,   232,   233,
  1610.    234,   235,   236,   237,   238,   239,    -1,   145,   146,   147,
  1611.    148,   149,   150,   247,   152,   153,   154,    -1,   156,   157,
  1612.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1613.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1614.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1615.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1616.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1617.    208,   209,   210,   211,    -1,   213,   214,   215,   216,   217,
  1618.      3,     4,    -1,   221,    -1,   223,   224,   225,   226,   227,
  1619.     -1,   229,    -1,   231,   232,   233,   234,   235,   236,   237,
  1620.    238,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1621.     -1,    -1,    -1,    36,    -1,    -1,    39,    -1,    -1,    -1,
  1622.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1623.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1624.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    72,
  1625.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1626.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1627.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1628.     -1,   104,   105,   106,    -1,   108,    -1,   110,    -1,    -1,
  1629.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1630.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  1631.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1632.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1633.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1634.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1635.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1636.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1637.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1638.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1639.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1640.    223,   224,    -1,   226,    -1,    -1,    -1,    -1,   231,   232,
  1641.    233,   234,   235,   236,   237,   238,    -1,    -1,    -1,    -1,
  1642.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1643.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1644.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1645.     -1,    -1,    -1,    -1,    62,    13,    -1,    65,    -1,    -1,
  1646.     -1,    -1,    -1,    71,    72,    73,    74,    -1,    -1,    77,
  1647.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    13,    87,
  1648.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1649.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,   106,    -1,
  1650.    108,    -1,   110,    -1,    -1,    63,   114,   115,    -1,    -1,
  1651.     -1,    -1,    70,    -1,    -1,   123,   124,   125,   126,    -1,
  1652.     78,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    63,    -1,
  1653.     -1,    -1,    -1,    -1,    -1,    70,    -1,   145,   146,   147,
  1654.    148,   149,   150,    78,   152,   153,   154,    -1,   156,   157,
  1655.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1656.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1657.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1658.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1659.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1660.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1661.     -1,    -1,    -1,   221,    -1,   223,   224,    -1,   226,    -1,
  1662.     -1,    -1,   180,   231,   232,   233,   234,   235,   236,   237,
  1663.    238,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   197,
  1664.     -1,    -1,    -1,    -1,    -1,   180,    -1,    -1,    -1,    -1,
  1665.     -1,    -1,    -1,    -1,    -1,     3,     4,    -1,    -1,    -1,
  1666.     -1,    -1,   197,    -1,    -1,    -1,    -1,    -1,   226,    -1,
  1667.     -1,    -1,    -1,   231,   232,   233,   234,   235,   236,   237,
  1668.    238,   239,    30,    -1,    -1,    -1,    -1,    -1,    36,   247,
  1669.     -1,   226,    -1,    -1,    -1,    43,   231,   232,   233,   234,
  1670.    235,   236,   237,   238,   239,    -1,    -1,    -1,    -1,    -1,
  1671.     -1,    -1,   247,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1672.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1673.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1674.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1675.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1676.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1677.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1678.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1679.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1680.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1681.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1682.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1683.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1684.    188,   189,    -1,   191,   192,   193,    -1,   195,    -1,   197,
  1685.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1686.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1687.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1688.    228,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   236,    -1,
  1689.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    30,    -1,    -1,
  1690.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1691.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1692.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1693.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1694.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1695.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1696.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1697.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1698.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1699.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  1700.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1701.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1702.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1703.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1704.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1705.     -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,   192,
  1706.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1707.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1708.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1709.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1710.     -1,    -1,    -1,   236,    -1,    -1,    -1,    -1,    -1,    -1,
  1711.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1712.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1713.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1714.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1715.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1716.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1717.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1718.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1719.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1720.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1721.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1722.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1723.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1724.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1725.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1726.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1727.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1728.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1729.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1730.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1731.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   236,    -1,
  1732.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1733.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1734.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1735.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1736.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1737.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1738.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1739.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1740.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1741.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1742.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  1743.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1744.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1745.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1746.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1747.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1748.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1749.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1750.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1751.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1752.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1753.     -1,    -1,    -1,   236,    -1,    -1,    -1,    -1,    -1,    -1,
  1754.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1755.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1756.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1757.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1758.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1759.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1760.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1761.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1762.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1763.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1764.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1765.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1766.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1767.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1768.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1769.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1770.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1771.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1772.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1773.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1774.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   236,    -1,
  1775.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1776.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1777.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1778.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1779.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1780.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1781.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1782.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1783.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1784.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1785.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  1786.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1787.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1788.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1789.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1790.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1791.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1792.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1793.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1794.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1795.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1796.     -1,    -1,    -1,   236,    -1,    -1,    -1,    -1,    -1,    -1,
  1797.     -1,    -1,    30,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1798.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1799.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1800.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1801.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1802.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1803.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1804.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1805.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1806.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1807.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1808.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1809.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1810.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1811.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1812.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1813.    188,   189,    -1,   191,   192,   193,    -1,   195,    -1,   197,
  1814.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1815.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1816.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1817.    228,    -1,    -1,    -1,    17,    -1,    -1,    -1,    -1,    -1,
  1818.     23,    -1,    -1,    -1,    27,    -1,    -1,    30,    -1,    -1,
  1819.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1820.     43,    -1,    45,    46,    -1,    -1,    -1,    -1,    51,    -1,
  1821.     -1,    -1,    55,    -1,    -1,    58,    -1,    60,    -1,    62,
  1822.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1823.     73,    74,    -1,    -1,    77,    -1,    79,    80,    81,    82,
  1824.     -1,    -1,    -1,    -1,    87,    -1,    -1,    90,    -1,    -1,
  1825.     93,    -1,    95,    96,    -1,    98,    -1,    -1,   101,   102,
  1826.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1827.     -1,   114,   115,    -1,    -1,    -1,   119,    -1,    -1,   122,
  1828.    123,   124,   125,   126,    -1,    -1,   129,    -1,   131,    -1,
  1829.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   141,    -1,
  1830.     -1,    -1,   145,   146,   147,   148,   149,   150,   151,   152,
  1831.    153,   154,   155,   156,   157,   158,   159,   160,   161,   162,
  1832.    163,   164,   165,   166,   167,   168,   169,   170,   171,   172,
  1833.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1834.    183,   184,   185,   186,   187,   188,   189,   190,   191,   192,
  1835.    193,   194,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1836.    203,   204,   205,   206,   207,   208,   209,   210,   211,   212,
  1837.    213,   214,   215,   216,   217,     3,     4,   220,   221,   222,
  1838.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1839.     -1,    19,    20,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1840.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    37,
  1841.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1842.     -1,    -1,    -1,    -1,    -1,    53,    -1,    -1,    -1,    -1,
  1843.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1844.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1845.     -1,    -1,    80,    81,    82,    -1,    84,    -1,    86,    87,
  1846.     -1,    -1,    -1,    -1,    92,    93,    -1,    95,    96,    -1,
  1847.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1848.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1849.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1850.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1851.    138,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1852.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1853.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1854.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1855.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1856.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1857.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1858.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1859.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1860.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    21,    -1,
  1861.     -1,    -1,    -1,    -1,    27,    -1,    -1,    -1,    -1,    -1,
  1862.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1863.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1864.     -1,    -1,    55,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1865.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1866.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1867.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1868.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1869.    103,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1870.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1871.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  1872.    133,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1873.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1874.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1875.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1876.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1877.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1878.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1879.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1880.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1881.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1882.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1883.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1884.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1885.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1886.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1887.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1888.     -1,    -1,    80,    81,    82,    83,    -1,    -1,    -1,    87,
  1889.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1890.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1891.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1892.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1893.     -1,   129,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1894.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1895.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1896.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1897.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1898.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1899.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1900.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1901.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1902.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1903.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1904.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    30,    -1,    -1,
  1905.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1906.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1907.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1908.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1909.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1910.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1911.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1912.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1913.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1914.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  1915.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1916.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1917.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1918.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1919.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1920.     -1,    -1,   185,    -1,   187,   188,   189,    -1,   191,   192,
  1921.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1922.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1923.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1924.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1925.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1926.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1927.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1928.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1929.     -1,    -1,    60,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1930.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1931.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1932.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1933.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,   107,
  1934.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1935.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1936.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1937.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1938.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1939.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1940.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1941.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1942.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1943.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1944.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1945.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1946.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1947.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1948.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1949.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1950.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1951.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1952.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1953.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1954.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1955.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1956.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1957.    123,   124,   125,   126,    -1,    -1,   129,    -1,    -1,    -1,
  1958.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1959.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  1960.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  1961.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  1962.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  1963.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  1964.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  1965.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  1966.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  1967.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1968.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1969.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  1970.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  1971.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1972.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  1973.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  1974.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  1975.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  1976.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  1977.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  1978.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  1979.     -1,   129,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1980.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  1981.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  1982.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  1983.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  1984.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  1985.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  1986.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  1987.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  1988.      3,     4,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  1989.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1990.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1991.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  1992.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  1993.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  1994.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  1995.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  1996.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  1997.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  1998.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  1999.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2000.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  2001.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2002.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  2003.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  2004.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  2005.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  2006.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  2007.    193,   194,   195,    -1,   197,    -1,   199,   200,   201,   202,
  2008.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  2009.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  2010.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2011.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2012.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  2013.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  2014.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2015.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  2016.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  2017.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  2018.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  2019.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  2020.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  2021.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  2022.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2023.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  2024.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  2025.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  2026.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  2027.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  2028.    188,   189,    -1,    -1,   192,   193,   194,   195,    -1,   197,
  2029.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  2030.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  2031.      3,     4,    -1,   221,    -1,   223,   224,    10,    -1,    -1,
  2032.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2033.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2034.     -1,    -1,    -1,    36,    -1,    -1,    -1,    -1,    -1,    -1,
  2035.     43,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2036.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    62,
  2037.     -1,    -1,    65,    -1,    -1,    -1,    -1,    -1,    71,    -1,
  2038.     73,    74,    -1,    -1,    77,    -1,    -1,    80,    81,    82,
  2039.     -1,    -1,    -1,    -1,    87,    -1,    -1,    -1,    -1,    -1,
  2040.     93,    -1,    95,    96,    -1,    -1,    -1,    -1,    -1,    -1,
  2041.     -1,   104,   105,    -1,    -1,   108,    -1,   110,    -1,    -1,
  2042.     -1,   114,   115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2043.    123,   124,   125,   126,    -1,    -1,    -1,    -1,    -1,    -1,
  2044.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2045.     -1,    -1,   145,   146,   147,   148,   149,   150,    -1,   152,
  2046.    153,   154,    -1,   156,   157,    -1,   159,    -1,    -1,   162,
  2047.    163,   164,   165,   166,    -1,   168,   169,   170,    -1,    -1,
  2048.    173,   174,   175,   176,   177,   178,   179,   180,   181,    -1,
  2049.     -1,    -1,   185,    -1,   187,   188,   189,    -1,    -1,   192,
  2050.    193,    -1,   195,    -1,   197,    -1,   199,   200,   201,   202,
  2051.    203,    -1,   205,   206,   207,   208,   209,    -1,   211,    -1,
  2052.    213,   214,   215,   216,   217,     3,     4,    -1,   221,    -1,
  2053.    223,   224,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2054.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2055.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    -1,
  2056.     -1,    -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,
  2057.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2058.     -1,    -1,    -1,    -1,    62,    -1,    -1,    65,    -1,    -1,
  2059.     -1,    -1,    -1,    71,    -1,    73,    74,    -1,    -1,    77,
  2060.     -1,    -1,    80,    81,    82,    -1,    -1,    -1,    -1,    87,
  2061.     -1,    -1,    -1,    -1,    -1,    93,    -1,    95,    96,    -1,
  2062.     -1,    -1,    -1,    -1,    -1,    -1,   104,   105,    -1,    -1,
  2063.    108,    -1,   110,    -1,    -1,    -1,   114,   115,    -1,    -1,
  2064.     -1,    -1,    -1,    -1,    -1,   123,   124,   125,   126,    -1,
  2065.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2066.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   145,   146,   147,
  2067.    148,   149,   150,    -1,   152,   153,   154,    -1,   156,   157,
  2068.     -1,   159,    -1,    -1,   162,   163,   164,   165,   166,    -1,
  2069.    168,   169,   170,    -1,    -1,   173,   174,   175,   176,   177,
  2070.    178,   179,   180,   181,    -1,    -1,    -1,   185,    -1,   187,
  2071.    188,   189,    -1,    -1,   192,   193,    -1,   195,    -1,   197,
  2072.     -1,   199,   200,   201,   202,   203,    -1,   205,   206,   207,
  2073.    208,   209,    -1,   211,    -1,   213,   214,   215,   216,   217,
  2074.     19,    20,    -1,   221,    -1,   223,   224,    -1,    -1,    -1,
  2075.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    36,    37,    -1,
  2076.     -1,    -1,    -1,    -1,    43,    -1,    -1,    -1,    -1,    -1,
  2077.     -1,    -1,    51,    -1,    53,    -1,    19,    20,    -1,    -1,
  2078.     -1,    -1,    -1,    62,    -1,    -1,    -1,    -1,    -1,    68,
  2079.     -1,    -1,    -1,    36,    37,    -1,    -1,    -1,    -1,    -1,
  2080.     43,    -1,    81,    82,    -1,    84,    -1,    86,    51,    -1,
  2081.     53,    -1,    -1,    92,    -1,    -1,    -1,    -1,    -1,    62,
  2082.     -1,    -1,    -1,    -1,    -1,    68,    -1,    -1,    -1,    -1,
  2083.     -1,    -1,    -1,    -1,    -1,    -1,   115,   116,    81,    82,
  2084.     -1,    84,    -1,    86,   123,   124,    -1,    -1,    -1,    92,
  2085.     -1,    -1,   131,    -1,    -1,    -1,    -1,    -1,    -1,   138,
  2086.     -1,    -1,    -1,    -1,    -1,    -1,   145,    -1,    -1,    -1,
  2087.     -1,   150,   115,    -1,    19,    20,    -1,    -1,    -1,    -1,
  2088.    123,   124,    -1,    -1,    -1,    -1,    -1,    -1,   131,    -1,
  2089.     -1,    36,    37,    -1,    -1,   138,    -1,    -1,    43,    -1,
  2090.     -1,    -1,   145,    -1,    -1,    -1,    -1,   150,    53,    -1,
  2091.     19,    20,    -1,    -1,    -1,    -1,    -1,    62,    -1,    -1,
  2092.     -1,    -1,    -1,    68,    -1,    -1,    -1,    36,    37,    -1,
  2093.     -1,   210,    -1,    -1,    43,    -1,    81,    82,    -1,    84,
  2094.     -1,    86,    -1,    -1,    53,   224,   225,    92,   227,   228,
  2095.    229,    -1,    -1,    62,    -1,    -1,    -1,    -1,    -1,    68,
  2096.     -1,    -1,    -1,    -1,    -1,    -1,    -1,   210,    -1,    -1,
  2097.    115,    -1,    81,    82,    -1,    84,    -1,    86,   123,   124,
  2098.     -1,   224,   225,    92,   227,   228,   229,    -1,    -1,    -1,
  2099.     -1,    -1,    -1,   138,    19,    20,    -1,    -1,    -1,    -1,
  2100.    145,    -1,    -1,    -1,    -1,   150,   115,    -1,    -1,    -1,
  2101.     -1,    36,    37,    -1,   123,   124,    -1,    -1,    43,    -1,
  2102.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    53,   138,
  2103.     -1,    -1,    -1,    -1,    -1,    -1,   145,    62,    -1,    -1,
  2104.     -1,   150,    -1,    68,    -1,    -1,    -1,    -1,    -1,    -1,
  2105.     -1,    -1,    -1,    -1,    -1,    -1,    81,    82,    -1,    84,
  2106.     -1,    86,    -1,    -1,   209,   210,    -1,    92,    -1,    -1,
  2107.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   224,
  2108.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2109.    115,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   123,   124,
  2110.     -1,   210,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2111.     -1,    -1,    -1,   138,    -1,   224,    -1,    -1,    -1,    -1,
  2112.    145,    -1,    -1,    -1,    -1,   150,    -1,    -1,    -1,    -1,
  2113.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2114.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2115.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2116.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2117.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2118.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,
  2119.     -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,    -1,   224
  2120. };
  2121. /* -*-C-*-  Note some compilers choke on comments on `#line' lines.  */
  2122. #line 3 "/usr/share/misc/bison.simple"
  2123. /* This file comes from bison-1.28.  */
  2124. /* Skeleton output parser for bison,
  2125.    Copyright (C) 1984, 1989, 1990 Free Software Foundation, Inc.
  2126.    This program is free software; you can redistribute it and/or modify
  2127.    it under the terms of the GNU General Public License as published by
  2128.    the Free Software Foundation; either version 2, or (at your option)
  2129.    any later version.
  2130.    This program is distributed in the hope that it will be useful,
  2131.    but WITHOUT ANY WARRANTY; without even the implied warranty of
  2132.    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  2133.    GNU General Public License for more details.
  2134.    You should have received a copy of the GNU General Public License
  2135.    along with this program; if not, write to the Free Software
  2136.    Foundation, Inc., 59 Temple Place - Suite 330,
  2137.    Boston, MA 02111-1307, USA.  */
  2138. /* As a special exception, when this file is copied by Bison into a
  2139.    Bison output file, you may use that output file without restriction.
  2140.    This special exception was added by the Free Software Foundation
  2141.    in version 1.24 of Bison.  */
  2142. /* This is the parser code that is written into each bison parser
  2143.   when the %semantic_parser declaration is not specified in the grammar.
  2144.   It was written by Richard Stallman by simplifying the hairy parser
  2145.   used when %semantic_parser is specified.  */
  2146. #ifndef YYSTACK_USE_ALLOCA
  2147. #ifdef alloca
  2148. #define YYSTACK_USE_ALLOCA
  2149. #else /* alloca not defined */
  2150. #ifdef __GNUC__
  2151. #define YYSTACK_USE_ALLOCA
  2152. #define alloca __builtin_alloca
  2153. #else /* not GNU C.  */
  2154. #if (!defined (__STDC__) && defined (sparc)) || defined (__sparc__) || defined (__sparc) || defined (__sgi) || (defined (__sun) && defined (__i386))
  2155. #define YYSTACK_USE_ALLOCA
  2156. #include <alloca.h>
  2157. #else /* not sparc */
  2158. /* We think this test detects Watcom and Microsoft C.  */
  2159. /* This used to test MSDOS, but that is a bad idea
  2160.    since that symbol is in the user namespace.  */
  2161. #if (defined (_MSDOS) || defined (_MSDOS_)) && !defined (__TURBOC__)
  2162. #if 0 /* No need for malloc.h, which pollutes the namespace;
  2163.  instead, just don't use alloca.  */
  2164. #include <malloc.h>
  2165. #endif
  2166. #else /* not MSDOS, or __TURBOC__ */
  2167. #if defined(_AIX)
  2168. /* I don't know what this was needed for, but it pollutes the namespace.
  2169.    So I turned it off.   rms, 2 May 1997.  */
  2170. /* #include <malloc.h>  */
  2171.  #pragma alloca
  2172. #define YYSTACK_USE_ALLOCA
  2173. #else /* not MSDOS, or __TURBOC__, or _AIX */
  2174. #if 0
  2175. #ifdef __hpux /* haible@ilog.fr says this works for HPUX 9.05 and up,
  2176.  and on HPUX 10.  Eventually we can turn this on.  */
  2177. #define YYSTACK_USE_ALLOCA
  2178. #define alloca __builtin_alloca
  2179. #endif /* __hpux */
  2180. #endif
  2181. #endif /* not _AIX */
  2182. #endif /* not MSDOS, or __TURBOC__ */
  2183. #endif /* not sparc */
  2184. #endif /* not GNU C */
  2185. #endif /* alloca not defined */
  2186. #endif /* YYSTACK_USE_ALLOCA not defined */
  2187. #ifdef YYSTACK_USE_ALLOCA
  2188. #define YYSTACK_ALLOC alloca
  2189. #else
  2190. #define YYSTACK_ALLOC malloc
  2191. #endif
  2192. /* Note: there must be only one dollar sign in this file.
  2193.    It is replaced by the list of actions, each action
  2194.    as one case of the switch.  */
  2195. #define yyerrok (yyerrstatus = 0)
  2196. #define yyclearin (yychar = YYEMPTY)
  2197. #define YYEMPTY -2
  2198. #define YYEOF 0
  2199. #define YYACCEPT goto yyacceptlab
  2200. #define YYABORT  goto yyabortlab
  2201. #define YYERROR goto yyerrlab1
  2202. /* Like YYERROR except do call yyerror.
  2203.    This remains here temporarily to ease the
  2204.    transition to the new meaning of YYERROR, for GCC.
  2205.    Once GCC version 2 has supplanted version 1, this can go.  */
  2206. #define YYFAIL goto yyerrlab
  2207. #define YYRECOVERING()  (!!yyerrstatus)
  2208. #define YYBACKUP(token, value) 
  2209. do
  2210.   if (yychar == YYEMPTY && yylen == 1)
  2211.     { yychar = (token), yylval = (value);
  2212.       yychar1 = YYTRANSLATE (yychar);
  2213.       YYPOPSTACK;
  2214.       goto yybackup;
  2215.     }
  2216.   else
  2217.     { yyerror ("syntax error: cannot back up"); YYERROR; }
  2218. while (0)
  2219. #define YYTERROR 1
  2220. #define YYERRCODE 256
  2221. #ifndef YYPURE
  2222. #define YYLEX yylex()
  2223. #endif
  2224. #ifdef YYPURE
  2225. #ifdef YYLSP_NEEDED
  2226. #ifdef YYLEX_PARAM
  2227. #define YYLEX yylex(&yylval, &yylloc, YYLEX_PARAM)
  2228. #else
  2229. #define YYLEX yylex(&yylval, &yylloc)
  2230. #endif
  2231. #else /* not YYLSP_NEEDED */
  2232. #ifdef YYLEX_PARAM
  2233. #define YYLEX yylex(&yylval, YYLEX_PARAM)
  2234. #else
  2235. #define YYLEX yylex(&yylval)
  2236. #endif
  2237. #endif /* not YYLSP_NEEDED */
  2238. #endif
  2239. /* If nonreentrant, generate the variables here */
  2240. #ifndef YYPURE
  2241. int yychar; /*  the lookahead symbol */
  2242. YYSTYPE yylval; /*  the semantic value of the */
  2243. /*  lookahead symbol */
  2244. #ifdef YYLSP_NEEDED
  2245. YYLTYPE yylloc; /*  location data for the lookahead */
  2246. /*  symbol */
  2247. #endif
  2248. int yynerrs; /*  number of parse errors so far       */
  2249. #endif  /* not YYPURE */
  2250. #if YYDEBUG != 0
  2251. int yydebug; /*  nonzero means print parse trace */
  2252. /* Since this is uninitialized, it does not stop multiple parsers
  2253.    from coexisting.  */
  2254. #endif
  2255. /*  YYINITDEPTH indicates the initial size of the parser's stacks */
  2256. #ifndef YYINITDEPTH
  2257. #define YYINITDEPTH 200
  2258. #endif
  2259. /*  YYMAXDEPTH is the maximum size the stacks can grow to
  2260.     (effective only if the built-in stack extension method is used).  */
  2261. #if YYMAXDEPTH == 0
  2262. #undef YYMAXDEPTH
  2263. #endif
  2264. #ifndef YYMAXDEPTH
  2265. #define YYMAXDEPTH 10000
  2266. #endif
  2267. /* Define __yy_memcpy.  Note that the size argument
  2268.    should be passed with type unsigned int, because that is what the non-GCC
  2269.    definitions require.  With GCC, __builtin_memcpy takes an arg
  2270.    of type size_t, but it can handle unsigned int.  */
  2271. #if __GNUC__ > 1 /* GNU C and GNU C++ define this.  */
  2272. #define __yy_memcpy(TO,FROM,COUNT) __builtin_memcpy(TO,FROM,COUNT)
  2273. #else /* not GNU C or C++ */
  2274. #ifndef __cplusplus
  2275. /* This is the most reliable way to avoid incompatibilities
  2276.    in available built-in functions on various systems.  */
  2277. static void
  2278. __yy_memcpy (to, from, count)
  2279.      char *to;
  2280.      char *from;
  2281.      unsigned int count;
  2282. {
  2283.   register char *f = from;
  2284.   register char *t = to;
  2285.   register int i = count;
  2286.   while (i-- > 0)
  2287.     *t++ = *f++;
  2288. }
  2289. #else /* __cplusplus */
  2290. /* This is the most reliable way to avoid incompatibilities
  2291.    in available built-in functions on various systems.  */
  2292. static void
  2293. __yy_memcpy (char *to, char *from, unsigned int count)
  2294. {
  2295.   register char *t = to;
  2296.   register char *f = from;
  2297.   register int i = count;
  2298.   while (i-- > 0)
  2299.     *t++ = *f++;
  2300. }
  2301. #endif
  2302. #endif
  2303. #line 217 "/usr/share/misc/bison.simple"
  2304. /* The user can define YYPARSE_PARAM as the name of an argument to be passed
  2305.    into yyparse.  The argument should have type void *.
  2306.    It should actually point to an object.
  2307.    Grammar actions can access the variable by casting it
  2308.    to the proper pointer type.  */
  2309. #ifdef YYPARSE_PARAM
  2310. #ifdef __cplusplus
  2311. #define YYPARSE_PARAM_ARG void *YYPARSE_PARAM
  2312. #define YYPARSE_PARAM_DECL
  2313. #else /* not __cplusplus */
  2314. #define YYPARSE_PARAM_ARG YYPARSE_PARAM
  2315. #define YYPARSE_PARAM_DECL void *YYPARSE_PARAM;
  2316. #endif /* not __cplusplus */
  2317. #else /* not YYPARSE_PARAM */
  2318. #define YYPARSE_PARAM_ARG
  2319. #define YYPARSE_PARAM_DECL
  2320. #endif /* not YYPARSE_PARAM */
  2321. /* Prevent warning if -Wstrict-prototypes.  */
  2322. #ifdef __GNUC__
  2323. #ifdef YYPARSE_PARAM
  2324. int yyparse (void *);
  2325. #else
  2326. int yyparse (void);
  2327. #endif
  2328. #endif
  2329. int
  2330. yyparse(YYPARSE_PARAM_ARG)
  2331.      YYPARSE_PARAM_DECL
  2332. {
  2333.   register int yystate;
  2334.   register int yyn;
  2335.   register short *yyssp;
  2336.   register YYSTYPE *yyvsp;
  2337.   int yyerrstatus; /*  number of tokens to shift before error messages enabled */
  2338.   int yychar1 = 0; /*  lookahead token as an internal (translated) token number */
  2339.   short yyssa[YYINITDEPTH]; /*  the state stack */
  2340.   YYSTYPE yyvsa[YYINITDEPTH]; /*  the semantic value stack */
  2341.   short *yyss = yyssa; /*  refer to the stacks thru separate pointers */
  2342.   YYSTYPE *yyvs = yyvsa; /*  to allow yyoverflow to reallocate them elsewhere */
  2343. #ifdef YYLSP_NEEDED
  2344.   YYLTYPE yylsa[YYINITDEPTH]; /*  the location stack */
  2345.   YYLTYPE *yyls = yylsa;
  2346.   YYLTYPE *yylsp;
  2347. #define YYPOPSTACK   (yyvsp--, yyssp--, yylsp--)
  2348. #else
  2349. #define YYPOPSTACK   (yyvsp--, yyssp--)
  2350. #endif
  2351.   int yystacksize = YYINITDEPTH;
  2352.   int yyfree_stacks = 0;
  2353. #ifdef YYPURE
  2354.   int yychar;
  2355.   YYSTYPE yylval;
  2356.   int yynerrs;
  2357. #ifdef YYLSP_NEEDED
  2358.   YYLTYPE yylloc;
  2359. #endif
  2360. #endif
  2361.   YYSTYPE yyval; /*  the variable used to return */
  2362. /*  semantic values from the action */
  2363. /*  routines */
  2364.   int yylen;
  2365. #if YYDEBUG != 0
  2366.   if (yydebug)
  2367.     fprintf(stderr, "Starting parsen");
  2368. #endif
  2369.   yystate = 0;
  2370.   yyerrstatus = 0;
  2371.   yynerrs = 0;
  2372.   yychar = YYEMPTY; /* Cause a token to be read.  */
  2373.   /* Initialize stack pointers.
  2374.      Waste one element of value and location stack
  2375.      so that they stay on the same level as the state stack.
  2376.      The wasted elements are never initialized.  */
  2377.   yyssp = yyss - 1;
  2378.   yyvsp = yyvs;
  2379. #ifdef YYLSP_NEEDED
  2380.   yylsp = yyls;
  2381. #endif
  2382. /* Push a new state, which is found in  yystate  .  */
  2383. /* In all cases, when you get here, the value and location stacks
  2384.    have just been pushed. so pushing a state here evens the stacks.  */
  2385. yynewstate:
  2386.   *++yyssp = yystate;
  2387.   if (yyssp >= yyss + yystacksize - 1)
  2388.     {
  2389.       /* Give user a chance to reallocate the stack */
  2390.       /* Use copies of these so that the &'s don't force the real ones into memory. */
  2391.       YYSTYPE *yyvs1 = yyvs;
  2392.       short *yyss1 = yyss;
  2393. #ifdef YYLSP_NEEDED
  2394.       YYLTYPE *yyls1 = yyls;
  2395. #endif
  2396.       /* Get the current used size of the three stacks, in elements.  */
  2397.       int size = yyssp - yyss + 1;
  2398. #ifdef yyoverflow
  2399.       /* Each stack pointer address is followed by the size of
  2400.  the data in use in that stack, in bytes.  */
  2401. #ifdef YYLSP_NEEDED
  2402.       /* This used to be a conditional around just the two extra args,
  2403.  but that might be undefined if yyoverflow is a macro.  */
  2404.       yyoverflow("parser stack overflow",
  2405.  &yyss1, size * sizeof (*yyssp),
  2406.  &yyvs1, size * sizeof (*yyvsp),
  2407.  &yyls1, size * sizeof (*yylsp),
  2408.  &yystacksize);
  2409. #else
  2410.       yyoverflow("parser stack overflow",
  2411.  &yyss1, size * sizeof (*yyssp),
  2412.  &yyvs1, size * sizeof (*yyvsp),
  2413.  &yystacksize);
  2414. #endif
  2415.       yyss = yyss1; yyvs = yyvs1;
  2416. #ifdef YYLSP_NEEDED
  2417.       yyls = yyls1;
  2418. #endif
  2419. #else /* no yyoverflow */
  2420.       /* Extend the stack our own way.  */
  2421.       if (yystacksize >= YYMAXDEPTH)
  2422. {
  2423.   yyerror("parser stack overflow");
  2424.   if (yyfree_stacks)
  2425.     {
  2426.       free (yyss);
  2427.       free (yyvs);
  2428. #ifdef YYLSP_NEEDED
  2429.       free (yyls);
  2430. #endif
  2431.     }
  2432.   return 2;
  2433. }
  2434.       yystacksize *= 2;
  2435.       if (yystacksize > YYMAXDEPTH)
  2436. yystacksize = YYMAXDEPTH;
  2437. #ifndef YYSTACK_USE_ALLOCA
  2438.       yyfree_stacks = 1;
  2439. #endif
  2440.       yyss = (short *) YYSTACK_ALLOC (yystacksize * sizeof (*yyssp));
  2441.       __yy_memcpy ((char *)yyss, (char *)yyss1,
  2442.    size * (unsigned int) sizeof (*yyssp));
  2443.       yyvs = (YYSTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yyvsp));
  2444.       __yy_memcpy ((char *)yyvs, (char *)yyvs1,
  2445.    size * (unsigned int) sizeof (*yyvsp));
  2446. #ifdef YYLSP_NEEDED
  2447.       yyls = (YYLTYPE *) YYSTACK_ALLOC (yystacksize * sizeof (*yylsp));
  2448.       __yy_memcpy ((char *)yyls, (char *)yyls1,
  2449.    size * (unsigned int) sizeof (*yylsp));
  2450. #endif
  2451. #endif /* no yyoverflow */
  2452.       yyssp = yyss + size - 1;
  2453.       yyvsp = yyvs + size - 1;
  2454. #ifdef YYLSP_NEEDED
  2455.       yylsp = yyls + size - 1;
  2456. #endif
  2457. #if YYDEBUG != 0
  2458.       if (yydebug)
  2459. fprintf(stderr, "Stack size increased to %dn", yystacksize);
  2460. #endif
  2461.       if (yyssp >= yyss + yystacksize - 1)
  2462. YYABORT;
  2463.     }
  2464. #if YYDEBUG != 0
  2465.   if (yydebug)
  2466.     fprintf(stderr, "Entering state %dn", yystate);
  2467. #endif
  2468.   goto yybackup;
  2469.  yybackup:
  2470. /* Do appropriate processing given the current state.  */
  2471. /* Read a lookahead token if we need one and don't already have one.  */
  2472. /* yyresume: */
  2473.   /* First try to decide what to do without reference to lookahead token.  */
  2474.   yyn = yypact[yystate];
  2475.   if (yyn == YYFLAG)
  2476.     goto yydefault;
  2477.   /* Not known => get a lookahead token if don't already have one.  */
  2478.   /* yychar is either YYEMPTY or YYEOF
  2479.      or a valid token in external form.  */
  2480.   if (yychar == YYEMPTY)
  2481.     {
  2482. #if YYDEBUG != 0
  2483.       if (yydebug)
  2484. fprintf(stderr, "Reading a token: ");
  2485. #endif
  2486.       yychar = YYLEX;
  2487.     }
  2488.   /* Convert token to internal form (in yychar1) for indexing tables with */
  2489.   if (yychar <= 0) /* This means end of input. */
  2490.     {
  2491.       yychar1 = 0;
  2492.       yychar = YYEOF; /* Don't call YYLEX any more */
  2493. #if YYDEBUG != 0
  2494.       if (yydebug)
  2495. fprintf(stderr, "Now at end of input.n");
  2496. #endif
  2497.     }
  2498.   else
  2499.     {
  2500.       yychar1 = YYTRANSLATE(yychar);
  2501. #if YYDEBUG != 0
  2502.       if (yydebug)
  2503. {
  2504.   fprintf (stderr, "Next token is %d (%s", yychar, yytname[yychar1]);
  2505.   /* Give the individual parser a way to print the precise meaning
  2506.      of a token, for further debugging info.  */
  2507. #ifdef YYPRINT
  2508.   YYPRINT (stderr, yychar, yylval);
  2509. #endif
  2510.   fprintf (stderr, ")n");
  2511. }
  2512. #endif
  2513.     }
  2514.   yyn += yychar1;
  2515.   if (yyn < 0 || yyn > YYLAST || yycheck[yyn] != yychar1)
  2516.     goto yydefault;
  2517.   yyn = yytable[yyn];
  2518.   /* yyn is what to do for this token type in this state.
  2519.      Negative => reduce, -yyn is rule number.
  2520.      Positive => shift, yyn is new state.
  2521.        New state is final state => don't bother to shift,
  2522.        just return success.
  2523.      0, or most negative number => error.  */
  2524.   if (yyn < 0)
  2525.     {
  2526.       if (yyn == YYFLAG)
  2527. goto yyerrlab;
  2528.       yyn = -yyn;
  2529.       goto yyreduce;
  2530.     }
  2531.   else if (yyn == 0)
  2532.     goto yyerrlab;
  2533.   if (yyn == YYFINAL)
  2534.     YYACCEPT;
  2535.   /* Shift the lookahead token.  */
  2536. #if YYDEBUG != 0
  2537.   if (yydebug)
  2538.     fprintf(stderr, "Shifting token %d (%s), ", yychar, yytname[yychar1]);
  2539. #endif
  2540.   /* Discard the token being shifted unless it is eof.  */
  2541.   if (yychar != YYEOF)
  2542.     yychar = YYEMPTY;
  2543.   *++yyvsp = yylval;
  2544. #ifdef YYLSP_NEEDED
  2545.   *++yylsp = yylloc;
  2546. #endif
  2547.   /* count tokens shifted since error; after three, turn off error status.  */
  2548.   if (yyerrstatus) yyerrstatus--;
  2549.   yystate = yyn;
  2550.   goto yynewstate;
  2551. /* Do the default action for the current state.  */
  2552. yydefault:
  2553.   yyn = yydefact[yystate];
  2554.   if (yyn == 0)
  2555.     goto yyerrlab;
  2556. /* Do a reduction.  yyn is the number of a rule to reduce with.  */
  2557. yyreduce:
  2558.   yylen = yyr2[yyn];
  2559.   if (yylen > 0)
  2560.     yyval = yyvsp[1-yylen]; /* implement default value of the action */
  2561. #if YYDEBUG != 0
  2562.   if (yydebug)
  2563.     {
  2564.       int i;
  2565.       fprintf (stderr, "Reducing via rule %d (line %d), ",
  2566.        yyn, yyrline[yyn]);
  2567.       /* Print the symbols being reduced, and their result.  */
  2568.       for (i = yyprhs[yyn]; yyrhs[i] > 0; i++)
  2569. fprintf (stderr, "%s ", yytname[yyrhs[i]]);
  2570.       fprintf (stderr, " -> %sn", yytname[yyr1[yyn]]);
  2571.     }
  2572. #endif
  2573.   switch (yyn) {
  2574. case 1:
  2575. #line 366 "gram.y"
  2576. { parsetree = yyvsp[-1].list; ;
  2577.     break;}
  2578. case 2:
  2579. #line 370 "gram.y"
  2580. { yyval.list = lappend(yyvsp[-2].list, yyvsp[0].node); ;
  2581.     break;}
  2582. case 3:
  2583. #line 372 "gram.y"
  2584. { yyval.list = lcons(yyvsp[0].node,NIL); ;
  2585.     break;}
  2586. case 48:
  2587. #line 432 "gram.y"
  2588. {
  2589. CreateUserStmt *n = makeNode(CreateUserStmt);
  2590. n->user = yyvsp[-5].str;
  2591. n->password = yyvsp[-4].str;
  2592. n->createdb = yyvsp[-3].pboolean;
  2593. n->createuser = yyvsp[-2].pboolean;
  2594. n->groupElts = yyvsp[-1].list;
  2595. n->validUntil = yyvsp[0].str;
  2596. yyval.node = (Node *)n;
  2597. ;
  2598.     break;}
  2599. case 49:
  2600. #line 453 "gram.y"
  2601. {
  2602. AlterUserStmt *n = makeNode(AlterUserStmt);
  2603. n->user = yyvsp[-5].str;
  2604. n->password = yyvsp[-4].str;
  2605. n->createdb = yyvsp[-3].pboolean;
  2606. n->createuser = yyvsp[-2].pboolean;
  2607. n->groupElts = yyvsp[-1].list;
  2608. n->validUntil = yyvsp[0].str;
  2609. yyval.node = (Node *)n;
  2610. ;
  2611.     break;}
  2612. case 50:
  2613. #line 473 "gram.y"
  2614. {
  2615. DropUserStmt *n = makeNode(DropUserStmt);
  2616. n->user = yyvsp[0].str;
  2617. yyval.node = (Node *)n;
  2618. ;
  2619.     break;}
  2620. case 51:
  2621. #line 480 "gram.y"
  2622. { yyval.str = yyvsp[0].str; ;
  2623.     break;}
  2624. case 52:
  2625. #line 481 "gram.y"
  2626. { yyval.str = NULL; ;
  2627.     break;}
  2628. case 53:
  2629. #line 485 "gram.y"
  2630. {
  2631. bool*  b;
  2632. yyval.pboolean = (b = (bool*)palloc(sizeof(bool)));
  2633. *b = true;
  2634. ;
  2635.     break;}
  2636. case 54:
  2637. #line 491 "gram.y"
  2638. {
  2639. bool*  b;
  2640. yyval.pboolean = (b = (bool*)palloc(sizeof(bool)));
  2641. *b = false;
  2642. ;
  2643.     break;}
  2644. case 55:
  2645. #line 496 "gram.y"
  2646. { yyval.pboolean = NULL; ;
  2647.     break;}
  2648. case 56:
  2649. #line 500 "gram.y"
  2650. {
  2651. bool*  b;
  2652. yyval.pboolean = (b = (bool*)palloc(sizeof(bool)));
  2653. *b = true;
  2654. ;
  2655.     break;}
  2656. case 57:
  2657. #line 506 "gram.y"
  2658. {
  2659. bool*  b;
  2660. yyval.pboolean = (b = (bool*)palloc(sizeof(bool)));
  2661. *b = false;
  2662. ;
  2663.     break;}
  2664. case 58:
  2665. #line 511 "gram.y"
  2666. { yyval.pboolean = NULL; ;
  2667.     break;}
  2668. case 59:
  2669. #line 515 "gram.y"
  2670. {
  2671. yyval.list = lcons((void*)makeString(yyvsp[0].str), yyvsp[-2].list);
  2672. ;
  2673.     break;}
  2674. case 60:
  2675. #line 519 "gram.y"
  2676. {
  2677. yyval.list = lcons((void*)makeString(yyvsp[0].str), NIL);
  2678. ;
  2679.     break;}
  2680. case 61:
  2681. #line 524 "gram.y"
  2682. { yyval.list = yyvsp[0].list; ;
  2683.     break;}
  2684. case 62:
  2685. #line 525 "gram.y"
  2686. { yyval.list = NULL; ;
  2687.     break;}
  2688. case 63:
  2689. #line 528 "gram.y"
  2690. { yyval.str = yyvsp[0].str; ;
  2691.     break;}
  2692. case 64:
  2693. #line 529 "gram.y"
  2694. { yyval.str = NULL; ;
  2695.     break;}
  2696. case 65:
  2697. #line 542 "gram.y"
  2698. {
  2699. VariableSetStmt *n = makeNode(VariableSetStmt);
  2700. n->name  = yyvsp[-2].str;
  2701. n->value = yyvsp[0].str;
  2702. yyval.node = (Node *) n;
  2703. ;
  2704.     break;}
  2705. case 66:
  2706. #line 549 "gram.y"
  2707. {
  2708. VariableSetStmt *n = makeNode(VariableSetStmt);
  2709. n->name  = yyvsp[-2].str;
  2710. n->value = yyvsp[0].str;
  2711. yyval.node = (Node *) n;
  2712. ;
  2713.     break;}
  2714. case 67:
  2715. #line 556 "gram.y"
  2716. {
  2717. VariableSetStmt *n = makeNode(VariableSetStmt);
  2718. n->name  = "timezone";
  2719. n->value = yyvsp[0].str;
  2720. yyval.node = (Node *) n;
  2721. ;
  2722.     break;}
  2723. case 68:
  2724. #line 563 "gram.y"
  2725. {
  2726. VariableSetStmt *n = makeNode(VariableSetStmt);
  2727. n->name  = "XactIsoLevel";
  2728. n->value = yyvsp[0].str;
  2729. yyval.node = (Node *) n;
  2730. ;
  2731.     break;}
  2732. case 69:
  2733. #line 570 "gram.y"
  2734. {
  2735. #ifdef MULTIBYTE
  2736. VariableSetStmt *n = makeNode(VariableSetStmt);
  2737. n->name  = "client_encoding";
  2738. n->value = yyvsp[0].str;
  2739. yyval.node = (Node *) n;
  2740. #else
  2741. elog(ERROR, "SET NAMES is not supported");
  2742. #endif
  2743. ;
  2744.     break;}
  2745. case 70:
  2746. #line 582 "gram.y"
  2747. { yyval.str = "committed"; ;
  2748.     break;}
  2749. case 71:
  2750. #line 583 "gram.y"
  2751. { yyval.str = "serializable"; ;
  2752.     break;}
  2753. case 72:
  2754. #line 586 "gram.y"
  2755. { yyval.str = yyvsp[0].str; ;
  2756.     break;}
  2757. case 73:
  2758. #line 587 "gram.y"
  2759. { yyval.str = NULL; ;
  2760.     break;}
  2761. case 74:
  2762. #line 590 "gram.y"
  2763. { yyval.str = yyvsp[0].str; ;
  2764.     break;}
  2765. case 75:
  2766. #line 591 "gram.y"
  2767. { yyval.str = NULL; ;
  2768.     break;}
  2769. case 76:
  2770. #line 592 "gram.y"
  2771. { yyval.str = NULL; ;
  2772.     break;}
  2773. case 77:
  2774. #line 596 "gram.y"
  2775. {
  2776. VariableShowStmt *n = makeNode(VariableShowStmt);
  2777. n->name  = yyvsp[0].str;
  2778. yyval.node = (Node *) n;
  2779. ;
  2780.     break;}
  2781. case 78:
  2782. #line 602 "gram.y"
  2783. {
  2784. VariableShowStmt *n = makeNode(VariableShowStmt);
  2785. n->name  = "timezone";
  2786. yyval.node = (Node *) n;
  2787. ;
  2788.     break;}
  2789. case 79:
  2790. #line 608 "gram.y"
  2791. {
  2792. VariableShowStmt *n = makeNode(VariableShowStmt);
  2793. n->name  = "XactIsoLevel";
  2794. yyval.node = (Node *) n;
  2795. ;
  2796.     break;}
  2797. case 80:
  2798. #line 616 "gram.y"
  2799. {
  2800. VariableResetStmt *n = makeNode(VariableResetStmt);
  2801. n->name  = yyvsp[0].str;
  2802. yyval.node = (Node *) n;
  2803. ;
  2804.     break;}
  2805. case 81:
  2806. #line 622 "gram.y"
  2807. {
  2808. VariableResetStmt *n = makeNode(VariableResetStmt);
  2809. n->name  = "timezone";
  2810. yyval.node = (Node *) n;
  2811. ;
  2812.     break;}
  2813. case 82:
  2814. #line 628 "gram.y"
  2815. {
  2816. VariableResetStmt *n = makeNode(VariableResetStmt);
  2817. n->name  = "XactIsoLevel";
  2818. yyval.node = (Node *) n;
  2819. ;
  2820.     break;}
  2821. case 83:
  2822. #line 644 "gram.y"
  2823. {
  2824. AddAttrStmt *n = makeNode(AddAttrStmt);
  2825. n->relname = yyvsp[-2].str;
  2826. n->inh = yyvsp[-1].boolean;
  2827. n->colDef = yyvsp[0].node;
  2828. yyval.node = (Node *)n;
  2829. ;
  2830.     break;}
  2831. case 84:
  2832. #line 654 "gram.y"
  2833. {
  2834. yyval.node = yyvsp[0].node;
  2835. ;
  2836.     break;}
  2837. case 85:
  2838. #line 658 "gram.y"
  2839. {
  2840. Node *lp = lfirst(yyvsp[-1].list);
  2841. if (length(yyvsp[-1].list) != 1)
  2842. elog(ERROR,"ALTER TABLE/ADD() allows one column only");
  2843. yyval.node = lp;
  2844. ;
  2845.     break;}
  2846. case 86:
  2847. #line 666 "gram.y"
  2848. { elog(ERROR,"ALTER TABLE/DROP COLUMN not yet implemented"); ;
  2849.     break;}
  2850. case 87:
  2851. #line 668 "gram.y"
  2852. { elog(ERROR,"ALTER TABLE/ALTER COLUMN/SET DEFAULT not yet implemented"); ;
  2853.     break;}
  2854. case 88:
  2855. #line 670 "gram.y"
  2856. { elog(ERROR,"ALTER TABLE/ALTER COLUMN/DROP DEFAULT not yet implemented"); ;
  2857.     break;}
  2858. case 89:
  2859. #line 672 "gram.y"
  2860. { elog(ERROR,"ALTER TABLE/ADD CONSTRAINT not yet implemented"); ;
  2861.     break;}
  2862. case 90:
  2863. #line 684 "gram.y"
  2864. {
  2865. ClosePortalStmt *n = makeNode(ClosePortalStmt);
  2866. n->portalname = yyvsp[0].str;
  2867. yyval.node = (Node *)n;
  2868. ;
  2869.     break;}
  2870. case 91:
  2871. #line 701 "gram.y"
  2872. {
  2873. CopyStmt *n = makeNode(CopyStmt);
  2874. n->binary = yyvsp[-5].boolean;
  2875. n->relname = yyvsp[-4].str;
  2876. n->oids = yyvsp[-3].boolean;
  2877. n->direction = yyvsp[-2].ival;
  2878. n->filename = yyvsp[-1].str;
  2879. n->delimiter = yyvsp[0].str;
  2880. yyval.node = (Node *)n;
  2881. ;
  2882.     break;}
  2883. case 92:
  2884. #line 714 "gram.y"
  2885. { yyval.ival = TO; ;
  2886.     break;}
  2887. case 93:
  2888. #line 716 "gram.y"
  2889. { yyval.ival = FROM; ;
  2890.     break;}
  2891. case 94:
  2892. #line 724 "gram.y"
  2893. { yyval.str = yyvsp[0].str; ;
  2894.     break;}
  2895. case 95:
  2896. #line 725 "gram.y"
  2897. { yyval.str = NULL; ;
  2898.     break;}
  2899. case 96:
  2900. #line 726 "gram.y"
  2901. { yyval.str = NULL; ;
  2902.     break;}
  2903. case 97:
  2904. #line 729 "gram.y"
  2905. { yyval.boolean = TRUE; ;
  2906.     break;}
  2907. case 98:
  2908. #line 730 "gram.y"
  2909. { yyval.boolean = FALSE; ;
  2910.     break;}
  2911. case 99:
  2912. #line 733 "gram.y"
  2913. { yyval.boolean = TRUE; ;
  2914.     break;}
  2915. case 100:
  2916. #line 734 "gram.y"
  2917. { yyval.boolean = FALSE; ;
  2918.     break;}
  2919. case 101:
  2920. #line 740 "gram.y"
  2921. { yyval.str = yyvsp[0].str; ;
  2922.     break;}
  2923. case 102:
  2924. #line 741 "gram.y"
  2925. { yyval.str = "t"; ;
  2926.     break;}
  2927. case 103:
  2928. #line 754 "gram.y"
  2929. {
  2930. CreateStmt *n = makeNode(CreateStmt);
  2931. n->istemp = yyvsp[-6].boolean;
  2932. n->relname = yyvsp[-4].str;
  2933. n->tableElts = yyvsp[-2].list;
  2934. n->inhRelnames = yyvsp[0].list;
  2935. n->constraints = NIL;
  2936. yyval.node = (Node *)n;
  2937. ;
  2938.     break;}
  2939. case 104:
  2940. #line 765 "gram.y"
  2941. { yyval.boolean = yyvsp[0].boolean; ;
  2942.     break;}
  2943. case 105:
  2944. #line 766 "gram.y"
  2945. { yyval.boolean = yyvsp[0].boolean; ;
  2946.     break;}
  2947. case 106:
  2948. #line 769 "gram.y"
  2949. { yyval.boolean = TRUE; ;
  2950.     break;}
  2951. case 107:
  2952. #line 770 "gram.y"
  2953. { yyval.boolean = TRUE; ;
  2954.     break;}
  2955. case 108:
  2956. #line 771 "gram.y"
  2957. { yyval.boolean = FALSE; ;
  2958.     break;}
  2959. case 109:
  2960. #line 775 "gram.y"
  2961. {
  2962. elog(ERROR, "GLOBAL TEMPORARY TABLE is not currently supported");
  2963. yyval.boolean = TRUE;
  2964. ;
  2965.     break;}
  2966. case 110:
  2967. #line 780 "gram.y"
  2968. {
  2969.  yyval.boolean = FALSE;
  2970. ;
  2971.     break;}
  2972. case 111:
  2973. #line 786 "gram.y"
  2974. {
  2975. if (yyvsp[0].node != NULL)
  2976. yyval.list = lappend(yyvsp[-2].list, yyvsp[0].node);
  2977. else
  2978. yyval.list = yyvsp[-2].list;
  2979. ;
  2980.     break;}
  2981. case 112:
  2982. #line 793 "gram.y"
  2983. {
  2984. if (yyvsp[0].node != NULL)
  2985. yyval.list = lcons(yyvsp[0].node, NIL);
  2986. else
  2987. yyval.list = NULL;
  2988. ;
  2989.     break;}
  2990. case 113:
  2991. #line 799 "gram.y"
  2992. { yyval.list = NULL; ;
  2993.     break;}
  2994. case 114:
  2995. #line 802 "gram.y"
  2996. { yyval.node = yyvsp[0].node; ;
  2997.     break;}
  2998. case 115:
  2999. #line 803 "gram.y"
  3000. { yyval.node = yyvsp[0].node; ;
  3001.     break;}
  3002. case 116:
  3003. #line 807 "gram.y"
  3004. {
  3005. ColumnDef *n = makeNode(ColumnDef);
  3006. n->colname = yyvsp[-2].str;
  3007. n->typename = yyvsp[-1].typnam;
  3008. n->defval = NULL;
  3009. n->is_not_null = FALSE;
  3010. n->constraints = yyvsp[0].list;
  3011. yyval.node = (Node *)n;
  3012. ;
  3013.     break;}
  3014. case 117:
  3015. #line 817 "gram.y"
  3016. {
  3017. ColumnDef *n = makeNode(ColumnDef);
  3018. n->colname = yyvsp[-2].str;
  3019. n->typename = makeNode(TypeName);
  3020. n->typename->name = xlateSqlType("integer");
  3021. n->defval = NULL;
  3022. n->is_not_null = TRUE;
  3023. n->is_sequence = TRUE;
  3024. n->constraints = yyvsp[0].list;
  3025. yyval.node = (Node *)n;
  3026. ;
  3027.     break;}
  3028. case 118:
  3029. #line 831 "gram.y"
  3030. { yyval.list = yyvsp[0].list; ;
  3031.     break;}
  3032. case 119:
  3033. #line 832 "gram.y"
  3034. { yyval.list = NULL; ;
  3035.     break;}
  3036. case 120: