Magma V2.19-8 Tue Aug 20 2013 23:40:05 on localhost [Seed = 2783166732] Type ? for help. Type -D to quit. Loading file "K14n3609__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n3609 geometric_solution 10.39484969 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 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 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 2 0 -2 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277829492289 0.853996498083 0 1 1 4 0132 3201 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.212463031669 0.974249716756 5 0 5 6 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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 -3 3 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253777981510 0.669422462276 7 8 5 0 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331621641631 0.543529900083 1 6 0 5 3012 1023 0132 0321 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 1 -1 0 0 0 0 0 -1 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577348307581 0.682738255833 2 4 2 3 0132 0321 1023 3012 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 1 0 -1 0 0 0 0 1 -1 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.253777981510 0.669422462276 4 7 2 8 1023 0213 0132 0213 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 1 -1 0 0 0 0 0 1 0 0 -1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.181984333244 1.340732683885 3 9 6 10 0132 0132 0213 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 0 -1 1 0 0 0 0 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.488743499642 0.786755666143 10 3 9 6 0132 0132 0132 0213 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 -1 1 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488743499642 0.786755666143 10 7 10 8 1023 0132 0132 0132 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 -1 0 0 1 -2 2 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.060043059120 1.351745108886 8 9 7 9 0132 1023 0132 0132 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 1 -1 0 0 0 0 0 -3 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.060043059120 1.351745108886 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_8'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : d['c_0101_5'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : d['c_0101_8'], 'c_1001_8' : d['c_1001_0'], 'c_1010_10' : d['c_0101_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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_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_1100_9' : d['c_1010_6'], 'c_1100_8' : d['c_1010_6'], 'c_1100_5' : negation(d['c_1001_3']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_1010_6'], 'c_1100_6' : d['c_1001_3'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : d['c_1001_3'], 'c_1100_10' : d['c_1010_6'], 'c_1010_7' : d['c_0101_8'], 'c_1010_6' : d['c_1010_6'], 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : d['c_1001_3'], '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'], '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' : negation(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_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_8'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_10'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_4'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_8'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0011_4'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : negation(d['c_0101_10'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0101_1, c_0101_10, c_0101_2, c_0101_5, c_0101_8, c_1001_0, c_1001_3, c_1010_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 504295470813084830543800132296142453734183982483232/931833699114297\ 17291264384113169819098596226809*c_1010_6^22 - 819591985811636953269135922672516951671561140486864/931833699114297\ 17291264384113169819098596226809*c_1010_6^21 + 3511759368223574610702738040508351743982457575531432/93183369911429\ 717291264384113169819098596226809*c_1010_6^20 + 10598168860564304524450384393347189662388513780907796/9318336991142\ 9717291264384113169819098596226809*c_1010_6^19 - 398278152428598909647684861034493774965044464758140/716795153164843\ 9791635721854859216853738171293*c_1010_6^18 - 72320142660399687019646212470406587137086006498524631/9318336991142\ 9717291264384113169819098596226809*c_1010_6^17 - 65340107360926206374470181034104299703085554706603071/3106112330380\ 9905763754794704389939699532075603*c_1010_6^16 - 24534190520087042442331508436961927232449221814655636/7167951531648\ 439791635721854859216853738171293*c_1010_6^15 - 299912071500549909244362249277892239883157838029199225/931833699114\ 29717291264384113169819098596226809*c_1010_6^14 - 763404747881710971756921064429701265683144315479272/100197171947773\ 8895604993377560965796759099213*c_1010_6^13 + 46456499837574159937039926595944282501903125328924992/3106112330380\ 9905763754794704389939699532075603*c_1010_6^12 + 101632507431172863708793185136921740497972404589201935/931833699114\ 29717291264384113169819098596226809*c_1010_6^11 - 62328285494294140680736645874475365588749199144711179/9318336991142\ 9717291264384113169819098596226809*c_1010_6^10 - 106490078014778942082228806050057107396271286771117710/931833699114\ 29717291264384113169819098596226809*c_1010_6^9 - 48664055142682582565347428305503747137762375339841478/9318336991142\ 9717291264384113169819098596226809*c_1010_6^8 - 1853598599705713647041415616585741334657643148147664/93183369911429\ 717291264384113169819098596226809*c_1010_6^7 + 2133477087213907137922995592509300230730122741623366/31061123303809\ 905763754794704389939699532075603*c_1010_6^6 + 2529767780278961762882780466003277706210149539383912/93183369911429\ 717291264384113169819098596226809*c_1010_6^5 + 96132510147496240317237420029279736524817051062785/1035370776793663\ 5254584931568129979899844025201*c_1010_6^4 + 7457780510985181989811370044611708652107731215211/30059151584332166\ 86814980132682897390277297639*c_1010_6^3 - 179858826030283116573570406102366116934358731077026/931833699114297\ 17291264384113169819098596226809*c_1010_6^2 - 4178876709896557179399779498791771352460234579230/71679515316484397\ 91635721854859216853738171293*c_1010_6 + 7202751049389393623823621445956530959152825475979/31061123303809905\ 763754794704389939699532075603, c_0011_0 - 1, c_0011_10 - c_1010_6, c_0011_4 - 246174041956523030954695069984490546683735936/10773889456749\ 880597903154597429739750097841*c_1010_6^22 - 494175881217851052182589674984191636273276832/107738894567498805979\ 03154597429739750097841*c_1010_6^21 + 1537346840129105798042249889050914124154756624/10773889456749880597\ 903154597429739750097841*c_1010_6^20 + 5785517844724614938155581563794586111435081336/10773889456749880597\ 903154597429739750097841*c_1010_6^19 - 30246464797949804779965458803920575499563340/8287607274422985075310\ 11892109979980776757*c_1010_6^18 - 35741269235023367037461135771803153391804083956/1077388945674988059\ 7903154597429739750097841*c_1010_6^17 - 109317781123079743235495205881147904844783043177/107738894567498805\ 97903154597429739750097841*c_1010_6^16 - 15052491113793451187287830024965912847501011634/8287607274422985075\ 31011892109979980776757*c_1010_6^15 - 215863666999917119317096922100640854840815782119/107738894567498805\ 97903154597429739750097841*c_1010_6^14 - 107895170918602566644964745785201430024052120561/107738894567498805\ 97903154597429739750097841*c_1010_6^13 + 36426781794860284672659812322586560337319289910/1077388945674988059\ 7903154597429739750097841*c_1010_6^12 + 67139114186543531596743704358168031433257638324/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 - 8392183992448171505304322799869610531399624807/10773889456749880597\ 903154597429739750097841*c_1010_6^10 - 59397497062471019454927504019919450366640277048/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 - 45779039621557323283905244875061802273344168676/1077388945674988059\ 7903154597429739750097841*c_1010_6^8 - 14823615597480851612138372618165331965889570941/1077388945674988059\ 7903154597429739750097841*c_1010_6^7 - 217915390967119056225817259930391566145104001/107738894567498805979\ 03154597429739750097841*c_1010_6^6 + 1355809055362414803201408848032052432983048239/10773889456749880597\ 903154597429739750097841*c_1010_6^5 + 414668167513335031649852057798602886432221912/107738894567498805979\ 03154597429739750097841*c_1010_6^4 + 93762890231067315262052488557496829433445506/1077388945674988059790\ 3154597429739750097841*c_1010_6^3 - 12750339962432235047754606997272142311249538/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 - 80344523784692481368005784771769859859512/8287607274422985075310118\ 92109979980776757*c_1010_6 + 13845492123877537996523947310136329455\ 444578/10773889456749880597903154597429739750097841, c_0101_1 - 637616321060274787361426806853331881171270976/10773889456749\ 880597903154597429739750097841*c_1010_6^22 - 1249912539309346125471295017005283421047994592/10773889456749880597\ 903154597429739750097841*c_1010_6^21 + 4048023037284009978981209583749830606740748720/10773889456749880597\ 903154597429739750097841*c_1010_6^20 + 14807552929867897531869755559628914739761598008/1077388945674988059\ 7903154597429739750097841*c_1010_6^19 - 135257555026021930589822341433654499161638784/828760727442298507531\ 011892109979980776757*c_1010_6^18 - 92648008778747776921958672075370141691749338670/1077388945674988059\ 7903154597429739750097841*c_1010_6^17 - 278779924393095358378788971807139508241741640316/107738894567498805\ 97903154597429739750097841*c_1010_6^16 - 37902645220133895219936560547855222886781043250/8287607274422985075\ 31011892109979980776757*c_1010_6^15 - 532731155081679335539677574790381355472309535790/107738894567498805\ 97903154597429739750097841*c_1010_6^14 - 248454184242022369167567529226957847945573974565/107738894567498805\ 97903154597429739750097841*c_1010_6^13 + 113027671601450097378741507399222354051661721031/107738894567498805\ 97903154597429739750097841*c_1010_6^12 + 172942363500665829518498463144938615990244165821/107738894567498805\ 97903154597429739750097841*c_1010_6^11 - 29881051209818945570450699627395496796242432892/1077388945674988059\ 7903154597429739750097841*c_1010_6^10 - 154503631465571183002385604548342667366949549378/107738894567498805\ 97903154597429739750097841*c_1010_6^9 - 111706469659709100852242590254086995802413985148/107738894567498805\ 97903154597429739750097841*c_1010_6^8 - 31487010648628103285247455129321588051484822863/1077388945674988059\ 7903154597429739750097841*c_1010_6^7 + 2746114038748812266078504352505269028877624588/10773889456749880597\ 903154597429739750097841*c_1010_6^6 + 4113811419886012928460153663889763165253746514/10773889456749880597\ 903154597429739750097841*c_1010_6^5 + 1000508777239648579407379625985958676787568388/10773889456749880597\ 903154597429739750097841*c_1010_6^4 + 104386173474873785241971482746176098602400123/107738894567498805979\ 03154597429739750097841*c_1010_6^3 - 89891673925205611681327715412994610236349953/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 - 382575635202019863901941428041438824550663/828760727442298507531011\ 892109979980776757*c_1010_6 + 3823941700422555794229935537439337109\ 6048719/10773889456749880597903154597429739750097841, c_0101_10 + 53944972262346646197554127074834399090214464/10773889456749\ 880597903154597429739750097841*c_1010_6^22 + 73426470048526259064426887990920485185003680/1077388945674988059790\ 3154597429739750097841*c_1010_6^21 - 386103667419122932786191790681146774986883312/107738894567498805979\ 03154597429739750097841*c_1010_6^20 - 1026517879754304498856112513158066222169019800/10773889456749880597\ 903154597429739750097841*c_1010_6^19 + 57453417967231163263985813695944713556639728/8287607274422985075310\ 11892109979980776757*c_1010_6^18 + 7412899377471200232215099876343129332082564506/10773889456749880597\ 903154597429739750097841*c_1010_6^17 + 19300618906285417007937619675859586365923653842/1077388945674988059\ 7903154597429739750097841*c_1010_6^16 + 2325784818268051094038345619195227778022046513/82876072744229850753\ 1011892109979980776757*c_1010_6^15 + 26264079300749031571940676967098634780523296520/1077388945674988059\ 7903154597429739750097841*c_1010_6^14 + 2567912434071585530308204682266995976388446281/10773889456749880597\ 903154597429739750097841*c_1010_6^13 - 16661603372917438064217678461293473511861537468/1077388945674988059\ 7903154597429739750097841*c_1010_6^12 - 11783474621779440518877418451514293979098086482/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 + 4654891649232535472869549888048534362141437412/10773889456749880597\ 903154597429739750097841*c_1010_6^10 + 10022668580817692140312546157184429183239221766/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 + 5588834470980508433806251311840529685731193988/10773889456749880597\ 903154597429739750097841*c_1010_6^8 - 116878101514368712289095404233226519554113899/107738894567498805979\ 03154597429739750097841*c_1010_6^7 - 1780854172220080260706993734535745111000688347/10773889456749880597\ 903154597429739750097841*c_1010_6^6 - 1060779456624269569394647509855649448786666927/10773889456749880597\ 903154597429739750097841*c_1010_6^5 - 224292083487312649131516651931899464771852192/107738894567498805979\ 03154597429739750097841*c_1010_6^4 + 26794480221193419803130646122992182795721545/1077388945674988059790\ 3154597429739750097841*c_1010_6^3 + 28720884880764942781044306689090937442314316/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 + 75017766014197233003782535594118583726373/8287607274422985075310118\ 92109979980776757*c_1010_6 - 11501311277598522836076061462574303801\ 6864/10773889456749880597903154597429739750097841, c_0101_2 + 157082756983620720316363202345980153144288544/10773889456749\ 880597903154597429739750097841*c_1010_6^22 + 254140347273799179489027547232922714750709104/107738894567498805979\ 03154597429739750097841*c_1010_6^21 - 1082618119459505768084125819918513418613084056/10773889456749880597\ 903154597429739750097841*c_1010_6^20 - 3283661005380806314794099246071246969195803228/10773889456749880597\ 903154597429739750097841*c_1010_6^19 + 117805684624541923864492410569712408828132328/828760727442298507531\ 011892109979980776757*c_1010_6^18 + 22326262559703788595501854874822780333960860947/1077388945674988059\ 7903154597429739750097841*c_1010_6^17 + 61238837924484737746110574988145910572816575264/1077388945674988059\ 7903154597429739750097841*c_1010_6^16 + 7737086736048369213149048034122676228096866805/82876072744229850753\ 1011892109979980776757*c_1010_6^15 + 96194075424175892502405566522378824335831681981/1077388945674988059\ 7903154597429739750097841*c_1010_6^14 + 25771759919475958987530613754993924983355532565/1077388945674988059\ 7903154597429739750097841*c_1010_6^13 - 41666945538353876477754202278617900539632778897/1077388945674988059\ 7903154597429739750097841*c_1010_6^12 - 34107891911962569505459207305185626055088782722/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 + 16429128877755818301491282012086148453577998598/1077388945674988059\ 7903154597429739750097841*c_1010_6^10 + 34052979675394417914008616460974382768745737617/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 + 18255318186029676737300039468030071116999256885/1077388945674988059\ 7903154597429739750097841*c_1010_6^8 + 1410914281705640412983869996616014113470080259/10773889456749880597\ 903154597429739750097841*c_1010_6^7 - 2889629261667246528813783653055312936792785884/10773889456749880597\ 903154597429739750097841*c_1010_6^6 - 1396766195126952435189511907628425778403921559/10773889456749880597\ 903154597429739750097841*c_1010_6^5 - 50775584820108303079620354304454649928920192/1077388945674988059790\ 3154597429739750097841*c_1010_6^4 + 144495213501462365765487646074790926479584983/107738894567498805979\ 03154597429739750097841*c_1010_6^3 + 81479864339196577875531586700806650250795994/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 - 454889677242811899237538628854665451438805/828760727442298507531011\ 892109979980776757*c_1010_6 - 4824514498643444040461635260700793041\ 947158/10773889456749880597903154597429739750097841, c_0101_5 - 157082756983620720316363202345980153144288544/10773889456749\ 880597903154597429739750097841*c_1010_6^22 - 254140347273799179489027547232922714750709104/107738894567498805979\ 03154597429739750097841*c_1010_6^21 + 1082618119459505768084125819918513418613084056/10773889456749880597\ 903154597429739750097841*c_1010_6^20 + 3283661005380806314794099246071246969195803228/10773889456749880597\ 903154597429739750097841*c_1010_6^19 - 117805684624541923864492410569712408828132328/828760727442298507531\ 011892109979980776757*c_1010_6^18 - 22326262559703788595501854874822780333960860947/1077388945674988059\ 7903154597429739750097841*c_1010_6^17 - 61238837924484737746110574988145910572816575264/1077388945674988059\ 7903154597429739750097841*c_1010_6^16 - 7737086736048369213149048034122676228096866805/82876072744229850753\ 1011892109979980776757*c_1010_6^15 - 96194075424175892502405566522378824335831681981/1077388945674988059\ 7903154597429739750097841*c_1010_6^14 - 25771759919475958987530613754993924983355532565/1077388945674988059\ 7903154597429739750097841*c_1010_6^13 + 41666945538353876477754202278617900539632778897/1077388945674988059\ 7903154597429739750097841*c_1010_6^12 + 34107891911962569505459207305185626055088782722/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 - 16429128877755818301491282012086148453577998598/1077388945674988059\ 7903154597429739750097841*c_1010_6^10 - 34052979675394417914008616460974382768745737617/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 - 18255318186029676737300039468030071116999256885/1077388945674988059\ 7903154597429739750097841*c_1010_6^8 - 1410914281705640412983869996616014113470080259/10773889456749880597\ 903154597429739750097841*c_1010_6^7 + 2889629261667246528813783653055312936792785884/10773889456749880597\ 903154597429739750097841*c_1010_6^6 + 1396766195126952435189511907628425778403921559/10773889456749880597\ 903154597429739750097841*c_1010_6^5 + 50775584820108303079620354304454649928920192/1077388945674988059790\ 3154597429739750097841*c_1010_6^4 - 144495213501462365765487646074790926479584983/107738894567498805979\ 03154597429739750097841*c_1010_6^3 - 81479864339196577875531586700806650250795994/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 + 454889677242811899237538628854665451438805/828760727442298507531011\ 892109979980776757*c_1010_6 + 4824514498643444040461635260700793041\ 947158/10773889456749880597903154597429739750097841, c_0101_8 - 54168479228420180625564822835716181061453984/107738894567498\ 80597903154597429739750097841*c_1010_6^22 - 130617691285524291608673444535484297794685008/107738894567498805979\ 03154597429739750097841*c_1010_6^21 + 309098817766052183111357948717870993282283240/107738894567498805979\ 03154597429739750097841*c_1010_6^20 + 1433869397890036054392669820276077825400034228/10773889456749880597\ 903154597429739750097841*c_1010_6^19 + 25023127014245878258025087330111746308363692/8287607274422985075310\ 11892109979980776757*c_1010_6^18 - 8211000572122663892739529933658539779880967299/10773889456749880597\ 903154597429739750097841*c_1010_6^17 - 27084064190754108050837525400441839951544852511/1077388945674988059\ 7903154597429739750097841*c_1010_6^16 - 3896598260498843088581965665611044850265687056/82876072744229850753\ 1011892109979980776757*c_1010_6^15 - 59126474667429909617003045411678759650316311036/1077388945674988059\ 7903154597429739750097841*c_1010_6^14 - 33526218537952658484887609147384143682342098798/1077388945674988059\ 7903154597429739750097841*c_1010_6^13 + 7288126399577129849491572566505207047554401830/10773889456749880597\ 903154597429739750097841*c_1010_6^12 + 20129754778540419259105385744163654935503520501/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 - 28006764950573292001426945495646706708986490/1077388945674988059790\ 3154597429739750097841*c_1010_6^10 - 16903961817812945244872304395993609356305504794/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 - 13518715851749829254244280736866481194735460017/1077388945674988059\ 7903154597429739750097841*c_1010_6^8 - 4071045831137201889391082174180103445984665477/10773889456749880597\ 903154597429739750097841*c_1010_6^7 + 116466616809850078572249263727066364462925995/107738894567498805979\ 03154597429739750097841*c_1010_6^6 + 269616270524577875896706951772120685042761530/107738894567498805979\ 03154597429739750097841*c_1010_6^5 - 21362677967898856665459131847895765290017167/1077388945674988059790\ 3154597429739750097841*c_1010_6^4 + 9222923817885201447262730801747604546876565/10773889456749880597903\ 154597429739750097841*c_1010_6^3 + 2206908032629282338846731605471586484911169/10773889456749880597903\ 154597429739750097841*c_1010_6^2 - 43433046644603063748698691451058122900839/8287607274422985075310118\ 92109979980776757*c_1010_6 + 45371254048855672354767977957741032439\ 45325/10773889456749880597903154597429739750097841, c_1001_0 + 53944972262346646197554127074834399090214464/107738894567498\ 80597903154597429739750097841*c_1010_6^22 + 73426470048526259064426887990920485185003680/1077388945674988059790\ 3154597429739750097841*c_1010_6^21 - 386103667419122932786191790681146774986883312/107738894567498805979\ 03154597429739750097841*c_1010_6^20 - 1026517879754304498856112513158066222169019800/10773889456749880597\ 903154597429739750097841*c_1010_6^19 + 57453417967231163263985813695944713556639728/8287607274422985075310\ 11892109979980776757*c_1010_6^18 + 7412899377471200232215099876343129332082564506/10773889456749880597\ 903154597429739750097841*c_1010_6^17 + 19300618906285417007937619675859586365923653842/1077388945674988059\ 7903154597429739750097841*c_1010_6^16 + 2325784818268051094038345619195227778022046513/82876072744229850753\ 1011892109979980776757*c_1010_6^15 + 26264079300749031571940676967098634780523296520/1077388945674988059\ 7903154597429739750097841*c_1010_6^14 + 2567912434071585530308204682266995976388446281/10773889456749880597\ 903154597429739750097841*c_1010_6^13 - 16661603372917438064217678461293473511861537468/1077388945674988059\ 7903154597429739750097841*c_1010_6^12 - 11783474621779440518877418451514293979098086482/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 + 4654891649232535472869549888048534362141437412/10773889456749880597\ 903154597429739750097841*c_1010_6^10 + 10022668580817692140312546157184429183239221766/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 + 5588834470980508433806251311840529685731193988/10773889456749880597\ 903154597429739750097841*c_1010_6^8 - 116878101514368712289095404233226519554113899/107738894567498805979\ 03154597429739750097841*c_1010_6^7 - 1780854172220080260706993734535745111000688347/10773889456749880597\ 903154597429739750097841*c_1010_6^6 - 1060779456624269569394647509855649448786666927/10773889456749880597\ 903154597429739750097841*c_1010_6^5 - 224292083487312649131516651931899464771852192/107738894567498805979\ 03154597429739750097841*c_1010_6^4 + 26794480221193419803130646122992182795721545/1077388945674988059790\ 3154597429739750097841*c_1010_6^3 + 28720884880764942781044306689090937442314316/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 + 75017766014197233003782535594118583726373/8287607274422985075310118\ 92109979980776757*c_1010_6 - 11501311277598522836076061462574303801\ 6864/10773889456749880597903154597429739750097841, c_1001_3 - 246174041956523030954695069984490546683735936/10773889456749\ 880597903154597429739750097841*c_1010_6^22 - 494175881217851052182589674984191636273276832/107738894567498805979\ 03154597429739750097841*c_1010_6^21 + 1537346840129105798042249889050914124154756624/10773889456749880597\ 903154597429739750097841*c_1010_6^20 + 5785517844724614938155581563794586111435081336/10773889456749880597\ 903154597429739750097841*c_1010_6^19 - 30246464797949804779965458803920575499563340/8287607274422985075310\ 11892109979980776757*c_1010_6^18 - 35741269235023367037461135771803153391804083956/1077388945674988059\ 7903154597429739750097841*c_1010_6^17 - 109317781123079743235495205881147904844783043177/107738894567498805\ 97903154597429739750097841*c_1010_6^16 - 15052491113793451187287830024965912847501011634/8287607274422985075\ 31011892109979980776757*c_1010_6^15 - 215863666999917119317096922100640854840815782119/107738894567498805\ 97903154597429739750097841*c_1010_6^14 - 107895170918602566644964745785201430024052120561/107738894567498805\ 97903154597429739750097841*c_1010_6^13 + 36426781794860284672659812322586560337319289910/1077388945674988059\ 7903154597429739750097841*c_1010_6^12 + 67139114186543531596743704358168031433257638324/1077388945674988059\ 7903154597429739750097841*c_1010_6^11 - 8392183992448171505304322799869610531399624807/10773889456749880597\ 903154597429739750097841*c_1010_6^10 - 59397497062471019454927504019919450366640277048/1077388945674988059\ 7903154597429739750097841*c_1010_6^9 - 45779039621557323283905244875061802273344168676/1077388945674988059\ 7903154597429739750097841*c_1010_6^8 - 14823615597480851612138372618165331965889570941/1077388945674988059\ 7903154597429739750097841*c_1010_6^7 - 217915390967119056225817259930391566145104001/107738894567498805979\ 03154597429739750097841*c_1010_6^6 + 1355809055362414803201408848032052432983048239/10773889456749880597\ 903154597429739750097841*c_1010_6^5 + 414668167513335031649852057798602886432221912/107738894567498805979\ 03154597429739750097841*c_1010_6^4 + 93762890231067315262052488557496829433445506/1077388945674988059790\ 3154597429739750097841*c_1010_6^3 - 12750339962432235047754606997272142311249538/1077388945674988059790\ 3154597429739750097841*c_1010_6^2 - 80344523784692481368005784771769859859512/8287607274422985075310118\ 92109979980776757*c_1010_6 + 13845492123877537996523947310136329455\ 444578/10773889456749880597903154597429739750097841, c_1010_6^23 + 5/2*c_1010_6^22 - 21/4*c_1010_6^21 - 213/8*c_1010_6^20 - 81/8*c_1010_6^19 + 4679/32*c_1010_6^18 + 16541/32*c_1010_6^17 + 16227/16*c_1010_6^16 + 40405/32*c_1010_6^15 + 6803/8*c_1010_6^14 + 61/2*c_1010_6^13 - 12415/32*c_1010_6^12 - 1933/16*c_1010_6^11 + 1065/4*c_1010_6^10 + 10167/32*c_1010_6^9 + 4767/32*c_1010_6^8 + 605/32*c_1010_6^7 - 429/32*c_1010_6^6 - 225/32*c_1010_6^5 - 43/32*c_1010_6^4 + 1/16*c_1010_6^3 + 3/32*c_1010_6^2 - 1/32*c_1010_6 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.240 Total time: 0.450 seconds, Total memory usage: 32.09MB