resultados_AFNtoAFD_cedenas_aleatorias.txt

bbaabbb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
bababbaaba	False	no
ababab	False	no
baaabbb	False	no
a	{s0},a --> {s1}	no
aabbabba	False	no
ba	False	no
aababa	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
babbbbaaaa	False	no
bbabbaaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
bbabaaba	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bababba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbabbaaa	False	no
bba	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
babbabbbbb	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
abbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
abbaaba	False	no
bbabaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
aaababbaab	False	no
bbaaabaaa	False	no
baabbb	False	no
abbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbb	False	no
baababbbba	False	no
bbbaaabbb	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
b	{s0},b --> {}	no
ba	False	no
b	{s0},b --> {}	no
babbbabb	False	no
aabbaaabaa	False	no
baba	False	no
abbababa	False	no
bbbbbabaa	False	no
bbaabb	False	no
abababaaba	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbabbbaaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babbabb	False	no
bbaabbaa	False	no
bbbbabab	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babbbb	False	no
baabbab	False	no
bbabbaaa	False	no
aaaababb	False	no
babbaba	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
ababaaabb	False	no
a	{s0},a --> {s1}	no
ababa	False	no
ababba	False	no
babaa	False	no
bbbab	False	no
abbabaa	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbba	False	no
ababb	False	no
aabababab	False	no
bbbbbab	False	no
a	{s0},a --> {s1}	no
aababaaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
ba	False	no
a	{s0},a --> {s1}	no
abbbabab	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bb	False	no
bbbbaaaab	False	no
bbabbbaaa	False	no
baaabbaaa	False	no
abbbabbbba	False	no
abaaaabaa	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
babbbbaa	False	no
babaababb	False	no
bbab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
abaaaa	False	no
ababbbab	False	no
b	{s0},b --> {}	no
bbaabaabb	False	no
baabb	False	no
bba	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abaaaaaabb	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbbbabaaa	False	no
a	{s0},a --> {s1}	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
ababbbabab	False	no
bbaba	False	no
bbbabbbb	False	no
bbabaaaa	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbaa	False	no
baabbaaaa	False	no
babbbbab	False	no
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
aaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
baaababbab	False	no
babaabbaab	False	no
bbaa	False	no
baa	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbab	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbbbb	False	no
ba	False	no
a	{s0},a --> {s1}	no
aaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbbbaa	False	no
b	{s0},b --> {}	no
aaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bababbbb	False	no
bba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbaabbaaa	False	no
baa	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
baaabbaaba	False	no
babaaabba	False	no
baaaaaabba	False	no
bbabbaa	False	no
a	{s0},a --> {s1}	no
ba	False	no
ababbbbbb	False	no
baaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
ababbb	False	no
bbaabbbaab	False	no
bbbaaaabb	False	no
bbaab	False	no
bbbbabbba	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
b	{s0},b --> {}	no
abbabbaaa	False	no
bbaaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baaaaabb	False	no
babbbba	False	no
b	{s0},b --> {}	no
babaaabaaa	False	no
b	{s0},b --> {}	no
aaabbbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbbaaabaaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
baabaaabaa	False	no
abbaba	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbbbabab	False	no
aababb	False	no
bbb	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
baaba	False	no
bb	False	no
bba	False	no
bbba	False	no
abbbaabaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bb	False	no
bbbb	False	no
b	{s0},b --> {}	no
bb	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bababaab	False	no
aaaaaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bbbbba	False	no
babbab	False	no
baaaab	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
baaaabbbbb	False	no
b	{s0},b --> {}	no
ababb	False	no
aaaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
aabbabab	False	no
abbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abababbba	False	no
babbababb	False	no
abaaaab	False	no
aabbaabbbb	False	no
ba	False	no
bababaab	False	no
bbb	False	no
aabaaab	False	no
babba	False	no
aaaabbabab	False	no
babbaaaaaa	False	no
abbaabb	False	no
bba	False	no
ababba	False	no
b	{s0},b --> {}	no
babaaa	False	no
abbbbabb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbaaabb	False	no
baab	False	no
babababab	False	no
b	{s0},b --> {}	no
baaaaaabbb	False	no
babbbb	False	no
abbaabbaa	False	no
aababaa	False	no
baaba	False	no
bbaa	False	no
babaaaaaa	False	no
bab	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbba	False	no
aaabbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
abaaba	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baaabb	False	no
bbb	False	no
babab	False	no
bbaab	False	no
baababab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
abaaabba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbaabbbaa	False	no
bbbbabb	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
babbaaaab	False	no
bba	False	no
bbbba	False	no
bababaa	False	no
bababaab	False	no
bbaa	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaabbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
ababaaaa	False	no
bbabba	False	no
bbb	False	no
aabbaaaa	False	no
bbbaaba	False	no
bbabaa	False	no
bab	False	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baabbbbaa	False	no
babaabba	False	no
bab	False	no
baabbb	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aababbb	False	no
abbabaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abbbaabba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
babba	False	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
baabbab	False	no
babaa	False	no
abbbaaa	False	no
aaabbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbaabaaa	False	no
abbaba	False	no
abababaaaa	False	no
aaababb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baba	False	no
bb	False	no
bba	False	no
abbabb	False	no
bbbbaaaaab	False	no
bbab	False	no
aabaaaaab	False	no
bbbb	False	no
baabaaa	False	no
ba	False	no
a	{s0},a --> {s1}	no
bbbbabab	False	no
bbaaabaaab	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
baababab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bba	False	no
babbbbabbb	False	no
abaaaabb	False	no
b	{s0},b --> {}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbaa	False	no
abaaa	False	no
bbab	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaaabbbaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
bbb	False	no
ba	False	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
baaaba	False	no
aabaab	False	no
baaba	False	no
abbaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbaaaaab	False	no
bbabbbaa	False	no
babbabb	False	no
bb	False	no
a	{s0},a --> {s1}	no
baabbaab	False	no
aabbbabba	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baaab	False	no
bbbabaaab	False	no
b	{s0},b --> {}	no
bbaaa	False	no
bb	False	no
aaabbbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babbabaa	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
abbaabab	False	no
aababbbba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
babbbabbb	False	no
babba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
ba	False	no
babaababaa	False	no
aaaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
baabbbbab	False	no
bbaabbaaaa	False	no
baaaaaaaba	False	no
babbbbab	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
abaabaa	False	no
baab	False	no
babbaaaab	False	no
baa	False	no
a	{s0},a --> {s1}	no
abaababba	False	no
babba	False	no
abbaaaaa	False	no
baabbab	False	no
abaaabbaa	False	no
aabaabbab	False	no
aabbababa	False	no
aaaababab	False	no
ababbbab	False	no
b	{s0},b --> {}	no
bb	False	no
bbbbaaaba	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
aabbababb	False	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bbaab	False	no
bb	False	no
babbba	False	no
bababb	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
baaaababba	False	no
abbbabb	False	no
aababaabba	False	no
babbbbbb	False	no
ababbbbba	False	no
ababbaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaaabbaba	False	no
bbb	False	no
aabbabbb	False	no
b	{s0},b --> {}	no
bbbaabba	False	no
bab	False	no
baaabb	False	no
bbaaaaaab	False	no
b	{s0},b --> {}	no
bbbab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbba	False	no
bbabaa	False	no
abaabb	False	no
abbbbaaaba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
babab	False	no
aaaaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aabbaabaaa	False	no
a	{s0},a --> {s1}	no
babaabb	False	no
bbbbb	False	no
aaabbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
baaaababa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abaaaababb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbbbb	False	no
a	{s0},a --> {s1}	no
bbabb	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbbbaa	False	no
bbaabbbbba	False	no
abaabbaba	False	no
bbbabbaabb	False	no
babaabb	False	no
aabaabab	False	no
bbabaaaaa	False	no
ababaaaba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bb	False	no
aaaabbaaa	False	no
bbabb	False	no
baababb	False	no
aaababba	False	no
abbbabbb	False	no
aabababb	False	no
abbbababb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bababa	False	no
bbaaaaaba	False	no
aabbababa	False	no
baaabb	False	no
babbaba	False	no
bbbb	False	no
ababaaaab	False	no
babbabb	False	no
ababbbbb	False	no
bbbababbab	False	no
baaba	False	no
baaa	False	no
baababaabb	False	no
bb	False	no
aababaa	False	no
baaaabab	False	no
b	{s0},b --> {}	no
bbb	False	no
bba	False	no
babbab	False	no
baa	False	no
abaaa	False	no
a	{s0},a --> {s1}	no
aabaaa	False	no
abbabbb	False	no
ba	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
ba	False	no
baa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbba	False	no
aabaaabbab	False	no
baaabb	False	no
babaaab	False	no
baaaaaaaa	False	no
aabbbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbab	False	no
bab	False	no
baaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abaaabaa	False	no
bbabb	False	no
b	{s0},b --> {}	no
bbbbb	False	no
abaaba	False	no
babbb	False	no
bbaabbabba	False	no
bbaababaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
bbaaabbb	False	no
babbbb	False	no
abaababb	False	no
baaaabbbbb	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbbbbaa	False	no
babbabbabb	False	no
abbaababb	False	no
ba	False	no
bababbaab	False	no
bbaabbbbba	False	no
a	{s0},a --> {s1}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
baaaaabbbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
babababaa	False	no
aabaaa	False	no
aaaaaababb	False	no
aabaaa	False	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
babbbbbbb	False	no
bbb	False	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbbabbbaab	False	no
bbaaabaa	False	no
aabbaabbba	False	no
abaaabb	False	no
bbabaaaba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baaaba	False	no
baabbaaa	False	no
aababbaaa	False	no
b	{s0},b --> {}	no
babbbbb	False	no
bba	False	no
bababbbab	False	no
bba	False	no
baba	False	no
bbbbbbbba	False	no
abbbaababb	False	no
abbbaabab	False	no
baaabbaaba	False	no
aabababa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbababaabb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbbabbba	False	no
baaabab	False	no
bab	False	no
bbbaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaaabbaaab	False	no
baa	False	no
babba	False	no
babaaaa	False	no
bbaaaaabb	False	no
bbbababbb	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
aabbaab	False	no
bbaaaaaabb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbababaa	False	no
bbaab	False	no
bbbaabb	False	no
aaababbbbb	False	no
bab	False	no
babbabba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
babba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baaabb	False	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aabbbbaab	False	no
a	{s0},a --> {s1}	no
bbaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
abbaba	False	no
ba	False	no
abbaba	False	no
bbaabbaba	False	no
baababbbbb	False	no
bbabb	False	no
aaabaaaaaa	False	no
aabbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
babaaa	False	no
babb	False	no
babba	False	no
abbabb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aababab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabbbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaaabbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbbaababbb	False	no
babaaa	False	no
bb	False	no
bba	False	no
a	{s0},a --> {s1}	no
babbbab	False	no
b	{s0},b --> {}	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aababa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbaa	False	no
bbaaa	False	no
bab	False	no
b	{s0},b --> {}	no
baabaabaab	False	no
bbbbabaab	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
abbababbba	False	no
baaa	False	no
babbaa	False	no
bb	False	no
a	{s0},a --> {s1}	no
bbbab	False	no
bbb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
baabb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
abbaaba	False	no
bbabbb	False	no
bbba	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baa	False	no
aaababbaa	False	no
bbbbbba	False	no
abbaaababa	False	no
b	{s0},b --> {}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
b	{s0},b --> {}	no
abbaaa	False	no
aabbaaaab	False	no
babbbbaaa	False	no
babb	False	no
aabaababb	False	no
bba	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbbbabb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
bbbaaa	False	no
babbaaaa	False	no
ba	False	no
bababaa	False	no
bbb	False	no
b	{s0},b --> {}	no
bababbabb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babaa	False	no
bbb	False	no
bbb	False	no
babbbaabb	False	no
b	{s0},b --> {}	no
aabbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbbbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
babb	False	no
abababbb	False	no
bbaabb	False	no
bab	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaaaaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babbbaab	False	no
baabaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aaaabaabb	False	no
bbbbbbaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
aababbb	False	no
babbaaa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
baaba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaaabbaaaa	False	no
abaabbb	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
bbababa	False	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babaaaabaa	False	no
aaaaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bababaabbb	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
babbba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
babba	False	no
abaabbbaa	False	no
baabaa	False	no
bab	False	no
ababbbabb	False	no
abababa	False	no
baaaba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
ababb	False	no
aababaa	False	no
bb	False	no
aabbabaa	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbbbbabbab	False	no
a	{s0},a --> {s1}	no
bbabbaaaaa	False	no
abbbbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bba	False	no
aaaabbabba	False	no
baaababaab	False	no
bbbbabbaa	False	no
bbabb	False	no
abbaaaaab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bba	False	no
aababb	False	no
bb	False	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
aabbbbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
abbaaaba	False	no
ba	False	no
abbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbb	False	no
baaa	False	no
ba	False	no
a	{s0},a --> {s1}	no
bbabbaaba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
babbb	False	no
abababaa	False	no
abbaab	False	no
bab	False	no
baaababbaa	False	no
babaaba	False	no
bb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbabbaa	False	no
abbaaababb	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbbbabbaa	False	no
babbbbab	False	no
bbbb	False	no
bbbaab	False	no
abaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
bbbabbabab	False	no
babb	False	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
ba	False	no
bb	False	no
abbbabaaab	False	no
bbabbaab	False	no
abbbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bb	False	no
baabbaabbb	False	no
aaaaababbb	False	no
bbab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabaaaabbb	False	no
baaab	False	no
abbaaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
ba	False	no
baaabbbaa	False	no
aaabbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aababb	False	no
aaaaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbbbaabba	False	no
babbaba	False	no
a	{s0},a --> {s1}	no
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
babababbab	False	no
bbbbbbba	False	no
aaaabaaaab	False	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baaaaba	False	no
baabb	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbabab	False	no
b	{s0},b --> {}	no
baabbabb	False	no
aabbababaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaabba	False	no
abbaabb	False	no
abbabbb	False	no
babbababbb	False	no
aaabaaabb	False	no
bb	False	no
baaabb	False	no
abbabbaa	False	no
ababbaa	False	no
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaabb	False	no
abbbabaab	False	no
bbbaa	False	no
abaab	False	no
bbabbbaa	False	no
aaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bbbaab	False	no
abbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbba	False	no
ababbbb	False	no
abbaba	False	no
ba	False	no
abbaabaaa	False	no
bbaaaa	False	no
baa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
bbabbaab	False	no
ababa	False	no
a	{s0},a --> {s1}	no
bbbaa	False	no
bbbabbabbb	False	no
ababaaa	False	no
baa	False	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbbbba	False	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
baaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabaabbab	False	no
ababaaa	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bbabbb	False	no
baba	False	no
babbbbabb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaaaababbb	False	no
abbaababba	False	no
baba	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
abaaaaa	False	no
bbb	False	no
baaaabaa	False	no
abbbbabbba	False	no
ababbbbb	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
baa	False	no
bbbbbbaaba	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
abaabbb	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
abbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaababbaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbbbbaaa	False	no
a	{s0},a --> {s1}	no
baababbbaa	False	no
bbaaa	False	no
bb	False	no
aaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
abbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baabababb	False	no
babaabaab	False	no
aabbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
babab	False	no
ba	False	no
bbaba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bab	False	no
baabaaaaa	False	no
abaababbaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babbabbbba	False	no
aababaab	False	no
aabaab	False	no
bbbbabbbb	False	no
baaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aababaa	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
baaabaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbaa	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bababbbab	False	no
ba	False	no
bbbbabbba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
ba	False	no
abaab	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
baaabbbbba	False	no
a	{s0},a --> {s1}	no
abaaba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbbbabaab	False	no
ababbaaba	False	no
bab	False	no
ababbbbba	False	no
baabaaaa	False	no
bbabbbab	False	no
bbabbbb	False	no
ababba	False	no
ba	False	no
babbaaaab	False	no
ababa	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
babaaab	False	no
baaaaba	False	no
b	{s0},b --> {}	no
baaab	False	no
abaab	False	no
aaaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
babab	False	no
bbabaabba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baaaaaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
baaaabbbb	False	no
bbab	False	no
abaababb	False	no
bbbabba	False	no
babbbb	False	no
b	{s0},b --> {}	no
baa	False	no
ba	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bbb	False	no
ababab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
abaaaabbb	False	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
baa	False	no
bbbbbaaa	False	no
babababba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
babaaba	False	no
b	{s0},b --> {}	no
baaa	False	no
aabaabaa	False	no
baaa	False	no
bbbaaa	False	no
baaba	False	no
baababbb	False	no
a	{s0},a --> {s1}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbaba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbb	False	no
b	{s0},b --> {}	no
bab	False	no
ababa	False	no
baabbba	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaaaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbaa	False	no
bbab	False	no
bb	False	no
abaaabb	False	no
aaabbaba	False	no
baabbbbaa	False	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baabb	False	no
bbaaabbb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbbbbbabab	False	no
bbbbbbaa	False	no
bababba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
baabab	False	no
a	{s0},a --> {s1}	no
aaaabbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aababbb	False	no
ba	False	no
ba	False	no
abbbbabaaa	False	no
bbabbaab	False	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bb	False	no
bab	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
babba	False	no
bbbbbaa	False	no
ba	False	no
aabaaba	False	no
ababaabbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babb	False	no
baba	False	no
baabbb	False	no
abbaabbab	False	no
aaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
abbbbaaab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aabaaaba	False	no
ba	False	no
abaaabab	False	no
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
bbaa	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babab	False	no
aaabaab	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
babbbbb	False	no
baaabb	False	no
bbaaaa	False	no
ba	False	no
aaaabbabba	False	no
bbabaaba	False	no
b	{s0},b --> {}	no
abaabab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
abaaabba	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbbaa	False	no
aaaabbbaba	False	no
babaaaab	False	no
baaaabba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
babb	False	no
ababbb	False	no
bbbaba	False	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbabbbbba	False	no
bababa	False	no
babbb	False	no
babbbbbaa	False	no
bababbab	False	no
ba	False	no
babb	False	no
abbabaaa	False	no
a	{s0},a --> {s1}	no
baab	False	no
bbabbbaaa	False	no
abaabb	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
babba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babab	False	no
baa	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaaabaab	False	no
bbbabb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbaabbbb	False	no
abababba	False	no
bab	False	no
bbaaab	False	no
aaabaabbab	False	no
bb	False	no
baabaaba	False	no
babb	False	no
bbabaa	False	no
b	{s0},b --> {}	no
bbaaba	False	no
aabbaaaa	False	no
ba	False	no
b	{s0},b --> {}	no
babab	False	no
babbaabb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
baa	False	no
bababaab	False	no
bbaabaaba	False	no
babbabaaaa	False	no
babbabaa	False	no
bbab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
baabaaab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
abbabba	False	no
ba	False	no
a	{s0},a --> {s1}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bba	False	no
bbaa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
baa	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aabbaaabb	False	no
bbab	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbaa	False	no
abbabbbb	False	no
bababbbaaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aababaab	False	no
babbb	False	no
bababbba	False	no
baba	False	no
baa	False	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baaaab	False	no
babaaabaa	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aababbaaab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baabb	False	no
babbaba	False	no
aaaabaab	False	no
babaabaabb	False	no
babb	False	no
aaaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
ba	False	no
bbaa	False	no
ababbbaaaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbbaaaaa	False	no
baaaaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
babaaab	False	no
abaabababb	False	no
bbbaba	False	no
baabbaaa	False	no
bbbbaaba	False	no
baababbbaa	False	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babbaba	False	no
bbbaaab	False	no
bbabbabba	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
baba	False	no
baa	False	no
abbabbbb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bbbbaaab	False	no
babaabaabb	False	no
abbabab	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
baaabbabaa	False	no
babbbaab	False	no
abbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
babbaba	False	no
baaaa	False	no
bababbba	False	no
abbabbaaa	False	no
ba	False	no
babbabb	False	no
baa	False	no
abaabbba	False	no
aaaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaabaaaaa	False	no
abaabbbb	False	no
babba	False	no
baaa	False	no
a	{s0},a --> {s1}	no
baaabbbbaa	False	no
aaabaaabb	False	no
bbaabab	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
baaba	False	no
bbabaaaaaa	False	no
bb	False	no
bb	False	no
b	{s0},b --> {}	no
bbabaaa	False	no
ababb	False	no
abbbabb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbabbaa	False	no
bbabbbab	False	no
ba	False	no
ba	False	no
abbbaabaab	False	no
abbaaaa	False	no
b	{s0},b --> {}	no
aababab	False	no
bbbabbab	False	no
babbbbab	False	no
ba	False	no
baaaaa	False	no
bbbbbab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
babab	False	no
abaaabaaab	False	no
aababbba	False	no
bbb	False	no
b	{s0},b --> {}	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
babba	False	no
bb	False	no
aaababb	False	no
bbaa	False	no
baaab	False	no
bababbbab	False	no
bbbbaabaa	False	no
baa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
aaababb	False	no
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
abaababbbb	False	no
ababbbbba	False	no
abaaabaaba	False	no
bbaa	False	no
baaa	False	no
ba	False	no
bbbaaaabb	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aabbabbaba	False	no
bbbaabbaab	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
bb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
abababaa	False	no
bbbabb	False	no
bbaabbb	False	no
baaaaaab	False	no
bbaaaaa	False	no
babbbbb	False	no
bbba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babaabba	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abaabb	False	no
abbbabaaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babbba	False	no
babbaaa	False	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
baa	False	no
baa	False	no
baaba	False	no
aaabbbaaba	False	no
bbabaab	False	no
b	{s0},b --> {}	no
babaaa	False	no
a	{s0},a --> {s1}	no
abbbaba	False	no
abaabaaaaa	False	no
ababa	False	no
baaaababba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbabbbaaab	False	no
baabbabbab	False	no
b	{s0},b --> {}	no
bbabaa	False	no
babba	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baabbaba	False	no
bbabaab	False	no
abbabbb	False	no
bababbaaab	False	no
a	{s0},a --> {s1}	no
aabaaabb	False	no
ba	False	no
baba	False	no
bababbbaa	False	no
ababbab	False	no
bbaabbbaba	False	no
bbabb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
bbaaab	False	no
aaababaaaa	False	no
bbb	False	no
bbabbbaaab	False	no
bbabaaaba	False	no
bbbabab	False	no
ababaabbba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bba	False	no
baaabab	False	no
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbbabbaa	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbbaaaaa	False	no
baab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
bab	False	no
bb	False	no
abbbabbbaa	False	no
abbbabb	False	no
bbbbbaba	False	no
bba	False	no
baabbbbaab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbbbbaabbb	False	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
baaaaaaaa	False	no
ba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
baabbba	False	no
bb	False	no
b	{s0},b --> {}	no
abaaba	False	no
bbbbaaab	False	no
bbbaaab	False	no
bbbaa	False	no
aabbaaab	False	no
bab	False	no
aababaaaa	False	no
bb	False	no
bbb	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
ababbbaabb	False	no
baaaabb	False	no
baa	False	no
babaaaaa	False	no
aaaabbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aabaabbbb	False	no
bb	False	no
bbbbbaab	False	no
babbbb	False	no
bbba	False	no
abaaba	False	no
bbaaaaab	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
aabbaabbbb	False	no
abbabbbba	False	no
bb	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
ababbababa	False	no
abaabbabba	False	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
abbabaaba	False	no
bba	False	no
ba	False	no
baaabaaa	False	no
aaaaaabbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bba	False	no
bbbbbbb	False	no
a	{s0},a --> {s1}	no
ababbba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabababbb	False	no
bba	False	no
bbbaaaaaba	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
bbbbaaa	False	no
a	{s0},a --> {s1}	no
abaabbaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbaaab	False	no
a	{s0},a --> {s1}	no
bbbbb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bba	False	no
bbaba	False	no
ababb	False	no
bbb	False	no
bbbbaaaaa	False	no
bbaba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babbba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aabaabbb	False	no
bbbb	False	no
babbaba	False	no
bababaabaa	False	no
aabbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
b	{s0},b --> {}	no
baaa	False	no
baababaaba	False	no
bbb	False	no
b	{s0},b --> {}	no
abbabbbbb	False	no
babbbaabab	False	no
aaabbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbabaabaa	False	no
b	{s0},b --> {}	no
ba	False	no
bbaababaab	False	no
bbabbaa	False	no
bbaaabbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbaaaa	False	no
ba	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abbbbababa	False	no
aaaaaabbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aabaabbbaa	False	no
baa	False	no
bbbbab	False	no
baaabbaba	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
babaabaaab	False	no
aabaababba	False	no
abbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bababbbbaa	False	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbaba	False	no
a	{s0},a --> {s1}	no
bbabaab	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
ba	False	no
ababa	False	no
babaa	False	no
bb	False	no
bbb	False	no
b	{s0},b --> {}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbbb	False	no
ababbaaa	False	no
bbbaabaa	False	no
b	{s0},b --> {}	no
aabbbaaa	False	no
abbbaaba	False	no
aabbaba	False	no
babbaab	False	no
ababab	False	no
a	{s0},a --> {s1}	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
abababbbba	False	no
ababbb	False	no
b	{s0},b --> {}	no
ababaaab	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
babbabaaa	False	no
bb	False	no
bbbbbabbb	False	no
bbabbba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbab	False	no
abbbbabbab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbabbaaaba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abbbbbaaab	False	no
bb	False	no
abbbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
baaba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
babbaabb	False	no
a	{s0},a --> {s1}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aabaabbbab	False	no
abaaa	False	no
bbb	False	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babb	False	no
abbababa	False	no
bab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abbbabbbaa	False	no
abbababbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bb	False	no
babbbbbaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
b	{s0},b --> {}	no
babbbba	False	no
bababbbbaa	False	no
bbbabbaabb	False	no
ababb	False	no
abaaaabbab	False	no
baa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbab	False	no
bba	False	no
bbbabbbaa	False	no
a	{s0},a --> {s1}	no
bb	False	no
ababa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
bbbbaababa	False	no
aaabaabba	False	no
bb	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bb	False	no
babbab	False	no
abaabb	False	no
bab	False	no
abaaaab	False	no
bbaaaa	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babbbbabb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbbabaabbb	False	no
bbbb	False	no
ababbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
baabba	False	no
babaaaaabb	False	no
bb	False	no
baa	False	no
aaaabbbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baaabbaabb	False	no
baba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bba	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbb	False	no
abaaabaaaa	False	no
b	{s0},b --> {}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbbabbaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbabbba	False	no
bbaaabaaa	False	no
aabbbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bba	False	no
bbabb	False	no
baaabb	False	no
abaaabb	False	no
bababa	False	no
bbaabbbaa	False	no
baababbab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
babbba	False	no
abaabbaabb	False	no
bba	False	no
bba	False	no
baababbbba	False	no
bbaaabb	False	no
baababbbaa	False	no
aabaaabbbb	False	no
abbbbbabab	False	no
babbab	False	no
bbaaaaaaaa	False	no
abaabbbbba	False	no
a	{s0},a --> {s1}	no
bbb	False	no
bbbbbaa	False	no
babb	False	no
bbabbbab	False	no
a	{s0},a --> {s1}	no
babaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbba	False	no
ba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbaaabbab	False	no
b	{s0},b --> {}	no
aaaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abbbaaa	False	no
baaba	False	no
bababbbab	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
baaba	False	no
babababa	False	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
aaabbaabaa	False	no
abaaaababb	False	no
abaabbba	False	no
bbabbabaa	False	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baaa	False	no
aaaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
aababa	False	no
abbbaabbb	False	no
baabba	False	no
a	{s0},a --> {s1}	no
bb	False	no
bbbb	False	no
baaaaaba	False	no
bbbb	False	no
b	{s0},b --> {}	no
b	{s0},b --> {}	no
abaabaa	False	no
bbbbbb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bbaaab	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
aaababaa	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aabbabba	False	no
abaaabab	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
abbbbaab	False	no
ababbaa	False	no
abaabbaaba	False	no
aaaaaabbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bbba	False	no
bba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
babababb	False	no
baaab	False	no
ababbab	False	no
abaaabbb	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
baababba	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbababb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bbbbaa	False	no
abaaabbab	False	no
bbbbbab	False	no
babaaba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbaa	False	no
babbabbab	False	no
bbbabbba	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bb	False	no
bbba	False	no
b	{s0},b --> {}	no
ababa	False	no
abbabbbbb	False	no
bab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaaa	False	no
aababaa	False	no
a	{s0},a --> {s1}	no
aababbbba	False	no
baaabb	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
babbabba	False	no
bbb	False	no
aabbabbb	False	no
aaaabbaaba	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
babbaaaa	False	no
bbabaabbbb	False	no
a	{s0},a --> {s1}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
baaa	False	no
a	{s0},a --> {s1}	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
bbba	False	no
abbaaab	False	no
baaaaa	False	no
baaab	False	no
b	{s0},b --> {}	no
babaaabaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babbbabbb	False	no
bb	False	no
baaab	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aabaaabbb	False	no
baabbabaa	False	no
aaaaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bb	False	no
baa	False	no
a	{s0},a --> {s1}	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
abbbaba	False	no
bb	False	no
aababbbba	False	no
bbbbbba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abaabbbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabaab	False	no
bbabbbb	False	no
abbbaabaaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
baba	False	no
bbab	False	no
bb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbabb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bba	False	no
a	{s0},a --> {s1}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
baaabbabbb	False	no
babab	False	no
bbaaababba	False	no
bbbabaa	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
aabaaabbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
bbaabbbaaa	False	no
bb	False	no
babaabbbab	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
b	{s0},b --> {}	no
b	{s0},b --> {}	no
bbaabaaaa	False	no
aabbbabbb	False	no
bbaba	False	no
abbaaaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
ababbab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
ba	False	no
aabbabbb	False	no
baabbaaabb	False	no
bbbbbbaba	False	no
abaaabaa	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
ba	False	no
babbaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bbba	False	no
bababbbbba	False	no
bbbba	False	no
babbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbbaaaa	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
ba	False	no
a	{s0},a --> {s1}	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
abbaab	False	no
ababbabbaa	False	no
aabaaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babab	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
babb	False	no
baa	False	no
bbbaba	False	no
babaa	False	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baa	False	no
b	{s0},b --> {}	no
baba	False	no
bbaaba	False	no
baaabbbb	False	no
aaaababa	False	no
babab	False	no
ababb	False	no
aaababa	False	no
abaabbb	False	no
babbaaaa	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaaabbaaab	False	no
bbbab	False	no
bbbbbaab	False	no
abaaaaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbbbbbbbb	False	no
aabaaaaaa	False	no
aabbaaba	False	no
abaabbaaa	False	no
bbbabbbbab	False	no
baaa	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
baaaa	False	no
bbbaba	False	no
bbaabaab	False	no
abbabbabb	False	no
baaabaa	False	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbbaabab	False	no
bbbaa	False	no
bba	False	no
bbbbbaaaaa	False	no
baaab	False	no
ababbba	False	no
abaab	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
bbb	False	no
bbaabbb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
babbb	False	no
ababba	False	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
babbaaaaab	False	no
a	{s0},a --> {s1}	no
baaaaab	False	no
abbbbabba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaaaabaaab	False	no
bbb	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbbab	False	no
baba	False	no
bababba	False	no
bbb	False	no
babaabba	False	no
baaaba	False	no
baaababbab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbabaab	False	no
bb	False	no
a	{s0},a --> {s1}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbbbbbaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
baab	False	no
bbab	False	no
aaababa	False	no
baba	False	no
bab	False	no
aaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbba	False	no
b	{s0},b --> {}	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
bbbabaabbb	False	no
ba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbbaab	False	no
ba	False	no
aaabbbbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbaaaaab	False	no
baaba	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbab	False	no
baaaaaa	False	no
bb	False	no
babbabbaba	False	no
babbaaaab	False	no
bab	False	no
baa	False	no
ba	False	no
abbaab	False	no
bababb	False	no
babbaabbbb	False	no
bbbbbabbba	False	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aabbaaab	False	no
bababa	False	no
ba	False	no
bababaaaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abababbab	False	no
a	{s0},a --> {s1}	no
bbbabaa	False	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
bababb	False	no
a	{s0},a --> {s1}	no
bbba	False	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaaababaa	False	no
a	{s0},a --> {s1}	no
bbaaaaaaa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
babaaa	False	no
b	{s0},b --> {}	no
baab	False	no
b	{s0},b --> {}	no
bbaaabaa	False	no
abbbbaba	False	no
babb	False	no
babbabbba	False	no
baabbaaa	False	no
bbaa	False	no
bbaa	False	no
baaa	False	no
abbaaabb	False	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
abaaa	False	no
baabbaaab	False	no
aabaaaaaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabaaab	False	no
ababbab	False	no
bbabbaab	False	no
abaaabb	False	no
ba	False	no
babaaabba	False	no
a	{s0},a --> {s1}	no
aaaaabbabb	False	no
bbaaba	False	no
b	{s0},b --> {}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bba	False	no
a	{s0},a --> {s1}	no
baaaa	False	no
baab	False	no
abbabbbab	False	no
ba	False	no
bbabaa	False	no
baaababbb	False	no
baabbaa	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bababbbbb	False	no
bb	False	no
babb	False	no
abaabaabbb	False	no
baaabb	False	no
aababbbba	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
baa	False	no
abaab	False	no
bbabbaaabb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaaabbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbbbababb	False	no
aabaaba	False	no
bbaba	False	no
bbaabaa	False	no
aaabaab	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
abaaaabba	False	no
bbaaabaa	False	no
a	{s0},a --> {s1}	no
aababbabb	False	no
bbaaabab	False	no
bbbaaaba	False	no
abbbaab	False	no
abaaa	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aaabbababb	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbababba	False	no
bbbaab	False	no
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aabaaa	False	no
bb	False	no
babbbbba	False	no
abbbbabaaa	False	no
baa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
baaabba	False	no
bbb	False	no
abaabb	False	no
ababa	False	no
bbbaaababb	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bb	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaabb	False	no
aababa	False	no
ba	False	no
bb	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bababbaa	False	no
baabaaaab	False	no
baba	False	no
babb	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
ba	False	no
bbabaabba	False	no
bbbaaabab	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
bbbabb	False	no
abaab	False	no
abbbabbb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
ababbaaaaa	False	no
bb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aaabaaaabb	False	no
abbbaaaaa	False	no
a	{s0},a --> {s1}	no
bbab	False	no
bbba	False	no
abaab	False	no
baaaa	False	no
ababa	False	no
bbabb	False	no
bbaaba	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abaaabaaa	False	no
baabbabb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbabbaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bababbab	False	no
babbbbaa	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbbbbab	False	no
abbaabaaba	False	no
baaaabbba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbabaaa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbbbaa	False	no
aabbbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
babaaa	False	no
a	{s0},a --> {s1}	no
bbaaa	False	no
abaabaaa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
babbaaa	False	no
aaabbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abaabbba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aaaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbaaaaabbb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abbabab	False	no
b	{s0},b --> {}	no
babbb	False	no
aabbabaabb	False	no
ba	False	no
bbabab	False	no
a	{s0},a --> {s1}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbbbaabbb	False	no
aabaabbbb	False	no
b	{s0},b --> {}	no
baabaababa	False	no
aaababab	False	no
bbbbabbba	False	no
bbaaba	False	no
abbbaabaa	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
baa	False	no
aababaaba	False	no
bab	False	no
a	{s0},a --> {s1}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abaabaaa	False	no
bbbaba	False	no
b	{s0},b --> {}	no
ababaababa	False	no
b	{s0},b --> {}	no
b	{s0},b --> {}	no
ababaabb	False	no
bbbbaa	False	no
ba	False	no
bbaabbbab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
babbb	False	no
bbb	False	no
bbbbba	False	no
b	{s0},b --> {}	no
bbbbab	False	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbbbbabba	False	no
ba	False	no
babaab	False	no
bbbbbbaa	False	no
baa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
aaaaabaaa	False	no
baa	False	no
bababaaba	False	no
bbabaabbb	False	no
aababbabab	False	no
aabababaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
bbabbbaaba	False	no
babbbbbaa	False	no
ababbab	False	no
ba	False	no
babbaaaaab	False	no
ababbbbba	False	no
bab	False	no
aaaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bababbabbb	False	no
bbabba	False	no
aababbab	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
bab	False	no
a	{s0},a --> {s1}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbaaa	False	no
babaabaa	False	no
aababbbb	False	no
ababba	False	no
babaab	False	no
abababa	False	no
abaab	False	no
a	{s0},a --> {s1}	no
bbbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabb	False	no
bb	False	no
a	{s0},a --> {s1}	no
bbaa	False	no
bb	False	no
abaaabbbaa	False	no
bbababbaab	False	no
b	{s0},b --> {}	no
bbbb	False	no
bbba	False	no
abaabbaaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabaabbaaa	False	no
baabaaa	False	no
babbbbbbb	False	no
bbbaab	False	no
abaaabb	False	no
bababaa	False	no
baaaaa	False	no
b	{s0},b --> {}	no
baaaa	False	no
bab	False	no
baba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bba	False	no
baabbaabb	False	no
baababbb	False	no
bbabaab	False	no
bba	False	no
bbaaaaa	False	no
babbbab	False	no
abbaababb	False	no
bbba	False	no
aabaabaab	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
baabaaaab	False	no
aababaabab	False	no
ababbbba	False	no
bbab	False	no
aabbbbabb	False	no
babaaa	False	no
bbababbbab	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbbbbbabbb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babab	False	no
a	{s0},a --> {s1}	no
aababbb	False	no
baa	False	no
bba	False	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
bbababb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abbbabbb	False	no
bbba	False	no
ababbab	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bba	False	no
ababaaa	False	no
abaabbabab	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
baaaaab	False	no
baabbbba	False	no
bbaaabaa	False	no
bbabba	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbbabaaba	False	no
bbbbbb	False	no
aabaaab	False	no
bbaaaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
baabbb	False	no
bbb	False	no
bbababbaab	False	no
aabbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaababa	False	no
bab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
babaaaaa	False	no
ababababa	False	no
aaabbbbbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbabbabb	False	no
aabaaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bababba	False	no
aababba	False	no
bbbaaaba	False	no
babaa	False	no
bbabbbaba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbababaa	False	no
babaabb	False	no
abaabab	False	no
bbbbababa	False	no
baaabb	False	no
ba	False	no
babbab	False	no
baaabbb	False	no
ba	False	no
aabaabb	False	no
a	{s0},a --> {s1}	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
ba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbaaaaa	False	no
bbbabb	False	no
ba	False	no
aabbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
baababaab	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
ba	False	no
aaabaaba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
babab	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbb	False	no
bbbaabaa	False	no
bbaaabbaab	False	no
bb	False	no
aaaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bba	False	no
baab	False	no
bbbb	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbbb	False	no
ababaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
ababaa	False	no
babbbbba	False	no
a	{s0},a --> {s1}	no
baaabbb	False	no
bbbbbaab	False	no
ba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbabbaa	False	no
aaabaaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
aabbabaa	False	no
bbaba	False	no
abaabbbbba	False	no
aaabbbaab	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
babab	False	no
babab	False	no
babaab	False	no
baaabaab	False	no
aabbaaab	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
abbbbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaaabbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bbbb	False	no
bba	False	no
bbbaa	False	no
bbabbbb	False	no
bbb	False	no
bbabaaa	False	no
abbbaabaab	False	no
bbabb	False	no
baaabaaaaa	False	no
ba	False	no
bbbaaaaaa	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
aaaabbbbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbbbbbb	False	no
baabaab	False	no
ba	False	no
babbb	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
baba	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bba	False	no
babbbaaa	False	no
b	{s0},b --> {}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbbbb	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
abaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabbbaaa	False	no
baa	False	no
babababb	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
aaaabbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbabbaab	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babbbbbaaa	False	no
baabbaabb	False	no
bab	False	no
aaaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
baa	False	no
bbaaaab	False	no
bbaaaabaa	False	no
baabbbb	False	no
bababbabb	False	no
baa	False	no
a	{s0},a --> {s1}	no
abbaabbbbb	False	no
bbaa	False	no
bbbaababbb	False	no
bab	False	no
abbbbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bb	False	no
bb	False	no
bbbaababbb	False	no
bb	False	no
b	{s0},b --> {}	no
aabbbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
ababbabaa	False	no
a	{s0},a --> {s1}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbabbba	False	no
babababb	False	no
bbaababaa	False	no
abaaaaaaba	False	no
bbbba	False	no
b	{s0},b --> {}	no
ba	False	no
babbbabb	False	no
abaaaab	False	no
babb	False	no
bbbaaaaabb	False	no
abbaaa	False	no
b	{s0},b --> {}	no
aaabbbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abbababb	False	no
abbbbbbaba	False	no
aababa	False	no
baa	False	no
abbbaaabbb	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbbbaab	False	no
babbb	False	no
bba	False	no
bbbbbbba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
baaaabbbaa	False	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbaaba	False	no
abbbbabaaa	False	no
baaaaba	False	no
bba	False	no
aaabaabaa	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
aababb	False	no
abaababa	False	no
bb	False	no
aabbaaabb	False	no
babbbaaaba	False	no
b	{s0},b --> {}	no
baabbb	False	no
aaaabbbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
ababbbbbab	False	no
b	{s0},b --> {}	no
bbbbabbbb	False	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbabbb	False	no
b	{s0},b --> {}	no
abaaabaab	False	no
baaababaaa	False	no
ba	False	no
bab	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aaaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babaaaa	False	no
babb	False	no
a	{s0},a --> {s1}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbabababb	False	no
bbabbbaa	False	no
bbaaaabbb	False	no
ba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baaaba	False	no
bbbba	False	no
baab	False	no
aabaabab	False	no
bb	False	no
aabaaa	False	no
aabbaabaa	False	no
abbbaba	False	no
aaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
ababb	False	no
bba	False	no
babbbaaaaa	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
baaaaaabb	False	no
bbbbb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
baba	False	no
bbabb	False	no
baaaab	False	no
baaaaaa	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aababbabba	False	no
baaaaabba	False	no
babbbaab	False	no
b	{s0},b --> {}	no
aabbabbbaa	False	no
aaaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baaba	False	no
abbbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baba	False	no
bbababbba	False	no
babbaabaab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
b	{s0},b --> {}	no
babababbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
baabbaaaba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaababa	False	no
babbbbab	False	no
babab	False	no
b	{s0},b --> {}	no
babbbbabb	False	no
bb	False	no
abaab	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
baababb	False	no
abaaababba	False	no
abaaa	False	no
bab	False	no
bbab	False	no
b	{s0},b --> {}	no
babaa	False	no
baababab	False	no
aababba	False	no
baabaa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
babaabaaba	False	no
baababab	False	no
abbbabbbaa	False	no
bba	False	no
babbbaaaa	False	no
aaaaabaaa	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bba	False	no
baababbab	False	no
babaaaa	False	no
aabbbbaab	False	no
baa	False	no
baba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbbaaba	False	no
ababb	False	no
babab	False	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbb	False	no
a	{s0},a --> {s1}	no
baabbaa	False	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bbb	False	no
babbaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abaaaaabbb	False	no
aababaa	False	no
aaaaabaab	False	no
babbb	False	no
bbaabb	False	no
bbaaba	False	no
bababbb	False	no
abbaba	False	no
babbaabbaa	False	no
abbbbbbaba	False	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bbbb	False	no
bbb	False	no
babbbbaab	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abaababaa	False	no
bba	False	no
baaaaab	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbb	False	no
aabababb	False	no
baaa	False	no
bb	False	no
baa	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
bbbaabbaba	False	no
aabbaaa	False	no
baba	False	no
ba	False	no
b	{s0},b --> {}	no
babb	False	no
aaaabbaaab	False	no
babbbb	False	no
ba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
ababbaa	False	no
bbbbbaa	False	no
bbbababaab	False	no
abaaabaa	False	no
baaa	False	no
aaaabaaa	False	no
baba	False	no
bb	False	no
aaaabaaa	False	no
bab	False	no
bbaab	False	no
bbba	False	no
baa	False	no
ba	False	no
abbaabba	False	no
a	{s0},a --> {s1}	no
aababaaba	False	no
babbabbb	False	no
bb	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbbabbaa	False	no
bbaaaa	False	no
abbaaaaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
ba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabbbabab	False	no
abbaaa	False	no
aabbbbaaab	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abaabaa	False	no
bbbbaa	False	no
abbaabba	False	no
baba	False	no
baa	False	no
bbaaaaaaa	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbbba	False	no
bababbaa	False	no
babbbaa	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
bbababa	False	no
bbbaaaaaaa	False	no
bbabaabaaa	False	no
abbbaababb	False	no
ababbba	False	no
bbab	False	no
baabbaaaaa	False	no
baa	False	no
baa	False	no
babbaaba	False	no
aabbaab	False	no
bab	False	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baaababbb	False	no
babb	False	no
baabbaaab	False	no
aabbaaaa	False	no
ba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bb	False	no
baab	False	no
abbabbbaba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
baababbabb	False	no
abbbbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
abbabb	False	no
bbbbbab	False	no
baaabaaab	False	no
a	{s0},a --> {s1}	no
bb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
aabbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbbbabaa	False	no
babaabbbba	False	no
baaaba	False	no
bababbbaab	False	no
aaaaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
bbbababbb	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
aaababbbba	False	no
b	{s0},b --> {}	no
aabaababb	False	no
aaaababaa	False	no
ba	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
baaba	False	no
bbbabbbbba	False	no
baababaa	False	no
abbaabaa	False	no
abbaabaaaa	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbaaaba	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
bababaa	False	no
bababbbbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbabaabb	False	no
aabaaa	False	no
bbbaa	False	no
b	{s0},b --> {}	no
babaabbaa	False	no
bbbbabbaa	False	no
abbabaab	False	no
bb	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbabb	False	no
bba	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
ababaabbaa	False	no
ababababa	False	no
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bab	False	no
baabaaaab	False	no
aababbbbba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abbbaaa	False	no
ba	False	no
ba	False	no
b	{s0},b --> {}	no
abbaaba	False	no
babbabab	False	no
a	{s0},a --> {s1}	no
aababaaa	False	no
bba	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
bababbb	False	no
aababa	False	no
baaabaa	False	no
abbaaaabab	False	no
bbabababbb	False	no
aabababa	False	no
ba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbb	False	no
ba	False	no
bbababaabb	False	no
babaab	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
baab	False	no
abaaabaaaa	False	no
babbaa	False	no
bbabaaaaa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
babb	False	no
aababbba	False	no
aabbaaab	False	no
bbaaaa	False	no
bbaaabb	False	no
babba	False	no
babbb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbbaaabb	False	no
aaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
baa	False	no
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaabaab	False	no
abbbaaba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abbbbaab	False	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babbaabba	False	no
ababbbb	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbabb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbbbaabaa	False	no
babbaabaab	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
babbb	False	no
babbbabaa	False	no
bbabbbb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbababbb	False	no
ababab	False	no
babaaabb	False	no
bbaa	False	no
babaabaab	False	no
aabaaa	False	no
ababbaaaba	False	no
baabb	False	no
b	{s0},b --> {}	no
bbaabb	False	no
babaabaa	False	no
abbbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
a	{s0},a --> {s1}	no
baaa	False	no
baa	False	no
bbbbbaabb	False	no
abaaaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abaaa	False	no
bababab	False	no
abaaa	False	no
bbaaaabba	False	no
abaaab	False	no
bbabbbabaa	False	no
a	{s0},a --> {s1}	no
baaaabba	False	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
bba	False	no
aababbbab	False	no
baa	False	no
bbbabaab	False	no
abbbaabb	False	no
babaa	False	no
bbabbbabb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbb	False	no
baabbaaaab	False	no
ababbbbbb	False	no
aaababa	False	no
ba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbabbaa	False	no
a	{s0},a --> {s1}	no
bbaaab	False	no
aabbabbaab	False	no
abaabbba	False	no
babbaabb	False	no
baabbab	False	no
bbaabaabaa	False	no
babb	False	no
ababbaaba	False	no
bbaaba	False	no
abaaaaaa	False	no
abbaaa	False	no
bbbaba	False	no
aabaabaaba	False	no
babbba	False	no
b	{s0},b --> {}	no
bab	False	no
ba	False	no
aabbbbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aaabaabb	False	no
bbaaabbaba	False	no
bbbabaab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aaabbabb	False	no
ba	False	no
abaab	False	no
baba	False	no
bab	False	no
ababbab	False	no
aaaababaab	False	no
abbbbaaaa	False	no
babbbbaab	False	no
bbaabb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bbbaba	False	no
aaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
b	{s0},b --> {}	no
abbabaab	False	no
bbbabbb	False	no
aaabababa	False	no
baabb	False	no
baabb	False	no
aaaaababa	False	no
abbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbbbaaaa	False	no
baa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
babaa	False	no
bbbbb	False	no
babbbbaa	False	no
abaababaa	False	no
abbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbaaa	False	no
a	{s0},a --> {s1}	no
bbbbaba	False	no
a	{s0},a --> {s1}	no
bababbaa	False	no
baab	False	no
a	{s0},a --> {s1}	no
bbaa	False	no
bbbbbbbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbaa	False	no
bbab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaabbb	False	no
bbbaab	False	no
bbbbb	False	no
ba	False	no
bbbaba	False	no
baabb	False	no
abbbabbb	False	no
abbabaaa	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
baa	False	no
babbabaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abaaaabb	False	no
b	{s0},b --> {}	no
babba	False	no
aabbababaa	False	no
ababbbba	False	no
aabaaaaaa	False	no
bbbaaaaab	False	no
babbbb	False	no
abbabbabba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
baabaaaba	False	no
abaabaaabb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babaaba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
ba	False	no
aaabbabbb	False	no
b	{s0},b --> {}	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbaaaababa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbab	False	no
babbbb	False	no
aabaab	False	no
bbbaaaba	False	no
b	{s0},b --> {}	no
aabbabab	False	no
ababbaa	False	no
bbab	False	no
babbbaaaa	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
ababa	False	no
bb	False	no
baabbbbb	False	no
a	{s0},a --> {s1}	no
babbbababb	False	no
aabbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
ababaa	False	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbbabab	False	no
baababab	False	no
aababaaa	False	no
babbababb	False	no
a	{s0},a --> {s1}	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
baab	False	no
b	{s0},b --> {}	no
aaabaaa	False	no
ba	False	no
abbbabbaaa	False	no
bbababa	False	no
a	{s0},a --> {s1}	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbaab	False	no
b	{s0},b --> {}	no
bb	False	no
abaaaabbaa	False	no
baaa	False	no
babbaa	False	no
a	{s0},a --> {s1}	no
bbb	False	no
bababbabb	False	no
babab	False	no
bbaaabbabb	False	no
bbbabbaaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabaaabbaa	False	no
baaba	False	no
babbbaaaab	False	no
abbaabbbab	False	no
bba	False	no
bbababbaab	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbabaaa	False	no
bbbb	False	no
babab	False	no
bb	False	no
babbaaa	False	no
bbabbbbab	False	no
abbbaaab	False	no
aabbaababa	False	no
a	{s0},a --> {s1}	no
bbbabbaba	False	no
aaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
b	{s0},b --> {}	no
baa	False	no
bbbbbbaaba	False	no
bbabbbba	False	no
a	{s0},a --> {s1}	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aabbaaaaaa	False	no
a	{s0},a --> {s1}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbaab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abbaba	False	no
bbbaabaab	False	no
a	{s0},a --> {s1}	no
abaaababaa	False	no
ba	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
ababaabbaa	False	no
bbabbbba	False	no
abaab	False	no
ba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
abbabbaaaa	False	no
a	{s0},a --> {s1}	no
bbbbaaaab	False	no
bab	False	no
ba	False	no
bb	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aabbbabbba	False	no
ababaaaaab	False	no
ababababb	False	no
aaabaabbbb	False	no
baaaaa	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
baabbbabbb	False	no
baaa	False	no
abaababaa	False	no
baa	False	no
aaaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aababb	False	no
baa	False	no
babbab	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abababbaab	False	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babbaabab	False	no
abbabbaa	False	no
bbbbaabbba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bbbbb	False	no
bbbabbbbb	False	no
ababbbbba	False	no
baaa	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baa	False	no
bbb	False	no
aabbaaaba	False	no
a	{s0},a --> {s1}	no
babababbbb	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
baaaaabbb	False	no
aaaabbaaa	False	no
abbaab	False	no
b	{s0},b --> {}	no
baabababba	False	no
ba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baba	False	no
bab	False	no
baa	False	no
abaaa	False	no
bba	False	no
abaabaabb	False	no
bbbbbbaabb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
abbaabbaba	False	no
b	{s0},b --> {}	no
bababa	False	no
abaaaaaaa	False	no
bbbbaabba	False	no
baab	False	no
bbaaa	False	no
babbaa	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aabbbaaa	False	no
babaabbb	False	no
abbabbab	False	no
baabbab	False	no
ababaab	False	no
bbbab	False	no
abbaaba	False	no
a	{s0},a --> {s1}	no
baaaaaaba	False	no
aabbaaabb	False	no
bababbba	False	no
baaab	False	no
baabab	False	no
babaababb	False	no
bbabb	False	no
aababb	False	no
bbbaabaa	False	no
a	{s0},a --> {s1}	no
bbab	False	no
abaaaa	False	no
a	{s0},a --> {s1}	no
aabbabb	False	no
aabaabaaa	False	no
b	{s0},b --> {}	no
aaaabababa	False	no
bbba	False	no
bbbbba	False	no
ababa	False	no
baa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
ababaab	False	no
baaabba	False	no
bbaa	False	no
bababbbab	False	no
bbbbabbbba	False	no
baaaa	False	no
ba	False	no
abbabaaaab	False	no
abaaaba	False	no
baaabb	False	no
a	{s0},a --> {s1}	no
aaaababa	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbaabab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babb	False	no
aabaaa	False	no
abbaaabb	False	no
b	{s0},b --> {}	no
bbb	False	no
bbaaba	False	no
abaaabaaa	False	no
bb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baabb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
babbbabaa	False	no
baabbaaaab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baabbbb	False	no
abaaaa	False	no
baba	False	no
abbabbbaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbabbbabaa	False	no
bbabbabbb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
ba	False	no
bbaaa	False	no
baba	False	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bb	False	no
baabbb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbabab	False	no
abbaabbbba	False	no
b	{s0},b --> {}	no
bb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babbabaa	False	no
abbbbaaa	False	no
aababbab	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
ababaa	False	no
bbbbbbbab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baabbbba	False	no
baaaabab	False	no
ababbaa	False	no
aabaaaab	False	no
abaaba	False	no
aaabbbabaa	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baba	False	no
a	{s0},a --> {s1}	no
aaabbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aabbbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
babba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbbbba	False	no
baaba	False	no
a	{s0},a --> {s1}	no
baaaa	False	no
baaaabaaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bb	False	no
bbbbabbaab	False	no
bb	False	no
bbabb	False	no
baa	False	no
aabaaa	False	no
baabbabbb	False	no
a	{s0},a --> {s1}	no
babbbbabab	False	no
bababbaa	False	no
bbabaaba	False	no
baaaaaba	False	no
abaaaab	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
aabbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbbaabbbab	False	no
ababbbb	False	no
bbbab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abbabb	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
ababaabb	False	no
a	{s0},a --> {s1}	no
baa	False	no
abbbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bababa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaaababab	False	no
abbabbbab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baabb	False	no
babaab	False	no
baaab	False	no
babb	False	no
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
bb	False	no
bbaa	False	no
bababaabaa	False	no
a	{s0},a --> {s1}	no
babbbbbaa	False	no
a	{s0},a --> {s1}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aaabbbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abbaba	False	no
abaabbaaab	False	no
bbaaabab	False	no
b	{s0},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbb	False	no
baba	False	no
ba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
baaababbaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baa	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
babbab	False	no
a	{s0},a --> {s1}	no
bb	False	no
babaaa	False	no
baba	False	no
abbbaaaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
ababbbb	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
baaabbaaba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
ba	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bbab	False	no
babbabab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
babbbabb	False	no
baaabbab	False	no
bbbab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbabaabaaa	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bba	False	no
bbaabaa	False	no
babaaa	False	no
ababaab	False	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
abaaaab	False	no
abbabbb	False	no
bbab	False	no
baabb	False	no
bb	False	no
ba	False	no
aaaabaaa	False	no
baabbaaa	False	no
bbaba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabaaa	False	no
ba	False	no
aabaaaabba	False	no
b	{s0},b --> {}	no
abbbbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbbababbb	False	no
bbbaaaaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaaab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babb	False	no
bbaabbaba	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbaaabab	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
bbbbbbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbaba	False	no
bbbab	False	no
ba	False	no
baaaabbbba	False	no
a	{s0},a --> {s1}	no
baba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
babaab	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
baababa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abbbbaabbb	False	no
bbaabbb	False	no
aabbaab	False	no
babababaaa	False	no
bbbababa	False	no
bbbbbbabbb	False	no
aaaabababa	False	no
b	{s0},b --> {}	no
bbaabbbaa	False	no
bababba	False	no
ababbabb	False	no
aaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbbb	False	no
a	{s0},a --> {s1}	no
baabaaabb	False	no
a	{s0},a --> {s1}	no
bbbbbaabab	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbaaa	False	no
aaabbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaabababb	False	no
b	{s0},b --> {}	no
bbabbb	False	no
baaaaabab	False	no
babb	False	no
bbababb	False	no
ba	False	no
ababbabbaa	False	no
bababbb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
baaaa	False	no
bbab	False	no
abbabaa	False	no
ababbaaab	False	no
bbbab	False	no
bbabbaab	False	no
a	{s0},a --> {s1}	no
aabaaabaa	False	no
bbbaaa	False	no
a	{s0},a --> {s1}	no
aaabbbbabb	False	no
aaabbbaaa	False	no
bababaab	False	no
aaaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbbababaa	False	no
bbbabaaa	False	no
baabbbbaaa	False	no
aababb	False	no
bba	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
ababaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aababba	False	no
bba	False	no
bbbbba	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
baaaabb	False	no
aabababab	False	no
aababb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
baaaababa	False	no
bbabba	False	no
baab	False	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
bbbba	False	no
bbbbbbbabb	False	no
b	{s0},b --> {}	no
ababaaaaa	False	no
bbbabbb	False	no
a	{s0},a --> {s1}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bab	False	no
bbaaaab	False	no
aaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baabbaab	False	no
bbaabbbba	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
babbba	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
a	{s0},a --> {s1}	no
babaabba	False	no
baa	False	no
ba	False	no
abaabb	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
a	{s0},a --> {s1}	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bb	False	no
abbbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbba	False	no
aaabbbbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aabaabbaa	False	no
baababa	False	no
abaabaaa	False	no
baba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
babbb	False	no
bbaabaaba	False	no
bbababaaba	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbbbbbab	False	no
aaabbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
baa	False	no
abbaaaabaa	False	no
ababbbaba	False	no
babbabaa	False	no
babb	False	no
abbabaab	False	no
a	{s0},a --> {s1}	no
baabbba	False	no
ba	False	no
aababaabab	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaabaaaaa	False	no
aababbaaba	False	no
a	{s0},a --> {s1}	no
ba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbab	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
baaaab	False	no
aaaaabbbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bbaabaa	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
babbbaa	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
baabb	False	no
ba	False	no
abbabba	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
babba	False	no
bb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
aaaabbbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bba	False	no
baa	False	no
bbaababaaa	False	no
bababbbaa	False	no
bbbababba	False	no
abababbb	False	no
babababbba	False	no
a	{s0},a --> {s1}	no
bbbbaaabbb	False	no
bbbbbb	False	no
ba	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aaaababbb	False	no
a	{s0},a --> {s1}	no
bb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabaaaaaa	False	no
bbbbabaa	False	no
a	{s0},a --> {s1}	no
babaab	False	no
baba	False	no
b	{s0},b --> {}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
babaabba	False	no
abaab	False	no
abbabab	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baaabbbab	False	no
baaabbb	False	no
bb	False	no
aaabaaaba	False	no
ababaabbb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
bababbb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
abbbaa	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaabababa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbabaabbb	False	no
bbbaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
abaabbba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
bbbabaabb	False	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
abbbbbabb	False	no
aaabbabbab	False	no
bbbaba	False	no
bbbabbbba	False	no
abbbabab	False	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
abaaabaa	False	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aabbbababb	False	no
aabaaaaab	False	no
bbbbababa	False	no
bbaab	False	no
bababa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
baababbaab	False	no
ba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
baaba	False	no
baaaab	False	no
babbabbaa	False	no
bbbbaba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
babaaaaba	False	no
babb	False	no
a	{s0},a --> {s1}	no
babbb	False	no
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
abbaaa	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
abaaaaabba	False	no
babab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbaabaaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaababaa	False	no
bbaaaaa	False	no
bbaabb	False	no
bbaabb	False	no
bbbb	False	no
baaaaaaba	False	no
abaabaaa	False	no
abbababab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
babbb	False	no
bbbbbabbaa	False	no
b	{s0},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abaaba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
baabaab	False	no
abababaa	False	no
bbbabbb	False	no
abaabaaa	False	no
aabaabba	False	no
aabbbbaaab	False	no
aaabababa	False	no
baa	False	no
ababbbba	False	no
aababbba	False	no
baababbba	False	no
bbbba	False	no
baabbaaab	False	no
baaaaaba	False	no
aabbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
bbabb	False	no
aabbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbb	False	no
bbaab	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aabbababa	False	no
aabbbbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
baa	False	no
aaaababab	False	no
bbbbaaaabb	False	no
baab	False	no
aabbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
babb	False	no
bbbbbbaab	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbbbbbbb	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
baaaaabbaa	False	no
ababbab	False	no
bb	False	no
abaaaa	False	no
bbab	False	no
b	{s0},b --> {}	no
baabbababa	False	no
babbaaabbb	False	no
baabba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bb	False	no
baaabab	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbbbbaabbb	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
baaabbab	False	no
abaaababa	False	no
baa	False	no
bbba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bab	False	no
abbaaabba	False	no
b	{s0},b --> {}	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbbbabbb	False	no
aabaaab	False	no
aabaaaaba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bbaab	False	no
babaa	False	no
b	{s0},b --> {}	no
bbb	False	no
b	{s0},b --> {}	no
babab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
abbaaaaa	False	no
b	{s0},b --> {}	no
bbaaa	False	no
abbabb	False	no
baab	False	no
bb	False	no
baaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
bbbba	False	no
aababb	False	no
abbbbbbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbaba	False	no
abbbaabaaa	False	no
baabb	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
babbbb	False	no
babaa	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
ba	False	no
babbab	False	no
abaabbba	False	no
bab	False	no
aabaabb	False	no
baababbab	False	no
abbbaba	False	no
ababb	False	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
ababbaaaab	False	no
baba	False	no
bbaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aabbabbbbb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babbb	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
bbaa	False	no
b	{s0},b --> {}	no
abbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbbababa	False	no
bba	False	no
b	{s0},b --> {}	no
bbababb	False	no
baaaa	False	no
babb	False	no
aabbabb	False	no
abaaababa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abbababbaa	False	no
b	{s0},b --> {}	no
aaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbbaaa	False	no
bbbbba	False	no
aabbabbba	False	no
babaa	False	no
ababba	False	no
abbbabaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
babba	False	no
bbaaaab	False	no
babbbaba	False	no
bbaabbaa	False	no
babaaa	False	no
bbbabaaaa	False	no
b	{s0},b --> {}	no
bbaaababa	False	no
baaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abaaaba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
b	{s0},b --> {}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbbbaabbaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
bab	False	no
babababbaa	False	no
a	{s0},a --> {s1}	no
bab	False	no
bba	False	no
aabababa	False	no
bbbbabbaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
bba	False	no
bab	False	no
aabbabb	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
aaabbaaab	False	no
bba	False	no
abbbbabb	False	no
bbbaaa	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
ababbba	False	no
bbba	False	no
abbbaab	False	no
abbaaba	False	no
bab	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abbbaaab	False	no
aaababbb	False	no
abababbb	False	no
bbbabaab	False	no
bbbb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbabbaa	False	no
aabaabb	False	no
abababa	False	no
bbbbba	False	no
bb	False	no
bbaaabba	False	no
bbaaaaabba	False	no
bbb	False	no
bbbab	False	no
abaaabbb	False	no
aaabbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbabbabb	False	no
baaaababb	False	no
bbaa	False	no
ababaaaaba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
ababaaabab	False	no
a	{s0},a --> {s1}	no
aabbaabaaa	False	no
aabaabb	False	no
abaabbb	False	no
aaaabaabbb	False	no
b	{s0},b --> {}	no
babaaba	False	no
aabaaaa	False	no
baaa	False	no
baaaabb	False	no
bbbbaabba	False	no
abbabba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbaba	False	no
abaaabaa	False	no
b	{s0},b --> {}	no
bbbbbaaa	False	no
bbabbbba	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babbbababb	False	no
bbbbbb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbbabaaabb	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
baaba	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
babbbbaba	False	no
aaabaabaa	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aababba	False	no
bbaaaa	False	no
ababbbbbaa	False	no
bbb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aabaabbaba	False	no
abaaaaa	False	no
baabba	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbaaab	False	no
bbabaab	False	no
b	{s0},b --> {}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbab	False	no
baaaa	False	no
bbabbb	False	no
b	{s0},b --> {}	no
baaaabbaab	False	no
babaaaabaa	False	no
baaaabab	False	no
abababa	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbaa	False	no
aabaabaaab	False	no
baba	False	no
bb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aaaaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
ba	False	no
ababbbabba	False	no
bbab	False	no
bbbaaaaaa	False	no
babababbaa	False	no
babaababb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bbabaabbab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babbbaba	False	no
a	{s0},a --> {s1}	no
bbba	False	no
ababb	False	no
bbbba	False	no
babbbaabab	False	no
bbbabaabb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbaabba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
abaabaa	False	no
bbb	False	no
baab	False	no
bbabbbb	False	no
bbaabb	False	no
aaaaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bab	False	no
bbbabbbaba	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bababaabba	False	no
abaaa	False	no
babaabaaab	False	no
abaab	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
baaaaaaab	False	no
bbbbb	False	no
babbab	False	no
bbaabaaab	False	no
bb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
ababababb	False	no
b	{s0},b --> {}	no
ba	False	no
aababaabbb	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
babaab	False	no
bbabbaabab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbbaaba	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
ba	False	no
baaabababa	False	no
aaabababba	False	no
baa	False	no
babbaaab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
baaab	False	no
bb	False	no
babbbbabb	False	no
a	{s0},a --> {s1}	no
bbaaab	False	no
aaaabbaaaa	False	no
aababbaaaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
baa	False	no
babaaa	False	no
bbbabbabba	False	no
ba	False	no
aaabbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baababb	False	no
aabbbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
bbab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babbabab	False	no
babbaabb	False	no
bbbb	False	no
bbba	False	no
bba	False	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baabbbaa	False	no
babaaaa	False	no
bbbabaabba	False	no
abbbabb	False	no
a	{s0},a --> {s1}	no
ab	{s0},a --> {s1},b --> {s2}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
abaabbba	False	no
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
abaaaabaa	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbbba	False	no
bbbaaaba	False	no
baaabababb	False	no
abbbaaba	False	no
baabbbab	False	no
bab	False	no
ba	False	no
baa	False	no
abbbabbaba	False	no
baabbb	False	no
bbaab	False	no
b	{s0},b --> {}	no
ba	False	no
b	{s0},b --> {}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bb	False	no
bbbbaabaab	False	no
baababbb	False	no
abbaaaa	False	no
aaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbb	False	no
a	{s0},a --> {s1}	no
bb	False	no
a	{s0},a --> {s1}	no
abaabaaaaa	False	no
baabbababa	False	no
baababbabb	False	no
abaaabb	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbb	False	no
bbabb	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
baaabaa	False	no
a	{s0},a --> {s1}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbaabbba	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
baba	False	no
aababba	False	no
babbabaa	False	no
bbaaaab	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
ba	False	no
babaabbb	False	no
bbbabbbb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
baaab	False	no
bbbaaa	False	no
baabba	False	no
bbaabaaaa	False	no
bbaa	False	no
abaaabb	False	no
baaababb	False	no
ababbbaba	False	no
bbbaabbaab	False	no
abbaba	False	no
babb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
babbb	False	no
bbabababb	False	no
a	{s0},a --> {s1}	no
ba	False	no
bbaba	False	no
bbba	False	no
abbbab	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aabaaaba	False	no
aabbaaab	False	no
abaaba	False	no
abaaaaabba	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baaba	False	no
bbbb	False	no
bbaa	False	no
b	{s0},b --> {}	no
aabbbaaa	False	no
abbaaaaab	False	no
baaaaaa	False	no
aababaab	False	no
babb	False	no
abbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bab	False	no
bba	False	no
abaaaabab	False	no
bbbaa	False	no
abaabaaaab	False	no
baaabaaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baba	False	no
babbbba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
baaa	False	no
bbbbba	False	no
a	{s0},a --> {s1}	no
ababbabba	False	no
ba	False	no
bab	False	no
bbbaaab	False	no
b	{s0},b --> {}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
bbbaabba	False	no
baaaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baaba	False	no
bbabbaaaba	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
abbaabb	False	no
baab	False	no
abaabab	False	no
bbbabbbaab	False	no
baabbaab	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbaa	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
bbabb	False	no
bbaabaaa	False	no
bbababa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
baba	False	no
bbbaba	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
babb	False	no
baaaaba	False	no
b	{s0},b --> {}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babbaaabb	False	no
baaabaaabb	False	no
baabbbaaa	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
ba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aababbb	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
abbaab	False	no
abaaabbbb	False	no
abbaaa	False	no
ababbaab	False	no
abbabaa	False	no
bab	False	no
b	{s0},b --> {}	no
bbabbb	False	no
a	{s0},a --> {s1}	no
babbabba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bba	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
baabb	False	no
b	{s0},b --> {}	no
bbabbbaba	False	no
bbbaabbb	False	no
baaabaabb	False	no
aaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbaab	False	no
bbbbabbb	False	no
baaabaaab	False	no
baaaba	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
b	{s0},b --> {}	no
ababa	False	no
bbbb	False	no
a	{s0},a --> {s1}	no
babaaa	False	no
babbaba	False	no
ba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaabbbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
babbaa	False	no
b	{s0},b --> {}	no
bbbbbbab	False	no
bbbaaba	False	no
bbbbbba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aabababbba	False	no
abbabbb	False	no
abaabbbbba	False	no
aabbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
ababaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
ba	False	no
ba	False	no
ababaaab	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babaa	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aabbaba	False	no
bbaaabba	False	no
bb	False	no
baababbb	False	no
aabbbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
ab	{s0},a --> {s1},b --> {s2}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
babaabbbbb	False	no
bbabbbbbaa	False	no
bbbababbbb	False	no
aabbaabb	False	no
b	{s0},b --> {}	no
bab	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
aaabaabab	False	no
aabbaaaa	False	no
bbba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbaaaaa	False	no
abaaabba	False	no
a	{s0},a --> {s1}	no
baabbbbaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
abaaaababb	False	no
aabaababba	False	no
ba	False	no
aabbaba	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbab	False	no
abaabb	False	no
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bba	False	no
bbb	False	no
aabbaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbab	False	no
babbbaa	False	no
bbba	False	no
aaababa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
bbbabababb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabbaabb	False	no
bb	False	no
abbabaabba	False	no
baabbaaab	False	no
bbbabb	False	no
bbabbbaabb	False	no
baaabab	False	no
aababbb	False	no
bbaababaa	False	no
aaaaabaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
abbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
bbbbbaaaba	False	no
bbaabbbb	False	no
bbb	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aababb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abbabaabb	False	no
ababbaba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbaababaaa	False	no
bbaaabbb	False	no
baaa	False	no
abbbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
bbbbbaaaba	False	no
b	{s0},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbbbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabbaab	False	no
babbbbabb	False	no
ababaaa	False	no
abaaba	False	no
bbbaaaaaa	False	no
baa	False	no
ba	False	no
bbababbbaa	False	no
babbbbaa	False	no
bbabb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
b	{s0},b --> {}	no
abaaabaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
aaabbaaaba	False	no
bbbaa	False	no
b	{s0},b --> {}	no
ba	False	no
bbbbabb	False	no
baaaaaa	False	no
abbabb	False	no
bb	False	no
bbbaabbaaa	False	no
abaababa	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aabaab	False	no
bbbababaab	False	no
baa	False	no
ababab	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbaba	False	no
babbba	False	no
aaaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
aaabbbbba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
ba	False	no
aabbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aabbaaaaa	False	no
baabb	False	no
aabbbbbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaababaab	False	no
baaaabaaa	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
aabbbbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bb	False	no
a	{s0},a --> {s1}	no
baa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abaabababa	False	no
b	{s0},b --> {}	no
bab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
baabb	False	no
abbbbbbabb	False	no
ababbbba	False	no
bbabbb	False	no
bbbabb	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
abaaa	False	no
bbbabb	False	no
a	{s0},a --> {s1}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabbbbb	False	no
babaabbbba	False	no
abbbaababa	False	no
bb	False	no
aabbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baaaaaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
abaaabaa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
babaa	False	no
baaabbabba	False	no
bbaab	False	no
aaaababba	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
aabbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abbbaab	False	no
baa	False	no
babb	False	no
bbaaaba	False	no
baaabb	False	no
babaaabbbb	False	no
bbabbabbb	False	no
aaaaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
bbbba	False	no
babbbbbba	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aabbababa	False	no
b	{s0},b --> {}	no
bbaba	False	no
b	{s0},b --> {}	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
bbaabaaaab	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaaaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbbaba	False	no
bab	False	no
baab	False	no
ba	False	no
baa	False	no
ba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabbbaaaa	False	no
baabaaabaa	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
b	{s0},b --> {}	no
aaabbbb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
ba	False	no
b	{s0},b --> {}	no
abbbbbabbb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
babbaabbb	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
baa	False	no
a	{s0},a --> {s1}	no
bb	False	no
babbabaaba	False	no
a	{s0},a --> {s1}	no
babbbbb	False	no
bbaabbbab	False	no
bbbba	False	no
ababb	False	no
aabababbba	False	no
aabba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
baaaabab	False	no
baab	False	no
babbaaabab	False	no
bbaab	False	no
ba	False	no
aababaa	False	no
babb	False	no
a	{s0},a --> {s1}	no
aabaababa	False	no
bbbba	False	no
bbb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
aabaaaabb	False	no
aaabaaa	False	no
bbbaaab	False	no
abaabab	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbabbbba	False	no
ababbaabb	False	no
a	{s0},a --> {s1}	no
aaabababbb	False	no
ababbbbaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
b	{s0},b --> {}	no
bbabaaaa	False	no
a	{s0},a --> {s1}	no
abbaaa	False	no
aaabbbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
baababbaaa	False	no
babaabbbab	False	no
b	{s0},b --> {}	no
baaababab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
babaa	False	no
bbabbb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bba	False	no
abbab	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abbbaaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabbabb	False	no
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
babbbaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbaab	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
bbababbbaa	False	no
baabbabb	False	no
aabaaabab	False	no
bbaaab	False	no
b	{s0},b --> {}	no
babbaaba	False	no
abbbabbbb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
bbabbaab	False	no
bbbbbbaab	False	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
aababab	False	no
aaabbaaba	False	no
aabababbbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
abababbaa	False	no
bababbbaa	False	no
babba	False	no
baaabb	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
bb	False	no
aaaabbbaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
abbabab	False	no
bbabaaa	False	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
baaabbaaab	False	no
bababaa	False	no
aabbbbabbb	False	no
bbbaaaa	False	no
bbbbbbaba	False	no
babbababaa	False	no
baa	False	no
baabbabab	False	no
ababaa	False	no
aabbaaaaab	False	no
aabaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},a --> {}	no
bbbaab	False	no
b	{s0},b --> {}	no
aaaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bbaaabbaa	False	no
abbbbbaaab	False	no
aaaabbbabb	False	no
a	{s0},a --> {s1}	no
babbababbb	False	no
b	{s0},b --> {}	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
a	{s0},a --> {s1}	no
baaba	False	no
abbbaaaab	False	no
b	{s0},b --> {}	no
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
bbabaaaa	False	no
bbaa	False	no
aaabbaaba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
baba	False	no
bbbbabbba	False	no
abaabaa	False	no
babbaaabb	False	no
aaabbabaa	False	no
aabbababaa	False	no
abbabbaaa	False	no
ababaaa	False	no
bbba	False	no
bbaababaaa	False	no
abaabbb	False	no
bb	False	no
bbbabbaaba	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aabaaaaab	False	no
aabbbbaba	False	no
ababbaaaba	False	no
baabbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bbbbabbab	False	no
ba	False	no
bbaaaabbaa	False	no
bbaa	False	no
bbbbbabbab	False	no
baa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
a	{s0},a --> {s1}	no
baaa	False	no
bbbb	False	no
abbbaaaaa	False	no
babbbb	False	no
abaaaa	False	no
baaba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
baabbbbaab	False	no
aababb	False	no
bbbbab	False	no
bbbabaabb	False	no
baabbaabb	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
abbabbbabb	False	no
aaabaabb	False	no
a	{s0},a --> {s1}	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbbbaaaaab	False	no
baaaab	False	no
bbababab	False	no
bbaabbabb	False	no
abbbaab	False	no
babbaaa	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
aaabbbaba	False	no
bbabaaabba	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aabbbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
bbaaaa	False	no
aaaababbaa	False	no
bbabaaba	False	no
abaababaab	False	no
baaaabb	False	no
aabababaa	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
ba	False	no
bbabb	False	no
bbba	False	no
babab	False	no
aabbaba	False	no
babaabbaba	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
babababbbb	False	no
bbabaaabbb	False	no
bbbaaaba	False	no
bbabbbbb	False	no
abbabbab	False	no
abbbabba	False	no
baabbabbb	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbbababbab	False	no
aabaab	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
bab	False	no
abaaabb	False	no
bbabbba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abbbbaaa	False	no
a	{s0},a --> {s1}	no
aabbbbaaaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaabaaaab	False	no
babbaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abbbbaaa	False	no
baa	False	no
aabbabb	False	no
abbabab	False	no
bababa	False	no
baab	False	no
abbbbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
aabaaaabaa	False	no
baa	False	no
bbbb	False	no
aababa	False	no
bbbabbbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
bbaa	False	no
aaabaaaa	False	no
bbbbbabba	False	no
bba	False	no
bbabaaaa	False	no
abaaaa	False	no
babbbbbbbb	False	no
bbabbaa	False	no
a	{s0},a --> {s1}	no
a	{s0},a --> {s1}	no
ba	False	no
ababbb	False	no
ba	False	no
a	{s0},a --> {s1}	no
baabaabb	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aaaabbaba	False	no
b	{s0},b --> {}	no
bbbbbbaba	False	no
a	{s0},a --> {s1}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aaba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3}	si
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
baabaaba	False	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
baabab	False	no
baaaaa	False	no
abbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2}	no
abbbbbaaa	False	no
aaaaabb	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
baa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baa	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
baabbbaaaa	False	no
bbabbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aabaab	False	no
babaabaaab	False	no
baabbbbba	False	no
ba	False	no
bb	False	no
abbabbbba	False	no
bbaab	False	no
abbaba	False	no
aabaaaa	False	no
abaa	{s0},a --> {s1},b --> {s2},a --> {s3},a --> {}	no
ababaaaa	False	no
bbbbab	False	no
baabbaabb	False	no
abbaabbaab	False	no
babbbbaab	False	no
bababb	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
baabab	False	no
bbbb	False	no
aaaabaaba	False	no
bbabbbba	False	no
abbaaaaab	False	no
baab	False	no
bbbabba	False	no
baaaab	False	no
a	{s0},a --> {s1}	no
baabbb	False	no
abaaaa	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
ababaabbb	False	no
abbaa	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bbaabaabaa	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaabaaaaab	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
bbaa	False	no
aababaab	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
ababaa	False	no
abbbaab	False	no
baabab	False	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
bb	False	no
baaabbaa	False	no
bab	False	no
baabbba	False	no
aababb	False	no
abaaabaab	False	no
bba	False	no
bbabbaba	False	no
a	{s0},a --> {s1}	no
bba	False	no
babbbababb	False	no
bba	False	no
bbbabaaa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
abababaaab	False	no
baabbbabba	False	no
bbaaabb	False	no
abbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
abbbabaa	False	no
bbaaaabba	False	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aaabbaba	False	no
bb	False	no
baabaabaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbabbbaaa	False	no
bbbbaaaaaa	False	no
baaaaaaaaa	False	no
abbaaaa	False	no
baaaa	False	no
aaaabaab	False	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
b	{s0},b --> {}	no
b	{s0},b --> {}	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bb	False	no
bbbabbbbb	False	no
baaaaaabb	False	no
bb	False	no
babaaaa	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
ababaaab	False	no
baab	False	no
bab	False	no
bbaaba	False	no
aababbbab	False	no
aababba	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
ababbaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bb	False	no
ba	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
aaaaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
babbbabbb	False	no
baba	False	no
abaabba	False	no
ba	False	no
baaababb	False	no
babbb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbabbbbaaa	False	no
babaaa	False	no
babaababb	False	no
babab	False	no
baaaa	False	no
bbbab	False	no
a	{s0},a --> {s1}	no
baabbabb	False	no
bbaaa	False	no
aaaaababab	False	no
bbaaaa	False	no
bbabaaa	False	no
b	{s0},b --> {}	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
a	{s0},a --> {s1}	no
aaaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
baabba	False	no
b	{s0},b --> {}	no
aabaabbba	False	no
baaaaabaaa	False	no
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
ab	{s0},a --> {s1},b --> {s2}	no
aaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abbbabab	False	no
bba	False	no
aaaabaaaab	False	no
baaaababbb	False	no
ab	{s0},a --> {s1},b --> {s2}	no
bab	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baba	False	no
abbbaabaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
aabb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2}	no
abbbbba	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
ba	False	no
baaaba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
bbabaab	False	no
aabbaba	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
bbbbbba	False	no
ba	False	no
a	{s0},a --> {s1}	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
abababab	False	no
b	{s0},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
aaab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2}	no
bbaaaa	False	no
baaaa	False	no
b	{s0},b --> {}	no
bbb	False	no
bababbaa	False	no
bbaabb	False	no
bbaba	False	no
aaabba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3}	si
bbaabab	False	no
aaaababab	False	no
bb	False	no
baba	False	no
ba	False	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbb	False	no
aab	{s0},a --> {s1},a --> {s1,s3},b --> {s2}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
abb	{s0},a --> {s1},b --> {s2},b --> {s2}	no
bbabb	False	no
b	{s0},b --> {}	no
bbbabaaa	False	no
a	{s0},a --> {s1}	no
babaab	False	no
baabaaab	False	no
aabbaaabbb	False	no
ba	False	no
baaababaa	False	no
aaabaaa	False	no
aaaba	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
baabb	False	no
bbaaab	False	no
aaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
baaaaaaba	False	no
b	{s0},b --> {}	no
aabab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
baabbbabb	False	no
aababaa	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
ababa	False	no
b	{s0},b --> {}	no
aabbbbaabb	False	no
abaabbbbba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbbbaabab	False	no
abbababaaa	False	no
ab	{s0},a --> {s1},b --> {s2}	no
aababbaab	False	no
b	{s0},b --> {}	no
bbaaaaaa	False	no
ababaa	False	no
abbaab	False	no
bbbbabab	False	no
baababaab	False	no
b	{s0},b --> {}	no
abbbabbbaa	False	no
aabbbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
bbabaa	False	no
bbabbaaba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
ababaabaa	False	no
bbbbabab	False	no
abbabab	False	no
ba	False	no
bbbabbba	False	no
b	{s0},b --> {}	no
bb	False	no
bbaaabbab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aabaaaabb	False	no
bbaabaaab	False	no
b	{s0},b --> {}	no
bbbaaaba	False	no
abaaa	False	no
bbaa	False	no
bababba	False	no
babba	False	no
bbaabb	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
b	{s0},b --> {}	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
baabb	False	no
abbaabb	False	no
baaabbbbaa	False	no
bbaaab	False	no
bbaabaa	False	no
abba	{s0},a --> {s1},b --> {s2},b --> {s2},a --> {s3}	si
aabaab	False	no
ba	False	no
bbbb	False	no
bbbabb	False	no
baabbbabba	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
ababaaa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
ba	False	no
baabaaabba	False	no
aabbb	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2}	no
aaabbab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
a	{s0},a --> {s1}	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
aaaaaaabab	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},b --> {s2},a --> {s3},b --> {}	no
bbb	False	no
abbaabbab	False	no
abbbbabb	False	no
bba	False	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
a	{s0},a --> {s1}	no
baa	False	no
a	{s0},a --> {s1}	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aabbab	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},a --> {s3},b --> {}	no
ab	{s0},a --> {s1},b --> {s2}	no
baa	False	no
bbba	False	no
aabbbbbbba	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},b --> {s2},a --> {s3}	si
aaabbaaabb	False	no
a	{s0},a --> {s1}	no
bbbabbba	False	no
babababbb	False	no
ababbbbbb	False	no
a	{s0},a --> {s1}	no
bbbaababaa	False	no
a	{s0},a --> {s1}	no
b	{s0},b --> {}	no
bbbaabbaab	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
babbababab	False	no
bbaaaa	False	no
b	{s0},b --> {}	no
a	{s0},a --> {s1}	no
aba	{s0},a --> {s1},b --> {s2},a --> {s3}	si
abaaaaaba	False	no
bbaabaa	False	no
aabbbaa	{s0},a --> {s1},a --> {s1,s3},b --> {s2},b --> {s2},b --> {s2},a --> {s3},a --> {}	no
bbbbbb	False	no
bbbabab	False	no
bbababaabb	False	no
aaaaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3},a --> {s1,s3}	si
aa	{s0},a --> {s1},a --> {s1,s3}	si
bb	False	no
abbbb	{s0},a --> {s1},b --> {s2},b --> {s2},b --> {s2},b --> {s2}	no
b	{s0},b --> {}	no
bab	False	no
abab	{s0},a --> {s1},b --> {s2},a --> {s3},b --> {}	no
bbba	False	no
babaaaa	False	no
aababa	False	no
aa	{s0},a --> {s1},a --> {s1,s3}	si
babaa	False	no
baaaaa	False	no
a	{s0},a --> {s1}	no
ababaaaabb	False	no
abbbabba	False	no
bbaa	False	no
babbaaaaab	False	no
aaaababba	False	no
bababaaab	False	no
b	{s0},b --> {}	no
babaaaaba	False	no
abaabbabb	False	no
aaa	{s0},a --> {s1},a --> {s1,s3},a --> {s1,s3}	si
abbabbaaa	False	no
babbb	False	no
ababaaaa	False	no
baaabaaaa	False	no
a	{s0},a --> {s1}	no
babaabba	False	no
bba	False	no
abbabaaa	False	no