Magma V2.19-8 Tue Aug 20 2013 16:16:14 on localhost [Seed = 3465499149] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0501 geometric_solution 4.51213283 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 1 2 0132 0132 1023 1023 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584339101026 0.075472720914 0 1 0 1 0132 2310 1023 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.758262113412 0.026583437668 3 0 3 0 0132 0132 2310 1023 0 0 0 0 0 -1 1 0 -1 0 0 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 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.848439708227 1.025705505369 2 2 4 5 0132 3201 0132 0132 0 0 0 0 0 -1 1 0 1 0 0 -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 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.389529462022 2.797029274395 5 5 6 3 1302 1023 0132 0132 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 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.396278116267 0.631865379311 4 4 3 6 1023 2031 0132 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 1 0 -1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396278116267 0.631865379311 6 5 6 4 2031 2310 1302 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 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396278116267 0.631865379311 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : negation(d['c_0011_6']), 'c_1100_2' : d['c_0011_0'], 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : d['c_0101_2'], 'c_0101_4' : negation(d['c_0011_4']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], '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' : d['c_0011_6'], '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_3']), 'c_1001_4' : d['c_0101_2'], 'c_1001_6' : negation(d['c_0011_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : negation(d['c_0101_2']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : negation(d['c_0011_4']), 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : negation(d['c_0101_0']), 'c_1010_0' : d['c_0101_3']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 38 Groebner basis: [ t - 8080410936110716476889699336691524174744743779458454551828677917424\ 72120420/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^37 + 55187762231357320486140272068164722598\ 13424174614720690271541110149220154633/2834050411699678417331191611\ 11942386592267457926919724517655440795767429*c_0101_3^36 - 2878053225986365542724434833051015543834391663270308490185016104250\ 3048331958/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^35 - 218786560767111314027344638511450012\ 972245649512934199833566429618928396787342/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^34 + 1804620005137903820590872138958148641865547892442623175094564371641\ 051272862931/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^33 + 2320626986645146582133887633239370\ 404361764657393611306844588716727077937307709/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^32 - 2876445103538276974197365568404259549046056871399219240834441645805\ 9915019695509/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^31 - 744663453006100225733660100913039\ 0650700141570218823180567806423877111087006952/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^30 + 2303283393395421706152075939060911850846446220611601402081407289854\ 18924557347520/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^29 - 2891707233931341194885128996341415822704656284929741153115793512295\ 3860047998824/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^28 - 111024400824311404984885338044247\ 7453548704145228259558945473715319131886089678119/28340504116996784\ 1733119161111942386592267457926919724517655440795767429*c_0101_3^27 + 33539366670148955915527147252477467723964127910962879540643908736\ 7032145997647182/28340504116996784173311916111194238659226745792691\ 9724517655440795767429*c_0101_3^26 + 3506773441652385103935519461730818904690166157139655034102303195324\ 363931586770184/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^25 - 1355290109834418972155297134187198467665912517884753771468166308420\ 677567318047919/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^24 - 7628749973812547644987730514054243685827839675648925235361650985428\ 945074165517251/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^23 + 3228995211047537067733193375383514958967249015012429555791999836752\ 722263219558908/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^22 + 1180755663957714110761601270256307795154990495233277671380730144170\ 3791916664373408/28340504116996784173311916111194238659226745792691\ 9724517655440795767429*c_0101_3^21 - 5110611636339465258222340829670623648047456865412597483294138947411\ 362362122246531/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^20 - 5512139758530136551381431386426062338132789468042330913484304939194\ 5408789384556/11759545276762151109258056477673957949886616511490445\ 00073259090438869*c_0101_3^19 + 56467025879850360117830365182538844\ 58345608387908169474539765270628296907096060733/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^18 + 1100899342380901747654273093656337209581480145760220661363012084034\ 7894645152365747/28340504116996784173311916111194238659226745792691\ 9724517655440795767429*c_0101_3^17 - 4454456329991122374608541336992599361489640649546758848809508385673\ 117024614028709/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^16 - 6765112168376437997663435368845851095008893124042998048304788143825\ 009311902438217/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^15 + 2524063391153091840936711585420829497603604160451180366620870396516\ 664321325944093/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^14 + 3084704801167440214337643438668969203989396860982629115734437420660\ 250645374591468/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^13 - 1018972974437417650012898394483257322202531292300008611099006178099\ 450939944357859/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^12 - 1037797336965599947770867618749768996195177828714487888895594742545\ 951363199880006/283405041169967841733119161111942386592267457926919\ 724517655440795767429*c_0101_3^11 + 2857498376109817573491328902794252264032438653467491786703875958705\ 94491390279258/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^10 + 2540058467613513645087069071986445262284009481105447247041951955762\ 94915483421803/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^9 - 527528551811050457016406732982446\ 30557503102381944972090015982337960157781481626/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^8 - 4395817669560548881873073813669094430201146505965763657027203663098\ 5741428636918/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^7 + 5683139102655313895844274075912192\ 260586949020815959173566682057209015404635832/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^6 + 5078648998472199200430459920076898965943665766450993434054300086708\ 091705103741/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^5 - 23737675827126075272458626903276075\ 5375123470801093459464029754058690544334201/28340504116996784173311\ 9161111942386592267457926919724517655440795767429*c_0101_3^4 - 3448140399597002014949725708009538089691834349851010078028673870268\ 97181172518/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^3 - 929429865146435382075315947609880564\ 1328138003824023206821599001938952952226/28340504116996784173311916\ 1111942386592267457926919724517655440795767429*c_0101_3^2 + 9443207111781455764282335752568874230900232735525384085933958834088\ 204231400/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3 + 8095465055757036547097823950672225301698\ 37224390903734266129267460583933919/2834050411699678417331191611119\ 42386592267457926919724517655440795767429, c_0011_0 - 1, c_0011_4 + 188518114089965674095049703043364182812687725064432953079857\ 53442743422772/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^37 - 1289756770571657892639168979410744019259271621409625461528009580918\ 04688660/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^36 + 67261255163494640616880234805416136071\ 5917891319732599582063704647427805402/28340504116996784173311916111\ 1942386592267457926919724517655440795767429*c_0101_3^35 + 5098716826574034472034325668374087238276489603660728626714404992242\ 505800280/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^34 - 4217380535292275708602336843828513117\ 4940218788555432072409313139192168691398/28340504116996784173311916\ 1111942386592267457926919724517655440795767429*c_0101_3^33 - 5374813310246362856743608630502372160980384199243397175355215439038\ 1839098522/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^32 + 672454809711550332866433646197633239\ 811675931177298159475998934448986277103064/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^31 + 1672142518033897286792040308057535272448442873713837004351767597872\ 38273547954/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^30 - 53873194631020633388716627197778341\ 34043322867919660780119451687040215874526972/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^29 + 7289958719649363460808406105986203197854473472016034266583542462260\ 35102084864/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^28 + 25986532537249618699883621993852407\ 448707264805778825455146570510562322429580982/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^27 - 8097581409949313079563667281690233079062369328767003065225967460479\ 969304059296/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^26 - 8215779536458877841812917989214360\ 0358945515294458250505597390217405185174128983/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^25 + 3251396302992710771196679809049689671503045107772453894780228811566\ 3244748360118/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^24 + 178948031871314189572310701620839\ 984345167297669160065396708400714560554335678611/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^23 - 7734631184590590715335397003045112343914993859748044294650852001437\ 8009791774199/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^22 - 277394525907565735315964903554422\ 343806305624696166745928533029540918681521848286/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^21 + 1224371196879155159990797326485503869143718723135942647267716621171\ 79840846641601/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^20 + 1297383136880166733516517512785225032596926326312196353975298342768\ 570079431612/117595452767621511092580564776739579498866165114904450\ 0073259090438869*c_0101_3^19 - 135422020855045242784519349456052690\ 257205155132200484869688470846783593120944942/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^18 - 2597044967265843092904391660577453990596274944538634900460972135160\ 85046039292176/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^17 + 1070058222379944014645622044996363379087713453018132658859808777309\ 99176795032547/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^16 + 1600362162033884166931757946867830293125942348815165412114984283469\ 57435203346672/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^15 - 6076186338815981849747526896784847295895340332676667926269524549747\ 0959166009957/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^14 - 732300124406192622836763407852170\ 81768336262590681559711021387700549637847833872/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^13 + 2458821164903090081774099855234953646607432631327179564420928463497\ 0650509731333/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^12 + 247503501157240848567755796207576\ 66579064579322480488405944231815998706287355483/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^11 - 6910266572981780029138921219240232830010769686283706391562987251317\ 007137862188/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^10 - 6094590534312098261036080254803630\ 448252069262189825532522805687261533490524331/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^9 + 1276424796665607607624063360985435026848204647868861718683106643058\ 414037565643/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^8 + 10631155632438907674374127279750733\ 77057349915973953806330481327933989891613273/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^7 - 1365834043227270750388062614500361734296709545236515703094832555727\ 91393833952/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^6 - 124046256037521699308142754424843666\ 491133279762509648329280143908529030642366/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^5 + 5351942067756729534688446187197221818675956584989485106919020378825\ 097810351/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^4 + 85169529614695448627611806797900819134\ 18624607770235737600440908289015293795/2834050411699678417331191611\ 11942386592267457926919724517655440795767429*c_0101_3^3 + 2838475445762657950306741761921755033978525148028570938029240718748\ 75046095/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^2 - 235942344786235432378468355994015155343\ 903488813223729152917120965859229037/283405041169967841733119161111\ 942386592267457926919724517655440795767429*c_0101_3 - 2228196654205367852870192116322531221586901480831242948182920223579\ 3536619/28340504116996784173311916111194238659226745792691972451765\ 5440795767429, c_0011_6 + 193076493411233859090623522461166977538358674044697389643246\ 212346666865/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^37 - 2764990015950913694641623344821746\ 970950382757394389350619966579137673063/283405041169967841733119161\ 111942386592267457926919724517655440795767429*c_0101_3^36 + 1569030459553632315889957359555124466816268593140190048465087780614\ 1988447/28340504116996784173311916111194238659226745792691972451765\ 5440795767429*c_0101_3^35 + 742099580895533957109061621093034581023\ 6895684774351501176826662953529673/28340504116996784173311916111194\ 2386592267457926919724517655440795767429*c_0101_3^34 - 8569526752507673178001934554669699732700317279598433390037904948774\ 52706763/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^33 + 23680412265441476532887255652774278728\ 69065281072735706328504046275438662288/2834050411699678417331191611\ 11942386592267457926919724517655440795767429*c_0101_3^32 + 1322496465092891451942664851107098807178270104373782029503728453740\ 5742175640/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^31 - 453973923501138976572514828744172283\ 01812075559464808756534257478836345327283/2834050411699678417331191\ 61111942386592267457926919724517655440795767429*c_0101_3^30 - 1036430757095228552310883733903504098561166558454885752871431192497\ 80973840578/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^29 + 38919350261071036072148399920775461\ 7097312679156762943756492466502945113206557/28340504116996784173311\ 9161111942386592267457926919724517655440795767429*c_0101_3^28 + 4975936333617737708990008852426342400300540932227353293541712482735\ 96832171506/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^27 - 19422515891916887100462395811596630\ 01871262221363449540685940708410838212889329/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^26 - 1611799254973286123415320781844081726332248476624034614973038723857\ 288669684324/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^25 + 6248586707305844220497077046912740\ 424148150380189799406215880446231356190210959/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^24 + 3738022627805162096856466205185761175023691025159048740920886135783\ 167942464151/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^23 - 1368919841073890377290018948443222\ 3740932441191906110636850031464050691041609639/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^22 - 6438571399744437546353742089130070230578221853099246653393640668082\ 481173265646/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^21 + 2111620162332690379877030546500379\ 7137461270012558773304693270815882569466370388/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^20 + 3485563241283581910636743761639337720761724200504551895721595026413\ 6201848300/11759545276762151109258056477673957949886616511490445000\ 73259090438869*c_0101_3^19 - 23407584730078589609699776201399447581\ 839764429398009431009431517094014678489776/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^18 - 8362268649236167357388448947383753902053417485743520597616760935978\ 507916842905/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^17 + 1884380944837523601900673823050465\ 6776053140275367515923172313867995503019484133/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^16 + 6346875851685766323985198855007036160032655887086949886475934365924\ 815916191867/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^15 - 1103362748668340669487165189434823\ 3576415261473850816422425497734568681434222430/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^14 - 3649628653976839877832231394167053773535123264740871764259179236078\ 760248728961/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^13 + 4659490267677562265611211857900923\ 727832191725898259664673617334949844814073954/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^12 + 1570915607070702234198703140023998050949619591027227562994772475980\ 055359426911/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^11 - 1387887812393650862042357539537671\ 489172216378631972081766937384789779088610298/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^10 - 4955596855964027164391558548370982095476420359516179430287435959252\ 64714351117/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^9 + 278396525938386877130927350165499778\ 992635387101795799308028532067376340584610/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^8 + 1103340793749633120277551907800435029355763992937106899735297305363\ 58850734135/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^7 - 340200715610796302281317316167587643\ 51811673477583279436484362604343106401859/2834050411699678417331191\ 61111942386592267457926919724517655440795767429*c_0101_3^6 - 1616895174786639880388710459950751078071567043479932546352670286435\ 7421013936/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^5 + 1894440306953737445648740164456166648\ 874411257560965173051160189008989762279/283405041169967841733119161\ 111942386592267457926919724517655440795767429*c_0101_3^4 + 1351316085996931123131143332581301993935337563731654898246028206666\ 551562913/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^3 + 22793772913661321240237463729829426721\ 633339467217206232441267865813267328/283405041169967841733119161111\ 942386592267457926919724517655440795767429*c_0101_3^2 - 4356245462034379648026595356026227864026695526695858987658268155574\ 2668522/28340504116996784173311916111194238659226745792691972451765\ 5440795767429*c_0101_3 - 389019799064591920728913496720547466678924\ 3472644715307851456766353295894/28340504116996784173311916111194238\ 6592267457926919724517655440795767429, c_0101_0 - 351157823896555135045501294570534898106757496354907019157788\ 09790299895372/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^37 + 2338782585097805496075022451201464433986078586568706097386049340052\ 79346507/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^36 - 12127041491374065107868276516716964085\ 85221141076009554289782603084422504596/2834050411699678417331191611\ 11942386592267457926919724517655440795767429*c_0101_3^35 - 9704440134264242891347994540088996340143141596255677335224795373766\ 203818076/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^34 + 7673274145758281027255962312997933642\ 9653012059336098326096396348433643002557/28340504116996784173311916\ 1111942386592267457926919724517655440795767429*c_0101_3^33 + 1133615642851402510439728359656965677010417938990733492846373084028\ 65992783767/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^32 - 12277083737720001611621321649942644\ 16147594996911019174204700772671726560522110/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^31 - 5232567845644446100209653445271542582200463284579175932445114599700\ 35274256918/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^30 + 98700417932922637330097262329353760\ 16269038758120411060418252781556043023133493/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^29 + 3401106135739944978629821250703410749370975474032325390674816026756\ 10459584917/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^28 - 47774253606648721133727205368557496\ 769228349781134106055226922939549203259309391/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^27 + 6910723219756168000240379601141599153719251245933419581434151461484\ 835449238967/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^26 + 1515125144486522659662593257043206\ 01738974785215266294921000481448097104723013867/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^25 - 3489804095336982314534185870197118842210164556789227184537822903641\ 1727681442368/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^24 - 330830558604329221294254899344419\ 371405250292580438223122178392500452330089058761/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^23 + 8887736806702682585458553335341437773088722375085658370261453799438\ 0119084079740/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^22 + 513646787067279788282332376738582\ 013046989057200398958628784374329489396506638394/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^21 - 1442192463105203575740278225747932368314933269361037455351670603518\ 23339927172227/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^20 - 2403374877080369149461184989799260504436093304925811261069081717841\ 874266501794/117595452767621511092580564776739579498866165114904450\ 0073259090438869*c_0101_3^19 + 160499019917042576742752485329637854\ 808089701236689311747505418215557417841581353/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^18 + 4805994601380875382726270679215526429844430144244733146562731804845\ 29908620905123/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^17 - 1262016979622510613628150381663898877156321669720041978555546324039\ 59585152908812/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^16 - 2952735422887104171950989030261622082396869835373651196668168215716\ 13512452556100/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^15 + 7063060111588804695037515555883382302496642532516997800182437069278\ 1253872733947/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^14 + 134333229628261599373633663165996\ 303729986756786671152735549483946661997863281152/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^13 - 2782434042404919160253707432769452858063519723519179554801904653754\ 3724438897226/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^12 - 449517362406848619477001688037812\ 94316727305978334546056751454165516790642473280/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^11 + 7451458644425426332232575515951242264726530248097611437870257093974\ 173328012643/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^10 + 1089169099561660460398215569405277\ 2157419972592259079837326981023278922407291089/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^9 - 1249943024438913286032408188934345973294414383326697895380443059727\ 443972073171/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^8 - 18537443042910653502794028296693660\ 96530684053821374142923943567602130037739142/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^7 + 1026476088761900249380775198725930370343327745713330209371953204576\ 97432901667/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^6 + 208997422767881418014172661198595093\ 555467327150932521600898523221211551151764/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^5 + 1603279219172753230792168102400338779850541444795416450668668605591\ 503681753/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^4 - 13770646300277703714168183441029550074\ 782353129037336353975872040251727692806/283405041169967841733119161\ 111942386592267457926919724517655440795767429*c_0101_3^3 - 8798678883844094103780740236866469622797020850862513017019366476554\ 36698119/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^2 + 369657864946633317500376765992274404951\ 202036712465602325547688927168714829/283405041169967841733119161111\ 942386592267457926919724517655440795767429*c_0101_3 + 4001225798918890403648711707154813742235426447564933279720104281277\ 6060954/28340504116996784173311916111194238659226745792691972451765\ 5440795767429, c_0101_1 + 608562076196797169035536667109910636112152755112164029757493\ 78795714249448/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^37 - 4093275564729471337265008841962544279342471712670197743624079832876\ 37667492/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^36 + 21274237542672401923823962490295094848\ 77850626299131359939701689152949943914/2834050411699678417331191611\ 11942386592267457926919724517655440795767429*c_0101_3^35 + 1668482839757791473675804847559158885746907835064391875968167698949\ 6595123289/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^34 - 134114876478322696706143119827472190\ 707611442481275845234484541559680238490367/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^33 - 1879772097383004709230569157071786774654854874724039172637125462924\ 92338332285/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^32 + 21424354396782564184405771357410571\ 70384186058259455732719710179716542437572097/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^31 + 7713447098712779630124161489960344104671352601611375427051347236808\ 98260750431/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^30 - 17195628040060899471726376005680515\ 619290718166227888286729824134790386870810766/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^29 + 4961352346735764284734741276991998854076822832391260274624703735299\ 67434856988/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^28 + 83093840253446361111378963341788960\ 913572185742208772597015622162571420961649162/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^27 - 1720253409478336405810314642848592780018394909639627090645678133164\ 1542968084150/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^26 - 263121479970357019374464235088458\ 077045744181987212301423510801625487955894507000/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^25 + 7691285812879340070503861703769469014047549079398399478632713807580\ 0398212091296/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^24 + 573838665210275960026202674564127\ 625998781445760556557804676014785434151630221331/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^23 - 1894550470503631938601340126621946116433652145767072729695707604492\ 54897356005082/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^22 - 8903705344022260498662762131534256947020212858654808421772772349370\ 13524829416454/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^21 + 3039341984114315715154293436829122262401319333877549536300242362231\ 27307233255412/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^20 + 4166916518907053898862461746581925002493049599563658499355213187862\ 455964673633/117595452767621511092580564776739579498866165114904450\ 0073259090438869*c_0101_3^19 - 337461230391032783522490146778889247\ 595722360782416969590017827127215483822757800/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^18 - 8343985433548986603269280000908996596693759025228655008990169373230\ 86852069392818/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^17 + 2661312105780076514825152510596801684588238433978038828617077653095\ 20815909371078/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^16 + 5141686792365432564494735018592302972561865486907846042123426639577\ 73675154225315/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^15 - 1500429801781636014285433567692316180827823695159225857025129722178\ 01813372951116/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^14 - 2351199380315835232922694916533782090556348316655308772047201982197\ 91415491344838/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^13 + 5987333104889370783465328328047244701589576166221774073379487817087\ 0632352922730/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^12 + 793087900311840067434407849182318\ 24647994018945223863114489584246109281345953195/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^11 - 1639672097738675832399552984943405149660587789935378568537424453860\ 6593073487973/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^10 - 194423833623302501337386813075552\ 24995599677243939641325140215141808486740011977/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^9 + 2874599448685787986811931919499030917799546045352103992486152037810\ 813367532548/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^8 + 33630313606159791699043594394558663\ 66995650900754902332282102263247605807127951/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^7 - 2680060806139099725240872406264490150802131790485500439909791562258\ 00294581052/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^6 - 387140860696142545834569234159392775\ 716886825958971608524146594768071999506181/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^5 + 3032520560454980072869509574921995234912592475276422484966032606954\ 285604535/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^4 + 26122852903791838725871595337689263048\ 447839856981778257345214145624543751543/283405041169967841733119161\ 111942386592267457926919724517655440795767429*c_0101_3^3 + 1474321084727589112489332768154527583033514791216993457181437955939\ 080024954/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^2 - 71642355006260744656937154108510505197\ 2100755721033831933730007776388878176/28340504116996784173311916111\ 1942386592267457926919724517655440795767429*c_0101_3 - 7627473971819988160084438748114756371089505095892134667485764480006\ 5536952/28340504116996784173311916111194238659226745792691972451765\ 5440795767429, c_0101_2 - 134476595308606931724278049574643789718902719897163118254154\ 76805699779535/2834050411699678417331191611119423865922674579269197\ 24517655440795767429*c_0101_3^37 + 8914708444452487773053801326427028296961044921200352659276094033985\ 0346071/28340504116996784173311916111194238659226745792691972451765\ 5440795767429*c_0101_3^36 - 461770295275162301051050607647538475419\ 979978517442647804935061280464910649/283405041169967841733119161111\ 942386592267457926919724517655440795767429*c_0101_3^35 - 3729821454902976299365919352416927235705344333495601555043979651681\ 790243851/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^34 + 2926478068894456530961149895041127224\ 9286156055290340807629935851056414852252/28340504116996784173311916\ 1111942386592267457926919724517655440795767429*c_0101_3^33 + 4428512105989132568191233408623125419736988761789587637760641643593\ 8735721943/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^32 - 468511876518000284979359558521636776\ 891012816948044655750082026662613633229474/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^31 - 2145218088142417707208800029699170800506451891807746021004885675551\ 18258767051/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^30 + 37690940648465625006909796966003406\ 38436472671384944174068028630418646394711250/2834050411699678417331\ 19161111942386592267457926919724517655440795767429*c_0101_3^29 + 2453847383236308071245431224483338724687768809685228956152684781381\ 28679682245/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^28 - 18258303292602654738914323254767998\ 595220890367052142972548614153360292207580250/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^27 + 2081912666929933451514314926062603959073570837531587555125731954040\ 791432263637/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^26 + 5796166342838336613761869318401963\ 6912858336383988399291843253254046061869027720/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^25 - 1155189577481330549946616494469287623976286293361787032993908992759\ 9536008021462/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^24 - 126718468606288984723870132838845\ 391457695316670644022632743244595966860608492897/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^23 + 3003640502139518036203890324450781409991944310451822027230031002681\ 0974322163117/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^22 + 197066759769665106315523088773152\ 722256276428726557851508899617425288491577636867/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^21 - 4896780889291565228736315148850180778068597307700854462002750666055\ 8153411133648/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^20 - 924111044881361310293950527971525\ 232455969847668052475280256752852879043841578/117595452767621511092\ 5805647767395794988661651149044500073259090438869*c_0101_3^19 + 5436313747338855622681727962074131322960907515412480560770890403584\ 3105210493229/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^18 + 185328558214133407416324567288446\ 737919760845857463051550618163676087656814947396/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^17 - 4242342772468121957333784918129542038140546747445115850841516407683\ 7549335927758/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^16 - 114281594324318277843981346722117\ 477104860928521255117508974238659955622535545020/283405041169967841\ 733119161111942386592267457926919724517655440795767429*c_0101_3^15 + 2342580852829673937222184779889975551508532917250850728935392008047\ 7158577980600/28340504116996784173311916111194238659226745792691972\ 4517655440795767429*c_0101_3^14 + 522185284350268726714715079023220\ 19562112916281551193779049014368930907070093978/2834050411699678417\ 33119161111942386592267457926919724517655440795767429*c_0101_3^13 - 9019907305646029423465333377682005835227932962563782174021840355493\ 230190352576/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^12 - 1755490461089514926498968359204299\ 0193798076216895295171588364524229976575494078/28340504116996784173\ 3119161111942386592267457926919724517655440795767429*c_0101_3^11 + 2315380461153397252567129110463581892321173607295424374437246793335\ 788197393679/283405041169967841733119161111942386592267457926919724\ 517655440795767429*c_0101_3^10 + 4270680940599018978049111947254266\ 119682819112321868635649499053066358117528893/283405041169967841733\ 119161111942386592267457926919724517655440795767429*c_0101_3^9 - 3523328699654943655705429582181158149318700765394765958137664937823\ 36335796443/2834050411699678417331191611119423865922674579269197245\ 17655440795767429*c_0101_3^8 - 728294196190525633152086354204868949\ 573274023052824997824223961842980395897209/283405041169967841733119\ 161111942386592267457926919724517655440795767429*c_0101_3^7 + 1898921097722125751196635822383760129389669408445867837678174111169\ 4147721137/28340504116996784173311916111194238659226745792691972451\ 7655440795767429*c_0101_3^6 + 8195122144284123146072884087708829641\ 9976287363666336611854488992698304521850/28340504116996784173311916\ 1111942386592267457926919724517655440795767429*c_0101_3^5 + 2688571025508694136449826793504010957005515440141985076528424503280\ 962131384/283405041169967841733119161111942386592267457926919724517\ 655440795767429*c_0101_3^4 - 53638453472116087818413260392555387781\ 49332957656615072236106986305603429343/2834050411699678417331191611\ 11942386592267457926919724517655440795767429*c_0101_3^3 - 4521487155290282568648697387311660106037554455041932702376032337692\ 12045241/2834050411699678417331191611119423865922674579269197245176\ 55440795767429*c_0101_3^2 + 143924465769685153171839172679926487992\ 924833700762260284007917817699841175/283405041169967841733119161111\ 942386592267457926919724517655440795767429*c_0101_3 + 1760291387562057489835869670834619350306829409680645109315451946031\ 4307500/28340504116996784173311916111194238659226745792691972451765\ 5440795767429, c_0101_3^38 - 6*c_0101_3^37 + 30*c_0101_3^36 + 300*c_0101_3^35 - 2007*c_0101_3^34 - 4711*c_0101_3^33 + 33110*c_0101_3^32 + 38568*c_0101_3^31 - 275731*c_0101_3^30 - 199580*c_0101_3^29 + 1390379*c_0101_3^28 + 721170*c_0101_3^27 - 4620534*c_0101_3^26 - 1917216*c_0101_3^25 + 10633972*c_0101_3^24 + 3835774*c_0101_3^23 - 17504359*c_0101_3^22 - 5816702*c_0101_3^21 + 21050452*c_0101_3^20 + 6694924*c_0101_3^19 - 18733308*c_0101_3^18 - 5848350*c_0101_3^17 + 12404172*c_0101_3^16 + 3873256*c_0101_3^15 - 6097880*c_0101_3^14 - 1937793*c_0101_3^13 + 2200236*c_0101_3^12 + 725839*c_0101_3^11 - 568318*c_0101_3^10 - 199780*c_0101_3^9 + 100100*c_0101_3^8 + 38979*c_0101_3^7 - 10866*c_0101_3^6 - 5035*c_0101_3^5 + 548*c_0101_3^4 + 374*c_0101_3^3 + 5*c_0101_3^2 - 11*c_0101_3 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB