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