Magma V2.19-8 Tue Aug 20 2013 17:56:45 on localhost [Seed = 1410719857] Type ? for help. Type -D to quit. Loading file "10_37__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_37 geometric_solution 10.96581053 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 1302 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500000000000 0.678441667001 0 4 5 4 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -2 2 -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.771891548093 0.550611428390 0 0 7 6 2031 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 -1 0 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.296055328993 0.955170792149 8 9 0 5 0132 0132 0132 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 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.615247117265 0.645798213547 1 1 5 8 3012 0132 0321 3012 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 1 0 -1 -1 0 1 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.642185627579 1.550116809510 8 3 4 1 3120 2310 0321 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 -1 2 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.496520237942 0.439295431356 10 10 2 11 0132 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 0 -1 1 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.228108451907 0.550611428390 8 11 9 2 1023 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384752882735 0.645798213547 3 7 4 5 0132 1023 1230 3120 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 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.004286699457 0.498343230137 10 3 7 11 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.017259721226 2.006500645124 6 11 9 6 0132 2103 2103 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 -1 1 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.858621309820 0.612478148017 7 10 6 9 1023 2103 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 1 -1 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.127684089849 0.983925285613 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0101_10'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : negation(d['c_0101_8']), 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0110_11'], 'c_1001_2' : d['c_0110_11'], 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : negation(d['c_0011_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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_1100_5' : d['c_0101_4'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : d['c_1100_11'], 'c_1100_6' : d['c_1100_11'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : negation(d['c_0011_5']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : d['c_1100_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_11'], 'c_1100_10' : negation(d['c_0011_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_11'], 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0101_8']), 'c_1010_3' : d['c_0101_7'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0110_11'], 'c_1010_9' : d['c_0110_11'], 'c_1010_8' : negation(d['c_0011_5']), '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_11'], 'c_0011_8' : d['c_0011_11'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_11'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_6'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_1'], 'c_0110_1' : d['c_0011_0'], 'c_1100_9' : negation(d['c_1100_11']), 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_4'], 'c_0110_7' : negation(d['c_0011_5']), 'c_1100_8' : d['c_0101_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0101_1, c_0101_10, c_0101_4, c_0101_6, c_0101_7, c_0101_8, c_0110_11, c_1100_11 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 11599219711884533771496895744412888657036766752580999337103/5653521\ 08833833564963158491708242308237682722902913484723*c_1100_11^25 + 13326438928319173789163662210092787748704017436596972847946/5653521\ 08833833564963158491708242308237682722902913484723*c_1100_11^24 + 76676472479288019262235526807015371600761634388858974750203/1884507\ 02944611188321052830569414102745894240967637828241*c_1100_11^23 + 313758410882361014754668689611414091419488448183606593049131/565352\ 108833833564963158491708242308237682722902913484723*c_1100_11^22 - 325119816161250584405425825287418811097963034863403402960241/188450\ 702944611188321052830569414102745894240967637828241*c_1100_11^21 - 4299356743396481339928415460143066832405994218162857595116375/56535\ 2108833833564963158491708242308237682722902913484723*c_1100_11^20 - 11375262377511875477267352349630308488775618605135125830813443/5653\ 52108833833564963158491708242308237682722902913484723*c_1100_11^19 - 10201440336866989536675398097826394873052290340338951903725891/1884\ 50702944611188321052830569414102745894240967637828241*c_1100_11^18 - 24523576948992159514736414943110138244172152431280465316252840/1884\ 50702944611188321052830569414102745894240967637828241*c_1100_11^17 - 10787262510817825745254006572202912374536323215015947379100931/4348\ 8623756448735766396807054480177556744824838685652671*c_1100_11^16 - 228068337738767103638540637381867293387526546475078845526904063/565\ 352108833833564963158491708242308237682722902913484723*c_1100_11^15 - 334991501860987011038050341943069700314813990040681292244928176/5\ 65352108833833564963158491708242308237682722902913484723*c_1100_11^\ 14 - 14955813777042558245012537906021920764322918729614428195057800\ 4/188450702944611188321052830569414102745894240967637828241*c_1100_\ 11^13 - 16814094522065816527490551301939778881174571676420889218918\ 1468/188450702944611188321052830569414102745894240967637828241*c_11\ 00_11^12 - 51164947693768225586782468865029950627924049617169760807\ 4720718/565352108833833564963158491708242308237682722902913484723*c\ _1100_11^11 - 11423986712985578891713263298070578502324732797664282\ 921624972/14496207918816245255465602351493392518914941612895217557*\ c_1100_11^10 - 1176053656854275926565565543243198227846903270391490\ 77507526760/1884507029446111883210528305694141027458942409676378282\ 41*c_1100_11^9 - 21633755478277228351448198520448922250775561190019\ 0595836506156/56535210883383356496315849170824230823768272290291348\ 4723*c_1100_11^8 - 125729261173957132282961248147483399891406144574\ 158241081765329/565352108833833564963158491708242308237682722902913\ 484723*c_1100_11^7 - 4347095001804178349680623376914431100232810552\ 3290212851845307/18845070294461118832105283056941410274589424096763\ 7828241*c_1100_11^6 - 176466799218575135037187251176272665257302318\ 049377455211853986/565352108833833564963158491708242308237682722902\ 913484723*c_1100_11^5 - 1037706373713401202457278848979046950794876\ 8207640728729647352/43488623756448735766396807054480177556744824838\ 685652671*c_1100_11^4 - 5301831024721134956499947259513136357301125\ 0322269362130789930/56535210883383356496315849170824230823768272290\ 2913484723*c_1100_11^3 - 676948268689343081273571713081386813818486\ 2604576733856621597/56535210883383356496315849170824230823768272290\ 2913484723*c_1100_11^2 - 517626878197004877817760277079440584790528\ 280720257158170247/565352108833833564963158491708242308237682722902\ 913484723*c_1100_11 + 221480237852642174819600054168925654551950056\ 13044566082523/5653521088338335649631584917082423082376827229029134\ 84723, c_0011_0 - 1, c_0011_10 + 11177896521284684874145369985050804884822372006415471414/64\ 26154025866995319433205166125936889828273086128807783*c_1100_11^25 - 12721052750557803404142125497232517804605629091317004565/6426154025\ 866995319433205166125936889828273086128807783*c_1100_11^24 - 221782949922252882200269263610654922990468300519226785433/642615402\ 5866995319433205166125936889828273086128807783*c_1100_11^23 - 304744335993340838924785161548664380743840528328097288572/642615402\ 5866995319433205166125936889828273086128807783*c_1100_11^22 + 935926931875055442581590011400355255010501293005127452343/642615402\ 5866995319433205166125936889828273086128807783*c_1100_11^21 + 4151518640125805283206192924537540515684931840676108286960/64261540\ 25866995319433205166125936889828273086128807783*c_1100_11^20 + 11008983996179445393771647520225664333259499792696008893934/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^19 + 29628377559569876869724680724550037393655065594158576875561/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^18 + 71264838563036769974093550806015894811327535904089607798435/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^17 + 136032507755321427380963541887732711613546779035840261281339/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^16 + 221560338846219360607376168991091766059121785936816784178343/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^15 + 325842810947934589867539831948869900570969836699804287909259/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^14 + 436946828119750836386401351294163373311240211992644062918945/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^13 + 492406810809509727258192354770351426229819295235873834195865/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^12 + 500564198131277053376127914120314470463623171059429130434147/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^11 + 437378433493749114759048082110861612721021033284107590849765/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^10 + 347380739980921032592298936203490228404468728270455169997104/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^9 + 214752939677429795140028895615016404654478353203087306744254/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^8 + 125427031521372919141991356628177245508952325058009933667079/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^7 + 128446017013992611441894622826938965186364715076419633361319/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^6 + 172143057816180610120146612098348656573671773692707707678281/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^5 + 132514703818367416630930391473024342946461359249473100463398/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^4 + 53387956091255614764776498113527174299253095225050107290698/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^3 + 7925779815980792485522635129764945570139774941989674222663/64261540\ 25866995319433205166125936889828273086128807783*c_1100_11^2 + 955844669246705160672931193324886488758446821523101969947/642615402\ 5866995319433205166125936889828273086128807783*c_1100_11 + 85385904900551802968969582697758650703657052153317801176/6426154025\ 866995319433205166125936889828273086128807783, c_0011_11 + 105672507334712482048058268464037799886448606249902837089/5\ 7835386232802957874898846495133432008454457775159270047*c_1100_11^2\ 5 - 40130583365341952433491121757055678842512898011317325787/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^24 - 2096564980081232606345941280819911851826378748652631491725/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^23 - 2878355594709604052336871350485910135330769927605717039336/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 + 2950840751591366095543596859115608860506223035961380687164/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 + 39238023410095778160884969435134841433544238892128004043454/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 + 34674365706965540488162208799101860496297902101935618881249/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 + 279949373178388291918452146687471093939931620209940466275423/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 + 673321094014541596784493843558804286717982006762632257655672/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 + 428348552320137913400156419726648053905578139478955123414975/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 + 697549321560867771210565514927773877732152969279906512052318/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 + 3077203201907419084617780300395506308022789151518236888838201/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 + 1375318017972829327188722464430189534044979187435176465190923/19278\ 462077600985958299615498377810669484819258386423349*c_1100_11^13 + 1549493034342423624327434058910283631492729858474314871433223/19278\ 462077600985958299615498377810669484819258386423349*c_1100_11^12 + 4724447321927033171316339383945984415594004143316122673066280/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 + 4126760853405878340810025654537948278058109681163459380066645/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 + 3276774503445337313219717626516909945314072736392429839842819/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 + 674721524513057837149607719070196617800454350113124120936889/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 + 393950966589902830836080002477192923167049445520690056239029/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 + 1211874395401360266718098059448490262134089472939733778794693/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^6 + 541836954914165290507476699311331474645818096667026367392881/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 + 138904167162468919642002783217564272230692204218450899853545/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^4 + 167465644673621769723746502589869486863550930820656241246435/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^3 + 73778594624163127037502893492900002805501433601836004846874/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 + 8854191886621914693407171998450147255585131357057369299611/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 + 758126703481547675429745705139996846650038556541998802721/578353862\ 32802957874898846495133432008454457775159270047, c_0011_5 + 24152036240787519124845924029552321445972142368357444274/578\ 35386232802957874898846495133432008454457775159270047*c_1100_11^25 - 9022074131626639560103802335919383683281493958132949515/19278462077\ 600985958299615498377810669484819258386423349*c_1100_11^24 - 479661263178519522688507413375389447801403234773274772421/578353862\ 32802957874898846495133432008454457775159270047*c_1100_11^23 - 667046668678854927906413015499983732654676739190977885793/578353862\ 32802957874898846495133432008454457775159270047*c_1100_11^22 + 670303723874078382673730445565075988202349410708406824283/192784620\ 77600985958299615498377810669484819258386423349*c_1100_11^21 + 9008602202694131693851074584274255729776543715352853889500/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^20 + 7981906697607663232340414748668163086476347566849447729179/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^19 + 64418177845646684265914841825105843203693037199442533285670/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^18 + 155062227659477530994487584796848642294609078436348715280242/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 + 98841290653508772589833259947325493282026588388114614003087/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^16 + 161196179644435192294572381830729647741596416744148679796785/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 + 711783242910496983275160370795224978529538930993556966310408/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^14 + 318454499759373565764727476741179622314573294620738612365512/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^13 + 359602191783797855720986255915534637603567603332042860179207/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^12 + 1097865612230162624761018739711545015697984700072612025143803/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 + 960956462435646860768706813103755850384516149691684517311469/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^10 + 764388043621924099535318159135891183596869374787180052319824/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^9 + 158027732246044209634253981671031920947947309067957085968050/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 + 92410052006440989281775747240791546051722521879129746804423/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^7 + 280335486102320874782340848484439315045846481182259784979325/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^6 + 125466507650401021614710116693461729961553706256870540828219/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 + 32449699735314592229893340949176903338052917695932322093146/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^4 + 39774719198719493885474049838864917904932015478766426754163/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^3 + 18076226235307876835964544106644840618708972186446241244912/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 + 2140949311307034881528821212508451273365454624230683604498/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 + 122801248699575351910393092368690259296114834750196970622/578353862\ 32802957874898846495133432008454457775159270047, c_0101_1 - 51278479131276169905231755866958894155431717253319962201/578\ 35386232802957874898846495133432008454457775159270047*c_1100_11^25 + 19659451491887380000972925070127163596500125405768401915/1927846207\ 7600985958299615498377810669484819258386423349*c_1100_11^24 + 1016526591007958535425478739866323978275748684993414172794/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^23 + 1386084152215609263336632885588104222083536650645823492528/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 - 1435614327938539014420092407600582102201212695072737423678/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 - 18991149577583049764343094974105058386792302005788026154218/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 - 16764383232091949128856151442278608375429923929729276931915/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 - 135364682737196272720112764749025520696795384226583042192784/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 - 325412792874870802166890858618871227333253969174339294131561/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 - 206819081371035392006333071241720871878459799559997262275449/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 - 336562849667731323923306589636528038717866699945672494990211/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 - 1483905057763225969372403732589077168244509809776515546378323/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 - 662831223663143845380407168257184836120174772848309317526646/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^13 - 745855153309087334723824469042278411482755217483998487585590/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^12 - 2272629271123613475473866067721359285447642481017623471166468/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 - 1982068391084164616418249121431428337558235147999787652343991/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 - 1572502460220966576903634706256107075835860506129360084380568/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 - 322723110216060720515340064868013453219718252238675919339737/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 - 188328712981168514459855848173435079698855167855677842797489/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 - 582785976475730466978041034396710214094454525941902439518227/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^6 - 260929265991541568707945170541536418404121919981644697635996/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 - 66636115959942645284018666350318383715091440793161469118573/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^4 - 79611281989808813096978648775460275777888931595811063630910/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^3 - 33670671816141322196062524245117689270426822110284003243627/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 - 3631802821961172711782571940587568177466502432750004132555/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 - 337860070553846787676209232235274066257690209655820722135/578353862\ 32802957874898846495133432008454457775159270047, c_0101_10 + 55777204844689588907447356370475581541524217861589610669/57\ 835386232802957874898846495133432008454457775159270047*c_1100_11^25 - 21162412654802996424678163753297334076738883036551065870/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^24 - 1106688278938317126121392345612430468337072308568588676679/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^23 - 1520402589929371615917635065158085002266134595849926052050/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 + 1556876055462503373406260711766448546073054261225249213839/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 + 20714519790022307681414093141166029808597315786170706056713/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 + 18309804435841806689170703256106236593710064462479462959923/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 + 147835118417309880575423615796475546509009077592603722776873/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 + 355583365219468217261762716561084588220682672173386989255740/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 + 226244330847341355373523574025833244821388218075631546564934/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 + 368489457240028270667979312555355008766709454080038170571664/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 + 1625797157414256655488324834586890127875503325334204436460470/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 + 726715907028464017485348071860606001846723074286502242940889/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^13 + 818950174272766623205261582891879413865722954759858672704905/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^12 + 2497582745679747524898895322033666932026808558148896627339186/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 + 2182395716238778666248417142859142739725182628936053656221268/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 + 1733294210879844051029903732631020107861757206801720893945890/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 + 357219140764217924693565644064071354593381894236501763706512/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 + 208624708262680811059744801091046882970615736314278649737022/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 + 641058381526845598188445731399834811799251110518196333592504/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^6 + 286288719263318196018755463576063039457288164194854357380155/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 + 73460704184794906688719876036769530034198407641290746247704/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^4 + 88804714239113979940155166579866256505699598572505213220232/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^3 + 39676463237202471225997308724350211440131753082680756243947/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 + 4769019025871239712880418788122955971942325231323361947054/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 + 452178895910278537303722841162001653841444288406503847382/578353862\ 32802957874898846495133432008454457775159270047, c_0101_4 - 40671063344790448949934172477521793303298691742940493875/578\ 35386232802957874898846495133432008454457775159270047*c_1100_11^25 + 16315741331650213109560559126817562217804480462270204759/1927846207\ 7600985958299615498377810669484819258386423349*c_1100_11^24 + 803175863964017098996806247378679138702216216466389418544/578353862\ 32802957874898846495133432008454457775159270047*c_1100_11^23 + 1056870745140205311096643704385678725195110681636777364058/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 - 1154183844222134988057822985901280496632868126872664112936/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 - 14862559324196175108826821095515471419872057657153534235004/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 - 13045766052868897587344938476446984649981679267581526552193/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 - 105466229048610644135384863811837681356961659171501470323182/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 - 252960733107292217324728851681200346348829299551349664499531/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 - 159974093803646146937122165096941374147943909774654396731891/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 - 259469458197623074573485703042133348367878043679932796402049/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 - 1141516305161882229161034164878030394907690960193360274666075/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 - 508687832197872561902874582686316656091147472421521134026119/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^13 - 569222867697023800974094032842652029029752798545923457830225/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^12 - 1730607389920925520546876304099428819221148401552055480790465/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 - 1501300937471949380874854336353495763523487931171921872195060/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 - 1188321651065524393874016983421993496721766436969277407897502/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 - 241118164366974594566586585209470614228003692022474920660839/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 - 141192045956513169316894089745316431840237602817133641559599/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 - 448684630837371230993541923174444444646032760284613501076429/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^6 - 200435514215727583308449808069903191157581235241388469265850/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 - 49911076911257682650280653687843801864569590015223724690455/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^4 - 57752719716314484999247395185184888333070283815525855531304/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^3 - 23147434152301335560901188037169040802143618989016290479361/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 - 3264237755173357243909683521671735768232794545235364869703/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 - 255210512729912807460776844287148396694138607408230710307/578353862\ 32802957874898846495133432008454457775159270047, c_0101_6 + 105672507334712482048058268464037799886448606249902837089/57\ 835386232802957874898846495133432008454457775159270047*c_1100_11^25 - 40130583365341952433491121757055678842512898011317325787/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^24 - 2096564980081232606345941280819911851826378748652631491725/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^23 - 2878355594709604052336871350485910135330769927605717039336/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 + 2950840751591366095543596859115608860506223035961380687164/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 + 39238023410095778160884969435134841433544238892128004043454/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 + 34674365706965540488162208799101860496297902101935618881249/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 + 279949373178388291918452146687471093939931620209940466275423/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 + 673321094014541596784493843558804286717982006762632257655672/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 + 428348552320137913400156419726648053905578139478955123414975/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 + 697549321560867771210565514927773877732152969279906512052318/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 + 3077203201907419084617780300395506308022789151518236888838201/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 + 1375318017972829327188722464430189534044979187435176465190923/19278\ 462077600985958299615498377810669484819258386423349*c_1100_11^13 + 1549493034342423624327434058910283631492729858474314871433223/19278\ 462077600985958299615498377810669484819258386423349*c_1100_11^12 + 4724447321927033171316339383945984415594004143316122673066280/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 + 4126760853405878340810025654537948278058109681163459380066645/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 + 3276774503445337313219717626516909945314072736392429839842819/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 + 674721524513057837149607719070196617800454350113124120936889/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 + 393950966589902830836080002477192923167049445520690056239029/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 + 1211874395401360266718098059448490262134089472939733778794693/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^6 + 541836954914165290507476699311331474645818096667026367392881/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 + 138904167162468919642002783217564272230692204218450899853545/642615\ 4025866995319433205166125936889828273086128807783*c_1100_11^4 + 167465644673621769723746502589869486863550930820656241246435/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^3 + 73778594624163127037502893492900002805501433601836004846874/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 + 8854191886621914693407171998450147255585131357057369299611/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 + 758126703481547675429745705139996846650038556541998802721/578353862\ 32802957874898846495133432008454457775159270047, c_0101_7 + 1, c_0101_8 + 73693704121532791600542047491471582115433346471055804485/578\ 35386232802957874898846495133432008454457775159270047*c_1100_11^25 - 28264407872251041801346510324623622267450816095155656885/1927846207\ 7600985958299615498377810669484819258386423349*c_1100_11^24 - 1459923723850757854668437584595200638019262432411362449908/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^23 - 1992885026567396544832961624260077110838029702380240947101/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 + 2057722721533803627769228818993258593785298939863825202839/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 + 27275005183694441356323535223864391756245959897056481561409/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 + 24116628189680331898767578417430144708158331796847371187575/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 + 194791937647129462615756746151089619437315146987064798049676/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 + 468305379976442188558028305110537931800655132104819551378356/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 + 297824728299353024091608269575543278182594861415709728066761/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 + 485112779852973145555734971088513005069590673188823851596643/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 + 2140381599781123038775554651464283855875392586319571746354877/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 + 956720665995711347131390071002765740112761248520603423462010/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^13 + 1077889343941023114888165011739526835746968390596562407505644/19278\ 462077600985958299615498377810669484819258386423349*c_1100_11^12 + 3289807161727446575978230860039673307237440290797009189912375/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 + 2873625354410123221676918033900392032974373810873448072757522/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 + 2285421706123122052324091287525727312283657729240273634906030/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 + 470705022063742156628271893668833943284428937274749432421409/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 + 276154580060205102544631059632246654849100585538795774298425/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 + 846121003288262370423243865392534755274053051614127316210545/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^6 + 376828690611132748073516417007148573009281476461107028378906/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 + 96566734302344146322735125423620503788287214380596801288267/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^4 + 117511218880218812895767648469710190402563373734846867742058/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^3 + 53856467234452093756575999373039770245061064855488647081180/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 + 6944241275108703453557971693019883286766585988845258618350/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 + 564958974990169573093381849376360035589833795989347919638/578353862\ 32802957874898846495133432008454457775159270047, c_0110_11 + 42702148702708561148319472093994992142121345286966306315/57\ 835386232802957874898846495133432008454457775159270047*c_1100_11^25 - 16202432956535495438937852427399297048201137839550343615/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^24 - 847343081642944086109504966716857470015566206602977944336/578353862\ 32802957874898846495133432008454457775159270047*c_1100_11^23 - 1163766662278913317926847323630428098554638918255580596873/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11^22 + 1192434957167094907452070947352572339880612634220667014175/19278462\ 077600985958299615498377810669484819258386423349*c_1100_11^21 + 15859166255958250153704100325878282035269073516555194661113/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^20 + 14014710167843248229666150134499217506167054662721465621567/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^19 + 113155243702704268354076191015100160690876126103183953534158/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^18 + 272166700572094320216402963363652251828258627527009796206104/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^17 + 173152224763701278298266734010163260836334194835062100394217/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^16 + 281983035053549892921941342127319032610001480020518078213283/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^15 + 1244039034195540190299624475161710476233239716325347741286599/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^14 + 556033544190435722576927240126168457281526133392825417170468/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^13 + 626516838674086580071909759985837769954296732360768130741884/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^12 + 1910382448927742672806126486412687683964572870230363275918987/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^11 + 1669146303308308845162014020563420414112547613164654975759720/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^10 + 1325327660542241605932406342905307203055033434922389281682556/57835\ 386232802957874898846495133432008454457775159270047*c_1100_11^9 + 273095430692125368012265125642295809950999179508058644493041/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^8 + 159408005998473682303715397885347639819339507799559405058225/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^7 + 490515413982910786635043857837112039251337542219824566270763/578353\ 86232802957874898846495133432008454457775159270047*c_1100_11^6 + 219069275275014407224713836945765907226300116109378085418619/192784\ 62077600985958299615498377810669484819258386423349*c_1100_11^5 + 56180728920459139352359138261944412035174038208211565133228/6426154\ 025866995319433205166125936889828273086128807783*c_1100_11^4 + 67778841668231599599954658957147769334559728831365612300242/1927846\ 2077600985958299615498377810669484819258386423349*c_1100_11^3 + 30146375812110733657826665208555123700898158454049587744244/5783538\ 6232802957874898846495133432008454457775159270047*c_1100_11^2 + 3637900628994583307829354576600225409825934890585691024128/57835386\ 232802957874898846495133432008454457775159270047*c_1100_11 + 356668841169735272561093498993803890760167091003326966776/578353862\ 32802957874898846495133432008454457775159270047, c_1100_11^26 - c_1100_11^25 - 20*c_1100_11^24 - 30*c_1100_11^23 + 80*c_1100_11^22 + 383*c_1100_11^21 + 1036*c_1100_11^20 + 2786*c_1100_11^19 + 6740*c_1100_11^18 + 13046*c_1100_11^17 + 21492*c_1100_11^16 + 31870*c_1100_11^15 + 43088*c_1100_11^14 + 49410*c_1100_11^13 + 50813*c_1100_11^12 + 45258*c_1100_11^11 + 36428*c_1100_11^10 + 23459*c_1100_11^9 + 13842*c_1100_11^8 + 13022*c_1100_11^7 + 16978*c_1100_11^6 + 13965*c_1100_11^5 + 6393*c_1100_11^4 + 1358*c_1100_11^3 + 182*c_1100_11^2 + 19*c_1100_11 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.690 Total time: 0.900 seconds, Total memory usage: 32.09MB