Magma V2.19-8 Tue Aug 20 2013 16:17:38 on localhost [Seed = 3499183158] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1879 geometric_solution 5.50547849 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 1 0132 1230 3012 3201 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 -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.226793424502 0.155981266950 0 0 2 2 0132 2310 2310 0132 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 -1 1 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 2.191198162836 1.956748023304 3 1 1 4 0132 3201 0132 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.423036999059 0.493483402648 2 5 4 6 0132 0132 1302 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 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.517400619402 0.550183651029 3 6 2 5 2031 1023 0132 0132 0 0 0 0 0 0 -1 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 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517400619402 0.550183651029 5 3 4 5 3012 0132 0132 1230 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 0 0 0 0 0 0 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.092924833272 0.964548375618 4 6 3 6 1023 2310 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 0 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 0.692187708096 0.569888068062 ==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_4']), 'c_1100_5' : d['c_0011_2'], 'c_1100_4' : d['c_0011_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_2'], 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : d['c_0011_2'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : negation(d['c_0011_4']), '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_2'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_2']), 'c_0011_2' : d['c_0011_2'], 'c_1001_5' : d['c_0110_6'], 'c_1001_4' : d['c_0101_0'], 'c_1001_6' : d['c_0110_6'], 'c_1001_1' : negation(d['c_0101_0']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : negation(d['c_0101_1']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_4']), 'c_0110_5' : d['c_0011_2'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0110_6'], 'c_1010_6' : negation(d['c_0110_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0110_6'], 'c_1010_3' : d['c_0110_6'], 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : 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_2, c_0011_4, c_0101_0, c_0101_1, c_0101_5, c_0110_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 1568307114463190124770055566209698557802160053830287956277085363842\ 144158873666838359/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^34 + 1134821364117600577010743493269175917734266289444189537123578272931\ 5777590128394021335/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^33 - 2028413484936811837403837679186606771851750163246542574505093664182\ 802283434412827867/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^32 - 2341440615817406763145563265772042159669073474742346494205729187064\ 87513291228565209436/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^31 - 4110960030779969334016828108618803414464660711083366926851193616482\ 88081129518353907720/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^30 + 2150563578081711403935570734279729668266327355381654028957280803970\ 557859985328529004092/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^29 + 5876073960672338641417236397779953580865240861915698620122268508248\ 653212153087904887594/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^28 - 1216819381778002135933580871634442792484302422327461316984587183588\ 1579113760920668663311/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^27 - 4290883950644352453839317322820053680228660950471445701466228697714\ 6904085711697276596644/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^26 + 4706251001876206354467554673510561408610620577979327166299618472097\ 0987897479424261034731/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^25 + 2001313530979327409213824156729079821475093539951558002872860428739\ 33808891901926073758469/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^24 - 1261186810843290418862107195117084926158240579913255358631258696911\ 67033312803035782553229/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^23 - 6318899727151763800314859169277345027349785874753873522196211292213\ 74574692149265921186221/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^22 + 2278972893713124366677230832049518028849997772645279934885806303361\ 83755933411302533638574/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^21 + 1385174070673879894514817798084793796762038511780742410857415060917\ 677314185497064097488118/285046197091933500345451159632009061296714\ 2852582112545320508847664846011815604023*c_0110_6^20 - 2492776294789568424277408754694684947320740650843545482870572034239\ 31914166062171616579712/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^19 - 2135714237374275660720334395129180588073275861488152982272105119252\ 806418361396881650378072/285046197091933500345451159632009061296714\ 2852582112545320508847664846011815604023*c_0110_6^18 + 1439325877326478923608050190214300631422692875012363268047448366228\ 65773064775988836114835/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^17 + 2419618125660004930856324037880653721635827654749310788996585097820\ 895647451189878426147109/285046197091933500345451159632009061296714\ 2852582112545320508847664846011815604023*c_0110_6^16 + 3910290346653385258660266349608508558916644712588213136847715025576\ 3175526554311758273168/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^15 - 2054133259814151685343785351050153454502231695371150868512843886175\ 436513417971260149384382/285046197091933500345451159632009061296714\ 2852582112545320508847664846011815604023*c_0110_6^14 - 1950439789853952321844309650157893930734689332498467597500524483268\ 86382337212917953147401/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^13 + 1291389614209161993693079471644404850715853457509275284898361165124\ 891815309410075671991281/285046197091933500345451159632009061296714\ 2852582112545320508847664846011815604023*c_0110_6^12 + 2305140220099228429520812982798812070719242182451633073666693402145\ 24648218819321986240775/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^11 - 5781705492561961346500164513688159152873279254593699549022927914204\ 32615188830901888107297/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^10 - 1589902961001953506352850511975637173158276767004970077085049720271\ 37796383189126013893652/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^9 + 1682205410882891762326406912857094777507136267743444858521006250504\ 75442515859497217847725/2850461970919335003454511596320090612967142\ 852582112545320508847664846011815604023*c_0110_6^8 + 6555300757183965016250491044468151322560121016620306802294515950359\ 6250021073593553389167/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^7 - 2595118267026596361274125248078485074366233800137213185216719139958\ 9544139002428137293282/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^6 - 1472446154475074936275279960823239403708675452335956579055797066566\ 3401969146280876992753/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^5 + 8217678852638430972392269855660293833800010612138712437511095139668\ 99169489587862209145/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^4 + 1464661587045765255699785134734068564601059543838200711452281301807\ 719166180569142163438/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^3 + 1991324432200864940553007964431527260065842374537734038187277756269\ 80741667454683883015/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^2 - 2931803376269281280296537393844720584673993931843249097541596696293\ 2785509887633083776/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6 - 7471864706913845847015956841755912867665246569155164522103683993658\ 915224403588132380/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023, c_0011_0 - 1, c_0011_2 + 418971575887004357191242529177020486980364761001196845624994\ 584254429863000698142/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^34 + 3840647829625358943407528293172795562386477060610903223081568412713\ 656155238842438/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^33 + 5133720647372192440132571657202260500906439175805869696576433594200\ 887136466620461/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^32 - 6472627785588864687444063561305620773826639798352105308309885803180\ 0045748818260726/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^31 - 2292187747335146838561638086004297983344873394019660130122737257465\ 32633406869666474/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^30 + 3888287473043075471865291495388570695228092352363286754319287908122\ 79574337074901063/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^29 + 2702103485176220313104931693064436040745783933535947616514084674729\ 997339782566734367/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^28 - 5047646021997752934281859889608239390654623185041895753518727183525\ 32417653125297881/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^27 - 1818982918509825130934666179165734979479374121170626400130004376188\ 2957178304174226110/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^26 - 7598848818539412611837155160084732942918472241926878709402655889651\ 524475927983416078/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^25 + 8138002100279547261447570005163096620294589915958471246161887855916\ 8124934042850561758/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^24 + 6000413698714076031887919123717437912470222428117436848662685164866\ 5162780615869222478/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^23 - 2517615971809679918231761430809127850592557257304817374598021223563\ 83546411228072277029/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^22 - 2314669088498115536884426961953447902278402283713038477002664435044\ 72135679645234184726/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^21 + 5460824495619478099583122281241123110530387196010115483205483432903\ 89014679432318599760/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^20 + 5623986423627987659727385948324051837601335035134594491301206547154\ 58491907093967718818/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^19 - 8310858045039711453580425104293352728570908868618738661812524063239\ 00841772151683711562/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^18 - 9077605973791392929694074895903395689862668452763987308413839409064\ 89971202896360654365/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^17 + 9312251529324634387013697714968746325407869671663247553616862156316\ 45715043451386895298/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^16 + 1053362156881584718538348991287905009548073123456857605837618214354\ 446853323076585095208/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^15 - 7749306234271255661101766802417102425419495433522232741519676230648\ 69646184681848515176/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^14 - 9109859561300448747528614259784597413681299480746994879525108111798\ 74406841686190408664/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^13 + 4618685780986271750395551590704177413474059431507211552682913459521\ 68655467442850781678/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^12 + 5841608071388290118960658963406695246505613918308183614229868214245\ 67204066056996176119/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^11 - 1811808186301789528718568209368533015056146975561478655420685197267\ 43516500237813785384/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^10 - 2690932197977059785924605008997578625479241796447041535475494049299\ 85831257519421518834/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^9 + 3527440641952271252553543205315645015174332452275716451628626878371\ 5056627300764515253/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^8 + 8204427616874163674357344009908451047519858807309668824009925766631\ 8791294618466998623/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^7 + 1629843574131691673304152711138775839942443143213409767872248277141\ 123765150821418617/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^6 - 1436611481097544900302558359083226460437414792939200891930408210145\ 3414252659958970284/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^5 - 2002156099774048179860355060008853471271863324839255324938547830262\ 045066656806081662/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^4 + 1111404204786522978665609344808812479455520910259637776493141534104\ 818744237575239365/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^3 + 2939658314299862239071364641694024958360992566183489115181127300353\ 04581112698071392/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^2 - 1619761550214873306315941073536336798418785270130162060288363052921\ 7853897940233742/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6 - 1091826819685635791562388231413371102535686130658584333053225995472\ 4808069502510595/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023, c_0011_4 - 150337799683169808420288977331084196619239020583916847993985\ 2443028405818723348117/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^34 - 1226859377186488749025674077421647998475834001895362840127832463813\ 1735389101698403/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^33 - 7967750084518249773815086868781378799270041229386253303766606799494\ 472045311161895/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^32 + 2269094808261728289751257719545263894054127881656427887505371087302\ 39935448629693987/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^31 + 5985239877716244083894078575022025880289463205311865819315538361090\ 86117389470139802/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^30 - 1718633714242182921209145523628549320418768535762293220068060790372\ 853531607659908071/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^29 - 7518360703911071929649314869329221145625197758527323280381307757152\ 996794133956430662/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^28 + 6761935711919390868589778127833760709637687005214122911673548331888\ 688738751785328722/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^27 + 5193285258877323622343720831097498142441575744831076215528742164829\ 5481920473931355247/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^26 - 9682721424655754478902744965453818170195691978619218420590218972662\ 559545036355969684/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^25 - 2345896419871804161636600999880757344439063593246900241729983058196\ 06881288444428243830/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^24 - 4162704418386238479859969842967854055798721973771889752138852499151\ 0218477470766499970/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^23 + 7248350157191909485174033965255279045917750952585930694726659647919\ 55677853459848234639/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^22 + 2822249161911813377873302636071235223711957120062520853197813820819\ 99444171152523460648/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^21 - 1558755811547523657984464713236214715425839686719478370000251948369\ 247237142532446945349/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^20 - 8220913692934322970147036255401495940882748026615280925036149093386\ 12928242510817621623/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^19 + 2343857619538136875035682081869784421333365884185535675660459280844\ 744532289851978036932/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^18 + 1426833587584190933358424648059113342729069649595363446969103429413\ 824371575616784961998/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^17 - 2587575000277496211889908933244139314114385242589061401422668585832\ 741484119336411359543/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^16 - 1725588229263260502753864871700431783526942500313628577016750942109\ 763073522507572476357/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^15 + 2121067464703015131493144356201122032037738870535410108242719826095\ 841053000321663191264/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^14 + 1541496883176670808337121618164484167718493335308529258735510315639\ 623975060408091647852/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^13 - 1252608596290135503622359708004920487600413639900547132147714633675\ 585826959228070494808/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^12 - 1015273122741985088907533329878244971043461046576328930038557320365\ 008138345461602910333/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^11 + 4964795789888194766405063456343536944740449527804179674457113685110\ 19980176923057687141/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^10 + 4776242551046633611373509910302385429887541534268004801800862693297\ 52155630791531232157/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^9 - 1070863422367819734693716532323626900598877632088739755483992135107\ 26588883948644745431/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^8 - 1462253219996284126864724796101544417783082082330024177319131070284\ 88577803420319089831/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^7 + 3444126596922797592587204276473959544232729326146415188184344229458\ 441727252724739397/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^6 + 2507039983446327962650268578494195496723471961100289868524199720544\ 8586839559873558266/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^5 + 3012003939640580071075012524550518666770454736817396307723455282490\ 422070899872598045/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^4 - 1885189992795488401655162914640108010914446017042890886052089836566\ 982682327503439440/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^3 - 4633416080612604218357953711969111896982270015943289534180531807008\ 88323721746730866/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^2 + 2899664638235116330568852778938718903502345255579651902109745302932\ 7913989853203343/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6 + 1503913743654748088262334086508175864475501227074738806258882580409\ 5315950331128920/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023, c_0101_0 + 807863347009681331662311057661804320156601424638728561915898\ 521942953434343605168/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^34 + 6738171823947829998432670537358678327105996507892825302841771205313\ 742342896166104/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^33 + 5790570357585616854363065797111657462365255609665980134279939722667\ 275240908947735/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^32 - 1187445698669181544141812650114730591427526948935736506196588832851\ 83940663834726746/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^31 - 3432110397481344141876965834153789665312698226879148285684089761044\ 96196807095269153/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^30 + 8185387541577084403691925477868215584956802665767144274817520304590\ 94098374345098399/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^29 + 4108890274652056289386888738479784504614370900166461407576648147609\ 064581817232971105/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^28 - 2509472790930529421110217206319616482068094794961466168336692689987\ 650075411420522611/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^27 - 2727650825120740754077319721252839822676060051764260505893962164360\ 3284578929725899405/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^26 - 1802112946134635386766391397187492599307603170553658262467059183984\ 301549737085297614/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^25 + 1180756046458770100748832739888575375363925410271198685926445262238\ 03998929796356384528/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^24 + 5134130484539172116345710154899698487893355678894808319793067672167\ 4289661928921010459/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^23 - 3457473714250006840038390421871100951345296226924955056115861965841\ 20079710083353488059/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^22 - 2330929247495621654759417075483276798557426171968763400833058762534\ 45847588429494161671/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^21 + 6914571861580139928425190159089592382958487269220155099151821148006\ 85885731498913552246/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^20 + 5966018201088882738134149563500427330194222420892377064577386862552\ 14036751112671862464/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^19 - 9368546237548246094573206812376318235905001972590997519085383943932\ 70601732457177248700/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^18 - 9587318042595979491544300193343287477944179077232172788103949918717\ 15339196676986608905/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^17 + 9113924796236154054228988453993841432621283844828578847054392737915\ 83257841575378248817/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^16 + 1090049674487365682640645985780844889631329212123252228679599874776\ 666616988324218427248/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^15 - 6260392583091728976905336256185015506828626344113136809840470627860\ 26345991682307168042/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^14 - 9109070780169385473612708130741664801968563189368771207809056648804\ 39609541228506078713/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^13 + 2672469322472970341026602618085844229646948959425282987387973312313\ 06417544283541860657/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^12 + 5477722723765988561938757269691348490963620904219670455657170698346\ 65462978367852456667/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^11 - 3717134451593475597862649385419436577377120607849313755810118743859\ 7118851128048431071/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^10 - 2241237161724106303611114912511594356709336154367827799197179767930\ 84859418451959684745/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^9 - 2934596052448082569643030440464265397919737156028191942205180248178\ 9164290689425832645/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^8 + 5241612698975701172046124017567405123282567589291132259876339841468\ 1122881638752256503/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^7 + 1596691075007002830838525666615289406850223815365546659794641142641\ 4835138508138742673/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^6 - 4651397071726174768895274031819781209810641493939031126049115302203\ 208975029534722976/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^5 - 2473151126020647512378825431174240246362348811119905486437165680388\ 016651999190587777/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^4 - 1138030785171345557963251553998452031065886421253189916158068484534\ 94459845884795820/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^3 + 7811480940341888412997112204978633470334621547129500789157342064834\ 6982801765380148/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^2 + 4216185292106920701366817429402324624902057430866896531066447863112\ 413957943435052/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6 - 8503567952908383422272306338236868105038050488877764009123518755126\ 08227307637825/2850461970919335003454511596320090612967142852582112\ 545320508847664846011815604023, c_0101_1 - 177552279371909410661717843608991795503460802919187578560156\ 7842928337929410762052/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^34 - 1350928085884600598316827468716532444044825620903895438457186912210\ 0050408386397160/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^33 - 3026192548069896402296573438483699514194497423838055903286246061831\ 219579416944185/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^32 + 2617233352648300838459410307551235024686354768041843958112421849646\ 36557530326165762/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^31 + 5622334878130290614534560580224340176947070651633496471197643210257\ 40358670954246447/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^30 - 2182379652679890448641300382892933280529322575851657631213124614176\ 532131317732614609/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^29 - 7369292558841614311378719881119037349594526563055664731125472690012\ 004682354519853714/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^28 + 1067888380053179687206278149540959862551737954019495954514982709879\ 6324846027629670119/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^27 + 5130521480108262372239691159766773809399427575927634195975243323162\ 1385694324480789240/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^26 - 3250176342943111174696070834662264018083373082367862084314601064088\ 6058793617734594075/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^25 - 2299660406496599937662589500053499305996563247746145853313569120199\ 09351092627757399438/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^24 + 5239370593535362506849394731026706054714259044643090025310653712175\ 8962269329972479995/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^23 + 6956531961287467883349138431794150167106166060244005814632136896144\ 59764792593074180385/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^22 + 6994357189776907386958912013166897513613029689839233663879144481956\ 122848827507767422/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^21 - 1445880098311268597869045446059645693352284836089352006998921104476\ 936612624271578900655/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^20 - 2471947391162239583452134105028264054196128500514173242773592816124\ 25507098006352413949/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^19 + 2073967266610035085713589329498039037076070390814933829868698235657\ 992352694101650717187/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^18 + 5531065545429141279707221551639887228492685551783167771706619512859\ 37268629995955726553/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^17 - 2166099859714090419587518535273822401693463039336943428907416173136\ 548881323889385023596/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^16 - 7386051541021775232193863927904251976906874260669763980306698096181\ 51737460812530483091/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^15 + 1659655745903280079192584684108448271664289139247661125218227836496\ 126761127350563057644/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^14 + 6963101200929417257100921461135326389538594470688381365169627327324\ 49367135477646521084/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^13 - 8963359760939673553384366067394043615151544544926846931684929345662\ 39271447669670619084/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^12 - 4647396928118739252135606694373086953862145110669301020107497916588\ 61223612451953530738/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^11 + 3106076101329983932059276045258035457837253871248449822484257425593\ 71427463465871069444/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^10 + 2105801550383867557192410803112532737573223985384729637344710836419\ 76585999333799879898/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^9 - 4930486920307702953325973850186214500990589075891712515284842184046\ 7042543680569444427/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^8 - 5425964185822988940121484812328171589079751494919382092243866015477\ 5843006758348909561/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^7 - 2731707057669955264038489060213361520170754762339619799392230346272\ 838696582466508361/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^6 + 5545284434691631644406800416127043429802551572464234268490775780291\ 018123439682747712/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^5 + 1408863398430237310481155398756288847997725361951774815687183745018\ 395056073062486258/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^4 + 1931265039136369774119178044668027516054716899706711036170855359911\ 5231130018382092/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^3 - 3556562945831442324132041995203144382118987645259718876148786271849\ 8897662539490603/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^2 - 4686800108947585366410218068768087788525973568913059653249854952179\ 826004252175447/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6 - 2797319111437343309348028406116964616490012536626291210647438510554\ 188332112064302/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023, c_0101_5 + 195393410684689578495011061494110655781535794771027586391578\ 4487348516013279849357/28504619709193350034545115963200906129671428\ 52582112545320508847664846011815604023*c_0110_6^34 + 1480564502164351467924628716640496470594799323773153022388522364729\ 8011079591274067/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6^33 + 1929051972268431853855585862281160934265994927327209828173535725750\ 418207926660373/285046197091933500345451159632009061296714285258211\ 2545320508847664846011815604023*c_0110_6^32 - 2949962733703599880763605362151429348279372367983785736033638726648\ 93234996688939786/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^31 - 6094922563814343612565379797704666989330920504508277640419286109132\ 75851111264834156/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^30 + 2558719650262235763316533488130828047259321365326050100588074313228\ 860764320537542532/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^29 + 8294035206404006353321422774963692329388718837011451315600799752437\ 939050716541263377/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^28 - 1322102809055491621559598144919864921251315113021286256983230077109\ 0945789215919493856/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^27 - 5964309527328032665222180747068909760193979482581832965536338102248\ 5673919096944648778/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^26 + 4406861307151837684256770403315424440233709063250415019085134379252\ 9570177192628181484/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^25 + 2771312714805811354528562772631414916042153828632140656631316953393\ 23928331117070175507/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^24 - 8915223605523689721599179854204899602804989357399864234465617248325\ 4558894611006100947/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^23 - 8778167226655552171239560068338351786995479503491412492932057695237\ 28494945490205004788/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^22 + 7300126569376001268238466966332857620894270248389330759327171132430\ 9597423411218440605/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^21 + 1939079602159775607161758996182780514231968193797630730197014297775\ 567291173378143631945/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^20 + 1377566579660268210025828693175239642862862307028246874929308750836\ 97236125324423043855/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^19 - 3018768019237558834655602599089191569511038585334314146721662136174\ 674609465865745460656/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^18 - 4849471343535700757693127912198070827745170589539267728286713126113\ 59841238017647410846/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^17 + 3457790480127064747883974621969020558671072529397987647239867090075\ 727390111373592482994/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^16 + 7688055234226705660158657515871353344495524939160013839659449693018\ 10525382604739159561/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^15 - 2966627830831211124867262752513612769578001972749423283578589364272\ 341885304047000714488/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^14 - 8269970877877911123059549602162316954595507037927290448307708346281\ 84042514933228328606/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^13 + 1879502744147560071110615327637029109771876098094013096268162743806\ 151772384007012390337/285046197091933500345451159632009061296714285\ 2582112545320508847664846011815604023*c_0110_6^12 + 6397225973592674248410316993238597143656397909257422386270179120627\ 03288632393133792792/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^11 - 8434528592275119426624014339790067682811636703009502069126006490578\ 05192567971753479208/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^10 - 3522038986392121780234322916844262246968557874712573837303828867149\ 46185088339957107128/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^9 + 2430917408671184738640770880863460128227368991239804324064484269984\ 70759753687020915216/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^8 + 1274875597837090789063374754512488064007875590392136681287844151099\ 35640553692780674541/2850461970919335003454511596320090612967142852\ 582112545320508847664846011815604023*c_0110_6^7 - 3620809343651855482103328152916681426845331518321808675968532363368\ 5539475881367148391/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^6 - 2655540092216226129153511261952825817456867324033425983880369490705\ 1770223703526499847/28504619709193350034545115963200906129671428525\ 82112545320508847664846011815604023*c_0110_6^5 + 6498880085357811433928471298132311048171553219646999479996121837491\ 44794010928810552/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^4 + 2557203563386455580932918428538543124303114389936980189585849651386\ 353969825922477042/285046197091933500345451159632009061296714285258\ 2112545320508847664846011815604023*c_0110_6^3 + 3890169663786282804314827744022060569324449428471337152179031117221\ 72311094127852424/2850461970919335003454511596320090612967142852582\ 112545320508847664846011815604023*c_0110_6^2 - 5850965014401423839793693441245723026313573114161633584709273811785\ 7846368358416842/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023*c_0110_6 - 1505381102279741619983870305420894092260299967438511989073149213487\ 7340967045886449/28504619709193350034545115963200906129671428525821\ 12545320508847664846011815604023, c_0110_6^35 + 7*c_0110_6^34 - 3*c_0110_6^33 - 149*c_0110_6^32 - 227*c_0110_6^31 + 1433*c_0110_6^30 + 3425*c_0110_6^29 - 8638*c_0110_6^28 - 25544*c_0110_6^27 + 36406*c_0110_6^26 + 120603*c_0110_6^25 - 110133*c_0110_6^24 - 384182*c_0110_6^23 + 238634*c_0110_6^22 + 849460*c_0110_6^21 - 362068*c_0110_6^20 - 1324864*c_0110_6^19 + 402077*c_0110_6^18 + 1520959*c_0110_6^17 - 323081*c_0110_6^16 - 1314194*c_0110_6^15 + 167649*c_0110_6^14 + 850289*c_0110_6^13 - 33913*c_0110_6^12 - 400632*c_0110_6^11 - 21981*c_0110_6^10 + 129159*c_0110_6^9 + 19404*c_0110_6^8 - 25394*c_0110_6^7 - 6130*c_0110_6^6 + 2451*c_0110_6^5 + 865*c_0110_6^4 - 59*c_0110_6^3 - 47*c_0110_6^2 - c_0110_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB