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