2017-08-11 21:58:45 +03:00
|
|
|
(Program
|
|
|
|
(Negate
|
|
|
|
{ (Integer)
|
|
|
|
->(Integer) })
|
2017-10-03 22:26:50 +03:00
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
2017-08-11 21:58:45 +03:00
|
|
|
{+(Integer)+}
|
|
|
|
{+(Integer)+}
|
|
|
|
{+(Negate
|
2017-09-10 01:41:12 +03:00
|
|
|
{+(Integer)+})+}
|
2017-08-11 21:58:45 +03:00
|
|
|
{+(Integer)+}
|
2017-12-02 01:13:24 +03:00
|
|
|
{+(Integer)+}
|
|
|
|
{+(Integer)+}
|
2017-08-11 21:58:45 +03:00
|
|
|
{+(Integer)+}
|
2017-10-03 22:26:50 +03:00
|
|
|
{ (Integer)
|
|
|
|
->(Integer) }
|
2017-08-11 21:58:45 +03:00
|
|
|
{+(Integer)+}
|
|
|
|
{+(Integer)+}
|
|
|
|
{+(Integer)+}
|
2017-12-02 01:13:24 +03:00
|
|
|
{-(Integer)-}
|
2017-08-11 21:58:45 +03:00
|
|
|
{-(Negate
|
2017-09-10 01:41:12 +03:00
|
|
|
{-(Integer)-})-}
|
2017-08-11 21:58:45 +03:00
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-}
|
|
|
|
{-(Integer)-})
|