Magma V2.19-8 Tue Aug 20 2013 17:59:03 on localhost [Seed = 913801910] Type ? for help. Type -D to quit. Loading file "10^2_20__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_20 geometric_solution 12.76261843 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -10 0 9 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.256226788218 0.705077803178 0 5 7 6 0132 0132 0132 0132 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 0 0 10 0 0 -10 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.582615722227 0.676883337551 8 0 3 4 0132 0132 0321 2103 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 -1 0 1 0 0 1 -1 0 -1 0 1 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.170918422980 2.293136691400 5 8 2 0 0132 0132 0321 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 0 0 0 0 0 9 -9 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.881860630078 0.843138621600 9 8 0 2 0132 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 1 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.708130659497 0.671289583776 3 1 10 9 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 9 -9 -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.505654337438 0.570574240160 11 12 1 11 0132 0132 0132 2031 0 0 1 0 0 0 0 0 0 0 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 -10 -2 1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.445920073984 0.678131299031 10 9 13 1 2103 2103 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.622290072852 0.507625384532 2 3 4 9 0132 0132 2310 3012 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 0 0 -9 0 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.407575043483 0.566411907055 4 7 8 5 0132 2103 1230 2103 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 0 -1 0 0 -9 9 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.197603587211 1.455321634600 11 12 7 5 3120 0321 2103 0132 0 0 0 0 0 0 0 0 1 0 0 -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 1 -1 0 9 0 0 -9 0 0 0 0 10 -9 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601568537948 1.393851649017 6 6 13 10 0132 1302 2103 3120 0 0 0 1 0 1 0 -1 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 10 0 -10 0 0 9 -9 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323037057544 1.029488884547 13 6 13 10 2103 0132 0213 0321 0 0 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 0 0 0 0 0 1 -1 -9 0 0 9 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.722524503346 0.884288451954 11 12 12 7 2103 0213 2103 0132 0 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 0 0 0 0 0 0 0 0 -1 1 0 -9 0 9 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.445920073984 0.678131299031 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_13'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_13' : d['c_0011_11'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0101_8']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_9']), 'c_1001_2' : negation(d['c_0101_8']), 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_1001_0'], 'c_1010_13' : negation(d['c_0011_4']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : d['c_1001_5'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : negation(d['1']), 's_3_12' : d['1'], 'c_0101_13' : d['c_0011_13'], 'c_0101_12' : d['c_0011_13'], 'c_0101_11' : d['c_0011_13'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(d['1']), 's_2_7' : negation(d['1']), 's_2_12' : d['1'], 's_2_13' : negation(d['1']), 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : 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_0011_4'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0101_1']), 'c_1100_4' : negation(d['c_0101_8']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_0101_8']), 'c_1100_3' : negation(d['c_0101_8']), 'c_1100_2' : negation(d['c_0101_9']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0101_2'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : negation(d['c_0101_1']), 'c_1100_13' : d['c_0011_10'], 's_0_11' : d['1'], 's_3_13' : negation(d['1']), 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_1001_1'], 's_0_13' : d['1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_0101_8']), 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0101_9']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_4']), 's_1_7' : d['1'], 's_1_6' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0101_0'], 'c_0110_13' : d['c_0101_10'], 'c_0110_12' : negation(d['c_0011_10']), 'c_1010_4' : negation(d['c_1001_0']), 'c_0101_7' : d['c_0101_10'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_2_8' : d['1'], 's_1_13' : d['1'], 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_13'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 15 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_13, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_0101_9, c_1001_0, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 731518489297313686602604846217045425256710665726540397277/197107313\ 63704316095206178780530336303710906788113813120000*c_1001_5^17 - 675037626874100785891032334752408194875533192366410443957/657024378\ 7901438698402059593510112101236968929371271040000*c_1001_5^16 + 1735595613307643969720681051700370009612503579024973123/41064023674\ 383991865012872459438200632731055808570444000*c_1001_5^15 + 877383948932591773289187184917010742095665199654294947257/246384142\ 0463039511900772347566292037963863348514226640000*c_1001_5^14 - 14081767494496872303411841722625216708887209598175336479023/4927682\ 840926079023801544695132584075927726697028453280000*c_1001_5^13 + 45757010996835149872426089411903573878753759339309174882623/4927682\ 840926079023801544695132584075927726697028453280000*c_1001_5^12 - 1790627459323161259128303847587218330347527853350681736967/12319207\ 10231519755950386173783146018981931674257113320000*c_1001_5^11 - 210090063026521905317234999182084597901656242178286451497789/246384\ 1420463039511900772347566292037963863348514226640000*c_1001_5^10 - 26477169573305650444259636470806501741454218820875350824639/3650135\ 43772302149911225532972784005624276051631737280000*c_1001_5^9 + 145684226165919545050070149417450784162762385092761804623739/281581\ 876624347372788659696864719090053012954115911616000*c_1001_5^8 - 13980576129183334268773995819318193592410099093602423767233/2463841\ 4204630395119007723475662920379638633485142266400*c_1001_5^7 + 32865901158526382449043503743069911789061387624154084569089/5475203\ 1565845322486683829945917600843641407744760592000*c_1001_5^6 - 176387310691816301575671029119107167335090226060548791270097/492768\ 2840926079023801544695132584075927726697028453280000*c_1001_5^5 - 24790319779435429140869197456997238379715723297055318085373/6570243\ 7879014386984020595935101121012369689293712710400*c_1001_5^4 - 26448038393322642506891046253679695326584502547047915532649/5866289\ 0963405702664304103513483143761044365440814920000*c_1001_5^3 + 8935090879752449589030626299093268197880237142575785922761/52422157\ 882192330040441964841836000807741773372643120000*c_1001_5^2 - 11264651148018312547873975779094281530316629550916655714429821/1971\ 0731363704316095206178780530336303710906788113813120000*c_1001_5 - 1620065094259768876998197681238000878095961372680762090165439/19710\ 731363704316095206178780530336303710906788113813120000, c_0011_0 - 1, c_0011_10 - 1547631932960295512927572662931986250373/184239322269748968\ 24733847692134965996928096*c_1001_5^17 - 171801109532304539710565318660035490199/204710358077498853608153863\ 2459440666325344*c_1001_5^16 + 104124871284216557038801457964665500\ 570/191915960697655175257644246793072562468001*c_1001_5^15 + 1553349599474015034469645682772247490993/23029915283718621030917309\ 61516870749616012*c_1001_5^14 - 37516933747327371156344461823801446\ 111703/4605983056743724206183461923033741499232024*c_1001_5^13 + 148136576916502141228042940119539551151151/460598305674372420618346\ 1923033741499232024*c_1001_5^12 - 422258608722181620219300586932358\ 47487007/1151495764185931051545865480758435374808006*c_1001_5^11 - 460032154211193795831350471594829614302193/230299152837186210309173\ 0961516870749616012*c_1001_5^10 + 582517814644376334604640046034544\ 394888905/3070655371162482804122307948689160999488016*c_1001_5^9 + 2049246181108989797392921561431478611378407/13159951590696354874809\ 89120866783285494864*c_1001_5^8 - 197767738140611735592275224274461\ 0823968342/575747882092965525772932740379217687404003*c_1001_5^7 + 739038840643143493808617897922001594409869/255887947596873567010192\ 329057430083290668*c_1001_5^6 - 45084891434259763062374657497200157\ 64332129/4605983056743724206183461923033741499232024*c_1001_5^5 - 493919713201374066081265522524362634510455/511775895193747134020384\ 658114860166581336*c_1001_5^4 + 49582691637549870268349943212052790\ 36493/18277710542633826215013737789816434520762*c_1001_5^3 + 117712035615141803181690034114597461922645/489998197525928107040793\ 82159933420204596*c_1001_5^2 - 390352612342457645933210333805278459\ 12226805/18423932226974896824733847692134965996928096*c_1001_5 + 20765828314879997090481317690234894712815281/1842393222697489682473\ 3847692134965996928096, c_0011_11 + 1, c_0011_13 - 23587794165547953262361/39172658301433617756761952*c_1001_5\ ^17 - 6179012221251170523491/4352517589048179750751328*c_1001_5^16 + 558722513505835267990/408048523973266851632937*c_1001_5^15 + 27160364991698032515305/4896582287679202219595244*c_1001_5^14 - 475863249444951660416963/9793164575358404439190488*c_1001_5^13 + 1661459364757104924638611/9793164575358404439190488*c_1001_5^12 - 210514720316238044989439/2448291143839601109797622*c_1001_5^11 - 6703446093075809082572993/4896582287679202219595244*c_1001_5^10 - 4061681581695193484118907/6528776383572269626126992*c_1001_5^9 + 24842994263599953368291723/2798047021530972696911568*c_1001_5^8 - 15340952423082897894191779/1224145571919800554898811*c_1001_5^7 + 7416541484621708496167069/544064698631022468843916*c_1001_5^6 - 52446462049530229915654261/9793164575358404439190488*c_1001_5^5 - 5274027238883201195648443/1088129397262044937687832*c_1001_5^4 - 211927319995055937255125/38861764187930176345994*c_1001_5^3 + 617293866290127212308429/104182601865514940842452*c_1001_5^2 - 415261839213321689214309241/39172658301433617756761952*c_1001_5 + 112325117755873462228657909/39172658301433617756761952, c_0011_4 + 201651327290574996325442005438266197509/15353276855812414020\ 61153974344580499744008*c_1001_5^17 + 180794681749787951175407217432617656993/511775895193747134020384658\ 114860166581336*c_1001_5^16 - 1196598984738995970308282465557067170\ 2/63971986899218391752548082264357520822667*c_1001_5^15 - 252310784619625857452001395094261652897/191915960697655175257644246\ 793072562468001*c_1001_5^14 + 3865325891915175357733129567007544577\ 069/383831921395310350515288493586145124936002*c_1001_5^13 - 12895039598319427839014705475406761777875/3838319213953103505152884\ 93586145124936002*c_1001_5^12 + 14596910982872881198342993611718386\ 60650/191915960697655175257644246793072562468001*c_1001_5^11 + 57715179893787081750545318845582862161921/1919159606976551752576442\ 46793072562468001*c_1001_5^10 + 61332709995866581099736675873311400\ 788939/255887947596873567010192329057430083290668*c_1001_5^9 - 204175278761755515043756786914284257144471/109666263255802957290082\ 426738898607124572*c_1001_5^8 + 39025763305710050733552974130105024\ 3383762/191915960697655175257644246793072562468001*c_1001_5^7 - 149221244641954227854850447357328343996324/639719868992183917525480\ 82264357520822667*c_1001_5^6 + 288379205948191317931686668612673888\ 141545/383831921395310350515288493586145124936002*c_1001_5^5 + 194276902786329875688884549770292419693271/127943973798436783505096\ 164528715041645334*c_1001_5^4 + 10183600585641328037309940616769454\ 103142/9138855271316913107506868894908217260381*c_1001_5^3 - 1491293745563826191762789427670880196320/40833183127160675586732818\ 46661118350383*c_1001_5^2 + 281545627463445412888605051903126567690\ 9293/1535327685581241402061153974344580499744008*c_1001_5 + 17393303348109654010077007650793060277731/1535327685581241402061153\ 974344580499744008, c_0101_0 - 201651327290574996325442005438266197509/15353276855812414020\ 61153974344580499744008*c_1001_5^17 - 180794681749787951175407217432617656993/511775895193747134020384658\ 114860166581336*c_1001_5^16 + 1196598984738995970308282465557067170\ 2/63971986899218391752548082264357520822667*c_1001_5^15 + 252310784619625857452001395094261652897/191915960697655175257644246\ 793072562468001*c_1001_5^14 - 3865325891915175357733129567007544577\ 069/383831921395310350515288493586145124936002*c_1001_5^13 + 12895039598319427839014705475406761777875/3838319213953103505152884\ 93586145124936002*c_1001_5^12 - 14596910982872881198342993611718386\ 60650/191915960697655175257644246793072562468001*c_1001_5^11 - 57715179893787081750545318845582862161921/1919159606976551752576442\ 46793072562468001*c_1001_5^10 - 61332709995866581099736675873311400\ 788939/255887947596873567010192329057430083290668*c_1001_5^9 + 204175278761755515043756786914284257144471/109666263255802957290082\ 426738898607124572*c_1001_5^8 - 39025763305710050733552974130105024\ 3383762/191915960697655175257644246793072562468001*c_1001_5^7 + 149221244641954227854850447357328343996324/639719868992183917525480\ 82264357520822667*c_1001_5^6 - 288379205948191317931686668612673888\ 141545/383831921395310350515288493586145124936002*c_1001_5^5 - 194276902786329875688884549770292419693271/127943973798436783505096\ 164528715041645334*c_1001_5^4 - 10183600585641328037309940616769454\ 103142/9138855271316913107506868894908217260381*c_1001_5^3 + 1491293745563826191762789427670880196320/40833183127160675586732818\ 46661118350383*c_1001_5^2 - 281545627463445412888605051903126567690\ 9293/1535327685581241402061153974344580499744008*c_1001_5 - 17393303348109654010077007650793060277731/1535327685581241402061153\ 974344580499744008, c_0101_1 + 92806818792909622868659017807174874405/115149576418593105154\ 5865480758435374808006*c_1001_5^17 + 15325468847292657136501913697744410940/6397198689921839175254808226\ 4357520822667*c_1001_5^16 + 2126429268067330276668392099037791878/1\ 91915960697655175257644246793072562468001*c_1001_5^15 - 734178776155904118526573386555399666041/115149576418593105154586548\ 0758435374808006*c_1001_5^14 + 341353057457573171494194089026596195\ 2093/575747882092965525772932740379217687404003*c_1001_5^13 - 11267491775035535492971238668522560564994/5757478820929655257729327\ 40379217687404003*c_1001_5^12 + 20577739738150632793253566249487740\ 99535/575747882092965525772932740379217687404003*c_1001_5^11 + 197730268133785005316640354811735372281585/115149576418593105154586\ 5480758435374808006*c_1001_5^10 + 149933000134017459905210950997421\ 271375643/767663842790620701030576987172290249872004*c_1001_5^9 - 312865366168399668211409997793716287955379/328998789767408871870247\ 280216695821373716*c_1001_5^8 + 63897227720161722948763601014711651\ 5124994/575747882092965525772932740379217687404003*c_1001_5^7 - 251620917720494600184848129037702916814803/127943973798436783505096\ 164528715041645334*c_1001_5^6 + 73863943051550173039275291476492776\ 0746617/1151495764185931051545865480758435374808006*c_1001_5^5 + 71174058595163374454538155317294694462485/1279439737984367835050961\ 64528715041645334*c_1001_5^4 + 859616159509622546547739258303755930\ 7423/9138855271316913107506868894908217260381*c_1001_5^3 - 700210256814251114670133163249141517595/244999098762964053520396910\ 79966710102298*c_1001_5^2 + 575094764760619031658877388003105964743\ 4925/2302991528371862103091730961516870749616012*c_1001_5 - 1243648295597912623798436093983201754061019/23029915283718621030917\ 30961516870749616012, c_0101_10 - c_1001_5, c_0101_2 - 18060740012539386173598925527278807027341/184239322269748968\ 24733847692134965996928096*c_1001_5^17 - 4510881987263644349948825619725021407255/20471035807749885360815386\ 32459440666325344*c_1001_5^16 + 18151421046672086168263891280289037\ 21991/767663842790620701030576987172290249872004*c_1001_5^15 + 19268169768358431165899124805862340873247/2302991528371862103091730\ 961516870749616012*c_1001_5^14 - 3693572794419436835381979483000057\ 91744675/4605983056743724206183461923033741499232024*c_1001_5^13 + 1318229566980871971268519657306644047666663/46059830567437242061834\ 61923033741499232024*c_1001_5^12 - 205615757030115627536978505450200681611855/115149576418593105154586\ 5480758435374808006*c_1001_5^11 - 504649685466679544491204709515984\ 0021072099/2302991528371862103091730961516870749616012*c_1001_5^10 - 2298441895206800265899598214107007201564043/30706553711624828041223\ 07948689160999488016*c_1001_5^9 + 188002568679310011689659278850350\ 56712885295/1315995159069635487480989120866783285494864*c_1001_5^8 - 51666370835559629742780948712305189398206097/2302991528371862103091\ 730961516870749616012*c_1001_5^7 + 6642860827781604907246413881898337664160775/25588794759687356701019\ 2329057430083290668*c_1001_5^6 - 5337797908649340465037373088632674\ 1019132569/4605983056743724206183461923033741499232024*c_1001_5^5 - 3497159797205714398326238258646818166851799/51177589519374713402038\ 4658114860166581336*c_1001_5^4 - 6305160413984382504323400640441989\ 2350465/9138855271316913107506868894908217260381*c_1001_5^3 + 464114284850269114993168819498154302395131/489998197525928107040793\ 82159933420204596*c_1001_5^2 - 369221319750476615541318962036119841\ 702684501/18423932226974896824733847692134965996928096*c_1001_5 + 112644204857333191448770782282104057292269633/184239322269748968247\ 33847692134965996928096, c_0101_8 - 230921515222693718450166311871221837599/46059830567437242061\ 83461923033741499232024*c_1001_5^17 - 68176411931851180322289808847504513251/5117758951937471340203846581\ 14860166581336*c_1001_5^16 + 10675517622432635250232860380717693243\ /191915960697655175257644246793072562468001*c_1001_5^15 + 260899372929728991653737529347148889862/575747882092965525772932740\ 379217687404003*c_1001_5^14 - 4326966975779256500157524701960534530\ 661/1151495764185931051545865480758435374808006*c_1001_5^13 + 15328033061561973564835555736979537300275/1151495764185931051545865\ 480758435374808006*c_1001_5^12 - 2864109778933168466380761168406710\ 114029/575747882092965525772932740379217687404003*c_1001_5^11 - 63107520136288914461658398070742280671675/5757478820929655257729327\ 40379217687404003*c_1001_5^10 - 66898165145682880140956655761444962\ 532381/767663842790620701030576987172290249872004*c_1001_5^9 + 216299893205474086016655426134948879819419/328998789767408871870247\ 280216695821373716*c_1001_5^8 - 47435573618806674062335997529263977\ 8775865/575747882092965525772932740379217687404003*c_1001_5^7 + 86211200421540322705869166310856029049295/6397198689921839175254808\ 2264357520822667*c_1001_5^6 - 6559229358358743661565806529429927229\ 46049/1151495764185931051545865480758435374808006*c_1001_5^5 - 106734288432283897340072696421958384888695/127943973798436783505096\ 164528715041645334*c_1001_5^4 - 34631085835406746413655883018740983\ 31383/9138855271316913107506868894908217260381*c_1001_5^3 + 675047857557022784806615161976508463803/122499549381482026760198455\ 39983355051149*c_1001_5^2 - 494571891792819531421168213655918200768\ 4495/4605983056743724206183461923033741499232024*c_1001_5 + 3091231929808836587737822733474101971924269/46059830567437242061834\ 61923033741499232024, c_0101_9 - 1, c_1001_0 + 7343795305793351242882065746564493317597/3684786445394979364\ 9467695384269931993856192*c_1001_5^17 + 1827706478228305349563899896732972186087/40942071615499770721630772\ 64918881332650688*c_1001_5^16 - 36768459540537068755986146102791678\ 4609/767663842790620701030576987172290249872004*c_1001_5^15 - 7647495050206896156700609929805618629395/46059830567437242061834619\ 23033741499232024*c_1001_5^14 + 15083652495420662792463809464022482\ 3408115/9211966113487448412366923846067482998464048*c_1001_5^13 - 538313709863229318291881682367316602691419/921196611348744841236692\ 3846067482998464048*c_1001_5^12 + 847496041795453737151020223751871\ 32915243/2302991528371862103091730961516870749616012*c_1001_5^11 + 2052343341119624523882368876560889338510349/46059830567437242061834\ 61923033741499232024*c_1001_5^10 + 885648996602009554228749567515188537455919/614131074232496560824461\ 5897378321998976032*c_1001_5^9 - 7621886635005407310456451352804956\ 265287487/2631990318139270974961978241733566570989728*c_1001_5^8 + 10723236626694657783284754223104014962770695/2302991528371862103091\ 730961516870749616012*c_1001_5^7 - 2729321747070244660305994372204248616271907/51177589519374713402038\ 4658114860166581336*c_1001_5^6 + 1907203457271843384183258678364701\ 7272489397/9211966113487448412366923846067482998464048*c_1001_5^5 + 1458636929695689786587816587361774238529003/10235517903874942680407\ 69316229720333162672*c_1001_5^4 + 630533759370018667405848177418707\ 39656317/36555421085267652430027475579632869041524*c_1001_5^3 - 187354507798049443915000134719278426084957/979996395051856214081587\ 64319866840409192*c_1001_5^2 + 168167881483151158260751737116248956\ 132761485/36847864453949793649467695384269931993856192*c_1001_5 - 43369844463628118193386811458689016714254801/3684786445394979364946\ 7695384269931993856192, c_1001_1 + 46361343240188229651722703093433459/102003267764960313721736\ 939182791402976*c_1001_5^17 + 101667781358425415086838047983673361/\ 102003267764960313721736939182791402976*c_1001_5^16 - 15713057349240527934191588909520539/1275040847062003921521711739784\ 8925372*c_1001_5^15 - 25793339016425652035721187425389579/637520423\ 5310019607608558698924462686*c_1001_5^14 + 956220178485961060094715360371357093/255008169412400784304342347956\ 97850744*c_1001_5^13 - 3413555865752351885682801535286208449/255008\ 16941240078430434234795697850744*c_1001_5^12 + 1069860690298681494813405595138609571/12750408470620039215217117397\ 848925372*c_1001_5^11 + 3284108862556907046729997788466993250/31876\ 02117655009803804279349462231343*c_1001_5^10 + 14846061268865991943225619001411149855/5100163388248015686086846959\ 1395701488*c_1001_5^9 - 348403656039295453797421061083214527035/510\ 01633882480156860868469591395701488*c_1001_5^8 + 134949303113990044200032556641194528653/127504084706200392152171173\ 97848925372*c_1001_5^7 - 72850113171246377728313079229314562315/637\ 5204235310019607608558698924462686*c_1001_5^6 + 128120991045083784540387227915546029623/255008169412400784304342347\ 95697850744*c_1001_5^5 + 89508322519898622020511173953385626205/255\ 00816941240078430434234795697850744*c_1001_5^4 + 32911936001833545899427065822829130211/1275040847062003921521711739\ 7848925372*c_1001_5^3 - 13685425035781602116455232829790399173/3187\ 602117655009803804279349462231343*c_1001_5^2 + 790010675132088453059720742152858731403/102003267764960313721736939\ 182791402976*c_1001_5 - 297805093211664751710509299280686409239/102\ 003267764960313721736939182791402976, c_1001_5^18 + 2*c_1001_5^17 - 3*c_1001_5^16 - 8*c_1001_5^15 + 84*c_1001_5^14 - 312*c_1001_5^13 + 252*c_1001_5^12 + 2200*c_1001_5^11 + 202*c_1001_5^10 - 14828*c_1001_5^9 + 26490*c_1001_5^8 - 31720*c_1001_5^7 + 17564*c_1001_5^6 + 5176*c_1001_5^5 + 4932*c_1001_5^4 - 11240*c_1001_5^3 + 22201*c_1001_5^2 - 11326*c_1001_5 + 1853 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.510 seconds, Total memory usage: 32.09MB