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