Magma V2.19-8 Tue Aug 20 2013 16:17:55 on localhost [Seed = 711702250] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2144 geometric_solution 5.62677346 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 1 0 -1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.334306413023 0.211049530145 2 0 3 0 0132 2310 0132 0132 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 -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 0.526853684649 1.139212202381 1 4 5 3 0132 0132 0132 1230 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 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.887806914039 0.945384090786 2 5 4 1 3012 1023 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 -1 0 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 0.887806914039 0.945384090786 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603024739729 0.768735104376 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.992534828427 0.510751305074 6 5 5 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.574904769257 0.356507134896 ==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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(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_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_3']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0011_3'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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' : d['c_0101_6'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_5'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_0101_0, c_0101_3, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 5640756721129962659517115151870571321268673729697868/45245064667813\ 014077779257172896380620147156096781*c_0101_6^31 + 15219137395783780175597488724582862966327106670258130/4524506466781\ 3014077779257172896380620147156096781*c_0101_6^30 + 12099121981020464126383917291728988541018209149476952/4524506466781\ 3014077779257172896380620147156096781*c_0101_6^29 + 64068952326592667943037504670361584889843185081629487/4524506466781\ 3014077779257172896380620147156096781*c_0101_6^28 + 307454675554335902469130318646649446305118409529872224/452450646678\ 13014077779257172896380620147156096781*c_0101_6^27 - 676794962296618259827375973147143831329193500316664288/452450646678\ 13014077779257172896380620147156096781*c_0101_6^26 - 144447522669132612255118114189632591639075719531841/265678594643646\ 58883017766983497581104020643627*c_0101_6^25 - 885193473826136549694956504411770269084691338461830629/452450646678\ 13014077779257172896380620147156096781*c_0101_6^24 - 445218552349424724148408407664024112939626102546331691/452450646678\ 13014077779257172896380620147156096781*c_0101_6^23 + 14429114512918750095795516038212172719877108536704046701/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^22 - 8909938624547819246684634471036615339366879945406029795/45245064667\ 813014077779257172896380620147156096781*c_0101_6^21 - 51407455964738680252274671030701533946110495100222219183/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^20 + 16507671143286124259425825759044381380729479152131054050/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^19 + 9523380219088101241043817677250474963193983651001459719/34803895898\ 31770313675327474838183124626704315137*c_0101_6^18 + 23026393168448670904778306721665904340474220115035290989/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^17 - 208772343184061539160583879610148772014499656725549314676/452450646\ 67813014077779257172896380620147156096781*c_0101_6^16 - 69984154837186184559630347978413788918656104917640835034/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^15 + 270280742817516389072235423302933098298756507413464370298/452450646\ 67813014077779257172896380620147156096781*c_0101_6^14 + 34735011556995606670717504870781599384863210640245207154/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^13 - 316030285376426913120170415076638459141039803073847009028/452450646\ 67813014077779257172896380620147156096781*c_0101_6^12 + 1077643296404986493157308614670809943982848366966985222/45245064667\ 813014077779257172896380620147156096781*c_0101_6^11 + 311160515763482021888091781337546329906434606583663931505/452450646\ 67813014077779257172896380620147156096781*c_0101_6^10 + 42855909983932838349077191547075246420595962218047998087/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^9 - 205443331310809097567882852455866703398367068389686403031/452450646\ 67813014077779257172896380620147156096781*c_0101_6^8 - 64243313723578936852945507900065985865429169299086821378/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^7 + 76234301692245589323440006719460321561529899714751817936/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^6 + 29752145473300051602262294786454069613277173341817976943/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^5 - 14116300907982703366819347746252216708387976673953576592/4524506466\ 7813014077779257172896380620147156096781*c_0101_6^4 - 4651334037308633822483803516455276221853293960628860981/45245064667\ 813014077779257172896380620147156096781*c_0101_6^3 + 1433253774720195743159454253069057098897564289322496958/45245064667\ 813014077779257172896380620147156096781*c_0101_6^2 + 260017641885525271827149583890982449786505197382365291/452450646678\ 13014077779257172896380620147156096781*c_0101_6 - 65799219185980022728257190198497977285811391049959362/4524506466781\ 3014077779257172896380620147156096781, c_0011_0 - 1, c_0011_1 - 2936735626034984434768002455998547743388058879120/3480389589\ 831770313675327474838183124626704315137*c_0101_6^31 - 3573237031290879766920145108918133611213502536916/34803895898317703\ 13675327474838183124626704315137*c_0101_6^30 - 8406221343188144697999649335539103387844653238911/34803895898317703\ 13675327474838183124626704315137*c_0101_6^29 - 8860084388034170247728215667530955118888115525503/34803895898317703\ 13675327474838183124626704315137*c_0101_6^28 + 108672537433951289004606422218058615947967807692208/348038958983177\ 0313675327474838183124626704315137*c_0101_6^27 + 33114952438106452404118399334876335994546613255138/3480389589831770\ 313675327474838183124626704315137*c_0101_6^26 - 207999727355913341353658333063870524303345666525/265678594643646588\ 83017766983497581104020643627*c_0101_6^25 - 302577385202736242781027109019344539490475962663915/348038958983177\ 0313675327474838183124626704315137*c_0101_6^24 - 1232461377919203846482126295568295622798668396735735/34803895898317\ 70313675327474838183124626704315137*c_0101_6^23 + 2819128794243055945092704789648083732997895413424647/34803895898317\ 70313675327474838183124626704315137*c_0101_6^22 + 5462143681608692099741366225359558634439973282196532/34803895898317\ 70313675327474838183124626704315137*c_0101_6^21 - 8426016360893933790415640288684471507637327265421494/34803895898317\ 70313675327474838183124626704315137*c_0101_6^20 - 17358441194142231338609358872160972350438429904769403/3480389589831\ 770313675327474838183124626704315137*c_0101_6^19 + 10461894785012109401794049562895504002770531145311585/3480389589831\ 770313675327474838183124626704315137*c_0101_6^18 + 37039630872021371044110977639800473215492461823022350/3480389589831\ 770313675327474838183124626704315137*c_0101_6^17 - 5825984395054258452959562026790370134624440013816850/34803895898317\ 70313675327474838183124626704315137*c_0101_6^16 - 52373170799392639703756412779699531632890201769089261/3480389589831\ 770313675327474838183124626704315137*c_0101_6^15 + 8129930414504489576478882123594468567587852087219052/34803895898317\ 70313675327474838183124626704315137*c_0101_6^14 + 59083127670766028245201710069463578632105321279067800/3480389589831\ 770313675327474838183124626704315137*c_0101_6^13 - 17666171488921414342543012437731954749379348169185031/3480389589831\ 770313675327474838183124626704315137*c_0101_6^12 - 63304278493688781612854478686039530040087790342905287/3480389589831\ 770313675327474838183124626704315137*c_0101_6^11 + 12329091539664101512538825059098035908421717367958594/3480389589831\ 770313675327474838183124626704315137*c_0101_6^10 + 55202276069562672932459653441498450268906853927564898/3480389589831\ 770313675327474838183124626704315137*c_0101_6^9 + 3963838784698283893175321342588732932086481704151708/34803895898317\ 70313675327474838183124626704315137*c_0101_6^8 - 30044583424723573566465540997910769116054702395187677/3480389589831\ 770313675327474838183124626704315137*c_0101_6^7 - 8600452403804162464397566629638007881873241086358963/34803895898317\ 70313675327474838183124626704315137*c_0101_6^6 + 8268862987229686613818471293086515241291233632213666/34803895898317\ 70313675327474838183124626704315137*c_0101_6^5 + 3522950946263220243284739453654352258321872485051912/34803895898317\ 70313675327474838183124626704315137*c_0101_6^4 - 836831192453434549021923849872368439709705062527412/348038958983177\ 0313675327474838183124626704315137*c_0101_6^3 - 455700796450486211050246598497405582648728823496628/348038958983177\ 0313675327474838183124626704315137*c_0101_6^2 + 26040690510549514990514943611430418340200029371277/3480389589831770\ 313675327474838183124626704315137*c_0101_6 + 20631088290741051984466255457920248440963155159146/3480389589831770\ 313675327474838183124626704315137, c_0011_3 + 13639431920296415723429864696578982967971891341628/348038958\ 9831770313675327474838183124626704315137*c_0101_6^31 + 20444759661111365434715704745122536843013792784818/3480389589831770\ 313675327474838183124626704315137*c_0101_6^30 + 50241169454939484258526323530853149608607974219625/3480389589831770\ 313675327474838183124626704315137*c_0101_6^29 + 66292307240245792760797847547990055123711016949403/3480389589831770\ 313675327474838183124626704315137*c_0101_6^28 - 459176263463113754329720086790209185907777996376465/348038958983177\ 0313675327474838183124626704315137*c_0101_6^27 - 240711139580720615853149030114839677787169328267650/348038958983177\ 0313675327474838183124626704315137*c_0101_6^26 - 737949144290000873272313222072008071984535319740/265678594643646588\ 83017766983497581104020643627*c_0101_6^25 + 1210118673257982888785651645691637150102756052930479/34803895898317\ 70313675327474838183124626704315137*c_0101_6^24 + 5906259198197713531191873991327978731124008539033902/34803895898317\ 70313675327474838183124626704315137*c_0101_6^23 - 11064766292721676999657159604274876581854907949782489/3480389589831\ 770313675327474838183124626704315137*c_0101_6^22 - 25973532782025317880429242625981952422539521214033300/3480389589831\ 770313675327474838183124626704315137*c_0101_6^21 + 28781326876012969778057252768560625972845064714264663/3480389589831\ 770313675327474838183124626704315137*c_0101_6^20 + 77367338417648002915793306950499408562859206345249569/3480389589831\ 770313675327474838183124626704315137*c_0101_6^19 - 21868968492226574382576895960844952878570680223014391/3480389589831\ 770313675327474838183124626704315137*c_0101_6^18 - 147379154001871833042839882500658205380425585655679407/348038958983\ 1770313675327474838183124626704315137*c_0101_6^17 - 5881714795547366396196540760261189037348913552652459/34803895898317\ 70313675327474838183124626704315137*c_0101_6^16 + 194246906346980723072695731066671491434402059632519971/348038958983\ 1770313675327474838183124626704315137*c_0101_6^15 - 8793998003192853097801094568110041569835070312628333/34803895898317\ 70313675327474838183124626704315137*c_0101_6^14 - 224009305865397565526670249950950367536182535702255892/348038958983\ 1770313675327474838183124626704315137*c_0101_6^13 + 38168681985006859771176328946727215311107091539719874/3480389589831\ 770313675327474838183124626704315137*c_0101_6^12 + 238881307342991853323742128543679572733907950787376170/348038958983\ 1770313675327474838183124626704315137*c_0101_6^11 - 5803812571190886599105482944031604340444695526573737/34803895898317\ 70313675327474838183124626704315137*c_0101_6^10 - 187569742089460983278714835717705834043450861877182672/348038958983\ 1770313675327474838183124626704315137*c_0101_6^9 - 38517639088671671097431569895131950763370300438327819/3480389589831\ 770313675327474838183124626704315137*c_0101_6^8 + 88224814527017861005401589501122970770603012687167666/3480389589831\ 770313675327474838183124626704315137*c_0101_6^7 + 33242888463473596407835848245827727062457489433759364/3480389589831\ 770313675327474838183124626704315137*c_0101_6^6 - 21077967722009863968120509538943214507609886447335489/3480389589831\ 770313675327474838183124626704315137*c_0101_6^5 - 10496127439916634106940712728527798722980006361436801/3480389589831\ 770313675327474838183124626704315137*c_0101_6^4 + 1942268301746240889224769573374972767788125890591064/34803895898317\ 70313675327474838183124626704315137*c_0101_6^3 + 1232832363639726568539723889870051834900402631018582/34803895898317\ 70313675327474838183124626704315137*c_0101_6^2 - 54519145677912198319063065698060412447927408455098/3480389589831770\ 313675327474838183124626704315137*c_0101_6 - 48006153194347484079313936174842076013826835252869/3480389589831770\ 313675327474838183124626704315137, c_0101_0 + 11968321703796444315513935360017303989405311094674/348038958\ 9831770313675327474838183124626704315137*c_0101_6^31 + 9439597354435610892864326058357169999578598005714/34803895898317703\ 13675327474838183124626704315137*c_0101_6^30 + 34645858358024224815436309239943722829167226502409/3480389589831770\ 313675327474838183124626704315137*c_0101_6^29 + 28763404338009191629848661022497618414644899537867/3480389589831770\ 313675327474838183124626704315137*c_0101_6^28 - 435566954333927392594866330070063462752526964861926/348038958983177\ 0313675327474838183124626704315137*c_0101_6^27 + 79909466903089768566364734050383698655623320889330/3480389589831770\ 313675327474838183124626704315137*c_0101_6^26 - 447087492192256914300538087369675718054577929536/265678594643646588\ 83017766983497581104020643627*c_0101_6^25 + 1165970882298068175822183688608375640922344644844065/34803895898317\ 70313675327474838183124626704315137*c_0101_6^24 + 4416390129712778430747486697947686075836289729053720/34803895898317\ 70313675327474838183124626704315137*c_0101_6^23 - 13045970943738338238930918259795964438261342365203130/3480389589831\ 770313675327474838183124626704315137*c_0101_6^22 - 14737316651754242022758235360425834073240567925420144/3480389589831\ 770313675327474838183124626704315137*c_0101_6^21 + 37569347527639564788997292601235109392150819326212571/3480389589831\ 770313675327474838183124626704315137*c_0101_6^20 + 46467618599450615697527862959165300218719346631754025/3480389589831\ 770313675327474838183124626704315137*c_0101_6^19 - 56081547908282553179902309906413732936848230691708348/3480389589831\ 770313675327474838183124626704315137*c_0101_6^18 - 104103402672708833566410183475977291762504850087568367/348038958983\ 1770313675327474838183124626704315137*c_0101_6^17 + 68456182366193823049283501601213883685519958928233593/3480389589831\ 770313675327474838183124626704315137*c_0101_6^16 + 146133212337355020598676335802898024504024833496614587/348038958983\ 1770313675327474838183124626704315137*c_0101_6^15 - 105124404050139539413404089201941187888787245529993721/348038958983\ 1770313675327474838183124626704315137*c_0101_6^14 - 151062826877281582557271600559638377406070878434929752/348038958983\ 1770313675327474838183124626704315137*c_0101_6^13 + 138710505606825636152182589380845548533714525820526160/348038958983\ 1770313675327474838183124626704315137*c_0101_6^12 + 145973217726374464112851713955184326890351636284409157/348038958983\ 1770313675327474838183124626704315137*c_0101_6^11 - 109965544964553883908386142415360934035412065170619054/348038958983\ 1770313675327474838183124626704315137*c_0101_6^10 - 122905853376226396722433158685218559973966265054171504/348038958983\ 1770313675327474838183124626704315137*c_0101_6^9 + 47013629236725738276531774666318217634266967313856664/3480389589831\ 770313675327474838183124626704315137*c_0101_6^8 + 67526376140513152112989296116370210449986516586964881/3480389589831\ 770313675327474838183124626704315137*c_0101_6^7 - 9294982319276224521828908032496377220094928317583736/34803895898317\ 70313675327474838183124626704315137*c_0101_6^6 - 19544385406036528594250624275248319706396167947643187/3480389589831\ 770313675327474838183124626704315137*c_0101_6^5 + 513918880753789243148285433225571662344206616589401/348038958983177\ 0313675327474838183124626704315137*c_0101_6^4 + 2389805215319814733113741071691951247079382347891768/34803895898317\ 70313675327474838183124626704315137*c_0101_6^3 - 28759309024829426319048326909223143482497833081985/3480389589831770\ 313675327474838183124626704315137*c_0101_6^2 - 102648551885325492353398645175131509287555417872175/348038958983177\ 0313675327474838183124626704315137*c_0101_6 + 6241582956652641275745939475189040741506845918959/34803895898317703\ 13675327474838183124626704315137, c_0101_3 - 15118225026714958668618028520256661788974076065915/348038958\ 9831770313675327474838183124626704315137*c_0101_6^31 - 18114170856383599143541717094001386472076835987499/3480389589831770\ 313675327474838183124626704315137*c_0101_6^30 - 49737750553170739283891667506883999809021845175216/3480389589831770\ 313675327474838183124626704315137*c_0101_6^29 - 56365750125325356345069891523439966858482324799591/3480389589831770\ 313675327474838183124626704315137*c_0101_6^28 + 530288521503297079322910055004767753370971793117004/348038958983177\ 0313675327474838183124626704315137*c_0101_6^27 + 116183148470476695295727486529022773240195152815618/348038958983177\ 0313675327474838183124626704315137*c_0101_6^26 + 494611094604804285974408624504312400401232252709/265678594643646588\ 83017766983497581104020643627*c_0101_6^25 - 1411987087940385693273386949834938034992293484108124/34803895898317\ 70313675327474838183124626704315137*c_0101_6^24 - 6160468162221509273659541437561125524380777873388902/34803895898317\ 70313675327474838183124626704315137*c_0101_6^23 + 14124673432779278742711600862748028242377548482834927/3480389589831\ 770313675327474838183124626704315137*c_0101_6^22 + 24863927202276621885928608879251707958649786596473278/3480389589831\ 770313675327474838183124626704315137*c_0101_6^21 - 39158006808611889140861490893576238863843942003909096/3480389589831\ 770313675327474838183124626704315137*c_0101_6^20 - 75836828321660167966323357300510433077210089200345433/3480389589831\ 770313675327474838183124626704315137*c_0101_6^19 + 45385791565440778038679995933765592404994092488598625/3480389589831\ 770313675327474838183124626704315137*c_0101_6^18 + 154283353523199815440104456935557490069947133587494583/348038958983\ 1770313675327474838183124626704315137*c_0101_6^17 - 33101521342616076055983933314446796474188620777321712/3480389589831\ 770313675327474838183124626704315137*c_0101_6^16 - 209761067202817568047149192117263409526614154591556120/348038958983\ 1770313675327474838183124626704315137*c_0101_6^15 + 60354982760430200222042498713050851061358367654146051/3480389589831\ 770313675327474838183124626704315137*c_0101_6^14 + 232455625538275854930090913384182032291332786605980444/348038958983\ 1770313675327474838183124626704315137*c_0101_6^13 - 98678866112488159896069962967691475144213596675755868/3480389589831\ 770313675327474838183124626704315137*c_0101_6^12 - 240459212123871609637560837499144431163435070587737632/348038958983\ 1770313675327474838183124626704315137*c_0101_6^11 + 63578570814531640145058772058223825525599240171463700/3480389589831\ 770313675327474838183124626704315137*c_0101_6^10 + 195971508622619578203536345746354663764121777422224837/348038958983\ 1770313675327474838183124626704315137*c_0101_6^9 + 1376859435860562388946018719837021793767254313800097/34803895898317\ 70313675327474838183124626704315137*c_0101_6^8 - 98945136970302751052963195974204758731443173760986138/3480389589831\ 770313675327474838183124626704315137*c_0101_6^7 - 19312054951766348014834423765605463886464115874680673/3480389589831\ 770313675327474838183124626704315137*c_0101_6^6 + 25499001253837370600583368808185031559362711937204572/3480389589831\ 770313675327474838183124626704315137*c_0101_6^5 + 7629838880569354263754921360542135326056305738247807/34803895898317\ 70313675327474838183124626704315137*c_0101_6^4 - 2517272273753508385389257749158050758830387666559567/34803895898317\ 70313675327474838183124626704315137*c_0101_6^3 - 870666257172761588647446800775155608955674078793499/348038958983177\ 0313675327474838183124626704315137*c_0101_6^2 + 81824672988050011536845027179158684066645425178728/3480389589831770\ 313675327474838183124626704315137*c_0101_6 + 29104183825050117887094198085718143799015103766031/3480389589831770\ 313675327474838183124626704315137, c_0101_5 + 11472569139327266552786666527195186926448790483486/348038958\ 9831770313675327474838183124626704315137*c_0101_6^31 + 19652476130814217989701285054358124535740021937275/3480389589831770\ 313675327474838183124626704315137*c_0101_6^30 + 44212376915021223899150519603354149091628047086715/3480389589831770\ 313675327474838183124626704315137*c_0101_6^29 + 63134918308641360078695407852915297283136058388313/3480389589831770\ 313675327474838183124626704315137*c_0101_6^28 - 379924046560508723137913637495759683130501081562523/348038958983177\ 0313675327474838183124626704315137*c_0101_6^27 - 290661059812382093416712035708206791771144271792476/348038958983177\ 0313675327474838183124626704315137*c_0101_6^26 - 488392290177741484142479514035907705203677392398/265678594643646588\ 83017766983497581104020643627*c_0101_6^25 + 998451149120731786039886921273902792303980150522309/348038958983177\ 0313675327474838183124626704315137*c_0101_6^24 + 5204985988168827061379924388068555129282221018803152/34803895898317\ 70313675327474838183124626704315137*c_0101_6^23 - 8407870592298616638229153241247446225047480161412594/34803895898317\ 70313675327474838183124626704315137*c_0101_6^22 - 24498787271899128138967438538519955596609717105886372/3480389589831\ 770313675327474838183124626704315137*c_0101_6^21 + 21267417016860783724118115678397500297716707034629274/3480389589831\ 770313675327474838183124626704315137*c_0101_6^20 + 72568292652863209344461420999893893030927970340494697/3480389589831\ 770313675327474838183124626704315137*c_0101_6^19 - 9171668907247995731716467037073589922324895802611797/34803895898317\ 70313675327474838183124626704315137*c_0101_6^18 - 135014194388199602809447916706452949919641451606311353/348038958983\ 1770313675327474838183124626704315137*c_0101_6^17 - 25390560380406260959329036485101198362812334448976541/3480389589831\ 770313675327474838183124626704315137*c_0101_6^16 + 177123721904380361217873276733929592486204317822914694/348038958983\ 1770313675327474838183124626704315137*c_0101_6^15 + 21063547376441056849473247286853805598551131862042193/3480389589831\ 770313675327474838183124626704315137*c_0101_6^14 - 209744114013144880556511483729286398106951735823144992/348038958983\ 1770313675327474838183124626704315137*c_0101_6^13 + 2810608558144394722074783378079224381239391410935887/34803895898317\ 70313675327474838183124626704315137*c_0101_6^12 + 228532007333107010681913424190574015248900519585154050/348038958983\ 1770313675327474838183124626704315137*c_0101_6^11 + 23191027821903203341082960801527244883480129923021322/3480389589831\ 770313675327474838183124626704315137*c_0101_6^10 - 179391998341953916127850068993721629612988993941270999/348038958983\ 1770313675327474838183124626704315137*c_0101_6^9 - 55797128121169641903540694630271726044109146627916614/3480389589831\ 770313675327474838183124626704315137*c_0101_6^8 + 83655391757033734161827200474564046875897486882147157/3480389589831\ 770313675327474838183124626704315137*c_0101_6^7 + 40786047602493179683619926674351573545675535943344597/3480389589831\ 770313675327474838183124626704315137*c_0101_6^6 - 19747667264513147108479490342161110092318663735927337/3480389589831\ 770313675327474838183124626704315137*c_0101_6^5 - 12588624877264333268037229924011007830080326365905498/3480389589831\ 770313675327474838183124626704315137*c_0101_6^4 + 1754243764582073214747329396285225448727691660440906/34803895898317\ 70313675327474838183124626704315137*c_0101_6^3 + 1512973720039236121089402764690080908785202019184600/34803895898317\ 70313675327474838183124626704315137*c_0101_6^2 - 39577579459607437896770148455296020738292484649460/3480389589831770\ 313675327474838183124626704315137*c_0101_6 - 62265256990521204624076568551919689967870287890095/3480389589831770\ 313675327474838183124626704315137, c_0101_6^32 + c_0101_6^31 + 3*c_0101_6^30 + 3*c_0101_6^29 - 36*c_0101_6^28 - c_0101_6^27 - c_0101_6^26 + 95*c_0101_6^25 + 389*c_0101_6^24 - 1019*c_0101_6^23 - 1482*c_0101_6^22 + 2961*c_0101_6^21 + 4601*c_0101_6^20 - 4125*c_0101_6^19 - 9890*c_0101_6^18 + 4352*c_0101_6^17 + 13986*c_0101_6^16 - 6843*c_0101_6^15 - 15351*c_0101_6^14 + 9792*c_0101_6^13 + 15499*c_0101_6^12 - 7725*c_0101_6^11 - 13013*c_0101_6^10 + 2748*c_0101_6^9 + 7256*c_0101_6^8 - 81*c_0101_6^7 - 2306*c_0101_6^6 - 192*c_0101_6^5 + 373*c_0101_6^4 + 37*c_0101_6^3 - 30*c_0101_6^2 - 2*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB