Magma V2.19-8 Tue Aug 20 2013 16:15:56 on localhost [Seed = 3347471355] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0159 geometric_solution 3.64770230 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.525222718789 0.013882423249 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.572152303465 0.036406805074 1 3 1 3 0132 0132 1023 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.416138387253 0.587186619898 2 2 4 4 3201 0132 2310 0132 0 0 0 0 0 0 1 -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 0 -1 1 -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 1.987070026558 1.456754948862 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 1 -1 0 0 1 -1 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -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.800008017711 0.407284061060 4 6 6 6 0132 0321 1302 2031 0 0 0 0 0 1 0 -1 0 0 0 0 -1 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 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.499098303572 0.502715221105 5 5 4 5 2031 1302 0132 0321 0 0 0 0 0 0 1 -1 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 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.499098303572 0.502715221105 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : d['c_0011_1'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(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' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_0101_1'], 'c_1001_6' : d['c_0101_4'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_4']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_4'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0101_4']), '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_0011_6, c_0101_0, c_0101_1, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 34 Groebner basis: [ t + 2561007701230571773586077101547626594902014788422787147226565005241\ 308379489329395521407/268707860808664180497030561756056589178386399\ 6703369986842435571861490267762919797652*c_0101_4^33 - 7683301917584547567079945921402709488475906215075035335732584337508\ 12973676615465395858/6717696520216604512425764043901414729459659991\ 75842496710608892965372566940729949413*c_0101_4^32 - 1098117336522799338196806175501592046145334500769026917426244149313\ 24662670705528960508957/1343539304043320902485152808780282945891931\ 998351684993421217785930745133881459898826*c_0101_4^31 + 1397661617569631316086737145586783159744561352361735404979619288198\ 53435348322428519141641/1343539304043320902485152808780282945891931\ 998351684993421217785930745133881459898826*c_0101_4^30 + 1569825285484273447252957586266724596950083918302756325594692530431\ 193101045319196806450191/671769652021660451242576404390141472945965\ 999175842496710608892965372566940729949413*c_0101_4^29 - 5903057686705129521255504839853126253162777926094406778574488942574\ 300534856993556144635253/268707860808664180497030561756056589178386\ 3996703369986842435571861490267762919797652*c_0101_4^28 - 3808487912227492111938937206898984196528321545127985298382784079690\ 3238260382289479607852401/13435393040433209024851528087802829458919\ 31998351684993421217785930745133881459898826*c_0101_4^27 + 3395612999251074550837987162529939419900371622473756431252151635587\ 9384418050163756886923905/26870786080866418049703056175605658917838\ 63996703369986842435571861490267762919797652*c_0101_4^26 + 5187409410527487416336966945338462348891564024659840835683066848896\ 71569932580190188471968415/2687078608086641804970305617560565891783\ 863996703369986842435571861490267762919797652*c_0101_4^25 - 2058439216366416968206252756169807763732052019105247421557999180274\ 5886003180003618582000825/26870786080866418049703056175605658917838\ 63996703369986842435571861490267762919797652*c_0101_4^24 - 5476526645401467612898383426239747996715422794964374029169998812763\ 61909346201490015257764126/6717696520216604512425764043901414729459\ 65999175842496710608892965372566940729949413*c_0101_4^23 - 1325582186406280752109170255301631227952626972817471613910713548849\ 40711148979341213306120049/6717696520216604512425764043901414729459\ 65999175842496710608892965372566940729949413*c_0101_4^22 + 1504941419103173683749730874411808962422027078568271296676828413071\ 750835667451754017629184701/671769652021660451242576404390141472945\ 965999175842496710608892965372566940729949413*c_0101_4^21 + 6567939756888624236155482461759527527015327129545857764182125897742\ 61672339523987854579631145/6717696520216604512425764043901414729459\ 65999175842496710608892965372566940729949413*c_0101_4^20 - 5561166503623055764178632317855330908226511905345907286345796337408\ 505974587528102047697013325/134353930404332090248515280878028294589\ 1931998351684993421217785930745133881459898826*c_0101_4^19 - 3255917640655454254918626035013048262504872084426943118427549650070\ 431387273624898617193413083/134353930404332090248515280878028294589\ 1931998351684993421217785930745133881459898826*c_0101_4^18 + 3525565045536302546664995927308772896232345158053591572774403143540\ 618174680469093794968134119/671769652021660451242576404390141472945\ 965999175842496710608892965372566940729949413*c_0101_4^17 + 2541369988014398207352328854630279587317931646108786237811633531470\ 994213020437378963738347372/671769652021660451242576404390141472945\ 965999175842496710608892965372566940729949413*c_0101_4^16 - 1234870772456747072181902736329967935325352457123338147047551601535\ 0272924522562796906849244405/26870786080866418049703056175605658917\ 83863996703369986842435571861490267762919797652*c_0101_4^15 - 1072341850353836840044224707230221490982952038828055032211957335551\ 3390951194486248868245404811/26870786080866418049703056175605658917\ 83863996703369986842435571861490267762919797652*c_0101_4^14 + 7377795896533087152065845712209773266876400388412145880954662219059\ 234171696652022001495885863/268707860808664180497030561756056589178\ 3863996703369986842435571861490267762919797652*c_0101_4^13 + 1953202605868610496478962978146625616664472754949722514241231180773\ 189343608496482349463160151/671769652021660451242576404390141472945\ 965999175842496710608892965372566940729949413*c_0101_4^12 - 2879742835734822162208652326776432148869442603817195154417605121138\ 529267336796525628673352975/268707860808664180497030561756056589178\ 3863996703369986842435571861490267762919797652*c_0101_4^11 - 9768781831052445223678056693666102103909366280222592496371535841831\ 50668028581798600440390820/6717696520216604512425764043901414729459\ 65999175842496710608892965372566940729949413*c_0101_4^10 + 1619568851350099976715231409661407777250825594805619422070507196967\ 79335430426038595497974297/6717696520216604512425764043901414729459\ 65999175842496710608892965372566940729949413*c_0101_4^9 + 1300690149569144590677542832049709636922188374624280983443105843374\ 377453711217866304391653827/268707860808664180497030561756056589178\ 3863996703369986842435571861490267762919797652*c_0101_4^8 - 1077086499723473380974282490047526053500271419105307355126010119699\ 5858148547193351781016724/67176965202166045124257640439014147294596\ 5999175842496710608892965372566940729949413*c_0101_4^7 - 6756331512601778625205199660464781236273674708432662605576875449858\ 0325123033884675717325379/67176965202166045124257640439014147294596\ 5999175842496710608892965372566940729949413*c_0101_4^6 - 3779464164113934851616434270612675687486127868181912376227992800611\ 881950205019224873803069/671769652021660451242576404390141472945965\ 999175842496710608892965372566940729949413*c_0101_4^5 + 3065825112243837681917283394908587391917429479155738171549156983794\ 8410816239206943398933581/26870786080866418049703056175605658917838\ 63996703369986842435571861490267762919797652*c_0101_4^4 + 1767437059257036242561919798180306612081055637120223285841937281326\ 696397758556447876956217/134353930404332090248515280878028294589193\ 1998351684993421217785930745133881459898826*c_0101_4^3 - 1297911783520077134170423607410469555047734800562311658975155160704\ 991849093501860165786707/268707860808664180497030561756056589178386\ 3996703369986842435571861490267762919797652*c_0101_4^2 - 2005635486308387330727069734566141184814396796977678565768392163686\ 25073474050812750554521/2687078608086641804970305617560565891783863\ 996703369986842435571861490267762919797652*c_0101_4 - 1362349823580142644897919046797671527594438733632699032886699193846\ 0530026209220086148665/26870786080866418049703056175605658917838639\ 96703369986842435571861490267762919797652, c_0011_0 - 1, c_0011_1 + 984026780533426278800309479337203553357322466863587375434800\ 5103687107016271397965/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^33 - 3278830340312108307124024275908151002310219597405145476802500585628\ 038998627963824/512801261085236985681356033885604177821348090973925\ 5700080983915766202801074274423*c_0101_4^32 - 4204389553395461288462734425236994504607545191509643652321628849806\ 58898082903181727/1025602522170473971362712067771208355642696181947\ 8511400161967831532405602148548846*c_0101_4^31 + 5922661346345470859017619979036558617276303300182553124575471952980\ 28248098215726743/1025602522170473971362712067771208355642696181947\ 8511400161967831532405602148548846*c_0101_4^30 + 5965649735804281725201298039262410943299797255136684071865536747437\ 742596371505982945/512801261085236985681356033885604177821348090973\ 9255700080983915766202801074274423*c_0101_4^29 - 2574122608901530882748194840841145028040030585044857655115593443703\ 5152220007175246875/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^28 - 1430845289898477428272533688365330709340586021182594222290912654518\ 09729595485005444541/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^27 + 1663744445503685298873938257913289419646568907319785329793926283390\ 66056945530870761483/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^26 + 1933635017571733061680575371921541821177107092462910856873155439684\ 866866321631047782761/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^25 - 3286076443712239139339464913969384369197886740173691946600650151027\ 49439065989831016987/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^24 - 2030452437867497042524324601538298136144049915307230684903818171533\ 601787985292716430928/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^23 - 2272159225745932534290666530313990164210964944079824559818479543727\ 18723002085627196375/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^22 + 5554423732425945301498404633130663681070444365843007942587462606686\ 478744204326392793578/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^21 + 1664178502103930784474087242600357942825208339128693118182526288718\ 769496553787770796720/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^20 - 2045031751697198438703459039447696157855898781939274675952415633079\ 7372084719192883830271/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^19 - 8888363950280630763026166046806174468997071151004136215563708647871\ 618144598839850673857/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^18 + 1295501399586409740099367086916543311150790124416390684269228643039\ 1700832803025553708840/51280126108523698568135603388560417782134809\ 09739255700080983915766202801074274423*c_0101_4^17 + 7066191549749171220136773220718850876358862806866161227547951879686\ 718270140447918004420/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^16 - 4570996791531349823242179549367177601074182135229159273385122232310\ 9904656895612803014023/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^15 - 2966096555677996555927396232575994682480887272795853598076000648583\ 4013569688636330033533/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^14 + 2806607659829377805961404014772648576013772641099737894622312600463\ 0270534501244769434581/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^13 + 5282709897711462735148398248126571904554071437283842116107522757390\ 411931193131927405505/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^12 - 1182945435942094283395838613076911754614305197910688900968667827857\ 0009928299823585338077/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^11 - 2535324241967773524765653644916545009124787809198619242547239876287\ 770111778397382895866/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^10 + 8266081331652699611936345717352878120822444091867564398699876152599\ 68450582976470244032/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^9 + 3161873211910292928980185745721365217828061612139725430143309532947\ 891831805679456417501/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^8 - 1412721885100297282652283311934886404977518476333408599888722143551\ 67690125762129620280/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^7 - 1492592411910121466018661232623323952360269487846002838042133765254\ 95782596208045203939/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^6 + 1153615152059241358925813408620634422842065674160422400358151175370\ 9091443553111239743/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^5 + 5975263672355954612893361063657000575421823217206421314712203806636\ 9363117106223377715/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^4 + 2157841193761710332312859972277024484829444864593026478621467131247\ 38191237208255743/1025602522170473971362712067771208355642696181947\ 8511400161967831532405602148548846*c_0101_4^3 - 2263816254320131907949363025489524234482735805908731478900322458364\ 821488520361060125/205120504434094794272542413554241671128539236389\ 57022800323935663064811204297097692*c_0101_4^2 - 2807382582792954613077480465209625693731737132958646774641657958086\ 86478047517047403/2051205044340947942725424135542416711285392363895\ 7022800323935663064811204297097692*c_0101_4 - 7309001771568702365693224573993903749203271648131794344682975938265\ 633347940466683/205120504434094794272542413554241671128539236389570\ 22800323935663064811204297097692, c_0011_4 - 655520950819924583257022717855006187599631547073682519025571\ 4736845687297181573553/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^33 + 4566166973284592448790129419739953867906225121943161058561799780921\ 263151704460907/102560252217047397136271206777120835564269618194785\ 11400161967831532405602148548846*c_0101_4^32 + 1399928146561128081281529181239794835799495225083512741838952385466\ 05644211102208343/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^31 - 2057416543638544153745466835818989144168834523661834435149362142775\ 81504234459331448/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^30 - 7939042619762161362619231259196677297643574568975308464652593816658\ 193347166771642059/102560252217047397136271206777120835564269618194\ 78511400161967831532405602148548846*c_0101_4^29 + 1811660578047616559920166258556322195440014117721465317931682663282\ 1892621359623783001/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^28 + 9523126923251439731223456990454749683707714827008109365731380677558\ 5293755827386519977/10256025221704739713627120677712083556426961819\ 478511400161967831532405602148548846*c_0101_4^27 - 1223556623220102345814864439021199014000538177593916078739361501376\ 39353938476160457491/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^26 - 1292164040537650691687139454956736665156467142947940252350653953031\ 895328860776803023211/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^25 + 2923135854440531356338197288616772367900804213867007435786317479355\ 76052738165559940715/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^24 + 2734510024775679356097046396055769683230303086715870777417619658193\ 794747447653458079641/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^23 + 1664844471322594465176274438560882302686938410759840969966503015189\ 56520076662026617313/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^22 - 7561613063257861177583684220299528696389422839743508222800064673787\ 909735432003476261727/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^21 - 1916740830872007058846856275583714118583778686522561030553640992868\ 151973366749611809367/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^20 + 7057466420270437204392066864921361899930533688204668945599994968957\ 232169547224808464839/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^19 + 2773597519674791947619226760200689365780994827385511047049455860192\ 036530214938603036665/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^18 - 1819307238368124601387537952547308835214725367642835930472830390490\ 9303253741431987371363/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^17 - 9241767331135809079106044692273213833386180658941563776368514485516\ 202177760019618274191/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^16 + 3276360079361574173993913784330089339397131703818168957172751918520\ 0180517172753544167437/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^15 + 2016926588432655784266301827943574463753762216689443125134306745414\ 6400955614133226168885/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^14 - 2059161103457164894540981206590192226521645547525083828052263202647\ 4213028560791327838771/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^13 - 3734220879936895285566431008575908086095157380591009799979603294999\ 263453838184642862371/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^12 + 8876496465327930877206171900696110505351830225340354870973341949424\ 057863341081359555461/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^11 + 3742206973874192034696191219572348519430424814639318994016297230142\ 529486522495272845629/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^10 - 1252410571614082076991479544734903843628749605140600288491299218560\ 766113933059328288575/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^9 - 2459887691857728278130498230319096440271073794710363991567306562249\ 192373058022367120787/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^8 + 1023429013613802775430229516042642807424549060484933494683127444294\ 48354233965658990964/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^7 + 1244626668961273970392452322543938834324906330857053148214853103885\ 36972554403855596379/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^6 - 5806992669270207127044126359514249298345219995808030138316569435182\ 166162224689181741/512801261085236985681356033885604177821348090973\ 9255700080983915766202801074274423*c_0101_4^5 - 5461387736872798387484198596230818155829537716201941712945549846657\ 7430366039698402843/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^4 - 6731649038440337101500767560597667874612879668644177874258489761440\ 42231468903652930/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^3 + 2282220274194215411431329230147685367463087336098480603127626327690\ 076411969846807763/205120504434094794272542413554241671128539236389\ 57022800323935663064811204297097692*c_0101_4^2 + 3370827072887112195160240653337356383741951051937778245716966298770\ 25049225467905367/2051205044340947942725424135542416711285392363895\ 7022800323935663064811204297097692*c_0101_4 + 1018205244021417386344741951882917410665533127421442807135547858982\ 0260128212384865/20512050443409479427254241355424167112853923638957\ 022800323935663064811204297097692, c_0011_6 + 351363088798669918424386140257445591003093597782170875917057\ 649041308783664012737/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^33 + 2556701210859578884175183423896042031438961556824293444001761709197\ 74561801306524/5128012610852369856813560338856041778213480909739255\ 700080983915766202801074274423*c_0101_4^32 - 1618100675957286717281020856343903885390684996978338201680935296317\ 3624565594789457/10256025221704739713627120677712083556426961819478\ 511400161967831532405602148548846*c_0101_4^31 - 4220988063104754090283703903485291343850075504213525875939223732879\ 2174287180948933/10256025221704739713627120677712083556426961819478\ 511400161967831532405602148548846*c_0101_4^30 + 2652106894903135972029023208157987070481082486762210702010253881916\ 72843404694768687/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^29 + 2635430411536412562882410356206490012304683371036902578616640328455\ 088515417945556785/205120504434094794272542413554241671128539236389\ 57022800323935663064811204297097692*c_0101_4^28 - 7457817597964662886456283969228357258974691388204268611551673453057\ 366796527993366093/102560252217047397136271206777120835564269618194\ 78511400161967831532405602148548846*c_0101_4^27 - 3599319126360796019004827616002617946944189443335291881783653119709\ 9444862967918181837/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^26 + 1031764614703173720422389978004929283305066577124637484412627337228\ 23232532544696604245/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^25 + 2696084781661052995285068122098404500609365562597687432587630443068\ 65749902543733078333/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^24 - 9931599802751004862139469929309957367853104481930953525607186504188\ 8258282708083453201/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^23 - 3032380606396484170115897474006669495004285579751166007350272997394\ 65635261862172970046/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^22 + 2223554968143860659901223789107887496226371374078488888957625477192\ 06394298631826442463/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^21 + 8672127384415264582766954094103754836338066898948414417370759521926\ 87951472335617773425/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^20 - 5381566712514849944569792846783844448616936173658530206116189085322\ 93912435168214244397/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^19 - 3292578945768562041398142082181134148338007714022892496090035011828\ 515278299883054246401/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^18 + 7282109419668847627750642091851446409515882866710042396146329048258\ 1773872775621315395/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^17 + 2137821165264676368982490581189674930986094411592804472778815323297\ 532437161969864046856/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^16 + 1202930771612162740406166692763445444059626219578477530987149289971\ 064995047853517443181/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^15 - 7723906770114260093868694551286286093563450322927484440458778509395\ 680316965863070629705/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^14 - 2161202551895711133604232051150383020938287584215192645058492568351\ 091149385312349250731/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^13 + 1216564187400530159293311961276535737209535818883332666494960639403\ 990206260028363795090/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^12 + 1885110080051257771033665697429460169933932193240603122989533692830\ 026236954987742312643/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^11 - 5273029814795355173570714502909090280311259568024392945126245921473\ 22245662758232014853/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^10 - 2454715701986701872607417217227264422342182531692126019351621096273\ 16464937086068879567/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^9 + 6060371294295913492231646327128078765184068257937006461537576395031\ 44574557920186001545/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^8 + 7737942088488815800717487929622788559416149406031314601384160029210\ 8146796527773018585/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^7 - 2676907646905421279853835580887455440106640244820412424881020021207\ 0989611572397796665/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^6 - 1390770638770682538359682587150512499544269655282374227357194312455\ 6942712276333243400/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^5 + 1013859278782463966954721508387776722274196081748390574731587624759\ 2562039077070595003/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^4 + 2443397229560051094594786684075435070253092452911048778940119358628\ 680303924224114451/102560252217047397136271206777120835564269618194\ 78511400161967831532405602148548846*c_0101_4^3 - 4101435632802517329970203138136259095216458764055872024193872417901\ 03838946735459881/2051205044340947942725424135542416711285392363895\ 7022800323935663064811204297097692*c_0101_4^2 - 1371630008262424351751632331194104764886987778341996547374701870092\ 74556613004170431/2051205044340947942725424135542416711285392363895\ 7022800323935663064811204297097692*c_0101_4 + 6627756989453847184864357853651987252682511830908207761396869084527\ 38471249588917/2051205044340947942725424135542416711285392363895702\ 2800323935663064811204297097692, c_0101_0 - 829184527229184542106715023246210227811198049169515202711453\ 3064125350747053609607/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^33 + 6265680506440164593747376533520318453968200848201467531755198248290\ 144920700653797/102560252217047397136271206777120835564269618194785\ 11400161967831532405602148548846*c_0101_4^32 + 1770584180377155591123527395900960452406685803166471919039123877049\ 80886279084699521/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^31 - 2814188571043274650189895893378277155227237075136609693164765182678\ 90615350455332247/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^30 - 1003559735558184724534825872576607446148483991230053789573756915731\ 9205076600848494467/10256025221704739713627120677712083556426961819\ 478511400161967831532405602148548846*c_0101_4^29 + 2538250441102159738519631008791453094806986229578236002942746402701\ 0607150070151916791/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^28 + 1206775324520633428653263434012376255289254384651051836482239668647\ 22471570313168074659/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^27 - 1848484369587380273228271708309412710979575978960653691812659033496\ 15551662658815069965/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^26 - 1654041204367999116768481756349641603406944860415918141227625789081\ 989234284243617898521/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^25 + 5637476951665734234273290362239145404087401189631052361034528544824\ 15053021606898056281/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^24 + 3561683676088950193356150470831213125124978919028719412191656746975\ 683220913880389162897/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^23 - 1519876305783731502795151270712624845545899931316916276485082469269\ 16754933023397429453/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^22 - 1008445077216809825287062759768602913401778771568260366359080138803\ 0470214502506986158093/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^21 - 1616100866161985303776462032160240122418040888474341289903366602129\ 025487649820542991303/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^20 + 9690794500994770052462414429616025432128416626162231548025650665596\ 540515630230935466758/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^19 + 2990305132054823368020808317550973764688606209616828733448307759934\ 245696365517874868530/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^18 - 2585748493287548590828497621581339805899747145368830444166932433257\ 0455765428580888975559/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^17 - 1112912863745423054449227293227016731777745850254522705331992069237\ 6051078281780508558431/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^16 + 4844598811487406189937968874282464025344163433281202849883736169050\ 1573125575960192625855/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^15 + 2628654874733691571216655375037977186294951000954225434144757823392\ 5262177729437387831563/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^14 - 3181212591709268302523302657394007622323790839065891657867574603793\ 4709297540541246459173/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^13 - 5209760673499439528698060391887077394326118968832757457638328726723\ 522413370086307592243/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^12 + 1434697285348241316528678407373649424304971127966960649815327291437\ 3630108858628901772403/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^11 + 5568961624837324361635234601228857926485839177586447985880466309446\ 560673786802349795253/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^10 - 2103952276321721918541612983878779605110177851071261820485207140180\ 623178732348897874021/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^9 - 3904029870724377221820279584965434095120036250117401520113713553636\ 706845048454235582077/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^8 + 1735683407615455158701651230800862505007076744937228823217836298296\ 43387513682449428626/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^7 + 2105381670006933907375377006006948569099868225519376797763544944631\ 98340198401084271673/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^6 - 8007993555254619162352520461876401859042222072439191178809553195340\ 838013844085411113/512801261085236985681356033885604177821348090973\ 9255700080983915766202801074274423*c_0101_4^5 - 9764354055624524845615661389877829824841859164840477481678107072120\ 2728694698251300369/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^4 - 1608931083888470511900481697618295644606446024578588899833332926778\ 030664238657099029/512801261085236985681356033885604177821348090973\ 9255700080983915766202801074274423*c_0101_4^3 + 4156258889446139472447435958334895070584108366308745422679627353441\ 951175027760593489/205120504434094794272542413554241671128539236389\ 57022800323935663064811204297097692*c_0101_4^2 + 5752678716372948009785429993706724696990926112281362772411865039508\ 29317950686839625/2051205044340947942725424135542416711285392363895\ 7022800323935663064811204297097692*c_0101_4 + 2026710586285680546030030806264166516368134281246280188532148204600\ 7762336542997711/20512050443409479427254241355424167112853923638957\ 022800323935663064811204297097692, c_0101_1 - 866786491938060212554055560988152188447848943941794341467708\ 9895544329458842045359/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^33 + 5972218520430258629481888331906869151187456595077649580672024651141\ 624154800906829/102560252217047397136271206777120835564269618194785\ 11400161967831532405602148548846*c_0101_4^32 + 1851695689237711853815544681966221598848214996955796554054206053195\ 12839785476105279/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^31 - 2693144586845662516476601060200357756391556970895820063328124554101\ 64801613407315853/5128012610852369856813560338856041778213480909739\ 255700080983915766202801074274423*c_0101_4^30 - 1050786949398047666277736124826071118268306534185251305968728775092\ 7753286250996775307/10256025221704739713627120677712083556426961819\ 478511400161967831532405602148548846*c_0101_4^29 + 2365987638105226557401015556467620576532308993133222667348353804881\ 6747347758772124195/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^28 + 1261408100428496482121689330197918297933230442781103926189401555179\ 96193796780148455639/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^27 - 1585328265888239357279721506216134845575012790561530034115143034854\ 76823831452601204885/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^26 - 1711205247970535734871218420210382820014163993211071457613994358026\ 044367423356596323041/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^25 + 3661136246409556911064596308666146194700723761244311520534518232195\ 38782242986967826413/2051205044340947942725424135542416711285392363\ 8957022800323935663064811204297097692*c_0101_4^24 + 3617288363126791085384662608233633553276144556321579308810933614509\ 428517115748542623175/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^23 + 2581728368302217659219559130670225347300927900515721663931112476220\ 51292116404800390959/1025602522170473971362712067771208355642696181\ 9478511400161967831532405602148548846*c_0101_4^22 - 9982637729151537528247780336481242542050738008411823749478650665204\ 468811792816981214389/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^21 - 2614625293208763090545439588061895612197945944551225501703334569249\ 862085622586938151231/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^20 + 9288050008581114048589303653861368188111896859453633890082881514732\ 314517499581588001577/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^19 + 3703951907378423403042824627807887231752184396783888035790605685821\ 560901021741648528804/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^18 - 2383872958777133183227328953976642769121016843852874915688126570118\ 7147982526260449533841/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^17 - 1216258044973696047523935314825663455921006971064265256523859960909\ 2249083894369335934483/10256025221704739713627120677712083556426961\ 819478511400161967831532405602148548846*c_0101_4^16 + 4269909114839447342857404953168128487605993054711565349114067934907\ 5973126037458374731307/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^15 + 2615819714006503325153141269196872922331762989625303211775060313473\ 6168105158408044129311/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^14 - 2669453780146244120828116002531811521490876875540231998172569172176\ 4536664140250707422801/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^13 - 4761440040579308852299893726849719624914110741686026353457973535307\ 955769905603736126768/512801261085236985681356033885604177821348090\ 9739255700080983915766202801074274423*c_0101_4^12 + 1149153736356129679062495004267250077305312039206615959184147737740\ 2065710426502605971567/20512050443409479427254241355424167112853923\ 638957022800323935663064811204297097692*c_0101_4^11 + 4669025873481836612316995736893215306654769879393882267609545953739\ 310974985641757943653/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^10 - 1644078769590667933978545405933836272605009094201400579554862221316\ 080341865390250513299/102560252217047397136271206777120835564269618\ 19478511400161967831532405602148548846*c_0101_4^9 - 2978105614377210881366468057927631584619487560862594458866383420157\ 691920957084517991529/205120504434094794272542413554241671128539236\ 38957022800323935663064811204297097692*c_0101_4^8 + 1438022438584046547475573453390984966151332230810769185669151968808\ 93860249619913564963/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^7 + 1441527032564143479177744685223127863961981973294539883741469412380\ 25218367791193606185/5128012610852369856813560338856041778213480909\ 739255700080983915766202801074274423*c_0101_4^6 - 1199173571142557824511899706302737907449445690346129921212576819855\ 1834261067642238455/51280126108523698568135603388560417782134809097\ 39255700080983915766202801074274423*c_0101_4^5 - 5906808909038601581199280873306410505632641707042030823824233209854\ 5877952325574746265/20512050443409479427254241355424167112853923638\ 957022800323935663064811204297097692*c_0101_4^4 - 8993408313085214158441776112299396630196837583112509113897966990226\ 3768883743572669/51280126108523698568135603388560417782134809097392\ 55700080983915766202801074274423*c_0101_4^3 + 2159344711593137199208685174570697920128660085581054840725376857413\ 214020679310100697/205120504434094794272542413554241671128539236389\ 57022800323935663064811204297097692*c_0101_4^2 + 2618252768875280890568855757516746451676760674398239203060420950136\ 68894413241307101/2051205044340947942725424135542416711285392363895\ 7022800323935663064811204297097692*c_0101_4 + 2340054137329406617295599653249368867267514773701078519516456946262\ 7405733981255683/20512050443409479427254241355424167112853923638957\ 022800323935663064811204297097692, c_0101_4^34 - c_0101_4^33 - 86*c_0101_4^32 + 92*c_0101_4^31 + 2474*c_0101_4^30 - 1815*c_0101_4^29 - 30211*c_0101_4^28 + 7321*c_0101_4^27 + 205298*c_0101_4^26 + 32388*c_0101_4^25 - 857605*c_0101_4^24 - 377788*c_0101_4^23 + 2311824*c_0101_4^22 + 1495316*c_0101_4^21 - 4145398*c_0101_4^20 - 3410984*c_0101_4^19 + 5012714*c_0101_4^18 + 5072160*c_0101_4^17 - 4047851*c_0101_4^16 - 5155854*c_0101_4^15 + 2062470*c_0101_4^14 + 3632791*c_0101_4^13 - 527373*c_0101_4^12 - 1755779*c_0101_4^11 - 45904*c_0101_4^10 + 561325*c_0101_4^9 + 82687*c_0101_4^8 - 109904*c_0101_4^7 - 26580*c_0101_4^6 + 11007*c_0101_4^5 + 3727*c_0101_4^4 - 255*c_0101_4^3 - 178*c_0101_4^2 - 20*c_0101_4 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.080 Total time: 0.280 seconds, Total memory usage: 32.09MB