puresat-0.1: dimacs/ais/ais10.cnf

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