Hey guys, as the title describes i need some help for this proof!

I have to use these operations and i "just" need to find the right part of the proof.

- {q -> ~p, ~~p} l- _______ ? ? ? Assumption
- {q -> ~p, ~~p} l- _______ ? ? ? Thereom 3.25
- {q -> ~p, ~~p} l- _______ ? ? ? MP 1,2
- {q -> ~p, ~~p} l- _______ ? ? ? Assumption
- {q -> ~p, ~~p} l- _______ ? ? ? MP 3,4
- {q -> ~p, ~~p} l- _______ ? ? ? Thereom 3.23
- {q -> ~p, ~~p} l- _______ ? ? ? MP 5,6
- {q -> ~p} l- _______ ? ? ? Dedcution 7
- {q -> ~p} l- _______ ? ? ? Contrapositive 8
- {q -> ~p} l- _______ ? ? ? Contrapositive 9
- l- _______ ? ? ? Deduction 10
- l- _______ ? ? ? Thereom 3.25
- l- _______ ? ? ? MP 11,12
- l- ( p /\ q ) -> (q /\ p ) Definition of /\