Magma V2.19-8 Tue Aug 20 2013 23:39:23 on localhost [Seed = 239626833] Type ? for help. Type -D to quit. Loading file "K13n3371__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n3371 geometric_solution 10.37313629 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 -1 0 0 0 -1 1 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 -2 1 1 0 0 2 -2 -1 0 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446668975362 0.718274841358 0 5 6 2 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507690775665 0.787277702340 7 0 6 1 0132 0132 3012 2103 0 0 0 0 0 -1 0 1 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 2 0 -2 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.729368450702 0.977102400316 8 5 9 0 0132 3201 0132 0132 0 0 0 0 0 -1 0 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 1 0 -1 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412731454153 0.697469116729 10 7 0 5 0132 2310 0132 2103 0 0 0 0 0 0 0 0 1 0 -1 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 -1 1 -2 0 2 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.874138237064 1.146485296868 9 1 3 4 2103 0132 2310 2103 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 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.583862832210 0.355794517293 10 2 8 1 3120 1230 1023 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.419520739816 0.745072608558 2 10 8 4 0132 2103 2031 3201 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 1 -1 0 0 1 -1 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.129094113270 0.853981497154 3 9 6 7 0132 1023 1023 1302 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 1 -1 -2 0 0 2 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.031261772827 1.296331116241 8 10 5 3 1023 0213 2103 0132 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 -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.182357528615 1.250383122926 4 7 9 6 0132 2103 0213 3120 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 0 0 0 2 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.558681859320 0.576915603091 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_10' : d['c_0011_0'], 'c_1001_5' : negation(d['c_1001_0']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : d['c_0011_10'], 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_0011_0'], 'c_1001_8' : d['c_0101_5'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_3']), '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_2_7' : d['1'], 's_2_10' : 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_1100_9' : negation(d['c_0110_5']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0110_5']), 'c_1100_7' : d['c_0011_10'], 'c_1100_6' : negation(d['c_0101_7']), 'c_1100_1' : negation(d['c_0101_7']), 'c_1100_0' : negation(d['c_0110_5']), 'c_1100_3' : negation(d['c_0110_5']), 'c_1100_2' : negation(d['c_0101_0']), 'c_1100_10' : negation(d['c_0101_5']), 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : d['c_0101_2'], 'c_1010_4' : negation(d['c_0101_2']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_0']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : negation(d['c_0101_5']), 'c_1010_8' : negation(d['c_0011_10']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(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' : 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_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), '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_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_5'], 'c_0101_8' : d['c_0101_0'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0101_7']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_7, c_0110_5, c_1001_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t + 106024540895880014513535087312215592932529170846515078836304790/453\ 029901248832444173317366989764793392855257016253545626781*c_1001_0^\ 18 + 73462775569521065976149587836308193128788783402487899114462893\ /64718557321261777739045338141394970484693608145179077946683*c_1001\ _0^17 + 87095366138923824727720213372546147471235362313484498248342\ 5993/453029901248832444173317366989764793392855257016253545626781*c\ _1001_0^16 + 410338627122562745165491799695384610917920268476305683\ 93924844/4530299012488324441733173669897647933928552570162535456267\ 81*c_1001_0^15 + 68091666356966015050929813442475867047942372071378\ 6842933397957/45302990124883244417331736698976479339285525701625354\ 5626781*c_1001_0^14 - 242662054381830746291846495874090790434190215\ 5928388102557036532/45302990124883244417331736698976479339285525701\ 6253545626781*c_1001_0^13 + 398627223028855776311928385804763000341\ 498272785510464104402210/453029901248832444173317366989764793392855\ 257016253545626781*c_1001_0^12 - 3015414425506012173848967556219831\ 310764034570901687102204281653/453029901248832444173317366989764793\ 392855257016253545626781*c_1001_0^11 + 3262674708030363263373809238991496320034246134445815735854264715/45\ 3029901248832444173317366989764793392855257016253545626781*c_1001_0\ ^10 - 9714661821591675399149452040640210529023503747202936404794937\ 3/41184536477166585833937942453614981217532296092386685966071*c_100\ 1_0^9 + 19527621068019838731112082907324477247811932109126598089995\ 70725/453029901248832444173317366989764793392855257016253545626781*\ c_1001_0^8 + 639567679902442022481461205135220675299260752720961878\ 910991932/453029901248832444173317366989764793392855257016253545626\ 781*c_1001_0^7 + 28838295260865138690132442738387573805841798934144\ 2487113039438/45302990124883244417331736698976479339285525701625354\ 5626781*c_1001_0^6 + 1639076686349521983546636098024691434512267154\ 62699914771271196/3484845394221788032102441284536652256868117361663\ 4888125137*c_1001_0^5 + 2933776104984457000781307212930331286848297\ 41012020637318854132/3484845394221788032102441284536652256868117361\ 6634888125137*c_1001_0^4 - 2808508432342671012159296401668726639699\ 090593456392441247634908/453029901248832444173317366989764793392855\ 257016253545626781*c_1001_0^3 + 40571805674140078437823174026908395\ 95659939014858638154897859162/4530299012488324441733173669897647933\ 92855257016253545626781*c_1001_0^2 - 2252757254432628717748337928542446221493114412164867713139357220/45\ 3029901248832444173317366989764793392855257016253545626781*c_1001_0 + 1633684519860240983870124321559011475284596800296172824050643579/\ 453029901248832444173317366989764793392855257016253545626781, c_0011_0 - 1, c_0011_10 + 1563486055843841996382601986118178051472731103/388735420460\ 71912809560959750112231701791377231*c_1001_0^18 + 3832737903648095666622150145671408038460225364/38873542046071912809\ 560959750112231701791377231*c_1001_0^17 - 5879438444756606976095832046475219871390142989/38873542046071912809\ 560959750112231701791377231*c_1001_0^16 - 31569682878336577929164828177833709672024620964/3887354204607191280\ 9560959750112231701791377231*c_1001_0^15 + 10962978108861596234659481141221667752477240669/3887354204607191280\ 9560959750112231701791377231*c_1001_0^14 - 45518917349760439446332080113981576556968294001/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 + 98133570730895324492777070027432840248169780474/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 - 33441239903683090969189487779167179588290992996/3887354204607191280\ 9560959750112231701791377231*c_1001_0^11 + 132745480282029917488184111917810222349494725487/388735420460719128\ 09560959750112231701791377231*c_1001_0^10 - 127354195431108850454316970899207135568950015226/388735420460719128\ 09560959750112231701791377231*c_1001_0^9 + 7313295753580044943142075697123338473812894003/38873542046071912809\ 560959750112231701791377231*c_1001_0^8 - 46007647951894132848499014592136187349599710361/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 - 21886686680345042352740224280390615166425167993/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 + 50076284212116793083088526167619393696725424679/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 13000482932505220264886733795971058536978079293/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 170953091835705939683256866191280252449268749697/388735420460719128\ 09560959750112231701791377231*c_1001_0^3 + 156459121175911485762390472433793454972924727742/388735420460719128\ 09560959750112231701791377231*c_1001_0^2 - 126730911124221877773117261261682087591991130893/388735420460719128\ 09560959750112231701791377231*c_1001_0 + 88351496421243587778540511637675535889062863597/3887354204607191280\ 9560959750112231701791377231, c_0011_3 + 1470777012930355426352945320896897987846152568/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 + 3764802066176610668740414821089956283460911782/38873542046071912809\ 560959750112231701791377231*c_1001_0^17 - 4741172464499153640288857157890803212370065496/38873542046071912809\ 560959750112231701791377231*c_1001_0^16 - 28999186013118422412491792823330822934489866556/3887354204607191280\ 9560959750112231701791377231*c_1001_0^15 + 6359851685138961123147939230751301785118731058/38873542046071912809\ 560959750112231701791377231*c_1001_0^14 - 50828121954287805910935270831617806997587982978/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 + 85797861600764768291010454582376643300698208987/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 - 25194416603859847418699335834286849717280536720/3887354204607191280\ 9560959750112231701791377231*c_1001_0^11 + 141158165931448400037850466524503348402387413860/388735420460719128\ 09560959750112231701791377231*c_1001_0^10 - 102119723511730842187787184547753834386972716228/388735420460719128\ 09560959750112231701791377231*c_1001_0^9 + 11589172410911930112044991757843029500909993230/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 - 61941024843552365407388767256340871190518269761/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 - 63553179037961447125274789365151517394556298222/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 + 28585487326860634494593850033979106514929905644/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 16580998145833272979381189045931610657282945888/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 135478193847351387111565165201898050947420155028/388735420460719128\ 09560959750112231701791377231*c_1001_0^3 + 161795944128959622437328641206266668422977403649/388735420460719128\ 09560959750112231701791377231*c_1001_0^2 - 105652219544585822302216978826416192129433074443/388735420460719128\ 09560959750112231701791377231*c_1001_0 + 81475772637773194625020826304447868209845869889/3887354204607191280\ 9560959750112231701791377231, c_0011_6 + 3242719499918065974144799946087028909435960624/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 + 12820779640871820180936899173626034621506614910/3887354204607191280\ 9560959750112231701791377231*c_1001_0^17 + 9921548564063233352078727126711338784164312137/38873542046071912809\ 560959750112231701791377231*c_1001_0^16 - 33924462429930025947743732999783503390579950471/3887354204607191280\ 9560959750112231701791377231*c_1001_0^15 + 6521576164933520098830977801690516365244237101/38873542046071912809\ 560959750112231701791377231*c_1001_0^14 - 75207600349969114095284645714352947688760537898/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 + 73392277648554789340252614989213741465943805451/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 - 37714923377459611675868995285179383598119181232/3887354204607191280\ 9560959750112231701791377231*c_1001_0^11 + 149347659056684035023492421710998635561170370717/388735420460719128\ 09560959750112231701791377231*c_1001_0^10 - 79481858505423790274816932503846953832786692594/3887354204607191280\ 9560959750112231701791377231*c_1001_0^9 - 23839661448705452740556015113912300960306552849/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 - 8375883107571422529244372601769100089316859411/38873542046071912809\ 560959750112231701791377231*c_1001_0^7 - 19979206236870147739414898369930830351253074466/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 + 57554338650344778288950094361869136910050722151/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 88209035885264805828557147057742172768907005577/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 215159234528968268370990072533508522233313268701/388735420460719128\ 09560959750112231701791377231*c_1001_0^3 + 147450446873175948139210558684622239153070732063/388735420460719128\ 09560959750112231701791377231*c_1001_0^2 - 40977784349178638304273742934692846126378882948/3887354204607191280\ 9560959750112231701791377231*c_1001_0 + 30983802506688604248577563379603696431746685865/3887354204607191280\ 9560959750112231701791377231, c_0101_0 + 1716275857791810172523663535643153775168410853/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 + 7530839314533593687833949608231125358569861848/38873542046071912809\ 560959750112231701791377231*c_1001_0^17 + 10745841959090051887904414568626103372556875069/3887354204607191280\ 9560959750112231701791377231*c_1001_0^16 - 3784007432713250383702047684282761358788599709/38873542046071912809\ 560959750112231701791377231*c_1001_0^15 + 11654163410596415444123645638743727704741238458/3887354204607191280\ 9560959750112231701791377231*c_1001_0^14 - 54982273732061269042988454717936647605523586965/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 + 12100179473157507247109064713540084096972837825/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 - 69469203479201772400998421267056677721645793662/3887354204607191280\ 9560959750112231701791377231*c_1001_0^11 + 80513115952417890403028029049322691495174840940/3887354204607191280\ 9560959750112231701791377231*c_1001_0^10 - 23888264952659619073259546859306616003000500092/3887354204607191280\ 9560959750112231701791377231*c_1001_0^9 + 72326159371684266696899787288701288979073111686/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 + 13036628941537862104227272633273785818775910192/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 - 23833245380295639505160950337518560643085308942/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 + 14630632930216610583389514197367452174265811812/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 37736568314276586413849490206672064920574953485/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 71762426915226421221072471307543331143669682186/3887354204607191280\ 9560959750112231701791377231*c_1001_0^3 + 98171139934726391095790799371853740013890293345/3887354204607191280\ 9560959750112231701791377231*c_1001_0^2 - 125394377924244679737030903273953377946519232553/388735420460719128\ 09560959750112231701791377231*c_1001_0 + 13191118520723786088242127336021789204832264666/3887354204607191280\ 9560959750112231701791377231, c_0101_1 + 1607141150131947023267694299858877404409076881/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 + 2495014080010332374492237457306261518571796993/38873542046071912809\ 560959750112231701791377231*c_1001_0^17 - 12043411298294433790939549359222482081194507827/3887354204607191280\ 9560959750112231701791377231*c_1001_0^16 - 39085102498295288150636152236133886223079359290/3887354204607191280\ 9560959750112231701791377231*c_1001_0^15 + 19457535074029498403320371354397836575478956058/3887354204607191280\ 9560959750112231701791377231*c_1001_0^14 - 58770544732250589224898347684758263702559477198/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 + 132086945792626225698606081781655737423139437287/388735420460719128\ 09560959750112231701791377231*c_1001_0^12 - 52602876551070972231382839886844719484811744784/3887354204607191280\ 9560959750112231701791377231*c_1001_0^11 + 180288890421574502073699934897266651313592819337/388735420460719128\ 09560959750112231701791377231*c_1001_0^10 - 178897118647524324247315284794307357209152408594/388735420460719128\ 09560959750112231701791377231*c_1001_0^9 + 39754641712013929040436120218955949749809456548/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 - 82315743638160281966920614715233965132935645527/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 - 66770352528401671816929148469627465077948633408/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 + 24570411129986917163636488242437855576485958363/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 12226819464910288022592616588709152674422490231/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 185535508112503133579828821611501614961505800767/388735420460719128\ 09560959750112231701791377231*c_1001_0^3 + 276134508208244259279311496564038958272604097417/388735420460719128\ 09560959750112231701791377231*c_1001_0^2 - 180947916883428728545073216326155900304547332940/388735420460719128\ 09560959750112231701791377231*c_1001_0 + 106689466232681758027513251617711787733267880682/388735420460719128\ 09560959750112231701791377231, c_0101_2 - 1363154952332697748716433280355692170326172039/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 - 8583999557351401888932713669345059959235052652/38873542046071912809\ 560959750112231701791377231*c_1001_0^17 - 18814661626292163688495971045047055328732695861/3887354204607191280\ 9560959750112231701791377231*c_1001_0^16 - 5917021212964301508026332796418861642807145169/38873542046071912809\ 560959750112231701791377231*c_1001_0^15 + 12513674168725431229533445998222068296905828962/3887354204607191280\ 9560959750112231701791377231*c_1001_0^14 + 27355535976357534613309913058851824643225064165/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 + 47425083468957977206456151291359244339656202416/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 - 4584510581153117058113566717022585422745019135/38873542046071912809\ 560959750112231701791377231*c_1001_0^11 - 8993958471900316921454699314326803128042413735/38873542046071912809\ 560959750112231701791377231*c_1001_0^10 - 88348000791623125175975151547665576384432546751/3887354204607191280\ 9560959750112231701791377231*c_1001_0^9 + 27516926147244926486870945120780968917655582925/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 - 9645333177672567566022839821603142254894974611/38873542046071912809\ 560959750112231701791377231*c_1001_0^7 + 7836391381752794791342812427142959741955555492/38873542046071912809\ 560959750112231701791377231*c_1001_0^6 + 868547529647114841567699233964534342464728742/388735420460719128095\ 60959750112231701791377231*c_1001_0^5 - 67479183398631630169851540475623784957088550045/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 12102061061882900333298711802923840075571100914/3887354204607191280\ 9560959750112231701791377231*c_1001_0^3 + 83505095325674900586766554225520112282327401309/3887354204607191280\ 9560959750112231701791377231*c_1001_0^2 - 54431565304037329145543608064907653884614670993/3887354204607191280\ 9560959750112231701791377231*c_1001_0 + 55743844542221939288301942486259311755147523934/3887354204607191280\ 9560959750112231701791377231, c_0101_5 + 2822102891139879504939983384543546157578493441/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 + 13933990013444170828600987383117783628235151467/3887354204607191280\ 9560959750112231701791377231*c_1001_0^17 + 24876652273784387285048244921288279013766716094/3887354204607191280\ 9560959750112231701791377231*c_1001_0^16 + 4743809372232372780864527608789193337021043705/38873542046071912809\ 560959750112231701791377231*c_1001_0^15 + 15960253788150003815952361406672035468229741347/3887354204607191280\ 9560959750112231701791377231*c_1001_0^14 - 83246175051259583871885008034242813420059788783/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 - 21127706702639706081552471241619981905377733347/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 - 109850400518110626339098757968466959845659107723/388735420460719128\ 09560959750112231701791377231*c_1001_0^11 + 89479993359524007060405060021250326574589775720/3887354204607191280\ 9560959750112231701791377231*c_1001_0^10 + 19988458170419336481120257155589343007675252641/3887354204607191280\ 9560959750112231701791377231*c_1001_0^9 + 120460727855205049263154726372467944421882101209/388735420460719128\ 09560959750112231701791377231*c_1001_0^8 + 61628819321040194278906910366849197082193995051/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 - 24292280507447663469424403581083569233906975228/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 + 14616712363353458804424387909924920045772017636/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 39670299347257559630447855908497719946822748983/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 - 93080309787420432687332978625783731101479556390/3887354204607191280\ 9560959750112231701791377231*c_1001_0^3 + 94086018819662741329465212300271812979845539809/3887354204607191280\ 9560959750112231701791377231*c_1001_0^2 - 124412724022487838042203860210943786614956457046/388735420460719128\ 09560959750112231701791377231*c_1001_0 - 13869618546281587919457225324363068493895689934/3887354204607191280\ 9560959750112231701791377231, c_0101_7 - 2067873721767645657640159813692099536569335664/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 - 8282416314956740114802488134077221985022321708/38873542046071912809\ 560959750112231701791377231*c_1001_0^17 - 6795923335885091286207810245958516032154914560/38873542046071912809\ 560959750112231701791377231*c_1001_0^16 + 21888948593417825315527494619843301502264849483/3887354204607191280\ 9560959750112231701791377231*c_1001_0^15 + 1231491436882059797974195256497148499134705054/38873542046071912809\ 560959750112231701791377231*c_1001_0^14 + 57216621944909184485063380148514172920886863953/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 - 42559225180710989600138830900784223047412114914/3887354204607191280\ 9560959750112231701791377231*c_1001_0^12 + 18491731508562434403912283100643159240256576734/3887354204607191280\ 9560959750112231701791377231*c_1001_0^11 - 114770507807564605165850852221565756009269521405/388735420460719128\ 09560959750112231701791377231*c_1001_0^10 + 30163570340392402287415329511714975636756050936/3887354204607191280\ 9560959750112231701791377231*c_1001_0^9 + 10308109237029358085957893536736154744281984327/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 + 23920249461928606112279222591310646315887837287/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 + 46771607098506047774454795841623023877186248467/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 - 34390228754775784541965867176572959189287670224/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 - 73824830823248088843228527901599544737662913041/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 + 108452322526112170760791852314735699098107227316/388735420460719128\ 09560959750112231701791377231*c_1001_0^3 - 78614253024868104054741435748883489058698387117/3887354204607191280\ 9560959750112231701791377231*c_1001_0^2 + 60507360773359859319071701508928978113705494674/3887354204607191280\ 9560959750112231701791377231*c_1001_0 - 9415147969196651398420008030048536196900184049/38873542046071912809\ 560959750112231701791377231, c_0110_5 + 1589193341793991016590725965710233752072029304/3887354204607\ 1912809560959750112231701791377231*c_1001_0^18 + 13598186352886214747442698993412174572653970965/3887354204607191280\ 9560959750112231701791377231*c_1001_0^17 + 39018391422439153646408484552923265702681173498/3887354204607191280\ 9560959750112231701791377231*c_1001_0^16 + 32494119897133090809917983882323854338139035778/3887354204607191280\ 9560959750112231701791377231*c_1001_0^15 - 28155050658548004943533003944372091489415060134/3887354204607191280\ 9560959750112231701791377231*c_1001_0^14 - 34244072023488753062138033610060593921573912129/3887354204607191280\ 9560959750112231701791377231*c_1001_0^13 - 155491046536633614710782142015114480744488319548/388735420460719128\ 09560959750112231701791377231*c_1001_0^12 - 610742649710344527568617991187296086859389600/388735420460719128095\ 60959750112231701791377231*c_1001_0^11 - 51443675797830152768492275980456283305649926471/3887354204607191280\ 9560959750112231701791377231*c_1001_0^10 + 243502096961987376532199185965760496019628570772/388735420460719128\ 09560959750112231701791377231*c_1001_0^9 + 20152274408061214788394074705537605388137177531/3887354204607191280\ 9560959750112231701791377231*c_1001_0^8 + 73370297130025143379872789714448014401928798359/3887354204607191280\ 9560959750112231701791377231*c_1001_0^7 + 37146899983640010808909708939101881927751212833/3887354204607191280\ 9560959750112231701791377231*c_1001_0^6 - 47143403717371229407553183312028198311168782446/3887354204607191280\ 9560959750112231701791377231*c_1001_0^5 + 81533331416637114724071780522760815484349731266/3887354204607191280\ 9560959750112231701791377231*c_1001_0^4 + 75519534854566981815022677337292276693394219192/3887354204607191280\ 9560959750112231701791377231*c_1001_0^3 - 262515195164974140837587981472803615887608887232/388735420460719128\ 09560959750112231701791377231*c_1001_0^2 + 128750309727378536293338456081420710463243321829/388735420460719128\ 09560959750112231701791377231*c_1001_0 - 92618496211771390387301056117744305826965170610/3887354204607191280\ 9560959750112231701791377231, c_1001_0^19 + 162/41*c_1001_0^18 + 158/41*c_1001_0^17 - 7*c_1001_0^16 + 249/41*c_1001_0^15 - 1175/41*c_1001_0^14 + 997/41*c_1001_0^13 - 1303/41*c_1001_0^12 + 2308/41*c_1001_0^11 - 1545/41*c_1001_0^10 + 1124/41*c_1001_0^9 - 429/41*c_1001_0^8 - 112/41*c_1001_0^7 + 721/41*c_1001_0^6 + 741/41*c_1001_0^5 - 2422/41*c_1001_0^4 + 2554/41*c_1001_0^3 - 2288/41*c_1001_0^2 + 1418/41*c_1001_0 - 569/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.370 Total time: 0.590 seconds, Total memory usage: 32.09MB