Magma V2.19-8 Wed Aug 21 2013 00:57:24 on localhost [Seed = 88285122] Type ? for help. Type -D to quit. Loading file "L13n4345__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4345 geometric_solution 12.53488911 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 0213 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 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.539370030403 0.955469313639 0 0 5 4 0132 0213 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720106915028 1.255097242466 4 0 6 6 0213 0132 2103 0132 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 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.422289472066 0.656190813601 7 7 0 5 0132 2310 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 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.554131826251 0.739797844400 2 8 1 9 0213 0132 0132 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -5 0 6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737927929811 1.004337378943 3 8 10 1 3201 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327889351632 0.792362833556 2 7 2 11 2103 3120 0132 0132 0 1 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 3 -1 -2 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.306488388032 1.077639815819 3 6 12 3 0132 3120 0132 3201 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 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.799979844205 1.087643251976 9 4 12 5 0213 0132 0213 2031 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640973488081 0.433995092286 8 12 4 11 0213 0213 0132 3201 0 0 0 1 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396141257582 0.530015640704 12 11 11 5 0213 0321 3201 0132 0 0 0 1 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 0 0 0 -3 0 3 0 2 -3 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453352507802 0.878475795539 10 9 6 10 2310 2310 0132 0321 0 1 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 -1 0 1 0 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453352507802 0.878475795539 10 8 9 7 0213 0213 0213 0132 0 0 0 1 0 0 0 0 -1 0 1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 3 0 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435213575381 0.389185867169 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_8'], 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : negation(d['c_1001_0']), 'c_1010_11' : d['c_0110_8'], 'c_1010_10' : d['c_0110_8'], '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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_0']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_5'], '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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_3']), '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_5']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0011_10'], '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' : negation(d['c_0110_8']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : negation(d['c_0011_0']), 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_3, c_0011_4, c_0011_5, c_0011_6, c_0101_1, c_0101_11, c_0101_5, c_0110_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t - 5538809804789392957594876936160205948473513215053024224875910225/91\ 50407914898263282930482012610597794053690572350871062814592*c_1001_\ 12^21 + 10120436385928213012128733827484171159356550695364798800616\ 352845/915040791489826328293048201261059779405369057235087106281459\ 2*c_1001_12^20 + 65663299456352345644106777981605157984368022772765\ 2707485807535/16340014133746898719518717879661781775095876022055126\ 8978832*c_1001_12^19 - 23946751385402449651417131095449859258602339\ 533533818806455730069/915040791489826328293048201261059779405369057\ 2350871062814592*c_1001_12^18 - 18189644662930406990972767823025851\ 8292063112832394186863156725263/91504079148982632829304820126105977\ 94053690572350871062814592*c_1001_12^17 - 19577737531553250486278622712559203034347906206619134334059538271/1\ 307201130699751897561497430372942542007670081764410151830656*c_1001\ _12^16 + 3696888243119008338991690774077117014711070820188210399788\ 31959365/4575203957449131641465241006305298897026845286175435531407\ 296*c_1001_12^15 + 400380542524548640460222334890827678764341015961\ 1016784301656305/65360056534987594878074871518647127100383504088220\ 5075915328*c_1001_12^14 + 41351788291030578765707221854721575968834\ 701979060733040392837895/163400141337468987195187178796617817750958\ 760220551268978832*c_1001_12^13 - 571729771497790469152209887061530\ 6250449652613527148870211473084649/45752039574491316414652410063052\ 98897026845286175435531407296*c_1001_12^12 + 1423873931254378655472993035907618518100129453556350348170873577301\ 7/9150407914898263282930482012610597794053690572350871062814592*c_1\ 001_12^11 - 6956320219638774260161373966502100262403882313503674614\ 41617929265/8318552649907512075391347284191452540048809611228064602\ 55872*c_1001_12^10 + 5504882727782713183175038834572252812878277416\ 038950985597199546199/457520395744913164146524100630529889702684528\ 6175435531407296*c_1001_12^9 - 497534162738775911243550491873894652\ 5182684719928939735249829833279/22876019787245658207326205031526494\ 48513422643087717765703648*c_1001_12^8 + 1296359875622932654337972207186367989666400859941364669219475506856\ 7/9150407914898263282930482012610597794053690572350871062814592*c_1\ 001_12^7 + 14812665642718085287999251224575448371583584168641971546\ 0579095521/22876019787245658207326205031526494485134226430877177657\ 03648*c_1001_12^6 - 25661014366298497598366100637754185749711445942\ 69119638126339030851/9150407914898263282930482012610597794053690572\ 350871062814592*c_1001_12^5 - 1279090385125584024985267363199284410\ 70369391224388684010374219133/8318552649907512075391347284191452540\ 04880961122806460255872*c_1001_12^4 + 673887452209683249348667302217817118179032185152780718179058366027/\ 4575203957449131641465241006305298897026845286175435531407296*c_100\ 1_12^3 + 1649326642661716474152102481314179321062990514225707692041\ 00956725/4575203957449131641465241006305298897026845286175435531407\ 296*c_1001_12^2 - 4668637702706204083735224691128940693973100180379\ 290260234625907/207963816247687801884783682104786313501220240280701\ 615063968*c_1001_12 - 112863522413498356333020069030076908044018274\ 408827159639458342863/915040791489826328293048201261059779405369057\ 2350871062814592, c_0011_0 - 1, c_0011_10 + 6516215072313974061580312090252276396337495/880199930756251\ 98934690311313505093272629187*c_1001_12^21 - 9740922157972395358688189576687029823050744/88019993075625198934690\ 311313505093272629187*c_1001_12^20 - 48048966542640629246999208170227126034766281/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 14989907637575866676788075029823466317499853/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 + 227171622061000899524273283734229953604047230/880199930756251989346\ 90311313505093272629187*c_1001_12^17 + 231407935450733790104152744362739589032161765/880199930756251989346\ 90311313505093272629187*c_1001_12^16 - 828447107700680666233683682890415674687834485/880199930756251989346\ 90311313505093272629187*c_1001_12^15 - 369344957855617459743625854689099402767097395/880199930756251989346\ 90311313505093272629187*c_1001_12^14 - 2695039986968174729042085461626121671145124428/88019993075625198934\ 690311313505093272629187*c_1001_12^13 + 12452476757349812651238063308580829528121803922/8801999307562519893\ 4690311313505093272629187*c_1001_12^12 - 11850426854741761974109638046899694693942505978/8801999307562519893\ 4690311313505093272629187*c_1001_12^11 + 2045384360689794493163367490870251378489878671/88019993075625198934\ 690311313505093272629187*c_1001_12^10 - 7216208191879141169310006702744986150079651157/88019993075625198934\ 690311313505093272629187*c_1001_12^9 + 16047513958925368675561016345637456825379693732/8801999307562519893\ 4690311313505093272629187*c_1001_12^8 - 5084668522985533354019903014953580871336150547/88019993075625198934\ 690311313505093272629187*c_1001_12^7 - 9033486244358280644429845773184045594827993813/88019993075625198934\ 690311313505093272629187*c_1001_12^6 + 6869811511640890057360146795014825095310046389/88019993075625198934\ 690311313505093272629187*c_1001_12^5 + 713245819436483906454073928167276652626517580/880199930756251989346\ 90311313505093272629187*c_1001_12^4 - 1196248181612157014031948318949560227448614077/88019993075625198934\ 690311313505093272629187*c_1001_12^3 - 706656762528698569691177885673561461193990421/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 314708314357564361272816466984367486137012736/880199930756251989346\ 90311313505093272629187*c_1001_12 + 102446941067940623774151917382276244948104056/880199930756251989346\ 90311313505093272629187, c_0011_11 - 7606589378200093810532955174392488329328675/880199930756251\ 98934690311313505093272629187*c_1001_12^21 + 1404578686316049958252606406585019091428195/88019993075625198934690\ 311313505093272629187*c_1001_12^20 + 62081409139169544964462224441760033583208848/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 59769038650464712661015192242504428796870792/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 - 219851654909958897499951153459338564706634837/880199930756251989346\ 90311313505093272629187*c_1001_12^17 - 565685799750199991795003729621177334898837454/880199930756251989346\ 90311313505093272629187*c_1001_12^16 + 368223328102908000373816285277298066392503313/880199930756251989346\ 90311313505093272629187*c_1001_12^15 + 1137059005257459303120769888543131510069008824/88019993075625198934\ 690311313505093272629187*c_1001_12^14 + 4221441762800777812921137508099921159316837141/88019993075625198934\ 690311313505093272629187*c_1001_12^13 - 9468105294670007057611882865103114479682140477/88019993075625198934\ 690311313505093272629187*c_1001_12^12 - 535001296287606436827117908211408505414202470/880199930756251989346\ 90311313505093272629187*c_1001_12^11 + 3830084217544063766843906307841217517985296116/88019993075625198934\ 690311313505093272629187*c_1001_12^10 + 9604590038550904006609326051917095319973727162/88019993075625198934\ 690311313505093272629187*c_1001_12^9 - 7020363938661211579166079114183134128729950258/88019993075625198934\ 690311313505093272629187*c_1001_12^8 - 8078315622657584677499528747765600943783985170/88019993075625198934\ 690311313505093272629187*c_1001_12^7 + 7264601317474782649994404285712856310209047568/88019993075625198934\ 690311313505093272629187*c_1001_12^6 + 2387524446482800758765971493799519035717773857/88019993075625198934\ 690311313505093272629187*c_1001_12^5 - 3142901715549165643037448164271251141024118178/88019993075625198934\ 690311313505093272629187*c_1001_12^4 - 889319485695004068038460202592448048260188621/880199930756251989346\ 90311313505093272629187*c_1001_12^3 + 813435235975364561807987335738441660379257873/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 461540912089250441605764790599429875126649789/880199930756251989346\ 90311313505093272629187*c_1001_12 + 41029520549911912749219769877095070635195870/8801999307562519893469\ 0311313505093272629187, c_0011_3 - 7431881855720168817166321537091052115454795/8801999307562519\ 8934690311313505093272629187*c_1001_12^21 + 3987294908069778279407146557881944917642354/88019993075625198934690\ 311313505093272629187*c_1001_12^20 + 57398967698747824045551802354782945208736536/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 38794334811792265229277116835539050726216610/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 - 213863926824460833116221789550695172585540389/880199930756251989346\ 90311313505093272629187*c_1001_12^17 - 465122021555993499238659375387882825057264802/880199930756251989346\ 90311313505093272629187*c_1001_12^16 + 471746580709551473844081587377464864893358270/880199930756251989346\ 90311313505093272629187*c_1001_12^15 + 820259651415519084059851011708378899647714445/880199930756251989346\ 90311313505093272629187*c_1001_12^14 + 3933335618669035987989216345858814610878869727/88019993075625198934\ 690311313505093272629187*c_1001_12^13 - 10411545979969450960985763109690819427647728752/8801999307562519893\ 4690311313505093272629187*c_1001_12^12 + 4134532217920370708752095305902036793114666674/88019993075625198934\ 690311313505093272629187*c_1001_12^11 - 84219828826426412930135760843202809650539286/8801999307562519893469\ 0311313505093272629187*c_1001_12^10 + 9906888609291794230199522797247139187365876093/88019993075625198934\ 690311313505093272629187*c_1001_12^9 - 9846099756876618706422672372206553596713850791/88019993075625198934\ 690311313505093272629187*c_1001_12^8 - 2501692685833554513437338951575883034075620477/88019993075625198934\ 690311313505093272629187*c_1001_12^7 + 6058828661104805060645905332678114565742624558/88019993075625198934\ 690311313505093272629187*c_1001_12^6 - 866134141587462863545087339499548071355513646/880199930756251989346\ 90311313505093272629187*c_1001_12^5 - 774938448998793455515082311225983201485467791/880199930756251989346\ 90311313505093272629187*c_1001_12^4 - 804409793349326676793102050430716620091469628/880199930756251989346\ 90311313505093272629187*c_1001_12^3 + 454803769364068036318270573949073676216601234/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 276984575387125366149900154284040285278854675/880199930756251989346\ 90311313505093272629187*c_1001_12 + 86022350662163702347982425910048158922645496/8801999307562519893469\ 0311313505093272629187, c_0011_4 - 1, c_0011_5 + 7606589378200093810532955174392488329328675/8801999307562519\ 8934690311313505093272629187*c_1001_12^21 - 1404578686316049958252606406585019091428195/88019993075625198934690\ 311313505093272629187*c_1001_12^20 - 62081409139169544964462224441760033583208848/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 - 59769038650464712661015192242504428796870792/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 + 219851654909958897499951153459338564706634837/880199930756251989346\ 90311313505093272629187*c_1001_12^17 + 565685799750199991795003729621177334898837454/880199930756251989346\ 90311313505093272629187*c_1001_12^16 - 368223328102908000373816285277298066392503313/880199930756251989346\ 90311313505093272629187*c_1001_12^15 - 1137059005257459303120769888543131510069008824/88019993075625198934\ 690311313505093272629187*c_1001_12^14 - 4221441762800777812921137508099921159316837141/88019993075625198934\ 690311313505093272629187*c_1001_12^13 + 9468105294670007057611882865103114479682140477/88019993075625198934\ 690311313505093272629187*c_1001_12^12 + 535001296287606436827117908211408505414202470/880199930756251989346\ 90311313505093272629187*c_1001_12^11 - 3830084217544063766843906307841217517985296116/88019993075625198934\ 690311313505093272629187*c_1001_12^10 - 9604590038550904006609326051917095319973727162/88019993075625198934\ 690311313505093272629187*c_1001_12^9 + 7020363938661211579166079114183134128729950258/88019993075625198934\ 690311313505093272629187*c_1001_12^8 + 8078315622657584677499528747765600943783985170/88019993075625198934\ 690311313505093272629187*c_1001_12^7 - 7264601317474782649994404285712856310209047568/88019993075625198934\ 690311313505093272629187*c_1001_12^6 - 2387524446482800758765971493799519035717773857/88019993075625198934\ 690311313505093272629187*c_1001_12^5 + 3142901715549165643037448164271251141024118178/88019993075625198934\ 690311313505093272629187*c_1001_12^4 + 889319485695004068038460202592448048260188621/880199930756251989346\ 90311313505093272629187*c_1001_12^3 - 813435235975364561807987335738441660379257873/880199930756251989346\ 90311313505093272629187*c_1001_12^2 - 373520919013625242671074479285924781854020602/880199930756251989346\ 90311313505093272629187*c_1001_12 - 41029520549911912749219769877095070635195870/8801999307562519893469\ 0311313505093272629187, c_0011_6 - 784099244244350607390848164379486191955025/67707686981250153\ 02668485485654237944048399*c_1001_12^21 + 251717793861870610548715805058736613905495/677076869812501530266848\ 5485654237944048399*c_1001_12^20 + 6254351385246918783653567218759040723775492/67707686981250153026684\ 85485654237944048399*c_1001_12^19 + 5433788070157495936796245689382532355498382/67707686981250153026684\ 85485654237944048399*c_1001_12^18 - 22481335598398602717318850621782585248665246/6770768698125015302668\ 485485654237944048399*c_1001_12^17 - 55171764268640691338678454433814260213503943/6770768698125015302668\ 485485654237944048399*c_1001_12^16 + 41263214850169619453947659177538513721357394/6770768698125015302668\ 485485654237944048399*c_1001_12^15 + 105727354378340541501492054269532881823773392/677076869812501530266\ 8485485654237944048399*c_1001_12^14 + 433732457206434012634075756781303314352832708/677076869812501530266\ 8485485654237944048399*c_1001_12^13 - 1021231919904512643108645191703302233896894176/67707686981250153026\ 68485485654237944048399*c_1001_12^12 + 132896946389208623195584420838335081437319734/677076869812501530266\ 8485485654237944048399*c_1001_12^11 + 181169824248805200025867101845204576719455075/677076869812501530266\ 8485485654237944048399*c_1001_12^10 + 1068592618181721601917041960965411493767626101/67707686981250153026\ 68485485654237944048399*c_1001_12^9 - 798321463077148160539708786250211596742845397/677076869812501530266\ 8485485654237944048399*c_1001_12^8 - 626217121632388547054112425095428830310299066/677076869812501530266\ 8485485654237944048399*c_1001_12^7 + 606958145096247683354038363274114155480843554/677076869812501530266\ 8485485654237944048399*c_1001_12^6 + 116425658046668870910167436371469427551823326/677076869812501530266\ 8485485654237944048399*c_1001_12^5 - 124183848573044331070124695241147080538118625/677076869812501530266\ 8485485654237944048399*c_1001_12^4 - 109171272889478031248255909430128400897229281/677076869812501530266\ 8485485654237944048399*c_1001_12^3 + 33213398449487393011757910885283360864832285/6770768698125015302668\ 485485654237944048399*c_1001_12^2 + 47214945059385347033342677834820012707100470/6770768698125015302668\ 485485654237944048399*c_1001_12 + 111587888136384586029433294466687\ 25818804478/6770768698125015302668485485654237944048399, c_0101_1 - 5307545200382603740572950842462838644605365/8801999307562519\ 8934690311313505093272629187*c_1001_12^21 - 1075536149692383467350358495989473031175517/88019993075625198934690\ 311313505093272629187*c_1001_12^20 + 44324150801833869701025164580029137193178203/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 57952676085022923278989325456366662433726104/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 - 141700980104113346836943484759676201441060866/880199930756251989346\ 90311313505093272629187*c_1001_12^17 - 455203910812737519727069987841839620408802403/880199930756251989346\ 90311313505093272629187*c_1001_12^16 + 121999131325691614030237928708504685104020422/880199930756251989346\ 90311313505093272629187*c_1001_12^15 + 920165483151305484698419091494584218331197219/880199930756251989346\ 90311313505093272629187*c_1001_12^14 + 3195125087621058205229804193475130520599960200/88019993075625198934\ 690311313505093272629187*c_1001_12^13 - 5504229201514216672171934820553993876333196602/88019993075625198934\ 690311313505093272629187*c_1001_12^12 - 3199694902723090742766198922703497780120759867/88019993075625198934\ 690311313505093272629187*c_1001_12^11 + 3537135224548275776559262881636191402631579859/88019993075625198934\ 690311313505093272629187*c_1001_12^10 + 6960814519856001202762487233471782594497973611/88019993075625198934\ 690311313505093272629187*c_1001_12^9 - 2289939102941863685866536226420414307195642947/88019993075625198934\ 690311313505093272629187*c_1001_12^8 - 8271716227675575285659122846299367244629195241/88019993075625198934\ 690311313505093272629187*c_1001_12^7 + 4173306535799484604657642912915399300763254734/88019993075625198934\ 690311313505093272629187*c_1001_12^6 + 3575762567088819270802064868900900011737940927/88019993075625198934\ 690311313505093272629187*c_1001_12^5 - 2242859921828545856059178451473076805770273868/88019993075625198934\ 690311313505093272629187*c_1001_12^4 - 1198991951203201723090997371489878971831638181/88019993075625198934\ 690311313505093272629187*c_1001_12^3 + 422466236607900307151671447199179671828687546/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 495009295895498682242382221828650488894463182/880199930756251989346\ 90311313505093272629187*c_1001_12 + 62048777235354271727357234724628546892221238/8801999307562519893469\ 0311313505093272629187, c_0101_11 - 4682872390652015563706519668226566527406280/880199930756251\ 98934690311313505093272629187*c_1001_12^21 + 2062547433542908091053385041622260919795261/88019993075625198934690\ 311313505093272629187*c_1001_12^20 + 37594264932575192006416584100857595238577214/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 27039275586878604881088250447682783789694764/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 - 141518421772578839688200630649141739729400818/880199930756251989346\ 90311313505093272629187*c_1001_12^17 - 310341400089504420319051326074299162359029033/880199930756251989346\ 90311313505093272629187*c_1001_12^16 + 305247985255624091477529338889049481414379989/880199930756251989346\ 90311313505093272629187*c_1001_12^15 + 614211701109081459653616183928089353287708109/880199930756251989346\ 90311313505093272629187*c_1001_12^14 + 2436295410286042285521166412933163222097873393/88019993075625198934\ 690311313505093272629187*c_1001_12^13 - 6448425392793467879015478511657766470560655357/88019993075625198934\ 690311313505093272629187*c_1001_12^12 + 1364006196977876217460336297365373433810537215/88019993075625198934\ 690311313505093272629187*c_1001_12^11 + 1996173298344897483562977768694092243276996407/88019993075625198934\ 690311313505093272629187*c_1001_12^10 + 5329141696826704197733222840495430596297033234/88019993075625198934\ 690311313505093272629187*c_1001_12^9 - 5472087811506470510446361935596177496280597528/88019993075625198934\ 690311313505093272629187*c_1001_12^8 - 3786627239938052175419898969873284407064842047/88019993075625198934\ 690311313505093272629187*c_1001_12^7 + 5298671226024947625359501211370455816650948144/88019993075625198934\ 690311313505093272629187*c_1001_12^6 - 29656747022214278477947613152963566969193140/8801999307562519893469\ 0311313505093272629187*c_1001_12^5 - 1481821482916252067194160518187045579270001336/88019993075625198934\ 690311313505093272629187*c_1001_12^4 + 18260302125166767935509507921353974320487526/8801999307562519893469\ 0311313505093272629187*c_1001_12^3 + 242155490287246231239388362658060200551066245/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 179911291574728601406810153758855524287323190/880199930756251989346\ 90311313505093272629187*c_1001_12 - 10029975851391865562470451260028853079364729/8801999307562519893469\ 0311313505093272629187, c_0101_5 - 3286667776579272545976634915429597424528595/8801999307562519\ 8934690311313505093272629187*c_1001_12^21 + 2261205676415748117511945488770597699541454/88019993075625198934690\ 311313505093272629187*c_1001_12^20 + 26157790598008733617137662060206987812683723/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 12497144098258441919495881595377498420609519/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 - 105083021745039735776524582403394153534561510/880199930756251989346\ 90311313505093272629187*c_1001_12^17 - 194917878968665412222873395854937541818501965/880199930756251989346\ 90311313505093272629187*c_1001_12^16 + 271194411293606080199851247633731349872571449/880199930756251989346\ 90311313505093272629187*c_1001_12^15 + 390190653808640564530491534844541229319211613/880199930756251989346\ 90311313505093272629187*c_1001_12^14 + 1603585393814056373826922577510786373213722608/88019993075625198934\ 690311313505093272629187*c_1001_12^13 - 4972048707687997450369941908482082997802495131/88019993075625198934\ 690311313505093272629187*c_1001_12^12 + 1988232707776888735426059194760270695203407328/88019993075625198934\ 690311313505093272629187*c_1001_12^11 + 1280568962488147123745681428759536149763100232/88019993075625198934\ 690311313505093272629187*c_1001_12^10 + 3491592007741878832075450131520593877691167960/88019993075625198934\ 690311313505093272629187*c_1001_12^9 - 4762643173828304140248780537618536379529299722/88019993075625198934\ 690311313505093272629187*c_1001_12^8 - 1946035788232978804884658420929378112606397094/88019993075625198934\ 690311313505093272629187*c_1001_12^7 + 4402006567573524459393394020993949047676956312/88019993075625198934\ 690311313505093272629187*c_1001_12^6 - 831972321962863023770889417771494535897296703/880199930756251989346\ 90311313505093272629187*c_1001_12^5 - 976297307024885492141999303875513946624551481/880199930756251989346\ 90311313505093272629187*c_1001_12^4 + 135308645429022768868995684910604665003719694/880199930756251989346\ 90311313505093272629187*c_1001_12^3 + 229048810139197718163498027283640960584725333/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 59586084357563791143043908997879987614569012/8801999307562519893469\ 0311313505093272629187*c_1001_12 - 88305589094855797727674546205974706350234937/8801999307562519893469\ 0311313505093272629187, c_0110_8 + 10116116748339977973296320168306828156309935/880199930756251\ 98934690311313505093272629187*c_1001_12^21 - 4887234009660315938255917115727674755532282/88019993075625198934690\ 311313505093272629187*c_1001_12^20 - 81111542436359611137880358248890850796642521/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 - 55751041633626021411105862341900262049273863/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 + 308564430006794304508899734535159172092018674/880199930756251989346\ 90311313505093272629187*c_1001_12^17 + 662972319881219618845356525117936763454088014/880199930756251989346\ 90311313505093272629187*c_1001_12^16 - 680641208283599927685478052303852447592381411/880199930756251989346\ 90311313505093272629187*c_1001_12^15 - 1310143615397673830031774766175184325660112157/88019993075625198934\ 690311313505093272629187*c_1001_12^14 - 5253829486705275778454122295416166715442596750/88019993075625198934\ 690311313505093272629187*c_1001_12^13 + 14131784890577677843800595778945895880970287643/8801999307562519893\ 4690311313505093272629187*c_1001_12^12 - 3507486090602333086155896425761166141292041968/88019993075625198934\ 690311313505093272629187*c_1001_12^11 - 3787430271101676964071642235814167733434649911/88019993075625198934\ 690311313505093272629187*c_1001_12^10 - 11823594989167503847575192523696189675162822458/8801999307562519893\ 4690311313505093272629187*c_1001_12^9 + 12897422321801083546092742558566104616456898890/8801999307562519893\ 4690311313505093272629187*c_1001_12^8 + 6635753180042820596087748299293244542395588358/88019993075625198934\ 690311313505093272629187*c_1001_12^7 - 11458029923601222348063342759871397585490667880/8801999307562519893\ 4690311313505093272629187*c_1001_12^6 + 186073269398522488293637423162831779789091791/880199930756251989346\ 90311313505093272629187*c_1001_12^5 + 4185332490251428841536484658050546391346975697/88019993075625198934\ 690311313505093272629187*c_1001_12^4 + 75238093758368669804375411911043865929116842/8801999307562519893469\ 0311313505093272629187*c_1001_12^3 - 1307679507100002979729681254187920799123457426/88019993075625198934\ 690311313505093272629187*c_1001_12^2 - 229508009318185236749736296567704914841861260/880199930756251989346\ 90311313505093272629187*c_1001_12 + 76196105915944593861359022048634786977070264/8801999307562519893469\ 0311313505093272629187, c_1001_0 - 5510417784524542332374506468706753968009045/8801999307562519\ 8934690311313505093272629187*c_1001_12^21 + 1209783886661409846079920424141315060976174/88019993075625198934690\ 311313505093272629187*c_1001_12^20 + 43712303075634752181079789743009934170504182/8801999307562519893469\ 0311313505093272629187*c_1001_12^19 + 43599969325168842297262943514290136831784202/8801999307562519893469\ 0311313505093272629187*c_1001_12^18 - 150738941006602995636944427434031868503247380/880199930756251989346\ 90311313505093272629187*c_1001_12^17 - 406891535402824567083768581565286220416522226/880199930756251989346\ 90311313505093272629187*c_1001_12^16 + 231173807796580961423790230418951196963266133/880199930756251989346\ 90311313505093272629187*c_1001_12^15 + 760243905809345579865780521575838110421345987/880199930756251989346\ 90311313505093272629187*c_1001_12^14 + 3202226533397599878721818425223779864488951811/88019993075625198934\ 690311313505093272629187*c_1001_12^13 - 6827589565965196481396908980485162570098968931/88019993075625198934\ 690311313505093272629187*c_1001_12^12 + 363654106081835884082261173532982624874619327/880199930756251989346\ 90311313505093272629187*c_1001_12^11 + 359034416889570116773294555293567254075919568/880199930756251989346\ 90311313505093272629187*c_1001_12^10 + 8562562339535676627188322652054918822682106079/88019993075625198934\ 690311313505093272629187*c_1001_12^9 - 4906091208496455576569852285656573261376392633/88019993075625198934\ 690311313505093272629187*c_1001_12^8 - 4354195341282998936283562556367290386969045811/88019993075625198934\ 690311313505093272629187*c_1001_12^7 + 2591784660226272258242997511193028204600018058/88019993075625198934\ 690311313505093272629187*c_1001_12^6 + 1543190301628909600310124285982066125142896378/88019993075625198934\ 690311313505093272629187*c_1001_12^5 - 132568548533324236717460519947866467725540789/880199930756251989346\ 90311313505093272629187*c_1001_12^4 - 1437486849688381174162836330513023185984468179/88019993075625198934\ 690311313505093272629187*c_1001_12^3 + 189618689556089877913464478850623490691753460/880199930756251989346\ 90311313505093272629187*c_1001_12^2 + 433882994197280910026644658093804640904982920/880199930756251989346\ 90311313505093272629187*c_1001_12 + 155094230428691827400733734066722288723822943/880199930756251989346\ 90311313505093272629187, c_1001_12^22 - 6/5*c_1001_12^21 - 39/5*c_1001_12^20 + 1/5*c_1001_12^19 + 178/5*c_1001_12^18 + 226/5*c_1001_12^17 - 591/5*c_1001_12^16 - 468/5*c_1001_12^15 - 2114/5*c_1001_12^14 + 8994/5*c_1001_12^13 - 6343/5*c_1001_12^12 - 1324/5*c_1001_12^11 - 5197/5*c_1001_12^10 + 11282/5*c_1001_12^9 - 111/5*c_1001_12^8 - 8353/5*c_1001_12^7 + 2611/5*c_1001_12^6 + 2396/5*c_1001_12^5 - 85*c_1001_12^4 - 1028/5*c_1001_12^3 + 38/5*c_1001_12^2 + 199/5*c_1001_12 + 53/5 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.470 seconds, Total memory usage: 32.09MB