Magma V2.19-8 Tue Aug 20 2013 23:46:35 on localhost [Seed = 3103707811] Type ? for help. Type -D to quit. Loading file "K14n20176__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n20176 geometric_solution 10.61552676 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 8 -1 0 0 0 0 -7 0 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.526569678365 1.000202739021 0 2 6 5 0132 0213 0132 0132 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 0 0 0 0 0 -8 8 0 1 0 -1 7 1 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081620569993 0.806089685120 7 0 1 8 0132 0132 0213 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 7 0 -7 1 0 -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.325586973518 0.396563918388 6 7 4 0 1230 0321 2310 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 8 0 -8 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.496379727195 0.441959258523 9 3 0 9 0132 3201 0132 3201 0 0 0 0 0 0 0 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 -1 1 0 7 0 0 -7 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.320122739439 1.292045824699 6 8 1 9 0213 2103 0132 0213 0 0 0 0 0 0 0 0 1 0 -1 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 8 0 -8 0 0 7 0 -7 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.883060478604 0.710296586459 5 3 7 1 0213 3012 3012 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 0 0 -8 8 -8 0 0 8 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447649719662 1.237031191786 2 6 10 3 0132 1230 0132 0321 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 8 0 -8 -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.888823879903 1.456834219277 11 5 2 11 0132 2103 0132 3201 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.614464778805 1.203992942545 4 4 10 5 0132 2310 0321 0213 0 0 0 0 0 0 0 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 -7 0 0 7 -7 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180670347614 0.729202707347 11 11 9 7 3120 0213 0321 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.061606142890 0.455248443436 8 8 10 10 0132 2310 0213 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.210696275287 0.620695377509 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0011_0']), 'c_1001_1' : negation(d['c_0101_3']), 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : negation(d['c_0101_3']), 'c_1001_9' : d['c_1001_3'], 'c_1001_8' : d['c_0011_5'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(d['1']), 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : 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' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0011_11']), 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0011_4'], 'c_1100_7' : d['c_1001_3'], 'c_1100_6' : d['c_0101_10'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : d['c_0011_4'], 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1001_3'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_5'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : negation(d['c_1001_3']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : negation(d['c_0101_3']), 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : negation(d['c_1001_10']), '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_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : 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' : negation(d['1']), 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], '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_0110_11' : d['c_0101_7'], 'c_0110_10' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_6'], 'c_0101_9' : negation(d['c_0101_10']), 'c_0101_8' : d['c_0101_7'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0011_6'], 'c_1100_9' : d['c_1001_10'], 'c_0110_3' : d['c_0011_6'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : negation(d['c_0101_10']), 'c_0110_7' : negation(d['c_0011_0']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_5, c_0011_6, c_0101_1, c_0101_10, c_0101_3, c_0101_7, c_1001_10, c_1001_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2342269360547197938207300059389846587619124836660695225742129913/12\ 3098292376697681554399461970510180444260947300228827244800*c_1001_3\ ^19 - 5181722142103421446473568495953009144325915614122999573786991\ 591/123098292376697681554399461970510180444260947300228827244800*c_\ 1001_3^18 - 2428424644041856785217941890178288665216141300463990034\ 7580587647/30774573094174420388599865492627545111065236825057206811\ 200*c_1001_3^17 - 1748158077734118579704239426312517749801278552548\ 2721105055396051/64788574935104042923368137879215884444347867000120\ 43539200*c_1001_3^16 - 10356875055747611524275857058663922102310305\ 92943149480986775437601/1230982923766976815543994619705101804442609\ 47300228827244800*c_1001_3^15 - 11496374087264582173704089736171234\ 78890857306886813490210011404577/2461965847533953631087989239410203\ 6088852189460045765448960*c_1001_3^14 - 2397807976353904170701618005470419461105639114734522604541710395351\ /123098292376697681554399461970510180444260947300228827244800*c_100\ 1_3^13 - 2420104265536059883360063018457812332398264624550186069742\ 4000262807/61549146188348840777199730985255090222130473650114413622\ 400*c_1001_3^12 + 1471508565370875670421944775123491124579719594174\ 1388511269619725153/12309829237669768155439946197051018044426094730\ 0228827244800*c_1001_3^11 - 110519134137030558518855868792704964681\ 905605223822547546168849996303/615491461883488407771997309852550902\ 22130473650114413622400*c_1001_3^10 + 5703640999276661570935318501474339319080767079387242428946106728487\ /6478857493510404292336813787921588444434786700012043539200*c_1001_\ 3^9 - 5661937046981681912594727805816637168960854779869151528779210\ 72649179/1230982923766976815543994619705101804442609473002288272448\ 00*c_1001_3^8 + 160034338779286956525411892354535038983377960836896\ 555978537813005233/615491461883488407771997309852550902221304736501\ 14413622400*c_1001_3^7 - 262384067296567651836114868569075634745085\ 27329423017670397409419879/3846821636771802548574983186578443138883\ 154603132150851400*c_1001_3^6 + 54683557017032336412481652230051649\ 8483856035008201516651351285739979/12309829237669768155439946197051\ 0180444260947300228827244800*c_1001_3^5 - 6602569721753218713790010802348316022421073139565029997511607708145\ 81/123098292376697681554399461970510180444260947300228827244800*c_1\ 001_3^4 + 253304445937595706789991362438313019902871556282828568589\ 97094413103/6478857493510404292336813787921588444434786700012043539\ 200*c_1001_3^3 + 17035522718264514526113453125685668825372787785764\ 3000434157899613/64788574935104042923368137879215884444347867000120\ 4353920*c_1001_3^2 - 4698989240942738643959064370822218847030995349\ 726434128910407032959/246196584753395363108798923941020360888521894\ 60045765448960*c_1001_3 + 12375203560148494427336011460404589381141\ 51484861986830401441101347/1230982923766976815543994619705101804442\ 60947300228827244800, c_0011_0 - 1, c_0011_10 - 2006274518911175091281485903969969975911222554910009/229340\ 0882658550191977633199264279095375145734517537536*c_1001_3^19 - 4481455552681158857383961708399427212567519581080495/22934008826585\ 50191977633199264279095375145734517537536*c_1001_3^18 - 20818027311525391443801591299207574882756347683597935/5733502206646\ 37547994408299816069773843786433629384384*c_1001_3^17 - 286237594426635366029517745507799645594860002550737481/229340088265\ 8550191977633199264279095375145734517537536*c_1001_3^16 - 892133036004048624019023813495743115936007943781023625/229340088265\ 8550191977633199264279095375145734517537536*c_1001_3^15 - 4939102112036359271753140396115267776244648876431023317/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^14 - 2147624176486397628374625011868042771495395206208600687/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^13 - 20717782807478644965475208688886573529131009943835067359/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^12 + 11745682542245344322031969809961977521814847774139154273/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^11 - 94223172841108864873429731613046058648464013239134001067/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^10 + 88618819731858416486849279213534361831220696799141326077/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^9 - 479998593868646433993282431966856779046597791361524352283/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^8 + 131364747090082017410341743556559299762241066391724293445/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^7 - 88132335106487042898272269191075433541453049017847299989/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^6 + 450202911218317018011459859891519120213512960632252891523/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^5 - 542444027345755689856854285175895000411842964508339831205/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^4 + 395935850459060160366213664727693898341887637611322692197/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^3 + 23540147573899877638529527110865122010901993828044330059/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^2 - 23592668334310811300242396359701914557925801091350451899/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3 - 198405594972162248936927067329185836674963618278157941/229340088265\ 8550191977633199264279095375145734517537536, c_0011_11 - 6490418224498378095042355241639530854131598453915591/229340\ 0882658550191977633199264279095375145734517537536*c_1001_3^19 - 14236110235432694991633428261765455293801068625170653/2293400882658\ 550191977633199264279095375145734517537536*c_1001_3^18 - 67205309320187268604664866589213507393773186102760577/5733502206646\ 37547994408299816069773843786433629384384*c_1001_3^17 - 915111802755397569975945072508596759709051691706213255/229340088265\ 8550191977633199264279095375145734517537536*c_1001_3^16 - 2849372239416965197930801957529760981933197430531217875/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^15 - 15862202961130593599437416805745872901762347055135660275/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^14 - 6306184969886964208378030338686468673745025839966432885/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^13 - 66900431487021667878857073726215935596892952994523218445/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^12 + 43460616503823572663960603736822049871119819232622115231/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^11 - 305847745019302527874165358304980504331300898450420786943/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^10 + 311989385156911069025137070487475024907075328265722580615/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^9 - 1567633278955411505161008245748228634859785499329506486149/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^8 + 457786560014767844576235365511759760903722950992588924185/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^7 - 581497415535700928149899312190108996351147214974963808369/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 + 1555059822868143699650764100441050000884818531921768121169/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^5 - 1833498759930294245603411252231368902082563333382402047331/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^4 + 1359774717166822991422864704688907645307688567332786884023/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^3 + 40813350873920775609759807360221824090364159081011894145/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^2 - 74582009901515834366247807862692538668357522193584666597/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3 + 1715421316141218520200339775564553515436560766841434545/22934008826\ 58550191977633199264279095375145734517537536, c_0011_4 - 3125657345671891299507746092327621147227427754826131/1146700\ 441329275095988816599632139547687572867258768768*c_1001_3^19 - 6770480392732390880113966384154947811531412881239011/11467004413292\ 75095988816599632139547687572867258768768*c_1001_3^18 - 32317179977731657138371231939200468114003299405199713/2866751103323\ 18773997204149908034886921893216814692192*c_1001_3^17 - 437164777620073073855511986254140852535316904231302779/114670044132\ 9275095988816599632139547687572867258768768*c_1001_3^16 - 1360023277187953088056135954964453217446611117255735961/11467004413\ 29275095988816599632139547687572867258768768*c_1001_3^15 - 7601192516290804568565618491207909179825098986613858299/11467004413\ 29275095988816599632139547687572867258768768*c_1001_3^14 - 2826626080316941364229112898347141703711304120285907423/11467004413\ 29275095988816599632139547687572867258768768*c_1001_3^13 - 32171302554956902074601976427480261191731028270399150731/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^12 + 22691890836751958025993009827384703165236934998839078011/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^11 - 73753913573893450281672091611107995891282427269064192677/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^10 + 158217124602683677102013392810825256867345488624197400233/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^9 - 758204451333387477941859097498637243572905975737676810601/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^8 + 115273435936756465589808212364823992806228767336082312589/286675110\ 332318773997204149908034886921893216814692192*c_1001_3^7 - 564713348073696651671688750804636269828816804093263573011/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 + 778200050696110344071432454039138352267039737163920340259/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^5 - 898543761107493939405393350018895625246344827480096529419/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^4 + 676608672394176637023192709312494671447824287431721736893/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^3 + 12915131860082828161402567712430249558412603636634815439/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^2 - 39498731708807802007939515170830109573788570881034026121/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3 + 1546911566259296738578851825245451342299724443043186783/11467004413\ 29275095988816599632139547687572867258768768, c_0011_5 - 3680166746273178135480146778175269603601634057128343/1146700\ 441329275095988816599632139547687572867258768768*c_1001_3^19 - 7932716860043593868551628411780112647018128840426371/11467004413292\ 75095988816599632139547687572867258768768*c_1001_3^18 - 38034124327525952548555757899604674181362006208650293/2866751103323\ 18773997204149908034886921893216814692192*c_1001_3^17 - 513158823512488037485636461503326992956694516740503823/114670044132\ 9275095988816599632139547687572867258768768*c_1001_3^16 - 1596707999195809674858620611611407831224423751137654897/11467004413\ 29275095988816599632139547687572867258768768*c_1001_3^15 - 8935796963281572063014218299311770093889010875080725639/11467004413\ 29275095988816599632139547687572867258768768*c_1001_3^14 - 3244589074597291506986394367334435793543108108299626119/11467004413\ 29275095988816599632139547687572867258768768*c_1001_3^13 - 37889432609375050251610966756174403781903897661980286939/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^12 + 27465157288207845694971410131876686992305090343991380479/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^11 - 43518765088973682405814547003385708268566570297404897973/1433375551\ 66159386998602074954017443460946608407346096*c_1001_3^10 + 189896625278003553657699401123852275601492060601129175529/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^9 - 897246060966252547502094242947232562223589892456321570485/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^8 + 34536119881248248221610767418641066393699231506359643477/7166877758\ 3079693499301037477008721730473304203673048*c_1001_3^7 - 671361741468160322837401507507218224896826325876873250229/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 + 931346912239865804884245183827248383567009767757494063499/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^5 - 1078764585982404350043138589611323860411258487749825436183/11467004\ 41329275095988816599632139547687572867258768768*c_1001_3^4 + 809672124399517787941814391137008826029787754031134113893/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^3 + 6778221297881221317500156001715135805500754618608987407/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^2 - 45859815394438483000226285469064062171118098834898194901/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3 + 3134092390424100235145048741408236578021637721454168607/11467004413\ 29275095988816599632139547687572867258768768, c_0011_6 - 6452415666056093739340346462718677018490928968005103/2293400\ 882658550191977633199264279095375145734517537536*c_1001_3^19 - 14120885415037138432645362040797218886558128550831797/2293400882658\ 550191977633199264279095375145734517537536*c_1001_3^18 - 66817679946519312116772857902399724988411826321639249/5733502206646\ 37547994408299816069773843786433629384384*c_1001_3^17 - 908690174467999377351227372641877405253030343022516623/229340088265\ 8550191977633199264279095375145734517537536*c_1001_3^16 - 2832196741488665386803287085524223096315890467020329115/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^15 - 15770714941653725198810086219628497779330271013417678907/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^14 - 6240651415312561779099743468431415364919349866361667661/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^13 - 66620861642535511769376647344654635087598271764892028149/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^12 + 43629835575370818042550757188994308991558472891982665639/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^11 - 305190264898009020392439777096010058610742036447418229255/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^10 + 312601940319674707035942326198118022844485065945103309327/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^9 - 1569069881045323647495420989308766539551680921945799872093/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^8 + 458457056648803355238778428711288254109791285884942383441/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^7 - 584893292772788593659972906666444269505075115953461455121/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 + 1555484872741354544328303269886917087126424328931725440617/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^5 - 1862659401341678496260801904169992260112980571811356257707/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^4 + 1358926437500081260309238053986867750213885311117723337855/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^3 + 26254188573245448287120832734333199254269830140506844137/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^2 - 75062281926480838803453919766752685269140977984600628285/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3 + 5620580184207400152128015129569625426117712543356086281/22934008826\ 58550191977633199264279095375145734517537536, c_0101_1 - 7168952340053081317196147457672840359251863082480995/2293400\ 882658550191977633199264279095375145734517537536*c_1001_3^19 - 15490380664375281306879102873591692850419507793758181/2293400882658\ 550191977633199264279095375145734517537536*c_1001_3^18 - 74096434543296711137306190078388121902982583412467445/5733502206646\ 37547994408299816069773843786433629384384*c_1001_3^17 - 1001042004654333814005106446114774305172822442823252819/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^16 - 3113215955634926117991201355307844096476277176155585251/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^15 - 17414488200883789263836871300365141389348639404929680695/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^14 - 6383552865050592599820716114511429213576882658345770693/22934008826\ 58550191977633199264279095375145734517537536*c_1001_3^13 - 73750273521740603117575591348749055975211672785014582197/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^12 + 52838240521423616903162923271130290121817004281064134939/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3^11 - 338332015445996426627561686865572798318750077199282015041/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^10 + 366443888050769944134621845297400146039485712434930056063/229340088\ 2658550191977633199264279095375145734517537536*c_1001_3^9 - 1740179521572046163482052384572327253039763626965144063737/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^8 + 533418393299780206464986898606740262094376340600898731119/114670044\ 1329275095988816599632139547687572867258768768*c_1001_3^7 - 324406625785134333535968243008614570653525148128525743425/286675110\ 332318773997204149908034886921893216814692192*c_1001_3^6 + 1799836699974055768267778006811157877516966855279317948449/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^5 - 2070296010493413342728984538678601361608709422195820193319/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^4 + 1566958209922133188536040805859878625644625077580060003351/22934008\ 82658550191977633199264279095375145734517537536*c_1001_3^3 + 25110558734830600545563384874327362419568205415343742105/1146700441\ 329275095988816599632139547687572867258768768*c_1001_3^2 - 85845693644486503257068143179600163518309198599279293657/2293400882\ 658550191977633199264279095375145734517537536*c_1001_3 + 4076567955347978584866012363080236161014931069072022617/22934008826\ 58550191977633199264279095375145734517537536, c_0101_10 + 1195015172453812668562751802470488589703071644258879/286675\ 110332318773997204149908034886921893216814692192*c_1001_3^19 + 5173799201242872076346690732730845638110715252447077/57335022066463\ 7547994408299816069773843786433629384384*c_1001_3^18 + 24712415108352857936145417500697098427302002743619039/1433375551661\ 59386998602074954017443460946608407346096*c_1001_3^17 + 167087983062960062327560377244637859889524706038215795/286675110332\ 318773997204149908034886921893216814692192*c_1001_3^16 + 1040005090507769500874659440998537612072019602699382041/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^15 + 363300569734351584059475671344527328253030806796499875/358343887915\ 39846749650518738504360865236652101836524*c_1001_3^14 + 2160596380565934893760258319892873742592944919997023531/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^13 + 24615698125522701727600697268151819407021285028092528971/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^12 - 8689708214323191094113578025974706258049421089144648525/28667511033\ 2318773997204149908034886921893216814692192*c_1001_3^11 + 225910144556648514333787868712444024784855332675881682525/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^10 - 121201093910390794954096758230162349361277691622626280119/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^9 + 290712397010405042189952608989013510848726176213121227635/286675110\ 332318773997204149908034886921893216814692192*c_1001_3^8 - 353375377988583946329107077330255708289289715399043436919/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^7 + 868367507623415797732773693219858628890749957447354245739/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 - 596783584331046267455658793552112746269491198361973370363/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^5 + 43419512403193631190049561068123167822246662417007967591/3583438879\ 1539846749650518738504360865236652101836524*c_1001_3^4 - 519818595976518237909806308402884954972750449706102005917/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^3 - 6878507565604460638143048067792451422003941146956603207/28667511033\ 2318773997204149908034886921893216814692192*c_1001_3^2 + 14220936225925854931523323826723996409414357566701264907/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3 - 1487148058263980313954761152459218166900298653479867989/57335022066\ 4637547994408299816069773843786433629384384, c_0101_3 - 1195015172453812668562751802470488589703071644258879/2866751\ 10332318773997204149908034886921893216814692192*c_1001_3^19 - 5173799201242872076346690732730845638110715252447077/57335022066463\ 7547994408299816069773843786433629384384*c_1001_3^18 - 24712415108352857936145417500697098427302002743619039/1433375551661\ 59386998602074954017443460946608407346096*c_1001_3^17 - 167087983062960062327560377244637859889524706038215795/286675110332\ 318773997204149908034886921893216814692192*c_1001_3^16 - 1040005090507769500874659440998537612072019602699382041/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^15 - 363300569734351584059475671344527328253030806796499875/358343887915\ 39846749650518738504360865236652101836524*c_1001_3^14 - 2160596380565934893760258319892873742592944919997023531/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^13 - 24615698125522701727600697268151819407021285028092528971/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^12 + 8689708214323191094113578025974706258049421089144648525/28667511033\ 2318773997204149908034886921893216814692192*c_1001_3^11 - 225910144556648514333787868712444024784855332675881682525/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^10 + 121201093910390794954096758230162349361277691622626280119/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^9 - 290712397010405042189952608989013510848726176213121227635/286675110\ 332318773997204149908034886921893216814692192*c_1001_3^8 + 353375377988583946329107077330255708289289715399043436919/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^7 - 868367507623415797732773693219858628890749957447354245739/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 + 596783584331046267455658793552112746269491198361973370363/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^5 - 43419512403193631190049561068123167822246662417007967591/3583438879\ 1539846749650518738504360865236652101836524*c_1001_3^4 + 519818595976518237909806308402884954972750449706102005917/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^3 + 6878507565604460638143048067792451422003941146956603207/28667511033\ 2318773997204149908034886921893216814692192*c_1001_3^2 - 14220936225925854931523323826723996409414357566701264907/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3 + 1487148058263980313954761152459218166900298653479867989/57335022066\ 4637547994408299816069773843786433629384384, c_0101_7 + 218442095903862855581235129497485146193910514643343/57335022\ 0664637547994408299816069773843786433629384384*c_1001_3^19 + 54092212250473000981924206620339468943410494365349/7166877758307969\ 3499301037477008721730473304203673048*c_1001_3^18 + 2231273247964680228927702148897887642744316430348507/14333755516615\ 9386998602074954017443460946608407346096*c_1001_3^17 + 28827855368860408419036317930771874853545747350824395/5733502206646\ 37547994408299816069773843786433629384384*c_1001_3^16 + 44246949266873917394596528292536793192272340007730941/2866751103323\ 18773997204149908034886921893216814692192*c_1001_3^15 + 510401349662123065456666619635153484887304725941211501/573350220664\ 637547994408299816069773843786433629384384*c_1001_3^14 + 44590410539778598219056017304058601807493143463615699/2866751103323\ 18773997204149908034886921893216814692192*c_1001_3^13 + 550726924601577176602056626984730902771685257347540747/716687775830\ 79693499301037477008721730473304203673048*c_1001_3^12 - 2450138137896618883833670982985078125732049337836257583/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^11 + 20468620773849130064691353083463700934760875902819925371/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^10 - 463339976310629993955330645719992090255302871912121483/179171943957\ 69923374825259369252180432618326050918262*c_1001_3^9 + 53074476312347331224364960542925063864313454191020097149/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^8 - 41427836174945808401092584118940879608474097421225495481/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^7 + 80025272616740340839727948881459032114058943503650721199/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^6 - 33468223136459294567838081562626662846376956278446335451/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^5 + 65882469232396704003321158344015995684086954257109059181/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^4 - 27465139811355761727305840074390749008680290686606833811/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^3 + 30919371079228147962919333834060353805587082611924050/8958597197884\ 961687412629684626090216309163025459131*c_1001_3^2 + 6884183871583231309989315003853721506931030964436300989/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3 - 2058055411163881006401643916839063717496422898506271/89585971978849\ 61687412629684626090216309163025459131, c_1001_10 - 2180660640176168088632219769625375182392249460453331/573350\ 220664637547994408299816069773843786433629384384*c_1001_3^19 - 2372091042444719929536007607009537796784906395166109/28667511033231\ 8773997204149908034886921893216814692192*c_1001_3^18 - 22558906850094090653827685874027266425957017678429705/1433375551661\ 59386998602074954017443460946608407346096*c_1001_3^17 - 305862743309333584169859978341671034949810102045706655/573350220664\ 637547994408299816069773843786433629384384*c_1001_3^16 - 237992279715729465326037432063619158537292224208248329/143337555166\ 159386998602074954017443460946608407346096*c_1001_3^15 - 5312979701180697565937223633486470511564516228437907189/57335022066\ 4637547994408299816069773843786433629384384*c_1001_3^14 - 506592824696448394665006062265036327273920604567347537/143337555166\ 159386998602074954017443460946608407346096*c_1001_3^13 - 11231733661671249158537147166956945132062550692269221733/1433375551\ 66159386998602074954017443460946608407346096*c_1001_3^12 + 15377462911638869124666418200906238249141832768721789131/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3^11 - 205858346138327079641340253721720219365679747317058094357/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^10 + 54175526910417470881174520827482062500757059939360983187/2866751103\ 32318773997204149908034886921893216814692192*c_1001_3^9 - 528960332218286537629674277173743160440234628179230911617/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^8 + 316588899235362708131537910347873241862363003517028197639/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^7 - 788085654392222858201955845063986563350536826586803097045/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^6 + 133900276154873503851739835997952333338215250733211739173/143337555\ 166159386998602074954017443460946608407346096*c_1001_3^5 - 626975208715966061730601485693156906952849339401424202229/573350220\ 664637547994408299816069773843786433629384384*c_1001_3^4 + 58352791016872257579326590854547955677679713930530091335/7166877758\ 3079693499301037477008721730473304203673048*c_1001_3^3 + 4606432948158731772437192583036712607905608788758248299/14333755516\ 6159386998602074954017443460946608407346096*c_1001_3^2 - 26308793257341321320484850914407807856901426146083202913/5733502206\ 64637547994408299816069773843786433629384384*c_1001_3 + 540424044015158537678007539050616554062323623896104937/286675110332\ 318773997204149908034886921893216814692192, c_1001_3^20 + 2*c_1001_3^19 + 41*c_1001_3^18 + 133*c_1001_3^17 + 412*c_1001_3^16 + 2360*c_1001_3^15 + 502*c_1001_3^14 + 20443*c_1001_3^13 - 10671*c_1001_3^12 + 95667*c_1001_3^11 - 66291*c_1001_3^10 + 251388*c_1001_3^9 - 187897*c_1001_3^8 + 387066*c_1001_3^7 - 309363*c_1001_3^6 + 330852*c_1001_3^5 - 264974*c_1001_3^4 + 29355*c_1001_3^3 + 13265*c_1001_3^2 - 2594*c_1001_3 + 95 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.020 Total time: 2.229 seconds, Total memory usage: 32.09MB