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

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