#!/usr/bin/env python3 # -*- coding: utf-8 -*- from functools import reduce CHAR_TO_INT = { ': 0, ': 1, ': 2, ': 3, ': 4, ': 5, ': 6, ': 7, ': 8, ': 9 } def str2int(s): ints = map(lambda ch: CHAR_TO_INT[ch], s) return reduce(lambda x, y: x * 10 + y,…