Magma V2.19-8 Tue Aug 20 2013 16:17:56 on localhost [Seed = 2934911593] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2159 geometric_solution 5.63648193 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 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 -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.305184585848 0.583503875067 3 2 4 0 0132 3012 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.640004103376 1.058582472046 1 3 0 4 1230 0132 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 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 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640004103376 1.058582472046 1 2 5 5 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222044245179 1.304034452114 6 2 6 1 0132 2310 2310 0132 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 0 0 0 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.226148962355 1.461533503235 5 3 5 3 2310 2310 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.664404369772 0.560835918187 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.432702114715 0.136557797244 ==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_0101_1'], 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : negation(d['c_0011_5']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_1']), '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_4, c_0011_5, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 421303738848032473501099778791930986706126019481457/796029345104250\ 494055508113312089212207541062744*c_0101_4^27 - 120180099095423394535726089709899946456702540264317/612330265464808\ 07235039085639391477862118543288*c_0101_4^26 + 9724625586112506036568693628988397065334465293608317/79602934510425\ 0494055508113312089212207541062744*c_0101_4^25 + 1527575421911012316611827468179967427598812027608919/30616513273240\ 403617519542819695738931059271644*c_0101_4^24 - 96270660803143101413004423954297887424997622664255359/7960293451042\ 50494055508113312089212207541062744*c_0101_4^23 - 120750225566762434895608416551629154598161203370056717/199007336276\ 062623513877028328022303051885265686*c_0101_4^22 + 330903899248212222007337442184616923576661767181996351/796029345104\ 250494055508113312089212207541062744*c_0101_4^21 + 774035027640243402929414961076017515102612816878010963/199007336276\ 062623513877028328022303051885265686*c_0101_4^20 + 1108114952951744722552636727448067121065219906661925805/79602934510\ 4250494055508113312089212207541062744*c_0101_4^19 - 2359939399768926952848286200415532993834999573499503557/19900733627\ 6062623513877028328022303051885265686*c_0101_4^18 - 10037504193879023145230867265733286806437294569788587027/7960293451\ 04250494055508113312089212207541062744*c_0101_4^17 + 5445657274297394613385286645619697735591177998956616365/39801467255\ 2125247027754056656044606103770531372*c_0101_4^16 + 23630258992744344149223777977127516240336548430145269997/7960293451\ 04250494055508113312089212207541062744*c_0101_4^15 + 42576310320603141808132597668348408556274283002158226/7654128318310\ 100904379885704923934732764817911*c_0101_4^14 - 10970253717953822593323085076034294450682903979719742979/3980146725\ 52125247027754056656044606103770531372*c_0101_4^13 - 2581497837170789497836830815668353658213545726452353254/99503668138\ 031311756938514164011151525942632843*c_0101_4^12 + 287100414542582246619973528780845301188667769824456966/995036681380\ 31311756938514164011151525942632843*c_0101_4^11 + 3840005727546712457100815322507119309758744017763689695/19900733627\ 6062623513877028328022303051885265686*c_0101_4^10 + 667518953371647592447143217515534875927342158219510593/612330265464\ 80807235039085639391477862118543288*c_0101_4^9 - 2075447932125792375377992718354765036351838694847685091/79602934510\ 4250494055508113312089212207541062744*c_0101_4^8 - 1122230408619030398359113907197468619470165815480705719/19900733627\ 6062623513877028328022303051885265686*c_0101_4^7 - 1595331464571530912356303385426217908255892511331829371/79602934510\ 4250494055508113312089212207541062744*c_0101_4^6 + 184159777391446555996174744249166944101494470167144209/398014672552\ 125247027754056656044606103770531372*c_0101_4^5 + 212229345843126206706188980276991610915452800052326545/398014672552\ 125247027754056656044606103770531372*c_0101_4^4 + 94587470321651980184905024956665825344148850379513905/7960293451042\ 50494055508113312089212207541062744*c_0101_4^3 - 2430042758400058517785293653074976693949079187624145/19900733627606\ 2623513877028328022303051885265686*c_0101_4^2 - 747215969870782153787058739788793052436806676317509/612330265464808\ 07235039085639391477862118543288*c_0101_4 - 1491931051907151001963902937028705422321800048091343/79602934510425\ 0494055508113312089212207541062744, c_0011_0 - 1, c_0011_1 + 250360166195358524091400547113075526948695035/30616513273240\ 403617519542819695738931059271644*c_0101_4^27 - 420438475328283703218146627522518798941043225/765412831831010090437\ 9885704923934732764817911*c_0101_4^26 - 13156592122499337258586803208757618480721994629/3061651327324040361\ 7519542819695738931059271644*c_0101_4^25 + 44450458734045771879787082422956990115104869351/3061651327324040361\ 7519542819695738931059271644*c_0101_4^24 + 61934182031267755884346589030029717505160113013/7654128318310100904\ 379885704923934732764817911*c_0101_4^23 - 254094810041431348270511035490772365084852824857/153082566366202018\ 08759771409847869465529635822*c_0101_4^22 - 2600559775009844223377134143021305679309410249787/30616513273240403\ 617519542819695738931059271644*c_0101_4^21 + 2648408704799825721492060274062523073722062324503/30616513273240403\ 617519542819695738931059271644*c_0101_4^20 + 3982934633778543755249859074508839335314481186631/76541283183101009\ 04379885704923934732764817911*c_0101_4^19 - 1733191653005864954898535418002814014582393091899/15308256636620201\ 808759771409847869465529635822*c_0101_4^18 - 53258382304141421505462683010402752149209303354369/3061651327324040\ 3617519542819695738931059271644*c_0101_4^17 - 17635377155997861023345463760620324207437870860257/3061651327324040\ 3617519542819695738931059271644*c_0101_4^16 + 22490672876228268505918870177244970928636143702409/7654128318310100\ 904379885704923934732764817911*c_0101_4^15 + 36907964132335047763282343077786949942714775141311/1530825663662020\ 1808759771409847869465529635822*c_0101_4^14 - 14788072083721597769361842239365811059283665117386/7654128318310100\ 904379885704923934732764817911*c_0101_4^13 - 28247267081938695243507164248189701305676501248069/7654128318310100\ 904379885704923934732764817911*c_0101_4^12 - 5671164384499134197088154435054951487273884635824/76541283183101009\ 04379885704923934732764817911*c_0101_4^11 + 18107680697091409027290213948208065096005126408102/7654128318310100\ 904379885704923934732764817911*c_0101_4^10 + 57537679229359800831481569778612035441620030032161/3061651327324040\ 3617519542819695738931059271644*c_0101_4^9 - 1737285756632882220811026393132722377859937984295/76541283183101009\ 04379885704923934732764817911*c_0101_4^8 - 15126763935027953162613804560987024552472340779171/1530825663662020\ 1808759771409847869465529635822*c_0101_4^7 - 11335741839126811357664699769014089133478476576129/3061651327324040\ 3617519542819695738931059271644*c_0101_4^6 + 4089237416390119102732248250396956365982595406707/30616513273240403\ 617519542819695738931059271644*c_0101_4^5 + 3993133079808153313625925667181907306919497399909/30616513273240403\ 617519542819695738931059271644*c_0101_4^4 + 265968910585319032666330930910851172114267795501/153082566366202018\ 08759771409847869465529635822*c_0101_4^3 - 68690377144309680708455627855332561951819897640/7654128318310100904\ 379885704923934732764817911*c_0101_4^2 - 78842825081567034623381503092521932258178056813/3061651327324040361\ 7519542819695738931059271644*c_0101_4 - 9962980030714370049048877957740440267215106763/15308256636620201808\ 759771409847869465529635822, c_0011_4 - 503151934978723262624395695356082337112551424193/61233026546\ 480807235039085639391477862118543288*c_0101_4^27 - 1885927172107433667002845641873085893156937353653/61233026546480807\ 235039085639391477862118543288*c_0101_4^26 + 11544460460136282438016049528171928933413605797709/6123302654648080\ 7235039085639391477862118543288*c_0101_4^25 + 23956293865621587070268075501041295960672321613257/3061651327324040\ 3617519542819695738931059271644*c_0101_4^24 - 113203926790863253805677457584749099348328428895819/612330265464808\ 07235039085639391477862118543288*c_0101_4^23 - 145460520457391071381435501243652460462322529828177/153082566366202\ 01808759771409847869465529635822*c_0101_4^22 + 373494922015601643967918968979396769940415466374943/612330265464808\ 07235039085639391477862118543288*c_0101_4^21 + 464824018404933024725000799174960596122668926256463/765412831831010\ 0904379885704923934732764817911*c_0101_4^20 + 1464882258665221808570533241306138151829611310533849/61233026546480\ 807235039085639391477862118543288*c_0101_4^19 - 2813765321381380861836726037616798528157624246538497/15308256636620\ 201808759771409847869465529635822*c_0101_4^18 - 12436789039784743065707893766639323280641074478376099/6123302654648\ 0807235039085639391477862118543288*c_0101_4^17 + 6319953451523410552961597025057422065750582389267399/30616513273240\ 403617519542819695738931059271644*c_0101_4^16 + 28814750086284198023069533588208875775434698137493361/6123302654648\ 0807235039085639391477862118543288*c_0101_4^15 + 782269710002065955387000033352892184305574371389273/765412831831010\ 0904379885704923934732764817911*c_0101_4^14 - 13104517213189916393344833837635450319073280294640451/3061651327324\ 0403617519542819695738931059271644*c_0101_4^13 - 3210123541903647816922319778048753926077473321550378/76541283183101\ 00904379885704923934732764817911*c_0101_4^12 + 250582853645560955581868398525391877100675273101646/765412831831010\ 0904379885704923934732764817911*c_0101_4^11 + 4651305103325622631535685381412379205367553069966685/15308256636620\ 201808759771409847869465529635822*c_0101_4^10 + 11011716029833457555770170592262083546631728522518525/6123302654648\ 0807235039085639391477862118543288*c_0101_4^9 - 2216397411150783936023805468601879365075175274319847/61233026546480\ 807235039085639391477862118543288*c_0101_4^8 - 1376538658747033055783672347250711611045272898249365/15308256636620\ 201808759771409847869465529635822*c_0101_4^7 - 2075354209948507446863468741347347427586310096084723/61233026546480\ 807235039085639391477862118543288*c_0101_4^6 + 201467353267561268662379034882924725440282883124367/306165132732404\ 03617519542819695738931059271644*c_0101_4^5 + 264453518182123049328301676092398633839668254642115/306165132732404\ 03617519542819695738931059271644*c_0101_4^4 + 125635594705875599434288362356357614840094193258933/612330265464808\ 07235039085639391477862118543288*c_0101_4^3 - 2572778193794901259556675856018577096676070900361/15308256636620201\ 808759771409847869465529635822*c_0101_4^2 - 12025761703356388856399922483018032201613109233753/6123302654648080\ 7235039085639391477862118543288*c_0101_4 - 1947508760034583033180963967705967496938958920803/61233026546480807\ 235039085639391477862118543288, c_0011_5 - 18117120524657381694785553476506388579414487165/122466053092\ 961614470078171278782955724237086576*c_0101_4^27 - 69184663751751128792540269236535148370743649327/1224660530929616144\ 70078171278782955724237086576*c_0101_4^26 + 404438657006203716793003172196335661112566461765/122466053092961614\ 470078171278782955724237086576*c_0101_4^25 + 433557160891398750615528130018869752920548020493/306165132732404036\ 17519542819695738931059271644*c_0101_4^24 - 3795252018701276659107258314452346182238930803033/12246605309296161\ 4470078171278782955724237086576*c_0101_4^23 - 2590671644604036896481942244490054454522631084101/15308256636620201\ 808759771409847869465529635822*c_0101_4^22 + 10230700624023713360470358224812120894652182663327/1224660530929616\ 14470078171278782955724237086576*c_0101_4^21 + 64286764234830535674690198911879802288027941392775/6123302654648080\ 7235039085639391477862118543288*c_0101_4^20 + 70621587622957272276514513877365169369569908947555/1224660530929616\ 14470078171278782955724237086576*c_0101_4^19 - 45070936964548855609768596045514008871821034637249/1530825663662020\ 1808759771409847869465529635822*c_0101_4^18 - 482806009038003627326946704793106553140907767500955/122466053092961\ 614470078171278782955724237086576*c_0101_4^17 + 36568939872170133222116984232849178649256110647485/1530825663662020\ 1808759771409847869465529635822*c_0101_4^16 + 1000481464365623157442492329244262820918109677748435/12246605309296\ 1614470078171278782955724237086576*c_0101_4^15 + 119901337528784244833181013638537954603309781336283/306165132732404\ 03617519542819695738931059271644*c_0101_4^14 - 358489817948039871379541349374345005555555534108613/612330265464808\ 07235039085639391477862118543288*c_0101_4^13 - 129165459141782007730809576425116256706162740371659/153082566366202\ 01808759771409847869465529635822*c_0101_4^12 - 13970382659437119853657824110016223553736739473232/7654128318310100\ 904379885704923934732764817911*c_0101_4^11 + 135647752914836572220081331314220786088281580329661/306165132732404\ 03617519542819695738931059271644*c_0101_4^10 + 514713988687681788916312177682567284010946219738913/122466053092961\ 614470078171278782955724237086576*c_0101_4^9 + 66054861462752577857474292765737663508012351786043/1224660530929616\ 14470078171278782955724237086576*c_0101_4^8 - 10520421584215105922083200985889786633219714057652/7654128318310100\ 904379885704923934732764817911*c_0101_4^7 - 114956533139623703102853651663567546610724183676707/122466053092961\ 614470078171278782955724237086576*c_0101_4^6 - 1565500611964538159820480219044220862567382105949/15308256636620201\ 808759771409847869465529635822*c_0101_4^5 + 4241913833896987309534805519075812805796477803087/30616513273240403\ 617519542819695738931059271644*c_0101_4^4 + 8042264752723018086963591211111168894414770056875/12246605309296161\ 4470078171278782955724237086576*c_0101_4^3 + 119085797571440801775061283635601838620734482835/306165132732404036\ 17519542819695738931059271644*c_0101_4^2 - 483997447121230005950401535609527022255185711717/122466053092961614\ 470078171278782955724237086576*c_0101_4 - 54765797979757590170680128957310445079365377925/1224660530929616144\ 70078171278782955724237086576, c_0101_0 - 1169956833349384151208133106521199369193471346129/1224660530\ 92961614470078171278782955724237086576*c_0101_4^27 - 4368398843647459970584607145582022943172197088575/12246605309296161\ 4470078171278782955724237086576*c_0101_4^26 + 26903893920309363749050199552784772132579518238801/1224660530929616\ 14470078171278782955724237086576*c_0101_4^25 + 6938235188554647095609998061978949497576009070418/76541283183101009\ 04379885704923934732764817911*c_0101_4^24 - 264758326394983603080337212518075302274910180608873/122466053092961\ 614470078171278782955724237086576*c_0101_4^23 - 84304881528701010084016136865973670522907657671821/7654128318310100\ 904379885704923934732764817911*c_0101_4^22 + 887170836425212533434285075461700299204893423687027/122466053092961\ 614470078171278782955724237086576*c_0101_4^21 + 4315509554918131023410102936386495306824045933727597/61233026546480\ 807235039085639391477862118543288*c_0101_4^20 + 3285166865596966500654881583380724930826995283073299/12246605309296\ 1614470078171278782955724237086576*c_0101_4^19 - 1637491912588879334047984327279043281031312025317620/76541283183101\ 00904379885704923934732764817911*c_0101_4^18 - 28541386017366580635959112882568439108061929068541759/1224660530929\ 61614470078171278782955724237086576*c_0101_4^17 + 7436576027757600815853680003907512664285528441161325/30616513273240\ 403617519542819695738931059271644*c_0101_4^16 + 66535462402977523762546426288668981642808494725822851/1224660530929\ 61614470078171278782955724237086576*c_0101_4^15 + 3415189441928336787098717883403386006815303329151881/30616513273240\ 403617519542819695738931059271644*c_0101_4^14 - 30520991443260448200369921029948587857908001252975917/6123302654648\ 0807235039085639391477862118543288*c_0101_4^13 - 7353564965525800622236949863577649181715805164906631/15308256636620\ 201808759771409847869465529635822*c_0101_4^12 + 338574764933961713844164962557829275122535107318469/765412831831010\ 0904379885704923934732764817911*c_0101_4^11 + 10775853677855807945669882922977252426497356292558909/3061651327324\ 0403617519542819695738931059271644*c_0101_4^10 + 24997549520734130898218727285137706018400270108473221/1224660530929\ 61614470078171278782955724237086576*c_0101_4^9 - 5455881228335625028079950728226441270153224893614405/12246605309296\ 1614470078171278782955724237086576*c_0101_4^8 - 1586974174070352116345122684263921072414857165211473/15308256636620\ 201808759771409847869465529635822*c_0101_4^7 - 4652805943402933308083739411005829931112380674817591/12246605309296\ 1614470078171278782955724237086576*c_0101_4^6 + 246636291568164028209967158876152601672138175782397/306165132732404\ 03617519542819695738931059271644*c_0101_4^5 + 75695361483080253881269824993720067639348667959546/7654128318310100\ 904379885704923934732764817911*c_0101_4^4 + 278338808872112326192084304334903629941482142643331/122466053092961\ 614470078171278782955724237086576*c_0101_4^3 - 6337179665911437808207935354634065688293776730301/30616513273240403\ 617519542819695738931059271644*c_0101_4^2 - 27431158543468567474586009231911480820673679733449/1224660530929616\ 14470078171278782955724237086576*c_0101_4 - 4413995613993732934234957152502013458146382606317/12246605309296161\ 4470078171278782955724237086576, c_0101_1 - 1113184450649157871901815372222454352863677216759/1224660530\ 92961614470078171278782955724237086576*c_0101_4^27 - 4159262810787941280836518163269938610948096384813/12246605309296161\ 4470078171278782955724237086576*c_0101_4^26 + 25584680896754111646100848738184872468477216787599/1224660530929616\ 14470078171278782955724237086576*c_0101_4^25 + 26419913566373899576498461031004468576881130832639/3061651327324040\ 3617519542819695738931059271644*c_0101_4^24 - 251565906685104296648689432961688430454245640047403/122466053092961\ 614470078171278782955724237086576*c_0101_4^23 - 160474056924253462501376807281213138931323181030173/153082566366202\ 01808759771409847869465529635822*c_0101_4^22 + 840036254177063857912742491682266559133858905945629/122466053092961\ 614470078171278782955724237086576*c_0101_4^21 + 4105466694265268902572211232419307131530210752523077/61233026546480\ 807235039085639391477862118543288*c_0101_4^20 + 3150360732848402385650802261490374164525732012464217/12246605309296\ 1614470078171278782955724237086576*c_0101_4^19 - 3112199033686719622708403654829466313248459217148147/15308256636620\ 201808759771409847869465529635822*c_0101_4^18 - 27219319043100303214290871690249121201908860837677025/1224660530929\ 61614470078171278782955724237086576*c_0101_4^17 + 3519503823661904412296661057356562042256542279324555/15308256636620\ 201808759771409847869465529635822*c_0101_4^16 + 63325173632793584368981271719326359174004003998805465/1224660530929\ 61614470078171278782955724237086576*c_0101_4^15 + 3319752570060486178122174935237870600071251445443725/30616513273240\ 403617519542819695738931059271644*c_0101_4^14 - 28943026318300286265886127452707050411982740941153983/6123302654648\ 0807235039085639391477862118543288*c_0101_4^13 - 7020686301475297472333346618983148329400474192006895/15308256636620\ 201808759771409847869465529635822*c_0101_4^12 + 301068318995962537848612577441351209739163874964301/765412831831010\ 0904379885704923934732764817911*c_0101_4^11 + 10233100732434675232966712904440528731728994074030379/3061651327324\ 0403617519542819695738931059271644*c_0101_4^10 + 23971639628156727667480328266195981021823466766565203/1224660530929\ 61614470078171278782955724237086576*c_0101_4^9 - 5019737667854403262810714974915933742148013523035375/12246605309296\ 1614470078171278782955724237086576*c_0101_4^8 - 754509183761248313755013832397228748109724911892531/765412831831010\ 0904379885704923934732764817911*c_0101_4^7 - 4494727506674090842828354472357282513453548830577033/12246605309296\ 1614470078171278782955724237086576*c_0101_4^6 + 113094536567522635304469272019260425409000715892351/153082566366202\ 01808759771409847869465529635822*c_0101_4^5 + 288778953931038408150491185987681695342460573465909/306165132732404\ 03617519542819695738931059271644*c_0101_4^4 + 271193057298325272325714898460714284083841564986657/122466053092961\ 614470078171278782955724237086576*c_0101_4^3 - 5817313929215571507012655112853456385156906129535/30616513273240403\ 617519542819695738931059271644*c_0101_4^2 - 26295440335592015710863604815772161953156065214463/1224660530929616\ 14470078171278782955724237086576*c_0101_4 - 4235252243807595155814227606522688055883316949551/12246605309296161\ 4470078171278782955724237086576, c_0101_4^28 + 4*c_0101_4^27 - 22*c_0101_4^26 - 101*c_0101_4^25 + 201*c_0101_4^24 + 1213*c_0101_4^23 - 451*c_0101_4^22 - 7577*c_0101_4^21 - 4773*c_0101_4^20 + 21633*c_0101_4^19 + 30351*c_0101_4^18 - 18889*c_0101_4^17 - 63591*c_0101_4^16 - 26867*c_0101_4^15 + 48950*c_0101_4^14 + 64154*c_0101_4^13 + 8872*c_0101_4^12 - 37972*c_0101_4^11 - 31193*c_0101_4^10 - 1108*c_0101_4^9 + 12049*c_0101_4^8 + 6879*c_0101_4^7 + 239*c_0101_4^6 - 1252*c_0101_4^5 - 515*c_0101_4^4 - 43*c_0101_4^3 + 29*c_0101_4^2 + 10*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB