Magma V2.19-8 Tue Aug 20 2013 16:17:59 on localhost [Seed = 3313785091] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2222 geometric_solution 5.66458431 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 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 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 1.567524660140 0.547556093879 0 2 3 0 3201 0132 0132 0132 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 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.728440180018 0.463038151211 4 1 3 5 0132 0132 1302 0132 0 0 0 0 0 1 0 -1 -1 0 0 1 -1 0 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 -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.569973687797 0.530863855750 2 5 4 1 2031 2310 1023 0132 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 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.569973687797 0.530863855750 2 4 3 4 0132 1302 1023 2031 0 0 0 0 0 0 0 0 1 0 -1 0 -1 0 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 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.614536677354 1.061860750269 6 6 2 3 0132 2310 0132 3201 0 0 0 0 0 -1 1 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 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.279410605470 0.863335077153 5 6 6 5 0132 3201 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.848926194866 0.617531671083 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : negation(d['c_0011_3']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : 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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], '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' : negation(d['c_0011_0']), 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0011_1'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), '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_5, c_0101_0, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 3531519199789305379777518231891102799920591/61116214623669266467450\ 177351374698892211*c_0101_6^26 + 8347054493901518874178007838493722\ 9093466421/244464858494677065869800709405498795568844*c_0101_6^25 - 48868301431561191776695545231678492802961377/2444648584946770658698\ 00709405498795568844*c_0101_6^24 - 371631522406050776659298981952890218334770047/611162146236692664674\ 50177351374698892211*c_0101_6^23 - 2313393045844817009447668633482149223415285259/24446485849467706586\ 9800709405498795568844*c_0101_6^22 + 6601367289382435303048536501180514035084207163/12223242924733853293\ 4900354702749397784422*c_0101_6^21 + 4175199754094878921454696054147772649842662906/61116214623669266467\ 450177351374698892211*c_0101_6^20 - 14477594623720166585114391745344199953972212846/6111621462366926646\ 7450177351374698892211*c_0101_6^19 - 54454168266036683503473226356461963916877463423/2444648584946770658\ 69800709405498795568844*c_0101_6^18 + 37546106020712657654912858311875332052351813150/6111621462366926646\ 7450177351374698892211*c_0101_6^17 + 28181308898300801444367746280212736477535327536/6111621462366926646\ 7450177351374698892211*c_0101_6^16 - 128841756213272653779305541328800743708395459401/122232429247338532\ 934900354702749397784422*c_0101_6^15 - 179642935310550893364231676035774512680042150173/244464858494677065\ 869800709405498795568844*c_0101_6^14 + 149335482962950913836605937580076937520301404311/122232429247338532\ 934900354702749397784422*c_0101_6^13 + 237565401994325269099573962799494619760540179765/244464858494677065\ 869800709405498795568844*c_0101_6^12 - 219694831182661837409822906998568324937712429515/244464858494677065\ 869800709405498795568844*c_0101_6^11 - 235235637250415777244814048158453530364679798985/244464858494677065\ 869800709405498795568844*c_0101_6^10 + 82378165534287212852371004655848705418368718051/2444648584946770658\ 69800709405498795568844*c_0101_6^9 + 149457181420377927103941743552056844048645655139/244464858494677065\ 869800709405498795568844*c_0101_6^8 + 2714558729595465624678515976271501989103216661/24446485849467706586\ 9800709405498795568844*c_0101_6^7 - 52938896094014379907300492968549756156532486543/2444648584946770658\ 69800709405498795568844*c_0101_6^6 - 6734243795596340243979892879139032245652714001/12223242924733853293\ 4900354702749397784422*c_0101_6^5 + 8652944479460677681024047082167502059636605633/24446485849467706586\ 9800709405498795568844*c_0101_6^4 + 3472404182615979918680347463533713647826445127/24446485849467706586\ 9800709405498795568844*c_0101_6^3 - 376530641900413586201397442703268839321651653/244464858494677065869\ 800709405498795568844*c_0101_6^2 - 43617311085518976423795725903874424215441947/6111621462366926646745\ 0177351374698892211*c_0101_6 - 381840101666727485500484666674847746\ 0142947/244464858494677065869800709405498795568844, c_0011_0 - 1, c_0011_1 + 1799625705474684667053482914919920367/8316262705629237510879\ 055293424234439*c_0101_6^26 + 5408792630656730731316920464161197593\ /8316262705629237510879055293424234439*c_0101_6^25 - 36648195782252123992460821315206862949/8316262705629237510879055293\ 424234439*c_0101_6^24 - 169006363269240581917041487247499069713/831\ 6262705629237510879055293424234439*c_0101_6^23 + 251505403120025292343570561044516837045/831626270562923751087905529\ 3424234439*c_0101_6^22 + 2492200597607852978379288811337514504238/8\ 316262705629237510879055293424234439*c_0101_6^21 - 2791802718168679166121192561458027957964/83162627056292375108790552\ 93424234439*c_0101_6^20 - 13086842870666299046301112193485033732108\ /8316262705629237510879055293424234439*c_0101_6^19 + 14654354213365055764852304215852261959073/8316262705629237510879055\ 293424234439*c_0101_6^18 + 3714746420609203858287073138411773144834\ 7/8316262705629237510879055293424234439*c_0101_6^17 - 41347573468149453759076337641232648743607/8316262705629237510879055\ 293424234439*c_0101_6^16 - 6903998718166149392830628838426270384037\ 6/8316262705629237510879055293424234439*c_0101_6^15 + 72067271178671124290502399356843473532100/8316262705629237510879055\ 293424234439*c_0101_6^14 + 9520551313526874061335177209483566095072\ 2/8316262705629237510879055293424234439*c_0101_6^13 - 79444831057528435349052591506425881781130/8316262705629237510879055\ 293424234439*c_0101_6^12 - 1047623362069654364961927268851678570900\ 44/8316262705629237510879055293424234439*c_0101_6^11 + 51561087810511922819506262396590546542923/8316262705629237510879055\ 293424234439*c_0101_6^10 + 8795279620461435941225478479728726863145\ 0/8316262705629237510879055293424234439*c_0101_6^9 - 13386397752146126131671743089208268617545/8316262705629237510879055\ 293424234439*c_0101_6^8 - 49290724689583344044430618946754546558486\ /8316262705629237510879055293424234439*c_0101_6^7 - 5538403922347665972350539415728472739808/83162627056292375108790552\ 93424234439*c_0101_6^6 + 15914306817475610352641799834283140847888/\ 8316262705629237510879055293424234439*c_0101_6^5 + 4898393617251442208055567963108754002955/83162627056292375108790552\ 93424234439*c_0101_6^4 - 2469567898587675169652967107309854703331/8\ 316262705629237510879055293424234439*c_0101_6^3 - 1043087195734798146118734442103858057966/83162627056292375108790552\ 93424234439*c_0101_6^2 + 113437904578812100498688300701061950985/83\ 16262705629237510879055293424234439*c_0101_6 + 49951115203424457018643039842656961151/8316262705629237510879055293\ 424234439, c_0011_3 - 115888036855919548507016302265908011313120/61116214623669266\ 467450177351374698892211*c_0101_6^26 - 685191755018600886075298972041126156599134/611162146236692664674501\ 77351374698892211*c_0101_6^25 + 78279847145345067245391960414783546\ 6398051/122232429247338532934900354702749397784422*c_0101_6^24 + 12155980081465218274287341786570740685973192/6111621462366926646745\ 0177351374698892211*c_0101_6^23 + 190490537935046245743027793566559\ 02841912940/61116214623669266467450177351374698892211*c_0101_6^22 - 215057198154305744361213164562875266940479891/122232429247338532934\ 900354702749397784422*c_0101_6^21 - 272676516186354793632363033179688556175980447/122232429247338532934\ 900354702749397784422*c_0101_6^20 + 936447874485238705257520329544061715283212867/122232429247338532934\ 900354702749397784422*c_0101_6^19 + 883371805855439718464031058726129755115716409/122232429247338532934\ 900354702749397784422*c_0101_6^18 - 1203912426886854200673856585206904557447439208/61116214623669266467\ 450177351374698892211*c_0101_6^17 - 910166699743582417198267630839383753923377444/611162146236692664674\ 50177351374698892211*c_0101_6^16 + 2046878300993531614100399221444216760101186785/61116214623669266467\ 450177351374698892211*c_0101_6^15 + 1446920972175768636316453244173004249010880727/61116214623669266467\ 450177351374698892211*c_0101_6^14 - 4690280788544300999977314048110807065857810227/12223242924733853293\ 4900354702749397784422*c_0101_6^13 - 3811843223226534498308975219508354389594263867/12223242924733853293\ 4900354702749397784422*c_0101_6^12 + 1692061454745103870593415847367479008528274206/61116214623669266467\ 450177351374698892211*c_0101_6^11 + 3734072205607315333102756280632795260443413633/12223242924733853293\ 4900354702749397784422*c_0101_6^10 - 604005021601569466268779179030477092955871667/611162146236692664674\ 50177351374698892211*c_0101_6^9 - 232681742507101750321642493639135\ 6777828506299/122232429247338532934900354702749397784422*c_0101_6^8 - 44421120218862876918745116618408421409791760/61116214623669266467\ 450177351374698892211*c_0101_6^7 + 800234532852295108913626614696815568955257713/122232429247338532934\ 900354702749397784422*c_0101_6^6 + 108653870113386666941597570741032950484270677/611162146236692664674\ 50177351374698892211*c_0101_6^5 - 625916657582305306484189163823121\ 45742879895/61116214623669266467450177351374698892211*c_0101_6^4 - 52540667106070759747172200977460584475306289/1222324292473385329349\ 00354702749397784422*c_0101_6^3 + 244069564477236782359345299932641\ 1898342277/61116214623669266467450177351374698892211*c_0101_6^2 + 2706456234529445363010559374001705680731081/12223242924733853293490\ 0354702749397784422*c_0101_6 - 148906176908298473772939294692965880\ 5795/122232429247338532934900354702749397784422, c_0011_5 - 65644323336956447130810243686682170548944/611162146236692664\ 67450177351374698892211*c_0101_6^26 - 383292506078126431602204498232809009913383/611162146236692664674501\ 77351374698892211*c_0101_6^25 + 50622869303994452174373827109871201\ 9000971/122232429247338532934900354702749397784422*c_0101_6^24 + 6885769603193786011998049822795926360060427/61116214623669266467450\ 177351374698892211*c_0101_6^23 + 1027354559184670876688800878925186\ 3527987675/61116214623669266467450177351374698892211*c_0101_6^22 - 123975772110389437366956536575086124435416247/122232429247338532934\ 900354702749397784422*c_0101_6^21 - 146356811293778081134124822830818236561498503/122232429247338532934\ 900354702749397784422*c_0101_6^20 + 546790270150321315378840510239654394740115029/122232429247338532934\ 900354702749397784422*c_0101_6^19 + 466669378950396231148638253162388742747306313/122232429247338532934\ 900354702749397784422*c_0101_6^18 - 710354489711291748605554015343650471103649534/611162146236692664674\ 50177351374698892211*c_0101_6^17 - 472694274879559296515831744788761955204125115/611162146236692664674\ 50177351374698892211*c_0101_6^16 + 1220119272722137278468061733194713728367119095/61116214623669266467\ 450177351374698892211*c_0101_6^15 + 747363155359724853524953552653449330818137391/611162146236692664674\ 50177351374698892211*c_0101_6^14 - 2843607856060067471954004169322753956612749357/12223242924733853293\ 4900354702749397784422*c_0101_6^13 - 2003377580409313706855362878881985273731850379/12223242924733853293\ 4900354702749397784422*c_0101_6^12 + 1068244610385460104522715515124706138104380963/61116214623669266467\ 450177351374698892211*c_0101_6^11 + 2026857158374467649327849666073756105832621605/12223242924733853293\ 4900354702749397784422*c_0101_6^10 - 433876470160638415020426266350548864246944629/611162146236692664674\ 50177351374698892211*c_0101_6^9 - 131413299928665153087602413073497\ 8329796651831/122232429247338532934900354702749397784422*c_0101_6^8 + 21851654204271025181693746962114976160036509/61116214623669266467\ 450177351374698892211*c_0101_6^7 + 477121267186764145538326369572837739429786899/122232429247338532934\ 900354702749397784422*c_0101_6^6 + 49653643952423475597526619585121147045212371/6111621462366926646745\ 0177351374698892211*c_0101_6^5 - 4100322986091819145171956073514005\ 4937532771/61116214623669266467450177351374698892211*c_0101_6^4 - 27582552380533391437658040803233851722300799/1222324292473385329349\ 00354702749397784422*c_0101_6^3 + 209657448709925196043142431252642\ 7325779286/61116214623669266467450177351374698892211*c_0101_6^2 + 1438000940616024824893374280394950279682147/12223242924733853293490\ 0354702749397784422*c_0101_6 - 249507294776034130687941632362341539\ 24189/122232429247338532934900354702749397784422, c_0101_0 - 4771109606106213730451004877660140249/8316262705629237510879\ 055293424234439*c_0101_6^26 - 3114447589309037601832160364877512646\ 1/8316262705629237510879055293424234439*c_0101_6^25 - 106970919773993816456446274474372648/831626270562923751087905529342\ 4234439*c_0101_6^24 + 516663121345233586242131621404147784922/83162\ 62705629237510879055293424234439*c_0101_6^23 + 1086158194784250170139745109069044072361/83162627056292375108790552\ 93424234439*c_0101_6^22 - 4060281182398544438489580696728147376335/\ 8316262705629237510879055293424234439*c_0101_6^21 - 8480683930159164818126765617620375978161/83162627056292375108790552\ 93424234439*c_0101_6^20 + 16912906903827792777831142974382998034805\ /8316262705629237510879055293424234439*c_0101_6^19 + 30950609126105837585922746551317942516809/8316262705629237510879055\ 293424234439*c_0101_6^18 - 4317226872031383550170533138816291808194\ 3/8316262705629237510879055293424234439*c_0101_6^17 - 70332743347664105917033913401121059410877/8316262705629237510879055\ 293424234439*c_0101_6^16 + 7339451654788749217289393968409211774934\ 7/8316262705629237510879055293424234439*c_0101_6^15 + 115226525946218610871253308839984039342665/831626270562923751087905\ 5293424234439*c_0101_6^14 - 802062535372060676794853172605893491694\ 57/8316262705629237510879055293424234439*c_0101_6^13 - 143334511997838517295736989538008003235267/831626270562923751087905\ 5293424234439*c_0101_6^12 + 445687148697730124091225376751300176276\ 66/8316262705629237510879055293424234439*c_0101_6^11 + 128050083289912428420348575695159832820858/831626270562923751087905\ 5293424234439*c_0101_6^10 + 458995521141106770775746734374197129010\ 1/8316262705629237510879055293424234439*c_0101_6^9 - 72863075052337542452980804619228388395148/8316262705629237510879055\ 293424234439*c_0101_6^8 - 22777607526457888229186328552630060849995\ /8316262705629237510879055293424234439*c_0101_6^7 + 22009532005468919237691601253317576751731/8316262705629237510879055\ 293424234439*c_0101_6^6 + 12682876914100017967216698356952619032099\ /8316262705629237510879055293424234439*c_0101_6^5 - 2327841802899406927349716288203186531824/83162627056292375108790552\ 93424234439*c_0101_6^4 - 2679746020196383457097246677426655460675/8\ 316262705629237510879055293424234439*c_0101_6^3 - 92932257503745307217742071652144826486/8316262705629237510879055293\ 424234439*c_0101_6^2 + 164943089127194757692255499873023107127/8316\ 262705629237510879055293424234439*c_0101_6 + 10270657540711621097371320434989512135/8316262705629237510879055293\ 424234439, c_0101_4 + 7106414733114907219606214625755789125197/6111621462366926646\ 7450177351374698892211*c_0101_6^26 + 33072529156543837725460075861286596683572/6111621462366926646745017\ 7351374698892211*c_0101_6^25 - 749877294871133061708604461689231712\ 75404/61116214623669266467450177351374698892211*c_0101_6^24 - 703914769813593797981732628260440903230453/611162146236692664674501\ 77351374698892211*c_0101_6^23 - 23527496332751010066411729373621297\ 5297975/61116214623669266467450177351374698892211*c_0101_6^22 + 7868439279497899340940287109374560617170616/61116214623669266467450\ 177351374698892211*c_0101_6^21 - 2584065617071601692366971354807373\ 94061628/61116214623669266467450177351374698892211*c_0101_6^20 - 37545934016429086795758796860282020761029631/6111621462366926646745\ 0177351374698892211*c_0101_6^19 + 112287199676367918681037343885174\ 63861058676/61116214623669266467450177351374698892211*c_0101_6^18 + 100775468359586260289230730115375918641434177/611162146236692664674\ 50177351374698892211*c_0101_6^17 - 43720803784844671963678407688650623628471979/6111621462366926646745\ 0177351374698892211*c_0101_6^16 - 178007666611258739150650847369285\ 878940880968/61116214623669266467450177351374698892211*c_0101_6^15 + 81862138583696401363149352767408776553127635/6111621462366926646745\ 0177351374698892211*c_0101_6^14 + 226308875164665107305253802403849\ 688634449843/61116214623669266467450177351374698892211*c_0101_6^13 - 82734409347797611178564959301087173821353863/6111621462366926646745\ 0177351374698892211*c_0101_6^12 - 218762675603804447709109314582636\ 051492875451/61116214623669266467450177351374698892211*c_0101_6^11 + 38944499740580912491537915759598000821184257/6111621462366926646745\ 0177351374698892211*c_0101_6^10 + 158905466046332910394491918895780\ 307505461718/61116214623669266467450177351374698892211*c_0101_6^9 + 4637571404231367213631937370971170163058884/61116214623669266467450\ 177351374698892211*c_0101_6^8 - 78588083249244503891115657604727266\ 330412579/61116214623669266467450177351374698892211*c_0101_6^7 - 17629085284365076955073229641696026356468376/6111621462366926646745\ 0177351374698892211*c_0101_6^6 + 2298304133988827221641356414840539\ 5375001479/61116214623669266467450177351374698892211*c_0101_6^5 + 9514975027089792687270057123177123197437306/61116214623669266467450\ 177351374698892211*c_0101_6^4 - 30782159417198002293741767557839665\ 61555776/61116214623669266467450177351374698892211*c_0101_6^3 - 1745340108480877351009834961229060150311506/61116214623669266467450\ 177351374698892211*c_0101_6^2 - 29841734903768150910545453459910153\ 914702/61116214623669266467450177351374698892211*c_0101_6 + 78281464392526066335435925077742531298087/6111621462366926646745017\ 7351374698892211, c_0101_6^27 + 6*c_0101_6^26 - 3*c_0101_6^25 - 106*c_0101_6^24 - 173*c_0101_6^23 + 928*c_0101_6^22 + 1279*c_0101_6^21 - 4068*c_0101_6^20 - 4312*c_0101_6^19 + 10623*c_0101_6^18 + 9216*c_0101_6^17 - 18421*c_0101_6^16 - 14923*c_0101_6^15 + 21571*c_0101_6^14 + 19615*c_0101_6^13 - 15919*c_0101_6^12 - 19274*c_0101_6^11 + 5811*c_0101_6^10 + 12390*c_0101_6^9 + 483*c_0101_6^8 - 4611*c_0101_6^7 - 1216*c_0101_6^6 + 870*c_0101_6^5 + 362*c_0101_6^4 - 68*c_0101_6^3 - 35*c_0101_6^2 + 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.230 seconds, Total memory usage: 32.09MB