s[x] < [(n-1)][(y-||s||)]
List
List
k
i:||L||. 0 < L[i] 
R[i]- > L[i--]^k
n
n List)| ||s|| = k & (x,y:||s||. x < y s[x] < s[y]) }
||L||
(n-1) List
x,y:||s||. x < y s[x] < s[y]
(||s||+1)
(||s||+1)
(s @ [(n-1)])[x] < (s @ [(n-1)])[y]
as,bs:T List, i:{||as||..(||as||+||bs||)
}. (as @ bs)[i] = bs[(i-||as||)]))
0
as,bs:T List, i:||as||. (as @ bs)[i] = as[i]
0
| 1 | s[x] < [(n-1)][(y-||s||)] | 1 step |
About:
 |  |  |  |  |  |  |  |
 |  |  |  |  |  |
 |