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