Magma V2.19-8 Tue Aug 20 2013 16:18:13 on localhost [Seed = 2513701038] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2427 geometric_solution 5.77569341 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.225401007492 0.241884078197 2 0 3 0 0132 2310 0132 0132 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 0 0 -1 0 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.712630770517 1.970871260380 1 4 3 5 0132 0132 0213 0132 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 0 0 1 0 -1 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438254507691 0.594435477822 5 2 4 1 3201 0213 3201 0132 0 0 0 0 0 1 0 -1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.438254507691 0.594435477822 3 2 4 4 2310 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.522817684431 1.149224889875 6 6 2 3 0132 2310 0132 2310 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 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.327326155180 0.832120586833 5 6 6 5 0132 3201 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.873989659455 0.595381135720 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : d['c_0101_4'], '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_0101_3']), 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_3'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_5']), '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' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0011_3'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : negation(d['c_0101_4']), 'c_0110_1' : d['c_0011_3'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_3']), 'c_0110_4' : negation(d['c_0101_3']), 'c_0110_6' : d['c_0101_1'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : d['c_0011_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : negation(d['c_0011_3'])})} 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_5, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 1446661107107855079419173674649658627152437918851221859392719850676\ 896289174848164/140829785104619365950913275245486054485223199956948\ 21609356052072268999725448065*c_0101_4^33 + 5852510737693854456368948098950105975681149046281767174106402209218\ 909775317323642/140829785104619365950913275245486054485223199956948\ 21609356052072268999725448065*c_0101_4^32 - 1271268382012250476425616148808837713264455052220344794455849645716\ 2607961228153919/14082978510461936595091327524548605448522319995694\ 821609356052072268999725448065*c_0101_4^31 - 6549004198333307600924784957178260840161906552721910817912026292930\ 9503037358661457/14082978510461936595091327524548605448522319995694\ 821609356052072268999725448065*c_0101_4^30 - 5924631547961089353639697995368510388394750845932439753943401807140\ 120420317712743/108330603926630281500702519419604657296325538428421\ 7046873542467097615363496005*c_0101_4^29 - 3591699508222054870729163781242253818151882353259038203884432807738\ 9325348700165213/14082978510461936595091327524548605448522319995694\ 821609356052072268999725448065*c_0101_4^28 + 3813581139984070353582339308431904663177557529338924933722006077843\ 50465784745153538/1408297851046193659509132752454860544852231999569\ 4821609356052072268999725448065*c_0101_4^27 + 8076291922113474869838563422569073894789804336085109302043442270559\ 68933406209689327/1408297851046193659509132752454860544852231999569\ 4821609356052072268999725448065*c_0101_4^26 - 1903288344663210372087293146220055854308443200927912364398193735268\ 60890841855537918/2816595702092387319018265504909721089704463999138\ 964321871210414453799945089613*c_0101_4^25 - 2145623411337653910253970509378398180015296991997446016519158243348\ 180470380163309084/140829785104619365950913275245486054485223199956\ 94821609356052072268999725448065*c_0101_4^24 + 1801371973700280412763075530325272023725646842600351956755126798279\ 13175483999449661/1083306039266302815007025194196046572963255384284\ 217046873542467097615363496005*c_0101_4^23 + 1632809564426104609100724028369544834265430713665005850884154278514\ 39919779111976887/1280270773678357872281029774958964131683847272335\ 892873577822915660818156858915*c_0101_4^22 - 5071726348916561845647304006199688458807892787884584482327722863362\ 62531804293272896/2816595702092387319018265504909721089704463999138\ 964321871210414453799945089613*c_0101_4^21 + 2032778126605333777262090494342420358661257766652293579462662020437\ 80227993211598693/1280270773678357872281029774958964131683847272335\ 892873577822915660818156858915*c_0101_4^20 - 5078133526776169293718157449510107019023545328675911881495105742855\ 28482109770164689/1280270773678357872281029774958964131683847272335\ 892873577822915660818156858915*c_0101_4^19 + 3008383025836896028530555621025155301778380448679804791868048123816\ 68920897148845372/1280270773678357872281029774958964131683847272335\ 892873577822915660818156858915*c_0101_4^18 + 4255873219284535847911270094017183639527979637504581451487082966212\ 509352710685180524/140829785104619365950913275245486054485223199956\ 94821609356052072268999725448065*c_0101_4^17 + 1514085825335734934588333103532893764779256417156599406978023026507\ 9112545411755103594/14082978510461936595091327524548605448522319995\ 694821609356052072268999725448065*c_0101_4^16 - 1253213757712257019640657257403535537947937090842403829560220216576\ 2941698384700147065/28165957020923873190182655049097210897044639991\ 38964321871210414453799945089613*c_0101_4^15 + 6812623144331522182038626421708094501772203768539934333685522636438\ 4259846882866397296/14082978510461936595091327524548605448522319995\ 694821609356052072268999725448065*c_0101_4^14 - 1139581046473731224520590058049919893007004538470441237796006025850\ 672690165176091364/281659570209238731901826550490972108970446399913\ 8964321871210414453799945089613*c_0101_4^13 - 7187619223799755243268881019398431498189202483377730467618346433964\ 613418148875322386/281659570209238731901826550490972108970446399913\ 8964321871210414453799945089613*c_0101_4^12 + 1112538000190054470958131643452524293272552044341020182544766127612\ 276746331980315791/281659570209238731901826550490972108970446399913\ 8964321871210414453799945089613*c_0101_4^11 + 2898546370152408275558481487919534900357674932993436776805404911630\ 4220100337814872668/14082978510461936595091327524548605448522319995\ 694821609356052072268999725448065*c_0101_4^10 - 1487498354580048856754052177290531594130188870550146175858293961248\ 3657635594664848651/14082978510461936595091327524548605448522319995\ 694821609356052072268999725448065*c_0101_4^9 - 1571495048043771932418352069740070520235595691344939909352856221118\ 31155982998588026/2166612078532605630014050388392093145926510768568\ 43409374708493419523072699201*c_0101_4^8 + 9515042186035164067998116187721871594129380435003148033493456792785\ 94962443217210539/1280270773678357872281029774958964131683847272335\ 892873577822915660818156858915*c_0101_4^7 - 1972404905359803202600843337091724686153064651362499774144718046440\ 70604726408968660/2816595702092387319018265504909721089704463999138\ 964321871210414453799945089613*c_0101_4^6 - 1679221412521386979537515658790074932171507336245382733904814401313\ 241515274720241439/140829785104619365950913275245486054485223199956\ 94821609356052072268999725448065*c_0101_4^5 + 1241402749690629319076500453254040350381167752306162910133382683458\ 75843172486431308/1408297851046193659509132752454860544852231999569\ 4821609356052072268999725448065*c_0101_4^4 + 1458481504534013963708196288365819651690670265814020366454552374496\ 39412509511699374/1408297851046193659509132752454860544852231999569\ 4821609356052072268999725448065*c_0101_4^3 + 1109813010860045516833988231293170718367103213781012070159387501600\ 1928244067315979/12802707736783578722810297749589641316838472723358\ 92873577822915660818156858915*c_0101_4^2 - 5721416821695269153076053527891192588637736478515216312267159215819\ 046066800500738/140829785104619365950913275245486054485223199956948\ 21609356052072268999725448065*c_0101_4 - 1171405124859087924689548624237874670781280940199661454440987454811\ 4570018316253303/14082978510461936595091327524548605448522319995694\ 821609356052072268999725448065, c_0011_0 - 1, c_0011_1 + 102395759016914201950111128076554979844262347138211153606075\ 45114187883138591/9848236720602752863700229038145877936029594402583\ 7913352140224281601396681455*c_0101_4^33 + 4377513330921381733028135993155795761367202028872464918454595196682\ 1517256796/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^32 - 7848137271456003501209383136684156605638761167438935820301687522462\ 3772888212/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^31 - 4747813695429314895314565643030279864865319889381166454090198432222\ 82289354339/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^30 - 6626579232194560997127191215032232395492304862064049067492929426279\ 74203413519/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^29 - 4773982138326519797680557142044116569068303867401274482380919718381\ 86280232719/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^28 + 2468004841147899134758309456579224423095510155650262509202780218772\ 480017757614/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^27 + 6171365504760795377699224434344826895215383987921591714279908722316\ 535483561881/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^26 - 5005700657904220370344498912967954604639018811802849257022385554563\ 479558156723/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^25 - 1533038414878008619416720616785818547263111193390747882317767165912\ 7793331514419/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^24 + 1272476811322662847202601195473398269568422078353158283442827538899\ 8053924010262/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^23 + 1326022898770677856893166817640859474375970882624603099280404353451\ 2827934625077/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^22 - 1404376153214011159237071657390085161424675551387096537243333687276\ 6446351220626/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^21 + 1498493335306322288292401675785313192182507477198248669736075755607\ 1229276663493/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^20 - 3711254861957533912365149640114988068609412058052241977514926706756\ 4637135287709/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^19 + 1646796464045130392981434525573803606270658849678636493403384880073\ 6604222352084/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^18 + 2921052499522721920679949457745101035129508431291348802520693745824\ 7115327781623/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^17 + 1142628275584539957157402859820632916100366059766137249068268137552\ 11911292744063/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^16 - 4126817143893828152199327629422462169823251864405803984880329018365\ 87237983093899/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^15 + 4055658151476055830941154192855818261152934236188121369236592243512\ 98826994828372/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^14 + 1260014372009765319889874227281647638498488253761967732999531347739\ 249908648996/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^13 - 2183127178196833639905599811801830529977389757351462248948928603827\ 87039000312483/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^12 + 6286593986726506248496850301543706230505710652346954684937291719395\ 622900049824/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^11 + 3628197946985206692475049251726068515036800578727595458738047567199\ 5914357846057/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^10 - 7394223651680805141791710669895325104252709064095915114334569546821\ 0765469374597/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^9 - 1352885449617541419161677715256544197377226172937736264317944893851\ 6138478864407/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^8 + 5822036223974899780909958936937709848627880674127513397741517386880\ 8488442872659/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^7 - 3774202762129117157974103001823551375412981471719554124499980121448\ 028229292937/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^6 - 9282354512342236977011386630951066417071462077202674761252025584467\ 289372718074/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^5 - 4983433985384291795520287349455198946735769762385287578631957165414\ 2083827104/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^4 + 7562330940864341555366843684570050398697852244093295617518754099953\ 6750010997/19696473441205505727400458076291755872059188805167582670\ 428044856320279336291*c_0101_4^3 + 1226826961183897465846343600660580180524665724407184261211288565169\ 41501269681/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^2 - 8128188756446310093907690372286185985885536548230612490092263338136\ 3458155728/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4 + 1272519997290730146215590567118213\ 4507779532804693203777605012383762067190643/98482367206027528637002\ 290381458779360295944025837913352140224281601396681455, c_0011_3 + 173798353753061099683254380754432115089119375206419194159366\ 17572012896463071/9848236720602752863700229038145877936029594402583\ 7913352140224281601396681455*c_0101_4^33 + 6599297569938899078063166620027464372822677052421748455158260455321\ 0187526761/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^32 - 1708193971446594204702539009474733012450117887866766443552999855206\ 47486226327/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^31 - 7524976072467240710484492899882046531895859512041436516222658652440\ 55272525814/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^30 - 7295298994861046390003008767087127039108755003658308198053491924001\ 51477735984/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^29 - 1664021080101518273983783894771122575217377185011882291459715968772\ 83411276714/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^28 + 4776000449782195543773597773970540792145985609009988951483844944467\ 755850804024/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^27 + 8670525261952549278996821504211809660366199092290125237089706291699\ 991104642591/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^26 - 1392151162498793124770634754656572963931196948042766760110238738248\ 4621446845348/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^25 - 2352074285592362620121884630014174337619115940843847153727665926391\ 0055642090179/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^24 + 3420465910891972841216821451442957237457951008522138586491306177383\ 2313343548402/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^23 + 1581151080911389481102677998221768323526357851655618849857898689585\ 0802361246332/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^22 - 3513769167310674955612932575655549996113723321800420399709219315182\ 5982498803416/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^21 + 3279695278567389747707563875491300303360175986343745530804735913889\ 5118764850233/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^20 - 7423091507562017696647512722904860453660443204682099291723219103860\ 2694889848144/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^19 + 5649756367185669656940320626111648699517273091539839948413333133031\ 2566285529434/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^18 + 4217048895736034052011006468860657281958314816761335877247794736938\ 7686912472218/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^17 + 1714138853930786775591140901253073225976120835180719492978190244102\ 89382337876458/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^16 - 8006596148885046729402962960981532510912153078827325366845088758486\ 53608721523644/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^15 + 9958421862591517460213272646305592671921735753968337943852374904731\ 67108269689027/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^14 - 2582723495120735982288809401163711575904293299444560503382930783435\ 93116926049864/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^13 - 4031605040044419314908748592128715173455297589904863356882759939237\ 52635697438383/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^12 + 1430695408636679602318885068039321504389956696610736212546607398858\ 46937325140264/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^11 + 6809821779235116148065030376880714549739125512277417114007086826484\ 5729068191937/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^10 - 2482960315514434999224684368349792559617030838781958398217390197329\ 02632250214692/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^9 - 1724907108220223824060105980280319985382069440213763439482530119416\ 3290847896674/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^8 + 1450249843890689415776715469383902781806012919652504058860039600163\ 41438100429804/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^7 - 3505662135831476583315030983858180990929338640788287760682257052401\ 9160353937102/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^6 - 1428276759282091479529690233733704696159704095173366281104055644284\ 6169137961789/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^5 + 2772995511532186244162889953181078212821580894355801631586103486301\ 893390125996/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^4 + 3416466457627617823062518158052121204925012725088842532919374211992\ 88838264949/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^3 + 3387303268432008218894526082666282721874235154410606744917198288792\ 62821088318/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^2 - 2905086383122047268478095879640238114469743186808308709487403605588\ 40232258033/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4 - 132923495250697475947120535207635\ 879774639196360656367116638062357608643607977/984823672060275286370\ 02290381458779360295944025837913352140224281601396681455, c_0011_5 + 968769422353152877355127208882036221424782780568382339956913\ 339920736635666/196964734412055057274004580762917558720591888051675\ 82670428044856320279336291*c_0101_4^33 + 3906356800199214452094589440137216405625551882945752672753009409792\ 238385217/196964734412055057274004580762917558720591888051675826704\ 28044856320279336291*c_0101_4^32 - 8012481913824911380946323716113896732546586329074402445994374327204\ 352300171/196964734412055057274004580762917558720591888051675826704\ 28044856320279336291*c_0101_4^31 - 4137824895191558421881010395894939777228954345346134373176073034114\ 0509900442/19696473441205505727400458076291755872059188805167582670\ 428044856320279336291*c_0101_4^30 - 5514656698799034036164138739113438534486826817002614649077721610376\ 9939717212/19696473441205505727400458076291755872059188805167582670\ 428044856320279336291*c_0101_4^29 - 4870148918487788549486588724426558972280536240926037360507670920660\ 5426121003/19696473441205505727400458076291755872059188805167582670\ 428044856320279336291*c_0101_4^28 + 2192450672703322922414243199686649290899122542314504498171776787295\ 71723493864/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^27 + 5082433128045195183169525337504433770691781537260552604990329282083\ 49870992522/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^26 - 5159532033024629584498270182141284783696808905400232400744099858740\ 63329408586/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^25 - 1098737729048423618418416165212434038010147291638661468174712141695\ 308737456899/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^24 + 1334549150896184681352822360882397108169774522862443448570845584726\ 265391859772/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^23 + 3933312667550833115331720367505281904553240389954980054238508241484\ 81193929478/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^22 - 1068880439144831794500618338361812415967419370454010090206655389925\ 667266134779/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^21 + 2145117017320534682743805932149071011650168771929262315303793209746\ 581910551014/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^20 - 4409625047784781526921714970966264966390153634582045764982446198662\ 161306437965/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^19 + 3138797642911334920774932807117346510831050534437656703822628928476\ 741536948769/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^18 + 7114064185743312475880580020102157183061645779285348560670790536312\ 04975165062/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^17 + 1110234471137560941834185372734179385935594559976874741717921476830\ 5888203865020/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^16 - 4079468701545918777793295793735626493165460271681153990366382329344\ 7400845179768/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^15 + 5253210940960138957357979705162098650265459080174474384119221204334\ 4437297510078/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^14 - 2650664195357885405999699779843792422169203126386757074128476568858\ 7009574982189/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^13 - 1425790131486418812264192675976920405885612170378145731189686110747\ 415373614542/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^12 + 1192180633541148844569801665777846987451198856159443438324944815122\ 015825054179/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^11 + 1098191277589699505761739050879825226681127463344875006034745996409\ 4874006267975/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^10 - 1070700847238203252842546637754769325660437127995798079528922042877\ 7512312499334/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^9 + 1947560309003037368488138704845715865618731701558491842697539257114\ 413432479108/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^8 + 3219475322678575531640573000456253138351989316661447973366920280248\ 849876315734/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^7 - 3100163080856348491910365842754661045300938559354735837575105669831\ 832058452290/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^6 + 1292697992434745852607063849260355725620098028292829075110479287616\ 736380210949/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^5 - 3887044484179920014967796626994844070269984676793531512395168898925\ 41518449247/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^4 - 3595782373243827411500385432268061479419387390776359438688374649504\ 7660306267/19696473441205505727400458076291755872059188805167582670\ 428044856320279336291*c_0101_4^3 - 6067761663821353791475475317863478187968889671669038282045174362070\ 66213922/1969647344120550572740045807629175587205918880516758267042\ 8044856320279336291*c_0101_4^2 - 1112277339468529427009340519362750\ 0474969714112681432061005655433931693622877/19696473441205505727400\ 458076291755872059188805167582670428044856320279336291*c_0101_4 + 7038889116329772927971037170546442381446976030703425322910504103749\ 978594563/196964734412055057274004580762917558720591888051675826704\ 28044856320279336291, c_0101_1 - 563360175552051803765818279458040427261395204106576187965049\ 8672807534288364/98482367206027528637002290381458779360295944025837\ 913352140224281601396681455*c_0101_4^33 - 1814433022890278881386098896550739181144632898345429206330238004626\ 4235395444/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^32 + 7063987577151211127087625994689329751085344804643197548758376466766\ 3119101558/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^31 + 2248701101944579991757939502448471364962893015887171856184555559522\ 73920531706/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^30 + 7479856670986242174182343731171079473282142569775044068837633905611\ 0140658556/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^29 - 2201533627917708282808649491146054384174814287716311513540076044183\ 13747372944/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^28 - 1784504504387741696354846648801105156230996972545803308701235421107\ 978367599261/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^27 - 2082719073406419250548773154395183314571864620660100327441109261111\ 129677398374/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^26 + 6814858119120412622261694269803978691429918254176708686628997740201\ 276499852712/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^25 + 6854323399887333244692572897898158691202674199752232463562623084586\ 837628488671/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^24 - 1670244645351582863746364344044429976901352615233138496428662347144\ 3253702426183/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^23 - 3173740422051110816472703893266974977517387361543772765459753427098\ 763149212303/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^22 + 1748402524444701493280216444357943001869249535078230746929487265902\ 2765981806999/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^21 - 1324801001736849379940969450961792961751240517801850370404480240323\ 3298801405512/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^20 + 2676196777025493043659715742465767289491952670746143175194242902552\ 9803252173271/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^19 - 2814073293378856426305223647611107353369553012002776652535866288092\ 8245777674021/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^18 - 1359030014967429367504728606439267141968136835030490750100786655906\ 8257616226512/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^17 - 4370451701269782796215278597075650634170136840993630409262244255127\ 6458348555237/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^16 + 2997389932732978516135559495709619217201243881013531186773840728512\ 53677449787206/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^15 - 4383239621958305486309347708901663818048114431498069125923711411369\ 84210604436223/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^14 + 1548904719504072735942774596257877279915836891329169453236623714758\ 98431143815121/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^13 + 1890657690903241597285470484820030968017519528089697672395654435312\ 48907531311217/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^12 - 1169384561957116158485338608274867310957626525727900475319610639350\ 40560517948946/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^11 - 2766197721523003998029842242264260881154513167837827352465421886591\ 6439036849671/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^10 + 1376650318318857829917817045886706074410205797771329672733341719607\ 04787660792573/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^9 + 6276857835514680904817777018768671604623356483651279829227934801718\ 036135995194/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^8 - 7891548948486582500417657466590209744185255433137993237549145492950\ 1152566743461/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^7 + 1971331761833610979971644932900778587758620935928592455114446179666\ 5351189078138/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^6 + 1145941609436408570190170915238527225772232785379244495210221416975\ 9673895543616/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^5 - 3926254258906838757383360826535967471958579337517218460545489546354\ 633484088014/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^4 - 3692955059630531202186685248011320102840883538970816928204080412177\ 63479927387/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^3 - 1457856795913094266091321566360696750277547169977767077920608509578\ 74401283738/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^2 + 4248385421553010344352472599231997465418267904594993048440799547813\ 19299882572/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4 + 114907161373552338521581301224295\ 702656774613085653957516646070529589157387513/984823672060275286370\ 02290381458779360295944025837913352140224281601396681455, c_0101_3 - 111144110651607545793792866983576359922542434927605311313671\ 51790324633466633/9848236720602752863700229038145877936029594402583\ 7913352140224281601396681455*c_0101_4^33 - 4387489823299604923133221004422606487937105453206579633886996033380\ 0564485088/98482367206027528637002290381458779360295944025837913352\ 140224281601396681455*c_0101_4^32 + 1001357320362511806668441152393415362526178033864011228495652088664\ 59060468311/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^31 + 4855123433915972212154777263140967603916242963643469233906837853621\ 39738027307/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^30 + 5580482387558752520831496434731457009839760849247568521019843445594\ 69984340812/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^29 + 3055029148233569867919221503911936751852987270195180827463583029132\ 03419148082/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^28 - 2839778720950958511011846078184736005174434220424333344028006074393\ 324905867202/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^27 - 5834192843448102387905283833186214394199237729844794941237124453685\ 005959307543/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^26 + 7448136067475779694261648653178213604329076042262490759769327771851\ 301459553719/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^25 + 1465454594483058499432247107669438646792794519931821454760516430456\ 8058510334237/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^24 - 1857253012866047925203703974823291653650843442187687751077882925451\ 5358770949116/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^23 - 9315768957416289961011311458693173375581628148039888340987590651154\ 165936840446/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^22 + 1826167032068445278618458259193784924448675538650375815210834114375\ 1472921783878/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^21 - 2112487571375658249481563125323663871850890957730252351866472415362\ 3748858008369/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^20 + 4710227877775177241787291269029401579972127313117922165243995742460\ 3193680152202/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^19 - 3287638802510713332075316609301577101662113936543802468622853746641\ 1556110882157/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^18 - 2240698851482216201702593960271036340516532042568146667007855981116\ 3582386420079/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^17 - 1173888237614952047885932164481466694707435015167930443651899699016\ 14354469475444/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^16 + 4884086703366532564825356948187612870510586827855174888453903429357\ 98844940209212/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^15 - 5923434244212565159976941747198025123526260876990754951326742193503\ 20192267652461/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^14 + 1752238272911716643071539303545372425979337986493656570521072180783\ 13224916675712/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^13 + 1846465048372616947364576079821862825318241195220496917073954000972\ 66924156293444/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^12 - 5270361235179966761891916512503861747138846350160142983570339241720\ 8219859303052/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^11 - 3781103877284259618214602576132315814619582470367885418365025381519\ 5503452687122/19696473441205505727400458076291755872059188805167582\ 670428044856320279336291*c_0101_4^10 + 1344154911210307540094937525033504317987466203304488042086960542500\ 82458026135491/9848236720602752863700229038145877936029594402583791\ 3352140224281601396681455*c_0101_4^9 + 7494679145831994139241010992576201571521991024050947562285210254981\ 235302525418/196964734412055057274004580762917558720591888051675826\ 70428044856320279336291*c_0101_4^8 - 7237540504545426988012489923015261882173169870236934366095757541649\ 7442874765172/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^7 + 2276965521761390459725064842003876436060143410992656899255935641836\ 0351295101846/98482367206027528637002290381458779360295944025837913\ 352140224281601396681455*c_0101_4^6 + 2718439154024278513053141777192899557892097553199203540074062474172\ 523834785787/984823672060275286370022903814587793602959440258379133\ 52140224281601396681455*c_0101_4^5 + 7660962070138787550014278084768686989314339110933790156639988701005\ 94751104892/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4^4 - 2197130355051775230610632747362866976212124340903498692168427319234\ 42456301860/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^3 - 1178905510434660186858679128888078524317529172186142836810495105453\ 07166389100/1969647344120550572740045807629175587205918880516758267\ 0428044856320279336291*c_0101_4^2 + 2076520282639817498457135687628633424105148240675997165045817560943\ 17636735339/9848236720602752863700229038145877936029594402583791335\ 2140224281601396681455*c_0101_4 + 752761808802635720845393925383789\ 1895515499494098066503836970212773215945491/98482367206027528637002\ 290381458779360295944025837913352140224281601396681455, c_0101_4^34 + 4*c_0101_4^33 - 9*c_0101_4^32 - 45*c_0101_4^31 - 51*c_0101_4^30 - 21*c_0101_4^29 + 267*c_0101_4^28 + 548*c_0101_4^27 - 690*c_0101_4^26 - 1473*c_0101_4^25 + 1695*c_0101_4^24 + 1218*c_0101_4^23 - 1830*c_0101_4^22 + 1570*c_0101_4^21 - 3905*c_0101_4^20 + 2442*c_0101_4^19 + 2925*c_0101_4^18 + 10327*c_0101_4^17 - 43900*c_0101_4^16 + 48720*c_0101_4^15 - 5043*c_0101_4^14 - 25330*c_0101_4^13 + 4450*c_0101_4^12 + 20537*c_0101_4^11 - 10952*c_0101_4^10 - 7141*c_0101_4^9 + 7544*c_0101_4^8 - 710*c_0101_4^7 - 1215*c_0101_4^6 + 74*c_0101_4^5 + 128*c_0101_4^4 + 90*c_0101_4^3 - 8*c_0101_4^2 - 11*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB