Magma V2.19-8 Wed Aug 21 2013 00:27:42 on localhost [Seed = 1511803347] Type ? for help. Type -D to quit. Loading file "K14n15687__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n15687 geometric_solution 12.02641168 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.198829794319 0.498961777041 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.486433816661 0.997261499697 8 0 3 9 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.887535910218 1.363304635432 10 7 2 0 0132 3201 3120 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.394717182739 1.203274833618 11 12 0 8 0132 0132 0132 2103 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.609124458038 1.224075330718 11 1 6 10 2103 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.595033918490 1.338349330449 8 12 1 5 2103 1023 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.013314286771 0.626962426539 11 9 3 1 3120 3120 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.439653069561 0.553976907156 2 11 6 4 0132 2103 2103 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.236592052986 0.629900281735 10 7 2 12 2103 3120 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.591811704977 1.120890337879 3 5 9 12 0132 2310 2103 2103 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556084127659 0.533584461480 4 8 5 7 0132 2103 2103 3120 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773659980022 0.772377222690 6 4 9 10 1023 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.021013996856 0.724995427745 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_9'], 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : d['c_0101_7'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_0101_12'], 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : d['c_0101_7'], 'c_1010_11' : negation(d['c_0011_7']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0101_2']), 'c_1100_7' : negation(d['c_0011_10']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0101_2']), 'c_1100_3' : negation(d['c_0101_2']), 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_9']), 'c_1010_6' : d['c_0101_12'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : negation(d['c_0011_7']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_12'], 'c_1010_0' : d['c_0101_7'], 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0011_7'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_3']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_1'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_3, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 214014383786723838057688973650531900/158325230930767072311791904649\ 481*c_1001_0^19 - 986932558426543569626188258105671135/384504132260\ 434318471494625577311*c_1001_0^18 - 11188444783671903448279838582320357953/2691528925823040229300462379\ 041177*c_1001_0^17 + 4832183997183896411219567698684383405/38450413\ 2260434318471494625577311*c_1001_0^16 + 10231982699977300340205664171468682252/2691528925823040229300462379\ 041177*c_1001_0^15 - 4050102705870385800796793958258830132/15832523\ 0930767072311791904649481*c_1001_0^14 - 385367560912799734486252630735663407/269152892582304022930046237904\ 1177*c_1001_0^13 + 70817693265262517872913071022394033533/269152892\ 5823040229300462379041177*c_1001_0^12 - 2179020531298673938085899473240566298/26915289258230402293004623790\ 41177*c_1001_0^11 - 36867080970957910974028386980201314995/26915289\ 25823040229300462379041177*c_1001_0^10 - 1766430231087876196469614266536386278/26915289258230402293004623790\ 41177*c_1001_0^9 + 4964702543523056527047507196583451516/2691528925\ 823040229300462379041177*c_1001_0^8 + 6064299188680638391541615937481682902/26915289258230402293004623790\ 41177*c_1001_0^7 + 4292673340575177437055128750382304709/2691528925\ 823040229300462379041177*c_1001_0^6 - 3397725580949294362199623578149288483/26915289258230402293004623790\ 41177*c_1001_0^5 - 939841398598976909401948625530155106/26915289258\ 23040229300462379041177*c_1001_0^4 + 585358493776897069927055349142434036/269152892582304022930046237904\ 1177*c_1001_0^3 - 463481860295135730891031623772799882/269152892582\ 3040229300462379041177*c_1001_0^2 + 133281047219339337643766823829446054/269152892582304022930046237904\ 1177*c_1001_0 - 27915490496257915748152150614571939/269152892582304\ 0229300462379041177, c_0011_0 - 1, c_0011_10 - 968556834855093888246999526205/5732475141415948162923780899\ *c_1001_0^19 + 1234466330866035443254364856211/57324751414159481629\ 23780899*c_1001_0^18 + 4395025709785690260244910285259/573247514141\ 5948162923780899*c_1001_0^17 - 7808483214142190184965960450595/5732\ 475141415948162923780899*c_1001_0^16 - 8848224779623972142833275409717/5732475141415948162923780899*c_1001\ _0^15 + 19572450122921412762220275208907/57324751414159481629237808\ 99*c_1001_0^14 + 10601094322656733167762734349468/57324751414159481\ 62923780899*c_1001_0^13 - 23786036878937222952892441419723/57324751\ 41415948162923780899*c_1001_0^12 - 7955396616520053201775528636569/5732475141415948162923780899*c_1001\ _0^11 + 13953244042125574817340458109595/57324751414159481629237808\ 99*c_1001_0^10 + 3717335284395208013989230056640/573247514141594816\ 2923780899*c_1001_0^9 - 2102045094583126246704664035135/57324751414\ 15948162923780899*c_1001_0^8 - 1758395285682156533617904113921/5732\ 475141415948162923780899*c_1001_0^7 - 2287082343509890093265580341197/5732475141415948162923780899*c_1001\ _0^6 + 739738649412519026125153707123/5732475141415948162923780899*\ c_1001_0^5 + 894563488333575212588665473939/57324751414159481629237\ 80899*c_1001_0^4 - 391482823177799767536983092450/57324751414159481\ 62923780899*c_1001_0^3 + 234730780499316362148771169533/57324751414\ 15948162923780899*c_1001_0^2 - 82563466766313848695865368876/573247\ 5141415948162923780899*c_1001_0 + 22309871240945518564913888623/573\ 2475141415948162923780899, c_0011_11 + 2098357892476589737820948182785/573247514141594816292378089\ 9*c_1001_0^19 - 2488962469459892720061932116387/5732475141415948162\ 923780899*c_1001_0^18 - 9718615505562059820447415743375/57324751414\ 15948162923780899*c_1001_0^17 + 16024172662005338871543453079796/57\ 32475141415948162923780899*c_1001_0^16 + 20478870504527442557042534453488/5732475141415948162923780899*c_100\ 1_0^15 - 40386803401381454626243394482472/5732475141415948162923780\ 899*c_1001_0^14 - 26314896107854264563551358731129/5732475141415948\ 162923780899*c_1001_0^13 + 48673128828050621663998886831131/5732475\ 141415948162923780899*c_1001_0^12 + 21236021004207023567058805883296/5732475141415948162923780899*c_100\ 1_0^11 - 3948281604672374648307924968836/81892502020227830898911155\ 7*c_1001_0^10 - 1455648445586866440112290271271/8189250202022783089\ 89111557*c_1001_0^9 + 3131403001746883012217262760422/5732475141415\ 948162923780899*c_1001_0^8 + 3872458486889716371170894817525/573247\ 5141415948162923780899*c_1001_0^7 + 782852248579747150762938557652/818925020202278308989111557*c_1001_0\ ^6 - 1021359774261009300191961358316/5732475141415948162923780899*c\ _1001_0^5 - 2006866656125787893804917393891/57324751414159481629237\ 80899*c_1001_0^4 + 93005451055385912962766610675/818925020202278308\ 989111557*c_1001_0^3 - 500815925266135709886390959865/5732475141415\ 948162923780899*c_1001_0^2 + 130911601541209462050998134682/5732475\ 141415948162923780899*c_1001_0 - 32794117665612825259608154380/5732\ 475141415948162923780899, c_0011_7 + 74109063726430257049522023935/5732475141415948162923780899*c\ _1001_0^19 - 313432774077588851779758607827/57324751414159481629237\ 80899*c_1001_0^18 - 73687156203583408756580557283/57324751414159481\ 62923780899*c_1001_0^17 + 1621505743462204613492394387044/573247514\ 1415948162923780899*c_1001_0^16 - 1020656291189638868499926444163/5\ 732475141415948162923780899*c_1001_0^15 - 3684992971272228743747654600071/5732475141415948162923780899*c_1001\ _0^14 + 3523419814509839278137066134201/573247514141594816292378089\ 9*c_1001_0^13 + 4696296097234806780184377345778/5732475141415948162\ 923780899*c_1001_0^12 - 4773993133300152118269305133542/57324751414\ 15948162923780899*c_1001_0^11 - 3505529120324204040289236903839/573\ 2475141415948162923780899*c_1001_0^10 + 2998522611997617613849024977657/5732475141415948162923780899*c_1001\ _0^9 + 1459417520579529235591874634224/5732475141415948162923780899\ *c_1001_0^8 - 445064029246288416508332297876/5732475141415948162923\ 780899*c_1001_0^7 - 364950083794881730082813606048/5732475141415948\ 162923780899*c_1001_0^6 - 591185699723045333586400006295/5732475141\ 415948162923780899*c_1001_0^5 + 79941299530524733714452661667/57324\ 75141415948162923780899*c_1001_0^4 + 289388301917858197862335207857/5732475141415948162923780899*c_1001_\ 0^3 - 88619420993110796115312335067/5732475141415948162923780899*c_\ 1001_0^2 + 33989751704138739717032376312/57324751414159481629237808\ 99*c_1001_0 - 14548063742850860047016194197/57324751414159481629237\ 80899, c_0011_9 + 298080287916369772516653815415/5732475141415948162923780899*\ c_1001_0^19 - 45954225818754198127305512144/81892502020227830898911\ 1557*c_1001_0^18 - 1403861040354359447229712012844/5732475141415948\ 162923780899*c_1001_0^17 + 303087065565298879130574804336/818925020\ 202278308989111557*c_1001_0^16 + 3081587187572972441923896057658/57\ 32475141415948162923780899*c_1001_0^15 - 5370453091536192949608218867104/5732475141415948162923780899*c_1001\ _0^14 - 4173347736161923301734692269558/573247514141594816292378089\ 9*c_1001_0^13 + 6390549298292043674648183877457/5732475141415948162\ 923780899*c_1001_0^12 + 3475241082362879421894831421575/57324751414\ 15948162923780899*c_1001_0^11 - 3543061417118137915770240915238/573\ 2475141415948162923780899*c_1001_0^10 - 1626040575901071417299795540791/5732475141415948162923780899*c_1001\ _0^9 + 388364912198807213891864486966/5732475141415948162923780899*\ c_1001_0^8 + 515097795728588884224381603307/57324751414159481629237\ 80899*c_1001_0^7 + 695946240733067067455663570155/57324751414159481\ 62923780899*c_1001_0^6 - 68730809884764678018197902033/573247514141\ 5948162923780899*c_1001_0^5 - 223523101340995452301471159380/573247\ 5141415948162923780899*c_1001_0^4 + 84828136341584883328497351046/5732475141415948162923780899*c_1001_0\ ^3 - 63599551182384707692028652774/5732475141415948162923780899*c_1\ 001_0^2 + 7924981366262773900291331011/5732475141415948162923780899\ *c_1001_0 - 9010548382943448318489886470/57324751414159481629237808\ 99, c_0101_0 + 87196573820276547033088224895/818925020202278308989111557*c_\ 1001_0^19 - 785565102050871803625083994103/573247514141594816292378\ 0899*c_1001_0^18 - 2781873677298877713710619927864/5732475141415948\ 162923780899*c_1001_0^17 + 4987811436009411716001868946607/57324751\ 41415948162923780899*c_1001_0^16 + 5602813790462614484741755054476/5732475141415948162923780899*c_1001\ _0^15 - 1799713559399778274900197632923/818925020202278308989111557\ *c_1001_0^14 - 6663444405350822573241839872262/57324751414159481629\ 23780899*c_1001_0^13 + 2219087590856406550222415078522/818925020202\ 278308989111557*c_1001_0^12 + 4904030022652179003115286993500/57324\ 75141415948162923780899*c_1001_0^11 - 9384871211041611638350871925368/5732475141415948162923780899*c_1001\ _0^10 - 2183410327453049030135946295874/573247514141594816292378089\ 9*c_1001_0^9 + 1647991356122697610426013802567/57324751414159481629\ 23780899*c_1001_0^8 + 141634467822664320744923704120/81892502020227\ 8308989111557*c_1001_0^7 + 1382713519864257633663514425955/57324751\ 41415948162923780899*c_1001_0^6 - 444770609896159155776296323973/57\ 32475141415948162923780899*c_1001_0^5 - 592495191220964949365340119883/5732475141415948162923780899*c_1001_\ 0^4 + 255431449902387136766935753818/5732475141415948162923780899*c\ _1001_0^3 - 151671830082495772658828216537/573247514141594816292378\ 0899*c_1001_0^2 + 5437839889108074746058619280/81892502020227830898\ 9111557*c_1001_0 - 4831621581960037929537015539/5732475141415948162\ 923780899, c_0101_1 + 485913468716943858872306557215/5732475141415948162923780899*\ c_1001_0^19 - 88146161161570417281792414514/81892502020227830898911\ 1557*c_1001_0^18 - 2191093678876577402034865752413/5732475141415948\ 162923780899*c_1001_0^17 + 556937267533077694038830281266/818925020\ 202278308989111557*c_1001_0^16 + 4365808886904127604594226547567/57\ 32475141415948162923780899*c_1001_0^15 - 9722574997333277373425766155847/5732475141415948162923780899*c_1001\ _0^14 - 5112232240994251224905658954466/573247514141594816292378089\ 9*c_1001_0^13 + 11696032021748353330307360803877/573247514141594816\ 2923780899*c_1001_0^12 + 3608455067923478897986035251823/5732475141\ 415948162923780899*c_1001_0^11 - 6736847107469473851946379442268/57\ 32475141415948162923780899*c_1001_0^10 - 1430456850524569979628289684899/5732475141415948162923780899*c_1001\ _0^9 + 933294596848350006519060816756/5732475141415948162923780899*\ c_1001_0^8 + 593539606521293517404679279788/57324751414159481629237\ 80899*c_1001_0^7 + 1143306586018729321514396105249/5732475141415948\ 162923780899*c_1001_0^6 - 260706402793863282478818207720/5732475141\ 415948162923780899*c_1001_0^5 - 403589633625844856145199515042/5732\ 475141415948162923780899*c_1001_0^4 + 192355557231279496257461795326/5732475141415948162923780899*c_1001_\ 0^3 - 135271293716275700207396327376/5732475141415948162923780899*c\ _1001_0^2 + 39465852175710082620758264203/5732475141415948162923780\ 899*c_1001_0 - 8984934557772763717156106614/57324751414159481629237\ 80899, c_0101_11 - 921152722978383703096643134075/5732475141415948162923780899\ *c_1001_0^19 + 1123022139920364444968777415885/57324751414159481629\ 23780899*c_1001_0^18 + 4228427323023500742556991537796/573247514141\ 5948162923780899*c_1001_0^17 - 7175031543398148215489527102980/5732\ 475141415948162923780899*c_1001_0^16 - 8746172217911448318541970399211/5732475141415948162923780899*c_1001\ _0^15 + 18027967871736535846773480349248/57324751414159481629237808\ 99*c_1001_0^14 + 10919896065114211755866201271393/57324751414159481\ 62923780899*c_1001_0^13 - 21756535484131355343351087000159/57324751\ 41415948162923780899*c_1001_0^12 - 8494262310994841421550216406760/5732475141415948162923780899*c_1001\ _0^11 + 12464174326823071821495350028577/57324751414159481629237808\ 99*c_1001_0^10 + 3879620226482351424507254537558/573247514141594816\ 2923780899*c_1001_0^9 - 1570462573381287001072856456527/57324751414\ 15948162923780899*c_1001_0^8 - 1490542928891583054647624043260/5732\ 475141415948162923780899*c_1001_0^7 - 2299006662015494618935445371166/5732475141415948162923780899*c_1001\ _0^6 + 464174097789796975748291949718/5732475141415948162923780899*\ c_1001_0^5 + 847513776458010677103161665728/57324751414159481629237\ 80899*c_1001_0^4 - 314551929895035884275480618409/57324751414159481\ 62923780899*c_1001_0^3 + 227417577927259712896726192709/57324751414\ 15948162923780899*c_1001_0^2 - 59212880934191499379774826513/573247\ 5141415948162923780899*c_1001_0 + 18530808438484640662893617258/573\ 2475141415948162923780899, c_0101_12 + 312997287485527958472410470175/5732475141415948162923780899\ *c_1001_0^19 - 506128178458738597206098378380/573247514141594816292\ 3780899*c_1001_0^18 - 1257266737351158436388353136036/5732475141415\ 948162923780899*c_1001_0^17 + 3001780506005688245051570106417/57324\ 75141415948162923780899*c_1001_0^16 + 1847295526239159774565947570821/5732475141415948162923780899*c_1001\ _0^15 - 7210756191313240368379409069710/573247514141594816292378089\ 9*c_1001_0^14 - 833077491110999915393868999997/57324751414159481629\ 23780899*c_1001_0^13 + 8579306778429243024548666399795/573247514141\ 5948162923780899*c_1001_0^12 - 816148122067241902912433807605/57324\ 75141415948162923780899*c_1001_0^11 - 5059901762608224606772378672711/5732475141415948162923780899*c_1001\ _0^10 + 1102181108721970469053681647088/573247514141594816292378089\ 9*c_1001_0^9 + 937153451726425391812188664293/573247514141594816292\ 3780899*c_1001_0^8 - 48979669000503570901847145982/5732475141415948\ 162923780899*c_1001_0^7 + 534916574835921321119700193532/5732475141\ 415948162923780899*c_1001_0^6 - 427127412371426948636123855443/5732\ 475141415948162923780899*c_1001_0^5 - 20146029358203447417421331344/818925020202278308989111557*c_1001_0^\ 4 + 266612429487008829208732276118/5732475141415948162923780899*c_1\ 001_0^3 - 142488400940334691862813972854/57324751414159481629237808\ 99*c_1001_0^2 + 45578167638467671686682747568/573247514141594816292\ 3780899*c_1001_0 - 13709880114608597798126592205/573247514141594816\ 2923780899, c_0101_2 - 482594811547720957246457891815/5732475141415948162923780899*\ c_1001_0^19 + 691541429567116137371810282923/5732475141415948162923\ 780899*c_1001_0^18 + 307717025859694201147261212591/818925020202278\ 308989111557*c_1001_0^17 - 4309478449226626036831346304359/57324751\ 41415948162923780899*c_1001_0^16 - 4077745275962898235936571734888/5732475141415948162923780899*c_1001\ _0^15 + 10911294758086404197463469739568/57324751414159481629237808\ 99*c_1001_0^14 + 4351046819088131799849511383893/573247514141594816\ 2923780899*c_1001_0^13 - 13852333893100251327868260446428/573247514\ 1415948162923780899*c_1001_0^12 - 415589733134763750277656828964/81\ 8925020202278308989111557*c_1001_0^11 + 9004120960948934672670751619257/5732475141415948162923780899*c_1001\ _0^10 + 1447951908204306776294669167131/573247514141594816292378089\ 9*c_1001_0^9 - 2190256887636464125729102834633/57324751414159481629\ 23780899*c_1001_0^8 - 1058724343760902829216253880254/5732475141415\ 948162923780899*c_1001_0^7 - 862488030535744622003020244146/5732475\ 141415948162923780899*c_1001_0^6 + 679922989577701657389843208256/5732475141415948162923780899*c_1001_\ 0^5 + 533166331534739166441470820234/5732475141415948162923780899*c\ _1001_0^4 - 299896588594990378932511733077/573247514141594816292378\ 0899*c_1001_0^3 + 86544617803043542094114794428/5732475141415948162\ 923780899*c_1001_0^2 - 39000723057727141028432555216/57324751414159\ 48162923780899*c_1001_0 + 7472073732863619002905530487/573247514141\ 5948162923780899, c_0101_3 - 1076864169193129831747202624800/5732475141415948162923780899\ *c_1001_0^19 + 213293343599867634822272505625/818925020202278308989\ 111557*c_1001_0^18 + 4793272598023935453457832044052/57324751414159\ 48162923780899*c_1001_0^17 - 1328655064046667176961002792980/818925\ 020202278308989111557*c_1001_0^16 - 9149224700273614608152425216081/5732475141415948162923780899*c_1001\ _0^15 + 23337069734272467836228978392607/57324751414159481629237808\ 99*c_1001_0^14 + 9943070668513985288174869418282/573247514141594816\ 2923780899*c_1001_0^13 - 28983943679791624724689492600607/573247514\ 1415948162923780899*c_1001_0^12 - 6606690959189857448486609682931/5\ 732475141415948162923780899*c_1001_0^11 + 18001223207938105619838139990453/5732475141415948162923780899*c_100\ 1_0^10 + 2916269093680197595762529903496/57324751414159481629237808\ 99*c_1001_0^9 - 3671607611989601975387901091905/5732475141415948162\ 923780899*c_1001_0^8 - 1902309023997778993391152890813/573247514141\ 5948162923780899*c_1001_0^7 - 2212095865613563541426966525288/57324\ 75141415948162923780899*c_1001_0^6 + 1195092997446608054136580783366/5732475141415948162923780899*c_1001\ _0^5 + 1066393541282820273024306708451/5732475141415948162923780899\ *c_1001_0^4 - 590820354862846627517405319583/5732475141415948162923\ 780899*c_1001_0^3 + 247356558870288214191912838887/5732475141415948\ 162923780899*c_1001_0^2 - 90909005138714157093224879223/57324751414\ 15948162923780899*c_1001_0 + 18866288794800852133714524005/57324751\ 41415948162923780899, c_0101_7 + 941762166203460535630969037975/5732475141415948162923780899*\ c_1001_0^19 - 151605892943437064717828113235/8189250202022783089891\ 11557*c_1001_0^18 - 4408281524808638164819260764260/573247514141594\ 8162923780899*c_1001_0^17 + 986464933715040034279161573161/81892502\ 0202278308989111557*c_1001_0^16 + 9525927612689526748800888148074/5\ 732475141415948162923780899*c_1001_0^15 - 17403973466375548861316812719683/5732475141415948162923780899*c_100\ 1_0^14 - 12700298983178036910889352313295/5732475141415948162923780\ 899*c_1001_0^13 + 20680989859947449389980674837469/5732475141415948\ 162923780899*c_1001_0^12 + 10611611693281157989941543410975/5732475\ 141415948162923780899*c_1001_0^11 - 11227125071745323404893063164045/5732475141415948162923780899*c_100\ 1_0^10 - 5150795925737286692297849282385/57324751414159481629237808\ 99*c_1001_0^9 + 725048285040041992441771632061/57324751414159481629\ 23780899*c_1001_0^8 + 1741155754157827692323578086053/5732475141415\ 948162923780899*c_1001_0^7 + 2658845078117643181006842891687/573247\ 5141415948162923780899*c_1001_0^6 - 266066930417530867737714315145/5732475141415948162923780899*c_1001_\ 0^5 - 886485673422173281474663355354/5732475141415948162923780899*c\ _1001_0^4 + 209926078338671122796984418722/573247514141594816292378\ 0899*c_1001_0^3 - 233897346467863926432204471896/573247514141594816\ 2923780899*c_1001_0^2 + 60768338908455469498863631813/5732475141415\ 948162923780899*c_1001_0 - 13200448712021670030098164682/5732475141\ 415948162923780899, c_1001_0^20 - 167/85*c_1001_0^19 - 311/85*c_1001_0^18 + 56/5*c_1001_0^17 + 303/85*c_1001_0^16 - 2256/85*c_1001_0^15 + 52/17*c_1001_0^14 + 2733/85*c_1001_0^13 - 756/85*c_1001_0^12 - 1706/85*c_1001_0^11 + 537/85*c_1001_0^10 + 403/85*c_1001_0^9 + 3/17*c_1001_0^8 + 6/5*c_1001_0^7 - 201/85*c_1001_0^6 - 37/85*c_1001_0^5 + 18/17*c_1001_0^4 - 9/17*c_1001_0^3 + 21/85*c_1001_0^2 - 6/85*c_1001_0 + 1/85 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.310 Total time: 4.519 seconds, Total memory usage: 64.12MB