c CS 3.7 c Commercial use requires a licence c contact igsys@eclipse.net c c nodes: 247 arcs: 726 c scale-factor: 12 cut-off-factor: 16.9 c c time: -0.00 cost: 4 c refines: 1 discharges: 246 c pushes: 289 relabels: 271 c updates: 1 u-scans: 171 c p-refines: 4 r-scans: 24 c dfs-scans: 1976 bad-in: 0 + 0 c s 4 f 0 1 1 f 0 183 1 f 0 2 1 f 0 123 1 f 0 3 2 f 0 168 1 f 0 4 1 f 0 126 1 f 0 5 1 f 0 204 1 f 0 6 1 f 0 129 1 f 0 7 1 f 0 177 1 f 0 8 1 f 0 132 1 f 0 9 1 f 0 156 1 f 0 10 1 f 0 135 1 f 0 11 2 f 0 137 1 f 0 12 1 f 0 138 1 f 0 13 1 f 0 206 1 f 0 14 1 f 0 141 1 f 0 15 1 f 0 170 1 f 0 16 1 f 0 144 1 f 0 17 1 f 0 171 1 f 0 18 2 f 0 147 1 f 0 19 1 f 0 186 1 f 0 20 1 f 0 150 1 f 0 21 3 f 0 207 1 f 0 22 1 f 0 153 1 f 0 23 1 f 0 210 1 f 0 24 1 f 0 174 1 f 0 25 2 f 0 155 1 f 0 26 1 f 0 159 1 f 0 27 1 f 0 140 1 f 0 28 1 f 0 162 1 f 0 29 1 f 0 212 1 f 0 30 2 f 0 165 1 f 0 31 1 f 0 167 1 f 0 32 1 f 0 219 1 f 0 33 1 f 0 222 1 f 0 34 1 f 0 172 1 f 0 35 1 f 0 173 1 f 0 36 2 f 0 175 1 f 0 37 1 f 0 213 1 f 0 38 1 f 0 176 1 f 0 39 1 f 0 231 1 f 0 40 1 f 0 180 1 f 0 41 1 f 0 215 1 f 0 42 1 f 0 216 1 f 0 43 1 f 0 237 1 f 0 44 1 f 0 240 1 f 0 45 1 f 0 218 1 f 0 46 1 f 0 189 1 f 0 47 1 f 0 191 1 f 0 48 1 f 0 192 1 f 0 49 1 f 0 178 1 f 0 50 2 f 0 195 1 f 0 51 1 f 0 197 1 f 0 52 2 f 0 198 1 f 0 53 1 f 0 143 1 f 0 54 1 f 0 201 1 f 0 55 1 f 0 134 1 f 0 56 1 f 0 205 1 f 0 57 2 f 0 139 1 f 0 58 1 f 0 208 1 f 0 59 1 f 0 209 1 f 0 60 1 f 0 211 1 f 0 61 2 f 0 179 1 f 0 62 1 f 0 221 1 f 0 63 1 f 0 224 1 f 0 64 1 f 0 146 1 f 0 65 1 f 0 225 1 f 0 66 1 f 0 220 1 f 0 67 1 f 0 182 1 f 0 68 1 f 0 223 1 f 0 69 2 f 0 152 1 f 0 70 1 f 0 226 1 f 0 71 3 f 0 227 1 f 0 72 1 f 0 228 1 f 0 73 1 f 0 125 1 f 0 74 1 f 0 184 2 f 0 75 1 f 0 233 1 f 0 76 1 f 0 234 1 f 0 77 1 f 0 229 1 f 0 78 1 f 0 230 1 f 0 79 1 f 0 166 1 f 0 80 2 f 0 161 1 f 0 81 1 f 0 185 1 f 0 82 1 f 0 232 1 f 0 83 1 f 0 187 1 f 0 84 1 f 0 148 1 f 0 85 1 f 0 235 1 f 0 86 2 f 0 128 1 f 0 87 1 f 0 236 1 f 0 88 1 f 0 130 1 f 0 89 1 f 0 188 1 f 0 90 1 f 0 181 1 f 0 91 1 f 0 238 1 f 0 92 1 f 0 149 1 f 0 93 2 f 0 122 1 f 0 94 1 f 0 239 1 f 0 95 1 f 0 193 1 f 0 96 1 f 0 190 1 f 0 97 1 f 0 169 1 f 0 98 1 f 0 142 1 f 0 99 1 f 0 200 1 f 0 100 1 f 0 145 1 f 0 101 1 f 0 124 2 f 0 102 1 f 0 194 1 f 0 103 1 f 0 214 1 f 0 104 1 f 0 127 1 f 0 105 1 f 0 246 0 f 0 106 1 f 0 151 1 f 0 107 1 f 0 196 1 f 0 108 1 f 0 158 2 f 0 109 2 f 0 164 1 f 0 110 1 f 0 154 1 f 0 111 1 f 0 157 1 f 0 112 1 f 0 131 1 f 0 113 1 f 0 199 1 f 0 114 1 f 0 160 1 f 0 115 1 f 0 133 1 f 0 116 2 f 0 163 1 f 0 117 1 f 0 202 1 f 0 118 1 f 0 217 1 f 0 119 1 f 0 203 1 f 0 120 2 f 0 136 1 f 0 121 1 f 1 242 1 f 1 241 0 f 2 241 1 f 2 242 0 f 3 243 1 f 3 242 1 f 4 242 1 f 4 243 0 f 5 242 1 f 5 243 0 f 6 242 1 f 6 243 0 f 7 243 1 f 7 242 0 f 8 242 1 f 8 243 0 f 9 242 1 f 9 241 0 f 10 242 1 f 10 241 0 f 11 242 1 f 11 243 1 f 12 242 1 f 12 241 0 f 13 242 1 f 13 241 0 f 14 241 1 f 14 242 0 f 15 242 1 f 15 243 0 f 16 243 1 f 16 242 0 f 17 241 1 f 17 242 0 f 18 242 1 f 18 241 1 f 19 243 1 f 19 242 0 f 20 241 1 f 20 242 0 f 21 243 1 f 21 242 2 f 22 242 1 f 22 243 0 f 23 242 1 f 23 243 0 f 24 243 0 f 24 242 1 f 25 242 1 f 25 241 1 f 26 244 1 f 26 245 0 f 27 241 1 f 27 242 0 f 28 242 1 f 28 241 0 f 29 241 1 f 29 242 0 f 30 244 1 f 30 243 1 f 31 242 0 f 31 241 1 f 32 242 0 f 32 243 1 f 33 245 0 f 33 244 1 f 34 241 0 f 34 242 1 f 35 241 0 f 35 242 1 f 36 241 1 f 36 242 1 f 37 242 1 f 37 241 0 f 38 242 0 f 38 243 1 f 39 242 1 f 39 243 0 f 40 242 1 f 40 241 0 f 41 242 1 f 41 243 0 f 42 244 0 f 42 243 1 f 43 242 1 f 43 243 0 f 44 241 0 f 44 242 1 f 45 243 1 f 45 244 0 f 46 242 1 f 46 241 0 f 47 241 0 f 47 242 1 f 48 242 1 f 48 241 0 f 49 241 1 f 49 242 0 f 50 241 1 f 50 242 1 f 51 242 0 f 51 241 1 f 52 242 1 f 52 243 1 f 53 244 1 f 53 245 0 f 54 242 1 f 54 241 0 f 55 242 1 f 55 243 0 f 56 243 0 f 56 244 1 f 57 241 1 f 57 242 1 f 58 242 0 f 58 241 1 f 59 242 0 f 59 243 1 f 60 242 0 f 60 243 1 f 61 242 1 f 61 243 1 f 62 242 0 f 62 243 1 f 63 241 0 f 63 242 1 f 64 242 0 f 64 241 1 f 65 242 0 f 65 243 1 f 66 243 0 f 66 242 1 f 67 241 0 f 67 242 1 f 68 244 0 f 68 245 1 f 69 243 1 f 69 242 1 f 70 241 0 f 70 242 1 f 71 243 2 f 71 244 1 f 72 241 1 f 72 242 0 f 73 243 1 f 73 242 0 f 74 243 0 f 74 244 1 f 75 242 0 f 75 241 1 f 76 242 1 f 76 243 0 f 77 242 1 f 77 243 0 f 78 244 0 f 78 243 1 f 79 241 1 f 79 242 0 f 80 241 1 f 80 242 1 f 81 242 1 f 81 241 0 f 82 241 1 f 82 242 0 f 83 242 0 f 83 243 1 f 84 244 0 f 84 243 1 f 85 241 1 f 85 242 0 f 86 241 1 f 86 242 1 f 87 242 0 f 87 241 1 f 88 241 1 f 88 242 0 f 89 241 1 f 89 242 0 f 90 242 1 f 90 241 0 f 91 241 1 f 91 242 0 f 92 241 0 f 92 242 1 f 93 242 1 f 93 241 1 f 94 244 0 f 94 243 1 f 95 242 0 f 95 243 1 f 96 241 0 f 96 242 1 f 97 241 0 f 97 242 1 f 98 242 0 f 98 243 1 f 99 241 0 f 99 242 1 f 100 241 0 f 100 242 1 f 101 241 0 f 101 242 1 f 102 242 0 f 102 241 1 f 103 244 0 f 103 245 1 f 104 244 0 f 104 245 1 f 105 242 0 f 105 241 1 f 106 242 0 f 106 243 1 f 107 241 0 f 107 242 1 f 108 243 0 f 108 242 1 f 109 242 1 f 109 243 1 f 110 241 0 f 110 242 1 f 111 242 0 f 111 241 1 f 112 242 0 f 112 241 1 f 113 241 0 f 113 242 1 f 114 241 0 f 114 242 1 f 115 242 0 f 115 243 1 f 116 241 1 f 116 242 1 f 117 242 0 f 117 243 1 f 118 243 0 f 118 242 1 f 119 241 0 f 119 242 1 f 120 241 1 f 120 242 1 f 121 244 1 f 121 243 0 f 122 241 0 f 122 242 1 f 123 242 0 f 123 243 1 f 124 241 1 f 124 242 1 f 125 242 0 f 125 243 1 f 126 242 0 f 126 243 1 f 127 241 1 f 127 242 0 f 128 241 0 f 128 242 1 f 129 244 0 f 129 245 1 f 130 244 1 f 130 245 0 f 131 243 0 f 131 244 1 f 132 241 0 f 132 242 1 f 133 241 1 f 133 242 0 f 134 243 0 f 134 244 1 f 135 242 0 f 135 243 1 f 136 241 1 f 136 242 0 f 137 241 0 f 137 242 1 f 138 241 1 f 138 242 0 f 139 244 1 f 139 245 0 f 140 241 0 f 140 242 1 f 141 241 1 f 141 242 0 f 142 242 1 f 142 243 0 f 143 242 1 f 143 243 0 f 144 244 1 f 144 245 0 f 145 244 1 f 145 245 0 f 146 241 1 f 146 242 0 f 147 241 1 f 147 242 0 f 148 243 1 f 148 244 0 f 149 241 1 f 149 242 0 f 150 241 1 f 150 242 0 f 151 241 1 f 151 242 0 f 152 241 1 f 152 242 0 f 153 242 1 f 153 243 0 f 154 242 0 f 154 243 1 f 155 244 0 f 155 245 1 f 156 241 0 f 156 242 1 f 157 242 0 f 157 243 1 f 158 243 1 f 158 244 1 f 159 241 0 f 159 242 1 f 160 241 0 f 160 242 1 f 161 241 0 f 161 242 1 f 162 241 0 f 162 242 1 f 163 241 1 f 163 242 0 f 164 242 0 f 164 243 1 f 165 242 0 f 165 243 1 f 166 242 1 f 166 243 0 f 167 242 0 f 167 243 1 f 168 241 1 f 168 242 0 f 169 243 1 f 169 244 0 f 170 241 1 f 170 242 0 f 171 242 1 f 171 243 0 f 172 241 1 f 172 242 0 f 173 241 0 f 173 242 1 f 174 241 1 f 174 242 0 f 175 241 1 f 175 242 0 f 176 241 0 f 176 242 1 f 177 241 1 f 177 242 0 f 178 243 1 f 178 244 0 f 179 241 1 f 179 242 0 f 180 242 1 f 180 243 0 f 181 242 1 f 181 243 0 f 182 241 0 f 182 242 1 f 183 242 1 f 183 243 0 f 184 241 1 f 184 242 1 f 185 241 1 f 185 242 0 f 186 241 1 f 186 242 0 f 187 242 1 f 187 243 0 f 188 241 1 f 188 242 0 f 189 242 1 f 189 243 0 f 190 244 1 f 190 245 0 f 191 241 1 f 191 242 0 f 192 242 1 f 192 243 0 f 193 241 1 f 193 242 0 f 194 241 1 f 194 242 0 f 195 243 1 f 195 244 0 f 196 242 1 f 196 243 0 f 197 241 1 f 197 242 0 f 198 242 1 f 198 243 0 f 199 241 1 f 199 242 0 f 200 242 1 f 200 243 0 f 201 242 1 f 201 243 0 f 202 241 1 f 202 242 0 f 203 241 1 f 203 242 0 f 204 242 1 f 204 243 0 f 205 241 0 f 205 242 1 f 206 242 0 f 206 243 1 f 207 241 0 f 207 242 1 f 208 242 1 f 208 243 0 f 209 241 0 f 209 242 1 f 210 242 1 f 210 243 0 f 211 241 1 f 211 242 0 f 212 242 0 f 212 243 1 f 213 243 1 f 213 244 0 f 214 244 1 f 214 245 0 f 215 242 1 f 215 243 0 f 216 241 1 f 216 242 0 f 217 242 1 f 217 243 0 f 218 241 1 f 218 242 0 f 219 243 1 f 219 244 0 f 220 241 1 f 220 242 0 f 221 241 1 f 221 242 0 f 222 244 1 f 222 245 0 f 223 242 1 f 223 243 0 f 224 241 1 f 224 242 0 f 225 241 1 f 225 242 0 f 226 241 1 f 226 242 0 f 227 242 1 f 227 243 0 f 228 244 1 f 228 245 0 f 229 241 0 f 229 242 1 f 230 241 0 f 230 242 1 f 231 241 0 f 231 242 1 f 232 241 0 f 232 242 1 f 233 241 0 f 233 242 1 f 234 242 0 f 234 243 1 f 235 241 1 f 235 242 0 f 236 241 0 f 236 242 1 f 237 242 1 f 237 243 0 f 238 241 0 f 238 242 1 f 239 244 0 f 239 245 1 f 240 241 0 f 240 242 1 f 241 246 74 f 242 246 115 f 243 246 50 f 244 246 19 f 245 246 6 c