(1)  0                a*(b+c)$ S5
(2)  0 id 5                *(b+c)$ R6
(3)  0 T 3                *(b+c)$ R4
(4)  0 T 2                *(b+c)$ S7 
     0 T 2 * 7                (b+c)$ S4 
     0 T 2 * 7 ( 4                (b+c)$ S5 
     0 T 2 * 7 ( 4 id 5                +c)$ R6 
     0 T 2 * 7 ( 4 F 3                +c)$ R4
     0 T 2 * 7 ( 4 T 2                +c)$ R2 
     0 T 2 * 7 ( 4 E 8                +c)$ S6 
     0 T 2 * 7 ( 4 E 8 + 6                c)$ S5 
     0 T 2 * 7 ( 4 E 8 + 6 id 5                )$ R6 
     0 T 2 * 7 ( 4 E 8 + 6 F 3                )$ R4 
     0 T 2 * 7 ( 4 E 8 + 6 T 9                )$ R1 
     0 T 2 * 7 ( 4 E 8                )$ S11 
     0 T 2 * 7 ( 4 E 8 ) 11               $ R5 
     0 T 2 * 7 F 10                $ R3 
     0 T 2                $ R2
(19) 0 E 1                $ Accept