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