2. c:
0
k3. p:
k( List)4. j:
k5. x:
||p(j)||6. (p(j))[x] < 0
p(j) 
0 List
k:, c:(0k). 
p:(k( List)). sum(||p(j)|| | j < k) = 0 & (j:k, x,y:||p(j)||. x < y 
(p(j))[x] > (p(j))[y]) & (j:k, x:||p(j)||. (p(j))[x] < 0 & c((p(j))[x]) = j)
j.nil]
n:, a:
. sum(a | x < n) = a
n
0)
| 1 | 1. k: 2. c: 0k3. p: k( List)4. j: k5. x: ||p(j)||6. (p(j))[x] < 0 p(j) 0 List | 1 step |
About:
 |  |  |  |  |  |  |  |
 |  |  |  |  |  |
 |