IPv6 prefix representation by pv2b

print'.'.join(''.join(s.zfill(4)for s in raw_input().split(':'))+32*'0')[62::-1]+'.ip6.arpa.'

Note that non-ascii characters in the above source code will be escaped (such as \x9f).

download

return top