Magma V2.19-8 Tue Aug 20 2013 23:59:01 on localhost [Seed = 357792887] Type ? for help. Type -D to quit. Loading file "K13n1206__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1206 geometric_solution 11.96715974 oriented_manifold CS_known 0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.717536396233 0.532029090672 0 2 5 5 0132 0213 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.824451886513 0.639132354536 6 0 1 4 0132 0132 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.548234495804 0.657205893993 7 8 9 0 0132 0132 0132 0132 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 0 0 0 0 0 0 0 0 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.230308513529 0.492889200930 2 8 0 10 3120 1230 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 1 -1 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.442103552840 1.226940883445 7 1 1 11 2103 3201 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.149515835081 1.087931279177 2 12 10 12 0132 0132 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.545609500608 0.757527109685 3 11 5 9 0132 0321 2103 0321 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -12 -1 0 13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.281388373707 1.083689678586 10 3 4 11 0321 0132 3012 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.610426457461 0.576923641137 12 7 10 3 2031 0321 0132 0132 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 0 0 0 1 0 -1 0 1 -13 0 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483631857385 1.268917382095 8 6 4 9 0321 3201 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 -1 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.210996570700 1.142588752591 12 8 5 7 3012 0321 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.027936369347 1.191144300244 6 6 9 11 3012 0132 1302 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 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.582314481444 0.970792757872 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0011_0']), 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : negation(d['c_0011_9']), 'c_1001_5' : negation(d['c_0101_1']), 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0011_5'], 'c_1001_6' : d['c_0101_11'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_4']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0011_4']), 'c_1010_12' : d['c_0101_11'], 'c_1010_11' : d['c_1001_3'], 'c_1010_10' : negation(d['c_0101_11']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : negation(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_0101_10'], '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_10'], 'c_1100_8' : negation(d['c_1001_1']), 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_11']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : negation(d['c_0101_1']), 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : d['c_1100_0'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : negation(d['c_0011_9']), 'c_1010_5' : negation(d['c_1001_1']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0101_1']), 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_3'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_3'], 's_1_7' : d['1'], 's_1_6' : negation(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' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), '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_0'], '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' : d['c_0011_3'], 'c_0110_10' : d['c_0011_3'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : negation(d['c_0011_9']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_9']), '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' : d['c_0011_3'], 'c_0101_8' : negation(d['c_0101_10']), 's_1_12' : negation(d['1']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), 'c_0110_8' : negation(d['c_0011_10']), '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_10'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_4, c_0011_5, c_0011_9, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_1001_1, c_1001_3, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 8067889402998156460649739981354119114594876085365800288068879/29011\ 6534284863165278289536534518081431912312764770955356590000*c_1100_0\ ^23 + 1709537119495563647949648640839603873548124810098298682473294\ 49/870349602854589495834868609603554244295736938294312866069770000*\ c_1100_0^22 + 10146484098157556951519753065531525761998180022233355\ 506355111/131871151947665075126495243879326400650869233074895888798\ 45000*c_1100_0^21 + 16455235457063870677825731367877023318636801288\ 5249640347408997/10879370035682368697935857620044428053696711728678\ 9108258721250*c_1100_0^20 + 206551117602331497984543425148485075873\ 4192093095915083165518101/87034960285458949583486860960355424429573\ 6938294312866069770000*c_1100_0^19 + 110146139369860493415086286250211668268990254074288374924813011/580\ 23306856972633055657907306903616286382462552954191071318000*c_1100_\ 0^18 + 238190656103767623273777932104161515839381035292403600572445\ 0899/87034960285458949583486860960355424429573693829431286606977000\ 0*c_1100_0^17 + 100406397082770132026164209850411905472687984427507\ 91073062123059/8703496028545894958348686096035542442957369382943128\ 66069770000*c_1100_0^16 + 29243476751568977485190757067726213139632\ 112114555807077851027659/870349602854589495834868609603554244295736\ 938294312866069770000*c_1100_0^15 + 3632763484748106585124460522710222555526646579177611311824691/63636\ 002255947173783349317072717280419370983278080929010000*c_1100_0^14 + 63338274894920090203600284341015467105452276614066619498922897/3626\ 4566785607895659786192066814760178989039095596369419573750*c_1100_0\ ^13 - 5453769975119953987512855219897662626506410782157391129314804\ 1367/43517480142729474791743430480177712214786846914715643303488500\ 0*c_1100_0^12 - 336060569339679843079679311556215369840706704797732\ 29227646466917/2901165342848631652782895365345180814319123127647709\ 55356590000*c_1100_0^11 - 29794001808390399244495267067059405826815\ 943334382671277292901619/870349602854589495834868609603554244295736\ 938294312866069770000*c_1100_0^10 - 36626561986039317372800685080866425250365488944767600257445425611/4\ 35174801427294747917434304801777122147868469147156433034885000*c_11\ 00_0^9 + 1551926896734465639747163275437750151621992149258151743200\ 0120499/10879370035682368697935857620044428053696711728678910825872\ 1250*c_1100_0^8 + 2857800805235112608973833371014025368109051881382\ 498890715403189/617269221882687585698488375605357620067898537797385\ 0113970000*c_1100_0^7 - 7535885387692993196106375832525772389638523\ 37719209600967747/3540165152957451681248194466559098004050180753688\ 4802362000*c_1100_0^6 - 8250831993532243403660521288483199501719126\ 94811280440167750098/1648389399345813439081190548491580008135865413\ 436198609980625*c_1100_0^5 - 50082104906623390378017000392935120951\ 561641846258088659181093039/217587400713647373958717152400888561073\ 934234573578216517442500*c_1100_0^4 + 3397260077687114150652379242829269554034892464053527717041514913/11\ 604661371394526611131581461380723257276492510590838214263600*c_1100\ _0^3 + 601674261051157906607377409043297324632555136344595996637191\ 86993/2901165342848631652782895365345180814319123127647709553565900\ 00*c_1100_0^2 - 637650853385026451143374634251504587989713922427654\ 86834351528433/8703496028545894958348686096035542442957369382943128\ 66069770000*c_1100_0 - 88681260656349237393953558390424052292885709\ 81172139125466067331/1740699205709178991669737219207108488591473876\ 58862573213954000, c_0011_0 - 1, c_0011_10 + 2517301680624169839838428637275657170898920347563/929753603\ 92911607701367474181082813125884885949990*c_1100_0^23 + 36699538436242684454111210495842143960627170807623/1859507207858232\ 15402734948362165626251769771899980*c_1100_0^22 + 7511260228393072461877968340624082351016496952617/92975360392911607\ 70136747418108281312588488594999*c_1100_0^21 + 81722644849707007539183534594442154053093002086539/4648768019645580\ 3850683737090541406562942442974995*c_1100_0^20 + 145245356649246512920989962585617833131763744414509/464876801964558\ 03850683737090541406562942442974995*c_1100_0^19 + 640201039722506682066793087271688957692666849512683/185950720785823\ 215402734948362165626251769771899980*c_1100_0^18 + 231248171696374425946153012891373182597529313495428/464876801964558\ 03850683737090541406562942442974995*c_1100_0^17 + 2596897153900799772942917275747210592458990149425139/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^16 + 1776133141465883706102221182332684879684151411193421/46487680196455\ 803850683737090541406562942442974995*c_1100_0^15 + 282294005657057460261306504126030081500583019948669/395639831459198\ 3306441169114088630345782335572340*c_1100_0^14 + 699382757705576072396347393047192261506211242436127/185950720785823\ 21540273494836216562625176977189998*c_1100_0^13 - 7188717558947019173685020957844221296226683435463029/92975360392911\ 607701367474181082813125884885949990*c_1100_0^12 - 1059095273950667569787027608097820675832014820887569/92975360392911\ 60770136747418108281312588488594999*c_1100_0^11 - 3878397825589484313211694258933571484538644306267229/37190144157164\ 643080546989672433125250353954379996*c_1100_0^10 - 15032244382714449961838669033312110426822124793224039/9297536039291\ 1607701367474181082813125884885949990*c_1100_0^9 + 637866267255901718578257916177434405439680576848932/929753603929116\ 0770136747418108281312588488594999*c_1100_0^8 + 404421518810923994914517754147365120823564218176646/989099578647995\ 826610292278522157586445583893085*c_1100_0^7 + 24107438381481867358237299555448288680722842021809407/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^6 - 21133646528041565894519820962678837427897823423935211/9297536039291\ 1607701367474181082813125884885949990*c_1100_0^5 - 4256795640230812428457195843044604570327430724654081/18595072078582\ 321540273494836216562625176977189998*c_1100_0^4 + 4632440176450110174969640072201221929756109093993341/92975360392911\ 607701367474181082813125884885949990*c_1100_0^3 + 11940099557373618782688813219569595074177779961369437/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^2 - 256306912389758672627374877293440103448919097264181/929753603929116\ 07701367474181082813125884885949990*c_1100_0 + 3390055746898925826173336097716287910920667617442901/18595072078582\ 3215402734948362165626251769771899980, c_0011_3 - 506343015813197155959926117214953659904704653249/46487680196\ 455803850683737090541406562942442974995*c_1100_0^23 - 14777017986528516068065819881126855644160729409393/1859507207858232\ 15402734948362165626251769771899980*c_1100_0^22 - 3025496725478769044790329425644383669515326048533/92975360392911607\ 70136747418108281312588488594999*c_1100_0^21 - 65906196994767096598237326181943268040674423401373/9297536039291160\ 7701367474181082813125884885949990*c_1100_0^20 - 234440085027016971785141256587050403966647843574981/185950720785823\ 215402734948362165626251769771899980*c_1100_0^19 - 64925463940297037877469742872761245434846052535847/4648768019645580\ 3850683737090541406562942442974995*c_1100_0^18 - 93976595569799904166813219319026648638430962278198/4648768019645580\ 3850683737090541406562942442974995*c_1100_0^17 - 263161795481693751259807191025761313448775897622706/464876801964558\ 03850683737090541406562942442974995*c_1100_0^16 - 717664544961791694683062729985626441271964914843801/464876801964558\ 03850683737090541406562942442974995*c_1100_0^15 - 28504081564027140268597963628439665294344372737461/9890995786479958\ 26610292278522157586445583893085*c_1100_0^14 - 570656027077763795468978073159747738574654505175955/371901441571646\ 43080546989672433125250353954379996*c_1100_0^13 + 5725728086574305725726336616364319638593319119194923/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^12 + 420344101752265090880752315057058343508461180396407/929753603929116\ 0770136747418108281312588488594999*c_1100_0^11 + 767784060889115054049731006639944421797374564317969/185950720785823\ 21540273494836216562625176977189998*c_1100_0^10 + 6109973303542500346873369520016963755275146955757679/92975360392911\ 607701367474181082813125884885949990*c_1100_0^9 - 961444930756580844646352873846759838583534922825287/371901441571646\ 43080546989672433125250353954379996*c_1100_0^8 - 161720751144300816449812733163313546889056260381696/989099578647995\ 826610292278522157586445583893085*c_1100_0^7 - 9355010989466653005955122018154761455420302490197377/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^6 + 17233456938238698643908624104148993746320691598169557/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^5 + 3260522246865342283333995112727118303531381580270269/37190144157164\ 643080546989672433125250353954379996*c_1100_0^4 - 4411348612632250506337470661561521647850428804241027/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^3 - 1157362423546067400182558498053538649400737671749118/46487680196455\ 803850683737090541406562942442974995*c_1100_0^2 + 190206831209318913116406454215686059963991036158938/464876801964558\ 03850683737090541406562942442974995*c_1100_0 - 1311101146253983736560853651635174442097585582588671/18595072078582\ 3215402734948362165626251769771899980, c_0011_4 + 3872347727205568938059095758132176391317100653119/3719014415\ 71646430805469896724331252503539543799960*c_1100_0^23 + 13995987132799770349596396496209204351071623089841/1859507207858232\ 15402734948362165626251769771899980*c_1100_0^22 + 5679574802286016362800926626586106379195302881055/18595072078582321\ 540273494836216562625176977189998*c_1100_0^21 + 121288454586472866912980519684348686168130263633207/185950720785823\ 215402734948362165626251769771899980*c_1100_0^20 + 423615573641125214264687611199170523793926989192949/371901441571646\ 430805469896724331252503539543799960*c_1100_0^19 + 222813563924695814174809466028146807728304103108521/185950720785823\ 215402734948362165626251769771899980*c_1100_0^18 + 641962641996615294627696477343497270292035725625333/371901441571646\ 430805469896724331252503539543799960*c_1100_0^17 + 949281448118794406726351184863431287224936332890623/185950720785823\ 215402734948362165626251769771899980*c_1100_0^16 + 5258131955148287948021201466360325196720088134225741/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^15 + 25779382008089461772637403340539121266020724572822/9890995786479958\ 26610292278522157586445583893085*c_1100_0^14 + 215692710741182692233616990310228882111308495581703/185950720785823\ 21540273494836216562625176977189998*c_1100_0^13 - 6137832149250727881290703613590391697374465762737481/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^12 - 3305056189277019866304531783741120845943588357954509/74380288314329\ 286161093979344866250500707908759992*c_1100_0^11 - 1403172458512311504792323796298106528065964539728751/37190144157164\ 643080546989672433125250353954379996*c_1100_0^10 - 10788566630572102724014333101916947190512488805682471/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^9 + 1252299010535162437263580772968370862279132466905591/37190144157164\ 643080546989672433125250353954379996*c_1100_0^8 + 1280516135955303210547001957019766821881774265509981/79127966291839\ 66612882338228177260691564671144680*c_1100_0^7 + 1997713813000815283637410417646676748322575331527171/46487680196455\ 803850683737090541406562942442974995*c_1100_0^6 - 17872239089483701961014200330182887261594429460828019/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^5 - 817270686337962710092278666500007685273449983937248/929753603929116\ 0770136747418108281312588488594999*c_1100_0^4 + 9051240567298553336298544420210412756848635105601833/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^3 + 2530308531255322609508384542261558186059091003181847/92975360392911\ 607701367474181082813125884885949990*c_1100_0^2 - 724340304713888675744194279062649665795202338529153/371901441571646\ 430805469896724331252503539543799960*c_1100_0 + 1503703224448664396269925909219267358121042087937227/18595072078582\ 3215402734948362165626251769771899980, c_0011_5 + 7391927211389376624842184702372373436378199505143/3719014415\ 71646430805469896724331252503539543799960*c_1100_0^23 + 26950848152327583260411367387812166734167055988787/1859507207858232\ 15402734948362165626251769771899980*c_1100_0^22 + 11045655663774040207748984420405690248502655861353/1859507207858232\ 1540273494836216562625176977189998*c_1100_0^21 + 120556802112095915203520207794513873433310421484237/929753603929116\ 07701367474181082813125884885949990*c_1100_0^20 + 861951037425201179814613855700706666097653628854863/371901441571646\ 430805469896724331252503539543799960*c_1100_0^19 + 240530459787872932224444633794289628903514206914701/929753603929116\ 07701367474181082813125884885949990*c_1100_0^18 + 1401187459208139921451533910037739913031582493526221/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^17 + 1938164502088457251799508584606555600008806014491481/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^16 + 10528219675213830829287065735791375185014184253675367/3719014415716\ 46430805469896724331252503539543799960*c_1100_0^15 + 209430903177088751257571272600797684609417939125511/395639831459198\ 3306441169114088630345782335572340*c_1100_0^14 + 1075970390405037203590251792035402783734265614084053/37190144157164\ 643080546989672433125250353954379996*c_1100_0^13 - 10085341393033621207354391855555194762409393875052667/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^12 - 6024965319146255411012082707594707035512704573473405/74380288314329\ 286161093979344866250500707908759992*c_1100_0^11 - 2832257464046761027242176067824022586821584467249519/37190144157164\ 643080546989672433125250353954379996*c_1100_0^10 - 22458261966226810437916946731556133155724422679814717/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^9 + 856782903857956551758624141215992803548983057102229/185950720785823\ 21540273494836216562625176977189998*c_1100_0^8 + 2320570312795374485183759451190168117914246773964247/79127966291839\ 66612882338228177260691564671144680*c_1100_0^7 + 17069504918885767621364920380011465524649615916841953/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^6 - 7501226007142699397956390502126941250145653870322877/46487680196455\ 803850683737090541406562942442974995*c_1100_0^5 - 6011736541878825191667405321947147753135701984480541/37190144157164\ 643080546989672433125250353954379996*c_1100_0^4 + 14185390236040741945274963408012284852156856826019951/3719014415716\ 46430805469896724331252503539543799960*c_1100_0^3 + 8268569459343978695006940014264827900043483655499223/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^2 - 1991670648672527070860680439690326281803853386211721/37190144157164\ 6430805469896724331252503539543799960*c_1100_0 + 591902648932116854356406833715393526505965444871086/464876801964558\ 03850683737090541406562942442974995, c_0011_9 - 1670809388499068111662040479041479754357417766821/1859507207\ 85823215402734948362165626251769771899980*c_1100_0^23 - 6126568948435129040894006364164883000445627993539/92975360392911607\ 701367474181082813125884885949990*c_1100_0^22 - 10093813180680581820132936345820831241204875296807/3719014415716464\ 3080546989672433125250353954379996*c_1100_0^21 - 111314067570720703488692705822945887935383549499241/185950720785823\ 215402734948362165626251769771899980*c_1100_0^20 - 50097792540233361663259731615648582281988531893214/4648768019645580\ 3850683737090541406562942442974995*c_1100_0^19 - 228082429520963827880788727736132900578781627354013/185950720785823\ 215402734948362165626251769771899980*c_1100_0^18 - 330087659491911905787238172535585849374145352738427/185950720785823\ 215402734948362165626251769771899980*c_1100_0^17 - 894807484000407549491434263407392860778095844825409/185950720785823\ 215402734948362165626251769771899980*c_1100_0^16 - 1211103978458554886026208290423746914460270622294627/92975360392911\ 607701367474181082813125884885949990*c_1100_0^15 - 24287286394371722632969569398498332385235535849561/9890995786479958\ 26610292278522157586445583893085*c_1100_0^14 - 533246534994373149451477239258709699673259578004147/371901441571646\ 43080546989672433125250353954379996*c_1100_0^13 + 4359136424457804764742533362475445967616303501791443/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^12 + 346172958456217433196518670440087418527671424179830/929753603929116\ 0770136747418108281312588488594999*c_1100_0^11 + 1358708075322572350945984812728746731392886785697409/37190144157164\ 643080546989672433125250353954379996*c_1100_0^10 + 2659761272367084612692593403594930295117063931210657/46487680196455\ 803850683737090541406562942442974995*c_1100_0^9 - 656178367163778559968188259041559229594093737013953/371901441571646\ 43080546989672433125250353954379996*c_1100_0^8 - 521644548785610551129422357119097387445399210219279/395639831459198\ 3306441169114088630345782335572340*c_1100_0^7 - 2162597845739744830008119039938687861299604740181168/46487680196455\ 803850683737090541406562942442974995*c_1100_0^6 + 3144132301281237379396667290129816427657637325836458/46487680196455\ 803850683737090541406562942442974995*c_1100_0^5 + 1374949016204251460840237397515527002197990842510179/18595072078582\ 321540273494836216562625176977189998*c_1100_0^4 - 566289357841532263108899321270131452565989232824303/464876801964558\ 03850683737090541406562942442974995*c_1100_0^3 - 1870341888043486947433088051926622355609214157224001/92975360392911\ 607701367474181082813125884885949990*c_1100_0^2 + 289811403376859934591994393745559675922816303761257/185950720785823\ 215402734948362165626251769771899980*c_1100_0 - 565922563877547117011934716728377444044437263031153/929753603929116\ 07701367474181082813125884885949990, c_0101_0 - 3337488711524744915279550083633563063729466294603/7438028831\ 43292861610939793448662505007079087599920*c_1100_0^23 - 23448343878284992765127482587956616657175920101299/7438028831432928\ 61610939793448662505007079087599920*c_1100_0^22 - 9238003180593201556526123697939156059581048735789/74380288314329286\ 161093979344866250500707908759992*c_1100_0^21 - 45983852460372104658402250508884464018808801912007/1859507207858232\ 15402734948362165626251769771899980*c_1100_0^20 - 298443286744442559997774721094133904849746499002083/743802883143292\ 861610939793448662505007079087599920*c_1100_0^19 - 244969504601060302786458044947420031455551231859679/743802883143292\ 861610939793448662505007079087599920*c_1100_0^18 - 342463393024509344860384305580705155469293511589661/743802883143292\ 861610939793448662505007079087599920*c_1100_0^17 - 1324734541881655420861061337189115120610396488221717/74380288314329\ 2861610939793448662505007079087599920*c_1100_0^16 - 3917031920367240703614970840358620728793822758386117/74380288314329\ 2861610939793448662505007079087599920*c_1100_0^15 - 146102991194968665802521532348512652128426951188267/158255932583679\ 33225764676456354521383129342289360*c_1100_0^14 - 30304997286583180848147906821722039919278342490633/3719014415716464\ 3080546989672433125250353954379996*c_1100_0^13 + 7164455491794797851265070048522736681747746061026827/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^12 + 3135572375655871960082476467359165827050015087663281/14876057662865\ 8572322187958689732501001415817519984*c_1100_0^11 + 2030746233603596212638555728543602923658341502638525/14876057662865\ 8572322187958689732501001415817519984*c_1100_0^10 + 6735475560700276000338050805732342587628103414839517/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^9 - 973129342463190564327316662895624372640830814330341/371901441571646\ 43080546989672433125250353954379996*c_1100_0^8 - 1220752568613490771321434415169743462103523804355737/15825593258367\ 933225764676456354521383129342289360*c_1100_0^7 - 8600102311487747630469056476384524576650860228133311/74380288314329\ 2861610939793448662505007079087599920*c_1100_0^6 + 9985840063354220597790973684193114974891937956108739/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^5 + 1642965538623235894674697405278992277354742220021297/37190144157164\ 643080546989672433125250353954379996*c_1100_0^4 - 11643424302562081206285698182484032970384294949565981/7438028831432\ 92861610939793448662505007079087599920*c_1100_0^3 - 13533005106626947734588014775400481119603669645728461/7438028831432\ 92861610939793448662505007079087599920*c_1100_0^2 - 994243205548953023907175359586174253575382007130589/743802883143292\ 861610939793448662505007079087599920*c_1100_0 - 2849134670175451372007442158523587325439048132037703/74380288314329\ 2861610939793448662505007079087599920, c_0101_1 + 1728006717424773814898133915999064331683030938827/1859507207\ 85823215402734948362165626251769771899980*c_1100_0^23 + 24861260824247181222713462063219647136968407715097/3719014415716464\ 30805469896724331252503539543799960*c_1100_0^22 + 10052868973686500594714735907461372671073181537175/3719014415716464\ 3080546989672433125250353954379996*c_1100_0^21 + 106505010689487236471187788063291694917594496238567/185950720785823\ 215402734948362165626251769771899980*c_1100_0^20 + 185200442463862498980616028269898939046099750523077/185950720785823\ 215402734948362165626251769771899980*c_1100_0^19 + 382622962051322322970639432892148405264534280592767/371901441571646\ 430805469896724331252503539543799960*c_1100_0^18 + 277051474893827747196110521831625907196997854681559/185950720785823\ 215402734948362165626251769771899980*c_1100_0^17 + 1661911289356959507385057149351371191942223115166211/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^16 + 2308910347690503977299186363013232761840731125511053/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^15 + 180106130175271477287229167233175772957880581342921/791279662918396\ 6612882338228177260691564671144680*c_1100_0^14 + 350541889457501841054010307543465153845085402095879/371901441571646\ 43080546989672433125250353954379996*c_1100_0^13 - 5606226634509814246725808818140980480637214417398651/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^12 - 367114529836427731536357127330416330423796834584382/929753603929116\ 0770136747418108281312588488594999*c_1100_0^11 - 2473004913874623964578821734307176768686379795599779/74380288314329\ 286161093979344866250500707908759992*c_1100_0^10 - 2363269794153271246106757159580339371174215550237129/46487680196455\ 803850683737090541406562942442974995*c_1100_0^9 + 1189500175398829194816502461300268220579308636687097/37190144157164\ 643080546989672433125250353954379996*c_1100_0^8 + 569981089251015785756332157160024191453534189677633/395639831459198\ 3306441169114088630345782335572340*c_1100_0^7 + 13288160789606771483873812119554065648773154255579603/3719014415716\ 46430805469896724331252503539543799960*c_1100_0^6 - 15973559397308777527385579258892138497569833140151679/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^5 - 719298550750518299286402114181325884407628413297944/929753603929116\ 0770136747418108281312588488594999*c_1100_0^4 + 4378711001189096033794352672330722012987598237576329/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^3 + 8872548285349150052496778689669861344289524337308193/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^2 - 211319016724977257277472718276592215847967534586899/185950720785823\ 215402734948362165626251769771899980*c_1100_0 + 2539421447056556922167606534142436639372196124344659/37190144157164\ 6430805469896724331252503539543799960, c_0101_10 + 182725721167921767257294484858819469764327/1047220305609312\ 68037087589044167028739606553*c_1100_0^23 + 1281715406164156715448683658035930283182664/10472203056093126803708\ 7589044167028739606553*c_1100_0^22 + 5093991474023550078342289453054196121718025/10472203056093126803708\ 7589044167028739606553*c_1100_0^21 + 10400436076510024506526298503150203487492904/1047220305609312680370\ 87589044167028739606553*c_1100_0^20 + 17882873381693117251268599513983319524753570/1047220305609312680370\ 87589044167028739606553*c_1100_0^19 + 17152212106043429993335848097919226368963970/1047220305609312680370\ 87589044167028739606553*c_1100_0^18 + 26040084131487456888876672317168299265090766/1047220305609312680370\ 87589044167028739606553*c_1100_0^17 + 81781146188492195736980637248485101382331466/1047220305609312680370\ 87589044167028739606553*c_1100_0^16 + 227267623846774280579712902442103750067648210/104722030560931268037\ 087589044167028739606553*c_1100_0^15 + 405794681939723792505945597686580246164810312/104722030560931268037\ 087589044167028739606553*c_1100_0^14 + 114804276998570188431453083618594243207112422/104722030560931268037\ 087589044167028739606553*c_1100_0^13 - 614813817146960861501760742250214409694480940/104722030560931268037\ 087589044167028739606553*c_1100_0^12 - 706783629030142772816857245128884805331605394/104722030560931268037\ 087589044167028739606553*c_1100_0^11 - 617540480765887106104201931415600617297409510/104722030560931268037\ 087589044167028739606553*c_1100_0^10 - 951670424268971033863337974853822666324069745/104722030560931268037\ 087589044167028739606553*c_1100_0^9 + 824359835163646838117150425473571482278404506/104722030560931268037\ 087589044167028739606553*c_1100_0^8 + 2787561423632590211222967769284917865963329852/10472203056093126803\ 7087589044167028739606553*c_1100_0^7 + 433485617033304576776987404094210150195730532/104722030560931268037\ 087589044167028739606553*c_1100_0^6 - 1481470657489934500096191148005181377449557182/10472203056093126803\ 7087589044167028739606553*c_1100_0^5 - 1256495048794428229588910649504570749556448020/10472203056093126803\ 7087589044167028739606553*c_1100_0^4 + 404368673195240167506497934581092362584891690/104722030560931268037\ 087589044167028739606553*c_1100_0^3 + 124112637348490784675047356432316570019721804/104722030560931268037\ 087589044167028739606553*c_1100_0^2 - 9908780655021556991426529575537870154474900/10472203056093126803708\ 7589044167028739606553*c_1100_0 + 216451963674987312228492928423395\ 989065538560/104722030560931268037087589044167028739606553, c_0101_11 + 2728917065505274966997231327651148680989259406083/929753603\ 92911607701367474181082813125884885949990*c_1100_0^23 + 9937114540641133914669198294957254013879910760952/46487680196455803\ 850683737090541406562942442974995*c_1100_0^22 + 8127270808500843502878752986902817631633337583469/92975360392911607\ 70136747418108281312588488594999*c_1100_0^21 + 176496786019882547601575179884067635547884414130583/929753603929116\ 07701367474181082813125884885949990*c_1100_0^20 + 626320684165889638887395813908001193232723109232501/185950720785823\ 215402734948362165626251769771899980*c_1100_0^19 + 687617502875677264087789396600033666367739411653463/185950720785823\ 215402734948362165626251769771899980*c_1100_0^18 + 248544119224310196571423642540275495937804777550148/464876801964558\ 03850683737090541406562942442974995*c_1100_0^17 + 2804782082337528588951081385160092814275451393858059/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^16 + 1918950281098076950281364753805076177845588158109101/46487680196455\ 803850683737090541406562942442974995*c_1100_0^15 + 304487114552702420562670933307389002605012570223409/395639831459198\ 3306441169114088630345782335572340*c_1100_0^14 + 1486227614064052244804030770539940195812202914698321/37190144157164\ 643080546989672433125250353954379996*c_1100_0^13 - 15729886247509203191269990286509916209531616925931613/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^12 - 1144171332356567927174465432211260751945173059636166/92975360392911\ 60770136747418108281312588488594999*c_1100_0^11 - 4153045757154937503539299633373782235938222448217159/37190144157164\ 643080546989672433125250353954379996*c_1100_0^10 - 8096008465871560585571207015316041387954724137340617/46487680196455\ 803850683737090541406562942442974995*c_1100_0^9 + 2819443212958098982564463669743339918682021321932951/37190144157164\ 643080546989672433125250353954379996*c_1100_0^8 + 438610488643329180331588897090001034576579869733346/989099578647995\ 826610292278522157586445583893085*c_1100_0^7 + 6331111853335615352432450538772589583899536997680738/46487680196455\ 803850683737090541406562942442974995*c_1100_0^6 - 46459438100235487068596654893572933613870147284294907/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^5 - 9124903713133350748191681798172107459388360549870639/37190144157164\ 643080546989672433125250353954379996*c_1100_0^4 + 10770680152218434492812587063497161923844460849178197/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^3 + 13200225287397573655237243199074739196241544798952157/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^2 - 417965060092976609709113907639723206845088721993561/929753603929116\ 07701367474181082813125884885949990*c_1100_0 + 894595810695566247111889911594305848826742376732589/464876801964558\ 03850683737090541406562942442974995, c_1001_1 + 4904317788906019382755232076407208871808317365039/3719014415\ 71646430805469896724331252503539543799960*c_1100_0^23 + 35658259547432059906537822266952595250340543939867/3719014415716464\ 30805469896724331252503539543799960*c_1100_0^22 + 14540368933475792512771808320005561218704911429327/3719014415716464\ 3080546989672433125250353954379996*c_1100_0^21 + 78436886445236242421046076671730792133303941642451/9297536039291160\ 7701367474181082813125884885949990*c_1100_0^20 + 551834991133266172167115679560459056969602870114239/371901441571646\ 430805469896724331252503539543799960*c_1100_0^19 + 594424773220007333287521790876655715047925134008377/371901441571646\ 430805469896724331252503539543799960*c_1100_0^18 + 853600245218456468102752282958280322961163599568403/371901441571646\ 430805469896724331252503539543799960*c_1100_0^17 + 2467798258956905976635303090699937372365743410340981/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^16 + 6803314240939440507897444788809280006620508995546641/37190144157164\ 6430805469896724331252503539543799960*c_1100_0^15 + 268740736848708136144713591622616353706800559865291/791279662918396\ 6612882338228177260691564671144680*c_1100_0^14 + 614926948588770093116414202989149088187949371665827/371901441571646\ 43080546989672433125250353954379996*c_1100_0^13 - 7470116159127303676354017411215186947080830751631561/18595072078582\ 3215402734948362165626251769771899980*c_1100_0^12 - 4200307111400147549568971824344389928544793991363879/74380288314329\ 286161093979344866250500707908759992*c_1100_0^11 - 3640244105467489385787765508020751730623696677969979/74380288314329\ 286161093979344866250500707908759992*c_1100_0^10 - 7036343333544406457811848552661574988004842053937243/92975360392911\ 607701367474181082813125884885949990*c_1100_0^9 + 353383102793105089668932802022557593755261966352352/929753603929116\ 0770136747418108281312588488594999*c_1100_0^8 + 1612926599349530349869007204529344037565130657937691/79127966291839\ 66612882338228177260691564671144680*c_1100_0^7 + 22133753354475592483864015912129660410263891292960823/3719014415716\ 46430805469896724331252503539543799960*c_1100_0^6 - 5564355194128474546557810800979899651857953262797896/46487680196455\ 803850683737090541406562942442974995*c_1100_0^5 - 1050526210033374089267686616922944405310392548543252/92975360392911\ 60770136747418108281312588488594999*c_1100_0^4 + 10720267576385261707863838238797808305685594182503133/3719014415716\ 46430805469896724331252503539543799960*c_1100_0^3 + 13162174768435124116793028074934689513749506097476813/3719014415716\ 46430805469896724331252503539543799960*c_1100_0^2 - 1161511125020249837008598263669842550110235413228493/37190144157164\ 6430805469896724331252503539543799960*c_1100_0 + 3448199692079036312627745140619016731440457783538799/37190144157164\ 6430805469896724331252503539543799960, c_1001_3 + 1323802759380410487868844967057820711823674344749/4648768019\ 6455803850683737090541406562942442974995*c_1100_0^23 + 9613492486401353882226817120827917747812939399817/46487680196455803\ 850683737090541406562942442974995*c_1100_0^22 + 15695745110198754888060126911570008142483808927365/1859507207858232\ 1540273494836216562625176977189998*c_1100_0^21 + 169800581223926216789161216268999013745665030666353/929753603929116\ 07701367474181082813125884885949990*c_1100_0^20 + 301083884287897023081292561791039417711640911410183/929753603929116\ 07701367474181082813125884885949990*c_1100_0^19 + 657939504236863571950392588648067937407289925321923/185950720785823\ 215402734948362165626251769771899980*c_1100_0^18 + 956899363312243020267241437899867748481913646634937/185950720785823\ 215402734948362165626251769771899980*c_1100_0^17 + 676975780794465911020750527476827050519741588853966/464876801964558\ 03850683737090541406562942442974995*c_1100_0^16 + 3700385350289536860076994725617576542779912424121107/92975360392911\ 607701367474181082813125884885949990*c_1100_0^15 + 73180506488977342817558022105091458874302913824976/9890995786479958\ 26610292278522157586445583893085*c_1100_0^14 + 349804227311288368208432380636910727770635179985723/929753603929116\ 0770136747418108281312588488594999*c_1100_0^13 - 3818288484460527248273513560252369840153769002376622/46487680196455\ 803850683737090541406562942442974995*c_1100_0^12 - 4364064838900484883113969302286787784682002368489487/37190144157164\ 643080546989672433125250353954379996*c_1100_0^11 - 991723943005014987408487497780616709949449212552931/929753603929116\ 0770136747418108281312588488594999*c_1100_0^10 - 31200142491623561495963718822450927217918683957354273/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^9 + 2814670912914711583156160804546179866185157143537985/37190144157164\ 643080546989672433125250353954379996*c_1100_0^8 + 1687293164322039298967016113813007470473403449618209/39563983145919\ 83306441169114088630345782335572340*c_1100_0^7 + 5772226743919747670190506128795830416688358721658758/46487680196455\ 803850683737090541406562942442974995*c_1100_0^6 - 11203447087662892182948409773361482346007983718133378/4648768019645\ 5803850683737090541406562942442974995*c_1100_0^5 - 4322526540396514888199179895053253852804104634329703/18595072078582\ 321540273494836216562625176977189998*c_1100_0^4 + 2807806743944770050882765937933416753005827892968483/46487680196455\ 803850683737090541406562942442974995*c_1100_0^3 + 12363405917949152873806106070115385840735057030737437/1859507207858\ 23215402734948362165626251769771899980*c_1100_0^2 - 691916375154773549856461066687774948812324550052611/929753603929116\ 07701367474181082813125884885949990*c_1100_0 + 3480096176056636624948779686054449073105505208757191/18595072078582\ 3215402734948362165626251769771899980, c_1100_0^24 + 8*c_1100_0^23 + 35*c_1100_0^22 + 86*c_1100_0^21 + 161*c_1100_0^20 + 208*c_1100_0^19 + 272*c_1100_0^18 + 644*c_1100_0^17 + 1774*c_1100_0^16 + 3628*c_1100_0^15 + 3235*c_1100_0^14 - 1918*c_1100_0^13 - 6265*c_1100_0^12 - 6800*c_1100_0^11 - 8653*c_1100_0^10 - 1670*c_1100_0^9 + 16973*c_1100_0^8 + 15452*c_1100_0^7 - 5247*c_1100_0^6 - 14460*c_1100_0^5 - 3953*c_1100_0^4 + 3892*c_1100_0^3 + 1518*c_1100_0^2 + 506*c_1100_0 + 485 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 5.190 Total time: 5.400 seconds, Total memory usage: 64.12MB