Magma V2.19-8 Tue Aug 20 2013 16:16:25 on localhost [Seed = 3347471146] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0693 geometric_solution 4.65386343 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 -1 0 1 0 0 -1 1 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 -1 0 1 0 0 -1 1 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.754451309419 0.059264228169 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 1 -1 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 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.592666968347 0.169157103396 3 1 3 1 0132 0132 2310 1023 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 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.092054261531 1.812685045807 2 2 5 4 0132 3201 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -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 -1.142577688080 0.800872640445 5 5 3 6 1023 3012 0132 0132 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 -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.346569172070 1.192725767478 4 4 6 3 1230 1023 0132 0132 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 1 0 -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.346569172070 1.192725767478 6 6 4 5 1230 3012 0132 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 -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.178287890569 0.428993036416 ==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' : negation(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' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_1100_3'], 'c_1100_5' : d['c_1100_3'], 'c_1100_4' : d['c_1100_3'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1100_3'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0101_2']), 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], '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' : d['c_0011_6'], '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_2'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0011_4'], '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_0011_4'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_2']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_0011_6, c_0101_0, c_0101_1, c_0101_2, c_1100_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 39070531988391277804593880040162641746504466902410669222461/2303403\ 55300784695643824914639334313002420051829237258693888*c_1100_3^20 - 35721439120739264610968287285443062653916085812179425001931/2303403\ 55300784695643824914639334313002420051829237258693888*c_1100_3^19 - 1402464880931227552285011123436257180484056758401693834722665/23034\ 0355300784695643824914639334313002420051829237258693888*c_1100_3^18 + 305427605597721549251265893777855050189376885217866545598453/7198\ 136103149521738869528582479197281325626619663664334184*c_1100_3^17 + 25769001488939263142162551052376798054066568448248071117559077/1151\ 70177650392347821912457319667156501210025914618629346944*c_1100_3^1\ 6 - 1976579530069097988150368744093477872581580003967956430777859/3\ 387358166188010230056248744696092838270883115135842039616*c_1100_3^\ 15 - 75158479865357770203254641823793510991759916898820949236156143\ 1/230340355300784695643824914639334313002420051829237258693888*c_11\ 00_3^14 - 138899915437640821697678617678591670056744171093781168266\ 343397/57585088825196173910956228659833578250605012957309314673472*\ c_1100_3^13 + 10465559965459697837388714917807601241614441408388537\ 0299086577/11517017765039234782191245731966715650121002591461862934\ 6944*c_1100_3^12 + 572336903184439585902176380134741433135697247273\ 16682522258029/1151701776503923478219124573196671565012100259146186\ 29346944*c_1100_3^11 + 67368726516238357384352183050122119245248517\ 0328948228071900211/11517017765039234782191245731966715650121002591\ 4618629346944*c_1100_3^10 + 860698055262637484178144354496930671617\ 529848730942251476590949/575850888251961739109562286598335782506050\ 12957309314673472*c_1100_3^9 + 570671576673739933569952691037782413\ 558548686664477844890920427/135494326647520409202249949787843713530\ 83532460543368158464*c_1100_3^8 - 469458716646287203790556009014057\ 4922636118340495402120744090507/11517017765039234782191245731966715\ 6501210025914618629346944*c_1100_3^7 - 8842229723681895506950201383033636352810135484535926362275305485/23\ 0340355300784695643824914639334313002420051829237258693888*c_1100_3\ ^6 + 73007717491880273144362488184536412134828577092670121006380360\ 43/115170177650392347821912457319667156501210025914618629346944*c_1\ 100_3^5 - 886698261261800224404392805990884408816695309168035679999\ 191419/14396272206299043477739057164958394562651253239327328668368*\ c_1100_3^4 + 260292871348654168683617715099173271784072077409007476\ 7166685321/11517017765039234782191245731966715650121002591461862934\ 6944*c_1100_3^3 + 2978166259412297593126603593033145912289819643132\ 578046425167859/230340355300784695643824914639334313002420051829237\ 258693888*c_1100_3^2 - 21226466307734125324281559043855333846423096\ 49988516730878186069/2303403553007846956438249146393343130024200518\ 29237258693888*c_1100_3 + 26561858966191480056638530378012300099127\ 1628033749877382406699/23034035530078469564382491463933431300242005\ 1829237258693888, c_0011_0 - 1, c_0011_4 - 181931927022347802438257868164715653381211592128885211385/26\ 99301038681070652076073218429698980497109982373874125319*c_1100_3^2\ 0 + 1189596230711607853598405213404349190295063441136374742810/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^19 + 1907050589404312855773591821293213912978736218537327048/89976701289\ 3690217358691072809899660165703327457958041773*c_1100_3^18 - 46588888133970554802236134425358403954730504051466071824777/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^17 + 21802030287585074674002541263485664284393875588025571969089/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^16 + 10698737902049535002180849212359171758417775895301067623890/5292747\ 1346687659844628886635876450597982548673997531869*c_1100_3^15 + 421005588348651001822622936551890147904019011848338510756945/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^14 - 92989355969621115582526075710809585108142410270651220522874/8997670\ 12893690217358691072809899660165703327457958041773*c_1100_3^13 + 93128684765951896194172190695019154578249604523009886670440/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^12 - 941432929532541702147171929105196226019122507632963515275955/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^11 - 357209616948082796476107120273723580294618375747767836714617/899767\ 012893690217358691072809899660165703327457958041773*c_1100_3^10 - 3062116222942388777270897301028575102105658526608277594259498/89976\ 7012893690217358691072809899660165703327457958041773*c_1100_3^9 + 449919325595688431844817145140827895677585713066316814548644/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^8 + 9377369349992255202989254890314779910155325336031086185530353/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^7 - 16421537283962232476827498578371908285054663278471376050245548/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^6 + 15072148525756766324466073709030395461837874811628169721423384/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^5 - 5858129478839229037854030467481562539450495582041419593228202/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^4 - 2341213162126882882399828982614095460118410817571228100718482/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^3 + 2308230020287743300103320945725995346360492472127019513371334/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^2 - 500428370290759540272250428074342286050672768083611116774611/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3 + 31002710671289558267636646250130557375991808372393626734061/2699301\ 038681070652076073218429698980497109982373874125319, c_0011_6 - 114832935275054816693451720130249940079762426870322750051/26\ 99301038681070652076073218429698980497109982373874125319*c_1100_3^2\ 0 + 759696471287935362215262523059247377352069285616650879636/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^19 - 17792286225895249532210363385330814200249887575984692816/8997670128\ 93690217358691072809899660165703327457958041773*c_1100_3^18 - 29411693845911253499677085379168226492854105929022808309921/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^17 + 16023780137204884501691952150761508016314842866848062124394/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^16 + 6736195693340042459593020714954400532170949891137676069272/52927471\ 346687659844628886635876450597982548673997531869*c_1100_3^15 + 239164934596248741333968150178138167061676360525359025349077/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^14 - 66325528270597128894596632956172147385714505467368350683932/8997670\ 12893690217358691072809899660165703327457958041773*c_1100_3^13 + 69986281469764562700139028042296247908173493652957097602413/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^12 - 598021571142126010856272692645971774206464241899275494480867/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^11 - 210366239000953369338114246068321320904380175722526756396333/899767\ 012893690217358691072809899660165703327457958041773*c_1100_3^10 - 1914109297655808601268794663474244610566640394254469681200400/89976\ 7012893690217358691072809899660165703327457958041773*c_1100_3^9 + 310554383740631174600439149964698291502782866613847262335106/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^8 + 5589286421077276603906916067167220282621547024664923454576329/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^7 - 10846329449121745596079918779474517433869263852712072017050951/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^6 + 10265902509857087417076895095456659541894699696406776055019065/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^5 - 4363874833503658854591476733377270541103148929484341526048489/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^4 - 1247179002032913609551963104179720378080033854035951771763412/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^3 + 1585458474874193632740298743020916199618689384607175521341577/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^2 - 416267742324009642291889681413183062585585880041155602218603/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3 + 34816037953291289833289537007668353209172721384084046521587/2699301\ 038681070652076073218429698980497109982373874125319, c_0101_0 - 10113630308673490829019438418998816725666421662409452971/158\ 782414040062979533886659907629351793947646021992595607*c_1100_3^20 + 67904647785746977332056459327327928573359927703965168548/1587824140\ 40062979533886659907629351793947646021992595607*c_1100_3^19 - 3722464477679183977454960829965561561243451291482081814/52927471346\ 687659844628886635876450597982548673997531869*c_1100_3^18 - 2590786834618636663844415224877859825674393075455839348684/15878241\ 4040062979533886659907629351793947646021992595607*c_1100_3^17 + 1666825495520674431701660840704179798327985843491299169346/15878241\ 4040062979533886659907629351793947646021992595607*c_1100_3^16 + 10050071599029144909880308420427882415166307129840994099389/5292747\ 1346687659844628886635876450597982548673997531869*c_1100_3^15 + 18050005544173233314101944333916315888431236350497391313041/1587824\ 14040062979533886659907629351793947646021992595607*c_1100_3^14 - 6660212198092521629356349198493219175923344325772493896276/52927471\ 346687659844628886635876450597982548673997531869*c_1100_3^13 + 7818700739813878344704780246005452798887288627039340724135/15878241\ 4040062979533886659907629351793947646021992595607*c_1100_3^12 - 52717207229487227428396502903081512590182262846340178070268/1587824\ 14040062979533886659907629351793947646021992595607*c_1100_3^11 - 16760441986114116238637266788225142406518109616548951640802/5292747\ 1346687659844628886635876450597982548673997531869*c_1100_3^10 - 166495462251480854057468456220497313208939122887638012366585/529274\ 71346687659844628886635876450597982548673997531869*c_1100_3^9 + 515256761308559341401024217235433125951271432054235877435129/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^8 + 452048537584637554677844840596722405826329735425344981453466/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^7 - 1013246378783228363506956379234822931675986446348833726979764/15878\ 2414040062979533886659907629351793947646021992595607*c_1100_3^6 + 991137106925391937521466454173908855689385153383947518177619/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^5 - 458128702504095970791445317952117188211540648005532786084049/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^4 - 85373444228126637827361212115819018069815308048254836381294/1587824\ 14040062979533886659907629351793947646021992595607*c_1100_3^3 + 156846101246401566477721163792721785539483683604122125038933/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^2 - 47931347075604685367900418426512975903272432170086197371413/1587824\ 14040062979533886659907629351793947646021992595607*c_1100_3 + 4153350248875143895230417907663930632338957340787757611960/15878241\ 4040062979533886659907629351793947646021992595607, c_0101_1 - 779302391646915318804052272172096729136629796175533813294/26\ 99301038681070652076073218429698980497109982373874125319*c_1100_3^2\ 0 + 5194834428641379877093270486329725243419281445275030603068/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^19 - 207693898471892251001726029574631250760070578062934232445/899767012\ 893690217358691072809899660165703327457958041773*c_1100_3^18 - 199582327444057484130662678963269914858838009366110625382312/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^17 + 118846049226795165918103249113097699713774800780623336824356/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^16 + 45601522563550693566464252788937633694263311987547744673401/5292747\ 1346687659844628886635876450597982548673997531869*c_1100_3^15 + 1503439863273960905298040505228657298974156112234515234504030/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^14 - 476343529419192856282562999881329915404901809277621636656977/899767\ 012893690217358691072809899660165703327457958041773*c_1100_3^13 + 574185239366626733867240394611512872923691698345665632442319/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^12 - 4037698579206491237016829399455113733920535142820690018187620/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^11 - 1351508193937745305886097259998273583586018061809992025606839/89976\ 7012893690217358691072809899660165703327457958041773*c_1100_3^10 - 12913097090189845212313048423183059503508465704221932171703561/8997\ 67012893690217358691072809899660165703327457958041773*c_1100_3^9 + 2220545030081594471717279931964074466168130817630855794981276/15878\ 2414040062979533886659907629351793947646021992595607*c_1100_3^8 + 35974318301436012140317313193842408030917761189475827276501191/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^7 - 76019374846117789741425673828602862797464689338470186877220642/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^6 + 73371397911317727751489604269245333320197488772909188742973849/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^5 - 32764940049820473202209743232339434891511588596849074480849561/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^4 - 7314800866710115666010307586039329033026276842637557824572182/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^3 + 11523476059864360016116083392027897210989883482847986789145732/2699\ 301038681070652076073218429698980497109982373874125319*c_1100_3^2 - 3330771463611249786979668842563275263864000357326706754496777/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3 + 287461204867813507353821064799109686251880899319525067223467/269930\ 1038681070652076073218429698980497109982373874125319, c_0101_2 - 35897734168086625088569959167419402458625426279377425639/269\ 9301038681070652076073218429698980497109982373874125319*c_1100_3^20 + 242470566846375351404364925626984409584957601218048017177/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^19 - 16239640856772657962772225611096063607734558296224254615/8997670128\ 93690217358691072809899660165703327457958041773*c_1100_3^18 - 9198115143275412898603815385665756235686989638497269184278/26993010\ 38681070652076073218429698980497109982373874125319*c_1100_3^17 + 6285297729615305109737027663191455338981257199367658890449/26993010\ 38681070652076073218429698980497109982373874125319*c_1100_3^16 + 2096849701191503473346676567536744285681224926923717100881/52927471\ 346687659844628886635876450597982548673997531869*c_1100_3^15 + 59749293594555924925428617062405229938056966932918829999956/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^14 - 25131245148226012165200684783311984479667107248838939403943/8997670\ 12893690217358691072809899660165703327457958041773*c_1100_3^13 + 28295141927958696119572176655875389311682762305786203452876/2699301\ 038681070652076073218429698980497109982373874125319*c_1100_3^12 - 188455278912108763467296624952662799793971996207680397006884/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^11 - 57157665929451778245798739745448880051016167384734845997638/8997670\ 12893690217358691072809899660165703327457958041773*c_1100_3^10 - 587535803872228508608509078833594071171676933946880665175715/899767\ 012893690217358691072809899660165703327457958041773*c_1100_3^9 + 112077475311937189662597382339509488724584233960686826295195/158782\ 414040062979533886659907629351793947646021992595607*c_1100_3^8 + 1565262083953095387264466554939517698427258833325740713326547/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^7 - 3672269390760962614315790744863517828334580126467187883188660/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^6 + 3628017982754885236808649964167527778891719396962551932040695/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^5 - 1728226331716046411567229883693077387825706621429564723090801/26993\ 01038681070652076073218429698980497109982373874125319*c_1100_3^4 - 274750682176110899098089724252019877713491838818411171189543/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^3 + 579822883989207154499565922237258305894180582401330269634561/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3^2 - 184981327540650813567310614801463331946555854768288328819190/269930\ 1038681070652076073218429698980497109982373874125319*c_1100_3 + 18599531377770359687182512946785956145626475732025263774749/2699301\ 038681070652076073218429698980497109982373874125319, c_1100_3^21 - 7*c_1100_3^20 + 3*c_1100_3^19 + 256*c_1100_3^18 - 238*c_1100_3^17 - 2940*c_1100_3^16 - 931*c_1100_3^15 + 2556*c_1100_3^14 - 1270*c_1100_3^13 + 5410*c_1100_3^12 + 3486*c_1100_3^11 + 47844*c_1100_3^10 - 65225*c_1100_3^9 - 31342*c_1100_3^8 + 113711*c_1100_3^7 - 125266*c_1100_3^6 + 71504*c_1100_3^5 - 2950*c_1100_3^4 - 18385*c_1100_3^3 + 8807*c_1100_3^2 - 1561*c_1100_3 + 96 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB