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