Magma V2.19-8 Wed Aug 21 2013 00:14:39 on localhost [Seed = 3398215255] Type ? for help. Type -D to quit. Loading file "K13n4010__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n4010 geometric_solution 11.95604829 oriented_manifold CS_known -0.0000000000000000 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 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.539459284936 0.622939536798 0 5 7 6 0132 0132 0132 0132 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 0 -1 0 0 5 -5 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.475410331062 0.541771794362 8 0 10 9 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 -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.319320841809 1.193236265673 9 6 11 0 0213 2103 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.871967751650 0.615137103225 11 9 0 6 0321 0132 0132 2103 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 -4 0 0 4 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.166712202325 1.163107324232 7 1 11 10 2031 0132 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 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.957303182157 1.222924279000 12 3 1 4 0132 2103 0132 2103 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 0 1 -1 -1 0 5 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.004119964167 1.307676318594 8 10 5 1 1302 3120 1302 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 5 0 0 -5 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842597389640 0.925373105601 2 7 11 12 0132 2031 1023 1302 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 -1 0 1 0 0 0 0 0 0 0 0 1 -5 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.474287354744 0.673555530845 3 4 2 12 0213 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.327246142076 0.587056675689 5 7 12 2 3120 3120 0213 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 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.308286626395 1.053654457961 4 5 8 3 0321 0213 1023 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 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.633158885043 0.569916788534 6 10 8 9 0132 0213 2031 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.537915571588 0.785596204887 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_12'], 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : negation(d['c_0101_2']), 'c_1001_5' : d['c_0011_3'], 'c_1001_4' : negation(d['c_0011_7']), 'c_1001_7' : d['c_0101_2'], 'c_1001_6' : d['c_0011_3'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_12']), 'c_1001_2' : negation(d['c_0011_7']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_12' : d['c_1010_12'], 'c_1010_11' : negation(d['c_0011_12']), 'c_1010_10' : negation(d['c_0011_7']), '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_0101_1']), 'c_0101_10' : d['c_0011_12'], '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_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' : 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' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1010_12'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_12']), 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : d['c_0011_11'], 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_11'], 'c_1100_0' : negation(d['c_0101_12']), 'c_1100_3' : negation(d['c_0101_12']), 'c_1100_2' : d['c_1010_12'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_1010_12'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : negation(d['c_1001_0']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_0'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_3'], 'c_1010_0' : negation(d['c_0011_7']), 'c_1010_9' : negation(d['c_0011_7']), 'c_1010_8' : d['c_0011_7'], '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'], 'c_1100_12' : negation(d['c_0011_7']), '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_4']), 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_12']), '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' : negation(d['c_0011_4']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0101_12'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0011_0']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_4']), '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_3'], 'c_0101_8' : d['c_0011_3'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_0']), 'c_0110_8' : d['c_0101_2'], '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_0011_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_11']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_0101_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_11, c_0011_12, c_0011_3, c_0011_4, c_0011_7, c_0101_0, c_0101_1, c_0101_12, c_0101_2, c_1001_0, c_1010_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 982270871701740027877908805378680571112087267979517151383665229/875\ 1347906455078919593677002170502247056281168491292702018899213*c_101\ 0_12^23 - 181425939235542279862728927268532189753032030090170483578\ 78808698/8751347906455078919593677002170502247056281168491292702018\ 899213*c_1010_12^22 + 439340167081161787163109938836172068898672044\ 3269428006746277485/23976295634123503889297745211426033553578852516\ 4145005534764362*c_1010_12^21 - 17534422800686455272662458609052063\ 56020710071029065416133102139619/1750269581291015783918735400434100\ 4494112562336982585404037798426*c_1010_12^20 + 311474418373057953876190114552810529036875061729928060168754017553/\ 833461705376674182818445428778143071148217254142027876382752306*c_1\ 010_12^19 - 1761466118385782013326171338148974424275684511861192061\ 9678911629093/17502695812910157839187354004341004494112562336982585\ 404037798426*c_1010_12^18 + 361566688220573463803789226318349348524\ 07260535133908389945992654221/1750269581291015783918735400434100449\ 4112562336982585404037798426*c_1010_12^17 - 2033158559568975346667418706553460782447755663401143746236029316855\ 5/5834231937636719279729118001447001498037520778994195134679266142*\ c_1010_12^16 + 4554985681403215115223229309458251144149773703402305\ 2715137464006667/87513479064550789195936770021705022470562811684912\ 92702018899213*c_1010_12^15 - 2033183326297905539658225858338857845\ 4523068447930546615533522408614/29171159688183596398645590007235007\ 49018760389497097567339633071*c_1010_12^14 + 1435035852225215104079869149867689676585858796532984778198832627315\ 19/1750269581291015783918735400434100449411256233698258540403779842\ 6*c_1010_12^13 - 68351241763977537372096627786339545126205725554717\ 27921729681296899/7955770824050071745085160911064092951869346516810\ 26609274445383*c_1010_12^12 + 1368827312474763656731208717235681343\ 55444593596631433821069297834667/1750269581291015783918735400434100\ 4494112562336982585404037798426*c_1010_12^11 - 4959610611829300223621253287843183780042768810795353266869783383857\ 4/8751347906455078919593677002170502247056281168491292702018899213*\ c_1010_12^10 + 2853375400759018566860669678164482011689219992675197\ 5616524286907886/87513479064550789195936770021705022470562811684912\ 92702018899213*c_1010_12^9 - 15055937523725516971790252105694205187\ 710781911036484662890808203161/875134790645507891959367700217050224\ 7056281168491292702018899213*c_1010_12^8 - 3940377052943554026771069380116093378154790076835940331221674305544\ /8751347906455078919593677002170502247056281168491292702018899213*c\ _1010_12^7 + 235986099348270346489303814261051456318973417723067246\ 01078752394161/8751347906455078919593677002170502247056281168491292\ 702018899213*c_1010_12^6 - 2438182710132609029686076460742844267123\ 1610474359428537437992774026/87513479064550789195936770021705022470\ 56281168491292702018899213*c_1010_12^5 + 1408723137212137990186875658922835189561856737176683876532726202181\ /2917115968818359639864559000723500749018760389497097567339633071*c\ _1010_12^4 + 774276107730864422427735648571112742623298329592334510\ 417564948535/125019255806501127422766814316721460672232588121304181\ 4574128459*c_1010_12^3 - 290139553516103493957116584182028135606495\ 3564255990787535978545797/58342319376367192797291180014470014980375\ 20778994195134679266142*c_1010_12^2 + 148131396219743829368896245975698118676654462442539824997164000437/\ 972371989606119879954853000241166916339586796499032522446544357*c_1\ 010_12 - 1399863349724841894480125357793471448891941034094722213178\ 8950089/64824799307074658663656866682744461089305786433268834829769\ 6238, c_0011_0 - 1, c_0011_10 + 54281412371011467737006643172108767282246428726514130/68213\ 42248911339729619241196983954689574541431626687479*c_1010_12^23 - 3213804112424268041903464091169307769130336582291365524/20464026746\ 734019188857723590951864068723624294880062437*c_1010_12^22 + 414351639371235897320667348255476616237001988422727723/280329133516\ 904372450105802615778959845529099929863869*c_1010_12^21 - 176398125256212271467860137817738831144883249378334804145/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^20 + 703768770775829579094595916975057939328504504780978709742/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^19 - 675795171593149221074185176427286600243654078490980152469/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^18 + 4416137285788310994151176456852675967647650997285986983970/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^17 - 7739678920143302428346772180431229672300016655430556945022/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^16 + 3923241538880573537594479749326238562756841914216796102434/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^15 - 16120616520703340209526508561400702027366655310619220770058/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 + 6503057437337327256266476851617970123902165372573571571372/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^13 - 20739615059390890434214513740401673857489673535222060106266/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^12 + 19404429915046593020478732705145873273539989802183565985158/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^11 - 14707172879796942835971007821942432961940991076545154291459/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^10 + 8239758756260241285533045127384831370111629709719327132883/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^9 - 3863556331835768421698430430350411834566027898762710237383/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^8 - 53494005037853249955353432779505726855049183877643071321/2046402674\ 6734019188857723590951864068723624294880062437*c_1010_12^7 + 6244502352678140615724476994405405442979553912563665595699/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^6 - 8148157874117489769752692473370504523606243403152872014721/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^5 + 2983093231580680446494599202429709354246653430963891507137/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^4 + 240369177094388872282339997285408315557053713323023175706/227378074\ 9637113243206413732327984896524847143875562493*c_1010_12^3 - 1421926160269497637420756683218975882751216217780798963604/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 + 51875737045115507366721728824715408149386082375815788408/2273780749\ 637113243206413732327984896524847143875562493*c_1010_12 - 6866726296361193527361033024973653888125608518029484016/22737807496\ 37113243206413732327984896524847143875562493, c_0011_11 + 571749540763898733958227434097933117692442641645029/9344304\ 4505634790816701934205259653281843033309954623*c_1010_12^23 - 33739368589798745488944265148353759591827898695178798/2803291335169\ 04372450105802615778959845529099929863869*c_1010_12^22 + 316434189454030280915997933339512438210115007395601640/280329133516\ 904372450105802615778959845529099929863869*c_1010_12^21 - 1838016251117639633849877807240426003388355827748466644/28032913351\ 6904372450105802615778959845529099929863869*c_1010_12^20 + 7298743797269634257965655038768815316717429578891445340/28032913351\ 6904372450105802615778959845529099929863869*c_1010_12^19 - 6970212270940498592829894596242403341910169513731843162/93443044505\ 634790816701934205259653281843033309954623*c_1010_12^18 + 45272469712342609368983778184812335956086455091982495514/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^17 - 78895322838789917474463158284989961748220159275972713460/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^16 + 39828941600414432663389252821875719347443612472676162180/9344304450\ 5634790816701934205259653281843033309954623*c_1010_12^15 - 163105571124313036088616391303309508756231398759664729579/280329133\ 516904372450105802615778959845529099929863869*c_1010_12^14 + 65497819219665392441065306992067505820728842061601302467/9344304450\ 5634790816701934205259653281843033309954623*c_1010_12^13 - 207857804677159219458489534621118455883012968905825273836/280329133\ 516904372450105802615778959845529099929863869*c_1010_12^12 + 193436407960528549575841555238280212841923623104602288068/280329133\ 516904372450105802615778959845529099929863869*c_1010_12^11 - 145013985775197121352884030842069059068208863119203399230/280329133\ 516904372450105802615778959845529099929863869*c_1010_12^10 + 79880546027024571831905014738734641432200158934889420863/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^9 - 37347134396353719498670193551817029697034848953200180535/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^8 - 1852962444998995072265789644653489516341472545909708314/28032913351\ 6904372450105802615778959845529099929863869*c_1010_12^7 + 64821833330071734145942269279541560421234828630907620343/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^6 - 81546028966394406642140768384921603524524701535467558599/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^5 + 27096180957079466822620150293978591180503351252643174737/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^4 + 2635334197855348637568429313158396674374102954316281155/31147681501\ 878263605567311401753217760614344436651541*c_1010_12^3 - 13408447355112354244128258097462877228635897464148666151/2803291335\ 16904372450105802615778959845529099929863869*c_1010_12^2 + 466467845024286415732793855656057825227484788559566830/311476815018\ 78263605567311401753217760614344436651541*c_1010_12 - 14346947515731556720471475843616452236505911828519730/3114768150187\ 8263605567311401753217760614344436651541, c_0011_12 - 655523962438339183172467728051615121100420441991132049/6139\ 2080240202057566573170772855592206170872884640187311*c_1010_12^23 + 13019450735463649911266163432375561678959064492150513791/6139208024\ 0202057566573170772855592206170872884640187311*c_1010_12^22 - 1690456126694324572373931448112073392763210523475166341/84098740055\ 0713117350317407847336879536587299789591607*c_1010_12^21 + 725693429312461954027090906043127261850799597882458765565/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^20 - 974981540965036897774030732607445592709397003327239677081/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^19 + 8531833561010087986536464468519908759850597785042121317583/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^18 - 18855595161720312702772875974879561749285930787865498300497/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^17 + 1241642945840823912054294345460085461793494656795089415224/22737807\ 49637113243206413732327984896524847143875562493*c_1010_12^16 - 51544712698233891882352587356946543391347221757076219919768/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^15 + 23740548607177628255851145859610099033372056574286478617146/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 - 87195461260244651564031019164061192340462712402819396746578/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^13 + 93980438546641121728294109053159213886748481251269850787816/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^12 - 89228352309230029851519452883229550850170220986133162507988/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^11 + 69536140087312043073603223659738558468399189272308010244514/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^10 - 40956246846202693607864958686101937070675972495235687762816/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^9 + 19752817539207996744517129457365151298487384323403514983592/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^8 - 1572726593858448587274351175510788000123670307305765551391/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^7 - 25230844980297701590341591045208206618717791629367047641856/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^6 + 36178740622150635275736181588433379335227467288549288504689/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^5 - 1852006361830256358768639098892785052922312630836392708447/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^4 - 7024520239798209188796954089205018745912239065598100105868/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^3 + 2388100478374723202012087131157584254069630700595314869532/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 - 317320660803687377530231272226448211888464734969322173987/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12 + 11859621730922519177071863783086859125219347540625291824/2273780749\ 637113243206413732327984896524847143875562493, c_0011_3 - 76943877536334473178634295582200721915101378545659921/682134\ 2248911339729619241196983954689574541431626687479*c_1010_12^23 + 510781545984925789558963294448091408657678519979290375/227378074963\ 7113243206413732327984896524847143875562493*c_1010_12^22 - 66500794791828568597896335389961940722736262770164549/3114768150187\ 8263605567311401753217760614344436651541*c_1010_12^21 + 85892002482232176109045148538369968054763511911336760471/6821342248\ 911339729619241196983954689574541431626687479*c_1010_12^20 - 115757062739385084256060171704461402838706636497770907192/227378074\ 9637113243206413732327984896524847143875562493*c_1010_12^19 + 338750359931094723179802013986755649464675922232629350588/227378074\ 9637113243206413732327984896524847143875562493*c_1010_12^18 - 2252705863311061965912223069561973162342027516701641008405/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^17 + 1337836942954999529590792772795811567011466073825698993075/22737807\ 49637113243206413732327984896524847143875562493*c_1010_12^16 - 2058637877162963800659183328581376536532844313119933077551/22737807\ 49637113243206413732327984896524847143875562493*c_1010_12^15 + 8538787164678839512548373038773396940975734411532665413003/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^14 - 10466382523442704775382013682788520970724232626317407495965/6821342\ 248911339729619241196983954689574541431626687479*c_1010_12^13 + 11288097379043839878545597874644053181852324280499940681686/6821342\ 248911339729619241196983954689574541431626687479*c_1010_12^12 - 10720130544425285021082617664726590989384267745839713391469/6821342\ 248911339729619241196983954689574541431626687479*c_1010_12^11 + 8368033799913124877764372780689867479781261607503481401383/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^10 - 4923453918497680817800237964971100423551002059349822681626/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^9 + 2349065310556864316640228588354904404925301028356919428344/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^8 - 197686283529909824703052689453980341567317715981947704173/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^7 - 2999936180337900421138240242927723006083117623752647794987/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^6 + 4388881568804963371619165333268304098342457606757344429304/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^5 - 2050203754856763801219661966490891860115093169200723077313/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^4 - 865681219453091789800549924301386019077397668003802578319/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^3 + 908985975779225224194357418702437409651552117607183868580/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^2 - 316344479654300545968615816718807154224209108022088191103/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12 + 13143656546498264259031080814446723630217277168902585676/2273780749\ 637113243206413732327984896524847143875562493, c_0011_4 - 66817859379529426883660965316209668496991030240893360/682134\ 2248911339729619241196983954689574541431626687479*c_1010_12^23 + 3944354671281225153797180073276128505753553093410370600/20464026746\ 734019188857723590951864068723624294880062437*c_1010_12^22 - 506964294616131215740985925216795052951888892579988998/280329133516\ 904372450105802615778959845529099929863869*c_1010_12^21 + 215074127918834390081638312043722782889385052323654343740/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^20 - 854626170408754006362274921833444697744308385811492511884/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^19 + 816880821911497216192727730106349265559647987766117235524/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^18 - 5311870715939359938986737987583683829851356645275450954744/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^17 + 9269385612598303961710337617553217656856977484109256261735/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^16 - 1561887594499928494012542500549287591824095874469289305996/22737807\ 49637113243206413732327984896524847143875562493*c_1010_12^15 + 19212749243460139445246608683063422685282855321969948496529/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 - 2575797855389000509697140207228289686625775514121888530563/22737807\ 49637113243206413732327984896524847143875562493*c_1010_12^13 + 24572926005126438562532956355712471526255242790088204885044/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^12 - 22929068011158449332257041539097288535442582244321967963592/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^11 + 17277090155741754928957462243897033925515275438498572364355/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^10 - 9621190823132145194360078935828379712367179336911646976696/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^9 + 4568462073665692847015080017200649772424219039862663933988/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^8 + 94776000336596891054250398694425609569603419985233781693/2046402674\ 6734019188857723590951864068723624294880062437*c_1010_12^7 - 7532372610145482261297847030347098125904040634067078323085/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^6 + 9566552975461900243687732185912613678104769047757528184923/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^5 - 3249494547703510392928164066668590035252148611608709850541/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^4 - 903516083857338285629813957432295106187553929179896854446/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^3 + 1552571498108677996908724712900354116447644999939343862816/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 - 171172861329067417444483705922906663283983968553367435758/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12 + 6167784579585799924262083569489518764128428426194359673/22737807496\ 37113243206413732327984896524847143875562493, c_0011_7 - 720235463594850860573298994927447899396173172912294269/61392\ 080240202057566573170772855592206170872884640187311*c_1010_12^23 + 14286562454369052828936268522185089407627138953998583862/6139208024\ 0202057566573170772855592206170872884640187311*c_1010_12^22 - 1852089873630697741372087061181156172373153418659836735/84098740055\ 0713117350317407847336879536587299789591607*c_1010_12^21 + 793480367656032786644890570141784392545657622327040710912/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^20 - 1063195040031164197395637611556982163860951073072220100756/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^19 + 9270341502210857547521476895043370432487084697436083354454/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^18 - 20393252381704789111904255199592258260955698252040658761636/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^17 + 4007954235326962425478138327492778078801778944553915230219/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^16 - 55212574847680333550239159031230013293422669661671049374577/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^15 + 25338848914743590926823778032854581274337435705569060877666/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 - 92663204238904527808528608709395274286972738471855159064863/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^13 + 99311072088593576634032633341099866308635045371072864627347/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^12 - 93694962249954353068893094261048683426264870870574589963393/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^11 + 72232068215438983746850189275975003408784007173219754406107/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^10 - 41634406091160260997675803991342852433321895909462992397489/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^9 + 19704362317478206696134478786741277324191372249436517904129/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^8 - 944751999106353948255012043344004050488268886608902185457/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^7 - 27798674690080516305494138972338739918671137472113786688397/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^6 + 38792630545318557096164986634359448134444317067571819571541/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^5 - 1819254571374225651430545909975280065077038778312798540741/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^4 - 8984778041864613570213560945932211314694367182952433560907/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^3 + 2522593877149878152078705095036790910806515914660030155018/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 - 276627638107936199217482030470339469098097117591497777414/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12 + 10190010290804374547728028563813566665827026172746437722/2273780749\ 637113243206413732327984896524847143875562493, c_0101_0 - 31015276668780685464112672309460039640334540217260756/227378\ 0749637113243206413732327984896524847143875562493*c_1010_12^23 + 5552797282189847103224777835953604878327008133134481152/20464026746\ 734019188857723590951864068723624294880062437*c_1010_12^22 - 722108784426410978015888763511702365656823226833173114/280329133516\ 904372450105802615778959845529099929863869*c_1010_12^21 + 310497397096737888186190126538696353028877376871673299171/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^20 - 1253591145048303498974393956326848792375341262266850476787/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^19 + 1220894957370537811666365841899451749142782112275178073900/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^18 - 8105642432228123237020923884481430082604602689926086204546/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^17 + 14420797068022862964737681714207813493789246848758579937000/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^16 - 7389910593989628837258974051268526136629651519219664707021/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^15 + 30628977361795674982819484853954827224272880561472358536495/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 - 12501705202423856484407769028516003433858003561005257958283/6821342\ 248911339729619241196983954689574541431626687479*c_1010_12^13 + 40407469603406286504919514572904287075725145170263990199448/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^12 - 38333465496521668032466113210766901312540754315775771216123/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^11 + 29858567164192310108638641700173536964683569821072379765117/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^10 - 17515180807270113481272015527173913261848044176103458043823/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^9 + 8354904207525976567032985384069341358594218309347884194883/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^8 - 644828634733348477453185584424201730360961492489159924801/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^7 - 10852579560937160448619667840862855832847875237863488097602/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^6 + 15715618094856010858994622526842815895837693598898985396514/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^5 - 7235817229193598514532554189214818447727827108214147444138/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^4 - 1051501724318529355151720685023873354539222249295424530693/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^3 + 3179677167487537486510122030084858511363438934774044154057/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 - 376467792518872824908657302722148693992937598591596011329/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12 + 14052599650606686425673964889154822158304749833222681262/2273780749\ 637113243206413732327984896524847143875562493, c_0101_1 - 60222859895410096949226832715970811369528709727010006/204640\ 26746734019188857723590951864068723624294880062437*c_1010_12^23 + 1184475523497160083157047689098690320378121514178198749/20464026746\ 734019188857723590951864068723624294880062437*c_1010_12^22 - 152060638095794682920191702755964796604403172443725131/280329133516\ 904372450105802615778959845529099929863869*c_1010_12^21 + 64370013011172115083315200097497575344138559186354542554/2046402674\ 6734019188857723590951864068723624294880062437*c_1010_12^20 - 28314567929903974414739846942168082930352618715558990221/2273780749\ 637113243206413732327984896524847143875562493*c_1010_12^19 + 726252649782717193429718771442670775894683515191153932502/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^18 - 1559289686247160139009133139670367467415502489831955036303/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^17 + 895560473996802345774541950512680688283160324739254971326/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^16 - 4021432791988196926592010304316438620742783830133824876418/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^15 + 1811091950666313809074386909858487871139355833737216784215/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^14 - 6462886617469384139861200336342814268171984554149411666108/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^13 + 6710018613256172494778522699578769196170399639820717753709/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^12 - 6095856703000091343448506129882979068841365477232910186389/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^11 + 4367175071763281432283358693745848229817758557937404332103/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^10 - 2134559371637720586542852894540644588348787992773954608446/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^9 + 816712982598345528532417866867578576466525560903797986794/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^8 + 340461609021683766391275344118532301790789267594457916324/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^7 - 2438300705896401937807549549758233535503591803963491085258/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^6 + 2881806711987750543690364381915249269471831396342644660135/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^5 - 79531594417205673488315118653523760205553623500900850301/2273780749\ 637113243206413732327984896524847143875562493*c_1010_12^4 - 1074655975970385657091697008702111509366605850312864458654/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^3 + 161399424724398973618108230128440933891372161055019038889/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12^2 - 17805449189247120547369549626916592893469010703831311451/6821342248\ 911339729619241196983954689574541431626687479*c_1010_12 + 812551168028316225248644097738793975119594152504772201/227378074963\ 7113243206413732327984896524847143875562493, c_0101_12 + 523740519447159643939754380076697137274736509546307549/6139\ 2080240202057566573170772855592206170872884640187311*c_1010_12^23 - 10322587427588525932863809250293310116701784962730095205/6139208024\ 0202057566573170772855592206170872884640187311*c_1010_12^22 + 1328879476350569935742297658133796576308544725540883093/84098740055\ 0713117350317407847336879536587299789591607*c_1010_12^21 - 564695536154431477291085454543046250117074097688151346051/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^20 + 749231922338493787004439034389870793456800628746895793588/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^19 - 6455558620020937750310307625704876320513659177286045195693/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^18 + 14008616063452568633390205393548663332714779797810499969338/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^17 - 8149421415060024747600476411157230539661104561631788252819/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^16 + 37038152119953276834524651430682936626511857412129318908146/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^15 - 16854005812119756910181985004199862898102153613912959244135/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 + 60938623081191770692630056867997987326451844210333372150641/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^13 - 64440315319703206292594215777152585835290534049777142492239/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^12 + 59898232017012467788543911425588572810919154282841369878310/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^11 - 44849238101393014268218704646548387522249321247667291278114/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^10 + 24494185847757160682451352207996573391717491016768754295282/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^9 - 11127186510608735665702458182546345509963188124299797252522/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^8 - 835480455404839794955252591833572511881506739825642241698/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^7 + 20222965725258646079732905719459944305419745162801300062421/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^6 - 25720142529969511122228801397246110756027610322808952156838/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^5 + 2898869505250756698191667612981946181465668083194024609245/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^4 + 7585868137519163859165492439870943678947888284418214970707/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^3 - 1507535940144115211233914838906221176683460890203004602788/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 + 46668545693167044706721738118551830948157378282163303388/2273780749\ 637113243206413732327984896524847143875562493*c_1010_12 - 2421455171571851352161815316511978075057274019418707094/22737807496\ 37113243206413732327984896524847143875562493, c_0101_2 + 214922514506143804350987637069476685099517176740662651/20464\ 026746734019188857723590951864068723624294880062437*c_1010_12^23 - 4279485500683659731042425712741416813304077925239982159/20464026746\ 734019188857723590951864068723624294880062437*c_1010_12^22 + 185701488207754063453589935069567209680021968726452370/934430445056\ 34790816701934205259653281843033309954623*c_1010_12^21 - 79946803998894617435329578731973537362366795099944013519/6821342248\ 911339729619241196983954689574541431626687479*c_1010_12^20 + 969751100648268974907428303479770795016896499566443655734/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^19 - 2838433079618844659161935969807005785141482027528032792158/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^18 + 2098164303359032717261089105069617342219398153240012636079/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^17 - 11221604625009396046624324718945284662956987335390543149212/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^16 + 17279516089548523771841190700055444136292416897052512317800/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^15 - 23904610852913271416065688278065992079376023464565080431961/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 + 29321300425740200828511294259265262831435963368176269340256/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^13 - 3517408005053937895097442709118691345112369380390053196522/22737807\ 49637113243206413732327984896524847143875562493*c_1010_12^12 + 10034409193641979063640116640577947124245041775770912269673/6821342\ 248911339729619241196983954689574541431626687479*c_1010_12^11 - 7849652242261459710887759069275865459890853210998606702510/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^10 + 4641832464381449296925543452247817481862984546596548128080/68213422\ 48911339729619241196983954689574541431626687479*c_1010_12^9 - 6697315465169074077019696971159911180842241980223205213068/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^8 + 631454709476588344948626253024755806842945700306982885496/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^7 + 8326392023825830521842329455372443599287383021761075271527/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^6 - 12237553045025493973709713652907733594984852424749772657060/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^5 + 5791086639423682411037625867788042455238823184008899778431/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^4 + 2341916112808475172672400342825780601140230225867120833299/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^3 - 2523553743648060174726002988892236739230341245492441246859/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 + 305621971258684649067381857573561435311058055190282334636/682134224\ 8911339729619241196983954689574541431626687479*c_1010_12 - 11398965734216907609517437585752741784695752313248726178/2273780749\ 637113243206413732327984896524847143875562493, c_1001_0 - 415927595740358263786160712605037905244807323204505194/61392\ 080240202057566573170772855592206170872884640187311*c_1010_12^23 + 8232698192690820280867619353945243279629827353052053141/61392080240\ 202057566573170772855592206170872884640187311*c_1010_12^22 - 1064964545366984708546549258682882134362384829093840350/84098740055\ 0713117350317407847336879536587299789591607*c_1010_12^21 + 455195725523389506435465427711109024595562424061232118446/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^20 - 608383483835698292752320536603696567745245913192371994457/204640267\ 46734019188857723590951864068723624294880062437*c_1010_12^19 + 5290707296511877375624777690108918351905514780645259144173/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^18 - 11610646822817270085126341648160091384786405803821909002639/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^17 + 6835278978116637834380792261124882509363654684317460712194/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^16 - 31379177374256082714210689269144803700223390350187963906692/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^15 + 14402361248897501963508527524562308452310394841988579195048/2046402\ 6746734019188857723590951864068723624294880062437*c_1010_12^14 - 52656221450080135579685050548692589922899343783492142239010/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^13 + 56464737385990915392038095200820069259545711211947740461174/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^12 - 53355090075094583926529976192368873658131895167390605159583/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^11 + 41216941971431890182310625090444161007981827640658463822016/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^10 - 23981764260352504678914197030888923896880578989264466760112/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^9 + 11677669467640834543347656399863220958984035249022527159377/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^8 - 844948662459622180721192404743420211414407060875272069322/613920802\ 40202057566573170772855592206170872884640187311*c_1010_12^7 - 15650833801705813913004990500017454297522100790931546026358/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^6 + 21664847340805727550079993544087236698839548776452957613481/6139208\ 0240202057566573170772855592206170872884640187311*c_1010_12^5 - 3000464395323740553360621915390041811256815905826553864901/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^4 - 4947788072375731379566428268470172004492587313748724189972/61392080\ 240202057566573170772855592206170872884640187311*c_1010_12^3 + 1312813691037989121256618500826195354490664051141960756781/20464026\ 746734019188857723590951864068723624294880062437*c_1010_12^2 - 52954703387258187135203167329433706175249192659492985507/2273780749\ 637113243206413732327984896524847143875562493*c_1010_12 + 7590858089024248410168716860047646623207527628491855221/22737807496\ 37113243206413732327984896524847143875562493, c_1010_12^24 - 20*c_1010_12^23 + 191*c_1010_12^22 - 1133*c_1010_12^21 + 4614*c_1010_12^20 - 13625*c_1010_12^19 + 30533*c_1010_12^18 - 55029*c_1010_12^17 + 85514*c_1010_12^16 - 119211*c_1010_12^15 + 147598*c_1010_12^14 - 161185*c_1010_12^13 + 155302*c_1010_12^12 - 124309*c_1010_12^11 + 76684*c_1010_12^10 - 38552*c_1010_12^9 + 6616*c_1010_12^8 + 38062*c_1010_12^7 - 60386*c_1010_12^6 + 32655*c_1010_12^5 + 7577*c_1010_12^4 - 12300*c_1010_12^3 + 5571*c_1010_12^2 - 1080*c_1010_12 + 81 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.650 Total time: 6.860 seconds, Total memory usage: 82.50MB