Magma V2.19-8 Tue Aug 20 2013 23:58:06 on localhost [Seed = 3869281867] Type ? for help. Type -D to quit. Loading file "K13n1002__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1002 geometric_solution 12.00150500 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 2 0132 2310 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.440585038245 1.363734118010 0 3 4 0 0132 0132 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257472675630 0.627663355859 0 5 6 0 3201 0132 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 -1 0 1 0 0 0 0 -1 0 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257472675630 0.627663355859 5 1 5 6 0321 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.507153485660 0.712075941391 7 8 5 1 0132 0132 1230 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 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.698269539606 1.054543223195 3 2 3 4 0321 0132 1023 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 1 -3 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.507153485660 0.712075941391 9 7 3 2 0132 2310 1230 0132 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 0 0 3 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.698269539606 1.054543223195 4 10 9 6 0132 0132 0321 3201 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 1 -1 -2 0 2 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.669617608197 0.520695068689 11 4 9 10 0132 0132 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.287511476389 1.350218744136 6 12 7 8 0132 0132 0321 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.070829461830 0.929420849707 11 7 8 12 1023 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.424477300104 0.958489029419 8 10 12 12 0132 1023 2031 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.179958369737 0.618461331276 11 9 10 11 3201 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777318131911 0.586240001661 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_1']), 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_10'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_0101_6']), 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0101_4']), 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : negation(d['c_0101_12']), 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : negation(d['c_0101_12']), 'c_1100_8' : negation(d['c_1001_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_1001_10']), 'c_1100_4' : negation(d['c_0011_0']), 'c_1100_7' : negation(d['c_0011_12']), 'c_1100_6' : d['c_0011_2'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0011_2'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : d['c_0011_2'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : negation(d['c_1001_12']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_10'], 'c_1010_6' : negation(d['c_0101_4']), 'c_1010_5' : negation(d['c_0101_4']), 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_3']), 'c_1010_0' : negation(d['c_0101_0']), 'c_1010_9' : d['c_1001_12'], 'c_1010_8' : d['c_1001_10'], '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_0101_10'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_12']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : negation(d['c_0011_2']), 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_12'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : d['c_0011_2'], 'c_0110_11' : negation(d['c_0101_12']), 'c_0110_10' : d['c_0101_10'], 'c_0110_12' : negation(d['c_0101_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_1'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_3']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0101_1']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_1']), 'c_0101_8' : negation(d['c_0101_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_6'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0011_2'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0011_0']), 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_4'], 'c_0011_10' : d['c_0011_10'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_2, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_4, c_0101_6, c_1001_10, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 35 Groebner basis: [ t + 1092922977004609200434263059552200640202662005696355947688807358236\ 1016313779279611599721199647960406249776870172184201513185542929315\ /480491247346991015847054347964970599463646537457204314248780080083\ 2193100222216606974810340767787178022405054401412263285828986542*c_\ 1001_12^34 - 234719459868385942883359207526710544813080375497195843\ 0685677998382036720170082246516947322857844519159023561254764385637\ 9037996880945/48049124734699101584705434796497059946364653745720431\ 4248780080083219310022221660697481034076778717802240505440141226328\ 5828986542*c_1001_12^33 + 14389745476006177293977422727616319532099\ 0779215189927041169833980033911635829910965685772426638225652473089\ 14607870000704967602780743/4804912473469910158470543479649705994636\ 4653745720431424878008008321931002222166069748103407677871780224050\ 54401412263285828986542*c_1001_12^32 + 4266002769960866298072670373819627073632026018055443800683868884182\ 1782820468248895443075703907625850656514370608511151917647715692945\ /240245623673495507923527173982485299731823268728602157124390040041\ 6096550111108303487405170383893589011202527200706131642914493271*c_\ 1001_12^31 - 498116974609778255751789446626089548103189813430399180\ 1021923088806730654925630968004478281912667970151822990226350939444\ 49282707581521/2402456236734955079235271739824852997318232687286021\ 5712439004004160965501111083034874051703838935890112025272007061316\ 42914493271*c_1001_12^30 + 7183440319840525560632716025742702441675\ 6593592631446966761337571886417537463784933813303155849932382443670\ 9103472302693526199506087523/24024562367349550792352717398248529973\ 1823268728602157124390040041609655011110830348740517038389358901120\ 2527200706131642914493271*c_1001_12^29 + 4170965486823852423644321963511627215189102152598427201703108376714\ 2262093784724158667519679784185597650966147317959359172632887928065\ /240245623673495507923527173982485299731823268728602157124390040041\ 6096550111108303487405170383893589011202527200706131642914493271*c_\ 1001_12^28 - 446561610236474384767320090940825289724244072450980839\ 0711324696659102375271759342753825433570602917677868283753930545097\ 276881989523583/240245623673495507923527173982485299731823268728602\ 1571243900400416096550111108303487405170383893589011202527200706131\ 642914493271*c_1001_12^27 + 714514349520821528918759870652396471960\ 4294700774656387050828690920588857707825674028927378154364565174297\ 0475718217373356273256180384001/48049124734699101584705434796497059\ 9463646537457204314248780080083219310022221660697481034076778717802\ 2405054401412263285828986542*c_1001_12^26 - 1198051642112301978499085715333294762140061110704168928124035421738\ 2494918779097587116880925131357186964211475398403455462237884489008\ 4118/24024562367349550792352717398248529973182326872860215712439004\ 0041609655011110830348740517038389358901120252720070613164291449327\ 1*c_1001_12^25 + 61598003735564539385764629354016705196339941767066\ 3643789574503076492816643816962395933216713501257806366461948326992\ 121911498694402681199/480491247346991015847054347964970599463646537\ 4572043142487800800832193100222216606974810340767787178022405054401\ 412263285828986542*c_1001_12^24 - 559127769802776639272802516724482\ 0990473617817012267495283841387938333137870968442688139186677601340\ 77924371408327711414423708165768725580/2402456236734955079235271739\ 8248529973182326872860215712439004004160965501111083034874051703838\ 93589011202527200706131642914493271*c_1001_12^23 + 9288315924924203320573672318907912079376882960290295851654212182368\ 3801766163276373289732314246760496260084210532973032572272003762708\ 5898/24024562367349550792352717398248529973182326872860215712439004\ 0041609655011110830348740517038389358901120252720070613164291449327\ 1*c_1001_12^22 - 38547647360460370088251230661333450363767635961929\ 3000876435060326697343485683379160662364341737736654825757193010207\ 3207138771923648719299/48049124734699101584705434796497059946364653\ 7457204314248780080083219310022221660697481034076778717802240505440\ 1412263285828986542*c_1001_12^21 + 6294727158032082723484403593221817960285212757919282129149788982723\ 5197426980803938306089373058575685511584958825193751953856227111448\ 09525/4804912473469910158470543479649705994636465374572043142487800\ 8008321931002222166069748103407677871780224050544014122632858289865\ 42*c_1001_12^20 - 4655296361146043716849020527954400575568482528936\ 6136705831110432699520346764352966952846853044983770599334177823311\ 97150635155306648886482/2402456236734955079235271739824852997318232\ 6872860215712439004004160965501111083034874051703838935890112025272\ 00706131642914493271*c_1001_12^19 + 1257164162401747918747212482942153012619468684235018003658259416420\ 8402226174410795390041385015485800389764536969660699517216490812041\ 116809/480491247346991015847054347964970599463646537457204314248780\ 0800832193100222216606974810340767787178022405054401412263285828986\ 542*c_1001_12^18 - 506306901903737085225390797576844910456008785990\ 0364021299100495231928874492668092686203747602769559504242080157697\ 38336578712513722784123/1549971765635454889829207574080550320850472\ 7014748526266089680002684493871684569699918743034734797348459371143\ 2303621396317064082*c_1001_12^17 + 2159974301182300593022266129155367632417482373805940728336979609953\ 2694487387854876104714377195537341045587709366378874867874217397989\ 193369/480491247346991015847054347964970599463646537457204314248780\ 0800832193100222216606974810340767787178022405054401412263285828986\ 542*c_1001_12^16 - 858354531976919869745430961467898726160487706798\ 0350755316333697047196186971640436344844364332225952915270668651088\ 563095008191746381869924/240245623673495507923527173982485299731823\ 2687286021571243900400416096550111108303487405170383893589011202527\ 200706131642914493271*c_1001_12^15 + 1514795412612362970495286556741273277620470153158899815238057684858\ 1454371948220584790970424671935674335103148000672900543190346059323\ 812147/240245623673495507923527173982485299731823268728602157124390\ 0400416096550111108303487405170383893589011202527200706131642914493\ 271*c_1001_12^14 - 921705777206823037137741855650704880925585134853\ 5633372321806855841645896792406145824001990966260928564036327681269\ 559548602613430429293625/240245623673495507923527173982485299731823\ 2687286021571243900400416096550111108303487405170383893589011202527\ 200706131642914493271*c_1001_12^13 + 2204497216532295283244575272899962382360910026620812649371974300871\ 1677991806043773843530636513051875506628378606353859637974609612861\ 492223/480491247346991015847054347964970599463646537457204314248780\ 0800832193100222216606974810340767787178022405054401412263285828986\ 542*c_1001_12^12 - 934233343766934994544461997673127437655266762729\ 1630574631922290828579589898479193752516621087154963215027348445561\ 167598687806211518640075/240245623673495507923527173982485299731823\ 2687286021571243900400416096550111108303487405170383893589011202527\ 200706131642914493271*c_1001_12^11 + 6627234613470739260698915022895344579431764850696999174729446162995\ 8625384241376111011364284421051133979650874567652700746450858617786\ 09703/2402456236734955079235271739824852997318232687286021571243900\ 4004160965501111083034874051703838935890112025272007061316429144932\ 71*c_1001_12^10 - 1168348142131135690357079773418048751987845709578\ 9264037421157168924335558296154971340004489918239804542632039472311\ 666987492638873904308133/480491247346991015847054347964970599463646\ 5374572043142487800800832193100222216606974810340767787178022405054\ 401412263285828986542*c_1001_12^9 + 6485350056829779864871546602148774626877703686373878355711312417036\ 5822676797024751224414764062357044557798482664768883278076799092655\ 60857/4804912473469910158470543479649705994636465374572043142487800\ 8008321931002222166069748103407677871780224050544014122632858289865\ 42*c_1001_12^8 - 29631102935952007027668072365894786766427427369486\ 2306817425211732865415978228960028085110258832405690313376739832478\ 4517521723643298643753/48049124734699101584705434796497059946364653\ 7457204314248780080083219310022221660697481034076778717802240505440\ 1412263285828986542*c_1001_12^7 + 103984136155515281827795467466519\ 6843842247620860015181453169241154698674215744757461764074937188612\ 597399410394231320977509990069286336222/240245623673495507923527173\ 9824852997318232687286021571243900400416096550111108303487405170383\ 893589011202527200706131642914493271*c_1001_12^6 - 2025429114927328667286262520406185829243405666404599030155021080459\ 8133723846161596768344475045541587777616165993685786926355609301349\ 2718/24024562367349550792352717398248529973182326872860215712439004\ 0041609655011110830348740517038389358901120252720070613164291449327\ 1*c_1001_12^5 + 133591940883007025982739924718963774431307250831830\ 2690848323528745631614879352324508556155014516915653318120666310833\ 94390060114047332362/2402456236734955079235271739824852997318232687\ 2860215712439004004160965501111083034874051703838935890112025272007\ 06131642914493271*c_1001_12^4 + 81102760064714473961158253405700523\ 9697410453586781335900793665752904234701671260041481610625017425805\ 61524960927683610977566947973288243/4804912473469910158470543479649\ 7059946364653745720431424878008008321931002222166069748103407677871\ 78022405054401412263285828986542*c_1001_12^3 + 7616510539418507184677717891231770739799794893552760787521625443548\ 0573456662171124216424284190279984045839490464951584499582680360555\ 65/2402456236734955079235271739824852997318232687286021571243900400\ 416096550111108303487405170383893589011202527200706131642914493271*\ c_1001_12^2 + 19214877200333986490418598232719798100005714885556416\ 2748136363103440148575479145831363283870489357113328255600253520115\ 2879418970411011/48049124734699101584705434796497059946364653745720\ 4314248780080083219310022221660697481034076778717802240505440141226\ 3285828986542*c_1001_12 + 36161926758709211629503909029487822234991\ 8264607959547617198767985038094423724896178642397891904879564047262\ 76919216211486505087087626/2402456236734955079235271739824852997318\ 2326872860215712439004004160965501111083034874051703838935890112025\ 27200706131642914493271, c_0011_0 - 1, c_0011_10 + 37094690561441289978679261107447930408837071069785901399072\ 8894874037064220227872925092648770853133521615800369870/39830008196\ 3001927336913283539895906779628395820888498886712459054859704878814\ 2940348980513783334862087139607318019*c_1001_12^34 - 7943511777251431450437591119439856370598173919199376301342095562703\ 03736785362004716850972495963879512253172033901/3983000819630019273\ 3691328353989590677962839582088849888671245905485970487881429403489\ 80513783334862087139607318019*c_1001_12^33 + 4830043779472022650547657054909313518873127407774286280663353965945\ 66863242643225168419960176012083759573955435465/3983000819630019273\ 3691328353989590677962839582088849888671245905485970487881429403489\ 80513783334862087139607318019*c_1001_12^32 + 2900213135662423638663563077113085879413242678696171792123029830352\ 489852050336539154413354168072915989270158079794/398300081963001927\ 3369132835398959067796283958208884988867124590548597048788142940348\ 980513783334862087139607318019*c_1001_12^31 - 3379639499523066507915015669052566835282243044322877842223290733500\ 0826843363936713748253107910687496886982015888091/39830008196300192\ 7336913283539895906779628395820888498886712459054859704878814294034\ 8980513783334862087139607318019*c_1001_12^30 + 4854916418925949896299572593592145098829067088565867930652061376248\ 5184427913897088399691552132426269700036270331514/39830008196300192\ 7336913283539895906779628395820888498886712459054859704878814294034\ 8980513783334862087139607318019*c_1001_12^29 + 3178017743068890962166118819824570919662101258309858774035031025308\ 202176823243029930838955926056306284498490471605/398300081963001927\ 3369132835398959067796283958208884988867124590548597048788142940348\ 980513783334862087139607318019*c_1001_12^28 - 3032097243919568720300559211900674054060300781117186333072440640376\ 89805459597461399527268438097171497617574149113976/3983000819630019\ 2733691328353989590677962839582088849888671245905485970487881429403\ 48980513783334862087139607318019*c_1001_12^27 + 2423281571442943357870594177812751136328981854049433867991551178890\ 401118792638108803506253484901016054230823159286480/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^26 - 8117123488969422733412151584594966646095785911099274218265097650653\ 557542988161885459491571416395942270550312268013330/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^25 + 2085308546516299911058973853442611308748806318008569677475484260356\ 9351874099043898798466591220466063227226128308675392/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^24 - 3781226875896655999196097147992663494925926377035886369164247708847\ 7178830172444103963447300054340333018795585946144045/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^23 + 6278122673290794518901941190674172099530116221798315845629152234629\ 7450106189739241810045898278068310006291731918690797/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^22 - 1303750868200158847449130957529837284289953795728855503602339812747\ 18416607339678090388564907471239673532789828337435879/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^21 + 2127213190230381835733376605188973246587897747022187029387139509961\ 00098877016070501755955580588523920694495176718014825/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^20 - 3144622567530592378409669928990318112194745455711137356186609027219\ 98270066513772129881393953885116787222257380383144594/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^19 + 4243413536889720477851295634886078292128906164748667412220953407808\ 57465773022228868284096328326933660249824294423041008/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^18 - 1707989666578425293832340978433250050186906377532138353613232364763\ 3806451417128986809940698627056038766615774056029517/12848389740741\ 9976560294607593514808638589805103512418995713696469309582218972352\ 914483242380107576196359342171549*c_1001_12^17 + 7289825573475762021164444239229709601237941106440021494195653550073\ 77401770123525847526690878385799099001191134412474969/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^16 - 5770599114011589563743504865034308529492813421830783860659361354383\ 85611644740095061554465164286684815754967034349923892/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^15 + 1023264452737033967273834461234219865683257816478185562936979752935\ 605599639026792426958735551381900876348828891103713239/398300081963\ 0019273369132835398959067796283958208884988867124590548597048788142\ 940348980513783334862087139607318019*c_1001_12^14 - 6178812373595536696053755718218758230789631332127610194781097343993\ 72300292861626186363193999201773123209722066294737510/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^13 + 7425859856845996048798191226567537013699648389609575469332350844917\ 93223826710686959679886510771306603423640576360377048/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^12 - 6277881726705057926794185386969667297506813673031205370265396130450\ 71409282340989412464848814917856453898237234475642516/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^11 + 4444811587244322905131795253859229394764491899385638612618499677957\ 12623449556860727714540596160372102402624103994747495/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^10 - 3923209924565096236287154101457642685500895552645858577935668243089\ 92622378507666554296553144289037514007150254588732879/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^9 + 2165297700280539553030575608225745925706384962339773856875790927398\ 10547038824584041849256607832664664521824845672785291/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^8 - 9834940035814908165567379621259510026348244483171226177334462382485\ 4866303009932699994677651651477244920782742679109237/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^7 + 6933330563263060628588928286061896691720982929321322139133316217496\ 8405312818365855097235595694102715439769838285308553/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^6 - 1299929218885134780861978499994671706229640544257635363577655922099\ 4749415599449616827674329633428871943210344940586237/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^5 + 8822163159799127077865441104971536759368560542329572410530524572024\ 306236681737004336208638370401195440103791323299644/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^4 + 2890526527159538452034481496958335763006166631007702355615618621206\ 198556972031469770096822997318290014831895242160509/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^3 + 5133965327942644904356862271283530211161021794370882411340962543975\ 77035452524325759698403559802837802765642198956330/3983000819630019\ 2733691328353989590677962839582088849888671245905485970487881429403\ 48980513783334862087139607318019*c_1001_12^2 + 7356654528224757565455486199781646497104653640761265195522701017237\ 4173514262723362120338434308301004997923624707459/39830008196300192\ 7336913283539895906779628395820888498886712459054859704878814294034\ 8980513783334862087139607318019*c_1001_12 + 4547740543213932399772383184132747967494901047372400484602700092890\ 053087845456494495411981474160481199065009936342/398300081963001927\ 3369132835398959067796283958208884988867124590548597048788142940348\ 980513783334862087139607318019, c_0011_12 - 37094690561441289978679261107447930408837071069785901399072\ 8894874037064220227872925092648770853133521615800369870/39830008196\ 3001927336913283539895906779628395820888498886712459054859704878814\ 2940348980513783334862087139607318019*c_1001_12^34 + 7943511777251431450437591119439856370598173919199376301342095562703\ 03736785362004716850972495963879512253172033901/3983000819630019273\ 3691328353989590677962839582088849888671245905485970487881429403489\ 80513783334862087139607318019*c_1001_12^33 - 4830043779472022650547657054909313518873127407774286280663353965945\ 66863242643225168419960176012083759573955435465/3983000819630019273\ 3691328353989590677962839582088849888671245905485970487881429403489\ 80513783334862087139607318019*c_1001_12^32 - 2900213135662423638663563077113085879413242678696171792123029830352\ 489852050336539154413354168072915989270158079794/398300081963001927\ 3369132835398959067796283958208884988867124590548597048788142940348\ 980513783334862087139607318019*c_1001_12^31 + 3379639499523066507915015669052566835282243044322877842223290733500\ 0826843363936713748253107910687496886982015888091/39830008196300192\ 7336913283539895906779628395820888498886712459054859704878814294034\ 8980513783334862087139607318019*c_1001_12^30 - 4854916418925949896299572593592145098829067088565867930652061376248\ 5184427913897088399691552132426269700036270331514/39830008196300192\ 7336913283539895906779628395820888498886712459054859704878814294034\ 8980513783334862087139607318019*c_1001_12^29 - 3178017743068890962166118819824570919662101258309858774035031025308\ 202176823243029930838955926056306284498490471605/398300081963001927\ 3369132835398959067796283958208884988867124590548597048788142940348\ 980513783334862087139607318019*c_1001_12^28 + 3032097243919568720300559211900674054060300781117186333072440640376\ 89805459597461399527268438097171497617574149113976/3983000819630019\ 2733691328353989590677962839582088849888671245905485970487881429403\ 48980513783334862087139607318019*c_1001_12^27 - 2423281571442943357870594177812751136328981854049433867991551178890\ 401118792638108803506253484901016054230823159286480/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^26 + 8117123488969422733412151584594966646095785911099274218265097650653\ 557542988161885459491571416395942270550312268013330/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^25 - 2085308546516299911058973853442611308748806318008569677475484260356\ 9351874099043898798466591220466063227226128308675392/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^24 + 3781226875896655999196097147992663494925926377035886369164247708847\ 7178830172444103963447300054340333018795585946144045/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^23 - 6278122673290794518901941190674172099530116221798315845629152234629\ 7450106189739241810045898278068310006291731918690797/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^22 + 1303750868200158847449130957529837284289953795728855503602339812747\ 18416607339678090388564907471239673532789828337435879/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^21 - 2127213190230381835733376605188973246587897747022187029387139509961\ 00098877016070501755955580588523920694495176718014825/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^20 + 3144622567530592378409669928990318112194745455711137356186609027219\ 98270066513772129881393953885116787222257380383144594/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^19 - 4243413536889720477851295634886078292128906164748667412220953407808\ 57465773022228868284096328326933660249824294423041008/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^18 + 1707989666578425293832340978433250050186906377532138353613232364763\ 3806451417128986809940698627056038766615774056029517/12848389740741\ 9976560294607593514808638589805103512418995713696469309582218972352\ 914483242380107576196359342171549*c_1001_12^17 - 7289825573475762021164444239229709601237941106440021494195653550073\ 77401770123525847526690878385799099001191134412474969/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^16 + 5770599114011589563743504865034308529492813421830783860659361354383\ 85611644740095061554465164286684815754967034349923892/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^15 - 1023264452737033967273834461234219865683257816478185562936979752935\ 605599639026792426958735551381900876348828891103713239/398300081963\ 0019273369132835398959067796283958208884988867124590548597048788142\ 940348980513783334862087139607318019*c_1001_12^14 + 6178812373595536696053755718218758230789631332127610194781097343993\ 72300292861626186363193999201773123209722066294737510/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^13 - 7425859856845996048798191226567537013699648389609575469332350844917\ 93223826710686959679886510771306603423640576360377048/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^12 + 6277881726705057926794185386969667297506813673031205370265396130450\ 71409282340989412464848814917856453898237234475642516/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^11 - 4444811587244322905131795253859229394764491899385638612618499677957\ 12623449556860727714540596160372102402624103994747495/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^10 + 3923209924565096236287154101457642685500895552645858577935668243089\ 92622378507666554296553144289037514007150254588732879/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^9 - 2165297700280539553030575608225745925706384962339773856875790927398\ 10547038824584041849256607832664664521824845672785291/3983000819630\ 0192733691328353989590677962839582088849888671245905485970487881429\ 40348980513783334862087139607318019*c_1001_12^8 + 9834940035814908165567379621259510026348244483171226177334462382485\ 4866303009932699994677651651477244920782742679109237/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^7 - 6933330563263060628588928286061896691720982929321322139133316217496\ 8405312818365855097235595694102715439769838285308553/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^6 + 1299929218885134780861978499994671706229640544257635363577655922099\ 4749415599449616827674329633428871943210344940586237/39830008196300\ 1927336913283539895906779628395820888498886712459054859704878814294\ 0348980513783334862087139607318019*c_1001_12^5 - 8822163159799127077865441104971536759368560542329572410530524572024\ 306236681737004336208638370401195440103791323299644/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^4 - 2890526527159538452034481496958335763006166631007702355615618621206\ 198556972031469770096822997318290014831895242160509/398300081963001\ 9273369132835398959067796283958208884988867124590548597048788142940\ 348980513783334862087139607318019*c_1001_12^3 - 5133965327942644904356862271283530211161021794370882411340962543975\ 77035452524325759698403559802837802765642198956330/3983000819630019\ 2733691328353989590677962839582088849888671245905485970487881429403\ 48980513783334862087139607318019*c_1001_12^2 - 7356654528224757565455486199781646497104653640761265195522701017237\ 4173514262723362120338434308301004997923624707459/39830008196300192\ 7336913283539895906779628395820888498886712459054859704878814294034\ 8980513783334862087139607318019*c_1001_12 - 4547740543213932399772383184132747967494901047372400484602700092890\ 053087845456494495411981474160481199065009936342/398300081963001927\ 3369132835398959067796283958208884988867124590548597048788142940348\ 980513783334862087139607318019, c_0011_2 - 1, c_0101_0 - 774038686846854952437806964641824059710919411367971612263915\ 55374149438114935062624786165494546607957151066999811594488613/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^34 + 1615481990461197643430221592049550002347013759859307369376455366967\ 20422534221995135973482523422306073494608121261722585267/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^33 - 9139982822520347656987038121671805962500192945873868114172522057810\ 8830035666956463620862961504915790891446288538107328381/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 - 6114528030547753596729160981288096934791704369610655911849181763146\ 42791543028626405578438558211578600410274560249235771685/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 + 7019742129450229912496329515883319799399575808866530798192571181675\ 678177892151509934354458225833803535653967524833954450072/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 - 9744410310129484123466980878405918167192511899342033942296033533776\ 552874501132814262835290441674101703194548380640858824461/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 - 1248119071440034871809290853098707285621029599868374569410889055952\ 347978288162607506105268201203709888934279350630135371560/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^28 + 6328209721015299984553923938289246202044727975923811120388098704572\ 1488001195400222563047088299678736138638220667753369232698/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 - 5022138845555371592374016025497973243793952814668793745183999811598\ 68682345385169986351637202414894689539822757143278044661269/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 + 1665981621858626689346017667697000629258751415575651591781449450183\ 666469637397840106174698275821631762081455324274249415307989/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^25 - 4256819600732114001741856504563856140710920957548925748583519531645\ 653391709210241800605688644276372970737396777975143418482231/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 + 7645449006376690797998434672278958330954761336475734084628940684910\ 076390039547504872708946707754954840199603494149718001324208/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 - 1265041047227416321748495505420990650820865765277240599234307982829\ 6874964417077561480434990179971406574130295347381497293925046/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^22 + 2645470644055038459732498696434562558783564684582754471217894144507\ 2098127251580757541574597937474839291168538814071846588270149/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 - 4284573789080981529722713240549542131483759593266622475973628141258\ 5461268762082349552171587661655841123689774640085887860030006/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 + 6307281497780686951696364447360491894502299621260311884702664468056\ 3763237533811708059956952396282946049985750931793066982787644/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 - 8476421273443336315198731644059745893915072124611705218937701187911\ 0080971488159648588611629811594828478452988502998517871399677/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 + 3398479160233890770555090415914999040912052835211145857048042009786\ 050603370035870135110890788113428473961290915587912914508124/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 - 1456784673719345871215549630936158885955432539230987793484378429932\ 96409470617432969827975993420889479527205087425602865730262186/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^16 + 1116074155437042053150499832019607466185332351880505328418985947877\ 49109413319979273141954037522895727435244414161570035977035440/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^15 - 2062313980849172889850585128545927982560111970242580430977769286420\ 50945409660088598845218313948622315410826783622189484624769197/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 + 1167413163513493124286371686604604153258491115084466240867033966350\ 83656802116819359098371900428451320660562255553752330233334417/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^13 - 1468888637160465208089290138089268495328549780590097525617674974831\ 22644907700934026824888837678348395643276089519681006218171373/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^12 + 1219541344799596616947539189686533321433018173837862290121341635742\ 88132319819604778255587533779641751327973140300041810537682140/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^11 - 8485438363328575948539267134813861466782523358090867138847187587262\ 4953873996365855467976810641753152402184643490320116205365800/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 + 7617603552545764722131836517837743088297237392233752748790630910023\ 5103531417946153100684171207603067742848237668312886319513678/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 - 4027457751880479637034010147330864250972728395845712175387929361634\ 6073065818357400615437035421050313228430459297591428950192480/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 + 1765312008955853571071938501389601670160131667045768753990760189169\ 5652546493405448850160626803592554714221373689333331877390422/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^7 - 1312813089218648275588155876228672705227786378937083558727975407657\ 4202381853159916548737154962488842557384151592203292107787433/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^6 + 1819841046194393005743535904598782391976898021026289301768292325845\ 939772241550870744139876895803006853844781640256075470231980/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^5 - 1617290059738620825685563100556383488822606963764913283126122881699\ 172933775778972188060434163447034151757564389759830482851407/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^4 - 7169101010869006724717852434967234880066714288196168620300682014284\ 23051602265134925504981750834770950634340425768022361786241/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 - 1295277468848061797825532375277055757881734886989152730937527693827\ 74419786714153820861742864163401272473475165434542309750449/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^2 - 1821531829500331317125333406844509471574720373646732974725550581977\ 2381492327775002601192999110866184246757490012344013174482/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12 - 1036221049867599023413419994333655248807835409276830620151316994462\ 519172894499106403478630767082323796083312916036336252975/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919, c_0101_1 + 389707014126135034167426934372113821459918128408337495518074\ 39220135371629666189167574741437530282525173710636011237916317/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^34 - 8097710414554124519302171035672909134679064886722250610187151259057\ 2194395216063069055421674450152475655645726249460222169/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 + 4530672447077221083606745130632044925179879284396124052956877313926\ 5659554131618561222187942037881939486057864328361514233/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 + 3081501800671630754836349099940865737455936730039241637538108044536\ 17636078375332107385337747130792807367440990876595515369/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 - 3531273617584276779381820305303621163045706459039304883988337266804\ 936751114091837065653903535294070815653326366164838735046/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 + 4873802944805194008361477401383799846584741634918824200192321668696\ 840291370558459461283201040367405880954071537642234143180/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 + 6697869683082986891960155547372715360392726043964316972449437351157\ 35234960159077953657889817199476340349433991922069647364/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 - 3184621159056155597746302525148255922426106748225057212695269711703\ 6153894712037472350409306689811095542911303154766918134661/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 + 2525524501747635416708571969279139936918231203534740950852250153283\ 37970197563900875540935279502450237438364661669731682832858/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 - 8364831604283384638052069665055943412792172737557277695510069320781\ 02474873610077572698784289884346024017568537134858098025886/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 + 2135761177467434934522431242096080602542990135317026579465385299520\ 671547299925871354217744847755534448262943286700292587274714/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 - 3830674368194720642127966667963085929554513783697417762047211233649\ 053709248799573227410156490976164457836381047071954057067201/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 + 6336805186083464652878027892442439191193440080601844674723745436622\ 226322842517680820608562429477157905717011166152877179192875/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 - 1326695064647575735032875793445831916044781053781514062370059110839\ 7780941023621024791957267863582355272182392022668857097800976/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 + 2146008146189016709768644979019799162322032204772491602252565145575\ 7209975919841158685916107446215389525815840919592038375816239/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 - 3157773309142975579373191201823185391874445454006984883600180495063\ 6835588916481033279767186274374697563966884814677712152787276/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 + 4242142712250685611030231624373413768230260532193686339678746563795\ 6999382165039304921263881547255764714169418898136801469456558/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 - 1700228907388640575708952161853169245334698874384883389399426475643\ 437330901392391804315009532954664139731665201620305795536810/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 + 7293791316025769524046818460293030642447680332438825438432884247262\ 1152146414711068058348906876524677355820381685174645670964289/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 - 5562139705602006977525528614230845210132553136425360665300064885841\ 6682931320814763342252590102603362559416342040466459867393143/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 + 1034519881739186639516074577490513046870201483448628852346333776696\ 76484229080365758093666851603436178028608369965186853350031363/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 - 5796770854572231880028662463649934093204777214845682934351932358772\ 7703599497062185050909510190674517985905068961658059826303494/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 + 7358712852528306053106699848661857026804062629075950093174327305495\ 9250526868822301945296339104026350320571782100513735485606836/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 - 6090482013372871269979504975921109493135887134470844390608905581300\ 8127404274725653161035075750645498652632550754581000444891831/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 + 4231020861606363681876058617735077389014935254928541434486927588403\ 8298383933779567046423633313289116272774586344147799831529203/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 - 3811096303644554878649711706684735461481313816547831135459441063877\ 7467593802249934415700525105399390818842338855119623712125761/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 + 2004722439515100864966754099924231875576287412923975282157619745280\ 8413346723944036016257149118740888638365220384072858181209386/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 - 8795527246800770597343616925954722179624061742457367824975303264956\ 976988127358793210549968538080559251174609927834735400266519/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 + 6597941820981616444938974522134738564784142561722043037498910921765\ 550610223659714703272811606402595448871103504772109541975294/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 - 8931972376382157266809445522184882742159975595355475325030200515481\ 05206984480778628022218577939486386349389809453304519806317/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 + 8253551768546750789697357869117233708947833678280075197235103432809\ 20718159300632230142922178456255855791043668524873791033230/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 + 3581890999913976205235629061658349222663805503584578952813970062029\ 18156194580815831156610342938483321837607895562324502977885/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 + 7153649774986468231913029796163502710822940178936910134232698971865\ 5725643566304777549114446810412992459393840651682237581236/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 + 9002951543392566863001866919591984725399765189269269677048900684570\ 609799124665276794150943559081098207548191148608538878900/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12 + 5000588246229843594512988431008478814812256505967488906737484828912\ 59781979955297623029061520953838710598440921536609193243/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_0101_10 + 38578107029059555508932929548961822228470968949328036523479\ 421937461548260508987478340585910625363410767722893762188125131/133\ 1959326923302571526837814309929654810413792711431020100893890121192\ 79316826215670647232608460393239877106409422212498919*c_1001_12^34 - 8026050877239190204168430429880936315748589354293562725447760271144\ 6558033512466305944533693249994924109811170197324159385/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 + 4501837618240020403037248033612300290046084702864582268638046301914\ 3060658525293526813956968375308123308446406060508093002/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 + 3050226837005841541116611554992161292895445710212139926323946549353\ 82643347808109481214296304014555169261979608118039769263/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 - 3496557327247760486007654745590302984626482466907537306492748537445\ 855828642265803164873438265300016799536363750013131687915/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 + 4833408461708451112747796729802655313918951021280402464780778333587\ 273730653926936734150870558803528641823394498848511402495/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 + 6541845174509902093142939026400047479454452269066293750829159811624\ 56683463035928109138182252200553786456937147784520477033/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 - 3153306067035876467242020676588294201029662778131610891223810247551\ 0696818271131305234058889170433941779529972247372452889209/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 + 2500904493565709148401482479833682564368478899260929198495359663239\ 61110467670723654150034315879164039949263767224380776336615/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 - 8286679269858838888849243806663315422433419071744949243690336588786\ 18257870945847716263563007254757208167505957852658311936713/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 + 2116116793371195839879977506937737044490726145378454098616597950380\ 116147714990186017545314373512805585848780769122730272887713/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 - 3796616168951620107045396701699038519964021925181478875442684783315\ 129848183495127229586620700893397638153934349198648616989296/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 + 6280337176752552764685112584306397042982700058453652096755668198086\ 142838497870425503074133399175621501694235506892117312887187/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 - 1314492796108480136370409904657292941613034049294175480273018777101\ 8592391082425578452112739258052082448417231797055004899671941/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 + 2127008675861862603522938851700039849312547161873008567644523738310\ 8744362186886195902959730508322678049826286970775740258337853/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 - 3129900907536877448061202542860936544653211603519546025181393794078\ 6198513202254721700793987909528319565476700006668985558524170/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 + 4204879333754895275977586162914240270875487732312188700871129639981\ 9201305869994756304555603326714003578730553454067731248083325/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 - 1685338061322355295724966890172904727135439181853542081245210593581\ 360458750955881451471381084437880767211390194831339504212097/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 + 7228445216602191223347023762664084600432500843824102311806120617178\ 6119186247395100149275391783578424865697046384907306892172230/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 - 5517988497982508673145242379277927603780387872790309531437176754471\ 8259917482721902168981695246930459897321592871363800814704864/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 + 1024610579967220942087178320827432333284887287399069781318967397990\ 15269053055341623535325215537447147154279060298426718579049093/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 - 5756648907722937993265944215245947297399503973597802659890324129541\ 0382433128201190535550374549562376874434449657707161378055062/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 + 7287112813872021914555619912409406441683703908743591837059011423129\ 0069637229340772707391408031219236358788598663564237973051680/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 - 6038628059438178660998164090872958548116026843994672524347835032033\ 2071335659084579844752304067293372505164332442707037188436017/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 + 4194315984503443707401983808296804481297958048462912861231908285148\ 3305988336926428354926782358000837198455889498058008916076118/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 - 3775052365088217000194129707132819320567589446539216047071778550448\ 5163552058212337289663073794896945357845282764139420184464031/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 + 1987775353192707757253293619126481765009776450327094785490919901639\ 9724852329210931028592831461744032500531205618750441629641129/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 - 8705002521789480709799810323088402790668640654515861758885894955697\ 792545047083417995654646992704796951153351122168951549040085/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 + 6520606855650681246516403846483183126730441737556204736396865447698\ 225126110498048300945069267834088207662589619142630203901148/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 - 8844522808307095463546139146121114295983550298354921844437787365756\ 46699931441876084715164186367892055294852764165035075665533/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 + 8097414235274960341124122608384634706460194320290450585107199000931\ 06734712495963442117651897467842138759161341765148730737009/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 + 3557972623657339982605784472991066901791483189024095986558817874248\ 82994849036532464326902085974884772473872280306650221466838/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 + 6850568637809895032062160000731535910129836530489600349523496185569\ 8052734081879424317865935967025891470849138851297156805870/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 + 8574005466165918926209229537550910961370323436184683719117023250168\ 860757415130001519082308272112982861034543180610897569897/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12 + 4621332179895659235946030247558092294013971995924599209423186705017\ 47884197654076226841688518883765495510677582990021972185/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_0101_12 - 42118193586995524231074909062776983408271640691431001773170\ 580074583434391401650282222592790010134568575459916929497952048/133\ 1959326923302571526837814309929654810413792711431020100893890121192\ 79316826215670647232608460393239877106409422212498919*c_1001_12^34 + 8758570492617399823475527453602562990947901503045409775617690737725\ 9803463523333685549893891188438585164015419532495069680/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 - 4911168700754785218733489587656638938873306875379839767230942953417\ 7308325796025144024729988195156967957817976022062151255/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 - 3329521631304903747387788291404893571332035157809759750951113839103\ 37485095998844425604163961715262778483062176085649596240/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 + 3817019125178468250916458454257981576470060980535761361667130430347\ 311971141377687416383649479591156378928418349685724632094/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 - 5273669941621217677748710692132387219384623455938020175052905435730\ 288550745530286248869106292873501419672649476119678449810/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 - 7150113521814615894547145993319458032661252108624601198160170944307\ 20540496384954982019986792695806805583868166761695786567/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 + 3441911757624461293545827060428418421099790727056415927158593262605\ 5508508072582430157548395100395998015759890370373153117024/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 - 2730061896506946495727702238764070168071784390932055208028255807663\ 05386762028164504133237146943973836805577071546718892803667/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 + 9044886418537481151595108610776522099450208490241450407643022817745\ 00716914234497740847334821386151676880282427676055766457866/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 - 2309748216991287012554141089429980901783509999647679485753865774130\ 308470638250963465296955759003318041538846111301176572306419/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 + 4143880718748442662740310762412491808279851516900418952951579841669\ 722461037913786523563704840656101601060526484383645060188905/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 - 6855495468673277128817716985740495497284544881174602296821639658402\ 549097609658707299344453527035563397187401331160459761667963/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 + 1434987080319810295223874880782594306080725009342560115624934658273\ 8449975122971909704380313492990511597430733977127053035307731/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 - 2321705627565463321083315224419363009769270454389337112066755133153\ 2205073854582601586269821600752318279967881490917381453735321/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 + 3416679422609421899251363850732592621019126987844473780067266976943\ 9385217605628189746797760308713296378284508889474268509690803/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 - 4590456575861498545932360780103420302398210173665388052328181312226\ 4384321412062756331599164005007339013664831594769349087397511/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 + 1840017664637056693010162173310513649943770308607372684191780595908\ 340503792543426087233837136183769133922599086799030922340963/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 - 7892402465493695134342222738751704176416939176221739835496097919257\ 2572450196412448838857475720899733270879254257697641889260039/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 + 6024492199618576352550915710833000205138253317595034028499767712935\ 4327008367375607152815232753136587191627254440068295858124552/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 - 1119094765380651190958770222518776693498227254375468237731326625343\ 15731453082319317003889954573102212960363006708601392686011833/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 + 6283328738858141286401176183072730687654042203535033912485300485936\ 6670195115693742324685053987851117804633683110174092280048994/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 - 7963861610803990041005751201651755022514733700174869551830269802138\ 5247074546096620248700917951817289089971745864632395921327132/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 + 6595504414431932339460129559225342032797253124817798865549994505817\ 6889954199732488613943890092360382735655832470154046533070730/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 - 4583677028656162146119055474721679195940820148356391490753604325449\ 5962309246478794439031847223328611923224023121932790841836364/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 + 4126707009141415116003127792909848409190269912069492196701049898533\ 0233537878199289578026458932266354552744180718163820702011627/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 - 2173351279624377050817550025786442661978555269553967707640777349377\ 9986176649663823483516956202120700386502492981861908768440760/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 + 9542436676244460438421873548863066255640029145472386389417192322652\ 045564464026224123211528748357910948122706703359259044372455/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 - 7146562791184198187447470989060987957293160752586664989838342885874\ 642327933205042961995476289906735668509495710564434720225966/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 + 9766222960685866623533576753089378296948336490666116847568305082334\ 85748146891654736062471871050386096784885941203948963200897/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 - 8937293533248052081011471649495945067501548724692011018834382501884\ 16606530647858840209296789618177504001245322836485547900429/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 - 3859850949465426376822328290665820867929951263090695633862645443975\ 04483757472713405303551834516225592331744704189332409864286/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 - 7644793180442077205560059471946218528585205568355647251990444054981\ 7444812077548067572098222405966759764183865539709571831590/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 - 9632420757401753734130225412241457745664215373998604122209989764295\ 896995623661698398262722653132241362207698616381313452098/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12 - 5215699966988102401879706716860913668932305498475448838109206742167\ 54646692968895656184358596146157586153606670320263806687/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_0101_3 - 248560080766369010398454977651368072127451852717049847567394\ 74138424646490088235725902348373352062526136495864064059551388/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^34 + 4773119151461651978204653464255122552589912640423910064603710583059\ 2010336810052440759613949903260777955092613882506294666/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 - 2030450715773574679757927933007660569350171917635633910383288269272\ 5901890309776387922304971042033545541883455408605733282/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 - 2021219626900336963899799902231838878837204769747163452990834759101\ 65088655570537811885385329366675710077115855579085378104/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 + 2222029656638101610429410089319937654684097293474613613381885230664\ 697013504502039650979036072711202086605230884287940441565/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 - 2750167268257976305426485281020213365185821137421125128052538462464\ 883178172855303735382470432813806972217394244545888952723/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 - 9588244473120461618866935550814867105646217552862135676059132610277\ 48260494068919238025537856554583722291908390192677683448/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 + 2030897834323003770956861608788569264770822736494256482292988040727\ 9204856797487878773797638521328932743410805120378262208372/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 - 1578838075224656268678921917529965417932422455735051514025807581583\ 86796384241223291283338963931246183796559846708933921951608/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 + 5077639807532125825523407727826734532655927013146813486875556248172\ 33921986949159989770220027151395812646467808883393050916699/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 - 1275130908749446681479387298507178938779167696429950044299116825237\ 559314186862476426879617612058365337885111861567217446788409/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 + 2218297784807527930351328393240186424044654388843195964071904337031\ 690155071039814419542689995857236528665028312188069828073679/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 - 3629950712295198468873747509341062465044035059353527203865226209582\ 169558085476417439921614625392766787003839425617491419913294/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 + 7775535998118398533867876174122083405467829910036383085335593067991\ 601791805616398112215203935535640994364295394410872154153094/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^21 - 1227154850558605137797144771955726632269141874282938615115970005524\ 4182841443668805515037524194684965006454695607414785252591816/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 + 1781482171794282621118513326819147798045781868077763033413910522111\ 5580068099450322012940430633148312767866198306895946468317166/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 - 2360335970173940570385177542375687956888484016618209071313452229399\ 5610084259884188563614128212664360869342783108770544363461341/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 + 9334444935496070678567035895789819060718063447160110079535026522190\ 51168332302042471259453837461056551102624165776116043054268/4296642\ 9900751695855704445622900956606787541700368742583899802907135251392\ 52458570020878471240657846447648593852329435449*c_1001_12^17 - 4065680233417456418696525619762118368687190750828781587230624988787\ 8812533334639628066455989714631521678777610786121398707060807/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 + 2743358874240192453373770613823738689791574591046083970123084681567\ 9452887000231684729290011994254388233401783332843805271547495/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 - 5942138913478847981081026928380104819333523372662887058170207603025\ 0995266142697975211750494818218339982043838407660616124579905/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^14 + 2575945085414876877048519718164274410095335456869344874826343425926\ 9065102834245379435035126681035911663940151020373269871883138/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 - 3976927390228984307260784122559403613991186036996348133211957588145\ 8114506900008507076662679484522640038815475525193690313325804/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 + 3054282550023633888795036980880002219335521880527888324210534571481\ 5998580465012128236550794522259729233800267825638480197344797/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 - 1985959127164050097257550361935016963143453872654248389002628304954\ 6655849903071873587290884455953623679537388292312878681100101/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 + 1917902365921876955815447858983196265788164732511907726696459562110\ 7270356642745632933166283557591111178467007485746376558219104/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 - 8316377965119520733628337482287174748583896975799860915294264825874\ 526380159460482718904056706321167986878198254375666102482333/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^8 + 3048310480789793886321202939468376991293141107294213374140555404618\ 858997215976368261679586046475848364944807254778590913270574/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 - 3000584312946661416523393832931182885857669844506338652787262045449\ 933013982344745990582848025411948602891635413775789576100546/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 - 2471731467649083869621829056335628189991494601227726778033774854152\ 08437258484309647633238839201708077200593781964838959977567/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 - 3370367513226911308424164661375825219260831041983732843286357503991\ 83745174394404188201868104023735538113848531529284443935778/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 - 3378937957648414114750972383371251998313392491111777415817035459892\ 73995920821054712325411984371686895420546097850867032145266/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 - 6828110171948424943991570123145202699644375412802120656939976905539\ 6052060605683101796641110372712380971417620312355308981541/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 - 1061789934091380526387722099422481537805542748254494788772079509009\ 1785725230552974840704921591387328912444454800446085720777/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12 - 8941423064798667499796286160223193906542200363470129549864399284593\ 98033354687942456787175293270156944098733486899639351760/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_0101_4 + 394807917027965881995750639951090375753361190112964639488342\ 92611639386330316993879987226027983127641846058599482081083103/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^34 - 8184780684987167890036370899607091465819476730734610522102525215781\ 9112160189341979858658696449247324365664634907378001460/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 + 4552384425043956394948633516651822972783048749095003465157288760775\ 2546247092159272703005126293250938281584456432932856354/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 + 3123574421324731885654881578456342159022459406255228664993281134933\ 70294643330065845091885482232846166672399473429451795672/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 - 3575954083945534341888434167139137544161336015877559546582939142845\ 703245455244120896280396322696703625595306779941317954395/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 + 4920569216875474034208198451808776944367235750389106794564473664913\ 123541186966263439326546778058867626090874152830859459978/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 + 7005755429499239117569910074935286782380596193078744620741183095342\ 85310123143105639473157064689013846014903649942230299267/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 - 3225668393912773607687052791791040249413710874380467071665771407391\ 5142664730962303501436544040204316909158950306552445152622/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 + 2557022368679254496570839714096190878463990954566543343532496095474\ 19827112510795734643366221028003077868371033513502762874318/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 - 8462196272151564129526027516704897844970271143483529362603911959602\ 92289018058294103904631583616557328706489230728071593838157/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 + 2159775307423802969282711237042059538029769799580837457060898194877\ 967794817976399903632462185586868214259652412057256706412322/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 - 3870884211560016310156492474495448367283200355415680458941447621296\ 101291888261904756181194561981595291741413599700888976674660/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 + 6402335402694581063277274731263813337559839165153610692655081141572\ 686026408404516195739022590163252642291374452483475807756357/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 - 1341216154151329349049194556470310480875210595840688719612423485777\ 8938734974014763431077487370425410896322999958115732086660823/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 + 2168054350409454155757833070516475233707421964425201750403560365044\ 8400413717796741771102563667195956468548148735321238558821182/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 - 3189470638298411683957585054925606561588325240178224674599086383338\ 0634647292804349046228712890900239940494050725330736873091808/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 + 4283685074945744763276220740282454226811087108848192082814529014905\ 6745997277523341994221292965584324171657703484907734698145118/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 - 1716505992366275434979319606812198662978673011872806571598402833154\ 248202066931431687362914819497194007082566028673401586765124/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 + 7366549751837367012080416427388633846875033666238282561047451727737\ 2247631108381497739816307666659896062619074378695962188215408/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 - 5603226842156391078371284297582791920098552947423138367086933933993\ 1237237604504561209157821904880441310097421161399744681247242/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 + 1045854874933003496203648057325474340276751865539778645782722951579\ 70784463174408203921264864625279887059583117503924145667372426/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 - 5827206591767483005303994750468384876506159933691565698235580052309\ 7682065506977567371771361164548236985185892202031001243622840/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 + 7433504369591517778161314167245153866030872455099523656344830809901\ 0978423525884234793197267982223601089479194447409127665441626/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 - 6140204841747963919856376882397431022251178581398289091629424269627\ 4792891514364266799114501216015252521614784742388938949642050/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 + 4262412513883740573488042338360328382016041843304474512780132689420\ 9405834534420800778493972836793465867469813989688810833311031/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 - 3845566044318769961760370831305737051897252059953400237274562261412\ 1344847329866951869537393646564091437512619449254897495770387/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 + 2016439346507687307055049177271636380001141552726078763791969568686\ 2018037951352955122067304672883436049289488110065591975230886/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 - 8846351337485669550808211469810883997003225580011803097859437204729\ 753609233016171081978161317814689849063161711808389038248186/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 + 6663309303174327671091766269104043051359096900083907234879491393457\ 972242786175554430875150948052350033007930929988342395034931/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 - 8848657994341647708938242435168857274094858389617098186482841557375\ 64124685493630807491131382774201966202291612949570787160367/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 + 8383758623612580290768947812818238181623571637627852595031601834664\ 30204436992033091367000706595476968418488077117302410886332/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 + 3646306288725097980427993612588540199656364107112230970125453488266\ 87845686027024625253710680692173846700698473986945127621168/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 + 7504993690657943713540865422549029441953041197967075679401530607205\ 4980291980156820579625637984898759650959898647383320951313/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 + 9470426295726966339460911471983299551018149578049817769696364357832\ 828208215481019102535175648157114854244624726993736876003/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12 + 5369124079411236719188331485038194980649145255352816855745523506256\ 79444945014547901080460518666519185201658310430241339763/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_0101_6 - 394807917027965881995750639951090375753361190112964639488342\ 92611639386330316993879987226027983127641846058599482081083103/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^34 + 8184780684987167890036370899607091465819476730734610522102525215781\ 9112160189341979858658696449247324365664634907378001460/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 - 4552384425043956394948633516651822972783048749095003465157288760775\ 2546247092159272703005126293250938281584456432932856354/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 - 3123574421324731885654881578456342159022459406255228664993281134933\ 70294643330065845091885482232846166672399473429451795672/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 + 3575954083945534341888434167139137544161336015877559546582939142845\ 703245455244120896280396322696703625595306779941317954395/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 - 4920569216875474034208198451808776944367235750389106794564473664913\ 123541186966263439326546778058867626090874152830859459978/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 - 7005755429499239117569910074935286782380596193078744620741183095342\ 85310123143105639473157064689013846014903649942230299267/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 + 3225668393912773607687052791791040249413710874380467071665771407391\ 5142664730962303501436544040204316909158950306552445152622/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 - 2557022368679254496570839714096190878463990954566543343532496095474\ 19827112510795734643366221028003077868371033513502762874318/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 + 8462196272151564129526027516704897844970271143483529362603911959602\ 92289018058294103904631583616557328706489230728071593838157/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 - 2159775307423802969282711237042059538029769799580837457060898194877\ 967794817976399903632462185586868214259652412057256706412322/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 + 3870884211560016310156492474495448367283200355415680458941447621296\ 101291888261904756181194561981595291741413599700888976674660/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 - 6402335402694581063277274731263813337559839165153610692655081141572\ 686026408404516195739022590163252642291374452483475807756357/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 + 1341216154151329349049194556470310480875210595840688719612423485777\ 8938734974014763431077487370425410896322999958115732086660823/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 - 2168054350409454155757833070516475233707421964425201750403560365044\ 8400413717796741771102563667195956468548148735321238558821182/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 + 3189470638298411683957585054925606561588325240178224674599086383338\ 0634647292804349046228712890900239940494050725330736873091808/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 - 4283685074945744763276220740282454226811087108848192082814529014905\ 6745997277523341994221292965584324171657703484907734698145118/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 + 1716505992366275434979319606812198662978673011872806571598402833154\ 248202066931431687362914819497194007082566028673401586765124/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 - 7366549751837367012080416427388633846875033666238282561047451727737\ 2247631108381497739816307666659896062619074378695962188215408/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 + 5603226842156391078371284297582791920098552947423138367086933933993\ 1237237604504561209157821904880441310097421161399744681247242/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 - 1045854874933003496203648057325474340276751865539778645782722951579\ 70784463174408203921264864625279887059583117503924145667372426/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 + 5827206591767483005303994750468384876506159933691565698235580052309\ 7682065506977567371771361164548236985185892202031001243622840/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 - 7433504369591517778161314167245153866030872455099523656344830809901\ 0978423525884234793197267982223601089479194447409127665441626/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 + 6140204841747963919856376882397431022251178581398289091629424269627\ 4792891514364266799114501216015252521614784742388938949642050/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 - 4262412513883740573488042338360328382016041843304474512780132689420\ 9405834534420800778493972836793465867469813989688810833311031/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 + 3845566044318769961760370831305737051897252059953400237274562261412\ 1344847329866951869537393646564091437512619449254897495770387/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 - 2016439346507687307055049177271636380001141552726078763791969568686\ 2018037951352955122067304672883436049289488110065591975230886/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 + 8846351337485669550808211469810883997003225580011803097859437204729\ 753609233016171081978161317814689849063161711808389038248186/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 - 6663309303174327671091766269104043051359096900083907234879491393457\ 972242786175554430875150948052350033007930929988342395034931/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 + 8848657994341647708938242435168857274094858389617098186482841557375\ 64124685493630807491131382774201966202291612949570787160367/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 - 8383758623612580290768947812818238181623571637627852595031601834664\ 30204436992033091367000706595476968418488077117302410886332/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 - 3646306288725097980427993612588540199656364107112230970125453488266\ 87845686027024625253710680692173846700698473986945127621168/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 - 7504993690657943713540865422549029441953041197967075679401530607205\ 4980291980156820579625637984898759650959898647383320951313/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 - 9470426295726966339460911471983299551018149578049817769696364357832\ 828208215481019102535175648157114854244624726993736876003/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12 - 5369124079411236719188331485038194980649145255352816855745523506256\ 79444945014547901080460518666519185201658310430241339763/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_1001_10 + 38970701412613503416742693437211382145991812840833749551807\ 439220135371629666189167574741437530282525173710636011237916317/133\ 1959326923302571526837814309929654810413792711431020100893890121192\ 79316826215670647232608460393239877106409422212498919*c_1001_12^34 - 8097710414554124519302171035672909134679064886722250610187151259057\ 2194395216063069055421674450152475655645726249460222169/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^33 + 4530672447077221083606745130632044925179879284396124052956877313926\ 5659554131618561222187942037881939486057864328361514233/13319593269\ 2330257152683781430992965481041379271143102010089389012119279316826\ 215670647232608460393239877106409422212498919*c_1001_12^32 + 3081501800671630754836349099940865737455936730039241637538108044536\ 17636078375332107385337747130792807367440990876595515369/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^31 - 3531273617584276779381820305303621163045706459039304883988337266804\ 936751114091837065653903535294070815653326366164838735046/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^30 + 4873802944805194008361477401383799846584741634918824200192321668696\ 840291370558459461283201040367405880954071537642234143180/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12^29 + 6697869683082986891960155547372715360392726043964316972449437351157\ 35234960159077953657889817199476340349433991922069647364/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919*c_1001_12^28 - 3184621159056155597746302525148255922426106748225057212695269711703\ 6153894712037472350409306689811095542911303154766918134661/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^27 + 2525524501747635416708571969279139936918231203534740950852250153283\ 37970197563900875540935279502450237438364661669731682832858/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^26 - 8364831604283384638052069665055943412792172737557277695510069320781\ 02474873610077572698784289884346024017568537134858098025886/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^25 + 2135761177467434934522431242096080602542990135317026579465385299520\ 671547299925871354217744847755534448262943286700292587274714/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^24 - 3830674368194720642127966667963085929554513783697417762047211233649\ 053709248799573227410156490976164457836381047071954057067201/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^23 + 6336805186083464652878027892442439191193440080601844674723745436622\ 226322842517680820608562429477157905717011166152877179192875/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^22 - 1326695064647575735032875793445831916044781053781514062370059110839\ 7780941023621024791957267863582355272182392022668857097800976/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^21 + 2146008146189016709768644979019799162322032204772491602252565145575\ 7209975919841158685916107446215389525815840919592038375816239/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^20 - 3157773309142975579373191201823185391874445454006984883600180495063\ 6835588916481033279767186274374697563966884814677712152787276/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^19 + 4242142712250685611030231624373413768230260532193686339678746563795\ 6999382165039304921263881547255764714169418898136801469456558/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^18 - 1700228907388640575708952161853169245334698874384883389399426475643\ 437330901392391804315009532954664139731665201620305795536810/429664\ 2990075169585570444562290095660678754170036874258389980290713525139\ 252458570020878471240657846447648593852329435449*c_1001_12^17 + 7293791316025769524046818460293030642447680332438825438432884247262\ 1152146414711068058348906876524677355820381685174645670964289/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^16 - 5562139705602006977525528614230845210132553136425360665300064885841\ 6682931320814763342252590102603362559416342040466459867393143/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^15 + 1034519881739186639516074577490513046870201483448628852346333776696\ 76484229080365758093666851603436178028608369965186853350031363/1331\ 9593269233025715268378143099296548104137927114310201008938901211927\ 9316826215670647232608460393239877106409422212498919*c_1001_12^14 - 5796770854572231880028662463649934093204777214845682934351932358772\ 7703599497062185050909510190674517985905068961658059826303494/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^13 + 7358712852528306053106699848661857026804062629075950093174327305495\ 9250526868822301945296339104026350320571782100513735485606836/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^12 - 6090482013372871269979504975921109493135887134470844390608905581300\ 8127404274725653161035075750645498652632550754581000444891831/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^11 + 4231020861606363681876058617735077389014935254928541434486927588403\ 8298383933779567046423633313289116272774586344147799831529203/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^10 - 3811096303644554878649711706684735461481313816547831135459441063877\ 7467593802249934415700525105399390818842338855119623712125761/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^9 + 2004722439515100864966754099924231875576287412923975282157619745280\ 8413346723944036016257149118740888638365220384072858181209386/13319\ 5932692330257152683781430992965481041379271143102010089389012119279\ 316826215670647232608460393239877106409422212498919*c_1001_12^8 - 8795527246800770597343616925954722179624061742457367824975303264956\ 976988127358793210549968538080559251174609927834735400266519/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^7 + 6597941820981616444938974522134738564784142561722043037498910921765\ 550610223659714703272811606402595448871103504772109541975294/133195\ 9326923302571526837814309929654810413792711431020100893890121192793\ 16826215670647232608460393239877106409422212498919*c_1001_12^6 - 8931972376382157266809445522184882742159975595355475325030200515481\ 05206984480778628022218577939486386349389809453304519806317/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^5 + 8253551768546750789697357869117233708947833678280075197235103432809\ 20718159300632230142922178456255855791043668524873791033230/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^4 + 3581890999913976205235629061658349222663805503584578952813970062029\ 18156194580815831156610342938483321837607895562324502977885/1331959\ 3269233025715268378143099296548104137927114310201008938901211927931\ 6826215670647232608460393239877106409422212498919*c_1001_12^3 + 7153649774986468231913029796163502710822940178936910134232698971865\ 5725643566304777549114446810412992459393840651682237581236/13319593\ 2692330257152683781430992965481041379271143102010089389012119279316\ 826215670647232608460393239877106409422212498919*c_1001_12^2 + 9002951543392566863001866919591984725399765189269269677048900684570\ 609799124665276794150943559081098207548191148608538878900/133195932\ 6923302571526837814309929654810413792711431020100893890121192793168\ 26215670647232608460393239877106409422212498919*c_1001_12 + 5000588246229843594512988431008478814812256505967488906737484828912\ 59781979955297623029061520953838710598440921536609193243/1331959326\ 9233025715268378143099296548104137927114310201008938901211927931682\ 6215670647232608460393239877106409422212498919, c_1001_12^35 - 2*c_1001_12^34 + c_1001_12^33 + 8*c_1001_12^32 - 90*c_1001_12^31 + 118*c_1001_12^30 + 27*c_1001_12^29 - 816*c_1001_12^28 + 6417*c_1001_12^27 - 20959*c_1001_12^26 + 53127*c_1001_12^25 - 94007*c_1001_12^24 + 154892*c_1001_12^23 - 327656*c_1001_12^22 + 523962*c_1001_12^21 - 767030*c_1001_12^20 + 1024776*c_1001_12^19 - 1266684*c_1001_12^18 + 1764854*c_1001_12^17 - 1279662*c_1001_12^16 + 2541042*c_1001_12^15 - 1278230*c_1001_12^14 + 1769336*c_1001_12^13 - 1412700*c_1001_12^12 + 961329*c_1001_12^11 - 890819*c_1001_12^10 + 436195*c_1001_12^9 - 184045*c_1001_12^8 + 150578*c_1001_12^7 - 9126*c_1001_12^6 + 19074*c_1001_12^5 + 11002*c_1001_12^4 + 2503*c_1001_12^3 + 383*c_1001_12^2 + 33*c_1001_12 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.670 Total time: 3.890 seconds, Total memory usage: 64.12MB