Magma V2.19-8 Tue Aug 20 2013 23:46:56 on localhost [Seed = 3549805026] Type ? for help. Type -D to quit. Loading file "K14n5047__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n5047 geometric_solution 10.88659022 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 1 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 6 -1 -5 -6 0 6 0 0 -5 0 5 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.219229897795 0.516516860014 0 2 6 5 0132 2310 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.467322788877 0.413615171646 7 0 6 1 0132 0132 1023 3201 0 0 0 0 0 -1 1 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 -6 6 0 0 0 0 0 -1 1 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478465072832 1.091985780911 5 6 8 0 0132 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 6 -6 1 0 0 -1 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.965448917662 0.663514979498 4 4 0 6 1230 3012 0132 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.088850888223 0.622037418899 3 9 1 7 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.959213091959 1.091532120249 4 3 2 1 3201 2103 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748608744826 0.511071838164 2 5 10 9 0132 2310 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.812539055029 0.642335758513 9 11 11 3 2310 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 6 -6 -5 0 0 5 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554389500410 0.674754956869 7 5 8 10 3012 0132 3201 2310 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 5 -5 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.807961362864 1.553751011723 9 11 11 7 3201 3012 2031 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 -1 0 1 0 0 -1 0 1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554389500410 0.674754956869 10 8 8 10 1230 0132 0321 1302 0 0 0 0 0 0 0 0 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 1 0 -1 1 0 -6 5 0 6 0 -6 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554389500410 0.674754956869 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : negation(d['c_0101_7']), 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_11']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_10'], 'c_1100_8' : d['c_0011_6'], 'c_1100_5' : negation(d['c_0011_0']), 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_0011_0']), 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : d['c_0011_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_3']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_7']), 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : d['c_0011_6'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_4']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : negation(d['c_0101_11']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_10']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_4'], 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_3, c_0101_7, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1759133931737282426242486868360188415287745639722911456734749090/60\ 5131967179032660496908808928967651741908990009636005448272971*c_010\ 1_7^28 - 8947734693545053383656655370125843559792085358463070737480\ 834757/121026393435806532099381761785793530348381798001927201089654\ 5942*c_0101_7^27 + 163230964874703807910412243085722583611829524761\ 9172500839118643/12102639343580653209938176178579353034838179800192\ 72010896545942*c_0101_7^26 + 28442408053011515333850273905400498414\ 103142993206973783650135901/121026393435806532099381761785793530348\ 3817980019272010896545942*c_0101_7^25 + 2934038162352370463595036800573439120344862902969309899493288522/86\ 447423882718951499558401275566807391701284287090857921181853*c_0101\ _7^24 - 20224760136275668752266948550537669768942547755315318348503\ 9882651/12102639343580653209938176178579353034838179800192720108965\ 45942*c_0101_7^23 + 94248300957982392973608794802603964850900962944\ 300714707131706239/121026393435806532099381761785793530348381798001\ 9272010896545942*c_0101_7^22 + 231378051360413990736812317655175306\ 903022683680205781714457271025/403421311452688440331272539285978434\ 494605993339757336965515314*c_0101_7^21 - 128622824625774709211926306294572812601979676660197031747859185921/\ 201710655726344220165636269642989217247302996669878668482757657*c_0\ 101_7^20 - 54847183103740820622044649213636067919540421854897755914\ 1514734931/60513196717903266049690880892896765174190899000963600544\ 8272971*c_0101_7^19 + 242777460535229325371494192428109223752184721\ 819411862062492257191/201710655726344220165636269642989217247302996\ 669878668482757657*c_0101_7^18 + 4289877583537925096572895256929931\ 587615615120747837010687747674869/121026393435806532099381761785793\ 5303483817980019272010896545942*c_0101_7^17 - 5076265962277037813470240009169043934322255956020813086122839345587\ /605131967179032660496908808928967651741908990009636005448272971*c_\ 0101_7^16 + 2462954578096850424530407142436337242609520269096277497\ 734238294146/605131967179032660496908808928967651741908990009636005\ 448272971*c_0101_7^15 + 2471017251014783860510169533148857711567314\ 92464127119326247435549/6723688524211474005521208988099640574910099\ 8889959556160919219*c_0101_7^14 + 677517730296380553724469692254981\ 068945600609494338664537490838959/201710655726344220165636269642989\ 217247302996669878668482757657*c_0101_7^13 - 4511942277360135321141886266517632534251489073216918044816064429293\ /172894847765437902999116802551133614783402568574181715842363706*c_\ 0101_7^12 + 1923043363749648429076948389597189117499373731842551313\ 5914705159142/60513196717903266049690880892896765174190899000963600\ 5448272971*c_0101_7^11 - 589620268865737413753585706567669584456979\ 3097053842807125578509865/12102639343580653209938176178579353034838\ 17980019272010896545942*c_0101_7^10 + 298551699956096482040627161256369438290398599776337294549989228343/\ 86447423882718951499558401275566807391701284287090857921181853*c_01\ 01_7^9 - 7247750170174144372591879545627303353852353513855377702830\ 78473/29436783926595936201630043728606686371645132558721409030903*c\ _0101_7^8 + 5150127815240511668842871996975900740452069350324023192\ 131028706795/121026393435806532099381761785793530348381798001927201\ 0896545942*c_0101_7^7 + 6527001727507250914907958788058718632973324\ 906470072819307317009427/403421311452688440331272539285978434494605\ 993339757336965515314*c_0101_7^6 - 2330987240656985273094181284646521598911421068947203645315772987773\ /1210263934358065320993817617857935303483817980019272010896545942*c\ _0101_7^5 - 5053492540352609412145481274062041286559503326642278093\ 223416612095/121026393435806532099381761785793530348381798001927201\ 0896545942*c_0101_7^4 - 1036779006102615447641877849249954716290627\ 412213994297840738952726/605131967179032660496908808928967651741908\ 990009636005448272971*c_0101_7^3 + 540835599250248230914730919047446081440974596971716513179474115818/\ 605131967179032660496908808928967651741908990009636005448272971*c_0\ 101_7^2 + 617465667465996080679191449197751753526629947302860228214\ 996764156/605131967179032660496908808928967651741908990009636005448\ 272971*c_0101_7 - 1643498670973843539104448830544142084588679997179\ 76713928870632575/4034213114526884403312725392859784344946059933397\ 57336965515314, c_0011_0 - 1, c_0011_10 - 17789220924058460200679365382183596627643655036695/51541674\ 9141409689629889182372472225284509219635269*c_0101_7^28 + 25310258196885300988474287645491697181811120017407/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 + 25721954228095519176150683434776336724940955480512/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^26 - 112772368266913116054376015843319591635711986502349/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 - 345230263401348943962516815607607079194244270500926/515416749141409\ 689629889182372472225284509219635269*c_0101_7^24 + 658683923058479675990624070649264172746394483492466/515416749141409\ 689629889182372472225284509219635269*c_0101_7^23 + 424569800471403323137042571093662846677802931831371/515416749141409\ 689629889182372472225284509219635269*c_0101_7^22 - 2989869470179100265317663014086038607630059296311465/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^21 + 346205144252269875912258036622006820277971054403094/515416749141409\ 689629889182372472225284509219635269*c_0101_7^20 + 6715337738883932659006403848421930197683013742544029/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^19 + 1681674494463703789268915433316034076670076694851681/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^18 - 20372029107797840723443652035514897105783892825836372/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^17 + 26680316880925645548487051505728290243100433819761304/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 + 10655610542221663042068524671366373339336159522333977/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 - 7796855873704956213707804433521460289858098163789478/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^14 - 36074359011788235597735156108116572604326744900696977/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^13 + 117443018183660433886151316976531797495789450591318275/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 - 48103937981845128578426184375381201776181306037671981/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^11 - 39164954713724685543445450852530044496435048755278348/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^10 - 92208799087449675887543512219039114048618312015926137/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^9 + 52718595479875916930313374520441637267206483721472562/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 + 65137827316285151390577300370369409158662330196405420/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^7 - 8531765458291552628139174222355837875072547486110597/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^6 - 16188842783413493193280017421403392347836996185501418/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 - 10638432584335604228718616960820908251023062099249691/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 + 2030182816024281752649358493341817251633571637574824/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^3 + 2901594441638875679644977427630126669300119714898029/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 - 1195504074694707668157640997820900836846852655976683/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 + 553726917659163065649493946320810011666809261670084/515416749141409\ 689629889182372472225284509219635269, c_0011_3 - 93189949842785358191620825305745544932696054491478/515416749\ 141409689629889182372472225284509219635269*c_0101_7^28 + 32972234871923769106052114705310726045624541204610/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 + 112257804230068085471809198196779507890623153380917/515416749141409\ 689629889182372472225284509219635269*c_0101_7^26 - 489087693915930031843102138693832725480565678247054/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 - 2270376900139813059476611571485492695367216978496724/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 + 760720533594790160034134938302236187574921424935447/515416749141409\ 689629889182372472225284509219635269*c_0101_7^23 + 1445877369028529272964634222344089983710872464357354/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^22 - 14695081048250649612726410442733680171895722232665713/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^21 - 13290651869448151365908332048623213576012576922909038/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^20 + 12235114528752646677516122316754288183074619026891939/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^19 + 7631797472177369066628097058334370835765053693404606/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^18 - 99981847322700830209157444056052998757930079109941710/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^17 + 37293369488388791380951773063143953819643209648256149/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 + 35655162821875718745117342226457938213236356256553382/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 - 21022739415266436165760005960318978238290804522839176/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 - 197625837847143037150299508459355252269522874116043837/515416749141\ 409689629889182372472225284509219635269*c_0101_7^13 + 399130052974715914958602253931505644338589670650445686/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 + 43084180202295265902655506618643702381662159300989345/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^11 + 723942422619249004154960786929506131140367522679571/515416749141409\ 689629889182372472225284509219635269*c_0101_7^10 - 340072147152802931562837457746600230168533856933324062/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 - 8742853841159828307527709142903428549297265359306666/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^8 + 162321759755730007534999331729559125763362688372749500/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 + 22357065278559406970655108629266493465187419877709288/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^6 - 15402778555832347107946357050932544731021640815832298/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 - 22218642388403233500866338754648887759016663847773989/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 - 608772311628623017689202991285891098896830420173358/515416749141409\ 689629889182372472225284509219635269*c_0101_7^3 + 5439535447500062019786138531561778076374913808435121/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 - 3170899478250708523205359074278056255526140206596495/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 + 744435087591817775047980235893803962071932164487421/515416749141409\ 689629889182372472225284509219635269, c_0011_4 + 179978833819032494953981345466610883908063054874670/51541674\ 9141409689629889182372472225284509219635269*c_0101_7^28 - 86788883976247136762360520160865338975367000383192/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 - 212951068690956264060033460171921609953687596079280/515416749141409\ 689629889182372472225284509219635269*c_0101_7^26 + 967615198684126884252078874602885795557755175867103/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 + 4268643204115612425876710393492661287549889830615124/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 - 2049115111516966819418940719713168518426296338495356/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^23 - 2740487705604147604527929738434955910563615028556817/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^22 + 28610587878749897384350250470579927628935657699712536/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^21 + 22074213234830981905839645606864726412126307482527183/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^20 - 27564543407472224988645433372297457071117736533641052/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^19 - 13314987531666841647240010389553953486522997356139959/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^18 + 194304454072777090271738972555203040909081693875975134/515416749141\ 409689629889182372472225284509219635269*c_0101_7^17 - 96375060373863621785636203848019475585766713758323260/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 - 64110215727424633129094993537668975521944604824581979/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 + 44435418227593741509404356506183905125851703162674768/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 + 378280724546045938649412976711541582795795968449059126/515416749141\ 409689629889182372472225284509219635269*c_0101_7^13 - 820334446233304754309418981499795907114481764255089683/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 + 5102407782831068708039847986502400918919950598063134/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^11 + 14149088952157067492710561239738558701101892149155715/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^10 + 680855901250056809386572394495125911228694421287695719/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 - 61100673429820499689586961298475430062538692382315368/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 - 322778158053498027397705929206593819609354881719835474/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 - 20498438706332401511262031501869749243809001131509540/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^6 + 38475780552273576323790586138447985295737892669929172/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 + 42759561296325286340951521561857399085047225156782138/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 - 2078500177166153317921142883343581568571848560306461/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^3 - 11809767221884619134135509845910259890759520366178872/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^2 + 7518940587470277616900518342034205565005626142541119/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 - 2588423203958331315322043980653492029531877549392945/51541674914140\ 9689629889182372472225284509219635269, c_0011_6 - c_0101_7, c_0101_0 - 46438498637115876529392082598744841807919556746437/515416749\ 141409689629889182372472225284509219635269*c_0101_7^28 + 28841256651597341450965576014113684945597807986997/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 + 62211150810554821984120891516359489333829145301546/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^26 - 254044739544949354412966038440366517077513556236242/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 - 1075664969912041432087728241995603066785664021741063/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 + 730387513061596292917642684535042215827539300798166/515416749141409\ 689629889182372472225284509219635269*c_0101_7^23 + 918212272998246734879084862639737403934613288013435/515416749141409\ 689629889182372472225284509219635269*c_0101_7^22 - 7368963467241358617099554259291392505129806759234083/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^21 - 4719867989552039684258547400019643911315463687081642/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^20 + 9519250778087881080275637142778845620846513555422039/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^19 + 5007442918952246043623469112269504113946138574083361/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^18 - 50057213999336243998316171357430094924705172425367591/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^17 + 31669934442551697061220316541027823095492042927291778/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 + 24230729330005792617381576532850018041563683536555704/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 - 10497448513585719439772126582495530227319548292922090/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 - 96351324755831169101957130578237772822687692617756497/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^13 + 227659035421081904677587355066427546593331381413246548/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 - 6632781857204746212731202296934506119145650678026177/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^11 - 32112411047359668946079705228818962735852463393989439/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^10 - 195539460562035631997765729950797941236402932436737191/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 + 22519918203409987651314135209347983389945380578059108/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 + 105669822580244498471862547341120352327269771872655246/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 + 6266867012586557083122880976740589132541574525972228/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^6 - 14716846534611702422701120729990818255404554821178607/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 - 14519116780790391336083890746257228650239730618508553/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 + 428444279637955356370875985417855501335084784022836/515416749141409\ 689629889182372472225284509219635269*c_0101_7^3 + 2915966704956430319863615040137231648640238672231334/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 - 1949028868275944349050314784944932849375464575518985/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 + 1428794578711589835989606893765874748943639963935350/51541674914140\ 9689629889182372472225284509219635269, c_0101_1 + 130482547081454306622816815913343217665590106328583/51541674\ 9141409689629889182372472225284509219635269*c_0101_7^28 - 84044048444338430093424733314598375857670549582146/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 - 159323803733051648073782391927456902611187914315580/515416749141409\ 689629889182372472225284509219635269*c_0101_7^26 + 720684131678171017752780003963699816659711492669952/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 + 2994178228255489793492119172620574088054905789136485/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 - 2055916160042861926859875339924634157188498530144929/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^23 - 2165695530957593665768627659581817610149030470412579/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^22 + 20872373089604622471131323394888579946218934468859926/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^21 + 12718747897580985188635043711738464429419001118705986/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^20 - 24899670197938087919120869812309266498773490449506699/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^19 - 10302146060576606920012538038258904926840054193393537/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^18 + 141393974906439485987176998342501586106845960726586765/515416749141\ 409689629889182372472225284509219635269*c_0101_7^17 - 92299244866530404527176974804027355548453633579116462/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 - 51111833957688388748020022112115962527664968770250645/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 + 33834004121241373829771906548587713819623913779663731/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 + 269505304470272518086063506170481817293515909355159345/515416749141\ 409689629889182372472225284509219635269*c_0101_7^13 - 641657961536874389156694780227631466293889948776708951/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 + 65404765323864467997259213474941320283583997400750870/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^11 + 48126231829107215718786949757377649336803304490515571/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^10 + 526249816844827128126686987092649728035442196060333260/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 - 95306136882526017464492952720044090940197414569674316/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 - 262868769927448820450542710121726190329962356435308994/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 - 2849575480058504853082896401405896806784768085731842/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^6 + 37836233900944998555389202801969418438427881413088826/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 + 34550193690992757029369276748818987340574250983123223/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 - 3096027075205940057996379402044105734614933735850152/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^3 - 9431740028258302513345236283438537520260802120695063/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 + 6478776684908279756979195705623480023282248983426642/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 - 2226412638330593462879823324282050115923418826995671/51541674914140\ 9689629889182372472225284509219635269, c_0101_10 - 95610473737330000048231789331881813436586412016418/51541674\ 9141409689629889182372472225284509219635269*c_0101_7^28 + 42826535948162816531463206553407064528521141124837/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 + 116823022428921682067366584121992050329875978339880/515416749141409\ 689629889182372472225284509219635269*c_0101_7^26 - 512516376694232339506249891158799314033221618636273/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 - 2288297665850156363032653516779129293842807325850410/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 + 1022651402919226348948243776735430283585362112658707/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^23 + 1536030761155739594805204776905114233047405005241918/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^22 - 15210490699420935204257082091106161044104081123009436/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^21 - 12299963691481567900844252619781940739816855993007774/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^20 + 14560642172212604230202244820664894146495977814444221/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^19 + 7593570748981764795134364662613985144558403582423881/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^18 - 103666947052162563024527324662919031870621246302513392/515416749141\ 409689629889182372472225284509219635269*c_0101_7^17 + 47294123746783645230244315151259497229226484227945027/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 + 37806708517987293515707018610589378491248123823244733/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 - 25313714821956299201530192401770575585342728281336702/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 - 203212584763590315916802026906725892329317558222976386/515416749141\ 409689629889182372472225284509219635269*c_0101_7^13 + 428608145583056479851413720928887875012362750109936983/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 + 15143728788898148063762518527662656656920843662932173/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^11 - 21016624297459722889116578914276580079651618996789574/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^10 - 358971106816352984651617500849756068066772670117695933/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 + 20983564355943068477725402439400724288216054267151622/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 + 182721349129649292956516624109346301321781538484015381/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 + 15832871013178449092270908758467732367285471553103874/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^6 - 22945714299483068396845361889393972392920656803448910/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 - 22791606456373559794260901055011763369605452866138706/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 + 567468603883755416261997293944048964003493607841577/515416749141409\ 689629889182372472225284509219635269*c_0101_7^3 + 6500431772616002939045982243467887623599738784786342/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 - 3525031902913249957546592880144804985824209106060906/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 + 1205613447305116882159860371010633437621283357788256/51541674914140\ 9689629889182372472225284509219635269, c_0101_11 - 103791296217507943595573861734394902382114216436801/5154167\ 49141409689629889182372472225284509219635269*c_0101_7^28 + 54216617762521843306200148638062182331632472881087/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 + 132631394819662074324199456335998347514842230687859/515416749141409\ 689629889182372472225284509219635269*c_0101_7^26 - 560219966679153300245071946276581558096960764795578/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 - 2449008918042591140707349025676067881212293239299843/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 + 1336499037856913713695440009190178332116267003266550/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^23 + 1851768618857002603051737619197679710753651161915334/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^22 - 16458503843033580171978205999731554139159314556146363/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^21 - 12117314449883032479650358450856811579574694411983790/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^20 + 18242189659331636948566414295057281608254955966996565/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^19 + 9789690100285672214720485117229139768228159561129300/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^18 - 111850266067219696187552766191840815731707584269561132/515416749141\ 409689629889182372472225284509219635269*c_0101_7^17 + 59905195197807282729579177941944168425678201472829212/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 + 47276568932017616489097138948754979798670944146200768/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 - 24519904903010722023225085835795904997903882768450272/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 - 217043586085798429661597538727177733352588243482681365/515416749141\ 409689629889182372472225284509219635269*c_0101_7^13 + 483962502379898312819317629325280321300894438438958764/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 + 4682284887375778946137466794381080890604231188952596/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^11 - 42656744586023807351795193886715790378581109921737002/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^10 - 411794303400123384633220327341072675096174795490053687/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 + 28547283297765393041282877319893933640426735858386902/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 + 214355189601774122926883224302704071451216511031728382/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 + 17357817149901192655561205552265933302836174551853770/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^6 - 27066066517104452670259780640894837657158072206206121/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 - 29191245322973461749572901584350979935939781296766879/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 + 375169038072976739348611006488825501219488298256392/515416749141409\ 689629889182372472225284509219635269*c_0101_7^3 + 7745627721607185982480433984413772143206108321707908/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 - 4042316572273915613846254839569641101937712065099302/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 + 1309241334756040327806128479046886352315641081491651/51541674914140\ 9689629889182372472225284509219635269, c_0101_3 - 77814956956380124163995217185065975749393262046308/515416749\ 141409689629889182372472225284509219635269*c_0101_7^28 + 34840506560721672734917181808648610483836687444548/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^27 + 94638257418528022070009270292743077885614432944194/5154167491414096\ 89629889182372472225284509219635269*c_0101_7^26 - 413844451973928562423068747486797640599953164241572/515416749141409\ 689629889182372472225284509219635269*c_0101_7^25 - 1859974716861243180352532166870490878372313943976347/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^24 + 828176708747862425912577098034433133498714028753724/515416749141409\ 689629889182372472225284509219635269*c_0101_7^23 + 1253906380651497968583190918024821908657278084832009/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^22 - 12285753471324240426605350224558751630962800549236165/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^21 - 9941292498097052523878170634786183986198611168692727/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^20 + 11801469700250207701925488723176932629267498600060477/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^19 + 6624057872412111149502867255355120240335464273631329/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^18 - 83371333360631758638452992919627235018876379285017338/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^17 + 39081253328376227389067995481538888630448313718659751/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^16 + 30614471644703893845318611474683713633963594185110909/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^15 - 16814692370370255331046016847179607412088578426539059/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^14 - 162949416206523563945859398109864436473000845097955006/515416749141\ 409689629889182372472225284509219635269*c_0101_7^13 + 350056893630948692873319295475194604881939171463320258/515416749141\ 409689629889182372472225284509219635269*c_0101_7^12 + 13013377991868172699357360271738486378803668502347102/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^11 - 6838673321452587672127305463093076818225469612077148/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^10 - 297454747299449692849351345652664517204184082230560093/515416749141\ 409689629889182372472225284509219635269*c_0101_7^9 + 10795980235996431650756102710608185714418504345165316/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^8 + 138651149693308137013936161034745507349334096059158536/515416749141\ 409689629889182372472225284509219635269*c_0101_7^7 + 17074790495762567805054885090794387731901880961404365/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^6 - 15514235000248637159356267499423577624682821558119462/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^5 - 19030168576777334348655069572974237807544853153269047/5154167491414\ 09689629889182372472225284509219635269*c_0101_7^4 - 1278860792656692856100137073710826960087324694749680/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^3 + 4933319944026236027657255509900318740422719227014400/51541674914140\ 9689629889182372472225284509219635269*c_0101_7^2 - 2294880685053431900034825923284013664684127431190509/51541674914140\ 9689629889182372472225284509219635269*c_0101_7 + 977399139359308643047090355331432707184309278665405/515416749141409\ 689629889182372472225284509219635269, c_0101_7^29 - c_0101_7^28 - c_0101_7^27 + 6*c_0101_7^26 + 21*c_0101_7^25 - 24*c_0101_7^24 - 11*c_0101_7^23 + 167*c_0101_7^22 + 41*c_0101_7^21 - 227*c_0101_7^20 - 6*c_0101_7^19 + 1122*c_0101_7^18 - 1091*c_0101_7^17 - 149*c_0101_7^16 + 445*c_0101_7^15 + 1985*c_0101_7^14 - 5656*c_0101_7^13 + 2246*c_0101_7^12 + 318*c_0101_7^11 + 3787*c_0101_7^10 - 2229*c_0101_7^9 - 1842*c_0101_7^8 + 788*c_0101_7^7 + 338*c_0101_7^6 + 152*c_0101_7^5 - 135*c_0101_7^4 - 69*c_0101_7^3 + 72*c_0101_7^2 - 32*c_0101_7 + 7, c_1001_0 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.610 Total time: 0.830 seconds, Total memory usage: 32.09MB