sample.wcnf

c This is a sample .wcnf file
c The first entry for each clause is the weight
c
c Note: This file was generated randomly and is not an "interesting" instance per se
c
c
p wcnf 250 1065 
82 -108 246 59 0
383.2 -161 -43 234 0
4.4 7 41 -88 0
95.8 26 178 -41 0
282.2 -7 -145 -33 0
234.1 206 18 -136 0
7.1 -15 173 -213 0
455 31 -91 215 0
301.8 3 216 196 0
6.8 234 -85 179 0
391.6 155 -195 106 0
355.3 -211 -223 -41 0
63.3 97 2 -217 0
401 -81 -122 27 0
340.7 -149 34 239 0
73.8 69 -216 183 0
41.7 -69 148 -92 0
24.2 -89 -120 184 0
303.2 231 110 -213 0
427.3 67 173 -195 0
288 132 155 183 0
421.1 -115 83 4 0
222.9 173 163 -242 0
253.6 -198 43 90 0
194.8 71 -116 37 0
208.4 -232 52 28 0
436.4 21 -230 -124 0
30.5 -146 -108 -110 0
287.6 -116 163 214 0
151.9 69 -143 128 0
424.7 228 141 -99 0
412.7 -47 75 -193 0
166.2 -118 -244 -235 0
485.3 148 -246 -112 0
71.1 124 19 -76 0
65.8 -49 102 -125 0
2.6 110 155 3 0
495 -180 -192 -94 0
49.3 -114 -67 -219 0
69 -159 53 187 0
263.1 219 -102 162 0
188.4 21 -109 -173 0
266.9 -124 90 189 0
162.6 -191 117 175 0
299.7 77 -250 -155 0
484.9 -74 203 60 0
405.9 -4 65 166 0
351.5 174 -212 -165 0
454 -220 119 -35 0
228.9 -247 105 126 0
120.8 -110 -192 63 0
300.9 -227 181 172 0
267.9 -219 -31 -221 0
188 51 113 19 0
209.9 212 -4 151 0
365.7 197 -14 -211 0
90.5 117 159 -69 0
69.9 48 -19 207 0
498.4 -168 203 -212 0
365.4 -232 250 -222 0
347 151 34 139 0
44.5 249 -159 229 0
339.2 -243 244 -48 0
185.9 48 180 -153 0
224.1 -227 -98 190 0
370.5 -73 -130 60 0
139.4 33 239 -11 0
76.7 41 -48 -201 0
448.1 -39 43 143 0
489.1 131 -28 106 0
275.8 -97 49 -215 0
389.2 7 42 -194 0
37.1 -224 -94 46 0
77.7 137 -220 -84 0
390.4 -38 41 -163 0
128.4 -229 208 -187 0
472.6 149 -120 238 0
357 -90 111 135 0
145.9 176 -171 -36 0
452.4 144 -238 237 0
142.8 -194 111 -55 0
210.2 76 203 -38 0
0.5 -105 134 34 0
465.1 55 -194 -239 0
70.5 37 -95 177 0
411.2 -121 -94 -169 0
9.3 -93 49 -175 0
289.8 54 -217 102 0
212.5 -155 11 63 0
332.3 83 -138 109 0
169.4 -68 -30 103 0
71.6 -208 -48 -125 0
442.8 -100 230 -204 0
496.9 -70 222 171 0
437.7 146 -198 158 0
245.2 13 24 98 0
291.1 191 217 100 0
468.4 52 -198 5 0
131.8 166 219 -43 0
433.4 107 -247 105 0
297.7 -83 -13 86 0
316.4 232 -68 -61 0
73.6 -107 185 -112 0
130 -106 225 -226 0
482.8 48 71 238 0
452.9 144 -83 -135 0
288.6 -56 -27 -39 0
75.7 243 94 55 0
56.9 38 139 35 0
120.5 -146 -127 180 0
92.9 182 -83 84 0
32 45 211 -70 0
247.2 31 -91 72 0
434.3 -146 -232 244 0
209.7 -39 140 -200 0
279.8 219 205 -220 0
483.8 -94 -65 -87 0
90.9 -143 180 -24 0
24.9 70 161 -201 0
309.6 136 128 85 0
81.2 -223 64 62 0
173.6 -69 209 147 0
262.1 88 -15 -225 0
229.7 80 48 -149 0
472.9 224 246 -117 0
10.5 -166 -53 -26 0
340.2 -59 -63 -100 0
113.5 -1 -55 -237 0
325.4 214 246 13 0
376.5 -101 249 -118 0
448.8 -180 -222 -250 0
257.6 -97 -7 58 0
433.2 -169 -213 -80 0
76.2 -120 152 242 0
77 5 115 15 0
433.9 70 -12 -43 0
365.4 65 63 -248 0
157.9 -148 177 173 0
107.6 -224 201 12 0
258.9 -231 -88 -141 0
385.1 66 29 -233 0
301.5 99 163 12 0
71.8 -56 -183 197 0
5.7 89 133 229 0
104.2 126 79 149 0
114.9 -238 -139 -137 0
83.8 -170 -95 -148 0
490.5 -202 -246 115 0
258.8 -176 -63 158 0
36.4 216 38 -83 0
413.1 221 41 44 0
354 -91 181 135 0
431.3 171 -63 71 0
244.1 -60 136 107 0
2.5 222 5 57 0
363.9 210 -89 -151 0
26.6 -44 36 -91 0
416.4 3 -194 -15 0
476.5 -117 38 -110 0
121.7 242 226 155 0
409.6 158 -240 110 0
351.5 218 -37 90 0
159.5 11 217 57 0
11.8 250 -157 73 0
10.7 -9 -122 53 0
223.4 185 -76 73 0
390.8 -99 -101 102 0
46.9 52 -171 33 0
95.3 -143 195 228 0
404.1 42 -63 -229 0
394.6 -178 -160 224 0
202 -65 -54 208 0
379.5 232 -43 -38 0
346.3 85 43 -178 0
411.8 -171 -50 45 0
262.9 47 71 -180 0
427.9 127 135 -187 0
291.8 -201 33 222 0
470.8 -221 -131 -165 0
447.5 -131 114 221 0
65.3 195 60 185 0
177.6 -8 206 -140 0
39.9 124 -240 223 0
329.8 -217 198 149 0
343.3 52 -227 -206 0
45.6 136 -96 29 0
212 -76 -228 64 0
222.1 -157 -47 93 0
326.7 148 -108 17 0
153.1 139 40 -89 0
320.6 63 198 86 0
76.9 199 94 -33 0
365.1 -116 216 -2 0
44.2 27 242 -1 0
348.5 -156 177 28 0
491.1 234 -83 37 0
1.7 -124 -123 -149 0
440.8 112 -1 173 0
279.7 7 235 10 0
72.7 245 -184 -224 0
456.9 -112 -161 77 0
95.5 203 104 124 0
489.2 -59 -123 -10 0
170.4 250 -242 -203 0
237.6 56 243 164 0
496.6 24 126 -2 0
166.2 -101 227 86 0
408.5 -233 138 -218 0
242.8 -211 -119 -196 0
274.2 143 -183 -186 0
188.7 -148 236 76 0
267.3 -131 -187 -77 0
266.7 62 -144 -43 0
119.5 -232 96 -30 0
45.7 121 -152 89 0
8.1 7 105 37 0
166.6 182 135 -58 0
55.5 -164 -162 -112 0
439.2 -118 173 93 0
443.6 -54 220 -2 0
491.8 -193 32 65 0
239.8 -101 46 203 0
340.5 -127 -219 -215 0
53.7 235 -42 -77 0
380.4 -179 -242 -145 0
323.8 -140 77 203 0
286.6 -23 157 -112 0
446.5 -28 -193 134 0
311.8 -147 -166 100 0
264.2 148 171 -31 0
420.7 -214 241 -166 0
276.7 -217 204 93 0
34.4 -219 -211 -142 0
320.1 107 57 50 0
54 227 220 119 0
30.2 -234 62 24 0
169.2 -131 -223 24 0
383.2 232 133 -4 0
416 74 200 -201 0
304.8 211 6 220 0
55.3 -113 -9 102 0
378.9 -207 39 -80 0
245.6 24 244 -125 0
382.9 171 190 -167 0
383.4 122 24 -201 0
368.2 -132 216 -235 0
278.4 -90 58 -181 0
26.4 161 62 185 0
24.8 -3 -9 242 0
6.6 115 2 -78 0
416.5 42 -225 -145 0
486.6 168 -46 55 0
389.4 -40 -126 -154 0
46.1 26 164 -1 0
151.4 -71 199 -133 0
177.4 -78 55 -201 0
435.6 219 249 -203 0
200.1 116 137 -43 0
270.4 11 -137 -118 0
43.5 143 224 -150 0
381.6 -2 -199 218 0
117.5 108 -140 -47 0
401.9 228 28 -30 0
338.7 224 58 -27 0
116.7 -42 -211 153 0
219 104 -238 -222 0
461.1 -120 47 -33 0
477.1 61 85 223 0
169.3 230 -78 -77 0
2.3 185 -210 106 0
418.5 111 4 80 0
36 226 195 -66 0
14.4 -204 172 8 0
311.1 195 -241 191 0
291.4 166 182 -69 0
294 -114 -130 223 0
271.6 213 -189 243 0
260.3 -201 151 26 0
179.5 70 21 28 0
50.3 -119 -208 -207 0
439.4 -156 94 106 0
138.5 -177 250 -6 0
398 24 -227 -103 0
22.5 87 4 -200 0
7.1 139 133 -200 0
118.8 -71 226 23 0
387.9 -244 -32 60 0
353.5 202 225 -63 0
376 -233 -111 1 0
472.6 175 -114 -147 0
96.8 54 -30 193 0
277.2 -137 -199 78 0
8.8 31 -149 3 0
322 90 186 138 0
349.5 105 -43 -227 0
48.6 -218 220 -216 0
235.8 206 -182 119 0
388.2 62 158 -215 0
65.8 -92 -91 -103 0
167.5 92 35 -13 0
367.4 -4 -148 -219 0
468 -119 125 8 0
111.4 214 -160 -39 0
253.7 120 -1 59 0
12.3 190 216 -43 0
217.4 -11 -5 119 0
243.4 -118 -36 -187 0
155 -200 -152 98 0
275.6 194 -50 -8 0
45 32 88 -154 0
353.3 -45 106 159 0
411.7 -226 202 112 0
145.9 -101 28 -201 0
186.2 -206 -209 180 0
346.4 152 244 165 0
259.5 210 112 -115 0
254.7 195 -1 -151 0
171.7 104 -14 5 0
499.7 185 -167 -229 0
69 192 31 184 0
1.2 -116 -46 -113 0
233.9 178 -108 140 0
230.6 56 17 67 0
55.6 80 6 195 0
299.5 -250 -61 -106 0
257 184 31 -236 0
164.4 185 188 -7 0
243.8 -127 -72 187 0
493.4 -221 212 -13 0
353.4 240 -19 192 0
430.2 36 -135 -139 0
343.6 -170 -116 87 0
475.1 96 66 173 0
13 40 -229 16 0
160.5 184 -134 55 0
336 233 13 141 0
16.8 19 -204 -188 0
362.6 -208 226 -192 0
237.7 -185 48 178 0
207.4 236 -34 -204 0
424.4 -46 141 -194 0
356.1 -8 -30 181 0
287.5 72 -92 37 0
76.6 -212 157 -92 0
172.3 -210 -92 -225 0
32.1 95 176 23 0
234.2 -16 120 -63 0
101.4 7 -136 40 0
303.7 -88 -110 168 0
163.3 121 208 -115 0
364.5 228 215 171 0
187.8 35 -19 -151 0
106.7 45 222 -101 0
407.5 95 103 108 0
264.1 -35 -152 -64 0
16.1 144 -226 -149 0
493.9 -95 11 -170 0
254.2 211 -152 106 0
434.3 -59 80 223 0
468.2 22 126 -156 0
85.8 -19 -167 128 0
147.3 -68 76 -114 0
434.2 -121 32 122 0
372.5 96 152 187 0
358 -72 -90 -152 0
97.9 129 193 93 0
487.5 -109 -177 -149 0
26.8 193 35 2 0
159.2 172 -106 246 0
436.8 134 -245 152 0
324.5 212 100 -19 0
53.4 127 -214 -56 0
429.4 -245 -128 3 0
92.5 89 -114 119 0
395.8 147 -105 37 0
89 -125 -102 -108 0
89.7 22 33 177 0
371.2 46 52 -240 0
20.6 -62 -136 45 0
399.9 222 -117 120 0
445.4 16 -40 111 0
332.4 86 206 49 0
223.3 123 -78 -158 0
486.5 44 188 90 0
151.3 -103 89 176 0
286.6 232 -112 130 0
387.6 -109 70 19 0
123.8 -15 204 128 0
0 -127 -110 192 0
84.8 -26 52 -147 0
370.2 -41 5 105 0
297.4 234 206 -160 0
455 -52 128 195 0
319.6 -184 -176 121 0
250.9 184 167 -120 0
104 -74 158 -148 0
372.3 -18 62 200 0
182.3 169 115 -190 0
385.4 -124 229 164 0
389.9 -63 37 221 0
237.1 -76 190 245 0
199.3 -217 136 -134 0
170 -228 231 62 0
6.9 156 -218 -85 0
451.2 124 -25 225 0
65.5 -182 32 -31 0
314.9 -250 -221 35 0
16.2 -80 114 -78 0
114.7 248 186 139 0
59.9 -19 -128 125 0
209.4 85 154 113 0
118.9 14 -80 -88 0
254.8 -145 -43 88 0
81.4 145 181 55 0
291.2 134 31 -187 0
334.6 -89 -109 -62 0
214.2 -68 237 -222 0
126.9 -130 -180 -227 0
387.7 -86 48 90 0
35.2 -199 -215 -132 0
136.5 44 60 -14 0
479.4 -248 -79 224 0
391.1 -154 114 189 0
63 -39 167 -139 0
182.7 230 -5 -184 0
120.2 17 184 -215 0
23.9 -17 37 54 0
204 -249 159 -151 0
250.4 -29 -78 -148 0
115.6 136 186 209 0
162 -224 64 33 0
341.7 -163 111 108 0
315.9 -4 99 23 0
141.2 137 -64 138 0
429.7 -237 -116 29 0
352.4 44 158 -139 0
429 147 -8 -92 0
487.4 -118 -228 42 0
158.2 201 19 141 0
331.7 -182 -39 -238 0
453.5 -36 27 -79 0
433.7 -157 249 -181 0
245.6 -191 121 132 0
160.5 -59 212 32 0
325.5 72 -233 122 0
334.9 230 -229 -132 0
109.3 -231 60 -233 0
22.1 -66 -249 106 0
185.2 -210 -40 -79 0
265.9 -75 61 111 0
120.1 -51 -98 -32 0
299.4 -166 137 245 0
68.4 -134 113 52 0
225.6 -107 19 72 0
468 -64 85 -121 0
108.5 227 82 -87 0
102.5 -194 180 -128 0
271.2 241 -211 38 0
93.3 -74 -56 115 0
138.4 206 -54 -210 0
341.5 -66 -204 72 0
153.5 144 156 16 0
162.8 -197 84 54 0
361.3 -80 199 59 0
37.9 69 49 103 0
72.8 19 190 -34 0
12.2 -176 235 -151 0
337.8 33 -202 -78 0
357 -90 -15 -151 0
245.8 198 28 -43 0
431.5 -131 -74 -108 0
97.1 159 89 -184 0
362.9 -54 -62 141 0
210.3 -83 -238 91 0
405.7 227 -84 -76 0
107.8 187 -15 205 0
162 -243 -87 -207 0
415.5 115 200 -48 0
293.8 -82 -163 184 0
320.7 221 -122 153 0
317.7 -178 77 -52 0
496.8 -250 113 -65 0
63.7 -192 -153 -161 0
110 185 -240 153 0
448.4 187 -133 171 0
421.8 -127 -108 139 0
390.1 -158 -240 -121 0
87.5 183 -137 -62 0
480.3 -84 -60 210 0
421.5 -35 -115 -5 0
273.9 -16 81 41 0
374.6 163 -167 -20 0
376.4 192 -71 -102 0
93 -223 -248 -37 0
283.5 54 -18 79 0
395.9 242 -238 114 0
243.5 64 55 -39 0
146.9 -48 30 -248 0
273.3 -126 -6 -159 0
359 -127 242 -160 0
309.6 238 42 120 0
283.6 224 -138 -66 0
254 -189 -18 -183 0
433.1 99 -43 -220 0
12.4 149 -82 -59 0
54.6 -25 239 60 0
434.9 99 -201 137 0
407.5 -50 188 -223 0
150.3 84 147 157 0
239 240 -183 -212 0
245.3 239 243 -149 0
388.4 119 217 162 0
14.2 46 126 21 0
58.6 204 196 21 0
44.5 -174 26 53 0
450.8 -45 63 -15 0
147.5 155 -229 -99 0
443.3 -149 29 -51 0
12.6 43 250 -107 0
242.2 -183 -34 -169 0
444.4 7 -214 -55 0
7.9 154 -61 -143 0
382.3 -176 -25 -155 0
148.3 -138 235 201 0
110.5 137 -231 95 0
286 48 -223 -227 0
25.8 -16 -147 193 0
330 -34 75 94 0
202.1 140 -189 21 0
386.9 -152 70 49 0
316.1 -9 173 -238 0
167.2 118 -39 129 0
371.4 -129 -230 -101 0
461.2 7 -58 89 0
219.5 -96 50 -92 0
260.7 -158 54 -139 0
96.8 126 -156 -201 0
289.4 -31 94 127 0
465.1 32 72 103 0
118.5 -142 195 51 0
312.4 200 -246 -150 0
115.3 -1 17 94 0
324.1 -98 -52 -152 0
8.8 20 213 -38 0
219.8 -123 -225 -81 0
23.2 -19 -158 165 0
61.1 -107 -246 73 0
279.3 -9 45 145 0
214.3 -127 39 164 0
178.9 -34 95 130 0
494.5 -226 -210 213 0
160.1 -250 -201 -91 0
216.5 209 -191 -78 0
272.1 -245 -248 192 0
53.2 208 -191 -157 0
191.5 136 123 169 0
213.4 -117 -17 -74 0
107.2 -140 174 162 0
202 121 -37 119 0
292.1 124 -152 217 0
452.4 -240 -125 237 0
299.8 33 90 -20 0
216.5 -77 -187 -160 0
28.7 -109 24 -239 0
49.4 -3 -209 85 0
49.9 84 -229 -199 0
245.9 74 170 12 0
246.6 -79 102 -245 0
306.9 -191 -197 172 0
149.4 -111 -176 -216 0
255.5 -19 229 184 0
166.1 -139 -123 240 0
171.3 -208 45 -116 0
284.2 100 -224 151 0
52.4 -28 -13 -249 0
2.8 -198 -226 -122 0
45.8 -201 -81 43 0
0.1 205 -189 53 0
11.4 -23 240 -60 0
148.8 -246 38 -224 0
33.4 138 229 156 0
58.2 -179 -60 -221 0
442.5 204 -98 32 0
322.9 -46 -228 -178 0
52 -215 25 112 0
32.7 96 -34 198 0
202.5 32 -203 -225 0
234.6 231 -156 -232 0
31.2 130 -224 -197 0
443.9 196 156 209 0
144 99 210 -49 0
215.2 91 95 143 0
223.4 -199 79 -250 0
59.2 150 221 152 0
387.4 -31 223 249 0
348.4 4 -127 -73 0
1.8 -244 13 231 0
322.5 -231 -27 -156 0
90.3 159 -107 -217 0
219.9 -153 -234 -216 0
491.3 15 227 122 0
65.8 -223 -23 -56 0
351.3 -31 139 160 0
259.2 -183 28 -223 0
205.3 142 -241 -159 0
166.4 -102 -157 -109 0
267.1 17 -216 160 0
485.1 206 -200 207 0
131.8 -232 -70 -104 0
318.4 131 -110 182 0
162.8 171 70 -230 0
240.1 167 -58 189 0
236.9 145 -86 -57 0
291.9 177 -183 -13 0
257.7 -221 18 90 0
496.3 -225 228 -127 0
352.1 177 -174 226 0
255.2 222 -144 -191 0
13.1 -222 -171 -74 0
243.5 214 172 229 0
251.1 -111 49 12 0
120.1 -155 179 -192 0
394.6 -236 14 86 0
114.7 -68 -13 -1 0
151 103 210 -123 0
3.5 -116 124 -244 0
222.2 145 -14 -174 0
499.9 28 129 230 0
285 -192 123 35 0
58.1 143 -118 241 0
396.5 -211 -64 -128 0
372.5 201 -85 -1 0
429.8 91 198 24 0
62.2 -92 -2 -201 0
224.5 -158 87 83 0
90.8 152 63 94 0
145.6 17 218 119 0
372.8 -162 183 237 0
321 -13 -95 -49 0
118.3 179 129 -79 0
52.1 -42 -178 242 0
307.8 169 -224 227 0
444.2 76 152 1 0
143.8 -109 98 99 0
232.1 -150 240 -198 0
181.7 -158 -43 152 0
131.4 -159 -97 82 0
358.9 -203 210 223 0
104.8 208 132 -157 0
188.9 127 -189 -208 0
396.7 -48 -74 -1 0
69.6 -57 132 -26 0
162.3 -210 -220 -120 0
494.7 -241 -131 23 0
418.8 115 -64 -250 0
292.7 31 -185 -239 0
386.1 -210 190 94 0
488.8 144 -38 80 0
322.5 -155 211 134 0
495.9 -238 222 134 0
171.6 -153 74 205 0
46.8 -103 64 28 0
172.9 -57 -193 143 0
257.9 139 110 -73 0
105.3 -93 25 -153 0
415.9 -247 164 20 0
307.3 40 157 -189 0
144.5 172 160 -180 0
388.9 -177 -185 245 0
196 180 49 56 0
351.8 28 -22 232 0
146.9 172 13 193 0
94.9 97 1 206 0
121.7 -161 -242 -185 0
21.4 -186 170 -190 0
115.2 59 28 -236 0
211.2 76 246 222 0
166.4 64 -202 51 0
396.6 -20 138 107 0
135.2 96 -228 16 0
410 -249 28 44 0
251.2 -193 -143 -113 0
32.6 215 -224 -170 0
424 -131 -12 35 0
181.3 84 61 54 0
459.1 -116 94 50 0
208.9 -26 -21 -9 0
203.2 107 -150 -143 0
128.6 -174 45 147 0
414.9 34 -116 174 0
152.1 -109 -80 -113 0
187.5 25 -14 -212 0
419.7 203 9 -46 0
103.2 -231 -209 4 0
4.5 -239 200 151 0
476.1 181 146 -195 0
368.2 -234 79 195 0
290.2 -91 -65 -105 0
295.7 96 141 98 0
186.7 135 -6 215 0
437.6 150 -98 -147 0
258.3 -26 124 -30 0
384 -66 160 206 0
146.2 -60 -142 6 0
189.5 -173 -126 -28 0
8.7 138 -60 -43 0
491.3 235 -179 57 0
22.1 156 -215 34 0
206 -227 195 -221 0
160.2 6 -25 -87 0
226.4 228 49 -57 0
152.4 203 68 139 0
58.2 -133 237 -1 0
59.5 -247 74 -80 0
436.2 179 62 206 0
68.2 12 73 -165 0
411.2 -28 45 -65 0
319.3 -203 186 -132 0
427.1 -88 99 53 0
466.1 99 246 171 0
245.5 172 23 -88 0
197.8 -84 119 224 0
428.4 -44 -237 211 0
90.6 -155 -28 -163 0
149 -67 44 -224 0
211 3 19 7 0
87.6 -19 189 -216 0
194.2 -18 130 -237 0
272.2 -42 -210 -204 0
30.5 -183 -233 192 0
212.2 -141 222 -59 0
95.3 -244 80 -102 0
33.4 -210 90 68 0
230.6 123 110 -82 0
216.4 -226 -246 -231 0
68.2 206 -43 -172 0
343.3 178 -184 -63 0
243.6 217 103 224 0
324.9 -157 -172 -152 0
243.2 -236 -223 211 0
82.5 166 96 155 0
485.3 -70 38 -28 0
420.6 -18 34 23 0
368.8 -33 -224 -242 0
223.5 149 -197 213 0
394.3 -222 -79 198 0
447 -220 235 -95 0
294.1 -167 -135 194 0
263 10 159 -235 0
329.2 -241 242 143 0
193.2 55 -72 133 0
358.6 -59 -168 -33 0
422 64 81 -35 0
215.6 18 30 -70 0
235 198 -22 153 0
446.2 146 29 75 0
214.1 76 -89 189 0
287.5 10 55 -184 0
185.1 205 79 233 0
341.6 186 29 35 0
363.3 -91 14 37 0
364 187 -118 -155 0
241.4 -228 236 201 0
192.7 115 235 -90 0
9.1 -111 193 199 0
54.4 -153 122 80 0
443.4 -6 223 -239 0
326.2 57 -76 -200 0
293.3 18 -101 -214 0
205.5 -28 -59 -165 0
142.1 42 107 67 0
441.5 -243 -52 -77 0
264.9 -196 20 -249 0
14 125 -45 87 0
67.6 -60 -179 93 0
332 -169 196 -154 0
221.3 -89 60 -1 0
184.3 88 -237 233 0
414.6 -73 7 -53 0
69.1 193 -154 133 0
158 -82 46 232 0
429.6 -184 119 -109 0
169.5 -148 -121 136 0
69.2 -138 -30 24 0
337.8 145 -130 -23 0
160.7 63 -247 -195 0
380.2 -94 166 93 0
80.7 -103 -247 -246 0
395.5 6 -14 -232 0
256 -148 98 -50 0
180.2 69 -187 -212 0
264.2 237 76 -108 0
314.4 -205 130 204 0
319.1 -152 -124 93 0
276.1 54 -51 143 0
288.3 68 39 -204 0
109.9 222 39 11 0
356.7 -37 72 169 0
2.5 -69 173 160 0
188.4 206 -110 112 0
11 116 30 -121 0
252.3 4 29 210 0
335.2 -53 -144 -149 0
342.1 -7 202 -93 0
448.2 228 -69 -9 0
252.1 171 32 1 0
113.7 -212 104 -87 0
491.3 -249 -170 -89 0
309.3 -68 146 175 0
244.7 59 -39 105 0
340.9 39 48 -53 0
193.9 -98 -50 7 0
480.3 -129 221 -44 0
234.1 190 186 -79 0
461 151 -155 179 0
310.9 27 11 -104 0
394.4 -233 147 -242 0
133.2 -113 -210 183 0
407.7 -89 -118 237 0
26.7 -58 -132 -236 0
368.9 -42 -163 218 0
441.3 87 -225 -164 0
196.4 -40 -76 -204 0
152.4 24 -71 -249 0
265.4 91 46 -111 0
243.5 -33 -73 -161 0
265.6 -17 -54 127 0
176.6 -174 -172 -167 0
331.5 9 -168 -219 0
198.9 237 19 1 0
319.9 95 -128 105 0
311 157 144 127 0
453.7 124 247 180 0
167 -188 -134 -241 0
52.7 112 -127 187 0
186.7 -145 68 158 0
156.1 -73 228 179 0
21.5 -207 -135 249 0
183.1 -210 113 -6 0
59.6 119 -130 -23 0
486 -87 -138 -63 0
255.3 -30 -210 112 0
327.9 -210 116 -7 0
410.8 81 -211 43 0
316 233 30 -191 0
328.6 250 -171 -71 0
316.6 196 -194 168 0
71.2 -179 111 -191 0
497.4 -116 -150 153 0
311.7 -220 -219 -93 0
64 -94 224 99 0
431.9 122 232 207 0
429.5 115 -218 219 0
471.9 -247 -19 -187 0
192.6 214 147 143 0
192.4 234 150 -90 0
277.7 95 -185 -107 0
295.6 -160 -88 113 0
337 167 140 -33 0
227.3 -27 2 -106 0
1.3 35 42 61 0
89.8 249 219 59 0
445.8 2 180 120 0
395.5 -129 225 -151 0
293.4 -121 104 -192 0
255.7 -138 -57 -41 0
69.7 -73 179 -133 0
256.2 164 -36 -83 0
81 -45 -28 -116 0
84.5 135 60 47 0
483.2 76 173 125 0
466.5 -31 194 233 0
27.6 -67 239 -53 0
496.3 -40 67 -231 0
164.1 -98 -148 229 0
371.2 213 -50 187 0
382.5 141 197 2 0
223.8 -140 177 66 0
156.5 145 115 -155 0
92.7 44 117 65 0
457.8 -36 223 88 0
6.5 30 200 31 0
487.3 -212 237 174 0
202.5 -49 -177 167 0
477.3 -218 63 -148 0
321 -25 46 23 0
462.8 25 -54 226 0
469.8 163 -88 21 0
354.6 98 -41 -9 0
270.7 -98 -181 18 0
70.2 -182 -194 -137 0
241 -230 214 -46 0
453.8 240 182 9 0
432 93 -116 41 0
32.5 57 -228 186 0
399.1 165 154 -49 0
396.7 42 88 -202 0
298.1 8 33 -152 0
193.4 17 -136 -35 0
395.5 -62 45 141 0
241.6 -102 33 -18 0
448.1 138 -126 214 0
323.9 -59 -221 39 0
359.6 -130 4 -218 0
438.5 -78 123 250 0
477.9 83 221 -151 0
347.2 -225 8 110 0
266.1 -194 156 43 0
55.4 65 -245 34 0
282.7 -238 -237 217 0
340.6 106 -37 -56 0
286.7 240 111 184 0
260 -172 -243 185 0
165.3 245 40 -45 0
200.9 122 60 -189 0
148.3 -174 -152 181 0
143.4 155 -147 -178 0
271.8 117 -168 -219 0
452.6 -102 -127 234 0
318.3 99 26 -114 0
206.9 181 36 -62 0
253 178 169 116 0
35.1 81 -123 -30 0
382.1 -243 -26 -38 0
18 -31 20 217 0
42.5 55 239 -116 0
72.2 -85 -27 49 0
42.6 62 212 177 0
227.2 3 -4 127 0
141 -233 -9 68 0
195.9 -28 208 -114 0
241.5 23 159 240 0
82.3 125 171 83 0
479.2 152 16 97 0
42.3 -77 -39 -84 0
328 -19 -15 195 0
3.8 95 -180 177 0
336.3 204 -125 -207 0
81.2 -130 78 235 0
320.7 -51 182 79 0
244.8 122 -95 -80 0
385.3 85 -72 -167 0
170.8 48 -109 -41 0
91.3 -223 -25 -44 0
150.4 248 -51 -81 0
405.3 -141 57 -2 0
258.3 208 -207 -50 0
300.6 41 15 -63 0
456.7 48 -242 -232 0
189.8 240 196 -32 0
149.9 -227 -163 -23 0
485 207 -90 102 0
333.5 210 5 84 0
499 -230 -134 95 0
424.1 -193 214 239 0
142.4 -192 -11 173 0
59 -109 -196 145 0
460.3 30 -161 -113 0
77.1 216 164 83 0
339.6 103 67 21 0
87.8 102 -233 66 0
421 -79 56 -250 0
19.8 -82 -45 112 0
164.9 -144 -124 208 0
49.8 33 -37 -149 0
324.8 -109 230 173 0
214.5 -229 82 -174 0
66 179 137 -235 0
403 84 -225 -16 0
313.1 123 233 235 0
321 -211 144 92 0
333.5 -2 46 -177 0
68.5 115 -202 -119 0
128 241 75 174 0
308.5 -205 238 -105 0
339.7 -53 219 34 0
35.7 -239 103 -148 0
366 147 -143 123 0
350.5 -214 -232 188 0
401.5 10 -193 41 0
221.9 6 185 18 0
378.8 141 -68 -222 0
470.9 209 -129 -143 0
105.9 -194 -108 116 0
404.8 -184 5 -46 0
37.1 23 -125 -113 0
314 -159 54 -8 0
494.8 130 -50 119 0
478.4 156 -74 120 0
459.2 -124 139 -119 0
43.9 -97 -134 112 0
13.7 -150 -82 -79 0
459.4 148 91 219 0
189.1 -30 19 -172 0
107.1 -13 164 -15 0
125.8 -119 -179 -11 0
372.1 5 -38 -15 0
176.2 -4 94 -66 0
38.6 -71 140 -198 0
66.1 -119 -51 -151 0
101.8 9 50 162 0
159 -203 35 88 0
358.2 192 122 -127 0
63.3 -187 -164 -126 0
136.3 121 -25 -215 0
226.1 -5 -167 -196 0
496.1 216 138 -11 0
405.6 -86 46 250 0
323.2 199 239 -8 0
141.3 -238 244 188 0
207.2 98 -19 -11 0
179.8 19 -151 -83 0
180.6 -158 40 232 0
85.4 1 200 -23 0
375.3 171 -11 -139 0
212.2 -203 60 173 0
255.5 -160 -122 -8 0
184.4 -179 -58 1 0
458.3 -194 -216 -202 0
248.9 -111 144 -237 0
63 153 -206 9 0
10.5 -182 79 -233 0
177.7 -150 -249 -191 0
317.4 153 102 121 0
109.5 79 -178 -239 0
258.3 14 -79 196 0
261.5 133 84 193 0
79.8 -248 173 -13 0
56 -93 225 22 0
366 58 -158 -16 0
250.7 -36 236 -20 0
235.1 96 140 7 0
244.8 53 -2 202 0
65.8 235 -32 249 0
429.6 94 53 -234 0
55.4 50 134 -191 0
27.1 -243 -211 88 0
469.4 -28 52 94 0
303.1 3 101 65 0
453.9 78 200 -112 0
470.6 -16 -108 -93 0
498.6 -154 -169 242 0
59.3 -196 220 -177 0
370.8 -177 187 24 0
153.3 5 242 -195 0
352.6 81 157 -247 0
274.6 -191 -3 123 0
240.8 -16 115 10 0
359.3 -152 -217 33 0
121.9 -7 -149 67 0
452.7 105 45 23 0
285 -55 -23 109 0
222.6 -217 -220 -144 0
292.2 73 -63 149 0
341.4 -180 -245 -191 0
149.9 -113 -50 199 0
152.2 242 -205 52 0
245.6 129 98 -226 0
424.1 205 146 -200 0
483.7 145 -180 -182 0
207.3 -240 -39 176 0
257.6 217 166 -31 0
55.5 -24 -144 9 0
410.2 137 -120 -228 0
78.6 -24 -117 158 0