Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3431813152] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1959 geometric_solution 5.54042278 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 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 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.407411997085 0.609318192080 0 3 2 4 0132 0132 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 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 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.724911316876 0.953906586693 3 0 4 1 3201 0132 2310 3012 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 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.724911316876 0.953906586693 3 1 3 2 2310 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 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.154469980473 0.962592595296 5 2 1 5 0132 3201 0132 1023 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.719472062302 0.447274267140 4 6 6 4 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 0 0 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.173789069665 0.310834853018 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.190776675695 0.152597351278 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : 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' : negation(d['1']), 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(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' : 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' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_4'], 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_4'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_2'], '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_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0011_4']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(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_2']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_0011_4']), 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t - 4457647789686574026839687532876856135474359275756994709394386792361\ 268325770660340471944814944/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^29 - 2013936762549626809158860932836201943640549894836747183763900497065\ 578264094839123884971320980/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^28 + 4068623815021489462813288104262334020182064286097253716888398117109\ 78789174907235722710769925662/1312406418886717275841852953729075213\ 090261638791027828740080054291626468326765776818598243*c_0101_6^27 - 2005494077627884325464911417554143949462221055939539145806021236712\ 831082977075677202378177825383/131240641888671727584185295372907521\ 3090261638791027828740080054291626468326765776818598243*c_0101_6^26 + 21712625089011232016439715836890703889704756140009347380132725786\ 72462569165464545155501692062780/1312406418886717275841852953729075\ 213090261638791027828740080054291626468326765776818598243*c_0101_6^\ 25 + 49826909158297556857613925615422837556727851776721907597272649\ 02140896732663829320214174891938050/1312406418886717275841852953729\ 075213090261638791027828740080054291626468326765776818598243*c_0101\ _6^24 - 15485977115053687943734205522671648950111802193475504755563\ 590849854287967192263818918752749470624/131240641888671727584185295\ 3729075213090261638791027828740080054291626468326765776818598243*c_\ 0101_6^23 + 3007312388194921276237211128997292171848825404315197062\ 3726128254962523274338514404091671161488403/13124064188867172758418\ 5295372907521309026163879102782874008005429162646832676577681859824\ 3*c_0101_6^22 - 196963672180088852334188197621060804210489328656097\ 74788993225586829617403828023317909732281185933/1312406418886717275\ 8418529537290752130902616387910278287400800542916264683267657768185\ 98243*c_0101_6^21 - 86279811696966820734889565030164689650114871295\ 645572974200193703157603924441843958505458234839170/131240641888671\ 7275841852953729075213090261638791027828740080054291626468326765776\ 818598243*c_0101_6^20 + 1037835276671220072645879920087880124095605\ 52414159401948407722507174276338424969543412750786362751/1312406418\ 8867172758418529537290752130902616387910278287400800542916264683267\ 65776818598243*c_0101_6^19 - 12529381503867771894849294869668083441\ 8686469769106955240125095509098682696513582641622128926160660/13124\ 0641888671727584185295372907521309026163879102782874008005429162646\ 8326765776818598243*c_0101_6^18 + 281609312842786152784532254458392\ 757413205208563051254748358372583111143958694866680320472792304278/\ 1312406418886717275841852953729075213090261638791027828740080054291\ 626468326765776818598243*c_0101_6^17 + 6957116443467061936915957972386644313011340117653641995923542651345\ 34851174031425674311153270960274/1312406418886717275841852953729075\ 213090261638791027828740080054291626468326765776818598243*c_0101_6^\ 16 - 11492499934853673910506778775961979139430102890237431463746993\ 05324496663971822268696119525694310880/1312406418886717275841852953\ 729075213090261638791027828740080054291626468326765776818598243*c_0\ 101_6^15 - 85389404345097488984642029907394646860422218740038993887\ 6074900672022132246643105689567762051819661/13124064188867172758418\ 5295372907521309026163879102782874008005429162646832676577681859824\ 3*c_0101_6^14 + 124094805741886712588682304010944152378173137127716\ 2433131213791944734581022997322264527058756614416/13124064188867172\ 7584185295372907521309026163879102782874008005429162646832676577681\ 8598243*c_0101_6^13 + 453005887172516815458162634964543479338298607\ 880298584655639861958847371469863567860189084462006620/131240641888\ 6717275841852953729075213090261638791027828740080054291626468326765\ 776818598243*c_0101_6^12 - 4318376002076983138691767520024494779706\ 18020185521506268806782371908627616489080237950645141263495/1312406\ 4188867172758418529537290752130902616387910278287400800542916264683\ 26765776818598243*c_0101_6^11 - 20282508975145323758317593949898267\ 1241829954951100675964667307985538341893458611733555435351799594/13\ 1240641888671727584185295372907521309026163879102782874008005429162\ 6468326765776818598243*c_0101_6^10 - 3833895139423123451497271178372951222402402937248810474902099761408\ 0075274643672583300579343783912/13124064188867172758418529537290752\ 13090261638791027828740080054291626468326765776818598243*c_0101_6^9 + 73578541596865423327243196071476501054185532174898215085120115752\ 788078409969911254737760431808627/131240641888671727584185295372907\ 5213090261638791027828740080054291626468326765776818598243*c_0101_6\ ^8 + 40590760262639315681500562879309455075336680575808974093818070\ 761635091905517550716443364072702636/131240641888671727584185295372\ 9075213090261638791027828740080054291626468326765776818598243*c_010\ 1_6^7 + 51180035106562451889248620494575858249033116187485468756077\ 07789855041516563829479797375372501430/1312406418886717275841852953\ 729075213090261638791027828740080054291626468326765776818598243*c_0\ 101_6^6 - 151812262954888055217437403555252713541879887455451709901\ 1198761471508494958634768093716184407460/13124064188867172758418529\ 53729075213090261638791027828740080054291626468326765776818598243*c\ _0101_6^5 - 5539604249805600450046457780610266218264326641836425050\ 005459841742168939365633687753399891006504/131240641888671727584185\ 2953729075213090261638791027828740080054291626468326765776818598243\ *c_0101_6^4 - 96641090864253180839805308271699303998525099893230115\ 5620723326450135096717065621490379929841564/13124064188867172758418\ 5295372907521309026163879102782874008005429162646832676577681859824\ 3*c_0101_6^3 - 5484173908973135649523675381675139618426317958189883\ 62029105498301591981538949174791854589428693/1312406418886717275841\ 8529537290752130902616387910278287400800542916264683267657768185982\ 43*c_0101_6^2 + 312628436917265458239889720275912259994729284589491\ 84826163851710332274155773938515013724748085/1312406418886717275841\ 8529537290752130902616387910278287400800542916264683267657768185982\ 43*c_0101_6 - 23455032363158353383763057808291440213420100188187259\ 467324038272663398072483252094949929828495/131240641888671727584185\ 2953729075213090261638791027828740080054291626468326765776818598243\ , c_0011_0 - 1, c_0011_4 - 106476449329188335719686328845264747000484170100647791557173\ 833829675235894257222855147284/131240641888671727584185295372907521\ 3090261638791027828740080054291626468326765776818598243*c_0101_6^29 - 40173433089993742568152686510721379367628244660715690836122014095\ 021789646864231014549618/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^28 + 9744754318139744055276467879522696861692003567971093874167179101640\ 289765487970062114459741/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^27 - 4862419919997216681008882486616975635947757770900371976354506042406\ 0885400087590538587524760/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^26 + 5335720190270907824984829471705849434246827617557822070355837253613\ 4031814406102017421551820/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^25 + 1260154405051681608085430665821671688659484297389224041907808933928\ 07569475725532397512477772/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^24 - 3934155896101900299571434461157921909587741622531280051219036783302\ 64151027854642629659019786/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^23 + 7262818990588607860540650203313271268991189958593949945691276811634\ 08318645359984798011048050/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^22 - 4403341622658450717139204712391915513266350194138734958572492661556\ 67117567785989162681693443/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^21 - 2208027073208935121805409578864011362330600982930254382513350369427\ 796747508696232362047896249/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^20 + 2796973356849373026011774594758122196784702380298058004749255663660\ 896135899128974842383877572/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^19 - 2806789649371203725625098897998553331052314427257574655984271102356\ 341817966132210227746018031/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^18 + 6321431270087071859914946399925922896986405144888500546350551297850\ 395312821171396777531652250/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^17 + 1700328572382278235934908495532204235124427607027932435198219391902\ 2913783680669184330942071992/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^16 - 3043238953847388843815090436336938501641300141449434103803122146556\ 7378164009377235160730228202/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^15 - 2128334212498093192272789647131623413850587097055663260157747221473\ 5032273806804550032406025171/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^14 + 3768437431825081388471304201289218513839581042293797341806788901397\ 4820781797758974738150836694/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^13 + 1045900973022812265715166266289255895149162403820476184036308754942\ 9941670809889443662371742914/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^12 - 1749013604631618432342008317709055641896503654923612400405287074738\ 5115114699651935385408420205/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^11 - 3750657660895923298439953276076214973935395436133190396664491425994\ 883292191670533484330130572/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^10 + 1278327775324155721425535583726272498639413991576911043651637391898\ 243362413424080043321647306/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^9 + 1849372482055168869949506244877264955443501876271009547341304301187\ 403952829276384588473879794/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^8 + 9482590210995818593272161309626138585805912710055638051025021309730\ 82656926851179999092166298/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^7 - 1670462209085423434315634953571302236060156695818216846306468462540\ 93100083868845621119979809/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^6 - 1223944629674268645710067990779217159256420953545773830438410876437\ 78795241112684284565025488/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^5 - 1320589231041303236940994176062775176570660127282814964148942856692\ 53882204828900559066590916/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^4 - 7413685641257472030739201212762247998210815766311197063508920157809\ 812172346065697101160719/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^3 - 5305386345650751175131575479513169884994186076452615419917620161199\ 69158123669335812605760/1312406418886717275841852953729075213090261\ 638791027828740080054291626468326765776818598243*c_0101_6^2 + 8098152150802660883066204965667100224273513764640742059804005771940\ 91428722307745255939802/1312406418886717275841852953729075213090261\ 638791027828740080054291626468326765776818598243*c_0101_6 - 9457646644687839950035919739102161121802094497636643786968008472650\ 9507350703171025477383/13124064188867172758418529537290752130902616\ 38791027828740080054291626468326765776818598243, c_0101_0 - 267294401802265446265767469633780478235317690696056378707132\ 08558118692420364385351854032/1312406418886717275841852953729075213\ 090261638791027828740080054291626468326765776818598243*c_0101_6^29 + 8583334626815380361565032189771142510867278264562478087701613368722\ 752638911214345700300/131240641888671727584185295372907521309026163\ 8791027828740080054291626468326765776818598243*c_0101_6^28 + 2460865545489541396217068527344687534447875522946662242136344701722\ 362716732906204970409626/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^27 - 1391003299631279388005810792091607844059220692993577416812885648983\ 9209814487983037903073555/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^26 + 2122967636599783956295781406635827651185563766033783641028519513632\ 2089473503542186111194535/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^25 + 2553068442496936007821242995083081293476322549414924178828103739138\ 3374145607537984154884454/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^24 - 1235726834061776179351585237593876440955194955743288673828302618607\ 07060370553727902037894852/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^23 + 2406967546791417654237067161258753478178882677328062710009803663904\ 56416585068181437553887901/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^22 - 2112929335611498213750869289011167400732257591119584447660986987097\ 54147952433729639233899253/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^21 - 5205702928459341802619234183053411997867799903996596268262767906946\ 42459799145590662647695004/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^20 + 1101568718849234619375042035002953807892776819251706678114596537593\ 064923203967306217983593503/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^19 - 1017478583890251255046525536289904698050799421869932928790750622491\ 201372758776712441881601689/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^18 + 1907609613341555638617841808067201167463373123696226565686633183339\ 448899182689681357701044830/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^17 + 3295450485951844023433598434766335290823457510343472925686299704974\ 678507520237248403933639586/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^16 - 1097303085653024410895057105847819716389386782188913459016273330457\ 1980963584422473426966199913/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^15 - 1405952476482822192218533522122611105313680895708403039137571856147\ 065119047308809461108544514/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^14 + 1514379689200903578259247572632639935517486559066533177757802080714\ 9722702686393883827286802043/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^13 - 1818596104240458628570207527371410951822820758093797883651659445208\ 206725903347128047106738235/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^12 - 8867988440553574800342762482175138113161602267055169757094977253710\ 067146630525389684134098295/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^11 + 8255415562052013794848441382084249663483833250838559773919522567885\ 70269625584414284999214051/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^10 + 2316581589894617580239815909946452471166716227718417057819166952027\ 005620917938481984676466602/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^9 + 6181804535310938021128991530181661196409279353067931989329402725921\ 07937597019277618585667763/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^8 - 1796242734810415033611024328341456192099274099885914004353266959882\ 38469106527595843385008641/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^7 - 3244928158974952030963962500783049620028750046426278058427083764931\ 20825467713280346690420959/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^6 - 6108840711221914680787375412845264024871260648936975368500347923056\ 7707063934439083159795065/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^5 - 1500645953459601333201420784266199462794477600019671012083722830806\ 4939198277263544003301732/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^4 + 1554404448170268887290331769159513522338115923031635746000970532668\ 2910114508304769672035144/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^3 + 1396551508117705883940639617993894650602976153752724858533301433278\ 8630674349454582618652997/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^2 + 1730518837823125529903172428913178755531538008294984710280779360745\ 972652286586220444518250/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6 + 6015817117301830575148180324590545162709901205553783133018829627310\ 62417881897382916261032/1312406418886717275841852953729075213090261\ 638791027828740080054291626468326765776818598243, c_0101_1 + 142813324868720660867589925304733856140196545713210873540340\ 62797062387147912188470481948/1312406418886717275841852953729075213\ 090261638791027828740080054291626468326765776818598243*c_0101_6^29 - 9903753995598777912940689629881644843830529938854883312621998318093\ 944223110937161343474/131240641888671727584185295372907521309026163\ 8791027828740080054291626468326765776818598243*c_0101_6^28 - 1296322726801269382069117175287053391402400784956439586847318761661\ 861544505509517600876551/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^27 + 7919529463337539183793987823037170412727799828876192425362341822607\ 577911195276743879913920/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^26 - 1564984874269530093672557750891355443485441557150618037837791321705\ 3277366855790775834017457/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^25 - 9821735962907023866014673821558953856807822384259055357970800547973\ 70839353750097068909156/1312406418886717275841852953729075213090261\ 638791027828740080054291626468326765776818598243*c_0101_6^24 + 5882351173952499672242867423106230113494735311553749376475767188229\ 1723728107299266044376933/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^23 - 1684892934522727156635658817614094819791768870510587828677858151046\ 43338309935496921201965146/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^22 + 2314691061690619201720620272615255168909596494071552260432108791738\ 97161560294031219438282773/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^21 + 9153495083184535277521802419989405979964320706099658402201581915608\ 5946713157500239434726375/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^20 - 5618674331224221568987457198181419550330577421956867831878589727702\ 20928607757889401181460008/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^19 + 1065812957073875734328200096286648574663349231564208704969069966267\ 357427411941928736472129883/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^18 - 1817230678120705430185044946958058028420378818855003674168687399695\ 756799154634798325225259197/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^17 - 7270132186853510465990402974414963093977640425223503995937015803673\ 67635641891014505473297177/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^16 + 5248774720664072882979390990437138998873383115181941976687228865540\ 317458760794393305895907264/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^15 - 3550587831671777517410552624563662183348762170883049853362919783414\ 655457689996294622495611517/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^14 - 2339308125722514205374147829578838154655470614810382839314749619041\ 123124965755943250207712179/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^13 + 5081201805568425686070625479898764425631276712742461678387658617142\ 753061099465072723370631561/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^12 - 2791847423209073750277806743954395462033188588397357239137740884034\ 841964443800806577048625163/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^11 - 1427756743613470593008198781412726604502010813320296287565797619517\ 679063473692685659752057958/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^10 + 2097851396900130411250085330745627261215468649665913215679600234099\ 602617074279365601999766432/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^9 - 1997217446421874101302812806880487075581925084146561749767164214530\ 29489245125692730449675463/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^8 - 1804796399299258371987506186735181817271566474211032394235830740444\ 41673860284887859694865697/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^7 - 8668746062926720455110400062552701226644054374565733691685535432679\ 3455923149820294513835521/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^6 - 6758382194412850785862782866737762772643762415768489367729817535754\ 6564167539014498307352224/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^5 + 3739610581283401670341944340095799533303005801023876186486196796929\ 1569314479467909089297456/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^4 - 2671016168717889082710652937850436129458176959167450723732432331401\ 400441399290570716930387/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^3 + 1553131437869162606069670050784643163264108657294061225311143077851\ 8008131415376456960041119/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^2 + 6450236521838033437848925972195859874993796061586388960360514293057\ 8702171460920285957106/13124064188867172758418529537290752130902616\ 38791027828740080054291626468326765776818598243*c_0101_6 + 1677521246638055434776349485995639655352282569666446308652289186024\ 98633472966182348088772/1312406418886717275841852953729075213090261\ 638791027828740080054291626468326765776818598243, c_0101_2 - 329708341023797980312666712431446455818080825307587423922261\ 480622110204924517088019430288/131240641888671727584185295372907521\ 3090261638791027828740080054291626468326765776818598243*c_0101_6^29 - 16569603704124509444778427576535722525038746415590612542774975672\ 4584432481602309686924680/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^28 + 3007990665460745287757711282174536024949030674195865811941682273203\ 3620399049103054036498812/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^27 - 1468103737455064766019075556006202262854408910674715832044086387061\ 10482099381155824103158284/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^26 + 1536161429114016945556866578920271061069275228322474926494857002280\ 18772198269609773909838298/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^25 + 3739711774956186839666885497086148140611817642692497379018348133109\ 91568642837322315609901610/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^24 - 1124002299844663655665789709614273148666948487197606987725647701833\ 703552600887577368945379648/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^23 + 2174789237038807508147299431209925510695212673306410059397617460221\ 572182117200759609581400176/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^22 - 1368204937326412876591980882058907296720074643652599363959211101900\ 022005381866312152963401437/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^21 - 6417102880456337926037709273013917819141553208709769123936228127292\ 415334421761291603602364285/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^20 + 7339069965151606696618139843390584390993492927696061739732380468346\ 855900395657018173541748655/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^19 - 9027878352698596627668629537228721786282910531823416016400679477476\ 203678640090909022285083857/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^18 + 2054292545387586238340263084009284885309313398432624326873376316813\ 2624514044184690493264032000/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^17 + 5240108322532566092522492613598712380997982220505728746511085050188\ 1539051770086612381591573022/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^16 - 8212407920330646393222033735313544782827290863788956873739627437586\ 1550085437288687317976337041/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^15 - 6638418487616119089838475600148595366166410276891093557031151664834\ 5130039148707555706368161016/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^14 + 8660588260513050132413368134174560168321913457200361705403174708555\ 9415162196291161685417798122/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^13 + 3663237768658711879854308686395340289890647725281550648471345029467\ 6827581296421048531189929707/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^12 - 2723434767859748221125178658117956107163207614009134638047421160816\ 8973608254916349290634355266/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^11 - 1592969786061840606023261260652576170964027360728796063669173045338\ 2344317463972427167688340375/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^10 - 5336284551517728038861860407205343418486218432660856167222895377386\ 239737492201334121290766615/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^9 + 5168428412780949542670292970156589532683789276951792093366647236079\ 979407057879759892186024561/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^8 + 3505100258993674860042465757210836318142362219830074820351348667654\ 294704308329098819776924005/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^7 + 7184335414568484999473680041152544103928760476887212062530070314410\ 22960140235589251726844047/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^6 - 3943949800231252926343078308097734353271799485259445750969792211170\ 4224877525325930537387437/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^5 - 4811067538000634213701871585225848440815039271774944206691704467416\ 69091584572966272786384428/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^4 - 9645596699464319818279291581664862129459252219797971768292798260179\ 4884057938494325777907241/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^3 - 5407442965909900321974947855446312542097231770561765712088440107518\ 3491396838506626639624529/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^2 + 2433157210270847056752526885301849117748596515445010862087487239652\ 703183315437279563941800/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6 - 1020577704619777275203870475611806633125334937053691821223473327400\ 766842825003452532173883/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243, c_0101_5 - 502916483355261405549147007472909320739574325257776692232493\ 55215914279915487982088743276/1312406418886717275841852953729075213\ 090261638791027828740080054291626468326765776818598243*c_0101_6^29 - 2673367815222092007862989789670250303436290126379654296833911220517\ 8818500005241171331682/13124064188867172758418529537290752130902616\ 38791027828740080054291626468326765776818598243*c_0101_6^28 + 4593960818650578044693845289129760727589238272177259099791402675825\ 799333184156873521100613/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^27 - 2226083442987784323697006468563535272847533497483592765235617777017\ 2366018940855623173185077/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^26 + 2218868294129350219762997489564806661074999774137680997646924807289\ 4118930173874735246429753/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^25 + 6095274990345799955399478976157941648328562745453326497267708163109\ 9519162666082064726350271/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^24 - 1745754830201837220095320397345562909269076630767592741735081244364\ 71610095941217675518439276/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^23 + 3217010967312713622949322634090041314928488316315822002394033809055\ 46690812383082353656822567/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^22 - 1736444938894889913734937181049304588284632574522833363910901976191\ 03740011452607538868799388/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^21 - 1041059404302696380342082228978336378517489037073614480673989201381\ 736706704269350934175053350/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^20 + 1146709680791964877281810010063282660267752694770416431354881363693\ 063062890813951040019527837/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^19 - 1243734550663564762668595020109196116096682267839611531338414420913\ 272697207421194797812832075/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^18 + 2888467925425173426623765404583138292992783846030078730675672049864\ 390074518944595633128485875/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^17 + 8358327685327431047857848024327092456433859747742233321609413892375\ 793825275465501549036851036/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^16 - 1283336107129991088121913347020373180845443008269987877532520148518\ 0548874248200492633614587950/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^15 - 1124063276451699083029782709084713938497829321688295417845530380129\ 8444412153041755742929791678/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^14 + 1501280658442378222458333739267475221068500865320075198129255847292\ 3305385608693564815654024056/13124064188867172758418529537290752130\ 90261638791027828740080054291626468326765776818598243*c_0101_6^13 + 6246737665849841771461681481570085849338140883282009588477535994148\ 947993399115535910368005717/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^12 - 6094044111217384319085262008262268893084325726133746410754744196045\ 847678699160577078512869733/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^11 - 2252798556201802365834687405469117046945732558282667071002698914705\ 198036942214045200489404649/131240641888671727584185295372907521309\ 0261638791027828740080054291626468326765776818598243*c_0101_6^10 - 2170781470864287624770905649735088031579523726316997749678390608886\ 72598134836316528415070074/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^9 + 7403476355072077682278474279352632300916805627288152183089947712952\ 89565103104023545970971125/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^8 + 5308657033537766053577500247188254419191496079519212329625320054039\ 96884910671632530513696801/1312406418886717275841852953729075213090\ 261638791027828740080054291626468326765776818598243*c_0101_6^7 + 4472618013583359690060795892283873781827609370448530212999501901246\ 0046393680194213664822958/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^6 - 7543736845988001286763448282079020246038093544162701206170863731440\ 112886951083835414120370/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^5 - 7665924030807733537805588869055392330385925473828250131660044517340\ 6286756443761221428841034/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^4 - 1598401721059697272259917885163164488456680786290221045103875195314\ 0080360902196880283532944/13124064188867172758418529537290752130902\ 61638791027828740080054291626468326765776818598243*c_0101_6^3 - 3739003693013567484031654208682374173239330511069059419456883303148\ 983434208429257034789629/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6^2 - 1566654817860689790102863268042474759526105866339577677585983584331\ 432467457811456578401813/131240641888671727584185295372907521309026\ 1638791027828740080054291626468326765776818598243*c_0101_6 + 1608915384082963535812396390058423460220559991796465641606501919253\ 31569170642524611997065/1312406418886717275841852953729075213090261\ 638791027828740080054291626468326765776818598243, c_0101_6^30 + 1/2*c_0101_6^29 - 365/4*c_0101_6^28 + 891/2*c_0101_6^27 - 931/2*c_0101_6^26 - 4563/4*c_0101_6^25 + 6839/2*c_0101_6^24 - 6580*c_0101_6^23 + 16389/4*c_0101_6^22 + 78241/4*c_0101_6^21 - 89369/4*c_0101_6^20 + 108017/4*c_0101_6^19 - 61847*c_0101_6^18 - 318159/2*c_0101_6^17 + 250211*c_0101_6^16 + 815333/4*c_0101_6^15 - 537707/2*c_0101_6^14 - 459579/4*c_0101_6^13 + 366745/4*c_0101_6^12 + 50102*c_0101_6^11 + 43509/4*c_0101_6^10 - 64173/4*c_0101_6^9 - 19787/2*c_0101_6^8 - 6421/4*c_0101_6^7 + 555/2*c_0101_6^6 + 1257*c_0101_6^5 + 1111/4*c_0101_6^4 + 269/2*c_0101_6^3 - 3/4*c_0101_6^2 + 5*c_0101_6 + 1/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB