Magma V2.19-8 Tue Aug 20 2013 23:52:27 on localhost [Seed = 88305191] Type ? for help. Type -D to quit. Loading file "K12n275__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n275 geometric_solution 12.02908593 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 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 1 -1 0 0 1 -1 -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.658195749872 1.028346975592 0 4 4 5 0132 0132 1302 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.222128739266 0.874515505833 0 0 7 6 3012 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 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.291063785156 0.875689998171 8 9 10 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 0 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.023683679694 0.528901386324 1 1 6 11 2031 0132 0213 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 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.727154306762 1.074186934230 10 9 1 6 2103 0213 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249299031860 0.993385914981 5 4 2 9 3201 0213 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.298576047435 1.161550108082 12 8 9 2 0132 2103 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 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.528832298190 0.873302663143 3 7 10 12 0132 2103 2103 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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.580433515354 1.017482740414 6 3 5 7 3012 0132 0213 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.611308594992 0.808439722204 8 11 5 3 2103 0321 2103 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.403624562616 1.357814860743 12 12 4 10 1230 2310 0132 0321 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 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.666690078586 0.904486264388 7 11 8 11 0132 3012 1230 3201 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 -1 0 1 0 0 -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.471958372928 0.716384440165 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0011_5'], 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_0'], 'c_1001_7' : negation(d['c_0011_3']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_0101_11'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_7']), 'c_1001_2' : d['c_0101_12'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : negation(d['c_0101_7']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : d['1'], 's_0_11' : 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' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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' : d['c_0011_3'], 'c_1100_8' : d['c_0011_11'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0110_9'], 'c_1100_6' : d['c_0110_9'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0110_9'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : d['c_0101_6'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_12'], 'c_1010_6' : d['c_0011_5'], 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_0101_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0101_12'], 'c_1010_9' : negation(d['c_0101_7']), 'c_1010_8' : negation(d['c_0101_12']), '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_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_10'], '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' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_5'], 'c_0101_8' : d['c_0101_0'], '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_0110_9'], 'c_0110_8' : negation(d['c_0011_11']), '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_6'], 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_3'])})} 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_3, c_0011_5, c_0011_6, c_0101_0, c_0101_11, c_0101_12, c_0101_6, c_0101_7, c_0110_9, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1519508745415267344072921424450915112849694424379740610802226710462\ 7142300177775037/26732008780700604881069726219255620682512009246616\ 974876309224144860910097066561875*c_1001_0^29 + 1187677892277435742569353774631228784077560959907343583563293634016\ 77687004827661088/2673200878070060488106972621925562068251200924661\ 6974876309224144860910097066561875*c_1001_0^28 + 4754236258592553758957799837909292044524279606859107517469743342167\ 0548053925166818/24301826164273277164608842017505109711374553860560\ 88625119020376805537281551505625*c_1001_0^27 + 2460928150869583469596190127898193055584871078052926112870975650855\ 20188041123044359/8910669593566868293689908739751873560837336415538\ 991625436408048286970032355520625*c_1001_0^26 - 2406120984039979817086363289628658523255106179860860973460079438461\ 1607432892127766/35642678374267473174759634959007494243349345662155\ 9665017456321931478801294220825*c_1001_0^25 - 1852593498533166387910464570876252043137583902924841403506839239163\ 59860638902975026/7637716794485887108877064634073034480717716927604\ 84996465977832710311717059044625*c_1001_0^24 - 8223709198393419792769610284417227354536649912926423206992412112578\ 976339890743793/356426783742674731747596349590074942433493456621559\ 665017456321931478801294220825*c_1001_0^23 + 2667392030910180248144784719374329038987538833860919622233806861137\ 145157768804503832/381885839724294355443853231703651724035885846380\ 2424982329889163551558585295223125*c_1001_0^22 + 2553380025445541108333062644739768744960527157210751600122384156298\ 5924569368283929/39602975971408303527510705510008326937054828513506\ 629446384035770164311254913425*c_1001_0^21 - 7511418223371401606007128042941480985908170313718972401847914873650\ 272445523939777102/891066959356686829368990873975187356083733641553\ 8991625436408048286970032355520625*c_1001_0^20 - 4043364236375765154747071379880298670904713457108969186049628640830\ 6207359437831871654/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^19 + 3467156103286737460844110862518905568971936294825342768553196043405\ 454200473403014609/891066959356686829368990873975187356083733641553\ 8991625436408048286970032355520625*c_1001_0^18 + 4060117188907368697783190008695344791897294962684969348553884038057\ 0889806054968745648/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^17 - 2708461167604733530423295624593438378947037550467848693237865813396\ 41837889152136039/2545905598161962369625688211357678160239238975868\ 28332155325944236770572353014875*c_1001_0^16 - 5956388295188131224116242466335339505862728241104130343732857609051\ 232830766616401093/381885839724294355443853231703651724035885846380\ 2424982329889163551558585295223125*c_1001_0^15 + 8875126873402379339677874026536522636976177465022497580436800480500\ 7888121634426372619/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^14 + 1040776384556919953584866459243633991197004730894632880719941070633\ 18993436941142255213/2673200878070060488106972621925562068251200924\ 6616974876309224144860910097066561875*c_1001_0^13 - 8267292727472177408921522953768046719323818644203379566623308569379\ 1069782690677518449/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^12 - 2989152720888748922694381827665825688506590237660689664284121158828\ 9707860818495450243/38188583972429435544385323170365172403588584638\ 02424982329889163551558585295223125*c_1001_0^11 - 1612700842990659585102863007671592555778788816390310672254878912420\ 5529528423733607/21385607024560483904855780975404496546009607397293\ 5799010473793158887280776532495*c_1001_0^10 + 2428193691064933856763266332316334293847157128092833393691538653062\ 66912388109855371647/2673200878070060488106972621925562068251200924\ 6616974876309224144860910097066561875*c_1001_0^9 + 1649110909870097406954006947327505279748692726494008388206099897246\ 5053734612599533177/89106695935668682936899087397518735608373364155\ 38991625436408048286970032355520625*c_1001_0^8 - 3164188660507267364857551642458328646105174198532062292744202018828\ 8452322722956245176/53464017561401209762139452438511241365024018493\ 23394975261844828972182019413312375*c_1001_0^7 - 6965271511642754769194168498348513044471181443527560352052684697945\ 3988255893637914468/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^6 + 9562914624348091995615228717663163562726741307899858189884889151967\ 3934254613237007572/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^5 + 4930007111853815268100556390846738165704393270341841148196225646125\ 7616912594939704772/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^4 - 4374379367326273403717295206063605665289327100982488448177230513342\ 9066614011734666686/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0^3 - 9219285111990315178476903634302032638346590983327824783832608498345\ 791417697421098209/891066959356686829368990873975187356083733641553\ 8991625436408048286970032355520625*c_1001_0^2 + 1022774936515212465748900356172392564134621914533238729803586426512\ 8334254486996712853/26732008780700604881069726219255620682512009246\ 616974876309224144860910097066561875*c_1001_0 + 9357377570612690298482339294148690874449671873843890203417463691785\ 664300572876130884/267320087807006048810697262192556206825120092466\ 16974876309224144860910097066561875, c_0011_0 - 1, c_0011_10 + 14529163560870572443952720751237546056562180582580518846516\ 2426/42905535858987303320612549984050679118852538374230134294368529\ 475*c_1001_0^29 + 1067101217199537035147706785320416026494000684389\ 704914261016804/429055358589873033206125499840506791188525383742301\ 34294368529475*c_1001_0^28 + 45433061708374233587582774760268831335\ 34151043280634078877665393/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^27 + 211623347790346574340487347267879663513361030748475829836123146/171\ 6221434359492132824501999362027164754101534969205371774741179*c_100\ 1_0^26 - 1803639448176767678793495957775677871628799701136733204750\ 0221988/42905535858987303320612549984050679118852538374230134294368\ 529475*c_1001_0^25 - 5063645804908600058170008123692874365259929454\ 2602038768769481139/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^24 + 1377846147848649802344676673414113\ 0038362023501982010050615903291/42905535858987303320612549984050679\ 118852538374230134294368529475*c_1001_0^23 + 151347927757060429269014682154253839377195348172260478546963608761/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^22 + 165275038888574294078957197727768774820465311519452155\ 78426095852/8581107171797460664122509996810135823770507674846026858\ 873705895*c_1001_0^21 - 2958294254763719559442731218864039174413209\ 6861669865148210166786/61293622655696147600875071405786684455503626\ 24890019184909789925*c_1001_0^20 - 43913476127268271962458167312252758466843404354582026995653410389/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^19 + 35048427877636351743127616553937451687919373258333447831\ 910185244/858110717179746066412250999681013582377050767484602685887\ 3705895*c_1001_0^18 + 184574913996002834319551229144881474102837870\ 411182930694465099393/429055358589873033206125499840506791188525383\ 74230134294368529475*c_1001_0^17 - 78494557513253149835734004188579833472118747918489984001948051073/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^16 - 13461924641259955102670575185902367640588405247040150898\ 3187458389/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^15 + 1725303262766361596789647523052428295457841\ 64565060143982788147034/8581107171797460664122509996810135823770507\ 674846026858873705895*c_1001_0^14 + 467442871205380037190915805498106493805842308112984955137161110051/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^13 - 814756007982797844528238326405049909807669957386106494\ 272470606604/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^12 - 12379419758171673280736199050224711686267\ 94268432574336970782544242/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^11 + 109275511827529037729777228846759734056695695199783234133345805341/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^10 + 1486137712039728792196400511749603172115522426777668118\ 154960617841/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^9 - 517786496500677510942211981204220704328062\ 288008709550979267663652/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^8 - 797150061741163263381060632829946666473990066044886056061106843381/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^7 + 4419113487750186178001805072662803465257949337287203518\ 8847396621/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^6 + 68617700979232267171589440704272889961366850\ 2678253653697635605969/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^5 - 123228610893810999506818403419304444471157912689465322499678870559/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^4 - 3050280602141181064725801958879047679050854235719714977\ 5860288334/61293622655696147600875071405786684455503626248900191849\ 09789925*c_1001_0^3 + 263815515119418238312063480275906448932280195\ 55638584585866767318/4290553585898730332061254998405067911885253837\ 4230134294368529475*c_1001_0^2 + 2840426829684319681985795208050590\ 175571700835289766390550866314/171622143435949213282450199936202716\ 4754101534969205371774741179*c_1001_0 - 76148521296250674569326170692413943914622091117989736096766223997/4\ 2905535858987303320612549984050679118852538374230134294368529475, c_0011_11 + 85186920219347300581346178154748089883334286958055185000530\ 081/429055358589873033206125499840506791188525383742301342943685294\ 75*c_1001_0^29 + 63031503262038909280859893159331290227005688350025\ 0311369585327/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^28 + 2695638767596841704663691579730048095143\ 299219546878016978126077/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^27 + 650751018633118971169952157211302572629248364862260525129426473/858\ 1107171797460664122509996810135823770507674846026858873705895*c_100\ 1_0^26 - 1033991345704946359427253924429486374423143297737434938702\ 2338243/42905535858987303320612549984050679118852538374230134294368\ 529475*c_1001_0^25 - 2987577299982071369014039984549846476115577528\ 4744986611350080908/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^24 + 6433867522517793569701019881245785\ 876430883296058069420906793923/429055358589873033206125499840506791\ 18852538374230134294368529475*c_1001_0^23 + 85234202961037404351743646090443074265761384613286786269297285377/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^22 + 4762816646207808581984835310359434509826045136003998600\ 7446252452/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^21 - 1073519232530305979156431989123756476016351\ 63756787702527395729009/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^20 - 15636722442729276476556051594674550178843763975487320210404253592/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^19 + 86003061444289814485040023820994037200045872950417511892\ 543742454/429055358589873033206125499840506791188525383742301342943\ 68529475*c_1001_0^18 + 58540361964383221120362940076219955482239363\ 382230777868606305589/429055358589873033206125499840506791188525383\ 74230134294368529475*c_1001_0^17 - 241491123426041860626087353420156541615180436545490537220039170247/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^16 - 318850931839588475655321456796236685884650937510033098\ 36166899162/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^15 + 521277589986003626952307163595882394521226\ 370665649726226209061146/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^14 + 46151626513800684921780336735173830305161462987072164724327777762/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^13 - 81752547475809285140413557904668326102092396220709736289\ 747978614/858110717179746066412250999681013582377050767484602685887\ 3705895*c_1001_0^12 - 832891783042642000580618145029405099790134841\ 05458742901038272584/6129362265569614760087507140578668445550362624\ 890019184909789925*c_1001_0^11 + 4411060830129492864089627469413969\ 2491168789645892496072723060264/85811071717974606641225099968101358\ 23770507674846026858873705895*c_1001_0^10 + 663758394514106685445332000031805765884368310933549000563013332696/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^9 - 4093972702220019187590234888982880531487162143182248214\ 64283984164/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^8 - 4989676659901753780728646199103895149519029\ 4603912285982176972631/85811071717974606641225099968101358237705076\ 74846026858873705895*c_1001_0^7 + 235637283185814385598628469133219\ 946791799513493596764900441160522/429055358589873033206125499840506\ 79118852538374230134294368529475*c_1001_0^6 + 173344499603888362939463446635366070859445856339639812426470017926/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^5 - 8993440367215840266771412599404628154370866320853710698\ 3009675919/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^4 - 13803648253792691021558587779775783908258573\ 146801273307484346768/858110717179746066412250999681013582377050767\ 4846026858873705895*c_1001_0^3 + 1189620349030709831976190644895629\ 0079463688416860797302385453013/61293622655696147600875071405786684\ 45550362624890019184909789925*c_1001_0^2 - 13562003396822737265058745100738964342205879360515065641274586369/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0 - 6683487943077643718153019018588333728188296626462001659687\ 0690493/42905535858987303320612549984050679118852538374230134294368\ 529475, c_0011_3 - 245389879083877565211102242035109510335801245466839055808913\ 66/6129362265569614760087507140578668445550362624890019184909789925\ *c_1001_0^29 - 1800809507729890528284653286842253785704246364709751\ 28075962892/6129362265569614760087507140578668445550362624890019184\ 909789925*c_1001_0^28 - 7575582316188611874429265569631295109704244\ 69321685052597022642/6129362265569614760087507140578668445550362624\ 890019184909789925*c_1001_0^27 - 3307174224653941152589245119790970\ 5671796941253786376094847770/24517449062278459040350028562314673782\ 2014504995600767396391597*c_1001_0^26 + 3307448553091719338245234952044451019642709909416186770224143593/61\ 29362265569614760087507140578668445550362624890019184909789925*c_10\ 01_0^25 + 876659077214648637984397762359452304722425342100889846063\ 8458608/61293622655696147600875071405786684455503626248900191849097\ 89925*c_1001_0^24 - 36670513772112947166993582485496192065986665493\ 10170794459181098/6129362265569614760087507140578668445550362624890\ 019184909789925*c_1001_0^23 - 2867095518410943653121420608793507413\ 8906662735764409396325079797/61293622655696147600875071405786684455\ 50362624890019184909789925*c_1001_0^22 - 12326011181312206796775201504199705061573893848091930334219897552/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^21 + 45270003166012246001476091574779988992281445879425835005\ 620468789/612936226556961476008750714057866844555036262489001918490\ 9789925*c_1001_0^20 + 415143420831612692762344090087339234112564449\ 72767527414564226689/6129362265569614760087507140578668445550362624\ 890019184909789925*c_1001_0^19 - 4498740848155807219002877439076102\ 8243840947945791111652425844614/61293622655696147600875071405786684\ 45550362624890019184909789925*c_1001_0^18 - 46876721767227983548930257679588698093161335381565421504510395879/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^17 + 77436759144653272542268643164879228420732657293221481001\ 766668972/612936226556961476008750714057866844555036262489001918490\ 9789925*c_1001_0^16 + 364165719350330937879658817126714160474551890\ 22294679748282568342/6129362265569614760087507140578668445550362624\ 890019184909789925*c_1001_0^15 - 1667336664211978985956619303687338\ 27273398841586283917653463779566/6129362265569614760087507140578668\ 445550362624890019184909789925*c_1001_0^14 - 3333545793263254033304149471159464626756656829420124977819721249/24\ 5174490622784590403500285623146737822014504995600767396391597*c_100\ 1_0^13 + 3870423637760623061486355571463736571233599617574471742071\ 8115013/12258724531139229520175014281157336891100725249780038369819\ 57985*c_1001_0^12 + 23638037801706187094469113336491330264040709663\ 9526261774550000918/61293622655696147600875071405786684455503626248\ 90019184909789925*c_1001_0^11 - 29939302868573026188307241585879068\ 185058874991736240595765220839/122587245311392295201750142811573368\ 9110072524978003836981957985*c_1001_0^10 - 338504613793465028551010628670927247825581930043928645105696288931/\ 6129362265569614760087507140578668445550362624890019184909789925*c_\ 1001_0^9 + 11773255026415660791750294234378474631240750760164382229\ 3128117284/61293622655696147600875071405786684455503626248900191849\ 09789925*c_1001_0^8 + 480634790593832518979547209023965059166547093\ 32947582397813276491/1225872453113922952017501428115733689110072524\ 978003836981957985*c_1001_0^7 - 27557588606442595161533299616614319\ 575647445477835285295585435507/612936226556961476008750714057866844\ 5550362624890019184909789925*c_1001_0^6 - 172181962806940875832168891207057892929372699154163418483668152561/\ 6129362265569614760087507140578668445550362624890019184909789925*c_\ 1001_0^5 + 10778632834600352595868061610893292667137584613742392301\ 933650734/612936226556961476008750714057866844555036262489001918490\ 9789925*c_1001_0^4 + 1499604491642537886060120638838096383023447069\ 9067752858445621109/12258724531139229520175014281157336891100725249\ 78003836981957985*c_1001_0^3 + 617045127133974852839673280222577006\ 8792486225500276463852420794/61293622655696147600875071405786684455\ 50362624890019184909789925*c_1001_0^2 - 21272250323677814764942356333864721223882911083757480686372984021/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0 + 49226569735751286809505403982513389917111955391946777435255\ 9848/61293622655696147600875071405786684455503626248900191849097899\ 25, c_0011_5 - 116329525226742267659028819328258680680956192520187744259470\ 01/4290553585898730332061254998405067911885253837423013429436852947\ 5*c_1001_0^29 - 316454671952693221419202819843101515383925981904768\ 745219376848/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^28 - 40219925179389736770952856132917575684382\ 9500928408123347159554/85811071717974606641225099968101358237705076\ 74846026858873705895*c_1001_0^27 - 1449838965074796094540128533317696993533571324337884623868287712/85\ 81107171797460664122509996810135823770507674846026858873705895*c_10\ 01_0^26 - 519596126309854894102907779060096078002939517528279831237\ 2555187/42905535858987303320612549984050679118852538374230134294368\ 529475*c_1001_0^25 + 3538805821122029259640516481558172697306687671\ 7259623371314145781/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^24 + 7346422620712953071234330196530715\ 5347408948329743197421392885753/42905535858987303320612549984050679\ 118852538374230134294368529475*c_1001_0^23 - 57267128007838756473948107935832690374427551782278832919335920054/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^22 - 2524978083687614808001362140372740747973293268039591126\ 84499443901/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^21 - 505425649804821434761884764114640302222627\ 87759150586151374396877/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^20 + 59146279125600456558817791025007078349599675316590251160354311961/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^19 + 26615213185631503513034751867732981076910575886700912143\ 7384430308/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^18 - 4397517085540773646704399031907871791981867\ 98499216266635239294646/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^17 - 252998825681043788738489148839087589926995265311472480867004831949/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^16 + 762128377972921894766476178025394124370750203874135550\ 829403744143/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^15 + 71641172698542501648974589569339784060896\ 908609315211697761151177/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^14 - 1533474833562879488943309067184768252347833549077110242088229044738\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^13 - 38336499522679513182399960938573326114253362736352994\ 1416536836118/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^12 + 4988668519817168741576597408360211657621\ 5323686183089786075294506/12258724531139229520175014281157336891100\ 72524978003836981957985*c_1001_0^11 + 67881798767401932906753838535218174278377769820696584440328421317/1\ 716221434359492132824501999362027164754101534969205371774741179*c_1\ 001_0^10 - 16516883943846551226821572050730011976218845616983897905\ 38464830466/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^9 - 2494539712392460760388941356726725693061231\ 874840500214814304836902/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^8 + 1648681460243424690194564040184449269456303577687154104004387374628\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^7 + 157071021077326418157121364355749694820205321045478167\ 0316696521871/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^6 - 20752226265684185873348352721001821640005\ 463230636960618753129997/171622143435949213282450199936202716475410\ 1534969205371774741179*c_1001_0^5 - 1304677181196725763338727439289265929615693609316608725504746103096\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^4 + 255541273256102934140563077302316700117060028744962621\ 770653423914/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^3 + 828164163094820807937954189300750118086539\ 86698154356542142807394/6129362265569614760087507140578668445550362\ 624890019184909789925*c_1001_0^2 - 28567542411358919846888801151247607982834655600722411474013509723/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0 - 4000662143920419047225001725927031759268201677677515504049\ 1091237/85811071717974606641225099968101358237705076748460268588737\ 05895, c_0011_6 + 663820044577365651521278463408638968301665482231177055094699\ 56/4290553585898730332061254998405067911885253837423013429436852947\ 5*c_1001_0^29 + 413789006570797506133738863624644121123258118807079\ 086298074242/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^28 + 16427711736385035315460189222253888287808\ 43453694153501125791207/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^27 + 5720122836408475330755644600892887721702989053058809607500589/24517\ 4490622784590403500285623146737822014504995600767396391597*c_1001_0\ ^26 - 6839983957928218981395222145233511539703388684678880513975608\ 413/429055358589873033206125499840506791188525383742301342943685294\ 75*c_1001_0^25 - 70395943647874149512949137214291699653161874350752\ 57036491662638/4290553585898730332061254998405067911885253837423013\ 4294368529475*c_1001_0^24 + 223374056579403222670395698774654880221\ 58863372546322245514415798/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^23 + 13615063931410294402551508163085901341145915063310316767814554717/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^22 - 6274584395496338770499547956212790908383506860945516638\ 6976218738/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^21 - 2266662632656805090009077949759091753080886\ 1698917780615217266304/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^20 + 159752798317160300523605359273423345077073334648979328436322288616/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^19 + 113075510044434838397960879194438416820094822309581575\ 476852047484/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^18 - 27163620582263223866789752299480190702821\ 2620671903527492482804596/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^17 - 309389529772510161212558705583542414062915946373433805530186131807/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^16 + 320392156972973582844514302849013449131084716610121967\ 065821359608/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^15 + 29033400804504897517948053953335619170978\ 8147426827973060376633471/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^14 - 101261627088375880591880656284253242555167540024634907229539637218/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^13 - 1517541322197622737127859498292812629226869415444124928\ 3134531261/85811071717974606641225099968101358237705076748460268588\ 73705895*c_1001_0^12 + 67039244824376747196804646258631105175698748\ 1169456481903998357522/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^11 + 140272167322250982007184539736403279534189979336393765294084863624/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^10 - 8390356999934329677807927338585550681378214401110831964\ 03995279504/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^9 - 1489904198166373320190338670116403381263627\ 901435678776178377191699/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^8 + 205541294350737479972564865520059999666042313100613649751637805177/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^7 + 93237215187229164131551514979132546560136255268730929131\ 5927300777/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^6 - 28486214439839297307409120938218755447710866\ 4933367692152879502269/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^5 - 805287447603195259293859572011020390351801603706120176964062364169/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^4 + 8646264174451950681673230386908173874442535448334857186\ 754376320/171622143435949213282450199936202716475410153496920537177\ 4741179*c_1001_0^3 + 4083545476237406339629451126046228097848387240\ 42371536634125566241/4290553585898730332061254998405067911885253837\ 4230134294368529475*c_1001_0^2 - 5624720142828709235647825366956356\ 696589903945561200853878772057/612936226556961476008750714057866844\ 5550362624890019184909789925*c_1001_0 - 157988473177240631211527422137825705892629554135230908025099185683/\ 42905535858987303320612549984050679118852538374230134294368529475, c_0101_0 - 370424628114572661605915318619299310011942085597998059383984\ 89/8581107171797460664122509996810135823770507674846026858873705895\ *c_1001_0^29 - 1346367890103763486085653321137261024543628886904057\ 860512675108/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^28 - 56881772678436448032558120314472895721785\ 79780412607091398099014/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^27 - 254859612325063658176765664644686775877054594798655069226329850/171\ 6221434359492132824501999362027164754101534969205371774741179*c_100\ 1_0^26 + 4593731459538985251210141292922894984642135945706715675296\ 614444/858110717179746066412250999681013582377050767484602685887370\ 5895*c_1001_0^25 + 602766031272897182188004549814388070975207492929\ 57722990244050364/4290553585898730332061254998405067911885253837423\ 0134294368529475*c_1001_0^24 - 268339686143176734174151638804666015\ 62576203335120637732664679062/4290553585898730332061254998405067911\ 8852538374230134294368529475*c_1001_0^23 - 186288720877678101789555172266883187313349984406140857600988549516/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^22 - 633366768778774577361750573639440403231400177844286050\ 67233116167/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^21 + 405680733110950507389804843911741710648739\ 65501639999568971053021/6129362265569614760087507140578668445550362\ 624890019184909789925*c_1001_0^20 + 198122730946902994958090844568272856026786716361480387332388341369/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^19 - 323715850172018645128084450202465455681089686856077366\ 054291960119/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^18 - 17893376693406968702919430452750035375534\ 7082522866727988172229101/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^17 + 640944476588713519349910343223844998966991050105061020319940020157/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^16 + 138807904465463712631816805596248891364859348964534017\ 731825555448/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^15 - 11858349532014960779931399272671937385512\ 26995681520299587591432096/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^14 - 386331739124108251191612504280517815083156947399482354225126594829/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^13 + 121239680225896097502090791586765518449130431736132589\ 6561516524231/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^12 + 1203353014385876510484863495971615923277\ 737795247684867615257692536/429055358589873033206125499840506791188\ 52538374230134294368529475*c_1001_0^11 - 240265372596756682774899333460932706643011923423801917846380424708/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^10 - 3529088866680356288667500068632164387129987047358732277\ 74874310784/8581107171797460664122509996810135823770507674846026858\ 873705895*c_1001_0^9 + 14063083277208183716214852253189635049038872\ 48652469617540615777892/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^8 + 1153510083856169141731674862674249303897566189342142790579229870429\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^7 - 649036925177432137781692910420799133015623451005525174\ 477039073666/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^6 - 997478027918025620418351712989640879449960\ 619279855402797054849812/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^5 + 86043596672046326469324146310595122369609466598547971051983245159/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^4 + 574776403230240923631984507376581689872863408319700630078\ 07106946/6129362265569614760087507140578668445550362624890019184909\ 789925*c_1001_0^3 - 17706934784331441495837738632903340142916710985\ 2413482619234315053/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^2 - 12868202668948988638255454164072196\ 6667319873006605632158757315746/42905535858987303320612549984050679\ 118852538374230134294368529475*c_1001_0 + 79581024541810691021330822951159277457300006104600509343050278936/4\ 2905535858987303320612549984050679118852538374230134294368529475, c_0101_11 + 34873518271172395220847847936379015279911593776836107062591\ 6036/42905535858987303320612549984050679118852538374230134294368529\ 475*c_1001_0^29 + 2294623107859749705802123254252973488183509515689\ 013687706548542/429055358589873033206125499840506791188525383742301\ 34294368529475*c_1001_0^28 + 90023646629393696294908330570440959414\ 61279813714186664392646462/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^27 + 196187366299836857953197412736801394718073034723601363940741273/171\ 6221434359492132824501999362027164754101534969205371774741179*c_100\ 1_0^26 - 7180018948669225531371350276048748089506953472983724700528\ 030654/612936226556961476008750714057866844555036262489001918490978\ 9925*c_1001_0^25 - 821198805555209967381809129024767711200377434355\ 20366934293329448/4290553585898730332061254998405067911885253837423\ 0134294368529475*c_1001_0^24 + 124371740166711814980280013792769584\ 132280912337699326907875760173/429055358589873033206125499840506791\ 18852538374230134294368529475*c_1001_0^23 + 302859957852649123209405237800216583707526784044583888761180092757/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^22 - 121289215325803157824863519065095166182908288878582364\ 382310019443/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^21 - 58393373505631620658026058938978527730257\ 0425194787811138173217434/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^20 + 19357379951022665064448411153643076068902474726137488679154580776/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^19 + 8384315469676143965944663423203458393561685062260526894\ 44607842274/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^18 - 124823861877258412774782545609813983269016\ 542849471905141518654321/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^17 - 1435333010492291496635828455612275103016967338974076933607950826827\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^16 + 56506010422689507659184128974659337661616209850573401\ 7800460895308/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^15 + 3345280478574107639100196660807596912539\ 28037235805299767198665783/6129362265569614760087507140578668445550\ 362624890019184909789925*c_1001_0^14 - 156362188924458600139491995979191673593796638951165376172331545124/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^13 - 5213634299157457900623051765815117603212312593935513433\ 71638801907/8581107171797460664122509996810135823770507674846026858\ 873705895*c_1001_0^12 - 6208122321483570763961398315497801800164663\ 17532519096831487044473/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^11 + 754537803573274239984145642017250630707310434574038361084993772899/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^10 + 1550279365602432381883958469729151316448982793823970429\ 900749458276/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^9 - 499032710937437821116115178615611259097984\ 2541264787724122780152954/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^8 - 46558753978766055349308041558649889389127766212800103492493882237/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^7 + 266279229470435491019310560763846806474988051316688026433\ 4459808417/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^6 + 12190911739849590750839224151531518440769185\ 33297720496314992009746/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^5 - 2158565697171193808289672175924616521382717850885898518931200501389\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^4 - 650949714019635142241576047660317665673938015202751331\ 76276541102/8581107171797460664122509996810135823770507674846026858\ 873705895*c_1001_0^3 + 84862258532189665128654818783725491712405322\ 6636391612310885785561/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^2 + 182384700119576167670142260758862657873704770313395194503831317386/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0 - 338960499591643954877964478307481769830271730676069781631\ 373652753/429055358589873033206125499840506791188525383742301342943\ 68529475, c_0101_12 - 11364117695167845094057111408442705829131330765829738826519\ 5598/42905535858987303320612549984050679118852538374230134294368529\ 475*c_1001_0^29 - 6811167492764041802113797276179763261362926768543\ 85249532283318/4290553585898730332061254998405067911885253837423013\ 4294368529475*c_1001_0^28 - 244566204075549184426873378161727688952\ 8943900948810904042407767/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^27 + 13261217016398883084910859752625354992887541474949687653521144/1225\ 872453113922952017501428115733689110072524978003836981957985*c_1001\ _0^26 + 18691438192274241775257434143898126054953436651773199515710\ 993189/429055358589873033206125499840506791188525383742301342943685\ 29475*c_1001_0^25 + 36399630563536736124293647442430083459376271598\ 26296023576342092/8581107171797460664122509996810135823770507674846\ 026858873705895*c_1001_0^24 - 6347175590581655914432717687851921325\ 7973323906480812408366095922/42905535858987303320612549984050679118\ 852538374230134294368529475*c_1001_0^23 - 17863218854862490238406303747229334634908850110033414122748220739/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^22 + 11290862546537986288680112537963465537767544205201292358\ 1197406456/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^21 + 8824064798812552181837260508692197160418301\ 546264011572821104605/171622143435949213282450199936202716475410153\ 4969205371774741179*c_1001_0^20 - 122000276738877153444772492681991\ 126211558128393355888975829229047/429055358589873033206125499840506\ 79118852538374230134294368529475*c_1001_0^19 - 372603905558808183151490623522198169996572278407536464463539315868/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^18 + 165831125647473163441362303964099014034010872330325312\ 147494816654/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^17 + 58216121070787440609700395805870749229407\ 7677933803658354110411014/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^16 - 407338706357395420885919329307264873003080361401457332033119525407/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^15 - 868723949303668193357572571115085497774307205149427436\ 942344390837/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^14 + 69161555323642990401167252178547044315885\ 7425713636105203923425644/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^13 + 1072304517658424480350974092090289295177742277195461584153653825339\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^12 - 29187425751772568951432222450589744900662754785624623\ 8841012599217/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^11 - 3648087088706500885537676524832758405791\ 24686529724126207351364049/8581107171797460664122509996810135823770\ 507674846026858873705895*c_1001_0^10 - 49680424194141791553023232183163486034154525746150276425543811893/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^9 + 49784244568747874530143139886897047945176620890342559870\ 0922650541/85811071717974606641225099968101358237705076748460268588\ 73705895*c_1001_0^8 - 323160620185442453675809413254532075507585322\ 380761995236594362319/429055358589873033206125499840506791188525383\ 74230134294368529475*c_1001_0^7 - 306503407521450998117806650584761\ 676532127731240028511449649275108/858110717179746066412250999681013\ 5823770507674846026858873705895*c_1001_0^6 - 301519147950318078177420259909806916446514587842144412506279213276/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^5 + 1272077225964278693028351699325585140286105159185524614\ 261682501537/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^4 + 287711054945935518851997176451084167608621\ 89973949630548500346253/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^3 - 105908459956303283367710634485242621022119024326482995525752047271/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^2 - 93772388229519068629054235488276144320964958644366760533\ 38514946/6129362265569614760087507140578668445550362624890019184909\ 789925*c_1001_0 + 2187577077684651261868449574155191437313965238995\ 19411361270555948/4290553585898730332061254998405067911885253837423\ 0134294368529475, c_0101_6 - 122722216821367342365716398201206185105363720709734858723741\ 04/8581107171797460664122509996810135823770507674846026858873705895\ *c_1001_0^29 - 4008720968207901129993721658135396422708538775836271\ 04017545099/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^28 - 148673873377286361424516889378176016709198\ 3495861947158780862347/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^27 - 29507743954544091346360988234603490298727485645437618011127324/8581\ 107171797460664122509996810135823770507674846026858873705895*c_1001\ _0^26 + 23638740948103026334850717761247692114630600985869068978134\ 20966/8581107171797460664122509996810135823770507674846026858873705\ 895*c_1001_0^25 + 1896488410489574508366103205439773495196218857792\ 7625897042760332/42905535858987303320612549984050679118852538374230\ 134294368529475*c_1001_0^24 - 2979318732469937730584742374568341165\ 2349731371494567454485448866/42905535858987303320612549984050679118\ 852538374230134294368529475*c_1001_0^23 - 87507242251799999477456298346975359321833213650686593519373721273/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^22 + 8474090516632728221128198549416811053589066591594425374\ 125882109/429055358589873033206125499840506791188525383742301342943\ 68529475*c_1001_0^21 + 26990629261079286944244393736119088502882565\ 186103320614815983778/612936226556961476008750714057866844555036262\ 4890019184909789925*c_1001_0^20 + 103591479966568800902778483568042\ 561172486423802198342492612637627/429055358589873033206125499840506\ 79118852538374230134294368529475*c_1001_0^19 - 220529298140422576564103660467885515144554379078775662608225547657/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^18 - 177671703425971122636299376959461474567494533406503809\ 310459567648/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^17 + 24914568936270925742434632930933481408266\ 9179691471814476541034536/42905535858987303320612549984050679118852\ 538374230134294368529475*c_1001_0^16 + 60493998458547538139724542975576548827473056562848195742263160099/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^15 - 5404340164054395230351983706919668495354499306882602235\ 15685559448/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^14 - 852287616575206475884816649604378341409259\ 99623173911270191093662/4290553585898730332061254998405067911885253\ 8374230134294368529475*c_1001_0^13 + 862195471133109300528669267142310864045797409427517879692149374713/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^12 + 721199868924777224165205132472698139848528770960088802\ 432498021943/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^11 - 17859346413723134167654797310298421779259\ 5027508033323547024483639/85811071717974606641225099968101358237705\ 07674846026858873705895*c_1001_0^10 - 248063564196810132743109249139624659524490815684727827040436943434/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^9 + 63132927158545588908838913548979716432734647794948071647\ 5857122761/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^8 + 99845384652762529697053004605167429138732724\ 6674000377102211723057/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^7 - 101221123051101368563522299700232111838862954277487223145618066903/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^6 - 8546689405935678570768945889098485402776897781898324952\ 05886430756/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^5 + 3633881681895252802151181581765068142773121\ 255686906625705324859/171622143435949213282450199936202716475410153\ 4969205371774741179*c_1001_0^4 + 5838088695451460357079627473847771\ 7258713779281615898194464160698/61293622655696147600875071405786684\ 45550362624890019184909789925*c_1001_0^3 + 54712555747137111469841632300342109301211290154049048775449516181/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^2 - 15940719646967672679894760505786124583506900717643079638\ 1221461213/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0 - 4038747143385137543178271316975405881619236240\ 9214607531663932057/42905535858987303320612549984050679118852538374\ 230134294368529475, c_0101_7 + 380189033090045375941542454145572419073098537170596886596208\ 3/8581107171797460664122509996810135823770507674846026858873705895*\ c_1001_0^29 + 26828763970261893646166958751697388218343159400199270\ 058351214/612936226556961476008750714057866844555036262489001918490\ 9789925*c_1001_0^28 + 100987459534296099504653247643686268130636037\ 4096345834573376914/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^27 + 5449403706008454658280827447407357\ 47087012359944586675408507657/8581107171797460664122509996810135823\ 770507674846026858873705895*c_1001_0^26 + 76480741391848711596810750339010037233485023759587507701752239/1716\ 221434359492132824501999362027164754101534969205371774741179*c_1001\ _0^25 - 76375171144024034121474604764865473341798309677228606153491\ 21609/4290553585898730332061254998405067911885253837423013429436852\ 9475*c_1001_0^24 - 256270601662405780798893501718995291890637019333\ 9662390571538984/61293622655696147600875071405786684455503626248900\ 19184909789925*c_1001_0^23 - 24044476007091260655309885366576275555\ 04333540288078771054277259/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^22 + 38847867553394084406640343203522154875030246861633703846792861957/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^21 + 5206282239498664485795545906900395719875077661304759215\ 3335086488/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^20 - 6442070155326701719018132969968623939230197\ 29411735296770682219/4290553585898730332061254998405067911885253837\ 4230134294368529475*c_1001_0^19 - 613055435103007291789978104690585\ 51402414025176496434952750430491/4290553585898730332061254998405067\ 9118852538374230134294368529475*c_1001_0^18 - 51879620329000755706796320039620747522966037092165209699308985559/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^17 - 3791533347622398833564378291868037112290975213099027115\ 660177946/612936226556961476008750714057866844555036262489001918490\ 9789925*c_1001_0^16 - 533473665760444879528236141585715060968704933\ 03006234593828132378/4290553585898730332061254998405067911885253837\ 4230134294368529475*c_1001_0^15 - 293322336059689503053897758172990\ 32309711979955154789495581083464/4290553585898730332061254998405067\ 9118852538374230134294368529475*c_1001_0^14 + 17078636810190470607339099987032749249996494654786324955978387512/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^13 + 25193094365351967403167472249928220986517154200632258536\ 2521697539/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^12 + 7805539349142634333607783542601523956112330\ 5199187167232804779419/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^11 - 59262892195278257362822097657991055179851058768474181062996166602/8\ 581107171797460664122509996810135823770507674846026858873705895*c_1\ 001_0^10 - 70587418613096438256157809169399006797175646874679301076\ 57002996/1225872453113922952017501428115733689110072524978003836981\ 957985*c_1001_0^9 + 10398933219439893170904153359458539961990907932\ 0010539363962552228/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^8 + 26764181399732819148247244797829773\ 5219806199762708667864191360856/42905535858987303320612549984050679\ 118852538374230134294368529475*c_1001_0^7 + 82116131956531717552328362015481285111374321143364801246730994381/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^6 - 26384866376916057871536224088756335847483525004384218459\ 3143843948/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^5 - 26916274964761377658936869504841641272830350\ 19677153308189725280/1716221434359492132824501999362027164754101534\ 969205371774741179*c_1001_0^4 + 14799669972452521004183361719352944\ 0628511307326012906173847102978/42905535858987303320612549984050679\ 118852538374230134294368529475*c_1001_0^3 + 89982997997385408115110661249604120345825584460974085859068997783/4\ 2905535858987303320612549984050679118852538374230134294368529475*c_\ 1001_0^2 - 11905382958663832351021246446512018417749483358168807186\ 864678994/429055358589873033206125499840506791188525383742301342943\ 68529475*c_1001_0 - 84982833419248200690041951344572901147322864017\ 27807783891373433/6129362265569614760087507140578668445550362624890\ 019184909789925, c_0110_9 - 513428910621922268090989496044095230405486251796266946478557\ 36/6129362265569614760087507140578668445550362624890019184909789925\ *c_1001_0^29 - 2350960685513095066816345629242530281696716563093721\ 459638239978/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^28 - 12994822339849000309197263703592499063667\ 36151315206876729837123/6129362265569614760087507140578668445550362\ 624890019184909789925*c_1001_0^27 - 798945020563378720671023262509323263002167603539540371878940368/858\ 1107171797460664122509996810135823770507674846026858873705895*c_100\ 1_0^26 + 5506621035337823677109036588158621171412812661370895265109\ 5106706/42905535858987303320612549984050679118852538374230134294368\ 529475*c_1001_0^25 + 8683091339379574824062070938770941330618517051\ 6439878635798594728/42905535858987303320612549984050679118852538374\ 230134294368529475*c_1001_0^24 - 1427948887766720756587455899140628\ 73308330454432613777997710449297/4290553585898730332061254998405067\ 9118852538374230134294368529475*c_1001_0^23 - 49521876291252637027534346335748567594929580278922023693448389136/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^22 + 53501101255824062414284436224619452441672348194211799639\ 42588584/1716221434359492132824501999362027164754101534969205371774\ 741179*c_1001_0^21 + 7110661508124354507287442835108013033123612089\ 91619859908524970349/4290553585898730332061254998405067911885253837\ 4230134294368529475*c_1001_0^20 + 123173052149858433528783811789384\ 30988181011953980943028314027206/8581107171797460664122509996810135\ 823770507674846026858873705895*c_1001_0^19 - 200115650413361127746695481817788958739268379931595457218831463448/\ 8581107171797460664122509996810135823770507674846026858873705895*c_\ 1001_0^18 - 8389875711947303376490767287628622365128980960229324318\ 5208984066/42905535858987303320612549984050679118852538374230134294\ 368529475*c_1001_0^17 + 3064354623122347790926495130415931362913059\ 27248830992245193717662/8581107171797460664122509996810135823770507\ 674846026858873705895*c_1001_0^16 - 58490583305506618670402266248013937000028658378309035445383392306/6\ 129362265569614760087507140578668445550362624890019184909789925*c_1\ 001_0^15 - 51464701248503118290724608888624183294856774821966411647\ 4244531067/85811071717974606641225099968101358237705076748460268588\ 73705895*c_1001_0^14 + 66786780177600611870017052935619764531882582\ 3701993866682278186968/42905535858987303320612549984050679118852538\ 374230134294368529475*c_1001_0^13 + 462130150004807351981273491941931871090779638460720734507751714199/\ 6129362265569614760087507140578668445550362624890019184909789925*c_\ 1001_0^12 + 1182392725638005096085164166616660470966445536296343180\ 723731410164/429055358589873033206125499840506791188525383742301342\ 94368529475*c_1001_0^11 - 88477019222891843924689375559338077906441\ 9488241436262631074758622/85811071717974606641225099968101358237705\ 07674846026858873705895*c_1001_0^10 - 2699997731947547356591119935178968746863057614974868798334753205457\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^9 + 742223337754098627973326379153493696498923409657767231\ 491579338737/612936226556961476008750714057866844555036262489001918\ 4909789925*c_1001_0^8 + 1419953136462315688089802307292514548830646\ 019591593948349000155432/429055358589873033206125499840506791188525\ 38374230134294368529475*c_1001_0^7 - 2530506614847965821231005158906101090925051117518317079774100961682\ /42905535858987303320612549984050679118852538374230134294368529475*\ c_1001_0^6 - 207592162904283993922949176730575191370187369452966188\ 9512817789973/42905535858987303320612549984050679118852538374230134\ 294368529475*c_1001_0^5 + 19561739249858030417103328741441911946326\ 41546770093832968338710993/4290553585898730332061254998405067911885\ 2538374230134294368529475*c_1001_0^4 + 886583624048444398912922211649775192358322519518746705755929521531/\ 42905535858987303320612549984050679118852538374230134294368529475*c\ _1001_0^3 - 7349339132359848637321068010143545614655627103628736560\ 04109201421/4290553585898730332061254998405067911885253837423013429\ 4368529475*c_1001_0^2 - 1553394701520670318458553144247047873000065\ 2499039507300254435077/17162214343594921328245019993620271647541015\ 34969205371774741179*c_1001_0 + 25546514678184676379443995404743500\ 7455407906982078254894031679849/42905535858987303320612549984050679\ 118852538374230134294368529475, c_1001_0^30 + 6*c_1001_0^29 + 22*c_1001_0^28 - c_1001_0^27 - 153*c_1001_0^26 - 155*c_1001_0^25 + 490*c_1001_0^24 + 677*c_1001_0^23 - 811*c_1001_0^22 - 1488*c_1001_0^21 + 892*c_1001_0^20 + 2302*c_1001_0^19 - 1549*c_1001_0^18 - 3682*c_1001_0^17 + 3857*c_1001_0^16 + 5551*c_1001_0^15 - 5867*c_1001_0^14 - 6059*c_1001_0^13 + 1788*c_1001_0^12 + 11414*c_1001_0^11 - 994*c_1001_0^10 - 15695*c_1001_0^9 + 7276*c_1001_0^8 + 6506*c_1001_0^7 - 717*c_1001_0^6 - 7277*c_1001_0^5 + 2614*c_1001_0^4 + 2558*c_1001_0^3 - 1028*c_1001_0^2 - 1060*c_1001_0 + 649 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.670 Total time: 4.889 seconds, Total memory usage: 32.09MB