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