diff data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json @ 35:9d5c3b078c78

other training problem.
author William Morgan <bill@mrgn.org>
date Sat, 10 Aug 2013 22:31:18 -0700
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json	Sat Aug 10 22:31:18 2013 -0700
@@ -0,0 +1,12 @@
+{
+    "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))))"
+}