Magma V2.19-8 Tue Aug 20 2013 16:16:33 on localhost [Seed = 3035965548] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0837 geometric_solution 4.75915430 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 2 2 1 0132 0132 3201 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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 0 0 1.599641472909 0.785953969540 0 3 4 0 0132 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.072481636909 0.312126109429 0 0 2 2 2310 0132 1230 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.724946076316 0.170648350971 4 1 4 5 2310 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 1 -1 -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 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.364753489002 1.278968460061 3 5 3 1 2103 2310 3201 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.364753489002 1.278968460061 6 6 3 4 0132 3201 0132 3201 0 0 0 0 0 0 0 0 -1 0 1 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 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377998666479 0.757622668295 5 6 5 6 0132 2310 2310 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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.924219604443 0.571747524363 ==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' : negation(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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_5'], 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_0']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_0'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0101_0']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_4'], '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_5']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : negation(d['c_0101_6']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : negation(d['c_0101_2']), 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : negation(d['c_0101_3']), 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_6'], 'c_0110_4' : d['c_0011_4'], 'c_0110_6' : negation(d['c_0101_3']), 'c_1010_6' : d['c_0101_3'], 'c_1010_5' : d['c_0101_3'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0011_4'], '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_4, c_0011_5, c_0101_0, c_0101_2, c_0101_3, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 272779235812737295978728989443520182355621117478617272/849703936303\ 161695720709747544829704661084416122079*c_0101_6^26 - 11972114701331546611237125176675743895276913209052250/8497039363031\ 61695720709747544829704661084416122079*c_0101_6^25 + 655118006472609625674021532733973994954371847292287985/849703936303\ 161695720709747544829704661084416122079*c_0101_6^24 + 751155038822450167681137392413855109081086928738426487/849703936303\ 161695720709747544829704661084416122079*c_0101_6^23 - 4989381316196778161399762305882535708555613646337487519/84970393630\ 3161695720709747544829704661084416122079*c_0101_6^22 + 5737324053691810604480026251990461687772261879567622147/84970393630\ 3161695720709747544829704661084416122079*c_0101_6^21 - 18572496837263408006538696518550538213379373779038004673/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^20 + 11290751626999096553957771069917933529020990749156697159/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^19 + 31727815487684288915027420052605305660851380497702077126/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^18 - 62736400475543136393748087334975118439876339513909857238/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^17 + 3332846180231018417080707335167785059064063702177780665/36943649404\ 485291118291728154123030637438452874873*c_0101_6^16 - 101074142848092815725355992846855477672769923194210956027/849703936\ 303161695720709747544829704661084416122079*c_0101_6^15 + 90478959483928095653254337555882141770971422415162347976/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^14 - 24044955550992518084262284201977516168549699576445152373/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^13 - 11407913579726265073209600125592336672672659724461201414/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^12 + 41832249842642453968759102347236143966682681924597691838/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^11 - 62059934533202045513992173716179663574545652483627469453/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^10 + 42758282259891944946050282516518667321750286202397352408/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^9 - 3656529064707060194027028366255870288719677748436682040/65361841254\ 089361209285365195756131127775724317083*c_0101_6^8 + 43589792978449860077770533039706422383070321152688454059/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^7 - 2982020326141998477659326659842010614966726577337370577/84970393630\ 3161695720709747544829704661084416122079*c_0101_6^6 - 16139728969677692041049206057332164428626690061874658693/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^5 + 12674636106497103334073688370859780138554688458440570576/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^4 - 13313206361829251579068827822881980558679738036898892606/8497039363\ 03161695720709747544829704661084416122079*c_0101_6^3 + 345966633532894764677600429284372201080393883892026465/369436494044\ 85291118291728154123030637438452874873*c_0101_6^2 - 168128453562688545806332740000639789006290109146706365/849703936303\ 161695720709747544829704661084416122079*c_0101_6 - 749550876869393703662391934614109316780255070583160722/849703936303\ 161695720709747544829704661084416122079, c_0011_0 - 1, c_0011_4 + 2651593596825123354760575853242594370074820342265928/6536184\ 1254089361209285365195756131127775724317083*c_0101_6^26 - 227003814670678903028249515208591009360414351905228/653618412540893\ 61209285365195756131127775724317083*c_0101_6^25 + 6300607518987531952773719487463080484182073839445696/65361841254089\ 361209285365195756131127775724317083*c_0101_6^24 + 6994377380654487226070620903139728001780667198755452/65361841254089\ 361209285365195756131127775724317083*c_0101_6^23 - 49002533187415846913262215094800824386599932932098922/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^22 + 57473437673966224158893010378847404169209328861392329/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^21 - 181730783776971054052779510728550466338615391956486759/653618412540\ 89361209285365195756131127775724317083*c_0101_6^20 + 116473093548390134166894488295136988280624821175697666/653618412540\ 89361209285365195756131127775724317083*c_0101_6^19 + 308241297689085520045430115898403849599118980614955817/653618412540\ 89361209285365195756131127775724317083*c_0101_6^18 - 622953840032829075255188747460233544479006956594443389/653618412540\ 89361209285365195756131127775724317083*c_0101_6^17 + 33125182308226004134112748630500509999518735591911578/2841819184960\ 407009099363704163310049033727144221*c_0101_6^16 - 1002303321160997110690202662008929954385319609254080640/65361841254\ 089361209285365195756131127775724317083*c_0101_6^15 + 907254967738051195934428875419078550548523649675293764/653618412540\ 89361209285365195756131127775724317083*c_0101_6^14 - 251993673380178023938421040474496219047985159216117663/653618412540\ 89361209285365195756131127775724317083*c_0101_6^13 - 113441599176891840872120653577840329958804298275256254/653618412540\ 89361209285365195756131127775724317083*c_0101_6^12 + 409391570161254086669480792732161803176739816291827063/653618412540\ 89361209285365195756131127775724317083*c_0101_6^11 - 617609424104049138301054601234574791637180974622671945/653618412540\ 89361209285365195756131127775724317083*c_0101_6^10 + 430588517541551636195925674911323352535577455220903551/653618412540\ 89361209285365195756131127775724317083*c_0101_6^9 - 468426027871736936101775107236046209370609763223362076/653618412540\ 89361209285365195756131127775724317083*c_0101_6^8 + 437844293469529151465821868086569329444821154436318899/653618412540\ 89361209285365195756131127775724317083*c_0101_6^7 - 36759523741381629939197613091008445915850971230902603/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^6 - 161320478938544920134505993787176445534197471753374340/653618412540\ 89361209285365195756131127775724317083*c_0101_6^5 + 126887201861908631697730969389151718965009041730745632/653618412540\ 89361209285365195756131127775724317083*c_0101_6^4 - 131776204995277723543505384038234493118615592087036364/653618412540\ 89361209285365195756131127775724317083*c_0101_6^3 + 3519091673299812693828005073932688566006027738379137/28418191849604\ 07009099363704163310049033727144221*c_0101_6^2 - 2262721279672565224483027490885371929103625583381805/65361841254089\ 361209285365195756131127775724317083*c_0101_6 - 7907494609348301392400712139901111470756440482688895/65361841254089\ 361209285365195756131127775724317083, c_0011_5 + 1553400640575565280703655945604529988959822164566925/6536184\ 1254089361209285365195756131127775724317083*c_0101_6^26 - 200942878486615445045030556574048433424590092804296/653618412540893\ 61209285365195756131127775724317083*c_0101_6^25 + 3650659275686712723137373794239102680347119065284967/65361841254089\ 361209285365195756131127775724317083*c_0101_6^24 + 3910054902429544120721917106525087114245900248801372/65361841254089\ 361209285365195756131127775724317083*c_0101_6^23 - 29015147299652618523597599366111119857594841578431646/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^22 + 34719541569405917604143371757643604469033897096910659/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^21 - 107221806582330251124772799088628971626840363345494015/653618412540\ 89361209285365195756131127775724317083*c_0101_6^20 + 72344147000257356798801369146311539609179864392770146/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^19 + 180429907728331797480254483652355703688668404013601521/653618412540\ 89361209285365195756131127775724317083*c_0101_6^18 - 373066684746788027818409098418881528833014336265801868/653618412540\ 89361209285365195756131127775724317083*c_0101_6^17 + 19865038277412552635715078615140964570917636253946869/2841819184960\ 407009099363704163310049033727144221*c_0101_6^16 - 599362684896765979860498032994384336006693037418675478/653618412540\ 89361209285365195756131127775724317083*c_0101_6^15 + 548578846956609414995183674523837897890374946601316188/653618412540\ 89361209285365195756131127775724317083*c_0101_6^14 - 158766308039871084437253289752024711876807654742813262/653618412540\ 89361209285365195756131127775724317083*c_0101_6^13 - 68371234512430888262806575786202583010028753879132470/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^12 + 242335624642852082138131151123312194487471852646214712/653618412540\ 89361209285365195756131127775724317083*c_0101_6^11 - 371214161400904628641678530841470848478932949532446066/653618412540\ 89361209285365195756131127775724317083*c_0101_6^10 + 262173121810963733582714305893825820906285510869336319/653618412540\ 89361209285365195756131127775724317083*c_0101_6^9 - 278988273771985916486613975512188004023690071227342874/653618412540\ 89361209285365195756131127775724317083*c_0101_6^8 + 265316652844111364525203343478529423674176516012238729/653618412540\ 89361209285365195756131127775724317083*c_0101_6^7 - 26744346914406512437722121891844937896127737627064527/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^6 - 97392274535088024027944385549191456709899517776972298/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^5 + 76898523762727548850639636461228654940887957947739623/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^4 - 78831541979091036868458102060565580799420666500955270/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^3 + 2164654044424852157881351091059866327870568496474522/28418191849604\ 07009099363704163310049033727144221*c_0101_6^2 - 1896316059751066912905683355252018318290952499019314/65361841254089\ 361209285365195756131127775724317083*c_0101_6 - 4956602821637901282741380857336476061284088183803137/65361841254089\ 361209285365195756131127775724317083, c_0101_0 - 12004123660081968354737853686711855026726243/224767914336652\ 971384351069021610496477929*c_0101_6^26 + 1297889424028656191118414039134185694719790/22476791433665297138435\ 1069021610496477929*c_0101_6^25 - 283423874764508553932751809764250\ 46889284944/224767914336652971384351069021610496477929*c_0101_6^24 - 30895368766094837804420332950462813526368232/2247679143366529713843\ 51069021610496477929*c_0101_6^23 + 223129476471113829350206825516927794534490805/224767914336652971384\ 351069021610496477929*c_0101_6^22 - 264232731336814465939332817704019011247286657/224767914336652971384\ 351069021610496477929*c_0101_6^21 + 825472390798591394675950033212324592251459794/224767914336652971384\ 351069021610496477929*c_0101_6^20 - 543557312868658521136645206674927033163052078/224767914336652971384\ 351069021610496477929*c_0101_6^19 - 1395977950903114860803793322855898334143523766/22476791433665297138\ 4351069021610496477929*c_0101_6^18 + 2851754716492918232248194463822456988193822661/22476791433665297138\ 4351069021610496477929*c_0101_6^17 - 151680393309683065347981473962569555352587526/977251801463708571236\ 3089957461325933823*c_0101_6^16 + 458378438896255145181262493116395\ 5080264651746/224767914336652971384351069021610496477929*c_0101_6^1\ 5 - 4172807044132764617339415466738652759669213749/2247679143366529\ 71384351069021610496477929*c_0101_6^14 + 1182280706602227451776140838922722864446066651/22476791433665297138\ 4351069021610496477929*c_0101_6^13 + 520776022436330898998934802404325151626458345/224767914336652971384\ 351069021610496477929*c_0101_6^12 - 1859715273261779555356787460865762245103852000/22476791433665297138\ 4351069021610496477929*c_0101_6^11 + 2831068489992240426965740808168631128330418916/22476791433665297138\ 4351069021610496477929*c_0101_6^10 - 1984345098746781077945174110654776293654107159/22476791433665297138\ 4351069021610496477929*c_0101_6^9 + 2136356092494647695107421098716216830068218819/22476791433665297138\ 4351069021610496477929*c_0101_6^8 - 2016834561814992162621601313001044671572093196/22476791433665297138\ 4351069021610496477929*c_0101_6^7 + 185323314509797938340322804875438919529195176/224767914336652971384\ 351069021610496477929*c_0101_6^6 + 741200299258201343514950701176791538721232722/224767914336652971384\ 351069021610496477929*c_0101_6^5 - 582857330641735371685386411812497330142267760/224767914336652971384\ 351069021610496477929*c_0101_6^4 + 602309377433060899385266289460863984782026603/224767914336652971384\ 351069021610496477929*c_0101_6^3 - 16291405608651908060463075711162661873421201/9772518014637085712363\ 089957461325933823*c_0101_6^2 + 11729818493261377487069821694505926\ 718623873/224767914336652971384351069021610496477929*c_0101_6 + 36786706408845123303571932155937399077924481/2247679143366529713843\ 51069021610496477929, c_0101_2 + 4887379716421375455120238182974938370281814067985206/6536184\ 1254089361209285365195756131127775724317083*c_0101_6^26 - 328142031278636493746019788102420861990619860759753/653618412540893\ 61209285365195756131127775724317083*c_0101_6^25 + 11659468392439264734526821435174265857672543080257141/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^24 + 13132456859732222513597369263075051544227113155508930/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^23 - 89942026150667607202659831411911229436717543159675715/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^22 + 104484402049869172216239795820679283251342289689369921/653618412540\ 89361209285365195756131127775724317083*c_0101_6^21 - 333889126847582849124412114783571438887650677162008556/653618412540\ 89361209285365195756131127775724317083*c_0101_6^20 + 209146395986160530995372905544177157421069975839428349/653618412540\ 89361209285365195756131127775724317083*c_0101_6^19 + 568805168231860038819337345005674574930227520430846103/653618412540\ 89361209285365195756131127775724317083*c_0101_6^18 - 1137222413392044257247920958786755448722638413207455251/65361841254\ 089361209285365195756131127775724317083*c_0101_6^17 + 60423951337785237254605191042938073380232682232580777/2841819184960\ 407009099363704163310049033727144221*c_0101_6^16 - 1830249141657425379103676628703695854109593525785849672/65361841254\ 089361209285365195756131127775724317083*c_0101_6^15 + 1648361268416017620056308614275788253104469324696887124/65361841254\ 089361209285365195756131127775724317083*c_0101_6^14 - 448063913039354637033935519181804491947382693986174994/653618412540\ 89361209285365195756131127775724317083*c_0101_6^13 - 207361273885620612958095411944335409413315313286388625/653618412540\ 89361209285365195756131127775724317083*c_0101_6^12 + 751542017715732280615912923026065153772828340540418678/653618412540\ 89361209285365195756131127775724317083*c_0101_6^11 - 1126072164815259395342543203857391090268333165097834753/65361841254\ 089361209285365195756131127775724317083*c_0101_6^10 + 779584882829668922481108644981913677428839268286928470/653618412540\ 89361209285365195756131127775724317083*c_0101_6^9 - 857260224605705153252835800572212884008489557976890653/653618412540\ 89361209285365195756131127775724317083*c_0101_6^8 + 794874990828391369708738323090182798906415704913263188/653618412540\ 89361209285365195756131127775724317083*c_0101_6^7 - 60337047988400626721267310793993702216609461822219774/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^6 - 293784782555308487470591638263909745187474140145762397/653618412540\ 89361209285365195756131127775724317083*c_0101_6^5 + 230467427788535300868320335007634483055775290847055340/653618412540\ 89361209285365195756131127775724317083*c_0101_6^4 - 240622081493307304009051588382517234873505677634996936/653618412540\ 89361209285365195756131127775724317083*c_0101_6^3 + 6341194558787062235624819498963191031294483414971854/28418191849604\ 07009099363704163310049033727144221*c_0101_6^2 - 3413371613760394472524521659631498459474328426055844/65361841254089\ 361209285365195756131127775724317083*c_0101_6 - 14073198454967599568502655927865110757627659442542647/6536184125408\ 9361209285365195756131127775724317083, c_0101_3 - 1168350454910820934366205449450063238412543745587706/6536184\ 1254089361209285365195756131127775724317083*c_0101_6^26 + 202925751486706217667182250834212502584911175703567/653618412540893\ 61209285365195756131127775724317083*c_0101_6^25 - 2710487350764749759679693915958781816430394303785854/65361841254089\ 361209285365195756131127775724317083*c_0101_6^24 - 2791195098827317511101303876012792487637708509148746/65361841254089\ 361209285365195756131127775724317083*c_0101_6^23 + 22072766226239327492581292630359760058381364760077679/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^22 - 26881176882806249196804446874592277820266600601058404/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^21 + 81171943977572779919026457978824311305019614983230926/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^20 - 57556364005795405465589991990158817523412310181161566/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^19 - 135828218844206493075586464437213990094273202533921568/653618412540\ 89361209285365195756131127775724317083*c_0101_6^18 + 286530680390882565965857484453380969942594402529565510/653618412540\ 89361209285365195756131127775724317083*c_0101_6^17 - 15268298744158463602912540709720638310748826464335421/2841819184960\ 407009099363704163310049033727144221*c_0101_6^16 + 459846400090943657512010541854850094042255783433631711/653618412540\ 89361209285365195756131127775724317083*c_0101_6^15 - 425276629931574856825439041737979226038736599471967553/653618412540\ 89361209285365195756131127775724317083*c_0101_6^14 + 127506422307563947466162431715328641769859481271499639/653618412540\ 89361209285365195756131127775724317083*c_0101_6^13 + 52527276276622484710279428334955305809830529635381781/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^12 - 183299501856000983546801819200945001626004042872610140/653618412540\ 89361209285365195756131127775724317083*c_0101_6^11 + 286047164941342163002621060790123698209787563086191654/653618412540\ 89361209285365195756131127775724317083*c_0101_6^10 - 203781707206296005019765546856081176115953034887781880/653618412540\ 89361209285365195756131127775724317083*c_0101_6^9 + 212907571012225214016857733030051078161310792004325273/653618412540\ 89361209285365195756131127775724317083*c_0101_6^8 - 206298242983348179348981154903214502970462927634813341/653618412540\ 89361209285365195756131127775724317083*c_0101_6^7 + 23465199842643632959290699454777509729342949111818386/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^6 + 75158128862235962865067276290623931224408360081126642/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^5 - 59412449702266659115460027555444370199622751606583518/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^4 + 60513840243941060041432191319621952169166743066263951/6536184125408\ 9361209285365195756131127775724317083*c_0101_6^3 - 1697526282644484674643298026880456975188565374613254/28418191849604\ 07009099363704163310049033727144221*c_0101_6^2 + 1724013258921510836459679431706751555452941526660110/65361841254089\ 361209285365195756131127775724317083*c_0101_6 + 3939022935132518060173417044528723644913238606219618/65361841254089\ 361209285365195756131127775724317083, c_0101_6^27 - 5/7*c_0101_6^26 + 17/7*c_0101_6^25 + 8/7*c_0101_6^24 - 141/7*c_0101_6^23 + 233/7*c_0101_6^22 - 575/7*c_0101_6^21 + 87*c_0101_6^20 + 621/7*c_0101_6^19 - 308*c_0101_6^18 + 3044/7*c_0101_6^17 - 3909/7*c_0101_6^16 + 4057/7*c_0101_6^15 - 2169/7*c_0101_6^14 + 118/7*c_0101_6^13 + 1268/7*c_0101_6^12 - 2309/7*c_0101_6^11 + 2160/7*c_0101_6^10 - 1950/7*c_0101_6^9 + 1933/7*c_0101_6^8 - 823/7*c_0101_6^7 - 365/7*c_0101_6^6 + 86*c_0101_6^5 - 558/7*c_0101_6^4 + 432/7*c_0101_6^3 - 20*c_0101_6^2 - 17/7*c_0101_6 + 13/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.240 seconds, Total memory usage: 32.09MB