c satplan version 1.0
c created: Fri Jun 21 16:25:21 EDT 1996
c operators: bw_orig.ops
c facts: bw_large.a.facts
c goal: 6
c wff: bw_large.a.cnf
c map: bw_large.a.map
c type: wff
p cnf 459 4675
-19 -16 0
-19 -17 0
-19 -18 0
-19 4 0
-19 15 0
-20 -10 0
-20 -15 0
-20 27 0
-21 -20 0
-21 -5 0
-21 -1 0
-21 -10 0
-21 -15 0
-21 28 0
-22 -20 0
-22 -21 0
-22 -5 0
-22 -15 0
-22 29 0
-23 -20 0
-23 -21 0
-23 -22 0
-23 -5 0
-23 -10 0
-23 -2 0
-23 -15 0
-23 30 0
-24 -20 0
-24 -21 0
-24 -22 0
-24 -23 0
-24 -5 0
-24 -10 0
-24 31 0
-25 -20 0
-25 -21 0
-25 -22 0
-25 -23 0
-25 -24 0
-25 -3 0
-25 -5 0
-25 -10 0
-25 -15 0
-25 32 0
-26 -20 0
-26 -21 0
-26 -22 0
-26 -23 0
-26 -24 0
-26 -25 0
-26 -4 0
-26 -5 0
-26 -10 0
-26 -15 0
-27 -6 0
-27 20 0
-28 -1 0
-28 -11 0
-28 -16 0
-29 -12 0
-29 22 0
-30 -7 0
-30 -2 0
-30 -17 0
-31 -18 0
-31 24 0
-32 -3 0
-32 -8 0
-32 -13 0
-3 -1 0
-3 -2 0
-4 -3 0
-4 -1 0
-4 -2 0
-33 27 0
-34 -33 0
-34 28 0
-35 -33 0
-35 -34 0
-35 29 0
-36 -33 0
-36 -34 0
-36 -35 0
-36 30 0
-37 -33 0
-37 -34 0
-37 -35 0
-37 -36 0
-37 31 0
-38 -33 0
-38 -34 0
-38 -35 0
-38 -36 0
-38 -37 0
-38 32 0
-39 -33 0
-39 -34 0
-39 -35 0
-39 -36 0
-39 -37 0
-39 -38 0
-40 -33 0
-40 27 0
-42 -41 0
-42 34 0
-42 40 0
-43 -41 0
-43 -42 0
-43 35 0
-43 40 0
-44 -41 0
-44 -42 0
-44 -43 0
-44 36 0
-44 40 0
-45 -41 0
-45 -42 0
-45 -43 0
-45 -44 0
-45 37 0
-45 40 0
-46 -41 0
-46 -42 0
-46 -43 0
-46 -44 0
-46 -45 0
-46 38 0
-46 40 0
-47 -41 0
-47 -42 0
-47 -43 0
-47 -44 0
-47 -45 0
-47 -46 0
-47 39 0
-47 40 0
-48 -34 0
-48 -40 0
-48 28 0
-49 -42 0
-50 -43 0
-50 -49 0
-50 35 0
-50 48 0
-51 -44 0
-51 -49 0
-51 -50 0
-52 -45 0
-52 -49 0
-52 -50 0
-52 -51 0
-52 37 0
-52 48 0
-53 -46 0
-53 -49 0
-53 -50 0
-53 -51 0
-53 -52 0
-54 -49 0
-54 -50 0
-54 -51 0
-54 -52 0
-54 -53 0
-55 -35 0
-55 -40 0
-55 -48 0
-55 29 0
-56 -43 0
-56 -49 0
-56 33 0
-56 55 0
-57 -42 0
-57 -50 0
-57 -56 0
-57 34 0
-57 55 0
-58 -44 0
-58 -51 0
-58 -56 0
-58 -57 0
-58 36 0
-58 55 0
-59 -45 0
-59 -52 0
-59 -56 0
-59 -57 0
-59 -58 0
-59 37 0
-59 55 0
-60 -46 0
-60 -53 0
-60 -56 0
-60 -57 0
-60 -58 0
-60 -59 0
-60 38 0
-60 55 0
-61 -56 0
-61 -57 0
-61 -58 0
-61 -59 0
-61 -60 0
-62 -36 0
-62 -40 0
-62 -48 0
-62 -55 0
-62 30 0
-63 -44 0
-63 -49 0
-63 -56 0
-63 33 0
-63 62 0
-64 -42 0
-64 -51 0
-64 -57 0
-64 -63 0
-65 -43 0
-65 -50 0
-65 -58 0
-65 -63 0
-65 -64 0
-66 -45 0
-66 -52 0
-66 -59 0
-66 -63 0
-66 -64 0
-66 -65 0
-66 37 0
-66 62 0
-67 -46 0
-67 -53 0
-67 -60 0
-67 -63 0
-67 -64 0
-67 -65 0
-67 -66 0
-68 -63 0
-68 -64 0
-68 -65 0
-68 -66 0
-68 -67 0
-69 -37 0
-69 -40 0
-69 -48 0
-69 -55 0
-69 -62 0
-69 31 0
-70 -45 0
-70 -49 0
-70 -56 0
-70 -63 0
-70 33 0
-70 69 0
-71 -42 0
-71 -52 0
-71 -57 0
-71 -64 0
-71 -70 0
-71 34 0
-71 69 0
-72 -43 0
-72 -50 0
-72 -59 0
-72 -65 0
-72 -70 0
-72 -71 0
-72 35 0
-72 69 0
-73 -44 0
-73 -51 0
-73 -58 0
-73 -66 0
-73 -70 0
-73 -71 0
-73 -72 0
-73 36 0
-73 69 0
-74 -70 0
-74 -71 0
-74 -72 0
-74 -73 0
-75 -46 0
-75 -53 0
-75 -60 0
-75 -67 0
-75 -70 0
-75 -71 0
-75 -72 0
-75 -73 0
-75 -74 0
-75 38 0
-75 69 0
-76 -70 0
-76 -71 0
-76 -72 0
-76 -73 0
-76 -74 0
-76 -75 0
-76 39 0
-76 69 0
-77 -38 0
-77 -40 0
-77 -48 0
-77 -55 0
-77 -62 0
-77 -69 0
-77 32 0
-78 -46 0
-78 -49 0
-78 -56 0
-78 -63 0
-78 -70 0
-78 33 0
-78 77 0
-79 -42 0
-79 -53 0
-79 -57 0
-79 -64 0
-79 -71 0
-79 -78 0
-80 -43 0
-80 -50 0
-80 -60 0
-80 -65 0
-80 -72 0
-80 -78 0
-80 -79 0
-80 35 0
-80 77 0
-81 -44 0
-81 -51 0
-81 -58 0
-81 -67 0
-81 -73 0
-81 -78 0
-81 -79 0
-81 -80 0
-82 -45 0
-82 -52 0
-82 -59 0
-82 -66 0
-82 -75 0
-82 -78 0
-82 -79 0
-82 -80 0
-82 -81 0
-83 -78 0
-83 -79 0
-83 -80 0
-83 -81 0
-83 -82 0
-5 -1 0
-84 -33 0
-84 -40 0
-84 -55 0
-84 -62 0
-84 -69 0
-84 -77 0
-84 94 0
-85 -34 0
-85 -40 0
-85 -48 0
-85 -55 0
-85 -69 0
-85 -84 0
-85 95 0
-86 -35 0
-86 -40 0
-86 -48 0
-86 -55 0
-86 -69 0
-86 -77 0
-86 -84 0
-86 -85 0
-86 96 0
-87 -36 0
-87 -40 0
-87 -55 0
-87 -62 0
-87 -69 0
-87 -84 0
-87 -85 0
-87 -86 0
-87 97 0
-88 -40 0
-88 -48 0
-88 -55 0
-88 -62 0
-88 -77 0
-88 -84 0
-88 -85 0
-88 -86 0
-88 -87 0
-88 98 0
-89 -37 0
-89 -40 0
-89 -48 0
-89 -55 0
-89 -62 0
-89 -69 0
-89 -84 0
-89 -85 0
-89 -86 0
-89 -87 0
-89 -88 0
-89 99 0
-90 -38 0
-90 -40 0
-90 -55 0
-90 -69 0
-90 -77 0
-90 -84 0
-90 -85 0
-90 -86 0
-90 -87 0
-90 -88 0
-90 -89 0
-90 100 0
-91 -39 0
-91 -40 0
-91 -69 0
-91 -84 0
-91 -85 0
-91 -86 0
-91 -87 0
-91 -88 0
-91 -89 0
-91 -90 0
-92 -48 0
-92 -55 0
-92 -62 0
-92 -69 0
-92 -77 0
-92 -84 0
-92 -85 0
-92 -86 0
-92 -87 0
-92 -88 0
-92 -89 0
-92 -90 0
-92 -91 0
-92 93 0
-93 -41 0
-93 92 0
-94 -33 0
-94 -49 0
-94 -56 0
-94 -63 0
-94 -70 0
-94 -78 0
-95 -34 0
-95 -42 0
-95 -57 0
-95 -64 0
-95 -71 0
-95 -79 0
-96 -35 0
-96 -43 0
-96 -50 0
-96 -65 0
-96 -72 0
-96 -80 0
-97 -36 0
-97 -44 0
-97 -51 0
-97 -58 0
-97 -73 0
-97 -81 0
-98 -74 0
-98 88 0
-99 -37 0
-99 -45 0
-99 -52 0
-99 -59 0
-99 -66 0
-99 -82 0
-100 -38 0
-100 -46 0
-100 -53 0
-100 -60 0
-100 -67 0
-100 -75 0
-101 93 0
-102 94 0
-103 101 0
-103 102 0
-104 -102 0
-104 95 0
-105 -103 0
-105 101 0
-105 104 0
-106 -102 0
-106 -104 0
-106 96 0
-107 -103 0
-107 -105 0
-107 101 0
-107 106 0
-108 -102 0
-108 -104 0
-108 -106 0
-108 97 0
-109 -103 0
-109 -105 0
-109 -107 0
-109 101 0
-109 108 0
-110 -102 0
-110 -104 0
-110 -106 0
-110 -108 0
-110 98 0
-111 -103 0
-111 -105 0
-111 -107 0
-111 -109 0
-111 101 0
-111 110 0
-112 -102 0
-112 -104 0
-112 -106 0
-112 -108 0
-112 -110 0
-112 99 0
-113 -103 0
-113 -105 0
-113 -107 0
-113 -109 0
-113 -111 0
-113 101 0
-113 112 0
-114 -102 0
-114 -104 0
-114 -106 0
-114 -108 0
-114 -110 0
-114 -112 0
-114 100 0
-115 -103 0
-115 -105 0
-115 -107 0
-115 -109 0
-115 -111 0
-115 -113 0
-115 101 0
-115 114 0
-116 -102 0
-116 -104 0
-116 -106 0
-116 -108 0
-116 -110 0
-116 -112 0
-116 -114 0
-117 -103 0
-117 -105 0
-117 -107 0
-117 -109 0
-117 -111 0
-117 -113 0
-117 -115 0
-118 -101 0
-118 -102 0
-118 94 0
-119 -101 0
-119 -102 0
-119 -104 0
-119 -106 0
-119 -108 0
-119 -110 0
-119 -112 0
-119 -114 0
-119 -116 0
-119 93 0
-7 -6 0
-7 5 0
-7 2 0
-120 -103 0
-121 -105 0
-121 -120 0
-122 -107 0
-122 -120 0
-122 -121 0
-123 -109 0
-123 -120 0
-123 -121 0
-123 -122 0
-124 -111 0
-124 -120 0
-124 -121 0
-124 -122 0
-124 -123 0
-124 110 0
-124 118 0
-125 -113 0
-125 -120 0
-125 -121 0
-125 -122 0
-125 -123 0
-125 -124 0
-126 -115 0
-126 -120 0
-126 -121 0
-126 -122 0
-126 -123 0
-126 -124 0
-126 -125 0
-127 -120 0
-127 -121 0
-127 -122 0
-127 -123 0
-127 -124 0
-127 -125 0
-127 -126 0
-128 -101 0
-128 -104 0
-128 -118 0
-128 95 0
-129 -105 0
-129 -120 0
-129 119 0
-129 128 0
-130 -103 0
-130 -121 0
-130 -129 0
-131 -107 0
-131 -122 0
-131 -129 0
-131 -130 0
-132 -109 0
-132 -123 0
-132 -129 0
-132 -130 0
-132 -131 0
-133 -111 0
-133 -124 0
-133 -129 0
-133 -130 0
-133 -131 0
-133 -132 0
-133 110 0
-133 128 0
-134 -113 0
-134 -125 0
-134 -129 0
-134 -130 0
-134 -131 0
-134 -132 0
-134 -133 0
-135 -115 0
-135 -126 0
-135 -129 0
-135 -130 0
-135 -131 0
-135 -132 0
-135 -133 0
-135 -134 0
-136 -129 0
-136 -130 0
-136 -131 0
-136 -132 0
-136 -133 0
-136 -134 0
-136 -135 0
-137 -101 0
-137 -106 0
-137 -118 0
-137 -128 0
-137 96 0
-138 -107 0
-138 -120 0
-138 -129 0
-138 119 0
-138 137 0
-139 -103 0
-139 -122 0
-139 -130 0
-139 -138 0
-140 -105 0
-140 -121 0
-140 -131 0
-140 -138 0
-140 -139 0
-141 -109 0
-141 -123 0
-141 -132 0
-141 -138 0
-141 -139 0
-141 -140 0
-142 -111 0
-142 -124 0
-142 -133 0
-142 -138 0
-142 -139 0
-142 -140 0
-142 -141 0
-142 110 0
-142 137 0
-143 -113 0
-143 -125 0
-143 -134 0
-143 -138 0
-143 -139 0
-143 -140 0
-143 -141 0
-143 -142 0
-144 -115 0
-144 -126 0
-144 -135 0
-144 -138 0
-144 -139 0
-144 -140 0
-144 -141 0
-144 -142 0
-144 -143 0
-145 -138 0
-145 -139 0
-145 -140 0
-145 -141 0
-145 -142 0
-145 -143 0
-145 -144 0
-146 -101 0
-146 -108 0
-146 -118 0
-146 -128 0
-146 -137 0
-146 97 0
-147 -109 0
-147 -120 0
-147 -129 0
-147 -138 0
-147 119 0
-147 146 0
-148 -103 0
-148 -123 0
-148 -130 0
-148 -139 0
-148 -147 0
-149 -105 0
-149 -121 0
-149 -132 0
-149 -140 0
-149 -147 0
-149 -148 0
-150 -107 0
-150 -122 0
-150 -131 0
-150 -141 0
-150 -147 0
-150 -148 0
-150 -149 0
-151 -111 0
-151 -124 0
-151 -133 0
-151 -142 0
-151 -147 0
-151 -148 0
-151 -149 0
-151 -150 0
-151 110 0
-151 146 0
-152 -113 0
-152 -125 0
-152 -134 0
-152 -143 0
-152 -147 0
-152 -148 0
-152 -149 0
-152 -150 0
-152 -151 0
-153 -115 0
-153 -126 0
-153 -135 0
-153 -144 0
-153 -147 0
-153 -148 0
-153 -149 0
-153 -150 0
-153 -151 0
-153 -152 0
-154 -147 0
-154 -148 0
-154 -149 0
-154 -150 0
-154 -151 0
-154 -152 0
-154 -153 0
-8 -6 0
-8 -7 0
-8 3 0
-8 5 0
-155 -101 0
-155 -110 0
-155 -118 0
-155 -128 0
-155 -137 0
-155 -146 0
-155 98 0
-9 -6 0
-9 -7 0
-9 -8 0
-9 4 0
-9 5 0
-156 -111 0
-156 -120 0
-156 -129 0
-156 -138 0
-156 -147 0
-156 119 0
-156 155 0
-157 -103 0
-157 -124 0
-157 -130 0
-157 -139 0
-157 -148 0
-157 -156 0
-157 102 0
-157 155 0
-158 -105 0
-158 -121 0
-158 -133 0
-158 -140 0
-158 -149 0
-158 -156 0
-158 -157 0
-158 104 0
-158 155 0
-159 -107 0
-159 -122 0
-159 -131 0
-159 -142 0
-159 -150 0
-159 -156 0
-159 -157 0
-159 -158 0
-159 106 0
-159 155 0
-160 -109 0
-160 -123 0
-160 -132 0
-160 -141 0
-160 -151 0
-160 -156 0
-160 -157 0
-160 -158 0
-160 -159 0
-160 108 0
-160 155 0
-161 -156 0
-161 -157 0
-161 -158 0
-161 -159 0
-161 -160 0
-162 -113 0
-162 -125 0
-162 -134 0
-162 -143 0
-162 -152 0
-162 -156 0
-162 -157 0
-162 -158 0
-162 -159 0
-162 -160 0
-162 -161 0
-162 112 0
-162 155 0
-163 -115 0
-163 -126 0
-163 -135 0
-163 -144 0
-163 -153 0
-163 -156 0
-163 -157 0
-163 -158 0
-163 -159 0
-163 -160 0
-163 -161 0
-163 -162 0
-163 114 0
-163 155 0
-164 -156 0
-164 -157 0
-164 -158 0
-164 -159 0
-164 -160 0
-164 -161 0
-164 -162 0
-164 -163 0
-164 116 0
-164 155 0
-165 -101 0
-165 -112 0
-165 -118 0
-165 -128 0
-165 -137 0
-165 -146 0
-165 -155 0
-165 99 0
-166 -113 0
-166 -120 0
-166 -129 0
-166 -138 0
-166 -147 0
-166 -156 0
-166 119 0
-166 165 0
-167 -103 0
-167 -125 0
-167 -130 0
-167 -139 0
-167 -148 0
-167 -157 0
-167 -166 0
-168 -105 0
-168 -121 0
-168 -134 0
-168 -140 0
-168 -149 0
-168 -158 0
-168 -166 0
-168 -167 0
-169 -107 0
-169 -122 0
-169 -131 0
-169 -143 0
-169 -150 0
-169 -159 0
-169 -166 0
-169 -167 0
-169 -168 0
-170 -109 0
-170 -123 0
-170 -132 0
-170 -141 0
-170 -152 0
-170 -160 0
-170 -166 0
-170 -167 0
-170 -168 0
-170 -169 0
-171 -111 0
-171 -124 0
-171 -133 0
-171 -142 0
-171 -151 0
-171 -162 0
-171 -166 0
-171 -167 0
-171 -168 0
-171 -169 0
-171 -170 0
-172 -115 0
-172 -126 0
-172 -135 0
-172 -144 0
-172 -153 0
-172 -163 0
-172 -166 0
-172 -167 0
-172 -168 0
-172 -169 0
-172 -170 0
-172 -171 0
-173 -166 0
-173 -167 0
-173 -168 0
-173 -169 0
-173 -170 0
-173 -171 0
-173 -172 0
-174 -101 0
-174 -114 0
-174 -118 0
-174 -128 0
-174 -137 0
-174 -146 0
-174 -155 0
-174 -165 0
-174 100 0
-175 -115 0
-175 -120 0
-175 -129 0
-175 -138 0
-175 -147 0
-175 -156 0
-175 -166 0
-175 119 0
-175 174 0
-176 -103 0
-176 -126 0
-176 -130 0
-176 -139 0
-176 -148 0
-176 -157 0
-176 -167 0
-176 -175 0
-177 -105 0
-177 -121 0
-177 -135 0
-177 -140 0
-177 -149 0
-177 -158 0
-177 -168 0
-177 -175 0
-177 -176 0
-178 -107 0
-178 -122 0
-178 -131 0
-178 -144 0
-178 -150 0
-178 -159 0
-178 -169 0
-178 -175 0
-178 -176 0
-178 -177 0
-179 -109 0
-179 -123 0
-179 -132 0
-179 -141 0
-179 -153 0
-179 -160 0
-179 -170 0
-179 -175 0
-179 -176 0
-179 -177 0
-179 -178 0
-180 -111 0
-180 -124 0
-180 -133 0
-180 -142 0
-180 -151 0
-180 -163 0
-180 -171 0
-180 -175 0
-180 -176 0
-180 -177 0
-180 -178 0
-180 -179 0
-180 110 0
-180 174 0
-181 -113 0
-181 -125 0
-181 -134 0
-181 -143 0
-181 -152 0
-181 -162 0
-181 -172 0
-181 -175 0
-181 -176 0
-181 -177 0
-181 -178 0
-181 -179 0
-181 -180 0
-182 -175 0
-182 -176 0
-182 -177 0
-182 -178 0
-182 -179 0
-182 -180 0
-182 -181 0
-183 -101 0
-183 -102 0
-183 -118 0
-183 -155 0
-183 194 0
-184 -101 0
-184 -104 0
-184 -128 0
-184 -155 0
-184 -183 0
-184 195 0
-185 -101 0
-185 -106 0
-185 -137 0
-185 -155 0
-185 -183 0
-185 -184 0
-185 196 0
-186 -101 0
-186 -108 0
-186 -146 0
-186 -155 0
-186 -183 0
-186 -184 0
-186 -185 0
-186 197 0
-187 -101 0
-187 -118 0
-187 -128 0
-187 -137 0
-187 -146 0
-187 -165 0
-187 -174 0
-187 -183 0
-187 -184 0
-187 -185 0
-187 -186 0
-187 198 0
-188 -101 0
-188 -110 0
-188 -118 0
-188 -128 0
-188 -137 0
-188 -146 0
-188 -155 0
-188 -174 0
-188 -183 0
-188 -184 0
-188 -185 0
-188 -186 0
-188 -187 0
-188 199 0
-189 -101 0
-189 -112 0
-189 -155 0
-189 -165 0
-189 -183 0
-189 -184 0
-189 -185 0
-189 -186 0
-189 -187 0
-189 -188 0
-189 200 0
-190 -101 0
-190 -114 0
-190 -155 0
-190 -174 0
-190 -183 0
-190 -184 0
-190 -185 0
-190 -186 0
-190 -187 0
-190 -188 0
-190 -189 0
-190 201 0
-191 -116 0
-191 -155 0
-191 -183 0
-191 -184 0
-191 -185 0
-191 -186 0
-191 -187 0
-191 -188 0
-191 -189 0
-191 -190 0
-192 -101 0
-192 -119 0
-192 -128 0
-192 -137 0
-192 -146 0
-192 -155 0
-192 -165 0
-192 -174 0
-192 -183 0
-192 -184 0
-192 -185 0
-192 -186 0
-192 -187 0
-192 -188 0
-192 -189 0
-192 -190 0
-192 -191 0
-192 193 0
-193 -119 0
-193 -120 0
-193 -129 0
-193 -138 0
-193 -147 0
-193 -156 0
-193 -166 0
-193 -175 0
-194 -102 0
-194 -103 0
-194 -130 0
-194 -139 0
-194 -148 0
-194 -157 0
-194 -167 0
-194 -176 0
-195 -104 0
-195 -105 0
-195 -121 0
-195 -140 0
-195 -149 0
-195 -158 0
-195 -168 0
-195 -177 0
-196 -106 0
-196 -107 0
-196 -122 0
-196 -131 0
-196 -150 0
-196 -159 0
-196 -169 0
-196 -178 0
-197 -108 0
-197 -109 0
-197 -123 0
-197 -132 0
-197 -141 0
-197 -160 0
-197 -170 0
-197 -179 0
-198 -161 0
-198 187 0
-199 -110 0
-199 -111 0
-199 -124 0
-199 -133 0
-199 -142 0
-199 -151 0
-199 -171 0
-199 -180 0
-200 -112 0
-200 -113 0
-200 -125 0
-200 -134 0
-200 -143 0
-200 -152 0
-200 -162 0
-200 -181 0
-201 -114 0
-201 -115 0
-201 -126 0
-201 -135 0
-201 -144 0
-201 -153 0
-201 -163 0
-201 -172 0
-202 193 0
-203 194 0
-205 -203 0
-205 195 0
-206 -204 0
-207 -203 0
-207 -205 0
-207 196 0
-208 -204 0
-208 -206 0
-209 -203 0
-209 -205 0
-209 -207 0
-209 197 0
-210 -204 0
-210 -206 0
-210 -208 0
-211 -203 0
-211 -205 0
-211 -207 0
-211 -209 0
-211 198 0
-212 -204 0
-212 -206 0
-212 -208 0
-212 -210 0
-212 202 0
-212 211 0
-213 -203 0
-213 -205 0
-213 -207 0
-213 -209 0
-213 -211 0
-213 199 0
-214 -204 0
-214 -206 0
-214 -208 0
-214 -210 0
-214 -212 0
-215 -203 0
-215 -205 0
-215 -207 0
-215 -209 0
-215 -211 0
-215 -213 0
-215 200 0
-216 -204 0
-216 -206 0
-216 -208 0
-216 -210 0
-216 -212 0
-216 -214 0
-217 -203 0
-217 -205 0
-217 -207 0
-217 -209 0
-217 -211 0
-217 -213 0
-217 -215 0
-217 201 0
-218 -204 0
-218 -206 0
-218 -208 0
-218 -210 0
-218 -212 0
-218 -214 0
-218 -216 0
-219 -203 0
-219 -205 0
-219 -207 0
-219 -209 0
-219 -211 0
-219 -213 0
-219 -215 0
-219 -217 0
-220 -204 0
-220 -206 0
-220 -208 0
-220 -210 0
-220 -212 0
-220 -214 0
-220 -216 0
-220 -218 0
-221 -202 0
-221 -203 0
-221 194 0
-222 -202 0
-222 -203 0
-222 -205 0
-222 -207 0
-222 -209 0
-222 -211 0
-222 -213 0
-222 -215 0
-222 -217 0
-222 -219 0
-222 193 0
-223 -204 0
-224 -206 0
-224 -223 0
-225 -208 0
-225 -223 0
-225 -224 0
-226 -210 0
-226 -223 0
-226 -224 0
-226 -225 0
-227 -212 0
-227 -223 0
-227 -224 0
-227 -225 0
-227 -226 0
-227 211 0
-227 221 0
-228 -214 0
-228 -223 0
-228 -224 0
-228 -225 0
-228 -226 0
-228 -227 0
-229 -216 0
-229 -223 0
-229 -224 0
-229 -225 0
-229 -226 0
-229 -227 0
-229 -228 0
-230 -218 0
-230 -223 0
-230 -224 0
-230 -225 0
-230 -226 0
-230 -227 0
-230 -228 0
-230 -229 0
-231 -223 0
-231 -224 0
-231 -225 0
-231 -226 0
-231 -227 0
-231 -228 0
-231 -229 0
-231 -230 0
-232 -202 0
-232 -205 0
-232 -221 0
-232 195 0
-233 -206 0
-233 -223 0
-234 -204 0
-234 -224 0
-234 -233 0
-235 -208 0
-235 -225 0
-235 -233 0
-235 -234 0
-236 -210 0
-236 -226 0
-236 -233 0
-236 -234 0
-236 -235 0
-237 -212 0
-237 -227 0
-237 -233 0
-237 -234 0
-237 -235 0
-237 -236 0
-237 211 0
-237 232 0
-238 -214 0
-238 -228 0
-238 -233 0
-238 -234 0
-238 -235 0
-238 -236 0
-238 -237 0
-239 -216 0
-239 -229 0
-239 -233 0
-239 -234 0
-239 -235 0
-239 -236 0
-239 -237 0
-239 -238 0
-240 -218 0
-240 -230 0
-240 -233 0
-240 -234 0
-240 -235 0
-240 -236 0
-240 -237 0
-240 -238 0
-240 -239 0
-241 -233 0
-241 -234 0
-241 -235 0
-241 -236 0
-241 -237 0
-241 -238 0
-241 -239 0
-241 -240 0
-242 -202 0
-242 -207 0
-242 -221 0
-242 -232 0
-242 196 0
-243 -208 0
-243 -223 0
-243 -233 0
-244 -204 0
-244 -225 0
-244 -234 0
-244 -243 0
-245 -206 0
-245 -224 0
-245 -235 0
-245 -243 0
-245 -244 0
-246 -210 0
-246 -226 0
-246 -236 0
-246 -243 0
-246 -244 0
-246 -245 0
-247 -212 0
-247 -227 0
-247 -237 0
-247 -243 0
-247 -244 0
-247 -245 0
-247 -246 0
-247 211 0
-247 242 0
-248 -214 0
-248 -228 0
-248 -238 0
-248 -243 0
-248 -244 0
-248 -245 0
-248 -246 0
-248 -247 0
-249 -216 0
-249 -229 0
-249 -239 0
-249 -243 0
-249 -244 0
-249 -245 0
-249 -246 0
-249 -247 0
-249 -248 0
-250 -218 0
-250 -230 0
-250 -240 0
-250 -243 0
-250 -244 0
-250 -245 0
-250 -246 0
-250 -247 0
-250 -248 0
-250 -249 0
-251 -243 0
-251 -244 0
-251 -245 0
-251 -246 0
-251 -247 0
-251 -248 0
-251 -249 0
-251 -250 0
-252 -202 0
-252 -209 0
-252 -221 0
-252 -232 0
-252 -242 0
-252 197 0
-253 -210 0
-253 -223 0
-253 -233 0
-253 -243 0
-254 -204 0
-254 -226 0
-254 -234 0
-254 -244 0
-254 -253 0
-255 -206 0
-255 -224 0
-255 -236 0
-255 -245 0
-255 -253 0
-255 -254 0
-256 -208 0
-256 -225 0
-256 -235 0
-256 -246 0
-256 -253 0
-256 -254 0
-256 -255 0
-257 -212 0
-257 -227 0
-257 -237 0
-257 -247 0
-257 -253 0
-257 -254 0
-257 -255 0
-257 -256 0
-257 211 0
-257 252 0
-258 -214 0
-258 -228 0
-258 -238 0
-258 -248 0
-258 -253 0
-258 -254 0
-258 -255 0
-258 -256 0
-258 -257 0
-259 -216 0
-259 -229 0
-259 -239 0
-259 -249 0
-259 -253 0
-259 -254 0
-259 -255 0
-259 -256 0
-259 -257 0
-259 -258 0
-260 -218 0
-260 -230 0
-260 -240 0
-260 -250 0
-260 -253 0
-260 -254 0
-260 -255 0
-260 -256 0
-260 -257 0
-260 -258 0
-260 -259 0
-261 -253 0
-261 -254 0
-261 -255 0
-261 -256 0
-261 -257 0
-261 -258 0
-261 -259 0
-261 -260 0
-262 -202 0
-262 -211 0
-262 -221 0
-262 -232 0
-262 -242 0
-262 -252 0
-262 198 0
-263 -212 0
-263 -223 0
-263 -233 0
-263 -243 0
-263 -253 0
-263 222 0
-263 262 0
-10 -5 0
-10 -2 0
-264 -204 0
-264 -227 0
-264 -234 0
-264 -244 0
-264 -254 0
-264 -263 0
-264 203 0
-264 262 0
-265 -206 0
-265 -224 0
-265 -237 0
-265 -245 0
-265 -255 0
-265 -263 0
-265 -264 0
-265 205 0
-265 262 0
-266 -208 0
-266 -225 0
-266 -235 0
-266 -247 0
-266 -256 0
-266 -263 0
-266 -264 0
-266 -265 0
-266 207 0
-266 262 0
-267 -210 0
-267 -226 0
-267 -236 0
-267 -246 0
-267 -257 0
-267 -263 0
-267 -264 0
-267 -265 0
-267 -266 0
-267 209 0
-267 262 0
-268 -214 0
-268 -228 0
-268 -238 0
-268 -248 0
-268 -258 0
-268 -263 0
-268 -264 0
-268 -265 0
-268 -266 0
-268 -267 0
-268 213 0
-268 262 0
-269 -216 0
-269 -229 0
-269 -239 0
-269 -249 0
-269 -259 0
-269 -263 0
-269 -264 0
-269 -265 0
-269 -266 0
-269 -267 0
-269 -268 0
-269 215 0
-269 262 0
-270 -218 0
-270 -230 0
-270 -240 0
-270 -250 0
-270 -260 0
-270 -263 0
-270 -264 0
-270 -265 0
-270 -266 0
-270 -267 0
-270 -268 0
-270 -269 0
-270 217 0
-270 262 0
-271 -263 0
-271 -264 0
-271 -265 0
-271 -266 0
-271 -267 0
-271 -268 0
-271 -269 0
-271 -270 0
-272 -202 0
-272 -213 0
-272 -221 0
-272 -232 0
-272 -242 0
-272 -252 0
-272 -262 0
-272 199 0
-273 -214 0
-273 -223 0
-273 -233 0
-273 -243 0
-273 -253 0
-273 -263 0
-274 -204 0
-274 -228 0
-274 -234 0
-274 -244 0
-274 -254 0
-274 -264 0
-274 -273 0
-275 -206 0
-275 -224 0
-275 -238 0
-275 -245 0
-275 -255 0
-275 -265 0
-275 -273 0
-275 -274 0
-276 -208 0
-276 -225 0
-276 -235 0
-276 -248 0
-276 -256 0
-276 -266 0
-276 -273 0
-276 -274 0
-276 -275 0
-277 -210 0
-277 -226 0
-277 -236 0
-277 -246 0
-277 -258 0
-277 -267 0
-277 -273 0
-277 -274 0
-277 -275 0
-277 -276 0
-278 -212 0
-278 -227 0
-278 -237 0
-278 -247 0
-278 -257 0
-278 -268 0
-278 -273 0
-278 -274 0
-278 -275 0
-278 -276 0
-278 -277 0
-279 -216 0
-279 -229 0
-279 -239 0
-279 -249 0
-279 -259 0
-279 -269 0
-279 -273 0
-279 -274 0
-279 -275 0
-279 -276 0
-279 -277 0
-279 -278 0
-280 -218 0
-280 -230 0
-280 -240 0
-280 -250 0
-280 -260 0
-280 -270 0
-280 -273 0
-280 -274 0
-280 -275 0
-280 -276 0
-280 -277 0
-280 -278 0
-280 -279 0
-281 -273 0
-281 -274 0
-281 -275 0
-281 -276 0
-281 -277 0
-281 -278 0
-281 -279 0
-281 -280 0
-282 -202 0
-282 -215 0
-282 -221 0
-282 -232 0
-282 -242 0
-282 -252 0
-282 -262 0
-282 -272 0
-282 200 0
-283 -216 0
-283 -223 0
-283 -233 0
-283 -243 0
-283 -253 0
-283 -263 0
-283 -273 0
-284 -204 0
-284 -229 0
-284 -234 0
-284 -244 0
-284 -254 0
-284 -264 0
-284 -274 0
-284 -283 0
-285 -206 0
-285 -224 0
-285 -239 0
-285 -245 0
-285 -255 0
-285 -265 0
-285 -275 0
-285 -283 0
-285 -284 0
-286 -208 0
-286 -225 0
-286 -235 0
-286 -249 0
-286 -256 0
-286 -266 0
-286 -276 0
-286 -283 0
-286 -284 0
-286 -285 0
-287 -210 0
-287 -226 0
-287 -236 0
-287 -246 0
-287 -259 0
-287 -267 0
-287 -277 0
-287 -283 0
-287 -284 0
-287 -285 0
-287 -286 0
-288 -212 0
-288 -227 0
-288 -237 0
-288 -247 0
-288 -257 0
-288 -269 0
-288 -278 0
-288 -283 0
-288 -284 0
-288 -285 0
-288 -286 0
-288 -287 0
-288 211 0
-288 282 0
-289 -214 0
-289 -228 0
-289 -238 0
-289 -248 0
-289 -258 0
-289 -268 0
-289 -279 0
-289 -283 0
-289 -284 0
-289 -285 0
-289 -286 0
-289 -287 0
-289 -288 0
-290 -218 0
-290 -230 0
-290 -240 0
-290 -250 0
-290 -260 0
-290 -270 0
-290 -280 0
-290 -283 0
-290 -284 0
-290 -285 0
-290 -286 0
-290 -287 0
-290 -288 0
-290 -289 0
-291 -283 0
-291 -284 0
-291 -285 0
-291 -286 0
-291 -287 0
-291 -288 0
-291 -289 0
-291 -290 0
-292 -202 0
-292 -217 0
-292 -221 0
-292 -232 0
-292 -242 0
-292 -252 0
-292 -262 0
-292 -272 0
-292 -282 0
-292 201 0
-293 -218 0
-293 -223 0
-293 -233 0
-293 -243 0
-293 -253 0
-293 -263 0
-293 -273 0
-293 -283 0
-11 -7 0
-11 1 0
-11 10 0
-294 -204 0
-294 -230 0
-294 -234 0
-294 -244 0
-294 -254 0
-294 -264 0
-294 -274 0
-294 -284 0
-294 -293 0
-295 -206 0
-295 -224 0
-295 -240 0
-295 -245 0
-295 -255 0
-295 -265 0
-295 -275 0
-295 -285 0
-295 -293 0
-295 -294 0
-296 -208 0
-296 -225 0
-296 -235 0
-296 -250 0
-296 -256 0
-296 -266 0
-296 -276 0
-296 -286 0
-296 -293 0
-296 -294 0
-296 -295 0
-297 -210 0
-297 -226 0
-297 -236 0
-297 -246 0
-297 -260 0
-297 -267 0
-297 -277 0
-297 -287 0
-297 -293 0
-297 -294 0
-297 -295 0
-297 -296 0
-298 -212 0
-298 -227 0
-298 -237 0
-298 -247 0
-298 -257 0
-298 -270 0
-298 -278 0
-298 -288 0
-298 -293 0
-298 -294 0
-298 -295 0
-298 -296 0
-298 -297 0
-298 211 0
-298 292 0
-299 -214 0
-299 -228 0
-299 -238 0
-299 -248 0
-299 -258 0
-299 -268 0
-299 -280 0
-299 -289 0
-299 -293 0
-299 -294 0
-299 -295 0
-299 -296 0
-299 -297 0
-299 -298 0
-300 -216 0
-300 -229 0
-300 -239 0
-300 -249 0
-300 -259 0
-300 -269 0
-300 -279 0
-300 -290 0
-300 -293 0
-300 -294 0
-300 -295 0
-300 -296 0
-300 -297 0
-300 -298 0
-300 -299 0
-301 -293 0
-301 -294 0
-301 -295 0
-301 -296 0
-301 -297 0
-301 -298 0
-301 -299 0
-301 -300 0
-302 -203 0
-302 -221 0
-302 -262 0
-302 313 0
-303 -205 0
-303 -232 0
-303 -262 0
-303 -302 0
-303 314 0
-12 -11 0
-304 -207 0
-304 -242 0
-304 -262 0
-304 -302 0
-304 -303 0
-304 315 0
-305 -209 0
-305 -252 0
-305 -262 0
-305 -302 0
-305 -303 0
-305 -304 0
-305 316 0
-306 -202 0
-306 -211 0
-306 -221 0
-306 -232 0
-306 -242 0
-306 -252 0
-306 -262 0
-306 -282 0
-306 -292 0
-306 -302 0
-306 -303 0
-306 -304 0
-306 -305 0
-306 317 0
-307 -213 0
-307 -262 0
-307 -272 0
-307 -302 0
-307 -303 0
-307 -304 0
-307 -305 0
-307 -306 0
-307 318 0
-308 -215 0
-308 -262 0
-308 -282 0
-308 -302 0
-308 -303 0
-308 -304 0
-308 -305 0
-308 -306 0
-308 -307 0
-308 319 0
-309 -217 0
-309 -262 0
-309 -292 0
-309 -302 0
-309 -303 0
-309 -304 0
-309 -305 0
-309 -306 0
-309 -307 0
-309 -308 0
-309 320 0
-310 -219 0
-310 -302 0
-310 -303 0
-310 -304 0
-310 -305 0
-310 -306 0
-310 -307 0
-310 -308 0
-310 -309 0
-311 -202 0
-311 -222 0
-311 -262 0
-311 -302 0
-311 -303 0
-311 -304 0
-311 -305 0
-311 -306 0
-311 -307 0
-311 -308 0
-311 -309 0
-311 -310 0
-311 312 0
-312 -222 0
-312 -223 0
-312 -233 0
-312 -243 0
-312 -253 0
-312 -263 0
-312 -273 0
-312 -283 0
-312 -293 0
-313 -203 0
-313 -204 0
-313 -234 0
-313 -244 0
-313 -254 0
-313 -264 0
-313 -274 0
-313 -284 0
-313 -294 0
-314 -205 0
-314 -206 0
-314 -224 0
-314 -245 0
-314 -255 0
-314 -265 0
-314 -275 0
-314 -285 0
-314 -295 0
-315 -207 0
-315 -208 0
-315 -225 0
-315 -235 0
-315 -256 0
-315 -266 0
-315 -276 0
-315 -286 0
-315 -296 0
-316 -209 0
-316 -210 0
-316 -226 0
-316 -236 0
-316 -246 0
-316 -267 0
-316 -277 0
-316 -287 0
-316 -297 0
-317 -211 0
-317 -212 0
-317 -227 0
-317 -237 0
-317 -247 0
-317 -257 0
-317 -278 0
-317 -288 0
-317 -298 0
-318 -213 0
-318 -214 0
-318 -228 0
-318 -238 0
-318 -248 0
-318 -258 0
-318 -268 0
-318 -289 0
-318 -299 0
-319 -215 0
-319 -216 0
-319 -229 0
-319 -239 0
-319 -249 0
-319 -259 0
-319 -269 0
-319 -279 0
-319 -300 0
-320 -217 0
-320 -218 0
-320 -230 0
-320 -240 0
-320 -250 0
-320 -260 0
-320 -270 0
-320 -280 0
-320 -290 0
-321 312 0
-322 313 0
-323 440 0
-324 -322 0
-324 314 0
-325 -323 0
-325 440 0
-326 -322 0
-326 -324 0
-326 315 0
-327 -323 0
-327 -325 0
-327 440 0
-328 -322 0
-328 -324 0
-328 -326 0
-328 316 0
-329 -323 0
-329 -325 0
-329 -327 0
-330 -322 0
-330 -324 0
-330 -326 0
-330 -328 0
-330 317 0
-331 -323 0
-331 -325 0
-331 -327 0
-331 -329 0
-331 440 0
-332 -322 0
-332 -324 0
-332 -326 0
-332 -328 0
-332 -330 0
-332 318 0
-333 -323 0
-333 -325 0
-333 -327 0
-333 -329 0
-333 -331 0
-333 440 0
-334 -322 0
-334 -324 0
-334 -326 0
-334 -328 0
-334 -330 0
-334 -332 0
-334 319 0
-335 -323 0
-335 -325 0
-335 -327 0
-335 -329 0
-335 -331 0
-335 -333 0
-335 440 0
-336 -322 0
-336 -324 0
-336 -326 0
-336 -328 0
-336 -330 0
-336 -332 0
-336 -334 0
-336 320 0
-337 -323 0
-337 -325 0
-337 -327 0
-337 -329 0
-337 -331 0
-337 -333 0
-337 -335 0
-337 440 0
-338 -322 0
-338 -324 0
-338 -326 0
-338 -328 0
-338 -330 0
-338 -332 0
-338 -334 0
-338 -336 0
-339 -323 0
-339 -325 0
-339 -327 0
-339 -329 0
-339 -331 0
-339 -333 0
-339 -335 0
-339 -337 0
-339 440 0
-340 -321 0
-340 -322 0
-340 313 0
-341 -321 0
-341 -322 0
-341 -324 0
-341 -326 0
-341 -328 0
-341 -330 0
-341 -332 0
-341 -334 0
-341 -336 0
-341 -338 0
-341 312 0
-342 -323 0
-342 448 0
-343 -325 0
-343 -342 0
-13 -8 0
-13 -11 0
-13 -12 0
-13 3 0
-13 10 0
-344 -327 0
-344 -342 0
-344 -343 0
-344 448 0
-345 -329 0
-345 -342 0
-345 -343 0
-345 -344 0
-345 448 0
-346 -331 0
-346 -342 0
-346 -343 0
-346 -344 0
-346 -345 0
-346 448 0
-347 -333 0
-347 -342 0
-347 -343 0
-347 -344 0
-347 -345 0
-347 -346 0
-347 448 0
-348 -335 0
-348 -342 0
-348 -343 0
-348 -344 0
-348 -345 0
-348 -346 0
-348 -347 0
-348 448 0
-349 -337 0
-349 -342 0
-349 -343 0
-349 -344 0
-349 -345 0
-349 -346 0
-349 -347 0
-349 -348 0
-349 448 0
-350 -342 0
-350 -343 0
-350 -344 0
-350 -345 0
-350 -346 0
-350 -347 0
-350 -348 0
-350 -349 0
-350 448 0
-351 -321 0
-351 -324 0
-351 -340 0
-351 314 0
-352 -325 0
-352 -342 0
-352 449 0
-353 -323 0
-353 -343 0
-353 -352 0
-353 449 0
-14 -11 0
-14 -12 0
-14 -13 0
-14 4 0
-14 10 0
-354 -327 0
-354 -344 0
-354 -352 0
-354 -353 0
-354 449 0
-355 -329 0
-355 -345 0
-355 -352 0
-355 -353 0
-355 -354 0
-355 449 0
-356 -331 0
-356 -346 0
-356 -352 0
-356 -353 0
-356 -354 0
-356 -355 0
-356 449 0
-357 -333 0
-357 -347 0
-357 -352 0
-357 -353 0
-357 -354 0
-357 -355 0
-357 -356 0
-358 -335 0
-358 -348 0
-358 -352 0
-358 -353 0
-358 -354 0
-358 -355 0
-358 -356 0
-358 -357 0
-358 449 0
-359 -337 0
-359 -349 0
-359 -352 0
-359 -353 0
-359 -354 0
-359 -355 0
-359 -356 0
-359 -357 0
-359 -358 0
-359 449 0
-360 -352 0
-360 -353 0
-360 -354 0
-360 -355 0
-360 -356 0
-360 -357 0
-360 -358 0
-360 -359 0
-360 449 0
-361 -321 0
-361 -326 0
-361 -340 0
-361 -351 0
-361 315 0
-362 -327 0
-362 -342 0
-362 -352 0
-362 450 0
-363 -323 0
-363 -344 0
-363 -353 0
-363 -362 0
-363 450 0
-364 -325 0
-364 -343 0
-364 -354 0
-364 -362 0
-364 -363 0
-364 450 0
-365 -329 0
-365 -345 0
-365 -355 0
-365 -362 0
-365 -363 0
-365 -364 0
-365 450 0
-366 -331 0
-366 -346 0
-366 -356 0
-366 -362 0
-366 -363 0
-366 -364 0
-366 -365 0
-366 450 0
-367 -333 0
-367 -347 0
-367 -357 0
-367 -362 0
-367 -363 0
-367 -364 0
-367 -365 0
-367 -366 0
-367 450 0
-368 -335 0
-368 -348 0
-368 -358 0
-368 -362 0
-368 -363 0
-368 -364 0
-368 -365 0
-368 -366 0
-368 -367 0
-368 450 0
-369 -337 0
-369 -349 0
-369 -359 0
-369 -362 0
-369 -363 0
-369 -364 0
-369 -365 0
-369 -366 0
-369 -367 0
-369 -368 0
-369 450 0
-370 -362 0
-370 -363 0
-370 -364 0
-370 -365 0
-370 -366 0
-370 -367 0
-370 -368 0
-370 -369 0
-371 -321 0
-371 -328 0
-371 -340 0
-371 -351 0
-371 -361 0
-371 316 0
-372 -329 0
-372 -342 0
-372 -352 0
-372 -362 0
-372 451 0
-373 -323 0
-373 -345 0
-373 -353 0
-373 -363 0
-373 -372 0
-373 451 0
-374 -325 0
-374 -343 0
-374 -355 0
-374 -364 0
-374 -372 0
-374 -373 0
-374 451 0
-375 -327 0
-375 -344 0
-375 -354 0
-375 -365 0
-375 -372 0
-375 -373 0
-375 -374 0
-375 451 0
-376 -331 0
-376 -346 0
-376 -356 0
-376 -366 0
-376 -372 0
-376 -373 0
-376 -374 0
-376 -375 0
-376 451 0
-377 -333 0
-377 -347 0
-377 -357 0
-377 -367 0
-377 -372 0
-377 -373 0
-377 -374 0
-377 -375 0
-377 -376 0
-377 451 0
-378 -335 0
-378 -348 0
-378 -358 0
-378 -368 0
-378 -372 0
-378 -373 0
-378 -374 0
-378 -375 0
-378 -376 0
-378 -377 0
-378 451 0
-379 -337 0
-379 -349 0
-379 -359 0
-379 -369 0
-379 -372 0
-379 -373 0
-379 -374 0
-379 -375 0
-379 -376 0
-379 -377 0
-379 -378 0
-379 451 0
-380 -372 0
-380 -373 0
-380 -374 0
-380 -375 0
-380 -376 0
-380 -377 0
-380 -378 0
-380 -379 0
-381 -321 0
-381 -330 0
-381 -340 0
-381 -351 0
-381 -361 0
-381 -371 0
-381 317 0
-382 -331 0
-382 -342 0
-382 -352 0
-382 -362 0
-382 -372 0
-382 452 0
-383 -323 0
-383 -346 0
-383 -353 0
-383 -363 0
-383 -373 0
-383 -382 0
-383 452 0
-384 -325 0
-384 -343 0
-384 -356 0
-384 -364 0
-384 -374 0
-384 -382 0
-384 -383 0
-384 452 0
-385 -327 0
-385 -344 0
-385 -354 0
-385 -366 0
-385 -375 0
-385 -382 0
-385 -383 0
-385 -384 0
-385 452 0
-386 -329 0
-386 -345 0
-386 -355 0
-386 -365 0
-386 -376 0
-386 -382 0
-386 -383 0
-386 -384 0
-386 -385 0
-386 452 0
-387 -333 0
-387 -347 0
-387 -357 0
-387 -367 0
-387 -377 0
-387 -382 0
-387 -383 0
-387 -384 0
-387 -385 0
-387 -386 0
-387 452 0
-388 -335 0
-388 -348 0
-388 -358 0
-388 -368 0
-388 -378 0
-388 -382 0
-388 -383 0
-388 -384 0
-388 -385 0
-388 -386 0
-388 -387 0
-388 452 0
-389 -337 0
-389 -349 0
-389 -359 0
-389 -369 0
-389 -379 0
-389 -382 0
-389 -383 0
-389 -384 0
-389 -385 0
-389 -386 0
-389 -387 0
-389 -388 0
-389 452 0
-390 -382 0
-390 -383 0
-390 -384 0
-390 -385 0
-390 -386 0
-390 -387 0
-390 -388 0
-390 -389 0
-391 -321 0
-391 -332 0
-391 -340 0
-391 -351 0
-391 -361 0
-391 -371 0
-391 -381 0
-391 318 0
-392 -333 0
-392 -342 0
-392 -352 0
-392 -362 0
-392 -372 0
-392 -382 0
-392 453 0
-393 -323 0
-393 -347 0
-393 -353 0
-393 -363 0
-393 -373 0
-393 -383 0
-393 -392 0
-393 453 0
-394 -325 0
-394 -343 0
-394 -357 0
-394 -364 0
-394 -374 0
-394 -384 0
-394 -392 0
-394 -393 0
-394 453 0
-395 -327 0
-395 -344 0
-395 -354 0
-395 -367 0
-395 -375 0
-395 -385 0
-395 -392 0
-395 -393 0
-395 -394 0
-395 453 0
-396 -329 0
-396 -345 0
-396 -355 0
-396 -365 0
-396 -377 0
-396 -386 0
-396 -392 0
-396 -393 0
-396 -394 0
-396 -395 0
-396 453 0
-397 -331 0
-397 -346 0
-397 -356 0
-397 -366 0
-397 -376 0
-397 -387 0
-397 -392 0
-397 -393 0
-397 -394 0
-397 -395 0
-397 -396 0
-398 -335 0
-398 -348 0
-398 -358 0
-398 -368 0
-398 -378 0
-398 -388 0
-398 -392 0
-398 -393 0
-398 -394 0
-398 -395 0
-398 -396 0
-398 -397 0
-398 453 0
-399 -337 0
-399 -349 0
-399 -359 0
-399 -369 0
-399 -379 0
-399 -389 0
-399 -392 0
-399 -393 0
-399 -394 0
-399 -395 0
-399 -396 0
-399 -397 0
-399 -398 0
-399 453 0
-400 -392 0
-400 -393 0
-400 -394 0
-400 -395 0
-400 -396 0
-400 -397 0
-400 -398 0
-400 -399 0
-400 453 0
-401 -321 0
-401 -334 0
-401 -340 0
-401 -351 0
-401 -361 0
-401 -371 0
-401 -381 0
-401 -391 0
-401 319 0
-402 -335 0
-402 -342 0
-402 -352 0
-402 -362 0
-402 -372 0
-402 -382 0
-402 -392 0
-402 454 0
-403 -323 0
-403 -348 0
-403 -353 0
-403 -363 0
-403 -373 0
-403 -383 0
-403 -393 0
-403 -402 0
-403 454 0
-404 -325 0
-404 -343 0
-404 -358 0
-404 -364 0
-404 -374 0
-404 -384 0
-404 -394 0
-404 -402 0
-404 -403 0
-404 454 0
-405 -327 0
-405 -344 0
-405 -354 0
-405 -368 0
-405 -375 0
-405 -385 0
-405 -395 0
-405 -402 0
-405 -403 0
-405 -404 0
-405 454 0
-406 -329 0
-406 -345 0
-406 -355 0
-406 -365 0
-406 -378 0
-406 -386 0
-406 -396 0
-406 -402 0
-406 -403 0
-406 -404 0
-406 -405 0
-406 454 0
-407 -331 0
-407 -346 0
-407 -356 0
-407 -366 0
-407 -376 0
-407 -388 0
-407 -397 0
-407 -402 0
-407 -403 0
-407 -404 0
-407 -405 0
-407 -406 0
-407 454 0
-408 -333 0
-408 -347 0
-408 -357 0
-408 -367 0
-408 -377 0
-408 -387 0
-408 -398 0
-408 -402 0
-408 -403 0
-408 -404 0
-408 -405 0
-408 -406 0
-408 -407 0
-408 454 0
-409 -337 0
-409 -349 0
-409 -359 0
-409 -369 0
-409 -379 0
-409 -389 0
-409 -399 0
-409 -402 0
-409 -403 0
-409 -404 0
-409 -405 0
-409 -406 0
-409 -407 0
-409 -408 0
-410 -402 0
-410 -403 0
-410 -404 0
-410 -405 0
-410 -406 0
-410 -407 0
-410 -408 0
-410 -409 0
-410 454 0
-411 -321 0
-411 -336 0
-411 -340 0
-411 -351 0
-411 -361 0
-411 -371 0
-411 -381 0
-411 -391 0
-411 -401 0
-411 320 0
-412 -337 0
-412 -342 0
-412 -352 0
-412 -362 0
-412 -372 0
-412 -382 0
-412 -392 0
-412 -402 0
-412 455 0
-413 -323 0
-413 -349 0
-413 -353 0
-413 -363 0
-413 -373 0
-413 -383 0
-413 -393 0
-413 -403 0
-413 -412 0
-413 455 0
-414 -325 0
-414 -343 0
-414 -359 0
-414 -364 0
-414 -374 0
-414 -384 0
-414 -394 0
-414 -404 0
-414 -412 0
-414 -413 0
-414 455 0
-415 -327 0
-415 -344 0
-415 -354 0
-415 -369 0
-415 -375 0
-415 -385 0
-415 -395 0
-415 -405 0
-415 -412 0
-415 -413 0
-415 -414 0
-416 -329 0
-416 -345 0
-416 -355 0
-416 -365 0
-416 -379 0
-416 -386 0
-416 -396 0
-416 -406 0
-416 -412 0
-416 -413 0
-416 -414 0
-416 -415 0
-416 455 0
-417 -331 0
-417 -346 0
-417 -356 0
-417 -366 0
-417 -376 0
-417 -389 0
-417 -397 0
-417 -407 0
-417 -412 0
-417 -413 0
-417 -414 0
-417 -415 0
-417 -416 0
-417 455 0
-418 -333 0
-418 -347 0
-418 -357 0
-418 -367 0
-418 -377 0
-418 -387 0
-418 -399 0
-418 -408 0
-418 -412 0
-418 -413 0
-418 -414 0
-418 -415 0
-418 -416 0
-418 -417 0
-418 455 0
-419 -335 0
-419 -348 0
-419 -358 0
-419 -368 0
-419 -378 0
-419 -388 0
-419 -398 0
-419 -409 0
-419 -412 0
-419 -413 0
-419 -414 0
-419 -415 0
-419 -416 0
-419 -417 0
-419 -418 0
-419 455 0
-420 -412 0
-420 -413 0
-420 -414 0
-420 -415 0
-420 -416 0
-420 -417 0
-420 -418 0
-420 -419 0
-420 455 0
-421 -322 0
-421 -340 0
-421 432 0
-422 -324 0
-422 -351 0
-422 -421 0
-422 433 0
-423 -326 0
-423 -361 0
-423 -421 0
-423 -422 0
-423 434 0
-424 -328 0
-424 -371 0
-424 -421 0
-424 -422 0
-424 -423 0
-424 435 0
-425 -330 0
-425 -381 0
-425 -421 0
-425 -422 0
-425 -423 0
-425 -424 0
-425 436 0
-426 -332 0
-426 -391 0
-426 -421 0
-426 -422 0
-426 -423 0
-426 -424 0
-426 -425 0
-426 437 0
-427 -334 0
-427 -401 0
-427 -421 0
-427 -422 0
-427 -423 0
-427 -424 0
-427 -425 0
-427 -426 0
-427 438 0
-428 -336 0
-428 -411 0
-428 -421 0
-428 -422 0
-428 -423 0
-428 -424 0
-428 -425 0
-428 -426 0
-428 -427 0
-428 439 0
-429 -338 0
-429 -421 0
-429 -422 0
-429 -423 0
-429 -424 0
-429 -425 0
-429 -426 0
-429 -427 0
-429 -428 0
-430 -321 0
-430 -341 0
-430 -421 0
-430 -422 0
-430 -423 0
-430 -424 0
-430 -425 0
-430 -426 0
-430 -427 0
-430 -428 0
-430 -429 0
-430 431 0
-431 -341 0
-431 -342 0
-431 -352 0
-431 -362 0
-431 -372 0
-431 -382 0
-431 -392 0
-431 -402 0
-431 -412 0
-432 -322 0
-432 -323 0
-432 -353 0
-432 -363 0
-432 -373 0
-432 -383 0
-432 -393 0
-432 -403 0
-432 -413 0
-433 -324 0
-433 -325 0
-433 -343 0
-433 -364 0
-433 -374 0
-433 -384 0
-433 -394 0
-433 -404 0
-433 -414 0
-433 441 0
-434 -326 0
-434 -327 0
-434 -344 0
-434 -354 0
-434 -375 0
-434 -385 0
-434 -395 0
-434 -405 0
-434 -415 0
-434 442 0
-435 -328 0
-435 -329 0
-435 -345 0
-435 -355 0
-435 -365 0
-435 -386 0
-435 -396 0
-435 -406 0
-435 -416 0
-435 443 0
-436 -330 0
-436 -331 0
-436 -346 0
-436 -356 0
-436 -366 0
-436 -376 0
-436 -397 0
-436 -407 0
-436 -417 0
-436 444 0
-437 -332 0
-437 -333 0
-437 -347 0
-437 -357 0
-437 -367 0
-437 -377 0
-437 -387 0
-437 -408 0
-437 -418 0
-437 445 0
-438 -334 0
-438 -335 0
-438 -348 0
-438 -358 0
-438 -368 0
-438 -378 0
-438 -388 0
-438 -398 0
-438 -419 0
-439 -336 0
-439 -337 0
-439 -349 0
-439 -359 0
-439 -369 0
-439 -379 0
-439 -389 0
-439 -399 0
-439 -409 0
-439 446 0
-440 431 0
-441 -440 0
-441 433 0
-442 -440 0
-442 -441 0
-442 434 0
-443 -441 0
-443 -442 0
-443 435 0
-444 -440 0
-444 -441 0
-444 -442 0
-444 -443 0
-444 436 0
-445 -440 0
-445 -441 0
-445 -442 0
-445 -443 0
-445 -444 0
-445 437 0
-446 -440 0
-446 -441 0
-446 -442 0
-446 -443 0
-446 -444 0
-446 -445 0
-446 439 0
-447 -440 0
-447 -441 0
-447 -442 0
-447 -443 0
-447 -444 0
-447 -445 0
-447 -446 0
-448 -440 0
-448 -442 0
-448 -443 0
-448 -444 0
-448 -445 0
-448 -446 0
-448 -447 0
-448 432 0
-449 -440 0
-449 -441 0
-449 -442 0
-449 -443 0
-449 -444 0
-449 -446 0
-449 -447 0
-449 -448 0
-449 433 0
-450 -440 0
-450 -441 0
-450 -442 0
-450 -443 0
-450 -444 0
-450 -445 0
-450 -446 0
-450 -448 0
-450 -449 0
-450 434 0
-451 -440 0
-451 -441 0
-451 -442 0
-451 -443 0
-451 -444 0
-451 -445 0
-451 -446 0
-451 -448 0
-451 -449 0
-451 -450 0
-451 435 0
-452 -440 0
-452 -441 0
-452 -442 0
-452 -443 0
-452 -444 0
-452 -445 0
-452 -446 0
-452 -448 0
-452 -449 0
-452 -450 0
-452 -451 0
-452 436 0
-453 -440 0
-453 -441 0
-453 -442 0
-453 -443 0
-453 -445 0
-453 -446 0
-453 -447 0
-453 -448 0
-453 -449 0
-453 -450 0
-453 -451 0
-453 -452 0
-453 437 0
-454 -440 0
-454 -441 0
-454 -442 0
-454 -443 0
-454 -444 0
-454 -445 0
-454 -447 0
-454 -448 0
-454 -449 0
-454 -450 0
-454 -451 0
-454 -452 0
-454 -453 0
-454 438 0
-455 -440 0
-455 -441 0
-455 -443 0
-455 -444 0
-455 -445 0
-455 -446 0
-455 -447 0
-455 -448 0
-455 -449 0
-455 -450 0
-455 -451 0
-455 -452 0
-455 -453 0
-455 -454 0
-455 439 0
-456 -448 0
-457 -454 0
-457 -456 0
-458 -447 0
-458 -450 0
-458 -451 0
-458 -452 0
-458 -456 0
-458 -457 0
-459 -440 0
-459 -456 0
-459 -457 0
-459 -458 0
-2 -1 0
-15 -3 0
-15 -5 0
-15 -10 0
-16 -8 0
-16 -11 0
-16 1 0
-16 15 0
-17 -7 0
-17 -13 0
-17 -16 0
-17 2 0
-17 15 0
-18 -16 0
-18 -17 0
3 32 0
40 41 0
55 61 0
69 74 0
5 6 0
101 117 0
155 161 0
1 28 0
262 271 0
10 12 0
329 440 0
329 443 0
343 441 0
343 448 0
357 445 0
357 449 0
370 447 0
370 450 0
380 447 0
380 451 0
390 447 0
390 452 0
397 444 0
397 453 0
409 446 0
409 454 0
415 442 0
415 455 0
431 459 0
432 456 0
438 457 0
2 30 0
15 18 0
-19 77 83 0
-20 -6 -5 0
-22 -12 -10 0
-24 -18 -15 0
-27 33 94 0
-28 34 95 0
-29 35 96 0
-30 36 97 0
-31 37 99 0
-32 38 100 0
-40 -34 42 0
-40 -35 43 0
-40 -36 44 0
-40 -37 45 0
-40 -38 46 0
-40 -39 47 0
-41 118 120 0
-42 118 121 0
-43 118 122 0
-44 118 123 0
-45 118 125 0
-46 118 126 0
-47 118 127 0
-48 -33 49 0
-48 -35 50 0
-48 -36 51 0
-48 -37 52 0
-48 -38 53 0
-48 -39 54 0
-49 6 33 0
-49 6 48 0
-49 128 130 0
-50 128 131 0
-51 7 36 0
-51 7 48 0
-51 128 132 0
-52 128 134 0
-53 128 135 0
-53 8 38 0
-53 8 48 0
-54 128 136 0
-54 9 39 0
-54 9 48 0
-55 -33 56 0
-55 -34 57 0
-55 -36 58 0
-55 -37 59 0
-55 -38 60 0
-55 -39 61 0
-56 137 139 0
-57 137 140 0
-58 137 141 0
-59 137 143 0
-60 137 144 0
-61 137 145 0
-62 -33 63 0
-62 -34 64 0
-62 -35 65 0
-62 -37 66 0
-62 -38 67 0
-62 -39 68 0
-63 146 148 0
-64 146 149 0
-64 11 34 0
-64 11 62 0
-65 146 150 0
-65 12 35 0
-65 12 62 0
-66 146 152 0
-67 146 153 0
-67 13 38 0
-67 13 62 0
-68 146 154 0
-68 14 39 0
-68 14 62 0
-69 -33 70 0
-69 -34 71 0
-69 -35 72 0
-69 -36 73 0
-69 -38 75 0
-69 -39 76 0
-70 165 167 0
-71 165 168 0
-72 165 169 0
-73 165 170 0
-74 165 171 0
-75 165 172 0
-76 165 173 0
-77 -33 78 0
-77 -34 79 0
-77 -35 80 0
-77 -36 81 0
-77 -37 82 0
-77 -39 83 0
-78 174 176 0
-79 174 177 0
-79 16 34 0
-79 16 77 0
-80 174 178 0
-81 174 179 0
-81 17 36 0
-81 17 77 0
-82 174 181 0
-82 18 37 0
-82 18 77 0
-83 19 39 0
-83 19 77 0
-83 174 182 0
-5 -3 8 0
-5 -4 9 0
-5 -2 7 0
-84 -48 6 0
-84 -49 -48 0
-85 -62 11 0
-85 -64 -62 0
-85 -77 16 0
-85 -79 -77 0
-86 -62 12 0
-86 -65 -62 0
-87 -48 7 0
-87 -51 -48 0
-87 -77 17 0
-87 -81 -77 0
-88 -74 -69 0
-89 -77 18 0
-89 -82 -77 0
-90 -48 8 0
-90 -53 -48 0
-90 -62 13 0
-90 -67 -62 0
-91 -48 9 0
-91 -54 -48 0
-91 -61 -55 0
-91 -62 14 0
-91 -68 -62 0
-91 -77 19 0
-91 -83 -77 0
-92 -41 -40 0
-93 119 193 0
-94 27 84 0
-94 102 194 0
-95 28 85 0
-95 104 195 0
-96 29 86 0
-96 106 196 0
-97 30 87 0
-97 108 197 0
-98 110 199 0
-99 31 89 0
-99 112 200 0
-100 32 90 0
-100 114 201 0
-6 48 49 0
-102 -101 103 0
-103 202 204 0
-104 -101 105 0
-105 202 206 0
-106 -101 107 0
-107 202 208 0
-108 -101 109 0
-109 202 210 0
-110 -101 111 0
-111 202 214 0
-112 -101 113 0
-113 202 216 0
-114 -101 115 0
-115 202 218 0
-116 -101 117 0
-117 202 220 0
-118 -104 121 0
-118 -106 122 0
-118 -108 123 0
-118 -110 124 0
-118 -112 125 0
-118 -114 126 0
-118 -116 127 0
-119 -118 120 0
-7 48 51 0
-120 41 118 0
-120 41 119 0
-120 221 223 0
-121 42 104 0
-121 42 118 0
-121 221 224 0
-122 43 106 0
-122 43 118 0
-122 221 225 0
-123 44 108 0
-123 44 118 0
-123 221 226 0
-124 221 228 0
-125 45 112 0
-125 45 118 0
-125 221 229 0
-126 46 114 0
-126 46 118 0
-126 221 230 0
-127 47 116 0
-127 47 118 0
-127 221 231 0
-128 -102 130 0
-128 -106 131 0
-128 -108 132 0
-128 -110 133 0
-128 -112 134 0
-128 -114 135 0
-128 -116 136 0
-128 -119 129 0
-129 232 233 0
-130 49 102 0
-130 49 128 0
-130 232 234 0
-131 50 106 0
-131 50 128 0
-131 232 235 0
-132 51 108 0
-132 51 128 0
-132 232 236 0
-133 232 238 0
-134 52 112 0
-134 52 128 0
-134 232 239 0
-135 53 114 0
-135 53 128 0
-135 232 240 0
-136 54 116 0
-136 54 128 0
-136 232 241 0
-137 -102 139 0
-137 -104 140 0
-137 -108 141 0
-137 -110 142 0
-137 -112 143 0
-137 -114 144 0
-137 -116 145 0
-137 -119 138 0
-138 242 243 0
-139 56 102 0
-139 56 137 0
-139 242 244 0
-140 57 104 0
-140 57 137 0
-140 242 245 0
-141 58 108 0
-141 58 137 0
-141 242 246 0
-142 242 248 0
-143 59 112 0
-143 59 137 0
-143 242 249 0
-144 60 114 0
-144 60 137 0
-144 242 250 0
-145 61 116 0
-145 61 137 0
-145 242 251 0
-146 -102 148 0
-146 -104 149 0
-146 -106 150 0
-146 -110 151 0
-146 -112 152 0
-146 -114 153 0
-146 -116 154 0
-146 -119 147 0
-147 252 253 0
-148 63 102 0
-148 63 146 0
-148 252 254 0
-149 64 104 0
-149 64 146 0
-149 252 255 0
-150 65 106 0
-150 65 146 0
-150 252 256 0
-151 252 258 0
-152 66 112 0
-152 66 146 0
-152 252 259 0
-153 67 114 0
-153 67 146 0
-153 252 260 0
-154 68 116 0
-154 68 146 0
-154 252 261 0
-8 48 53 0
-155 -102 157 0
-155 -104 158 0
-155 -106 159 0
-155 -108 160 0
-155 -112 162 0
-155 -114 163 0
-155 -116 164 0
-155 -119 156 0
-9 48 54 0
-156 272 273 0
-157 272 274 0
-158 272 275 0
-159 272 276 0
-160 272 277 0
-161 272 278 0
-162 272 279 0
-163 272 280 0
-164 272 281 0
-165 -102 167 0
-165 -104 168 0
-165 -106 169 0
-165 -108 170 0
-165 -110 171 0
-165 -114 172 0
-165 -116 173 0
-165 -119 166 0
-166 282 283 0
-167 70 102 0
-167 70 165 0
-167 282 284 0
-168 71 104 0
-168 71 165 0
-168 282 285 0
-169 72 106 0
-169 72 165 0
-169 282 286 0
-170 73 108 0
-170 73 165 0
-170 282 287 0
-171 74 110 0
-171 74 165 0
-171 282 289 0
-172 75 114 0
-172 75 165 0
-172 282 290 0
-173 76 116 0
-173 76 165 0
-173 282 291 0
-174 -102 176 0
-174 -104 177 0
-174 -106 178 0
-174 -108 179 0
-174 -110 180 0
-174 -112 181 0
-174 -116 182 0
-174 -119 175 0
-175 292 293 0
-176 78 102 0
-176 78 174 0
-176 292 294 0
-177 79 104 0
-177 79 174 0
-177 292 295 0
-178 80 106 0
-178 80 174 0
-178 292 296 0
-179 81 108 0
-179 81 174 0
-179 292 297 0
-180 292 299 0
-181 82 112 0
-181 82 174 0
-181 292 300 0
-182 83 116 0
-182 83 174 0
-182 292 301 0
-183 -128 49 0
-183 -130 -128 0
-183 -137 56 0
-183 -139 -137 0
-183 -146 63 0
-183 -148 -146 0
-183 -165 70 0
-183 -167 -165 0
-183 -174 78 0
-183 -176 -174 0
-184 -118 42 0
-184 -121 -118 0
-184 -137 57 0
-184 -140 -137 0
-184 -146 64 0
-184 -149 -146 0
-184 -165 71 0
-184 -168 -165 0
-184 -174 79 0
-184 -177 -174 0
-185 -118 43 0
-185 -122 -118 0
-185 -128 50 0
-185 -131 -128 0
-185 -146 65 0
-185 -150 -146 0
-185 -165 72 0
-185 -169 -165 0
-185 -174 80 0
-185 -178 -174 0
-186 -118 44 0
-186 -123 -118 0
-186 -128 51 0
-186 -132 -128 0
-186 -137 58 0
-186 -141 -137 0
-186 -165 73 0
-186 -170 -165 0
-186 -174 81 0
-186 -179 -174 0
-187 -161 -155 0
-188 -165 74 0
-188 -171 -165 0
-189 -118 45 0
-189 -125 -118 0
-189 -128 52 0
-189 -134 -128 0
-189 -137 59 0
-189 -143 -137 0
-189 -146 66 0
-189 -152 -146 0
-189 -174 82 0
-189 -181 -174 0
-190 -118 46 0
-190 -126 -118 0
-190 -128 53 0
-190 -135 -128 0
-190 -137 60 0
-190 -144 -137 0
-190 -146 67 0
-190 -153 -146 0
-190 -165 75 0
-190 -172 -165 0
-191 -117 -101 0
-191 -118 47 0
-191 -127 -118 0
-191 -128 54 0
-191 -136 -128 0
-191 -137 61 0
-191 -145 -137 0
-191 -146 68 0
-191 -154 -146 0
-191 -165 76 0
-191 -173 -165 0
-191 -174 83 0
-191 -182 -174 0
-192 -118 41 0
-192 -120 -118 0
-193 93 192 0
-193 222 312 0
-194 94 183 0
-194 203 313 0
-195 95 184 0
-195 205 314 0
-196 96 185 0
-196 207 315 0
-197 97 186 0
-197 209 316 0
-198 211 317 0
-199 98 188 0
-199 213 318 0
-200 99 189 0
-200 215 319 0
-201 100 190 0
-201 217 320 0
-203 -202 204 0
-204 103 202 0
-204 103 203 0
-204 321 323 0
-205 -202 206 0
-206 105 202 0
-206 105 205 0
-206 321 325 0
-207 -202 208 0
-208 107 202 0
-208 107 207 0
-208 321 327 0
-209 -202 210 0
-210 109 202 0
-210 109 209 0
-210 321 329 0
-211 -202 212 0
-212 321 331 0
-213 -202 214 0
-214 111 202 0
-214 111 213 0
-214 321 333 0
-215 -202 216 0
-216 113 202 0
-216 113 215 0
-216 321 335 0
-217 -202 218 0
-218 115 202 0
-218 115 217 0
-218 321 337 0
-219 -202 220 0
-220 117 202 0
-220 117 219 0
-220 321 339 0
-221 -205 224 0
-221 -207 225 0
-221 -209 226 0
-221 -211 227 0
-221 -213 228 0
-221 -215 229 0
-221 -217 230 0
-221 -219 231 0
-222 -221 223 0
-223 120 221 0
-223 120 222 0
-223 340 342 0
-224 121 205 0
-224 121 221 0
-224 340 343 0
-225 122 207 0
-225 122 221 0
-225 340 344 0
-226 123 209 0
-226 123 221 0
-226 340 345 0
-227 340 346 0
-228 124 213 0
-228 124 221 0
-228 340 347 0
-229 125 215 0
-229 125 221 0
-229 340 348 0
-230 126 217 0
-230 126 221 0
-230 340 349 0
-231 127 219 0
-231 127 221 0
-231 340 350 0
-232 -203 234 0
-232 -207 235 0
-232 -209 236 0
-232 -211 237 0
-232 -213 238 0
-232 -215 239 0
-232 -217 240 0
-232 -219 241 0
-232 -222 233 0
-233 129 222 0
-233 129 232 0
-233 351 352 0
-234 130 203 0
-234 130 232 0
-234 351 353 0
-235 131 207 0
-235 131 232 0
-235 351 354 0
-236 132 209 0
-236 132 232 0
-236 351 355 0
-237 351 356 0
-238 133 213 0
-238 133 232 0
-238 351 357 0
-239 134 215 0
-239 134 232 0
-239 351 358 0
-240 135 217 0
-240 135 232 0
-240 351 359 0
-241 136 219 0
-241 136 232 0
-241 351 360 0
-242 -203 244 0
-242 -205 245 0
-242 -209 246 0
-242 -211 247 0
-242 -213 248 0
-242 -215 249 0
-242 -217 250 0
-242 -219 251 0
-242 -222 243 0
-243 138 222 0
-243 138 242 0
-243 361 362 0
-244 139 203 0
-244 139 242 0
-244 361 363 0
-245 140 205 0
-245 140 242 0
-245 361 364 0
-246 141 209 0
-246 141 242 0
-246 361 365 0
-247 361 366 0
-248 142 213 0
-248 142 242 0
-248 361 367 0
-249 143 215 0
-249 143 242 0
-249 361 368 0
-250 144 217 0
-250 144 242 0
-250 361 369 0
-251 145 219 0
-251 145 242 0
-251 361 370 0
-252 -203 254 0
-252 -205 255 0
-252 -207 256 0
-252 -211 257 0
-252 -213 258 0
-252 -215 259 0
-252 -217 260 0
-252 -219 261 0
-252 -222 253 0
-253 147 222 0
-253 147 252 0
-253 371 372 0
-254 148 203 0
-254 148 252 0
-254 371 373 0
-255 149 205 0
-255 149 252 0
-255 371 374 0
-256 150 207 0
-256 150 252 0
-256 371 375 0
-257 371 376 0
-258 151 213 0
-258 151 252 0
-258 371 377 0
-259 152 215 0
-259 152 252 0
-259 371 378 0
-260 153 217 0
-260 153 252 0
-260 371 379 0
-261 154 219 0
-261 154 252 0
-261 371 380 0
-262 -203 264 0
-262 -205 265 0
-262 -207 266 0
-262 -209 267 0
-262 -213 268 0
-262 -215 269 0
-262 -217 270 0
-262 -219 271 0
-262 -222 263 0
-263 381 382 0
-10 -3 13 0
-10 -4 14 0
-10 -1 11 0
-264 381 383 0
-265 381 384 0
-266 381 385 0
-267 381 386 0
-268 381 387 0
-269 381 388 0
-270 381 389 0
-271 381 390 0
-272 -203 274 0
-272 -205 275 0
-272 -207 276 0
-272 -209 277 0
-272 -211 278 0
-272 -215 279 0
-272 -217 280 0
-272 -219 281 0
-272 -222 273 0
-273 156 222 0
-273 156 272 0
-273 391 392 0
-274 157 203 0
-274 157 272 0
-274 391 393 0
-275 158 205 0
-275 158 272 0
-275 391 394 0
-276 159 207 0
-276 159 272 0
-276 391 395 0
-277 160 209 0
-277 160 272 0
-277 391 396 0
-278 161 211 0
-278 161 272 0
-278 391 397 0
-279 162 215 0
-279 162 272 0
-279 391 398 0
-280 163 217 0
-280 163 272 0
-280 391 399 0
-281 164 219 0
-281 164 272 0
-281 391 400 0
-282 -203 284 0
-282 -205 285 0
-282 -207 286 0
-282 -209 287 0
-282 -211 288 0
-282 -213 289 0
-282 -217 290 0
-282 -219 291 0
-282 -222 283 0
-283 166 222 0
-283 166 282 0
-283 401 402 0
-284 167 203 0
-284 167 282 0
-284 401 403 0
-285 168 205 0
-285 168 282 0
-285 401 404 0
-286 169 207 0
-286 169 282 0
-286 401 405 0
-287 170 209 0
-287 170 282 0
-287 401 406 0
-288 401 407 0
-289 171 213 0
-289 171 282 0
-289 401 408 0
-290 172 217 0
-290 172 282 0
-290 401 409 0
-291 173 219 0
-291 173 282 0
-291 401 410 0
-292 -203 294 0
-292 -205 295 0
-292 -207 296 0
-292 -209 297 0
-292 -211 298 0
-292 -213 299 0
-292 -215 300 0
-292 -219 301 0
-292 -222 293 0
-293 175 222 0
-293 175 292 0
-293 411 412 0
-11 62 64 0
-294 176 203 0
-294 176 292 0
-294 411 413 0
-295 177 205 0
-295 177 292 0
-295 411 414 0
-296 178 207 0
-296 178 292 0
-296 411 415 0
-297 179 209 0
-297 179 292 0
-297 411 416 0
-298 411 417 0
-299 180 213 0
-299 180 292 0
-299 411 418 0
-300 181 215 0
-300 181 292 0
-300 411 419 0
-301 182 219 0
-301 182 292 0
-301 411 420 0
-302 -202 103 0
-302 -204 -202 0
-302 -232 130 0
-302 -234 -232 0
-302 -242 139 0
-302 -244 -242 0
-302 -252 148 0
-302 -254 -252 0
-302 -272 157 0
-302 -274 -272 0
-302 -282 167 0
-302 -284 -282 0
-302 -292 176 0
-302 -294 -292 0
-303 -202 105 0
-303 -206 -202 0
-303 -221 121 0
-303 -224 -221 0
-303 -242 140 0
-303 -245 -242 0
-303 -252 149 0
-303 -255 -252 0
-303 -272 158 0
-303 -275 -272 0
-303 -282 168 0
-303 -285 -282 0
-303 -292 177 0
-303 -295 -292 0
-12 62 65 0
-304 -202 107 0
-304 -208 -202 0
-304 -221 122 0
-304 -225 -221 0
-304 -232 131 0
-304 -235 -232 0
-304 -252 150 0
-304 -256 -252 0
-304 -272 159 0
-304 -276 -272 0
-304 -282 169 0
-304 -286 -282 0
-304 -292 178 0
-304 -296 -292 0
-305 -202 109 0
-305 -210 -202 0
-305 -221 123 0
-305 -226 -221 0
-305 -232 132 0
-305 -236 -232 0
-305 -242 141 0
-305 -246 -242 0
-305 -272 160 0
-305 -277 -272 0
-305 -282 170 0
-305 -287 -282 0
-305 -292 179 0
-305 -297 -292 0
-306 -272 161 0
-306 -278 -272 0
-307 -202 111 0
-307 -214 -202 0
-307 -221 124 0
-307 -228 -221 0
-307 -232 133 0
-307 -238 -232 0
-307 -242 142 0
-307 -248 -242 0
-307 -252 151 0
-307 -258 -252 0
-307 -282 171 0
-307 -289 -282 0
-307 -292 180 0
-307 -299 -292 0
-308 -202 113 0
-308 -216 -202 0
-308 -221 125 0
-308 -229 -221 0
-308 -232 134 0
-308 -239 -232 0
-308 -242 143 0
-308 -249 -242 0
-308 -252 152 0
-308 -259 -252 0
-308 -272 162 0
-308 -279 -272 0
-308 -292 181 0
-308 -300 -292 0
-309 -202 115 0
-309 -218 -202 0
-309 -221 126 0
-309 -230 -221 0
-309 -232 135 0
-309 -240 -232 0
-309 -242 144 0
-309 -250 -242 0
-309 -252 153 0
-309 -260 -252 0
-309 -272 163 0
-309 -280 -272 0
-309 -282 172 0
-309 -290 -282 0
-310 -202 117 0
-310 -220 -202 0
-310 -221 127 0
-310 -231 -221 0
-310 -232 136 0
-310 -241 -232 0
-310 -242 145 0
-310 -251 -242 0
-310 -252 154 0
-310 -261 -252 0
-310 -271 -262 0
-310 -272 164 0
-310 -281 -272 0
-310 -282 173 0
-310 -291 -282 0
-310 -292 182 0
-310 -301 -292 0
-311 -221 120 0
-311 -223 -221 0
-311 -232 129 0
-311 -233 -232 0
-311 -242 138 0
-311 -243 -242 0
-311 -252 147 0
-311 -253 -252 0
-311 -272 156 0
-311 -273 -272 0
-311 -282 166 0
-311 -283 -282 0
-311 -292 175 0
-311 -293 -292 0
-312 193 311 0
-312 341 431 0
-313 194 302 0
-313 322 432 0
-314 195 303 0
-314 324 433 0
-315 196 304 0
-315 326 434 0
-316 197 305 0
-316 328 435 0
-317 198 306 0
-317 330 436 0
-318 199 307 0
-318 332 437 0
-319 200 308 0
-319 334 438 0
-320 201 309 0
-320 336 439 0
-322 -321 323 0
-323 204 321 0
-323 204 322 0
-324 -321 325 0
-325 206 321 0
-325 206 324 0
-326 -321 327 0
-327 208 321 0
-327 208 326 0
-328 -321 329 0
-329 210 321 0
-329 210 328 0
-330 -321 331 0
-331 212 321 0
-331 212 330 0
-332 -321 333 0
-333 214 321 0
-333 214 332 0
-334 -321 335 0
-335 216 321 0
-335 216 334 0
-336 -321 337 0
-337 218 321 0
-337 218 336 0
-338 -321 339 0
-339 220 321 0
-339 220 338 0
-340 -324 343 0
-340 -326 344 0
-340 -328 345 0
-340 -330 346 0
-340 -332 347 0
-340 -334 348 0
-340 -336 349 0
-340 -338 350 0
-341 -340 342 0
-342 223 340 0
-342 223 341 0
-343 224 324 0
-343 224 340 0
-13 62 67 0
-344 225 326 0
-344 225 340 0
-345 226 328 0
-345 226 340 0
-346 227 330 0
-346 227 340 0
-347 228 332 0
-347 228 340 0
-348 229 334 0
-348 229 340 0
-349 230 336 0
-349 230 340 0
-350 231 338 0
-350 231 340 0
-351 -322 353 0
-351 -326 354 0
-351 -328 355 0
-351 -330 356 0
-351 -332 357 0
-351 -334 358 0
-351 -336 359 0
-351 -338 360 0
-351 -341 352 0
-352 233 341 0
-352 233 351 0
-353 234 322 0
-353 234 351 0
-14 62 68 0
-354 235 326 0
-354 235 351 0
-355 236 328 0
-355 236 351 0
-356 237 330 0
-356 237 351 0
-357 238 332 0
-357 238 351 0
-358 239 334 0
-358 239 351 0
-359 240 336 0
-359 240 351 0
-360 241 338 0
-360 241 351 0
-361 -322 363 0
-361 -324 364 0
-361 -328 365 0
-361 -330 366 0
-361 -332 367 0
-361 -334 368 0
-361 -336 369 0
-361 -338 370 0
-361 -341 362 0
-362 243 341 0
-362 243 361 0
-363 244 322 0
-363 244 361 0
-364 245 324 0
-364 245 361 0
-365 246 328 0
-365 246 361 0
-366 247 330 0
-366 247 361 0
-367 248 332 0
-367 248 361 0
-368 249 334 0
-368 249 361 0
-369 250 336 0
-369 250 361 0
-370 251 338 0
-370 251 361 0
-371 -322 373 0
-371 -324 374 0
-371 -326 375 0
-371 -330 376 0
-371 -332 377 0
-371 -334 378 0
-371 -336 379 0
-371 -338 380 0
-371 -341 372 0
-372 253 341 0
-372 253 371 0
-373 254 322 0
-373 254 371 0
-374 255 324 0
-374 255 371 0
-375 256 326 0
-375 256 371 0
-376 257 330 0
-376 257 371 0
-377 258 332 0
-377 258 371 0
-378 259 334 0
-378 259 371 0
-379 260 336 0
-379 260 371 0
-380 261 338 0
-380 261 371 0
-381 -322 383 0
-381 -324 384 0
-381 -326 385 0
-381 -328 386 0
-381 -332 387 0
-381 -334 388 0
-381 -336 389 0
-381 -338 390 0
-381 -341 382 0
-382 263 341 0
-382 263 381 0
-383 264 322 0
-383 264 381 0
-384 265 324 0
-384 265 381 0
-385 266 326 0
-385 266 381 0
-386 267 328 0
-386 267 381 0
-387 268 332 0
-387 268 381 0
-388 269 334 0
-388 269 381 0
-389 270 336 0
-389 270 381 0
-390 271 338 0
-390 271 381 0
-391 -322 393 0
-391 -324 394 0
-391 -326 395 0
-391 -328 396 0
-391 -330 397 0
-391 -334 398 0
-391 -336 399 0
-391 -338 400 0
-391 -341 392 0
-392 273 341 0
-392 273 391 0
-393 274 322 0
-393 274 391 0
-394 275 324 0
-394 275 391 0
-395 276 326 0
-395 276 391 0
-396 277 328 0
-396 277 391 0
-397 278 330 0
-397 278 391 0
-398 279 334 0
-398 279 391 0
-399 280 336 0
-399 280 391 0
-400 281 338 0
-400 281 391 0
-401 -322 403 0
-401 -324 404 0
-401 -326 405 0
-401 -328 406 0
-401 -330 407 0
-401 -332 408 0
-401 -336 409 0
-401 -338 410 0
-401 -341 402 0
-402 283 341 0
-402 283 401 0
-403 284 322 0
-403 284 401 0
-404 285 324 0
-404 285 401 0
-405 286 326 0
-405 286 401 0
-406 287 328 0
-406 287 401 0
-407 288 330 0
-407 288 401 0
-408 289 332 0
-408 289 401 0
-409 290 336 0
-409 290 401 0
-410 291 338 0
-410 291 401 0
-411 -322 413 0
-411 -324 414 0
-411 -326 415 0
-411 -328 416 0
-411 -330 417 0
-411 -332 418 0
-411 -334 419 0
-411 -338 420 0
-411 -341 412 0
-412 293 341 0
-412 293 411 0
-413 294 322 0
-413 294 411 0
-414 295 324 0
-414 295 411 0
-415 296 326 0
-415 296 411 0
-416 297 328 0
-416 297 411 0
-417 298 330 0
-417 298 411 0
-418 299 332 0
-418 299 411 0
-419 300 334 0
-419 300 411 0
-420 301 338 0
-420 301 411 0
-421 -321 204 0
-421 -323 -321 0
-421 -351 234 0
-421 -353 -351 0
-421 -361 244 0
-421 -363 -361 0
-421 -371 254 0
-421 -373 -371 0
-421 -381 264 0
-421 -383 -381 0
-421 -391 274 0
-421 -393 -391 0
-421 -401 284 0
-421 -403 -401 0
-421 -411 294 0
-421 -413 -411 0
-422 -321 206 0
-422 -325 -321 0
-422 -340 224 0
-422 -343 -340 0
-422 -361 245 0
-422 -364 -361 0
-422 -371 255 0
-422 -374 -371 0
-422 -381 265 0
-422 -384 -381 0
-422 -391 275 0
-422 -394 -391 0
-422 -401 285 0
-422 -404 -401 0
-422 -411 295 0
-422 -414 -411 0
-423 -321 208 0
-423 -327 -321 0
-423 -340 225 0
-423 -344 -340 0
-423 -351 235 0
-423 -354 -351 0
-423 -371 256 0
-423 -375 -371 0
-423 -381 266 0
-423 -385 -381 0
-423 -391 276 0
-423 -395 -391 0
-423 -401 286 0
-423 -405 -401 0
-423 -411 296 0
-423 -415 -411 0
-424 -321 210 0
-424 -329 -321 0
-424 -340 226 0
-424 -345 -340 0
-424 -351 236 0
-424 -355 -351 0
-424 -361 246 0
-424 -365 -361 0
-424 -381 267 0
-424 -386 -381 0
-424 -391 277 0
-424 -396 -391 0
-424 -401 287 0
-424 -406 -401 0
-424 -411 297 0
-424 -416 -411 0
-425 -321 212 0
-425 -331 -321 0
-425 -340 227 0
-425 -346 -340 0
-425 -351 237 0
-425 -356 -351 0
-425 -361 247 0
-425 -366 -361 0
-425 -371 257 0
-425 -376 -371 0
-425 -391 278 0
-425 -397 -391 0
-425 -401 288 0
-425 -407 -401 0
-425 -411 298 0
-425 -417 -411 0
-426 -321 214 0
-426 -333 -321 0
-426 -340 228 0
-426 -347 -340 0
-426 -351 238 0
-426 -357 -351 0
-426 -361 248 0
-426 -367 -361 0
-426 -371 258 0
-426 -377 -371 0
-426 -381 268 0
-426 -387 -381 0
-426 -401 289 0
-426 -408 -401 0
-426 -411 299 0
-426 -418 -411 0
-427 -321 216 0
-427 -335 -321 0
-427 -340 229 0
-427 -348 -340 0
-427 -351 239 0
-427 -358 -351 0
-427 -361 249 0
-427 -368 -361 0
-427 -371 259 0
-427 -378 -371 0
-427 -381 269 0
-427 -388 -381 0
-427 -391 279 0
-427 -398 -391 0
-427 -411 300 0
-427 -419 -411 0
-428 -321 218 0
-428 -337 -321 0
-428 -340 230 0
-428 -349 -340 0
-428 -351 240 0
-428 -359 -351 0
-428 -361 250 0
-428 -369 -361 0
-428 -371 260 0
-428 -379 -371 0
-428 -381 270 0
-428 -389 -381 0
-428 -391 280 0
-428 -399 -391 0
-428 -401 290 0
-428 -409 -401 0
-429 -321 220 0
-429 -339 -321 0
-429 -340 231 0
-429 -350 -340 0
-429 -351 241 0
-429 -360 -351 0
-429 -361 251 0
-429 -370 -361 0
-429 -371 261 0
-429 -380 -371 0
-429 -381 271 0
-429 -390 -381 0
-429 -391 281 0
-429 -400 -391 0
-429 -401 291 0
-429 -410 -401 0
-429 -411 301 0
-429 -420 -411 0
-430 -340 223 0
-430 -342 -340 0
-430 -351 233 0
-430 -352 -351 0
-430 -361 243 0
-430 -362 -361 0
-430 -371 253 0
-430 -372 -371 0
-430 -381 263 0
-430 -382 -381 0
-430 -391 273 0
-430 -392 -391 0
-430 -401 283 0
-430 -402 -401 0
-430 -411 293 0
-430 -412 -411 0
-431 312 430 0
-432 313 421 0
-433 314 422 0
-434 315 423 0
-435 316 424 0
-436 317 425 0
-437 318 426 0
-438 319 427 0
-439 320 428 0
-456 -440 323 0
-456 -449 353 0
-456 -450 363 0
-456 -451 373 0
-456 -452 383 0
-456 -453 393 0
-456 -454 403 0
-456 -455 413 0
-457 -440 335 0
-457 -448 348 0
-457 -449 358 0
-457 -450 368 0
-457 -451 378 0
-457 -452 388 0
-457 -453 398 0
-457 -455 419 0
-458 -440 339 0
-458 -448 350 0
-458 -449 360 0
-458 -453 400 0
-458 -454 410 0
-458 -455 420 0
-459 -448 342 0
-459 -449 352 0
-459 -450 362 0
-459 -451 372 0
-459 -452 382 0
-459 -453 392 0
-459 -454 402 0
-459 -455 412 0
-15 -4 19 0
-15 -1 16 0
-15 -2 17 0
-16 77 79 0
-17 77 81 0
-18 77 82 0
5 10 15 0
1 2 3 4 0
456 457 458 459 0
40 48 55 62 69 77 0
20 21 22 23 24 25 26 0
33 34 35 36 37 38 39 0
441 442 443 444 445 446 447 0
101 118 128 137 146 155 165 174 0
84 85 86 87 88 89 90 91 92 0
102 104 106 108 110 112 114 116 119 0
202 221 232 242 252 262 272 282 292 0
321 340 351 361 371 381 391 401 411 0
440 448 449 450 451 452 453 454 455 0
183 184 185 186 187 188 189 190 191 192 0
203 205 207 209 211 213 215 217 219 222 0
302 303 304 305 306 307 308 309 310 311 0
322 324 326 328 330 332 334 336 338 341 0
421 422 423 424 425 426 427 428 429 430 0