Magma V2.19-8 Tue Aug 20 2013 16:16:45 on localhost [Seed = 3684321047] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1040 geometric_solution 4.91884711 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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 5.466315314916 2.176229393896 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.231151017375 0.186152414513 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.079493577796 1.599369064204 4 5 4 2 1302 0132 1230 0132 0 0 0 0 0 0 1 -1 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.672204325831 0.658792780174 5 3 2 3 3201 2031 0132 3012 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.672204325831 0.658792780174 6 3 6 4 0132 0132 2310 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.661751526074 0.988518671670 5 5 6 6 0132 3201 1230 3012 0 0 0 0 0 1 0 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.367644135565 0.226719972150 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : negation(d['1']), 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : negation(d['1']), 's_2_4' : negation(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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_5'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0110_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0110_4'], 'c_1100_2' : d['c_0110_4'], 'c_0101_6' : d['c_0101_1'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : negation(d['c_0011_3']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_3'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_5']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0110_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_1']), 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : d['c_0011_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_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_3, c_0101_1, c_0101_2, c_0101_5, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2410112600528852965468524251528082000827690214672430753250997947812\ 230795139767409385437492807036365/390027801641416505512545277032135\ 813048352574927939346939437643391351697325058815545263564864151*c_0\ 110_4^31 - 12203285352119761321228300129725712749275291465367929208\ 8203291733616568523880529709586956575461511/30002138587801269654811\ 1751563181394652578903790722574568798187224116690250045242727125819\ 12627*c_0110_4^30 - 34105556621400409584400509985535921916054862154\ 008585181410091745644057972269921686722401065123932641/780055603282\ 8330110250905540642716260967051498558786938788752867827033946501176\ 31090527129728302*c_0110_4^29 - 53264791973910821516324502857412931\ 5818329157215765718593253495327560344318723823475877315385856689137\ /780055603282833011025090554064271626096705149855878693878875286782\ 703394650117631090527129728302*c_0110_4^28 - 4812062850956164743020122449125742760116746028751953142524691685136\ 52551899697139892622604465502673595/7800556032828330110250905540642\ 71626096705149855878693878875286782703394650117631090527129728302*c\ _0110_4^27 - 163758261807817751626090013696289382790213441838064247\ 9876082978940431627687838298915654838076913736869/78005560328283301\ 1025090554064271626096705149855878693878875286782703394650117631090\ 527129728302*c_0110_4^26 + 9453512197177747959085356963013722138072\ 202876369110740307152351956523516539995499545270879611731262844/390\ 0278016414165055125452770321358130483525749279393469394376433913516\ 97325058815545263564864151*c_0110_4^25 - 6780798590606826512649936082971917301511973201532784766212908938831\ 1746965308211079714195908514444373306/39002780164141650551254527703\ 2135813048352574927939346939437643391351697325058815545263564864151\ *c_0110_4^24 + 3020939832820092949863073805880092081937874638165380\ 9689498484217458316281402053579029006437383565087/54933493188931902\ 1848655319763571567673736021025266685830193863931481263838111007810\ 2303730481*c_0110_4^23 + 129187145289549272306492251009708163195999\ 458046444484879650081155011640781903866764637575168193334629007/780\ 0556032828330110250905540642716260967051498558786938788752867827033\ 94650117631090527129728302*c_0110_4^22 - 4495706135675204318298378892803167416311172082802859482751094331227\ 54668536881481387509192560129489629990/3900278016414165055125452770\ 3213581304835257492793934693943764339135169732505881554526356486415\ 1*c_0110_4^21 + 896527987455069971286408965873487443091529410224270\ 825329684857640201289250031144612216435454867052567480/390027801641\ 4165055125452770321358130483525749279393469394376433913516973250588\ 15545263564864151*c_0110_4^20 + 76961487044197382243456130331103936\ 0855125652592834758700131321528438837036430455827515356514401033633\ 072/390027801641416505512545277032135813048352574927939346939437643\ 391351697325058815545263564864151*c_0110_4^19 - 4730420596996344549463319355866308727682025587886420824686337619957\ 375757279142874089466517296615427074915/780055603282833011025090554\ 0642716260967051498558786938788752867827033946501176310905271297283\ 02*c_0110_4^18 + 14681688730659925609619641761108733678315679225354\ 35997171972523046132750244516298440104974213061098298047/3900278016\ 4141650551254527703213581304835257492793934693943764339135169732505\ 8815545263564864151*c_0110_4^17 + 231233083168104603200052701732707\ 3053924805666096585396647483282908597430986195160651551383370992754\ 099176/390027801641416505512545277032135813048352574927939346939437\ 643391351697325058815545263564864151*c_0110_4^16 - 3503904795647704677556885137089873913341653018616368445946380797037\ 559212069499906706192538673866139178827/390027801641416505512545277\ 0321358130483525749279393469394376433913516973250588155452635648641\ 51*c_0110_4^15 - 23414748948526151604299711263203507281560953674584\ 58275617786803035300659775099632019744420244470005199863/7800556032\ 8283301102509055406427162609670514985587869387887528678270339465011\ 7631090527129728302*c_0110_4^14 + 194543103922123603678035090172231\ 6474273212471039250761236224556751922673497026209809055654905931589\ 767165/390027801641416505512545277032135813048352574927939346939437\ 643391351697325058815545263564864151*c_0110_4^13 + 6888620569959046924644342472495367952113141504863490842518450505177\ 14373221022726598229272854568765550397/3900278016414165055125452770\ 3213581304835257492793934693943764339135169732505881554526356486415\ 1*c_0110_4^12 - 197876809149205983367120929954951142099268174662948\ 24767739074906229416366401986336264968838854541456251/7800556032828\ 3301102509055406427162609670514985587869387887528678270339465011763\ 1090527129728302*c_0110_4^11 - 902739522490437671908212396888501461\ 8439238434858665058077278459590051606167854314245404623731688529775\ 21/7800556032828330110250905540642716260967051498558786938788752867\ 82703394650117631090527129728302*c_0110_4^10 - 2755908048532316059957916546115250811037911449769256456785223498126\ 45811657153490078932724458091823172898/3900278016414165055125452770\ 3213581304835257492793934693943764339135169732505881554526356486415\ 1*c_0110_4^9 + 2495003211527305548495731275979275812035746811750352\ 00426814837020704225770790860212795715493950090209507/7800556032828\ 3301102509055406427162609670514985587869387887528678270339465011763\ 1090527129728302*c_0110_4^8 + 8331549701541865399026982642085883815\ 6011178283320458937823056630735145491981958243687867442865835540019\ /390027801641416505512545277032135813048352574927939346939437643391\ 351697325058815545263564864151*c_0110_4^7 - 2933179948406605314580900682775247685657895682627691404628020786053\ 181391392785828602976597694695508860/390027801641416505512545277032\ 135813048352574927939346939437643391351697325058815545263564864151*\ c_0110_4^6 - 976360002482421939652229755172516019197967127084229199\ 8313454611074072243281376723576913685662856393403/39002780164141650\ 5512545277032135813048352574927939346939437643391351697325058815545\ 263564864151*c_0110_4^5 - 52588421162901360351452835333391898769587\ 30993446914492901077097757450119023756318952147683646989364611/7800\ 5560328283301102509055406427162609670514985587869387887528678270339\ 4650117631090527129728302*c_0110_4^4 + 3726915026194276761888851404420013565165271842060641951040606074539\ 23169376950574251373577960293864661/3900278016414165055125452770321\ 35813048352574927939346939437643391351697325058815545263564864151*c\ _0110_4^3 + 1884376827874405852937820537040971546659118382196264483\ 56885546789774210721972992701509058011449286309/3900278016414165055\ 1254527703213581304835257492793934693943764339135169732505881554526\ 3564864151*c_0110_4^2 + 5903715438453735289270753674269302022183190\ 243260452789311563420039047398526420758519595938369927009/780055603\ 2828330110250905540642716260967051498558786938788752867827033946501\ 17631090527129728302*c_0110_4 - 40769427902264423178250229061627347\ 63122076542951361774980851861795740834410455784103534521167947173/7\ 8005560328283301102509055406427162609670514985587869387887528678270\ 3394650117631090527129728302, c_0011_0 - 1, c_0011_1 + 446608291604828025143450639997473612345710406166442415612781\ 67689545361591821153091/3459580998467524174166194798420164149873354\ 7950112002221563288525821676964629826454*c_0110_4^31 - 6236188102968994146896630293697810146619964406772190542671425570204\ 405882634118708/172979049923376208708309739921008207493667739750560\ 01110781644262910838482314913227*c_0110_4^30 - 1610999435160139104137486890355360998157921908272646116281699996672\ 82054374434497112/1729790499233762087083097399210082074936677397505\ 6001110781644262910838482314913227*c_0110_4^29 - 2527666366872970958702572672727747644008137792023814358035947103690\ 838186311777844696/172979049923376208708309739921008207493667739750\ 56001110781644262910838482314913227*c_0110_4^28 - 6363835038528671720851766249426543830142383595088814472568139659006\ 320889338367194845/345958099846752417416619479842016414987335479501\ 12002221563288525821676964629826454*c_0110_4^27 - 8713988817952609887439288240276264245915319325589075044002850631384\ 473131911813819777/172979049923376208708309739921008207493667739750\ 56001110781644262910838482314913227*c_0110_4^26 + 8430641530175025171301594628641527811826577654148039473680291083096\ 6484578513563322830/17297904992337620870830973992100820749366773975\ 056001110781644262910838482314913227*c_0110_4^25 - 1192295717719267493526748383531563722794737060419036973796454910142\ 374176253395386992543/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^24 - 4183326518239269867558628013495113323498298472519523782958945376621\ 21422132245741017051/3459580998467524174166194798420164149873354795\ 0112002221563288525821676964629826454*c_0110_4^23 + 5416483715718618514943181807214596821872638014398532926741968241056\ 46807134535579633500/1729790499233762087083097399210082074936677397\ 5056001110781644262910838482314913227*c_0110_4^22 - 3972833773833627840621923196965981515844137626197706957615080544465\ 459244446108475193537/172979049923376208708309739921008207493667739\ 75056001110781644262910838482314913227*c_0110_4^21 + 1354606431565002766481749044945266462631466908771939203291228611389\ 9373248877531104377181/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^20 + 1968218539826831933290070843603187251025570443369503996383970488200\ 3797012923597350495189/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^19 - 1854193801795433913139433037198628711302287017730887851772330626914\ 8800243782600728699424/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^18 + 6456498171331013331219369612827080311698059854994918887103692427313\ 170466950612531804239/172979049923376208708309739921008207493667739\ 75056001110781644262910838482314913227*c_0110_4^17 + 4965099065538569459935108210453331747440545193206062184839666208976\ 5198788850642055302521/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^16 - 4757792506881325641430864496677887670199479952198058714814458206709\ 6637420958297010605969/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^15 - 2049345481980270406808385733684503250807057272787873486427802520586\ 3153035735963340475526/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^14 + 2362609849748633772360544891037990444772259948866704392420404151258\ 2234487186414058261835/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^13 + 1091825960732131863781950031726811039766977557383269868355283954641\ 1159915770732564447510/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^12 + 6002471665646159139999083369183270885155551316847489057981838838665\ 438611294694527208835/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^11 - 6493811780486385581420914099650491997367668105613613090761262459525\ 337659297235279708325/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^10 - 7225353992087791269115998770959851965523529410045207203828288778607\ 078057638128398078195/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^9 + 6571583230336080737146092118075294425882950417962342275757243254948\ 4185291774314733190/17297904992337620870830973992100820749366773975\ 056001110781644262910838482314913227*c_0110_4^8 + 8889930141850269737782272101855825695161136655208590217900594617548\ 64051857108628555531/1729790499233762087083097399210082074936677397\ 5056001110781644262910838482314913227*c_0110_4^7 + 4376335250235717669619167698639807156301346868120308555849257034636\ 40222437595083912483/3459580998467524174166194798420164149873354795\ 0112002221563288525821676964629826454*c_0110_4^6 - 1081437827566649342095773254739541851927344145310921459678565886202\ 97657570628396084283/3459580998467524174166194798420164149873354795\ 0112002221563288525821676964629826454*c_0110_4^5 - 4161466988153731041895638195357107632731171305637022255463737462008\ 9080699334977688217/17297904992337620870830973992100820749366773975\ 056001110781644262910838482314913227*c_0110_4^4 - 1110162394487860777029835730318596254149190721731552657735719304775\ 1998112533032838689/34595809984675241741661947984201641498733547950\ 112002221563288525821676964629826454*c_0110_4^3 + 1472277405699723299752524746752495359484523667122676525338376776811\ 057277983873137601/172979049923376208708309739921008207493667739750\ 56001110781644262910838482314913227*c_0110_4^2 + 9025888830612522187596232104358562835703813104304842204641646805486\ 96553781145388649/3459580998467524174166194798420164149873354795011\ 2002221563288525821676964629826454*c_0110_4 + 1731464755287669598259143792675998997676576410943944864270552728208\ 7339333807916440/17297904992337620870830973992100820749366773975056\ 001110781644262910838482314913227, c_0011_3 + 286234574042166090311340659582386037824170878681793216361127\ 327879400578555606120557872793098971/300021385878012696548111751563\ 18139465257890379072257456879818722411669025004524272712581912627*c\ _0110_4^31 - 182984669849230102556376585064962052570792755584763380\ 995896547936827725780522401885294853866862/300021385878012696548111\ 7515631813946525789037907225745687981872241166902500452427271258191\ 2627*c_0110_4^30 - 202330533777590133510036027286280809091271418842\ 8133946630377690203071474921557590334280345853143/30002138587801269\ 6548111751563181394652578903790722574568798187224116690250045242727\ 12581912627*c_0110_4^29 - 31669002909764219951253999378166076117712\ 788331920817952165638142934251332981767676105402563676551/300021385\ 8780126965481117515631813946525789037907225745687981872241166902500\ 4524272712581912627*c_0110_4^28 - 292135571610453562653599268076235\ 07922359409754077944888063327661326163387526344124712681612048423/3\ 0002138587801269654811175156318139465257890379072257456879818722411\ 669025004524272712581912627*c_0110_4^27 - 9841397594523382853282850185964449107125719159578025047081992419958\ 0262210593522002736968241240711/30002138587801269654811175156318139\ 465257890379072257456879818722411669025004524272712581912627*c_0110\ _4^26 + 11200289999733149234160221853044574377446192601303837272748\ 89134168769791841708127587487645224832418/3000213858780126965481117\ 5156318139465257890379072257456879818722411669025004524272712581912\ 627*c_0110_4^25 - 8034224390953906181582530899032833358141360023644\ 481448996903126498331417118567584028808218875336459/300021385878012\ 6965481117515631813946525789037907225745687981872241166902500452427\ 2712581912627*c_0110_4^24 + 172524953618618991966158879380503131649\ 0754756448105108959922328083867548365103189825295272162357/42256533\ 2222553093729734861356593513595181554634820527561687587639600972183\ 162313700177210037*c_0110_4^23 + 7530670778345161701370576555328394\ 940368140516236538227716484442600316644135132600869179175480894274/\ 3000213858780126965481117515631813946525789037907225745687981872241\ 1669025004524272712581912627*c_0110_4^22 - 5331219744034575370025321692135509429997638991666057192602573249535\ 9544929990836352142612557979544645/30002138587801269654811175156318\ 139465257890379072257456879818722411669025004524272712581912627*c_0\ 110_4^21 + 10556601617489025541394857481583176950013806906286810103\ 3922530711807708084324644373529754623207857058/30002138587801269654\ 8111751563181394652578903790722574568798187224116690250045242727125\ 81912627*c_0110_4^20 + 92433712676851855978946904378817182302228127\ 536578283111110686487162869734139938888030624828416011785/300021385\ 8780126965481117515631813946525789037907225745687981872241166902500\ 4524272712581912627*c_0110_4^19 - 277591874543930018224923312878941\ 5129352251211029073477174832948779497108522769899280006590488467422\ 40/3000213858780126965481117515631813946525789037907225745687981872\ 2411669025004524272712581912627*c_0110_4^18 + 1714898367322088353827733598459398453277971475385657081846731720299\ 24340505778171312254746074608467413/3000213858780126965481117515631\ 8139465257890379072257456879818722411669025004524272712581912627*c_\ 0110_4^17 + 2738470442908895205233094668476063921907660046668065867\ 81765311532261378044663747143632457081773908699/3000213858780126965\ 4811175156318139465257890379072257456879818722411669025004524272712\ 581912627*c_0110_4^16 - 4093302099606194544816763190150922014248461\ 43902192907861844126810229234883108115506929929604958162331/3000213\ 8587801269654811175156318139465257890379072257456879818722411669025\ 004524272712581912627*c_0110_4^15 - 1411937153919808945624727194858104602570323677658680387432878608597\ 39027720494800084097076899889171238/3000213858780126965481117515631\ 8139465257890379072257456879818722411669025004524272712581912627*c_\ 0110_4^14 + 2233073822475787629093308930154632438335684776724561351\ 91917062553606498627116749625110362532960074674/3000213858780126965\ 4811175156318139465257890379072257456879818722411669025004524272712\ 581912627*c_0110_4^13 + 8154839653622596024230827298236245652487105\ 9213548890643094989444996277197909242180102420703546303562/30002138\ 5878012696548111751563181394652578903790722574568798187224116690250\ 04524272712581912627*c_0110_4^12 + 2140448807323583534065288524856201058952761611706582136504726186991\ 613794875137871748409994698973210/300021385878012696548111751563181\ 39465257890379072257456879818722411669025004524272712581912627*c_01\ 10_4^11 - 516691264510148170639654648134007215111677959758742637593\ 60884537761751692347997442735385969008600652/3000213858780126965481\ 1175156318139465257890379072257456879818722411669025004524272712581\ 912627*c_0110_4^10 - 3269379559055691651505669473634101603549466883\ 6127165571124291884938704242501299530955868258730322264/30002138587\ 8012696548111751563181394652578903790722574568798187224116690250045\ 24272712581912627*c_0110_4^9 + 138779629645185036392224053149177955\ 37458160020808688300942966822907382775742111639538191215387108378/3\ 0002138587801269654811175156318139465257890379072257456879818722411\ 669025004524272712581912627*c_0110_4^8 + 9507325961041479342660293251191619981273945242367014181173574236463\ 553561055721037613242001663034084/300021385878012696548111751563181\ 39465257890379072257456879818722411669025004524272712581912627*c_01\ 10_4^7 - 2198381294369028980176170263852084928521646197352994474161\ 64459354568395046654771262399652658451618/3000213858780126965481117\ 5156318139465257890379072257456879818722411669025004524272712581912\ 627*c_0110_4^6 - 10690370100743457045674487349437435815637144142062\ 24066428646381637245286100727272498711768703838713/3000213858780126\ 9654811175156318139465257890379072257456879818722411669025004524272\ 712581912627*c_0110_4^5 - 30626329560789283417340151186631272923866\ 7778041245022582069091480632947218910136315274587736595681/30002138\ 5878012696548111751563181394652578903790722574568798187224116690250\ 04524272712581912627*c_0110_4^4 + 377047844800202764817100947569858\ 91682896462282525621635351126003192301131755171712042570306402911/3\ 0002138587801269654811175156318139465257890379072257456879818722411\ 669025004524272712581912627*c_0110_4^3 + 2033327136191384640431093884107502367110296335269670552123542865104\ 9406443506164415982019581990718/30002138587801269654811175156318139\ 465257890379072257456879818722411669025004524272712581912627*c_0110\ _4^2 + 520223149712368236327597656746303661415684549900881392366918\ 807901048546551714051927000958769859/300021385878012696548111751563\ 18139465257890379072257456879818722411669025004524272712581912627*c\ _0110_4 - 159915033229316151608718496363859136824377987487288679559\ 525201975205882794437374161726654724201/300021385878012696548111751\ 5631813946525789037907225745687981872241166902500452427271258191262\ 7, c_0101_1 + 148720351872499832898427889312181524794681568767443972623892\ 923521749813937690806537411230843069/600042771756025393096223503126\ 36278930515780758144514913759637444823338050009048545425163825254*c\ _0110_4^31 - 200111032372584900589778638992057074849324237193497288\ 484775010388262085454107114946212525760459/600042771756025393096223\ 5031263627893051578075814451491375963744482333805000904854542516382\ 5254*c_0110_4^30 - 497059809629855714960655831084440108148652473621\ 911314850598720521271376588182167034744746682678/300021385878012696\ 5481117515631813946525789037907225745687981872241166902500452427271\ 2581912627*c_0110_4^29 - 785407579043129561923895659512791139295807\ 7061051966991472901746014369546713281532672958791277630/30002138587\ 8012696548111751563181394652578903790722574568798187224116690250045\ 24272712581912627*c_0110_4^28 - 34863343694959722048842957084604174\ 45806516402669526447175875905500130308791828992142416901086149/6000\ 4277175602539309622350312636278930515780758144514913759637444823338\ 050009048545425163825254*c_0110_4^27 - 3928748573988736133585871463694974407867353121618812314183957172947\ 6795422811407269913343691484891/60004277175602539309622350312636278\ 930515780758144514913759637444823338050009048545425163825254*c_0110\ _4^26 + 30968592429249138489870628252921994928012385109037602713380\ 7851039307740149002931783839509591036763/30002138587801269654811175\ 1563181394652578903790722574568798187224116690250045242727125819126\ 27*c_0110_4^25 - 45815241024086270358371892941786293954802778089656\ 69194914233428341202781947876947328843659486167673/6000427717560253\ 9309622350312636278930515780758144514913759637444823338050009048545\ 425163825254*c_0110_4^24 + 2094265311904334333461734214222328996216\ 8558056060777067246379402124002469210800181157818476670338/42256533\ 2222553093729734861356593513595181554634820527561687587639600972183\ 162313700177210037*c_0110_4^23 + 4139195868978491829381255221606330\ 572688914438698640421957381380142559038730985667015062207997794485/\ 6000427717560253930962235031263627893051578075814451491375963744482\ 3338050009048545425163825254*c_0110_4^22 - 1519974457009281059289731382819592850745478432419835613447120745642\ 1794879632165032467393269570343824/30002138587801269654811175156318\ 139465257890379072257456879818722411669025004524272712581912627*c_0\ 110_4^21 + 74184070927429215468133015199501039199357481497589743412\ 155141042418513584165556178624351990734638999/600042771756025393096\ 2235031263627893051578075814451491375963744482333805000904854542516\ 3825254*c_0110_4^20 + 555252524651452295643572447625249389120134040\ 4683954043405586362782099504001935252186653578821492164/30002138587\ 8012696548111751563181394652578903790722574568798187224116690250045\ 24272712581912627*c_0110_4^19 - 18137768680149470749923008927697950\ 8240789210608381612161970365383527640108834999178211504022374957313\ /600042771756025393096223503126362789305157807581445149137596374448\ 23338050009048545425163825254*c_0110_4^18 + 9351018080978794972938850834890565047856357942369984556600620688944\ 1840910812708522200644573902072717/30002138587801269654811175156318\ 139465257890379072257456879818722411669025004524272712581912627*c_0\ 110_4^17 + 87865757673626546934017105955067159321448428897017757716\ 107921507483709997635243002340036261429697111/600042771756025393096\ 2235031263627893051578075814451491375963744482333805000904854542516\ 3825254*c_0110_4^16 - 158651326384471654758196846075747854139943813\ 161763773114453367398766169061151842637124167771171801582/300021385\ 8780126965481117515631813946525789037907225745687981872241166902500\ 4524272712581912627*c_0110_4^15 + 666164994141523525543876524549482\ 3992512482174385411171022387588444972780397861168568215944451185506\ 1/60004277175602539309622350312636278930515780758144514913759637444\ 823338050009048545425163825254*c_0110_4^14 + 1793872531149846253020984829947289905284321389284507578560568009131\ 92384182443457922334446897035056143/6000427717560253930962235031263\ 6278930515780758144514913759637444823338050009048545425163825254*c_\ 0110_4^13 - 3236653213108401329931239054181384723139606622390260405\ 9040066210774526486344670849034467077265809365/60004277175602539309\ 6223503126362789305157807581445149137596374448233380500090485454251\ 63825254*c_0110_4^12 - 34316168313734783975878391855905492976551765\ 407829056001692771785388881505923439018525463481937708183/600042771\ 7560253930962235031263627893051578075814451491375963744482333805000\ 9048545425163825254*c_0110_4^11 - 156154376280126192153831429105767\ 1579437929848054399328931465596178406159711061744195034312927263990\ 1/30002138587801269654811175156318139465257890379072257456879818722\ 411669025004524272712581912627*c_0110_4^10 + 4769716592905797947492224233136985329893962229107774343668421084507\ 37883556311503034439677651621694/3000213858780126965481117515631813\ 9465257890379072257456879818722411669025004524272712581912627*c_011\ 0_4^9 + 20494138479330507761490104487482460083695416831725578825177\ 667001469966642499625204035875291155902769/600042771756025393096223\ 5031263627893051578075814451491375963744482333805000904854542516382\ 5254*c_0110_4^8 + 5596810888819752595817598657625597920551795065492\ 35688228747078036572805569919511534020629260558590/3000213858780126\ 9654811175156318139465257890379072257456879818722411669025004524272\ 712581912627*c_0110_4^7 - 37660398505639673050807857118619469382813\ 46606399953167794425244365274506042799819885639286231840113/6000427\ 7175602539309622350312636278930515780758144514913759637444823338050\ 009048545425163825254*c_0110_4^6 - 3853903807011750514421171160702108705301287384330836029892926759340\ 77948324786764599185340982643605/3000213858780126965481117515631813\ 9465257890379072257456879818722411669025004524272712581912627*c_011\ 0_4^5 + 19455768319286126513930897106055117230035315280302754729805\ 1492431084207547749409967906302229727673/60004277175602539309622350\ 3126362789305157807581445149137596374448233380500090485454251638252\ 54*c_0110_4^4 + 154118966890302118249707823356090730185494852971881\ 970545647552399183482703700767477202595047620605/600042771756025393\ 0962235031263627893051578075814451491375963744482333805000904854542\ 5163825254*c_0110_4^3 + 7241397564606391065319160815343196215919550\ 451094577827828853280267294183699007027577576101699377/600042771756\ 0253930962235031263627893051578075814451491375963744482333805000904\ 8545425163825254*c_0110_4^2 - 6993320486347334219507627399209999763\ 313096435638488646052726541888977697529343583086048035662093/600042\ 7717560253930962235031263627893051578075814451491375963744482333805\ 0009048545425163825254*c_0110_4 - 795698649799060720441677851363008\ 660395302180214528030120130861810050772181926204260249293364953/600\ 0427717560253930962235031263627893051578075814451491375963744482333\ 8050009048545425163825254, c_0101_2 + 956646515748964928084567697902184040406402727963051034205837\ 36343077056912991484295/1729790499233762087083097399210082074936677\ 3975056001110781644262910838482314913227*c_0110_4^31 - 6623162943838853265445161032526413261112013273820815250747524786442\ 0822109200597749/34595809984675241741661947984201641498733547950112\ 002221563288525821676964629826454*c_0110_4^30 - 6910495336091998565658671140427692282084327285511588559319327772284\ 75539996450278986/1729790499233762087083097399210082074936677397505\ 6001110781644262910838482314913227*c_0110_4^29 - 1078376561679726006585916203279053869689011718205123295265972325661\ 1930111904733981997/17297904992337620870830973992100820749366773975\ 056001110781644262910838482314913227*c_0110_4^28 - 1288808117291438435029163324673586308189530627253658682054227438325\ 7802941917975068277/17297904992337620870830973992100820749366773975\ 056001110781644262910838482314913227*c_0110_4^27 - 7220424793985142281364841209143478254174052372172626443735474334920\ 6708088419770426359/34595809984675241741661947984201641498733547950\ 112002221563288525821676964629826454*c_0110_4^26 + 3642874998660541144732034888704043038693416384725110488423372066478\ 77833816835590997197/1729790499233762087083097399210082074936677397\ 5056001110781644262910838482314913227*c_0110_4^25 - 2576654274960387822615398790384525978371522022975827111693683822647\ 252113285701398865051/172979049923376208708309739921008207493667739\ 75056001110781644262910838482314913227*c_0110_4^24 - 1468684545289121039470778754356377213552448064630275549456549029064\ 424717168694302189183/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^23 + 4889290637713353135464515111987640206749747118420769256986639933129\ 094177635718871905225/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^22 - 1709873488487085609668728303532088585964062500734017273306964643753\ 4330391865495864231192/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^21 + 3012925653674572546072606154760617523568192388856059412032104552029\ 8976657783911306912302/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^20 + 8134077242041152786443304420218511508167439699637915986996200221341\ 9210351834546820399333/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^19 - 1654268427287328133291931363556050864289113995445159864179839388611\ 35950362678561934969469/3459580998467524174166194798420164149873354\ 7950112002221563288525821676964629826454*c_0110_4^18 + 3132398897469710152037008972569029148608321942459050556464649968189\ 8296490161694973044846/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^17 + 1056865526321435095979078571921869870738058026333533351685062433630\ 63638766860492565783588/1729790499233762087083097399210082074936677\ 3975056001110781644262910838482314913227*c_0110_4^16 - 2172960232286159062893816078401500787955346158122222223376190762609\ 42803188553099386518383/3459580998467524174166194798420164149873354\ 7950112002221563288525821676964629826454*c_0110_4^15 - 1683353329977312846738382621807348733884922888821638482949348398985\ 63829812014466534733447/3459580998467524174166194798420164149873354\ 7950112002221563288525821676964629826454*c_0110_4^14 + 5720190806106681887372933350921284589753039115926321278490254689410\ 9170000328684261078046/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^13 + 9396784053153602493056216480175869809578773032787747484663886807660\ 7269016705995347695747/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^12 + 1039154662262204277916598538730754460415577600046143282926240480433\ 9081047559905233001260/17297904992337620870830973992100820749366773\ 975056001110781644262910838482314913227*c_0110_4^11 - 3199504155689268970066615988433084842360432839918666721500261384044\ 0454334373543974661603/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^10 - 3134175832544966147494826059250310873077900149251087225150818081312\ 9638651743513653367477/34595809984675241741661947984201641498733547\ 950112002221563288525821676964629826454*c_0110_4^9 + 2092216707878218667271152527766625475718342850863248557091135556880\ 591104484860406033445/345958099846752417416619479842016414987335479\ 50112002221563288525821676964629826454*c_0110_4^8 + 4155471412065532098402855945254604687935809726064112615999515194397\ 767973010115128964360/172979049923376208708309739921008207493667739\ 75056001110781644262910838482314913227*c_0110_4^7 + 9111729518276875431177831738226429384355412967138206067190374535943\ 34718653648607673137/1729790499233762087083097399210082074936677397\ 5056001110781644262910838482314913227*c_0110_4^6 - 5845453043702706031204872608803113626507128918988371753519177510810\ 05480645383134344805/3459580998467524174166194798420164149873354795\ 0112002221563288525821676964629826454*c_0110_4^5 - 3925377856211235341329492627381149299444779352198300778917611618080\ 37267632400676132479/3459580998467524174166194798420164149873354795\ 0112002221563288525821676964629826454*c_0110_4^4 - 2387470923041907144516190478533051660522939040552211174001109969083\ 3427758463358706426/17297904992337620870830973992100820749366773975\ 056001110781644262910838482314913227*c_0110_4^3 + 1468401281363853551456324406643874869066183370082741406659541316590\ 0900076989596367473/34595809984675241741661947984201641498733547950\ 112002221563288525821676964629826454*c_0110_4^2 + 2109688405460746486073189486478239268450504972259858404845610005148\ 994184778304596524/172979049923376208708309739921008207493667739750\ 56001110781644262910838482314913227*c_0110_4 + 3071316788397901212496645235637528001061506884029523718278665268027\ 80998955962999595/3459580998467524174166194798420164149873354795011\ 2002221563288525821676964629826454, c_0101_5 + 430622977769486967156940491204899020114786301487523503841844\ 764755765905433744619399431313274276/300021385878012696548111751563\ 18139465257890379072257456879818722411669025004524272712581912627*c\ _0110_4^31 - 647936450756280760081422437580606527482446802296393358\ 058292487815604002885839605379419773625099/600042771756025393096223\ 5031263627893051578075814451491375963744482333805000904854542516382\ 5254*c_0110_4^30 - 301627103656812880932238709440631712845609870977\ 0509983478629950390006801337219535264574146358131/30002138587801269\ 6548111751563181394652578903790722574568798187224116690250045242727\ 12581912627*c_0110_4^29 - 47296681281841781067634796827655219428682\ 893724011770842479847730214871760547027250179011847433363/300021385\ 8780126965481117515631813946525789037907225745687981872241166902500\ 4524272712581912627*c_0110_4^28 - 385397844122516751211873568899884\ 36250729317762128145178884497316781640929263113464103427909377711/3\ 0002138587801269654811175156318139465257890379072257456879818722411\ 669025004524272712581912627*c_0110_4^27 - 2854332539403461746901547489759198763578519422955518333852480950506\ 61861548433803797888771988548983/6000427717560253930962235031263627\ 8930515780758144514913759637444823338050009048545425163825254*c_011\ 0_4^26 + 1701971484480510607191259625936342271973129519050507694418\ 466711950548905952154275494564683995431546/300021385878012696548111\ 7515631813946525789037907225745687981872241166902500452427271258191\ 2627*c_0110_4^25 - 122765248162007068832631870574528180705413518995\ 67285856375748264324161975590250394062539120019415631/3000213858780\ 1269654811175156318139465257890379072257456879818722411669025004524\ 272712581912627*c_0110_4^24 + 4328431276777524074899212353403331609\ 6926930529888955305307501892742175001830595455087168983360255/84513\ 0664445106187459469722713187027190363109269641055123375175279201944\ 366324627400354420074*c_0110_4^23 + 2281907438325595051203668053160428667592956967544796508995038837716\ 5655428997598882595751458671402859/60004277175602539309622350312636\ 278930515780758144514913759637444823338050009048545425163825254*c_0\ 110_4^22 - 81516713283864267657360024310710451411896391562350523847\ 653791113656525489626768295342149874921426700/300021385878012696548\ 1117515631813946525789037907225745687981872241166902500452427271258\ 1912627*c_0110_4^21 + 167772049399428743318949675584728611546704207\ 381124115588388248227700937844226689987789876911709831215/300021385\ 8780126965481117515631813946525789037907225745687981872241166902500\ 4524272712581912627*c_0110_4^20 + 243535732249026448836259786847153\ 0281984639333544888191548026234643983187640882560445676483692855686\ 91/6000427717560253930962235031263627893051578075814451491375963744\ 4823338050009048545425163825254*c_0110_4^19 - 8696280485251107781637868737438718751456746815649345753889399884114\ 75545991944745719224265905253559999/6000427717560253930962235031263\ 6278930515780758144514913759637444823338050009048545425163825254*c_\ 0110_4^18 + 3043696585879546471404272750811582779416972643438562009\ 36622379292264344684148197284000929618277033013/3000213858780126965\ 4811175156318139465257890379072257456879818722411669025004524272712\ 581912627*c_0110_4^17 + 3867664802410915908914738724579409935949568\ 81204309254380995573306178406357703631294562289148458555840/3000213\ 8587801269654811175156318139465257890379072257456879818722411669025\ 004524272712581912627*c_0110_4^16 - 1330344900728263214251452830461861713456072814800522802588422672602\ 595761900450725803512703453806515413/600042771756025393096223503126\ 36278930515780758144514913759637444823338050009048545425163825254*c\ _0110_4^15 - 291963054861882616556769210310231393757910175002568566\ 453616872008637448940042013296586647820104000729/600042771756025393\ 0962235031263627893051578075814451491375963744482333805000904854542\ 5163825254*c_0110_4^14 + 366181698525096358780278965378722212427467\ 300406463488595958313175682517409799669197603079653095808101/300021\ 3858780126965481117515631813946525789037907225745687981872241166902\ 5004524272712581912627*c_0110_4^13 + 1712801236779343626082323397804950818324244984676665488303027224683\ 36761943520765720995309270710851167/6000427717560253930962235031263\ 6278930515780758144514913759637444823338050009048545425163825254*c_\ 0110_4^12 - 1457333047155621103195524588060971046462810779698683255\ 7605174867454276653066932218881201419351578164/30002138587801269654\ 8111751563181394652578903790722574568798187224116690250045242727125\ 81912627*c_0110_4^11 - 15794287535379116099030646017235365286218917\ 8959981769799198118402646297123856144262623472433861370747/60004277\ 1756025393096223503126362789305157807581445149137596374448233380500\ 09048545425163825254*c_0110_4^10 - 7989190222168891732923189648245472361300569023952561355171648495280\ 4902823240287238191436908866576785/60004277175602539309622350312636\ 278930515780758144514913759637444823338050009048545425163825254*c_0\ 110_4^9 + 547997858306227098010913982261163944377207957437280661770\ 49862375567615255776590410541327619926227619/6000427717560253930962\ 2350312636278930515780758144514913759637444823338050009048545425163\ 825254*c_0110_4^8 + 12345248439006577441575956111573357877827280754\ 427237730480022716935360360414268939259857654811376843/300021385878\ 0126965481117515631813946525789037907225745687981872241166902500452\ 4272712581912627*c_0110_4^7 - 2268497794060655574905577057660917798\ 512279162083060264154940325647537263704149231386272369399549334/300\ 0213858780126965481117515631813946525789037907225745687981872241166\ 9025004524272712581912627*c_0110_4^6 - 3473602842228514842015022917069466485420767963456910723944289672996\ 829369821742205327857972996763313/600042771756025393096223503126362\ 78930515780758144514913759637444823338050009048545425163825254*c_01\ 10_4^5 - 5291593655435651248507173044356925500355893274032994900823\ 92830084706805296729540076541446294111849/6000427717560253930962235\ 0312636278930515780758144514913759637444823338050009048545425163825\ 254*c_0110_4^4 + 13160742048040195798233944349406724955475071350748\ 1690440364701924800825799498126379927623389231569/30002138587801269\ 6548111751563181394652578903790722574568798187224116690250045242727\ 12581912627*c_0110_4^3 + 605540932684763013868043713591915022136803\ 67773192678485540258048715546384240985991492292949876513/6000427717\ 5602539309622350312636278930515780758144514913759637444823338050009\ 048545425163825254*c_0110_4^2 - 33162228777017908946441131108826390\ 86638090713226489837814303569664385185932248230144772514513646/3000\ 2138587801269654811175156318139465257890379072257456879818722411669\ 025004524272712581912627*c_0110_4 - 1437894811181822890600422999406564172433705274887987120131321094404\ 169075134317875330065300787563/600042771756025393096223503126362789\ 30515780758144514913759637444823338050009048545425163825254, c_0110_4^32 - c_0110_4^31 - 7*c_0110_4^30 - 108*c_0110_4^29 - 61*c_0110_4^28 - 289*c_0110_4^27 + 4055*c_0110_4^26 - 29423*c_0110_4^25 + 9924*c_0110_4^24 + 30648*c_0110_4^23 - 195445*c_0110_4^22 + 431761*c_0110_4^21 + 219706*c_0110_4^20 - 1143560*c_0110_4^19 + 891983*c_0110_4^18 + 892951*c_0110_4^17 - 1859740*c_0110_4^16 - 139258*c_0110_4^15 + 1176422*c_0110_4^14 + 101129*c_0110_4^13 - 213646*c_0110_4^12 - 238856*c_0110_4^11 - 54803*c_0110_4^10 + 118368*c_0110_4^9 + 36509*c_0110_4^8 - 18911*c_0110_4^7 - 9322*c_0110_4^6 - 62*c_0110_4^5 + 1094*c_0110_4^4 + 241*c_0110_4^3 - 28*c_0110_4^2 - 13*c_0110_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB