Mercurial > repos > icfp2013
view data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json @ 59:3c8d8fdd32a1 default tip
mike's changes to solver
author | bill |
---|---|
date | Sun, 11 Aug 2013 15:24:22 -0700 |
parents | 9d5c3b078c78 |
children |
line wrap: on
line source
{ "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))))" }