def re_create(url):
    url = url.strip()
    url_p = url.split("/")
    url_now = ""
    url_now += "^"
    for i, item in enumerate(url_p):
        # print(i)
        # print(item)
        if i < 3:
            # 如果是开头
            url_now += item + "/"
            continue
        elif "." in item and i != len(url_p) - 1:
            # 如果是域名
            url_now += item + "/"
            continue
        elif item.isdecimal():
            # 如果是数字
            url_now += "[0-9]"
            url_now += "{" + str(len(item)) + "}"
            url_now += "/"
            continue
        elif i == len(url_p) - 1:
            # 如果是结尾
            if "." in item:
                url_now += ".*?" + item.split(".")[1]
            else:
                url_now += ".*?"
            continue
        else:
            url_now += ".*?"
            url_now += "/"
            continue
    url_now += "$"
    return url_now


if __name__ == '__main__':
    while True:
        url = input("url:")
        print(re_create(url))