Add 32 and 64 line networks found by evolution-cut.

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

diff --git a/data/64-ec-1277193903.sn b/data/64-ec-1277193903.sn
new file mode 100644 (file)
index 0000000..1cc0738
--- /dev/null
+++ b/data/64-ec-1277193903.sn
@@ -0,0 +1,608 @@
+Inputs: 64
+Comment: sn-evolution-cut (sn-batcher 128)
+
+1 12
+3 40
+6 39
+7 42
+0 2
+4 5
+8 41
+9 10
+11 43
+13 34
+14 16
+17 18
+15 35
+19 36
+20 21
+22 23
+25 52
+26 53
+28 59
+29 58
+30 56
+31 63
+32 62
+37 38
+44 45
+47 48
+49 50
+54 61
+33 60
+27 51
+24 46
+55 57
+
+0 3
+1 13
+2 40
+4 39
+5 6
+7 8
+9 11
+10 43
+12 34
+14 15
+16 35
+17 19
+18 36
+20 38
+21 37
+22 44
+23 45
+24 48
+25 26
+27 49
+28 29
+30 55
+31 32
+33 61
+41 42
+46 47
+50 51
+52 53
+54 60
+56 57
+58 59
+62 63
+
+2 3
+4 5
+6 39
+8 41
+10 11
+12 13
+15 16
+18 19
+20 21
+23 44
+24 46
+26 52
+29 58
+32 62
+33 54
+37 38
+47 48
+49 50
+55 56
+60 61
+
+0 4
+1 15
+2 39
+3 6
+5 40
+7 10
+8 9
+11 42
+12 14
+13 35
+16 34
+17 20
+18 38
+19 37
+21 36
+22 24
+23 48
+25 49
+26 27
+28 55
+29 30
+31 33
+32 61
+41 43
+44 47
+45 46
+50 53
+51 52
+54 63
+56 59
+57 58
+60 62
+
+1 12
+2 5
+3 4
+7 8
+9 11
+10 41
+13 15
+14 16
+18 21
+19 20
+23 45
+24 44
+25 26
+27 50
+28 29
+30 56
+32 54
+33 60
+34 35
+36 38
+39 40
+42 43
+46 48
+49 51
+52 53
+55 57
+58 59
+61 63
+
+2 3
+4 5
+6 39
+9 10
+11 41
+13 14
+15 16
+18 19
+20 21
+23 24
+27 49
+30 55
+32 33
+36 37
+44 45
+46 47
+50 51
+54 60
+56 57
+61 62
+
+0 9
+1 19
+2 8
+3 7
+4 43
+5 42
+6 41
+10 40
+11 39
+12 18
+13 17
+14 38
+15 37
+16 36
+20 35
+21 34
+22 27
+23 26
+24 25
+28 33
+29 32
+30 31
+44 53
+45 52
+46 51
+47 50
+48 49
+54 59
+55 63
+56 62
+57 61
+58 60
+
+0 3
+1 13
+4 10
+5 9
+6 8
+7 11
+14 20
+15 19
+16 18
+17 21
+22 24
+25 47
+26 46
+27 45
+28 30
+31 58
+32 57
+33 56
+34 37
+35 38
+39 42
+40 43
+44 48
+49 53
+50 52
+54 55
+59 63
+60 62
+
+2 3
+4 6
+5 7
+8 10
+9 11
+12 13
+14 16
+15 17
+18 20
+19 21
+23 24
+25 27
+26 44
+29 30
+31 33
+32 54
+35 36
+40 41
+45 47
+46 48
+49 51
+55 57
+56 58
+59 61
+
+4 5
+6 7
+8 9
+10 11
+14 15
+16 17
+18 19
+20 21
+25 26
+27 44
+31 32
+33 54
+34 35
+36 37
+39 40
+41 42
+45 46
+47 48
+49 50
+51 52
+55 56
+57 58
+59 60
+61 62
+
+0 16
+1 6
+2 15
+3 14
+4 13
+5 12
+7 38
+8 37
+9 36
+10 35
+11 34
+17 43
+18 42
+19 41
+20 40
+21 39
+22 33
+23 32
+24 31
+25 30
+26 29
+27 28
+44 63
+45 62
+46 61
+47 60
+48 59
+49 58
+50 57
+51 56
+52 55
+53 54
+
+0 5
+1 2
+6 19
+7 18
+8 17
+9 16
+10 15
+11 14
+12 20
+13 21
+22 26
+23 27
+28 51
+29 50
+30 49
+31 48
+32 47
+33 46
+35 41
+36 40
+37 43
+38 42
+44 52
+45 53
+54 62
+55 63
+56 60
+57 61
+
+0 1
+2 4
+3 5
+6 10
+7 11
+8 13
+9 12
+14 18
+15 19
+16 20
+17 21
+22 23
+24 26
+25 27
+28 32
+29 33
+30 45
+31 44
+34 38
+37 39
+42 43
+46 50
+47 51
+48 52
+49 53
+54 58
+55 59
+62 63
+
+2 3
+4 5
+6 8
+7 9
+10 13
+11 12
+14 16
+15 17
+18 20
+19 21
+24 25
+26 27
+28 30
+29 31
+32 45
+33 44
+34 36
+35 37
+38 40
+39 41
+46 48
+47 49
+50 52
+51 53
+54 56
+55 57
+58 60
+59 61
+
+6 7
+8 9
+10 11
+12 13
+14 15
+16 17
+18 19
+20 21
+28 29
+30 31
+32 33
+34 35
+36 37
+38 39
+40 41
+44 45
+46 47
+48 49
+50 51
+52 53
+54 55
+56 57
+58 59
+60 61
+
+0 33
+1 32
+2 31
+3 30
+4 29
+5 28
+6 27
+7 26
+8 25
+9 24
+10 23
+11 22
+12 63
+13 62
+14 61
+15 60
+16 59
+17 58
+18 57
+19 56
+20 55
+21 54
+34 53
+35 52
+36 51
+37 50
+38 49
+39 48
+40 47
+41 46
+42 45
+43 44
+
+0 8
+1 9
+2 10
+3 11
+12 40
+13 41
+14 42
+15 43
+16 33
+17 32
+18 31
+19 30
+20 29
+21 28
+22 39
+23 38
+24 37
+25 36
+26 35
+27 34
+44 60
+45 61
+46 62
+47 63
+48 56
+49 57
+50 58
+51 59
+
+0 2
+1 3
+4 8
+5 9
+6 10
+7 11
+12 20
+13 21
+14 27
+15 26
+16 25
+17 24
+18 23
+19 22
+28 41
+29 40
+30 39
+31 38
+32 37
+33 36
+34 42
+35 43
+44 52
+45 53
+46 54
+47 55
+60 62
+61 63
+
+0 1
+2 3
+4 6
+5 7
+8 10
+9 11
+12 16
+13 17
+14 18
+15 19
+20 25
+21 24
+22 26
+23 27
+28 32
+29 33
+30 35
+31 34
+36 40
+37 41
+38 42
+39 43
+44 48
+45 49
+46 50
+47 51
+52 56
+53 57
+54 58
+55 59
+60 61
+62 63
+
+4 5
+6 7
+8 9
+10 11
+12 14
+13 15
+16 18
+17 19
+20 23
+21 22
+24 26
+25 27
+28 30
+29 31
+32 35
+33 34
+36 38
+37 39
+40 42
+41 43
+44 46
+45 47
+48 50
+49 51
+52 54
+53 55
+56 58
+57 59
+
+12 13
+14 15
+16 17
+18 19
+20 21
+22 23
+24 25
+26 27
+28 29
+30 31
+32 33
+34 35
+36 37
+38 39
+40 41
+42 43
+44 45
+46 47
+48 49
+50 51
+52 53
+54 55
+56 57
+58 59
+