summaryrefslogtreecommitdiff
path: root/assignment6/A.prf
blob: fa3f6cbbb9aa6c504ef9f1c8d5e5e8e4e6c7c088 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
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)))