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