typedef uint8_t mchar_t;const uint8_t lengths[] = { 0, 0, 1, 4, 3, 8, 18, 29, 44, 44, 39, 16, 1, 6, 0 };
const mchar_t values[] = { 32, 97, 101, 115, 116, 100, 105, 108, 99, 128, 109, 110, 111, 112, 114, 117, 148, 246, 39, 46, 73, 98, 141, 102, 103, 104, 134, 131, 168, 132, 133, 135, 169, 121, 146, 171, 174, 170, 151, 176, 129, 136, 45, 48, 67, 83, 84, 95, 157, 239, 194, 163, 156, 145, 142, 147, 215, 144, 149, 143, 118, 119, 120, 130, 200, 196, 218, 177, 185, 197, 137, 40, 41, 49, 50, 58, 61, 65, 66, 68, 69, 70, 77, 79, 80, 82, 85, 173, 154, 165, 152, 216, 178, 158, 107, 228, 217, 179, 153, 140, 159, 247, 160, 184, 181, 172, 195, 209, 202, 240, 250, 198, 37, 164, 47, 138, 51, 52, 53, 56, 62, 182, 166, 204, 76, 78, 161, 87, 167, 206, 220, 219, 230, 150, 139, 205, 186, 187, 201, 229, 183, 180, 241, 192, 113, 199, 189, 243, 203, 188, 122, 234, 242, 224, 34, 212, 42, 54, 60, 71, 72, 191, 210, 155, 162, 86, 252, 236, 233, 245, 214, 231, 235, 249, 237, 211, 222, 251, 223, 106, 193, 226, 190, 213, 238, 221, 225, 244, 208, 175, 33, 35, 44, 207, 57, 59, 248, 254, 253, 88, 89, 91, 93, 96, 227, 232, 43, 55, 74, 75, 123, 125, 126 };
#define compress_max_length_bits (8)
const mchar_t words[] = { 101, 114, 37, 113, 13, 10, 109, 97, 111, 110, 111, 114, 105, 110, 114, 101, 44, 32, 37, 100, 49, 54, 102, 102, 111, 119, 99, 111, 105, 99, 117, 110, 110, 100, 101, 120, 32, 37, 100, 105, 110, 103, 32, 105, 110, 111, 117, 116, 101, 113, 117, 32, 116, 104, 98, 105, 116, 111, 117, 110, 97, 114, 103, 80, 87, 77, 101, 110, 116, 97, 110, 32, 105, 118, 101, 115, 116, 114, 116, 99, 104, 78, 111, 32, 85, 83, 66, 101, 100, 32, 40, 41, 32, 98, 101, 32, 67, 97, 110, 97, 99, 107, 110, 111, 116, 32, 116, 105, 111, 110, 32, 111, 102, 32, 32, 102, 111, 114, 116, 121, 112, 101, 97, 98, 108, 101, 32, 105, 115, 32, 120, 120, 120, 120, 32, 116, 111, 32, 32, 112, 105, 110, 102, 117, 110, 99, 111, 110, 108, 121, 109, 112, 108, 101, 116, 111, 111, 32, 66, 117, 102, 102, 109, 111, 100, 101, 116, 105, 109, 101, 32, 117, 115, 101, 102, 114, 111, 109, 104, 97, 118, 101, 119, 114, 105, 116, 115, 105, 103, 110, 110, 117, 109, 98, 72, 67, 73, 32, 110, 39, 116, 32, 108, 111, 99, 107, 97, 114, 114, 97, 121, 118, 97, 108, 117, 101, 32, 98, 121, 116, 101, 32, 119, 105, 116, 104, 32, 115, 105, 122, 101, 114, 97, 110, 103, 101, 32, 97, 110, 100, 32, 105, 110, 112, 117, 116, 32, 102, 105, 108, 101, 118, 97, 108, 105, 100, 67, 111, 117, 108, 100, 102, 105, 114, 115, 116, 97, 105, 108, 101, 100, 54, 53, 53, 51, 54, 116, 117, 112, 108, 101, 32, 100, 111, 101, 115, 79, 110, 108, 121, 32, 101, 109, 112, 116, 121, 39, 37, 115, 39, 32, 112, 105, 120, 101, 108, 97, 118, 97, 105, 108, 108, 101, 110, 103, 116, 104, 98, 117, 102, 102, 101, 114, 111, 98, 106, 101, 99, 116, 32, 109, 117, 115, 116, 32, 99, 97, 110, 39, 116, 32, 97, 108, 108, 111, 99, 97, 114, 111, 103, 114, 97, 109, 104, 97, 114, 97, 99, 116, 105, 115, 112, 108, 97, 121, 32, 119, 104, 101, 110, 32, 115, 111, 117, 114, 99, 101, 109, 111, 100, 117, 108, 101, 120, 105, 109, 117, 109, 32, 110, 118, 97, 108, 105, 100, 32, 107, 101, 121, 119, 111, 114, 100, 100, 101, 102, 105, 110, 101, 100, 98, 101, 116, 119, 101, 101, 110, 120, 112, 101, 99, 116, 101, 100, 97, 108, 114, 101, 97, 100, 121, 32, 100, 101, 118, 105, 99, 101, 99, 104, 97, 110, 110, 101, 108, 97, 108, 108, 111, 119, 101, 100, 100, 101, 102, 97, 117, 108, 116, 112, 114, 111, 118, 105, 100, 101, 97, 114, 103, 117, 109, 101, 110, 116, 32, 114, 101, 113, 117, 105, 114, 101, 109, 117, 108, 116, 105, 112, 108, 101, 32, 115, 112, 101, 99, 105, 102, 105, 116, 116, 114, 105, 98, 117, 116, 101, 115, 117, 98, 99, 108, 97, 115, 115, 97, 116, 32, 108, 101, 97, 115, 116, 32, 109, 117, 115, 116, 32, 98, 101, 32, 115, 117, 112, 112, 111, 114, 116, 101, 100, 67, 73, 82, 67, 85, 73, 84, 80, 89, 99, 111, 109, 112, 97, 116, 105, 98, 108, 101, 32, 115, 104, 111, 117, 108, 100, 32, 98, 101, 32, 105, 109, 112, 108, 101, 109, 101, 110, 116, 101, 100, 95, 112, 105, 110, 46, 32, 73, 110, 115, 116, 114, 87, 97, 116, 99, 104, 68, 111, 103, 84, 105, 109, 67, 105, 114, 99, 117, 105, 116, 80, 121, 116, 104 };
const uint8_t wlencount[] = { 18, 22, 26, 21, 13, 11, 7, 3, 1, 5 };
#define word_start 128
#define word_end 254
#define minlen 2
#define maxlen 11