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