Magma V2.19-8 Tue Aug 20 2013 16:16:42 on localhost [Seed = 1031578100] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0983 geometric_solution 4.87598617 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.496188791686 0.142840141012 2 0 2 0 0132 2310 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0.642684180308 0.392931024270 1 3 1 4 0132 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2.082297908652 1.454127780315 4 2 5 4 3201 0132 0132 2310 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 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.195629175724 0.700608043669 3 5 2 3 3201 1023 0132 2310 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 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.195629175724 0.700608043669 4 6 6 3 1023 0132 3201 0132 0 0 0 0 0 0 0 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 -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.451369559315 0.768922723422 5 5 6 6 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 2.066568442690 1.175156650391 ==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_0101_6'], 'c_1100_5' : d['c_0011_4'], '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' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : d['c_0101_5'], 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0101_5'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0101_1']), 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_1']), 'c_0110_6' : negation(d['c_0101_5']), 'c_1010_6' : negation(d['c_0101_6']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_1'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : d['c_0101_5'], '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_4, c_0101_0, c_0101_1, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 8865510241888145369218144412925942939036526331383899267084994372380\ 97730078396839194910008998760421783706739562/5719649258876454344379\ 3616075394302744400119249469391301567782973735927438741797634955060\ 46797982093951487073*c_0101_6^29 - 4554180900529184823606504329982179248854405452516186977039053281491\ 8713048823979584924987423429351415500181688969/17158947776629363033\ 1380848226182908233200357748408173904703348921207782316225392904865\ 18140393946281854461219*c_0101_6^28 + 8303666847996903333255368493615200301899552233255252187371845073878\ 1730336662861282310611754546980426765804946159/17158947776629363033\ 1380848226182908233200357748408173904703348921207782316225392904865\ 18140393946281854461219*c_0101_6^27 + 6571566084229161593441123577780126608184014880609182342498423376161\ 34571002225428800799194106020247991471372823642/5719649258876454344\ 3793616075394302744400119249469391301567782973735927438741797634955\ 06046797982093951487073*c_0101_6^26 - 5834880480731835225930401418671706015288762223037371268187276496072\ 687331556286090704046648221393356984951472073007/171589477766293630\ 3313808482261829082332003577484081739047033489212077823162253929048\ 6518140393946281854461219*c_0101_6^25 - 2914549647810255112455482534218781637286173919103737921234248523583\ 9766738199424859578847712463236186120566141775310/17158947776629363\ 0331380848226182908233200357748408173904703348921207782316225392904\ 86518140393946281854461219*c_0101_6^24 - 3674242972727422925383830609928777133963702325665057776349381236963\ 58758509487020282035150680268031997709713144837/1715894777662936303\ 3138084822618290823320035774840817390470334892120778231622539290486\ 518140393946281854461219*c_0101_6^23 + 3089299652215950531962986092070370722250953653840907589743627186374\ 50635111032151802878808833724123216837673660597821/1715894777662936\ 3033138084822618290823320035774840817390470334892120778231622539290\ 486518140393946281854461219*c_0101_6^22 + 2697159480070323795861552046593445312145206142752924914380706933083\ 62285373908577860929956782897156939372105561697924/1715894777662936\ 3033138084822618290823320035774840817390470334892120778231622539290\ 486518140393946281854461219*c_0101_6^21 - 1221844887640500935973538577684272412400186949812358153021726414816\ 782803713884194275862047378557966461322992914167070/171589477766293\ 6303313808482261829082332003577484081739047033489212077823162253929\ 0486518140393946281854461219*c_0101_6^20 - 2577036355192914341440198882686191851649309359750945348935667236215\ 927728303656138465759225036991849051954724065818992/171589477766293\ 6303313808482261829082332003577484081739047033489212077823162253929\ 0486518140393946281854461219*c_0101_6^19 + 7510070780790615310539367027479559771805618093264113039884869000374\ 911634597248528371886461316057460220376341722595/107917910544838761\ 2147049359913100051781134325461686628331467603278036366768713162923\ 68038618829850829273341*c_0101_6^18 + 1281914569346882275751309392940816317900244048921676884421749026063\ 6160963043337491472514467620394212651544870470227924/17158947776629\ 3630331380848226182908233200357748408173904703348921207782316225392\ 90486518140393946281854461219*c_0101_6^17 + 7891119220400574715735364656736300012874908052664836818462273247407\ 963491611937245854424558545264550754945940453689174/171589477766293\ 6303313808482261829082332003577484081739047033489212077823162253929\ 0486518140393946281854461219*c_0101_6^16 - 2508929407135418913992180884994210224527926906073352755710415001400\ 1830362126385311139307571361547865826192817181945561/17158947776629\ 3630331380848226182908233200357748408173904703348921207782316225392\ 90486518140393946281854461219*c_0101_6^15 - 1949007400757365803959736551685719222751536693849315665572316915767\ 6945039670479793289737046125820514770351196539600947/17158947776629\ 3630331380848226182908233200357748408173904703348921207782316225392\ 90486518140393946281854461219*c_0101_6^14 + 2001829913856043752034684834242302286891362105557240626805453304378\ 0407208287743965932177770449621594326874984759173655/17158947776629\ 3630331380848226182908233200357748408173904703348921207782316225392\ 90486518140393946281854461219*c_0101_6^13 + 9632682164572434550799435503625439953422827375603288906513427935983\ 604767698274167926367652418909641670059112558902030/171589477766293\ 6303313808482261829082332003577484081739047033489212077823162253929\ 0486518140393946281854461219*c_0101_6^12 - 2798014584884399305031041433607370469871538979618925821063811658227\ 569042550085778773893509556242533142316142737033971/571964925887645\ 4344379361607539430274440011924946939130156778297373592743874179763\ 495506046797982093951487073*c_0101_6^11 + 3758173449602726748778013532658184148010699162923860042221969249339\ 19626358062812578893597450978899521767809344999575/5719649258876454\ 3443793616075394302744400119249469391301567782973735927438741797634\ 95506046797982093951487073*c_0101_6^10 + 5672413366499155099197820618972630416201446278390973390082267302832\ 20082549206145393709934157163996659830017718015471/5719649258876454\ 3443793616075394302744400119249469391301567782973735927438741797634\ 95506046797982093951487073*c_0101_6^9 - 2458113548885747793724295085621661866626839541113561420983990492225\ 10839989567391391945895981769838404007756256428750/1715894777662936\ 3033138084822618290823320035774840817390470334892120778231622539290\ 486518140393946281854461219*c_0101_6^8 - 1916273548770604709468137157633754377306770218409731946096406360463\ 96796014470788779913236585499637221314957119004709/1715894777662936\ 3033138084822618290823320035774840817390470334892120778231622539290\ 486518140393946281854461219*c_0101_6^7 - 3018647933246963640244443718709351106192208118619622365684182852367\ 8590064755300800708607380642251783126121424635284/57196492588764543\ 4437936160753943027444001192494693913015677829737359274387417976349\ 5506046797982093951487073*c_0101_6^6 - 2939607989739533526449812000170082824117227527562672596387982301905\ 1140551572094917189169644644551815001679775928672/17158947776629363\ 0331380848226182908233200357748408173904703348921207782316225392904\ 86518140393946281854461219*c_0101_6^5 - 1498833512855223844280129085355272994582071588599357160727508032803\ 487308743364762349232836338035888118901293320385/571964925887645434\ 4379361607539430274440011924946939130156778297373592743874179763495\ 506046797982093951487073*c_0101_6^4 - 2657185004407175575230586232966739509724108470692727710586704858798\ 894660701134931653187866670866440587429788666/107917910544838761214\ 7049359913100051781134325461686628331467603278036366768713162923680\ 38618829850829273341*c_0101_6^3 + 241326837622584335646899353368504\ 5891731359863222590900281167308891426704749294042291276790335268035\ 31364781104432/1715894777662936303313808482261829082332003577484081\ 7390470334892120778231622539290486518140393946281854461219*c_0101_6\ ^2 + 68560618567923498253220182620557394213385270942630882804907833\ 244985706720810865555983366971538411290269967251695/171589477766293\ 6303313808482261829082332003577484081739047033489212077823162253929\ 0486518140393946281854461219*c_0101_6 + 4922068022200347253763450959525275618342605928961654939484492002500\ 509158740913143209464125115128754453944629393/171589477766293630331\ 3808482261829082332003577484081739047033489212077823162253929048651\ 8140393946281854461219, c_0011_0 - 1, c_0011_1 + 290929239278620304240728865504801954250602234114949545535150\ 718746671369664040693990934765842961361204410482/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^29 - 1663194592670745827798394774765731802359743230266336567591347022965\ 649998355420652250940180253179656271108455/323753731634516283644114\ 8079739300155343402976385059884994402809834109100306139488771041158\ 56489552487820023*c_0101_6^28 + 91991265092524730115544836700528090\ 2053722325148795191767434614761463849501131991282020170766034421360\ 0423197/97126119490354885093234442392179004660302089291551796549832\ 0842950232730091841846631312347569468657463460069*c_0101_6^27 + 2157464639243786171210744927715578142105250631273336898750423008203\ 44197630235191246442657459851442558857286709/9712611949035488509323\ 4442392179004660302089291551796549832084295023273009184184663131234\ 7569468657463460069*c_0101_6^26 - 644798949157788160641273462455438\ 1350082671335760156295847415327923636294761583919462067121330821370\ 55800549180/9712611949035488509323444239217900466030208929155179654\ 98320842950232730091841846631312347569468657463460069*c_0101_6^25 - 1061791467937472571364113907259813390526235683293771845004840612292\ 499517300744911909908953380696164325979215252/323753731634516283644\ 1148079739300155343402976385059884994402809834109100306139488771041\ 15856489552487820023*c_0101_6^24 + 9206243279277265111312708060539430229337594307629204237508954327645\ 0014980596176506180922791332809033744719620/97126119490354885093234\ 4423921790046603020892915517965498320842950232730091841846631312347\ 569468657463460069*c_0101_6^23 + 3400703749413343249106829345721833\ 3018735479869467388023216970609296419422990561612415466094953953097\ 820905024985/971261194903548850932344423921790046603020892915517965\ 498320842950232730091841846631312347569468657463460069*c_0101_6^22 + 2856029608967223893354112846603190419238424804743142337335856792370\ 7296331144111493255608512162580038494236992249/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^21 - 4558986069624899765244072899445260923328345716754769467039916415591\ 5097536103287276438712626384220033226066845223/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^20 - 2800140355871004585030373626826080970966163071448941087721660570072\ 69390497017028374375603669847568979027705560759/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^19 + 1476665670799098364735715007042896626147562843818442806302974173869\ 32479689933399940597141886466100231955353626500/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^18 + 4723276658478329409114202496981486132617346806588170807050634941975\ 36785352359116835823420238476340237572181323527/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^17 + 2713070473979608309681755502297677349533180085740283343725023626626\ 42199605601461740657245589559822293306270873068/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^16 - 2862983972701031004649083233353324613660042644578010274434432341715\ 569229003055517303594403661675329875888028300895/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^15 - 2105892960314545502090646821644885222534764474203035341704739000819\ 044064215133716480310887755560581708756146771229/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^14 + 2441972060409989716461296690551298000090716855330086102142391773692\ 389043926033307492656862180662173949607819444175/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^13 + 1120354718630107025615677267686831555062951988915043772000302663407\ 809967676822566737752352031723876119639089422248/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^12 - 3705920845706844827873339067269637929754110064604353136943385631333\ 66861589180382428538248545371892080425458657121/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^11 + 3013919139553703502647598484289485789845309118247819012731462157983\ 0711336599610511278702967232327564357092688863/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^10 + 2520703791413093640358584659954743607553749440080122914164408513858\ 84972466307671990405864928965409127770584767152/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^9 - 4502819151168685205497406496799551232677147628403166634278667448159\ 6565959052480274159786645960894600711347479567/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^8 - 3164254552981335874074551527631599380127098579238942944802020865639\ 1563620515157090690468978421422861973219440097/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^7 - 7156600281708103710647903479385529032543697760613685595801497292201\ 672686730100080549091771790899296086634854256/971261194903548850932\ 3444239217900466030208929155179654983208429502327300918418466313123\ 47569468657463460069*c_0101_6^6 - 141511353942191673697440611291919\ 0667117645181510339309438022917529323202430366778930993443369853612\ 684420596825/971261194903548850932344423921790046603020892915517965\ 498320842950232730091841846631312347569468657463460069*c_0101_6^5 + 8274239873619189420859192642135412233411006611865299269467280931238\ 6413584862187557075237327437465983063497724/32375373163451628364411\ 4807973930015534340297638505988499440280983410910030613948877104115\ 856489552487820023*c_0101_6^4 + 65083669512400115618669836597144613\ 2148330618790207036203459749251572401274318603103095365813936669608\ 73230310/9712611949035488509323444239217900466030208929155179654983\ 20842950232730091841846631312347569468657463460069*c_0101_6^3 + 1802805772726737520891849752751819029466629002541630056881766707283\ 5497868529205800290796476193705510207694140/97126119490354885093234\ 4423921790046603020892915517965498320842950232730091841846631312347\ 569468657463460069*c_0101_6^2 + 19200267245048959933094630565563543\ 7076011201745685315661787189761591889365176328063611969834417150921\ 5347445/32375373163451628364411480797393001553434029763850598849944\ 0280983410910030613948877104115856489552487820023*c_0101_6 - 5795155733084333781857256409501115271467861792405103737714252296840\ 61753828567505160604549400306326831559742/9712611949035488509323444\ 2392179004660302089291551796549832084295023273009184184663131234756\ 9468657463460069, c_0011_4 + 788151605770276724789810590601062607901790615733903543405553\ 59688463297121151658386826574992908713336402216/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^29 - 1484877108611296526058451766301445784755284081655478228361541069788\ 65152858882560878018968471852073930247137/1079179105448387612147049\ 3599131000517811343254616866283314676032780363667687131629236803861\ 8829850829273341*c_0101_6^28 + 223136966139604857692018994690221403\ 1970928834904117234820419201616550009273565793001673055809716523087\ 177888/971261194903548850932344423921790046603020892915517965498320\ 842950232730091841846631312347569468657463460069*c_0101_6^27 + 5889421233133149477623976291258358547000142052148128286797565337272\ 9224822589520125179587637281596283372820181/97126119490354885093234\ 4423921790046603020892915517965498320842950232730091841846631312347\ 569468657463460069*c_0101_6^26 - 1632308784241193790499990407178553\ 7977196292260697174194861179867780232935618549937389043351683242516\ 8402105806/97126119490354885093234442392179004660302089291551796549\ 8320842950232730091841846631312347569468657463460069*c_0101_6^25 - 9948188116896621878115896987064560444615570032779607143933351087256\ 7536279778471543507987914456977485796116255/10791791054483876121470\ 4935991310005178113432546168662833146760327803636676871316292368038\ 618829850829273341*c_0101_6^24 - 1482750740894880941291365224280163\ 6953072668952151226628538425071172963415746168406209227387519301463\ 2693774384/97126119490354885093234442392179004660302089291551796549\ 8320842950232730091841846631312347569468657463460069*c_0101_6^23 + 9195659393861018601354110790712556357671429369557048778318123304549\ 642505025680084373014308567178904887548242649/971261194903548850932\ 3444239217900466030208929155179654983208429502327300918418466313123\ 47569468657463460069*c_0101_6^22 + 9537389665135320309281831442505558459482484370392675979952892467842\ 753317350519396395640013849895296488554476580/971261194903548850932\ 3444239217900466030208929155179654983208429502327300918418466313123\ 47569468657463460069*c_0101_6^21 - 3921741777660288468529385546482415031851788487558375880182027056913\ 103176354494400145377554889102271797927539986/107917910544838761214\ 7049359913100051781134325461686628331467603278036366768713162923680\ 38618829850829273341*c_0101_6^20 - 8293753993613325912728768427742863008783434541747937173194568127327\ 8313778617930818860218728537170980229216154695/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^19 + 2418380535306945206685138908497404880357101903541074383115587655915\ 4553039404968268051774618435272850654861950877/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^18 + 4332510728254506383280808330260235156817515438967103271595710530510\ 5336284173115947706513869487599318338656034491/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^17 + 3298407700357502071778577862324609257984121573390836194357529587119\ 1213113936591206763068528029949431352631291701/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^16 - 7227146783315309690756458723467299840601254045901060079131660531386\ 71796717055840617115847779345814355905267837894/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^15 - 7187084100169484455663624026830545582344314068518499141127197927512\ 49779763091110779185072313072339423398221292656/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^14 + 5283184944880035051592806529087018893977583929289307144527076233233\ 20148592069920804404799311958144216744713711742/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^13 + 4241528265883349275606017043648547806133140250829464873032736353363\ 60446746485633056173567146022532063731971285186/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^12 - 7371755948096415030679749593126624515306207197053181608126345601567\ 9198830176256949735915577302417730522606335967/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^11 - 1102137892720162297999910574606755394126969441235728441124573996236\ 7766980353267536045404778404356751897172752961/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^10 + 6422105276796535274156601425041100799972069849458478907239570564927\ 3549758939910331226486089470190210464724258285/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^9 + 4825220256548763714955050859901382480054257686915601310808452239636\ 467192016538092390265841420892440514073363512/971261194903548850932\ 3444239217900466030208929155179654983208429502327300918418466313123\ 47569468657463460069*c_0101_6^8 - 101840156435121967261041772044205\ 4219909202990574235943628480143960153649732589195814161824389286102\ 1847283526639/97126119490354885093234442392179004660302089291551796\ 5498320842950232730091841846631312347569468657463460069*c_0101_6^7 - 4195670202428385401684345535463055323356162678579279623864312346468\ 748672421109361962527568632185284272073617567/971261194903548850932\ 3444239217900466030208929155179654983208429502327300918418466313123\ 47569468657463460069*c_0101_6^6 - 844856936605472600164934239913620\ 7904694736981170976356439675139459072735401404555914391081690460626\ 91137723664/9712611949035488509323444239217900466030208929155179654\ 98320842950232730091841846631312347569468657463460069*c_0101_6^5 - 4727801712497909751924866549351225012905715174076853167087123393141\ 504399851050979217414652355135273094623995/323753731634516283644114\ 8079739300155343402976385059884994402809834109100306139488771041158\ 56489552487820023*c_0101_6^4 + 307766458541488042880972304606421716\ 8509807455493970653146974807489506477363299243496799682698414532779\ 2399997/97126119490354885093234442392179004660302089291551796549832\ 0842950232730091841846631312347569468657463460069*c_0101_6^3 + 6317894385281835603329429990115710280419382423291076290998579835741\ 817451269823979933349386565166225268090271/971261194903548850932344\ 4239217900466030208929155179654983208429502327300918418466313123475\ 69468657463460069*c_0101_6^2 + 112444921350210318606775965271578693\ 3873846724416023208402415198675543504118817402556900030998709182089\ 868940/323753731634516283644114807973930015534340297638505988499440\ 280983410910030613948877104115856489552487820023*c_0101_6 - 2280549413065879577921902499679864511515697036777751937481385895954\ 8256715426945265425934317272376368014036/97126119490354885093234442\ 3921790046603020892915517965498320842950232730091841846631312347569\ 468657463460069, c_0101_0 - 118812153330728320555725446556661766952902143010216937935511\ 496361529929223966339616803272215105368158729096/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^29 + 6823279356184135439304589638146132515997158792207807183866729285221\ 84791962721006157573407360202657793572503/3237537316345162836441148\ 0797393001553434029763850598849944028098341091003061394887710411585\ 6489552487820023*c_0101_6^28 - 390694206574202282775205621850192785\ 0121772755197404196664508267184267221184867378753047622710500238639\ 250051/971261194903548850932344423921790046603020892915517965498320\ 842950232730091841846631312347569468657463460069*c_0101_6^27 - 8797544577491350656605425114351192308904437198207781212925277212044\ 1544242152082802907579267085230046809326345/97126119490354885093234\ 4423921790046603020892915517965498320842950232730091841846631312347\ 569468657463460069*c_0101_6^26 + 2705440013457606740369467855731185\ 1192805795834799263306561129498724040093544674800377031603183941311\ 0413905136/97126119490354885093234442392179004660302089291551796549\ 8320842950232730091841846631312347569468657463460069*c_0101_6^25 + 4290306296969805108712069376893211487633650692928028550428313629847\ 66636854833832431061346628262889756293335863/3237537316345162836441\ 1480797393001553434029763850598849944028098341091003061394887710411\ 5856489552487820023*c_0101_6^24 - 161121979677067200802252512645727\ 1261105100982286584111354091761730416379357076321101290741442129455\ 63752729275/9712611949035488509323444239217900466030208929155179654\ 98320842950232730091841846631312347569468657463460069*c_0101_6^23 - 1398258718437361546364883780113291099838873168002853172474400250992\ 4755005563789488268454788779876650819520566754/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^22 - 1055905399603074596231307988026497760218039586570067176810451301088\ 5112380011037711691280338783255776231533021529/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^21 + 1928097763648589067835112757931118330362849456523131607009142313570\ 3033530974256785598783260058192739169143752503/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^20 + 1107119630395596240397827607467130846805516156173930953133713159759\ 32991741757209691147951242908682174352073879896/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^19 - 7366118399930995274932758662804150438932183104926582403655439840856\ 0943787615879612811423298296243860407428764770/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^18 - 1940266843049560016106403647343109216619663904668382314247027446533\ 44596593323518492347596248045172901690439558079/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^17 - 9378285253302714666009912868125065025100051607583990515183999083502\ 8945315562694916712655528007858583590439172467/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^16 + 1238811736259344748060648653172376090601201338391228261112775315135\ 524344315486416059581469500136330856500222836171/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^15 + 7874289748988775386107848179078248504034771485181533836725930178520\ 26006135094213952560121586102211283122072972855/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^14 - 1155786359335083258621364978208300482956729888993268229885421084983\ 392352069246918422564612682382763041716846256842/971261194903548850\ 9323444239217900466030208929155179654983208429502327300918418466313\ 12347569468657463460069*c_0101_6^13 - 4292947794540763859635705111431854042921704024619824301504811584229\ 61745812363458483660308842988138272604768335960/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^12 + 1897534804080786945513810037347312191632874243280824125646761536343\ 52231984278904530211897964777251426168749565965/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^11 - 1828053122726750179201571259962700598760250594252644668560553110744\ 6038102985238909395874705341898715344689892069/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^10 - 1324103226436484356001784248817502457458976259696431391242085073675\ 71967812149374999751279351380168507049907932569/9712611949035488509\ 3234442392179004660302089291551796549832084295023273009184184663131\ 2347569468657463460069*c_0101_6^9 + 3680457247783521014576966398074806035843018789400312418994997171529\ 1699312670246808435850185772844611155124410526/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^8 + 1508422753443530670953591286462752181883121617130659868783395194369\ 1270826328916980704520372658768722797212967450/97126119490354885093\ 2344423921790046603020892915517965498320842950232730091841846631312\ 347569468657463460069*c_0101_6^7 + 5011265155105897337310809786718808161028274716543070293738325991700\ 02951624013278257956309887142617064278660020/9712611949035488509323\ 4442392179004660302089291551796549832084295023273009184184663131234\ 7569468657463460069*c_0101_6^6 + 1556338643599944153640553402065387\ 7529712159299310149869490514050275098722251821006393809923320676491\ 1761613/97126119490354885093234442392179004660302089291551796549832\ 0842950232730091841846631312347569468657463460069*c_0101_6^5 - 1498738996998538944790381862822041808427672516136487237793054863907\ 54340904457141418936406546316895553344869965/3237537316345162836441\ 1480797393001553434029763850598849944028098341091003061394887710411\ 5856489552487820023*c_0101_6^4 - 4621554810575993740878780828986865\ 6992377586734860681536793076086271946805756249171064611610781015406\ 452122454/971261194903548850932344423921790046603020892915517965498\ 320842950232730091841846631312347569468657463460069*c_0101_6^3 - 1504060145199874404321350754931936098547492150281167015312622721202\ 5293318059689962635545918618105018637074720/97126119490354885093234\ 4423921790046603020892915517965498320842950232730091841846631312347\ 569468657463460069*c_0101_6^2 - 20022558379846527184934774426633876\ 1955275856560835595527733770658564893415343043335133388273561354222\ 858940/107917910544838761214704935991310005178113432546168662833146\ 760327803636676871316292368038618829850829273341*c_0101_6 + 1535130117976992445503733967335510445458426666439407697002713007175\ 629114025085785956103023319899485817970837/971261194903548850932344\ 4239217900466030208929155179654983208429502327300918418466313123475\ 69468657463460069, c_0101_1 - 339245479881560779870392613538043544535573684859485510254969\ 39992674539920061378049309724011426487979199932/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^29 + 5614695433679128053179742765999956367187591998252474012295944670427\ 59464243576691857171615076643410340765770/3237537316345162836441148\ 0797393001553434029763850598849944028098341091003061394887710411585\ 6489552487820023*c_0101_6^28 - 241191244958392448617301246039853797\ 6142099872384625776693083916889960869498526676661945529583073671355\ 55942/1079179105448387612147049359913100051781134325461686628331467\ 60327803636676871316292368038618829850829273341*c_0101_6^27 - 2580243464167672204312391107791743525681722446089329719948140527800\ 2241084438084712721161553260579062876664384/32375373163451628364411\ 4807973930015534340297638505988499440280983410910030613948877104115\ 856489552487820023*c_0101_6^26 + 6010483322150118478005521802626442\ 3891236902702317806099983874632685343954049895966277704175103454063\ 863577630/323753731634516283644114807973930015534340297638505988499\ 440280983410910030613948877104115856489552487820023*c_0101_6^25 + 4165616613573797243609138603116270349621999256263906559262318217712\ 22439964336818050618545960787040554675419271/3237537316345162836441\ 1480797393001553434029763850598849944028098341091003061394887710411\ 5856489552487820023*c_0101_6^24 + 211642076624090952615092411225979\ 7676131771117514180630930397331265327398569019796823050758312886984\ 80555747813/3237537316345162836441148079739300155343402976385059884\ 99440280983410910030613948877104115856489552487820023*c_0101_6^23 - 3971185759832851253591345757516716111999512548130821812057055520316\ 325477571146679657977640621600710805372503113/323753731634516283644\ 1148079739300155343402976385059884994402809834109100306139488771041\ 15856489552487820023*c_0101_6^22 - 5703755857513311538404122641800580279788025390783518904661875629637\ 154130135352478041555412243851057162841945033/323753731634516283644\ 1148079739300155343402976385059884994402809834109100306139488771041\ 15856489552487820023*c_0101_6^21 + 1395463290259528124898460016282548784354693880593377588785919153915\ 9907840609918625207129493668591751972675358609/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^20 + 1405428946617303590141157641098711651124546532921745494863770792495\ 5141177283929100505151533166593061498524087823/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^19 + 2301228897789819472629693271230981228126001507246721914814600893411\ 808466790848599757380197235144272002975951754/323753731634516283644\ 1148079739300155343402976385059884994402809834109100306139488771041\ 15856489552487820023*c_0101_6^18 - 1753524298416524140574517773790126599092193898225381870258447230743\ 73443593063051474131312866103984386623715226995/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^17 - 1935188186141616894355615047340637687649786376652902421199126289714\ 30676989601716521308331280203064463719704156542/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^16 + 2768234307987816847510667915208684506831355585806826460449849992382\ 51086569978473097991050913789608426562612074531/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^15 + 4434159470523279551006585340070324053105242407111327513686355496136\ 60325752759725789236280276992103846034359289022/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^14 - 1392645420370646710828846770894782028696325810427215491275738164563\ 00741336837569304600518806080328534803285436526/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^13 - 9886150177292495115572133029903364003586746882226722583469924756246\ 0983042370724966220656976413182533113873989866/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^12 + 1845756603967021607520927033161959821499245465600919194652106044626\ 0403845786241884263252954732349833645613768045/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^11 + 2096632931155397189675373693555263333026417771940149960385913139390\ 4900525877281903158551769632436127212927072007/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^10 - 3786595826200143580543099950140554804302103983489619270772372920390\ 5296543741897624277949821661976479793061878474/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^9 - 1025499632562474268542981782402222980440013081021613426158131158733\ 2414677008529357454537559238931417216907365549/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^8 + 2220245081605099943584115965077398190566440917960533119042729853951\ 643193323249600112536284507332211182620696947/107917910544838761214\ 7049359913100051781134325461686628331467603278036366768713162923680\ 38618829850829273341*c_0101_6^7 + 254525010136384527663199930787615\ 3519940632314198591057544036467105752772971798456296033501248420887\ 901703745388/323753731634516283644114807973930015534340297638505988\ 499440280983410910030613948877104115856489552487820023*c_0101_6^6 + 2608478294975217219736398685815004994734589595748841643383659846588\ 91661282967504643967789205855688449391410778/1079179105448387612147\ 0493599131000517811343254616866283314676032780363667687131629236803\ 8618829850829273341*c_0101_6^5 + 3871388534608691465577750937371327\ 5619306842015784876528089511311759974002493458738001110568918850712\ 004066216/107917910544838761214704935991310005178113432546168662833\ 146760327803636676871316292368038618829850829273341*c_0101_6^4 - 1448829095434008297429609281996258579766584493491310510150586394121\ 9703213973267786379300608845710814755086578/32375373163451628364411\ 4807973930015534340297638505988499440280983410910030613948877104115\ 856489552487820023*c_0101_6^3 - 33526751771808461244712796596323642\ 6575112680908750366545648673155980246959764259853764871786078561108\ 8316026/32375373163451628364411480797393001553434029763850598849944\ 0280983410910030613948877104115856489552487820023*c_0101_6^2 - 2673184669285112436519398750070186027701290662629228792848629102841\ 294428315794109004427014726259147149653971/323753731634516283644114\ 8079739300155343402976385059884994402809834109100306139488771041158\ 56489552487820023*c_0101_6 - 31371773841674628449917527263351350603\ 5671412966183881896071954600586751090595502951864526591450482402882\ 15/1079179105448387612147049359913100051781134325461686628331467603\ 27803636676871316292368038618829850829273341, c_0101_5 - 655410956668581608916109381890158416921930881431427951223773\ 34164899227182538292381615989236960389171762333/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^29 + 1141025024848784018552744424618047018727398596158010633777583470655\ 478865207125807878076405491920779872428183/323753731634516283644114\ 8079739300155343402976385059884994402809834109100306139488771041158\ 56489552487820023*c_0101_6^28 - 23652385366755547082333137658145760\ 2642570025562161096099830112753015227744266046610500745758060904127\ 9378360/32375373163451628364411480797393001553434029763850598849944\ 0280983410910030613948877104115856489552487820023*c_0101_6^27 - 4803381896881851702086836044641897985455297965341696562035571634034\ 5886939140346683988759091607414857442497667/32375373163451628364411\ 4807973930015534340297638505988499440280983410910030613948877104115\ 856489552487820023*c_0101_6^26 + 5259042394709279672012889598853071\ 4730782716197418161563722140744492878734207539788550896319776557564\ 500883695/107917910544838761214704935991310005178113432546168662833\ 146760327803636676871316292368038618829850829273341*c_0101_6^25 + 6785943871385285448976597006215995046694600941244863302909425609693\ 65001378690589147597608443426761687854713748/3237537316345162836441\ 1480797393001553434029763850598849944028098341091003061394887710411\ 5856489552487820023*c_0101_6^24 - 672791221241471446588158110498109\ 6337104796805460641156982036380308186444393386764293694070691982153\ 2266258114/10791791054483876121470493599131000517811343254616866283\ 3146760327803636676871316292368038618829850829273341*c_0101_6^23 - 2545221753484992120451467761557956495140814541084757336277582652741\ 216020807922199821983281980057144546923351008/107917910544838761214\ 7049359913100051781134325461686628331467603278036366768713162923680\ 38618829850829273341*c_0101_6^22 - 1485618558369304044584693258200985866387833191318211190746911490292\ 302908662578963057471401540795743148574060602/107917910544838761214\ 7049359913100051781134325461686628331467603278036366768713162923680\ 38618829850829273341*c_0101_6^21 + 3225157673968040802343166884246902318260615338715851553199313362933\ 7247616707287644711111342775824346559583013637/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^20 + 5497106109879585097112472574199488529120644803011795626228337474657\ 8519007814685810311921315011252618252376469883/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^19 - 4864506995582602982380206075727835555153409953128060879385393667222\ 0261067460069435206764503553371742377008129609/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^18 - 3089698175099004604172877081143928736314750518624282864194595038888\ 35985511771287995969290873171314315992569812786/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^17 - 1021388719993308141377829773740871530896008901316349394124838989979\ 48973506175826208280644164285692525646570507376/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^16 + 2277683849578480269714088755154051793958723178258177364913399015843\ 43891018170032422995752758130669049579790338927/1079179105448387612\ 1470493599131000517811343254616866283314676032780363667687131629236\ 8038618829850829273341*c_0101_6^15 + 1014246964258312578577677880384108114072094607231871770567871663826\ 33832725972266110210462806964166416116285066535/1079179105448387612\ 1470493599131000517811343254616866283314676032780363667687131629236\ 8038618829850829273341*c_0101_6^14 - 2176329630317638097738135414697975339198405965167725788111422587483\ 68748050877281305590265874746150791650034491458/1079179105448387612\ 1470493599131000517811343254616866283314676032780363667687131629236\ 8038618829850829273341*c_0101_6^13 - 1007206252050655460985579354957797524200599152116456713804723788910\ 73258487425820461383290845520828275301311810056/3237537316345162836\ 4411480797393001553434029763850598849944028098341091003061394887710\ 4115856489552487820023*c_0101_6^12 + 9893377771829619650797949700856655157563746066703119218693460246868\ 5681402261890821698236065906268647722663111436/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^11 - 2939943015692325487415709798733315825934723832236107470223950620580\ 3960316563115451206241709321534783010636124717/10791791054483876121\ 4704935991310005178113432546168662833146760327803636676871316292368\ 038618829850829273341*c_0101_6^10 - 4280915906633306869866787589825587566561617116893243622626178485562\ 0582002001343660564304869102993356855806067213/32375373163451628364\ 4114807973930015534340297638505988499440280983410910030613948877104\ 115856489552487820023*c_0101_6^9 + 7351862278481347718878638448141915693464389992051720311120676822532\ 770514873137529561982001361761208648602598470/107917910544838761214\ 7049359913100051781134325461686628331467603278036366768713162923680\ 38618829850829273341*c_0101_6^8 + 323758567889335228141460671011120\ 4961392539522864663526072228840090267027731801192783014572878450982\ 707711421870/323753731634516283644114807973930015534340297638505988\ 499440280983410910030613948877104115856489552487820023*c_0101_6^7 + 5182509146994432780245962367122894700517661598838007813200471038490\ 67446052214557677111599589308263185664368932/3237537316345162836441\ 1480797393001553434029763850598849944028098341091003061394887710411\ 5856489552487820023*c_0101_6^6 - 7822110791392045722972488454782293\ 4764247777624697753923446066590572048710225439404090904407980956793\ 511964255/323753731634516283644114807973930015534340297638505988499\ 440280983410910030613948877104115856489552487820023*c_0101_6^5 - 3701733349986196697835430296731540011026862854418972078776462470770\ 3464084223430295461733700574824442221832078/10791791054483876121470\ 4935991310005178113432546168662833146760327803636676871316292368038\ 618829850829273341*c_0101_6^4 + 57446797871002321940086095023196554\ 6050523704987999708967064952452035913743719769724437461248506779662\ 3505333/32375373163451628364411480797393001553434029763850598849944\ 0280983410910030613948877104115856489552487820023*c_0101_6^3 - 1631811538851542781001228832863794425500916713400896409002586751040\ 984816069541241004942237279664687200895143/107917910544838761214704\ 9359913100051781134325461686628331467603278036366768713162923680386\ 18829850829273341*c_0101_6^2 + 851392803162956715287259354013557657\ 9187310490569518525606604899990944696101013873837138962258463742079\ 07085/3237537316345162836441148079739300155343402976385059884994402\ 80983410910030613948877104115856489552487820023*c_0101_6 + 1907056601919248590140708990835186170781676545716037033944902984135\ 26705110663071437954419736078427333798920/3237537316345162836441148\ 0797393001553434029763850598849944028098341091003061394887710411585\ 6489552487820023, c_0101_6^30 - 17*c_0101_6^29 + 29*c_0101_6^28 + 747*c_0101_6^27 - 2106*c_0101_6^26 - 11311*c_0101_6^25 - 1244*c_0101_6^24 + 117353*c_0101_6^23 + 115724*c_0101_6^22 - 459821*c_0101_6^21 - 1036697*c_0101_6^20 + 380865*c_0101_6^19 + 4982561*c_0101_6^18 + 3509442*c_0101_6^17 - 9604301*c_0101_6^16 - 8815186*c_0101_6^15 + 7681676*c_0101_6^14 + 5361951*c_0101_6^13 - 3564598*c_0101_6^12 - 378945*c_0101_6^11 + 1051736*c_0101_6^10 - 50628*c_0101_6^9 - 155958*c_0101_6^8 - 35120*c_0101_6^7 - 5957*c_0101_6^6 + 1298*c_0101_6^5 + 547*c_0101_6^4 + 87*c_0101_6^3 + 26*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB