Magma V2.19-8 Tue Aug 20 2013 23:55:20 on localhost [Seed = 1595488004] Type ? for help. Type -D to quit. Loading file "K12n630__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n630 geometric_solution 12.67578109 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.584561549848 0.913013805748 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412885449215 0.907403046560 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -2 0 2 0 1 0 0 -1 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.193173729362 0.772659476755 11 7 10 0 0132 2103 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.489465451600 0.611963307252 12 11 0 5 0132 3120 0132 3012 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 2 0 -3 1 2 -2 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.903278485258 0.968316045606 8 1 4 9 1023 0132 1230 3201 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 3 0 0 -3 -2 0 0 2 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202923032322 0.996560340838 11 10 1 9 2103 3120 0132 3120 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 -3 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.695462687630 1.218093377425 12 3 8 1 3120 2103 3120 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 2 0 0 0 0 0 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.484885219900 0.552203905041 2 5 7 11 0132 1023 3120 2103 0 0 0 0 0 1 -1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 2 0 -2 0 -2 2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.146287955543 1.132903764379 6 5 2 12 3120 2310 0132 2031 0 0 0 0 0 1 0 -1 -1 0 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 -1 3 3 0 0 -3 -3 3 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689400381802 0.967440404513 12 6 3 2 2031 3120 0321 0132 0 0 0 0 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689400381802 0.967440404513 3 4 6 8 0132 3120 2103 2103 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -3 3 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.887890876768 0.868211243083 4 9 10 7 0132 1302 1302 3120 0 0 0 0 0 -1 0 1 1 0 0 -1 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 3 0 -3 -2 0 0 2 3 -3 0 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435527331871 0.622087461613 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_6'], 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : negation(d['c_1001_10']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : negation(d['c_1001_10']), 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_7'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0011_7']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0011_6']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_0'], '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' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1001_10'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_1001_10'], 'c_1100_3' : d['c_1001_10'], 'c_1100_2' : d['c_0011_7'], 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_2']), 'c_1100_10' : d['c_0011_7'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_0']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_1001_0']), 'c_1010_4' : negation(d['c_0011_11']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_1001_10']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_12']), 'c_1100_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_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' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0101_1'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_10']), 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_11'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_7'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : negation(d['c_0011_12']), 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_2']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_6, c_0011_7, c_0101_0, c_0101_1, c_0101_10, c_0101_2, c_0101_8, c_1001_0, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t + 1174745279609080111188524956437196990715118308006579276905572077165\ 06547909830778982069/6838366975337459897395421583333134862469546510\ 00485450122193059954478111916481302*c_1001_10^19 - 1669087340406178523318529565804832781620143034547881928399553842354\ 723438372757374787370315/192978716044023118304498797081661065818890\ 6025123369940244828815191537231828310234244*c_1001_10^18 + 1404749407905637757781811489883032909753556439986398301366821560364\ 6462092021403727773897523/19297871604402311830449879708166106581889\ 06025123369940244828815191537231828310234244*c_1001_10^17 - 3958151269456755078966465831969456758707901987320244220058144487648\ 1051808789409860283290331/19297871604402311830449879708166106581889\ 06025123369940244828815191537231828310234244*c_1001_10^16 + 1549405221156809816548578588990376838814276917958890581750999426770\ 963683283105868876754723/567584458953009171483819991416650193584972\ 36033040292360142023976221683289067948066*c_1001_10^15 + 9541338051545726258138527070039523383419981673495269300508544732190\ 088606844197235825964381/482446790110057795761246992704152664547226\ 506280842485061207203797884307957077558561*c_1001_10^14 - 1522699230935119125681734021716384399471814985037974958054082156484\ 96549292743616987720751965/1929787160440231183044987970816610658188\ 906025123369940244828815191537231828310234244*c_1001_10^13 + 4541378005678291098647969856898177607479754368475237521655183235309\ 618139750998101552551773/622511987238784252595157409940842147802872\ 91133011933556284800490049588123493878524*c_1001_10^12 + 9416246544371477673703185450292378357430966850028101325842719953249\ 7495184480172401195204927/19297871604402311830449879708166106581889\ 06025123369940244828815191537231828310234244*c_1001_10^11 - 1654865633786908241266953384324773143184779453011327819989507555554\ 37371060934544307675892811/1929787160440231183044987970816610658188\ 906025123369940244828815191537231828310234244*c_1001_10^10 + 6470689500864777658806152925325721486383805879561317479312880726618\ 2815226464005989521569385/19297871604402311830449879708166106581889\ 06025123369940244828815191537231828310234244*c_1001_10^9 + 8542889747964713416095729445033504968652503268616641180258650825328\ 1449255329830906393959173/19297871604402311830449879708166106581889\ 06025123369940244828815191537231828310234244*c_1001_10^8 - 1170059003750236539177739440065852370717713581900522444422723003737\ 5258539652346926642007763/96489358022011559152249398540830532909445\ 3012561684970122414407595768615914155117122*c_1001_10^7 - 1332702650914110872682236164547501980351691707841915855947980564416\ 3491156312743841618489163/19297871604402311830449879708166106581889\ 06025123369940244828815191537231828310234244*c_1001_10^6 - 4803338076374407852213598142110748864041994578778482431445250415152\ 16573662984591735197595/1929787160440231183044987970816610658188906\ 025123369940244828815191537231828310234244*c_1001_10^5 + 2912462996693138840849559349758376255224366374379115429333670608637\ 139229301389441609596041/964893580220115591522493985408305329094453\ 012561684970122414407595768615914155117122*c_1001_10^4 + 1965438676648914246656545337124245557880391388149816267653705617369\ 77339652056861286284825/4824467901100577957612469927041526645472265\ 06280842485061207203797884307957077558561*c_1001_10^3 - 1313567350336680763429258181863934164756474765253182738426275624546\ 28242423069544579692533/1135168917906018342967639982833300387169944\ 72066080584720284047952443366578135896132*c_1001_10^2 + 2651836711723007558772640888583638409341205257144142983433022391391\ 765299689196189894759/581261192903684091278610834583316463309911453\ 3504126326038641009613063951290091067*c_1001_10 - 1280205494928740112196784426282350303202806102928637542584176044546\ 10069065425643129691589/1929787160440231183044987970816610658188906\ 025123369940244828815191537231828310234244, c_0011_0 - 1, c_0011_10 - 94436909431594672366281761240439534500600317691356692500877\ 8629050159201377787/12223374698967664487256093633627911095664575046\ 9297604812260802565819664298236*c_1001_10^19 + 2311626595378860062531585418899802760602648539823472573766359697817\ 701881165515/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^18 - 9849630452529945229623927531366194395753959178200030331403704899257\ 788954409129/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^17 + 1074023270396648236073902841214974040552841533427611366865894302120\ 77023795259779/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^16 - 3405144390374324195505101822756662306287966442511230963171971683146\ 0196671736560/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^15 - 1245351991852895253198475430467524254460134035755832327466189974517\ 71633985840623/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^14 + 1030405616128370439464151788040030420862641877098657398887181203551\ 28372119038708/3055843674741916121814023408406977773916143761732440\ 1203065200641454916074559*c_1001_10^13 - 8658816071314054126087675859620295430249573247750090914257268080505\ 4887751887513/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^12 - 1521530779922079854530380694922289254157795475907106533786156002085\ 59811880715929/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^11 + 1044193907597002874157078391487591317736229358063913722122999925001\ 85278915825907/3055843674741916121814023408406977773916143761732440\ 1203065200641454916074559*c_1001_10^10 - 6655381874485624440673855199836686661675013046827147831746103869351\ 8317975553193/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^9 - 2482896198339250172797025635544736433685737088318127209665219042453\ 25259696309515/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^8 + 8836342341367533283938544708300286830136681474049824413300953963535\ 26776774719/3943024096441182092663256010847713256665991950622503381\ 040671050510311751556*c_1001_10^7 + 1769669614587578496152906650962109208169008023790704640698551491096\ 6561911896183/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^6 + 8363612260954687089816761841658602750119750504114928723193188180678\ 730738720559/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^5 - 3447556011179170347136372664470700402191062684703564398986949413909\ 704683225097/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^4 - 3612207840148633110600839261819454689998255781872253646904312467434\ 871994676829/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^3 + 5351123013163586823468010587335985870885338310537260613077710928482\ 331537315617/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^2 - 1923250788579495789419282577486777450292599649451268577245030015094\ 562985104709/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10 + 2604586175071427557465211333734571632380789329778844076704651098906\ 47664611051/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236, c_0011_11 + 27899732057206985372202679619715705780771460387023220242529\ 3308892929187655373/12223374698967664487256093633627911095664575046\ 9297604812260802565819664298236*c_1001_10^19 - 1440520951112145280991099199124308899265025072196746619516634675336\ 486508695593/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^18 + 1198107107469372826967697921075083083816956072771937846450851984674\ 1998010803483/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^17 - 8681233551218802347702984884099232425523311999541377609982916494486\ 072685502923/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^16 + 2385958262315658721605303021728137881196883195203465794944632523224\ 6227514499207/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^15 + 2884256089104221597777844356623625514402594066388334641998262779226\ 9235136192775/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^14 - 1352305627187602909590890962688100242810949950772832047520418594726\ 14905245243801/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^13 + 1318126435271814372278182182277458841631265280957811132070537419833\ 39440338656923/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^12 + 7356567412249587825944690111413208455242310988798572737531482909503\ 1936795557591/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^11 - 1567033997346399554477026321130662139236937250957448921865311312448\ 02063066730167/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^10 + 6445143422987672149347590811298021944440380699441501584599782020137\ 9064561214451/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^9 + 3734927722048355036847403623584971313175894169708648251833217239300\ 0935604471733/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^8 - 9964800840819450785242835571944534916837665211955955056029931604474\ 91288158881/3943024096441182092663256010847713256665991950622503381\ 040671050510311751556*c_1001_10^7 - 1478019743693027279137205635277727197527365163296315351960783117137\ 4093276124157/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^6 + 7962941707140387614405665587970722993810440613192820205767013791291\ 24160555727/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118*c_1001_10^5 + 1562358579651654137234283038029263562243624299100643420632077714206\ 708095977827/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^4 + 6937222524714681552463641320233914576273399718449041579185309366648\ 49576960833/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236*c_1001_10^3 - 5799096548910015222972574624492576659825496452064378389320861199685\ 72765482440/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559*c_1001_10^2 + 8355664065190361557656433771211504709895888385514080588842204653149\ 93850385519/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236*c_1001_10 - 1629171149040192050696442828785368815932711211074851871446511357330\ 2683308467/61116873494838322436280468168139555478322875234648802406\ 130401282909832149118, c_0011_12 - 36361031985459191884264978482371705647800087582169950331152\ 23928296105545517191/1222337469896766448725609363362791109566457504\ 69297604812260802565819664298236*c_1001_10^19 + 1813573248014273707177116838713878843678737462315789579626418622637\ 2506479571657/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^18 - 1531943695891096718447204551617372528801750005583655416972899932311\ 07444305164341/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^17 + 2134028210447605497290818159695473201599757608090579453650120023997\ 07697884770741/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^16 - 2783092038543601135309835191287326251357059807684224615842088810807\ 68482757752367/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^15 - 4473965824617786631520761300713134275103696721172111016458479261656\ 26894558417597/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^14 + 1651744969224439907880990994521789385337404330886189973292031840134\ 551561314993433/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^13 - 1461514823487602362621521804915339937427025274250775556035637433889\ 658637887745089/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^12 - 1110710729463857972079783265754971571989395625271075206366861285289\ 314006814275407/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^11 + 1767752318874901993363038935434247231218138672129205704100060972438\ 135885447956659/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^10 - 6158185342434620819200637582390144940397444834880688455848590724982\ 29968690885001/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^9 - 2426532827873538402051480449721689268152944178925372964897980270306\ 59486822736815/3055843674741916121814023408406977773916143761732440\ 1203065200641454916074559*c_1001_10^8 + 6805912887797378968245611186781160818453826153727554352096455885346\ 715095746171/394302409644118209266325601084771325666599195062250338\ 1040671050510311751556*c_1001_10^7 + 1615877638785379696573096115006843423157194800593069850181164090867\ 96248872335077/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^6 + 8638270832235801473568786470329036082874165704403789013674947459456\ 862848736969/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^5 - 1563486674184315470176765492551808064630261420228675530164363185499\ 4732145882386/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^4 - 1286234623612439340554220716224387403162392577953887814899790858081\ 5262947940157/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^3 + 5976842686947557195487151871368652628940919618955509972783141011473\ 145843572188/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^2 - 8265877035633337049107390398040529915664566268662356038887812088861\ 982061038963/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10 + 2684261957721247604348897469504396659868551528905932982727428945320\ 26310818852/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559, c_0011_6 + 133346312515247850725496170214247866887519500277621266440711\ 027071492572211612/305584367474191612181402340840697777391614376173\ 24401203065200641454916074559*c_1001_10^19 - 6845372585321927494984002285228086659797648387847263172125454258032\ 17431267215/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559*c_1001_10^18 + 5714075568673301806061796711293097729808817617832722293693322409317\ 801068185997/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^17 - 3292615520952250598076574483063732156623274099753293090598523229822\ 5306613960723/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^16 + 2263758955566058259317365199092009855005479389985323090657757529095\ 3376388036191/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^15 + 1368768726103187409400709348027657570947508985705924702881766863235\ 4893628315306/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^14 - 6346806493495150669524002956151041417737727462657209218064511341366\ 6789703912327/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^13 + 6269483147202662624068617773060987549454677089630084784356689996926\ 9222303662468/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^12 + 6788210995863151294961669397840287621971069347557579417130423499917\ 8492441983843/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^11 - 7243660935681343535643523808846212686061210912566131016604270210284\ 5835867713994/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^10 + 3253576651912679591350201707711705660548517614069087459548886027871\ 0662722149471/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^9 + 6816627931007935571507763795250788125676061374325187513301301786113\ 7456046739207/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^8 - 4501759809131013777774801914911008043731795315398901546857120626702\ 72908165250/9857560241102955231658140027119283141664979876556258452\ 60167762627577937889*c_1001_10^7 - 4984442424860157380406634634337857360487635220292212772013565907723\ 937395395607/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^6 + 1075110167504664455760165482344098293920405532139046435638613333264\ 106102968873/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^5 + 5627934439569043795252331851220399408694427388800018484604593310528\ 602639690899/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^4 + 1047380205142384474098324918388736927721620040048086947842404856019\ 41817958159/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559*c_1001_10^3 - 2128562216489964167684215440776144429790951520743923020646418196275\ 181141945983/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^2 + 8965163018014115509541239279104087640993256824617389307280351033887\ 54857190987/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118*c_1001_10 - 1081052915764584591386997411238344913834899122066420943464053866463\ 79353087029/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118, c_0011_7 - 311351915109914775179521919251651497041540171193383086313522\ 600218063168465065/611168734948383224362804681681395554783228752346\ 48802406130401282909832149118*c_1001_10^19 + 3158736862796630496526729206256604582197054027693852753787079358728\ 459606939753/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^18 - 2650373310732119715579013836019152209867444571671282248692748681830\ 2282471071499/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^17 + 7534434737800340751312384917469185503018548003807799322676588322022\ 3066791576733/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^16 - 5086188953005991281730334041177221909745520723540995376540673583652\ 2399832638525/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^15 - 1699405922438184162622189092879115608955026508632214668259480592009\ 8480288208708/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^14 + 2886965457780556102755197763503419517337892911322101779840375867221\ 16538350583223/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^13 - 2750384608845279961280245600101468414035718019238550488862499830075\ 76950517037223/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^12 - 1664269541166138429760152450059146671130868022550725137268120172603\ 42353587044257/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^11 + 3168319414888081765137956981283901017946385266658081755450729556140\ 31645400374961/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^10 - 1331005499939264983756216104106974308099903794281209067910832735670\ 42910085208993/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^9 - 1539947622311838194864921973744125278146260935047699231646089644780\ 73032106318687/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^8 + 7972400383940027398332788075965139447146588757218038858761068460348\ 47874778761/1971512048220591046331628005423856628332995975311251690\ 520335525255155875778*c_1001_10^7 + 2266491526256472752871486470545977142795436696252424093826697653643\ 2196514620957/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^6 + 1264183676048864791934865083223560974016115625798210410038000105493\ 533132740519/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^5 - 5219730157399421118613057899850788711468474001967990145050139404019\ 193219656977/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^4 - 7416599595925003107875907116779733116208998540171165714258572653719\ 96496249855/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118*c_1001_10^3 + 4034806845407675953206608496441293679408747555076489589510179503731\ 780599651505/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^2 - 9229639415788691680210102096039202534262681284061414427382066096179\ 15081254735/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118*c_1001_10 + 3273638401056799825020265488779859587421245539378635477866150919215\ 40500876819/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236, c_0101_0 + 312975845254309655989458186340184223830871513156860413703620\ 869974407815831395/122233746989676644872560936336279110956645750469\ 297604812260802565819664298236*c_1001_10^19 - 4494891152235091352209878405775896224041107230499160265139617784825\ 70315256690/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559*c_1001_10^18 + 3569330428200606087834095065468836627198830428624676734661960248092\ 424516636343/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^17 - 4629457117657689422581578054834774688748524101397626691283201201466\ 2879540298561/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^16 + 1800861115223911777564238032939936822636143325237064445196630229706\ 2933501316687/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^15 + 1176909647739291516383349568179291439373152289640543456175776604561\ 0851532958295/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^14 - 9114874177473697932700271150630391931356368379638740870961006569370\ 2663372692097/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^13 + 5473261476222900166556894930053611690208219981062830481041918542632\ 1170822581572/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^12 + 9281559532449678478566537547157727000742845290173371450329556907874\ 758758192016/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^11 - 1245929249940704028738071128488401771895307570907560485240313358922\ 59398138717201/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^10 + 6615427378346587002281707973849758424799248985124939566870598019596\ 6556483742037/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^9 + 7655123943690568105843420330533702755887087613084437890484045500076\ 3538492512237/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^8 - 2739137532141470709070755723073981715211495188209671104938377730379\ 722887768823/394302409644118209266325601084771325666599195062250338\ 1040671050510311751556*c_1001_10^7 - 6557920588235880962470033058386831899027316153061841725143949145939\ 502379711185/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^6 + 5905320060641842604532563584738560482133211959754592923417231896820\ 083109694577/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^5 + 2680675914250854709175650716887729237126015901616386958062805922489\ 691471494333/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^4 - 9901770127253855783248653349258762492789635113264380225245174425678\ 61923485313/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236*c_1001_10^3 - 4037032260862897278421283217483022301356825805233986106870874427765\ 801142370601/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^2 + 1530945772164318167593963139331628415507535520173503481643147686889\ 469621752935/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10 - 2565435692510192502093293227621165933115318920424039745521734478777\ 17737681589/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236, c_0101_1 + 127889363736937548231773409362337970837501466352646275144294\ 9528152935079419251/61116873494838322436280468168139555478322875234\ 648802406130401282909832149118*c_1001_10^19 - 6415746282610290225424592382862497861119210110177448241674613283229\ 198753478901/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^18 + 5407195550937062217352536058939322906903248643487253398565605166767\ 8751036594553/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^17 - 7585136362948327450380139285825476374099069214507507585669043975774\ 0026877092338/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^16 + 1001749456139062791058075403217607659488171704696121938940343050382\ 33974906874200/3055843674741916121814023408406977773916143761732440\ 1203065200641454916074559*c_1001_10^15 + 1510969309150736286333651182208699366784990180417669932445113006497\ 55283445434823/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^14 - 5847699201252507961024498032608222156351977917999359387252224810792\ 22022858096521/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^13 + 5315527669316952422605644852430423473960475701891954525145819669935\ 29344429194277/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^12 + 3738561562594738998722028407413663686519775330834920816371794242136\ 80518313085559/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^11 - 6314904675034293675658269781712357481150660901280458037939863096919\ 76026682002103/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^10 + 2360340111598761113092260826152055369512700132074622266297046671416\ 36564811705177/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^9 + 1670157556060082787048362197618715524130427135846898021256110125429\ 06791180141582/3055843674741916121814023408406977773916143761732440\ 1203065200641454916074559*c_1001_10^8 - 2698679488883095822036808255858955936783267145398489669295376806325\ 160834419335/197151204822059104633162800542385662833299597531125169\ 0520335525255155875778*c_1001_10^7 - 5396208212390372131325380108167990684891903385039716347189522803208\ 1847251227269/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^6 - 1886039824090413103464267744317338811905228815350556570335637117218\ 530737224658/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^5 + 1114443330747185418686742282602011129614598785857538249580053145333\ 5386764166082/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^4 + 3595978324185160441513202000946031524902023612174122592493246221348\ 767615734369/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^3 - 4305314437517274711947582458731302844998517480392428148859450610258\ 574600379995/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^2 + 3266296079282590935261062318750730659205219285822153652381327702491\ 535369141125/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10 - 2259442474257151061532500648074305409940384555597575003581239100963\ 42479525801/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559, c_0101_10 - 25240171467727384209762244466518036777974603240880947374360\ 79372267983269786897/1222337469896766448725609363362791109566457504\ 69297604812260802565819664298236*c_1001_10^19 + 1271061767258364409109601019238891118375348017220481853403077686650\ 8899746715003/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^18 - 1069701733256801882502516446101234435396213044935079384693512489676\ 20162953004739/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^17 + 1507455474556798180507152169239604736064423117004272155390017436985\ 97319688922953/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^16 - 2007770723718048469435514904988624939647750852388586754449477397323\ 63670128019365/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^15 - 2898868811468157881349994224040789162618322024304877952257221067465\ 65752936654535/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^14 + 1159444264509385179532867950381699563581017101012500467541048954480\ 559319290890751/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^13 - 1073766577192792726368493059693687459294602379096992038655564735486\ 679678488462827/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^12 - 7154604431446603810469367032808524989431632680148639298232411601636\ 77486218710961/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^11 + 1260945664776411519912286696062758648214823111716070150122456072811\ 869337924491785/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^10 - 4954630935149822310568272904075695167568106360110893217938755809830\ 39859722507823/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^9 - 1627532336766083081526126598434874624728354077640347069754376561258\ 14864275205723/3055843674741916121814023408406977773916143761732440\ 1203065200641454916074559*c_1001_10^8 + 5783347326239625079460368792091686983632598424413721296772926324093\ 453346410029/394302409644118209266325601084771325666599195062250338\ 1040671050510311751556*c_1001_10^7 + 1001848018098107512766446768741731303236524545250940205822754621824\ 14281566949011/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^6 + 1141190016678399553807730342077937618440603169185096744880571504246\ 287354052931/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^5 - 1119953845323021882598130091760610957920345246437751390601900372689\ 4630479452172/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^4 - 6374345194025684321390994378379501129006037609190633270747693566761\ 120790844787/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^3 + 4254170543227813570668443202628274735253379510140991155582443214097\ 810786797346/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^2 - 6766567109704634100917271169892675228079575771360006674122652375583\ 895779511005/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10 + 2480010865990615711911357022841199748786041152947977147949654518240\ 82356894636/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559, c_0101_2 - 291153011065721476993461837008213195886878082270249605394193\ 0720485877634119737/12223374698967664487256093633627911095664575046\ 9297604812260802565819664298236*c_1001_10^19 + 1475835895884673359264424170989660881985789438410937899731779181910\ 8979281823853/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^18 - 1238560168942587241572156800158266322486220145696839835564340575879\ 89566616854563/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^17 + 8793473614015234035132348925334787940737697538961306334939796537304\ 9865946012678/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^16 - 2368633009846087627033124065854042391587418349583723054631240460150\ 44758213698277/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^15 - 3220750195225532153739105951014939456000042050459688383158636595341\ 07540023633475/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^14 + 1352887952787220732764336198202064022754170916465486334800598643303\ 159635266554293/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^13 - 1281173881339001280555804511308255081748237351381623785975954232929\ 890974421042839/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^12 - 7960998445392116219668111023786606278378937046315359304018227516743\ 56971994296779/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^11 + 1494197863567029765946882282602849165724258117336151036690956775759\ 289797823163155/122233746989676644872560936336279110956645750469297\ 604812260802565819664298236*c_1001_10^10 - 6144369955269623162386057799224860896407402752800032177238642123122\ 28956691802791/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^9 - 3736189924061636924448627765894034239281797132428957714272102030296\ 30290302456247/6111687349483832243628046816813955547832287523464880\ 2406130401282909832149118*c_1001_10^8 + 7663816271123761181408728432500774449416200167858579051016278704945\ 018023374489/394302409644118209266325601084771325666599195062250338\ 1040671050510311751556*c_1001_10^7 + 1157127380623667940971314896625083951320145580955189515841760390240\ 33887636896085/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^6 - 2657624909103305871525438753844170572510159122755751316891612150033\ 601108313905/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^5 - 1352890208542789530632887146645153037354428539423555474279577952958\ 1558886084054/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^4 - 5190828416447666940603437896446625331368637706727813931228255577206\ 741811138793/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^3 + 5142876768699707720562981326279866467285014387614444625692781177259\ 350771743487/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^2 - 8401159464875522275315442787371412178820426462555802729651360183974\ 743032700847/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10 + 6071439437953599423468822500324179424689260008443645447436527280600\ 85555568965/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118, c_0101_8 - 712551719058669350012007471138378958558946336063387995602853\ 237674114310630179/122233746989676644872560936336279110956645750469\ 297604812260802565819664298236*c_1001_10^19 + 3669702819818774961241591759079073572850771986647610070758397806548\ 956352025417/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^18 - 3058579486164353811420158696126397884830600531356583265204098923213\ 3684515424743/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^17 + 2211452720808304180567874966490306639959181752363383818791811938024\ 0392052321270/30558436747419161218140234084069777739161437617324401\ 203065200641454916074559*c_1001_10^16 - 6108271734564685173229017204346413826331343824107212667662072289168\ 4027241237813/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^15 - 7121971189008836744814024945987976152410021860940856378634362032647\ 3449659126649/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^14 + 3393648000300986227864186660579582759456603239697174804183051468661\ 50377843174113/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^13 - 3369150749606961798553458821916108871914550904448201551328620944801\ 43181599253111/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^12 - 1762554651032869037347582812203327152117155789854554439498964458556\ 64376064995021/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^11 + 3855928591629277630760936917405992603484657489527912253643379635757\ 05372250172335/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^10 - 1721289998601180148582572196840361414005014172600509317690174108565\ 80078189248675/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^9 - 8788530207841346518894793762302751615671834245638123619842481375195\ 5120541400069/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^8 + 2395501803262965645080931412194937287287464233092981328135806264751\ 547554411207/394302409644118209266325601084771325666599195062250338\ 1040671050510311751556*c_1001_10^7 + 2880651665342976793315137737923014069815487147632349216786188306997\ 1827846444021/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^6 - 5624791834413302985291712526266574118914165345332834495076755330214\ 94826685610/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559*c_1001_10^5 - 6237029885550334934170836496104223129257349187335532463333906212118\ 548608635001/611168734948383224362804681681395554783228752346488024\ 06130401282909832149118*c_1001_10^4 - 9636018753280131764867460823969401936257551530925623565811503167590\ 6750890971/12223374698967664487256093633627911095664575046929760481\ 2260802565819664298236*c_1001_10^3 + 1281170417963567657467232229023949970003179210388283429742190138734\ 330045643411/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^2 - 2398287281389683996664700056186238727694639771884055925836055199189\ 150788909031/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10 + 1970609056046910776181666758544183504594378200919192857934011542186\ 70808089107/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118, c_1001_0 - 171512447624918265178055387805366635856507559377794877596192\ 733268805799349036/305584367474191612181402340840697777391614376173\ 24401203065200641454916074559*c_1001_10^19 + 3697891583410485106436873715599894276563273289553977040094732344410\ 832474200707/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^18 - 3019964716070112407893955023816869306521027926849369488607970862966\ 8009437828131/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^17 + 9177853322151293862575122552344401075850465925720056420844280141121\ 6195882558095/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^16 - 6705604714697937908369753045089783685153943086739517714859855565148\ 9369561664941/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^15 - 2533831364392838238916761358937606636190671401151443923886967892063\ 5610711675827/61116873494838322436280468168139555478322875234648802\ 406130401282909832149118*c_1001_10^14 + 3551964906933874077793171577483079669833352619601729381050875571126\ 50961910933985/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^13 - 3873748113448912123369916148097459827507439664267072479434555578268\ 42463855118039/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^12 - 1324533332149071453037603655940058263986947903282283900615714507638\ 01263276279349/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^11 + 4394891017629882032228028424543958251480507558423419098584459384483\ 54020155048731/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^10 - 2160800198950907153173703325125063350776103745382378544106216901585\ 25722499951205/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^9 - 1678923660150366888266319472649230791048771249451351339570050465764\ 61714560130137/1222337469896766448725609363362791109566457504692976\ 04812260802565819664298236*c_1001_10^8 + 9337357324192627744919073359231259484245721859103458269908839850749\ 98472249405/9857560241102955231658140027119283141664979876556258452\ 60167762627577937889*c_1001_10^7 + 3940195667578329589458128456444701125981573709406663176158073162128\ 9931703131343/12223374698967664487256093633627911095664575046929760\ 4812260802565819664298236*c_1001_10^6 - 6986230968705455965222712198483657870689554140667783483155666722226\ 770607861039/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^5 - 4385182211859236222971861172308524089766837822845216755567123631513\ 717462271185/305584367474191612181402340840697777391614376173244012\ 03065200641454916074559*c_1001_10^4 + 2205274514889268074950607825873989413538076703321102111735466459314\ 39422820491/6111687349483832243628046816813955547832287523464880240\ 6130401282909832149118*c_1001_10^3 + 6418665128954068466205003294355652904437187717370007025431720626322\ 850242080253/122233746989676644872560936336279110956645750469297604\ 812260802565819664298236*c_1001_10^2 - 6605857723236252010244926758480428274092490944494908934327642257969\ 08544452897/3055843674741916121814023408406977773916143761732440120\ 3065200641454916074559*c_1001_10 + 3644730933347208490663976013451232781630186233460986242471881122508\ 61210928761/1222337469896766448725609363362791109566457504692976048\ 12260802565819664298236, c_1001_10^20 - 7532/1411*c_1001_10^19 + 61937/1411*c_1001_10^18 - 186568/1411*c_1001_10^17 + 275017/1411*c_1001_10^16 + 95233/1411*c_1001_10^15 - 698328/1411*c_1001_10^14 + 794691/1411*c_1001_10^13 + 222221/1411*c_1001_10^12 - 48725/83*c_1001_10^11 + 486443/1411*c_1001_10^10 + 283236/1411*c_1001_10^9 - 210640/1411*c_1001_10^8 - 28324/1411*c_1001_10^7 + 15170/1411*c_1001_10^6 + 25741/1411*c_1001_10^5 - 3877/1411*c_1001_10^4 - 10649/1411*c_1001_10^3 + 6608/1411*c_1001_10^2 - 1671/1411*c_1001_10 + 167/1411 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 7.290 Total time: 7.500 seconds, Total memory usage: 132.91MB