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