Magma V2.19-8 Tue Aug 20 2013 23:50:59 on localhost [Seed = 3616652506] Type ? for help. Type -D to quit. Loading file "K12a774__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a774 geometric_solution 11.77362307 oriented_manifold CS_known 0.0000000000000008 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -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 1 -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 0 0 0.592714375436 1.079649081194 0 5 4 6 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.223074518961 0.827099121103 7 0 5 8 0132 0132 0132 0132 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 -1 0 1 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.413223058703 0.434862496127 7 9 8 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.505801436534 0.910318892527 6 1 0 10 1023 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737226377554 0.500749297902 7 1 6 2 1023 0132 2103 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 0 0 1 -1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.592714375436 1.079649081194 5 4 1 10 2103 1023 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.821681542211 1.565820996536 2 5 3 11 0132 1023 1302 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 -1 0 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.089997739775 1.279632869053 9 12 2 3 0213 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.116069686202 0.521258994702 8 3 12 11 0213 0132 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.468248299249 0.467052260644 10 10 4 6 1302 2031 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864513671755 0.644918420450 12 12 7 9 0321 3201 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -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.698778956508 1.594024588604 11 8 11 9 0321 0132 2310 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 -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.769319465292 0.526218543093 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : negation(d['c_0110_10']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : d['c_0101_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_12'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_1001_0'], 'c_1010_11' : negation(d['c_1001_12']), 'c_1010_10' : d['c_0011_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_0101_11'], 'c_0101_10' : negation(d['c_0011_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' : negation(d['1']), 's_2_6' : negation(d['1']), 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0110_6']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : negation(d['c_0110_6']), 'c_1100_7' : d['c_0101_3'], 'c_1100_6' : negation(d['c_0110_10']), 'c_1100_1' : negation(d['c_0110_10']), 'c_1100_0' : negation(d['c_0110_6']), 'c_1100_3' : negation(d['c_0110_6']), 'c_1100_2' : negation(d['c_0110_6']), 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_11'], 'c_1100_11' : d['c_0101_3'], 'c_1100_10' : negation(d['c_0110_6']), 's_3_10' : d['1'], 'c_1010_7' : d['c_0101_11'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_10']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_4'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_12'], 's_3_1' : negation(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' : negation(d['1']), 's_1_4' : 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' : negation(d['c_0011_3']), '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' : d['c_0011_0'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : d['c_0110_10'], 'c_0110_12' : negation(d['c_0011_11']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0101_7' : negation(d['c_0011_3']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_11'], 'c_0101_1' : d['c_0011_4'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_3']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_3']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_4'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0110_6']})} 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_0101_0, c_0101_11, c_0101_3, c_0110_10, c_0110_6, c_1001_0, c_1001_1, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 44 Groebner basis: [ t - 1514545487554077146488666513350435747196964702754785319239667443871\ 9990622458809690184362977868476280097396980880473280393868289028686\ 38413482527279229568704819517446/1372103332097264317085232349080561\ 0141580140397346693967958252880544219730346840534577409472013565672\ 8344279629102853183597962185228205518219709036884588569099417*c_100\ 1_12^43 + 180360473124865355463476845871991137248000377600530893191\ 0539268063822461217239789693623978706176963360011533650657779823379\ 681778330800821622686701199986915414566658/105546410161328024391171\ 7191600431549352318492103591843689096375426478440795910810352108420\ 9241204363718790740700219475661381706556015809093823772068045274546\ 109*c_1001_12^42 - 134078341143885409874172634155108288858672478599\ 8943713320453498001436514308813253559485026455842197947705787309794\ 75284481237156000209009065187896864660904039726880355/1372103332097\ 2643170852323490805610141580140397346693967958252880544219730346840\ 5345774094720135656728344279629102853183597962185228205518219709036\ 884588569099417*c_1001_12^41 + 553420878753879785287955461595038501\ 8078251394903380204263878352865797445183446469227777527222274620577\ 72874550631974561004845851331753678806876988176073354160250605013/1\ 3721033320972643170852323490805610141580140397346693967958252880544\ 2197303468405345774094720135656728344279629102853183597962185228205\ 518219709036884588569099417*c_1001_12^40 - 3193801396012977218284359795431464988772854832754115270776377304044\ 8818281769947970367383860413893508103342748168791882937095305033486\ 72733072446066241474578472156586648/1372103332097264317085232349080\ 5610141580140397346693967958252880544219730346840534577409472013565\ 6728344279629102853183597962185228205518219709036884588569099417*c_\ 1001_12^39 + 131033209277414630477183343313932438522453684037957301\ 1436652920627480614434092313735028835462457105525531169781034637740\ 2503009122363400310462372761407752234106132592132/13721033320972643\ 1708523234908056101415801403973466939679582528805442197303468405345\ 7740947201356567283442796291028531835979621852282055182197090368845\ 88569099417*c_1001_12^38 - 1881612142742926881726965570611999058163\ 8465792716193110303803321950225440580129869887236460394642194945993\ 726875331960103797895878759534012145752838774927498527592642999/137\ 2103332097264317085232349080561014158014039734669396795825288054421\ 9730346840534577409472013565672834427962910285318359796218522820551\ 8219709036884588569099417*c_1001_12^37 - 4373101015507520660285532720964701200660375739771165803095031255137\ 3939431593756060101057358881457463496695276030001888953559275079925\ 344889188323701594493710178755091275/137210333209726431708523234908\ 0561014158014039734669396795825288054421973034684053457740947201356\ 56728344279629102853183597962185228205518219709036884588569099417*c\ _1001_12^36 + 18650393134107985124735572001582599532464918951230427\ 2982253415848566985232052882135035575869942698971312093803177034485\ 356989389858511196923639262560572167055256457180170/137210333209726\ 4317085232349080561014158014039734669396795825288054421973034684053\ 4577409472013565672834427962910285318359796218522820551821970903688\ 4588569099417*c_1001_12^35 - 88436493229243620231526535880863680584\ 4326506936110781280364427746444465658583557409631270106317214633436\ 29587923814093889368530227397906918127181872167057663128650262413/1\ 3721033320972643170852323490805610141580140397346693967958252880544\ 2197303468405345774094720135656728344279629102853183597962185228205\ 518219709036884588569099417*c_1001_12^34 - 5936357006034837929979002589904224221026820665807746363142188488601\ 3612617022661537361218018188575198545506594393261139078429331782664\ 9912177019077290279802691065720073899/13721033320972643170852323490\ 8056101415801403973466939679582528805442197303468405345774094720135\ 656728344279629102853183597962185228205518219709036884588569099417*\ c_1001_12^33 + 9230785676267077723758388584972627622056446280470755\ 8816529972823875412388827971750589996108118539623779374275752778505\ 5374024698603143542251679526114171922583784704499500/13721033320972\ 6431708523234908056101415801403973466939679582528805442197303468405\ 3457740947201356567283442796291028531835979621852282055182197090368\ 84588569099417*c_1001_12^32 + 8580438697176591971717121936978429215\ 2553602655917174967829214745208282321834582428735288275594393902036\ 9140188847309431508601215460317539957328012208085788157454627119768\ /137210333209726431708523234908056101415801403973466939679582528805\ 4421973034684053457740947201356567283442796291028531835979621852282\ 05518219709036884588569099417*c_1001_12^31 - 3061377317911301898670334086772224901633424867998457139140429698487\ 3328328654914455236007885352944869387574208690081771132012780688436\ 30191935243487894505531813823941275186/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^30 + 189391582302901045005792698424519491051908559481993\ 1123083783303714822012561111890513350759820309898188803949597559007\ 96547160638182531002450338474574681224608322179397969/1372103332097\ 2643170852323490805610141580140397346693967958252880544219730346840\ 5345774094720135656728344279629102853183597962185228205518219709036\ 884588569099417*c_1001_12^29 + 630491742427503481370750236754985145\ 2798378696823679504837683989474466996622407856154053388331077009203\ 8357642774822056248610742748537840519842166039120467229626478307480\ 72/1372103332097264317085232349080561014158014039734669396795825288\ 0544219730346840534577409472013565672834427962910285318359796218522\ 8205518219709036884588569099417*c_1001_12^28 - 3874984059610588282200302956185790816476032173604020456201690661661\ 3116063167180982006294863669258373897823017391758721870832047021971\ 65768867157389156136360117141679880928/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^27 - 917785903708602438197648887785069201725740350160576\ 8003153599689928769326168148144683088805579092714538249809362988286\ 738900228821537367186755342400662147346462538446841647/137210333209\ 7264317085232349080561014158014039734669396795825288054421973034684\ 0534577409472013565672834427962910285318359796218522820551821970903\ 6884588569099417*c_1001_12^26 + 10283154179050815438291053795892161\ 1190038748753584992114738760939841418517020439429839948279348875574\ 5524150684267468394557603568739115884202688764454948784978436284310\ 5271/13721033320972643170852323490805610141580140397346693967958252\ 8805442197303468405345774094720135656728344279629102853183597962185\ 228205518219709036884588569099417*c_1001_12^25 + 9829925996622542746598834427594082803198621155327381335774683194951\ 5628522832470094775638361304567545046426059607437595247498869559530\ 34066731589361169751565105070292359690/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^24 - 175785443314721855011817161674633891387437460180420\ 6441553871482340670819484552623537214196639516576489094441667106199\ 3902101194056494643488530302852197469042368414969252965/13721033320\ 9726431708523234908056101415801403973466939679582528805442197303468\ 4053457740947201356567283442796291028531835979621852282055182197090\ 36884588569099417*c_1001_12^23 - 7718424317018594083959596781167113\ 4358389046625195344174201528130498773683531958368526604454569988479\ 2983864656117302123079628608051184338264420771483755171655099410293\ 4037/13721033320972643170852323490805610141580140397346693967958252\ 8805442197303468405345774094720135656728344279629102853183597962185\ 228205518219709036884588569099417*c_1001_12^22 + 2303044790026254365669243530263431651511496446734209452212729415508\ 7694721745810327871224501171496408348499060105792801067419520575531\ 792811101641480625205057246646753378001/137210333209726431708523234\ 9080561014158014039734669396795825288054421973034684053457740947201\ 3565672834427962910285318359796218522820551821970903688458856909941\ 7*c_1001_12^21 + 19094033124807518936636838069836763635703814847395\ 0111397692904242984288389750929465348361295923919114813072379270433\ 79548380183449965351120232475132318628405877721841111/6208612362431\ 0602583042187741201855844254028947270108452299786789792849458582988\ 8442416718190659080218752396511777616215375394503295047593754339533\ 414427914477*c_1001_12^20 - 191033385612046451882171710190726724105\ 7583890869427867862639192791093328421077385056615972723921487901410\ 190475136087845488600077790173947422996369749225678174298223432494/\ 1055464101613280243911717191600431549352318492103591843689096375426\ 4784407959108103521084209241204363718790740700219475661381706556015\ 809093823772068045274546109*c_1001_12^19 - 1500561055182962711914096420490230310061984035903116561231364746645\ 6530334883355748445017082269242037261128073340077801790014041043379\ 84142067101832780197222706002060649920/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^18 + 229522964375136892772194236063681468875815235192375\ 3591662714931261881018657946422741650777500768885859410288219714101\ 1206289395966775234048089216254104754390456438873570497/13721033320\ 9726431708523234908056101415801403973466939679582528805442197303468\ 4053457740947201356567283442796291028531835979621852282055182197090\ 36884588569099417*c_1001_12^17 + 8211661861839240231620412591333411\ 7230837230905694640965583654125330768216017918557044675306649062920\ 5101376864670842620585698259029467420539633340274340466034739744318\ 650/137210333209726431708523234908056101415801403973466939679582528\ 8054421973034684053457740947201356567283442796291028531835979621852\ 28205518219709036884588569099417*c_1001_12^16 - 1863340092761284354948027892556853392706561647625191075775976361412\ 2975831804162568934346832078920740090297460642318660480572963536647\ 644316756426915711584511727247166537823/137210333209726431708523234\ 9080561014158014039734669396795825288054421973034684053457740947201\ 3565672834427962910285318359796218522820551821970903688458856909941\ 7*c_1001_12^15 - 20284202014935075478326001819493465628548263917438\ 3141406134112577053495544452849761659359018348598638638839980837922\ 6249449981753974033263856911489911817806352897408920807/13721033320\ 9726431708523234908056101415801403973466939679582528805442197303468\ 4053457740947201356567283442796291028531835979621852282055182197090\ 36884588569099417*c_1001_12^14 + 1313124018291667230489912804097291\ 0122077628524652688930337185502128579941791461573154218347228121938\ 4106431224797912593271945913049264773072698537307094795288771513001\ 60570/1372103332097264317085232349080561014158014039734669396795825\ 2880544219730346840534577409472013565672834427962910285318359796218\ 5228205518219709036884588569099417*c_1001_12^13 + 3781604012947023370106735365250127026640087459260113236468371560943\ 4673214931511988869104261046143508530552877675331220783812961220093\ 14099996571563803714242126230263304659/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^12 - 743636644230155167549245203211121093905925218667336\ 1081825434314442907428821368034251306534808303401529202055798321381\ 379718043672844169284289358488981825010569000358481557/137210333209\ 7264317085232349080561014158014039734669396795825288054421973034684\ 0534577409472013565672834427962910285318359796218522820551821970903\ 6884588569099417*c_1001_12^11 - 46314144791267571380217437924177140\ 2856183298669768275658070798438144879406408984351535883602199698936\ 3313720426624470224805701526969763124628292433976645643208870691233\ 637/137210333209726431708523234908056101415801403973466939679582528\ 8054421973034684053457740947201356567283442796291028531835979621852\ 28205518219709036884588569099417*c_1001_12^10 + 2263720305630021995138689449159849386657129218039983789767710799164\ 8442195470234097007437170702212948860876996833855858390133021680827\ 47595063458894393374344852839017079158/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^9 + 3312236935163919849385437863927434194197665585841339\ 3325209359268860677391697831147386025922215477553955669820989678059\ 52901473715252989384877363573011855830615094043793649/1372103332097\ 2643170852323490805610141580140397346693967958252880544219730346840\ 5345774094720135656728344279629102853183597962185228205518219709036\ 884588569099417*c_1001_12^8 + 5768440056876794461618336365828914348\ 4514060084966113768076702689840906641632986631999782193746426142323\ 0306632792728314583713897359027802437324658523524687161351333619709\ /137210333209726431708523234908056101415801403973466939679582528805\ 4421973034684053457740947201356567283442796291028531835979621852282\ 05518219709036884588569099417*c_1001_12^7 - 1202188887668492357635077205431269865348605089505337723936609530616\ 9528879846694769983281296085908278844356942945665495392836334714378\ 04694705539662454905606892165832761118/1372103332097264317085232349\ 0805610141580140397346693967958252880544219730346840534577409472013\ 5656728344279629102853183597962185228205518219709036884588569099417\ *c_1001_12^6 - 6857375325401926493606766595414842692291709860914457\ 8142581475234436685712253158578758830844239451984508166914267601788\ 667262073086155426841914830934025559344651199522287/807119607116037\ 8335795484406356241259753023763145114098798972282673070429615788549\ 7514173364785680428437811546531090107998801285428356187188064139343\ 87562888201*c_1001_12^5 - 56117635278629365094289962212778865588963\ 7534337875371866728654938213289052824151957580915598120999952840607\ 758963462852303689351613016653003683638739293501440710616547978/137\ 2103332097264317085232349080561014158014039734669396795825288054421\ 9730346840534577409472013565672834427962910285318359796218522820551\ 8219709036884588569099417*c_1001_12^4 - 1698381778375728934930540242616175844762993475527214805906572160607\ 1942552322981142349823224636714797272108791210956517036352152471425\ 8795048859835269208825101817296238340/13721033320972643170852323490\ 8056101415801403973466939679582528805442197303468405345774094720135\ 656728344279629102853183597962185228205518219709036884588569099417*\ c_1001_12^3 - 19521950005194691997188018597156689543625183687524808\ 8512454080242233996576500563976958459081082928954408127635853787927\ 8190245159618660630750633014233527109129140181921/80711960711603783\ 3579548440635624125975302376314511409879897228267307042961578854975\ 1417336478568042843781154653109010799880128542835618718806413934387\ 562888201*c_1001_12^2 - 3906174110134492616392579685532663162535118\ 8135040067335507109400908152657796559062283273225528585792773939605\ 55035261243506079672423303340617399081908349812222351085110/1372103\ 3320972643170852323490805610141580140397346693967958252880544219730\ 3468405345774094720135656728344279629102853183597962185228205518219\ 709036884588569099417*c_1001_12 - 164992909549550353112118395661749\ 0440639251241165390404881061319833833561781215110378806969418012512\ 1740006443906771382917748578810733285115648482439020025102948502739\ /105546410161328024391171719160043154935231849210359184368909637542\ 6478440795910810352108420924120436371879074070021947566138170655601\ 5809093823772068045274546109, c_0011_0 - 1, c_0011_10 + 30607328658045939866252276958655929516316342561159652820183\ 1925186774182999694670854287022283139593429334593228239947857251253\ 8409369512546461172619835084/27885294905589449312982136429461977443\ 1984347774621980997838329334490100183460176278502459878053248203819\ 2791400976623919504326792400598083070299388303*c_1001_12^43 - 4687152670092301648617824200110644939103573400333842078048219596008\ 8961283633729149352806487705440159445733926728080523834643771483470\ 024009505120770131926/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 + 2627115320987620684150710324310182023606040492414227137668050373536\ 5563209525561064257696581070077415963693211107932247585172918175416\ 8752369884658053280522/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^41 - 1067920569364104423779461882441450915168065148003608130111709285911\ 9577882184138669273285643775622853815033466567490758163257703320804\ 17217837112981808320453/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^40 + 6235554363476760422205136432324101341820454807305719452092117197531\ 0287267722465575214297809879102894963745242708080354099111890438324\ 59240805517818436795133/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 - 2526300161299998561587076122229207702008807412526231029604477381984\ 4747452636513907729207236422453618656174623916383270620221291390515\ 673568838034977733995173/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^38 + 3283098454729927053316545216201534209227337460585398332606083266134\ 5985624771074832430311706121754883808185523313795725972103982187493\ 681952525527449422570752/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 + 9800477446999016501598177235773902878819916056539079267515045515025\ 7263441005165126808661437126672874171860100481542986186312825776958\ 770996803483913405862191/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 - 3682485897200561408920477277789866605052623594390698264596450089115\ 2029236141029450255423339701917318060714766040957047312325017151877\ 8418114546803749052080051/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 + 1105124870905116163606649440019303310279709179254834809798458940391\ 2204160228679388346044522361707346884869618973796593903420272912719\ 2045883980752732337489924/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^34 + 1272288130547750383708481392955240412039660881766477442207267194087\ 1987098577575110780584210802497379712969131143739127290059915839841\ 63580145859988599349277819/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^33 - 1711749279635918398187316654371996090370996693943496210971724578454\ 8388596298104322486683797234782272102670456674984485527030280737757\ 08818787053646797622292834/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^32 - 2139790640300128542637268694083522025372880023303691280048196071288\ 9476810038919322977186453414397717938989542502734247477495811173575\ 08106408663476937202387554/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^31 + 6153110617306913985205550209498870947667142840941313133253541613129\ 7702424836585853549534268341971102807643248342577429595206422216953\ 63211071027856891282080625/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 + 6620851571334076662408936816532737941862925741842419423127190267117\ 6082645754630879864069778690294213032444903974528367211233392893763\ 3687737245426177868850310/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^29 - 1345533377103660204358209728291382345022046489697098667636223123169\ 8676997935198672989062169567053062953717400571757490301457038692656\ 854247475252636920173123278/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^28 + 6171068453016430767088604280567802112467677334354775704799929973497\ 7905061857644934292669116064237966178188500595928688261729987344577\ 48967931974657795050767112/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 + 2086683582814590649323579866040999464431303573958872741319162350319\ 7972820057545232330037160391221202327392361124019481120823443999596\ 022632444692830946042908026/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^26 - 1916094203898228928455131407961195134932327504145011089091505400908\ 3912061003897244032558142378963587059853251972991366977114833184534\ 665295388852934430099143193/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^25 - 2428017093424604391606499948206697694278853731226275730147853057707\ 1514277966369518852972327635407693260922691630080758199777725066953\ 221481171020878269825733026/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^24 + 3497509442892131644447296873059375004833979704144690932676527805904\ 6510252709991826500853157207789773664093820908044636275073648076249\ 415038074887195821589289586/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^23 + 2175911127630687684468665298221170340984227802626998645434042143962\ 9870914850390522742913001140890740641180180090817631025207673781926\ 077969295882292614667724742/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^22 - 4774811939665018376476098974202267715100320452104946712470000055691\ 3749591973951742372866029961263347501700800245741406649858092963577\ 234829652194629784131588013/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 - 1540501431559267006086424578553991783987092677600870663221056125655\ 9624157434650419706981248313713687224649255786435793566631911917141\ 561999279742971652153748993/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^20 + 5296157021875633317733830454433575641518559448133639817325874681710\ 1250460879408276696938186423039941403741674904387365863109519797804\ 742544953494611058237850611/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 + 9544242715186404761479111650903637831583117789665732062507417930386\ 5105725891165613346501319999964374519226174323795894184809367483696\ 20774874118201151380169847/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 - 4980429058258642999647367977441442920020297832794639210987564473722\ 2157042429629333431704877110154901343782398097018592809146257172927\ 278548867331462931686972739/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 - 7160252439688850800876075029767864842920302713582079892340302860879\ 4955102176139123640173809733768993889107386374073824040187897752368\ 95624701756035101561205031/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 + 4066558821109146926702542416089164975529771119147373552291232784080\ 4162824795522365930600386030422036128964559967088856358907810095775\ 202455683790143108940185722/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^15 + 8429526367446214514336230150351690883980886507708789026506047490255\ 9422157819438167108643505691527379329049561093288638345411710022852\ 58472098004266626511819542/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^14 - 2843085119315351223406877062821340681012747997206811008596200055800\ 2350953957721928958685263269508241953367668339411442842028295494129\ 130147413769819722752817714/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^13 - 1083281655904166790230338847567471647667248121315344563824562577010\ 2706969333639881069491190787337036115945023656912299449990006946350\ 961461869267919075198826536/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^12 + 1565833258421317100443399500335869911703173130180524241497978679045\ 4386540531462317842367473166672141652903023160267355417339374250452\ 055090453999085445877215282/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^11 + 1142884716357188668678403608191885472158223332380674174088904669593\ 5963744763012012809760844821429157489607682662949688101603963819774\ 311236480333876417918765849/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^10 - 4259065555544464763628589647617719086583039492631814485007834998632\ 2648377557048618098970225963937687475597641007114838379590587002858\ 62159346951575967086065679/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 - 7617666035001269529482275628164150047778314855278565702442179331084\ 6477839234740630892905078080719469720591971565112675702109587813897\ 94470362402943032284814078/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 - 1718285961454777640274862386881556138413800853062183550483511685423\ 2597924866736827284063614072296078872465858301252777678639039031604\ 12623071607884475103638831/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^7 + 2558099196049182562832272358462248265126137918181622452603232111029\ 7422935399190767795791598235476826995588196100443346935423008307626\ 48626811241007562484431412/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^6 + 2676964552173843855123002998834499746076498051951736518172654988434\ 6035379349576179045281649597036457038114475368597236494125491539961\ 36493484118163358043116510/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^5 + 1333846605999183699818768480998280111063577537567597458331906039578\ 2109183019021600384012971367886189715870647767931472619559301080256\ 68357859130003125585982216/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^4 + 4141671579989098958506014480267335717431999007786414262663164740229\ 1685567947894452138383528007496518279616103662110774971919051845185\ 8281141882847361343098934/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^3 + 8278366212881923199644515330309648018719949014716357403991292916908\ 0925476480417279120831095725384429530116736151837795969403437096491\ 599604434939244172584909/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 + 9962192052765348365026863352464135011514367019087474607430248684540\ 2782682980578602147393841709712306132103401387696106334674734297504\ 81809266313362081903237/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 + 5602465954199343478874976579741181088214274895394379740288850466230\ 6563199281083487797108369474547682338648030472022595711533126357312\ 6294152082232412025553/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_0011_11 - 13116362897975733319148368301738267846738107026855562078632\ 0960399649025583457305229553586909487500169259160716085416586555283\ 5436796121723495958629796579/27885294905589449312982136429461977443\ 1984347774621980997838329334490100183460176278502459878053248203819\ 2791400976623919504326792400598083070299388303*c_1001_12^43 + 2024675946514543233373528418581614173865189319002511243431414399346\ 6771544750584049059667835487086076809105981406005767763545562910600\ 579791089048848956273/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 - 1151547635770452830512591226450511222986261174578364497436581659921\ 9658594928056597103492460415386589945006237622750032480159188643867\ 9997347957399579705551/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^41 + 4732555681025888578383869448629682736626970794529241698848554215835\ 7281769675298661404246961816765908251406930787054309942903043900104\ 4689384249999184125019/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 - 2739312878537359304877623277509140070271007627404958802159756371820\ 2065253255069822870307590210159412985577394579633478513020916544842\ 01214377978876715141498/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 + 1120119056243345438821487704360519328398472718057943847240556731978\ 6484876627967704591006975722525357229861947329601113636127652549394\ 925229321352932975039983/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^38 - 1566208341640628572520141439900623939662892236750546398763220759178\ 3354988861937981419197073459386583644574876031135024744070862847767\ 431307297882196797655189/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 - 3913963132098561286375365677227365116630756315396690683517009563742\ 4492635744016119449380680943898522572072974670402896403588416297985\ 676448178737815550940962/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 + 1608945722698452946722420191361291192583469817058575050768334524216\ 4459723302176959782000668345254009885250484633072178690561550379979\ 1208542140252924604660440/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 - 6881074237277386372495183020046500665614002775106159355224982378347\ 9953249820672613892338416218242501140750297978318303343172068398473\ 239971159899763825466898/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 - 5242018759652051926342069748145778283702668209670017603032954689053\ 2282452189838173834722109270997420918983540192347724338277850929156\ 8220012694570873994204051/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 + 7850863417743827644072992208296387227745961941782986984073359650371\ 6596248380757130707447290578134367144931965307647486490377734970069\ 6489233292320750500994508/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 + 7911148370530523220922710837757158906884786806875850517915594689409\ 5344025193014395485745534993736441216856545440928587207077683082145\ 6403925622139931134416839/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 - 2659466151772229239263086361422001501564505136015090816426856288601\ 9749195475413736593903327007032883716348206403906637224702124441251\ 24820006591996786757691987/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 + 5315845409763747024748409362796639159655627989457121571266798863803\ 1454994911745234701116282027435759596678254949198847850344448611888\ 166472381567787897863679/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^29 + 5563031927198849126799259126197944084498892016747878023695453439637\ 9929333011406791234078010604075425777356158389151338680293162660267\ 44186420389806332643869001/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 - 3202631264316572554409949768813044666334091766742860359837042578116\ 2292891212285400332474201138509845801963448825481156849268688846198\ 52386535787536983406306799/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 - 8228223515677604250966010586974812493850490239812812060579778655701\ 6425185636078642109384989370934037163840946920402940477719462731867\ 49104849750255942293528323/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^26 + 8796089733964414045913082821434511605172776793237706738458568856282\ 6659202100258887230320555878695014350994487111236661175811046458366\ 43184736487052762895165330/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^25 + 8997279176378644479325467422989013888701493042072754341358338238088\ 4842895935764267483395112792501140609731184600385481864383039039361\ 42446394572135828737470124/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^24 - 1526506663556233175972344717513426978975800422560676767185543279852\ 0947994804177767213070324905312726599715441295891339358842964235522\ 061331293238478963931773472/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^23 - 7311492252312336388619298444037505205296196005960499001634616646054\ 5265822120141105167585717378841343331182086790332119638576939672919\ 13116184502063439782541436/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 + 2018609105463021370792533852886566086667544845374621455491444533760\ 4251267818499764838223663111244524898381755340326353286007103388636\ 425227185361110852297458918/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 + 4311757632652013129615361789237908829871048280444029314435505592400\ 6673665441611251804395287406327113268466930611910553091443329536457\ 98771743905716694613626060/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^20 - 2189958769821214133266263106721761811952298785166765489558813748057\ 8089580496260586036770206362533129318145571841205711823908154151554\ 790356953429783015701774309/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 - 1892545809072909303464595637383781455359677188113938288967593840304\ 4912996409391356385631674652074194373697311147548258035212753741071\ 57557121725105094217339427/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 + 2030937505669311255983947542464451450641839578488371246405613316717\ 6479724057916260746037525600477886251341034984381388303206834729533\ 021348971911452018942794286/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 + 1199455358401356625235761796208958340669059223878681157347028286475\ 0836490583322583988722617421701962534874106176096256829255558644310\ 55424620892904012002347814/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 - 1650023223770718184584742391050836935123767249419833630693377074545\ 1133961968351345901456586001023720641383509553589453020037401884518\ 809320359951017671491027990/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^15 - 2142703128575706623741145370687107152876309885416586869476306707875\ 2839879680292119768914289158775037736396179538822977035958365490582\ 44632279959661572696560776/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^14 + 1160221433742614041268421679097559944047537387486734121949424903802\ 3111050057428528049122252018477848902492123654407938191443516589131\ 195374827753889467061437608/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^13 + 3567959988336114683836615992411393110771689720889136210037477545698\ 2707210315198420317172411584227534301748816445937491516418956432377\ 62437171827571511965749423/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 - 6528929200928287757407819882192470400495569423772379023118242657166\ 5881936123030127050123808997922716692746899069556495057324654867880\ 35099116180392487906631717/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 - 4209234882326048094246704479447160343037632617049970110413767185248\ 3101437625082976313529159501840074329408416042823419252248157720124\ 06773960350139438262709936/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 + 1942953041877169215858098149350848037573063357633107064159363119976\ 5708486671773417698011807945630562335587116745537104159514648324956\ 17053965877636577934930019/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 + 2961521174679143990401243455743598475207007135811314106829748292918\ 1346014983035074688441284219001386728461652276936439401399113556789\ 07321877159052777843474461/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 + 5496275352900232883494263634782216955614817700125453360567263314461\ 3732641368007532796829269683709695767449107213737173322391488205402\ 6168845575156684226401426/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^7 - 1056526695371754436328204314634908462404172102917898291032783520196\ 3105547408167738279382616001741177238370159960006467290831595084234\ 33613773920093880567102979/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^6 - 1041469596535110669599047426948003705331222472782519807349074205851\ 5652298513022784090856198557645677242019631932995313202944009960639\ 23816487604828376527888039/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^5 - 5052732758517812550542877227193425555171159810088167500008788417680\ 6692265522914613071636650569801433052711041039058247696566147649111\ 2770925784182289317684671/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 - 1538453225381535866319923782127691928187586256746085620294659054787\ 5827851883543033811234809840954498569370679623018251991847350312373\ 1018849163463817540222716/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^3 - 3022995704543003248904075919317095284217993375874836740065558209563\ 3114876120525764410417176195224560922789985180288483234585112658946\ 127816073083680811851745/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 - 3578511723792528542709393734478578057086612738890020819624921270472\ 9248742471962081162925004122730739845684018760858224778120589467373\ 87348478329548172014436/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 - 1977954736614932840194185501873911808383371729242980603296062431865\ 6332427705127720505400447004484850492158666832803723608644394047425\ 6518774412598442510568/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_0011_3 - 472842292216553933781651593890946194129027748656121062439245\ 8886149006158795804876165133148847778743486073516106278333344723132\ 11607609569034614002460370/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^43 + 7244889174154759278484011211686417782607714994054045604855510534083\ 6574153978227028281007628063474877629723403315460010578075785702306\ 28909720597233623075/2788529490558944931298213642946197744319843477\ 7462198099783832933449010018346017627850245987805324820381927914009\ 76623919504326792400598083070299388303*c_1001_12^42 - 4063802459474839109815202790990873769413376640749972147558126273308\ 6918800745489746885478295590153740118574623046112373236663773241018\ 577099951503099025325/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^41 + 1652006076661181885437616333715347778396334729660514025980762339687\ 1539315300884348852103400628754526046082661483605841153009636239017\ 9846995521324460341491/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 - 9639342211573913517743756364893819584433035092690461564702844415404\ 0450658932083945292761343477404021361423791810208836356272319086746\ 2875910187830107628787/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^39 + 3907382916296391898688407571814335374460423626061841717628900115275\ 3432854233111279808778201168758717644450794781017717469690180062335\ 00308068097881386995976/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^38 - 5086098901316977520518496569948317715037485961677946866583382588600\ 6627041245441103883326008788270979649552242782099000300485626169024\ 83185801586660233306366/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^37 - 1517724011032411395693709749506377675519289060590682690819922637800\ 3181120913716973481853790874104739348916864332148958549328533336297\ 860921705148734216762265/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 + 5718686724188942152966063390565444588741031934463803510680848535187\ 8172205392058143457746134750618240732928770410732669159310354580960\ 294022547697701932903488/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^35 - 1752722095756440679064188161618216367687810553851200588014554873476\ 4876941731964131155110866956579211712286639146350710213974765847968\ 991470746094297675649589/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 - 1973398889559518828948768822761858728040026396627994401842842078431\ 4146921986280878816763158217379930272074109871967948588228757891905\ 4830903373242484883341952/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 + 2676260477083673168958676250849988296468441008970813229968522459519\ 4281278689692185641302798998234895537974212763067560600062920340220\ 0259062932460653221440497/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 + 3295126118255807464413410993665965065963005681777998266767573487980\ 7345542461158815475848266352863348652619715918450375972154445206564\ 4547799373499743004828772/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 - 9596436178696940932837461149340543997756162088312769869037229272872\ 2136680202428235220412811326533540945604000065928999377547853518989\ 5431826423315181018683108/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^30 - 9077711021575474988402964129120421306976424375589656264386630130388\ 4989605487184809135378281197708677745458786856962967194532765859461\ 482609461847089241009890/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^29 + 2091850160605419731442109929384619909125972902758401848077958232674\ 0425639241534625666839224600940841973897009764070151238197709023325\ 49239082167343773128388904/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 - 9889848576811970722364721701072549949250266500141177166538081843435\ 4255099181371964990679571595589199891816053636224556780166858705925\ 5936762311502844696046715/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^27 - 3227103230474230631134756261993748984839911954425508115532746094617\ 2229361919117874892889896601604420064549580046846031724946877628465\ 26156394608654879670148688/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^26 + 3028408591132526909315787207829411883175008202100204799930220912724\ 8183156138322163664334340855097460208230993623597048373624115755658\ 23986490567908651685906181/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^25 + 3721027378678965891625463861526810747783309554643305296901821138356\ 5126418982690088185645421735267548401872301591221974375480490586803\ 59786676836207106136757583/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^24 - 5496145973943529871327621993064446226506504447833227414184180945775\ 6421775183970837553942770939496844607349588537905779954807534201842\ 62752537189872734123556129/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^23 - 3279890616658145459403182087267260024448340610944520602276935843140\ 8921475389064655259646631259560968798157954314516163813932972632431\ 01989291076837162900912015/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 + 7471098257322557232642546380892901329128892407317102031862730348138\ 1163967152002383484454815843678436239565076750887948281890588936434\ 96218529395285659844119110/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^21 + 2249333662464441743297584547553949883864019896975464263527103091814\ 3926816703562843112882182637052980305182126996498319221487092040672\ 97712560719636799323814828/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^20 - 8255958190802181168604856127955857584491511367843821851972645461071\ 3424301733155106033204774614580135698173429656069942463407464720503\ 06796264410802172892743481/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^19 - 1319004941928898227652198052145519302812073226274542114188892102101\ 5415381678415564089812351883615115910460904287644345602223707957553\ 36638784837552970106358505/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 + 7740785561770561943021917953752787972078637988841001391308984327893\ 8951993163800353897694267042499257849634251448908233560677087249234\ 19977677672751555342543147/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^17 + 9566319967832443205225930868637728781810801664786761849790138147919\ 3273854816153293639493715346104843683990832979328214225760655361591\ 2246432662621111632411328/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^16 - 6310259797923056736075933601172127620808329168663861472474922025480\ 4016239082281693349801128178914522239617501707971770126275748050756\ 67502754666313076731046523/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^15 - 1181062730770948621816368022302203788412901641820909404421178330111\ 0697563991609378452495220722001241790476853616724564853597255964719\ 76607655484645639625149095/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^14 + 4415223316132546749443784527785889592682819677236466978022120966440\ 5293428846147556986047891116883765630978339124779789477905546098087\ 44675757079110896640063578/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^13 + 1590332428594968568499518253666096797649217329087054633379706122883\ 0187631369363904422184564839901808344905456673683094266767474990000\ 79929546784851893260759429/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 - 2444689658117365354519045534018571712166674896418203857219197481780\ 0300910544584101573255897746092252163417660811728638650831366172933\ 37895109156850048984064030/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 - 1719877933432898654515271910777931888872264693475328468707679841029\ 5561811549317672694318355572051932247343091978861910244187228693059\ 25618984985508255717443067/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 + 6844996531778953558523173224440356986282688279788917810430815634925\ 5893879682147685354736145657657426465465746483001171654412500317545\ 6201824580524061316739758/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^9 + 1162138830772037435048009451526752330179168605328425426367800294078\ 8357819724433435045097014996239091664871854973299989632304098408350\ 67661154805184713392579633/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 + 2472601527384883471303414302450606034552822325150069199603412596829\ 3567520108362357396114500934717740596386106032513537799692203128662\ 4353824867134293019522683/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^7 - 3970477276594400005591158028471399910403092810693825088783932506501\ 4717398949100393171673838823845189877597641063798931147563460526715\ 0105359078135564461134249/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^6 - 4068954401724468771453853638512452243372476508941980589997787950553\ 7238576826580684309542959957707898689148362614501552471989068499804\ 3679993846305734965764480/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^5 - 2006650217667845746726967881094996048529111412243662747798585759473\ 5394917234141805351798045284630642600545247064234003338162616158228\ 3628496841015074963988124/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 - 6179241610164763046991631460148860680610553605372472380246967956329\ 7602109528848803592968099857941129776581758442646299523498430312220\ 076675421463997451770621/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^3 - 1225483604960890854177266007611530883077754735876141160542850245048\ 6584544896568148953199077601108217262272190291530803517998529427778\ 867139021681501890931169/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 - 1462873679955145361998788597102900961117699744674179626023299405901\ 7229341572745108420615463450063945000537987522850493456122314438491\ 18516990114402801713974/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 - 8152224959552520328779666175740445923793458601566674309242836492846\ 9180682880229123858603647255942923425723079775448893182363249728057\ 097792584521283633230/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303, c_0011_4 + 277866943268937764581194036037723384252569285697216329591222\ 7381919202777952046500665755227924884384034925629326467983310889500\ 970467915248221140764119023/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^43 - 4298917356009052128457865986708095485196118842206144591002319526158\ 7607071720477177115146184189557195142098430989163887483046390582101\ 283911624163849908671/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 + 2455122512212157013741650216556025546448641840839616627889294976302\ 1830228728986318104735325783754383026744807432524537387528857202469\ 1172320655326048091145/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^41 - 1012119269416649495911682630901944942291338955711597119184566614580\ 9499951614160482039397304678445782735515220224289897842959246297821\ 55769968666864157055432/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^40 + 5844479633883243578739596177334136389629224715301554726231739875723\ 9691637795923763372540193001813991000417214953248417817995906526755\ 95432947082136772065739/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 - 2395945163817356188122295433018674810006300923510425058864911072660\ 3372968316823768659295102641950016616599874575048970790338445769011\ 033988951066828247115416/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^38 + 3416055841956705535979316521637029135100574123997553548929874197020\ 9849900874151420362448581532594374864201594911477470056613300787543\ 930157531997564819559435/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 + 8110348769395792190935933094652501014086333423692321860791532203144\ 8967278580514345057843174736517649414813435401330321635393708117059\ 276379624858214387383764/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 - 3425064541723914223170505446080931011081215757866083082450467676220\ 4312089060016043990438678416356870848429480895834661911865087485237\ 3997344953519814627358999/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 + 1586678591795533177050603070807600989067272652743082251409721579489\ 4271957267224729801614744943550800839980252539309247485081627998450\ 5952470272985222731261485/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^34 + 1096872623064660777796815927589168482624079124629002738929010355785\ 1810024452938805156830474061017768264912953586966226097945271556303\ 53290001341127542315147948/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^33 - 1692353039058832822383423897461851026907944595368773580843968812148\ 9272909163374674840306559157114758027244223614562158172319812437802\ 63557125634956832398467737/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^32 - 1599462068373182505973165845862506392976395949015021958450565053924\ 8492294712735628419996121734138898762276373105335954069737698380151\ 73046530695819214720466366/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^31 + 5640910983420819855679575982302819586475440439159467158686686423642\ 7758122330217085232818196991267274877334034149347806591213355861039\ 63936879622493646562638896/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 - 3099172813415677883750064514611728518127349984499202456140248946890\ 4748632668196748879154133390241927353487303357940545058965442746728\ 5891895347571396182933762/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^29 - 1165179377070413023297982408353720290634996252290543381180448975921\ 3139408998366091950917138340556356077770833665225017429144652328302\ 997761171603165415062482588/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^28 + 7098894953431302989571184527227188522678977412472761598726536452590\ 5748129922965326354501782313887256118829685727500146664394735343843\ 93623407605045170872517172/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 + 1699614320953501575301294458151766601783624689852952245390928323508\ 6357846094738716471232684196157415057771083161727680650117186415578\ 036404932341542617358407020/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^26 - 1894309594195300727987400241948576500068710495320782691668119243023\ 7725619749847217170071645466979732964513533281038047657756639038949\ 827202520321402239978510486/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^25 - 1823107256631879185033991665517191861056555685772261263750141137864\ 1289034537278963211849504318974312773792956549035301243094422994123\ 776355018968124593039068414/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^24 + 3244911662787930763024732167809085564684203260319226917007146773822\ 7459018720265791043413363025498873325435785035407411766407835740762\ 183452170288487506404022699/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^23 + 1433039457155899506057806377656020993625645955814589731515797511204\ 8099789014960960694883668633289287323157349905622781655976324563054\ 224066688417607279467271322/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^22 - 4254782735846659784752890706250207011541184408345812422214414169098\ 0267968384519289596188108435961415042215205967543814457304608689115\ 865578072498441933673282455/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 - 7838611406175930343706158675964462906835885950006955686012671953044\ 2516607108508503067822685872866456571351756086259542632619341699873\ 96494666007682237442019081/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^20 + 4588624414770202964143530548841951349770887072252337649820333785081\ 7832797123073440590174651984175522261573155259305375421918615898009\ 192228063224184515538785059/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 + 2779366725383277239662547056117967101964589142826668108826074831130\ 5359355776541686238316855314109451473262271909238682964298845402358\ 86972418061861682576728625/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 - 4239741733869223466541443092988523371058782522363537207537114613478\ 1224985003799409676608343845623416753825025273985255832899274735495\ 967034703043911310163247750/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 - 1498970079731281703918139109918497719702083866414718797977800896149\ 3394127889486545358679007329769216326691739870330947338898095541656\ 19140755810182000559726732/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 + 3440436305524650784556895913600041059048956183495280913722537458489\ 8154211104015956548367480304272420558245065261812118775526016323724\ 236032442540435951869600343/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^15 + 3717110899619642971239090821750094960295847652903955054120961813062\ 1916582221126375257038336946884877315620766656361694281572525256990\ 16703170441351705452938665/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^14 - 2423558966143987586959726161941691218312665055132225337553895886873\ 2567323131917287510181342936420807205606786163208175558834897283041\ 965096793457399158641864669/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^13 - 6952826572576265209363253381317677225549016358753220892974342301283\ 8278301282441524771653185555728208445984680846315312472655885734571\ 89008199231463165350441067/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 + 1372274668932346445500317054185400612370124982844210607257829578394\ 6800298788515967135779074546418422299276597282015325685418323666690\ 880931658767551740709553695/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^11 + 8525442656624791919338510610185257696921708519722629539251493797604\ 8982748592646544311322581477116940041494801796395459531731134255265\ 44695002313300157703325392/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 - 4182236706418584197370236870086389930818782332181608416258873060176\ 7028581974571146576278011525256699994518550532244949099673473274653\ 16538534735977846340209430/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 - 6100571657927413174605574224792232762671815334469499331589567322648\ 6501776624256880033143939212100112412896691968326597385331979064316\ 90212671158673467272510824/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 - 1057127009834085196505904207495841550753020882390151971096513934705\ 7039041903039845046927576383115390820437972046576264702303620569718\ 32892996401466379678075595/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^7 + 2215580528089204368349015314966488124245170976561538174072831120226\ 0251412507819335466036307689196636010509498518879752025716268006249\ 77734401713206350896354250/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^6 + 2145202771933493407442480881703891027740982795272831534154243166822\ 1360903499807636845057177868405342772842721304092886665369503536990\ 20676340900820285702379642/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^5 + 1031725313814450872155170767177452485617144798503683418136436867854\ 0225814011751228940188794241238112335631190899157563949409625144307\ 38699156700208392418011971/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^4 + 3119964624371766463318661445297417290792012569413964406448626576678\ 1701731982415116667177698917777189072448165235862640130222945977915\ 5506348104959614615165183/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^3 + 6091720199908140510161766965709571682597715957299742765780362784158\ 0639443599865077202821299764187882263797437904208971276805377066930\ 298485780628188081755300/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 + 7163918614834412310388806378046308626131114408766079409764756717358\ 2810145155753079744427249046146293235724174752565691040572929860350\ 23012643201536317596820/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 + 3929847899818365996845941010815755725361084218843804725727384617914\ 3506381475152129223012132903588190910044620231891363914263527050936\ 0506952253398625484617/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_0101_0 - 859256837835453537775391317745562891309299760935399756971957\ 2992847049572123955133137122264565025496619835569325278432618101169\ 60607441080511697847150336/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^43 + 1338509189848465683992524014033888350587793381676369885753490054437\ 7786453352241875671415548474201653452648270716993240903754763356438\ 635752285952016500766/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 - 7740937709462915685702605752469998842790423825911698711316082211495\ 0806235288807672701017180002983999477013520288623605061631561822595\ 367859926111514180689/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^41 + 3222668616323010195920287639709254232507404060576567796874736575392\ 7200165403879302399833011807309834215384278672358928488238510419414\ 7274611841245399657595/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 - 1848086504025409933341331193761078186836547721675716745361153538414\ 8829366321690494211520611726157620557754582907670238463196703437442\ 07173154308175641536105/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 + 7633995063246286259105680809530281273882927558463679061112505586407\ 2956483853202136729745477683903264347148271369317973471443553156552\ 64356695004280959348337/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^38 - 1153259295505985898526035286085690900813874420676738012704590853166\ 3132128091529040733508233478834109920885230648028200272600837764646\ 041289511500811751052599/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 - 2318029511779274201390947856949263152329082977238766625397728812357\ 3651945677120141658319661538979624922797145611855563064001711011866\ 606524468424685939936074/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 + 1070977045291962141388563482179924642902759687830703409190933181181\ 5510500274148553249894194403136288168815028222764610791025819492457\ 0486883720484778664807501/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 - 6143921662805980986735746603890882123462886594027706340798093992568\ 6759547492892489929937813050692576912297265128959003870063053149430\ 042327587161469055091867/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 - 3238962396360036822103122893132868353823524396766102685677911080277\ 7289183199991051289451716246162201947577896157619778723300695348775\ 7874141716280850088832193/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 + 5477107909948097594874846362461780458665621227239320620080469744989\ 0606505757112902687614796014684605103813429289618906993170247750223\ 8108010716289321372750104/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 + 4178194417161492178042605889065735963699161081021599293845464581417\ 6101140820307649380424072396496857835829424983799572851688897917228\ 1752414187640418262848113/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 - 1735391214279981726520041736973215081845434104915262677086129753772\ 3889543043043816875355717180981739664061826034603686142109208773847\ 93169667766924591874581789/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 + 2792188108489786684547038784146898228631065491890922362574944840728\ 3206782823917769290083970976071923779023009351615923145908311005478\ 7159530714401965688914011/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^29 + 3440911519726029059081565639529344169865654327094728163311206099314\ 8311111404616384176055615171352310497941181475534108278233057604263\ 83338235104758067204695061/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 - 2456645915498704767808741386617969299680099904013883498126560734273\ 3054838876963052329744267758904665684806101093796041436145834835016\ 82124066963152127436481596/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 - 4795167634665900507086427122348773007791321599156410216195546375592\ 3316007429095049152706213322255513025793645765281485712416882775663\ 46062514431126348371895318/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^26 + 6052359287993726119543332345352510476488763300523951399032877001927\ 1179636596271397960974428944405988686065850110988626003495841258265\ 73609774564571565682839706/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^25 + 4823323426994759355669844378738041217602247663164482195681370423180\ 6325572623292061311513483924118343765271007888862418289567166406248\ 68272239918874805862688340/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^24 - 9970075000238771443050625470294990470567953479118542277559912386378\ 3496502084849187621946578045699749849661241661453258614355078991147\ 74833808260936726607378444/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^23 - 3366011270668657360065205980445884867754082697849749211231158447880\ 9242289881034070630851832067858328101550106949252377379754797236987\ 85497166713187553999347796/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 + 1273737895897219568296949411725900565092413028667875269429507362270\ 2251529359673411250912252292126754902020244193358637416037321504641\ 560571273716019534548136383/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 + 1308949899812440279371128288551586851642841338649057465371532434146\ 7583520535275593388155887816812172294904594436115892189964556379802\ 32492077661164438996924370/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^20 - 1349115895069128208753677175220997656148335031584590672200627257013\ 9974172872193660963958240740844945118005951619855154094604953117422\ 741526314942597585386668413/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 + 1323489536867610575773954336100266803392753154529303828949676130600\ 4350806382631223821193938358703623837067158433073756680361273791774\ 3997090718383752418769045/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^18 + 1233130627264239368656883532166691014687398914033927755331898905226\ 9757195966841516071953917053106366123311098568834091216323150030778\ 305886490378687814556424821/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 - 3344788478248153563161544261614915069844662155115091947736999891817\ 2126649015188643336228539261114481579198000235121371712713801102367\ 8129624472559187558663029/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^16 - 9975285914846464264872239492432071278692910466833289863508977961882\ 0338857193942570663797503286235389697552142930482322889044334675594\ 06272521504425517433163229/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^15 - 5320188155709508115426289827949852672240604028116705482536341267918\ 6245099086397527636173760451589802776170072468719334078204412931738\ 0496886100754350511450294/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^14 + 7062510957474042170061185047700656287449457980826514345831808609807\ 7419193495732521365890334453206254170284468555594371450129411262153\ 48720524274502269375986013/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^13 + 1685070845782612160646834196391944915974908029182721596674862581107\ 8476604930858343613167443000022727589345720613376145692883379800129\ 61621254908043487755724179/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 - 4059212643369875843486328178228866243852671330270510496201698507443\ 9953914350039573049412465505604748928454735348679327827158906793011\ 90167141942433027550664686/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 - 2318594463493195201175666207545172480307418059295076021464890019170\ 0876564662928367190974575711539911510772914544887411356772320181170\ 66281646717994762113275830/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 + 1297277287998248704362668888416158217071016926089590119682148143616\ 2159439096698712019227048935295272480969107866444845298467307808363\ 09973763427831515507080199/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 + 1732186665192044715585791207728344504241876092296850614902787550018\ 0802798748756306311865646382280435505593127217051804337353241641871\ 43690137802855102755490968/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 + 2565970524881032977780515506225253607278942849579187264672375910522\ 7594354564306191809242870305373336905544503495632817260330044916740\ 6755045074224448049950627/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^7 - 6546396880370282720622867364984678527937220340824177058598587343407\ 3867928991079094555224300595036273486358170214799179712375681483734\ 8575574104012716870841344/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^6 - 6138088853454859709977821340226733963076792067426193259732785723121\ 7624084918321311398117360995096039472584268851729772694659500021137\ 7271117322603422159798120/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^5 - 2913239069510603333221432039568546354693184374331961759539718068795\ 4455216573925881518835362035681457890713949896526466914240989077784\ 7389591199774531617379005/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 - 8735796547924264564556066510617668877005614515759707278177424452389\ 4497650930745356075358675262164426817958297043700043069563083327015\ 833867665058314730506352/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^3 - 1695248012301648857057657424864030634168578003132255234668029142673\ 2177446889087409205320394691849907119544267513798127688560997805919\ 271286494488455597692084/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 - 1984442933968671417607317235662183708331828771015533390572187415842\ 3751023487567846603417321852515320851769430046888174801877180887825\ 75337490971637473993426/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 - 1085130008113948339137599033509104561032632920843300987325408882991\ 3189688182396321199796498418503720810530921197723192326894124260618\ 1737848216671900825436/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_0101_11 - 67720695088653765822248543527333566097692954407825676845150\ 7503093807141389747249760389275885066724884153340937524705784786577\ 816102905285339778620623128/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^43 + 1058273940200143650570847391153216407323821575884824024295545642749\ 6592713747537904903119868617699442306209760249296674813034339588796\ 766063755982125741455/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 - 6149891148524950667373100011081042677294706911781477511364248851034\ 8326486233089232535882736450800559086693241417674665667683027951545\ 801560575497118972721/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^41 + 2564655911362388022319783360051950231475123236801242508637589918884\ 5494058314148372720983590915535207397944860161031565357529176624992\ 1284341333262988293036/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 - 1465515540028995745408704657640143296740615641133011061120162629452\ 8170308898814805900389359084978380752051881591920355341153246474319\ 83585759790494821216876/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 + 6072263596199964668469338763993264489254039312918900845396772262212\ 0570185909006847680351612484933938766012254331126368792010066676313\ 49046751809027677815511/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^38 - 9298561012291253286405935877570938297240919094820095764536417651965\ 5985138074467853785364826282236379275975640533961085898461827990654\ 44080908419129445536670/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^37 - 1821121516354576834090990431095195288003587406317804669897198528710\ 5928511336651910207110561152005176629644835486257926083914368927752\ 383020265874600554626501/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 + 8620312883951135672046583913406619006986190648026056109630226018663\ 5921420455541894531261078780001672660923555061854123757025508843967\ 765233910968081147930765/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^35 - 5265520179205911960372043385786484645213498343348114578387443180362\ 2132665657713764150014381909436976472052551937852444290280534621505\ 365231471327931178366677/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 - 2573604635046749917950833787401861856632835123316111881777128842715\ 4748676281739729033691626361969652655648183329260465232961137040587\ 4591375239475382307036024/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 + 4524093467794565057310030830798205418856606999744169524507290586673\ 5261329991570617907053805846101435427555225036202163717821207762404\ 3268941330727371250149713/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 + 3124368453448553491736566769490325715130007828643948013272292831643\ 9833326750635080522473593089014444406589176047422502375450012241737\ 9404125298695396007616069/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 - 1415218046188136294113571137887438264408187783680375616031632932198\ 5698758007374188823918740928829906626933753233481296476058453871342\ 78628569502507964516356007/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 + 3087997302005050070608927384400542322982981262381427742832066831811\ 9307333214166978980104651120938660899841166833842835119926800671773\ 6520067000134350216697834/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^29 + 2758573134882245636005918205662928059665573309164203932720873945580\ 8544012251455906648233487838962944833748417040044013646481394207641\ 54991972290647463280959956/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 - 2165515310066597572991578566085917746196161131691836930495406945076\ 1517979632449585710386954432929523047364577956746895000557066428890\ 33257277746850974183435674/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 - 3729205149718069160558303647026585701584161051367073532870078043277\ 5147115848413800054760019833553207356331417990871338481895710868043\ 11694562942686113855895772/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^26 + 5163164251522070981237397341456556222779108934742407040037719316591\ 2306424409948535677570662720845566053931602663511686865567480390700\ 37575532251644425230906204/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^25 + 3520472447913075244938696554964638933565887885756856507103699371010\ 4281256612284577420316802467686190341603945668226814876494369512752\ 49699441969535409625018270/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^24 - 8342382665581615785243563941264842744193971116913516100688675247575\ 5507264176432574042714350936163947428092964673091232877005309367435\ 69827773841840631677851718/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^23 - 2060144617707940095267737787777902705003170977888630202896086266271\ 7227583624072693761261751691320635372885078234506451573340848094884\ 01082050960151769376253749/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 + 1047812051066957855411524732166774741407738895727947916116127968706\ 4460967403899771542882868546001744776862295239361912556929169063110\ 224779603252745253878483902/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 + 1730116295813792421449249813324826158517718884025873778969866816120\ 2972890836581793599500405790109469783411807167613997363209638477729\ 7455623436000582446453396/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^20 - 1092114110895193023869021863100042887541334863075327815283505605217\ 8957551556890415778001232234679230017289002554519622586134506635616\ 896017511182659538633503601/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 + 1075149622431230405688162214772874285484649359919117653122084951368\ 0756895214385994953697286658116872573770348858948127532475504428512\ 62877715839273837612240794/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 + 9850025287976375973185843827283836402467370422903545107769209801097\ 9600403093617112747698534529769674488278634802224524984235184592624\ 75478812674608868268533023/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^17 - 1173179896320508282091070969031133054969152830217016872016359799325\ 3342930856815542753184606770837827536964380920601934411881156974099\ 26990251618072120258164593/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 - 7911937629569996841540208797417633596272702906781739446239397960397\ 1484727015937335060747063070538086696551749520736767711277097037505\ 47422356821553091509428020/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^15 + 3129499215086452053505590217620888967656897584372515363379230092871\ 0334256049313656734475692076156782266303483237002588985246858818974\ 8739852846699215473087377/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^14 + 5625025618922897014468200417677281969125988382352350621444134388131\ 3339269399095461995147648754096873821174541397623927693241813983080\ 22477077468043071203401530/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^13 + 8195596084825788244001186986919578521745315944031992574405415031011\ 8414064488585015071323111544509400974073966762534560097893961285399\ 0433038231687475330835729/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^12 - 3308756731357076109923926928533932891093707172619414868286582896442\ 2768439924179249096059423477809820180410788744227995296644013009541\ 64085915843026013287720537/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 - 1538905548084359730134036406286672727759767697657234112933507958946\ 5694052605420229820566369962084970365901454572239951216548174101975\ 56503683038570536504812525/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 + 1164005030953317087579813290651906642304744609417014946530264535381\ 5460230216985336711082839704239918148559108817817726557804431143554\ 42373867933097281590433578/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 + 1265099415238800271516508938849608422611422429675792740562250758578\ 5386829917851364620272447003690643167828955922639079581610583481262\ 41518319192687250705236283/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 + 9537163909787731969193774251679854185599784365808999388029990344990\ 0282091769230549794427692971051165588312362595896579487361179147524\ 416581301849372811524729/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^7 - 5215479563434182649650054110133977070535254002462835087171384587511\ 5500515016841230821900758492108525704003835129728437724376352844089\ 6866299525082191933438980/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^6 - 4412377026060370515277534967128512092840546751201569060962075746342\ 1577368483419649393174671172724650515804364866313557041620749807044\ 6260447096310619019764400/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^5 - 1968564629237363642713227554037385701646922905158983223530945833218\ 3923027961871075193279629396920731819703688176354360664445434004527\ 7367361585895946831283326/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 - 5583592813811820210443083844984879940452446793693899495998951630329\ 7466547989669470998348720656845365295518948605051036073176696442056\ 367640600812405535894640/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^3 - 1022969112526709773920674507547269162282791211224267612794882554216\ 0541526678494687448893488016863493099124240375632892229930910449602\ 438639051421114239265062/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 - 1121778431273880601199090832365240292207762346267524541156713247100\ 8566512413917342473818063961724119662253275526283993631342127966614\ 38662248344015471904660/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 - 5650989992867306535121790873497688399806036405939796932044818916698\ 3772144593944746151560365222223220173988108135125139715463650629796\ 599232029874300813476/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303, c_0101_3 - 159108857929527055110509628121134230104642060914160344835568\ 8028566843494593406139954578614455256683133675617715865903837748173\ 227370958586796719835220207/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^43 + 2453011650732042570592647274073175503377914395109448947801225033926\ 2684701712582041820970520355795531984308939486262361596697366177768\ 589214283884609255088/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 - 1391889672952154784887824958528984703256978829194903581589315065116\ 8572606161370932045140776021919357667391161514135466738810720299919\ 4681083712603028532896/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^41 + 5709083641749740806846313989324359650820282730634617903109337033312\ 6648810951174373644031667647205783224650100421119643395242358433333\ 6932464279139397750121/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 - 3308854171532179516800110504355335638263599508933511406696122032871\ 8230705519492773796420067146301387006734013226788190177489884492088\ 78610290728540056800567/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 + 1351076414658352351563742697045508432150742346260771213616787969241\ 7718494068670168723169110963193199168553000502447731816754763658873\ 487140331035404212839072/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^38 - 1866461808991575671668339590466225429271840829994449636855287177980\ 9947990931085398872959150993602941879382550472644274255607850731861\ 626137776995036204570681/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 - 4816177594793218253119072256270902920219954476017108834671677381935\ 7261691490123046769588833025462738162879039039664566110980621884402\ 523540558983982494602154/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 + 1948548301251738198212239823173017717402804646658800981086223207929\ 3291607044387873301409736172171661009709577583612158017899491728759\ 6767517612198946183706340/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 - 7914953609502511825163877472448345820486751426353068419118523042690\ 3793887881448808184377093069634634313162008620280781317626461744232\ 121577364736380303602434/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 - 6418749709118142373938260990907939036851696114042782344101332363449\ 1956406822338153237067660795183141580834116730252768468844476653040\ 5872017506555134842723568/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 + 9448129083344030793597443710420482157542571244850442270459091528495\ 8502367312185682673551828465734162966242485716750182775387382226544\ 3400052292134038840452723/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 + 9880069615669901156737952945060766797747202378078335975760888676826\ 2666491944653818283199241289597214548323967327900282011298655752134\ 3153688255095595956255307/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 - 3234407612625907919994831141236333799276116549385185357168356265776\ 5885791132154494577781384306039049756428827637673118565212238957994\ 53053087359490866502107090/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 + 7316784666059004362124662114811735749099955742580615876058699182432\ 4334537305141573227284784777115602008048384309219582653644627392590\ 5296227784263647740970/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^29 + 6818942972730384467181911459470377726142691260298589106556429519583\ 6260711593012150951119789157611221096518618732975877977065209467097\ 31832232303914449811138539/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 - 3805187557525182507155429413438064308499808477201304597074834128527\ 3435686329086028713712818567247730222618300596757035074259610913446\ 78822464985766516561429541/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 - 1016507381351916607521342119518540700684275267642604205011292743816\ 8599872869017770136537010065146654433050630029634549363335834798052\ 573762430759762166741063103/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^26 + 1063941139911270809856232043851221009722553176992104326717010513381\ 9014964759456455776595043839831309660503387267449044435060917501504\ 228642940410523091439137810/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^25 + 1121952751977823475683764975933467976280268201062552464597238777431\ 2212737600289843741375286584600028423358784593578529038032840788213\ 122498443216437859747158814/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^24 - 1861219304246647164957324042210895953547001392215753289439990372983\ 0263667612939353287976055174527790928445916303575792508550182707684\ 913073658761950694605164925/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^23 - 9241084632479247823420316055954503763754480344281991782942807529622\ 6887944921788414741502682424250340461107812162579726896346682407295\ 90331253673937293364638916/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 + 2473540790944600831164654507727827667721094755876148287152310366905\ 8690089300651881311934755025978970084678347173692429338543111053836\ 362729311758212110093431787/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 + 5584242484807560930888188209280301186709489941053043858505391103503\ 6983529635987864381335131519019543769654102004045579706272551854373\ 22508816292868294022616427/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^20 - 2692156843456884591245585193367661621561613830298804688025214567205\ 3421230618797256545047775059474982239569301757194588890883254850121\ 152533258573604943394796313/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 - 2574154774561892411664191251467007181038194102914780532647058416105\ 8867810722287411252503261977124648628479394862990945558638234627707\ 46374067718889031093752021/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 + 2501086183725135659493396515958453624081520840824054539340919596964\ 6801056438597288364462899757450211678349710344597618001585912673551\ 245502815308026359711452348/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 + 1651862699608997368707124830091856953691241996962302857559609194187\ 4663214229238450341495063400937603157878381174502735421374782691687\ 70244979116664864524785318/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 - 2032944782702680645349376832364075692236474602081090896440902163524\ 7258909078338240617089583419705299831243734345546004062165896599905\ 657099405872279797692092107/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^15 - 2741082259581384347269204461934278690621546055198242019269037602013\ 6615670491754487010201716478999852271384830585747008701770027826247\ 56158554255826087634333300/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^14 + 1428709064873471239131033007206922567670650099581883761346074311418\ 1274686677883646918778058670119039006785147544812891131380494889090\ 161418653923285562062571396/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^13 + 4439427415338026594839509777694771708655261375037927661642966445224\ 7798774228279205520841413137928213292353695532373170800358779959006\ 76340143073789540023311210/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 - 8030533293079167127405100429586144324809888902229604171427502328132\ 5728979404405980748698237471164092376232059673450827817681121585907\ 18691534059147266310819960/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 - 5192143492135966438210587885830636790878213098200647068787686887439\ 4348422787298591456834383400233643962367356031961680728546308354865\ 08521331722981445728049325/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 + 2387683828478527585394725871910326057201831520645470848030812213243\ 6580914538664526113944307228357527125368439054736468730039393668371\ 93957547698284426915457008/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 + 3642702182857528697465705409656850445122309985791064811602168590516\ 8009837923023987840876657880683520098396594248157684452703029434433\ 50599739699952292300224486/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 + 6745976251144668695959711189261328760721899355148495758976617418789\ 2103348769927511584073430029634976555234712490063325062821095442561\ 0543233662127335296823807/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^7 - 1297622639270741736497367824592403629927088594216276866653103602307\ 6783637701286520463431625337346796430660220530007667654493105120653\ 24289751620398630365423380/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^6 - 1276360762104919310717997255002095545349910026398330394089701330752\ 4370046854252527921269783437200787872996103919693237084195852667977\ 25767652016430169556648180/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^5 - 6177248732176623606943926706951673649572056040216670492858071736183\ 7741101965524591463970879118162122316832943037937443181583211104891\ 7091953113421159053323481/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 - 1875336228351035679521173082968761448026185564148134258888011302308\ 0120218872316286680651831147064142362952478543572588921864202211785\ 8813765097032933150902018/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^3 - 3671797840764105008618858489857885893526910264469699008958706465036\ 3482442483186872625866936447593444266279954268314111614577708393283\ 881487588529709744027862/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 - 4326886657683656770790548586300725502441709668139348620321067490398\ 9263679459347602465291914776241734807268449342609836974852668675333\ 99272988438457093394005/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 - 2376695254040267493542142818302737329037895238192951054655315133088\ 2722181733301436513383123010523449926692307058597305810862783217208\ 4421748788785776120346/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_0110_10 + 33758443756177153629916754318056962617003334718928685305835\ 3989107522735698291795341158925200067130729816671034884440805860626\ 9481448347646213900297044090/27885294905589449312982136429461977443\ 1984347774621980997838329334490100183460176278502459878053248203819\ 2791400976623919504326792400598083070299388303*c_1001_12^43 - 5202825467988465545758511401230573007770138847482907088366712269275\ 2964392229021507798726919780450853281860397149628525337391853147417\ 942227447272693108972/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 + 2950670287283369205701087836901980899627889381138417883867308671828\ 9987884531507509701827230128296041739243475692414307631744434880005\ 5644895952701671223566/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^41 - 1210095488934657024919790925780081629215061146947166019833151919825\ 1761736079555696800738680853761719813521186692840572047437892617263\ 98104117722010770761284/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^40 + 7016198607887988615817884316576858371422400403725698626712603846374\ 6205801605106832828334466527071722405855155004547713772073456725864\ 07751141625897840749036/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 - 2863820717784947494418113991995194558035893732005913902774254726922\ 9157430512532442230356329823333047595039589565689258286820307715920\ 700519416674141306854156/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^38 + 3950041596591052525898908840941084972126321141847553856500557376992\ 9537764991489662915578025872650597954512818334627523467779276062116\ 701816381404947819922347/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 + 1021788448870407153312578891397327370617560264150310508352406856934\ 1912115561943750176306041738064764125331988869321200919242116378715\ 2373356664157908969508317/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^36 - 4124930619038326097871532412690529964306394112508791852327587128472\ 5993279677866931843755083163342434815248967414713283777990528054480\ 5975716345620551337872452/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 + 1661868334389192480945770114689263083893624136728684466769499550991\ 7936422415952918281222536209621792779961169893301117775283404601003\ 1350184343512981256175381/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^34 + 1359608854610881831554316158414042190388649863044335432751940175544\ 4452373026617019094417107533312007785495283989949366498871608327272\ 15800600675238973263062597/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^33 - 1993986819637371102418406340924594632594205532552216634666553518695\ 4565915354782776419268526947232544864585441914248901147457683988432\ 53355014291460685223568529/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^32 - 2099692911106680716873285181546836452423336466533414279490226866014\ 5272334328295498330023185948891660223804902912412665924438141000786\ 25930889902781890079924089/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^31 + 6831331056781229333400932542293818486316706230656815116499449673846\ 2777526943581660616043659796697644995478995017395303962229341724758\ 65613948542068579404256449/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 + 3509207123689863315663178368080833676864406098645169781223619651591\ 9086486176375723610756027106661711725854417650014118569084843008833\ 274289502512362120765239/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^29 - 1441641133125815705354533693652206485289048745347598976715589574831\ 1918790224351748511304420488614448961059522262870343757963428648889\ 198286687890858063241377735/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^28 + 7953911068253365136667639016576113310487936755028128555277161635847\ 0010366698000702641023067681943098461336804976276982027309683860245\ 72241966968856648464167088/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 + 2153384657357582367262995777592633150638477593765854125392674923128\ 2714720479848718286541547339117779687784036390592163839723347435924\ 645405661088743225605222610/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^26 - 2232755938451283921296087216272735986045590134307808242173837656345\ 2332174578283212335200504646898936363553971681847957474388204064178\ 612477366584368868699896791/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^25 - 2386849876559386721957121531448482817367185176262619371799317519702\ 9363670098362041690197148936146162342012942480577259093508762726509\ 757594811704842390796247932/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^24 + 3912290454812245260267687140792361335329264775203615775725775556022\ 0007956398855617036450022370806581591801776822492808849670816467176\ 075791596640187408624410270/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^23 + 1984636966156688531713388972400627033018711449951185354428997926559\ 3153214457011755284164673343270024087772268794974070741329875921270\ 577515599502889996944760817/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^22 - 5206175773842581298792159221370420533039257359591335610326932858077\ 9730426753054150600194801149649700767451852781776302247610757899822\ 604607555272185643542359925/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 - 1227877656954525867246888586720382362967090488509532265145610575571\ 4037402090121288207512513738022603351530619127028946446306034567998\ 920720806822341094183673733/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^20 + 5673548608583955224183001602458663551989314173229287407629021736333\ 6105130026946923028672333629156650157714376558388306036822111423997\ 944053130103627193146144750/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 + 6015189097251930020250636285772045196738904462808950287375771973751\ 1629242374233977282692628282094540355335333123183851677461861623656\ 33596344951999058654612280/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 - 5276778669251113178885781426581489967366054124561993827156063476085\ 1890770834177131197188383309781803184650106038343028937020268155851\ 397776498301261319147163668/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 - 4067312112613203008967499703244366055553858967735988519433165782813\ 3599443901174983240622876494049966636539974792814781075514504492036\ 70964576623830467314521330/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 + 4291600619880439490741669571507864165116710559782456887570767786457\ 5052911542643997021609251011676416003684212010742329534929457785782\ 482394424586245238081944809/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^15 + 6288018079402039368995561903976329307205321016045523801166203683116\ 4150995262653662453014915708356820566247306304302800518193130752852\ 09372590386692378110762543/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^14 - 3013970479605187371251871494027795813591747237406983986106401771828\ 6236602942955711862030795414471338976456651174909421552994645978026\ 528932175019095257473492704/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^13 - 9747110029028562705851662378918053820942123078928045523929583205933\ 7195914695202087745660179700295904811845647164822699053269334120645\ 77558385339020563624238762/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 + 1688274255146893105592264829712328978158895417016312395774401443890\ 9381193828093058337289909634937511956724209975031897850215603422342\ 004248386846707387280257893/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^11 + 1119249278616536053965787843839705431499092570161526087206259863130\ 1534534509343387312450884699816516050918565438341447809402101277354\ 501019336535266346301634087/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^10 - 4931074379357815803773097939817661554590449556139517120735168193482\ 0571613695177049430548896130615815928157463161436680189041001892066\ 83170575183630514423783722/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 - 7777988657888702310794627713326275192325611332000049194410443862836\ 8891047708141190148005121020240101386187186818661286446388906216646\ 45562585729170101880664505/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 - 1514823900820610654969066363453108166221543063048825932096310414267\ 8165512158387659302857806796090426562280126975532960940946400120657\ 45419751747696452085221102/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^7 + 2737946114706312933375498660220995490468105466195164448872785531696\ 1093392162725221781058028085305206829508903864797814804121346387488\ 66202173656168424396942228/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^6 + 2735697003214900612471849931896262132273514034828299065654073152836\ 9049518129716436830018554624656191713667871679290949848307791425838\ 21185633867165529277278651/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^5 + 1335721546240559811356177570554013301729975659452013025499494675480\ 6714108280317076913643346735827445983322707912723564097542377458154\ 68418246338567457473667711/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^4 + 4086850361525574956837273457157829194170459495780940031357526337476\ 7628181313440666839590057978719316437988979671522973109816726036493\ 7492911572787018707734756/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^3 + 8065836916066601668266532165424914346144138314379620510579518058458\ 2867794876513460403308859981878107813686819700898283506674520553451\ 668229486169885386470101/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 + 9589914344305086829763191004936843070741240285993921278038956305556\ 9851256150304493290738379038698062229960845583576851500424773954481\ 88131672005089292301265/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 + 5325972561750869598577521605672536550017559992396931566417749623756\ 6505038797448535335589150548143041358343753835479165480234564581893\ 2199189605998162954752/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_0110_6 - 1, c_1001_0 + 677206950886537658222485435273335660976929544078256768451507\ 5030938071413897472497603892758850667248841533409375247057847865778\ 16102905285339778620623128/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^43 - 1058273940200143650570847391153216407323821575884824024295545642749\ 6592713747537904903119868617699442306209760249296674813034339588796\ 766063755982125741455/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 + 6149891148524950667373100011081042677294706911781477511364248851034\ 8326486233089232535882736450800559086693241417674665667683027951545\ 801560575497118972721/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^41 - 2564655911362388022319783360051950231475123236801242508637589918884\ 5494058314148372720983590915535207397944860161031565357529176624992\ 1284341333262988293036/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 + 1465515540028995745408704657640143296740615641133011061120162629452\ 8170308898814805900389359084978380752051881591920355341153246474319\ 83585759790494821216876/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 - 6072263596199964668469338763993264489254039312918900845396772262212\ 0570185909006847680351612484933938766012254331126368792010066676313\ 49046751809027677815511/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^38 + 9298561012291253286405935877570938297240919094820095764536417651965\ 5985138074467853785364826282236379275975640533961085898461827990654\ 44080908419129445536670/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^37 + 1821121516354576834090990431095195288003587406317804669897198528710\ 5928511336651910207110561152005176629644835486257926083914368927752\ 383020265874600554626501/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 - 8620312883951135672046583913406619006986190648026056109630226018663\ 5921420455541894531261078780001672660923555061854123757025508843967\ 765233910968081147930765/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^35 + 5265520179205911960372043385786484645213498343348114578387443180362\ 2132665657713764150014381909436976472052551937852444290280534621505\ 365231471327931178366677/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 + 2573604635046749917950833787401861856632835123316111881777128842715\ 4748676281739729033691626361969652655648183329260465232961137040587\ 4591375239475382307036024/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 - 4524093467794565057310030830798205418856606999744169524507290586673\ 5261329991570617907053805846101435427555225036202163717821207762404\ 3268941330727371250149713/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 - 3124368453448553491736566769490325715130007828643948013272292831643\ 9833326750635080522473593089014444406589176047422502375450012241737\ 9404125298695396007616069/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 + 1415218046188136294113571137887438264408187783680375616031632932198\ 5698758007374188823918740928829906626933753233481296476058453871342\ 78628569502507964516356007/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 - 3087997302005050070608927384400542322982981262381427742832066831811\ 9307333214166978980104651120938660899841166833842835119926800671773\ 6520067000134350216697834/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^29 - 2758573134882245636005918205662928059665573309164203932720873945580\ 8544012251455906648233487838962944833748417040044013646481394207641\ 54991972290647463280959956/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 + 2165515310066597572991578566085917746196161131691836930495406945076\ 1517979632449585710386954432929523047364577956746895000557066428890\ 33257277746850974183435674/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 + 3729205149718069160558303647026585701584161051367073532870078043277\ 5147115848413800054760019833553207356331417990871338481895710868043\ 11694562942686113855895772/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^26 - 5163164251522070981237397341456556222779108934742407040037719316591\ 2306424409948535677570662720845566053931602663511686865567480390700\ 37575532251644425230906204/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^25 - 3520472447913075244938696554964638933565887885756856507103699371010\ 4281256612284577420316802467686190341603945668226814876494369512752\ 49699441969535409625018270/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^24 + 8342382665581615785243563941264842744193971116913516100688675247575\ 5507264176432574042714350936163947428092964673091232877005309367435\ 69827773841840631677851718/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^23 + 2060144617707940095267737787777902705003170977888630202896086266271\ 7227583624072693761261751691320635372885078234506451573340848094884\ 01082050960151769376253749/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 - 1047812051066957855411524732166774741407738895727947916116127968706\ 4460967403899771542882868546001744776862295239361912556929169063110\ 224779603252745253878483902/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 - 1730116295813792421449249813324826158517718884025873778969866816120\ 2972890836581793599500405790109469783411807167613997363209638477729\ 7455623436000582446453396/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^20 + 1092114110895193023869021863100042887541334863075327815283505605217\ 8957551556890415778001232234679230017289002554519622586134506635616\ 896017511182659538633503601/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 - 1075149622431230405688162214772874285484649359919117653122084951368\ 0756895214385994953697286658116872573770348858948127532475504428512\ 62877715839273837612240794/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^18 - 9850025287976375973185843827283836402467370422903545107769209801097\ 9600403093617112747698534529769674488278634802224524984235184592624\ 75478812674608868268533023/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^17 + 1173179896320508282091070969031133054969152830217016872016359799325\ 3342930856815542753184606770837827536964380920601934411881156974099\ 26990251618072120258164593/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^16 + 7911937629569996841540208797417633596272702906781739446239397960397\ 1484727015937335060747063070538086696551749520736767711277097037505\ 47422356821553091509428020/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^15 - 3129499215086452053505590217620888967656897584372515363379230092871\ 0334256049313656734475692076156782266303483237002588985246858818974\ 8739852846699215473087377/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^14 - 5625025618922897014468200417677281969125988382352350621444134388131\ 3339269399095461995147648754096873821174541397623927693241813983080\ 22477077468043071203401530/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^13 - 8195596084825788244001186986919578521745315944031992574405415031011\ 8414064488585015071323111544509400974073966762534560097893961285399\ 0433038231687475330835729/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^12 + 3308756731357076109923926928533932891093707172619414868286582896442\ 2768439924179249096059423477809820180410788744227995296644013009541\ 64085915843026013287720537/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 + 1538905548084359730134036406286672727759767697657234112933507958946\ 5694052605420229820566369962084970365901454572239951216548174101975\ 56503683038570536504812525/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 - 1164005030953317087579813290651906642304744609417014946530264535381\ 5460230216985336711082839704239918148559108817817726557804431143554\ 42373867933097281590433578/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 - 1265099415238800271516508938849608422611422429675792740562250758578\ 5386829917851364620272447003690643167828955922639079581610583481262\ 41518319192687250705236283/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 - 9537163909787731969193774251679854185599784365808999388029990344990\ 0282091769230549794427692971051165588312362595896579487361179147524\ 416581301849372811524729/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^7 + 5215479563434182649650054110133977070535254002462835087171384587511\ 5500515016841230821900758492108525704003835129728437724376352844089\ 6866299525082191933438980/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^6 + 4412377026060370515277534967128512092840546751201569060962075746342\ 1577368483419649393174671172724650515804364866313557041620749807044\ 6260447096310619019764400/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^5 + 1968564629237363642713227554037385701646922905158983223530945833218\ 3923027961871075193279629396920731819703688176354360664445434004527\ 7367361585895946831283326/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 + 5583592813811820210443083844984879940452446793693899495998951630329\ 7466547989669470998348720656845365295518948605051036073176696442056\ 367640600812405535894640/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^3 + 1022969112526709773920674507547269162282791211224267612794882554216\ 0541526678494687448893488016863493099124240375632892229930910449602\ 438639051421114239265062/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 + 1121778431273880601199090832365240292207762346267524541156713247100\ 8566512413917342473818063961724119662253275526283993631342127966614\ 38662248344015471904660/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 + 5650989992867306535121790873497688399806036405939796932044818916698\ 3772144593944746151560365222223220173988108135125139715463650629796\ 599232029874300813476/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303, c_1001_1 + 859256837835453537775391317745562891309299760935399756971957\ 2992847049572123955133137122264565025496619835569325278432618101169\ 60607441080511697847150336/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^43 - 1338509189848465683992524014033888350587793381676369885753490054437\ 7786453352241875671415548474201653452648270716993240903754763356438\ 635752285952016500766/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^42 + 7740937709462915685702605752469998842790423825911698711316082211495\ 0806235288807672701017180002983999477013520288623605061631561822595\ 367859926111514180689/278852949055894493129821364294619774431984347\ 7746219809978383293344901001834601762785024598780532482038192791400\ 976623919504326792400598083070299388303*c_1001_12^41 - 3222668616323010195920287639709254232507404060576567796874736575392\ 7200165403879302399833011807309834215384278672358928488238510419414\ 7274611841245399657595/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303*c_1001_12^40 + 1848086504025409933341331193761078186836547721675716745361153538414\ 8829366321690494211520611726157620557754582907670238463196703437442\ 07173154308175641536105/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^39 - 7633995063246286259105680809530281273882927558463679061112505586407\ 2956483853202136729745477683903264347148271369317973471443553156552\ 64356695004280959348337/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12^38 + 1153259295505985898526035286085690900813874420676738012704590853166\ 3132128091529040733508233478834109920885230648028200272600837764646\ 041289511500811751052599/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^37 + 2318029511779274201390947856949263152329082977238766625397728812357\ 3651945677120141658319661538979624922797145611855563064001711011866\ 606524468424685939936074/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^36 - 1070977045291962141388563482179924642902759687830703409190933181181\ 5510500274148553249894194403136288168815028222764610791025819492457\ 0486883720484778664807501/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^35 + 6143921662805980986735746603890882123462886594027706340798093992568\ 6759547492892489929937813050692576912297265128959003870063053149430\ 042327587161469055091867/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^34 + 3238962396360036822103122893132868353823524396766102685677911080277\ 7289183199991051289451716246162201947577896157619778723300695348775\ 7874141716280850088832193/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^33 - 5477107909948097594874846362461780458665621227239320620080469744989\ 0606505757112902687614796014684605103813429289618906993170247750223\ 8108010716289321372750104/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^32 - 4178194417161492178042605889065735963699161081021599293845464581417\ 6101140820307649380424072396496857835829424983799572851688897917228\ 1752414187640418262848113/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^31 + 1735391214279981726520041736973215081845434104915262677086129753772\ 3889543043043816875355717180981739664061826034603686142109208773847\ 93169667766924591874581789/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^30 - 2792188108489786684547038784146898228631065491890922362574944840728\ 3206782823917769290083970976071923779023009351615923145908311005478\ 7159530714401965688914011/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^29 - 3440911519726029059081565639529344169865654327094728163311206099314\ 8311111404616384176055615171352310497941181475534108278233057604263\ 83338235104758067204695061/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^28 + 2456645915498704767808741386617969299680099904013883498126560734273\ 3054838876963052329744267758904665684806101093796041436145834835016\ 82124066963152127436481596/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^27 + 4795167634665900507086427122348773007791321599156410216195546375592\ 3316007429095049152706213322255513025793645765281485712416882775663\ 46062514431126348371895318/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^26 - 6052359287993726119543332345352510476488763300523951399032877001927\ 1179636596271397960974428944405988686065850110988626003495841258265\ 73609774564571565682839706/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^25 - 4823323426994759355669844378738041217602247663164482195681370423180\ 6325572623292061311513483924118343765271007888862418289567166406248\ 68272239918874805862688340/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^24 + 9970075000238771443050625470294990470567953479118542277559912386378\ 3496502084849187621946578045699749849661241661453258614355078991147\ 74833808260936726607378444/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^23 + 3366011270668657360065205980445884867754082697849749211231158447880\ 9242289881034070630851832067858328101550106949252377379754797236987\ 85497166713187553999347796/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^22 - 1273737895897219568296949411725900565092413028667875269429507362270\ 2251529359673411250912252292126754902020244193358637416037321504641\ 560571273716019534548136383/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^21 - 1308949899812440279371128288551586851642841338649057465371532434146\ 7583520535275593388155887816812172294904594436115892189964556379802\ 32492077661164438996924370/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^20 + 1349115895069128208753677175220997656148335031584590672200627257013\ 9974172872193660963958240740844945118005951619855154094604953117422\ 741526314942597585386668413/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^19 - 1323489536867610575773954336100266803392753154529303828949676130600\ 4350806382631223821193938358703623837067158433073756680361273791774\ 3997090718383752418769045/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^18 - 1233130627264239368656883532166691014687398914033927755331898905226\ 9757195966841516071953917053106366123311098568834091216323150030778\ 305886490378687814556424821/278852949055894493129821364294619774431\ 9843477746219809978383293344901001834601762785024598780532482038192\ 791400976623919504326792400598083070299388303*c_1001_12^17 + 3344788478248153563161544261614915069844662155115091947736999891817\ 2126649015188643336228539261114481579198000235121371712713801102367\ 8129624472559187558663029/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^16 + 9975285914846464264872239492432071278692910466833289863508977961882\ 0338857193942570663797503286235389697552142930482322889044334675594\ 06272521504425517433163229/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^15 + 5320188155709508115426289827949852672240604028116705482536341267918\ 6245099086397527636173760451589802776170072468719334078204412931738\ 0496886100754350511450294/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^14 - 7062510957474042170061185047700656287449457980826514345831808609807\ 7419193495732521365890334453206254170284468555594371450129411262153\ 48720524274502269375986013/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^13 - 1685070845782612160646834196391944915974908029182721596674862581107\ 8476604930858343613167443000022727589345720613376145692883379800129\ 61621254908043487755724179/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^12 + 4059212643369875843486328178228866243852671330270510496201698507443\ 9953914350039573049412465505604748928454735348679327827158906793011\ 90167141942433027550664686/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^11 + 2318594463493195201175666207545172480307418059295076021464890019170\ 0876564662928367190974575711539911510772914544887411356772320181170\ 66281646717994762113275830/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^10 - 1297277287998248704362668888416158217071016926089590119682148143616\ 2159439096698712019227048935295272480969107866444845298467307808363\ 09973763427831515507080199/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^9 - 1732186665192044715585791207728344504241876092296850614902787550018\ 0802798748756306311865646382280435505593127217051804337353241641871\ 43690137802855102755490968/2788529490558944931298213642946197744319\ 8434777462198099783832933449010018346017627850245987805324820381927\ 91400976623919504326792400598083070299388303*c_1001_12^8 - 2565970524881032977780515506225253607278942849579187264672375910522\ 7594354564306191809242870305373336905544503495632817260330044916740\ 6755045074224448049950627/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^7 + 6546396880370282720622867364984678527937220340824177058598587343407\ 3867928991079094555224300595036273486358170214799179712375681483734\ 8575574104012716870841344/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^6 + 6138088853454859709977821340226733963076792067426193259732785723121\ 7624084918321311398117360995096039472584268851729772694659500021137\ 7271117322603422159798120/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^5 + 2913239069510603333221432039568546354693184374331961759539718068795\ 4455216573925881518835362035681457890713949896526466914240989077784\ 7389591199774531617379005/27885294905589449312982136429461977443198\ 4347774621980997838329334490100183460176278502459878053248203819279\ 1400976623919504326792400598083070299388303*c_1001_12^4 + 8735796547924264564556066510617668877005614515759707278177424452389\ 4497650930745356075358675262164426817958297043700043069563083327015\ 833867665058314730506352/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^3 + 1695248012301648857057657424864030634168578003132255234668029142673\ 2177446889087409205320394691849907119544267513798127688560997805919\ 271286494488455597692084/278852949055894493129821364294619774431984\ 3477746219809978383293344901001834601762785024598780532482038192791\ 400976623919504326792400598083070299388303*c_1001_12^2 + 1984442933968671417607317235662183708331828771015533390572187415842\ 3751023487567846603417321852515320851769430046888174801877180887825\ 75337490971637473993426/2788529490558944931298213642946197744319843\ 4777462198099783832933449010018346017627850245987805324820381927914\ 00976623919504326792400598083070299388303*c_1001_12 + 1085130008113948339137599033509104561032632920843300987325408882991\ 3189688182396321199796498418503720810530921197723192326894124260618\ 1737848216671900825436/27885294905589449312982136429461977443198434\ 7774621980997838329334490100183460176278502459878053248203819279140\ 0976623919504326792400598083070299388303, c_1001_12^44 - 104/7*c_1001_12^43 + 552/7*c_1001_12^42 - 310*c_1001_12^41 + 13158/7*c_1001_12^40 - 51319/7*c_1001_12^39 + 49001/7*c_1001_12^38 + 257139/7*c_1001_12^37 - 737374/7*c_1001_12^36 - 130012/7*c_1001_12^35 + 3008513/7*c_1001_12^34 - 2566869/7*c_1001_12^33 - 6646312/7*c_1001_12^32 + 11736385/7*c_1001_12^31 + 7942101/7*c_1001_12^30 - 29830273/7*c_1001_12^29 - 19181*c_1001_12^28 + 53788355/7*c_1001_12^27 - 21437994/7*c_1001_12^26 - 75207784/7*c_1001_12^25 + 53546904/7*c_1001_12^24 + 86257663/7*c_1001_12^23 - 85007284/7*c_1001_12^22 - 85513857/7*c_1001_12^21 + 103440389/7*c_1001_12^20 + 77931136/7*c_1001_12^19 - 102462237/7*c_1001_12^18 - 9902223*c_1001_12^17 + 84302327/7*c_1001_12^16 + 62548932/7*c_1001_12^15 - 55260645/7*c_1001_12^14 - 54978461/7*c_1001_12^13 + 23784959/7*c_1001_12^12 + 42683748/7*c_1001_12^11 + 2667264/7*c_1001_12^10 - 21822289/7*c_1001_12^9 - 12103211/7*c_1001_12^8 + 3937575/7*c_1001_12^7 + 1261305*c_1001_12^6 + 5919936/7*c_1001_12^5 + 2384440/7*c_1001_12^4 + 637206/7*c_1001_12^3 + 112572/7*c_1001_12^2 + 12116/7*c_1001_12 + 611/7 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.800 Total time: 3.020 seconds, Total memory usage: 64.12MB