Magma V2.19-8 Tue Aug 20 2013 16:17:40 on localhost [Seed = 408519926] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1910 geometric_solution 5.51646400 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 0 -1 0 1 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.426753376059 0.536000377713 3 4 2 0 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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 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.489296579506 0.580973928236 4 3 0 1 2310 0132 0132 1302 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 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.489296579506 0.580973928236 1 2 5 5 0132 0132 0132 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.821821222398 0.749701466992 4 1 2 4 3012 0132 3201 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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 0 0 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.151913522660 1.006988711676 3 6 6 3 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.016244439465 0.473381440311 6 5 5 6 3201 0132 1023 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 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.840511305723 0.787004444356 ==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_0011_5']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_5']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0101_1']), 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0011_1']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_5, c_0101_0, c_0101_1, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 175031072903231892800450904401690672098772/823868120548255778015612\ 69129673472529*c_0101_6^27 + 12976050984577614177003231508288103803\ 64208/82386812054825577801561269129673472529*c_0101_6^26 - 8173851785907452713285640501312994721295711/16477362410965115560312\ 2538259346945058*c_0101_6^25 - 620751720231585336416682298007535858\ 87517659/164773624109651155603122538259346945058*c_0101_6^24 + 81569095564474308382585599493740361296858749/1647736241096511556031\ 22538259346945058*c_0101_6^23 + 35894806460731375924363042899609603\ 4442662678/82386812054825577801561269129673472529*c_0101_6^22 - 802885389637664970299363106994843942378424941/164773624109651155603\ 122538259346945058*c_0101_6^21 - 2333027415618502611937519689268174\ 709372701892/82386812054825577801561269129673472529*c_0101_6^20 + 7081623568282392718801175586888302387965028093/16477362410965115560\ 3122538259346945058*c_0101_6^19 + 731853906656512147229996116700273\ 1389561900423/82386812054825577801561269129673472529*c_0101_6^18 - 16670201685070026282918450040626114399772050283/8238681205482557780\ 1561269129673472529*c_0101_6^17 - 130397237930347937644034816893599\ 61952455015553/164773624109651155603122538259346945058*c_0101_6^16 + 71875804038100119365553049381091359292940678473/1647736241096511556\ 03122538259346945058*c_0101_6^15 - 19690579586925106263943357410430343505676305771/1647736241096511556\ 03122538259346945058*c_0101_6^14 - 79420777217290478461599205880914170822512547989/1647736241096511556\ 03122538259346945058*c_0101_6^13 + 29558620664510593334364843249548885832729117639/8238681205482557780\ 1561269129673472529*c_0101_6^12 + 335409271367411375289613818942928\ 28784031070213/164773624109651155603122538259346945058*c_0101_6^11 - 23878463731036414814541422134879437197889768702/8238681205482557780\ 1561269129673472529*c_0101_6^10 + 732542567213323132382173749176445\ 698434925697/164773624109651155603122538259346945058*c_0101_6^9 + 16796367754986495395875171153975724957312549151/1647736241096511556\ 03122538259346945058*c_0101_6^8 - 425279878356304624412890887492192\ 0074735900179/164773624109651155603122538259346945058*c_0101_6^7 - 1359261005802161271801064048587537142446579875/82386812054825577801\ 561269129673472529*c_0101_6^6 + 53571891275444875869908361210627960\ 8810141518/82386812054825577801561269129673472529*c_0101_6^5 + 206868788399066624948481555677461753456127817/164773624109651155603\ 122538259346945058*c_0101_6^4 - 47671548075198611519809104205386145\ 160721191/82386812054825577801561269129673472529*c_0101_6^3 - 6972033387213172730908153203652988873642554/82386812054825577801561\ 269129673472529*c_0101_6^2 + 37619800673651470956736638925380310757\ 94869/164773624109651155603122538259346945058*c_0101_6 + 292417250497885573235744821634467506772514/823868120548255778015612\ 69129673472529, c_0011_0 - 1, c_0011_1 - 1091638381846561892327766734584248533509/8238681205482557780\ 1561269129673472529*c_0101_6^27 - 830102296912987038541399341676263\ 0839830/82386812054825577801561269129673472529*c_0101_6^26 + 47389581886579584255602230782350813096219/1647736241096511556031225\ 38259346945058*c_0101_6^25 + 19621321831941947343162410290096466919\ 8453/82386812054825577801561269129673472529*c_0101_6^24 - 429326434979879284321481675477016169183383/164773624109651155603122\ 538259346945058*c_0101_6^23 - 2238268565577066817346805954943554690\ 681480/82386812054825577801561269129673472529*c_0101_6^22 + 4172809637566699698543265575491902202373353/16477362410965115560312\ 2538259346945058*c_0101_6^21 + 145177737436210487341836661754687415\ 59696050/82386812054825577801561269129673472529*c_0101_6^20 - 38893784372870883072328492072692280939916077/1647736241096511556031\ 22538259346945058*c_0101_6^19 - 46618138857016212575059911000062411\ 449095938/82386812054825577801561269129673472529*c_0101_6^18 + 94709322940266491716737032084646842096703833/8238681205482557780156\ 1269129673472529*c_0101_6^17 + 487264936191611174529236375593998854\ 08949137/82386812054825577801561269129673472529*c_0101_6^16 - 417364550525746326124948068202239965145192203/164773624109651155603\ 122538259346945058*c_0101_6^15 + 4036785937418207843723376147020957\ 8485420813/82386812054825577801561269129673472529*c_0101_6^14 + 473262763343976629197521115297241017243318477/164773624109651155603\ 122538259346945058*c_0101_6^13 - 1572329185092031781881255279012717\ 15102682410/82386812054825577801561269129673472529*c_0101_6^12 - 214437234013620812934632459024866812031493995/164773624109651155603\ 122538259346945058*c_0101_6^11 + 1334980116972690046258144222174802\ 59427509606/82386812054825577801561269129673472529*c_0101_6^10 + 7948548868816732630636775785558000839438043/16477362410965115560312\ 2538259346945058*c_0101_6^9 - 9743057882514324609106104565964265158\ 1249451/164773624109651155603122538259346945058*c_0101_6^8 + 10692877301588852601620867848410775049693884/8238681205482557780156\ 1269129673472529*c_0101_6^7 + 1651028136698838231186244012410995537\ 8339381/164773624109651155603122538259346945058*c_0101_6^6 - 2937922916727510785150573035718290562257847/82386812054825577801561\ 269129673472529*c_0101_6^5 - 13352679082680373947433940849910978728\ 54673/164773624109651155603122538259346945058*c_0101_6^4 + 273230827489046066001938405391368985213648/823868120548255778015612\ 69129673472529*c_0101_6^3 + 435491580626672846300418194473651300242\ 22/82386812054825577801561269129673472529*c_0101_6^2 - 10887813536187020494393582917086034511868/8238681205482557780156126\ 9129673472529*c_0101_6 - 1824480439542950577301570369090585352999/8\ 2386812054825577801561269129673472529, c_0011_5 + 3468230893519479127804627347104260640557/1647736241096511556\ 03122538259346945058*c_0101_6^27 + 12848866287710049386367249616836125911690/8238681205482557780156126\ 9129673472529*c_0101_6^26 - 811348965543659783775821794133704019210\ 25/164773624109651155603122538259346945058*c_0101_6^25 - 615078577849357297151112865661861702808383/164773624109651155603122\ 538259346945058*c_0101_6^24 + 4056474757055408230471642963741585781\ 03864/82386812054825577801561269129673472529*c_0101_6^23 + 7118179044029044679564751192645250969754997/16477362410965115560312\ 2538259346945058*c_0101_6^22 - 399210071385144779505349900166366407\ 1229605/82386812054825577801561269129673472529*c_0101_6^21 - 46290751401998727234965354177926516896079405/1647736241096511556031\ 22538259346945058*c_0101_6^20 + 70347818885054761010381124495476676\ 213250803/164773624109651155603122538259346945058*c_0101_6^19 + 145324619890135684098562539527509619253940329/164773624109651155603\ 122538259346945058*c_0101_6^18 - 1655780362941843967050684551519298\ 50252303503/82386812054825577801561269129673472529*c_0101_6^17 - 64951076521776394220135334772319160862761827/8238681205482557780156\ 1269129673472529*c_0101_6^16 + 714486191812828941257116872725157845\ 655750181/164773624109651155603122538259346945058*c_0101_6^15 - 194649316620539396618129566389788261901510525/164773624109651155603\ 122538259346945058*c_0101_6^14 - 3953195546098994360085957121946177\ 36650335230/82386812054825577801561269129673472529*c_0101_6^13 + 586569737553367513715777424162124243472106355/164773624109651155603\ 122538259346945058*c_0101_6^12 + 1677561278638213921770287588577864\ 98582787825/82386812054825577801561269129673472529*c_0101_6^11 - 237460828565798725797322455970839268897003750/823868120548255778015\ 61269129673472529*c_0101_6^10 + 62795425054849787814385608020933903\ 47719523/164773624109651155603122538259346945058*c_0101_6^9 + 83624847593750300432450544009324919342355148/8238681205482557780156\ 1269129673472529*c_0101_6^8 - 2103766400663079967678268405775026400\ 1901972/82386812054825577801561269129673472529*c_0101_6^7 - 13521957924663012173004293580993103847763217/8238681205482557780156\ 1269129673472529*c_0101_6^6 + 1059693613862829767929075415016489723\ 9609437/164773624109651155603122538259346945058*c_0101_6^5 + 2045537543426253215630396969667776956192533/16477362410965115560312\ 2538259346945058*c_0101_6^4 - 9333081536382001598228909161778777303\ 33251/164773624109651155603122538259346945058*c_0101_6^3 - 137406696407687008823608413918083514306147/164773624109651155603122\ 538259346945058*c_0101_6^2 + 18095344969763996505758790393100663645\ 748/82386812054825577801561269129673472529*c_0101_6 + 2835445626295171341656162546646714677231/82386812054825577801561269\ 129673472529, c_0101_0 - 1483451345915991709604395454086191634407/1647736241096511556\ 03122538259346945058*c_0101_6^27 - 10600032390477542434138170941249808338203/1647736241096511556031225\ 38259346945058*c_0101_6^26 + 19021926883098476382626137396509814258\ 261/82386812054825577801561269129673472529*c_0101_6^25 + 128875708318195902703420260025276686815963/823868120548255778015612\ 69129673472529*c_0101_6^24 - 21087508142451671973013373461545139769\ 0346/82386812054825577801561269129673472529*c_0101_6^23 - 3037856886832171874071636271459955632041865/16477362410965115560312\ 2538259346945058*c_0101_6^22 + 421124070242462735123265574170864499\ 0840137/164773624109651155603122538259346945058*c_0101_6^21 + 19790941232957915310462055580387307682367597/1647736241096511556031\ 22538259346945058*c_0101_6^20 - 17584535085701810438927641394285519\ 262474526/82386812054825577801561269129673472529*c_0101_6^19 - 29949844841609358215417271595971751855639481/8238681205482557780156\ 1269129673472529*c_0101_6^18 + 798038042794904352915777638317571060\ 03273374/82386812054825577801561269129673472529*c_0101_6^17 + 19338530296239547345857672964671808691932720/8238681205482557780156\ 1269129673472529*c_0101_6^16 - 335844014982150587449514089626478093\ 083514915/164773624109651155603122538259346945058*c_0101_6^15 + 63550178074530748332447068595333158208056030/8238681205482557780156\ 1269129673472529*c_0101_6^14 + 179993085064763980757589692466082250\ 138461155/82386812054825577801561269129673472529*c_0101_6^13 - 308475183449171356131138777532828183362968633/164773624109651155603\ 122538259346945058*c_0101_6^12 - 1382283440010875819811898681972286\ 59774692255/164773624109651155603122538259346945058*c_0101_6^11 + 119114781407539568163481215384201359355254613/823868120548255778015\ 61269129673472529*c_0101_6^10 - 16051570833834864463785177132264568\ 352375855/164773624109651155603122538259346945058*c_0101_6^9 - 40788825577058403819398529523650396878518728/8238681205482557780156\ 1269129673472529*c_0101_6^8 + 2414097225298061482082616833121298129\ 6545993/164773624109651155603122538259346945058*c_0101_6^7 + 12834773322331087271045124897363611994839059/1647736241096511556031\ 22538259346945058*c_0101_6^6 - 287980333275502936016535984342086116\ 4178955/82386812054825577801561269129673472529*c_0101_6^5 - 472721723871013259764988081546206293375320/823868120548255778015612\ 69129673472529*c_0101_6^4 + 258686174334492658952919863140368286322\ 945/82386812054825577801561269129673472529*c_0101_6^3 + 66171599527163195101785550203862945059443/1647736241096511556031225\ 38259346945058*c_0101_6^2 - 213285364559714495153856889807726426030\ 61/164773624109651155603122538259346945058*c_0101_6 - 3076098838584490046605673746949216165729/16477362410965115560312253\ 8259346945058, c_0101_1 + 452779647893501877887231842105559689968/82386812054825577801\ 561269129673472529*c_0101_6^27 + 3318120378158796581050826772534401\ 542197/82386812054825577801561269129673472529*c_0101_6^26 - 21729731443111411438306462954969523154369/1647736241096511556031225\ 38259346945058*c_0101_6^25 - 79439269649504868233133249297561443367\ 593/82386812054825577801561269129673472529*c_0101_6^24 + 112475504571534322023941010109610785496675/823868120548255778015612\ 69129673472529*c_0101_6^23 + 18414637850689470328638088466969286060\ 96411/164773624109651155603122538259346945058*c_0101_6^22 - 1118709412759493258862476154795312354089129/82386812054825577801561\ 269129673472529*c_0101_6^21 - 1192016210754725487058846315278245596\ 0726099/164773624109651155603122538259346945058*c_0101_6^20 + 9685154120052674550549346625063222719245246/82386812054825577801561\ 269129673472529*c_0101_6^19 + 3648159360652353051386763973008905237\ 3850065/164773624109651155603122538259346945058*c_0101_6^18 - 89698191351251254946912685710349465103072911/1647736241096511556031\ 22538259346945058*c_0101_6^17 - 27008181892356510842590005783675704\ 225869807/164773624109651155603122538259346945058*c_0101_6^16 + 189981828842020705975220698612448940632765789/164773624109651155603\ 122538259346945058*c_0101_6^15 - 3294256057637487040196633878932331\ 7615882321/82386812054825577801561269129673472529*c_0101_6^14 - 102018173429291026717467072023306247023563685/823868120548255778015\ 61269129673472529*c_0101_6^13 + 17039795732547327629614466751082131\ 0614898885/164773624109651155603122538259346945058*c_0101_6^12 + 38846404369978458381366838051878458322578941/8238681205482557780156\ 1269129673472529*c_0101_6^11 - 132549074376429667234812886326366756\ 563809991/164773624109651155603122538259346945058*c_0101_6^10 + 4854472069780832335204167672276844877983611/82386812054825577801561\ 269129673472529*c_0101_6^9 + 22607326338630692237781676794980831610\ 816657/82386812054825577801561269129673472529*c_0101_6^8 - 13884045876754446369660376738817431348299153/1647736241096511556031\ 22538259346945058*c_0101_6^7 - 701807109887003816292829959890768039\ 2468051/164773624109651155603122538259346945058*c_0101_6^6 + 3310646021380845584448358667656798061184577/16477362410965115560312\ 2538259346945058*c_0101_6^5 + 2529121277532724188276859847705753286\ 04634/82386812054825577801561269129673472529*c_0101_6^4 - 301745486509193617197030124555725104430147/164773624109651155603122\ 538259346945058*c_0101_6^3 - 36886189716280895437593459592585177725\ 825/164773624109651155603122538259346945058*c_0101_6^2 + 12867031273410206460268921123103440735435/1647736241096511556031225\ 38259346945058*c_0101_6 + 914537628900905285741841764974008564957/8\ 2386812054825577801561269129673472529, c_0101_4 + 208606522657129885822341548714417406540/82386812054825577801\ 561269129673472529*c_0101_6^27 + 1532754662432919750392371007617038\ 898662/82386812054825577801561269129673472529*c_0101_6^26 - 5045111389194967444596362713881848366693/82386812054825577801561269\ 129673472529*c_0101_6^25 - 7463571091437245204722513404194523374057\ 7/164773624109651155603122538259346945058*c_0101_6^24 + 51736370476897567947761573186277091542692/8238681205482557780156126\ 9129673472529*c_0101_6^23 + 877245468428101352124988854614669957524\ 275/164773624109651155603122538259346945058*c_0101_6^22 - 501590623921919891701197123477774430538690/823868120548255778015612\ 69129673472529*c_0101_6^21 - 57845897159741079486811202697096661964\ 28579/164773624109651155603122538259346945058*c_0101_6^20 + 4341222329894315405306572385179458317012425/82386812054825577801561\ 269129673472529*c_0101_6^19 + 1868102738419078308037244838093192772\ 3221407/164773624109651155603122538259346945058*c_0101_6^18 - 20460220045373414181037002808858355799928818/8238681205482557780156\ 1269129673472529*c_0101_6^17 - 970589627373367262580493230451630714\ 8892503/82386812054825577801561269129673472529*c_0101_6^16 + 44971572305693116945327082084257130111074057/8238681205482557780156\ 1269129673472529*c_0101_6^15 - 169845753808535337503227658725545792\ 95190983/164773624109651155603122538259346945058*c_0101_6^14 - 51669484014150510595350389383452214652616866/8238681205482557780156\ 1269129673472529*c_0101_6^13 + 646890911386747417146532129496474574\ 87647895/164773624109651155603122538259346945058*c_0101_6^12 + 25018480797543186152740124218749371665633022/8238681205482557780156\ 1269129673472529*c_0101_6^11 - 550146965122775151724257634666739094\ 29833435/164773624109651155603122538259346945058*c_0101_6^10 - 2542686933196680320512380112302980470379842/82386812054825577801561\ 269129673472529*c_0101_6^9 + 19920219295657345887701439586847749556\ 444995/164773624109651155603122538259346945058*c_0101_6^8 - 3029627794573529614930249580618658687186359/16477362410965115560312\ 2538259346945058*c_0101_6^7 - 1634072370340603108605188649983171313\ 443700/82386812054825577801561269129673472529*c_0101_6^6 + 795838981858795241910847332853956749748811/164773624109651155603122\ 538259346945058*c_0101_6^5 + 12295132091150475644687504070899065091\ 4267/82386812054825577801561269129673472529*c_0101_6^4 - 42003980188569963609338962039738443981289/1647736241096511556031225\ 38259346945058*c_0101_6^3 - 768559353444966304672119809599307855359\ 9/82386812054825577801561269129673472529*c_0101_6^2 + 275006037880105430625494921107676595504/823868120548255778015612691\ 29673472529*c_0101_6 + 45038197100887521275033260987050617637/82386\ 812054825577801561269129673472529, c_0101_6^28 + 8*c_0101_6^27 - 19*c_0101_6^26 - 191*c_0101_6^25 + 129*c_0101_6^24 + 2187*c_0101_6^23 - 1091*c_0101_6^22 - 14670*c_0101_6^21 + 12414*c_0101_6^20 + 53650*c_0101_6^19 - 70715*c_0101_6^18 - 93013*c_0101_6^17 + 183411*c_0101_6^16 + 64018*c_0101_6^15 - 259687*c_0101_6^14 + 35913*c_0101_6^13 + 194641*c_0101_6^12 - 80183*c_0101_6^11 - 77830*c_0101_6^10 + 49137*c_0101_6^9 + 16001*c_0101_6^8 - 14868*c_0101_6^7 - 1509*c_0101_6^6 + 2385*c_0101_6^5 + 78*c_0101_6^4 - 200*c_0101_6^3 - 13*c_0101_6^2 + 8*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB