Magma V2.19-8 Tue Aug 20 2013 16:18:32 on localhost [Seed = 1225315450] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2724 geometric_solution 5.97252552 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0.292324043354 0.203286843785 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 1 -1 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.401897369544 1.400188689948 1 4 5 6 0132 0132 0132 0132 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 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907754685007 1.149157246562 6 5 4 1 1023 1023 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.907754685007 1.149157246562 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.171890670874 0.592710951138 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.739495458479 0.548565905565 6 3 2 6 3012 1023 0132 1230 0 0 0 0 0 0 0 0 0 0 -1 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 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 1.150768622634 0.619917562904 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0011_3'], 'c_1010_6' : d['c_0101_1'], 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_4']), '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_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t - 6350104622356060237638718606163607805462482341020954305805193824187\ 70781235330211/3449462055557279829278037522610562512884714905886583\ 1412602889143741993255768000*c_0101_4^28 - 8435960695581374581537555971631676159507066049065834017601326881806\ 1463513967753057/10348386166671839487834112567831687538654144717659\ 7494237808667431225979767304000*c_0101_4^27 + 5122698436695839968056108712163895466951859193576009381490268777174\ 005300531732229/431182756944659978659754690326320314110589363235822\ 8926575361142967749156971000*c_0101_4^26 + 6045674829712690809809289945235734891552498088261939590910725457541\ 21198608286473961/1034838616667183948783411256783168753865414471765\ 97494237808667431225979767304000*c_0101_4^25 - 1625371860609383918914949532334122834888090668257638003126936116896\ 792019985922162/161693533854247491997408008872370117791471011213433\ 5847465760428612905933864125*c_0101_4^24 + 4169670459276379686500591114467063151625342490349803488643076415560\ 601316599000524947/103483861666718394878341125678316875386541447176\ 597494237808667431225979767304000*c_0101_4^23 + 2846274819024386559589201621279223307057892671804063972241217349615\ 994816640220405871/103483861666718394878341125678316875386541447176\ 597494237808667431225979767304000*c_0101_4^22 + 1182246730567794428396401366180964544234979424682559780785737413763\ 342251803944849151/344946205555727982927803752261056251288471490588\ 65831412602889143741993255768000*c_0101_4^21 + 5248059208016688001501059989463702404647816088339965702715121739694\ 80424554925718277/8623655138893199573195093806526406282211787264716\ 457853150722285935498313942000*c_0101_4^20 - 1618555522444411021617323449600854693726099821060357183750883080589\ 9840839715439618247/10348386166671839487834112567831687538654144717\ 6597494237808667431225979767304000*c_0101_4^19 - 5386859439548057110568445169925005174536764534111191285521519815917\ 88182856202184049/4139354466668735795133645027132675015461657887063\ 899769512346697249039190692160*c_0101_4^18 - 3154910658570183891284379151943442406748086413618469839445409465780\ 177413640173387033/862365513889319957319509380652640628221178726471\ 6457853150722285935498313942000*c_0101_4^17 - 3146409556989411088821577724206068193935241447642198742522419511927\ 364094074744996269/862365513889319957319509380652640628221178726471\ 6457853150722285935498313942000*c_0101_4^16 - 5592092382708371279745233907599067139783615893967742853061904199620\ 65569301827489927/4311827569446599786597546903263203141105893632358\ 228926575361142967749156971000*c_0101_4^15 + 8158878921047332367751944522166897785418896458619114649282318178863\ 61102469291702227/1293548270833979935979264070978960942331768089707\ 4686779726083428903247470913000*c_0101_4^14 + 1829775631634823898424720921646002200045656849158128996063861282340\ 979415408860365053/517419308333591974391705628391584376932707235882\ 9874711890433371561298988365200*c_0101_4^13 + 4258997580622319160679758083800566439041387102347782553192511457107\ 3880995521991471791/10348386166671839487834112567831687538654144717\ 6597494237808667431225979767304000*c_0101_4^12 + 1627624586333529103528508786592951642122550027602411078566829758200\ 1467142074259798897/51741930833359197439170562839158437693270723588\ 298747118904333715612989883652000*c_0101_4^11 - 5148508792893834148687375412378931663852879586929772753083384463608\ 61878418930970489/4311827569446599786597546903263203141105893632358\ 228926575361142967749156971000*c_0101_4^10 + 4374857675308642881116889397095956682932409240887616024613185476092\ 619532075787729367/206967723333436789756682251356633750773082894353\ 19498847561733486245195953460800*c_0101_4^9 - 4163163387302605570897917218581143760394301140826847743557117510885\ 6508612560056244633/10348386166671839487834112567831687538654144717\ 6597494237808667431225979767304000*c_0101_4^8 + 8066472151016262159506557040761758636212688958032515347765073668528\ 223230796917155329/517419308333591974391705628391584376932707235882\ 98747118904333715612989883652000*c_0101_4^7 - 6858707392118082289365687127430188045193872079519092950935173089983\ 105011742307098003/344946205555727982927803752261056251288471490588\ 65831412602889143741993255768000*c_0101_4^6 + 1471531676870504407311448052871902645332976903332409346578961049465\ 956505424814950161/258709654166795987195852814195792188466353617941\ 49373559452166857806494941826000*c_0101_4^5 - 7457089927423289703441579294645967209660474215850550905356294891404\ 66297962496989957/3449462055557279829278037522610562512884714905886\ 5831412602889143741993255768000*c_0101_4^4 + 7973445821460760478702933582176702808067599763030651700901466272995\ 45330362013092737/5174193083335919743917056283915843769327072358829\ 8747118904333715612989883652000*c_0101_4^3 - 1589076905218452703540115052704073885311751047021512587060786493777\ 67952754911768203/5174193083335919743917056283915843769327072358829\ 8747118904333715612989883652000*c_0101_4^2 + 1762010942286969812820142613178821968750972084755004680659611777455\ 6987517839348259/51741930833359197439170562839158437693270723588298\ 747118904333715612989883652000*c_0101_4 - 7896357690933643039903203798810184747057117133514441859170629682853\ 84147680096529/1034838616667183948783411256783168753865414471765974\ 94237808667431225979767304000, c_0011_0 - 1, c_0011_1 - 603746595585978941441012765538030344234419577685742293841660\ 4772710828256081/13797848222229119317112150090442250051538859623546\ 3325650411556574967973023072*c_0101_4^28 - 2677739812827984089605956766476294011988227767479621060840025922390\ 61250764141/1379784822222911931711215009044225005153885962354633256\ 50411556574967973023072*c_0101_4^27 + 1158854207383414252708022871012721314451524268625713671215465103572\ 3513013840/43118275694465997865975469032632031411058936323582289265\ 75361142967749156971*c_0101_4^26 + 1933308679888400396433806313108055848381690191753331797571448132716\ 581448918329/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^25 - 4636276770951538053560924220935553430400806524573467561899425036089\ 8640292165/34494620555572798292780375226105625128847149058865831412\ 602889143741993255768*c_0101_4^24 + 1326241007455362437144927451182641248759825523463787854206547193039\ 7833297029511/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^23 + 9952974866655612716860203309698033562964884540555284243797560120478\ 852300934143/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^22 + 1237093330155073815097531687374592767710505339269583750891711050613\ 2637179852217/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^21 + 5305711058154428195275704119975050562510454439014100212047651847620\ 277969652981/344946205555727982927803752261056251288471490588658314\ 12602889143741993255768*c_0101_4^20 - 4924172491655009014222531959042775129455044313327457278458375056160\ 3396157401815/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^19 - 4523600784793091280719052319314119287711759893089581264502353720052\ 1577124910789/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^18 - 3111654719275248566776671122755595894649181277198215122603199107200\ 2990448512549/34494620555572798292780375226105625128847149058865831\ 412602889143741993255768*c_0101_4^17 - 3249089137676160961640146697724039523187535051207315097847531694922\ 1183207547261/34494620555572798292780375226105625128847149058865831\ 412602889143741993255768*c_0101_4^16 - 3524826089997720931382292093457028863747753390531794083822647590282\ 634641314147/862365513889319957319509380652640628221178726471645785\ 3150722285935498313942*c_0101_4^15 + 6935549450276618517623818871185919806448141827430732653217531523616\ 86247995563/8623655138893199573195093806526406282211787264716457853\ 150722285935498313942*c_0101_4^14 + 2821427358207259000224978189903651605038536578346617156830953051481\ 0753278435663/34494620555572798292780375226105625128847149058865831\ 412602889143741993255768*c_0101_4^13 + 1417134949945746842934477262275128467945247038475471059704750575558\ 85150611711311/1379784822222911931711215009044225005153885962354633\ 25650411556574967973023072*c_0101_4^12 + 5839637936159783537297115418827815623521389058770988974427766960114\ 7577068999915/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^11 - 6124578524059951938078648415138406779331794770759809617030619499986\ 038448926135/344946205555727982927803752261056251288471490588658314\ 12602889143741993255768*c_0101_4^10 + 7461333580913509651740174966697895882648064642417753698882998548380\ 3392736166167/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^9 - 1246110988811237487460941873560682587436026564776983296811138971678\ 60012712772857/1379784822222911931711215009044225005153885962354633\ 25650411556574967973023072*c_0101_4^8 + 2286370451304869844784723229984889715122634497726738437523263791793\ 3494267808651/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^7 - 6634553111091183461856967756521258642809184323703273817657934103573\ 3148496773285/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^6 + 3567766315825852997380113789142346759950724332564366567378448624553\ 928726424067/344946205555727982927803752261056251288471490588658314\ 12602889143741993255768*c_0101_4^5 - 9401156634482980763956615417780201130437844202968181170570130380638\ 048626522351/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^4 + 2168339023433753720351466024993532713042360751106765612535370461660\ 493879349383/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^3 - 6752223110100405697035303416487500717885593545996369216494784324200\ 29340231241/6898924111114559658556075045221125025769429811773166282\ 5205778287483986511536*c_0101_4^2 + 5934427398919873734999607618817093661987530873860186135614530735874\ 2852341473/68989241111145596585560750452211250257694298117731662825\ 205778287483986511536*c_0101_4 + 2842238974365983829783836549052216\ 2643623780211154214946498519117444528250555/13797848222229119317112\ 1500904422500515388596235463325650411556574967973023072, c_0011_3 - 211500964486145884491329037506305599194361410991910765751658\ 8225240304053435/68989241111145596585560750452211250257694298117731\ 662825205778287483986511536*c_0101_4^28 - 9411262754485434692207973224472503266356265058514260137597144355502\ 0213809273/68989241111145596585560750452211250257694298117731662825\ 205778287483986511536*c_0101_4^27 + 1451332039062851091052207053935539552550586367646054552795258540589\ 6419612569/86236551388931995731950938065264062822117872647164578531\ 50722285935498313942*c_0101_4^26 + 6891265595434705030515122832028858413332735672892618599335048422429\ 85929960211/6898924111114559658556075045221125025769429811773166282\ 5205778287483986511536*c_0101_4^25 + 2118319814976390866979820671623501736010058676727090482723358743641\ 9852050627/34494620555572798292780375226105625128847149058865831412\ 602889143741993255768*c_0101_4^24 + 4689160201695010497606499342480635714810017139370453355203394805587\ 155644855099/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^23 + 4162685554330333834259763771996670497144889062064191303548237239435\ 319813639085/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^22 + 5181252315293069325263862600266517880816635182754978737132886490470\ 889116357369/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^21 + 1046783315062154043391198787354383513978749104450875233573727519855\ 779138286805/862365513889319957319509380652640628221178726471645785\ 3150722285935498313942*c_0101_4^20 - 1583575207988217465095486537341606333988428873405586618647950853181\ 9537797670017/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^19 - 1776313100629637699297169747477067560312997865932869827203522556418\ 7488884971545/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^18 - 1176775362636547736807478862337212789199387785676968952525203629934\ 0916455183075/17247310277786399146390187613052812564423574529432915\ 706301444571870996627884*c_0101_4^17 - 1328953245763297388210293487395478541579496110356721200490847984664\ 5609124314983/17247310277786399146390187613052812564423574529432915\ 706301444571870996627884*c_0101_4^16 - 1844203133570290298758008622777608783393184279663351123426713133106\ 831490888376/431182756944659978659754690326320314110589363235822892\ 6575361142967749156971*c_0101_4^15 - 3192660683216039517421370904379440290263489763066028686707479583843\ 52022001497/8623655138893199573195093806526406282211787264716457853\ 150722285935498313942*c_0101_4^14 + 9580641226387169917399716308217661417401371349318470340295975387158\ 534990916941/172473102777863991463901876130528125644235745294329157\ 06301444571870996627884*c_0101_4^13 + 5534618727219509201494077732364292687633628131857391069431888778393\ 5454196738965/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^12 + 3142367361930427015629489192971033073156240420536679915771659621062\ 337273551170/431182756944659978659754690326320314110589363235822892\ 6575361142967749156971*c_0101_4^11 + 8068587735008308368792925746190686475483636136454558750993470026395\ 1998324569/34494620555572798292780375226105625128847149058865831412\ 602889143741993255768*c_0101_4^10 + 2712682024799794288070675264347952467291794010708927236614721969430\ 3593709340015/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^9 - 4088330045003010608251031507242664863216553208516703646523462403456\ 6549622411143/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^8 + 2892471975199863745236623783001171008762352787432991747073912031968\ 238725532523/172473102777863991463901876130528125644235745294329157\ 06301444571870996627884*c_0101_4^7 - 2300605768937926618568475469429675081156398185456925407203337894791\ 1815086758277/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^6 + 3797116038216358213560908720083771173414717899740636172125105780668\ 85241047283/8623655138893199573195093806526406282211787264716457853\ 150722285935498313942*c_0101_4^5 - 3478319644679342974941827076026287755781268054343677887361161989815\ 731210716737/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^4 + 9027032777350517632987926296484096282202688930743458819745334276252\ 5069584687/43118275694465997865975469032632031411058936323582289265\ 75361142967749156971*c_0101_4^3 - 272622663802370088970388629465551\ 88735277564142313560137592355049990928731423/4311827569446599786597\ 546903263203141105893632358228926575361142967749156971*c_0101_4^2 + 1808602127537651063324417534306129743411537246336951685699744856013\ 3354239005/17247310277786399146390187613052812564423574529432915706\ 301444571870996627884*c_0101_4 - 4159519616860853572212838558424976\ 1710521848757543195121472688835155640904001/68989241111145596585560\ 750452211250257694298117731662825205778287483986511536, c_0101_0 - 505860428126387631810583813711737089434633753453065946264332\ 1478024335284483/27595696444458238634224300180884500103077719247092\ 6651300823113149935946046144*c_0101_4^28 - 2253025117024602488441029773404571711236225734349170474218201102245\ 65698451895/2759569644445823863422430018088450010307771924709266513\ 00823113149935946046144*c_0101_4^27 + 1676837459421335168780673136842440009668153912507243881111678431669\ 8840813561/17247310277786399146390187613052812564423574529432915706\ 301444571870996627884*c_0101_4^26 + 1651891072101784300219741446804607565392963655489697682784685932152\ 964133232747/275956964444582386342243001808845001030777192470926651\ 300823113149935946046144*c_0101_4^25 + 4850417551510037253973242474547823743634396562353083509945461824916\ 5859696693/68989241111145596585560750452211250257694298117731662825\ 205778287483986511536*c_0101_4^24 + 1125790562599698042983689750086957753314814412253902184858612912521\ 8191744228133/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^23 + 1030662188581254030719524991526480367473083722939451911612394850221\ 1569189898365/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^22 + 1321292364496045325877458239176619548307396306322951513322114644235\ 5232266417803/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^21 + 5039878700087251033104510712430643684403108069661540999953927325008\ 011966761535/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^20 - 3720433413465588070470611939872704531955165927320973294889027143752\ 5695954492565/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^19 - 4391787903719145389006317319746346342051493766550384257463390275445\ 3393481710239/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^18 - 2920537647364465361485096720798085937268557854324612028773741035281\ 6497465396115/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^17 - 3261031394591504014001155578120525677954770050490637551943007732200\ 8356506607059/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^16 - 1202576694927608145922283416216395462769518459551491806944630431659\ 225857647317/431182756944659978659754690326320314110589363235822892\ 6575361142967749156971*c_0101_4^15 - 1072716859225346288179580602139235780772755838533767761835464890996\ 05770356388/4311827569446599786597546903263203141105893632358228926\ 575361142967749156971*c_0101_4^14 + 2401963297661207373539328213236479530134975339459986025309240468996\ 2433331691657/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^13 + 1383455857394596321814800167966519754834446967115136694147727824477\ 80472242683533/2759569644445823863422430018088450010307771924709266\ 51300823113149935946046144*c_0101_4^12 + 6364264424617025073912129863278271342913309472550418955055919675178\ 0112827935161/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^11 + 7959763317652148218963773290019318167141814367299413719418458456715\ 21698037203/6898924111114559658556075045221125025769429811773166282\ 5205778287483986511536*c_0101_4^10 + 6104982624036656328428214118879878906055554122862480775482211136554\ 8017972970821/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^9 - 1011329165874866234774616371028667754180360179385669667881267453635\ 27923329972091/2759569644445823863422430018088450010307771924709266\ 51300823113149935946046144*c_0101_4^8 + 1421749634450961534090593053723237008787245288596380531919923318406\ 8661609258641/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^7 - 6037081069139334311226080194463911012502668449779290194973296476412\ 1812116547119/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^6 + 3268942353176037367237117567336652100762030966991313372958788945032\ 284489626089/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^5 - 1153179133624515726895479602697753911197308539183973366863647951612\ 2616932655549/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^4 + 2983591358290192685934703325371300626390646528346519273948155269344\ 174325401205/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^3 - 8669894741546334822994934627182623685880362908720303086087366126460\ 23221311475/1379784822222911931711215009044225005153885962354633256\ 50411556574967973023072*c_0101_4^2 + 8496153682461779590506622939757275341675226420762442269448193838288\ 8014862371/13797848222229119317112150090442250051538859623546332565\ 0411556574967973023072*c_0101_4 - 234873719913382678443573975309847\ 966090551906226784204407438148642952693702799/275956964444582386342\ 243001808845001030777192470926651300823113149935946046144, c_0101_1 + 625152213106939168513347830591583594350707465222326405826641\ 5333951979353989/13797848222229119317112150090442250051538859623546\ 3325650411556574967973023072*c_0101_4^28 + 2773297655364376763567739071540554015156732483789305511552034511234\ 17010223865/1379784822222911931711215009044225005153885962354633256\ 50411556574967973023072*c_0101_4^27 - 2383387277089238299809402141108267252480599053779736401367210813150\ 1408471545/86236551388931995731950938065264062822117872647164578531\ 50722285935498313942*c_0101_4^26 - 2010399697127088443274475431306010617238606460366211497700852815780\ 846145575549/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^25 + 4560094856718555445844706485432056522982051891288129602111127061995\ 0543283971/34494620555572798292780375226105625128847149058865831412\ 602889143741993255768*c_0101_4^24 - 1369804848391155998653066167002747655667497916748785152065324413978\ 4687301465227/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^23 - 1047376511276411265587501891970261098596484845543113455470569280140\ 4866965463739/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^22 - 1268919770914440905973794659615419511006423481017421471530993491576\ 2383460511605/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^21 - 5523948486329589840113347960353235081220420941474202977209672218228\ 341807768253/344946205555727982927803752261056251288471490588658314\ 12602889143741993255768*c_0101_4^20 + 5071917002709775088829996902770915166778577753975327116881255607951\ 7118875716211/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^19 + 4743297090290259732990443867093433663404351492887953258860588590030\ 2216677409105/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^18 + 3199412963061033094473803370069250597377753015570043226909891248685\ 1308769994045/34494620555572798292780375226105625128847149058865831\ 412602889143741993255768*c_0101_4^17 + 3382188200245809629760311383638427812547472476541972378485742024054\ 2985165730845/34494620555572798292780375226105625128847149058865831\ 412602889143741993255768*c_0101_4^16 + 1823277674777017023370631607709620672105268716866861906286954315692\ 310991823720/431182756944659978659754690326320314110589363235822892\ 6575361142967749156971*c_0101_4^15 - 3555160370402551192461807593926502328253836530915724690253506085110\ 73094872048/4311827569446599786597546903263203141105893632358228926\ 575361142967749156971*c_0101_4^14 - 2876662324448221559601257581809332689876153749161257869607344312420\ 4703770130623/34494620555572798292780375226105625128847149058865831\ 412602889143741993255768*c_0101_4^13 - 1450784722386173704622292921849408437672260073784143381213940011597\ 70100967801387/1379784822222911931711215009044225005153885962354633\ 25650411556574967973023072*c_0101_4^12 - 5936883591462458761218831302133865293910436227778295306453700142605\ 9185543442459/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^11 + 6726868126069538567632651489283327013867938725766563763467330710730\ 977016542533/344946205555727982927803752261056251288471490588658314\ 12602889143741993255768*c_0101_4^10 - 7589095826104152037057114326247937847207033211389526861788644004333\ 3464266898363/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^9 + 1261741225250322932875027077475562022989325860185026453312278991812\ 74111561856605/1379784822222911931711215009044225005153885962354633\ 25650411556574967973023072*c_0101_4^8 - 2266829550177950596714851918149910259098540800599690146636230826962\ 8764235985979/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^7 + 6456506893446838542981491555324862097909160579754407473062823587553\ 1179569316753/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^6 - 3425153199718997745252580814649665222020031488804984609944280526841\ 272722460859/344946205555727982927803752261056251288471490588658314\ 12602889143741993255768*c_0101_4^5 + 7839583903820504118157570915377957114783435211424049059032970778579\ 530656901195/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^4 - 2198366851341666202383103652509602386485108799171310905581325930603\ 619875952415/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^3 + 6044399187648894260906810228997654787095908666266479150975872370236\ 77122824969/6898924111114559658556075045221125025769429811773166282\ 5205778287483986511536*c_0101_4^2 - 3263568031715339508643077639744601148616404201174971309560959166909\ 7657898225/68989241111145596585560750452211250257694298117731662825\ 205778287483986511536*c_0101_4 + 2543526378116545840952772338141126\ 3934408517031836902846377566660107821274657/13797848222229119317112\ 1500904422500515388596235463325650411556574967973023072, c_0101_3 + 257738543099799523618483970205542314353548808670048449710631\ 7920858043849919/27595696444458238634224300180884500103077719247092\ 6651300823113149935946046144*c_0101_4^28 + 1150967415268592095322806088406005264470659738690850601498047147263\ 19131303731/2759569644445823863422430018088450010307771924709266513\ 00823113149935946046144*c_0101_4^27 - 7755188025411292282504108876332237440284697634518012860278052541931\ 520943531/172473102777863991463901876130528125644235745294329157063\ 01444571870996627884*c_0101_4^26 - 8982454785931437770190294170222717412747302364665941187741878339880\ 84559947111/2759569644445823863422430018088450010307771924709266513\ 00823113149935946046144*c_0101_4^25 - 3058724952323242195091626187913451142537389094921684746913686815113\ 0983667005/68989241111145596585560750452211250257694298117731662825\ 205778287483986511536*c_0101_4^24 - 5477049957922147774928784655101934248630347211097325564927659450577\ 883827377433/275956964444582386342243001808845001030777192470926651\ 300823113149935946046144*c_0101_4^23 - 6100089812811990872969509324481430153148630441206053559084125989035\ 231241774881/275956964444582386342243001808845001030777192470926651\ 300823113149935946046144*c_0101_4^22 - 5319245175965463287405143300841294449747995764609392219825975151295\ 437136309975/275956964444582386342243001808845001030777192470926651\ 300823113149935946046144*c_0101_4^21 - 2614644871688638277967060323054056478854901913558848436959918515285\ 286359796115/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^20 + 1884322687909493194474733377421688330870954659540219300334170666001\ 3021259638745/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^19 + 2712603913146146243439701172393331568630401755557833472970418539505\ 1381855313147/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^18 + 1331299608354144113868822830986893836499985441310269754595603955745\ 5310794949927/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^17 + 1755761142801202910555800661570764645009409571034017503211950311977\ 3258541482903/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^16 + 1002728916759190656869384965633541164234756387604108175730649932877\ 970184632799/862365513889319957319509380652640628221178726471645785\ 3150722285935498313942*c_0101_4^15 - 9607706141356511671294435770128507297732716259189950720192729511702\ 1727122603/86236551388931995731950938065264062822117872647164578531\ 50722285935498313942*c_0101_4^14 - 1192200664543306531435113439764419894945068656278290772948234665066\ 5900450080533/68989241111145596585560750452211250257694298117731662\ 825205778287483986511536*c_0101_4^13 - 7184298269829662951274528052479176129098759014319460610281113512701\ 1324385694833/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^12 - 2959861807476754698253961220992303304484966469092169472392339697566\ 8056474226789/13797848222229119317112150090442250051538859623546332\ 5650411556574967973023072*c_0101_4^11 + 4711858247926303682723444700090749335924050394017867864774786855253\ 90558812493/6898924111114559658556075045221125025769429811773166282\ 5205778287483986511536*c_0101_4^10 - 2600951719804805456156471863009393204835348874120473346920400079471\ 7920936088377/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^9 + 3514116988000309027506334425686970375603322236703452246457276857186\ 1219505343671/27595696444458238634224300180884500103077719247092665\ 1300823113149935946046144*c_0101_4^8 + 2821401261538425085311637415489876925206842806355384651929722179810\ 766237809859/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^7 + 7346872559786548569931274127349427877934721337517049370425304624350\ 310498033739/275956964444582386342243001808845001030777192470926651\ 300823113149935946046144*c_0101_4^6 + 3342306851093133096699091681007634579907909050433515978614089572907\ 019965355803/689892411111455965855607504522112502576942981177316628\ 25205778287483986511536*c_0101_4^5 - 5397505779568746842911057154764380125360756442160297102033824777299\ 667775401055/275956964444582386342243001808845001030777192470926651\ 300823113149935946046144*c_0101_4^4 + 1493207626419779652128892618263045260930578338292597383514453563178\ 439995481407/137978482222291193171121500904422500515388596235463325\ 650411556574967973023072*c_0101_4^3 - 3284386931456288823397555780614851728112896942930535415190160197752\ 75590885609/1379784822222911931711215009044225005153885962354633256\ 50411556574967973023072*c_0101_4^2 + 2720704465868321361677534351481935312509288680894117244263122140138\ 99752495065/1379784822222911931711215009044225005153885962354633256\ 50411556574967973023072*c_0101_4 - 9359958483662795373226965752403897212980582711380413967833278916282\ 3401653045/27595696444458238634224300180884500103077719247092665130\ 0823113149935946046144, c_0101_4^29 + 44*c_0101_4^28 - 77*c_0101_4^27 - 297*c_0101_4^26 + 141*c_0101_4^25 - 2219*c_0101_4^24 - 872*c_0101_4^23 - 1546*c_0101_4^22 - 2843*c_0101_4^21 + 9339*c_0101_4^20 + 4510*c_0101_4^19 + 18287*c_0101_4^18 + 14496*c_0101_4^17 + 2396*c_0101_4^16 - 4512*c_0101_4^15 - 17900*c_0101_4^14 - 17027*c_0101_4^13 - 11623*c_0101_4^12 + 10322*c_0101_4^11 - 14115*c_0101_4^10 + 25376*c_0101_4^9 - 15311*c_0101_4^8 + 14283*c_0101_4^7 - 6673*c_0101_4^6 + 2667*c_0101_4^5 - 1373*c_0101_4^4 + 512*c_0101_4^3 - 116*c_0101_4^2 + 23*c_0101_4 - 5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB