Magma V2.19-8 Tue Aug 20 2013 16:17:20 on localhost [Seed = 3153733491] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1561 geometric_solution 5.34607456 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 2031 1302 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483193035530 0.349515567311 0 3 2 4 0132 0132 1230 0132 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 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.641329437656 0.982788404359 3 0 4 1 3201 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.641329437656 0.982788404359 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.289070449031 1.064915634595 5 5 1 2 0132 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.274203112747 1.502848229172 4 6 6 4 0132 0132 3201 3201 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.146841977443 0.345809598730 5 5 6 6 2310 0132 2031 1302 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3.860843772218 2.569462822917 ==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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_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_0101_6'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0110_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0110_2'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0110_2'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : negation(d['c_0110_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : d['c_0110_2'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_2']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0110_2']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_6, c_0110_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t + 4140716594443969814178323841502964846385318493803798356508752082375\ 656702840316249023972263007911542/217606995028826103847808329411886\ 3776617460693611968539676902563333979144580712567991962327719467*c_\ 0110_2^25 + 1924749791016806547335843880011088086570309318227710656\ 5504496927706595905323086500478290568028771808/21760699502882610384\ 7808329411886377661746069361196853967690256333397914458071256799196\ 2327719467*c_0110_2^24 - 131476160416131010909994976711997825539943\ 304155860731840177619148392000873704045206781263347360967992/217606\ 9950288261038478083294118863776617460693611968539676902563333979144\ 580712567991962327719467*c_0110_2^23 + 1439550916909946220581621126636224840363984639936754196706887812651\ 00808313024110280035642334821659160/2176069950288261038478083294118\ 863776617460693611968539676902563333979144580712567991962327719467*\ c_0110_2^22 - 46493751463777601299589754454913031220173221130614130\ 1321691368451310879711367274926313151579909146270/21760699502882610\ 3847808329411886377661746069361196853967690256333397914458071256799\ 1962327719467*c_0110_2^21 - 137766066217875144593926605725407957282\ 820480264454346927663833503816601580886896677168132223788406742/217\ 6069950288261038478083294118863776617460693611968539676902563333979\ 144580712567991962327719467*c_0110_2^20 - 6104076280988408839796951469585333579657391988447452042842715907804\ 98546513895112305820747958737818723/2176069950288261038478083294118\ 863776617460693611968539676902563333979144580712567991962327719467*\ c_0110_2^19 + 47144153275368936758913919603089642641367270660386205\ 56535709089359937873287354447967931348281491887815/2176069950288261\ 0384780832941188637766174606936119685396769025633339791445807125679\ 91962327719467*c_0110_2^18 + 71071815628144815967769756417407937757\ 65570352765389700486038677358233927379554800426791485007838783210/2\ 1760699502882610384780832941188637766174606936119685396769025633339\ 79144580712567991962327719467*c_0110_2^17 + 5690457815939958373074481026028587114903854810285023660999718238270\ 237101380546258847285001794259535632/217606995028826103847808329411\ 8863776617460693611968539676902563333979144580712567991962327719467\ *c_0110_2^16 + 4952859521089474137458348947800278839020186201420057\ 394391875569326593347528297386677152043203369338767/217606995028826\ 1038478083294118863776617460693611968539676902563333979144580712567\ 991962327719467*c_0110_2^15 - 2976266300166614696600500644874833521\ 392340805011103460306041990750574514470764806841032445982818992854/\ 2176069950288261038478083294118863776617460693611968539676902563333\ 979144580712567991962327719467*c_0110_2^14 + 3153970340017009548915777357548918260348578605021887836738823413418\ 0323548606899443457402882376217042539/21760699502882610384780832941\ 1886377661746069361196853967690256333397914458071256799196232771946\ 7*c_0110_2^13 - 207141822997873278040909303035414396494394758899405\ 4975264596728486857145097964565611085472468345640600/21760699502882\ 6103847808329411886377661746069361196853967690256333397914458071256\ 7991962327719467*c_0110_2^12 - 210149954081685817260041835412106233\ 1257065904886527712897511125532295208793981246433900273872080820237\ 9/21760699502882610384780832941188637766174606936119685396769025633\ 33979144580712567991962327719467*c_0110_2^11 - 4930244324221796045032024867328636399676155697596301891192099456524\ 579326102026606027140206218159063075/217606995028826103847808329411\ 8863776617460693611968539676902563333979144580712567991962327719467\ *c_0110_2^10 + 1731809331145680447007422348144430823607796478605615\ 757709777186181929563375850992358184841738117752793/310867135755465\ 8626397261848741233966596372419445669342395575090477113063686732239\ 98851761102781*c_0110_2^9 + 635313901726875276933270497293083942601\ 2184729005396210964000114992509848077723858880587774246069078828/21\ 7606995028826103847808329411886377661746069361196853967690256333397\ 9144580712567991962327719467*c_0110_2^8 - 3045259167047997478126740877835374722385600403293015527558193690150\ 752760123214821172211041849725057340/310867135755465862639726184874\ 123396659637241944566934239557509047711306368673223998851761102781*\ c_0110_2^7 + 290505095967401166444965475788947096433511558533106572\ 6501786818522274563982577244160688568379328519519/21760699502882610\ 3847808329411886377661746069361196853967690256333397914458071256799\ 1962327719467*c_0110_2^6 + 9586422572178070344432186885926539739031\ 442154577716489001967692770161724265967618746127300664844867276/217\ 6069950288261038478083294118863776617460693611968539676902563333979\ 144580712567991962327719467*c_0110_2^5 - 2324595676606161298674052069292931905476630249964151021123026378664\ 911010526335474332501432843526023776/217606995028826103847808329411\ 8863776617460693611968539676902563333979144580712567991962327719467\ *c_0110_2^4 - 11433555079910009270233755845687380663562621276348329\ 14298919728551265412022934931114182716897933437300/2176069950288261\ 0384780832941188637766174606936119685396769025633339791445807125679\ 91962327719467*c_0110_2^3 + 276166089183657710303460699354274666355\ 853247003476341248274284091386166880054622847466250715424731567/217\ 6069950288261038478083294118863776617460693611968539676902563333979\ 144580712567991962327719467*c_0110_2^2 + 6005447849129606354616509077261105244827397967425086245561450641828\ 246225479103787241912608241863439/217606995028826103847808329411886\ 3776617460693611968539676902563333979144580712567991962327719467*c_\ 0110_2 - 1893350580117481924220774611413754857967605034442180426957\ 412404583329270653285188901702183750129395/217606995028826103847808\ 3294118863776617460693611968539676902563333979144580712567991962327\ 719467, c_0011_0 - 1, c_0011_4 + 189192075144656739385690675422603515766416755837238514107971\ 7649080776978334115542187987922582656/31086713575546586263972618487\ 4123396659637241944566934239557509047711306368673223998851761102781\ *c_0110_2^25 + 8704632629334171682865287907958183764812941334807735\ 843625791104494959191608785069601687404161258/310867135755465862639\ 7261848741233966596372419445669342395575090477113063686732239988517\ 61102781*c_0110_2^24 - 60553800374441314921911557065400150399000944\ 681579884796974154781585947572926568054130740022070280/310867135755\ 4658626397261848741233966596372419445669342395575090477113063686732\ 23998851761102781*c_0110_2^23 + 68275288695661442793154818183901899\ 711373734305740973559636043798596158513593938854555641859857083/310\ 8671357554658626397261848741233966596372419445669342395575090477113\ 06368673223998851761102781*c_0110_2^22 - 2137363597476280469742936949622175460030843550204373574701064939400\ 06424214986798679619792788575994/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^21 - 538042693251423063145309038306254269214171582867633502755\ 42905981790176921674370464008573077927572/3108671357554658626397261\ 8487412339665963724194456693423955750904771130636867322399885176110\ 2781*c_0110_2^20 - 269530736663453923069547578370765734152851059139\ 681120232817176418602520367757906176825020064457364/310867135755465\ 8626397261848741233966596372419445669342395575090477113063686732239\ 98851761102781*c_0110_2^19 + 21741243293264980944452036636328575982\ 24274851467035434569830376788499493238087461180822672612435210/3108\ 6713575546586263972618487412339665963724194456693423955750904771130\ 6368673223998851761102781*c_0110_2^18 + 3158804184973736390808964237711121208463397390261711415472315882652\ 409324640199291878802602986822501/310867135755465862639726184874123\ 396659637241944566934239557509047711306368673223998851761102781*c_0\ 110_2^17 + 23816755154640821155132125122416169730737268256145828466\ 55975299053222997177260178396929843191017433/3108671357554658626397\ 2618487412339665963724194456693423955750904771130636867322399885176\ 1102781*c_0110_2^16 + 198188067350921615988593668710248592603032027\ 4214156873580517224908019885392514628181972806616604614/31086713575\ 5465862639726184874123396659637241944566934239557509047711306368673\ 223998851761102781*c_0110_2^15 - 1659973279695656757832176751900794\ 472235554475669401410004163477041726579708639288163926922756609674/\ 3108671357554658626397261848741233966596372419445669342395575090477\ 11306368673223998851761102781*c_0110_2^14 + 1427591783752827170049681018155957777170708443891450409609997954150\ 4352298358650618430489249689505937/31086713575546586263972618487412\ 3396659637241944566934239557509047711306368673223998851761102781*c_\ 0110_2^13 - 1707974641179739983856707236706822943686334712774411145\ 704113049104046061117546115904316478023675342/310867135755465862639\ 7261848741233966596372419445669342395575090477113063686732239988517\ 61102781*c_0110_2^12 - 10088563202457389764357894859131830777936922\ 618550886006739298023471656953600817469302667919102024594/310867135\ 7554658626397261848741233966596372419445669342395575090477113063686\ 73223998851761102781*c_0110_2^11 - 2138719021354706261490371718675395254491353407724132032975242222416\ 743571818764625135237210736336569/310867135755465862639726184874123\ 396659637241944566934239557509047711306368673223998851761102781*c_0\ 110_2^10 + 57905764713989588506257548087342581524706099004282098979\ 98332165291495419941702706774164271628500451/3108671357554658626397\ 2618487412339665963724194456693423955750904771130636867322399885176\ 1102781*c_0110_2^9 + 2834554672321312025024207054600070329072233282\ 444292674363554545448047204409151801883874597284514504/310867135755\ 4658626397261848741233966596372419445669342395575090477113063686732\ 23998851761102781*c_0110_2^8 - 994914956537975647608187674875791723\ 7461771479466391830868459856414978043618243926819869829691093563/31\ 0867135755465862639726184874123396659637241944566934239557509047711\ 306368673223998851761102781*c_0110_2^7 + 1624865413309319122890602325918593931665379822682139872156261773045\ 739175978384182846279137917333091/310867135755465862639726184874123\ 396659637241944566934239557509047711306368673223998851761102781*c_0\ 110_2^6 + 454600634457689424043594807398680544072332854195212179091\ 3183220640933528766713165229006734194329141/31086713575546586263972\ 6184874123396659637241944566934239557509047711306368673223998851761\ 102781*c_0110_2^5 - 11399724756031616289405085953432305361164652391\ 76182200864151448810053708658634571431234551139886210/3108671357554\ 6586263972618487412339665963724194456693423955750904771130636867322\ 3998851761102781*c_0110_2^4 - 5595304576864405092693874107359572477\ 71499036491514787731178597197278301780144970873943802225500663/3108\ 6713575546586263972618487412339665963724194456693423955750904771130\ 6368673223998851761102781*c_0110_2^3 + 1228873913095721101869543911585399840059810967567698429453332841862\ 75703734405770304040043553702934/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^2 + 4084430444011933607454616590358989478113090403681996470160\ 073480764420396073400795374860728672944/310867135755465862639726184\ 8741233966596372419445669342395575090477113063686732239988517611027\ 81*c_0110_2 - 38481872264141575602680400048779800102292573774058857\ 7758244630259243308465670976769463159248146/31086713575546586263972\ 6184874123396659637241944566934239557509047711306368673223998851761\ 102781, c_0101_0 + 141160524750840534541432572517621388687075574750814629023827\ 035855764745686352204186018714700974/310867135755465862639726184874\ 123396659637241944566934239557509047711306368673223998851761102781*\ c_0110_2^25 + 73525477915366059004646099485313909347823022651222750\ 8595711336239297767554960962819315889107955/31086713575546586263972\ 6184874123396659637241944566934239557509047711306368673223998851761\ 102781*c_0110_2^24 - 4066475624307644194633488872123224447442503389\ 416896383908696044443389273455342135636732654612158/310867135755465\ 8626397261848741233966596372419445669342395575090477113063686732239\ 98851761102781*c_0110_2^23 + 26448146785098455505474465873189182370\ 10732503976646749997942136794518776518965029402076726900851/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^22 - 1449131715856390391441425587367855627050315804326221220816282833399\ 9193325746302366841636468926404/31086713575546586263972618487412339\ 6659637241944566934239557509047711306368673223998851761102781*c_011\ 0_2^21 - 1263303691546217455080067875043010183430512610774025215809\ 5900518379408802275069765566026662635561/31086713575546586263972618\ 4874123396659637241944566934239557509047711306368673223998851761102\ 781*c_0110_2^20 - 2840054905068513188571868916484073528582641332710\ 2064258772714564653825781945756381325180329975107/31086713575546586\ 2639726184874123396659637241944566934239557509047711306368673223998\ 851761102781*c_0110_2^19 + 1449103822632076537213961793841983543234\ 66223208438281411623215458214685591832801940290365837330273/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^18 + 3228067618163356955200508786481434396857524209202494271483636957874\ 74631204790260824234603332203152/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^17 + 379285740579296678898978759760195005383181712635369359404\ 259778833092395912995528544372319716418974/310867135755465862639726\ 1848741233966596372419445669342395575090477113063686732239988517611\ 02781*c_0110_2^16 + 38573010231167509452610212628135512819036907070\ 4399807512082942924803939290986113203356639873944921/31086713575546\ 5862639726184874123396659637241944566934239557509047711306368673223\ 998851761102781*c_0110_2^15 + 1187559842710228861135971457938463906\ 97440956376429125124285254658263399963786507201225318321639398/3108\ 6713575546586263972618487412339665963724194456693423955750904771130\ 6368673223998851761102781*c_0110_2^14 + 1146180263529773370527997761047642423355476205539504398611379346905\ 208201931103100890237138336668926/310867135755465862639726184874123\ 396659637241944566934239557509047711306368673223998851761102781*c_0\ 110_2^13 + 56921884952272567286550165107980957887086542793202213462\ 1969688629007379261146200137561879242066848/31086713575546586263972\ 6184874123396659637241944566934239557509047711306368673223998851761\ 102781*c_0110_2^12 - 3659110562398437880699980266891803643851856038\ 61552175268672168178377177913307982053654887698754304/3108671357554\ 6586263972618487412339665963724194456693423955750904771130636867322\ 3998851761102781*c_0110_2^11 - 386717996692830815550842824426379493\ 056124227168424419658783218711815210668224335150525503021299870/310\ 8671357554658626397261848741233966596372419445669342395575090477113\ 06368673223998851761102781*c_0110_2^10 + 1905061864383322991847335596641529976556583422659303964887007628146\ 47723192154124800195462055082319/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^9 + 3244278061160411927565889815309183278338261477305764163765\ 69035180254345681456542623160549999899219/3108671357554658626397261\ 8487412339665963724194456693423955750904771130636867322399885176110\ 2781*c_0110_2^8 - 5352368289299123864164607075497139474839076929509\ 94880137776962235649369938122828191991402515244542/3108671357554658\ 6263972618487412339665963724194456693423955750904771130636867322399\ 8851761102781*c_0110_2^7 - 1996185673698369391209564043391218088959\ 18158720312599497506242606527069050206051406504710609566555/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^6 + 1966126149473784325570073616521131087781057782449725087411967164574\ 89113108179375895905134808614808/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^5 + 4234363739547502699955819474025782778460897031703268741977\ 0348798540542337464224561278038391633645/31086713575546586263972618\ 4874123396659637241944566934239557509047711306368673223998851761102\ 781*c_0110_2^4 - 14469464987701157251840315208670208757354084028171\ 660648990833638476561641799923387323632079097366/310867135755465862\ 6397261848741233966596372419445669342395575090477113063686732239988\ 51761102781*c_0110_2^3 - 168544499977685136249606355121789355235872\ 2061384430500189241237234837964407642684030818548346152/31086713575\ 5465862639726184874123396659637241944566934239557509047711306368673\ 223998851761102781*c_0110_2^2 + 82201198781732312417224987900542438\ 562781514030625705606045439084289607562358271415279001974059/310867\ 1357554658626397261848741233966596372419445669342395575090477113063\ 68673223998851761102781*c_0110_2 - 3084625827070071880160724769791354337672102828503253794777400513423\ 25603526822501216366336464263/3108671357554658626397261848741233966\ 59637241944566934239557509047711306368673223998851761102781, c_0101_1 - 146910637402335215803192526006832264890875819902368374796925\ 625847057118469844383106315679231201/310867135755465862639726184874\ 123396659637241944566934239557509047711306368673223998851761102781*\ c_0110_2^25 - 77400337985460886689954340580119612295425014941075901\ 4053473879082476558927851086368451243644286/31086713575546586263972\ 6184874123396659637241944566934239557509047711306368673223998851761\ 102781*c_0110_2^24 + 4197738232222769496478454910601315280068786389\ 022920234347414906308942854676138885712981389030665/310867135755465\ 8626397261848741233966596372419445669342395575090477113063686732239\ 98851761102781*c_0110_2^23 - 24382692232217348137375419234091375480\ 55960024927274970960929250601582423908458492439210395286164/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^22 + 1459326989069323064474608054273521178075854719782900344208651196899\ 4097304110163935132878655395533/31086713575546586263972618487412339\ 6659637241944566934239557509047711306368673223998851761102781*c_011\ 0_2^21 + 1422928465309947654694205533451483127334527169576636792674\ 4705865634412681523622264013826278993017/31086713575546586263972618\ 4874123396659637241944566934239557509047711306368673223998851761102\ 781*c_0110_2^20 + 2919757388331095547775992289125586734081805076621\ 0340469255756709412248320767957761967638343776948/31086713575546586\ 2639726184874123396659637241944566934239557509047711306368673223998\ 851761102781*c_0110_2^19 - 1501943646559502003833274984445737122490\ 91615001428175737911367127258842917530351711391022851838197/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^18 - 3473819770799046282641868738452512542533023306090405895411566445685\ 44693270443650655323454100919296/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^17 - 403336325154326286368621003080232257989181411063404623485\ 778489613310514605932659855399621296617885/310867135755465862639726\ 1848741233966596372419445669342395575090477113063686732239988517611\ 02781*c_0110_2^16 - 39762386176840451915042065058158451279412623580\ 8359193755140187122243293239726805186960019358355304/31086713575546\ 5862639726184874123396659637241944566934239557509047711306368673223\ 998851761102781*c_0110_2^15 - 1142806168227546023299165788797571514\ 80213754184464002324936178753291240867669627070284160775092116/3108\ 6713575546586263972618487412339665963724194456693423955750904771130\ 6368673223998851761102781*c_0110_2^14 - 1166161702214033518489361365112916174550947220398536620719731389917\ 081863462096946921963432422046421/310867135755465862639726184874123\ 396659637241944566934239557509047711306368673223998851761102781*c_0\ 110_2^13 - 65145814766076182307902177232596751067593558726190178361\ 2342477570991872828881163572914239574564952/31086713575546586263972\ 6184874123396659637241944566934239557509047711306368673223998851761\ 102781*c_0110_2^12 + 4387696038569871181180950380916792635253247749\ 41324924396372004089422558292504169753968549920782994/3108671357554\ 6586263972618487412339665963724194456693423955750904771130636867322\ 3998851761102781*c_0110_2^11 + 481219547174926556711548355416360117\ 640859542492668738485891975883054476982713432042802518239812145/310\ 8671357554658626397261848741233966596372419445669342395575090477113\ 06368673223998851761102781*c_0110_2^10 - 2000952433515765384002869591525680400571113554512310405745648144037\ 72014639928702161439919863449404/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^9 - 3846294546596442184651478555051860355000255006382723316658\ 21861320748827304448474222523971281789467/3108671357554658626397261\ 8487412339665963724194456693423955750904771130636867322399885176110\ 2781*c_0110_2^8 + 5493389808301313161938665619321434367034856870852\ 51833043326704537473111980571705945155507521439071/3108671357554658\ 6263972618487412339665963724194456693423955750904771130636867322399\ 8851761102781*c_0110_2^7 + 2703140481104165431037888805794758459332\ 83579990568392557984976951353554507650619230676504569384736/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^6 - 2325816410552302358865222471830827542247054504641731745243532874583\ 11985057769304564987454816690791/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^5 - 7741522806764169610274431078861292678490809339835916413921\ 5295347697298508145531891265334677077964/31086713575546586263972618\ 4874123396659637241944566934239557509047711306368673223998851761102\ 781*c_0110_2^4 + 27087222875462836244876039559952424117204607836116\ 995216068848447385846496015518785043170517286296/310867135755465862\ 6397261848741233966596372419445669342395575090477113063686732239988\ 51761102781*c_0110_2^3 + 754204519270613913270985118515918445866602\ 1078076834755691542559840571452268262591360353460669909/31086713575\ 5465862639726184874123396659637241944566934239557509047711306368673\ 223998851761102781*c_0110_2^2 - 95043141973056927272052055107582363\ 7532781516823805908979352501371134850996297116706152098946339/31086\ 7135755465862639726184874123396659637241944566934239557509047711306\ 368673223998851761102781*c_0110_2 - 5332087884972573746212875481879850671050057089205817944658225579478\ 8983071138561136686065007380/31086713575546586263972618487412339665\ 9637241944566934239557509047711306368673223998851761102781, c_0101_2 - 128213954603638900175944222936849935504606925644259787664776\ 433/18356020412611006019354937616094090286198090155347879277031077*\ c_0110_2^25 - 60379560859711752599036471390350276048877574907596378\ 3071035761/18356020412611006019354937616094090286198090155347879277\ 031077*c_0110_2^24 + 4031341819195818029101707468299235038754987866\ 058138365795781972/183560204126110060193549376160940902861980901553\ 47879277031077*c_0110_2^23 - 42268875942180556417906891253551421197\ 26860255686034532147564006/1835602041261100601935493761609409028619\ 8090155347879277031077*c_0110_2^22 + 14223913151435269445258580226474501814152785572505602528422953065/1\ 8356020412611006019354937616094090286198090155347879277031077*c_011\ 0_2^21 + 5074374414589666868381846881379106585217207131838726730233\ 444062/183560204126110060193549376160940902861980901553478792770310\ 77*c_0110_2^20 + 19507611341166227415857721885740075005019421396010\ 672293356165198/183560204126110060193549376160940902861980901553478\ 79277031077*c_0110_2^19 - 14453699660209702170175018944072720626455\ 0138390854688791649667624/18356020412611006019354937616094090286198\ 090155347879277031077*c_0110_2^18 - 228318964021532282663502781862704805307794155569752616399136981234/\ 18356020412611006019354937616094090286198090155347879277031077*c_01\ 10_2^17 - 193143172031236600375042432202351122101014855436467486703\ 169068934/183560204126110060193549376160940902861980901553478792770\ 31077*c_0110_2^16 - 17169034709202105781111047497241058427059375374\ 8980347342628127862/18356020412611006019354937616094090286198090155\ 347879277031077*c_0110_2^15 + 7435155490094885897260280475453878164\ 1180332232217613987388405364/18356020412611006019354937616094090286\ 198090155347879277031077*c_0110_2^14 - 979412801602515478158969471732095518354519540005085930161350814271/\ 18356020412611006019354937616094090286198090155347879277031077*c_01\ 10_2^13 + 264488542044772862413509358371345178716036952728902544241\ 8815458/18356020412611006019354937616094090286198090155347879277031\ 077*c_0110_2^12 + 6275148568496713704911932489057394053335522714097\ 77116014998847333/1835602041261100601935493761609409028619809015534\ 7879277031077*c_0110_2^11 + 180215981827021329146218512389944886103\ 809884239779221095253330636/183560204126110060193549376160940902861\ 98090155347879277031077*c_0110_2^10 - 354999667347738366400976076500287795793002340607175295488732140410/\ 18356020412611006019354937616094090286198090155347879277031077*c_01\ 10_2^9 - 2108443852088717679218411024198239669254257665053747122108\ 34528466/1835602041261100601935493761609409028619809015534787927703\ 1077*c_0110_2^8 + 6423897088932080579116698929437392502260692378848\ 71389341855759903/1835602041261100601935493761609409028619809015534\ 7879277031077*c_0110_2^7 - 5753460147344393163885861461534261193752\ 2806746034540177464149170/18356020412611006019354937616094090286198\ 090155347879277031077*c_0110_2^6 - 288605252424280394564708007751136374391077846257695948788918222427/\ 18356020412611006019354937616094090286198090155347879277031077*c_01\ 10_2^5 + 5818417669170523030423882591972524557345806848924303378647\ 7456729/18356020412611006019354937616094090286198090155347879277031\ 077*c_0110_2^4 + 33971598897454185958263549243842153308885867894734\ 508154499160841/183560204126110060193549376160940902861980901553478\ 79277031077*c_0110_2^3 - 698186354586490592896970563641850870186995\ 7231288426091633780040/18356020412611006019354937616094090286198090\ 155347879277031077*c_0110_2^2 - 97188312611829478755773073759960960\ 647343186425146520805628997/183560204126110060193549376160940902861\ 98090155347879277031077*c_0110_2 + 22281538280687935296649694273818989449457293622906261811948234/1835\ 6020412611006019354937616094090286198090155347879277031077, c_0101_6 + 364722040965639126085816866137949738368840328651411166265944\ 86709329985766912054129489529280575/3108671357554658626397261848741\ 23396659637241944566934239557509047711306368673223998851761102781*c\ _0110_2^25 + 138926366776962940449334952988271619956982988062984447\ 542002931889080748515709536574476488245781/310867135755465862639726\ 1848741233966596372419445669342395575090477113063686732239988517611\ 02781*c_0110_2^24 - 12256492684956541624538712439037694286005496716\ 37150361910444057767635458426069645557615520351927/3108671357554658\ 6263972618487412339665963724194456693423955750904771130636867322399\ 8851761102781*c_0110_2^23 + 263553216309004047936938014193887427581\ 6689511565480901000192451767262083776054326972774995530472/31086713\ 5755465862639726184874123396659637241944566934239557509047711306368\ 673223998851761102781*c_0110_2^22 - 7276013674761420379034563444094230233675562148264294883154604003974\ 545503788534027246541487010593/310867135755465862639726184874123396\ 659637241944566934239557509047711306368673223998851761102781*c_0110\ _2^21 + 34408157671665854862462760124241277998089028581796385631840\ 61461788291637404162438295616981496200/3108671357554658626397261848\ 7412339665963724194456693423955750904771130636867322399885176110278\ 1*c_0110_2^20 - 119307109546074052034958347601465217657536464307546\ 81788661354371563344671326707912877374772055068/3108671357554658626\ 3972618487412339665963724194456693423955750904771130636867322399885\ 1761102781*c_0110_2^19 + 386708409029386921172878604879533700706879\ 86588182768456817454962380420288265009476792162499221876/3108671357\ 5546586263972618487412339665963724194456693423955750904771130636867\ 3223998851761102781*c_0110_2^18 + 120417760411411840116205999874565\ 78906333323713247900222802963637055312248445455108948116544668408/3\ 1086713575546586263972618487412339665963724194456693423955750904771\ 1306368673223998851761102781*c_0110_2^17 + 7273886622002997386269135015785367734259124508396047009103271202516\ 2603700940078258399396984148806/31086713575546586263972618487412339\ 6659637241944566934239557509047711306368673223998851761102781*c_011\ 0_2^16 + 1788148549890153297804675432954103266562082086557464963431\ 44274104141883951888361906455916196978785/3108671357554658626397261\ 8487412339665963724194456693423955750904771130636867322399885176110\ 2781*c_0110_2^15 + 153817964462990549214815168617923236753558723956\ 062178036538276119315732838847696417582088920275813/310867135755465\ 8626397261848741233966596372419445669342395575090477113063686732239\ 98851761102781*c_0110_2^14 + 52513269047326178664773605178138752398\ 5647247980611623542669304455934387097107419972047022708683084/31086\ 7135755465862639726184874123396659637241944566934239557509047711306\ 368673223998851761102781*c_0110_2^13 - 1654158758800921407714095515653505927024870542551635053898897707881\ 80643056250228595281744431371667/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^12 + 448090762393574212975759681397075056484265681695095793295\ 812501025052813984062741332418917483476960/310867135755465862639726\ 1848741233966596372419445669342395575090477113063686732239988517611\ 02781*c_0110_2^11 + 47042893728314129817884361973932352902168816682\ 9070425360936543310838748630579349386032277892298477/31086713575546\ 5862639726184874123396659637241944566934239557509047711306368673223\ 998851761102781*c_0110_2^10 - 1371357396076598400414470640538700589\ 7509764610811869103033164740847297742208759337915382744970264/31086\ 7135755465862639726184874123396659637241944566934239557509047711306\ 368673223998851761102781*c_0110_2^9 - 2422945731245139825712921639772561963975497713310808204809467699271\ 92199631859519679955584463036194/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^8 - 1512681081907488106378585386994342380285354023518518013982\ 86745201200072746468909425976690453908831/3108671357554658626397261\ 8487412339665963724194456693423955750904771130636867322399885176110\ 2781*c_0110_2^7 + 3590330500640983068783120638323729107908155147105\ 46257879515018086294708268659990479519100741976596/3108671357554658\ 6263972618487412339665963724194456693423955750904771130636867322399\ 8851761102781*c_0110_2^6 - 2059007964107745695061358307705623084071\ 17218251794247307791074616949353350830413109337324880427491/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781*c_0110_2^5 - 2189552157149496041308467856641430073092976221337048379055612099345\ 52171069655387646176887381637007/3108671357554658626397261848741233\ 96659637241944566934239557509047711306368673223998851761102781*c_01\ 10_2^4 + 9899143929031348793325502934720064144674880253428966121613\ 9904151407735795707725175655944350549712/31086713575546586263972618\ 4874123396659637241944566934239557509047711306368673223998851761102\ 781*c_0110_2^3 + 36569543067291149187679545256719564371757248405283\ 480025875915883283378851602629784160073603497578/310867135755465862\ 6397261848741233966596372419445669342395575090477113063686732239988\ 51761102781*c_0110_2^2 - 702384251962476796288987892598775433039214\ 9335534821661932093279629816108198947878020451264503278/31086713575\ 5465862639726184874123396659637241944566934239557509047711306368673\ 223998851761102781*c_0110_2 - 4097355485780411000500067421457304239\ 24827142067479141413165880922346071197683733870226510126333/3108671\ 3575546586263972618487412339665963724194456693423955750904771130636\ 8673223998851761102781, c_0110_2^26 + 14/3*c_0110_2^25 - 95/3*c_0110_2^24 + 923/27*c_0110_2^23 - 9044/81*c_0110_2^22 - 2861/81*c_0110_2^21 - 11992/81*c_0110_2^20 + 92003/81*c_0110_2^19 + 140716/81*c_0110_2^18 + 113882/81*c_0110_2^17 + 98959/81*c_0110_2^16 - 56417/81*c_0110_2^15 + 615937/81*c_0110_2^14 - 29225/81*c_0110_2^13 - 411697/81*c_0110_2^12 - 103966/81*c_0110_2^11 + 235289/81*c_0110_2^10 + 128603/81*c_0110_2^9 - 414685/81*c_0110_2^8 + 49211/81*c_0110_2^7 + 20942/9*c_0110_2^6 - 42032/81*c_0110_2^5 - 23162/81*c_0110_2^4 + 4978/81*c_0110_2^3 + 8/3*c_0110_2^2 - 32/81*c_0110_2 - 1/81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB