実際は

abc = 重複のない3桁の数字
def = 重複のある1〜2桁の数字

なので、>>513さんの意見で大丈夫かなと思ったのですが。