mh2.ltg

1
put
0
2
0
zero
1
put
1
2
1
zero
1
succ
1
1
put
2
2
2
zero
1
succ
2
1
dbl
2
1
dbl
2
1
succ
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
dbl
2
1
put
99
2
99
help
1
K
99
1
S
99
2
99
get
2
99
zero
1
K
99
1
S
99
2
99
get
1
K
99
1
S
99
2
99
succ
2
99
zero
1
K
99
1
S
99
2
99
get
1
K
99
1
S
99
2
99
dbl
1
K
99
1
S
99
2
99
succ
2
99
zero
2
99
help
1
K
99
1
S
99
2
99
get
1
K
99
1
S
99
2
99
succ
2
99
zero
1
K
99
1
S
99
2
99
get
2
99
zero
1
K
99
1
S
99
2
99
get
1
K
99
1
S
99
2
99
dbl
1
K
99
1
S
99
2
99
succ
2
99
zero