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