请编写一个程序，将给定的时间格式从24小时制转换为12小时制。
24小时制时间格式，比如"13:45:30"。
以下是Python的解决方案：

```python
time_24h = "13:45:30"

# 将字符串转换为时间对象
time_24h_obj = datetime.datetime.strptime(time_24h, "%H:%M:%S")

# 将时间对象转换为12小时制字符串
time_12h = time_24h_obj.strftime("%I:%M:%S %p")

print(time_12h)
```

输出：

```
01:45:30 PM
```

使用`strptime()`将给定的字符串转换为时间对象，使用`strftime()`将时间对象转换为12小时制时间格式的字符串。 `%I`是12小时制格式的小时部分，`%p`是小写字母`am`或`pm`表示AM或PM。