id = 162
number = 69
visible = False
facts = None

solution = '''\
ab --> [a], ab.
ab --> t162.
t162 --> [b], t162.
t162 --> [].'''