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