Magma V2.19-8 Tue Aug 20 2013 16:17:08 on localhost [Seed = 3482211099] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1376 geometric_solution 5.23276729 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 0 2.394859166163 0.216774795348 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -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 -1 0 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.765930675319 0.515433309308 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -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.223744025414 0.433590048690 5 4 6 2 0132 3012 0132 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 1 0 0 -1 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.682320553594 0.843938916016 3 5 2 6 1230 0132 0132 3201 0 0 0 0 0 0 -1 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 -1 1 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.682320553594 0.843938916016 3 4 5 5 0132 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 1 -1 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.825469623486 1.307549453993 6 4 6 3 2031 2310 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.803506661992 1.241941731757 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0101_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : negation(d['c_0011_6']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_0'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0011_3']), 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0101_3']), 'c_1010_3' : negation(d['c_0011_0']), 'c_1010_2' : negation(d['c_0101_2']), '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_3, c_0011_6, c_0101_0, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 23925759957894995397905315207446231905549697/2623987739399951874194\ 883756846703703352536*c_0101_3^25 - 189286492337241419037083620655645139594930047/262398773939995187419\ 4883756846703703352536*c_0101_3^24 - 146714606641324456207157809063350994084264545/327998467424993984274\ 360469605837962919067*c_0101_3^23 + 5682394423029434678809689954198856607690318219/13119938696999759370\ 97441878423351851676268*c_0101_3^22 - 7698820717303803272261828947716102380253470067/26239877393999518741\ 94883756846703703352536*c_0101_3^21 - 122045832001936116815877728531941192554754941769/262398773939995187\ 4194883756846703703352536*c_0101_3^20 + 152733026913229876054067157097420984747785544929/131199386969997593\ 7097441878423351851676268*c_0101_3^19 - 679317236741833030841327973883670891756684089/131199386969997593709\ 7441878423351851676268*c_0101_3^18 - 262645783417400336226800645130359326380662362291/131199386969997593\ 7097441878423351851676268*c_0101_3^17 - 23769699248849267268525438446908107758820428936/3279984674249939842\ 74360469605837962919067*c_0101_3^16 + 1030240095298492027052813771295470042215449602417/26239877393999518\ 74194883756846703703352536*c_0101_3^15 + 280287616684931672404558341376581868810415137699/131199386969997593\ 7097441878423351851676268*c_0101_3^14 - 1678752624168442918904426906761892219378037803759/26239877393999518\ 74194883756846703703352536*c_0101_3^13 - 433521369458481852363472709084227470923961174233/262398773939995187\ 4194883756846703703352536*c_0101_3^12 + 1365062505287765923609789122421853224604010496399/26239877393999518\ 74194883756846703703352536*c_0101_3^11 + 85739159442864706968303150676451618769653296967/6559969348499879685\ 48720939211675925838134*c_0101_3^10 - 683839055484884936815031718292802395107928783961/262398773939995187\ 4194883756846703703352536*c_0101_3^9 - 122741780360186934859513135926593477636321382787/131199386969997593\ 7097441878423351851676268*c_0101_3^8 + 276565343089252134698977533144702276641219480981/262398773939995187\ 4194883756846703703352536*c_0101_3^7 + 68491921795085962877203495132654352874236239235/2623987739399951874\ 194883756846703703352536*c_0101_3^6 - 38522967113009039784100118209861740194150957657/1311993869699975937\ 097441878423351851676268*c_0101_3^5 - 4416039021240643833616662222755871911449191717/26239877393999518741\ 94883756846703703352536*c_0101_3^4 + 5699563791881378381694523730132117187024394503/13119938696999759370\ 97441878423351851676268*c_0101_3^3 + 268408336964911588085255437623606366349591999/262398773939995187419\ 4883756846703703352536*c_0101_3^2 - 386075408444497827387210588997575069503188415/131199386969997593709\ 7441878423351851676268*c_0101_3 - 138075550142862839368226921268467\ 189148499327/2623987739399951874194883756846703703352536, c_0011_0 - 1, c_0011_1 - 762470187860525498245652091718303403769916/32799846742499398\ 4274360469605837962919067*c_0101_3^25 + 3677325027584138025567692403698281680060826/32799846742499398427436\ 0469605837962919067*c_0101_3^24 + 500698865932619023506417486442920\ 14644928827/327998467424993984274360469605837962919067*c_0101_3^23 - 214629511749479890598045691586575067000228299/327998467424993984274\ 360469605837962919067*c_0101_3^22 - 499064740402625627587964510288129697234833580/327998467424993984274\ 360469605837962919067*c_0101_3^21 + 2764676239717584987301786399145130639689851990/32799846742499398427\ 4360469605837962919067*c_0101_3^20 - 597821612618791499945313890456249134911361847/327998467424993984274\ 360469605837962919067*c_0101_3^19 - 6873055328555637333915294060005712184938753523/32799846742499398427\ 4360469605837962919067*c_0101_3^18 - 336744450143556012126971617202363943121127370/327998467424993984274\ 360469605837962919067*c_0101_3^17 + 13902379576112669555808420282234121156437024921/3279984674249939842\ 74360469605837962919067*c_0101_3^16 + 5423970165168771593980199977039620114643703332/32799846742499398427\ 4360469605837962919067*c_0101_3^15 - 21200243576123095614450686500964535777714646447/3279984674249939842\ 74360469605837962919067*c_0101_3^14 - 9028915610759944784706575536769132553957891181/32799846742499398427\ 4360469605837962919067*c_0101_3^13 + 18669397359869036551207316081655226833863014774/3279984674249939842\ 74360469605837962919067*c_0101_3^12 + 8975617558331374086082120581040275895683224377/32799846742499398427\ 4360469605837962919067*c_0101_3^11 - 9508167292352539226800551924510778009457424525/32799846742499398427\ 4360469605837962919067*c_0101_3^10 - 5769370530183024849142738850980728634615952485/32799846742499398427\ 4360469605837962919067*c_0101_3^9 + 3315227313223201519356335545823584838862278559/32799846742499398427\ 4360469605837962919067*c_0101_3^8 + 2125094048574949669702820470662638631155927821/32799846742499398427\ 4360469605837962919067*c_0101_3^7 - 999411366445365078342362152501993109732505461/327998467424993984274\ 360469605837962919067*c_0101_3^6 - 420854991982569389002031305171346518088393825/327998467424993984274\ 360469605837962919067*c_0101_3^5 + 221354030831197500755021892956698788041506676/327998467424993984274\ 360469605837962919067*c_0101_3^4 + 42991838560590773815409302184613422525191381/3279984674249939842743\ 60469605837962919067*c_0101_3^3 - 211648349340099140616676397098312\ 78437473529/327998467424993984274360469605837962919067*c_0101_3^2 - 2689987285158708369959224814762342208799938/32799846742499398427436\ 0469605837962919067*c_0101_3 - 218867671372971622082786581766841381\ 859015/327998467424993984274360469605837962919067, c_0011_3 - 2005958952051697118026514652613799391778573/3279984674249939\ 84274360469605837962919067*c_0101_3^25 + 9132155385921705971778655254419499450816308/32799846742499398427436\ 0469605837962919067*c_0101_3^24 + 134342391383606655131497117007352\ 170006127532/327998467424993984274360469605837962919067*c_0101_3^23 - 529053116508053701037231154369405747263869002/3279984674249939842\ 74360469605837962919067*c_0101_3^22 - 1465509630386660605571299359967826623029898253/32799846742499398427\ 4360469605837962919067*c_0101_3^21 + 6919026123556524015174234168466192781607683343/32799846742499398427\ 4360469605837962919067*c_0101_3^20 + 388012476568985231521772279671608452544202599/327998467424993984274\ 360469605837962919067*c_0101_3^19 - 18506690598336768940712194463403849102682021038/3279984674249939842\ 74360469605837962919067*c_0101_3^18 - 5713057513735844870461927809987852087838590150/32799846742499398427\ 4360469605837962919067*c_0101_3^17 + 36236737540059386031339961627906652682519841383/3279984674249939842\ 74360469605837962919067*c_0101_3^16 + 24076517445879720645706422217881790083796096587/3279984674249939842\ 74360469605837962919067*c_0101_3^15 - 51764449507063881646146257106532160639299783351/3279984674249939842\ 74360469605837962919067*c_0101_3^14 - 38578376964756886018588722254218762985141597088/3279984674249939842\ 74360469605837962919067*c_0101_3^13 + 42474231231596819432829037747700609790745283680/3279984674249939842\ 74360469605837962919067*c_0101_3^12 + 36414207705588106382403214382234559091466593174/3279984674249939842\ 74360469605837962919067*c_0101_3^11 - 18361966966123069607057749703709322036153030454/3279984674249939842\ 74360469605837962919067*c_0101_3^10 - 21527775570163006212811897197622068325161638787/3279984674249939842\ 74360469605837962919067*c_0101_3^9 + 4527050323877681162083214086445671707706043649/32799846742499398427\ 4360469605837962919067*c_0101_3^8 + 7720749942718126676021766750292037995423813475/32799846742499398427\ 4360469605837962919067*c_0101_3^7 - 1140033843679522972835342149541989569352199438/32799846742499398427\ 4360469605837962919067*c_0101_3^6 - 1746309217561514752055247347599750841668379048/32799846742499398427\ 4360469605837962919067*c_0101_3^5 + 284737120689756385692788788763266478834972542/327998467424993984274\ 360469605837962919067*c_0101_3^4 + 265734405366058207278741597952051889578402177/327998467424993984274\ 360469605837962919067*c_0101_3^3 - 21055068121972045834238507107080904114599241/3279984674249939842743\ 60469605837962919067*c_0101_3^2 - 222394558472832990758555996799880\ 92199434833/327998467424993984274360469605837962919067*c_0101_3 - 2122172477412840966163256175866114113626498/32799846742499398427436\ 0469605837962919067, c_0011_6 + 1334131665269867301311044900510428329270005/3279984674249939\ 84274360469605837962919067*c_0101_3^25 - 6487353485419316499392003123795027325786027/32799846742499398427436\ 0469605837962919067*c_0101_3^24 - 872917986421774059162129977108843\ 82037866728/327998467424993984274360469605837962919067*c_0101_3^23 + 378703342814968328227684914372820588428583821/327998467424993984274\ 360469605837962919067*c_0101_3^22 + 854329903059772733967249834796726164474607517/327998467424993984274\ 360469605837962919067*c_0101_3^21 - 4853245075609414594567171026400864012532370164/32799846742499398427\ 4360469605837962919067*c_0101_3^20 + 1272773551283139822414645872896811756913868513/32799846742499398427\ 4360469605837962919067*c_0101_3^19 + 11746745106535292802851353708879781911007868358/3279984674249939842\ 74360469605837962919067*c_0101_3^18 + 239238496021082587076646746689587318392814885/327998467424993984274\ 360469605837962919067*c_0101_3^17 - 23831246880028587033356704534025771293853925604/3279984674249939842\ 74360469605837962919067*c_0101_3^16 - 8667826676024098635878077236952772969473575562/32799846742499398427\ 4360469605837962919067*c_0101_3^15 + 36404025239897517966846768804400059160156582137/3279984674249939842\ 74360469605837962919067*c_0101_3^14 + 14217743212090866212683952605679508209742138404/3279984674249939842\ 74360469605837962919067*c_0101_3^13 - 31571194553768408613100914860468786710436382733/3279984674249939842\ 74360469605837962919067*c_0101_3^12 - 14231442903684898582662672385956305298694291836/3279984674249939842\ 74360469605837962919067*c_0101_3^11 + 15775029604238426125864799972648838282204533204/3279984674249939842\ 74360469605837962919067*c_0101_3^10 + 9214634083103253601023947435969918309224860337/32799846742499398427\ 4360469605837962919067*c_0101_3^9 - 5486084853919909653048342017577786082221449310/32799846742499398427\ 4360469605837962919067*c_0101_3^8 - 3292428461594778078470803615680203199857596530/32799846742499398427\ 4360469605837962919067*c_0101_3^7 + 1643910761389250058156052743920834867362174247/32799846742499398427\ 4360469605837962919067*c_0101_3^6 + 620929361082044265876457107477845139792252527/327998467424993984274\ 360469605837962919067*c_0101_3^5 - 343723908137642446965158344021916492303157080/327998467424993984274\ 360469605837962919067*c_0101_3^4 - 71257272649994684769305131776215103853824438/3279984674249939842743\ 60469605837962919067*c_0101_3^3 + 307401182990631627154632838582794\ 30533586012/327998467424993984274360469605837962919067*c_0101_3^2 + 5677571196103299546059820061061310107486418/32799846742499398427436\ 0469605837962919067*c_0101_3 - 213427359006628617540294873680665911\ 995197/327998467424993984274360469605837962919067, c_0101_0 - 3147853990671941269667898146679379670672221/3279984674249939\ 84274360469605837962919067*c_0101_3^25 + 14078973341596558964559216103954985799266181/3279984674249939842743\ 60469605837962919067*c_0101_3^24 + 212190010046762330729892791607410824949697764/327998467424993984274\ 360469605837962919067*c_0101_3^23 - 814415951331667279986919153383937348542370427/327998467424993984274\ 360469605837962919067*c_0101_3^22 - 2381224756487635687776901604364909511782449353/32799846742499398427\ 4360469605837962919067*c_0101_3^21 + 10734863665831079044543665643310268791129085569/3279984674249939842\ 74360469605837962919067*c_0101_3^20 + 1635371551839065817858781490091924811792925377/32799846742499398427\ 4360469605837962919067*c_0101_3^19 - 29780773213892789203154455066392693304896667700/3279984674249939842\ 74360469605837962919067*c_0101_3^18 - 11236377814685344059054957442827097768494165120/3279984674249939842\ 74360469605837962919067*c_0101_3^17 + 58118033243968093158632247682194129352943951454/3279984674249939842\ 74360469605837962919067*c_0101_3^16 + 42783701596215821693362740705102882239224217202/3279984674249939842\ 74360469605837962919067*c_0101_3^15 - 82029741308774870586918191815444336980462610672/3279984674249939842\ 74360469605837962919067*c_0101_3^14 - 69276385782892268550070622709508900717137867421/3279984674249939842\ 74360469605837962919067*c_0101_3^13 + 67261783815337166875845137641853357920550019195/3279984674249939842\ 74360469605837962919067*c_0101_3^12 + 65843129220352344535841571336599485417086731088/3279984674249939842\ 74360469605837962919067*c_0101_3^11 - 28557004184965837818390853014924816258416382492/3279984674249939842\ 74360469605837962919067*c_0101_3^10 - 39049976935533433062798877616096791315015255675/3279984674249939842\ 74360469605837962919067*c_0101_3^9 + 6194069069728344879630756330046108225102299390/32799846742499398427\ 4360469605837962919067*c_0101_3^8 + 14296487065526973387053500725194998376490708509/3279984674249939842\ 74360469605837962919067*c_0101_3^7 - 1325665830170757058678298674355153476550723068/32799846742499398427\ 4360469605837962919067*c_0101_3^6 - 3380108490799827793005646813400058541127620383/32799846742499398427\ 4360469605837962919067*c_0101_3^5 + 395847692636592978710136514254225901901824041/327998467424993984274\ 360469605837962919067*c_0101_3^4 + 539280937335692990935451483598119639484944541/327998467424993984274\ 360469605837962919067*c_0101_3^3 - 34922951902482317094629201784460684191791889/3279984674249939842743\ 60469605837962919067*c_0101_3^2 - 454219635721484101502093669686846\ 49553187977/327998467424993984274360469605837962919067*c_0101_3 - 4350430523090895529360849001371482160176802/32799846742499398427436\ 0469605837962919067, c_0101_2 - 2033498244606042566564754499681567704425893/3279984674249939\ 84274360469605837962919067*c_0101_3^25 + 10369267983106644761647474677251756809850139/3279984674249939842743\ 60469605837962919067*c_0101_3^24 + 130742490400063905085395217027857867890116400/327998467424993984274\ 360469605837962919067*c_0101_3^23 - 608785082014680403550000402946351426186790282/327998467424993984274\ 360469605837962919067*c_0101_3^22 - 1167990816680506058098812495902976178525908944/32799846742499398427\ 4360469605837962919067*c_0101_3^21 + 7709611461092486755090883647724190946886022170/32799846742499398427\ 4360469605837962919067*c_0101_3^20 - 3649530778794225840091532632435845185963248457/32799846742499398427\ 4360469605837962919067*c_0101_3^19 - 17515538364753030404136901607478269646263632996/3279984674249939842\ 74360469605837962919067*c_0101_3^18 + 3642154443905955133779138743009899381813503233/32799846742499398427\ 4360469605837962919067*c_0101_3^17 + 36791364816297592611666694564875776955612623488/3279984674249939842\ 74360469605837962919067*c_0101_3^16 + 5143203920628627266765057887516249673586561397/32799846742499398427\ 4360469605837962919067*c_0101_3^15 - 59142964925903849438825012315507842362064783680/3279984674249939842\ 74360469605837962919067*c_0101_3^14 - 9825782903814675193563234924112230607203546507/32799846742499398427\ 4360469605837962919067*c_0101_3^13 + 53702191537869840323837727535532990219680453573/3279984674249939842\ 74360469605837962919067*c_0101_3^12 + 12191506100436661576790990710393308089111064904/3279984674249939842\ 74360469605837962919067*c_0101_3^11 - 29392176133219682945328199057652266996489462912/3279984674249939842\ 74360469605837962919067*c_0101_3^10 - 9774357770850878759748366840623656370864144202/32799846742499398427\ 4360469605837962919067*c_0101_3^9 + 11530749000088108946248312765939935210168652956/3279984674249939842\ 74360469605837962919067*c_0101_3^8 + 3670882682979206756799005190891710655610204741/32799846742499398427\ 4360469605837962919067*c_0101_3^7 - 3528081498711471937144951097613627585531226633/32799846742499398427\ 4360469605837962919067*c_0101_3^6 - 552603285335166309333791977729406662086807645/327998467424993984274\ 360469605837962919067*c_0101_3^5 + 719757178641108963743927128127975980059632003/327998467424993984274\ 360469605837962919067*c_0101_3^4 + 28047353545946054059150701018417013248221419/3279984674249939842743\ 60469605837962919067*c_0101_3^3 - 714571747445502916046516261432800\ 94468809746/327998467424993984274360469605837962919067*c_0101_3^2 - 2122414086918453061168781879489473977637719/32799846742499398427436\ 0469605837962919067*c_0101_3 + 152751702386671200145252542112448436\ 9425837/327998467424993984274360469605837962919067, c_0101_3^26 - 5*c_0101_3^25 - 65*c_0101_3^24 + 294*c_0101_3^23 + 617*c_0101_3^22 - 3793*c_0101_3^21 + 1299*c_0101_3^20 + 9538*c_0101_3^19 - 1232*c_0101_3^18 - 20008*c_0101_3^17 - 4129*c_0101_3^16 + 32458*c_0101_3^15 + 8560*c_0101_3^14 - 31644*c_0101_3^13 - 10121*c_0101_3^12 + 18947*c_0101_3^11 + 7953*c_0101_3^10 - 7870*c_0101_3^9 - 3614*c_0101_3^8 + 2534*c_0101_3^7 + 908*c_0101_3^6 - 610*c_0101_3^5 - 133*c_0101_3^4 + 91*c_0101_3^3 + 14*c_0101_3^2 - 6*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB