Magma V2.19-8 Tue Aug 20 2013 16:19:03 on localhost [Seed = 627357776] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3206 geometric_solution 6.35347156 oriented_manifold CS_known -0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.429592250688 0.335063733836 2 0 3 0 0132 2310 0132 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 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 1.123078417614 0.793791754576 1 4 5 6 0132 0132 0132 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 0.779149426582 1.146576830855 6 5 4 1 3201 1023 1023 0132 0 0 0 0 0 -1 1 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.779149426582 1.146576830855 4 2 3 4 3201 0132 1023 2310 0 0 0 0 0 0 0 0 1 0 -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 1 0 -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.243411684594 0.667636911391 3 5 5 2 1023 3201 2310 0132 0 0 0 0 0 1 -1 0 1 0 -1 0 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.082414044975 0.747610721344 6 6 2 3 1302 2031 0132 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 0.516840085249 0.760915100774 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_3'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0011_1'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : negation(d['c_0011_6']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_4']), 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_4'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_6']), 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : d['c_0101_0'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_4'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0101_0'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_0, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t - 4777042119474326817972595592382087766807172635893342505278839/55487\ 59602015030364088619564745776487338914750527128527*c_0101_4^30 - 45984490034516401031123442908077930406093169756731492082629419/5548\ 759602015030364088619564745776487338914750527128527*c_0101_4^29 + 95410561458700605215431079029992650342816138070008484954124153/5548\ 759602015030364088619564745776487338914750527128527*c_0101_4^28 + 728529623723397166284117651666825278181435611911761673145288865/554\ 8759602015030364088619564745776487338914750527128527*c_0101_4^27 - 886192414891599227650695375963854021778234576107465447143077722/554\ 8759602015030364088619564745776487338914750527128527*c_0101_4^26 - 4629748227601506009199605174413682580052203613661426601014178878/55\ 48759602015030364088619564745776487338914750527128527*c_0101_4^25 + 4610697580291643821983891117176350945939584230225892442831593796/55\ 48759602015030364088619564745776487338914750527128527*c_0101_4^24 + 15928579793622488452438992344896635997767005823015668752468110830/5\ 548759602015030364088619564745776487338914750527128527*c_0101_4^23 - 9947079092361517319740055503511663246824798239741445666912681295/55\ 48759602015030364088619564745776487338914750527128527*c_0101_4^22 - 29531697186160018650909643870932928560553346420431798585003050571/5\ 548759602015030364088619564745776487338914750527128527*c_0101_4^21 - 7526861135262059342900144208206591258928920475026727283906194695/55\ 48759602015030364088619564745776487338914750527128527*c_0101_4^20 + 18529197663918825059693097083089540865848541018975791330163006272/5\ 548759602015030364088619564745776487338914750527128527*c_0101_4^19 + 78370792787128023470299028511295858755550742828688766825943108356/5\ 548759602015030364088619564745776487338914750527128527*c_0101_4^18 + 18133969064473448605422038197578803898353612671114778254640739031/5\ 548759602015030364088619564745776487338914750527128527*c_0101_4^17 - 183936097216740463635105528516642510692413303357917605671249468602/\ 5548759602015030364088619564745776487338914750527128527*c_0101_4^16 - 44016387397548517937720258560747503745134689641252078526964084261\ /5548759602015030364088619564745776487338914750527128527*c_0101_4^1\ 5 + 236803802534178266145735382165819338738911827991049875085004758\ 434/5548759602015030364088619564745776487338914750527128527*c_0101_\ 4^14 + 516193118254059034312743337636647599492825820179528231520066\ 85044/5548759602015030364088619564745776487338914750527128527*c_010\ 1_4^13 - 1815103004801469849306243231092703177065276305540401463013\ 38396212/5548759602015030364088619564745776487338914750527128527*c_\ 0101_4^12 - 4039534757701737295874819842774298863224895854316584047\ 9236924382/5548759602015030364088619564745776487338914750527128527*\ c_0101_4^11 + 96361134679384166261956704685698485403864304925277276\ 958761116383/554875960201503036408861956474577648733891475052712852\ 7*c_0101_4^10 + 256401650132132027874396257261426704279616506367296\ 04472741909617/5548759602015030364088619564745776487338914750527128\ 527*c_0101_4^9 - 36150509213941344453819793675702594935980164694926\ 183343259077655/554875960201503036408861956474577648733891475052712\ 8527*c_0101_4^8 - 1041118400346790036299140445287896807832132954214\ 6511522949285575/55487596020150303640886195647457764873389147505271\ 28527*c_0101_4^7 + 896105567983467911416388494132172959646021924539\ 4476934338990955/55487596020150303640886195647457764873389147505271\ 28527*c_0101_4^6 + 199479791100097133691566326393257975750968648447\ 2578052495186057/55487596020150303640886195647457764873389147505271\ 28527*c_0101_4^5 - 145535283774549716391173458066937946283210337847\ 9215205534744374/55487596020150303640886195647457764873389147505271\ 28527*c_0101_4^4 - 991423150437526395454087487914538116333137313526\ 89241519100565/5548759602015030364088619564745776487338914750527128\ 527*c_0101_4^3 + 15297371847287689672200197482824867727819609496482\ 6680387205483/55487596020150303640886195647457764873389147505271285\ 27*c_0101_4^2 - 455074597712945931396466038683686756844976704758084\ 9608936297/5548759602015030364088619564745776487338914750527128527*\ c_0101_4 - 76317860726849428926167908428846552634758029408676836044\ 07644/5548759602015030364088619564745776487338914750527128527, c_0011_0 - 1, c_0011_1 - 437344471905928910283886487558448903910067291280089429/62345\ 613505786858023467635558941308846504660118282343*c_0101_4^30 - 4148355552783475817361113105002547670000076569933604912/62345613505\ 786858023467635558941308846504660118282343*c_0101_4^29 + 9320653939809416005938680968212072051604738863533869181/62345613505\ 786858023467635558941308846504660118282343*c_0101_4^28 + 65411956410730469624562227576512926118796423627385789070/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^27 - 90258181293731044920654253251000427461482325000965190079/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^26 - 411594664834664818717897916224792077021333128765960892198/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^25 + 478556617762814285843124485319935965346778234383926164915/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^24 + 1394162220484911275307432296576005572985455097705438310787/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^23 - 1097230084913638598177596046160633474854529348104128113941/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^22 - 2562905285550098398274350595928183924928887809983483018426/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^21 - 362812698926497174076062704606495571477659869419779340155/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^20 + 1771226705704806503159512389862438617607497800406150584949/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^19 + 6993468859357843988520612184170242275512458592523204775264/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^18 + 706176417542464424137382062512661437792829251942634723667/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^17 - 16986031737407391488541673630143920247911899694255463321608/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^16 - 1832559951150139763185495074720024869477232803878567082408/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^15 + 21909205120924940425398304498898367579939189427108357868149/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^14 + 2038181901604174392245567809017252131870130824270467962511/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^13 - 16814041340448903359890919043311577980829814763394219560618/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^12 - 1790719169064962377442908795661347610800703251669725668683/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^11 + 8948936985281859011380165590833060940758884218399927432226/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^10 + 1389732085149281208908315131639649602126127497625003915929/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^9 - 3414960122636454553579643195989954445313116141214973072629/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^8 - 615075826128141836125574062011045611670536677227569125348/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^7 + 853334994771505188125929660693800099782522506103085150707/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^6 + 105249913316659292725902132751282775675998488330185513232/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^5 - 131395984840669843928493807431971884188680830370091716160/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^4 + 1522364068258003042751199857567612999166805067539800224/62345613505\ 786858023467635558941308846504660118282343*c_0101_4^3 + 12097762622950796150813630749081026192423517738215571193/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^2 - 924793116231621523414418216079495054459884123079558082/623456135057\ 86858023467635558941308846504660118282343*c_0101_4 - 528726688209350589174214986739753854799213193548707479/623456135057\ 86858023467635558941308846504660118282343, c_0011_3 - 253996610683971451461044872647464830407451216618530288/62345\ 613505786858023467635558941308846504660118282343*c_0101_4^30 - 2486848615854257542264132078270157499124355279387421437/62345613505\ 786858023467635558941308846504660118282343*c_0101_4^29 + 4689380707575027378030778540570425897627382862904875670/62345613505\ 786858023467635558941308846504660118282343*c_0101_4^28 + 39751776781691608131909145294828435735049065464568941068/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^27 - 41158451376380598156610726658192067998651432366447840176/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^26 - 256730910950017982378286487963040551594111806553339068702/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^25 + 208733373121347364916380522981837789859569266246180071731/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^24 + 904614759049503469546446397538913844362546620507145401210/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^23 - 411291603848606048794223804555136567986348438427297959312/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^22 - 1714312297828061333021894628068585625766506920348888411374/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^21 - 608389455732102068161129649963485092672528487028950300289/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^20 + 1020061627986309188542490654340098425101976052462131253853/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^19 + 4340954937331527763021067059264802263418163654805465094877/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^18 + 1584473560970803340533759559889777264644699327537198919115/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^17 - 9915448712949396541836037446158198216078552289665097478331/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^16 - 3963705077010975832433504706901754796891323751112807257822/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^15 + 12911274532560794056504509929383243331029063827160675115375/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^14 + 4830665182248300371785839331183741746208315218098040193497/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^13 - 10080362983998703358816729804833031492678671802612126810944/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^12 - 3733332088199437522646999347054422763147557059182437004860/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^11 + 5415210875785684206699357855224772261328834328894310190530/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^10 + 2206812048824048893733011535340648671452477852939885505256/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^9 - 2028712888769752126512497487517250543051031417253196297429/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^8 - 885571769123265100606777995462069545644637743519679277325/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^7 + 506734641807484670249874383725006492713508017668854691281/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^6 + 190729032802197155471401877073979646840733902524877635566/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^5 - 88841924596273509156211253789598603484495627082688326523/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^4 - 16737688519248983150109103954838254835822958232701136736/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^3 + 11128868393290107275691131969567399416432917926972030585/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^2 + 238994806524602890942753387262223160629186573866134216/623456135057\ 86858023467635558941308846504660118282343*c_0101_4 - 647919261669082118875687997439706304864314280360582550/623456135057\ 86858023467635558941308846504660118282343, c_0011_6 - 1221423257034762409844763546246291493510457939114785448/6234\ 5613505786858023467635558941308846504660118282343*c_0101_4^30 - 11676262213209504594000102203538854926594489074773105835/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^29 + 25188252012222563453993275579632253224525782798901086099/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^28 + 184769712738989102033747128118765827798774607347223675830/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^27 - 238982794202058648572559259589568019978478611961589139813/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^26 - 1170581230337425272934249945022543478101470469731017402986/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^25 + 1256294936834865899268729219698661374258199132897871887132/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^24 + 4006920997901609718014263167936487506767453391763212663862/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^23 - 2803552541570557474638847917348218111731539124311332743954/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^22 - 7428838140119085406829295364079322643062538187322042457418/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^21 - 1471196424961015227722621293091972686733524820814757158434/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^20 + 4947768130306306341269649566023848545578428271272362638474/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^19 + 19861310214816499029075556164139417080367059036978173639230/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^18 + 3340274544251682627144183042015080085153796659914137648168/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^17 - 47538126812620472327653647372433145925816510678643477838770/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^16 - 8507617653999873679440702962886398212173973688596163654228/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^15 + 61492227568036378290424090171976119837702312893336549378657/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^14 + 9945243691035909594395624327142380137920745435707777844443/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^13 - 47419204272829715227842411274691039638193057745836448185449/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^12 - 8132561134403969460030408774323183624316377933377513552069/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^11 + 25301342928606007766107035077628529301863790348674819776172/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^10 + 5501394557438677777355570889798668940217532609418169002594/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^9 - 9614735929408435754456206557872481564038013736719611090615/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^8 - 2328093807035198696402438134223401096508152876009874665999/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^7 + 2403655310543683895490577033001222211853453943001329552854/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^6 + 441458147167520245081357041756861089177277991099168632575/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^5 - 383018771814658940244559228866648758374319038053778991400/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^4 - 15059001592127592735068799773886540407922865429635673199/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^3 + 38757939533979172308535191098935024626073473261155578698/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^2 - 1773708630067717943960790983460703505856645790110700857/62345613505\ 786858023467635558941308846504660118282343*c_0101_4 - 1928064378916838274106332586203156176624812672113717717/62345613505\ 786858023467635558941308846504660118282343, c_0101_0 - 592832998984738548869814885527865787916057628144107000/62345\ 613505786858023467635558941308846504660118282343*c_0101_4^30 - 5719836166613148441567080955764827230581296106039156457/62345613505\ 786858023467635558941308846504660118282343*c_0101_4^29 + 11736786357683613860445756987155602330503268258682785419/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^28 + 90891290567004534074784207864676876519485762776203103118/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^27 - 108436310694332112790637480008780303671311157005311141039/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^26 - 580389083579621224533158056987491563951821916892178185593/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^25 + 563793290214673013325974277687224277094636389177167915942/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^24 + 2010478716569015734882697848533138000215700707121356570416/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^23 - 1213044818217788392522100199879398924117239656197233570728/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^22 - 3762131771388474234848749898968834698530039601145650773759/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^21 - 967857102036834060057368079107004143973570344209023514853/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^20 + 2401021666929134181813203360836427441241642382673139172116/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^19 + 9813035325402075870458183871730145467563541121944263527050/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^18 + 2402619910561984363463690914442180143356218326435941536659/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^17 - 23133395447241257852180438040439857841125504894548116882323/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^16 - 6044213962449875103287455743192423954884799504521762998708/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^15 + 30068232607222771313661863670903713856596995432181743084711/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^14 + 7189922691458001571601464122344183514533244494707205638039/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^13 - 23354357882339810711752731782204134294222357431996540566195/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^12 - 5644945698775906451022613637213479016063111617353783531212/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^11 + 12525824786261837228229059031202455438570928633937675690208/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^10 + 3538353236732871716387192141412552927522783168115790551940/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^9 - 4749881192813493713234818113776147941534762851289769236625/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^8 - 1453937046483753809297136458713673949979298886567826995947/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^7 + 1197281276104834806219899328787852152581197065109019285119/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^6 + 292640315107517759130800700935575097914787395954152270358/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^5 - 199643759490894401995707264805984303868993684861873955839/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^4 - 17498818026902572336685314520995236176256333791402041014/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^3 + 21735797336904306177311499351546403062359284070328007383/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^2 - 549918679810652201855821803250121602259864058910621378/623456135057\ 86858023467635558941308846504660118282343*c_0101_4 - 1097280169109041784932939444410170096268939328867495111/62345613505\ 786858023467635558941308846504660118282343, c_0101_3 + 1336992077201700826908649963904461012979094818446727895/6234\ 5613505786858023467635558941308846504660118282343*c_0101_4^30 + 12817007479944140941738726733827991706412244013855247074/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^29 - 27233887346818192722985909962979679080862052774775424347/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^28 - 203046488880651263215265589558044722989994318517909122218/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^27 + 256337017365419299952145739314900642967147460263692651735/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^26 + 1289178854761378409004983425549072836588164167095682844169/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^25 - 1342764979858313245684045714460061311322999713633199740152/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^24 - 4427726689832694870886219135837903974344349752873512875567/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^23 + 2962498184514394005502239478121120490340827098865080969075/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^22 + 8228169809246815510121646395113545458189034300590343301823/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^21 + 1797536037391083610799593100990400693346627769003318919967/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^20 - 5396082729551756469264023485909725712887431340348353390896/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^19 - 21863679687649672295812337721654061506379738748296127841940/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^18 - 4209480663500440485494526813723885284801982400193959015946/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^17 + 52022137989296311601018809544911947563224428770130733423099/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^16 + 10637598085293747022307632529932278889580993663624002521137/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^15 - 67311409865337986443215663814378690193540408178487431681690/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^14 - 12531661749089425034183070953398792582157098004595546010973/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^13 + 51935366594039192109454207216274642473880690367419783970373/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^12 + 10102389428492729687307345034904552023328823941561656355006/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^11 - 27703324288525102773814362702201359220983995775219691234894/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^10 - 6641832486608195648889344798957368023837740463896307642561/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^9 + 10497649955293588367183562397425026150731163969374230622000/6234561\ 3505786858023467635558941308846504660118282343*c_0101_4^8 + 2778413081212828784817328104251011386511393955099461334681/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^7 - 2618836349226453818907161810838098197214651012985092839149/62345613\ 505786858023467635558941308846504660118282343*c_0101_4^6 - 538217313330491181394799349631745125245756659334071385632/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^5 + 420529281845301715674840970564346619844888164471864869227/623456135\ 05786858023467635558941308846504660118282343*c_0101_4^4 + 24334133849699955741594927570918501979192088547743533090/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^3 - 43583277813690941433069248744246592176969596332927281852/6234561350\ 5786858023467635558941308846504660118282343*c_0101_4^2 + 1479002323713128065383556527698624147757540324559560633/62345613505\ 786858023467635558941308846504660118282343*c_0101_4 + 2185907591037797247455022731285669464375856485477870670/62345613505\ 786858023467635558941308846504660118282343, c_0101_4^31 + 9*c_0101_4^30 - 26*c_0101_4^29 - 140*c_0101_4^28 + 281*c_0101_4^27 + 853*c_0101_4^26 - 1572*c_0101_4^25 - 2730*c_0101_4^24 + 4170*c_0101_4^23 + 4878*c_0101_4^22 - 2295*c_0101_4^21 - 4865*c_0101_4^20 - 13977*c_0101_4^19 + 6476*c_0101_4^18 + 40880*c_0101_4^17 - 14895*c_0101_4^16 - 55338*c_0101_4^15 + 20233*c_0101_4^14 + 44759*c_0101_4^13 - 15335*c_0101_4^12 - 25464*c_0101_4^11 + 7263*c_0101_4^10 + 10927*c_0101_4^9 - 2559*c_0101_4^8 - 3240*c_0101_4^7 + 757*c_0101_4^6 + 566*c_0101_4^5 - 170*c_0101_4^4 - 45*c_0101_4^3 + 21*c_0101_4^2 + c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB