T0_VERTEX 50 7 0 12 4
T0_OR_A 51 7 0 12 6
T0_OR_C 52 7 0 13 0
- T0mult_Q0 53 7 0 13 2
- T0mult_Q1 54 7 0 13 4
+ T0multA_Q0 53 7 0 13 2
+ T0multA_Q1 54 7 0 13 4
T0_scmult 55 7 0 13 6
T0_smult 56 7 0 14 0
T0_A_11_QT1 102 7 1 11 2
T0_A_12_QT0 103 7 1 11 4
T0_A_12_QT1 104 7 1 11 6
+ T0multC_Q0 105 7 0 14 2
+ T0multC_Q1 106 7 0 14 4