Magma V2.19-8 Tue Aug 20 2013 16:16:30 on localhost [Seed = 1848636040] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0790 geometric_solution 4.73057239 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.502956919920 0.140593930787 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.652901813427 0.374907614844 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.928701237864 1.454759521972 4 2 5 4 3201 0132 0132 2310 0 0 0 0 0 0 0 0 -1 0 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 0 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 -0.200754058918 0.733836977799 3 5 2 3 3201 1023 0132 2310 0 0 0 0 0 0 0 0 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 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 -0.200754058918 0.733836977799 4 6 6 3 1023 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.363381677591 0.855089589803 5 5 6 6 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.929097144699 0.533085371593 ==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' : negation(d['c_0101_5']), 'c_1100_5' : d['c_0011_4'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 795126295072726537639651140905791019914530481085401850489/208930731\ 8426155684543587594160580821510302866120424845*c_0101_6^23 - 4761027684891351807380295315356511109412658949559446664806/20893073\ 18426155684543587594160580821510302866120424845*c_0101_6^22 - 4302413120338350985368729774809643558443659785025099419651/41786146\ 3685231136908717518832116164302060573224084969*c_0101_6^21 + 2034551625742067713280046453650803988172214807021837933594/59694494\ 812175876701245359833159452043151510460583567*c_0101_6^20 + 460067526425812665946953761304067255024345374939863547469392/208930\ 7318426155684543587594160580821510302866120424845*c_0101_6^19 + 540503374783102087820960417735550710925903763252121775060303/208930\ 7318426155684543587594160580821510302866120424845*c_0101_6^18 - 1950612292671162399700862328585034737945029687079553233660182/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^17 - 5151225548175392848225460424368120896409468925190794849556279/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^16 - 5310499933116341566624255803408637438092931353974167942452/41786146\ 3685231136908717518832116164302060573224084969*c_0101_6^15 + 2863225740819320938203556399580429235354342626170222483995050/41786\ 1463685231136908717518832116164302060573224084969*c_0101_6^14 + 2066564218966822888250080993404362289867052900252736071849282/41786\ 1463685231136908717518832116164302060573224084969*c_0101_6^13 - 12718246808467410194057552465733427988617899653553466622513706/2089\ 307318426155684543587594160580821510302866120424845*c_0101_6^12 - 15982905259533539528354675330585433622815205005181655166870443/2089\ 307318426155684543587594160580821510302866120424845*c_0101_6^11 - 2303690103965672860433072065032771036393915636356124055617397/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^10 + 3459223850704294567766570893933249076316415317641951356760169/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^9 + 1920926168479801787460383343078122682606868915363240079866987/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^8 + 10195628510528259999700599376335489542313869699850028293574158/2089\ 307318426155684543587594160580821510302866120424845*c_0101_6^7 + 7038224240187633175864074946813110619612535905567526393423049/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^6 - 5867335541990552215263732740795812739826774114514517588901002/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^5 - 4593503358448313271276160675882802926925609303471994689799951/20893\ 07318426155684543587594160580821510302866120424845*c_0101_6^4 + 69518663012561371386490675215123606223124532911844321669567/2089307\ 318426155684543587594160580821510302866120424845*c_0101_6^3 + 246662008436056082212526678585359837416373958024118121410017/208930\ 7318426155684543587594160580821510302866120424845*c_0101_6^2 - 28573224580204577950901659222838444669234485633739054212312/2089307\ 318426155684543587594160580821510302866120424845*c_0101_6 - 1962564404658488547325287147944089980672379526051643333352/20893073\ 18426155684543587594160580821510302866120424845, c_0011_0 - 1, c_0011_1 - 202249069490075406293796262044664878762717063038880/52893856\ 16268748568464778719393875497494437635747911*c_0101_6^23 + 1254312913213103685104956260064842994261386382987571/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^22 + 5155238363857872005628895922610558836868901910481834/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^21 - 2706363332969002654257857554110062439846866895953485/75562651660982\ 1224066396959913410785356348233678273*c_0101_6^20 - 111604532751050459036675548711481534635371348327775975/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^19 - 117285069693812913305330601962321452278808486957132461/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^18 + 493046641184498657838235955833633186848051178081230620/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^17 + 1160504989528732877951188803817639083005134462835723506/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^16 - 155793092688787184584903987364731714301646178087149580/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^15 - 3297072217634828192395663649971743018165506407442337207/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^14 - 1769396104461477329321885445284727011128496062553700306/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^13 + 2994344288261252045193589984334461247145631912270927057/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^12 + 2712775309535376411010593001561747154146499857404161818/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^11 + 175021323947661041532583210219674146264671427060151021/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^10 - 382489679982001810220493836394514548780864596665681531/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^9 - 40570476778483334453626777700210819517498515832078367/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^8 - 2313654816702999555975049091982734405296155206696105499/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^7 - 1055237644361284113434009661869227911870063000988819306/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^6 + 1351726553874306460870465791462897201346625574879557642/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^5 + 485120419538917270499551782510700416150701344887021404/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^4 - 98139415058422073757260494410361816263493777155997488/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^3 - 27595759846038093698635772301473128308302760611693683/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^2 + 2526307135826196477271319068662020170717208535913244/52893856162687\ 48568464778719393875497494437635747911*c_0101_6 + 2856639932323049352520565969191428706935698473682101/52893856162687\ 48568464778719393875497494437635747911, c_0011_4 - 359848202690704763219196478162565520401524732183501/52893856\ 16268748568464778719393875497494437635747911*c_0101_6^23 + 2142669975024452865228304866480070542723413698263663/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^22 + 9752904983617378210003751156203994517644137931688736/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^21 - 4510620910246504275210493418145779457416350173286235/75562651660982\ 1224066396959913410785356348233678273*c_0101_6^20 - 207831718282671282686821734924922221405254839695330678/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^19 - 256335577790646024741435770333086651513521925469480396/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^18 + 843660993351204466762521954911287323359277395328796819/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^17 + 2321864266574939938675971108556763005652024598884018785/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^16 + 209896198365822944707609427796884305075883594837774825/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^15 - 6148135427683709094165946836314081969440707925293566863/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^14 - 4851960845671341779849813438263365027517941126420096799/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^13 + 4773554545754793456577659664961791787076402469527451858/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^12 + 6811489845131410385696141243762784004312800590768038618/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^11 + 1865264893510210301007178476244352344000927181362293852/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^10 - 821954969966389842211511756882067943778091735248818697/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^9 - 724080658613312131265652637918303456937111387502486316/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^8 - 4602318590204534851208571459612816548029846126232041020/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^7 - 3252590453879227101362158191031247206101048552572326750/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^6 + 1991868649198792203919867544253506430280066947163887231/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^5 + 1803187878618582355451705652335009441793902819547149096/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^4 + 280181884559799514889110604373034268479470621938356537/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^3 - 14161571309637149559703010136968851602793187161558614/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^2 - 5307110799738950762740466854127635309903448301542058/52893856162687\ 48568464778719393875497494437635747911*c_0101_6 + 1056677748960560159109956737345463139296560174172510/52893856162687\ 48568464778719393875497494437635747911, c_0101_0 + 1503332203150399392986312685803947746208253364666500/5289385\ 616268748568464778719393875497494437635747911*c_0101_6^23 - 9011051997515522062633814892814632600234363393587739/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^22 - 40569894136092866006932907251204934415690015599626213/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^21 + 19225233718063349088456052643596328301685806107069405/7556265166098\ 21224066396959913410785356348233678273*c_0101_6^20 + 867987774603008892420804288751991943439636923542252760/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^19 + 1021523831903249833228847808156462707466649980543056775/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^18 - 3671351948584165510590079995006958761770733564363877932/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^17 - 9705544631378982810643391054310106118691325684722996179/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^16 - 123765092111100309711874684897945207329184937579708847/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^15 + 26858862989405108711640797565379875658368626039097362891/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^14 + 19573704248614480395911593144880673624245826976306497866/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^13 - 23363231577812472542109621286473926053984898731843594908/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^12 - 30044800163055217785285431087149004554601013263778234761/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^11 - 5198664606933875273694854710550513018151960717948496452/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^10 + 6122836983190490661461638481641741633528805384403111579/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^9 + 3859840764381419716362999819777733925029727964563616015/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^8 + 19506497351968212845860210718358319538359595729834379684/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^7 + 13299699719365391676022151025302034040691997643269824001/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^6 - 10543670679622515229084605339277395235401497551929887912/5289385616\ 268748568464778719393875497494437635747911*c_0101_6^5 - 8611657072913863163610143328521643384150970720240664790/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^4 - 316585878047344707280717002053830414648247030153195629/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^3 + 396318360380762755271299998329189413873463040381039932/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^2 - 14572804830139725899677556670330516751347817572642874/5289385616268\ 748568464778719393875497494437635747911*c_0101_6 - 5068670831909045997952124780886826374685588446277705/52893856162687\ 48568464778719393875497494437635747911, c_0101_1 - 24063002961400883188853712821206218528763860527206/528938561\ 6268748568464778719393875497494437635747911*c_0101_6^23 + 168213931660730812489142048962911740378441973239894/528938561626874\ 8568464778719393875497494437635747911*c_0101_6^22 + 430751833869583779039903064404573688400724731250639/528938561626874\ 8568464778719393875497494437635747911*c_0101_6^21 - 339239498170520062410891756312400260048148997925052/755626516609821\ 224066396959913410785356348233678273*c_0101_6^20 - 9636858192509875501815572661988259623633347940419979/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^19 - 8366307346901268143420278394539387080591973540052773/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^18 + 31196975884763767607304240537903308232380599493711592/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^17 + 29982926438601232613877252018404725927657415975242078/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^16 - 13135680569442481129824489514692122580351157279064743/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^15 + 53951812326872368717607134906478820786901552989279469/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^14 + 329802165017538911519549575470128272984480129333511437/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^13 - 325032386892914654085491522499978306473875472018692302/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^12 - 1001164997499786148245377640314875266843428841832228856/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^11 - 41323203045452951993030319916972096008715907009793919/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^10 + 755596976157086341067458189508153941191231929244812013/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^9 + 597914526908645914768651233162298535802823847585036350/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^8 + 77987626480247893443926607594437570389487827583278666/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^7 + 396625070929754905289391166855239040139040373404969409/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^6 - 234773639187105666238825045496371457964199247671749083/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^5 - 649028325153703882480133617099653766306491907512909645/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^4 - 55547028765063222727848561652614080612956534611082664/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^3 + 70868831645872262721391728157194305990959582210927756/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^2 - 153703728257903528821326205826705815286998497705838/528938561626874\ 8568464778719393875497494437635747911*c_0101_6 + 381858021862101584693520035915677103619801911193066/528938561626874\ 8568464778719393875497494437635747911, c_0101_5 - 356368815658242769672443410762709815600167468503690/52893856\ 16268748568464778719393875497494437635747911*c_0101_6^23 + 2147030971026967196693634318495731017503323954831267/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^22 + 9548083216714205061551859910644975552428662937458725/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^21 - 4592655595057730024284747324298884324330028872062918/75562651660982\ 1224066396959913410785356348233678273*c_0101_6^20 - 204834049988727363126809509756217225246028323947380831/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^19 - 236933831988786675942724387959346094824437804457015084/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^18 + 877671525635804821292937233937196933038088135210520800/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^17 + 2287542312376999475731552155115997997475369912449255040/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^16 - 6117410534344685655686066331679372780773813374089877/52893856162687\ 48568464778719393875497494437635747911*c_0101_6^15 - 6389221039461602320784112881275238794238830922165294919/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^14 - 4620631989824146030636140095112799724562812781672284114/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^13 + 5510537804864539063509033208765689852855464428288639122/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^12 + 7229245027046611121236316573209113952314718928459713208/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^11 + 1492979930641729427746816914821678431489344246833651578/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^10 - 1445166481299194777537680983943160239980323239002203324/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^9 - 1141557202113711579359581939857049391531292542108689023/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^8 - 4854866683601388586852576588941796492105706293803326337/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^7 - 3197287588866668780905492049633539619523795552588586442/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^6 + 2394542432774934972532614641340925664796487163840852206/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^5 + 2109246600804247159537618793818194803425650276244146402/52893856162\ 68748568464778719393875497494437635747911*c_0101_6^4 + 263393825176614193459744477410865676390778128607134877/528938561626\ 8748568464778719393875497494437635747911*c_0101_6^3 - 55475111415183013623211280561644402885443707848240340/5289385616268\ 748568464778719393875497494437635747911*c_0101_6^2 + 1200690657609579969074291562472926746480359547867750/52893856162687\ 48568464778719393875497494437635747911*c_0101_6 + 1132482963589745924447430448655992343125249050534098/52893856162687\ 48568464778719393875497494437635747911, c_0101_6^24 - 6*c_0101_6^23 - 27*c_0101_6^22 + 90*c_0101_6^21 + 578*c_0101_6^20 + 671*c_0101_6^19 - 2472*c_0101_6^18 - 6460*c_0101_6^17 + 92*c_0101_6^16 + 18120*c_0101_6^15 + 12765*c_0101_6^14 - 16484*c_0101_6^13 - 20114*c_0101_6^12 - 2339*c_0101_6^11 + 4727*c_0101_6^10 + 2386*c_0101_6^9 + 12711*c_0101_6^8 + 8657*c_0101_6^7 - 7720*c_0101_6^6 - 5828*c_0101_6^5 + 306*c_0101_6^4 + 402*c_0101_6^3 - 49*c_0101_6^2 - 7*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB