Magma V2.19-8 Tue Aug 20 2013 23:46:30 on localhost [Seed = 2260790416] Type ? for help. Type -D to quit. Loading file "K14n19420__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n19420 geometric_solution 11.24131825 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550864683452 1.092830908808 0 2 3 4 0132 0213 2310 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.889130413250 0.761251963863 5 0 1 0 0132 0132 0213 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359219564696 0.372304092957 6 1 4 0 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354599613991 0.813019140181 7 3 1 5 0132 0213 0132 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 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.472904933953 1.394190780495 2 8 4 8 0132 0132 1230 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 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.434983900771 0.876993754387 3 9 7 10 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.631670394282 0.366747237417 4 10 11 6 0132 2031 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.322232023267 0.866152892887 5 5 11 9 3012 0132 1023 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.519143901582 0.805792896763 8 6 10 11 3120 0132 2031 3120 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.659615069056 0.432392045191 7 11 6 9 1302 0132 0132 1302 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.570814712546 0.828090135132 9 10 8 7 3120 0132 1023 0132 0 0 0 0 0 1 0 -1 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 -1 -1 2 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.086170405923 0.841210527620 ==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' : negation(d['c_0110_10']), 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0101_1']), 'c_1001_7' : negation(d['c_0110_10']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_1001_0']), 'c_1001_9' : negation(d['c_0110_10']), 'c_1001_8' : d['c_0101_11'], 'c_1010_11' : negation(d['c_0110_10']), 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_4'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0101_9'], 'c_1100_6' : d['c_0101_9'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0101_1']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_9'], 'c_1100_10' : d['c_0101_9'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : negation(d['c_0110_10']), 'c_1010_5' : d['c_0101_11'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : negation(d['c_1001_0']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_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' : negation(d['1']), 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_3'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0110_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_7'], 'c_0110_8' : d['c_0101_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_0'], 'c_0110_6' : d['c_0011_4']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0101_7, c_0101_9, c_0110_10, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 20185921948984715694460826326242867284299110928966240/7407398348736\ 052821163528729564608879635625997*c_1001_0^24 + 78537698575563700083403522671467162221772763238977368/7407398348736\ 052821163528729564608879635625997*c_1001_0^23 - 229153587938730675903634478610204601916826930129597208/740739834873\ 6052821163528729564608879635625997*c_1001_0^22 + 592637014408354832937976199444419641073571572611005978/740739834873\ 6052821163528729564608879635625997*c_1001_0^21 - 16141267125532426555452076546864369610187709721828231/9376453605995\ 0035710930743412210238982729443*c_1001_0^20 + 2318060968173076441174968602065097863765335374179527353/74073983487\ 36052821163528729564608879635625997*c_1001_0^19 - 3824450314118645242974319532820388604036547509145140585/74073983487\ 36052821163528729564608879635625997*c_1001_0^18 + 5872089913495317839675655795723248204097092731310233290/74073983487\ 36052821163528729564608879635625997*c_1001_0^17 - 8315081514648069501414415153435119386251386351688506159/74073983487\ 36052821163528729564608879635625997*c_1001_0^16 + 10981276402881740589129225438545193806160024259638250768/7407398348\ 736052821163528729564608879635625997*c_1001_0^15 - 13619009152883900949996962520609147881289297884845503363/7407398348\ 736052821163528729564608879635625997*c_1001_0^14 + 15622913258869964692944803942759841797150866960337405095/7407398348\ 736052821163528729564608879635625997*c_1001_0^13 - 16512806836640755262144332701433695682088202245486521029/7407398348\ 736052821163528729564608879635625997*c_1001_0^12 + 16470032868016649836131533736479632479502802888423379860/7407398348\ 736052821163528729564608879635625997*c_1001_0^11 - 15522161273528126367862508211789736074906911269956081705/7407398348\ 736052821163528729564608879635625997*c_1001_0^10 + 13079577563912537953103114322887018727371207227701784190/7407398348\ 736052821163528729564608879635625997*c_1001_0^9 - 9163614906023817157984278526863070671603910493322770344/74073983487\ 36052821163528729564608879635625997*c_1001_0^8 + 5077421471148397288545889585061804417743003069732911722/74073983487\ 36052821163528729564608879635625997*c_1001_0^7 - 2209905783264788397881438768572063197611869868501381673/74073983487\ 36052821163528729564608879635625997*c_1001_0^6 + 849330393019108971998526636364273776559836159745797365/740739834873\ 6052821163528729564608879635625997*c_1001_0^5 - 400745520587622758331637497379647503430348170789791545/740739834873\ 6052821163528729564608879635625997*c_1001_0^4 + 220634511333152418346224065301018039752024520467783107/740739834873\ 6052821163528729564608879635625997*c_1001_0^3 - 89160556583636744865703575541349473763323513883377706/7407398348736\ 052821163528729564608879635625997*c_1001_0^2 + 19694924743435924899118690811663150996722670204464010/7407398348736\ 052821163528729564608879635625997*c_1001_0 - 1755926690872166420216833189826128066653415786876757/74073983487360\ 52821163528729564608879635625997, c_0011_0 - 1, c_0011_10 + 45699167990105365224739365575008159616/18519371708532642116\ 423765458342403*c_1001_0^24 - 1807114792844744672920068676862981237\ 76/18519371708532642116423765458342403*c_1001_0^23 + 529158521112644590045787531056849144744/185193717085326421164237654\ 58342403*c_1001_0^22 - 1371298654344570266692282705021075999200/185\ 19371708532642116423765458342403*c_1001_0^21 + 2962543407564106388743344723977518267314/18519371708532642116423765\ 458342403*c_1001_0^20 - 5406798923397981833060441498654806086627/18\ 519371708532642116423765458342403*c_1001_0^19 + 8939987856937640166608694840403617687133/18519371708532642116423765\ 458342403*c_1001_0^18 - 13752175916740773127431515166078734062539/1\ 8519371708532642116423765458342403*c_1001_0^17 + 19519722951557514659216877833940164812185/1851937170853264211642376\ 5458342403*c_1001_0^16 - 25829533780885015906601479714742488226565/\ 18519371708532642116423765458342403*c_1001_0^15 + 32094681809077474537658180767348057250308/1851937170853264211642376\ 5458342403*c_1001_0^14 - 36914262714673410642254947119381918437011/\ 18519371708532642116423765458342403*c_1001_0^13 + 39123797483369192537124873035683867064954/1851937170853264211642376\ 5458342403*c_1001_0^12 - 39090121887205514064942363938993579102246/\ 18519371708532642116423765458342403*c_1001_0^11 + 36916689493313658400235762579446362971343/1851937170853264211642376\ 5458342403*c_1001_0^10 - 31259282190698721558913430965475694613925/\ 18519371708532642116423765458342403*c_1001_0^9 + 22083702821691832856558265950264537436904/1851937170853264211642376\ 5458342403*c_1001_0^8 - 12370567166112848456542182661954391112419/1\ 8519371708532642116423765458342403*c_1001_0^7 + 5442841180097146487543190522415703341279/18519371708532642116423765\ 458342403*c_1001_0^6 - 2094385460905150433840069503304935761443/185\ 19371708532642116423765458342403*c_1001_0^5 + 972414557419737279360855126592399462249/185193717085326421164237654\ 58342403*c_1001_0^4 - 535661069813769708742267887275581511545/18519\ 371708532642116423765458342403*c_1001_0^3 + 221660649854916585735593379186033401725/185193717085326421164237654\ 58342403*c_1001_0^2 - 50783411960948354318157582826709900911/185193\ 71708532642116423765458342403*c_1001_0 + 4712216243887619968300111076221495032/18519371708532642116423765458\ 342403, c_0011_3 - 345580333681203762562646348378080032/18519371708532642116423\ 765458342403*c_1001_0^24 + 1479428793398484989468536011650162376/18\ 519371708532642116423765458342403*c_1001_0^23 - 4415063578696437319322840601681344344/18519371708532642116423765458\ 342403*c_1001_0^22 + 11607141730668143666877197443551634470/1851937\ 1708532642116423765458342403*c_1001_0^21 - 25587881924311463354828384108323224015/1851937170853264211642376545\ 8342403*c_1001_0^20 + 47719017339765664534028766270189370491/185193\ 71708532642116423765458342403*c_1001_0^19 - 80085310167857871743180526086051249030/1851937170853264211642376545\ 8342403*c_1001_0^18 + 124693827098197078950540066235433273714/18519\ 371708532642116423765458342403*c_1001_0^17 - 179410765699686367359024953473814782003/185193717085326421164237654\ 58342403*c_1001_0^16 + 240463012326819556725780390237364299374/1851\ 9371708532642116423765458342403*c_1001_0^15 - 302585597170916017782511162267613699421/185193717085326421164237654\ 58342403*c_1001_0^14 + 353555171313916913144667690603177927402/1851\ 9371708532642116423765458342403*c_1001_0^13 - 381488881585096095986432959660506551516/185193717085326421164237654\ 58342403*c_1001_0^12 + 386694395948419214442321602766557945199/1851\ 9371708532642116423765458342403*c_1001_0^11 - 370435323603378805397978578404135559734/185193717085326421164237654\ 58342403*c_1001_0^10 + 322460491838109581807111971045612491809/1851\ 9371708532642116423765458342403*c_1001_0^9 - 240031488277844768404908479384895661834/185193717085326421164237654\ 58342403*c_1001_0^8 + 145756016878658785130615668462701089760/18519\ 371708532642116423765458342403*c_1001_0^7 - 70926675409766561633080676761396002191/1851937170853264211642376545\ 8342403*c_1001_0^6 + 29083905478496401713002104351705369405/1851937\ 1708532642116423765458342403*c_1001_0^5 - 12328003079483338599979583779967289149/1851937170853264211642376545\ 8342403*c_1001_0^4 + 6251679889666237182885820679317378983/18519371\ 708532642116423765458342403*c_1001_0^3 - 2883021428296356788555414326176591293/18519371708532642116423765458\ 342403*c_1001_0^2 + 929553171775486632794385620251680950/1851937170\ 8532642116423765458342403*c_1001_0 - 151052677356688867092989619875571699/185193717085326421164237654583\ 42403, c_0011_4 + 2651337916159208480776982821447906304/1851937170853264211642\ 3765458342403*c_1001_0^24 - 11108128328417890058943411575070718560/\ 18519371708532642116423765458342403*c_1001_0^23 + 33097044396851002478344839123311837208/1851937170853264211642376545\ 8342403*c_1001_0^22 - 86501734971931768415611332029601491544/185193\ 71708532642116423765458342403*c_1001_0^21 + 189775096963343412535709226511322103882/185193717085326421164237654\ 58342403*c_1001_0^20 - 351995631219983087538917807228173167401/1851\ 9371708532642116423765458342403*c_1001_0^19 + 587857483859270477081942076844074669417/185193717085326421164237654\ 58342403*c_1001_0^18 - 911451626835484561533125018807903759747/1851\ 9371708532642116423765458342403*c_1001_0^17 + 1306218720696312809245404039327008725709/18519371708532642116423765\ 458342403*c_1001_0^16 - 1743473276870833055720915807566741217444/18\ 519371708532642116423765458342403*c_1001_0^15 + 2184024841492819258964480032678566114885/18519371708532642116423765\ 458342403*c_1001_0^14 - 2539240022822298291532854937678226904451/18\ 519371708532642116423765458342403*c_1001_0^13 + 2723330806137104589955207978894173768320/18519371708532642116423765\ 458342403*c_1001_0^12 - 2743895418641438814773896742582295744712/18\ 519371708532642116423765458342403*c_1001_0^11 + 2613806160711298812412575766216011919316/18519371708532642116423765\ 458342403*c_1001_0^10 - 2255907119714673936201018731042478320275/18\ 519371708532642116423765458342403*c_1001_0^9 + 1649726013335742012694195982186776392336/18519371708532642116423765\ 458342403*c_1001_0^8 - 969795915695415650281940146447105256994/1851\ 9371708532642116423765458342403*c_1001_0^7 + 449656168736727908415629379985273049574/185193717085326421164237654\ 58342403*c_1001_0^6 - 176128148211754912078058182208213095385/18519\ 371708532642116423765458342403*c_1001_0^5 + 76391393876199669399523306144410214329/1851937170853264211642376545\ 8342403*c_1001_0^4 - 41126231356315682382528082578474095281/1851937\ 1708532642116423765458342403*c_1001_0^3 + 18697063990184857466637775961346691294/1851937170853264211642376545\ 8342403*c_1001_0^2 - 5170276797197665031408153507986336737/18519371\ 708532642116423765458342403*c_1001_0 + 625253806257031198192301484408714788/185193717085326421164237654583\ 42403, c_0101_0 + 4673627860155297762616902419935411136/1851937170853264211642\ 3765458342403*c_1001_0^24 - 19490069752649576510522250104550702864/\ 18519371708532642116423765458342403*c_1001_0^23 + 57997686968488807624102197835020215320/1851937170853264211642376545\ 8342403*c_1001_0^22 - 151533081149442412813607076807889634620/18519\ 371708532642116423765458342403*c_1001_0^21 + 332079937591972839972543704408837807000/185193717085326421164237654\ 58342403*c_1001_0^20 - 615339065137889336129096504472208360125/1851\ 9371708532642116423765458342403*c_1001_0^19 + 1027207068828876933412726063892432126909/18519371708532642116423765\ 458342403*c_1001_0^18 - 1592025190248268724008132210900146471220/18\ 519371708532642116423765458342403*c_1001_0^17 + 2280350157787103925651450086953054679036/18519371708532642116423765\ 458342403*c_1001_0^16 - 3042529158881619885176545044217051562770/18\ 519371708532642116423765458342403*c_1001_0^15 + 3810017038588688005759595888820335469377/18519371708532642116423765\ 458342403*c_1001_0^14 - 4427316515597648175911352209393362385076/18\ 519371708532642116423765458342403*c_1001_0^13 + 4746024944535942352843534721586640644727/18519371708532642116423765\ 458342403*c_1001_0^12 - 4780832632880931809986347568299371450022/18\ 519371708532642116423765458342403*c_1001_0^11 + 4552623854387770784555033246976918554589/18519371708532642116423765\ 458342403*c_1001_0^10 - 3925867308634100027397792458973324176255/18\ 519371708532642116423765458342403*c_1001_0^9 + 2867558077960388795368211559444218271113/18519371708532642116423765\ 458342403*c_1001_0^8 - 1683938291944989208770232016385732664632/185\ 19371708532642116423765458342403*c_1001_0^7 + 780518525791785866618859875041299398170/185193717085326421164237654\ 58342403*c_1001_0^6 - 306242970224915284981510471121372014465/18519\ 371708532642116423765458342403*c_1001_0^5 + 133180480729328419762547110655130649441/185193717085326421164237654\ 58342403*c_1001_0^4 - 71555407684914288284923242053003875943/185193\ 71708532642116423765458342403*c_1001_0^3 + 32437088979900850988243119090027999080/1851937170853264211642376545\ 8342403*c_1001_0^2 - 8950072211180975158805682238187201402/18519371\ 708532642116423765458342403*c_1001_0 + 1083810629629649599366764579377733361/18519371708532642116423765458\ 342403, c_0101_1 - 105210671343317319511344772570634848/18519371708532642116423\ 765458342403*c_1001_0^24 + 339660733510117010807848535463299928/185\ 19371708532642116423765458342403*c_1001_0^23 - 983375624053068173825610940594761720/185193717085326421164237654583\ 42403*c_1001_0^22 + 2499683556773015397496626520307655090/185193717\ 08532642116423765458342403*c_1001_0^21 - 5158418442144581116435041359879186369/18519371708532642116423765458\ 342403*c_1001_0^20 + 9100927026543665199459133353073574587/18519371\ 708532642116423765458342403*c_1001_0^19 - 14841831196173774943714643054649226690/1851937170853264211642376545\ 8342403*c_1001_0^18 + 22431567589039592717292718932864673121/185193\ 71708532642116423765458342403*c_1001_0^17 - 31147432368962768136438837835180365875/1851937170853264211642376545\ 8342403*c_1001_0^16 + 40659969766054783747922927759438671329/185193\ 71708532642116423765458342403*c_1001_0^15 - 49702375594154800209890533833564098952/1851937170853264211642376545\ 8342403*c_1001_0^14 + 55794107607208566990916595318153088544/185193\ 71708532642116423765458342403*c_1001_0^13 - 58014868811606979338731555093345295961/1851937170853264211642376545\ 8342403*c_1001_0^12 + 57404097517224572891582514284858045115/185193\ 71708532642116423765458342403*c_1001_0^11 - 53055700789075207557200603339705946543/1851937170853264211642376545\ 8342403*c_1001_0^10 + 42896063683892740527851986845883703328/185193\ 71708532642116423765458342403*c_1001_0^9 - 28507689494909937264725452602926843047/1851937170853264211642376545\ 8342403*c_1001_0^8 + 14893128594357916183229172015202525332/1851937\ 1708532642116423765458342403*c_1001_0^7 - 6083155021814604833853109009943853324/18519371708532642116423765458\ 342403*c_1001_0^6 + 2269730574634479698852118218331712657/185193717\ 08532642116423765458342403*c_1001_0^5 - 1114088016634911100814907431118570389/18519371708532642116423765458\ 342403*c_1001_0^4 + 587551326492396608894988567254033969/1851937170\ 8532642116423765458342403*c_1001_0^3 - 226583929073999256079725332792156518/185193717085326421164237654583\ 42403*c_1001_0^2 + 45185644285144425689126877845349536/185193717085\ 32642116423765458342403*c_1001_0 + 8292626040983043233881826006653009/18519371708532642116423765458342\ 403, c_0101_11 + 2926020581961031257774926215780981856/185193717085326421164\ 23765458342403*c_1001_0^24 - 12044301469256640185840113627461705720\ /18519371708532642116423765458342403*c_1001_0^23 + 35795817562328514124909035134097882176/1851937170853264211642376545\ 8342403*c_1001_0^22 - 93380337904584125920828526538085943770/185193\ 71708532642116423765458342403*c_1001_0^21 + 204122947991173791968772926122997082119/185193717085326421164237654\ 58342403*c_1001_0^20 - 377421477858954604379520846595201473014/1851\ 9371708532642116423765458342403*c_1001_0^19 + 629300564930186038952547873979949939387/185193717085326421164237654\ 58342403*c_1001_0^18 - 974240122455196278466011885859583084211/1851\ 9371708532642116423765458342403*c_1001_0^17 + 1393687605701379476038170761756993676395/18519371708532642116423765\ 458342403*c_1001_0^16 - 1857660397567325767297811868515436982586/18\ 519371708532642116423765458342403*c_1001_0^15 + 2323823781335754348611419888633431384640/18519371708532642116423765\ 458342403*c_1001_0^14 - 2696663874151938503852844369296213678945/18\ 519371708532642116423765458342403*c_1001_0^13 + 2887007281056176236239643211021857046161/18519371708532642116423765\ 458342403*c_1001_0^12 - 2905597821965733991944658526577809029569/18\ 519371708532642116423765458342403*c_1001_0^11 + 2763810984683176743214136476786525196551/18519371708532642116423765\ 458342403*c_1001_0^10 - 2377972860506896936025289586503869578163/18\ 519371708532642116423765458342403*c_1001_0^9 + 1730787690661188118568031455147382865770/18519371708532642116423765\ 458342403*c_1001_0^8 - 1011722084851291345313377563634205272254/185\ 19371708532642116423765458342403*c_1001_0^7 + 466750825300176469618681127337090202135/185193717085326421164237654\ 58342403*c_1001_0^6 - 182928084421316076586427443661534671144/18519\ 371708532642116423765458342403*c_1001_0^5 + 80114648373889442523508124925893279196/1851937170853264211642376545\ 8342403*c_1001_0^4 - 43149433197702705769570299308666795689/1851937\ 1708532642116423765458342403*c_1001_0^3 + 19440693845000003264357314357586704618/1851937170853264211642376545\ 8342403*c_1001_0^2 - 5283382403845262099952910108805929659/18519371\ 708532642116423765458342403*c_1001_0 + 606637381500019273836363038942917229/185193717085326421164237654583\ 42403, c_0101_5 + 265364033311457383484218432212896288/18519371708532642116423\ 765458342403*c_1001_0^24 - 1233007812917011199319273109475444072/18\ 519371708532642116423765458342403*c_1001_0^23 + 3723052158231198650231633546177727600/18519371708532642116423765458\ 342403*c_1001_0^22 - 9856485487904924434079164767713481350/18519371\ 708532642116423765458342403*c_1001_0^21 + 22061988387452014386223854070002103321/1851937170853264211642376545\ 8342403*c_1001_0^20 - 41654265648510954388748957615159078978/185193\ 71708532642116423765458342403*c_1001_0^19 + 70325385087121473395208654760192740034/1851937170853264211642376545\ 8342403*c_1001_0^18 - 110099226528945992571315178393072341073/18519\ 371708532642116423765458342403*c_1001_0^17 + 159475505542325365200423775518812299855/185193717085326421164237654\ 58342403*c_1001_0^16 - 214779343420491277507517992926504597171/1851\ 9371708532642116423765458342403*c_1001_0^15 + 271559849251186639552128491088685053925/185193717085326421164237654\ 58342403*c_1001_0^14 - 319403452325046315305429161047939910659/1851\ 9371708532642116423765458342403*c_1001_0^13 + 346657965994688808419321642501507379219/185193717085326421164237654\ 58342403*c_1001_0^12 - 352519190031078776746810723893620257587/1851\ 9371708532642116423765458342403*c_1001_0^11 + 339245578772115263281524134772973861998/185193717085326421164237654\ 58342403*c_1001_0^10 - 298310115951148711199255607486468687718/1851\ 9371708532642116423765458342403*c_1001_0^9 + 225134813560536098635638995168090229112/185193717085326421164237654\ 58342403*c_1001_0^8 - 138534251806672954891869520059198966459/18519\ 371708532642116423765458342403*c_1001_0^7 + 67924472126444477663903449327748517887/1851937170853264211642376545\ 8342403*c_1001_0^6 - 27685445858575432458115265757274941769/1851937\ 1708532642116423765458342403*c_1001_0^5 + 11549179114494505077565881519776429728/1851937170853264211642376545\ 8342403*c_1001_0^4 - 5907225868323110089998602862964009591/18519371\ 708532642116423765458342403*c_1001_0^3 + 2801682479434869152341436111030387372/18519371708532642116423765458\ 342403*c_1001_0^2 - 906579264434608801258035065337703256/1851937170\ 8532642116423765458342403*c_1001_0 + 142763037150374388847048676480149259/185193717085326421164237654583\ 42403, c_0101_7 + 9936024711362697016604771013440755552/1851937170853264211642\ 3765458342403*c_1001_0^24 - 40780349653439909199033538955147106904/\ 18519371708532642116423765458342403*c_1001_0^23 + 120566833560472803620623923796282947016/185193717085326421164237654\ 58342403*c_1001_0^22 - 314021423356128815967100697019497805626/1851\ 9371708532642116423765458342403*c_1001_0^21 + 684850631806501486236672576228910978613/185193717085326421164237654\ 58342403*c_1001_0^20 - 1261938133947871018158163721698271561323/185\ 19371708532642116423765458342403*c_1001_0^19 + 2098402828669846852535686236320039145263/18519371708532642116423765\ 458342403*c_1001_0^18 - 3242778148981507841762003377710375722906/18\ 519371708532642116423765458342403*c_1001_0^17 + 4629087833650885863250059414461501317009/18519371708532642116423765\ 458342403*c_1001_0^16 - 6155903330475692203331672398054303909890/18\ 519371708532642116423765458342403*c_1001_0^15 + 7685015856985981024349777763056372596826/18519371708532642116423765\ 458342403*c_1001_0^14 - 8895324449553738177895513461338123252740/18\ 519371708532642116423765458342403*c_1001_0^13 + 9492182959934519578147470523257860949666/18519371708532642116423765\ 458342403*c_1001_0^12 - 9527717869019987978935186665619676976190/18\ 519371708532642116423765458342403*c_1001_0^11 + 9043197047941635834094073802592627677833/18519371708532642116423765\ 458342403*c_1001_0^10 - 7745193187190841255617935862402881356169/18\ 519371708532642116423765458342403*c_1001_0^9 + 5582792241494750861611328306578765737578/18519371708532642116423765\ 458342403*c_1001_0^8 - 3213665644237706219967544244554608383820/185\ 19371708532642116423765458342403*c_1001_0^7 + 1455015624985765118388051482732541660002/18519371708532642116423765\ 458342403*c_1001_0^6 - 564267858949853787360686706846083839032/1851\ 9371708532642116423765458342403*c_1001_0^5 + 252006235490600820501114604237525437581/185193717085326421164237654\ 58342403*c_1001_0^4 - 137747887976990342247898822573284490361/18519\ 371708532642116423765458342403*c_1001_0^3 + 60210747101014539490945702102320444245/1851937170853264211642376545\ 8342403*c_1001_0^2 - 15196995713958741220033301497521387045/1851937\ 1708532642116423765458342403*c_1001_0 + 1607902637881593252506590837298366330/18519371708532642116423765458\ 342403, c_0101_9 - 27822559811480913372027578301510063968/185193717085326421164\ 23765458342403*c_1001_0^24 + 10928303894320498417830952859928820850\ 4/18519371708532642116423765458342403*c_1001_0^23 - 319252756102818623137067788722283885744/185193717085326421164237654\ 58342403*c_1001_0^22 + 826560447455359261269473365425772996714/1851\ 9371708532642116423765458342403*c_1001_0^21 - 1782177867882526466545926163749924130963/18519371708532642116423765\ 458342403*c_1001_0^20 + 3245786620401367415632784697515105944884/18\ 519371708532642116423765458342403*c_1001_0^19 - 5360076437068585202449249033604581145207/18519371708532642116423765\ 458342403*c_1001_0^18 + 8237162674305620634768170153069062393841/18\ 519371708532642116423765458342403*c_1001_0^17 - 11676997446380079446171914849695516127957/1851937170853264211642376\ 5458342403*c_1001_0^16 + 15434271863125142223286701645893975364984/\ 18519371708532642116423765458342403*c_1001_0^15 - 19158075829057374384570643725370677465039/1851937170853264211642376\ 5458342403*c_1001_0^14 + 22003394911734106191197348496135741671284/\ 18519371708532642116423765458342403*c_1001_0^13 - 23283720674461634982173398973746857997562/1851937170853264211642376\ 5458342403*c_1001_0^12 + 23238979720699658337401632158945173873324/\ 18519371708532642116423765458342403*c_1001_0^11 - 21922093269456415840409692566399339950717/1851937170853264211642376\ 5458342403*c_1001_0^10 + 18512979105303732566714828057776261039982/\ 18519371708532642116423765458342403*c_1001_0^9 - 13015532099051011260944629391371486994275/1851937170853264211642376\ 5458342403*c_1001_0^8 + 7241945566395418633823915546164650293113/18\ 519371708532642116423765458342403*c_1001_0^7 - 3163410684694628263677663675470638648542/18519371708532642116423765\ 458342403*c_1001_0^6 + 1215001365693625772000157378422665674890/185\ 19371708532642116423765458342403*c_1001_0^5 - 569677949245844478888191301478293602073/185193717085326421164237654\ 58342403*c_1001_0^4 + 314308078826393883033203904719801426386/18519\ 371708532642116423765458342403*c_1001_0^3 - 128180133569373715757322144836279499205/185193717085326421164237654\ 58342403*c_1001_0^2 + 28664709964217383468931578763013943582/185193\ 71708532642116423765458342403*c_1001_0 - 2571321100564093484571205506253510275/18519371708532642116423765458\ 342403, c_0110_10 - 12261429558690056310375034426259260928/18519371708532642116\ 423765458342403*c_1001_0^24 + 4831029798228242464664946329498206201\ 6/18519371708532642116423765458342403*c_1001_0^23 - 141530590592154884807833884533221689008/185193717085326421164237654\ 58342403*c_1001_0^22 + 366683611578734849590079442412899311224/1851\ 9371708532642116423765458342403*c_1001_0^21 - 791827527780600573275202237350432895316/185193717085326421164237654\ 58342403*c_1001_0^20 + 1444917469754403719835003856344389587004/185\ 19371708532642116423765458342403*c_1001_0^19 - 2389332292027435162328724245873653986969/18519371708532642116423765\ 458342403*c_1001_0^18 + 3675239982379829223270701270638380309931/18\ 519371708532642116423765458342403*c_1001_0^17 - 5216263557477611966576636127927722608818/18519371708532642116423765\ 458342403*c_1001_0^16 + 6902915249790181365462407136406727655750/18\ 519371708532642116423765458342403*c_1001_0^15 - 8577318328143536105471103048286773199692/18519371708532642116423765\ 458342403*c_1001_0^14 + 9865183458121762861542386480931396220394/18\ 519371708532642116423765458342403*c_1001_0^13 - 10457043035952899617415432042338306655235/1851937170853264211642376\ 5458342403*c_1001_0^12 + 10450091139831858413999262861717068192952/\ 18519371708532642116423765458342403*c_1001_0^11 - 9869092735216037732495144493801931729090/18519371708532642116423765\ 458342403*c_1001_0^10 + 8356882019558493768673271873015673062465/18\ 519371708532642116423765458342403*c_1001_0^9 - 5907012640170762435739811751940091507964/18519371708532642116423765\ 458342403*c_1001_0^8 + 3313403905893860723220322211760679504332/185\ 19371708532642116423765458342403*c_1001_0^7 - 1461022215029650064545327919900234329593/18519371708532642116423765\ 458342403*c_1001_0^6 + 563209725687358468638032295184804612853/1851\ 9371708532642116423765458342403*c_1001_0^5 - 261013913599602964616586304504761585929/185193717085326421164237654\ 58342403*c_1001_0^4 + 143393338589046026181123515509480014220/18519\ 371708532642116423765458342403*c_1001_0^3 - 59546806435612002747087025321522271209/1851937170853264211642376545\ 8342403*c_1001_0^2 + 13762860747777272213394936221573435224/1851937\ 1708532642116423765458342403*c_1001_0 - 1294282862228862893731039541010478004/18519371708532642116423765458\ 342403, c_1001_0^25 - 17/4*c_1001_0^24 + 51/4*c_1001_0^23 - 535/16*c_1001_0^22 + 2359/32*c_1001_0^21 - 4401/32*c_1001_0^20 + 7383/32*c_1001_0^19 - 11487/32*c_1001_0^18 + 8263/16*c_1001_0^17 - 692*c_1001_0^16 + 6961/8*c_1001_0^15 - 32523/32*c_1001_0^14 + 35075/32*c_1001_0^13 - 17757/16*c_1001_0^12 + 33987/32*c_1001_0^11 - 29575/32*c_1001_0^10 + 2747/4*c_1001_0^9 - 3317/8*c_1001_0^8 + 6395/32*c_1001_0^7 - 2605/32*c_1001_0^6 + 1119/32*c_1001_0^5 - 289/16*c_1001_0^4 + 267/32*c_1001_0^3 - 41/16*c_1001_0^2 + 7/16*c_1001_0 - 1/32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.330 Total time: 2.540 seconds, Total memory usage: 32.09MB