diff --git a/out b/out
deleted file mode 100644
index da096ac0..00000000
Binary files a/out and /dev/null differ
diff --git a/out.code b/out.code
deleted file mode 100644
index eb97b00d..00000000
--- a/out.code
+++ /dev/null
@@ -1,3 +0,0 @@
-def main(c,private a):
-	c == (a * b)
-	return 1
diff --git a/witness b/witness
deleted file mode 100644
index 238a5085..00000000
--- a/witness
+++ /dev/null
@@ -1,5 +0,0 @@
-a 2
-~one 1
-b 4
-~out 1
-c 8