view data/train/wdThP1AgVrS2rp7q6qt9mLqp.json @ 4:59daef77c189

This is a training request I generated so we can test the evaluator.
author William Morgan <bill@mrgn.org>
date Thu, 08 Aug 2013 22:14:09 -0700
parents
children
line wrap: on
line source

{
  "id": "wdThP1AgVrS2rp7q6qt9mLqp",
  "size": 30,
  "operators": [
    "and",
    "fold",
    "if0",
    "not",
    "or",
    "plus",
    "shl1",
    "shr1",
    "shr16",
    "shr4",
    "xor"
  ],
  "challenge": "(lambda (x_79346) (fold x_79346 x_79346 (lambda (x_79347 x_79348) (xor (shr1 (or (plus (not (shr16 (shl1 (and (shr4 (not (shr4 x_79347))) (if0 (and (xor (shr1 (not x_79348)) x_79347) x_79348) x_79347 x_79348))))) x_79347) x_79348)) x_79348))))"
}