Magma V2.19-8 Tue Aug 20 2013 23:45:48 on localhost [Seed = 1798114949] Type ? for help. Type -D to quit. Loading file "K13n616__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n616 geometric_solution 10.75931239 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 0 0 2 0132 1230 3012 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 1 -1 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.985654080608 1.332419799320 0 3 4 2 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.361718633004 0.475144681103 5 1 0 6 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 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.361718633004 0.475144681103 6 1 6 7 3201 0132 2310 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 -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.642801756855 0.925523192648 8 7 9 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 0 0 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.206096253645 1.140476029171 2 7 10 11 0132 2031 0132 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 11 0 -11 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.706577713911 0.745954963318 9 3 2 3 2103 3201 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642801756855 0.925523192648 5 4 3 11 1302 0132 0132 3201 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 -11 1 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.562271720892 0.413912743783 4 9 11 10 0132 3120 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588366085717 0.363604601518 10 8 6 4 0132 3120 2103 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 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.706577713911 0.745954963318 9 11 8 5 0132 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.981416428238 0.534218815112 8 7 5 10 2103 2310 0132 0321 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 -10 11 -1 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.364604151186 1.205382577588 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_4']), 'c_1001_10' : d['c_0011_10'], 'c_1001_5' : negation(d['c_0110_7']), 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_1001_1'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0011_2'], 'c_1001_2' : d['c_0101_0'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0110_7']), 'c_1010_10' : negation(d['c_0110_7']), 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : negation(d['1']), 's_2_11' : d['1'], 's_0_8' : negation(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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_0101_3'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0101_3'], 'c_1100_7' : negation(d['c_0011_11']), 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0101_3'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : negation(d['c_0011_2']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_1'], 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_2'], 'c_1010_0' : d['c_0101_0'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : d['c_0011_10'], 'c_1100_8' : d['c_0011_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : negation(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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0101_3'])})} 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_5, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 9745763429918689231382907534284792554250818609/20585870655942260388\ 5065892235242916471039104*c_1001_1^21 - 115500150949997315924618109518649202161916475193/411717413118845207\ 770131784470485832942078208*c_1001_1^20 - 522169126056609698836204515160336625688880205161/205858706559422603\ 885065892235242916471039104*c_1001_1^19 - 368263726092378902274267580423911810516095126291/514646766398556509\ 71266473058810729117759776*c_1001_1^18 - 11693030749131564512286282894010184579466321124315/4117174131188452\ 07770131784470485832942078208*c_1001_1^17 - 2603834204172376500667772858863815067809943229209/20585870655942260\ 3885065892235242916471039104*c_1001_1^16 - 1599123171302938605320278698287233714763595228295/10292935327971130\ 1942532946117621458235519552*c_1001_1^15 + 42648362347608566051752570792757487414995553933927/2058587065594226\ 03885065892235242916471039104*c_1001_1^14 - 34574482222783388182294775020809442500017330582241/2058587065594226\ 03885065892235242916471039104*c_1001_1^13 - 126722642744502474141851850742572536830959295369565/205858706559422\ 603885065892235242916471039104*c_1001_1^12 + 59731883653761146837090496382944331231345162250027/4117174131188452\ 07770131784470485832942078208*c_1001_1^11 + 380613387694944473938430614042292489887228417859627/411717413118845\ 207770131784470485832942078208*c_1001_1^10 - 149354183831236786173802629968013881973658126574409/411717413118845\ 207770131784470485832942078208*c_1001_1^9 - 506675600042768983528449767053885990439071986408255/411717413118845\ 207770131784470485832942078208*c_1001_1^8 + 26030720635762891577837221086429172126186006309733/4117174131188452\ 07770131784470485832942078208*c_1001_1^7 + 201828492755491329107413368426042155435279091819857/205858706559422\ 603885065892235242916471039104*c_1001_1^6 + 26274881329233878987765040522367882127133230600777/2058587065594226\ 03885065892235242916471039104*c_1001_1^5 - 81903422199566554924729756537420832232868662900379/2058587065594226\ 03885065892235242916471039104*c_1001_1^4 - 8950132365854671201739546752502863827252468496339/10292935327971130\ 1942532946117621458235519552*c_1001_1^3 + 28409584138742500736954224882089150002658241591331/4117174131188452\ 07770131784470485832942078208*c_1001_1^2 + 182281866233669929984741975627677922932933417575/128661691599639127\ 42816618264702682279439944*c_1001_1 - 514828844921152745608550954480048502147508039451/102929353279711301\ 942532946117621458235519552, c_0011_0 - 1, c_0011_10 + 567937350967654602149207651531734489623015/1029293532797113\ 01942532946117621458235519552*c_1001_1^21 + 1018074164400378217312705452538118356799603/25732338319927825485633\ 236529405364558879888*c_1001_1^20 + 17295399548711744478972073057399639415972637/5146467663985565097126\ 6473058810729117759776*c_1001_1^19 + 123639385578223689055959562420507306997331345/102929353279711301942\ 532946117621458235519552*c_1001_1^18 + 111636125725296836983755564700414258159056669/257323383199278254856\ 33236529405364558879888*c_1001_1^17 + 144002877972922279467119632834684356480644113/257323383199278254856\ 33236529405364558879888*c_1001_1^16 + 184854840376750578582113133882868879418262509/514646766398556509712\ 66473058810729117759776*c_1001_1^15 - 1107123904784429043205452914076216362580158155/51464676639855650971\ 266473058810729117759776*c_1001_1^14 - 16957404112406679151467028183377374935327615/1608271144995489092852\ 077283087835284929993*c_1001_1^13 + 10039783448226339724550404516383962814047252549/1029293532797113019\ 42532946117621458235519552*c_1001_1^12 + 6961686714013456890807484337649282210851283955/10292935327971130194\ 2532946117621458235519552*c_1001_1^11 - 13146143782536935083412921359633863710786784389/1029293532797113019\ 42532946117621458235519552*c_1001_1^10 - 8477759902395353047825014784323403403651553007/10292935327971130194\ 2532946117621458235519552*c_1001_1^9 + 20123172590976271143495996220295662502599416871/1029293532797113019\ 42532946117621458235519552*c_1001_1^8 + 3996230025036861570902558412527198267012312997/25732338319927825485\ 633236529405364558879888*c_1001_1^7 - 6142964897491026607420792159286088878474306755/51464676639855650971\ 266473058810729117759776*c_1001_1^6 - 7199770646164671715352864253009226580343245871/51464676639855650971\ 266473058810729117759776*c_1001_1^5 + 1362858074655861212413054470971579729101398325/51464676639855650971\ 266473058810729117759776*c_1001_1^4 + 5542803324355249832612908005390440024715652131/10292935327971130194\ 2532946117621458235519552*c_1001_1^3 + 240690412346014069860346388732601541508065593/514646766398556509712\ 66473058810729117759776*c_1001_1^2 - 156676412283512147390884497108812691614273923/257323383199278254856\ 33236529405364558879888*c_1001_1 - 13517056010026776986911913206666821032599101/1286616915996391274281\ 6618264702682279439944, c_0011_11 - 6244327209739286836092575619410603139216755/411717413118845\ 207770131784470485832942078208*c_1001_1^21 - 9459462772503203025525810357618062044841951/10292935327971130194253\ 2946117621458235519552*c_1001_1^20 - 170027202710127046950571929441635623561023637/205858706559422603885\ 065892235242916471039104*c_1001_1^19 - 992049477782477009618948979001506348763722829/411717413118845207770\ 131784470485832942078208*c_1001_1^18 - 975642983243026555543537361186329781524157319/102929353279711301942\ 532946117621458235519552*c_1001_1^17 - 566242551580715493873366845614839704014528793/102929353279711301942\ 532946117621458235519552*c_1001_1^16 - 1316685012073454696514204460350912928775022657/20585870655942260388\ 5065892235242916471039104*c_1001_1^15 + 13372810624553406724432501680201291811957884375/2058587065594226038\ 85065892235242916471039104*c_1001_1^14 - 585851697711772495035903891425884282810424071/128661691599639127428\ 16618264702682279439944*c_1001_1^13 - 81963749873260510629963492196238871446653130937/4117174131188452077\ 70131784470485832942078208*c_1001_1^12 + 7526130116699298032308320672854848282261740529/41171741311884520777\ 0131784470485832942078208*c_1001_1^11 + 116511727063950720645344846944356564067181556257/411717413118845207\ 770131784470485832942078208*c_1001_1^10 - 32814130555615481655005271947687401763373433125/4117174131188452077\ 70131784470485832942078208*c_1001_1^9 - 157925809685397686599632015729730348197503768731/411717413118845207\ 770131784470485832942078208*c_1001_1^8 - 3365290777762356327658914182042363204432419345/10292935327971130194\ 2532946117621458235519552*c_1001_1^7 + 57524403364890866356291816978669579314671227547/2058587065594226038\ 85065892235242916471039104*c_1001_1^6 + 14842299102322186158989979870521973052240408783/2058587065594226038\ 85065892235242916471039104*c_1001_1^5 - 20053869685253717664257446547748289247212596165/2058587065594226038\ 85065892235242916471039104*c_1001_1^4 - 13679664843893574961786752324396402494214010471/4117174131188452077\ 70131784470485832942078208*c_1001_1^3 + 2258187345351501635944740117874553878294759087/20585870655942260388\ 5065892235242916471039104*c_1001_1^2 + 329301065505991354058268407254963349964290735/102929353279711301942\ 532946117621458235519552*c_1001_1 - 50494873192479886182849714068583040931242507/5146467663985565097126\ 6473058810729117759776, c_0011_2 - 17088049589439394648764253446170300467489763/823434826237690\ 415540263568940971665884156416*c_1001_1^21 - 25519692492947347359662257994121990399231583/2058587065594226038850\ 65892235242916471039104*c_1001_1^20 - 461391870390613157919580304339071935404267669/411717413118845207770\ 131784470485832942078208*c_1001_1^19 - 2640196184803783033239432376389553010856123261/82343482623769041554\ 0263568940971665884156416*c_1001_1^18 - 2624649566582653865646641759266076798610049359/20585870655942260388\ 5065892235242916471039104*c_1001_1^17 - 1346456646709098317383268743110946131353566409/20585870655942260388\ 5065892235242916471039104*c_1001_1^16 - 3589207465187496539451995326798068769651395281/41171741311884520777\ 0131784470485832942078208*c_1001_1^15 + 37081470641323070271052770791828377514205628807/4117174131188452077\ 70131784470485832942078208*c_1001_1^14 - 1809942110426116238977162109877115673120030079/25732338319927825485\ 633236529405364558879888*c_1001_1^13 - 214657524400581396040527105893200270220539079881/823434826237690415\ 540263568940971665884156416*c_1001_1^12 + 30628818363262679216342574950642567243259168705/8234348262376904155\ 40263568940971665884156416*c_1001_1^11 + 309670745233453301809585249009348024041338755409/823434826237690415\ 540263568940971665884156416*c_1001_1^10 - 102401024053365054456504784003300330286874023349/823434826237690415\ 540263568940971665884156416*c_1001_1^9 - 411926920375367260487280793148985702538655170603/823434826237690415\ 540263568940971665884156416*c_1001_1^8 - 6149777938998361978169284213732194864827663617/20585870655942260388\ 5065892235242916471039104*c_1001_1^7 + 153149485453993396440414668966407651391688035803/411717413118845207\ 770131784470485832942078208*c_1001_1^6 + 37273666502030464968745018521542671739702635375/4117174131188452077\ 70131784470485832942078208*c_1001_1^5 - 52015778400246400470528552310727245708378675269/4117174131188452077\ 70131784470485832942078208*c_1001_1^4 - 39420236684575146028356950821795618824590951095/8234348262376904155\ 40263568940971665884156416*c_1001_1^3 + 5108147800720034575274117087582051980226898543/41171741311884520777\ 0131784470485832942078208*c_1001_1^2 + 1112008135970819326234828988846303388682890047/20585870655942260388\ 5065892235242916471039104*c_1001_1 - 62948347214841671861698237258438361257985963/1029293532797113019425\ 32946117621458235519552, c_0011_4 + 5320691190636387938308867065912062618273381/8234348262376904\ 15540263568940971665884156416*c_1001_1^21 + 8160199999731574793728177155607725884563537/20585870655942260388506\ 5892235242916471039104*c_1001_1^20 + 146173165267414319020728322897051266165748627/411717413118845207770\ 131784470485832942078208*c_1001_1^19 + 868453249572829066036940984142390931123357659/823434826237690415540\ 263568940971665884156416*c_1001_1^18 + 849985628445436287424177865272421485676480121/205858706559422603885\ 065892235242916471039104*c_1001_1^17 + 556132195585367465804163020574332753657662623/205858706559422603885\ 065892235242916471039104*c_1001_1^16 + 1269672635639826473670281477069921860302318119/41171741311884520777\ 0131784470485832942078208*c_1001_1^15 - 11183907771971036040303611109359409585944603425/4117174131188452077\ 70131784470485832942078208*c_1001_1^14 + 448270339529834376984375268238580831321928967/257323383199278254856\ 33236529405364558879888*c_1001_1^13 + 70454603405365081517051217660758281409269638607/8234348262376904155\ 40263568940971665884156416*c_1001_1^12 - 2270492097959311519797035970307307310469734071/82343482623769041554\ 0263568940971665884156416*c_1001_1^11 - 95543063568640913830610689244915278550579032647/8234348262376904155\ 40263568940971665884156416*c_1001_1^10 + 23589965754388791421449800258985549781159098787/8234348262376904155\ 40263568940971665884156416*c_1001_1^9 + 131458697729360845793898011444289637112644120669/823434826237690415\ 540263568940971665884156416*c_1001_1^8 + 4188450409303818617095883639734746991443228975/20585870655942260388\ 5065892235242916471039104*c_1001_1^7 - 44113368909274464788969940245054238388581737949/4117174131188452077\ 70131784470485832942078208*c_1001_1^6 - 12986406767118398228258415569431953214885347145/4117174131188452077\ 70131784470485832942078208*c_1001_1^5 + 13322139902042269795068607626050817057663223299/4117174131188452077\ 70131784470485832942078208*c_1001_1^4 + 7842843816787527050314523035182406209155190481/82343482623769041554\ 0263568940971665884156416*c_1001_1^3 - 564672153969955475813091061064469437678304825/411717413118845207770\ 131784470485832942078208*c_1001_1^2 + 90778977849097131458190425162606964161105143/2058587065594226038850\ 65892235242916471039104*c_1001_1 + 31443538743472806985375943917701766708631069/1029293532797113019425\ 32946117621458235519552, c_0101_0 - 4665313524315387121777914057112102477076653/8234348262376904\ 15540263568940971665884156416*c_1001_1^21 - 7121436406536613526777447329673747642699353/20585870655942260388506\ 5892235242916471039104*c_1001_1^20 - 125647470669232619968749485755800455697371131/411717413118845207770\ 131784470485832942078208*c_1001_1^19 - 729041684744171213685186706568001216940883571/823434826237690415540\ 263568940971665884156416*c_1001_1^18 - 682968149686122764003732846927657307468374937/205858706559422603885\ 065892235242916471039104*c_1001_1^17 - 304395828986786617222031204079512985411948743/205858706559422603885\ 065892235242916471039104*c_1001_1^16 + 212521651658364310719674511619002296609858433/411717413118845207770\ 131784470485832942078208*c_1001_1^15 + 10502404904307391753461551424936033539936369737/4117174131188452077\ 70131784470485832942078208*c_1001_1^14 - 346902661057885091187046162464964634526664745/257323383199278254856\ 33236529405364558879888*c_1001_1^13 - 79488737041074033690514143897652001321955765927/8234348262376904155\ 40263568940971665884156416*c_1001_1^12 + 18855203378861681034042720012669514818977077071/8234348262376904155\ 40263568940971665884156416*c_1001_1^11 + 134347914701353647541580532169329271957745828159/823434826237690415\ 540263568940971665884156416*c_1001_1^10 - 32029330910925084211681545220480269483512599835/8234348262376904155\ 40263568940971665884156416*c_1001_1^9 - 183438883596357321008307050101853944484507463045/823434826237690415\ 540263568940971665884156416*c_1001_1^8 + 4284873456243008828182839045494992028826620169/20585870655942260388\ 5065892235242916471039104*c_1001_1^7 + 84551182236465789033517013703056401568086689397/4117174131188452077\ 70131784470485832942078208*c_1001_1^6 + 11712636527846579481755449429374455875752094657/4117174131188452077\ 70131784470485832942078208*c_1001_1^5 - 43150933219595747007716927653615077911529397547/4117174131188452077\ 70131784470485832942078208*c_1001_1^4 - 19108913870643609371130429504909898242974985305/8234348262376904155\ 40263568940971665884156416*c_1001_1^3 + 9325888413324379008840056036709231360617588529/41171741311884520777\ 0131784470485832942078208*c_1001_1^2 + 1184494214400080186053347703968876156110795921/20585870655942260388\ 5065892235242916471039104*c_1001_1 - 116050004493823438236825696671353354877868725/102929353279711301942\ 532946117621458235519552, c_0101_1 - 6244327209739286836092575619410603139216755/4117174131188452\ 07770131784470485832942078208*c_1001_1^21 - 9459462772503203025525810357618062044841951/10292935327971130194253\ 2946117621458235519552*c_1001_1^20 - 170027202710127046950571929441635623561023637/205858706559422603885\ 065892235242916471039104*c_1001_1^19 - 992049477782477009618948979001506348763722829/411717413118845207770\ 131784470485832942078208*c_1001_1^18 - 975642983243026555543537361186329781524157319/102929353279711301942\ 532946117621458235519552*c_1001_1^17 - 566242551580715493873366845614839704014528793/102929353279711301942\ 532946117621458235519552*c_1001_1^16 - 1316685012073454696514204460350912928775022657/20585870655942260388\ 5065892235242916471039104*c_1001_1^15 + 13372810624553406724432501680201291811957884375/2058587065594226038\ 85065892235242916471039104*c_1001_1^14 - 585851697711772495035903891425884282810424071/128661691599639127428\ 16618264702682279439944*c_1001_1^13 - 81963749873260510629963492196238871446653130937/4117174131188452077\ 70131784470485832942078208*c_1001_1^12 + 7526130116699298032308320672854848282261740529/41171741311884520777\ 0131784470485832942078208*c_1001_1^11 + 116511727063950720645344846944356564067181556257/411717413118845207\ 770131784470485832942078208*c_1001_1^10 - 32814130555615481655005271947687401763373433125/4117174131188452077\ 70131784470485832942078208*c_1001_1^9 - 157925809685397686599632015729730348197503768731/411717413118845207\ 770131784470485832942078208*c_1001_1^8 - 3365290777762356327658914182042363204432419345/10292935327971130194\ 2532946117621458235519552*c_1001_1^7 + 57524403364890866356291816978669579314671227547/2058587065594226038\ 85065892235242916471039104*c_1001_1^6 + 14842299102322186158989979870521973052240408783/2058587065594226038\ 85065892235242916471039104*c_1001_1^5 - 20053869685253717664257446547748289247212596165/2058587065594226038\ 85065892235242916471039104*c_1001_1^4 - 13679664843893574961786752324396402494214010471/4117174131188452077\ 70131784470485832942078208*c_1001_1^3 + 2258187345351501635944740117874553878294759087/20585870655942260388\ 5065892235242916471039104*c_1001_1^2 + 329301065505991354058268407254963349964290735/102929353279711301942\ 532946117621458235519552*c_1001_1 - 50494873192479886182849714068583040931242507/5146467663985565097126\ 6473058810729117759776, c_0101_10 + 6420839260308674835646303479706206256662555/823434826237690\ 415540263568940971665884156416*c_1001_1^21 + 10704934044469741763903683144640109500447151/2058587065594226038850\ 65892235242916471039104*c_1001_1^20 + 185919624131203941915211758442456165353695549/411717413118845207770\ 131784470485832942078208*c_1001_1^19 + 1223883444801374134198017876883395185113242309/82343482623769041554\ 0263568940971665884156416*c_1001_1^18 + 1137692505468475284920592213385519161427729135/20585870655942260388\ 5065892235242916471039104*c_1001_1^17 + 1132554438091963304772868927746862817025764945/20585870655942260388\ 5065892235242916471039104*c_1001_1^16 + 1578086999315501681258342306029833731611256025/41171741311884520777\ 0131784470485832942078208*c_1001_1^15 - 13219019154990533142825644079337401931515980447/4117174131188452077\ 70131784470485832942078208*c_1001_1^14 + 52715024543861182306414205323540761144956159/2573233831992782548563\ 3236529405364558879888*c_1001_1^13 + 102482038058486872268275426038286511256226674993/823434826237690415\ 540263568940971665884156416*c_1001_1^12 + 38699034146347179112215038656865496091739482167/8234348262376904155\ 40263568940971665884156416*c_1001_1^11 - 143265194528568157620198435195864495990174266073/823434826237690415\ 540263568940971665884156416*c_1001_1^10 - 37858330841223561190902113134881655604761691043/8234348262376904155\ 40263568940971665884156416*c_1001_1^9 + 207698387892081918180267243815882063010857949059/823434826237690415\ 540263568940971665884156416*c_1001_1^8 + 25984437037749926602511127628095499540747900193/2058587065594226038\ 85065892235242916471039104*c_1001_1^7 - 71558707756928540152932343346123801518233997523/4117174131188452077\ 70131784470485832942078208*c_1001_1^6 - 53398598082855842486579058029320234769546123943/4117174131188452077\ 70131784470485832942078208*c_1001_1^5 + 22022965913984467358842401147670612013360692301/4117174131188452077\ 70131784470485832942078208*c_1001_1^4 + 44527291269995099733717083114276803508006865743/8234348262376904155\ 40263568940971665884156416*c_1001_1^3 - 780081385008995090754315083313208455360297847/411717413118845207770\ 131784470485832942078208*c_1001_1^2 - 1526114041115045734088312278054662164266612951/20585870655942260388\ 5065892235242916471039104*c_1001_1 - 51452674957625647617877498290809335299243437/1029293532797113019425\ 32946117621458235519552, c_0101_3 - 17088049589439394648764253446170300467489763/823434826237690\ 415540263568940971665884156416*c_1001_1^21 - 25519692492947347359662257994121990399231583/2058587065594226038850\ 65892235242916471039104*c_1001_1^20 - 461391870390613157919580304339071935404267669/411717413118845207770\ 131784470485832942078208*c_1001_1^19 - 2640196184803783033239432376389553010856123261/82343482623769041554\ 0263568940971665884156416*c_1001_1^18 - 2624649566582653865646641759266076798610049359/20585870655942260388\ 5065892235242916471039104*c_1001_1^17 - 1346456646709098317383268743110946131353566409/20585870655942260388\ 5065892235242916471039104*c_1001_1^16 - 3589207465187496539451995326798068769651395281/41171741311884520777\ 0131784470485832942078208*c_1001_1^15 + 37081470641323070271052770791828377514205628807/4117174131188452077\ 70131784470485832942078208*c_1001_1^14 - 1809942110426116238977162109877115673120030079/25732338319927825485\ 633236529405364558879888*c_1001_1^13 - 214657524400581396040527105893200270220539079881/823434826237690415\ 540263568940971665884156416*c_1001_1^12 + 30628818363262679216342574950642567243259168705/8234348262376904155\ 40263568940971665884156416*c_1001_1^11 + 309670745233453301809585249009348024041338755409/823434826237690415\ 540263568940971665884156416*c_1001_1^10 - 102401024053365054456504784003300330286874023349/823434826237690415\ 540263568940971665884156416*c_1001_1^9 - 411926920375367260487280793148985702538655170603/823434826237690415\ 540263568940971665884156416*c_1001_1^8 - 6149777938998361978169284213732194864827663617/20585870655942260388\ 5065892235242916471039104*c_1001_1^7 + 153149485453993396440414668966407651391688035803/411717413118845207\ 770131784470485832942078208*c_1001_1^6 + 37273666502030464968745018521542671739702635375/4117174131188452077\ 70131784470485832942078208*c_1001_1^5 - 52015778400246400470528552310727245708378675269/4117174131188452077\ 70131784470485832942078208*c_1001_1^4 - 39420236684575146028356950821795618824590951095/8234348262376904155\ 40263568940971665884156416*c_1001_1^3 + 5108147800720034575274117087582051980226898543/41171741311884520777\ 0131784470485832942078208*c_1001_1^2 + 1112008135970819326234828988846303388682890047/20585870655942260388\ 5065892235242916471039104*c_1001_1 - 62948347214841671861698237258438361257985963/1029293532797113019425\ 32946117621458235519552, c_0101_5 + c_1001_1, c_0110_7 + 6420839260308674835646303479706206256662555/8234348262376904\ 15540263568940971665884156416*c_1001_1^21 + 10704934044469741763903683144640109500447151/2058587065594226038850\ 65892235242916471039104*c_1001_1^20 + 185919624131203941915211758442456165353695549/411717413118845207770\ 131784470485832942078208*c_1001_1^19 + 1223883444801374134198017876883395185113242309/82343482623769041554\ 0263568940971665884156416*c_1001_1^18 + 1137692505468475284920592213385519161427729135/20585870655942260388\ 5065892235242916471039104*c_1001_1^17 + 1132554438091963304772868927746862817025764945/20585870655942260388\ 5065892235242916471039104*c_1001_1^16 + 1578086999315501681258342306029833731611256025/41171741311884520777\ 0131784470485832942078208*c_1001_1^15 - 13219019154990533142825644079337401931515980447/4117174131188452077\ 70131784470485832942078208*c_1001_1^14 + 52715024543861182306414205323540761144956159/2573233831992782548563\ 3236529405364558879888*c_1001_1^13 + 102482038058486872268275426038286511256226674993/823434826237690415\ 540263568940971665884156416*c_1001_1^12 + 38699034146347179112215038656865496091739482167/8234348262376904155\ 40263568940971665884156416*c_1001_1^11 - 143265194528568157620198435195864495990174266073/823434826237690415\ 540263568940971665884156416*c_1001_1^10 - 37858330841223561190902113134881655604761691043/8234348262376904155\ 40263568940971665884156416*c_1001_1^9 + 207698387892081918180267243815882063010857949059/823434826237690415\ 540263568940971665884156416*c_1001_1^8 + 25984437037749926602511127628095499540747900193/2058587065594226038\ 85065892235242916471039104*c_1001_1^7 - 71558707756928540152932343346123801518233997523/4117174131188452077\ 70131784470485832942078208*c_1001_1^6 - 53398598082855842486579058029320234769546123943/4117174131188452077\ 70131784470485832942078208*c_1001_1^5 + 22022965913984467358842401147670612013360692301/4117174131188452077\ 70131784470485832942078208*c_1001_1^4 + 44527291269995099733717083114276803508006865743/8234348262376904155\ 40263568940971665884156416*c_1001_1^3 - 780081385008995090754315083313208455360297847/411717413118845207770\ 131784470485832942078208*c_1001_1^2 - 1526114041115045734088312278054662164266612951/20585870655942260388\ 5065892235242916471039104*c_1001_1 - 51452674957625647617877498290809335299243437/1029293532797113019425\ 32946117621458235519552, c_1001_1^22 + 6*c_1001_1^21 + 54*c_1001_1^20 + 155*c_1001_1^19 + 610*c_1001_1^18 + 308*c_1001_1^17 + 334*c_1001_1^16 - 4366*c_1001_1^15 + 3212*c_1001_1^14 + 13347*c_1001_1^13 - 2101*c_1001_1^12 - 20065*c_1001_1^11 + 6081*c_1001_1^10 + 26999*c_1001_1^9 + 718*c_1001_1^8 - 21434*c_1001_1^7 - 4558*c_1001_1^6 + 8634*c_1001_1^5 + 2777*c_1001_1^4 - 1440*c_1001_1^3 - 520*c_1001_1^2 + 96*c_1001_1 + 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.340 Total time: 0.550 seconds, Total memory usage: 32.09MB