Magma V2.19-8 Tue Aug 20 2013 23:46:37 on localhost [Seed = 3599809739] Type ? for help. Type -D to quit. Loading file "K14n21976__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n21976 geometric_solution 10.68026219 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 -1 0 0 0 0 4 0 0 -4 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.252431581512 1.084488101282 0 5 6 4 0132 0132 0132 3120 0 0 0 0 0 -1 0 1 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 -4 0 4 0 0 1 -1 0 0 0 0 -4 -1 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669774533380 0.557730009345 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 -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 -4 4 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559636681860 0.236243848043 4 9 10 0 3120 0213 0132 0132 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 1 0 -1 0 0 5 0 -5 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.420613823932 0.402403381729 1 9 0 3 3120 0132 0132 3120 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 1 -1 1 0 0 -1 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.359120167362 0.637251515010 7 1 8 11 3201 0132 1302 0132 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 4 -4 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 1.070154032957 1.264461593043 11 11 7 1 0213 0132 3012 0132 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 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.369321371609 0.678789714367 2 6 11 5 0132 1230 2031 2310 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 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.522524815247 1.045047277486 5 10 2 10 2031 1023 0132 1302 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 -1 1 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395790538314 0.672372852853 10 4 3 2 1230 0132 0213 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 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.456116286770 0.733137286726 8 9 8 3 1023 3012 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 -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.395790538314 0.672372852853 6 6 5 7 0213 0132 0132 1302 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 -5 0 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.287474662095 0.705847513926 ==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_0011_4'], 'c_1001_5' : negation(d['c_0011_4']), 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_10'], 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_3']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0011_0']), 'c_1010_10' : negation(d['c_0011_3']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_11']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : negation(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' : d['c_0101_10'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : negation(d['c_0101_3']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : negation(d['c_0101_1']), 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : negation(d['c_0101_3']), 'c_1100_3' : negation(d['c_0101_3']), 'c_1100_2' : d['c_0101_10'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_7'], 'c_1100_10' : negation(d['c_0101_3']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_11'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_10'], 'c_1010_2' : d['c_0101_10'], 'c_1010_1' : negation(d['c_0011_4']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_3'], 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : 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_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0101_3'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : negation(d['c_0011_4']), '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_7'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_1']})} 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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 1135655598375356247174182111015163998144031737/40403402755939272377\ 77206367510909150761790904*c_1001_2^19 + 7110446869882841870186823095892221786989871983/40403402755939272377\ 77206367510909150761790904*c_1001_2^18 + 6902289657266192318801720693037590126603688741/40403402755939272377\ 77206367510909150761790904*c_1001_2^17 - 9634612885909792227634536904643312945596369139/50504253444924090472\ 2150795938863643845223863*c_1001_2^16 + 238951960934794777847350257184092982580715597029/404034027559392723\ 7777206367510909150761790904*c_1001_2^15 - 199204840835787653105908248041329877819762030295/202017013779696361\ 8888603183755454575380895452*c_1001_2^14 + 902052065519171979596572585832590538493246709913/404034027559392723\ 7777206367510909150761790904*c_1001_2^13 - 1648248277852071902564758029109725908368118766477/40403402755939272\ 37777206367510909150761790904*c_1001_2^12 + 11888720780932506702107586841320650849458663809/2269854087412318672\ 9085429030960163768324668*c_1001_2^11 - 2307239096186773906569765890153943028404588875679/40403402755939272\ 37777206367510909150761790904*c_1001_2^10 + 303801794231290872426091020119109489749063785827/505042534449240904\ 722150795938863643845223863*c_1001_2^9 - 2017550583106690265379437954071591604926139702297/40403402755939272\ 37777206367510909150761790904*c_1001_2^8 + 232463895313435120411501965774195420765132288622/505042534449240904\ 722150795938863643845223863*c_1001_2^7 - 1091821135651979756983674461044696370103645461521/40403402755939272\ 37777206367510909150761790904*c_1001_2^6 + 137227036085502104761566413897320193219262308929/101008506889848180\ 9444301591877727287690447726*c_1001_2^5 - 591257317416924570403240369392022333445592798963/404034027559392723\ 7777206367510909150761790904*c_1001_2^4 + 70906090439375879146985743857626007891554534093/2020170137796963618\ 888603183755454575380895452*c_1001_2^3 - 25557251575150382231648135212957222382696857221/5050425344492409047\ 22150795938863643845223863*c_1001_2^2 - 1136183276639049955283084364930005951807995717/20201701377969636188\ 88603183755454575380895452*c_1001_2 - 31258202803896935602345575280253636494514053855/4040340275593927237\ 777206367510909150761790904, c_0011_0 - 1, c_0011_10 - 50965259061948853832878202219300222/18469173922554008905712\ 816828500795583*c_1001_2^19 + 313175487973141480109458758522119357/\ 18469173922554008905712816828500795583*c_1001_2^18 + 389183320531321261412382899630737542/184691739225540089057128168285\ 00795583*c_1001_2^17 - 3679014277273208347455263725398873202/184691\ 73922554008905712816828500795583*c_1001_2^16 + 9977328370549455957625486055231033215/18469173922554008905712816828\ 500795583*c_1001_2^15 - 13624649303213261277627630077812566933/1846\ 9173922554008905712816828500795583*c_1001_2^14 + 30264842641592454011240358086537496862/1846917392255400890571281682\ 8500795583*c_1001_2^13 - 58347555131197782744636806605495684797/184\ 69173922554008905712816828500795583*c_1001_2^12 + 62597974422106767824393241619452292271/1846917392255400890571281682\ 8500795583*c_1001_2^11 - 49823664514536107804922934560694021281/184\ 69173922554008905712816828500795583*c_1001_2^10 + 56692043859627228647115928886056613077/1846917392255400890571281682\ 8500795583*c_1001_2^9 - 54226060005922220897067299353843773206/1846\ 9173922554008905712816828500795583*c_1001_2^8 + 61732988308605309281734443579552963795/1846917392255400890571281682\ 8500795583*c_1001_2^7 - 46642337263072727464093182671049265372/1846\ 9173922554008905712816828500795583*c_1001_2^6 + 25814312174750505940981312986796668930/1846917392255400890571281682\ 8500795583*c_1001_2^5 - 43467834872496540255543169720355262465/1846\ 9173922554008905712816828500795583*c_1001_2^4 + 25240442223776361905977779178748542293/1846917392255400890571281682\ 8500795583*c_1001_2^3 + 16311315419344777413938422596624911160/1846\ 9173922554008905712816828500795583*c_1001_2^2 - 1311481769794991847755529653119822928/18469173922554008905712816828\ 500795583*c_1001_2 + 7939617100549698500294852854994060883/18469173\ 922554008905712816828500795583, c_0011_11 - 114657161724821954659960761617478966/1846917392255400890571\ 2816828500795583*c_1001_2^19 + 705728299233365625604979675455915176\ /18469173922554008905712816828500795583*c_1001_2^18 + 739169339621583631424684164693445146/184691739225540089057128168285\ 00795583*c_1001_2^17 - 7533569761288115644429405129135051203/184691\ 73922554008905712816828500795583*c_1001_2^16 + 23704982971783823968049015464694007965/1846917392255400890571281682\ 8500795583*c_1001_2^15 - 39478928192947613985939529827417739220/184\ 69173922554008905712816828500795583*c_1001_2^14 + 91253112800122358417953785551991558773/1846917392255400890571281682\ 8500795583*c_1001_2^13 - 163149935042677807491209646557508195943/18\ 469173922554008905712816828500795583*c_1001_2^12 + 220416480499269720237150985200812275546/184691739225540089057128168\ 28500795583*c_1001_2^11 - 253943548990061534260552334253395215482/1\ 8469173922554008905712816828500795583*c_1001_2^10 + 278674390727128297809374883325711285941/184691739225540089057128168\ 28500795583*c_1001_2^9 - 270364572542308216718899663568078639672/18\ 469173922554008905712816828500795583*c_1001_2^8 + 311318390382228598167097067883430851153/184691739225540089057128168\ 28500795583*c_1001_2^7 - 254935366144389253772306033190902952179/18\ 469173922554008905712816828500795583*c_1001_2^6 + 226129259002825708559907898084864674150/184691739225540089057128168\ 28500795583*c_1001_2^5 - 195647038741913604343792452383139634202/18\ 469173922554008905712816828500795583*c_1001_2^4 + 134631015449309204177593154292936092438/184691739225540089057128168\ 28500795583*c_1001_2^3 - 127456638097027884399444169682582660092/18\ 469173922554008905712816828500795583*c_1001_2^2 + 37257421283757994723797101827596927735/1846917392255400890571281682\ 8500795583*c_1001_2 - 19669694697220599743153091376719120708/184691\ 73922554008905712816828500795583, c_0011_3 + 104381490102468491113724838496537225/18469173922554008905712\ 816828500795583*c_1001_2^19 - 518467406374104420124449637526273302/\ 18469173922554008905712816828500795583*c_1001_2^18 - 1511249604132267409531729693955922127/18469173922554008905712816828\ 500795583*c_1001_2^17 + 6409627358319903756248766396792938130/18469\ 173922554008905712816828500795583*c_1001_2^16 - 12235440814665102323007188687182583479/1846917392255400890571281682\ 8500795583*c_1001_2^15 + 5983241728955241993229794476973719396/1846\ 9173922554008905712816828500795583*c_1001_2^14 - 32859826825156306771313282185824000902/1846917392255400890571281682\ 8500795583*c_1001_2^13 + 48427166535175354526981566733982245506/184\ 69173922554008905712816828500795583*c_1001_2^12 - 3064491557777763700746856010141789388/18469173922554008905712816828\ 500795583*c_1001_2^11 - 32049809887370262877012023675571383748/1846\ 9173922554008905712816828500795583*c_1001_2^10 + 8331871854559148582339389510382511892/18469173922554008905712816828\ 500795583*c_1001_2^9 - 18645703869503906808530931328126143411/18469\ 173922554008905712816828500795583*c_1001_2^8 - 6046374710510209662800319421947946904/18469173922554008905712816828\ 500795583*c_1001_2^7 - 71670886465950697342024497299327553050/18469\ 173922554008905712816828500795583*c_1001_2^6 + 55662638192024497134707573689430223485/1846917392255400890571281682\ 8500795583*c_1001_2^5 + 5285471752318944014414330480357624105/18469\ 173922554008905712816828500795583*c_1001_2^4 + 50109523740373207295270273000458468551/1846917392255400890571281682\ 8500795583*c_1001_2^3 - 33923122529617269620723135632110625900/1846\ 9173922554008905712816828500795583*c_1001_2^2 + 48154000439886257775070123666734026942/1846917392255400890571281682\ 8500795583*c_1001_2 + 8038711688923449680497229089276894650/1846917\ 3922554008905712816828500795583, c_0011_4 + 166590571376481203621457205058435494/18469173922554008905712\ 816828500795583*c_1001_2^19 - 1079215359541437145839219852350574654\ /18469173922554008905712816828500795583*c_1001_2^18 - 884536547507937401145126622307816897/184691739225540089057128168285\ 00795583*c_1001_2^17 + 12156526293551764386757047806090505110/18469\ 173922554008905712816828500795583*c_1001_2^16 - 36923287546209899567791262678906000193/1846917392255400890571281682\ 8500795583*c_1001_2^15 + 58771387399852131382569865708802409704/184\ 69173922554008905712816828500795583*c_1001_2^14 - 123223199613829615320936816940838270509/184691739225540089057128168\ 28500795583*c_1001_2^13 + 238279250089530106804879551615888610554/1\ 8469173922554008905712816828500795583*c_1001_2^12 - 300813093140084064911267838410381895139/184691739225540089057128168\ 28500795583*c_1001_2^11 + 296122462519721543415512048744992136065/1\ 8469173922554008905712816828500795583*c_1001_2^10 - 312404140505461825672318435137537259206/184691739225540089057128168\ 28500795583*c_1001_2^9 + 311320281315085467512390433941767889704/18\ 469173922554008905712816828500795583*c_1001_2^8 - 343607897375362332658398971934687512209/184691739225540089057128168\ 28500795583*c_1001_2^7 + 298225035818340264614916921836038576424/18\ 469173922554008905712816828500795583*c_1001_2^6 - 194551966481424824544409870280585238499/184691739225540089057128168\ 28500795583*c_1001_2^5 + 201128244245985446954086659552734301941/18\ 469173922554008905712816828500795583*c_1001_2^4 - 145233992753395061211354282152042046926/184691739225540089057128168\ 28500795583*c_1001_2^3 + 93762680975486956075770965219477447152/184\ 69173922554008905712816828500795583*c_1001_2^2 - 14884381257290006908730194401972152565/1846917392255400890571281682\ 8500795583*c_1001_2 - 3265350347110754576547723895545052532/1846917\ 3922554008905712816828500795583, c_0101_0 - 53092860724955840339463146425752048/184691739225540089057128\ 16828500795583*c_1001_2^19 + 237694071797791651011760734004831386/1\ 8469173922554008905712816828500795583*c_1001_2^18 + 956540514024746509048516786188616038/184691739225540089057128168285\ 00795583*c_1001_2^17 - 3226542520543638036562874448080588276/184691\ 73922554008905712816828500795583*c_1001_2^16 + 4089279689092977640172430098120477343/18469173922554008905712816828\ 500795583*c_1001_2^15 + 3992433366911163215665068523376658587/18469\ 173922554008905712816828500795583*c_1001_2^14 + 4933981601924074728914028889859015917/18469173922554008905712816828\ 500795583*c_1001_2^13 - 2758470385237763763708416661378499447/18469\ 173922554008905712816828500795583*c_1001_2^12 - 44722995211360977568153624841490916411/1846917392255400890571281682\ 8500795583*c_1001_2^11 + 80582443085463429253471745487935793787/184\ 69173922554008905712816828500795583*c_1001_2^10 - 60707854167142931015192904056260086386/1846917392255400890571281682\ 8500795583*c_1001_2^9 + 69908252505123888160413213621785464086/1846\ 9173922554008905712816828500795583*c_1001_2^8 - 69219303684005160543860808062276184883/1846917392255400890571281682\ 8500795583*c_1001_2^7 + 106673222069462004450240999894525029434/184\ 69173922554008905712816828500795583*c_1001_2^6 - 87415593399500547812313648947435299649/1846917392255400890571281682\ 8500795583*c_1001_2^5 + 29862056598644785688403190707641139989/1846\ 9173922554008905712816828500795583*c_1001_2^4 - 61870960131882005233761011372234969828/1846917392255400890571281682\ 8500795583*c_1001_2^3 + 56174440724721937938194082702245367233/1846\ 9173922554008905712816828500795583*c_1001_2^2 - 33809250716078060364794721123137924459/1846917392255400890571281682\ 8500795583*c_1001_2 - 7824004244430523137128368215697555757/1846917\ 3922554008905712816828500795583, c_0101_1 - 42886275031268829316710423820068050/184691739225540089057128\ 16828500795583*c_1001_2^19 + 296635410868201378263770146349069259/1\ 8469173922554008905712816828500795583*c_1001_2^18 + 75884493265847623387858099780719117/1846917392255400890571281682850\ 0795583*c_1001_2^17 - 3037771288238462013763031261068336049/1846917\ 3922554008905712816828500795583*c_1001_2^16 + 11068229522915276254981773373326964846/1846917392255400890571281682\ 8500795583*c_1001_2^15 - 21541470238095771040508203732581830660/184\ 69173922554008905712816828500795583*c_1001_2^14 + 44624847276691042280192072066972537549/1846917392255400890571281682\ 8500795583*c_1001_2^13 - 84523812016036461420572189827546518676/184\ 69173922554008905712816828500795583*c_1001_2^12 + 123833854621786830106576677882310354236/184691739225540089057128168\ 28500795583*c_1001_2^11 - 148818775660632614429583885509143871818/1\ 8469173922554008905712816828500795583*c_1001_2^10 + 155495873367365373092100438628922372502/184691739225540089057128168\ 28500795583*c_1001_2^9 - 151265761053559709897698373898268271948/18\ 469173922554008905712816828500795583*c_1001_2^8 + 162029647574751729231827987103501134248/184691739225540089057128168\ 28500795583*c_1001_2^7 - 146275113987779576246568568274312336811/18\ 469173922554008905712816828500795583*c_1001_2^6 + 116581182955712134038991479263025305834/184691739225540089057128168\ 28500795583*c_1001_2^5 - 102317043097062859843229370696039764322/18\ 469173922554008905712816828500795583*c_1001_2^4 + 70238510061240156729490180211826707273/1846917392255400890571281682\ 8500795583*c_1001_2^3 - 68408342776026832348709815858762043652/1846\ 9173922554008905712816828500795583*c_1001_2^2 + 24019455592350071108766743092427543675/1846917392255400890571281682\ 8500795583*c_1001_2 + 3726653591621595145953374324571703286/1846917\ 3922554008905712816828500795583, c_0101_10 - 140043365961070871723957554336866894/1846917392255400890571\ 2816828500795583*c_1001_2^19 + 959000142834892948558297703216612690\ /18469173922554008905712816828500795583*c_1001_2^18 + 419212625400584029761046911858188827/184691739225540089057128168285\ 00795583*c_1001_2^17 - 10579209598214049645969723101968265368/18469\ 173922554008905712816828500795583*c_1001_2^16 + 34803578478561247569040102803011059995/1846917392255400890571281682\ 8500795583*c_1001_2^15 - 59741876422442841611044007837899201161/184\ 69173922554008905712816828500795583*c_1001_2^14 + 118840253775782696162191502393877091787/184691739225540089057128168\ 28500795583*c_1001_2^13 - 234772946374759694825504092762859912748/1\ 8469173922554008905712816828500795583*c_1001_2^12 + 321629610798448208478211984566560098934/184691739225540089057128168\ 28500795583*c_1001_2^11 - 325216589863254716475614938713587775289/1\ 8469173922554008905712816828500795583*c_1001_2^10 + 337503196022374791438689405519878728988/184691739225540089057128168\ 28500795583*c_1001_2^9 - 357186064514838750551235023576699592608/18\ 469173922554008905712816828500795583*c_1001_2^8 + 381995380246287785449204313963282501567/184691739225540089057128168\ 28500795583*c_1001_2^7 - 337641673235400993573190122974367753882/18\ 469173922554008905712816828500795583*c_1001_2^6 + 248488739759496092675594474396708006419/184691739225540089057128168\ 28500795583*c_1001_2^5 - 226929553059791489309524283466729985945/18\ 469173922554008905712816828500795583*c_1001_2^4 + 198983254162898059577451760705216231914/184691739225540089057128168\ 28500795583*c_1001_2^3 - 109144215193264199632206559215380348553/18\ 469173922554008905712816828500795583*c_1001_2^2 + 18815867111623092397192003180969123333/1846917392255400890571281682\ 8500795583*c_1001_2 - 6140170398657471658554539550805401466/1846917\ 3922554008905712816828500795583, c_0101_3 + 68589239269893988236533047985306948/184691739225540089057128\ 16828500795583*c_1001_2^19 - 303581767426888972702137253331861976/1\ 8469173922554008905712816828500795583*c_1001_2^18 - 1211066882691348094021805302118134017/18469173922554008905712816828\ 500795583*c_1001_2^17 + 3881675036636571733404662533175665590/18469\ 173922554008905712816828500795583*c_1001_2^16 - 5524931093095715273332688596435251924/18469173922554008905712816828\ 500795583*c_1001_2^15 - 2724793496786468331983300830481880794/18469\ 173922554008905712816828500795583*c_1001_2^14 - 12638232638946153385332707040206137319/1846917392255400890571281682\ 8500795583*c_1001_2^13 + 9555545425118429717051869073470592453/1846\ 9173922554008905712816828500795583*c_1001_2^12 + 38492834164243645783054989693392852669/1846917392255400890571281682\ 8500795583*c_1001_2^11 - 64048800654246183310730687008282754322/184\ 69173922554008905712816828500795583*c_1001_2^10 + 45032200422980350676712200540706436658/1846917392255400890571281682\ 8500795583*c_1001_2^9 - 63430915625111357882675857264044743042/1846\ 9173922554008905712816828500795583*c_1001_2^8 + 39397429795217108065333285291997482866/1846917392255400890571281682\ 8500795583*c_1001_2^7 - 94101326630628435956936285926340471128/1846\ 9173922554008905712816828500795583*c_1001_2^6 + 78774718208745469318029171156294074684/1846917392255400890571281682\ 8500795583*c_1001_2^5 - 24510250571392625435821236588225239679/1846\ 9173922554008905712816828500795583*c_1001_2^4 + 75423675062823879135179110032709933833/1846917392255400890571281682\ 8500795583*c_1001_2^3 - 40362656472657374911460682711797531115/1846\ 9173922554008905712816828500795583*c_1001_2^2 + 37700510785558499515795776760788994593/1846917392255400890571281682\ 8500795583*c_1001_2 - 1510080460496132948734416139253139894/1846917\ 3922554008905712816828500795583, c_0101_7 - 72802364808413799330799293996745536/184691739225540089057128\ 16828500795583*c_1001_2^19 + 417070621682367873098568335545550237/1\ 8469173922554008905712816828500795583*c_1001_2^18 + 835067019361297193983126166785889443/184691739225540089057128168285\ 00795583*c_1001_2^17 - 5563380513436639743341401979895427271/184691\ 73922554008905712816828500795583*c_1001_2^16 + 11201449704341011422982246362186168430/1846917392255400890571281682\ 8500795583*c_1001_2^15 - 7314195122702513248523810753955090990/1846\ 9173922554008905712816828500795583*c_1001_2^14 + 18866522032248926276344457480765419209/1846917392255400890571281682\ 8500795583*c_1001_2^13 - 44041298139049912450355525162399354861/184\ 69173922554008905712816828500795583*c_1001_2^12 + 274484228218007362148813642649358890/184691739225540089057128168285\ 00795583*c_1001_2^11 + 64933647066241444253124005134766262481/18469\ 173922554008905712816828500795583*c_1001_2^10 - 54631962179403863182823789830214619153/1846917392255400890571281682\ 8500795583*c_1001_2^9 + 55258740520772716875755213773794633283/1846\ 9173922554008905712816828500795583*c_1001_2^8 - 71480432321106288924164725347512987007/1846917392255400890571281682\ 8500795583*c_1001_2^7 + 91558284360228263759080094106307433651/1846\ 9173922554008905712816828500795583*c_1001_2^6 - 127794395867668342565508555956774575194/184691739225540089057128168\ 28500795583*c_1001_2^5 + 45173126794602030643882437830200799098/184\ 69173922554008905712816828500795583*c_1001_2^4 - 61290666818327557190484322594428438419/1846917392255400890571281682\ 8500795583*c_1001_2^3 + 112981549535238733953116616743374837127/184\ 69173922554008905712816828500795583*c_1001_2^2 - 49613375943068978767559901141247669496/1846917392255400890571281682\ 8500795583*c_1001_2 + 21949265068785802476197872141515029596/184691\ 73922554008905712816828500795583, c_1001_1 + 71770886693553125343250337797410916/184691739225540089057128\ 16828500795583*c_1001_2^19 - 409092888365164247341209529106845917/1\ 8469173922554008905712816828500795583*c_1001_2^18 - 663284846355736008036826064912726029/184691739225540089057128168285\ 00795583*c_1001_2^17 + 4495798473049653630666373868066715154/184691\ 73922554008905712816828500795583*c_1001_2^16 - 12636753448868547713067242091367043119/1846917392255400890571281682\ 8500795583*c_1001_2^15 + 17937457954851842945431326094835908560/184\ 69173922554008905712816828500795583*c_1001_2^14 - 46628265523431316137761713485019021224/1846917392255400890571281682\ 8500795583*c_1001_2^13 + 78626123026641346070637456729961677267/184\ 69173922554008905712816828500795583*c_1001_2^12 - 96582625877482890130574307318501921310/1846917392255400890571281682\ 8500795583*c_1001_2^11 + 105124773329428919830968448744251343664/18\ 469173922554008905712816828500795583*c_1001_2^10 - 123178517359762924717274444696788913439/184691739225540089057128168\ 28500795583*c_1001_2^9 + 119098811488748506821201289669810367724/18\ 469173922554008905712816828500795583*c_1001_2^8 - 149288742807476868935269080779929716905/184691739225540089057128168\ 28500795583*c_1001_2^7 + 108660252156609677525737464916590615368/18\ 469173922554008905712816828500795583*c_1001_2^6 - 109548076047113574520916418821839368316/184691739225540089057128168\ 28500795583*c_1001_2^5 + 93329995644850744500563081687099869880/184\ 69173922554008905712816828500795583*c_1001_2^4 - 64392505388069047448102974081109385165/1846917392255400890571281682\ 8500795583*c_1001_2^3 + 59048295321001052050734353823820616440/1846\ 9173922554008905712816828500795583*c_1001_2^2 - 13237965691407923615030358735169384060/1846917392255400890571281682\ 8500795583*c_1001_2 + 41865522211396203794819282529791619577/184691\ 73922554008905712816828500795583, c_1001_2^20 - 7*c_1001_2^19 - 2*c_1001_2^18 + 76*c_1001_2^17 - 258*c_1001_2^16 + 464*c_1001_2^15 - 923*c_1001_2^14 + 1840*c_1001_2^13 - 2581*c_1001_2^12 + 2778*c_1001_2^11 - 2985*c_1001_2^10 + 3148*c_1001_2^9 - 3324*c_1001_2^8 + 3121*c_1001_2^7 - 2394*c_1001_2^6 + 2220*c_1001_2^5 - 1838*c_1001_2^4 + 1144*c_1001_2^3 - 553*c_1001_2^2 + 163*c_1001_2 - 89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.740 Total time: 0.940 seconds, Total memory usage: 32.09MB