Magma V2.19-8 Tue Aug 20 2013 16:17:34 on localhost [Seed = 4155927336] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1806 geometric_solution 5.47194312 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 1023 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.721689878643 0.648457279061 0 4 3 5 0132 0132 3201 0132 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.267832900716 1.088937640583 2 0 0 2 3012 0132 1023 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.693053863183 0.496982440445 1 5 0 4 2310 0132 0132 2310 0 0 0 0 0 1 0 -1 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 -1 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.267832900716 1.088937640583 3 1 6 6 3201 0132 0132 2310 0 0 0 0 0 -1 0 1 -1 0 1 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 0 0 0 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 0.175787558065 0.533153677229 5 3 1 5 3201 0132 0132 2310 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.212985062451 0.865940856273 4 6 6 4 3201 3201 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -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 -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 -1.081454756340 0.782151863241 ==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' : negation(d['1']), 's_3_4' : d['1'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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' : negation(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' : negation(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_6'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : d['c_0011_6'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_0'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : d['c_0101_6'], 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : d['c_0101_2'], 'c_1001_3' : d['c_0101_0'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : negation(d['c_0011_0']), 'c_0110_5' : negation(d['c_0101_0']), 'c_0110_4' : negation(d['c_0101_6']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_0'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0101_6'], 'c_1010_2' : d['c_0101_2'], 'c_1010_1' : d['c_0101_6'], 'c_1010_0' : 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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 4306780447960254717376281438397269571865968561106846219873902194770\ 695164625148409/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^32 + 5926026155926361784193487460057797041049788255215871766412785784226\ 5728262551557125/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^31 + 6186708085610409171569054541020127073503691459413393230301474503249\ 79116443219120311/1350140872202453935445080720279075213334493235515\ 725477160501513034857360431207002*c_0101_6^30 + 8203814081314943607048960986182556863585846534553327390478354432687\ 19484004000739868/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^29 + 8898633345931614919054384757265716446564277810067657177561437826006\ 926776059489239/453067406779346958203047221570159467561910481716686\ 4017317119171257910605473849*c_0101_6^28 + 7030834808377158707179926891618855036591113468132544909071921899500\ 55136183018681065/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^27 - 7395912031604299561952757848681611814892770727861925239816241066467\ 924591755108984201/135014087220245393544508072027907521333449323551\ 5725477160501513034857360431207002*c_0101_6^26 - 9145897397085026852041296351256349278960617861597117500979763806028\ 850458612922158632/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^25 - 2711126346613736530889372416401855096659753415359335501631151540888\ 2243770604340136417/13501408722024539354450807202790752133344932355\ 15725477160501513034857360431207002*c_0101_6^24 - 1631067720919425005842863856383952664619092907860854319642842660482\ 3814685039422989401/67507043610122696772254036013953760666724661775\ 7862738580250756517428680215603501*c_0101_6^23 - 1546247978669582460782481123820750686729801914757306891699109532268\ 3155857440727530107/67507043610122696772254036013953760666724661775\ 7862738580250756517428680215603501*c_0101_6^22 - 4603615084746663310501140248467459161166082524661178519137130993405\ 8506777567270640827/13501408722024539354450807202790752133344932355\ 15725477160501513034857360431207002*c_0101_6^21 - 3118798059799218050813598946725502195251603934610265880146602223467\ 4854713730668653/90613481355869391640609444314031893512382096343337\ 28034634238342515821210947698*c_0101_6^20 + 8784319675373119825112799284929496577647695682236512672958595452065\ 9478953911685578703/67507043610122696772254036013953760666724661775\ 7862738580250756517428680215603501*c_0101_6^19 + 1761390127226069369224462011635871403309138105617181466331002860772\ 44622149284480392150/6750704361012269677225403601395376066672466177\ 57862738580250756517428680215603501*c_0101_6^18 + 1242052787506349018658913081245583225376693681885814356413460553758\ 69156599105966472057/6750704361012269677225403601395376066672466177\ 57862738580250756517428680215603501*c_0101_6^17 - 2610514634227851311468616367653744913699494487040038468191863234433\ 408222956688304998/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^16 - 1113152968055862765095699574726892537140852192371961930472020824643\ 36928489598867810121/1350140872202453935445080720279075213334493235\ 515725477160501513034857360431207002*c_0101_6^15 - 5752499439010811386151868330394775996044544859757902347923418482812\ 6787703935176606427/67507043610122696772254036013953760666724661775\ 7862738580250756517428680215603501*c_0101_6^14 - 8160829433014436697083236600750352580896469633772871175617412038256\ 9404738729181277475/67507043610122696772254036013953760666724661775\ 7862738580250756517428680215603501*c_0101_6^13 - 4383375827466731743452557181557246903713458031613161287156242405153\ 91689447692641293611/1350140872202453935445080720279075213334493235\ 515725477160501513034857360431207002*c_0101_6^12 - 4529890658105548163139245380962888648373766905591893118943172958032\ 52666490731129977323/1350140872202453935445080720279075213334493235\ 515725477160501513034857360431207002*c_0101_6^11 + 4212716438253035639269576789684570404003358173239967459414379277695\ 7994011828868743971/13501408722024539354450807202790752133344932355\ 15725477160501513034857360431207002*c_0101_6^10 + 3527687119871868740884193604822829698510234447096663932462414898015\ 68205291658063331457/1350140872202453935445080720279075213334493235\ 515725477160501513034857360431207002*c_0101_6^9 + 2304820261945430699019604626655165634029466716977466992627203796061\ 25482257199687036639/1350140872202453935445080720279075213334493235\ 515725477160501513034857360431207002*c_0101_6^8 + 4484425756513321703136629019617485883262664892664330544272638792365\ 6231722970393209465/13501408722024539354450807202790752133344932355\ 15725477160501513034857360431207002*c_0101_6^7 + 1586521226201225139236446719883703946943089432195103842346258381560\ 4728428821455560803/13501408722024539354450807202790752133344932355\ 15725477160501513034857360431207002*c_0101_6^6 - 1450616000356788953007523112196129646385633180953124004251763564622\ 078260020509049772/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^5 - 2109554354179929872035282475400880209182325491864259646858600138846\ 8033589887093413951/13501408722024539354450807202790752133344932355\ 15725477160501513034857360431207002*c_0101_6^4 - 4973526564572585167321026025302854731242843660839981200603273192181\ 563926565074622025/135014087220245393544508072027907521333449323551\ 5725477160501513034857360431207002*c_0101_6^3 - 4368348892306507858811897008095941351038655997898127732831888141480\ 43921899617904668/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^2 + 2518543820555488993315325399832201336131992690495067301575181317884\ 49363849768462865/1350140872202453935445080720279075213334493235515\ 725477160501513034857360431207002*c_0101_6 + 1722776939182997520387062737083923253720180705494348202659350852604\ 83062574929913795/1350140872202453935445080720279075213334493235515\ 725477160501513034857360431207002, c_0011_0 - 1, c_0011_3 + 667451909085205852753163271001981965187601610953284216636765\ 51758018719403956095/6750704361012269677225403601395376066672466177\ 57862738580250756517428680215603501*c_0101_6^32 + 8668827751525099634074695676508250366970853843527532747400415637208\ 29968658046333/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501*c_0101_6^31 + 4133579508236581990003462280778211182096643711101305326859079929125\ 661988710039355/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^30 + 9638371399759998234305581308163335600067316547870819094652938295583\ 583184268310980/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^29 + 9178373225062839410737252087822598236093628182751475694787434474355\ 9972334228794/45306740677934695820304722157015946756191048171668640\ 17317119171257910605473849*c_0101_6^28 + 1748093686504645976427289966114390851698207877410549766669769353754\ 368383904701285/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^27 - 5647481057000142530234035115855715990860895411796435752774175840102\ 6763671395501826/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^26 - 9728553643802701096726163573753883085598037786607750454192476670514\ 6999026780387866/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^25 - 1420318631034131063224263606965336170678628991895074942969133772647\ 55781861783290236/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^24 - 1577360927786148960935587089331734838957459249610402264332432259382\ 03703633287558197/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^23 - 1409659104104568315652553993961169404510138579218526600160492913008\ 35053370303793031/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^22 - 2747586391482640112761293396947620684080868949645645169804259526611\ 20323267566280343/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^21 + 1006261751309527075496081017466020225706697222475919806118670764251\ 012092229989874/453067406779346958203047221570159467561910481716686\ 4017317119171257910605473849*c_0101_6^20 + 1203150647289094844076081858244490454592076091069964532008075655705\ 229326864891597682/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^19 + 1809834253192728454403200231722691258066140696887308770931985707551\ 265794438146039344/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^18 + 6837349201044874439978519011399682538275114991357771788882603674428\ 89646320987554451/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^17 - 2860572291657462874928360778497436620311490335035854681740006622576\ 74704489639506788/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^16 - 4661694346806552602789386590639945095797018581360684195459507030123\ 29773128728638195/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^15 - 5139774560357719404722442528419610713780072053408620530727394339169\ 48578656026088436/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^14 - 9405134809397051809448530787873638395411719019981972250950704026236\ 30735023408058460/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^13 - 2763787194861155705536991506398861610728715786874272988768114676758\ 991593078657218631/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^12 - 1529755938235283081203689014623607913970971721809184001076315804283\ 357527869467625251/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^11 + 1108591614738832096385261092867348935262353898863832465990755190874\ 510625245894937679/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^10 + 1568540004919324251186512415290373350330084849387985378007601765551\ 624835494077091729/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^9 + 6095132231748888494931846887354827141720593128503199399947507137220\ 42277977012196216/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^8 + 1123396572761986858936781227255351022797708548075703732757053878545\ 47979011504496267/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^7 + 2021369798253102185797053347405195958217326599726866480646042617543\ 71081888264888699/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^6 - 1131215631956434503211247802005217962731698024896794489226517469930\ 33756862613311936/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^5 - 4371100125535115933380696756432307397003291176187154900056415033122\ 9512147278378230/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^4 - 1180462056204478325816561412321211586580242668502998176540239861664\ 3598877835128516/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^3 - 7453708081301985583273330499987677738258968124415598084506605677567\ 600264042621952/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^2 + 7175216891351067251672595112162929495405748077909091453531888786002\ 01299864910267/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501*c_0101_6 - 1060022889870798640783149996779830260555248229800750275363692933764\ 04937879933905/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501, c_0011_6 + 794282012258031183825127234879167626135075937847619007776865\ 13/9862137256221197478376174102297463474405418991432565839258337807\ *c_0101_6^32 + 9747484281835361750152113782930587419400717151658083\ 23807710753/9862137256221197478376174102297463474405418991432565839\ 258337807*c_0101_6^31 + 4160503825092476247277383384598141737200981\ 876945948662101615620/986213725622119747837617410229746347440541899\ 1432565839258337807*c_0101_6^30 + 769510675356811281116346179714771\ 7943343260933471556868491383658/98621372562211974783761741022974634\ 74405418991432565839258337807*c_0101_6^29 + 46444767169387180256475233857541108875172815743208137934121236/6618\ 8840645779848848162242297298412579902140882097757310458643*c_0101_6\ ^28 - 1193756914152887445889179594385865400806561611602857621495968\ 9291/98621372562211974783761741022974634744054189914325658392583378\ 07*c_0101_6^27 - 71362853550246316745508775045823007183002859917196\ 368224106109774/986213725622119747837617410229746347440541899143256\ 5839258337807*c_0101_6^26 - 658291943249423847627303077673114498110\ 50880429109370733845845109/9862137256221197478376174102297463474405\ 418991432565839258337807*c_0101_6^25 - 67814100835499572900202512331668185860359458406961482685316157892/9\ 862137256221197478376174102297463474405418991432565839258337807*c_0\ 101_6^24 - 43674809410382628987456770539740449355725187393754009916\ 304972801/986213725622119747837617410229746347440541899143256583925\ 8337807*c_0101_6^23 - 722315265329189143184679046697475042926677721\ 1258267295955276038/98621372562211974783761741022974634744054189914\ 32565839258337807*c_0101_6^22 - 18296433176324007367917198128429994\ 9853041773389901850179830527054/98621372562211974783761741022974634\ 74405418991432565839258337807*c_0101_6^21 + 2858083194482326181080304027907020954308593125075373264027898643/66\ 188840645779848848162242297298412579902140882097757310458643*c_0101\ _6^20 + 13591215310183288686943722377633001715665662789362831982097\ 96062192/9862137256221197478376174102297463474405418991432565839258\ 337807*c_0101_6^19 + 1044112323367136931505259219299137830330973285\ 394466625829606922260/986213725622119747837617410229746347440541899\ 1432565839258337807*c_0101_6^18 - 110097281509122306180683336460225\ 6556507871888936217977569737241264/98621372562211974783761741022974\ 63474405418991432565839258337807*c_0101_6^17 - 1314413812845712507927592304496249351305152440611289744942718218171\ /9862137256221197478376174102297463474405418991432565839258337807*c\ _0101_6^16 - 200757483391973817791506404428131281858737595265460934\ 807429586285/986213725622119747837617410229746347440541899143256583\ 9258337807*c_0101_6^15 + 992431208798853425950639667580755833635182\ 30422939821235223914181/9862137256221197478376174102297463474405418\ 991432565839258337807*c_0101_6^14 - 560067082017423136211381689978496937881337249604603714806658353455/\ 9862137256221197478376174102297463474405418991432565839258337807*c_\ 0101_6^13 - 2427645990786351784219670620718352805895295899185361644\ 526881269631/986213725622119747837617410229746347440541899143256583\ 9258337807*c_0101_6^12 + 732739537969706909467336522629096018845499\ 399876570897520851780259/986213725622119747837617410229746347440541\ 8991432565839258337807*c_0101_6^11 + 3326200545741778885729761634594706580750855008477688193540127508601\ /9862137256221197478376174102297463474405418991432565839258337807*c\ _0101_6^10 + 101027482859827369634461665354395612966217041091395205\ 5672292673386/98621372562211974783761741022974634744054189914325658\ 39258337807*c_0101_6^9 - 138445960272425130833699767978389616000407\ 3153391368216395470093706/98621372562211974783761741022974634744054\ 18991432565839258337807*c_0101_6^8 - 812363464493890734200581502763077032045849897027568449539754080191/\ 9862137256221197478376174102297463474405418991432565839258337807*c_\ 0101_6^7 + 28769817496322107397490669103023086435363759894285978462\ 4341762073/98621372562211974783761741022974634744054189914325658392\ 58337807*c_0101_6^6 - 161815256778209500996081992827824018042929109\ 602346542408607251049/986213725622119747837617410229746347440541899\ 1432565839258337807*c_0101_6^5 - 1174546396436206361933779000679198\ 1417792891084771348587141267684/98621372562211974783761741022974634\ 74405418991432565839258337807*c_0101_6^4 + 66277297509266109362682590535110944359085510697998170458152579044/9\ 862137256221197478376174102297463474405418991432565839258337807*c_0\ 101_6^3 + 285844243464194727142839083797117348743991708507224383908\ 98351859/9862137256221197478376174102297463474405418991432565839258\ 337807*c_0101_6^2 - 29323776063904481079430440489993933153735685013\ 51669333501546619/9862137256221197478376174102297463474405418991432\ 565839258337807*c_0101_6 + 2972157230413155837123075905467058698046\ 993389458066984637381571/986213725622119747837617410229746347440541\ 8991432565839258337807, c_0101_0 - 838216845348252630335381743051705466494868453902867241337106\ 6306409538818802602/67507043610122696772254036013953760666724661775\ 7862738580250756517428680215603501*c_0101_6^32 - 8105050955476596576024121028681591094950931422759224479468448864143\ 9178538429161/67507043610122696772254036013953760666724661775786273\ 8580250756517428680215603501*c_0101_6^31 - 1574822664091022588633181716020359206426136438871910348227785429315\ 10248896475693/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501*c_0101_6^30 + 5163974430372456494584682572664738239281869738202951440589089669073\ 72800857573385/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501*c_0101_6^29 + 1554068263112394807478769794708451866674840078644625809937636479867\ 9735376286901/45306740677934695820304722157015946756191048171668640\ 17317119171257910605473849*c_0101_6^28 + 5504679734476353101541145177169263837769006897336142667127607006360\ 527420770376917/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^27 + 7835870869217683235011565850852009582918053494765521151568411357998\ 134664886221619/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^26 - 1138018023329506799066153768665791566856630546421829694907184508767\ 9873274111274341/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^25 - 2298200562922221951424914861852012995820992652450872008156656444227\ 1596608734790299/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^24 - 3949747219443519315517593759401485386486892930072813294535612528389\ 7851078378699144/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^23 - 4820073875062910386719057646774207910667580645218845981995671017751\ 5257349250762474/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^22 - 2437519972272109684402076011882541024639554885237098702445183014276\ 7268977094965243/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^21 - 8951793029287425113568606547522733510148519860752787910619757615892\ 99520463769121/4530674067793469582030472215701594675619104817166864\ 017317119171257910605473849*c_0101_6^20 - 8956958880745953268750960235152215707452709190519135531293950152869\ 1431548464662030/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^19 + 2762702085796913542492716245068403437613001950467465089260485023925\ 84851021332922715/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^18 + 6731996236957747479916423451011619152588884103764486857241582225329\ 61827445918051845/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^17 + 3220291648521148117282635969877746964074096282700149138726091543861\ 54375996096171185/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^16 - 6736112433233758165137427514146988348709009925297089003867749131368\ 6033366763371528/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^15 - 1312272665314396371990264069609149720752226399498835258088317745815\ 39237766655692242/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^14 - 9232224428082059770480751309558458395024593662484831487350804059181\ 5087967916155146/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^13 - 4443639680705703852288503727852591075355288292514854647060849861648\ 1258331732200273/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^12 - 9625647395837053699221234904485792930834071858710834769173314268374\ 06221613884087241/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^11 - 7857505875811966332589808732644386204072544757318222837973974923629\ 14151673890083808/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^10 + 2741541831303870045788785484497981821941773845699165652992949912571\ 42414788097195509/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^9 + 5885083450717212144404562011181571267188386490430258429820543717505\ 72620752839960243/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^8 + 2333611777301935554795778404360115654902052175373292849773229049376\ 87727479460652722/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^7 + 1312200727544551567607131209319133985570292652490538399005961131006\ 7304185533082578/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^6 + 1002995552708085249705873189022899145036770312588351386647552770151\ 58960579427066512/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^5 - 3817811452958390474808995765996581949775311737823727616919798801203\ 8021340515774950/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^4 - 2060366205798245069290330717283063482605639324622277266692657980044\ 6900960529702046/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^3 - 3521751770237249062427387800669398641362521040695437772192049616304\ 947988069272462/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^2 - 2148577978160770433683157689527555222472826620086116702629983547229\ 282248381499813/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6 + 2079997213934109533630577345745309579473860529533294244913056890816\ 84528098898919/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501, c_0101_1 - 484865324177025001456490548724679220306667866183363714162414\ 234/986213725622119747837617410229746347440541899143256583925833780\ 7*c_0101_6^32 - 633160333317793388362580382697525386800050692634727\ 4583292396570/98621372562211974783761741022974634744054189914325658\ 39258337807*c_0101_6^31 - 30414274136033992281824536974559785909066\ 481202532513297286532849/986213725622119747837617410229746347440541\ 8991432565839258337807*c_0101_6^30 - 71368099290555045171547279612814933998961964744813990027806380858/9\ 862137256221197478376174102297463474405418991432565839258337807*c_0\ 101_6^29 - 67459255376260327019603246138987255204252039390243775223\ 0004650/66188840645779848848162242297298412579902140882097757310458\ 643*c_0101_6^28 - 1049955870232171089435396398363564032346612141348\ 9740726994154632/98621372562211974783761741022974634744054189914325\ 65839258337807*c_0101_6^27 + 42305899265779942579092162731203185031\ 1068441505306669873361530718/98621372562211974783761741022974634744\ 05418991432565839258337807*c_0101_6^26 + 739426796571377456112369183947491291539386456734932422036015996911/\ 9862137256221197478376174102297463474405418991432565839258337807*c_\ 0101_6^25 + 1031812459177547411232379933963426061634454925104166775\ 979288868531/986213725622119747837617410229746347440541899143256583\ 9258337807*c_0101_6^24 + 112132239916946216351426166104877999301902\ 9888470295764838293465047/98621372562211974783761741022974634744054\ 18991432565839258337807*c_0101_6^23 + 963048680632804052410146820545794725083387858741747277923659346510/\ 9862137256221197478376174102297463474405418991432565839258337807*c_\ 0101_6^22 + 1908638305638403561868129716798770704483795729214486019\ 730419317261/986213725622119747837617410229746347440541899143256583\ 9258337807*c_0101_6^21 - 733563341308709634702717692986134619885665\ 8593855456063010494561/66188840645779848848162242297298412579902140\ 882097757310458643*c_0101_6^20 - 9070817435763121159764047347483135\ 106467416259504314602544529647663/986213725622119747837617410229746\ 3474405418991432565839258337807*c_0101_6^19 - 1367616811888429367262113277486182358425992594079355022258619898861\ 6/9862137256221197478376174102297463474405418991432565839258337807*\ c_0101_6^18 - 47982167870350466031874828898295273766621043426258884\ 52959748486873/9862137256221197478376174102297463474405418991432565\ 839258337807*c_0101_6^17 + 3567334186599784798462374590548131481246\ 278716431291629366914615950/986213725622119747837617410229746347440\ 5418991432565839258337807*c_0101_6^16 + 4451984435937014942321367440287422936365970508247569838885675732242\ /9862137256221197478376174102297463474405418991432565839258337807*c\ _0101_6^15 + 372267066569803880028818885967486351077072647267073746\ 0414035226536/98621372562211974783761741022974634744054189914325658\ 39258337807*c_0101_6^14 + 64999061195337763459364723274416539427871\ 10002319708069784593255535/9862137256221197478376174102297463474405\ 418991432565839258337807*c_0101_6^13 + 1999590278767256585881364527911831562260662387274038353836230181675\ 6/9862137256221197478376174102297463474405418991432565839258337807*\ c_0101_6^12 + 11629448266444315042209336017790413501888234577798378\ 095674526762866/986213725622119747837617410229746347440541899143256\ 5839258337807*c_0101_6^11 - 984139850369821213072105137767675188487\ 9432655598364887946284020882/98621372562211974783761741022974634744\ 05418991432565839258337807*c_0101_6^10 - 1381410692630351809591861024401490512836621401334972125080135531052\ 1/9862137256221197478376174102297463474405418991432565839258337807*\ c_0101_6^9 - 443259101893064062985739871762242940489077612482583006\ 1757072609119/98621372562211974783761741022974634744054189914325658\ 39258337807*c_0101_6^8 + 706308225597241258865792805284407394713252\ 751570337352761619276301/986213725622119747837617410229746347440541\ 8991432565839258337807*c_0101_6^7 - 633042151201999015245593967398699161744298916311309955508493334000/\ 9862137256221197478376174102297463474405418991432565839258337807*c_\ 0101_6^6 + 80229692784759474276025185053695089548738298053028629266\ 7387361502/98621372562211974783761741022974634744054189914325658392\ 58337807*c_0101_6^5 + 494128952374859068383248710239789574061810807\ 276522462227111091165/986213725622119747837617410229746347440541899\ 1432565839258337807*c_0101_6^4 + 3781014490196245865272593743205607\ 7031838595432318016303547403874/98621372562211974783761741022974634\ 74405418991432565839258337807*c_0101_6^3 - 22049475481360692820150317987520932972308462942752638195956806267/9\ 862137256221197478376174102297463474405418991432565839258337807*c_0\ 101_6^2 - 366842223021340215952293114446088194115055069207428512251\ 94817642/9862137256221197478376174102297463474405418991432565839258\ 337807*c_0101_6 - 1493203626271994742967164342421862092771369580292\ 65164255621856/9862137256221197478376174102297463474405418991432565\ 839258337807, c_0101_2 - 200041487460369299400931522916275081826094457253863691348111\ 729457679557491388285/675070436101226967722540360139537606667246617\ 757862738580250756517428680215603501*c_0101_6^32 - 2651408682118186385927033079149991598431811688135099354735739872032\ 636801532040337/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^31 - 1306919738757009368964595503262547527310489675620649444985243992837\ 6347349898607155/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^30 - 3203136982568450702857151295982332009895812428125733074061013344279\ 1138521861067046/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^29 - 3214361158742324624401385329146264128545234468615424802545410906218\ 27642899920697/4530674067793469582030472215701594675619104817166864\ 017317119171257910605473849*c_0101_6^28 - 1414246752106669084590117613992174353286861378305359583586181625191\ 0888110235729083/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^27 + 1710298167607418520615709178891734282303630777068532671739465427194\ 88539947760937815/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^26 + 3380648104944177580369191111881304076726339122106794966975716467878\ 56210686963375798/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^25 + 4936279713490279799653625816909971664853530190451123874815923078921\ 67328418088025148/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^24 + 5644146723325959791993011835675806484330392419362503437500316031156\ 46735365898651204/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^23 + 5157043657024498604117837377874405736546250878157664707621153072089\ 22146103106929863/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^22 + 8973501597805826513811496478222362908918131320972526607279975686594\ 24585088539869625/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^21 - 1790323488921384729279772384686474358476020656615157700490243024297\ 146225842964829/453067406779346958203047221570159467561910481716686\ 4017317119171257910605473849*c_0101_6^20 - 3783550221648194619082604012118053843748975057514305789357679003714\ 977096201213252633/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^19 - 6380386772080642998778906326987002429950417847442054444892323829557\ 541491062676776174/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^18 - 3271523808142646743874548112709907564272400314383052085679302183615\ 776831153802429408/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^17 + 7285633172522745705919158585094086257773597189830610640376951486155\ 47815686802297311/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^16 + 1893271736070360426561252597078083570347277496961736239606569683214\ 860593765116358760/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^15 + 1908082111204794705596647931907409108332211066992676121681337848583\ 439665048859745230/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^14 + 3109400280726079594123957368027254117237924174712782183233071175591\ 766826955029459388/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^13 + 8900039301052095718798606227832765378183921795387410834272024378048\ 580153271905125507/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^12 + 6583909579747462149371049719426363783630538969185572650171554199373\ 051384461635566192/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^11 - 2655761038611605621385734120658625884267418726439254093409759386658\ 721245143568716990/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^10 - 6076586952454567394696877822843390622168594159563831954890106179143\ 049919006396921604/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^9 - 3002809877585141098792374255015889791552769059794557756082294590303\ 480447231821185919/675070436101226967722540360139537606667246617757\ 862738580250756517428680215603501*c_0101_6^8 - 4319586969399849402769592076583035646295135556784577425738162341319\ 98325094635930824/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^7 - 4492306571459749272796880463304816131373140915734140105474572925137\ 82015715052096276/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^6 + 2402859903804439182230878192048139230709198306503141642105077100522\ 50467077815535837/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^5 + 2594466030995233230063226550278771691325838249654267414596180427177\ 72095048732392137/6750704361012269677225403601395376066672466177578\ 62738580250756517428680215603501*c_0101_6^4 + 6053494970272102673959791821490408009117935554365480751960306977556\ 0872451722178325/67507043610122696772254036013953760666724661775786\ 2738580250756517428680215603501*c_0101_6^3 + 8580348949806224908605612858847648101741329612627323337852855461033\ 016635084161988/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6^2 - 4177699085570109999068920010105788266644233082828186773344455158689\ 664436452294639/675070436101226967722540360139537606667246617757862\ 738580250756517428680215603501*c_0101_6 - 8252368154602495918342566414206136113794123527690550174883787531800\ 40483909723832/6750704361012269677225403601395376066672466177578627\ 38580250756517428680215603501, c_0101_6^33 + 13*c_0101_6^32 + 62*c_0101_6^31 + 144*c_0101_6^30 + 201*c_0101_6^29 + 15*c_0101_6^28 - 866*c_0101_6^27 - 1473*c_0101_6^26 - 2071*c_0101_6^25 - 2246*c_0101_6^24 - 1932*c_0101_6^23 - 3905*c_0101_6^22 + 2412*c_0101_6^21 + 18436*c_0101_6^20 + 27196*c_0101_6^19 + 8934*c_0101_6^18 - 6852*c_0101_6^17 - 8337*c_0101_6^16 - 7453*c_0101_6^15 - 13408*c_0101_6^14 - 40765*c_0101_6^13 - 22063*c_0101_6^12 + 20161*c_0101_6^11 + 26362*c_0101_6^10 + 8177*c_0101_6^9 - 721*c_0101_6^8 + 1857*c_0101_6^7 - 1872*c_0101_6^6 - 916*c_0101_6^5 - 48*c_0101_6^4 + 6*c_0101_6^3 + 31*c_0101_6^2 + 2*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB