aim-200-6_0-yes1-4.cnf

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