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