machine('RushHour').
'$setup_constants'(int(7),int(6),int(6),avl_set(node((int(4),int(3)),true,0,node((int(2),int(2)),true,0,node((int(1),int(1)),true,0,empty,empty),node((int(3),int(3)),true,0,empty,empty)),node((int(6),int(5)),true,0,node((int(5),int(4)),true,0,empty,empty),node((int(7),int(6)),true,0,empty,empty)))),avl_set(node((int(3),int(4)),true,0,node((int(1),int(1)),true,1,empty,node((int(2),int(3)),true,0,empty,empty)),node((int(5),int(6)),true,0,node((int(4),int(5)),true,0,empty,empty),node((int(6),int(6)),true,0,empty,empty)))),avl_set(node((int(4),int(2)),true,0,node((int(2),int(2)),true,0,node((int(1),int(3)),true,0,empty,empty),node((int(3),int(2)),true,0,empty,empty)),node((int(6),int(2)),true,0,node((int(5),int(2)),true,0,empty,empty),node((int(7),int(3)),true,0,empty,empty)))),avl_set(node((int(3),int(3)),true,0,node((int(1),int(2)),true,1,empty,node((int(2),int(2)),true,0,empty,empty)),node((int(5),int(2)),true,0,node((int(4),int(2)),true,0,empty,empty),node((int(6),int(2)),true,0,empty,empty)))),int(2)).
'$initialise_machine'(avl_set(node((int(4),int(5)),true,0,node((int(2),int(2)),true,0,node((int(1),int(1)),true,0,empty,empty),node((int(3),int(2)),true,0,empty,empty)),node((int(6),int(1)),true,0,node((int(5),int(4)),true,0,empty,empty),node((int(7),int(2)),true,0,empty,empty)))),avl_set(node((int(3),int(1)),true,0,node((int(1),int(2)),true,1,empty,node((int(2),int(4)),true,0,empty,empty)),node((int(5),int(1)),true,0,node((int(4),int(5)),true,0,empty,empty),node((int(6),int(4)),true,0,empty,empty))))).
move_hcar_right(int(6)).
move_vcar_down(int(5)).
move_hcar_right(int(3)).
move_hcar_right(int(3)).
move_vcar_down(int(1)).
move_hcar_left(int(1)).
move_vcar_down(int(1)).
move_vcar_down(int(2)).
move_vcar_down(int(2)).
move_vcar_up(int(3)).
move_hcar_left(int(2)).
move_hcar_left(int(2)).
move_vcar_down(int(6)).
move_vcar_up(int(7)).
move_hcar_right(int(3)).
move_vcar_up(int(4)).
move_hcar_right(int(5)).
move_vcar_down(int(1)).
move_hcar_left(int(2)).
move_vcar_down(int(3)).
move_hcar_right(int(1)).
move_hcar_right(int(1)).
move_hcar_right(int(1)).
move_vcar_up(int(3)).
move_hcar_right(int(2)).
move_hcar_right(int(2)).
move_vcar_up(int(1)).
move_hcar_left(int(5)).
move_vcar_down(int(4)).
move_hcar_left(int(3)).
move_vcar_down(int(7)).
move_hcar_right(int(1)).
move_vcar_up(int(1)).
move_vcar_up(int(1)).
move_vcar_up(int(2)).
move_vcar_up(int(2)).
move_hcar_left(int(3)).
move_hcar_left(int(3)).
move_vcar_up(int(2)).
move_hcar_left(int(2)).
move_vcar_up(int(5)).
move_hcar_left(int(6)).
move_vcar_up(int(5)).
move_hcar_left(int(4)).
move_vcar_up(int(5)).
move_hcar_right(int(3)).
move_hcar_right(int(3)).
move_vcar_down(int(1)).
move_vcar_down(int(1)).
move_vcar_up(int(5)).
move_hcar_right(int(2)).
move_vcar_down(int(2)).
move_vcar_down(int(2)).
move_vcar_down(int(2)).
move_hcar_left(int(2)).
move_vcar_down(int(5)).
move_hcar_left(int(1)).
move_vcar_up(int(7)).
move_hcar_right(int(3)).
move_vcar_up(int(4)).
move_hcar_right(int(5)).
move_vcar_down(int(1)).
move_hcar_left(int(2)).
move_vcar_down(int(3)).
move_hcar_left(int(1)).
move_hcar_left(int(1)).
move_hcar_left(int(1)).
move_vcar_up(int(3)).
move_hcar_right(int(2)).
move_vcar_up(int(1)).
move_hcar_left(int(5)).
move_vcar_down(int(4)).
move_hcar_left(int(3)).
move_vcar_down(int(7)).
move_vcar_down(int(7)).
move_vcar_down(int(7)).
move_vcar_up(int(5)).
move_hcar_right(int(2)).
move_vcar_up(int(6)).
move_hcar_right(int(2)).
move_hcar_right(int(2)).

