c number of states: 240
c number of action vars: 180
i cnf 420 240
-1 0
-2 0
-3 0
-4 0
-5 0
-6 0
-7 0
-8 0
-9 0
-10 0
-11 0
-12 0
-13 0
-14 0
-15 0
-16 0
-17 0
-18 0
-19 0
-20 0
-21 0
-22 0
-23 0
-24 0
-25 0
-26 0
-27 0
-28 0
-29 0
-30 0
-31 0
-32 0
-33 0
-34 0
-35 0
-36 0
-37 0
-38 0
-39 0
-40 0
-41 0
-42 0
-43 0
-44 0
-45 0
-46 0
-47 0
-48 0
-49 0
-50 0
-51 0
-52 0
-53 0
-54 0
-55 0
-56 0
-57 0
-58 0
-59 0
-60 0
-61 0
-62 0
-63 0
-64 0
-65 0
-66 0
-67 0
-68 0
-69 0
-70 0
-71 0
-72 0
-73 0
-74 0
-75 0
-76 0
-77 0
-78 0
-79 0
-80 0
-81 0
-82 0
-83 0
-84 0
-85 0
-86 0
-87 0
-88 0
-89 0
-90 0
-91 0
-92 0
-93 0
-94 0
-95 0
-96 0
-97 0
-98 0
-99 0
-100 0
-101 0
-102 0
-103 0
-104 0
-105 0
-106 0
-107 0
-108 0
-109 0
-110 0
-111 0
-112 0
-113 0
-114 0
-115 0
-116 0
-117 0
-118 0
-119 0
-120 0
-121 0
-122 0
-123 0
-124 0
-125 0
-126 0
-127 0
-128 0
-129 0
-130 0
-131 0
-132 0
-133 0
-134 0
-135 0
-136 0
-137 0
-138 0
-139 0
-140 0
-141 0
-142 0
-143 0
-144 0
-145 0
-146 0
-147 0
-148 0
-149 0
-150 0
-151 0
-152 0
-153 0
-154 0
-155 0
-156 0
-157 0
-158 0
-159 0
-160 0
-161 0
-162 0
-163 0
-164 0
-165 0
-166 0
-167 0
-168 0
-169 0
-170 0
-171 0
-172 0
-173 0
-174 0
-175 0
-176 0
-177 0
-178 0
-179 0
-180 0
181 0
182 0
183 0
184 0
185 0
186 0
187 0
188 0
189 0
190 0
191 0
192 0
193 0
194 0
195 0
196 0
197 0
198 0
199 0
200 0
201 0
202 0
203 0
204 0
205 0
206 0
207 0
208 0
209 0
210 0
211 0
212 0
213 0
214 0
215 0
216 0
217 0
218 0
219 0
220 0
221 0
222 0
223 0
224 0
225 0
226 0
227 0
228 0
229 0
230 0
231 0
232 0
233 0
234 0
235 0
236 0
237 0
238 0
239 0
240 0
u cnf 420 0
g cnf 420 180
1 0
2 0
3 0
4 0
5 0
6 0
7 0
8 0
9 0
10 0
11 0
12 0
13 0
14 0
15 0
16 0
17 0
18 0
19 0
20 0
21 0
22 0
23 0
24 0
25 0
26 0
27 0
28 0
29 0
30 0
31 0
32 0
33 0
34 0
35 0
36 0
37 0
38 0
39 0
40 0
41 0
42 0
43 0
44 0
45 0
46 0
47 0
48 0
49 0
50 0
51 0
52 0
53 0
54 0
55 0
56 0
57 0
58 0
59 0
60 0
61 0
62 0
63 0
64 0
65 0
66 0
67 0
68 0
69 0
70 0
71 0
72 0
73 0
74 0
75 0
76 0
77 0
78 0
79 0
80 0
81 0
82 0
83 0
84 0
85 0
86 0
87 0
88 0
89 0
90 0
91 0
92 0
93 0
94 0
95 0
96 0
97 0
98 0
99 0
100 0
101 0
102 0
103 0
104 0
105 0
106 0
107 0
108 0
109 0
110 0
111 0
112 0
113 0
114 0
115 0
116 0
117 0
118 0
119 0
120 0
121 0
122 0
123 0
124 0
125 0
126 0
127 0
128 0
129 0
130 0
131 0
132 0
133 0
134 0
135 0
136 0
137 0
138 0
139 0
140 0
141 0
142 0
143 0
144 0
145 0
146 0
147 0
148 0
149 0
150 0
151 0
152 0
153 0
154 0
155 0
156 0
157 0
158 0
159 0
160 0
161 0
162 0
163 0
164 0
165 0
166 0
167 0
168 0
169 0
170 0
171 0
172 0
173 0
174 0
175 0
176 0
177 0
178 0
179 0
180 0
t cnf 840 2091
234 -413 0
-654 -413 0
586 -413 0
555 -413 0
547 -413 0
523 -413 0
482 -413 0
443 -413 0
431 -413 0
194 -365 0
-614 -365 0
558 -365 0
532 -365 0
500 -365 0
472 -365 0
461 -365 0
435 -365 0
223 -268 0
-643 -268 0
519 -268 0
220 -280 0
-640 -280 0
598 -280 0
589 -280 0
552 -280 0
518 -280 0
503 -280 0
462 -280 0
457 -280 0
432 -280 0
217 -289 0
-637 -289 0
593 -289 0
585 -289 0
546 -289 0
533 -289 0
479 -289 0
431 -289 0
425 -289 0
238 -308 0
-658 -308 0
518 -308 0
488 -308 0
467 -308 0
464 -308 0
449 -308 0
219 -283 0
-639 -283 0
565 -283 0
488 -283 0
190 -381 0
-610 -381 0
547 -381 0
541 -381 0
205 -328 0
-625 -328 0
563 -328 0
555 -328 0
487 -328 0
472 -328 0
436 -328 0
192 -372 0
-612 -372 0
519 -372 0
430 -372 0
231 -244 0
-651 -244 0
582 -244 0
507 -244 0
464 -244 0
439 -244 0
222 -272 0
-642 -272 0
595 -272 0
581 -272 0
580 -272 0
578 -272 0
516 -272 0
496 -272 0
438 -272 0
203 -334 0
-623 -334 0
523 -334 0
229 -252 0
-649 -252 0
516 -252 0
460 -252 0
189 -384 0
-609 -384 0
545 -384 0
498 -384 0
495 -384 0
426 -384 0
221 -279 0
-641 -279 0
501 -279 0
493 -279 0
489 -279 0
449 -279 0
191 -378 0
-611 -378 0
598 -378 0
555 -378 0
545 -378 0
492 -378 0
193 -367 0
-613 -367 0
597 -367 0
531 -367 0
522 -367 0
496 -367 0
471 -367 0
440 -367 0
437 -367 0
196 -360 0
-616 -360 0
549 -360 0
512 -360 0
494 -360 0
450 -360 0
424 -360 0
209 -317 0
-629 -317 0
571 -317 0
455 -317 0
199 -351 0
-619 -351 0
501 -351 0
437 -351 0
201 -343 0
-621 -343 0
596 -343 0
582 -343 0
548 -343 0
538 -343 0
533 -343 0
527 -343 0
515 -343 0
490 -343 0
205 -329 0
-625 -329 0
593 -329 0
572 -329 0
519 -329 0
200 -346 0
-620 -346 0
597 -346 0
575 -346 0
550 -346 0
540 -346 0
513 -346 0
482 -346 0
426 -346 0
421 -346 0
232 -418 0
-652 -418 0
592 -418 0
547 -418 0
538 -418 0
514 -418 0
469 -418 0
440 -418 0
182 -405 0
-602 -405 0
530 -405 0
492 -405 0
456 -405 0
444 -405 0
239 -276 0
-659 -276 0
588 -276 0
554 -276 0
486 -276 0
476 -276 0
198 -352 0
-618 -352 0
580 -352 0
558 -352 0
524 -352 0
506 -352 0
456 -352 0
443 -352 0
421 -352 0
188 -387 0
-608 -387 0
599 -387 0
595 -387 0
560 -387 0
528 -387 0
451 -387 0
197 -356 0
-617 -356 0
458 -356 0
181 -411 0
-601 -411 0
573 -411 0
568 -411 0
540 -411 0
537 -411 0
526 -411 0
213 -303 0
-633 -303 0
579 -303 0
567 -303 0
556 -303 0
552 -303 0
536 -303 0
516 -303 0
506 -303 0
463 -303 0
436 -303 0
429 -303 0
208 -319 0
-628 -319 0
596 -319 0
576 -319 0
563 -319 0
504 -319 0
226 -261 0
-646 -261 0
600 -261 0
562 -261 0
544 -261 0
510 -261 0
437 -261 0
229 -251 0
-649 -251 0
590 -251 0
572 -251 0
531 -251 0
519 -251 0
507 -251 0
450 -251 0
447 -251 0
209 -316 0
-629 -316 0
564 -316 0
539 -316 0
499 -316 0
432 -316 0
237 -340 0
-657 -340 0
583 -340 0
549 -340 0
479 -340 0
453 -340 0
195 -361 0
-615 -361 0
596 -361 0
181 -410 0
-601 -410 0
559 -410 0
555 -410 0
507 -410 0
451 -410 0
230 -247 0
-650 -247 0
600 -247 0
596 -247 0
550 -247 0
512 -247 0
199 -349 0
-619 -349 0
594 -349 0
588 -349 0
573 -349 0
225 -264 0
-645 -264 0
563 -264 0
561 -264 0
490 -264 0
479 -264 0
181 -409 0
-601 -409 0
577 -409 0
569 -409 0
535 -409 0
533 -409 0
525 -409 0
505 -409 0
453 -409 0
429 -409 0
231 -246 0
-651 -246 0
568 -246 0
538 -246 0
534 -246 0
494 -246 0
476 -246 0
460 -246 0
424 -246 0
423 -246 0
187 -390 0
-607 -390 0
551 -390 0
521 -390 0
498 -390 0
226 -259 0
-646 -259 0
538 -259 0
537 -259 0
518 -259 0
479 -259 0
186 -392 0
-606 -392 0
599 -392 0
597 -392 0
509 -392 0
429 -392 0
238 -309 0
-658 -309 0
596 -309 0
587 -309 0
560 -309 0
557 -309 0
530 -309 0
523 -309 0
484 -309 0
481 -309 0
470 -309 0
453 -309 0
227 -258 0
-647 -258 0
588 -258 0
585 -258 0
571 -258 0
532 -258 0
531 -258 0
192 -371 0
-612 -371 0
586 -371 0
455 -371 0
451 -371 0
441 -371 0
186 -393 0
-606 -393 0
600 -393 0
589 -393 0
519 -393 0
502 -393 0
438 -393 0
423 -393 0
195 -363 0
-615 -363 0
586 -363 0
557 -363 0
550 -363 0
513 -363 0
452 -363 0
199 -350 0
-619 -350 0
587 -350 0
471 -350 0
459 -350 0
442 -350 0
228 -254 0
-648 -254 0
566 -254 0
471 -254 0
457 -254 0
191 -377 0
-611 -377 0
565 -377 0
539 -377 0
508 -377 0
483 -377 0
209 -318 0
-629 -318 0
542 -318 0
538 -318 0
521 -318 0
520 -318 0
497 -318 0
232 -420 0
-652 -420 0
552 -420 0
498 -420 0
497 -420 0
475 -420 0
428 -420 0
206 -325 0
-626 -325 0
522 -325 0
509 -325 0
202 -338 0
-622 -338 0
591 -338 0
559 -338 0
514 -338 0
441 -338 0
213 -302 0
-633 -302 0
487 -302 0
478 -302 0
463 -302 0
460 -302 0
220 -282 0
-640 -282 0
539 -282 0
528 -282 0
502 -282 0
492 -282 0
475 -282 0
224 -267 0
-644 -267 0
511 -267 0
485 -267 0
474 -267 0
430 -267 0
206 -327 0
-626 -327 0
561 -327 0
504 -327 0
476 -327 0
464 -327 0
442 -327 0
435 -327 0
200 -348 0
-620 -348 0
571 -348 0
553 -348 0
532 -348 0
480 -348 0
226 -260 0
-646 -260 0
595 -260 0
569 -260 0
491 -260 0
467 -260 0
212 -304 0
-632 -304 0
570 -304 0
534 -304 0
495 -304 0
218 -286 0
-638 -286 0
466 -286 0
464 -286 0
453 -286 0
432 -286 0
430 -286 0
428 -286 0
219 -285 0
-639 -285 0
576 -285 0
562 -285 0
555 -285 0
543 -285 0
508 -285 0
473 -285 0
469 -285 0
188 -386 0
-608 -386 0
593 -386 0
566 -386 0
553 -386 0
438 -386 0
427 -386 0
227 -257 0
-647 -257 0
570 -257 0
548 -257 0
520 -257 0
196 -358 0
-616 -358 0
516 -358 0
440 -358 0
431 -358 0
191 -376 0
-611 -376 0
576 -376 0
565 -376 0
548 -376 0
511 -376 0
427 -376 0
424 -376 0
211 -312 0
-631 -312 0
598 -312 0
561 -312 0
533 -312 0
476 -312 0
215 -296 0
-635 -296 0
523 -296 0
518 -296 0
510 -296 0
504 -296 0
466 -296 0
236 -375 0
-656 -375 0
592 -375 0
556 -375 0
520 -375 0
212 -306 0
-632 -306 0
557 -306 0
544 -306 0
216 -293 0
-636 -293 0
563 -293 0
500 -293 0
473 -293 0
204 -333 0
-624 -333 0
564 -333 0
551 -333 0
541 -333 0
489 -333 0
475 -333 0
457 -333 0
184 -397 0
-604 -397 0
479 -397 0
217 -290 0
-637 -290 0
595 -290 0
591 -290 0
584 -290 0
579 -290 0
569 -290 0
559 -290 0
476 -290 0
225 -263 0
-645 -263 0
582 -263 0
525 -263 0
469 -263 0
459 -263 0
444 -263 0
200 -347 0
-620 -347 0
517 -347 0
455 -347 0
204 -331 0
-624 -331 0
594 -331 0
441 -331 0
184 -399 0
-604 -399 0
577 -399 0
574 -399 0
513 -399 0
500 -399 0
490 -399 0
485 -399 0
478 -399 0
201 -344 0
-621 -344 0
589 -344 0
526 -344 0
475 -344 0
422 -344 0
239 -274 0
-659 -274 0
573 -274 0
568 -274 0
480 -274 0
470 -274 0
468 -274 0
239 -275 0
-659 -275 0
576 -275 0
561 -275 0
560 -275 0
548 -275 0
529 -275 0
499 -275 0
487 -275 0
443 -275 0
218 -287 0
-638 -287 0
598 -287 0
541 -287 0
240 -243 0
-660 -243 0
600 -243 0
542 -243 0
499 -243 0
494 -243 0
488 -243 0
472 -243 0
465 -243 0
425 -243 0
212 -305 0
-632 -305 0
544 -305 0
524 -305 0
436 -305 0
434 -305 0
234 -414 0
-654 -414 0
588 -414 0
517 -414 0
500 -414 0
498 -414 0
188 -385 0
-608 -385 0
517 -385 0
508 -385 0
491 -385 0
467 -385 0
443 -385 0
207 -323 0
-627 -323 0
458 -323 0
432 -323 0
240 -242 0
-660 -242 0
552 -242 0
549 -242 0
482 -242 0
463 -242 0
442 -242 0
190 -380 0
-610 -380 0
583 -380 0
572 -380 0
549 -380 0
491 -380 0
470 -380 0
453 -380 0
183 -401 0
-603 -401 0
568 -401 0
535 -401 0
520 -401 0
511 -401 0
469 -401 0
459 -401 0
457 -401 0
452 -401 0
449 -401 0
198 -354 0
-618 -354 0
599 -354 0
547 -354 0
483 -354 0
423 -354 0
186 -391 0
-606 -391 0
583 -391 0
579 -391 0
537 -391 0
528 -391 0
494 -391 0
477 -391 0
470 -391 0
423 -391 0
233 -415 0
-653 -415 0
595 -415 0
592 -415 0
530 -415 0
512 -415 0
446 -415 0
445 -415 0
439 -415 0
427 -415 0
421 -415 0
238 -307 0
-658 -307 0
586 -307 0
549 -307 0
530 -307 0
482 -307 0
458 -307 0
449 -307 0
436 -307 0
216 -292 0
-636 -292 0
597 -292 0
577 -292 0
486 -292 0
459 -292 0
425 -292 0
187 -389 0
-607 -389 0
591 -389 0
512 -389 0
503 -389 0
477 -389 0
462 -389 0
454 -389 0
185 -396 0
-605 -396 0
589 -396 0
527 -396 0
496 -396 0
474 -396 0
464 -396 0
454 -396 0
448 -396 0
185 -395 0
-605 -395 0
564 -395 0
501 -395 0
486 -395 0
461 -395 0
433 -395 0
422 -395 0
237 -341 0
-657 -341 0
587 -341 0
562 -341 0
542 -341 0
503 -341 0
491 -341 0
485 -341 0
484 -341 0
219 -284 0
-639 -284 0
581 -284 0
566 -284 0
514 -284 0
510 -284 0
482 -284 0
438 -284 0
190 -379 0
-610 -379 0
591 -379 0
585 -379 0
581 -379 0
575 -379 0
568 -379 0
559 -379 0
223 -269 0
-643 -269 0
554 -269 0
523 -269 0
465 -269 0
193 -368 0
-613 -368 0
579 -368 0
556 -368 0
551 -368 0
532 -368 0
510 -368 0
505 -368 0
499 -368 0
217 -291 0
-637 -291 0
592 -291 0
510 -291 0
481 -291 0
473 -291 0
433 -291 0
196 -359 0
-616 -359 0
566 -359 0
495 -359 0
475 -359 0
456 -359 0
450 -359 0
435 -359 0
434 -359 0
431 -359 0
422 -359 0
198 -353 0
-618 -353 0
439 -353 0
434 -353 0
422 -353 0
233 -416 0
-653 -416 0
233 -417 0
-653 -417 0
585 -417 0
584 -417 0
489 -417 0
462 -417 0
461 -417 0
229 -250 0
-649 -250 0
474 -250 0
463 -250 0
439 -250 0
213 -301 0
-633 -301 0
578 -301 0
541 -301 0
447 -301 0
444 -301 0
183 -400 0
-603 -400 0
591 -400 0
585 -400 0
558 -400 0
540 -400 0
474 -400 0
469 -400 0
461 -400 0
211 -310 0
-631 -310 0
524 -310 0
515 -310 0
494 -310 0
462 -310 0
455 -310 0
442 -310 0
421 -310 0
194 -366 0
-614 -366 0
581 -366 0
534 -366 0
472 -366 0
454 -366 0
446 -366 0
215 -297 0
-635 -297 0
575 -297 0
509 -297 0
423 -297 0
216 -294 0
-636 -294 0
600 -294 0
553 -294 0
546 -294 0
527 -294 0
525 -294 0
521 -294 0
500 -294 0
468 -294 0
450 -294 0
435 -294 0
425 -294 0
225 -262 0
-645 -262 0
582 -262 0
542 -262 0
478 -262 0
473 -262 0
441 -262 0
434 -262 0
204 -332 0
-624 -332 0
509 -332 0
456 -332 0
429 -332 0
224 -265 0
-644 -265 0
581 -265 0
446 -265 0
441 -265 0
184 -398 0
-604 -398 0
514 -398 0
501 -398 0
485 -398 0
430 -398 0
211 -311 0
-631 -311 0
597 -311 0
543 -311 0
529 -311 0
472 -311 0
208 -320 0
-628 -320 0
592 -320 0
577 -320 0
493 -320 0
437 -320 0
428 -320 0
182 -404 0
-602 -404 0
584 -404 0
579 -404 0
571 -404 0
526 -404 0
525 -404 0
454 -404 0
426 -404 0
201 -345 0
-621 -345 0
567 -345 0
534 -345 0
466 -345 0
449 -345 0
228 -253 0
-648 -253 0
574 -253 0
558 -253 0
554 -253 0
527 -253 0
506 -253 0
483 -253 0
480 -253 0
448 -253 0
194 -364 0
-614 -364 0
594 -364 0
575 -364 0
562 -364 0
522 -364 0
501 -364 0
237 -342 0
-657 -342 0
567 -342 0
550 -342 0
524 -342 0
505 -342 0
477 -342 0
461 -342 0
221 -278 0
-641 -278 0
550 -278 0
529 -278 0
504 -278 0
483 -278 0
197 -357 0
-617 -357 0
574 -357 0
531 -357 0
525 -357 0
522 -357 0
515 -357 0
507 -357 0
504 -357 0
481 -357 0
478 -357 0
432 -357 0
189 -382 0
-609 -382 0
517 -382 0
487 -382 0
470 -382 0
468 -382 0
185 -394 0
-605 -394 0
553 -394 0
467 -394 0
444 -394 0
192 -370 0
-612 -370 0
526 -370 0
495 -370 0
484 -370 0
235 -408 0
-655 -408 0
594 -408 0
569 -408 0
566 -408 0
564 -408 0
531 -408 0
511 -408 0
499 -408 0
235 -406 0
-655 -406 0
548 -406 0
544 -406 0
466 -406 0
465 -406 0
224 -266 0
-644 -266 0
587 -266 0
582 -266 0
575 -266 0
559 -266 0
488 -266 0
452 -266 0
446 -266 0
214 -298 0
-634 -298 0
599 -298 0
584 -298 0
571 -298 0
477 -298 0
465 -298 0
448 -298 0
447 -298 0
210 -313 0
-630 -313 0
570 -313 0
560 -313 0
507 -313 0
466 -313 0
451 -313 0
436 -313 0
203 -335 0
-623 -335 0
577 -335 0
570 -335 0
551 -335 0
546 -335 0
502 -335 0
471 -335 0
445 -335 0
434 -335 0
183 -402 0
-603 -402 0
588 -402 0
497 -402 0
474 -402 0
443 -402 0
425 -402 0
197 -355 0
-617 -355 0
580 -355 0
551 -355 0
537 -355 0
516 -355 0
508 -355 0
483 -355 0
460 -355 0
433 -355 0
206 -326 0
-626 -326 0
564 -326 0
541 -326 0
521 -326 0
506 -326 0
489 -326 0
222 -273 0
-642 -273 0
593 -273 0
528 -273 0
515 -273 0
214 -300 0
-634 -300 0
567 -300 0
543 -300 0
529 -300 0
463 -300 0
458 -300 0
430 -300 0
187 -388 0
-607 -388 0
580 -388 0
527 -388 0
513 -388 0
195 -362 0
-615 -362 0
590 -362 0
506 -362 0
465 -362 0
220 -281 0
-640 -281 0
567 -281 0
537 -281 0
522 -281 0
456 -281 0
433 -281 0
422 -281 0
228 -255 0
-648 -255 0
598 -255 0
593 -255 0
554 -255 0
502 -255 0
445 -255 0
236 -373 0
-656 -373 0
565 -373 0
562 -373 0
546 -373 0
543 -373 0
536 -373 0
535 -373 0
497 -373 0
490 -373 0
489 -373 0
452 -373 0
438 -373 0
218 -288 0
-638 -288 0
558 -288 0
524 -288 0
459 -288 0
439 -288 0
210 -314 0
-630 -314 0
528 -314 0
503 -314 0
492 -314 0
458 -314 0
227 -256 0
-647 -256 0
569 -256 0
556 -256 0
535 -256 0
214 -299 0
-634 -299 0
578 -299 0
576 -299 0
560 -299 0
495 -299 0
452 -299 0
445 -299 0
427 -299 0
236 -374 0
-656 -374 0
540 -374 0
539 -374 0
431 -374 0
429 -374 0
428 -374 0
193 -369 0
-613 -369 0
490 -369 0
468 -369 0
448 -369 0
208 -321 0
-628 -321 0
590 -321 0
529 -321 0
462 -321 0
446 -321 0
232 -419 0
-652 -419 0
493 -419 0
491 -419 0
427 -419 0
203 -336 0
-623 -336 0
554 -336 0
552 -336 0
421 -336 0
221 -277 0
-641 -277 0
545 -277 0
536 -277 0
508 -277 0
437 -277 0
205 -330 0
-625 -330 0
584 -330 0
580 -330 0
481 -330 0
435 -330 0
235 -407 0
-655 -407 0
590 -407 0
570 -407 0
546 -407 0
545 -407 0
543 -407 0
496 -407 0
488 -407 0
478 -407 0
471 -407 0
202 -337 0
-622 -337 0
557 -337 0
532 -337 0
515 -337 0
514 -337 0
509 -337 0
473 -337 0
451 -337 0
223 -270 0
-643 -270 0
583 -270 0
574 -270 0
540 -270 0
492 -270 0
455 -270 0
440 -270 0
240 -241 0
-660 -241 0
505 -241 0
493 -241 0
481 -241 0
433 -241 0
424 -241 0
189 -383 0
-609 -383 0
590 -383 0
573 -383 0
545 -383 0
497 -383 0
486 -383 0
467 -383 0
428 -383 0
202 -339 0
-622 -339 0
589 -339 0
544 -339 0
539 -339 0
535 -339 0
480 -339 0
231 -245 0
-651 -245 0
574 -245 0
542 -245 0
526 -245 0
485 -245 0
207 -324 0
-627 -324 0
517 -324 0
496 -324 0
454 -324 0
207 -322 0
-627 -322 0
572 -322 0
520 -322 0
512 -322 0
505 -322 0
487 -322 0
450 -322 0
426 -322 0
424 -322 0
210 -315 0
-630 -315 0
447 -315 0
230 -249 0
-650 -249 0
573 -249 0
536 -249 0
448 -249 0
447 -249 0
426 -249 0
182 -403 0
-602 -403 0
518 -403 0
477 -403 0
457 -403 0
442 -403 0
215 -295 0
-635 -295 0
599 -295 0
587 -295 0
578 -295 0
572 -295 0
530 -295 0
484 -295 0
230 -248 0
-650 -248 0
586 -248 0
565 -248 0
513 -248 0
503 -248 0
222 -271 0
-642 -271 0
594 -271 0
557 -271 0
556 -271 0
553 -271 0
536 -271 0
534 -271 0
511 -271 0
234 -412 0
-654 -412 0
578 -412 0
547 -412 0
521 -412 0
493 -412 0
484 -412 0
480 -412 0
468 -412 0
460 -412 0
440 -412 0
-421 336 310 415 352 346 1 0
-1 421 0
-422 281 353 359 395 344 2 0
-2 422 0
-423 297 391 354 393 246 3 0
-3 423 0
-424 322 241 376 246 360 4 0
-4 424 0
-425 402 294 292 243 289 5 0
-5 425 0
-426 249 322 404 346 384 6 0
-6 426 0
-427 419 299 415 376 386 7 0
-7 427 0
-428 383 374 320 286 420 8 0
-8 428 0
-429 374 332 392 409 303 9 0
-9 429 0
-430 300 398 286 267 372 10 0
-10 430 0
-431 374 359 358 289 413 11 0
-11 431 0
-432 357 323 286 316 280 12 0
-12 432 0
-433 241 281 355 291 395 13 0
-13 433 0
-434 335 262 353 359 305 14 0
-14 434 0
-435 330 294 359 327 365 15 0
-15 435 0
-436 313 307 305 303 328 16 0
-16 436 0
-437 277 320 261 351 367 17 0
-17 437 0
-438 373 284 386 393 272 18 0
-18 438 0
-439 288 250 353 415 244 19 0
-19 439 0
-440 412 270 358 418 367 20 0
-20 440 0
-441 265 262 331 338 371 21 0
-21 441 0
-442 403 310 242 327 350 22 0
-22 442 0
-443 402 385 275 352 413 23 0
-23 443 0
-444 394 301 263 405 24 0
-24 444 0
-445 299 255 335 415 25 0
-25 445 0
-446 321 266 265 366 415 26 0
-26 446 0
-447 249 315 298 301 251 27 0
-27 447 0
-448 249 369 298 253 396 28 0
-28 448 0
-449 345 307 401 279 308 29 0
-29 449 0
-450 322 294 359 251 360 30 0
-30 450 0
-451 337 313 371 410 387 31 0
-31 451 0
-452 299 373 266 401 363 32 0
-32 452 0
-453 380 286 309 409 340 33 0
-33 453 0
-454 324 404 366 396 389 34 0
-34 454 0
-455 270 310 347 371 317 35 0
-35 455 0
-456 281 332 359 352 405 36 0
-36 456 0
-457 403 401 333 254 280 37 0
-37 457 0
-458 314 300 307 323 356 38 0
-38 458 0
-459 288 292 401 263 350 39 0
-39 459 0
-460 412 355 302 246 252 40 0
-40 460 0
-461 342 400 417 395 365 41 0
-41 461 0
-462 321 310 417 389 280 42 0
-42 462 0
-463 300 250 242 302 303 43 0
-43 463 0
-464 396 286 327 244 308 44 0
-44 464 0
-465 362 298 406 269 243 45 0
-45 465 0
-466 313 406 345 296 286 46 0
-46 466 0
-467 383 394 385 260 308 47 0
-47 467 0
-468 412 369 382 294 274 48 0
-48 468 0
-469 400 401 263 285 418 49 0
-49 469 0
-470 382 391 380 274 309 50 0
-50 470 0
-471 407 335 254 350 367 51 0
-51 471 0
-472 311 366 243 328 365 52 0
-52 472 0
-473 337 262 291 293 285 53 0
-53 473 0
-474 402 400 250 396 267 54 0
-54 474 0
-475 359 344 333 282 420 55 0
-55 475 0
-476 290 312 327 246 276 56 0
-56 476 0
-477 403 298 342 389 391 57 0
-57 477 0
-478 407 357 262 399 302 58 0
-58 478 0
-479 397 259 264 340 289 59 0
-59 479 0
-480 412 339 253 274 348 60 0
-60 480 0
-481 241 330 357 291 309 61 0
-61 481 0
-482 284 307 242 346 413 62 0
-62 482 0
-483 355 278 253 354 377 63 0
-63 483 0
-484 412 295 370 341 309 64 0
-64 484 0
-485 245 398 341 399 267 65 0
-65 485 0
-486 383 395 292 276 66 0
-66 486 0
-487 322 382 275 302 328 67 0
-67 487 0
-488 407 266 243 283 308 68 0
-68 488 0
-489 373 326 417 333 279 69 0
-69 489 0
-490 369 373 399 264 343 70 0
-70 490 0
-491 419 341 380 385 260 71 0
-71 491 0
-492 270 314 282 405 378 72 0
-72 492 0
-493 412 241 419 320 279 73 0
-73 493 0
-494 310 391 243 246 360 74 0
-74 494 0
-495 299 370 359 304 384 75 0
-75 495 0
-496 324 407 396 367 272 76 0
-76 496 0
-497 383 373 402 420 318 77 0
-77 497 0
-498 414 420 390 384 78 0
-78 498 0
-499 408 368 243 275 316 79 0
-79 499 0
-500 294 414 399 293 365 80 0
-80 500 0
-501 364 398 395 351 279 81 0
-81 501 0
-502 255 335 282 393 82 0
-82 502 0
-503 248 314 341 389 280 83 0
-83 503 0
-504 357 278 296 327 319 84 0
-84 504 0
-505 322 241 342 368 409 85 0
-85 505 0
-506 362 326 253 303 352 86 0
-86 506 0
-507 313 357 410 251 244 87 0
-87 507 0
-508 277 355 385 285 377 88 0
-88 508 0
-509 337 332 297 325 392 89 0
-89 509 0
-510 291 368 284 296 261 90 0
-90 510 0
-511 271 408 401 376 267 91 0
-91 511 0
-512 322 389 415 247 360 92 0
-92 512 0
-513 248 388 399 363 346 93 0
-93 513 0
-514 337 398 284 338 418 94 0
-94 514 0
-515 337 273 357 310 343 95 0
-95 515 0
-516 355 358 303 252 272 96 0
-96 516 0
-517 324 382 385 414 347 97 0
-97 517 0
-518 403 296 259 308 280 98 0
-98 518 0
-519 393 251 329 372 268 99 0
-99 519 0
-520 322 401 375 257 318 100 0
-100 520 0
-521 412 326 294 318 390 101 0
-101 521 0
-522 281 357 364 325 367 102 0
-102 522 0
-523 269 296 309 334 413 103 0
-103 523 0
-524 288 342 310 305 352 104 0
-104 524 0
-525 357 404 294 263 409 105 0
-105 525 0
-526 245 370 404 344 411 106 0
-106 526 0
-527 388 253 294 396 343 107 0
-107 527 0
-528 314 273 391 282 387 108 0
-108 528 0
-529 321 300 278 311 275 109 0
-109 529 0
-530 295 307 415 309 405 110 0
-110 530 0
-531 408 357 258 251 367 111 0
-111 531 0
-532 337 368 348 258 365 112 0
-112 532 0
-533 312 409 343 289 113 0
-113 533 0
-534 271 345 366 304 246 114 0
-114 534 0
-535 339 256 373 401 409 115 0
-115 535 0
-536 271 249 277 373 303 116 0
-116 536 0
-537 281 355 391 259 411 117 0
-117 537 0
-538 318 259 246 418 343 118 0
-118 538 0
-539 339 374 282 377 316 119 0
-119 539 0
-540 270 374 400 411 346 120 0
-120 540 0
-541 326 301 287 333 381 121 0
-121 541 0
-542 245 262 341 243 318 122 0
-122 542 0
-543 407 373 300 311 285 123 0
-123 543 0
-544 339 406 305 306 261 124 0
-124 544 0
-545 383 407 277 378 384 125 0
-125 545 0
-546 407 373 335 294 289 126 0
-126 546 0
-547 412 354 418 381 413 127 0
-127 547 0
-548 406 275 376 257 343 128 0
-128 548 0
-549 307 380 242 340 360 129 0
-129 549 0
-550 278 342 363 247 346 130 0
-130 550 0
-551 355 335 368 333 390 131 0
-131 551 0
-552 336 242 420 303 280 132 0
-132 552 0
-553 271 394 294 386 348 133 0
-133 553 0
-554 336 255 253 269 276 134 0
-134 554 0
-555 285 410 378 328 413 135 0
-135 555 0
-556 271 256 368 375 303 136 0
-136 556 0
-557 271 337 306 363 309 137 0
-137 557 0
-558 288 253 400 352 365 138 0
-138 558 0
-559 266 379 290 338 410 139 0
-139 559 0
-560 299 313 275 309 387 140 0
-140 560 0
-561 275 312 327 264 141 0
-141 561 0
-562 373 364 341 285 261 142 0
-142 562 0
-563 293 264 319 328 143 0
-143 563 0
-564 326 408 395 333 316 144 0
-144 564 0
-565 248 373 376 377 283 145 0
-145 565 0
-566 408 359 284 386 254 146 0
-146 566 0
-567 281 300 342 345 303 147 0
-147 567 0
-568 379 401 274 246 411 148 0
-148 568 0
-569 256 408 290 260 409 149 0
-149 569 0
-570 407 335 313 257 304 150 0
-150 570 0
-571 298 404 348 258 317 151 0
-151 571 0
-572 295 322 380 251 329 152 0
-152 572 0
-573 249 383 274 349 411 153 0
-153 573 0
-574 245 270 357 253 399 154 0
-154 574 0
-575 266 364 297 379 346 155 0
-155 575 0
-576 299 275 376 285 319 156 0
-156 576 0
-577 335 320 292 399 409 157 0
-157 577 0
-578 412 295 299 301 272 158 0
-158 578 0
-579 404 368 391 290 303 159 0
-159 579 0
-580 330 388 355 352 272 160 0
-160 580 0
-581 265 366 379 284 272 161 0
-161 581 0
-582 266 262 263 343 244 162 0
-162 582 0
-583 270 391 380 340 163 0
-163 583 0
-584 330 298 404 417 290 164 0
-164 584 0
-585 400 417 379 258 289 165 0
-165 585 0
-586 248 307 363 371 413 166 0
-166 586 0
-587 295 266 341 350 309 167 0
-167 587 0
-588 402 414 258 349 276 168 0
-168 588 0
-589 339 396 344 393 280 169 0
-169 589 0
-590 383 407 321 362 251 170 0
-170 590 0
-591 400 379 389 290 338 171 0
-171 591 0
-592 320 291 415 375 418 172 0
-172 592 0
-593 255 273 386 329 289 173 0
-173 593 0
-594 271 408 364 331 349 174 0
-174 594 0
-595 415 290 260 387 272 175 0
-175 595 0
-596 309 247 361 319 343 176 0
-176 596 0
-597 311 292 392 346 367 177 0
-177 597 0
-598 255 287 312 378 280 178 0
-178 598 0
-599 295 298 354 392 387 179 0
-179 599 0
-600 294 243 393 247 261 180 0
-180 600 0
-601 181 0
-181 409 410 411 601 0
-602 182 0
-182 403 404 405 602 0
-603 183 0
-183 402 400 401 603 0
-604 184 0
-184 398 399 397 604 0
-605 185 0
-185 394 395 396 605 0
-606 186 0
-186 391 393 392 606 0
-607 187 0
-187 388 389 390 607 0
-608 188 0
-188 385 386 387 608 0
-609 189 0
-189 383 382 384 609 0
-610 190 0
-190 379 380 381 610 0
-611 191 0
-191 376 377 378 611 0
-612 192 0
-192 370 371 372 612 0
-613 193 0
-193 369 368 367 613 0
-614 194 0
-194 364 366 365 614 0
-615 195 0
-195 362 363 361 615 0
-616 196 0
-196 359 358 360 616 0
-617 197 0
-197 355 357 356 617 0
-618 198 0
-198 353 354 352 618 0
-619 199 0
-199 350 349 351 619 0
-620 200 0
-200 347 348 346 620 0
-621 201 0
-201 345 344 343 621 0
-622 202 0
-202 339 337 338 622 0
-623 203 0
-203 336 335 334 623 0
-624 204 0
-204 332 331 333 624 0
-625 205 0
-205 330 329 328 625 0
-626 206 0
-206 326 327 325 626 0
-627 207 0
-207 322 324 323 627 0
-628 208 0
-208 321 320 319 628 0
-629 209 0
-209 318 316 317 629 0
-630 210 0
-210 315 314 313 630 0
-631 211 0
-211 311 310 312 631 0
-632 212 0
-212 305 306 304 632 0
-633 213 0
-213 301 302 303 633 0
-634 214 0
-214 299 300 298 634 0
-635 215 0
-215 295 297 296 635 0
-636 216 0
-216 294 292 293 636 0
-637 217 0
-217 291 290 289 637 0
-638 218 0
-218 288 287 286 638 0
-639 219 0
-219 284 285 283 639 0
-640 220 0
-220 281 282 280 640 0
-641 221 0
-221 277 278 279 641 0
-642 222 0
-222 271 273 272 642 0
-643 223 0
-223 270 269 268 643 0
-644 224 0
-224 266 265 267 644 0
-645 225 0
-225 262 263 264 645 0
-646 226 0
-226 260 259 261 646 0
-647 227 0
-227 256 257 258 647 0
-648 228 0
-228 255 253 254 648 0
-649 229 0
-229 250 251 252 649 0
-650 230 0
-230 248 249 247 650 0
-651 231 0
-231 245 246 244 651 0
-652 232 0
-232 419 420 418 652 0
-653 233 0
-233 417 416 415 653 0
-654 234 0
-234 412 414 413 654 0
-655 235 0
-235 407 406 408 655 0
-656 236 0
-236 374 373 375 656 0
-657 237 0
-237 342 341 340 657 0
-658 238 0
-238 307 309 308 658 0
-659 239 0
-239 275 274 276 659 0
-660 240 0
-240 241 242 243 660 0
-419 -418 0
-420 -418 0
-418 -419 0
-420 -419 0
-418 -420 0
-419 -420 0
-416 -415 0
-417 -415 0
-415 -416 0
-417 -416 0
-415 -417 0
-416 -417 0
-413 -412 0
-414 -412 0
-412 -413 0
-414 -413 0
-412 -414 0
-413 -414 0
-410 -409 0
-411 -409 0
-409 -410 0
-411 -410 0
-409 -411 0
-410 -411 0
-407 -406 0
-408 -406 0
-406 -407 0
-408 -407 0
-406 -408 0
-407 -408 0
-404 -403 0
-405 -403 0
-403 -404 0
-405 -404 0
-403 -405 0
-404 -405 0
-401 -400 0
-402 -400 0
-400 -401 0
-402 -401 0
-400 -402 0
-401 -402 0
-398 -397 0
-399 -397 0
-397 -398 0
-399 -398 0
-397 -399 0
-398 -399 0
-395 -394 0
-396 -394 0
-394 -395 0
-396 -395 0
-394 -396 0
-395 -396 0
-392 -391 0
-393 -391 0
-391 -392 0
-393 -392 0
-391 -393 0
-392 -393 0
-389 -388 0
-390 -388 0
-388 -389 0
-390 -389 0
-388 -390 0
-389 -390 0
-386 -385 0
-387 -385 0
-385 -386 0
-387 -386 0
-385 -387 0
-386 -387 0
-383 -382 0
-384 -382 0
-382 -383 0
-384 -383 0
-382 -384 0
-383 -384 0
-380 -379 0
-381 -379 0
-379 -380 0
-381 -380 0
-379 -381 0
-380 -381 0
-377 -376 0
-378 -376 0
-376 -377 0
-378 -377 0
-376 -378 0
-377 -378 0
-374 -373 0
-375 -373 0
-373 -374 0
-375 -374 0
-373 -375 0
-374 -375 0
-371 -370 0
-372 -370 0
-370 -371 0
-372 -371 0
-370 -372 0
-371 -372 0
-368 -367 0
-369 -367 0
-367 -368 0
-369 -368 0
-367 -369 0
-368 -369 0
-365 -364 0
-366 -364 0
-364 -365 0
-366 -365 0
-364 -366 0
-365 -366 0
-362 -361 0
-363 -361 0
-361 -362 0
-363 -362 0
-361 -363 0
-362 -363 0
-359 -358 0
-360 -358 0
-358 -359 0
-360 -359 0
-358 -360 0
-359 -360 0
-356 -355 0
-357 -355 0
-355 -356 0
-357 -356 0
-355 -357 0
-356 -357 0
-353 -352 0
-354 -352 0
-352 -353 0
-354 -353 0
-352 -354 0
-353 -354 0
-350 -349 0
-351 -349 0
-349 -350 0
-351 -350 0
-349 -351 0
-350 -351 0
-347 -346 0
-348 -346 0
-346 -347 0
-348 -347 0
-346 -348 0
-347 -348 0
-344 -343 0
-345 -343 0
-343 -344 0
-345 -344 0
-343 -345 0
-344 -345 0
-341 -340 0
-342 -340 0
-340 -341 0
-342 -341 0
-340 -342 0
-341 -342 0
-338 -337 0
-339 -337 0
-337 -338 0
-339 -338 0
-337 -339 0
-338 -339 0
-335 -334 0
-336 -334 0
-334 -335 0
-336 -335 0
-334 -336 0
-335 -336 0
-332 -331 0
-333 -331 0
-331 -332 0
-333 -332 0
-331 -333 0
-332 -333 0
-329 -328 0
-330 -328 0
-328 -329 0
-330 -329 0
-328 -330 0
-329 -330 0
-326 -325 0
-327 -325 0
-325 -326 0
-327 -326 0
-325 -327 0
-326 -327 0
-323 -322 0
-324 -322 0
-322 -323 0
-324 -323 0
-322 -324 0
-323 -324 0
-320 -319 0
-321 -319 0
-319 -320 0
-321 -320 0
-319 -321 0
-320 -321 0
-317 -316 0
-318 -316 0
-316 -317 0
-318 -317 0
-316 -318 0
-317 -318 0
-314 -313 0
-315 -313 0
-313 -314 0
-315 -314 0
-313 -315 0
-314 -315 0
-311 -310 0
-312 -310 0
-310 -311 0
-312 -311 0
-310 -312 0
-311 -312 0
-308 -307 0
-309 -307 0
-307 -308 0
-309 -308 0
-307 -309 0
-308 -309 0
-305 -304 0
-306 -304 0
-304 -305 0
-306 -305 0
-304 -306 0
-305 -306 0
-302 -301 0
-303 -301 0
-301 -302 0
-303 -302 0
-301 -303 0
-302 -303 0
-299 -298 0
-300 -298 0
-298 -299 0
-300 -299 0
-298 -300 0
-299 -300 0
-296 -295 0
-297 -295 0
-295 -296 0
-297 -296 0
-295 -297 0
-296 -297 0
-293 -292 0
-294 -292 0
-292 -293 0
-294 -293 0
-292 -294 0
-293 -294 0
-290 -289 0
-291 -289 0
-289 -290 0
-291 -290 0
-289 -291 0
-290 -291 0
-287 -286 0
-288 -286 0
-286 -287 0
-288 -287 0
-286 -288 0
-287 -288 0
-284 -283 0
-285 -283 0
-283 -284 0
-285 -284 0
-283 -285 0
-284 -285 0
-281 -280 0
-282 -280 0
-280 -281 0
-282 -281 0
-280 -282 0
-281 -282 0
-278 -277 0
-279 -277 0
-277 -278 0
-279 -278 0
-277 -279 0
-278 -279 0
-275 -274 0
-276 -274 0
-274 -275 0
-276 -275 0
-274 -276 0
-275 -276 0
-272 -271 0
-273 -271 0
-271 -272 0
-273 -272 0
-271 -273 0
-272 -273 0
-269 -268 0
-270 -268 0
-268 -269 0
-270 -269 0
-268 -270 0
-269 -270 0
-266 -265 0
-267 -265 0
-265 -266 0
-267 -266 0
-265 -267 0
-266 -267 0
-263 -262 0
-264 -262 0
-262 -263 0
-264 -263 0
-262 -264 0
-263 -264 0
-260 -259 0
-261 -259 0
-259 -260 0
-261 -260 0
-259 -261 0
-260 -261 0
-257 -256 0
-258 -256 0
-256 -257 0
-258 -257 0
-256 -258 0
-257 -258 0
-254 -253 0
-255 -253 0
-253 -254 0
-255 -254 0
-253 -255 0
-254 -255 0
-251 -250 0
-252 -250 0
-250 -251 0
-252 -251 0
-250 -252 0
-251 -252 0
-248 -247 0
-249 -247 0
-247 -248 0
-249 -248 0
-247 -249 0
-248 -249 0
-245 -244 0
-246 -244 0
-244 -245 0
-246 -245 0
-244 -246 0
-245 -246 0
-242 -241 0
-243 -241 0
-241 -242 0
-243 -242 0
-241 -243 0
-242 -243 0