changeset 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 dfc5f00c94bc
children aac89683606e
files data/train/wdThP1AgVrS2rp7q6qt9mLqp.json
diffstat 1 files changed, 18 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/data/train/wdThP1AgVrS2rp7q6qt9mLqp.json	Thu Aug 08 22:14:09 2013 -0700
@@ -0,0 +1,18 @@
+{
+  "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))))"
+}