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