0: = 10 a
1: <= a 0 7
2: * a a t2
3: = t2 b
4: - a 1 t4
5: = t4 a
6: GO 1
7: + a b t7
8: = t7 x
9: + b b t9
10: = t9 y
11: <= x y 14
12: = x max
13: GO 15
14: = y max