Magma V2.19-8 Tue Aug 20 2013 23:47:03 on localhost [Seed = 964645640] Type ? for help. Type -D to quit. Loading file "K14n7323__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7323 geometric_solution 11.04655486 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 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 -1 0 1 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.277799345621 0.738245013589 0 5 5 6 0132 0132 2103 0132 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 -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.007654113370 1.576417338491 5 0 8 7 3120 0132 0132 0132 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 1 0 -1 0 0 -2 2 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.624976272579 0.590832984648 9 4 6 0 0132 2031 2103 0132 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 0 0 0 1 0 -2 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.335931684880 0.971825522443 3 10 0 7 1302 0132 0132 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358921251956 0.421827336443 1 1 9 2 2103 0132 0213 3120 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 -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.238448063698 0.894064716694 3 8 1 7 2103 3201 0132 3120 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 2 0 0 -2 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.043333377717 0.577795657726 6 10 2 4 3120 3012 0132 2103 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 -1 1 0 2 0 -2 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.389111811792 0.718813843761 11 10 6 2 0132 0321 2310 0132 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 -2 0 0 2 -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.876370771022 0.669538722766 3 5 11 11 0132 0213 2031 3012 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 0 1 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.876256065047 0.894976448667 7 4 11 8 1230 0132 2310 0321 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 0 1 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.168703814992 1.371018566972 8 10 9 9 0132 3201 1230 1302 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 1 -1 0 2 0 -1 -1 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.876256065047 0.894976448667 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_0011_0'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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_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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_0011_6'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : d['c_0011_6'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_0'], 'c_1100_10' : d['c_0011_11'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_0011_11']), 'c_1010_5' : d['c_0011_0'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0101_8']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : negation(d['c_0011_3']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : negation(d['c_0011_3']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_7'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0110_6'], 'c_0110_6' : d['c_0110_6']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_11, c_0101_7, c_0101_8, c_0110_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 2501001946847987994281484395238345042777307579399454280369355141475\ /110026387254824590725319069391149142015572783529490880955207783396\ *c_1001_2^18 - 7660188738798485876002243639616444163461319290184493\ 782729379243745/110026387254824590725319069391149142015572783529490\ 880955207783396*c_1001_2^17 - 1507557333940346637302963351548238872\ 4034723444294368649281479779075/11002638725482459072531906939114914\ 2015572783529490880955207783396*c_1001_2^16 + 2828108184435296092066384935986697796549412789363875590809897774060\ 1/55013193627412295362659534695574571007786391764745440477603891698\ *c_1001_2^15 + 1293381239664192437385785272536410019357814306111886\ 4340773395027677/11002638725482459072531906939114914201557278352949\ 0880955207783396*c_1001_2^14 - 116275347649821080616394058352453631\ 619245978229047168403815516634079/110026387254824590725319069391149\ 142015572783529490880955207783396*c_1001_2^13 + 2817347097006616325591961252266995453635345528773905982130711533005\ 3/55013193627412295362659534695574571007786391764745440477603891698\ *c_1001_2^12 + 7216238283606576485947046066462739624200893883544418\ 6432158448486869/11002638725482459072531906939114914201557278352949\ 0880955207783396*c_1001_2^11 - 752355544569281005724896966723092821\ 06464806622659257378132703537331/5501319362741229536265953469557457\ 1007786391764745440477603891698*c_1001_2^10 - 1633820124842359501345386275597364215398943390780904844262358514024\ 99/1100263872548245907253190693911491420155727835294908809552077833\ 96*c_1001_2^9 + 713196223141697449720010968935381564375861021779389\ 1793190393592195/10893701708398474329239511820905855645106216191038\ 70108467403796*c_1001_2^8 - 119044107078139326430550909482796741004\ 1384679418208622381853604094659/11002638725482459072531906939114914\ 2015572783529490880955207783396*c_1001_2^7 + 1392745628463829283404492699826037857933967599015504145625789127194\ 397/110026387254824590725319069391149142015572783529490880955207783\ 396*c_1001_2^6 - 35419255671636014735798399370464065556770833438453\ 7668979411640506101/55013193627412295362659534695574571007786391764\ 745440477603891698*c_1001_2^5 + 14199498988214677549135961362110661\ 9131534320662185603244354255105569/27506596813706147681329767347787\ 285503893195882372720238801945849*c_1001_2^4 + 3412047979223067899676112362134666835244667160498064358876843592242\ 71/1100263872548245907253190693911491420155727835294908809552077833\ 96*c_1001_2^3 - 604863929548343968368273274478197885028172925945467\ 97299833670578508/2750659681370614768132976734778728550389319588237\ 2720238801945849*c_1001_2^2 + 5598084355750627544590244450400627631\ 48157318274639768786797628276551/1100263872548245907253190693911491\ 42015572783529490880955207783396*c_1001_2 + 8324996251192096189729330791914494334757340476091449887118061059142\ 5/11002638725482459072531906939114914201557278352949088095520778339\ 6, c_0011_0 - 1, c_0011_10 - 5405114653086202526655504984928073262488402180940995/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 + 13477620883038770682071901291397432831461895975543844/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 + 40713167405380107710424108657453003131762857760113667/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^16 - 104070441240770154201293428332046696714168800738002684/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 - 80222026644231131656316208893729184495050426095450879/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^14 + 249749187177020402673107480885462733392273672911631548/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^13 - 69206890135977759197572248152318554387248201122935469/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^12 - 336872119811821165764720086200139592282588349587196987/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^11 + 447313155235062457628085616208830870285760600522391247/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 + 838238373615028688389383185898729052470026087639487672/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^9 - 1562920988193024766078117650565845741081930571709387013/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 + 1496636742879906614235136160570781342499726854751947217/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 - 1424927610144897895305172650940100344055195246959857881/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 - 435188512435818519127391544702136050125527565086212951/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^5 - 792480853015981806912948193582011643292224726045750544/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^4 - 1001661079178816107844984238932900466181938779809135066/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 - 962807803014020592316041361109960671327793077052541275/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^2 - 1365781309330885179349922389804930421330055493068817729/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 - 1092380872832648920712888691788225235654992714607521212/15287651034\ 37989398802809681252456545396051602575998067, c_0011_11 + 10551691399458986222700810168931630871376034989952705/15287\ 65103437989398802809681252456545396051602575998067*c_1001_2^18 - 22249576626257953366618871946710905709968143967426501/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 - 83835527786525705003919730589514985839198816922101717/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^16 + 148359949539134579382351047007885997985589695128470784/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 + 197115197695445470053905143831927870373389692423628904/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 - 197191571798956799610266449641871105566647418912937405/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^13 + 14323994758208908655031613299939773172382297863239515/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^12 - 79917067838235286086028954072397349585006429536887905/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^11 - 690427988856011277083154881882551591592559831645901794/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 - 708131567932791039048993880418758908453875324180696343/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^9 + 2405374393939065662557315138554613689468204543224019894/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 - 3097602667237478800025091266576969230775698714185724702/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 + 4134104284893085614744508672180384644734734676378568371/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 - 211150143322196080760131249056109059608235844418704154/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^5 + 1755801886641492012002805351706379765782321500488519935/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^4 + 2931522843294480166838770363844224886038689928008951313/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 + 1224018042366829373234263329025030657067118888426226731/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^2 + 413962748526341483402216519074840542582038219803096434/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2 + 146657900075770832564231186003265066291355721789967522/152876510343\ 7989398802809681252456545396051602575998067, c_0011_3 - 16740105640648732285437544718965257366448311511703370/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 + 47409249701305976239971515036987681875457472490086184/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 + 127518069514450272291417089155638412130637294902612859/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 - 397034240621164947980561640547737236663974374370120639/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 - 283023332387577789858508365618002996167712687241176183/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 + 1085107849625127726408096290848171121846017855313006873/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^13 + 48567497588419194616776163996289475451205521326990647/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^12 - 1333570211358683201798148519799054884321164360883101966/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^11 + 758990522445136896634034154114392945070925174746198105/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 + 1969292937998833342058759989845486873826807756346161499/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 - 5036825557053151843656594748098714747606762367060919777/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 + 5606968752874810473417483394464295889726489515403029444/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 - 3221317847262313111835716967665807653836901127125850709/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 - 2283546865764934839887985236414431832955173616686559938/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^5 + 2286575973691483823649710386368826515574700508336171062/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^4 - 5041663803375560275427530839505825042639610230997822292/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 + 2434390042608699463910189278255596569345722790529629859/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^2 - 1844434116212473949490461383383256576040640054503831991/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 - 4069070800880250100741766823962934194509714877172734696/15287651034\ 37989398802809681252456545396051602575998067, c_0011_6 + 22571156948283185429321180197676503930884239832845215/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 - 55335073696734607297194487228697724784154090153215398/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 - 183095540064865267361189789223815580799799308294905681/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 + 436767470657440238385545181033012964030636229162794951/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 + 469990851966535072070174803790667337257147212275152674/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 - 1048143269610197793449545513817274944536894458428849447/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^13 - 244201643573085519033457017057191312124592794466802183/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^12 + 1110559884244838686504285194578052844594900461995041537/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^11 - 918064844733703340137222945455099991436938178971961013/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 - 2492157934676911090284953687432285441245757571732178601/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 + 5822331317818011683736786822437236066420095023042984129/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 - 6129539318496658581170033616437551059802950485073244445/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 + 5017251663985914281276057697942184003755020291080691540/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 + 2371871366190458967894226259750188903511811399575636982/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^5 + 427278714904872559923584616236159317593985497224248092/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^4 + 5353593695950096507927280749865563598695824515523173317/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 - 768184648622243646930162065467651394068882354211226367/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^2 + 2209538928805889556671474738649714696361138142866602970/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 + 3341749084635732631839123403018268745277282176014202593/15287651034\ 37989398802809681252456545396051602575998067, c_0101_0 - 33889390462896247871648057128930666625094513703649770/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 + 92006414292511076325841277244329290061183151921361744/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 + 250109468476401757699547236529675543825090765436458918/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 - 724163367468474999893810454392305649005220730739093767/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 - 509914291545585403647706826769995719362212278323052116/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 + 1737780545260498213317624007970476279611148239792204560/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^13 - 82804439214663719238830049282423666939287695798702185/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^12 - 1740724728052612400082945026652590845348065759110230702/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^11 + 1682712571107553235249459748125769135151767368701323910/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^10 + 3218445905386521105569508506154490758580879017256903372/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 - 9404876637495500984741435894898679563585860549599948820/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 + 12239165411905331585802567025210920045797664566829287399/1528765103\ 437989398802809681252456545396051602575998067*c_1001_2^7 - 10276164698327467147389613066190010154504072959212643039/1528765103\ 437989398802809681252456545396051602575998067*c_1001_2^6 - 890547036077761994593832324714392797181000605822859955/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^5 - 335906985301964746108132485911845964124078859730389548/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^4 - 8493248972115670432767831203752814911920743304585739872/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 + 2034425992137369909406399030626643538893307274474919705/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^2 - 5228497245589658241879799581611809375505710782700251692/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 - 6191506965160576394707692329879010068707135231672326215/15287651034\ 37989398802809681252456545396051602575998067, c_0101_10 - 4032704672586611605895883841915502317870947566104720/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 + 18291446456631526929948720241581152865691999257202709/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 + 7872653463114411627165653543558430226038264526387113/15287651034379\ 89398802809681252456545396051602575998067*c_1001_2^16 - 139451635524678532424911159235195065436491015954899253/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 + 111585869702895776557707309639856921546444019859142401/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 + 328029145275181105557451380187354246829489254730449154/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^13 - 400214664222567250329785595985611683169204889133016852/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^12 - 310123808006361200553744690162264424464231347186898835/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^11 + 385617037108561673854593626161692511284802840421071406/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 + 235132212637229379709266957141675733433781789831770990/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^9 - 1267884297586156477626638687154059956798093956845648327/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 + 3687969527238545270713027989781374584784775974305876776/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 - 4211769525793534588985558367241267530638442858941694345/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 + 2697666170274948285692660486687982439955336294124836632/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^5 - 1209811840867328599133165165907275004961912614384357039/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^4 - 1928071495295834856413227083375717945264237239392259014/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 + 1182309526010837879793717552142975488611582659913930950/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^2 - 2560323787807977274217704884595800170720142038201564457/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 - 1289828657445577931873648638865877009896730848821327374/15287651034\ 37989398802809681252456545396051602575998067, c_0101_11 - 33305817821282322132045663419812175033416939266446765/15287\ 65103437989398802809681252456545396051602575998067*c_1001_2^18 + 88763597852717877011725373417293459544047683141020968/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 + 258526875791521638635417725893157000137431390169454584/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 - 700055991679985615940284035011677245136510491107432537/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 - 642105768162498265428944479795429617510159176159814479/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 + 1655808231254946281463266149198933800301968083576354890/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^13 + 480787427241137060459149898258689845278119985814697693/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^12 - 1448152831915134528555861559655350908055163160377813309/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^11 + 775093452470675145653639731681107463528541237126860101/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 + 2730155977667244244096268121657007626111370737250974590/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 - 8756494235505716896832162891103744393289462056272375700/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 + 10681633401402103353364967384952796956013571360056115849/1528765103\ 437989398802809681252456545396051602575998067*c_1001_2^7 - 9357580759577593505982268552096309839460855004601532560/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 + 912084370145701664536322046977766076225802602557006849/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^5 - 1205483557865060856836148215245507529438108820856541241/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^4 - 6487138512538976642959767893080435785609309069218866531/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 + 3752236547073140260030969058951592046143501862705548553/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^2 - 2830962020211039610837776230175938194778414394464156660/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 - 4698378611868552001959833099612567595887333241440552190/15287651034\ 37989398802809681252456545396051602575998067, c_0101_7 + 19214403967008450701551332635906631819735864918923560/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 - 42230611476183381762135564863753802050884107008818942/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 - 169580964646035434380198145245613747597979451358164277/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 + 334574666062747590726314903768881297193657478365038443/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 + 509011211904224131872591080927841813589980535070644745/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 - 794060449288795609828833732935620614013745235357760953/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^13 - 474028369579295826548148552045483862028187875761242564/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^12 + 814278827799580708709867477848454630937293792275638276/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^11 - 533649887985410734926013589909309800884990072988065762/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 - 2099417524718280230680843278764919620317318620977721074/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 + 4577735575205226562906690230342697609650860803432439175/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 - 3793349748927732986864236204361043106574136907109770626/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 + 2646246287585905275137758738317700203511880952983790135/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 + 2882790084904159071682927300680272959170551416370711799/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^5 - 558417836321191359950787485521625723357347140289598921/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^4 + 5964461697924449419779251636996230279025079537747973005/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 - 595974978637359973651563498154437488490610574768492012/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^2 + 1800750723231627225551355032145793947335146947806999552/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 + 3674488334398984394053166406832401167105547429281185264/15287651034\ 37989398802809681252456545396051602575998067, c_0101_8 - 36950530740870033005338323168631054995353848810502510/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 + 95380362941077303907889840612805531445684600898100377/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 + 287040727056588752882141461635964284631860025646214978/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 - 733533960896507083894117930875357642863906818073727978/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 - 706224291499837609728129421209413770774897620530433847/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 + 1624781956985276685188031470873590961890338143741755036/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^13 + 452994470422566891923724420998803965339275404630045426/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^12 - 1208478499770831516766388523847765632398947448896601333/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^11 + 1077860486131238395387840746044398966078719812673786302/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^10 + 2884706947242822213688459738135896283409059591091501835/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 - 9508397398605340913141386758526128418686663495177465234/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 + 11465430870952051806821468590973675991358783261697729724/1528765103\ 437989398802809681252456545396051602575998067*c_1001_2^7 - 11516141745137185804164872911013008696263927168887009051/1528765103\ 437989398802809681252456545396051602575998067*c_1001_2^6 + 1942289595774571947527004488716101920576514773730993458/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^5 - 2228423027123025534964266116782809424981328936221182789/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^4 - 7615849326877393346549922883919624122218250877814108107/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 + 3948147222773634082442987052746912350462576410341268171/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^2 - 3396805862127896403349512558029765568500569583498526259/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 - 4154128244505940793897479281629539702136671142747591679/15287651034\ 37989398802809681252456545396051602575998067, c_0110_6 + 22571156948283185429321180197676503930884239832845215/152876\ 5103437989398802809681252456545396051602575998067*c_1001_2^18 - 55335073696734607297194487228697724784154090153215398/1528765103437\ 989398802809681252456545396051602575998067*c_1001_2^17 - 183095540064865267361189789223815580799799308294905681/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^16 + 436767470657440238385545181033012964030636229162794951/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^15 + 469990851966535072070174803790667337257147212275152674/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^14 - 1048143269610197793449545513817274944536894458428849447/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^13 - 244201643573085519033457017057191312124592794466802183/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^12 + 1110559884244838686504285194578052844594900461995041537/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^11 - 918064844733703340137222945455099991436938178971961013/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^10 - 2492157934676911090284953687432285441245757571732178601/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^9 + 5822331317818011683736786822437236066420095023042984129/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^8 - 6129539318496658581170033616437551059802950485073244445/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^7 + 5017251663985914281276057697942184003755020291080691540/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^6 + 2371871366190458967894226259750188903511811399575636982/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^5 + 427278714904872559923584616236159317593985497224248092/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^4 + 5353593695950096507927280749865563598695824515523173317/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2^3 - 768184648622243646930162065467651394068882354211226367/152876510343\ 7989398802809681252456545396051602575998067*c_1001_2^2 + 2209538928805889556671474738649714696361138142866602970/15287651034\ 37989398802809681252456545396051602575998067*c_1001_2 + 3341749084635732631839123403018268745277282176014202593/15287651034\ 37989398802809681252456545396051602575998067, c_1001_2^19 - 82/35*c_1001_2^18 - 288/35*c_1001_2^17 + 639/35*c_1001_2^16 + 751/35*c_1001_2^15 - 1494/35*c_1001_2^14 - 389/35*c_1001_2^13 + 1583/35*c_1001_2^12 - 39*c_1001_2^11 - 3837/35*c_1001_2^10 + 1204/5*c_1001_2^9 - 9356/35*c_1001_2^8 + 7534/35*c_1001_2^7 + 783/7*c_1001_2^6 + 226/7*c_1001_2^5 + 10167/35*c_1001_2^4 + 403/35*c_1001_2^3 + 5163/35*c_1001_2^2 + 1380/7*c_1001_2 + 857/35 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.060 Total time: 1.270 seconds, Total memory usage: 32.09MB