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].
'''