Magma V2.19-8 Wed Aug 21 2013 00:31:32 on localhost [Seed = 2581563657] Type ? for help. Type -D to quit. Loading file "K14n18196__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n18196 geometric_solution 10.93800062 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 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 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 2.164949024967 1.223645460570 0 2 6 5 0132 2310 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 -14 -1 15 -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.194116543557 0.732823350035 7 0 7 1 0132 0132 2310 3201 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 -14 0 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.134036442097 1.003182214170 8 9 6 0 0132 0132 2103 0132 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 1 0 -1 0 0 0 0 0 0 0 0 -15 0 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.411458367462 1.137924285860 10 11 0 10 0132 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 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.783629169068 0.820368269783 8 8 1 9 2103 3120 0132 3120 0 0 0 0 0 -1 1 0 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 15 -15 0 0 0 -1 1 -15 15 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.826805480721 0.810981439616 3 10 11 1 2103 3201 3201 0132 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 -1 1 0 0 0 0 0 0 0 0 -15 1 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.365237407295 1.182872261137 2 2 12 12 0132 3201 0132 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 0 0 0 0 -14 14 0 0 0 0 14 0 -14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.446323407423 0.262565775744 3 5 5 12 0132 3120 2103 2310 0 0 0 0 0 1 -1 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 -15 15 0 0 0 0 0 15 -15 0 0 0 -15 15 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.251850710590 1.179288193947 5 3 10 11 3120 0132 0213 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -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.394715368003 0.408889781810 4 9 6 4 0132 0213 2310 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783629169068 0.820368269783 6 4 9 12 2310 0132 1230 0132 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 -14 0 0 14 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.346849242897 0.621813149643 8 7 11 7 3201 2310 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -14 14 0 -14 0 14 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686426349318 0.870114200417 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_1001_0'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_1001_12'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_12'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_5'], 'c_1010_12' : negation(d['c_0101_2']), 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : negation(d['c_1001_11']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_6']), 'c_0101_10' : negation(d['c_0011_6']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : 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' : negation(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_1001_11']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0011_12']), 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_12']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : d['c_0011_3'], 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_5']), 'c_1010_0' : d['c_1001_12'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : negation(d['c_0011_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_12']), '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' : d['1'], 's_1_1' : d['1'], 's_1_0' : 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_5'], '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_11' : d['c_0101_12'], 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0011_5'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_5'], 'c_0101_6' : negation(d['c_0101_12']), 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_12']), '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_0011_10'], 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_12']), 'c_0110_8' : negation(d['c_0101_12']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : d['c_0101_2'], 'c_1100_8' : d['c_0011_12']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_5, c_0011_6, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_1001_0, c_1001_11, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t + 1232524054495595528170056738298972801256786985932458986868191659/20\ 92183269320222076818845153812750544487345751372299622103904*c_1001_\ 12^22 + 18572924409561994574868975896656897638903488936872946765665\ 734909/209218326932022207681884515381275054448734575137229962210390\ 4*c_1001_12^21 + 75192230099671129210630895274631491691285729257304\ 127338560327939/209218326932022207681884515381275054448734575137229\ 9622103904*c_1001_12^20 + 16896928509137778559108128088688085890926\ 094442090926439754843199/209218326932022207681884515381275054448734\ 5751372299622103904*c_1001_12^19 - 7475218695014669208782915207242654441787869491425447088272577419/65\ 380727166256939900588911056648454515229554730384363190747*c_1001_12\ ^18 - 4466948333583793082162550377639966079960314106114419316003726\ 38847/1046091634660111038409422576906375272243672875686149811051952\ *c_1001_12^17 - 104739746086103383172905286857371118732747769426020\ 859900833756717/130761454332513879801177822113296909030459109460768\ 726381494*c_1001_12^16 + 276952938643161802031911006925895725808231\ 5267750636661698509181525/10460916346601110384094225769063752722436\ 72875686149811051952*c_1001_12^15 + 1685882162449871246391297613557002597510164688243213495889904139910\ 5/2092183269320222076818845153812750544487345751372299622103904*c_1\ 001_12^14 - 3975344179912426650889753329667798760212410960031015424\ 393312566719/261522908665027759602355644226593818060918218921537452\ 762988*c_1001_12^13 - 482269418908566772380560027844917699702104834\ 86592138811770520844201/2092183269320222076818845153812750544487345\ 751372299622103904*c_1001_12^12 + 105331326711556509456161432011014\ 470969554889246726995303356874013993/209218326932022207681884515381\ 2750544487345751372299622103904*c_1001_12^11 + 5166877311316238932355975097768794994398038359727990970087205936888\ 7/2092183269320222076818845153812750544487345751372299622103904*c_1\ 001_12^10 - 9705327073077134864077219350880007332661474964024463846\ 9307218128431/10460916346601110384094225769063752722436728756861498\ 11051952*c_1001_12^9 + 68404210905965526960946507215246733509338611\ 75648871933957136728583/2092183269320222076818845153812750544487345\ 751372299622103904*c_1001_12^8 + 9012953054589999713698833506956828\ 9591732401811592394297387049540357/10460916346601110384094225769063\ 75272243672875686149811051952*c_1001_12^7 - 2854185554656127733887347489373036663996452844179968368561668232475\ /130761454332513879801177822113296909030459109460768726381494*c_100\ 1_12^6 - 9305283450672949029173961349076252106966448302353800145566\ 573257323/261522908665027759602355644226593818060918218921537452762\ 988*c_1001_12^5 + 2071683832390277279245250903282732856871988277963\ 9675621533537966595/20921832693202220768188451538127505444873457513\ 72299622103904*c_1001_12^4 + 41137731501407189427448262670164564337\ 56537220747689475297399911273/1046091634660111038409422576906375272\ 243672875686149811051952*c_1001_12^3 + 97986616056104310516785358240423253335719680576475710835666615079/5\ 23045817330055519204711288453187636121836437843074905525976*c_1001_\ 12^2 + 473694819465613769179854741840057050862967894696491447286892\ 48401/523045817330055519204711288453187636121836437843074905525976*\ c_1001_12 + 2004652784648172491072850949124355084186161401587913599\ 055331007/261522908665027759602355644226593818060918218921537452762\ 988, c_0011_0 - 1, c_0011_10 + 27172552379597056573462413920757381222671055750462420315/13\ 27527455152425175646475351404029533304153395540799252604*c_1001_12^\ 22 + 101758797479025735299854273017013548434232552685566231907/3318\ 81863788106293911618837851007383326038348885199813151*c_1001_12^21 + 405102753598195359203946986234315974751724090199746537356/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^20 + 53504113814826117600078789574754042438219782989286133863/3318818637\ 88106293911618837851007383326038348885199813151*c_1001_12^19 - 5346158795889416702305191692213359783819397587167969905887/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^18 - 9609886536568976396204073317759996496452414029020937631545/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^17 - 8761412617479223757733877622598661820409774946792572217320/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^16 + 62945134965474491995432558731745658610664994029348934141851/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^15 + 361556954367494709697013612408399689311540614489624101388709/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^14 - 737828767933181074702596606258492076622500215359007559795693/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 - 1009156387574550333149673997573042923668052999560847524481113/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^12 + 609546273000342446865594335683707351148051691683866883012914/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^11 + 476381689533296199277247182875352760232996725912423874743249/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^10 - 4447571646950488528590753658378509106487642988667737306607003/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^9 + 523691590291900934150436848925697996684048796775765376216771/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^8 + 4072666309642454030140212642643256916095666025822871932880771/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^7 - 349703109690433879203825108984870372747286673476249434944801/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^6 - 820251335787502462655711160319144373079969308563476677767369/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^5 + 653206684835803373796587323440033785234857345589342428398489/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^4 + 166110245546258200927971175022210557926462975939561582620585/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^3 - 6326544765939365108135162831041881949846133297973000869689/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^2 + 1164311049498441927151809931477663217297721949974097441135/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12 - 139320830397992385571066260907265462767148628274546772388/331881863\ 788106293911618837851007383326038348885199813151, c_0011_12 - 16345860149356980695820317995107215642398415537057902657/13\ 27527455152425175646475351404029533304153395540799252604*c_1001_12^\ 22 - 122616734360237716487287942069009545805483517800814479769/6637\ 63727576212587823237675702014766652076697770399626302*c_1001_12^21 - 245139508047619057591595809397605752152680079831911945423/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^20 - 38283970446560904715741536409150609142340167739200130831/3318818637\ 88106293911618837851007383326038348885199813151*c_1001_12^19 + 3205436158790677010019300246740794158722986757478547913913/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^18 + 2908408516303813107641498878200272903246862251650984234534/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^17 + 5343495999166236620849051445706510571137621244974694781686/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^16 - 37572792015353662828914096714113378361748711893099780862259/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^15 - 219067539334809003002380143390897319431474637177185591567367/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^14 + 438284212687026373463938624861186188114601782938755233939489/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 + 615545707854938048195906088523030332867675062553087497925117/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^12 - 724978297107081594769191606689500004206246548474644037828401/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^11 - 300867072618191779942492973608980410965790772041686983480287/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^10 + 2653889378324232165022895945519270671681007343815881432556237/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^9 - 260552169224551946173348915182237231074008507393878987990703/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^8 - 2442777326161436392867123687849148445868047845655532645703083/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^7 + 395099857080593297146165818786680871390428436114763414608671/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^6 + 496849437210970132161374830182141447172614136887960714179115/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^5 - 374682246742654106888797404946120696896701475943745097311587/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^4 - 104152777902842935216120903574874013552514314481376862330525/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^3 + 7833496636088912170062377933028534401347441538338900119053/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^2 - 725900484155456532025866856917011883376980018775279274898/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12 + 214245685241442191836753624372204598649509616961406111482/331881863\ 788106293911618837851007383326038348885199813151, c_0011_3 + 26278634771171871967517965999128419121815561914714796321/132\ 7527455152425175646475351404029533304153395540799252604*c_1001_12^2\ 2 + 177085925534767663172653231057693840158991586573642759109/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^21 + 974121140862301846511189993583569684220024949338835091953/132752745\ 5152425175646475351404029533304153395540799252604*c_1001_12^20 - 2173946196041727492110618181837881779850906835980344885649/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^19 - 5606589504577193110612514485855465783846864139921337075377/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^18 - 10932669612623890399184144999402139462718442170091688246069/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^17 - 2830366779622257487885688083559305106139968739949445733377/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^16 + 174152242782273640866119329431953479711740451938334907521779/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^15 + 85057010018986253234463330860951622505372197177979490568739/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^14 - 1244442426121160347578961397847834416723471801152548635095791/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^13 + 66128007354531818623474719858461681713182982996585284819551/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^12 + 3848674811026302934887687936290101581991663849825876997747711/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^11 - 1257668827275222611981847932829358026527035578967639778308709/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^10 - 2890290130194634574643135603900775213141674040122224090383557/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^9 + 1692703869677864413035281423420590048296859729222194315502176/33188\ 1863788106293911618837851007383326038348885199813151*c_1001_12^8 + 1703857978434816366746158005371346817275785947158808320918777/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^7 - 7059547790798796633551636113308756018315930398458239483193967/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^6 + 150895873265783217534056602377937187503258136637261353380803/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^5 + 2897701002819223945244423374642832066809596925013715898123161/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^4 - 301387864592717885265047242092548168756601275245153709656101/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^3 - 59793441286926267898728026273976682013086478275820787809561/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^2 - 581365699756606542185960425131882260827247120616242141960/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12 - 1725827196787632927653406396307611986725122465607053721558/33188186\ 3788106293911618837851007383326038348885199813151, c_0011_5 + 24870146984540306969429382638259975974905202357801315537/132\ 7527455152425175646475351404029533304153395540799252604*c_1001_12^2\ 2 + 361301591416500992465601092465808922367167041976959965161/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^21 + 1316538396189594022809954733916608204811124425620754644721/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^20 - 223582915525457985312580650136298326691329135834771951991/663763727\ 576212587823237675702014766652076697770399626302*c_1001_12^19 - 2438508153764049970823640581294374259234760867354184762287/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^18 - 7694062903956656100260268187148977488641557094969114881807/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^17 - 24482385445862580066353677422717670510217152848850504744991/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^16 + 128489519664424714743475808460662864773386367668198306910543/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^15 + 276698735131880769091048131084692316973707764240863191332403/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^14 - 815828027202936593430098618171640723588896992045045814094779/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 - 297894347296182455143499287743266372207830915014206775789173/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^12 + 1296820364516391816086133063221623635443503942785429010268537/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^11 - 191671718562375271437049168731604960716344291120078246996699/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^10 - 2144032598202596800190828521121681507392294610318081825841951/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^9 + 1170186298443521656392024200863550747128196172555794698821301/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^8 + 1605819298371209014871027139158494347309411363999230082362025/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^7 - 2858710092687015899412159656886093082037680495592059369207017/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^6 - 342753014212024331432491548856503130898428324348656007539335/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^5 + 283030755796383436102030437720677380520011304496710798438624/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^4 - 185449417155084780747488991185405646328810841207805505975985/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^3 - 9627188124495988671865620946181767584096480744182561706248/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^2 + 2632291326545400646745829981234989275288396577500462082699/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12 - 376374176057824421324910742680582931847956182177839365181/331881863\ 788106293911618837851007383326038348885199813151, c_0011_6 - 161501369087437310708124305905105492032650906186208063235/13\ 27527455152425175646475351404029533304153395540799252604*c_1001_12^\ 22 - 2441664679803653768367721781062284899223401280453165627893/132\ 7527455152425175646475351404029533304153395540799252604*c_1001_12^2\ 1 - 9974587586522095623348915784464959958694730865173508338533/1327\ 527455152425175646475351404029533304153395540799252604*c_1001_12^20 - 680706233769789222455566752247131022343480160090662865868/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^19 + 15576318067668927965963149985984035609155386549416866942441/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^18 + 59304970440161445312102352274419492891464160503305195349665/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^17 + 225654548362425821833841978659877655035597658372710895176925/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^16 - 713961011532662308297146105215316882115161290697981568510227/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^15 - 2243262633608078325820813888977042004620020231402546834339467/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^14 + 4051272628710338520940502561134918483199925997215941328570535/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^13 + 1626961531277121819799877227110595399608565323053109721232655/33188\ 1863788106293911618837851007383326038348885199813151*c_1001_12^12 - 6724981867167098982629829110586315196265125564560668842358233/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^11 - 7407128877797180750722401616449544378587339478985048117531351/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^10 + 6243240454387487172283714673303254209749361873358894450544936/33188\ 1863788106293911618837851007383326038348885199813151*c_1001_12^9 + 165058383981080913104394666010125312198591219830220462181427/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^8 - 11721828259949836777868838272572381793924087537581762118038241/6637\ 63727576212587823237675702014766652076697770399626302*c_1001_12^7 + 4763602695477804776412825229787595759107037769723712190261111/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^6 + 2466140618131433544440617126280094437181952271402285326431758/33188\ 1863788106293911618837851007383326038348885199813151*c_1001_12^5 - 536274871214193025344628322799693939759684144829992495572737/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^4 - 1150412160478198699608925740801923721689421749308613864797021/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^3 - 69907074904258315698377287127836660035193480774094494594025/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^2 - 7182437086365631592517356194534969853009964711520560189604/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12 - 681647247391223823077117299194047064387885467167131792542/331881863\ 788106293911618837851007383326038348885199813151, c_0101_0 + 16345860149356980695820317995107215642398415537057902657/132\ 7527455152425175646475351404029533304153395540799252604*c_1001_12^2\ 2 + 122616734360237716487287942069009545805483517800814479769/66376\ 3727576212587823237675702014766652076697770399626302*c_1001_12^21 + 245139508047619057591595809397605752152680079831911945423/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^20 + 38283970446560904715741536409150609142340167739200130831/3318818637\ 88106293911618837851007383326038348885199813151*c_1001_12^19 - 3205436158790677010019300246740794158722986757478547913913/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^18 - 2908408516303813107641498878200272903246862251650984234534/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^17 - 5343495999166236620849051445706510571137621244974694781686/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^16 + 37572792015353662828914096714113378361748711893099780862259/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^15 + 219067539334809003002380143390897319431474637177185591567367/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^14 - 438284212687026373463938624861186188114601782938755233939489/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 - 615545707854938048195906088523030332867675062553087497925117/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^12 + 724978297107081594769191606689500004206246548474644037828401/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^11 + 300867072618191779942492973608980410965790772041686983480287/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^10 - 2653889378324232165022895945519270671681007343815881432556237/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^9 + 260552169224551946173348915182237231074008507393878987990703/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^8 + 2442777326161436392867123687849148445868047845655532645703083/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^7 - 395099857080593297146165818786680871390428436114763414608671/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^6 - 496849437210970132161374830182141447172614136887960714179115/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^5 + 374682246742654106888797404946120696896701475943745097311587/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^4 + 104152777902842935216120903574874013552514314481376862330525/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^3 - 7833496636088912170062377933028534401347441538338900119053/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^2 + 725900484155456532025866856917011883376980018775279274898/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12 - 214245685241442191836753624372204598649509616961406111482/331881863\ 788106293911618837851007383326038348885199813151, c_0101_1 + 17550210827001100061066689384137612932316770116004241609/132\ 7527455152425175646475351404029533304153395540799252604*c_1001_12^2\ 2 + 264099663444897096893717805272225417584804086737385692671/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^21 + 266533120496910141036217215455753387827187942267365134623/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^20 + 232541344021783626362393296418579932836497360558938459709/132752745\ 5152425175646475351404029533304153395540799252604*c_1001_12^19 - 838663234812213385736198465532987791519068891907821448503/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^18 - 12642241819887819405768241021047390966492424960420688486971/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^17 - 23779478528393093084823812738037531485090424327869865262543/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^16 + 39350525524413404336037305485865775763316360915126344035801/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^15 + 118594182024102350378010788464655802938938971531087326475447/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^14 - 453489851148177226028523232819681499136622123314873757241181/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 - 166213870933937697443525616075074447058155138545231166456604/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^12 + 1488600461339903114195600852756528418243559317582090958695663/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^11 + 670756417145343706560167541768961327168759603918835390835495/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^10 - 2695966338405037966637465096950935113099862074471533842148977/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^9 + 184237488152607212587774565636056904343633498587603270125405/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^8 + 2415886871569825763580076586679272490182064414097856675890871/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^7 - 170241773944679591736344900892371248002058203108423146834014/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^6 - 915826869430208952622564455509430395435332599580549845886965/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^5 + 66908801399186718312353202600438508668307051742046231018337/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^4 + 15836986831017324881684403021120874052206752572887844459101/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^3 + 11836077880422661050464438709069431450952794961819600198021/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^2 + 1206188090187437065069022839978280793648045400485097361605/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12 + 97461526896217567611380295676457224609851360676787280524/3318818637\ 88106293911618837851007383326038348885199813151, c_0101_12 - 27172552379597056573462413920757381222671055750462420315/13\ 27527455152425175646475351404029533304153395540799252604*c_1001_12^\ 22 - 101758797479025735299854273017013548434232552685566231907/3318\ 81863788106293911618837851007383326038348885199813151*c_1001_12^21 - 405102753598195359203946986234315974751724090199746537356/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^20 - 53504113814826117600078789574754042438219782989286133863/3318818637\ 88106293911618837851007383326038348885199813151*c_1001_12^19 + 5346158795889416702305191692213359783819397587167969905887/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^18 + 9609886536568976396204073317759996496452414029020937631545/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^17 + 8761412617479223757733877622598661820409774946792572217320/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^16 - 62945134965474491995432558731745658610664994029348934141851/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^15 - 361556954367494709697013612408399689311540614489624101388709/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^14 + 737828767933181074702596606258492076622500215359007559795693/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 + 1009156387574550333149673997573042923668052999560847524481113/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^12 - 609546273000342446865594335683707351148051691683866883012914/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^11 - 476381689533296199277247182875352760232996725912423874743249/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^10 + 4447571646950488528590753658378509106487642988667737306607003/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^9 - 523691590291900934150436848925697996684048796775765376216771/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^8 - 4072666309642454030140212642643256916095666025822871932880771/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^7 + 349703109690433879203825108984870372747286673476249434944801/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^6 + 820251335787502462655711160319144373079969308563476677767369/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^5 - 653206684835803373796587323440033785234857345589342428398489/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^4 - 166110245546258200927971175022210557926462975939561582620585/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^3 + 6326544765939365108135162831041881949846133297973000869689/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^2 - 1164311049498441927151809931477663217297721949974097441135/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12 + 139320830397992385571066260907265462767148628274546772388/331881863\ 788106293911618837851007383326038348885199813151, c_0101_2 - 3587870461258925794956803690508147228384473075325261433/1327\ 527455152425175646475351404029533304153395540799252604*c_1001_12^22 - 26824666430839223971410439277893236643197569077579512109/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^21 - 212074274857463078036603000342395008113890334012430114389/132752745\ 5152425175646475351404029533304153395540799252604*c_1001_12^20 - 15742590686513241867061640215309054906271561611694204223/1327527455\ 152425175646475351404029533304153395540799252604*c_1001_12^19 + 734325144627066619882642815371670825063708623493683848695/132752745\ 5152425175646475351404029533304153395540799252604*c_1001_12^18 + 2526345244572807090619108003834475043494183077113474314865/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^17 + 2238254861587418050404270118088126587458377434235730208605/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^16 - 17072142769725260839094083616040529738378338748709226592757/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^15 - 11981118375430223695529765654046719448163973835120388578103/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^14 + 100677600127845961195518529620423283814666300701970879265031/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 + 136745684057060660397499114278884347428279530800084946411635/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^12 - 336821618392156736849945173628762617776920094170042224143901/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^11 - 33502253407646063006110170748877061327465265128795635854301/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^10 + 313661516649772888000251655366214152970084726464514194344937/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^9 - 17128745386795152499499916691278224455372782890454642995004/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^8 - 150117171080364924935219875826241323090944568213517198386908/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^7 + 203890073233766277560113245495248467829782205426647045225695/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^6 + 265599113943314304633933000244542129661061843542974546130355/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^5 - 106661588430227366466799154118740146210853540177908090608845/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^4 - 9122861779613539646571017667921112778753193171725487566317/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12^3 + 3239002112012482811170883089651516679131076909671799132901/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^2 - 242704031884997184923760903942035875326447891801848626460/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12 + 278771781563382793049829799369325222037000420026068640893/331881863\ 788106293911618837851007383326038348885199813151, c_1001_0 + 7077946472367303235378889548794890794337753063728451431/1327\ 527455152425175646475351404029533304153395540799252604*c_1001_12^22 + 105358507725551031086941046945763139567929417495537338003/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^21 + 412201486659920642154202998988818098430495676790143689011/132752745\ 5152425175646475351404029533304153395540799252604*c_1001_12^20 + 8680190780498349031435184718496290893918267226895975631/66376372757\ 6212587823237675702014766652076697770399626302*c_1001_12^19 - 696938549146472999680085374581103789431555083305526182113/663763727\ 576212587823237675702014766652076697770399626302*c_1001_12^18 - 2441317004279778620575797623831350252924789177029155596809/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^17 - 8677962469175967805776964401859411032918170913756504047341/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^16 + 33612240212753117980298338676329335494911002065072622395901/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^15 + 91064389834408245745197795805417662694099088098106402770629/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^14 - 200418136043395863766589901040491695755683346491836639960129/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^13 - 122041066470269765420686167911036469660611948083398416815909/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^12 + 327570510058412609258757421995344507506349186300335654153763/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^11 + 188233164143726873805980809432537071647303659746743989704939/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^10 - 583226484140953403473058142576047997770541479033526962686631/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^9 + 118316712528725280168929232343228926191392234796191729944469/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^8 + 511327479399539196556848886662300882255525699399201007142747/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^7 - 437729898729471151512428763499752755875143366522762014834591/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^6 - 187218374443458499158891374209903695426198555620471696844765/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^5 + 44905210126584689239361001038094141038518301611118283021578/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^4 + 23608966397383514703760262236119033765807133836866856774929/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^3 + 936105932843743068109959366250700310732068317524225127273/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12^2 + 186345784141570852036367256000679607001569455278165537044/331881863\ 788106293911618837851007383326038348885199813151*c_1001_12 - 367273251333781382812433994610748669077617659880337101798/331881863\ 788106293911618837851007383326038348885199813151, c_1001_11 - 11974016304319946460142305883321097453991813153355170047/66\ 3763727576212587823237675702014766652076697770399626302*c_1001_12^2\ 2 - 92662341954677398391584313742649044410416007120639174818/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^21 - 1609359408247522524339031499179523061504423743426286355569/13275274\ 55152425175646475351404029533304153395540799252604*c_1001_12^20 - 941005955950659814985476747283226731221545516419674677643/132752745\ 5152425175646475351404029533304153395540799252604*c_1001_12^19 + 2221354706135561635832457904907530879515575725382495877745/66376372\ 7576212587823237675702014766652076697770399626302*c_1001_12^18 + 19208586007369038817327029002739659395878437348801594012253/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^17 + 19906928284997924889520682825840208047700601371667629768857/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^16 - 93516960774787787695100985242524648464965152653428587946481/1327527\ 455152425175646475351404029533304153395540799252604*c_1001_12^15 - 369698199369815828041514754358772957648368544376663560883709/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^14 + 120107087962123345688791077481949740949699344736338259260526/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^13 + 586940773875755157993788576888042012512135264479860066723405/663763\ 727576212587823237675702014766652076697770399626302*c_1001_12^12 - 1644043403683070971577404741249257756118503391957646212466929/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^11 - 448595386762744571483666954915402247929317828460511543052446/331881\ 863788106293911618837851007383326038348885199813151*c_1001_12^10 + 3294363144957264177404579640070936387771745915313824409174639/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^9 + 1348728175179414277699798914504092415390956602464602619949749/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^8 - 3430169786232759126603369028358621764566853122860400031192185/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^7 - 517357925723070293982309373103038787166650906876367404379819/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^6 + 1696853554810084008456586621791476629966321165718808158383971/13275\ 27455152425175646475351404029533304153395540799252604*c_1001_12^5 + 49105883710181600975520429994254204657941808376194593260267/3318818\ 63788106293911618837851007383326038348885199813151*c_1001_12^4 - 288110022446907535559085838217317241063031574162403299283439/132752\ 7455152425175646475351404029533304153395540799252604*c_1001_12^3 - 39905792691962249152429831343265734228185224298756635335885/6637637\ 27576212587823237675702014766652076697770399626302*c_1001_12^2 - 1473802209869527392022989539523787775748343061157178793458/33188186\ 3788106293911618837851007383326038348885199813151*c_1001_12 - 481901292848684866041337610257502215715752860346683768902/331881863\ 788106293911618837851007383326038348885199813151, c_1001_12^23 + 15*c_1001_12^22 + 60*c_1001_12^21 + 10*c_1001_12^20 - 193*c_1001_12^19 - 711*c_1001_12^18 - 1316*c_1001_12^17 + 4564*c_1001_12^16 + 13323*c_1001_12^15 - 26598*c_1001_12^14 - 36898*c_1001_12^13 + 87299*c_1001_12^12 + 34760*c_1001_12^11 - 157537*c_1001_12^10 + 17688*c_1001_12^9 + 140684*c_1001_12^8 - 46749*c_1001_12^7 - 53142*c_1001_12^6 + 19557*c_1001_12^5 + 3686*c_1001_12^4 + 495*c_1001_12^3 + 286*c_1001_12^2 + 4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 18.130 Total time: 18.329 seconds, Total memory usage: 80.38MB