Magma V2.19-8 Tue Aug 20 2013 16:16:27 on localhost [Seed = 1141233829] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0737 geometric_solution 4.68593494 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 3 0132 0132 3201 0132 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 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 1.064717978627 0.785954289893 0 4 3 3 0132 0132 3201 2031 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 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.175249672985 0.593001697767 0 0 5 5 2310 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.433413703709 0.874566609214 1 1 0 4 2310 1302 0132 2310 0 0 0 0 0 0 -1 1 -1 0 0 1 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 -1 1 0 0 0 0 0 1 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.175249672985 0.593001697767 3 1 6 6 3201 0132 0132 3201 0 0 0 0 0 0 0 0 1 0 0 -1 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.291293446566 0.498658532855 2 5 2 5 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.820276439592 0.186500278832 6 4 6 4 2031 2310 1302 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.077049383670 1.918457340017 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : negation(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' : negation(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' : negation(d['1']), 's_1_3' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_5']), 'c_1100_4' : negation(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_5']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(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' : d['c_0011_5'], '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' : negation(d['c_0101_2']), 'c_1001_4' : d['c_0011_3'], 'c_1001_6' : d['c_0101_1'], 'c_1001_1' : negation(d['c_0101_1']), 'c_1001_0' : negation(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_0101_0']), 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_3'], '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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1681710052126827926908896949429330144495961648740847850135411805578\ 3216/89430575699091788830222789784941005293251104534002680426425067\ 36039*c_0101_2^28 + 44650394803345571051344356514931420588204996815\ 9287435888078178122362352/89430575699091788830222789784941005293251\ 10453400268042642506736039*c_0101_2^27 + 3416346793740685655036606897937194007691377437535920548312665455861\ 296296/894305756990917888302227897849410052932511045340026804264250\ 6736039*c_0101_2^26 + 709038792865583022256511147093221690212108067\ 6564956058770544261368861592/89430575699091788830222789784941005293\ 25110453400268042642506736039*c_0101_2^25 - 1896376650974465497386263946725470693191529011167413405010004685888\ 3110780/89430575699091788830222789784941005293251104534002680426425\ 06736039*c_0101_2^24 - 83880988685612142360963310507723304012110349\ 922212082952934790238704096338/894305756990917888302227897849410052\ 9325110453400268042642506736039*c_0101_2^23 + 1274172409947230895938189885952828520171837676799732954583432793970\ 6090377/89430575699091788830222789784941005293251104534002680426425\ 06736039*c_0101_2^22 + 36368296244956600644626392430516683682392332\ 7921269530647243088329427709919/89430575699091788830222789784941005\ 29325110453400268042642506736039*c_0101_2^21 + 1442520974807305432574976393246795904936416016660125393078290979932\ 31322349/8943057569909178883022278978494100529325110453400268042642\ 506736039*c_0101_2^20 - 9215346690465652871405099521575887356402067\ 02007468503649653612792701330195/8943057569909178883022278978494100\ 529325110453400268042642506736039*c_0101_2^19 - 5131662660851731314277435025395193316449374757531214993500845687175\ 32227935/8943057569909178883022278978494100529325110453400268042642\ 506736039*c_0101_2^18 + 1583038979054456341851554394546720936184269\ 955658020663464265381481559489195/894305756990917888302227897849410\ 0529325110453400268042642506736039*c_0101_2^17 + 8340301323969534105446699458755626421964490261749884181402517391663\ 24717763/8943057569909178883022278978494100529325110453400268042642\ 506736039*c_0101_2^16 - 1950431729941244513668986468393165636784962\ 170624556491961124429258713435019/894305756990917888302227897849410\ 0529325110453400268042642506736039*c_0101_2^15 - 7533422273409030776314845326139923338147680988686114118759640405222\ 94717151/8943057569909178883022278978494100529325110453400268042642\ 506736039*c_0101_2^14 + 1730863668080258956481577627679668244461850\ 621190347825298316259349652198571/894305756990917888302227897849410\ 0529325110453400268042642506736039*c_0101_2^13 + 5007544266456826806118797153284254430936199890685479766450230102644\ 4956427/12775796528441684118603255683563000756178729219143240060917\ 86676577*c_0101_2^12 - 10730857308492608579448357925402619184844452\ 53830576687804042143782183957706/8943057569909178883022278978494100\ 529325110453400268042642506736039*c_0101_2^11 - 3603302044507775008484467797884530313820814528302357896916116446091\ 481281/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^10 + 436582063030691285760871373545710696351302978\ 092814211533090193919714191167/894305756990917888302227897849410052\ 9325110453400268042642506736039*c_0101_2^9 - 5688981510710548680993510139727936407676369650338380844456535007756\ 7819937/89430575699091788830222789784941005293251104534002680426425\ 06736039*c_0101_2^8 - 103687768322164920403447966468086545972409075\ 889589468782803806026524386291/894305756990917888302227897849410052\ 9325110453400268042642506736039*c_0101_2^7 + 2637059884817791171411706713983447366124716065377970616007613359619\ 0038646/89430575699091788830222789784941005293251104534002680426425\ 06736039*c_0101_2^6 + 111203005898641459315039851443516502402155729\ 48894502876464128741153439312/8943057569909178883022278978494100529\ 325110453400268042642506736039*c_0101_2^5 - 3824586633664959496073861635201980328007648358688108461476097660967\ 238398/894305756990917888302227897849410052932511045340026804264250\ 6736039*c_0101_2^4 - 2670924996327044331716765019841283379815626823\ 86640998777697290027193999/8943057569909178883022278978494100529325\ 110453400268042642506736039*c_0101_2^3 + 8677952120510696592664955072843229401586234132074065696578261455315\ 3177/89430575699091788830222789784941005293251104534002680426425067\ 36039*c_0101_2^2 + 113183445658362265138315864197124273363854174589\ 88143608851590075563608/8943057569909178883022278978494100529325110\ 453400268042642506736039*c_0101_2 + 1133609925494700390773329885057402401354862337264039589070287818382\ 544/894305756990917888302227897849410052932511045340026804264250673\ 6039, c_0011_0 - 1, c_0011_3 + 685915504445605074812497270385739902264920299944267476476236\ 90813888/1277579652844168411860325568356300075617872921914324006091\ 786676577*c_0101_2^28 + 1816052783506684595370130884456356785472760\ 599401901667432319237981744/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^27 + 1379456501201077125248806624160845230334087664286796127497901085481\ 1520/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^26 + 27765635537071689940240928667463598430918587751\ 639386877866411929886472/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^25 - 8045782069873374299693205782575912871340969694664727699670112023523\ 0368/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^24 - 33881424433421507139954316183805159912544173146\ 6161310748696607109933812/12775796528441684118603255683563000756178\ 72921914324006091786676577*c_0101_2^23 + 8085441541317695485644579751053783638394945760872433484718945376350\ 3318/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^22 + 15035450620882748689426801792624235363575809577\ 70151227264094300795339315/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^21 + 4895126066695435006350626814709497633646604144752689836383057201129\ 68950/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^20 - 3890862473453989834758479590705603889480747976\ 019232628607019451246832811/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^19 - 1906022882826074585780710088029142133148291050065361212435834348997\ 682767/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^18 + 679837832803970048605602100036702390958825855\ 5665570013300312451617524757/12775796528441684118603255683563000756\ 17872921914324006091786676577*c_0101_2^17 + 3172649177289819424892457127210491479379935600483413221833076705794\ 673708/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^16 - 847221921644149087626811867068543151516958340\ 0670853482152177448067422427/12775796528441684118603255683563000756\ 17872921914324006091786676577*c_0101_2^15 - 2868486147458678500375121402962027744289776434501570224162441982478\ 015319/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^14 + 756669033879306880813676246954154211727704507\ 8598143845259732673576942471/12775796528441684118603255683563000756\ 17872921914324006091786676577*c_0101_2^13 + 1284311025279509323820595061669522310940349296514048017360466608685\ 507255/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^12 - 470979960650985288611340365890359203515700858\ 7502037642018807544143815806/12775796528441684118603255683563000756\ 17872921914324006091786676577*c_0101_2^11 - 2028086383491297672666004405588632233908802377786851243733400021170\ 8814/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^10 + 19262118294511400629897184746049690878182361466\ 89667200043350514544400448/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^9 - 2649842636953881876482559247667808048332854264863899631195411548859\ 59328/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^8 - 46319062988969085932666051958830846781506967436\ 8635741007796329708763835/12775796528441684118603255683563000756178\ 72921914324006091786676577*c_0101_2^7 + 1150088807985851975127387852690446410155170778683976075822737837131\ 42167/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^6 + 51898522586059077195381178147312760662798373941\ 776357832948502977002796/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^5 - 1610450842937400651252155556586364604416077915267606414324870948863\ 4978/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^4 - 171479497715763556807777033765304397767146878482\ 0704182966512741094733/12775796528441684118603255683563000756178729\ 21914324006091786676577*c_0101_2^3 + 2841600973060960538876665309129847728827494151427019766632988696497\ 76/1277579652844168411860325568356300075617872921914324006091786676\ 577*c_0101_2^2 + 81764320929041149263794367797400219399994397660415\ 355510414340618994/127757965284416841186032556835630007561787292191\ 4324006091786676577*c_0101_2 + 844231828357898008922428938438648187\ 8765264737531716601512759205595/12775796528441684118603255683563000\ 75617872921914324006091786676577, c_0011_5 - 102871367884666193346086399507229679198441163749149551794029\ 08587152/1277579652844168411860325568356300075617872921914324006091\ 786676577*c_0101_2^28 - 2743038189055068240934316239339558495297638\ 27711917165463733852358720/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^27 - 2121767863638043413809700092829888636641887196366866127653986928710\ 344/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^26 - 459714825013786153735958576439563267705658221582\ 7813360055718331361040/12775796528441684118603255683563000756178729\ 21914324006091786676577*c_0101_2^25 + 1093282586096251612865137862488815962735793937675421515422166564545\ 1228/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^24 + 52200829463313631892946278400782603434577920410\ 429851668096641940384802/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^23 - 1320656889157663114776685069393805965476404880849307920929261577738\ 913/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^22 - 219122213138703914772334656971173254760875153417\ 727259091690089589983726/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^21 - 1116861350407019465944553538866923825717062415368099883242116738100\ 46160/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^20 + 5382356964218392164953881224727076560851076562\ 05264325325532033020745586/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^19 + 3626087402086937928474270675680608321647187932816133587589795634685\ 52327/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^18 - 9003866374163927183649945254320188458372286605\ 93950599796346038160518178/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^17 - 5790489439381118206913868691973654262585356643142243158780514890094\ 69001/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^16 + 1089352086727622299080946389289715830105614234\ 907403936832373682277128355/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^15 + 5342522087349284969585511624744760187940977775263455878473973789512\ 47690/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^14 - 9581781529543839148489105672540723046228210182\ 32610145592609015201480634/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^13 - 2756633588431742225900945853999349103676741462424604416839491875049\ 43610/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^12 + 5930767608288482219394416111480536513258384552\ 60465652578158032326087673/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^11 + 5378991692164278298147253642538406180578162221338717393065550265036\ 2226/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^10 - 24208219991691241723858751978606969516041293006\ 5716311383884468876448103/12775796528441684118603255683563000756178\ 72921914324006091786676577*c_0101_2^9 + 1833478720672071944242456321515643746856667378914965794582399821861\ 2704/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^8 + 580407469709375468075313412281121648195681553626\ 80033245093797586366926/1277579652844168411860325568356300075617872\ 921914324006091786676577*c_0101_2^7 - 1186269551266052911494963301907963122908905839818268424349923284034\ 8271/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^6 - 641697764342981452231261044674511506423671854745\ 9811743615126802531294/12775796528441684118603255683563000756178729\ 21914324006091786676577*c_0101_2^5 + 1812837641186669755586893421145251048508830381202498674712449799872\ 736/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^4 + 1947242813855932736990562779389557318988901993687\ 72417151575560500012/1277579652844168411860325568356300075617872921\ 914324006091786676577*c_0101_2^3 - 3742594688937296064568037363722004347572490019657078973668567647796\ 0/12775796528441684118603255683563000756178729219143240060917866765\ 77*c_0101_2^2 - 970493637824164291411020325855464140693203904875006\ 5624795717911640/12775796528441684118603255683563000756178729219143\ 24006091786676577*c_0101_2 + 21765172577308834412386369514786854464\ 4418792673787913285515125740/12775796528441684118603255683563000756\ 17872921914324006091786676577, c_0011_6 + 161036613187592834662321117310609722178236481700156318251695\ 006346672/127757965284416841186032556835630007561787292191432400609\ 1786676577*c_0101_2^28 + 424876318572201524264357350129588314414314\ 3538846807484138915019152176/12775796528441684118603255683563000756\ 17872921914324006091786676577*c_0101_2^27 + 3198520732794021558503289433134846197144725379406117990964181505253\ 3352/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^26 + 62009133821535829629089521458446131265906513103\ 326203175939049102924248/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^25 - 1963754840475516511101117230779250596008911233772634251489457871984\ 24428/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^24 - 7814451181028363378440995636609678996336992458\ 65029755763268288096747586/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^23 + 2695819652221108135731507063565670677159411650661105583000276222553\ 01329/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^22 + 3548825415081792399950151871087625064748515816\ 245198021023798289042580203/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^21 + 8329934611724870136505877779072474203737047224138584685520255390558\ 35037/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^20 - 9383759698780127551202882911246488340003024270\ 977251015323666734192899599/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^19 - 3748795910163146538537886186646566656820492258940285073832982576437\ 983472/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^18 + 166980189832052074411466784972575180366629016\ 58102628490439574108109008523/1277579652844168411860325568356300075\ 617872921914324006091786676577*c_0101_2^17 + 6318168985367514140531766587639598079715601303962550737619129956721\ 396364/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^16 - 210765769195249722108018685717688447177680064\ 20707069641992550304432381735/1277579652844168411860325568356300075\ 617872921914324006091786676577*c_0101_2^15 - 5447010220182734415319301420887674776708793106573979409186042770043\ 309658/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^14 + 189488053064237552340651683773918323610458966\ 12910776517101365388683360266/1277579652844168411860325568356300075\ 617872921914324006091786676577*c_0101_2^13 + 1921371151779926018203162801155437641558469677832993670774302519760\ 153451/127757965284416841186032556835630007561787292191432400609178\ 6676577*c_0101_2^12 - 118116820647935446222391650836898433432722801\ 54702422238367160530111700684/1277579652844168411860325568356300075\ 617872921914324006091786676577*c_0101_2^11 + 6261059830023781476937979921224887697825686248798141786018277007636\ 09316/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^10 + 4819451573424591415531775879680470485719528026\ 881054799109109929253509699/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^9 - 9032878396323919398223901523187804416217250597595282676451930495440\ 49219/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^8 - 11518443040375218507759919217374698038932608970\ 02078453561603865986404213/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^7 + 3411698293386160431162968317458597428789839200001849551708571207787\ 83208/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^6 + 12733292103781643673517593282802596508377380322\ 2002335813019121276786337/12775796528441684118603255683563000756178\ 72921914324006091786676577*c_0101_2^5 - 4668173437389489962876483660055414444752379714222443649889747032655\ 5231/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^4 - 413183689760905017369999003983240548036810195842\ 6891483005456677035733/12775796528441684118603255683563000756178729\ 21914324006091786676577*c_0101_2^3 + 9979157159583438998156006830582427466346195421378817489484422381359\ 18/1277579652844168411860325568356300075617872921914324006091786676\ 577*c_0101_2^2 + 22974660953384042444292825060821004287232364066113\ 4052735227934176059/12775796528441684118603255683563000756178729219\ 14324006091786676577*c_0101_2 + 23874177877707406579564499708929562\ 711975094823823916956399842373407/127757965284416841186032556835630\ 0075617872921914324006091786676577, c_0101_0 - 172614762062240247783324407119082594099695338309770078893455\ 40442400/1277579652844168411860325568356300075617872921914324006091\ 786676577*c_0101_2^28 - 4604396602854106665379744696828887373968025\ 44009536056515349271470576/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^27 - 3564602104395763314412007058386493147736565465488973960884849507235\ 680/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^26 - 774558060291585602234322884634838795095190463843\ 5346221600770086938536/12775796528441684118603255683563000756178729\ 21914324006091786676577*c_0101_2^25 + 1828973870604143855112444029902113148929595797801214020479322249358\ 8432/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^24 + 87800277415205800441679035336365536660934788834\ 220921859108754254533984/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^23 - 1499840144699857584241693296061279632009711912622121924491755122284\ 384/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^22 - 368106808745273350875746019353662350362816081001\ 676020782355278876856981/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^21 - 1906248202405239063956762879313324462281312644727531235070722143516\ 14365/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^20 + 9031507804962915658919633060022805078322512045\ 22219958489885673914335815/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^19 + 6167134633000525264544745517155604076718036860588111361043738120308\ 88325/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^18 - 1509671924385737738154873655058195174564293688\ 507674673127772926729981716/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^17 - 9856074913250403024557790548569687123160797395695837972658710590886\ 72070/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^16 + 1826526955137681694408515113824806244397880646\ 708180753138758638947053212/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^15 + 9127325575340775196216193619213665570098122341231992081270543436778\ 10697/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^14 - 1608108697705052228962190531532485634250978994\ 634869901710254389681383547/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^13 - 4755304269344471347111652636421072830734911422418384261640861583361\ 01754/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^12 + 9970764847014694415337706028376897273321368015\ 77648129085332525972930703/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^11 + 9711494374507185038618909246273874194631646263625955427585493792563\ 4442/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^10 - 40793195257728150320758830907536910044900785638\ 1666266646575381143973565/12775796528441684118603255683563000756178\ 72921914324006091786676577*c_0101_2^9 + 2852759787214727146956096648275355033154309094416095013014400082721\ 0233/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^8 + 981013046343735595894559987991783835518323278628\ 92536886376065211471829/1277579652844168411860325568356300075617872\ 921914324006091786676577*c_0101_2^7 - 1950346668872662949646464825102976528423349303689647348061074081782\ 6134/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^6 - 108940343678693083056332564968830472339023283887\ 64454508421670087767336/1277579652844168411860325568356300075617872\ 921914324006091786676577*c_0101_2^5 + 3006237522518367469542361566829619328404508015762900215923576244236\ 033/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^4 + 3323971393834013638279574599573520452124466480602\ 01252077714479688199/1277579652844168411860325568356300075617872921\ 914324006091786676577*c_0101_2^3 - 6387401401405421653782229652976511920910787933079849021655873309025\ 3/12775796528441684118603255683563000756178729219143240060917866765\ 77*c_0101_2^2 - 158930584836367287378090825215342197109419589927915\ 17682533924515039/1277579652844168411860325568356300075617872921914\ 324006091786676577*c_0101_2 - 4750846325302030374684799697264767533\ 92346871712490670740211581087/1277579652844168411860325568356300075\ 617872921914324006091786676577, c_0101_1 + 169588468331372810837833899713349044955752660678485774849003\ 44813392/1277579652844168411860325568356300075617872921914324006091\ 786676577*c_0101_2^28 + 4512171544500359275129767792054304848048010\ 34138977969786811873735344/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^27 + 3471046446951884308386600633530585346945701481501374021367448849683\ 112/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^26 + 736205153507746326869876759397237412577464441133\ 2076570488193476048472/12775796528441684118603255683563000756178729\ 21914324006091786676577*c_0101_2^25 - 1856439681221938010281757908895501313777533741633638133994692759752\ 9084/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^24 - 85214694845957949435758099623081458181039551662\ 189465610270788471209862/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^23 + 7728555461212306216941012372295323758192149510959299555262757815490\ 015/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^22 + 363502269281054006580596652992207693825229574658\ 857452977203475584945161/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^21 + 1627404069860848816491613040877239479022732344669061821709532807147\ 60348/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^20 - 9081436586213520910994684301963909751534911445\ 40427383555105817987239293/1277579652844168411860325568356300075617\ 872921914324006091786676577*c_0101_2^19 - 5500146754753801292881434232696729556888156519435144029248881287651\ 97167/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^18 + 1544047911042753942400646055362292269484534034\ 373371194466046047112339308/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^17 + 8814531448551220151150181069908966333994498494833269035705476094479\ 16847/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^16 - 1892806854928499863116680392388271330261594763\ 579371425083268782154397025/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^15 - 7967112857029324477792479484062339265614984170947381242890261384487\ 86840/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^14 + 1679709346412237482328354351355197636630288605\ 819347594764950542363815355/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^13 + 3799196333497771887743354818589875648588194896676263126568482828406\ 43566/1277579652844168411860325568356300075617872921914324006091786\ 676577*c_0101_2^12 - 1045120250575588147376784710038204079399063858\ 383076267314595435893897949/127757965284416841186032556835630007561\ 7872921914324006091786676577*c_0101_2^11 - 3932059511434365379073031487592822326335026580113529249979987940594\ 9534/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^10 + 42785935191421620815912725861237176920458248283\ 3709515754091996666334803/12775796528441684118603255683563000756178\ 72921914324006091786676577*c_0101_2^9 - 5290316168245866317294397476094925893021616828082956699675054762234\ 4856/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^8 - 102678552003401915832553516775717376545779286123\ 465317530883056876466979/127757965284416841186032556835630007561787\ 2921914324006091786676577*c_0101_2^7 + 2605499469080901684674728025411800127939666870539334089424859352859\ 1491/12775796528441684118603255683563000756178729219143240060917866\ 76577*c_0101_2^6 + 112807950806985061577623154506882023185846320812\ 29629928548589758938758/1277579652844168411860325568356300075617872\ 921914324006091786676577*c_0101_2^5 - 3946997627471206380014513749486928445621715928254150171844596421552\ 892/127757965284416841186032556835630007561787292191432400609178667\ 6577*c_0101_2^4 - 3172793360893757800107457180481541583052866048441\ 02247762800641641729/1277579652844168411860325568356300075617872921\ 914324006091786676577*c_0101_2^3 + 1041753940484513054026259703058219598356238650770587610197930168360\ 22/1277579652844168411860325568356300075617872921914324006091786676\ 577*c_0101_2^2 + 17069664549249351014563734351111975842584852948326\ 816060081001886317/127757965284416841186032556835630007561787292191\ 4324006091786676577*c_0101_2 + 228544088874408243995497014609562069\ 0117860144066312975151817055781/12775796528441684118603255683563000\ 75617872921914324006091786676577, c_0101_2^29 + 26*c_0101_2^28 + 377/2*c_0101_2^27 + 309*c_0101_2^26 - 5463/4*c_0101_2^25 - 35041/8*c_0101_2^24 + 56541/16*c_0101_2^23 + 42713/2*c_0101_2^22 - 26597/8*c_0101_2^21 - 962169/16*c_0101_2^20 - 11113/16*c_0101_2^19 + 1798855/16*c_0101_2^18 - 17863/16*c_0101_2^17 - 1166049/8*c_0101_2^16 + 276095/16*c_0101_2^15 + 2088785/16*c_0101_2^14 - 136391/4*c_0101_2^13 - 1246107/16*c_0101_2^12 + 522447/16*c_0101_2^11 + 454417/16*c_0101_2^10 - 278307/16*c_0101_2^9 - 79575/16*c_0101_2^8 + 79341/16*c_0101_2^7 - 549/16*c_0101_2^6 - 4889/8*c_0101_2^5 + 1411/16*c_0101_2^4 + 141/8*c_0101_2^3 - 9/8*c_0101_2^2 - 7/16*c_0101_2 - 1/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB