diff options
Diffstat (limited to 'js/Sources/Counter.pickle')
| -rw-r--r-- | js/Sources/Counter.pickle | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/js/Sources/Counter.pickle b/js/Sources/Counter.pickle index 0d1dde24..585bf9da 100644 --- a/js/Sources/Counter.pickle +++ b/js/Sources/Counter.pickle @@ -4,6 +4,12 @@ p0 ((lp1 S'x' p2 -atp3 -Rp4 +aS'maxim' +p3 +aS'rule' +p4 +aS'minim' +p5 +atp6 +Rp7 .
\ No newline at end of file |