diff options
Diffstat (limited to 'js/IntegerOp/INTMUL.pickle')
| -rw-r--r-- | js/IntegerOp/INTMUL.pickle | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/js/IntegerOp/INTMUL.pickle b/js/IntegerOp/INTMUL.pickle index 644e2bf3..1ead3178 100644 --- a/js/IntegerOp/INTMUL.pickle +++ b/js/IntegerOp/INTMUL.pickle @@ -90,21 +90,22 @@ p28 g5 sS'model.dep_ut' p29 -g11 -sS'exprs' +S'vector_boolean' p30 +sS'exprs' +p31 g13 sS'gr_i' -p31 +p32 g11 sS'y' -p32 +p33 g11 sS'x' -p33 -NsS'model' p34 +NsS'model' +p35 g2 sS'ot' -p35 +p36 Ns.
\ No newline at end of file |