c FILE: aim-200-3_4-yes1-3.cnf c c SOURCE: Kazuo Iwama, Eiji Miyano (miyano@cscu.kyushu-u.ac.jp), c and Yuichi Asahiro c c DESCRIPTION: Artifical instances from generator by source. Generators c and more information in sat/contributed/iwama. c c NOTE: Satisfiable c p cnf 200 680 116 172 198 0 14 -116 172 0 -116 172 198 0 21 81 105 0 -21 81 198 0 -105 165 198 0 80 -105 -165 0 50 80 -81 0 80 145 -172 0 -81 -145 -172 0 10 80 -198 0 10 11 -80 0 11 -40 -80 0 -11 -80 138 0 -11 138 -149 0 10 -80 -138 0 -114 127 148 0 82 -127 148 0 -82 -114 -127 0 -65 -114 -127 0 -10 -114 -148 0 -10 -148 -200 0 25 104 189 0 -8 25 189 0 25 -104 189 0 -25 -105 189 0 46 136 173 0 -10 46 -173 0 -46 114 136 0 -105 -136 158 0 -136 -158 189 0 114 178 -189 0 19 148 -189 0 19 114 -148 0 -19 20 -189 0 -20 -178 -189 0 105 -120 144 0 114 -120 -144 0 -91 130 135 0 -91 -130 135 0 120 -135 177 0 71 155 184 0 -71 -91 184 0 44 120 -184 0 -44 155 -184 0 28 44 -177 0 28 -44 -155 0 -28 44 -155 0 -28 120 -155 0 -28 -93 -155 0 91 121 183 0 -121 160 183 0 91 -160 183 0 105 140 -183 0 45 140 -183 0 -49 140 -183 0 -62 91 120 0 71 -140 -183 0 62 -140 -146 0 -71 -140 198 0 -71 -186 194 0 -140 -186 -194 0 62 -127 146 0 62 -140 -144 0 62 -77 -144 0 47 137 157 0 47 -137 157 0 -47 79 146 0 -47 -79 146 0 127 156 -198 0 144 -157 167 0 39 115 134 0 39 115 127 0 -115 127 134 0 39 -134 -156 0 -13 -156 193 0 -13 -156 185 0 -13 -185 -193 0 -6 51 -193 0 -6 -51 -193 0 14 -157 159 0 -39 57 -159 0 14 -39 -57 0 -39 -157 -185 0 96 -152 -167 0 13 -96 -152 0 -131 -152 -167 0 152 159 -167 0 -39 85 152 0 13 -14 33 0 -14 53 -115 0 -16 53 -115 0 -14 -115 -159 0 -33 145 -159 0 -85 115 -200 0 -85 115 -186 0 48 70 115 0 -33 70 -115 0 -33 70 83 0 70 -83 -145 0 110 186 200 0 103 196 200 0 103 -110 -196 0 -103 -110 179 0 -11 -145 186 0 -70 -135 200 0 135 -179 180 0 -27 135 -179 0 -70 -179 181 0 -52 -179 181 0 51 54 -180 0 51 -54 -181 0 123 130 163 0 -36 -123 163 0 8 -180 -181 0 -36 70 163 0 1 143 -180 0 1 121 152 0 -70 -143 -152 0 -121 -130 -180 0 -36 -163 -181 0 -36 113 -181 0 -36 -113 -181 0 36 74 110 0 28 36 110 0 28 -110 180 0 -51 142 180 0 36 45 -168 0 -45 127 180 0 -45 -127 142 0 -51 142 -180 0 38 43 -51 0 -42 43 158 0 -38 43 -158 0 14 24 62 0 24 -42 164 0 24 62 -164 0 -24 -42 94 0 -24 -42 183 0 -42 -51 -183 0 31 -62 65 0 40 -62 -65 0 -31 -62 136 0 -40 -43 -62 0 119 -136 -142 0 -62 -136 -142 0 42 -142 159 0 42 88 -159 0 57 88 171 0 42 57 -171 0 -57 88 -138 0 -17 -159 178 0 -17 42 -178 0 86 88 108 0 86 -88 108 0 36 -86 108 0 42 48 76 0 36 -48 76 0 48 -76 -108 0 -88 -142 172 0 -76 -88 194 0 -76 -90 194 0 -108 -170 -172 0 38 140 -194 0 38 -48 126 0 38 -126 -140 0 -48 157 -176 0 -48 170 183 0 -48 170 -176 0 -38 145 -194 0 -38 180 -194 0 26 -38 -194 0 -23 -26 -180 0 106 153 170 0 -46 153 170 0 56 -106 170 0 41 -106 149 0 -106 -149 -172 0 -106 153 -172 0 30 -61 -153 0 -30 -61 -153 0 -38 61 89 0 122 162 176 0 -89 162 176 0 138 162 176 0 106 -122 -138 0 -106 162 175 0 -138 162 -175 0 30 66 -117 0 23 -30 -117 0 23 -89 -117 0 23 -117 -168 0 25 -153 -162 0 -25 -131 -162 0 -89 131 197 0 -40 -89 197 0 -25 30 117 0 -25 30 -154 0 11 56 99 0 -11 56 99 0 56 -99 117 0 -12 117 -197 0 -30 57 131 0 12 -57 -59 0 9 -30 -56 0 4 -56 173 0 -55 -56 68 0 -4 -56 -68 0 12 -55 -56 0 -9 59 67 0 12 -40 73 0 12 30 -73 0 -30 -57 -73 0 -40 -73 -147 0 12 -14 -73 0 -9 59 -158 0 -65 -67 158 0 -18 55 158 0 40 55 -125 0 19 40 125 0 4 65 123 0 -4 65 123 0 65 -123 -177 0 18 65 -111 0 16 -19 -128 0 -19 52 111 0 -19 -52 157 0 -16 69 -128 0 -19 -128 -157 0 54 111 177 0 111 150 177 0 3 111 128 0 111 125 173 0 -3 -125 173 0 -3 37 -173 0 -3 -160 -173 0 -37 69 128 0 4 -54 -150 0 60 71 -150 0 -60 71 -150 0 -71 -150 -189 0 -4 -69 -101 0 -4 -83 101 0 -69 83 -96 0 16 101 177 0 16 99 -177 0 16 -99 101 0 -6 -16 96 0 -16 96 -149 0 83 149 174 0 6 -64 -174 0 6 40 156 0 37 40 -156 0 -37 40 -109 0 6 -109 171 0 22 -109 -171 0 -22 -171 175 0 -22 -109 -171 0 25 64 161 0 -25 64 161 0 -35 82 109 0 9 -35 -82 0 -9 -35 -82 0 64 86 -161 0 35 -137 -161 0 5 49 -86 0 -5 146 165 0 49 146 -165 0 -5 -31 137 0 67 94 137 0 -67 94 -146 0 94 -146 -157 0 49 -94 -146 0 55 -73 -161 0 -55 137 -161 0 35 131 -160 0 35 -49 -131 0 -49 124 -176 0 -49 -124 -160 0 89 179 191 0 125 157 160 0 89 160 191 0 76 125 191 0 37 -76 125 0 -37 -89 191 0 -86 -125 191 0 73 143 -191 0 78 93 160 0 78 -120 160 0 7 -93 114 0 7 -93 -108 0 -7 78 -93 0 -49 78 -114 0 41 104 -191 0 41 45 -191 0 41 -45 -104 0 1 119 -143 0 -1 119 -191 0 -81 -119 -143 0 -41 102 174 0 102 -174 -191 0 81 126 -166 0 -78 126 -171 0 -78 81 -126 0 -87 147 188 0 -147 -166 188 0 -78 152 -166 0 92 133 -188 0 92 -133 -152 0 -92 -152 -188 0 8 -78 -102 0 -41 101 142 0 -41 45 101 0 -41 83 -101 0 -8 45 -83 0 -8 129 139 0 129 -139 169 0 105 129 -169 0 129 166 -169 0 -8 -10 129 0 81 -132 166 0 -81 -132 166 0 -43 59 95 0 -59 95 -132 0 -43 -132 169 0 -95 -132 -169 0 -45 100 196 0 90 100 165 0 90 -165 -196 0 -45 -90 147 0 -100 132 147 0 3 132 166 0 -3 78 132 0 -3 46 -78 0 -46 121 123 0 -121 132 166 0 -63 109 158 0 -63 -158 169 0 109 -123 -158 0 109 -169 -182 0 -63 -109 -147 0 63 -129 192 0 63 -68 -147 0 82 104 -192 0 -82 104 -192 0 63 -126 -192 0 68 169 181 0 68 137 169 0 68 126 -137 0 110 126 -192 0 68 -104 107 0 52 -104 -110 0 46 113 186 0 46 -52 -107 0 -107 -138 -169 0 -107 -110 195 0 -46 94 138 0 2 -46 138 0 14 -118 -195 0 24 -94 -195 0 100 190 -195 0 -100 -118 -195 0 -118 176 -190 0 -176 -190 -195 0 -2 123 154 0 -2 107 -123 0 -107 -123 143 0 22 -94 154 0 -2 -22 -94 0 3 85 199 0 3 -85 199 0 3 -154 -199 0 100 118 135 0 118 -135 -154 0 -2 -94 -188 0 75 86 121 0 7 75 -100 0 75 -100 130 0 75 -86 130 0 -75 130 188 0 -92 118 176 0 -92 -100 -176 0 92 124 188 0 57 87 151 0 108 141 151 0 -57 -108 141 0 -124 -141 151 0 -87 -130 151 0 21 83 92 0 21 -83 92 0 86 93 -124 0 93 -124 -130 0 -17 61 93 0 -17 -61 -130 0 -93 102 -151 0 7 -102 -151 0 -7 53 -151 0 20 -21 -53 0 20 59 -126 0 20 -21 -59 0 20 -21 -76 0 -20 -21 77 0 128 166 187 0 128 -166 187 0 9 -14 -166 0 -9 128 187 0 -7 -44 187 0 -7 57 187 0 -53 -128 187 0 -53 -187 190 0 34 -168 190 0 -34 -53 190 0 -20 -77 -165 0 2 -77 82 0 -2 -77 82 0 15 149 -187 0 15 -121 149 0 15 161 -187 0 15 -149 -161 0 -75 165 -190 0 -75 -190 -196 0 -15 -82 -171 0 75 141 165 0 99 104 -141 0 99 -104 -141 0 -99 -155 171 0 -99 113 171 0 73 -90 -141 0 -90 -113 -141 0 67 119 155 0 -67 -113 119 0 95 155 -196 0 9 -113 126 0 8 9 41 0 8 -41 -126 0 8 -9 -95 0 -8 155 -196 0 90 106 -113 0 -27 174 196 0 26 -27 -174 0 -26 -27 -174 0 72 90 -119 0 35 72 -90 0 13 72 -119 0 72 117 -119 0 -13 72 -117 0 27 174 179 0 122 159 -174 0 122 -174 179 0 29 -122 179 0 -72 -179 190 0 -72 84 -190 0 -84 -98 116 0 29 -84 -116 0 -72 96 -98 0 -72 -96 -98 0 27 63 -199 0 27 63 -131 0 -63 69 196 0 -63 -69 -199 0 29 196 -199 0 -29 -116 -199 0 18 98 -164 0 -18 -164 199 0 -28 98 -164 0 71 178 199 0 -71 178 199 0 -72 98 -185 0 -96 98 -185 0 1 164 186 0 37 143 186 0 -1 -37 143 0 53 -143 192 0 53 -143 -192 0 50 -53 -143 0 164 172 184 0 50 -184 -186 0 88 164 -186 0 6 50 -88 0 -6 -88 118 0 50 -118 164 0 -50 79 185 0 145 -178 -184 0 23 -145 -184 0 -23 118 160 0 -23 58 -160 0 -23 -118 -145 0 -23 -178 185 0 -97 -178 185 0 -182 184 185 0 -50 112 177 0 18 -50 -177 0 -18 -79 -177 0 -79 112 124 0 -79 89 112 0 -50 112 153 0 -79 93 -153 0 -50 112 -153 0 55 -112 119 0 55 106 -119 0 -55 97 163 0 13 -55 97 0 26 -58 106 0 -13 -26 -58 0 -58 87 149 0 55 -58 -112 0 -58 87 -149 0 -87 97 -112 0 -79 -121 184 0 16 -66 97 0 -16 -66 194 0 -66 97 182 0 10 52 58 0 52 58 182 0 58 79 175 0 -32 79 -175 0 -32 -52 58 0 10 33 66 0 -10 33 117 0 33 66 182 0 -6 -33 182 0 -32 39 96 0 -32 -66 -96 0 -32 -39 -66 0 102 -112 139 0 -102 -112 139 0 -87 121 -139 0 28 32 66 0 32 -134 167 0 32 171 194 0 11 -134 -167 0 -11 32 -167 0 32 66 -134 0 -43 69 -139 0 -43 -69 -139 0 -69 -120 -139 0 49 103 134 0 43 103 134 0 -28 -47 60 0 -47 -60 85 0 -47 -60 -85 0 1 43 -103 0 -28 84 -148 0 47 -84 -148 0 -1 47 -175 0 -81 98 -175 0 -1 -98 -175 0 -1 -116 148 0 47 142 175 0 44 52 -142 0 44 47 -52 0 80 116 175 0 133 148 175 0 -44 -80 173 0 7 95 116 0 -7 95 -173 0 -44 -95 -168 0 -31 -95 -168 0 -17 64 144 0 -64 -95 144 0 -17 -144 -173 0 17 188 193 0 134 168 -188 0 17 -134 -188 0 48 120 -198 0 48 -120 -198 0 168 181 -198 0 168 -181 193 0 17 31 193 0 -31 -142 193 0 74 147 168 0 17 74 147 0 17 74 -147 0 26 -74 168 0 -26 29 -74 0 -26 122 -193 0 -22 64 -74 0 -22 -64 -193 0 -34 39 -74 0 -29 -34 200 0 33 -74 -200 0 -33 -34 -200 0 -34 -172 -200 0 22 -31 -122 0 84 91 156 0 84 91 -156 0 -29 113 131 0 -91 -113 122 0 35 -91 131 0 -35 -122 131 0 -35 -118 -122 0 -29 84 102 0 -29 -102 -131 0 22 105 136 0 22 -70 136 0 22 34 -105 0 24 -84 -136 0 34 107 124 0 103 107 -124 0 -24 -103 107 0 87 108 154 0 87 -108 154 0 -24 -87 154 0 -107 141 -154 0 -24 37 -107 0 -5 34 -154 0 -5 34 -37 0 5 151 -163 0 29 31 -151 0 5 161 -163 0 -5 31 -163 0 31 -161 -163 0 5 -60 67 0 5 -60 -67 0 4 23 139 0 85 -86 -185 0 54 109 -125 0 -98 100 159 0 19 -101 141 0 -20 79 -187 0 59 113 -162 0 -67 77 117 0 74 -102 -170 0 -162 -170 182 0 -15 -101 178 0 -54 -68 -165 0 -18 51 -129 0 -70 -128 132 0 54 -64 200 0 60 -85 -144 0 12 -59 -103 0 -12 -101 167 0 -84 -97 -182 0 -133 140 150 0 69 73 197 0 -20 54 -54 0 2 6 -97 0 13 -162 -182 0 -170 -187 -197 0 63 -99 161 0 -75 144 -182 0 21 -77 90 0 -4 61 -83 0 99 116 163 0 60 113 171 0 73 167 174 0 85 150 167 0 15 -54 61 0 -12 18 -170 0 38 -129 -164 0 -68 -137 152 0 19 -68 192 0 2 -135 -151 0 -64 -97 195 0 77 156 192 0 67 -129 139 0 -61 94 -111 0 4 -135 -146 0 11 21 77 0 110 -133 195 0 26 -97 -133 0 27 49 -65 0 -65 133 -170 0 60 -75 145 0 18 -27 -103 0 -59 -133 150 0 -125 153 197 0 61 -111 156 0 2 -111 -129 0 51 -92 124 0 -15 76 197 0 56 -111 195 0 -18 -125 150 0 27 133 0 77 -92 -197 0 -61 -150 0 -12 76 192 0 -12 -137 195 0 -15 89 -197 0 -15 181 -197 0