top_command (cmd_load currentFile [])
goal_command 0 cmd_autoOne ""
goal_command 1 cmd_autoOne ""
goal_command 2 cmd_autoOne ""
goal_command 3 cmd_autoOne ""
goal_command 4 cmd_autoOne "-c"
goal_command 5 cmd_autoOne "-c"
goal_command 6 cmd_autoOne "-c"
goal_command 7 cmd_autoOne "-c"
goal_command 8 cmd_autoOne ""
goal_command 9 cmd_autoOne ""
goal_command 10 cmd_autoOne ""
goal_command 11 cmd_autoOne "∨-e ⊥-e"
goal_command 12 cmd_autoOne ""
goal_command 13 cmd_autoOne ""
goal_command 14 cmd_autoOne ""
goal_command 15 cmd_autoOne ""
goal_command 16 cmd_autoOne ""
goal_command 17 cmd_autoOne "RAA -t 60"

