(agda2-status-action "")
(agda2-info-action "*Type-checking*" "" nil)
(agda2-highlight-clear)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?0 : T ?1 : T ?2 : T ?3 : T ?4 : T ?5 : T ?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(0 1 2 3 4 5 6 7 8 9 10 11)))
(agda2-give-action 0 'paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?1 : T ?2 : T ?3 : T ?4 : T ?5 : T ?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(1 2 3 4 5 6 7 8 9 10 11)))
(agda2-give-action 1 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?2 : T ?3 : T ?4 : T ?5 : T ?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(2 3 4 5 6 7 8 9 10 11)))
(agda2-give-action 2 'paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?3 : T ?4 : T ?5 : T ?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(3 4 5 6 7 8 9 10 11)))
(agda2-give-action 3 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?4 : T ?5 : T ?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(4 5 6 7 8 9 10 11)))
(agda2-give-action 4 'paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?5 : T ?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(5 6 7 8 9 10 11)))
(agda2-give-action 5 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?6 : T → T ?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(6 7 8 9 10 11)))
(agda2-give-action 6 'paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?7 : T → T ?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(7 8 9 10 11)))
(agda2-give-action 7 'paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?8 : T → T ?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(8 9 10 11)))
(agda2-give-action 8 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?9 : T → T ?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(9 10 11)))
(agda2-give-action 9 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?10 : T ?11 : T " nil)
((last . 1) . (agda2-goals-action '(10 11)))
(agda2-give-action 10 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Goals*" "?11 : T " nil)
((last . 1) . (agda2-goals-action '(11)))
(agda2-give-action 11 'no-paren)
(agda2-status-action "")
(agda2-info-action "*All Done*" "" nil)
((last . 1) . (agda2-goals-action '()))
