Magma V2.19-8 Tue Aug 20 2013 16:18:11 on localhost [Seed = 2581071011] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2405 geometric_solution 5.76290729 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 1 0 0 2 0132 1230 3012 0132 0 0 0 0 0 -1 0 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.376104249404 0.763156484209 0 3 2 4 0132 0132 1302 0132 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 1 0 0 -1 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.505483184884 0.607594594571 1 4 0 3 2031 2310 0132 2310 0 0 0 0 0 0 -1 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 -1 1 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.505483184884 0.607594594571 2 1 5 5 3201 0132 0132 2310 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 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.761563781116 1.750273393454 6 6 1 2 0132 2310 0132 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 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.034011612730 0.847287497238 3 5 5 3 3201 1230 3012 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.249487001509 0.320479757887 4 6 6 4 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.752325268317 0.783130819721 ==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_4']), 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : negation(d['c_0011_2']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_2']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0101_5']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_2']), 'c_0101_1' : negation(d['c_0011_2']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(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' : d['c_0011_2'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_2']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : negation(d['c_0101_3']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : negation(d['c_0101_5']), 'c_0110_6' : d['c_0101_0'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_0']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : d['c_0101_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_2, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0101_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 2303468032150118482396101078621610176/83292821284439950725071175036\ 918527*c_0101_5^29 + 116718025453414128676871372913631396554/416464\ 106422199753625355875184592635*c_0101_5^28 + 218787512901197736869543563210046276568/416464106422199753625355875\ 184592635*c_0101_5^27 - 235472662352084906087862705420206740022/832\ 92821284439950725071175036918527*c_0101_5^26 - 4256376085903714471845569433989684536158/41646410642219975362535587\ 5184592635*c_0101_5^25 + 1218300058838426534331528552400592835581/4\ 16464106422199753625355875184592635*c_0101_5^24 + 17538581736203986582097626405209493211587/4164641064221997536253558\ 75184592635*c_0101_5^23 + 8646619579190023639109378490769607767306/\ 416464106422199753625355875184592635*c_0101_5^22 - 31717208616997555579954962500776492861193/4164641064221997536253558\ 75184592635*c_0101_5^21 - 1270335329575337960504948208451052308186/\ 37860373311109068511395988653144785*c_0101_5^20 + 93544338090332957032254783577555832672521/4164641064221997536253558\ 75184592635*c_0101_5^19 + 62031666490637239055432913935777609080687\ /416464106422199753625355875184592635*c_0101_5^18 - 238258252265018761176629443252243657817733/416464106422199753625355\ 875184592635*c_0101_5^17 - 7541989349002628983170089387219262336514\ 4/83292821284439950725071175036918527*c_0101_5^16 + 8403670207778174325156200496495632721017/59494872346028536232193696\ 454941805*c_0101_5^15 + 628657891804995317046436499095985590423403/\ 416464106422199753625355875184592635*c_0101_5^14 + 48824391815579421149137657657972291105026/3786037331110906851139598\ 8653144785*c_0101_5^13 - 14929452110641132575997218970004745594241/\ 37860373311109068511395988653144785*c_0101_5^12 - 48336087404755213395592680183810947718131/3203570049401536566348891\ 3475737895*c_0101_5^11 - 56250787309055949189141596870147578857958/\ 59494872346028536232193696454941805*c_0101_5^10 + 8223795874667954683308400449148058837187/32035700494015365663488913\ 475737895*c_0101_5^9 + 298738162221122262401748305044804880527186/4\ 16464106422199753625355875184592635*c_0101_5^8 + 151072482794208865400446141072560309105759/416464106422199753625355\ 875184592635*c_0101_5^7 - 25691841513032797541626111472753452631619\ /416464106422199753625355875184592635*c_0101_5^6 - 65604279602243878864713172906767268014269/4164641064221997536253558\ 75184592635*c_0101_5^5 - 27323033785064373234761961180396524877082/\ 416464106422199753625355875184592635*c_0101_5^4 + 1273819758083963302194010783431429251652/41646410642219975362535587\ 5184592635*c_0101_5^3 + 4964180620580163007101123678024534773352/41\ 6464106422199753625355875184592635*c_0101_5^2 + 128070115798810349507791363715681334511/320357004940153656634889134\ 75737895*c_0101_5 + 179623545002041782415222534948270300177/4164641\ 06422199753625355875184592635, c_0011_0 - 1, c_0011_2 - 11248927480724504333675210256595201/653789806000313584969161\ 499504855*c_0101_5^29 - 25882875721256974008228045574807407/1307579\ 61200062716993832299900971*c_0101_5^28 - 363512690859233784788386176950512801/653789806000313584969161499504\ 855*c_0101_5^27 + 977316815350363900892967686230227122/653789806000\ 313584969161499504855*c_0101_5^26 + 6501249304104321491835921140833866247/65378980600031358496916149950\ 4855*c_0101_5^25 + 1156753468020841467586856640464803253/1307579612\ 00062716993832299900971*c_0101_5^24 - 25265006699994339558283760400471479898/6537898060003135849691614995\ 04855*c_0101_5^23 - 12584752659992517207018891173973782091/13075796\ 1200062716993832299900971*c_0101_5^22 - 1327444976502678692946018886379535815/13075796120006271699383229990\ 0971*c_0101_5^21 + 14802513179139954358420428142572984503/594354369\ 09119416815378318136805*c_0101_5^20 + 42935833503974845318840146598640028005/1307579612000627169938322999\ 00971*c_0101_5^19 - 64052312448521509943406321438398909352/65378980\ 6000313584969161499504855*c_0101_5^18 - 412435844020829417352843249226977677054/653789806000313584969161499\ 504855*c_0101_5^17 - 327372722070825270599917503924013967286/653789\ 806000313584969161499504855*c_0101_5^16 + 35321331422182118030754265146316750386/1307579612000627169938322999\ 00971*c_0101_5^15 + 99545960193592391314663890089257888411/13075796\ 1200062716993832299900971*c_0101_5^14 + 24449415175185462277326385674194741742/5943543690911941681537831813\ 6805*c_0101_5^13 - 15936302915859446476440005205830161586/594354369\ 09119416815378318136805*c_0101_5^12 - 64445361105116943459641159074685788278/1307579612000627169938322999\ 00971*c_0101_5^11 - 128280893399589366383339709602385026447/6537898\ 06000313584969161499504855*c_0101_5^10 + 82911312339582186519835396631091657604/6537898060003135849691614995\ 04855*c_0101_5^9 + 112533574441829874313851606187022438137/65378980\ 6000313584969161499504855*c_0101_5^8 + 35156487461857503805714562793872878323/6537898060003135849691614995\ 04855*c_0101_5^7 - 18170733688654938721348317732316239421/653789806\ 000313584969161499504855*c_0101_5^6 - 19304867886098298994662251790374743929/6537898060003135849691614995\ 04855*c_0101_5^5 - 5025515225172557226010971177798795049/6537898060\ 00313584969161499504855*c_0101_5^4 + 1299335179137174191271637294373666443/65378980600031358496916149950\ 4855*c_0101_5^3 + 1179278168411472125445240718357659994/65378980600\ 0313584969161499504855*c_0101_5^2 + 293367548622219777180696498357495606/653789806000313584969161499504\ 855*c_0101_5 + 25174021361276065890042670414961921/6537898060003135\ 84969161499504855, c_0011_4 - 12751635233969161183778395810760112/653789806000313584969161\ 499504855*c_0101_5^29 - 29314669131303359270380072893086537/1307579\ 61200062716993832299900971*c_0101_5^28 - 410135361797442431284269767812322442/653789806000313584969161499504\ 855*c_0101_5^27 + 1116312755483330997606924949823542559/65378980600\ 0313584969161499504855*c_0101_5^26 + 7363144429938296471973115452960097969/65378980600031358496916149950\ 4855*c_0101_5^25 + 1284150710238659663187404663098521288/1307579612\ 00062716993832299900971*c_0101_5^24 - 28868233405723516815342932907797407776/6537898060003135849691614995\ 04855*c_0101_5^23 - 14164100331759274848699008296480829463/13075796\ 1200062716993832299900971*c_0101_5^22 - 1139798356738828672567512263255656655/13075796120006271699383229990\ 0971*c_0101_5^21 + 16823012939114721727769931006535022676/594354369\ 09119416815378318136805*c_0101_5^20 + 47703287145482376806593897252618654623/1307579612000627169938322999\ 00971*c_0101_5^19 - 79381096802425633136623186049821173309/65378980\ 6000313584969161499504855*c_0101_5^18 - 464573247319373597801666924827355877813/653789806000313584969161499\ 504855*c_0101_5^17 - 356428719606602991538957372615919942177/653789\ 806000313584969161499504855*c_0101_5^16 + 41901783769868023069837310083752698604/1307579612000627169938322999\ 00971*c_0101_5^15 + 110825607424324697341311944277440331084/1307579\ 61200062716993832299900971*c_0101_5^14 + 26007016158613943869341205228706503714/5943543690911941681537831813\ 6805*c_0101_5^13 - 18594573599453655099531856222038328847/594354369\ 09119416815378318136805*c_0101_5^12 - 70851687426341084185545947763716981392/1307579612000627169938322999\ 00971*c_0101_5^11 - 132969542158571031426645700948907042154/6537898\ 06000313584969161499504855*c_0101_5^10 + 95719415290632550869822709858856573958/6537898060003135849691614995\ 04855*c_0101_5^9 + 121960196477368795979486865614238219604/65378980\ 6000313584969161499504855*c_0101_5^8 + 35535785260500698560251123554110115101/6537898060003135849691614995\ 04855*c_0101_5^7 - 20837462728439751784092777136500355277/653789806\ 000313584969161499504855*c_0101_5^6 - 20572120754388338283123179372071753628/6537898060003135849691614995\ 04855*c_0101_5^5 - 4991222439405483224846411533770784118/6537898060\ 00313584969161499504855*c_0101_5^4 + 1494759055766781216918463552255725436/65378980600031358496916149950\ 4855*c_0101_5^3 + 1234990715044811785513200965055689993/65378980600\ 0313584969161499504855*c_0101_5^2 + 294436838794035150302396915925667747/653789806000313584969161499504\ 855*c_0101_5 + 24264410260131479836213612901066037/6537898060003135\ 84969161499504855, c_0011_5 + 28569406043311239666505677464932/118870873818238833630756636\ 27361*c_0101_5^29 + 304899814862305351201171222322290/1188708738182\ 3883363075663627361*c_0101_5^28 + 665995566510484115224541391521867\ /11887087381823883363075663627361*c_0101_5^27 - 3069977955746634913892088781859823/11887087381823883363075663627361\ *c_0101_5^26 - 14001459367894966077611843268350456/1188708738182388\ 3363075663627361*c_0101_5^25 - 2588583681806079189581825311928381/1\ 1887087381823883363075663627361*c_0101_5^24 + 67664516531954815597019477529423884/1188708738182388336307566362736\ 1*c_0101_5^23 + 102249868950113627366836466408667204/11887087381823\ 883363075663627361*c_0101_5^22 - 7670428770974969927606010046795207\ 2/11887087381823883363075663627361*c_0101_5^21 - 354940446023101088517820896725730632/118870873818238833630756636273\ 61*c_0101_5^20 - 229994928436157787790536530673531754/1188708738182\ 3883363075663627361*c_0101_5^19 + 389971950476375236982199391777086\ 725/11887087381823883363075663627361*c_0101_5^18 + 717241681541188823033584894479058139/118870873818238833630756636273\ 61*c_0101_5^17 + 165112746925169547610997345315449254/1188708738182\ 3883363075663627361*c_0101_5^16 - 641791295878064252970082254866210\ 676/11887087381823883363075663627361*c_0101_5^15 - 692716517217424326942019774407868507/118870873818238833630756636273\ 61*c_0101_5^14 - 12835215610426807210013948408423667/11887087381823\ 883363075663627361*c_0101_5^13 + 4999624444986192274860034808744653\ 66/11887087381823883363075663627361*c_0101_5^12 + 360979884578294723704397730920905966/118870873818238833630756636273\ 61*c_0101_5^11 - 38891660393507442454674458243634109/11887087381823\ 883363075663627361*c_0101_5^10 - 2000212856023622059580829204747621\ 11/11887087381823883363075663627361*c_0101_5^9 - 100689671157886026965028283648371921/118870873818238833630756636273\ 61*c_0101_5^8 + 17225829532956859467677003083126428/118870873818238\ 83363075663627361*c_0101_5^7 + 39156814259789386596253337874249194/\ 11887087381823883363075663627361*c_0101_5^6 + 13455027224728888766600281950493798/1188708738182388336307566362736\ 1*c_0101_5^5 - 2241855159011308652242456334119264/11887087381823883\ 363075663627361*c_0101_5^4 - 2873962804438986598636438597818117/118\ 87087381823883363075663627361*c_0101_5^3 - 658934778674818423020949026647217/11887087381823883363075663627361*\ c_0101_5^2 + 42119653822196232356506210558166/118870873818238833630\ 75663627361*c_0101_5 + 29362022396708138198848981905902/11887087381\ 823883363075663627361, c_0101_0 - 10585493502645693284364508565732901/653789806000313584969161\ 499504855*c_0101_5^29 - 118791201553434369436925136700503216/653789\ 806000313584969161499504855*c_0101_5^28 - 309031832256673039058182674567450203/653789806000313584969161499504\ 855*c_0101_5^27 + 1000428329301528456573930417062199852/65378980600\ 0313584969161499504855*c_0101_5^26 + 5812282994451340664041287612541890404/65378980600031358496916149950\ 4855*c_0101_5^25 + 3832895005601491955067273625784223461/6537898060\ 00313584969161499504855*c_0101_5^24 - 24495767918007894301693383883025371561/6537898060003135849691614995\ 04855*c_0101_5^23 - 51757303409458458431754225998102682549/65378980\ 6000313584969161499504855*c_0101_5^22 + 7242420221180883582054232097236099787/65378980600031358496916149950\ 4855*c_0101_5^21 + 13365697465391506585382094333552685472/594354369\ 09119416815378318136805*c_0101_5^20 + 158376552232912539993273702169608121646/653789806000313584969161499\ 504855*c_0101_5^19 - 19239827744349073243142318841849882945/1307579\ 61200062716993832299900971*c_0101_5^18 - 345127207972054042386242735472057101317/653789806000313584969161499\ 504855*c_0101_5^17 - 209624948298413470845111138655612399916/653789\ 806000313584969161499504855*c_0101_5^16 + 200912529034160505621951620825847949409/653789806000313584969161499\ 504855*c_0101_5^15 + 386139483471911162122284681545965556463/653789\ 806000313584969161499504855*c_0101_5^14 + 13519246476517157577613546979855272743/5943543690911941681537831813\ 6805*c_0101_5^13 - 16109688334516962023954132443744411582/594354369\ 09119416815378318136805*c_0101_5^12 - 232404316667660925088459424554258124798/653789806000313584969161499\ 504855*c_0101_5^11 - 61254815329391735052851607510215143343/6537898\ 06000313584969161499504855*c_0101_5^10 + 15419857461695014984233992122498845167/1307579612000627169938322999\ 00971*c_0101_5^9 + 75139284510682715429897960142799172148/653789806\ 000313584969161499504855*c_0101_5^8 + 14973069661801739576013625031509501057/6537898060003135849691614995\ 04855*c_0101_5^7 - 3154075231151750950421096971728702771/1307579612\ 00062716993832299900971*c_0101_5^6 - 11827464300734043548096900947106742153/6537898060003135849691614995\ 04855*c_0101_5^5 - 2090417814053423372308354212663055336/6537898060\ 00313584969161499504855*c_0101_5^4 + 214987113595921355207306193594953601/130757961200062716993832299900\ 971*c_0101_5^3 + 668288011854677489593423767720059086/6537898060003\ 13584969161499504855*c_0101_5^2 + 142806557489954765258062284299701\ 819/653789806000313584969161499504855*c_0101_5 + 10548837533698232639003425600166468/6537898060003135849691614995048\ 55, c_0101_3 - 181297263501249446443123932275755/11887087381823883363075663\ 627361*c_0101_5^29 - 2043570779091683542915947503786528/11887087381\ 823883363075663627361*c_0101_5^28 - 5391447312555271107497954976702452/11887087381823883363075663627361\ *c_0101_5^27 + 16903806426276410725045978406902456/1188708738182388\ 3363075663627361*c_0101_5^26 + 100508525237589299060743936792726744\ /11887087381823883363075663627361*c_0101_5^25 + 70419072411328582024904198426720192/1188708738182388336307566362736\ 1*c_0101_5^24 - 418001465546746031537142018731964511/11887087381823\ 883363075663627361*c_0101_5^23 - 9096755824421675234263071551351545\ 82/11887087381823883363075663627361*c_0101_5^22 + 85311268025587426447652794570562738/1188708738182388336307566362736\ 1*c_0101_5^21 + 2543095054196157120733016175147543998/1188708738182\ 3883363075663627361*c_0101_5^20 + 284766525623062508643835751050272\ 8674/11887087381823883363075663627361*c_0101_5^19 - 1551627801838613183864935109945429369/11887087381823883363075663627\ 361*c_0101_5^18 - 6065002260437071033197104484051916776/11887087381\ 823883363075663627361*c_0101_5^17 - 3894158607249424225587961268839055122/11887087381823883363075663627\ 361*c_0101_5^16 + 3367622925265977165840738244684138147/11887087381\ 823883363075663627361*c_0101_5^15 + 6905113951185505731114131493949352681/11887087381823883363075663627\ 361*c_0101_5^14 + 2869700816507765640260179989005356796/11887087381\ 823883363075663627361*c_0101_5^13 - 3034095427232704449275632226325947164/11887087381823883363075663627\ 361*c_0101_5^12 - 4233994635271985719843805565985889092/11887087381\ 823883363075663627361*c_0101_5^11 - 1236033636656469021442434130882721172/11887087381823883363075663627\ 361*c_0101_5^10 + 1342701529565204195668592241766236178/11887087381\ 823883363075663627361*c_0101_5^9 + 1398831540346597916195744053387183385/11887087381823883363075663627\ 361*c_0101_5^8 + 315555789432334556817232445328776404/1188708738182\ 3883363075663627361*c_0101_5^7 - 2783869663008837637154485637435516\ 08/11887087381823883363075663627361*c_0101_5^6 - 225827613035663865011525666861812674/118870873818238833630756636273\ 61*c_0101_5^5 - 44957203540627209532674084848056612/118870873818238\ 83363075663627361*c_0101_5^4 + 19021049794377476098494037585916746/\ 11887087381823883363075663627361*c_0101_5^3 + 13026770503224020562901390402058096/1188708738182388336307566362736\ 1*c_0101_5^2 + 2942835793757327656973765758742093/11887087381823883\ 363075663627361*c_0101_5 + 247401994471408454478594579247451/118870\ 87381823883363075663627361, c_0101_5^30 + 12*c_0101_5^29 + 38*c_0101_5^28 - 71*c_0101_5^27 - 621*c_0101_5^26 - 798*c_0101_5^25 + 1996*c_0101_5^24 + 6692*c_0101_5^23 + 3313*c_0101_5^22 - 14177*c_0101_5^21 - 26074*c_0101_5^20 - 3555*c_0101_5^19 + 39269*c_0101_5^18 + 46605*c_0101_5^17 - 1593*c_0101_5^16 - 51368*c_0101_5^15 - 44813*c_0101_5^14 + 3960*c_0101_5^13 + 35609*c_0101_5^12 + 24783*c_0101_5^11 - 1828*c_0101_5^10 - 13242*c_0101_5^9 - 7734*c_0101_5^8 + 112*c_0101_5^7 + 2414*c_0101_5^6 + 1225*c_0101_5^5 + 94*c_0101_5^4 - 154*c_0101_5^3 - 73*c_0101_5^2 - 14*c_0101_5 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.040 Total time: 0.240 seconds, Total memory usage: 32.09MB