Magma V2.19-8 Tue Aug 20 2013 17:58:40 on localhost [Seed = 3002271237] Type ? for help. Type -D to quit. Loading file "10_51__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_51 geometric_solution 12.63137952 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 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 -1 1 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693614464728 0.987600373007 0 0 4 4 0132 1230 2031 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 -1 0 0 1 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.286548742129 0.923658632776 5 0 6 5 0132 0132 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.550052700219 0.940065390447 4 7 0 8 1230 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 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.684092794117 0.496269975132 7 3 1 1 0213 3012 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.286548742129 0.923658632776 2 2 9 10 0132 1302 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 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.536321713547 0.792447540431 8 7 9 2 3201 0321 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.558899776694 0.821756170401 4 3 11 6 0213 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 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.916198177593 0.685545864537 11 10 3 6 0132 3012 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 0 0 -1 0 1 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.816195222581 0.770277617215 12 12 6 5 0132 1230 3120 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 0 0 0 1 0 0 -1 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.709569176484 0.876989485388 8 12 5 11 1230 1302 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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 1.040534540482 1.090306018549 8 12 10 7 0132 2103 2031 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 -1 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.890048514170 1.225933353320 9 11 9 10 0132 2103 3012 2031 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 -1 0 0 1 0 0 0 0 -2 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442425154232 0.689132636057 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_9'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0101_12'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_6'], 'c_1001_1' : negation(d['c_0011_6']), 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_1001_6']), 'c_1001_8' : negation(d['c_0011_10']), 'c_1010_12' : d['c_0011_10'], 'c_1010_11' : negation(d['c_0011_10']), 'c_1010_10' : negation(d['c_1001_6']), '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], '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' : negation(d['1']), 's_0_2' : negation(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_11'], 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : d['c_1001_6'], 'c_1100_6' : negation(d['c_0101_9']), 'c_1100_1' : d['c_0101_1'], 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0101_9']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_6'], 'c_1100_10' : d['c_0101_11'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_1001_2'], 'c_1010_5' : d['c_0101_9'], 'c_1010_4' : negation(d['c_0101_1']), 'c_1010_3' : negation(d['c_0011_10']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_12'], 'c_1010_8' : negation(d['c_0101_10']), 'c_1100_8' : d['c_0011_6'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_1001_6'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(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_11']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_0011_4'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_9'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : negation(d['c_0101_11']), 'c_0101_5' : d['c_0101_12'], 'c_0101_4' : negation(d['c_0011_3']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_12'], 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : negation(d['c_0011_3']), 'c_1100_9' : d['c_0101_11'], 'c_0110_3' : d['c_0011_4'], 'c_0110_2' : d['c_0101_12'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0101_10'], 's_2_9' : d['1']})} 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_3, c_0011_4, c_0011_6, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_9, c_1001_2, c_1001_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 36 Groebner basis: [ t - 3154749934629777190977768023019876896984098929656401376551687660284\ 2295735665945151491/20709474869697761127876394755105743957868370584\ 5169146716793715615085195158798225472*c_1001_6^35 - 1633888545257742464172115552913078174994978885861259887645450952799\ 6409294062776976109/64717108967805503524613733609705449868338658076\ 61535834899803612971412348712444546*c_1001_6^34 - 4332835183822142383951673548937549820900893669328897304915429023510\ 781124148867231362961/207094748696977611278763947551057439578683705\ 845169146716793715615085195158798225472*c_1001_6^33 - 2401891119735160261632002422888387969674487823657234040840538062647\ 3242287955258046710125/20709474869697761127876394755105743957868370\ 5845169146716793715615085195158798225472*c_1001_6^32 - 1006167419539355731397826632557121324391855146380513956350928710911\ 24141586720991759928649/2070947486969776112787639475510574395786837\ 05845169146716793715615085195158798225472*c_1001_6^31 - 8499384422336677643122695020994356542032950246099288160736415156071\ 7536710667681497473075/51773687174244402819690986887764359894670926\ 461292286679198428903771298789699556368*c_1001_6^30 - 9621737124152800437555140210188816091792525847357205780671770744788\ 90533108118536235697179/2070947486969776112787639475510574395786837\ 05845169146716793715615085195158798225472*c_1001_6^29 - 1167643974033920264441943792669875290733645258278813575144334907682\ 223516451568175361633717/103547374348488805639381973775528719789341\ 852922584573358396857807542597579399112736*c_1001_6^28 - 2470129638879344012028828242069130949241991461709862087127088673979\ 546761151863132428045701/103547374348488805639381973775528719789341\ 852922584573358396857807542597579399112736*c_1001_6^27 - 9217496906392042246939720764514937085109720962034512067342761696212\ 869928342821389289548273/207094748696977611278763947551057439578683\ 705845169146716793715615085195158798225472*c_1001_6^26 - 3826474381398340037719183587262283472048436593995415097471920013689\ 883375650216759371789881/517736871742444028196909868877643598946709\ 26461292286679198428903771298789699556368*c_1001_6^25 - 2278533348277438628245830964803584557067236429213293986928588991655\ 8384307141374626836882149/20709474869697761127876394755105743957868\ 3705845169146716793715615085195158798225472*c_1001_6^24 - 3059691093112196363638095847316052852554134936481654234683873559866\ 6596196918263652987336635/20709474869697761127876394755105743957868\ 3705845169146716793715615085195158798225472*c_1001_6^23 - 3725483379447662587574702984887797798898111422989873392452026277673\ 8678657510699355387088293/20709474869697761127876394755105743957868\ 3705845169146716793715615085195158798225472*c_1001_6^22 - 4129728076799373202143541096714402196018274553885295073868448267809\ 1763665469455022727149077/20709474869697761127876394755105743957868\ 3705845169146716793715615085195158798225472*c_1001_6^21 - 4177296955373856512539152736189525693161183458716442283377554590445\ 6066415224883857981430305/20709474869697761127876394755105743957868\ 3705845169146716793715615085195158798225472*c_1001_6^20 - 1926895443178259845972150322033647524896994333659677723704854531788\ 5283882267498728046901515/10354737434848880563938197377552871978934\ 1852922584573358396857807542597579399112736*c_1001_6^19 - 1614122842146115480157648378184952688127295625571677382233732698054\ 9550762129862895463007205/10354737434848880563938197377552871978934\ 1852922584573358396857807542597579399112736*c_1001_6^18 - 1216120483022407963080329079855323961131104110203221262854930714827\ 3042780795464328295962781/10354737434848880563938197377552871978934\ 1852922584573358396857807542597579399112736*c_1001_6^17 - 8112327140981241590667252691170108605185942908715022409603220470662\ 954590502183925612165223/103547374348488805639381973775528719789341\ 852922584573358396857807542597579399112736*c_1001_6^16 - 4681271359407978036120895958755981491019802415221786262499309273704\ 847670691686114501742829/103547374348488805639381973775528719789341\ 852922584573358396857807542597579399112736*c_1001_6^15 - 4515338020986516926628743988514575417769083776327952550168971017220\ 905507336292144572085177/207094748696977611278763947551057439578683\ 705845169146716793715615085195158798225472*c_1001_6^14 - 4297436847753292776063894526730213985694452379693839592578700455960\ 93107955668650644670573/5177368717424440281969098688776435989467092\ 6461292286679198428903771298789699556368*c_1001_6^13 - 4551886160456043335211203141661068978157564446622668215012637247336\ 34241996215249666844835/2070947486969776112787639475510574395786837\ 05845169146716793715615085195158798225472*c_1001_6^12 - 2131706505371263505159282539412289097897562813162504876653962159650\ 0902082368992443851613/10354737434848880563938197377552871978934185\ 2922584573358396857807542597579399112736*c_1001_6^11 + 3276006783479664626178791179402447139511370124196501532455999014096\ 2981854544216817552947/20709474869697761127876394755105743957868370\ 5845169146716793715615085195158798225472*c_1001_6^10 + 1264730860779824905641504821577726747800299148846245943240861374156\ 8182580734142825775875/10354737434848880563938197377552871978934185\ 2922584573358396857807542597579399112736*c_1001_6^9 + 1235504673765872669307632278532015087556190683344754203361020909525\ 3364213934908123610129/20709474869697761127876394755105743957868370\ 5845169146716793715615085195158798225472*c_1001_6^8 + 4361003568697357479529533638833441460763019264494127928639682665274\ 200571439119764495139/207094748696977611278763947551057439578683705\ 845169146716793715615085195158798225472*c_1001_6^7 + 5916641987120420792749724625778684274851929694656794721623484875913\ 57983856315375051427/2070947486969776112787639475510574395786837058\ 45169146716793715615085195158798225472*c_1001_6^6 - 4302305199168208331352637894422097183268960643971918150238982247998\ 59037416746326489551/2070947486969776112787639475510574395786837058\ 45169146716793715615085195158798225472*c_1001_6^5 - 3163693148955974863388440648218341810885763912423186110179174282229\ 18017441039726895577/2070947486969776112787639475510574395786837058\ 45169146716793715615085195158798225472*c_1001_6^4 - 4490602383702646884846326217244759318363863271890112854576053783027\ 6974634313494417491/10354737434848880563938197377552871978934185292\ 2584573358396857807542597579399112736*c_1001_6^3 - 2942181406494812442374820393488016919422733748457922111738773190924\ 321476031735231659/103547374348488805639381973775528719789341852922\ 584573358396857807542597579399112736*c_1001_6^2 + 1125083249250517825542414184241699431349346268442658108457474639426\ 894492827953310195/517736871742444028196909868877643598946709264612\ 92286679198428903771298789699556368*c_1001_6 + 1332289004337202383914295567231985254771025374609894592978985398589\ 370198466293769885/207094748696977611278763947551057439578683705845\ 169146716793715615085195158798225472, c_0011_0 - 1, c_0011_10 + 49482590832423824821674697929733851675377216071090317032975\ 8457092326980873788659/24701186628933398291837302904467728957381167\ 204815022270609937454089360109589483*c_1001_6^35 + 8640176045793648075575027299823978563321423230466377062632856629242\ 879466011980314/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^34 + 7503126865828379523096373105935866899895348728018907224333899030457\ 2857553188910847/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^33 + 4335914412811721637110349353228811065332050044324636942460925217613\ 52938482340585638/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^32 + 1883857268940858390366573743069157328112908091821872051684429402336\ 631729707892464207/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^31 + 6574577948469967965571760268284216410126697631421783130770566255278\ 031449340768643484/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 + 1916230775943259859878763786760401510973623782735588414936014559303\ 2829381519653528428/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^29 + 4779492705495933824577013712051869340510648372667655702038959268861\ 3580898606560756390/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^28 + 1037184371958262541627058864989237920601549063945600227392825097623\ 31514140548626907088/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^27 + 1981827524789530970106287845867751140566469632970166220882927062995\ 23953069421356788368/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^26 + 3364687258966152680790436638555300471830035858824316970556300574457\ 88876774796513374574/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^25 + 5112270172445234109085507558059062930814397124338574207546078386093\ 59626524826662904296/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^24 + 6993073922966043365433162726102877720303139883991307178840386672170\ 79688474343848001778/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^23 + 8655488021382651153871004934790848230550108900509322570755368207676\ 30852998144674516134/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^22 + 9731866238107457720179175969210840848338757258199528138832791009475\ 62657796060040176328/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^21 + 9962995953802554311252425818092520413483872946550656262121224602222\ 77744644601938822504/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^20 + 9283531526600501789775974645258427000064069564888607572347433150302\ 53318475360717527164/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^19 + 7837679747691174028009369932281242543272649719281744575481043889448\ 59516653613951313305/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^18 + 5933085002810510547786139162159070286388637193256416286046591566606\ 80401463215279222418/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^17 + 3952676056175385142435825893251704112361502736464683563369706274089\ 75263467113626119221/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^16 + 2246460742285483089595577469634517856848542624698858651965570026736\ 99389324928185138103/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^15 + 1030523023574465785097059734720692218218218027752334776868530530622\ 88836668798198681253/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^14 + 3354993428544693008591526716946695034607238225218833131876490963849\ 2607385999691294061/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^13 + 3988136724414195725778363233146454640483779741565469541146263328598\ 038845210417336951/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^12 - 3429775165205700946928399989451231243624797685288309104681105629690\ 818171530341195600/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^11 - 2877232415882527094653120955360307388695776615803970904201098069322\ 615370174649177217/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^10 - 1315620279496055084882717776542250752074196164516519370432137062675\ 032771860495722257/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^9 - 4707458952898933989710940656966119353391722846322494374798665368133\ 75670320358930042/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^8 - 1378032662413381932097699540252150525810685536859740794235506691929\ 93418037477834534/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^7 - 9545109381010607129381473108444533149858213394303983221405678261450\ 414721365622967/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^6 + 2132701452068527635637438677787269791955415253196780577608541270358\ 4531499046158727/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^5 + 1409268799154676513302877055060642071382143626227225789056658039432\ 0025080195114425/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^4 + 3885179761909667325690524548008134462369274828114682305357534455129\ 925413879860401/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^3 - 1486761196309417727565113643062978877780001170305011500050063222375\ 88976104734229/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^2 - 3325904229204760321300186113293371646304047728968893716538926555457\ 32138869057788/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6 - 1183797454082580923098819280143552266873877508297467771405019859198\ 92140048414684/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483, c_0011_11 + 12163793482142036216589295819018669359809744915735963626737\ 176187475744784229476/247011866289333982918373029044677289573811672\ 04815022270609937454089360109589483*c_1001_6^35 + 2069724248839944471530641760475276677346767782248391370811093706362\ 18152525418955/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^34 + 1759099197136670736651460673580844543852150447431490831269766146427\ 004954984389640/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^33 + 9988811721186004349355109780684795427979512533297181496413110491942\ 134307815851485/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^32 + 4279662019755031591546180865661987871256258289643259529522564769068\ 3134257839868976/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^31 + 1476932698585458225036992117806385689704875887773756625719985933782\ 99087401074222482/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^30 + 4265137747669008425152234523706683977039370051251952565854900365108\ 49616314201274031/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^29 + 1055675677100586775730007302383196096600231012814828685110494889132\ 779740176443349579/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^28 + 2276434807526179499926430555452744420869968887027298656637201731655\ 924474224319354500/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^27 + 4327621787558972467127232036665080225707526610032558164078800157134\ 204699502355920214/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^26 + 7318410387957201665595194642264455909642206539208111097084600716741\ 530542775090484801/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^25 + 1108839770558323728327247496374820373496189469282697952352405053051\ 6134827394422662348/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^24 + 1514246344079082064387762811275642766918565480244076493893518125510\ 9741604676309130815/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^23 + 1873167039368685094669742322891874346710213485768673720325378249179\ 0477845962010894331/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^22 + 2107236012837284842603011318333523087537198822581961655971641389653\ 5962021109222296120/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^21 + 2160826090148686826958700853178894049815786890379660588679301049473\ 9783293416177674190/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^20 + 2019172329837623542371545574952682730739882167621471906366233084447\ 1516640069026470722/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^19 + 1712166300315523390083523808218765788116459794018217298721205649468\ 7036362096568513956/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^18 + 1304868687212750618657163304703949220526418853298646956810337859069\ 4856978605596182002/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^17 + 8787888768393734018650513333461785462556215938592924203727477108055\ 513778646886091746/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^16 + 5089534318174338954722334536778033846688403060504103421450151969515\ 192803310024692247/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^15 + 2421081131277276177438670226472047247845684920524415025422488077621\ 570240608322442565/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^14 + 8601957436617540523546381619707681990862528598147792739034612852516\ 39125121187733061/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^13 + 1626963360663437617772166343739215704178757073751545064539993645184\ 42054881414626196/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^12 - 4176587737330512938614948955239730740731105987652600140443446974852\ 2904327105648503/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^11 - 5342612444167284826697658560495865604911679508493878984078052782742\ 0387275011618749/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^10 - 2810107003758272189736166844219168659367539730284942721759306427151\ 6524701510933254/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^9 - 1114172121314646416734724023572980064709848032739168997551096344879\ 3094385610372670/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^8 - 3276349789800593184555526792283288533316959101849078265977516906702\ 915705875649984/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^7 - 4179581481562553274966818309081246361657985904478274684297603306992\ 82388516888193/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^6 + 3542234530847322432735324135557879402287643854164504163151719678170\ 39735979762560/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^5 + 2828748287609063682646346088385897045742101737798198996508339785150\ 69717841142377/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^4 + 8139174648085724022631536667409608213833238227015191620406351781390\ 6118163472486/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6^3 + 1462860499780580933879757095599799225639518570688506864556770549201\ 3311332043844/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6^2 - 5480506987498505083155846265116122478352848793351362584469167870346\ 8880365539267/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6 - 6945978709423606924218180646836078743393595284983871657684528728464\ 262742959267/247011866289333982918373029044677289573811672048150222\ 70609937454089360109589483, c_0011_3 - 412755029685609247679136002175866586618922455003387994207064\ 195394873606322654401/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^35 - 1866342031579478622647027888464975094169370775950460729413767293252\ 553414397001747/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^34 - 6691440562281132518901829515393979716072200864831646982596002263626\ 9844335325766819/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^33 - 3977495884306778107021568494005227746072501120466761416756461725354\ 72800169699482267/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^32 - 1771599281576281687621684008933964871456512646173096372707441312760\ 212397501671465211/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^31 - 1580092839923965602194914475034711013141305145899605959312759543864\ 640464192333043645/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 - 1879272324869624457801445202647731239754012665609201319510439738291\ 6738393071933397557/98804746515733593167349211617870915829524668819\ 260089082439749816357440438357932*c_1001_6^29 - 2387392704337238767431303392143362782381120195324819388149490499653\ 1685780152402154295/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^28 - 5271316961642918736559656916823260531676581815824688225194661842500\ 8518658133863192493/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^27 - 2047565541845219828987100693830125216707241437648315674989429274549\ 17096833935885141627/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^26 - 8825266585893881987622442526124719358868323630898415709637725708645\ 0156086538617472404/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^25 - 5441621176858776601926580293960803540372516044721254386622305619805\ 53462674105324611027/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^24 - 7544783826664646585686412516041232599739850631692067499987685180562\ 17152784667841105525/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^23 - 9456475185839411825563370622768829241646488207141653947638313329632\ 59198555033951806171/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^22 - 1075783561703899463207561945855787862128945096733239663554039635224\ 051576963582111449987/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^21 - 1113607840701673463683543596705204395419089180329841801785798783591\ 266487521593804855391/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^20 - 5244816973990781293846827915544881521534735377374971974941726577999\ 17555843793676650975/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^19 - 4477468631291616157711682248240725722703165554127978657793397469667\ 75945709569496375495/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^18 - 3430177178307147991475445098829230352407916777925599127015727916697\ 51928698351903990255/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^17 - 2315832161233852616783553495074073903414984919072243787293460765980\ 47533929982175079405/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^16 - 1336148041605721268806533281214425077082497839584393326810279271992\ 82077788924446517919/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^15 - 1247396454652811235943513685215104610564487821084969267566703159939\ 59649833747950924599/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^14 - 1039273748089252527733598566773821968966546642312666664368897409280\ 4181105197365150542/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^13 - 5377103746229670519498464694648856206406023562680933052855812499362\ 458556464479991649/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^12 + 1998782822482205375564680454120748448636510958567266246518473455134\ 382107751403801099/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^11 + 3448904946346286968466801502649729425363419678593981597732582110905\ 308695845786000777/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^10 + 7942177974950940383282932492421357169014405198952340894186186240593\ 77159727857823767/4940237325786679658367460580893545791476233440963\ 0044541219874908178720219178966*c_1001_6^9 + 5873212105969827485597762172302220535857584529364542549774003151533\ 07331379099460231/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^8 + 1923329573459240731098123891989654833008338059517203748545563981978\ 54929956734482177/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^7 + 2496508721758451383385293569629191471682167780362987915547099532329\ 8835337644589377/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^6 - 2346366170301847280896807379221067010999196940678863082890419649587\ 8747646919118525/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^5 - 1542049446700972003986448059162305595970337692618079103321204710793\ 6831019582614519/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^4 - 1759563494229655371145071709425396565375830000182666220784334202448\ 059618253717785/494023732578667965836746058089354579147623344096300\ 44541219874908178720219178966*c_1001_6^3 + 1545402406093214008124033887606336249802305806988653894858907472786\ 77006179881255/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6^2 + 9117997303985440454439497200775903884033799942805129958353293103435\ 9577478305549/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6 + 4600532836568359139700500259880085550584653385438347908006485475419\ 3806931444779/98804746515733593167349211617870915829524668819260089\ 082439749816357440438357932, c_0011_4 - 1, c_0011_6 - 813932129130284919568407748723320220457616086231886725671333\ 82893826622875320606/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^35 - 1406382920500906865941863378671430834182282383547943697034798570007\ 567530844258116/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^34 - 1212757847790272172042325401765284488734049391936083582302007162717\ 7208029626128208/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^33 - 6981818068017399326217350209267414525479482669956220344973341765671\ 6305851643378801/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^32 - 3030806998424919459797723532558978521659280053556535357979819687915\ 71217119679531787/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^31 - 1059383442609356131761746164551507154478911109776878265115804346612\ 743733736777188881/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 - 3098773127347040453269197467465327299558126796206054538753354612599\ 155430092149267312/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^29 - 7771609909426202947251465875360595249399075808768119824193462959149\ 838307682974121291/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^28 - 1699114534773849825012429322598861647344564413778471465642789390543\ 6090164386370524358/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^27 - 3277607000633591855324873116994161317020309546005160130371121365601\ 1537080469385621650/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^26 - 5629795006963658881395999054988404890600234050317711162985113052085\ 1064790386438751286/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^25 - 8673607978879365842056207822061158585484875000605550478642383996193\ 5167189293179461119/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^24 - 1205906201263203775611733679034851825004710996477683457533566276279\ 21987145432345573651/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^23 - 1520713960973157692874650277844895438867008376716616774071580860113\ 03090897376487109929/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^22 - 1746468657410427321030596847989747642551992266620037540700015054753\ 69244172685398692565/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^21 - 1831418351188990572025141108166487524637869126999384307911208476738\ 45653184009174890484/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^20 - 1754227925856674304424810717415834230970041975472281789380365900994\ 06552494039522027096/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^19 - 1530321197379586558168879053505357563893849804526469097632336064896\ 87674801816462413094/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^18 - 1206960135614151798199154036811789683649331081583268498922518248027\ 08793629991878675769/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^17 - 8494709876840424131725250381673548731203831209498490537693644406333\ 5792721745513662845/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^16 - 5226561486252549816390379793876652033500953350854607488118865108972\ 5114637880429069747/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^15 - 2721549066640306850012501341916745257979425219312559742638710870758\ 0520154739928237660/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^14 - 1131474143637706944410036070713271751811307114468571750458062096641\ 0416868774122265126/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^13 - 3250302751276893427317169447613165731852239257653032082771377731505\ 356382546651856693/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^12 - 2334337114172714044460242323854817099424975071424983703179931382433\ 24563891403500450/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^11 + 3991504347583863843370417869220161246545298149825775482565986119699\ 90330496772340173/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^10 + 2999804884985963820743978656652178650399933752206840190335122480614\ 86207016175230184/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^9 + 1384179801952892383025984081832575302416451304048348321052740313784\ 47080246770442392/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^8 + 4866052642476790108694208533821611144131270722782442646325935061280\ 6849377400391506/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^7 + 1117558712597362807853100868891663064018566134889188597100425248970\ 3085317093279694/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^6 - 6932799869502045873079140824120050438791823464600296782169661404026\ 09388878121630/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^5 - 2431533691932679113990497318479970417966085327789850700175904626714\ 356078932258167/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^4 - 1225914406830016585805949979426874512387186613496717228496885670422\ 181199329342966/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^3 - 2923657602094583756554266784965997329082402896458505558226775945637\ 13167376343741/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^2 - 2098979314044103557871627155718523874077425967658573948550121803687\ 3031734691200/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6 + 4402110180972514350936071591902921414993850262298506918828847564184\ 0667640903228/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483, c_0101_1 + 302351665885769661316858915725126450691676825031911217223194\ 22577690639538662505/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^35 - 2724772599641688889972053335778528043382812526717188821040966435294\ 46691747374449/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6^34 - 1305259382017388173070278137280657110545879993998978826778462636979\ 4008600399142187/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^33 - 1182432368224772903931950198639184285650711810124114838663401438977\ 73824151479281549/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^32 - 6784900579055153782037252970282057740150995881056120044143339382971\ 65486306370355283/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^31 - 7210431969795105129652776379475137052197811140418572898203345547990\ 18128015263898661/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^30 - 9798062516944702727024466586431054852824865764000416728660559050147\ 982294445168282487/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^29 - 6932957625101230198530849256728483489627041685843611741052870570655\ 969904636635515617/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^28 - 1676630654724563648424890210051451226006535188676633868795584945104\ 6274362932637284251/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^27 - 1409607106425701924229373287685723934928487881355703409093846453360\ 82347446602934189007/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^26 - 6516999453657314242459109896806166141496009317079738708098711095247\ 4158651789379351371/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^25 - 4281111654275392066174118231113620656401863181232806215200120966105\ 79627695452114555185/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^24 - 6290291185029056591503695594051668325886083446304724490606753733409\ 37072305839201732021/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^23 - 8320728013584856935801434201478446136901012544979828752714499159564\ 81475635420342411193/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^22 - 9960760138309277679439957045297029670774018828793999190589307586503\ 17730791919938423535/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^21 - 1083321484293298899500644353988795697813103642531428606821046852089\ 762161049133388686881/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^20 - 2681128016625612646229719597065815953030452243232373339754661149750\ 78085077808550243462/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^19 - 2412362475453649238711385399502608488004020255182726730154333905783\ 89523096167161049272/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^18 - 1960100086308738982329511890634642431283423585623661679748535245931\ 21445103670821177023/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^17 - 1419638096853216152697107115482373771584640437299105855722814772790\ 93179307868093011610/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^16 - 8964099361572615488685647259126483736630734647845789775983117560926\ 5407971031194721924/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^15 - 1904647793958778876731323560371730024775919025753761318280088858462\ 51436896774661442203/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^14 - 1995639757286282715998689806232164268865064791393404139527358790841\ 7087320925930536664/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^13 - 2251420979502998594384385238488298842901974384709928528876564477862\ 5540604480414744727/98804746515733593167349211617870915829524668819\ 260089082439749816357440438357932*c_1001_6^12 - 3257640962133673376539097654160134040072932678906287563783385177474\ 72634240215081918/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^11 + 2727108707034743469288695109875598636825729495249600012255257701787\ 024266337794717785/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^10 + 9096317111695226964300385294624326468464819410833385308493970674350\ 41194070731964217/4940237325786679658367460580893545791476233440963\ 0044541219874908178720219178966*c_1001_6^9 + 7645416309916979682008200401632827909516701584723219515013519247979\ 84538436912315593/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^8 + 2862467978499415805578739463208835206330254827866885875813183481252\ 90559547556428613/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^7 + 7713204760542262407558350573877017478821048053445168256546903609757\ 8910138709399555/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^6 - 2064399261513977963783531623332132906524306006978444055182325884936\ 994028010709789/988047465157335931673492116178709158295246688192600\ 89082439749816357440438357932*c_1001_6^5 - 1601207984829303178932602513999053504660518382703337442170794029729\ 1241096387304133/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^4 - 2119492394868404906929600014117497683594119358936946976729539223506\ 872144207126295/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^3 - 1320332586277661539031105618796640792058192347219123829812103782184\ 90022120769724/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^2 + 1751740282512644271570636189831252122906145149983251942959290318783\ 27054004215741/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6 + 2714935142880475044465286924345422147194728687831086842136388066871\ 75566363391767/9880474651573359316734921161787091582952466881926008\ 9082439749816357440438357932, c_0101_10 - 15035561114703893708808407388180356534152752251883721952324\ 2564830975246579447189/24701186628933398291837302904467728957381167\ 204815022270609937454089360109589483*c_1001_6^35 - 2527135160106571221833880542995124268587744182441741675743167536049\ 175648812352719/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^34 - 2120320370188875923222354903301943675772495635995866041939373180882\ 8162594226623559/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^33 - 1188250312233261544630832961386309819941261014734866349740571504937\ 03375104267688519/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^32 - 5025228063707383500839431268239824412777402353110342824608745802909\ 85784378976915458/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^31 - 1712399334287141766873946691670057607952021183994324923173765097389\ 659187135484410293/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 - 4884032395368065302851511315407726090087688479324847229131551421057\ 682033504514985882/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^29 - 1194035601065999577883059040264577346994636820640045092412488021071\ 1917105165750101214/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^28 - 2543320156900467121835774393029607495562264464154611082716021019534\ 2821663064954241169/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^27 - 4776162923744329664544403441609417773465973838317669463739678448662\ 0891572238230052835/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^26 - 7979545446567011242225391428009059333334312154920953813107494655319\ 4029019337548753522/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^25 - 1194668816691061781539854962558672496910259151916309825734775261795\ 21227229566757954263/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^24 - 1612608514349960370655755007882283167229034881349868630501726926589\ 48958740976420920367/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^23 - 1972610518296982375127299684385417266247489559307550261612261084501\ 71373692766405563096/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^22 - 2195313564451920362095830857521088149006984185099611393277314923262\ 63521168289291391081/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^21 - 2227705688448841519674819925117881300428865776572747843664239592383\ 03996469155623577834/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^20 - 2060003447751565961775117730415640500567590557679792401521776772545\ 19948220003656171701/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^19 - 1727779405451031930344017248451410655326927893083097331334701822355\ 69305982961229440947/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^18 - 1301124438697839793536100813571633088637944997881821548669374047359\ 79665330595383396433/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^17 - 8645936952143857503592443937758949709604884586064187329834483798020\ 0528804219889721605/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^16 - 4932409626428232265901914599959830714748080174002659796881815525060\ 4511501553075886688/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^15 - 2307764850415780327703780805399406826964839282180872541226221232260\ 9633176716270227032/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^14 - 8050449864817347548598474000306685350720925181516219916178247120803\ 327153249760635765/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^13 - 1478671028954012819941919337504752309903107838885374172930105192858\ 083518404629406966/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^12 + 4069958395351832914091468036189295631128574005907102593983031161042\ 85916979441576312/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^11 + 5076596462172185636258983977447206117612757434979643419117916204240\ 40695621241213336/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^10 + 2690702401504601942582039524608687030945345039374741777936278755235\ 87665716120524256/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^9 + 1062300506246385736966278247315148303137535742362616833668171179588\ 16027744279268579/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^8 + 3087375115925423679205676397202429366817038077664851139144257585349\ 0197870845994226/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^7 + 3422054486735492377088846112610758689373482339413732025093725405279\ 627349004468174/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^6 - 3348040168396539243566668598417361695620021619000159371730948522437\ 016872272428382/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^5 - 2583592663871909144720185289632797648933546330021058686082114555117\ 147507429403998/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^4 - 7767221622563686863568434472805468211510003284144807013088845769487\ 90762067046241/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^3 - 1103273653790623133442143286340986193850110942023571346424799991557\ 23373248647147/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^2 + 1353644441608167159259347809992734858322055458688407053975714549609\ 66518671883886/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6 + 1064740345744500817436828657638058571166394947088046469504452457281\ 8709089851582/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483, c_0101_11 - 15367523306290991271599004467904963372192678532409832697219\ 24998576563113469487531/4940237325786679658367460580893545791476233\ 4409630044541219874908178720219178966*c_1001_6^35 - 2525284779583407859262016282911268787463254126183588165071680756602\ 4537597830671393/49402373257866796583674605808935457914762334409630\ 044541219874908178720219178966*c_1001_6^34 - 1034361470424595073198451248573544254541840767551676165825140140832\ 25399994742274462/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^33 - 1130857563684511257982251207820808449927521091332981920627713466634\ 803137002699372997/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^32 - 2331387152175661757548224460297089359448719984111276821245303706839\ 913534814089729615/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^31 - 7742312153740316561449150561379831920520943517419005869015441396765\ 867185666052730633/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 - 4300457718311442037150222333581168920829379464592738528553034444304\ 1799197545051940401/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^29 - 1022352519188881373962286017727213832351885664707635096164788867832\ 71315979043095400387/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^28 - 2113804474379690946487672358544373466238981950935698386474149437350\ 03608778258868546839/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^27 - 1922556255192926310246855900155933801191202607083985386025362458008\ 98523737510031868997/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^26 - 3103789201551257349218905353479963060223116439310776514357018572017\ 09317550792359923621/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^25 - 8956405481183068190554914061603362761413969399993514419393069855003\ 68604062538820459709/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^24 - 5808334208757393143244154235149886298502940125644008552586840194241\ 01282521615000613955/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^23 - 1360982630172627206378424194361531604479056190537938296700498979970\ 828281903717766218685/494023732578667965836746058089354579147623344\ 09630044541219874908178720219178966*c_1001_6^22 - 7225594671169337270226451323077881689233776765906352024245059722541\ 37455617699337074722/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^21 - 1392065172820026349390403342729904823404958786814353109572091632531\ 632678033549305414083/494023732578667965836746058089354579147623344\ 09630044541219874908178720219178966*c_1001_6^20 - 1212597404125965177202884009278259674825639233286533416366475084614\ 697697160391279056655/494023732578667965836746058089354579147623344\ 09630044541219874908178720219178966*c_1001_6^19 - 9458277627408700701710955056351034912688281324129957998451201266737\ 15602735829407250177/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^18 - 6477831691726581248632155130789061544504154158119568734513260684933\ 48111723713296281127/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^17 - 3756777277480676229683910637094805068661026665758524482562006320958\ 58002367170803524281/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^16 - 1717038537471117665078133535952251251005075641957529488556217775258\ 11172354855141401137/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^15 - 2525781423899430162960997625313761785005761289771554423830774596315\ 5724218592094114445/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^14 + 6627704345488849833360107307513143450228963262559033955574895436893\ 06136267794934975/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^13 + 1214452685803712917296979920911324737253125877063763644686759083134\ 0073987220926728843/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^12 + 8161730958773912578874088413369632968763016313057716927184594597333\ 885264286828148165/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^11 + 1682809587809692570771386682543639322085792169645752677609958209870\ 836349431839587479/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^10 + 5302257382936769997062865578737510284802333958337856642579098353679\ 94671075696480649/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^9 + 3019437730825458326558268348641650837657038635215601255613540757999\ 28016277231364721/4940237325786679658367460580893545791476233440963\ 0044541219874908178720219178966*c_1001_6^8 + 1236047619873434326347868121279109494558161339354692051815240408850\ 0945805257443526/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^7 - 5300800363062251863617548385839056712553591966605538399663543556496\ 6955475406540495/49402373257866796583674605808935457914762334409630\ 044541219874908178720219178966*c_1001_6^6 - 1841221300253798129279375525554216703482443674427598325251124032613\ 2369291935532010/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^5 - 1157335943992584755926846119620392400055959615474546365063238288718\ 8566347273750027/49402373257866796583674605808935457914762334409630\ 044541219874908178720219178966*c_1001_6^4 + 7510259544702411323701221357198455774257679140755506068770990554313\ 38789525409855/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6^3 + 8480086673990168034248344794809742267185102673524182701420952923339\ 24315413248417/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6^2 + 3811821701219453333942683199657929164666653094070425687509226967802\ 37399735124733/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6 - 1714397296369852270997625188854381064649733182901462481138073276302\ 9282357537732/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483, c_0101_12 - 39454422558013165678278194889156648497105249471092802725827\ 4648186539658877795394/24701186628933398291837302904467728957381167\ 204815022270609937454089360109589483*c_1001_6^35 - 1246179366843905299809941729243804207220896005535774315896406023781\ 4769012439643039/49402373257866796583674605808935457914762334409630\ 044541219874908178720219178966*c_1001_6^34 - 9787420828216016197509220378194493820067077629165374604451321128944\ 7462158778693417/49402373257866796583674605808935457914762334409630\ 044541219874908178720219178966*c_1001_6^33 - 2559025902474011608505314614574492968636659895691210644615738692566\ 25237034317000119/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^32 - 2015102002488280406896764207179836298541236123612896734343922664942\ 292703555997847517/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^31 - 3188112891055119567592266352286560464724750054705452000872730401274\ 816249435796163237/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 - 8406085130107357355790177399936246802105607168988177427968338125886\ 708509935928773869/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^29 - 3774228294884482378154011009547637469850741106402618349660937804211\ 2471527426445753877/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^28 - 7316266670968137578094371374292339371962980222192293104292937937295\ 1378900332578665595/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^27 - 1236057224378380722335315960071717609689536911685951008608957882821\ 70828802694785948703/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^26 - 9152685396312515861452534606646686648818817146966424581356082802486\ 5789289552815622348/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^25 - 1191637840937040407412932572223135223452896352397224153478572478925\ 96543682415106608310/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^24 - 2727533785492775783704360149635829226248857260613597373119173310370\ 89071049346816452491/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^23 - 1364934534890451053986812285852918726196875537286836155572160475851\ 89264765816933861881/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^22 - 2351855392646723531926494601953523501920676705550642771617811199070\ 77425757057039395451/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^21 - 8344823453043136155336886757041120281398042213085910257916482435440\ 0673881976797869168/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^20 - 8381381511109731565301452563414806132725121333537962383927151367633\ 2891022724000656461/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^19 - 4437671141927649506739670545538132310190443160031297821936979890504\ 687052056887210185/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^18 + 5494325659691480404550405254585809363683307573796569265971032925035\ 8224184409707676603/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^17 + 8464439367603912353586152546449034734809830966017781166920230702580\ 9439538644013962001/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^16 + 8435117244197928051515759545134529803284648885904653411413106046231\ 0735514528830171255/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^15 + 6349688611496696278076415586407653277508976292779365938306040708330\ 0276246314439557907/49402373257866796583674605808935457914762334409\ 630044541219874908178720219178966*c_1001_6^14 + 1827752467013833512228413584778742020425629758715286867430916802030\ 5709124443429489719/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^13 + 7637527405092565847193545813537207042312052434073511220424773720179\ 662607567390407284/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^12 + 3949800494224265453154990247999356546886283349555377274872274959470\ 067504070550515521/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^11 + 1528949235394301026791873564995856360327701895464518753116933710865\ 14081988723257721/4940237325786679658367460580893545791476233440963\ 0044541219874908178720219178966*c_1001_6^10 - 1821727976161584670006600781568277195607862892702658428202670073146\ 23685520163404255/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^9 - 1022917749697976051057037439177222079121914768086765375696153765958\ 86960338956138632/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^8 - 1164413423958420207674827031274924772333374069471574947843987898681\ 18350301218189755/4940237325786679658367460580893545791476233440963\ 0044541219874908178720219178966*c_1001_6^7 - 2780848845543529398209944803601041549084098503219115686447546702609\ 6304974156916589/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^6 - 1098788191754966608017862639512572235031254853154723384249687619486\ 8075595600086601/49402373257866796583674605808935457914762334409630\ 044541219874908178720219178966*c_1001_6^5 + 1883506546567610225107926005402008301320776860910065549298304102067\ 985656696578946/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^4 + 4389453083839522113634811635193059120421534484911785598172361518123\ 800942575994353/494023732578667965836746058089354579147623344096300\ 44541219874908178720219178966*c_1001_6^3 + 5764009784017892539045046648472130474454528636723430714925072442964\ 08898815623703/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6^2 + 2731308143235835413113595572386202400686359636104747616901732717592\ 886013745853/494023732578667965836746058089354579147623344096300445\ 41219874908178720219178966*c_1001_6 - 1443516226653016395411165437807627108151323663021745903012781264739\ 53260798138043/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966, c_0101_9 - 322739730868376193763750028855902267038364026741114013426055\ 76447082779949139650/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^35 - 5458030639841380707998519931721883385935920805671064736144449671674\ 07986367272566/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^34 - 4607853628677048529692834224370489945190526143807514016535966185309\ 329171533575641/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^33 - 2597990039811329889188313640230443405295748413943779382766363535844\ 7121500146861619/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^32 - 1105061543053236800872468134883823433530720271306049078971379060943\ 30248175282230051/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^31 - 3786071639575745445132283688334692209051240853362289139907824190296\ 52409679941948874/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^30 - 1085430375275973663822969156314268045707795449296201064235004178117\ 566421857968295717/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^29 - 2666859139567795516923594108974385755052353151212664297855529669623\ 523050776535724614/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^28 - 5707842575422035409356404628029915979107970131983912415836870558426\ 392414753918906012/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^27 - 1076868862611602803141908773925263070052553718914099053857653798622\ 6239594369872092888/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^26 - 1807125720700590472489082378277789296369458550643258152456313891649\ 0583697190026475349/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^25 - 2716943420618407976180178987882237976110772404731362353380459286906\ 1606680250376369559/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^24 - 3681796504243622786375953664386546581749333326972325191785462784109\ 7076860777491780917/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^23 - 4519898501609692951349970678445339074841237029129584471757718442683\ 9768337719682928133/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^22 - 5046582296444568530101222123231434053252675492030909568358042406362\ 1936943104361237404/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^21 - 5136249619769686350008664869980997269535404332518923438774493646864\ 3065764356020480934/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^20 - 4762746853466981763741086487020177286682792022279444153245021821446\ 3008057728952378638/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^19 - 4005330352547745504961690558195211038503721857483829913701510614625\ 7059624609640654105/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^18 - 3024126486739746477532129669589047712245241073175030152359783809401\ 8465175868763931173/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^17 - 2014327587577711081195144348115736623498284109302148537025816058134\ 7805824721929324539/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^16 - 1151033029847440774040970733725593389232541751079826973716153033291\ 1646112698338029782/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^15 - 5382837594127928903194257851226813064603513363007748360870761781913\ 053581053705161272/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^14 - 1865789836118117656456256659839232331202885042924012199697515276707\ 913675680470350879/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^13 - 3302772712756141871996135472879911105260045693555123279659582521135\ 26393356057023836/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^12 + 1038031921133282323757690293014546279523594413861869809243187889951\ 97219596189856507/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^11 + 1209489349423096526778009777357407297248660910296902523686405664997\ 88624123418558410/2470118662893339829183730290446772895738116720481\ 5022270609937454089360109589483*c_1001_6^10 + 6276538271065610880789010913868586669193459053101105473861082060754\ 3876243656272074/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^9 + 2457771107461888258441802077304963668306677244108095452133694379186\ 8736844290823966/24701186628933398291837302904467728957381167204815\ 022270609937454089360109589483*c_1001_6^8 + 7077199463999958130586555554168618235999076820571326928800359798108\ 050659371253886/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^7 + 7526465012694780345136102712023638183455238773166161520932857204171\ 34146906985606/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^6 - 8323964499943546249560962121647412789493572524872026626804605157415\ 27135381841555/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^5 - 6178592280091566753048453671453352888688498902528959687306539276271\ 23487260771380/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^4 - 1774576949204769752457691139709545253142239010013489004337834069488\ 99111552361709/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6^3 - 2501562283375298738929335978412881168189718963289613106211482748648\ 7185581097225/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6^2 + 7905996690646926504182812616225902111544878845205240680589657709816\ 7630882084440/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483*c_1001_6 + 1991335057522583994143490438256584530763048434462745329607267963680\ 5441116923565/24701186628933398291837302904467728957381167204815022\ 270609937454089360109589483, c_1001_2 - 203633497535642588834630037134448275205963321777920397969331\ 1920402744781685650703/98804746515733593167349211617870915829524668\ 819260089082439749816357440438357932*c_1001_6^35 - 8991707642225146822366105737585053990397694641798628274521733190889\ 692505065164689/247011866289333982918373029044677289573811672048150\ 22270609937454089360109589483*c_1001_6^34 - 3156196880379708390731446350423567824582725248464040740336503631516\ 13044990570211137/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^33 - 1841274805319776869744160080630335917890887142128516440714396578287\ 621385391826824957/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^32 - 8068366133864209835863238655307852370576235039495907647427820409382\ 456622479777889185/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^31 - 7094225955731896547955138539265579889138893059821845310639832134311\ 727519845786562496/247011866289333982918373029044677289573811672048\ 15022270609937454089360109589483*c_1001_6^30 - 8330649416888610134062295414948547175834900654482085147690621347747\ 1356741339497624243/98804746515733593167349211617870915829524668819\ 260089082439749816357440438357932*c_1001_6^29 - 1046114288147892505986167979861983999582855116251572799949466050894\ 24841263955695397759/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^28 - 2285400818244876098227184801379908052024870230324100236723145354498\ 22361375322483087367/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^27 - 8791395521915629138246535611313522120671095451424318537243645094138\ 27912587928930428309/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^26 - 3755812355622640523057860638406106762132392810528384786232802205578\ 41579936177787266360/2470118662893339829183730290446772895738116720\ 4815022270609937454089360109589483*c_1001_6^25 - 2297471115781061498469672070900030264426831926926786543259733270622\ 845742578987346516737/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^24 - 3163198664384000788556404481077825064264887557667126173742678979189\ 906163730586559971311/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^23 - 3940923736250823717207344377795348470495638354926144560719667784613\ 861282425172734842053/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^22 - 4460828218901498094882886707847842216479557212245834790372018898648\ 065739843540456907697/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^21 - 4598947418438181164800920032224993769085957147507525355440456156707\ 675246177478237631205/988047465157335931673492116178709158295246688\ 19260089082439749816357440438357932*c_1001_6^20 - 2159082849540029000591949923532194219625287420953784225861584112786\ 919934746656208519247/494023732578667965836746058089354579147623344\ 09630044541219874908178720219178966*c_1001_6^19 - 1838882163275013657790243133383560957670054619541810356777380401762\ 697667574792626323439/494023732578667965836746058089354579147623344\ 09630044541219874908178720219178966*c_1001_6^18 - 1407074539672850350749123467368528165766142712178397394762713530766\ 452691571437850808109/494023732578667965836746058089354579147623344\ 09630044541219874908178720219178966*c_1001_6^17 - 9508427168921611541995713883676511665989541504291729335792361139698\ 37619628728594679869/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^16 - 5517133558008571633550389136381926664223761704890706622492716691962\ 89734541340718920409/4940237325786679658367460580893545791476233440\ 9630044541219874908178720219178966*c_1001_6^15 - 5241513152849826916583317462064499699509930470493145297371752340041\ 54845262270693041117/9880474651573359316734921161787091582952466881\ 9260089082439749816357440438357932*c_1001_6^14 - 4613060776424453215730656897974087891009256902360343687436342726619\ 7915612062858258262/24701186628933398291837302904467728957381167204\ 815022270609937454089360109589483*c_1001_6^13 - 3342393642100599358260983927551227578804261873923555729094751101886\ 6933124160196288007/98804746515733593167349211617870915829524668819\ 260089082439749816357440438357932*c_1001_6^12 + 4795426665881895935677775211874225253072163596411619767302820105802\ 096269125441612319/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^11 + 1113154592368490741422734377230489109167081555051168015613746009123\ 5394089796684100331/98804746515733593167349211617870915829524668819\ 260089082439749816357440438357932*c_1001_6^10 + 2724817313677163431326762343482655028187613534645788356830887780110\ 698036323755726713/494023732578667965836746058089354579147623344096\ 30044541219874908178720219178966*c_1001_6^9 + 2031484791997005118299679614730944215866423406301009687919260876933\ 564296174313855141/988047465157335931673492116178709158295246688192\ 60089082439749816357440438357932*c_1001_6^8 + 6353993979164645570091616428041484190996943928550803669820878755018\ 11784485240037403/9880474651573359316734921161787091582952466881926\ 0089082439749816357440438357932*c_1001_6^7 + 6341263149336031207388039058576458846565973015407159651632732807671\ 7553510554277983/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^6 - 9052288740578425011185159572880210756683512209529186886677229387267\ 7468341036412523/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^5 - 6300324319595410335331952013502332820725325410377426184024594550346\ 1531086570899865/98804746515733593167349211617870915829524668819260\ 089082439749816357440438357932*c_1001_6^4 - 8800146436780810964662065999824873894475267270043033214239864220731\ 463391548026035/494023732578667965836746058089354579147623344096300\ 44541219874908178720219178966*c_1001_6^3 + 4197287469393049693208584698912849964566613905660802055954898843447\ 51022896799579/4940237325786679658367460580893545791476233440963004\ 4541219874908178720219178966*c_1001_6^2 + 3975749467255233281498920463028909015140050687745879566708522894283\ 84882768008140/2470118662893339829183730290446772895738116720481502\ 2270609937454089360109589483*c_1001_6 + 5406618842066257673773570709760163278220841332066865363477664684416\ 18686416629981/9880474651573359316734921161787091582952466881926008\ 9082439749816357440438357932, c_1001_6^36 + 287/17*c_1001_6^35 + 2419/17*c_1001_6^34 + 13620/17*c_1001_6^33 + 57876/17*c_1001_6^32 + 198185/17*c_1001_6^31 + 568141/17*c_1001_6^30 + 1396493/17*c_1001_6^29 + 2991808/17*c_1001_6^28 + 5653541/17*c_1001_6^27 + 9509361/17*c_1001_6^26 + 14341515/17*c_1001_6^25 + 19512194/17*c_1001_6^24 + 24072134/17*c_1001_6^23 + 27036824/17*c_1001_6^22 + 27711060/17*c_1001_6^21 + 25911559/17*c_1001_6^20 + 22015092/17*c_1001_6^19 + 16843248/17*c_1001_6^18 + 11426004/17*c_1001_6^17 + 6709156/17*c_1001_6^16 + 3280221/17*c_1001_6^15 + 1238953/17*c_1001_6^14 + 289173/17*c_1001_6^13 - 20227/17*c_1001_6^12 - 61687/17*c_1001_6^11 - 37393/17*c_1001_6^10 - 15801/17*c_1001_6^9 - 5030/17*c_1001_6^8 - 856/17*c_1001_6^7 + 302/17*c_1001_6^6 + 334/17*c_1001_6^5 + 127/17*c_1001_6^4 + 24/17*c_1001_6^3 - 6/17*c_1001_6^2 - 3/17*c_1001_6 - 1/17 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.420 Total time: 1.620 seconds, Total memory usage: 32.09MB