Magma V2.19-8 Wed Aug 21 2013 00:51:09 on localhost [Seed = 2480244370] Type ? for help. Type -D to quit. Loading file "L11a147__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L11a147 geometric_solution 12.61744020 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 0 1 0 2 2310 0132 3201 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 1 -3 -1 0 1 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.486926412889 0.949180791974 3 0 5 4 0132 0132 0132 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.642941513677 0.486390947315 4 6 0 7 1023 0132 0132 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 -3 3 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.693061212133 1.036414187025 1 7 8 7 0132 2310 0132 2031 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 0.312268849444 0.881296193388 9 2 1 9 0132 1023 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.834777383419 0.757728761047 6 6 10 1 2031 0321 0132 0132 0 0 0 1 0 0 -1 1 -1 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 0 0 0 2 -2 3 0 -3 0 0 0 0 0 -8 9 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858353101139 0.762427920003 11 2 5 5 0132 0132 1302 0321 0 1 0 0 0 -1 1 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 3 -3 0 1 0 8 -9 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.858353101139 0.762427920003 12 3 2 3 0132 1302 0132 3201 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 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.312268849444 0.881296193388 9 11 11 3 3120 1302 1023 0132 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 -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.256418664696 0.718841395613 4 10 4 8 0132 1230 2031 3120 0 0 0 0 0 -1 1 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 3 -2 -1 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.603388055046 0.635393127087 12 12 9 5 2031 0132 3012 0132 0 0 1 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 0 2 -2 0 0 -3 3 -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.856244904022 0.870056936218 6 12 8 8 0132 1302 1023 2031 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 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.559783801785 1.234097473644 7 10 10 11 0132 0132 1302 2031 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 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.184854879598 1.118807434916 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : d['c_0011_11'], 'c_1001_12' : d['c_0101_5'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0101_0']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_9']), 'c_1001_8' : negation(d['c_0011_5']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : d['c_0101_5'], 's_0_10' : 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' : negation(d['c_0011_5']), 'c_0101_10' : negation(d['c_0011_8']), '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_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_1100_9' : negation(d['c_0101_7']), 'c_1100_8' : d['c_1001_3'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0101_9'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : negation(d['c_0011_0']), 'c_1100_6' : d['c_0101_5'], 'c_1100_1' : d['c_0101_9'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_1001_3'], 'c_1100_2' : negation(d['c_0011_0']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1001_3']), 'c_1100_10' : d['c_0101_9'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_3']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_7'], 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : negation(d['c_0011_8']), 'c_1010_8' : d['c_1001_3'], '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' : negation(d['c_0011_8']), '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_11']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_11'], 'c_0011_7' : d['c_0011_10'], 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_11'], 'c_0110_11' : negation(d['c_0011_5']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : negation(d['c_0101_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_3'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_9'], 'c_0110_7' : negation(d['c_0011_10']), 'c_0110_6' : negation(d['c_0011_5'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_5, c_0011_8, c_0101_0, c_0101_1, c_0101_3, c_0101_5, c_0101_7, c_0101_9, c_1001_1, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 7204284351261809383796918915122781299742022782257735278266608630776\ 53784142016057007/5313050129400745404568346543949886318772613570960\ 11164113788722653362443520*c_1001_1^18 + 2468879097728432959172724881137272449266099081254137183441525675667\ 917059687079612507/265652506470037270228417327197494315938630678548\ 005582056894361326681221760*c_1001_1^17 - 8014994097771619099266154332790169700297789216844717725484097074983\ 343520432307047701/531305012940074540456834654394988631877261357096\ 011164113788722653362443520*c_1001_1^16 - 6092266416191612878129407524718873890226103305397832329057931103446\ 2378008561339755733/13282625323501863511420866359874715796931533927\ 4002791028447180663340610880*c_1001_1^15 - 7634715738188890003477659251706986886781828993671281761266464134695\ 52563873623806317943/2656525064700372702284173271974943159386306785\ 48005582056894361326681221760*c_1001_1^14 - 5827286963214951550778120494034820433441224282078147475534334146451\ 451982359076119078801/531305012940074540456834654394988631877261357\ 096011164113788722653362443520*c_1001_1^13 - 1608141839436880419318569644159290364643089785178243258560705099134\ 267992068806054689553/531305012940074540456834654394988631877261357\ 09601116411378872265336244352*c_1001_1^12 - 3460362046792449200900912957594745107747517361151182239167298666286\ 0270261563458203748219/53130501294007454045683465439498863187726135\ 7096011164113788722653362443520*c_1001_1^11 - 6068028448644551370852981249444448736191251559199019825562043743917\ 3894109696065121185493/53130501294007454045683465439498863187726135\ 7096011164113788722653362443520*c_1001_1^10 - 8913155544285340852184727671975140559272556828896146108143081246965\ 1979693645498003695587/53130501294007454045683465439498863187726135\ 7096011164113788722653362443520*c_1001_1^9 - 2781653518988151465751102362249076261120380495690034827708440779742\ 684068896304488600521/132826253235018635114208663598747157969315339\ 27400279102844718066334061088*c_1001_1^8 - 3699837469770978979231479433911989342442167801805784687368103054997\ 775409937989653327251/166032816543773293892760829498433947461644174\ 09250348878555897582917576360*c_1001_1^7 - 5345778490030066129401359308311198171582555241235261612882322000513\ 7851051479826756247103/26565250647003727022841732719749431593863067\ 8548005582056894361326681221760*c_1001_1^6 - 8120817968788909486433770155266419294795513139347442272681664612954\ 9752090136815797679733/53130501294007454045683465439498863187726135\ 7096011164113788722653362443520*c_1001_1^5 - 2541802496828453109464491860490436370060267435061808062675328163171\ 7907117573725830330663/26565250647003727022841732719749431593863067\ 8548005582056894361326681221760*c_1001_1^4 - 2511132882117902149643342332673910959431545333823191654676795859236\ 0181369961215026476977/53130501294007454045683465439498863187726135\ 7096011164113788722653362443520*c_1001_1^3 - 4536571904568101374578497108098014560752088107855400901394148699108\ 082226679701431648761/265652506470037270228417327197494315938630678\ 548005582056894361326681221760*c_1001_1^2 - 5272814582737028337679009817895360056605643646205701441418362308554\ 43319397577298857619/1328262532350186351142086635987471579693153392\ 74002791028447180663340610880*c_1001_1 - 2370831555249009318020000736996903308836939336612640299374709213261\ 00911722058485216063/5313050129400745404568346543949886318772613570\ 96011164113788722653362443520, c_0011_0 - 1, c_0011_10 + 9495926893355804502306343958115649313794637410902599046172/\ 19632747867782421299548016672531376066926935520903047243067*c_1001_\ 1^18 + 1010757030265106156078954385412496633988556460788733941286/3\ 21848325701351168845049453648055345359457959359066348247*c_1001_1^1\ 7 - 128540581538011152024845113319377142216062406173830212037847/19\ 632747867782421299548016672531376066926935520903047243067*c_1001_1^\ 16 - 3169123455306469179832619255561749771102559050229124790345941/\ 19632747867782421299548016672531376066926935520903047243067*c_1001_\ 1^15 - 189694606357410029998364461421278719905261912656058255780648\ 56/19632747867782421299548016672531376066926935520903047243067*c_10\ 01_1^14 - 697586114030614163478330254519840499899188914920788643150\ 59017/19632747867782421299548016672531376066926935520903047243067*c\ _1001_1^13 - 185742232983962910752450445071496764925872086774584762\ 880604268/196327478677824212995480166725313760669269355209030472430\ 67*c_1001_1^12 - 38570356752607785566684023265487680536873786354891\ 4003173011467/19632747867782421299548016672531376066926935520903047\ 243067*c_1001_1^11 - 6528325738374306850902496071289236190678378908\ 39987661956003140/1963274786778242129954801667253137606692693552090\ 3047243067*c_1001_1^10 - 925320126942914505723893390769314545173833\ 579544836896766561805/196327478677824212995480166725313760669269355\ 20903047243067*c_1001_1^9 - 111262814948150812436867962463991726542\ 6826453770259684552133459/19632747867782421299548016672531376066926\ 935520903047243067*c_1001_1^8 - 11353376956103576808719630212412311\ 47670557154673745343802978671/1963274786778242129954801667253137606\ 6926935520903047243067*c_1001_1^7 - 976657212873528346865104036746319766505854481137731990737219775/196\ 32747867782421299548016672531376066926935520903047243067*c_1001_1^6 - 700709037723956935902282638018903403390516433001474985013279933/1\ 9632747867782421299548016672531376066926935520903047243067*c_1001_1\ ^5 - 40799734541770270292333618372065809336685514840892068142986631\ 1/19632747867782421299548016672531376066926935520903047243067*c_100\ 1_1^4 - 18141650384541447377876862331698477449313885820093735705234\ 2011/19632747867782421299548016672531376066926935520903047243067*c_\ 1001_1^3 - 55758249426795921983886116561742818400005722927110883164\ 084246/19632747867782421299548016672531376066926935520903047243067*\ c_1001_1^2 - 101387654750423643329875263767594687783512440273330914\ 66921648/1963274786778242129954801667253137606692693552090304724306\ 7*c_1001_1 - 785176943077431568922250858525506539733590619091702024\ 735114/19632747867782421299548016672531376066926935520903047243067, c_0011_11 + 30259438352365056557898110107301206851119539495713005916557\ 404/12364447128468807853520264860797342202674296424697251900604999*\ c_1001_1^18 + 20871629239030127558133766786459540825969480459270957\ 9380726209/12364447128468807853520264860797342202674296424697251900\ 604999*c_1001_1^17 - 3285180441910493990846462516739675626231565034\ 97393577870051889/1236444712846880785352026486079734220267429642469\ 7251900604999*c_1001_1^16 - 102558809774927090834321751367253740907\ 54629761139775000475667591/1236444712846880785352026486079734220267\ 4296424697251900604999*c_1001_1^15 - 64567148245288626274752893657568368176338430642312915578801103537/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^14 - 2472540285122672572091182921144913938799016322749780243309\ 83619588/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^13 - 684385276417866256435677373746453027747065425472\ 704162603667343078/123644471284688078535202648607973422026742964246\ 97251900604999*c_1001_1^12 - 14766395896781853373287734306752089126\ 61644767505511354652157092667/1236444712846880785352026486079734220\ 2674296424697251900604999*c_1001_1^11 - 2595844987826084489751738936775179893728197412660029544662927545825\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^10 - 38218544670235762289896423411313679693659994651935735494\ 69746549380/1236444712846880785352026486079734220267429642469725190\ 0604999*c_1001_1^9 - 4781919336074847363600195450509925371528254701\ 926881659971180348760/123644471284688078535202648607973422026742964\ 24697251900604999*c_1001_1^8 - 510053802527808890797931481679345986\ 3495266863894776226795082842215/12364447128468807853520264860797342\ 202674296424697251900604999*c_1001_1^7 - 4617894296671233918396478386172115328181494315958121011538695757576\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^6 - 351735092774291790904629353455090683438357965430460396039\ 2347730920/12364447128468807853520264860797342202674296424697251900\ 604999*c_1001_1^5 - 22090701338289947614285522103321429630358315700\ 68508492797630335092/1236444712846880785352026486079734220267429642\ 4697251900604999*c_1001_1^4 - 1095789365254667107518669583827604882\ 742441260098098525512964685584/123644471284688078535202648607973422\ 02674296424697251900604999*c_1001_1^3 - 398078984711110749815120924948977045138904784647299629577695803221/\ 12364447128468807853520264860797342202674296424697251900604999*c_10\ 01_1^2 - 9315108553705235730627706660167525509052129021931979951816\ 9980031/12364447128468807853520264860797342202674296424697251900604\ 999*c_1001_1 - 1055365723023876736524374310223942471719671948543900\ 2478994930627/12364447128468807853520264860797342202674296424697251\ 900604999, c_0011_5 - 3384385193141827837875075231587021346115484292853856914490/1\ 9632747867782421299548016672531376066926935520903047243067*c_1001_1\ ^18 - 442428785569085192668516798964329805304336790688923960393/321\ 848325701351168845049453648055345359457959359066348247*c_1001_1^17 + 14508535370776186321409702884748106701772936197151470776127/1963274\ 7867782421299548016672531376066926935520903047243067*c_1001_1^16 + 1204139117367688820897680627267366103213018859991463858245657/19632\ 747867782421299548016672531376066926935520903047243067*c_1001_1^15 + 8410374153435623342665554847573233183411818354950974890475491/19632\ 747867782421299548016672531376066926935520903047243067*c_1001_1^14 + 34488452118500041671205986804557627701017532015994088490008436/1963\ 2747867782421299548016672531376066926935520903047243067*c_1001_1^13 + 100939152691831961896849760431362692187240955179642175277461032/1\ 9632747867782421299548016672531376066926935520903047243067*c_1001_1\ ^12 + 2284308343733425452384007143952140097887002611674093693005547\ 55/19632747867782421299548016672531376066926935520903047243067*c_10\ 01_1^11 + 418637540308095414827230277352999054202424414577866929628\ 008538/19632747867782421299548016672531376066926935520903047243067*\ c_1001_1^10 + 63985110922880779584677429173171424019485788982224719\ 2520279420/19632747867782421299548016672531376066926935520903047243\ 067*c_1001_1^9 + 82945370227430807771641729017624990449305146471980\ 1936789983557/19632747867782421299548016672531376066926935520903047\ 243067*c_1001_1^8 + 91687628315449697291611024917499264753533370012\ 7915064759004439/19632747867782421299548016672531376066926935520903\ 047243067*c_1001_1^7 + 86123924561759461468479780637887880942479415\ 8105340154785473613/19632747867782421299548016672531376066926935520\ 903047243067*c_1001_1^6 + 68160829348312267867856851696921567990199\ 7172034147539723979309/19632747867782421299548016672531376066926935\ 520903047243067*c_1001_1^5 + 44691195278838214748613600114477746160\ 1082638263857911148369006/19632747867782421299548016672531376066926\ 935520903047243067*c_1001_1^4 + 23361537693880020692848437098519381\ 4975354992252813021294421650/19632747867782421299548016672531376066\ 926935520903047243067*c_1001_1^3 + 90470846315087206974953461273628793220537845281116005154855905/1963\ 2747867782421299548016672531376066926935520903047243067*c_1001_1^2 + 22832533378529585563907052526224031452299791185947477331542419/1963\ 2747867782421299548016672531376066926935520903047243067*c_1001_1 + 2825715666973424309522833592371904868340285576930365858957949/19632\ 747867782421299548016672531376066926935520903047243067, c_0011_8 - 306891665967012187644343106098757245217643646503070777082708\ 64/12364447128468807853520264860797342202674296424697251900604999*c\ _1001_1^18 - 212261781566056899096349968569774476301397504906346429\ 145775035/123644471284688078535202648607973422026742964246972519006\ 04999*c_1001_1^17 + 32909301088459292478096348448605626333526527881\ 2133055796870235/12364447128468807853520264860797342202674296424697\ 251900604999*c_1001_1^16 + 1040780696603010250994170435417508981656\ 5035730416645607844202490/12364447128468807853520264860797342202674\ 296424697251900604999*c_1001_1^15 + 65684839022371395313322997411427904697555501568321528392990250700/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^14 + 2520232171403351735731230350620663233997885495192594803663\ 89729706/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^13 + 698864228566815871536991624699830277147456779738\ 393175662477828247/123644471284688078535202648607973422026742964246\ 97251900604999*c_1001_1^12 + 15105508946838957518484187027812654669\ 52170239816364075824210804043/1236444712846880785352026486079734220\ 2674296424697251900604999*c_1001_1^11 + 2659992936183265681140905430795423584058458064800950873426411500206\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^10 + 39228049398584303710675893094524347860818355726900091747\ 07044651895/1236444712846880785352026486079734220267429642469725190\ 0604999*c_1001_1^9 + 4916472432417374062307341802871339264347727511\ 243369034844508726599/123644471284688078535202648607973422026742964\ 24697251900604999*c_1001_1^8 + 525350535229287544076750318857772833\ 7835936781520703110195392117253/12364447128468807853520264860797342\ 202674296424697251900604999*c_1001_1^7 + 4765878275603502522546927895751908457287955981928037371928627508586\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^6 + 363811414821805391820526940099857611827190643193996152285\ 5355116749/12364447128468807853520264860797342202674296424697251900\ 604999*c_1001_1^5 + 22909224848171163816029580306441183706256724015\ 54816082041569474279/1236444712846880785352026486079734220267429642\ 4697251900604999*c_1001_1^4 + 1140349670322193536064537083732750903\ 708533818760037188330865310889/123644471284688078535202648607973422\ 02674296424697251900604999*c_1001_1^3 + 416206750506289698072443415633170427392539234122603121694017483583/\ 12364447128468807853520264860797342202674296424697251900604999*c_10\ 01_1^2 + 9795792461235753618686057614248871179185223765734255364230\ 9495845/12364447128468807853520264860797342202674296424697251900604\ 999*c_1001_1 + 1116871774006269114468099865464338313842924570235577\ 9630214511129/12364447128468807853520264860797342202674296424697251\ 900604999, c_0101_0 - 5486793425884681241627785181762947414039/1797485114669052011\ 689330880460770649221*c_1001_1^18 - 37756883870373880890296620956600067382209/1797485114669052011689330\ 880460770649221*c_1001_1^17 + 6027856792654546320790906791876766574\ 0307/1797485114669052011689330880460770649221*c_1001_1^16 + 1859174095215891757343204535594474443928221/17974851146690520116893\ 30880460770649221*c_1001_1^15 + 11675429493943819507583013802417846\ 890857093/1797485114669052011689330880460770649221*c_1001_1^14 + 44614215135696533459626544580346739829121312/1797485114669052011689\ 330880460770649221*c_1001_1^13 + 1232229617852425559436843724578252\ 65455430275/1797485114669052011689330880460770649221*c_1001_1^12 + 265279595876057632457199994309486367407588986/179748511466905201168\ 9330880460770649221*c_1001_1^11 + 465303028757606130891444417876586\ 216964107778/1797485114669052011689330880460770649221*c_1001_1^10 + 683514646568869752049226354824819079815632861/179748511466905201168\ 9330880460770649221*c_1001_1^9 + 8531973001187440516675884006149787\ 46224917113/1797485114669052011689330880460770649221*c_1001_1^8 + 907672853420730451401173434935135425091126255/179748511466905201168\ 9330880460770649221*c_1001_1^7 + 8193266958183882075587058417306089\ 33765666424/1797485114669052011689330880460770649221*c_1001_1^6 + 621912746342781890329268854498681859627752727/179748511466905201168\ 9330880460770649221*c_1001_1^5 + 3889465494203750277201716668427169\ 67746664504/1797485114669052011689330880460770649221*c_1001_1^4 + 191812253924750320079191743738320802210669810/179748511466905201168\ 9330880460770649221*c_1001_1^3 + 6909744300878650073405513749492562\ 4495489690/1797485114669052011689330880460770649221*c_1001_1^2 + 15982954311457412709316203168849224197969608/1797485114669052011689\ 330880460770649221*c_1001_1 + 1784443767179815225074261040916349477\ 451339/1797485114669052011689330880460770649221, c_0101_1 + 178042628383957463961204606873479577904701997573033271623593\ 6/12364447128468807853520264860797342202674296424697251900604999*c_\ 1001_1^18 + 1212055106884353522398966906117482928986075250612596453\ 9727957/12364447128468807853520264860797342202674296424697251900604\ 999*c_1001_1^17 - 2043604301213058653850147358832073288314912318709\ 6003637244712/12364447128468807853520264860797342202674296424697251\ 900604999*c_1001_1^16 - 6016041245205688009123912093937995538636534\ 33976599997055562457/1236444712846880785352026486079734220267429642\ 4697251900604999*c_1001_1^15 - 374418616753208169045137028803700982\ 0415771489083580961363078967/12364447128468807853520264860797342202\ 674296424697251900604999*c_1001_1^14 - 14208247697352425052124869541690563800392585911753562311704754293/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^13 - 3899092724825014056477939717677211605586273125022292433700\ 1397931/12364447128468807853520264860797342202674296424697251900604\ 999*c_1001_1^12 - 8342540090720991110794221678605104027783966255907\ 9771692820474200/12364447128468807853520264860797342202674296424697\ 251900604999*c_1001_1^11 - 1454620296294656737224426874395282859968\ 38210630795081514695735941/1236444712846880785352026486079734220267\ 4296424697251900604999*c_1001_1^10 - 212436421291085508629691012118832108005793920088335298085420435594/\ 12364447128468807853520264860797342202674296424697251900604999*c_10\ 01_1^9 - 2635942159865514970517092593056170780869331673432768276226\ 65629632/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^8 - 2786057346045583649521927228290414077065770007837\ 17258117231110157/1236444712846880785352026486079734220267429642469\ 7251900604999*c_1001_1^7 - 2496531237079175139159763988863216749102\ 10987826537676215242523164/1236444712846880785352026486079734220267\ 4296424697251900604999*c_1001_1^6 - 187922324050815759443998610533820090216045998866894803837749778772/\ 12364447128468807853520264860797342202674296424697251900604999*c_10\ 01_1^5 - 1163237801449985631518488771630039677146117015809794904741\ 15502540/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^4 - 5656541428935763638215918751642548284758037632174\ 2775424564315460/12364447128468807853520264860797342202674296424697\ 251900604999*c_1001_1^3 - 19968191648899097791631821449610210512078\ 133211457363330860992440/123644471284688078535202648607973422026742\ 96424697251900604999*c_1001_1^2 - 449012261097943747157345676151296\ 7831783289977219460941414521829/12364447128468807853520264860797342\ 202674296424697251900604999*c_1001_1 - 475678447698203280166960315436057975615360521427154252329572787/123\ 64447128468807853520264860797342202674296424697251900604999, c_0101_3 + 327917894096445883653202469886601493782310259093307168198820\ 51/12364447128468807853520264860797342202674296424697251900604999*c\ _1001_1^18 + 226121822327385424904834764589108890790163586913434810\ 902136603/123644471284688078535202648607973422026742964246972519006\ 04999*c_1001_1^17 - 35686311694336655887832701045803112501483196155\ 4453181449575394/12364447128468807853520264860797342202674296424697\ 251900604999*c_1001_1^16 - 1111577324517269763666219721058905628667\ 1232451987112560943215192/12364447128468807853520264860797342202674\ 296424697251900604999*c_1001_1^15 - 69941242686069615603952423632005155827418043774830306477402920221/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^14 - 2676820801547457138733292763316806484289153566839553237775\ 29881797/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^13 - 740462502958305404943130835132272928039445177712\ 906122173056671921/123644471284688078535202648607973422026742964246\ 97251900604999*c_1001_1^12 - 15965310380603598876053333125799804164\ 68430460580517592751008050693/1236444712846880785352026486079734220\ 2674296424697251900604999*c_1001_1^11 - 2804560819762219460891020587039377599090370347589296852341876360854\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^10 - 41260060020014201700026551345908670543614111506340395462\ 07993940349/1236444712846880785352026486079734220267429642469725190\ 0604999*c_1001_1^9 - 5158285771290872138980687681314059621390308579\ 007193852281805525740/123644471284688078535202648607973422026742964\ 24697251900604999*c_1001_1^8 - 549695271270751222224679690764139017\ 1599087454029244241241011774577/12364447128468807853520264860797342\ 202674296424697251900604999*c_1001_1^7 - 4971461880199069573690810958091067842129933443389852114498389255523\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^6 - 378187647002495380667751159425682572041635361877521328326\ 1278410478/12364447128468807853520264860797342202674296424697251900\ 604999*c_1001_1^5 - 23714811416957448949194506089804230351848505087\ 45038055537041582423/1236444712846880785352026486079734220267429642\ 4697251900604999*c_1001_1^4 - 1173748047539082955914109818330149480\ 626990579726909442348630115233/123644471284688078535202648607973422\ 02674296424697251900604999*c_1001_1^3 - 424997172995264007792588982311374198361691203594441952015166402892/\ 12364447128468807853520264860797342202674296424697251900604999*c_10\ 01_1^2 - 9898825846313719224743329620782778830955968294574263694448\ 4796248/12364447128468807853520264860797342202674296424697251900604\ 999*c_1001_1 - 1114662932691168553157789832349891595397425571076498\ 7885381419603/12364447128468807853520264860797342202674296424697251\ 900604999, c_0101_5 + 203567159894341084471815230615601063811455139065233946666/19\ 632747867782421299548016672531376066926935520903047243067*c_1001_1^\ 18 + 55586315241352200998652186715442821281615114926173648445/32184\ 8325701351168845049453648055345359457959359066348247*c_1001_1^17 + 11032316681361918588255382013567066167118239702198058763693/1963274\ 7867782421299548016672531376066926935520903047243067*c_1001_1^16 - 93813583343289051099422911463487269154458379920954991554528/1963274\ 7867782421299548016672531376066926935520903047243067*c_1001_1^15 - 1103493631445339159201652830053336881059610470087670735794996/19632\ 747867782421299548016672531376066926935520903047243067*c_1001_1^14 - 5746247486776691601571012682312728203277597752827048630551094/19632\ 747867782421299548016672531376066926935520903047243067*c_1001_1^13 - 19820556304779816177371861670126903631926682143440730360162355/1963\ 2747867782421299548016672531376066926935520903047243067*c_1001_1^12 - 50878408119581602654476784924786075653148256872743641962811415/19\ 632747867782421299548016672531376066926935520903047243067*c_1001_1^\ 11 - 10316679150412720014438639901514368726542374215513481054365855\ 2/19632747867782421299548016672531376066926935520903047243067*c_100\ 1_1^10 - 1715728622889531961800894958011136610623818941865428526679\ 33551/19632747867782421299548016672531376066926935520903047243067*c\ _1001_1^9 - 2396223388910534113045046019277257282563294602933707950\ 84485594/1963274786778242129954801667253137606692693552090304724306\ 7*c_1001_1^8 - 2841822155587314065685281096536275632899146511025743\ 11848680345/1963274786778242129954801667253137606692693552090304724\ 3067*c_1001_1^7 - 2860120301379764485710573618996397720022092077208\ 56193865300635/1963274786778242129954801667253137606692693552090304\ 7243067*c_1001_1^6 - 2422803265407053523453184519069990069747475363\ 65272859245716516/1963274786778242129954801667253137606692693552090\ 3047243067*c_1001_1^5 - 1704233628091745957910070062401730212278731\ 69413411836617289500/1963274786778242129954801667253137606692693552\ 0903047243067*c_1001_1^4 - 9658277783943331982309082372183207407234\ 8149180775175089240433/19632747867782421299548016672531376066926935\ 520903047243067*c_1001_1^3 - 41041814533739204883310001074742790000\ 973519632819208177849578/196327478677824212995480166725313760669269\ 35520903047243067*c_1001_1^2 - 113681039108651253095099808071427323\ 25083888897017144773893151/1963274786778242129954801667253137606692\ 6935520903047243067*c_1001_1 - 152077991743956543421471490343991485\ 2006299396546982112700909/19632747867782421299548016672531376066926\ 935520903047243067, c_0101_7 - 7483672043824692554392031907272033607851201929278383176389/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^18 - 1259235168699123489049372923803869726563414205486924266656\ 692/12364447128468807853520264860797342202674296424697251900604999*\ c_1001_1^17 - 80981752010018919413614962456293478470104149753137751\ 23117208/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^16 + 172764638151264863912147631528747358098814934152\ 90230557699841/1236444712846880785352026486079734220267429642469725\ 1900604999*c_1001_1^15 + 426711774047787965485049073682606665162181\ 873866285522353395996/123644471284688078535202648607973422026742964\ 24697251900604999*c_1001_1^14 + 25748324096672581200768562551506580\ 50830760471525097081812286217/1236444712846880785352026486079734220\ 2674296424697251900604999*c_1001_1^13 + 9533533278904069776221347205073588864967218765972448327040902524/12\ 364447128468807853520264860797342202674296424697251900604999*c_1001\ _1^12 + 25508028237517242925751484390770045134452605583469207952104\ 196886/123644471284688078535202648607973422026742964246972519006049\ 99*c_1001_1^11 + 53101030939612738689075761897835662586503776847467\ 649085349912618/123644471284688078535202648607973422026742964246972\ 51900604999*c_1001_1^10 + 89900849202935151923008624644658985917799\ 522090940031602201687936/123644471284688078535202648607973422026742\ 96424697251900604999*c_1001_1^9 + 127211348996342826228679538996485\ 130345161036422784234098358488048/123644471284688078535202648607973\ 42202674296424697251900604999*c_1001_1^8 + 152432949327874104069783647639190976361319925219117064570899587130/\ 12364447128468807853520264860797342202674296424697251900604999*c_10\ 01_1^7 + 1546472385245787153095531543498209843819335694798306012687\ 14158579/1236444712846880785352026486079734220267429642469725190060\ 4999*c_1001_1^6 + 1317402665916135728656863883219132655405125637499\ 34695202842713319/1236444712846880785352026486079734220267429642469\ 7251900604999*c_1001_1^5 + 9306739728941646719026081147197487167765\ 2946672080326640952267953/12364447128468807853520264860797342202674\ 296424697251900604999*c_1001_1^4 + 52876019543023183932728269354546387085555962687723729977528256456/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^3 + 22407690884109187574631939057526953401848957440627888359078\ 094857/123644471284688078535202648607973422026742964246972519006049\ 99*c_1001_1^2 + 613620642158704474969860140762132901855897949176102\ 9187114859921/12364447128468807853520264860797342202674296424697251\ 900604999*c_1001_1 + 7984917813596606531641376290270183417099850795\ 42503693985018068/1236444712846880785352026486079734220267429642469\ 7251900604999, c_0101_9 + 405747410039354228226089908348123036795571809472082077094619\ /12364447128468807853520264860797342202674296424697251900604999*c_1\ 001_1^18 + 25729088795480227274899660225261264444760157894984668023\ 98543/1236444712846880785352026486079734220267429642469725190060499\ 9*c_1001_1^17 - 614523103052934808215621063704771807506082950197961\ 7776938282/12364447128468807853520264860797342202674296424697251900\ 604999*c_1001_1^16 - 1358934197796318813422668157843054463861538496\ 85743715531203888/1236444712846880785352026486079734220267429642469\ 7251900604999*c_1001_1^15 - 784839279881941924912083202652992188212\ 176047390656977260221831/123644471284688078535202648607973422026742\ 96424697251900604999*c_1001_1^14 - 2779790224266260194953877172842746096619031917657052633360872833/12\ 364447128468807853520264860797342202674296424697251900604999*c_1001\ _1^13 - 70799494368623903368610454651639045272128064908953627353205\ 05177/1236444712846880785352026486079734220267429642469725190060499\ 9*c_1001_1^12 - 139476537246216380763159616193390480458382085345573\ 25465520274979/1236444712846880785352026486079734220267429642469725\ 1900604999*c_1001_1^11 - 222031762393768010219303032712661889886730\ 55287415632982614602870/1236444712846880785352026486079734220267429\ 6424697251900604999*c_1001_1^10 - 292940843548674422027105393659696\ 08387536417793929583753789246368/1236444712846880785352026486079734\ 2202674296424697251900604999*c_1001_1^9 - 32275566878378384138912432066716677261143404293362519914750778627/1\ 2364447128468807853520264860797342202674296424697251900604999*c_100\ 1_1^8 - 29330293972999861762750419227361247447016488375064657305445\ 466797/123644471284688078535202648607973422026742964246972519006049\ 99*c_1001_1^7 - 213412500617053932817915840243982515047840811111635\ 48560152868613/1236444712846880785352026486079734220267429642469725\ 1900604999*c_1001_1^6 - 1175293146734461083795992196704657024376020\ 3431516239083772538976/12364447128468807853520264860797342202674296\ 424697251900604999*c_1001_1^5 - 39766478252624956916977617449024315\ 45537762416595453084905299941/1236444712846880785352026486079734220\ 2674296424697251900604999*c_1001_1^4 + 307868410609390859004869819758965469522223998776802081221418507/123\ 64447128468807853520264860797342202674296424697251900604999*c_1001_\ 1^3 + 1261163397595884997834990610649746908689705853426670062580402\ 530/12364447128468807853520264860797342202674296424697251900604999*\ c_1001_1^2 + 643121802666421935705046911194598466673373031269664898\ 606623458/123644471284688078535202648607973422026742964246972519006\ 04999*c_1001_1 + 11900511184770951291411696557667105906006569593278\ 9218539590973/12364447128468807853520264860797342202674296424697251\ 900604999, c_1001_1^19 + 698/89*c_1001_1^18 - 387/89*c_1001_1^17 - 31084/89*c_1001_1^16 - 218402/89*c_1001_1^15 - 906407/89*c_1001_1^14 - 2698470/89*c_1001_1^13 - 6239213/89*c_1001_1^12 - 11723171/89*c_1001_1^11 - 18423269/89*c_1001_1^10 - 24633080/89*c_1001_1^9 - 28217504/89*c_1001_1^8 - 27670162/89*c_1001_1^7 - 23092131/89*c_1001_1^6 - 16199842/89*c_1001_1^5 - 9311879/89*c_1001_1^4 - 4188254/89*c_1001_1^3 - 1368852/89*c_1001_1^2 - 286921/89*c_1001_1 - 28960/89, c_1001_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.460 Total time: 0.670 seconds, Total memory usage: 32.09MB