4 lines
125 B
Text
4 lines
125 B
Text
#:I.0=+/errors
|
|
1 0 1 1 0 1 1 0 0 0 1 0
|
|
1+I.#:I.0=+/errors NB. true propositions for the consistent case
|
|
1 3 4 6 7 11
|