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