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