Magma V2.19-8 Tue Aug 20 2013 17:58:40 on localhost [Seed = 2850561310] Type ? for help. Type -D to quit. Loading file "10^2_161__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_161 geometric_solution 12.80039035 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 2 3 0132 0132 1302 0132 0 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 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.664964612543 1.075620004159 0 4 5 4 0132 0132 0132 1230 0 0 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 0.397725687910 0.428042156586 0 0 7 6 2031 0132 0132 0132 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 0 0 0 0 0 0 1 -1 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.584172655972 0.672625581987 7 6 0 8 2103 1302 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 -1 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.607499488132 0.899486825664 1 1 9 10 3012 0132 0132 0132 0 0 0 1 0 -1 1 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 1 0 -1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.103158567236 0.784025422796 11 10 12 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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 1.229495226490 0.892262929757 13 13 2 3 0132 1302 0132 2031 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.896841432764 0.784025422796 8 13 3 2 3012 1230 2103 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 -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.849426676793 0.569682886176 11 11 3 7 3120 1230 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663160517723 0.748477205888 12 12 10 4 2031 0132 2103 0132 0 0 1 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.736027803225 0.847473986399 9 5 4 11 2103 0132 0132 2031 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 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.936079920171 0.655155633166 5 10 8 8 0132 1302 3012 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.663160517723 0.748477205888 13 9 9 5 1302 0132 1302 0132 0 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335035387457 1.075620004159 6 12 7 6 0132 2031 3012 2031 0 0 1 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 -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.164964612543 1.253763536673 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_0' : d['1'], 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : d['c_1001_1'], 'c_1001_13' : negation(d['c_0011_7']), 'c_1001_12' : d['c_0101_4'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_0101_4'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_0101_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_6'], 'c_1001_3' : d['c_0101_13'], 'c_1001_2' : d['c_0101_13'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0101_8'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_0011_10'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 'c_0101_13' : d['c_0101_13'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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' : 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' : negation(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_1100_9' : d['c_0011_8'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : negation(d['c_0011_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0011_8'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0101_2'], 'c_1100_3' : d['c_0101_2'], 'c_1100_2' : negation(d['c_0101_8']), 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0011_8'], 'c_1100_13' : negation(d['c_0011_3']), 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_0101_13'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0101_8'], 'c_1010_2' : d['c_0101_6'], 'c_1010_1' : d['c_0101_4'], 'c_1010_0' : d['c_0101_13'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0101_1'], 'c_1100_8' : d['c_0101_2'], 's_3_1' : d['1'], 's_2_8' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : d['c_0101_10'], 's_1_7' : negation(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_12']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_12'], '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' : d['c_0011_7'], 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_13' : d['c_0101_6'], 'c_0110_12' : d['c_0011_7'], 's_0_13' : negation(d['1']), 'c_0101_12' : d['c_0011_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0011_7'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 's_1_13' : d['1'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_4'], 'c_0110_8' : d['c_0011_7'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_13']})} 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_12, c_0011_3, c_0011_7, c_0011_8, c_0101_1, c_0101_10, c_0101_13, c_0101_2, c_0101_4, c_0101_6, c_0101_8, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 1037302881208591598555681343622375524260341327403575562891449861262\ 5/69269214574607998682589777432771769002036055025419617471293147823\ *c_1001_1^17 - 2541452405331911861984483314138142265913378605469572\ 146663956132863532/339419151415579193544689909420581668109976669624\ 5561256093364243327*c_1001_1^16 + 306273845243494208549056350217778\ 3605694705298153210215075499649056850/33941915141557919354468990942\ 05816681099766696245561256093364243327*c_1001_1^15 + 1091024859287859027827959980298623096486323238993087870572246415214\ 9546/33941915141557919354468990942058166810997666962455612560933642\ 43327*c_1001_1^14 - 66930272941812089800890790232209210342421831859\ 051898062875983894134214/339419151415579193544689909420581668109976\ 6696245561256093364243327*c_1001_1^13 - 1141727813791480370692097762554570048147510365305163067890788332226\ 65763/3394191514155791935446899094205816681099766696245561256093364\ 243327*c_1001_1^12 + 1028283852060607251377403865831367796577108724\ 4954638119159112439938918/16162816734075199692604281400980079433808\ 4128392645774099684011587*c_1001_1^11 + 3015658100986842813474756517387360535493712145312843929202070500139\ 97891/3394191514155791935446899094205816681099766696245561256093364\ 243327*c_1001_1^10 - 3066959935861301209258728036760845537662320740\ 31346507656425958479087650/3394191514155791935446899094205816681099\ 766696245561256093364243327*c_1001_1^9 - 2739815447964844181576892984076515548039732194223779967428834618786\ 12640/3394191514155791935446899094205816681099766696245561256093364\ 243327*c_1001_1^8 + 26583713585058087792401031843114050965078929139\ 694257198268936329567693/692692145746079986825897774327717690020360\ 55025419617471293147823*c_1001_1^7 - 1325142399664764516158365998949066593184781442008311043408782002179\ 65888/4848845020222559907781284420294023830142523851779373222990520\ 34761*c_1001_1^6 - 981111883037063990142475356934683389044129312712\ 561051367627845886209947/339419151415579193544689909420581668109976\ 6696245561256093364243327*c_1001_1^5 - 8130543799119907358215360801647152545179252863586012193469977444865\ 07872/3394191514155791935446899094205816681099766696245561256093364\ 243327*c_1001_1^4 + 33934998535257670041927535784385131567364631166\ 29351329279159081002549/6926921457460799868258977743277176900203605\ 5025419617471293147823*c_1001_1^3 + 3034446100557837384783395888287540508175585030884570516052054337896\ 39/1257107968205848864980332997854006178185098776387244909664208979\ 01*c_1001_1^2 + 704993065912386595131283475557784315216576533554994\ 62159729126898586822/3394191514155791935446899094205816681099766696\ 245561256093364243327*c_1001_1 - 1561701806929665038877837352560541\ 9157061412049035323058697275073034016/33941915141557919354468990942\ 05816681099766696245561256093364243327, c_0011_0 - 1, c_0011_10 - 295581654889548190132048647537315629987216781721899394837/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^17 - 1466083743157439231104142048611576740093997763399645907109/32\ 168161738265128046055641488701899416135000548179005739109*c_1001_1^\ 16 + 1825701497406816327733954942441723940744693266368397020613/321\ 68161738265128046055641488701899416135000548179005739109*c_1001_1^1\ 5 + 6199736324063834404811540430227142393559671529053245226631/3216\ 8161738265128046055641488701899416135000548179005739109*c_1001_1^14 - 39090677046320161845313683721892641764076769670774413485477/32168\ 161738265128046055641488701899416135000548179005739109*c_1001_1^13 - 64532155263343132089390082131631792632636768927573314283041/3216816\ 1738265128046055641488701899416135000548179005739109*c_1001_1^12 + 42102060497480214715190332664733672727428034762019779939246/1072272\ 0579421709348685213829567299805378333516059668579703*c_1001_1^11 + 167128429966578571627742985681859085247669193087079075963752/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^10 - 179331037284975877765392560281748754517578241720635284192600/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^9 - 144539496540631980942419370755146302765289464772967313604610/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^8 + 755751853509875930821429720859938755823540260736419903753658/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^7 - 572758775763808783607583204339529111471466551407903214988752/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^6 - 510651916716438260585450013184807360664065815528005584074406/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^5 - 482441839293987469181780238399457177132662087446615811989255/321681\ 61738265128046055641488701899416135000548179005739109*c_1001_1^4 + 89267946082924724648689297904151666945032260838037580210733/3216816\ 1738265128046055641488701899416135000548179005739109*c_1001_1^3 - 5543607718704127403676306065543660938583343398086197641782/10722720\ 579421709348685213829567299805378333516059668579703*c_1001_1^2 + 8720095982493405243827063088345531109013577453606766481456/32168161\ 738265128046055641488701899416135000548179005739109*c_1001_1 - 3997228163796550549766088732163987356489294730864952243986/32168161\ 738265128046055641488701899416135000548179005739109, c_0011_12 - 2606678751791624359806610743941540377643430123778923349690/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^17 - 13336756056608289844502830071220384214954546400774162066970/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^16 + 14130214886702637295172471327067333642705049217413278583933/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^15 + 57435686188151782274505005492299659187785867897103780364119/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^14 - 336561095964073831890599570123286072206873936612381564008138\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^13 - 62397543538040250678074528369141838666097308951554715469867\ 1/32168161738265128046055641488701899416135000548179005739109*c_100\ 1_1^12 + 3440121083740614017890892788876545707736281872794805862876\ 66/10722720579421709348685213829567299805378333516059668579703*c_10\ 01_1^11 + 165715986924890075312187666511814639185726903531064262534\ 8821/32168161738265128046055641488701899416135000548179005739109*c_\ 1001_1^10 - 1376269672129180735603185301467465522045819631598066185\ 229801/32168161738265128046055641488701899416135000548179005739109*\ c_1001_1^9 - 154044909733888764275171173967938659691787065848623329\ 4274593/32168161738265128046055641488701899416135000548179005739109\ *c_1001_1^8 + 65032140331513946894160732135741194298332804180006612\ 52177697/3216816173826512804605564148870189941613500054817900573910\ 9*c_1001_1^7 - 4024069031449352376540557857802106434411396599776169\ 371988534/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1^6 - 544363679040308486894540153708019175365272873296029\ 2708806240/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1^5 - 47896318370969479337445606528860757544505408784687\ 05313752762/3216816173826512804605564148870189941613500054817900573\ 9109*c_1001_1^4 + 2044456351278046850184453734695270970845804750319\ 75387006330/3216816173826512804605564148870189941613500054817900573\ 9109*c_1001_1^3 - 7966547652035693957778482101713132693484457114220\ 203055437/107227205794217093486852138295672998053783335160596685797\ 03*c_1001_1^2 + 314668659393321677784389929750313747373425766769542\ 552639875/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1 - 81566294291103985221382681983041993689716212344049616\ 633619/32168161738265128046055641488701899416135000548179005739109, c_0011_3 - 4769386235742734061131527027156777121641106144147358487363/1\ 0722720579421709348685213829567299805378333516059668579703*c_1001_1\ ^17 - 24539261904868806195958681165679264502635121607557417922820/1\ 0722720579421709348685213829567299805378333516059668579703*c_1001_1\ ^16 + 2780611528169465963015065226692172285259703105857264380339/11\ 91413397713523260965023758840811089486481501784407619967*c_1001_1^1\ 5 + 105198653057415082914758769974524141511621283521038580503882/10\ 722720579421709348685213829567299805378333516059668579703*c_1001_1^\ 14 - 612033186636449937042057145862184066075784119499821537275795/1\ 0722720579421709348685213829567299805378333516059668579703*c_1001_1\ ^13 - 385544039991662629365801551690383862027548142822420510855567/\ 3574240193140569782895071276522433268459444505353222859901*c_1001_1\ ^12 + 1838945116328601620659781342547457758975882603028326604806290\ /10722720579421709348685213829567299805378333516059668579703*c_1001\ _1^11 + 30573708481938969827913064288683905452531230920711430690193\ 73/10722720579421709348685213829567299805378333516059668579703*c_10\ 01_1^10 - 237780412594390045825525783841382614130640111024938598030\ 2178/10722720579421709348685213829567299805378333516059668579703*c_\ 1001_1^9 - 28125122604976796025378994721617162336826620974315229038\ 96713/10722720579421709348685213829567299805378333516059668579703*c\ _1001_1^8 + 1174410378443652199885839285536010087914839567776065965\ 9568527/10722720579421709348685213829567299805378333516059668579703\ *c_1001_1^7 - 70963982323008151179993057852714439365550596928186987\ 80461473/1072272057942170934868521382956729980537833351605966857970\ 3*c_1001_1^6 - 9858553772102905176864759244120141710955449938125719\ 492493813/107227205794217093486852138295672998053783335160596685797\ 03*c_1001_1^5 - 925880952594863780248221607644555587927981671451866\ 7891476607/10722720579421709348685213829567299805378333516059668579\ 703*c_1001_1^4 - 12712650786535342327677802598702271727279369438146\ 4986795346/10722720579421709348685213829567299805378333516059668579\ 703*c_1001_1^3 - 24987510453786534969167415453921248638210982988837\ 4378318220/10722720579421709348685213829567299805378333516059668579\ 703*c_1001_1^2 + 19533607532985355630015178757208314408850966309440\ 6385311425/35742401931405697828950712765224332684594445053532228599\ 01*c_1001_1 - 83067340139160186455355406914303512748665917508743412\ 35350/1191413397713523260965023758840811089486481501784407619967, c_0011_7 - 4258824993508540461423068285391497912035167668271831982240/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^17 - 21770188812723409971148173756143129016760357834791580011538/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^16 + 23192609008322777912430083098324757776926969775578920135932/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^15 + 93762837603936567953294930888980950398951089147736932968607/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^14 - 550345058767849649527483176764400470515309219572639255853102/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^13 - 101699563486933640833994899000143162750800338518919587842498\ 9/32168161738265128046055641488701899416135000548179005739109*c_100\ 1_1^12 + 5638862439655664811734791037703325532407779113689894820923\ 03/10722720579421709348685213829567299805378333516059668579703*c_10\ 01_1^11 + 270066190697384611235374049097380283636289694032034582334\ 3193/32168161738265128046055641488701899416135000548179005739109*c_\ 1001_1^10 - 2262731404147767760558903804132408974730211156006585988\ 481103/32168161738265128046055641488701899416135000548179005739109*\ c_1001_1^9 - 250658694829455129221435633752022034549880893878011822\ 0912304/32168161738265128046055641488701899416135000548179005739109\ *c_1001_1^8 + 10638113486331316184701705144840959970167279718269420\ 334126042/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1^7 - 662960733562552338211971560736114498681725166170816\ 3480361208/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1^6 - 88814244290226400963411049484340897938585644304927\ 89288282740/3216816173826512804605564148870189941613500054817900573\ 9109*c_1001_1^5 - 7756469997954939765033740041923898977188519458763\ 738431717394/321681617382651280460556414887018994161350005481790057\ 39109*c_1001_1^4 + 366765068080813609122434700759767226665275983148\ 008285798101/321681617382651280460556414887018994161350005481790057\ 39109*c_1001_1^3 - 922141754372225970846566849098538719952348486379\ 6324967585/10722720579421709348685213829567299805378333516059668579\ 703*c_1001_1^2 + 50605412914737680411698665174161060691869056731272\ 9927835239/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1 - 1110493833989760977090896216759172660070748407394701\ 98782258/3216816173826512804605564148870189941613500054817900573910\ 9, c_0011_8 - 7403648716413041452310396150461048703845548399805997714699/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^17 - 37640766539412184214504887541021380574161129871014258748000/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^16 + 41272692439232280761635969129759305731231761663066326100442/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^15 + 161441821564968196492418500097026526415540598799923124527826/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^14 - 960553272878209576284823433478188211436038150082556094486038\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^13 - 17397292403267306185034030461487270875087635176586940135030\ 27/32168161738265128046055641488701899416135000548179005739109*c_10\ 01_1^12 + 992317736948900123901676508648170230578184611989487063186\ 209/10722720579421709348685213829567299805378333516059668579703*c_1\ 001_1^11 + 45966425851490927739667266851423954887022424743032550030\ 94068/32168161738265128046055641488701899416135000548179005739109*c\ _1001_1^10 - 402023047628530848949236469520227690489510053633208246\ 5948355/32168161738265128046055641488701899416135000548179005739109\ *c_1001_1^9 - 42087046719662113392643000234591698821633177091187770\ 71998459/3216816173826512804605564148870189941613500054817900573910\ 9*c_1001_1^8 + 1855288891656734392929780275313001113180671490227594\ 3380216082/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1^7 - 12062959030167045852229219566660414186235261387210\ 232725854482/321681617382651280460556414887018994161350005481790057\ 39109*c_1001_1^6 - 148886927915949718199346537002160243998971115135\ 08470540503372/3216816173826512804605564148870189941613500054817900\ 5739109*c_1001_1^5 - 1330731098987720380014820478703338458609540697\ 6046761054629072/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1^4 + 95009765922616285678739847138413501532754092\ 6569219313498820/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1^3 - 79390851041603901689826432674991331840363581\ 956914337067256/107227205794217093486852138295672998053783335160596\ 68579703*c_1001_1^2 + 933177268980985297204813453621426791358301874\ 033662083847425/321681617382651280460556414887018994161350005481790\ 05739109*c_1001_1 - 17357554004847624757570909585020152645870752592\ 5189642272302/32168161738265128046055641488701899416135000548179005\ 739109, c_0101_1 - 1, c_0101_10 + 6611089517934185783995391902923775409093718201558806220359/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^17 + 33636030080379170435212966919076393808618488251833474749944/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^16 - 36750333680662535957959583737092904112364036265078507607378/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^15 - 144392445352623383130267903785265994596322599491296091090870\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^14 + 85736948700859900570312184203720701309043748029212194165263\ 1/32168161738265128046055641488701899416135000548179005739109*c_100\ 1_1^13 + 1557054966744265945872488722225028774325277876462850639974\ 204/32168161738265128046055641488701899416135000548179005739109*c_1\ 001_1^12 - 88515533280427823978686110562462994730944384001078528508\ 0243/10722720579421709348685213829567299805378333516059668579703*c_\ 1001_1^11 - 4117657356049272008055069047643000756899238622935476852\ 935127/32168161738265128046055641488701899416135000548179005739109*\ c_1001_1^10 + 35851730310846649441118473034098663378124826433354524\ 53972617/3216816173826512804605564148870189941613500054817900573910\ 9*c_1001_1^9 + 3778786372683447792241495064251766448504913118577140\ 477909473/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1^8 - 165683077834857141760950969390199419663969338689416\ 36900406853/3216816173826512804605564148870189941613500054817900573\ 9109*c_1001_1^7 + 1070461827546158072158686632574933627824588639520\ 6428218432373/32168161738265128046055641488701899416135000548179005\ 739109*c_1001_1^6 + 13388295049050011884504760249571500621466914167\ 826790336138275/321681617382651280460556414887018994161350005481790\ 05739109*c_1001_1^5 + 118693029374244340750097407938033798298545395\ 35755720314760913/3216816173826512804605564148870189941613500054817\ 9005739109*c_1001_1^4 - 8022686890057361059782697722192978307248018\ 10574385736983418/3216816173826512804605564148870189941613500054817\ 9005739109*c_1001_1^3 + 5111440298629310108700410098143245453907708\ 8104414932583007/10722720579421709348685213829567299805378333516059\ 668579703*c_1001_1^2 - 81374517737063871316924339531257890265223565\ 5716308587380214/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1 + 1552377448422129197618932899260813370937040363\ 67921531020906/3216816173826512804605564148870189941613500054817900\ 5739109, c_0101_13 - 2975320427899024579372021217294220914996611739219493150400/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^17 - 13322502242853674835280361906654726314912978591047339572410/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^16 + 26326422379502646033394501243234050583407275380014863894041/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^15 + 57745874354031587768148176734791726199530716588299167188101/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^14 - 428290265577803005242946537650216870277902751518037235133733\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^13 - 47754925202118070913573900528320252510765950138770850670338\ 8/32168161738265128046055641488701899416135000548179005739109*c_100\ 1_1^12 + 5643209928113864515216760356557994526025491409922905118924\ 12/10722720579421709348685213829567299805378333516059668579703*c_10\ 01_1^11 + 125997008579035449973753507292136898261945845236078493666\ 0877/32168161738265128046055641488701899416135000548179005739109*c_\ 1001_1^10 - 2951845647399377648391020185921176943059991630980021999\ 741047/32168161738265128046055641488701899416135000548179005739109*\ c_1001_1^9 - 107362565665007157454154194730799012793553328333750162\ 3627362/32168161738265128046055641488701899416135000548179005739109\ *c_1001_1^8 + 87593179585126627788893570603925760243709212798574192\ 79907711/3216816173826512804605564148870189941613500054817900573910\ 9*c_1001_1^7 - 9043794360783204652059611215817794985998328595155218\ 880896807/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1^6 - 443693211774965681968374827506050705103161913726488\ 9748420252/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1^5 - 87900065151679633188562651982008313700748697782589\ 6970157586/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1^4 + 47885451724769237379566430791621724833059155262921\ 47436744148/3216816173826512804605564148870189941613500054817900573\ 9109*c_1001_1^3 + 8443102054874788874460056355578931409690658035941\ 1379564224/35742401931405697828950712765224332684594445053532228599\ 01*c_1001_1^2 + 532789314999884508651304196869804004116711892289462\ 443543360/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1 - 25677921118185498847740880820006273170425831401291032\ 1753737/32168161738265128046055641488701899416135000548179005739109\ , c_0101_2 + 21418348029330720492843330181851603596952622278073800771394/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^17 + 109647858587611454067360162904625207432198704764715261120126\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^16 - 11539604928682223287206653656472427978059553714080697032656\ 3/32168161738265128046055641488701899416135000548179005739109*c_100\ 1_1^15 - 4703956494866828132636325310282259573951925578959014461161\ 27/32168161738265128046055641488701899416135000548179005739109*c_10\ 01_1^14 + 276152496176079532997815639194159924845800434175206413281\ 6729/32168161738265128046055641488701899416135000548179005739109*c_\ 1001_1^13 + 5127068583450938896634156336577590406933207822790909167\ 370616/32168161738265128046055641488701899416135000548179005739109*\ c_1001_1^12 - 28045400465556329883590640916648125881832262381334067\ 27015641/1072272057942170934868521382956729980537833351605966857970\ 3*c_1001_1^11 - 135595390748173434852476483157435873422817433473874\ 82091679597/3216816173826512804605564148870189941613500054817900573\ 9109*c_1001_1^10 + 110958256617467537616341429576163997223221772430\ 61448984984756/3216816173826512804605564148870189941613500054817900\ 5739109*c_1001_1^9 + 1247001419881240794217215641101289870525132816\ 9892531409022351/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1^8 - 53151293783391743432601008064065264644405290\ 713282288933278147/321681617382651280460556414887018994161350005481\ 79005739109*c_1001_1^7 + 331165917226259977489968700920507100388749\ 87386857429241407731/3216816173826512804605564148870189941613500054\ 8179005739109*c_1001_1^6 + 4387012298483222739369188814244445135179\ 1790050801723238237559/32168161738265128046055641488701899416135000\ 548179005739109*c_1001_1^5 + 40233424562782414987514105778697205603\ 318834547786750314403563/321681617382651280460556414887018994161350\ 00548179005739109*c_1001_1^4 - 925409980850572591595807047781204712\ 488912140630905349363457/321681617382651280460556414887018994161350\ 00548179005739109*c_1001_1^3 + 297087519914691996841917286302306413\ 74191354850127322824503/1191413397713523260965023758840811089486481\ 501784407619967*c_1001_1^2 - 26777507019051487217866374129931127342\ 43748693307558911879493/3216816173826512804605564148870189941613500\ 0548179005739109*c_1001_1 + 403299127136641628306425358248613679121\ 159769562229497127651/321681617382651280460556414887018994161350005\ 48179005739109, c_0101_4 - 6611089517934185783995391902923775409093718201558806220359/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^17 - 33636030080379170435212966919076393808618488251833474749944/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^16 + 36750333680662535957959583737092904112364036265078507607378/3\ 2168161738265128046055641488701899416135000548179005739109*c_1001_1\ ^15 + 144392445352623383130267903785265994596322599491296091090870/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^14 - 857369487008599005703121842037207013090437480292121941652631\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^13 - 15570549667442659458724887222250287743252778764628506399742\ 04/32168161738265128046055641488701899416135000548179005739109*c_10\ 01_1^12 + 885155332804278239786861105624629947309443840010785285080\ 243/10722720579421709348685213829567299805378333516059668579703*c_1\ 001_1^11 + 41176573560492720080550690476430007568992386229354768529\ 35127/32168161738265128046055641488701899416135000548179005739109*c\ _1001_1^10 - 358517303108466494411184730340986633781248264333545245\ 3972617/32168161738265128046055641488701899416135000548179005739109\ *c_1001_1^9 - 37787863726834477922414950642517664485049131185771404\ 77909473/3216816173826512804605564148870189941613500054817900573910\ 9*c_1001_1^8 + 1656830778348571417609509693901994196639693386894163\ 6900406853/32168161738265128046055641488701899416135000548179005739\ 109*c_1001_1^7 - 10704618275461580721586866325749336278245886395206\ 428218432373/321681617382651280460556414887018994161350005481790057\ 39109*c_1001_1^6 - 133882950490500118845047602495715006214669141678\ 26790336138275/3216816173826512804605564148870189941613500054817900\ 5739109*c_1001_1^5 - 1186930293742443407500974079380337982985453953\ 5755720314760913/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1^4 + 80226868900573610597826977221929783072480181\ 0574385736983418/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1^3 - 51114402986293101087004100981432454539077088\ 104414932583007/107227205794217093486852138295672998053783335160596\ 68579703*c_1001_1^2 + 781577015632373585123187753823877003236100655\ 168129581641105/321681617382651280460556414887018994161350005481790\ 05739109*c_1001_1 - 15523774484221291976189328992608133709370403636\ 7921531020906/32168161738265128046055641488701899416135000548179005\ 739109, c_0101_6 - 24393668457229745072215351399145824511949234017293293921794/\ 32168161738265128046055641488701899416135000548179005739109*c_1001_\ 1^17 - 122970360830465128902640524811279933747111683355762600692536\ /32168161738265128046055641488701899416135000548179005739109*c_1001\ _1^16 + 14172247166632487890546103780795833036400281252082183422060\ 4/32168161738265128046055641488701899416135000548179005739109*c_100\ 1_1^15 + 5281415238407144010317807077630176835947232744842006133042\ 28/32168161738265128046055641488701899416135000548179005739109*c_10\ 01_1^14 - 318981522733859833522110292959181611873590709327010136795\ 0462/32168161738265128046055641488701899416135000548179005739109*c_\ 1001_1^13 - 5604617835472119605769895341860792932040867324178617674\ 074004/32168161738265128046055641488701899416135000548179005739109*\ c_1001_1^12 + 37431789326300215998674890303562356008730837545841080\ 4323117/1191413397713523260965023758840811089486481501784407619967*\ c_1001_1^11 + 14819509160607697984985183388664956324901201799748267\ 028340474/321681617382651280460556414887018994161350005481790057391\ 09*c_1001_1^10 - 14047671309146131410025163143537576665382168874041\ 470984725803/321681617382651280460556414887018994161350005481790057\ 39109*c_1001_1^9 - 135436398554624795167136983583208888331868614532\ 30033032649713/3216816173826512804605564148870189941613500054817900\ 5739109*c_1001_1^8 + 6191061174190440621149036512445784066877621199\ 3139708213185858/32168161738265128046055641488701899416135000548179\ 005739109*c_1001_1^7 - 42160386083409202401056481307868505024873315\ 982012648122304538/321681617382651280460556414887018994161350005481\ 79005739109*c_1001_1^6 - 483070551025818842133756364175049584028234\ 09188066612986657811/3216816173826512804605564148870189941613500054\ 8179005739109*c_1001_1^5 - 4111242521429921131939973229851728874032\ 6321525612647284561149/32168161738265128046055641488701899416135000\ 548179005739109*c_1001_1^4 + 57139551533274963295524501269433771957\ 94827666923052786107605/3216816173826512804605564148870189941613500\ 0548179005739109*c_1001_1^3 - 4695235425659710307974622334902610025\ 667484190970588909285/357424019314056978289507127652243326845944450\ 5353222859901*c_1001_1^2 + 3210540016905033230437941609862916738360\ 460585597021355422853/321681617382651280460556414887018994161350005\ 48179005739109*c_1001_1 - 66007833831849661678383416644867641082541\ 8083575139818881388/32168161738265128046055641488701899416135000548\ 179005739109, c_0101_8 - 370752869192765400448778033126021817832925130503145224607/11\ 91413397713523260965023758840811089486481501784407619967*c_1001_1^1\ 7 - 1888056392445202742926211763416361658856136158214385956110/1191\ 413397713523260965023758840811089486481501784407619967*c_1001_1^16 + 2051959530590182150252164461363949606442104106684429803125/11914133\ 97713523260965023758840811089486481501784407619967*c_1001_1^15 + 72959169251039992922307835196442061867775488899008968297315/1072272\ 0579421709348685213829567299805378333516059668579703*c_1001_1^14 - 432371456280761136058474334533824761214304028898312552831392/107227\ 20579421709348685213829567299805378333516059668579703*c_1001_1^13 - 787901558569044375094716109946715158056578869058080389400566/107227\ 20579421709348685213829567299805378333516059668579703*c_1001_1^12 + 148481093924773502854529531948424977927979199918774183274875/119141\ 3397713523260965023758840811089486481501784407619967*c_1001_1^11 + 2084600818132664509029534450086847293519837169871299209480963/10722\ 720579421709348685213829567299805378333516059668579703*c_1001_1^10 - 1798833382804829741698516665556580808980306722643382883726052/10722\ 720579421709348685213829567299805378333516059668579703*c_1001_1^9 - 212931621085374036370963398634761351077081050652037420973076/119141\ 3397713523260965023758840811089486481501784407619967*c_1001_1^8 + 8352034316572912872904625322234710187213331773425534877464593/10722\ 720579421709348685213829567299805378333516059668579703*c_1001_1^7 - 595815854133940675139621386091204467431357703221718596216408/119141\ 3397713523260965023758840811089486481501784407619967*c_1001_1^6 - 6777443193999352229626685079098738717849946748822921083103204/10722\ 720579421709348685213829567299805378333516059668579703*c_1001_1^5 - 2010771425219350192654751715546606704505105317168385152042426/35742\ 40193140569782895071276522433268459444505353222859901*c_1001_1^4 + 384847764784655847268614614951220704137373800533731566835050/107227\ 20579421709348685213829567299805378333516059668579703*c_1001_1^3 - 29119132897879865215868304925568154844616013023711513374231/3574240\ 193140569782895071276522433268459444505353222859901*c_1001_1^2 + 415948642791435658329734461123913512910575880267734878829100/107227\ 20579421709348685213829567299805378333516059668579703*c_1001_1 - 85047278113193410932363925944414506716141246089746419635307/1072272\ 0579421709348685213829567299805378333516059668579703, c_1001_1^18 + 237/49*c_1001_1^17 - 335/49*c_1001_1^16 - 1002/49*c_1001_1^15 + 6623/49*c_1001_1^14 + 9946/49*c_1001_1^13 - 22580/49*c_1001_1^12 - 25594/49*c_1001_1^11 + 34224/49*c_1001_1^10 + 21384/49*c_1001_1^9 - 129798/49*c_1001_1^8 + 15731/7*c_1001_1^7 + 79311/49*c_1001_1^6 + 63235/49*c_1001_1^5 - 28249/49*c_1001_1^4 + 2564/49*c_1001_1^3 - 6467/49*c_1001_1^2 + 2691/49*c_1001_1 - 283/49 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.270 Total time: 2.490 seconds, Total memory usage: 32.09MB