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

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