Magma V2.19-8 Tue Aug 20 2013 17:58:22 on localhost [Seed = 3499189390] Type ? for help. Type -D to quit. Loading file "10^2_110__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation 10^2_110 geometric_solution 12.45062614 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 14 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 -1 6 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.500520277751 0.833310332193 0 4 3 4 0132 0321 0321 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.622530062677 0.430424902978 3 0 6 5 0321 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 6 0 0 -6 0 -6 0 6 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616689868044 0.474574012073 2 6 1 0 0321 2031 0321 0132 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 1 0 0 -1 0 -5 0 5 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.549974501248 1.711733121333 1 7 0 1 3120 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.086801643612 0.751427955136 8 9 2 9 0132 0132 0132 1230 0 0 1 0 0 0 0 0 0 0 1 -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 0 0 0 0 0 0 6 -6 1 -1 0 0 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550314465843 0.933436531561 3 10 8 2 1302 0132 0132 0132 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 0 0 1 -1 -5 0 5 0 1 0 0 -1 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.398506602101 0.917219994124 11 4 12 10 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.843807341209 0.557287097970 5 13 13 6 0132 0132 1302 0132 0 0 0 1 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 1 -1 0 0 5 -5 0 -5 0 5 -1 3 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.925109174850 1.254646260449 5 5 11 10 3012 0132 3120 3120 0 0 0 1 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 6 -6 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.418888500535 0.869509466838 9 6 7 13 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 0 0 0 0 0 0 0 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.447136131006 0.531135418887 7 12 9 12 0132 3120 3120 3012 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 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.047406881294 0.794207651155 13 11 11 7 3012 3120 1230 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 0 0 0 0 0 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.393801057276 0.459656936604 8 8 10 12 2031 0132 0132 1230 0 0 1 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 -1 0 0 1 2 -3 0 1 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619291030865 0.516322935098 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_9']), 'c_1001_10' : d['c_1001_10'], 'c_1001_13' : d['c_1001_13'], 'c_1001_12' : d['c_0101_9'], 'c_1001_5' : negation(d['c_0011_10']), 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_1001_13'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_10']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_0101_9'], 'c_1001_8' : d['c_0011_12'], 'c_1010_13' : d['c_0011_12'], 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : d['c_1001_13'], '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'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], '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' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_13' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_13' : d['c_0011_13'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_13'], 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_13'], 'c_1100_1' : negation(d['c_0101_1']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : d['c_0101_13'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0101_10']), 'c_1100_11' : negation(d['c_0101_9']), 'c_1100_10' : d['c_0101_7'], 'c_1100_13' : d['c_0101_7'], 's_0_11' : d['1'], 's_3_13' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : negation(d['c_0011_10']), 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : d['c_1001_10'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1001_13'], 'c_1100_8' : d['c_0101_13'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_7'], '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_13']), 'c_0011_8' : negation(d['c_0011_13']), 'c_0011_5' : d['c_0011_13'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_10']), '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_0101_7'], 'c_0110_10' : d['c_0101_13'], 'c_0110_13' : d['c_0011_12'], 'c_0110_12' : d['c_0101_7'], 's_0_13' : d['1'], 'c_0101_12' : d['c_0011_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_1']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : negation(d['c_0011_13']), '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_13'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_13']), 'c_0110_4' : d['c_0011_0'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0101_1'], 'c_0101_13' : 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_11, c_0011_12, c_0011_13, c_0011_3, c_0101_1, c_0101_10, c_0101_13, c_0101_7, c_0101_9, c_1001_1, c_1001_10, c_1001_13 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 3113924100042185456496605635968063541697614422832521792205453/15948\ 971311106617956984417743108357940912305434679925243969536*c_1001_13\ ^17 - 9770166387325275969249882936570654873967375053241349767645711\ /7974485655553308978492208871554178970456152717339962621984768*c_10\ 01_13^16 + 30299990360517919959141208511130733205102392669659951240\ 874365/797448565555330897849220887155417897045615271733996262198476\ 8*c_1001_13^15 - 52750986488957130298934744934838724744515131888508\ 055346721721/159489713111066179569844177431083579409123054346799252\ 43969536*c_1001_13^14 - 2509158303605052008376849332688931813957153\ 63941885988153740317/7974485655553308978492208871554178970456152717\ 339962621984768*c_1001_13^13 + 201310651751418023455245266082498428\ 813281176132439247764882067/199362141388832724462305221788854474261\ 4038179334990655496192*c_1001_13^12 - 102433987806166650681574390785945312366662055903208180183004713/122\ 6843947008201381306493672546796764685561956513840403382272*c_1001_1\ 3^11 - 640014611453720193789578051914619806539162862622471993399649\ 563/3987242827776654489246104435777089485228076358669981310992384*c\ _1001_13^10 + 11551047618015998862776866961778078761731808312108903\ 08149321469/3987242827776654489246104435777089485228076358669981310\ 992384*c_1001_13^9 + 3645895379996177642466952408229045329164972191\ 3178696920054727569/15948971311106617956984417743108357940912305434\ 679925243969536*c_1001_13^8 - 6309400334957109821986105429483997998\ 0119612122827397990116400527/15948971311106617956984417743108357940\ 912305434679925243969536*c_1001_13^7 - 212654665887053341293219343589349469750691437344148832428132856983/\ 15948971311106617956984417743108357940912305434679925243969536*c_10\ 01_13^6 + 477400279622982974374198194916055422642274517021873300065\ 72089671/9968107069441636223115261089442723713070190896674953277480\ 96*c_1001_13^5 - 32862536832052716124657002077543973964660351016657\ 7270110369319125/39872428277766544892461044357770894852280763586699\ 81310992384*c_1001_13^4 + 16518195195280120048889518025400137191494\ 23631820667841764867899995/1594897131110661795698441774310835794091\ 2305434679925243969536*c_1001_13^3 - 338068295043853836898165256003425891420774767994776755685547590359/\ 3987242827776654489246104435777089485228076358669981310992384*c_100\ 1_13^2 + 4252581249584494905470473311702626757455879419128194561472\ 94315411/7974485655553308978492208871554178970456152717339962621984\ 768*c_1001_13 - 424333184888235673317604764699066778585029176393943\ 432051712059613/159489713111066179569844177431083579409123054346799\ 25243969536, c_0011_0 - 1, c_0011_10 - 16980788653408167997242062765037101268459/25872209797928262\ 7005377993411024416316896112*c_1001_13^17 + 46969403993889782453119528259451486165757/1293610489896413135026889\ 96705512208158448056*c_1001_13^16 - 135269242715124654926642498644791601515991/129361048989641313502688\ 996705512208158448056*c_1001_13^15 + 128125201683698725156390697566942319553319/258722097979282627005377\ 993411024416316896112*c_1001_13^14 + 1364299336458343626481444968257820793244531/12936104898964131350268\ 8996705512208158448056*c_1001_13^13 - 851849809561381819150596478285004986980371/323402622474103283756722\ 49176378052039612014*c_1001_13^12 + 3696963182630161524069505102153593408789683/25872209797928262700537\ 7993411024416316896112*c_1001_13^11 + 3679868087268022611139865740220472097128131/64680524494820656751344\ 498352756104079224028*c_1001_13^10 - 3651530600821114905492904549526935335170369/64680524494820656751344\ 498352756104079224028*c_1001_13^9 - 201631166510852274429074007621474392217237679/258722097979282627005\ 377993411024416316896112*c_1001_13^8 + 196287134302953951198897958095249504341324409/258722097979282627005\ 377993411024416316896112*c_1001_13^7 + 1193275198644365011548752318893060692603807929/25872209797928262700\ 5377993411024416316896112*c_1001_13^6 - 207067789101429065075989613304110152834292482/161701311237051641878\ 36124588189026019806007*c_1001_13^5 + 1335745674996495918467908516516270630314613711/64680524494820656751\ 344498352756104079224028*c_1001_13^4 - 6115348666323030741717346959415340395391584221/25872209797928262700\ 5377993411024416316896112*c_1001_13^3 + 1129919208042130773489154055391204045907705635/64680524494820656751\ 344498352756104079224028*c_1001_13^2 - 1321956331462594748996159960350721323506030113/12936104898964131350\ 2688996705512208158448056*c_1001_13 + 1078844596286473285155769663810126368755407507/25872209797928262700\ 5377993411024416316896112, c_0011_11 - 3872620073282165636838159265625567893515/129361048989641313\ 502688996705512208158448056*c_1001_13^17 + 5606121490060817808103352468577628211619/32340262247410328375672249\ 176378052039612014*c_1001_13^16 - 840481243507976181053585644293793\ 2050156/16170131123705164187836124588189026019806007*c_1001_13^15 + 47364775299246783180773570650804171195225/1293610489896413135026889\ 96705512208158448056*c_1001_13^14 + 305246724339791245199308791392271677060347/646805244948206567513444\ 98352756104079224028*c_1001_13^13 - 425695671926725583051412592904256986781925/323402622474103283756722\ 49176378052039612014*c_1001_13^12 + 1285400999908147978850919087419584176651439/12936104898964131350268\ 8996705512208158448056*c_1001_13^11 + 1451789423299066830401949240329774769988427/64680524494820656751344\ 498352756104079224028*c_1001_13^10 - 2169564066431917451636083408574302831017897/64680524494820656751344\ 498352756104079224028*c_1001_13^9 - 45263337341981741192551765208791095557404293/1293610489896413135026\ 88996705512208158448056*c_1001_13^8 + 54990830138377553952041161968463306852089709/1293610489896413135026\ 88996705512208158448056*c_1001_13^7 + 255968266758938785193508554780167644013782575/129361048989641313502\ 688996705512208158448056*c_1001_13^6 - 101349237023873479812235533809053030932045156/161701311237051641878\ 36124588189026019806007*c_1001_13^5 + 364895571796588507613180267390545171826516699/323402622474103283756\ 72249176378052039612014*c_1001_13^4 - 1760340863022954508016207983324231246121416861/12936104898964131350\ 2688996705512208158448056*c_1001_13^3 + 745043455238592648524332029032884367647979077/646805244948206567513\ 44498352756104079224028*c_1001_13^2 - 261475064247151450372897437018001803456939969/323402622474103283756\ 72249176378052039612014*c_1001_13 + 456009246903767251006786714369868586130971397/129361048989641313502\ 688996705512208158448056, c_0011_12 + 16842422090823101198811144177348740902947453897/61176345829\ 81161658031079784195837540023305001777184*c_1001_13^17 - 23821756562697411024279296559352197282978581247/3058817291490580829\ 015539892097918770011652500888592*c_1001_13^16 - 3578861235417071012685600046130983500854053739/30588172914905808290\ 15539892097918770011652500888592*c_1001_13^15 + 611433839090294531397914303403287225875613050915/611763458298116165\ 8031079784195837540023305001777184*c_1001_13^14 - 1533290615592559882906563117872572611963320615913/30588172914905808\ 29015539892097918770011652500888592*c_1001_13^13 - 155463645650158350924591274268285212335884282703/764704322872645207\ 253884973024479692502913125222148*c_1001_13^12 + 16775674899531518102641558715323166591435341855615/6117634582981161\ 658031079784195837540023305001777184*c_1001_13^11 - 4608657444184004339979007166311770128046036479453/15294086457452904\ 14507769946048959385005826250444296*c_1001_13^10 - 6778663265440880400935029617763609835677235563213/15294086457452904\ 14507769946048959385005826250444296*c_1001_13^9 + 253572584979189869506815422468009600570221071298629/611763458298116\ 1658031079784195837540023305001777184*c_1001_13^8 + 408411513319557217048562297717418543786511544172205/611763458298116\ 1658031079784195837540023305001777184*c_1001_13^7 - 1853980501868301747490825816797404767505111380801843/61176345829811\ 61658031079784195837540023305001777184*c_1001_13^6 - 43729820970691103555014764725876323634254973891485/3823521614363226\ 03626942486512239846251456562611074*c_1001_13^5 + 904054160205722890581575875288213854479944397655863/152940864574529\ 0414507769946048959385005826250444296*c_1001_13^4 - 7281780514319115604401989204204939619175406563310177/61176345829811\ 61658031079784195837540023305001777184*c_1001_13^3 + 3107847978690466683431420924622930350331003811114371/15294086457452\ 90414507769946048959385005826250444296*c_1001_13^2 - 2493858912141957468566722287717534731811154127709533/30588172914905\ 80829015539892097918770011652500888592*c_1001_13 + 3408092430310091338325261110510423624640211771743727/61176345829811\ 61658031079784195837540023305001777184, c_0011_13 - 1, c_0011_3 - 3872620073282165636838159265625567893515/1293610489896413135\ 02688996705512208158448056*c_1001_13^17 + 5606121490060817808103352468577628211619/32340262247410328375672249\ 176378052039612014*c_1001_13^16 - 840481243507976181053585644293793\ 2050156/16170131123705164187836124588189026019806007*c_1001_13^15 + 47364775299246783180773570650804171195225/1293610489896413135026889\ 96705512208158448056*c_1001_13^14 + 305246724339791245199308791392271677060347/646805244948206567513444\ 98352756104079224028*c_1001_13^13 - 425695671926725583051412592904256986781925/323402622474103283756722\ 49176378052039612014*c_1001_13^12 + 1285400999908147978850919087419584176651439/12936104898964131350268\ 8996705512208158448056*c_1001_13^11 + 1451789423299066830401949240329774769988427/64680524494820656751344\ 498352756104079224028*c_1001_13^10 - 2169564066431917451636083408574302831017897/64680524494820656751344\ 498352756104079224028*c_1001_13^9 - 45263337341981741192551765208791095557404293/1293610489896413135026\ 88996705512208158448056*c_1001_13^8 + 54990830138377553952041161968463306852089709/1293610489896413135026\ 88996705512208158448056*c_1001_13^7 + 255968266758938785193508554780167644013782575/129361048989641313502\ 688996705512208158448056*c_1001_13^6 - 101349237023873479812235533809053030932045156/161701311237051641878\ 36124588189026019806007*c_1001_13^5 + 364895571796588507613180267390545171826516699/323402622474103283756\ 72249176378052039612014*c_1001_13^4 - 1760340863022954508016207983324231246121416861/12936104898964131350\ 2688996705512208158448056*c_1001_13^3 + 745043455238592648524332029032884367647979077/646805244948206567513\ 44498352756104079224028*c_1001_13^2 - 261475064247151450372897437018001803456939969/323402622474103283756\ 72249176378052039612014*c_1001_13 + 456009246903767251006786714369868586130971397/129361048989641313502\ 688996705512208158448056, c_0101_1 - 325402479015399528315774604553549357126701331067/30588172914\ 90580829015539892097918770011652500888592*c_1001_13^17 + 934434167321175744742970566408176282764863500487/152940864574529041\ 4507769946048959385005826250444296*c_1001_13^16 - 2722175024362846781444582465015660749469297696769/15294086457452904\ 14507769946048959385005826250444296*c_1001_13^15 + 3078510431686512498166653418021509054621085315371/30588172914905808\ 29015539892097918770011652500888592*c_1001_13^14 + 26504719262239403534768057305741438343889959688875/1529408645745290\ 414507769946048959385005826250444296*c_1001_13^13 - 8796727149696632816739553233952534256668050907297/19117608071816130\ 1813471243256119923125728281305537*c_1001_13^12 + 80808613494724812585994404805834895849316464620459/3058817291490580\ 829015539892097918770011652500888592*c_1001_13^11 + 18075070498530395544256849513973150778010778556580/1911760807181613\ 01813471243256119923125728281305537*c_1001_13^10 - 21365434678279124488547558803958251962301450486687/1911760807181613\ 01813471243256119923125728281305537*c_1001_13^9 - 3917723376441620112011248406633853009597373433482075/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^8 + 4533658994558540204152059138043777603478581837243633/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^7 + 23350934147280720276339839208299314450642507869295605/3058817291490\ 580829015539892097918770011652500888592*c_1001_13^6 - 4238957302820008891172598807691185380813852779191894/19117608071816\ 1301813471243256119923125728281305537*c_1001_13^5 + 27250276692717529008188669717864123577448452026439159/7647043228726\ 45207253884973024479692502913125222148*c_1001_13^4 - 124454308194353198090537899372777257560767214313157789/305881729149\ 0580829015539892097918770011652500888592*c_1001_13^3 + 11466289036055702410395705453381693793129788700573349/3823521614363\ 22603626942486512239846251456562611074*c_1001_13^2 - 29265909471668928401722432654063393249524454294925435/1529408645745\ 290414507769946048959385005826250444296*c_1001_13 + 22931831191446910608817101208246732957742440929477815/3058817291490\ 580829015539892097918770011652500888592, c_0101_10 - 26001211749654588952081194472193010667324250021/38235216143\ 6322603626942486512239846251456562611074*c_1001_13^17 + 288132327735167584474068110903748443764814021663/764704322872645207\ 253884973024479692502913125222148*c_1001_13^16 - 842131242874625781678402562689510071368100052399/764704322872645207\ 253884973024479692502913125222148*c_1001_13^15 + 459491962199244740694339203195549445548811298753/764704322872645207\ 253884973024479692502913125222148*c_1001_13^14 + 2047348534066023400679346355669339834569035561298/19117608071816130\ 1813471243256119923125728281305537*c_1001_13^13 - 10462093266281024738882776311121299734945226833299/3823521614363226\ 03626942486512239846251456562611074*c_1001_13^12 + 3343176103853936515997460793167641830987799846505/19117608071816130\ 1813471243256119923125728281305537*c_1001_13^11 + 40697238145598231429363487229829091848380530942775/7647043228726452\ 07253884973024479692502913125222148*c_1001_13^10 - 44568510892894460122186134891121897894627798566981/7647043228726452\ 07253884973024479692502913125222148*c_1001_13^9 - 604811895011471448751122515629247535060932186057963/764704322872645\ 207253884973024479692502913125222148*c_1001_13^8 + 150368660170248556101854170584960000234202712720161/191176080718161\ 301813471243256119923125728281305537*c_1001_13^7 + 3514290330165944806478661259225486305513630324733575/76470432287264\ 5207253884973024479692502913125222148*c_1001_13^6 - 2513627365960365566736366980804306455167685891478393/19117608071816\ 1301813471243256119923125728281305537*c_1001_13^5 + 4347146066793378190114785317667084784796307412415875/19117608071816\ 1301813471243256119923125728281305537*c_1001_13^4 - 10471316143405377316203032441291994060380960008429931/3823521614363\ 22603626942486512239846251456562611074*c_1001_13^3 + 16433579903842208480987200899720321681872823178636069/7647043228726\ 45207253884973024479692502913125222148*c_1001_13^2 - 11186673707142307791047273744621745735278074231633423/7647043228726\ 45207253884973024479692502913125222148*c_1001_13 + 4444496635178538884452078109430487432953721354677297/76470432287264\ 5207253884973024479692502913125222148, c_0101_13 - 24635005881368238091420422147508417041244739673/30588172914\ 90580829015539892097918770011652500888592*c_1001_13^17 + 73800116890242540710158066137884782591662304185/1529408645745290414\ 507769946048959385005826250444296*c_1001_13^16 - 213650114594576668331661839474739442096466725287/152940864574529041\ 4507769946048959385005826250444296*c_1001_13^15 + 274749291504068768707413484500865324823987398113/305881729149058082\ 9015539892097918770011652500888592*c_1001_13^14 + 2055749606712230734378332127129904789507539515841/15294086457452904\ 14507769946048959385005826250444296*c_1001_13^13 - 711288998471988943794329831469337304116105183024/191176080718161301\ 813471243256119923125728281305537*c_1001_13^12 + 6172284336739551909344058610319216551151449933897/30588172914905808\ 29015539892097918770011652500888592*c_1001_13^11 + 2706613989246095505472234172514953081270824284783/38235216143632260\ 3626942486512239846251456562611074*c_1001_13^10 - 3868962349028345342277454940937323791918024944043/38235216143632260\ 3626942486512239846251456562611074*c_1001_13^9 - 306746236769274402734590455570905196417945040701249/305881729149058\ 0829015539892097918770011652500888592*c_1001_13^8 + 390132275003070191123236485051335774585106711933563/305881729149058\ 0829015539892097918770011652500888592*c_1001_13^7 + 1855847244094823653045632064504432635312622707272559/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^6 - 332617182922660730171610702770266193018966069371068/191176080718161\ 301813471243256119923125728281305537*c_1001_13^5 + 2160049997231231612787153632568129937710212684423717/76470432287264\ 5207253884973024479692502913125222148*c_1001_13^4 - 10124425077187280962698184814683605213524566455146719/3058817291490\ 580829015539892097918770011652500888592*c_1001_13^3 + 466984119768969152635473028941859564352076282542902/191176080718161\ 301813471243256119923125728281305537*c_1001_13^2 - 2928149141560589543510027400382403449323447826880605/15294086457452\ 90414507769946048959385005826250444296*c_1001_13 + 1848621223537249865080744475364777395221697693889109/30588172914905\ 80829015539892097918770011652500888592, c_0101_7 - 17964917555669416507647655483244148729709123491/305881729149\ 0580829015539892097918770011652500888592*c_1001_13^17 + 45356204656747800330882817034111508646803305613/1529408645745290414\ 507769946048959385005826250444296*c_1001_13^16 - 117772404946859843448660148690661229648394364647/152940864574529041\ 4507769946048959385005826250444296*c_1001_13^15 - 5414997841722782710731679310425155520256533057/30588172914905808290\ 15539892097918770011652500888592*c_1001_13^14 + 1471144598052711588274494146871035991047535583179/15294086457452904\ 14507769946048959385005826250444296*c_1001_13^13 - 716221002626819897784518770388039194857769210651/382352161436322603\ 626942486512239846251456562611074*c_1001_13^12 + 170873717907714542173731187221064939983745273755/305881729149058082\ 9015539892097918770011652500888592*c_1001_13^11 + 4156111769362578010263883036831653721907864982963/76470432287264520\ 7253884973024479692502913125222148*c_1001_13^10 - 1607217671353508965913770321498529399803260899833/76470432287264520\ 7253884973024479692502913125222148*c_1001_13^9 - 217660440798625800283030811923586119312465141035111/305881729149058\ 0829015539892097918770011652500888592*c_1001_13^8 + 96148633489021906477757681356883349745496351974193/3058817291490580\ 829015539892097918770011652500888592*c_1001_13^7 + 1373946509879033761729575309443612414615553439705361/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^6 - 172489474049816622730551187069162571686161765912958/191176080718161\ 301813471243256119923125728281305537*c_1001_13^5 + 946326376073453364333958610953825612957204622675079/764704322872645\ 207253884973024479692502913125222148*c_1001_13^4 - 4329233096055176749584294155285674018872608415671189/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^3 + 383370181850126241076627183301386398179162592996775/764704322872645\ 207253884973024479692502913125222148*c_1001_13^2 - 276606190642802315957014891345972730134258654637633/152940864574529\ 0414507769946048959385005826250444296*c_1001_13 - 473862298978666715989150204046020564875323626543269/305881729149058\ 0829015539892097918770011652500888592, c_0101_9 - 246751559852895411705948694144961950479223646623/61176345829\ 81161658031079784195837540023305001777184*c_1001_13^17 + 754898300787980457603469461284833432606978178549/305881729149058082\ 9015539892097918770011652500888592*c_1001_13^16 - 2315803179642165245860458292550831623734665201167/30588172914905808\ 29015539892097918770011652500888592*c_1001_13^15 + 3807052145268615517214085420967892098344257409507/61176345829811616\ 58031079784195837540023305001777184*c_1001_13^14 + 19786904054958584148336244558026565276854884253007/3058817291490580\ 829015539892097918770011652500888592*c_1001_13^13 - 15191539595716463175282125449007152589003794813945/7647043228726452\ 07253884973024479692502913125222148*c_1001_13^12 + 98314505149209618853808025684141827556686806245527/6117634582981161\ 658031079784195837540023305001777184*c_1001_13^11 + 49321049445202009797712937659503911418456766802297/1529408645745290\ 414507769946048959385005826250444296*c_1001_13^10 - 86757906054211081821554878717003170222509624940719/1529408645745290\ 414507769946048959385005826250444296*c_1001_13^9 - 2892380398682850659965524106686526251207613258821547/61176345829811\ 61658031079784195837540023305001777184*c_1001_13^8 + 4496700987785814847476197055820134754830633996588917/61176345829811\ 61658031079784195837540023305001777184*c_1001_13^7 + 16612982482038938052843566363744980758776173921125453/6117634582981\ 161658031079784195837540023305001777184*c_1001_13^6 - 3608027452138429811150239320528909518497188035303117/38235216143632\ 2603626942486512239846251456562611074*c_1001_13^5 + 25333392509000403847166391722580181344251174334904871/1529408645745\ 290414507769946048959385005826250444296*c_1001_13^4 - 123249340576799789255364771574510548473337318385538937/611763458298\ 1161658031079784195837540023305001777184*c_1001_13^3 + 25181209181313010229463300007796683071865347729785069/1529408645745\ 290414507769946048959385005826250444296*c_1001_13^2 - 31146265946092345245032337993104991535529496570940065/3058817291490\ 580829015539892097918770011652500888592*c_1001_13 + 24805201082513615054799165561745426041658609747545455/6117634582981\ 161658031079784195837540023305001777184, c_1001_1 - 1290981589480087575642698721380716211532287175/3823521614363\ 22603626942486512239846251456562611074*c_1001_13^17 - 1151503765484848371876743527604973966132344245/19117608071816130181\ 3471243256119923125728281305537*c_1001_13^16 + 11903475242318295978413443555949122334276630815/1911760807181613018\ 13471243256119923125728281305537*c_1001_13^15 - 97620774631081900518359388151137401348423990799/3823521614363226036\ 26942486512239846251456562611074*c_1001_13^14 + 71023035005764077831105229101012062752937018985/1911760807181613018\ 13471243256119923125728281305537*c_1001_13^13 + 535965617724304433575986843342940813180483007288/191176080718161301\ 813471243256119923125728281305537*c_1001_13^12 - 2280883443031431889758932689168526540109331438033/38235216143632260\ 3626942486512239846251456562611074*c_1001_13^11 - 132129467533104222006040758869389123381040196199/191176080718161301\ 813471243256119923125728281305537*c_1001_13^10 + 5039044741224141712640513983764138581088213615072/19117608071816130\ 1813471243256119923125728281305537*c_1001_13^9 - 14644532979777353284955457685495089468830354535229/3823521614363226\ 03626942486512239846251456562611074*c_1001_13^8 - 105300006422784380815013178149650125321849653785403/382352161436322\ 603626942486512239846251456562611074*c_1001_13^7 + 114505030207876698913055067225205496540437836056007/382352161436322\ 603626942486512239846251456562611074*c_1001_13^6 + 267727843272319447906191441484029402154617978110124/191176080718161\ 301813471243256119923125728281305537*c_1001_13^5 - 483876860236688314031035356895872227776543366260644/191176080718161\ 301813471243256119923125728281305537*c_1001_13^4 + 628366954729802600752598719330843371780913272647255/382352161436322\ 603626942486512239846251456562611074*c_1001_13^3 - 119967299322578903982256772812163512363870317703303/191176080718161\ 301813471243256119923125728281305537*c_1001_13^2 - 127244352893480151335140630684897060893259572315464/191176080718161\ 301813471243256119923125728281305537*c_1001_13 + 165948375047207375122016719360128986793549995043757/382352161436322\ 603626942486512239846251456562611074, c_1001_10 - 312989515752011592924768708486938199152015291869/3058817291\ 490580829015539892097918770011652500888592*c_1001_13^17 + 885429688205034221271208388204812579021309258591/152940864574529041\ 4507769946048959385005826250444296*c_1001_13^16 - 2581663153935419234331238608866322727425748044853/15294086457452904\ 14507769946048959385005826250444296*c_1001_13^15 + 3011304554977152381229989476493791071636960878601/30588172914905808\ 29015539892097918770011652500888592*c_1001_13^14 + 24908783120318243308737287311014710160567992779293/1529408645745290\ 414507769946048959385005826250444296*c_1001_13^13 - 16299942632280018092269649803625023102573959285613/3823521614363226\ 03626942486512239846251456562611074*c_1001_13^12 + 80708232558244140275731827437014903517689235409013/3058817291490580\ 829015539892097918770011652500888592*c_1001_13^11 + 60928269696895364721062559321509645860645603940239/7647043228726452\ 07253884973024479692502913125222148*c_1001_13^10 - 73231228672435773441056310996207889994588862082589/7647043228726452\ 07253884973024479692502913125222148*c_1001_13^9 - 3685769694350355527276321869143463339074590546339473/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^8 + 3934274879004329300309803743644884755966884012836575/30588172914905\ 80829015539892097918770011652500888592*c_1001_13^7 + 21770059345652662258682031206383852544630817545691735/3058817291490\ 580829015539892097918770011652500888592*c_1001_13^6 - 3852373341263617887389573329728752080977551027246514/19117608071816\ 1301813471243256119923125728281305537*c_1001_13^5 + 26640256666136240407685407216586091377018926920984037/7647043228726\ 45207253884973024479692502913125222148*c_1001_13^4 - 131159816666832560654071595860635334329080398707865755/305881729149\ 0580829015539892097918770011652500888592*c_1001_13^3 + 25220037521257811363050037081407520712224070486869743/7647043228726\ 45207253884973024479692502913125222148*c_1001_13^2 - 34100983451724331829552211453068915357979828278134715/1529408645745\ 290414507769946048959385005826250444296*c_1001_13 + 26566118995673400906373970430650678749385376142721005/3058817291490\ 580829015539892097918770011652500888592, c_1001_13^18 - 7*c_1001_13^17 + 24*c_1001_13^16 - 31*c_1001_13^15 - 149*c_1001_13^14 + 634*c_1001_13^13 - 801*c_1001_13^12 - 515*c_1001_13^11 + 2080*c_1001_13^10 + 10641*c_1001_13^9 - 28752*c_1001_13^8 - 53720*c_1001_13^7 + 294835*c_1001_13^6 - 599252*c_1001_13^5 + 835051*c_1001_13^4 - 816611*c_1001_13^3 + 585802*c_1001_13^2 - 333039*c_1001_13 + 97921 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB