Magma V2.19-8 Wed Aug 21 2013 00:00:33 on localhost [Seed = 2446850207] Type ? for help. Type -D to quit. Loading file "K13n1533__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1533 geometric_solution 10.97189626 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 0 2 0 0132 1302 0132 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 1 0 -1 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.706941466789 1.078996998822 0 3 5 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 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.998972491505 0.391938017597 6 7 7 0 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266814531346 0.405333293112 8 1 9 8 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539444268989 0.264550788766 6 9 1 10 2103 0132 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 0 0 -1 1 -1 -8 0 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.904035386425 0.331813704361 6 9 10 1 3120 1023 2103 0132 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 9 -9 0 0 0 0 0 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.251243364497 0.568386626761 2 11 4 5 0132 0132 2103 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 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.088714845337 1.216711576882 8 2 2 8 2310 0132 1023 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 1.317515175886 0.918347579575 3 7 7 3 0132 2310 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.126669047409 0.720286605496 5 4 11 3 1023 0132 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -9 0 9 0 0 0 0 0 0 8 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.597613492918 0.701821654581 5 12 4 12 2103 0132 0132 3120 0 0 0 0 0 -1 0 1 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -8 0 8 0 0 -1 1 9 0 0 -9 0 9 -9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.713689669061 0.643285981757 9 6 12 12 2310 0132 1230 1302 0 0 0 0 0 0 0 0 1 0 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 1 -1 0 8 0 0 -8 -9 1 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577482533610 1.297495683663 10 10 11 11 3120 0132 2031 3012 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 8 -8 0 -1 0 0 1 9 -9 0 0 -8 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577482533610 1.297495683663 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_4'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_0101_3'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_7'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : negation(d['c_0101_11']), 'c_1010_11' : d['c_0011_4'], 'c_1010_10' : d['c_0011_10'], 's_3_11' : 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_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_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : negation(d['c_0101_12']), 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : negation(d['c_0101_10']), 'c_1100_1' : negation(d['c_0101_12']), 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : negation(d['c_0011_0']), 's_0_10' : d['1'], 'c_1100_11' : d['c_0101_12'], 'c_1100_10' : negation(d['c_0101_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0101_7'], 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_0101_8'], 'c_1100_8' : d['c_0011_11'], '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' : negation(d['c_0011_4']), '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_0']), 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : negation(d['c_0011_11']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_11'], 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_12'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_10'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_8'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : negation(d['c_0101_8']), 'c_0110_6' : d['c_0101_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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_7, c_0101_8, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 2825216889771115916932788814066965540865385171758992786029097488862\ 938084770405762500228629/105160508261726805570180884888310956503172\ 55043686792814382589444589559143077332434258899*c_1001_3^15 - 1479658462841612597679957150473571225133083112241268806682721439081\ 0617888508912355173745815/35053502753908935190060294962770318834390\ 85014562264271460863148196519714359110811419633*c_1001_3^14 - 1049496493107488558444059464526143474058453257236588629122372165335\ 765105055683093680063131433/105160508261726805570180884888310956503\ 17255043686792814382589444589559143077332434258899*c_1001_3^13 - 3297977766109949340504504386202407379367809000324412862424369497700\ 417496108272707380435762086/350535027539089351900602949627703188343\ 9085014562264271460863148196519714359110811419633*c_1001_3^12 - 7586091432139791262902650090604981643864834610333535800251878573193\ 9490206315980535871604321503/10516050826172680557018088488831095650\ 317255043686792814382589444589559143077332434258899*c_1001_3^11 - 1171818374459956292364837736329293727267425729429483944383120868676\ 22282889859725989038656750300/3505350275390893519006029496277031883\ 439085014562264271460863148196519714359110811419633*c_1001_3^10 - 3638895176534922937736783333370619829084937553344644017047692573432\ 37545075431055925981854187732/3505350275390893519006029496277031883\ 439085014562264271460863148196519714359110811419633*c_1001_3^9 - 1845788731229005171791289395190356713979330696170778758201625149110\ 52926038355617076733452913770/3505350275390893519006029496277031883\ 439085014562264271460863148196519714359110811419633*c_1001_3^8 + 3026985396637424534779386247483008113577732375786637148010945902232\ 998029356696943915058799227756/105160508261726805570180884888310956\ 50317255043686792814382589444589559143077332434258899*c_1001_3^7 + 1300213777596977018134112878932175421641435316866972747901928986449\ 59460624193379804051369290722/5007643250558419312865756423252902690\ 62726430651752038780123306885217102051301544488519*c_1001_3^6 - 1736513557603673085224215398628323148325764447002716192272600827517\ 5367101732046414281075451560497/10516050826172680557018088488831095\ 650317255043686792814382589444589559143077332434258899*c_1001_3^5 - 9179107015230280970144480371116446863068604623519473934015142114276\ 74563668561528178147360900821/3505350275390893519006029496277031883\ 439085014562264271460863148196519714359110811419633*c_1001_3^4 + 3395716805006846100327745361202127689728622012402257155101181911894\ 9227455846004632340978513573747/10516050826172680557018088488831095\ 650317255043686792814382589444589559143077332434258899*c_1001_3^3 - 2151573549844023456946382707802033744601625958068914748456726620562\ 106397872293019286802756773238/150229297516752579385972692697587080\ 7188179291955256116340369920655651306153904633465557*c_1001_3^2 - 8789696747398582345605597996074004260756757067517509263446952376876\ 208857602865950324547215457069/350535027539089351900602949627703188\ 3439085014562264271460863148196519714359110811419633*c_1001_3 + 4853499422454519998909220363816221680926864375613012443208099782945\ 874369786464942167301461720440/350535027539089351900602949627703188\ 3439085014562264271460863148196519714359110811419633, c_0011_0 - 1, c_0011_10 - 10874498085978843663343641833956552970302083687827857769428\ 1225468/60007962772520280430334835099745702094056078776700656668066\ 8743015270287*c_1001_3^15 - 178005871949128883311284889732059086908\ 3045858617254998692114867765/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^14 - 4159402565741874724934684275281197336305068422603500045420325067282\ 9/60007962772520280430334835099745702094056078776700656668066874301\ 5270287*c_1001_3^13 - 408497761743589506539098028777732207289613978\ 666423753026450378127837/600079627725202804303348350997457020940560\ 787767006566680668743015270287*c_1001_3^12 - 3197246181738779813183711847813347969760998474272195222893047250215\ 274/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^11 - 1569199652868624012383234059070687665800240\ 3619134883396349807439657046/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^10 - 5271899327544387707594210719287668831137852217735571460817749313581\ 6553/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^9 - 5655165205516892207992758975352417513808518\ 7359805740367316139174321327/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^8 + 8233833172278431678855145501214814090232746094594037655175834661680\ 8749/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 + 2010370853611967752574899271808342382779727\ 25307423707010809717899529627/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 - 4580502085639034814067085333234818567564652988785176026588584132032\ 53529/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 - 405894348220877125248380683790563020649324\ 893582185326461849321639317187/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 + 7457691471501875196990051612969994865806424777908899533849372594642\ 12711/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 + 447263371659479892438510100119999783097220\ 147544761815994257879745307187/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^2 - 4281110774341020086216475999087329236040371351252476844297168003509\ 21422/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 - 17095348728132869521181936222576635640332391\ 0683633126263348116592987958/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0011_11 + 54453188485643205197938250825344607366093145406872325626128\ 89687/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^15 + 87840714450696792789429979611800321976616\ 201022902575458189481196/600079627725202804303348350997457020940560\ 787767006566680668743015270287*c_1001_3^14 + 2023953423146036272764329947063603718661908756042843108897640692746\ /600079627725202804303348350997457020940560787767006566680668743015\ 270287*c_1001_3^13 + 1934178546370486276029469707529655992560347593\ 0816352397419479861495/60007962772520280430334835099745702094056078\ 7767006566680668743015270287*c_1001_3^12 + 1409075736315479775087958705934401322622293790093750030954800215183\ 54/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^11 + 60717750317938722218548190462961975384093770\ 9923152436306092369943701/60007962772520280430334835099745702094056\ 0787767006566680668743015270287*c_1001_3^10 + 1377747745267086477096269152679095523761663825895177500650719718537\ 049/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^9 - 29062764199820437821830541397876648763298699\ 23074535001669803478938421/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^8 - 2040356679122189035322625886575387034799800444338227583247327894137\ 4140/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 1540800778518148989132288500513062126629762\ 6232223591905867735184882521/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^6 + 9894331459507135415097612859611702592251143627715612839416907656979\ 7681/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^5 + 1345386877120565124914860744745304275042493\ 03863219935436501989162753263/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^4 - 2510545618112109526517822829079264559330439531658250049350433540708\ 78293/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 280209158169263968743210413285311340168286\ 0398195882748309616378516028/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^2 + 4840059959461688283231467952383639397656233158287678088925226168110\ 15249/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 17088924208438453746253727161376305814717989\ 4150696159451636236526813546/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0011_4 + 123364344117047942976832088797494115583282819901228009460863\ 097140/600079627725202804303348350997457020940560787767006566680668\ 743015270287*c_1001_3^15 + 2070732842590197850186825669535076368822\ 755370482181568083009105814/600079627725202804303348350997457020940\ 560787767006566680668743015270287*c_1001_3^14 + 4799186529755648350659588126439924036107006186836354301159994543390\ 1/60007962772520280430334835099745702094056078776700656668066874301\ 5270287*c_1001_3^13 + 482594945811245382223955195262578962180080098\ 729630945507239115752635/600079627725202804303348350997457020940560\ 787767006566680668743015270287*c_1001_3^12 + 3808423583634648865947641168386739438021869977653481997532202373087\ 080/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^11 + 1922077768693315290543741191515457631410398\ 7739006684669197724498148656/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^10 + 6659241503795757765409313914948405087658880707904307426617593888656\ 4557/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^9 + 8722199259864816060554071092715360390638012\ 3983324510668833887325304404/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^8 - 6736450283876511396921887740634200687131760931032388839805685848615\ 8338/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 2262456221572709608242011226789132987145393\ 27523585109404788355705430446/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 + 5380606909448212242892050580958703871802102360468923243071587733827\ 59822/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 + 746085741641682880338588949757958350994999\ 269144466102037753038415884670/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 - 1003027144633288349144121142684460961086180536204239376636196273571\ 688787/600079627725202804303348350997457020940560787767006566680668\ 743015270287*c_1001_3^3 - 45526930356249756196791571152551358132320\ 2187039602437566613591329931199/60007962772520280430334835099745702\ 0940560787767006566680668743015270287*c_1001_3^2 + 8747877253481357328162312547165658395499312363408674586382050922693\ 14805/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 16508925690174972809835793541153189885722347\ 1391573506046047629169306066/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_0 + 110811397964672970562432008729071657543026084536358904865903\ 0757/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^15 + 177443174154834037445339861459717276976639\ 28284100215016779470236/6000796277252028043033483509974570209405607\ 87767006566680668743015270287*c_1001_3^14 + 395535252532311436265855804885534956247954132496721381566051429507/\ 6000796277252028043033483509974570209405607877670065666806687430152\ 70287*c_1001_3^13 + 36407682821482298817927781703141382631308405076\ 93223809109067980927/6000796277252028043033483509974570209405607877\ 67006566680668743015270287*c_1001_3^12 + 2259939746146753653447348288625060659432249802140960515304928798261\ 1/60007962772520280430334835099745702094056078776700656668066874301\ 5270287*c_1001_3^11 + 623137916937643633409192550309571275413827291\ 87146885707900872944962/6000796277252028043033483509974570209405607\ 87767006566680668743015270287*c_1001_3^10 - 1842327658135235493221024478393465962207050318263196737558780962799\ 95/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^9 - 290352255195718543931839539910029251512124986\ 8894618573146849637327925/60007962772520280430334835099745702094056\ 0787767006566680668743015270287*c_1001_3^8 - 1162760412505536051153029986398502190821202964005159918083603682036\ 4094/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 1089333829301712779796913461931302497344081\ 2762585938282285647397973765/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^6 + 4093575242796863545201109525069204812531523033689120491391449671451\ 1064/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^5 + 6299635356865719147431206683781674764394794\ 8383637156365331085569046283/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^4 - 1295024598101902784971917862915215725311323982053272065977538590433\ 45083/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 171332251370475832087023652585927364725236\ 58660426859712817405081561154/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^2 + 2287682392530648425928906939054258364603082599281663278730670881044\ 29654/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 45551030085510962246972670162709327869709738\ 2656004121911433330686371113/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_1 - 433720486891759081416950499524374416117905369532364351395385\ 8930/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^15 - 700963970352133890448959934658285942789522\ 72738802360441410010960/6000796277252028043033483509974570209405607\ 87767006566680668743015270287*c_1001_3^14 - 1628418170613724836498474142178068762413954623546121727331589263239\ /600079627725202804303348350997457020940560787767006566680668743015\ 270287*c_1001_3^13 - 1570101718155663287850191890498242166247263542\ 3123128588310411880568/60007962772520280430334835099745702094056078\ 7767006566680668743015270287*c_1001_3^12 - 1183081761700804409743223877071895256679068809879653979424307335357\ 43/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^11 - 54486371148562285884456264959866262629955498\ 0736005550598191496998739/60007962772520280430334835099745702094056\ 0787767006566680668743015270287*c_1001_3^10 - 1561980511080610026418371600518442119982368857721497174406597814817\ 044/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^9 + 27538680248583428646587406873723612086200541\ 79916428522953841610496/6000796277252028043033483509974570209405607\ 87767006566680668743015270287*c_1001_3^8 + 8775962666166529841695959001768848439785974803330676651637242121010\ 046/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^7 + 45146694921643620933537503858175962928568134\ 69637653623582087786908756/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^6 - 5800756216710271869896503334542497779719620594026492348025457985528\ 6617/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^5 - 7154233414339932101717400763671367986030135\ 5479582779071170903593706980/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^4 + 1215521020010206741545904966164048834019115549604977983372894950275\ 33210/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 143311335553549435212702611257396230708407\ 98262230976964507788703045126/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^2 - 2552377566931039857302561013329381033053150559006014810194555287065\ 85595/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 28462105877072508500718943001333022054991748\ 8505307962459797094159557567/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_10 + 12336434411704794297683208879749411558328281990122800946086\ 3097140/60007962772520280430334835099745702094056078776700656668066\ 8743015270287*c_1001_3^15 + 207073284259019785018682566953507636882\ 2755370482181568083009105814/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^14 + 4799186529755648350659588126439924036107006186836354301159994543390\ 1/60007962772520280430334835099745702094056078776700656668066874301\ 5270287*c_1001_3^13 + 482594945811245382223955195262578962180080098\ 729630945507239115752635/600079627725202804303348350997457020940560\ 787767006566680668743015270287*c_1001_3^12 + 3808423583634648865947641168386739438021869977653481997532202373087\ 080/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^11 + 1922077768693315290543741191515457631410398\ 7739006684669197724498148656/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^10 + 6659241503795757765409313914948405087658880707904307426617593888656\ 4557/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^9 + 8722199259864816060554071092715360390638012\ 3983324510668833887325304404/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^8 - 6736450283876511396921887740634200687131760931032388839805685848615\ 8338/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 2262456221572709608242011226789132987145393\ 27523585109404788355705430446/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 + 5380606909448212242892050580958703871802102360468923243071587733827\ 59822/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 + 746085741641682880338588949757958350994999\ 269144466102037753038415884670/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 - 1003027144633288349144121142684460961086180536204239376636196273571\ 688787/600079627725202804303348350997457020940560787767006566680668\ 743015270287*c_1001_3^3 - 45526930356249756196791571152551358132320\ 2187039602437566613591329931199/60007962772520280430334835099745702\ 0940560787767006566680668743015270287*c_1001_3^2 + 8747877253481357328162312547165658395499312363408674586382050922693\ 14805/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 16508925690174972809835793541153189885722347\ 1391573506046047629169306066/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_11 + 12893958174494932060244632708580167014171286727478978054363\ 5013049/60007962772520280430334835099745702094056078776700656668066\ 8743015270287*c_1001_3^15 + 219437771892783033453306495102174033517\ 2740260275817679732880215731/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^14 + 5068800446768990164754923524957635691962966470548805649657691234825\ 4/60007962772520280430334835099745702094056078776700656668066874301\ 5270287*c_1001_3^13 + 516484171399651649864194315285970384014018444\ 273221741906163665174459/600079627725202804303348350997457020940560\ 787767006566680668743015270287*c_1001_3^12 + 4106958700859337604922496357907860282556947771664188398363493019466\ 445/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^11 + 2110691675351086993967942104408808712284556\ 5318611251685257696636451788/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^10 + 7498168544443641714529923139286273681842356842905061719057542322704\ 2439/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^9 + 1108825399322786498514751219919013052098902\ 81121206116948908498413855263/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^8 - 3741310787231628007089227162134311454693912503645772443941440289379\ 7400/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 2391097608366896320574437857753465779706618\ 38290951981932025426162978229/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 + 4907968456308546997850855288127915038282310968816871024771311595171\ 05259/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 + 893011363707693249125077113368167780632064\ 634242590209080473123726808058/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 - 6823397944702809030406873856071726321046110364706358849521163896131\ 94815/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 844746220981520481357738040394927428969761\ 800972643991362028618423913700/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^2 + 7658339219175852427241373961764469755046415104822968179200679598047\ 24197/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 33329192797272234104364342939206624327377237\ 4771131698232815842359480615/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_12 + 13956869510534766105505643382022120151756970199598571874767\ 203771/600079627725202804303348350997457020940560787767006566680668\ 743015270287*c_1001_3^15 + 2828261660713684253219093086843211426021\ 27686362446843331715984976/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^14 + 6090432793636576288453601561635972329826100378416885624419127545340\ /600079627725202804303348350997457020940560787767006566680668743015\ 270287*c_1001_3^13 + 7101051558161282732436390089666442720521775083\ 4375473689076815346491/60007962772520280430334835099745702094056078\ 7767006566680668743015270287*c_1001_3^12 + 5624227976747684649961416782966093908169701885076823819542207932765\ 75/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^11 + 31092611372856830366775424548096167375004324\ 98008595308389526155532848/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^10 + 1067064390876396675864872953110002260751818281706020447932592239902\ 4774/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^9 + 1452318992145501730101130387943312719456323\ 7924875474363510578022746876/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^8 - 4663823089246512522251151130824364680209991909373257231792942033319\ 8617/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 1354622701986193665905872604278815674100984\ 85075891856159348267273580968/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 + 2558301222205312983100199899836474425030422832692528929363146985897\ 4221/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^5 + 4504845932352107081030543448858594992255090\ 48960308691125918823100298569/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^4 - 4887407674787942126627834116857685684161808599555313074560229085109\ 13752/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 654066763658765526597320433527796829602680\ 949143167649119192638929983649/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^2 + 7020493907730295459264430468256070567321740672459433575539629584137\ 54603/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 15563328985711092499728789473990632271281968\ 3292831971172537037571325901/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_3 + 173544758425090510673514132420861219816821552650083757275880\ 43990/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^15 + 32484502499671737420598939443814938627345\ 4023712213404990729841687/60007962772520280430334835099745702094056\ 0787767006566680668743015270287*c_1001_3^14 + 7160851545162498068143999017914084317015546496076768431805260357483\ /600079627725202804303348350997457020940560787767006566680668743015\ 270287*c_1001_3^13 + 7851191205409469422498118848548329109455901390\ 0956637514326429267406/60007962772520280430334835099745702094056078\ 7767006566680668743015270287*c_1001_3^12 + 6094972669597166044030533498593525413419792482449576760066437054511\ 64/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^11 + 31930773049009869341634131120035584153423578\ 78241140669959479746319924/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^10 + 1034118244235364676768229956384523966694327244091587731846894534292\ 5289/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^9 + 1016926773179002631171717774335655536637632\ 1779655945181307038878030603/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^8 - 5225568840248071346952405920326486693893511432883132923528296890012\ 8875/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 1088210237208996999957875102754304586508822\ 71376137368805544812825767284/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 + 1121168325795385929012612696990173814914996864868031740885603987984\ 01913/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 + 444184401383442123354346718852751991947987\ 856390555883337491000478913201/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 - 5673454991231953053652449057900969924467495892642931657211452589834\ 28243/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 471557168064933008240734004832265931881192\ 153559076562675159229882058532/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^2 + 4535254657732645585691351880589886262939883387395263516732695820253\ 08411/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 17744482890876017676220947653697463716792040\ 9777230026386570449224326294/60007962772520280430334835099745702094\ 0560787767006566680668743015270287, c_0101_7 - 135664652715264107779267040990926144587729696773193487394173\ 98753/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^15 - 23103694592484965717512618140265010080035\ 0829500431876152274202309/60007962772520280430334835099745702094056\ 0787767006566680668743015270287*c_1001_3^14 - 5218532584122889558098206924882059159913105248595192566155995297282\ /600079627725202804303348350997457020940560787767006566680668743015\ 270287*c_1001_3^13 - 5253862862378489274799325037912071616909728780\ 7976759256166113304075/60007962772520280430334835099745702094056078\ 7767006566680668743015270287*c_1001_3^12 - 3888229399163481942791945665968326278048692015343534808277242169218\ 58/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^11 - 18068586781082301006474867438614601456433638\ 98413076833321322002372475/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^10 - 4687337783810901852609031914384569524681790074065569791220261199056\ 993/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^9 + 34277515085782207477436963349721168586260043\ 15546496854627710708878135/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^8 + 5176644480289765601585548468852822952458838326146587740688728454578\ 9279/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 + 5505187519043687448907683971132420053722062\ 5035479525306574455725098167/60007962772520280430334835099745702094\ 0560787767006566680668743015270287*c_1001_3^6 - 1861871159287965463721382285372267594896322825846723324275221806551\ 09560/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 - 305037429805858918197737356255066444206491\ 937538774006802393992644980232/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 + 5554110856153751424597085560408168863087091794354299522438388449300\ 38204/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 + 135205525377250290743839822852412058412922\ 742316851142223793592672967153/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^2 - 9081824621276212875692092468194326361285701161143315211020598375990\ 33564/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3 + 33755892133531286164213660412374937553895860\ 26122520329799431717671080/6000796277252028043033483509974570209405\ 60787767006566680668743015270287, c_0101_8 + 226012348373213239620318914093169270598815059514520359013990\ 24681/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^15 + 39511226433615714836806715593429732589556\ 0581580806667063208971741/60007962772520280430334835099745702094056\ 0787767006566680668743015270287*c_1001_3^14 + 8880339404611165886799851168200276721669339111050745508026061194172\ /600079627725202804303348350997457020940560787767006566680668743015\ 270287*c_1001_3^13 + 9174712676799815863957151724366863241074523138\ 2594426304490132091627/60007962772520280430334835099745702094056078\ 7767006566680668743015270287*c_1001_3^12 + 6932778155396083579726709661579549293221222404454367174272158441035\ 44/6000796277252028043033483509974570209405607877670065666806687430\ 15270287*c_1001_3^11 + 33792647816528646769706688171558385104167338\ 28810203914188727942258466/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^10 + 9774235373898555623906052789982279145473443036471511336392332387015\ 677/600079627725202804303348350997457020940560787767006566680668743\ 015270287*c_1001_3^9 + 13758081663331801283738144886504725547044660\ 57011785913439929821609345/6000796277252028043033483509974570209405\ 60787767006566680668743015270287*c_1001_3^8 - 7635534164619258137043024759529543772674230796728778556191509448223\ 6396/60007962772520280430334835099745702094056078776700656668066874\ 3015270287*c_1001_3^7 - 1097164235938931238528661829473983471147232\ 02519829026497011522419474468/6000796277252028043033483509974570209\ 40560787767006566680668743015270287*c_1001_3^6 + 2157343664172588436443493438143937814094749854579142080318601837492\ 58885/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^5 + 494000935813567234359627617553599643434570\ 501168537633596809188333002246/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^4 - 7930044330723084774981168989886121930424377081027748203974737011158\ 95927/6000796277252028043033483509974570209405607877670065666806687\ 43015270287*c_1001_3^3 - 394764806548597095306038838282263751466958\ 905898368262344520768642062611/600079627725202804303348350997457020\ 940560787767006566680668743015270287*c_1001_3^2 + 1072449341987781052104447529868786527361959930547874953914905771150\ 337385/600079627725202804303348350997457020940560787767006566680668\ 743015270287*c_1001_3 + 1912969464812904278671028255507945201861770\ 37961848219192344902882784327/6000796277252028043033483509974570209\ 40560787767006566680668743015270287, c_1001_3^16 + 16*c_1001_3^15 + 376*c_1001_3^14 + 3609*c_1001_3^13 + 27860*c_1001_3^12 + 132165*c_1001_3^11 + 422240*c_1001_3^10 + 307288*c_1001_3^9 - 1014967*c_1001_3^8 - 1275031*c_1001_3^7 + 5868173*c_1001_3^6 + 2745045*c_1001_3^5 - 11738717*c_1001_3^4 + 1869032*c_1001_3^3 + 10869102*c_1001_3^2 - 2465442*c_1001_3 - 1484479 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 16.450 Total time: 16.660 seconds, Total memory usage: 96.16MB