Magma V2.19-8 Wed Aug 21 2013 00:48:00 on localhost [Seed = 1495223777] Type ? for help. Type -D to quit. Loading file "K14n8584__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n8584 geometric_solution 12.24973905 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508282231523 1.052970904418 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -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.660951803971 0.561978282959 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.380741637626 0.880965250517 5 9 10 0 0213 0132 0132 0132 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.084522687983 0.768436510156 9 11 0 8 0132 0132 0132 1230 0 0 0 0 0 -1 0 1 -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 -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.564768884908 1.850663454263 3 1 11 6 0213 0132 1302 2310 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 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.508276093424 0.577049423666 5 12 1 8 3201 0132 0132 3201 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 -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.763720450720 0.963745533350 2 10 11 1 0132 3012 1023 0132 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710606865632 0.644646703748 4 6 2 10 3012 2310 0132 3012 0 0 0 0 0 0 0 0 -1 0 1 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 -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.747939332460 0.935438110437 4 3 12 2 0132 0132 3120 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.140124474115 0.721605360603 7 12 8 3 1230 1023 1230 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 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.058044438088 0.704460576428 5 4 7 12 2031 0132 1023 1023 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 1 -1 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.417883957996 0.548429343400 10 6 9 11 1023 0132 3120 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.831328743672 1.395883164978 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0101_12'], 'c_1001_12' : negation(d['c_1001_0']), 'c_1001_5' : d['c_0110_11'], 'c_1001_4' : d['c_0110_12'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0110_11'], 'c_1001_1' : negation(d['c_0101_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0110_12'], 'c_1001_2' : d['c_0110_12'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0110_11'], 'c_1010_11' : d['c_0110_12'], 'c_1010_10' : d['c_0110_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), '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' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : 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_9' : negation(d['c_0101_12']), 'c_1100_8' : negation(d['c_0101_12']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0110_8'], 'c_1100_7' : negation(d['c_0011_8']), 'c_1100_6' : negation(d['c_0011_8']), 'c_1100_1' : negation(d['c_0011_8']), 'c_1100_0' : d['c_0110_8'], 'c_1100_3' : d['c_0110_8'], 'c_1100_2' : negation(d['c_0101_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_8'], 'c_1100_10' : d['c_0110_8'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_10']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : negation(d['c_0101_10']), 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0110_11'], 'c_1010_0' : d['c_0110_12'], 'c_1010_9' : d['c_0110_12'], 'c_1010_8' : negation(d['c_0101_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : 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'], 'c_1100_12' : negation(d['c_0011_8']), 's_1_7' : 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_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0011_0'], 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_11']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_7, c_0110_11, c_0110_12, c_0110_8, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 6556580252265310038625168799291571348753042732058379/16147394750061\ 820991075827995392416779053209297880*c_1001_0^21 + 1116840053823706771164897701144678967257598007956666153/13039021260\ 67492045029373110627937654908546650803810*c_1001_0^20 - 14875878569737127555175454539926981673784044670625340137/5215608504\ 269968180117492442511750619634186603215240*c_1001_0^19 + 4744544810458391559738162132596595840076362889310443623/10431217008\ 53993636023498488502350123926837320643048*c_1001_0^18 - 40199032872614996109373103503897275664024166080625743931/5215608504\ 269968180117492442511750619634186603215240*c_1001_0^17 + 18593150927458892536933333818930436097476456500114353629/1303902126\ 067492045029373110627937654908546650803810*c_1001_0^16 - 8018472578822772433395309758845767257079537097713027263/52156085042\ 6996818011749244251175061963418660321524*c_1001_0^15 + 12059093686237104530345485094410385404115477163847633849/1043121700\ 853993636023498488502350123926837320643048*c_1001_0^14 - 5887729422836451161539836902859113165165828910463772017/27450571075\ 1050956848289075921671085243904558063960*c_1001_0^13 + 145158273108287050070772442327048695684592778548722116797/521560850\ 4269968180117492442511750619634186603215240*c_1001_0^12 - 6472580743019381076475732974358684362123896171083248485/52156085042\ 6996818011749244251175061963418660321524*c_1001_0^11 - 5568845384876931301924818579854911208736826350468598397/26078042521\ 34984090058746221255875309817093301607620*c_1001_0^10 - 60387606267352668078789633774226330059016888459387427975/1043121700\ 853993636023498488502350123926837320643048*c_1001_0^9 - 221860192059697337325143054063558993772011598505293438493/521560850\ 4269968180117492442511750619634186603215240*c_1001_0^8 - 289420797378163680512165099786721473497343627308314693577/521560850\ 4269968180117492442511750619634186603215240*c_1001_0^7 - 22240096041645430942674014166459256444021948955012707175/1043121700\ 853993636023498488502350123926837320643048*c_1001_0^6 - 115635292043180551086994606633056548655283086858113610209/521560850\ 4269968180117492442511750619634186603215240*c_1001_0^5 - 7817030319818452211156615695985308886024852112162997625/10431217008\ 53993636023498488502350123926837320643048*c_1001_0^4 - 45476449221684880497158384231787359398407767979060063851/5215608504\ 269968180117492442511750619634186603215240*c_1001_0^3 - 1520952845378031455645929296094693529797456602710825883/52156085042\ 6996818011749244251175061963418660321524*c_1001_0^2 - 8363387643348186578020269344048804851964777208036542943/52156085042\ 69968180117492442511750619634186603215240*c_1001_0 - 456689402516315868454938959594033658435365930766877813/521560850426\ 9968180117492442511750619634186603215240, c_0011_0 - 1, c_0011_10 + 9270859886470207138265042598407138332993217/413268566816008\ 7681093515626220149460758287*c_1001_0^21 - 21528552041874453887767134967033128845792813/4132685668160087681093\ 515626220149460758287*c_1001_0^20 + 68633424186574139665063870311496954895675901/4132685668160087681093\ 515626220149460758287*c_1001_0^19 - 114416227610960990178676845050675574099647483/413268566816008768109\ 3515626220149460758287*c_1001_0^18 + 188805819809594052279454174608710754123237393/413268566816008768109\ 3515626220149460758287*c_1001_0^17 - 341300149571478386777865955655591019486988831/413268566816008768109\ 3515626220149460758287*c_1001_0^16 + 383014886487983854513051857372895278983910871/413268566816008768109\ 3515626220149460758287*c_1001_0^15 - 275566478153060556595151026336634870093028151/413268566816008768109\ 3515626220149460758287*c_1001_0^14 + 447993274061482120028856576701900790525327562/413268566816008768109\ 3515626220149460758287*c_1001_0^13 - 636113933104700759046095442013748990394792707/413268566816008768109\ 3515626220149460758287*c_1001_0^12 + 324130933922568539872369183004511367522203424/413268566816008768109\ 3515626220149460758287*c_1001_0^11 + 128097411101868917206845137285365896167079451/413268566816008768109\ 3515626220149460758287*c_1001_0^10 + 1145858472902895470289015710650358032015442042/41326856681600876810\ 93515626220149460758287*c_1001_0^9 + 762856805849543239152844832848737403451942556/413268566816008768109\ 3515626220149460758287*c_1001_0^8 + 1001097797333914208085322726800823967247555638/41326856681600876810\ 93515626220149460758287*c_1001_0^7 + 387839646088784092644200545232879935835907036/413268566816008768109\ 3515626220149460758287*c_1001_0^6 + 423583230300835257585813217462614150721673099/413268566816008768109\ 3515626220149460758287*c_1001_0^5 + 164610003610672040446607281872005444677971659/413268566816008768109\ 3515626220149460758287*c_1001_0^4 + 137851076063689649510406264684455026878960587/413268566816008768109\ 3515626220149460758287*c_1001_0^3 + 59375589583904229622427968257576946793046825/4132685668160087681093\ 515626220149460758287*c_1001_0^2 + 20833123736578379775845630320694595821541596/4132685668160087681093\ 515626220149460758287*c_1001_0 + 7255235095555247280704631986357717\ 189475667/4132685668160087681093515626220149460758287, c_0011_11 - 2268496925005042045325184457061655417446966/413268566816008\ 7681093515626220149460758287*c_1001_0^21 + 4993265401135006140454920277480044267302978/41326856681600876810935\ 15626220149460758287*c_1001_0^20 - 16754109245413864143084778781867430073552502/4132685668160087681093\ 515626220149460758287*c_1001_0^19 + 27619574090425183869240042471735345247512127/4132685668160087681093\ 515626220149460758287*c_1001_0^18 - 47797380258057164824261306224951661402796055/4132685668160087681093\ 515626220149460758287*c_1001_0^17 + 86893972062484843924887934483906365923593094/4132685668160087681093\ 515626220149460758287*c_1001_0^16 - 97901825632165292377214552217045041553642037/4132685668160087681093\ 515626220149460758287*c_1001_0^15 + 80612817269377190233905364965363261921301291/4132685668160087681093\ 515626220149460758287*c_1001_0^14 - 130662521454835497278488055752174988680445337/413268566816008768109\ 3515626220149460758287*c_1001_0^13 + 162406717062725045815376587089901980727508400/413268566816008768109\ 3515626220149460758287*c_1001_0^12 - 83589938826511782126599293109419263321416952/4132685668160087681093\ 515626220149460758287*c_1001_0^11 - 2920616157644452897790474752869668037185954/41326856681600876810935\ 15626220149460758287*c_1001_0^10 - 310162018751111852144851027192546629243673772/413268566816008768109\ 3515626220149460758287*c_1001_0^9 - 234413146862613206927851889212111583219298842/413268566816008768109\ 3515626220149460758287*c_1001_0^8 - 317011232294387139099480697823446320997139327/413268566816008768109\ 3515626220149460758287*c_1001_0^7 - 154524989631895461989503872274014767117357381/413268566816008768109\ 3515626220149460758287*c_1001_0^6 - 155370929478547131068377774066939403755257892/413268566816008768109\ 3515626220149460758287*c_1001_0^5 - 64295915678049957311634882529602141899099353/4132685668160087681093\ 515626220149460758287*c_1001_0^4 - 50588311049494594894223776422198974770119419/4132685668160087681093\ 515626220149460758287*c_1001_0^3 - 22562739430819786184539426741084401042721030/4132685668160087681093\ 515626220149460758287*c_1001_0^2 - 8995261632989455523680163631086673489161612/41326856681600876810935\ 15626220149460758287*c_1001_0 - 71076864966092496704430084059076497\ 40260812/4132685668160087681093515626220149460758287, c_0011_8 - 4341002697283407934305635637361255075441653/4132685668160087\ 681093515626220149460758287*c_1001_0^21 + 11474207264930472840960438991792317602575617/4132685668160087681093\ 515626220149460758287*c_1001_0^20 - 36793057146539266041654967182059413057086060/4132685668160087681093\ 515626220149460758287*c_1001_0^19 + 67516191012948364950625521377501329068695089/4132685668160087681093\ 515626220149460758287*c_1001_0^18 - 116457790810695738263680554074522761896845559/413268566816008768109\ 3515626220149460758287*c_1001_0^17 + 207139818403344206501342511586707360481962171/413268566816008768109\ 3515626220149460758287*c_1001_0^16 - 260808871514013901775446753213193603866690675/413268566816008768109\ 3515626220149460758287*c_1001_0^15 + 241138171876898561486244324267738855198720085/413268566816008768109\ 3515626220149460758287*c_1001_0^14 - 315855214356816845687562512329456406184386015/413268566816008768109\ 3515626220149460758287*c_1001_0^13 + 409824085238912782972375511726686998000700185/413268566816008768109\ 3515626220149460758287*c_1001_0^12 - 314931065654724485860319826479631615992406640/413268566816008768109\ 3515626220149460758287*c_1001_0^11 + 101683180912919791071313449556165750760416053/413268566816008768109\ 3515626220149460758287*c_1001_0^10 - 583436284015750621685372328065534951125159747/413268566816008768109\ 3515626220149460758287*c_1001_0^9 - 215253053671223560828843288309014723480744425/413268566816008768109\ 3515626220149460758287*c_1001_0^8 - 520029517577540704702953455502054940448735837/413268566816008768109\ 3515626220149460758287*c_1001_0^7 - 80185680516549585971873953220537803337816761/4132685668160087681093\ 515626220149460758287*c_1001_0^6 - 223921376314285542325792250098386795679644782/413268566816008768109\ 3515626220149460758287*c_1001_0^5 - 24464989413221589252740174862522591000094516/4132685668160087681093\ 515626220149460758287*c_1001_0^4 - 80404313938159626152573770651842352478022197/4132685668160087681093\ 515626220149460758287*c_1001_0^3 - 18253435509682025174427976341742156915655276/4132685668160087681093\ 515626220149460758287*c_1001_0^2 - 12594792668623834144068249486890292473801185/4132685668160087681093\ 515626220149460758287*c_1001_0 - 1316501383090015586533305071269092\ 770943112/4132685668160087681093515626220149460758287, c_0101_0 + 5942368582314999923026975868055701926477272/4132685668160087\ 681093515626220149460758287*c_1001_0^21 - 16215856941033952319371417024637769441691214/4132685668160087681093\ 515626220149460758287*c_1001_0^20 + 51698399494420520542903723520941289077814799/4132685668160087681093\ 515626220149460758287*c_1001_0^19 - 98916621976627656020838211868211974460391768/4132685668160087681093\ 515626220149460758287*c_1001_0^18 + 173804781174536987687766884462255220930296748/413268566816008768109\ 3515626220149460758287*c_1001_0^17 - 316303923282415477765438316955652026074204053/413268566816008768109\ 3515626220149460758287*c_1001_0^16 + 417128771842169754467094797885977377526003779/413268566816008768109\ 3515626220149460758287*c_1001_0^15 - 417928566082308864471867323801372800735518698/413268566816008768109\ 3515626220149460758287*c_1001_0^14 + 560147065928424721493215508813400223132823505/413268566816008768109\ 3515626220149460758287*c_1001_0^13 - 725001026216299320148553791164161531367169768/413268566816008768109\ 3515626220149460758287*c_1001_0^12 + 576164293623024738332791798339900680986376589/413268566816008768109\ 3515626220149460758287*c_1001_0^11 - 285800755317332056743749128034071903696780238/413268566816008768109\ 3515626220149460758287*c_1001_0^10 + 998476238206937552010780785097220022601526340/413268566816008768109\ 3515626220149460758287*c_1001_0^9 + 73385657380994766449359582789848612494603350/4132685668160087681093\ 515626220149460758287*c_1001_0^8 + 660120601672286184370131200160307516935036832/413268566816008768109\ 3515626220149460758287*c_1001_0^7 - 152564285250909669654753949773631594914744246/413268566816008768109\ 3515626220149460758287*c_1001_0^6 + 293904197385510943827110819681058770085900232/413268566816008768109\ 3515626220149460758287*c_1001_0^5 - 109086347167684351420400150453188855995805146/413268566816008768109\ 3515626220149460758287*c_1001_0^4 + 123528047212234810273003277541036515522534818/413268566816008768109\ 3515626220149460758287*c_1001_0^3 - 34690982069948509595290513745079500662796345/4132685668160087681093\ 515626220149460758287*c_1001_0^2 + 16781225738597253453215275712328609721599831/4132685668160087681093\ 515626220149460758287*c_1001_0 - 7785588546168376357860541516326164\ 467446795/4132685668160087681093515626220149460758287, c_0101_1 - 2280026449390849477510155086253123039872891/4132685668160087\ 681093515626220149460758287*c_1001_0^21 + 8262222201306363568719687034990057403604973/41326856681600876810935\ 15626220149460758287*c_1001_0^20 - 22921988212310389078276312658225699230929575/4132685668160087681093\ 515626220149460758287*c_1001_0^19 + 48076422192398269290045573597550321620220215/4132685668160087681093\ 515626220149460758287*c_1001_0^18 - 77938254772883178790072994367337831337610621/4132685668160087681093\ 515626220149460758287*c_1001_0^17 + 136865559835732195280366164940098216629255561/413268566816008768109\ 3515626220149460758287*c_1001_0^16 - 195516595525426948182855379440500194253181487/413268566816008768109\ 3515626220149460758287*c_1001_0^15 + 175646555152357353639625992216820024096489050/413268566816008768109\ 3515626220149460758287*c_1001_0^14 - 188875048629077411737190670866142984343005349/413268566816008768109\ 3515626220149460758287*c_1001_0^13 + 321691929477020370020027783454397817361424634/413268566816008768109\ 3515626220149460758287*c_1001_0^12 - 298803344209931143377166965257364030502047473/413268566816008768109\ 3515626220149460758287*c_1001_0^11 + 48151650364221253298882452446161636879874419/4132685668160087681093\ 515626220149460758287*c_1001_0^10 - 260040674455208177273039479451917193948812018/413268566816008768109\ 3515626220149460758287*c_1001_0^9 + 282496773946201432027506112404932704373277709/413268566816008768109\ 3515626220149460758287*c_1001_0^8 + 50271048052964427646321721850282612210600284/4132685668160087681093\ 515626220149460758287*c_1001_0^7 + 245998780299814793751009362234446711461385136/413268566816008768109\ 3515626220149460758287*c_1001_0^6 - 24883934880110351902983573394859951343607673/4132685668160087681093\ 515626220149460758287*c_1001_0^5 + 73691200857800591995828108233749348969726162/4132685668160087681093\ 515626220149460758287*c_1001_0^4 - 5608251096832855217284994308390475404604353/41326856681600876810935\ 15626220149460758287*c_1001_0^3 + 375014951057680047566544428923037\ 62853995342/4132685668160087681093515626220149460758287*c_1001_0^2 + 4732248593020148183508881993622980909478227/41326856681600876810935\ 15626220149460758287*c_1001_0 + 19925231451983873768957551616268618\ 36996061/4132685668160087681093515626220149460758287, c_0101_10 + 4136062956062100579100069685070470625882913/413268566816008\ 7681093515626220149460758287*c_1001_0^21 - 8181260481913277098217031004671310599323457/41326856681600876810935\ 15626220149460758287*c_1001_0^20 + 26834676611773522802546300336760017907071226/4132685668160087681093\ 515626220149460758287*c_1001_0^19 - 40267814207225753021914776197489382343744067/4132685668160087681093\ 515626220149460758287*c_1001_0^18 + 65256446047685272988638505425025687937802047/4132685668160087681093\ 515626220149460758287*c_1001_0^17 - 123430058993805968775517014930486640875310107/413268566816008768109\ 3515626220149460758287*c_1001_0^16 + 118584190252786948046367329414256003088132517/413268566816008768109\ 3515626220149460758287*c_1001_0^15 - 60512694580691414626248903900234969791812399/4132685668160087681093\ 515626220149460758287*c_1001_0^14 + 163171280545151983392837947446322913964438284/413268566816008768109\ 3515626220149460758287*c_1001_0^13 - 226849044392836851933235057726156915680695682/413268566816008768109\ 3515626220149460758287*c_1001_0^12 + 29248287858842443897159125383783021965117369/4132685668160087681093\ 515626220149460758287*c_1001_0^11 + 123920918362232995767255459826621718114986084/413268566816008768109\ 3515626220149460758287*c_1001_0^10 + 560225374491791421406019772283672900830530445/413268566816008768109\ 3515626220149460758287*c_1001_0^9 + 498379461333632131837228886660854607285448883/413268566816008768109\ 3515626220149460758287*c_1001_0^8 + 448373229994023833835651374616110673874918060/413268566816008768109\ 3515626220149460758287*c_1001_0^7 + 209853621920034490699015377572105738722677311/413268566816008768109\ 3515626220149460758287*c_1001_0^6 + 156852931720695697332914516295925352069953518/413268566816008768109\ 3515626220149460758287*c_1001_0^5 + 97977269090795700691530301649016477764114818/4132685668160087681093\ 515626220149460758287*c_1001_0^4 + 65025501051607892624501706699469742922132454/4132685668160087681093\ 515626220149460758287*c_1001_0^3 + 39980046304263514741364857697402477939062304/4132685668160087681093\ 515626220149460758287*c_1001_0^2 + 5587859238487902846333283837256472903379244/41326856681600876810935\ 15626220149460758287*c_1001_0 + 30938551324740387008495999339168827\ 10146654/4132685668160087681093515626220149460758287, c_0101_12 + 4403831162385468525450369203078007798824174/413268566816008\ 7681093515626220149460758287*c_1001_0^21 - 8371441187393642645502858793620973785150373/41326856681600876810935\ 15626220149460758287*c_1001_0^20 + 28311408944827234926851480481918959483096726/4132685668160087681093\ 515626220149460758287*c_1001_0^19 - 42249805586190302180275230695005691285489999/4132685668160087681093\ 515626220149460758287*c_1001_0^18 + 70931830478289056590917320531250853156976380/4132685668160087681093\ 515626220149460758287*c_1001_0^17 - 136353846920513447834187455673202943666657203/413268566816008768109\ 3515626220149460758287*c_1001_0^16 + 134062391739965827430472738571908923301779088/413268566816008768109\ 3515626220149460758287*c_1001_0^15 - 85535724582554483800369285975162004604043434/4132685668160087681093\ 515626220149460758287*c_1001_0^14 + 213443632853859520984170787013600441997334842/413268566816008768109\ 3515626220149460758287*c_1001_0^13 - 274816878354494284529995574676243643267644790/413268566816008768109\ 3515626220149460758287*c_1001_0^12 + 60255513989485414062671470600788778556612467/4132685668160087681093\ 515626220149460758287*c_1001_0^11 + 70484984355477119565253846056350506864440721/4132685668160087681093\ 515626220149460758287*c_1001_0^10 + 674972066473843234832234561817575662028422410/413268566816008768109\ 3515626220149460758287*c_1001_0^9 + 542344712662633071710854030249255201039176655/413268566816008768109\ 3515626220149460758287*c_1001_0^8 + 569514367853775345284710683990187854824775772/413268566816008768109\ 3515626220149460758287*c_1001_0^7 + 220828395122622723249952691290715294725652452/413268566816008768109\ 3515626220149460758287*c_1001_0^6 + 212279714119954354878274565257129290002530008/413268566816008768109\ 3515626220149460758287*c_1001_0^5 + 88249772372134424770567848402572473043661030/4132685668160087681093\ 515626220149460758287*c_1001_0^4 + 94633048224881728796506127022294296494808012/4132685668160087681093\ 515626220149460758287*c_1001_0^3 + 33069698372049753190389429941466828519846615/4132685668160087681093\ 515626220149460758287*c_1001_0^2 + 12559704469023277801152416741575383945083086/4132685668160087681093\ 515626220149460758287*c_1001_0 + 2090738453720854929551656686103259\ 114243340/4132685668160087681093515626220149460758287, c_0101_7 - 3246801642410614371448024369857447312256699/4132685668160087\ 681093515626220149460758287*c_1001_0^21 + 9498840541707380740341028677893328268229469/41326856681600876810935\ 15626220149460758287*c_1001_0^20 - 30084371678711747709544171492287065002946432/4132685668160087681093\ 515626220149460758287*c_1001_0^19 + 58878023670130847927757712992578104342641757/4132685668160087681093\ 515626220149460758287*c_1001_0^18 - 103415055994930808989089319237305872929948185/413268566816008768109\ 3515626220149460758287*c_1001_0^17 + 184425191902163265292464054939232983211551743/413268566816008768109\ 3515626220149460758287*c_1001_0^16 - 248296672821237914724445749504141874305219369/413268566816008768109\ 3515626220149460758287*c_1001_0^15 + 252323934543571709924225202318807955472418311/413268566816008768109\ 3515626220149460758287*c_1001_0^14 - 312828671028319115450362064645474214665038972/413268566816008768109\ 3515626220149460758287*c_1001_0^13 + 405264260426445829958832395820208848060169350/413268566816008768109\ 3515626220149460758287*c_1001_0^12 - 357995638092559383345646468276224373865825914/413268566816008768109\ 3515626220149460758287*c_1001_0^11 + 181022645182740042480105524412677728260961047/413268566816008768109\ 3515626220149460758287*c_1001_0^10 - 497530810442600229360262981271481769132155979/413268566816008768109\ 3515626220149460758287*c_1001_0^9 - 2274690362777494957831269006185959208989805/41326856681600876810935\ 15626220149460758287*c_1001_0^8 - 378510377313167532839025992356504\ 118307827203/4132685668160087681093515626220149460758287*c_1001_0^7 + 63496421762925440596700080126073368522795124/41326856681600876810\ 93515626220149460758287*c_1001_0^6 - 170907651912481698696407280352237698068976642/413268566816008768109\ 3515626220149460758287*c_1001_0^5 + 55590849247213178388079645463639872150315903/4132685668160087681093\ 515626220149460758287*c_1001_0^4 - 60882886363198067831962738752510150429814095/4132685668160087681093\ 515626220149460758287*c_1001_0^3 + 15146108252457667067265803001218262942274134/4132685668160087681093\ 515626220149460758287*c_1001_0^2 - 11128782208281722343838178249668291252309284/4132685668160087681093\ 515626220149460758287*c_1001_0 + 4065628887778348398688425824075853\ 723585164/4132685668160087681093515626220149460758287, c_0110_11 + 1767387936935404300607414216072805670072228/413268566816008\ 7681093515626220149460758287*c_1001_0^21 - 752287420281807819591559915024845664747944/413268566816008768109351\ 5626220149460758287*c_1001_0^20 + 543757811769035133901580360704793\ 9154742613/4132685668160087681093515626220149460758287*c_1001_0^19 + 3020402632654178225339089091837534814829596/41326856681600876810935\ 15626220149460758287*c_1001_0^18 - 6116946555657094919203881699509830494825302/41326856681600876810935\ 15626220149460758287*c_1001_0^17 + 6709910213809190849928152149574448612504984/41326856681600876810935\ 15626220149460758287*c_1001_0^16 - 59853246267293278862010739637469018935948491/4132685668160087681093\ 515626220149460758287*c_1001_0^15 + 102578935025085274183621580420874058927443667/413268566816008768109\ 3515626220149460758287*c_1001_0^14 - 44890234275367864826010913100132159926231596/4132685668160087681093\ 515626220149460758287*c_1001_0^13 + 92786015365718763536582066982850128756793910/4132685668160087681093\ 515626220149460758287*c_1001_0^12 - 224145571849367573774494946686507836100519117/413268566816008768109\ 3515626220149460758287*c_1001_0^11 + 189122907710369401163570967793107014207506661/413268566816008768109\ 3515626220149460758287*c_1001_0^10 + 194841150169968564609689018159004632841977254/413268566816008768109\ 3515626220149460758287*c_1001_0^9 + 656338702459497560852725261594547714478078704/413268566816008768109\ 3515626220149460758287*c_1001_0^8 + 427359852186696273987785139218269292313752287/413268566816008768109\ 3515626220149460758287*c_1001_0^7 + 480091618662185067768132982399037888174436414/413268566816008768109\ 3515626220149460758287*c_1001_0^6 + 160446847903129594312733237802667786851185643/413268566816008768109\ 3515626220149460758287*c_1001_0^5 + 205170843886946826064373108340453099906475445/413268566816008768109\ 3515626220149460758287*c_1001_0^4 + 43598992862831503674670043988253301449924297/4132685668160087681093\ 515626220149460758287*c_1001_0^3 + 79320927225746776167063621099939452054646776/4132685668160087681093\ 515626220149460758287*c_1001_0^2 + 10750426232073860388326537323078571023404449/4132685668160087681093\ 515626220149460758287*c_1001_0 + 1323317770324805049180184755310279\ 4486295418/4132685668160087681093515626220149460758287, c_0110_12 - 544193906714016554351569511118665552156522/4132685668160087\ 681093515626220149460758287*c_1001_0^21 + 4478081979152497755840669755394203800814916/41326856681600876810935\ 15626220149460758287*c_1001_0^20 - 11575765535206571974234116459341056906587121/4132685668160087681093\ 515626220149460758287*c_1001_0^19 + 30052719368725604029685960415298798858465360/4132685668160087681093\ 515626220149460758287*c_1001_0^18 - 50279841419519193598576942909294989771558767/4132685668160087681093\ 515626220149460758287*c_1001_0^17 + 83192625171639735421801813120089749862494978/4132685668160087681093\ 515626220149460758287*c_1001_0^16 - 138727989213682980033813041552457541425777565/413268566816008768109\ 3515626220149460758287*c_1001_0^15 + 147350327740712584343346122373948844830600380/413268566816008768109\ 3515626220149460758287*c_1001_0^14 - 114991318297329388018546929680337106172097451/413268566816008768109\ 3515626220149460758287*c_1001_0^13 + 191321850597709880539534448877011689092935066/413268566816008768109\ 3515626220149460758287*c_1001_0^12 - 255384454912801829743863529084114761552944000/413268566816008768109\ 3515626220149460758287*c_1001_0^11 + 104189132864762433672848114989078675269949814/413268566816008768109\ 3515626220149460758287*c_1001_0^10 - 3629634678311321066038516215673589963249452/41326856681600876810935\ 15626220149460758287*c_1001_0^9 + 368397555224485150406393142448717\ 264811861887/4132685668160087681093515626220149460758287*c_1001_0^8 + 148170068476162232525963752536237522417783990/4132685668160087681\ 093515626220149460758287*c_1001_0^7 + 232973084894942660170847637138306722386652011/413268566816008768109\ 3515626220149460758287*c_1001_0^6 + 21382834124540490858341052383678357595912615/4132685668160087681093\ 515626220149460758287*c_1001_0^5 + 81050816252342422112786632890919009865485445/4132685668160087681093\ 515626220149460758287*c_1001_0^4 + 16749865498543180824643331049687786213156439/4132685668160087681093\ 515626220149460758287*c_1001_0^3 + 31307943232346728827347409454874715562292177/4132685668160087681093\ 515626220149460758287*c_1001_0^2 + 5357472822616007325306809523641050156537601/41326856681600876810935\ 15626220149460758287*c_1001_0 + 25178285627413986956669266138641157\ 58853241/4132685668160087681093515626220149460758287, c_0110_8 - 4099607380870704742903400742070609624556004/4132685668160087\ 681093515626220149460758287*c_1001_0^21 + 9854570005367143828450406281440517280476551/41326856681600876810935\ 15626220149460758287*c_1001_0^20 - 29504377711410184029693227732281295577013487/4132685668160087681093\ 515626220149460758287*c_1001_0^19 + 49584206955116586267804629840316877739550785/4132685668160087681093\ 515626220149460758287*c_1001_0^18 - 77026926590128617013973191892732871555057863/4132685668160087681093\ 515626220149460758287*c_1001_0^17 + 141495858117171650711335020020014531079913181/413268566816008768109\ 3515626220149460758287*c_1001_0^16 - 157256462030206627677463237590122783637996207/413268566816008768109\ 3515626220149460758287*c_1001_0^15 + 89751508675892090462473464117157756250722313/4132685668160087681093\ 515626220149460758287*c_1001_0^14 - 163588231526978694208100592118344959921030080/413268566816008768109\ 3515626220149460758287*c_1001_0^13 + 283606480100168991443083469520086473623948132/413268566816008768109\ 3515626220149460758287*c_1001_0^12 - 119178634309926914943840681336676686916794907/413268566816008768109\ 3515626220149460758287*c_1001_0^11 - 134234145276364396591203985713268379969495051/413268566816008768109\ 3515626220149460758287*c_1001_0^10 - 487465087015661317445877596658627301535873728/413268566816008768109\ 3515626220149460758287*c_1001_0^9 - 220361410476302618815749192051853409123710950/413268566816008768109\ 3515626220149460758287*c_1001_0^8 - 219565824361307742791165882520802806409729141/413268566816008768109\ 3515626220149460758287*c_1001_0^7 - 5491531930924974538130296464263303726105762/41326856681600876810935\ 15626220149460758287*c_1001_0^6 - 606422978720014719448541233172313\ 42821243227/4132685668160087681093515626220149460758287*c_1001_0^5 - 18905991248827974647269269459841697871807523/4132685668160087681093\ 515626220149460758287*c_1001_0^4 - 14673762745998477866463077484823318630007593/4132685668160087681093\ 515626220149460758287*c_1001_0^3 - 1996544461916672270410456221459686508913592/41326856681600876810935\ 15626220149460758287*c_1001_0^2 + 366063771736096870463140345334719\ 0038124963/4132685668160087681093515626220149460758287*c_1001_0 - 70834907374478480657286635381754558569455/4132685668160087681093515\ 626220149460758287, c_1001_0^22 - 41/19*c_1001_0^21 + 141/19*c_1001_0^20 - 232/19*c_1001_0^19 + 412/19*c_1001_0^18 - 753/19*c_1001_0^17 + 866/19*c_1001_0^16 - 785/19*c_1001_0^15 + 1266/19*c_1001_0^14 - 1532/19*c_1001_0^13 + 947/19*c_1001_0^12 - 18*c_1001_0^11 + 2921/19*c_1001_0^10 + 1886/19*c_1001_0^9 + 3266/19*c_1001_0^8 + 1338/19*c_1001_0^7 + 1648/19*c_1001_0^6 + 496/19*c_1001_0^5 + 652/19*c_1001_0^4 + 189/19*c_1001_0^3 + 9*c_1001_0^2 + 28/19*c_1001_0 + 17/19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.390 Total time: 7.599 seconds, Total memory usage: 121.66MB