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