Magma V2.19-8 Tue Aug 20 2013 16:19:17 on localhost [Seed = 3987501283] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3401 geometric_solution 6.56895658 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.419545208473 0.342651282894 2 0 3 0 0132 2310 0132 0132 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 1 -1 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.150648880330 0.825100892239 1 4 5 6 0132 0132 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 -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.641146182637 0.922012615737 6 5 4 1 3201 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 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.641146182637 0.922012615737 4 2 3 4 3201 0132 1023 2310 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 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.298534750803 0.800635132781 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 -1 0 1 0 -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.338942136851 0.645248953706 6 6 2 3 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 0.730750170925 0.923525927966 ==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_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], '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_0011_3']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : negation(d['c_0011_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_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 1421829173705331890147737384232375745421517609781256402720596930843\ 91873/5435387381761631501826863460552268261296167310232218106210625\ 3421797*c_0101_4^34 + 489751268658599038402036078282067233585310634\ 8469982833799290612986337837/54353873817616315018268634605522682612\ 961673102322181062106253421797*c_0101_4^33 - 3614783748889732229805397689128063733512722536940934612236962268283\ 319590/543538738176163150182686346055226826129616731023221810621062\ 53421797*c_0101_4^32 - 66913904061926189156853223512325979332780475\ 475323610485718399281821032666/543538738176163150182686346055226826\ 12961673102322181062106253421797*c_0101_4^31 + 7016261625055598265488158919458919358510664550126925436038570381525\ 8317333/54353873817616315018268634605522682612961673102322181062106\ 253421797*c_0101_4^30 + 3904912034232902148103141282868752771254311\ 69704063482687379401187311296778/5435387381761631501826863460552268\ 2612961673102322181062106253421797*c_0101_4^29 - 4034619303387740573090528831310684976273943858935945716557653592389\ 63423506/5435387381761631501826863460552268261296167310232218106210\ 6253421797*c_0101_4^28 - 112589481753998709462720019023461615156276\ 5254432095406428690302840432138093/54353873817616315018268634605522\ 682612961673102322181062106253421797*c_0101_4^27 + 1069677400535932745481930144699230201882703496635918172427415277665\ 148370545/543538738176163150182686346055226826129616731023221810621\ 06253421797*c_0101_4^26 + 11083657898448755977794037114791808999059\ 92034210614084983200537560275749215/5435387381761631501826863460552\ 2682612961673102322181062106253421797*c_0101_4^25 - 1720196055969821129647605056416749480513449299168894870074791823253\ 776420451/543538738176163150182686346055226826129616731023221810621\ 06253421797*c_0101_4^24 + 26341540237037859384540302978274124428817\ 74570487301706413453038650977092897/5435387381761631501826863460552\ 2682612961673102322181062106253421797*c_0101_4^23 + 3903838954205891487599325611503371163171088445478533941514567414927\ 089491725/543538738176163150182686346055226826129616731023221810621\ 06253421797*c_0101_4^22 - 10895631338744070613397088559788924043554\ 773737802723662016729809536655059954/543538738176163150182686346055\ 22682612961673102322181062106253421797*c_0101_4^21 - 1219211675990300516616770571104537341195259823531626965004128223416\ 5730105477/54353873817616315018268634605522682612961673102322181062\ 106253421797*c_0101_4^20 + 1833666243854320996109240452007205821493\ 5171213227472941373734815424938028907/54353873817616315018268634605\ 522682612961673102322181062106253421797*c_0101_4^19 + 2507794579865675193827701222035344308878173587385472679104768993039\ 9429174001/54353873817616315018268634605522682612961673102322181062\ 106253421797*c_0101_4^18 - 1725382075032416819347070752396845313104\ 3125342226258947827986969751307166682/54353873817616315018268634605\ 522682612961673102322181062106253421797*c_0101_4^17 - 3153935911777875779980994892612404259750997301031620232422008183647\ 7181787950/54353873817616315018268634605522682612961673102322181062\ 106253421797*c_0101_4^16 + 7047996548690525272722214768383874389995\ 943975156265433483058952554909785708/543538738176163150182686346055\ 22682612961673102322181062106253421797*c_0101_4^15 + 2688325158157830141507592265245425983224645562834735656478665351199\ 9306692093/54353873817616315018268634605522682612961673102322181062\ 106253421797*c_0101_4^14 + 2154704788880012864015572361713931424771\ 011129825077972855307533291681906274/543538738176163150182686346055\ 22682612961673102322181062106253421797*c_0101_4^13 - 1670635702485223727650949474981742067401108831583047620724582966081\ 5514458084/54353873817616315018268634605522682612961673102322181062\ 106253421797*c_0101_4^12 - 3698347703584829428541273039001390382564\ 202618058649019816370736512402485312/543538738176163150182686346055\ 22682612961673102322181062106253421797*c_0101_4^11 + 7181876415226011150113658932728868716685092276215373929682994318659\ 100319134/543538738176163150182686346055226826129616731023221810621\ 06253421797*c_0101_4^10 + 20175013773738266174962347562268590394578\ 86554357384191275412205709302763592/5435387381761631501826863460552\ 2682612961673102322181062106253421797*c_0101_4^9 - 2096507278143796932193025616337376024012056413113036214490320966328\ 874194421/543538738176163150182686346055226826129616731023221810621\ 06253421797*c_0101_4^8 - 691934438745416335567987859847833052878981\ 067441245710554565941281508740517/543538738176163150182686346055226\ 82612961673102322181062106253421797*c_0101_4^7 + 4467805888299723117547577858141835265682791060879299174283806013971\ 34051175/5435387381761631501826863460552268261296167310232218106210\ 6253421797*c_0101_4^6 + 1440510066149358627095120922759844033536601\ 23125777220662003713982500199787/5435387381761631501826863460552268\ 2612961673102322181062106253421797*c_0101_4^5 - 6997214694295149352819603277672448239420586310949590585397395524336\ 5473649/54353873817616315018268634605522682612961673102322181062106\ 253421797*c_0101_4^4 - 14489607407370274484599112494811910943912789\ 637244660440149556644838425013/543538738176163150182686346055226826\ 12961673102322181062106253421797*c_0101_4^3 + 6220469938866742332764357904697932915250762213677272738265870561105\ 386920/543538738176163150182686346055226826129616731023221810621062\ 53421797*c_0101_4^2 + 484135573407530466325808679292187739134606195\ 359188054524580108694437929/543538738176163150182686346055226826129\ 61673102322181062106253421797*c_0101_4 - 1938851608744574399920711557881534994311900659630917792826759381952\ 53307/5435387381761631501826863460552268261296167310232218106210625\ 3421797, c_0011_0 - 1, c_0011_1 - 958636616711794727023763359497334421601746372536614420757425\ 1946944/76554751855797626786293851557074200863326300144115747974797\ 5400307*c_0101_4^34 + 320942892593371246608445964590297407802382411\ 981094686341795503924025/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^33 + 7049838244411443738543178804286080533087299254511460710929946105361\ 2/76554751855797626786293851557074200863326300144115747974797540030\ 7*c_0101_4^32 - 458486441067260002831764022311820353548052661371551\ 3914080540484530311/76554751855797626786293851557074200863326300144\ 1157479747975400307*c_0101_4^31 + 335536809777723621004718705341426\ 370984199583430051206864440477183915/765547518557976267862938515570\ 742008633263001441157479747975400307*c_0101_4^30 + 2863142863473495805719239713996775250059818155954684023513986091326\ 1736/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^29 - 598470777508355161269734516786287134353039465551\ 717051570566945563963/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^28 - 8847496573224570961533917216625652377694144186209057891954461449476\ 6201/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^27 - 756668956680715861638252055013565242938491401496\ 3575120355659275544837/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^26 + 1033603022999840039711822412120389478194293350587544110781871256898\ 00565/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^25 - 29462359983511267460354968676275521711370267423\ 836948080057520609659654/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^24 + 1099456078752556038813311502632613592451909619079348851456070213781\ 73955/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^23 + 40052388330022844480941865058107769047581562736\ 8806971302687392203877898/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^22 - 4093901633512652440236914640115197395067483297174368952192208588242\ 66521/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^21 - 13637395506077534928280774995688018126821557002\ 04720702928932919326628513/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^20 + 1648679483914768009857182533626532421054020843392896230645072319736\ 66908/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^19 + 23312446426033588329689166403557410980361865253\ 27069974991384202510825668/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^18 + 7926970270286651373169632243074449998772110877982109541864864732798\ 34849/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^17 - 22427283848537114906017538420542852019503967682\ 93073761292117769881320479/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^16 - 1625905435916532555040320702098485695440879289637180019656834516290\ 560927/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^15 + 1195932655095888254096336754665651957171014458\ 912589255394264480741938399/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^14 + 1566375828709086522281524595736396916272988265773564484116120449833\ 684802/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^13 - 2654788630071608685333881398294877670519023377\ 92244045350589203209653875/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^12 - 8886575432003545813617287776656584550027115787389128308888929902201\ 87244/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^11 - 75973861462763482911273784935736854412512723181\ 897787996803036489966547/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^10 + 3152784077645237780906424023622258128742541025665358364880241317739\ 16332/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^9 + 771526690900289320921213257580340114581824279066\ 35241671069970841368961/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^8 - 7164449990473609494934879705789958978569703625050603866841513829410\ 9074/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^7 - 2620941934190267999578291487660921023162670764118\ 5782032144189641261311/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^6 + 1027228727461447100713688978022352317151430846946120357897317876478\ 9899/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^5 + 4632712678115318910494392613605893221284215425036\ 712586956252694145678/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^4 - 8350256581402930665104453718397043898089897869984755236726554331368\ 20/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^3 - 401123054648830425908600125663283565943486463125203\ 739826957308143720/765547518557976267862938515570742008633263001441\ 157479747975400307*c_0101_4^2 + 28217194230186948714065169654925931\ 572463369777303540411673624116875/765547518557976267862938515570742\ 008633263001441157479747975400307*c_0101_4 + 1249092074534409520286448092819317613852702428030421279213568158818\ 7/76554751855797626786293851557074200863326300144115747974797540030\ 7, c_0011_3 - 173667833807105206073813481219197229828545800587533425672775\ 8703546/76554751855797626786293851557074200863326300144115747974797\ 5400307*c_0101_4^34 + 561082075653086065156707083188912443894644560\ 35706435343840921460000/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^33 + 8091850061656729321013923767322942014099785724804488204838453846277\ 0/76554751855797626786293851557074200863326300144115747974797540030\ 7*c_0101_4^32 - 817388666229468711417784781104283581706677225248989\ 618747742230146282/765547518557976267862938515570742008633263001441\ 157479747975400307*c_0101_4^31 - 9023742306364612152529318188904808\ 21351049147802981068401573371465039/7655475185579762678629385155707\ 42008633263001441157479747975400307*c_0101_4^30 + 5283469700001417176801877384330469044374167699490228128946492492081\ 069/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^29 + 5823522110551767125813230621235782031378684823730\ 039649324525253890733/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^28 - 1630806723319229912298984505016183796930483769160078240094214935013\ 4208/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^27 - 192656334184095383704028445930198866136006845711\ 37571673730260218652837/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^26 + 1770806691802584505064218556874997042143957836635393606108472753348\ 9130/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^25 + 140171675348722966608710121777128204011566917632\ 07899425610876840698307/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^24 + 1237902345204247154117114791317453779894831954485757067725763203423\ 4878/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^23 + 986823615277277830770451127785304420352132434501\ 90725987965769806873405/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^22 + 9814530551601726281840180465515061449257373643911209586077815238531\ 823/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^21 - 3319990869067644997396369365554885568521552380395\ 33200204066943320793866/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^20 - 2440543805071034785770968862127297283363947308564746355754533728513\ 67603/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^19 + 45445984590969882975231178782166710969758222313\ 8709019657482985903534854/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^18 + 5945424388499867206118861995446612762854760017080198675547128697481\ 55455/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^17 - 25489428304190556241657561680085395433487238452\ 8450530925044747161911132/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^16 - 7090999508907232537680541979282068268002658431085411958016000523192\ 87633/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^15 - 79852149700496795386903666863652292661919895720\ 373348260764061556567216/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^14 + 4935388655119597043324667230600546964238902800244919780101870691444\ 14647/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^13 + 22340337931771197537805803166662783534365694335\ 6375161998297574358921778/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^12 - 2070391467551160331581709618373754748129829692131786491335097740488\ 33176/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^11 - 15798151481776446977282239734732991423857401063\ 5999451296185556689856024/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^10 + 4809301422030032731140492468759241759900015865341279171310777596930\ 0321/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^9 + 6129382635548771020804390935070084731708315698657\ 9499245794125681045949/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^8 - 3459234949269167737385857522009862159649814933752939291375259089838\ 305/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^7 - 14750931641015866564960486680838695733349070956883\ 582497596941389098741/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^6 - 9951787315010095298345442349368381352052822355336187292332350056580\ 48/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^5 + 220421033730005729813129522909610415871846652804597\ 5511179945616593707/76554751855797626786293851557074200863326300144\ 1157479747975400307*c_0101_4^4 + 2374804850010942226175629912098382\ 44493936474194273156441470934614325/7655475185579762678629385155707\ 42008633263001441157479747975400307*c_0101_4^3 - 1785812728739978380380786073142003351131876571172489611600124465875\ 79/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^2 - 136737139239586209624246686092875392686220772442024\ 08118557508337580/7655475185579762678629385155707420086332630014411\ 57479747975400307*c_0101_4 + 54515940089182414733437244300934230183\ 88947697896009551911455404522/7655475185579762678629385155707420086\ 33263001441157479747975400307, c_0011_6 - 306810608669358031497184967003465355477951721851452420753205\ 62638521/7655475185579762678629385155707420086332630014411574797479\ 75400307*c_0101_4^34 + 10225977486015732266869535501038514618650203\ 61916630866292431801004376/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^33 + 3796308191104718125566855702557650932628840744970607328744662819359\ 62/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^32 - 14667825742272461751305569531551094789328234069433\ 147675140251985831725/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^31 - 1073676023973703013437339288121090919850499963615471178770024196739\ 253/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^30 + 9218190146196157975488693341372831983682220120863\ 1156960727737621519207/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^29 + 1107351390841794242438159338293029167872751691798476697946330303270\ 0664/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^28 - 285764063981609366963090181473444592858436450203\ 634185495939651601305584/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^27 - 6247861922395178743680428628135390241251723992217303884124301370573\ 3683/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^26 + 334484410828344651708123982357713204722020844490\ 634087600586233555208561/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^25 - 5565874574773418023115849929347372767294689046760024307282656658911\ 4760/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^24 + 328061588684776712684690742114660048401963297308\ 197210075380638973751359/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^23 + 1347183181913376666237615503875340751583978677676639205507423339509\ 854322/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^22 - 1133315226479031043402458565350093802182899936\ 805084251274956526008640334/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^21 - 4572940717305103653905126405389705284927956113090594341859381765187\ 852846/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^20 - 3172423909588104813524221258585657972864182401\ 1217960424995061311081451/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^19 + 7602254054992022227133606626028631425693800940682461560756123939461\ 015899/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^18 + 3460287491417989877910290450755017087001618624\ 158544508895128699625992998/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^17 - 6989684015176319087617951690593351462798531427449506888439466079529\ 941944/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^16 - 6074119090727530564609030702639091686806081450\ 032235818681623590009595892/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^15 + 3348645234847131283938118338732436716293124900539084344300734445264\ 014421/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^14 + 5501101157296902060472774950967801258710352772\ 683460268228966004492078489/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^13 - 3800680484998550961065882880580964815644631266384602405206876033182\ 50078/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^12 - 30083602318561073212578617387167174477324256234\ 17105296712960556334562884/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^11 - 5010635890768305555687558464506424806406546294375006047209451862387\ 14450/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^10 + 10334428946939125884608003012245129760376120183\ 86258388741404014171236083/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^9 + 3361672064023461448444967576594118196072413907918651832943967772120\ 94252/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^8 - 225402587618103743454755303599950698519928262610\ 270589040320665104876598/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^7 - 1047143790507595724796450314334733176574348570477599626199135225426\ 01156/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^6 + 305974421328018819298691071800550946207052979131\ 64268602260663787886715/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^5 + 1805883184347595461472534297533340100705330048099624216907508011778\ 3511/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^4 - 2339289683693225836299593523827066613466174538021\ 707142832532983319853/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^3 - 1574958617573343334693093897866326207616492903689110731931789233514\ 987/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^2 + 75456277388808149274874164228497158742309867449679\ 283237735389853492/765547518557976267862938515570742008633263001441\ 157479747975400307*c_0101_4 + 4946646424879086819889483598653383491\ 8843501149075620549033558164215/76554751855797626786293851557074200\ 8633263001441157479747975400307, c_0101_0 - 925147224910748006662371429045463176417404909430061725723065\ 7332712/76554751855797626786293851557074200863326300144115747974797\ 5400307*c_0101_4^34 + 310914118526143636197673576278181451590046343\ 558513189369372259298650/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^33 + 2709818598526637756140202851587528518066378787466804760667236971382\ 2/76554751855797626786293851557074200863326300144115747974797540030\ 7*c_0101_4^32 - 438905431484582734797933607685419486534391993789915\ 1619263115148187499/76554751855797626786293851557074200863326300144\ 1157479747975400307*c_0101_4^31 + 900624732666481447625136390484215\ 362953395781760702823335147006407655/765547518557976267862938515570\ 742008633263001441157479747975400307*c_0101_4^30 + 2696794925748585311419765961932896477264323280814682352499515170919\ 3157/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^29 - 407857331162969268354421006775886687488670018082\ 3014354514678460171445/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^28 - 8151545123958875039525438721068123246373270439850245514890350142555\ 1281/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^27 + 360597856778504793387863178598092490721183315121\ 3069140605063484173982/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^26 + 8946140873458248585251081116435692630462890701805770619399571936576\ 2615/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^25 - 422100919778792017105464909547560971576132572892\ 08494957495822659943901/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^24 + 1210680590571069579500606780477789605495867574357191653240517507529\ 75232/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^23 + 36780890135229621968116610192764120866138079338\ 5562942305792823182342140/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^22 - 4268608253405818986990558842695383749752563019465304157537914898511\ 92414/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^21 - 12099408912430255110341003759894442561413416932\ 19831181140589698960489928/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^20 + 2772029641120951901146615991532017170013608778210317652777207603024\ 44936/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^19 + 20562441416002231733880766250917955505880123056\ 06154355828277623912660026/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^18 + 4872424204240958686137464989538225837438099072165416456798857585579\ 64369/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^17 - 19900277487517165235691842506469571603150547841\ 51197949451450036677977972/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^16 - 1190398182231438752020928455862833625572178663429261503064736490092\ 550632/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^15 + 1117154011059354156506223710103045210208648568\ 485649557047047053538815419/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^14 + 1185925539383317211749996817052084170220730001691595504791857471096\ 003869/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^13 - 3358763538147614536459444900750198992056895236\ 42031325511871756453108974/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^12 - 6712490028406762946672405982123660385138351623335620977947247279475\ 86554/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^11 + 11963218219284732204313314146774832134631662725\ 926428010285359510965425/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^10 + 2356043929120505494322545749179390247364443095521751633222128977676\ 55787/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^9 + 321774276968946459880004167860918702665865433755\ 93491621729078618349378/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^8 - 5376925882851472577654475752455459406317389033048494308269178621270\ 0674/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^7 - 1246824788012886724392517404241000970247272648414\ 9165879595766144901127/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^6 + 7844219568393688759504748258433475861364011578136616482667183609452\ 594/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^5 + 20520722826653884248250666563375865255809289454842\ 30774105609548031265/7655475185579762678629385155707420086332630014\ 41157479747975400307*c_0101_4^4 - 614169094950664598213850489841392\ 917608628678698213559334930661104666/765547518557976267862938515570\ 742008633263001441157479747975400307*c_0101_4^3 - 1495738827798440045779264840207239326418337231595053709646429634706\ 07/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^2 + 150985379579906396780279704069115116845566540350384\ 20988175406882651/7655475185579762678629385155707420086332630014411\ 57479747975400307*c_0101_4 + 41819685607337879755558498232064900528\ 73034048184075427872093316931/7655475185579762678629385155707420086\ 33263001441157479747975400307, c_0101_1 + 301446870413620276737129713029040909760329561036735084760415\ 80652282/7655475185579762678629385155707420086332630014411574797479\ 75400307*c_0101_4^34 - 10073843203732010906623165018495278565432182\ 08329607839969467412245197/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^33 - 2829871606355172136933331561598357566832974329074093384995203549045\ 72/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^32 + 14402642781723006939424751070838057086452650650097\ 379084316925033248049/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^31 - 1981261231294716983886955477270207444907276869591747629526051193934\ 33/7655475185579762678629385155707420086332630014411574797479754003\ 07*c_0101_4^30 - 90083244486661489253411762104867055548805371205540\ 094702279527798413882/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^29 - 3328041946490131215282129854441108649492526102955473127666533886045\ 735/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^28 + 2782493064931141443203255012573482021772608511804\ 31227131292642587723513/7655475185579762678629385155707420086332630\ 01441157479747975400307*c_0101_4^27 + 3910733488100663848440020382755661679256047369311222547834373799789\ 1806/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^26 - 323647017989470437268591901241481960863352223224\ 350475230793699471543679/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^25 + 7748921540563362978491355911446330605428019076115011536395633845889\ 8713/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^24 - 338620034823620630492809138430768810898748842402\ 919145555143929338106701/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^23 - 1284181598213557100469454058311765135204970310015170934059304654051\ 608104/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^22 + 1211076241014353846371719691988029567970817468\ 154348371664349705610395089/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^21 + 4356769103519411325170999295175405656948439748353972283221793365945\ 118363/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^20 - 2821090321641066201077009873813431624879972283\ 89347636641276069015822605/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^19 - 7342950657818824532947872595260481101547615826199668794667172472516\ 271552/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^18 - 2861626913876008865456547402988108504100752043\ 185021933727491833335856676/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^17 + 6912452595458122601835570076731714570591702006722471269218017925675\ 256117/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^16 + 5432451767969233795254352415847265227320162084\ 740187870225759125081305958/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^15 - 3518721355065176594683473195451154905414169754592483606556622760384\ 349456/765547518557976267862938515570742008633263001441157479747975\ 400307*c_0101_4^14 - 5077586729962699339653733244183251538235386827\ 377075296008339805959053154/765547518557976267862938515570742008633\ 263001441157479747975400307*c_0101_4^13 + 6273828276639866175059815086644140980381597940352761963726239880333\ 10862/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^12 + 28271901960148613861010956315209368191286656153\ 94838317322757177198887586/7655475185579762678629385155707420086332\ 63001441157479747975400307*c_0101_4^11 + 3441442929877354072741309877267253024545630895782411490587985716953\ 45368/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^10 - 98682029050334518716471204745312561255444452051\ 4223660907749979187683635/76554751855797626786293851557074200863326\ 3001441157479747975400307*c_0101_4^9 - 2767134555398529980641169199545831768107650952328114006160144188426\ 46734/7655475185579762678629385155707420086332630014411574797479754\ 00307*c_0101_4^8 + 219864623264810636295294656812464294849905447456\ 801954551133218658133008/765547518557976267862938515570742008633263\ 001441157479747975400307*c_0101_4^7 + 8992555831406145694814846655341936588484376902515798756941893540418\ 8150/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^6 - 3069356080484448246439055700148360741574783720871\ 3629387847942205739527/76554751855797626786293851557074200863326300\ 1441157479747975400307*c_0101_4^5 - 1570104659327303905062178214783026264220453113192347623103880558385\ 9502/76554751855797626786293851557074200863326300144115747974797540\ 0307*c_0101_4^4 + 2409984275713636401203539269706030597425482690687\ 586255604444666651807/765547518557976267862938515570742008633263001\ 441157479747975400307*c_0101_4^3 + 1368057299217281607456291910730997873817579186969021529670373072599\ 635/765547518557976267862938515570742008633263001441157479747975400\ 307*c_0101_4^2 - 77683658478977816912960005641459766491306870926379\ 160960707182281090/765547518557976267862938515570742008633263001441\ 157479747975400307*c_0101_4 - 4240643409372192208472003911296896967\ 7688933464008297387708268826401/76554751855797626786293851557074200\ 8633263001441157479747975400307, c_0101_4^35 - 34*c_0101_4^34 + 10*c_0101_4^33 + 485*c_0101_4^32 - 285*c_0101_4^31 - 3009*c_0101_4^30 + 1642*c_0101_4^29 + 9442*c_0101_4^28 - 4149*c_0101_4^27 - 11930*c_0101_4^26 + 8994*c_0101_4^25 - 12258*c_0101_4^24 - 36456*c_0101_4^23 + 65740*c_0101_4^22 + 122918*c_0101_4^21 - 96519*c_0101_4^20 - 243962*c_0101_4^19 + 50566*c_0101_4^18 + 295251*c_0101_4^17 + 45774*c_0101_4^16 - 233212*c_0101_4^15 - 103592*c_0101_4^14 + 126830*c_0101_4^13 + 86257*c_0101_4^12 - 46852*c_0101_4^11 - 42424*c_0101_4^10 + 10931*c_0101_4^9 + 13851*c_0101_4^8 - 1418*c_0101_4^7 - 3074*c_0101_4^6 + 77*c_0101_4^5 + 437*c_0101_4^4 - 34*c_0101_4^2 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB