1 files changed, 128 insertions, 0 deletions
diff --git a/graphs/florida-bay.graph b/graphs/florida-bay.graph
new file mode 100644
index 0000000..05545f1
--- /dev/null
+++ b/graphs/florida-bay.graph
@@ -0,0 +1,128 @@
+0 1 1 2 1 3 1 4 1 5 1 6 1 7 1 8 1 9 1 10 1 11 1 12 1 13 1 14 1 24 1 62 1 18 1 15 1
+1 17 1 19 1 20 1 21 1 22 1 23 1 25 1 30 1 44 1 45 1 54 1 40 1 70 1 93 1 15 1
+2 17 1 19 1 20 1 21 1 22 1 23 1 25 1 30 1 44 1 45 1 46 1 52 1 54 1 55 1 33 1 34 1 57 1 59 1 93 1 73 1 84 1 74 1 15 1
+3 20 1 21 1 22 1 25 1 44 1 93 1 73 1 84 1 74 1 15 1
+4 17 1 19 1 20 1 21 1 22 1 23 1 25 1 30 1 31 1 45 1 54 1 15 1
+5 19 1 20 1 21 1 22 1 25 1 30 1 31 1 45 1 54 1 57 1 40 1 70 1 93 1 15 1
+6 19 1 20 1 21 1 22 1 24 1 25 1 30 1 45 1 54 1 40 1 70 1 93 1 15 1
+7 19 1 20 1 21 1 22 1 25 1 30 1 44 1 45 1 54 1 40 1 70 1 93 1 15 1
+8 26 1 28 1 29 1 44 1 46 1 52 1 53 1 55 1 33 1 34 1 35 1 37 1 57 1 59 1 93 1 75 1 27 1
+9 35 1 36 1 38 1 57 1 56 1 90 1 73 1 75 1 112 1 113 1 122 1 125 1 18 1 27 1 15 1 126 1
+10 35 1 36 1 38 1 57 1 56 1 90 1 73 1 75 1 112 1 113 1 125 1 18 1 27 1 15 1 126 1
+11 35 1 36 1 38 1 57 1 56 1 90 1 73 1 75 1 112 1 113 1 125 1 18 1 27 1 15 1 126 1
+12 27 1
+13 93 1 73 1 84 1 74 1 75 1 18 1 27 1 15 1 126 1
+14 44 1 47 1 35 1 36 1 37 1 38 1 57 1 39 1 56 1 90 1 93 1 82 1 73 1 84 1 74 1 75 1 112 1 113 1 122 1 125 1 18 1 27 1 15 1
+15 16 1
+16 17 1 19 1 20 1 21 1 22 1 23 1 25 1 30 1 45 1 18 1 127 1
+17 19 1 20 1 21 1 22 1 23 1 25 1 30 1 45 1 54 1 18 1 127 1
+18 17 1 19 1 20 1 21 1 22 1 23 1 24 1 25 1 30 1 45 1 54 1 27 1 127 1
+19 20 1 21 1 22 1 25 1 30 1 45 1 54 1 18 1 127 1
+20 24 1 31 1 32 1 44 1 57 1 64 1 65 1 66 1 90 1 40 1 41 1 70 1 50 1 78 1 79 1 80 1 95 1 96 1 71 1 72 1 83 1 98 1 88 1 43 1 51 1 86 1 18 1 127 1
+21 24 1 31 1 32 1 44 1 57 1 64 1 65 1 66 1 90 1 40 1 41 1 70 1 50 1 78 1 79 1 80 1 95 1 96 1 71 1 72 1 83 1 98 1 88 1 43 1 51 1 86 1 18 1 127 1
+22 24 1 31 1 32 1 44 1 57 1 64 1 65 1 66 1 90 1 40 1 41 1 70 1 50 1 78 1 79 1 80 1 95 1 96 1 71 1 72 1 83 1 98 1 88 1 43 1 51 1 86 1 18 1 127 1
+23 24 1 31 1 32 1 44 1 57 1 64 1 65 1 66 1 90 1 40 1 41 1 70 1 50 1 78 1 79 1 80 1 95 1 96 1 71 1 72 1 83 1 98 1 88 1 43 1 51 1 86 1 18 1 127 1
+24 32 1 64 1 65 1 66 1 90 1 40 1 41 1 70 1 92 1 50 1 51 1 18 1 127 1
+25 24 1 31 1 32 1 44 1 54 1 57 1 64 1 65 1 66 1 90 1 40 1 41 1 70 1 50 1 78 1 79 1 80 1 51 1 18 1 127 1
+26 28 1 29 1 46 1 52 1 53 1 54 1 55 1 33 1 34 1 74 1 27 1 127 1
+27 26 1 28 1 29 1 44 1 46 1 52 1 53 1 55 1 33 1 34 1 35 1 38 1 57 1 59 1 56 1 60 1 61 1 49 1 74 1 127 1
+28 29 1 46 1 52 1 53 1 54 1 55 1 33 1 34 1 74 1 27 1 127 1
+29 44 1 46 1 53 1 55 1 38 1 57 1 58 1 59 1 65 1 72 1 83 1 84 1 74 1 51 1 75 1 27 1 127 1
+30 44 1 64 1 71 1 82 1 73 1 84 1 85 1 75 1 121 1 123 1 125 1 18 1 127 1
+31 100 1 84 1 85 1 27 1 127 1
+32 44 1 71 1 73 1 100 1 85 1 121 1 123 1 27 1 127 1
+33 32 1 44 1 53 1 57 1 58 1 56 1 76 1 87 1 64 1 65 1 49 1 40 1 41 1 70 1 92 1 78 1 79 1 80 1 96 1 71 1 72 1 82 1 73 1 83 1 99 1 100 1 74 1 42 1 88 1 43 1 51 1 102 1 75 1 27 1 127 1
+34 32 1 44 1 53 1 38 1 58 1 56 1 62 1 64 1 65 1 66 1 67 1 91 1 40 1 41 1 70 1 92 1 50 1 78 1 79 1 80 1 71 1 72 1 82 1 73 1 83 1 98 1 99 1 100 1 74 1 42 1 88 1 43 1 51 1 102 1 75 1 125 1 27 1 127 1
+35 32 1 44 1 53 1 38 1 58 1 56 1 64 1 65 1 66 1 67 1 91 1 40 1 41 1 70 1 92 1 50 1 78 1 79 1 80 1 71 1 72 1 82 1 73 1 83 1 98 1 99 1 100 1 74 1 42 1 88 1 43 1 51 1 102 1 75 1 125 1 27 1 127 1
+36 32 1 44 1 53 1 58 1 87 1 64 1 65 1 66 1 40 1 70 1 92 1 50 1 78 1 79 1 80 1 96 1 81 1 71 1 72 1 82 1 73 1 83 1 99 1 100 1 74 1 42 1 51 1 75 1 125 1 27 1 127 1
+37 32 1 38 1 60 1 61 1 87 1 64 1 65 1 66 1 89 1 49 1 67 1 68 1 69 1 91 1 40 1 41 1 70 1 92 1 50 1 78 1 79 1 80 1 94 1 95 1 96 1 81 1 97 1 71 1 72 1 82 1 73 1 83 1 98 1 99 1 100 1 42 1 51 1 102 1 86 1 75 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 120 1 121 1 123 1 124 1 125 1 18 1 127 1
+38 32 1 60 1 61 1 63 1 76 1 87 1 64 1 65 1 66 1 89 1 49 1 67 1 68 1 69 1 40 1 41 1 70 1 92 1 50 1 78 1 79 1 80 1 94 1 95 1 96 1 81 1 97 1 71 1 72 1 82 1 73 1 83 1 98 1 99 1 100 1 42 1 51 1 102 1 86 1 75 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 120 1 121 1 123 1 124 1 125 1 27 1 127 1
+39 32 1 87 1 64 1 65 1 66 1 89 1 68 1 69 1 40 1 41 1 70 1 92 1 50 1 78 1 79 1 80 1 81 1 97 1 71 1 72 1 83 1 98 1 99 1 100 1 42 1 51 1 18 1 127 1
+40 32 1 63 1 77 1 91 1 81 1 97 1 98 1 99 1 103 1 109 1 18 1 127 1
+41 32 1 63 1 77 1 89 1 67 1 68 1 69 1 91 1 94 1 95 1 96 1 81 1 97 1 83 1 98 1 99 1 101 1 103 1 86 1 75 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 121 1 124 1 18 1 127 1
+42 32 1 63 1 87 1 89 1 68 1 69 1 94 1 96 1 83 1 103 1 51 1 75 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 124 1 18 1 127 1
+43 32 1 87 1 89 1 67 1 68 1 69 1 92 1 94 1 96 1 81 1 97 1 83 1 98 1 99 1 103 1 51 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 18 1 27 1 127 1
+44 53 1 58 1 49 1 84 1 85 1 102 1 75 1 105 1 121 1 123 1 125 1 27 1 127 1
+45 44 1 48 1 53 1 38 1 56 1 60 1 61 1 62 1 63 1 76 1 87 1 64 1 65 1 49 1 40 1 41 1 70 1 96 1 71 1 72 1 82 1 73 1 83 1 99 1 84 1 85 1 102 1 75 1 105 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 121 1 123 1 124 1 125 1 27 1 127 1
+46 44 1 48 1 38 1 58 1 62 1 63 1 76 1 87 1 64 1 65 1 49 1 40 1 41 1 70 1 79 1 96 1 71 1 72 1 82 1 73 1 99 1 85 1 102 1 75 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 121 1 123 1 125 1 27 1 127 1
+47 62 1 63 1 76 1 87 1 64 1 65 1 49 1 41 1 71 1 72 1 82 1 73 1 99 1 85 1 102 1 75 1 110 1 112 1 113 1 116 1 117 1 118 1 121 1 27 1 127 1
+48 62 1 63 1 76 1 87 1 64 1 65 1 49 1 96 1 71 1 72 1 82 1 73 1 99 1 85 1 102 1 75 1 112 1 113 1 116 1 117 1 118 1 121 1 27 1 127 1
+49 48 1 63 1 77 1 99 1 108 1 115 1 120 1 124 1 18 1 126 1 127 1
+50 48 1 77 1 91 1 94 1 95 1 96 1 101 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 124 1 18 1 127 1
+51 48 1 77 1 89 1 94 1 75 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 27 1 126 1 127 1
+52 53 1 38 1 56 1 76 1 87 1 49 1 67 1 41 1 96 1 71 1 72 1 82 1 73 1 83 1 84 1 88 1 43 1 51 1 85 1 102 1 75 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 121 1 123 1 125 1 27 1 127 1
+53 38 1 56 1 76 1 87 1 49 1 67 1 41 1 96 1 71 1 72 1 82 1 73 1 83 1 84 1 88 1 43 1 51 1 85 1 102 1 75 1 105 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 121 1 123 1 125 1 27 1 127 1
+54 53 1 56 1 76 1 87 1 49 1 67 1 41 1 70 1 96 1 71 1 72 1 82 1 73 1 83 1 84 1 88 1 43 1 51 1 85 1 102 1 75 1 105 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 121 1 123 1 125 1 27 1 127 1
+55 53 1 57 1 58 1 76 1 87 1 64 1 65 1 49 1 40 1 41 1 70 1 96 1 71 1 72 1 73 1 83 1 100 1 84 1 74 1 51 1 102 1 75 1 108 1 109 1 110 1 111 1 116 1 117 1 118 1 125 1 27 1 127 1
+56 38 1 60 1 61 1 62 1 63 1 76 1 77 1 87 1 89 1 49 1 67 1 68 1 69 1 41 1 70 1 92 1 94 1 96 1 72 1 82 1 73 1 83 1 100 1 42 1 51 1 85 1 102 1 75 1 104 1 105 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 120 1 121 1 123 1 125 1 27 1 127 1
+57 63 1 76 1 87 1 64 1 65 1 66 1 89 1 49 1 67 1 68 1 69 1 41 1 92 1 50 1 78 1 79 1 80 1 94 1 95 1 96 1 81 1 97 1 71 1 72 1 82 1 73 1 83 1 98 1 99 1 100 1 42 1 51 1 86 1 75 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 120 1 121 1 123 1 124 1 125 1 27 1 126 1 127 1
+58 62 1 63 1 76 1 77 1 87 1 49 1 94 1 83 1 100 1 102 1 104 1 105 1 110 1 111 1 116 1 117 1 118 1 120 1 121 1 123 1 27 1 126 1 127 1
+59 60 1 61 1 63 1 76 1 77 1 87 1 89 1 49 1 67 1 68 1 69 1 41 1 70 1 92 1 94 1 96 1 73 1 100 1 42 1 85 1 102 1 110 1 112 1 113 1 116 1 117 1 118 1 120 1 121 1 123 1 27 1 127 1
+60 63 1 76 1 77 1 89 1 49 1 67 1 68 1 69 1 92 1 94 1 96 1 100 1 85 1 102 1 117 1 27 1 127 1
+61 63 1 76 1 77 1 87 1 89 1 49 1 67 1 68 1 69 1 92 1 94 1 96 1 100 1 85 1 102 1 104 1 105 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 120 1 121 1 123 1 27 1 126 1 127 1
+62 63 1 77 1 49 1 94 1 100 1 102 1 27 1 126 1 127 1
+63 18 1 126 1 127 1
+64 63 1 77 1 91 1 92 1 94 1 95 1 96 1 81 1 97 1 98 1 101 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 124 1 18 1 127 1
+65 63 1 77 1 91 1 92 1 95 1 96 1 81 1 97 1 98 1 101 1 103 1 86 1 18 1 127 1
+66 63 1 77 1 89 1 67 1 91 1 92 1 94 1 95 1 96 1 81 1 97 1 83 1 98 1 99 1 101 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 124 1 18 1 127 1
+67 63 1 87 1 89 1 68 1 69 1 94 1 96 1 104 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 27 1 127 1
+68 63 1 87 1 89 1 49 1 94 1 81 1 97 1 98 1 99 1 51 1 75 1 104 1 105 1 106 1 107 1 109 1 111 1 114 1 115 1 120 1 124 1 27 1 126 1 127 1
+69 63 1 87 1 49 1 94 1 99 1 51 1 75 1 115 1 120 1 27 1 127 1
+70 63 1 77 1 67 1 91 1 94 1 95 1 96 1 81 1 97 1 83 1 98 1 99 1 101 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 121 1 124 1 18 1 127 1
+71 63 1 77 1 94 1 95 1 96 1 81 1 97 1 72 1 83 1 98 1 99 1 103 1 75 1 104 1 105 1 108 1 109 1 110 1 111 1 113 1 114 1 115 1 116 1 117 1 118 1 119 1 120 1 121 1 124 1 18 1 27 1 126 1 127 1
+72 63 1 77 1 94 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+73 63 1 77 1 67 1 94 1 95 1 96 1 81 1 97 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 109 1 111 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+74 63 1 77 1 94 1 72 1 83 1 103 1 115 1 120 1 124 1 18 1 27 1 126 1 127 1
+75 63 1 77 1 89 1 67 1 92 1 94 1 96 1 81 1 97 1 83 1 98 1 99 1 103 1 51 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 115 1 116 1 117 1 118 1 119 1 120 1 124 1 18 1 27 1 126 1 127 1
+76 115 1 18 1 27 1 126 1 127 1
+77 103 1 115 1 120 1 18 1 126 1 127 1
+78 77 1 94 1 81 1 97 1 83 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 124 1 18 1 127 1
+79 77 1 94 1 81 1 97 1 83 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 113 1 114 1 116 1 117 1 118 1 119 1 124 1 18 1 127 1
+80 77 1 94 1 81 1 97 1 83 1 104 1 105 1 107 1 109 1 110 1 111 1 114 1 116 1 117 1 118 1 119 1 18 1 127 1
+81 77 1 103 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+82 77 1 18 1 126 1 127 1
+83 77 1 103 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+84 77 1 103 1 86 1 104 1 105 1 106 1 107 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+85 77 1 67 1 83 1 99 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+86 77 1 91 1 95 1 101 1 103 1 106 1 108 1 120 1 124 1 18 1 126 1 127 1
+87 103 1 18 1 126 1 127 1
+88 87 1 89 1 67 1 68 1 69 1 92 1 94 1 96 1 81 1 97 1 83 1 98 1 99 1 103 1 51 1 104 1 105 1 106 1 107 1 108 1 109 1 110 1 111 1 112 1 113 1 114 1 116 1 117 1 118 1 119 1 121 1 124 1 18 1 27 1 127 1
+89 67 1 98 1 104 1 105 1 106 1 107 1 114 1 115 1 120 1 18 1 126 1 127 1
+90 91 1 95 1 101 1 103 1 86 1 104 1 105 1 106 1 107 1 114 1 115 1 120 1 18 1 126 1 127 1
+91 95 1 101 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+92 120 1 124 1 18 1 126 1 127 1
+93 94 1 81 1 97 1 72 1 83 1 103 1 105 1 109 1 110 1 111 1 119 1 18 1 127 1
+94 18 1 126 1 127 1
+95 115 1 120 1 124 1 18 1 126 1 127 1
+96 120 1 18 1 126 1 127 1
+97 115 1 120 1 18 1 126 1 127 1
+98 103 1 104 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+99 115 1 120 1 18 1 126 1 127 1
+100 115 1 120 1 124 1 18 1 126 1 127 1
+101 18 1 126 1 127 1
+102 101 1 103 1 86 1 104 1 105 1 106 1 107 1 108 1 114 1 115 1 120 1 124 1 18 1 126 1 127 1
+103 115 1 120 1 124 1 18 1 126 1 127 1
+104 18 1 127 1
+105 18 1 127 1
+106 115 1 18 1 127 1
+107 115 1 18 1 127 1
+108 115 1 120 1 18 1 127 1
+109 115 1 120 1 18 1 127 1
+110 115 1 18 1 127 1
+111 115 1 18 1 127 1
+112 115 1 18 1 127 1
+113 115 1 18 1 127 1
+114 18 1 127 1
+115 18 1 127 1
+116 115 1 18 1 127 1
+117 115 1 18 1 127 1
+118 115 1 18 1 127 1
+119 18 1 127 1
+120 18 1 127 1
+121 120 1 18 1 127 1
+122 120 1 18 1 127 1
+123 18 1 127 1
+124 18 1 127 1
+125 18 1 127 1
+126
+127