IDS
["min" "fun"]

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

TERMS
[TMV "V1" 0, TMV "V2" 0, TMV "V3" 0, TMV "a" 2]

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