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