diff options
Diffstat (limited to 'js/Linear/DIFF_c.pickle')
| -rw-r--r-- | js/Linear/DIFF_c.pickle | 17 |
1 files changed, 9 insertions, 8 deletions
diff --git a/js/Linear/DIFF_c.pickle b/js/Linear/DIFF_c.pickle index 57c006e4..cf3a2b5f 100644 --- a/js/Linear/DIFF_c.pickle +++ b/js/Linear/DIFF_c.pickle @@ -73,23 +73,24 @@ S'string' p22 sS'model.dep_ut' p23 -g6 -sS'exprs' +S'vector_boolean' p24 +sS'exprs' +p25 g16 sS'gr_i' -p25 +p26 g6 sS'ask_again' -p26 -S'boolean' p27 -sS'y' +S'boolean' p28 +sS'y' +p29 g6 sS'x' -p29 -NsS'model' p30 +NsS'model' +p31 g2 s.
\ No newline at end of file |