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
"%1"
"%3%0@%1@"
"%3%3%3%0@%1@2%0@2%2@"
"%0"
"%3%3%3%0@%1@2%3%3%1@%3%0@%1@3%1@3%2@"
"%3%3%1@%2@2%3%3%1@%2@2%2@2"
"%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@5"
"%3%3%3%1@%3%0@%1@3%2@2%3%3%0@%1@2%2@2"
"%3%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%3%0@%1@2%3%1@%3%0@%1@5%2@"
"%3%1@%3%0@%2@2"
"%3%3%2@%1@2%3%3%1@%2@2%1@2"
"%3%3%2@%3%3%3%0@%1@2%3%1@%3%0@%1@4%2@3%2@"
"%3%3%3%0@%1@2%3%3%1@%3%0@%1@3%3%1@%3%0@%1@5%2@"
"%3%3%3%0@%2@2%3%0@%2@3%3%1@%2@2"
"%3%3%3%1@%2@2%2@2%3%3%0@%1@2%2@2"
"%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%2@%3%1@%2@3%3%3%1@%2@2%3%2@%3%1@%2@5"
"%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%1@%2@3"
"%3%3%3%1@%3%0@%1@3%2@2%3%2@%3%3%1@%3%0@%1@3%2@3"
"%3%3%3%2@%3%1@%2@3%3%3%0@%1@2%2@3%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%0@%1@2%2@3"
"%3%3%3%3%0@%1@2%0@2%2@2%3%3%1@%3%3%0@%1@2%0@3%2@2"
"%3%3%3%3%0@%1@2%0@2%3%0@%1@3%2@"
"%3%3%3%3%0@%1@2%2@2%3%3%1@%3%0@%1@3%2@3%3%3%2@%3%3%0@%1@2%2@3%3%3%1@%3%0@%1@3%2@3"
"%3%3%3%3%0@%1@2%3%0@%1@3%3%3%1@%3%0@%1@3%3%0@%1@4%2@"
"%3%3%0@%1@2%3%1@%2@2"
"%3%3%0@%1@2%3%2@%3%3%0@%1@2%2@3"
"%3%3%0@%3%3%0@%1@2%1@3%2@"
"%3%3%1@%2@2%3%3%1@%2@2%3%3%2@%3%1@%2@3%2@3"
"%3%3%1@%2@2%3%3%2@%3%1@%2@3%3%3%1@%2@2%3%2@%3%1@%2@5"
"%3%3%1@%3%0@%1@3%3%0@%1@2"
"%3%3%1@%3%3%1@%2@2%1@3%3%2@%3%3%1@%2@2%1@3"
"%3%3%2@%1@2%1@"
"%3%3%2@%2@2%2@"
"%3%3%2@%3%1@%2@3%3%1@%3%1@%2@3"
"%3%3%2@%3%2@%3%1@%2@4%3%3%1@%2@2%3%2@%3%1@%2@4"
"%3%3%2@%3%3%0@%1@2%2@3%3%3%1@%3%0@%1@3%2@2"
"%3%3%2@%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@5%2@3%2@"
"%3%3%3%0@%0@2%3%2@%0@3%3%1@%2@2"
"%3%3%3%0@%1@2%2@2%1@"
"%3%3%3%0@%1@2%2@2%3%3%3%0@%1@2%2@2%3%3%0@%1@2%2@3"
"%3%3%3%0@%1@2%3%3%0@%1@2%3%3%0@%1@2%3%0@%1@5%2@"
"%3%3%3%0@%2@2%3%3%0@%0@2%2@3%3%1@%2@2"
"%3%3%3%1@%3%0@%1@3%2@2%3%3%1@%2@2%3%3%0@%1@2%2@3"
"%3%3%3%2@%2@2%3%1@%2@3%3%3%2@%3%2@%2@3%3%1@%2@3"
"%3%3%3%3%0@%0@2%1@2%3%0@%0@3%2@"
"%3%3%3%3%0@%0@2%3%3%0@%0@2%0@3%1@2%2@"
"%3%3%3%3%0@%1@2%0@2%1@2%2@"
"%3%3%3%3%0@%1@2%1@2%0@2%2@"
"%3%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@4%3%3%2@%3%3%0@%1@2%2@3%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@5"
"%3%3%3%3%1@%0@2%3%0@%3%1@%0@4%2@2%3%3%3%0@%3%1@%0@3%3%3%1@%0@2%3%0@%3%1@%0@5%2@2"
"%3%1@%3%3%3%0@%1@2%2@2%3%3%1@%3%0@%1@3%2@3"
"%3%2@%3%1@%3%0@%1@3"
"%3%3%1@%2@2%3%3%3%0@%1@2%2@2%2@2"
"%3%3%1@%3%3%0@%0@2%1@3%2@"
"%3%3%2@%1@2%3%1@%3%2@%1@3"
"%3%3%2@%3%1@%2@3%3%3%3%0@%1@2%2@2%3%1@%2@3"
"%3%3%2@%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@5%2@3%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@5%2@2"
"%3%3%3%0@%2@2%3%3%0@%2@2%3%0@%2@4%3%1@%2@2"
"%3%3%3%1@%0@2%3%3%1@%1@2%0@3%2@"
"%3%3%3%1@%2@2%1@2%3%3%1@%2@2%3%3%1@%2@2%1@3"
"%3%3%3%1@%2@2%3%3%0@%1@2%2@3%3%3%3%0@%1@2%2@2%3%3%1@%2@2%3%3%0@%1@2%2@4"
"%3%3%3%1@%3%0@%1@3%2@2%3%2@%2@2"
"%3%3%3%1@%3%0@%1@3%2@2%3%3%3%0@%1@2%3%3%1@%3%0@%1@3%2@3%3%2@%3%3%1@%3%0@%1@3%2@4"
"%3%3%3%1@%3%1@%1@3%3%1@%1@3%2@"
"%3%3%3%1@%3%1@%3%0@%1@4%1@2%2@"
"%3%3%3%1@%3%3%0@%1@2%0@3%3%0@%3%3%0@%1@2%0@4%2@"
"%3%3%3%2@%3%0@%2@3%3%3%2@%3%0@%2@3%3%0@%2@4%3%1@%2@2"
"%3%3%3%2@%3%1@%2@3%3%1@%2@3%3%2@%3%1@%2@3"
"%3%3%3%3%0@%0@2%1@2%2@2%3%3%1@%3%3%0@%0@2%1@3%2@2"
"%3%3%3%3%0@%1@2%3%0@%1@3%0@2%2@"
"%3%3%3%3%0@%1@2%3%1@%3%0@%1@4%2@2%3%3%3%0@%1@2%2@2%3%3%1@%3%0@%1@3%2@3"
"%3%3%3%3%0@%2@2%3%2@%3%0@%2@4%3%1@%2@3%3%3%0@%2@2%3%2@%3%0@%2@4"
"%3%3%3%3%1@%1@2%3%0@%1@3%1@2%2@"
"%3%3%3%3%1@%1@2%3%1@%3%1@%1@4%2@2%3%3%3%1@%3%1@%1@3%3%3%1@%1@2%3%1@%3%1@%1@5%2@2"
"%3%3%3%3%1@%1@2%3%3%1@%1@2%1@3%3%0@%1@3%2@"
"%3%3%3%3%1@%3%0@%1@3%1@2%3%3%0@%1@2%3%3%1@%3%0@%1@3%1@4%2@"
"%3%3%3%3%1@%3%0@%1@3%2@2%3%2@%3%3%1@%3%0@%1@3%2@4%3%3%3%0@%1@2%3%3%1@%3%0@%1@3%2@3%3%2@%3%3%1@%3%0@%1@3%2@4"
"%3%0@%3%3%0@%1@2%0@2"
"%3%1@%3%1@%3%2@%1@3"
"%3%3%0@%1@2%3%3%1@%3%0@%1@3%1@2"
"%3%3%1@%2@2%3%3%3%2@%3%0@%2@3%3%1@%2@3%3%3%3%0@%2@2%3%2@%3%0@%2@4%3%1@%2@4"
"%3%3%2@%3%1@%2@3%3%3%2@%3%0@%2@3%3%1@%2@3"
"%3%3%2@%3%1@%2@3%3%3%3%2@%2@2%3%1@%2@3%3%3%2@%3%2@%2@3%3%1@%2@4"
"%3%3%2@%3%3%0@%3%1@%2@3%3%2@%3%1@%2@5%3%3%1@%2@2%3%3%0@%3%1@%2@3%3%2@%3%1@%2@5"
"%3%3%3%0@%1@2%2@2%3%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@4%3%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@4%3%3%0@%1@2%2@4"
"%3%3%3%0@%1@2%3%3%3%0@%0@2%1@2%0@3%2@"
"%3%3%3%0@%1@2%3%3%3%0@%1@2%0@2%1@3%2@"
"%3%3%3%0@%1@2%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%3%1@%3%0@%1@3%3%1@%3%0@%1@6%2@"
"%3%3%3%0@%2@2%3%3%2@%3%0@%2@3%3%3%0@%2@2%3%2@%3%0@%2@6%3%1@%2@2"
"%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%1@%2@2%3%2@%3%1@%2@5"
"%3%3%3%2@%3%1@%2@3%2@2%3%3%0@%2@2%3%1@%2@3"
"%3%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@4%3%3%2@%3%3%0@%1@2%2@3%3%2@%3%3%0@%1@2%2@4"
"%3%3%3%3%0@%1@2%2@2%3%3%1@%3%0@%1@3%2@3%2@"
"%3%3%3%3%0@%1@2%3%1@%3%0@%1@4%2@2%3%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@6%2@2"
"%3%2@%3%3%2@%3%1@%2@3%2@2"
"%3%3%1@%2@2%3%1@%3%2@%3%1@%2@4"
"%3%3%1@%2@2%3%3%3%1@%1@2%2@2%1@2"
"%3%3%2@%3%2@%2@3%3%3%1@%3%0@%1@3%2@2"
"%3%3%3%0@%1@2%2@2%3%3%0@%1@2%3%1@%3%0@%1@4"
"%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%1@%3%3%0@%1@2%3%1@%3%0@%1@5"
"%3%3%3%0@%3%0@%2@3%3%2@%3%0@%2@4%3%1@%2@2"
"%3%3%3%1@%2@2%2@2%3%2@%2@2"
"%3%3%3%2@%3%1@%2@3%3%1@%2@3%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%1@%2@3"
"%3%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@4%3%3%1@%3%2@%3%3%0@%1@2%2@4%3%3%3%0@%1@2%2@2%3%2@%3%3%0@%1@2%2@5"
"%3%3%3%3%1@%1@2%3%3%1@%1@2%3%1@%1@4%3%0@%1@3%2@"
"%3%3%3%3%1@%3%0@%1@3%1@2%3%1@%3%0@%1@4%2@"
"%3%3%0@%3%1@%2@3%3%1@%2@2"
"%3%3%2@%3%1@%2@3%3%3%3%2@%3%1@%2@3%3%2@%3%1@%2@4%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%2@%3%1@%2@5"
"%3%3%3%0@%1@2%3%3%3%0@%0@2%3%3%0@%0@2%0@3%1@3%2@"
"%3%3%3%0@%1@2%3%3%3%0@%1@2%3%0@%1@3%3%1@%3%0@%1@5%2@"
"%3%3%3%0@%3%1@%2@3%3%0@%3%1@%2@4%3%2@%3%1@%2@3"
"%3%3%3%1@%3%0@%1@3%3%1@%3%0@%1@4%3%3%0@%1@2%3%3%1@%3%0@%1@3%3%1@%3%0@%1@5"
"%3%3%3%2@%3%0@%2@3%3%1@%2@3%3%3%0@%2@2%3%1@%2@3"
"%3%3%3%3%0@%0@2%1@2%3%3%3%0@%0@2%1@2%3%3%0@%0@2%1@4%2@"
"%3%3%3%3%0@%1@2%3%1@%3%0@%1@4%2@2%3%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@5%3%3%0@%1@2%3%1@%3%0@%1@5%2@2"
"%3%3%3%3%0@%1@2%3%3%1@%3%0@%1@3%1@3%3%3%0@%1@2%3%3%1@%3%0@%1@3%1@4%2@"
"%3%3%3%3%1@%2@2%3%1@%2@3%3%2@%3%1@%2@4%3%3%1@%2@2%3%1@%2@3"
"%3%3%3%3%1@%3%0@%1@3%3%3%1@%3%0@%1@3%3%1@%3%0@%1@5%3%3%0@%1@2%3%1@%3%0@%1@5%2@"
"%3%3%1@%2@2%3%3%1@%0@2%2@2"
"%3%3%1@%2@2%3%3%3%1@%3%0@%1@3%3%1@%3%0@%1@4%2@2"
"%3%3%2@%3%3%1@%1@2%2@3%3%3%1@%2@2%3%3%1@%1@2%2@3"
"%3%3%3%0@%1@2%2@2%3%3%3%3%0@%1@2%3%0@%1@3%3%3%0@%1@2%3%0@%1@4%2@2"
"%3%3%3%0@%1@2%3%3%3%0@%1@2%3%0@%1@3%3%0@%1@4%2@"
"%3%3%3%1@%2@2%3%3%1@%1@2%2@3%3%3%2@%3%1@%2@3%3%3%1@%1@2%2@3"
"%3%3%3%1@%3%3%0@%1@2%2@3%3%1@%3%3%0@%1@2%2@4%3%2@%3%3%0@%1@2%2@3"
"%3%3%3%2@%3%1@%2@3%3%3%1@%2@2%3%2@%3%1@%2@5%3%3%3%2@%3%1@%2@3%3%2@%3%1@%2@4%3%3%1@%2@2%3%2@%3%1@%2@5"
"%3%3%3%3%1@%3%0@%1@3%3%1@%3%0@%1@4%3%2@%3%1@%3%0@%1@5%3%3%1@%3%0@%1@3%2@2"
"%3%3%3%3%1@%3%0@%1@3%3%3%1@%3%0@%1@3%1@3%3%3%1@%3%0@%1@3%3%3%1@%3%0@%1@3%1@4%2@"
"%3%3%3%3%2@%2@2%2@2%3%3%2@%3%2@%2@3%2@3%3%1@%2@2"
"%3%3%0@%3%1@%2@3%3%3%0@%0@2%3%1@%2@3"
"%3%3%0@%3%3%1@%0@2%3%3%0@%1@2%0@4%2@"
"%3%3%2@%3%0@%1@3%3%2@%3%0@%1@3"
"%3%3%3%0@%1@2%2@2%3%3%1@%3%1@%1@3%2@2"
"%3%3%3%0@%2@2%3%1@%2@3%3%3%3%0@%2@2%3%1@%2@3%3%3%1@%2@2%3%3%0@%2@2%3%1@%2@5"
"%3%3%3%1@%2@2%3%2@%3%1@%2@4%1@"
"%3%3%3%1@%3%3%0@%1@2%2@3%3%3%1@%3%3%0@%1@2%2@3%3%1@%3%3%0@%1@2%2@5%3%2@%3%3%0@%1@2%2@3"
"%3%3%3%2@%3%0@%2@3%3%3%0@%2@2%3%2@%3%0@%2@5%3%3%3%2@%3%0@%2@3%3%2@%3%0@%2@4%3%3%0@%2@2%3%2@%3%0@%2@5"
"%3%3%3%2@%3%1@%2@3%3%3%2@%3%1@%2@3%2@3%1@"
"%3%3%3%3%0@%1@2%3%3%0@%1@2%0@3%3%1@%3%3%0@%1@2%3%3%0@%1@2%0@5%2@"
"%3%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@5%3%1@%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@7%2@"
"%3%3%0@%2@2%3%2@%2@2"
"%3%3%1@%2@2%3%3%3%1@%3%1@%3%0@%1@4%3%3%0@%1@2%3%1@%3%0@%1@5%2@2"
"%3%3%2@%3%1@%2@3%3%3%3%2@%3%1@%2@3%3%3%1@%2@2%3%2@%3%1@%2@5%3%3%1@%2@2%3%2@%3%1@%2@5"
"%3%3%2@%3%3%3%2@%3%2@%2@3%2@2%3%1@%2@4%2@"
"%3%3%3%0@%1@2%3%3%3%0@%3%1@%3%0@%1@4%3%1@%3%1@%3%0@%1@5%0@3%2@"
"%3%3%3%1@%2@2%2@2%3%3%3%1@%2@2%2@2%3%1@%2@3"
"%3%3%3%1@%3%0@%1@3%3%3%1@%3%3%0@%1@2%1@3%3%3%1@%3%3%0@%1@2%1@3%3%1@%3%3%0@%1@2%1@6%2@"
"%3%3%3%1@%3%0@%1@3%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%3%3%0@%1@2%3%1@%3%0@%1@4%3%3%1@%3%0@%1@3%3%1@%3%0@%1@7%2@"
"%3%0@%3%3%0@%1@2%2@2"
"%3%3%0@%1@2%3%3%3%1@%3%0@%1@3%2@2%3%3%3%0@%1@2%3%1@%3%0@%1@4%2@3"
"%3%3%0@%3%0@%0@3%3%3%0@%0@2%3%0@%3%0@%0@4"
"%3%3%0@%3%1@%2@3%3%3%0@%1@2%2@2"
"%3%3%1@%2@2%3%2@%3%3%1@%3%0@%1@3%2@3"
"%3%3%1@%3%3%3%0@%0@2%1@2%3%3%0@%0@2%1@4%2@"
"%3%3%1@%3%3%3%0@%1@2%3%0@%1@3%3%1@%3%0@%1@5%2@"
"%3%3%2@%3%0@%2@3%3%3%2@%3%0@%2@3%2@2"
"%3%3%3%0@%0@2%3%2@%3%1@%2@4%3%3%1@%2@2%3%2@%3%1@%2@4"
"%3%3%3%2@%3%1@%2@3%3%2@%3%1@%2@4%3%3%0@%1@2%2@2"
"%3%3%3%2@%3%1@%2@3%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%2@%3%1@%2@3%3%3%1@%2@2%3%2@%3%1@%2@7%2@"
"%3%3%3%3%0@%0@2%3%0@%3%0@%0@4%3%1@%2@3%3%2@%3%1@%2@3"
"%3%3%3%3%0@%1@2%2@2%2@2%3%3%2@%3%3%0@%1@2%2@3%2@2"
"%3%3%3%3%0@%1@2%3%0@%1@3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%1@%3%0@%1@6%2@"
"%3%3%0@%3%3%1@%3%1@%1@3%0@3%2@"
"%3%3%1@%2@2%3%3%3%2@%3%1@%2@3%3%1@%2@3%3%2@%3%1@%2@4"
"%3%3%2@%3%2@%3%2@%2@4%3%2@%3%2@%2@3"
"%3%3%2@%3%3%0@%1@2%2@3%3%3%3%1@%3%1@%1@3%2@2%3%3%0@%1@2%2@3"
"%3%3%2@%3%3%1@%2@2%3%2@%3%1@%2@5%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%2@%3%3%1@%2@2%3%2@%3%1@%2@6"
"%3%3%3%0@%1@2%3%1@%3%3%0@%1@2%1@4%2@"
"%3%3%3%1@%0@2%3%3%3%1@%3%1@%1@3%1@2%0@3%2@"
"%3%3%3%1@%1@2%3%3%3%1@%1@2%3%1@%3%1@%1@4%3%1@%1@4%2@"
"%3%3%3%1@%3%0@%1@3%2@2%3%3%2@%3%3%1@%3%0@%1@3%2@3%3%3%2@%2@2%3%3%1@%3%0@%1@3%2@4"
"%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%3%3%1@%3%0@%1@3%3%0@%1@3%3%1@%3%0@%1@6%2@"
"%3%3%3%1@%3%0@%1@3%3%3%1@%3%1@%3%0@%1@4%3%3%0@%1@2%3%1@%3%0@%1@6%2@"
"%3%3%3%1@%3%3%0@%1@2%1@3%3%3%0@%1@2%3%3%0@%1@2%1@4%2@"
"%3%3%3%2@%3%2@%2@3%3%1@%2@3%3%3%2@%3%2@%3%2@%2@4%3%1@%2@3"
"%3%3%3%2@%3%3%1@%2@2%2@3%3%3%3%1@%2@2%2@2%3%2@%3%3%1@%2@2%2@5%3%2@%3%3%1@%2@2%2@3"
"%3%3%3%3%0@%1@2%2@2%3%3%0@%1@2%2@3%3%3%0@%1@2%2@2"
"%3%3%3%3%0@%1@2%2@2%3%3%3%0@%1@2%2@2%3%0@%1@4%3%3%3%1@%3%0@%1@3%3%3%0@%1@2%3%0@%1@4%2@2"
"%3%3%3%3%1@%2@2%3%2@%3%1@%2@4%3%3%2@%3%1@%2@3%3%3%1@%2@2%3%2@%3%1@%2@6%3%3%0@%1@2%2@2"
"%3%3%3%3%1@%3%0@%1@3%3%1@%1@3%3%0@%1@3%2@"
"%3%3%3%3%2@%3%0@%2@3%3%0@%2@3%3%3%3%0@%2@2%3%2@%3%0@%2@4%3%0@%2@4%3%1@%2@2"
"%3%2@%3%2@%3%3%1@%3%0@%1@3%2@3"
"%3%2@%3%3%3%1@%1@2%3%1@%3%1@%1@4%2@2"
"%3%3%1@%2@2%3%3%3%0@%0@2%2@2%3%1@%2@3"
"%3%3%1@%3%0@%1@3%3%1@%3%1@%3%0@%1@4"
"%3%3%1@%3%0@%1@3%3%2@%3%3%1@%3%0@%1@3%2@3"
"%3%3%3%0@%1@2%3%3%0@%1@2%3%0@%3%0@%0@5%2@"
"%3%3%3%1@%3%1@%1@3%3%3%1@%3%1@%1@3%1@3%2@"
"%3%3%3%1@%3%3%0@%1@2%3%3%0@%1@2%3%0@%1@5%3%3%0@%1@2%3%3%0@%1@2%3%3%0@%1@2%3%0@%1@6%2@"
"%3%3%3%3%0@%1@2%1@2%3%1@%3%0@%1@4%2@"
"%3%3%3%3%1@%1@2%3%1@%3%0@%1@4%3%3%1@%3%1@%1@3%3%1@%3%0@%1@5%2@"
"%3%3%3%3%1@%3%0@%1@3%1@2%3%3%1@%3%0@%1@3%3%3%1@%3%0@%1@3%1@4%2@"
"%3%3%3%3%1@%3%0@%1@3%3%1@%3%1@%3%0@%1@5%3%3%1@%3%0@%1@3%3%1@%3%1@%3%0@%1@6%2@"
"%3%3%3%3%2@%3%2@%2@3%3%2@%3%2@%2@4%3%2@%3%2@%2@4%3%3%2@%2@2%3%2@%3%2@%2@4"
"%3%3%1@%2@2%3%3%2@%3%2@%2@3%3%3%2@%2@2%3%2@%2@4"
"%3%3%2@%3%3%3%3%0@%1@2%3%1@%3%0@%1@4%2@2%2@3%2@"
"%3%3%3%0@%0@2%2@2%3%3%3%0@%0@2%1@2%2@2"
"%3%3%3%1@%3%3%0@%1@2%0@3%3%1@%3%3%0@%1@2%0@4%2@"
"%3%3%3%3%1@%3%0@%1@3%1@2%3%3%1@%3%0@%1@3%3%1@%3%0@%1@5%2@"
"%3%3%3%3%1@%3%3%0@%0@2%1@3%3%3%3%0@%0@2%1@2%3%1@%3%3%0@%0@2%1@5%3%1@%3%3%0@%0@2%1@4%2@"
"%3%3%3%3%1@%3%3%0@%1@2%2@3%3%3%3%0@%1@2%2@2%3%1@%3%3%0@%1@2%2@5%3%1@%3%3%0@%1@2%2@4%3%2@%3%3%0@%1@2%2@3"
TERMS_END
