2. 0 < d
3.
i,j:
. j-i = d-1 
upto(i;j) 
{i..j
} List4. i:
5. j:
6. j-i = d
7. i < j
upto(i+1;j) {i..j} List
d,i,j:. j-i = d upto(i;j) {i..j} List
| 1 | 1. d: 2. 0 < d 3. i,j:. j-i = d-1 upto(i;j) {i..j} List4. i: 5. j: 6. j-i = d 7. i < j upto(i+1;j) {i..j} List | 2 steps |
About:
 |  |  |  |  |  |  |  |  |