dsrun009.stdout 30 Bytes
Newer Older
1
(Negate (FromInteger 2),True)