From c9fc5a3cdf1f5ea2d104c150c30d1b1a6ac64239 Mon Sep 17 00:00:00 2001
From: Andres Erbsen <andreser@mit.edu>
Date: Thu, 6 Apr 2017 22:53:07 -0400
Subject: rename-everything

---
 synthesis-parameters.txt | 53 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 53 insertions(+)
 create mode 100644 synthesis-parameters.txt

(limited to 'synthesis-parameters.txt')

diff --git a/synthesis-parameters.txt b/synthesis-parameters.txt
new file mode 100644
index 000000000..2140cebf0
--- /dev/null
+++ b/synthesis-parameters.txt
@@ -0,0 +1,53 @@
+==> src/SpecificGen/2213_32.json <==
+{
+        "k" : 221,
+        "c" : 3,
+        "n" : 8,
+        "w" : 32,
+        "ch" : "[0;1;2;3;4;5;6;7;0;1]"
+}
+
+==> src/SpecificGen/2519_32.json <==
+{
+        "k" : 251,
+        "c" : 9,
+        "n" : 10,
+        "w" : 32,
+        "ch" : "[0;1;2;3;4;5;6;7;8;9;0;1]"
+}
+
+==> src/SpecificGen/25519_32.json <==
+{
+        "k" : 255,
+        "c" : 19,
+        "n" : 10,
+        "w" : 32,
+        "ch" : "[0;1;2;3;4;5;6;7;8;9;0;1]"
+}
+
+==> src/SpecificGen/25519_64.json <==
+{
+        "k" : 255,
+        "c" : 19,
+        "n" : 5,
+        "w" : 64,
+        "ch" : "[0;1;2;3;4;0;1]"
+}
+
+==> src/SpecificGen/41417_32.json <==
+{
+        "k" : 414,
+        "c" : 17,
+        "n" : 18,
+        "w" : 32,
+        "ch" : "[0;1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;0;1]"
+}
+
+==> src/SpecificGen/5211_32.json <==
+{
+        "k" : 521,
+        "c" : 1,
+        "n" : 20,
+        "w" : 32,
+        "ch" : "[0;1;2;3;4;5;6;7;8;9;10;11;12;13;14;15;16;17;18;19;0;1]"
+}
-- 
cgit v1.2.3