[[Vecsmall([22, 104, 17, 101, 59, 48, 51, 53, 43, 46, 39, 42, 33, 36, 94, 82, 127, 84, 74, 88, 77, 125, 79, 68, 3, 64, 38, 1, 58, 32, 111, 20, 9, 113, 102, 10, 106, 15, 6, 108, 99, 7, 13, 73, 60, 14, 63, 11, 67, 54, 12, 57, 49, 37, 103, 124, 40, 24, 44, 31, 100, 121, 34, 19, 110, 95, 8, 29, 98, 85, 105, 89, 5, 26, 92, 80, 72, 117, 75, 62, 118, 66, 115, 69, 56, 116, 122, 30, 21, 123, 114, 23, 119, 27, 16, 120, 109, 18, 97, 71, 128, 91, 65, 126, 61, 50, 4, 52, 41, 55, 45, 2, 47, 35, 93, 96, 87, 90, 83, 86, 76, 78, 81, 70, 28, 112, 25, 107]), Vecsmall([4, 3, 2, 1, 85, 118, 117, 80, 116, 115, 123, 122, 120, 119, 102, 63, 104, 60, 103, 99, 57, 101, 54, 100, 112, 110, 114, 107, 105, 109, 84, 41, 86, 82, 38, 83, 79, 35, 81, 77, 32, 78, 96, 124, 98, 93, 95, 90, 121, 92, 87, 89, 62, 23, 64, 59, 21, 61, 56, 18, 58, 53, 16, 55, 74, 113, 76, 71, 111, 73, 68, 108, 70, 65, 106, 67, 40, 42, 37, 8, 39, 34, 36, 31, 5, 33, 51, 97, 52, 48, 94, 50, 46, 91, 47, 43, 88, 45, 20, 24, 22, 15, 19, 17, 29, 75, 28, 72, 30, 26, 69, 25, 66, 27, 10, 9, 7, 6, 14, 13, 49, 12, 11, 44, 128, 127, 126, 125]), Vecsmall([12, 120, 13, 122, 18, 125, 19, 21, 24, 127, 1, 26, 29, 3, 34, 5, 33, 35, 6, 37, 41, 42, 8, 10, 43, 11, 47, 51, 14, 50, 15, 54, 58, 56, 16, 17, 62, 63, 22, 20, 23, 64, 68, 69, 27, 25, 70, 28, 72, 76, 74, 30, 77, 80, 81, 31, 32, 36, 84, 38, 83, 40, 85, 39, 90, 44, 89, 46, 91, 45, 93, 97, 98, 48, 49, 52, 99, 55, 53, 57, 101, 59, 104, 102, 60, 61, 65, 106, 109, 107, 66, 67, 112, 113, 73, 71, 75, 114, 79, 115, 78, 82, 118, 86, 119, 121, 87, 88, 92, 123, 94, 96, 124, 95, 126, 100, 103, 128, 2, 105, 108, 110, 4, 111, 7, 116, 9, 117]), Vecsmall([76, 59, 56, 67, 29, 40, 37, 19, 47, 45, 52, 50, 34, 31, 104, 14, 124, 13, 20, 107, 7, 80, 6, 27, 85, 30, 112, 121, 15, 101, 86, 128, 113, 83, 3, 111, 90, 2, 57, 87, 125, 54, 63, 24, 96, 60, 93, 108, 26, 81, 106, 78, 74, 118, 41, 61, 117, 94, 58, 120, 91, 65, 119, 32, 97, 10, 64, 38, 9, 71, 35, 12, 68, 88, 11, 55, 51, 23, 48, 103, 21, 36, 69, 33, 105, 66, 75, 4, 42, 72, 127, 39, 18, 126, 46, 16, 1, 43, 28, 114, 8, 17, 99, 44, 102, 123, 49, 122, 22, 109, 116, 5, 115, 25, 98, 95, 79, 77, 84, 82, 110, 92, 89, 100, 62, 73, 70, 53]), Vecsmall([119, 122, 12, 14, 21, 24, 127, 63, 103, 128, 29, 3, 110, 4, 37, 80, 42, 32, 116, 84, 5, 83, 35, 6, 51, 120, 50, 93, 11, 98, 99, 18, 55, 53, 23, 101, 15, 54, 58, 56, 60, 17, 65, 72, 109, 107, 67, 68, 113, 27, 25, 70, 34, 38, 33, 40, 85, 39, 77, 41, 81, 82, 8, 86, 43, 121, 47, 48, 88, 52, 90, 44, 89, 96, 91, 95, 59, 104, 102, 16, 61, 62, 22, 20, 57, 64, 112, 69, 73, 71, 75, 114, 28, 106, 76, 74, 111, 30, 31, 118, 36, 79, 9, 78, 123, 94, 46, 124, 45, 13, 97, 87, 49, 92, 125, 19, 126, 100, 1, 26, 66, 2, 105, 108, 115, 117, 7, 10])], Vecsmall([4, 2, 4, 2, 2])]
