c AI planning file sortnetsort5.v.stepl.003.qcnf (Jussi.Rintanen@NICTA.com.au) p cnf 190 601 e 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 0 a 55 1 2 3 4 5 0 e 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 0 -19 20 0 -20 21 0 -21 22 0 -22 23 0 -58 -55 6 0 -58 -6 55 0 -58 57 0 -57 58 0 -57 55 56 0 -55 57 0 -56 57 0 -56 -55 0 55 56 0 1 -7 0 -1 7 86 85 84 83 0 -86 25 0 -86 -2 0 -86 1 0 -25 -1 2 86 0 -85 26 0 -85 -3 0 -85 1 0 -26 -1 3 85 0 -84 27 0 -84 -4 0 -84 1 0 -27 -1 4 84 0 -83 28 0 -83 -5 0 -83 1 0 -28 -1 5 83 0 2 -8 87 0 -2 8 90 89 88 0 -87 25 0 -87 -2 0 -87 1 0 -25 -1 2 87 0 -90 29 0 -90 -3 0 -90 2 0 -29 -2 3 90 0 -89 30 0 -89 -4 0 -89 2 0 -30 -2 4 89 0 -88 31 0 -88 -5 0 -88 2 0 -31 -2 5 88 0 3 -9 92 91 0 -3 9 94 93 0 -92 26 0 -92 -3 0 -92 1 0 -26 -1 3 92 0 -91 29 0 -91 -3 0 -91 2 0 -29 -2 3 91 0 -94 32 0 -94 -4 0 -94 3 0 -32 -3 4 94 0 -93 33 0 -93 -5 0 -93 3 0 -33 -3 5 93 0 4 -10 97 96 95 0 -4 10 98 0 -97 27 0 -97 -4 0 -97 1 0 -27 -1 4 97 0 -96 30 0 -96 -4 0 -96 2 0 -30 -2 4 96 0 -95 32 0 -95 -4 0 -95 3 0 -32 -3 4 95 0 -98 34 0 -98 -5 0 -98 4 0 -34 -4 5 98 0 5 -11 102 101 100 99 0 -5 11 0 -102 28 0 -102 -5 0 -102 1 0 -28 -1 5 102 0 -101 31 0 -101 -5 0 -101 2 0 -31 -2 5 101 0 -100 33 0 -100 -5 0 -100 3 0 -33 -3 5 100 0 -99 34 0 -99 -5 0 -99 4 0 -34 -4 5 99 0 6 -12 0 -6 12 0 -25 -1 2 -7 0 -25 -1 2 8 0 -26 -1 3 -7 0 -26 -1 3 9 0 -27 -1 4 -7 0 -27 -1 4 10 0 -28 -1 5 -7 0 -28 -1 5 11 0 -29 -2 3 -8 0 -29 -2 3 9 0 -30 -2 4 -8 0 -30 -2 4 10 0 -31 -2 5 -8 0 -31 -2 5 11 0 -32 -3 4 -9 0 -32 -3 4 10 0 -33 -3 5 -9 0 -33 -3 5 11 0 -34 -4 5 -10 0 -34 -4 5 11 0 -69 70 0 -28 70 0 -69 -28 0 -68 69 0 -27 69 0 -68 -27 0 -25 68 0 -26 68 0 -25 -26 0 -66 67 0 -31 67 0 -66 -31 0 -29 66 0 -30 66 0 -29 -30 0 -25 -31 0 -25 -30 0 -25 -29 0 -32 65 0 -33 65 0 -32 -33 0 -64 -33 0 -64 -32 0 -26 64 0 -29 64 0 -26 -29 0 -63 -34 0 -62 63 0 -32 63 0 -62 -32 0 -27 62 0 -30 62 0 -27 -30 0 -60 61 0 -34 61 0 -60 -34 0 -59 60 0 -33 60 0 -59 -33 0 -28 59 0 -31 59 0 -28 -31 0 -81 82 0 -25 82 0 -81 -25 0 -80 81 0 -26 81 0 -80 -26 0 -28 80 0 -27 80 0 -28 -27 0 -79 -25 0 -78 79 0 -29 79 0 -78 -29 0 -31 78 0 -30 78 0 -31 -30 0 -77 -26 0 -77 -29 0 -33 77 0 -32 77 0 -33 -32 0 -29 76 0 -26 76 0 -29 -26 0 -34 -27 0 -34 -30 0 -34 -32 0 -74 75 0 -27 75 0 -74 -27 0 -32 74 0 -30 74 0 -32 -30 0 -72 73 0 -28 73 0 -72 -28 0 -71 72 0 -31 72 0 -71 -31 0 -34 71 0 -33 71 0 -34 -33 0 7 -13 0 -7 13 130 129 128 127 0 -130 35 0 -130 -8 0 -130 7 0 -35 -7 8 130 0 -129 36 0 -129 -9 0 -129 7 0 -36 -7 9 129 0 -128 37 0 -128 -10 0 -128 7 0 -37 -7 10 128 0 -127 38 0 -127 -11 0 -127 7 0 -38 -7 11 127 0 8 -14 131 0 -8 14 134 133 132 0 -131 35 0 -131 -8 0 -131 7 0 -35 -7 8 131 0 -134 39 0 -134 -9 0 -134 8 0 -39 -8 9 134 0 -133 40 0 -133 -10 0 -133 8 0 -40 -8 10 133 0 -132 41 0 -132 -11 0 -132 8 0 -41 -8 11 132 0 9 -15 136 135 0 -9 15 138 137 0 -136 36 0 -136 -9 0 -136 7 0 -36 -7 9 136 0 -135 39 0 -135 -9 0 -135 8 0 -39 -8 9 135 0 -138 42 0 -138 -10 0 -138 9 0 -42 -9 10 138 0 -137 43 0 -137 -11 0 -137 9 0 -43 -9 11 137 0 10 -16 141 140 139 0 -10 16 142 0 -141 37 0 -141 -10 0 -141 7 0 -37 -7 10 141 0 -140 40 0 -140 -10 0 -140 8 0 -40 -8 10 140 0 -139 42 0 -139 -10 0 -139 9 0 -42 -9 10 139 0 -142 44 0 -142 -11 0 -142 10 0 -44 -10 11 142 0 11 -17 146 145 144 143 0 -11 17 0 -146 38 0 -146 -11 0 -146 7 0 -38 -7 11 146 0 -145 41 0 -145 -11 0 -145 8 0 -41 -8 11 145 0 -144 43 0 -144 -11 0 -144 9 0 -43 -9 11 144 0 -143 44 0 -143 -11 0 -143 10 0 -44 -10 11 143 0 12 -18 0 -12 18 0 -35 -7 8 -13 0 -35 -7 8 14 0 -36 -7 9 -13 0 -36 -7 9 15 0 -37 -7 10 -13 0 -37 -7 10 16 0 -38 -7 11 -13 0 -38 -7 11 17 0 -39 -8 9 -14 0 -39 -8 9 15 0 -40 -8 10 -14 0 -40 -8 10 16 0 -41 -8 11 -14 0 -41 -8 11 17 0 -42 -9 10 -15 0 -42 -9 10 16 0 -43 -9 11 -15 0 -43 -9 11 17 0 -44 -10 11 -16 0 -44 -10 11 17 0 -113 114 0 -38 114 0 -113 -38 0 -112 113 0 -37 113 0 -112 -37 0 -35 112 0 -36 112 0 -35 -36 0 -110 111 0 -41 111 0 -110 -41 0 -39 110 0 -40 110 0 -39 -40 0 -35 -41 0 -35 -40 0 -35 -39 0 -42 109 0 -43 109 0 -42 -43 0 -108 -43 0 -108 -42 0 -36 108 0 -39 108 0 -36 -39 0 -107 -44 0 -106 107 0 -42 107 0 -106 -42 0 -37 106 0 -40 106 0 -37 -40 0 -104 105 0 -44 105 0 -104 -44 0 -103 104 0 -43 104 0 -103 -43 0 -38 103 0 -41 103 0 -38 -41 0 -125 126 0 -35 126 0 -125 -35 0 -124 125 0 -36 125 0 -124 -36 0 -38 124 0 -37 124 0 -38 -37 0 -123 -35 0 -122 123 0 -39 123 0 -122 -39 0 -41 122 0 -40 122 0 -41 -40 0 -121 -36 0 -121 -39 0 -43 121 0 -42 121 0 -43 -42 0 -39 120 0 -36 120 0 -39 -36 0 -44 -37 0 -44 -40 0 -44 -42 0 -118 119 0 -37 119 0 -118 -37 0 -42 118 0 -40 118 0 -42 -40 0 -116 117 0 -38 117 0 -116 -38 0 -115 116 0 -41 116 0 -115 -41 0 -44 115 0 -43 115 0 -44 -43 0 13 -19 0 -13 19 174 173 172 171 0 -174 45 0 -174 -14 0 -174 13 0 -45 -13 14 174 0 -173 46 0 -173 -15 0 -173 13 0 -46 -13 15 173 0 -172 47 0 -172 -16 0 -172 13 0 -47 -13 16 172 0 -171 48 0 -171 -17 0 -171 13 0 -48 -13 17 171 0 14 -20 175 0 -14 20 178 177 176 0 -175 45 0 -175 -14 0 -175 13 0 -45 -13 14 175 0 -178 49 0 -178 -15 0 -178 14 0 -49 -14 15 178 0 -177 50 0 -177 -16 0 -177 14 0 -50 -14 16 177 0 -176 51 0 -176 -17 0 -176 14 0 -51 -14 17 176 0 15 -21 180 179 0 -15 21 182 181 0 -180 46 0 -180 -15 0 -180 13 0 -46 -13 15 180 0 -179 49 0 -179 -15 0 -179 14 0 -49 -14 15 179 0 -182 52 0 -182 -16 0 -182 15 0 -52 -15 16 182 0 -181 53 0 -181 -17 0 -181 15 0 -53 -15 17 181 0 16 -22 185 184 183 0 -16 22 186 0 -185 47 0 -185 -16 0 -185 13 0 -47 -13 16 185 0 -184 50 0 -184 -16 0 -184 14 0 -50 -14 16 184 0 -183 52 0 -183 -16 0 -183 15 0 -52 -15 16 183 0 -186 54 0 -186 -17 0 -186 16 0 -54 -16 17 186 0 17 -23 190 189 188 187 0 -17 23 0 -190 48 0 -190 -17 0 -190 13 0 -48 -13 17 190 0 -189 51 0 -189 -17 0 -189 14 0 -51 -14 17 189 0 -188 53 0 -188 -17 0 -188 15 0 -53 -15 17 188 0 -187 54 0 -187 -17 0 -187 16 0 -54 -16 17 187 0 18 -24 0 -18 24 0 -45 -13 14 -19 0 -45 -13 14 20 0 -46 -13 15 -19 0 -46 -13 15 21 0 -47 -13 16 -19 0 -47 -13 16 22 0 -48 -13 17 -19 0 -48 -13 17 23 0 -49 -14 15 -20 0 -49 -14 15 21 0 -50 -14 16 -20 0 -50 -14 16 22 0 -51 -14 17 -20 0 -51 -14 17 23 0 -52 -15 16 -21 0 -52 -15 16 22 0 -53 -15 17 -21 0 -53 -15 17 23 0 -54 -16 17 -22 0 -54 -16 17 23 0 -157 158 0 -48 158 0 -157 -48 0 -156 157 0 -47 157 0 -156 -47 0 -45 156 0 -46 156 0 -45 -46 0 -154 155 0 -51 155 0 -154 -51 0 -49 154 0 -50 154 0 -49 -50 0 -45 -51 0 -45 -50 0 -45 -49 0 -52 153 0 -53 153 0 -52 -53 0 -152 -53 0 -152 -52 0 -46 152 0 -49 152 0 -46 -49 0 -151 -54 0 -150 151 0 -52 151 0 -150 -52 0 -47 150 0 -50 150 0 -47 -50 0 -148 149 0 -54 149 0 -148 -54 0 -147 148 0 -53 148 0 -147 -53 0 -48 147 0 -51 147 0 -48 -51 0 -169 170 0 -45 170 0 -169 -45 0 -168 169 0 -46 169 0 -168 -46 0 -48 168 0 -47 168 0 -48 -47 0 -167 -45 0 -166 167 0 -49 167 0 -166 -49 0 -51 166 0 -50 166 0 -51 -50 0 -165 -46 0 -165 -49 0 -53 165 0 -52 165 0 -53 -52 0 -49 164 0 -46 164 0 -49 -46 0 -54 -47 0 -54 -50 0 -54 -52 0 -162 163 0 -47 163 0 -162 -47 0 -52 162 0 -50 162 0 -52 -50 0 -160 161 0 -48 161 0 -160 -48 0 -159 160 0 -51 160 0 -159 -51 0 -54 159 0 -53 159 0 -54 -53 0