Magma V2.19-8 Tue Aug 20 2013 18:02:10 on localhost [Seed = 1983365947] Type ? for help. Type -D to quit. Loading file "11_37__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_37 geometric_solution 11.95604922 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 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.746339297395 1.456113118969 0 5 3 6 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.290307167640 0.679409888499 7 0 9 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -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.494256071096 0.814798211358 7 9 1 0 2031 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602669756329 0.781143661844 10 5 0 10 0132 2310 0132 2103 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 1 -1 1 0 -1 0 7 -7 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.805204721454 1.263836915037 7 1 8 4 1023 0132 1230 3201 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 0 1 -7 0 0 7 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.143844398779 0.596225609507 8 9 1 11 1230 1230 0132 0132 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 1 -1 -1 0 1 0 -8 0 0 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266101931734 0.554691847142 2 5 3 11 0132 1023 1302 1023 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 7 0 -7 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.932078912960 1.064924405427 12 6 2 5 0132 3012 0132 3012 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 -1 1 0 0 0 0 -1 1 0 0 -7 8 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525596838275 0.802076577132 12 3 6 2 3012 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.220189688652 0.587429221688 4 11 12 4 0132 1023 3012 2103 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 0 -1 0 1 0 -1 0 0 1 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.805204721454 1.263836915037 10 12 6 7 1023 0213 0132 1023 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 -1 1 0 -7 0 0 7 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.451494826664 1.285390616050 8 10 11 9 0132 1230 0213 1230 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 -1 1 0 0 0 0 0 7 -7 0 0 1 7 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.510261206928 1.021812393659 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_1001_1']), 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0011_6']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : negation(d['c_1001_1']), 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0101_2'], 'c_1010_10' : d['c_0110_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_1001_5']), 'c_1100_8' : negation(d['c_1001_5']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_0101_3']), 'c_1100_1' : negation(d['c_0101_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_1001_5']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_3']), 'c_1100_10' : negation(d['c_0101_10']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0110_11'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_11']), 'c_1010_3' : negation(d['c_0011_6']), 'c_1010_2' : negation(d['c_0011_6']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : negation(d['c_1001_1']), 'c_1010_9' : negation(d['c_1001_1']), 'c_1010_8' : negation(d['c_0101_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_2'], '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_3']), 'c_0011_8' : negation(d['c_0011_12']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0110_11'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : negation(d['c_0011_3']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : negation(d['c_0011_3']), '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' : d['c_0101_2'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0110_11'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_11, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t - 1878453/14668*c_1001_5^5 + 438674131/161348*c_1001_5^4 - 152975838/40337*c_1001_5^3 + 525033455/161348*c_1001_5^2 - 195100747/80674*c_1001_5 + 102258831/161348, c_0011_0 - 1, c_0011_10 + 68/193*c_1001_5^5 - 1512/193*c_1001_5^4 + 3427/193*c_1001_5^3 - 2969/193*c_1001_5^2 + 2431/193*c_1001_5 - 967/193, c_0011_12 + 37/386*c_1001_5^5 - 400/193*c_1001_5^4 + 684/193*c_1001_5^3 - 659/386*c_1001_5^2 + 599/386*c_1001_5 - 168/193, c_0011_3 - 25/772*c_1001_5^5 + 156/193*c_1001_5^4 - 1375/386*c_1001_5^3 + 3961/772*c_1001_5^2 - 3065/772*c_1001_5 + 849/386, c_0011_6 - 527/772*c_1001_5^5 + 2833/193*c_1001_5^4 - 9299/386*c_1001_5^3 + 16303/772*c_1001_5^2 - 11651/772*c_1001_5 + 2179/386, c_0101_0 - 99/386*c_1001_5^5 + 1112/193*c_1001_5^4 - 2743/193*c_1001_5^3 + 5279/386*c_1001_5^2 - 4263/386*c_1001_5 + 992/193, c_0101_1 + 99/772*c_1001_5^5 - 556/193*c_1001_5^4 + 2743/386*c_1001_5^3 - 5279/772*c_1001_5^2 + 3491/772*c_1001_5 - 799/386, c_0101_10 + 99/772*c_1001_5^5 - 556/193*c_1001_5^4 + 2743/386*c_1001_5^3 - 5279/772*c_1001_5^2 + 3491/772*c_1001_5 - 799/386, c_0101_2 - 230/193*c_1001_5^5 + 4853/193*c_1001_5^4 - 6193/193*c_1001_5^3 + 5291/193*c_1001_5^2 - 3880/193*c_1001_5 + 915/193, c_0101_3 - 131/386*c_1001_5^5 + 1411/193*c_1001_5^4 - 2380/193*c_1001_5^3 + 4837/386*c_1001_5^2 - 3863/386*c_1001_5 + 720/193, c_0110_11 - 173/386*c_1001_5^5 + 1912/193*c_1001_5^4 - 4111/193*c_1001_5^3 + 6597/386*c_1001_5^2 - 5461/386*c_1001_5 + 1135/193, c_1001_1 - 37/386*c_1001_5^5 + 400/193*c_1001_5^4 - 684/193*c_1001_5^3 + 659/386*c_1001_5^2 - 599/386*c_1001_5 + 168/193, c_1001_5^6 - 22*c_1001_5^5 + 46*c_1001_5^4 - 49*c_1001_5^3 + 39*c_1001_5^2 - 20*c_1001_5 + 4 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_3, c_0110_11, c_1001_1, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 91962664810773800616614748329247394702986287347/4342748827423783475\ 293794217673286166004736*c_1001_5^19 - 615424528739004695152187418005792628265037916427/108568720685594586\ 8823448554418321541501184*c_1001_5^18 + 4792607293111522383539885494830724907006647639987/62039268963196906\ 7899113459667612309429248*c_1001_5^17 - 93735737518905802834375360755374432157576900098471/2171374413711891\ 737646897108836643083002368*c_1001_5^16 + 108521816594379778660165441249470018706561390159637/723791471237297\ 245882299036278881027667456*c_1001_5^15 - 794316438305468221878562009290818681146957151556311/217137441371189\ 1737646897108836643083002368*c_1001_5^14 + 487577338380451504235706649454396970190532918806195/723791471237297\ 245882299036278881027667456*c_1001_5^13 - 1390666024600631824997131623435275700564727157664209/14475829424745\ 94491764598072557762055334912*c_1001_5^12 + 1157812029624196854796209144069375172015476879140881/10856872068559\ 45868823448554418321541501184*c_1001_5^11 - 1992461527903074570068023211428402674409713944368313/21713744137118\ 91737646897108836643083002368*c_1001_5^10 + 35781516796851544119443360474128524637557704227021/5714143193978662\ 4674918344969385344289536*c_1001_5^9 - 202869898849442046217174280672114649742807511444617/542843603427972\ 934411724277209160770750592*c_1001_5^8 + 345365477074980195547651792110138603254851036885315/144758294247459\ 4491764598072557762055334912*c_1001_5^7 - 895882548868352108922701213771531389862555248014217/434274882742378\ 3475293794217673286166004736*c_1001_5^6 + 784941496332973376229937932926958208374613620047063/434274882742378\ 3475293794217673286166004736*c_1001_5^5 - 33434836090715338945621875170469904715730713715239/2714218017139864\ 67205862138604580385375296*c_1001_5^4 + 48997994096365709469788016009617746690205407215045/7237914712372972\ 45882299036278881027667456*c_1001_5^3 - 30948885292230946439994238125391510261724698122557/1447582942474594\ 491764598072557762055334912*c_1001_5^2 + 1735007941435453883887474786003625437787375314015/31019634481598453\ 3949556729833806154714624*c_1001_5 - 129488954466134680550354094870427339632069354503/206797563210656355\ 966371153222537436476416, c_0011_0 - 1, c_0011_10 - 194264946523065616265145649405527293/7298874915668636914331\ 48694172610672*c_1001_5^19 + 649218964643003454861180547399545115/9\ 1235936445857961429143586771576334*c_1001_5^18 - 35344906711401430690267785739700737475/3649437457834318457165743470\ 86305336*c_1001_5^17 + 196752549924313334330388187795517694187/3649\ 43745783431845716574347086305336*c_1001_5^16 - 85006788094098388736503338589672042920/4561796822292898071457179338\ 5788167*c_1001_5^15 + 412406045915146858136074872610681554559/91235\ 936445857961429143586771576334*c_1001_5^14 - 3017780863271737945149640007691035696505/36494374578343184571657434\ 7086305336*c_1001_5^13 + 8541577898783651558107964496628052898257/7\ 29887491566863691433148694172610672*c_1001_5^12 - 126950950114429811948477588261081433365/986334448063329312747498235\ 3683928*c_1001_5^11 + 7995012235438605927941598124358800925433/7298\ 87491566863691433148694172610672*c_1001_5^10 - 2701501521556383816496250547155947257283/36494374578343184571657434\ 7086305336*c_1001_5^9 + 3225074393276761064220256131279890173663/72\ 9887491566863691433148694172610672*c_1001_5^8 - 2082241696190184458379166577426007980521/72988749156686369143314869\ 4172610672*c_1001_5^7 + 113477555628547962738885199130663438974/456\ 17968222928980714571793385788167*c_1001_5^6 - 197775459639475622848531493201454643567/912359364458579614291435867\ 71576334*c_1001_5^5 + 265176448242917917500210136611723248531/18247\ 1872891715922858287173543152668*c_1001_5^4 - 289265429798429240567616124061933476723/364943745783431845716574347\ 086305336*c_1001_5^3 + 179621675774228716066757963685291823561/7298\ 87491566863691433148694172610672*c_1001_5^2 - 2931402598406716103086013804893106626/45617968222928980714571793385\ 788167*c_1001_5 + 684396459754135297249446210681607847/912359364458\ 57961429143586771576334, c_0011_12 + 79771021629077354148770673444363015/14597749831337273828662\ 97388345221344*c_1001_5^19 - 2118048215701066424301954873603023347/\ 1459774983133727382866297388345221344*c_1001_5^18 + 14321926240621802635750663478355499777/7298874915668636914331486941\ 72610672*c_1001_5^17 - 4890029037615080794210561917175297553/456179\ 68222928980714571793385788167*c_1001_5^16 + 265998923512567469790315986639362967311/729887491566863691433148694\ 172610672*c_1001_5^15 - 317669300288405816987889368959954463365/364\ 943745783431845716574347086305336*c_1001_5^14 + 1147505502925271259197983017829132535621/72988749156686369143314869\ 4172610672*c_1001_5^13 - 3212592590824981551533474328338890545693/1\ 459774983133727382866297388345221344*c_1001_5^12 + 94709431210447994824085365541381751773/3945337792253317250989992941\ 4735712*c_1001_5^11 - 2975207285186938989462048272657726103501/1459\ 774983133727382866297388345221344*c_1001_5^10 + 2033126536493070604732853294306152162777/14597749831337273828662973\ 88345221344*c_1001_5^9 - 1237808833637839799298724890029267051631/1\ 459774983133727382866297388345221344*c_1001_5^8 + 49725948192323802774229570482560948511/9123593644585796142914358677\ 1576334*c_1001_5^7 - 688019168956354845540689666956912566419/145977\ 4983133727382866297388345221344*c_1001_5^6 + 36889279430386468572485855459739330785/9123593644585796142914358677\ 1576334*c_1001_5^5 - 24527601932442201993432978097168270835/9123593\ 6445857961429143586771576334*c_1001_5^4 + 111478247404755902230645950167298216897/729887491566863691433148694\ 172610672*c_1001_5^3 - 67630743993061317777739494503237114681/14597\ 74983133727382866297388345221344*c_1001_5^2 + 19860338098665854937552694302481853683/1459774983133727382866297388\ 345221344*c_1001_5 - 639459371378449876335085738441343197/364943745\ 783431845716574347086305336, c_0011_3 + 407087731659654439558791053714571239/14597749831337273828662\ 97388345221344*c_1001_5^19 - 10898464741061383569404785473320171535\ /1459774983133727382866297388345221344*c_1001_5^18 + 74270990465979637885513819740931711305/7298874915668636914331486941\ 72610672*c_1001_5^17 - 103792663698186043750099554018284845567/1824\ 71872891715922858287173543152668*c_1001_5^16 + 1442393402126619321376324026028368971587/72988749156686369143314869\ 4172610672*c_1001_5^15 - 1760235903058191334986490668850906937193/3\ 64943745783431845716574347086305336*c_1001_5^14 + 6486091047448061932254126908866867451333/72988749156686369143314869\ 4172610672*c_1001_5^13 - 18512936934029653858133983949389004448229/\ 1459774983133727382866297388345221344*c_1001_5^12 + 556030614892124160869773237124876785977/394533779225331725098999294\ 14735712*c_1001_5^11 - 17732524582984477112445598189141253245061/14\ 59774983133727382866297388345221344*c_1001_5^10 + 12131352095406141860003865506516075528501/1459774983133727382866297\ 388345221344*c_1001_5^9 - 7256520234981405821173179568698852971063/\ 1459774983133727382866297388345221344*c_1001_5^8 + 1156670653094870799040932292320665191137/36494374578343184571657434\ 7086305336*c_1001_5^7 - 3983982316753691640803374767445788420383/14\ 59774983133727382866297388345221344*c_1001_5^6 + 218102321675096398811301799382502062115/912359364458579614291435867\ 71576334*c_1001_5^5 - 149003412020609197868049990876394709073/91235\ 936445857961429143586771576334*c_1001_5^4 + 658817486248122117764782918269982238593/729887491566863691433148694\ 172610672*c_1001_5^3 - 420871483584258744417105466228640569889/1459\ 774983133727382866297388345221344*c_1001_5^2 + 109504814994731656350059772773856741967/145977498313372738286629738\ 8345221344*c_1001_5 - 3202859710379794323551785942368679585/3649437\ 45783431845716574347086305336, c_0011_6 - 418488951085904202604258668323579989/14597749831337273828662\ 97388345221344*c_1001_5^19 + 5603594381681674762677267377427492155/\ 729887491566863691433148694172610672*c_1001_5^18 - 152793135068481166200117342119608163959/145977498313372738286629738\ 8345221344*c_1001_5^17 + 427400526866927142069676295110400620555/72\ 9887491566863691433148694172610672*c_1001_5^16 - 1485864482081871364538897791151502110715/72988749156686369143314869\ 4172610672*c_1001_5^15 + 3628544392187623376712445460494876824717/7\ 29887491566863691433148694172610672*c_1001_5^14 - 6687545411094147203635265597136803144683/72988749156686369143314869\ 4172610672*c_1001_5^13 + 19091012178949500281799349560698601555185/\ 1459774983133727382866297388345221344*c_1001_5^12 - 286663117168753459608494519817627437787/197266889612665862549499647\ 07367856*c_1001_5^11 + 9136233223175253918375623084878073690779/729\ 887491566863691433148694172610672*c_1001_5^10 - 6241051993883764720535811396974068101939/72988749156686369143314869\ 4172610672*c_1001_5^9 + 232922656521241325747466004252559947835/456\ 17968222928980714571793385788167*c_1001_5^8 - 4755571467384762570757114565496707110037/14597749831337273828662973\ 88345221344*c_1001_5^7 + 4103330044441400218037923655262994407677/1\ 459774983133727382866297388345221344*c_1001_5^6 - 3598046617401170245832011230022158826445/14597749831337273828662973\ 88345221344*c_1001_5^5 + 306922181709720947936796908827440540517/18\ 2471872891715922858287173543152668*c_1001_5^4 - 675503225384484092822085606038585923457/729887491566863691433148694\ 172610672*c_1001_5^3 + 431238839055634411210525941605553132845/1459\ 774983133727382866297388345221344*c_1001_5^2 - 6942015412362620167758780882745113127/91235936445857961429143586771\ 576334*c_1001_5 + 13881802314460227101792501770503779041/1459774983\ 133727382866297388345221344, c_0101_0 - 267640203209605450340464634749707107/72988749156686369143314\ 8694172610672*c_1001_5^19 + 14344394875051238062512827560742496625/\ 1459774983133727382866297388345221344*c_1001_5^18 - 195681377437823339407492060311663059139/145977498313372738286629738\ 8345221344*c_1001_5^17 + 548309372468930618703170455723527059431/72\ 9887491566863691433148694172610672*c_1001_5^16 - 954399192060575521226633237766566385197/364943745783431845716574347\ 086305336*c_1001_5^15 + 4666804179681651938960107507390873398503/72\ 9887491566863691433148694172610672*c_1001_5^14 - 2152173456592866400118958092079350131763/18247187289171592285828717\ 3543152668*c_1001_5^13 + 6148514574063792446851739874600761325339/3\ 64943745783431845716574347086305336*c_1001_5^12 - 739113272471747000506459315724309786839/394533779225331725098999294\ 14735712*c_1001_5^11 + 23573325563324727194777238727642088661127/14\ 59774983133727382866297388345221344*c_1001_5^10 - 16118176616953948195429592604847971633335/1459774983133727382866297\ 388345221344*c_1001_5^9 + 9646143186315481892003958943686511938683/\ 1459774983133727382866297388345221344*c_1001_5^8 - 6173062058174848978730034934806124779887/14597749831337273828662973\ 88345221344*c_1001_5^7 + 2654848623475179908462688057565525053799/7\ 29887491566863691433148694172610672*c_1001_5^6 - 4645573006746486792168645182444772528739/14597749831337273828662973\ 88345221344*c_1001_5^5 + 792892551332336846142859788961272591973/36\ 4943745783431845716574347086305336*c_1001_5^4 - 436078798693898078900751621709334571071/364943745783431845716574347\ 086305336*c_1001_5^3 + 141370139984432634737759145911643969299/3649\ 43745783431845716574347086305336*c_1001_5^2 - 148269525761641221634046709592024805139/145977498313372738286629738\ 8345221344*c_1001_5 + 18204310130992758312283404769175651959/145977\ 4983133727382866297388345221344, c_0101_1 + 132634497171580589851417430923911979/14597749831337273828662\ 97388345221344*c_1001_5^19 - 1763574654296701904705275923079829947/\ 729887491566863691433148694172610672*c_1001_5^18 + 47763439463257512503865091503566328429/1459774983133727382866297388\ 345221344*c_1001_5^17 - 130963506988916254873598838177788949671/729\ 887491566863691433148694172610672*c_1001_5^16 + 446110179347201449705618205923184238403/729887491566863691433148694\ 172610672*c_1001_5^15 - 1065672560465878948693801389460484567973/72\ 9887491566863691433148694172610672*c_1001_5^14 + 1920009277997041027577636268460463186999/72988749156686369143314869\ 4172610672*c_1001_5^13 - 5345850425221848366750352037487680011843/1\ 459774983133727382866297388345221344*c_1001_5^12 + 78009103692930628741117247579467915533/1972668896126658625494996470\ 7367856*c_1001_5^11 - 2407773908006217091922008911312022495817/7298\ 87491566863691433148694172610672*c_1001_5^10 + 1603082264002083849601340821379469241555/72988749156686369143314869\ 4172610672*c_1001_5^9 - 478999603516300100787862921024297487609/364\ 943745783431845716574347086305336*c_1001_5^8 + 1252864720431634462404585090023376315859/14597749831337273828662973\ 88345221344*c_1001_5^7 - 1114150660315347879258875745849088089543/1\ 459774983133727382866297388345221344*c_1001_5^6 + 960337490822062744658512342655577487271/145977498313372738286629738\ 8345221344*c_1001_5^5 - 156578047591689885253918140078859818727/364\ 943745783431845716574347086305336*c_1001_5^4 + 170435885185603455342756965372847604837/729887491566863691433148694\ 172610672*c_1001_5^3 - 97168437678586005399356662788939125687/14597\ 74983133727382866297388345221344*c_1001_5^2 + 3301026088159908974393520835973875131/18247187289171592285828717354\ 3152668*c_1001_5 - 2756002657420720806226918166555568239/1459774983\ 133727382866297388345221344, c_0101_10 - 245745364379993307001434826283088033/1459774983133727382866\ 297388345221344*c_1001_5^19 + 6574570270530913122291876578583388265\ /1459774983133727382866297388345221344*c_1001_5^18 - 44773524152664708224734277080295417033/7298874915668636914331486941\ 72610672*c_1001_5^17 + 15610529428640156909895211673063031554/45617\ 968222928980714571793385788167*c_1001_5^16 - 865628315967783542989063024479234270533/729887491566863691433148694\ 172610672*c_1001_5^15 + 1053300705710017062808742417331973532071/36\ 4943745783431845716574347086305336*c_1001_5^14 - 3868166468339043090417240216394177252007/72988749156686369143314869\ 4172610672*c_1001_5^13 + 10996115623128498288104344496675099781067/\ 1459774983133727382866297388345221344*c_1001_5^12 - 328569781199837525936483248598701845055/394533779225331725098999294\ 14735712*c_1001_5^11 + 10408903959071107009910285791794416381311/14\ 59774983133727382866297388345221344*c_1001_5^10 - 7069203566703359764167269469692656812939/14597749831337273828662973\ 88345221344*c_1001_5^9 + 4213625116144987772532477389260379288405/1\ 459774983133727382866297388345221344*c_1001_5^8 - 675096960452700633102268241116454871135/364943745783431845716574347\ 086305336*c_1001_5^7 + 2347956117386353738522619446576250640557/145\ 9774983133727382866297388345221344*c_1001_5^6 - 514203447262606413890634337420458675777/364943745783431845716574347\ 086305336*c_1001_5^5 + 173935668920454687163791921464562322719/1824\ 71872891715922858287173543152668*c_1001_5^4 - 380063004109017135081734933862914054067/729887491566863691433148694\ 172610672*c_1001_5^3 + 237090048792433650274139535890392992303/1459\ 774983133727382866297388345221344*c_1001_5^2 - 61011519080944039394057827150407667641/1459774983133727382866297388\ 345221344*c_1001_5 + 910958795820973545807268794697576243/182471872\ 891715922858287173543152668, c_0101_2 + 62508307944771747286929779331877241/145977498313372738286629\ 7388345221344*c_1001_5^19 - 840042514416692041000971031677061087/72\ 9887491566863691433148694172610672*c_1001_5^18 + 22981125413256053970847502751272657353/1459774983133727382866297388\ 345221344*c_1001_5^17 - 64890093616787010540577605967765579755/7298\ 87491566863691433148694172610672*c_1001_5^16 + 227271838936314512162938872994149390741/729887491566863691433148694\ 172610672*c_1001_5^15 - 558087918904439549567699535124470586695/729\ 887491566863691433148694172610672*c_1001_5^14 + 1031045194233556428554949767605577871403/72988749156686369143314869\ 4172610672*c_1001_5^13 - 2939589022196519912689652783998377040013/1\ 459774983133727382866297388345221344*c_1001_5^12 + 43828705201610488072554342637191603121/1972668896126658625494996470\ 7367856*c_1001_5^11 - 685992353109711113166035068475939902369/36494\ 3745783431845716574347086305336*c_1001_5^10 + 903489399661889667018971508926033907261/729887491566863691433148694\ 172610672*c_1001_5^9 - 515895399030836710517303743140395386103/7298\ 87491566863691433148694172610672*c_1001_5^8 + 662884001744001633605833188653352233429/145977498313372738286629738\ 8345221344*c_1001_5^7 - 604179986197155719446764489224844025691/145\ 9774983133727382866297388345221344*c_1001_5^6 + 542767852211056353889737008695087587711/145977498313372738286629738\ 8345221344*c_1001_5^5 - 11371553738769334464823752650698812835/4561\ 7968222928980714571793385788167*c_1001_5^4 + 92214664002683441837761048724457192689/7298874915668636914331486941\ 72610672*c_1001_5^3 - 50776740302742576736371772313576139793/145977\ 4983133727382866297388345221344*c_1001_5^2 + 2730177155979742663278741717320653511/36494374578343184571657434708\ 6305336*c_1001_5 - 890397759448857072568547152602638875/14597749831\ 33727382866297388345221344, c_0101_3 + 227291524698007265737316414506792863/14597749831337273828662\ 97388345221344*c_1001_5^19 - 1517916588941568369062622982302875251/\ 364943745783431845716574347086305336*c_1001_5^18 + 82595420406004962269533524504899530767/1459774983133727382866297388\ 345221344*c_1001_5^17 - 229588306387220841595080535378992189147/729\ 887491566863691433148694172610672*c_1001_5^16 + 794693874353018853076155727146518860673/729887491566863691433148694\ 172610672*c_1001_5^15 - 1934896823970556764336659847891975957649/72\ 9887491566863691433148694172610672*c_1001_5^14 + 3562674805072582586981213276723037139069/72988749156686369143314869\ 4172610672*c_1001_5^13 - 10179303104041599219812018868846254219855/\ 1459774983133727382866297388345221344*c_1001_5^12 + 38343269378759049213500660751366725835/4931672240316646563737491176\ 841964*c_1001_5^11 - 615577960459544154830581440141611502551/912359\ 36445857961429143586771576334*c_1001_5^10 + 851452489326519620481429176900656765817/182471872891715922858287173\ 543152668*c_1001_5^9 - 2051541274194134407936063991786375757895/729\ 887491566863691433148694172610672*c_1001_5^8 + 2589873489672761438466806679888040098945/14597749831337273828662973\ 88345221344*c_1001_5^7 - 2211598299231861246463908580081690209071/1\ 459774983133727382866297388345221344*c_1001_5^6 + 1936136582460632040741942706350054599833/14597749831337273828662973\ 88345221344*c_1001_5^5 - 83411339332740709830284825769607701143/912\ 35936445857961429143586771576334*c_1001_5^4 + 376034928409837991671118598942831719043/729887491566863691433148694\ 172610672*c_1001_5^3 - 240392878905664664420139613946411541539/1459\ 774983133727382866297388345221344*c_1001_5^2 + 32597647782373590934378576122064686539/7298874915668636914331486941\ 72610672*c_1001_5 - 7917635478802464484208885454743681197/145977498\ 3133727382866297388345221344, c_0110_11 + 150304742647331153058737992835332893/7298874915668636914331\ 48694172610672*c_1001_5^19 - 4004599924823515207478297758794839019/\ 729887491566863691433148694172610672*c_1001_5^18 + 54327120476598410049532984611920400775/7298874915668636914331486941\ 72610672*c_1001_5^17 - 149766438589600099475806357155201819155/3649\ 43745783431845716574347086305336*c_1001_5^16 + 512951152491962949203613747462949101505/364943745783431845716574347\ 086305336*c_1001_5^15 - 616416950645589627220039266892402237955/182\ 471872891715922858287173543152668*c_1001_5^14 + 558946619095377649413194317802773935401/912359364458579614291435867\ 71576334*c_1001_5^13 - 6273416133772179643806865470488709181125/729\ 887491566863691433148694172610672*c_1001_5^12 + 184863125763936704770554656124873797401/197266889612665862549499647\ 07367856*c_1001_5^11 - 2888452278903636080013015878169720053829/364\ 943745783431845716574347086305336*c_1001_5^10 + 3897394889365346672054331035885153778415/72988749156686369143314869\ 4172610672*c_1001_5^9 - 1172557294326363118320465914930100975247/36\ 4943745783431845716574347086305336*c_1001_5^8 + 761399622113203001573471687033455797485/364943745783431845716574347\ 086305336*c_1001_5^7 - 83100098641885842196550566050950124360/45617\ 968222928980714571793385788167*c_1001_5^6 + 1146474311588579785040777128316999223961/72988749156686369143314869\ 4172610672*c_1001_5^5 - 379771982331723991264884822458329520977/364\ 943745783431845716574347086305336*c_1001_5^4 + 52397454090069460531512532073777244871/9123593644585796142914358677\ 1576334*c_1001_5^3 - 127358468657949677465036418819858880481/729887\ 491566863691433148694172610672*c_1001_5^2 + 35031788968825339894007773967771021287/7298874915668636914331486941\ 72610672*c_1001_5 - 4029806081369824648473546615550484711/729887491\ 566863691433148694172610672, c_1001_1 + 157366932571747285523461951508167923/36494374578343184571657\ 4347086305336*c_1001_5^19 - 16871729671398353995690905936485129153/\ 1459774983133727382866297388345221344*c_1001_5^18 + 230206797066692731523492538423991920853/145977498313372738286629738\ 8345221344*c_1001_5^17 - 645457866244860221857485668301118529469/72\ 9887491566863691433148694172610672*c_1001_5^16 + 281113196539085718218698466617876527691/912359364458579614291435867\ 71576334*c_1001_5^15 - 5504194946071736017645026079151888447621/729\ 887491566863691433148694172610672*c_1001_5^14 + 5082914356927362923184497247888383275299/36494374578343184571657434\ 7086305336*c_1001_5^13 - 14541044599858579016335638757935670072273/\ 729887491566863691433148694172610672*c_1001_5^12 + 875239974275293847508293505291661098535/394533779225331725098999294\ 14735712*c_1001_5^11 - 27948842085538847137375644141449047839699/14\ 59774983133727382866297388345221344*c_1001_5^10 + 19104679230264954105891137634164499942183/1459774983133727382866297\ 388345221344*c_1001_5^9 - 11388273272023744166207615015923304691875\ /1459774983133727382866297388345221344*c_1001_5^8 + 7251759914790408772502325529226787238825/14597749831337273828662973\ 88345221344*c_1001_5^7 - 390928286093997727424856621129197284593/91\ 235936445857961429143586771576334*c_1001_5^6 + 5501586717018760262536884199873204410553/14597749831337273828662973\ 88345221344*c_1001_5^5 - 941206445059821937025209669489101701401/36\ 4943745783431845716574347086305336*c_1001_5^4 + 258133496638189312610513522609564591291/182471872891715922858287173\ 543152668*c_1001_5^3 - 330393835409112416800531227661546623525/7298\ 87491566863691433148694172610672*c_1001_5^2 + 168904381795145776994532841458815836015/145977498313372738286629738\ 8345221344*c_1001_5 - 20417810937515459067323075440721389237/145977\ 4983133727382866297388345221344, c_1001_5^20 - 27*c_1001_5^19 + 371*c_1001_5^18 - 2123*c_1001_5^17 + 7552*c_1001_5^16 - 18912*c_1001_5^15 + 35804*c_1001_5^14 - 52715*c_1001_5^13 + 60835*c_1001_5^12 - 54954*c_1001_5^11 + 39566*c_1001_5^10 - 24468*c_1001_5^9 + 15339*c_1001_5^8 - 12344*c_1001_5^7 + 10786*c_1001_5^6 - 7787*c_1001_5^5 + 4538*c_1001_5^4 - 1747*c_1001_5^3 + 497*c_1001_5^2 - 91*c_1001_5 + 7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.220 Total time: 4.440 seconds, Total memory usage: 87.75MB