Magma V2.19-8 Wed Aug 21 2013 00:55:13 on localhost [Seed = 492504943] Type ? for help. Type -D to quit. Loading file "L13a2990__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2990 geometric_solution 11.51465625 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 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 0 0 0 0 0 1 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.634810460063 0.253340526742 0 2 6 5 0132 0213 0132 0132 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 0 0 0 0 0 0 0 1 0 0 -1 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453370409171 1.053742871457 3 0 1 7 2031 0132 0213 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 -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.622452105172 0.498255951264 8 7 2 0 0132 2310 1302 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 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.622452105172 0.498255951264 9 6 0 8 0132 0132 0132 2103 0 1 1 1 0 -1 0 1 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 1 -3 0 0 0 0 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.569633607028 0.469788667158 10 8 1 10 0132 2103 0132 2031 0 1 1 0 0 -1 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 9 0 1 -10 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.112712870942 0.806845545028 9 4 11 1 3120 0132 0132 0132 0 1 1 1 0 1 -1 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 -2 2 0 0 0 0 0 1 0 0 -1 -9 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.085096362244 1.572888196632 7 7 2 3 1302 2031 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.708760867823 0.737578128761 3 5 11 4 0132 2103 2310 2103 1 1 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -9 10 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.587013008003 1.092348701022 4 10 12 6 0132 1230 0132 3120 1 1 1 1 0 -1 0 1 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -9 0 9 0 0 0 0 0 1 0 -1 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346752691580 0.434899205154 5 5 9 11 0132 1302 3012 1302 1 1 0 1 0 1 -1 0 -1 0 1 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 10 -10 0 -9 0 9 0 -1 3 0 -2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.830175976472 1.215670896119 12 8 10 6 0321 3201 2031 0132 0 1 1 1 0 0 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 9 0 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191932471321 0.660013590749 11 12 12 9 0321 3201 2310 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370807033527 1.314605442787 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_0']), 'c_1001_10' : d['c_0011_4'], 'c_1001_12' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0110_7']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_7']), 'c_1001_3' : negation(d['c_0011_7']), 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_10'], 'c_1010_10' : d['c_1010_10'], '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_4'], '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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1010_10']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_1010_10']), 'c_1100_1' : negation(d['c_1010_10']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_1010_10']), 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_7'], 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_0110_7']), 'c_1010_2' : negation(d['c_0110_7']), 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_12'], '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_4']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_4']), '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_12']), 'c_0110_10' : d['c_0101_0'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_7']), 'c_0101_6' : negation(d['c_0011_12']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_0'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_12'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_7']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0110_7'], 'c_1100_8' : d['c_0011_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_12, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_11, c_0110_7, c_1001_1, c_1010_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t - 1661958982657091565339216599866023063440447913931712371695173/19774\ 0819100346584972735475727422225907462922975499483629344*c_1010_10^2\ 3 + 4940533901684571998144997705236303769960694146866794665494035/1\ 97740819100346584972735475727422225907462922975499483629344*c_1010_\ 10^22 + 12071306378045320269677770147570845101735840783071032319262\ 199/98870409550173292486367737863711112953731461487749741814672*c_1\ 010_10^21 - 2174125611990465955632466444069368748548758774346850045\ 1368547/24717602387543323121591934465927778238432865371937435453668\ *c_1010_10^20 - 130950509928768967924581696906136228771699146206563\ 400622719977/197740819100346584972735475727422225907462922975499483\ 629344*c_1010_10^19 + 664080733355220924040132088939212724956393673\ 81865186973791979/6818648934494709826646050887152490548533204240534\ 464952736*c_1010_10^18 - 819805226443778126482155761835739529391184\ 640338962287898817131/197740819100346584972735475727422225907462922\ 975499483629344*c_1010_10^17 - 106363408542070822921872970846134057\ 59317078948751761215271117787/1977408191003465849727354757274222259\ 07462922975499483629344*c_1010_10^16 + 10520582566297547474549035692973832628221260453387244515160722671/1\ 97740819100346584972735475727422225907462922975499483629344*c_1010_\ 10^15 + 34091072844265834911648903524858255345674787435212609644279\ 466023/197740819100346584972735475727422225907462922975499483629344\ *c_1010_10^14 - 781490192300887979879383421617718073322150229835478\ 8879061098761/49435204775086646243183868931855556476865730743874870\ 907336*c_1010_10^13 - 273393192553377087654257231862589920442681385\ 52885749284291137059/9887040955017329248636773786371111295373146148\ 7749741814672*c_1010_10^12 + 77519750754339049043244175277269421931\ 96305043643980418236868223/4943520477508664624318386893185555647686\ 5730743874870907336*c_1010_10^11 + 34646970630473179470573887294423857253306416210225508328667372/2130\ 82779202959682082689090223515329641662632516702029773*c_1010_10^10 - 1894225520816506254429562332044880668090757412782640316066155171/98\ 870409550173292486367737863711112953731461487749741814672*c_1010_10\ ^9 - 6585870519727037046838623442915072055767866304118495809260359/\ 5815906444127840734492219874335947820807733028691161283216*c_1010_1\ 0^8 - 2790989155330532509835393427710186868191116613897355998293638\ 895/197740819100346584972735475727422225907462922975499483629344*c_\ 1010_10^7 - 1275858935248030183102360465372966255181796012243151083\ 36343059/1163181288825568146898443974867189564161546605738232256643\ 2*c_1010_10^6 - 108647709312202564089298494707137374166458453878771\ 63886843709/1235880119377166156079596723296388911921643268596871772\ 6834*c_1010_10^5 - 555056343701799458251483867606976977511700922418\ 643729376730713/988704095501732924863677378637111129537314614877497\ 41814672*c_1010_10^4 + 31117436451216573106836740257621985568559248\ 8428603847553159373/19774081910034658497273547572742222590746292297\ 5499483629344*c_1010_10^3 + 299344972605727812892543211458028176272\ 975268569475142777783685/197740819100346584972735475727422225907462\ 922975499483629344*c_1010_10^2 - 2068264069727422847088609561588882\ 5823377729426517756708115403/19774081910034658497273547572742222590\ 7462922975499483629344*c_1010_10 - 9328704601875326069652562765797544685326345334302193000687975/19774\ 0819100346584972735475727422225907462922975499483629344, c_0011_0 - 1, c_0011_10 + 183035606723683915644055018675655283775541647538561/2290590\ 771892144144548808954810821036671899645705892*c_1010_10^23 - 675661595091237973425582408027576006090978535896707/229059077189214\ 4144548808954810821036671899645705892*c_1010_10^22 - 1114512459740699292766721913310586349473124777195355/11452953859460\ 72072274404477405410518335949822852946*c_1010_10^21 + 5236340036975846125615572971518894715401023574984812/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^20 + 113423404901505884331342096907202455095433221774925/229059077189214\ 4144548808954810821036671899645705892*c_1010_10^19 - 218337694536659622578844193634367782399922003745797587/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^18 + 245118817040017175051467740412945330999923198778691927/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^17 + 1061711093220832058706073276910023615787800742022412051/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^16 - 1974641489185484197158300826050658660306612587269444699/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^15 - 2682597065741205723611533122506476353866217301513718747/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^14 + 1465983965624198108341265072066345949869233729711763510/57264769297\ 3036036137202238702705259167974911426473*c_1010_10^13 + 1409983200705580139189288750358913135530042402209317025/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^12 - 1735026000664937297348912129952363982813243058078261253/57264769297\ 3036036137202238702705259167974911426473*c_1010_10^11 - 2465202391534116209219431788748154932068569824463615/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^10 + 1084661018294787830937389954511193186572315927578489989/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^9 - 23548798678093618375048601246005617986770236961561225/6737031682035\ 7180722023792788553559902114695461938*c_1010_10^8 + 380661377313445363498190325623949542368075837954738335/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^7 - 918471378196364783982312625078363640095734106587125/134740633640714\ 361444047585577107119804229390923876*c_1010_10^6 - 20224960274415424985651370878344247955410528387346300/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^5 + 63439419209829838047279282672734073947431197137901441/1145295385946\ 072072274404477405410518335949822852946*c_1010_10^4 - 119142266047733110154324966867279316775746037000759257/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^3 + 16128384897875002111651537706406739318317438902646503/2290590771892\ 144144548808954810821036671899645705892*c_1010_10^2 + 17059340030657792175834623935671458743835502713599439/2290590771892\ 144144548808954810821036671899645705892*c_1010_10 - 2725077894200655558676609157224958778853798443892829/22905907718921\ 44144548808954810821036671899645705892, c_0011_11 + 6897184988825925486500213763883609889953439141803381/366494\ 52350274306312780943276973136586750394331294272*c_1010_10^23 - 25608755693581790646231382710370001699342929038332963/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^22 - 41537045241958998900393380122750922724633907293699367/1832472617513\ 7153156390471638486568293375197165647136*c_1010_10^21 + 98710600426158168734245152769711725793748334210329527/4581181543784\ 288289097617909621642073343799291411784*c_1010_10^20 - 17166147880658969426971314097026490361277896576109607/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^19 - 8184774058514189005756101708024936959495567226399081903/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^18 + 9411813297591022586966847086042326783104550947942220731/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^17 + 39366988095684442421599847070847998873512546253443155595/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^16 - 74749248967711545632978752063515952694632272162343488543/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^15 - 97376360690242325087176831981785895568473364304490368951/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^14 + 54756565038936973150697512234768720726439531582311785657/9162363087\ 568576578195235819243284146687598582823568*c_1010_10^13 + 48215377992830641376839131304475064436543391499637198211/1832472617\ 5137153156390471638486568293375197165647136*c_1010_10^12 - 62932168374826434069855160067526106768804225480326302479/9162363087\ 568576578195235819243284146687598582823568*c_1010_10^11 + 149708320590985231963818535931504611581862477225304282/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 33891130016929944628373813253281856673190631480216800419/1832472617\ 5137153156390471638486568293375197165647136*c_1010_10^9 - 864198209087815576637510134250838167976945532381405209/107792506912\ 5714891552380684616856958433835127391008*c_1010_10^8 + 18741497681292296959566587133461373244276140619742990847/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^7 - 256684237059953577399985159459682029124524752436417437/215585013825\ 1429783104761369233713916867670254782016*c_1010_10^6 - 104667586779037223629419619751604738902480549560156895/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^5 + 2418895089989306236754189323768320615694766305554189433/18324726175\ 137153156390471638486568293375197165647136*c_1010_10^4 - 4697036927455325451142424904949198093044907166931252701/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^3 + 1067504754072281640958151729533611928984262658503887083/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^2 + 237284977107258234766905659007082036290197875913377563/366494523502\ 74306312780943276973136586750394331294272*c_1010_10 - 29699337700188999096123939565051170145359779241386121/3664945235027\ 4306312780943276973136586750394331294272, c_0011_12 + 3840270652533810223833849276539533631879812281228081/366494\ 52350274306312780943276973136586750394331294272*c_1010_10^23 - 14477199253242300127520721261973583993888883159972103/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^22 - 22751154293255032047822069153814441046153902311441339/1832472617513\ 7153156390471638486568293375197165647136*c_1010_10^21 + 55324672242264007639206547830264271947283954238332411/4581181543784\ 288289097617909621642073343799291411784*c_1010_10^20 - 34069488216033619573829304674301738942074414992855611/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^19 - 4564161130942484309532877222099550005905329629738318499/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^18 + 5506350052070208214831944037737271429125236884022422207/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^17 + 21692526620365762228662020482554288989010283725970998223/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^16 - 43015848350813403947210540705743912056377444777505123539/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^15 - 52125311115024606565024957511401815737861923142791296075/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^14 + 31505115036359274900973199372062234700967147420612803765/9162363087\ 568576578195235819243284146687598582823568*c_1010_10^13 + 23524610491436927270651494314793205408891598187377115847/1832472617\ 5137153156390471638486568293375197165647136*c_1010_10^12 - 36505552317918184235985584536113324903493408589476784611/9162363087\ 568576578195235819243284146687598582823568*c_1010_10^11 + 219503740048255561953724741766512593958117110019557532/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 20344887694584543797425344835029852164802589221341184487/1832472617\ 5137153156390471638486568293375197165647136*c_1010_10^9 - 597293373101010907716410910766561164333359316121149253/107792506912\ 5714891552380684616856958433835127391008*c_1010_10^8 + 10692246356447473271970468936300921214662795031718829939/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^7 - 138576311132349023164686407908842354921250687770860665/215585013825\ 1429783104761369233713916867670254782016*c_1010_10^6 - 85634825347965347288119220587420709500667369258708911/2290590771892\ 144144548808954810821036671899645705892*c_1010_10^5 + 1458759240999982604815105840359838887474015401873476613/18324726175\ 137153156390471638486568293375197165647136*c_1010_10^4 - 2657013893009553548405682228118914995912549208330667641/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^3 + 665066236785481657305927126374968051619185815837513967/366494523502\ 74306312780943276973136586750394331294272*c_1010_10^2 + 165261803202719690978248968698245045096663057392065439/366494523502\ 74306312780943276973136586750394331294272*c_1010_10 - 53714833399802925297253903351194265238045657427035509/3664945235027\ 4306312780943276973136586750394331294272, c_0011_3 + 16419132607001216310602510886491111732954697445403/572647692\ 973036036137202238702705259167974911426473*c_1010_10^23 - 52957527390790378538622542586781682746262457987848/5726476929730360\ 36137202238702705259167974911426473*c_1010_10^22 - 232389048556446967278586882841927619514931746919546/572647692973036\ 036137202238702705259167974911426473*c_1010_10^21 + 1801147046432086405909945232139107616771017314661848/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^20 + 935449911487090108155764035230291746177984007253745/572647692973036\ 036137202238702705259167974911426473*c_1010_10^19 - 20054904555486991455745248991661001803401526047096367/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^18 + 12873785836232402200222259601904547968349816741150899/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^17 + 110319486389409519777327677618736835658238086523654145/572647692973\ 036036137202238702705259167974911426473*c_1010_10^16 - 138349757221848280812530369675909392526876836016097481/572647692973\ 036036137202238702705259167974911426473*c_1010_10^15 - 345803420156880620822785341669042502707286928629067235/572647692973\ 036036137202238702705259167974911426473*c_1010_10^14 + 457164185093102367149375533018940530918208705548907134/572647692973\ 036036137202238702705259167974911426473*c_1010_10^13 + 551383179105489630341807338279182708875024767377735236/572647692973\ 036036137202238702705259167974911426473*c_1010_10^12 - 624016905825522000350965001085089540377676617055971200/572647692973\ 036036137202238702705259167974911426473*c_1010_10^11 - 335009115171379467124435214502708734516565439983874695/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 310909456348582630128820976391455347338652352500373882/572647692973\ 036036137202238702705259167974911426473*c_1010_10^9 - 156126887755480508945390352178090735699342922907246/336851584101785\ 90361011896394276779951057347730969*c_1010_10^8 - 4059536875163312250799570772458848259490943941247471/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^7 + 1998443279980967932002520845392422948513748780283092/33685158410178\ 590361011896394276779951057347730969*c_1010_10^6 - 25109922699919215089633774318073998042691066462480878/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^5 + 11647486077596699528490200412455091052756041511344422/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^4 - 6855314460815571334952350341091922262030984877266065/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^3 - 6075144580888328129207461177083960698467789218119822/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^2 + 5501575012030102093124058335415231119659120979213024/57264769297303\ 6036137202238702705259167974911426473*c_1010_10 - 552594891797746241614712402431556681433845861755960/572647692973036\ 036137202238702705259167974911426473, c_0011_4 - 1582033539104118274322796060847084117776055793569765/3664945\ 2350274306312780943276973136586750394331294272*c_1010_10^23 + 6009722336538882158712096417870296198953602555254803/36649452350274\ 306312780943276973136586750394331294272*c_1010_10^22 + 9278174042093958601483896154095303857390928798818423/18324726175137\ 153156390471638486568293375197165647136*c_1010_10^21 - 22866913076820969493938543101896063517836502242825223/4581181543784\ 288289097617909621642073343799291411784*c_1010_10^20 + 19865417607131058402872440533381034402311296995853175/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^19 + 1879712880699176718725304777758626884277046544296593951/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^18 - 2335423150498749621443086681654682896819423621109105419/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^17 - 8860625528551698486902089144937269138550103296459760251/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^16 + 18095445240739459306322604169738257025850426141637390959/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^15 + 20804133579018383848593366285236614364243785683116886119/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^14 - 13276821933881488536199454628004841883338741982557305785/9162363087\ 568576578195235819243284146687598582823568*c_1010_10^13 - 8440457305954088646964821350082106264570301506319358355/18324726175\ 137153156390471638486568293375197165647136*c_1010_10^12 + 15627988598768002408568360726827847894415584039506664383/9162363087\ 568576578195235819243284146687598582823568*c_1010_10^11 - 155023098441520994568265049835729896443700448535894803/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 - 9689709797693666335929929067208640409275551347210930771/18324726175\ 137153156390471638486568293375197165647136*c_1010_10^9 + 316979545626497189255412120844519937694487320096740073/107792506912\ 5714891552380684616856958433835127391008*c_1010_10^8 - 3413534592395927449876484014156904902687904267974636367/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^7 + 60590389989359094697928514900993741881837357167929325/2155850138251\ 429783104761369233713916867670254782016*c_1010_10^6 + 52087945640274107825722508497075472547332629284323239/2290590771892\ 144144548808954810821036671899645705892*c_1010_10^5 - 651879771509468066076402911326480839746979469661591081/183247261751\ 37153156390471638486568293375197165647136*c_1010_10^4 + 1129213105706393401701755749373218523180079990356629325/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^3 - 307234709930578118064862034309492901327116247757526555/366494523502\ 74306312780943276973136586750394331294272*c_1010_10^2 - 110598657511180053056832718003239209227864107505530411/366494523502\ 74306312780943276973136586750394331294272*c_1010_10 + 42115089679934754129954523105746150861896891230000153/3664945235027\ 4306312780943276973136586750394331294272, c_0011_7 + 184895540070367343003701000197915549034855909318729/11452953\ 85946072072274404477405410518335949822852946*c_1010_10^23 - 710126468270021636997372411753107688994187137861815/114529538594607\ 2072274404477405410518335949822852946*c_1010_10^22 - 1073418841868755593475089364270396336762850065820035/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^21 + 10737016680836052748312318432519100445042090108956928/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^20 - 3047171528664913212902571589659369395286984699286531/11452953859460\ 72072274404477405410518335949822852946*c_1010_10^19 - 220114253088521065469032172222014695395648667675063481/114529538594\ 6072072274404477405410518335949822852946*c_1010_10^18 + 279489266581162243254486072540929359206317242387094101/114529538594\ 6072072274404477405410518335949822852946*c_1010_10^17 + 1031784358505350529575669792902766012936479845124423019/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^16 - 2139734597914636054354761054254779792121485458470967859/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^15 - 2405133593692467406970784022664842640746691850276536231/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^14 + 3119873608643744083306413330529575088726936825283179861/57264769297\ 3036036137202238702705259167974911426473*c_1010_10^13 + 1005056810825454070340805024649830384003050606166138634/57264769297\ 3036036137202238702705259167974911426473*c_1010_10^12 - 3592695272924365875844387736052155842119888069222353771/57264769297\ 3036036137202238702705259167974911426473*c_1010_10^11 + 407459459040321414456426275810522326527891164767831770/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 940543766164369833584255007336593808335484431737344579/572647692973\ 036036137202238702705259167974911426473*c_1010_10^9 - 24151131814781008268961820271450645888134444027502913/3368515841017\ 8590361011896394276779951057347730969*c_1010_10^8 + 607019057030085910224540655180635521278770148850621935/114529538594\ 6072072274404477405410518335949822852946*c_1010_10^7 - 11029839430564874725725705810289456718905026303277679/6737031682035\ 7180722023792788553559902114695461938*c_1010_10^6 - 29023563115941057225628152158793356757522254156354825/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^5 + 63048136859317985928865108510272202629866907182009142/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^4 - 137147706919243028460970804381173595883652840825682879/114529538594\ 6072072274404477405410518335949822852946*c_1010_10^3 + 38693430316619145865418964703882710068125437873377979/1145295385946\ 072072274404477405410518335949822852946*c_1010_10^2 + 6075291272023309780569722253873888894602049247564255/11452953859460\ 72072274404477405410518335949822852946*c_1010_10 + 92625929652043022659541945043876771476234338574497/1145295385946072\ 072274404477405410518335949822852946, c_0101_0 + 266920021498873855747757318582053649717323632926119/45811815\ 43784288289097617909621642073343799291411784*c_1010_10^23 - 1030778840025434138809832760128134424266259932021537/45811815437842\ 88289097617909621642073343799291411784*c_1010_10^22 - 1554888649278435080181357182876414151085461350030141/22905907718921\ 44144548808954810821036671899645705892*c_1010_10^21 + 3897526037194171136260427813413140044103575086465493/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^20 - 4652437932017878393405342974332918282285048818253773/45811815437842\ 88289097617909621642073343799291411784*c_1010_10^19 - 321273990302709555171379184533346148605923673651300381/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^18 + 409774865617484730085704272241467786526146329852227305/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^17 + 1518567321821830112654534953202019459337326869383479545/45811815437\ 84288289097617909621642073343799291411784*c_1010_10^16 - 3158849558872613968641006079737179877665890448884019621/45811815437\ 84288289097617909621642073343799291411784*c_1010_10^15 - 3590628073192074593379537628824133866048865183415195133/45811815437\ 84288289097617909621642073343799291411784*c_1010_10^14 + 2349603358123964939587473416573058379953339075567269999/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^13 + 1591775133418258368335983998437612271820372251591552261/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^12 - 2837241540406511527865631857170587565878175560899617253/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^11 + 112294949984685992629340842525414850894302846424165248/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 1845273580787910167363517582293598128922132961918498029/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^9 - 37101564022477444461716746170761559672520124512879391/1347406336407\ 14361444047585577107119804229390923876*c_1010_10^8 + 670605930298893416126563453094790636242213769680665781/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^7 - 8859730616845692643543252123618103589148479858740055/26948126728142\ 8722888095171154214239608458781847752*c_1010_10^6 - 16728153796895988868899187619697618301513922039985251/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^5 + 110410197067666195926587646060579075704505112408931907/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^4 - 213822371672347591400988888025585110799430717820091463/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^3 + 37299207368040749080481836862758883380590575576688209/4581181543784\ 288289097617909621642073343799291411784*c_1010_10^2 + 24211788636388963577371214172305635869252152265041065/4581181543784\ 288289097617909621642073343799291411784*c_1010_10 - 5509085809305640829508307518006485402956829569676171/45811815437842\ 88289097617909621642073343799291411784, c_0101_1 - 1, c_0101_11 - 773906194678701649723356551683330830026633670533043/3664945\ 2350274306312780943276973136586750394331294272*c_1010_10^23 + 2306050847407215048672973899332127070781337394323205/36649452350274\ 306312780943276973136586750394331294272*c_1010_10^22 + 5530611727245014029991286469189934290589379758778305/18324726175137\ 153156390471638486568293375197165647136*c_1010_10^21 - 10072402054394424950641008907881258338746394089462937/4581181543784\ 288289097617909621642073343799291411784*c_1010_10^20 - 58103558310364660791283522183105147543457998212468143/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^19 + 880153531668970569898760529327630192238115390628629977/366494523502\ 74306312780943276973136586750394331294272*c_1010_10^18 - 399587563427475790386395212490304310153746112486540029/366494523502\ 74306312780943276973136586750394331294272*c_1010_10^17 - 4767283995638010612138019332362488079618492389312513789/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^16 + 4841505535652809103683809013631327621415082200513638361/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^15 + 14876361452167654233130329475074781172520081119581300305/3664945235\ 0274306312780943276973136586750394331294272*c_1010_10^14 - 3406751878368408509837376159752191825552600914993269223/91623630875\ 68576578195235819243284146687598582823568*c_1010_10^13 - 11243165450942594218620409318138507464260318348318035653/1832472617\ 5137153156390471638486568293375197165647136*c_1010_10^12 + 2957387384863359866388374455141266473318744656767834953/91623630875\ 68576578195235819243284146687598582823568*c_1010_10^11 + 172970355553634812761039305402572418079553178252668981/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 214795643149342726926454122130889332925854691387032875/183247261751\ 37153156390471638486568293375197165647136*c_1010_10^9 + 23858959558336682168792102072727982078336350726551327/1077925069125\ 714891552380684616856958433835127391008*c_1010_10^8 - 1478752833543018554529927065824334602298677066735731449/36649452350\ 274306312780943276973136586750394331294272*c_1010_10^7 - 26647899292149025610044551917091084057195068069094597/2155850138251\ 429783104761369233713916867670254782016*c_1010_10^6 + 8958384336892994542703040001547888815798121926884483/22905907718921\ 44144548808954810821036671899645705892*c_1010_10^5 - 85743437137764390503047231301571534685958348047936351/1832472617513\ 7153156390471638486568293375197165647136*c_1010_10^4 + 152976045947956891977657228004403224618656903555438027/366494523502\ 74306312780943276973136586750394331294272*c_1010_10^3 + 82560951589553611402215034359452961518487403161915203/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10^2 + 48499545063354827246755906161041699408325316123347043/3664945235027\ 4306312780943276973136586750394331294272*c_1010_10 - 35300607120949107283914423407268686312479599354658033/3664945235027\ 4306312780943276973136586750394331294272, c_0110_7 + 16419132607001216310602510886491111732954697445403/572647692\ 973036036137202238702705259167974911426473*c_1010_10^23 - 52957527390790378538622542586781682746262457987848/5726476929730360\ 36137202238702705259167974911426473*c_1010_10^22 - 232389048556446967278586882841927619514931746919546/572647692973036\ 036137202238702705259167974911426473*c_1010_10^21 + 1801147046432086405909945232139107616771017314661848/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^20 + 935449911487090108155764035230291746177984007253745/572647692973036\ 036137202238702705259167974911426473*c_1010_10^19 - 20054904555486991455745248991661001803401526047096367/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^18 + 12873785836232402200222259601904547968349816741150899/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^17 + 110319486389409519777327677618736835658238086523654145/572647692973\ 036036137202238702705259167974911426473*c_1010_10^16 - 138349757221848280812530369675909392526876836016097481/572647692973\ 036036137202238702705259167974911426473*c_1010_10^15 - 345803420156880620822785341669042502707286928629067235/572647692973\ 036036137202238702705259167974911426473*c_1010_10^14 + 457164185093102367149375533018940530918208705548907134/572647692973\ 036036137202238702705259167974911426473*c_1010_10^13 + 551383179105489630341807338279182708875024767377735236/572647692973\ 036036137202238702705259167974911426473*c_1010_10^12 - 624016905825522000350965001085089540377676617055971200/572647692973\ 036036137202238702705259167974911426473*c_1010_10^11 - 335009115171379467124435214502708734516565439983874695/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 + 310909456348582630128820976391455347338652352500373882/572647692973\ 036036137202238702705259167974911426473*c_1010_10^9 - 156126887755480508945390352178090735699342922907246/336851584101785\ 90361011896394276779951057347730969*c_1010_10^8 - 4059536875163312250799570772458848259490943941247471/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^7 + 1998443279980967932002520845392422948513748780283092/33685158410178\ 590361011896394276779951057347730969*c_1010_10^6 - 25109922699919215089633774318073998042691066462480878/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^5 + 11647486077596699528490200412455091052756041511344422/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^4 - 6855314460815571334952350341091922262030984877266065/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^3 - 6075144580888328129207461177083960698467789218119822/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^2 + 4928927319057066056986856096712525860491146067786551/57264769297303\ 6036137202238702705259167974911426473*c_1010_10 + 20052801175289794522489836271148577734129049670513/5726476929730360\ 36137202238702705259167974911426473, c_1001_1 - 266920021498873855747757318582053649717323632926119/45811815\ 43784288289097617909621642073343799291411784*c_1010_10^23 + 1030778840025434138809832760128134424266259932021537/45811815437842\ 88289097617909621642073343799291411784*c_1010_10^22 + 1554888649278435080181357182876414151085461350030141/22905907718921\ 44144548808954810821036671899645705892*c_1010_10^21 - 3897526037194171136260427813413140044103575086465493/57264769297303\ 6036137202238702705259167974911426473*c_1010_10^20 + 4652437932017878393405342974332918282285048818253773/45811815437842\ 88289097617909621642073343799291411784*c_1010_10^19 + 321273990302709555171379184533346148605923673651300381/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^18 - 409774865617484730085704272241467786526146329852227305/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^17 - 1518567321821830112654534953202019459337326869383479545/45811815437\ 84288289097617909621642073343799291411784*c_1010_10^16 + 3158849558872613968641006079737179877665890448884019621/45811815437\ 84288289097617909621642073343799291411784*c_1010_10^15 + 3590628073192074593379537628824133866048865183415195133/45811815437\ 84288289097617909621642073343799291411784*c_1010_10^14 - 2349603358123964939587473416573058379953339075567269999/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^13 - 1591775133418258368335983998437612271820372251591552261/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^12 + 2837241540406511527865631857170587565878175560899617253/11452953859\ 46072072274404477405410518335949822852946*c_1010_10^11 - 112294949984685992629340842525414850894302846424165248/572647692973\ 036036137202238702705259167974911426473*c_1010_10^10 - 1845273580787910167363517582293598128922132961918498029/22905907718\ 92144144548808954810821036671899645705892*c_1010_10^9 + 37101564022477444461716746170761559672520124512879391/1347406336407\ 14361444047585577107119804229390923876*c_1010_10^8 - 670605930298893416126563453094790636242213769680665781/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^7 + 8859730616845692643543252123618103589148479858740055/26948126728142\ 8722888095171154214239608458781847752*c_1010_10^6 + 16728153796895988868899187619697618301513922039985251/5726476929730\ 36036137202238702705259167974911426473*c_1010_10^5 - 110410197067666195926587646060579075704505112408931907/229059077189\ 2144144548808954810821036671899645705892*c_1010_10^4 + 213822371672347591400988888025585110799430717820091463/458118154378\ 4288289097617909621642073343799291411784*c_1010_10^3 - 37299207368040749080481836862758883380590575576688209/4581181543784\ 288289097617909621642073343799291411784*c_1010_10^2 - 24211788636388963577371214172305635869252152265041065/4581181543784\ 288289097617909621642073343799291411784*c_1010_10 + 5509085809305640829508307518006485402956829569676171/45811815437842\ 88289097617909621642073343799291411784, c_1010_10^24 - 4*c_1010_10^23 - 11*c_1010_10^22 + 118*c_1010_10^21 - 35*c_1010_10^20 - 1188*c_1010_10^19 + 1702*c_1010_10^18 + 5340*c_1010_10^17 - 12470*c_1010_10^16 - 11156*c_1010_10^15 + 35859*c_1010_10^14 + 5418*c_1010_10^13 - 40674*c_1010_10^12 + 10844*c_1010_10^11 + 9518*c_1010_10^10 - 6368*c_1010_10^9 + 4005*c_1010_10^8 - 1440*c_1010_10^7 - 107*c_1010_10^6 + 730*c_1010_10^5 - 875*c_1010_10^4 + 340*c_1010_10^3 - 4*c_1010_10^2 - 8*c_1010_10 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.200 Total time: 0.410 seconds, Total memory usage: 32.09MB