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