Magma V2.19-8 Wed Aug 21 2013 00:23:04 on localhost [Seed = 442239108] Type ? for help. Type -D to quit. Loading file "K14n12203__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n12203 geometric_solution 12.48839380 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 0213 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 -1 1 0 0 0 0 1 -19 0 18 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.833519452023 0.859373218744 0 0 5 4 0132 0213 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 -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.217269994214 1.121548532445 4 0 6 3 0213 0132 0132 0213 0 0 0 0 0 0 0 0 1 0 -1 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 -19 0 19 0 0 -1 0 1 0 19 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.368232585423 0.611528699261 7 8 0 2 0132 0132 0132 0213 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 1 0 0 -1 0 0 0 0 0 18 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.823123217713 0.575690979715 2 5 1 9 0213 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 0 0 0 0 19 0 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.163900431130 1.041081732568 10 4 11 1 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 -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.052588343070 0.576517911418 10 12 7 2 1230 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 19 -19 0 -19 0 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.365343277750 0.571145706600 3 6 9 10 0132 1230 2103 0132 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 -19 0 19 -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.876365558130 0.896537990400 11 3 9 12 0132 0132 3012 0132 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 19 -18 0 0 0 0 18 -18 0 0 18 0 -18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.296375186808 0.702171972912 7 8 4 11 2103 1230 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 0 0 0 0 0 0 0 0 18 0 -18 0 -19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.838971801134 1.021249733987 5 6 7 12 0132 3012 0132 3120 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 -19 19 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.401321034238 1.071702984533 8 12 9 5 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -18 18 0 0 -18 0 18 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.466889067987 0.980000519846 10 6 8 11 3120 0132 0132 2031 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 0 18 -18 -1 0 0 1 0 0 0 0 -19 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489785698852 1.208799516258 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_5'], 'c_1001_10' : d['c_0011_12'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : negation(d['c_0011_9']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : negation(d['c_0011_12']), '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : negation(d['c_0011_9']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : negation(d['c_0101_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_1001_12'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_5'], 'c_1010_3' : negation(d['c_0011_9']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0101_5'], 'c_1010_8' : d['c_1001_12'], 'c_1100_8' : negation(d['c_1001_5']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : negation(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_1001_5']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_11']), '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_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_5'], 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_12'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_5'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_11'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : negation(d['c_0101_7']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], '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_11, c_0011_12, c_0011_9, c_0101_1, c_0101_11, c_0101_5, c_0101_7, c_1001_0, c_1001_12, c_1001_5, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 2249428542107763755633707907972522465501156099/38037306066366886662\ 21994656473568131698280*c_1100_1^23 + 3700995526316019145032038415875165841153274217/38037306066366886662\ 21994656473568131698280*c_1100_1^22 + 22131173578364489109152096736550160393634990893/1901865303318344333\ 110997328236784065849140*c_1100_1^21 + 29257277822622228592595335649607336383851212691/7607461213273377332\ 44398931294713626339656*c_1100_1^20 + 197416336742875476023954218808472277484281180433/950932651659172166\ 555498664118392032924570*c_1100_1^19 + 1289324434185387801464491472613251402399402548019/38037306066366886\ 66221994656473568131698280*c_1100_1^18 + 3638963221667587502195625664769711035001811941261/38037306066366886\ 66221994656473568131698280*c_1100_1^17 + 973115236677463204777194478368098630711347792429/950932651659172166\ 555498664118392032924570*c_1100_1^16 + 56932680990116567748268122724789724915002121611/4134489789822487680\ 6760811483408349257590*c_1100_1^15 + 313324817439077862570724171459406515796987606431/760746121327337733\ 244398931294713626339656*c_1100_1^14 - 411329276900931176294465429061351921992320075873/950932651659172166\ 555498664118392032924570*c_1100_1^13 - 4039324167136244194869756872100320646378462708741/19018653033183443\ 33110997328236784065849140*c_1100_1^12 - 6562396095683154764351023797315607938461844469669/38037306066366886\ 66221994656473568131698280*c_1100_1^11 - 2585002077168743746482570070479232557647582707089/19018653033183443\ 33110997328236784065849140*c_1100_1^10 - 1104988333501720201738853337777030561982120453515/76074612132733773\ 3244398931294713626339656*c_1100_1^9 - 1237423361021624822357877633284591897757569863641/95093265165917216\ 6555498664118392032924570*c_1100_1^8 + 443924142348429126253306747489494155664511146091/190186530331834433\ 3110997328236784065849140*c_1100_1^7 + 65278191728323366775667265138587257999032902919/4754663258295860832\ 77749332059196016462285*c_1100_1^6 - 524285699422798171962337290135359015562412137866/475466325829586083\ 277749332059196016462285*c_1100_1^5 - 3399305936839130672576817989613032815195714008449/38037306066366886\ 66221994656473568131698280*c_1100_1^4 + 301994232783693269028597267867015213562664858369/190186530331834433\ 3110997328236784065849140*c_1100_1^3 + 193799075782497306055394165902049218892320860404/475466325829586083\ 277749332059196016462285*c_1100_1^2 + 571340962064235102237139523816459341916166370283/380373060663668866\ 6221994656473568131698280*c_1100_1 + 66577588344243754907101488057857641258709781809/3803730606636688666\ 221994656473568131698280, c_0011_0 - 1, c_0011_10 + 73909138756514442004832623620679753807/14953522133255630703\ 48409495744665190540*c_1100_1^23 - 263358222415084888221995675481119599237/299070442665112614069681899\ 1489330381080*c_1100_1^22 - 138743553450669306353066471037139451002\ 3/1495352213325563070348409495744665190540*c_1100_1^21 - 1864078514420280290411987915200651556055/59814088533022522813936379\ 8297866076216*c_1100_1^20 - 525648765258156981267506286659104968183\ 97/2990704426651126140696818991489330381080*c_1100_1^19 - 42738780226987507470424218774052817805287/1495352213325563070348409\ 495744665190540*c_1100_1^18 - 1344310316264056166752661193243415224\ 00883/1495352213325563070348409495744665190540*c_1100_1^17 - 310703110348051960217768065798872027053491/299070442665112614069681\ 8991489330381080*c_1100_1^16 - 274994100645420245652420999278515992\ 133731/1495352213325563070348409495744665190540*c_1100_1^15 - 42793452171300345919687080351009369106821/2990704426651126140696818\ 99148933038108*c_1100_1^14 - 12029834358452005866765518455587355355\ 0117/747676106662781535174204747872332595270*c_1100_1^13 - 137662164052293640464594931053821320208113/299070442665112614069681\ 8991489330381080*c_1100_1^12 - 322019712278918717142015182816350844\ 110611/2990704426651126140696818991489330381080*c_1100_1^11 - 19361928711338232705363476140561872936754/3738380533313907675871023\ 73936166297635*c_1100_1^10 - 12128806924970056752588606731132927399\ 613/598140885330225228139363798297866076216*c_1100_1^9 + 14978268694583698054462015419741369891719/2990704426651126140696818\ 991489330381080*c_1100_1^8 - 31147024459325237540220874318493402990\ 574/373838053331390767587102373936166297635*c_1100_1^7 - 51235322274195547270624811268073559550267/2990704426651126140696818\ 991489330381080*c_1100_1^6 + 13723827781083987025675311257644673192\ 5343/2990704426651126140696818991489330381080*c_1100_1^5 + 53754314185648235419899976972099754033679/2990704426651126140696818\ 991489330381080*c_1100_1^4 - 48394248586594866759453027267518463462\ 503/2990704426651126140696818991489330381080*c_1100_1^3 - 1410587351679738310961304455832509929787/29907044266511261406968189\ 91489330381080*c_1100_1^2 + 148170622476873818317778559906096753150\ 77/2990704426651126140696818991489330381080*c_1100_1 + 2792894059184741989757145873948812362321/29907044266511261406968189\ 91489330381080, c_0011_11 + 116399238930577858166682450113952632099/2990704426651126140\ 696818991489330381080*c_1100_1^23 - 102607939307795553072109361584571381151/149535221332556307034840949\ 5744665190540*c_1100_1^22 - 218072550877035042367811703288026112363\ 1/2990704426651126140696818991489330381080*c_1100_1^21 - 1478843451320643298506931430576096767833/59814088533022522813936379\ 8297866076216*c_1100_1^20 - 521041112047005539744637878024476536671\ 4/373838053331390767587102373936166297635*c_1100_1^19 - 34299858196210154000574030814230104036507/1495352213325563070348409\ 495744665190540*c_1100_1^18 - 2159094917465616035227628115767141307\ 21771/2990704426651126140696818991489330381080*c_1100_1^17 - 31689804774102628675687047766242461343787/3738380533313907675871023\ 73936166297635*c_1100_1^16 - 56611667085309847958674045168827131038\ 024/373838053331390767587102373936166297635*c_1100_1^15 - 36383624177747111894700820200026186567375/2990704426651126140696818\ 99148933038108*c_1100_1^14 - 41760667982243950325841500999796517913\ 2473/2990704426651126140696818991489330381080*c_1100_1^13 - 144859020972268799060199696858628205895453/299070442665112614069681\ 8991489330381080*c_1100_1^12 - 143583808266313355367429491293420558\ 815643/1495352213325563070348409495744665190540*c_1100_1^11 - 142680394127044313395151408411604701012507/299070442665112614069681\ 8991489330381080*c_1100_1^10 - 144982817946728339089142691899944550\ 47181/598140885330225228139363798297866076216*c_1100_1^9 - 261576963746676185410820049054257507843/149535221332556307034840949\ 5744665190540*c_1100_1^8 - 1995010713277599262727962867155576114337\ 77/2990704426651126140696818991489330381080*c_1100_1^7 - 41394931939887854300849593683586422184037/2990704426651126140696818\ 991489330381080*c_1100_1^6 + 91660016504174908151901177168519695008\ 603/2990704426651126140696818991489330381080*c_1100_1^5 + 42579724354783092697701782668568106908259/2990704426651126140696818\ 991489330381080*c_1100_1^4 - 34312450576987596194258340779353274808\ 243/2990704426651126140696818991489330381080*c_1100_1^3 - 1846429371850124283010590961223230596797/29907044266511261406968189\ 91489330381080*c_1100_1^2 + 102856109675857989298381694386749066656\ 07/2990704426651126140696818991489330381080*c_1100_1 + 1452278295953304197519861050536697978513/14953522133255630703484094\ 95744665190540, c_0011_12 - 29784080268591829433741122229536782471/29907044266511261406\ 96818991489330381080*c_1100_1^23 + 16036546483473617477230121847679803653/2990704426651126140696818991\ 489330381080*c_1100_1^22 + 626316943328259410690302117087902518009/\ 2990704426651126140696818991489330381080*c_1100_1^21 + 257486713036125137218453920728614233475/299070442665112614069681899\ 148933038108*c_1100_1^20 + 1289522119726508449106729030879229277076\ 3/2990704426651126140696818991489330381080*c_1100_1^19 + 3779917718035545564806589170496576104067/37383805333139076758710237\ 3936166297635*c_1100_1^18 + 749027096777183938020563584444829911122\ 19/2990704426651126140696818991489330381080*c_1100_1^17 + 127831682723399606224541608383946408820149/299070442665112614069681\ 8991489330381080*c_1100_1^16 + 921109895881184539758271469519755719\ 29829/1495352213325563070348409495744665190540*c_1100_1^15 + 21408140653452140396656578708299513942063/2990704426651126140696818\ 99148933038108*c_1100_1^14 + 19147778107827179679056625364605618985\ 5387/2990704426651126140696818991489330381080*c_1100_1^13 + 64551755025580251689442800040362967817901/1495352213325563070348409\ 495744665190540*c_1100_1^12 + 8287228678837423863577879235442083181\ 1409/2990704426651126140696818991489330381080*c_1100_1^11 + 95119883743595683535887178089853769916283/2990704426651126140696818\ 991489330381080*c_1100_1^10 + 4116610128840381778717794192794647308\ 957/299070442665112614069681899148933038108*c_1100_1^9 - 1803877327890765491946394279427098630301/29907044266511261406968189\ 91489330381080*c_1100_1^8 + 402322177772095306075640325934505490776\ 83/2990704426651126140696818991489330381080*c_1100_1^7 + 34827533313606984572570798111785080318809/1495352213325563070348409\ 495744665190540*c_1100_1^6 - 84356801717335097843218429586612287453\ 21/1495352213325563070348409495744665190540*c_1100_1^5 - 12935518275079901864806164906892222294519/7476761066627815351742047\ 47872332595270*c_1100_1^4 - 331097688100023143784359568401973827229\ /1495352213325563070348409495744665190540*c_1100_1^3 + 6922589749249788887149338328680024448989/14953522133255630703484094\ 95744665190540*c_1100_1^2 - 171934323547396251512025423459408658469\ 9/1495352213325563070348409495744665190540*c_1100_1 - 4473158678640236297068793117634532922459/29907044266511261406968189\ 91489330381080, c_0011_9 + 29784080268591829433741122229536782471/299070442665112614069\ 6818991489330381080*c_1100_1^23 - 160365464834736174772301218476798\ 03653/2990704426651126140696818991489330381080*c_1100_1^22 - 626316943328259410690302117087902518009/299070442665112614069681899\ 1489330381080*c_1100_1^21 - 257486713036125137218453920728614233475\ /299070442665112614069681899148933038108*c_1100_1^20 - 12895221197265084491067290308792292770763/2990704426651126140696818\ 991489330381080*c_1100_1^19 - 3779917718035545564806589170496576104\ 067/373838053331390767587102373936166297635*c_1100_1^18 - 74902709677718393802056358444482991112219/2990704426651126140696818\ 991489330381080*c_1100_1^17 - 1278316827233996062245416083839464088\ 20149/2990704426651126140696818991489330381080*c_1100_1^16 - 92110989588118453975827146951975571929829/1495352213325563070348409\ 495744665190540*c_1100_1^15 - 2140814065345214039665657870829951394\ 2063/299070442665112614069681899148933038108*c_1100_1^14 - 191477781078271796790566253646056189855387/299070442665112614069681\ 8991489330381080*c_1100_1^13 - 645517550255802516894428000403629678\ 17901/1495352213325563070348409495744665190540*c_1100_1^12 - 82872286788374238635778792354420831811409/2990704426651126140696818\ 991489330381080*c_1100_1^11 - 9511988374359568353588717808985376991\ 6283/2990704426651126140696818991489330381080*c_1100_1^10 - 4116610128840381778717794192794647308957/29907044266511261406968189\ 9148933038108*c_1100_1^9 + 1803877327890765491946394279427098630301\ /2990704426651126140696818991489330381080*c_1100_1^8 - 40232217777209530607564032593450549077683/2990704426651126140696818\ 991489330381080*c_1100_1^7 - 34827533313606984572570798111785080318\ 809/1495352213325563070348409495744665190540*c_1100_1^6 + 8435680171733509784321842958661228745321/14953522133255630703484094\ 95744665190540*c_1100_1^5 + 129355182750799018648061649068922222945\ 19/747676106662781535174204747872332595270*c_1100_1^4 + 331097688100023143784359568401973827229/149535221332556307034840949\ 5744665190540*c_1100_1^3 - 6922589749249788887149338328680024448989\ /1495352213325563070348409495744665190540*c_1100_1^2 + 1719343235473962515120254234594086584699/14953522133255630703484094\ 95744665190540*c_1100_1 + 4473158678640236297068793117634532922459/\ 2990704426651126140696818991489330381080, c_0101_1 + 26356831705883299336377454360701/150393214621974672541691298\ 43202120*c_1100_1^23 - 3581111500177877815153081126841/187991518277\ 4683406771141230400265*c_1100_1^22 - 529961092341187621073526520019999/150393214621974672541691298432021\ 20*c_1100_1^21 - 401009237850242512948181546977571/3007864292439493\ 450833825968640424*c_1100_1^20 - 1308794536830017114464118912284071\ /1879915182774683406771141230400265*c_1100_1^19 - 5378862573562092657083278325508179/37598303655493668135422824608005\ 30*c_1100_1^18 - 57389962403671816010379303781224209/15039321462197\ 467254169129843202120*c_1100_1^17 - 10737798690711067433898112685283023/1879915182774683406771141230400\ 265*c_1100_1^16 - 16266700254679184701117017741387331/1879915182774\ 683406771141230400265*c_1100_1^15 - 6651067237176893792621965553382511/75196607310987336270845649216010\ 6*c_1100_1^14 - 123993615487338447994491350620008037/15039321462197\ 467254169129843202120*c_1100_1^13 - 66912534204382968550778035485087357/1503932146219746725416912984320\ 2120*c_1100_1^12 - 15409000204576501006450279117438331/375983036554\ 9366813542282460800530*c_1100_1^11 - 59283637444245710110988656779776763/1503932146219746725416912984320\ 2120*c_1100_1^10 - 5348810052212334369413813951068091/3007864292439\ 493450833825968640424*c_1100_1^9 + 1953781222418155243734421192593713/75196607310987336270845649216010\ 60*c_1100_1^8 - 39375817605542613200197331297942233/150393214621974\ 67254169129843202120*c_1100_1^7 - 421282229862582699332928339712163\ 93/15039321462197467254169129843202120*c_1100_1^6 + 20071984838064331062223337274649767/1503932146219746725416912984320\ 2120*c_1100_1^5 + 36293215197624414461063991038066601/1503932146219\ 7467254169129843202120*c_1100_1^4 - 4485961233600508793061579769546587/15039321462197467254169129843202\ 120*c_1100_1^3 - 32815844344815117374866327072969393/15039321462197\ 467254169129843202120*c_1100_1^2 + 2269881600431806373528650783881333/15039321462197467254169129843202\ 120*c_1100_1 + 1608489212597766110032814883039278/18799151827746834\ 06771141230400265, c_0101_11 - 75866327938971431936758076540154879989/29907044266511261406\ 96818991489330381080*c_1100_1^23 + 111128653437622755784020382538322447047/299070442665112614069681899\ 1489330381080*c_1100_1^22 + 146274981272884224403264081977216442360\ 1/2990704426651126140696818991489330381080*c_1100_1^21 + 524253220051239692171375849376877710181/299070442665112614069681899\ 148933038108*c_1100_1^20 + 2857039525432877266477078370709823805162\ 7/2990704426651126140696818991489330381080*c_1100_1^19 + 13173588173306445210044037553910946529611/7476761066627815351742047\ 47872332595270*c_1100_1^18 + 15344627792185956657916310894046563230\ 9171/2990704426651126140696818991489330381080*c_1100_1^17 + 205740721490912356154541423002260416094191/299070442665112614069681\ 8991489330381080*c_1100_1^16 + 170713495922498318450605991347951004\ 658241/1495352213325563070348409495744665190540*c_1100_1^15 + 31834570704538918188243431724439168720841/2990704426651126140696818\ 99148933038108*c_1100_1^14 + 33666611578358606662830349327669062298\ 6413/2990704426651126140696818991489330381080*c_1100_1^13 + 20108161563085236370205632824631417565521/3738380533313907675871023\ 73936166297635*c_1100_1^12 + 20899887202313534888230581881088064236\ 7561/2990704426651126140696818991489330381080*c_1100_1^11 + 131201451980394034685888427556861079090077/299070442665112614069681\ 8991489330381080*c_1100_1^10 + 712376009591994795674573671766483334\ 4825/299070442665112614069681899148933038108*c_1100_1^9 - 3466451619341063887959984426225940118639/29907044266511261406968189\ 91489330381080*c_1100_1^8 + 134494637086281418620093364790224215207\ 547/2990704426651126140696818991489330381080*c_1100_1^7 + 7195140248548213904448540770982554767004/37383805333139076758710237\ 3936166297635*c_1100_1^6 - 2742992682488368465856665443878416666920\ 9/1495352213325563070348409495744665190540*c_1100_1^5 - 26242861319916031808883485016903022581617/1495352213325563070348409\ 495744665190540*c_1100_1^4 + 21009464131137859002486699173633786452\ 86/373838053331390767587102373936166297635*c_1100_1^3 + 1284996466109787319237078785152492839843/74767610666278153517420474\ 7872332595270*c_1100_1^2 - 3329102381832628165850638359549104810171\ /1495352213325563070348409495744665190540*c_1100_1 - 3655459718068403682510774326128029691131/29907044266511261406968189\ 91489330381080, c_0101_5 + 90856533226089647852320740423784235661/149535221332556307034\ 8409495744665190540*c_1100_1^23 - 141762433540064194614727351447607\ 879863/1495352213325563070348409495744665190540*c_1100_1^22 - 436169997571136783040516469912429763476/373838053331390767587102373\ 936166297635*c_1100_1^21 - 1219589277101067984096565717877177925005\ /299070442665112614069681899148933038108*c_1100_1^20 - 16760931932621896999157534508111552425459/7476761066627815351742047\ 47872332595270*c_1100_1^19 - 59526520601245459656156417802780242439\ 791/1495352213325563070348409495744665190540*c_1100_1^18 - 175848168512948418311894816299926042747449/149535221332556307034840\ 9495744665190540*c_1100_1^17 - 566180689774100278965607200689360293\ 82511/373838053331390767587102373936166297635*c_1100_1^16 - 187641525175504130218452762638285449911159/747676106662781535174204\ 747872332595270*c_1100_1^15 - 6700881842139621606567846583622857778\ 3461/299070442665112614069681899148933038108*c_1100_1^14 - 172407235544061120779232880020273940664881/747676106662781535174204\ 747872332595270*c_1100_1^13 - 7434241180225052880548187944327878769\ 6571/747676106662781535174204747872332595270*c_1100_1^12 - 210380623077202407157609647277151303124799/149535221332556307034840\ 9495744665190540*c_1100_1^11 - 358041064332717558415656411675775346\ 02032/373838053331390767587102373936166297635*c_1100_1^10 - 10666924777852029060703542637630353762889/2990704426651126140696818\ 99148933038108*c_1100_1^9 - 512693214440923663099646401726194150747\ /747676106662781535174204747872332595270*c_1100_1^8 - 37743162272954326905054351692304094906342/3738380533313907675871023\ 73936166297635*c_1100_1^7 - 159184153491653587618342635467041440916\ 87/373838053331390767587102373936166297635*c_1100_1^6 + 20207420609550305042742673353588042719283/3738380533313907675871023\ 73936166297635*c_1100_1^5 + 506671962613481893032568360469514025259\ 41/1495352213325563070348409495744665190540*c_1100_1^4 - 6539368538644926793975863990991840872313/37383805333139076758710237\ 3936166297635*c_1100_1^3 - 3935893863100333738134101349586593870679\ /747676106662781535174204747872332595270*c_1100_1^2 + 8851500356943746077406054878771535361673/14953522133255630703484094\ 95744665190540*c_1100_1 + 3396731713171863338674690199790090591819/\ 1495352213325563070348409495744665190540, c_0101_7 + 1283842297352704722789514807084759221/1590800226942088372711\ 0739316432608410*c_1100_1^23 - 100635584534432391129579579565685018\ 9/7954001134710441863555369658216304205*c_1100_1^22 - 24585565474327008167969061274713243109/1590800226942088372711073931\ 6432608410*c_1100_1^21 - 34446240130616775868430744470995679333/636\ 3200907768353490844295726573043364*c_1100_1^20 - 236951147652005500413059740246072537169/795400113471044186355536965\ 8216304205*c_1100_1^19 - 1680664236180341980819230403818151327037/3\ 1816004538841767454221478632865216820*c_1100_1^18 - 4991619369383002923367069494606860156753/31816004538841767454221478\ 632865216820*c_1100_1^17 - 6402726074279724727028269827590323731633\ /31816004538841767454221478632865216820*c_1100_1^16 - 5370531839781781268875986639348356802193/15908002269420883727110739\ 316432608410*c_1100_1^15 - 1903257440659172869545227573926547043933\ /6363200907768353490844295726573043364*c_1100_1^14 - 10078748216454683218719178330967460748529/3181600453884176745422147\ 8632865216820*c_1100_1^13 - 429390352220734892242693659766636231324\ 9/31816004538841767454221478632865216820*c_1100_1^12 - 6358188007110699485109939468410178516823/31816004538841767454221478\ 632865216820*c_1100_1^11 - 4032809568313964081988367844416267964031\ /31816004538841767454221478632865216820*c_1100_1^10 - 378112937289521040235802498587260736211/636320090776835349084429572\ 6573043364*c_1100_1^9 - 20359819901315860955597496798056971543/3181\ 6004538841767454221478632865216820*c_1100_1^8 - 1117769863722468167043770818619613618124/79540011347104418635553696\ 58216304205*c_1100_1^7 - 1840143880657093026930496906381031872341/3\ 1816004538841767454221478632865216820*c_1100_1^6 + 1051054807747942974655153739049690768547/15908002269420883727110739\ 316432608410*c_1100_1^5 + 720501841294145597109690922077938887881/1\ 5908002269420883727110739316432608410*c_1100_1^4 - 759540034491415232561583706923621520949/318160045388417674542214786\ 32865216820*c_1100_1^3 - 230501966541367023664459187954323125061/31\ 816004538841767454221478632865216820*c_1100_1^2 + 245960499828854196586359489326334505601/318160045388417674542214786\ 32865216820*c_1100_1 + 102784946629655805835782231561185604533/3181\ 6004538841767454221478632865216820, c_1001_0 - 11801129138126838988622884667869/187991518277468340677114123\ 0400265*c_1100_1^23 + 68052201399131412572605622982251/150393214621\ 97467254169129843202120*c_1100_1^22 + 239603694262714657587610774484221/187991518277468340677114123040026\ 5*c_1100_1^21 + 1578773134906467029994841310554051/3007864292439493\ 450833825968640424*c_1100_1^20 + 4052393169609721502360600329081227\ 1/15039321462197467254169129843202120*c_1100_1^19 + 11540373499585986517600159919326494/1879915182774683406771141230400\ 265*c_1100_1^18 + 60395726615509416022043166647113457/3759830365549\ 366813542282460800530*c_1100_1^17 + 399811525475560176104260925304111113/150393214621974672541691298432\ 02120*c_1100_1^16 + 77780013324409639728264720483446812/18799151827\ 74683406771141230400265*c_1100_1^15 + 17877299278902615814924882228700731/3759830365549366813542282460800\ 53*c_1100_1^14 + 179754553306591048167874318033838321/3759830365549\ 366813542282460800530*c_1100_1^13 + 507860744092328266616416543096450869/150393214621974672541691298432\ 02120*c_1100_1^12 + 404708054654125607761119486218169613/1503932146\ 2197467254169129843202120*c_1100_1^11 + 86829433748520130565595977127381519/3759830365549366813542282460800\ 530*c_1100_1^10 + 43691453451860102877906825035998767/3007864292439\ 493450833825968640424*c_1100_1^9 + 69605751290738351053747386869040663/1503932146219746725416912984320\ 2120*c_1100_1^8 + 80465304678259688252807805327803383/7519660731098\ 733627084564921601060*c_1100_1^7 + 196472448692287093816745171996614361/150393214621974672541691298432\ 02120*c_1100_1^6 + 8046562035347958934149943050410721/1503932146219\ 7467254169129843202120*c_1100_1^5 - 114008972777553969411661499230887007/150393214621974672541691298432\ 02120*c_1100_1^4 - 41485712018400223616058060291928961/150393214621\ 97467254169129843202120*c_1100_1^3 + 25916811748438848396400738326396691/1503932146219746725416912984320\ 2120*c_1100_1^2 + 14283388657732105780064823368078049/1503932146219\ 7467254169129843202120*c_1100_1 - 107666945798831304453371277447470\ 13/15039321462197467254169129843202120, c_1001_12 + c_1100_1, c_1001_5 - 75866327938971431936758076540154879989/299070442665112614069\ 6818991489330381080*c_1100_1^23 + 111128653437622755784020382538322\ 447047/2990704426651126140696818991489330381080*c_1100_1^22 + 1462749812728842244032640819772164423601/29907044266511261406968189\ 91489330381080*c_1100_1^21 + 52425322005123969217137584937687771018\ 1/299070442665112614069681899148933038108*c_1100_1^20 + 28570395254328772664770783707098238051627/2990704426651126140696818\ 991489330381080*c_1100_1^19 + 1317358817330644521004403755391094652\ 9611/747676106662781535174204747872332595270*c_1100_1^18 + 153446277921859566579163108940465632309171/299070442665112614069681\ 8991489330381080*c_1100_1^17 + 205740721490912356154541423002260416\ 094191/2990704426651126140696818991489330381080*c_1100_1^16 + 170713495922498318450605991347951004658241/149535221332556307034840\ 9495744665190540*c_1100_1^15 + 318345707045389181882434317244391687\ 20841/299070442665112614069681899148933038108*c_1100_1^14 + 336666115783586066628303493276690622986413/299070442665112614069681\ 8991489330381080*c_1100_1^13 + 201081615630852363702056328246314175\ 65521/373838053331390767587102373936166297635*c_1100_1^12 + 208998872023135348882305818810880642367561/299070442665112614069681\ 8991489330381080*c_1100_1^11 + 131201451980394034685888427556861079\ 090077/2990704426651126140696818991489330381080*c_1100_1^10 + 7123760095919947956745736717664833344825/29907044266511261406968189\ 9148933038108*c_1100_1^9 - 3466451619341063887959984426225940118639\ /2990704426651126140696818991489330381080*c_1100_1^8 + 134494637086281418620093364790224215207547/299070442665112614069681\ 8991489330381080*c_1100_1^7 + 7195140248548213904448540770982554767\ 004/373838053331390767587102373936166297635*c_1100_1^6 - 27429926824883684658566654438784166669209/1495352213325563070348409\ 495744665190540*c_1100_1^5 - 26242861319916031808883485016903022581\ 617/1495352213325563070348409495744665190540*c_1100_1^4 + 2100946413113785900248669917363378645286/37383805333139076758710237\ 3936166297635*c_1100_1^3 + 1284996466109787319237078785152492839843\ /747676106662781535174204747872332595270*c_1100_1^2 - 3329102381832628165850638359549104810171/14953522133255630703484094\ 95744665190540*c_1100_1 - 3655459718068403682510774326128029691131/\ 2990704426651126140696818991489330381080, c_1100_1^24 - c_1100_1^23 - 20*c_1100_1^22 - 78*c_1100_1^21 - 408*c_1100_1^20 - 867*c_1100_1^19 - 2331*c_1100_1^18 - 3627*c_1100_1^17 - 5681*c_1100_1^16 - 6196*c_1100_1^15 - 6207*c_1100_1^14 - 4066*c_1100_1^13 - 3578*c_1100_1^12 - 3026*c_1100_1^11 - 1686*c_1100_1^10 - 454*c_1100_1^9 - 1746*c_1100_1^8 - 1664*c_1100_1^7 + 361*c_1100_1^6 + 995*c_1100_1^5 + 55*c_1100_1^4 - 227*c_1100_1^3 + 37*c_1100_1^2 + 90*c_1100_1 + 23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.020 Total time: 5.230 seconds, Total memory usage: 64.12MB