From 76fb3a1eff8a9f1bcb5b8a6f74db819ca696ae3c Mon Sep 17 00:00:00 2001
From: Thibaut Schaeffer <obit@Thibauts-MBP.fritz.box>
Date: Sun, 26 Nov 2017 14:31:46 +0100
Subject: [PATCH] remove artifacts. really need to ignore them

---
 out      | Bin 120 -> 0 bytes
 out.code |   3 ---
 witness  |   5 -----
 3 files changed, 8 deletions(-)
 delete mode 100644 out
 delete mode 100644 out.code
 delete mode 100644 witness

diff --git a/out b/out
deleted file mode 100644
index da096ac07191ba1b920f2cfea2da13867d86a607..0000000000000000000000000000000000000000
GIT binary patch
literal 0
HcmV?d00001

literal 120
xcmZQ%fB+UKotv1M#{^|FLg{1%7%PzxCI_NHqA;0ckO9a7iO8HJs7Y|;i~tdq1F8T3

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