Magma V2.19-8 Tue Aug 20 2013 16:17:50 on localhost [Seed = 846442192] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2074 geometric_solution 5.59072174 oriented_manifold CS_known 0.0000000000000004 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 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.507717116735 0.662611284620 3 2 4 0 0132 3012 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 0 1 -1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837826069829 0.888804782631 1 3 0 4 1230 3201 0132 3201 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 2 -1 -1 0 0 1 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.837826069829 0.888804782631 1 5 2 5 0132 0132 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.665062055173 0.449914178585 4 2 4 1 2031 2310 1302 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 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.144885410439 1.025145654896 6 3 6 3 0132 0132 1023 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.827602254130 0.406370028185 5 6 5 6 0132 2310 1023 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.782612212008 0.185046223422 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : d['c_0011_1'], 'c_1100_5' : negation(d['c_0011_1']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : negation(d['c_0011_4']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_1']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_1'], 'c_1001_2' : negation(d['c_0101_0']), '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_0011_1'], 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0101_1'], 'c_0110_6' : d['c_0101_5'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : negation(d['c_0101_1']), '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_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 2039532891143262397887047000682667267932134723605491599326323794547\ 5386508262347030169804110756/43900783498868368359778234773456802479\ 374287302857970926787682297625189968877334834252080419689*c_0101_6^\ 29 - 16012894873446954608768317767841417410570334315743615040871809\ 4789639915496379138539527192723365/43900783498868368359778234773456\ 802479374287302857970926787682297625189968877334834252080419689*c_0\ 101_6^28 + 44816658447898018224048161045400300079201653635342169258\ 324183475679793762857927074727291976475/162595494440253216147326795\ 4572474165902751381587332256547691936949081109958419808676002978507\ *c_0101_6^27 + 5781475740015944101533034408643161297128677881925365\ 122448896516318716066653128977952502945856396/439007834988683683597\ 7823477345680247937428730285797092678768229762518996887733483425208\ 0419689*c_0101_6^26 - 990334196029784617612747869667903235670535580\ 0821859092602274946091314994038664907890832450242571/43900783498868\ 3683597782347734568024793742873028579709267876822976251899688773348\ 34252080419689*c_0101_6^25 - 68814245769579185101582604733401323512\ 950361201810524502538773106111769259405810083908705311146602/439007\ 8349886836835977823477345680247937428730285797092678768229762518996\ 8877334834252080419689*c_0101_6^24 - 1482968406034037278665028246718087370568819005085752016325539925135\ 94773850476306092884517181955551/4390078349886836835977823477345680\ 2479374287302857970926787682297625189968877334834252080419689*c_010\ 1_6^23 + 1187894284805875315956300171249714679353205127930848838326\ 79322396671790276576602557535460974332/6446517400714885221700181317\ 6882235652531993102581455105415098821769735637117965982749016769*c_\ 0101_6^22 + 5034709204712120136264687876731808459798373424188956607\ 40279612201134107344656177174130149376262569/1463359449962278945325\ 9411591152267493124762434285990308929227432541729989625778278084026\ 806563*c_0101_6^21 + 1001093968207664163666989503805017197958571870\ 106561169599802231792817390080746162683196992763542344/439007834988\ 6836835977823477345680247937428730285797092678768229762518996887733\ 4834252080419689*c_0101_6^20 - 394616133330699226417180388793786463\ 7911222373230521968969046290718736533497826338067221262611785345/43\ 9007834988683683597782347734568024793742873028579709267876822976251\ 89968877334834252080419689*c_0101_6^19 - 1595036206824383550341571292377836906773853585140482076498282740685\ 383098648814883682668809164758873/439007834988683683597782347734568\ 02479374287302857970926787682297625189968877334834252080419689*c_01\ 01_6^18 + 532586902829577724226994322466324022676279314891333101287\ 005959372584312819347102811057808931413183/146335944996227894532594\ 1159115226749312476243428599030892922743254172998962577827808402680\ 6563*c_0101_6^17 + 486154429121995169246664421042194032047412966474\ 080709003244896421351357157920064494947184488086316/439007834988683\ 6835977823477345680247937428730285797092678768229762518996887733483\ 4252080419689*c_0101_6^16 + 408603043180432360895771013513365305221\ 2497725631936383895319832251616874320925027829224753026101525/43900\ 7834988683683597782347734568024793742873028579709267876822976251899\ 68877334834252080419689*c_0101_6^15 - 6054178780817866843257645319293136192211793285206028142071001366248\ 119945411118020261509402750251614/439007834988683683597782347734568\ 02479374287302857970926787682297625189968877334834252080419689*c_01\ 01_6^14 + 622824857708387824771692432179792227035271502120952596005\ 4213087014981630586759428904131021286651566/43900783498868368359778\ 2347734568024793742873028579709267876822976251899688773348342520804\ 19689*c_0101_6^13 + 29124691187698516784599308657192264530676191469\ 7451709938577104597550042344126053807749892026292/14633594499622789\ 4532594115911522674931247624342859903089292274325417299896257782780\ 84026806563*c_0101_6^12 - 68053749612688507572076622166936769615289\ 8815205971224384987367729080759218839358187761558355776603/14633594\ 4996227894532594115911522674931247624342859903089292274325417299896\ 25778278084026806563*c_0101_6^11 - 2445914009459625229932897939089625511672949078567373097080740635534\ 192759872918407801541456807207401/439007834988683683597782347734568\ 02479374287302857970926787682297625189968877334834252080419689*c_01\ 01_6^10 - 158803103220985882794885279243852433695616073243759247495\ 7878923912032879596154506601693042689210007/43900783498868368359778\ 2347734568024793742873028579709267876822976251899688773348342520804\ 19689*c_0101_6^9 + 318420420142898888036337522939131031494887317073\ 5947787019916454598202540722027827279454100691565381/43900783498868\ 3683597782347734568024793742873028579709267876822976251899688773348\ 34252080419689*c_0101_6^8 + 880576966602478853750229924991536891255\ 006157992472656646741199065988087916576148724110388357822689/439007\ 8349886836835977823477345680247937428730285797092678768229762518996\ 8877334834252080419689*c_0101_6^7 - 1372978211950146363587109336187870418468932692131265006124660558438\ 429056777984076402983906330337298/439007834988683683597782347734568\ 02479374287302857970926787682297625189968877334834252080419689*c_01\ 01_6^6 - 1501884229921045244948524788433826538828584284067716591591\ 5011345182277980934541614884366085968535/43900783498868368359778234\ 7734568024793742873028579709267876822976251899688773348342520804196\ 89*c_0101_6^5 + 347918954296876969426191981229185414506639707392150\ 4248824362990241517731138545283789832520449675/54198498146751072049\ 1089318190824721967583793862444085515897312316360369986139936225334\ 326169*c_0101_6^4 - 17208004906225342652010454235064955093636036784\ 610115306998440397966604805979993086268179285481356/146335944996227\ 8945325941159115226749312476243428599030892922743254172998962577827\ 8084026806563*c_0101_6^3 - 5741827413314093696274754227572123226645\ 976488197458790398643939086779885566352600904691813913305/146335944\ 9962278945325941159115226749312476243428599030892922743254172998962\ 5778278084026806563*c_0101_6^2 + 2567516273158344282306625656565107\ 747866619199279216689189228655996570122661249460392266178605437/146\ 3359449962278945325941159115226749312476243428599030892922743254172\ 9989625778278084026806563*c_0101_6 + 8194895872700203419761362167774358301587640913731832911597978085400\ 67697176191572985642365337612/4390078349886836835977823477345680247\ 9374287302857970926787682297625189968877334834252080419689, c_0011_0 - 1, c_0011_1 - 194656518966393650885780997908186544275567298874531432593913\ 24534662959354039877569255886866/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^29 - 1725617307415953641076748298979340400347000014658248050133535\ 26726255527804168025142475136436/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^28 + 1085703464329030765324949456848504225861165023224680617121408\ 35423497378955308744346515079874/1081566481864212080802617264682355\ 3209996128924084250043554491820060406496397471011148578571*c_0101_6\ ^27 + 6486445433216948625715413274154825848085410525439195865259651\ 353703299155608370177991283769666/973409833677790872722355538214119\ 78889965160316758250391990426380543658467577239100337207139*c_0101_\ 6^26 - 270613936052213501611734007083315197341812514702678473440576\ 4864851605747796743837256468548489/97340983367779087272235553821411\ 978889965160316758250391990426380543658467577239100337207139*c_0101\ _6^25 - 67632059477807606379961992338800322977953586054084442616586\ 865864164745787023004722773993164847/973409833677790872722355538214\ 11978889965160316758250391990426380543658467577239100337207139*c_01\ 01_6^24 - 211552874399439450994720218252873236689467450478046373498\ 384387485513000257387422179708319954584/973409833677790872722355538\ 21411978889965160316758250391990426380543658467577239100337207139*c\ _0101_6^23 - 215446843610511035730256932800259930873571486438234621\ 603842169295439680151174205869262807760/142938301567957543718407568\ 019694535814926813974681718637284032864234447088953361380818219*c_0\ 101_6^22 + 42435589782345923668459736242808088744189055582335970781\ 9885315764536600241104061034140891989215/32446994455926362424078517\ 940470659629988386772252750130663475460181219489192413033445735713*\ c_0101_6^21 + 22596212115918788753661067535090569475160171865871615\ 38379896521322673681107141307769789140896291/9734098336777908727223\ 5553821411978889965160316758250391990426380543658467577239100337207\ 139*c_0101_6^20 - 1264746729467446562220755561121767133646765050122\ 219841925623621053055969574129152221927148527383/973409833677790872\ 7223555382141197888996516031675825039199042638054365846757723910033\ 7207139*c_0101_6^19 - 268228220386207504579448783492915058638430643\ 7706157482315091739243192731239630589256313430952512/97340983367779\ 0872722355538214119788899651603167582503919904263805436584675772391\ 00337207139*c_0101_6^18 - 58714223388130773733975179282074422037498\ 2318656566146241992262744340044521342815394871166995665/32446994455\ 9263624240785179404706596299883867722527501306634754601812194891924\ 13033445735713*c_0101_6^17 - 15215165428778614768925446007725087665\ 09660093980551650037776503924245778634289955131410135894073/9734098\ 3367779087272235553821411978889965160316758250391990426380543658467\ 577239100337207139*c_0101_6^16 + 2578098269164901070535515772487388\ 194451339269975841067058086710070985785379746294565832760527701/973\ 4098336777908727223555382141197888996516031675825039199042638054365\ 8467577239100337207139*c_0101_6^15 - 3067496474535678491420958499217421958583109608524177739257447732273\ 315206415888541064253029728813/973409833677790872722355538214119788\ 89965160316758250391990426380543658467577239100337207139*c_0101_6^1\ 4 + 344634427209337319797387965803965661820420742999120227843627735\ 5007582147320297899815213441599179/97340983367779087272235553821411\ 978889965160316758250391990426380543658467577239100337207139*c_0101\ _6^13 + 87102586440413284426059410717759825933455981440784244262903\ 8001126096692527176530442197834112877/32446994455926362424078517940\ 470659629988386772252750130663475460181219489192413033445735713*c_0\ 101_6^12 + 54810666487244594176273227334688724387482329499182311030\ 9653670752718799503929888076412887779282/32446994455926362424078517\ 940470659629988386772252750130663475460181219489192413033445735713*\ c_0101_6^11 - 80228302915699861159119216637697341739746430784466800\ 8337488620345450325765524381457697126514184/97340983367779087272235\ 5538214119788899651603167582503919904263805436584675772391003372071\ 39*c_0101_6^10 - 25640373066927988930570234433073999458400048246664\ 87269736627096178146689228168642493919738614435/9734098336777908727\ 2235553821411978889965160316758250391990426380543658467577239100337\ 207139*c_0101_6^9 + 37831886018886430583787870674242913111566209685\ 539831922095634392321632439000670504035463029880/973409833677790872\ 7223555382141197888996516031675825039199042638054365846757723910033\ 7207139*c_0101_6^8 + 6634190502554260228680552563494660333108914850\ 45136645252874061774414672908169994707695460167721/9734098336777908\ 7272235553821411978889965160316758250391990426380543658467577239100\ 337207139*c_0101_6^7 - 17630979019139317112448668807434672288973642\ 9035075943452590596166453125479780011262912372865273/97340983367779\ 0872722355538214119788899651603167582503919904263805436584675772391\ 00337207139*c_0101_6^6 - 660915399212465592849047809129321959410896\ 98877081167608897726514602855454078311120044517001353/9734098336777\ 9087272235553821411978889965160316758250391990426380543658467577239\ 100337207139*c_0101_6^5 + 47337829166146497888293924720944478599849\ 33233172300662022745963310219511264637534389410237736/1081566481864\ 2120808026172646823553209996128924084250043554491820060406496397471\ 011148578571*c_0101_6^4 - 28765251094937028633297521290602870544064\ 09174793796509889442509267627105405457615300435431409/3244699445592\ 6362424078517940470659629988386772252750130663475460181219489192413\ 033445735713*c_0101_6^3 - 44431012805814616110357585531498331860329\ 3450807974903076370088413055677847174466805139692665/32446994455926\ 3624240785179404706596299883867722527501306634754601812194891924130\ 33445735713*c_0101_6^2 + 363613733940937212827875088826599944751833\ 69927809952908579928525215699649384231670584788917/3244699445592636\ 2424078517940470659629988386772252750130663475460181219489192413033\ 445735713*c_0101_6 - 1697822049818001822655498237800010303683117397\ 31459497960758457381667490973562823714685542491/9734098336777908727\ 2235553821411978889965160316758250391990426380543658467577239100337\ 207139, c_0011_4 + 244016643896415181318493783357247324414567696019178036294838\ 26335168265120180320114673124373/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^29 + 2164426855417597001684521336974326466996917547750454765802752\ 37541890463088455291595162113815/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^28 - 4533906538425400021000856059487827277632695883540402838509574\ 1631860513958850144227270024748/36052216062140402693420575489411844\ 03332042974694750014518163940020135498799157003716192857*c_0101_6^2\ 7 - 814037995411417714176029170246782574021916655747635983209384689\ 4902275388383877546237408217187/97340983367779087272235553821411978\ 889965160316758250391990426380543658467577239100337207139*c_0101_6^\ 26 + 33690182759253350945757313496553283740939480062197445269563392\ 76404719191526015703105393554958/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^25 + 8490871233378079558746884514669159623636427220081377329656103\ 8016741453679014905899355982853407/97340983367779087272235553821411\ 978889965160316758250391990426380543658467577239100337207139*c_0101\ _6^24 + 26554947820241879613507678228159298840342337478332568539943\ 6554070090765578210993683864204822423/97340983367779087272235553821\ 411978889965160316758250391990426380543658467577239100337207139*c_0\ 101_6^23 + 27030449910482807946884098736964166379265152343366256833\ 5580659060028651752304370321087093804/14293830156795754371840756801\ 9694535814926813974681718637284032864234447088953361380818219*c_010\ 1_6^22 - 5327863086690195642288723622348282536090018149426893762178\ 08065571432183619683971926785567800700/3244699445592636242407851794\ 0470659629988386772252750130663475460181219489192413033445735713*c_\ 0101_6^21 - 2842159108271980037521126285944943413752315248295352232\ 970374460951861924606933008499925178463705/973409833677790872722355\ 5382141197888996516031675825039199042638054365846757723910033720713\ 9*c_0101_6^20 + 159460884709447115505520663585328441646994744071279\ 6037323763119800195520887105640561758388657977/97340983367779087272\ 2355538214119788899651603167582503919904263805436584675772391003372\ 07139*c_0101_6^19 + 34051297002088407186883035349443009369950839697\ 03461599748249178317862828017856164879808982377147/9734098336777908\ 7272235553821411978889965160316758250391990426380543658467577239100\ 337207139*c_0101_6^18 + 7299577383806423604998460536656455906098016\ 79841171334894747779829914662438642535888749253301026/3244699445592\ 6362424078517940470659629988386772252750130663475460181219489192413\ 033445735713*c_0101_6^17 + 1869830726080372446517526484497898863558\ 061632165200921535828124876317715938691048851541158682131/973409833\ 6777908727223555382141197888996516031675825039199042638054365846757\ 7239100337207139*c_0101_6^16 - 323921468702490906667878407582446373\ 9459331008324622901213310787103632828451647424289637658717282/97340\ 9833677790872722355538214119788899651603167582503919904263805436584\ 67577239100337207139*c_0101_6^15 + 3817176640363261518130000220135107815026931221670198863270425742861\ 675321481432873082545209392540/973409833677790872722355538214119788\ 89965160316758250391990426380543658467577239100337207139*c_0101_6^1\ 4 - 424229798316624738032690819509659704900427655585921660194336935\ 7266344056202960078259593182186212/97340983367779087272235553821411\ 978889965160316758250391990426380543658467577239100337207139*c_0101\ _6^13 - 11185812368188244076357902574344899349695055645273049979687\ 81533379918575271205717332243010236640/3244699445592636242407851794\ 0470659629988386772252750130663475460181219489192413033445735713*c_\ 0101_6^12 - 6706098276375160299495827712862592841771906780257404574\ 77167301479891987712777411784298148344217/3244699445592636242407851\ 7940470659629988386772252750130663475460181219489192413033445735713\ *c_0101_6^11 + 1036138628262927169869609018269250291083240619896379\ 045164834994566132826404599761474612482821021/973409833677790872722\ 3555382141197888996516031675825039199042638054365846757723910033720\ 7139*c_0101_6^10 + 322557137673405548899194834929150516511277558266\ 8964072807192331878683936747146443877931062568591/97340983367779087\ 2722355538214119788899651603167582503919904263805436584675772391003\ 37207139*c_0101_6^9 - 580552693099490770044102969963829534978766461\ 23914923023847043656362601443125772376669081147796/9734098336777908\ 7272235553821411978889965160316758250391990426380543658467577239100\ 337207139*c_0101_6^8 - 88192465350047650939592356246358649247015906\ 5541563372884324016816201335294200251951723771723680/97340983367779\ 0872722355538214119788899651603167582503919904263805436584675772391\ 00337207139*c_0101_6^7 + 229946921263969060261280519350362808705440\ 977785439049959786984191524772615626276366882690496414/973409833677\ 7908727223555382141197888996516031675825039199042638054365846757723\ 9100337207139*c_0101_6^6 + 1025265410992910745784905082736880833612\ 32823561370597448768272771353048833944855401878179021808/9734098336\ 7779087272235553821411978889965160316758250391990426380543658467577\ 239100337207139*c_0101_6^5 - 71360479860518246642523214392067331755\ 0036824447656848992466717474710158635232911932418301012/12017405354\ 0468008978068584964706146777734765823158333817272131334004516626638\ 5667905397619*c_0101_6^4 + 3066486204703087812736275607636033741689\ 057291838477425572624122442418399704420509207980212821/324469944559\ 2636242407851794047065962998838677225275013066347546018121948919241\ 3033445735713*c_0101_6^3 + 8525846239901385179335376577769913149425\ 77440852999452710518349326131756468044516858750531929/3244699445592\ 6362424078517940470659629988386772252750130663475460181219489192413\ 033445735713*c_0101_6^2 - 12649462878082145290541455530961951110065\ 6368151777580984592393288840913039201675597397659407/32446994455926\ 3624240785179404706596299883867722527501306634754601812194891924130\ 33445735713*c_0101_6 + 24314095097901349283809388773465036016986506\ 8711208130523945860989751789797136164135256641391/97340983367779087\ 2722355538214119788899651603167582503919904263805436584675772391003\ 37207139, c_0101_0 - 404323248400348513118285522188203683592116164806060120204482\ 5691252228989758095072750651747/32446994455926362424078517940470659\ 629988386772252750130663475460181219489192413033445735713*c_0101_6^\ 29 - 36589221416306805663416273874899972246304174770543624775357259\ 105875315354617351397610368787/324469944559263624240785179404706596\ 29988386772252750130663475460181219489192413033445735713*c_0101_6^2\ 8 + 654247968124229679773418744034916612047462427544934135631140575\ 05868589304290226711388144076/1081566481864212080802617264682355320\ 9996128924084250043554491820060406496397471011148578571*c_0101_6^27 + 13841061489742970069771968928348955934820748521959442545074934814\ 32504613626595460971455554605/3244699445592636242407851794047065962\ 9988386772252750130663475460181219489192413033445735713*c_0101_6^26 - 31002106788291337596716816691516716980316185436213732110275506057\ 6183465858985762043373884423/32446994455926362424078517940470659629\ 988386772252750130663475460181219489192413033445735713*c_0101_6^25 - 1412638752844579253070550502499730070447257831601219711796067703690\ 8363096122654471296622081349/32446994455926362424078517940470659629\ 988386772252750130663475460181219489192413033445735713*c_0101_6^24 - 4653770284070464097420282241024178089004508408796119600206324833327\ 9926521500550968058960462511/32446994455926362424078517940470659629\ 988386772252750130663475460181219489192413033445735713*c_0101_6^23 - 1901355734522004845690793482243233820550399897645794134461569684842\ 4255432391587847395465222/15882033507550838190934174224410503979436\ 312663853524293031559207137160787661484597868691*c_0101_6^22 + 8598210969225125851637408091372019680577276936065506391710883332852\ 6126368910733702235119958012/10815664818642120808026172646823553209\ 996128924084250043554491820060406496397471011148578571*c_0101_6^21 + 5174242151879894266720629136839591196232358991260754459756882574941\ 08803581926810473327626081369/3244699445592636242407851794047065962\ 9988386772252750130663475460181219489192413033445735713*c_0101_6^20 - 17134182261892716521100275818439293898574458397386154078711192142\ 8227492490302600610506486472157/32446994455926362424078517940470659\ 629988386772252750130663475460181219489192413033445735713*c_0101_6^\ 19 - 59558549022651266328336065693806413791002941634718970065969622\ 4580404397710268055825319345083625/32446994455926362424078517940470\ 659629988386772252750130663475460181219489192413033445735713*c_0101\ _6^18 - 15731094618746199858461318327556699226974246814031306005929\ 1261062952657936050091115029143366808/10815664818642120808026172646\ 823553209996128924084250043554491820060406496397471011148578571*c_0\ 101_6^17 - 39733356715829904697622228432894622716016326874532659795\ 5210731989449720813032372018744959196303/32446994455926362424078517\ 940470659629988386772252750130663475460181219489192413033445735713*\ c_0101_6^16 + 46868688498105391552772788375217315540325820755270405\ 3575304469455803535686248599889325239957292/32446994455926362424078\ 5179404706596299883867722527501306634754601812194891924130334457357\ 13*c_0101_6^15 - 54349024672943623310857869735465907268398180459412\ 9036991458595759625185639980597944820556324023/32446994455926362424\ 0785179404706596299883867722527501306634754601812194891924130334457\ 35713*c_0101_6^14 + 60784583939223831310541296617738417154644796046\ 6678140247378186802428081578984101400880381924287/32446994455926362\ 4240785179404706596299883867722527501306634754601812194891924130334\ 45735713*c_0101_6^13 + 22283397444547101290167864703950998943517414\ 0325293739961919238370034735927210618984065931636584/10815664818642\ 1208080261726468235532099961289240842500435544918200604064963974710\ 11148578571*c_0101_6^12 + 14936661417930391218753868835743523745345\ 0098195948580075292964158756889909104519797542888531855/10815664818\ 6421208080261726468235532099961289240842500435544918200604064963974\ 71011148578571*c_0101_6^11 - 86294625684140725931833157765727482407\ 406159604406950467083319213549538954274726546062943314392/324469944\ 5592636242407851794047065962998838677225275013066347546018121948919\ 2413033445735713*c_0101_6^10 - 558208698739461523174217695991341903\ 429478702170726302544433444758096794687269945716370939192293/324469\ 9445592636242407851794047065962998838677225275013066347546018121948\ 9192413033445735713*c_0101_6^9 - 9349794156327299244964219950370482\ 5685466951169977910959021412869803514795925468531475461382680/32446\ 9944559263624240785179404706596299883867722527501306634754601812194\ 89192413033445735713*c_0101_6^8 + 126408663521326902829329450983144\ 855263361726533107596197599821339767257413740692993978468663022/324\ 4699445592636242407851794047065962998838677225275013066347546018121\ 9489192413033445735713*c_0101_6^7 - 1319227611385675127250495693426042547305631168266261648485560416117\ 0580515873903925626012287945/32446994455926362424078517940470659629\ 988386772252750130663475460181219489192413033445735713*c_0101_6^6 - 1574267011454751504349983841585117452018907991019628719036018746588\ 5230132125503746275289631298/32446994455926362424078517940470659629\ 988386772252750130663475460181219489192413033445735713*c_0101_6^5 + 2208082835688609632292457270090311477991302966590966256575870042955\ 625835501706467247188871472/108156648186421208080261726468235532099\ 96128924084250043554491820060406496397471011148578571*c_0101_6^4 - 4153367881395109850990069846222734206812211201709869468134134065975\ 7105525759273709286920947/12017405354046800897806858496470614677773\ 47658231583338172721313340045166266385667905397619*c_0101_6^3 - 1200661469607360071984265868864107452160121463013006801186631599207\ 67403948059375385943258382/1081566481864212080802617264682355320999\ 6128924084250043554491820060406496397471011148578571*c_0101_6^2 + 2642571260545942320489788853695505955907120181412020404496834810215\ 8856214367646515379642878/10815664818642120808026172646823553209996\ 128924084250043554491820060406496397471011148578571*c_0101_6 - 5556386588999935551476127453869396272793834065743361516689945823127\ 2787599617336730921116875/32446994455926362424078517940470659629988\ 386772252750130663475460181219489192413033445735713, c_0101_1 + 123578868201146687915750962417034353707688313970690539624354\ 29618690488981611390090721225679/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^29 + 1113960175256201591146176803151821710179704525801193332893050\ 40811785209588244835135439420470/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^28 - 6708210052664133762758836315877246326484409962000948359030016\ 4566136073088337606358426021894/10815664818642120808026172646823553\ 209996128924084250043554491820060406496397471011148578571*c_0101_6^\ 27 - 42082688429339935723966962249092851240773690928407606387427739\ 97930781435049657853467448457132/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^26 + 1091156637231467052345093233493600503429438438059139068781801\ 421518055985066472125450868202503/973409833677790872722355538214119\ 78889965160316758250391990426380543658467577239100337207139*c_0101_\ 6^25 + 431076074769870752103993283965845246221027808974398292835720\ 96589126623644017674604234536252630/9734098336777908727223555382141\ 1978889965160316758250391990426380543658467577239100337207139*c_010\ 1_6^24 + 1407365828581281421787208266129386697950175504690589902242\ 38651712211887012912707045253213868716/9734098336777908727223555382\ 1411978889965160316758250391990426380543658467577239100337207139*c_\ 0101_6^23 + 1674945561229338498128757554860785314269285175719713955\ 52375019843612543894941454475398164437/1429383015679575437184075680\ 19694535814926813974681718637284032864234447088953361380818219*c_01\ 01_6^22 - 263821071246034358552724204432751762308586320389208193580\ 713613032531180909526457566279074128583/324469944559263624240785179\ 40470659629988386772252750130663475460181219489192413033445735713*c\ _0101_6^21 - 155286232400071617293578382283566563321501657964461887\ 7440587971489149038897883425766164309126732/97340983367779087272235\ 5538214119788899651603167582503919904263805436584675772391003372071\ 39*c_0101_6^20 + 57272970820646230821564572011449656475299437320797\ 0664691804369018833383401612021015340574288989/97340983367779087272\ 2355538214119788899651603167582503919904263805436584675772391003372\ 07139*c_0101_6^19 + 17913625104851438397905385844381641531511934971\ 64101846293918012194826273435224709023383695707990/9734098336777908\ 7272235553821411978889965160316758250391990426380543658467577239100\ 337207139*c_0101_6^18 + 4614315809911914067726743011961192589135566\ 67864252554372044503008566055908634704219385959124761/3244699445592\ 6362424078517940470659629988386772252750130663475460181219489192413\ 033445735713*c_0101_6^17 + 1169054527633604037030073097506352209941\ 138631037485411724718583710346009865568904202156220661739/973409833\ 6777908727223555382141197888996516031675825039199042638054365846757\ 7239100337207139*c_0101_6^16 - 146424125421899729976663737010446856\ 3744251299682940778364913441486975344376673720446706191035209/97340\ 9833677790872722355538214119788899651603167582503919904263805436584\ 67577239100337207139*c_0101_6^15 + 1725644705657923920991417827563927965492380996454274884923547451286\ 657185052165978562958546910850/973409833677790872722355538214119788\ 89965160316758250391990426380543658467577239100337207139*c_0101_6^1\ 4 - 192749797295646363137262844629510262725725465126796340399871692\ 1426295914601149371206029754623030/97340983367779087272235553821411\ 978889965160316758250391990426380543658467577239100337207139*c_0101\ _6^13 - 64970363633652552432930388543683154863101085340403508707763\ 3126674156706843366390282493235072903/32446994455926362424078517940\ 470659629988386772252750130663475460181219489192413033445735713*c_0\ 101_6^12 - 44416824664864564049709300761015670478241151209055300066\ 2183135395190402096028741721100924589919/32446994455926362424078517\ 940470659629988386772252750130663475460181219489192413033445735713*\ c_0101_6^11 + 31756599704079035743972320903298150115715827683210255\ 4159181063893711320472177846498198571943453/97340983367779087272235\ 5538214119788899651603167582503919904263805436584675772391003372071\ 39*c_0101_6^10 + 16734690762274839138480373866585780710008092439929\ 56930970653925643320962706973471746337541269760/9734098336777908727\ 2235553821411978889965160316758250391990426380543658467577239100337\ 207139*c_0101_6^9 + 22894210283155186378354542558326880144776858390\ 3387793277445026274902185956061574134088150581085/97340983367779087\ 2722355538214119788899651603167582503919904263805436584675772391003\ 37207139*c_0101_6^8 - 392492328675058110078069834860378870332231735\ 654503494681180273476279961749115469184435821275807/973409833677790\ 8727223555382141197888996516031675825039199042638054365846757723910\ 0337207139*c_0101_6^7 + 5376605177950008581543160549199944893424439\ 0026343099829326318172980022082591958160068975740223/97340983367779\ 0872722355538214119788899651603167582503919904263805436584675772391\ 00337207139*c_0101_6^6 + 502857010220689510634691884271130743150840\ 42802729536578451305473564263227286798803207347300660/9734098336777\ 9087272235553821411978889965160316758250391990426380543658467577239\ 100337207139*c_0101_6^5 - 22466559023225578151726988368128310973486\ 09369475951713898803163954281168991984369048826259796/1081566481864\ 2120808026172646823553209996128924084250043554491820060406496397471\ 011148578571*c_0101_6^4 + 10736096346503508091441363642640457472960\ 35860740483736952370179852960478363369718813964603970/3244699445592\ 6362424078517940470659629988386772252750130663475460181219489192413\ 033445735713*c_0101_6^3 + 40887717007773016786932597130601352048135\ 9498716180858657109835672564954149556753439948305321/32446994455926\ 3624240785179404706596299883867722527501306634754601812194891924130\ 33445735713*c_0101_6^2 - 736384867072905161889834779895853877902584\ 0545141892829609762830356758387756252904818351780/32446994455926362\ 4240785179404706596299883867722527501306634754601812194891924130334\ 45735713*c_0101_6 + 16777296001411075731472744474050239147958780668\ 3296460673937053984530300885666531540158825423/97340983367779087272\ 2355538214119788899651603167582503919904263805436584675772391003372\ 07139, c_0101_5 - 119129334787617231101883591501284207939485101792922441151129\ 26192142527878763617928033112482/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^29 - 1072127393530249213866400778789985684154864002932463957254538\ 65303387550587881820768990615087/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^28 + 2162333074442016400321260030625687551029010540613305092404054\ 4608232006690689304884861757797/36052216062140402693420575489411844\ 03332042974694750014518163940020135498799157003716192857*c_0101_6^2\ 7 + 405077151369687989129496504125204060856917222529077116748015102\ 4507156146390973854517491788639/97340983367779087272235553821411978\ 889965160316758250391990426380543658467577239100337207139*c_0101_6^\ 26 - 11242758678329576346022307698906527582257843477277386736631073\ 69087206980093251382990045574586/9734098336777908727223555382141197\ 8889965160316758250391990426380543658467577239100337207139*c_0101_6\ ^25 - 4163206746736497788985061977957023373545008077727512188025715\ 1715656929214635510559166820603766/97340983367779087272235553821411\ 978889965160316758250391990426380543658467577239100337207139*c_0101\ _6^24 - 13503407752203969468869245676614327050364436148564701789216\ 0693875326320404737035721942227118517/97340983367779087272235553821\ 411978889965160316758250391990426380543658467577239100337207139*c_0\ 101_6^23 - 15719018421643789635506273782957257982124499034473893870\ 1849230551748331580316653963129520599/14293830156795754371840756801\ 9694535814926813974681718637284032864234447088953361380818219*c_010\ 1_6^22 + 2558607814094233239813599759439692931045930794428350153998\ 11740577180818879791383277244237538960/3244699445592636242407851794\ 0470659629988386772252750130663475460181219489192413033445735713*c_\ 0101_6^21 + 1488175600151992352852486392948366507040501007163049798\ 230252141320708535719553818122478597317480/973409833677790872722355\ 5382141197888996516031675825039199042638054365846757723910033720713\ 9*c_0101_6^20 - 591394654991165134468848743673316784970984955638022\ 696807380793795845899977925755660397987720633/973409833677790872722\ 3555382141197888996516031675825039199042638054365846757723910033720\ 7139*c_0101_6^19 - 175119613037793820648470322068451542256063055522\ 3501519964866844575345704542795932689717933675871/97340983367779087\ 2722355538214119788899651603167582503919904263805436584675772391003\ 37207139*c_0101_6^18 - 43152240494775272229348393899752561752605541\ 5613117851368383219111190095125941476975844443774977/32446994455926\ 3624240785179404706596299883867722527501306634754601812194891924130\ 33445735713*c_0101_6^17 - 10720721745596071673700915358895522740363\ 74332196422799187258971168694340594122698634305793595675/9734098336\ 7779087272235553821411978889965160316758250391990426380543658467577\ 239100337207139*c_0101_6^16 + 1456541519409324462500528014571302958\ 789822686908465063404710150458300871793486670011682523632874/973409\ 8336777908727223555382141197888996516031675825039199042638054365846\ 7577239100337207139*c_0101_6^15 - 165885531396120916755235720509530\ 5508743387714929094399829286214581558841714852643946513993714115/97\ 3409833677790872722355538214119788899651603167582503919904263805436\ 58467577239100337207139*c_0101_6^14 + 1848410195982687568667669608222081094780275217189965489535370894787\ 307735166048268091438397281069/973409833677790872722355538214119788\ 89965160316758250391990426380543658467577239100337207139*c_0101_6^1\ 3 + 632185118971486476088483452843482352980903073110291442739021794\ 687110363688618309607724455695683/324469944559263624240785179404706\ 59629988386772252750130663475460181219489192413033445735713*c_0101_\ 6^12 + 401806638148900896414058462160226564957026560709603641399512\ 965433755946454071077365202193067924/324469944559263624240785179404\ 70659629988386772252750130663475460181219489192413033445735713*c_01\ 01_6^11 - 356517376935767879099827771765777090776210796978177003554\ 611016900610656963440330700846360224500/973409833677790872722355538\ 21411978889965160316758250391990426380543658467577239100337207139*c\ _0101_6^10 - 164088253526583533712400208096575281497434271328767479\ 6589900145096177369772713811061416397378957/97340983367779087272235\ 5538214119788899651603167582503919904263805436584675772391003372071\ 39*c_0101_6^9 - 187586003182676732261410901464248057293641481436045\ 742516441492167824605804028365552487511431281/973409833677790872722\ 3555382141197888996516031675825039199042638054365846757723910033720\ 7139*c_0101_6^8 + 4151761108073079389499622665886428577990137803085\ 28347536552432976025928955514896872369027048873/9734098336777908727\ 2235553821411978889965160316758250391990426380543658467577239100337\ 207139*c_0101_6^7 - 54957478443885000610349417426238614199864089576\ 502507063475387965225471089349658386200256271699/973409833677790872\ 7223555382141197888996516031675825039199042638054365846757723910033\ 7207139*c_0101_6^6 - 5408234189422088961585950535510367813229092288\ 1870965641348317479916667164134741576412138265265/97340983367779087\ 2722355538214119788899651603167582503919904263805436584675772391003\ 37207139*c_0101_6^5 + 802459343248762683811396568452004806696568718\ 963688574700756737951738469278735834778589316510/360522160621404026\ 9342057548941184403332042974694750014518163940020135498799157003716\ 192857*c_0101_6^4 - 97696598695009328044089092577046884299489760163\ 6698815741378905789441411501515635271883509670/32446994455926362424\ 0785179404706596299883867722527501306634754601812194891924130334457\ 35713*c_0101_6^3 - 453841274047982296014543338029879162982103289361\ 623085266043353083524470039096971549993136168/324469944559263624240\ 7851794047065962998838677225275013066347546018121948919241303344573\ 5713*c_0101_6^2 + 4626461076335037487390021317375461137633087215518\ 2434603643651376523050480541762842498079487/32446994455926362424078\ 5179404706596299883867722527501306634754601812194891924130334457357\ 13*c_0101_6 - 16513182722186594887596500757272122085446405583576064\ 7999441976022131828349946628994259539937/97340983367779087272235553\ 821411978889965160316758250391990426380543658467577239100337207139, c_0101_6^30 + 9*c_0101_6^29 - 49*c_0101_6^28 - 340*c_0101_6^27 + 94*c_0101_6^26 + 3493*c_0101_6^25 + 11337*c_0101_6^24 + 9007*c_0101_6^23 - 64374*c_0101_6^22 - 124901*c_0101_6^21 + 49272*c_0101_6^20 + 146449*c_0101_6^19 + 109010*c_0101_6^18 + 90518*c_0101_6^17 - 121706*c_0101_6^16 + 139827*c_0101_6^15 - 155731*c_0101_6^14 - 158222*c_0101_6^13 - 102528*c_0101_6^12 + 29554*c_0101_6^11 + 137106*c_0101_6^10 + 15801*c_0101_6^9 - 34255*c_0101_6^8 + 4604*c_0101_6^7 + 4610*c_0101_6^6 - 1760*c_0101_6^5 + 156*c_0101_6^4 + 114*c_0101_6^3 + 10*c_0101_6 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB