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