data/32-ec-1277190372.sn: 32-input SN found with evolution-cut.

diff --git a/data/32-ec-1277190372.sn b/data/32-ec-1277190372.sn
new file mode 100644 (file)
index 0000000..57f66d1
--- /dev/null
+++ b/data/32-ec-1277190372.sn
@@ -0,0 +1,224 @@
+Inputs: 32
+Comment: sn-evolution-cut (sn-batcher 64)
+
+0 1
+2 3
+4 20
+5 21
+6 8
+7 17
+9 18
+10 19
+11 22
+12 23
+15 30
+24 26
+28 29
+14 27
+16 31
+13 25
+
+1 2
+0 3
+4 5
+6 7
+8 17
+9 10
+11 12
+13 24
+14 29
+15 16
+18 19
+20 21
+22 23
+25 26
+27 28
+30 31
+
+2 3
+0 1
+5 20
+7 8
+10 18
+12 22
+16 30
+24 25
+28 29
+14 27
+
+0 4
+1 21
+2 20
+3 5
+6 10
+7 9
+8 19
+11 24
+12 13
+14 15
+16 29
+17 18
+22 26
+23 25
+27 31
+28 30
+
+1 3
+2 4
+5 21
+6 7
+8 10
+9 17
+11 12
+13 23
+15 28
+16 27
+18 19
+22 24
+25 26
+29 31
+
+1 2
+3 4
+5 20
+8 9
+10 17
+13 22
+15 16
+23 24
+27 28
+29 30
+
+0 8
+1 7
+2 6
+3 19
+4 18
+5 17
+9 21
+10 20
+11 16
+12 15
+13 14
+22 31
+23 30
+24 29
+25 28
+26 27
+
+0 2
+3 9
+4 8
+5 7
+6 10
+11 13
+14 25
+15 24
+16 23
+18 20
+19 21
+22 26
+27 31
+28 30
+
+1 2
+3 5
+4 6
+7 9
+8 10
+12 13
+14 16
+15 22
+17 19
+23 25
+24 26
+27 29
+
+3 4
+5 6
+7 8
+9 10
+14 15
+16 22
+17 18
+19 20
+23 24
+25 26
+27 28
+29 30
+
+0 16
+1 15
+2 14
+3 13
+4 12
+5 11
+6 31
+7 30
+8 29
+9 28
+10 27
+17 26
+18 25
+19 24
+20 23
+21 22
+
+0 4
+1 5
+6 20
+7 21
+8 16
+9 15
+10 14
+11 19
+12 18
+13 17
+22 30
+23 31
+24 28
+25 29
+
+0 1
+2 4
+3 5
+6 10
+7 13
+8 12
+9 11
+14 20
+15 19
+16 18
+17 21
+22 26
+23 27
+30 31
+
+2 3
+4 5
+6 8
+7 9
+10 12
+11 13
+14 16
+15 17
+18 20
+19 21
+22 24
+23 25
+26 28
+27 29
+
+6 7
+8 9
+10 11
+12 13
+14 15
+16 17
+18 19
+20 21
+22 23
+24 25
+26 27
+28 29
+