can you add the assumption set to each line of proof?

1|_(~(P -> Q) ^ (R v S))Premise

2| |_((P ^ Q) ^ (R -> S))Assumption

3| |((P ^ Q) v (R -> S))2(DeM1)

4| |((P ^ Q) > (R -> S))3(Imp)

5| |(R v S)1&E

6| |(R -> S)5(Imp)

7| |(R -> S)6(DN+)

8| |(P ^ Q)4,7(MT)

9| |(P -> Q)1&E

10| |(P ^ Q)9(NegImp)

11| |((P ^ Q) & (P ^ Q))8,10&I

12 | ((P ^ Q) ^ (R -> S))2-11 RAA