view data/train/IxVBHQTlzePZHljYiBdZLwKh.json @ 59:3c8d8fdd32a1 default tip

mike's changes to solver
author bill
date Sun, 11 Aug 2013 15:24:22 -0700
parents c94beafc8d1e
children
line wrap: on
line source

{
    "id": "IxVBHQTlzePZHljYiBdZLwKh",
    "size": 6,
    "operators": [
        "not",
        "shr4",
        "xor"
    ],
    "challenge": "(lambda (x_4565) (xor (shr4 x_4565) (not 1)))"
}