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