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