Magma V2.19-8 Tue Aug 20 2013 23:55:20 on localhost [Seed = 1410481167] Type ? for help. Type -D to quit. Loading file "K12n617__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n617 geometric_solution 11.94473890 oriented_manifold CS_known 0.0000000000000001 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 -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 -1 0 1 1 0 -7 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324146079964 0.717013700081 0 5 6 3 0132 0132 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 -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.305034803512 1.595362012856 7 0 9 8 0132 0132 0132 0132 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 1 0 -1 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.025006355610 0.554347077287 10 1 9 0 0132 2310 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 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.444988734653 0.848226021923 10 5 0 11 3120 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 -6 6 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.083755155975 0.784229342783 7 1 8 4 1023 0132 1230 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.337413041508 1.127331540437 8 11 12 1 0321 2103 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 6 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.213179300074 1.515212782467 2 5 12 9 0132 1023 3201 0321 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 -7 0 0 7 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.697562806944 0.974217824360 6 10 2 5 0321 3201 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.311769778509 1.119918096095 11 7 3 2 0321 0321 0321 0132 0 0 0 0 0 0 0 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 0 0 0 -7 0 0 7 1 -1 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.827384136889 1.306052437360 3 12 8 4 0132 3201 2310 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 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.260649107661 0.427769708076 9 6 4 12 0321 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 0 0 0 -6 6 -1 0 0 1 7 -6 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.887562944756 0.744385360849 7 11 10 6 2310 2310 2310 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 -1 1 0 0 0 0 0 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395586695068 0.739397346776 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : negation(d['c_0101_12']), 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : negation(d['c_1001_3']), 'c_1001_4' : d['c_0110_5'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : d['c_0011_11'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0110_5'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_12' : d['c_0011_11'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : negation(d['c_0011_4']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_0'], 's_2_0' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_3'], 'c_1100_8' : d['c_1001_3'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_12']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_0011_10'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_0011_12']), 'c_1100_3' : negation(d['c_0011_12']), 'c_1100_2' : d['c_1001_3'], 's_0_10' : negation(d['1']), 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_5'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : negation(d['c_1001_3']), 'c_1010_0' : d['c_0110_5'], 'c_1010_9' : d['c_0110_5'], 'c_1010_8' : d['c_0101_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : negation(d['1']), 'c_0011_9' : d['c_0011_11'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0101_11'], 'c_0110_12' : d['c_0101_6'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_12']), 'c_0101_4' : negation(d['c_0011_8']), 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : negation(d['c_0011_11']), 'c_0101_1' : negation(d['c_0011_8']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_11']), 'c_0101_8' : negation(d['c_0101_6']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : negation(d['c_0011_6']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_8']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : negation(d['c_0011_11']), 'c_0110_6' : negation(d['c_0011_8']), 's_2_9' : d['1']})} 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_4, c_0011_6, c_0011_8, c_0101_0, c_0101_11, c_0101_12, c_0101_6, c_0110_5, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 725365250670575861182048353775909121262846840859/157163192855425391\ 2465111793499531068899835556384*c_1001_3^18 - 305392669339744182650936597850278572808296541/112339666086794418332\ 0308644388513987776866016*c_1001_3^17 - 7742894699343292117282486844975110946072552432659/15716319285542539\ 12465111793499531068899835556384*c_1001_3^16 + 969704213887487956282392606704838061276647534059/402982545783142028\ 83720815217936694074354757856*c_1001_3^15 - 200126670481543637534994059105069691497974176028813/157163192855425\ 3912465111793499531068899835556384*c_1001_3^14 + 30425904511049191960519269608648669995602343847959/4911349776732043\ 4764534743546860345903119861137*c_1001_3^13 - 3827953374140453987094127847121913133647038714731749/15716319285542\ 53912465111793499531068899835556384*c_1001_3^12 + 9430086957794184177019783044816488485110983370072061/15716319285542\ 53912465111793499531068899835556384*c_1001_3^11 - 4652517182605359180904393026124866669796007660297681/52387730951808\ 4637488370597833177022966611852128*c_1001_3^10 + 15637401542483858586070314525072383983235185100374369/1571631928554\ 253912465111793499531068899835556384*c_1001_3^9 - 84747323614413022814384230396963850249213391365735/6716375763052367\ 147286802536322782345725792976*c_1001_3^8 + 2123685649460106461915570316711503510358357108477955/12089476373494\ 2608651162445653810082223064273568*c_1001_3^7 - 613863785386377440338739805789318623557449161556521/327423318448802\ 89843023162364573563935413240758*c_1001_3^6 + 5768177626053023005184331526011338606775840165768935/39290798213856\ 3478116277948374882767224958889096*c_1001_3^5 - 17782178576668472491764227826713540873014869060200171/1571631928554\ 253912465111793499531068899835556384*c_1001_3^4 + 8303209493771404273502909230446383404715807646435413/78581596427712\ 6956232555896749765534449917778192*c_1001_3^3 - 312388885957615677565441321109665286285837834428001/374198078227203\ 31249169328416655501640472275152*c_1001_3^2 + 812222231961792905601097761789395304665006309774/202113159536298085\ 450760261509713357626007659*c_1001_3 - 1370944030681025280682015966763580342640559961425843/15716319285542\ 53912465111793499531068899835556384, c_0011_0 - 1, c_0011_10 - 24333691825068179541558259688781289/11850883318810285518331\ 921767503545332*c_1001_3^18 - 8145684787633512770721699100613251/11\ 850883318810285518331921767503545332*c_1001_3^17 + 82649258920044198779984015947530571/3950294439603428506110640589167\ 848444*c_1001_3^16 - 1026462273219724200414478860113189527/11850883\ 318810285518331921767503545332*c_1001_3^15 + 1937491998242016441013126069858473661/39502944396034285061106405891\ 67848444*c_1001_3^14 - 6906395316294963807519952191823673932/296272\ 0829702571379582980441875886333*c_1001_3^13 + 3872352792411333040581419971796180701/43892160440038094512340450990\ 7538716*c_1001_3^12 - 228142754442861214918807892126946031963/11850\ 883318810285518331921767503545332*c_1001_3^11 + 292615791657937685901444708325083120809/118508833188102855183319217\ 67503545332*c_1001_3^10 - 357828084009724454163085718752198060811/1\ 1850883318810285518331921767503545332*c_1001_3^9 + 262223932434596917499366760365101131005/592544165940514275916596088\ 3751772666*c_1001_3^8 - 674159215216290131341882833605957801221/118\ 50883318810285518331921767503545332*c_1001_3^7 + 158951767131131641507714029290329105595/296272082970257137958298044\ 1875886333*c_1001_3^6 - 1675558858812395161500164421837341003/36576\ 800366698412093617042492294893*c_1001_3^5 + 166532826999836170165861949407195476619/395029443960342850611064058\ 9167848444*c_1001_3^4 - 208144367475708826467360047578744341877/592\ 5441659405142759165960883751772666*c_1001_3^3 + 20630596240989467882236733331249385193/8464916656293061084522801262\ 50253238*c_1001_3^2 - 4342752416407557478476625652429116160/3291912\ 03300285708842553382430654037*c_1001_3 + 52588739367113656154386066007230185073/1185088331881028551833192176\ 7503545332, c_0011_11 + 28561240150372488147101118887397197/23701766637620571036663\ 843535007090664*c_1001_3^18 + 31500784963446465602900865430899227/2\ 3701766637620571036663843535007090664*c_1001_3^17 - 91226167840191570354387425166090311/7900588879206857012221281178335\ 696888*c_1001_3^16 + 976454557532800454436451050482947907/237017666\ 37620571036663843535007090664*c_1001_3^15 - 2005382723779740386290192149730327889/79005888792068570122212811783\ 35696888*c_1001_3^14 + 3459389359876835137180102170686227690/296272\ 0829702571379582980441875886333*c_1001_3^13 - 3718234294873308017952485027480086217/87784320880076189024680901981\ 5077432*c_1001_3^12 + 186305500285563666064096488873796916963/23701\ 766637620571036663843535007090664*c_1001_3^11 - 186794004045310192870318288193833787365/237017666376205710366638435\ 35007090664*c_1001_3^10 + 270190104282904137603443499383740729135/2\ 3701766637620571036663843535007090664*c_1001_3^9 - 218157120367572921301060951334416306825/118508833188102855183319217\ 67503545332*c_1001_3^8 + 461816637414077003557866281148090881201/23\ 701766637620571036663843535007090664*c_1001_3^7 - 46288865536998235821687687889756842308/2962720829702571379582980441\ 875886333*c_1001_3^6 + 1098711058195955937822472550954996269/731536\ 00733396824187234084984589786*c_1001_3^5 - 107281857086856484893052925141797197239/790058887920685701222128117\ 8335696888*c_1001_3^4 + 120139931835795592169503883644296854087/118\ 50883318810285518331921767503545332*c_1001_3^3 - 9392849627608779662044474519607710501/16929833312586122169045602525\ 00506476*c_1001_3^2 + 818511820208181850808271864618823604/32919120\ 3300285708842553382430654037*c_1001_3 + 1696465989010123835968923681535969459/23701766637620571036663843535\ 007090664, c_0011_12 - 12622391950278052216923522775592335/11850883318810285518331\ 921767503545332*c_1001_3^18 + 6756838894128411570639099128351435/11\ 850883318810285518331921767503545332*c_1001_3^17 + 48339951802337706116454444493406773/3950294439603428506110640589167\ 848444*c_1001_3^16 - 633029078647487631892106422288576345/118508833\ 18810285518331921767503545332*c_1001_3^15 + 1117709521099759303511939594984840515/39502944396034285061106405891\ 67848444*c_1001_3^14 - 4125241757882223964066296751175449090/296272\ 0829702571379582980441875886333*c_1001_3^13 + 2366973995666872961735909851519110643/43892160440038094512340450990\ 7538716*c_1001_3^12 - 152566296184494565329177316574603774809/11850\ 883318810285518331921767503545332*c_1001_3^11 + 207231527409486086648766850804456116971/118508833188102855183319217\ 67503545332*c_1001_3^10 - 223894833011451274978994182572253815113/1\ 1850883318810285518331921767503545332*c_1001_3^9 + 163749367425521825568116880282633913013/592544165940514275916596088\ 3751772666*c_1001_3^8 - 430567099432677141836621823403005821119/118\ 50883318810285518331921767503545332*c_1001_3^7 + 100008777030844345626882566959474151288/296272082970257137958298044\ 1875886333*c_1001_3^6 - 1052145221332875878930992233493956875/36576\ 800366698412093617042492294893*c_1001_3^5 + 100156652523886459929064775300396195065/395029443960342850611064058\ 9167848444*c_1001_3^4 - 123971606188213800675685908402242333509/592\ 5441659405142759165960883751772666*c_1001_3^3 + 12461365642791527665189634714773014029/8464916656293061084522801262\ 50253238*c_1001_3^2 - 2706908653628974580613372615570567197/3291912\ 03300285708842553382430654037*c_1001_3 + 34555138296775385049969154756989307207/1185088331881028551833192176\ 7503545332, c_0011_4 + 897839089237234283727862228592803/11286555541724081446030401\ 68333670984*c_1001_3^18 + 926891950540492868164620538708285/1128655\ 554172408144603040168333670984*c_1001_3^17 - 2876998376196272277509338439918161/37621851805746938153434672277789\ 0328*c_1001_3^16 + 31628536283464106665912934333078269/112865555417\ 2408144603040168333670984*c_1001_3^15 - 63893655647032082499215547143104327/3762185180574693815343467227778\ 90328*c_1001_3^14 + 110232308673354654494816410503463481/1410819442\ 71551018075380021041708873*c_1001_3^13 - 119009208820746395779774422401244655/418020575619410423927051914197\ 65592*c_1001_3^12 + 6050157341222324258648539383651370285/112865555\ 4172408144603040168333670984*c_1001_3^11 - 6099454244327567180682791970545262299/11286555541724081446030401683\ 33670984*c_1001_3^10 + 7906801257323905704149759455156067513/112865\ 5554172408144603040168333670984*c_1001_3^9 - 5856006532260265767159404407929172247/56432777708620407230152008416\ 6835492*c_1001_3^8 + 12200904955754241481307127158959065799/1128655\ 554172408144603040168333670984*c_1001_3^7 - 1217348267631198791559799225204613824/14108194427155101807538002104\ 1708873*c_1001_3^6 + 27139094414199596305513825942104329/3483504796\ 828420199392099284980466*c_1001_3^5 - 2300004497085228041539724005658207785/37621851805746938153434672277\ 7890328*c_1001_3^4 + 2298812879496122719086154122196486741/56432777\ 7086204072301520084166835492*c_1001_3^3 - 1294188649967183322094366723519472405/56432777708620407230152008416\ 6835492*c_1001_3^2 + 8698338217195009152503144705760766/15675771585\ 727890897264446782412097*c_1001_3 + 141366314511121247720349540419632757/112865555417240814460304016833\ 3670984, c_0011_6 - 6698876559858641689268741953611817/5925441659405142759165960\ 883751772666*c_1001_3^18 - 17392560580922453432962190017368613/5925\ 441659405142759165960883751772666*c_1001_3^17 + 17643378537881900349411280692780151/1975147219801714253055320294583\ 924222*c_1001_3^16 - 138773760717962163427041916682661439/592544165\ 9405142759165960883751772666*c_1001_3^15 + 354687289656891002871765851137012375/197514721980171425305532029458\ 3924222*c_1001_3^14 - 2168184397251516266441970973430388257/2962720\ 829702571379582980441875886333*c_1001_3^13 + 508628840337726660467902792786806751/219460802200190472561702254953\ 769358*c_1001_3^12 - 7704647337708121580796497937687326191/59254416\ 59405142759165960883751772666*c_1001_3^11 - 25398485740559128345273355705756503813/5925441659405142759165960883\ 751772666*c_1001_3^10 + 17127010884703318668110129713684014349/5925\ 441659405142759165960883751772666*c_1001_3^9 - 8186481286973607862474150829447608213/29627208297025713795829804418\ 75886333*c_1001_3^8 + 50008175972357397895069082750784978365/592544\ 1659405142759165960883751772666*c_1001_3^7 - 37087499138748806753608877112244281929/2962720829702571379582980441\ 875886333*c_1001_3^6 + 377664823850254904350745569045291196/3657680\ 0366698412093617042492294893*c_1001_3^5 - 18642507196726308555827361271801055585/1975147219801714253055320294\ 583924222*c_1001_3^4 + 25469080692511629679815283985186117261/29627\ 20829702571379582980441875886333*c_1001_3^3 - 2730853275265206567963837539670198982/42324583281465305422614006312\ 5126619*c_1001_3^2 + 1319129329927333271223058665496000364/32919120\ 3300285708842553382430654037*c_1001_3 - 14189574295865472807023521899023905817/5925441659405142759165960883\ 751772666, c_0011_8 + 39502155122646100792502652065051371/237017666376205710366638\ 43535007090664*c_1001_3^18 + 33486176069641910499612253250007973/23\ 701766637620571036663843535007090664*c_1001_3^17 - 123514015169018888254675792356042793/790058887920685701222128117833\ 5696888*c_1001_3^16 + 1504412339634077125942230842466323773/2370176\ 6637620571036663843535007090664*c_1001_3^15 - 2933385519908767689747095369096655487/79005888792068570122212811783\ 35696888*c_1001_3^14 + 5091890130944988453196457965445465498/296272\ 0829702571379582980441875886333*c_1001_3^13 - 5608813966845667058348405993921994631/87784320880076189024680901981\ 5077432*c_1001_3^12 + 304050633507291267960557202126512618653/23701\ 766637620571036663843535007090664*c_1001_3^11 - 357361857885676887586525868563675753595/237017666376205710366638435\ 35007090664*c_1001_3^10 + 441396618138795443758138452567051895745/2\ 3701766637620571036663843535007090664*c_1001_3^9 - 300790194223531084822291316465786244839/118508833188102855183319217\ 67503545332*c_1001_3^8 + 743602933868308492761566127338476884391/23\ 701766637620571036663843535007090664*c_1001_3^7 - 80259479191234339158530879919043269628/2962720829702571379582980441\ 875886333*c_1001_3^6 + 1718906796268207937977230687202717787/731536\ 00733396824187234084984589786*c_1001_3^5 - 160899867446036233266426480789436931353/790058887920685701222128117\ 8335696888*c_1001_3^4 + 186804665279520020457837124366949913421/118\ 50883318810285518331921767503545332*c_1001_3^3 - 16653618942360082295043609955800521027/1692983331258612216904560252\ 500506476*c_1001_3^2 + 1884157042701863303794961910506669887/329191\ 203300285708842553382430654037*c_1001_3 - 39332347580178809725427934001921866835/2370176663762057103666384353\ 5007090664, c_0101_0 - 1340207615988273691848056026604656/2962720829702571379582980\ 441875886333*c_1001_3^18 + 1643354333565108223779734667952835/29627\ 20829702571379582980441875886333*c_1001_3^17 + 5711049845513192909873715028269145/98757360990085712652766014729196\ 2111*c_1001_3^16 - 71679632669118168723194111094989575/296272082970\ 2571379582980441875886333*c_1001_3^15 + 129419361670224584697017016713063800/987573609900857126527660147291\ 962111*c_1001_3^14 - 1950751669904807047776722273732135443/29627208\ 29702571379582980441875886333*c_1001_3^13 + 282616951589418773352707573176844050/109730401100095236280851127476\ 884679*c_1001_3^12 - 19426384573477662770049369046448581456/2962720\ 829702571379582980441875886333*c_1001_3^11 + 28372716428796290125016423852598214001/2962720829702571379582980441\ 875886333*c_1001_3^10 - 35019520627508111706318498613612921379/2962\ 720829702571379582980441875886333*c_1001_3^9 + 52245258588919098591587119618330936249/2962720829702571379582980441\ 875886333*c_1001_3^8 - 60373824474754414140103699118166484678/29627\ 20829702571379582980441875886333*c_1001_3^7 + 63008926563666856331190701208592073144/2962720829702571379582980441\ 875886333*c_1001_3^6 - 691994394060821738362590943121207807/3657680\ 0366698412093617042492294893*c_1001_3^5 + 16911648260937885537309101445252301822/9875736099008571265276601472\ 91962111*c_1001_3^4 - 36110695390076005915769251896487439027/296272\ 0829702571379582980441875886333*c_1001_3^3 + 4128738042006217910661348310977855655/42324583281465305422614006312\ 5126619*c_1001_3^2 - 1581816082911413786946348270678744485/32919120\ 3300285708842553382430654037*c_1001_3 + 5839693737974889548250630746633830474/29627208297025713795829804418\ 75886333, c_0101_11 - 8508957113619092135447343232000867/592544165940514275916596\ 0883751772666*c_1001_3^18 - 2819148704303258152975321482928789/5925\ 441659405142759165960883751772666*c_1001_3^17 + 30371637934415569637508438739499023/1975147219801714253055320294583\ 924222*c_1001_3^16 - 351182164180273976793434129964459547/592544165\ 9405142759165960883751772666*c_1001_3^15 + 666269443127796166523770902753517423/197514721980171425305532029458\ 3924222*c_1001_3^14 - 4770682873323376967274459850880858702/2962720\ 829702571379582980441875886333*c_1001_3^13 + 1323629879073589460908857344668915789/21946080220019047256170225495\ 3769358*c_1001_3^12 - 76198744443177799074513321732762405787/592544\ 1659405142759165960883751772666*c_1001_3^11 + 89489567940444468342647002111645623143/5925441659405142759165960883\ 751772666*c_1001_3^10 - 104743204350214801026375016101391735055/592\ 5441659405142759165960883751772666*c_1001_3^9 + 82325144671559547274602251830949650298/2962720829702571379582980441\ 875886333*c_1001_3^8 - 198756893435354445309341855366989852777/5925\ 441659405142759165960883751772666*c_1001_3^7 + 89783089612480135271340371934689837227/2962720829702571379582980441\ 875886333*c_1001_3^6 - 961662027715220840346548915290418443/3657680\ 0366698412093617042492294893*c_1001_3^5 + 46901748341225186172556829097087748819/1975147219801714253055320294\ 583924222*c_1001_3^4 - 55219870824706091718302603645237512246/29627\ 20829702571379582980441875886333*c_1001_3^3 + 5558286157746569813343813415351380674/42324583281465305422614006312\ 5126619*c_1001_3^2 - 2516685362552664183122321352791118637/32919120\ 3300285708842553382430654037*c_1001_3 + 11736317778227967774483395356660303555/5925441659405142759165960883\ 751772666, c_0101_12 + 30120576277954624092317359995951227/23701766637620571036663\ 843535007090664*c_1001_3^18 - 50461994914510072854333506113159531/2\ 3701766637620571036663843535007090664*c_1001_3^17 - 135455075784770914994950270588554569/790058887920685701222128117833\ 5696888*c_1001_3^16 + 1799423057579301106580793492391792949/2370176\ 6637620571036663843535007090664*c_1001_3^15 - 3011208524058077826726120480352545935/79005888792068570122212811783\ 35696888*c_1001_3^14 + 5735405946230540940124107010387494595/296272\ 0829702571379582980441875886333*c_1001_3^13 - 6707648933497019654794066730819687159/87784320880076189024680901981\ 5077432*c_1001_3^12 + 464735874223141246849175136694414103837/23701\ 766637620571036663843535007090664*c_1001_3^11 - 644225640481213219444149699181413754771/237017666376205710366638435\ 35007090664*c_1001_3^10 + 621877674833249929916787620718808063969/2\ 3701766637620571036663843535007090664*c_1001_3^9 - 452499775863641070826429546207365604675/118508833188102855183319217\ 67503545332*c_1001_3^8 + 1226565020924636731326553407485725912055/2\ 3701766637620571036663843535007090664*c_1001_3^7 - 153167697995762123112679507724090240036/296272082970257137958298044\ 1875886333*c_1001_3^6 + 2898110295827761276322721666811096141/73153\ 600733396824187234084984589786*c_1001_3^5 - 276687198928597028123650644922292551505/790058887920685701222128117\ 8335696888*c_1001_3^4 + 347766285927086565708616016690866226237/118\ 50883318810285518331921767503545332*c_1001_3^3 - 37698953302287384318969486302451006967/1692983331258612216904560252\ 500506476*c_1001_3^2 + 4329554236939240054957547989413253592/329191\ 203300285708842553382430654037*c_1001_3 - 118396603847105417277068664795021460643/237017666376205710366638435\ 35007090664, c_0101_6 + 84174690931646825389488251520640045/237017666376205710366638\ 43535007090664*c_1001_3^18 + 9991833106782864927560259682967947/237\ 01766637620571036663843535007090664*c_1001_3^17 - 295078769702208832419562918216645879/790058887920685701222128117833\ 5696888*c_1001_3^16 + 3702019958236922586124155324920233003/2370176\ 6637620571036663843535007090664*c_1001_3^15 - 6906064437832764038422571231937489697/79005888792068570122212811783\ 35696888*c_1001_3^14 + 12403138284904418272950579563002922672/29627\ 20829702571379582980441875886333*c_1001_3^13 - 13992139424876516977427221603728799057/8778432088007618902468090198\ 15077432*c_1001_3^12 + 847398621470516653080392550120491916475/2370\ 1766637620571036663843535007090664*c_1001_3^11 - 1109221988079018425506075717078065902405/23701766637620571036663843\ 535007090664*c_1001_3^10 + 1316134388133156733169951733764262400295\ /23701766637620571036663843535007090664*c_1001_3^9 - 937888985597440872863957726637754393145/118508833188102855183319217\ 67503545332*c_1001_3^8 + 2348729959919297418120632405921422124233/2\ 3701766637620571036663843535007090664*c_1001_3^7 - 281427739673308156508032303717536721384/296272082970257137958298044\ 1875886333*c_1001_3^6 + 5825543152856953862424530768556768695/73153\ 600733396824187234084984589786*c_1001_3^5 - 554512854348960117616301916736819529215/790058887920685701222128117\ 8335696888*c_1001_3^4 + 672399885138787020706775345813706417259/118\ 50883318810285518331921767503545332*c_1001_3^3 - 67394617978552549784882475639502418105/1692983331258612216904560252\ 500506476*c_1001_3^2 + 6793361929715308714196280014692140976/329191\ 203300285708842553382430654037*c_1001_3 - 172959379012873339529698401801579455701/237017666376205710366638435\ 35007090664, c_0110_5 - 37453115109087176787956800849062421/237017666376205710366638\ 43535007090664*c_1001_3^18 - 1404417078676400583382923931547827/237\ 01766637620571036663843535007090664*c_1001_3^17 + 132019352680060735670638211735874847/790058887920685701222128117833\ 5696888*c_1001_3^16 - 1683200090371190259477080097980372779/2370176\ 6637620571036663843535007090664*c_1001_3^15 + 3105878626042428041033537025267236641/79005888792068570122212811783\ 35696888*c_1001_3^14 - 5602715486300138161989744238534489811/296272\ 0829702571379582980441875886333*c_1001_3^13 + 6338250571818281808378749024864849041/87784320880076189024680901981\ 5077432*c_1001_3^12 - 387773494525883420645068716159301222915/23701\ 766637620571036663843535007090664*c_1001_3^11 + 513277185826459869285655209465244178597/237017666376205710366638435\ 35007090664*c_1001_3^10 - 596978290171204338090235872814137304823/2\ 3701766637620571036663843535007090664*c_1001_3^9 + 421243469162543972099865037305068434169/118508833188102855183319217\ 67503545332*c_1001_3^8 - 1035716692095819483939379856670542166817/2\ 3701766637620571036663843535007090664*c_1001_3^7 + 117733324385436289931594064221996615104/296272082970257137958298044\ 1875886333*c_1001_3^6 - 2533298704813411924562153948812575785/73153\ 600733396824187234084984589786*c_1001_3^5 + 231587688097619064359696354878792205095/790058887920685701222128117\ 8335696888*c_1001_3^4 - 267690308285131115068094322524678725543/118\ 50883318810285518331921767503545332*c_1001_3^3 + 24624863341656098228848375451802878525/1692983331258612216904560252\ 500506476*c_1001_3^2 - 2590154223228829567479763796608230499/329191\ 203300285708842553382430654037*c_1001_3 + 55605903777933907330092052829695227661/2370176663762057103666384353\ 5007090664, c_1001_3^19 - 10*c_1001_3^17 + 46*c_1001_3^16 - 256*c_1001_3^15 + 1225*c_1001_3^14 - 4735*c_1001_3^13 + 11080*c_1001_3^12 - 16098*c_1001_3^11 + 20170*c_1001_3^10 - 26943*c_1001_3^9 + 34931*c_1001_3^8 - 36747*c_1001_3^7 + 33284*c_1001_3^6 - 28605*c_1001_3^5 + 24173*c_1001_3^4 - 18240*c_1001_3^3 + 11554*c_1001_3^2 - 5257*c_1001_3 + 1399 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.140 Total time: 4.360 seconds, Total memory usage: 121.53MB