class Solution:
def canConvertString(self, s: str, t: str, k: int) -> bool:
if len(s) != len(t): return False
d = collections.defaultdict(int)
for i in range(26):
d[i] += k//26
for i in range(k%26):
d[i+1] += 1
print(d)
for x, y in zip(s,t):
if x == y :
continue
else:
if d[(ord(y) - ord(x))%26] == 0:
return False
elif d[(ord(y) - ord(x))%26] > 0:
d[(ord(y) - ord(x))%26] -= 1
# print(d)
return True