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