Magma V2.19-8 Tue Aug 20 2013 23:45:05 on localhost [Seed = 324368074] Type ? for help. Type -D to quit. Loading file "K13n2255__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2255 geometric_solution 11.19503677 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 2 -1 -1 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -5 2 3 0 0 0 0 -3 3 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.186992193571 0.900329736507 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 0 0 0 0 0 0 -3 0 3 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417560462779 0.890375347490 8 0 9 5 0132 0132 0132 0132 0 0 0 0 0 -2 1 1 -1 0 1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 -2 -3 2 0 -2 0 2 -2 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.037358291647 0.964453546181 8 6 9 0 3201 0132 3201 0132 0 0 0 0 0 -1 0 1 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 2 0 -2 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.354533490191 1.084705365669 5 10 0 11 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 -1 0 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 3 -3 0 3 0 0 -3 3 0 0 -3 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.582150403532 1.007797983779 4 1 2 11 0132 0132 0132 0321 0 0 0 0 0 1 -1 0 1 0 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 -3 3 0 -3 0 0 3 -2 0 0 2 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.680064595555 1.024395450389 7 3 1 8 2310 0132 0132 0132 0 0 0 0 0 1 0 -1 -1 0 0 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 0 -2 0 2 2 0 0 -2 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.317323966933 1.125375285341 11 10 6 1 0321 1302 3201 0132 0 0 0 0 0 0 1 -1 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 0 -3 3 0 0 0 0 0 -3 0 3 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.610769686933 0.974243613695 2 10 6 3 0132 1023 0132 2310 0 0 0 0 0 0 1 -1 1 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 -2 0 2 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.542610704769 0.163857720500 3 11 10 2 2310 2310 0321 0132 0 0 0 0 0 1 0 -1 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 -2 0 2 0 0 -2 2 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.219924329225 0.707669369366 8 4 9 7 1023 0132 0321 2031 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 2 0 -2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729339091111 0.628050474629 7 5 4 9 0321 0321 0132 3201 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0 0 3 -3 0 -2 0 2 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.246492473920 1.077063959188 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0101_0']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_1001_1'], 'c_1010_10' : d['c_0011_7'], 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : negation(d['1']), 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_10'], 'c_1100_8' : d['c_0011_3'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : negation(d['c_0011_9']), 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_0011_3'], 'c_1100_1' : d['c_0011_3'], 'c_1100_0' : negation(d['c_0011_9']), 'c_1100_3' : negation(d['c_0011_9']), 'c_1100_2' : d['c_1001_10'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_9']), 'c_1100_10' : negation(d['c_1001_1']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : negation(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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_7']), 'c_0110_10' : negation(d['c_0101_0']), 'c_0110_0' : negation(d['c_0011_11']), 'c_0101_7' : negation(d['c_0101_11']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_11'], 'c_0101_4' : negation(d['c_0011_11']), 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_11']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_11'], 'c_0011_10' : d['c_0011_0'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_11'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : d['c_0101_11']})} 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_11, c_0011_3, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_2, c_1001_0, c_1001_1, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 7229881853014159193429069375162801972826603170897383738670725472164\ 1875149880484333/45731573915231014613100525070107257883012118293712\ 4477286407080475070002973027505120*c_1001_10^24 - 2836342505211470187086098695584334340878760151250207013815139762460\ 6916199651938011/45731573915231014613100525070107257883012118293712\ 4477286407080475070002973027505120*c_1001_10^23 + 2937759121202999710669983685685697482747927987970202799053665226617\ 21625646966619/1621112155804006189758969339599690105743074026717917\ 32465936575850786956034394720*c_1001_10^22 - 9100524208528994509875700552285737337563331548293357804491001565522\ 61398477579297747/4573157391523101461310052507010725788301211829371\ 24477286407080475070002973027505120*c_1001_10^21 - 3454088709428811459633276832307921656299888290627189257321129639910\ 0893013316221321/70356267561893868635539269338626550589249412759557\ 61189021647391924153891892730848*c_1001_10^20 + 2574447194890598421279631884397517601001584211931620879685955099357\ 22293206863365769/1988329300662218026656544568265532951435309491030\ 9759882017699151090000129262065440*c_1001_10^19 + 4361894208656142796048668838746863725913477553903060420182476679223\ 94395911172321921/4573157391523101461310052507010725788301211829371\ 24477286407080475070002973027505120*c_1001_10^18 - 1042726343091053112923458763445439365361582453433911075782402499899\ 5683830387789816113/45731573915231014613100525070107257883012118293\ 7124477286407080475070002973027505120*c_1001_10^17 + 3026950498984949184801324506240063578317855041328180380261992110204\ 418402185238377707/114328934788077536532751312675268144707530295734\ 281119321601770118767500743256876280*c_1001_10^16 + 1632092715535399694395226879128616346917207871391359257738870206353\ 359811836502585081/457315739152310146131005250701072578830121182937\ 124477286407080475070002973027505120*c_1001_10^15 - 7428655093161745961093256242833986849434879918013325927528104347722\ 1661017529861131/65330819878901449447286464385867511261445883276732\ 06818377244006786714328186107216*c_1001_10^14 + 8158449852550907535015055208594334979028597293041849091170378356859\ 18755003849648553/2406924942906895505952659214216171467526953594405\ 9183015074056867108947524896184480*c_1001_10^13 - 5294469793798625144551312289277602079075822363140380799195831167208\ 0859445586582174/28582233697019384133187828168817036176882573933570\ 27983040044252969187518581421907*c_1001_10^12 + 1576330315739808916200874758467388245105568257686754990925761619135\ 1006958210447463927/45731573915231014613100525070107257883012118293\ 7124477286407080475070002973027505120*c_1001_10^11 + 1043201764938348697080354647558785651826996767062026870381265159897\ 7484220463340888219/22865786957615507306550262535053628941506059146\ 8562238643203540237535001486513752560*c_1001_10^10 - 5767756724283228736339591518766567551007351065170239135074042431938\ 15681152475949568/1429111684850969206659391408440851808844128696678\ 5139915200221264845937592907109535*c_1001_10^9 + 2916959584810524581604455976133108082914559801559889061517531213333\ 9616217199855413421/45731573915231014613100525070107257883012118293\ 7124477286407080475070002973027505120*c_1001_10^8 + 4273337871814277010884953491243259834088230846307680198079764159978\ 0727248523079942523/45731573915231014613100525070107257883012118293\ 7124477286407080475070002973027505120*c_1001_10^7 + 8490180933300953849998597466811457699197566640163938869421514096645\ 11442375688808089/4573157391523101461310052507010725788301211829371\ 24477286407080475070002973027505120*c_1001_10^6 + 7578063863303477088497718169986192596410456040613174046809714779401\ 89218049857849104/1429111684850969206659391408440851808844128696678\ 5139915200221264845937592907109535*c_1001_10^5 + 1259659697116633168396591317748799945716879928753512828169440986112\ 6740238888770560583/45731573915231014613100525070107257883012118293\ 7124477286407080475070002973027505120*c_1001_10^4 + 1773239351179322564802852756681288889983147252983143382422214254499\ 39837295708595109/1758906689047346715888481733465663764731235318988\ 9402972554118479810384729731827120*c_1001_10^3 + 5128937363006458896330763279834132182588928515412326077652113731055\ 70024394927200517/1429111684850969206659391408440851808844128696678\ 5139915200221264845937592907109535*c_1001_10^2 + 1776077609378513880187751032676710329227088086738140266063948608434\ 66312043747519109/2858223369701938413318782816881703617688257393357\ 0279830400442529691875185814219070*c_1001_10 + 9807086547195536321390779275758689873411200904561897699391958768078\ 9390463239563054/14291116848509692066593914084408518088441286966785\ 139915200221264845937592907109535, c_0011_0 - 1, c_0011_11 - 24030557738223798988674689888863425748032919186437945697390\ 9317/32663528278322478887493727131642329188532120067074816691580721\ 72*c_1001_10^24 + 1630460212188296480275406092440067383857059438660\ 611765881642455/653270565566449577749874542632846583770642401341496\ 3338316144344*c_1001_10^23 - 19508951745184391259900708268870603236\ 0188127680404885754368687/65327056556644957774987454263284658377064\ 24013414963338316144344*c_1001_10^22 - 6652476955993794454776960150566295566291152977848916753890199693/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^21 + 10484141757099371067825806042903395598008587915523726225\ 790230681/653270565566449577749874542632846583770642401341496333831\ 6144344*c_1001_10^20 + 44201158604842305695468487466267133495162274\ 60222723629613566495/6532705655664495777498745426328465837706424013\ 414963338316144344*c_1001_10^19 - 243871050087638268355618555009448\ 49649258206143199699906737154205/6532705655664495777498745426328465\ 837706424013414963338316144344*c_1001_10^18 + 27577903469041292424449190927029368520560212934083878919722569141/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^17 - 8028099698450752954388830993302301865616387068728962524\ 758550063/653270565566449577749874542632846583770642401341496333831\ 6144344*c_1001_10^16 - 52446431060624132679567056805767841830964087\ 82352367687090522961/3266352827832247888749372713164232918853212006\ 707481669158072172*c_1001_10^15 + 475967915656984148295722120839253\ 42561177754993201596782962514635/6532705655664495777498745426328465\ 837706424013414963338316144344*c_1001_10^14 - 7407680434421364701323613720440653102145611869077388861829151698/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10^13 + 463796701655519878322346110939213267507001432141353056671\ 80204773/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^12 + 182116513701404207099706850032065053853448999\ 46338273018248604279/3266352827832247888749372713164232918853212006\ 707481669158072172*c_1001_10^11 - 741118937324779227539895544595630\ 22325530316629422972759811298515/6532705655664495777498745426328465\ 837706424013414963338316144344*c_1001_10^10 + 36352694033931014475128086245476999308732696426748667986332379377/3\ 266352827832247888749372713164232918853212006707481669158072172*c_1\ 001_10^9 + 12623181571673215522017534325485467764675348477511537113\ 304548021/326635282783224788874937271316423291885321200670748166915\ 8072172*c_1001_10^8 - 175026731724601277742991943387311607878560279\ 51881267185852739527/6532705655664495777498745426328465837706424013\ 414963338316144344*c_1001_10^7 + 6946826078833674184147645723892595\ 4896759775162184080212799789783/65327056556644957774987454263284658\ 37706424013414963338316144344*c_1001_10^6 - 59809328793160791032657913060854714917094341408094811735293140969/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^5 - 36866394137650723733092729589996121501354859060273760215\ 65137533/3266352827832247888749372713164232918853212006707481669158\ 072172*c_1001_10^4 + 5190970833905817951200626919416607224783546304\ 6949704686763955365/65327056556644957774987454263284658377064240134\ 14963338316144344*c_1001_10^3 - 25866633185879588328330922520402572\ 554633311388816499705049711705/326635282783224788874937271316423291\ 8853212006707481669158072172*c_1001_10^2 + 4191208763201168304640397591996925960109406069285700050189685506/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10 - 202116565333079270028371757447039664532756340905600549262336\ 8393/81658820695806197218734317829105822971330300167687041728951804\ 3, c_0011_3 - 188000221708676149987015303911452677581832584015993674269358\ 997/653270565566449577749874542632846583770642401341496333831614434\ 4*c_1001_10^24 + 53596980020430718608303572381442696155585420929234\ 5669479976033/65327056556644957774987454263284658377064240134149633\ 38316144344*c_1001_10^23 + 2612162297620155771368111494679620092062\ 50966558116308985118503/6532705655664495777498745426328465837706424\ 013414963338316144344*c_1001_10^22 - 2547221294872447871683704351084180127016677792798877124787383631/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^21 + 25322272726397637906101464240185641562795488989705667715\ 70789891/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^20 + 354602128026302345161057164091117460006927010\ 7675670428812695171/65327056556644957774987454263284658377064240134\ 14963338316144344*c_1001_10^19 - 7258156844233489133535445125301747\ 358027067647252598554282098571/653270565566449577749874542632846583\ 7706424013414963338316144344*c_1001_10^18 + 5228839918242748109004559023225506749150603063285818152177393995/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^17 - 80276671926850200173744716350151027105321956516856703777\ 179122/816588206958061972187343178291058229713303001676870417289518\ 043*c_1001_10^16 - 160998470589099762430437136975624910895834869262\ 8586942381064023/65327056556644957774987454263284658377064240134149\ 63338316144344*c_1001_10^15 + 8245404809096933170342830814581711416\ 330182625733021875277077711/326635282783224788874937271316423291885\ 3212006707481669158072172*c_1001_10^14 - 18318178839890469410761849607881993151828451348493855296635188809/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^13 + 1451768464706479927543043226158897320069236133571582889\ 228185602/816588206958061972187343178291058229713303001676870417289\ 518043*c_1001_10^12 + 162351611048719726352750142820656842416506001\ 41156641027325316651/6532705655664495777498745426328465837706424013\ 414963338316144344*c_1001_10^11 - 957181622874095937305403265440001\ 8049143647889688921648468227901/32663528278322478887493727131642329\ 18853212006707481669158072172*c_1001_10^10 + 4538733480247829383272589885076027617836227394529218303744408899/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10^9 + 912790786204106162242837083199054915310610226184474717818\ 8535689/65327056556644957774987454263284658377064240134149633383161\ 44344*c_1001_10^8 + 73782252930021707840049104208168835708623942300\ 77073440581693447/6532705655664495777498745426328465837706424013414\ 963338316144344*c_1001_10^7 + 2464967350253899821996516458069407936\ 9293118307664026659504797433/65327056556644957774987454263284658377\ 06424013414963338316144344*c_1001_10^6 - 6574349304003722577530150896648822415265058087441583130800092919/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10^5 - 159284779406441916896637924557482893673944462104157459955\ 76727225/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^4 + 7425998362376964531082417517205318988761894500\ 835458860453922853/326635282783224788874937271316423291885321200670\ 7481669158072172*c_1001_10^3 - 313628171982117807513102169796075174\ 4015637040575605992016270265/16331764139161239443746863565821164594\ 26606003353740834579036086*c_1001_10^2 + 3545267454397320215399094428890518251935054988136600124322034459/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10 - 13580741611483464938467035241775681310566553390645552627174\ 67457/8165882069580619721873431782910582297133030016768704172895180\ 43, c_0011_7 - 188473816183713352549328442666616673810582949085006373488027\ 063/653270565566449577749874542632846583770642401341496333831614434\ 4*c_1001_10^24 + 64422938215890019286100496366116362173699013245796\ 1507250204259/65327056556644957774987454263284658377064240134149633\ 38316144344*c_1001_10^23 - 1173368858295651800285931010201150993233\ 08604843018662280912107/6532705655664495777498745426328465837706424\ 013414963338316144344*c_1001_10^22 - 2576575343613347186334135341307145686430589999961830258082853953/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^21 + 44027999718106238555157633823710879429184815848388421057\ 51030157/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^20 + 100635191453144952389458673402391353505869828\ 9130059089629673621/65327056556644957774987454263284658377064240134\ 14963338316144344*c_1001_10^19 - 9503691550176523953462469600240076\ 843570961157944198871647031477/653270565566449577749874542632846583\ 7706424013414963338316144344*c_1001_10^18 + 13005597034284415714537111713110254757868281840741940079019085837/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^17 - 1513146099422571592985750935812999554556095894652377544\ 982823549/163317641391612394437468635658211645942660600335374083457\ 9036086*c_1001_10^16 - 43182550119385657517668110252593683221382171\ 75855416544693559337/6532705655664495777498745426328465837706424013\ 414963338316144344*c_1001_10^15 + 118733460801057596526782438082535\ 89793490583478762757566934033119/3266352827832247888749372713164232\ 918853212006707481669158072172*c_1001_10^14 - 29804582729543754981654166232258857898872719583137616562655533435/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^13 + 6086643517551448853726088672335780470903394282215775403\ 802638085/163317641391612394437468635658211645942660600335374083457\ 9036086*c_1001_10^12 + 12487536605516760030573115335345966265202640\ 613667181717832186929/653270565566449577749874542632846583770642401\ 3414963338316144344*c_1001_10^11 - 16739324970710713621616073497442868017011907827579319014125659757/3\ 266352827832247888749372713164232918853212006707481669158072172*c_1\ 001_10^10 + 1059198646740826402423041011747654284961157690205564771\ 4441009533/16331764139161239443746863565821164594266060033537408345\ 79036086*c_1001_10^9 + 42769452516617599963098177505371275985698339\ 2073872684732235007/65327056556644957774987454263284658377064240134\ 14963338316144344*c_1001_10^8 - 75171774542363979902831242629540906\ 90087475789705999137470722411/6532705655664495777498745426328465837\ 706424013414963338316144344*c_1001_10^7 + 39065966474822851579706960982283475385877032571764931723495043099/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^6 - 35301632681101136950514947498460912352941220707168697348\ 87151963/8165882069580619721873431782910582297133030016768704172895\ 18043*c_1001_10^5 + 16576069616699546731148673269768473126002983784\ 1482253306878289/65327056556644957774987454263284658377064240134149\ 63338316144344*c_1001_10^4 + 14316711843767594394551426540413782356\ 036662139635065286163702965/326635282783224788874937271316423291885\ 3212006707481669158072172*c_1001_10^3 - 8404576890008471533627833178483075723170015541045301607754295355/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10^2 + 310532509800844289316832014828158936592280748361331017956\ 9509599/81658820695806197218734317829105822971330300167687041728951\ 8043*c_1001_10 - 17895188662386092799533171427258577568002148311153\ 35585320963875/8165882069580619721873431782910582297133030016768704\ 17289518043, c_0011_9 + 476392960530212648451092191931667444503067077375182284253741\ 553/130654113113289915549974908526569316754128480268299266766322886\ 88*c_1001_10^24 - 1773187765317487844539148365159481002458211021028\ 478923085098755/130654113113289915549974908526569316754128480268299\ 26676632288688*c_1001_10^23 + 6849948082242654384443731758567964215\ 08797049152134872024044747/1306541131132899155499749085265693167541\ 2848026829926676632288688*c_1001_10^22 + 6573100562699614512639196623077616699126692177698076039487785321/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^21 - 1249917761108148965397795885146426608609787873110763774\ 4056499269/13065411311328991554997490852656931675412848026829926676\ 632288688*c_1001_10^20 - 659155170465967902431839373629581235114377\ 579831288937706787537/130654113113289915549974908526569316754128480\ 26829926676632288688*c_1001_10^19 + 24751019658358576859565181736601288039530678177726150638023758733/1\ 3065411311328991554997490852656931675412848026829926676632288688*c_\ 1001_10^18 - 358329008079719450454205986301211890281182895943862068\ 64435785765/1306541131132899155499749085265693167541284802682992667\ 6632288688*c_1001_10^17 + 10843458507785391028513157262691496263992\ 368001132985994138765127/653270565566449577749874542632846583770642\ 4013414963338316144344*c_1001_10^16 + 5422381312836035970141352932746407304342627423332176736269051903/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^15 - 1418708508217353828892019715400548916132618847001761478\ 5051082649/32663528278322478887493727131642329188532120067074816691\ 58072172*c_1001_10^14 + 8729909940020051728944963155544694049463385\ 8598920368169520772417/13065411311328991554997490852656931675412848\ 026829926676632288688*c_1001_10^13 - 35920963208583060047797582296940290731872496623724777310677112961/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^12 - 1527507704621621772701166352994726547229479612243733107\ 7414777007/13065411311328991554997490852656931675412848026829926676\ 632288688*c_1001_10^11 + 574697960653457494853102689350318416500074\ 7347499975463857517240/81658820695806197218734317829105822971330300\ 1676870417289518043*c_1001_10^10 - 6782873384706596078291609795072476561566964119671178133111932430/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10^9 + 2985526515004912173835870173550073998878479153656752265230\ 6426631/13065411311328991554997490852656931675412848026829926676632\ 288688*c_1001_10^8 + 1856637146403941661708225199625208529215556279\ 8001152823520381699/13065411311328991554997490852656931675412848026\ 829926676632288688*c_1001_10^7 - 8048511447074593985746997906344266\ 8026972702031720707856341899291/13065411311328991554997490852656931\ 675412848026829926676632288688*c_1001_10^6 + 56666703633466367902543307526802714916932664581609646777715740163/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^5 + 35278686932619959050648149393543143732182001191316155031\ 41485785/1306541131132899155499749085265693167541284802682992667663\ 2288688*c_1001_10^4 - 113437619142368195767890914769399928099295617\ 26671958329289020467/3266352827832247888749372713164232918853212006\ 707481669158072172*c_1001_10^3 + 1024470836331776671110398106593468\ 4145432461982914988768567136097/16331764139161239443746863565821164\ 59426606003353740834579036086*c_1001_10^2 - 8482978458125787693683734590104770670002394371837932327093044271/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10 + 27785398957293730335507000064278086648784957705815345808594\ 30181/8165882069580619721873431782910582297133030016768704172895180\ 43, c_0101_0 + 588322549937380153519975305408934541616906686211880809959969\ 429/130654113113289915549974908526569316754128480268299266766322886\ 88*c_1001_10^24 - 1941451217056912111831921919347860495277189174663\ 667269006104389/130654113113289915549974908526569316754128480268299\ 26676632288688*c_1001_10^23 + 1226382529346215278774303582310242258\ 82731254902464451459543057/1306541131132899155499749085265693167541\ 2848026829926676632288688*c_1001_10^22 + 7840051683304957145056244156958384493275349178359416685383734283/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^21 - 1167587747262766895629642394501622047182861257607423174\ 7027651695/13065411311328991554997490852656931675412848026829926676\ 632288688*c_1001_10^20 - 581022506667297748277929708675035196138008\ 9830704544192106288951/13065411311328991554997490852656931675412848\ 026829926676632288688*c_1001_10^19 + 26419015256436821103411446255771931306303644748901973853267427783/1\ 3065411311328991554997490852656931675412848026829926676632288688*c_\ 1001_10^18 - 291543705107955688857942394483258494398934245565099539\ 68031691735/1306541131132899155499749085265693167541284802682992667\ 6632288688*c_1001_10^17 + 27662832868395031512200298861119661073357\ 39514482946400778319893/3266352827832247888749372713164232918853212\ 006707481669158072172*c_1001_10^16 + 4181231147512526343999610160979903983975636342300080591508412455/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^15 - 2539814948708254480876157810035577480701326735589469979\ 8060418955/65327056556644957774987454263284658377064240134149633383\ 16144344*c_1001_10^14 + 6713447110420452104110274115686345863346500\ 7891575408363693306101/13065411311328991554997490852656931675412848\ 026829926676632288688*c_1001_10^13 - 7179238582330375532560571450779382639878941713906563709518128331/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10^12 - 34213643978254672022826775060374476520923446950120954918\ 238014375/130654113113289915549974908526569316754128480268299266766\ 32288688*c_1001_10^11 + 3339176004046650889856374209081086597949219\ 7878545134269769565353/65327056556644957774987454263284658377064240\ 13414963338316144344*c_1001_10^10 - 9998390080161820693193109750908481030660883610619475580080230411/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10^9 - 191334846465080557153449686568408346537530562300338049162\ 72602469/1306541131132899155499749085265693167541284802682992667663\ 2288688*c_1001_10^8 - 744544846442137784288296043473797131205106367\ 2300604518007125675/13065411311328991554997490852656931675412848026\ 829926676632288688*c_1001_10^7 - 7923239074756669082928169254684330\ 9051358826157037453971110678609/13065411311328991554997490852656931\ 675412848026829926676632288688*c_1001_10^6 + 4428529958556807652130178075414017051956418260229720771205661605/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10^5 + 2105603189414461470229416862990696156059855840522944303840\ 046137/130654113113289915549974908526569316754128480268299266766322\ 88688*c_1001_10^4 - 25086894913908965791621992272668943016168084300\ 862235443959013749/653270565566449577749874542632846583770642401341\ 4963338316144344*c_1001_10^3 + 537825605637466293084697370010038902\ 6053920738972207900542578507/16331764139161239443746863565821164594\ 26606003353740834579036086*c_1001_10^2 - 2796627552373629532891168174413661368626711944379266526232123734/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10 + 186261664544109855438555772314558859977404184015144921056985\ 3129/81658820695806197218734317829105822971330300167687041728951804\ 3, c_0101_10 - 11079001310215990539830322156327523767644872728799692428300\ 2503/32663528278322478887493727131642329188532120067074816691580721\ 72*c_1001_10^24 + 7173437560813432639109004493951907287870198749451\ 69927681321369/6532705655664495777498745426328465837706424013414963\ 338316144344*c_1001_10^23 + 494964060536806366988729103835902680636\ 95472343457011960231391/6532705655664495777498745426328465837706424\ 013414963338316144344*c_1001_10^22 - 3070745251878788646346987812112903594541300558122527766786502667/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^21 + 42447659370157479342663438089344218155614201071101488166\ 73497615/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^20 + 253294230769712856078544270406157970070760866\ 1410718030868845577/65327056556644957774987454263284658377064240134\ 14963338316144344*c_1001_10^19 - 1002687661025576555790512210977993\ 0262953884077060355871113095739/65327056556644957774987454263284658\ 37706424013414963338316144344*c_1001_10^18 + 11025904375603307433025478721009045067818425805390463151739497491/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^17 - 5251112743813032272276873121186877576379567628270081983\ 545347073/653270565566449577749874542632846583770642401341496333831\ 6144344*c_1001_10^16 - 15438857758126873537179873997910556859323389\ 32215197805082535651/3266352827832247888749372713164232918853212006\ 707481669158072172*c_1001_10^15 + 245433833857849194806014465474150\ 56985887729005729771125305756821/6532705655664495777498745426328465\ 837706424013414963338316144344*c_1001_10^14 - 4052751834885435898967047303135712069023551690470686758749963355/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10^13 + 208587936395660315273196535756672874324253988968714386278\ 60559979/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^12 + 803644078146968350359970113945248643085891183\ 1188830551362309889/32663528278322478887493727131642329188532120067\ 07481669158072172*c_1001_10^11 - 3655292928704535435481774725179284\ 9158724569198997758827137458341/65327056556644957774987454263284658\ 37706424013414963338316144344*c_1001_10^10 + 16835436909897022848829011053015767639159264166964615535794170419/3\ 266352827832247888749372713164232918853212006707481669158072172*c_1\ 001_10^9 - 33884139215223348352285434630755807176946942765888477635\ 8655429/32663528278322478887493727131642329188532120067074816691580\ 72172*c_1001_10^8 - 78572220726785394187728162919875061283533617553\ 95872085679923345/6532705655664495777498745426328465837706424013414\ 963338316144344*c_1001_10^7 + 3503895747689641468083181621523259475\ 2983534870640582988508678377/65327056556644957774987454263284658377\ 06424013414963338316144344*c_1001_10^6 - 45489679148855138262370992052745174616676438362040637084068935175/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^5 - 11352193797402582926311839427303901157583105610966278543\ 696415647/326635282783224788874937271316423291885321200670748166915\ 8072172*c_1001_10^4 + 195837836618587973440973487349252979301704119\ 99256180757664088387/6532705655664495777498745426328465837706424013\ 414963338316144344*c_1001_10^3 - 1667041679814590826437313944801426\ 3213366509037535414219236051687/32663528278322478887493727131642329\ 18853212006707481669158072172*c_1001_10^2 + 2884480967626505429974066501326867854644780203855024823457308874/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10 - 154683584987338195966341646532876018461687505652302666935507\ 7243/81658820695806197218734317829105822971330300167687041728951804\ 3, c_0101_11 + 36957441165864154348658647435350543290761404422956056651133\ 0107/13065411311328991554997490852656931675412848026829926676632288\ 688*c_1001_10^24 - 696226083392467691695435527363640263208812343473\ 946106868219973/130654113113289915549974908526569316754128480268299\ 26676632288688*c_1001_10^23 - 1568338376285937490469759428304422588\ 370223974875020410650872179/130654113113289915549974908526569316754\ 12848026829926676632288688*c_1001_10^22 + 4946143699012850311038177549294098664758861790916666974144289839/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^21 - 8820796990387309043558295764510385254865711195315105523\ 01930259/1306541131132899155499749085265693167541284802682992667663\ 2288688*c_1001_10^20 - 13023638077262384282720452960673839263581504\ 182619083987816203679/130654113113289915549974908526569316754128480\ 26829926676632288688*c_1001_10^19 + 11763739759468306021473656887450358940481980979008691909310854699/1\ 3065411311328991554997490852656931675412848026829926676632288688*c_\ 1001_10^18 + 233648441255287581765538422169525570863197908683943260\ 6775236253/13065411311328991554997490852656931675412848026829926676\ 632288688*c_1001_10^17 - 880728761937446008770145620109997583247833\ 3432173385286087218285/65327056556644957774987454263284658377064240\ 13414963338316144344*c_1001_10^16 + 12304647289804217246288643931255385672571028028159599169017487797/1\ 3065411311328991554997490852656931675412848026829926676632288688*c_\ 1001_10^15 - 370033577351929527881470529672601186856389086499535405\ 9266285865/16331764139161239443746863565821164594266060033537408345\ 79036086*c_1001_10^14 + 8382141170304426934002119084525616047857031\ 63001300429618750675/1306541131132899155499749085265693167541284802\ 6829926676632288688*c_1001_10^13 + 4674939770567307905290032890511652037662625491165076205256441131/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^12 - 66573896995277586558815859895769396269656443266431041860\ 447450565/130654113113289915549974908526569316754128480268299266766\ 32288688*c_1001_10^11 + 1690951725818477186797623923937826765525546\ 441001854202602697227/326635282783224788874937271316423291885321200\ 6707481669158072172*c_1001_10^10 - 441046999568092702867021294761757266738206149814779045524060299/163\ 3176413916123944374686356582116459426606003353740834579036086*c_100\ 1_10^9 - 7573947994375851859714927186014958535855157839341922896791\ 7148275/13065411311328991554997490852656931675412848026829926676632\ 288688*c_1001_10^8 - 4431768909163310154639275580544540517687125201\ 7225241856283815435/13065411311328991554997490852656931675412848026\ 829926676632288688*c_1001_10^7 - 5786251030316125584751468685228641\ 1626834858162768171480689251629/13065411311328991554997490852656931\ 675412848026829926676632288688*c_1001_10^6 - 19147398713929163282073673968493067420324493485713301236979863013/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^5 + 29268519961302903153806549651039719297051110805285538209\ 345214035/130654113113289915549974908526569316754128480268299266766\ 32288688*c_1001_10^4 - 41292723904511401905199391230158321077720142\ 09869776419250377889/1633176413916123944374686356582116459426606003\ 353740834579036086*c_1001_10^3 - 5120607356464466461845191621872339\ 52563262929623798862895622229/8165882069580619721873431782910582297\ 13303001676870417289518043*c_1001_10^2 + 696552345329445918426331743072926643076317079687175570501489817/163\ 3176413916123944374686356582116459426606003353740834579036086*c_100\ 1_10 - 371011829601224528368844680084666408744025755525845869009890\ 19/816588206958061972187343178291058229713303001676870417289518043, c_0101_2 + 830255496012503138676930020255013866762477440759632481984442\ 55/3266352827832247888749372713164232918853212006707481669158072172\ *c_1001_10^24 - 617323050833201954389358440431925924473457683952595\ 92872110025/8165882069580619721873431782910582297133030016768704172\ 89518043*c_1001_10^23 - 4290123582099688227568075123280507476207409\ 5400966106389366155/16331764139161239443746863565821164594266060033\ 53740834579036086*c_1001_10^22 + 5916480093041397534360373094723329\ 60570002957045791770442378939/1633176413916123944374686356582116459\ 426606003353740834579036086*c_1001_10^21 - 685676822857069728750445230911428415257115379834490876913133033/163\ 3176413916123944374686356582116459426606003353740834579036086*c_100\ 1_10^20 - 387893977957412372285670311172372346225377018224984522491\ 355353/816588206958061972187343178291058229713303001676870417289518\ 043*c_1001_10^19 + 205108881709138016621672012775658834196971714393\ 5708609211422749/16331764139161239443746863565821164594266060033537\ 40834579036086*c_1001_10^18 - 1612420429822619389664839390762572999\ 910075858301705774447698187/163317641391612394437468635658211645942\ 6606003353740834579036086*c_1001_10^17 - 870104041303302579324114940920639750127619551015058212238042211/326\ 6352827832247888749372713164232918853212006707481669158072172*c_100\ 1_10^16 + 310062619911538002920590277461440831999751088591495540796\ 0396967/32663528278322478887493727131642329188532120067074816691580\ 72172*c_1001_10^15 - 8159008240791323239676560015001105102119930279\ 667893846972351997/326635282783224788874937271316423291885321200670\ 7481669158072172*c_1001_10^14 + 66464831965764831415278024269027929\ 67449895833241349709697397343/3266352827832247888749372713164232918\ 853212006707481669158072172*c_1001_10^13 - 3201395101028498277789700866986979507551572416208229570577140009/32\ 66352827832247888749372713164232918853212006707481669158072172*c_10\ 01_10^12 - 10983715331152502908861053005855791394595170727822687388\ 889992871/326635282783224788874937271316423291885321200670748166915\ 8072172*c_1001_10^11 + 10870853529544633377006274054050892290421080\ 827523789040769203841/326635282783224788874937271316423291885321200\ 6707481669158072172*c_1001_10^10 - 2021364808171915910628686700290735865032231055673746199685077026/81\ 6588206958061972187343178291058229713303001676870417289518043*c_100\ 1_10^9 - 1185743629554431438821419750435998141772883397263961140921\ 9150747/32663528278322478887493727131642329188532120067074816691580\ 72172*c_1001_10^8 + 49518187187351693925240630006970571622228489677\ 3340622223928601/81658820695806197218734317829105822971330300167687\ 0417289518043*c_1001_10^7 - 594820897194918989935696050277911026226\ 1615820621135545673965397/16331764139161239443746863565821164594266\ 06003353740834579036086*c_1001_10^6 + 2550719285068956973194192136090430208504961527449266378071255675/32\ 66352827832247888749372713164232918853212006707481669158072172*c_10\ 01_10^5 + 376375630789618960661784570707041525268177837205523395129\ 4402429/32663528278322478887493727131642329188532120067074816691580\ 72172*c_1001_10^4 - 11751698048025008178369500096935409768155389386\ 086424760392734655/326635282783224788874937271316423291885321200670\ 7481669158072172*c_1001_10^3 + 144248863914513941720629193777915399\ 7955126925019302192560800325/81658820695806197218734317829105822971\ 3303001676870417289518043*c_1001_10^2 - 697215495676826386966446088424476022583610459887732525464774820/816\ 588206958061972187343178291058229713303001676870417289518043*c_1001\ _10 - 4759955838258229759215031971020031696106209250391568581679365\ 37/816588206958061972187343178291058229713303001676870417289518043, c_1001_0 + 188706723627321606039181611199341317083918447866841296270065\ 429/130654113113289915549974908526569316754128480268299266766322886\ 88*c_1001_10^24 - 3628908569053783179906041697297149137748062341325\ 62512981341999/1306541131132899155499749085265693167541284802682992\ 6676632288688*c_1001_10^23 - 67934247930798781959309135956045054636\ 1860684395412831073409577/13065411311328991554997490852656931675412\ 848026829926676632288688*c_1001_10^22 + 2128387932648407928210176556333810311026924468609192517105196013/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^21 - 2238193730455495262726428720674484739614438644284969604\ 33175001/1306541131132899155499749085265693167541284802682992667663\ 2288688*c_1001_10^20 - 54163755376270499253550807700233756206847577\ 52870985077645284229/1306541131132899155499749085265693167541284802\ 6829926676632288688*c_1001_10^19 + 3242840343093383926318051796662718654864323158903300841173541809/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^18 + 1951934465672086096341823442122680468426326303930827127\ 733442663/130654113113289915549974908526569316754128480268299266766\ 32288688*c_1001_10^17 - 2311941608535303806727058332118393364068530\ 637297302967381309317/653270565566449577749874542632846583770642401\ 3414963338316144344*c_1001_10^16 - 2141058687760756967115926864682355993890471659444359258352436165/13\ 065411311328991554997490852656931675412848026829926676632288688*c_1\ 001_10^15 - 1962237117715199645016042891709383113961276739780786687\ 090138933/326635282783224788874937271316423291885321200670748166915\ 8072172*c_1001_10^14 - 20885567506156954152416460714671442746756543\ 26178266038025401835/1306541131132899155499749085265693167541284802\ 6829926676632288688*c_1001_10^13 - 1909431366384674320539928360619398707251004267765515253288769021/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^12 - 18047945238541293337466799935168643887732707033621509415\ 274524027/130654113113289915549974908526569316754128480268299266766\ 32288688*c_1001_10^11 - 8600122472687347985675884907583355394991442\ 91384007916816173595/8165882069580619721873431782910582297133030016\ 76870417289518043*c_1001_10^10 + 1026952605022296333838123014888623\ 610566210456482013279956583/816588206958061972187343178291058229713\ 303001676870417289518043*c_1001_10^9 - 28369790528546299789283042559163199288237120780802279714935221069/1\ 3065411311328991554997490852656931675412848026829926676632288688*c_\ 1001_10^8 - 4540920245846032621014457715606161254408996519266714492\ 8033707297/13065411311328991554997490852656931675412848026829926676\ 632288688*c_1001_10^7 - 2640790594115035969016285622171121790944216\ 6106230677578037094455/13065411311328991554997490852656931675412848\ 026829926676632288688*c_1001_10^6 - 9032288017727969583582587691206987295677525177387955911034890105/65\ 32705655664495777498745426328465837706424013414963338316144344*c_10\ 01_10^5 - 442879784536454736572465443131403641012105012846362914241\ 1026051/13065411311328991554997490852656931675412848026829926676632\ 288688*c_1001_10^4 - 1906650606954059628510733439212231153352063768\ 723997195162197779/326635282783224788874937271316423291885321200670\ 7481669158072172*c_1001_10^3 - 246762149118246386303806753400155255\ 9671801750472578724391892933/16331764139161239443746863565821164594\ 26606003353740834579036086*c_1001_10^2 - 2002239467443317682393843922924645321524409290921399777821734419/16\ 33176413916123944374686356582116459426606003353740834579036086*c_10\ 01_10 + 22790771039857953532320034696741677580340436989848943917627\ 7649/81658820695806197218734317829105822971330300167687041728951804\ 3, c_1001_1 + 110054440004401667911885333232879634483982261550238650391852\ 249/653270565566449577749874542632846583770642401341496333831614434\ 4*c_1001_10^24 - 17229528083053839683009825544095897128319687677155\ 9770888083759/32663528278322478887493727131642329188532120067074816\ 69158072172*c_1001_10^23 - 4864640845691315182244335700836708311723\ 7848863404662084262523/32663528278322478887493727131642329188532120\ 06707481669158072172*c_1001_10^22 + 871079973994605458198085249279949787255714891741696532975427139/326\ 6352827832247888749372713164232918853212006707481669158072172*c_100\ 1_10^21 - 111204457450623839348922518315680259002843928625959174453\ 8543623/32663528278322478887493727131642329188532120067074816691580\ 72172*c_1001_10^20 - 5209459640105946294401897816881170684222442953\ 02576551312480205/1633176413916123944374686356582116459426606003353\ 740834579036086*c_1001_10^19 + 335025868318179030504296748972732931\ 8834969892782659013457512781/32663528278322478887493727131642329188\ 53212006707481669158072172*c_1001_10^18 - 2880921234036177197940376135424491760502249718798070590547870961/32\ 66352827832247888749372713164232918853212006707481669158072172*c_10\ 01_10^17 - 11124400361939709277546170808357821434684150627398503924\ 45217373/6532705655664495777498745426328465837706424013414963338316\ 144344*c_1001_10^16 + 661325710234320149244938237012311853034084734\ 3648596935351489663/65327056556644957774987454263284658377064240134\ 14963338316144344*c_1001_10^15 - 1566134927478510880620875206483321\ 2166113861014971295057841251717/65327056556644957774987454263284658\ 37706424013414963338316144344*c_1001_10^14 + 14523356952957268525426093388749209715824146440640224224006222543/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^13 - 4755735494532373291401522460161445822185695677861204246\ 709278085/653270565566449577749874542632846583770642401341496333831\ 6144344*c_1001_10^12 - 19522401560678775299453375040465140116110616\ 163318078975318763443/653270565566449577749874542632846583770642401\ 3414963338316144344*c_1001_10^11 + 22343746025395021852418807406515643043361633687830421412454346265/6\ 532705655664495777498745426328465837706424013414963338316144344*c_1\ 001_10^10 - 8142519370551565477357803895453187334074686779680042832\ 418333117/326635282783224788874937271316423291885321200670748166915\ 8072172*c_1001_10^9 - 137544677894286967815262409588205660662865614\ 39825547711160030825/6532705655664495777498745426328465837706424013\ 414963338316144344*c_1001_10^8 + 3988667183286361380544230212099469\ 036289209825157142249823170263/326635282783224788874937271316423291\ 8853212006707481669158072172*c_1001_10^7 - 9950951723636199033498551422054577935189299126104613045766049741/32\ 66352827832247888749372713164232918853212006707481669158072172*c_10\ 01_10^6 + 788287349089522285693770074506974371560204046219605160208\ 1619481/65327056556644957774987454263284658377064240134149633383161\ 44344*c_1001_10^5 + 85257810190162257859227191058010310711983224782\ 54461063501304109/6532705655664495777498745426328465837706424013414\ 963338316144344*c_1001_10^4 - 2688829748136498921421843249961236717\ 6906609035669275211414311115/65327056556644957774987454263284658377\ 06424013414963338316144344*c_1001_10^3 + 4023831399502643322069134710007811101752332813731893673204548773/32\ 66352827832247888749372713164232918853212006707481669158072172*c_10\ 01_10^2 - 670464688313516852706133650797002774851601348635093153905\ 175168/816588206958061972187343178291058229713303001676870417289518\ 043*c_1001_10 + 530758093921776387042240512064262040043737409937049\ 221956745513/816588206958061972187343178291058229713303001676870417\ 289518043, c_1001_10^25 - 151/41*c_1001_10^24 + 67/41*c_1001_10^23 + 537/41*c_1001_10^22 - 1077/41*c_1001_10^21 + 15/41*c_1001_10^20 + 2053/41*c_1001_10^19 - 3141/41*c_1001_10^18 + 1798/41*c_1001_10^17 + 291/41*c_1001_10^16 - 4400/41*c_1001_10^15 + 6637/41*c_1001_10^14 - 6606/41*c_1001_10^13 - 1139/41*c_1001_10^12 + 6556/41*c_1001_10^11 - 9444/41*c_1001_10^10 + 863/41*c_1001_10^9 + 439/41*c_1001_10^8 - 7459/41*c_1001_10^7 + 6414/41*c_1001_10^6 - 3179/41*c_1001_10^5 - 4928/41*c_1001_10^4 + 5924/41*c_1001_10^3 - 5656/41*c_1001_10^2 + 3216/41*c_1001_10 - 1184/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.590 Total time: 1.790 seconds, Total memory usage: 64.12MB