pb 310 WA by problemsolve.php

[vpanait]

I think the pb 310 has some issues in http://www.uvatoolkit.com/problemssolve.php

for example I input
ab
baa
abbababb
bbabbabbb

that is:
a - > ab
b -> baa
w = abbababb
z = bbabbabbb

if we expand w by the first rule we get
<ab> bb <ab> b <ab> bb
z is bb ab b ab bb

so this should reply YES, however it outputs NO

Thank you
vlad

[Carlos]

Please, report this error to the uvatoolkit staff.