S1 + S2 -> S30
S2 -> S3
S3 -> S2
S29 -> S29 + S3
S3 -> S31
S4 -> S32
S4 -> S33
S7 -> S8
S8 -> S7
S9 -> S8
S8 -> S9
S15 -> S34
S10 -> S35
S11 -> S12
S12 -> S11
S28 -> S11 + S28
S11 -> S31
S6 -> S36
S4 -> S33
S14 -> S37
S15 -> S38
S19 -> S39
S16 -> S40
S17 -> S41
S18 -> S42
S23 -> S43
S24 -> S44
S25 -> S45
S26 -> S46
S27 -> S47
S20 -> S48
S30 -> S1 + S2
S30 -> S49
S32 -> S4
S33 -> S4
S32 + S5 -> S50
S38 -> S51
S34 -> S15
S35 -> S10
S36 -> S6
S37 -> S14
S34 -> S51
S38 -> S15
S39 -> S19
S40 -> S16
S41 -> S17
S42 -> S18
S43 -> S23
S20 + S32 -> S52
S22 + S32 -> S53
S44 -> S24
S45 -> S54
S46 -> S26
S47 -> S27
S47 -> S55
S48 -> S20
S1 + S49 -> S56
S49 -> S1 + S2
S49 -> S57
S50 -> S32 + S5
S51 -> S38
S51 -> S34
S21 + S49 -> S58
S20 + S50 -> S59
S52 -> S20 + S32
S53 -> S22 + S32
S54 -> S25
S55 -> S47
S52 -> S20 + S32
S53 -> S22 + S32
S56 -> S1 + S49
S56 -> S60
S57 -> S49
S57 -> S3
S21 + S56 -> S61
S58 -> S21 + S49
S59 -> S20 + S50
S59 -> S20 + S50
S58 -> S21 + S49
S60 -> S56
S60 -> S3
S61 -> S21 + S56
S61 -> S21 + S56