blob: d725478b1b83e5e3bc3b351c331dadbd653dd748 [file] [log] [blame]
C
[n] -> { : }
0
1
[n] -> { [i] : 0 <= i and n <= i <= n + 1 <= 10 }
0 0 0
0
0