Magma V2.19-8 Tue Aug 20 2013 23:45:30 on localhost [Seed = 3086078576] Type ? for help. Type -D to quit. Loading file "K13n3088__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3088 geometric_solution 10.75050078 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 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 1 0 -1 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.215810133499 0.605830949352 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 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 0 0 1 -1 0 0 1 -1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.101192107047 0.497224108235 4 0 8 6 3120 0132 0132 0321 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 -1 0 1 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.574165074180 0.882199744514 6 9 10 0 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.683992722449 0.673372424181 10 11 0 2 0321 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.450079782931 1.023073618143 7 1 8 9 2031 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.401968681701 0.440859083031 3 2 1 9 0132 0321 0132 0132 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 -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 0 0 0 0 0 0 1.294648716549 0.411430195033 10 8 5 1 2310 3012 1302 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -1 0 2 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.427691466527 0.464404070982 7 11 5 2 1230 0321 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.375241361797 0.969009111757 11 3 6 5 0213 0132 0132 0213 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.728514073639 0.794378326307 4 11 7 3 0321 0213 3201 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 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.520710495687 0.806050605325 9 4 10 8 0213 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826948547369 1.292777555537 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_0'], 'c_1001_10' : d['c_0011_0'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_3'], 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_1001_3'], 's_0_10' : d['1'], 's_3_10' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : negation(d['c_0101_1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1001_5'], 'c_1100_5' : d['c_1001_3'], 'c_1100_4' : negation(d['c_0011_7']), 'c_1100_7' : d['c_0101_5'], 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : negation(d['c_0011_7']), 'c_1100_3' : negation(d['c_0011_7']), 'c_1100_2' : d['c_1001_5'], 's_3_11' : d['1'], 'c_1100_11' : d['c_1001_3'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_5'], 'c_1010_6' : d['c_1001_0'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_10'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_11'], 'c_0101_2' : d['c_0011_7'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0101_5']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_5'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_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_10, c_0011_11, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_5, c_1001_0, c_1001_2, c_1001_3, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 6410642563224284038792022490141601140092333419969518655406536409554\ 3365680780544961640454210412/32005049848422693621639949547309708706\ 5856613473950133206322818768398582281460385316995884473715*c_1001_5\ ^21 + 9363393957766943895194358100565278201504250154948067902224845\ 3151528140170401629767290190140533/32005049848422693621639949547309\ 7087065856613473950133206322818768398582281460385316995884473715*c_\ 1001_5^20 - 2353021632738593971443938679844513433420801823220978866\ 130965600931025137767746717498146364949/278304781290632118449043039\ 5418235539703100986730001158315850597986074628534438133191268560641\ *c_1001_5^19 - 1525761030115095981322566728624154843746371577601505\ 354608322406887531611844186055076958869126244/320050498484226936216\ 3994954730970870658566134739501332063228187683985822814603853169958\ 84473715*c_1001_5^18 - 10172947031778624420978814861177881439933799\ 5693325505584847966626548110314567052218537106255878/13915239064531\ 6059224521519770911776985155049336500057915792529899303731426721906\ 65956342803205*c_1001_5^17 + 71979085527888685310063338793459266852\ 0192886337312453433634982189880698808712817194476572605705/64010099\ 6968453872432798990946194174131713226947900266412645637536797164562\ 92077063399176894743*c_1001_5^16 + 2959229313151657633506856254791177244652032279770385848195798088703\ 4069354110387008616281544727889/32005049848422693621639949547309708\ 7065856613473950133206322818768398582281460385316995884473715*c_100\ 1_5^15 + 1798768574968418468900033136791160320314389494468981136384\ 4785160663268314992299428622844290795371/64010099696845387243279899\ 0946194174131713226947900266412645637536797164562920770633991768947\ 43*c_1001_5^14 + 39169044627501339965098271530142400270784077448006\ 283920911072356604494716421054139111505089938659/640100996968453872\ 4327989909461941741317132269479002664126456375367971645629207706339\ 9176894743*c_1001_5^13 + 360250873409739267881473914706880474924470\ 679265253175312698919848804726489276967796770541620822223/320050498\ 4842269362163994954730970870658566134739501332063228187683985822814\ 60385316995884473715*c_1001_5^12 + 5222589233233354423882416800322082578265032735197494837182471436800\ 70715209922424904881848405126623/3200504984842269362163994954730970\ 87065856613473950133206322818768398582281460385316995884473715*c_10\ 01_5^11 + 523677678941934299428550341340246878299896372796221969729\ 689653737570563891641456909373987163966008/320050498484226936216399\ 4954730970870658566134739501332063228187683985822814603853169958844\ 73715*c_1001_5^10 + 45797576848003532541495411152583566134353402658\ 842603284462048626994302191398613250505330284556643/640100996968453\ 8724327989909461941741317132269479002664126456375367971645629207706\ 3399176894743*c_1001_5^9 - 1892046532525929490620534442229045797672\ 91595776241081180791433714732115100052427096140574092617641/3200504\ 9848422693621639949547309708706585661347395013320632281876839858228\ 1460385316995884473715*c_1001_5^8 - 6488408363850134667144493713676730340873672383251829498696642148412\ 9589949331896022502611756500646/64010099696845387243279899094619417\ 413171322694790026641264563753679716456292077063399176894743*c_1001\ _5^7 - 128102754409938655814443732635987960278755100271534181757343\ 73523885367645132756525245161007349680/6401009969684538724327989909\ 4619417413171322694790026641264563753679716456292077063399176894743\ *c_1001_5^6 + 14044821103884841982200448780487750762472485582013887\ 2983293061510739215425797900680648125974058213/32005049848422693621\ 6399495473097087065856613473950133206322818768398582281460385316995\ 884473715*c_1001_5^5 + 80128859286774854042786675209810621895293199\ 27133020949081058429018452377332237212814761618817046/6401009969684\ 5387243279899094619417413171322694790026641264563753679716456292077\ 063399176894743*c_1001_5^4 - 20749515758518213769489115617347878364\ 778274858186993791235177012287789417010620931162106711439274/640100\ 9969684538724327989909461941741317132269479002664126456375367971645\ 6292077063399176894743*c_1001_5^3 - 8722175373197412209785213288577757528883610529780834013419271474841\ 390424991777277215124843659836/320050498484226936216399495473097087\ 065856613473950133206322818768398582281460385316995884473715*c_1001\ _5^2 + 286148449754997340903116702914627940843006159489317854927164\ 41371165803026799676308732933569896147/3200504984842269362163994954\ 7309708706585661347395013320632281876839858228146038531699588447371\ 5*c_1001_5 - 606612394171536527559916251796513096115111591733021948\ 4180342549000217686960562046916700798881499/32005049848422693621639\ 9495473097087065856613473950133206322818768398582281460385316995884\ 473715, c_0011_0 - 1, c_0011_10 + 53152399532071377119846502842785428953885538507503319728030\ 542615114067989/343872552513556291549965213453971874540947567946084\ 57790335477531358064004323*c_1001_5^21 - 8895972509057931778647155157355590969554324643131214623410604942377\ 5639664/34387255251355629154996521345397187454094756794608457790335\ 477531358064004323*c_1001_5^20 - 1788239688838211465555755045152390\ 52626561876891812491870608746160310854030/3438725525135562915499652\ 1345397187454094756794608457790335477531358064004323*c_1001_5^19 - 6404444168321652235468634085051267933548019393748935247424772634824\ 48653199/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^18 + 948455618174869743444240706854723\ 062150505077639464614630299381448240954463/343872552513556291549965\ 21345397187454094756794608457790335477531358064004323*c_1001_5^17 + 4030895286512452839612881251665682410879991353065084506857473437676\ 404376209/343872552513556291549965213453971874540947567946084577903\ 35477531358064004323*c_1001_5^16 + 1329806571708585409197560914491491288601508310480949940552981692702\ 8761341692/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^15 + 1711900880705029367062663223826517221259000288485783309299841853863\ 8470899236/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^14 + 2879069768028660403940630969220406664258957883923240260698935059501\ 2387393362/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^13 + 2288552311803714253880876069612730341942975564329415911193416736619\ 0049399071/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^12 - 2317541494610629791280165892703225811769109362805069093296227397309\ 8035523003/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^11 - 1362716358986615052472232000379287881007940841494588252107186599657\ 26008787772/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^10 - 2037010435726759861839154149489503557120194334909807764552558733819\ 35488965413/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^9 - 1302375725011531455251675578827690180472809878637606000441987570250\ 34606067344/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^8 + 4381115031853663595549451846700773127541037029567902988742496277651\ 3602785610/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^7 + 1432870185133854083514103189968750046473673816384475746465374161046\ 1040079626/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^6 - 1288238179736023605332055954283096799374502789918110727572246970389\ 41772908168/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^5 - 1586405960023090792317968486422981634239154752072014001248270612118\ 93326795199/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^4 + 4799594784818395686812831536789419856918572809631129133256235878868\ 5753899827/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^3 + 5790201728626720837967074878003936567593610017270277389970373028864\ 2755360118/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^2 - 4306153915387108677874899984521492684226572333353047133004555442600\ 1555731319/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5 - 1022789572536841160187462209896876\ 7727856925024370647476190091328792590195529/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323, c_0011_11 - 69101532103621411498351678896468847962325995161479140111867\ 4727518675747714/34387255251355629154996521345397187454094756794608\ 457790335477531358064004323*c_1001_5^21 - 1496685379268192554933961662299410329669445385083229618195222607602\ 05660185/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 + 288013512414306909955562137277040\ 9125305745242432095461666659500079422468750/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 + 1310805636511844023491453625438560486489002764433329199752013636522\ 0527635777/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 + 9482938184944044960497792426320911069178300831300625670859866557510\ 405247772/343872552513556291549965213453971874540947567946084577903\ 35477531358064004323*c_1001_5^17 - 4747242364367985028781267262211798268269193270344051621076809551954\ 4757248975/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^16 - 2609504029670869681298418783866313271176020017955318930555582622915\ 94091398088/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 - 6568229032211160312967670120130192731524090183257769315533339411367\ 13861677978/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^14 - 1354626760905841689968032185170038543309976973728128317161573450330\ 782918585528/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 - 2325756616428117639988385699312725177904402412454523279837605403693\ 554616818942/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 - 3040490052582284772724936754772482124201461830336423387253240493305\ 744020413024/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^11 - 2389678917304481972616509608015382982540440225439892837260575014569\ 298691449753/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 - 2402697079323037843650001217587715478029941755050633789238755184029\ 10120884069/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^9 + 1584211148789298671615708078680678384117412602798722913151079128933\ 581169255140/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 + 7943743443219334731045217788978592580232585050424338959640324852444\ 32421679710/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^7 - 1045784722855780742224255535502813876206259869860441792457300496014\ 261777595357/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 - 9882711519839949023526497361085091427893574806793329675612191655585\ 77623327074/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^5 + 6922800863127083986068248271951548047284884382005229863671851295314\ 13291994431/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^4 + 6447119189609979704000202049052557530335404399208633438752447440047\ 62954004269/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^3 - 4832024675409712051817636237825204075818664821567503301044667087030\ 27788220907/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 - 2259576384981266553616391227809848553691357345076689433396880333149\ 85346236992/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 + 151434949755564464603500139190748\ 528140624139162420596905222193201440204698620/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_0011_7 - 188602385414414038582698537014934197197602752010728395571846\ 4124138589996767/34387255251355629154996521345397187454094756794608\ 457790335477531358064004323*c_1001_5^21 - 8248827432755635418011927101896567497849501255028232244407147869695\ 59347551/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 + 759815159317523765271210555714495\ 1251266682232071792975516955299606841701123/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 + 3739168518502669466569693231465624268301999684585321712540688250307\ 7438795324/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 + 3450804817732563239364396730016485781583154953341804632208459197460\ 3882004912/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 - 1202922780786262731384422572725525221607826780557377515063128308303\ 34360819172/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^16 - 7369684986808005856942654245766927888806001226382284233979194388319\ 14138316641/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 - 1960878683878268716409262907485204710083275334861672805432292336815\ 306701607074/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^14 - 4163291749265104921799835388962584611825452684398022681903214438531\ 804664269251/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 - 7357560630427757664861768347600084237662691364513271656255762455356\ 538646179019/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 - 1011199695628085542874169154852889088326413109970505283091959793554\ 6611001018484/34387255251355629154996521345397187454094756794608457\ 790335477531358064004323*c_1001_5^11 - 9093313568007554861003611604942379415707692772385237768920002211568\ 077673962056/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 - 3125953064981855736220965038485499223081723994644095854911202478043\ 428267657101/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^9 + 3221957619782122365547064768343888553497733141948137998142992952209\ 447891965615/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 + 2762545541237838266911682139779155453890635469900740106586438342290\ 210933499245/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 - 2055275678266977646679537403050658061789070173262571907563777185802\ 879312000581/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 - 2961980180116975563756063064988106558550512561362853734819187731538\ 627765411404/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 + 1170854744102405991066606042481573751888473084691013943805518906262\ 378253561193/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^4 + 1946677701303067283565770207816878913615499716214909524493046600652\ 974593763138/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^3 - 8024521743022065898813640285284007537483781263827112974047213899733\ 68955946524/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 - 6827312028972402720007597791030560396538872242296843086827719458737\ 21789041709/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 + 232468709798875104035247088462295\ 751811848739633421830980135691624172278560408/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_0011_8 + 215115622490711143990899576704123483918179918508027951022678\ 5534172685042278/34387255251355629154996521345397187454094756794608\ 457790335477531358064004323*c_1001_5^21 + 7694678586595678671059909954141516391929599289123783743802283690725\ 41620707/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 - 885086256921664095142224150499677\ 8158784084208026357314646841504908294919469/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 - 4204211353004069662271171429019199582567190634403697882843774823872\ 8660229431/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 - 3553628814959840190090351078901317165882774336454396473253800037077\ 9761614694/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 + 1426326641239452232944288502777299074473116439978518660850049278154\ 53994608922/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^16 + 8323537409544440190607138451726814127013444935985036061430708357841\ 65634812278/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 + 2163361625352334967010804658784465814324150230860295023547831130998\ 206791230866/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^14 + 4525740163859472213881681957773505510012219439330446493156221273735\ 768931528426/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 + 7885878802106438052915296111404321957043473931018746624450459327086\ 331402505443/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 + 1058319703263987551568683950853662423847452788065404294089511466810\ 1044011419100/34387255251355629154996521345397187454094756794608457\ 790335477531358064004323*c_1001_5^11 + 8933956001334002515512383648568350492331670897737643062922379886056\ 181471046430/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 + 1979403946868210783228379421338458304228765000916334087660764147784\ 217229832630/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^9 - 4745584217502130320852931662758187178002635565763207364468625529871\ 440727167871/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 - 3328936951149861353611758771593645286774267897083199719251803042362\ 975947834296/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 + 2564737610963513252389592223187639768333470905401491502406214335169\ 579215244425/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 + 3260127735201869805925371672459166679409645943433395429196045796289\ 206525699547/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 - 1743295268724128721537764406355308495073183174721984287314319094442\ 538145755503/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^4 - 2317506304441571642767698567573212227578688337159536548768374625055\ 503633441818/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^3 + 1124725588256975690375984274503778252429541273945765438691767918845\ 279769985915/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^2 + 8300672872365035203982520582629400810604281296872534923569056435297\ 24017008917/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 - 341041128376359405593587092939840\ 247200199174244174974544539597237389362635807/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_0101_0 - 361938418409337884122138031531319586371908415266090544973888\ 958772556937874/343872552513556291549965213453971874540947567946084\ 57790335477531358064004323*c_1001_5^21 - 2337652975991814786313977224758630282468234928591630849842040766120\ 54736426/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 + 148895001496914486486252056717007\ 9173222024640319962407742057654164601238316/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 + 7513179294915317703224433802303535289726428462058632708238517996421\ 951681717/343872552513556291549965213453971874540947567946084577903\ 35477531358064004323*c_1001_5^18 + 7862721588345632771149551694173844991058351193795870672041659716778\ 012526077/343872552513556291549965213453971874540947567946084577903\ 35477531358064004323*c_1001_5^17 - 2294657436735069368389731677624627910167245916656611471252649230233\ 9891628159/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^16 - 1475316386039230941114040076000030107963595236261908226563361448242\ 85258108086/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 - 4019880798210801873433369039617632500552739942525690523462845993609\ 30747623379/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^14 - 8528151618116275757132281731834399866651205409613711108498798465260\ 78030463988/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^13 - 1510339743134676583019543030901313017307172586109337994805760360655\ 319954575657/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 - 2085447325454968359187833132178772946469794024003163672590893066268\ 274596222050/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^11 - 1874696829660029481454741607828183128512219657798372302266383878365\ 655879524206/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 - 5668365777293135574739238591365562739787225998736536423455165221677\ 23932729449/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^9 + 8984981922237160259640740711139193253914851389018650564798891531793\ 58343717905/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^8 + 9107894021779392249858907697629777878720906744607311369534716406495\ 43334601178/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^7 - 2358976974215997669537672741998625688814602404901049932664287484009\ 17039247147/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^6 - 6325804756134031752826047073624504551027711149822229492295439272814\ 77752180503/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^5 + 1927008329601154864247650601916355063380235431462702626149253798030\ 36944767532/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^4 + 5009766050176211886787513601708533847205813121433678574897783165034\ 36799719924/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^3 - 1106138876879686682255722125987075448917679298071601053339589114974\ 85613445455/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 - 1946507907369429029365690083991992148453189114071998504807152004283\ 94932916308/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 + 309722071501902872033281204526163\ 40261773690752947157835822194453042728664960/3438725525135562915499\ 6521345397187454094756794608457790335477531358064004323, c_0101_1 + 105800079668232420253368087458885395357920534680161732713351\ 4304254242508421/34387255251355629154996521345397187454094756794608\ 457790335477531358064004323*c_1001_5^21 + 4323589661594078624814221120355652675799518719181735426358050561308\ 76593585/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 - 430107525980406760040802599571192\ 8069071261327538999390940672358959682492109/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 - 2089115573218276504152718133024045228016243950062183357502076434009\ 2685603610/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 - 1863009774607128546917317042824658722480666016986327064832251314931\ 3193412032/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 + 6859860400961119032140356067313476785898372692206206923873435551338\ 0284968089/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^16 + 4123708932113415634899816370571999784769843461251019844929310280392\ 70075164471/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 + 1086536328959972943486753291866574187774338867959029370042382212704\ 100385953283/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^14 + 2292665247937171601288386766643017012203983837573880193972737086836\ 234959352587/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 + 4025717310384316860582077758044162629455830544683195365788299856929\ 744381127089/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 + 5479158496163014972485105640111834109830636151016102683161567349950\ 442048958473/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^11 + 4794533541089826996264805426632743643205136729129722694885299761909\ 205490512835/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 + 1395867468977998019993602502904281206002700732200730473004546062713\ 365069777950/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^9 - 2086323720197306610165000425831632996901283383589973986864724453206\ 622563236577/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 - 1640695221663796771371983809025999711500788742283401086433840452495\ 160326880677/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 + 1169995292954604988099440387443445952991019926812717611878816155657\ 382614323808/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 + 1646187626408420396342160964514892454733678980869819111184090220418\ 696855283340/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 - 7415330104306473798935895685798633048479566956891788450498678234659\ 25258918914/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^4 - 1100948955352153891777591145267545534544877148840485968191640573332\ 970976286988/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^3 + 5031652621848586019379182557518491093489807115457155515393292111875\ 84240743783/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 + 4164368640536253894562198557552647383839111129312760360664003583666\ 61146662592/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 - 139725099063412850068546098308659\ 580832642248476547826425555883579046699258858/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_0101_5 - 707930543914538666580317692709217651652221159627661012731550\ 769890855994110/343872552513556291549965213453971874540947567946084\ 57790335477531358064004323*c_1001_5^21 - 2264195694352215523479332254324284710056684738714167217080167518859\ 80691473/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 + 298699128873571686344346087959462\ 3099776609848401498112639070035396507103637/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 + 1370741083633230156798979052677092503461235762865454544746913043958\ 7647600509/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 + 1096778575395058904311054812167486350140936698236850481991341621348\ 6052563349/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 - 4849656292294277845100151807781287372017016032388364327809742299067\ 7133141590/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^16 - 2727071138279727631823695864169485350938305586601593188295058356882\ 37797619201/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 - 6979184117524082253863109445757029419257923389280124669418326055852\ 85642418821/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^14 - 1440638001179671328667534762664626813270975814347026341092554813068\ 525515173220/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 - 2484514239556901246875629039958087950212636563116171188129576464717\ 476250780514/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 - 3263627966756452634520129818201848587018396336860061301238449431269\ 581109457810/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^11 - 2595928492240441141220898322041852707679360567262181343220312212218\ 788245923764/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 - 2435957658126863645028242328576222219689894732210883413122046946390\ 12694874713/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^9 + 1871558729051357302796308113742727222350044175239529602043621978980\ 966237283949/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 + 1205143138299044085912007884630814362674703474918173547008922236223\ 951768112824/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 - 8532954124625250440274046349493003778053531503650598652965586793615\ 43861181145/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^6 - 1010343366906209227302177812632662433974110972216815696195269920254\ 806267862147/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 + 6696774173958602359576118630271466708728850651465782837445048801102\ 19426606256/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^4 + 7789701344944217142113610691948039606211777942910634888075821466011\ 98256020383/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^3 - 4408847672167610989915635501965018669830269955054846791304437992955\ 47441553598/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 - 2777377301978785257454415571945071451184479680564788707002461607846\ 82127067063/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 + 135950416446211188040452323826359\ 289378143131967539662981347541523083504544737/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_1001_0 - 953512505760145612497070372093679154438737927326085552240613\ 827596326626207/343872552513556291549965213453971874540947567946084\ 57790335477531358064004323*c_1001_5^21 - 3113630970915968331835719485131822749017354338388606873050240959902\ 43722196/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 + 393201070593308637154151390485128\ 2283669360716913082876630822743239521877903/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 + 1847978073386063574498971935371224254290878427250793941920703918661\ 0284617283/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 + 1518930118919315279206475210287529562502027906611243314631317379946\ 2293193114/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 - 6356276989519834212842608395268909911141670645735539848829902228661\ 4804459602/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^16 - 3663991637350154859620314613725461678388538060969091575681841375008\ 63446925964/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 - 9473267098921271338871548897211059112133238924373941978185754344769\ 54640267737/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^14 - 1978958584833349402215248752532929952316288683139022937756134728239\ 430682293224/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 - 3445667959351676000345474523786131736817197961587832813981780007208\ 726379625568/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 - 4612121347359357097893478938638919947983982766961595894198567068650\ 729605795167/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^11 - 3876517011638636105244346070238574510202046796653844730270041431075\ 756314877066/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 - 8595689312860340015182165728081089389796959578667316105406495449006\ 40264032671/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^9 + 1995148612203976494699381664252966307632518484078500548370555302540\ 979220133938/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 + 1297361955353943794320162486302538213267356755408903400293509724250\ 624842078360/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 - 1226344109744920480211211232824983533820303446612188392565969854516\ 666334915084/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 - 1400349059730798732386209174529309868541164701402557234733374152728\ 811015622951/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 + 7923417972667778029256053610371713313612485006932562967061268982542\ 87185940708/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^4 + 9673888076774623391333856368549982270626034386741695645435784562695\ 75257848668/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^3 - 5527712328603021089673397066204758045664133673171029638389353530716\ 05112176043/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 - 3223585197059415468054500532447187852470930442598461742279896595783\ 93248348182/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 + 160943335093607581982537695549532\ 776929748090891740816723858604509451010114871/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_1001_2 - 264272060171017525271789702367640595189197270523504459968729\ 0850100115288438/34387255251355629154996521345397187454094756794608\ 457790335477531358064004323*c_1001_5^21 - 1254917012764655441962608356366745468348806907472689770400426618870\ 378299595/343872552513556291549965213453971874540947567946084577903\ 35477531358064004323*c_1001_5^20 + 1049231338892411303677331441341724894486241529605907907471191832619\ 6432957114/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^19 + 5281379179545947655777807744759714987349807468019271595110994459389\ 1256301946/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 + 5070991624285346403128210626036224645472835618418225643158217570730\ 3944505092/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 - 1647704113630081153636963257709639683398285731801510356293402423557\ 18604979078/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^16 - 1038008165995042451725029431854209273820240411158893067043129900878\ 896857474782/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^15 - 2793321565774508280408008381754231488095539358661858430614427755654\ 983434273172/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^14 - 5975478668830514171321151178427357239242391023435238510753998571845\ 301933933315/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 - 1062238901729741969723631546624660377287009883238697107607756526323\ 3092504989480/34387255251355629154996521345397187454094756794608457\ 790335477531358064004323*c_1001_5^12 - 1475544423503097584342005685037944428983901160842041696396366457360\ 7286141970048/34387255251355629154996521345397187454094756794608457\ 790335477531358064004323*c_1001_5^11 - 1361193226052119782574137607977892467001834337022504914933054599470\ 6545776362744/34387255251355629154996521345397187454094756794608457\ 790335477531358064004323*c_1001_5^10 - 5301284191673060498632983544912419560467231381724464620151789412549\ 179340262144/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^9 + 3995105327976075057564710064355886303198118236515146064385119587099\ 357838839723/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 + 3971350137673453483933607156081241691291085011245933221702042754365\ 657791682621/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 - 2551519526543932642079976666389802166695392182260055322528977176162\ 704755417412/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 - 4133667413537171475362523795162934475790879474942084776023963972044\ 030621507449/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 + 1429551946758350180581207476171498153652079270819497818898135315569\ 211786179221/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^4 + 2729053351014539357985127561727276431683512651596968567294421853367\ 809830202053/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^3 - 9287802368795803933749275025278216534730770542419625037389721779012\ 45350602598/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 - 9442513858887307394131693807581478357175944263609961356745811777472\ 21460144925/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 + 244573092453440503272687957920880\ 301949903000056350893972541611480293442877819/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_1001_3 + 185540534554687635146622340105652231753925524825816243102433\ 3408034995097682/34387255251355629154996521345397187454094756794608\ 457790335477531358064004323*c_1001_5^21 + 6843253752799591359408886715954173235461408936754109958133974622679\ 59624809/3438725525135562915499652134539718745409475679460845779033\ 5477531358064004323*c_1001_5^20 - 761648028386212128338234023167217\ 8100584918304302644575060813419948655878566/34387255251355629154996\ 521345397187454094756794608457790335477531358064004323*c_1001_5^19 - 3629809116619425747167356411546239124200014914806716849816516358508\ 5857534792/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^18 - 3107733341073174394080486068169429030326176812155532656598162344194\ 7460795169/34387255251355629154996521345397187454094756794608457790\ 335477531358064004323*c_1001_5^17 + 1222851384935287437423149588666538184577103936164558016801935535075\ 35875318664/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^16 + 7182660817992171338669260799706565026885264140361490848541417727014\ 66697230361/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^15 + 1873847795369211089583880699626638234753671849991864162668865185807\ 729998376921/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^14 + 3931213056606093408140778246858815677165014991483315138668942277514\ 071227926037/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^13 + 6872494634223041516386178392058641966078453765623649193141208024927\ 630484640438/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^12 + 9270477638628738254165815863255629871703839621064672112832791113523\ 322352868651/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^11 + 7940158410338768407350195290226424271256018448906899521480827679906\ 007316420836/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^10 + 2014989155151150060402213550834148486488409112290809755906890369258\ 477232858994/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^9 - 3795085840675024995239373644811361656188250682609630293179151956256\ 238154963092/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^8 - 2690838863827522649074283924010045427187906874953442498895221256634\ 928453645446/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^7 + 2257375354556203012013683635033685995111344993618672695218536246880\ 514809433806/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^6 + 2799838451839159980292523877947655068606684310889325709299231906477\ 896529666807/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^5 - 1469692421734034681596429974375729934290489053732770422408436115921\ 440496818651/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^4 - 1935758981926118033926595790222817878877038412265868817223281410329\ 003854013678/343872552513556291549965213453971874540947567946084577\ 90335477531358064004323*c_1001_5^3 + 9910129156685683955772167136711939204924239005382450571810002722265\ 88266622069/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5^2 + 6752084050666114089917891735232310917958186438355317489845151257182\ 51612494035/3438725525135562915499652134539718745409475679460845779\ 0335477531358064004323*c_1001_5 - 278851530404720080164812125645867\ 871774504826289981773894155222727426078048937/343872552513556291549\ 96521345397187454094756794608457790335477531358064004323, c_1001_5^22 + 7/59*c_1001_5^21 - 247/59*c_1001_5^20 - 1094/59*c_1001_5^19 - 702/59*c_1001_5^18 + 4126/59*c_1001_5^17 + 21866/59*c_1001_5^16 + 53918/59*c_1001_5^15 + 110305/59*c_1001_5^14 + 187711/59*c_1001_5^13 + 241010/59*c_1001_5^12 + 3054*c_1001_5^11 + 2527/59*c_1001_5^10 - 135865/59*c_1001_5^9 - 55899/59*c_1001_5^8 + 91916/59*c_1001_5^7 + 70888/59*c_1001_5^6 - 68257/59*c_1001_5^5 - 49631/59*c_1001_5^4 + 46116/59*c_1001_5^3 + 13232/59*c_1001_5^2 - 14732/59*c_1001_5 + 2617/59 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.310 Total time: 2.520 seconds, Total memory usage: 64.12MB