Magma V2.19-8 Wed Aug 21 2013 00:19:01 on localhost [Seed = 2210786822] Type ? for help. Type -D to quit. Loading file "K14a17509__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14a17509 geometric_solution 11.84751871 oriented_manifold CS_known -0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.593668707110 1.121722080126 0 4 4 5 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492427402799 0.643237743427 0 0 7 6 3012 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285472199622 0.788077303377 8 5 9 0 0132 0321 0132 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 -1 0 1 1 0 -2 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.082541787237 0.934133629966 1 1 10 11 2031 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 0 -1 0 0 0 0 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249622475353 0.980187420377 8 12 1 3 3012 0132 0132 0321 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 -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 0 0 0 0.377324314323 0.599402563048 9 7 2 7 2031 3012 0132 1302 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 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.273120464140 0.878458064640 6 12 6 2 1230 1230 2031 0132 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 1 0 -1 0 0 0 0 2 -1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.328852363429 1.254092698242 3 8 8 5 0132 3201 2310 1230 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 -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.136302647041 0.924815424367 12 11 6 3 0321 2103 1302 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 0 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 0 0.441352050701 0.419685558154 11 10 10 4 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.218138371490 0.829351657533 12 9 4 10 3201 2103 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.249622475353 0.980187420377 9 5 7 11 0321 0132 3012 2310 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 -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.429195240007 0.934236810084 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_9'], 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_12' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_0011_7']), 'c_1001_1' : d['c_0011_9'], 'c_1001_0' : negation(d['c_0011_7']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0101_0']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : negation(d['c_0101_4']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_0_11' : 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' : d['c_0011_9'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : negation(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' : negation(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_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_4'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : d['c_0101_7'], 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_4'], 'c_1100_0' : d['c_0101_6'], 'c_1100_3' : d['c_0101_6'], 'c_1100_2' : d['c_0101_7'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_0011_10'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_7']), 'c_1010_5' : negation(d['c_0011_7']), 'c_1010_4' : d['c_0011_9'], 'c_1010_3' : negation(d['c_0011_7']), 'c_1010_2' : negation(d['c_0011_7']), 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : d['c_0101_4'], 'c_1010_8' : d['c_0101_0'], 'c_1100_8' : negation(d['c_0011_3']), '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' : d['c_0011_11'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_12']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_4'], 'c_0110_12' : negation(d['c_0011_9']), 'c_0101_12' : d['c_0011_6'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), '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_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0011_3']), 'c_0110_4' : d['c_0011_9'], 'c_0110_7' : d['c_0011_6'], 'c_0110_6' : d['c_0011_11']})} 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_6, c_0011_7, c_0011_9, c_0101_0, c_0101_10, c_0101_4, c_0101_6, c_0101_7 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 59 Groebner basis: [ t + 3367537541825124535331659279585686659692253390945647556213/44175492\ 60721963588850027428811860677*c_0101_7^58 - 62317546784315167532679786798063080423015292395385204193451/4417549\ 260721963588850027428811860677*c_0101_7^57 - 2969066086628058557611422959805594931133943871855848467786659/44175\ 49260721963588850027428811860677*c_0101_7^56 - 47849190672371892340136155836775434643189776258733721814003845/4417\ 549260721963588850027428811860677*c_0101_7^55 - 487593578419935259897003221889132605964504300489490751679168222/441\ 7549260721963588850027428811860677*c_0101_7^54 - 1240854843071840306961862566532452991632723253886520768409509374/14\ 72516420240654529616675809603953559*c_0101_7^53 - 23024989896327226334955145503058286519048680862857207415212203074/4\ 417549260721963588850027428811860677*c_0101_7^52 - 13418860719853202985687143726322322661516320439761657000771563050/4\ 90838806746884843205558603201317853*c_0101_7^51 - 553036381148496357048409020408495373693856261711411635415015846842/\ 4417549260721963588850027428811860677*c_0101_7^50 - 2255533761416741408714162569591067804415538134526155572439695255065\ /4417549260721963588850027428811860677*c_0101_7^49 - 2770624715906956137176176762103408305613163530723944978498747177826\ /1472516420240654529616675809603953559*c_0101_7^48 - 2797562686079620531817081375477324247872432690859862583418683901350\ 2/4417549260721963588850027428811860677*c_0101_7^47 - 9635107938735911223724409484294441619859600343193017616250176874525\ /490838806746884843205558603201317853*c_0101_7^46 - 2491703142711404036287015984069267184318484331857351620824814515183\ 45/4417549260721963588850027428811860677*c_0101_7^45 - 6671899830484665210593107807215679868300192993450270126997876594967\ 73/4417549260721963588850027428811860677*c_0101_7^44 - 1671899194646326239192092798746412616409400285137589717015334173660\ 092/4417549260721963588850027428811860677*c_0101_7^43 - 3934568385994307981658033694940778346237853784914828112526184152636\ 954/4417549260721963588850027428811860677*c_0101_7^42 - 8720981081471315144368679013615905962356999996949402202777549101613\ 617/4417549260721963588850027428811860677*c_0101_7^41 - 6759113610859369987588257371183193105562340020772081381653555901254\ 51/163612935582294947735186201067105951*c_0101_7^40 - 8811226927816113299890323008472775938567092095592799402523331502384\ 04/107745103920047892410976278751508797*c_0101_7^39 - 2258651164270743938056906995090207685016382130125574271164033333506\ 6061/1472516420240654529616675809603953559*c_0101_7^38 - 1205799091653996630516942714935777228912102782656191237550053202773\ 88793/4417549260721963588850027428811860677*c_0101_7^37 - 2037912054573529691019492045457474946901074325848001204776492441195\ 09929/4417549260721963588850027428811860677*c_0101_7^36 - 1091247967828843277779745758385593803722745215954593605353973243971\ 99659/1472516420240654529616675809603953559*c_0101_7^35 - 5001434170024019820230772151237750487457624626213324322271789272492\ 64802/4417549260721963588850027428811860677*c_0101_7^34 - 7269102502934471918416172220127942234935254420549112521441464638682\ 67170/4417549260721963588850027428811860677*c_0101_7^33 - 1005208095061852555493692655157889733560158971076073000647618485770\ 860044/4417549260721963588850027428811860677*c_0101_7^32 - 1322453763093651014299934932004859829586775685586682735238614888044\ 997988/4417549260721963588850027428811860677*c_0101_7^31 - 1654709108373399720229458762094854565574507770651383904376310331161\ 228727/4417549260721963588850027428811860677*c_0101_7^30 - 2186797098881907010441929619391960998715993477041255525131675897965\ 42603/490838806746884843205558603201317853*c_0101_7^29 - 2223514835055614310172026226541385101809103495584829409064187509896\ 647848/4417549260721963588850027428811860677*c_0101_7^28 - 7945712519154093332494534426365642186076648589114655708597561022385\ 41928/1472516420240654529616675809603953559*c_0101_7^27 - 2421833469788898362113245909356852636392423497681347294457284427764\ 262811/4417549260721963588850027428811860677*c_0101_7^26 - 2328292052039085699587533265703047652469699925136850109526354611499\ 680440/4417549260721963588850027428811860677*c_0101_7^25 - 2114095343188674158927970811102173046784279604278180923899660102020\ 512480/4417549260721963588850027428811860677*c_0101_7^24 - 6030112497301876150072921719387144794090939763790248252035305732712\ 12944/1472516420240654529616675809603953559*c_0101_7^23 - 4850184881533520908269271811330950704420248179062566104666965740298\ 13369/1472516420240654529616675809603953559*c_0101_7^22 - 1096775933961360870513049720648197311189073633564503749460773402619\ 138756/4417549260721963588850027428811860677*c_0101_7^21 - 2573586433240001723770951673503835729172813682858697515777160952314\ 52181/1472516420240654529616675809603953559*c_0101_7^20 - 5055858525020856890120438772091927854094407927737730746887682019475\ 05197/4417549260721963588850027428811860677*c_0101_7^19 - 3066176656860688842554634775578767319192007414050076139589189572410\ 71346/4417549260721963588850027428811860677*c_0101_7^18 - 1713699201036756499570176452385448779273241540806593279982053785857\ 54443/4417549260721963588850027428811860677*c_0101_7^17 - 3867807356491374732743841134359229117153688507465414205548026020189\ 25/19460569430493231668942852109303351*c_0101_7^16 - 4100115884883808373065405640868032486841445390458728220899636943671\ 2052/4417549260721963588850027428811860677*c_0101_7^15 - 5782766378866496301145210050428322521064142760095955756865411544649\ 008/1472516420240654529616675809603953559*c_0101_7^14 - 2203149361818901371962427679263870055480753897764089192492238283274\ 701/1472516420240654529616675809603953559*c_0101_7^13 - 2252587034504598415658195925130636296416293756363461566353311610791\ 452/4417549260721963588850027428811860677*c_0101_7^12 - 2273316467448610691387733150815340702562642863617733938301481919544\ 32/1472516420240654529616675809603953559*c_0101_7^11 - 1820365681910199709050741368709432793767908905943780972817872910347\ 39/4417549260721963588850027428811860677*c_0101_7^10 - 4247034002134676887575705006654090931420464531586876128538137807904\ 4/4417549260721963588850027428811860677*c_0101_7^9 - 8574466698351994401217016245222695282460565635142668211355396513967\ /4417549260721963588850027428811860677*c_0101_7^8 - 1479950763147825169337781308564141611238905950486315187963959958931\ /4417549260721963588850027428811860677*c_0101_7^7 - 71688890261679012432726384402024092163850216479383720227495058780/1\ 472516420240654529616675809603953559*c_0101_7^6 - 25793005058475372629385099710530893082427398727204597531090056945/4\ 417549260721963588850027428811860677*c_0101_7^5 - 275979370526854089977667409400814714383718801523685288972019613/490\ 838806746884843205558603201317853*c_0101_7^4 - 61507379039160470826435953636052356136462619051937896351176881/1472\ 516420240654529616675809603953559*c_0101_7^3 - 9922807988541114519829751645002014094254079018060465990550191/44175\ 49260721963588850027428811860677*c_0101_7^2 - 114548226818449710015761586597996804675009054244421152012753/147251\ 6420240654529616675809603953559*c_0101_7 - 5753388130253054032594579676756646765922967838805114067915/44175492\ 60721963588850027428811860677, c_0011_0 - 1, c_0011_10 - 40020911015695920*c_0101_7^58 + 731057780483047566*c_0101_7^57 + 35463592964333140944*c_0101_7^56 + 577039968642199839704*c_0101_7^55 + 5928901469573032352064*c_0101_7^54 + 45599087194394812578900*c_0101_7^53 + 283953130648484467774948*c_0101_7^52 + 1498744325976233698438004*c_0101_7^51 + 6903770030348299671165270*c_0101_7^50 + 28315473799250185529715673*c_0101_7^49 + 104911298676113896962460236*c_0101_7^48 + 354961678739576792100704062*c_0101_7^47 + 1105926118441056174850604718*c_0101_7^46 + 3193819877394804878787779025*c_0101_7^45 + 8594575477054004322039568622*c_0101_7^44 + 21643617039014124366143944773*c_0101_7^43 + 51186432927355407978282198980*c_0101_7^42 + 114015139771012117670172691960*c_0101_7^41 + 239772421675728224316702480688*c_0101_7^40 + 477013902137331487280389262672*c_0101_7^39 + 899228723387128335018590114252*c_0101_7^38 + 1608403466943136435286638938800*c_0101_7^37 + 2732529350150601450250661196820*c_0101_7^36 + 4412966984844990097889679734946*c_0101_7^35 + 6778648240014158087424874980275*c_0101_7^34 + 9907348108295867427052464804518*c_0101_7^33 + 13779603612758563413967218146400*c_0101_7^32 + 18236985377719399118980903002000*c_0101_7^31 + 22960787562579468813492443616564*c_0101_7^30 + 27486803132527717484276734520806*c_0101_7^29 + 31264658825147108123351045126516*c_0101_7^28 + 33756676879267830349472556987010*c_0101_7^27 + 34555350441393536054549232904452*c_0101_7^26 + 33486733895734522917040615178764*c_0101_7^25 + 30665659454686171776761283504376*c_0101_7^24 + 26480648751960413692655537702968*c_0101_7^23 + 21508803679546240290003871796200*c_0101_7^22 + 16385284792610668551114188396820*c_0101_7^21 + 11667816021481682370067649758944*c_0101_7^20 + 7736888816856552324423500701688*c_0101_7^19 + 4756812173941365544531677607430*c_0101_7^18 + 2698747596775649636325683887795*c_0101_7^17 + 1405523854086220524836948348684*c_0101_7^16 + 668209575438469442825864062910*c_0101_7^15 + 288280599118943564484490708250*c_0101_7^14 + 112162467939105681948736397379*c_0101_7^13 + 39099033048588209936702099490*c_0101_7^12 + 12126434555576440433291428615*c_0101_7^11 + 3320669459986702372144498208*c_0101_7^10 + 795967968642220802039441084*c_0101_7^9 + 165336559950893969260151112*c_0101_7^8 + 29400458088614595029930392*c_0101_7^7 + 4407638962164878708749100*c_0101_7^6 + 546052264832691860082332*c_0101_7^5 + 54390229113854162214636*c_0101_7^4 + 4184958582936576910498*c_0101_7^3 + 233397015104710122419*c_0101_7^2 + 8394121296837273624*c_0101_7 + 146148654124039872, c_0011_11 - 1, c_0011_12 - 22053118192*c_0101_7^58 + 399943573147*c_0101_7^57 + 19595183743310*c_0101_7^56 + 320533344235087*c_0101_7^55 + 3308512086669995*c_0101_7^54 + 25550796222253776*c_0101_7^53 + 159715545268893168*c_0101_7^52 + 846000553249258426*c_0101_7^51 + 3910114293474385386*c_0101_7^50 + 16088835079295685911*c_0101_7^49 + 59796186511130455642*c_0101_7^48 + 202930950538042623459*c_0101_7^47 + 634137345595143626874*c_0101_7^46 + 1836711715593270876305*c_0101_7^45 + 4956990693945803781524*c_0101_7^44 + 12519363847137657595944*c_0101_7^43 + 29693881939711261186440*c_0101_7^42 + 66334600527760825769062*c_0101_7^41 + 139911276283426055973584*c_0101_7^40 + 279174235953835890914094*c_0101_7^39 + 527867269439232812233754*c_0101_7^38 + 947074066096869771726364*c_0101_7^37 + 1614050726615913049625952*c_0101_7^36 + 2615054225784153755108140*c_0101_7^35 + 4030238730640105361378484*c_0101_7^34 + 5910565090427164566820180*c_0101_7^33 + 8249838610787364093348648*c_0101_7^32 + 10958724222509782670274336*c_0101_7^31 + 13850386493985855012170250*c_0101_7^30 + 16647444364820185462916896*c_0101_7^29 + 19015902213480336727146012*c_0101_7^28 + 20623762796056614319325236*c_0101_7^27 + 21212367171418122584754944*c_0101_7^26 + 20660984709920147448342539*c_0101_7^25 + 19023696058662162328702658*c_0101_7^24 + 16524198150930845234379191*c_0101_7^23 + 13507380504201039393769801*c_0101_7^22 + 10361433451151879259593484*c_0101_7^21 + 7434530721986695384340996*c_0101_7^20 + 4971192892760022032705578*c_0101_7^19 + 3084770700272774880991090*c_0101_7^18 + 1768146066803534287850977*c_0101_7^17 + 931396861235168482173078*c_0101_7^16 + 448430913866019803942497*c_0101_7^15 + 196191742587531592518796*c_0101_7^14 + 77524337274980712242879*c_0101_7^13 + 27489577333653483631484*c_0101_7^12 + 8687121111570863739172*c_0101_7^11 + 2428192855884573683416*c_0101_7^10 + 595239980871063010251*c_0101_7^9 + 126703029197735610946*c_0101_7^8 + 23139086893133451851*c_0101_7^7 + 3571156123613926849*c_0101_7^6 + 456653186763639274*c_0101_7^5 + 47085270602365784*c_0101_7^4 + 3762526890438774*c_0101_7^3 + 218726914009282*c_0101_7^2 + 8234094865180*c_0101_7 + 150783464728, c_0011_3 + 5845850*c_0101_7^58 - 105691491*c_0101_7^57 - 5200230222*c_0101_7^56 - 85256109554*c_0101_7^55 - 881735258210*c_0101_7^54 - 6821542833281*c_0101_7^53 - 42711347201594*c_0101_7^52 - 226590167352107*c_0101_7^51 - 1048821491979330*c_0101_7^50 - 4321695001108373*c_0101_7^49 - 16084309130153356*c_0101_7^48 - 54659270047851216*c_0101_7^47 - 171031778565622632*c_0101_7^46 - 496029235087533308*c_0101_7^45 - 1340463519319914684*c_0101_7^44 - 3389926068432043436*c_0101_7^43 - 8050982051200577380*c_0101_7^42 - 18009472447011315470*c_0101_7^41 - 38036436465134781620*c_0101_7^40 - 76000780966363491468*c_0101_7^39 - 143904589788749445412*c_0101_7^38 - 258556177222353026238*c_0101_7^37 - 441291464151794569900*c_0101_7^36 - 716053352211498501922*c_0101_7^35 - 1105283443756111634152*c_0101_7^34 - 1623585696895977029072*c_0101_7^33 - 2269988914964797236604*c_0101_7^32 - 3020669627654195921048*c_0101_7^31 - 3824790560549138497060*c_0101_7^30 - 4606158622881224376228*c_0101_7^29 - 5272336327832309303284*c_0101_7^28 - 5730672128038803409916*c_0101_7^27 - 5908041134820371781544*c_0101_7^26 - 5768959367399369950259*c_0101_7^25 - 5326241158746352024102*c_0101_7^24 - 4640100975143615134086*c_0101_7^23 - 3805203864595557340402*c_0101_7^22 - 2929309665666773062133*c_0101_7^21 - 2110088044940464654678*c_0101_7^20 - 1417100027487662391099*c_0101_7^19 - 883649469931787303570*c_0101_7^18 - 509277626507001246431*c_0101_7^17 - 269932101018588472468*c_0101_7^16 - 130872408830774776992*c_0101_7^15 - 57711767462524210732*c_0101_7^14 - 23009320418056051668*c_0101_7^13 - 8241852732553358756*c_0101_7^12 - 2634502150758541380*c_0101_7^11 - 745974255222829716*c_0101_7^10 - 185565002712657907*c_0101_7^9 - 40161946330794206*c_0101_7^8 - 7474856647583818*c_0101_7^7 - 1178919032293162*c_0101_7^6 - 154563945484175*c_0101_7^5 - 16405674239126*c_0101_7^4 - 1356228896509*c_0101_7^3 - 82076857042*c_0101_7^2 - 3242629330*c_0101_7 - 62977682, c_0011_6 + 26232618043676994772*c_0101_7^58 - 482594905497096561540*c_0101_7^57 - 23182054166711993585532*c_0101_7^56 - 375236648132522844827964*c_0101_7^55 - 3838123176280744737158264*c_0101_7^54 - 29400475739690739593304208*c_0101_7^53 - 182406660293983566424731120*c_0101_7^52 - 959469168989931054575837106*c_0101_7^51 - 4405395018682721851261503138*c_0101_7^50 - 18012861934812571122610143176*c_0101_7^49 - 66541330514653035073498401152*c_0101_7^48 - 224490895061064391879550298850*c_0101_7^47 - 697460493068307473411997306374*c_0101_7^46 - 2008631876695559180669757852210*c_0101_7^45 - 5390442910084830991284921310476*c_0101_7^44 - 13537795394954811061707542934578*c_0101_7^43 - 31929641601431700122684621946114*c_0101_7^42 - 70928576645772640717582995898088*c_0101_7^41 - 148755045371252053658819000032808*c_0101_7^40 - 295125942274426479070277410733176*c_0101_7^39 - 554799995145192365310137337375104*c_0101_7^38 - 989539483562561855795677702882216*c_0101_7^37 - 1676302688816745020190290093337928*c_0101_7^36 - 2699235902815737709005513503707134*c_0101_7^35 - 4133748131069761544042290838879296*c_0101_7^34 - 6022987356580016082386232699044455*c_0101_7^33 - 8350295719640014903401231887183240*c_0101_7^32 - 11014866516001711944831861413995227*c_0101_7^31 - 13820289694560994581186184373505305*c_0101_7^30 - 16485176346142783238430890765629597*c_0101_7^29 - 18680454798154395648487141303995148*c_0101_7^28 - 20089652177115539040317366614341262*c_0101_7^27 - 20479020926554738104436465979707224*c_0101_7^26 - 19757668955256641318719191672819104*c_0101_7^25 - 18007590000898402386161692417738650*c_0101_7^24 - 15471218851484162402659951791805378*c_0101_7^23 - 12497842570318980338809377974844918*c_0101_7^22 - 9464568891445857757181412461295400*c_0101_7^21 - 6696399218799274154904624937841572*c_0101_7^20 - 4409290369238211705462500582348556*c_0101_7^19 - 2690180848190102782109460610778644*c_0101_7^18 - 1513458518704314404447078752315033*c_0101_7^17 - 780978541490599463656237250735922*c_0101_7^16 - 367563321204182611097715108291565*c_0101_7^15 - 156842345784361555848431827502677*c_0101_7^14 - 60301174928233655290484033687099*c_0101_7^13 - 20752744701792483743415231385612*c_0101_7^12 - 6348620639070697553916489821712*c_0101_7^11 - 1713253363561270412986204977256*c_0101_7^10 - 404355148430561822700249525705*c_0101_7^9 - 82630034153787453936902082194*c_0101_7^8 - 14443155411860706931715518419*c_0101_7^7 - 2126646623145374620575916163*c_0101_7^6 - 258553220435897750555959100*c_0101_7^5 - 25252731491860061022410580*c_0101_7^4 - 1903677650422416034629714*c_0101_7^3 - 103932328946608865687974*c_0101_7^2 - 3656074377330946726442*c_0101_7 - 62207256628415544796, c_0011_7 - 35974638584738550024*c_0101_7^58 + 663368331858060239560*c_0101_7^57 + 31762016583709160266164*c_0101_7^56 + 513228643590194970571884*c_0101_7^55 + 5241832146822753149281792*c_0101_7^54 + 40100521871585765375692136*c_0101_7^53 + 248494961730233490375608304*c_0101_7^52 + 1305656241309769305889092574*c_0101_7^51 + 5988713601305467388511228908*c_0101_7^50 + 24462748781521973874896470502*c_0101_7^49 + 90282933466680196325230287784*c_0101_7^48 + 304311409598943575752903752206*c_0101_7^47 + 944615249887700249903876597576*c_0101_7^46 + 2718062277835280869896736305576*c_0101_7^45 + 7288077199703914137929740364706*c_0101_7^44 + 18288152855121815432048364957058*c_0101_7^43 + 43097457967200539441642661498788*c_0101_7^42 + 95656719544185431255254254466598*c_0101_7^41 + 200448202514480001156017407387144*c_0101_7^40 + 397349271315837486917351512933912*c_0101_7^39 + 746333925385802400574604720316352*c_0101_7^38 + 1330017846734278339784398622993720*c_0101_7^37 + 2251122045955996815135468374505584*c_0101_7^36 + 3621621338814401915777141468025850*c_0101_7^35 + 5541326733975754461265277536649946*c_0101_7^34 + 8066398895469219224322383277710185*c_0101_7^33 + 11172655430109266913261715706260569*c_0101_7^32 + 14723382665553305724968054550863941*c_0101_7^31 + 18454586521233807152910585774400604*c_0101_7^30 + 21989853208217223815151871615245338*c_0101_7^29 + 24890748290276800364166044746254855*c_0101_7^28 + 26737576438227907987685623805831718*c_0101_7^27 + 27222749619406842684069039729302734*c_0101_7^26 + 26230224506078722221953344981584800*c_0101_7^25 + 23874344842777499545855686470082890*c_0101_7^24 + 20481943097280393985551248704406392*c_0101_7^23 + 16519926236169813884799458172348716*c_0101_7^22 + 12489636807559678435509909458451906*c_0101_7^21 + 8820819172899536979431188116502580*c_0101_7^20 + 5796826757048679381392049329691312*c_0101_7^19 + 3529272902467794201030356565144872*c_0101_7^18 + 1980969672685823217936311864754691*c_0101_7^17 + 1019685144081593171947246719838061*c_0101_7^16 + 478621191909769129264797776242361*c_0101_7^15 + 203642491088943962242874867828078*c_0101_7^14 + 78053181444418527281753098905600*c_0101_7^13 + 26774319873159449525677840511113*c_0101_7^12 + 8162511582932745444624214103172*c_0101_7^11 + 2194809398875490069628674958780*c_0101_7^10 + 516064654134861177988047411367*c_0101_7^9 + 105047494683985544352863042809*c_0101_7^8 + 18287831782640300066610675199*c_0101_7^7 + 2681624296293550271165769590*c_0101_7^6 + 324645049643822574769587313*c_0101_7^5 + 31570407094771208130957648*c_0101_7^4 + 2369394314802163462753962*c_0101_7^3 + 128773835020650154611340*c_0101_7^2 + 4509073120464999307976*c_0101_7 + 76361020373985961318, c_0011_9 + 563232485334014320*c_0101_7^58 - 12805670249385128921*c_0101_7^57 - 451697791088324248632*c_0101_7^56 - 5917011406726577169692*c_0101_7^55 - 48388672985910418885790*c_0101_7^54 - 288636466848538610652976*c_0101_7^53 - 1328136330619286478821522*c_0101_7^52 - 4746642601139165184012876*c_0101_7^51 - 12184589386790672987492993*c_0101_7^50 - 12649246340373232765379022*c_0101_7^49 + 84484647847004366129735984*c_0101_7^48 + 711728611483120866364333188*c_0101_7^47 + 3498288984887495978354043520*c_0101_7^46 + 13696272308933994804121096682*c_0101_7^45 + 46302478403640207926390012052*c_0101_7^44 + 139950367598975988474461239366*c_0101_7^43 + 385405807693397216831901964492*c_0101_7^42 + 978438815477157981607802203636*c_0101_7^41 + 2308192163505194479322616006508*c_0101_7^40 + 5088688177626176526083591615200*c_0101_7^39 + 10528721441953352948675807538508*c_0101_7^38 + 20510802522113506639865632511092*c_0101_7^37 + 37714332316073790044297078167744*c_0101_7^36 + 65581074629314505003605790106088*c_0101_7^35 + 108001663768610163944842956485542*c_0101_7^34 + 168626657458914009567703949267005*c_0101_7^33 + 249795177362867755063153321073492*c_0101_7^32 + 351228910121835856270375916872474*c_0101_7^31 + 468822639200388548382924804377804*c_0101_7^30 + 593997579776886037319666715340273*c_0101_7^29 + 714080485644405243052650270799328*c_0101_7^28 + 813965384171744238819399990823435*c_0101_7^27 + 878916146071676230259984054166078*c_0101_7^26 + 897897927616662495557914539202469*c_0101_7^25 + 866479962721618899274479025460080*c_0101_7^24 + 788319045150960413792461277184440*c_0101_7^23 + 674601480939824667556483055739488*c_0101_7^22 + 541496894930724549194075949155176*c_0101_7^21 + 406389509544346193785804823885260*c_0101_7^20 + 284089269216753827105248003596756*c_0101_7^19 + 184186436955230805456138447260676*c_0101_7^18 + 110210951879916763399080748531229*c_0101_7^17 + 60532579330736480294064546174100*c_0101_7^16 + 30336990797155110922984850127126*c_0101_7^15 + 13785549377694348875179455654816*c_0101_7^14 + 5642254565477843322858093002815*c_0101_7^13 + 2065532180837337043528051700640*c_0101_7^12 + 671376706869283648576011862173*c_0101_7^11 + 192224276180273060469601768748*c_0101_7^10 + 48053114671344848103930134730*c_0101_7^9 + 10381897532326686693024356748*c_0101_7^8 + 1914937020466164168480039640*c_0101_7^7 + 296963535617867248242473886*c_0101_7^6 + 37952563572473229324060058*c_0101_7^5 + 3889286421963859248119358*c_0101_7^4 + 307071986419712667611126*c_0101_7^3 + 17527937406049494764285*c_0101_7^2 + 643595721102557169600*c_0101_7 + 11412468398651549368, c_0101_0 + 59*c_0101_7^58 - 1063*c_0101_7^57 - 52551*c_0101_7^56 - 863754*c_0101_7^55 - 8953050*c_0101_7^54 - 69405937*c_0101_7^53 - 435391080*c_0101_7^52 - 2313943708*c_0101_7^51 - 10728869808*c_0101_7^50 - 44281421652*c_0101_7^49 - 165069317952*c_0101_7^48 - 561838589960*c_0101_7^47 - 1760760624152*c_0101_7^46 - 5114492662340*c_0101_7^45 - 13842722846608*c_0101_7^44 - 35061503185896*c_0101_7^43 - 83400437390798*c_0101_7^42 - 186856277944570*c_0101_7^41 - 395279651318610*c_0101_7^40 - 791104705808844*c_0101_7^39 - 1500437516544052*c_0101_7^38 - 2700502022484918*c_0101_7^37 - 4617251219934672*c_0101_7^36 - 7505803936461480*c_0101_7^35 - 11607764343099582*c_0101_7^34 - 17084672680304138*c_0101_7^33 - 23935909059364590*c_0101_7^32 - 31920362965454148*c_0101_7^31 - 40509844234534046*c_0101_7^30 - 48903202903259544*c_0101_7^29 - 56119354181522960*c_0101_7^28 - 61164840698404412*c_0101_7^27 - 63243204578980937*c_0101_7^26 - 61950272926874067*c_0101_7^25 - 57393138730992883*c_0101_7^24 - 50187790467600666*c_0101_7^23 - 41327807384715778*c_0101_7^22 - 31960609870778249*c_0101_7^21 - 23139959539361464*c_0101_7^20 - 15629473630136248*c_0101_7^19 - 9809038684564898*c_0101_7^18 - 5694885266062590*c_0101_7^17 - 3043834614726306*c_0101_7^16 - 1489994946587196*c_0101_7^15 - 664354618928642*c_0101_7^14 - 268273480839584*c_0101_7^13 - 97523500590440*c_0101_7^12 - 31712385434140*c_0101_7^11 - 9160996235041*c_0101_7^10 - 2333008096899*c_0101_7^9 - 519171822439*c_0101_7^8 - 99896184450*c_0101_7^7 - 16404406616*c_0101_7^6 - 2260659447*c_0101_7^5 - 255554756*c_0101_7^4 - 22933756*c_0101_7^3 - 1551601*c_0101_7^2 - 71975*c_0101_7 - 1797, c_0101_10 + 18418538437076152048*c_0101_7^58 - 340512593507458051395*c_0101_7^57 - 16245312993641790394183*c_0101_7^56 - 261996822204918575624172*c_0101_7^55 - 2671460373390515631513210*c_0101_7^54 - 20406710487595380431075102*c_0101_7^53 - 126284567767962676725792561*c_0101_7^52 - 662694131061141050046317764*c_0101_7^51 - 3035993612029234438625238694*c_0101_7^50 - 12387382623399549225368055246*c_0101_7^49 - 45667292751670185035243996433*c_0101_7^48 - 153764806834683640764387747968*c_0101_7^47 - 476807490044330379547741293584*c_0101_7^46 - 1370579651100158343066878163796*c_0101_7^45 - 3671297272267972207037423157124*c_0101_7^44 - 9203245525908803178713605550428*c_0101_7^43 - 21666483114940492578479412368236*c_0101_7^42 - 48041572443440169541679828380342*c_0101_7^41 - 100569583016313058217463483518842*c_0101_7^40 - 199157165726717158670534069998464*c_0101_7^39 - 373689167664521793296725173266060*c_0101_7^38 - 665245357263562599993558849463128*c_0101_7^37 - 1124765903897731920661454297801014*c_0101_7^36 - 1807568781095249327294434806642020*c_0101_7^35 - 2762627941503671668263299847890694*c_0101_7^34 - 4016903221891934016818317225637189*c_0101_7^33 - 5557188253091197905999654697666987*c_0101_7^32 - 7314335937971469243800393157394022*c_0101_7^31 - 9156279946856346096356239144885006*c_0101_7^30 - 10895828643358208914545620979053985*c_0101_7^29 - 12316046384200673702163575270126016*c_0101_7^28 - 13210493632237994384900498675729417*c_0101_7^27 - 13429388171855248657059816886321816*c_0101_7^26 - 12918489321553101091128406534141898*c_0101_7^25 - 11737585358282534977715114575108602*c_0101_7^24 - 10050808791263168761603923091782400*c_0101_7^23 - 8090163569661431644653906936688384*c_0101_7^22 - 6103034279747431356982479367082544*c_0101_7^21 - 4300002329025625802997387285236720*c_0101_7^20 - 2818508290687633521462619968753220*c_0101_7^19 - 1711105559165777351158188334969128*c_0101_7^18 - 957444139627709939471673563602231*c_0101_7^17 - 491153001275506842936395296031469*c_0101_7^16 - 229678716904217354811943742518022*c_0101_7^15 - 97327028329964092543755071702882*c_0101_7^14 - 37140543518333831495463868652549*c_0101_7^13 - 12680195717162244609684766558586*c_0101_7^12 - 3846283899644004927029725543953*c_0101_7^11 - 1028699430889324937598209814104*c_0101_7^10 - 240512964333845207754193675153*c_0101_7^9 - 48667103836134870219413594527*c_0101_7^8 - 8419840252707527422674203576*c_0101_7^7 - 1226621836977873773489690226*c_0101_7^6 - 147493872018590421533800788*c_0101_7^5 - 14242302362133031942940039*c_0101_7^4 - 1061096216358303054326498*c_0101_7^3 - 57232713698980376560512*c_0101_7^2 - 1988307805335104137590*c_0101_7 - 33398402982127285168, c_0101_4 + 48158452854960395160*c_0101_7^58 - 888369986398694005419*c_0101_7^57 - 42513104200787486874829*c_0101_7^56 - 686750557403387594317459*c_0101_7^55 - 7012243220350051228745594*c_0101_7^54 - 53631190619099583418350846*c_0101_7^53 - 332264458183445356094595059*c_0101_7^52 - 1745413738105750956534918288*c_0101_7^51 - 8004045494952375124096877564*c_0101_7^50 - 32688125715586449414970250720*c_0101_7^49 - 120614842255598414952638508532*c_0101_7^48 - 406466351289918432754051645394*c_0101_7^47 - 1261458658084725984076683551880*c_0101_7^46 - 3629018335890457781345836169144*c_0101_7^45 - 9728681957781429950392185118552*c_0101_7^44 - 24407393550357693141790916093742*c_0101_7^43 - 57505930736906822418122153126684*c_0101_7^42 - 127609929388596589640977398000452*c_0101_7^41 - 267348294068125194237668532125086*c_0101_7^40 - 529848703185307023750442723296108*c_0101_7^39 - 994980203821432205193033843818904*c_0101_7^38 - 1772710280866666998170477447883168*c_0101_7^37 - 2999682008810465019460478388756202*c_0101_7^36 - 4824713313504931943545355711062040*c_0101_7^35 - 7380239558343870368800549790657190*c_0101_7^34 - 10740389230167915039984959700965545*c_0101_7^33 - 14872197494160619957974803305479259*c_0101_7^32 - 19592905684220446191560980782325675*c_0101_7^31 - 24550558702669589970551673821332774*c_0101_7^30 - 29244054996298742714838043491226259*c_0101_7^29 - 33090455453862473957660165013713646*c_0101_7^28 - 35532556638822563514950313124947162*c_0101_7^27 - 36163019503267893391585610875493830*c_0101_7^26 - 34829716852108126545078081321204345*c_0101_7^25 - 31686889424366126478302426365853162*c_0101_7^24 - 27170781954951008933859307542992117*c_0101_7^23 - 21902908695587370247996069401714448*c_0101_7^22 - 16549422958127311462427441139260192*c_0101_7^21 - 11680306631240047989934053730806112*c_0101_7^20 - 7670375055541042990087320064226180*c_0101_7^19 - 4666125945449093036886402558145164*c_0101_7^18 - 2616694566855423077701552043306659*c_0101_7^17 - 1345548987674789254003211393987611*c_0101_7^16 - 630860649292755383061061175884779*c_0101_7^15 - 268079946709827456426205738297490*c_0101_7^14 - 102608813141905332220388257494619*c_0101_7^13 - 35144120650985033007218748318552*c_0101_7^12 - 10696443955765725475389294081968*c_0101_7^11 - 2871010254764684574029623998378*c_0101_7^10 - 673760364830377870270225431854*c_0101_7^9 - 136864838666242168509156360487*c_0101_7^8 - 23774702335619349162851968202*c_0101_7^7 - 3478080749244284731183197742*c_0101_7^6 - 420031416551650339722970096*c_0101_7^5 - 40740550317385109986075449*c_0101_7^4 - 3049299563911288352025880*c_0101_7^3 - 165252638493286735267490*c_0101_7^2 - 5769092603284007419886*c_0101_7 - 97393976357583257349, c_0101_6 + 50128402330308966546*c_0101_7^58 - 927878099819389292208*c_0101_7^57 - 44192246654651437709246*c_0101_7^56 - 712072088864532258021162*c_0101_7^55 - 7255141471873056482799262*c_0101_7^54 - 55383364361356508381347464*c_0101_7^53 - 342525577203576797084427200*c_0101_7^52 - 1796444943690238305913000990*c_0101_7^51 - 8225759842938716501347887904*c_0101_7^50 - 33546074498803424077173850644*c_0101_7^49 - 123613025810393805644378182642*c_0101_7^48 - 416025919267741398004253247630*c_0101_7^47 - 1289487040423911589827919998820*c_0101_7^46 - 3705043336715683017190346845494*c_0101_7^45 - 9920354672835369048226788431484*c_0101_7^44 - 24858212472824895631902439840012*c_0101_7^43 - 58497910354726997440704324966168*c_0101_7^42 - 129656198470819597972958238874524*c_0101_7^41 - 271310942556532646410780831090414*c_0101_7^40 - 537057808866979568880806133945548*c_0101_7^39 - 1007301101748616566831272459301940*c_0101_7^38 - 1792474732190123276437244198767752*c_0101_7^37 - 3029380525777476825656227888769776*c_0101_7^36 - 4866363210153818091743867370636978*c_0101_7^35 - 7434417829417200986221666054498562*c_0101_7^34 - 10805055840340619091835198796589287*c_0101_7^33 - 14941607237143494575733639588177987*c_0101_7^32 - 19657050742064001861724592693027568*c_0101_7^31 - 24595609226808191166750730853992042*c_0101_7^30 - 29254097384079239190904524956184719*c_0101_7^29 - 33050454845859987836761550985591314*c_0101_7^28 - 35431979356246586486630912274274507*c_0101_7^27 - 35999131672426921654792817068296068*c_0101_7^26 - 34609442140255687351190113861830286*c_0101_7^25 - 31426397301146087109551916747036752*c_0101_7^24 - 26892658377431831010958578027830342*c_0101_7^23 - 21631600159318294914132659961799436*c_0101_7^22 - 16306287369578097231324832683488476*c_0101_7^21 - 11479755572549273202709317760333338*c_0101_7^20 - 7518167507089684916918510212238384*c_0101_7^19 - 4560051375956201957349773890033520*c_0101_7^18 - 2549036524768787685823974949275639*c_0101_7^17 - 1306222717621883382218351208912215*c_0101_7^16 - 610136372091839539363605285336258*c_0101_7^15 - 258234452626874848333046747572522*c_0101_7^14 - 98417939516934446484338595748031*c_0101_7^13 - 33556033532825138673644237469180*c_0101_7^12 - 10164382706805383848754843300343*c_0101_7^11 - 2714579856370560690537652712406*c_0101_7^10 - 633737547996377419698165033239*c_0101_7^9 - 128040772832814591737669284953*c_0101_7^8 - 22117994602312609684847063918*c_0101_7^7 - 3217146552276782246805695164*c_0101_7^6 - 386227348509082375446162118*c_0101_7^5 - 37234876403699423347236331*c_0101_7^4 - 2769604521033576570542886*c_0101_7^3 - 149139878955027541102138*c_0101_7^2 - 5172649315941600957254*c_0101_7 - 86741865719728787626, c_0101_7^59 - 18*c_0101_7^58 - 891*c_0101_7^57 - 14655*c_0101_7^56 - 151995*c_0101_7^55 - 1178948*c_0101_7^54 - 7399492*c_0101_7^53 - 39344800*c_0101_7^52 - 182512112*c_0101_7^51 - 753625996*c_0101_7^50 - 2810558372*c_0101_7^49 - 9570324548*c_0101_7^48 - 30005609300*c_0101_7^47 - 87194885960*c_0101_7^46 - 236100300552*c_0101_7^45 - 598264465872*c_0101_7^44 - 1423706811130*c_0101_7^43 - 3191186182300*c_0101_7^42 - 6753743008490*c_0101_7^41 - 13523024556226*c_0101_7^40 - 25660348154242*c_0101_7^39 - 46206141875240*c_0101_7^38 - 79041650200168*c_0101_7^37 - 128556704858672*c_0101_7^36 - 198920695728106*c_0101_7^35 - 292942260610716*c_0101_7^34 - 410658496948734*c_0101_7^33 - 547983414616998*c_0101_7^32 - 695895383883916*c_0101_7^31 - 840662682832940*c_0101_7^30 - 965424014650100*c_0101_7^29 - 1053055334119568*c_0101_7^28 - 1089767117171195*c_0101_7^27 - 1068475254983818*c_0101_7^26 - 990874813321639*c_0101_7^25 - 867435004761395*c_0101_7^24 - 715173599821647*c_0101_7^23 - 553826838484744*c_0101_7^22 - 401589599624512*c_0101_7^21 - 271712936097640*c_0101_7^20 - 170860196960382*c_0101_7^19 - 99419414627508*c_0101_7^18 - 53275492022946*c_0101_7^17 - 26157126078138*c_0101_7^16 - 11703588898420*c_0101_7^15 - 4745374063356*c_0101_7^14 - 1733370756844*c_0101_7^13 - 566877223576*c_0101_7^12 - 164879211163*c_0101_7^11 - 42337073018*c_0101_7^10 - 9517099923*c_0101_7^9 - 1854462447*c_0101_7^8 - 309472357*c_0101_7^7 - 43561556*c_0101_7^6 - 5069768*c_0101_7^5 - 474636*c_0101_7^4 - 34343*c_0101_7^3 - 1802*c_0101_7^2 - 61*c_0101_7 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.600 Total time: 3.810 seconds, Total memory usage: 32.09MB