diff options
Diffstat (limited to 'js/Sources/RAND_f.pickle')
| -rw-r--r-- | js/Sources/RAND_f.pickle | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/js/Sources/RAND_f.pickle b/js/Sources/RAND_f.pickle index 7adc7fdb..984969db 100644 --- a/js/Sources/RAND_f.pickle +++ b/js/Sources/RAND_f.pickle @@ -4,16 +4,18 @@ p0 ((lp1 S'a' p2 -aS'x' +aS'b' p3 -aS'flag' +aS'seed_c' p4 -aS'b' +aS'flag' p5 -aS'seed_c' +aS'x' p6 -atp7 -Rp8 +aS'model' +p7 +atp8 +Rp9 .(dp0 S'model.dstate' p1 |