IDS
["min" "fun"]

TYPES
[TYV "'a", TYOP 0 0 0, TYOP 0 0 1]

TERMS
[TMV "V1" 0, TMV "a" 2, TMV "k" 0, TMV "s" 0]

TERMS_START
"%1%1%3@%1%1%3@%1%2@%1%3@%1%3@%1%2@%3@6%2@3%1%1%3@%3@2%1%1%3@%2@2%0@3"
TERMS_END
