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