Magma V2.19-8 Tue Aug 20 2013 16:19:17 on localhost [Seed = 2429619614] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3407 geometric_solution 6.57282551 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392698778304 0.320801970145 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.080040578607 0.926841899144 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 1 -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 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.700454189235 1.012668649732 6 5 4 1 3201 1023 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.700454189235 1.012668649732 4 2 3 4 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346083252040 0.722771927185 3 5 5 2 1023 1230 3012 0132 0 0 0 0 0 1 0 -1 1 0 -1 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.339722033281 0.711184640764 6 6 2 3 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.530895443941 0.679549519070 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], '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' : negation(d['c_0011_3']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t + 1991802024343234070247697171976163854299346103771809000283179657835\ 69941904506/5965119590511569729070354480841904267499005542864554566\ 41360917331507307903*c_0101_4^35 + 2248908812337949328896980287433791571787501131331356816498403450483\ 229221590444/596511959051156972907035448084190426749900554286455456\ 641360917331507307903*c_0101_4^34 - 7005946075104289669296141460248685522231657667892066488249682656135\ 07839560122/5965119590511569729070354480841904267499005542864554566\ 41360917331507307903*c_0101_4^33 - 3359555543388362067593612244983071496515891140589821588101974095913\ 9501434904972/59651195905115697290703544808419042674990055428645545\ 6641360917331507307903*c_0101_4^32 - 4508897336492726318926040018637302058314539816623251002763276173659\ 123130599769/596511959051156972907035448084190426749900554286455456\ 641360917331507307903*c_0101_4^31 + 2227822163425889139855838636382211654040119901796933543794533097595\ 17902729957066/5965119590511569729070354480841904267499005542864554\ 56641360917331507307903*c_0101_4^30 + 5080356030667769862190880634380338747365515787189911565445596883038\ 55054528079/4588553531162745945438734216032234051922311956049657358\ 7796993640885177531*c_0101_4^29 - 980258328059310623538558937302266\ 840503156223249685383901969715879478915237243996/596511959051156972\ 907035448084190426749900554286455456641360917331507307903*c_0101_4^\ 28 - 10707662709710884809985893941934379713472813489506746373800495\ 3394811247025498375/59651195905115697290703544808419042674990055428\ 6455456641360917331507307903*c_0101_4^27 + 2808623903342230828768448859188854667802539394402053770407854521704\ 522819646565822/596511959051156972907035448084190426749900554286455\ 456641360917331507307903*c_0101_4^26 + 1603049178795485559739189503501672481656171674278623478906070573448\ 35055986737266/5965119590511569729070354480841904267499005542864554\ 56641360917331507307903*c_0101_4^25 - 7891215283740643344163269449924803455616095071496148191048672927066\ 731079026121444/596511959051156972907035448084190426749900554286455\ 456641360917331507307903*c_0101_4^24 - 1611510447844752468024643896206762800752534701656528940950753014070\ 197939206878198/596511959051156972907035448084190426749900554286455\ 456641360917331507307903*c_0101_4^23 + 2347796547472184108224439532749627574953979111254768820004540171611\ 5767745175644033/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^22 + 1823853110732239970718401540427497864433713446701206768142055086625\ 0321557098303994/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^21 - 4527846130277338106862635426806164774551275610767893360857311704093\ 0215301867054043/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^20 - 6684289812697014221652558882482610695401736639655192412720428087855\ 5090068172501926/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^19 + 3870328530827174329121618784214912872832255482764001637852875384712\ 3473972217179970/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^18 + 9365918119173263255907542321697057567926598037649547722731040741054\ 175110929300484/458855353116274594543873421603223405192231195604965\ 73587796993640885177531*c_0101_4^17 + 1177508783699251691962625818407157276760636596869103896680976937061\ 7974406117703332/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^16 - 1282408488014264530516036308023648449816677184353962386249113284362\ 49464254944985875/5965119590511569729070354480841904267499005542864\ 55456641360917331507307903*c_0101_4^15 - 5886342827617694859922701412443444011204159901781698343214643769609\ 7365598148901581/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^14 + 8310703906259097725885170952751483395016154695893450206196851565072\ 9696974275860466/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^13 + 6068244116863517998003024137961809110852705518016677517986765904220\ 6904734807993822/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^12 - 3411442566151896293688173837874375728067191208387594801851603047665\ 1184470701981859/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^11 - 3489634040642020283217550412469457546383770479118932663206797004511\ 3639712227238359/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^10 + 9317253975759499634340709985928123708159695902921195609800897215126\ 258482036453181/596511959051156972907035448084190426749900554286455\ 456641360917331507307903*c_0101_4^9 + 1314596056817648555152684275691260888804248636631710718737593377829\ 7959848324537172/59651195905115697290703544808419042674990055428645\ 5456641360917331507307903*c_0101_4^8 - 2072096811921243482427319266477173699275192395681962080162585816461\ 265052840530801/596511959051156972907035448084190426749900554286455\ 456641360917331507307903*c_0101_4^7 - 3379974407595905035821342681164875893843895868073341115160599011860\ 784768406344867/596511959051156972907035448084190426749900554286455\ 456641360917331507307903*c_0101_4^6 + 4954834032953836030959100170124722111404421976979182946431215119530\ 26048091502939/5965119590511569729070354480841904267499005542864554\ 56641360917331507307903*c_0101_4^5 + 4206235902165978731609117239717792722202141223998023293234468072018\ 4637305702070/45885535311627459454387342160322340519223119560496573\ 587796993640885177531*c_0101_4^4 - 9450293354094019382773539237453730536393856316881980306016333683114\ 9074126713464/59651195905115697290703544808419042674990055428645545\ 6641360917331507307903*c_0101_4^3 - 4336425693300946946052570519394687747657518523424715414242987249117\ 7058177435321/59651195905115697290703544808419042674990055428645545\ 6641360917331507307903*c_0101_4^2 + 7884666747799538787502944238439589996992741297424580899982539300566\ 182808823719/596511959051156972907035448084190426749900554286455456\ 641360917331507307903*c_0101_4 + 6654215030881410615337568229504175\ 71892557238290187048004389156313051858870057/5965119590511569729070\ 35448084190426749900554286455456641360917331507307903, c_0011_0 - 1, c_0011_1 + 127591478867559817467085951287036337995707495349511490871683\ 53633800199297/8657648172005181029129687200060818965891154634055957\ 28071641389450663727*c_0101_4^35 + 1357023868035359048963166024014807564063272758604074832332471277627\ 17616069/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4^34 - 13112103104993724234531314462743712946\ 4747726624964322497046609235521005513/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4^33 - 2040367528659601908475968788370838199691213115315853913094648345064\ 899916491/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^32 + 9942729118939894303645338390660498127\ 20561828525915996183066661875860804781/8657648172005181029129687200\ 06081896589115463405595728071641389450663727*c_0101_4^31 + 1322175848360564138479641637259792081094590132406662385055092018458\ 8122829322/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^30 - 764447317443836688914192213855832677\ 9017023079806632597217330578262532020023/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^29 - 5525748092043139583084413598385887463310558749429788364007932927153\ 1988742878/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^28 + 253148986613483006449463873886931824\ 82274923019653293386102529583382918052947/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^27 + 1535280080437743365775400917551375419603080703981035374778854382479\ 87326585195/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^26 - 75212433307173105126090972312303626\ 542761386601254320519050660779575993098280/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^25 - 4299096704900748571590893455359725700372079629036644290697975691203\ 57764324237/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^24 + 13660553720305912024497900135388038\ 9572961480429300282653672547090631517985081/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^23 + 1341554721140813714580667242263348255859362571106121351520782826969\ 512947039970/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^22 + 3914650934360161866623090049865498\ 71313192820923548505710588113358037659650738/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^21 - 2909201103326319337610245385957377889709076493848689129610716325295\ 403938076012/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^20 - 2528449248219708241615784640126163\ 553900817932028225423368778722092053355511149/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^19 + 3475378380828737900425480411507729142215420913670715891049142450693\ 246897585053/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^18 + 5493145021639570522779284238484333\ 160024666366865854420164052142706126327887331/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^17 - 1721866305581914194668844970954945123612790431079975575520250178160\ 936244301951/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^16 - 6516249545010655571997977499787494\ 605451911237309122036229793948097069985624095/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^15 - 6941097360131703750028105136812302496689230079336841286454266402959\ 18087002812/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^14 + 47194380663084892929374838573299585\ 23158807966909216619852923464356692778633880/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^13 + 1578863190565365464704015088276393523904903830990737301003241417035\ 523412740622/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^12 - 2208881732085467439878326989115559\ 362633908859839758104231751692706523634957457/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^11 - 1086243398844542897967225632298337286036993993039605427355296954082\ 418183758840/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^10 + 7175339430100804775315920936395989\ 96906430828296901859651586395427854897262811/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^9 + 4256354986887701842864064651463687385165589000740521903774921792210\ 31352252070/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^8 - 179379525382921047796948277012980054\ 039694718410314524602249106141512492285070/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^7 - 1028356199508541175337453191603746731085548664120204186453313002705\ 75047018336/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^6 + 351193903366589813708553015258639793\ 14363352357586841136023031528934589771101/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^5 + 1471789073650558624536056399028465643120599789577695200981824815498\ 7047984051/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^4 - 4423219974173161915157182927958178690\ 776522606826183543034712414445577766833/865764817200518102912968720\ 006081896589115463405595728071641389450663727*c_0101_4^3 - 1057243696363904209782620779527399779263070033582715793155784336668\ 241409728/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^2 + 23751956584411226419807470973127274377\ 2118168389626801715067459325063459685/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4 + 2234026601525970690729722384958325146473661263388094009313631466509\ 6448829/86576481720051810291296872000608189658911546340559572807164\ 1389450663727, c_0011_3 + 231066121245939346901670525128562824163312345919028526585101\ 1962105274042/86576481720051810291296872000608189658911546340559572\ 8071641389450663727*c_0101_4^35 + 252420983770577394416712509051822\ 18765292696309431888908916365591146620289/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^34 - 1640739310098311734820349101867708182828141589464038686222857199066\ 9642140/86576481720051810291296872000608189658911546340559572807164\ 1389450663727*c_0101_4^33 - 373570857630122716407334623861317972288\ 178044665874360162073050726907393623/865764817200518102912968720006\ 081896589115463405595728071641389450663727*c_0101_4^32 + 7251064833554945616060715543844705330637571571406168887375260889522\ 2577411/86576481720051810291296872000608189658911546340559572807164\ 1389450663727*c_0101_4^31 + 240598484064384594817239171627889630573\ 6147067979672601934994449435867348064/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4^30 - 6977111739753535280443235987846315703253695692570683420529963616284\ 06333866/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4^29 - 10149657925642168105997296973182547883\ 421951112548979862597710612148109166642/865764817200518102912968720\ 006081896589115463405595728071641389450663727*c_0101_4^28 + 1698921458476777728766938049660919468868418227227051577006976540727\ 657321045/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^27 + 2803981247821817221954923537407236010\ 4652554003161715778637405816050078329860/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^26 - 5744403048607955938327883705981533923264393720760396280699162824393\ 739498564/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^25 - 7882765757250212364578911457910934124\ 5104670575845891002012281210095246854756/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^24 + 2562318838224169133658301811447592958501502208849661304356225430793\ 181189405/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^23 + 2417334933060423284998631190254570472\ 91908972065863259062868778741825724451798/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^22 + 1387227062962949621539398554620899648591139320077876302004821874185\ 21718564560/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^21 - 48116410320492242736385792269733314\ 4552421481432545653163108695383331500972136/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^20 - 5873613572782989179781432747322674574084939632342812850557884467473\ 85383216666/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^19 + 45250067996454873095870269783920534\ 9988758402020044850988146948927262169982394/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^18 + 1099633376583315198328766716940050357899259563909447057655022371625\ 760294354489/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^17 + 2582293483917134397866609027077223\ 83715670127198519882168979191913163326590/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^16 - 1144066096408028664263079078093014288100738344824723821123506112017\ 429929280991/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^15 - 4271997102641314390183985361194015\ 54558519278835247660384220911293943644831138/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^14 + 7072646105497304530225412588993367369899954948049123121780209388566\ 47229912945/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^13 + 45178689742730313653734328797018817\ 0645118632419775470503065477057962069698067/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^12 - 2663645413662330990406654107823564068175413796943585972645224548236\ 47374806403/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^11 - 24710859985853826729748957606421360\ 6683628979155730437255361984345680024142708/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^10 + 6464619029890904168079389401553163961043205727299290999814443843347\ 9623930709/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^9 + 8493206456185382684416391940418230719\ 6692460487951072119946983911911579496255/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^8 - 1244650752684958855334753573452965162892457488828009640880996061100\ 0964249371/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^7 - 1933448694166628988903118086491581713\ 2151905319695955066202205318146691124740/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^6 + 2318753817660585732954807310653433404337674446023837713465677028112\ 466917696/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^5 + 27445357283942613025912644782440119110\ 27762561262472120954364431972601301810/8657648172005181029129687200\ 06081896589115463405595728071641389450663727*c_0101_4^4 - 3139305821708503683757807048993198119481423458744344714630113670229\ 53365614/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4^3 - 192974554390262189301832254067712959965\ 781524175397745956643082910103198739/865764817200518102912968720006\ 081896589115463405595728071641389450663727*c_0101_4^2 + 1852454198134352386371079669178328367963180542718294676332886654266\ 8459343/86576481720051810291296872000608189658911546340559572807164\ 1389450663727*c_0101_4 + 332087056799296016995444697664927123940142\ 5838163889031913987252082818153/86576481720051810291296872000608189\ 6589115463405595728071641389450663727, c_0011_6 + 372849754836502769805390612223999091272224392208784810930811\ 23459105590705/8657648172005181029129687200060818965891154634055957\ 28071641389450663727*c_0101_4^35 + 3965318662282063989656872942270505752091535727565529631801516567732\ 82843615/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4^34 - 38314369831922542668290616400138773686\ 6644855632973662977080730575303581101/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4^33 - 5959702183575615698266726957963000113570506923282252694574013431219\ 399665467/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^32 + 2906801918843868268301026012114436771\ 362060723803560706241224952237119428731/865764817200518102912968720\ 006081896589115463405595728071641389450663727*c_0101_4^31 + 3859876333364768866723297833913234249005339827820853393343548955180\ 6248995921/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^30 - 223484550571781159027321151999085062\ 42187681914867367937908076274790945845756/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^29 - 1612306040517501735084780011106593443925014035004121386489762443315\ 01634979374/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^28 + 73965764227177317764590996600228636\ 034776422955478427768703807387733992744758/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^27 + 4476434262855211560668094589230779725572151613303134404079952406757\ 20562403543/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^26 - 21974634823392243743078912336399114\ 7409168405989847474789319376004071219896070/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^25 - 1253589337768481943026883452303843462471008893505996687847917948407\ 837680624542/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^24 + 3989536007345790781599451275092435\ 29907019205511707221689499948759112379706674/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^23 + 3912832309233100479308212701573622287367477896152687406222323982049\ 619906891775/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^22 + 1142994486977919235163553086617559\ 133303732206112342657002431009689616324362865/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^21 - 8479363923932328503897934778382663770945505847936438840247494316205\ 005384135779/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^20 - 7373284696097409399883776004994588\ 760832870953679899540881139782552734539689525/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^19 + 1011481942237774478460775701842227042618273041498288748497598144960\ 4768576006464/86576481720051810291296872000608189658911546340559572\ 8071641389450663727*c_0101_4^18 + 159974658411647311421588017080125\ 23732375444955828930490426509720709663855998573/8657648172005181029\ 12968720006081896589115463405595728071641389450663727*c_0101_4^17 - 4996566722087588697740429435215869780505748698626132081128562915281\ 095206474925/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^16 - 1894782856850091269001388977901095\ 0500582203421543880985593759813827394082502461/86576481720051810291\ 2968720006081896589115463405595728071641389450663727*c_0101_4^15 - 2025683348129653566162055803618538456803435145184088307032719050046\ 667767283204/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^14 + 1369920547047920494011346000853268\ 7477190107168303715271659679266113635884263353/86576481720051810291\ 2968720006081896589115463405595728071641389450663727*c_0101_4^13 + 4581656199026554676339513430961828808767341359401523370394405426233\ 446565129353/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^12 - 6400621835121704082068512523967917\ 199025231881294775225223591025556222686849706/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^11 - 3144377129089010811590354141240248060516605011765268192897583156690\ 066141529100/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^10 + 2076712892958958183714713398163620\ 071615247313358152308275262727327676498392018/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^9 + 1229276904311448945924085771065641663403707783010987987459750283959\ 157228176279/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^8 - 51881722088937895890863139335792616\ 4933589490784583341188600244002178794762652/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^7 - 2961737957594992045808847373362253678710631138457579652093640467899\ 25990317833/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^6 + 101336804216164592560756398614280031\ 458761410749556116256769747986682445062346/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^5 + 4226160968910227741494549719026380833908118040957837875727255090781\ 8214444839/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^4 - 1270190446680926765846636336759444933\ 5763546400706152173339999372320159364211/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^3 - 3032764989834850235545086410792319739565056830867584784606572832992\ 338637893/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^2 + 67820450150907289336189743990290716247\ 9060838732017440105224935208278114070/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4 + 6324457271972444207582782418695493100498360668430971337712946474720\ 4530258/86576481720051810291296872000608189658911546340559572807164\ 1389450663727, c_0101_0 + 855017279568229772049651736723674627533599379803445813831628\ 3706764154366/86576481720051810291296872000608189658911546340559572\ 8071641389450663727*c_0101_4^35 + 913008072404026495220922286806491\ 62128026509568807731131412161540144049355/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^34 - 8357742899758354112785530526473961207254460148419286083711246226909\ 9983133/86576481720051810291296872000608189658911546340559572807164\ 1389450663727*c_0101_4^33 - 136640335680381797848886580764281350563\ 7647136507505881722857291842793700227/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4^32 + 6056135375951633511938863771356479246970745803584148213277501155180\ 87942711/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4^31 + 88213881216059732858514244883542839186\ 33681704022063234883220348752176691041/8657648172005181029129687200\ 06081896589115463405595728071641389450663727*c_0101_4^30 - 4738734685599009204149232148485528835495830526631623611853109941560\ 796734242/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^29 - 3682367242037639206242804667746690200\ 8409355173656912632104448893763025358828/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^28 + 1529784333160371231900840290574540401679454706888400121148724849033\ 5774649651/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^27 + 101842215101809025856521293854469961\ 042455868578098704762041993858741167748834/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^26 - 4587703082085414794678139255060818894117674955416455286333018510846\ 7578706359/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^25 - 285504872989628508760126426703275545\ 020567336218489810378054761071920945438076/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^24 + 7864127001653982387670665654246994654538179258144740527225343124574\ 8731226718/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^23 + 889511954537011890812480193743988064\ 448434027690151806807882422894774631708017/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^22 + 2998359078342918805919844032328659174804770449646614933285078470534\ 69871188380/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^21 - 18973195833579641214955024402048360\ 46690502283805506051661584045491206070550615/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^20 - 1748976009672788702330562327338356057508970383848118400252770007914\ 164498539238/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^19 + 2180489345346993621483318864608171\ 715327621952018088882225170118261319043538608/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^18 + 3673762014503563161542148061712262418213860636509838941484556421605\ 510083710001/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^17 - 9393373722637138203690218648453105\ 29556087908229994535677360403770873769345839/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^16 - 4234625815303663838082635378503634957601446873956667893426030827166\ 481991637526/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^15 - 6260425114863033607525868957875468\ 57568204133712275668004224129717013439145649/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^14 + 2974493559802510071704764037468013154636977460198052281013343025649\ 441531439213/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^13 + 1108979696366855535558565799475835\ 831270600809104099814689685810388104085100844/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^12 - 1346089767646751938506100714564961568907521550928047934644257075046\ 619212825674/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^11 - 7195363513010608162854682980754616\ 45697995309145075113402989568805316133866058/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^10 + 4233237842136005124014848866656173430200197606332837066326821518688\ 97211472798/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^9 + 272367762606236082511402104849683678\ 403321769492328317026518053416172965140516/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^8 - 1035804303034683253637114955618471411179228723418549556847696043844\ 92286029858/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^7 - 641632321151855750216745221446708857\ 80442871331677264514395933792566028293465/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^6 + 1999678357747289184857822538730685221234781317314023618771279056189\ 1817824040/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^5 + 8969546078197687260729910913504030602\ 237722610114545741115605472976503162412/865764817200518102912968720\ 006081896589115463405595728071641389450663727*c_0101_4^4 - 2456780022970219314738074306111858457109464879839256880281109139092\ 294280284/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^3 - 62974909092909951440465153102987116822\ 8188045762508370402421900652702073729/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4^2 + 1263319658965912622936192324810996038412333477641837324854233145494\ 80837496/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4 + 13211868391807523518150525959384455405873\ 459480329400476570686529411016616/865764817200518102912968720006081\ 896589115463405595728071641389450663727, c_0101_3 - 417700715216652532714435690573777614368361095138343690120647\ 91471558745156/8657648172005181029129687200060818965891154634055957\ 28071641389450663727*c_0101_4^35 - 4422265428135468279482661566674738896960127848242710221265606845408\ 92842968/8657648172005181029129687200060818965891154634055957280716\ 41389450663727*c_0101_4^34 + 44926173644363881154516998214985212562\ 3387564839038793258196926005933440106/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4^33 + 6642843610084071934868459085152748107237821884624667799325947216488\ 270584456/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^32 - 3557508147462066545797640691678457383\ 314369795009953271680232587254515633948/865764817200518102912968720\ 006081896589115463405595728071641389450663727*c_0101_4^31 - 4288896916970349229722263341833597092817772232834916071089371872396\ 0387621986/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^30 + 269191246950828498134107864933025356\ 39811312157178719920220549555173422768713/8657648172005181029129687\ 20006081896589115463405595728071641389450663727*c_0101_4^29 + 1781920418185375503180203223519267377269471914722084556539123395162\ 09342366317/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^28 - 90179132734421251685065135166645497\ 947986554270851941871759345690470221016080/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^27 - 4926667258411306593950897482914610576260693440678844769808500111470\ 20535700091/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^26 + 26543645986248091333498868392469206\ 1610949432115115304355510144125267714291428/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^25 + 1379758469965434202047827375216462682076524449931703114695048728621\ 430438551022/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^24 - 5008075306020764301164100244725205\ 44966835265971841748225442093484176333851299/8657648172005181029129\ 68720006081896589115463405595728071641389450663727*c_0101_4^23 - 4326158321874332448693710959747645550523842819683352700219610963936\ 431177948833/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^22 - 1100469829671409866533474505661888\ 295794242236845430253048715717783580425418733/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^21 + 9442748951821153669167459051805435060999370994429080446685653915842\ 634001825765/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^20 + 7819857102691378042234368578286594\ 734462985376393354991257575594776283901416771/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^19 - 1145159087601391074457263132859127890660380776073274961506866907300\ 2077003454400/86576481720051810291296872000608189658911546340559572\ 8071641389450663727*c_0101_4^18 - 172575603026424009267963176355761\ 97752256795884166923534269757250147640932057235/8657648172005181029\ 12968720006081896589115463405595728071641389450663727*c_0101_4^17 + 6070962501845088514301262490958567476537400060535705909843117103323\ 346842182990/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^16 + 2060865354692392963192159396953683\ 4986758391174144712130080020225944964820735634/86576481720051810291\ 2968720006081896589115463405595728071641389450663727*c_0101_4^15 + 1568394752779253034458311830902164100490888346862340766027263482930\ 569685412290/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^14 - 1499108431669073449073584396489042\ 9140583681721908707537933314412756147399310352/86576481720051810291\ 2968720006081896589115463405595728071641389450663727*c_0101_4^13 - 4541488454636174160818739721011054912560278385002027772429811383946\ 468639078693/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^12 + 7053602330808850504984169569292605\ 047624476853701921276477506926328674096389205/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^11 + 3202374188974073453202773158159308178998422931510336256572072682054\ 358614127233/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^10 - 2311057520993239243823140258028860\ 449574882872530926067488703050108868344292496/865764817200518102912\ 968720006081896589115463405595728071641389450663727*c_0101_4^9 - 1255923333147321200096112801814183248436957622343051888425852167382\ 128383103575/865764817200518102912968720006081896589115463405595728\ 071641389450663727*c_0101_4^8 + 58061876460530773177796057264222608\ 9129599786351535191977569084629330938545631/86576481720051810291296\ 8720006081896589115463405595728071641389450663727*c_0101_4^7 + 2990878064165292764514686286355191933459110905839048161206965492991\ 40554656886/8657648172005181029129687200060818965891154634055957280\ 71641389450663727*c_0101_4^6 - 111792196657119588100755853788293852\ 533579532564822519069100555180385690065083/865764817200518102912968\ 720006081896589115463405595728071641389450663727*c_0101_4^5 - 4186546218237476853264949632796481722672260654540383798671294302982\ 9106865297/86576481720051810291296872000608189658911546340559572807\ 1641389450663727*c_0101_4^4 + 1355803142472191804951553875248056534\ 5971549247811592360417452055182638772716/86576481720051810291296872\ 0006081896589115463405595728071641389450663727*c_0101_4^3 + 2973885409384618577835847169349294942508837885623003765773058440986\ 620962566/865764817200518102912968720006081896589115463405595728071\ 641389450663727*c_0101_4^2 - 69689751909842966550700981968725068975\ 8935096137125029593286516466211798092/86576481720051810291296872000\ 6081896589115463405595728071641389450663727*c_0101_4 - 6475429196997334972083060865523456577541768471788131728157435263918\ 5947981/86576481720051810291296872000608189658911546340559572807164\ 1389450663727, c_0101_4^36 + 10*c_0101_4^35 - 17*c_0101_4^34 - 153*c_0101_4^33 + 179*c_0101_4^32 + 981*c_0101_4^31 - 1252*c_0101_4^30 - 3914*c_0101_4^29 + 4696*c_0101_4^28 + 10630*c_0101_4^27 - 13396*c_0101_4^26 - 29572*c_0101_4^25 + 31709*c_0101_4^24 + 97290*c_0101_4^23 - 35212*c_0101_4^22 - 244057*c_0101_4^21 - 53859*c_0101_4^20 + 390146*c_0101_4^19 + 254204*c_0101_4^18 - 396822*c_0101_4^17 - 414985*c_0101_4^16 + 260071*c_0101_4^15 + 390774*c_0101_4^14 - 106255*c_0101_4^13 - 240756*c_0101_4^12 + 23686*c_0101_4^11 + 104601*c_0101_4^10 - 2472*c_0101_4^9 - 33140*c_0101_4^8 + 966*c_0101_4^7 + 7305*c_0101_4^6 - 583*c_0101_4^5 - 984*c_0101_4^4 + 127*c_0101_4^3 + 64*c_0101_4^2 - 9*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.290 seconds, Total memory usage: 32.09MB