changeset 6:aac89683606e

Merge
author Mike Pavone <pavone@retrodev.com>
date Thu, 08 Aug 2013 22:32:48 -0700
parents 538440e1c3d2 (current diff) 59daef77c189 (diff)
children 301f16245955
files
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:32:48 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))))"
+}