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