0D-2.st 69 Bytes Raw Blame History Permalink 1 2 3 domain: "[M] -> { S1[] : M >= 0 }" child: context: "[M] -> { [] }"
