Magma V2.19-8 Wed Aug 21 2013 00:13:14 on localhost [Seed = 2934489798] Type ? for help. Type -D to quit. Loading file "K13n3466__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3466 geometric_solution 11.53507898 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 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 5 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.254771906941 0.783716787462 0 2 5 2 0132 0213 0132 1023 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 -1 1 0 0 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.261820671492 0.822325430640 6 0 1 1 0132 0132 0213 1023 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 -1 1 0 0 0 0 1 -5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.415185542452 0.376090030464 6 6 7 0 1023 0321 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 1 -1 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.814497720311 0.847521627803 5 8 0 9 0132 0132 0132 0132 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 0 0 0 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.753113335360 1.009782947593 4 7 6 1 0132 2031 3120 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 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.630910048767 0.305718321517 2 3 5 3 0132 1023 3120 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 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.410510207066 0.613390727097 5 8 10 3 1302 1302 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 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.452152412338 0.496134123268 11 4 9 7 0132 0132 1302 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.351800204584 0.396931335619 8 12 4 12 2031 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.735700247721 0.619066380957 12 11 12 7 0132 1230 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 0 0 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.044419489943 1.757432563986 8 11 10 11 0132 2310 3012 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 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.818031334901 0.878914464577 10 9 10 9 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464636407203 0.412143997806 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : d['c_0101_11'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_7'], 'c_1001_0' : d['c_0101_0'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : d['c_0110_9'], 'c_1001_8' : d['c_0110_9'], 'c_1010_12' : d['c_0110_9'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_0101_11'], '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_0011_11'], '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_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_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_6']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_6']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_0101_6'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_5']), 'c_1010_6' : d['c_0101_0'], 'c_1010_5' : d['c_0011_7'], 'c_1010_4' : d['c_0110_9'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0101_10'], '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_1100_0']), '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_10'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_7'], 'c_0110_6' : negation(d['c_0011_0']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0101_10'], 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_0'], 'c_0101_7' : d['c_0011_11'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : negation(d['c_0011_10']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1100_0'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_5'], 'c_0110_7' : d['c_0101_3'], 'c_1100_8' : d['c_0101_5'], '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_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_5, c_0101_6, c_0110_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 12440006232316774301109999993654095793479583914618/2344220465060270\ 55336478673539074118384738017168375*c_1100_0^17 + 2283477789054470968521842137806502554897417394541/70326613951808116\ 6009436020617222355154214051505125*c_1100_0^16 + 115681944934240301053403731082524098766530762135271/234422046506027\ 055336478673539074118384738017168375*c_1100_0^15 + 52564720158301626640389752985100678503517596048652/5409739534754470\ 5077648924662863258088785696269625*c_1100_0^14 - 2792558985693636831496306440081555518762816028842788/70326613951808\ 1166009436020617222355154214051505125*c_1100_0^13 + 2671113239121006620846981648700606490236477474268346/14065322790361\ 6233201887204123444471030842810301025*c_1100_0^12 - 3964501696309982017999286163899293590377693002124699/30576788674699\ 181130845044374661841528444089195875*c_1100_0^11 + 69968546546364430442970284181656388350761256092683818/2344220465060\ 27055336478673539074118384738017168375*c_1100_0^10 - 8919320710940339066677775391140948288504235621160877/54097395347544\ 705077648924662863258088785696269625*c_1100_0^9 - 4400192816875990138121460590272689757070601622778464/14963109351448\ 535447009277034408986279876894712875*c_1100_0^8 + 3988692557950105599738641121920838268319668153274326/10819479069508\ 941015529784932572651617757139253925*c_1100_0^7 + 16949610706636820563180642806867521049985365881582707/7032661395180\ 81166009436020617222355154214051505125*c_1100_0^6 - 50398779695439367601477436418930196079728864225102164/2344220465060\ 27055336478673539074118384738017168375*c_1100_0^5 + 3827886521917928157211937347710868242012058989870881/23442204650602\ 7055336478673539074118384738017168375*c_1100_0^4 + 205800104954248341479540577772502823968994747355816/710369837897051\ 6828378141622396185405598121732375*c_1100_0^3 + 242873287625881800721288769007533111403289267287157/703266139518081\ 166009436020617222355154214051505125*c_1100_0^2 - 271123331222772017020891756083709636791206845988954/703266139518081\ 166009436020617222355154214051505125*c_1100_0 + 86623907167604738157549581595837044772165725258882/7032661395180811\ 66009436020617222355154214051505125, c_0011_0 - 1, c_0011_10 - 449897085999464476231336109152583/6073956596961113479888322\ 22408493*c_1100_0^17 + 1881685684333595897287666299192779/182218697\ 9088334043966496667225479*c_1100_0^16 + 11506727490599499328473682330462459/1822186979088334043966496667225\ 479*c_1100_0^15 + 8842824267934569028754114790179236/18221869790883\ 34043966496667225479*c_1100_0^14 - 41950090832630704050609605451469209/6073956596961113479888322224084\ 93*c_1100_0^13 + 627764150533653099426131509466132228/1822186979088\ 334043966496667225479*c_1100_0^12 - 1340448690045027973806954606015522683/60739565969611134798883222240\ 8493*c_1100_0^11 + 4129187440908362159209988079957444010/6073956596\ 96111347988832222408493*c_1100_0^10 - 5643006569014766046471292372640361309/60739565969611134798883222240\ 8493*c_1100_0^9 + 1853918379591979076882613682394984601/60739565969\ 6111347988832222408493*c_1100_0^8 + 10387373318693449765358417265478481270/1822186979088334043966496667\ 225479*c_1100_0^7 - 3400983823514285857253175671978483633/607395659\ 696111347988832222408493*c_1100_0^6 - 559604431043677751609874425137338874/182218697908833404396649666722\ 5479*c_1100_0^5 + 3487587862895561495188274216768965831/18221869790\ 88334043966496667225479*c_1100_0^4 - 544539667261505322654469488667732634/182218697908833404396649666722\ 5479*c_1100_0^3 - 26776333197576606858891289401581500/6073956596961\ 11347988832222408493*c_1100_0^2 + 461984772013804706539892947461166\ 55/1822186979088334043966496667225479*c_1100_0 - 8015403518532814092845187174748495/18221869790883340439664966672254\ 79, c_0011_11 - 832882226947558254094916875875176/1822186979088334043966496\ 667225479*c_1100_0^17 + 1163262783868967301231560699496881/18221869\ 79088334043966496667225479*c_1100_0^16 + 7100074649949125222685485767513451/18221869790883340439664966672254\ 79*c_1100_0^15 + 1812721769939196858443946884666394/607395659696111\ 347988832222408493*c_1100_0^14 - 7769522623055045719117315397788893\ 5/1822186979088334043966496667225479*c_1100_0^13 + 129182160201578767735989972176195987/607395659696111347988832222408\ 493*c_1100_0^12 - 827443990400870655809117445946142740/607395659696\ 111347988832222408493*c_1100_0^11 + 2549866986678368523366299213481579736/60739565969611134798883222240\ 8493*c_1100_0^10 - 3486674742993353343662164334576520012/6073956596\ 96111347988832222408493*c_1100_0^9 + 3443423212964100273318768609033180682/18221869790883340439664966672\ 25479*c_1100_0^8 + 2138183608518568371585131523890596561/6073956596\ 96111347988832222408493*c_1100_0^7 - 6307652910639589243238529906676038272/18221869790883340439664966672\ 25479*c_1100_0^6 - 342888797074083748029900303869166700/18221869790\ 88334043966496667225479*c_1100_0^5 + 2156843995994342008097428812730482062/18221869790883340439664966672\ 25479*c_1100_0^4 - 112217157062660108559969087228014021/60739565969\ 6111347988832222408493*c_1100_0^3 - 49662345144266830204611743946226184/1822186979088334043966496667225\ 479*c_1100_0^2 + 27749547518666509106006362496706433/18221869790883\ 34043966496667225479*c_1100_0 - 1651367398107627842609595015215664/\ 607395659696111347988832222408493, c_0011_7 + 132078720006001446127051820666812/18221869790883340439664966\ 67225479*c_1100_0^17 - 149108196093201520485001312313866/1822186979\ 088334043966496667225479*c_1100_0^16 - 1171856351180809819942075649868145/18221869790883340439664966672254\ 79*c_1100_0^15 - 388147722528533255260255692886628/6073956596961113\ 47988832222408493*c_1100_0^14 + 12054684458012237817954947316214339\ /1822186979088334043966496667225479*c_1100_0^13 - 19405678335310306620021425862120147/6073956596961113479888322224084\ 93*c_1100_0^12 + 125830277782039280562468586492575518/6073956596961\ 11347988832222408493*c_1100_0^11 - 369633395965548847213603661004967671/607395659696111347988832222408\ 493*c_1100_0^10 + 447439128765437289571398677442339952/607395659696\ 111347988832222408493*c_1100_0^9 - 121222059865408849624096203499171361/182218697908833404396649666722\ 5479*c_1100_0^8 - 386192600129173298569465712978032040/607395659696\ 111347988832222408493*c_1100_0^7 + 766188159202463618699978041308615763/182218697908833404396649666722\ 5479*c_1100_0^6 + 280551960076545677254040538404784461/182218697908\ 8334043966496667225479*c_1100_0^5 - 337025038810539957753469422077427505/182218697908833404396649666722\ 5479*c_1100_0^4 - 1852251242787532919710171075351268/60739565969611\ 1347988832222408493*c_1100_0^3 + 1724903442788673590394620660327912\ 8/1822186979088334043966496667225479*c_1100_0^2 - 9571894197424994441612144557722020/18221869790883340439664966672254\ 79*c_1100_0 - 141139289263568705473891420289222/6073956596961113479\ 88832222408493, c_0101_0 - 182406670705213660533850844772193/18221869790883340439664966\ 67225479*c_1100_0^17 + 221422689064774516957475417620115/1822186979\ 088334043966496667225479*c_1100_0^16 + 528668787670192295390738369268256/607395659696111347988832222408493\ *c_1100_0^15 + 1494626454258475852222618434803708/18221869790883340\ 43966496667225479*c_1100_0^14 - 16660738014416756101943823052583752\ /1822186979088334043966496667225479*c_1100_0^13 + 81885837763806995918200408425622507/1822186979088334043966496667225\ 479*c_1100_0^12 - 176528024145648790192331639660334493/607395659696\ 111347988832222408493*c_1100_0^11 + 527640068803102417966803036082310647/607395659696111347988832222408\ 493*c_1100_0^10 - 676562370584532326058223123545667931/607395659696\ 111347988832222408493*c_1100_0^9 + 470612504294637979569853088207633234/182218697908833404396649666722\ 5479*c_1100_0^8 + 1373051516573985494755779946157141023/18221869790\ 88334043966496667225479*c_1100_0^7 - 1099031806444873434651309682089271594/18221869790883340439664966672\ 25479*c_1100_0^6 - 192435742502533122337269067614428581/18221869790\ 88334043966496667225479*c_1100_0^5 + 120824420620299037467887463440051190/607395659696111347988832222408\ 493*c_1100_0^4 - 13576649707391248227361517418935644/18221869790883\ 34043966496667225479*c_1100_0^3 + 120016113955643801186318388839050\ 49/1822186979088334043966496667225479*c_1100_0^2 + 1770720488386787887194063465528477/60739565969611134798883222240849\ 3*c_1100_0 - 321186285187615136952752170180601/18221869790883340439\ 66496667225479, c_0101_1 + 285854390056508703913077132676718/18221869790883340439664966\ 67225479*c_1100_0^17 - 108607140127532094548408954643423/6073956596\ 96111347988832222408493*c_1100_0^16 - 2532760459703431639589669362051471/18221869790883340439664966672254\ 79*c_1100_0^15 - 2497115780355707887797792823892600/182218697908833\ 4043966496667225479*c_1100_0^14 + 261225112868085302072033947394521\ 52/1822186979088334043966496667225479*c_1100_0^13 - 126240430736009237919732081075621859/182218697908833404396649666722\ 5479*c_1100_0^12 + 272799969046878738583533448683601266/60739565969\ 6111347988832222408493*c_1100_0^11 - 803081502135804437118198629220523630/607395659696111347988832222408\ 493*c_1100_0^10 + 977710164520211698818941946394397624/607395659696\ 111347988832222408493*c_1100_0^9 - 306548052448224058880614141231459864/182218697908833404396649666722\ 5479*c_1100_0^8 - 2467009283940936274412889896341895908/18221869790\ 88334043966496667225479*c_1100_0^7 + 1639917365984567558571153305376708692/18221869790883340439664966672\ 25479*c_1100_0^6 + 196971526109645933526335907813961191/60739565969\ 6111347988832222408493*c_1100_0^5 - 692660618114059515984509728131044434/182218697908833404396649666722\ 5479*c_1100_0^4 - 33078056742289232496486373015048469/1822186979088\ 334043966496667225479*c_1100_0^3 + 30485513723959187008683536770462058/1822186979088334043966496667225\ 479*c_1100_0^2 - 12903087645430214980282541567893370/18221869790883\ 34043966496667225479*c_1100_0 - 830495116988574261300805890331624/1\ 822186979088334043966496667225479, c_0101_10 - 273511743431645588964398444364192/6073956596961113479888322\ 22408493*c_1100_0^17 + 1151941426315308669151957103083018/182218697\ 9088334043966496667225479*c_1100_0^16 + 6989998474912861632175085025252608/18221869790883340439664966672254\ 79*c_1100_0^15 + 5305630253506954693182341382330002/182218697908833\ 4043966496667225479*c_1100_0^14 - 255379967986172583185418386550279\ 09/607395659696111347988832222408493*c_1100_0^13 + 382299984823772866030537604147272186/182218697908833404396649666722\ 5479*c_1100_0^12 - 816003620638692067471303702043626992/60739565969\ 6111347988832222408493*c_1100_0^11 + 2517513685991120858704061034434789771/60739565969611134798883222240\ 8493*c_1100_0^10 - 3450147584062982249503740069147750693/6073956596\ 96111347988832222408493*c_1100_0^9 + 1148079849494444822981400701820959186/60739565969611134798883222240\ 8493*c_1100_0^8 + 6313553965060870331957586732831580540/18221869790\ 88334043966496667225479*c_1100_0^7 - 2083263749258552339666933823396445567/60739565969611134798883222240\ 8493*c_1100_0^6 - 313767514504606891096659078135011309/182218697908\ 8334043966496667225479*c_1100_0^5 + 2128340307093353892342266270718707375/18221869790883340439664966672\ 25479*c_1100_0^4 - 335671234506799874093935807909052653/18221869790\ 88334043966496667225479*c_1100_0^3 - 15914784915569311677609178484213537/6073956596961113479888322224084\ 93*c_1100_0^2 + 22786842082707122829955199981126953/182218697908833\ 4043966496667225479*c_1100_0 - 4997265224973551002512331936279913/1\ 822186979088334043966496667225479, c_0101_11 - 832882226947558254094916875875176/1822186979088334043966496\ 667225479*c_1100_0^17 + 1163262783868967301231560699496881/18221869\ 79088334043966496667225479*c_1100_0^16 + 7100074649949125222685485767513451/18221869790883340439664966672254\ 79*c_1100_0^15 + 1812721769939196858443946884666394/607395659696111\ 347988832222408493*c_1100_0^14 - 7769522623055045719117315397788893\ 5/1822186979088334043966496667225479*c_1100_0^13 + 129182160201578767735989972176195987/607395659696111347988832222408\ 493*c_1100_0^12 - 827443990400870655809117445946142740/607395659696\ 111347988832222408493*c_1100_0^11 + 2549866986678368523366299213481579736/60739565969611134798883222240\ 8493*c_1100_0^10 - 3486674742993353343662164334576520012/6073956596\ 96111347988832222408493*c_1100_0^9 + 3443423212964100273318768609033180682/18221869790883340439664966672\ 25479*c_1100_0^8 + 2138183608518568371585131523890596561/6073956596\ 96111347988832222408493*c_1100_0^7 - 6307652910639589243238529906676038272/18221869790883340439664966672\ 25479*c_1100_0^6 - 342888797074083748029900303869166700/18221869790\ 88334043966496667225479*c_1100_0^5 + 2156843995994342008097428812730482062/18221869790883340439664966672\ 25479*c_1100_0^4 - 112217157062660108559969087228014021/60739565969\ 6111347988832222408493*c_1100_0^3 - 49662345144266830204611743946226184/1822186979088334043966496667225\ 479*c_1100_0^2 + 29571734497754843149972859163931912/18221869790883\ 34043966496667225479*c_1100_0 - 1651367398107627842609595015215664/\ 607395659696111347988832222408493, c_0101_3 + 157045604793736490486943579893566/60739565969611134798883222\ 2408493*c_1100_0^17 - 760398257454114107422228966723511/18221869790\ 88334043966496667225479*c_1100_0^16 - 3891695403363627422356588864125568/18221869790883340439664966672254\ 79*c_1100_0^15 - 2194155171485442601098348094918474/182218697908833\ 4043966496667225479*c_1100_0^14 + 149308364736192219278972399721283\ 40/607395659696111347988832222408493*c_1100_0^13 - 228508573524681401607382711780528082/182218697908833404396649666722\ 5479*c_1100_0^12 + 483419561444592699717989926930503671/60739565969\ 6111347988832222408493*c_1100_0^11 - 1541731207754141375044531903317534110/60739565969611134798883222240\ 8493*c_1100_0^10 + 2269839402056560877708907660754453618/6073956596\ 96111347988832222408493*c_1100_0^9 - 1037056821789252698444658233634196381/60739565969611134798883222240\ 8493*c_1100_0^8 - 3301085310440240826150241452879801860/18221869790\ 88334043966496667225479*c_1100_0^7 + 1423629629304009409866650539285261260/60739565969611134798883222240\ 8493*c_1100_0^6 - 421371789051808280552657390178544397/182218697908\ 8334043966496667225479*c_1100_0^5 - 1276126801196003012989248464261876056/18221869790883340439664966672\ 25479*c_1100_0^4 + 366177676699544278618692806709266645/18221869790\ 88334043966496667225479*c_1100_0^3 + 2536210231637487574705060265918725/60739565969611134798883222240849\ 3*c_1100_0^2 + 1785420905172957181450171580980366/18221869790883340\ 43966496667225479*c_1100_0 + 6049271189183776559193490982324794/182\ 2186979088334043966496667225479, c_0101_5 - 624912484431716729246856051690604/18221869790883340439664966\ 67225479*c_1100_0^17 + 937111481743508870582454518339914/1822186979\ 088334043966496667225479*c_1100_0^16 + 5252599511886249242004182576308894/18221869790883340439664966672254\ 79*c_1100_0^15 + 1175609261418516907705124613383730/607395659696111\ 347988832222408493*c_1100_0^14 - 5886033624965395817294016733962283\ 3/1822186979088334043966496667225479*c_1100_0^13 + 98843989751586573222350171756596500/6073956596961113479888322224084\ 93*c_1100_0^12 - 630389252709432157739054789121529419/6073956596961\ 11347988832222408493*c_1100_0^11 + 1975179313924396964949126871533090069/60739565969611134798883222240\ 8493*c_1100_0^10 - 2800110437811335286956450929706511290/6073956596\ 96111347988832222408493*c_1100_0^9 + 3296496457950573304590492638634877646/18221869790883340439664966672\ 25479*c_1100_0^8 + 1536505597997885734951578070095867216/6073956596\ 96111347988832222408493*c_1100_0^7 - 5144618094694132169471126881923876709/18221869790883340439664966672\ 25479*c_1100_0^6 + 111009170799416157227690205141445285/18221869790\ 88334043966496667225479*c_1100_0^5 + 1631762380499522571220288770315492985/18221869790883340439664966672\ 25479*c_1100_0^4 - 112885457895205881627112315640090660/60739565969\ 6111347988832222408493*c_1100_0^3 - 20845109990984913828852510964939105/1822186979088334043966496667225\ 479*c_1100_0^2 + 1545772542832263357220225429190984/182218697908833\ 4043966496667225479*c_1100_0 - 1880731313328636138104786450953612/6\ 07395659696111347988832222408493, c_0101_6 - 344413868683359509688114478448821/18221869790883340439664966\ 67225479*c_1100_0^17 + 103511969264605816711733214000363/6073956596\ 96111347988832222408493*c_1100_0^16 + 3126076563935022417240709726212332/18221869790883340439664966672254\ 79*c_1100_0^15 + 3759212628191285323189198890699895/182218697908833\ 4043966496667225479*c_1100_0^14 - 305913321419102058474545902250576\ 92/1822186979088334043966496667225479*c_1100_0^13 + 144756049472160613904903243869431098/182218697908833404396649666722\ 5479*c_1100_0^12 - 317193134287807666076933953121294772/60739565969\ 6111347988832222408493*c_1100_0^11 + 892174218318712929560512452476540522/607395659696111347988832222408\ 493*c_1100_0^10 - 966035917205308603861180785297823093/607395659696\ 111347988832222408493*c_1100_0^9 - 305905116768867952155363784628409874/182218697908833404396649666722\ 5479*c_1100_0^8 + 2846252207033584312179962971776743804/18221869790\ 88334043966496667225479*c_1100_0^7 - 1219491370573697989527177670627177033/18221869790883340439664966672\ 25479*c_1100_0^6 - 343502696096226345218120573554338159/60739565969\ 6111347988832222408493*c_1100_0^5 + 541249542587385558805886964636224921/182218697908833404396649666722\ 5479*c_1100_0^4 + 212550487113576440664367337966634394/182218697908\ 8334043966496667225479*c_1100_0^3 + 23626394121944162856769028788462931/1822186979088334043966496667225\ 479*c_1100_0^2 + 5318662220194612863094521016407268/182218697908833\ 4043966496667225479*c_1100_0 + 954618861773818960948485929286338/18\ 22186979088334043966496667225479, c_0110_9 - 769338201090339662575629415140016/18221869790883340439664966\ 67225479*c_1100_0^17 + 365847011796789674382353142355881/6073956596\ 96111347988832222408493*c_1100_0^16 + 6534532038103322652456658968437882/18221869790883340439664966672254\ 79*c_1100_0^15 + 4823806008151786371045640190480254/182218697908833\ 4043966496667225479*c_1100_0^14 - 719962565423648782264427526686423\ 80/1822186979088334043966496667225479*c_1100_0^13 + 359995500041654076704547105237465716/182218697908833404396649666722\ 5479*c_1100_0^12 - 767659900253650026639337119516620685/60739565969\ 6111347988832222408493*c_1100_0^11 + 2377166010577193476824968711584847705/60739565969611134798883222240\ 8493*c_1100_0^10 - 3284076725507143670686273872577620561/6073956596\ 96111347988832222408493*c_1100_0^9 + 3416902182296747958589155345704352131/18221869790883340439664966672\ 25479*c_1100_0^8 + 5869091454876011883360939188061906911/1822186979\ 088334043966496667225479*c_1100_0^7 - 5968667916760528012408833359719194043/18221869790883340439664966672\ 25479*c_1100_0^6 - 66221357282202125653197186332498189/607395659696\ 111347988832222408493*c_1100_0^5 + 1997291108211050644728920734404695177/18221869790883340439664966672\ 25479*c_1100_0^4 - 334079856638435497708177887469207586/18221869790\ 88334043966496667225479*c_1100_0^3 - 40012134816430544904582926061803806/1822186979088334043966496667225\ 479*c_1100_0^2 + 14258185197128310030917035835267005/18221869790883\ 34043966496667225479*c_1100_0 - 5175613041544534823209138201360249/\ 1822186979088334043966496667225479, c_1100_0^18 - c_1100_0^17 - 9*c_1100_0^16 - 10*c_1100_0^15 + 90*c_1100_0^14 - 429*c_1100_0^13 + 2803*c_1100_0^12 - 8037*c_1100_0^11 + 9141*c_1100_0^10 + 184*c_1100_0^9 - 8529*c_1100_0^8 + 4412*c_1100_0^7 + 2774*c_1100_0^6 - 1998*c_1100_0^5 - 472*c_1100_0^4 + 54*c_1100_0^3 - 23*c_1100_0^2 - 5*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 15.760 Total time: 15.980 seconds, Total memory usage: 32.09MB