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