Magma V2.19-8 Tue Aug 20 2013 23:44:47 on localhost [Seed = 627261598] Type ? for help. Type -D to quit. Loading file "K13n2063__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2063 geometric_solution 11.01115857 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 1 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 0 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.167232011824 1.115595306533 0 0 5 4 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 0 1 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.868581958444 0.876682333453 6 0 7 3 0132 0132 0132 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 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 1.390280144663 1.035778258929 8 2 6 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.430941791416 1.241810016578 5 9 1 10 2103 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.032963301178 1.204717150991 10 10 4 1 0213 2310 2103 0132 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 0 3 -4 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464509436359 0.486105145271 2 11 3 9 0132 0132 1023 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.748123729969 0.479398555758 8 11 11 2 1023 2031 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.307495761593 0.620019433883 3 7 10 9 0132 1023 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292237925759 0.471862522117 8 4 11 6 3201 0132 1230 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.344455801769 0.918821873288 5 8 4 5 0213 0213 0132 3201 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 -3 0 -1 4 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.023787872556 0.929369416208 7 6 7 9 1302 0132 3120 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.763092341904 0.557590319027 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_2'], 'c_1001_11' : d['c_0110_11'], 'c_1001_10' : d['c_0101_7'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0110_11']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_7'], 'c_1001_8' : d['c_0101_7'], 'c_1010_11' : d['c_0101_3'], 'c_1010_10' : negation(d['c_0011_4']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_3'], 'c_0101_10' : d['c_0011_5'], 's_2_0' : d['1'], 's_2_1' : 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_2_7' : 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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_11'], 'c_1100_8' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(d['c_0011_5']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_4'], 'c_1100_1' : negation(d['c_0011_5']), 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_7']), 'c_1100_10' : negation(d['c_0011_5']), 's_0_11' : negation(d['1']), 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0110_11'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0101_2'], '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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(d['1']), 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_0110_11'], 'c_0110_10' : negation(d['c_0101_1']), 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_10'], 'c_0101_4' : d['c_0011_10'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_10'], 'c_0101_9' : negation(d['c_0101_3']), 'c_0101_8' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_2']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_10'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_5'], 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0011_5, c_0101_1, c_0101_2, c_0101_3, c_0101_6, c_0101_7, c_0110_11, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 6235443570474059466118888658340120264584735231715347977699127582765\ 421831247752970904128110198299863/789708332343172655694022298180508\ 1005109485848113808121141085301499375229701254179258114223141479024\ 6968*c_1001_4^29 - 786473255583430645319493812164000635090268896340\ 97533331785102361426235349179409959419044359328620121/1842652775467\ 4028632860520290878522345255466978932218949329199036831875535969593\ 0849355998539967843909592*c_1001_4^28 - 1948931539465978637574018570273432936019765409254329570803314919268\ 65327207017454820845833870754221/3010870548149351083800738609620673\ 5858260566959039573446616338295476920810407831838130065120909778416\ 6*c_1001_4^27 + 163417044755094219966385230926163990661111288514088\ 1527250363173157402817342300521122831033265980750851/55279583264022\ 0858985815608726355670357664009367966568479875971104956266079087792\ 548067995619903531728776*c_1001_4^26 + 7433383160749146406693275571489933221045831398132676226321520588268\ 11532695391701661562225804403908306/6909947908002760737322695109079\ 4458794708001170995821059984496388119533259885974068508499452487941\ 466097*c_1001_4^25 - 1433848631480276204441465069635608587371186262\ 912713485697892868401942122268302494191489679217080298589/921326387\ 7337014316430260145439261172627733489466109474664599518415937767984\ 7965424677999269983921954796*c_1001_4^24 - 4648523454248452117588237718353351225911773205566480789609663140146\ 506918922326960552889254372869060291/614217591822467621095350676362\ 6174115085155659644072983109733012277291845323197694978533284665594\ 7969864*c_1001_4^23 + 599935890217158338949563858746683776400870459\ 4207896470561228459210144973813727431428935397031177455491/78970833\ 2343172655694022298180508100510948584811380812114108530149937522970\ 12541792581142231414790246968*c_1001_4^22 + 5406061036249199194199752730304046913095243173872988471552030780234\ 3363557952024688128847560250340925961/13819895816005521474645390218\ 1588917589416002341991642119968992776239066519771948137016998904975\ 882932194*c_1001_4^21 - 4944393948096643401197040665617001901022525\ 6620706313505225305366952811118898953038736562573849389026067/27639\ 7916320110429492907804363177835178832004683983284239937985552478133\ 039543896274033997809951765864388*c_1001_4^20 - 9537243053295182266743981345971801801734655949423467108513157121748\ 8313879333371773972921296660233567708/69099479080027607373226951090\ 7944587947080011709958210599844963881195332598859740685084994524879\ 41466097*c_1001_4^19 + 65583666905556930447783076954075208192140848\ 38938229936646294692672954890685814282337832235654647023801/7897083\ 3234317265569402229818050810051094858481138081211410853014993752297\ 012541792581142231414790246968*c_1001_4^18 + 1971903546127412698636299790205087423235323281957861181401866810180\ 612201879868741438472059344737548113727/552795832640220858985815608\ 7263556703576640093679665684798759711049562660790877925480679956199\ 03531728776*c_1001_4^17 + 23714450502668100845706306764361544087347\ 5540308751569279353167176013320437003638666780941979595047163203/27\ 6397916320110429492907804363177835178832004683983284239937985552478\ 133039543896274033997809951765864388*c_1001_4^16 - 2009696039214314558141896290052130368652604266018171185400148037343\ 175410019945042982338046449484719662353/276397916320110429492907804\ 3631778351788320046839832842399379855524781330395438962740339978099\ 51765864388*c_1001_4^15 - 28644987658463685914523775828486727236004\ 008187810682184734643071042347231212194227075436537895180249339/674\ 1412593173425109583117179589703297044683041072763030242389891523856\ 903403509665220341409998823557668*c_1001_4^14 + 5829504395490388545965512481485045984882032840274140816356639510606\ 153988668252062734863786499570505656067/552795832640220858985815608\ 7263556703576640093679665684798759711049562660790877925480679956199\ 03531728776*c_1001_4^13 + 54149775692082110455571004293103405259129\ 17490050459211674020685877582229875947293632612366912591645572085/5\ 5279583264022085898581560872635567035766400936796656847987597110495\ 6266079087792548067995619903531728776*c_1001_4^12 - 1042577175979191536757815309435580773200875071070467348091000779426\ 555689343719109677752217500250017601825/921326387733701431643026014\ 5439261172627733489466109474664599518415937767984796542467799926998\ 3921954796*c_1001_4^11 - 296958304541073137928587815041170372281782\ 2201344245034164710699719670115116475753970620147379608358688329/18\ 4265277546740286328605202908785223452554669789322189493291990368318\ 755359695930849355998539967843909592*c_1001_4^10 + 3537453552528147634301029396555818571773990918299875090544178930926\ 924473953756953730317304616099411060505/552795832640220858985815608\ 7263556703576640093679665684798759711049562660790877925480679956199\ 03531728776*c_1001_4^9 + 332168839451415563554293191039259375926227\ 9142151203914442054559206657778787317484895999490688682030301787/18\ 4265277546740286328605202908785223452554669789322189493291990368318\ 755359695930849355998539967843909592*c_1001_4^8 + 7710001688012916906557903859439008073598848775224237980267888799201\ 1954962777878204357367431317539988729/39485416617158632784701114909\ 0254050255474292405690406057054265074968761485062708962905711157073\ 95123484*c_1001_4^7 - 315328288748665241322033912369187831917471351\ 0388024246099197023646945018740945186775537040705852738346831/27639\ 7916320110429492907804363177835178832004683983284239937985552478133\ 039543896274033997809951765864388*c_1001_4^6 - 1081175009271368896917720354055697950080324792306480633433261515683\ 29942583051684336764493720620760017199/2047391972741558736984502254\ 5420580383617185532146909943699110040924306151077325649928444282218\ 649323288*c_1001_4^5 + 37679179133406786215066481442603378370734895\ 8002493439244618547573369069056028781347943695421569740922621/13819\ 8958160055214746453902181588917589416002341991642119968992776239066\ 519771948137016998904975882932194*c_1001_4^4 + 9998914303173356012125891456808799015835873182833954682694048682415\ 7026144050879454420950448556015686055/19061925263455891689166055473\ 3226093226780692885505713268922748656881471061754411223471722627552\ 94197544*c_1001_4^3 + 188609842407752989949452045673655462036755010\ 7000864482290898768832896443360747201161972944062159046713269/55279\ 5832640220858985815608726355670357664009367966568479875971104956266\ 079087792548067995619903531728776*c_1001_4^2 + 7213297141423295230126782183974307824221647405707267500009960866610\ 7846836778971024154477634651177542117/69099479080027607373226951090\ 7944587947080011709958210599844963881195332598859740685084994524879\ 41466097*c_1001_4 + 10540927635321884481548718843212119251434999844\ 454451372999835324137138079485052200317899553569012913207/690994790\ 8002760737322695109079445879470800117099582105998449638811953325988\ 5974068508499452487941466097, c_0011_0 - 1, c_0011_10 + 11338649770151734085811505434541618910401896890620041565935\ 31119930897743605145/1293861313741797328205480836988410231474827909\ 2977840340249472110516869676659563652*c_1001_4^29 + 4762099449486307686248110395079919535752004179170211011471479019811\ 823959564001/129386131374179732820548083698841023147482790929778403\ 40249472110516869676659563652*c_1001_4^28 + 6296995437578987471977770221590555419866512997023347862027989661722\ 61575891286/3234653284354493320513702092471025578687069773244460085\ 062368027629217419164890913*c_1001_4^27 - 5073519171694883587742155575524044656240122703622721090091764635920\ 8378731559709/12938613137417973282054808369884102314748279092977840\ 340249472110516869676659563652*c_1001_4^26 - 2445309785292789209553077863596417803426940436284622413189467584956\ 8755269704341/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^25 + 9808350919842731819264027745640635299638960455316361195851050838651\ 6917763343128/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^24 + 7529636821890256788575399905109470908879152201252262053557037009836\ 14056227047807/1293861313741797328205480836988410231474827909297784\ 0340249472110516869676659563652*c_1001_4^23 - 2320596991305395281521172091549526842317571516230941492069974190621\ 393092812517075/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^22 - 1956834744092460059648744310767544358675379969080980004124160839416\ 625784687248745/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^21 + 2286680556046372185523359392501351288886785975469684036168926998122\ 853243410932005/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 + 3661054262158803754575034912445553911009306516267848959613019750132\ 814238479836735/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^19 - 2595341228949741323457305124807788539673982506358905751176498699957\ 7561352123656669/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^18 - 4217751566201008998993856701094383718900013711683834188229408401180\ 5950479405643667/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^17 + 1397754877997205629593093449535507801511836946620975470565963631098\ 4199853302560144/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^16 + 2459452409629025390191626178797578634451250943351159266544779706165\ 1976347838283370/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^15 - 2231976927308328932131772374239840775658433938712161984231001798668\ 3990176113517454/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^14 - 1804487215956606039998915438744446224332382300461329936235051270064\ 58411260616294485/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^13 + 1111795881565136206995889185243585595977531238419203436528887042251\ 04399648568132353/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^12 + 1344572940229416582663247200626572914601144262896122084991554080259\ 55183841450808925/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 - 9613981991708525335898106894224574038589170296752864082465095314457\ 1879214618015701/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^10 - 3033576240068553395176158353848039268713925926064900093383504157949\ 07981599038380469/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^9 + 6489341262616182258089211064531965919334302561244909462528101597305\ 6827186560308409/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^8 + 6803478308548422959965235273845486975030672512384653198495967418829\ 4685088349614659/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^7 - 9889775868267443129674097843633116148191966125912870223025182699977\ 241744704822045/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^6 - 1571440107247473770078786626097540429881406488431213309715357559676\ 18465995978092883/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^5 + 1780003946326537107297533977430059923023472266281039503278809208656\ 0648349802527581/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^4 + 6978198337868981575915388850994706032560330074383757969473696729903\ 9256141604497683/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^3 - 1403544502942149201546646286808534253377824288330305954359976873236\ 7173190356702111/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^2 + 1229372711120887119659205867980105610029645899741304404522608055661\ 4360920793987689/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 - 1239486241164503666377095716605571288703491809466833810141918447491\ 261750053987252/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0011_3 - 132735656910359125561785481752491080374995549601377527308489\ 2625219236294129153/32346532843544933205137020924710255786870697732\ 44460085062368027629217419164890913*c_1001_4^29 - 1229250014011211812450952266929890608306098027198961732353105038540\ 0849348585393/64693065687089866410274041849420511573741395464889201\ 70124736055258434838329781826*c_1001_4^28 - 1107660608513326942278562948956646857228785523198551812745195842159\ 6402089341249/64693065687089866410274041849420511573741395464889201\ 70124736055258434838329781826*c_1001_4^27 + 5721260490460472879410916487822970779380984881957965023220280133796\ 3001983843684/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^26 + 2778595778225409389623897178257323665311680007949338146544719061427\ 87816764532147/6469306568708986641027404184942051157374139546488920\ 170124736055258434838329781826*c_1001_4^25 - 4029754651368860070146821030816908882895607250071666222574867980739\ 66881610107781/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 - 1059348967982085584216090922385817484055563297608966467322751939613\ 857672253768297/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^23 + 4582332410819744014959612508806999215925231161334744717183345641745\ 211472104983369/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^22 + 1123278157355943506421583083186256712877675115167473510731969041195\ 0942252936826139/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^21 - 8475573158498818376111680006814791361619026408772260278704127780188\ 199744954704462/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 - 2108418620603675189845794893311457707291870143393804732092884775208\ 1594185666462645/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^19 + 2210400197017875588566167387133515599134120094326584127895846404251\ 1168685495508860/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^18 + 1204712654596864912404539612753858323232724125713051312364860208247\ 68701310059754211/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^17 - 8376877757285599391824457415332064214750658443046154110379158035931\ 8282057046897661/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^16 - 1379073828220314420278971488337598441241417601935658332485380823714\ 62854896785697497/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^15 + 4993676278970623769818982467969974233226748760194937750384505141771\ 9601633846199898/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^14 + 2453233025260278292347594225324786330489194134719541713880495533564\ 57279732580530539/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^13 - 6149470512008477168757119871334196288949329168256354316850612904280\ 9907666858444181/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^12 - 7086991584332449376520754695552477119995933110074282459832867251393\ 74020084568024643/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 - 3683157504069690696336873422568829301901506633609588591295882032700\ 5653329666045803/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^10 + 7632571081064096815844898703398680695495475432842340660184410798804\ 89235874718778845/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^9 + 1893308928509094024582029001311039846381681217752661114022781433022\ 36840183742968767/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^8 - 6602066546689597753020623537719491147283720634135161896891951979113\ 00372056683023433/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^7 - 1392144985066901900073757975017478386888946920169666696980109925971\ 82938161422158568/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^6 + 1722023231920522726018306563877291744334350629511034544222351997682\ 44771331620182371/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^5 + 1213012608647218346385775920017190338364549068219869968268149992085\ 03127056631749371/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^4 - 9155931553399674076739901256147203527935327828747368116381232415179\ 3568316125794751/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^3 - 9764660290205682083304403511346517654370937591551149474203337681665\ 1832224444805383/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^2 - 8701384646032658791518549018441041454859620442008614565407172227267\ 5394894221302125/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 - 2850756961936646485726124627898159613890323842266331635890533359096\ 616343951045185/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0011_4 - 246809386654414460129584651873757456412717220555023834110614\ 6240145196526080791/12938613137417973282054808369884102314748279092\ 977840340249472110516869676659563652*c_1001_4^29 - 1244726373822769019092117791726306737163626482184025634341853277062\ 6191378195663/12938613137417973282054808369884102314748279092977840\ 340249472110516869676659563652*c_1001_4^28 - 7664063491024226370014512480080083829373653075317952057197922242684\ 176414898541/646930656870898664102740418494205115737413954648892017\ 0124736055258434838329781826*c_1001_4^27 + 1006551735306758759622261482195080898307671089387241160667540303020\ 98568124800815/1293861313741797328205480836988410231474827909297784\ 0340249472110516869676659563652*c_1001_4^26 + 7517856506980241857369821070876240384059726991119051473147691490186\ 4534434940735/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^25 - 1573881386262706807890265629446241837452809946313578863619280920457\ 75557840818684/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 - 2244807567984752160912684129054172344993927672032681770437705199243\ 947476714271655/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^23 + 3360656431711989305338707158715238905532515388133127951062455699946\ 637822705667465/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^22 + 5974303928679826079579111401969451439952969729765865451471286775695\ 820047313839869/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^21 - 5486965117107357404207141866744012370779186342252327272697885187980\ 220502983291419/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^20 - 2219578123571797827665313048018387061378346956372453174918503089154\ 5887169517510577/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^19 + 2325967745742660950113501695071841223831989072945785526980697201581\ 2012977740281101/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^18 + 1241873144779670693557590496486240849091738804576178272036809803909\ 45322632132690613/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^17 - 1389847056322410359101882509884029339965090966484861224127174522237\ 6497378378734247/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^16 - 1378500527828688220770027040138299312283678283334094657245797479323\ 63180136544489613/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^15 - 4744533571078901956124227278933223041920115079293708280787861242332\ 053971286977980/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^14 + 4668057153747321543078721457827604202518647432966516858588259160826\ 32925399391869079/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^13 + 1351472384864733537436009117290141091354438810846793569328838471859\ 18741654663107283/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^12 - 1591973407680480605434814721763178189119173997281179535861930042133\ 88968331338814089/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^11 - 3372387090230076959770373634245598082758755051813206219566259170630\ 51826478678979375/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^10 + 6206957299817848682829321750858711127045886026094724935109401819802\ 77954345951308409/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^9 + 4529230087842294801542637876836432925070742717015727897716280588480\ 35019584399464391/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^8 - 1203793412355031186082042567426654852952498093001482226983049006456\ 09348600029740895/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^7 - 2452136221538438797535423909447509072677894155336016479467427066729\ 33390169692062853/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^6 + 1627206179885972681079828372408666099736798565527150258901380668721\ 30064450313183933/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^5 + 1110782046662815577780851444939113380944172288652529603773211013387\ 91111878176299607/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^4 - 9430494715148387110436968745114993006401697113170318083638872786508\ 7736123329288399/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^3 - 1566057854981070714799642560950677849105916104439168896509848006872\ 24048408961294061/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^2 - 7605608141427502782911040829263056476606783049316711544913733899073\ 4603583739196357/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 - 1139858451351336661170482947591376672429755230676290461011945071821\ 2324349547217991/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913, c_0011_5 + 174492066795819094832974401405872040169564970842124427649794\ 2469206862692124533/64693065687089866410274041849420511573741395464\ 88920170124736055258434838329781826*c_1001_4^29 + 8270271939753001788344328248455499811247295945207606062512839145998\ 998829082469/646930656870898664102740418494205115737413954648892017\ 0124736055258434838329781826*c_1001_4^28 + 4089462202198038353057149104378091381523561255496457511791748527698\ 178762434615/323465328435449332051370209247102557868706977324446008\ 5062368027629217419164890913*c_1001_4^27 - 3719819243730390046669313905720440565232450398180199302742028193624\ 3448312631805/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^26 - 9545497669556827127460839918651609320934195450650140531621381953586\ 1957401810222/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^25 + 2546575220372181173520138213816558719405582310123570723537963520455\ 25239640444451/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 + 1451172375900097778416133873715128388201026309366631417773306042485\ 668121787821807/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^23 - 1427452707863889018849701448273665198239199040667841220440659959125\ 209598750866265/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^22 - 3862001134309644216746849643453507476503970461263172183453510491285\ 624737911404135/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^21 + 5154489596950445404865499177155704396361928117910138021697521055074\ 391151890134561/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 + 2901997021134856746899272767574544514395993581639471270145655479789\ 9461934595738197/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^19 - 1297422774541934652634170248706262425174394305703978721619973137028\ 2583481442808668/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^18 - 4138379557544261029299543311654448891614019293099394196376879330058\ 4669866465877960/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^17 + 2312317120799558533788434987427902672209116769890491635986073986564\ 1335522674517435/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^16 + 1887443562084238325185905376213149043477032361266189802304676084721\ 74901030655899225/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^15 - 4555372766970850122788259705039142664024261947558088361890302740642\ 8554114941263875/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^14 - 3333564370318674074140459572229802635083838070456298379533925846517\ 92654743605378019/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^13 + 4522896840997050615909452084767627735489778668445507222627664016897\ 691205030528783/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^12 + 4774716243384525205391808153688568737184400338541482768948085414209\ 21599239350912461/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 + 5070965505305224317287209263090505420614037213084027260130396639011\ 6576864305166345/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^10 - 2538479423107099559707939623940170581375422853639947587905348079189\ 53388176400094462/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^9 - 9235072381340438342418160183278997351664505787620263880684094223606\ 9733197442809181/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^8 + 4335028971350946665847376530345322676788263885148174851683075392423\ 51186177609345761/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^7 + 1193605950068612327411255104519085817760768739730149638664148276030\ 68060752271620313/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^6 - 2170038555302251504111808534144420451916567776540724052614696839001\ 68909723093104585/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^5 - 5679413905149398455051664041047710342086427270521021961348997603149\ 8931193819903292/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^4 + 1148493666077982085510070979391203107245299244112551695460865867104\ 47454308368800423/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^3 + 4220713510426730550762561654580828828342513877815897166631803059621\ 8337033925716058/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^2 + 6343107043962625624869343357853872390198938716571738142483277266731\ 0539519325208965/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 + 2252167276405140495383748567349031053918894270457040928815247863041\ 301062044177348/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0101_1 - 153904137831719474990523082321645464893299150306731754686990\ 710787903486352481/129386131374179732820548083698841023147482790929\ 77840340249472110516869676659563652*c_1001_4^29 + 1834552643818421011034826501903213468053578933603779140736247854923\ 00669966515/1293861313741797328205480836988410231474827909297784034\ 0249472110516869676659563652*c_1001_4^28 + 8788517865524707320466603168472123794689363665397433817553644032647\ 08541972186/3234653284354493320513702092471025578687069773244460085\ 062368027629217419164890913*c_1001_4^27 + 1033333730666805980041592268337114267149038541677926962680718629861\ 0705631053093/12938613137417973282054808369884102314748279092977840\ 340249472110516869676659563652*c_1001_4^26 - 1142799469736701390131176957313330116628951858876822230213176840420\ 8606110794295/64693065687089866410274041849420511573741395464889201\ 70124736055258434838329781826*c_1001_4^25 - 7050260904923173961116891056393885599627748831021001275438008999811\ 6273057745397/64693065687089866410274041849420511573741395464889201\ 70124736055258434838329781826*c_1001_4^24 + 1528080776583386324238527131611495496617858731254563243715685815702\ 07374961160407/1293861313741797328205480836988410231474827909297784\ 0340249472110516869676659563652*c_1001_4^23 + 9934267244586407047136951620483741079779180434371480250752862312703\ 61120254684429/1293861313741797328205480836988410231474827909297784\ 0340249472110516869676659563652*c_1001_4^22 - 4604020074958960491400935458691823541050481721034860250377632845505\ 60449322632311/6469306568708986641027404184942051157374139546488920\ 170124736055258434838329781826*c_1001_4^21 - 1220162362992130751951200956856042606088453765276952430109897152461\ 352045222129772/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 + 8574645244387107532840864229878931231881602563443390518981108989336\ 62129036572789/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^19 + 1737156238873783847223278988266618344887350778802060563988625823930\ 2386559119782287/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^18 - 8595762240479225791242117349771116425317639012178423684373392051680\ 848174703506973/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^17 - 2390655169273755423535292784246424729304760196747933699572925148944\ 1324334405100991/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^16 + 7070021076151627071118546243431470032639966961619748344683126185173\ 712204101440471/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^15 + 2643755376479728262362971179048789532448864813353821681859790377138\ 6177498583298771/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^14 - 8955615861341011738809177018483517028561310177477599911806821131941\ 929011456078777/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^13 - 1850470081817887258028362199711343743191352862770990714371982778516\ 98762620451739431/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^12 - 3745192022016835499430069661952228495400502119530631665111265444451\ 865798866074857/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^11 + 2641760282084379011789054678423510922146633589468042404250880701050\ 50484514372155121/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^10 + 6438250399432410250766420922805552678916951092088521445560256506617\ 5519965275424275/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^9 - 2892039481154211452268787158653645753415913537763210102929801803932\ 60278180260657797/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^8 - 5031952696976299897031916106093004494953525128686575209294870972794\ 3307180597399257/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^7 + 1279852818069949964658119035251049643878136974938334795174539354824\ 47596349035451177/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^6 + 1167469769309193765676709965571791329216333133132369060667857626412\ 70564549382489815/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^5 - 7653631597410471185776420403845671551955847725197254466972802365445\ 1119359767929497/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^4 - 5511469299270136272004254894483873725365279777383784125518382750981\ 3460120142730767/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^3 + 8160598015684761596150349941267315316392274148437103752588522183064\ 4409349503900783/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^2 + 7928091354472507995142957475372602238292504401986240639174946178421\ 426888156330799/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4 + 5807412599114160345412695570564371930368624109637515980317655513655\ 278686549023438/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0101_2 + 616818141568672774511565781942207092093612282092413958257659\ 613498314322940094/323465328435449332051370209247102557868706977324\ 4460085062368027629217419164890913*c_1001_4^29 + 5607238309760715595277075792113384824752247275408949300515317829484\ 423665962057/646930656870898664102740418494205115737413954648892017\ 0124736055258434838329781826*c_1001_4^28 + 4815749098387939492557172940370612174991586356081605780516576629401\ 485254170575/646930656870898664102740418494205115737413954648892017\ 0124736055258434838329781826*c_1001_4^27 - 2649549386858697664192374427308404823941085792411541554995514275253\ 7408747201797/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^26 - 1244036593481352066148719540576936945720626592709962862091368793371\ 83723387581849/6469306568708986641027404184942051157374139546488920\ 170124736055258434838329781826*c_1001_4^25 + 1891323866273586829721460652644989769467352305317234271235290821151\ 09466285012590/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 + 4698206142677360726952781239843850707740553037240272474751564008637\ 89931581163869/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^23 - 2157788872212994999815309858524197295493957471780599128653441073231\ 342484811076801/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^22 - 4939225689570902082851556400634501742725902271177676601784397352327\ 343104587924733/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^21 + 4001283485008587004275509351880432611601236397177283647438395681585\ 063624596838307/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 + 9213386597187021679934324294066787969261094678754306043777490149567\ 593390934125546/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^19 - 1049726733391486657794618609994052771802963441814837465160166489341\ 5423857897008630/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^18 - 5239513671421624211601422898831836868883351322593651436035437430363\ 4038210510789185/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^17 + 4054151858228056461537357979886560016191826692684222734360133320377\ 2740672833144891/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^16 + 5991554116604318207409712787604067416995027277219024076000881387350\ 4876492752381427/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^15 - 2571204524830573754146175862848596870706671567593769454807160156806\ 6039177952439948/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^14 - 1067172662706147492225652321183118566473837491175988638041042553168\ 52160431385485455/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^13 + 4025778505089909948333903550972009973903393068482244375716029994183\ 2911589695851317/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^12 + 3098520984679700879518210096627965798514104360137472738856042420760\ 03324923426272715/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 + 6598558850957900719791041077361284817790107208356156990773697123688\ 844859947561875/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^10 - 3368926947370725668607000761990522812396567899479058933706268833993\ 27675791798929141/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^9 - 6237984343574806541238710846248917597107245315555736498655527266580\ 5448613343530357/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^8 + 2959000362959345585455250136275265134244494274517004749521929103347\ 03557850682682969/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^7 + 5324196933708357747333054922038162615324240459121927683747725410502\ 0146958891191275/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^6 - 7971268556210365121620140774825025864780138280453674841619885201849\ 3557220719581406/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^5 - 4707296461031770825839844436501708942265230803283204219897588756003\ 0615089072976851/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^4 + 4127130408580071522081606676996370615603221652807392300908167626207\ 2229570966721066/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^3 + 4318671743559181332671690810941684054472006335287218128600541673034\ 3778417888852227/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^2 + 3848245947596273529315185518482927623914586756737163072823798225833\ 3553431464851959/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 - 1157271081363394216397153114929771243557417067488115819991316087300\ 865555864836963/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0101_3 - 225575118886719770825831459807153408340794078009238472071608\ 7730928336870482911/12938613137417973282054808369884102314748279092\ 977840340249472110516869676659563652*c_1001_4^29 - 9934236650358575289411343280951665396015526237224934448622156484968\ 397201785107/129386131374179732820548083698841023147482790929778403\ 40249472110516869676659563652*c_1001_4^28 - 1835649608029291634147324235612613005559405658028778047593897565278\ 783082549229/323465328435449332051370209247102557868706977324446008\ 5062368027629217419164890913*c_1001_4^27 + 9800058097364135441322922297211246162320980389859333844632050216403\ 1806967641131/12938613137417973282054808369884102314748279092977840\ 340249472110516869676659563652*c_1001_4^26 + 5321276767243165369466974059548931103666544155054202210843225845511\ 6497590292491/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^25 - 1815487679177907242342366598741810438303045178660316850404747808307\ 14933859443577/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 - 1616827106396722832321437591810750794519975833097275952252722650309\ 732074676435385/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^23 + 4211035753293867653498734409737834674011889316198846612057324911514\ 544165333661129/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^22 + 4227927542653526647438293768721421282144007438232836798870779073960\ 416345121571911/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^21 - 4004545063739369415483003886014357405708688159957138160633680518972\ 386283621152327/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 - 7879729733046150160767992917996355638618061514997541930109967437748\ 896603169628539/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^19 + 4353739087572333277454119814564726626207710092972258845354287507192\ 1053345124967523/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^18 + 9017442771282761159588533806529504909293530815908571184855588875130\ 1851542565291289/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^17 - 2202919863338092724526324013152620332296323405778260800606233524885\ 8578605319136577/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^16 - 5204352923125337397640258965841101022291483729582152491997296810132\ 9268659190028022/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^15 + 3088149593466250094554255530861146117185207050662027793885454081537\ 2288501971019941/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^14 + 3744119515673353743458348397718233191175316367873430259964075136431\ 88197972441845975/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^13 - 1217352337303107364096687226610570689394485327581976391176907518687\ 67338467320115371/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^12 - 2734970618415899843039421885490908542241586592161285835551809829860\ 96452166400285315/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 + 3889377021162385405506747075291039239456409241262504123192433769892\ 9612497145234931/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^10 + 5927765155633253286307697634552510242998980870256610344002601170966\ 91192682873878499/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^9 + 4671620402706181424400200163085291528904704213113595843134982622636\ 6581363233638905/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^8 - 1276791691094497312807815035344443323494846787274883033040497365880\ 55035628016786700/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^7 - 6556073982649761043517512896769144321560223617453520550425822623612\ 2364143024063419/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^6 + 2569503779389654277084985183536274621807514787585958916081224697159\ 67191523115296541/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^5 + 1545509828814969264853561839375281318099752738046102123683871136138\ 7506503279763387/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^4 - 1205370904684872456440333306693770911220466821437503186667359884728\ 42946324576730933/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^3 - 4100365285948156052590099662414396035269979924798700537872948531651\ 2971570477230723/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^2 - 4394425798687848336710653576276415106287982720060816611586140597808\ 4035450888608209/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 - 1015600884410563997237188782175137839990754693863031621248085099458\ 575414614996412/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0101_6 - 147952982960447888599956047654485168018472378622051593766962\ 2320822604654983055/12938613137417973282054808369884102314748279092\ 977840340249472110516869676659563652*c_1001_4^29 - 6573947520688584563948591133672269378320871703796580769278620271510\ 701274000199/129386131374179732820548083698841023147482790929778403\ 40249472110516869676659563652*c_1001_4^28 - 2535418062108005565114711508076882456885674107728522614728454200614\ 621009277871/646930656870898664102740418494205115737413954648892017\ 0124736055258434838329781826*c_1001_4^27 + 6449576179407919126804741690717249450812533305763595567947977031327\ 0698057180975/12938613137417973282054808369884102314748279092977840\ 340249472110516869676659563652*c_1001_4^26 + 3587821142783863199852752051969887565699018207503403896922721917883\ 2565154231210/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^25 - 1176254458990138611030945431628604372147721749796000650507963904741\ 78544801982258/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 - 1095070175350806908061067988035294947266580685938074778572969949505\ 315207081050743/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^23 + 2701460342842292708614364172428411338235458123960113154642142849307\ 201630780320889/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^22 + 2894859016783401734600808512087121753746986186825006694251264512174\ 397771757787061/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^21 - 5091246894061898113524321282502190938288304948128351293639920046974\ 187992721805293/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^20 - 1093681653647322314964359299190969066418102596893248069007951540349\ 4622305892853719/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^19 + 2731937828732720557696110373576781230981852184380250387673555665606\ 0437679568335421/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^18 + 6322686993050069476249774563065812619875724621386056249561646710022\ 8857284604291709/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^17 - 2713619709627796675907433025441150238434725727128983874403726989066\ 1205629448761445/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^16 - 7357868221169242886130905246136455927554125729211684353279815838243\ 5001831411875815/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^15 + 1819340613041004372896889414894579186356731770809693163697372729522\ 9381339255818983/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^14 + 2674661566316918218399785719105593381231060969693546129217721563529\ 91437260938062783/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^13 - 6288080946475154346231705354769646889180988302271423473166578301666\ 9442558294834561/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^12 - 9854176999410457430293829941835084850829196780591514783625118005820\ 5946245232515847/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^11 - 3220940340219980029833666958744802835620498468088707436003304646711\ 563469273523975/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^10 + 4366011032918103320611771554053996592205812541792802942371912845435\ 07942689344529753/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^9 + 7315107627682596933007088869429658302494501402933314189726531317999\ 0466805884415107/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^8 - 9637141295815750627351306305363714161272864318904394869545296724697\ 4952334840026443/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^7 - 6677840334576069348698245389474747227688815011980494667869463124629\ 8385163584067545/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^6 + 2108376540699399265878706187824835571293655898362884305055663369037\ 66855795802847381/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^5 + 3186108546021700567835732818318603673933375444752565255206540933791\ 7058696291715647/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^4 - 1058301023427082999367921198699124831544377291308519513150946318487\ 49476662240263883/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^3 - 4793915046179129748208070149040732504189125717564187408415565819091\ 8844904483757137/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^2 - 2077347959528354349861793581163455622242340857677741732188462640882\ 3158129812709809/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 + 1129627091080843989220277344720399962731789300526765532255924792773\ 050011113095571/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_0101_7 + 504611329704078304909917100625218479565277927033681746471358\ 4393451249770594101/12938613137417973282054808369884102314748279092\ 977840340249472110516869676659563652*c_1001_4^29 + 2479700217701443482157824836335325125648059796339752124907146571436\ 9199119064851/12938613137417973282054808369884102314748279092977840\ 340249472110516869676659563652*c_1001_4^28 + 1379113898609687753410298399803350089326806364296771971787899101133\ 5503223449627/64693065687089866410274041849420511573741395464889201\ 70124736055258434838329781826*c_1001_4^27 - 2117008906159731391975546635047991199813042375839179726418385537650\ 88432466069331/1293861313741797328205480836988410231474827909297784\ 0340249472110516869676659563652*c_1001_4^26 - 2944691521473246831405264465179292970487449399413039242705688744070\ 08608692632815/6469306568708986641027404184942051157374139546488920\ 170124736055258434838329781826*c_1001_4^25 + 3469465904623115388119870915611560791958466118096826358883093542270\ 63312559355840/3234653284354493320513702092471025578687069773244460\ 085062368027629217419164890913*c_1001_4^24 + 4459486945825899178089094548954684872857078422619660246012970185584\ 748252069104667/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^23 - 7631876619840841524485791454199251102833170380917025104720304148108\ 233219259208539/129386131374179732820548083698841023147482790929778\ 40340249472110516869676659563652*c_1001_4^22 - 5956310494345579764870716713230605621643715283856357795444221471222\ 106410786322478/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^21 + 6646140731178846585491663795522652065699491648578486960001536652104\ 167174436757878/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^20 + 4468153180461333165676018393951524286683543048975447640295616016286\ 7710219668880419/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^19 - 6326408223109822407713437027825753376925920765067982840459076978052\ 5287462697087779/12938613137417973282054808369884102314748279092977\ 840340249472110516869676659563652*c_1001_4^18 - 2535098324826383051507157522643659538557551159905961289227961029931\ 56109035338462411/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^17 + 5062997504889948223087031187048774645052178982010182314435117745884\ 1082223675952053/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^16 + 2866583524822850776995851146570304489807082735840601529923481367293\ 26888209840098875/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^15 - 2989967930874821406453617724798743790845253787025648825957325391533\ 9370812448776207/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^14 - 1000170908054161606168539396617872878797344017748447672471029248010\ 590942236874409137/129386131374179732820548083698841023147482790929\ 77840340249472110516869676659563652*c_1001_4^13 - 1095072191064733378363093898749322941624027677471004365512157893327\ 03182969116784425/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^12 + 7074190260937280878470156531174761328192424338772801282930178755830\ 50048833897293573/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 + 4625967566209500736749254068123502362768307003161517818149154986467\ 30584046809678189/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^10 - 1477578099006544754548617085580407318350488386521498450237286370911\ 511927092595047305/129386131374179732820548083698841023147482790929\ 77840340249472110516869676659563652*c_1001_4^9 - 7028073242816891674401581237817666103262383923130302268988086488338\ 38104816638773083/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^8 + 3117902536538848649871898312647197145352764650284451366108210297098\ 74641175177906559/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^7 + 4125408613749178154259043695172004760865626889433832686074800366594\ 43490277355360085/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^6 - 6042255630351867825803028947378039673453006846173232707515372488909\ 17346833329821819/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^5 - 9472587811585060449335245628925139980216368406382648112132886973159\ 6022754893331535/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^4 + 3537863242728313144523727143324354973673032786694740061985587905177\ 63419808502536995/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^3 + 2592800762114415609875330027564509527574481625332733090986233325947\ 28009196804932893/1293861313741797328205480836988410231474827909297\ 7840340249472110516869676659563652*c_1001_4^2 + 9232045621950432397040150189852931373435395079206023361777174056286\ 8092454058686053/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4 + 1663125919474554318113258290241138775199635244684249743388685540868\ 7681402743438314/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913, c_0110_11 + 22228833361854054154103897388125639019037384291039972226342\ 49682296816925516251/6469306568708986641027404184942051157374139546\ 488920170124736055258434838329781826*c_1001_4^29 + 1020583800471280472447687457190228002939605024376326279457961010441\ 8981285489351/64693065687089866410274041849420511573741395464889201\ 70124736055258434838329781826*c_1001_4^28 + 9043047589570867465265328565588128520577643183067374378263861784774\ 689325148463/646930656870898664102740418494205115737413954648892017\ 0124736055258434838329781826*c_1001_4^27 - 4765847397698163473702608653687150396001410092038686210400598313251\ 0912180512539/32346532843544933205137020924710255786870697732444600\ 85062368027629217419164890913*c_1001_4^26 - 2279030093323408489504434847528227835455267200827264014098897438894\ 93782810127989/6469306568708986641027404184942051157374139546488920\ 170124736055258434838329781826*c_1001_4^25 + 6766264585356720850080074373291821478643222397933037886214997981662\ 92295796285323/6469306568708986641027404184942051157374139546488920\ 170124736055258434838329781826*c_1001_4^24 + 1725835582786139264794956128071138818917557275936575115853282485898\ 963690553171359/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^23 - 3862575731095966902676058879448383319108145370023281059496406424979\ 281199608142957/646930656870898664102740418494205115737413954648892\ 0170124736055258434838329781826*c_1001_4^22 - 4546137541487231686116080726644433265536222337610359489042329824242\ 450833740280654/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913*c_1001_4^21 + 1434039963579456908482252591478028012647296852894701561976540875136\ 5721714049372259/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^20 + 1694282572236431636844972737994448442892363982226729914495009204226\ 7068363783461483/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^19 - 1886674547847793737496519406339318895698864693650474535858921831249\ 0430595011300774/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^18 - 4807373300176292975597233178063070342068968090012753633715577272597\ 4361032770782680/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^17 + 3652982577427615653217451724490957145583206245198399709966594068819\ 6564876449189349/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^16 + 2190794595442357702211411308100346472078911076814495998910203959637\ 03680838826875691/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^15 - 9279033915983397785626217294995952599424972836820401629138888260730\ 9397860789348823/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^14 - 1939013981027696181655160263945811966615763640051061747388572130813\ 02527516884491039/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^13 + 7371071909911974562465939915843590349156870705164858665229293365990\ 1275404588032759/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^12 + 5590088873504011566706166267518052595871953247068362799933609902240\ 74829173953488713/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^11 + 2054563288779072610687258733456211360790552352944401321173375949132\ 7613408398127595/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^10 - 3001212464360114076116892133439634267404255596070654925154427047627\ 79769723690774618/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^9 - 1016046931986436291202809823515322720928518166393195131824520531537\ 02744951298254307/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^8 + 2599275573625442920723575915475483140957536034657097080368935169141\ 09645819165120796/3234653284354493320513702092471025578687069773244\ 460085062368027629217419164890913*c_1001_4^7 + 8711444191772321674789984438957269107760806622160545540480138016363\ 0564643202346433/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^6 - 2676108943660018053986026420363521619947793138036713883330116958718\ 45533223897779985/6469306568708986641027404184942051157374139546488\ 920170124736055258434838329781826*c_1001_4^5 - 2970376058465651106219530853218772543955702740504154192840388605010\ 8185935569519618/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^4 + 7033826302373235778279726661850232519746203871654853309528412352858\ 5580946848846183/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4^3 + 6205003117124953207296300550416089618339215204031647311499191758885\ 3009932943567167/64693065687089866410274041849420511573741395464889\ 20170124736055258434838329781826*c_1001_4^2 + 4051367339485841195959741598872371972493005590759505608837116574838\ 0854114630574853/32346532843544933205137020924710255786870697732444\ 60085062368027629217419164890913*c_1001_4 + 3390190965873417994333967697115953783550352305372746434382438574089\ 210634526995091/323465328435449332051370209247102557868706977324446\ 0085062368027629217419164890913, c_1001_4^30 + 5*c_1001_4^29 + 6*c_1001_4^28 - 41*c_1001_4^27 - 120*c_1001_4^26 + 260*c_1001_4^25 + 897*c_1001_4^24 - 1399*c_1001_4^23 - 4770*c_1001_4^22 + 4646*c_1001_4^21 + 17722*c_1001_4^20 - 10179*c_1001_4^19 - 49599*c_1001_4^18 + 13410*c_1001_4^17 + 110190*c_1001_4^16 + 2816*c_1001_4^15 - 186893*c_1001_4^14 - 45981*c_1001_4^13 + 255448*c_1001_4^12 + 123405*c_1001_4^11 - 249887*c_1001_4^10 - 167869*c_1001_4^9 + 194624*c_1001_4^8 + 183014*c_1001_4^7 - 68071*c_1001_4^6 - 78610*c_1001_4^5 + 39953*c_1001_4^4 + 55579*c_1001_4^3 + 53502*c_1001_4^2 + 18536*c_1001_4 + 3656 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.150 Total time: 3.359 seconds, Total memory usage: 32.09MB