Magma V2.19-8 Tue Aug 20 2013 16:17:27 on localhost [Seed = 1511769744] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1677 geometric_solution 5.40511049 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.281819182935 0.156080214272 2 0 3 0 0132 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.002717285532 1.347827807309 1 3 4 5 0132 3201 0132 0132 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 -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.324506388209 1.266253053299 5 4 2 1 1023 1023 2310 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 0 0 -1 0 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324506388209 1.266253053299 3 6 6 2 1023 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 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.593190343246 0.184116055545 5 3 2 5 3201 1023 0132 2310 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 -1 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.867144179763 0.649968966767 6 4 4 6 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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 1.301055162054 0.792653152157 ==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' : 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' : negation(d['c_0011_3']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_3'], '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' : d['c_0101_6'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : negation(d['c_0101_3']), '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' : d['c_0011_3'], 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : negation(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_3'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_0'], 'c_0110_6' : negation(d['c_0011_3']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_3']), '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_0101_0, c_0101_1, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 1320317705269250095810874004827454430902509679917424915884825286138\ 673743616109917695138105814033863226547/524564351461221564823201335\ 2205696374774313018824754467996622247549242451259018294461430873016\ 237952*c_0101_6^29 - 2423012769226493653058775602043382180650523728\ 914119185505078004058817732106448425340899175305438869574969/524564\ 3514612215648232013352205696374774313018824754467996622247549242451\ 259018294461430873016237952*c_0101_6^28 + 1144071681540877238844147024848389974516113809899250842205775158037\ 26892600887905787821282834372785459214599/2622821757306107824116006\ 6761028481873871565094123772339983111237746212256295091472307154365\ 08118976*c_0101_6^27 + 74174664479986566941647138179010460656195278\ 701407767580495976021066369934208834074508120420558589192946613/655\ 7054393265269560290016690257120468467891273530943084995777809436553\ 06407377286807678859127029744*c_0101_6^26 - 3292924060247487270278169247393571145227918740903360718018513882016\ 057019123114904889632540191638713577953455/262282175730610782411600\ 6676102848187387156509412377233998311123774621225629509147230715436\ 508118976*c_0101_6^25 - 3579353990750891384623378851077106101286991\ 579566011126253983673392628574849771474727209984944901852322923257/\ 6557054393265269560290016690257120468467891273530943084995777809436\ 55306407377286807678859127029744*c_0101_6^24 - 9001457360248478121595573430492119563357680998698127875417230985275\ 531110764191782183112206715502097998156251/262282175730610782411600\ 6676102848187387156509412377233998311123774621225629509147230715436\ 508118976*c_0101_6^23 + 3461574822260740316345671025653231378707741\ 724640421465147039292968413015416998178013224510038959150667963881/\ 1380432503845319907429477197948867467045871847059145912630690065144\ 53748717342586696353444026743104*c_0101_6^22 + 4243921982790879501084023209191121076195057418975717952618049955834\ 522728228752105588528681079903789449988892/409815899579079347518126\ 0431410700292792432045956839428122361130897845665046108042547992869\ 5439359*c_0101_6^21 + 386087771266218238394963422843262839698430554\ 405843796918092328675910311943365275988865372673046170973285048913/\ 5245643514612215648232013352205696374774313018824754467996622247549\ 242451259018294461430873016237952*c_0101_6^20 - 4302060020993688229153088704169889242134515137128688091114405959649\ 99086924683322728310050117094827609742244653/1311410878653053912058\ 0033380514240936935782547061886169991555618873106128147545736153577\ 18254059488*c_0101_6^19 - 26312932386056538788313792730146173268700\ 1007279763305107102331316173786251316618364596043175593397606324058\ 1763/52456435146122156482320133522056963747743130188247544679966222\ 47549242451259018294461430873016237952*c_0101_6^18 + 2413545382976338023608541099291031717421589650133807979553753094593\ 207393316265976139653946937625640179488524525/524564351461221564823\ 2013352205696374774313018824754467996622247549242451259018294461430\ 873016237952*c_0101_6^17 + 7310999225405562268375186070164827029672\ 4099656066872675435978135920497865247196204393731600959167373164502\ 05965/5245643514612215648232013352205696374774313018824754467996622\ 247549242451259018294461430873016237952*c_0101_6^16 - 7662999366126495178672152574172236098695273211271402085169976842672\ 389606952044948551987216213666011641010523817/524564351461221564823\ 2013352205696374774313018824754467996622247549242451259018294461430\ 873016237952*c_0101_6^15 - 5012978697251150983735571530732558493174\ 6598492454866067543952745322681844845384697687565107419994897061687\ 0207/13114108786530539120580033380514240936935782547061886169991555\ 61887310612814754573615357718254059488*c_0101_6^14 + 4964866774478867390162510567904964519386749137964118395921028832055\ 036655245495823186763690970345779444639351947/524564351461221564823\ 2013352205696374774313018824754467996622247549242451259018294461430\ 873016237952*c_0101_6^13 - 4438988318650962831963060347673835503277\ 3512695395274884140956862616913498663254778422743404877773594014482\ 4003/13114108786530539120580033380514240936935782547061886169991555\ 61887310612814754573615357718254059488*c_0101_6^12 - 3465050424028072328114762861465637773161990754105594949927699161406\ 7794480084221755389802556099190179238648045/65570543932652695602900\ 1669025712046846789127353094308499577780943655306407377286807678859\ 127029744*c_0101_6^11 + 4536108214011278205084710712593228729336761\ 5691095048911956762360037186722053396368456905897378559431685923941\ 1/26228217573061078241160066761028481873871565094123772339983111237\ 74621225629509147230715436508118976*c_0101_6^10 - 6091918470963108689104595214608322527902497076918242643229389429892\ 09619407999097799250496162411418026164939479/5245643514612215648232\ 0133522056963747743130188247544679966222475492424512590182944614308\ 73016237952*c_0101_6^9 - 540863550060250065733576058502340764522888\ 4213359981569163354623074946191906946190906493068480506599190011465\ /276086500769063981485895439589773493409174369411829182526138013028\ 907497434685173392706888053486208*c_0101_6^8 + 1136205359677531703300859220244198735709844705335539754147177345202\ 57114399562732685046696149018142980460595575/2622821757306107824116\ 0066761028481873871565094123772339983111237746212256295091472307154\ 36508118976*c_0101_6^7 - 100560752792880436636687100413655617428814\ 0888850052534803361941491656009566420435104983228657117337280739261\ /276086500769063981485895439589773493409174369411829182526138013028\ 907497434685173392706888053486208*c_0101_6^6 - 3798892406016793314637410608400557926994551985828032334395313050948\ 3489869415465222231996091985440137180117785/52456435146122156482320\ 1335220569637477431301882475446799662224754924245125901829446143087\ 3016237952*c_0101_6^5 + 6903118524910940011886198564883846407241715\ 641539152646534730439119686017754911227519368445297894158879000521/\ 5245643514612215648232013352205696374774313018824754467996622247549\ 242451259018294461430873016237952*c_0101_6^4 + 4093261557891302312310120604770986849747466075026144964846426924767\ 523986415454285687157190864545183059527063/524564351461221564823201\ 3352205696374774313018824754467996622247549242451259018294461430873\ 016237952*c_0101_6^3 - 68521894048877854852625114515897925286283397\ 4005776404035504418984006940445996049584044308828296827953649185/52\ 4564351461221564823201335220569637477431301882475446799662224754924\ 2451259018294461430873016237952*c_0101_6^2 - 1831661396292002988409815572863332659813081147073839630102936497564\ 23871584806058497890848019969296226274633/2622821757306107824116006\ 6761028481873871565094123772339983111237746212256295091472307154365\ 08118976*c_0101_6 - 80107056020360887051288471847756581842367325508\ 04156016121178412571592175074737539555367858372142600018297/1311410\ 8786530539120580033380514240936935782547061886169991555618873106128\ 14754573615357718254059488, c_0011_0 - 1, c_0011_1 + 804592071744458242228829757150005315513466688731122880229620\ 563349926535225981724732246678566445162/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^29 + 147560999270726966780272830633981655671305626595\ 8651566502544484448415265536087139261232073270234267/45802953482367\ 6917814376165863548856253271816901058524319558008747406280211035604\ 75536390894902813*c_0101_6^28 - 13943912129920106957768706302709050\ 9816406869011371860298143324585152626397327456694082694905040072900\ /458029534823676917814376165863548856253271816901058524319558008747\ 40628021103560475536390894902813*c_0101_6^27 - 3614455820996754874332190944467456220109162824154108650289863992323\ 32896453099286951395290325504175068/4580295348236769178143761658635\ 4885625327181690105852431955800874740628021103560475536390894902813\ *c_0101_6^26 + 4013722213905935415212486616527534454105130961506035\ 634603278208872723619683770585335610833118662232510/458029534823676\ 9178143761658635488562532718169010585243195580087474062802110356047\ 5536390894902813*c_0101_6^25 + 174449110810864455988111318828815174\ 6871866412597769914848348799776957695011117613848068303361305591251\ 4/45802953482367691781437616586354885625327181690105852431955800874\ 740628021103560475536390894902813*c_0101_6^24 + 1095231510211790568144276582562608566211278077150411402325761280603\ 6029636289355851035772299074769371515/45802953482367691781437616586\ 3548856253271816901058524319558008747406280211035604755363908949028\ 13*c_0101_6^23 - 42191354471592792925403916430629677607845967704866\ 82135075333899086345403998543716788372278145190878727/2410681762229\ 8785148125061361239413487014306152687290753660947828810856853212400\ 25028231099731727*c_0101_6^22 - 33093613638786129613981905083298462\ 6706979677506701677613408058488475722232052482545399829871899388859\ 624/458029534823676917814376165863548856253271816901058524319558008\ 74740628021103560475536390894902813*c_0101_6^21 - 2349282891420033921970848230090911918215443011305598764103534945353\ 86937827518342868500405520991828102817/4580295348236769178143761658\ 6354885625327181690105852431955800874740628021103560475536390894902\ 813*c_0101_6^20 + 1048769929746642843415990374179895307653447311035\ 854220611756355982511268674572136780348584330974555114595/458029534\ 8236769178143761658635488562532718169010585243195580087474062802110\ 3560475536390894902813*c_0101_6^19 + 1602151248663251174245176613986194392612013560068486810606217275596\ 333509477332180963601736126847737714763/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^18 - 147214556550235790759511334567659824560478501230\ 1280870825927069633229557830086708052629101468658398004453/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^17 - 4452827617592956089165216453657782057266355018272797781593276338564\ 995889492932155459709926989487601639452/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^16 + 467418234178521056075583964985306677734881822145\ 8321096345974133572675960860640913450679650925703675264974/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^15 + 1214380300426565644215280892626667662036552576687867401895508708513\ 819329220383540366606716532292792765268/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^14 - 302402068880406540333384791726048851447920115160\ 1730202957840222162069102026783046484196668415577649282502/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^13 + 1085128030852039259247746693982041074342916926543446119289335159788\ 820566548069994951668792407259200125883/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^12 + 166412293107373166052581700931659377966533363496\ 098334553358394685400805802213848198653653633337297694950/458029534\ 8236769178143761658635488562532718169010585243195580087474062802110\ 3560475536390894902813*c_0101_6^11 - 5520471468653590168111438016859245279196141449482135433687270343029\ 70867647880405712856696326371492290579/4580295348236769178143761658\ 6354885625327181690105852431955800874740628021103560475536390894902\ 813*c_0101_6^10 + 3715708113157797598824575407593623567817526003520\ 64786107080812900618176086339863928235386133007979322864/4580295348\ 2367691781437616586354885625327181690105852431955800874740628021103\ 560475536390894902813*c_0101_6^9 + 3264986834718656320114589710505405102023469225880983977480368420657\ 240468562554906280099575306275737135/241068176222987851481250613612\ 3941348701430615268729075366094782881085685321240025028231099731727\ *c_0101_6^8 - 13832339997720700823489333954288098746319247227589380\ 3947087850187588478270877952644763011900455710655135/45802953482367\ 6917814376165863548856253271816901058524319558008747406280211035604\ 75536390894902813*c_0101_6^7 + 618449158243628810939738979049705319\ 719943371312521591527181452594072241082882768392189268270701175059/\ 2410681762229878514812506136123941348701430615268729075366094782881\ 085685321240025028231099731727*c_0101_6^6 + 2309599577204928285338304395895366328040366334770453894141475898579\ 9212229255244826277665911338261421564/45802953482367691781437616586\ 3548856253271816901058524319558008747406280211035604755363908949028\ 13*c_0101_6^5 - 421310423059123630278435738684789656276335731620763\ 5275741595374834671002064338042854927503715237793372/45802953482367\ 6917814376165863548856253271816901058524319558008747406280211035604\ 75536390894902813*c_0101_6^4 - 248720212282020379752568310757145098\ 7220929206633272241455716979376882233171067069514808745061383884751\ /458029534823676917814376165863548856253271816901058524319558008747\ 40628021103560475536390894902813*c_0101_6^3 + 4178559527175942394729904731454090693520548393714707985098338505379\ 58336394822897458474293859650846204/4580295348236769178143761658635\ 4885625327181690105852431955800874740628021103560475536390894902813\ *c_0101_6^2 + 22273604345408094750767256039851596718507649717022809\ 3147856659870147913929259317568579572542960537432/45802953482367691\ 7814376165863548856253271816901058524319558008747406280211035604755\ 36390894902813*c_0101_6 + 19422845444175231222484957948538067720748\ 577989429451695948396468723538279503104992448814411519431979/458029\ 5348236769178143761658635488562532718169010585243195580087474062802\ 1103560475536390894902813, c_0011_3 + 576660891596560998786663982780916445687794751378615322139223\ 1902027964054164976717909194949838332353/91605906964735383562875233\ 1727097712506543633802117048639116017494812560422071209510727817898\ 05626*c_0101_6^29 + 52951693141558116119135408101487070685779356047\ 12220904110377243779396405349122662276158520277236436/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^28 - 9993582555049952625600961594966185\ 1303979314523787390536156443916707475672899049810051965310523783786\ 9/91605906964735383562875233172709771250654363380211704863911601749\ 481256042207120951072781789805626*c_0101_6^27 - 1296520949422329446431919708252930645433881912223898932976307369719\ 764452718779382344084874961610719236/458029534823676917814376165863\ 5488562532718169010585243195580087474062802110356047553639089490281\ 3*c_0101_6^26 + 143808369325944767029285102011188404411238605891943\ 67688016525574746890077707504689248328721856845424749/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^25 + 6255243744572412971816925602148051\ 4182496341751986571491165429483087248938761586306090465604960392914\ 684/458029534823676917814376165863548856253271816901058524319558008\ 74740628021103560475536390894902813*c_0101_6^24 + 3938534884252757091847628444309661828270428938214273360615640309131\ 4933919371263469966620537336212001514/45802953482367691781437616586\ 3548856253271816901058524319558008747406280211035604755363908949028\ 13*c_0101_6^23 - 15118325548751366912378670175860235483997974295645\ 319079318498582817476171368812666085045420351199520431/241068176222\ 9878514812506136123941348701430615268729075366094782881085685321240\ 025028231099731727*c_0101_6^22 - 1186674073318695360705909693266379\ 8515103072560552311128623687942014252183038894045476410560194181516\ 57849/4580295348236769178143761658635488562532718169010585243195580\ 0874740628021103560475536390894902813*c_0101_6^21 - 1688933679723415041501360292897293106507262084906010666139593974813\ 377348665076503623477628381786504822751/916059069647353835628752331\ 7270977125065436338021170486391160174948125604220712095107278178980\ 5626*c_0101_6^20 + 751528795484817101845138573117622073761525347552\ 0409000852276318501035923421001734332026261224278733314133/91605906\ 9647353835628752331727097712506543633802117048639116017494812560422\ 07120951072781789805626*c_0101_6^19 + 1150283336563453409946707752987021204313732956466503641009797023493\ 4835898490808231011050433463235150216087/91605906964735383562875233\ 1727097712506543633802117048639116017494812560422071209510727817898\ 05626*c_0101_6^18 - 52662664474858196599885223088075997558645533580\ 55826965288790580234686920280426787495192683562814516632602/4580295\ 3482367691781437616586354885625327181690105852431955800874740628021\ 103560475536390894902813*c_0101_6^17 - 1597573483330919954402340471679992909859308698719611520189761529495\ 2418523134617843312204304546859707158068/45802953482367691781437616\ 5863548856253271816901058524319558008747406280211035604755363908949\ 02813*c_0101_6^16 + 16719198580982372655341917573878079415951415688\ 711353903540514136149760490323414641637648837664439561119730/458029\ 5348236769178143761658635488562532718169010585243195580087474062802\ 1103560475536390894902813*c_0101_6^15 + 8822103039599347290655111919270450043940815604509330393596879762403\ 316107908742888828475198381476413234849/916059069647353835628752331\ 7270977125065436338021170486391160174948125604220712095107278178980\ 5626*c_0101_6^14 - 217097799351899913766413169166318021502446258941\ 12323952020727522689402171028382027556563728477488177424829/9160590\ 6964735383562875233172709771250654363380211704863911601749481256042\ 207120951072781789805626*c_0101_6^13 + 7736276357481963434335245827787795393378809835204810787353433498508\ 940175002392788142447035706349087070523/916059069647353835628752331\ 7270977125065436338021170486391160174948125604220712095107278178980\ 5626*c_0101_6^12 + 617461351483421830391286892109926102373497759221\ 628179784612243667320141654565678992975574060785457519936/458029534\ 8236769178143761658635488562532718169010585243195580087474062802110\ 3560475536390894902813*c_0101_6^11 - 1986969055369118313671933302435825744041688936260722148623027940759\ 866894109678525028516578932934425776459/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^10 + 266031674502811257569772961976909732512505345257\ 1604541924933371334353196401212494080235285753873774200231/91605906\ 9647353835628752331727097712506543633802117048639116017494812560422\ 07120951072781789805626*c_0101_6^9 + 1193762070905076967987810861781848056541885392104217505300792781396\ 4380426256925917596524763816018806699/24106817622298785148125061361\ 2394134870143061526872907536609478288108568532124002502823109973172\ 7*c_0101_6^8 - 9948287706245841664366978929497607178968066094706034\ 54238641665418003655942263949361600754219980564492455/9160590696473\ 5383562875233172709771250654363380211704863911601749481256042207120\ 951072781789805626*c_0101_6^7 + 43757902229552141249884476535407796\ 7143597309107700614063521648760014512620620377155349895058740748312\ 9/48213635244597570296250122722478826974028612305374581507321895657\ 62171370642480050056462199463454*c_0101_6^6 + 8322265798953172411863115010435745561122438683522207880033962357161\ 1923698685651714424299104621403526194/45802953482367691781437616586\ 3548856253271816901058524319558008747406280211035604755363908949028\ 13*c_0101_6^5 - 151135198493060891593909608583057828867423026698420\ 20105654607350217300527267031793379028232035504423017/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^4 - 89606453802636491487165557864011492\ 3265208832820580742890380803416696510758234040507147342125658868782\ 7/45802953482367691781437616586354885625327181690105852431955800874\ 740628021103560475536390894902813*c_0101_6^3 + 1501695436556432330725657572692109292041590336136267666117308629100\ 081574590858798367809113575932543555/458029534823676917814376165863\ 5488562532718169010585243195580087474062802110356047553639089490281\ 3*c_0101_6^2 + 1601894481345963227880496106242262537993471588089035\ 477344326173314591766707479134307484893224678810145/916059069647353\ 8356287523317270977125065436338021170486391160174948125604220712095\ 1072781789805626*c_0101_6 + 699244997050040755716682906403786946593\ 65291591792216942643145892932248344178360234229857688665758993/4580\ 2953482367691781437616586354885625327181690105852431955800874740628\ 021103560475536390894902813, c_0101_0 + 420613114866254975630872867754314637865848479544485273897958\ 8413626567871647353220328081152047772516/45802953482367691781437616\ 5863548856253271816901058524319558008747406280211035604755363908949\ 02813*c_0101_6^29 + 77199421854950583325780361278432650766130326375\ 82909934061984669911832506662647778888437154549916987/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^28 - 7289311235011475547838013213196210\ 9452219631433096533459335888611035214933345117574474702265340179224\ 5/45802953482367691781437616586354885625327181690105852431955800874\ 740628021103560475536390894902813*c_0101_6^27 - 1890549420715093074947217844081127644576192347892899860106649687279\ 727679457495295251185795343638486884/458029534823676917814376165863\ 5488562532718169010585243195580087474062802110356047553639089490281\ 3*c_0101_6^26 + 209800660496873496594026634771219872822674131367292\ 14418167457758696695171666898325240907266617819561034/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^25 + 9122657111469255352215656265045125\ 1364844005948879916192822608814264311262715017027229319009407231177\ 511/458029534823676917814376165863548856253271816901058524319558008\ 74740628021103560475536390894902813*c_0101_6^24 + 5737290352529932637572619176350919808188182959431443845255782531344\ 5510419485996848406368987475533108108/45802953482367691781437616586\ 3548856253271816901058524319558008747406280211035604755363908949028\ 13*c_0101_6^23 - 22054187898161271821616313039441147524250089538052\ 306467945390257959806917293463424349996138339413664234/241068176222\ 9878514812506136123941348701430615268729075366094782881085685321240\ 025028231099731727*c_0101_6^22 - 1730627668180586775487621198156216\ 3603566344723149542270273957586610671451265330799194110049781196222\ 93619/4580295348236769178143761658635488562532718169010585243195580\ 0874740628021103560475536390894902813*c_0101_6^21 - 1230354833631825275700645689451041200872723205849332799178517883312\ 167113280651730397085890839929197033641/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^20 + 548168007765515606847544030198966503074416353611\ 0212100634933909703533596958433128019454942787320600009122/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^19 + 8383593325809640048318214213669129986641443640327988761795711800847\ 714930027521398672751648846037661810095/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^18 - 768693836820814181124968124421837699002283438922\ 0629875071312156262294304753242779549454549220461443775745/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^17 - 2329188618171742503536319909346867128730998002321394731230580351948\ 4545785528534278784568947866173366262858/45802953482367691781437616\ 5863548856253271816901058524319558008747406280211035604755363908949\ 02813*c_0101_6^16 + 24407201663068266348453618338898039284068659777\ 518164097390334705633102666540018604025628439356201139733466/458029\ 5348236769178143761658635488562532718169010585243195580087474062802\ 1103560475536390894902813*c_0101_6^15 + 6392776212478788225786484244927839930454401192083343914687465627837\ 505172747705816863483628782476288695696/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^14 - 158162119145134605418835128874554554681016251836\ 44556410618820045037148217513554343293656423186984778431445/4580295\ 3482367691781437616586354885625327181690105852431955800874740628021\ 103560475536390894902813*c_0101_6^13 + 5654181183538128743372582965063949009057428303851553984156431833475\ 381903431914298176612648878825877178513/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^12 + 884512380067093963456437002277222306442893570172\ 658602931224473274940299394438675462653950641806995244586/458029534\ 8236769178143761658635488562532718169010585243195580087474062802110\ 3560475536390894902813*c_0101_6^11 - 2890480267841751579022742747252239628050406255507128831676647899573\ 254360970082750940209309124287532414449/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^10 + 194032552411643488727485269265192204672353882895\ 9063549846443902269143727841477434094595616072664561714531/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^9 + 1724939972828112696387625012889399434775315700627631776933017345257\ 0257807887388685043765499207188604007/24106817622298785148125061361\ 2394134870143061526872907536609478288108568532124002502823109973172\ 7*c_0101_6^8 - 7239399205624752595142930267450228845984747508399063\ 77185056711699063592781778714737428397532540777764547/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^7 + 31995808889432202385098978464634295\ 9644434432962526431028423508392936628972911040652935565477648356721\ 1/24106817622298785148125061361239413487014306152687290753660947828\ 81085685321240025028231099731727*c_0101_6^6 + 1210401483704914555754076883928714580190247544128142590638309293036\ 73288914737842633060356329769385663346/4580295348236769178143761658\ 6354885625327181690105852431955800874740628021103560475536390894902\ 813*c_0101_6^5 - 21984386252817991458771052698395676562555734643250\ 259603347078431665302601946451151008427907782275813954/458029534823\ 6769178143761658635488562532718169010585243195580087474062802110356\ 0475536390894902813*c_0101_6^4 - 1304267944854757500024951680060763\ 3217870172247747867611400624571035033339837538311203323350787681101\ 387/458029534823676917814376165863548856253271816901058524319558008\ 74740628021103560475536390894902813*c_0101_6^3 + 2182294581649917925195107876604986454259151900603279801236813785814\ 612347069072582954812068175755531506/458029534823676917814376165863\ 5488562532718169010585243195580087474062802110356047553639089490281\ 3*c_0101_6^2 + 1167148984675733601471502301604495525694567241054325\ 155966220058748814709198519336159708991695206314018/458029534823676\ 9178143761658635488562532718169010585243195580087474062802110356047\ 5536390894902813*c_0101_6 + 102085075035153240482799700973777692154\ 315115987001961607529371953417921680260687743138184055856428152/458\ 0295348236769178143761658635488562532718169010585243195580087474062\ 8021103560475536390894902813, c_0101_1 + 112159424920204429890990361446273735197310168345451617545691\ 916323857457283818692352392844010603428/241068176222987851481250613\ 6123941348701430615268729075366094782881085685321240025028231099731\ 727*c_0101_6^29 + 2057403577036810285460796337791358465890208736117\ 33474735835858239387355565137791459524452625926694/2410681762229878\ 5148125061361239413487014306152687290753660947828810856853212400250\ 28231099731727*c_0101_6^28 - 19437653449391185166672988898765238357\ 561837820079230280846183664511560032696884444232457306230487203/241\ 0681762229878514812506136123941348701430615268729075366094782881085\ 685321240025028231099731727*c_0101_6^27 - 5039248457429997506574122802664600534557747982294552954640785193196\ 9775410295644739744285528906633820/24106817622298785148125061361239\ 41348701430615268729075366094782881085685321240025028231099731727*c\ _0101_6^26 + 559497428245410474058498040584907517447452514819526440\ 346993824117316318181988989471414052192835175471/241068176222987851\ 4812506136123941348701430615268729075366094782881085685321240025028\ 231099731727*c_0101_6^25 + 2432031045944735577820002718347929419485\ 134788653773335886733541977670280119416895612923260387296079183/241\ 0681762229878514812506136123941348701430615268729075366094782881085\ 685321240025028231099731727*c_0101_6^24 + 1527453293936159277240209487684915238581956811524119708090732677898\ 883239192500218696861707631399838784/241068176222987851481250613612\ 3941348701430615268729075366094782881085685321240025028231099731727\ *c_0101_6^23 - 5881592530547096068802417376412397084454204421131612\ 60757594220235947674404160972393189783036568013900/1268779874857830\ 7972697400716441796572112792711940679344032077804637293080638105394\ 8854268406933*c_0101_6^22 - 461370217211938405697877616420020694559\ 56788144945917817875809574756204204845379101532997595098500191883/2\ 4106817622298785148125061361239413487014306152687290753660947828810\ 85685321240025028231099731727*c_0101_6^21 - 3276236517309415897393639987329094774459163357038190515471842801073\ 1660347255839013854417078723402017184/24106817622298785148125061361\ 2394134870143061526872907536609478288108568532124002502823109973172\ 7*c_0101_6^20 + 146201605443844345652746737945467155307128643366191\ 255647834446654029172168949842238429573008292023868158/241068176222\ 9878514812506136123941348701430615268729075366094782881085685321240\ 025028231099731727*c_0101_6^19 + 2234066737548164038801547843145023\ 3276082611198604350203849721692804628036663377231252793447668052778\ 7515/24106817622298785148125061361239413487014306152687290753660947\ 82881085685321240025028231099731727*c_0101_6^18 - 2051771973383713786376211958979604936590729637449524182338166321672\ 56189760709005846902509227119683293408/2410681762229878514812506136\ 1239413487014306152687290753660947828810856853212400250282310997317\ 27*c_0101_6^17 - 62087218449977868740008213085078075987045469820530\ 9257359773557340348981701477426271836291528763126737780/24106817622\ 2987851481250613612394134870143061526872907536609478288108568532124\ 0025028231099731727*c_0101_6^16 + 651398274649295319491455820841832\ 8946492015426971701807707220401273357517774100182498353570925415371\ 75417/2410681762229878514812506136123941348701430615268729075366094\ 782881085685321240025028231099731727*c_0101_6^15 + 1697175127158955785167676268392212431545429426166443919440165984376\ 66623996931862025588589261129278570668/2410681762229878514812506136\ 1239413487014306152687290753660947828810856853212400250282310997317\ 27*c_0101_6^14 - 42168443589494782035757635464191884687590886845620\ 9439468727410407473830105195026921668244140958265599387/24106817622\ 2987851481250613612394134870143061526872907536609478288108568532124\ 0025028231099731727*c_0101_6^13 + 151103885970240985625700913605485\ 4309420332547180235520987572952696405395904158848031011776302331244\ 75240/2410681762229878514812506136123941348701430615268729075366094\ 782881085685321240025028231099731727*c_0101_6^12 + 2334848704406517026489541670213984474878912988266657393341243863835\ 8114859445197031305210516089190126407/24106817622298785148125061361\ 2394134870143061526872907536609478288108568532124002502823109973172\ 7*c_0101_6^11 - 770088890057366843705540235251395402777108224126945\ 17647669861661804333790668593348176054059526939810569/2410681762229\ 8785148125061361239413487014306152687290753660947828810856853212400\ 25028231099731727*c_0101_6^10 + 51784052984032297443351175316978996\ 2472384300489135392604621080170264528329837820949852417966995374455\ 74/2410681762229878514812506136123941348701430615268729075366094782\ 881085685321240025028231099731727*c_0101_6^9 + 4569386214818826511437654672135370689063892607124785668419441567192\ 47516847589053537115068315202591879/1268779874857830797269740071644\ 17965721127927119406793440320778046372930806381053948854268406933*c\ _0101_6^8 - 1929414459824199543719376331219343983677830982306217022\ 6058979518033321732421034568340385379633758933950/24106817622298785\ 1481250613612394134870143061526872907536609478288108568532124002502\ 8231099731727*c_0101_6^7 + 8591118487850921315939692283044448234884\ 6150987545293408276885131808624248100023334488036308825745256/12687\ 7987485783079726974007164417965721127927119406793440320778046372930\ 806381053948854268406933*c_0101_6^6 + 3223238971748587227178749637844791316922621465449514270803209933124\ 646009979138231169379369157509367951/241068176222987851481250613612\ 3941348701430615268729075366094782881085685321240025028231099731727\ *c_0101_6^5 - 58708964508034074905119475061938652784546102590450262\ 7566972479868477247027576480447852950426492918441/24106817622298785\ 1481250613612394134870143061526872907536609478288108568532124002502\ 8231099731727*c_0101_6^4 - 3472015256800995269006702320876620265342\ 28441774979534624634315124448137312901482702960032987404164581/2410\ 6817622298785148125061361239413487014306152687290753660947828810856\ 85321240025028231099731727*c_0101_6^3 + 5825377660011013011909754216606190442263516256970968352169960386210\ 0353209369591058398331938593279975/24106817622298785148125061361239\ 41348701430615268729075366094782881085685321240025028231099731727*c\ _0101_6^2 + 3108385734924231369643347271578330930523252314643446889\ 0024884684899785409354437751513668801127814806/24106817622298785148\ 1250613612394134870143061526872907536609478288108568532124002502823\ 1099731727*c_0101_6 + 271529959077282287986393193930247487327994281\ 0621527497272209182056199991309761450919044685267625421/24106817622\ 2987851481250613612394134870143061526872907536609478288108568532124\ 0025028231099731727, c_0101_3 - 128010603174472061457745172933630790942288393710083579477450\ 7385532264800774947743154861952974287439/91605906964735383562875233\ 1727097712506543633802117048639116017494812560422071209510727817898\ 05626*c_0101_6^29 - 11800189575679229692867470035290095928215979908\ 85105322093503558308765777085514954968175225013401525/4580295348236\ 7691781437616586354885625327181690105852431955800874740628021103560\ 475536390894902813*c_0101_6^28 + 2218315852137624513774452205949050\ 6667986482382028425396293886356436009277203348224131460767299944220\ 7/91605906964735383562875233172709771250654363380211704863911601749\ 481256042207120951072781789805626*c_0101_6^27 + 2886042608360502189365335758906183543135347972439361054351974913002\ 43361758682815301479462492241124622/4580295348236769178143761658635\ 4885625327181690105852431955800874740628021103560475536390894902813\ *c_0101_6^26 - 3190714929740069533543475272863803618392248675517976\ 322287117136551095459908886994753366042401246713721/458029534823676\ 9178143761658635488562532718169010585243195580087474062802110356047\ 5536390894902813*c_0101_6^25 - 139094751295564508272497233902735436\ 4950439181680202324047206906957835810691497211598009248604051637270\ 9/45802953482367691781437616586354885625327181690105852431955800874\ 740628021103560475536390894902813*c_0101_6^24 - 8829528666104063396078471694090654828296570597255172927087882432746\ 865608187209034851914760134718432782/458029534823676917814376165863\ 5488562532718169010585243195580087474062802110356047553639089490281\ 3*c_0101_6^23 + 335531675621031175885461784410161221347201753984974\ 9419216173524362210911141263219191546725993943872744/24106817622298\ 7851481250613612394134870143061526872907536609478288108568532124002\ 5028231099731727*c_0101_6^22 + 263895665685659426654127568866578515\ 4376687029671878445761585514612767398065927396685202968866298022482\ 03/4580295348236769178143761658635488562532718169010585243195580087\ 4740628021103560475536390894902813*c_0101_6^21 + 3781827767747373822782879628675566252762240475637750714851468296973\ 88182189554202109374347703485128850751/9160590696473538356287523317\ 2709771250654363380211704863911601749481256042207120951072781789805\ 626*c_0101_6^20 - 1667438198255516421530666260077633449112315234376\ 794860326380524482241264961093807480336168023242444596179/916059069\ 6473538356287523317270977125065436338021170486391160174948125604220\ 7120951072781789805626*c_0101_6^19 - 2566137609992513760745751158335783392666857061443007472905070317048\ 330515520066369934507537630988753198757/916059069647353835628752331\ 7270977125065436338021170486391160174948125604220712095107278178980\ 5626*c_0101_6^18 + 116322306301977505530289650069093206118380785249\ 1534283905404955604066824334366831893202192374992049310182/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^17 + 3558349473159578952715721295623266836658800683869816006768473732132\ 859386064373737863816891289822403166466/458029534823676917814376165\ 8635488562532718169010585243195580087474062802110356047553639089490\ 2813*c_0101_6^16 - 369184759609052554413714578463295066748035749850\ 7781952949177800995859107124491755946038606824510282028156/45802953\ 4823676917814376165863548856253271816901058524319558008747406280211\ 03560475536390894902813*c_0101_6^15 - 2033824587190133330748995162257740926905267044590527120583821387128\ 058191886158029905113516293583428884763/916059069647353835628752331\ 7270977125065436338021170486391160174948125604220712095107278178980\ 5626*c_0101_6^14 + 484181264726172949957331984486893973792424179600\ 3069102464457383503063117115550434595012671720272436410411/91605906\ 9647353835628752331727097712506543633802117048639116017494812560422\ 07120951072781789805626*c_0101_6^13 - 1689843919091211470478311321839740332062179873792581697120370256852\ 484957170679804151727583464742662714393/916059069647353835628752331\ 7270977125065436338021170486391160174948125604220712095107278178980\ 5626*c_0101_6^12 - 150863405378241683479853039867823082722555544425\ 516894739011259994689305408023001095309082125758192545169/458029534\ 8236769178143761658635488562532718169010585243195580087474062802110\ 3560475536390894902813*c_0101_6^11 + 4464230274020543294581623007497649334970483532269884334422641328607\ 47587718706396216161173879411324770833/4580295348236769178143761658\ 6354885625327181690105852431955800874740628021103560475536390894902\ 813*c_0101_6^10 - 5882932425714014424694764009463075232257210779713\ 81414764600983010555535425389113224927146203077061558429/9160590696\ 4735383562875233172709771250654363380211704863911601749481256042207\ 120951072781789805626*c_0101_6^9 - 2808229466104846024277869835713777573359748608322591426650034602380\ 037638632120170247125030388208280274/241068176222987851481250613612\ 3941348701430615268729075366094782881085685321240025028231099731727\ *c_0101_6^8 + 22309138107061742933957350592174834088243874197726103\ 3601875434563745568070532182380660372561923449296911/91605906964735\ 3835628752331727097712506543633802117048639116017494812560422071209\ 51072781789805626*c_0101_6^7 - 931076793206097858947196584651356294\ 906106758571388773594455434736120353002417846886562992961979119661/\ 4821363524459757029625012272247882697402861230537458150732189565762\ 171370642480050056462199463454*c_0101_6^6 - 1879087268945782004338014060680637135960949688242103021806862832900\ 0370637882244067104271319900956359173/45802953482367691781437616586\ 3548856253271816901058524319558008747406280211035604755363908949028\ 13*c_0101_6^5 + 336261523557549992987201098305513865544229832747088\ 9684804187456332041907523395151501713908567166419303/45802953482367\ 6917814376165863548856253271816901058524319558008747406280211035604\ 75536390894902813*c_0101_6^4 + 202369814748538969910598594926678308\ 4373437886056549318310467325184269530393503981110300181648585179881\ /458029534823676917814376165863548856253271816901058524319558008747\ 40628021103560475536390894902813*c_0101_6^3 - 3367068677768111078491667064086748099357243572943289304395409647302\ 13927746283280356715577050033822114/4580295348236769178143761658635\ 4885625327181690105852431955800874740628021103560475536390894902813\ *c_0101_6^2 - 35989933726599009176683790095969076378613750745891742\ 6242408734105638386761608938793661522663404296709/91605906964735383\ 5628752331727097712506543633802117048639116017494812560422071209510\ 72781789805626*c_0101_6 - 15663077219611445229265186922802237839305\ 165146144303667576712810169323043616264042621965718315124297/458029\ 5348236769178143761658635488562532718169010585243195580087474062802\ 1103560475536390894902813, c_0101_6^30 + 2*c_0101_6^29 - 173*c_0101_6^28 - 478*c_0101_6^27 + 4914*c_0101_6^26 + 22510*c_0101_6^25 + 17210*c_0101_6^24 - 97380*c_0101_6^23 - 427854*c_0101_6^22 - 360235*c_0101_6^21 + 1255143*c_0101_6^20 + 2207749*c_0101_6^19 - 1499520*c_0101_6^18 - 5838608*c_0101_6^17 + 4891218*c_0101_6^16 + 2475361*c_0101_6^15 - 3510045*c_0101_6^14 + 725021*c_0101_6^13 + 431620*c_0101_6^12 - 652522*c_0101_6^11 + 348143*c_0101_6^10 + 153884*c_0101_6^9 - 159283*c_0101_6^8 - 13897*c_0101_6^7 + 31158*c_0101_6^6 - 486*c_0101_6^5 - 3962*c_0101_6^4 + 8*c_0101_6^3 + 363*c_0101_6^2 + 70*c_0101_6 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB