Magma V2.19-8 Tue Aug 20 2013 23:53:01 on localhost [Seed = 88305349] Type ? for help. Type -D to quit. Loading file "K12n346__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n346 geometric_solution 11.77554603 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 0 1 0 0 0 0 0 1 0 -1 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574448726402 0.344769920471 0 5 7 6 0132 0132 0132 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 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.675518774817 1.287214331445 8 0 10 9 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 1 -1 0 0 0 0 0 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.917448361397 0.832080468618 8 7 11 0 1230 0132 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 -1 0 1 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.621133998755 1.183740391032 6 10 0 9 3012 1023 0132 1023 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498398242845 0.517643419441 6 1 12 11 0213 0132 0132 1230 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 2 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 0.490259413366 0.350999394333 5 12 1 4 0213 0132 0132 1230 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 0 0 0 0 0 -2 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.389108574179 0.517176229498 12 3 9 1 2031 0132 0213 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 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.013262647005 1.161706645598 2 3 12 9 0132 3012 3201 3120 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 -1 1 0 0 1 -1 -1 1 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.656445420870 0.270222548955 8 7 2 4 3120 0213 0132 1023 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 1 0 0 -1 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.553679515885 1.001491352269 4 11 11 2 1023 0132 1023 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 -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.476771592285 0.913409314329 5 10 10 3 3012 0132 1023 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.611436050162 0.870748301224 8 6 7 5 2310 0132 1302 0132 0 0 0 0 0 0 0 0 1 0 0 -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 0 0 0 -2 0 0 2 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.959854801783 0.955418516190 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0101_11'], 'c_1001_12' : d['c_0101_1'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_0101_10'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : 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' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(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' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_9'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_0110_4'], 'c_1100_6' : d['c_0110_4'], 'c_1100_1' : d['c_0110_4'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_1100_0']), 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_1100_0']), 'c_1100_11' : d['c_1100_0'], 'c_1100_10' : negation(d['c_1100_0']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0110_4'], 'c_1010_8' : negation(d['c_0011_9']), 'c_1100_8' : negation(d['c_0011_12']), 's_3_1' : negation(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' : d['c_0011_9'], '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' : d['1'], 's_1_1' : negation(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' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(d['c_0011_12']), '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_0011_9'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : negation(d['c_0011_12']), 'c_0101_12' : d['c_0011_3'], 'c_0101_7' : d['c_0011_9'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_9'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : d['c_0011_12'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0011_12'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_10']})} 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_12, c_0011_3, c_0011_9, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0110_4, c_1001_0, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 12110282658490567158813026257854933235364231068448523/1161854433112\ 9343494821229401705068371332416310191*c_1100_0^19 - 635163023630925618161049506420814541948883225306460/219217817568478\ 179147570366069906950402498420947*c_1100_0^18 + 702500952518395404257025526092745621452214745135165177/464741773245\ 17373979284917606820273485329665240764*c_1100_0^17 - 28866242920391321732055621772375129795996658443111589/2323708866225\ 8686989642458803410136742664832620382*c_1100_0^16 + 453241962994463964247064174939534042147927357608884391/464741773245\ 17373979284917606820273485329665240764*c_1100_0^15 + 713493943906761637783045029284231820159746200361922705/464741773245\ 17373979284917606820273485329665240764*c_1100_0^14 + 249865954888287825173831350827110349377935525736338418/116185443311\ 29343494821229401705068371332416310191*c_1100_0^13 + 546327116392855202882372517806156236993490661416154824/116185443311\ 29343494821229401705068371332416310191*c_1100_0^12 - 901662910967306937889470051013750976829115629306984571/464741773245\ 17373979284917606820273485329665240764*c_1100_0^11 + 1617940584969275973582836761232319926837908074211377451/46474177324\ 517373979284917606820273485329665240764*c_1100_0^10 - 1279410256141792714262426222105559180436465622691905077/11618544331\ 129343494821229401705068371332416310191*c_1100_0^9 + 2956604266517079275568059313323599478311399560438931/34450835674215\ 992571745676506167734236715837836*c_1100_0^8 + 60379060181893858071395826894668826743520430065492400/1161854433112\ 9343494821229401705068371332416310191*c_1100_0^7 - 4268919505111968413377837531089750273085671879241626431/46474177324\ 517373979284917606820273485329665240764*c_1100_0^6 - 9575141348935639086611872770897943870437309904500410587/46474177324\ 517373979284917606820273485329665240764*c_1100_0^5 + 6544539405370053635841988232916565746815960288312468797/46474177324\ 517373979284917606820273485329665240764*c_1100_0^4 + 2530283424338346181551028464538548293283471773479931855/46474177324\ 517373979284917606820273485329665240764*c_1100_0^3 + 668823672021948733423532625839386329025297604164599373/464741773245\ 17373979284917606820273485329665240764*c_1100_0^2 - 704438707194144278458753090999055382172498981050444007/232370886622\ 58686989642458803410136742664832620382*c_1100_0 + 25315089394328774961724720818286087749452954741496753/4647417732451\ 7373979284917606820273485329665240764, c_0011_0 - 1, c_0011_10 + 114723341945238604796995582126387569020472/2046795056573112\ 03758084059187288993540221*c_1100_0^19 + 5797962459138806727049183917290775384708/38618774652322868633600765\ 88439414972457*c_1100_0^18 - 17304803983996696410198053308762816819\ 82667/204679505657311203758084059187288993540221*c_1100_0^17 + 176966136917325898934841621704837082343960/204679505657311203758084\ 059187288993540221*c_1100_0^16 - 7056911915844177285837026230625956\ 34669487/204679505657311203758084059187288993540221*c_1100_0^15 - 1259691977522722208062600894955262159538388/20467950565731120375808\ 4059187288993540221*c_1100_0^14 - 160387787302388941048340117273932\ 2483118021/204679505657311203758084059187288993540221*c_1100_0^13 - 3869607627061170578740253532339061313932235/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 438237110876502253263471011518794\ 9168481437/204679505657311203758084059187288993540221*c_1100_0^11 - 895825355787176580314861159691814941214735/204679505657311203758084\ 059187288993540221*c_1100_0^10 + 1485885673997855754967549128146047\ 3563762151/204679505657311203758084059187288993540221*c_1100_0^9 - 7299894845696373707155718537169828312802055/20467950565731120375808\ 4059187288993540221*c_1100_0^8 + 8248734208568342821528482108079555\ 1187698/204679505657311203758084059187288993540221*c_1100_0^7 + 12917928182550399798287738750445950285813031/2046795056573112037580\ 84059187288993540221*c_1100_0^6 + 247918676864613421873859271025274\ 28882898390/204679505657311203758084059187288993540221*c_1100_0^5 - 17754919504516539123347946956750858080701966/2046795056573112037580\ 84059187288993540221*c_1100_0^4 - 111978404997333692780455992152001\ 55073305966/204679505657311203758084059187288993540221*c_1100_0^3 - 2127275941840270155919318461496383786102979/20467950565731120375808\ 4059187288993540221*c_1100_0^2 + 4599243664842762945350943762110421\ 231219261/204679505657311203758084059187288993540221*c_1100_0 + 788575949793803133163322809352381076969838/204679505657311203758084\ 059187288993540221, c_0011_12 - 69142480665411826638412357046928535515267/40935901131462240\ 7516168118374577987080442*c_1100_0^19 - 4165491834569362121956645805248087710447/77237549304645737267201531\ 76878829944914*c_1100_0^18 + 45558188184399201536750043160269277365\ 2058/204679505657311203758084059187288993540221*c_1100_0^17 + 147104156493753293380162708474609447203952/204679505657311203758084\ 059187288993540221*c_1100_0^16 + 3882047819644231961080144460819043\ 87098710/204679505657311203758084059187288993540221*c_1100_0^15 + 1324776121174472601757791188788152065154569/40935901131462240751616\ 8118374577987080442*c_1100_0^14 + 196978060002044531798362423621599\ 4020208341/409359011314622407516168118374577987080442*c_1100_0^13 + 1974820870224716251102430848915998046127896/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 152782501163659068692733756925280\ 695723833/204679505657311203758084059187288993540221*c_1100_0^11 + 1216282681499464115351300694295180824452923/20467950565731120375808\ 4059187288993540221*c_1100_0^10 - 634241923425610963598937947436875\ 4137344617/409359011314622407516168118374577987080442*c_1100_0^9 + 1541580125163122270206631813513417588117855/20467950565731120375808\ 4059187288993540221*c_1100_0^8 + 8184783043750137192994456869333249\ 91044304/204679505657311203758084059187288993540221*c_1100_0^7 - 5363674983383110622921029359984179336985411/40935901131462240751616\ 8118374577987080442*c_1100_0^6 - 1576930284551213641407047786708140\ 4230986295/409359011314622407516168118374577987080442*c_1100_0^5 + 2666310926944698258480096084557767059297975/40935901131462240751616\ 8118374577987080442*c_1100_0^4 + 2491858697458740143498893642051895\ 749382261/204679505657311203758084059187288993540221*c_1100_0^3 + 1710606410501608870125203930038381152423641/20467950565731120375808\ 4059187288993540221*c_1100_0^2 - 9147064914606788344252686594596150\ 35643527/409359011314622407516168118374577987080442*c_1100_0 - 521781626723268777661640871873911175220819/409359011314622407516168\ 118374577987080442, c_0011_3 - 71458524536511556624074106314494786816232/204679505657311203\ 758084059187288993540221*c_1100_0^19 - 4131506814509965334826553872517484125740/38618774652322868633600765\ 88439414972457*c_1100_0^18 + 97949939154279813878782476643461965214\ 1737/204679505657311203758084059187288993540221*c_1100_0^17 + 208943181029356589380066973698791905480029/204679505657311203758084\ 059187288993540221*c_1100_0^16 + 6499282672202755611523846136779547\ 23961275/204679505657311203758084059187288993540221*c_1100_0^15 + 1247211369679365771196550593739717791169698/20467950565731120375808\ 4059187288993540221*c_1100_0^14 + 176211636767921846310909874068190\ 8377833256/204679505657311203758084059187288993540221*c_1100_0^13 + 3630432919855202993221409110436088769135057/20467950565731120375808\ 4059187288993540221*c_1100_0^12 - 430912280638989132611796407862705\ 385098075/204679505657311203758084059187288993540221*c_1100_0^11 + 1981823187039887271505510158934310914189907/20467950565731120375808\ 4059187288993540221*c_1100_0^10 - 694017990843221327465061449876238\ 5040625426/204679505657311203758084059187288993540221*c_1100_0^9 + 3639422637105841735230708221833483240005473/20467950565731120375808\ 4059187288993540221*c_1100_0^8 + 1909016168998990183701708137874306\ 893575374/204679505657311203758084059187288993540221*c_1100_0^7 - 6315861515214807524408826969567466328525756/20467950565731120375808\ 4059187288993540221*c_1100_0^6 - 1589972427292528076327989914626152\ 5403158214/204679505657311203758084059187288993540221*c_1100_0^5 + 5503533935342837279457366977203071386027638/20467950565731120375808\ 4059187288993540221*c_1100_0^4 + 6295241707520197340869868840994898\ 287588026/204679505657311203758084059187288993540221*c_1100_0^3 + 2043124895895028135177504901448573158536505/20467950565731120375808\ 4059187288993540221*c_1100_0^2 - 1521116223187635159590852238543646\ 072754384/204679505657311203758084059187288993540221*c_1100_0 - 347025309828146756704692639642670881210634/204679505657311203758084\ 059187288993540221, c_0011_9 + 54118501493780605745529242930996407999701/409359011314622407\ 516168118374577987080442*c_1100_0^19 + 1274152720826118387180869640468973790964/38618774652322868633600765\ 88439414972457*c_1100_0^18 - 42684908982938763438426594752898752522\ 2899/204679505657311203758084059187288993540221*c_1100_0^17 + 98524855612226621977514326328753691179344/2046795056573112037580840\ 59187288993540221*c_1100_0^16 - 10212786723250761531650212168112853\ 8224604/204679505657311203758084059187288993540221*c_1100_0^15 - 458599328328927913725465275853313003469795/409359011314622407516168\ 118374577987080442*c_1100_0^14 - 2836454911882155968330653279920404\ 49761334/204679505657311203758084059187288993540221*c_1100_0^13 - 742023091219931787224183864806342050538602/204679505657311203758084\ 059187288993540221*c_1100_0^12 + 1324953032608884841956110657204706\ 959900372/204679505657311203758084059187288993540221*c_1100_0^11 - 153532533557590612769040466547594479609071/204679505657311203758084\ 059187288993540221*c_1100_0^10 + 6928665725630814144102519836474584\ 172255953/409359011314622407516168118374577987080442*c_1100_0^9 - 4883309407848439705356406706433348339179067/40935901131462240751616\ 8118374577987080442*c_1100_0^8 - 8213079844736809721374066836573526\ 08462103/409359011314622407516168118374577987080442*c_1100_0^7 + 2790902793888953729492910613088215115774379/20467950565731120375808\ 4059187288993540221*c_1100_0^6 + 1029659146463700385398224787188727\ 6441097307/409359011314622407516168118374577987080442*c_1100_0^5 - 6218227595530243382114607748745737365781371/20467950565731120375808\ 4059187288993540221*c_1100_0^4 - 3616523219798766107906897195996118\ 316166216/204679505657311203758084059187288993540221*c_1100_0^3 - 176101814309510304722631907026912588431078/204679505657311203758084\ 059187288993540221*c_1100_0^2 + 33340952422288311717236885541136646\ 67273001/409359011314622407516168118374577987080442*c_1100_0 + 151922666899145092978397913900095806635365/204679505657311203758084\ 059187288993540221, c_0101_1 + 44988174168306821586665241784156216581498/204679505657311203\ 758084059187288993540221*c_1100_0^19 + 2461632168312432889078721144343672810609/38618774652322868633600765\ 88439414972457*c_1100_0^18 - 64118638749573528825168096543193970354\ 5981/204679505657311203758084059187288993540221*c_1100_0^17 - 40670156924411281428110717576634314848705/2046795056573112037580840\ 59187288993540221*c_1100_0^16 - 37600762184582094824596172649397548\ 3153077/204679505657311203758084059187288993540221*c_1100_0^15 - 649300061302240995996176870025318401283825/204679505657311203758084\ 059187288993540221*c_1100_0^14 - 9571511344196551208862572742333698\ 37064968/204679505657311203758084059187288993540221*c_1100_0^13 - 2008946948054282933208897079453640793933912/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 782799563401632057470463501970325\ 455320927/204679505657311203758084059187288993540221*c_1100_0^11 - 1078714706626948291902950879142011340010366/20467950565731120375808\ 4059187288993540221*c_1100_0^10 + 484215537959999117029128965294916\ 6747292277/204679505657311203758084059187288993540221*c_1100_0^9 - 2946975155874605365480048703884189057044211/20467950565731120375808\ 4059187288993540221*c_1100_0^8 - 7815388362975679172981547002319089\ 21495905/204679505657311203758084059187288993540221*c_1100_0^7 + 3843841627678253921185979416198052017339768/20467950565731120375808\ 4059187288993540221*c_1100_0^6 + 9666102641589653758922826930284070\ 457350208/204679505657311203758084059187288993540221*c_1100_0^5 - 5248391519988078700563389758743080356993004/20467950565731120375808\ 4059187288993540221*c_1100_0^4 - 4140684102110173186607737029939648\ 822078971/204679505657311203758084059187288993540221*c_1100_0^3 - 1340350699342901527909749380534026828140303/20467950565731120375808\ 4059187288993540221*c_1100_0^2 + 1461884305364353969460786698971160\ 488405867/204679505657311203758084059187288993540221*c_1100_0 + 191790746676282188123552833270295444023296/204679505657311203758084\ 059187288993540221, c_0101_10 + 108422916492606767182715182760759571880965/4093590113146224\ 07516168118374577987080442*c_1100_0^19 + 3071037000432230697919800118659060465234/38618774652322868633600765\ 88439414972457*c_1100_0^18 - 75015272749596593589495090918021731623\ 2760/204679505657311203758084059187288993540221*c_1100_0^17 - 102450051228974002350841865900427050219193/204679505657311203758084\ 059187288993540221*c_1100_0^16 - 5233062952162385814951064194013657\ 95432730/204679505657311203758084059187288993540221*c_1100_0^15 - 1832000010266270751623958713178976136871919/40935901131462240751616\ 8118374577987080442*c_1100_0^14 - 134586985242781082355396902831397\ 6661231317/204679505657311203758084059187288993540221*c_1100_0^13 - 2750798245794838655524279209756216821298843/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 346866557757541456704723230561857\ 358723529/204679505657311203758084059187288993540221*c_1100_0^11 - 1806061008969088860330602156364984985102732/20467950565731120375808\ 4059187288993540221*c_1100_0^10 + 103896475226624882717699247943697\ 57284065503/409359011314622407516168118374577987080442*c_1100_0^9 - 7021878116579194850991143376460236638997443/40935901131462240751616\ 8118374577987080442*c_1100_0^8 - 2488957962383979662611870536135037\ 511752359/409359011314622407516168118374577987080442*c_1100_0^7 + 4266694270149954842661191926358391324039589/20467950565731120375808\ 4059187288993540221*c_1100_0^6 + 2315873116896488931327614031910160\ 3504118469/409359011314622407516168118374577987080442*c_1100_0^5 - 5090472856635386196633721294770574356204895/20467950565731120375808\ 4059187288993540221*c_1100_0^4 - 4119194898541588540857511795563670\ 317222138/204679505657311203758084059187288993540221*c_1100_0^3 - 1522861905333599709987033106748483664309694/20467950565731120375808\ 4059187288993540221*c_1100_0^2 + 2740954265206681103620546783248784\ 463757153/409359011314622407516168118374577987080442*c_1100_0 + 230720126745944940592574408958651942611806/204679505657311203758084\ 059187288993540221, c_0101_11 + 109048960842533983697499561626606145305637/4093590113146224\ 07516168118374577987080442*c_1100_0^19 + 6182446377514315324042455870968654588361/77237549304645737267201531\ 76878829944914*c_1100_0^18 - 75448491889195898588249822160681756893\ 6288/204679505657311203758084059187288993540221*c_1100_0^17 - 106528721930221510602501785367674142045228/204679505657311203758084\ 059187288993540221*c_1100_0^16 - 5224170969808482499608278579350819\ 17130879/204679505657311203758084059187288993540221*c_1100_0^15 - 1827642332357484726679906131575995903801903/40935901131462240751616\ 8118374577987080442*c_1100_0^14 - 271122021256090713836592916040446\ 0758621047/409359011314622407516168118374577987080442*c_1100_0^13 - 2762708847107100751395229113142223370447803/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 363108071311387692492312248980088\ 858002662/204679505657311203758084059187288993540221*c_1100_0^11 - 1770960379595681597476103173396805813814835/20467950565731120375808\ 4059187288993540221*c_1100_0^10 + 104874474351919667536729991298604\ 30278308347/409359011314622407516168118374577987080442*c_1100_0^9 - 3482797485940072774046612982081312616611592/20467950565731120375808\ 4059187288993540221*c_1100_0^8 - 1206438982859166431107680570064515\ 788349986/204679505657311203758084059187288993540221*c_1100_0^7 + 8651216623952660345611855912701922582787643/40935901131462240751616\ 8118374577987080442*c_1100_0^6 + 2367263852165479604080003943588922\ 3802885487/409359011314622407516168118374577987080442*c_1100_0^5 - 10206440443586661107914690674275026776013885/4093590113146224075161\ 68118374577987080442*c_1100_0^4 - 432740898985871169674474700990077\ 6598329505/204679505657311203758084059187288993540221*c_1100_0^3 - 1663858789400432761021766442811688681243658/20467950565731120375808\ 4059187288993540221*c_1100_0^2 + 3018561402375935119693161902683762\ 994642687/409359011314622407516168118374577987080442*c_1100_0 + 391570599224198191728463309143348295518057/409359011314622407516168\ 118374577987080442, c_0101_2 + 56102590000309085775122266395736276992165/409359011314622407\ 516168118374577987080442*c_1100_0^19 + 2671888915345119238947343490892326251539/77237549304645737267201531\ 76878829944914*c_1100_0^18 - 43626386151226365537067174173035748859\ 5925/204679505657311203758084059187288993540221*c_1100_0^17 + 105107150124088232607715387259314536385902/204679505657311203758084\ 059187288993540221*c_1100_0^16 - 1525462518870596604442124831196914\ 91865607/204679505657311203758084059187288993540221*c_1100_0^15 - 567445382148560804947467363731042954456171/409359011314622407516168\ 118374577987080442*c_1100_0^14 - 6894564242956573148376459430169381\ 55393857/409359011314622407516168118374577987080442*c_1100_0^13 - 910764775040628535729084723624627104431166/204679505657311203758084\ 059187288993540221*c_1100_0^12 + 1171259216225491691015893285900311\ 180391782/204679505657311203758084059187288993540221*c_1100_0^11 - 466968906344867928087615598735332108694076/204679505657311203758084\ 059187288993540221*c_1100_0^10 + 6790096268291909358029703974804384\ 850441777/409359011314622407516168118374577987080442*c_1100_0^9 - 2662999058615227414255405644152694557149381/20467950565731120375808\ 4059187288993540221*c_1100_0^8 - 3537035369765239221200120705366963\ 57042458/204679505657311203758084059187288993540221*c_1100_0^7 + 5611563984907860368196069861528817091166681/40935901131462240751616\ 8118374577987080442*c_1100_0^6 + 1021426687308894649637096435505788\ 7158784625/409359011314622407516168118374577987080442*c_1100_0^5 - 11660247207126093156757002536989822757676771/4093590113146224075161\ 68118374577987080442*c_1100_0^4 - 291361560049355286536146153232983\ 2479568878/204679505657311203758084059187288993540221*c_1100_0^3 - 130533411855215663580046341898752307927837/204679505657311203758084\ 059187288993540221*c_1100_0^2 + 25145236406731086900042046759794982\ 13970881/409359011314622407516168118374577987080442*c_1100_0 + 511077901842336049967847862100126527234491/409359011314622407516168\ 118374577987080442, c_0110_4 + 78296396543038008244508521513063526972145/409359011314622407\ 516168118374577987080442*c_1100_0^19 + 4110419151419535696281420517844641452685/77237549304645737267201531\ 76878829944914*c_1100_0^18 - 57095280382334638764917957833035343229\ 5532/204679505657311203758084059187288993540221*c_1100_0^17 + 33269189356897731139822873227146532137000/2046795056573112037580840\ 59187288993540221*c_1100_0^16 - 32061563915422210156733907392872771\ 7823581/204679505657311203758084059187288993540221*c_1100_0^15 - 1093698334634813485893043741939519371742077/40935901131462240751616\ 8118374577987080442*c_1100_0^14 - 155903601299980975272836673418791\ 5436083599/409359011314622407516168118374577987080442*c_1100_0^13 - 1719031843153062619259218410229789031007915/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 802210575359495846612052723468346\ 770181711/204679505657311203758084059187288993540221*c_1100_0^11 - 1164457057337998889681107478949259786672048/20467950565731120375808\ 4059187288993540221*c_1100_0^10 + 814691120716554061301130395820945\ 7036544143/409359011314622407516168118374577987080442*c_1100_0^9 - 3281566192609152938108037870872333803574366/20467950565731120375808\ 4059187288993540221*c_1100_0^8 - 7200070994772495552779923744926659\ 51299059/204679505657311203758084059187288993540221*c_1100_0^7 + 6591051374803561330566561694817252066387771/40935901131462240751616\ 8118374577987080442*c_1100_0^6 + 1544732286735141449814867460665106\ 6117661215/409359011314622407516168118374577987080442*c_1100_0^5 - 11399249992925447556522767143816119398769033/4093590113146224075161\ 68118374577987080442*c_1100_0^4 - 312546649963300739474970300517883\ 6489361281/204679505657311203758084059187288993540221*c_1100_0^3 - 720493414876006873444964627456180212093560/204679505657311203758084\ 059187288993540221*c_1100_0^2 + 29191718941344008031179939736143052\ 42990981/409359011314622407516168118374577987080442*c_1100_0 + 447497511194521805614430080468884809051643/409359011314622407516168\ 118374577987080442, c_1001_0 - 33119502918338879746524256810918358401083/409359011314622407\ 516168118374577987080442*c_1100_0^19 - 1028525422269701182553857639538159518782/38618774652322868633600765\ 88439414972457*c_1100_0^18 + 21299548164994414414410452486570905425\ 1254/204679505657311203758084059187288993540221*c_1100_0^17 + 89326479070226917735266159233328459473885/2046795056573112037580840\ 59187288993540221*c_1100_0^16 + 18323716683370974333238668882787296\ 0783995/204679505657311203758084059187288993540221*c_1100_0^15 + 730754266996647832765684351423204022019799/409359011314622407516168\ 118374577987080442*c_1100_0^14 + 5202329751544505089172130057684447\ 77010366/204679505657311203758084059187288993540221*c_1100_0^13 + 1048653871018592336653182777306399282245471/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 262435530710078728583548129517161\ 519518023/204679505657311203758084059187288993540221*c_1100_0^11 + 736483111836170814734336487841946522361066/204679505657311203758084\ 059187288993540221*c_1100_0^10 - 2387523213403258553068259895462600\ 377622971/409359011314622407516168118374577987080442*c_1100_0^9 + 1620980099216007734781944649865250343796687/40935901131462240751616\ 8118374577987080442*c_1100_0^8 + 1629343690711299405662688485585395\ 191613875/409359011314622407516168118374577987080442*c_1100_0^7 - 1227833509244562370334176456929575530061741/20467950565731120375808\ 4059187288993540221*c_1100_0^6 - 7162054179675448107419008376544281\ 389202651/409359011314622407516168118374577987080442*c_1100_0^5 + 511517435592480000057630666371279233507929/204679505657311203758084\ 059187288993540221*c_1100_0^4 + 13123404580168987146017532386399531\ 08995575/204679505657311203758084059187288993540221*c_1100_0^3 + 570731767949223289559900493755660730450095/204679505657311203758084\ 059187288993540221*c_1100_0^2 - 23629738603478433984304464165311860\ 1086495/409359011314622407516168118374577987080442*c_1100_0 - 241333134161566379677990994531155133264638/204679505657311203758084\ 059187288993540221, c_1001_5 - 28171100005450426749028139994421575016227/204679505657311203\ 758084059187288993540221*c_1100_0^19 - 1752919761757835913999154195064740121682/38618774652322868633600765\ 88439414972457*c_1100_0^18 + 36200065823122217676412889635745228093\ 4755/204679505657311203758084059187288993540221*c_1100_0^17 + 157580447855178935002077259411026122280997/204679505657311203758084\ 059187288993540221*c_1100_0^16 + 3191668928135396357821185284308513\ 18308212/204679505657311203758084059187288993540221*c_1100_0^15 + 592979638926069884638136428434202296015524/204679505657311203758084\ 059187288993540221*c_1100_0^14 + 8831053347725740977259096432167820\ 60947418/204679505657311203758084059187288993540221*c_1100_0^13 + 1707733879164954586142992632025684421496693/20467950565731120375808\ 4059187288993540221*c_1100_0^12 + 335216951880762020314296282112803\ 123860304/204679505657311203758084059187288993540221*c_1100_0^11 + 1079503319355076249890902141802626641705167/20467950565731120375808\ 4059187288993540221*c_1100_0^10 - 235684989782622865139885690632533\ 8938993290/204679505657311203758084059187288993540221*c_1100_0^9 + 1045821168188312002225241929685906549865219/20467950565731120375808\ 4059187288993540221*c_1100_0^8 + 8539683890830265896574774563358339\ 08678843/204679505657311203758084059187288993540221*c_1100_0^7 - 2245302864864621960662568768764916310170053/20467950565731120375808\ 4059187288993540221*c_1100_0^6 - 6708576384520715802934878632514500\ 595366269/204679505657311203758084059187288993540221*c_1100_0^5 + 548578841087876560546979561520297621887629/204679505657311203758084\ 059187288993540221*c_1100_0^4 + 20368896992940581226832988305530484\ 76808694/204679505657311203758084059187288993540221*c_1100_0^3 + 886537352604300966615259666914646435213651/204679505657311203758084\ 059187288993540221*c_1100_0^2 - 37855048375281662580474884116713048\ 0168460/204679505657311203758084059187288993540221*c_1100_0 - 19483043054759764044502511263389541329855/2046795056573112037580840\ 59187288993540221, c_1100_0^20 + 3*c_1100_0^19 - 125/9*c_1100_0^18 - 2*c_1100_0^17 - 82/9*c_1100_0^16 - 151/9*c_1100_0^15 - 215/9*c_1100_0^14 - 149/3*c_1100_0^13 + 26/3*c_1100_0^12 - 88/3*c_1100_0^11 + 295/3*c_1100_0^10 - 532/9*c_1100_0^9 - 23*c_1100_0^8 + 782/9*c_1100_0^7 + 1954/9*c_1100_0^6 - 823/9*c_1100_0^5 - 737/9*c_1100_0^4 - 230/9*c_1100_0^3 + 235/9*c_1100_0^2 + 53/9*c_1100_0 - 1/9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.810 Total time: 4.019 seconds, Total memory usage: 82.56MB