Magma V2.19-8 Wed Aug 21 2013 00:58:08 on localhost [Seed = 3717973835] Type ? for help. Type -D to quit. Loading file "L13n4727__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4727 geometric_solution 12.36308149 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 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.560190239296 1.224273033523 0 5 4 2 0132 0132 1230 3120 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.357883452599 0.322681569669 1 0 7 6 3120 0132 0132 0132 0 0 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 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.771302176982 0.795020423016 6 8 5 0 0132 0132 2031 0132 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.560143475297 0.879916509294 8 9 0 1 3120 0132 0132 3012 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 3 -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.227320328365 0.589033930854 10 1 10 3 0132 0132 3012 1302 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.277688023518 1.107609461434 3 8 2 11 0132 0213 0132 0132 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.587259913926 0.694006723501 8 12 12 2 0213 0132 1302 0132 0 0 0 1 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 -3 0 0 0 0 -1 0 0 1 1 -6 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.353857504394 0.797469325827 7 3 6 4 0213 0132 0213 3120 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 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.520452210108 0.367678837684 11 4 11 12 3012 0132 0213 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 2 0 -2 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505026418110 0.676979765570 5 5 11 12 0132 1230 3201 1023 0 0 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 0 0 0 0 0 3 -3 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.413095919977 0.633450592465 10 9 6 9 2310 0213 0132 1230 0 0 0 0 0 1 0 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 2 0 -2 -3 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.670185491241 1.130104621688 7 7 9 10 2031 0132 0132 1023 0 0 1 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 0 0 0 0 0 0 -3 0 0 3 -5 6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.535115202624 1.047685470414 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_1']), 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : d['c_0101_5'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : negation(d['c_0101_1']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0101_5'], 'c_1010_11' : d['c_0011_11'], 'c_1010_10' : d['c_0101_5'], 's_0_10' : negation(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' : negation(d['1']), 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_4'], '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' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : negation(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_1100_9' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_1']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : negation(d['c_1001_1']), 'c_1100_7' : d['c_0101_12'], 'c_1100_6' : d['c_0101_12'], 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_0101_12'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : negation(d['c_0011_4']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0110_6' : d['c_0101_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_12'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_4']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : d['c_0101_5'], 'c_0101_12' : d['c_0101_12'], 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : negation(d['1']), 's_1_10' : negation(d['1']), 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : negation(d['c_0011_0'])})} 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_11, c_0011_12, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_2, c_0101_5, c_1001_0, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 176284653741136340493430387371145670548137237870622504221/254358618\ 259440761412007776940277188823400388215292056542*c_1001_12^19 - 106442251467506649424406112047211794779017394849842498705/181684727\ 32817197243714841210019799201671456301092289753*c_1001_12^18 - 7603851391823115044476136005704973192084107200756675897/43002302326\ 1945496892658963550764478146069971623486148*c_1001_12^17 - 7529311720318857156576767273517348295025594883177973115183/76307585\ 4778322284236023330820831566470201164645876169626*c_1001_12^16 + 29944884852304669333089081070530062380373282936998698144596/3815379\ 27389161142118011665410415783235100582322938084813*c_1001_12^15 + 20422091376582969292912963981378430972088240530801004400475/1090108\ 36396903183462289047260118795210028737806553738518*c_1001_12^14 - 99261553109365783935740736029967081132686128551095955057449/1526151\ 709556644568472046661641663132940402329291752339252*c_1001_12^13 - 278207180943909508290331808073816849456647944535395088515424/381537\ 927389161142118011665410415783235100582322938084813*c_1001_12^12 - 27399935410131885366523621974928052632195800053912624439338/5450541\ 8198451591731144523630059397605014368903276869259*c_1001_12^11 + 438449864133835974841236702454129001641949948949156166836137/381537\ 927389161142118011665410415783235100582322938084813*c_1001_12^10 + 56199899316873723869866215115703515515640925345967376140603/3913209\ 5116837040217231965683119567511292367417737239468*c_1001_12^9 - 313201221863395149813773846542871075662491450321664303581241/381537\ 927389161142118011665410415783235100582322938084813*c_1001_12^8 - 204001216621366206996664855553011458098724285222489534148100/127179\ 309129720380706003888470138594411700194107646028271*c_1001_12^7 + 3564556169543465294236856747670385908800937524457983166773/11474824\ 883884545627609373395801978443160919769110919844*c_1001_12^6 + 1392660058639387563686390876736219469523925585310017539899961/15261\ 51709556644568472046661641663132940402329291752339252*c_1001_12^5 + 38539188222776458673294436843527664071572489713039333038131/1526151\ 709556644568472046661641663132940402329291752339252*c_1001_12^4 - 47102350941381982318767487050726810384589176067656165905833/2543586\ 18259440761412007776940277188823400388215292056542*c_1001_12^3 - 442364577614238607902440232599610123702173990538737665724045/152615\ 1709556644568472046661641663132940402329291752339252*c_1001_12^2 + 78575549348712225670709627779674155789093638838498228165707/7630758\ 54778322284236023330820831566470201164645876169626*c_1001_12 + 29222319800914320278816346138480961727059217468461931004055/1526151\ 709556644568472046661641663132940402329291752339252, c_0011_0 - 1, c_0011_11 - 2974535705612613626437254658055363852392637313/842961278239\ 4953278582315477143357927523834466*c_1001_12^19 - 12942581970231283586375981312758951238288060805/4214806391197476639\ 291157738571678963761917233*c_1001_12^18 - 162449581786021066482478569986509163438861292737/168592255647899065\ 57164630954286715855047668932*c_1001_12^17 - 26351473445708742786551017028616817946670119849/4214806391197476639\ 291157738571678963761917233*c_1001_12^16 + 713348380310552523398426441835304520548626630645/168592255647899065\ 57164630954286715855047668932*c_1001_12^15 + 1852163362265703780223890707119263877227697819613/16859225564789906\ 557164630954286715855047668932*c_1001_12^14 - 148923586522094411982959345766098309309944292989/842961278239495327\ 8582315477143357927523834466*c_1001_12^13 - 3497314602399711868973130694154716603743482745799/84296127823949532\ 78582315477143357927523834466*c_1001_12^12 - 3095219497456034833311084624846310620287169413567/84296127823949532\ 78582315477143357927523834466*c_1001_12^11 + 10387231552421183304093788995448870419984219530071/1685922556478990\ 6557164630954286715855047668932*c_1001_12^10 + 4334651739466495833829444265752051129784609387604/42148063911974766\ 39291157738571678963761917233*c_1001_12^9 - 4739327189008694088247973622050915421924786415037/16859225564789906\ 557164630954286715855047668932*c_1001_12^8 - 19567229278722053152891709846410836375400845059787/1685922556478990\ 6557164630954286715855047668932*c_1001_12^7 - 107365563324893553927076542417123360393462577445/887327661304731924\ 061296366015090308160403628*c_1001_12^6 + 5532245917320484152305867219995432956747641206937/84296127823949532\ 78582315477143357927523834466*c_1001_12^5 + 863962753636871070111270175000088331769607027011/421480639119747663\ 9291157738571678963761917233*c_1001_12^4 - 1120308129616900803747545698973870689688795034443/84296127823949532\ 78582315477143357927523834466*c_1001_12^3 - 3412217158326936192126165015902788542899261976365/16859225564789906\ 557164630954286715855047668932*c_1001_12^2 - 10984340109086533285185075402109990736425122523/1685922556478990655\ 7164630954286715855047668932*c_1001_12 + 751804900843930540081566290945374331108497162019/168592255647899065\ 57164630954286715855047668932, c_0011_12 + 29669746787575264656152413376319392149833291531/14330341730\ 0714205735899363111437084767905185922*c_1001_12^19 + 130353113507977467610479889017081138701389539144/716517086503571028\ 67949681555718542383952592961*c_1001_12^18 + 1665128883887015931663938977120280592971452863903/28660683460142841\ 1471798726222874169535810371844*c_1001_12^17 + 599437087279212301105275690395232960435772992607/143303417300714205\ 735899363111437084767905185922*c_1001_12^16 - 6986266345372138056659404767720061784906138219033/28660683460142841\ 1471798726222874169535810371844*c_1001_12^15 - 19016902197876755831541366669635112600368529830489/2866068346014284\ 11471798726222874169535810371844*c_1001_12^14 + 665074299516878986509111467546411277511286915797/143303417300714205\ 735899363111437084767905185922*c_1001_12^13 + 34786033152150675777824889856727791428255225416749/1433034173007142\ 05735899363111437084767905185922*c_1001_12^12 + 16807980643582221854679962639265102561174144109277/7165170865035710\ 2867949681555718542383952592961*c_1001_12^11 - 97376810367229804230506302740119782010019949025699/2866068346014284\ 11471798726222874169535810371844*c_1001_12^10 - 89612389404665708356772664700894889849164173430503/1433034173007142\ 05735899363111437084767905185922*c_1001_12^9 + 33024914752459227860962212690784184653118526909629/2866068346014284\ 11471798726222874169535810371844*c_1001_12^8 + 195034895879340241653628363217853582932219236639397/286606834601428\ 411471798726222874169535810371844*c_1001_12^7 + 1743473423364862083522187738652172375537114708597/15084570242180442\ 709042038222256535238726861676*c_1001_12^6 - 26624204535213170795013285059519797838172521637425/7165170865035710\ 2867949681555718542383952592961*c_1001_12^5 - 9881870940215910701058192284415663151308763494726/71651708650357102\ 867949681555718542383952592961*c_1001_12^4 + 9947112144207674284443636114923675412100661076221/14330341730071420\ 5735899363111437084767905185922*c_1001_12^3 + 33824999340044627032873035848571647883946120510609/2866068346014284\ 11471798726222874169535810371844*c_1001_12^2 + 1949417279465349474240803869761960757353467182545/28660683460142841\ 1471798726222874169535810371844*c_1001_12 - 7100616218198513643898739304752772597400939613645/28660683460142841\ 1471798726222874169535810371844, c_0011_4 + 1581370281429189965351298727931644411078963296/4214806391197\ 476639291157738571678963761917233*c_1001_12^19 + 13810547785382916974347860883885764801337759239/4214806391197476639\ 291157738571678963761917233*c_1001_12^18 + 43596381589652481120753441550972259039669056201/4214806391197476639\ 291157738571678963761917233*c_1001_12^17 + 58573311976032704774015506144534553463058271759/8429612782394953278\ 582315477143357927523834466*c_1001_12^16 - 377724813300913739724141435790685867023807154857/842961278239495327\ 8582315477143357927523834466*c_1001_12^15 - 996081428399332101202297039876830289696654115567/842961278239495327\ 8582315477143357927523834466*c_1001_12^14 + 64741790696016390927206475475814095731886776502/4214806391197476639\ 291157738571678963761917233*c_1001_12^13 + 1861727939382794536516613097314199885355954736553/42148063911974766\ 39291157738571678963761917233*c_1001_12^12 + 3398236361656069848792959240725576108845447025643/84296127823949532\ 78582315477143357927523834466*c_1001_12^11 - 5426112514647059444780003320748457530587325025877/84296127823949532\ 78582315477143357927523834466*c_1001_12^10 - 9368630329950028779345479487657150925997431880005/84296127823949532\ 78582315477143357927523834466*c_1001_12^9 + 2256946736577638141797292393526546328077289431255/84296127823949532\ 78582315477143357927523834466*c_1001_12^8 + 5223718358643029421006665973020316191265375459605/42148063911974766\ 39291157738571678963761917233*c_1001_12^7 + 71021098315163482435630235270951733339167607815/4436638306523659620\ 30648183007545154080201814*c_1001_12^6 - 5834296790549359173247062365040917720190228986041/84296127823949532\ 78582315477143357927523834466*c_1001_12^5 - 979182266313881503470211881947761286784191190457/421480639119747663\ 9291157738571678963761917233*c_1001_12^4 + 575797481106763604674600938704563689860261958044/421480639119747663\ 9291157738571678963761917233*c_1001_12^3 + 1827887689633828043624476022769020464412983110461/84296127823949532\ 78582315477143357927523834466*c_1001_12^2 + 22571685784570566330037680005850492395450530455/4214806391197476639\ 291157738571678963761917233*c_1001_12 - 197233220635419350720203156329954674147459052924/421480639119747663\ 9291157738571678963761917233, c_0101_0 - 27343925210907783190196422221508872583791998619/716517086503\ 57102867949681555718542383952592961*c_1001_12^19 - 238278258174456731695819984907245612608516186498/716517086503571028\ 67949681555718542383952592961*c_1001_12^18 - 1499677637350206019821887888708846039284707570455/14330341730071420\ 5735899363111437084767905185922*c_1001_12^17 - 495915779495165066974599635412156019107108221370/716517086503571028\ 67949681555718542383952592961*c_1001_12^16 + 6532288813118748261796167245811210376556956686655/14330341730071420\ 5735899363111437084767905185922*c_1001_12^15 + 17099205444258282742648897741927738220029557126593/1433034173007142\ 05735899363111437084767905185922*c_1001_12^14 - 2474017293452413686769614237703031842407192668921/14330341730071420\ 5735899363111437084767905185922*c_1001_12^13 - 32103546699578554720437616223961571432033923416697/7165170865035710\ 2867949681555718542383952592961*c_1001_12^12 - 57746276772634640505548286416951666408748043923173/1433034173007142\ 05735899363111437084767905185922*c_1001_12^11 + 47174199766391769483860842866228177692519660596714/7165170865035710\ 2867949681555718542383952592961*c_1001_12^10 + 160295373191150833086389548082307095459120986416613/143303417300714\ 205735899363111437084767905185922*c_1001_12^9 - 41085600229705180291737328927014266941618872699357/1433034173007142\ 05735899363111437084767905185922*c_1001_12^8 - 89923271468714869686521280095258026709612292140040/7165170865035710\ 2867949681555718542383952592961*c_1001_12^7 - 1111791273712412133997169721083645517438607536109/75422851210902213\ 54521019111128267619363430838*c_1001_12^6 + 101313148070752827149111458804955522305920821713143/143303417300714\ 205735899363111437084767905185922*c_1001_12^5 + 33045176266597624718514717470953129968247550937931/1433034173007142\ 05735899363111437084767905185922*c_1001_12^4 - 10280384609528908516300156158724313767700272229968/7165170865035710\ 2867949681555718542383952592961*c_1001_12^3 - 15848853641312289717348173847049306880828033366576/7165170865035710\ 2867949681555718542383952592961*c_1001_12^2 - 109769533484403415743388008138311963512285462804/716517086503571028\ 67949681555718542383952592961*c_1001_12 + 3527959860484121993031227142755397446211298149792/71651708650357102\ 867949681555718542383952592961, c_0101_1 - 1, c_0101_11 - 1203371297383919738384351088251584874183568645/842961278239\ 4953278582315477143357927523834466*c_1001_12^19 - 5240590890064200976953432935959268639963831472/42148063911974766392\ 91157738571678963761917233*c_1001_12^18 - 65703410856902098375492711925926720618395693665/1685922556478990655\ 7164630954286715855047668932*c_1001_12^17 - 20865716871089556585366684119970242949069489461/8429612782394953278\ 582315477143357927523834466*c_1001_12^16 + 292481356635649149388817298002310419736971164627/168592255647899065\ 57164630954286715855047668932*c_1001_12^15 + 754493686482661207330625393445309145806769381499/168592255647899065\ 57164630954286715855047668932*c_1001_12^14 - 32651090469088894327615611203530180856125437837/4214806391197476639\ 291157738571678963761917233*c_1001_12^13 - 1435783163199505551401454347483592177832453893527/84296127823949532\ 78582315477143357927523834466*c_1001_12^12 - 1260041847006281606553721606709992580846892686133/84296127823949532\ 78582315477143357927523834466*c_1001_12^11 + 4323357318022910298849205041793816873556429445291/16859225564789906\ 557164630954286715855047668932*c_1001_12^10 + 1792996491710324311258345112138749155867670142319/42148063911974766\ 39291157738571678963761917233*c_1001_12^9 - 2028015564260375518251901185909945093936371548511/16859225564789906\ 557164630954286715855047668932*c_1001_12^8 - 8215358745676042586475962617832139046220070733929/16859225564789906\ 557164630954286715855047668932*c_1001_12^7 - 44100200006006567771411189686541922563174669715/8873276613047319240\ 61296366015090308160403628*c_1001_12^6 + 2368122008073339772590612516116610444230553096741/84296127823949532\ 78582315477143357927523834466*c_1001_12^5 + 736588005845344282712505121133925842732917884621/842961278239495327\ 8582315477143357927523834466*c_1001_12^4 - 518214997324925227606392484307308450083991385027/842961278239495327\ 8582315477143357927523834466*c_1001_12^3 - 1461463078391328426428934832371723032560550624293/16859225564789906\ 557164630954286715855047668932*c_1001_12^2 + 5165705061671877149347277688246882169015965327/16859225564789906557\ 164630954286715855047668932*c_1001_12 + 344724967579566893899555527170122378930067054845/168592255647899065\ 57164630954286715855047668932, c_0101_12 - 3663696584145429599346627446949456467002350033/842961278239\ 4953278582315477143357927523834466*c_1001_12^19 - 15953863579560642923473090359157745267053376367/4214806391197476639\ 291157738571678963761917233*c_1001_12^18 - 200570416893327411230990441375233309664578456789/168592255647899065\ 57164630954286715855047668932*c_1001_12^17 - 32870459053815203995506791723203160726710138260/4214806391197476639\ 291157738571678963761917233*c_1001_12^16 + 877294473139874129195243717740101696770888096547/168592255647899065\ 57164630954286715855047668932*c_1001_12^15 + 2288478122173184658289353489217167879250885308313/16859225564789906\ 557164630954286715855047668932*c_1001_12^14 - 86435979574112429566221622167942932272531172997/4214806391197476639\ 291157738571678963761917233*c_1001_12^13 - 2153523710168660354009903637155767659293259912398/42148063911974766\ 39291157738571678963761917233*c_1001_12^12 - 1925765592286082846064267047619905218661405572198/42148063911974766\ 39291157738571678963761917233*c_1001_12^11 + 12708506437803757977960949650139816959038107016443/1685922556478990\ 6557164630954286715855047668932*c_1001_12^10 + 10735806455907311910709493514565757104840676173701/8429612782394953\ 278582315477143357927523834466*c_1001_12^9 - 5600685764339655249124253506878605474917284897701/16859225564789906\ 557164630954286715855047668932*c_1001_12^8 - 24139880152380782185885941171020543623471176525525/1685922556478990\ 6557164630954286715855047668932*c_1001_12^7 - 146596437431314840098976448359381240169551148435/887327661304731924\ 061296366015090308160403628*c_1001_12^6 + 6794427383920776792844874513798738549117828734023/84296127823949532\ 78582315477143357927523834466*c_1001_12^5 + 2206778059166836551921800777285571744601265684247/84296127823949532\ 78582315477143357927523834466*c_1001_12^4 - 685585450582958679671996028784987940686641743633/421480639119747663\ 9291157738571678963761917233*c_1001_12^3 - 4239231193742434219129760704695831215398404548319/16859225564789906\ 557164630954286715855047668932*c_1001_12^2 - 35380450220305217589138584149118912411380270163/1685922556478990655\ 7164630954286715855047668932*c_1001_12 + 924338009526984572561349139305080577842123614195/168592255647899065\ 57164630954286715855047668932, c_0101_2 - 2274547863498065844823162089943898155025466537/4214806391197\ 476639291157738571678963761917233*c_1001_12^19 - 19815538023320484017349052487588918431646385621/4214806391197476639\ 291157738571678963761917233*c_1001_12^18 - 124602624776636580063466712925671753845098666791/842961278239495327\ 8582315477143357927523834466*c_1001_12^17 - 81865026465413822789919614296507391819830430041/8429612782394953278\ 582315477143357927523834466*c_1001_12^16 + 272141070267086330568097696325860755043289631441/421480639119747663\ 9291157738571678963761917233*c_1001_12^15 + 1420684417865274019389042501474133222484140851463/84296127823949532\ 78582315477143357927523834466*c_1001_12^14 - 213604768025432574743703560574400772414329905725/842961278239495327\ 8582315477143357927523834466*c_1001_12^13 - 5344813810866456182720464051785511212891010741251/84296127823949532\ 78582315477143357927523834466*c_1001_12^12 - 4777532561165025514845566382825588003254092958755/84296127823949532\ 78582315477143357927523834466*c_1001_12^11 + 3941946430211703234421474304293743645386411096239/42148063911974766\ 39291157738571678963761917233*c_1001_12^10 + 6648510605297201632051811493994350791873118772340/42148063911974766\ 39291157738571678963761917233*c_1001_12^9 - 3499156619893090918288392518588416910487669689079/84296127823949532\ 78582315477143357927523834466*c_1001_12^8 - 7465556057520428221206213430965849501367057682915/42148063911974766\ 39291157738571678963761917233*c_1001_12^7 - 87073739600198421316276959494801002226396601679/4436638306523659620\ 30648183007545154080201814*c_1001_12^6 + 8408841816417030148078503041695410212314949376895/84296127823949532\ 78582315477143357927523834466*c_1001_12^5 + 2668031179802467627307016567068295884140839278239/84296127823949532\ 78582315477143357927523834466*c_1001_12^4 - 1700524294067713449270270985300408707078811755597/84296127823949532\ 78582315477143357927523834466*c_1001_12^3 - 1303273168197787677340511516642950164519941293148/42148063911974766\ 39291157738571678963761917233*c_1001_12^2 - 12996146355079504489428442245512749109268366043/8429612782394953278\ 582315477143357927523834466*c_1001_12 + 284186316118893566913796993137095627943825559891/421480639119747663\ 9291157738571678963761917233, c_0101_5 + 11201311889021837717679505529896598627558103582/716517086503\ 57102867949681555718542383952592961*c_1001_12^19 + 98289817368051408989586217873415077541747466180/7165170865035710286\ 7949681555718542383952592961*c_1001_12^18 + 313254009138762727739187745892182318820518548920/716517086503571028\ 67949681555718542383952592961*c_1001_12^17 + 223277803694763371547666529859206562924199696832/716517086503571028\ 67949681555718542383952592961*c_1001_12^16 - 2640808830161295525296833720590066760629597493359/14330341730071420\ 5735899363111437084767905185922*c_1001_12^15 - 3577801690354047191134833841639147917051571794632/71651708650357102\ 867949681555718542383952592961*c_1001_12^14 + 277084900302519403845098780198912008762281689998/716517086503571028\ 67949681555718542383952592961*c_1001_12^13 + 26238388769253380247439400392169810331162526042829/1433034173007142\ 05735899363111437084767905185922*c_1001_12^12 + 12598232964060621610931075273462688279106310195208/7165170865035710\ 2867949681555718542383952592961*c_1001_12^11 - 36834370735143172300250753358935743782928762616689/1433034173007142\ 05735899363111437084767905185922*c_1001_12^10 - 33704686288003977366861384099282293871343131955914/7165170865035710\ 2867949681555718542383952592961*c_1001_12^9 + 6269534037327778657844059623981115066998973215251/71651708650357102\ 867949681555718542383952592961*c_1001_12^8 + 36674743967396321530421377207082504048832379346841/7165170865035710\ 2867949681555718542383952592961*c_1001_12^7 + 667930395275297447101501403084230997835495973141/754228512109022135\ 4521019111128267619363430838*c_1001_12^6 - 39732526653352250714649838813632249572786286189387/1433034173007142\ 05735899363111437084767905185922*c_1001_12^5 - 7613346453053577723662644974853990221022607121648/71651708650357102\ 867949681555718542383952592961*c_1001_12^4 + 7029065945065405239413815947384464414644371780317/14330341730071420\ 5735899363111437084767905185922*c_1001_12^3 + 6481112506434363033482939515638956272728933195937/71651708650357102\ 867949681555718542383952592961*c_1001_12^2 + 860463919922267042415672988701948056608676409185/143303417300714205\ 735899363111437084767905185922*c_1001_12 - 2693350408103148269233302724056166209457270668811/14330341730071420\ 5735899363111437084767905185922, c_1001_0 + 57203986780766221191023368373214577604136349371/143303417300\ 714205735899363111437084767905185922*c_1001_12^19 + 249658832535776788606801643328181763926215161046/716517086503571028\ 67949681555718542383952592961*c_1001_12^18 + 3151049807438812792939647587646744227849332215719/28660683460142841\ 1471798726222874169535810371844*c_1001_12^17 + 1057667196731505095785034810791376123359313339739/14330341730071420\ 5735899363111437084767905185922*c_1001_12^16 - 13646400878673546748620143291948602011792153639309/2866068346014284\ 11471798726222874169535810371844*c_1001_12^15 - 35968234961347668764205817965588290753699588161375/2866068346014284\ 11471798726222874169535810371844*c_1001_12^14 + 2353365317811611578025616912701240267269806708517/14330341730071420\ 5735899363111437084767905185922*c_1001_12^13 + 33609291500029530501003644251402675012811688616365/7165170865035710\ 2867949681555718542383952592961*c_1001_12^12 + 61290362740482894171954394891056748069951116598537/1433034173007142\ 05735899363111437084767905185922*c_1001_12^11 - 195836826327407299678747815288896750395961774177449/286606834601428\ 411471798726222874169535810371844*c_1001_12^10 - 168920256777292381276327224516754107783560120457243/143303417300714\ 205735899363111437084767905185922*c_1001_12^9 + 81491664940609638804459360860999505193235041668707/2866068346014284\ 11471798726222874169535810371844*c_1001_12^8 + 376644756421037678708275600078619269634357448309965/286606834601428\ 411471798726222874169535810371844*c_1001_12^7 + 2559409760577891619878718629301736634178851997487/15084570242180442\ 709042038222256535238726861676*c_1001_12^6 - 105205205563523450574183434988873957435137905934427/143303417300714\ 205735899363111437084767905185922*c_1001_12^5 - 17723406240594914588834476863325348917111806732007/7165170865035710\ 2867949681555718542383952592961*c_1001_12^4 + 10420902471316914626805352041811437820438895207153/7165170865035710\ 2867949681555718542383952592961*c_1001_12^3 + 66243186555481324507046400827916512576155388358159/2866068346014284\ 11471798726222874169535810371844*c_1001_12^2 + 1325352976247423998505983107647647516089226328727/28660683460142841\ 1471798726222874169535810371844*c_1001_12 - 14102910422481929304726390324559544894930926325141/2866068346014284\ 11471798726222874169535810371844, c_1001_1 - 4647627503601957898321218321996156554041851/8429612782394953\ 278582315477143357927523834466*c_1001_12^19 - 23164562481082725163197737241580139944208136/4214806391197476639291\ 157738571678963761917233*c_1001_12^18 - 315522394032886183297892572021852644154362711/168592255647899065571\ 64630954286715855047668932*c_1001_12^17 - 149444532067124013529677268806497304900485695/842961278239495327858\ 2315477143357927523834466*c_1001_12^16 + 804938972879439636412127514783602535743365101/168592255647899065571\ 64630954286715855047668932*c_1001_12^15 + 1928091884592396063803664918610423122371214993/16859225564789906557\ 164630954286715855047668932*c_1001_12^14 - 1176384573295929926594475587245415332337289085/84296127823949532785\ 82315477143357927523834466*c_1001_12^13 - 4696371348197946940173416285887208180157149491/84296127823949532785\ 82315477143357927523834466*c_1001_12^12 + 1256270043064044893971746344719083206452009323/42148063911974766392\ 91157738571678963761917233*c_1001_12^11 + 27093464809228027028404541173392073840464865351/1685922556478990655\ 7164630954286715855047668932*c_1001_12^10 - 9022580525271643023032037464549243735384325467/84296127823949532785\ 82315477143357927523834466*c_1001_12^9 - 76388527360216990327646499424671683138067894689/1685922556478990655\ 7164630954286715855047668932*c_1001_12^8 + 7072972384158306073707173841009559386159486167/16859225564789906557\ 164630954286715855047668932*c_1001_12^7 + 5759301503197132691022920407643292410735632531/88732766130473192406\ 1296366015090308160403628*c_1001_12^6 + 4038498844539791153253612816136224842814392710/42148063911974766392\ 91157738571678963761917233*c_1001_12^5 - 20765060827729889753163781441141926655017851152/4214806391197476639\ 291157738571678963761917233*c_1001_12^4 - 7527589151642935850896899543358261396306795725/84296127823949532785\ 82315477143357927523834466*c_1001_12^3 + 34101891281863451434763705273966705033396027515/1685922556478990655\ 7164630954286715855047668932*c_1001_12^2 + 29490166188448010278904663183565477689466046667/1685922556478990655\ 7164630954286715855047668932*c_1001_12 + 4317393671623219757640478199506506023497572745/16859225564789906557\ 164630954286715855047668932, c_1001_12^20 + 23/3*c_1001_12^19 + 329/18*c_1001_12^18 - 193/18*c_1001_12^17 - 833/6*c_1001_12^16 - 1690/9*c_1001_12^15 + 6739/18*c_1001_12^14 + 3392/3*c_1001_12^13 - 524/3*c_1001_12^12 - 17071/6*c_1001_12^11 - 20455/18*c_1001_12^10 + 69071/18*c_1001_12^9 + 7595/3*c_1001_12^8 - 27506/9*c_1001_12^7 - 13681/6*c_1001_12^6 + 1322*c_1001_12^5 + 9101/9*c_1001_12^4 + 1177/6*c_1001_12^3 - 1789/3*c_1001_12^2 - 1229/9*c_1001_12 + 2333/18 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.260 Total time: 0.460 seconds, Total memory usage: 32.09MB