Macaulay 2, version 1.2 with packages: Elimination, IntegralClosure, LLLBases, PrimaryDecomposition, ReesAlgebra, SchurRings, TangentCone i1 : R=QQ[a..o]; i2 : I= ideal{-n^2+m*o,-m*n+l*o,-m^2+l*n,-k*n+j*o,-k*m+j*n,-k*l+j*m,-j*n+i*o,-j*m+i*n,-j*l+i*m,-j^2+i*k,-i*n+h*o,-i*m+h*n,-i*l+h*m,-i*j+h*k,-i^2+h*j,-h*n+g*o,-h*m+g*n,-h*l+g*m,-h*j+g*k,-h*i+g*j,-h^2+g*i,-g*n+f*o,-g*m+f*n,-g*l+f*m,-g*j+f*k,-g*i+f*j,-g*h+f*i,-g^2+f*h,-f*n+e*o,-f*m+e*n,-f*l+e*m,-f*j+e*k,-f*i+e*j,-f*h+e*i,-f*g+e*h,-f^2+e*g,-e*n+d*o,-e*m+d*n,-e*l+d*m,-e*j+d*k,-e*i+d*j,-e*h+d*i,-e*g+d*h,-e*f+d*g,-e^2+d*f,-d*n+c*o,-d*m+c*n,-d*l+c*m,-d*j+c*k,-d*i+c*j,-d*h+c*i,-d*g+c*h,-d*f+c*g,-d*e+c*f,-d^2+c*e,-c*n+b*o,-c*m+b*n,-c*l+b*m,-c*j+b*k,-c*i+b*j,-c*h+b*i,-c*g+b*h,-c*f+b*g,-c*e+b*f,-c*d+b*e,-c^2+b*d,-b*n+a*o,-b*m+a*n,-b*l+a*m,-b*j+a*k,-b*i+a*j,-b*h+a*i,-b*g+a*h,-b*f+a*g,-b*e+a*f,-b*d+a*e,-b*c+a*d,-b^2+a*c,l^2-k*d+a^2,l*m-k*e+a*b,m^2-k*f+a*c,m*n-k*g+a*d,n^2-k*h+a*e,n*o-k*i+a*f,o^2-k*j+a*g}; o2 : Ideal of R i3 : load "mcstable.m2"; i4 : mcStable(8,I,50); polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 170460 170222 170544 170544 170544 170544 170544 170205 170335 170543 170417 170542 170519 170421 170536 1 170531 170542 170541 170544 170285 170544 170224 170544 170544 170493 170508 170253 170543 170544 170280 1 170543 170529 170281 170540 170237 170544 170518 170529 170544 170542 170357 170414 170543 170257 170542 1 170392 170530 170544 170544 170544 170533 170544 170544 170250 170309 170508 170543 170126 170544 170465 1 170232 170536 170544 170544 170541 170544 170145 170544 170356 170421 170473 170536 170493 170468 170543 1 170541 170540 170393 170346 170544 170287 170544 170376 170544 170543 170504 170388 170543 170540 170287 1 170479 170541 170533 170451 170532 170544 170542 170542 170213 170534 170361 170536 170035 170542 170535 1 170542 170395 170543 170544 170541 170506 170518 170293 170544 170404 170508 170062 170544 170534 170442 1 170466 170544 170159 170541 170541 170544 170520 170544 170192 170543 170392 170542 170386 170463 170543 1 170541 170471 170543 170544 170544 170500 170544 170524 170544 170145 170508 170238 170544 170544 170186 1 170535 170103 170522 170536 170536 170529 170501 170543 170515 170536 170438 170473 170544 170073 170536 1 170431 170544 170544 170538 170460 170542 170544 170477 170544 170180 170508 170535 170071 170544 170458 1 170543 170254 170544 170544 170544 170399 170544 170512 170544 170543 170395 170098 170507 170407 170542 1 170254 170538 170540 170538 170542 170544 170501 170544 170278 170371 170508 170543 170543 170541 170135 1 170225 170544 170527 170538 170514 170544 170203 170544 170544 170536 170505 170532 170251 170543 170370 1 170542 170527 170536 170544 170544 170428 170544 170301 170359 170542 170411 170405 170544 170158 170535 1 170269 170457 170544 170275 170521 170544 170522 170543 170541 170544 170506 170542 170535 170541 170036 1 170536 170536 170060 170543 170536 170522 170536 170529 170536 170123 170473 170417 170515 170529 170529 1 170305 170543 170544 170372 170541 170544 170539 170540 170464 170543 170459 170114 170543 170348 170521 1 170473 170027 170535 170544 170515 170542 170541 170541 170543 170483 170138 170543 170449 170544 170502 1 170375 170529 170536 170107 170543 170522 170344 170543 170541 170544 170236 170526 170543 170533 170498 1 170529 170450 170540 170544 170513 170544 170544 170236 170541 170375 170480 170473 170082 170541 170528 1 170473 170501 170535 170536 170544 170544 170528 170544 170177 170502 170508 170543 170431 170356 170198 1 170475 170540 170538 170541 170251 170503 170543 170541 170542 170542 170166 170112 170540 170543 170543 1 170462 170544 170544 170544 170292 170544 170544 170505 170544 170544 170321 170519 170369 170544 170100 1 170529 170518 170211 170542 170544 170305 170528 170544 170476 170536 170445 170431 170544 170224 170543 1 170480 170180 170544 170542 170542 170544 170142 170542 170523 170516 170499 170536 170514 170522 170294 1 170472 170544 170204 170542 170543 170523 170544 170492 170536 170542 170294 170073 170541 170529 170541 1 170452 170201 170544 170544 170544 170348 170544 170544 170228 170426 170467 170543 170450 170543 170542 1 170536 170543 170231 170499 170544 170544 170187 170512 170544 170544 170490 170410 170543 170527 170266 1 170137 170540 170544 170464 170544 170525 170544 170541 170151 170348 170480 170485 170539 170542 170536 1 170543 170543 170397 170544 170529 170544 170225 170544 170544 170544 170505 170417 170529 170276 170236 1 170543 170166 170543 170536 170544 170514 170527 170523 170536 170396 170480 170450 170111 170515 170536 1 170184 170543 170541 170540 170187 170541 170542 170541 170538 170539 170204 170538 170543 170529 170410 1 170479 170542 170536 170426 170522 170544 170192 170544 170543 170283 170477 170513 170239 170544 170536 1 170535 170535 170541 170544 170544 170533 170544 170402 170255 170544 170483 170418 170544 170157 170341 1 170308 170463 170544 170516 170544 170066 170544 170525 170527 170542 170239 170488 170542 170543 170529 1 170536 170544 170392 170544 170294 170544 170353 170544 170544 170533 170508 170479 170375 170279 170451 1 170543 170520 170544 170544 170093 170526 170544 170508 170544 170259 170433 170279 170541 170499 170543 1 170164 170543 170456 170504 170544 170544 170366 170542 170542 170543 170508 170541 170532 170540 170051 1 170118 170521 170544 170544 170454 170439 170544 170541 170541 170544 170506 170543 170520 170518 170043 1 170543 170540 170244 170542 170544 170544 170443 170536 170535 170164 170479 170187 170543 170540 170536 1 170536 170417 170179 170544 170544 170526 170544 170369 170289 170543 170507 170480 170531 170544 170367 1 170108 170544 170544 170532 170534 170544 170541 170544 170544 170241 170458 170277 170542 170424 170543 1 170121 170543 170538 170544 170536 170536 170544 170175 170512 170319 170508 170502 170543 170544 170455 1 170543 170523 170544 170166 170544 170544 170346 170544 170542 170543 170225 170465 170324 170527 170540 1 170460 170536 170536 170536 170529 170543 170173 170536 170536 170473 170414 170523 170042 170543 170540 1 170542 170528 170543 170068 170542 170461 170544 170544 170541 170544 170307 170362 170544 170520 170330 1 170480 170202 170529 170529 170536 170544 170093 170529 170536 170542 170300 170536 170529 170529 170506 1 170260 170544 170451 170514 170543 170541 170544 170495 170540 170444 170508 170084 170541 170433 170478 1 170330 170505 170544 170542 170538 170068 170544 170544 170486 170516 170301 170543 170543 170373 170543 1 170543 170543 170245 170534 170544 170544 170542 170315 170543 170543 170508 170343 170515 170543 170115 1 170527 170544 170197 170543 170544 170543 170249 170541 170539 170531 170314 170261 170517 170544 170526 1 170480 170325 170544 170542 170168 170544 170544 170535 170531 170529 170454 170536 170532 170153 170503 1 170374 170538 170172 170544 170544 170544 170544 170268 170532 170333 170473 170543 170543 170425 170543 1 170543 170527 170544 170333 170289 170544 170542 170544 170544 170543 170501 170459 170171 170544 170292 1 170263 170543 170543 170489 170511 170163 170544 170342 170542 170544 170346 170543 170541 170543 170463 1 170543 170491 170085 170544 170544 170544 170540 170544 170544 170212 170473 170370 170535 170423 170528 1 170528 170543 170019 170543 170534 170543 170509 170544 170536 170507 170150 170398 170529 170502 170535 1 170466 170185 170544 170522 170536 170522 170543 170089 170535 170536 170508 170522 170515 170529 170368 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 170460 170222 170544 170544 170544 170544 170544 170205 170335 170543 170417 170542 170519 170421 170536 1 170531 170542 170541 170544 170285 170544 170224 170544 170544 170493 170508 170253 170543 170544 170280 1 170543 170529 170281 170540 170237 170544 170518 170529 170544 170542 170357 170414 170543 170257 170542 1 170392 170530 170544 170544 170544 170533 170544 170544 170250 170309 170508 170543 170126 170544 170465 1 170232 170536 170544 170544 170541 170544 170145 170544 170356 170421 170473 170536 170493 170468 170543 1 170541 170540 170393 170346 170544 170287 170544 170376 170544 170543 170504 170388 170543 170540 170287 1 170479 170541 170533 170451 170532 170544 170542 170542 170213 170534 170361 170536 170035 170542 170535 1 170542 170395 170543 170544 170541 170506 170518 170293 170544 170404 170508 170062 170544 170534 170442 1 170466 170544 170159 170541 170541 170544 170520 170544 170192 170543 170392 170542 170386 170463 170543 1 170541 170471 170543 170544 170544 170500 170544 170524 170544 170145 170508 170238 170544 170544 170186 1 170535 170103 170522 170536 170536 170529 170501 170543 170515 170536 170438 170473 170544 170073 170536 1 170431 170544 170544 170538 170460 170542 170544 170477 170544 170180 170508 170535 170071 170544 170458 1 170543 170254 170544 170544 170544 170399 170544 170512 170544 170543 170395 170098 170507 170407 170542 1 170254 170538 170540 170538 170542 170544 170501 170544 170278 170371 170508 170543 170543 170541 170135 1 170225 170544 170527 170538 170514 170544 170203 170544 170544 170536 170505 170532 170251 170543 170370 1 170542 170527 170536 170544 170544 170428 170544 170301 170359 170542 170411 170405 170544 170158 170535 1 170269 170457 170544 170275 170521 170544 170522 170543 170541 170544 170506 170542 170535 170541 170036 1 170536 170536 170060 170543 170536 170522 170536 170529 170536 170123 170473 170417 170515 170529 170529 1 170305 170543 170544 170372 170541 170544 170539 170540 170464 170543 170459 170114 170543 170348 170521 1 170473 170027 170535 170544 170515 170542 170541 170541 170543 170483 170138 170543 170449 170544 170502 1 170375 170529 170536 170107 170543 170522 170344 170543 170541 170544 170236 170526 170543 170533 170498 1 170529 170450 170540 170544 170513 170544 170544 170236 170541 170375 170480 170473 170082 170541 170528 1 170473 170501 170535 170536 170544 170544 170528 170544 170177 170502 170508 170543 170431 170356 170198 1 170475 170540 170538 170541 170251 170503 170543 170541 170542 170542 170166 170112 170540 170543 170543 1 170462 170544 170544 170544 170292 170544 170544 170505 170544 170544 170321 170519 170369 170544 170100 1 170529 170518 170211 170542 170544 170305 170528 170544 170476 170536 170445 170431 170544 170224 170543 1 170480 170180 170544 170542 170542 170544 170142 170542 170523 170516 170499 170536 170514 170522 170294 1 170472 170544 170204 170542 170543 170523 170544 170492 170536 170542 170294 170073 170541 170529 170541 1 170452 170201 170544 170544 170544 170348 170544 170544 170228 170426 170467 170543 170450 170543 170542 1 170536 170543 170231 170499 170544 170544 170187 170512 170544 170544 170490 170410 170543 170527 170266 1 170137 170540 170544 170464 170544 170525 170544 170541 170151 170348 170480 170485 170539 170542 170536 1 170543 170543 170397 170544 170529 170544 170225 170544 170544 170544 170505 170417 170529 170276 170236 1 170543 170166 170543 170536 170544 170514 170527 170523 170536 170396 170480 170450 170111 170515 170536 1 170184 170543 170541 170540 170187 170541 170542 170541 170538 170539 170204 170538 170543 170529 170410 1 170479 170542 170536 170426 170522 170544 170192 170544 170543 170283 170477 170513 170239 170544 170536 1 170535 170535 170541 170544 170544 170533 170544 170402 170255 170544 170483 170418 170544 170157 170341 1 170308 170463 170544 170516 170544 170066 170544 170525 170527 170542 170239 170488 170542 170543 170529 1 170536 170544 170392 170544 170294 170544 170353 170544 170544 170533 170508 170479 170375 170279 170451 1 170543 170520 170544 170544 170093 170526 170544 170508 170544 170259 170433 170279 170541 170499 170543 1 170164 170543 170456 170504 170544 170544 170366 170542 170542 170543 170508 170541 170532 170540 170051 1 170118 170521 170544 170544 170454 170439 170544 170541 170541 170544 170506 170543 170520 170518 170043 1 170543 170540 170244 170542 170544 170544 170443 170536 170535 170164 170479 170187 170543 170540 170536 1 170536 170417 170179 170544 170544 170526 170544 170369 170289 170543 170507 170480 170531 170544 170367 1 170108 170544 170544 170532 170534 170544 170541 170544 170544 170241 170458 170277 170542 170424 170543 1 170121 170543 170538 170544 170536 170536 170544 170175 170512 170319 170508 170502 170543 170544 170455 1 170543 170523 170544 170166 170544 170544 170346 170544 170542 170543 170225 170465 170324 170527 170540 1 170460 170536 170536 170536 170529 170543 170173 170536 170536 170473 170414 170523 170042 170543 170540 1 170542 170528 170543 170068 170542 170461 170544 170544 170541 170544 170307 170362 170544 170520 170330 1 170480 170202 170529 170529 170536 170544 170093 170529 170536 170542 170300 170536 170529 170529 170506 1 170260 170544 170451 170514 170543 170541 170544 170495 170540 170444 170508 170084 170541 170433 170478 1 170330 170505 170544 170542 170538 170068 170544 170544 170486 170516 170301 170543 170543 170373 170543 1 170543 170543 170245 170534 170544 170544 170542 170315 170543 170543 170508 170343 170515 170543 170115 1 170527 170544 170197 170543 170544 170543 170249 170541 170539 170531 170314 170261 170517 170544 170526 1 170480 170325 170544 170542 170168 170544 170544 170535 170531 170529 170454 170536 170532 170153 170503 1 170374 170538 170172 170544 170544 170544 170544 170268 170532 170333 170473 170543 170543 170425 170543 1 170543 170527 170544 170333 170289 170544 170542 170544 170544 170543 170501 170459 170171 170544 170292 1 170263 170543 170543 170489 170511 170163 170544 170342 170542 170544 170346 170543 170541 170543 170463 1 170543 170491 170085 170544 170544 170544 170540 170544 170544 170212 170473 170370 170535 170423 170528 1 170528 170543 170019 170543 170534 170543 170509 170544 170536 170507 170150 170398 170529 170502 170535 1 170466 170185 170544 170522 170536 170522 170543 170089 170535 170536 170508 170522 170515 170529 170368 barycenter is 511384/3 i5 : print toString oo; (true,{{170460, 170222, 170544, 170544, 170544, 170544, 170544, 170205, 170335, 170543, 170417, 170542, 170519, 170421, 170536}, {170531, 170542, 170541, 170544, 170285, 170544, 170224, 170544, 170544, 170493, 170508, 170253, 170543, 170544, 170280}, {170543, 170529, 170281, 170540, 170237, 170544, 170518, 170529, 170544, 170542, 170357, 170414, 170543, 170257, 170542}, {170392, 170530, 170544, 170544, 170544, 170533, 170544, 170544, 170250, 170309, 170508, 170543, 170126, 170544, 170465}, {170232, 170536, 170544, 170544, 170541, 170544, 170145, 170544, 170356, 170421, 170473, 170536, 170493, 170468, 170543}, {170541, 170540, 170393, 170346, 170544, 170287, 170544, 170376, 170544, 170543, 170504, 170388, 170543, 170540, 170287}, {170479, 170541, 170533, 170451, 170532, 170544, 170542, 170542, 170213, 170534, 170361, 170536, 170035, 170542, 170535}, {170542, 170395, 170543, 170544, 170541, 170506, 170518, 170293, 170544, 170404, 170508, 170062, 170544, 170534, 170442}, {170466, 170544, 170159, 170541, 170541, 170544, 170520, 170544, 170192, 170543, 170392, 170542, 170386, 170463, 170543}, {170541, 170471, 170543, 170544, 170544, 170500, 170544, 170524, 170544, 170145, 170508, 170238, 170544, 170544, 170186}, {170535, 170103, 170522, 170536, 170536, 170529, 170501, 170543, 170515, 170536, 170438, 170473, 170544, 170073, 170536}, {170431, 170544, 170544, 170538, 170460, 170542, 170544, 170477, 170544, 170180, 170508, 170535, 170071, 170544, 170458}, {170543, 170254, 170544, 170544, 170544, 170399, 170544, 170512, 170544, 170543, 170395, 170098, 170507, 170407, 170542}, {170254, 170538, 170540, 170538, 170542, 170544, 170501, 170544, 170278, 170371, 170508, 170543, 170543, 170541, 170135}, {170225, 170544, 170527, 170538, 170514, 170544, 170203, 170544, 170544, 170536, 170505, 170532, 170251, 170543, 170370}, {170542, 170527, 170536, 170544, 170544, 170428, 170544, 170301, 170359, 170542, 170411, 170405, 170544, 170158, 170535}, {170269, 170457, 170544, 170275, 170521, 170544, 170522, 170543, 170541, 170544, 170506, 170542, 170535, 170541, 170036}, {170536, 170536, 170060, 170543, 170536, 170522, 170536, 170529, 170536, 170123, 170473, 170417, 170515, 170529, 170529}, {170305, 170543, 170544, 170372, 170541, 170544, 170539, 170540, 170464, 170543, 170459, 170114, 170543, 170348, 170521}, {170473, 170027, 170535, 170544, 170515, 170542, 170541, 170541, 170543, 170483, 170138, 170543, 170449, 170544, 170502}, {170375, 170529, 170536, 170107, 170543, 170522, 170344, 170543, 170541, 170544, 170236, 170526, 170543, 170533, 170498}, {170529, 170450, 170540, 170544, 170513, 170544, 170544, 170236, 170541, 170375, 170480, 170473, 170082, 170541, 170528}, {170473, 170501, 170535, 170536, 170544, 170544, 170528, 170544, 170177, 170502, 170508, 170543, 170431, 170356, 170198}, {170475, 170540, 170538, 170541, 170251, 170503, 170543, 170541, 170542, 170542, 170166, 170112, 170540, 170543, 170543}, {170462, 170544, 170544, 170544, 170292, 170544, 170544, 170505, 170544, 170544, 170321, 170519, 170369, 170544, 170100}, {170529, 170518, 170211, 170542, 170544, 170305, 170528, 170544, 170476, 170536, 170445, 170431, 170544, 170224, 170543}, {170480, 170180, 170544, 170542, 170542, 170544, 170142, 170542, 170523, 170516, 170499, 170536, 170514, 170522, 170294}, {170472, 170544, 170204, 170542, 170543, 170523, 170544, 170492, 170536, 170542, 170294, 170073, 170541, 170529, 170541}, {170452, 170201, 170544, 170544, 170544, 170348, 170544, 170544, 170228, 170426, 170467, 170543, 170450, 170543, 170542}, {170536, 170543, 170231, 170499, 170544, 170544, 170187, 170512, 170544, 170544, 170490, 170410, 170543, 170527, 170266}, {170137, 170540, 170544, 170464, 170544, 170525, 170544, 170541, 170151, 170348, 170480, 170485, 170539, 170542, 170536}, {170543, 170543, 170397, 170544, 170529, 170544, 170225, 170544, 170544, 170544, 170505, 170417, 170529, 170276, 170236}, {170543, 170166, 170543, 170536, 170544, 170514, 170527, 170523, 170536, 170396, 170480, 170450, 170111, 170515, 170536}, {170184, 170543, 170541, 170540, 170187, 170541, 170542, 170541, 170538, 170539, 170204, 170538, 170543, 170529, 170410}, {170479, 170542, 170536, 170426, 170522, 170544, 170192, 170544, 170543, 170283, 170477, 170513, 170239, 170544, 170536}, {170535, 170535, 170541, 170544, 170544, 170533, 170544, 170402, 170255, 170544, 170483, 170418, 170544, 170157, 170341}, {170308, 170463, 170544, 170516, 170544, 170066, 170544, 170525, 170527, 170542, 170239, 170488, 170542, 170543, 170529}, {170536, 170544, 170392, 170544, 170294, 170544, 170353, 170544, 170544, 170533, 170508, 170479, 170375, 170279, 170451}, {170543, 170520, 170544, 170544, 170093, 170526, 170544, 170508, 170544, 170259, 170433, 170279, 170541, 170499, 170543}, {170164, 170543, 170456, 170504, 170544, 170544, 170366, 170542, 170542, 170543, 170508, 170541, 170532, 170540, 170051}, {170118, 170521, 170544, 170544, 170454, 170439, 170544, 170541, 170541, 170544, 170506, 170543, 170520, 170518, 170043}, {170543, 170540, 170244, 170542, 170544, 170544, 170443, 170536, 170535, 170164, 170479, 170187, 170543, 170540, 170536}, {170536, 170417, 170179, 170544, 170544, 170526, 170544, 170369, 170289, 170543, 170507, 170480, 170531, 170544, 170367}, {170108, 170544, 170544, 170532, 170534, 170544, 170541, 170544, 170544, 170241, 170458, 170277, 170542, 170424, 170543}, {170121, 170543, 170538, 170544, 170536, 170536, 170544, 170175, 170512, 170319, 170508, 170502, 170543, 170544, 170455}, {170543, 170523, 170544, 170166, 170544, 170544, 170346, 170544, 170542, 170543, 170225, 170465, 170324, 170527, 170540}, {170460, 170536, 170536, 170536, 170529, 170543, 170173, 170536, 170536, 170473, 170414, 170523, 170042, 170543, 170540}, {170542, 170528, 170543, 170068, 170542, 170461, 170544, 170544, 170541, 170544, 170307, 170362, 170544, 170520, 170330}, {170480, 170202, 170529, 170529, 170536, 170544, 170093, 170529, 170536, 170542, 170300, 170536, 170529, 170529, 170506}, {170260, 170544, 170451, 170514, 170543, 170541, 170544, 170495, 170540, 170444, 170508, 170084, 170541, 170433, 170478}, {170330, 170505, 170544, 170542, 170538, 170068, 170544, 170544, 170486, 170516, 170301, 170543, 170543, 170373, 170543}, {170543, 170543, 170245, 170534, 170544, 170544, 170542, 170315, 170543, 170543, 170508, 170343, 170515, 170543, 170115}, {170527, 170544, 170197, 170543, 170544, 170543, 170249, 170541, 170539, 170531, 170314, 170261, 170517, 170544, 170526}, {170480, 170325, 170544, 170542, 170168, 170544, 170544, 170535, 170531, 170529, 170454, 170536, 170532, 170153, 170503}, {170374, 170538, 170172, 170544, 170544, 170544, 170544, 170268, 170532, 170333, 170473, 170543, 170543, 170425, 170543}, {170543, 170527, 170544, 170333, 170289, 170544, 170542, 170544, 170544, 170543, 170501, 170459, 170171, 170544, 170292}, {170263, 170543, 170543, 170489, 170511, 170163, 170544, 170342, 170542, 170544, 170346, 170543, 170541, 170543, 170463}, {170543, 170491, 170085, 170544, 170544, 170544, 170540, 170544, 170544, 170212, 170473, 170370, 170535, 170423, 170528}, {170528, 170543, 170019, 170543, 170534, 170543, 170509, 170544, 170536, 170507, 170150, 170398, 170529, 170502, 170535}, {170466, 170185, 170544, 170522, 170536, 170522, 170543, 170089, 170535, 170536, 170508, 170522, 170515, 170529, 170368}},{{25, -3, 17, 22, 47, 9, 49, -41, -39, 29, 4, 35, 4, -3, 35}, {-25, 3, -17, -22, -47, -9, -49, 41, 39, -29, -4, -35, -4, 3, -35}, {34, 28, -29, 9, -34, 17, -20, -16, 49, 44, -22, 2, 45, -27, 30}, {-34, -28, 29, -9, 34, -17, 20, 16, -49, -44, 22, -2, -45, 27, -30}, {-13, 4, 22, 32, 1, 37, -44, 34, -36, -23, -8, 0, -7, -8, 22}, {13, -4, -22, -32, -1, -37, 44, -34, 36, 23, 8, 0, 7, 8, -22}, {-2, 17, -15, -31, 5, 13, 14, 17, -39, 1, -19, 26, -50, -2, -7}, {2, -17, 15, 31, -5, -13, -14, -17, 39, -1, 19, -26, 50, 2, 7}, {-21, 22, -43, -17, -30, 23, -27, 19, -42, 42, -32, 33, -33, -31, 38}, {21, -22, 43, 17, 30, -23, 27, -19, 42, -42, 32, -33, 33, 31, -38}, {30, -26, -2, 17, 33, 13, -3, 30, 4, 35, 7, 14, 45, -26, 24}, {-30, 26, 2, -17, -33, -13, 3, -30, -4, -35, -7, -14, -45, 26, -24}, {16, -44, 1, 0, -10, -38, 24, -31, 40, 38, -11, -48, -30, -28, 31}, {-16, 44, -1, 0, 10, 38, -24, 31, -40, -38, 11, 48, 30, 28, -31}, {-48, 10, -19, 6, -30, 36, -49, 46, 46, 22, 28, 1, -41, 25, -10}, {48, -10, 19, -6, 30, -36, 49, -46, -46, -22, -28, -1, 41, -25, 10}, {-47, -42, 44, -45, -38, 6, -40, -2, -25, 49, -15, -12, -24, -13, -47}, {47, 42, -44, 45, 38, -6, 40, 2, 25, -49, 15, 12, 24, 13, 47}, {-22, 37, 2, -21, 7, -1, -3, 1, -18, 19, 30, -38, 22, -19, 17}, {22, -37, -2, 21, -7, 1, 3, -1, 18, -19, -30, 38, -22, 19, -17}, {10, 42, 22, -26, 22, -11, -16, 48, 28, 30, -5, 16, 50, 24, 12}, {-10, -42, -22, 26, -22, 11, 16, -48, -28, -30, 5, -16, -50, -24, -12}, {33, 1, 4, -2, 42, 31, -23, -4, -43, -25, 40, 46, 0, -26, -36}, {-33, -1, -4, 2, -42, -31, 23, 4, 43, 25, -40, -46, 0, 26, 36}, {-15, -1, 50, 6, -41, 50, 18, -26, 37, -7, -40, -11, -26, 42, -46}, {15, 1, -50, -6, 41, -50, -18, 26, -37, 7, 40, 11, 26, -42, 46}, {31, -48, 43, -5, -4, 13, -46, 14, -10, -16, 10, 33, -24, -7, -26}, {-31, 48, -43, 5, 4, -13, 46, -14, 10, 16, -10, -33, 24, 7, 26}, {-34, -50, 45, 25, -7, -49, 48, 21, -49, -20, 11, -10, -41, 5, 28}, {34, 50, -45, -25, 7, 49, -48, -21, 49, 20, -11, 10, 41, -5, -28}, {-27, 3, 44, -26, 41, -23, 46, -20, -47, -45, 11, 26, 31, 45, 47}, {27, -3, -44, 26, -41, 23, -46, 20, 47, 45, -11, -26, -31, -45, -47}, {41, -42, -16, -11, 37, -21, -21, -25, -19, -14, 25, -32, -46, -21, 13}, {-41, 42, 16, 11, -37, 21, 21, 25, 19, 14, -25, 32, 46, 21, -13}, {-21, -14, -12, -36, -27, -2, -49, 23, 24, -46, 9, -16, -33, 39, 38}, {21, 14, 12, 36, 27, 2, 49, -23, -24, 46, -9, 16, 33, -39, -38}, {-25, -14, 39, -4, 46, -42, 46, -15, -18, 18, -46, -16, 33, 37, 7}, {25, 14, -39, 4, -46, 42, -46, 15, 18, -18, 46, 16, -33, -37, -7}, {47, 3, 39, 35, -34, -16, 42, -33, 3, -47, -42, 0, 19, 4, 50}, {-47, -3, -39, -35, 34, 16, -42, 33, -3, 47, 42, 0, -19, -4, -50}, {-39, -15, 49, 9, -27, -29, 46, 13, 8, 50, 3, 48, -13, -19, -40}, {39, 15, -49, -9, 27, 29, -46, -13, -8, -50, -3, -48, 13, 19, 40}, {46, -32, -46, 25, 21, -23, 12, -25, -21, 19, 12, 26, -7, 19, -11}, {-46, 32, 46, -25, -21, 23, -12, 25, 21, -19, -12, -26, 7, -19, 11}, {-47, 17, -31, 36, -28, -19, 31, -31, -18, -22, 25, -12, 20, 5, -7}, {47, -17, 31, -36, 28, 19, -31, 31, 18, 22, -25, 12, -20, -5, 7}, {-10, 4, 4, 31, 17, 25, -49, 13, 14, -3, 21, 3, -47, 15, 21}, {10, -4, -4, -31, -17, -25, 49, -13, -14, 3, -21, -3, 47, -15, -21}, {13, -26, 10, 5, -3, -1, -47, 7, 1, -3, -38, 38, 6, 7, -20}, {-13, 26, -10, -5, 3, 1, 47, -7, -1, 3, 38, -38, -6, -7, 20}, {-13, -13, 34, 0, -23, -48, 2, 32, -31, -34, -39, 27, 17, -25, 40}, {13, 13, -34, 0, 23, 48, -2, -32, 31, 34, 39, -27, -17, 25, -40}, {-8, 35, -47, 7, 49, -5, -31, 0, 13, 6, -8, -25, -2, 34, 1}, {8, -35, 47, -7, -49, 5, 31, 0, -13, -6, 8, 25, 2, -34, -1}, {-26, 16, -44, 46, 46, -2, 0, -43, -22, -36, -3, 15, 37, -34, 24}, {26, -16, 44, -46, -46, 2, 0, 43, 22, 36, 3, -15, -37, 34, -24}, {-50, 28, 46, -45, -41, -48, 0, -33, -7, 22, -9, 17, 1, 15, -8}, {50, -28, -46, 45, 41, 48, 0, 33, 7, -22, 9, -17, -1, -15, 8}, {-11, 26, -49, 20, -8, 24, -15, 49, -8, -23, -39, -18, 14, -16, 2}, {11, -26, 49, -20, 8, -24, 15, -49, 8, 23, 39, 18, -14, 16, -2}}) i6 : mcStable(9,I,50); polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 490217 489757 490289 490305 490305 490297 490313 490264 490314 490297 490261 490281 490313 489718 490204 1 490302 490313 490313 490296 490208 490274 490274 490314 490281 490296 489758 490232 489649 490314 490311 1 490313 490312 489876 490314 490310 489973 490311 490314 490314 490310 489842 490039 490308 490286 490313 1 489885 490310 490314 490312 490314 490314 490314 490122 489902 490313 490269 490313 490298 490311 489844 1 490127 490313 489914 490295 490314 490314 489764 490314 490312 490236 490060 490313 490296 490266 490297 1 490312 490204 490313 490308 490014 490304 490313 490167 490312 490300 490206 489643 490313 490310 490116 1 490138 490312 490313 489666 490313 490298 490312 490306 490313 490084 489990 490307 490158 490312 490313 1 490312 490288 490314 490314 490047 490314 490272 490314 490046 490313 490269 490146 490313 490094 489779 1 490305 489635 490314 490297 490314 490265 490313 490296 490313 490278 489737 490201 490313 490281 490273 1 489986 490314 490273 490305 490037 490314 490306 490312 490275 490312 490135 490305 489661 490314 490286 1 490202 490111 490314 489785 490307 490314 490272 490314 490304 490314 490236 490313 490313 489873 490163 1 490312 490312 490305 490314 490313 490051 490314 489837 490314 490258 490089 489822 490271 490314 490309 1 489894 490311 489990 490314 490314 490314 490314 490290 490314 489717 490191 490313 490306 490240 490313 1 490313 490310 490314 490312 490254 490282 489877 490313 490246 490313 490269 490024 490288 490313 489707 1 490313 490266 490314 490314 490250 490314 490260 490314 490314 490310 489714 490224 489750 490165 490313 1 489913 490312 490273 490312 490314 490255 490314 489794 490296 490313 490269 490303 490312 490312 489843 1 490312 490314 489758 490314 490312 490309 490312 490314 490220 490305 490233 490203 490114 490314 489801 1 490187 489870 490314 490289 490304 490312 490313 489683 490313 490266 490112 490290 490313 490265 490304 1 490313 490311 490313 490312 490213 490230 490314 490314 490275 489741 490269 489720 490296 490313 490201 1 489927 490282 490219 490314 490314 490313 489698 490289 490313 490313 489981 490313 490282 490265 490312 1 490154 490312 490040 490266 489793 490314 490297 490280 490314 490314 489887 490281 490314 490278 490291 1 490305 490312 490312 490310 490314 490156 490311 490313 490290 489763 490233 490231 489741 490276 490268 1 490297 490025 490313 490313 489705 490305 490313 490265 490297 490297 489905 490209 490289 490289 490313 1 490087 490314 490278 490287 490314 490314 489864 490314 490295 490263 490269 490289 490273 490314 489660 1 490313 490142 490314 490298 489934 490280 490314 490313 490284 490016 490233 489767 490309 490313 490305 1 490121 490313 490311 490314 490314 490314 489920 490314 490314 490314 490084 490313 490310 489972 489907 1 490233 490279 490293 489892 490314 490314 490314 490018 490312 490310 490080 490305 489845 490313 490313 1 489937 490312 490314 490314 490310 490314 490314 490314 490082 490303 490269 489853 490314 489996 490189 1 489720 490314 490312 490313 490289 490288 490179 490314 490310 489693 490233 490287 490289 490290 490304 1 490305 489641 490297 490296 490313 490305 490313 490249 490313 490314 489751 490231 490304 490289 490214 1 490233 489983 490313 490312 490305 490307 490276 490295 490119 490313 490135 490305 489640 490313 490286 1 490305 490312 490163 490313 490314 490314 490314 490314 490314 489810 490206 490011 490314 489831 490300 1 490285 490314 490313 490292 490311 490312 489904 490313 489926 490313 490160 489810 490280 490313 490289 1 490233 489945 489999 490314 490313 490305 490314 490309 490314 489721 490230 490305 490311 490301 490221 1 490312 490313 490313 490314 490307 490310 489949 490314 490314 490314 489967 490032 490251 490313 489812 1 489771 490252 490242 490314 490314 490314 490314 490214 490308 489687 490233 490313 490313 490241 490305 1 490111 490314 490314 490303 489836 490305 490305 490305 490312 490313 490203 490266 490263 489696 490289 1 490305 489832 490307 490314 490314 490313 489808 490253 490253 490310 490026 490230 490313 490313 490244 1 490198 490314 490283 490299 490303 490314 490314 490113 490314 490274 489819 490305 489659 490314 490312 1 490309 490233 490314 490312 490314 489828 490307 490314 490296 490313 490261 490118 490314 489771 490131 1 490146 490312 489722 490275 490314 490314 490314 490250 490314 489872 490160 490313 490203 490314 490312 1 490312 490312 490314 490314 490313 490261 490062 490314 490009 490314 490268 490097 490313 489758 490174 1 489844 490314 490312 490265 490314 490273 490259 489702 490313 490314 490059 490256 490287 490312 490311 1 490305 489947 490312 490314 489848 490314 490314 490314 490253 489885 490233 490233 490311 490270 490282 1 490313 490289 490314 490314 489719 490310 490314 490263 490313 490309 489865 490025 490259 490215 490313 1 490143 490313 489759 490303 490314 490313 490253 490314 489858 490266 490269 490296 490313 490305 490116 1 489877 490314 490314 490314 490312 490239 490313 489725 490305 490313 490269 490253 490312 490283 489992 1 490305 489977 490258 489875 490312 490314 490311 490314 490314 490288 489767 490233 490246 490310 490311 1 490305 490015 489926 490298 490313 490314 490309 490314 490292 489716 490233 490186 490305 490304 490305 1 490110 490313 490314 490314 490244 489921 490311 490280 490314 490314 490198 490290 490264 490310 489638 1 490036 490268 490314 490314 489638 490310 490301 490283 490314 490310 490087 490305 490305 490303 490047 1 490313 490313 489868 490266 490314 490314 490314 490314 489755 490305 490161 490116 490173 490304 490305 1 490036 490314 490314 490309 490314 490298 490314 490279 490314 490313 489808 490312 490181 489724 490305 1 490312 490256 490308 490314 490028 490314 489974 490314 490082 490200 490269 489911 490314 490314 490225 1 489875 490257 490314 490278 490313 490313 489766 490313 490314 490314 489910 490244 490312 490310 490302 1 490297 490313 489741 490313 490308 490289 490314 490305 489882 490112 490233 490161 490289 490274 490304 1 489849 490313 490278 490233 490314 490314 490314 489825 490129 490197 490269 490313 490313 490242 490232 1 490313 490259 490313 490312 490251 490265 490297 490313 490313 490312 489641 489693 490259 490313 490281 1 490232 489842 490308 490306 490028 490314 490314 490314 490314 489846 490233 490305 490314 490160 490305 1 490289 490314 490312 490314 490314 490255 490314 490220 489833 490314 490104 490224 489718 490314 490296 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 490209 490209 490209 490209 490209 490209 490209 490209 490209 490209 490209 490209 490209 490209 490209 1 490217 489757 490289 490305 490305 490297 490313 490264 490314 490297 490261 490281 490313 489718 490204 1 490302 490313 490313 490296 490208 490274 490274 490314 490281 490296 489758 490232 489649 490314 490311 1 490313 490312 489876 490314 490310 489973 490311 490314 490314 490310 489842 490039 490308 490286 490313 1 489885 490310 490314 490312 490314 490314 490314 490122 489902 490313 490269 490313 490298 490311 489844 1 490127 490313 489914 490295 490314 490314 489764 490314 490312 490236 490060 490313 490296 490266 490297 1 490312 490204 490313 490308 490014 490304 490313 490167 490312 490300 490206 489643 490313 490310 490116 1 490138 490312 490313 489666 490313 490298 490312 490306 490313 490084 489990 490307 490158 490312 490313 1 490312 490288 490314 490314 490047 490314 490272 490314 490046 490313 490269 490146 490313 490094 489779 1 490305 489635 490314 490297 490314 490265 490313 490296 490313 490278 489737 490201 490313 490281 490273 1 489986 490314 490273 490305 490037 490314 490306 490312 490275 490312 490135 490305 489661 490314 490286 1 490202 490111 490314 489785 490307 490314 490272 490314 490304 490314 490236 490313 490313 489873 490163 1 490312 490312 490305 490314 490313 490051 490314 489837 490314 490258 490089 489822 490271 490314 490309 1 489894 490311 489990 490314 490314 490314 490314 490290 490314 489717 490191 490313 490306 490240 490313 1 490313 490310 490314 490312 490254 490282 489877 490313 490246 490313 490269 490024 490288 490313 489707 1 490313 490266 490314 490314 490250 490314 490260 490314 490314 490310 489714 490224 489750 490165 490313 1 489913 490312 490273 490312 490314 490255 490314 489794 490296 490313 490269 490303 490312 490312 489843 1 490312 490314 489758 490314 490312 490309 490312 490314 490220 490305 490233 490203 490114 490314 489801 1 490187 489870 490314 490289 490304 490312 490313 489683 490313 490266 490112 490290 490313 490265 490304 1 490313 490311 490313 490312 490213 490230 490314 490314 490275 489741 490269 489720 490296 490313 490201 1 489927 490282 490219 490314 490314 490313 489698 490289 490313 490313 489981 490313 490282 490265 490312 1 490154 490312 490040 490266 489793 490314 490297 490280 490314 490314 489887 490281 490314 490278 490291 1 490305 490312 490312 490310 490314 490156 490311 490313 490290 489763 490233 490231 489741 490276 490268 1 490297 490025 490313 490313 489705 490305 490313 490265 490297 490297 489905 490209 490289 490289 490313 1 490087 490314 490278 490287 490314 490314 489864 490314 490295 490263 490269 490289 490273 490314 489660 1 490313 490142 490314 490298 489934 490280 490314 490313 490284 490016 490233 489767 490309 490313 490305 1 490121 490313 490311 490314 490314 490314 489920 490314 490314 490314 490084 490313 490310 489972 489907 1 490233 490279 490293 489892 490314 490314 490314 490018 490312 490310 490080 490305 489845 490313 490313 1 489937 490312 490314 490314 490310 490314 490314 490314 490082 490303 490269 489853 490314 489996 490189 1 489720 490314 490312 490313 490289 490288 490179 490314 490310 489693 490233 490287 490289 490290 490304 1 490305 489641 490297 490296 490313 490305 490313 490249 490313 490314 489751 490231 490304 490289 490214 1 490233 489983 490313 490312 490305 490307 490276 490295 490119 490313 490135 490305 489640 490313 490286 1 490305 490312 490163 490313 490314 490314 490314 490314 490314 489810 490206 490011 490314 489831 490300 1 490285 490314 490313 490292 490311 490312 489904 490313 489926 490313 490160 489810 490280 490313 490289 1 490233 489945 489999 490314 490313 490305 490314 490309 490314 489721 490230 490305 490311 490301 490221 1 490312 490313 490313 490314 490307 490310 489949 490314 490314 490314 489967 490032 490251 490313 489812 1 489771 490252 490242 490314 490314 490314 490314 490214 490308 489687 490233 490313 490313 490241 490305 1 490111 490314 490314 490303 489836 490305 490305 490305 490312 490313 490203 490266 490263 489696 490289 1 490305 489832 490307 490314 490314 490313 489808 490253 490253 490310 490026 490230 490313 490313 490244 1 490198 490314 490283 490299 490303 490314 490314 490113 490314 490274 489819 490305 489659 490314 490312 1 490309 490233 490314 490312 490314 489828 490307 490314 490296 490313 490261 490118 490314 489771 490131 1 490146 490312 489722 490275 490314 490314 490314 490250 490314 489872 490160 490313 490203 490314 490312 1 490312 490312 490314 490314 490313 490261 490062 490314 490009 490314 490268 490097 490313 489758 490174 1 489844 490314 490312 490265 490314 490273 490259 489702 490313 490314 490059 490256 490287 490312 490311 1 490305 489947 490312 490314 489848 490314 490314 490314 490253 489885 490233 490233 490311 490270 490282 1 490313 490289 490314 490314 489719 490310 490314 490263 490313 490309 489865 490025 490259 490215 490313 1 490143 490313 489759 490303 490314 490313 490253 490314 489858 490266 490269 490296 490313 490305 490116 1 489877 490314 490314 490314 490312 490239 490313 489725 490305 490313 490269 490253 490312 490283 489992 1 490305 489977 490258 489875 490312 490314 490311 490314 490314 490288 489767 490233 490246 490310 490311 1 490305 490015 489926 490298 490313 490314 490309 490314 490292 489716 490233 490186 490305 490304 490305 1 490110 490313 490314 490314 490244 489921 490311 490280 490314 490314 490198 490290 490264 490310 489638 1 490036 490268 490314 490314 489638 490310 490301 490283 490314 490310 490087 490305 490305 490303 490047 1 490313 490313 489868 490266 490314 490314 490314 490314 489755 490305 490161 490116 490173 490304 490305 1 490036 490314 490314 490309 490314 490298 490314 490279 490314 490313 489808 490312 490181 489724 490305 1 490312 490256 490308 490314 490028 490314 489974 490314 490082 490200 490269 489911 490314 490314 490225 1 489875 490257 490314 490278 490313 490313 489766 490313 490314 490314 489910 490244 490312 490310 490302 1 490297 490313 489741 490313 490308 490289 490314 490305 489882 490112 490233 490161 490289 490274 490304 1 489849 490313 490278 490233 490314 490314 490314 489825 490129 490197 490269 490313 490313 490242 490232 1 490313 490259 490313 490312 490251 490265 490297 490313 490313 490312 489641 489693 490259 490313 490281 1 490232 489842 490308 490306 490028 490314 490314 490314 490314 489846 490233 490305 490314 490160 490305 1 490289 490314 490312 490314 490314 490255 490314 490220 489833 490314 490104 490224 489718 490314 490296 polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 490217 489757 490289 490305 490305 490297 490313 490264 490314 490297 490261 490281 490313 489718 490204 1 490302 490313 490313 490296 490208 490274 490274 490314 490281 490296 489758 490232 489649 490314 490311 1 490313 490312 489876 490314 490310 489973 490311 490314 490314 490310 489842 490039 490308 490286 490313 1 489885 490310 490314 490312 490314 490314 490314 490122 489902 490313 490269 490313 490298 490311 489844 1 490127 490313 489914 490295 490314 490314 489764 490314 490312 490236 490060 490313 490296 490266 490297 1 490312 490204 490313 490308 490014 490304 490313 490167 490312 490300 490206 489643 490313 490310 490116 1 490138 490312 490313 489666 490313 490298 490312 490306 490313 490084 489990 490307 490158 490312 490313 1 490312 490288 490314 490314 490047 490314 490272 490314 490046 490313 490269 490146 490313 490094 489779 1 490305 489635 490314 490297 490314 490265 490313 490296 490313 490278 489737 490201 490313 490281 490273 1 489986 490314 490273 490305 490037 490314 490306 490312 490275 490312 490135 490305 489661 490314 490286 1 490202 490111 490314 489785 490307 490314 490272 490314 490304 490314 490236 490313 490313 489873 490163 1 490312 490312 490305 490314 490313 490051 490314 489837 490314 490258 490089 489822 490271 490314 490309 1 489894 490311 489990 490314 490314 490314 490314 490290 490314 489717 490191 490313 490306 490240 490313 1 490313 490310 490314 490312 490254 490282 489877 490313 490246 490313 490269 490024 490288 490313 489707 1 490313 490266 490314 490314 490250 490314 490260 490314 490314 490310 489714 490224 489750 490165 490313 1 489913 490312 490273 490312 490314 490255 490314 489794 490296 490313 490269 490303 490312 490312 489843 1 490312 490314 489758 490314 490312 490309 490312 490314 490220 490305 490233 490203 490114 490314 489801 1 490187 489870 490314 490289 490304 490312 490313 489683 490313 490266 490112 490290 490313 490265 490304 1 490313 490311 490313 490312 490213 490230 490314 490314 490275 489741 490269 489720 490296 490313 490201 1 489927 490282 490219 490314 490314 490313 489698 490289 490313 490313 489981 490313 490282 490265 490312 1 490154 490312 490040 490266 489793 490314 490297 490280 490314 490314 489887 490281 490314 490278 490291 1 490305 490312 490312 490310 490314 490156 490311 490313 490290 489763 490233 490231 489741 490276 490268 1 490297 490025 490313 490313 489705 490305 490313 490265 490297 490297 489905 490209 490289 490289 490313 1 490087 490314 490278 490287 490314 490314 489864 490314 490295 490263 490269 490289 490273 490314 489660 1 490313 490142 490314 490298 489934 490280 490314 490313 490284 490016 490233 489767 490309 490313 490305 1 490121 490313 490311 490314 490314 490314 489920 490314 490314 490314 490084 490313 490310 489972 489907 1 490233 490279 490293 489892 490314 490314 490314 490018 490312 490310 490080 490305 489845 490313 490313 1 489937 490312 490314 490314 490310 490314 490314 490314 490082 490303 490269 489853 490314 489996 490189 1 489720 490314 490312 490313 490289 490288 490179 490314 490310 489693 490233 490287 490289 490290 490304 1 490305 489641 490297 490296 490313 490305 490313 490249 490313 490314 489751 490231 490304 490289 490214 1 490233 489983 490313 490312 490305 490307 490276 490295 490119 490313 490135 490305 489640 490313 490286 1 490305 490312 490163 490313 490314 490314 490314 490314 490314 489810 490206 490011 490314 489831 490300 1 490285 490314 490313 490292 490311 490312 489904 490313 489926 490313 490160 489810 490280 490313 490289 1 490233 489945 489999 490314 490313 490305 490314 490309 490314 489721 490230 490305 490311 490301 490221 1 490312 490313 490313 490314 490307 490310 489949 490314 490314 490314 489967 490032 490251 490313 489812 1 489771 490252 490242 490314 490314 490314 490314 490214 490308 489687 490233 490313 490313 490241 490305 1 490111 490314 490314 490303 489836 490305 490305 490305 490312 490313 490203 490266 490263 489696 490289 1 490305 489832 490307 490314 490314 490313 489808 490253 490253 490310 490026 490230 490313 490313 490244 1 490198 490314 490283 490299 490303 490314 490314 490113 490314 490274 489819 490305 489659 490314 490312 1 490309 490233 490314 490312 490314 489828 490307 490314 490296 490313 490261 490118 490314 489771 490131 1 490146 490312 489722 490275 490314 490314 490314 490250 490314 489872 490160 490313 490203 490314 490312 1 490312 490312 490314 490314 490313 490261 490062 490314 490009 490314 490268 490097 490313 489758 490174 1 489844 490314 490312 490265 490314 490273 490259 489702 490313 490314 490059 490256 490287 490312 490311 1 490305 489947 490312 490314 489848 490314 490314 490314 490253 489885 490233 490233 490311 490270 490282 1 490313 490289 490314 490314 489719 490310 490314 490263 490313 490309 489865 490025 490259 490215 490313 1 490143 490313 489759 490303 490314 490313 490253 490314 489858 490266 490269 490296 490313 490305 490116 1 489877 490314 490314 490314 490312 490239 490313 489725 490305 490313 490269 490253 490312 490283 489992 1 490305 489977 490258 489875 490312 490314 490311 490314 490314 490288 489767 490233 490246 490310 490311 1 490305 490015 489926 490298 490313 490314 490309 490314 490292 489716 490233 490186 490305 490304 490305 1 490110 490313 490314 490314 490244 489921 490311 490280 490314 490314 490198 490290 490264 490310 489638 1 490036 490268 490314 490314 489638 490310 490301 490283 490314 490310 490087 490305 490305 490303 490047 1 490313 490313 489868 490266 490314 490314 490314 490314 489755 490305 490161 490116 490173 490304 490305 1 490036 490314 490314 490309 490314 490298 490314 490279 490314 490313 489808 490312 490181 489724 490305 1 490312 490256 490308 490314 490028 490314 489974 490314 490082 490200 490269 489911 490314 490314 490225 1 489875 490257 490314 490278 490313 490313 489766 490313 490314 490314 489910 490244 490312 490310 490302 1 490297 490313 489741 490313 490308 490289 490314 490305 489882 490112 490233 490161 490289 490274 490304 1 489849 490313 490278 490233 490314 490314 490314 489825 490129 490197 490269 490313 490313 490242 490232 1 490313 490259 490313 490312 490251 490265 490297 490313 490313 490312 489641 489693 490259 490313 490281 1 490232 489842 490308 490306 490028 490314 490314 490314 490314 489846 490233 490305 490314 490160 490305 1 490289 490314 490312 490314 490314 490255 490314 490220 489833 490314 490104 490224 489718 490314 490296 1 490305 490305 490130 490314 490314 490312 490310 490312 490314 489653 490216 489827 490263 490247 490313 1 489988 490310 490314 490312 489855 490274 490313 490259 489967 490313 490268 490313 490311 490313 490025 1 490232 489819 490212 490314 490314 490295 490272 490312 489755 490305 490261 490304 490314 490314 490112 1 490249 490314 490314 490081 490291 490312 490313 490312 490314 490300 489931 490167 490295 489637 490305 1 490289 489963 490313 490267 490313 489725 490314 490313 490314 490313 490067 490216 490313 490312 490103 1 490217 490314 490271 490314 490305 490314 489856 490288 490297 490106 490233 490282 489729 490304 490305 1 490301 490313 490312 490248 489853 490314 490314 490314 489967 490313 490160 489865 490294 490254 490313 1 490134 490198 490311 490313 490314 490312 490256 489924 490314 490220 490253 490312 490307 490313 489654 1 490150 489893 490314 490313 490314 490309 490314 490302 490309 490314 489723 489949 490314 490313 490304 1 490232 490314 490312 490314 490290 490314 489862 490314 490314 490088 490233 490305 489948 489990 490305 1 490093 490313 490312 489786 490313 490314 490314 490314 489966 490310 490040 490313 490313 490133 490301 1 490305 489856 490309 490314 490305 490273 490289 490280 490314 490295 490261 489820 490074 490314 490126 1 490305 490312 490312 490313 490314 490311 490181 490274 489870 490314 490259 490233 489757 490311 490069 1 489873 490292 490314 490250 490292 490314 490314 490312 490314 490131 490223 489753 490314 490126 490313 1 490311 490312 490246 490028 490308 490314 490314 489935 490312 490302 490197 490130 490314 489807 490305 1 490231 490307 490314 490314 490312 490311 490029 490314 490314 489948 490249 490303 489717 490314 490158 1 490233 490299 490313 489810 490296 490314 490314 490312 490305 490314 490013 490305 489790 490313 490204 1 490270 490312 490300 490314 490313 490021 489948 490313 490314 490003 490233 489871 490314 490306 490303 1 490225 490081 489970 490314 490314 490309 490314 490314 490314 490312 490264 490295 489809 490314 489986 1 490296 490312 490313 489896 490312 490312 490305 490231 490282 490251 490189 490154 490314 489656 490312 1 490312 490314 490313 489966 490288 490314 490314 490309 490087 490205 490225 490099 490304 489772 490313 1 490229 489745 490308 490314 490314 490299 490020 490314 490314 490314 490154 490305 490308 490314 489883 1 490050 490313 490313 489672 490289 490289 490297 490313 490305 490313 489825 490312 490297 490297 490250 1 490313 489960 490011 490314 490314 490314 490314 490314 490314 490132 490233 490179 490307 489811 490305 1 490297 490305 490314 490296 490313 489803 490311 490312 490314 490313 490199 490216 489724 490288 490130 1 490166 490297 489695 490313 490310 490314 490314 490308 490069 489949 490228 490285 490313 490311 490263 1 490311 490312 490310 490260 490294 490314 490309 490297 490313 490304 489707 489960 490313 489834 490297 1 490165 490263 490303 490313 490311 489826 490305 490313 490297 490280 490269 490313 489741 490314 490122 1 490148 490305 490314 490314 489763 490314 490314 490314 490314 490189 489948 490313 489973 490313 490299 1 490313 490312 490267 490141 490314 489899 490314 490314 489945 490314 490246 489963 490313 490296 490184 1 490313 490313 490306 490092 490313 490299 490273 489829 490306 490313 490268 489827 490313 490312 490058 1 490152 489820 490314 490314 490312 490314 490314 490314 490314 490025 490180 490313 489839 490297 490313 1 490018 490297 490314 490303 489861 490314 490029 490310 490314 490314 490267 490294 490314 490055 490131 1 490296 490295 490296 490305 490314 489704 490314 490314 490310 490177 490038 490225 489934 490313 490300 1 489854 490313 490313 490313 490304 490314 490211 490272 490314 490207 490146 490301 489650 490313 490310 1 490305 489941 490259 490310 490313 489907 490314 490314 489956 490314 490268 490232 490314 490238 490150 1 490043 490300 490314 490309 490294 489989 490116 490299 490312 490313 490268 490295 490314 490313 489656 1 490305 490312 489886 490314 490314 490314 490314 490314 490314 489865 490201 490233 489917 490219 490313 1 490308 490312 490313 490201 489887 490248 490313 490313 489874 490313 490183 489982 490312 490309 490267 1 490141 490304 489668 490314 490314 490314 490314 490288 490314 490014 490006 490313 490313 490300 490218 1 490305 490314 490314 490314 490254 490314 489798 490314 490297 490052 490269 490196 489902 490314 490178 1 490225 490058 490311 489752 490314 490313 490314 490234 490313 490312 489817 490274 490296 490290 490312 1 490304 490310 490287 490314 490314 490073 490314 490314 490227 489875 490233 490232 489724 490309 490305 1 490082 490296 490313 489869 490311 490314 489982 490201 490314 490314 490259 490312 490314 490292 489962 1 490282 490302 489725 490289 490305 490287 490312 490305 490288 490313 490259 490129 490313 490313 489713 1 490229 490303 490314 490314 490251 490314 489977 490312 490314 489892 490225 490295 489787 490295 490313 1 490312 490262 489879 490314 490314 490314 490178 489859 490305 490305 490261 490119 490314 490302 490097 1 490162 490314 490314 490162 489856 490307 490314 490314 490311 490310 489829 490311 490010 490311 490310 1 490305 489819 490313 490204 490136 490311 490297 490313 490313 490313 490265 490209 490312 490313 489712 1 489783 490314 490263 490314 490314 490314 490314 490304 490305 490210 490094 490305 489696 490292 490313 1 490305 490112 490313 490301 489821 490314 490314 490314 490279 490314 490154 490230 490314 489804 490246 1 489794 490314 490303 490312 490314 490295 490216 490239 490314 490104 490230 490310 489779 490314 490297 1 490231 489932 490314 489895 490314 490314 490310 490250 490313 490314 489782 490305 490247 490308 490306 1 490310 490314 490207 490314 489744 490303 490314 490314 490279 489891 490233 490038 490282 490296 490296 1 489917 490311 490314 490314 490274 490314 490314 489812 490313 490305 490197 490263 490298 489884 490305 1 490313 490151 490285 490309 490313 490285 490313 490314 490304 489940 490140 490174 490305 490314 489675 1 490233 489745 490314 490314 490314 490281 490314 490305 489745 490288 490138 490305 490304 490263 490272 1 490296 490314 490273 490289 490297 490305 489679 490313 490313 490313 490061 489833 490304 490313 490232 1 490313 490312 489685 490314 490308 490270 490302 490314 490314 490279 490174 490113 490313 490296 489828 1 490035 490308 490314 490255 490314 490314 490314 490278 489729 490305 490153 490313 489885 490305 490313 max number 17000 of pivots performed by the criss-cross method. Most likely due to the floating-point arithmetics error. polymake: used package cddlib Implementation of the double description method of Motzkin et al. Copyright by Komei Fukuda. http://www.ifor.math.ethz.ch/~fukuda/cdd_home/cdd.html VERTICES 1 490217 489757 490289 490305 490305 490297 490313 490264 490314 490297 490261 490281 490313 489718 490204 1 490302 490313 490313 490296 490208 490274 490274 490314 490281 490296 489758 490232 489649 490314 490311 1 490313 490312 489876 490314 490310 489973 490311 490314 490314 490310 489842 490039 490308 490286 490313 1 489885 490310 490314 490312 490314 490314 490314 490122 489902 490313 490269 490313 490298 490311 489844 1 490127 490313 489914 490295 490314 490314 489764 490314 490312 490236 490060 490313 490296 490266 490297 1 490312 490204 490313 490308 490014 490304 490313 490167 490312 490300 490206 489643 490313 490310 490116 1 490138 490312 490313 489666 490313 490298 490312 490306 490313 490084 489990 490307 490158 490312 490313 1 490312 490288 490314 490314 490047 490314 490272 490314 490046 490313 490269 490146 490313 490094 489779 1 490305 489635 490314 490297 490314 490265 490313 490296 490313 490278 489737 490201 490313 490281 490273 1 489986 490314 490273 490305 490037 490314 490306 490312 490275 490312 490135 490305 489661 490314 490286 1 490202 490111 490314 489785 490307 490314 490272 490314 490304 490314 490236 490313 490313 489873 490163 1 490312 490312 490305 490314 490313 490051 490314 489837 490314 490258 490089 489822 490271 490314 490309 1 489894 490311 489990 490314 490314 490314 490314 490290 490314 489717 490191 490313 490306 490240 490313 1 490313 490310 490314 490312 490254 490282 489877 490313 490246 490313 490269 490024 490288 490313 489707 1 490313 490266 490314 490314 490250 490314 490260 490314 490314 490310 489714 490224 489750 490165 490313 1 489913 490312 490273 490312 490314 490255 490314 489794 490296 490313 490269 490303 490312 490312 489843 1 490312 490314 489758 490314 490312 490309 490312 490314 490220 490305 490233 490203 490114 490314 489801 1 490187 489870 490314 490289 490304 490312 490313 489683 490313 490266 490112 490290 490313 490265 490304 1 490313 490311 490313 490312 490213 490230 490314 490314 490275 489741 490269 489720 490296 490313 490201 1 489927 490282 490219 490314 490314 490313 489698 490289 490313 490313 489981 490313 490282 490265 490312 1 490154 490312 490040 490266 489793 490314 490297 490280 490314 490314 489887 490281 490314 490278 490291 1 490305 490312 490312 490310 490314 490156 490311 490313 490290 489763 490233 490231 489741 490276 490268 1 490297 490025 490313 490313 489705 490305 490313 490265 490297 490297 489905 490209 490289 490289 490313 1 490087 490314 490278 490287 490314 490314 489864 490314 490295 490263 490269 490289 490273 490314 489660 1 490313 490142 490314 490298 489934 490280 490314 490313 490284 490016 490233 489767 490309 490313 490305 1 490121 490313 490311 490314 490314 490314 489920 490314 490314 490314 490084 490313 490310 489972 489907 1 490233 490279 490293 489892 490314 490314 490314 490018 490312 490310 490080 490305 489845 490313 490313 1 489937 490312 490314 490314 490310 490314 490314 490314 490082 490303 490269 489853 490314 489996 490189 1 489720 490314 490312 490313 490289 490288 490179 490314 490310 489693 490233 490287 490289 490290 490304 1 490305 489641 490297 490296 490313 490305 490313 490249 490313 490314 489751 490231 490304 490289 490214 1 490233 489983 490313 490312 490305 490307 490276 490295 490119 490313 490135 490305 489640 490313 490286 1 490305 490312 490163 490313 490314 490314 490314 490314 490314 489810 490206 490011 490314 489831 490300 1 490285 490314 490313 490292 490311 490312 489904 490313 489926 490313 490160 489810 490280 490313 490289 1 490233 489945 489999 490314 490313 490305 490314 490309 490314 489721 490230 490305 490311 490301 490221 1 490312 490313 490313 490314 490307 490310 489949 490314 490314 490314 489967 490032 490251 490313 489812 1 489771 490252 490242 490314 490314 490314 490314 490214 490308 489687 490233 490313 490313 490241 490305 1 490111 490314 490314 490303 489836 490305 490305 490305 490312 490313 490203 490266 490263 489696 490289 1 490305 489832 490307 490314 490314 490313 489808 490253 490253 490310 490026 490230 490313 490313 490244 1 490198 490314 490283 490299 490303 490314 490314 490113 490314 490274 489819 490305 489659 490314 490312 1 490309 490233 490314 490312 490314 489828 490307 490314 490296 490313 490261 490118 490314 489771 490131 1 490146 490312 489722 490275 490314 490314 490314 490250 490314 489872 490160 490313 490203 490314 490312 1 490312 490312 490314 490314 490313 490261 490062 490314 490009 490314 490268 490097 490313 489758 490174 1 489844 490314 490312 490265 490314 490273 490259 489702 490313 490314 490059 490256 490287 490312 490311 1 490305 489947 490312 490314 489848 490314 490314 490314 490253 489885 490233 490233 490311 490270 490282 1 490313 490289 490314 490314 489719 490310 490314 490263 490313 490309 489865 490025 490259 490215 490313 1 490143 490313 489759 490303 490314 490313 490253 490314 489858 490266 490269 490296 490313 490305 490116 1 489877 490314 490314 490314 490312 490239 490313 489725 490305 490313 490269 490253 490312 490283 489992 1 490305 489977 490258 489875 490312 490314 490311 490314 490314 490288 489767 490233 490246 490310 490311 1 490305 490015 489926 490298 490313 490314 490309 490314 490292 489716 490233 490186 490305 490304 490305 1 490110 490313 490314 490314 490244 489921 490311 490280 490314 490314 490198 490290 490264 490310 489638 1 490036 490268 490314 490314 489638 490310 490301 490283 490314 490310 490087 490305 490305 490303 490047 1 490313 490313 489868 490266 490314 490314 490314 490314 489755 490305 490161 490116 490173 490304 490305 1 490036 490314 490314 490309 490314 490298 490314 490279 490314 490313 489808 490312 490181 489724 490305 1 490312 490256 490308 490314 490028 490314 489974 490314 490082 490200 490269 489911 490314 490314 490225 1 489875 490257 490314 490278 490313 490313 489766 490313 490314 490314 489910 490244 490312 490310 490302 1 490297 490313 489741 490313 490308 490289 490314 490305 489882 490112 490233 490161 490289 490274 490304 1 489849 490313 490278 490233 490314 490314 490314 489825 490129 490197 490269 490313 490313 490242 490232 1 490313 490259 490313 490312 490251 490265 490297 490313 490313 490312 489641 489693 490259 490313 490281 1 490232 489842 490308 490306 490028 490314 490314 490314 490314 489846 490233 490305 490314 490160 490305 1 490289 490314 490312 490314 490314 490255 490314 490220 489833 490314 490104 490224 489718 490314 490296 1 490305 490305 490130 490314 490314 490312 490310 490312 490314 489653 490216 489827 490263 490247 490313 1 489988 490310 490314 490312 489855 490274 490313 490259 489967 490313 490268 490313 490311 490313 490025 1 490232 489819 490212 490314 490314 490295 490272 490312 489755 490305 490261 490304 490314 490314 490112 1 490249 490314 490314 490081 490291 490312 490313 490312 490314 490300 489931 490167 490295 489637 490305 1 490289 489963 490313 490267 490313 489725 490314 490313 490314 490313 490067 490216 490313 490312 490103 1 490217 490314 490271 490314 490305 490314 489856 490288 490297 490106 490233 490282 489729 490304 490305 1 490301 490313 490312 490248 489853 490314 490314 490314 489967 490313 490160 489865 490294 490254 490313 1 490134 490198 490311 490313 490314 490312 490256 489924 490314 490220 490253 490312 490307 490313 489654 1 490150 489893 490314 490313 490314 490309 490314 490302 490309 490314 489723 489949 490314 490313 490304 1 490232 490314 490312 490314 490290 490314 489862 490314 490314 490088 490233 490305 489948 489990 490305 1 490093 490313 490312 489786 490313 490314 490314 490314 489966 490310 490040 490313 490313 490133 490301 1 490305 489856 490309 490314 490305 490273 490289 490280 490314 490295 490261 489820 490074 490314 490126 1 490305 490312 490312 490313 490314 490311 490181 490274 489870 490314 490259 490233 489757 490311 490069 1 489873 490292 490314 490250 490292 490314 490314 490312 490314 490131 490223 489753 490314 490126 490313 1 490311 490312 490246 490028 490308 490314 490314 489935 490312 490302 490197 490130 490314 489807 490305 1 490231 490307 490314 490314 490312 490311 490029 490314 490314 489948 490249 490303 489717 490314 490158 1 490233 490299 490313 489810 490296 490314 490314 490312 490305 490314 490013 490305 489790 490313 490204 1 490270 490312 490300 490314 490313 490021 489948 490313 490314 490003 490233 489871 490314 490306 490303 1 490225 490081 489970 490314 490314 490309 490314 490314 490314 490312 490264 490295 489809 490314 489986 1 490296 490312 490313 489896 490312 490312 490305 490231 490282 490251 490189 490154 490314 489656 490312 1 490312 490314 490313 489966 490288 490314 490314 490309 490087 490205 490225 490099 490304 489772 490313 1 490229 489745 490308 490314 490314 490299 490020 490314 490314 490314 490154 490305 490308 490314 489883 1 490050 490313 490313 489672 490289 490289 490297 490313 490305 490313 489825 490312 490297 490297 490250 1 490313 489960 490011 490314 490314 490314 490314 490314 490314 490132 490233 490179 490307 489811 490305 1 490297 490305 490314 490296 490313 489803 490311 490312 490314 490313 490199 490216 489724 490288 490130 1 490166 490297 489695 490313 490310 490314 490314 490308 490069 489949 490228 490285 490313 490311 490263 1 490311 490312 490310 490260 490294 490314 490309 490297 490313 490304 489707 489960 490313 489834 490297 1 490165 490263 490303 490313 490311 489826 490305 490313 490297 490280 490269 490313 489741 490314 490122 1 490148 490305 490314 490314 489763 490314 490314 490314 490314 490189 489948 490313 489973 490313 490299 1 490313 490312 490267 490141 490314 489899 490314 490314 489945 490314 490246 489963 490313 490296 490184 1 490313 490313 490306 490092 490313 490299 490273 489829 490306 490313 490268 489827 490313 490312 490058 1 490152 489820 490314 490314 490312 490314 490314 490314 490314 490025 490180 490313 489839 490297 490313 1 490018 490297 490314 490303 489861 490314 490029 490310 490314 490314 490267 490294 490314 490055 490131 1 490296 490295 490296 490305 490314 489704 490314 490314 490310 490177 490038 490225 489934 490313 490300 1 489854 490313 490313 490313 490304 490314 490211 490272 490314 490207 490146 490301 489650 490313 490310 1 490305 489941 490259 490310 490313 489907 490314 490314 489956 490314 490268 490232 490314 490238 490150 1 490043 490300 490314 490309 490294 489989 490116 490299 490312 490313 490268 490295 490314 490313 489656 1 490305 490312 489886 490314 490314 490314 490314 490314 490314 489865 490201 490233 489917 490219 490313 1 490308 490312 490313 490201 489887 490248 490313 490313 489874 490313 490183 489982 490312 490309 490267 1 490141 490304 489668 490314 490314 490314 490314 490288 490314 490014 490006 490313 490313 490300 490218 1 490305 490314 490314 490314 490254 490314 489798 490314 490297 490052 490269 490196 489902 490314 490178 1 490225 490058 490311 489752 490314 490313 490314 490234 490313 490312 489817 490274 490296 490290 490312 1 490304 490310 490287 490314 490314 490073 490314 490314 490227 489875 490233 490232 489724 490309 490305 1 490082 490296 490313 489869 490311 490314 489982 490201 490314 490314 490259 490312 490314 490292 489962 1 490282 490302 489725 490289 490305 490287 490312 490305 490288 490313 490259 490129 490313 490313 489713 1 490229 490303 490314 490314 490251 490314 489977 490312 490314 489892 490225 490295 489787 490295 490313 1 490312 490262 489879 490314 490314 490314 490178 489859 490305 490305 490261 490119 490314 490302 490097 1 490162 490314 490314 490162 489856 490307 490314 490314 490311 490310 489829 490311 490010 490311 490310 1 490305 489819 490313 490204 490136 490311 490297 490313 490313 490313 490265 490209 490312 490313 489712 1 489783 490314 490263 490314 490314 490314 490314 490304 490305 490210 490094 490305 489696 490292 490313 1 490305 490112 490313 490301 489821 490314 490314 490314 490279 490314 490154 490230 490314 489804 490246 1 489794 490314 490303 490312 490314 490295 490216 490239 490314 490104 490230 490310 489779 490314 490297 1 490231 489932 490314 489895 490314 490314 490310 490250 490313 490314 489782 490305 490247 490308 490306 1 490310 490314 490207 490314 489744 490303 490314 490314 490279 489891 490233 490038 490282 490296 490296 1 489917 490311 490314 490314 490274 490314 490314 489812 490313 490305 490197 490263 490298 489884 490305 1 490313 490151 490285 490309 490313 490285 490313 490314 490304 489940 490140 490174 490305 490314 489675 1 490233 489745 490314 490314 490314 490281 490314 490305 489745 490288 490138 490305 490304 490263 490272 1 490296 490314 490273 490289 490297 490305 489679 490313 490313 490313 490061 489833 490304 490313 490232 1 490313 490312 489685 490314 490308 490270 490302 490314 490314 490279 490174 490113 490313 490296 489828 1 490035 490308 490314 490255 490314 490314 490314 490278 489729 490305 490153 490313 489885 490305 490313 barycenter is 490209 i7 : print toString oo; (true,{{490217, 489757, 490289, 490305, 490305, 490297, 490313, 490264, 490314, 490297, 490261, 490281, 490313, 489718, 490204}, {490302, 490313, 490313, 490296, 490208, 490274, 490274, 490314, 490281, 490296, 489758, 490232, 489649, 490314, 490311}, {490313, 490312, 489876, 490314, 490310, 489973, 490311, 490314, 490314, 490310, 489842, 490039, 490308, 490286, 490313}, {489885, 490310, 490314, 490312, 490314, 490314, 490314, 490122, 489902, 490313, 490269, 490313, 490298, 490311, 489844}, {490127, 490313, 489914, 490295, 490314, 490314, 489764, 490314, 490312, 490236, 490060, 490313, 490296, 490266, 490297}, {490312, 490204, 490313, 490308, 490014, 490304, 490313, 490167, 490312, 490300, 490206, 489643, 490313, 490310, 490116}, {490138, 490312, 490313, 489666, 490313, 490298, 490312, 490306, 490313, 490084, 489990, 490307, 490158, 490312, 490313}, {490312, 490288, 490314, 490314, 490047, 490314, 490272, 490314, 490046, 490313, 490269, 490146, 490313, 490094, 489779}, {490305, 489635, 490314, 490297, 490314, 490265, 490313, 490296, 490313, 490278, 489737, 490201, 490313, 490281, 490273}, {489986, 490314, 490273, 490305, 490037, 490314, 490306, 490312, 490275, 490312, 490135, 490305, 489661, 490314, 490286}, {490202, 490111, 490314, 489785, 490307, 490314, 490272, 490314, 490304, 490314, 490236, 490313, 490313, 489873, 490163}, {490312, 490312, 490305, 490314, 490313, 490051, 490314, 489837, 490314, 490258, 490089, 489822, 490271, 490314, 490309}, {489894, 490311, 489990, 490314, 490314, 490314, 490314, 490290, 490314, 489717, 490191, 490313, 490306, 490240, 490313}, {490313, 490310, 490314, 490312, 490254, 490282, 489877, 490313, 490246, 490313, 490269, 490024, 490288, 490313, 489707}, {490313, 490266, 490314, 490314, 490250, 490314, 490260, 490314, 490314, 490310, 489714, 490224, 489750, 490165, 490313}, {489913, 490312, 490273, 490312, 490314, 490255, 490314, 489794, 490296, 490313, 490269, 490303, 490312, 490312, 489843}, {490312, 490314, 489758, 490314, 490312, 490309, 490312, 490314, 490220, 490305, 490233, 490203, 490114, 490314, 489801}, {490187, 489870, 490314, 490289, 490304, 490312, 490313, 489683, 490313, 490266, 490112, 490290, 490313, 490265, 490304}, {490313, 490311, 490313, 490312, 490213, 490230, 490314, 490314, 490275, 489741, 490269, 489720, 490296, 490313, 490201}, {489927, 490282, 490219, 490314, 490314, 490313, 489698, 490289, 490313, 490313, 489981, 490313, 490282, 490265, 490312}, {490154, 490312, 490040, 490266, 489793, 490314, 490297, 490280, 490314, 490314, 489887, 490281, 490314, 490278, 490291}, {490305, 490312, 490312, 490310, 490314, 490156, 490311, 490313, 490290, 489763, 490233, 490231, 489741, 490276, 490268}, {490297, 490025, 490313, 490313, 489705, 490305, 490313, 490265, 490297, 490297, 489905, 490209, 490289, 490289, 490313}, {490087, 490314, 490278, 490287, 490314, 490314, 489864, 490314, 490295, 490263, 490269, 490289, 490273, 490314, 489660}, {490313, 490142, 490314, 490298, 489934, 490280, 490314, 490313, 490284, 490016, 490233, 489767, 490309, 490313, 490305}, {490121, 490313, 490311, 490314, 490314, 490314, 489920, 490314, 490314, 490314, 490084, 490313, 490310, 489972, 489907}, {490233, 490279, 490293, 489892, 490314, 490314, 490314, 490018, 490312, 490310, 490080, 490305, 489845, 490313, 490313}, {489937, 490312, 490314, 490314, 490310, 490314, 490314, 490314, 490082, 490303, 490269, 489853, 490314, 489996, 490189}, {489720, 490314, 490312, 490313, 490289, 490288, 490179, 490314, 490310, 489693, 490233, 490287, 490289, 490290, 490304}, {490305, 489641, 490297, 490296, 490313, 490305, 490313, 490249, 490313, 490314, 489751, 490231, 490304, 490289, 490214}, {490233, 489983, 490313, 490312, 490305, 490307, 490276, 490295, 490119, 490313, 490135, 490305, 489640, 490313, 490286}, {490305, 490312, 490163, 490313, 490314, 490314, 490314, 490314, 490314, 489810, 490206, 490011, 490314, 489831, 490300}, {490285, 490314, 490313, 490292, 490311, 490312, 489904, 490313, 489926, 490313, 490160, 489810, 490280, 490313, 490289}, {490233, 489945, 489999, 490314, 490313, 490305, 490314, 490309, 490314, 489721, 490230, 490305, 490311, 490301, 490221}, {490312, 490313, 490313, 490314, 490307, 490310, 489949, 490314, 490314, 490314, 489967, 490032, 490251, 490313, 489812}, {489771, 490252, 490242, 490314, 490314, 490314, 490314, 490214, 490308, 489687, 490233, 490313, 490313, 490241, 490305}, {490111, 490314, 490314, 490303, 489836, 490305, 490305, 490305, 490312, 490313, 490203, 490266, 490263, 489696, 490289}, {490305, 489832, 490307, 490314, 490314, 490313, 489808, 490253, 490253, 490310, 490026, 490230, 490313, 490313, 490244}, {490198, 490314, 490283, 490299, 490303, 490314, 490314, 490113, 490314, 490274, 489819, 490305, 489659, 490314, 490312}, {490309, 490233, 490314, 490312, 490314, 489828, 490307, 490314, 490296, 490313, 490261, 490118, 490314, 489771, 490131}, {490146, 490312, 489722, 490275, 490314, 490314, 490314, 490250, 490314, 489872, 490160, 490313, 490203, 490314, 490312}, {490312, 490312, 490314, 490314, 490313, 490261, 490062, 490314, 490009, 490314, 490268, 490097, 490313, 489758, 490174}, {489844, 490314, 490312, 490265, 490314, 490273, 490259, 489702, 490313, 490314, 490059, 490256, 490287, 490312, 490311}, {490305, 489947, 490312, 490314, 489848, 490314, 490314, 490314, 490253, 489885, 490233, 490233, 490311, 490270, 490282}, {490313, 490289, 490314, 490314, 489719, 490310, 490314, 490263, 490313, 490309, 489865, 490025, 490259, 490215, 490313}, {490143, 490313, 489759, 490303, 490314, 490313, 490253, 490314, 489858, 490266, 490269, 490296, 490313, 490305, 490116}, {489877, 490314, 490314, 490314, 490312, 490239, 490313, 489725, 490305, 490313, 490269, 490253, 490312, 490283, 489992}, {490305, 489977, 490258, 489875, 490312, 490314, 490311, 490314, 490314, 490288, 489767, 490233, 490246, 490310, 490311}, {490305, 490015, 489926, 490298, 490313, 490314, 490309, 490314, 490292, 489716, 490233, 490186, 490305, 490304, 490305}, {490110, 490313, 490314, 490314, 490244, 489921, 490311, 490280, 490314, 490314, 490198, 490290, 490264, 490310, 489638}, {490036, 490268, 490314, 490314, 489638, 490310, 490301, 490283, 490314, 490310, 490087, 490305, 490305, 490303, 490047}, {490313, 490313, 489868, 490266, 490314, 490314, 490314, 490314, 489755, 490305, 490161, 490116, 490173, 490304, 490305}, {490036, 490314, 490314, 490309, 490314, 490298, 490314, 490279, 490314, 490313, 489808, 490312, 490181, 489724, 490305}, {490312, 490256, 490308, 490314, 490028, 490314, 489974, 490314, 490082, 490200, 490269, 489911, 490314, 490314, 490225}, {489875, 490257, 490314, 490278, 490313, 490313, 489766, 490313, 490314, 490314, 489910, 490244, 490312, 490310, 490302}, {490297, 490313, 489741, 490313, 490308, 490289, 490314, 490305, 489882, 490112, 490233, 490161, 490289, 490274, 490304}, {489849, 490313, 490278, 490233, 490314, 490314, 490314, 489825, 490129, 490197, 490269, 490313, 490313, 490242, 490232}, {490313, 490259, 490313, 490312, 490251, 490265, 490297, 490313, 490313, 490312, 489641, 489693, 490259, 490313, 490281}, {490232, 489842, 490308, 490306, 490028, 490314, 490314, 490314, 490314, 489846, 490233, 490305, 490314, 490160, 490305}, {490289, 490314, 490312, 490314, 490314, 490255, 490314, 490220, 489833, 490314, 490104, 490224, 489718, 490314, 490296}, {490305, 490305, 490130, 490314, 490314, 490312, 490310, 490312, 490314, 489653, 490216, 489827, 490263, 490247, 490313}, {489988, 490310, 490314, 490312, 489855, 490274, 490313, 490259, 489967, 490313, 490268, 490313, 490311, 490313, 490025}, {490232, 489819, 490212, 490314, 490314, 490295, 490272, 490312, 489755, 490305, 490261, 490304, 490314, 490314, 490112}, {490249, 490314, 490314, 490081, 490291, 490312, 490313, 490312, 490314, 490300, 489931, 490167, 490295, 489637, 490305}, {490289, 489963, 490313, 490267, 490313, 489725, 490314, 490313, 490314, 490313, 490067, 490216, 490313, 490312, 490103}, {490217, 490314, 490271, 490314, 490305, 490314, 489856, 490288, 490297, 490106, 490233, 490282, 489729, 490304, 490305}, {490301, 490313, 490312, 490248, 489853, 490314, 490314, 490314, 489967, 490313, 490160, 489865, 490294, 490254, 490313}, {490134, 490198, 490311, 490313, 490314, 490312, 490256, 489924, 490314, 490220, 490253, 490312, 490307, 490313, 489654}, {490150, 489893, 490314, 490313, 490314, 490309, 490314, 490302, 490309, 490314, 489723, 489949, 490314, 490313, 490304}, {490232, 490314, 490312, 490314, 490290, 490314, 489862, 490314, 490314, 490088, 490233, 490305, 489948, 489990, 490305}, {490093, 490313, 490312, 489786, 490313, 490314, 490314, 490314, 489966, 490310, 490040, 490313, 490313, 490133, 490301}, {490305, 489856, 490309, 490314, 490305, 490273, 490289, 490280, 490314, 490295, 490261, 489820, 490074, 490314, 490126}, {490305, 490312, 490312, 490313, 490314, 490311, 490181, 490274, 489870, 490314, 490259, 490233, 489757, 490311, 490069}, {489873, 490292, 490314, 490250, 490292, 490314, 490314, 490312, 490314, 490131, 490223, 489753, 490314, 490126, 490313}, {490311, 490312, 490246, 490028, 490308, 490314, 490314, 489935, 490312, 490302, 490197, 490130, 490314, 489807, 490305}, {490231, 490307, 490314, 490314, 490312, 490311, 490029, 490314, 490314, 489948, 490249, 490303, 489717, 490314, 490158}, {490233, 490299, 490313, 489810, 490296, 490314, 490314, 490312, 490305, 490314, 490013, 490305, 489790, 490313, 490204}, {490270, 490312, 490300, 490314, 490313, 490021, 489948, 490313, 490314, 490003, 490233, 489871, 490314, 490306, 490303}, {490225, 490081, 489970, 490314, 490314, 490309, 490314, 490314, 490314, 490312, 490264, 490295, 489809, 490314, 489986}, {490296, 490312, 490313, 489896, 490312, 490312, 490305, 490231, 490282, 490251, 490189, 490154, 490314, 489656, 490312}, {490312, 490314, 490313, 489966, 490288, 490314, 490314, 490309, 490087, 490205, 490225, 490099, 490304, 489772, 490313}, {490229, 489745, 490308, 490314, 490314, 490299, 490020, 490314, 490314, 490314, 490154, 490305, 490308, 490314, 489883}, {490050, 490313, 490313, 489672, 490289, 490289, 490297, 490313, 490305, 490313, 489825, 490312, 490297, 490297, 490250}, {490313, 489960, 490011, 490314, 490314, 490314, 490314, 490314, 490314, 490132, 490233, 490179, 490307, 489811, 490305}, {490297, 490305, 490314, 490296, 490313, 489803, 490311, 490312, 490314, 490313, 490199, 490216, 489724, 490288, 490130}, {490166, 490297, 489695, 490313, 490310, 490314, 490314, 490308, 490069, 489949, 490228, 490285, 490313, 490311, 490263}, {490311, 490312, 490310, 490260, 490294, 490314, 490309, 490297, 490313, 490304, 489707, 489960, 490313, 489834, 490297}, {490165, 490263, 490303, 490313, 490311, 489826, 490305, 490313, 490297, 490280, 490269, 490313, 489741, 490314, 490122}, {490148, 490305, 490314, 490314, 489763, 490314, 490314, 490314, 490314, 490189, 489948, 490313, 489973, 490313, 490299}, {490313, 490312, 490267, 490141, 490314, 489899, 490314, 490314, 489945, 490314, 490246, 489963, 490313, 490296, 490184}, {490313, 490313, 490306, 490092, 490313, 490299, 490273, 489829, 490306, 490313, 490268, 489827, 490313, 490312, 490058}, {490152, 489820, 490314, 490314, 490312, 490314, 490314, 490314, 490314, 490025, 490180, 490313, 489839, 490297, 490313}, {490018, 490297, 490314, 490303, 489861, 490314, 490029, 490310, 490314, 490314, 490267, 490294, 490314, 490055, 490131}, {490296, 490295, 490296, 490305, 490314, 489704, 490314, 490314, 490310, 490177, 490038, 490225, 489934, 490313, 490300}, {489854, 490313, 490313, 490313, 490304, 490314, 490211, 490272, 490314, 490207, 490146, 490301, 489650, 490313, 490310}, {490305, 489941, 490259, 490310, 490313, 489907, 490314, 490314, 489956, 490314, 490268, 490232, 490314, 490238, 490150}, {490043, 490300, 490314, 490309, 490294, 489989, 490116, 490299, 490312, 490313, 490268, 490295, 490314, 490313, 489656}, {490305, 490312, 489886, 490314, 490314, 490314, 490314, 490314, 490314, 489865, 490201, 490233, 489917, 490219, 490313}, {490308, 490312, 490313, 490201, 489887, 490248, 490313, 490313, 489874, 490313, 490183, 489982, 490312, 490309, 490267}, {490141, 490304, 489668, 490314, 490314, 490314, 490314, 490288, 490314, 490014, 490006, 490313, 490313, 490300, 490218}, {490305, 490314, 490314, 490314, 490254, 490314, 489798, 490314, 490297, 490052, 490269, 490196, 489902, 490314, 490178}, {490225, 490058, 490311, 489752, 490314, 490313, 490314, 490234, 490313, 490312, 489817, 490274, 490296, 490290, 490312}, {490304, 490310, 490287, 490314, 490314, 490073, 490314, 490314, 490227, 489875, 490233, 490232, 489724, 490309, 490305}, {490082, 490296, 490313, 489869, 490311, 490314, 489982, 490201, 490314, 490314, 490259, 490312, 490314, 490292, 489962}, {490282, 490302, 489725, 490289, 490305, 490287, 490312, 490305, 490288, 490313, 490259, 490129, 490313, 490313, 489713}, {490229, 490303, 490314, 490314, 490251, 490314, 489977, 490312, 490314, 489892, 490225, 490295, 489787, 490295, 490313}, {490312, 490262, 489879, 490314, 490314, 490314, 490178, 489859, 490305, 490305, 490261, 490119, 490314, 490302, 490097}, {490162, 490314, 490314, 490162, 489856, 490307, 490314, 490314, 490311, 490310, 489829, 490311, 490010, 490311, 490310}, {490305, 489819, 490313, 490204, 490136, 490311, 490297, 490313, 490313, 490313, 490265, 490209, 490312, 490313, 489712}, {489783, 490314, 490263, 490314, 490314, 490314, 490314, 490304, 490305, 490210, 490094, 490305, 489696, 490292, 490313}, {490305, 490112, 490313, 490301, 489821, 490314, 490314, 490314, 490279, 490314, 490154, 490230, 490314, 489804, 490246}, {489794, 490314, 490303, 490312, 490314, 490295, 490216, 490239, 490314, 490104, 490230, 490310, 489779, 490314, 490297}, {490231, 489932, 490314, 489895, 490314, 490314, 490310, 490250, 490313, 490314, 489782, 490305, 490247, 490308, 490306}, {490310, 490314, 490207, 490314, 489744, 490303, 490314, 490314, 490279, 489891, 490233, 490038, 490282, 490296, 490296}, {489917, 490311, 490314, 490314, 490274, 490314, 490314, 489812, 490313, 490305, 490197, 490263, 490298, 489884, 490305}, {490313, 490151, 490285, 490309, 490313, 490285, 490313, 490314, 490304, 489940, 490140, 490174, 490305, 490314, 489675}, {490233, 489745, 490314, 490314, 490314, 490281, 490314, 490305, 489745, 490288, 490138, 490305, 490304, 490263, 490272}, {490296, 490314, 490273, 490289, 490297, 490305, 489679, 490313, 490313, 490313, 490061, 489833, 490304, 490313, 490232}, {490313, 490312, 489685, 490314, 490308, 490270, 490302, 490314, 490314, 490279, 490174, 490113, 490313, 490296, 489828}, {490035, 490308, 490314, 490255, 490314, 490314, 490314, 490278, 489729, 490305, 490153, 490313, 489885, 490305, 490313}},{{6, -19, 2, 16, 32, 25, 31, 1, 36, 25, 50, 12, 38, -27, 5}, {-6, 19, -2, -16, -32, -25, -31, -1, -36, -25, -50, -12, -38, 27, -5}, {37, 3, -48, -3, -15, -49, -5, 40, 45, -6, -42, -35, 7, -20, 41}, {-37, -3, 48, 3, 15, 49, 5, -40, -45, 6, 42, 35, -7, 20, -41}, {-31, 9, -40, -28, 17, -19, -50, 11, -26, -40, -42, 46, -19, -31, -24}, {31, -9, 40, 28, -17, 19, 50, -11, 26, 40, 42, -46, 19, 31, 24}, {3, 18, 12, -40, 33, -11, 28, 0, 33, -11, -11, 27, -6, 42, 48}, {-3, -18, -12, 40, -33, 11, -28, 0, -33, 11, 11, -27, 6, -42, -48}, {32, -38, 18, -1, 28, -26, 9, -7, 16, -16, -32, -8, 35, -9, -23}, {-32, 38, -18, 1, -28, 26, -9, 7, -16, 16, 32, 8, -35, 9, 23}, {-26, -37, -8, -47, -31, 46, -19, 49, -2, 21, 8, 49, 24, -13, 0}, {26, 37, 8, 47, 31, -46, 19, -49, 2, -21, -8, -49, -24, 13, 0}, {-16, 12, -22, 6, 28, 16, 41, -12, 29, -37, -14, 36, 20, -11, 50}, {16, -12, 22, -6, -28, -16, -41, 12, -29, 37, 14, -36, -20, 11, -50}, {25, -26, 19, 14, -28, 24, -31, 33, 7, -20, -39, -12, -29, -28, 28}, {-25, 26, -19, -14, 28, -24, 31, -33, -7, 20, 39, 12, 29, 28, -28}, {25, 49, -50, 6, 2, -11, -6, 49, -37, -9, -31, -12, -34, -3, -50}, {-25, -49, 50, -6, -2, 11, 6, -49, 37, 9, 31, 12, 34, 3, 50}, {21, 6, 29, 6, -23, -22, 46, 24, -25, -50, 40, -28, 1, 20, -7}, {-21, -6, -29, -6, 23, 22, -46, -24, 25, 50, -40, 28, -1, -20, 7}, {-43, -23, -49, -40, -47, 16, -22, -26, 1, 35, -9, -15, 20, -13, -4}, {43, 23, 49, 40, 47, -16, 22, 26, -1, -35, 9, 15, -20, 13, 4}, {27, -31, 26, 30, -47, 8, 46, -28, 18, 35, -16, 19, 25, 4, 45}, {-27, 31, -26, -30, 47, -8, -46, 28, -18, -35, 16, -19, -25, -4, -45}, {16, -43, 2, -30, -45, -34, 30, 0, -20, -31, 28, -48, -13, 32, 33}, {-16, 43, -2, 30, 45, 34, -30, 0, 20, 31, -28, 48, 13, -32, -33}, {46, -8, -16, -34, 31, 20, 14, -28, 44, 22, -8, 48, -27, 47, 25}, {-46, 8, 16, 34, -31, -20, -14, 28, -44, -22, 8, -48, 27, -47, -25}, {-41, 42, -8, 8, -19, -21, -36, 17, -16, -36, 30, -5, -7, 2, 19}, {41, -42, 8, -8, 19, 21, 36, -17, 16, 36, -30, 5, 7, -2, -19}, {35, -7, 44, 29, 15, 13, 5, 1, -5, 47, 37, 44, -37, 48, 35}, {-35, 7, -44, -29, -15, -13, -5, -1, 5, -47, -37, -44, 37, -48, -35}, {-8, 40, 44, -22, 9, 19, -45, 2, -38, 50, 22, -41, -7, 28, 35}, {8, -40, -44, 22, -9, -19, 45, -2, 38, -50, -22, 41, 7, -28, -35}, {14, 15, 18, 3, -13, -8, -46, 37, 26, 47, -47, -24, -14, 15, -41}, {-14, -15, -18, -3, 13, 8, 46, -37, -26, -47, 47, 24, 14, -15, 41}, {-7, 41, 17, -14, -32, 8, 43, 35, 40, 29, 38, -3, -15, -30, 18}, {7, -41, -17, 14, 32, -8, -43, -35, -40, -29, -38, 3, 15, 30, -18}, {-23, 16, -16, -22, -27, 41, 10, -37, 0, -29, -41, 28, -41, 41, 17}, {23, -16, 16, 22, 27, -41, -10, 37, 0, 29, 41, -28, 41, -41, -17}, {-43, -22, -47, -38, 28, 35, 43, -24, 47, -23, -15, 27, -23, 39, 14}, {43, 22, 47, 38, -28, -35, -43, 24, -47, 23, 15, -27, 23, -39, -14}, {-40, 32, -3, -25, 47, -22, -16, -25, 38, 50, -10, -17, -11, 21, 13}, {40, -32, 3, 25, -47, 22, 16, 25, -38, -50, 10, 17, 11, -21, -13}, {33, -8, 42, 16, -35, -1, 23, -37, 20, -4, -47, -6, -9, -15, 1}, {-33, 8, -42, -16, 35, 1, -23, 37, -20, 4, 47, 6, 9, 15, -1}, {-16, 44, 36, 48, 8, -31, 3, -48, 4, 33, 46, -9, 14, -12, -25}, {16, -44, -36, -48, -8, 31, -3, 48, -4, -33, -46, 9, -14, 12, 25}, {-16, -34, -41, -19, 10, 27, -6, 15, -31, -46, 21, -17, 1, 8, 44}, {16, 34, 41, 19, -10, -27, 6, -15, 31, 46, -21, 17, -1, -8, -44}, {-10, -1, 47, 39, -45, -2, -9, -8, 50, 20, 12, 39, 42, 18, 8}, {10, 1, -47, -39, 45, 2, 9, 8, -50, -20, -12, -39, -42, -18, -8}, {-20, 40, 28, -8, 50, -1, 49, -12, 47, 35, -24, 43, -30, -41, 14}, {20, -40, -28, 8, -50, 1, -49, 12, -47, -35, 24, -43, 30, 41, -14}, {-35, -19, 49, -27, 17, 14, -49, 2, 46, 33, -46, -26, 0, 9, -12}, {35, 19, -49, 27, -17, -14, 49, -2, -46, -33, 46, 26, 0, -9, 12}, {-39, 16, -31, -32, 21, 9, -4, -47, -43, -36, 48, 38, 20, -20, 1}, {39, -16, 31, 32, -21, -9, 4, 47, 43, 36, -48, -38, -20, 20, -1}, {-1, -35, -9, -17, -29, 26, 19, 39, 47, -21, 34, 21, 36, -18, 21}, {1, 35, 9, 17, 29, -26, -19, -39, -47, 21, -34, -21, -36, 18, -21}, {23, 8, -19, 6, 30, 26, 13, 27, 36, -41, -18, -22, -7, -11, 25}, {-23, -8, 19, -6, -30, -26, -13, -27, -36, 41, 18, 22, 7, 11, -25}, {5, -32, -28, 6, -1, -17, -29, -10, -41, -8, 7, 15, 21, 44, -19}, {-5, 32, 28, -6, 1, 17, 29, 10, 41, 8, -7, -15, -21, -44, 19}, {14, -24, 24, -28, 7, -48, 45, 27, 19, 16, -24, 10, 36, 8, -22}, {-14, 24, -24, 28, -7, 48, -45, -27, -19, -16, 24, -10, -36, -8, 22}, {-23, -1, -17, -40, -50, -3, 25, 44, -36, 31, 5, -44, -18, -18, 44}, {23, 1, 17, 40, 50, 3, -25, -44, 36, -31, -5, 44, 18, 18, -44}, {-39, -43, 21, -20, 39, -4, 50, -20, -2, 44, -44, -41, 48, 47, -3}, {39, 43, -21, 20, -39, 4, -50, 20, 2, -44, 44, 41, -48, -47, 3}, {-15, 45, 17, -39, -3, 16, 5, -3, -40, -14, -35, 46, 28, -29, -12}, {15, -45, -17, 39, 3, -16, -5, 3, 40, 14, 35, -46, -28, 29, 12}, {49, 38, 9, 31, 21, 10, -40, 1, -48, 21, 0, 47, -28, 30, -31}, {-49, -38, -9, -31, -21, -10, 40, -1, 48, -21, 0, -47, 28, -30, 31}, {4, 6, -36, -43, -23, -7, 39, -48, 2, 41, 16, -11, 48, -38, 30}, {-4, -6, 36, 43, 23, 7, -39, 48, -2, -41, -16, 11, -48, 38, -30}, {26, -28, 8, -47, -16, 41, 38, 7, -17, 10, -36, 29, -39, 3, -32}, {-26, 28, -8, 47, 16, -41, -38, -7, 17, -10, 36, -29, 39, -3, 32}, {-20, -36, -36, 30, 4, -6, 8, 24, 15, 19, 3, -16, -42, 49, -34}, {20, 36, 36, -30, -4, 6, -8, -24, -15, -19, -3, 16, 42, -49, 34}, {11, 47, -13, -40, -26, 23, 41, -23, -40, -25, 27, -39, -7, -47, 36}, {-11, -47, 13, 40, 26, -23, -41, 23, 40, 25, -27, 39, 7, 47, -36}, {-37, 49, 49, -50, -3, -4, 13, 19, 18, 33, -22, 36, 35, 42, 0}, {37, -49, -49, 50, 3, 4, -13, -19, -18, -33, 22, -36, -35, -42, 0}, {1, -9, 26, -25, -12, -48, -29, -13, 9, 8, -22, -29, -50, -32, -30}, {-1, 9, -26, 25, 12, 48, 29, 13, -9, -8, 22, 29, 50, 32, 30}, {17, 19, -3, -17, -10, 38, -7, -6, 2, -4, -45, -42, 33, -49, 9}, {-17, -19, 3, 17, 10, -38, 7, 6, -2, 4, 45, 42, -33, 49, -9}, {-17, 22, 39, 43, -31, 46, -8, 14, 42, -26, -30, 39, -25, 20, -12}, {17, -22, -39, -43, 31, -46, 8, -14, -42, 26, 30, -39, 25, -20, 12}, {35, 40, -25, -42, 2, -28, -34, -45, -17, 27, 17, -42, 32, 22, -29}, {-35, -40, 25, 42, -2, 28, 34, 45, 17, -27, -17, 42, -32, -22, 29}, {-32, -15, -12, -20, -46, 27, -42, -24, 4, 22, 28, -25, 0, -31, -18}, {32, 15, 12, 20, 46, -27, 42, 24, -4, -22, -28, 25, 0, 31, 18}, {-39, 30, 30, 18, 1, 40, -25, -15, 44, -18, -2, -5, -48, 26, 26}, {39, -30, -30, -18, -1, -40, 25, 15, -44, 18, 2, 5, 48, -26, -26}, {-31, -7, 50, -22, -30, -44, -42, -31, -17, 47, 30, -16, 47, 35, -46}, {31, 7, -50, 22, 30, 44, 42, 31, 17, -47, -30, 16, -47, -35, 46}, {13, 11, 25, -34, -48, -36, -13, 11, -32, 18, 19, -18, -2, 6, 14}, {-13, -11, -25, 34, 48, 36, 13, -11, 32, -18, -19, 18, 2, -6, -14}, {5, 35, 12, 50, -33, 18, -47, 40, -29, -38, 47, -13, -27, 1, -26}, {-5, -35, -12, -50, 33, -18, 47, -40, 29, 38, -47, 13, 27, -1, 26}, {8, -11, -20, 37, 11, -34, 41, 26, -31, -36, 11, -6, -34, -11, 30}, {-8, 11, 20, -37, -11, 34, -41, -26, 31, 36, -11, 6, 34, 11, -30}, {8, 11, -35, 1, 23, -7, 32, 13, -8, 34, 7, 6, 24, 15, -46}, {-8, -11, 35, -1, -23, 7, -32, -13, 8, -34, -7, -6, -24, -15, 46}, {8, -27, -45, 24, 30, 8, -42, -50, -5, 10, 43, -28, 22, -3, -4}, {-8, 27, 45, -24, -30, -8, 42, 50, 5, -10, -43, 28, -22, 3, 4}, {49, -43, 30, -31, -27, -7, -10, 14, 14, 29, 24, 3, 44, 30, -31}, {-49, 43, -30, 31, 27, 7, 10, -14, -14, -29, -24, -3, -44, -30, 31}, {31, -29, -6, -24, -47, -3, 15, 7, -29, 4, -31, -7, 19, -42, -28}, {-31, 29, 6, 24, 47, 3, -15, -7, 29, -4, 31, 7, -19, 42, 28}, {6, -30, 18, -35, 29, -3, -14, -33, 7, 18, -41, 7, -22, -3, -14}, {-6, 30, -18, 35, -29, 3, 14, 33, -7, -18, 41, -7, 22, 3, 14}, {-35, 2, 20, 9, -28, 18, 0, -42, 17, 45, 39, -23, -4, -32, 47}, {35, -2, -20, -9, 28, -18, 0, 42, -17, -45, -39, 23, 4, 32, -47}, {5, -49, 18, 9, 11, -18, 50, -9, -50, -24, -29, 38, -6, -30, -22}, {-5, 49, -18, -9, -11, 18, -50, 9, 50, 24, 29, -38, 6, 30, 22}, {31, -2, -35, 18, -11, -19, -21, 12, 39, -18, -22, -16, 38, -5, -27}, {-31, 2, 35, -18, 11, 19, 21, -12, -39, 18, 22, 16, -38, 5, 27}}) i8 : exit