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