@@ -0,0 +1,752 @@
+#!/bin/python3%0A%0Aimport sys%0A%0Adef canConvert(s, t, k):    %0A    cmnPrefixCnt = 0%0A%0A    for c1, c2 in tuple(zip(s, t)):%0A        if c1 == c2:%0A            cmnPrefixCnt += 1%0A        else:%0A            break%0A%0A    minDelCnt = len(s) - cmnPrefixCnt%0A    minAddCnt = len(t) - cmnPrefixCnt%0A    %0A    if k %3E= len(s) + len(t):%0A        return True%0A    else:    %0A        addCnt = minAddCnt%0A%0A        for delCnt in range(minDelCnt, len(s) + 1):%0A            chgCnt = addCnt + delCnt%0A%0A            if chgCnt == k:%0A                return True%0A            elif chgCnt %3E k:%0A                return False%0A%0A            addCnt += 1%0A%0A    return False%0A    %0As = input().strip()%0At = input().strip()%0Ak = int(input().strip())%0A%0Aif canConvert(s, t, k):%0A    print('Yes')%0Aelse:%0A    print('No')%0A

Create solution.py