Mercurial > repos > icfp2013
changeset 35:9d5c3b078c78
other training problem.
author | William Morgan <bill@mrgn.org> |
---|---|
date | Sat, 10 Aug 2013 22:31:18 -0700 |
parents | 732d9739356e |
children | c42d3c8b1d75 c94beafc8d1e |
files | data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json src/requests.tp |
diffstat | 2 files changed, 16 insertions(+), 0 deletions(-) [+] |
line wrap: on
line diff
--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json Sat Aug 10 22:31:18 2013 -0700 @@ -0,0 +1,12 @@ +{ + "id": "QwhG7ZpaVsfXiLRvbJfIfxl8", + "size": 15, + "operators": [ + "and", + "if0", + "shl1", + "shr16", + "tfold" + ], + "challenge": "(lambda (x_18985) (fold x_18985 0 (lambda (x_18985 x_18986) (and (if0 (shl1 (shr16 (shl1 (shl1 x_18986)))) x_18985 x_18986) 1))))" +}