public_key = [
  48, 130, 1, 34, 48, 13, 6, 9, 42, 134, 72, 134, 247, 13, 1, 1,
  1, 5, 0, 3, 130, 1, 15, 0, 48, 130, 1, 10, 2, 130, 1, 1,
  0, 197, 82, 159, 33, 240, 175, 230, 223, 120, 232, 58, 171, 7, 182, 108,
  17, 237, 146, 3, 175, 71, 168, 171, 159, 221, 164, 168, 59, 74, 231, 103,
  114, 11, 131, 61, 46, 21, 15, 203, 74, 74, 236, 39, 118, 208, 170, 151,
  98, 163, 149, 93, 64, 43, 12, 38, 101, 211, 196, 170, 93, 176, 2, 101,
  107, 101, 199, 87, 18, 238, 248, 34, 137, 217, 43, 214, 163, 251, 160, 77,
  132, 110, 54, 128, 209, 249, 192, 89, 138, 103, 23, 240, 122, 230, 84, 0,
  254, 185, 214, 33, 86, 236, 179, 126, 14, 240, 199, 129, 41, 158, 48, 14,
  38, 141, 130, 82, 5, 255, 173, 136, 146, 226, 103, 230, 48, 131, 52, 141,
  228, 103, 9, 7, 168, 226, 61, 74, 3, 188, 58, 52, 73, 106, 187, 146,
  63, 223, 97, 129, 18, 108, 176, 115, 207, 122, 65, 98, 11, 228, 49, 199,
  225, 220, 101, 227, 216, 10, 98, 253, 118, 208, 79, 141, 1, 20, 53, 82,
  156, 125, 104, 63, 201, 247, 199, 102, 196, 82, 125, 48, 130, 183, 221, 46,
  82, 84, 135, 110, 28, 139, 41, 111, 65, 97, 140, 146, 203, 179, 89, 181,
  77, 243, 80, 16, 202, 168, 66, 134, 195, 93, 123, 243, 44, 47, 239, 209,
  28, 101, 95, 164, 131, 144, 195, 93, 84, 39, 68, 84, 160, 255, 116, 159,
  137, 81, 251, 35, 238, 121, 160, 30, 81, 160, 82, 113, 109, 240, 188, 68,
  219, 2, 3, 1, 0, 1
]
message = "Hello world!"
signature = [
  32, 121, 247, 109, 107, 249, 210, 178, 234, 149, 136, 242, 34, 135, 250, 127, 150, 225, 43,
  137, 241, 39, 139, 78, 179, 49, 169, 111, 200, 96, 183, 227, 70, 15, 46, 227, 114, 103,
  169, 170, 57, 107, 214, 102, 222, 13, 19, 216, 241, 134, 26, 124, 96, 202, 29, 185, 69, 4,
  204, 78, 223, 61, 124, 41, 179, 255, 84, 58, 47, 137, 242, 102, 161, 37, 45, 20, 39, 129,
  67, 55, 210, 164, 105, 82, 214, 223, 194, 201, 143, 114, 99, 237, 157, 42, 73, 50, 175,
  160, 145, 95, 138, 242, 157, 90, 100, 170, 206, 39, 80, 49, 65, 55, 202, 214, 17, 19, 183,
  244, 184, 17, 108, 171, 54, 178, 242, 137, 215, 67, 185, 198, 122, 234, 132, 240, 73, 42,
  123, 46, 201, 19, 197, 248, 9, 122, 16, 86, 67, 250, 237, 245, 43, 199, 65, 62, 153, 160,
  44, 108, 21, 125, 197, 154, 231, 115, 225, 38, 238, 229, 143, 203, 159, 65, 147, 18, 9,
  224, 14, 43, 58, 16, 7, 148, 2, 187, 97, 95, 70, 174, 68, 149, 7, 79, 223, 124, 207, 57,
  214, 242, 126, 2, 7, 3, 198, 202, 26, 136, 237, 106, 205, 11, 227, 120, 162, 104, 22, 167,
  192, 124, 239, 39, 201, 157, 45, 85, 147, 247, 1, 240, 217, 220, 218, 79, 238, 135, 100,
  22, 44, 88, 95, 9, 64, 224, 101, 57, 54, 171, 218, 6, 160, 137, 97, 114, 90, 32, 47, 184,
]