题目描述

定义一次循环左移操作为：将字符串第一个字符移动到字符串末尾。

给定两个只包含字母和数字的字符串 $a$ 和 $b$，请判断较短的字符串是否可以成为较长字符串经过若干次循环左移后得到的新字符串的子串。

输入格式

一行，包含两个字符串，中间用一个空格分隔。每个字符串长度不超过 $30$。

输出格式

如果满足条件，输出 $true$，否则输出 $false$。

样例输入

ABCDEF DEFA

样例输出

true