Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 4256981191] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2409 geometric_solution 5.76493329 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 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.514912250762 1.079773831347 0 3 2 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 1 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.021901446731 1.011888112632 3 0 4 1 3201 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 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 -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.021901446731 1.011888112632 5 1 5 2 0132 0132 2310 2310 0 0 0 0 0 0 0 0 1 0 0 -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 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.803653223344 0.935455174590 2 6 1 6 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526911755816 1.581370956057 3 3 5 5 0132 3201 2031 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506356176733 0.177392409700 4 4 6 6 3201 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 0.271750136847 0.222709604479 ==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' : d['c_0110_6'], 'c_1100_5' : negation(d['c_0101_2']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_2']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_0']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0110_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_3, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t - 2846065522459006120455304554027184055185148273584451650862284670772\ 5131941295168/29898148768916503254598226414433071309202451868903074\ 56403416290390187718223*c_0110_6^33 - 1916224839170999423945821812809503689013373307011665558209246517197\ 47037112935104/2989814876891650325459822641443307130920245186890307\ 456403416290390187718223*c_0110_6^32 - 9354107298365780749250862980544686536290996147112383713507866328104\ 9352962107280/29898148768916503254598226414433071309202451868903074\ 56403416290390187718223*c_0110_6^31 + 1460350449392838830128648393064101657147266878197968565523821660954\ 040535397381456/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^30 + 1707157223143986856234577969113582521777870468616604960259461854469\ 224079111355920/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^29 - 1990326105428055169794800680331939624114312604995705330964719631338\ 141233903828388/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^28 + 3755124452819904134338859421310829329463945606721208675100550684156\ 174092052689581/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^27 - 1936697998989934009005185372287120497403374781998899266005445633881\ 769543019415560/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^26 - 5758369416915199501154462359668268423829451826051891359859863976077\ 8868841294761155/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^25 - 3543163088476969885847981877516411711557428614176778248409130032725\ 957313391709630/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^24 + 1876492417896100716523147243704094552294007803198031342953434879263\ 91813060993083821/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^23 + 2015522683230693739052387286241584532681322507542010485875908602501\ 4557932468222219/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^22 - 3017197503706234162150066778914021193734875087914190233602912106472\ 48994515702477029/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^21 + 4380040878868707516483869713439902504533492145439863968976802049424\ 9193233303783438/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^20 + 2571185171740655991418673298201115088724168081071698023117566205447\ 60892488804003521/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^19 - 2659880462266983787756658391021520478337515951576365803875382504107\ 44731012219372998/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^18 - 8819116960738422680469997187972421218959544820510392308400354256778\ 3507880477644799/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^17 + 4912517151519126458297576185559955186605557813633921608323797981887\ 92493488467446191/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^16 - 2681942207245966487760844538601682566175117543639202362556387437942\ 6636044997728866/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^15 - 4952930175868855410352702275905020205549272174408000311939693393970\ 09654238825394928/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^14 + 3035024594724941464380354918671832291927416590188798215480705447838\ 2611514958914142/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^13 + 3114595568412136749512612163770994285051042217767348308148575730605\ 45920951113232562/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^12 - 3937521066986377090365273228772272388185223292100695850876534211161\ 797857638379879/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^11 - 1299023307595205407446377950282952837351954178867685560036053342459\ 38431913137275874/2989814876891650325459822641443307130920245186890\ 307456403416290390187718223*c_0110_6^10 - 3656516882868199054313846529666518207261268245186326259112361989339\ 775735488624580/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^9 + 3709946820658954621134712962708830658744879919884488696101086118517\ 1801969495694531/29898148768916503254598226414433071309202451868903\ 07456403416290390187718223*c_0110_6^8 + 1735253004534714930017307987518280932870234565135567438528690157355\ 544873552347556/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^7 - 7205148263428120138146552519765826341777161917572256863313296744238\ 263455438566755/298981487689165032545982264144330713092024518689030\ 7456403416290390187718223*c_0110_6^6 - 3377540511778622963662219661187650592276369289077185077040887897886\ 43484457808618/2989814876891650325459822641443307130920245186890307\ 456403416290390187718223*c_0110_6^5 + 9040688882940135194111526312357161252372207106367879108285183958436\ 07621571849434/2989814876891650325459822641443307130920245186890307\ 456403416290390187718223*c_0110_6^4 + 3322392197408359845045747175898503177682567969538272388453389563521\ 7950455635762/29898148768916503254598226414433071309202451868903074\ 56403416290390187718223*c_0110_6^3 - 6787965185096248435473172597108992765849619523440709062671662274521\ 8072751606232/29898148768916503254598226414433071309202451868903074\ 56403416290390187718223*c_0110_6^2 - 2936443660153087181165762379698275721198110898871798283424076196370\ 332657104637/298981487689165032545982264144330713092024518689030745\ 6403416290390187718223*c_0110_6 + 182069033351169114236133391058128\ 7080554364739598802121960133821016064170812003/29898148768916503254\ 59822641443307130920245186890307456403416290390187718223, c_0011_0 - 1, c_0011_4 - 641528728528670280484893553476360873985936944749055116444927\ 479737595929615616/436972943545702739874897155287867965288343527314\ 7372436281916116724120511249*c_0110_6^33 - 2102248051455076770237916214493859097884838031656415360178066431969\ 01661954816/2299857597608961788815248185725620869938650143761774966\ 46416637722322132171*c_0110_6^32 - 3865702040587643527199687692296188428894058675292450947912721262654\ 73806574848/4369729435457027398748971552878679652883435273147372436\ 281916116724120511249*c_0110_6^31 + 3136262888908611544499640689536846501725056420968450519151115799113\ 5823832039872/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^30 + 2316725395629425881318547224789544091404991587671981039284647180463\ 1470346742160/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^29 - 4210382204468125479876006283590977984313523055098716239080549866046\ 2642951950736/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^28 + 1102207261703604345815237440361727214348278924762713031138672146539\ 25728046850916/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^27 - 1215927173240378653898114086153073004240053256271753049449523613332\ 00352610100148/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^26 - 1171957202571706040071062845966066473139009427541310266005478067053\ 291058590991453/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^25 + 4315906292250372990061977651660382611079208978223946128150772828450\ 96893867556111/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^24 + 3489557435368321766221870605295996101724759194845073780859531743036\ 991358806017975/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^23 - 8694844005471454975598872403606890407183493570042200845696500021413\ 85887084785922/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^22 - 4909281991089484795599670280277179514100019135259459814350648565009\ 888355124296265/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^21 + 2310459602478383414290784442979071229239426530564530796518560609947\ 787931908969524/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^20 + 1491572827661684934919257660988049334827187519386874218414850708133\ 94037017498214/2299857597608961788815248185725620869938650143761774\ 96646416637722322132171*c_0110_6^19 - 5239561350031484780454155713460475716836875014128984938467982806456\ 253371781822674/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^18 + 9517422335917909497522310297825270415055135345090212262595250817198\ 99082463949128/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^17 + 7613386343132880411831440836042138914482134232167568153339485554582\ 098388057980599/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^16 - 2391007295307676939208700042115887531932790214429787710959599569798\ 840878605476682/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^15 - 7157196231499792373892379634536280541160271247757601247133935656971\ 844057663381404/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^14 + 1388095825152283721532216048997871870981373567001677237857085410850\ 381073326137675/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^13 + 4469393611432995609682187296652946495219929465345705027731381792705\ 072885322196321/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^12 - 3166343900010113852337876014537339234003895491684552436191565111220\ 84690152979818/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^11 - 1877796474734968301856560338677816479799795666738058070257230121626\ 902705256289072/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^10 - 2298612839903284758844084719713573688312285089349066291800739116298\ 6611257645613/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^9 + 5413660806717993250888906058926248499016100098812970459789372441696\ 20057143228183/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^8 + 3203792668420579851232784112952551714688374159650034470983235871280\ 8561445904526/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^7 - 1082295645018025218391565568248023643568285026124047680436294225826\ 17280989487499/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^6 - 7571920561681143476927913516821354788613018136271661355220259167123\ 981105468801/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^5 + 1419714254249763394345855414573958216633446473363640106061115908244\ 5614622591566/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^4 + 7981018550081523086707679155080695377294921468743824346783422009936\ 25944364411/4369729435457027398748971552878679652883435273147372436\ 281916116724120511249*c_0110_6^3 - 1111537536849821667103053690257792667667330743719702887680318651761\ 100093782001/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^2 - 6635110517924162101647716049844480444460352256607427540211654451098\ 7726419518/43697294354570273987489715528786796528834352731473724362\ 81916116724120511249*c_0110_6 + 31935103051777117936476878361339794\ 366730521305595920681414687618190925324616/436972943545702739874897\ 1552878679652883435273147372436281916116724120511249, c_0101_0 + 132251454298230999961901274548186096706325739905766357325157\ 7453514486915439744/43697294354570273987489715528786796528834352731\ 47372436281916116724120511249*c_0110_6^33 + 3388128420807137462033222450569585549463373147697922597893084025823\ 36898888448/2299857597608961788815248185725620869938650143761774966\ 46416637722322132171*c_0110_6^32 - 9830376422541221988229762683649183114533533612890237434868847031976\ 524658787808/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^31 - 6201552799068524170738046862420573581040262752212001265729417112099\ 4799319662848/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^30 + 4140245632859434852684988135728946930786739155520738726043462416507\ 1157124303648/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^29 + 1218479748647147599848891289051103174600007440013224848404728004529\ 80274167999960/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^28 - 3748005415257492320835223895679034155373640073619848521067224941637\ 21377815423138/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^27 + 6103953934759610513620785021156618719605156862906877623163184785582\ 15805003858210/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^26 + 1991996047445560345604256866998852940931620059326833994618232934615\ 419411171456996/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^25 - 4143334016665145199905694126273881527436870235438283859025401703342\ 185091276906899/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^24 - 4800916562032210928328356562912584096759500654320938783909756993855\ 223583730576096/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^23 + 1143858660493074219503163600511773887089785411107936840529211700451\ 7184878793796730/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^22 + 3710353918452185956468294281453001708617813570172103745900760348298\ 798831228560697/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^21 - 1798497595247795899858090172736738092228120807578160530094737373076\ 3169755765209593/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^20 + 3794787078502769312336393422117074680384303001026855779057619025352\ 46097903068057/2299857597608961788815248185725620869938650143761774\ 96646416637722322132171*c_0110_6^19 + 1582265501157577882680313355332515039641820732880203022802466033682\ 5164357993930289/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^18 - 2192018641852404182450928832291119537123257941586438082494330798232\ 5031544999485562/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^17 - 5190579859203401424883112654831418397266872459880555589382613815161\ 040901321077968/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^16 + 2625230881847119711204355534715419698238774135495409566587299070911\ 2065536532492788/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^15 - 3297420926912551185860662377155873361854902614764504947043150264498\ 314335779344065/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^14 - 1860244693975452541244325818360749968144545536146698586078495047590\ 3241118478089289/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^13 + 4475567914503917606470058783748990186287554008190342934832100114814\ 346514100800758/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^12 + 8809495243153447083583339328819828455556060750223164055216389025696\ 346962262671670/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^11 - 2442108922351976413666713251777509464392911183405349013323997551489\ 469667327556728/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^10 - 2915164280637437317274055455882921308959241698567989922261116511869\ 894436345835989/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^9 + 8569568645816650805556168969875472484852857037277545552872154734644\ 96314316190422/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^8 + 6572222330583218278009375411301871529663660427580751405568149136948\ 85150970704342/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^7 - 2047838404783359067044610095656879926294718994716929790261313263208\ 53731840697844/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^6 - 9362041315565002546333186705655294080455365976500867330315096410711\ 5552447905119/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^5 + 3071467148955701903569972262975581982653136056414484228642555192674\ 5532303754103/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^4 + 7686206265004506919411676875788705741236948670124062572690490211298\ 289457955493/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^3 - 2561938072690777164115871874405156535297748642853858737443981916167\ 582982563775/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^2 - 3170901057632547860909726891137015208302375539351649079340428669741\ 88285704909/4369729435457027398748971552878679652883435273147372436\ 281916116724120511249*c_0110_6 + 8232350354870827508848191647414973\ 4318625744211240326697771474132797654857396/43697294354570273987489\ 71552878679652883435273147372436281916116724120511249, c_0101_1 - 294117999790680370768523105327345217627367470019460485064170\ 6698511297052371520/43697294354570273987489715528786796528834352731\ 47372436281916116724120511249*c_0110_6^33 - 7001588087419817341741991675046639627222704226462413831328264983925\ 07067989312/2299857597608961788815248185725620869938650143761774966\ 46416637722322132171*c_0110_6^32 + 2628635522375680975549367756859101172036976886560045452707369136661\ 5869208699824/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^31 + 1283665819567283889278052066834967728537832085843648026085920397502\ 33439827334544/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^30 - 1337079649001488932020167498086658562203176233319094242195106607089\ 06242998016192/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^29 - 2190951550372254973855658622697901560686976267635032109243129604502\ 32744271980836/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^28 + 8917263570500769861040417406174376554879254071428844557446785773401\ 24205861107141/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^27 - 1673422710950439452324065854824810395482995322487858789114545332372\ 945605784796432/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^26 - 3791227272241998409850579919449115948316157315130396757713403411368\ 203750673314178/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^25 + 1037150434476358255495537494184566569239075280858566247828927930299\ 8486636593456729/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^24 + 6995660127191234093226648174488053701867187969235446735747328256510\ 136132051529965/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^23 - 2695783494132811891047798322853730090284095878396632870199959746116\ 7897427488466367/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^22 + 8777626405861801609209385168282173198021935589925366334851126097929\ 37847317618165/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^21 + 3750975858670463142780048688334331661843767295405119496456142017120\ 7086690953919080/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^20 - 1450360045350313969348335958989910639812939452249124226866585820178\ 094387322582350/229985759760896178881524818572562086993865014376177\ 496646416637722322132171*c_0110_6^19 - 2324529403917781731043958070229061036299481087906629221100460678271\ 3138483066776498/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^18 + 5327222182097006105538657679956021170473296372489763411529182199843\ 7159980743706668/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^17 - 6915858198771340964733448326099788119728765869224579733511770402093\ 237040856197533/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^16 - 5152564535240212106550702899547773230194146820021361492160098276681\ 5886614914218215/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^15 + 2202561435721872345226911716901290767952023833204381086368543684357\ 9225004402170096/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^14 + 3065107160252014685834334444213693255651349745104237515763955761008\ 0530346521583786/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^13 - 1676791794863035752044034391219427136189111057956689396619001688544\ 8262900821220740/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^12 - 1259930741932112701048264893339710964958909157737665268533963658871\ 9275035868989041/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^11 + 7476872091657949411430045961321104763838755950995763987608636964674\ 848858874085848/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^10 + 3652908619754991363079350500871578141758236658904295845570472097085\ 078132554269905/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^9 - 2263953547709174978750409689947472737670472007105090763350994528487\ 800175241449873/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^8 - 6854374768471187221845234768757971078828191556625747536545597300349\ 41988657281323/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^7 + 4506057379346562614921193849902501377378372383825552518351894988494\ 99227414270293/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^6 + 7828169585315112762001069855167833709230995202728935808373152578436\ 0953575947794/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^5 - 5567459688934689121291195513248295108416457821224084521026578713837\ 7656525786141/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^4 - 5194705731006936653600727170102250509289990737439886122998971635930\ 286289713242/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^3 + 3927725575252485651307117843813174622147609839918502850419720288087\ 713055036610/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^2 + 2063567289787357638439139381591273609864330372065207147209037806077\ 03530552646/4369729435457027398748971552878679652883435273147372436\ 281916116724120511249*c_0110_6 - 1092784609997429907322183030669835\ 67793471835012534962059695784933584418356637/4369729435457027398748\ 971552878679652883435273147372436281916116724120511249, c_0101_2 - 585198335114234893962539811490514652841839237514287231748860\ 5373668461818304384/43697294354570273987489715528786796528834352731\ 47372436281916116724120511249*c_0110_6^33 - 1500347573123082222697132963662733175930461459212666678105179642813\ 537779720704/229985759760896178881524818572562086993865014376177496\ 646416637722322132171*c_0110_6^32 + 4155842871749042657593464199750067512525539843881917487957889687731\ 5061340407200/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^31 + 2651026151517461434139959338765671643209826961846428729137007530270\ 33590246163904/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^30 - 1723032001551705823820764843148189531860552032956728325716498657375\ 33194902729600/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^29 - 4558490946483081426651052788890416154005888195022409822250875948713\ 90064731007688/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^28 + 1629242586293046847467439798406707379351144995325858597080967610193\ 786545955864238/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^27 - 2827569480748336825012136527410490881820726649105650268965692298848\ 186419529006458/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^26 - 8360216974640221957832435523765432946039697614162057119989446871157\ 830650168505322/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^25 + 1751998040836183875820116375757348616612680670184339980257267120884\ 5899935368346157/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^24 + 1856623364493005723920983696519729772123064606884844525665676153828\ 9075185882877753/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^23 - 4601920705232782855575188776217921739263343006797289353204057235991\ 8611697975187310/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^22 - 1005137966748116174671766906867550055032542064459638184105493933224\ 3851010672754178/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^21 + 6805204214010978701247436410437583494298327026445853733943300770884\ 2866078177015277/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^20 - 1933656416578914734481380631841741166892277560902322756225568070558\ 829229388800471/229985759760896178881524818572562086993865014376177\ 496646416637722322132171*c_0110_6^19 - 5297171848569369782110564658019746437166581992646648246385009068277\ 3301985089372457/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^18 + 8925055811599183861685385597463566434808069171362634122138246788396\ 7380086564917638/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^17 + 8479184704537705786729623934487616380620019938869939164722438424497\ 016963781031908/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^16 - 9432197003779601127211012692373227561906172268998601618819178100715\ 0011915990556078/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^15 + 1994318996080575893197053781701157217504511844612450991962436812890\ 0026605753282931/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^14 + 5956832506457136314265527035631498367222514185728017160162044880980\ 4610311749752763/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^13 - 1893311170566212389459953500759919575989171487931054251935278711907\ 8146091187452935/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^12 - 2548213919220952594651578554393288770162155522347346237508996867154\ 9421218052762638/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^11 + 9156934734962643186523168804509999390959616694090696587928971348830\ 047356999926523/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^10 + 7646028895219589425496048587311761108884768883672155677035526141341\ 938672340346248/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^9 - 2953987338100104515833125386356325288824240961416118090440247047531\ 272678142994101/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^8 - 1522436857112893419703683242339685806785579600677175798199938670863\ 016302828422041/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^7 + 6280678943888951198146455180499882715238348821857074107411736369649\ 28239950221743/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^6 + 1885192385628831317030612197855302043347245149929267481478536710631\ 38690577350842/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^5 - 8238505011472292054736971805021751218616654631457446748892785080434\ 2714897944718/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^4 - 1355494304994385708558630503987029032802772746122908055257657634535\ 9110460832862/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^3 + 6049448651155684010302917094318503685811161439214926594520983624648\ 683998532219/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^2 + 5032363218173304213284948944075647396650196751794307257185383811154\ 52915853216/4369729435457027398748971552878679652883435273147372436\ 281916116724120511249*c_0110_6 - 1743247371716866617637710658615628\ 73859153966968041377820533699650281265097525/4369729435457027398748\ 971552878679652883435273147372436281916116724120511249, c_0101_3 - 526013341185062134957403571761689083144566050317699947464025\ 0021698469743370176/43697294354570273987489715528786796528834352731\ 47372436281916116724120511249*c_0110_6^33 - 1449486700124677029007491711361110028340917324775489611950414873940\ 420177245952/229985759760896178881524818572562086993865014376177496\ 646416637722322132171*c_0110_6^32 + 2689887496620089574325225200231934727721442677442679129389419750591\ 1394163708368/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^31 + 2457139817484324986888172460984219677787898437197253724862406287649\ 90842466108096/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^30 - 6408889400692704025363739831420240803349243448805494458297019276284\ 3520669317888/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^29 - 4125021031148054749210990112827635000353141977017228232293134865094\ 82454900078348/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^28 + 1317134725376549598960107666856488299380020409103879292962627651040\ 350379568573047/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^27 - 2096924812950570317950084384029786704814809826823303588727711809927\ 874918556011117/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^26 - 8187086298384941378877567821348146732846508195594181023092130263423\ 443298011556079/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^25 + 1263950456113035000481522828942457938925560270517349169695678852880\ 2813547166043645/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^24 + 2056805928956337698909939148854588271211317242788655476886731499499\ 7167480936729262/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^23 - 3312532818911108749740790000289997315158036576526920744823415657080\ 3895002579977736/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^22 - 1903712887243932592956112961105143068649996488446184051935831083011\ 2042871604508904/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^21 + 5225932868238097898754606576760910810468977925019719040621670904325\ 7678370497302134/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^20 - 8729785354470995120169240935720696355893820904215911001619266452389\ 61853205193393/2299857597608961788815248185725620869938650143761774\ 96646416637722322132171*c_0110_6^19 - 5011671781993303085855652875487906796486687732029408258582056124845\ 9545583848587193/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^18 + 6229718684995793797973414693029036333618704099173476204059426440313\ 7685128813055197/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^17 + 2580049205252846286183487912207290462407115567501078780720758680801\ 8407781901530266/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^16 - 7196162298502130881487525604374774377904315551275420946433192975801\ 3460222955989978/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^15 - 4250457990039265109094283386335056123756394963987527651980848368756\ 877867814637793/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^14 + 4707376085100456280072448998988175355199327879841604335541535023880\ 4366352554888853/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^13 - 2468357439265290347057515464452982614905510828726359410258215904401\ 217946770052450/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^12 - 2027322727356369846915126553303915761134079448432374632862904067889\ 2069253184742814/43697294354570273987489715528786796528834352731473\ 72436281916116724120511249*c_0110_6^11 + 2093745198078508619143897364363571836368393656631654455914200804379\ 336658653218182/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^10 + 6049291380611170317010304109679316024680772659133918384961026964509\ 169830442393901/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^9 - 8875608857236280184016982250730124888607804858207556021787073932518\ 87556530628029/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^8 - 1206984739474463942911548639061168513665846453873666499048079002335\ 875391852842648/436972943545702739874897155287867965288343527314737\ 2436281916116724120511249*c_0110_6^7 + 2262807671266281313322730256389612488143304923422650941440215739505\ 28577257122758/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^6 + 1509277001121188121755641095123019249786946027912411033810812336338\ 54439057604460/4369729435457027398748971552878679652883435273147372\ 436281916116724120511249*c_0110_6^5 - 3335524393258172284819560328654370442743692792488108979899542974016\ 1364064575890/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^4 - 1096829480386656894096297382839435411522231687579194855890961616742\ 6465310322055/43697294354570273987489715528786796528834352731473724\ 36281916116724120511249*c_0110_6^3 + 2580414153786896565659451552100528722197264026736265392600987461394\ 947075364820/436972943545702739874897155287867965288343527314737243\ 6281916116724120511249*c_0110_6^2 + 3657924281624888843758165383123948399960952731688949692728085304860\ 67596837533/4369729435457027398748971552878679652883435273147372436\ 281916116724120511249*c_0110_6 - 8426906755625808631058371836098496\ 7044405251652334313295274796098550087193748/43697294354570273987489\ 71552878679652883435273147372436281916116724120511249, c_0110_6^34 + 5*c_0110_6^33 - 27/4*c_0110_6^32 - 191/4*c_0110_6^31 + 49/2*c_0110_6^30 + 1517/16*c_0110_6^29 - 17109/64*c_0110_6^28 + 13645/32*c_0110_6^27 + 49691/32*c_0110_6^26 - 23195/8*c_0110_6^25 - 256969/64*c_0110_6^24 + 509575/64*c_0110_6^23 + 253797/64*c_0110_6^22 - 406981/32*c_0110_6^21 + 215845/64*c_0110_6^20 + 774329/64*c_0110_6^19 - 910747/64*c_0110_6^18 - 386581/64*c_0110_6^17 + 1171303/64*c_0110_6^16 + 24353/32*c_0110_6^15 - 218119/16*c_0110_6^14 + 23307/32*c_0110_6^13 + 434023/64*c_0110_6^12 - 15221/32*c_0110_6^11 - 18907/8*c_0110_6^10 + 657/4*c_0110_6^9 + 9183/16*c_0110_6^8 - 2405/64*c_0110_6^7 - 3029/32*c_0110_6^6 + 343/64*c_0110_6^5 + 325/32*c_0110_6^4 - 13/32*c_0110_6^3 - 21/32*c_0110_6^2 + 1/64 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB