Magma V2.19-8 Tue Aug 20 2013 16:17:42 on localhost [Seed = 324177918] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1940 geometric_solution 5.52812617 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 1 -1 0 0 1 -1 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 -1 1 -1 0 0 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.410368738215 0.535615254564 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -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.644941561550 0.902416422944 3 0 4 1 3201 0132 0132 3012 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.644941561550 0.902416422944 3 1 3 2 2310 0132 3201 2310 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.177022476687 1.083175364883 5 5 1 2 0132 2310 0132 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.131174494080 1.695850017368 4 6 6 4 0132 0132 3201 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 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.151944519278 0.310701015122 5 5 6 6 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 -1 1 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 4.100448395656 2.709522652026 ==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' : negation(d['1']), 's_2_0' : negation(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_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), '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' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2161730144817249110241421301837122395970017591954127076191422437394\ 10788561269496/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^29 + 5541318801940524627024121677979829153250810189629214174261657928573\ 26216126098272/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^28 - 5619487119001935619689970072613530662285308682470699091567863643880\ 745713361203236/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^27 - 1433175546065139969499503304067182912102929149867228987216621167676\ 4459302269625251/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^26 + 3347484004772574407794577428594156388657047557369790560280522402142\ 6503313666455045/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^25 + 8532603355808570176518654036143540075412592785119555752203728305303\ 6095047133933821/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^24 + 2278895258395505327306920948133410037234101636845718053347261306007\ 7118564765779190/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^23 + 9896826921625709700428192260376141860779331455547386097196696470389\ 4782461161718640/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^22 + 2680382497544385593434876885714818821337785601411963992439463931450\ 3710930837349890/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^21 - 1329067278236650136974271311074185750053681490764053759914186981706\ 683084233677312599/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^20 - 3168859681546314652531986323852329425613066723721625998813883928025\ 371295842790729714/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^19 - 9398099805160597481727600378508768714349337979855688659809404765837\ 07485902183322098/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^18 + 1571595563258205256467761885442703762756535592150022574821684739551\ 748959983162784452/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^17 + 9551960543174841672643611297197420281012331904311318827758566978881\ 27688099776822705/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^16 + 1049470892584988706325556440780165462355391917574605981741646672215\ 1354568787089694138/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^15 + 1326142463385864260493032528967965922657222117266253366123639953877\ 6951429190692177514/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^14 + 2038667251924893344403332700142107326925631973743871681996566824949\ 0029343138119281099/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^13 + 3386700007493342478752480470827887293606309193256283327651981466403\ 1468060521808228618/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^12 + 1700811230297003337472360985176374586625423894388584804367555208967\ 5415721007114398182/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^11 + 1177210229728512037715724616322886921991044913837015228288788285001\ 9590524705084691341/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^10 + 4125777779050137411225438288533341975546983821777108873478136492330\ 00802637692708197/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^9 + 6820539702911535664114315780469608115184907425208904757407590866960\ 400058410630092298/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^8 + 2411752039235513114381378480806573552760837454156130466834809918018\ 995845616451295573/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^7 - 9966806405633239715814920587378906167571775252409534669936708193680\ 127423269288117665/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^6 - 1162433359156582124714986288223945737759562273066711501682584814789\ 871285091725849318/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^5 + 2199636971808334728647432158948547617133554566283905468068650512763\ 155465386193957572/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^4 + 1163952438303754688739152949018606315728296387857970190831983669647\ 19395953522727185/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^3 - 1603052195070149462407980183628024925120954578798928872156610943913\ 34449555627667578/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^2 - 3319102625027590231177798792907193832776602374917318633412532707593\ 013911469777317/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2 + 3474633412826039424646299670517025895536702370427210346519694600050\ 853447296700436/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211, c_0011_0 - 1, c_0011_4 + 303613852961561588651231779302929589125625884700373923682491\ 12687820256672205904/6407433968932310312092210570779004838445349255\ 639573224352320904174110037906211*c_0110_2^29 - 3150819662096596125157004693072510167017388700485284035661227963657\ 2551815437632/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2^28 - 6295111290176127106543283269068493120934803827416358228046355226156\ 08945657013756/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^27 + 2012649350342149753709331633235685913168845020666870008858471834130\ 75034403225848/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^26 + 3019920364004212052220673159170408174916773983113423360128517304066\ 334672516627153/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^25 + 1519088354058463485866182948841000769682881453323238127393629842418\ 157295224536376/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^24 + 2345812465662251941578367991396042225921330818648119540279977924628\ 839844867568022/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^23 + 7237282678857039446186601103223288227381828780717789430674641006287\ 291913131585621/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^22 - 1915842098988286890742488035486654791998181399571801232868411008791\ 4027558541662267/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^21 - 1069401714331473045628644264454497226363043704194883285469034954145\ 00760468920938022/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^20 - 9045304035232735114669298764666896802831843917679161116333664620297\ 7871487840883547/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^19 + 3334785899014609309038185803847264652642152378369845851330781499718\ 9756816817842321/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^18 - 1853609532463996477730488837848714074200081159143992711500550327766\ 3902526949897253/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^17 + 2725700811426206969286933705289610952355560952927501559706319334318\ 07110926829999457/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^16 + 4592844194536638370220917358164943903778217877259689781121925708793\ 97778829122496001/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^15 + 6212764853240748322130535096826681288452663721253071240921895371608\ 29179024843650774/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^14 + 1288309057565473995968309144071263071136897520536849526521443445466\ 238360867737501900/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^13 + 9688603869167283708327161205523520047813434611735593963664217843515\ 59413503113392640/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^12 + 7496890759845233308033645909708155138163428965435590702472276490990\ 93029910299385092/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^11 + 2035043432856502652411037828226062108931015696782264477706019196159\ 82910197549986325/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^10 + 2489329008866223871772429867171465303775932036454493789719548559052\ 01247779556582042/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^9 + 2512726999886262324256159739847139936924272351483177584688366829538\ 48300795319972987/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^8 - 2419035445510605997765487567755191494241773055154118924404430735359\ 80063544868540132/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^7 - 1687914908377110223767854602200303191944224198321040142609643933408\ 37467942606362739/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^6 + 1654405377906818933271084683349583171079938637254674863797392887121\ 5041757660347845/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^5 + 2619463393357429159669045199772065560166273456382589418816510712477\ 9976905551268774/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^4 + 2282471702282545658563290215664303176990122664580145094804599437228\ 242067710720271/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^3 - 1517669909407368359631000535623483910800527542350491930428813074980\ 938906143313194/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^2 - 1469101111930368105030665434856701143258092406546005851399046463223\ 21131235083482/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2 + 2951528006265708555986409312994678099887915389322641303019870104201\ 6863183843830/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211, c_0101_0 - 157192459090873124367376502198036472911977944699040651191454\ 49266939191968458012/6407433968932310312092210570779004838445349255\ 639573224352320904174110037906211*c_0110_2^29 + 1673442937816630865963435464135198235747903639850190377102742097757\ 1712298075154/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2^28 + 3266922718459385566857537526723053474502847867251637361191016708967\ 48561276024307/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^27 - 1148713138471413782730838394027428454818860512675333081121881595442\ 26006384192525/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^26 - 1584862207107992263312292312620978885120091841067972593203228230795\ 468808831824463/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^25 - 7227788009721588929392631679258149299042461998468464724605797811473\ 09523212882377/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^24 - 1082107508061916587122065420730727660790867138657520808771316582453\ 210809827775565/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^23 - 3719154881312187751874235221655820961691233702649791159581784888265\ 748191363004838/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^22 + 1009960465895296677705307890287094664563853869664437148905160628061\ 6411050497491552/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^21 + 5534288072931881185672059045146328735228954548624197545724626733944\ 8104777243540039/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^20 + 4443688730130364449280943445836946380967548464778917313605437372800\ 0151167141778282/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^19 - 2230018860611613913437588756674308066351112076437683044454512874945\ 5671624753477887/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^18 + 8705146713282218216121896803065494352247525924924801820634331106524\ 366253614302869/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^17 - 1387465441709147713568942118766542201545301525317974554112595908647\ 37382626683448817/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^16 - 2359639111515100525157623841877968582139860477330113439027513592905\ 00555089120455431/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^15 - 3036650271274683034924572206773055698306232713116895287387219685348\ 19653010092732505/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^14 - 6463769280710189028862615957265012085072653419725350488710871885845\ 70754009179216040/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^13 - 4673714541041076552566587975034226399057676930873398211208168494876\ 59386601667453829/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^12 - 3344869696917974842577427140252825598743534726014304627234972322683\ 56300352931363007/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^11 - 8153168168809988690820967182910268079901487697733719516304542870716\ 8857343258537674/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^10 - 1097837878303286549833609988911665712864089192329032269652264566066\ 85249747019335701/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^9 - 1303252170021622000564962251791133901391948390194004814722296683276\ 97009067900579268/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^8 + 1378918958097378887667026481054803464195817435604140239815658513064\ 75934105527685854/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^7 + 8896752747092702935685785451358251613722107728261459873065918899125\ 8273766972861669/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^6 - 2469328838777414729892165659291199206484914838279821019505880753924\ 6098388786070315/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^5 - 1317060326537564173998840598288754377166640237163518798348034423911\ 0819870742482680/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^4 + 1556912847579037603359246535034264612852826702490699375763227241875\ 827523076998672/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^3 + 6670036923946346245440975375752549844531559022281433627131018242040\ 77392853971613/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^2 - 3213160543016248500942878126788991175470780519501014246503275370934\ 6623796044489/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2 - 1577381065979428299476492019957464205900908594889250063396707821840\ 2979560672592/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211, c_0101_1 - 648759771443691201854315002735734764262934999783247753690141\ 0437647919364268492/64074339689323103120922105707790048384453492556\ 39573224352320904174110037906211*c_0110_2^29 + 6839020674481214069952075526717625780569944270152222912590201258558\ 129968098414/640743396893231031209221057077900483844534925563957322\ 4352320904174110037906211*c_0110_2^28 + 1349482079548156970358785794577735895448995420735274689229371957424\ 52417680534173/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^27 - 4606463640616230748521190743789343976269702037038588207539773200273\ 6366186744284/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2^26 - 6555054764771094825540422643134305874116905698863275671995134147880\ 00450775292015/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^25 - 3045542460428569129478621164625794206750566111769383917935461986451\ 89816071373372/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^24 - 4454327346791676870931818611270545789349861067074128126814731109141\ 06990642743208/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^23 - 1538640620061275310606365123268258264204235699451993326644347890863\ 502039287376832/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^22 + 4155617774284338054810530413502905070081083225675296648788407070724\ 324299272097017/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^21 + 2289443054175415077928066203595989443308143072068750983567681749272\ 9573719867655810/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^20 + 1854669846486985458134314975383744120489261859045828075801836193156\ 2332794142698131/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^19 - 9161373212329219547611728038955976075586561134449091324755318330955\ 702292208921779/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^18 + 3405773503246239844499415032297600856664472144340281845880067194748\ 987735531238210/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^17 - 5715597490385709014697232951685558243731677450139563608582291494872\ 7005728729677807/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^16 - 9804318213216247437694923403370778505718559231752721077738646607602\ 8151670568314563/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^15 - 1259279628908778098817680058153436575385360265781572823173728770296\ 21033438158945745/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^14 - 2675127532813857237615800027248774476447192119463101124381474415097\ 98250596142168385/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^13 - 1949067648221877461726284780937791534025156320422261845554545881425\ 49474034261814966/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^12 - 1383277721322533536416405905913497290215434115512024053733858080042\ 89287610141269662/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^11 - 3408704432732677002408483166987447025697938920595550730343490038200\ 5418987227210865/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^10 - 4473470388666139507633984831657270159722551475385114101982230716887\ 4650112733623045/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^9 - 5406592746564825280708135875220071400972853251015954292908650340789\ 5492081448524069/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^8 + 5677164221440936318387475774937711730092047888558510852552774714711\ 0251770956851941/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^7 + 3764499333724536828822038574084675891143575862336178991516378391124\ 8310918294253864/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^6 - 1023312560071945342497352478465845903762964208198813310011393678756\ 7105783563957696/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^5 - 5634590325480457457500040432475843998664754219797690879058006782682\ 544277169069243/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^4 + 6485300615065024502390627874162563629515102112605496917586738903480\ 77853195674736/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^3 + 2648262253829260517942363297193616757990291045548103777676516826437\ 69893107710010/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211*c_0110_2^2 - 1343669969804452448882506823191341395757181352349749787837280891045\ 0686223628374/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2 - 6358608698911912361808313098234016478765187245846985136857151508761\ 077884638565/640743396893231031209221057077900483844534925563957322\ 4352320904174110037906211, c_0101_2 - 195350164405214166136408729942346309724451412031175534188/61\ 1530034265616205392434689299423726416561273999297058943*c_0110_2^29 + 293662841128049575749081974606321793251885608910312409806/6115300\ 34265616205392434689299423726416561273999297058943*c_0110_2^28 + 3957437851719598635519842356001514296673711897920970595873/61153003\ 4265616205392434689299423726416561273999297058943*c_0110_2^27 - 3191238066259650980990969779373818650819903572599363548278/61153003\ 4265616205392434689299423726416561273999297058943*c_0110_2^26 - 18843868897821468279762113776944772348674800692391397559804/6115300\ 34265616205392434689299423726416561273999297058943*c_0110_2^25 - 530640391551171867150940535868483687094408199411230338099/611530034\ 265616205392434689299423726416561273999297058943*c_0110_2^24 - 10543035464329423966175158082367494170007405116147004772831/6115300\ 34265616205392434689299423726416561273999297058943*c_0110_2^23 - 40353326412510071959392990079477405587452328831505896077400/6115300\ 34265616205392434689299423726416561273999297058943*c_0110_2^22 + 144963106872610454640382956368682075480768963661176936915058/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^21 + 630399684350872981197855183166617639004757844892044573620826/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^20 + 258828475852368028422668187549531893370773633008211117473904/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^19 - 483739030900449029767696871296009989731762680156230456077745/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^18 + 245189664045747054914308265029646836320624328216045641093478/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^17 - 1792813284231249921063668995361246894124849485442728008816171/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^16 - 2157959704989515566892557761829732359692709849202581276707434/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^15 - 2596468034081988490924031805851669259479211992417007764692844/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^14 - 6494935008984852205763794383082009005146187637998736374714101/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^13 - 2452019538814000049234478443869345950204731671520658316780867/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^12 - 2003255766534724195619619123319744393786744053941760512564844/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^11 + 649191647784663704614854774333454290517323793781543981636894/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^10 - 1109332475977275682954041565981567592355902697798629748938815/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^9 - 1009328804287283931245355309784374267872988036145590370043398/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^8 + 2327237471062428988796916785306180547508921832821941085737653/61153\ 0034265616205392434689299423726416561273999297058943*c_0110_2^7 + 302753887269930068799466526062113773706898911298185537074951/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^6 - 672948374952623055391398103147863091469506230210051291541849/611530\ 034265616205392434689299423726416561273999297058943*c_0110_2^5 - 27226171981055390191458875555578324462491939897127378800875/6115300\ 34265616205392434689299423726416561273999297058943*c_0110_2^4 + 78017183205640736060525540419433049970411869258507279739610/6115300\ 34265616205392434689299423726416561273999297058943*c_0110_2^3 + 811154183183797476319918654652684614161030581148185456913/611530034\ 265616205392434689299423726416561273999297058943*c_0110_2^2 - 4951490931078366084996620995315396366343117231299101291797/61153003\ 4265616205392434689299423726416561273999297058943*c_0110_2 - 4522570814039971153123506762921598927179122931238656256/61153003426\ 5616205392434689299423726416561273999297058943, c_0101_6 - 813790571675458616039798784072176715250750602237483958668448\ 13714241989826750120/6407433968932310312092210570779004838445349255\ 639573224352320904174110037906211*c_0110_2^29 + 5293220933022266640916354187080917475501531003735441113704202098181\ 4409545837704/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2^28 + 1741907503950876179698814375204456886775220015759359626501843962259\ 339118315639352/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^27 + 8710377087619893760315864668454894390526658538285009773101978586206\ 3220722003967/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2^26 - 8752683398305695324149624576459247079133072156551109962656823541960\ 803826458610157/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^25 - 6972857098802124642204951249923403392708631278162486554509063650451\ 694112383569720/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^24 - 5718593946902125530261225576081387137321815102186914430769674531906\ 069762008662363/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^23 - 2117330445160464815964955871184967045478477138465150214716836704241\ 3417749766779602/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^22 + 4533315450114526160743835703293822005489782647473829226137354576484\ 5611433331410044/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^21 + 3114671588257951877734056414777749782612090934106843364247520483139\ 29476173934662027/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^20 + 3386459945708650424255886690627899886729535126277176578422465265276\ 68597738958634683/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^19 - 6981990921794225060047764914449505914665014500566928237466992818086\ 2351541556830065/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^18 - 3505657741018150761329541559076919515033439647375547265497781616657\ 1575610961064368/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^17 - 6752838623742135798510588852770184371550163864493475109597007054240\ 01447201871153920/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^16 - 1533987496900647551984454255193347546583488627062570360428389713343\ 003565464775854094/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^15 - 1943488041267624157104112945959321499863092512372244650943694950245\ 965372529281435111/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^14 - 3804294062017987615156244852048562254704560381367239713662276186493\ 576780214998319546/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^13 - 3551123887799891469101597629757111102742900052855848826411203559655\ 962191108982118010/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^12 - 2167533438146331671804442379487373873612881024510344437137308168767\ 784205749843805440/640743396893231031209221057077900483844534925563\ 9573224352320904174110037906211*c_0110_2^11 - 7993362494602794657601791600909188214086590213505994840861839307484\ 31156295248389527/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^10 - 4632330561920353183496247275830814387434340258856830992288223396555\ 71981342510719889/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^9 - 8701122195524896427718777673622900839121152545627565459160811492508\ 24055539323707269/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^8 + 5469434730179291880374180578547531610045122924865290102032217694088\ 06054385248260456/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^7 + 8576962498451154373575651553540600832201503006161545536411967643761\ 59545257320565833/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^6 - 7934132947531011977023342120467205802018152325565892520710293918651\ 4268454399444266/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^5 - 1702681387945194446201486569698120291400301229602877988262401021653\ 28275668416910052/6407433968932310312092210570779004838445349255639\ 573224352320904174110037906211*c_0110_2^4 + 3938129506190536198552623376144617277402338728399292183562622749324\ 194509788614436/640743396893231031209221057077900483844534925563957\ 3224352320904174110037906211*c_0110_2^3 + 1187015226704786670055051696055183224343721160565353149445219777889\ 2410696775426115/64074339689323103120922105707790048384453492556395\ 73224352320904174110037906211*c_0110_2^2 - 6218634438030081834507941250733876502485929512940075004703062013959\ 5893170155829/64074339689323103120922105707790048384453492556395732\ 24352320904174110037906211*c_0110_2 - 2662526660334049237585763330079976018683776708833840736999028555793\ 82405676658486/6407433968932310312092210570779004838445349255639573\ 224352320904174110037906211, c_0110_2^30 - 3/2*c_0110_2^29 - 81/4*c_0110_2^28 + 65/4*c_0110_2^27 + 385/4*c_0110_2^26 + 13/4*c_0110_2^25 + 221/4*c_0110_2^24 + 827/4*c_0110_2^23 - 2963/4*c_0110_2^22 - 12907/4*c_0110_2^21 - 5381/4*c_0110_2^20 + 9719/4*c_0110_2^19 - 5053/4*c_0110_2^18 + 9208*c_0110_2^17 + 44241/4*c_0110_2^16 + 53783/4*c_0110_2^15 + 66869/2*c_0110_2^14 + 51307/4*c_0110_2^13 + 42885/4*c_0110_2^12 - 12557/4*c_0110_2^11 + 11561/2*c_0110_2^10 + 10269/2*c_0110_2^9 - 11824*c_0110_2^8 - 6077/4*c_0110_2^7 + 3279*c_0110_2^6 + 517/4*c_0110_2^5 - 1379/4*c_0110_2^4 - 13/4*c_0110_2^3 + 31/2*c_0110_2^2 - 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB