105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  117,
  115,
  101,
  69,
  102,
  102,
  101,
  99,
  116,
  44,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  44,
  32,
  117,
  115,
  101,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  114,
  101,
  97,
  99,
  116,
  39,
  59,
  10,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  10,
  32,
  32,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  44,
  10,
  32,
  32,
  70,
  69,
  84,
  67,
  72,
  95,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  83,
  95,
  79,
  82,
  73,
  71,
  73,
  78,
  83,
  44,
  10,
  32,
  32,
  83,
  79,
  82,
  84,
  95,
  67,
  65,
  84,
  69,
  71,
  79,
  82,
  73,
  69,
  83,
  44,
  10,
  32,
  32,
  83,
  79,
  82,
  84,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  83,
  95,
  69,
  88,
  67,
  69,
  80,
  84,
  73,
  79,
  10,
  32,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  44,
  10,
  32,
  32,
  84,
  79,
  79,
  95,
  77,
  65,
  78,
  89,
  95,
  82,
  69,
  81,
  85,
  69,
  83,
  84,
  83,
  95,
  69,
  88,
  67,
  69,
  80,
  84,
  73,
  79,
  78,
  44,
  10,
  32,
  32,
  83,
  79,
  82,
  84,
  95,
  67,
  65,
  84,
  69,
  71,
  79,
  82,
  89,
  95,
  76,
  73,
  83,
  84,
  10,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  110,
  115,
  116,
  97,
  110,
  116,
  115,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  99,
  108,
  115,
  109,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  117,
  116,
  105,
  108,
  115,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  77,
  65,
  78,
  65,
  71,
  69,
  82,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  83,
  95,
  83,
  84,
  65,
  84,
  69,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  115,
  47,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  115,
  47,
  117,
  116,
  105,
  108,
  115,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  103,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  97,
  112,
  105,
  47,
  97,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  83,
  111,
  114,
  116,
  66,
  117,
  116,
  116,
  111,
  110,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  47,
  83,
  111,
  114,
  116,
  66,
  117,
  116,
  116,
  111,
  110,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  115,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  32,
  97,
  115,
  32,
  36,
  115,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  67,
  111,
  110,
  116,
  101,
  110,
  116,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  110,
  116,
  101,
  110,
  116,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  117,
  115,
  101,
  78,
  111,
  116,
  105,
  102,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  115,
  47,
  78,
  111,
  116,
  105,
  102,
  105,
  99,
  97,
  116,
  105,
  111,
  110,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  117,
  115,
  101,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  105,
  118,
  101,
  68,
  101,
  118,
  105,
  99,
  101,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  115,
  47,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  105,
  118,
  101,
  68,
  101,
  118,
  105,
  99,
  101,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  123,
  32,
  117,
  115,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  115,
  32,
  125,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  115,
  47,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  115,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  47,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  47,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  83,
  101,
  97,
  114,
  99,
  104,
  71,
  114,
  111,
  117,
  112,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  47,
  83,
  101,
  97,
  114,
  99,
  104,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  83,
  111,
  114,
  116,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  47,
  83,
  111,
  114,
  116,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  84,
  111,
  111,
  108,
  116,
  105,
  112,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  99,
  111,
  109,
  112,
  111,
  110,
  101,
  110,
  116,
  115,
  47,
  84,
  111,
  111,
  108,
  116,
  105,
  112,
  39,
  59,
  10,
  105,
  109,
  112,
  111,
  114,
  116,
  32,
  117,
  115,
  101,
  68,
  101,
  98,
  111,
  117,
  110,
  99,
  101,
  100,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  32,
  102,
  114,
  111,
  109,
  32,
  39,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  46,
  46,
  47,
  104,
  111,
  111,
  107,
  115,
  47,
  117,
  115,
  101,
  68,
  101,
  98,
  111,
  117,
  110,
  99,
  101,
  100,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  39,
  59,
  10,
  10,
  99,
  111,
  110,
  115,
  116,
  32,
  36,
  99,
  111,
  110,
  116,
  101,
  110,
  116,
  32,
  61,
  32,
  36,
  115,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  67,
  111,
  110,
  116,
  101,
  110,
  116,
  46,
  115,
  116,
  114,
  101,
  97,
  109,
  95,
  109,
  97,
  110,
  97,
  103,
  101,
  114,
  95,
  97,
  99,
  116,
  105,
  111,
  110,
  115,
  46,
  97,
  109,
  97,
  122,
  111,
  110,
  95,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  59,
  10,
  10,
  99,
  111,
  110,
  115,
  116,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  32,
  61,
  10,
  32,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  77,
  65,
  78,
  65,
  71,
  69,
  82,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  83,
  95,
  83,
  84,
  65,
  84,
  69,
  91,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  93,
  91,
  10,
  32,
  32,
  32,
  32,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  10,
  32,
  32,
  93,
  59,
  10,
  10,
  99,
  111,
  110,
  115,
  116,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  83,
  79,
  82,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  32,
  61,
  10,
  32,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  77,
  65,
  78,
  65,
  71,
  69,
  82,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  83,
  95,
  83,
  84,
  65,
  84,
  69,
  91,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  93,
  91,
  10,
  32,
  32,
  32,
  32,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  83,
  79,
  82,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  10,
  32,
  32,
  93,
  59,
  10,
  10,
  99,
  111,
  110,
  115,
  116,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  80,
  65,
  71,
  69,
  95,
  78,
  85,
  77,
  66,
  69,
  82,
  32,
  61,
  10,
  32,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  77,
  65,
  78,
  65,
  71,
  69,
  82,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  83,
  95,
  83,
  84,
  65,
  84,
  69,
  91,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  93,
  91,
  10,
  32,
  32,
  32,
  32,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  80,
  65,
  71,
  69,
  95,
  78,
  85,
  77,
  66,
  69,
  82,
  10,
  32,
  32,
  93,
  59,
  10,
  10,
  99,
  111,
  110,
  115,
  116,
  32,
  115,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  105,
  101,
  115,
  32,
  61,
  32,
  83,
  79,
  82,
  84,
  95,
  67,
  65,
  84,
  69,
  71,
  79,
  82,
  73,
  69,
  83,
  46,
  109,
  97,
  112,
  40,
  40,
  123,
  32,
  99,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  32,
  125,
  41,
  32,
  61,
  62,
  32,
  99,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  41,
  59,
  10,
  10,
  99,
  111,
  110,
  115,
  116,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  61,
  32,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  105,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  44,
  32,
  115,
  101,
  116,
  73,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  115,
  101,
  97,
  114,
  99,
  104,
  101,
  100,
  44,
  32,
  115,
  101,
  116,
  83,
  101,
  97,
  114,
  99,
  104,
  101,
  100,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  115,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  44,
  32,
  115,
  101,
  116,
  83,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  44,
  32,
  115,
  101,
  116,
  73,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  44,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  10,
  32,
  32,
  32,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  10,
  32,
  32,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  44,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  10,
  32,
  32,
  32,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  83,
  79,
  82,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  10,
  32,
  32,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  115,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  44,
  32,
  115,
  101,
  116,
  83,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  10,
  32,
  32,
  32,
  32,
  83,
  79,
  82,
  84,
  95,
  67,
  65,
  84,
  69,
  71,
  79,
  82,
  89,
  95,
  76,
  73,
  83,
  84,
  91,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  83,
  79,
  82,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  93,
  10,
  32,
  32,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  91,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  44,
  32,
  115,
  101,
  116,
  73,
  115,
  86,
  97,
  108,
  105,
  100,
  93,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  97,
  116,
  101,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  123,
  32,
  110,
  111,
  116,
  105,
  102,
  121,
  69,
  114,
  114,
  111,
  114,
  32,
  125,
  32,
  61,
  32,
  117,
  115,
  101,
  78,
  111,
  116,
  105,
  102,
  40,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  123,
  32,
  105,
  115,
  77,
  111,
  98,
  105,
  108,
  101,
  86,
  105,
  101,
  119,
  32,
  125,
  32,
  61,
  32,
  117,
  115,
  101,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  105,
  118,
  101,
  68,
  101,
  118,
  105,
  99,
  101,
  40,
  41,
  59,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  69,
  114,
  114,
  111,
  114,
  115,
  44,
  10,
  32,
  32,
  32,
  32,
  103,
  101,
  116,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  77,
  111,
  114,
  101,
  44,
  10,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  10,
  32,
  32,
  125,
  32,
  61,
  32,
  117,
  115,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  115,
  40,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  123,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  44,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  44,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  32,
  125,
  32,
  61,
  10,
  32,
  32,
  32,
  32,
  103,
  101,
  116,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  101,
  97,
  114,
  99,
  104,
  75,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  61,
  32,
  117,
  115,
  101,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  40,
  10,
  32,
  32,
  32,
  32,
  40,
  95,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  95,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  32,
  61,
  32,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  123,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  75,
  69,
  89,
  87,
  79,
  82,
  68,
  93,
  58,
  32,
  95,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  125,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  123,
  32,
  100,
  105,
  115,
  97,
  98,
  108,
  101,
  76,
  101,
  110,
  103,
  116,
  104,
  86,
  97,
  108,
  105,
  100,
  97,
  116,
  105,
  111,
  110,
  58,
  32,
  102,
  97,
  108,
  115,
  101,
  32,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  73,
  115,
  86,
  97,
  108,
  105,
  100,
  40,
  95,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  44,
  10,
  32,
  32,
  32,
  32,
  91,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  93,
  10,
  32,
  32,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  116,
  111,
  103,
  103,
  108,
  101,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  32,
  61,
  32,
  40,
  41,
  32,
  61,
  62,
  32,
  115,
  101,
  116,
  73,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  40,
  40,
  112,
  114,
  101,
  118,
  41,
  32,
  61,
  62,
  32,
  33,
  112,
  114,
  101,
  118,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  83,
  101,
  108,
  101,
  99,
  116,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  61,
  32,
  40,
  101,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  40,
  43,
  101,
  46,
  116,
  97,
  114,
  103,
  101,
  116,
  46,
  118,
  97,
  108,
  117,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  100,
  97,
  116,
  97,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  67,
  72,
  79,
  73,
  67,
  69,
  93,
  58,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  91,
  43,
  101,
  46,
  116,
  97,
  114,
  103,
  101,
  116,
  46,
  118,
  97,
  108,
  117,
  101,
  93,
  10,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  47,
  47,
  32,
  85,
  112,
  100,
  97,
  116,
  101,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  99,
  104,
  111,
  105,
  99,
  101,
  32,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  32,
  40,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  41,
  10,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  100,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  114,
  101,
  115,
  101,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  32,
  61,
  32,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  114,
  101,
  115,
  101,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  80,
  65,
  71,
  69,
  95,
  78,
  85,
  77,
  66,
  69,
  82,
  93,
  58,
  32,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  80,
  65,
  71,
  69,
  95,
  78,
  85,
  77,
  66,
  69,
  82,
  10,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  114,
  101,
  115,
  101,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  112,
  114,
  111,
  99,
  101,
  115,
  115,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  101,
  70,
  111,
  114,
  83,
  101,
  97,
  114,
  99,
  104,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  84,
  104,
  97,
  116,
  77,
  97,
  116,
  99,
  104,
  101,
  115,
  85,
  115,
  101,
  114,
  73,
  110,
  112,
  117,
  116,
  32,
  61,
  32,
  40,
  114,
  101,
  115,
  117,
  108,
  116,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  95,
  100,
  97,
  116,
  97,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  79,
  80,
  84,
  73,
  79,
  78,
  83,
  93,
  58,
  32,
  114,
  101,
  115,
  117,
  108,
  116,
  46,
  105,
  116,
  101,
  109,
  115,
  10,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  95,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  67,
  72,
  79,
  73,
  67,
  69,
  93,
  58,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  114,
  101,
  115,
  117,
  108,
  116,
  46,
  105,
  116,
  101,
  109,
  115,
  46,
  108,
  101,
  110,
  103,
  116,
  104,
  32,
  62,
  32,
  48,
  32,
  63,
  32,
  114,
  101,
  115,
  117,
  108,
  116,
  46,
  105,
  116,
  101,
  109,
  115,
  91,
  48,
  93,
  32,
  58,
  32,
  123,
  125,
  10,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  32,
  32,
  91,
  95,
  100,
  97,
  116,
  97,
  44,
  32,
  95,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  93,
  46,
  102,
  111,
  114,
  69,
  97,
  99,
  104,
  40,
  40,
  100,
  97,
  116,
  97,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  100,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  114,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  32,
  61,
  32,
  117,
  115,
  101,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  40,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  79,
  80,
  84,
  73,
  79,
  78,
  83,
  93,
  58,
  32,
  91,
  93,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  125,
  44,
  32,
  91,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  93,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  112,
  114,
  111,
  99,
  101,
  115,
  115,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  101,
  70,
  111,
  114,
  83,
  101,
  97,
  114,
  99,
  104,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  68,
  111,
  78,
  111,
  116,
  77,
  97,
  116,
  99,
  104,
  85,
  115,
  101,
  114,
  73,
  110,
  112,
  117,
  116,
  32,
  61,
  32,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  41,
  32,
  114,
  101,
  116,
  117,
  114,
  110,
  59,
  10,
  10,
  32,
  32,
  32,
  32,
  114,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  40,
  41,
  59,
  10,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  102,
  101,
  116,
  99,
  104,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  32,
  61,
  32,
  117,
  115,
  101,
  68,
  101,
  98,
  111,
  117,
  110,
  99,
  101,
  100,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  40,
  10,
  32,
  32,
  32,
  32,
  97,
  115,
  121,
  110,
  99,
  32,
  40,
  115,
  111,
  114,
  116,
  66,
  121,
  44,
  32,
  111,
  114,
  105,
  103,
  105,
  110,
  44,
  32,
  112,
  114,
  101,
  118,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  33,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  32,
  124,
  124,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  61,
  61,
  61,
  32,
  39,
  39,
  41,
  32,
  114,
  101,
  116,
  117,
  114,
  110,
  59,
  10,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  73,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  40,
  116,
  114,
  117,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  114,
  101,
  115,
  101,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  40,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  123,
  32,
  101,
  114,
  114,
  111,
  114,
  44,
  32,
  114,
  101,
  115,
  117,
  108,
  116,
  32,
  125,
  32,
  61,
  32,
  97,
  119,
  97,
  105,
  116,
  32,
  103,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  111,
  114,
  116,
  58,
  32,
  115,
  111,
  114,
  116,
  66,
  121,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  46,
  46,
  46,
  40,
  111,
  114,
  105,
  103,
  105,
  110,
  32,
  38,
  38,
  32,
  123,
  32,
  111,
  114,
  105,
  103,
  105,
  110,
  32,
  125,
  41,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  112,
  97,
  103,
  101,
  58,
  32,
  49,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  101,
  114,
  114,
  111,
  114,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  99,
  111,
  110,
  116,
  101,
  110,
  116,
  32,
  61,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  101,
  114,
  114,
  111,
  114,
  46,
  95,
  95,
  116,
  121,
  112,
  101,
  32,
  61,
  61,
  61,
  32,
  83,
  79,
  82,
  84,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  83,
  95,
  69,
  88,
  67,
  69,
  80,
  84,
  73,
  79,
  78,
  32,
  124,
  124,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  101,
  114,
  114,
  111,
  114,
  46,
  95,
  95,
  116,
  121,
  112,
  101,
  32,
  61,
  61,
  61,
  32,
  84,
  79,
  79,
  95,
  77,
  65,
  78,
  89,
  95,
  82,
  69,
  81,
  85,
  69,
  83,
  84,
  83,
  95,
  69,
  88,
  67,
  69,
  80,
  84,
  73,
  79,
  78,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  63,
  32,
  36,
  115,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  67,
  111,
  110,
  116,
  101,
  110,
  116,
  46,
  110,
  111,
  116,
  105,
  102,
  105,
  99,
  97,
  116,
  105,
  111,
  110,
  115,
  46,
  101,
  114,
  114,
  111,
  114,
  46,
  97,
  110,
  95,
  101,
  114,
  114,
  111,
  114,
  95,
  111,
  99,
  99,
  117,
  114,
  114,
  101,
  100,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  58,
  32,
  36,
  115,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  67,
  111,
  110,
  116,
  101,
  110,
  116,
  46,
  110,
  111,
  116,
  105,
  102,
  105,
  99,
  97,
  116,
  105,
  111,
  110,
  115,
  46,
  101,
  114,
  114,
  111,
  114,
  46,
  117,
  110,
  97,
  98,
  108,
  101,
  95,
  116,
  111,
  95,
  103,
  101,
  116,
  95,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  115,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  111,
  114,
  105,
  103,
  105,
  110,
  32,
  61,
  61,
  61,
  32,
  70,
  69,
  84,
  67,
  72,
  95,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  83,
  95,
  79,
  82,
  73,
  71,
  73,
  78,
  83,
  46,
  83,
  79,
  82,
  84,
  32,
  38,
  38,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  40,
  112,
  114,
  101,
  118,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  73,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  110,
  111,
  116,
  105,
  102,
  121,
  69,
  114,
  114,
  111,
  114,
  40,
  99,
  111,
  110,
  116,
  101,
  110,
  116,
  44,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  115,
  80,
  111,
  114,
  116,
  97,
  108,
  58,
  32,
  116,
  114,
  117,
  101,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  32,
  101,
  108,
  115,
  101,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  73,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  61,
  61,
  61,
  32,
  114,
  101,
  115,
  117,
  108,
  116,
  46,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  112,
  114,
  111,
  99,
  101,
  115,
  115,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  101,
  70,
  111,
  114,
  83,
  101,
  97,
  114,
  99,
  104,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  84,
  104,
  97,
  116,
  77,
  97,
  116,
  99,
  104,
  101,
  115,
  85,
  115,
  101,
  114,
  73,
  110,
  112,
  117,
  116,
  40,
  114,
  101,
  115,
  117,
  108,
  116,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  32,
  101,
  108,
  115,
  101,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  112,
  114,
  111,
  99,
  101,
  115,
  115,
  82,
  101,
  115,
  112,
  111,
  110,
  115,
  101,
  70,
  111,
  114,
  83,
  101,
  97,
  114,
  99,
  104,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  68,
  111,
  78,
  111,
  116,
  77,
  97,
  116,
  99,
  104,
  85,
  115,
  101,
  114,
  73,
  110,
  112,
  117,
  116,
  40,
  114,
  101,
  115,
  117,
  108,
  116,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  97,
  114,
  99,
  104,
  101,
  100,
  40,
  116,
  114,
  117,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  32,
  32,
  125,
  44,
  10,
  32,
  32,
  32,
  32,
  53,
  48,
  48,
  10,
  32,
  32,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  83,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  67,
  108,
  105,
  99,
  107,
  32,
  61,
  32,
  117,
  115,
  101,
  67,
  97,
  108,
  108,
  98,
  97,
  99,
  107,
  40,
  10,
  32,
  32,
  32,
  32,
  97,
  115,
  121,
  110,
  99,
  32,
  40,
  101,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  101,
  97,
  114,
  99,
  104,
  75,
  101,
  121,
  119,
  111,
  114,
  100,
  40,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  73,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  40,
  116,
  114,
  117,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  40,
  43,
  101,
  46,
  116,
  97,
  114,
  103,
  101,
  116,
  46,
  118,
  97,
  108,
  117,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  40,
  115,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  105,
  101,
  115,
  91,
  43,
  101,
  46,
  116,
  97,
  114,
  103,
  101,
  116,
  46,
  118,
  97,
  108,
  117,
  101,
  93,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  40,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  95,
  100,
  97,
  116,
  97,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  83,
  79,
  82,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  93,
  58,
  32,
  43,
  101,
  46,
  116,
  97,
  114,
  103,
  101,
  116,
  46,
  118,
  97,
  108,
  117,
  101,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  95,
  100,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  32,
  38,
  38,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  33,
  61,
  61,
  32,
  39,
  39,
  32,
  38,
  38,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  40,
  97,
  119,
  97,
  105,
  116,
  32,
  102,
  101,
  116,
  99,
  104,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  105,
  101,
  115,
  91,
  43,
  101,
  46,
  116,
  97,
  114,
  103,
  101,
  116,
  46,
  118,
  97,
  108,
  117,
  101,
  93,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  70,
  69,
  84,
  67,
  72,
  95,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  83,
  95,
  79,
  82,
  73,
  71,
  73,
  78,
  83,
  46,
  83,
  79,
  82,
  84,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  41,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  84,
  105,
  109,
  101,
  111,
  117,
  116,
  40,
  116,
  111,
  103,
  103,
  108,
  101,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  44,
  32,
  50,
  53,
  48,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  73,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  44,
  10,
  32,
  32,
  32,
  32,
  91,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  102,
  101,
  116,
  99,
  104,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  101,
  97,
  114,
  99,
  104,
  75,
  101,
  121,
  119,
  111,
  114,
  100,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  10,
  32,
  32,
  32,
  32,
  93,
  10,
  32,
  32,
  41,
  59,
  10,
  10,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  65,
  110,
  100,
  70,
  101,
  116,
  99,
  104,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  32,
  61,
  32,
  40,
  100,
  97,
  116,
  97,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  118,
  97,
  108,
  105,
  100,
  97,
  116,
  101,
  83,
  101,
  97,
  114,
  99,
  104,
  75,
  101,
  121,
  119,
  111,
  114,
  100,
  40,
  100,
  97,
  116,
  97,
  46,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  97,
  114,
  99,
  104,
  101,
  100,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  40,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  100,
  97,
  116,
  97,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  32,
  38,
  38,
  32,
  100,
  97,
  116,
  97,
  63,
  46,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  61,
  61,
  61,
  32,
  39,
  39,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  40,
  116,
  114,
  117,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  100,
  97,
  116,
  97,
  63,
  46,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  61,
  61,
  61,
  32,
  39,
  39,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  32,
  101,
  108,
  115,
  101,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  102,
  101,
  116,
  99,
  104,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  115,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  125,
  59,
  10,
  10,
  32,
  32,
  47,
  42,
  42,
  10,
  32,
  32,
  32,
  42,
  32,
  82,
  101,
  115,
  101,
  116,
  115,
  32,
  116,
  104,
  101,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  100,
  97,
  116,
  97,
  32,
  111,
  110,
  32,
  117,
  110,
  109,
  111,
  117,
  110,
  116,
  10,
  32,
  32,
  32,
  42,
  47,
  10,
  32,
  32,
  117,
  115,
  101,
  69,
  102,
  102,
  101,
  99,
  116,
  40,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  114,
  101,
  116,
  117,
  114,
  110,
  32,
  40,
  41,
  32,
  61,
  62,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  41,
  59,
  10,
  32,
  32,
  125,
  44,
  32,
  91,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  93,
  41,
  59,
  10,
  10,
  32,
  32,
  47,
  42,
  42,
  10,
  32,
  32,
  32,
  42,
  32,
  69,
  110,
  115,
  117,
  114,
  101,
  115,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  100,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  115,
  101,
  97,
  114,
  99,
  104,
  32,
  114,
  101,
  115,
  117,
  108,
  116,
  115,
  32,
  105,
  115,
  32,
  118,
  105,
  115,
  105,
  98,
  108,
  101,
  32,
  105,
  110,
  32,
  100,
  101,
  115,
  107,
  116,
  111,
  112,
  32,
  97,
  110,
  100,
  32,
  109,
  111,
  98,
  105,
  108,
  101,
  32,
  118,
  105,
  101,
  119,
  115,
  46,
  10,
  32,
  32,
  32,
  42,
  32,
  85,
  112,
  100,
  97,
  116,
  101,
  115,
  32,
  116,
  104,
  101,
  32,
  100,
  101,
  102,
  97,
  117,
  108,
  116,
  32,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  116,
  111,
  32,
  116,
  104,
  101,
  32,
  102,
  105,
  114,
  115,
  116,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  105,
  110,
  32,
  116,
  104,
  101,
  32,
  108,
  105,
  115,
  116,
  32,
  119,
  104,
  101,
  110,
  32,
  97,
  32,
  110,
  101,
  119,
  32,
  115,
  101,
  97,
  114,
  99,
  104,
  32,
  105,
  115,
  32,
  99,
  111,
  109,
  112,
  108,
  101,
  116,
  101,
  100,
  46,
  10,
  32,
  32,
  32,
  42,
  47,
  10,
  32,
  32,
  117,
  115,
  101,
  69,
  102,
  102,
  101,
  99,
  116,
  40,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  33,
  115,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  75,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  61,
  32,
  123,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  75,
  69,
  89,
  87,
  79,
  82,
  68,
  93,
  58,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  79,
  80,
  84,
  73,
  79,
  78,
  83,
  93,
  58,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  80,
  65,
  71,
  69,
  95,
  78,
  85,
  77,
  66,
  69,
  82,
  93,
  58,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  47,
  32,
  85,
  112,
  100,
  97,
  116,
  101,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  32,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  75,
  101,
  121,
  119,
  111,
  114,
  100,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  47,
  32,
  85,
  112,
  100,
  97,
  116,
  101,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  111,
  112,
  116,
  105,
  111,
  110,
  115,
  32,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  47,
  32,
  85,
  112,
  100,
  97,
  116,
  101,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  112,
  97,
  103,
  101,
  32,
  110,
  117,
  109,
  98,
  101,
  114,
  32,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  63,
  46,
  108,
  101,
  110,
  103,
  116,
  104,
  32,
  62,
  32,
  48,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  99,
  111,
  110,
  115,
  116,
  32,
  100,
  101,
  102,
  97,
  117,
  108,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  61,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  91,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  68,
  65,
  84,
  65,
  95,
  75,
  69,
  89,
  83,
  46,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  67,
  72,
  79,
  73,
  67,
  69,
  93,
  58,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  91,
  68,
  69,
  70,
  65,
  85,
  76,
  84,
  95,
  83,
  69,
  76,
  69,
  67,
  84,
  69,
  68,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  95,
  73,
  78,
  68,
  69,
  88,
  93,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  47,
  32,
  85,
  112,
  100,
  97,
  116,
  101,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  32,
  99,
  104,
  111,
  105,
  99,
  101,
  32,
  99,
  111,
  110,
  116,
  101,
  120,
  116,
  32,
  40,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  41,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  40,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  79,
  114,
  70,
  110,
  58,
  32,
  100,
  101,
  102,
  97,
  117,
  108,
  116,
  83,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  44,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  97,
  99,
  116,
  105,
  111,
  110,
  78,
  97,
  109,
  101,
  58,
  32,
  83,
  84,
  82,
  69,
  65,
  77,
  95,
  65,
  67,
  84,
  73,
  79,
  78,
  95,
  78,
  65,
  77,
  69,
  46,
  65,
  77,
  65,
  90,
  79,
  78,
  95,
  80,
  82,
  79,
  68,
  85,
  67,
  84,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  125,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  125,
  44,
  32,
  91,
  10,
  32,
  32,
  32,
  32,
  105,
  115,
  77,
  111,
  98,
  105,
  108,
  101,
  86,
  105,
  101,
  119,
  44,
  10,
  32,
  32,
  32,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  44,
  10,
  32,
  32,
  32,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  44,
  10,
  32,
  32,
  32,
  32,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  80,
  97,
  103,
  101,
  78,
  117,
  109,
  98,
  101,
  114,
  44,
  10,
  32,
  32,
  32,
  32,
  115,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  44,
  10,
  32,
  32,
  32,
  32,
  117,
  112,
  100,
  97,
  116,
  101,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  68,
  97,
  116,
  97,
  10,
  32,
  32,
  93,
  41,
  59,
  10,
  10,
  32,
  32,
  117,
  115,
  101,
  69,
  102,
  102,
  101,
  99,
  116,
  40,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  33,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  32,
  38,
  38,
  32,
  115,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  40,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  116,
  83,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  40,
  102,
  97,
  108,
  115,
  101,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  125,
  44,
  32,
  91,
  104,
  97,
  110,
  100,
  108,
  101,
  82,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  44,
  32,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  44,
  32,
  115,
  104,
  111,
  117,
  108,
  100,
  82,
  101,
  115,
  101,
  116,
  67,
  111,
  110,
  116,
  101,
  120,
  116,
  93,
  41,
  59,
  10,
  10,
  32,
  32,
  117,
  115,
  101,
  69,
  102,
  102,
  101,
  99,
  116,
  40,
  40,
  41,
  32,
  61,
  62,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  105,
  102,
  32,
  40,
  33,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  32,
  38,
  38,
  32,
  33,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  41,
  32,
  123,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  114,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  40,
  41,
  59,
  10,
  32,
  32,
  32,
  32,
  125,
  10,
  32,
  32,
  125,
  44,
  32,
  91,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  44,
  32,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  44,
  32,
  114,
  101,
  115,
  101,
  116,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  93,
  41,
  59,
  10,
  10,
  32,
  32,
  114,
  101,
  116,
  117,
  114,
  110,
  32,
  40,
  10,
  32,
  32,
  32,
  32,
  60,
  100,
  105,
  118,
  32,
  99,
  108,
  97,
  115,
  115,
  78,
  97,
  109,
  101,
  61,
  34,
  115,
  112,
  97,
  99,
  101,
  45,
  121,
  45,
  56,
  34,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  100,
  105,
  118,
  32,
  99,
  108,
  97,
  115,
  115,
  78,
  97,
  109,
  101,
  61,
  123,
  99,
  108,
  115,
  109,
  40,
  91,
  39,
  102,
  108,
  101,
  120,
  39,
  44,
  32,
  39,
  106,
  117,
  115,
  116,
  105,
  102,
  121,
  45,
  98,
  101,
  116,
  119,
  101,
  101,
  110,
  39,
  93,
  41,
  125,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  83,
  101,
  97,
  114,
  99,
  104,
  71,
  114,
  111,
  117,
  112,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  101,
  114,
  114,
  111,
  114,
  115,
  61,
  123,
  99,
  117,
  114,
  114,
  101,
  110,
  116,
  83,
  116,
  114,
  101,
  97,
  109,
  77,
  97,
  110,
  97,
  103,
  101,
  114,
  65,
  99,
  116,
  105,
  111,
  110,
  69,
  114,
  114,
  111,
  114,
  115,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  61,
  123,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  111,
  110,
  67,
  104,
  97,
  110,
  103,
  101,
  61,
  123,
  117,
  112,
  100,
  97,
  116,
  101,
  65,
  110,
  100,
  70,
  101,
  116,
  99,
  104,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  68,
  97,
  116,
  97,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  112,
  108,
  97,
  99,
  101,
  104,
  111,
  108,
  100,
  101,
  114,
  61,
  123,
  36,
  99,
  111,
  110,
  116,
  101,
  110,
  116,
  46,
  115,
  101,
  97,
  114,
  99,
  104,
  95,
  112,
  108,
  97,
  99,
  101,
  104,
  111,
  108,
  100,
  101,
  114,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  84,
  111,
  111,
  108,
  116,
  105,
  112,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  104,
  97,
  115,
  70,
  105,
  120,
  101,
  100,
  87,
  105,
  100,
  116,
  104,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  109,
  101,
  115,
  115,
  97,
  103,
  101,
  61,
  123,
  36,
  99,
  111,
  110,
  116,
  101,
  110,
  116,
  46,
  116,
  111,
  111,
  108,
  116,
  105,
  112,
  95,
  109,
  101,
  115,
  115,
  97,
  103,
  101,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  116,
  114,
  97,
  110,
  115,
  108,
  97,
  116,
  101,
  61,
  123,
  123,
  32,
  121,
  58,
  32,
  45,
  50,
  32,
  125,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  83,
  111,
  114,
  116,
  66,
  117,
  116,
  116,
  111,
  110,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  61,
  123,
  105,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  111,
  110,
  67,
  108,
  105,
  99,
  107,
  61,
  123,
  116,
  111,
  103,
  103,
  108,
  101,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  47,
  84,
  111,
  111,
  108,
  116,
  105,
  112,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  47,
  100,
  105,
  118,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  83,
  111,
  114,
  116,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  61,
  123,
  105,
  115,
  68,
  114,
  111,
  112,
  100,
  111,
  119,
  110,
  79,
  112,
  101,
  110,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  111,
  110,
  67,
  108,
  105,
  99,
  107,
  61,
  123,
  104,
  97,
  110,
  100,
  108,
  101,
  83,
  111,
  114,
  116,
  67,
  97,
  116,
  101,
  103,
  111,
  114,
  121,
  67,
  108,
  105,
  99,
  107,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  61,
  123,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  83,
  111,
  114,
  116,
  73,
  110,
  100,
  101,
  120,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  62,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  60,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  82,
  101,
  115,
  117,
  108,
  116,
  115,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  100,
  97,
  116,
  97,
  61,
  123,
  112,
  114,
  111,
  100,
  117,
  99,
  116,
  79,
  112,
  116,
  105,
  111,
  110,
  115,
  32,
  124,
  124,
  32,
  91,
  93,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  61,
  123,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  77,
  111,
  114,
  101,
  61,
  123,
  105,
  115,
  76,
  111,
  97,
  100,
  105,
  110,
  103,
  77,
  111,
  114,
  101,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  61,
  123,
  107,
  101,
  121,
  119,
  111,
  114,
  100,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  111,
  110,
  67,
  108,
  105,
  99,
  107,
  61,
  123,
  104,
  97,
  110,
  100,
  108,
  101,
  83,
  101,
  108,
  101,
  99,
  116,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  97,
  114,
  99,
  104,
  101,
  100,
  61,
  123,
  115,
  101,
  97,
  114,
  99,
  104,
  101,
  100,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  61,
  123,
  115,
  101,
  108,
  101,
  99,
  116,
  101,
  100,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  73,
  110,
  100,
  101,
  120,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  32,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  61,
  123,
  105,
  115,
  86,
  97,
  108,
  105,
  100,
  125,
  10,
  32,
  32,
  32,
  32,
  32,
  32,
  47,
  62,
  10,
  32,
  32,
  32,
  32,
  60,
  47,
  100,
  105,
  118,
  62,
  10,
  32,
  32,
  41,
  59,
  10,
  125,
  59,
  10,
  10,
  101,
  120,
  112,
  111,
  114,
  116,
  32,
  100,
  101,
  102,
  97,
  117,
  108,
  116,
  32,
  65,
  109,
  97,
  122,
  111,
  110,
  80,
  114,
  111,
  100,
  117,
  99,
  116,
  59,
  10;
