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