# HG changeset patch
# User William Morgan <bill@mrgn.org>
# Date 1376199078 25200
# Node ID 9d5c3b078c78aa9f819751718021682bff567ded
# Parent  732d9739356e96b8007793d51141dfcbc221f980
other training problem.

diff -r 732d9739356e -r 9d5c3b078c78 data/train/QwhG7ZpaVsfXiLRvbJfIfxl8.json
--- /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))))"
+}
diff -r 732d9739356e -r 9d5c3b078c78 src/requests.tp
--- a/src/requests.tp	Sat Aug 10 22:26:05 2013 -0700
+++ b/src/requests.tp	Sat Aug 10 22:31:18 2013 -0700
@@ -178,6 +178,10 @@
 		}
 	}
 
+	problem <- : str {
+		
+	}
+
 	main <- :args {
 		//print: ((evalId: "someId" #[1u64 2u64 3u64]) string) . "\n"
 		//print: ((guess: "someId" "someProg") string) . "\n"