id = 172
number = 30
visible = True
facts = None

solution = '''\
prog_8puzzle --> [begin], instructs172, [end].

instructs172 --> instr172.
instructs172 --> instr172, instructs172.

instr172 --> [left].
instr172 --> [right].
instr172 --> [up].
instr172 --> [down].
'''

initial = '''\
prog_8puzzle --> [begin], instructs, [end].

instructs --> instr.
instructs --> instr, instructs.

instr --> [left].
instr --> [right].
instr --> [up].
instr --> [down].
'''