Magma V2.19-8 Tue Aug 20 2013 16:19:03 on localhost [Seed = 576962391] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3204 geometric_solution 6.35193195 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 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 1 -1 0 0 1 -1 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.533160351407 0.758307226862 0 3 5 4 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777298849894 0.987258874681 3 0 4 5 2310 0132 3201 2310 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 0 0 0 0 -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.777298849894 0.987258874681 3 1 2 3 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -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.307093276141 0.650193856443 2 6 1 6 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.953624956532 0.756954244989 2 5 5 1 3201 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 1 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.424915908119 0.683229432423 6 4 6 4 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539911439488 0.197109412689 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_3'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 3045833727519487250894849429297277789089033640525280611087302518735\ 1412163807641/14037761070137114817748238822515263661177661990378943\ 9858761585975051041690409*c_0110_6^31 + 1844921163334224264417128694996011235047459059271656340421211747830\ 53709476699707/1403776107013711481774823882251526366117766199037894\ 39858761585975051041690409*c_0110_6^30 + 6296808767287883306874800850701784341182195154440717857462971217261\ 95404352587718/1403776107013711481774823882251526366117766199037894\ 39858761585975051041690409*c_0110_6^29 - 6467003197632670307648274906502819286810731658265095979887747999850\ 876796562778379/140377610701371148177482388225152636611776619903789\ 439858761585975051041690409*c_0110_6^28 + 5221385465921365646957054464111736332346863148112490082962589778199\ 51582788392722/1079827774625931909057556832501174127782897076182995\ 6912212429690388541668493*c_0110_6^27 + 4738884104178052456799853136952552588569249533159891447329693324323\ 1464963732670638/14037761070137114817748238822515263661177661990378\ 9439858761585975051041690409*c_0110_6^26 - 1018120525056206336216502478555920069674206476271492234538275224716\ 32349223934456852/1403776107013711481774823882251526366117766199037\ 89439858761585975051041690409*c_0110_6^25 - 1872350082638831830546262425643367322526857846940505996104366175879\ 99041513729334993/1403776107013711481774823882251526366117766199037\ 89439858761585975051041690409*c_0110_6^24 + 6512074525985184093894387290831253671484137758519442156436033383937\ 43573051691107261/1403776107013711481774823882251526366117766199037\ 89439858761585975051041690409*c_0110_6^23 + 5320074689160310117602545399266505072426159685770892677745666702647\ 11818279015485875/1403776107013711481774823882251526366117766199037\ 89439858761585975051041690409*c_0110_6^22 - 3649378273084267625136626675066628586256612534358720421268947658492\ 662918131317990081/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^21 + 2869720785287125034962777201132934432406935789497674224715504603960\ 983326497798023192/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^20 + 4635721497300244988161042744553736401806158454607042624342901943861\ 020013251994530337/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^19 - 6542159659731183487629215510075693655064800199898267891047441741136\ 563432402310377633/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^18 - 4583365006998385108819355546877190387827701705465088030972179272974\ 173331121228529867/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^17 + 9541298511158085642597317250228918811543845811928054251184810387973\ 949224986686452999/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^16 + 1641629105703142351680643651004193697371008197105424101365926757813\ 849889924552097760/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^15 - 6017394017622183996617443777847726056661709778868526536071499773800\ 346278717990826386/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^14 - 2211834344892971841460699650637649629425200937434987189073708082451\ 127315341560988125/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^13 + 2394081316840748561597987679995959119428588184725066089857149471766\ 89059448982300556/1079827774625931909057556832501174127782897076182\ 9956912212429690388541668493*c_0110_6^12 + 1529094659354022633518337390626866252481263602518386360959070706037\ 718342262802863560/140377610701371148177482388225152636611776619903\ 789439858761585975051041690409*c_0110_6^11 - 8323610290212097473835421523962559270665132939915585453674230690625\ 87464755315665417/1403776107013711481774823882251526366117766199037\ 89439858761585975051041690409*c_0110_6^10 - 6679635372834344646555663367750333643089170616929971877406175221636\ 66055873283076231/1403776107013711481774823882251526366117766199037\ 89439858761585975051041690409*c_0110_6^9 + 9579845244101813728511035274702478889125938506507567254781243359979\ 0121367434242311/14037761070137114817748238822515263661177661990378\ 9439858761585975051041690409*c_0110_6^8 + 1424422267124802588181034845369873806766928201282589243584978841696\ 1425550863099359/10798277746259319090575568325011741277828970761829\ 956912212429690388541668493*c_0110_6^7 - 2559047511795397984851693896036248315445531784666372902323718796760\ 8028532442008425/14037761070137114817748238822515263661177661990378\ 9439858761585975051041690409*c_0110_6^6 - 3740161032760652632614831147074282740308525124825714048557892808193\ 9523085909830779/14037761070137114817748238822515263661177661990378\ 9439858761585975051041690409*c_0110_6^5 + 2550947528927530896356271937787041939640779928601982631350800970631\ 567123393626206/140377610701371148177482388225152636611776619903789\ 439858761585975051041690409*c_0110_6^4 + 9697668478179140455262250353058177246839568458262804181409933709232\ 470425950953856/140377610701371148177482388225152636611776619903789\ 439858761585975051041690409*c_0110_6^3 + 1693794680534386043269777251932473320787882488255415636089120123799\ 478604842560312/140377610701371148177482388225152636611776619903789\ 439858761585975051041690409*c_0110_6^2 - 7935020201516311489092678210116582823441449802595789925935219342823\ 3365840866550/82575065118453616574989640132442727418692129355170258\ 74044799175003002452377*c_0110_6 - 2499410445336683851484167880442077689467975719042985024953696344133\ 15405605147527/1403776107013711481774823882251526366117766199037894\ 39858761585975051041690409, c_0011_0 - 1, c_0011_4 + 995726739777591381538575329786487602794141606615162742757780\ 843515870394279/635192808603489358269151077941867133989939456578232\ 759541907628846384804029*c_0110_6^31 - 6128898774433933950137528103965368183277344948403652425825264778830\ 101258322/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^30 - 1996727655859864848148089200043349\ 2936343763398615169887826236997721267223486/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6^29 + 2132347647637669002941509174878030707927006178648011347391782670555\ 70679685426/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^28 - 2429491657692508823769295608574406488867947464125751031922051731606\ 52149697051/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^27 - 1521095619449957633319279828194737282017370859861549365540386785461\ 489070446225/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^26 + 3466463574552682080906307363722664397172849172181847252118378313345\ 927455976553/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^25 + 5763336520379986146489681599835696904733563731272369577460613029783\ 462813992464/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^24 - 2174751193455834790530732438892704450059793872134029111988447674296\ 0160982411373/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^23 - 1527362316429020676889848016483560050502261176871472125541101243542\ 7407589607100/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^22 + 1202609755459850644246118263176931878157717166364641323053795069285\ 14129901895772/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^21 - 1051820196658346480607502530445435407955072393494269133642893131026\ 49804929521983/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^20 - 1387769617130039371563706478345180630331617388868685325150800511237\ 90152665932395/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^19 + 2219355696732897755089917626611926919045083122021288109148030236229\ 14887781944413/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^18 + 1294911386986018287158271181017450224570066955248354229897621823119\ 47175927841360/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^17 - 3174545946493844670314955123308764582715513735065550731104603932889\ 17982395265567/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^16 - 2721549122613996169312284790994717860272972011286592193640243266010\ 1741169541745/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^15 + 1914746607188536178033327151875911573930904372780089693120060438129\ 57904861945644/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^14 + 6233316923602832393489202988726006242803963153448677268006709288924\ 1467711262341/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^13 - 1058388591721699475981629936988500371703270137688694158569960095379\ 88345773258231/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^12 - 4291752646951828103583318943079478847892178073763778492491956257644\ 3102468354274/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^11 + 2889574661011498523198060287264710987004714528030149151122315628429\ 8985975659842/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^10 + 2079287146380180142708879904731899191396845759669353628877635707421\ 5418093422018/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^9 - 4410326020360551670189894207594792484906443513323872881558645842414\ 803537032691/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^8 - 5796068375355431958816853559797412425188274473149783032810857548890\ 362389396491/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^7 + 1120543399664496725164102292976027268992565902572100960904595806138\ 632255341010/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^6 + 1144785538663783268247550533991550576155070669184850664693202062852\ 341092920102/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^5 - 1350182503275139768162563652160277676520938988597088873316853027022\ 52750546738/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^4 - 324479690507351015388012553715546\ 682152084224950931111796058219048514088182358/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^3 - 3363966949037943828575540123069736905467266602477252555012832836482\ 3478839993/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^2 + 4496504328540464538079349914668286\ 9293287132550747767889009047789796063845041/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6 + 6304280814015561987325273123155739325829695878055648534557454183357\ 934226093/635192808603489358269151077941867133989939456578232759541\ 907628846384804029, c_0101_0 - 195492877327086689429130200078829751213944130951100912108043\ 61497195390071/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^31 + 1437020153321816977350770737352967722649041369492707312040625685408\ 85614541/6351928086034893582691510779418671339899394565782327595419\ 07628846384804029*c_0110_6^30 + 24239947754994431178681714209904689\ 3780735436369792347992938489967761185122/63519280860348935826915107\ 7941867133989939456578232759541907628846384804029*c_0110_6^29 - 4615484578096541821898699278809642306267624444459555082596123833630\ 616813289/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^28 + 9859686503009956422931023860420065\ 195443469938877882559977064599876451629785/635192808603489358269151\ 077941867133989939456578232759541907628846384804029*c_0110_6^27 + 2287310762638031312290492321658417676209756057860707065779726395833\ 9828523213/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^26 - 101355984579567989259346914676075\ 160840071858277007547901544324739339731730154/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^25 - 2504639119980350511126293463173867781105301623356201948129110340199\ 7306046364/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^24 + 536966292685515761598838113343105\ 415686637187402904455605811478736508151642775/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^23 - 2222555347063652517920194182319085466600743020556314064179849849873\ 12473729392/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^22 - 2585682855739705925045307609062634866266834623515662914990316476554\ 072616788642/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^21 + 4859063565416243895996700222481390528747297744592814981607558868876\ 264455090416/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^20 - 4063241128337391255393052437728441788855396008307657145197537066347\ 33454932913/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^19 - 6433890909946860936948409486312410291308676693350561605035231527933\ 689468215864/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^18 + 2484037698164084623747905997815214695351618494998670940301547190722\ 428935040514/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^17 + 7947354150551693406944780198973162137204315048269317268664691041662\ 253726506831/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^16 - 6303947852235764007998187981293081379540365071243983012336101596652\ 278607995696/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^15 - 2886051144044530256153093061946249425057423523207702456256981991877\ 384544411695/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^14 + 1736884079601061045088306808891081055473618991572281828516366720317\ 798475199820/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^13 + 3472381278377155317653849792154476564510365775442965101418749835451\ 402523580401/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^12 - 1360618954120208127402528673046318134387949065617057681123903141532\ 076746180520/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^11 - 1093172610891032891905454677304166737671178506575887304500664082728\ 928299157045/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^10 - 1255079293535207974296509865191352018895399723803678596858479021545\ 46259540840/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^9 + 514013619087165623232445547775835\ 360873561211672441797590992035979491272477150/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^8 + 3777264295760109197021175647424138547028729230166936161159904318785\ 9622170544/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^7 - 8039343627118167066825586897814150\ 8831479923956151585608272011220643811797519/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6^6 - 8638970440843622086238193503004504758205260571845857053750440838639\ 957992650/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^5 + 16081659268906405023863585680513936\ 855398355174386955068379611897469062597629/635192808603489358269151\ 077941867133989939456578232759541907628846384804029*c_0110_6^4 + 4767361896134743710439660802733834230583325635584721303406576092662\ 132938360/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^3 - 55178058898695402651480198987835845\ 26400682664077851691110783352393166428136/6351928086034893582691510\ 77941867133989939456578232759541907628846384804029*c_0110_6^2 - 4098775654850473741625340707547836210519842417637718706868308358252\ 07103455/6351928086034893582691510779418671339899394565782327595419\ 07628846384804029*c_0110_6 - 11064347047891479463160815377420249162\ 9083745370710718436701888434057066523/63519280860348935826915107794\ 1867133989939456578232759541907628846384804029, c_0101_1 - 173551791474741071980415160024909114842353260892212810293700\ 329774411355533/635192808603489358269151077941867133989939456578232\ 759541907628846384804029*c_0110_6^31 + 1078349459732190215826941045478646300677425919477460366713049649833\ 494411445/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^30 + 3384737247438399142722474391268794\ 653581197321866180109508837746889162277028/635192808603489358269151\ 077941867133989939456578232759541907628846384804029*c_0110_6^29 - 3716726164869994177056250758437408151657710520663398986182608151857\ 9619325167/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^28 + 451905463583646430776792365449115\ 63469244233442995604835778269769628314529656/6351928086034893582691\ 51077941867133989939456578232759541907628846384804029*c_0110_6^27 + 2556421614075053916610993205579523759958260205728705775745999898685\ 75554740219/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^26 - 6120854659468428866417207234326184751945936670213663790670322736329\ 34886190041/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^25 - 9192471262596106043808516003369449413941707013869974836317281778002\ 42879496537/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^24 + 3739826101781303346500806492431655100712279719623015626073224801819\ 780026960701/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^23 + 2248709133988715918436204595536617680399299285769431641076972607162\ 445062051188/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^22 - 2043175609490666994713092965186537575247103974859117840495989528823\ 2871191754735/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^21 + 2008905606839969072024159813843753505322592085247658025252667060900\ 4051422888342/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^20 + 1930112135882479476242528642740078048398125501755077814713147472800\ 7996831105371/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^19 - 3683088617421771017492455693840321628351427908976058021400853884285\ 7761576006681/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^18 - 1616155023725471792451721150538330102115964663376058917427353453455\ 3902694424323/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^17 + 5024867912723308003570577408085311721055346173667904828750906003033\ 6243941560952/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^16 - 2482876096617242718288676183690536451044411034466193311432974794243\ 960299670972/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^15 - 2464651189789043739993432015238440042725772419646218822114932108285\ 0906835958848/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^14 - 8175128307682853118643433097347789083308737982194047655851447478535\ 800539723989/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^13 + 1447997728104533673591107071491197563299317934115111250371660404372\ 7929366617724/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^12 + 4343300319313342413913330660549538197680918404389557226227376716211\ 377496055148/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^11 - 2967227086842041707178834322211354995294189000106034169927509577654\ 482642156722/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^10 - 2333506958631919280623175304437310901205447163884745887060690770656\ 027617406580/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^9 + 5198552833314249356204654436210363271478554413071962890863999795135\ 94282432912/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^8 + 547956666024868236140950524108945\ 219640834706223851612598836864865145774555072/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^7 - 1667778796037297677414837338749792906423438950115641687351023824986\ 17212068772/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^6 - 109222940843456543322993960377555\ 773685117194741476910878981183981427176239040/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^5 + 2273916633360918772479713243420654717464070543876562937955240362654\ 23410716/6351928086034893582691510779418671339899394565782327595419\ 07628846384804029*c_0110_6^4 + 368953182170137465309193041230824221\ 99716123336268499361743025255209395237900/6351928086034893582691510\ 77941867133989939456578232759541907628846384804029*c_0110_6^3 + 4622443027268004836926414728691842710287560111945771941040944139518\ 232662329/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^2 - 29948292022378394985979344633583461\ 63923950155737973732627018731065052265335/6351928086034893582691510\ 77941867133989939456578232759541907628846384804029*c_0110_6 - 4284972533567524245624794935477871913193521454565993646415583338456\ 9206662/63519280860348935826915107794186713398993945657823275954190\ 7628846384804029, c_0101_2 + 100763929893635747104476349998449495965773378785129805500497\ 6091028519847377/63519280860348935826915107794186713398993945657823\ 2759541907628846384804029*c_0110_6^31 - 6162464088948339586447703156845760002882148668203257255603764026994\ 850552987/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^30 - 2043563615532654347279103135153604\ 3027523275321741514087272726428504333853768/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6^29 + 2149069179951403299213268965256510425149083647476820485565160729312\ 69838733735/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^28 - 2377143374056595847835893446149899100705506842301064855264041436800\ 25158454087/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^27 - 1546017313947305830587109375803146069832745711997468128480734674448\ 603152984440/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^26 + 3445903330126283848177606568176326593020248233110524975628613422595\ 408185778915/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^25 + 5945997479855150250442345783454181774238089990337118328427822990418\ 069642212330/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^24 - 2174395901900778004040328706807937647766526663820411213442275363906\ 4900674484371/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^23 - 1620676572213698888693286917129901544756846914926808451462390291975\ 7012301630001/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^22 + 1208463742253460497219705265110387747135477904252178561093931793230\ 26025237161100/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^21 - 1020793350377481543985572618744876372040779408672663635991585740621\ 89816437447931/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^20 - 1431167009576740525099659002357766643159438782457129238146695617534\ 10886541335948/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^19 + 2186980823601847593021519759203572903181075525518999369444552305720\ 78839391485303/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^18 + 1373061616225357093850120800234654840394498850595091025446776553256\ 87232615469092/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^17 - 3146560701744444092457702113829470420518599338854255717233402471307\ 71544291811505/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^16 - 3687253609797033972166450794900235208478103475684608410618565986289\ 1093420067691/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^15 + 1903657909045553337000959940369805390385622720389979197885099613885\ 37548664766709/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^14 + 6806571961461798542948653511103516181624487307888876907704135660697\ 0838782653680/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^13 - 1035573702944938450009705841228584895200779440196336579972842125152\ 79493485942355/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^12 - 4550918553901061163061544796260757890900862345783390955620161618257\ 2021814589271/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^11 + 2755716308035955450323541175302438516770396120346381207209140578797\ 5818665256692/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^10 + 2110927852910285656883001661227027284059496887741619703921843636094\ 6468265570991/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^9 - 3944297497102378278323386349539833785452847393019515222724797320370\ 054165573189/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^8 - 5795228935527167969020283368781690568400537727389470226741544409535\ 005065575570/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^7 + 1051670113881284100434483615107635655868579756279185281000694127904\ 767145572016/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^6 + 1161656977566122415106725833000026455380834506548279208617121223816\ 166444737818/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^5 - 1110973335450842319647928945276379391083306290323788856518174646406\ 74101685937/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^4 - 322419948215091009787114240796967\ 173648559375210424735629730649127341203199750/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^3 - 3815878230658278342038423165138726319863210391063221419613075101914\ 9052892877/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^2 + 4280271079547333638787676114195953\ 5670086350205209029753226740585587148474481/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6 + 6062780326184010057558357641208741793279431500114893622359029484722\ 731159469/635192808603489358269151077941867133989939456578232759541\ 907628846384804029, c_0101_3 - 101322560384000420285154600908048841910123044627246134146794\ 3094182843661461/63519280860348935826915107794186713398993945657823\ 2759541907628846384804029*c_0110_6^31 + 6269796052100658377259531134664471594788273858396530987502184293247\ 908055016/635192808603489358269151077941867133989939456578232759541\ 907628846384804029*c_0110_6^30 + 2013309076580379723100642011424062\ 5456075951552255494808871425182686394766917/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6^29 - 2177862476816044151486019213796297563961951314884677169466159560485\ 00225739184/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^28 + 2540756188274434737934971115074153677265626377076736532463057297505\ 51703494561/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^27 + 1544193569792156547485895900618202461056251175367390642154404331375\ 574899513588/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^26 - 3587298559061251885782380872422981251674281053065880708534200366697\ 726260862745/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^25 - 5771486732690654343295967790421532160956938641455344513322555820973\ 435307920446/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^24 + 2241710561710216919354721595239662059970483842119698829028977738896\ 1748230880695/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^23 + 1484404620628946964075931475164684990433240254795907262011661955770\ 3988612372332/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^22 - 1233851975058675915663244339402142355530269271061741007205943506056\ 30167347509530/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^21 + 1112345376633990045864232432240369236809780339286047645330710707850\ 81623453250803/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^20 + 1401226433370343696540066745970399641532808237516687878732415617099\ 08908655189470/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^19 - 2350380434467169605883462583909305106337605563567357855291886399010\ 95629090868876/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^18 - 1237202789171698673529156439649833990054647644977366843590839755796\ 59573442066430/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^17 + 3332267845482995685976128435520839311610947894508464156378201125545\ 91040744295319/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^16 + 1378425590053253187852811080145468661665277495048608766603010261127\ 4201291885363/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^15 - 2018001924676691649419744858216771861370597528801208157418235886878\ 68546137324911/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^14 - 5018347487838775678509367284305592499315211406713058353689937041377\ 0391417783834/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^13 + 1101102972947585943006718638196803346372068054837891733117203356405\ 87331495105299/6351928086034893582691510779418671339899394565782327\ 59541907628846384804029*c_0110_6^12 + 3782585145366383613252044698551940143384429432740302656798369367659\ 4910622677561/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^11 - 3141309764662914269524139298382707975879509296693110664689774837923\ 4498776935174/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^10 - 1894290400463863461556516891449458005681573818623321957515308688029\ 7057331229531/63519280860348935826915107794186713398993945657823275\ 9541907628846384804029*c_0110_6^9 + 5008526281165049531342228345754569406974836050050094255353423169892\ 045702782059/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^8 + 5485473534632471718446335694196286054786896628379157793229078713465\ 773433413934/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^7 - 1282326041177007732440001925151696919025979088437025353771802545832\ 529590028323/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^6 - 1047848486387733918994251295417572408867057160097911379460922180517\ 727014141952/635192808603489358269151077941867133989939456578232759\ 541907628846384804029*c_0110_6^5 + 1797146979679881937780264798900226550283942070979165944920778946560\ 65215323807/6351928086034893582691510779418671339899394565782327595\ 41907628846384804029*c_0110_6^4 + 299080692366399702225959622534433\ 696080148743924452323182979665796514221666417/635192808603489358269\ 151077941867133989939456578232759541907628846384804029*c_0110_6^3 + 2985161702162858469838368415861860571375871628929771260466970316083\ 6190747148/63519280860348935826915107794186713398993945657823275954\ 1907628846384804029*c_0110_6^2 - 4463994245984727801536506706231159\ 3170288927475691186646789879308622670697897/63519280860348935826915\ 1077941867133989939456578232759541907628846384804029*c_0110_6 - 6501491539006311942403677087648286170730441644544208759135918350709\ 008647126/635192808603489358269151077941867133989939456578232759541\ 907628846384804029, c_0110_6^32 - 6*c_0110_6^31 - 21*c_0110_6^30 + 211*c_0110_6^29 - 211*c_0110_6^28 - 1564*c_0110_6^27 + 3245*c_0110_6^26 + 6313*c_0110_6^25 - 20934*c_0110_6^24 - 18639*c_0110_6^23 + 118296*c_0110_6^22 - 87284*c_0110_6^21 - 154999*c_0110_6^20 + 201897*c_0110_6^19 + 162282*c_0110_6^18 - 298602*c_0110_6^17 - 73070*c_0110_6^16 + 187005*c_0110_6^15 + 88492*c_0110_6^14 - 95136*c_0110_6^13 - 57032*c_0110_6^12 + 21790*c_0110_6^11 + 24133*c_0110_6^10 - 1130*c_0110_6^9 - 6135*c_0110_6^8 + 227*c_0110_6^7 + 1244*c_0110_6^6 + 42*c_0110_6^5 - 323*c_0110_6^4 - 83*c_0110_6^3 + 36*c_0110_6^2 + 13*c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB