Magma V2.19-8 Tue Aug 20 2013 16:17:45 on localhost [Seed = 2917937484] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1979 geometric_solution 5.54967578 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 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.492916943224 0.216688949835 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 1 -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 0 1 -1 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.806907562210 0.530717377980 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 0 -1 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 2.059347098471 0.377117515653 5 2 6 4 0132 0132 0132 2310 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.244526962977 0.743117528929 3 6 2 5 3201 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 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.244526962977 0.743117528929 3 5 4 5 0132 2310 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522820649600 0.684758776492 6 4 6 3 2031 0132 1302 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 1 -1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.501786976959 1.553832419381 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : negation(d['c_0101_1']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : negation(d['c_0101_3']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_1001_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0101_0, c_0101_1, c_0101_3, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t + 9788826319762803318344606668913671887435758352711320833530573910142\ 941899006074017662244640101478954950080595093112874/203636042762745\ 7871607948396581603950490373592013594420230732794500907858045353955\ 0968622379443025306540708602554730215*c_1001_3^27 + 9804111164902634761692502639567123940916377573657230362864599649607\ 1123790564595215306580170510723283733192240138403464/20363604276274\ 5787160794839658160395049037359201359442023073279450090785804535395\ 50968622379443025306540708602554730215*c_1001_3^26 - 2627798804393988219198245076839005412274789586188343733903186479159\ 08498934355054057521383328778327609959472136959475689/2036360427627\ 4578716079483965816039504903735920135944202307327945009078580453539\ 550968622379443025306540708602554730215*c_1001_3^25 - 5960033879666794657193050949038882941270863319510918626293026803326\ 34135197841889169390354161651672212400554079466852371/4072720855254\ 9157432158967931632079009807471840271888404614655890018157160907079\ 10193724475888605061308141720510946043*c_1001_3^24 + 8822619753452949162817121997659446305415505892295279498450856204134\ 857755364472496473524113722335109343512617223290512094/203636042762\ 7457871607948396581603950490373592013594420230732794500907858045353\ 9550968622379443025306540708602554730215*c_1001_3^23 + 3446079749208203225785154837102186013171427940043612058268547406682\ 4911786643548146199138336947843105932890288497072699508/20363604276\ 2745787160794839658160395049037359201359442023073279450090785804535\ 39550968622379443025306540708602554730215*c_1001_3^22 - 1878437776856453376932056550045039987803422989656849800334923925255\ 75205098609436315411549980555297948483965019067217987299/2036360427\ 6274578716079483965816039504903735920135944202307327945009078580453\ 539550968622379443025306540708602554730215*c_1001_3^21 + 9520965335899466733830145194991859887515491299365263894530432689089\ 158578115943838031357238025010420718672812298165035342/407272085525\ 4915743215896793163207900980747184027188840461465589001815716090707\ 910193724475888605061308141720510946043*c_1001_3^20 + 3179907086504525992197143591399832517864002793833906311342854984812\ 90800842528763561801132310362077669624612980080257056088/4072720855\ 2549157432158967931632079009807471840271888404614655890018157160907\ 07910193724475888605061308141720510946043*c_1001_3^19 - 3826104265779550824674997657644945045832099697949634376064731275316\ 487154429061189552912563171143427180677652907465909304263/203636042\ 7627457871607948396581603950490373592013594420230732794500907858045\ 3539550968622379443025306540708602554730215*c_1001_3^18 - 2342595767064153047960852489586747642681390453563855666343592813931\ 426480662796681533198454852182874865602653688219306369087/203636042\ 7627457871607948396581603950490373592013594420230732794500907858045\ 3539550968622379443025306540708602554730215*c_1001_3^17 + 5137057293308307360635409950763116309435807137929819275644423579954\ 716767195828438890394635148989631643257346323226573164456/407272085\ 5254915743215896793163207900980747184027188840461465589001815716090\ 707910193724475888605061308141720510946043*c_1001_3^16 - 4058287220834904422755063191492867941837877738907389743005855797588\ 2687695636048845033115617710274799448936015153743273578264/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^15 - 7847837709632355652461140207040029855617337193159043612071764507036\ 289915556444590773197564336284058530346279690436433106142/203636042\ 7627457871607948396581603950490373592013594420230732794500907858045\ 3539550968622379443025306540708602554730215*c_1001_3^14 + 1120124272752960472896442776494415728841002955798271301254956575186\ 95106748349029297537492381505520696242002446350322226518637/2036360\ 4276274578716079483965816039504903735920135944202307327945009078580\ 453539550968622379443025306540708602554730215*c_1001_3^13 - 1724272573430481112583742418143045579307544884107720005585315586505\ 89118716503575695923927211174332537675766990268244630136016/2036360\ 4276274578716079483965816039504903735920135944202307327945009078580\ 453539550968622379443025306540708602554730215*c_1001_3^12 + 9062734906810531935082895932739994712900509864057493718435215114383\ 5767000732911152916362239637156876903129002149803834266719/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^11 + 6755683722692644146429751091991961809383415901034669182501865220616\ 49303852265878375294026489270599653502846548456948946764/1313780921\ 0499728203922247719881315809615313496861899485359566416134889406744\ 2190651410466964148550364778765177772453*c_1001_3^10 - 1931339073289373436288801391343659683335148679451038661036121745644\ 16386923488332670855139629007659051007748224130035045950907/2036360\ 4276274578716079483965816039504903735920135944202307327945009078580\ 453539550968622379443025306540708602554730215*c_1001_3^9 + 8022974354486835134413777312841323484356082248479715921628445823665\ 3222700554839568739280217500555728740660838754104488504116/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^8 + 2208160949176711003419869600195903658497350698832366365015070248404\ 5062438345039318980496820827345341950728226302355478536089/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^7 - 1096892722457005766604935046751479668367223175670458431468463190564\ 9796581994188353802443621537581808502639147008516172672058/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^6 + 3004536022648255724710008242673350129295872923085380474443907755596\ 138508701089153390653781287113441141114432490094372473699/203636042\ 7627457871607948396581603950490373592013594420230732794500907858045\ 3539550968622379443025306540708602554730215*c_1001_3^5 - 2419732696291480395525478677058659596827974056903197678737383648675\ 0278998264665099245574753659008478080804632748484667077473/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^4 + 1690624916815241131799841217420749021165954196247314685617162372879\ 1128511632286091088799010746190271514827293512213055253863/20363604\ 2762745787160794839658160395049037359201359442023073279450090785804\ 53539550968622379443025306540708602554730215*c_1001_3^3 - 3841430992452980656192442314697746382711387490808143663830877909402\ 63185627675285262841531248460623828465083658183745843676/2036360427\ 6274578716079483965816039504903735920135944202307327945009078580453\ 539550968622379443025306540708602554730215*c_1001_3^2 - 1079164841298821161173949650910546625188852745568050133212583352780\ 601361698992242452216951244601259080732275649442883848471/203636042\ 7627457871607948396581603950490373592013594420230732794500907858045\ 3539550968622379443025306540708602554730215*c_1001_3 + 6228304192352598198186241526358531495738756047028201623495906781743\ 8871585449179686753710306653193745301350102950014416461/20363604276\ 2745787160794839658160395049037359201359442023073279450090785804535\ 39550968622379443025306540708602554730215, c_0011_0 - 1, c_0011_1 + 186986962385932835763742870723627739419124545459306114054254\ 5461132905985380888321184879447617568637474333409/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^27 + 1873128845264125681016115530383222466807202778538359094088914005334\ 4579378812551927815438808648058941468553652/82747428421614462454634\ 0474893324671513214933354027806598196536885739711957184547782392561\ 3412392162548262592289*c_1001_3^26 - 5023598742422439207515156382706185507382103371992717634821953417300\ 4421665977652113755406681467338731721770844/82747428421614462454634\ 0474893324671513214933354027806598196536885739711957184547782392561\ 3412392162548262592289*c_1001_3^25 - 5701531807005128369401690377572317215585825844486341504547517533268\ 21280840657966408927094054205170370723938658/8274742842161446245463\ 4047489332467151321493335402780659819653688573971195718454778239256\ 13412392162548262592289*c_1001_3^24 + 1685367286966241332388463274181322984338788876558643917938207467750\ 023703694647442066787125980959085292680519654/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^23 + 6609489905526311196422022379169839170484855520328496246320105930244\ 163655684955542787419265935890542891712751244/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^22 - 3591080504633174234200943522621029294004974379144586877941688048844\ 2575452334637471329101133825626695966540413399/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3^21 + 8721848593040203144016238361777830930990836104333014961769540030072\ 869270517669969708998998030490380271779186108/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^20 + 3048148100586620855337670213918214819867396624771250772877457398215\ 12603154739495468457039809748709869582854366535/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^19 - 7294499577000576288478768041237286492584273588891044620083778694169\ 95973804814478663237412031797786113590671487041/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^18 - 4599733875671685894211737656885539859811451559297098729623547701260\ 24266016180913677412811219418969626115366086505/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^17 + 4922102446610610120974008908554687839630898048265442978325715117381\ 916554040572652847583215679176935631982591055670/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^16 - 7706133591682597692944148214275317555081172199540852240428176357074\ 704984722897546694212290017429917526906267772883/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^15 - 1668158429581953576078603524769314800328334199452951970395629705119\ 122490549201479504459343636569244406464481404970/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^14 + 2152496744123688852415047888886739185862241712732488894696899940255\ 0507614004187250781617993693155857951062009561029/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^13 - 3267437347346794347514795946887647951701503230840735925356255353139\ 2310882740923037190971622231742383154638636362751/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^12 + 1663531115033823563081031318120442088200502640386868017118509828842\ 0720125052032491480532867341284618859650403648135/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^11 + 2062266998774669270992121876336167194510600008351898120307720604699\ 7185005105425502011730158784173406627558585132217/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^10 - 3679981719166314907611150317182568684780341513686362603421230375333\ 8000512480838529353831483051100245441071518014092/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^9 + 1444615575896024653844765365489713054672241347856713805718687118216\ 4598805221556673517844088844238858530874890141848/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^8 + 4787640264452449487365133847505021643290113620486432680784426969427\ 171704339183346063127205438258379324908319254280/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^7 - 1944745681706898311740137303459071960813110875099276610680469435582\ 601091569389319334770532243582044587571540184852/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^6 + 4387340435669461050188913911449210835973808176515906335362022893370\ 73952919779478197241332030612829379036950608847/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^5 - 4692680341284200351799395327129238077422450077357272723038353088119\ 611907541281739914727619160988499122706689242790/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^4 + 3162914945453123751210902546651633622602748448321281809916446276881\ 386903812152605826837664484685595526348210040461/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^3 + 4106282786273404249683053326310979978457352558134070241725962972737\ 9401967973646250520411917120616940641584921519/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3^2 - 1970667251875266142318786417483909383576917904421746851189509401969\ 28384192680759152694826408213765840217364759067/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3 + 2426740645644857448256105024007469096846002049051272886086794296978\ 378505182481017572501719957907908871772006669/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289, c_0011_4 - 579088438118441067100706343439984778723409777045623918018741\ 0600491133184316027403834388238335507013450606481422/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^27 - 6236948779015154285352758601059174072319676120538906873958806462569\ 8256193156656928678365010570421574067163636627/13137809210499728203\ 9222477198813158096153134968618994853595664161348894067442190651410\ 466964148550364778765177772453*c_1001_3^26 + 1085331145008469384888297522551319939051381755851263719079117495921\ 77613956979134946044610569700613043774340940540/1313780921049972820\ 3922247719881315809615313496861899485359566416134889406744219065141\ 0466964148550364778765177772453*c_1001_3^25 + 1845833011382519839404742917946547852396904412752951718691895934609\ 273951174741963354582853807019624470230941039648/131378092104997282\ 0392224771988131580961531349686189948535956641613488940674421906514\ 10466964148550364778765177772453*c_1001_3^24 - 3835313445077239161079391931849463064670782398615586193073008621882\ 705568182470233636837498212804735405855896585132/131378092104997282\ 0392224771988131580961531349686189948535956641613488940674421906514\ 10466964148550364778765177772453*c_1001_3^23 - 2331845746235831714398977308130050392459111038128742549922714432735\ 2718979924827757473530817856923529200902117444712/13137809210499728\ 2039222477198813158096153134968618994853595664161348894067442190651\ 410466964148550364778765177772453*c_1001_3^22 + 9380668674393962554350661101123686540354645096470538606686300034357\ 5656940786379098377622507457354622107552814507473/13137809210499728\ 2039222477198813158096153134968618994853595664161348894067442190651\ 410466964148550364778765177772453*c_1001_3^21 + 4289423825368334570302254513654525983143997733170250664711365375796\ 9561917283362047161540031244138825188855820332267/13137809210499728\ 2039222477198813158096153134968618994853595664161348894067442190651\ 410466964148550364778765177772453*c_1001_3^20 - 9129382874833119517009568347724113502828850275112440502326159018543\ 35844643546413049097448799879751223979310102438191/1313780921049972\ 8203922247719881315809615313496861899485359566416134889406744219065\ 1410466964148550364778765177772453*c_1001_3^19 + 1581921796212650370695676362773696219975726797907790540592698981587\ 444090742370974274257961761186018459168357808490681/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^18 + 2608964682045899308591135115869224421739966962243919222958396985128\ 072549387675681114322788934790017828331791032398861/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^17 - 1335279569766404478877115512295302945007495860836899041538095177143\ 1123683550007591127621286270457373398408852402371976/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^16 + 1399748728191950456315532726581835228522156365147039986640842187317\ 0850862989270305559127384238999338344036009513721403/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^15 + 1582486339695502681904465655946149545562736298502233113094678664377\ 5636861723722731607318961400027350124938887259061919/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^14 - 5589269228940612234050938202919844769886081977273841553474789550880\ 9574538997177869999096526333189168130522673389518708/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^13 + 6050016085584230019003709342429027543037934980180015093076988856214\ 7439674994412283942043320656331377328173517258937519/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^12 - 4845170329205416631114561181198956923278417694240702865427253121517\ 615228135046221130014410035829862169557137241988026/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^11 - 7202875609333028457859114763232441507130550031056533359640246415745\ 2636462199326929107323326177383344277124897756926828/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^10 + 6484648548763325363336796558895795870152771843759286364262995276143\ 9107599867500484517849835657756712295094197607139588/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^9 + 3539507232545911264901491480629963156189451150731612648403069688644\ 435143005398075102258584922793607206737427583948199/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^8 - 1852095798007474658837102959889427259618185805389897670040490812142\ 4209499144717243245712979183289847526253547320799188/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^7 - 2815811554941870461766575866626335466426191853048017770883789966442\ 789288710259076167418716713983715944381806423910470/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^6 - 2665882794274417487277999730755698896466757112843748841179358113200\ 450477126546885429171655777937925151677052414360029/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^5 + 1122939523370482202189119309838387468963074701680770295925613619314\ 8348950781995073759369175297270354331582611723681864/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^4 - 1685635262750838018027746942577151215923087685920059030565814524298\ 739783590841487072878370263458953076029285307444752/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^3 - 1979335100407930733664000529588800380291838999846206513733143225894\ 070239020858289737330029256149390334242740309047423/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^2 + 1214897620188438791982911449732296575386283013879742458866454257953\ 97505977393622522009314051779539191447768799519865/1313780921049972\ 8203922247719881315809615313496861899485359566416134889406744219065\ 1410466964148550364778765177772453*c_1001_3 + 8829682507769972196841225478882391568466300902275691353572154504607\ 1234518980124671291961025082048874520167431406306/13137809210499728\ 2039222477198813158096153134968618994853595664161348894067442190651\ 410466964148550364778765177772453, c_0101_0 - 289951514019531042126272144888601269475248599560662678311479\ 6755827112106339617192530493821331520120421682132/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^27 - 2911536313936435859955967008287994153799363739541244093731552060247\ 6025586724666144627251130178206065083507902/82747428421614462454634\ 0474893324671513214933354027806598196536885739711957184547782392561\ 3412392162548262592289*c_1001_3^26 + 7700921484232022642380700525579161937282114661940390281315303928667\ 2669794787595747204264636969667022942382286/82747428421614462454634\ 0474893324671513214933354027806598196536885739711957184547782392561\ 3412392162548262592289*c_1001_3^25 + 8838685283385607429569865844114178158410693982712178387889241259322\ 70709875416737776958030998621723976685318494/8274742842161446245463\ 4047489332467151321493335402780659819653688573971195718454778239256\ 13412392162548262592289*c_1001_3^24 - 2589191588528253184535610740303227449790343711532974269736126977996\ 891138063426592338879143436137712873454060402/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^23 - 1025047063915899334802779518065704980761555655877290041829496172625\ 2348526939644385640869888793869608119185332526/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3^22 + 5532912925325343143645497931630411986847620688319474018739039625730\ 7241347682285445246919311641401878511590813894/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3^21 - 1297350974458823728630446749057187843985309566406595975516597950646\ 6112032710640652078806333420977374467288091221/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3^20 - 4701193389594774632776960762649380857455965293272163474235153261160\ 75860450754056416480014122608564343945418107589/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^19 + 1121784954642882485451579503927345041583511054971662895082971091650\ 847611089085411515820957621592970275733276410281/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^18 + 7113956540209021863461164808023498320190586851069628367414523308394\ 76496149085081670938917929825053732343161759405/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^17 - 7570376394995751985999628099528412426653655805580461618980850485972\ 892047754978189778642496834952283529074376498296/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^16 + 1185840174539573761969296834685864570661579415126902833587681102705\ 1370875840993770400568618848188073796318033429313/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^15 + 2466276749255390361328618781737081128441984337878447199461302752392\ 690860125893458476792185171383031531792289864528/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^14 - 3294272568012596834555336415385707891323400239209883646946477440630\ 3905692151778552152255448354051271909428333016046/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^13 + 5040470561205067548718086192987751979018152765803249702999354309386\ 9874448580412896953928097348522210939697502855430/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^12 - 2620793274508155002881041469053328006164223054673185267327050818392\ 6089859542019788314874029800046568127961805272305/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^11 - 3092334444048633054172936843417748589727187744901850712361866763689\ 2683924439115824002514547927284315803736754826758/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^10 + 5625728269519145893946641046141270498630148150847514220389780147608\ 4621118014393710018517563112976342404898309080395/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^9 - 2308909628702752721196570977291139254984675488721198085494920217525\ 2834339128517376146127275608537575369573900821059/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^8 - 6368960795800739916343226228684532555717362797083213175648085581795\ 326698480453360084886973605466196742318723365268/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^7 + 2967907884812159179591769776377358909437257744810012237817640577997\ 405170996547735199660416506716831161375260273387/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^6 - 8826244116732331340622724179492179573707830677364242356485078027934\ 96745981779027568221573370579365476761397079828/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^5 + 7119142998018419446028068328591217944196763619385555347901265831357\ 762071823611729738017512491236287302943056348364/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^4 - 4910560633160043218104280932782932231632934172864666518503653227842\ 430681539385173249272736334667537597225074979495/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^3 + 1231880819832530052808583570089506171123663895837509664246319184856\ 34121803132431630461027095106536389963964289672/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^2 + 2901761897821933546034622248843292612124496121984997130737337202788\ 77240077695202205000826673068894260799842111624/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3 - 4834939497202771971379821377119149163938773126004372790968708349992\ 010934994310823897869863124028833000669657720/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289, c_0101_1 - 683931063970505011432844154214141074710660639362771137399320\ 352839061389074143116972231523175483713273611879/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^27 - 6765875032790734472627712583179797270646877986511293140478918851461\ 682284382457304520727454008004585479838426/827474284216144624546340\ 4748933246715132149333540278065981965368857397119571845477823925613\ 412392162548262592289*c_1001_3^26 + 1931548259075748661255907748670320799674592239748344119845265043712\ 1093171496464077157041503679083375880681301/82747428421614462454634\ 0474893324671513214933354027806598196536885739711957184547782392561\ 3412392162548262592289*c_1001_3^25 + 2071954894681140969401078575833223112872523041292506160575942092818\ 46026820311208671377442375581719263990477959/8274742842161446245463\ 4047489332467151321493335402780659819653688573971195718454778239256\ 13412392162548262592289*c_1001_3^24 - 6438270307248662804593345356614133946656802216009950330873390690020\ 67617268823870990295093936849524210244216036/8274742842161446245463\ 4047489332467151321493335402780659819653688573971195718454778239256\ 13412392162548262592289*c_1001_3^23 - 2368138318547642652908169868108629217191661901649031477160685233971\ 862177785133750248833066582996899550684504065/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^22 + 1348624445568994152569542755765482457219304963332981266296347514243\ 8187856190257220429536018658055828272822909210/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3^21 - 4475727605187703139542561729286483528904152457897030957315872875495\ 950234662611112718704671797462747145807088100/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^20 - 1123851877369977006930283905147002242366935430554257901358658335197\ 94453253142386240965832066404409313367985041084/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^19 + 2798180378412444940961355866320999604644484374456558791275221777646\ 60698579357625858895875087816035416092584086230/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^18 + 1480312944594588747585403720419746444732411682385009453200299967652\ 73369711142499680509732115912809387074687618421/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^17 - 1841624065224963804053872335737000370197981002497109539165388520382\ 070467383711927357713039311257292508898674577776/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^16 + 3001730403446382802033603030799529112249204463768450663849234914493\ 200848203907873677863799550421419871230578283433/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^15 + 4423593492252502882510817443130110188761632875433169680040274692590\ 50964855614924815083704319398533291379262342813/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^14 - 8117273107293234601349229415932589553841222769210011567209995045378\ 374026385378102188012925537702003462106272434144/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^13 + 1268802494048621487233218088481324284453235760857807816220152682917\ 3962527890729707917278605391212263608763128783562/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^12 - 6838849613360559802876610626715569496577190088536498901746151417325\ 637637878683166004968508906132399150413160650094/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^11 - 7534071987699264207290698807628043264101613779177782098321386573586\ 019039917750051086625264485040026649276087009134/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^10 + 1440681147865947950079195465936628111111222186772084372677296277295\ 0923883285319486093605135053147924100567196081616/82747428421614462\ 4546340474893324671513214933354027806598196536885739711957184547782\ 3925613412392162548262592289*c_1001_3^9 - 6025827075198430401617110466698411297219027616940170184184215617304\ 231745554132720529542802166977034103423127806108/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^8 - 1803646542301462218703959559598571481165161980422056371361349894869\ 015635022288058498946691641163691663982391529643/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^7 + 8427337520883673288185685150883079871402830127131363207950655614218\ 81444264523038957204739182403857977361095348527/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^6 - 1080190173769870399983389368274331215195474803382826177713442481819\ 79080008708875351356236420825719780423618370737/8274742842161446245\ 4634047489332467151321493335402780659819653688573971195718454778239\ 25613412392162548262592289*c_1001_3^5 + 1805529687637507511817241050077265591311145877472593639444767848150\ 092288090709841308222595239366547065146051775362/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^4 - 1300264298477959536464198390800664241043161382544886572299349662117\ 048918573199177317869042515825809130682128197286/827474284216144624\ 5463404748933246715132149333540278065981965368857397119571845477823\ 925613412392162548262592289*c_1001_3^3 - 8038230447406274670143453401564011339646556841033443989994664567735\ 094753757286336921746977605736247870430903816/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289*c_1001_3^2 + 7760504002468263989390882167264708333035630852526598212648349030888\ 8647471218513596402113266979346120201400024448/82747428421614462454\ 6340474893324671513214933354027806598196536885739711957184547782392\ 5613412392162548262592289*c_1001_3 + 3801423094542707960335605043841676172341083022475774293767569398406\ 891646420888223721783391176058458574172061560/827474284216144624546\ 3404748933246715132149333540278065981965368857397119571845477823925\ 613412392162548262592289, c_0101_3 + 287523274376195403358370201058684218276417139103050423011767\ 59855400541907572851491128712260092953577547213855799/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^27 + 2904784475535957015215997430458362593116133257174600221666022960933\ 22184588127250561307968415157741464306236509721/1313780921049972820\ 3922247719881315809615313496861899485359566416134889406744219065141\ 0466964148550364778765177772453*c_1001_3^26 - 7441325339139050147240977443641477348726254176309583532549892305055\ 57451734207496274451943908407872491016503297293/1313780921049972820\ 3922247719881315809615313496861899485359566416134889406744219065141\ 0466964148550364778765177772453*c_1001_3^25 - 8791589091675574484054112974242045506016751094014868320469721562744\ 760463104438053367072147582176807836300384002170/131378092104997282\ 0392224771988131580961531349686189948535956641613488940674421906514\ 10466964148550364778765177772453*c_1001_3^24 + 2510902813309835941005260841298694365201361741454511290974755748563\ 8757309861425111915529332841071294228149676601540/13137809210499728\ 2039222477198813158096153134968618994853595664161348894067442190651\ 410466964148550364778765177772453*c_1001_3^23 + 1026410078479022034436044237272171398561040416175343908909056124538\ 64621881998584201994808178178463398956239540610882/1313780921049972\ 8203922247719881315809615313496861899485359566416134889406744219065\ 1410466964148550364778765177772453*c_1001_3^22 - 5413776050229315326162242724762987949050000737469799410590327328855\ 74823102103415078092391212504709585984694637298275/1313780921049972\ 8203922247719881315809615313496861899485359566416134889406744219065\ 1410466964148550364778765177772453*c_1001_3^21 + 1024473058716236299964154119687205160584460051990022639570596250351\ 30031386732279642569596116617759880375005633478944/1313780921049972\ 8203922247719881315809615313496861899485359566416134889406744219065\ 1410466964148550364778765177772453*c_1001_3^20 + 4642473916189277210725485466816632706903449582937426102581724943558\ 267895428196135579900141512507549231011487048981771/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^19 - 1085704213744839581304971269602070400801359807197424189989543455240\ 8433189100644414687366409078754250162091955728896940/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^18 - 7460736977671252025890489420958744800856655987327492662888873213674\ 842400867772299922332084438303946689045740976298178/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^17 + 7420948657422201072532315758959727882027548658568216800666355416100\ 0217056241736860626142422483273192708237886939432367/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^16 - 1138650289211313634558903256156598088535175019034647746751878709038\ 52353054445120200952457017346503656639800369869564875/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^15 - 2778623087404013890879673730504967945863780313004225739447662828414\ 6129352354581347196222119130837247913118775316110805/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^14 + 3216311489182581235460411000050421179199115719476136781347501321070\ 26070745040274900798848785157110012900117807379978973/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^13 - 4850139589416825765523282526337902043369215196233890805837675728668\ 06661801410620172033669415947641475884655140666921189/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^12 + 2448465443651804551558041136461551548286510174101234959994902551519\ 33011142100875394222513684849516558840504573322632724/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^11 + 3067621121795153208507440814902933420753730375882043179411576473622\ 32681533248100093799269602268825831355154985955615888/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^10 - 5391221400803146393046038550468282262871532376031647312610786414678\ 22753530353119320274896343397098578270906454431974595/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^9 + 2148911695352769560622713108175196734303661118677976709336884232954\ 85537895480176805404501028373115213994575944995781335/1313780921049\ 9728203922247719881315809615313496861899485359566416134889406744219\ 0651410466964148550364778765177772453*c_1001_3^8 + 6188726712216030984986935025512273283014332649852766261138230458125\ 7187762946077950638173434322473976802526237523925670/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^7 - 2742953596667928148915829934111382919025191625859772780771253495129\ 9827844671601503553252086944614993013565285681170606/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^6 + 1011017670326848001150874277120128322261212001606947668458228782364\ 3089982046212140590354639469259100709546797798089719/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^5 - 6883224629530724147172946043176184761323403691432307489980345265579\ 9261677392511947818934545664068670095898034265220728/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^4 + 4579148029870002201021267954537458704349135940818567183876286077929\ 9611914286036624825585315143103975337651255485069144/13137809210499\ 7282039222477198813158096153134968618994853595664161348894067442190\ 651410466964148550364778765177772453*c_1001_3^3 - 1042029938725870869357107333320561519098225050604523618697984374278\ 035524427249547322406755188699347531744534335555928/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3^2 - 2769222256808700071544726620258934391212732483935477360896321036875\ 241193300323568996913293857006832177994390191957626/131378092104997\ 2820392224771988131580961531349686189948535956641613488940674421906\ 51410466964148550364778765177772453*c_1001_3 + 7374153804325308204257357212589487862120061356720502275856954946370\ 2120461980078513612552696965018599624812330450994/13137809210499728\ 2039222477198813158096153134968618994853595664161348894067442190651\ 410466964148550364778765177772453, c_1001_3^28 + 10*c_1001_3^27 - 27*c_1001_3^26 - 304*c_1001_3^25 + 906*c_1001_3^24 + 3506*c_1001_3^23 - 19243*c_1001_3^22 + 5166*c_1001_3^21 + 162320*c_1001_3^20 - 393367*c_1001_3^19 - 233011*c_1001_3^18 + 2626948*c_1001_3^17 - 4186551*c_1001_3^16 - 733317*c_1001_3^15 + 11446406*c_1001_3^14 - 17788412*c_1001_3^13 + 9548710*c_1001_3^12 + 10514239*c_1001_3^11 - 19859898*c_1001_3^10 + 8503237*c_1001_3^9 + 2089192*c_1001_3^8 - 1117973*c_1001_3^7 + 314423*c_1001_3^6 - 2479388*c_1001_3^5 + 1766834*c_1001_3^4 - 69966*c_1001_3^3 - 103720*c_1001_3^2 + 5493*c_1001_3 + 31 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB