Magma V2.19-8 Wed Aug 21 2013 00:31:27 on localhost [Seed = 2530248253] Type ? for help. Type -D to quit. Loading file "K14n18166__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18166 geometric_solution 10.94590921 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 3120 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 -5 0 6 -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.760744490572 0.700127997924 0 4 3 5 0132 0132 3120 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.452471594426 0.503575930043 0 0 7 6 3120 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 -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.437058300986 1.278953843015 8 9 1 0 0132 0132 3120 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 1 0 5 -6 -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.883352205661 0.480171518067 7 1 10 11 1302 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.899786404070 0.662563744044 11 10 1 7 0132 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.455956136588 0.150100068234 7 9 2 8 0132 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.126151600018 0.475005450930 6 4 5 2 0132 2031 2031 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 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.012758937169 1.098744854963 3 12 12 6 0132 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 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.450621896764 0.472309592908 10 3 6 11 0132 0132 0213 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.895166432258 0.470655435343 9 5 12 4 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.305526624763 0.897201319972 5 9 4 12 0132 2310 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.305526624763 0.897201319972 8 8 10 11 2310 0132 3120 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719015783269 1.741562256380 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_1001_10']), 'c_1001_5' : d['c_1001_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : negation(d['c_0101_10']), 'c_1010_10' : d['c_1001_4'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0011_10']), 'c_1100_8' : negation(d['c_0011_10']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_3']), 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : negation(d['c_1001_10']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_1001_10']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_1001_10']), 's_3_1' : d['1'], 's_3_0' : 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'], 'c_1100_12' : negation(d['c_0101_10']), 's_1_7' : d['1'], 's_1_6' : 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_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : d['c_0011_6'], 'c_0110_12' : negation(d['c_0101_0']), 'c_0110_0' : d['c_0101_1'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : negation(d['c_0101_3']), 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_1001_0, c_1001_1, c_1001_10, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 4683126241870030673981346523589630415984696993155804960398750606637\ 88389396781345457786624/5158719506920933202850552635649619987956581\ 3022337420984294742059866975080673648246021*c_1001_4^24 + 8930399066203207562454893401917455373002420786580771105169198044551\ 500748263605040074880/855509039290370348731434931285177444105569038\ 51305839111599903913543905606423960607*c_1001_4^23 - 7060890377648102640163313481042881018178147297808794841451128457298\ 645111977729458232323400/171957316897364440095018421188320666265219\ 37674112473661431580686622325026891216082007*c_1001_4^22 + 7131220107223049657264633199405086867649634623481459802177983361991\ 3210450068983065551357848/51587195069209332028505526356496199879565\ 813022337420984294742059866975080673648246021*c_1001_4^21 - 5970521859295453574526953977152232060364325522906385033239236524139\ 3776381303319013303660224/17195731689736444009501842118832066626521\ 937674112473661431580686622325026891216082007*c_1001_4^20 + 3674406110075100304640334776396686342951671210951587744531775036681\ 85716168039193422427657460/5158719506920933202850552635649619987956\ 5813022337420984294742059866975080673648246021*c_1001_4^19 - 2900119962576800452547690835929135122006283387528593474474110340744\ 1149832009001759800759384/19106368544151604455002046798702296251691\ 04186012497073492397854069147225210135120223*c_1001_4^18 + 1614034626172430911047844953514410833707099635020667311300337471356\ 318943066566898640232074936/515871950692093320285055263564961998795\ 65813022337420984294742059866975080673648246021*c_1001_4^17 - 3777954625474512218705405370767864806100425074997117147238857705207\ 18215570794276691931713040/1719573168973644400950184211883206662652\ 1937674112473661431580686622325026891216082007*c_1001_4^16 + 1119371594966099407418223497615097953091038952505604761100143256441\ 79690395790503272499789660/5731910563245481336500614039610688875507\ 312558037491220477193562207441675630405360669*c_1001_4^15 - 1279485764160968269801743325185191215861770396221721977650447719295\ 70322416810519270621721244/5731910563245481336500614039610688875507\ 312558037491220477193562207441675630405360669*c_1001_4^14 + 3362899240256217656338575209212464976500653567818428632187607313362\ 36300149146092251254613424/5731910563245481336500614039610688875507\ 312558037491220477193562207441675630405360669*c_1001_4^13 + 1679141067864444206072105603701627780106695542368701696665780820287\ 02988017520515222705063768/5731910563245481336500614039610688875507\ 312558037491220477193562207441675630405360669*c_1001_4^12 - 1560881516353730377374377988100118016603427363908028378561689535455\ 785022308039100657714145132/515871950692093320285055263564961998795\ 65813022337420984294742059866975080673648246021*c_1001_4^11 + 7836122922767580119411747125882064415938256334581173035891141698425\ 1387586853218805695718/15162447482352917740500698455896364188803401\ 52906487405116972108863620935269483827*c_1001_4^10 + 4784909333191928613578033921075788529187293968932156113370100565504\ 54962854957850125038845756/4689745006291757457136866032408745443596\ 892092939765544026794732715179552788513476911*c_1001_4^9 - 1889387078125839922449374154104606631975085194462859902946313867100\ 42426222787386636868980586/1910636854415160445500204679870229625169\ 104186012497073492397854069147225210135120223*c_1001_4^8 + 3106017875689115627194955066781976404812760716672715543916960652555\ 612261850836563006805570428/515871950692093320285055263564961998795\ 65813022337420984294742059866975080673648246021*c_1001_4^7 + 6587948149934184799464096007586967519034014207354234516412475382137\ 20496518413989677262982740/5158719506920933202850552635649619987956\ 5813022337420984294742059866975080673648246021*c_1001_4^6 - 8104849151455486861766693935937995559471760488867278705525606914606\ 6196454445932226301510114/46897450062917574571368660324087454435968\ 92092939765544026794732715179552788513476911*c_1001_4^5 - 1072412178798803382206475284339662853413254164289911840176120222408\ 7686696769519358018916366/46897450062917574571368660324087454435968\ 92092939765544026794732715179552788513476911*c_1001_4^4 + 5569935831363799515938877456547345745687110130211266478992889890997\ 3565949010205739996443507/51587195069209332028505526356496199879565\ 813022337420984294742059866975080673648246021*c_1001_4^3 + 6288617946570969768710000401579963780091519107222667587942409654252\ 6674787268267027679365778/51587195069209332028505526356496199879565\ 813022337420984294742059866975080673648246021*c_1001_4^2 - 2271344578848168599509899945477399007415617778266688541526570824209\ 7041736220150381808744068/51587195069209332028505526356496199879565\ 813022337420984294742059866975080673648246021*c_1001_4 + 6681341194866468819879686954414899447409249125859921271220765557523\ 78278827383520016190982/1719573168973644400950184211883206662652193\ 7674112473661431580686622325026891216082007, c_0011_0 - 1, c_0011_10 - 25407293082321395105498104092190411917926789863712241896182\ 727236/487191263055790821115073713618269034953488362753740579099180\ 741651*c_1001_4^24 + 1359306034034676221929574620147601857202799660\ 837121141115336312/242383712963080010505011797820034345748004160574\ 0002881090451451*c_1001_4^23 - 308738045534398221057810138745390924\ 262907119403956542034125208608/162397087685263607038357904539423011\ 651162787584580193033060247217*c_1001_4^22 + 2955205018781679774561733184061366678994068571292203129952215420432\ /487191263055790821115073713618269034953488362753740579099180741651\ *c_1001_4^21 - 2211852444991003053539130874636946114936897237976168\ 378288461183140/162397087685263607038357904539423011651162787584580\ 193033060247217*c_1001_4^20 + 1203836882193040163893400036643447907\ 0717567133438439189668899543316/48719126305579082111507371361826903\ 4953488362753740579099180741651*c_1001_4^19 - 8702198242971103232093536164971649828646667394818184596203900934324\ /162397087685263607038357904539423011651162787584580193033060247217\ *c_1001_4^18 + 5298578757942573864018407256926170276763179168713094\ 9172614092409780/48719126305579082111507371361826903495348836275374\ 0579099180741651*c_1001_4^17 + 338480391856280201460796336087835059\ 1816832265088191834744741617092/16239708768526360703835790453942301\ 1651162787584580193033060247217*c_1001_4^16 - 1371105520103897867674276948437560674529586954352579305471604893434\ /162397087685263607038357904539423011651162787584580193033060247217\ *c_1001_4^15 - 6609720046225632850900440530522765598361604134595405\ 357400746009032/162397087685263607038357904539423011651162787584580\ 193033060247217*c_1001_4^14 + 3721656636542227164542162228442770460\ 8040367233177092684196700800778/16239708768526360703835790453942301\ 1651162787584580193033060247217*c_1001_4^13 + 7041763937622861538293328219291068107987924027966944867054194104241\ 2/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^12 - 504534537443109472705712362152072374075485008252447\ 76526778525627838/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^11 + 13940914364272212918703793244733026\ 644551468485046286365798544168/157514149064271199843218142133290990\ 932262645571852757549040007*c_1001_4^10 + 3926269581007977632557443491814459471226097960344656644344030356976\ 16/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^9 - 265500664004244180742875964842088811234058617409870\ 0940870120339319/14763371607751237003487082230856637422832980689507\ 290275732749747*c_1001_4^8 - 11470993778646014486442605693829392415\ 4537023741235163585962246089182/48719126305579082111507371361826903\ 4953488362753740579099180741651*c_1001_4^7 + 1735029706572982265149482158179075975243348260719068322230883921223\ 14/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^6 - 312861646519518019710419934785233647113055128697708\ 52262567538172274/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^5 - 646900894693972566465735475141242802\ 67864089318914879947276592262214/4871912630557908211150737136182690\ 34953488362753740579099180741651*c_1001_4^4 - 185884773593610819802686849601174196944749217285277705908593142862/\ 487191263055790821115073713618269034953488362753740579099180741651*\ c_1001_4^3 + 107612727243664387447223903649981022482570968495087360\ 24491292022118/4871912630557908211150737136182690349534883627537405\ 79099180741651*c_1001_4^2 + 275055337917973444637862221256496264621\ 0452060750404627142232255292/48719126305579082111507371361826903495\ 3488362753740579099180741651*c_1001_4 - 405174273238713187995149298098466154045350813333726594429621078788/\ 162397087685263607038357904539423011651162787584580193033060247217, c_0011_6 + 708411319010923576135173783360788444773725918984399840951781\ 527352/487191263055790821115073713618269034953488362753740579099180\ 741651*c_1001_4^24 - 4138891923585110485016936075592528383131291909\ 4921943066351334052/24238371296308001050501179782003434574800416057\ 40002881090451451*c_1001_4^23 + 11333650787409095777988963180136745\ 769147311457070650912172886189780/162397087685263607038357904539423\ 011651162787584580193033060247217*c_1001_4^22 - 1153233845990995665316374379834908327362441554585414502398943347566\ 64/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^21 + 89658026025290540135461734478246322969814622135825\ 46823522855131776/1476337160775123700348708223085663742283298068950\ 7290275732749747*c_1001_4^20 - 617212051486534310762092193680855993\ 352003302526277537175837316831756/487191263055790821115073713618269\ 034953488362753740579099180741651*c_1001_4^19 + 3965061301426443440258784817212721256309654708980097586150924391267\ 6/14763371607751237003487082230856637422832980689507290275732749747\ *c_1001_4^18 - 2707173117732332748567481651677132983142677396576051\ 980730283772383484/487191263055790821115073713618269034953488362753\ 740579099180741651*c_1001_4^17 + 7533167370217409345829903112520245\ 31970916785075504941708616583415112/1623970876852636070383579045394\ 23011651162787584580193033060247217*c_1001_4^16 - 6123925300000497493563952309678253667195544721775846370586312239635\ 52/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^15 + 68583293955156874742067464387617021941783147175625\ 6467604624199168390/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^14 - 164769282150166390984028556291464\ 6847102862830244997649886755531237862/16239708768526360703835790453\ 9423011651162787584580193033060247217*c_1001_4^13 - 4118486637901334181374881705557828256938136524347376170714284027299\ 38/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 + 31260695933887757268854653392860608043047226917905\ 71258764152346310626/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^11 - 1437864713619286786739033449462817358099124575954194694362882646566\ /157514149064271199843218142133290990932262645571852757549040007*c_\ 1001_4^10 - 7045049478232091722237674280154791932549985035105790311\ 061462025710166/487191263055790821115073713618269034953488362753740\ 579099180741651*c_1001_4^9 + 32826947290376493207180740686612018726\ 48179164513124967343626370669376/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^8 - 5593307611459553685699757018639144634699765655464515680436735855005\ 11/4429011482325371101046124669256991226849894206852187082719824924\ 1*c_1001_4^7 - 1107315453328987290332473071737791965466432109326672\ 63063997675709557/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^6 + 176367418227388379086958105968256406\ 6448558028408905532424624472577858/48719126305579082111507371361826\ 9034953488362753740579099180741651*c_1001_4^5 - 6210300947486935826307124506624941559292746921738599569664266373455\ 0/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4^4 - 1711094539709833855054641195607245257885003296468121\ 52259656116611912/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^3 - 904878953326123950946403754371601431\ 71517384087582742221448255959497/4871912630557908211150737136182690\ 34953488362753740579099180741651*c_1001_4^2 + 5713942595148871319228712190491741710487088564330469024187268142350\ 9/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4 - 242227182167563599393925565325254603555030201532592480\ 5740019871637/16239708768526360703835790453942301165116278758458019\ 3033060247217, c_0101_0 - 184255266197003462003687919132230244852968462775164877138858\ 284548/162397087685263607038357904539423011651162787584580193033060\ 247217*c_1001_4^24 + 3265085100276266357438653387761147004961403373\ 5010357830792338104/24238371296308001050501179782003434574800416057\ 40002881090451451*c_1001_4^23 - 91149358048942298524650450870064982\ 53356172411460236908295547484816/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^22 + 3104340783402786442751260751605941235529220796382191058895275897819\ 6/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^21 - 804635156117803932293347748123703162074296493069791\ 46701323235250216/1623970876852636070383579045394230116511627875845\ 80193033060247217*c_1001_4^20 + 16924539497186414920536521830306316\ 3851476230686641699640973926729864/16239708768526360703835790453942\ 3011651162787584580193033060247217*c_1001_4^19 - 3579967819407525559454307812264226807571736945173610080599898074821\ 36/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^18 + 74184339702848998180597293442468789205570701980668\ 8994107052846222656/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^17 - 665432824555383054301741533810579\ 515018199895325162062195462240980616/162397087685263607038357904539\ 423011651162787584580193033060247217*c_1001_4^16 + 5262309748936219048265267660513564631187032153039362227600181714713\ 34/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^15 - 57900210684395563796857170680245283953679598012859\ 4285079371877902064/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^14 + 133878429571570012050166718152231\ 7613848978737250937321538094521297174/16239708768526360703835790453\ 9423011651162787584580193033060247217*c_1001_4^13 + 1746145789418884507543871559704515408141770851380815556806439679587\ 38/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 - 82436820683151499668258376109738026238641774383961\ 277119432762192832/147633716077512370034870822308566374228329806895\ 07290275732749747*c_1001_4^11 + 10855290847154484217280916396157388\ 3504728933216754723989956274232/14319468096751927258474376557571908\ 266569331415622977959003637*c_1001_4^10 + 1554251462507617498881162559813560161846081845908864487265781761294\ 76/1476337160775123700348708223085663742283298068950729027573274974\ 7*c_1001_4^9 - 2841324310095047362654212262526142312351754770370098\ 985809748211971571/162397087685263607038357904539423011651162787584\ 580193033060247217*c_1001_4^8 + 18354272803029102044660617611914950\ 94810759026995834854997999092679432/1623970876852636070383579045394\ 23011651162787584580193033060247217*c_1001_4^7 - 9317865296270247511502530342316692719993963688077562920192247058775\ 8/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^6 - 5074348709894793940582004978740243104282927303223198\ 60499021069830647/1623970876852636070383579045394230116511627875845\ 80193033060247217*c_1001_4^5 + 610676750327770188510225213383288422\ 79133715486570283272660366712351/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^4 + 5725644307082540377970745604758253101406081358941014028525329718024\ 3/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^3 + 2234819547906874040527618031144372876783911558501184\ 2354858476697645/16239708768526360703835790453942301165116278758458\ 0193033060247217*c_1001_4^2 - 1854727583827687279057595116297973427\ 1560796200112099458097469121471/16239708768526360703835790453942301\ 1651162787584580193033060247217*c_1001_4 + 2488234549468007079302815713255618549516980307956980961588086663265\ /162397087685263607038357904539423011651162787584580193033060247217\ , c_0101_1 + 323155278292260130813577789053972754044682942478619099099401\ 125432/487191263055790821115073713618269034953488362753740579099180\ 741651*c_1001_4^24 - 1887544313835272875714403242832032549222901778\ 8171542418066443260/24238371296308001050501179782003434574800416057\ 40002881090451451*c_1001_4^23 + 51667552308595136373279747183938899\ 52399548320096365723890880779656/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^22 - 5257661125884486682583273969368827864005837419825393254113692673055\ 2/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4^21 + 408665567233448181012259521017076259387370249421222\ 8072809209228440/14763371607751237003487082230856637422832980689507\ 290275732749747*c_1001_4^20 - 2813159595685598379223751966189226463\ 79214314277099041901572449173100/4871912630557908211150737136182690\ 34953488362753740579099180741651*c_1001_4^19 + 1807279818760539327424550040314854760352454496197665341780845976890\ 0/14763371607751237003487082230856637422832980689507290275732749747\ *c_1001_4^18 - 1233811905511459667761348927825040605366329780256212\ 577040868934179524/487191263055790821115073713618269034953488362753\ 740579099180741651*c_1001_4^17 + 3429227088637735447951242572961054\ 54701269963420792353650835692780136/1623970876852636070383579045394\ 23011651162787584580193033060247217*c_1001_4^16 - 2793675112168463619977166135797802067876629211193018389915994296231\ 20/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^15 + 31164636760250513562449603411784071735783133852288\ 7287457717009438298/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^14 - 751540897880386424743788884437336\ 388653260919524779912007662915773760/162397087685263607038357904539\ 423011651162787584580193033060247217*c_1001_4^13 - 1896749318986387095635670527584078093271016545580597630296329475134\ 02/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 + 14163231728024625334288015274481580309082881367014\ 68538150530914093792/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^11 - 659646567568803178080206950341675442577973733319211092847355662142/\ 157514149064271199843218142133290990932262645571852757549040007*c_1\ 001_4^10 - 32288750799177013729702144520293313397388623235258219780\ 69915688990614/4871912630557908211150737136182690349534883627537405\ 79099180741651*c_1001_4^9 + 149083470539841551062733740200217362786\ 0579221275897487356423081019998/16239708768526360703835790453942301\ 1651162787584580193033060247217*c_1001_4^8 - 2565001187466179028692281817166369122162713262476494875601478788276\ 91/4429011482325371101046124669256991226849894206852187082719824924\ 1*c_1001_4^7 - 7112522533955649767758472617789897180534251258363505\ 1775062271336202/48719126305579082111507371361826903495348836275374\ 0579099180741651*c_1001_4^6 + 7976649860623229874672239806433389019\ 68078108971039046216212971448982/4871912630557908211150737136182690\ 34953488362753740579099180741651*c_1001_4^5 - 3393508680660630543924585331838720699651178112841661180010164238125\ 8/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4^4 - 8380622388534921512854461577784817702188811271321746\ 0109151411348888/48719126305579082111507371361826903495348836275374\ 0579099180741651*c_1001_4^3 - 4081001547779010583408955785562314271\ 8816615659355742268275608974722/48719126305579082111507371361826903\ 4953488362753740579099180741651*c_1001_4^2 + 2736682952621071360305515521893945471929701518467530207907300093346\ 5/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4 - 994335673402289670528612222455806029568838908053842352\ 503237379631/162397087685263607038357904539423011651162787584580193\ 033060247217, c_0101_10 + 78337134749467648290653563660240548525775985115794007977411\ 9247860/48719126305579082111507371361826903495348836275374057909918\ 0741651*c_1001_4^24 - 453212588698671842941210449296978437376618631\ 86594192070277804704/2423837129630800105050117978200343457480041605\ 740002881090451451*c_1001_4^23 + 1219105382472916774088636922776258\ 8298682647304550547409620511431176/16239708768526360703835790453942\ 3011651162787584580193033060247217*c_1001_4^22 - 1235521715061938863566773185416965101467936785742186723901726105377\ 44/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^21 + 95105408482028076063571669116293812621146237450372\ 59757710016761260/1476337160775123700348708223085663742283298068950\ 7290275732749747*c_1001_4^20 - 649334952939619973262938952426947077\ 417775015831813543607167792727148/487191263055790821115073713618269\ 034953488362753740579099180741651*c_1001_4^19 + 4179899210954972190424900950639945148757594156902498622944618276226\ 0/14763371607751237003487082230856637422832980689507290275732749747\ *c_1001_4^18 - 2849354868544347288047655122916350771793134204553546\ 451506806597768792/487191263055790821115073713618269034953488362753\ 740579099180741651*c_1001_4^17 + 7340329714089445372259530752690594\ 07918583724699482111991635670545744/1623970876852636070383579045394\ 23011651162787584580193033060247217*c_1001_4^16 - 6134683349016151840051412810977788172799609870638673485982928780235\ 98/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^15 + 69953470270569691827824156118758854686103565683094\ 4417166249577421472/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^14 - 175305282045669600692297873285027\ 6370736499503901906409459454324696666/16239708768526360703835790453\ 9423011651162787584580193033060247217*c_1001_4^13 - 6432949902765731059594346751516624789231109054346984817160252828640\ 52/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 + 31183102689221644015496283441299270841393966785628\ 63112380881410931678/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^11 - 1502893638010271892853461979180865736159585474415690335694080683448\ /157514149064271199843218142133290990932262645571852757549040007*c_\ 1001_4^10 - 8272829805336316865952502865856411349468482634669944979\ 566849201845956/487191263055790821115073713618269034953488362753740\ 579099180741651*c_1001_4^9 + 32793952290021035368576124242673997517\ 14784408885309577203360339694259/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^8 - 5378059928073493457637506907045123405252245593403847208595903682958\ 84/4429011482325371101046124669256991226849894206852187082719824924\ 1*c_1001_4^7 - 6297509510221229073176317752661472597667336341923529\ 62919284504813378/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^6 + 178489831671259460036880955654143502\ 5130318069195990692349706436791584/48719126305579082111507371361826\ 9034953488362753740579099180741651*c_1001_4^5 + 8533322953449634983645498012940538010398948120718025457150208334570\ 0/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4^4 - 1439944069849347481041998352137504098919762909436720\ 45855167778396344/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^3 - 106819195453717200883284501822791585\ 324061622098736061646569359341926/487191263055790821115073713618269\ 034953488362753740579099180741651*c_1001_4^2 + 5082401191375996544604544202810339168407717978833596759985492279916\ 1/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4 - 174070098810069480253023957380942060074790622090211714\ 4243088944050/16239708768526360703835790453942301165116278758458019\ 3033060247217, c_0101_11 + c_1001_4, c_0101_12 + 86103531098774223163346307184219030634135507586415543126623\ 9960784/48719126305579082111507371361826903495348836275374057909918\ 0741651*c_1001_4^24 - 504106241562705833350663902649875659198763957\ 75323657091144196624/2423837129630800105050117978200343457480041605\ 740002881090451451*c_1001_4^23 + 1385740616540222002741140542781735\ 1037549000572670091840320973691120/16239708768526360703835790453942\ 3011651162787584580193033060247217*c_1001_4^22 - 1411621850188301319134361874466126605813380329630447969249711252403\ 76/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^21 + 12098201435706707150982008111969442651400151803328\ 9232829649275660448/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^20 - 758645222722657241780309151785060\ 627653458769164756686187247003757000/487191263055790821115073713618\ 269034953488362753740579099180741651*c_1001_4^19 + 5359159812583126869853886227304415258515958311651784289751990548328\ 64/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^18 - 33271320311881021159493552201784692053459060227493\ 97504229974615904268/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^17 + 9409509511316234499847169994868019014722557292487524087334284714608\ 08/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^16 - 76359524785340417260140915739004121106681375071061\ 8482660022715272744/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^15 + 847138766491622878641262085221036\ 944974581103610571795206805037625776/162397087685263607038357904539\ 423011651162787584580193033060247217*c_1001_4^14 - 2020741969767374615354921245260833790570978115816755114413113397335\ 216/162397087685263607038357904539423011651162787584580193033060247\ 217*c_1001_4^13 - 4548214753461452255766852047367218512545609814072\ 05241312259137402704/1623970876852636070383579045394230116511627875\ 84580193033060247217*c_1001_4^12 + 3501393469414017719664258552984527134327602610794039861209874468257\ 24/4429011482325371101046124669256991226849894206852187082719824924\ 1*c_1001_4^11 - 162159368369699749053297320638868160036444043805692\ 022751998155312/143194680967519272584743765575719082665693314156229\ 77959003637*c_1001_4^10 - 76886258657029381842487100607022644205209\ 2541992308871834488957194490/44290114823253711010461246692569912268\ 498942068521870827198249241*c_1001_4^9 + 4062425420938789126979188529826031841580702987909734576097503714749\ 818/162397087685263607038357904539423011651162787584580193033060247\ 217*c_1001_4^8 - 77756635179426679757659514490839368446543858949319\ 25649441127095821904/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^7 - 139228797155514161437492356403717\ 81863699035915715260558018800827566/4871912630557908211150737136182\ 69034953488362753740579099180741651*c_1001_4^6 + 2173294052918568809658081582662064990870968099823868223443967625149\ 042/487191263055790821115073713618269034953488362753740579099180741\ 651*c_1001_4^5 - 14097868389058760778826513463235767532547785801188\ 4340478498849157898/48719126305579082111507371361826903495348836275\ 3740579099180741651*c_1001_4^4 - 2156635350094636534777023222199094\ 07692574672679271381167146216409576/4871912630557908211150737136182\ 69034953488362753740579099180741651*c_1001_4^3 - 1051713617283502573864862797612089639813173809254519019572156465322\ 66/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^2 + 746652984039983325498624185950654183497293885303361\ 96702100299206341/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4 - 32047591771128124065629438264567404989\ 84021577065974318096969251332/1623970876852636070383579045394230116\ 51162787584580193033060247217, c_0101_3 - 105633447211830374951255111668414389625483177756456739876376\ 0021740/48719126305579082111507371361826903495348836275374057909918\ 0741651*c_1001_4^24 + 618657941144427740066744844371334720897176564\ 59403800053518196272/2423837129630800105050117978200343457480041605\ 740002881090451451*c_1001_4^23 - 1701407626829998356034955175835880\ 2879512142847912525988674282162600/16239708768526360703835790453942\ 3011651162787584580193033060247217*c_1001_4^22 + 1732829574790353507080375669367014690166967184383205880360407751178\ 64/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^21 - 14853056483954040480292716391622289527062224027616\ 1183916032825379292/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^20 + 931273335198360067390655354354690\ 972869941601934864246921717002618300/487191263055790821115073713618\ 269034953488362753740579099180741651*c_1001_4^19 - 6577316386266241997158511469643783159977339958601622089459672880961\ 00/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^18 + 40838772747600639058667151690686149099086658042871\ 17318952985165389240/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^17 - 1155644976537762949772767146998546506518066982273481782811083090045\ 484/162397087685263607038357904539423011651162787584580193033060247\ 217*c_1001_4^16 + 9328685375550823896012133640770527095180173460514\ 16249381851628330058/1623970876852636070383579045394230116511627875\ 84580193033060247217*c_1001_4^15 - 1039799032536009868016576500277021323313962341594100610560962887983\ 660/162397087685263607038357904539423011651162787584580193033060247\ 217*c_1001_4^14 + 2479042687282196999633981815684485277782727119397\ 289380307077189592582/162397087685263607038357904539423011651162787\ 584580193033060247217*c_1001_4^13 + 5531230460880881206740821989689672522538365769563789875107066663602\ 48/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 - 47826760772042249336768602275011014052862106264350\ 98182006125309372242/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^11 + 2177082892198362807482173053456876710201635422476868155383582534096\ /157514149064271199843218142133290990932262645571852757549040007*c_\ 1001_4^10 + 1036200163654132980336863516332240574291526846389093692\ 6808834078065624/48719126305579082111507371361826903495348836275374\ 0579099180741651*c_1001_4^9 - 4556555517634304763992898653735199262\ 47121235622939446408865368990031/1476337160775123700348708223085663\ 7422832980689507290275732749747*c_1001_4^8 + 9475507192757445822844267607089759406865200936344115430771496646662\ 604/487191263055790821115073713618269034953488362753740579099180741\ 651*c_1001_4^7 + 31956710310302676695013679195836197779126156578615\ 018718889891682682/487191263055790821115073713618269034953488362753\ 740579099180741651*c_1001_4^6 - 26924474333852790181292749991559253\ 48258899135478268747992475166199432/4871912630557908211150737136182\ 69034953488362753740579099180741651*c_1001_4^5 + 1518790424788930527717587391358960183780793563460129534947630879107\ 68/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^4 + 274644431111943894076754512031059212470119838561936\ 767975895695697936/487191263055790821115073713618269034953488362753\ 740579099180741651*c_1001_4^3 + 13669772264467235701131603703383024\ 4088951653720555280314533244773590/48719126305579082111507371361826\ 9034953488362753740579099180741651*c_1001_4^2 - 9046198002958662153626462991246941252829892187498359233764894241905\ 9/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4 + 364892221178963577562347612945097622947967820656225824\ 8641769462262/16239708768526360703835790453942301165116278758458019\ 3033060247217, c_1001_0 - 203624594054918796603855220924334948178641405851565025572685\ 20/11204177794903544399307170931588644641664290935624050297798697*c\ _1001_4^24 + 883970751753346895760072371784514945986781393082121708\ 390664604/410819852479796627974596267491583636861024000972881844252\ 61889*c_1001_4^23 - 36653411191233334105332041175681963157986083271\ 95827205197832032/4108198524797966279745962674915836368610240009728\ 8184425261889*c_1001_4^22 + 374121950437440868558247022153475378880\ 07833052450435084569381128/1232459557439389883923788802474750910583\ 07200291864553275785667*c_1001_4^21 - 32241760993772979159342501005017340966400526533202488826312646320/4\ 1081985247979662797459626749158363686102400097288184425261889*c_100\ 1_4^20 + 2030405762975209458810042423464143291205887326501364415940\ 05078132/1232459557439389883923788802474750910583072002918645532757\ 85667*c_1001_4^19 - 14323995178928128360099018228666693769756977232\ 8273649795625368852/41081985247979662797459626749158363686102400097\ 288184425261889*c_1001_4^18 + 8901232263932561621317238937137268894\ 46078528712066835967522419016/1232459557439389883923788802474750910\ 58307200291864553275785667*c_1001_4^17 - 261629702620040743563904985956653901392664520653482529234724995700/\ 41081985247979662797459626749158363686102400097288184425261889*c_10\ 01_4^16 + 208305703675094900327271033660762489853019989065702560143\ 685957844/410819852479796627974596267491583636861024000972881844252\ 61889*c_1001_4^15 - 23007615259672629703054541755047608539045218601\ 9159088924767184686/41081985247979662797459626749158363686102400097\ 288184425261889*c_1001_4^14 + 5371405242653235670409418676869093743\ 18852026928640488514132903872/4108198524797966279745962674915836368\ 6102400097288184425261889*c_1001_4^13 + 85859985610035520121259782329323454858873050522887781521887421450/4\ 1081985247979662797459626749158363686102400097288184425261889*c_100\ 1_4^12 - 1072494576680544882856915955668594791395743167594413452874\ 569416640/123245955743938988392378880247475091058307200291864553275\ 785667*c_1001_4^11 + 4767169135322515161703160000948131878871228440\ 47164579876306682/3984673641899094354748751382071616264413423869766\ 0702643319*c_1001_4^10 + 211789446898448011699375996207558956191228\ 9385541591649359541197100/12324595574393898839237888024747509105830\ 7200291864553275785667*c_1001_4^9 - 1122047177620543436360945260535821397861924263788035166749977009538\ /41081985247979662797459626749158363686102400097288184425261889*c_1\ 001_4^8 + 215924838745377893190127996944146500455080560417155103834\ 4758947001/12324595574393898839237888024747509105830720029186455327\ 5785667*c_1001_4^7 - 7363625492754366932226439259473263035193565287\ 8297985705935432104/12324595574393898839237888024747509105830720029\ 1864553275785667*c_1001_4^6 - 5456449826887237760353561829400713441\ 2272431099055241005249226600/11204177794903544399307170931588644641\ 664290935624050297798697*c_1001_4^5 + 59345001981762951644757390815538711721344693364793943634620530284/1\ 23245955743938988392378880247475091058307200291864553275785667*c_10\ 01_4^4 + 6672796929545551022266009113351438058584733502947388883778\ 0660756/12324595574393898839237888024747509105830720029186455327578\ 5667*c_1001_4^3 + 2815625021264321678051947366870054116055886545634\ 7849712928924932/12324595574393898839237888024747509105830720029186\ 4553275785667*c_1001_4^2 - 2170985273042793305422400629913182165268\ 2734727754073755629466377/12324595574393898839237888024747509105830\ 7200291864553275785667*c_1001_4 + 894045308317039557395996898366625\ 244092798370632424113141389836/410819852479796627974596267491583636\ 86102400097288184425261889, c_1001_1 - 708411319010923576135173783360788444773725918984399840951781\ 527352/487191263055790821115073713618269034953488362753740579099180\ 741651*c_1001_4^24 + 4138891923585110485016936075592528383131291909\ 4921943066351334052/24238371296308001050501179782003434574800416057\ 40002881090451451*c_1001_4^23 - 11333650787409095777988963180136745\ 769147311457070650912172886189780/162397087685263607038357904539423\ 011651162787584580193033060247217*c_1001_4^22 + 1153233845990995665316374379834908327362441554585414502398943347566\ 64/4871912630557908211150737136182690349534883627537405790991807416\ 51*c_1001_4^21 - 89658026025290540135461734478246322969814622135825\ 46823522855131776/1476337160775123700348708223085663742283298068950\ 7290275732749747*c_1001_4^20 + 617212051486534310762092193680855993\ 352003302526277537175837316831756/487191263055790821115073713618269\ 034953488362753740579099180741651*c_1001_4^19 - 3965061301426443440258784817212721256309654708980097586150924391267\ 6/14763371607751237003487082230856637422832980689507290275732749747\ *c_1001_4^18 + 2707173117732332748567481651677132983142677396576051\ 980730283772383484/487191263055790821115073713618269034953488362753\ 740579099180741651*c_1001_4^17 - 7533167370217409345829903112520245\ 31970916785075504941708616583415112/1623970876852636070383579045394\ 23011651162787584580193033060247217*c_1001_4^16 + 6123925300000497493563952309678253667195544721775846370586312239635\ 52/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^15 - 68583293955156874742067464387617021941783147175625\ 6467604624199168390/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^14 + 164769282150166390984028556291464\ 6847102862830244997649886755531237862/16239708768526360703835790453\ 9423011651162787584580193033060247217*c_1001_4^13 + 4118486637901334181374881705557828256938136524347376170714284027299\ 38/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 - 31260695933887757268854653392860608043047226917905\ 71258764152346310626/4871912630557908211150737136182690349534883627\ 53740579099180741651*c_1001_4^11 + 1437864713619286786739033449462817358099124575954194694362882646566\ /157514149064271199843218142133290990932262645571852757549040007*c_\ 1001_4^10 + 7045049478232091722237674280154791932549985035105790311\ 061462025710166/487191263055790821115073713618269034953488362753740\ 579099180741651*c_1001_4^9 - 32826947290376493207180740686612018726\ 48179164513124967343626370669376/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^8 + 5593307611459553685699757018639144634699765655464515680436735855005\ 11/4429011482325371101046124669256991226849894206852187082719824924\ 1*c_1001_4^7 + 1107315453328987290332473071737791965466432109326672\ 63063997675709557/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^6 - 176367418227388379086958105968256406\ 6448558028408905532424624472577858/48719126305579082111507371361826\ 9034953488362753740579099180741651*c_1001_4^5 + 6210300947486935826307124506624941559292746921738599569664266373455\ 0/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4^4 + 1711094539709833855054641195607245257885003296468121\ 52259656116611912/4871912630557908211150737136182690349534883627537\ 40579099180741651*c_1001_4^3 + 904878953326123950946403754371601431\ 71517384087582742221448255959497/4871912630557908211150737136182690\ 34953488362753740579099180741651*c_1001_4^2 - 5713942595148871319228712190491741710487088564330469024187268142350\ 9/48719126305579082111507371361826903495348836275374057909918074165\ 1*c_1001_4 + 242227182167563599393925565325254603555030201532592480\ 5740019871637/16239708768526360703835790453942301165116278758458019\ 3033060247217, c_1001_10 + 18425526619700346200368791913223024485296846277516487713885\ 8284548/16239708768526360703835790453942301165116278758458019303306\ 0247217*c_1001_4^24 - 326508510027626635743865338776114700496140337\ 35010357830792338104/2423837129630800105050117978200343457480041605\ 740002881090451451*c_1001_4^23 + 9114935804894229852465045087006498\ 253356172411460236908295547484816/162397087685263607038357904539423\ 011651162787584580193033060247217*c_1001_4^22 - 3104340783402786442751260751605941235529220796382191058895275897819\ 6/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^21 + 804635156117803932293347748123703162074296493069791\ 46701323235250216/1623970876852636070383579045394230116511627875845\ 80193033060247217*c_1001_4^20 - 16924539497186414920536521830306316\ 3851476230686641699640973926729864/16239708768526360703835790453942\ 3011651162787584580193033060247217*c_1001_4^19 + 3579967819407525559454307812264226807571736945173610080599898074821\ 36/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^18 - 74184339702848998180597293442468789205570701980668\ 8994107052846222656/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^17 + 665432824555383054301741533810579\ 515018199895325162062195462240980616/162397087685263607038357904539\ 423011651162787584580193033060247217*c_1001_4^16 - 5262309748936219048265267660513564631187032153039362227600181714713\ 34/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^15 + 57900210684395563796857170680245283953679598012859\ 4285079371877902064/16239708768526360703835790453942301165116278758\ 4580193033060247217*c_1001_4^14 - 133878429571570012050166718152231\ 7613848978737250937321538094521297174/16239708768526360703835790453\ 9423011651162787584580193033060247217*c_1001_4^13 - 1746145789418884507543871559704515408141770851380815556806439679587\ 38/1623970876852636070383579045394230116511627875845801930330602472\ 17*c_1001_4^12 + 82436820683151499668258376109738026238641774383961\ 277119432762192832/147633716077512370034870822308566374228329806895\ 07290275732749747*c_1001_4^11 - 10855290847154484217280916396157388\ 3504728933216754723989956274232/14319468096751927258474376557571908\ 266569331415622977959003637*c_1001_4^10 - 1554251462507617498881162559813560161846081845908864487265781761294\ 76/1476337160775123700348708223085663742283298068950729027573274974\ 7*c_1001_4^9 + 2841324310095047362654212262526142312351754770370098\ 985809748211971571/162397087685263607038357904539423011651162787584\ 580193033060247217*c_1001_4^8 - 18354272803029102044660617611914950\ 94810759026995834854997999092679432/1623970876852636070383579045394\ 23011651162787584580193033060247217*c_1001_4^7 + 9317865296270247511502530342316692719993963688077562920192247058775\ 8/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^6 + 5074348709894793940582004978740243104282927303223198\ 60499021069830647/1623970876852636070383579045394230116511627875845\ 80193033060247217*c_1001_4^5 - 610676750327770188510225213383288422\ 79133715486570283272660366712351/1623970876852636070383579045394230\ 11651162787584580193033060247217*c_1001_4^4 - 5725644307082540377970745604758253101406081358941014028525329718024\ 3/16239708768526360703835790453942301165116278758458019303306024721\ 7*c_1001_4^3 - 2234819547906874040527618031144372876783911558501184\ 2354858476697645/16239708768526360703835790453942301165116278758458\ 0193033060247217*c_1001_4^2 + 1854727583827687279057595116297973427\ 1560796200112099458097469121471/16239708768526360703835790453942301\ 1651162787584580193033060247217*c_1001_4 - 2488234549468007079302815713255618549516980307956980961588086663265\ /162397087685263607038357904539423011651162787584580193033060247217\ , c_1001_4^25 - 12*c_1001_4^24 + 51*c_1001_4^23 - 175*c_1001_4^22 + 459*c_1001_4^21 - 977*c_1001_4^20 + 2067*c_1001_4^19 - 4288*c_1001_4^18 + 4155*c_1001_4^17 - 6759/2*c_1001_4^16 + 3546*c_1001_4^15 - 7704*c_1001_4^14 + 45/2*c_1001_4^13 + 4921*c_1001_4^12 - 14769/2*c_1001_4^11 - 16747/2*c_1001_4^10 + 66003/4*c_1001_4^9 - 12151*c_1001_4^8 + 7837/4*c_1001_4^7 + 10337/4*c_1001_4^6 - 1427/2*c_1001_4^5 - 238*c_1001_4^4 - 289/4*c_1001_4^3 + 463/4*c_1001_4^2 - 117/4*c_1001_4 + 9/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.540 Total time: 2.759 seconds, Total memory usage: 32.09MB