Magma V2.19-8 Wed Aug 21 2013 00:58:41 on localhost [Seed = 560413269] Type ? for help. Type -D to quit. Loading file "L13n5939__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n5939 geometric_solution 12.94243511 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 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 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.449259212427 0.846790103006 0 0 5 4 0132 1302 0132 0132 0 0 0 1 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 0 0 -3 3 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.511083455629 0.921538567306 6 0 6 7 0132 0132 3012 0132 0 0 0 1 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 4 -3 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.498114962737 0.769911252459 8 8 9 0 0132 1302 0132 0132 0 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 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.650080757257 0.893924147574 10 11 1 12 0132 0132 0132 0132 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -4 4 0 3 0 -3 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.581268821817 0.591275130329 9 9 7 1 0321 3120 2103 0132 0 0 1 0 0 -1 0 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 0 0 0 0 4 0 -4 -3 0 0 3 6 -5 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538234669887 0.703732652044 2 2 11 8 0132 1230 3120 0321 0 0 1 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 -1 1 1 0 0 -1 0 -4 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594191549261 0.911513047661 5 10 2 12 2103 1230 0132 0321 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 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.516931307240 0.983490434060 3 6 10 3 0132 0321 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379709809450 0.970028870311 5 5 11 3 0321 3120 2031 0132 0 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 5 0 1 3 -4 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.538234669887 0.703732652044 4 11 7 8 0132 2031 3012 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 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.513096227798 0.633186669981 10 4 6 9 1302 0132 3120 1302 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 4 -4 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.489490151285 0.598036634819 12 7 4 12 3012 0321 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.860090792094 0.989367511242 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0011_3'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_12' : d['c_1001_11'], 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : negation(d['c_1001_11']), 'c_1001_1' : negation(d['c_0011_9']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_5']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_7']), 'c_1001_8' : d['c_0011_10'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_1001_4'], 'c_1010_10' : d['c_0011_10'], 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : 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' : negation(d['c_1001_4']), 'c_1100_8' : negation(d['c_1001_0']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_12'], 'c_1100_4' : d['c_0011_12'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_12'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : negation(d['c_1001_0']), 's_0_11' : negation(d['1']), 'c_1010_7' : d['c_0101_10'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0011_9']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_0011_3'], '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' : d['c_0011_12'], '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' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_0'], '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_0011_7'], 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : d['c_0011_12'], 'c_0101_12' : d['c_0101_10'], 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_5'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_5']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : negation(d['c_0011_9']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : negation(d['c_0011_5']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_5, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_5, c_1001_0, c_1001_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 5191527453955065623092722716640240475445876552361588555205172229383\ 4094039227595297830776895849523/30182410901669748521551230204420863\ 283288311310260744564642329364548910280397581704319508210704*c_1001\ _4^24 - 65146723234301078415760245575941181035365640752416236063593\ 0677968681687675475023713088632590815373/15091205450834874260775615\ 1022104316416441556551303722823211646822744551401987908521597541053\ 52*c_1001_4^23 + 15738468443006777644716398449465546288762313805422\ 661343019739761148599744465171915925282778061565481/301824109016697\ 4852155123020442086328328831131026074456464232936454891028039758170\ 4319508210704*c_1001_4^22 - 928430106239893605653902860116212997071\ 2461508444337197240337511568815200830918337161256662267214409/23217\ 2391551305757858086386187852794486833163925082650497248687419607002\ 1569044746486116016208*c_1001_4^21 + 6570910348174211214774941769522688356197057650098005473038176501621\ 15779132172178409572778439779062539/3018241090166974852155123020442\ 0863283288311310260744564642329364548910280397581704319508210704*c_\ 1001_4^20 - 9998435002669820948229743646915179056980481352175213076\ 0264318747680314967010779078571604074794350621/11178670704322129082\ 0560111868225419567734486334299053943119738387218186223694747053035\ 2155952*c_1001_4^19 + 870331547669148860384385388962854362969323233\ 6034910499475479896180648472258060833682915827489945539397/30182410\ 9016697485215512302044208632832883113102607445646423293645489102803\ 97581704319508210704*c_1001_4^18 - 1413276331744653419937619601275985890627917426388899042018965072867\ 515166053658647868560349102602264238/188640068135435928259695188777\ 6303955205519456891296535290145585284306892524848856519969263169*c_\ 1001_4^17 + 4818928526541498824681446672599971380260791352439784558\ 0443327103469969564095684075423685406145383642039/30182410901669748\ 5215512302044208632832883113102607445646423293645489102803975817043\ 19508210704*c_1001_4^16 - 44793140074458573438733813568479514486127\ 24149711308001675904456323106667369212142370375852639136710077/1588\ 5479421931446590290121160221506991204374373821444507706489139236268\ 56863030616016816221616*c_1001_4^15 + 2083810456947390475795847683924412233218771970665754494850344646411\ 8679559242877930614594501227307011059/50304018169449580869252050340\ 70143880548051885043457427440388227424818380066263617386584701784*c\ _1001_4^14 - 586060855696244996549116259229906720457858261043760059\ 9875048640281597422262478824903967584169608359991/11608619577565287\ 8929043193093926397243416581962541325248624343709803501078452237324\ 3058008104*c_1001_4^13 + 254233076810435963088364167082721224108806\ 83175615393784881247744958238498955910312252996765428207841111/5030\ 4018169449580869252050340701438805480518850434574274403882274248183\ 80066263617386584701784*c_1001_4^12 - 1229679465739919854109889267629056988983567911335574953819267129462\ 89657082527695864087355006878016105441/3018241090166974852155123020\ 4420863283288311310260744564642329364548910280397581704319508210704\ *c_1001_4^11 + 2562728114129009901468811865946899436246413683675900\ 6182181005206693621847339513544425336409841403926371/10060803633889\ 9161738504100681402877610961037700869148548807764548496367601325272\ 34773169403568*c_1001_4^10 - 34361108085159292492586292111463977787\ 598364990468977341122331753361150361615729252096077746600371090071/\ 3018241090166974852155123020442086328328831131026074456464232936454\ 8910280397581704319508210704*c_1001_4^9 + 3487334291305591652561212672975839092400916705822813049749747659409\ 75905228605262135579034725041732057/1257600454236239521731301258517\ 535970137012971260864356860097056856204595016565904346646175446*c_1\ 001_4^8 + 450692693630148609736488036230580903029551248504989400856\ 30082269163453539199566208904554051995546561/1117867070432212908205\ 6011186822541956773448633429905394311973838721818622369474705303521\ 55952*c_1001_4^7 - 206724751859139467281023509712065207711945887547\ 7126081674830848134088965945187991324159734108422904955/30182410901\ 6697485215512302044208632832883113102607445646423293645489102803975\ 81704319508210704*c_1001_4^6 + 220481895481027912511169292909903247\ 738300536895144569585113009465931150017643309572505999400144018537/\ 7545602725417437130387807551105215820822077827565186141160582341137\ 227570099395426079877052676*c_1001_4^5 - 1166373784065985682000388228859159369306014114348827741395264148315\ 9371597887765870583571948391821204/18864006813543592825969518877763\ 03955205519456891296535290145585284306892524848856519969263169*c_10\ 01_4^4 + 3690024690843927490097597342056320834703758551785877942330\ 957933934230906968990185331624901764136933/754560272541743713038780\ 7551105215820822077827565186141160582341137227570099395426079877052\ 676*c_1001_4^3 + 35118099820532604272542210984211047375030959248797\ 1381937806855246761952929516703894313675375605501/15091205450834874\ 2607756151022104316416441556551303722823211646822744551401987908521\ 59754105352*c_1001_4^2 + 454425216774115352668107840880130952635892\ 3250085582446775983481170537228742442424619300172089941/15885479421\ 9314465902901211602215069912043743738214445077064891392362685686303\ 0616016816221616*c_1001_4 - 522216683462583008462606431052504063310\ 14098978313111242808051183203898773670783977750478640540437/3018241\ 0901669748521551230204420863283288311310260744564642329364548910280\ 397581704319508210704, c_0011_0 - 1, c_0011_10 + 77031234257116991077604406314487430758388986988966712940295\ 59733381432240008/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^24 - 1894267183198278398775514455927359934405343461112090980285024703400\ 47770862385/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4^23 + 4488545253586774636702265602532019868803992492420807605573637504846\ 664250837735/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4^22 - 1689501774413720699857422754754645548285963111690740281192192957879\ 8265140795720/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^21 + 1808172293292504759819169284089171463642863907018644623997688732584\ 59731669702159/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^20 - 3658665695514216398240633714018495477836922014988236303084506176275\ 82623465855675/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^19 + 1165549023374049104347719180736996111914425678973609806664977084029\ 354859664477208/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^18 - 6009671728888193754233606695270255466086995802943524965314681179106\ 093288553821573/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^17 + 1277291858793084278808001542208551942425365148813068917856914569022\ 4613881772139679/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^16 - 1131860981392765471837918343349913082362306021565377782407136946861\ 5733319465628346/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^15 + 1681723644279949405808105450956163316257796535345570590728044172275\ 3414866416943471/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^14 - 4189533838353461812063157553710993626540565267551023587503044156789\ 3516951948917429/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^13 + 2175339312616892312192500923035079206899077493859315738898173857313\ 3727631077483803/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^12 - 1859978479559809218339849771814550128101689658103897115695391424053\ 6236970177939094/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^11 + 2557479782102830392387707096416585933075799861121811834529523270448\ 7704260460857841/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^10 - 6738891881349624643790121168107401499298135847336322090036023211727\ 440350714184177/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^9 + 2408374166496559221931644989592513187768790599352057604763829840814\ 503737915003724/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^8 - 6014431130683210861312286840725723999112927812384160557413469596564\ 62522551746283/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^7 - 2560349131089202637970145936319229722667353401925698147675151971431\ 62814150360513/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^6 + 3832775296506554907804437656673705012142445725171695986570859138199\ 02016744093837/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^5 - 6200063723289416407901951297675684985243557612202813614590234875314\ 2307859584836/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^4 + 1756573023075358880103676363785576944518590869050671132928962933489\ 1880963967525/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^3 + 6351158428499113483212412353051659959901037085025473089911694407356\ 1978855750/33107271778715918732210555589570663200657999248635106349\ 95659999393898599553*c_1001_4^2 - 385015911431696270172748545328794\ 14830272905159055851424947456876087711205976/3310727177871591873221\ 055558957066320065799924863510634995659999393898599553*c_1001_4 - 5447045389604602990655028819114135903497181348132495083775847685240\ 1824683871/66214543557431837464421111179141326401315998497270212699\ 91319998787797199106, c_0011_12 - 10476520219141037632926329062740444149208706558512710110186\ 4339518396664390757/33107271778715918732210555589570663200657999248\ 63510634995659999393898599553*c_1001_4^24 + 5230873994094673884799597953411492402510288714445531668736451030339\ 714381360735/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4^23 - 6284764447232469535071704188655608610198035956672738438984292206293\ 4397051782489/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^22 + 4793037386030342670865653108119898355971408301614308014534961662596\ 65762893577741/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^21 - 2594468907554252064969949306411009933303374413860636552426064441866\ 735071386312409/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^20 + 5298209198249055773854267802777010859322468841354816349979038527505\ 191070574519616/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^19 - 3395973959468656917991247957049822508275925149907272773981990072460\ 0902612372010571/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^18 + 4385528146346907175502665682609641692179781925297221717063202671161\ 2906113107429657/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^17 - 1858232137962706661872700291799295606543108402475021797452027508558\ 54042549492121987/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^16 + 1631324602902411066291325513455225613424669308959869381027585217539\ 38327097994066991/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^15 - 4765050229099767890717696341912780643345618974455322024741035434988\ 86216664012268451/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^14 + 5773217317872993895266504926985651081758914605404919407082384892186\ 17482322211382373/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^13 - 2872816497782705236033735322862187656532845845869082007684419931717\ 72435140902901168/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^12 + 4605455105700265227068496535780333546140910813095834800414919858253\ 49167203661065139/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^11 - 2864600107006717611996144010319498485458794864109117719655164324513\ 73704903564292201/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^10 + 6378119415517362184610853093702979792905426893733807525992624999910\ 3637975986297984/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^9 - 3114446855469152273173596643359535955952423336015918449027334614422\ 4657190828003285/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^8 - 4306795158157831182080942970097881360402579695543681849288063270625\ 428375804029309/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^7 + 7552933763469730606781038633597294685726051999639391415791435444457\ 724567171435399/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^6 - 3266791120971149045083474419556619056816216159521047319471618205532\ 631095282143431/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^5 + 7123784706900064938402684607159558989460136971566518166576194030210\ 96228121699187/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^4 - 6271986621915499251783026727514406307516445404441504441216460075771\ 4303755609741/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^3 - 7991952548936707486364631072065613952146230617892508992653020951590\ 99115476210/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4^2 - 3504123008005773894144659941614103563827793332317213298034215118093\ 50412985171/6621454355743183746442111117914132640131599849727021269\ 991319998787797199106*c_1001_4 + 2070396751246873895396648546778557\ 80921860570973750415184808144278485307965543/6621454355743183746442\ 111117914132640131599849727021269991319998787797199106, c_0011_3 + 333257069824391534996099433098663837097349631240278211898191\ 501512135869204720/331072717787159187322105555895706632006579992486\ 3510634995659999393898599553*c_1001_4^24 - 8387304199719970937918395953416034871352156420985186296898821501729\ 712734266967/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^23 + 1016127157413970418689859397291448386399824655611647261232706259117\ 38014843130181/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^22 - 1563538219048320580183479170557923254513583224064842461773579777353\ 192228344328811/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^21 + 8542411289506259525892207468220382958815492840433592616187976136115\ 242931105826971/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^20 - 1761625205453212958108235705899678076889381909230027570761395725209\ 4147940206244313/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^19 + 5703716843372976114044131496432481316845990384929409571162699228333\ 3158638282611793/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^18 - 1488858376768111391134428826551441452116982520751974645946615806722\ 95837603385487680/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^17 + 6378680894378637783350844626626980650553518010166323061175452524059\ 69367311868753551/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^16 - 5665413020313854119518035996799031950971952485157583293789369297240\ 57516680937742909/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^15 + 8378412672605959322043610415076613309439014931487553862926714076885\ 72536202919466130/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^14 - 1029140796828915760075364484204774221239386003130499464984516339569\ 554891544981411367/331072717787159187322105555895706632006579992486\ 3510634995659999393898599553*c_1001_4^13 + 2080364313928248678783145206310150670642767893503408391891574444161\ 381108467912738905/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^12 - 1697840271138121723270931110505964725682099240936562269522943287566\ 718420403942007071/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^11 + 1079778787248140782893376852885296696162024436237329336859185825832\ 456995211729246681/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^10 - 2480292341478101306352596365514437561584947580584401218614077145472\ 01400685738624000/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^9 + 6479887299529385701066990104490731718209100165497884606602311834170\ 3889280367783586/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^8 + 5931345982664721615019917648521545667322285394553907158426109558399\ 188044489209921/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^7 - 2839755100437079591236187942280564079114292821169689020791311059367\ 6737206118163715/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^6 + 1290937631486000971956020355590993727666908098003117254308868567514\ 2934546197011923/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^5 - 1454988725940156248839039373953873981463367277934126559445022679501\ 048011225956550/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^4 + 1315312296842392951559408442060165612573905088886868150215923256879\ 52096660496337/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^3 + 7212102618163691329618049598776174877247022643494991646654093882559\ 495972247365/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4^2 + 1251312896295711039699808355836018804622863934018801237825049602895\ 955956949373/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4 - 836030066913532049244220007636241\ 227778593980083285978706128135947645109597273/662145435574318374644\ 2111117914132640131599849727021269991319998787797199106, c_0011_5 - 723827098773295493425477186317769365829597768064721545043071\ 672848319483378569/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^24 + 1814986157935345650879808296349563201994470576957697412949126053425\ 9719642289141/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^23 - 1095243590080911683438644498358841576590454530767989510383572147212\ 62271812091565/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^22 + 8392296030912306977539840051800443279371378450694881468933996696445\ 59109802322364/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^21 - 4565352915710370405069834626591640804162915277126313341833433378507\ 496261366435170/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^20 + 3748611996860050500395344856429264146082782859160322058050433795324\ 8874677348566801/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^19 - 6039202209924416294693586873172917182753351862010555745501602702978\ 8472056648522306/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^18 + 1568429755733499447030285320070752691410579891601896678093191902881\ 80051306400693021/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^17 - 3341815150926220314842439920919084889685685017766730454381103067544\ 96881970422525169/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^16 + 1180465271225282209436151007915792673359814445219619338788090679448\ 107784260229771863/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^15 - 1734880792271867486945605516174842007747810839388731820357767538631\ 297056938283126037/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^14 + 2116177027914474054335691973243099109394812348163587738606482337794\ 564340629215989451/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^13 - 1060891317827634515670174689579438829582572429471674465516695941714\ 829017715978925134/331072717787159187322105555895706632006579992486\ 3510634995659999393898599553*c_1001_4^12 + 8575484201069919579101462973023830317124654903240142489715354958821\ 58917139119500185/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^11 - 5387377552812838634459032636416834158310969063502287714329528664242\ 25594819201702335/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^10 + 4861938931377683238919887567732961640098029123654218823917076575016\ 15557514617672619/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^9 - 1219460016960008877419342429285737214295103435845183092067361569289\ 69302362888749879/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^8 - 7350428539156636513399802692825490401964542205793794323363948584936\ 014629794375516/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^7 + 1425411496862560653624291524479045904917427619593474624622845218535\ 7923316135786912/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^6 - 1252766082717731523582910739671672215977923388989863137733791608739\ 1382801722887645/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^5 + 2748695785830009995421904514993686506325446477252275001908940700175\ 067195100130667/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^4 - 2402171507340969035173180838887896028990073463465725106892784727561\ 96926783533167/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^3 - 3370227290585073357078946785920342757511959971356463548807184774360\ 532679862073/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^2 - 6611198277009846100106410215926648151808853410255084059501263128044\ 39758858420/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4 + 3865069792088924863028022247699975\ 42031486518747344869900573513282542594960022/3310727177871591873221\ 055558957066320065799924863510634995659999393898599553, c_0011_7 - 137080717623460599370309627319625240414922006230663014935594\ 350466467243932510/331072717787159187322105555895706632006579992486\ 3510634995659999393898599553*c_1001_4^24 + 3429205977242016211462467663135293552948121201674579973076322543234\ 230158950221/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^23 - 8255505729083764054755894391426658113861301747560685162225597892529\ 2123748940709/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^22 + 3153312003356601249406218194531364167229251192699532047986103015283\ 43920501412847/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^21 - 3418783653497568075732302870793477754552932643691816570849909971385\ 741729613168171/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^20 + 6989745570217281448725832450734276429907112205431544955907439286151\ 873770761412761/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^19 - 2241859072267116845670275306119756770287729004874816304581072283780\ 7669035687695737/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^18 + 1158415641415002949058250280426818415103437609802039548861820792392\ 69892918278507951/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^17 - 2453657546654214913233047761945168557880289815932551902278646571684\ 71672981386073919/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^16 + 2152149741669151553462877649517566044161840714581962174168870970217\ 35862185080269724/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^15 - 3137809095632752730784122175715465977020385452085077888772752343931\ 87177039096727614/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^14 + 7581720291001447176760813246278550808405722847057279277643093003550\ 24822138703886739/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^13 - 3755653631273348742910156494929758941990744431080444676821945057378\ 23358066244911327/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^12 + 2988642444304079847155154308076435176260250865577570977360041244255\ 19568165950908429/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^11 - 3673085951207281094848857574076015787620846008958904452884188170675\ 49743283894601325/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^10 + 7990362569673708929631566747516487011411513479900798909216748460296\ 7314032936562819/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^9 - 1817243871735653157871972376085023034012563678696377107262961131238\ 1712937531036608/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^8 - 7198164735693076075242977571098269281876132923694576315647464665079\ 972956780968929/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^7 + 4960662674944104591974902837417771593038959286994956536130102898796\ 415885876697928/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^6 - 4016145028761391483960804867253371044540269010186669179759374454634\ 003886569850381/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^5 + 4059244069435144057402326027622818531358579324240810106559423540893\ 94471440590872/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^4 - 6239119229492586285928491396382465731353908329312854854946778981910\ 6912158910401/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^3 - 8803150274068195270789773140605308831183809084681846712347685390267\ 35072527924/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4^2 - 2983639467616563703383463538925811443765148895194461369230991361068\ 51381513707/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4 + 2045076168614957511381744901301799\ 37554887964353217019966031980017848208731091/6621454355743183746442\ 111117914132640131599849727021269991319998787797199106, c_0011_9 - 135010831464075326007250868595191330848016050927529394159734\ 7618199815184851163/66214543557431837464421111179141326401315998497\ 27021269991319998787797199106*c_1001_4^24 + 1688479657086552195228503855868052327888558493312136684719767773795\ 2569574792201/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^23 - 2032466739329878148362220691142888687590161870303080121860089172961\ 48323840794619/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^22 + 3105913540149003221097298032544657078516008836611805792555816027967\ 469603905905557/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^21 - 8421866423601659800978260083747172812510844744343102928605940209367\ 820401427653810/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^20 + 6891969559726803155822582115250830447660723541656212939358923511455\ 4885412046431687/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^19 - 2212615362593884938047093425563082064979277104362805518318102811170\ 41288449322154967/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^18 + 5723961356983841483661891624458841295083987973275548402335497048792\ 03536988946809305/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^17 - 6072298679665568386058155264632297305547643895341427015680940310228\ 15828343150604754/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^16 + 2135098406227571434962543168189923257256571951421655026806973358769\ 264352949433391593/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^15 - 1560844422228107116196603235558490309428034779553881772416266485016\ 011130211866183146/331072717787159187322105555895706632006579992486\ 3510634995659999393898599553*c_1001_4^14 + 3785231758253401535932819495690172743312907284059893363371481119632\ 237020918158991581/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^13 - 1884292028695306108622769497726678322393274840850483168923005246708\ 249510628685867849/331072717787159187322105555895706632006579992486\ 3510634995659999393898599553*c_1001_4^12 + 3019697796141904782000361392496280263327366243003803479861202442317\ 385709423934181445/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^11 - 9375183137443314617543757480291487016300346114702825841923860651942\ 58990832209171128/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^10 + 8308782815201501612734747487372182841481659575767647068962581591851\ 50274934125730581/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^9 - 9960589630696645492795702100040814294649103108527657990696770733643\ 1187675995594334/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^8 - 1540663976311081531833892964099802749262630891855744173487069155553\ 4224214268064158/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^7 + 5002033845277270802851982115282423359082429492408530163520495891308\ 2155355336505119/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^6 - 2118117052148861552019691158700887282613812545956657627047453177605\ 8423922611070651/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^5 + 2245876319942791070402512728617012838203185978827373632782855731203\ 567501335926417/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^4 - 3727051200792435707309848800047800334576269193898703696035863433738\ 32690154758767/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^3 - 5426828645282084240956906653175182401953057572396954638081341912181\ 438542096109/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^2 - 2615544365111736227229890523113833489694191843652412357341183939225\ 278968371879/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4 + 605077383475815624957664367461921\ 019890458304784940556786328062878672769122342/331072717787159187322\ 1055558957066320065799924863510634995659999393898599553, c_0101_0 - 1, c_0101_10 + 13300117782297212392097488089364503984432528753511021762260\ 8946875276505139915/33107271778715918732210555589570663200657999248\ 63510634995659999393898599553*c_1001_4^24 - 6655557448016912654841036081852593531021994100455098605409938184371\ 419617650619/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4^23 + 4006575119231685294063889275403027355042465592565871433771854644399\ 2486135365710/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^22 - 6123165473313793562115710277325241463250874264751321628377229832943\ 36235027808611/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^21 + 1660214629881037700193943859630535021736145574965777078308951273752\ 273151448670858/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^20 - 6791321104762862625614559529395478239298323267717411781448206143095\ 110209837571719/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^19 + 4358426633258913971602133478349790494446306000825862950559399756785\ 5013418260459397/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^18 - 1126636574010612521720883829189836905536058400894345921654902252213\ 08455145328126343/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^17 + 1193887663188459284665252950397209305771320865146064085493605898875\ 07107973944869706/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^16 - 2095799855028733756815490251501782243287824964216116365079930006960\ 58684388591293315/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^15 + 6116164166071111398311354832780450873670485297937900055750664462293\ 83715943568502415/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^14 - 3698011202024203316525150202898390571720480813918879687383531109811\ 13417862876925416/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^13 + 3667829537743703909022525516434724779333202245469353257691485023964\ 80765039811914184/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^12 - 5845784380560770594770405219919868391934624817359917133229035754338\ 24366820100449773/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^11 + 1799483476409042413955745959526618240880019935235122609666011659455\ 85309260209715710/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^10 - 7850705010631521072976594102910152523057332935625020725478272952185\ 8723522955804432/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^9 + 3593954254882000723930515181360707986964021133749160825166622203207\ 0802604957726881/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^8 + 3479357332466015206780837631399065358196798853732657371901013674108\ 559582239061434/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^7 - 9739440529779033243880749538013329391426222660683602547604495405238\ 895146279751007/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^6 + 1977981928718503237408926793598765424649872546437781039176927195980\ 651930689169852/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^5 - 7989769648434195466847275813687199197210976375847173500430188718903\ 51768643191099/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^4 + 3010149821991534501643075997090463528071592075718580898937577127013\ 4410858109501/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^3 + 9426549405297582535816733925380588217636049924801317679313219002392\ 97988310472/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4^2 + 6430393418475751225775320014048470229097698538897621830417473670134\ 07480620481/6621454355743183746442111117914132640131599849727021269\ 991319998787797199106*c_1001_4 - 1025490531826083592653619431051227\ 50101580606341151079601979145494407546230336/3310727177871591873221\ 055558957066320065799924863510634995659999393898599553, c_0101_5 - 206958392057561935116133528944811256417219619316239907719428\ 003010104150961853/662145435574318374644211111791413264013159984972\ 7021269991319998787797199106*c_1001_4^24 + 2608264028639344212743115741228454924769090428981483664958103494151\ 291747197294/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^23 - 6327890752800940360682512455352520709671036396161023204462986209460\ 3737291519275/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^22 + 2436761683044391062535629806059129479276015822117201187723412269389\ 64148332383564/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^21 - 1332356751778532698352023865347441952203721416281023231109404459270\ 173467394613802/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^20 + 1099517550193828871205716522727512895618706695730807628873779641081\ 5010236221459517/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^19 - 3560062124822121245311490119007136844906332295658678111567807397557\ 9655482327243719/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^18 + 4644411447029177403952972055678162035316269207196735760083758628715\ 4266395073039315/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^17 - 9939349855469624171516968142605493222313815103091587782970958491095\ 7221375482684388/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^16 + 3525610144835517569071780936282787706946256958559835678317700216956\ 58305215351112027/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^15 - 2600895261266299670010615066184327098361849663324794868621000835229\ 68455740069153952/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^14 + 3184119486216023309620540790039274536454398201349071154458376948255\ 31746356069148591/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^13 - 6406033251463768988246694390205748438540154133375682174125118460535\ 06592887691011215/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^12 + 2596001399425486734139626390517978034038602259041093710783097630349\ 08694810120360489/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^11 - 1633451887668562217843042284541355527450239548371182573762488474297\ 51304509019581710/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^10 + 1473004809247793398821841203507401268837121145392193883417167558592\ 71181507063066765/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^9 - 1830499992245211613261982690213732872537937791218618235555869658357\ 5869615745469116/33107271778715918732210555589570663200657999248635\ 10634995659999393898599553*c_1001_4^8 - 4761330189902851619913008120775197981369921329434019096243040639609\ 112398211834513/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^7 + 4367487125528634122957701770927738037833240155496867225238879089124\ 440311137039889/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^6 - 3777191350614810136472811221222720049247651012894759301465966753215\ 741773128413385/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^5 + 4054396377727810795399505913959917463386053992462061413983307820942\ 96731301211567/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^4 - 3412224853792646252646506784452137433027512131707527158134011174214\ 1028271307076/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^3 - 1905247546662092239051803799318383699854698767412451228584131813270\ 756893876437/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4^2 - 2265314518420267718508963120991902587841051079996555325519055054284\ 20372839828/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4 + 1088639562958921060057228720471899\ 24395259622653959773944834494871075417676567/3310727177871591873221\ 055558957066320065799924863510634995659999393898599553, c_1001_0 - 353576065206888732275024068233743016427905015970891728032772\ 8461673029675083/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^24 + 7749443707536706256804212695120641965037543101405306960859556376375\ 7463922075/66214543557431837464421111179141326401315998497270212699\ 91319998787797199106*c_1001_4^23 - 3986803322645243650490582457249924415103207221208973802798432290479\ 35836489161/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4^22 + 5000163252729262245835568095690411676418506401622995389429753830460\ 395214242429/662145435574318374644211111791413264013159984972702126\ 9991319998787797199106*c_1001_4^21 - 2084409194673484072046937793664795133597176690153357646039411650611\ 2770796747831/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^20 + 5827721001818134914369236385961444156479302257202633058164074018970\ 5034147991535/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^19 - 4842466255021659605965754224995537375594207280458381813708588132244\ 8275632868864/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^18 + 4699407286639888106481162241671206935230703708140963839213847454216\ 678870827254/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^17 + 5093659049741312999750826343967997366252077809920586909021138773136\ 69614341868931/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^16 - 1868012701489411169262054698582329457368669611741228148518647498930\ 839325711306259/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^15 + 4240489704154020096587910700889498578038149166751336764393686720221\ 146024691393687/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^14 - 7120006261594073661430094821535090470995893410075949641453373295921\ 477512910046871/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^13 + 9260217237530643859160419226151059361083489016852818027355090286310\ 776949427678033/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^12 - 9386090478908403167546866401955723055106226210601124175904359896208\ 351318990296803/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^11 + 7265376644691915377552497249006868786268260718001491879180172269862\ 700806689333393/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^10 - 4051898221698733910650039202873465400197478850211009025404429868730\ 215795373836645/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^9 + 1370377168001673079126458911309351086855896032225869688186840377637\ 343830853078203/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^8 - 2128690283003425308203233360315035773335465076304420450908941156554\ 5483306170027/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^7 - 2236445143289944057894243249072873761118314921622174758465650986451\ 07238991566577/6621454355743183746442111117914132640131599849727021\ 269991319998787797199106*c_1001_4^6 + 5748399266494923003402611870412023778454060785072542945573009760655\ 4174652516039/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^5 - 2400169084416167143148125210980984844925647965182017611732308323761\ 7660374800533/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^4 + 9181286207976414938703108249798523493257222384431059179746102601616\ 92872325995/6621454355743183746442111117914132640131599849727021269\ 991319998787797199106*c_1001_4^3 + 2344050210589402275855197687226726165287667100823546821547736284618\ 07603175221/6621454355743183746442111117914132640131599849727021269\ 991319998787797199106*c_1001_4^2 + 3788917860647644881679344984325549161353371063001028987150794125177\ 8735348511/66214543557431837464421111179141326401315998497270212699\ 91319998787797199106*c_1001_4 - 11249392724367481146498148143720142\ 804146201689398140731692401895305148173639/662145435574318374644211\ 1117914132640131599849727021269991319998787797199106, c_1001_11 + 11772982962223607943235314807637847571244717875360711318894\ 5813951533764461039/66214543557431837464421111179141326401315998497\ 27021269991319998787797199106*c_1001_4^24 - 1474877930979340271348819696319223611200703480771408391105878994780\ 168683847487/331072717787159187322105555895706632006579992486351063\ 4995659999393898599553*c_1001_4^23 + 1777814223277125112282238923713985210037080791631377099125782233271\ 9353409866005/33107271778715918732210555589570663200657999248635106\ 34995659999393898599553*c_1001_4^22 - 1359828901887907782502026956996907704845038624619960892926500031572\ 54050839597470/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^21 + 1475875981917175897557924888152409670578252033944015634574040833200\ 429353631656413/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^20 - 6039736280672043758966424032376371577091111539156447277113028556522\ 616157003851009/662145435574318374644211111791413264013159984972702\ 1269991319998787797199106*c_1001_4^19 + 1938057116912382399416090357526478192545925763575539090367387210830\ 0115275306134523/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^18 - 5007436556844550958224621940559965615517372054817512604295842388001\ 4667747501803493/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^17 + 1060171718089060888607052426529502397906895793542289397753110661838\ 41762758480235415/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^16 - 1857884122269766277013685133769052047671533178190272268046882971777\ 80338902965126645/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^15 + 1351954673133845652893930897942059542652815053278319022093218552758\ 39774100469656804/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^14 - 3257274320454553438283241988079498079032464588133902304971046561599\ 62124003310292557/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^13 + 3212517372822939328204302327275177785257630295043998467357353146907\ 57270472364572849/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^12 - 1269061573743991090900955916340124633241192043926735324000791811270\ 35475962033520049/3310727177871591873221055558957066320065799924863\ 510634995659999393898599553*c_1001_4^11 + 1540770660936058998766476893793816375581936022437086275297578092001\ 68920844905326647/6621454355743183746442111117914132640131599849727\ 021269991319998787797199106*c_1001_4^10 - 6542543423433365216781475996438579756328576528660537918805186553357\ 0217513968378493/66214543557431837464421111179141326401315998497270\ 21269991319998787797199106*c_1001_4^9 + 6849508717436158662283524622875811073353081036323718784691608353281\ 622090361650979/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^8 + 1876294542757709525756463876437881284647250406457973909638995101611\ 897281719621394/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^7 - 2137346668589118927854400370675125111891821176565585832165365019724\ 812862828741681/331072717787159187322105555895706632006579992486351\ 0634995659999393898599553*c_1001_4^6 + 8072823963546080448815853621322546571237144225423691583539812112757\ 44342987503446/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^5 - 1483587869131282138648686996985168598983222658848974465539659633689\ 07482584995298/3310727177871591873221055558957066320065799924863510\ 634995659999393898599553*c_1001_4^4 + 1774741222256718927168603583167041662951683699892489140380481887650\ 5355585945543/66214543557431837464421111179141326401315998497270212\ 69991319998787797199106*c_1001_4^3 + 8286604493608915489425118643526300779687328696785117516764918488831\ 99469070085/6621454355743183746442111117914132640131599849727021269\ 991319998787797199106*c_1001_4^2 + 1464040024533548179321048815901112392943603135501341392761128788183\ 47666514430/3310727177871591873221055558957066320065799924863510634\ 995659999393898599553*c_1001_4 - 6302690258572817933937269038588587\ 5970195216503052192991703963611222117565773/66214543557431837464421\ 11117914132640131599849727021269991319998787797199106, c_1001_4^25 - 4213/161*c_1001_4^24 + 53125/161*c_1001_4^23 - 426348/161*c_1001_4^22 + 2436146/161*c_1001_4^21 - 1505236/23*c_1001_4^20 + 35867642/161*c_1001_4^19 - 98693121/161*c_1001_4^18 + 223541469/161*c_1001_4^17 - 421593136/161*c_1001_4^16 + 665777249/161*c_1001_4^15 - 125781604/23*c_1001_4^14 + 969635644/161*c_1001_4^13 - 878017013/161*c_1001_4^12 + 638615480/161*c_1001_4^11 - 356839786/161*c_1001_4^10 + 138049699/161*c_1001_4^9 - 23795439/161*c_1001_4^8 - 1450424/23*c_1001_4^7 + 9391443/161*c_1001_4^6 - 3451052/161*c_1001_4^5 + 665036/161*c_1001_4^4 - 50630/161*c_1001_4^3 - 51/7*c_1001_4^2 - 498/161*c_1001_4 + 169/161 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.410 Total time: 0.610 seconds, Total memory usage: 32.09MB