Magma V2.19-8 Tue Aug 20 2013 16:17:51 on localhost [Seed = 1966401942] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2081 geometric_solution 5.59314702 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.543292799084 0.126256367526 2 0 2 0 0132 2310 1023 0132 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 1 -1 -1 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710389972411 0.279572073770 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.215799997614 1.219328484677 5 2 4 6 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.797178474327 0.925997203020 6 3 2 5 3201 1230 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.797178474327 0.925997203020 3 5 4 5 0132 1302 0132 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522001212812 0.401864825928 6 6 3 4 1302 2031 0132 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 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.785359889359 1.132291341579 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_1']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : negation(d['c_0101_1']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : negation(d['c_0011_1']), 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_4']), 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t - 2418463519890638448284548340788164244467894467029575597378976583372\ 0124690049449/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^34 + 6779942456170252546147799765767204449475887894400082804219608786408\ 825091149714/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^33 + 7221113652488588753756320714485932443783549251355925381350664898517\ 67598850395684/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^32 - 8550313538670469585869675803303483071750955142513367104024091796472\ 72770226403932/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^31 - 6873558418626290354185719042733659658144847965590024889224072934015\ 115602451548898/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^30 + 1590123655542678624825650634003879891655818793184347515224439529110\ 9441169623481527/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^29 + 2590022962729013778022300001673055419747472238557080144502282575284\ 7601628988654763/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^28 - 9631519449607514895673341563702909821220769288957605709371784303077\ 7797905793704796/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^27 - 4682916667231893831985669605433161215994652430461989680833283884065\ 0296501588354904/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^26 + 1826923803811083569302316210463114571639548805994993901307544257510\ 27983052742945677/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^25 + 3374068743909367401385211242441597970451752753615638642655923168676\ 6522686518685481/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^24 + 1538040613329785517477256121997031567151750628867488094181573246740\ 68864714558656894/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^23 + 5325258665776143023931636451489670797957258032337313652106988782867\ 9309014695800878/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^22 - 7208384436260073364156135684502342569449900698962095206649651950012\ 43111751802169251/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^21 - 1422068763484190837247119243420413460813929170346834356885254040997\ 44470746233302689/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^20 + 1179819405935505604939129370034325633905255495892330548557830827860\ 04922342902452261/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^19 + 1223635873910913668051186520254839693834934759570948579187820917826\ 04671327625703656/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^18 + 8163322806388822155626087369921408424097872607141965643190839791892\ 50083130088832080/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^17 - 2145667027094098752358055861216157206849583309747309212743272233485\ 78250405383171224/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^16 + 3921275224122193831372932100536564284999886022365936086571986977457\ 6529970598477060/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^15 + 3599257651461165951618050578056692379069740185714112790613651472499\ 85433847698855833/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^14 - 7345544548493424677984478231115832543760954721844244658880732659699\ 48121993505986912/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^13 - 1655601001471453119293817303141512374090203640651446317017916372921\ 44213125938450608/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^12 + 1294609877735255620599864567586125373640417764144039295429377874575\ 75144169709623684/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^11 - 8291065438195407329867411665771694884976528706552966548284028882697\ 3233343624379294/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^10 + 8879769389021280787303685125105710639511243039590700305071328531278\ 9874402245845620/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^9 + 6509155865406479930953371883739284698113813631890997215722693017024\ 9038112678919862/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^8 + 4999249942258595507579692049679251167237772859875889526139064634092\ 967881188160216/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^7 - 6348672283096833329129861031008681506730127670106289395679238162834\ 794154331454207/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^6 - 9652740103520020238031921541467516216207325898486109478501882662697\ 032291217545601/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^5 - 6226510448835441606606015430553851935336378458979384002501869657059\ 94644472074533/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^4 + 1079971388665615170023786600083043612161109277147849256385051299427\ 16994206924083/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^3 - 4791271261625564527643440645676274082305732291491263970032313340614\ 60730009550110/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^2 + 1191652198704171593147613008490260670913073481966602987594150357267\ 53943974077494/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3 + 7482274174688859576918731572093053016217822295051103996575636079809\ 0802291796693/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423, c_0011_0 - 1, c_0011_1 - 110045613119972856307606954406035059679126525497127919166181\ 244815344978785514/648097225017610310159995604294085875766428565416\ 56738109186814863054991068423*c_0101_3^34 + 3893148516731108776895861780908986493158495830187724339206787435354\ 2699816087/64809722501761031015999560429408587576642856541656738109\ 186814863054991068423*c_0101_3^33 + 3287760699711360366893396383905422317264013773134199670428676180943\ 341777456988/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^32 - 4134250626127228607550763413503029258506665590433344899730167118981\ 354096199827/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^31 - 3111577611733589035442783892270795948111392571349770215204848076695\ 2964720697439/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^30 + 7483568040497711605062920671155728139352535983823693653799884603462\ 7723183549094/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^29 + 1136623679527695312230952017043511798125709750720604987677337770677\ 52242292617378/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^28 - 4499741196337109857951603609481799496788205385135161324234526734123\ 29564596609060/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^27 - 1842898953133201407130979042781711632029209176271973856848664869121\ 43597034982208/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^26 + 8640287572909614210457752901304070084529043043589308019717005708140\ 81693492894693/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^25 + 9489732262941546566517724620032960102316393818157783155202276123286\ 7508747850623/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^24 + 6603817891342069042538988399924080838523324710249340350631809515626\ 59073328336256/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^23 + 1942750217269612359159870432306665805336593128612174638351601484570\ 71145396479930/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^22 - 3333974177204774195794903625095934024387638325179759218319152562547\ 600414474775117/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^21 - 4059376362775917746145934974723550195785214418324994623258382980085\ 73966485710052/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^20 + 7025160938130926186714714823351563575052382182586110338326032545961\ 25219331910961/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^19 + 5083192959168116412075077293514189230444040090187370749626169572072\ 14290536389951/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^18 + 3688855730049553405562533180249169834248120079320502170249371635063\ 095971438701579/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^17 - 1272483222644446480810754924990194414614951395230027284789142418796\ 784648708255870/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^16 + 1119339620615115964702813753622163204610724698799545718768258157489\ 38207723185081/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^15 + 1694570200783251035793386427785917142182519164714369517982226352257\ 851340430124266/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^14 - 3527818358879772371866787881752232772062513363998122391403044011789\ 450327111440872/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^13 - 5386231641451746330686528051463998151824312858956900962817127064525\ 44509194465989/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^12 + 7732230457121231838571732539069875439032781119777114461612566752796\ 36120189513440/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^11 - 4399648725594662797060465036382056360035560453738713759002927801332\ 41272477477373/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^10 + 4500919225054805361901348954428087672073396523995646884233034089076\ 60899498840918/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^9 + 2772429095617045601555416887274484722761165033348221336506069483890\ 17795244970640/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^8 - 1859040260516673753413156433396873248684856037740107696456670459386\ 5073149163565/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^7 - 3283949602201421122253017588772274866293908314132744176855395479205\ 0256244386903/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^6 - 4750317709647755966831492740205316294538392899939639322669587899881\ 1626016962305/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^5 + 1066087386287321695237004571399475781783226837846673742446039214038\ 341158304206/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^4 + 1425025569113855757868217843698055489526355053590100237167354685191\ 284430704280/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^3 - 2106280685312451428141803304556147811623572339111890143526304255785\ 292042458130/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^2 + 9977035824606611349847273808995669366491848561971993887901991622178\ 77733685468/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3 + 344630151031230079919689820747012\ 486478905898336786287792137400254704921527950/648097225017610310159\ 99560429408587576642856541656738109186814863054991068423, c_0011_4 - 104270227462078671442528765444379004989492279763028536698779\ 828192555466643873/648097225017610310159995604294085875766428565416\ 56738109186814863054991068423*c_0101_3^34 + 3487154461694960735500221057310717069074719864373534886468052686661\ 7140560195/64809722501761031015999560429408587576642856541656738109\ 186814863054991068423*c_0101_3^33 + 3115293847502104863177315828026996136593588468176607966427786331470\ 424527564449/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^32 - 3856784182255357764402141146889008796026745590414113862449035024719\ 884619749080/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^31 - 2953950563719524919440993685260542007260211469291191511399318147818\ 6088494690462/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^30 + 7031346547949450085656981217023800561760995921437152228058217217422\ 1965034283282/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^29 + 1088866949425867832779976786093773961788459411906030005143968681288\ 76825298519966/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^28 - 4238316824564403591519815694781727281407567535266908342893073239675\ 68994093790008/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^27 - 1821930595958308741161133711372722840986493723156327005465517141488\ 97268471368109/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^26 + 8125785824877835491141403453150634021617784616254712656540033474918\ 39625940894268/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^25 + 1047313973915488034174067332153587030509584652565925887182366094774\ 59624633912116/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^24 + 6330839824116126373099945945380916314932571950592527775219695892432\ 45521637788703/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^23 + 1962502792822866162690264663855641451905896956197837768015958324029\ 91975533417309/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^22 - 3152740350694909421835614775370927252351623336417783298615004492689\ 439533471254666/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^21 - 4439687874377963175830746347678723501760756096960399980050077421118\ 28645785489950/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^20 + 6382154353570123360290794335255023501163759804148581296013397102878\ 55087696403873/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^19 + 4938775111514617554945896866594918566530779070382588349640592630488\ 18563792846185/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^18 + 3512373079246571879649179225434093964820584412908896167101603191842\ 220491727906224/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^17 - 1138696775418859142221576802704894135209436439078327900226407708993\ 741215444603701/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^16 + 1033060078748183265589549338488456948908431396421436399157707061629\ 16242258265739/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^15 + 1598105751703476438802047449689562442043644060612471304097001641072\ 616548899211203/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^14 - 3313696755886983278563171383307867944908001050636220731911368330809\ 162201140285825/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^13 - 5591957162044717204569692532044274567345551136580037448031318766748\ 23750584890006/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^12 + 6994518615924271117359959007568026138860658900607539017671812254698\ 80864495739476/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^11 - 4045330501689590027389081263092109552458441380804541212314661896615\ 27770561549384/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^10 + 4271156089634632528962433853327573083474040832073208596735794966441\ 00550973237154/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^9 + 2653972686510033705109292333582711649328297956920100846959251294879\ 70780863935731/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^8 - 9790840892507781025107858820599831775974350010958451464992196008753\ 513987683450/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^7 - 3076342016176968089003213659073670550103980086570382914274614188972\ 7946433775277/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^6 - 4595152981407366131456588524895945896303136792245869839378865429901\ 9446580028725/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^5 + 3131135846806637379868289157604484344026503726176895691797298053198\ 84124244361/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^4 + 1106763239576340816455586224599594384651950037505141024846167301488\ 934056929337/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^3 - 1895848488205664479149032755170977942292706141533604112119962477787\ 018334443169/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^2 + 9110947353925268211574019924009359935543571618963498993308374102438\ 06133264917/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3 + 305529365538793303884726468422081\ 516692410651202719039343764205842272556924597/648097225017610310159\ 99560429408587576642856541656738109186814863054991068423, c_0011_6 + 752617177218949461200387215716605226884192507649532176751313\ 36696445753338931/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^34 - 2590756981935612191333644451178279191889398137967162848048511174196\ 4345433009/64809722501761031015999560429408587576642856541656738109\ 186814863054991068423*c_0101_3^33 - 2250111965385129008367361623946619653139297902650159422468708019930\ 126579724801/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^32 + 2806416606700743984281222954349483484656547747376713657554678916913\ 914193055181/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^31 + 2134654340091446632700181995388331338405784760233024344095019836444\ 8711363405314/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^30 - 5102556266001881262206781813975757861744019896744065147164949598322\ 4913599539385/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^29 - 7859145726599195327475777536843012306309685028570652190892835664740\ 5288004961685/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^28 + 3078718285982237846180702731207250957457629744042238704098685034638\ 21528666758833/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^27 + 1303174303076650733449296176021007736260755608246456592992868305350\ 82374328377426/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^26 - 5949115866524285066420765598281382562402304091271959736564716071947\ 63967176729679/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^25 - 7276255477653440679166276204489104875840761247368002904222321815331\ 4779092650876/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^24 - 4427522630798139751904559995939895354710368398661810178244750706794\ 70549888019799/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^23 - 1360758412967806993874385021124096017800619614139654278223470410139\ 08243165058166/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^22 + 2288017156206530481657502901744621501117438265428299858257999030498\ 878116008394028/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^21 + 3025315238304096855301118309261881480124364172438119108419579763139\ 12177851781995/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^20 - 5157986972548531543435375798917153226900133462301100050525221554079\ 41517611519313/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^19 - 3579284279848095356625074512615937488262942627407516740135391331108\ 25094315906829/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^18 - 2523504129096963971107463225737898646888296278496115607582511841430\ 874866292658680/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^17 + 8502651410595211082705448068383466732627145224385065134393563634651\ 78597863034347/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^16 - 2481895398625005469668564856889402922653303763710356810210982556317\ 8905805298711/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^15 - 1172541960905434836902256591807256722518290873443947383239288586886\ 676788416500523/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^14 + 2409637951384515814372107288231930867550132631470245466916056408115\ 489057199265358/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^13 + 4119139997293790763754009221329015945006799567512876633143828957502\ 70377731397759/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^12 - 5647312517571525076626144998466213039726170928083270707170529866239\ 46159924197075/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^11 + 2907827964318543054867641532384220824764573077164696191110513842558\ 76200311171644/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^10 - 3016186218653723177409130207338192127046372385273769189983020548503\ 52857847955312/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^9 - 1991234166458780405613754818240949068508704116380897629723455530140\ 24707395830192/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^8 + 1539382068362016492426377525807538684737373619569129755799834372678\ 0416841791790/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^7 + 2450562392092048955239853117411842977238022707793104930928664794117\ 4002032270862/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^6 + 3352182179155269167955391463176200167497256274835930000185015595252\ 9172844539223/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^5 - 3625224828180385827171541107195178295324312273917678243187172401297\ 58623055599/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^4 - 1315540205185503884544226344622185962656830153782858651909873772966\ 502031046487/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^3 + 1628446733195629131376962797176580287197813710706042447479405769998\ 158817160613/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^2 - 7011981422722085834616230994203819923030466417327840800697140252439\ 17918789191/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3 - 258200309094055374085613855875954\ 221563259949823479063457948022983363496276211/648097225017610310159\ 99560429408587576642856541656738109186814863054991068423, c_0101_0 - 720402792100828279759913973988363389091308744522449898650456\ 10610032306667293/6480972250176103101599956042940858757664285654165\ 6738109186814863054991068423*c_0101_3^34 + 1456376547784730996407499496769936655971355731758042910092479518216\ 9712787145/64809722501761031015999560429408587576642856541656738109\ 186814863054991068423*c_0101_3^33 + 2157505728767939412609889071455746301201621192639510946618769958183\ 828815535463/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^32 - 2383630850669877002225228831507531104754280679575100878578748308003\ 951317008146/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^31 - 2081890917877626010315841663258782954380753899203977417395198930534\ 0721589981299/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^30 + 4604223554762184207639870041579151862331581407321266972547175197706\ 8054301293521/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^29 + 8209930751329637943071128804090803241149529850873240312834718122019\ 1010532955643/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^28 - 2850336445082477237685341090696381305978210615570433753424370029275\ 27369157389360/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^27 - 1646397350516942884209502912918537797266074288846790728973277188416\ 86107178599787/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^26 + 5556979499928078386391727512740456395079943520589020798461611052435\ 90627744004507/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^25 + 1381826150817821198037470749946736801646290769180243719750322086752\ 70597869745563/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^24 + 4270995674979962430839307390799416977961614031180773547348240186777\ 66074658871523/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^23 + 2125151146798991620385280576882804450698145625746681924382418638454\ 43171258788586/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^22 - 2170144115530631699481444202193403549224477395082282973989231744824\ 026971276738821/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^21 - 5759271791222018504446018257296374945646294205423297560723020357491\ 31027567613850/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^20 + 4651974371468358200806958998244597550644516542463388898194732907902\ 07964772021882/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^19 + 3217995965862297392411571718872658457322293678843143309389955447412\ 63929992619956/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^18 + 2449007879585729616201573598135491914152406672688043343865473974786\ 832978573079018/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^17 - 4742255384575753047318104957713262857937137107774313782040323499830\ 77934694536063/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^16 - 8569799902594655576307894570708544283849997577506621452376309054532\ 1291447855294/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^15 + 1234783821250569561595820152054458305923962470439838054511807067371\ 645128646230166/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^14 - 2177706575776596353678326007615567184353669234573919894107072480769\ 915573925939476/648097225017610310159995604294085875766428565416567\ 38109186814863054991068423*c_0101_3^13 - 6953049164838851528429657857426441819415025603097247828605174426592\ 15459035893039/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^12 + 5333247049337124663843822254800619263790257791356564570113768005764\ 41324897664828/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^11 - 2931035494518089813579090466719880642833622289946697741757010422933\ 58969417416883/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^10 + 2380413920556219763846476142849437383510582293506562619708012283350\ 66869564011045/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^9 + 2317296469119157071974627564858204822558970840901994827602710947309\ 72641465357120/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^8 - 2136910765940997140387696053953053320380047515532352412297589393085\ 320127148213/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^7 - 1577218250199184210403626663145618633400789344081519110674076315059\ 2950919393841/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^6 - 3031823315924711300884357511846317849291047748988051408719118922655\ 5012148615072/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^5 - 1714901990050542059394176582443436187429166954661526467081977382667\ 031448052413/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^4 + 1325730344366036406038357549917446558987223566886371686991908983655\ 847708340906/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^3 - 1901338544946768305738817921922348887456300434553401278961121331817\ 269287527163/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^2 + 5446284677273039290860703274557532213845971405367103480804332286310\ 13470370073/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3 + 256779645625583109189447366601931\ 241300021093004510135691463050422408264154566/648097225017610310159\ 99560429408587576642856541656738109186814863054991068423, c_0101_1 - 743855961843445846936028769466446100734719043181899364283223\ 8916262834894370/64809722501761031015999560429408587576642856541656\ 738109186814863054991068423*c_0101_3^34 + 4286285771443259636169422089394782903498085353969137353763172502840\ 814823196/648097225017610310159995604294085875766428565416567381091\ 86814863054991068423*c_0101_3^33 + 2207554721103027983641849622842052084930802956315810823984630873485\ 70281374790/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^32 - 3286759898047173595244994846624088921312393386845485934257112771094\ 98011149936/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^31 - 2014470651665754721561488700777764604301376662383082363515711775829\ 466522821415/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^30 + 5495677608492283876521223979605100816400132840785526881540512253603\ 512649618860/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^29 + 6305572837937257654175171438233519244091900533641160627700312050515\ 856569646514/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^28 - 3154647210036903583319385596833304138933640350547974355549132867085\ 4696143546119/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^27 - 4748482304209123432661348043023700212783312794610224625152529525627\ 291337971280/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^26 + 5769019768502159018556731038293760301145155089269015332501373237936\ 7255217311027/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^25 - 8231540681313402323489849643770962888577594945797442752872280898680\ 276363303041/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^24 + 4953524411623403120325377215457996490224087621545300492806084478304\ 8625922170566/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^23 + 3982195442614411591863988019127401193823204586993809259107115943028\ 665511143999/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^22 - 2217406822584764706893621479676701587354356864993400006241989605617\ 28817251389367/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^21 + 2583593445821482358942429722764522099536914147903368983905968664473\ 8356113299810/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^20 + 2777947009435359993735720708371923508033894970587767379647236751082\ 8508796100641/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^19 + 1894576629892502354153898096087539257521102868478776863247318133355\ 6823358812307/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^18 + 2422387553708774436161939316833069425483863371839456996017654040868\ 19829147845345/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^17 - 1408705508319595069845251324312970095358533925263998250511163488379\ 80252155404436/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^16 + 5756707074467693499016079644954292436716080329977956953806041800920\ 6621884382059/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^15 + 1059162229123128840554294879657285656927186412331830445184516216743\ 47596788392920/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^14 - 2576984169324065739293717171705171721381520677813938228918988903141\ 80643712155991/6480972250176103101599956042940858757664285654165673\ 8109186814863054991068423*c_0101_3^13 + 3274283310242021305612307910519688285452586291221147862189192588610\ 0664786522893/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^12 + 3207265403600859742801716071267865040709200427578872935522584249810\ 4157451548215/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^11 - 4467671815452224960793544205256290493014796863512345507851554984774\ 8711456818484/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^10 + 3861339263470194062737848787490382473515012797108202420277923113208\ 3436989290879/64809722501761031015999560429408587576642856541656738\ 109186814863054991068423*c_0101_3^9 + 5438669915781750788675752524978473863253563499292128642658256277845\ 132183445129/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^8 - 1399118349236770427635402241174297425605476432653572253462043059438\ 310831241664/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^7 - 6589122150087334981670895407217491505814270742507566452969239764526\ 19225661779/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^6 - 2033469840567045753418195162123817851191700625310946984796431183698\ 574678799460/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^5 + 1147126605133865557706944307157825724159538112834253331922298867013\ 670291026616/648097225017610310159995604294085875766428565416567381\ 09186814863054991068423*c_0101_3^4 - 1962508673625212076695119743901416837181574410367419765743792057801\ 74708649063/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^3 - 1708370103466609957003523595333222307257288269789488347939056042320\ 06485489356/6480972250176103101599956042940858757664285654165673810\ 9186814863054991068423*c_0101_3^2 + 4863702690120062197602400374721548250850162888320774807257660659082\ 0556641099/64809722501761031015999560429408587576642856541656738109\ 186814863054991068423*c_0101_3 + 2356935412473800521172729854273600\ 1832190051790265685152677695347410545964660/64809722501761031015999\ 560429408587576642856541656738109186814863054991068423, c_0101_3^35 - 30*c_0101_3^33 + 27*c_0101_3^32 + 296*c_0101_3^31 - 580*c_0101_3^30 - 1273*c_0101_3^29 + 3723*c_0101_3^28 + 3119*c_0101_3^27 - 7255*c_0101_3^26 - 3633*c_0101_3^25 - 6312*c_0101_3^24 - 3896*c_0101_3^23 + 29656*c_0101_3^22 + 14387*c_0101_3^21 - 5047*c_0101_3^20 - 6836*c_0101_3^19 - 35130*c_0101_3^18 - 278*c_0101_3^17 + 3025*c_0101_3^16 - 15797*c_0101_3^15 + 26583*c_0101_3^14 + 16188*c_0101_3^13 - 5271*c_0101_3^12 + 1548*c_0101_3^11 - 2660*c_0101_3^10 - 3943*c_0101_3^9 - 717*c_0101_3^8 + 353*c_0101_3^7 + 531*c_0101_3^6 + 139*c_0101_3^5 - 17*c_0101_3^4 + 15*c_0101_3^3 - 2*c_0101_3^2 - 6*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.270 seconds, Total memory usage: 32.09MB