Magma V2.19-8 Tue Aug 20 2013 17:56:22 on localhost [Seed = 2446337441] Type ? for help. Type -D to quit. Loading file "10_23__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_23 geometric_solution 11.39322463 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.943311783491 0.906658014492 0 5 4 2 0132 0132 2031 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332315746655 0.651579418663 1 0 7 6 3120 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -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.853809129327 0.470487583770 6 6 8 0 0132 1302 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.338412648684 0.821654465823 8 9 0 1 2031 0132 0132 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.726659128392 0.678262618226 10 1 10 11 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -1 0 1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671896395367 0.541835798738 3 7 2 3 0132 1230 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.594517520365 0.738357489219 9 9 6 2 2031 0321 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 1 -2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710810786934 0.570650745494 11 11 4 3 0321 3120 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.617443249630 0.584485130057 10 4 7 7 2031 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.710810786934 0.570650745494 5 5 9 11 0132 1230 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.817728126335 1.350409950475 8 8 5 10 0321 3120 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.617443249630 0.584485130057 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_4']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0011_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_3'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_0110_4']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_2'], 'c_1001_8' : d['c_0110_4'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_8']), 's_0_10' : negation(d['1']), 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_4'], 'c_0101_10' : d['c_0011_4'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : 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' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_7'], 'c_1100_4' : d['c_0101_1'], 'c_1100_7' : negation(d['c_1001_0']), 'c_1100_6' : negation(d['c_1001_0']), 'c_1100_1' : negation(d['c_0101_2']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : d['c_0101_1'], 'c_1100_2' : negation(d['c_1001_0']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_7'], 'c_1100_10' : negation(d['c_0011_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : negation(d['c_0110_4']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_11']), 'c_1100_8' : d['c_0101_1'], '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'], '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' : negation(d['c_0011_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_3']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_8']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_7']), 'c_0101_8' : negation(d['c_0011_4']), 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0011_3'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0011_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_11, c_0011_3, c_0011_4, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0110_4, c_1001_0, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 29 Groebner basis: [ t + 1169114249462265724162915217391469151482914613011835979203890211569\ 50032699801876045370/8368088897048529869010158805174280209886581953\ 611566186395165688888422680093267966567*c_1001_2^28 - 1866630255044042427453165355045453422359338817835588257110174738971\ 670782255848292276143/836808889704852986901015880517428020988658195\ 3611566186395165688888422680093267966567*c_1001_2^27 + 1635845709096208646483857553617914886949320798557671812306811112126\ 1203214226406467948096/83680888970485298690101588051742802098865819\ 53611566186395165688888422680093267966567*c_1001_2^26 - 1112277332182097721086899915769158797511658730831137940928481974302\ 35770276631183997417206/8368088897048529869010158805174280209886581\ 953611566186395165688888422680093267966567*c_1001_2^25 + 5771290521442263513312550611220056739908531690043065417937198234626\ 95105063017961026563628/8368088897048529869010158805174280209886581\ 953611566186395165688888422680093267966567*c_1001_2^24 - 1941814994841459029260769799961526594818483831951924693620669025988\ 171089514949705151905296/836808889704852986901015880517428020988658\ 1953611566186395165688888422680093267966567*c_1001_2^23 + 3238900912050790051818610289971307931523453728815655036902293881734\ 991161768724610352440348/836808889704852986901015880517428020988658\ 1953611566186395165688888422680093267966567*c_1001_2^22 + 1062402842399460024411114247316199717756932185306223683370495864008\ 839825155605087052563417/836808889704852986901015880517428020988658\ 1953611566186395165688888422680093267966567*c_1001_2^21 - 1403871468375731273169415021955613178909565400000057877972572846096\ 7308852505570128286737823/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^20 + 1577874287752798255780569454708650419831017504278528307684576547373\ 5987076556031601961975751/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^19 + 1993342533389534184205730917133810883718164010390557313449210000400\ 1452838202414270250717849/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^18 - 2970448504977372296857978753386927478497819962132653053023785775735\ 051600044690099712601674/492240523355795874647656400304369424110975\ 409035974481552656805228730745887839292151*c_1001_2^17 - 9921091074429722696355840443020355942884679048019024063448297171481\ 07012331303489533464556/1195441271006932838430022686453468601412368\ 850515938026627880812698346097156181138081*c_1001_2^16 + 8589337926098776940865014125422037632643252559049825760087943302709\ 7241349453727792152980077/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^15 - 1026324053687263849842781637033764944995601959905517635222864766790\ 749881956603869203708313/492240523355795874647656400304369424110975\ 409035974481552656805228730745887839292151*c_1001_2^14 - 1044955891413574506524431490040156161126046292144907520324788773045\ 80731667685834402607040689/8368088897048529869010158805174280209886\ 581953611566186395165688888422680093267966567*c_1001_2^13 + 2837015300684831054478422189108200552941011808167781620921640295992\ 9185728461123797274747170/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^12 + 1021070539802887634201820349175947986472343698506993005264314796794\ 10664579812290459583080975/8368088897048529869010158805174280209886\ 581953611566186395165688888422680093267966567*c_1001_2^11 - 1308540574501915928021965215275087541131761996070400329730324089738\ 6670588264032077056540061/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^10 - 2450264189943426404077224692886153860895641125211047834591302426195\ 770400778467867742721492/226164564785095401865139427166872438105042\ 755503015302335004478078065477840358593691*c_1001_2^9 - 4793472073647999176801163265227839015978576115694440693259701989059\ 8924786790532739898056250/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^8 + 2148627640792430800254897819331589969087124579029996233285102753118\ 062952573835746944295697/836808889704852986901015880517428020988658\ 1953611566186395165688888422680093267966567*c_1001_2^7 + 1066632158420541093108622483527589331690076360678218927903078882696\ 7480159313725476716231353/83680888970485298690101588051742802098865\ 81953611566186395165688888422680093267966567*c_1001_2^6 + 1229428599323100637281280578872779502386505173813812895455494733455\ 49877389771704488951084/2261645647850954018651394271668724381050427\ 55503015302335004478078065477840358593691*c_1001_2^5 + 1393356752398694115333037859651342856723307721620252446257769336348\ 28638340371864152108149/1195441271006932838430022686453468601412368\ 850515938026627880812698346097156181138081*c_1001_2^4 + 8000952370769200417747201555065484642727190431370377618466012366742\ 980156198483332572990/119544127100693283843002268645346860141236885\ 0515938026627880812698346097156181138081*c_1001_2^3 - 2651857861080333310099486582185963219237379102977375129484464434957\ 6946044227887155722679/83680888970485298690101588051742802098865819\ 53611566186395165688888422680093267966567*c_1001_2^2 - 2594326035292917609746318380723398171160399060699310346626142886101\ 93785303219366752647/4922405233557958746476564003043694241109754090\ 35974481552656805228730745887839292151*c_1001_2 - 7994249380654592916806107790297305125772078817822381890184761997243\ 42779181577046041002/8368088897048529869010158805174280209886581953\ 611566186395165688888422680093267966567, c_0011_0 - 1, c_0011_11 + 10138912184016938043522410662061266433048003564529153467038\ 63153561062117544/2145590446064291865231818676286518942783380239535\ 6459787925574680766423841791*c_1001_2^28 - 1551355462015974385080734854108579514764010358754677116147114239538\ 2753467489/21455904460642918652318186762865189427833802395356459787\ 925574680766423841791*c_1001_2^27 + 1317096762519932756304302079029276682813930816397065704657838064161\ 98512546293/2145590446064291865231818676286518942783380239535645978\ 7925574680766423841791*c_1001_2^26 - 8800042254370486265424388495088850274187832151419310015933542600288\ 18213380470/2145590446064291865231818676286518942783380239535645978\ 7925574680766423841791*c_1001_2^25 + 4449165562810151744988582008351291265268272265523966236322645759335\ 776225677371/214559044606429186523181867628651894278338023953564597\ 87925574680766423841791*c_1001_2^24 - 1409528348628689639006126190822558668091714186769668849608000183167\ 7343430487365/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^23 + 1992851821299097956398414860952651007316318403866314543312777775554\ 4343801852085/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^22 + 1759237849189006381466444650388542509209821846890454001015346347637\ 3980463555321/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^21 - 9791855503119860381581818210652749958494482194192556337035793614000\ 0822716443528/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^20 + 5886410445930728640505787922526755779935325593564016419054468952454\ 6850866576819/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^19 + 1946180432163736318083071422347683383599827235156850406168010684666\ 95875469687980/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^18 - 2385098780346056276440853830261308921730198662469708179598194963123\ 33164367087805/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^17 - 2665338164013394414934620916828384121880165334588475437384872576368\ 71370351176813/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^16 + 4607331646324813483082067286803253239547666122493166933262293406128\ 35111666513280/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^15 + 3373978208851110040873190020704147620774636444212618246143862068972\ 10723494417474/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^14 - 6248411080279012979030763744810490474582197775638938173504055514270\ 40070528294780/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^13 - 4631707657760544123019856880797126180774968461487743345680197842198\ 26846146970264/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^12 + 6183304021146740262629416346235210044790525488786330968660610453587\ 02997938785051/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^11 + 6095233472386103277796448193621280025752912841131863424823192478843\ 30048491278255/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^10 - 4672509976422687319201599483680554846850581261360653000325161368984\ 58196269901592/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^9 - 9819341760056773416912808592618433193236145606749945607999624886442\ 84391264040995/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^8 - 6001130717890316541514318640357141105002686396293263438961887135701\ 76057546749097/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^7 - 1486332479922374974159199356738793383069374627544204734336050128132\ 40942003154424/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^6 - 1081820567572355705501565101355341149954323073031907075788709060400\ 452172289053/214559044606429186523181867628651894278338023953564597\ 87925574680766423841791*c_1001_2^5 + 5711587385499434993812806761122328317823602753784017057501376176186\ 137295590085/214559044606429186523181867628651894278338023953564597\ 87925574680766423841791*c_1001_2^4 + 1028049111571066501096632949491009347546872765200029874716365893735\ 784567508435/214559044606429186523181867628651894278338023953564597\ 87925574680766423841791*c_1001_2^3 + 1856983899846135225577483055671348556531703743543343982967097033894\ 29437365/2145590446064291865231818676286518942783380239535645978792\ 5574680766423841791*c_1001_2^2 - 9810234727957350506720450155950860\ 4131634679539105872324607056375850547687495/21455904460642918652318\ 186762865189427833802395356459787925574680766423841791*c_1001_2 + 4314814056474833751695442292685549556895772757038924795454496342730\ 788007599/214559044606429186523181867628651894278338023953564597879\ 25574680766423841791, c_0011_3 + 128596323411109612692626564430189727399927755903017950347255\ 890751202709865608/793868465043787990135772910226012008829850688628\ 189012153246263188357682146267*c_1001_2^28 - 1951835577818763132133194347893308721033356860100311871066507984763\ 733727384787/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^27 + 1641833298008002293565735354155029572933146687243218990316069500549\ 6802174569252/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^26 - 1088231329436070767584288960737141849568334368045009202640441075443\ 99787314473268/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^25 + 5439746880197192046992560064427765437865888849235861441701327056802\ 60323569730768/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 - 1672775440663171866979663324888445493206423031770665183992199435583\ 114091507288137/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^23 + 2066418728097861514415226488966460722674349438859700691876991450775\ 742697406893444/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^22 + 3391422396773777530498351207371641783090890944109160546005591239526\ 197483375999190/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^21 - 1375080615794542833661051524726228247366266177133908188932860635888\ 0570337336601713/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^20 + 6206553146330524663542425602902187109940018628407119772172362890212\ 584757163068445/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^19 + 3092256934324707803755753277437340405226760577636910956219916961522\ 5298931094516448/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^18 - 3565162804685394036375006210520046125274792583027569387727064641455\ 8819626345088233/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 - 4149784392213399649828546368827882213008319435971701258167417014783\ 8429227008458852/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^16 + 7561303717380437060111931923258719198925649091972025872827043987199\ 3682379021587623/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^15 + 4291399678153575212278280523815124913794485298251357980917832492396\ 6537497869274639/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^14 - 1038860352791681855119098349145450132177293191991538590530845017928\ 84987680324623944/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^13 - 4774731055207263976098616746632925239792296530290037863195588629081\ 6230434780028490/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 + 1015264620247533151306673784126182784404786220573211373227061764460\ 05612812323387789/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^11 + 6156417892326329365344096899899599563127141341631908422714989384702\ 1270901789739637/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^10 - 2064072803135048294780035922495240866531766977642644483446297305900\ 413580794931822/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 - 1139692148662493992771592974483175118559894340597112958575044050920\ 06851908922982206/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^8 - 6607303843139490083975805093930854172567829567190749319563244072792\ 5585392237590893/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 - 2200894836348740235882667522011341983104706325046917739310926958910\ 8370645426755887/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^6 - 1246725533194042426840853554888903680274775338216949128352640014524\ 99385279781121/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^5 - 5212026232282394648201959058220520106944369868476150220197499222898\ 20477302450066/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 - 3174166378915406085365771906584735603661778998738719775760072419683\ 76891521329/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2^3 - 2253245701988454771922897463077254133439595664991765778360460807704\ 092422840787/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^2 - 2975451925459152222647170125074002212014057414352722197563089574507\ 503774000510/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 - 6545718646681111754464401877046661405555342949650707628405583657161\ 22000731626/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_0011_4 - 181750540066019853446009869702332909899342606837606421340991\ 297445583198171651/793868465043787990135772910226012008829850688628\ 189012153246263188357682146267*c_1001_2^28 + 2821375945926603193987127198358944426603730221869936971106160561340\ 999557381382/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^27 - 2417090073940494483878405798776990845245067452562679235929600669538\ 0870417064471/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^26 + 1620330394158918697060288536841208908248058751985393324067982098458\ 03153480526324/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^25 - 8238212636816597277324364862080731226510349113822660865773266382050\ 84013829475033/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 + 2642526710229163974638248318959009681495003948761137881214074961522\ 811320549929840/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^23 - 3803520380204384270214464628588700654108357280990653476086395104498\ 429610310498269/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^22 - 3560761409629825723343773061344804550661082804994091288405065011663\ 233944945188643/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^21 + 2071316624262169084063720927728250755130417400308874542855639290363\ 2586765639386321/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^20 - 1558354170278735924780736524991683669590147987940844919686423339209\ 2113164137850351/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^19 - 3910526291895166988515882080811928372091746941631398133782920753787\ 9249737826128458/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^18 + 6361867156328886966083982031332524066782229705683742921604945754227\ 6504714503172876/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 + 3930536164781541855549249303179505289342615823844173107203612576136\ 9154609013129894/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^16 - 1216600283293816128208340659786242813096351133916275328113908991602\ 13687161986835378/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^15 - 2362990068814668508916372740392392607481393883961327313673038549308\ 3063204814280654/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^14 + 1593560929687318804090554561391532745386546130789800731069862110159\ 48635627539807018/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^13 + 1922001911391781947970716548488938570618344309571272716348856150154\ 3100800327735936/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 - 1575493818277878829868411274923576183550087427466354100203212400645\ 55948653090152538/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^11 - 4039349903595781448776672914878831796840262741313107947710624813820\ 5753290205145552/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^10 + 3506304209779039224923236021396358034342099223897421792804483614045\ 401064590776150/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 + 1245995462800469342015565702760429942298102112658870657732227563300\ 42760898787875424/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^8 + 4483157808008842824962829500611489137347466500520949441936061620541\ 0017101670236031/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 + 4634178191834274079607459646210287502791508579797368088717413991762\ 714564589436691/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^6 - 3782405754439273116538187891131102427971298267227989834380796819195\ 5182076205143/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^5 - 5186416997461285915935815899862372160048263953592540166350628523486\ 97716685787771/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 - 2703868622142125213724053538637408472913243446171880318252256840166\ 0694248232931/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^3 + 2941643443181109854887383452051669604768896934728071131222256956782\ 3566785867195/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^2 + 3262437573251545500872708184543522008631806897274073609517401345291\ 647298049413/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 - 2928839541258655793956275696345930828131981253450166076027083925793\ 32358104431/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_0011_7 + 971338244858894263058990086218618479063952589232698285853793\ 44239008574619886/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^28 - 1537404235555295158272927239535556383954649548052967220631592506984\ 149517583003/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^27 + 1338878639296857855964296129695551307917398561700202501693264160931\ 4915895613212/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^26 - 9072119810199137117881608410090169884062117095392429806683535382720\ 0114393864922/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^25 + 4683364237870724845664034888380941407561759270792078374743548698947\ 37947020952375/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 - 1557872245569475821826363236565274522001852260215038844522851994610\ 997180876083621/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^23 + 2523095085582687689552325257018506828113915268047061977577131364882\ 988876107369764/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^22 + 1078387681890171827847141057134985966022812885742490079130671922609\ 966486731288058/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^21 - 1129092885473453857521802876627078975490401243336544396637964267680\ 3618158721937081/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^20 + 1173833353197450927752049954056085881593685663801698547835940340851\ 6555538371246502/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^19 + 1701845503349915924818790153412977922577077213926563744372458213943\ 1946159343553613/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^18 - 3870117628968050209601551907669139255087117690932974027696386224321\ 7827665007111120/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 - 8990643557913674264652933440608421346567771218950244942827092388818\ 853644737436129/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^16 + 6662477058260389274615114425838091461620586057234875247095436360693\ 2546004970671638/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^15 - 7384734845311677405649146680188178473504944125493826250733487124402\ 209364716228588/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^14 - 8137627192753503465457451232542748901732041659040837103633996264522\ 5656872499789476/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^13 + 1370295822720486503382162542578424551295038391853697805900833765368\ 9292517708598683/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 + 7847799719875751811016906150629667625051213369063994330852034056119\ 7384020289915244/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^11 - 1479224009915320572755970138642337908593017290662452578625607115785\ 498093356694543/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^10 - 1826102306524659379736570450025790497731461996371451224033378608820\ 188970223454322/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 - 4635807108967777421472021058764444638980857365597827145393503805133\ 2212071360851409/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^8 - 1103468236066803754305183142393935875021578887039432759804719572490\ 1601176109492609/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 - 1660762996936516841891000278326319108508607891264202771466404693543\ 32873945634121/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^6 + 1308517190865257871141859403929148655954456683438375095864272626425\ 371636648327/214559044606429186523181867628651894278338023953564597\ 87925574680766423841791*c_1001_2^5 - 1630215239703849325985530192303686433978866529532259134883190912890\ 72309299867755/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 - 9657077585193156683426082417837758746013505403741235771516247646115\ 1168808413912/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^3 - 2223748552381211615453195029517910573415091710502355406795020639167\ 7183181748762/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^2 + 1450078522151929244988116893572895917776880536777945885832850648112\ 896648865149/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 + 1946718355273315898645351011974951441491479153618497558219661840594\ 10612351193/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_0011_8 - 213490349776396487774125510255359347384941531739844844431339\ 342209952834580899/793868465043787990135772910226012008829850688628\ 189012153246263188357682146267*c_1001_2^28 + 3275171595177169753303388910176461555399746003352552643884881834762\ 268984371869/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^27 - 2781662398038758919351379502551242671459159491411182096021259479045\ 4316655504900/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^26 + 1856066631097202606034497313975436371948098783663581973225753985487\ 57333892307967/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^25 - 9369222363507401848069347179356925838011478696306799891685646018184\ 56160690002429/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 + 2954187646718430386526190020783036931640874540299222350957682327459\ 440088198968080/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^23 - 4038873563905589686212912052163352363920330731668392600025600479535\ 614482050436227/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^22 - 4543260287674760801530808589298470741149090945875479522628033203255\ 923267091092948/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^21 + 2283590697412638221025861238970993719979283577337502405595256239849\ 7692916669395262/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^20 - 1416452073533545821243980146054657981869817054866574366739889503300\ 1444312774177970/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^19 - 4612570949832061975562365596997800816210978597975585673278623738276\ 0011415734103725/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^18 + 6320770413542314427802111587773217172985870484049312520690568384211\ 3391982795796504/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 + 5496529831793374757447575342848330715554448459653918756533921653799\ 1222930451484758/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^16 - 1242829731048535274412879849121815715295303526705742741724934958856\ 09872887753088130/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^15 - 5050925547574885801405982609635172467613537112719739336582943128750\ 7574570166583370/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^14 + 1645559763200429539427131435798828650378170634574913155535619846567\ 77131994862184965/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^13 + 5661424346954191565148646940541495757083863305670617633182154874890\ 9767210819246826/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 - 1593022746820670413583581393358799944543006918101281554404694018549\ 48712128860823177/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^11 - 8158999285287000834197559484591084223502807375897748497749815461846\ 1538858292495871/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^10 + 3321303812769667677686715740318449615201391405510163739594724108126\ 978893992180558/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 + 1707959601732117134358702893364090238144848507064622118777031147441\ 76920737149736528/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^8 + 9688915887833942992468491646171390186318131969462202533061201850092\ 5109827567232000/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 + 3151509296329668034220714161134069354963501857909583230840941584998\ 1704805178668958/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^6 + 1655488421830185869226952309560708412348672571200397268595020348595\ 02323378513266/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^5 + 5086113607902646723804030085946170118439436510399006974642674690938\ 83167222865219/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 - 4648842804044836902941765402206774213112479978586708836129488231015\ 6433021919041/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^3 - 4995149904635715882851511108915822378313668866747234492678349851441\ 225696787425/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^2 + 2355565664604481295472802362831072589837115977003080842845690376409\ 229572107887/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 + 2822787856740436799064287698645699215053172756691294384723612998905\ 68935256194/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_0101_0 + 732876266330935751861601205385369804571715731826848378000353\ 61793342840066528/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^28 - 1058457977749627406315204047069524427202649589429028913913751043156\ 681781625056/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^27 + 8500098597828411456792024326856428905155268651834956876571964762892\ 679790692845/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^26 - 5452678090940552580654383603851353693996891762746592120337862197788\ 9722515479909/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^25 + 2590916703777743800338635001059209411079480206768551823325402329480\ 04549624934114/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 - 6893371665532362531721908366901702364873573541422332900006455940361\ 94283722177106/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^23 + 2907965243803766319695017127850007839231749375474289636378689094952\ 33328769051155/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^22 + 3416934302183373085473317315151765617428820097610599696910656991508\ 655005540669612/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^21 - 7424215601504091198313169448397989394093843733097599385633952739117\ 693849507291405/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^20 - 2590822428893519957061416759760798972258694894335203342156820962881\ 271606882175361/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^19 + 2451487424073379698548428890923358845329596546951897199268403217979\ 5281817820998152/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^18 - 1188458891658735535409233252156165616089123616242878965500164860094\ 8773265772096064/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 - 4477671846682727656666192113639973651981165878482360242295738040123\ 4098654504551657/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^16 + 3985795446159030755029368973442078712277925198134089610990420343309\ 2675520070896988/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^15 + 5938098294054636947923780276163783309794159670779811081314253302776\ 5210737343925413/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^14 - 6469365229518431505412216981162541919255469387761514114830646317980\ 6828651134025659/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^13 - 6890167877622443399136954426368642566139851111245803853965238895120\ 8118888375804867/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 + 6572317942603247518049539009515657646383282133338879408922292792921\ 0647924039552583/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^11 + 7504591265847313745405316309973516551522999048596445318059407138218\ 2258882609549440/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^10 - 1185850359441295718758377368517790122811965893125216716203731855231\ 032941852633127/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 - 9975961928277730631260772706796316238991352079110240610689851359114\ 3583777253740461/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^8 - 6344607751788490103253192569783303805769829038374537624723754348299\ 8813801649503984/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 - 1954080409500932806687916003544420982548191863672266467413346076182\ 7470698812091785/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^6 - 6248371146231707502616210712741052617496557036602182230728186517740\ 7243160189821/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^5 + 4038339531664892668921635516865110301006224099247613232189794787647\ 04700012838678/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 + 1684474736484588694861154902208831361719889530387490764471271836131\ 51219805747228/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^3 + 1111138046110266703377406971016131163845890815691317861286021077511\ 03028062892/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2^2 - 5784661257619061832001002474796034034211023747021099118806044839342\ 157327937364/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 - 5987159247511033974304575266811268406919057018621195791237606626187\ 72689828615/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_0101_1 + 905622002499116013792628472542664657271958272969833868910784\ 58797353788245213/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^28 - 1404576220878341102691749493756801326887173170191003449894012955362\ 458984950711/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^27 + 1205500742541940414754772360301087685966303119193493791954406186383\ 3865233932213/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^26 - 8106307309950523492524072014144816626263588327416033493872054181835\ 9541300602636/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^25 + 4137190280455806008489771249720955590392542832604811867949196863766\ 86346510304826/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 - 1340740567750851507941907245427506052994164429593405138116209489226\ 103499560278583/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^23 + 2032287873491736484748527714632969978405063686755148179974938596816\ 968266972433680/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^22 + 1268744026067989222999266531383081187726825099950669114112910519210\ 947941108360216/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^21 - 9356836265654735062650260637230430726854344858610761602300986885291\ 213635367150303/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^20 + 7682177353037367459758102006558018453080037632545497995761402461483\ 736530527017192/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^19 + 1611185352328238945472943409221135815831547815498428590119497770780\ 1014626678955750/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^18 - 2688066823003021794715389495321981765719655094780557389768874053865\ 3640748159895741/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 - 1611640703808995363789151734194068752084917949483233835104179746382\ 2035719910382870/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^16 + 4768905558765732844841380966312553413004025724381062730312193117020\ 9803940807842495/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^15 + 1321633044380120577984767569064775367245420552904494861655675679221\ 2036017895894705/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^14 - 5973391077570171329687749951183113310771574986604044703517772083962\ 1361084299726711/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^13 - 1754034480175276259186812174871186348679562942678511831874820596316\ 3999016899793550/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 + 5643249704210217423822559773826792966428268674732971421527466649401\ 7081066293471632/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^11 + 2987258908706271609591294838423258107894708430698544742652226927375\ 6777830703269346/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^10 - 1188569496287404914795828257367781811826817977422963287394963057067\ 576388766990181/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 - 6710757938431774961406218794181578692361844936442984063030343677585\ 6741598061343712/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^8 - 4143538018343190347620137243875929024853062193893623957893365827166\ 9411144583382685/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 - 1364823817172775736775220886865706333703649238017326008520867575932\ 5617994710652520/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^6 - 5441417708660098215043736304831432607601026049203957060700219161323\ 6330434113629/21455904460642918652318186762865189427833802395356459\ 787925574680766423841791*c_1001_2^5 + 1284876142143759515874758671216457988156922238786806538326778835164\ 46762720593890/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 + 8639946418479024851496456497930456158563655586429973168101936661711\ 8235603808051/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^3 + 1508681413913838103387154868191101668719871248483564431308408015360\ 286729005752/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^2 - 3947146177083703275448011807663048562374642260428931877967455988426\ 244687678050/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 + 6589234910591940932305958189263024764150892020678584191968729475665\ 6663479084/79386846504378799013577291022601200882985068862818901215\ 3246263188357682146267, c_0101_2 - 386853300017265980563663534075004971029499636796510808480950\ 64950613725731723/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^28 + 6062664231501454533375555723008426483857165257718702885478946362576\ 95918083248/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2^27 - 5240653072722151634635833023555827484217238612755290913687108763637\ 076656874572/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^26 + 3536230378133400069677799380131688586122590222540915565230343480677\ 6690607387536/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^25 - 1814491175764436177389752324005258080247699837157684716690657678909\ 30934009113999/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 + 5952299482442226803443673060718904776715381634019440938619620757356\ 52960294480750/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^23 - 9285842612641695584067826184856400254995630438384953725813009749217\ 78790379206451/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^22 - 5141301205528328822839706299240558020064059509991328475189463486166\ 00664494360593/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^21 + 4293606820501347557310475250588665281039114966706818566813180450390\ 413387669681380/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^20 - 3951667469245722046656532248408874545329975520521104129637880242870\ 648728940555461/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^19 - 7052222534150275161080428834656530571779782098489464675957240895089\ 978429854157525/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^18 + 1363359716742795488911622841932732665849639475075950557306947158980\ 7257017635336016/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 + 5651988492091858115098285383679807305001449875553620274941083456363\ 135653853005107/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^16 - 2415887460747715323533375895584710879602494561817704663248227918948\ 9489174989437455/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^15 - 1808086178666125993869890332849087185993672017859566289246708871397\ 956195926491290/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^14 + 3032845271710327340145140176221864538332618011560197371663182095403\ 8296922221039060/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^13 + 1367059281581797013988055160707178798959653173504927560083705124363\ 815159920486783/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^12 - 2952624453128011944092968888169723762228713909616682808707401760430\ 2349757758480131/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^11 - 6446976279082528704989569079042933268750284895888292921254558308952\ 437603137415004/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^10 + 6683234056429754997270350451030290245511266189567549433890304734041\ 56750441943517/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^9 + 2417855019252253578609966865235459389483116792418401840242996587060\ 3759256399954841/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^8 + 9442386392771357807082806552071062627205024094525568880721463618846\ 145410819414011/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^7 + 1282323437838793676217474451529215992886939673774632994579080129559\ 568720747635472/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^6 - 5881687676192904885711301788692161241689722757299578389284246643197\ 710514184568/214559044606429186523181867628651894278338023953564597\ 87925574680766423841791*c_1001_2^5 - 9259182118907654545017776794389744473088327497009921097382618419217\ 9321124291648/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^4 - 9041900562856177845820979196597529512393943887819976890115933587525\ 389357465402/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^3 + 2265602848134809718881216176658117669721350760802892198304858160563\ 564994496804/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^2 - 3098499021157389828140166060950486187378972122556526639205633681825\ 61234639415/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2 - 8483770011291006156532452010263082098690960769701749708234364881537\ 57168040071/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_0110_4 + 562186421612968068544549877602824694422309823037553424495505\ 24983435184208782/7938684650437879901357729102260120088298506886281\ 89012153246263188357682146267*c_1001_2^28 - 9659930413782127401773919907620347926857812989266130167947470983692\ 21620717819/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2^27 + 8922661405914156754058606676692295787753867613151697365370695882319\ 961672773873/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^26 - 6249999669204109563265527789461543836237754826178006796768834531846\ 1320891886876/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^25 + 3377998563845880996855717114182626619683448764123434741385534948404\ 42871127785234/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^24 - 1239082055657738411190995313619088954581465079448769456571488745140\ 161684539161332/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^23 + 2527991448341575059278836023633312549868588573316314232393976269054\ 375936823351918/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^22 - 8429686122314413189779701209319363703970281598481839678037653487248\ 86655194658033/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^21 - 8210168671350909876553316447790224012525297151639622033719712280035\ 315233083052034/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^20 + 1532811310514106698712787516424136590505268222321155814699668451071\ 1462498641943293/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^19 + 4186107329686098534898959660161326084753627827032472179053663852133\ 003782666244170/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^18 - 3931516715297698255800040320995216359108342471082538926328501351596\ 3503083748204583/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^17 + 1969219862760518422798214916949633841188422737314935411148827317207\ 7350461622909195/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^16 + 5722868486445794544203137721677843059308930410471061588728671492363\ 5512390184781589/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^15 - 5279612659135440595030738299841315169557637450711303520769711293274\ 3496493489897761/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^14 - 6144927608227788271457445647394658108431330050118610186966433178213\ 3897005514856290/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^13 + 7175350194626988553612297297242172687122113861438789016604266008923\ 7686784968983503/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^12 + 5972831186593071251875218653716799972619627699584967676571468786961\ 3413805930964179/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^11 - 6316319361479634665723952734352311064281817630490984916852850423053\ 7602285186285386/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^10 - 1686023831702235474005468779400006768918121290249120212451292947852\ 454985150439934/214559044606429186523181867628651894278338023953564\ 59787925574680766423841791*c_1001_2^9 + 2279683870381989659028623275780853502765041197285115772099568370092\ 4796192758756341/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^8 + 5077184663080591597204483147849206521114172328385375738646220645077\ 7840286518567106/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 + 2680231704483950025806043336361990105001313091687729268933926710681\ 9043481855298919/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^6 + 1773239194750340055575747814680942739008452085650162398357245684351\ 69365065404162/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^5 + 6359342839247290031139168665692550924687447916111808619748782527586\ 15976109183604/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 - 9138784736872048605696529690108748192300585442100389992473635688319\ 3674638184974/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^3 - 3945860952550029688380258522125226344903713018592532218513662280416\ 0385052593502/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^2 + 4231760777722252520863927525887908336111972019678965688198420442477\ 25635464404/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2 + 6952877653329493748091474103537358962430351150628300084071394820905\ 80442893743/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_1001_0 + 237135850189355462064640783254042225850342004084662033536293\ 9889603402316298/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^28 - 4113005879773924911807456763045494135921769547443342152136595997268\ 7934334547/79386846504378799013577291022601200882985068862818901215\ 3246263188357682146267*c_1001_2^27 + 3641500375381181641677546383252034657612821961403771550447542085632\ 92245983878/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267*c_1001_2^26 - 2399784667571856478540833501636559660316017678795524798787788552906\ 828682338681/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2^25 + 1208514864638550611881519491942165065276024664461409622182822979549\ 7301539619544/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^24 - 3701159542140147587527050851923378248814428213593597481179764171838\ 3446427563471/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^23 + 2439371310875559543789156158932656225981880157921366333302510791321\ 3186642062230/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^22 + 2493309005356698079516311187539859089496512779022927659524209440663\ 40268125608288/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^21 - 8340458470461230033205524069151968328972953188380614870685873502464\ 72939416052876/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^20 + 5175434781581416082953668416573746976837156720805485981821856693828\ 48523366202134/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^19 + 2206408419925857348367387642190876996496245158640801976885260059458\ 209652831771376/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^18 - 3956592917740373221190242159291084804620680414428261096914247498579\ 855183380362141/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^17 - 1985580970680491910172350390855268229405208188886860003781714746283\ 678862841908906/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^16 + 9470571561898689335219224731521448422510185799909651702860696886598\ 343713422871076/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^15 - 1129466134647418309499844094449456340879534970361611001131612523520\ 062527332523340/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^14 - 1424362893428780375875523395926616739360816784949055190576809340318\ 7724418569683827/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^13 + 4815269334955103926350785030571829772104154651524239849463288871959\ 831972724812565/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^12 + 1634389168918494471565283473553090219955714669846019921387648961661\ 7003216825538833/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^11 - 5168568541735882069014148407778079511676554432549986205921169265606\ 642246114531768/793868465043787990135772910226012008829850688628189\ 012153246263188357682146267*c_1001_2^10 - 4245635417296818537448793573267005429309295487674637693852991133134\ 64841408976726/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^9 + 9167630226574601796785076003022783728500109201444506401687987109713\ 99914315398846/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^8 + 1345926638258220560643242188439262424249389395555637006243857442338\ 7764923720400042/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^7 + 1022531676530855840410936287618131674890288403646931550094343368438\ 7613258642873763/79386846504378799013577291022601200882985068862818\ 9012153246263188357682146267*c_1001_2^6 + 1012166487479202858439641313612562822779563621105237573992038668082\ 45091016836533/2145590446064291865231818676286518942783380239535645\ 9787925574680766423841791*c_1001_2^5 + 7943636540887843851002932885652817521217359710787108376606052890640\ 43163048750541/7938684650437879901357729102260120088298506886281890\ 12153246263188357682146267*c_1001_2^4 + 7856851791717431176956951606707536935592649733479027383292511774249\ 7807162788968/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^3 - 1353207193301617277472260165957326899217679328320634466350609102687\ 3904321534064/79386846504378799013577291022601200882985068862818901\ 2153246263188357682146267*c_1001_2^2 - 3296549976410215823590395725618796575202455099382117642897346821189\ 833382198137/793868465043787990135772910226012008829850688628189012\ 153246263188357682146267*c_1001_2 + 2127308444257930265110209479631011819276902995977689624034340567454\ 58587227683/7938684650437879901357729102260120088298506886281890121\ 53246263188357682146267, c_1001_2^29 - 15*c_1001_2^28 + 125*c_1001_2^27 - 824*c_1001_2^26 + 4084*c_1001_2^25 - 12287*c_1001_2^24 + 13928*c_1001_2^23 + 28582*c_1001_2^22 - 100836*c_1001_2^21 + 28420*c_1001_2^20 + 245491*c_1001_2^19 - 226402*c_1001_2^18 - 372527*c_1001_2^17 + 513299*c_1001_2^16 + 452116*c_1001_2^15 - 728118*c_1001_2^14 - 543448*c_1001_2^13 + 706730*c_1001_2^12 + 653196*c_1001_2^11 - 495346*c_1001_2^10 - 1019959*c_1001_2^9 - 687444*c_1001_2^8 - 252252*c_1001_2^7 - 53558*c_1001_2^6 - 5207*c_1001_2^5 + 462*c_1001_2^4 + 146*c_1001_2^3 - 12*c_1001_2^2 - 3*c_1001_2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.550 Total time: 0.760 seconds, Total memory usage: 32.09MB