-
Notifications
You must be signed in to change notification settings - Fork 0
/
1.14.txt
114 lines (112 loc) · 8.47 KB
/
1.14.txt
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
110
111
112
113
114
(count-change 6)
(cc 6 5)
(+ (cc 6 (- 5 1)) (cc (- 6 (first-denomination 5)) 5))
(+ (cc 6 4) (cc (- 6 50) 5))
(+ (+ (cc 6 (- 4 1)) (cc (- 6 (first-denomination 4)) 4)) (cc -44 5))
(+ (+ (cc 6 3) (cc (- 6 25) 4)) (cc -44 5))
(+ (+ (cc 6 3) (cc -19 4)) (cc -44 5))
(+ (+ (+ (cc 6 (- 3 1)) (cc (- 6 (first-denomination 3)) 3)) 0) 0)
(+ (+ (+ (cc 6 2) (cc (- 6 10) 3)) 0) 0)
(+ (+ (+ (cc 6 2) (cc -4 3)) 0) 0)
(+ (+ (+ (+ (cc 6 (- 2 1)) (cc (- 6 (first-denomination 2)) 2)) 0) 0) 0)
(+ (+ (+ (+ (cc 6 1) (cc (- 6 5) 2)) 0) 0) 0)
(+ (+ (+ (+ (cc 6 1) (cc 1 2)) 0) 0) 0)
(+ (+ (+ (+ (+ (cc 6 (- 1 1)) (cc (- 5 (first-denomination 1)) 1)) (+ (cc 1 (- 2 1)) (cc (- 1 (first-denomination 2)) 2))) 0) 0) 0)
(+ (+ (+ (+ (+ (cc 6 0) (cc (- 5 1) 1)) (+ (cc 1 1) (cc (- 1 5) 2))) 0) 0) 0)
(+ (+ (+ (+ (+ (cc 6 0) (cc 4 1)) (+ (cc 1 1) (cc -4 2))) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ (cc 4 (- 1 1)) (cc (- 4 (first-denomination 1)) 1))) (+ (+ (cc 1 (- 1 1)) (cc (- 1 (first-denomination 1)) 1)) 0)) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ (cc 4 0) (cc (- 4 1) 1))) (+ (+ (cc 1 0) (cc (- 1 1) 1)) 0)) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ (cc 4 0) (cc 3 1))) (+ (+ (cc 1 0) (cc 0 1)) 0)) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ (cc 2 (- 1 1)) (cc (- 2 (first-denomination 1)) 1)))) (+ (+ 0 1) 0)) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ (cc 2 0) (cc (- 2 1) 1)))) (+ 1 0)) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ (cc 2 0) (cc 1 1)))) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ (cc 1 (- 1 1)) (cc (- 1 (first-denomination 1)) 1))))) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ (cc 1 0) (cc (- 1 1) 1))))) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ (cc 1 0) (cc 0 1))))) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 1)))) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 1))) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 1)) 1) 0) 0) 0)
(+ (+ (+ (+ (+ 0 1) 1) 0) 0) 0)
(+ (+ (+ (+ 1 1) 0) 0) 0)
(+ (+ (+ 2 0) 0) 0)
(+ (+ 2 0) 0)
(+ 2 0)
2
(count-change 11)
(cc 11 5)
(+ (cc 11 (- 5 1)) (cc (- 11 (first-denomination 5)) 5))
(+ (cc 11 (- 5 1)) (cc (- 11 50) 5))
(+ (cc 11 (- 5 1)) (cc -39 5))
(+ (cc 11 (- 5 1)) 0)
(+ (cc 11 4) 0)
(+ (+ (cc 11 (- 4 1)) (cc (- 11 (first-denomination 4)) 4)) 0)
(+ (+ (cc 11 (- 4 1)) (cc (- 11 25) 4)) 0)
(+ (+ (cc 11 (- 4 1)) (cc -14 4)) 0)
(+ (+ (cc 11 (- 4 1)) 0) 0)
(+ (+ (cc 11 3) 0) 0)
(+ (+ (+ (cc 11 (- 3 1)) (cc (- 11 (first-denomination 3)) 3)) 0) 0)
(+ (+ (+ (cc 11 (- 3 1)) (cc (- 11 10) 3)) 0) 0)
(+ (+ (+ (cc 11 2) (cc 1 3)) 0) 0)
(+ (+ (+ (+ (cc 11 (- 2 1)) (cc (- 11 (first-denomination 2)) 2)) (+ (cc 1 (- 3 1)) (cc (- 1 (first-denomination 3)) 3))) 0) 0)
(+ (+ (+ (+ (cc 11 (- 2 1)) (cc (- 11 5) 2)) (+ (cc 1 (- 3 1)) (cc (- 1 10) 3))) 0) 0)
(+ (+ (+ (+ (cc 11 1) (cc 6 2)) (+ (cc 1 2) (cc -9 3))) 0) 0)
(+ (+ (+ (+ (+ (cc 11 (- 1 1)) (cc (- 11 (first-denomination 1)) 1)) (+ (cc 6 (- 2 1)) (cc (- 6 (first-denomination 2)) 2))) (+ (+ (cc 1 (- 2 1)) (cc (- 1 (first-denomination 2)) 2)) 0)) 0) 0)
(+ (+ (+ (+ (+ (cc 11 0) (cc 10 1)) (+ (cc 6 1) (cc 1 2))) (+ (+ (cc 1 1) (cc -4 2)) 0)) 0) 0)
(+ (+ (+ (+ (+ 0 (+ (cc 10 (- 1 1)) (cc (- 10 (first-denomination 1)) 1))) (+ (+ (cc 6 (- 1 1)) (cc (- 6 (first-denomination 1)) 1)) (+ (cc 1 (- 2 1)) (cc (- 1 (first-denomination 2)) 2)))) (+ (+ (+ (cc 1 (- 1 1)) (cc (- 1 (first-denomination 1)) 1)) 0) 0)) 0) 0)
(+ (+ (+ (+ (+ 0 (+ (cc 10 (- 1 1)) (cc (- 10 1) 1))) (+ (+ (cc 6 (- 1 1)) (cc (- 6 1) 1)) (+ (cc 1 (- 2 1)) (cc (- 1 5) 2)))) (+ (+ (+ (cc 1 (- 1 1)) (cc (- 1 1) 1)) 0) 0)) 0) 0)
(+ (+ (+ (+ (+ 0 (+ (cc 10 0) (cc 9 1))) (+ (+ (cc 6 0) (cc 5 1)) (+ (cc 1 1) (cc -4 2)))) (+ (+ (+ (cc 1 0) (cc 0 1)) 0) 0)) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ (cc 9 (- 1 1)) (cc (- 9 (first-denomination 1)) 1)))) (+ (+ 0 (+ (cc 5 (- 1 1)) (cc (- 5 (first-denomination 1)) 1))) (+ (+ (cc 1 (- 1 1)) (cc (- 1 (first-denomination 1)) 1)) 0))) (+ (+ (+ 0 1) 0) 0)) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ (cc 9 0) (cc (- 9 1) 1)))) (+ (+ 0 (+ (cc 5 0) (cc (- 5 1) 1))) (+ (+ (cc 1 0) (cc (- 1 1) 1)) 0))) (+ (+ 1 0) 0)) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ (cc 9 0) (cc 8 1)))) (+ (+ 0 (+ (cc 5 0) (cc 4 1))) (+ (+ (cc 1 0) (cc 0 1)) 0))) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ (cc 8 (- 1 1)) (cc (- 8 (first-denomination 1)) 1))))) (+ (+ 0 (+ 0 (+ (cc 4 (- 1 1)) (cc (- 4 (first-denomination 1)) 1)))) (+ (+ 0 1) 0))) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ (cc 8 0) (cc (- 8 1) 1))))) (+ (+ 0 (+ 0 (+ (cc 4 0) (cc (- 4 1) 1)))) (+ 1 0))) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ (cc 8 0) (cc 7 1))))) (+ (+ 0 (+ 0 (+ (cc 4 0) (cc 3 1)))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 7 (- 1 1)) (cc (- 7 (first-denomination 1)) 1)))))) (+ (+ 0 (+ 0 (+ 0 (+ (cc 3 (- 1 1)) (cc (- 3 (first-denomination 1)) 1))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 7 0) (cc (- 7 1) 1)))))) (+ (+ 0 (+ 0 (+ 0 (+ (cc 3 0) (cc (- 3 1) 1))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 6 1)))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (cc 2 1))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 6 (- 1 1)) (cc (- 6 (first-denomination 1)) 1))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 2 (- 1 1)) (cc (- 2 (first-denomination 1)) 1)))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 6 0) (cc (- 6 1) 1))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 2 0) (cc (- 2 1) 1)))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 6 0) (cc 5 1))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 2 0) (cc 1 1)))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 5 (- 1 1)) (cc (- 5 (first-denomination 1)) 1)))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 1 (- 1 1)) (cc (- 1 (first-denomination 1)) 1))))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 5 0) (cc (- 5 1) 1)))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 1 0) (cc (- 1 1) 1))))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 5 0) (cc 4 1)))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 1 0) (cc 0 1))))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1)))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1))))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ (+ 0 (+ 0 (+ 0 (+ 0 1)))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ (+ 0 (+ 0 (+ 0 1))) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ (+ 0 (+ 0 1)) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ (+ 0 1) 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) (+ 1 1)) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (cc 4 1)))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 4 (- 1 1)) (cc (- 4 (first-denomination 1)) 1))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 4 0) (cc (- 4 1) 1))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 4 0) (cc 3 1))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 3 (- 1 1)) (cc (- 3 (first-denomination 1)) 1)))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 3 0) (cc (- 3 1) 1)))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 3 0) (cc 2 1)))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 2 (- 1 1)) (cc (- 2 (first-denomination 1)) 1))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 2 0) (cc (- 2 1) 1))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 2 0) (cc 1 1))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 1 (- 1 1)) (cc (- 1 (first-denomination 1)) 1)))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 1 0) (cc (- 1 1) 1)))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ (cc 1 0) (cc 0 1)))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1))))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1)))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1))))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1)))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1))))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1)))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 (+ 0 1))))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 (+ 0 1)))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 (+ 0 1))) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 (+ 0 1)) 2) 1) 0) 0)
(+ (+ (+ (+ (+ 0 1) 2) 1) 0) 0)
(+ (+ (+ (+ 1 2) 1) 0) 0)
(+ (+ (+ 3 1) 0) 0)
(+ (+ 4 0) 0)
(+ 4 0)
4
Growth:
- steps > space > n
- steps: 5*n
- space: 3*n