IDS
["min" "fun", "num" "num", "min" "bool", "arithmetic" "*",
 "arithmetic" "+", "min" "="]

TYPES
[TYOP 1, TYOP 2, TYOP 0 1 0, TYV "'a", TYOP 0 1 3, TYOP 0 0 0, TYOP 0 0 5,
 TYOP 0 0 1, TYOP 0 0 7]

TERMS
[TMV "graph_tag" 2, TMV "head_eval" 4, TMV "head_poli" 4, TMV "n0" 0,
 TMV "n1" 0, TMV "n10" 0, TMV "n11" 0, TMV "n12" 0, TMV "n13" 0,
 TMV "n14" 0, TMV "n15" 0, TMV "n2" 0, TMV "n3" 0, TMV "n4" 0, TMV "n5" 0,
 TMV "n6" 0, TMV "n7" 0, TMV "n8" 0, TMV "n9" 0, TMV "start" 0,
 TMV "v0p0" 0, TMV "v0p1" 0, TMV "v0p2" 0, TMV "v0p3" 0, TMV "v0p4" 0,
 TMV "v1p0" 0, TMV "v1p1" 0, TMV "v1p2" 0, TMV "v1p3" 0, TMV "v1p4" 0,
 TMV "v2p0" 0, TMV "v2p1" 0, TMV "v2p2" 0, TMV "v2p3" 0, TMV "v2p4" 0,
 TMV "v3p0" 0, TMV "v3p1" 0, TMV "v3p2" 0, TMV "v3p3" 0, TMV "v3p4" 0,
 TMC 3 6, TMC 4 6, TMC 5 8]

TERMS_START
"%0"
"%1"
"%2"
"%3"
"%4"
"%5"
"%6"
"%7"
"%8"
"%9"
"%10"
"%11"
"%12"
"%13"
"%14"
"%15"
"%16"
"%17"
"%18"
"%19"
"%20"
"%21"
"%22"
"%23"
"%24"
"%25"
"%26"
"%27"
"%28"
"%29"
"%30"
"%31"
"%32"
"%33"
"%34"
"%35"
"%36"
"%37"
"%38"
"%39"
"%40"
"%41"
"%42"
TERMS_END
