1337-3 +|-|15 |_|53|2 <4/\/ (0/\/+|2!|3|_|+3 \/\/1+|-| 4/\/ 4|)\/4/\/(3|) 13\/31 0|= 1337.