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