Magma V2.19-8 Tue Aug 20 2013 23:39:08 on localhost [Seed = 1613104141] Type ? for help. Type -D to quit. Loading file "K13a3142__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13a3142 geometric_solution 8.69994592 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 2 1 0132 0132 1302 2031 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 7 -6 -1 0 0 7 -7 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.009352507961 0.531965158841 0 0 4 3 0132 1302 0132 0132 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 7 -7 0 0 0 6 -6 -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.966960954528 1.879241498150 0 0 3 5 2031 0132 3201 0132 0 0 0 0 0 1 0 -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 -7 0 7 6 0 0 -6 1 0 0 -1 -7 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.966960954528 1.879241498150 2 6 1 6 2310 0132 0132 1023 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.253421471272 0.799203948854 7 7 8 1 0132 1230 0132 0132 0 0 0 0 0 0 1 -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 0 -7 7 6 0 0 -6 1 0 0 -1 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514435211099 1.256840644695 9 9 2 8 0132 1302 0132 3201 0 0 0 0 0 -1 1 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 0 0 0 6 -6 -7 0 0 7 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.514435211099 1.256840644695 10 3 10 3 0132 0132 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539155076501 0.108541086411 4 9 4 9 0132 0132 3012 3012 0 0 0 0 0 1 -1 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 -6 6 0 -6 0 0 6 0 7 0 -7 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.721066288218 0.681475953783 10 5 10 4 1023 2310 0132 0132 0 0 0 0 0 1 0 -1 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 -7 0 7 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.124914028720 1.388505833463 5 7 7 5 0132 0132 1230 2031 0 0 0 0 0 -1 1 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 6 -6 0 0 0 7 -7 0 -1 0 1 7 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267466684777 0.692313380651 6 8 6 8 0132 1023 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522610150011 0.143667808479 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_6'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0101_9']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : d['c_0101_4'], 'c_1010_10' : d['c_0101_4'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : d['c_0101_10'], '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_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_4'], 'c_1100_8' : d['c_1100_1'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : negation(d['c_1100_1']), 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_1100_1'], 'c_1100_2' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1100_1'], 'c_1010_7' : negation(d['c_0101_9']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_4']), 'c_1010_8' : negation(d['c_0101_9']), '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'], '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' : 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_4'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), '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' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_6'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_6'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_4'], 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_9'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_4'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_4, c_0101_1, c_0101_10, c_0101_2, c_0101_4, c_0101_5, c_0101_6, c_0101_9, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 3013120210965822542868171262254091687106955301395865975148777801722\ 26/7533874933151495081908718446598079431666692530028520901993510098\ 5*c_1100_1^25 - 567018465825578795021264994407664716734681122935912\ 215312706690200686/753387493315149508190871844659807943166669253002\ 85209019935100985*c_1100_1^24 - 14394344400183840773781969557951942\ 51981094874888336319906579924109099/7533874933151495081908718446598\ 0794316666925300285209019935100985*c_1100_1^23 - 4322594941343927129825989031639044042858535467437908329112455574236\ 38/7533874933151495081908718446598079431666692530028520901993510098\ 5*c_1100_1^22 - 255597556842835671384521125906315665435059806082528\ 52220153446294405857/7533874933151495081908718446598079431666692530\ 0285209019935100985*c_1100_1^21 - 361497702714704842576296517338511\ 35519763287764851351087258017392598223/7533874933151495081908718446\ 5980794316666925300285209019935100985*c_1100_1^20 - 9424668543747763037632055828878436224838916759598116660705442644834\ 5269/75338749331514950819087184465980794316666925300285209019935100\ 985*c_1100_1^19 - 1777086935699545811088920695274730933226525112680\ 1722370884520026585977/75338749331514950819087184465980794316666925\ 300285209019935100985*c_1100_1^18 - 6480859144482991785499224935060012990834754863525123676597647836046\ 60751/7533874933151495081908718446598079431666692530028520901993510\ 0985*c_1100_1^17 - 547108072238215538958106496275466620911099280165\ 022560383448988611573259/753387493315149508190871844659807943166669\ 25300285209019935100985*c_1100_1^16 - 3153843532028522765130611894506364980232342829929795761263801406893\ 48613/1506774986630299016381743689319615886333338506005704180398702\ 0197*c_1100_1^15 - 355862824352127859495131000865005003326099854973\ 50271101387247797203479/1506774986630299016381743689319615886333338\ 5060057041803987020197*c_1100_1^14 - 5284903960986609355061975467485359562229868604356790000668279878300\ 482112/753387493315149508190871844659807943166669253002852090199351\ 00985*c_1100_1^13 - 28064636716661756285908993391098257556097615468\ 53304331982611038472787191/7533874933151495081908718446598079431666\ 6925300285209019935100985*c_1100_1^12 - 4108709990370938953330945676271737906077255758503886913086042047083\ 51699/3965197333237628990478272866630568121929838173699221527365005\ 315*c_1100_1^11 - 9134477531506723613340278646413893309775700571104\ 4311428904747356385088/39651973332376289904782728666305681219298381\ 73699221527365005315*c_1100_1^10 - 6769500582568496660919239307916538349010205768323445408705489834437\ 835954/753387493315149508190871844659807943166669253002852090199351\ 00985*c_1100_1^9 - 289545319654928198847353887847266480626354175167\ 4387036597925156954788953/75338749331514950819087184465980794316666\ 925300285209019935100985*c_1100_1^8 - 4769818852268485344176630795535486762836257003100898162007789491436\ 875751/753387493315149508190871844659807943166669253002852090199351\ 00985*c_1100_1^7 + 108344315190581409546302934069988336881406536267\ 0446406452123496368361702/75338749331514950819087184465980794316666\ 925300285209019935100985*c_1100_1^6 - 4399314472012369640150841069227582231955150095543699032142385336557\ 58643/7533874933151495081908718446598079431666692530028520901993510\ 0985*c_1100_1^5 + 8854656856379162087379967385913396651994908721837\ 64959821585152162938886/7533874933151495081908718446598079431666692\ 5300285209019935100985*c_1100_1^4 - 1736871736707403490182032420121890169778442425882063925333040811699\ 92738/7533874933151495081908718446598079431666692530028520901993510\ 0985*c_1100_1^3 + 7624804913295457240471477800367745425334247676530\ 2974610311757729390508/75338749331514950819087184465980794316666925\ 300285209019935100985*c_1100_1^2 - 2699947062406530890745289975246531635888952022965862130704537734585\ 2368/75338749331514950819087184465980794316666925300285209019935100\ 985*c_1100_1 + 2559759659038577270021428078065784406570423430010984\ 546939503661652341/753387493315149508190871844659807943166669253002\ 85209019935100985, c_0011_0 - 1, c_0011_10 + c_1100_1, c_0011_4 - 29274061513469315936099645409576993139600348981167457723/374\ 3857678132467314176036526062538905259417021143534987*c_1100_1^25 - 63599765048312772188172574419859243158370321241770952966/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 - 157339648335475519125930549954211586011960377247618518012/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^23 - 85692137441600994765653742278502863001664987972946424692/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 - 2503060805398552342786716820984471469055772980516834546523/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^21 - 4237572310219284010636458611733408812154883350034152922816/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 - 10303388272654527386371366804982831984570082153686073502312/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^19 - 4587924832403753022512298922031710487878004973806925431948/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 - 63963673318911548887825783427609429134352527893628843423498/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 - 71635771616408588969114314757286455929904415215676938371732/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 - 171863786007029158251499632816407365377973752642739448060568/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^15 - 65076584776757356807672730085580758298092067627459403991410/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 - 526778641803553807761219609650848221001985957515286317792278/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 - 424289643108799374461466633274158520892974123884601995565590/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 - 864012001685048316451520565042673855978353505869661797025683/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 - 407540852620132511365289614482820198839778239863517739768628/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 - 748208556531449355376634033351213154065531683904768352032500/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 - 488418770370184688085117489583348580770295446839263744619230/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 - 581201412027841881359502273673778513167886195503405245642690/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 - 50092988233143295615440687454387443657689947644336144045739/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 - 39195507564848529475350881612947698523390799284939093903670/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 + 74049501197951787196758753008407506954107450011202809700381/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 + 6009754900364618409445865922203189744516697650424837415372/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 + 6418351390923524971084910477867557131987897027723631033123/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 - 640822728674067987546247821185350568504803465582550785610/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 - 170801952096592529570748010489156004950124324998258295374/374385767\ 8132467314176036526062538905259417021143534987, c_0101_1 - 7886143599202471996205870476538917336967049083815025724/3743\ 857678132467314176036526062538905259417021143534987*c_1100_1^25 - 17114567102860378636305292233916402405615715402174196024/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 - 42363169602658665429690105022500527082183135936110989803/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^23 - 23024897050912705348124632130025716372253491310034628331/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 - 674342445201991205662677238911046857755060743377561151707/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^21 - 1140027130878855029259807169334747054473551793383654061149/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 - 2774456891997577796556574228722873778265306749197604431825/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^19 - 1232100124341135899094341822870662558050390082174420849533/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 - 17234585628343028477063080760081129607684581016052045707375/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 - 19260394754684999186747830916403605758887049303462667640228/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 - 46291401157526918924979352104845659599216431133092861261792/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^15 - 17468443363746068165231155458683659311575816198172227865474/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 - 141971692458278439384229311000740972317329117401253710619339/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 - 114008455658202485572455867745127438812977408875880924163478/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 - 232800208577090017594041898617761735136755813451455754311528/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 - 109519947734255355465018552699714613290216770264126771878790/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 - 201815951032689482996125382139353031705910319997981271299485/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 - 131362298760346247335509357092933738258067476164531914893207/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 - 156688292437936985811310530007952606993788127694940418290451/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 - 13435015612431534604826446961014396833801136711130188053440/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 - 10869463496129420273948423302943720589424006511962819347113/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 + 19944639120009050116535934935904854748253280636001968496190/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 + 1570464252267159266443706750263455134072890311642703936335/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 + 1766585029499487201173002928193592524362917783444823558539/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 - 175167860296448528523811812418449415380713902303930858514/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 - 44550404534142165074628460046411918453971821552748862979/3743857678\ 132467314176036526062538905259417021143534987, c_0101_10 - 10307047975350948450846103590144745066724529508693879794/37\ 43857678132467314176036526062538905259417021143534987*c_1100_1^25 - 22347673458762726322420797874807001998504416817771435279/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 - 55289297842793992039063320779503851333029170061386031709/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^23 - 29910079533785714759812058313868875523572325091001209433/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 - 881119024825956744989563054190090213153855780718163789249/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^21 - 1488134915186937707675777026787446900325452522074203719417/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 - 3620313788830975818508302740385166186061872158272810520153/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^19 - 1598288662087053257787181064095482284767006354840146362185/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 - 22510734196819427948027496970830516705166876308435748799610/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 - 25123202734769360058629483066399696121795319378334087051868/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 - 60379148790525379746610766763373673069837049779472299371290/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^15 - 22629828416238651467518241839644598964151331526792562209403/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 - 185322125456305123343845315052369041100661621940489961209154/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 - 148571481355581032351374039298279013694441038361068680450910/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 - 303379497559147184956519042394556856129225588411492552852964/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 - 142063089299777553715306882169827655319356388258739420508687/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 - 262567734385959926673945392268743798167885029607259224338685/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 - 170750530365902390721189267851802896712904639504360344629331/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 - 203668270212337807193290491692786706449548339618754151471622/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 - 16621310552430479344058468443417160552129494028344521464935/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 - 13576195271886447844925446877920594868202119974658095474968/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 + 26105709320167579604243437447303430819638451572594691445619/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 + 2022495389933172547595713740940684793711529262812618656061/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 + 2243168361001182201165533816999738620796608861408981238525/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 - 230260367511096243614263880616716291467431927120941832343/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 - 62028413011074620381777298896941548582806291881349690939/3743857678\ 132467314176036526062538905259417021143534987, c_0101_2 + 4482384035447756903476276154653088667521456137074867609/3743\ 857678132467314176036526062538905259417021143534987*c_1100_1^25 + 9707610926058210436880022617500530800578263150367787048/37438576781\ 32467314176036526062538905259417021143534987*c_1100_1^24 + 24018343995143115341675214801277984817354888459490727413/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^23 + 12944920132002314387316904954314995705355376918858622133/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 + 383145280921711537618259523402701206243010184115231536110/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^21 + 646223490064284126939261221946399545624185411642056349670/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^20 + 1572641725006638615524862241631119846180159394072316070062/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^19 + 691000460411479674268184396192668145128658630830463083601/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^18 + 9787328346241772896712908970431234916900809304235092204031/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^17 + 10901699024648355520487959594107298545856169351474650480076/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 + 26226469590907151348394357290651051867995681486358126315928/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^15 + 9774448513557074440233360835853519392742941294844542320576/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^14 + 80560536552910194432090950147033396460532484015547274995294/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^13 + 64415607199072100339413071672584604125261995003521738062345/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^12 + 131739212759325626137002957130863902544876963729642414032823/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 + 61449055084108262311652833068796244027469946045498980001383/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^10 + 113992094937513207837937238831947826734538589899652652565203/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 + 73980535049412088466729106332502283591740019101757624053338/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^8 + 88350316091837415321487385497015763732755873339898689637899/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^7 + 7000376630533422389070692829466573748586510429026109512563/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^6 + 5865709813649533917972280843574210507207721996039573947873/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^5 - 11352829876442723417339984373241473431694602936753450770658/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 - 857423463143071332860398425453395988343757779936787428231/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^3 - 970711873833674971301408682149895228527020200831433509306/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^2 + 100741125087679511266023580761691103843697101867911510406/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 + 28943063545002307849873732473232585075549329909339100101/3743857678\ 132467314176036526062538905259417021143534987, c_0101_4 - 25111303142231887905113151567642015223806412766944794153/374\ 3857678132467314176036526062538905259417021143534987*c_1100_1^25 - 54526280285897301233098715488929561947899491317984583094/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 - 134891861013470844100847998364577015807632361459059464624/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^23 - 73323826204076669755729160743912001840060296740941802434/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 - 2146985090584676429778835151155238987325977844077934064880/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^21 - 3632421556363111573829350464670223327426212708409576552422/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 - 8833129491729751176713037795981709974257852309942334489412/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^19 - 3923470799500586125036388120455207070146878427973012919098/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 - 54859876392507750366423703262475131439716264890654365475601/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 - 61382382086201424891668195805674422299712424761757444353000/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 - 147331283887370087486753659374978214310075704596214318741466/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^15 - 55619357473856651919056274602361058242819579980230826874514/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 - 451747723458040245120639934053247983026424791577527794001900/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 - 363390857464941797637148738421327605574685803439809353861702/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 - 740550098308646306453714062723812122529022095858379030217348/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 - 348525111337863777007753106686416907546553038494451071580078/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 - 641122910038703372052261585421138395907331249588369399240997/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 - 418018916350665792027167326596095582507790155412292457445927/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 - 497821843385802089728814081662230944203309233805482925470400/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 - 42147884624742800508546565141390094327053862588487025750356/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 - 33369396149402426634900443210623563684708307219902184170884/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 + 63607356648864343214888424158940640304103011911042753442002/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 + 5086034721835387548303221201903470357406186351365271452800/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 + 5509544721606400265450023969359750504056038034901667485928/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 - 555642549852930232367150918018006332848600254608435260991/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 - 146680439248736003621172005445021012621918570628298314800/374385767\ 8132467314176036526062538905259417021143534987, c_0101_5 - 7886143599202471996205870476538917336967049083815025724/3743\ 857678132467314176036526062538905259417021143534987*c_1100_1^25 - 17114567102860378636305292233916402405615715402174196024/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 - 42363169602658665429690105022500527082183135936110989803/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^23 - 23024897050912705348124632130025716372253491310034628331/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 - 674342445201991205662677238911046857755060743377561151707/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^21 - 1140027130878855029259807169334747054473551793383654061149/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 - 2774456891997577796556574228722873778265306749197604431825/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^19 - 1232100124341135899094341822870662558050390082174420849533/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 - 17234585628343028477063080760081129607684581016052045707375/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 - 19260394754684999186747830916403605758887049303462667640228/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 - 46291401157526918924979352104845659599216431133092861261792/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^15 - 17468443363746068165231155458683659311575816198172227865474/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 - 141971692458278439384229311000740972317329117401253710619339/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 - 114008455658202485572455867745127438812977408875880924163478/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 - 232800208577090017594041898617761735136755813451455754311528/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 - 109519947734255355465018552699714613290216770264126771878790/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 - 201815951032689482996125382139353031705910319997981271299485/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 - 131362298760346247335509357092933738258067476164531914893207/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 - 156688292437936985811310530007952606993788127694940418290451/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 - 13435015612431534604826446961014396833801136711130188053440/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 - 10869463496129420273948423302943720589424006511962819347113/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 + 19944639120009050116535934935904854748253280636001968496190/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 + 1570464252267159266443706750263455134072890311642703936335/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 + 1766585029499487201173002928193592524362917783444823558539/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 - 175167860296448528523811812418449415380713902303930858514/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 - 44550404534142165074628460046411918453971821552748862979/3743857678\ 132467314176036526062538905259417021143534987, c_0101_6 - 17307826977370921263172754278353701476990319219388040906/374\ 3857678132467314176036526062538905259417021143534987*c_1100_1^25 - 37558029340627194332872429214964638571567694194134501068/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 - 92917021836274969828898359936725703367478498638700943196/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^23 - 50402810766452808757142454688998080608983860948830004388/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 - 1479709781113499317924549315235902915327829918269250395751/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^21 - 2501584043420782969830020546755199735431990915164343002964/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 - 6084345649884664664776728658740874947213224289074554940580/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^19 - 2695420631459493278019827116569149415490429966770384778948/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 - 37806952892146362374303863424158197769220793854462635519710/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 - 42255487718606223936532485595105907518429296358067778988988/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 - 101479218935041506492041619974162293131578703553594280426256/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^15 - 38190357205995259122930602464981277951517088842699395480628/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 - 311291913801931690172680796236440189127042061226406896552652/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 - 250040399632671733221483559853864930587647446654235686080208/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 - 509996461978900493328364966358165985532604437824545913348634/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 - 239498788496783192193569257339777899776797703024227132724860/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 - 441464228920821939527725003522787605464225360594043997398030/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 - 287515612378257369768118308104028476644368601268199652402066/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 - 342635874720029804177990269467560176569373083722793140174108/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 - 28558443190394955705661918635744294853472634950690388423528/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 - 22910450489600842533601117756149619515092299309477387908092/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 + 43837638091094917426957968269801074995631143631310410349124/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 + 3458541097185683450010203871657176523686066152554023688612/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 + 3783105261593032118895648129448928862451675798532621857452/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 - 384714532636143271078953312902230223271041416235803201348/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 - 102009171423451272119085615410866271027510296013009683640/374385767\ 8132467314176036526062538905259417021143534987, c_0101_9 + 33105414168649981581305900464482765798663571149010687346/374\ 3857678132467314176036526062538905259417021143534987*c_1100_1^25 + 71921039801355449367414577168077682430218639619239614637/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^24 + 177921063422492624278244052511034972696013439273840568307/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1^23 + 96873430963471304498058911380088742137444766787882399549/3743857678\ 132467314176036526062538905259417021143534987*c_1100_1^22 + 2830608169470614288610852311404806240702722111759344221629/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^21 + 4791907798110022103229824576562763663719128922132303132741/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^20 + 11651044001324726803922613699551476295292087443658215562047/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^19 + 5185983669664297485764015840086821187181729220461170395277/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^18 + 72332027517193493457768080272577003299398426238396676419677/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^17 + 81002512784965063923671631495138893250488597755561104377212/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^16 + 194338987148076768536843121441765205126401866349305663250244/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^15 + 73547141945960598000292211477078772639091490265318959817689/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^14 + 595674239596061342216465112280362953621313144718324888957364/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^13 + 479721522581144130635235913532205106663981957453012312185266/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^12 + 976959767535235722558024586152163933962563708341236431155157/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^11 + 460574381628551053422636668521985229276951546617312939632035/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^10 + 845888108775607447186416819058175788944229641160064948191936/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^9 + 552002844076634140708157065971661725814223635775313037613030/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^8 + 657055485980971250389228574052922299626933384442209810271368/374385\ 7678132467314176036526062538905259417021143534987*c_1100_1^7 + 56308411715981505592150967226117306585112226314576011909573/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^6 + 44134803463006058265363140410059753624277730513099422298342/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^5 - 83876205693485273492058012219405152210671629861420525205913/3743857\ 678132467314176036526062538905259417021143534987*c_1100_1^4 - 6776753331831591676123951338601229942004073356282254961955/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^3 - 7288187273407858127637398187221993663526504655512967416661/37438576\ 78132467314176036526062538905259417021143534987*c_1100_1^2 + 729369113898135434705260889028642798999607757438876499376/374385767\ 8132467314176036526062538905259417021143534987*c_1100_1 + 192454011988378923806285455229919650727617684709046674466/374385767\ 8132467314176036526062538905259417021143534987, c_1100_1^26 + 2*c_1100_1^25 + 5*c_1100_1^24 + 2*c_1100_1^23 + 85*c_1100_1^22 + 130*c_1100_1^21 + 327*c_1100_1^20 + 96*c_1100_1^19 + 2158*c_1100_1^18 + 2070*c_1100_1^17 + 5449*c_1100_1^16 + 1210*c_1100_1^15 + 17612*c_1100_1^14 + 11388*c_1100_1^13 + 27017*c_1100_1^12 + 8828*c_1100_1^11 + 23161*c_1100_1^10 + 12272*c_1100_1^9 + 16979*c_1100_1^8 - 1716*c_1100_1^7 + 1046*c_1100_1^6 - 2763*c_1100_1^5 + 232*c_1100_1^4 - 185*c_1100_1^3 + 60*c_1100_1^2 + 2*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB