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