Magma V2.19-8 Tue Aug 20 2013 23:40:10 on localhost [Seed = 2378950954] Type ? for help. Type -D to quit. Loading file "K12n148__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n148 geometric_solution 10.55499885 oriented_manifold CS_known -0.0000000000000002 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 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 0 0 0 0 0 1 0 -1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.715116333734 1.236213038776 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266049527842 0.403748144469 3 0 9 8 1230 0132 0132 0132 0 0 0 0 0 0 -1 1 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 -10 11 0 0 10 -10 -11 11 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.478468158317 0.652862533259 10 2 6 0 0132 3012 2310 0132 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 -1 0 1 0 0 0 0 11 0 0 -11 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.305509743914 0.895320193444 10 7 0 6 2310 3012 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.331875348154 0.504515996863 6 1 9 11 3120 0132 0321 0132 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 10 -10 0 0 0 0 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.225146937613 0.779802613788 4 3 1 5 3201 3201 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328621729676 1.180800739298 4 11 9 1 1230 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 10 -10 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 1.132539416788 1.416621734392 10 11 2 10 1302 2310 0132 2103 0 0 0 0 0 0 -1 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 -11 11 -11 0 10 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.968120864189 0.987719227341 7 11 5 2 2031 2031 0321 0132 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -10 10 10 0 0 -10 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.579168924254 1.255650022849 3 8 4 8 0132 2031 3201 2103 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 0 1 -1 0 0 1 -1 11 0 0 -11 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.032642796026 1.011379902527 9 7 5 8 1302 0132 0132 3201 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 -10 10 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.823221491889 0.696920520243 ==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' : negation(d['c_0011_4']), 'c_1001_5' : negation(d['c_0101_3']), 'c_1001_4' : d['c_0011_11'], 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_0011_11'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : negation(d['c_0101_2']), 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_9']), 'c_0101_10' : d['c_0101_0'], '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' : negation(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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_3']), 'c_1100_5' : negation(d['c_0011_8']), 'c_1100_4' : d['c_0011_6'], 'c_1100_7' : negation(d['c_0101_5']), 'c_1100_6' : negation(d['c_0101_5']), 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0101_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_8']), 'c_1100_10' : negation(d['c_0011_4']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_0']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_9'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : d['c_0011_11'], 'c_1010_9' : d['c_0011_11'], 'c_1010_8' : negation(d['c_0011_8']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_8'], 'c_0110_10' : d['c_0101_3'], 'c_0110_0' : d['c_0011_4'], 'c_0101_7' : negation(d['c_0011_9']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_5']), 'c_0101_8' : negation(d['c_0011_10']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_3']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_10']), 'c_0110_5' : negation(d['c_0011_9']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0011_9'])})} 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_4, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_2, c_0101_3, c_0101_5, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 928916739436708617487970102420156434778072021/108512533189762036434\ 550123331954056287227875*c_1001_1^19 - 44461755915146444280791365648355519186839409931/1844713064225954619\ 387352096643218956882873875*c_1001_1^18 - 198993451257259217794403952836263248299875908/217025066379524072869\ 10024666390811257445575*c_1001_1^17 - 15203109171425446310380712474086986326159788919/1844713064225954619\ 387352096643218956882873875*c_1001_1^16 + 26831922758648324083978163382928161774844550799/3689426128451909238\ 77470419328643791376574775*c_1001_1^15 + 547746440305286487693460171516655334283061776389/184471306422595461\ 9387352096643218956882873875*c_1001_1^14 - 272752273293535593327123351577799588613797143078/184471306422595461\ 9387352096643218956882873875*c_1001_1^13 - 255038693828093798717289354805069017185311693694/368942612845190923\ 877470419328643791376574775*c_1001_1^12 + 291976413405156679812935140596216916705555664348/184471306422595461\ 9387352096643218956882873875*c_1001_1^11 + 1485429209879542068815973910943180311654146040216/18447130642259546\ 19387352096643218956882873875*c_1001_1^10 + 41131559455733197235116365053544896481967485413/3689426128451909238\ 77470419328643791376574775*c_1001_1^9 - 1598341851366794271027163186140664751139461464143/18447130642259546\ 19387352096643218956882873875*c_1001_1^8 - 180503774758462273076649655450900628821342601336/184471306422595461\ 9387352096643218956882873875*c_1001_1^7 + 272123692502576534975412244553715113431269217814/368942612845190923\ 877470419328643791376574775*c_1001_1^6 - 487400134348051552257993015103414294346388557591/184471306422595461\ 9387352096643218956882873875*c_1001_1^5 - 538719563729234774666883550462843615951559964984/184471306422595461\ 9387352096643218956882873875*c_1001_1^4 + 72192672869242887242749044754001287869583537561/3689426128451909238\ 77470419328643791376574775*c_1001_1^3 - 1594889216983117187020945377983835907324410506/73788522569038184775\ 494083865728758275314955*c_1001_1^2 - 315252690979537183971465816050857141496825596/147577045138076369550\ 98816773145751655062991*c_1001_1 + 3966867030210873687053073860588805145211976079/18447130642259546193\ 87352096643218956882873875, c_0011_0 - 1, c_0011_10 - 737666760464072264830264983304273281116/2976003652787440149\ 04491253567237727219*c_1001_1^19 - 2295272746574151211273778692272904758641/29760036527874401490449125\ 3567237727219*c_1001_1^18 - 661273232078344177584327258672475138959\ /297600365278744014904491253567237727219*c_1001_1^17 + 1402194295925524052573583782546908802578/29760036527874401490449125\ 3567237727219*c_1001_1^16 + 784903686952308044889977356214134493092\ 9/297600365278744014904491253567237727219*c_1001_1^15 + 29397746594076573890062475550949840985197/2976003652787440149044912\ 53567237727219*c_1001_1^14 - 10493928189855721648064385340420372588\ 317/297600365278744014904491253567237727219*c_1001_1^13 - 91203290891417429670495766314594397918363/2976003652787440149044912\ 53567237727219*c_1001_1^12 - 35730787932783120499743898943346754593\ 90/297600365278744014904491253567237727219*c_1001_1^11 + 123932562929314323847874660560429336378251/297600365278744014904491\ 253567237727219*c_1001_1^10 + 3252207153941784792598896830929888919\ 3020/297600365278744014904491253567237727219*c_1001_1^9 - 120861883499820394750049110779793721104626/297600365278744014904491\ 253567237727219*c_1001_1^8 - 44452784984994869091454890900646726864\ 448/297600365278744014904491253567237727219*c_1001_1^7 + 119362641119633599291166664198374793900045/297600365278744014904491\ 253567237727219*c_1001_1^6 + 10290331157969422561990550295611356444\ 387/297600365278744014904491253567237727219*c_1001_1^5 - 81061645950849848450633711110714859372980/2976003652787440149044912\ 53567237727219*c_1001_1^4 + 239508983376889688534495707160829553877\ 09/297600365278744014904491253567237727219*c_1001_1^3 + 19614798900762826946405389875166255305033/2976003652787440149044912\ 53567237727219*c_1001_1^2 - 183737622897366435585362944985975159251\ 35/297600365278744014904491253567237727219*c_1001_1 - 678141925327866258629375269123536819475/297600365278744014904491253\ 567237727219, c_0011_11 + 274715195870753883269479684056342944021/2976003652787440149\ 04491253567237727219*c_1001_1^19 + 840142254472002149800571835345258999669/297600365278744014904491253\ 567237727219*c_1001_1^18 + 220368297243251790110045619726344994525/\ 297600365278744014904491253567237727219*c_1001_1^17 - 477949319904767994868486650447793276982/297600365278744014904491253\ 567237727219*c_1001_1^16 - 2881414243415664012006893596112260498855\ /297600365278744014904491253567237727219*c_1001_1^15 - 10816653543579280989766549221838202000014/2976003652787440149044912\ 53567237727219*c_1001_1^14 + 42687908699951114981248997182624993284\ 98/297600365278744014904491253567237727219*c_1001_1^13 + 32979053110518513271297208667236509539791/2976003652787440149044912\ 53567237727219*c_1001_1^12 - 15183145961647708059764652976288152722\ 3/297600365278744014904491253567237727219*c_1001_1^11 - 44116805387126532521335038871583043421659/2976003652787440149044912\ 53567237727219*c_1001_1^10 - 95968076776128674229945217587479430787\ 69/297600365278744014904491253567237727219*c_1001_1^9 + 43273582204626072351018192954668230449730/2976003652787440149044912\ 53567237727219*c_1001_1^8 + 132238244030166758825860259940582609882\ 66/297600365278744014904491253567237727219*c_1001_1^7 - 43251387902986683162831175266230323286954/2976003652787440149044912\ 53567237727219*c_1001_1^6 - 456493944485683432548443870222877336879\ /297600365278744014904491253567237727219*c_1001_1^5 + 28436816219030035680057972009725220651080/2976003652787440149044912\ 53567237727219*c_1001_1^4 - 104860472972268372948391218021027246819\ 33/297600365278744014904491253567237727219*c_1001_1^3 - 6112022198167203296692440255145285229413/29760036527874401490449125\ 3567237727219*c_1001_1^2 + 6813140133324031254746081890373401986637\ /297600365278744014904491253567237727219*c_1001_1 + 133450665953018269027389687974138319889/297600365278744014904491253\ 567237727219, c_0011_4 + 86989810521301038150917090885528032398/297600365278744014904\ 491253567237727219*c_1001_1^19 + 2418651792754144347334383733889551\ 03774/297600365278744014904491253567237727219*c_1001_1^18 + 22600612301548747822573114585186647172/2976003652787440149044912535\ 67237727219*c_1001_1^17 - 117682785262267872652806173638842520979/2\ 97600365278744014904491253567237727219*c_1001_1^16 - 908835495206082985383136388264439637026/297600365278744014904491253\ 567237727219*c_1001_1^15 - 3179258295160110984953801154997883887020\ /297600365278744014904491253567237727219*c_1001_1^14 + 2049999488728218689700892442150454977519/29760036527874401490449125\ 3567237727219*c_1001_1^13 + 930900014292632544883541972564579636809\ 1/297600365278744014904491253567237727219*c_1001_1^12 - 1670049594014638290841816600534603940477/29760036527874401490449125\ 3567237727219*c_1001_1^11 - 120516902141388049256283709679112045720\ 09/297600365278744014904491253567237727219*c_1001_1^10 - 1528472980500573780012612661893441510791/29760036527874401490449125\ 3567237727219*c_1001_1^9 + 1241178098693944595465096079099300624033\ 7/297600365278744014904491253567237727219*c_1001_1^8 + 2154940233394921653243591625627751589348/29760036527874401490449125\ 3567237727219*c_1001_1^7 - 1208868351302156701697122271204027800113\ 2/297600365278744014904491253567237727219*c_1001_1^6 + 1783266064394859502639898219344165171659/29760036527874401490449125\ 3567237727219*c_1001_1^5 + 6462687455227669246740962249044420118745\ /297600365278744014904491253567237727219*c_1001_1^4 - 2867503125651623376986192183623038898290/29760036527874401490449125\ 3567237727219*c_1001_1^3 - 1065151736767409984423899599550093762471\ /297600365278744014904491253567237727219*c_1001_1^2 + 1227937589440733696079743416546567710577/29760036527874401490449125\ 3567237727219*c_1001_1 + 286965564905007480493071520424921677635/29\ 7600365278744014904491253567237727219, c_0011_6 + 280350176476092895815411615373866289499/29760036527874401490\ 4491253567237727219*c_1001_1^19 + 864191581927830731366677958923399\ 454540/297600365278744014904491253567237727219*c_1001_1^18 + 259604452071956424875081051256554956064/297600365278744014904491253\ 567237727219*c_1001_1^17 - 447246041030165977870521601307755200648/\ 297600365278744014904491253567237727219*c_1001_1^16 - 2950229530584110905586126172978029367037/29760036527874401490449125\ 3567237727219*c_1001_1^15 - 110966293763574474190296688070901728543\ 18/297600365278744014904491253567237727219*c_1001_1^14 + 3993961182914979904210645314918966617356/29760036527874401490449125\ 3567237727219*c_1001_1^13 + 333557912588709791091771352654537481927\ 73/297600365278744014904491253567237727219*c_1001_1^12 + 1125730518678254418076495722961816366786/29760036527874401490449125\ 3567237727219*c_1001_1^11 - 439179819916528604926933165677055432008\ 53/297600365278744014904491253567237727219*c_1001_1^10 - 11719513402742797295187917263236826062645/2976003652787440149044912\ 53567237727219*c_1001_1^9 + 424766640998613528594120356494695881832\ 18/297600365278744014904491253567237727219*c_1001_1^8 + 15046750732712705535118523373995705372539/2976003652787440149044912\ 53567237727219*c_1001_1^7 - 420608921462670588918148534287390949576\ 56/297600365278744014904491253567237727219*c_1001_1^6 - 1877957851651230287430678518210451978925/29760036527874401490449125\ 3567237727219*c_1001_1^5 + 2732528421259361088694255156829031514674\ 7/297600365278744014904491253567237727219*c_1001_1^4 - 9054052396649095473481870274465865018713/29760036527874401490449125\ 3567237727219*c_1001_1^3 - 5909322391312398306133303226940529528461\ /297600365278744014904491253567237727219*c_1001_1^2 + 6200579362456866053156179700498190158920/29760036527874401490449125\ 3567237727219*c_1001_1 + 429956093920188491167541223656139847286/29\ 7600365278744014904491253567237727219, c_0011_8 + 125600673920396462146520327026317092503/29760036527874401490\ 4491253567237727219*c_1001_1^19 + 355105336617134915539113237987665\ 855581/297600365278744014904491253567237727219*c_1001_1^18 + 17084680308844482565037357730879468943/2976003652787440149044912535\ 67237727219*c_1001_1^17 - 231940476984478596133176817148214875897/2\ 97600365278744014904491253567237727219*c_1001_1^16 - 1270671442988658829840482057757086146002/29760036527874401490449125\ 3567237727219*c_1001_1^15 - 463015437158223307757678506832899375258\ 6/297600365278744014904491253567237727219*c_1001_1^14 + 3058062618224271025678923172983366744501/29760036527874401490449125\ 3567237727219*c_1001_1^13 + 145010941509402108432128834149395721133\ 96/297600365278744014904491253567237727219*c_1001_1^12 - 3330498565889970764288700994360224015200/29760036527874401490449125\ 3567237727219*c_1001_1^11 - 199281507915724637158215239322362105920\ 89/297600365278744014904491253567237727219*c_1001_1^10 - 193363404991297766625953951403005694430/297600365278744014904491253\ 567237727219*c_1001_1^9 + 20626266070492333709322171664396493820217\ /297600365278744014904491253567237727219*c_1001_1^8 + 1924918712397037812542548663446657981974/29760036527874401490449125\ 3567237727219*c_1001_1^7 - 2094643419409288572059086593375603737073\ 9/297600365278744014904491253567237727219*c_1001_1^6 + 3664895330449996055415870062812279319298/29760036527874401490449125\ 3567237727219*c_1001_1^5 + 1290674854093030826990283594515229505490\ 2/297600365278744014904491253567237727219*c_1001_1^4 - 6889038331989188062886366004085655129905/29760036527874401490449125\ 3567237727219*c_1001_1^3 - 1867738457861607349412351188875368179756\ /297600365278744014904491253567237727219*c_1001_1^2 + 3228699709508273733435237814492763742614/29760036527874401490449125\ 3567237727219*c_1001_1 - 379365185498118348890962469866674153098/29\ 7600365278744014904491253567237727219, c_0011_9 + 322396290534733051082445647508993041048/29760036527874401490\ 4491253567237727219*c_1001_1^19 + 988657161158491311994462852869409\ 332821/297600365278744014904491253567237727219*c_1001_1^18 + 280859243454479382131256273019175789353/297600365278744014904491253\ 567237727219*c_1001_1^17 - 531770994349713705044368575971927497264/\ 297600365278744014904491253567237727219*c_1001_1^16 - 3411322627815117360775046779578646577229/29760036527874401490449125\ 3567237727219*c_1001_1^15 - 127194284342757343868388823068277479214\ 13/297600365278744014904491253567237727219*c_1001_1^14 + 4828382455642387212797124814458601864088/29760036527874401490449125\ 3567237727219*c_1001_1^13 + 384380610677248720204394599974871987399\ 19/297600365278744014904491253567237727219*c_1001_1^12 + 962349250619518264041256819143108714223/297600365278744014904491253\ 567237727219*c_1001_1^11 - 5075466431391880694773542349778336738714\ 4/297600365278744014904491253567237727219*c_1001_1^10 - 13684541451762383513328810230826790712524/2976003652787440149044912\ 53567237727219*c_1001_1^9 + 488506413384077611517727093923090112074\ 09/297600365278744014904491253567237727219*c_1001_1^8 + 17816466134233995592890275477237576868758/2976003652787440149044912\ 53567237727219*c_1001_1^7 - 478741781735483677957189492583451035800\ 62/297600365278744014904491253567237727219*c_1001_1^6 - 2328532544469585779109144681555953762774/29760036527874401490449125\ 3567237727219*c_1001_1^5 + 3069760988799823940837625457018861744646\ 5/297600365278744014904491253567237727219*c_1001_1^4 - 10275936901204391426011729604530805147144/2976003652787440149044912\ 53567237727219*c_1001_1^3 - 633315688305106186182556551830457143572\ 1/297600365278744014904491253567237727219*c_1001_1^2 + 6876141936857624426003935867367920030977/29760036527874401490449125\ 3567237727219*c_1001_1 + 310078788859018471026375187148679293778/29\ 7600365278744014904491253567237727219, c_0101_0 - 166230320128663819374060015120907096645/29760036527874401490\ 4491253567237727219*c_1001_1^19 - 488247889876435171752241597368053\ 705348/297600365278744014904491253567237727219*c_1001_1^18 - 97155822537753827759162120446846724075/2976003652787440149044912535\ 67237727219*c_1001_1^17 + 253146398539280931862257639783008467409/2\ 97600365278744014904491253567237727219*c_1001_1^16 + 1742474575873141909603565796014896685690/29760036527874401490449125\ 3567237727219*c_1001_1^15 + 634566005691746958610893215252916788923\ 1/297600365278744014904491253567237727219*c_1001_1^14 - 3140535691605530755907649074639083019898/29760036527874401490449125\ 3567237727219*c_1001_1^13 - 189150254061991210468308967852565283720\ 35/297600365278744014904491253567237727219*c_1001_1^12 + 1329866533938694502065862605824269309255/29760036527874401490449125\ 3567237727219*c_1001_1^11 + 247533512265061001207222829606884709576\ 97/297600365278744014904491253567237727219*c_1001_1^10 + 4766454044904347859796151694764489617428/29760036527874401490449125\ 3567237727219*c_1001_1^9 - 2455507122135504930982759817390105150362\ 4/297600365278744014904491253567237727219*c_1001_1^8 - 6566963615894098594550730306159304975124/29760036527874401490449125\ 3567237727219*c_1001_1^7 + 2405219686461821678899557834304369197406\ 2/297600365278744014904491253567237727219*c_1001_1^6 - 988807934481736639512996835303232896453/297600365278744014904491253\ 567237727219*c_1001_1^5 - 14098262162044049112509100003575056686966\ /297600365278744014904491253567237727219*c_1001_1^4 + 5613813011160281456417274521349799271759/29760036527874401490449125\ 3567237727219*c_1001_1^3 + 2428835389400953338770833136039597111536\ /297600365278744014904491253567237727219*c_1001_1^2 - 3288368463444623378268359598351330852375/29760036527874401490449125\ 3567237727219*c_1001_1 - 140978659175889244463394777903043908654/29\ 7600365278744014904491253567237727219, c_0101_2 - 218997284412494938889647697689203105835/29760036527874401490\ 4491253567237727219*c_1001_1^19 - 710065195267943556261442187490302\ 657387/297600365278744014904491253567237727219*c_1001_1^18 - 288782354452349078642190537914271889554/297600365278744014904491253\ 567237727219*c_1001_1^17 + 373180206464136649104908374499943882205/\ 297600365278744014904491253567237727219*c_1001_1^16 + 2364233361731896252977815019006473785586/29760036527874401490449125\ 3567237727219*c_1001_1^15 + 904489381877677726220054489021298583367\ 9/297600365278744014904491253567237727219*c_1001_1^14 - 1926371943705962992196595696976730222412/29760036527874401490449125\ 3567237727219*c_1001_1^13 - 272914330225863802188129732317014646307\ 70/297600365278744014904491253567237727219*c_1001_1^12 - 4432884783722538568831466903426361436976/29760036527874401490449125\ 3567237727219*c_1001_1^11 + 359494787665569397042524935939024036557\ 19/297600365278744014904491253567237727219*c_1001_1^10 + 13691500507707740256969200080623515816728/2976003652787440149044912\ 53567237727219*c_1001_1^9 - 335210594825452654227805749343770579643\ 61/297600365278744014904491253567237727219*c_1001_1^8 - 16545490410067479058401619465020365975295/2976003652787440149044912\ 53567237727219*c_1001_1^7 + 328878152130734764171049146692197274019\ 08/297600365278744014904491253567237727219*c_1001_1^6 + 6037298094291563603456618881383932394878/29760036527874401490449125\ 3567237727219*c_1001_1^5 - 2321065259414300024002161688499694015116\ 9/297600365278744014904491253567237727219*c_1001_1^4 + 5452618278319022415333044619162528098548/29760036527874401490449125\ 3567237727219*c_1001_1^3 + 6295976718465414817906868522478413810685\ /297600365278744014904491253567237727219*c_1001_1^2 - 5082503274697100933472035942367776208812/29760036527874401490449125\ 3567237727219*c_1001_1 - 625375902600554768319383054363015645628/29\ 7600365278744014904491253567237727219, c_0101_3 + 541563805777165925175613319184401943852/29760036527874401490\ 4491253567237727219*c_1001_1^19 + 167649666420127513387841532363442\ 7675649/297600365278744014904491253567237727219*c_1001_1^18 + 462898080441867133901673515201832151092/297600365278744014904491253\ 567237727219*c_1001_1^17 - 1028795028614860807962994411191632691102\ /297600365278744014904491253567237727219*c_1001_1^16 - 5755342543311674839665916357646591032140/29760036527874401490449125\ 3567237727219*c_1001_1^15 - 215022465627396683698816040340678886541\ 48/297600365278744014904491253567237727219*c_1001_1^14 + 8003216022645452238568092868610985359132/29760036527874401490449125\ 3567237727219*c_1001_1^13 + 667120950408032535014347396956724609810\ 78/297600365278744014904491253567237727219*c_1001_1^12 + 1781998024360276851585638190646162843184/29760036527874401490449125\ 3567237727219*c_1001_1^11 - 906148160103946310297543063867377786178\ 40/297600365278744014904491253567237727219*c_1001_1^10 - 22868996445813880968593814585451244334357/2976003652787440149044912\ 53567237727219*c_1001_1^9 + 884836496125966808380086247139864723063\ 40/297600365278744014904491253567237727219*c_1001_1^8 + 31579197479122547022264835906588807962298/2976003652787440149044912\ 53567237727219*c_1001_1^7 - 873519119613261353327456441945710236452\ 59/297600365278744014904491253567237727219*c_1001_1^6 - 6317587163304490968562638581618800679047/29760036527874401490449125\ 3567237727219*c_1001_1^5 + 5877863384744971413185386590858063209018\ 7/297600365278744014904491253567237727219*c_1001_1^4 - 18346882372747572465924032403706683310145/2976003652787440149044912\ 53567237727219*c_1001_1^3 - 137697536598658364572087997119379156319\ 54/297600365278744014904491253567237727219*c_1001_1^2 + 13472488426622900117316300602317273368255/2976003652787440149044912\ 53567237727219*c_1001_1 + 353181171858638864215453229353573953654/2\ 97600365278744014904491253567237727219, c_0101_5 - 477258767320085748929418801503997879093/29760036527874401490\ 4491253567237727219*c_1001_1^19 - 144291180546430623174365973995455\ 0213143/297600365278744014904491253567237727219*c_1001_1^18 - 333303579876679623287430772933146300511/297600365278744014904491253\ 567237727219*c_1001_1^17 + 855799329014084793094847932173657693851/\ 297600365278744014904491253567237727219*c_1001_1^16 + 5014695014735181748238818538999744011050/29760036527874401490449125\ 3567237727219*c_1001_1^15 + 185892847580398521663853299340929986463\ 05/297600365278744014904491253567237727219*c_1001_1^14 - 8146605887365156868070556865886443454080/29760036527874401490449125\ 3567237727219*c_1001_1^13 - 572370815916351527942624655863361508650\ 78/297600365278744014904491253567237727219*c_1001_1^12 + 1610387818215993644145766401056546787803/29760036527874401490449125\ 3567237727219*c_1001_1^11 + 771485037239659844638660363867441674871\ 65/297600365278744014904491253567237727219*c_1001_1^10 + 16260461012273518480169763483057861690379/2976003652787440149044912\ 53567237727219*c_1001_1^9 - 759868604489278584075396915367025397426\ 42/297600365278744014904491253567237727219*c_1001_1^8 - 23413841250234708251718062323915814418366/2976003652787440149044912\ 53567237727219*c_1001_1^7 + 750252897021288545399810599172998007918\ 49/297600365278744014904491253567237727219*c_1001_1^6 + 939703798796889524702065099220007322643/297600365278744014904491253\ 567237727219*c_1001_1^5 - 48363370829079045628042155490897611953873\ /297600365278744014904491253567237727219*c_1001_1^4 + 17505382542706228977827763933989411097918/2976003652787440149044912\ 53567237727219*c_1001_1^3 + 101212973814216264108394680213538621224\ 33/297600365278744014904491253567237727219*c_1001_1^2 - 11098656390666440430692025760365878182537/2976003652787440149044912\ 53567237727219*c_1001_1 - 212975225508878029182034153285594836258/2\ 97600365278744014904491253567237727219, c_1001_1^20 + 53/17*c_1001_1^19 + 16/17*c_1001_1^18 - 31/17*c_1001_1^17 - 181/17*c_1001_1^16 - 679/17*c_1001_1^15 + 234/17*c_1001_1^14 + 2088/17*c_1001_1^13 + 107/17*c_1001_1^12 - 2809/17*c_1001_1^11 - 786/17*c_1001_1^10 + 2718/17*c_1001_1^9 + 1049/17*c_1001_1^8 - 2679/17*c_1001_1^7 - 249/17*c_1001_1^6 + 1800/17*c_1001_1^5 - 526/17*c_1001_1^4 - 430/17*c_1001_1^3 + 400/17*c_1001_1^2 + 26/17*c_1001_1 + 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.720 Total time: 0.940 seconds, Total memory usage: 32.09MB