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

output = "SAT"

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

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