Magma V2.19-8 Tue Aug 20 2013 16:16:34 on localhost [Seed = 559988221] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0854 geometric_solution 4.76850258 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.401930551515 0.100150685106 0 2 2 0 3201 0132 1023 0132 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 -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 1.168059421752 0.110829977980 3 1 1 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 1 -1 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 1 0 -1 0 0 -1 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.213076202618 0.362282102303 2 4 5 2 0132 0132 0132 1023 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 1 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485711848891 0.490349342355 6 3 5 5 0132 0132 2103 3201 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 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480552146321 1.118542382818 4 4 6 3 2103 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.480552146321 1.118542382818 4 6 5 6 0132 2310 1023 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.487079511474 0.468495770154 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { '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_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_1'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_6']), 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : d['c_0101_6'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_6']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_5, c_0101_0, c_0101_2, c_0101_4, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1194406450220459459530915021639190690232236887196949805004817340008\ 90154984821703077/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^31 + 1583074303539760383681914541166430501665989354622402678174138810688\ 084706087160190094/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^30 - 1296972069278944411179937511148970457586604553436252634624928810188\ 9933899174296234638/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^29 + 6929631892256484343887982673838793452022125298618856688589031330243\ 5560478004850415514/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^28 - 2287596003229080912791270241447930540155646185104576653728794709471\ 66034803875626441367/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^27 + 3563718119642360649780283771780865708169016059102158676942934727081\ 02993645398204718374/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^26 + 3495322021779428459889439287212758784434242826678731627195438888371\ 12958987680119663929/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^25 - 2979157532446904804562395583756520085138230331485665527188578788792\ 439004644392786603844/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^24 + 6091251681010099954685135313623481006475701770616055236135301989019\ 039881950963447660901/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^23 - 3582264731569669243831759488971631445088474054785908297065518004964\ 058308923994698417400/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^22 - 6959604775733482154962725249888769604332906197360076746296584771179\ 551078265607742905851/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^21 + 1426308500673808260138438907635113601986519902361957456098235006934\ 9338744813655624039947/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^20 - 1507076542615252285840855761180977508389355318609861218741498447318\ 7065343735445132400518/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^19 + 2705572200829294254371417353914885912247177949215290984527189231041\ 7301398478411291283598/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^18 - 2867415607006961639842747352794324128052667039741043294208525067186\ 5524416051119017747553/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^17 - 2642293162995654494442155498033974139073025163763415150669334109990\ 8451761555937516958625/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^16 + 7495717252980505716060094847035952683986380354384046932906255859405\ 0184826517946217676565/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^15 - 3004912288905279443371038291811069269058913898510464296719544072809\ 0939468120025138374232/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^14 - 1246095169902727021855446713673163990064353229443201545716958805057\ 2418762239777148554206/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^13 - 4200983431477337160337472237842785345462612224596251713275631732098\ 3743180609881440074081/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^12 + 7333828748699669051000476040561976154128785549523816173495954474617\ 7932123425450604854198/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^11 - 3736343646444785921077234059541826036476036564701544681273278363553\ 583903411860195525226/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^10 - 5084825161758011037381838541850302620911544122014940901513370411555\ 8834778436031512600706/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^9 + 2795593058964240888539197002659303485792165211203163717075935254077\ 0919633953266462229259/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^8 + 4590077079127509844037898222786813103067074815891063165862580248553\ 181477982483393961913/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^7 - 7933165653190511863422121390751277371116076687942300615566059566572\ 102024830071893655272/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^6 + 1891145622604069665386486929093039530221549047699476548371110231381\ 132642953751608898224/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^5 + 2013344235331493479979054545017495756372070992706617763821341760033\ 64264502178377953102/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^4 - 2238845287443436903934667555891827631909486703158955553299583523481\ 85594772624264561692/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^3 + 7278027349425648645604478468553302205273834573930773341013019043142\ 4936367518381392184/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^2 + 2508592587564070878397181081489829751287085587810382429344303113428\ 083088099763420940/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6 - 5263261117440032937992256433792656504896119343749983902381645104765\ 610475464390880197/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497, c_0011_0 - 1, c_0011_1 + 156771666386426885656635932021673716397253386714096690189682\ 6858599576695572490488/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^31 - 1909164056621617985048944466252635550585788800182150957576283595990\ 9323131933432550/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6^30 + 1496812836223883637038494593271047927121843927052426155531815310008\ 42992802626566626/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^29 - 7489169205788034087696809346640284935167844101863312149508016183733\ 18175403942816444/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^28 + 2202378826760211334948587564728100918164094094249419744571304573555\ 492219874485097641/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^27 - 2354079559658941361368723679544180697296624794293363184222023178292\ 974071006396032436/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^26 - 6883748410898029816571876418257526851563236008392572537439310667069\ 855627778963219701/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^25 + 3099768179981638674896831040716057912407710343326952342955340655092\ 5714975541424844887/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^24 - 4590628139793819693028114899364792338601694755108260038328960631579\ 2886423335620812861/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^23 + 6496555363210841269523190408827019131135236130602152494470890770341\ 0829972811223964/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6^22 + 8127709263602123771953245949524174904887782404114545487993796943352\ 2683644910963368407/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^21 - 8609621439155947295928350072605838184075410930545089457513442056394\ 0576506900535669011/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^20 + 1088627133864128355625489259740170801335868867958381929026106342801\ 59643544667283341023/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^19 - 2673330016706567334853711131540952622689042599779651946368704969904\ 52845892901357603665/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^18 + 1119158572176544596690691497668822867302706159410930768141664264772\ 38682094466883264352/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^17 + 4408178179543393351080522983952146310205013507942387480386101469642\ 96781491984024198978/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^16 - 4265679717153104598714765454023563060860243263168706376839244840902\ 24666283929993705580/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^15 - 8764019676715730925039898505758750885020741538688670245869344742358\ 3452874963823609759/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^14 - 9899719376022729092109814570890341466492686102260901951605580355519\ 3043638639771151929/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^13 + 5678304557059582965007559643139812852563285598446525694165439029244\ 08157465476654823402/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^12 - 2667624727690243795272230942203645052410093994690331931710462007509\ 50268013887523207414/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^11 - 2157055931999431205414981022056652377320584323229732099285897216990\ 38410891724595818197/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^10 + 2243991113643896776494362628875736618018152131241719522314432330994\ 85329375393508708062/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^9 - 7004452166243661686164296029507121573824658246925712913788147198911\ 8917926607846712219/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^8 - 1180757035253111718023227373557422226016389117753103904567304392059\ 7324694751625018403/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^7 + 2769058713870487000743162349195460908399509740720526188029341671061\ 2465031506681764238/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^6 - 9535774382909196362995558252182842916185007618188343500261256551470\ 429196376116383643/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^5 + 3597819980617542562362415297730112904433565002428206360806823248032\ 7413543843058580/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6^4 + 4673352205521902426942924316536673619264073444610156344430840415118\ 28178265979343880/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^3 - 3513941682645470374711957160756184965552437002541862169673812997297\ 79339694196140126/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^2 + 4222551742633552146324752163441667138152212697001565888554255903239\ 4574970538426276/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6 + 1124149480408729312779867705082759900492513564760476750959876229863\ 5274772186686773/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497, c_0011_5 + 167293036704688813395556339071360033157232183247541000223372\ 955614649465648610789/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^31 - 3438563182554095826420821335461200736123554717947754604545131911656\ 303060792348649/202878683380446588491706530588829901666102094923259\ 32434955025368451571682014362497*c_0101_6^30 + 3316046196459873640656052295638976982216229998362836289338641211976\ 4052621748217830/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6^29 - 2146366511915149181041032861866657798440910982055715733976299051772\ 83886933623131312/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^28 + 9093123675714031308284194076846809719331828113652489203096183156582\ 66121869673710070/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^27 - 2225207008575724882987424795714146886007443022052174994404728994541\ 050759729259310303/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^26 + 1278994923380160880253267835811547581848466214716474109008667957315\ 463125797148748044/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^25 + 1002894388167525811982821466019816195190542040395241865267723799604\ 3155207778468265613/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^24 - 3384154628808551849381617247372108733694135317133779299260841035562\ 5752030860837463495/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^23 + 4071539576570121582972938807166833568905261815450953179557568428638\ 8898823096514259774/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^22 + 1602876031939026119753384004242692630472552482351178592070771585586\ 9569794325392442570/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^21 - 9635333246169668146616630358681171717961955997968461936210249677404\ 9677335772954469747/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^20 + 9060631636317336693019026491433045343270721684488254581841073780830\ 2442042399488363599/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^19 - 1008462537598507856710789241086851062689858823880242745366711301382\ 66271690636654680602/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^18 + 2341804796641240836994155037434703219238274222160168767064896250078\ 77312004108839045764/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^17 - 4486515326019983240682780626873504294451990965206348569115707146297\ 9535384521356571206/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^16 - 5197382717648741257358564475862088987693500448234673953244177818880\ 83650162171744951811/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^15 + 4293527616322750027711476803340046886030862441477455763854959744995\ 67468637718896264550/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^14 + 2165379932195024704439433840300487186628609948043900675729298328906\ 79978350154710281474/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^13 + 1175289800742473784167794676628805613704187752507587902208293341053\ 0510407887967527775/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^12 - 6357674075772732010629463607364744447019613275441526002386239083586\ 47416118259298279508/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^11 + 2321676476603162149894615807507097193027291733203792176815151575760\ 24667176068221259437/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^10 + 4238700462379766963259547254854090299603533656580878121896650420917\ 30430338363074995834/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^9 - 2802308084521839807792638087116891911667990043635281283124783772426\ 74130264029507518217/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^8 - 5501770975583129905171366344136366834832855737918217396511475896265\ 1750100046886956671/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^7 + 7358066011819174787729549682748030724893863229200889796746396175944\ 5394446349443031266/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^6 - 1143379395699913533736495620569334795865547915661790269184189856358\ 0496200586114517689/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^5 - 2001311464089143897507985355469739818070783664254117771402771906238\ 944626630121909643/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^4 + 2235219200559245807242399749283722504862825732685851928695040827777\ 793228092106209132/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^3 - 6808307950450973883707071802501899438882913002489394923369998758341\ 23878501892621526/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^2 - 9532193979097179700734549697512017481290187528359552532716219255320\ 5372855321611892/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6 + 2412743071430361848543348355983854292839723330752422549338316303740\ 5774711012410454/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497, c_0101_0 - 496995031397881983604711970946648605701835710466324359408827\ 45212897321676455797134/2028786833804465884917065305888299016661020\ 9492325932434955025368451571682014362497*c_0101_6^31 + 5951264790463219739502419687637574626277292914273731877072762615606\ 27934810675965462/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^30 - 4607799365259746651791697660427989480862643937755529839911381936300\ 428406291914390722/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^29 + 2260767703701278632954273920403333265787364758861565785621420196645\ 7691171043965483845/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^28 - 6368783559539854074113529828883900629023987126098069497590102678662\ 4800032161161761804/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^27 + 5408919555127345466799029990373614428186281811721038572308978179756\ 8750533458220617408/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^26 + 2509756097737592804406476495097201867754136471314570289283542101874\ 17402094033155902486/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^25 - 9519581187991927080948279301869643584654170387458866973250038135492\ 64141469934151594165/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^24 + 1182408146675044229943527062830464849471173466587816715534785725205\ 431166169528136656762/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^23 + 5576439047907480979689726326748122862796344844333456766584669007271\ 92939231439084123216/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^22 - 2886229050468586803227255027891845595046875611322040451590059929860\ 107035847166173322058/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^21 + 2016878851410095484290662839083546022800231880549181763139201355962\ 142040207802111901308/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^20 - 2107013614354039694583899275619678416997338804036114383667272335425\ 960899318832879088465/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^19 + 7300288253258528847752576994989359807320005659144601249271220409140\ 601412022819673530105/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^18 - 1251954394043846354483985609196478627095331045444484715454917578075\ 801931187510267467839/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^17 - 1678289870669289172285922449422981431566037330070292659561999507723\ 9193884680064806097403/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^16 + 1081642608231065884372363508561729456641278972407965775500240825278\ 7825910887062853584124/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^15 + 1032210710880551424435538869832834691749383901613227237909437515867\ 1811691564247624566811/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^14 + 1306469507479483974487890712688254416555265313530637433720640244567\ 272683714735259128571/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^13 - 2052969931448388784762881720807811212269122145837364027251550789597\ 6384827434404793856403/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^12 + 3693678077150544025146428837702199032345185300648506223152397460548\ 098417511328297741784/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^11 + 1431706446588959324776667943059956111134865705640017380668032884816\ 7763198804507364558463/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^10 - 5885503312219864134551315662481673535683245097709429718490338216872\ 271187665236539786222/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^9 - 3084104434065801603473175896655391716640769733992631006539161367264\ 786860881498829412934/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^8 + 1755530970953237081782073079730864417585647219612200900172279060470\ 551145342898925917283/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^7 + 1456524214779631451930985898577790262716606110484883547074093453992\ 0771225654352110093/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^6 - 1104736591150975114867057273831895268052255061889306217795290671262\ 99649441797032567467/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^5 + 5852785522558953145766748294449907106774482708156208572360438950290\ 7290086465190541929/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^4 - 7377229601839026408821800694447960500257095096584059490585599160561\ 529135365382362819/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^3 - 5966672977417594822999844922969369439642108651746254039430345225659\ 248878803456128797/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^2 + 4462338866933327775760963421702205847781481219773197900825967864962\ 50795530601124488/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6 + 1401646588661166802719347743109294474030917367341707156986232266272\ 13293196207986967/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497, c_0101_2 + 476206081790593582545412728065422174456806121048039590057311\ 41753150495076308152026/2028786833804465884917065305888299016661020\ 9492325932434955025368451571682014362497*c_0101_6^31 - 5691612144506497052414270831679661047321288421271124723850302192649\ 77613958022159137/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^30 + 4405367909708446411755056348141346853985409449703083417420202062186\ 379108364561641355/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^29 - 2159820807921206717565527531063307274937589922339227506468423667854\ 0909163758966491193/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^28 + 6080434448124624055453306190130036689065456387925369499164935051775\ 3587524962665158343/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^27 - 5170770381122559012023310262654847354983199393038901255737406905647\ 6658604133602540903/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^26 - 2384304034554850822808095086612065552816209816437435553463929760979\ 47936480687509326747/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^25 + 9053588993298165504180578111537488855195782518726852310025214078476\ 70378192517005596491/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^24 - 1129023595921353118456271674488066164930367060471344882989487941960\ 037276693390890006015/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^23 - 5106157338360345164663057240430888808030771166163892975298678790819\ 20216207924298247837/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^22 + 2710201363039169967109381857336953957413403595865067708614157807569\ 331244385177063642593/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^21 - 1931486310263147576526227393727137229877368585377273173194875138028\ 850963933760052395703/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^20 + 2115731144347849944393556162449523798233179218258277260667969611277\ 646557161307794606126/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^19 - 6988638290520727294486544199416517380761213126048677093671733118662\ 689371877306919889261/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^18 + 1156850559464313424978200545434215822180381956612958322767122642790\ 544617636685379107876/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^17 + 1572159825804687958623347018745046855940194426875253149119096199473\ 1023229444039208618357/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^16 - 1017199461399706994353667925876970833127968885959078358365427789203\ 3892075853135444930271/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^15 - 9194278296799577954345957178150019557554407389213501507711165037522\ 401595038689715169440/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^14 - 1560664463498311292552154184252212771556598523541538495675143900775\ 505788717646327084368/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^13 + 1898448096295106449480194635577180479607478562186035472024580976017\ 4055376275055001318848/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^12 - 3606783123832369198316223062391305980819017733851604223845729866061\ 919694429071764973467/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^11 - 1287664054541595159430720010651685772480509310455921412530953587443\ 1551215508391531091004/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^10 + 5670336564653958643018160103935614529338201609947588854158618700123\ 413804033644703480060/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^9 + 2446718800158711960798219324261927087633454958058790537003448603029\ 049828612817052720683/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^8 - 1631987381341783887230706671844257988468124248034965889716496053205\ 176791085366827489858/202878683380446588491706530588829901666102094\ 92325932434955025368451571682014362497*c_0101_6^7 + 9741537739468307689062946304894379091146906583942930749389737457387\ 8798626988175011925/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^6 + 8597324069754317339292051725735397650094100527107422850179963136184\ 4502813256148769784/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^5 - 5740947565633030049657091351244611929257752672444514216234661458206\ 5329332339275262758/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^4 + 9673134526319882481075975625020498011305883316814550233556162991594\ 769759256146113239/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^3 + 4163203635763627761084863467744293100264721206750956572572577463966\ 019085483226528781/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^2 - 5761883986077189041698828919835707590626716016932167747277472463298\ 61473756454483793/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6 - 5855666190890998127636958753277810675597364966070214756966261471736\ 1077654435177014/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497, c_0101_4 + 187066989783968956907381061904185069842804538201271939630986\ 9161907257075970599108/20287868338044658849170653058882990166610209\ 492325932434955025368451571682014362497*c_0101_6^31 - 2367583048201824053195770991353695833568583413103579127763002077464\ 7160955819870043/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6^30 + 1886488126838765510853006262621403336772043039334234149071910986410\ 74604767663966847/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^29 - 9686935476891223554906034078427982853870953512403487481125107717367\ 78763871641149896/2028786833804465884917065305888299016661020949232\ 5932434955025368451571682014362497*c_0101_6^28 + 2974292682403516247969241092346082512179729874153573144479450963963\ 474795739945264140/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^27 - 3661946677072599843563512968200081092592725667203659612735428740495\ 722329418339221088/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^26 - 8045286248512130918990019566499885187506068100148959941673878097312\ 653232593545162892/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^25 + 4209721620629788914854644402870179082078772376466980611770691100721\ 4869723044335677741/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^24 - 6848546019915434857190576920480339604267148805199118369398487681236\ 3602998189418099263/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^23 + 9308841472605388282782616078510892765198009822378779831060574591331\ 479350061638563090/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^22 + 1207628899385240024726092241751969107467114849724673483864307509337\ 06484292433850828363/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^21 - 1455401049247045957361218777462082671557973926138595924064755977115\ 27174332138647942321/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^20 + 1309084456790709099970469916856934794304571757741383478266118675426\ 34234793051741761064/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^19 - 3367151664911402890131439003303467338461550998764206510846067278467\ 03619133260819112227/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^18 + 2369607116295954834637329649055513915368797042594788008337250906070\ 71350836600251290533/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^17 + 5991896808244360318889446047783004152489253749788188388935056875864\ 27917220435641471589/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^16 - 8110056335809017779468591800912603145631281219880308654066435208156\ 38945382498849662229/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^15 - 1256838719270831649527653347015796744553849579601096435332487961127\ 68378280036537979142/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^14 + 1646804327714591924065835322036160963479993986890130657817023074837\ 85304966859336244694/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^13 + 8391510584167844262457912822913807894656380436601234514193284923515\ 09994645559057527565/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^12 - 6253505563191568598013851942891403502636879721608096242648798800612\ 96213383283364184835/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^11 - 4434423956607338541101512595967379324749793426164873543941206849103\ 36548452464991326169/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^10 + 5260626414830052897972970430335424350525098712737041780058041955725\ 77184426068044473012/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^9 - 2437001065551874988463615830127042527801233911679806213464731765799\ 7837479402863445032/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^8 - 1079809115667119951024780308676233926839633847931645577790523713846\ 20741641562873380224/2028786833804465884917065305888299016661020949\ 2325932434955025368451571682014362497*c_0101_6^7 + 3052917135184379726961421900263557548848520901067182921878009559802\ 1807425489891671634/20287868338044658849170653058882990166610209492\ 325932434955025368451571682014362497*c_0101_6^6 - 1199753963380103530522581349232765736752982496980513086495837821429\ 418873719482823772/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^5 - 1517041888926027921254693912556113142982031867701915644037835191896\ 156628909585824525/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^4 + 1194615119016959607305355467154501935608689208150293383756854800255\ 515060988425418327/202878683380446588491706530588829901666102094923\ 25932434955025368451571682014362497*c_0101_6^3 - 1043857901142691685659991586820875543959147297421285943510469787823\ 1541877279657511/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6^2 - 2100897407052191435343999819904283077210447553381262023520283038449\ 5932474227183773/20287868338044658849170653058882990166610209492325\ 932434955025368451571682014362497*c_0101_6 - 9030496545580924214595245702951570094203317027397249415594434446949\ 605625417093971/202878683380446588491706530588829901666102094923259\ 32434955025368451571682014362497, c_0101_6^32 - 12*c_0101_6^31 + 93*c_0101_6^30 - 457*c_0101_6^29 + 1291*c_0101_6^28 - 1110*c_0101_6^27 - 5058*c_0101_6^26 + 19335*c_0101_6^25 - 24203*c_0101_6^24 - 11122*c_0101_6^23 + 59282*c_0101_6^22 - 42325*c_0101_6^21 + 41849*c_0101_6^20 - 145845*c_0101_6^19 + 27593*c_0101_6^18 + 340944*c_0101_6^17 - 230495*c_0101_6^16 - 209479*c_0101_6^15 - 8181*c_0101_6^14 + 415619*c_0101_6^13 - 90119*c_0101_6^12 - 297897*c_0101_6^11 + 136231*c_0101_6^10 + 66283*c_0101_6^9 - 45164*c_0101_6^8 + 125*c_0101_6^7 + 4118*c_0101_6^6 - 1555*c_0101_6^5 + 150*c_0101_6^4 + 167*c_0101_6^3 - 32*c_0101_6^2 - 5*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB