peg(a; b; c).
disk(1..4).
init_on(1..4, a).
goal_on(1..4, c).
moves(15).