diff options
Diffstat (limited to 'assignment6/A.prf')
| -rw-r--r-- | assignment6/A.prf | 109 |
1 files changed, 109 insertions, 0 deletions
diff --git a/assignment6/A.prf b/assignment6/A.prf new file mode 100644 index 0000000..fa3f6cb --- /dev/null +++ b/assignment6/A.prf @@ -0,0 +1,109 @@ +(th_A + (A_0 0 + (A_0-1 nil 3666631220 + ("" (flatten) + (("" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) nil)) + nil) + nil shostak)) + (A_1 0 + (A_1-1 nil 3666631598 + ("" (flatten) + (("" (split) + (("1" (propax) nil nil) ("2" (propax) nil nil) + ("3" (propax) nil nil)) + nil)) + nil) + nil shostak)) + (A_2 0 + (A_2-1 nil 3666631791 + ("" (split) + (("1" (flatten) + (("1" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil)) + nil) + ("2" (flatten) + (("2" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil)) + nil)) + nil) + nil shostak)) + (A_3 0 + (A_3-1 nil 3666631839 + ("" (split) + (("1" (flatten) + (("1" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil)) + nil) + ("2" (flatten) + (("2" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil)) + nil)) + nil) + nil shostak)) + (A_4 0 + (A_4-1 nil 3666631883 + ("" (split) + (("1" (flatten) + (("1" (split) + (("1" (propax) nil nil) ("2" (propax) nil nil) + ("3" (propax) nil nil)) + nil)) + nil) + ("2" (flatten) + (("2" (split) + (("1" (propax) nil nil) ("2" (propax) nil nil) + ("3" (propax) nil nil)) + nil)) + nil)) + nil) + nil shostak)) + (A_5 0 + (A_5-1 nil 3666632405 + ("" (split) + (("1" (flatten) + (("1" (split) + (("1" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil) + ("2" (split) + (("1" (propax) nil nil) + ("2" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil)) + nil)) + nil)) + nil) + ("2" (flatten) + (("2" (split) + (("1" (split) (("1" (flatten) nil nil) ("2" (flatten) nil nil)) + nil) + ("2" (flatten) + (("2" (split) + (("1" (propax) nil nil) ("2" (flatten) nil nil)) nil)) + nil)) + nil)) + nil)) + nil) + nil shostak)) + (A_6 0 + (A_6-1 nil 3666632493 + ("" (split) + (("1" (flatten) + (("1" (split) + (("1" (split) (("1" (flatten) nil nil) ("2" (flatten) nil nil)) + nil) + ("2" (split) (("1" (flatten) nil nil) ("2" (flatten) nil nil)) + nil)) + nil)) + nil) + ("2" (flatten) + (("2" (split) + (("1" (propax) nil nil) + ("2" (split) + (("1" (propax) nil nil) + ("2" (split) (("1" (propax) nil nil) ("2" (propax) nil nil)) + nil)) + nil)) + nil)) + nil)) + nil) + nil shostak))) + |