Magma V2.19-8 Tue Aug 20 2013 16:16:31 on localhost [Seed = 273779959] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0801 geometric_solution 4.74057914 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 3201 2310 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 0 1 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 1.255028734209 0.141138311187 0 2 2 0 0132 0132 1023 1023 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 1 -1 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.307607404460 0.398207818408 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -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 1 -1 0 1 0 -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 0 0.446481764208 0.571481913635 2 4 4 5 0132 2310 3201 0132 0 0 0 0 0 -1 0 1 -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 0 1 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.201960925580 0.772802773193 3 5 2 3 2310 0132 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.201960925580 0.772802773193 6 4 3 6 0132 0132 0132 3201 0 0 0 0 0 1 -1 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 -1 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.340414611621 0.813724053839 5 5 6 6 0132 2310 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.935413383232 0.559046361937 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : 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' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_2'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_0'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_3'], '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' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_2'], 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : 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_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 182415296519141735110117490124454575127420375519251268/256704071785\ 612230217568529181444672021514924002065*c_0101_6^27 + 75551108863109474433924602513868690287033610796067952/2852267464284\ 5803357507614353493852446834991555785*c_0101_6^26 - 303106036500024481524809536766466525791840494058286008/855680239285\ 37410072522843060481557340504974667355*c_0101_6^25 - 2618789205800251647354054303852748173624782501741170726/25670407178\ 5612230217568529181444672021514924002065*c_0101_6^24 + 5183707266329577931639320094940662249373071499290655984/51340814357\ 122446043513705836288934404302984800413*c_0101_6^23 - 9167935390128951715978085479552241639998176379446027539/51340814357\ 122446043513705836288934404302984800413*c_0101_6^22 - 72126364832357488741949450453217811115466281354268974956/2567040717\ 85612230217568529181444672021514924002065*c_0101_6^21 + 294987750085700335806531124223558642392253681898696562022/256704071\ 785612230217568529181444672021514924002065*c_0101_6^20 - 57797305914956947645239287529211225259594511235488521419/8556802392\ 8537410072522843060481557340504974667355*c_0101_6^19 - 612032664631515445996923164637228103054165560171852923587/256704071\ 785612230217568529181444672021514924002065*c_0101_6^18 + 407582774248132608219798493838084782784214883616941531031/855680239\ 28537410072522843060481557340504974667355*c_0101_6^17 + 10585728832821205873696161555880966406805517713516353113/7778911266\ 230673642956622096407414303682270424305*c_0101_6^16 - 888156576281870139332550162590753171300749530812019683873/855680239\ 28537410072522843060481557340504974667355*c_0101_6^15 + 105031841207436503030016740078344274594334836183673541850/513408143\ 57122446043513705836288934404302984800413*c_0101_6^14 + 585469761499724007233702304047051503867787648626110969875/513408143\ 57122446043513705836288934404302984800413*c_0101_6^13 - 3382115065701402103627036833289777472427682268414080483/15557822532\ 46134728591324419281482860736454084861*c_0101_6^12 - 204412473927281462691945894271247947444098264918409604216/285226746\ 42845803357507614353493852446834991555785*c_0101_6^11 - 2175711774386184027777513901531459928554862053694672780/57045349285\ 69160671501522870698770489366998311157*c_0101_6^10 + 1058756442621572405583076019541146277997132745619003881207/25670407\ 1785612230217568529181444672021514924002065*c_0101_6^9 - 2496471125991448170489902984979442390985019593229217037/17113604785\ 707482014504568612096311468100994933471*c_0101_6^8 - 655680526551108414344094295423405956203244012642549752188/256704071\ 785612230217568529181444672021514924002065*c_0101_6^7 + 280913905320228167075396508722965159382148404395572104486/256704071\ 785612230217568529181444672021514924002065*c_0101_6^6 + 50488380930351828657120285107865273239763981856658223163/8556802392\ 8537410072522843060481557340504974667355*c_0101_6^5 - 137319657046606449001986366457394358809928515180077520708/256704071\ 785612230217568529181444672021514924002065*c_0101_6^4 + 22783662362586771135469129458589981606807944766040362186/2567040717\ 85612230217568529181444672021514924002065*c_0101_6^3 + 11638380326451446083202892515847434821896840580175104663/2567040717\ 85612230217568529181444672021514924002065*c_0101_6^2 - 1113056407344688548075191192201263049511393889032941401/51340814357\ 122446043513705836288934404302984800413*c_0101_6 + 668211580910302802711806803581446739944020156254221876/256704071785\ 612230217568529181444672021514924002065, c_0011_0 - 1, c_0011_4 + 877135435272136817404614602064985280195291353251/51859408441\ 5378242863774806427160953578818028287*c_0101_6^27 - 3112039527006990830053506047254428240380614328639/51859408441537824\ 2863774806427160953578818028287*c_0101_6^26 + 3856606980975858134344208414208065488091525110099/51859408441537824\ 2863774806427160953578818028287*c_0101_6^25 + 13138776585212750563654396715087407245275684689873/5185940844153782\ 42863774806427160953578818028287*c_0101_6^24 - 122099638478230924630082369413859677324146226213307/518594084415378\ 242863774806427160953578818028287*c_0101_6^23 + 199151463176123276640641048332923828452015836100652/518594084415378\ 242863774806427160953578818028287*c_0101_6^22 + 376709965221555294988664996332144767523242524362872/518594084415378\ 242863774806427160953578818028287*c_0101_6^21 - 1341901139725559263191252002709363212189105365319076/51859408441537\ 8242863774806427160953578818028287*c_0101_6^20 + 612291555787722010375108640272950224084365217920210/518594084415378\ 242863774806427160953578818028287*c_0101_6^19 + 2990948995525499193258349578784443461667971124188444/51859408441537\ 8242863774806427160953578818028287*c_0101_6^18 - 5321845929705165086932287491803077041832131255432343/51859408441537\ 8242863774806427160953578818028287*c_0101_6^17 - 2489547583149148313293516845435367152573955908014708/51859408441537\ 8242863774806427160953578818028287*c_0101_6^16 + 12132323906044193529487884728023217288868656332700727/5185940844153\ 78242863774806427160953578818028287*c_0101_6^15 - 501519416568896773491852999379464152380169829607841/518594084415378\ 242863774806427160953578818028287*c_0101_6^14 - 13614396981802651169608098040699200910674988253756438/5185940844153\ 78242863774806427160953578818028287*c_0101_6^13 + 312566052026567128286108367482586180079886184734758/518594084415378\ 242863774806427160953578818028287*c_0101_6^12 + 8272785766423906149795285576403342330246546377800213/51859408441537\ 8242863774806427160953578818028287*c_0101_6^11 + 1839784412482078971327120661819983392745495114779239/51859408441537\ 8242863774806427160953578818028287*c_0101_6^10 - 4389495851319438842950128047866578046803314176338540/51859408441537\ 8242863774806427160953578818028287*c_0101_6^9 - 433110344116824463246466358341446768550466466704880/518594084415378\ 242863774806427160953578818028287*c_0101_6^8 + 2897600162534263832876981174693642432736161450233458/51859408441537\ 8242863774806427160953578818028287*c_0101_6^7 - 886961022567241395426492615943238081016889066370022/518594084415378\ 242863774806427160953578818028287*c_0101_6^6 - 766324686408003680022419970114161520749472238880822/518594084415378\ 242863774806427160953578818028287*c_0101_6^5 + 505979471983987988073333014551160499783100017820380/518594084415378\ 242863774806427160953578818028287*c_0101_6^4 - 57080037356099199698247975219937420213488600221770/5185940844153782\ 42863774806427160953578818028287*c_0101_6^3 - 53648386700781979517323087782272031809251954751884/5185940844153782\ 42863774806427160953578818028287*c_0101_6^2 + 18778686827374518383292229951568621229882839535031/5185940844153782\ 42863774806427160953578818028287*c_0101_6 - 1859222948718502144246317236163738155507115728872/51859408441537824\ 2863774806427160953578818028287, c_0101_0 + 131371501816716988359185705821125918366006333370898/25929704\ 22076891214318874032135804767894090141435*c_0101_6^27 - 489943176146544596365164942878578526462596040795188/259297042207689\ 1214318874032135804767894090141435*c_0101_6^26 + 655942961386199858116491360053237124765306345062774/259297042207689\ 1214318874032135804767894090141435*c_0101_6^25 + 1884283015258967768420569516168356415288724890907386/25929704220768\ 91214318874032135804767894090141435*c_0101_6^24 - 3733797077624187442977742969046404678117603909694373/51859408441537\ 8242863774806427160953578818028287*c_0101_6^23 + 6610057218443279311298157769978407653228464750971530/51859408441537\ 8242863774806427160953578818028287*c_0101_6^22 + 51862500012550083617837398835475338391912026595660126/2592970422076\ 891214318874032135804767894090141435*c_0101_6^21 - 212514526744909621760242976521955884129194730948256287/259297042207\ 6891214318874032135804767894090141435*c_0101_6^20 + 125334067417913590287646171797923257994912413383373392/259297042207\ 6891214318874032135804767894090141435*c_0101_6^19 + 440353205531101195272108193175193483977766327334199202/259297042207\ 6891214318874032135804767894090141435*c_0101_6^18 - 881362548031768128718304204960654174856903076842216043/259297042207\ 6891214318874032135804767894090141435*c_0101_6^17 - 249511415836178065011862627290029854212113072793190859/259297042207\ 6891214318874032135804767894090141435*c_0101_6^16 + 1918712803758350646703833679324492368872427115781994264/25929704220\ 76891214318874032135804767894090141435*c_0101_6^15 - 76451474832972718408809277742394296566232055808963934/5185940844153\ 78242863774806427160953578818028287*c_0101_6^14 - 421215826719621040077460085682440248266607645139639140/518594084415\ 378242863774806427160953578818028287*c_0101_6^13 + 81240486900718937239279065618267246957807294391757274/5185940844153\ 78242863774806427160953578818028287*c_0101_6^12 + 1322745160079986310696677191913747399412585639515334319/25929704220\ 76891214318874032135804767894090141435*c_0101_6^11 + 13470205494173438853813712377160971382111455987335968/5185940844153\ 78242863774806427160953578818028287*c_0101_6^10 - 761959069926667993657779327241147649411050344471488887/259297042207\ 6891214318874032135804767894090141435*c_0101_6^9 + 5821262547418884554529750925424008021366201576919674/51859408441537\ 8242863774806427160953578818028287*c_0101_6^8 + 471861675796080707546796697084264164502493897787472658/259297042207\ 6891214318874032135804767894090141435*c_0101_6^7 - 203355525656450243448049369048663501440287923711258081/259297042207\ 6891214318874032135804767894090141435*c_0101_6^6 - 108502425648191807785032209714317015822331609323355154/259297042207\ 6891214318874032135804767894090141435*c_0101_6^5 + 99125849251615725050383893491159961648691678001825858/2592970422076\ 891214318874032135804767894090141435*c_0101_6^4 - 16627317385088102649227102014323056491678380999821841/2592970422076\ 891214318874032135804767894090141435*c_0101_6^3 - 8365668233318889834078667732006336605874302321615558/25929704220768\ 91214318874032135804767894090141435*c_0101_6^2 + 806830553424446065707093527684981937792660888594838/518594084415378\ 242863774806427160953578818028287*c_0101_6 - 489628849712783225082221869722668791042570700786131/259297042207689\ 1214318874032135804767894090141435, c_0101_1 + 3772878739612138693216800612365292604127444728248/5185940844\ 15378242863774806427160953578818028287*c_0101_6^27 - 13393998909459513735163803859818947453994719312874/5185940844153782\ 42863774806427160953578818028287*c_0101_6^26 + 16514426038626408475452695977177674753415284336868/5185940844153782\ 42863774806427160953578818028287*c_0101_6^25 + 56817539537095361606838208729659570025262628514353/5185940844153782\ 42863774806427160953578818028287*c_0101_6^24 - 525701891885258164639409772218528282132936159196366/518594084415378\ 242863774806427160953578818028287*c_0101_6^23 + 856193438406533957640578020152310124947716267113842/518594084415378\ 242863774806427160953578818028287*c_0101_6^22 + 1632278143830169074334712759733026751130075468221138/51859408441537\ 8242863774806427160953578818028287*c_0101_6^21 - 5795457212922190803562698871533664230996233690709343/51859408441537\ 8242863774806427160953578818028287*c_0101_6^20 + 2599967476695537067851968451948491113098367393398589/51859408441537\ 8242863774806427160953578818028287*c_0101_6^19 + 12997607780943448236516033797599352637139092790045100/5185940844153\ 78242863774806427160953578818028287*c_0101_6^18 - 22959142468745321010208284544834279793825218404667136/5185940844153\ 78242863774806427160953578818028287*c_0101_6^17 - 10983910084942029476684752118818151498587781728248775/5185940844153\ 78242863774806427160953578818028287*c_0101_6^16 + 52707433356372748453491661886887977711828058208711541/5185940844153\ 78242863774806427160953578818028287*c_0101_6^15 - 1894070812914831011090796493441314505813101734549733/51859408441537\ 8242863774806427160953578818028287*c_0101_6^14 - 59718377086269049499110090086133872215541178376661093/5185940844153\ 78242863774806427160953578818028287*c_0101_6^13 + 1178423024298773645861252473536584687356553819118738/51859408441537\ 8242863774806427160953578818028287*c_0101_6^12 + 36842464573175358140555844263985066252896288139936485/5185940844153\ 78242863774806427160953578818028287*c_0101_6^11 + 8310149532240495246935334057047418600424376892207458/51859408441537\ 8242863774806427160953578818028287*c_0101_6^10 - 19546616883443279192092860566862670027713997788424584/5185940844153\ 78242863774806427160953578818028287*c_0101_6^9 - 2329911189137370003025429325231493154811680013811362/51859408441537\ 8242863774806427160953578818028287*c_0101_6^8 + 12739160341974690033144242940771373424987573771065909/5185940844153\ 78242863774806427160953578818028287*c_0101_6^7 - 3714108267352901165024844095062754874105235513327605/51859408441537\ 8242863774806427160953578818028287*c_0101_6^6 - 3501425660881951750425559672367694479231310958157607/51859408441537\ 8242863774806427160953578818028287*c_0101_6^5 + 2190593228019437813555728491435870303528917119784580/51859408441537\ 8242863774806427160953578818028287*c_0101_6^4 - 185320027973878381144450760499010710817249493321345/518594084415378\ 242863774806427160953578818028287*c_0101_6^3 - 233863263842033616302304889448134055624260800055498/518594084415378\ 242863774806427160953578818028287*c_0101_6^2 + 76344263170996342948348361132701057223710223783954/5185940844153782\ 42863774806427160953578818028287*c_0101_6 - 5720155060555192330908818168554081246365951989019/51859408441537824\ 2863774806427160953578818028287, c_0101_2 + 4566452313763947358124632372815085457856146181234/2592970422\ 076891214318874032135804767894090141435*c_0101_6^27 - 16160813892503973136791332808392843224882000941699/2592970422076891\ 214318874032135804767894090141435*c_0101_6^26 + 19949705522739223776312204567929983264514030210557/2592970422076891\ 214318874032135804767894090141435*c_0101_6^25 + 68542114085700219188841050842009935663146283790773/2592970422076891\ 214318874032135804767894090141435*c_0101_6^24 - 127009998121296739471303997770538236086435049504691/518594084415378\ 242863774806427160953578818028287*c_0101_6^23 + 206294767992410841232968920166368439102466217389885/518594084415378\ 242863774806427160953578818028287*c_0101_6^22 + 1968400867429371528835623171369135756870703013610963/25929704220768\ 91214318874032135804767894090141435*c_0101_6^21 - 6967499529311147436888825857780277247808676581174866/25929704220768\ 91214318874032135804767894090141435*c_0101_6^20 + 3137068564844489404278477792745976110128637404090301/25929704220768\ 91214318874032135804767894090141435*c_0101_6^19 + 15581154711172523351672318477460540504204828324588796/2592970422076\ 891214318874032135804767894090141435*c_0101_6^18 - 27583158099141190044730655163791193459990757809770419/2592970422076\ 891214318874032135804767894090141435*c_0101_6^17 - 13133612030914927792264109691675025613026359076412992/2592970422076\ 891214318874032135804767894090141435*c_0101_6^16 + 62996888827953074795428642902551424801976942858528252/2592970422076\ 891214318874032135804767894090141435*c_0101_6^15 - 440730673866087777943946502229241817771154032277492/518594084415378\ 242863774806427160953578818028287*c_0101_6^14 - 14139331947005850353896383966917551753007587278489681/5185940844153\ 78242863774806427160953578818028287*c_0101_6^13 + 238810112516150329827753558725974467975906635007204/518594084415378\ 242863774806427160953578818028287*c_0101_6^12 + 42799970168046607605568902349246005454351522580584522/2592970422076\ 891214318874032135804767894090141435*c_0101_6^11 + 1956879356649780636528657824100865511903465126878016/51859408441537\ 8242863774806427160953578818028287*c_0101_6^10 - 22627133845874530503600960430771948179880699045623221/2592970422076\ 891214318874032135804767894090141435*c_0101_6^9 - 468918080613428051942629346910804873626323502392940/518594084415378\ 242863774806427160953578818028287*c_0101_6^8 + 15032939258673033345102373225140764236552739449950879/2592970422076\ 891214318874032135804767894090141435*c_0101_6^7 - 4540650637376163034792392050212196193604369594347928/25929704220768\ 91214318874032135804767894090141435*c_0101_6^6 - 3969121300075820370928303416790388008445367606597607/25929704220768\ 91214318874032135804767894090141435*c_0101_6^5 + 2615231106884311558885428436312018904760748100899694/25929704220768\ 91214318874032135804767894090141435*c_0101_6^4 - 300417859743568071076625609140801121548064913817593/259297042207689\ 1214318874032135804767894090141435*c_0101_6^3 - 269617777967973283579958050799525872161927838429654/259297042207689\ 1214318874032135804767894090141435*c_0101_6^2 + 19078354191302270226308300364291131927515819053498/5185940844153782\ 42863774806427160953578818028287*c_0101_6 - 9834971966816491982656563211864921527677117632473/25929704220768912\ 14318874032135804767894090141435, c_0101_3 + 385697830189941475481131507233906602267276401322/25929704220\ 76891214318874032135804767894090141435*c_0101_6^27 - 1296108351564391787271684592509996500126381523712/25929704220768912\ 14318874032135804767894090141435*c_0101_6^26 + 1494278527021378715111130248345923300033271049036/25929704220768912\ 14318874032135804767894090141435*c_0101_6^25 + 5894466249371912238260318821368338646783728815949/25929704220768912\ 14318874032135804767894090141435*c_0101_6^24 - 10462141392031759423678229270508118018682924651107/5185940844153782\ 42863774806427160953578818028287*c_0101_6^23 + 15634495780680948978456841408999904084300338663379/5185940844153782\ 42863774806427160953578818028287*c_0101_6^22 + 174524884592676739634440631524716542267134587505504/259297042207689\ 1214318874032135804767894090141435*c_0101_6^21 - 545323925624860450417816409770343552121707807588003/259297042207689\ 1214318874032135804767894090141435*c_0101_6^20 + 176196226726171643599527062063774305687234287099278/259297042207689\ 1214318874032135804767894090141435*c_0101_6^19 + 1288333554519936631121464052472886073465725715440153/25929704220768\ 91214318874032135804767894090141435*c_0101_6^18 - 2036725781831734904658951610485836737721133581627097/25929704220768\ 91214318874032135804767894090141435*c_0101_6^17 - 1400647596894745508285349547461439356856277702796281/25929704220768\ 91214318874032135804767894090141435*c_0101_6^16 + 4819742987550783528176252858744376847488320411426726/25929704220768\ 91214318874032135804767894090141435*c_0101_6^15 + 147690334449553105164497928050210967457464542142928/518594084415378\ 242863774806427160953578818028287*c_0101_6^14 - 1092561919082269369043712867648393561936882372769684/51859408441537\ 8242863774806427160953578818028287*c_0101_6^13 - 218073311223264164543577765454850559959059065943251/518594084415378\ 242863774806427160953578818028287*c_0101_6^12 + 3189053432609205115046731768743574321579869058621796/25929704220768\ 91214318874032135804767894090141435*c_0101_6^11 + 292387877971973108238784470373812919235509556246645/518594084415378\ 242863774806427160953578818028287*c_0101_6^10 - 1579883859622707228275929154418261335264254372783538/25929704220768\ 91214318874032135804767894090141435*c_0101_6^9 - 86805340259478898258188425172576963418414133375931/5185940844153782\ 42863774806427160953578818028287*c_0101_6^8 + 1107589920233246165471429194226981350153146965245762/25929704220768\ 91214318874032135804767894090141435*c_0101_6^7 - 106940290523379216431394829903662508053165817119239/259297042207689\ 1214318874032135804767894090141435*c_0101_6^6 - 336398062029793676472908785102775786977039018686526/259297042207689\ 1214318874032135804767894090141435*c_0101_6^5 + 126492101917648021594734757565992087061409553960672/259297042207689\ 1214318874032135804767894090141435*c_0101_6^4 + 30030810691257588916284934537256550744789931113921/2592970422076891\ 214318874032135804767894090141435*c_0101_6^3 - 29367397030223394308645876618858812012665167763807/2592970422076891\ 214318874032135804767894090141435*c_0101_6^2 + 109447600809540047985374125058859291599027945438/518594084415378242\ 863774806427160953578818028287*c_0101_6 - 140163226654891901568522354784561800937028937894/259297042207689121\ 4318874032135804767894090141435, c_0101_6^28 - 4*c_0101_6^27 + 6*c_0101_6^26 + 13*c_0101_6^25 - 146*c_0101_6^24 + 290*c_0101_6^23 + 327*c_0101_6^22 - 1725*c_0101_6^21 + 1391*c_0101_6^20 + 3097*c_0101_6^19 - 7618*c_0101_6^18 - 90*c_0101_6^17 + 15132*c_0101_6^16 - 6859*c_0101_6^15 - 15270*c_0101_6^14 + 7435*c_0101_6^13 + 9258*c_0101_6^12 - 2214*c_0101_6^11 - 5954*c_0101_6^10 + 1787*c_0101_6^9 + 3541*c_0101_6^8 - 2520*c_0101_6^7 - 412*c_0101_6^6 + 980*c_0101_6^5 - 330*c_0101_6^4 - 30*c_0101_6^3 + 48*c_0101_6^2 - 12*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB