diff --git a/tests/test_sig_stfl.c b/tests/test_sig_stfl.c
index 52ee557dcf..abdfeb6461 100644
--- a/tests/test_sig_stfl.c
+++ b/tests/test_sig_stfl.c
@@ -919,941 +919,941 @@ static OQS_STATUS sig_stfl_test_secret_key_lock(const char *method_name, const c
  * LMS Test Vector
  */
 static OQS_STATUS test_testvector_1(void) {
-    OQS_STATUS rc = OQS_ERROR;
-
-    /* This is test case 1 */
-    static const unsigned char public_key[] = {
-        0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x05,
-        0x00,0x00,0x00,0x04,0x61,0xa5,0xd5,0x7d,
-        0x37,0xf5,0xe4,0x6b,0xfb,0x75,0x20,0x80,
-        0x6b,0x07,0xa1,0xb8,0x50,0x65,0x0e,0x3b,
-        0x31,0xfe,0x4a,0x77,0x3e,0xa2,0x9a,0x07,
-        0xf0,0x9c,0xf2,0xea,0x30,0xe5,0x79,0xf0,
-        0xdf,0x58,0xef,0x8e,0x29,0x8d,0xa0,0x43,
-        0x4c,0xb2,0xb8,0x78,
-    };
-
-    static const unsigned char message[] = {
-        0x54,0x68,0x65,0x20,0x70,0x6f,0x77,0x65,
-        0x72,0x73,0x20,0x6e,0x6f,0x74,0x20,0x64,
-        0x65,0x6c,0x65,0x67,0x61,0x74,0x65,0x64,
-        0x20,0x74,0x6f,0x20,0x74,0x68,0x65,0x20,
-        0x55,0x6e,0x69,0x74,0x65,0x64,0x20,0x53,
-        0x74,0x61,0x74,0x65,0x73,0x20,0x62,0x79,
-        0x20,0x74,0x68,0x65,0x20,0x43,0x6f,0x6e,
-        0x73,0x74,0x69,0x74,0x75,0x74,0x69,0x6f,
-        0x6e,0x2c,0x20,0x6e,0x6f,0x72,0x20,0x70,
-        0x72,0x6f,0x68,0x69,0x62,0x69,0x74,0x65,
-        0x64,0x20,0x62,0x79,0x20,0x69,0x74,0x20,
-        0x74,0x6f,0x20,0x74,0x68,0x65,0x20,0x53,
-        0x74,0x61,0x74,0x65,0x73,0x2c,0x20,0x61,
-        0x72,0x65,0x20,0x72,0x65,0x73,0x65,0x72,
-        0x76,0x65,0x64,0x20,0x74,0x6f,0x20,0x74,
-        0x68,0x65,0x20,0x53,0x74,0x61,0x74,0x65,
-        0x73,0x20,0x72,0x65,0x73,0x70,0x65,0x63,
-        0x74,0x69,0x76,0x65,0x6c,0x79,0x2c,0x20,
-        0x6f,0x72,0x20,0x74,0x6f,0x20,0x74,0x68,
-        0x65,0x20,0x70,0x65,0x6f,0x70,0x6c,0x65,
-        0x2e,0x0a,
-    };
-
-    static const unsigned char signature[] = {
-        0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x05,
-        0x00,0x00,0x00,0x04,0xd3,0x2b,0x56,0x67,
-        0x1d,0x7e,0xb9,0x88,0x33,0xc4,0x9b,0x43,
-        0x3c,0x27,0x25,0x86,0xbc,0x4a,0x1c,0x8a,
-        0x89,0x70,0x52,0x8f,0xfa,0x04,0xb9,0x66,
-        0xf9,0x42,0x6e,0xb9,0x96,0x5a,0x25,0xbf,
-        0xd3,0x7f,0x19,0x6b,0x90,0x73,0xf3,0xd4,
-        0xa2,0x32,0xfe,0xb6,0x91,0x28,0xec,0x45,
-        0x14,0x6f,0x86,0x29,0x2f,0x9d,0xff,0x96,
-        0x10,0xa7,0xbf,0x95,0xa6,0x4c,0x7f,0x60,
-        0xf6,0x26,0x1a,0x62,0x04,0x3f,0x86,0xc7,
-        0x03,0x24,0xb7,0x70,0x7f,0x5b,0x4a,0x8a,
-        0x6e,0x19,0xc1,0x14,0xc7,0xbe,0x86,0x6d,
-        0x48,0x87,0x78,0xa0,0xe0,0x5f,0xd5,0xc6,
-        0x50,0x9a,0x6e,0x61,0xd5,0x59,0xcf,0x1a,
-        0x77,0xa9,0x70,0xde,0x92,0x7d,0x60,0xc7,
-        0x0d,0x3d,0xe3,0x1a,0x7f,0xa0,0x10,0x09,
-        0x94,0xe1,0x62,0xa2,0x58,0x2e,0x8f,0xf1,
-        0xb1,0x0c,0xd9,0x9d,0x4e,0x8e,0x41,0x3e,
-        0xf4,0x69,0x55,0x9f,0x7d,0x7e,0xd1,0x2c,
-        0x83,0x83,0x42,0xf9,0xb9,0xc9,0x6b,0x83,
-        0xa4,0x94,0x3d,0x16,0x81,0xd8,0x4b,0x15,
-        0x35,0x7f,0xf4,0x8c,0xa5,0x79,0xf1,0x9f,
-        0x5e,0x71,0xf1,0x84,0x66,0xf2,0xbb,0xef,
-        0x4b,0xf6,0x60,0xc2,0x51,0x8e,0xb2,0x0d,
-        0xe2,0xf6,0x6e,0x3b,0x14,0x78,0x42,0x69,
-        0xd7,0xd8,0x76,0xf5,0xd3,0x5d,0x3f,0xbf,
-        0xc7,0x03,0x9a,0x46,0x2c,0x71,0x6b,0xb9,
-        0xf6,0x89,0x1a,0x7f,0x41,0xad,0x13,0x3e,
-        0x9e,0x1f,0x6d,0x95,0x60,0xb9,0x60,0xe7,
-        0x77,0x7c,0x52,0xf0,0x60,0x49,0x2f,0x2d,
-        0x7c,0x66,0x0e,0x14,0x71,0xe0,0x7e,0x72,
-        0x65,0x55,0x62,0x03,0x5a,0xbc,0x9a,0x70,
-        0x1b,0x47,0x3e,0xcb,0xc3,0x94,0x3c,0x6b,
-        0x9c,0x4f,0x24,0x05,0xa3,0xcb,0x8b,0xf8,
-        0xa6,0x91,0xca,0x51,0xd3,0xf6,0xad,0x2f,
-        0x42,0x8b,0xab,0x6f,0x3a,0x30,0xf5,0x5d,
-        0xd9,0x62,0x55,0x63,0xf0,0xa7,0x5e,0xe3,
-        0x90,0xe3,0x85,0xe3,0xae,0x0b,0x90,0x69,
-        0x61,0xec,0xf4,0x1a,0xe0,0x73,0xa0,0x59,
-        0x0c,0x2e,0xb6,0x20,0x4f,0x44,0x83,0x1c,
-        0x26,0xdd,0x76,0x8c,0x35,0xb1,0x67,0xb2,
-        0x8c,0xe8,0xdc,0x98,0x8a,0x37,0x48,0x25,
-        0x52,0x30,0xce,0xf9,0x9e,0xbf,0x14,0xe7,
-        0x30,0x63,0x2f,0x27,0x41,0x44,0x89,0x80,
-        0x8a,0xfa,0xb1,0xd1,0xe7,0x83,0xed,0x04,
-        0x51,0x6d,0xe0,0x12,0x49,0x86,0x82,0x21,
-        0x2b,0x07,0x81,0x05,0x79,0xb2,0x50,0x36,
-        0x59,0x41,0xbc,0xc9,0x81,0x42,0xda,0x13,
-        0x60,0x9e,0x97,0x68,0xaa,0xf6,0x5d,0xe7,
-        0x62,0x0d,0xab,0xec,0x29,0xeb,0x82,0xa1,
-        0x7f,0xde,0x35,0xaf,0x15,0xad,0x23,0x8c,
-        0x73,0xf8,0x1b,0xdb,0x8d,0xec,0x2f,0xc0,
-        0xe7,0xf9,0x32,0x70,0x10,0x99,0x76,0x2b,
-        0x37,0xf4,0x3c,0x4a,0x3c,0x20,0x01,0x0a,
-        0x3d,0x72,0xe2,0xf6,0x06,0xbe,0x10,0x8d,
-        0x31,0x0e,0x63,0x9f,0x09,0xce,0x72,0x86,
-        0x80,0x0d,0x9e,0xf8,0xa1,0xa4,0x02,0x81,
-        0xcc,0x5a,0x7e,0xa9,0x8d,0x2a,0xdc,0x7c,
-        0x74,0x00,0xc2,0xfe,0x5a,0x10,0x15,0x52,
-        0xdf,0x4e,0x3c,0xcc,0xfd,0x0c,0xbf,0x2d,
-        0xdf,0x5d,0xc6,0x77,0x9c,0xbb,0xc6,0x8f,
-        0xee,0x0c,0x3e,0xfe,0x4e,0xc2,0x2b,0x83,
-        0xa2,0xca,0xa3,0xe4,0x8e,0x08,0x09,0xa0,
-        0xa7,0x50,0xb7,0x3c,0xcd,0xcf,0x3c,0x79,
-        0xe6,0x58,0x0c,0x15,0x4f,0x8a,0x58,0xf7,
-        0xf2,0x43,0x35,0xee,0xc5,0xc5,0xeb,0x5e,
-        0x0c,0xf0,0x1d,0xcf,0x44,0x39,0x42,0x40,
-        0x95,0xfc,0xeb,0x07,0x7f,0x66,0xde,0xd5,
-        0xbe,0xc7,0x3b,0x27,0xc5,0xb9,0xf6,0x4a,
-        0x2a,0x9a,0xf2,0xf0,0x7c,0x05,0xe9,0x9e,
-        0x5c,0xf8,0x0f,0x00,0x25,0x2e,0x39,0xdb,
-        0x32,0xf6,0xc1,0x96,0x74,0xf1,0x90,0xc9,
-        0xfb,0xc5,0x06,0xd8,0x26,0x85,0x77,0x13,
-        0xaf,0xd2,0xca,0x6b,0xb8,0x5c,0xd8,0xc1,
-        0x07,0x34,0x75,0x52,0xf3,0x05,0x75,0xa5,
-        0x41,0x78,0x16,0xab,0x4d,0xb3,0xf6,0x03,
-        0xf2,0xdf,0x56,0xfb,0xc4,0x13,0xe7,0xd0,
-        0xac,0xd8,0xbd,0xd8,0x13,0x52,0xb2,0x47,
-        0x1f,0xc1,0xbc,0x4f,0x1e,0xf2,0x96,0xfe,
-        0xa1,0x22,0x04,0x03,0x46,0x6b,0x1a,0xfe,
-        0x78,0xb9,0x4f,0x7e,0xcf,0x7c,0xc6,0x2f,
-        0xb9,0x2b,0xe1,0x4f,0x18,0xc2,0x19,0x23,
-        0x84,0xeb,0xce,0xaf,0x88,0x01,0xaf,0xdf,
-        0x94,0x7f,0x69,0x8c,0xe9,0xc6,0xce,0xb6,
-        0x96,0xed,0x70,0xe9,0xe8,0x7b,0x01,0x44,
-        0x41,0x7e,0x8d,0x7b,0xaf,0x25,0xeb,0x5f,
-        0x70,0xf0,0x9f,0x01,0x6f,0xc9,0x25,0xb4,
-        0xdb,0x04,0x8a,0xb8,0xd8,0xcb,0x2a,0x66,
-        0x1c,0xe3,0xb5,0x7a,0xda,0x67,0x57,0x1f,
-        0x5d,0xd5,0x46,0xfc,0x22,0xcb,0x1f,0x97,
-        0xe0,0xeb,0xd1,0xa6,0x59,0x26,0xb1,0x23,
-        0x4f,0xd0,0x4f,0x17,0x1c,0xf4,0x69,0xc7,
-        0x6b,0x88,0x4c,0xf3,0x11,0x5c,0xce,0x6f,
-        0x79,0x2c,0xc8,0x4e,0x36,0xda,0x58,0x96,
-        0x0c,0x5f,0x1d,0x76,0x0f,0x32,0xc1,0x2f,
-        0xae,0xf4,0x77,0xe9,0x4c,0x92,0xeb,0x75,
-        0x62,0x5b,0x6a,0x37,0x1e,0xfc,0x72,0xd6,
-        0x0c,0xa5,0xe9,0x08,0xb3,0xa7,0xdd,0x69,
-        0xfe,0xf0,0x24,0x91,0x50,0xe3,0xee,0xbd,
-        0xfe,0xd3,0x9c,0xbd,0xc3,0xce,0x97,0x04,
-        0x88,0x2a,0x20,0x72,0xc7,0x5e,0x13,0x52,
-        0x7b,0x7a,0x58,0x1a,0x55,0x61,0x68,0x78,
-        0x3d,0xc1,0xe9,0x75,0x45,0xe3,0x18,0x65,
-        0xdd,0xc4,0x6b,0x3c,0x95,0x78,0x35,0xda,
-        0x25,0x2b,0xb7,0x32,0x8d,0x3e,0xe2,0x06,
-        0x24,0x45,0xdf,0xb8,0x5e,0xf8,0xc3,0x5f,
-        0x8e,0x1f,0x33,0x71,0xaf,0x34,0x02,0x3c,
-        0xef,0x62,0x6e,0x0a,0xf1,0xe0,0xbc,0x01,
-        0x73,0x51,0xaa,0xe2,0xab,0x8f,0x5c,0x61,
-        0x2e,0xad,0x0b,0x72,0x9a,0x1d,0x05,0x9d,
-        0x02,0xbf,0xe1,0x8e,0xfa,0x97,0x1b,0x73,
-        0x00,0xe8,0x82,0x36,0x0a,0x93,0xb0,0x25,
-        0xff,0x97,0xe9,0xe0,0xee,0xc0,0xf3,0xf3,
-        0xf1,0x30,0x39,0xa1,0x7f,0x88,0xb0,0xcf,
-        0x80,0x8f,0x48,0x84,0x31,0x60,0x6c,0xb1,
-        0x3f,0x92,0x41,0xf4,0x0f,0x44,0xe5,0x37,
-        0xd3,0x02,0xc6,0x4a,0x4f,0x1f,0x4a,0xb9,
-        0x49,0xb9,0xfe,0xef,0xad,0xcb,0x71,0xab,
-        0x50,0xef,0x27,0xd6,0xd6,0xca,0x85,0x10,
-        0xf1,0x50,0xc8,0x5f,0xb5,0x25,0xbf,0x25,
-        0x70,0x3d,0xf7,0x20,0x9b,0x60,0x66,0xf0,
-        0x9c,0x37,0x28,0x0d,0x59,0x12,0x8d,0x2f,
-        0x0f,0x63,0x7c,0x7d,0x7d,0x7f,0xad,0x4e,
-        0xd1,0xc1,0xea,0x04,0xe6,0x28,0xd2,0x21,
-        0xe3,0xd8,0xdb,0x77,0xb7,0xc8,0x78,0xc9,
-        0x41,0x1c,0xaf,0xc5,0x07,0x1a,0x34,0xa0,
-        0x0f,0x4c,0xf0,0x77,0x38,0x91,0x27,0x53,
-        0xdf,0xce,0x48,0xf0,0x75,0x76,0xf0,0xd4,
-        0xf9,0x4f,0x42,0xc6,0xd7,0x6f,0x7c,0xe9,
-        0x73,0xe9,0x36,0x70,0x95,0xba,0x7e,0x9a,
-        0x36,0x49,0xb7,0xf4,0x61,0xd9,0xf9,0xac,
-        0x13,0x32,0xa4,0xd1,0x04,0x4c,0x96,0xae,
-        0xfe,0xe6,0x76,0x76,0x40,0x1b,0x64,0x45,
-        0x7c,0x54,0xd6,0x5f,0xef,0x65,0x00,0xc5,
-        0x9c,0xdf,0xb6,0x9a,0xf7,0xb6,0xdd,0xdf,
-        0xcb,0x0f,0x08,0x62,0x78,0xdd,0x8a,0xd0,
-        0x68,0x60,0x78,0xdf,0xb0,0xf3,0xf7,0x9c,
-        0xd8,0x93,0xd3,0x14,0x16,0x86,0x48,0x49,
-        0x98,0x98,0xfb,0xc0,0xce,0xd5,0xf9,0x5b,
-        0x74,0xe8,0xff,0x14,0xd7,0x35,0xcd,0xea,
-        0x96,0x8b,0xee,0x74,0x00,0x00,0x00,0x05,
-        0xd8,0xb8,0x11,0x2f,0x92,0x00,0xa5,0xe5,
-        0x0c,0x4a,0x26,0x21,0x65,0xbd,0x34,0x2c,
-        0xd8,0x00,0xb8,0x49,0x68,0x10,0xbc,0x71,
-        0x62,0x77,0x43,0x5a,0xc3,0x76,0x72,0x8d,
-        0x12,0x9a,0xc6,0xed,0xa8,0x39,0xa6,0xf3,
-        0x57,0xb5,0xa0,0x43,0x87,0xc5,0xce,0x97,
-        0x38,0x2a,0x78,0xf2,0xa4,0x37,0x29,0x17,
-        0xee,0xfc,0xbf,0x93,0xf6,0x3b,0xb5,0x91,
-        0x12,0xf5,0xdb,0xe4,0x00,0xbd,0x49,0xe4,
-        0x50,0x1e,0x85,0x9f,0x88,0x5b,0xf0,0x73,
-        0x6e,0x90,0xa5,0x09,0xb3,0x0a,0x26,0xbf,
-        0xac,0x8c,0x17,0xb5,0x99,0x1c,0x15,0x7e,
-        0xb5,0x97,0x11,0x15,0xaa,0x39,0xef,0xd8,
-        0xd5,0x64,0xa6,0xb9,0x02,0x82,0xc3,0x16,
-        0x8a,0xf2,0xd3,0x0e,0xf8,0x9d,0x51,0xbf,
-        0x14,0x65,0x45,0x10,0xa1,0x2b,0x8a,0x14,
-        0x4c,0xca,0x18,0x48,0xcf,0x7d,0xa5,0x9c,
-        0xc2,0xb3,0xd9,0xd0,0x69,0x2d,0xd2,0xa2,
-        0x0b,0xa3,0x86,0x34,0x80,0xe2,0x5b,0x1b,
-        0x85,0xee,0x86,0x0c,0x62,0xbf,0x51,0x36,
-        0x00,0x00,0x00,0x05,0x00,0x00,0x00,0x04,
-        0xd2,0xf1,0x4f,0xf6,0x34,0x6a,0xf9,0x64,
-        0x56,0x9f,0x7d,0x6c,0xb8,0x80,0xa1,0xb6,
-        0x6c,0x50,0x04,0x91,0x7d,0xa6,0xea,0xfe,
-        0x4d,0x9e,0xf6,0xc6,0x40,0x7b,0x3d,0xb0,
-        0xe5,0x48,0x5b,0x12,0x2d,0x9e,0xbe,0x15,
-        0xcd,0xa9,0x3c,0xfe,0xc5,0x82,0xd7,0xab,
-        0x00,0x00,0x00,0x0a,0x00,0x00,0x00,0x04,
-        0x07,0x03,0xc4,0x91,0xe7,0x55,0x8b,0x35,
-        0x01,0x1e,0xce,0x35,0x92,0xea,0xa5,0xda,
-        0x4d,0x91,0x87,0x86,0x77,0x12,0x33,0xe8,
-        0x35,0x3b,0xc4,0xf6,0x23,0x23,0x18,0x5c,
-        0x95,0xca,0xe0,0x5b,0x89,0x9e,0x35,0xdf,
-        0xfd,0x71,0x70,0x54,0x70,0x62,0x09,0x98,
-        0x8e,0xbf,0xdf,0x6e,0x37,0x96,0x0b,0xb5,
-        0xc3,0x8d,0x76,0x57,0xe8,0xbf,0xfe,0xef,
-        0x9b,0xc0,0x42,0xda,0x4b,0x45,0x25,0x65,
-        0x04,0x85,0xc6,0x6d,0x0c,0xe1,0x9b,0x31,
-        0x75,0x87,0xc6,0xba,0x4b,0xff,0xcc,0x42,
-        0x8e,0x25,0xd0,0x89,0x31,0xe7,0x2d,0xfb,
-        0x6a,0x12,0x0c,0x56,0x12,0x34,0x42,0x58,
-        0xb8,0x5e,0xfd,0xb7,0xdb,0x1d,0xb9,0xe1,
-        0x86,0x5a,0x73,0xca,0xf9,0x65,0x57,0xeb,
-        0x39,0xed,0x3e,0x3f,0x42,0x69,0x33,0xac,
-        0x9e,0xed,0xdb,0x03,0xa1,0xd2,0x37,0x4a,
-        0xf7,0xbf,0x77,0x18,0x55,0x77,0x45,0x62,
-        0x37,0xf9,0xde,0x2d,0x60,0x11,0x3c,0x23,
-        0xf8,0x46,0xdf,0x26,0xfa,0x94,0x20,0x08,
-        0xa6,0x98,0x99,0x4c,0x08,0x27,0xd9,0x0e,
-        0x86,0xd4,0x3e,0x0d,0xf7,0xf4,0xbf,0xcd,
-        0xb0,0x9b,0x86,0xa3,0x73,0xb9,0x82,0x88,
-        0xb7,0x09,0x4a,0xd8,0x1a,0x01,0x85,0xac,
-        0x10,0x0e,0x4f,0x2c,0x5f,0xc3,0x8c,0x00,
-        0x3c,0x1a,0xb6,0xfe,0xa4,0x79,0xeb,0x2f,
-        0x5e,0xbe,0x48,0xf5,0x84,0xd7,0x15,0x9b,
-        0x8a,0xda,0x03,0x58,0x6e,0x65,0xad,0x9c,
-        0x96,0x9f,0x6a,0xec,0xbf,0xe4,0x4c,0xf3,
-        0x56,0x88,0x8a,0x7b,0x15,0xa3,0xff,0x07,
-        0x4f,0x77,0x17,0x60,0xb2,0x6f,0x9c,0x04,
-        0x88,0x4e,0xe1,0xfa,0xa3,0x29,0xfb,0xf4,
-        0xe6,0x1a,0xf2,0x3a,0xee,0x7f,0xa5,0xd4,
-        0xd9,0xa5,0xdf,0xcf,0x43,0xc4,0xc2,0x6c,
-        0xe8,0xae,0xa2,0xce,0x8a,0x29,0x90,0xd7,
-        0xba,0x7b,0x57,0x10,0x8b,0x47,0xda,0xbf,
-        0xbe,0xad,0xb2,0xb2,0x5b,0x3c,0xac,0xc1,
-        0xac,0x0c,0xef,0x34,0x6c,0xbb,0x90,0xfb,
-        0x04,0x4b,0xee,0xe4,0xfa,0xc2,0x60,0x3a,
-        0x44,0x2b,0xdf,0x7e,0x50,0x72,0x43,0xb7,
-        0x31,0x9c,0x99,0x44,0xb1,0x58,0x6e,0x89,
-        0x9d,0x43,0x1c,0x7f,0x91,0xbc,0xcc,0xc8,
-        0x69,0x0d,0xbf,0x59,0xb2,0x83,0x86,0xb2,
-        0x31,0x5f,0x3d,0x36,0xef,0x2e,0xaa,0x3c,
-        0xf3,0x0b,0x2b,0x51,0xf4,0x8b,0x71,0xb0,
-        0x03,0xdf,0xb0,0x82,0x49,0x48,0x42,0x01,
-        0x04,0x3f,0x65,0xf5,0xa3,0xef,0x6b,0xbd,
-        0x61,0xdd,0xfe,0xe8,0x1a,0xca,0x9c,0xe6,
-        0x00,0x81,0x26,0x2a,0x00,0x00,0x04,0x80,
-        0xdc,0xbc,0x9a,0x3d,0xa6,0xfb,0xef,0x5c,
-        0x1c,0x0a,0x55,0xe4,0x8a,0x0e,0x72,0x9f,
-        0x91,0x84,0xfc,0xb1,0x40,0x7c,0x31,0x52,
-        0x9d,0xb2,0x68,0xf6,0xfe,0x50,0x03,0x2a,
-        0x36,0x3c,0x98,0x01,0x30,0x68,0x37,0xfa,
-        0xfa,0xbd,0xf9,0x57,0xfd,0x97,0xea,0xfc,
-        0x80,0xdb,0xd1,0x65,0xe4,0x35,0xd0,0xe2,
-        0xdf,0xd8,0x36,0xa2,0x8b,0x35,0x40,0x23,
-        0x92,0x4b,0x6f,0xb7,0xe4,0x8b,0xc0,0xb3,
-        0xed,0x95,0xee,0xa6,0x4c,0x2d,0x40,0x2f,
-        0x4d,0x73,0x4c,0x8d,0xc2,0x6f,0x3a,0xc5,
-        0x91,0x82,0x5d,0xae,0xf0,0x1e,0xae,0x3c,
-        0x38,0xe3,0x32,0x8d,0x00,0xa7,0x7d,0xc6,
-        0x57,0x03,0x4f,0x28,0x7c,0xcb,0x0f,0x0e,
-        0x1c,0x9a,0x7c,0xbd,0xc8,0x28,0xf6,0x27,
-        0x20,0x5e,0x47,0x37,0xb8,0x4b,0x58,0x37,
-        0x65,0x51,0xd4,0x4c,0x12,0xc3,0xc2,0x15,
-        0xc8,0x12,0xa0,0x97,0x07,0x89,0xc8,0x3d,
-        0xe5,0x1d,0x6a,0xd7,0x87,0x27,0x19,0x63,
-        0x32,0x7f,0x0a,0x5f,0xbb,0x6b,0x59,0x07,
-        0xde,0xc0,0x2c,0x9a,0x90,0x93,0x4a,0xf5,
-        0xa1,0xc6,0x3b,0x72,0xc8,0x26,0x53,0x60,
-        0x5d,0x1d,0xcc,0xe5,0x15,0x96,0xb3,0xc2,
-        0xb4,0x56,0x96,0x68,0x9f,0x2e,0xb3,0x82,
-        0x00,0x74,0x97,0x55,0x76,0x92,0xca,0xac,
-        0x4d,0x57,0xb5,0xde,0x9f,0x55,0x69,0xbc,
-        0x2a,0xd0,0x13,0x7f,0xd4,0x7f,0xb4,0x7e,
-        0x66,0x4f,0xcb,0x6d,0xb4,0x97,0x1f,0x5b,
-        0x3e,0x07,0xac,0xed,0xa9,0xac,0x13,0x0e,
-        0x9f,0x38,0x18,0x2d,0xe9,0x94,0xcf,0xf1,
-        0x92,0xec,0x0e,0x82,0xfd,0x6d,0x4c,0xb7,
-        0xf3,0xfe,0x00,0x81,0x25,0x89,0xb7,0xa7,
-        0xce,0x51,0x54,0x40,0x45,0x64,0x33,0x01,
-        0x6b,0x84,0xa5,0x9b,0xec,0x66,0x19,0xa1,
-        0xc6,0xc0,0xb3,0x7d,0xd1,0x45,0x0e,0xd4,
-        0xf2,0xd8,0xb5,0x84,0x41,0x0c,0xed,0xa8,
-        0x02,0x5f,0x5d,0x2d,0x8d,0xd0,0xd2,0x17,
-        0x6f,0xc1,0xcf,0x2c,0xc0,0x6f,0xa8,0xc8,
-        0x2b,0xed,0x4d,0x94,0x4e,0x71,0x33,0x9e,
-        0xce,0x78,0x0f,0xd0,0x25,0xbd,0x41,0xec,
-        0x34,0xeb,0xff,0x9d,0x42,0x70,0xa3,0x22,
-        0x4e,0x01,0x9f,0xcb,0x44,0x44,0x74,0xd4,
-        0x82,0xfd,0x2d,0xbe,0x75,0xef,0xb2,0x03,
-        0x89,0xcc,0x10,0xcd,0x60,0x0a,0xbb,0x54,
-        0xc4,0x7e,0xde,0x93,0xe0,0x8c,0x11,0x4e,
-        0xdb,0x04,0x11,0x7d,0x71,0x4d,0xc1,0xd5,
-        0x25,0xe1,0x1b,0xed,0x87,0x56,0x19,0x2f,
-        0x92,0x9d,0x15,0x46,0x2b,0x93,0x9f,0xf3,
-        0xf5,0x2f,0x22,0x52,0xda,0x2e,0xd6,0x4d,
-        0x8f,0xae,0x88,0x81,0x8b,0x1e,0xfa,0x2c,
-        0x7b,0x08,0xc8,0x79,0x4f,0xb1,0xb2,0x14,
-        0xaa,0x23,0x3d,0xb3,0x16,0x28,0x33,0x14,
-        0x1e,0xa4,0x38,0x3f,0x1a,0x6f,0x12,0x0b,
-        0xe1,0xdb,0x82,0xce,0x36,0x30,0xb3,0x42,
-        0x91,0x14,0x46,0x31,0x57,0xa6,0x4e,0x91,
-        0x23,0x4d,0x47,0x5e,0x2f,0x79,0xcb,0xf0,
-        0x5e,0x4d,0xb6,0xa9,0x40,0x7d,0x72,0xc6,
-        0xbf,0xf7,0xd1,0x19,0x8b,0x5c,0x4d,0x6a,
-        0xad,0x28,0x31,0xdb,0x61,0x27,0x49,0x93,
-        0x71,0x5a,0x01,0x82,0xc7,0xdc,0x80,0x89,
-        0xe3,0x2c,0x85,0x31,0xde,0xed,0x4f,0x74,
-        0x31,0xc0,0x7c,0x02,0x19,0x5e,0xba,0x2e,
-        0xf9,0x1e,0xfb,0x56,0x13,0xc3,0x7a,0xf7,
-        0xae,0x0c,0x06,0x6b,0xab,0xc6,0x93,0x69,
-        0x70,0x0e,0x1d,0xd2,0x6e,0xdd,0xc0,0xd2,
-        0x16,0xc7,0x81,0xd5,0x6e,0x4c,0xe4,0x7e,
-        0x33,0x03,0xfa,0x73,0x00,0x7f,0xf7,0xb9,
-        0x49,0xef,0x23,0xbe,0x2a,0xa4,0xdb,0xf2,
-        0x52,0x06,0xfe,0x45,0xc2,0x0d,0xd8,0x88,
-        0x39,0x5b,0x25,0x26,0x39,0x1a,0x72,0x49,
-        0x96,0xa4,0x41,0x56,0xbe,0xac,0x80,0x82,
-        0x12,0x85,0x87,0x92,0xbf,0x8e,0x74,0xcb,
-        0xa4,0x9d,0xee,0x5e,0x88,0x12,0xe0,0x19,
-        0xda,0x87,0x45,0x4b,0xff,0x9e,0x84,0x7e,
-        0xd8,0x3d,0xb0,0x7a,0xf3,0x13,0x74,0x30,
-        0x82,0xf8,0x80,0xa2,0x78,0xf6,0x82,0xc2,
-        0xbd,0x0a,0xd6,0x88,0x7c,0xb5,0x9f,0x65,
-        0x2e,0x15,0x59,0x87,0xd6,0x1b,0xbf,0x6a,
-        0x88,0xd3,0x6e,0xe9,0x3b,0x60,0x72,0xe6,
-        0x65,0x6d,0x9c,0xcb,0xaa,0xe3,0xd6,0x55,
-        0x85,0x2e,0x38,0xde,0xb3,0xa2,0xdc,0xf8,
-        0x05,0x8d,0xc9,0xfb,0x6f,0x2a,0xb3,0xd3,
-        0xb3,0x53,0x9e,0xb7,0x7b,0x24,0x8a,0x66,
-        0x10,0x91,0xd0,0x5e,0xb6,0xe2,0xf2,0x97,
-        0x77,0x4f,0xe6,0x05,0x35,0x98,0x45,0x7c,
-        0xc6,0x19,0x08,0x31,0x8d,0xe4,0xb8,0x26,
-        0xf0,0xfc,0x86,0xd4,0xbb,0x11,0x7d,0x33,
-        0xe8,0x65,0xaa,0x80,0x50,0x09,0xcc,0x29,
-        0x18,0xd9,0xc2,0xf8,0x40,0xc4,0xda,0x43,
-        0xa7,0x03,0xad,0x9f,0x5b,0x58,0x06,0x16,
-        0x3d,0x71,0x61,0x69,0x6b,0x5a,0x0a,0xdc,
-        0x00,0x00,0x00,0x05,0xd5,0xc0,0xd1,0xbe,
-        0xbb,0x06,0x04,0x8e,0xd6,0xfe,0x2e,0xf2,
-        0xc6,0xce,0xf3,0x05,0xb3,0xed,0x63,0x39,
-        0x41,0xeb,0xc8,0xb3,0xbe,0xc9,0x73,0x87,
-        0x54,0xcd,0xdd,0x60,0xe1,0x92,0x0a,0xda,
-        0x52,0xf4,0x3d,0x05,0x5b,0x50,0x31,0xce,
-        0xe6,0x19,0x25,0x20,0xd6,0xa5,0x11,0x55,
-        0x14,0x85,0x1c,0xe7,0xfd,0x44,0x8d,0x4a,
-        0x39,0xfa,0xe2,0xab,0x23,0x35,0xb5,0x25,
-        0xf4,0x84,0xe9,0xb4,0x0d,0x6a,0x4a,0x96,
-        0x93,0x94,0x84,0x3b,0xdc,0xf6,0xd1,0x4c,
-        0x48,0xe8,0x01,0x5e,0x08,0xab,0x92,0x66,
-        0x2c,0x05,0xc6,0xe9,0xf9,0x0b,0x65,0xa7,
-        0xa6,0x20,0x16,0x89,0x99,0x9f,0x32,0xbf,
-        0xd3,0x68,0xe5,0xe3,0xec,0x9c,0xb7,0x0a,
-        0xc7,0xb8,0x39,0x90,0x03,0xf1,0x75,0xc4,
-        0x08,0x85,0x08,0x1a,0x09,0xab,0x30,0x34,
-        0x91,0x1f,0xe1,0x25,0x63,0x10,0x51,0xdf,
-        0x04,0x08,0xb3,0x94,0x6b,0x0b,0xde,0x79,
-        0x09,0x11,0xe8,0x97,0x8b,0xa0,0x7d,0xd5,
-        0x6c,0x73,0xe7,0xee,
-    };
-
-    OQS_SIG_STFL *sig = NULL;
-    sig = OQS_SIG_STFL_new("LMS_SHA256_H5_W8");
-    if (sig == NULL) {
-        fprintf(stderr, "ERROR: OQS_SIG_STFL_new failed, Test vector 1.\n");
-        goto err;
-    }
-
-    rc = OQS_SIG_STFL_verify(sig, message, sizeof(message), signature, sizeof (signature), public_key);
-    if (rc != OQS_SUCCESS) {
-        fprintf(stderr, "ERROR: Test Vector 1 Verify failed\n");
-    }
+	OQS_STATUS rc = OQS_ERROR;
+
+	/* This is test case 1 */
+	static const unsigned char public_key[] = {
+		0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x05,
+		0x00, 0x00, 0x00, 0x04, 0x61, 0xa5, 0xd5, 0x7d,
+		0x37, 0xf5, 0xe4, 0x6b, 0xfb, 0x75, 0x20, 0x80,
+		0x6b, 0x07, 0xa1, 0xb8, 0x50, 0x65, 0x0e, 0x3b,
+		0x31, 0xfe, 0x4a, 0x77, 0x3e, 0xa2, 0x9a, 0x07,
+		0xf0, 0x9c, 0xf2, 0xea, 0x30, 0xe5, 0x79, 0xf0,
+		0xdf, 0x58, 0xef, 0x8e, 0x29, 0x8d, 0xa0, 0x43,
+		0x4c, 0xb2, 0xb8, 0x78,
+	};
+
+	static const unsigned char message[] = {
+		0x54, 0x68, 0x65, 0x20, 0x70, 0x6f, 0x77, 0x65,
+		0x72, 0x73, 0x20, 0x6e, 0x6f, 0x74, 0x20, 0x64,
+		0x65, 0x6c, 0x65, 0x67, 0x61, 0x74, 0x65, 0x64,
+		0x20, 0x74, 0x6f, 0x20, 0x74, 0x68, 0x65, 0x20,
+		0x55, 0x6e, 0x69, 0x74, 0x65, 0x64, 0x20, 0x53,
+		0x74, 0x61, 0x74, 0x65, 0x73, 0x20, 0x62, 0x79,
+		0x20, 0x74, 0x68, 0x65, 0x20, 0x43, 0x6f, 0x6e,
+		0x73, 0x74, 0x69, 0x74, 0x75, 0x74, 0x69, 0x6f,
+		0x6e, 0x2c, 0x20, 0x6e, 0x6f, 0x72, 0x20, 0x70,
+		0x72, 0x6f, 0x68, 0x69, 0x62, 0x69, 0x74, 0x65,
+		0x64, 0x20, 0x62, 0x79, 0x20, 0x69, 0x74, 0x20,
+		0x74, 0x6f, 0x20, 0x74, 0x68, 0x65, 0x20, 0x53,
+		0x74, 0x61, 0x74, 0x65, 0x73, 0x2c, 0x20, 0x61,
+		0x72, 0x65, 0x20, 0x72, 0x65, 0x73, 0x65, 0x72,
+		0x76, 0x65, 0x64, 0x20, 0x74, 0x6f, 0x20, 0x74,
+		0x68, 0x65, 0x20, 0x53, 0x74, 0x61, 0x74, 0x65,
+		0x73, 0x20, 0x72, 0x65, 0x73, 0x70, 0x65, 0x63,
+		0x74, 0x69, 0x76, 0x65, 0x6c, 0x79, 0x2c, 0x20,
+		0x6f, 0x72, 0x20, 0x74, 0x6f, 0x20, 0x74, 0x68,
+		0x65, 0x20, 0x70, 0x65, 0x6f, 0x70, 0x6c, 0x65,
+		0x2e, 0x0a,
+	};
+
+	static const unsigned char signature[] = {
+		0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x05,
+		0x00, 0x00, 0x00, 0x04, 0xd3, 0x2b, 0x56, 0x67,
+		0x1d, 0x7e, 0xb9, 0x88, 0x33, 0xc4, 0x9b, 0x43,
+		0x3c, 0x27, 0x25, 0x86, 0xbc, 0x4a, 0x1c, 0x8a,
+		0x89, 0x70, 0x52, 0x8f, 0xfa, 0x04, 0xb9, 0x66,
+		0xf9, 0x42, 0x6e, 0xb9, 0x96, 0x5a, 0x25, 0xbf,
+		0xd3, 0x7f, 0x19, 0x6b, 0x90, 0x73, 0xf3, 0xd4,
+		0xa2, 0x32, 0xfe, 0xb6, 0x91, 0x28, 0xec, 0x45,
+		0x14, 0x6f, 0x86, 0x29, 0x2f, 0x9d, 0xff, 0x96,
+		0x10, 0xa7, 0xbf, 0x95, 0xa6, 0x4c, 0x7f, 0x60,
+		0xf6, 0x26, 0x1a, 0x62, 0x04, 0x3f, 0x86, 0xc7,
+		0x03, 0x24, 0xb7, 0x70, 0x7f, 0x5b, 0x4a, 0x8a,
+		0x6e, 0x19, 0xc1, 0x14, 0xc7, 0xbe, 0x86, 0x6d,
+		0x48, 0x87, 0x78, 0xa0, 0xe0, 0x5f, 0xd5, 0xc6,
+		0x50, 0x9a, 0x6e, 0x61, 0xd5, 0x59, 0xcf, 0x1a,
+		0x77, 0xa9, 0x70, 0xde, 0x92, 0x7d, 0x60, 0xc7,
+		0x0d, 0x3d, 0xe3, 0x1a, 0x7f, 0xa0, 0x10, 0x09,
+		0x94, 0xe1, 0x62, 0xa2, 0x58, 0x2e, 0x8f, 0xf1,
+		0xb1, 0x0c, 0xd9, 0x9d, 0x4e, 0x8e, 0x41, 0x3e,
+		0xf4, 0x69, 0x55, 0x9f, 0x7d, 0x7e, 0xd1, 0x2c,
+		0x83, 0x83, 0x42, 0xf9, 0xb9, 0xc9, 0x6b, 0x83,
+		0xa4, 0x94, 0x3d, 0x16, 0x81, 0xd8, 0x4b, 0x15,
+		0x35, 0x7f, 0xf4, 0x8c, 0xa5, 0x79, 0xf1, 0x9f,
+		0x5e, 0x71, 0xf1, 0x84, 0x66, 0xf2, 0xbb, 0xef,
+		0x4b, 0xf6, 0x60, 0xc2, 0x51, 0x8e, 0xb2, 0x0d,
+		0xe2, 0xf6, 0x6e, 0x3b, 0x14, 0x78, 0x42, 0x69,
+		0xd7, 0xd8, 0x76, 0xf5, 0xd3, 0x5d, 0x3f, 0xbf,
+		0xc7, 0x03, 0x9a, 0x46, 0x2c, 0x71, 0x6b, 0xb9,
+		0xf6, 0x89, 0x1a, 0x7f, 0x41, 0xad, 0x13, 0x3e,
+		0x9e, 0x1f, 0x6d, 0x95, 0x60, 0xb9, 0x60, 0xe7,
+		0x77, 0x7c, 0x52, 0xf0, 0x60, 0x49, 0x2f, 0x2d,
+		0x7c, 0x66, 0x0e, 0x14, 0x71, 0xe0, 0x7e, 0x72,
+		0x65, 0x55, 0x62, 0x03, 0x5a, 0xbc, 0x9a, 0x70,
+		0x1b, 0x47, 0x3e, 0xcb, 0xc3, 0x94, 0x3c, 0x6b,
+		0x9c, 0x4f, 0x24, 0x05, 0xa3, 0xcb, 0x8b, 0xf8,
+		0xa6, 0x91, 0xca, 0x51, 0xd3, 0xf6, 0xad, 0x2f,
+		0x42, 0x8b, 0xab, 0x6f, 0x3a, 0x30, 0xf5, 0x5d,
+		0xd9, 0x62, 0x55, 0x63, 0xf0, 0xa7, 0x5e, 0xe3,
+		0x90, 0xe3, 0x85, 0xe3, 0xae, 0x0b, 0x90, 0x69,
+		0x61, 0xec, 0xf4, 0x1a, 0xe0, 0x73, 0xa0, 0x59,
+		0x0c, 0x2e, 0xb6, 0x20, 0x4f, 0x44, 0x83, 0x1c,
+		0x26, 0xdd, 0x76, 0x8c, 0x35, 0xb1, 0x67, 0xb2,
+		0x8c, 0xe8, 0xdc, 0x98, 0x8a, 0x37, 0x48, 0x25,
+		0x52, 0x30, 0xce, 0xf9, 0x9e, 0xbf, 0x14, 0xe7,
+		0x30, 0x63, 0x2f, 0x27, 0x41, 0x44, 0x89, 0x80,
+		0x8a, 0xfa, 0xb1, 0xd1, 0xe7, 0x83, 0xed, 0x04,
+		0x51, 0x6d, 0xe0, 0x12, 0x49, 0x86, 0x82, 0x21,
+		0x2b, 0x07, 0x81, 0x05, 0x79, 0xb2, 0x50, 0x36,
+		0x59, 0x41, 0xbc, 0xc9, 0x81, 0x42, 0xda, 0x13,
+		0x60, 0x9e, 0x97, 0x68, 0xaa, 0xf6, 0x5d, 0xe7,
+		0x62, 0x0d, 0xab, 0xec, 0x29, 0xeb, 0x82, 0xa1,
+		0x7f, 0xde, 0x35, 0xaf, 0x15, 0xad, 0x23, 0x8c,
+		0x73, 0xf8, 0x1b, 0xdb, 0x8d, 0xec, 0x2f, 0xc0,
+		0xe7, 0xf9, 0x32, 0x70, 0x10, 0x99, 0x76, 0x2b,
+		0x37, 0xf4, 0x3c, 0x4a, 0x3c, 0x20, 0x01, 0x0a,
+		0x3d, 0x72, 0xe2, 0xf6, 0x06, 0xbe, 0x10, 0x8d,
+		0x31, 0x0e, 0x63, 0x9f, 0x09, 0xce, 0x72, 0x86,
+		0x80, 0x0d, 0x9e, 0xf8, 0xa1, 0xa4, 0x02, 0x81,
+		0xcc, 0x5a, 0x7e, 0xa9, 0x8d, 0x2a, 0xdc, 0x7c,
+		0x74, 0x00, 0xc2, 0xfe, 0x5a, 0x10, 0x15, 0x52,
+		0xdf, 0x4e, 0x3c, 0xcc, 0xfd, 0x0c, 0xbf, 0x2d,
+		0xdf, 0x5d, 0xc6, 0x77, 0x9c, 0xbb, 0xc6, 0x8f,
+		0xee, 0x0c, 0x3e, 0xfe, 0x4e, 0xc2, 0x2b, 0x83,
+		0xa2, 0xca, 0xa3, 0xe4, 0x8e, 0x08, 0x09, 0xa0,
+		0xa7, 0x50, 0xb7, 0x3c, 0xcd, 0xcf, 0x3c, 0x79,
+		0xe6, 0x58, 0x0c, 0x15, 0x4f, 0x8a, 0x58, 0xf7,
+		0xf2, 0x43, 0x35, 0xee, 0xc5, 0xc5, 0xeb, 0x5e,
+		0x0c, 0xf0, 0x1d, 0xcf, 0x44, 0x39, 0x42, 0x40,
+		0x95, 0xfc, 0xeb, 0x07, 0x7f, 0x66, 0xde, 0xd5,
+		0xbe, 0xc7, 0x3b, 0x27, 0xc5, 0xb9, 0xf6, 0x4a,
+		0x2a, 0x9a, 0xf2, 0xf0, 0x7c, 0x05, 0xe9, 0x9e,
+		0x5c, 0xf8, 0x0f, 0x00, 0x25, 0x2e, 0x39, 0xdb,
+		0x32, 0xf6, 0xc1, 0x96, 0x74, 0xf1, 0x90, 0xc9,
+		0xfb, 0xc5, 0x06, 0xd8, 0x26, 0x85, 0x77, 0x13,
+		0xaf, 0xd2, 0xca, 0x6b, 0xb8, 0x5c, 0xd8, 0xc1,
+		0x07, 0x34, 0x75, 0x52, 0xf3, 0x05, 0x75, 0xa5,
+		0x41, 0x78, 0x16, 0xab, 0x4d, 0xb3, 0xf6, 0x03,
+		0xf2, 0xdf, 0x56, 0xfb, 0xc4, 0x13, 0xe7, 0xd0,
+		0xac, 0xd8, 0xbd, 0xd8, 0x13, 0x52, 0xb2, 0x47,
+		0x1f, 0xc1, 0xbc, 0x4f, 0x1e, 0xf2, 0x96, 0xfe,
+		0xa1, 0x22, 0x04, 0x03, 0x46, 0x6b, 0x1a, 0xfe,
+		0x78, 0xb9, 0x4f, 0x7e, 0xcf, 0x7c, 0xc6, 0x2f,
+		0xb9, 0x2b, 0xe1, 0x4f, 0x18, 0xc2, 0x19, 0x23,
+		0x84, 0xeb, 0xce, 0xaf, 0x88, 0x01, 0xaf, 0xdf,
+		0x94, 0x7f, 0x69, 0x8c, 0xe9, 0xc6, 0xce, 0xb6,
+		0x96, 0xed, 0x70, 0xe9, 0xe8, 0x7b, 0x01, 0x44,
+		0x41, 0x7e, 0x8d, 0x7b, 0xaf, 0x25, 0xeb, 0x5f,
+		0x70, 0xf0, 0x9f, 0x01, 0x6f, 0xc9, 0x25, 0xb4,
+		0xdb, 0x04, 0x8a, 0xb8, 0xd8, 0xcb, 0x2a, 0x66,
+		0x1c, 0xe3, 0xb5, 0x7a, 0xda, 0x67, 0x57, 0x1f,
+		0x5d, 0xd5, 0x46, 0xfc, 0x22, 0xcb, 0x1f, 0x97,
+		0xe0, 0xeb, 0xd1, 0xa6, 0x59, 0x26, 0xb1, 0x23,
+		0x4f, 0xd0, 0x4f, 0x17, 0x1c, 0xf4, 0x69, 0xc7,
+		0x6b, 0x88, 0x4c, 0xf3, 0x11, 0x5c, 0xce, 0x6f,
+		0x79, 0x2c, 0xc8, 0x4e, 0x36, 0xda, 0x58, 0x96,
+		0x0c, 0x5f, 0x1d, 0x76, 0x0f, 0x32, 0xc1, 0x2f,
+		0xae, 0xf4, 0x77, 0xe9, 0x4c, 0x92, 0xeb, 0x75,
+		0x62, 0x5b, 0x6a, 0x37, 0x1e, 0xfc, 0x72, 0xd6,
+		0x0c, 0xa5, 0xe9, 0x08, 0xb3, 0xa7, 0xdd, 0x69,
+		0xfe, 0xf0, 0x24, 0x91, 0x50, 0xe3, 0xee, 0xbd,
+		0xfe, 0xd3, 0x9c, 0xbd, 0xc3, 0xce, 0x97, 0x04,
+		0x88, 0x2a, 0x20, 0x72, 0xc7, 0x5e, 0x13, 0x52,
+		0x7b, 0x7a, 0x58, 0x1a, 0x55, 0x61, 0x68, 0x78,
+		0x3d, 0xc1, 0xe9, 0x75, 0x45, 0xe3, 0x18, 0x65,
+		0xdd, 0xc4, 0x6b, 0x3c, 0x95, 0x78, 0x35, 0xda,
+		0x25, 0x2b, 0xb7, 0x32, 0x8d, 0x3e, 0xe2, 0x06,
+		0x24, 0x45, 0xdf, 0xb8, 0x5e, 0xf8, 0xc3, 0x5f,
+		0x8e, 0x1f, 0x33, 0x71, 0xaf, 0x34, 0x02, 0x3c,
+		0xef, 0x62, 0x6e, 0x0a, 0xf1, 0xe0, 0xbc, 0x01,
+		0x73, 0x51, 0xaa, 0xe2, 0xab, 0x8f, 0x5c, 0x61,
+		0x2e, 0xad, 0x0b, 0x72, 0x9a, 0x1d, 0x05, 0x9d,
+		0x02, 0xbf, 0xe1, 0x8e, 0xfa, 0x97, 0x1b, 0x73,
+		0x00, 0xe8, 0x82, 0x36, 0x0a, 0x93, 0xb0, 0x25,
+		0xff, 0x97, 0xe9, 0xe0, 0xee, 0xc0, 0xf3, 0xf3,
+		0xf1, 0x30, 0x39, 0xa1, 0x7f, 0x88, 0xb0, 0xcf,
+		0x80, 0x8f, 0x48, 0x84, 0x31, 0x60, 0x6c, 0xb1,
+		0x3f, 0x92, 0x41, 0xf4, 0x0f, 0x44, 0xe5, 0x37,
+		0xd3, 0x02, 0xc6, 0x4a, 0x4f, 0x1f, 0x4a, 0xb9,
+		0x49, 0xb9, 0xfe, 0xef, 0xad, 0xcb, 0x71, 0xab,
+		0x50, 0xef, 0x27, 0xd6, 0xd6, 0xca, 0x85, 0x10,
+		0xf1, 0x50, 0xc8, 0x5f, 0xb5, 0x25, 0xbf, 0x25,
+		0x70, 0x3d, 0xf7, 0x20, 0x9b, 0x60, 0x66, 0xf0,
+		0x9c, 0x37, 0x28, 0x0d, 0x59, 0x12, 0x8d, 0x2f,
+		0x0f, 0x63, 0x7c, 0x7d, 0x7d, 0x7f, 0xad, 0x4e,
+		0xd1, 0xc1, 0xea, 0x04, 0xe6, 0x28, 0xd2, 0x21,
+		0xe3, 0xd8, 0xdb, 0x77, 0xb7, 0xc8, 0x78, 0xc9,
+		0x41, 0x1c, 0xaf, 0xc5, 0x07, 0x1a, 0x34, 0xa0,
+		0x0f, 0x4c, 0xf0, 0x77, 0x38, 0x91, 0x27, 0x53,
+		0xdf, 0xce, 0x48, 0xf0, 0x75, 0x76, 0xf0, 0xd4,
+		0xf9, 0x4f, 0x42, 0xc6, 0xd7, 0x6f, 0x7c, 0xe9,
+		0x73, 0xe9, 0x36, 0x70, 0x95, 0xba, 0x7e, 0x9a,
+		0x36, 0x49, 0xb7, 0xf4, 0x61, 0xd9, 0xf9, 0xac,
+		0x13, 0x32, 0xa4, 0xd1, 0x04, 0x4c, 0x96, 0xae,
+		0xfe, 0xe6, 0x76, 0x76, 0x40, 0x1b, 0x64, 0x45,
+		0x7c, 0x54, 0xd6, 0x5f, 0xef, 0x65, 0x00, 0xc5,
+		0x9c, 0xdf, 0xb6, 0x9a, 0xf7, 0xb6, 0xdd, 0xdf,
+		0xcb, 0x0f, 0x08, 0x62, 0x78, 0xdd, 0x8a, 0xd0,
+		0x68, 0x60, 0x78, 0xdf, 0xb0, 0xf3, 0xf7, 0x9c,
+		0xd8, 0x93, 0xd3, 0x14, 0x16, 0x86, 0x48, 0x49,
+		0x98, 0x98, 0xfb, 0xc0, 0xce, 0xd5, 0xf9, 0x5b,
+		0x74, 0xe8, 0xff, 0x14, 0xd7, 0x35, 0xcd, 0xea,
+		0x96, 0x8b, 0xee, 0x74, 0x00, 0x00, 0x00, 0x05,
+		0xd8, 0xb8, 0x11, 0x2f, 0x92, 0x00, 0xa5, 0xe5,
+		0x0c, 0x4a, 0x26, 0x21, 0x65, 0xbd, 0x34, 0x2c,
+		0xd8, 0x00, 0xb8, 0x49, 0x68, 0x10, 0xbc, 0x71,
+		0x62, 0x77, 0x43, 0x5a, 0xc3, 0x76, 0x72, 0x8d,
+		0x12, 0x9a, 0xc6, 0xed, 0xa8, 0x39, 0xa6, 0xf3,
+		0x57, 0xb5, 0xa0, 0x43, 0x87, 0xc5, 0xce, 0x97,
+		0x38, 0x2a, 0x78, 0xf2, 0xa4, 0x37, 0x29, 0x17,
+		0xee, 0xfc, 0xbf, 0x93, 0xf6, 0x3b, 0xb5, 0x91,
+		0x12, 0xf5, 0xdb, 0xe4, 0x00, 0xbd, 0x49, 0xe4,
+		0x50, 0x1e, 0x85, 0x9f, 0x88, 0x5b, 0xf0, 0x73,
+		0x6e, 0x90, 0xa5, 0x09, 0xb3, 0x0a, 0x26, 0xbf,
+		0xac, 0x8c, 0x17, 0xb5, 0x99, 0x1c, 0x15, 0x7e,
+		0xb5, 0x97, 0x11, 0x15, 0xaa, 0x39, 0xef, 0xd8,
+		0xd5, 0x64, 0xa6, 0xb9, 0x02, 0x82, 0xc3, 0x16,
+		0x8a, 0xf2, 0xd3, 0x0e, 0xf8, 0x9d, 0x51, 0xbf,
+		0x14, 0x65, 0x45, 0x10, 0xa1, 0x2b, 0x8a, 0x14,
+		0x4c, 0xca, 0x18, 0x48, 0xcf, 0x7d, 0xa5, 0x9c,
+		0xc2, 0xb3, 0xd9, 0xd0, 0x69, 0x2d, 0xd2, 0xa2,
+		0x0b, 0xa3, 0x86, 0x34, 0x80, 0xe2, 0x5b, 0x1b,
+		0x85, 0xee, 0x86, 0x0c, 0x62, 0xbf, 0x51, 0x36,
+		0x00, 0x00, 0x00, 0x05, 0x00, 0x00, 0x00, 0x04,
+		0xd2, 0xf1, 0x4f, 0xf6, 0x34, 0x6a, 0xf9, 0x64,
+		0x56, 0x9f, 0x7d, 0x6c, 0xb8, 0x80, 0xa1, 0xb6,
+		0x6c, 0x50, 0x04, 0x91, 0x7d, 0xa6, 0xea, 0xfe,
+		0x4d, 0x9e, 0xf6, 0xc6, 0x40, 0x7b, 0x3d, 0xb0,
+		0xe5, 0x48, 0x5b, 0x12, 0x2d, 0x9e, 0xbe, 0x15,
+		0xcd, 0xa9, 0x3c, 0xfe, 0xc5, 0x82, 0xd7, 0xab,
+		0x00, 0x00, 0x00, 0x0a, 0x00, 0x00, 0x00, 0x04,
+		0x07, 0x03, 0xc4, 0x91, 0xe7, 0x55, 0x8b, 0x35,
+		0x01, 0x1e, 0xce, 0x35, 0x92, 0xea, 0xa5, 0xda,
+		0x4d, 0x91, 0x87, 0x86, 0x77, 0x12, 0x33, 0xe8,
+		0x35, 0x3b, 0xc4, 0xf6, 0x23, 0x23, 0x18, 0x5c,
+		0x95, 0xca, 0xe0, 0x5b, 0x89, 0x9e, 0x35, 0xdf,
+		0xfd, 0x71, 0x70, 0x54, 0x70, 0x62, 0x09, 0x98,
+		0x8e, 0xbf, 0xdf, 0x6e, 0x37, 0x96, 0x0b, 0xb5,
+		0xc3, 0x8d, 0x76, 0x57, 0xe8, 0xbf, 0xfe, 0xef,
+		0x9b, 0xc0, 0x42, 0xda, 0x4b, 0x45, 0x25, 0x65,
+		0x04, 0x85, 0xc6, 0x6d, 0x0c, 0xe1, 0x9b, 0x31,
+		0x75, 0x87, 0xc6, 0xba, 0x4b, 0xff, 0xcc, 0x42,
+		0x8e, 0x25, 0xd0, 0x89, 0x31, 0xe7, 0x2d, 0xfb,
+		0x6a, 0x12, 0x0c, 0x56, 0x12, 0x34, 0x42, 0x58,
+		0xb8, 0x5e, 0xfd, 0xb7, 0xdb, 0x1d, 0xb9, 0xe1,
+		0x86, 0x5a, 0x73, 0xca, 0xf9, 0x65, 0x57, 0xeb,
+		0x39, 0xed, 0x3e, 0x3f, 0x42, 0x69, 0x33, 0xac,
+		0x9e, 0xed, 0xdb, 0x03, 0xa1, 0xd2, 0x37, 0x4a,
+		0xf7, 0xbf, 0x77, 0x18, 0x55, 0x77, 0x45, 0x62,
+		0x37, 0xf9, 0xde, 0x2d, 0x60, 0x11, 0x3c, 0x23,
+		0xf8, 0x46, 0xdf, 0x26, 0xfa, 0x94, 0x20, 0x08,
+		0xa6, 0x98, 0x99, 0x4c, 0x08, 0x27, 0xd9, 0x0e,
+		0x86, 0xd4, 0x3e, 0x0d, 0xf7, 0xf4, 0xbf, 0xcd,
+		0xb0, 0x9b, 0x86, 0xa3, 0x73, 0xb9, 0x82, 0x88,
+		0xb7, 0x09, 0x4a, 0xd8, 0x1a, 0x01, 0x85, 0xac,
+		0x10, 0x0e, 0x4f, 0x2c, 0x5f, 0xc3, 0x8c, 0x00,
+		0x3c, 0x1a, 0xb6, 0xfe, 0xa4, 0x79, 0xeb, 0x2f,
+		0x5e, 0xbe, 0x48, 0xf5, 0x84, 0xd7, 0x15, 0x9b,
+		0x8a, 0xda, 0x03, 0x58, 0x6e, 0x65, 0xad, 0x9c,
+		0x96, 0x9f, 0x6a, 0xec, 0xbf, 0xe4, 0x4c, 0xf3,
+		0x56, 0x88, 0x8a, 0x7b, 0x15, 0xa3, 0xff, 0x07,
+		0x4f, 0x77, 0x17, 0x60, 0xb2, 0x6f, 0x9c, 0x04,
+		0x88, 0x4e, 0xe1, 0xfa, 0xa3, 0x29, 0xfb, 0xf4,
+		0xe6, 0x1a, 0xf2, 0x3a, 0xee, 0x7f, 0xa5, 0xd4,
+		0xd9, 0xa5, 0xdf, 0xcf, 0x43, 0xc4, 0xc2, 0x6c,
+		0xe8, 0xae, 0xa2, 0xce, 0x8a, 0x29, 0x90, 0xd7,
+		0xba, 0x7b, 0x57, 0x10, 0x8b, 0x47, 0xda, 0xbf,
+		0xbe, 0xad, 0xb2, 0xb2, 0x5b, 0x3c, 0xac, 0xc1,
+		0xac, 0x0c, 0xef, 0x34, 0x6c, 0xbb, 0x90, 0xfb,
+		0x04, 0x4b, 0xee, 0xe4, 0xfa, 0xc2, 0x60, 0x3a,
+		0x44, 0x2b, 0xdf, 0x7e, 0x50, 0x72, 0x43, 0xb7,
+		0x31, 0x9c, 0x99, 0x44, 0xb1, 0x58, 0x6e, 0x89,
+		0x9d, 0x43, 0x1c, 0x7f, 0x91, 0xbc, 0xcc, 0xc8,
+		0x69, 0x0d, 0xbf, 0x59, 0xb2, 0x83, 0x86, 0xb2,
+		0x31, 0x5f, 0x3d, 0x36, 0xef, 0x2e, 0xaa, 0x3c,
+		0xf3, 0x0b, 0x2b, 0x51, 0xf4, 0x8b, 0x71, 0xb0,
+		0x03, 0xdf, 0xb0, 0x82, 0x49, 0x48, 0x42, 0x01,
+		0x04, 0x3f, 0x65, 0xf5, 0xa3, 0xef, 0x6b, 0xbd,
+		0x61, 0xdd, 0xfe, 0xe8, 0x1a, 0xca, 0x9c, 0xe6,
+		0x00, 0x81, 0x26, 0x2a, 0x00, 0x00, 0x04, 0x80,
+		0xdc, 0xbc, 0x9a, 0x3d, 0xa6, 0xfb, 0xef, 0x5c,
+		0x1c, 0x0a, 0x55, 0xe4, 0x8a, 0x0e, 0x72, 0x9f,
+		0x91, 0x84, 0xfc, 0xb1, 0x40, 0x7c, 0x31, 0x52,
+		0x9d, 0xb2, 0x68, 0xf6, 0xfe, 0x50, 0x03, 0x2a,
+		0x36, 0x3c, 0x98, 0x01, 0x30, 0x68, 0x37, 0xfa,
+		0xfa, 0xbd, 0xf9, 0x57, 0xfd, 0x97, 0xea, 0xfc,
+		0x80, 0xdb, 0xd1, 0x65, 0xe4, 0x35, 0xd0, 0xe2,
+		0xdf, 0xd8, 0x36, 0xa2, 0x8b, 0x35, 0x40, 0x23,
+		0x92, 0x4b, 0x6f, 0xb7, 0xe4, 0x8b, 0xc0, 0xb3,
+		0xed, 0x95, 0xee, 0xa6, 0x4c, 0x2d, 0x40, 0x2f,
+		0x4d, 0x73, 0x4c, 0x8d, 0xc2, 0x6f, 0x3a, 0xc5,
+		0x91, 0x82, 0x5d, 0xae, 0xf0, 0x1e, 0xae, 0x3c,
+		0x38, 0xe3, 0x32, 0x8d, 0x00, 0xa7, 0x7d, 0xc6,
+		0x57, 0x03, 0x4f, 0x28, 0x7c, 0xcb, 0x0f, 0x0e,
+		0x1c, 0x9a, 0x7c, 0xbd, 0xc8, 0x28, 0xf6, 0x27,
+		0x20, 0x5e, 0x47, 0x37, 0xb8, 0x4b, 0x58, 0x37,
+		0x65, 0x51, 0xd4, 0x4c, 0x12, 0xc3, 0xc2, 0x15,
+		0xc8, 0x12, 0xa0, 0x97, 0x07, 0x89, 0xc8, 0x3d,
+		0xe5, 0x1d, 0x6a, 0xd7, 0x87, 0x27, 0x19, 0x63,
+		0x32, 0x7f, 0x0a, 0x5f, 0xbb, 0x6b, 0x59, 0x07,
+		0xde, 0xc0, 0x2c, 0x9a, 0x90, 0x93, 0x4a, 0xf5,
+		0xa1, 0xc6, 0x3b, 0x72, 0xc8, 0x26, 0x53, 0x60,
+		0x5d, 0x1d, 0xcc, 0xe5, 0x15, 0x96, 0xb3, 0xc2,
+		0xb4, 0x56, 0x96, 0x68, 0x9f, 0x2e, 0xb3, 0x82,
+		0x00, 0x74, 0x97, 0x55, 0x76, 0x92, 0xca, 0xac,
+		0x4d, 0x57, 0xb5, 0xde, 0x9f, 0x55, 0x69, 0xbc,
+		0x2a, 0xd0, 0x13, 0x7f, 0xd4, 0x7f, 0xb4, 0x7e,
+		0x66, 0x4f, 0xcb, 0x6d, 0xb4, 0x97, 0x1f, 0x5b,
+		0x3e, 0x07, 0xac, 0xed, 0xa9, 0xac, 0x13, 0x0e,
+		0x9f, 0x38, 0x18, 0x2d, 0xe9, 0x94, 0xcf, 0xf1,
+		0x92, 0xec, 0x0e, 0x82, 0xfd, 0x6d, 0x4c, 0xb7,
+		0xf3, 0xfe, 0x00, 0x81, 0x25, 0x89, 0xb7, 0xa7,
+		0xce, 0x51, 0x54, 0x40, 0x45, 0x64, 0x33, 0x01,
+		0x6b, 0x84, 0xa5, 0x9b, 0xec, 0x66, 0x19, 0xa1,
+		0xc6, 0xc0, 0xb3, 0x7d, 0xd1, 0x45, 0x0e, 0xd4,
+		0xf2, 0xd8, 0xb5, 0x84, 0x41, 0x0c, 0xed, 0xa8,
+		0x02, 0x5f, 0x5d, 0x2d, 0x8d, 0xd0, 0xd2, 0x17,
+		0x6f, 0xc1, 0xcf, 0x2c, 0xc0, 0x6f, 0xa8, 0xc8,
+		0x2b, 0xed, 0x4d, 0x94, 0x4e, 0x71, 0x33, 0x9e,
+		0xce, 0x78, 0x0f, 0xd0, 0x25, 0xbd, 0x41, 0xec,
+		0x34, 0xeb, 0xff, 0x9d, 0x42, 0x70, 0xa3, 0x22,
+		0x4e, 0x01, 0x9f, 0xcb, 0x44, 0x44, 0x74, 0xd4,
+		0x82, 0xfd, 0x2d, 0xbe, 0x75, 0xef, 0xb2, 0x03,
+		0x89, 0xcc, 0x10, 0xcd, 0x60, 0x0a, 0xbb, 0x54,
+		0xc4, 0x7e, 0xde, 0x93, 0xe0, 0x8c, 0x11, 0x4e,
+		0xdb, 0x04, 0x11, 0x7d, 0x71, 0x4d, 0xc1, 0xd5,
+		0x25, 0xe1, 0x1b, 0xed, 0x87, 0x56, 0x19, 0x2f,
+		0x92, 0x9d, 0x15, 0x46, 0x2b, 0x93, 0x9f, 0xf3,
+		0xf5, 0x2f, 0x22, 0x52, 0xda, 0x2e, 0xd6, 0x4d,
+		0x8f, 0xae, 0x88, 0x81, 0x8b, 0x1e, 0xfa, 0x2c,
+		0x7b, 0x08, 0xc8, 0x79, 0x4f, 0xb1, 0xb2, 0x14,
+		0xaa, 0x23, 0x3d, 0xb3, 0x16, 0x28, 0x33, 0x14,
+		0x1e, 0xa4, 0x38, 0x3f, 0x1a, 0x6f, 0x12, 0x0b,
+		0xe1, 0xdb, 0x82, 0xce, 0x36, 0x30, 0xb3, 0x42,
+		0x91, 0x14, 0x46, 0x31, 0x57, 0xa6, 0x4e, 0x91,
+		0x23, 0x4d, 0x47, 0x5e, 0x2f, 0x79, 0xcb, 0xf0,
+		0x5e, 0x4d, 0xb6, 0xa9, 0x40, 0x7d, 0x72, 0xc6,
+		0xbf, 0xf7, 0xd1, 0x19, 0x8b, 0x5c, 0x4d, 0x6a,
+		0xad, 0x28, 0x31, 0xdb, 0x61, 0x27, 0x49, 0x93,
+		0x71, 0x5a, 0x01, 0x82, 0xc7, 0xdc, 0x80, 0x89,
+		0xe3, 0x2c, 0x85, 0x31, 0xde, 0xed, 0x4f, 0x74,
+		0x31, 0xc0, 0x7c, 0x02, 0x19, 0x5e, 0xba, 0x2e,
+		0xf9, 0x1e, 0xfb, 0x56, 0x13, 0xc3, 0x7a, 0xf7,
+		0xae, 0x0c, 0x06, 0x6b, 0xab, 0xc6, 0x93, 0x69,
+		0x70, 0x0e, 0x1d, 0xd2, 0x6e, 0xdd, 0xc0, 0xd2,
+		0x16, 0xc7, 0x81, 0xd5, 0x6e, 0x4c, 0xe4, 0x7e,
+		0x33, 0x03, 0xfa, 0x73, 0x00, 0x7f, 0xf7, 0xb9,
+		0x49, 0xef, 0x23, 0xbe, 0x2a, 0xa4, 0xdb, 0xf2,
+		0x52, 0x06, 0xfe, 0x45, 0xc2, 0x0d, 0xd8, 0x88,
+		0x39, 0x5b, 0x25, 0x26, 0x39, 0x1a, 0x72, 0x49,
+		0x96, 0xa4, 0x41, 0x56, 0xbe, 0xac, 0x80, 0x82,
+		0x12, 0x85, 0x87, 0x92, 0xbf, 0x8e, 0x74, 0xcb,
+		0xa4, 0x9d, 0xee, 0x5e, 0x88, 0x12, 0xe0, 0x19,
+		0xda, 0x87, 0x45, 0x4b, 0xff, 0x9e, 0x84, 0x7e,
+		0xd8, 0x3d, 0xb0, 0x7a, 0xf3, 0x13, 0x74, 0x30,
+		0x82, 0xf8, 0x80, 0xa2, 0x78, 0xf6, 0x82, 0xc2,
+		0xbd, 0x0a, 0xd6, 0x88, 0x7c, 0xb5, 0x9f, 0x65,
+		0x2e, 0x15, 0x59, 0x87, 0xd6, 0x1b, 0xbf, 0x6a,
+		0x88, 0xd3, 0x6e, 0xe9, 0x3b, 0x60, 0x72, 0xe6,
+		0x65, 0x6d, 0x9c, 0xcb, 0xaa, 0xe3, 0xd6, 0x55,
+		0x85, 0x2e, 0x38, 0xde, 0xb3, 0xa2, 0xdc, 0xf8,
+		0x05, 0x8d, 0xc9, 0xfb, 0x6f, 0x2a, 0xb3, 0xd3,
+		0xb3, 0x53, 0x9e, 0xb7, 0x7b, 0x24, 0x8a, 0x66,
+		0x10, 0x91, 0xd0, 0x5e, 0xb6, 0xe2, 0xf2, 0x97,
+		0x77, 0x4f, 0xe6, 0x05, 0x35, 0x98, 0x45, 0x7c,
+		0xc6, 0x19, 0x08, 0x31, 0x8d, 0xe4, 0xb8, 0x26,
+		0xf0, 0xfc, 0x86, 0xd4, 0xbb, 0x11, 0x7d, 0x33,
+		0xe8, 0x65, 0xaa, 0x80, 0x50, 0x09, 0xcc, 0x29,
+		0x18, 0xd9, 0xc2, 0xf8, 0x40, 0xc4, 0xda, 0x43,
+		0xa7, 0x03, 0xad, 0x9f, 0x5b, 0x58, 0x06, 0x16,
+		0x3d, 0x71, 0x61, 0x69, 0x6b, 0x5a, 0x0a, 0xdc,
+		0x00, 0x00, 0x00, 0x05, 0xd5, 0xc0, 0xd1, 0xbe,
+		0xbb, 0x06, 0x04, 0x8e, 0xd6, 0xfe, 0x2e, 0xf2,
+		0xc6, 0xce, 0xf3, 0x05, 0xb3, 0xed, 0x63, 0x39,
+		0x41, 0xeb, 0xc8, 0xb3, 0xbe, 0xc9, 0x73, 0x87,
+		0x54, 0xcd, 0xdd, 0x60, 0xe1, 0x92, 0x0a, 0xda,
+		0x52, 0xf4, 0x3d, 0x05, 0x5b, 0x50, 0x31, 0xce,
+		0xe6, 0x19, 0x25, 0x20, 0xd6, 0xa5, 0x11, 0x55,
+		0x14, 0x85, 0x1c, 0xe7, 0xfd, 0x44, 0x8d, 0x4a,
+		0x39, 0xfa, 0xe2, 0xab, 0x23, 0x35, 0xb5, 0x25,
+		0xf4, 0x84, 0xe9, 0xb4, 0x0d, 0x6a, 0x4a, 0x96,
+		0x93, 0x94, 0x84, 0x3b, 0xdc, 0xf6, 0xd1, 0x4c,
+		0x48, 0xe8, 0x01, 0x5e, 0x08, 0xab, 0x92, 0x66,
+		0x2c, 0x05, 0xc6, 0xe9, 0xf9, 0x0b, 0x65, 0xa7,
+		0xa6, 0x20, 0x16, 0x89, 0x99, 0x9f, 0x32, 0xbf,
+		0xd3, 0x68, 0xe5, 0xe3, 0xec, 0x9c, 0xb7, 0x0a,
+		0xc7, 0xb8, 0x39, 0x90, 0x03, 0xf1, 0x75, 0xc4,
+		0x08, 0x85, 0x08, 0x1a, 0x09, 0xab, 0x30, 0x34,
+		0x91, 0x1f, 0xe1, 0x25, 0x63, 0x10, 0x51, 0xdf,
+		0x04, 0x08, 0xb3, 0x94, 0x6b, 0x0b, 0xde, 0x79,
+		0x09, 0x11, 0xe8, 0x97, 0x8b, 0xa0, 0x7d, 0xd5,
+		0x6c, 0x73, 0xe7, 0xee,
+	};
+
+	OQS_SIG_STFL *sig = NULL;
+	sig = OQS_SIG_STFL_new("LMS_SHA256_H5_W8");
+	if (sig == NULL) {
+		fprintf(stderr, "ERROR: OQS_SIG_STFL_new failed, Test vector 1.\n");
+		goto err;
+	}
+
+	rc = OQS_SIG_STFL_verify(sig, message, sizeof(message), signature, sizeof (signature), public_key);
+	if (rc != OQS_SUCCESS) {
+		fprintf(stderr, "ERROR: Test Vector 1 Verify failed\n");
+	}
 err:
-    OQS_SIG_STFL_free(sig);
-    return rc;
+	OQS_SIG_STFL_free(sig);
+	return rc;
 }
 
 static OQS_STATUS test_testvector_2(void) {
 
-    OQS_STATUS rc = OQS_ERROR;
-
-    /* This is test case 2 */
-    static const unsigned char public_key[] = {
-        0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x06,
-        0x00,0x00,0x00,0x03,0xd0,0x8f,0xab,0xd4,
-        0xa2,0x09,0x1f,0xf0,0xa8,0xcb,0x4e,0xd8,
-        0x34,0xe7,0x45,0x34,0x32,0xa5,0x88,0x85,
-        0xcd,0x9b,0xa0,0x43,0x12,0x35,0x46,0x6b,
-        0xff,0x96,0x51,0xc6,0xc9,0x21,0x24,0x40,
-        0x4d,0x45,0xfa,0x53,0xcf,0x16,0x1c,0x28,
-        0xf1,0xad,0x5a,0x8e,
-    };
-    static const unsigned char message[] = {
-        0x54,0x68,0x65,0x20,0x65,0x6e,0x75,0x6d,
-        0x65,0x72,0x61,0x74,0x69,0x6f,0x6e,0x20,
-        0x69,0x6e,0x20,0x74,0x68,0x65,0x20,0x43,
-        0x6f,0x6e,0x73,0x74,0x69,0x74,0x75,0x74,
-        0x69,0x6f,0x6e,0x2c,0x20,0x6f,0x66,0x20,
-        0x63,0x65,0x72,0x74,0x61,0x69,0x6e,0x20,
-        0x72,0x69,0x67,0x68,0x74,0x73,0x2c,0x20,
-        0x73,0x68,0x61,0x6c,0x6c,0x20,0x6e,0x6f,
-        0x74,0x20,0x62,0x65,0x20,0x63,0x6f,0x6e,
-        0x73,0x74,0x72,0x75,0x65,0x64,0x20,0x74,
-        0x6f,0x20,0x64,0x65,0x6e,0x79,0x20,0x6f,
-        0x72,0x20,0x64,0x69,0x73,0x70,0x61,0x72,
-        0x61,0x67,0x65,0x20,0x6f,0x74,0x68,0x65,
-        0x72,0x73,0x20,0x72,0x65,0x74,0x61,0x69,
-        0x6e,0x65,0x64,0x20,0x62,0x79,0x20,0x74,
-        0x68,0x65,0x20,0x70,0x65,0x6f,0x70,0x6c,
-        0x65,0x2e,0x0a,
-    };
-
-    static const unsigned char signature[] = {
-        0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x03,
-        0x00,0x00,0x00,0x03,0x3d,0x46,0xbe,0xe8,
-        0x66,0x0f,0x8f,0x21,0x5d,0x3f,0x96,0x40,
-        0x8a,0x7a,0x64,0xcf,0x1c,0x4d,0xa0,0x2b,
-        0x63,0xa5,0x5f,0x62,0xc6,0x66,0xef,0x57,
-        0x07,0xa9,0x14,0xce,0x06,0x74,0xe8,0xcb,
-        0x7a,0x55,0xf0,0xc4,0x8d,0x48,0x4f,0x31,
-        0xf3,0xaa,0x4a,0xf9,0x71,0x9a,0x74,0xf2,
-        0x2c,0xf8,0x23,0xb9,0x44,0x31,0xd0,0x1c,
-        0x92,0x6e,0x2a,0x76,0xbb,0x71,0x22,0x6d,
-        0x27,0x97,0x00,0xec,0x81,0xc9,0xe9,0x5f,
-        0xb1,0x1a,0x0d,0x10,0xd0,0x65,0x27,0x9a,
-        0x57,0x96,0xe2,0x65,0xae,0x17,0x73,0x7c,
-        0x44,0xeb,0x8c,0x59,0x45,0x08,0xe1,0x26,
-        0xa9,0xa7,0x87,0x0b,0xf4,0x36,0x08,0x20,
-        0xbd,0xeb,0x9a,0x01,0xd9,0x69,0x37,0x79,
-        0xe4,0x16,0x82,0x8e,0x75,0xbd,0xdd,0x7d,
-        0x8c,0x70,0xd5,0x0a,0x0a,0xc8,0xba,0x39,
-        0x81,0x09,0x09,0xd4,0x45,0xf4,0x4c,0xb5,
-        0xbb,0x58,0xde,0x73,0x7e,0x60,0xcb,0x43,
-        0x45,0x30,0x27,0x86,0xef,0x2c,0x6b,0x14,
-        0xaf,0x21,0x2c,0xa1,0x9e,0xde,0xaa,0x3b,
-        0xfc,0xfe,0x8b,0xaa,0x66,0x21,0xce,0x88,
-        0x48,0x0d,0xf2,0x37,0x1d,0xd3,0x7a,0xdd,
-        0x73,0x2c,0x9d,0xe4,0xea,0x2c,0xe0,0xdf,
-        0xfa,0x53,0xc9,0x26,0x49,0xa1,0x8d,0x39,
-        0xa5,0x07,0x88,0xf4,0x65,0x29,0x87,0xf2,
-        0x26,0xa1,0xd4,0x81,0x68,0x20,0x5d,0xf6,
-        0xae,0x7c,0x58,0xe0,0x49,0xa2,0x5d,0x49,
-        0x07,0xed,0xc1,0xaa,0x90,0xda,0x8a,0xa5,
-        0xe5,0xf7,0x67,0x17,0x73,0xe9,0x41,0xd8,
-        0x05,0x53,0x60,0x21,0x5c,0x6b,0x60,0xdd,
-        0x35,0x46,0x3c,0xf2,0x24,0x0a,0x9c,0x06,
-        0xd6,0x94,0xe9,0xcb,0x54,0xe7,0xb1,0xe1,
-        0xbf,0x49,0x4d,0x0d,0x1a,0x28,0xc0,0xd3,
-        0x1a,0xcc,0x75,0x16,0x1f,0x4f,0x48,0x5d,
-        0xfd,0x3c,0xb9,0x57,0x8e,0x83,0x6e,0xc2,
-        0xdc,0x72,0x2f,0x37,0xed,0x30,0x87,0x2e,
-        0x07,0xf2,0xb8,0xbd,0x03,0x74,0xeb,0x57,
-        0xd2,0x2c,0x61,0x4e,0x09,0x15,0x0f,0x6c,
-        0x0d,0x87,0x74,0xa3,0x9a,0x6e,0x16,0x82,
-        0x11,0x03,0x5d,0xc5,0x29,0x88,0xab,0x46,
-        0xea,0xca,0x9e,0xc5,0x97,0xfb,0x18,0xb4,
-        0x93,0x6e,0x66,0xef,0x2f,0x0d,0xf2,0x6e,
-        0x8d,0x1e,0x34,0xda,0x28,0xcb,0xb3,0xaf,
-        0x75,0x23,0x13,0x72,0x0c,0x7b,0x34,0x54,
-        0x34,0xf7,0x2d,0x65,0x31,0x43,0x28,0xbb,
-        0xb0,0x30,0xd0,0xf0,0xf6,0xd5,0xe4,0x7b,
-        0x28,0xea,0x91,0x00,0x8f,0xb1,0x1b,0x05,
-        0x01,0x77,0x05,0xa8,0xbe,0x3b,0x2a,0xdb,
-        0x83,0xc6,0x0a,0x54,0xf9,0xd1,0xd1,0xb2,
-        0xf4,0x76,0xf9,0xe3,0x93,0xeb,0x56,0x95,
-        0x20,0x3d,0x2b,0xa6,0xad,0x81,0x5e,0x6a,
-        0x11,0x1e,0xa2,0x93,0xdc,0xc2,0x10,0x33,
-        0xf9,0x45,0x3d,0x49,0xc8,0xe5,0xa6,0x38,
-        0x7f,0x58,0x8b,0x1e,0xa4,0xf7,0x06,0x21,
-        0x7c,0x15,0x1e,0x05,0xf5,0x5a,0x6e,0xb7,
-        0x99,0x7b,0xe0,0x9d,0x56,0xa3,0x26,0xa3,
-        0x2f,0x9c,0xba,0x1f,0xbe,0x1c,0x07,0xbb,
-        0x49,0xfa,0x04,0xce,0xcf,0x9d,0xf1,0xa1,
-        0xb8,0x15,0x48,0x3c,0x75,0xd7,0xa2,0x7c,
-        0xc8,0x8a,0xd1,0xb1,0x23,0x8e,0x5e,0xa9,
-        0x86,0xb5,0x3e,0x08,0x70,0x45,0x72,0x3c,
-        0xe1,0x61,0x87,0xed,0xa2,0x2e,0x33,0xb2,
-        0xc7,0x07,0x09,0xe5,0x32,0x51,0x02,0x5a,
-        0xbd,0xe8,0x93,0x96,0x45,0xfc,0x8c,0x06,
-        0x93,0xe9,0x77,0x63,0x92,0x8f,0x00,0xb2,
-        0xe3,0xc7,0x5a,0xf3,0x94,0x2d,0x8d,0xda,
-        0xee,0x81,0xb5,0x9a,0x6f,0x1f,0x67,0xef,
-        0xda,0x0e,0xf8,0x1d,0x11,0x87,0x3b,0x59,
-        0x13,0x7f,0x67,0x80,0x0b,0x35,0xe8,0x1b,
-        0x01,0x56,0x3d,0x18,0x7c,0x4a,0x15,0x75,
-        0xa1,0xac,0xb9,0x2d,0x08,0x7b,0x51,0x7a,
-        0x88,0x33,0x38,0x3f,0x05,0xd3,0x57,0xef,
-        0x46,0x78,0xde,0x0c,0x57,0xff,0x9f,0x1b,
-        0x2d,0xa6,0x1d,0xfd,0xe5,0xd8,0x83,0x18,
-        0xbc,0xdd,0xe4,0xd9,0x06,0x1c,0xc7,0x5c,
-        0x2d,0xe3,0xcd,0x47,0x40,0xdd,0x77,0x39,
-        0xca,0x3e,0xf6,0x6f,0x19,0x30,0x02,0x6f,
-        0x47,0xd9,0xeb,0xaa,0x71,0x3b,0x07,0x17,
-        0x6f,0x76,0xf9,0x53,0xe1,0xc2,0xe7,0xf8,
-        0xf2,0x71,0xa6,0xca,0x37,0x5d,0xbf,0xb8,
-        0x3d,0x71,0x9b,0x16,0x35,0xa7,0xd8,0xa1,
-        0x38,0x91,0x95,0x79,0x44,0xb1,0xc2,0x9b,
-        0xb1,0x01,0x91,0x3e,0x16,0x6e,0x11,0xbd,
-        0x5f,0x34,0x18,0x6f,0xa6,0xc0,0xa5,0x55,
-        0xc9,0x02,0x6b,0x25,0x6a,0x68,0x60,0xf4,
-        0x86,0x6b,0xd6,0xd0,0xb5,0xbf,0x90,0x62,
-        0x70,0x86,0xc6,0x14,0x91,0x33,0xf8,0x28,
-        0x2c,0xe6,0xc9,0xb3,0x62,0x24,0x42,0x44,
-        0x3d,0x5e,0xca,0x95,0x9d,0x6c,0x14,0xca,
-        0x83,0x89,0xd1,0x2c,0x40,0x68,0xb5,0x03,
-        0xe4,0xe3,0xc3,0x9b,0x63,0x5b,0xea,0x24,
-        0x5d,0x9d,0x05,0xa2,0x55,0x8f,0x24,0x9c,
-        0x96,0x61,0xc0,0x42,0x7d,0x2e,0x48,0x9c,
-        0xa5,0xb5,0xdd,0xe2,0x20,0xa9,0x03,0x33,
-        0xf4,0x86,0x2a,0xec,0x79,0x32,0x23,0xc7,
-        0x81,0x99,0x7d,0xa9,0x82,0x66,0xc1,0x2c,
-        0x50,0xea,0x28,0xb2,0xc4,0x38,0xe7,0xa3,
-        0x79,0xeb,0x10,0x6e,0xca,0x0c,0x7f,0xd6,
-        0x00,0x6e,0x9b,0xf6,0x12,0xf3,0xea,0x0a,
-        0x45,0x4b,0xa3,0xbd,0xb7,0x6e,0x80,0x27,
-        0x99,0x2e,0x60,0xde,0x01,0xe9,0x09,0x4f,
-        0xdd,0xeb,0x33,0x49,0x88,0x39,0x14,0xfb,
-        0x17,0xa9,0x62,0x1a,0xb9,0x29,0xd9,0x70,
-        0xd1,0x01,0xe4,0x5f,0x82,0x78,0xc1,0x4b,
-        0x03,0x2b,0xca,0xb0,0x2b,0xd1,0x56,0x92,
-        0xd2,0x1b,0x6c,0x5c,0x20,0x4a,0xbb,0xf0,
-        0x77,0xd4,0x65,0x55,0x3b,0xd6,0xed,0xa6,
-        0x45,0xe6,0xc3,0x06,0x5d,0x33,0xb1,0x0d,
-        0x51,0x8a,0x61,0xe1,0x5e,0xd0,0xf0,0x92,
-        0xc3,0x22,0x26,0x28,0x1a,0x29,0xc8,0xa0,
-        0xf5,0x0c,0xde,0x0a,0x8c,0x66,0x23,0x6e,
-        0x29,0xc2,0xf3,0x10,0xa3,0x75,0xce,0xbd,
-        0xa1,0xdc,0x6b,0xb9,0xa1,0xa0,0x1d,0xae,
-        0x6c,0x7a,0xba,0x8e,0xbe,0xdc,0x63,0x71,
-        0xa7,0xd5,0x2a,0xac,0xb9,0x55,0xf8,0x3b,
-        0xd6,0xe4,0xf8,0x4d,0x29,0x49,0xdc,0xc1,
-        0x98,0xfb,0x77,0xc7,0xe5,0xcd,0xf6,0x04,
-        0x0b,0x0f,0x84,0xfa,0xf8,0x28,0x08,0xbf,
-        0x98,0x55,0x77,0xf0,0xa2,0xac,0xf2,0xec,
-        0x7e,0xd7,0xc0,0xb0,0xae,0x8a,0x27,0x0e,
-        0x95,0x17,0x43,0xff,0x23,0xe0,0xb2,0xdd,
-        0x12,0xe9,0xc3,0xc8,0x28,0xfb,0x55,0x98,
-        0xa2,0x24,0x61,0xaf,0x94,0xd5,0x68,0xf2,
-        0x92,0x40,0xba,0x28,0x20,0xc4,0x59,0x1f,
-        0x71,0xc0,0x88,0xf9,0x6e,0x09,0x5d,0xd9,
-        0x8b,0xea,0xe4,0x56,0x57,0x9e,0xbb,0xba,
-        0x36,0xf6,0xd9,0xca,0x26,0x13,0xd1,0xc2,
-        0x6e,0xee,0x4d,0x8c,0x73,0x21,0x7a,0xc5,
-        0x96,0x2b,0x5f,0x31,0x47,0xb4,0x92,0xe8,
-        0x83,0x15,0x97,0xfd,0x89,0xb6,0x4a,0xa7,
-        0xfd,0xe8,0x2e,0x19,0x74,0xd2,0xf6,0x77,
-        0x95,0x04,0xdc,0x21,0x43,0x5e,0xb3,0x10,
-        0x93,0x50,0x75,0x6b,0x9f,0xda,0xbe,0x1c,
-        0x6f,0x36,0x80,0x81,0xbd,0x40,0xb2,0x7e,
-        0xbc,0xb9,0x81,0x9a,0x75,0xd7,0xdf,0x8b,
-        0xb0,0x7b,0xb0,0x5d,0xb1,0xba,0xb7,0x05,
-        0xa4,0xb7,0xe3,0x71,0x25,0x18,0x63,0x39,
-        0x46,0x4a,0xd8,0xfa,0xaa,0x4f,0x05,0x2c,
-        0xc1,0x27,0x29,0x19,0xfd,0xe3,0xe0,0x25,
-        0xbb,0x64,0xaa,0x8e,0x0e,0xb1,0xfc,0xbf,
-        0xcc,0x25,0xac,0xb5,0xf7,0x18,0xce,0x4f,
-        0x7c,0x21,0x82,0xfb,0x39,0x3a,0x18,0x14,
-        0xb0,0xe9,0x42,0x49,0x0e,0x52,0xd3,0xbc,
-        0xa8,0x17,0xb2,0xb2,0x6e,0x90,0xd4,0xc9,
-        0xb0,0xcc,0x38,0x60,0x8a,0x6c,0xef,0x5e,
-        0xb1,0x53,0xaf,0x08,0x58,0xac,0xc8,0x67,
-        0xc9,0x92,0x2a,0xed,0x43,0xbb,0x67,0xd7,
-        0xb3,0x3a,0xcc,0x51,0x93,0x13,0xd2,0x8d,
-        0x41,0xa5,0xc6,0xfe,0x6c,0xf3,0x59,0x5d,
-        0xd5,0xee,0x63,0xf0,0xa4,0xc4,0x06,0x5a,
-        0x08,0x35,0x90,0xb2,0x75,0x78,0x8b,0xee,
-        0x7a,0xd8,0x75,0xa7,0xf8,0x8d,0xd7,0x37,
-        0x20,0x70,0x8c,0x6c,0x6c,0x0e,0xcf,0x1f,
-        0x43,0xbb,0xaa,0xda,0xe6,0xf2,0x08,0x55,
-        0x7f,0xdc,0x07,0xbd,0x4e,0xd9,0x1f,0x88,
-        0xce,0x4c,0x0d,0xe8,0x42,0x76,0x1c,0x70,
-        0xc1,0x86,0xbf,0xda,0xfa,0xfc,0x44,0x48,
-        0x34,0xbd,0x34,0x18,0xbe,0x42,0x53,0xa7,
-        0x1e,0xaf,0x41,0xd7,0x18,0x75,0x3a,0xd0,
-        0x77,0x54,0xca,0x3e,0xff,0xd5,0x96,0x0b,
-        0x03,0x36,0x98,0x17,0x95,0x72,0x14,0x26,
-        0x80,0x35,0x99,0xed,0x5b,0x2b,0x75,0x16,
-        0x92,0x0e,0xfc,0xbe,0x32,0xad,0xa4,0xbc,
-        0xf6,0xc7,0x3b,0xd2,0x9e,0x3f,0xa1,0x52,
-        0xd9,0xad,0xec,0xa3,0x60,0x20,0xfd,0xee,
-        0xee,0x1b,0x73,0x95,0x21,0xd3,0xea,0x8c,
-        0x0d,0xa4,0x97,0x00,0x3d,0xf1,0x51,0x38,
-        0x97,0xb0,0xf5,0x47,0x94,0xa8,0x73,0x67,
-        0x0b,0x8d,0x93,0xbc,0xca,0x2a,0xe4,0x7e,
-        0x64,0x42,0x4b,0x74,0x23,0xe1,0xf0,0x78,
-        0xd9,0x55,0x4b,0xb5,0x23,0x2c,0xc6,0xde,
-        0x8a,0xae,0x9b,0x83,0xfa,0x5b,0x95,0x10,
-        0xbe,0xb3,0x9c,0xcf,0x4b,0x4e,0x1d,0x9c,
-        0x0f,0x19,0xd5,0xe1,0x7f,0x58,0xe5,0xb8,
-        0x70,0x5d,0x9a,0x68,0x37,0xa7,0xd9,0xbf,
-        0x99,0xcd,0x13,0x38,0x7a,0xf2,0x56,0xa8,
-        0x49,0x16,0x71,0xf1,0xf2,0xf2,0x2a,0xf2,
-        0x53,0xbc,0xff,0x54,0xb6,0x73,0x19,0x9b,
-        0xdb,0x7d,0x05,0xd8,0x10,0x64,0xef,0x05,
-        0xf8,0x0f,0x01,0x53,0xd0,0xbe,0x79,0x19,
-        0x68,0x4b,0x23,0xda,0x8d,0x42,0xff,0x3e,
-        0xff,0xdb,0x7c,0xa0,0x98,0x50,0x33,0xf3,
-        0x89,0x18,0x1f,0x47,0x65,0x91,0x38,0x00,
-        0x3d,0x71,0x2b,0x5e,0xc0,0xa6,0x14,0xd3,
-        0x1c,0xc7,0x48,0x7f,0x52,0xde,0x86,0x64,
-        0x91,0x6a,0xf7,0x9c,0x98,0x45,0x6b,0x2c,
-        0x94,0xa8,0x03,0x80,0x83,0xdb,0x55,0x39,
-        0x1e,0x34,0x75,0x86,0x22,0x50,0x27,0x4a,
-        0x1d,0xe2,0x58,0x4f,0xec,0x97,0x5f,0xb0,
-        0x95,0x36,0x79,0x2c,0xfb,0xfc,0xf6,0x19,
-        0x28,0x56,0xcc,0x76,0xeb,0x5b,0x13,0xdc,
-        0x47,0x09,0xe2,0xf7,0x30,0x1d,0xdf,0xf2,
-        0x6e,0xc1,0xb2,0x3d,0xe2,0xd1,0x88,0xc9,
-        0x99,0x16,0x6c,0x74,0xe1,0xe1,0x4b,0xbc,
-        0x15,0xf4,0x57,0xcf,0x4e,0x47,0x1a,0xe1,
-        0x3d,0xcb,0xdd,0x9c,0x50,0xf4,0xd6,0x46,
-        0xfc,0x62,0x78,0xe8,0xfe,0x7e,0xb6,0xcb,
-        0x5c,0x94,0x10,0x0f,0xa8,0x70,0x18,0x73,
-        0x80,0xb7,0x77,0xed,0x19,0xd7,0x86,0x8f,
-        0xd8,0xca,0x7c,0xeb,0x7f,0xa7,0xd5,0xcc,
-        0x86,0x1c,0x5b,0xda,0xc9,0x8e,0x74,0x95,
-        0xeb,0x0a,0x2c,0xee,0xc1,0x92,0x4a,0xe9,
-        0x79,0xf4,0x4c,0x53,0x90,0xeb,0xed,0xdd,
-        0xc6,0x5d,0x6e,0xc1,0x12,0x87,0xd9,0x78,
-        0xb8,0xdf,0x06,0x42,0x19,0xbc,0x56,0x79,
-        0xf7,0xd7,0xb2,0x64,0xa7,0x6f,0xf2,0x72,
-        0xb2,0xac,0x9f,0x2f,0x7c,0xfc,0x9f,0xdc,
-        0xfb,0x6a,0x51,0x42,0x82,0x40,0x02,0x7a,
-        0xfd,0x9d,0x52,0xa7,0x9b,0x64,0x7c,0x90,
-        0xc2,0x70,0x9e,0x06,0x0e,0xd7,0x0f,0x87,
-        0x29,0x9d,0xd7,0x98,0xd6,0x8f,0x4f,0xad,
-        0xd3,0xda,0x6c,0x51,0xd8,0x39,0xf8,0x51,
-        0xf9,0x8f,0x67,0x84,0x0b,0x96,0x4e,0xbe,
-        0x73,0xf8,0xce,0xc4,0x15,0x72,0x53,0x8e,
-        0xc6,0xbc,0x13,0x10,0x34,0xca,0x28,0x94,
-        0xeb,0x73,0x6b,0x3b,0xda,0x93,0xd9,0xf5,
-        0xf6,0xfa,0x6f,0x6c,0x0f,0x03,0xce,0x43,
-        0x36,0x2b,0x84,0x14,0x94,0x03,0x55,0xfb,
-        0x54,0xd3,0xdf,0xdd,0x03,0x63,0x3a,0xe1,
-        0x08,0xf3,0xde,0x3e,0xbc,0x85,0xa3,0xff,
-        0x51,0xef,0xee,0xa3,0xbc,0x2c,0xf2,0x7e,
-        0x16,0x58,0xf1,0x78,0x9e,0xe6,0x12,0xc8,
-        0x3d,0x0f,0x5f,0xd5,0x6f,0x7c,0xd0,0x71,
-        0x93,0x0e,0x29,0x46,0xbe,0xee,0xca,0xa0,
-        0x4d,0xcc,0xea,0x9f,0x97,0x78,0x60,0x01,
-        0x47,0x5e,0x02,0x94,0xbc,0x28,0x52,0xf6,
-        0x2e,0xb5,0xd3,0x9b,0xb9,0xfb,0xee,0xf7,
-        0x59,0x16,0xef,0xe4,0x4a,0x66,0x2e,0xca,
-        0xe3,0x7e,0xde,0x27,0xe9,0xd6,0xea,0xdf,
-        0xde,0xb8,0xf8,0xb2,0xb2,0xdb,0xcc,0xbf,
-        0x96,0xfa,0x6d,0xba,0xf7,0x32,0x1f,0xb0,
-        0xe7,0x01,0xf4,0xd4,0x29,0xc2,0xf4,0xdc,
-        0xd1,0x53,0xa2,0x74,0x25,0x74,0x12,0x6e,
-        0x5e,0xac,0xcc,0x77,0x68,0x6a,0xcf,0x6e,
-        0x3e,0xe4,0x8f,0x42,0x37,0x66,0xe0,0xfc,
-        0x46,0x68,0x10,0xa9,0x05,0xff,0x54,0x53,
-        0xec,0x99,0x89,0x7b,0x56,0xbc,0x55,0xdd,
-        0x49,0xb9,0x91,0x14,0x2f,0x65,0x04,0x3f,
-        0x2d,0x74,0x4e,0xeb,0x93,0x5b,0xa7,0xf4,
-        0xef,0x23,0xcf,0x80,0xcc,0x5a,0x8a,0x33,
-        0x5d,0x36,0x19,0xd7,0x81,0xe7,0x45,0x48,
-        0x26,0xdf,0x72,0x0e,0xec,0x82,0xe0,0x60,
-        0x34,0xc4,0x46,0x99,0xb5,0xf0,0xc4,0x4a,
-        0x87,0x87,0x75,0x2e,0x05,0x7f,0xa3,0x41,
-        0x9b,0x5b,0xb0,0xe2,0x5d,0x30,0x98,0x1e,
-        0x41,0xcb,0x13,0x61,0x32,0x2d,0xba,0x8f,
-        0x69,0x93,0x1c,0xf4,0x2f,0xad,0x3f,0x3b,
-        0xce,0x6d,0xed,0x5b,0x8b,0xfc,0x3d,0x20,
-        0xa2,0x14,0x88,0x61,0xb2,0xaf,0xc1,0x45,
-        0x62,0xdd,0xd2,0x7f,0x12,0x89,0x7a,0xbf,
-        0x06,0x85,0x28,0x8d,0xcc,0x5c,0x49,0x82,
-        0xf8,0x26,0x02,0x68,0x46,0xa2,0x4b,0xf7,
-        0x7e,0x38,0x3c,0x7a,0xac,0xab,0x1a,0xb6,
-        0x92,0xb2,0x9e,0xd8,0xc0,0x18,0xa6,0x5f,
-        0x3d,0xc2,0xb8,0x7f,0xf6,0x19,0xa6,0x33,
-        0xc4,0x1b,0x4f,0xad,0xb1,0xc7,0x87,0x25,
-        0xc1,0xf8,0xf9,0x22,0xf6,0x00,0x97,0x87,
-        0xb1,0x96,0x42,0x47,0xdf,0x01,0x36,0xb1,
-        0xbc,0x61,0x4a,0xb5,0x75,0xc5,0x9a,0x16,
-        0xd0,0x89,0x91,0x7b,0xd4,0xa8,0xb6,0xf0,
-        0x4d,0x95,0xc5,0x81,0x27,0x9a,0x13,0x9b,
-        0xe0,0x9f,0xcf,0x6e,0x98,0xa4,0x70,0xa0,
-        0xbc,0xec,0xa1,0x91,0xfc,0xe4,0x76,0xf9,
-        0x37,0x00,0x21,0xcb,0xc0,0x55,0x18,0xa7,
-        0xef,0xd3,0x5d,0x89,0xd8,0x57,0x7c,0x99,
-        0x0a,0x5e,0x19,0x96,0x1b,0xa1,0x62,0x03,
-        0xc9,0x59,0xc9,0x18,0x29,0xba,0x74,0x97,
-        0xcf,0xfc,0xbb,0x4b,0x29,0x45,0x46,0x45,
-        0x4f,0xa5,0x38,0x8a,0x23,0xa2,0x2e,0x80,
-        0x5a,0x5c,0xa3,0x5f,0x95,0x65,0x98,0x84,
-        0x8b,0xda,0x67,0x86,0x15,0xfe,0xc2,0x8a,
-        0xfd,0x5d,0xa6,0x1a,0x00,0x00,0x00,0x06,
-        0xb3,0x26,0x49,0x33,0x13,0x05,0x3c,0xed,
-        0x38,0x76,0xdb,0x9d,0x23,0x71,0x48,0x18,
-        0x1b,0x71,0x73,0xbc,0x7d,0x04,0x2c,0xef,
-        0xb4,0xdb,0xe9,0x4d,0x2e,0x58,0xcd,0x21,
-        0xa7,0x69,0xdb,0x46,0x57,0xa1,0x03,0x27,
-        0x9b,0xa8,0xef,0x3a,0x62,0x9c,0xa8,0x4e,
-        0xe8,0x36,0x17,0x2a,0x9c,0x50,0xe5,0x1f,
-        0x45,0x58,0x17,0x41,0xcf,0x80,0x83,0x15,
-        0x0b,0x49,0x1c,0xb4,0xec,0xbb,0xab,0xec,
-        0x12,0x8e,0x7c,0x81,0xa4,0x6e,0x62,0xa6,
-        0x7b,0x57,0x64,0x0a,0x0a,0x78,0xbe,0x1c,
-        0xbf,0x7d,0xd9,0xd4,0x19,0xa1,0x0c,0xd8,
-        0x68,0x6d,0x16,0x62,0x1a,0x80,0x81,0x6b,
-        0xfd,0xb5,0xbd,0xc5,0x62,0x11,0xd7,0x2c,
-        0xa7,0x0b,0x81,0xf1,0x11,0x7d,0x12,0x95,
-        0x29,0xa7,0x57,0x0c,0xf7,0x9c,0xf5,0x2a,
-        0x70,0x28,0xa4,0x85,0x38,0xec,0xdd,0x3b,
-        0x38,0xd3,0xd5,0xd6,0x2d,0x26,0x24,0x65,
-        0x95,0xc4,0xfb,0x73,0xa5,0x25,0xa5,0xed,
-        0x2c,0x30,0x52,0x4e,0xbb,0x1d,0x8c,0xc8,
-        0x2e,0x0c,0x19,0xbc,0x49,0x77,0xc6,0x89,
-        0x8f,0xf9,0x5f,0xd3,0xd3,0x10,0xb0,0xba,
-        0xe7,0x16,0x96,0xce,0xf9,0x3c,0x6a,0x55,
-        0x24,0x56,0xbf,0x96,0xe9,0xd0,0x75,0xe3,
-        0x83,0xbb,0x75,0x43,0xc6,0x75,0x84,0x2b,
-        0xaf,0xbf,0xc7,0xcd,0xb8,0x84,0x83,0xb3,
-        0x27,0x6c,0x29,0xd4,0xf0,0xa3,0x41,0xc2,
-        0xd4,0x06,0xe4,0x0d,0x46,0x53,0xb7,0xe4,
-        0xd0,0x45,0x85,0x1a,0xcf,0x6a,0x0a,0x0e,
-        0xa9,0xc7,0x10,0xb8,0x05,0xcc,0xed,0x46,
-        0x35,0xee,0x8c,0x10,0x73,0x62,0xf0,0xfc,
-        0x8d,0x80,0xc1,0x4d,0x0a,0xc4,0x9c,0x51,
-        0x67,0x03,0xd2,0x6d,0x14,0x75,0x2f,0x34,
-        0xc1,0xc0,0xd2,0xc4,0x24,0x75,0x81,0xc1,
-        0x8c,0x2c,0xf4,0xde,0x48,0xe9,0xce,0x94,
-        0x9b,0xe7,0xc8,0x88,0xe9,0xca,0xeb,0xe4,
-        0xa4,0x15,0xe2,0x91,0xfd,0x10,0x7d,0x21,
-        0xdc,0x1f,0x08,0x4b,0x11,0x58,0x20,0x82,
-        0x49,0xf2,0x8f,0x4f,0x7c,0x7e,0x93,0x1b,
-        0xa7,0xb3,0xbd,0x0d,0x82,0x4a,0x45,0x70,
-        0x00,0x00,0x00,0x05,0x00,0x00,0x00,0x04,
-        0x21,0x5f,0x83,0xb7,0xcc,0xb9,0xac,0xbc,
-        0xd0,0x8d,0xb9,0x7b,0x0d,0x04,0xdc,0x2b,
-        0xa1,0xcd,0x03,0x58,0x33,0xe0,0xe9,0x00,
-        0x59,0x60,0x3f,0x26,0xe0,0x7a,0xd2,0xaa,
-        0xd1,0x52,0x33,0x8e,0x7a,0x5e,0x59,0x84,
-        0xbc,0xd5,0xf7,0xbb,0x4e,0xba,0x40,0xb7,
-        0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x04,
-        0x0e,0xb1,0xed,0x54,0xa2,0x46,0x0d,0x51,
-        0x23,0x88,0xca,0xd5,0x33,0x13,0x8d,0x24,
-        0x05,0x34,0xe9,0x7b,0x1e,0x82,0xd3,0x3b,
-        0xd9,0x27,0xd2,0x01,0xdf,0xc2,0x4e,0xbb,
-        0x11,0xb3,0x64,0x90,0x23,0x69,0x6f,0x85,
-        0x15,0x0b,0x18,0x9e,0x50,0xc0,0x0e,0x98,
-        0x85,0x0a,0xc3,0x43,0xa7,0x7b,0x36,0x38,
-        0x31,0x9c,0x34,0x7d,0x73,0x10,0x26,0x9d,
-        0x3b,0x77,0x14,0xfa,0x40,0x6b,0x8c,0x35,
-        0xb0,0x21,0xd5,0x4d,0x4f,0xda,0xda,0x7b,
-        0x9c,0xe5,0xd4,0xba,0x5b,0x06,0x71,0x9e,
-        0x72,0xaa,0xf5,0x8c,0x5a,0xae,0x7a,0xca,
-        0x05,0x7a,0xa0,0xe2,0xe7,0x4e,0x7d,0xcf,
-        0xd1,0x7a,0x08,0x23,0x42,0x9d,0xb6,0x29,
-        0x65,0xb7,0xd5,0x63,0xc5,0x7b,0x4c,0xec,
-        0x94,0x2c,0xc8,0x65,0xe2,0x9c,0x1d,0xad,
-        0x83,0xca,0xc8,0xb4,0xd6,0x1a,0xac,0xc4,
-        0x57,0xf3,0x36,0xe6,0xa1,0x0b,0x66,0x32,
-        0x3f,0x58,0x87,0xbf,0x35,0x23,0xdf,0xca,
-        0xde,0xe1,0x58,0x50,0x3b,0xfa,0xa8,0x9d,
-        0xc6,0xbf,0x59,0xda,0xa8,0x2a,0xfd,0x2b,
-        0x5e,0xbb,0x2a,0x9c,0xa6,0x57,0x2a,0x60,
-        0x67,0xce,0xe7,0xc3,0x27,0xe9,0x03,0x9b,
-        0x3b,0x6e,0xa6,0xa1,0xed,0xc7,0xfd,0xc3,
-        0xdf,0x92,0x7a,0xad,0xe1,0x0c,0x1c,0x9f,
-        0x2d,0x5f,0xf4,0x46,0x45,0x0d,0x2a,0x39,
-        0x98,0xd0,0xf9,0xf6,0x20,0x2b,0x5e,0x07,
-        0xc3,0xf9,0x7d,0x24,0x58,0xc6,0x9d,0x3c,
-        0x81,0x90,0x64,0x39,0x78,0xd7,0xa7,0xf4,
-        0xd6,0x4e,0x97,0xe3,0xf1,0xc4,0xa0,0x8a,
-        0x7c,0x5b,0xc0,0x3f,0xd5,0x56,0x82,0xc0,
-        0x17,0xe2,0x90,0x7e,0xab,0x07,0xe5,0xbb,
-        0x2f,0x19,0x01,0x43,0x47,0x5a,0x60,0x43,
-        0xd5,0xe6,0xd5,0x26,0x34,0x71,0xf4,0xee,
-        0xcf,0x6e,0x25,0x75,0xfb,0xc6,0xff,0x37,
-        0xed,0xfa,0x24,0x9d,0x6c,0xda,0x1a,0x09,
-        0xf7,0x97,0xfd,0x5a,0x3c,0xd5,0x3a,0x06,
-        0x67,0x00,0xf4,0x58,0x63,0xf0,0x4b,0x6c,
-        0x8a,0x58,0xcf,0xd3,0x41,0x24,0x1e,0x00,
-        0x2d,0x0d,0x2c,0x02,0x17,0x47,0x2b,0xf1,
-        0x8b,0x63,0x6a,0xe5,0x47,0xc1,0x77,0x13,
-        0x68,0xd9,0xf3,0x17,0x83,0x5c,0x9b,0x0e,
-        0xf4,0x30,0xb3,0xdf,0x40,0x34,0xf6,0xaf,
-        0x00,0xd0,0xda,0x44,0xf4,0xaf,0x78,0x00,
-        0xbc,0x7a,0x5c,0xf8,0xa5,0xab,0xdb,0x12,
-        0xdc,0x71,0x8b,0x55,0x9b,0x74,0xca,0xb9,
-        0x09,0x0e,0x33,0xcc,0x58,0xa9,0x55,0x30,
-        0x09,0x81,0xc4,0x20,0xc4,0xda,0x8f,0xfd,
-        0x67,0xdf,0x54,0x08,0x90,0xa0,0x62,0xfe,
-        0x40,0xdb,0xa8,0xb2,0xc1,0xc5,0x48,0xce,
-        0xd2,0x24,0x73,0x21,0x9c,0x53,0x49,0x11,
-        0xd4,0x8c,0xca,0xab,0xfb,0x71,0xbc,0x71,
-        0x86,0x2f,0x4a,0x24,0xeb,0xd3,0x76,0xd2,
-        0x88,0xfd,0x4e,0x6f,0xb0,0x6e,0xd8,0x70,
-        0x57,0x87,0xc5,0xfe,0xdc,0x81,0x3c,0xd2,
-        0x69,0x7e,0x5b,0x1a,0xac,0x1c,0xed,0x45,
-        0x76,0x7b,0x14,0xce,0x88,0x40,0x9e,0xae,
-        0xbb,0x60,0x1a,0x93,0x55,0x9a,0xae,0x89,
-        0x3e,0x14,0x3d,0x1c,0x39,0x5b,0xc3,0x26,
-        0xda,0x82,0x1d,0x79,0xa9,0xed,0x41,0xdc,
-        0xfb,0xe5,0x49,0x14,0x7f,0x71,0xc0,0x92,
-        0xf4,0xf3,0xac,0x52,0x2b,0x5c,0xc5,0x72,
-        0x90,0x70,0x66,0x50,0x48,0x7b,0xae,0x9b,
-        0xb5,0x67,0x1e,0xcc,0x9c,0xcc,0x2c,0xe5,
-        0x1e,0xad,0x87,0xac,0x01,0x98,0x52,0x68,
-        0x52,0x12,0x22,0xfb,0x90,0x57,0xdf,0x7e,
-        0xd4,0x18,0x10,0xb5,0xef,0x0d,0x4f,0x7c,
-        0xc6,0x73,0x68,0xc9,0x0f,0x57,0x3b,0x1a,
-        0xc2,0xce,0x95,0x6c,0x36,0x5e,0xd3,0x8e,
-        0x89,0x3c,0xe7,0xb2,0xfa,0xe1,0x5d,0x36,
-        0x85,0xa3,0xdf,0x2f,0xa3,0xd4,0xcc,0x09,
-        0x8f,0xa5,0x7d,0xd6,0x0d,0x2c,0x97,0x54,
-        0xa8,0xad,0xe9,0x80,0xad,0x0f,0x93,0xf6,
-        0x78,0x70,0x75,0xc3,0xf6,0x80,0xa2,0xba,
-        0x19,0x36,0xa8,0xc6,0x1d,0x1a,0xf5,0x2a,
-        0xb7,0xe2,0x1f,0x41,0x6b,0xe0,0x9d,0x2a,
-        0x8d,0x64,0xc3,0xd3,0xd8,0x58,0x29,0x68,
-        0xc2,0x83,0x99,0x02,0x22,0x9f,0x85,0xae,
-        0xe2,0x97,0xe7,0x17,0xc0,0x94,0xc8,0xdf,
-        0x4a,0x23,0xbb,0x5d,0xb6,0x58,0xdd,0x37,
-        0x7b,0xf0,0xf4,0xff,0x3f,0xfd,0x8f,0xba,
-        0x5e,0x38,0x3a,0x48,0x57,0x48,0x02,0xed,
-        0x54,0x5b,0xbe,0x7a,0x6b,0x47,0x53,0x53,
-        0x33,0x53,0xd7,0x37,0x06,0x06,0x76,0x40,
-        0x13,0x5a,0x7c,0xe5,0x17,0x27,0x9c,0xd6,
-        0x83,0x03,0x97,0x47,0xd2,0x18,0x64,0x7c,
-        0x86,0xe0,0x97,0xb0,0xda,0xa2,0x87,0x2d,
-        0x54,0xb8,0xf3,0xe5,0x08,0x59,0x87,0x62,
-        0x95,0x47,0xb8,0x30,0xd8,0x11,0x81,0x61,
-        0xb6,0x50,0x79,0xfe,0x7b,0xc5,0x9a,0x99,
-        0xe9,0xc3,0xc7,0x38,0x0e,0x3e,0x70,0xb7,
-        0x13,0x8f,0xe5,0xd9,0xbe,0x25,0x51,0x50,
-        0x2b,0x69,0x8d,0x09,0xae,0x19,0x39,0x72,
-        0xf2,0x7d,0x40,0xf3,0x8d,0xea,0x26,0x4a,
-        0x01,0x26,0xe6,0x37,0xd7,0x4a,0xe4,0xc9,
-        0x2a,0x62,0x49,0xfa,0x10,0x34,0x36,0xd3,
-        0xeb,0x0d,0x40,0x29,0xac,0x71,0x2b,0xfc,
-        0x7a,0x5e,0xac,0xbd,0xd7,0x51,0x8d,0x6d,
-        0x4f,0xe9,0x03,0xa5,0xae,0x65,0x52,0x7c,
-        0xd6,0x5b,0xb0,0xd4,0xe9,0x92,0x5c,0xa2,
-        0x4f,0xd7,0x21,0x4d,0xc6,0x17,0xc1,0x50,
-        0x54,0x4e,0x42,0x3f,0x45,0x0c,0x99,0xce,
-        0x51,0xac,0x80,0x05,0xd3,0x3a,0xcd,0x74,
-        0xf1,0xbe,0xd3,0xb1,0x7b,0x72,0x66,0xa4,
-        0xa3,0xbb,0x86,0xda,0x7e,0xba,0x80,0xb1,
-        0x01,0xe1,0x5c,0xb7,0x9d,0xe9,0xa2,0x07,
-        0x85,0x2c,0xf9,0x12,0x49,0xef,0x48,0x06,
-        0x19,0xff,0x2a,0xf8,0xca,0xbc,0xa8,0x31,
-        0x25,0xd1,0xfa,0xa9,0x4c,0xbb,0x0a,0x03,
-        0xa9,0x06,0xf6,0x83,0xb3,0xf4,0x7a,0x97,
-        0xc8,0x71,0xfd,0x51,0x3e,0x51,0x0a,0x7a,
-        0x25,0xf2,0x83,0xb1,0x96,0x07,0x57,0x78,
-        0x49,0x61,0x52,0xa9,0x1c,0x2b,0xf9,0xda,
-        0x76,0xeb,0xe0,0x89,0xf4,0x65,0x48,0x77,
-        0xf2,0xd5,0x86,0xae,0x71,0x49,0xc4,0x06,
-        0xe6,0x63,0xea,0xde,0xb2,0xb5,0xc7,0xe8,
-        0x24,0x29,0xb9,0xe8,0xcb,0x48,0x34,0xc8,
-        0x34,0x64,0xf0,0x79,0x99,0x53,0x32,0xe4,
-        0xb3,0xc8,0xf5,0xa7,0x2b,0xb4,0xb8,0xc6,
-        0xf7,0x4b,0x0d,0x45,0xdc,0x6c,0x1f,0x79,
-        0x95,0x2c,0x0b,0x74,0x20,0xdf,0x52,0x5e,
-        0x37,0xc1,0x53,0x77,0xb5,0xf0,0x98,0x43,
-        0x19,0xc3,0x99,0x39,0x21,0xe5,0xcc,0xd9,
-        0x7e,0x09,0x75,0x92,0x06,0x45,0x30,0xd3,
-        0x3d,0xe3,0xaf,0xad,0x57,0x33,0xcb,0xe7,
-        0x70,0x3c,0x52,0x96,0x26,0x3f,0x77,0x34,
-        0x2e,0xfb,0xf5,0xa0,0x47,0x55,0xb0,0xb3,
-        0xc9,0x97,0xc4,0x32,0x84,0x63,0xe8,0x4c,
-        0xaa,0x2d,0xe3,0xff,0xdc,0xd2,0x97,0xba,
-        0xaa,0xac,0xd7,0xae,0x64,0x6e,0x44,0xb5,
-        0xc0,0xf1,0x60,0x44,0xdf,0x38,0xfa,0xbd,
-        0x29,0x6a,0x47,0xb3,0xa8,0x38,0xa9,0x13,
-        0x98,0x2f,0xb2,0xe3,0x70,0xc0,0x78,0xed,
-        0xb0,0x42,0xc8,0x4d,0xb3,0x4c,0xe3,0x6b,
-        0x46,0xcc,0xb7,0x64,0x60,0xa6,0x90,0xcc,
-        0x86,0xc3,0x02,0x45,0x7d,0xd1,0xcd,0xe1,
-        0x97,0xec,0x80,0x75,0xe8,0x2b,0x39,0x3d,
-        0x54,0x20,0x75,0x13,0x4e,0x2a,0x17,0xee,
-        0x70,0xa5,0xe1,0x87,0x07,0x5d,0x03,0xae,
-        0x3c,0x85,0x3c,0xff,0x60,0x72,0x9b,0xa4,
-        0x00,0x00,0x00,0x05,0x4d,0xe1,0xf6,0x96,
-        0x5b,0xda,0xbc,0x67,0x6c,0x5a,0x4d,0xc7,
-        0xc3,0x5f,0x97,0xf8,0x2c,0xb0,0xe3,0x1c,
-        0x68,0xd0,0x4f,0x1d,0xad,0x96,0x31,0x4f,
-        0xf0,0x9e,0x6b,0x3d,0xe9,0x6a,0xee,0xe3,
-        0x00,0xd1,0xf6,0x8b,0xf1,0xbc,0xa9,0xfc,
-        0x58,0xe4,0x03,0x23,0x36,0xcd,0x81,0x9a,
-        0xaf,0x57,0x87,0x44,0xe5,0x0d,0x13,0x57,
-        0xa0,0xe4,0x28,0x67,0x04,0xd3,0x41,0xaa,
-        0x0a,0x33,0x7b,0x19,0xfe,0x4b,0xc4,0x3c,
-        0x2e,0x79,0x96,0x4d,0x4f,0x35,0x10,0x89,
-        0xf2,0xe0,0xe4,0x1c,0x7c,0x43,0xae,0x0d,
-        0x49,0xe7,0xf4,0x04,0xb0,0xf7,0x5b,0xe8,
-        0x0e,0xa3,0xaf,0x09,0x8c,0x97,0x52,0x42,
-        0x0a,0x8a,0xc0,0xea,0x2b,0xbb,0x1f,0x4e,
-        0xeb,0xa0,0x52,0x38,0xae,0xf0,0xd8,0xce,
-        0x63,0xf0,0xc6,0xe5,0xe4,0x04,0x1d,0x95,
-        0x39,0x8a,0x6f,0x7f,0x3e,0x0e,0xe9,0x7c,
-        0xc1,0x59,0x18,0x49,0xd4,0xed,0x23,0x63,
-        0x38,0xb1,0x47,0xab,0xde,0x9f,0x51,0xef,
-        0x9f,0xd4,0xe1,0xc1,
-    };
-
-    OQS_SIG_STFL *sig = NULL;
-    sig = OQS_SIG_STFL_new("LMS_SHA256_H10_W4");
-    if (sig == NULL) {
-        fprintf(stderr, "ERROR: OQS_SIG_STFL_new failed, Test vector 2.\n");
-        goto err;
-    }
-
-    rc = OQS_SIG_STFL_verify(sig, message, sizeof(message), signature, sizeof (signature), public_key);
-    if (rc != OQS_SUCCESS) {
-        fprintf(stderr, "ERROR: Test Vector 2 Verify failed\n");
-    }
+	OQS_STATUS rc = OQS_ERROR;
+
+	/* This is test case 2 */
+	static const unsigned char public_key[] = {
+		0x00, 0x00, 0x00, 0x02, 0x00, 0x00, 0x00, 0x06,
+		0x00, 0x00, 0x00, 0x03, 0xd0, 0x8f, 0xab, 0xd4,
+		0xa2, 0x09, 0x1f, 0xf0, 0xa8, 0xcb, 0x4e, 0xd8,
+		0x34, 0xe7, 0x45, 0x34, 0x32, 0xa5, 0x88, 0x85,
+		0xcd, 0x9b, 0xa0, 0x43, 0x12, 0x35, 0x46, 0x6b,
+		0xff, 0x96, 0x51, 0xc6, 0xc9, 0x21, 0x24, 0x40,
+		0x4d, 0x45, 0xfa, 0x53, 0xcf, 0x16, 0x1c, 0x28,
+		0xf1, 0xad, 0x5a, 0x8e,
+	};
+	static const unsigned char message[] = {
+		0x54, 0x68, 0x65, 0x20, 0x65, 0x6e, 0x75, 0x6d,
+		0x65, 0x72, 0x61, 0x74, 0x69, 0x6f, 0x6e, 0x20,
+		0x69, 0x6e, 0x20, 0x74, 0x68, 0x65, 0x20, 0x43,
+		0x6f, 0x6e, 0x73, 0x74, 0x69, 0x74, 0x75, 0x74,
+		0x69, 0x6f, 0x6e, 0x2c, 0x20, 0x6f, 0x66, 0x20,
+		0x63, 0x65, 0x72, 0x74, 0x61, 0x69, 0x6e, 0x20,
+		0x72, 0x69, 0x67, 0x68, 0x74, 0x73, 0x2c, 0x20,
+		0x73, 0x68, 0x61, 0x6c, 0x6c, 0x20, 0x6e, 0x6f,
+		0x74, 0x20, 0x62, 0x65, 0x20, 0x63, 0x6f, 0x6e,
+		0x73, 0x74, 0x72, 0x75, 0x65, 0x64, 0x20, 0x74,
+		0x6f, 0x20, 0x64, 0x65, 0x6e, 0x79, 0x20, 0x6f,
+		0x72, 0x20, 0x64, 0x69, 0x73, 0x70, 0x61, 0x72,
+		0x61, 0x67, 0x65, 0x20, 0x6f, 0x74, 0x68, 0x65,
+		0x72, 0x73, 0x20, 0x72, 0x65, 0x74, 0x61, 0x69,
+		0x6e, 0x65, 0x64, 0x20, 0x62, 0x79, 0x20, 0x74,
+		0x68, 0x65, 0x20, 0x70, 0x65, 0x6f, 0x70, 0x6c,
+		0x65, 0x2e, 0x0a,
+	};
+
+	static const unsigned char signature[] = {
+		0x00, 0x00, 0x00, 0x01, 0x00, 0x00, 0x00, 0x03,
+		0x00, 0x00, 0x00, 0x03, 0x3d, 0x46, 0xbe, 0xe8,
+		0x66, 0x0f, 0x8f, 0x21, 0x5d, 0x3f, 0x96, 0x40,
+		0x8a, 0x7a, 0x64, 0xcf, 0x1c, 0x4d, 0xa0, 0x2b,
+		0x63, 0xa5, 0x5f, 0x62, 0xc6, 0x66, 0xef, 0x57,
+		0x07, 0xa9, 0x14, 0xce, 0x06, 0x74, 0xe8, 0xcb,
+		0x7a, 0x55, 0xf0, 0xc4, 0x8d, 0x48, 0x4f, 0x31,
+		0xf3, 0xaa, 0x4a, 0xf9, 0x71, 0x9a, 0x74, 0xf2,
+		0x2c, 0xf8, 0x23, 0xb9, 0x44, 0x31, 0xd0, 0x1c,
+		0x92, 0x6e, 0x2a, 0x76, 0xbb, 0x71, 0x22, 0x6d,
+		0x27, 0x97, 0x00, 0xec, 0x81, 0xc9, 0xe9, 0x5f,
+		0xb1, 0x1a, 0x0d, 0x10, 0xd0, 0x65, 0x27, 0x9a,
+		0x57, 0x96, 0xe2, 0x65, 0xae, 0x17, 0x73, 0x7c,
+		0x44, 0xeb, 0x8c, 0x59, 0x45, 0x08, 0xe1, 0x26,
+		0xa9, 0xa7, 0x87, 0x0b, 0xf4, 0x36, 0x08, 0x20,
+		0xbd, 0xeb, 0x9a, 0x01, 0xd9, 0x69, 0x37, 0x79,
+		0xe4, 0x16, 0x82, 0x8e, 0x75, 0xbd, 0xdd, 0x7d,
+		0x8c, 0x70, 0xd5, 0x0a, 0x0a, 0xc8, 0xba, 0x39,
+		0x81, 0x09, 0x09, 0xd4, 0x45, 0xf4, 0x4c, 0xb5,
+		0xbb, 0x58, 0xde, 0x73, 0x7e, 0x60, 0xcb, 0x43,
+		0x45, 0x30, 0x27, 0x86, 0xef, 0x2c, 0x6b, 0x14,
+		0xaf, 0x21, 0x2c, 0xa1, 0x9e, 0xde, 0xaa, 0x3b,
+		0xfc, 0xfe, 0x8b, 0xaa, 0x66, 0x21, 0xce, 0x88,
+		0x48, 0x0d, 0xf2, 0x37, 0x1d, 0xd3, 0x7a, 0xdd,
+		0x73, 0x2c, 0x9d, 0xe4, 0xea, 0x2c, 0xe0, 0xdf,
+		0xfa, 0x53, 0xc9, 0x26, 0x49, 0xa1, 0x8d, 0x39,
+		0xa5, 0x07, 0x88, 0xf4, 0x65, 0x29, 0x87, 0xf2,
+		0x26, 0xa1, 0xd4, 0x81, 0x68, 0x20, 0x5d, 0xf6,
+		0xae, 0x7c, 0x58, 0xe0, 0x49, 0xa2, 0x5d, 0x49,
+		0x07, 0xed, 0xc1, 0xaa, 0x90, 0xda, 0x8a, 0xa5,
+		0xe5, 0xf7, 0x67, 0x17, 0x73, 0xe9, 0x41, 0xd8,
+		0x05, 0x53, 0x60, 0x21, 0x5c, 0x6b, 0x60, 0xdd,
+		0x35, 0x46, 0x3c, 0xf2, 0x24, 0x0a, 0x9c, 0x06,
+		0xd6, 0x94, 0xe9, 0xcb, 0x54, 0xe7, 0xb1, 0xe1,
+		0xbf, 0x49, 0x4d, 0x0d, 0x1a, 0x28, 0xc0, 0xd3,
+		0x1a, 0xcc, 0x75, 0x16, 0x1f, 0x4f, 0x48, 0x5d,
+		0xfd, 0x3c, 0xb9, 0x57, 0x8e, 0x83, 0x6e, 0xc2,
+		0xdc, 0x72, 0x2f, 0x37, 0xed, 0x30, 0x87, 0x2e,
+		0x07, 0xf2, 0xb8, 0xbd, 0x03, 0x74, 0xeb, 0x57,
+		0xd2, 0x2c, 0x61, 0x4e, 0x09, 0x15, 0x0f, 0x6c,
+		0x0d, 0x87, 0x74, 0xa3, 0x9a, 0x6e, 0x16, 0x82,
+		0x11, 0x03, 0x5d, 0xc5, 0x29, 0x88, 0xab, 0x46,
+		0xea, 0xca, 0x9e, 0xc5, 0x97, 0xfb, 0x18, 0xb4,
+		0x93, 0x6e, 0x66, 0xef, 0x2f, 0x0d, 0xf2, 0x6e,
+		0x8d, 0x1e, 0x34, 0xda, 0x28, 0xcb, 0xb3, 0xaf,
+		0x75, 0x23, 0x13, 0x72, 0x0c, 0x7b, 0x34, 0x54,
+		0x34, 0xf7, 0x2d, 0x65, 0x31, 0x43, 0x28, 0xbb,
+		0xb0, 0x30, 0xd0, 0xf0, 0xf6, 0xd5, 0xe4, 0x7b,
+		0x28, 0xea, 0x91, 0x00, 0x8f, 0xb1, 0x1b, 0x05,
+		0x01, 0x77, 0x05, 0xa8, 0xbe, 0x3b, 0x2a, 0xdb,
+		0x83, 0xc6, 0x0a, 0x54, 0xf9, 0xd1, 0xd1, 0xb2,
+		0xf4, 0x76, 0xf9, 0xe3, 0x93, 0xeb, 0x56, 0x95,
+		0x20, 0x3d, 0x2b, 0xa6, 0xad, 0x81, 0x5e, 0x6a,
+		0x11, 0x1e, 0xa2, 0x93, 0xdc, 0xc2, 0x10, 0x33,
+		0xf9, 0x45, 0x3d, 0x49, 0xc8, 0xe5, 0xa6, 0x38,
+		0x7f, 0x58, 0x8b, 0x1e, 0xa4, 0xf7, 0x06, 0x21,
+		0x7c, 0x15, 0x1e, 0x05, 0xf5, 0x5a, 0x6e, 0xb7,
+		0x99, 0x7b, 0xe0, 0x9d, 0x56, 0xa3, 0x26, 0xa3,
+		0x2f, 0x9c, 0xba, 0x1f, 0xbe, 0x1c, 0x07, 0xbb,
+		0x49, 0xfa, 0x04, 0xce, 0xcf, 0x9d, 0xf1, 0xa1,
+		0xb8, 0x15, 0x48, 0x3c, 0x75, 0xd7, 0xa2, 0x7c,
+		0xc8, 0x8a, 0xd1, 0xb1, 0x23, 0x8e, 0x5e, 0xa9,
+		0x86, 0xb5, 0x3e, 0x08, 0x70, 0x45, 0x72, 0x3c,
+		0xe1, 0x61, 0x87, 0xed, 0xa2, 0x2e, 0x33, 0xb2,
+		0xc7, 0x07, 0x09, 0xe5, 0x32, 0x51, 0x02, 0x5a,
+		0xbd, 0xe8, 0x93, 0x96, 0x45, 0xfc, 0x8c, 0x06,
+		0x93, 0xe9, 0x77, 0x63, 0x92, 0x8f, 0x00, 0xb2,
+		0xe3, 0xc7, 0x5a, 0xf3, 0x94, 0x2d, 0x8d, 0xda,
+		0xee, 0x81, 0xb5, 0x9a, 0x6f, 0x1f, 0x67, 0xef,
+		0xda, 0x0e, 0xf8, 0x1d, 0x11, 0x87, 0x3b, 0x59,
+		0x13, 0x7f, 0x67, 0x80, 0x0b, 0x35, 0xe8, 0x1b,
+		0x01, 0x56, 0x3d, 0x18, 0x7c, 0x4a, 0x15, 0x75,
+		0xa1, 0xac, 0xb9, 0x2d, 0x08, 0x7b, 0x51, 0x7a,
+		0x88, 0x33, 0x38, 0x3f, 0x05, 0xd3, 0x57, 0xef,
+		0x46, 0x78, 0xde, 0x0c, 0x57, 0xff, 0x9f, 0x1b,
+		0x2d, 0xa6, 0x1d, 0xfd, 0xe5, 0xd8, 0x83, 0x18,
+		0xbc, 0xdd, 0xe4, 0xd9, 0x06, 0x1c, 0xc7, 0x5c,
+		0x2d, 0xe3, 0xcd, 0x47, 0x40, 0xdd, 0x77, 0x39,
+		0xca, 0x3e, 0xf6, 0x6f, 0x19, 0x30, 0x02, 0x6f,
+		0x47, 0xd9, 0xeb, 0xaa, 0x71, 0x3b, 0x07, 0x17,
+		0x6f, 0x76, 0xf9, 0x53, 0xe1, 0xc2, 0xe7, 0xf8,
+		0xf2, 0x71, 0xa6, 0xca, 0x37, 0x5d, 0xbf, 0xb8,
+		0x3d, 0x71, 0x9b, 0x16, 0x35, 0xa7, 0xd8, 0xa1,
+		0x38, 0x91, 0x95, 0x79, 0x44, 0xb1, 0xc2, 0x9b,
+		0xb1, 0x01, 0x91, 0x3e, 0x16, 0x6e, 0x11, 0xbd,
+		0x5f, 0x34, 0x18, 0x6f, 0xa6, 0xc0, 0xa5, 0x55,
+		0xc9, 0x02, 0x6b, 0x25, 0x6a, 0x68, 0x60, 0xf4,
+		0x86, 0x6b, 0xd6, 0xd0, 0xb5, 0xbf, 0x90, 0x62,
+		0x70, 0x86, 0xc6, 0x14, 0x91, 0x33, 0xf8, 0x28,
+		0x2c, 0xe6, 0xc9, 0xb3, 0x62, 0x24, 0x42, 0x44,
+		0x3d, 0x5e, 0xca, 0x95, 0x9d, 0x6c, 0x14, 0xca,
+		0x83, 0x89, 0xd1, 0x2c, 0x40, 0x68, 0xb5, 0x03,
+		0xe4, 0xe3, 0xc3, 0x9b, 0x63, 0x5b, 0xea, 0x24,
+		0x5d, 0x9d, 0x05, 0xa2, 0x55, 0x8f, 0x24, 0x9c,
+		0x96, 0x61, 0xc0, 0x42, 0x7d, 0x2e, 0x48, 0x9c,
+		0xa5, 0xb5, 0xdd, 0xe2, 0x20, 0xa9, 0x03, 0x33,
+		0xf4, 0x86, 0x2a, 0xec, 0x79, 0x32, 0x23, 0xc7,
+		0x81, 0x99, 0x7d, 0xa9, 0x82, 0x66, 0xc1, 0x2c,
+		0x50, 0xea, 0x28, 0xb2, 0xc4, 0x38, 0xe7, 0xa3,
+		0x79, 0xeb, 0x10, 0x6e, 0xca, 0x0c, 0x7f, 0xd6,
+		0x00, 0x6e, 0x9b, 0xf6, 0x12, 0xf3, 0xea, 0x0a,
+		0x45, 0x4b, 0xa3, 0xbd, 0xb7, 0x6e, 0x80, 0x27,
+		0x99, 0x2e, 0x60, 0xde, 0x01, 0xe9, 0x09, 0x4f,
+		0xdd, 0xeb, 0x33, 0x49, 0x88, 0x39, 0x14, 0xfb,
+		0x17, 0xa9, 0x62, 0x1a, 0xb9, 0x29, 0xd9, 0x70,
+		0xd1, 0x01, 0xe4, 0x5f, 0x82, 0x78, 0xc1, 0x4b,
+		0x03, 0x2b, 0xca, 0xb0, 0x2b, 0xd1, 0x56, 0x92,
+		0xd2, 0x1b, 0x6c, 0x5c, 0x20, 0x4a, 0xbb, 0xf0,
+		0x77, 0xd4, 0x65, 0x55, 0x3b, 0xd6, 0xed, 0xa6,
+		0x45, 0xe6, 0xc3, 0x06, 0x5d, 0x33, 0xb1, 0x0d,
+		0x51, 0x8a, 0x61, 0xe1, 0x5e, 0xd0, 0xf0, 0x92,
+		0xc3, 0x22, 0x26, 0x28, 0x1a, 0x29, 0xc8, 0xa0,
+		0xf5, 0x0c, 0xde, 0x0a, 0x8c, 0x66, 0x23, 0x6e,
+		0x29, 0xc2, 0xf3, 0x10, 0xa3, 0x75, 0xce, 0xbd,
+		0xa1, 0xdc, 0x6b, 0xb9, 0xa1, 0xa0, 0x1d, 0xae,
+		0x6c, 0x7a, 0xba, 0x8e, 0xbe, 0xdc, 0x63, 0x71,
+		0xa7, 0xd5, 0x2a, 0xac, 0xb9, 0x55, 0xf8, 0x3b,
+		0xd6, 0xe4, 0xf8, 0x4d, 0x29, 0x49, 0xdc, 0xc1,
+		0x98, 0xfb, 0x77, 0xc7, 0xe5, 0xcd, 0xf6, 0x04,
+		0x0b, 0x0f, 0x84, 0xfa, 0xf8, 0x28, 0x08, 0xbf,
+		0x98, 0x55, 0x77, 0xf0, 0xa2, 0xac, 0xf2, 0xec,
+		0x7e, 0xd7, 0xc0, 0xb0, 0xae, 0x8a, 0x27, 0x0e,
+		0x95, 0x17, 0x43, 0xff, 0x23, 0xe0, 0xb2, 0xdd,
+		0x12, 0xe9, 0xc3, 0xc8, 0x28, 0xfb, 0x55, 0x98,
+		0xa2, 0x24, 0x61, 0xaf, 0x94, 0xd5, 0x68, 0xf2,
+		0x92, 0x40, 0xba, 0x28, 0x20, 0xc4, 0x59, 0x1f,
+		0x71, 0xc0, 0x88, 0xf9, 0x6e, 0x09, 0x5d, 0xd9,
+		0x8b, 0xea, 0xe4, 0x56, 0x57, 0x9e, 0xbb, 0xba,
+		0x36, 0xf6, 0xd9, 0xca, 0x26, 0x13, 0xd1, 0xc2,
+		0x6e, 0xee, 0x4d, 0x8c, 0x73, 0x21, 0x7a, 0xc5,
+		0x96, 0x2b, 0x5f, 0x31, 0x47, 0xb4, 0x92, 0xe8,
+		0x83, 0x15, 0x97, 0xfd, 0x89, 0xb6, 0x4a, 0xa7,
+		0xfd, 0xe8, 0x2e, 0x19, 0x74, 0xd2, 0xf6, 0x77,
+		0x95, 0x04, 0xdc, 0x21, 0x43, 0x5e, 0xb3, 0x10,
+		0x93, 0x50, 0x75, 0x6b, 0x9f, 0xda, 0xbe, 0x1c,
+		0x6f, 0x36, 0x80, 0x81, 0xbd, 0x40, 0xb2, 0x7e,
+		0xbc, 0xb9, 0x81, 0x9a, 0x75, 0xd7, 0xdf, 0x8b,
+		0xb0, 0x7b, 0xb0, 0x5d, 0xb1, 0xba, 0xb7, 0x05,
+		0xa4, 0xb7, 0xe3, 0x71, 0x25, 0x18, 0x63, 0x39,
+		0x46, 0x4a, 0xd8, 0xfa, 0xaa, 0x4f, 0x05, 0x2c,
+		0xc1, 0x27, 0x29, 0x19, 0xfd, 0xe3, 0xe0, 0x25,
+		0xbb, 0x64, 0xaa, 0x8e, 0x0e, 0xb1, 0xfc, 0xbf,
+		0xcc, 0x25, 0xac, 0xb5, 0xf7, 0x18, 0xce, 0x4f,
+		0x7c, 0x21, 0x82, 0xfb, 0x39, 0x3a, 0x18, 0x14,
+		0xb0, 0xe9, 0x42, 0x49, 0x0e, 0x52, 0xd3, 0xbc,
+		0xa8, 0x17, 0xb2, 0xb2, 0x6e, 0x90, 0xd4, 0xc9,
+		0xb0, 0xcc, 0x38, 0x60, 0x8a, 0x6c, 0xef, 0x5e,
+		0xb1, 0x53, 0xaf, 0x08, 0x58, 0xac, 0xc8, 0x67,
+		0xc9, 0x92, 0x2a, 0xed, 0x43, 0xbb, 0x67, 0xd7,
+		0xb3, 0x3a, 0xcc, 0x51, 0x93, 0x13, 0xd2, 0x8d,
+		0x41, 0xa5, 0xc6, 0xfe, 0x6c, 0xf3, 0x59, 0x5d,
+		0xd5, 0xee, 0x63, 0xf0, 0xa4, 0xc4, 0x06, 0x5a,
+		0x08, 0x35, 0x90, 0xb2, 0x75, 0x78, 0x8b, 0xee,
+		0x7a, 0xd8, 0x75, 0xa7, 0xf8, 0x8d, 0xd7, 0x37,
+		0x20, 0x70, 0x8c, 0x6c, 0x6c, 0x0e, 0xcf, 0x1f,
+		0x43, 0xbb, 0xaa, 0xda, 0xe6, 0xf2, 0x08, 0x55,
+		0x7f, 0xdc, 0x07, 0xbd, 0x4e, 0xd9, 0x1f, 0x88,
+		0xce, 0x4c, 0x0d, 0xe8, 0x42, 0x76, 0x1c, 0x70,
+		0xc1, 0x86, 0xbf, 0xda, 0xfa, 0xfc, 0x44, 0x48,
+		0x34, 0xbd, 0x34, 0x18, 0xbe, 0x42, 0x53, 0xa7,
+		0x1e, 0xaf, 0x41, 0xd7, 0x18, 0x75, 0x3a, 0xd0,
+		0x77, 0x54, 0xca, 0x3e, 0xff, 0xd5, 0x96, 0x0b,
+		0x03, 0x36, 0x98, 0x17, 0x95, 0x72, 0x14, 0x26,
+		0x80, 0x35, 0x99, 0xed, 0x5b, 0x2b, 0x75, 0x16,
+		0x92, 0x0e, 0xfc, 0xbe, 0x32, 0xad, 0xa4, 0xbc,
+		0xf6, 0xc7, 0x3b, 0xd2, 0x9e, 0x3f, 0xa1, 0x52,
+		0xd9, 0xad, 0xec, 0xa3, 0x60, 0x20, 0xfd, 0xee,
+		0xee, 0x1b, 0x73, 0x95, 0x21, 0xd3, 0xea, 0x8c,
+		0x0d, 0xa4, 0x97, 0x00, 0x3d, 0xf1, 0x51, 0x38,
+		0x97, 0xb0, 0xf5, 0x47, 0x94, 0xa8, 0x73, 0x67,
+		0x0b, 0x8d, 0x93, 0xbc, 0xca, 0x2a, 0xe4, 0x7e,
+		0x64, 0x42, 0x4b, 0x74, 0x23, 0xe1, 0xf0, 0x78,
+		0xd9, 0x55, 0x4b, 0xb5, 0x23, 0x2c, 0xc6, 0xde,
+		0x8a, 0xae, 0x9b, 0x83, 0xfa, 0x5b, 0x95, 0x10,
+		0xbe, 0xb3, 0x9c, 0xcf, 0x4b, 0x4e, 0x1d, 0x9c,
+		0x0f, 0x19, 0xd5, 0xe1, 0x7f, 0x58, 0xe5, 0xb8,
+		0x70, 0x5d, 0x9a, 0x68, 0x37, 0xa7, 0xd9, 0xbf,
+		0x99, 0xcd, 0x13, 0x38, 0x7a, 0xf2, 0x56, 0xa8,
+		0x49, 0x16, 0x71, 0xf1, 0xf2, 0xf2, 0x2a, 0xf2,
+		0x53, 0xbc, 0xff, 0x54, 0xb6, 0x73, 0x19, 0x9b,
+		0xdb, 0x7d, 0x05, 0xd8, 0x10, 0x64, 0xef, 0x05,
+		0xf8, 0x0f, 0x01, 0x53, 0xd0, 0xbe, 0x79, 0x19,
+		0x68, 0x4b, 0x23, 0xda, 0x8d, 0x42, 0xff, 0x3e,
+		0xff, 0xdb, 0x7c, 0xa0, 0x98, 0x50, 0x33, 0xf3,
+		0x89, 0x18, 0x1f, 0x47, 0x65, 0x91, 0x38, 0x00,
+		0x3d, 0x71, 0x2b, 0x5e, 0xc0, 0xa6, 0x14, 0xd3,
+		0x1c, 0xc7, 0x48, 0x7f, 0x52, 0xde, 0x86, 0x64,
+		0x91, 0x6a, 0xf7, 0x9c, 0x98, 0x45, 0x6b, 0x2c,
+		0x94, 0xa8, 0x03, 0x80, 0x83, 0xdb, 0x55, 0x39,
+		0x1e, 0x34, 0x75, 0x86, 0x22, 0x50, 0x27, 0x4a,
+		0x1d, 0xe2, 0x58, 0x4f, 0xec, 0x97, 0x5f, 0xb0,
+		0x95, 0x36, 0x79, 0x2c, 0xfb, 0xfc, 0xf6, 0x19,
+		0x28, 0x56, 0xcc, 0x76, 0xeb, 0x5b, 0x13, 0xdc,
+		0x47, 0x09, 0xe2, 0xf7, 0x30, 0x1d, 0xdf, 0xf2,
+		0x6e, 0xc1, 0xb2, 0x3d, 0xe2, 0xd1, 0x88, 0xc9,
+		0x99, 0x16, 0x6c, 0x74, 0xe1, 0xe1, 0x4b, 0xbc,
+		0x15, 0xf4, 0x57, 0xcf, 0x4e, 0x47, 0x1a, 0xe1,
+		0x3d, 0xcb, 0xdd, 0x9c, 0x50, 0xf4, 0xd6, 0x46,
+		0xfc, 0x62, 0x78, 0xe8, 0xfe, 0x7e, 0xb6, 0xcb,
+		0x5c, 0x94, 0x10, 0x0f, 0xa8, 0x70, 0x18, 0x73,
+		0x80, 0xb7, 0x77, 0xed, 0x19, 0xd7, 0x86, 0x8f,
+		0xd8, 0xca, 0x7c, 0xeb, 0x7f, 0xa7, 0xd5, 0xcc,
+		0x86, 0x1c, 0x5b, 0xda, 0xc9, 0x8e, 0x74, 0x95,
+		0xeb, 0x0a, 0x2c, 0xee, 0xc1, 0x92, 0x4a, 0xe9,
+		0x79, 0xf4, 0x4c, 0x53, 0x90, 0xeb, 0xed, 0xdd,
+		0xc6, 0x5d, 0x6e, 0xc1, 0x12, 0x87, 0xd9, 0x78,
+		0xb8, 0xdf, 0x06, 0x42, 0x19, 0xbc, 0x56, 0x79,
+		0xf7, 0xd7, 0xb2, 0x64, 0xa7, 0x6f, 0xf2, 0x72,
+		0xb2, 0xac, 0x9f, 0x2f, 0x7c, 0xfc, 0x9f, 0xdc,
+		0xfb, 0x6a, 0x51, 0x42, 0x82, 0x40, 0x02, 0x7a,
+		0xfd, 0x9d, 0x52, 0xa7, 0x9b, 0x64, 0x7c, 0x90,
+		0xc2, 0x70, 0x9e, 0x06, 0x0e, 0xd7, 0x0f, 0x87,
+		0x29, 0x9d, 0xd7, 0x98, 0xd6, 0x8f, 0x4f, 0xad,
+		0xd3, 0xda, 0x6c, 0x51, 0xd8, 0x39, 0xf8, 0x51,
+		0xf9, 0x8f, 0x67, 0x84, 0x0b, 0x96, 0x4e, 0xbe,
+		0x73, 0xf8, 0xce, 0xc4, 0x15, 0x72, 0x53, 0x8e,
+		0xc6, 0xbc, 0x13, 0x10, 0x34, 0xca, 0x28, 0x94,
+		0xeb, 0x73, 0x6b, 0x3b, 0xda, 0x93, 0xd9, 0xf5,
+		0xf6, 0xfa, 0x6f, 0x6c, 0x0f, 0x03, 0xce, 0x43,
+		0x36, 0x2b, 0x84, 0x14, 0x94, 0x03, 0x55, 0xfb,
+		0x54, 0xd3, 0xdf, 0xdd, 0x03, 0x63, 0x3a, 0xe1,
+		0x08, 0xf3, 0xde, 0x3e, 0xbc, 0x85, 0xa3, 0xff,
+		0x51, 0xef, 0xee, 0xa3, 0xbc, 0x2c, 0xf2, 0x7e,
+		0x16, 0x58, 0xf1, 0x78, 0x9e, 0xe6, 0x12, 0xc8,
+		0x3d, 0x0f, 0x5f, 0xd5, 0x6f, 0x7c, 0xd0, 0x71,
+		0x93, 0x0e, 0x29, 0x46, 0xbe, 0xee, 0xca, 0xa0,
+		0x4d, 0xcc, 0xea, 0x9f, 0x97, 0x78, 0x60, 0x01,
+		0x47, 0x5e, 0x02, 0x94, 0xbc, 0x28, 0x52, 0xf6,
+		0x2e, 0xb5, 0xd3, 0x9b, 0xb9, 0xfb, 0xee, 0xf7,
+		0x59, 0x16, 0xef, 0xe4, 0x4a, 0x66, 0x2e, 0xca,
+		0xe3, 0x7e, 0xde, 0x27, 0xe9, 0xd6, 0xea, 0xdf,
+		0xde, 0xb8, 0xf8, 0xb2, 0xb2, 0xdb, 0xcc, 0xbf,
+		0x96, 0xfa, 0x6d, 0xba, 0xf7, 0x32, 0x1f, 0xb0,
+		0xe7, 0x01, 0xf4, 0xd4, 0x29, 0xc2, 0xf4, 0xdc,
+		0xd1, 0x53, 0xa2, 0x74, 0x25, 0x74, 0x12, 0x6e,
+		0x5e, 0xac, 0xcc, 0x77, 0x68, 0x6a, 0xcf, 0x6e,
+		0x3e, 0xe4, 0x8f, 0x42, 0x37, 0x66, 0xe0, 0xfc,
+		0x46, 0x68, 0x10, 0xa9, 0x05, 0xff, 0x54, 0x53,
+		0xec, 0x99, 0x89, 0x7b, 0x56, 0xbc, 0x55, 0xdd,
+		0x49, 0xb9, 0x91, 0x14, 0x2f, 0x65, 0x04, 0x3f,
+		0x2d, 0x74, 0x4e, 0xeb, 0x93, 0x5b, 0xa7, 0xf4,
+		0xef, 0x23, 0xcf, 0x80, 0xcc, 0x5a, 0x8a, 0x33,
+		0x5d, 0x36, 0x19, 0xd7, 0x81, 0xe7, 0x45, 0x48,
+		0x26, 0xdf, 0x72, 0x0e, 0xec, 0x82, 0xe0, 0x60,
+		0x34, 0xc4, 0x46, 0x99, 0xb5, 0xf0, 0xc4, 0x4a,
+		0x87, 0x87, 0x75, 0x2e, 0x05, 0x7f, 0xa3, 0x41,
+		0x9b, 0x5b, 0xb0, 0xe2, 0x5d, 0x30, 0x98, 0x1e,
+		0x41, 0xcb, 0x13, 0x61, 0x32, 0x2d, 0xba, 0x8f,
+		0x69, 0x93, 0x1c, 0xf4, 0x2f, 0xad, 0x3f, 0x3b,
+		0xce, 0x6d, 0xed, 0x5b, 0x8b, 0xfc, 0x3d, 0x20,
+		0xa2, 0x14, 0x88, 0x61, 0xb2, 0xaf, 0xc1, 0x45,
+		0x62, 0xdd, 0xd2, 0x7f, 0x12, 0x89, 0x7a, 0xbf,
+		0x06, 0x85, 0x28, 0x8d, 0xcc, 0x5c, 0x49, 0x82,
+		0xf8, 0x26, 0x02, 0x68, 0x46, 0xa2, 0x4b, 0xf7,
+		0x7e, 0x38, 0x3c, 0x7a, 0xac, 0xab, 0x1a, 0xb6,
+		0x92, 0xb2, 0x9e, 0xd8, 0xc0, 0x18, 0xa6, 0x5f,
+		0x3d, 0xc2, 0xb8, 0x7f, 0xf6, 0x19, 0xa6, 0x33,
+		0xc4, 0x1b, 0x4f, 0xad, 0xb1, 0xc7, 0x87, 0x25,
+		0xc1, 0xf8, 0xf9, 0x22, 0xf6, 0x00, 0x97, 0x87,
+		0xb1, 0x96, 0x42, 0x47, 0xdf, 0x01, 0x36, 0xb1,
+		0xbc, 0x61, 0x4a, 0xb5, 0x75, 0xc5, 0x9a, 0x16,
+		0xd0, 0x89, 0x91, 0x7b, 0xd4, 0xa8, 0xb6, 0xf0,
+		0x4d, 0x95, 0xc5, 0x81, 0x27, 0x9a, 0x13, 0x9b,
+		0xe0, 0x9f, 0xcf, 0x6e, 0x98, 0xa4, 0x70, 0xa0,
+		0xbc, 0xec, 0xa1, 0x91, 0xfc, 0xe4, 0x76, 0xf9,
+		0x37, 0x00, 0x21, 0xcb, 0xc0, 0x55, 0x18, 0xa7,
+		0xef, 0xd3, 0x5d, 0x89, 0xd8, 0x57, 0x7c, 0x99,
+		0x0a, 0x5e, 0x19, 0x96, 0x1b, 0xa1, 0x62, 0x03,
+		0xc9, 0x59, 0xc9, 0x18, 0x29, 0xba, 0x74, 0x97,
+		0xcf, 0xfc, 0xbb, 0x4b, 0x29, 0x45, 0x46, 0x45,
+		0x4f, 0xa5, 0x38, 0x8a, 0x23, 0xa2, 0x2e, 0x80,
+		0x5a, 0x5c, 0xa3, 0x5f, 0x95, 0x65, 0x98, 0x84,
+		0x8b, 0xda, 0x67, 0x86, 0x15, 0xfe, 0xc2, 0x8a,
+		0xfd, 0x5d, 0xa6, 0x1a, 0x00, 0x00, 0x00, 0x06,
+		0xb3, 0x26, 0x49, 0x33, 0x13, 0x05, 0x3c, 0xed,
+		0x38, 0x76, 0xdb, 0x9d, 0x23, 0x71, 0x48, 0x18,
+		0x1b, 0x71, 0x73, 0xbc, 0x7d, 0x04, 0x2c, 0xef,
+		0xb4, 0xdb, 0xe9, 0x4d, 0x2e, 0x58, 0xcd, 0x21,
+		0xa7, 0x69, 0xdb, 0x46, 0x57, 0xa1, 0x03, 0x27,
+		0x9b, 0xa8, 0xef, 0x3a, 0x62, 0x9c, 0xa8, 0x4e,
+		0xe8, 0x36, 0x17, 0x2a, 0x9c, 0x50, 0xe5, 0x1f,
+		0x45, 0x58, 0x17, 0x41, 0xcf, 0x80, 0x83, 0x15,
+		0x0b, 0x49, 0x1c, 0xb4, 0xec, 0xbb, 0xab, 0xec,
+		0x12, 0x8e, 0x7c, 0x81, 0xa4, 0x6e, 0x62, 0xa6,
+		0x7b, 0x57, 0x64, 0x0a, 0x0a, 0x78, 0xbe, 0x1c,
+		0xbf, 0x7d, 0xd9, 0xd4, 0x19, 0xa1, 0x0c, 0xd8,
+		0x68, 0x6d, 0x16, 0x62, 0x1a, 0x80, 0x81, 0x6b,
+		0xfd, 0xb5, 0xbd, 0xc5, 0x62, 0x11, 0xd7, 0x2c,
+		0xa7, 0x0b, 0x81, 0xf1, 0x11, 0x7d, 0x12, 0x95,
+		0x29, 0xa7, 0x57, 0x0c, 0xf7, 0x9c, 0xf5, 0x2a,
+		0x70, 0x28, 0xa4, 0x85, 0x38, 0xec, 0xdd, 0x3b,
+		0x38, 0xd3, 0xd5, 0xd6, 0x2d, 0x26, 0x24, 0x65,
+		0x95, 0xc4, 0xfb, 0x73, 0xa5, 0x25, 0xa5, 0xed,
+		0x2c, 0x30, 0x52, 0x4e, 0xbb, 0x1d, 0x8c, 0xc8,
+		0x2e, 0x0c, 0x19, 0xbc, 0x49, 0x77, 0xc6, 0x89,
+		0x8f, 0xf9, 0x5f, 0xd3, 0xd3, 0x10, 0xb0, 0xba,
+		0xe7, 0x16, 0x96, 0xce, 0xf9, 0x3c, 0x6a, 0x55,
+		0x24, 0x56, 0xbf, 0x96, 0xe9, 0xd0, 0x75, 0xe3,
+		0x83, 0xbb, 0x75, 0x43, 0xc6, 0x75, 0x84, 0x2b,
+		0xaf, 0xbf, 0xc7, 0xcd, 0xb8, 0x84, 0x83, 0xb3,
+		0x27, 0x6c, 0x29, 0xd4, 0xf0, 0xa3, 0x41, 0xc2,
+		0xd4, 0x06, 0xe4, 0x0d, 0x46, 0x53, 0xb7, 0xe4,
+		0xd0, 0x45, 0x85, 0x1a, 0xcf, 0x6a, 0x0a, 0x0e,
+		0xa9, 0xc7, 0x10, 0xb8, 0x05, 0xcc, 0xed, 0x46,
+		0x35, 0xee, 0x8c, 0x10, 0x73, 0x62, 0xf0, 0xfc,
+		0x8d, 0x80, 0xc1, 0x4d, 0x0a, 0xc4, 0x9c, 0x51,
+		0x67, 0x03, 0xd2, 0x6d, 0x14, 0x75, 0x2f, 0x34,
+		0xc1, 0xc0, 0xd2, 0xc4, 0x24, 0x75, 0x81, 0xc1,
+		0x8c, 0x2c, 0xf4, 0xde, 0x48, 0xe9, 0xce, 0x94,
+		0x9b, 0xe7, 0xc8, 0x88, 0xe9, 0xca, 0xeb, 0xe4,
+		0xa4, 0x15, 0xe2, 0x91, 0xfd, 0x10, 0x7d, 0x21,
+		0xdc, 0x1f, 0x08, 0x4b, 0x11, 0x58, 0x20, 0x82,
+		0x49, 0xf2, 0x8f, 0x4f, 0x7c, 0x7e, 0x93, 0x1b,
+		0xa7, 0xb3, 0xbd, 0x0d, 0x82, 0x4a, 0x45, 0x70,
+		0x00, 0x00, 0x00, 0x05, 0x00, 0x00, 0x00, 0x04,
+		0x21, 0x5f, 0x83, 0xb7, 0xcc, 0xb9, 0xac, 0xbc,
+		0xd0, 0x8d, 0xb9, 0x7b, 0x0d, 0x04, 0xdc, 0x2b,
+		0xa1, 0xcd, 0x03, 0x58, 0x33, 0xe0, 0xe9, 0x00,
+		0x59, 0x60, 0x3f, 0x26, 0xe0, 0x7a, 0xd2, 0xaa,
+		0xd1, 0x52, 0x33, 0x8e, 0x7a, 0x5e, 0x59, 0x84,
+		0xbc, 0xd5, 0xf7, 0xbb, 0x4e, 0xba, 0x40, 0xb7,
+		0x00, 0x00, 0x00, 0x04, 0x00, 0x00, 0x00, 0x04,
+		0x0e, 0xb1, 0xed, 0x54, 0xa2, 0x46, 0x0d, 0x51,
+		0x23, 0x88, 0xca, 0xd5, 0x33, 0x13, 0x8d, 0x24,
+		0x05, 0x34, 0xe9, 0x7b, 0x1e, 0x82, 0xd3, 0x3b,
+		0xd9, 0x27, 0xd2, 0x01, 0xdf, 0xc2, 0x4e, 0xbb,
+		0x11, 0xb3, 0x64, 0x90, 0x23, 0x69, 0x6f, 0x85,
+		0x15, 0x0b, 0x18, 0x9e, 0x50, 0xc0, 0x0e, 0x98,
+		0x85, 0x0a, 0xc3, 0x43, 0xa7, 0x7b, 0x36, 0x38,
+		0x31, 0x9c, 0x34, 0x7d, 0x73, 0x10, 0x26, 0x9d,
+		0x3b, 0x77, 0x14, 0xfa, 0x40, 0x6b, 0x8c, 0x35,
+		0xb0, 0x21, 0xd5, 0x4d, 0x4f, 0xda, 0xda, 0x7b,
+		0x9c, 0xe5, 0xd4, 0xba, 0x5b, 0x06, 0x71, 0x9e,
+		0x72, 0xaa, 0xf5, 0x8c, 0x5a, 0xae, 0x7a, 0xca,
+		0x05, 0x7a, 0xa0, 0xe2, 0xe7, 0x4e, 0x7d, 0xcf,
+		0xd1, 0x7a, 0x08, 0x23, 0x42, 0x9d, 0xb6, 0x29,
+		0x65, 0xb7, 0xd5, 0x63, 0xc5, 0x7b, 0x4c, 0xec,
+		0x94, 0x2c, 0xc8, 0x65, 0xe2, 0x9c, 0x1d, 0xad,
+		0x83, 0xca, 0xc8, 0xb4, 0xd6, 0x1a, 0xac, 0xc4,
+		0x57, 0xf3, 0x36, 0xe6, 0xa1, 0x0b, 0x66, 0x32,
+		0x3f, 0x58, 0x87, 0xbf, 0x35, 0x23, 0xdf, 0xca,
+		0xde, 0xe1, 0x58, 0x50, 0x3b, 0xfa, 0xa8, 0x9d,
+		0xc6, 0xbf, 0x59, 0xda, 0xa8, 0x2a, 0xfd, 0x2b,
+		0x5e, 0xbb, 0x2a, 0x9c, 0xa6, 0x57, 0x2a, 0x60,
+		0x67, 0xce, 0xe7, 0xc3, 0x27, 0xe9, 0x03, 0x9b,
+		0x3b, 0x6e, 0xa6, 0xa1, 0xed, 0xc7, 0xfd, 0xc3,
+		0xdf, 0x92, 0x7a, 0xad, 0xe1, 0x0c, 0x1c, 0x9f,
+		0x2d, 0x5f, 0xf4, 0x46, 0x45, 0x0d, 0x2a, 0x39,
+		0x98, 0xd0, 0xf9, 0xf6, 0x20, 0x2b, 0x5e, 0x07,
+		0xc3, 0xf9, 0x7d, 0x24, 0x58, 0xc6, 0x9d, 0x3c,
+		0x81, 0x90, 0x64, 0x39, 0x78, 0xd7, 0xa7, 0xf4,
+		0xd6, 0x4e, 0x97, 0xe3, 0xf1, 0xc4, 0xa0, 0x8a,
+		0x7c, 0x5b, 0xc0, 0x3f, 0xd5, 0x56, 0x82, 0xc0,
+		0x17, 0xe2, 0x90, 0x7e, 0xab, 0x07, 0xe5, 0xbb,
+		0x2f, 0x19, 0x01, 0x43, 0x47, 0x5a, 0x60, 0x43,
+		0xd5, 0xe6, 0xd5, 0x26, 0x34, 0x71, 0xf4, 0xee,
+		0xcf, 0x6e, 0x25, 0x75, 0xfb, 0xc6, 0xff, 0x37,
+		0xed, 0xfa, 0x24, 0x9d, 0x6c, 0xda, 0x1a, 0x09,
+		0xf7, 0x97, 0xfd, 0x5a, 0x3c, 0xd5, 0x3a, 0x06,
+		0x67, 0x00, 0xf4, 0x58, 0x63, 0xf0, 0x4b, 0x6c,
+		0x8a, 0x58, 0xcf, 0xd3, 0x41, 0x24, 0x1e, 0x00,
+		0x2d, 0x0d, 0x2c, 0x02, 0x17, 0x47, 0x2b, 0xf1,
+		0x8b, 0x63, 0x6a, 0xe5, 0x47, 0xc1, 0x77, 0x13,
+		0x68, 0xd9, 0xf3, 0x17, 0x83, 0x5c, 0x9b, 0x0e,
+		0xf4, 0x30, 0xb3, 0xdf, 0x40, 0x34, 0xf6, 0xaf,
+		0x00, 0xd0, 0xda, 0x44, 0xf4, 0xaf, 0x78, 0x00,
+		0xbc, 0x7a, 0x5c, 0xf8, 0xa5, 0xab, 0xdb, 0x12,
+		0xdc, 0x71, 0x8b, 0x55, 0x9b, 0x74, 0xca, 0xb9,
+		0x09, 0x0e, 0x33, 0xcc, 0x58, 0xa9, 0x55, 0x30,
+		0x09, 0x81, 0xc4, 0x20, 0xc4, 0xda, 0x8f, 0xfd,
+		0x67, 0xdf, 0x54, 0x08, 0x90, 0xa0, 0x62, 0xfe,
+		0x40, 0xdb, 0xa8, 0xb2, 0xc1, 0xc5, 0x48, 0xce,
+		0xd2, 0x24, 0x73, 0x21, 0x9c, 0x53, 0x49, 0x11,
+		0xd4, 0x8c, 0xca, 0xab, 0xfb, 0x71, 0xbc, 0x71,
+		0x86, 0x2f, 0x4a, 0x24, 0xeb, 0xd3, 0x76, 0xd2,
+		0x88, 0xfd, 0x4e, 0x6f, 0xb0, 0x6e, 0xd8, 0x70,
+		0x57, 0x87, 0xc5, 0xfe, 0xdc, 0x81, 0x3c, 0xd2,
+		0x69, 0x7e, 0x5b, 0x1a, 0xac, 0x1c, 0xed, 0x45,
+		0x76, 0x7b, 0x14, 0xce, 0x88, 0x40, 0x9e, 0xae,
+		0xbb, 0x60, 0x1a, 0x93, 0x55, 0x9a, 0xae, 0x89,
+		0x3e, 0x14, 0x3d, 0x1c, 0x39, 0x5b, 0xc3, 0x26,
+		0xda, 0x82, 0x1d, 0x79, 0xa9, 0xed, 0x41, 0xdc,
+		0xfb, 0xe5, 0x49, 0x14, 0x7f, 0x71, 0xc0, 0x92,
+		0xf4, 0xf3, 0xac, 0x52, 0x2b, 0x5c, 0xc5, 0x72,
+		0x90, 0x70, 0x66, 0x50, 0x48, 0x7b, 0xae, 0x9b,
+		0xb5, 0x67, 0x1e, 0xcc, 0x9c, 0xcc, 0x2c, 0xe5,
+		0x1e, 0xad, 0x87, 0xac, 0x01, 0x98, 0x52, 0x68,
+		0x52, 0x12, 0x22, 0xfb, 0x90, 0x57, 0xdf, 0x7e,
+		0xd4, 0x18, 0x10, 0xb5, 0xef, 0x0d, 0x4f, 0x7c,
+		0xc6, 0x73, 0x68, 0xc9, 0x0f, 0x57, 0x3b, 0x1a,
+		0xc2, 0xce, 0x95, 0x6c, 0x36, 0x5e, 0xd3, 0x8e,
+		0x89, 0x3c, 0xe7, 0xb2, 0xfa, 0xe1, 0x5d, 0x36,
+		0x85, 0xa3, 0xdf, 0x2f, 0xa3, 0xd4, 0xcc, 0x09,
+		0x8f, 0xa5, 0x7d, 0xd6, 0x0d, 0x2c, 0x97, 0x54,
+		0xa8, 0xad, 0xe9, 0x80, 0xad, 0x0f, 0x93, 0xf6,
+		0x78, 0x70, 0x75, 0xc3, 0xf6, 0x80, 0xa2, 0xba,
+		0x19, 0x36, 0xa8, 0xc6, 0x1d, 0x1a, 0xf5, 0x2a,
+		0xb7, 0xe2, 0x1f, 0x41, 0x6b, 0xe0, 0x9d, 0x2a,
+		0x8d, 0x64, 0xc3, 0xd3, 0xd8, 0x58, 0x29, 0x68,
+		0xc2, 0x83, 0x99, 0x02, 0x22, 0x9f, 0x85, 0xae,
+		0xe2, 0x97, 0xe7, 0x17, 0xc0, 0x94, 0xc8, 0xdf,
+		0x4a, 0x23, 0xbb, 0x5d, 0xb6, 0x58, 0xdd, 0x37,
+		0x7b, 0xf0, 0xf4, 0xff, 0x3f, 0xfd, 0x8f, 0xba,
+		0x5e, 0x38, 0x3a, 0x48, 0x57, 0x48, 0x02, 0xed,
+		0x54, 0x5b, 0xbe, 0x7a, 0x6b, 0x47, 0x53, 0x53,
+		0x33, 0x53, 0xd7, 0x37, 0x06, 0x06, 0x76, 0x40,
+		0x13, 0x5a, 0x7c, 0xe5, 0x17, 0x27, 0x9c, 0xd6,
+		0x83, 0x03, 0x97, 0x47, 0xd2, 0x18, 0x64, 0x7c,
+		0x86, 0xe0, 0x97, 0xb0, 0xda, 0xa2, 0x87, 0x2d,
+		0x54, 0xb8, 0xf3, 0xe5, 0x08, 0x59, 0x87, 0x62,
+		0x95, 0x47, 0xb8, 0x30, 0xd8, 0x11, 0x81, 0x61,
+		0xb6, 0x50, 0x79, 0xfe, 0x7b, 0xc5, 0x9a, 0x99,
+		0xe9, 0xc3, 0xc7, 0x38, 0x0e, 0x3e, 0x70, 0xb7,
+		0x13, 0x8f, 0xe5, 0xd9, 0xbe, 0x25, 0x51, 0x50,
+		0x2b, 0x69, 0x8d, 0x09, 0xae, 0x19, 0x39, 0x72,
+		0xf2, 0x7d, 0x40, 0xf3, 0x8d, 0xea, 0x26, 0x4a,
+		0x01, 0x26, 0xe6, 0x37, 0xd7, 0x4a, 0xe4, 0xc9,
+		0x2a, 0x62, 0x49, 0xfa, 0x10, 0x34, 0x36, 0xd3,
+		0xeb, 0x0d, 0x40, 0x29, 0xac, 0x71, 0x2b, 0xfc,
+		0x7a, 0x5e, 0xac, 0xbd, 0xd7, 0x51, 0x8d, 0x6d,
+		0x4f, 0xe9, 0x03, 0xa5, 0xae, 0x65, 0x52, 0x7c,
+		0xd6, 0x5b, 0xb0, 0xd4, 0xe9, 0x92, 0x5c, 0xa2,
+		0x4f, 0xd7, 0x21, 0x4d, 0xc6, 0x17, 0xc1, 0x50,
+		0x54, 0x4e, 0x42, 0x3f, 0x45, 0x0c, 0x99, 0xce,
+		0x51, 0xac, 0x80, 0x05, 0xd3, 0x3a, 0xcd, 0x74,
+		0xf1, 0xbe, 0xd3, 0xb1, 0x7b, 0x72, 0x66, 0xa4,
+		0xa3, 0xbb, 0x86, 0xda, 0x7e, 0xba, 0x80, 0xb1,
+		0x01, 0xe1, 0x5c, 0xb7, 0x9d, 0xe9, 0xa2, 0x07,
+		0x85, 0x2c, 0xf9, 0x12, 0x49, 0xef, 0x48, 0x06,
+		0x19, 0xff, 0x2a, 0xf8, 0xca, 0xbc, 0xa8, 0x31,
+		0x25, 0xd1, 0xfa, 0xa9, 0x4c, 0xbb, 0x0a, 0x03,
+		0xa9, 0x06, 0xf6, 0x83, 0xb3, 0xf4, 0x7a, 0x97,
+		0xc8, 0x71, 0xfd, 0x51, 0x3e, 0x51, 0x0a, 0x7a,
+		0x25, 0xf2, 0x83, 0xb1, 0x96, 0x07, 0x57, 0x78,
+		0x49, 0x61, 0x52, 0xa9, 0x1c, 0x2b, 0xf9, 0xda,
+		0x76, 0xeb, 0xe0, 0x89, 0xf4, 0x65, 0x48, 0x77,
+		0xf2, 0xd5, 0x86, 0xae, 0x71, 0x49, 0xc4, 0x06,
+		0xe6, 0x63, 0xea, 0xde, 0xb2, 0xb5, 0xc7, 0xe8,
+		0x24, 0x29, 0xb9, 0xe8, 0xcb, 0x48, 0x34, 0xc8,
+		0x34, 0x64, 0xf0, 0x79, 0x99, 0x53, 0x32, 0xe4,
+		0xb3, 0xc8, 0xf5, 0xa7, 0x2b, 0xb4, 0xb8, 0xc6,
+		0xf7, 0x4b, 0x0d, 0x45, 0xdc, 0x6c, 0x1f, 0x79,
+		0x95, 0x2c, 0x0b, 0x74, 0x20, 0xdf, 0x52, 0x5e,
+		0x37, 0xc1, 0x53, 0x77, 0xb5, 0xf0, 0x98, 0x43,
+		0x19, 0xc3, 0x99, 0x39, 0x21, 0xe5, 0xcc, 0xd9,
+		0x7e, 0x09, 0x75, 0x92, 0x06, 0x45, 0x30, 0xd3,
+		0x3d, 0xe3, 0xaf, 0xad, 0x57, 0x33, 0xcb, 0xe7,
+		0x70, 0x3c, 0x52, 0x96, 0x26, 0x3f, 0x77, 0x34,
+		0x2e, 0xfb, 0xf5, 0xa0, 0x47, 0x55, 0xb0, 0xb3,
+		0xc9, 0x97, 0xc4, 0x32, 0x84, 0x63, 0xe8, 0x4c,
+		0xaa, 0x2d, 0xe3, 0xff, 0xdc, 0xd2, 0x97, 0xba,
+		0xaa, 0xac, 0xd7, 0xae, 0x64, 0x6e, 0x44, 0xb5,
+		0xc0, 0xf1, 0x60, 0x44, 0xdf, 0x38, 0xfa, 0xbd,
+		0x29, 0x6a, 0x47, 0xb3, 0xa8, 0x38, 0xa9, 0x13,
+		0x98, 0x2f, 0xb2, 0xe3, 0x70, 0xc0, 0x78, 0xed,
+		0xb0, 0x42, 0xc8, 0x4d, 0xb3, 0x4c, 0xe3, 0x6b,
+		0x46, 0xcc, 0xb7, 0x64, 0x60, 0xa6, 0x90, 0xcc,
+		0x86, 0xc3, 0x02, 0x45, 0x7d, 0xd1, 0xcd, 0xe1,
+		0x97, 0xec, 0x80, 0x75, 0xe8, 0x2b, 0x39, 0x3d,
+		0x54, 0x20, 0x75, 0x13, 0x4e, 0x2a, 0x17, 0xee,
+		0x70, 0xa5, 0xe1, 0x87, 0x07, 0x5d, 0x03, 0xae,
+		0x3c, 0x85, 0x3c, 0xff, 0x60, 0x72, 0x9b, 0xa4,
+		0x00, 0x00, 0x00, 0x05, 0x4d, 0xe1, 0xf6, 0x96,
+		0x5b, 0xda, 0xbc, 0x67, 0x6c, 0x5a, 0x4d, 0xc7,
+		0xc3, 0x5f, 0x97, 0xf8, 0x2c, 0xb0, 0xe3, 0x1c,
+		0x68, 0xd0, 0x4f, 0x1d, 0xad, 0x96, 0x31, 0x4f,
+		0xf0, 0x9e, 0x6b, 0x3d, 0xe9, 0x6a, 0xee, 0xe3,
+		0x00, 0xd1, 0xf6, 0x8b, 0xf1, 0xbc, 0xa9, 0xfc,
+		0x58, 0xe4, 0x03, 0x23, 0x36, 0xcd, 0x81, 0x9a,
+		0xaf, 0x57, 0x87, 0x44, 0xe5, 0x0d, 0x13, 0x57,
+		0xa0, 0xe4, 0x28, 0x67, 0x04, 0xd3, 0x41, 0xaa,
+		0x0a, 0x33, 0x7b, 0x19, 0xfe, 0x4b, 0xc4, 0x3c,
+		0x2e, 0x79, 0x96, 0x4d, 0x4f, 0x35, 0x10, 0x89,
+		0xf2, 0xe0, 0xe4, 0x1c, 0x7c, 0x43, 0xae, 0x0d,
+		0x49, 0xe7, 0xf4, 0x04, 0xb0, 0xf7, 0x5b, 0xe8,
+		0x0e, 0xa3, 0xaf, 0x09, 0x8c, 0x97, 0x52, 0x42,
+		0x0a, 0x8a, 0xc0, 0xea, 0x2b, 0xbb, 0x1f, 0x4e,
+		0xeb, 0xa0, 0x52, 0x38, 0xae, 0xf0, 0xd8, 0xce,
+		0x63, 0xf0, 0xc6, 0xe5, 0xe4, 0x04, 0x1d, 0x95,
+		0x39, 0x8a, 0x6f, 0x7f, 0x3e, 0x0e, 0xe9, 0x7c,
+		0xc1, 0x59, 0x18, 0x49, 0xd4, 0xed, 0x23, 0x63,
+		0x38, 0xb1, 0x47, 0xab, 0xde, 0x9f, 0x51, 0xef,
+		0x9f, 0xd4, 0xe1, 0xc1,
+	};
+
+	OQS_SIG_STFL *sig = NULL;
+	sig = OQS_SIG_STFL_new("LMS_SHA256_H10_W4");
+	if (sig == NULL) {
+		fprintf(stderr, "ERROR: OQS_SIG_STFL_new failed, Test vector 2.\n");
+		goto err;
+	}
+
+	rc = OQS_SIG_STFL_verify(sig, message, sizeof(message), signature, sizeof (signature), public_key);
+	if (rc != OQS_SUCCESS) {
+		fprintf(stderr, "ERROR: Test Vector 2 Verify failed\n");
+	}
 err:
-    OQS_SIG_STFL_free(sig);
-    return rc;
+	OQS_SIG_STFL_free(sig);
+	return rc;
 }
 
 
 static OQS_STATUS test_testvector(void) {
-    OQS_STATUS rc, rc_1;
-    rc = test_testvector_1();
-    rc_1 = test_testvector_2();
-    if ((rc != OQS_SUCCESS) || (rc_1 != OQS_SUCCESS)) {
-        fprintf(stderr, "ERROR: Test Vector 2 Verify failed\n");
-        return OQS_ERROR;
-    }
-    return rc;
+	OQS_STATUS rc, rc_1;
+	rc = test_testvector_1();
+	rc_1 = test_testvector_2();
+	if ((rc != OQS_SUCCESS) || (rc_1 != OQS_SUCCESS)) {
+		fprintf(stderr, "ERROR: Test Vector 2 Verify failed\n");
+		return OQS_ERROR;
+	}
+	return rc;
 }
 
 #ifdef OQS_ENABLE_TEST_CONSTANT_TIME
@@ -1947,12 +1947,12 @@ int main(int argc, char **argv) {
 		OQS_STATUS rc = test_testvector();
 		OQS_destroy();
 		if (rc != OQS_SUCCESS) {
-		    printf("Stateful signature algorithm vector test FAILED!\n");
-		    return EXIT_FAILURE;
+			printf("Stateful signature algorithm vector test FAILED!\n");
+			return EXIT_FAILURE;
 		} else {
-	  	  printf("Stateful signature algorithm vector test passed!\n");
-	 	   return EXIT_SUCCESS;
-	    }
+			printf("Stateful signature algorithm vector test passed!\n");
+			return EXIT_SUCCESS;
+		}
 	}
 
 	if (!OQS_SIG_STFL_alg_is_enabled(alg_name)) {