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