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))))"
}