Magma V2.19-8 Tue Aug 20 2013 23:45:14 on localhost [Seed = 139357660] Type ? for help. Type -D to quit. Loading file "K13n2393__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n2393 geometric_solution 11.00573079 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 2 3 0132 0132 0321 0132 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 0 0 0 0 0 -1 0 1 -10 0 10 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588966779647 0.451689600152 0 4 6 5 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 10 0 1 -11 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.429136602632 1.101227383602 7 0 0 8 0132 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.588966779647 0.451689600152 5 9 0 9 1230 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.351038141214 0.891882609835 10 1 9 11 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 -10 0 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.074789725219 1.101057132607 8 3 1 6 0132 3012 0132 2310 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 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.510356997380 0.744650894885 5 7 7 1 3201 2103 0321 0132 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 11 -11 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.030168778653 1.032535485601 2 6 6 10 0132 2103 0321 3201 0 0 0 0 0 0 1 -1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 0 -1 1 0 -11 0 11 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.778707580634 0.476357866696 5 11 2 10 0132 2310 0132 1023 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 1 -1 11 0 0 -11 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.949735165899 1.059088791566 4 3 11 3 2103 0132 3201 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.351038141214 0.891882609835 4 7 11 8 0132 2310 0213 1023 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 0 11 -1 0 0 1 0 -1 0 1 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.442995262211 0.635676096987 9 10 4 8 2310 0213 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 -1 11 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.304495487253 0.437219163367 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_1001_1'], 'c_1001_5' : negation(d['c_0011_3']), 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_7' : d['c_0011_6'], 'c_1001_6' : d['c_0011_0'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_11']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : negation(d['c_1001_0']), 'c_1010_10' : d['c_0101_0'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_11'], 'c_0101_10' : d['c_0011_11'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : negation(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_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_1100_9' : negation(d['c_0011_11']), 'c_0011_10' : negation(d['c_0011_0']), 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_6'], 'c_1100_1' : d['c_0011_6'], 'c_1100_0' : d['c_1001_2'], 'c_1100_3' : d['c_1001_2'], 'c_1100_2' : d['c_1001_0'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_5'], 'c_1100_10' : negation(d['c_1001_0']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : negation(d['c_0101_1']), 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : negation(d['c_0011_11']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_3']), 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : d['c_0101_4'], 'c_1100_8' : d['c_1001_0'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_5']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_4']), 'c_0110_10' : d['c_0101_4'], 'c_0011_11' : d['c_0011_11'], 'c_0101_7' : negation(d['c_0101_6']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_0']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_4'], 'c_0101_8' : negation(d['c_0101_6']), 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_5']), 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_5'], 'c_0110_2' : negation(d['c_0101_6']), 'c_0110_5' : negation(d['c_0101_6']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : negation(d['c_0101_0']), 'c_0110_6' : d['c_0101_1']})} 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_5, c_0011_6, c_0101_0, c_0101_1, c_0101_4, c_0101_6, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 2361358811798107853030573651885613155536846491495936592752944170975\ 69984136228/1631911466804331221996193087040760998244756802317393105\ 6906257594010814512375*c_1001_2^27 - 5579593883885918843489384818279214286566710647982531554695267187982\ 469475805896/554849898713472615478705649593858739403217312787913655\ 93481275819636769342075*c_1001_2^26 - 3503585731424569631182920299072744677845831938031956082230228811000\ 3393492853648/27742494935673630773935282479692936970160865639395682\ 7967406379098183846710375*c_1001_2^25 - 3798756164534081506862834940824473548631462381419454709757600983441\ 63981477512/1008817997660859300870373908352470435278576932341661192\ 608750469447941260765*c_1001_2^24 - 5607946588957888546837541206513561383809265963558719683043511873567\ 053704144716/504408998830429650435186954176235217639288466170830596\ 3043752347239706303825*c_1001_2^23 + 2314442376502000455790624063353430124673830091481241412055303623404\ 695589540204384/277424949356736307739352824796929369701608656393956\ 827967406379098183846710375*c_1001_2^22 + 2533788568006911216543031586275455222682401060337422056219220193181\ 13351520109124/2522044994152148252175934770881176088196442330854152\ 9815218761736198531519125*c_1001_2^21 - 1240976119650836770893069836078817819052344588697915200194908328935\ 6117722648411044/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^20 - 1279633923586981014991843628112781664372972434573025238366178454682\ 444631596769864/396321356223909011056218321138470528145155223419938\ 32566772339871169120958625*c_1001_2^19 + 6275294860031981028697221896878678484657788662765409949655364469066\ 149513813048674/554849898713472615478705649593858739403217312787913\ 65593481275819636769342075*c_1001_2^18 + 2247426579966830584976121271341850572860300576861020147561102123359\ 3362040506136912/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^17 - 2091743431485449383304138995778819887264788998104184448072433246048\ 4858386430996/10294061200621013274187488860739494237536499309608787\ 6796811272392647067425*c_1001_2^16 - 3929640017688205211560700093721740589471927003864205481029097084716\ 3854175852970316/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^15 + 4369140311309899110953878918835976807686739730631755597480108337868\ 301119629098574/163191146680433122199619308704076099824475680231739\ 31056906257594010814512375*c_1001_2^14 + 4979481512818007231733119652003393769579996704622813217133094987422\ 0204252812062213/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^13 - 7591155398196046694063122662248236524587144962587191544548367002363\ 0615909421704794/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^12 - 6819347931833216206317533990185329470446966815476854588682183420782\ 315977619346206/396321356223909011056218321138470528145155223419938\ 32566772339871169120958625*c_1001_2^11 + 6076572324937417322953938936912071553920818356099779620540811465486\ 3091478244372079/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^10 + 3448197529360662288414216757689229077811437742495114727659762486376\ 9743448453361954/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^9 - 1093184435238279666953355230368741542592661439355564101963591848386\ 907548124184589/792642712447818022112436642276941056290310446839876\ 6513354467974233824191725*c_1001_2^8 - 1113125786108197039574778877810659705291395377749963528150113822512\ 460404407278098/163191146680433122199619308704076099824475680231739\ 31056906257594010814512375*c_1001_2^7 + 1833525534198097405555893977613688004898527548163896151914432405743\ 5165231182910137/27742494935673630773935282479692936970160865639395\ 6827967406379098183846710375*c_1001_2^6 + 7532771384459978006365461699413878528137828699718781862050757435008\ 500001577739484/277424949356736307739352824796929369701608656393956\ 827967406379098183846710375*c_1001_2^5 - 6482560233244911401279147046363557186708297724009133027122193365552\ 853478815711833/277424949356736307739352824796929369701608656393956\ 827967406379098183846710375*c_1001_2^4 - 1991968343431052509707414107834930602637797581251860693462226504134\ 697259644703194/277424949356736307739352824796929369701608656393956\ 827967406379098183846710375*c_1001_2^3 + 2119535226764881257397397688236569986621365569231642036516564427791\ 58892289061963/3963213562239090110562183211384705281451552234199383\ 2566772339871169120958625*c_1001_2^2 + 2867308874191747145722850672347706587932299187427650830841983377198\ 14505569972429/2774249493567363077393528247969293697016086563939568\ 27967406379098183846710375*c_1001_2 - 1802375008459659649194957456000994893177692727727865587621927848490\ 25937865885121/2774249493567363077393528247969293697016086563939568\ 27967406379098183846710375, c_0011_0 - 1, c_0011_11 + 69767638468725234475859747175371138518994772118869247037684\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^27 + 4502072887847073434405805819988077820311454056336795291534\ 60/104868130727840278179766401122411652237915992011403981135687*c_1\ 001_2^26 + 41996440009751158994004295982040960316382219593094836957\ 6344/104868130727840278179766401122411652237915992011403981135687*c\ _1001_2^25 + 183283987831989537117748370560050990457193320520261419\ 3035200/10486813072784027817976640112241165223791599201140398113568\ 7*c_1001_2^24 + 467606958086343208871067789616226400714763721421174\ 9321441212/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^23 - 415992766127250996408024249882838351631767124040\ 74859614776904/1048681307278402781797664011224116522379159920114039\ 81135687*c_1001_2^22 - 25358660404984825669421199957689730165685382\ 933455992352478844/104868130727840278179766401122411652237915992011\ 403981135687*c_1001_2^21 + 2078284651823215264025521552480242186994\ 77690969790272390226112/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^20 + 38830707047478904925442815340635952\ 991938818769035774231950692/104868130727840278179766401122411652237\ 915992011403981135687*c_1001_2^19 - 463872231194669502828833210242920432255251723611959684850443286/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 18 - 13827045785135147049497507852204410558074789490731424942247256\ 2/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^17 + 829789262193328504537998831802202394975145510895028917176\ 908188/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^16 + 2028663888030200321798440331477615884673896834688269\ 89076374824/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^15 - 10150504227484473168733617590695578894024062211\ 62205497307621074/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^14 - 26857172362216223924516979907851321795546\ 2255154276492885831953/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^13 + 100787540829264426402741559808990227\ 6061627460368060914299566459/10486813072784027817976640112241165223\ 7915992011403981135687*c_1001_2^12 + 227180296268770367918689965668122448620332639098363797059523516/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 11 - 75061622375719712300746961504185389016928617080201684868404975\ 5/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^10 - 157200984965097691272170350153770662895739497050733888147\ 246101/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^9 + 44753828096441929279478368648618395159593523534675639\ 2214947772/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^8 + 7783105269985935271190631963738926451020147319268\ 3165488853291/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^7 - 1964828479462685723869224575039520353603959383\ 91503810715045095/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^6 - 294421177574097729200626739783434668288290\ 32356014209706234972/1048681307278402781797664011224116522379159920\ 11403981135687*c_1001_2^5 + 641342690755169590349685771210960674294\ 50139633757362928672473/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^4 + 765496781104561881043012512768761737\ 0093481339133363624314313/10486813072784027817976640112241165223791\ 5992011403981135687*c_1001_2^3 - 1312859013053918911681560346752574\ 9314523613681117511821406826/10486813072784027817976640112241165223\ 7915992011403981135687*c_1001_2^2 - 1347888202037840011154025943497996476322266061461449494782357/10486\ 8130727840278179766401122411652237915992011403981135687*c_1001_2 + 1426319937047546408557071362927219919041808006322053417300044/10486\ 8130727840278179766401122411652237915992011403981135687, c_0011_3 - 41497214953058516109250325557727498757942886239187498226308/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^27 - 27951546267851450001749350876108623739303668512397999361242\ 8/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^26 - 329296623235877548205181250736076328526327159295640423846\ 832/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^25 - 1190281106363916627873567142447675930974793336448375811\ 127872/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^24 - 3144768241874026968369105626617201143334615941370036\ 463470656/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^23 + 2382937611354670626470835687230784460374643165005\ 6805163689332/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^22 + 216919988734192312672376017685864991930269457\ 28927598493212364/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^21 - 11742298243874167173416383790574642103903\ 9191798304084950289700/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^20 - 535986640575836462880989242946782515\ 96701503164582411433541832/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^19 + 259607277323634263238651175726084633166796978518968154799928262/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 18 + 14334710232124650778606592572472543079311558871964364950839493\ 4/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^17 - 446521155638937721613951906845468448840322830739814353951\ 942060/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^16 - 2219313638012555809743467803835259865208462976447016\ 82392420480/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^15 + 53309442019728742169835149602424586664677831669\ 3729450604681920/10486813072784027817976640112241165223791599201140\ 3981135687*c_1001_2^14 + 265757118585629261102370413669915130260335\ 966384453487838458735/104868130727840278179766401122411652237915992\ 011403981135687*c_1001_2^13 - 5102247863727101839037022238844195122\ 50946951053018938992671949/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^12 - 230154423886049179956836779371922127343926340741257389371593456/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 11 + 36927297752788095513002334213969623300925332839143268539541288\ 3/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^10 + 151717896275824216255023813418876955181041980309094421006\ 363816/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^9 - 21027011847954808656266401070229184868812741682723875\ 7068156103/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^8 - 7642793809772341348039598576012971462718269602948\ 1868737705263/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^7 + 8711953903501203769381081274870939448095622699\ 3506656257789347/10486813072784027817976640112241165223791599201140\ 3981135687*c_1001_2^6 + 2685333219546194436926130304545390364282526\ 6613560540987312535/10486813072784027817976640112241165223791599201\ 1403981135687*c_1001_2^5 - 2558179044475221062588064123235308610040\ 7069559605787281160023/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^4 - 6917660696400273458408559426765051642\ 020984319769263883356341/104868130727840278179766401122411652237915\ 992011403981135687*c_1001_2^3 + 42988484448105754056733524673293424\ 89901744243486922761132894/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^2 + 900219578521970005215294319796032\ 199690372015964443148525799/104868130727840278179766401122411652237\ 915992011403981135687*c_1001_2 - 2375840300242903457047227437933920\ 92315905977665390589358692/1048681307278402781797664011224116522379\ 15992011403981135687, c_0011_5 + 28385454093517861171122420920622930357925484347098357686268/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^27 + 18780927036892485178802257602347806807693575217286890904097\ 2/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^26 + 206802303161325750491403298170666129630277543507964695044\ 124/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^25 + 8124856233676155633330487909620728603012518306520022525\ 85520/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^24 + 20629026605094717072956573789121728957096960731849188\ 75677136/1048681307278402781797664011224116522379159920114039811356\ 87*c_1001_2^23 - 16445349671114596447209892132481594614734220337486\ 941371279288/104868130727840278179766401122411652237915992011403981\ 135687*c_1001_2^22 - 1266656002288996689177057754168942335198828496\ 1562632180602972/10486813072784027817976640112241165223791599201140\ 3981135687*c_1001_2^21 + 793415277388081957509831231017971638677368\ 48393189144394106480/1048681307278402781797664011224116522379159920\ 11403981135687*c_1001_2^20 + 27467081433923829701943679628881310749\ 357268599424232920307248/104868130727840278179766401122411652237915\ 992011403981135687*c_1001_2^19 - 1692181766139913465780836306626095\ 51473367575189678256740398502/1048681307278402781797664011224116522\ 37915992011403981135687*c_1001_2^18 - 84160905122450287029203844928621372852574417524592526504735202/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^1\ 7 + 293338327245877453326495021691401528944911640847803725489407902\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^16 + 1267663132020691665039240591906961627046684970554896263483\ 16136/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^15 - 33987813305452671199545307498578822669660024693191502\ 4759299812/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^14 - 161909881406531274680979815935184995790452842471\ 027124886353539/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2^13 + 3251267278900027178949623010937822192945639\ 73569721590617872281/1048681307278402781797664011224116522379159920\ 11403981135687*c_1001_2^12 + 14131164547694569932344241197374492141\ 2333505546268538320525815/10486813072784027817976640112241165223791\ 5992011403981135687*c_1001_2^11 - 229236443266553334358025905376238\ 757210705531549012650771489503/104868130727840278179766401122411652\ 237915992011403981135687*c_1001_2^10 - 99888461463684526327597178844696146321839927945011478551205908/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^9 + 131041659310544493071605901556328284513365137766015836258700457/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^8 + 5273273617684206401056438849874932665551354264099420792100562\ 2/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^7 - 5349384286870810844020960880593586660733339160971951356052\ 0461/104868130727840278179766401122411652237915992011403981135687*c\ _1001_2^6 - 2074566013889106317650128856597456248913002457562925101\ 8223023/10486813072784027817976640112241165223791599201140398113568\ 7*c_1001_2^5 + 1613472950197843494379278761461845576364328683656787\ 2980240170/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^4 + 5829021549669277163129222146399341428866386716940\ 222161451377/104868130727840278179766401122411652237915992011403981\ 135687*c_1001_2^3 - 27484047806989365881077228458924578376341583383\ 87142410078999/1048681307278402781797664011224116522379159920114039\ 81135687*c_1001_2^2 - 914848895988543236538305288191838344775175043\ 679367478187170/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2 + 1512265720416072050189278594792559389327261605\ 77292568770183/1048681307278402781797664011224116522379159920114039\ 81135687, c_0011_6 + 3612014088471473795889581826051725492605006864304446810860/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^27 + 20187129159761253847294696053122807311113537935634454950060/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^26 - 1259883130522947588473877648629169449250135181933399661520/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^25 + 61804264633104887527564154153461252198175028243777723442528\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^24 + 1664043392845051073075357714233887835239755665807607023149\ 20/104868130727840278179766401122411652237915992011403981135687*c_1\ 001_2^23 - 24334543499380148454928173623375806516117141143944952910\ 50020/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^22 + 45309119598913644771018179562155292145973034114269342\ 8708484/10486813072784027817976640112241165223791599201140398113568\ 7*c_1001_2^21 + 137913424371386992603768313136356001985937435974522\ 64153688748/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^20 - 89404413691099587819858881820575980208566072554\ 91417174143120/1048681307278402781797664011224116522379159920114039\ 81135687*c_1001_2^19 - 33723899806064074003044134037731049302521529\ 977028888907046922/104868130727840278179766401122411652237915992011\ 403981135687*c_1001_2^18 + 2473461514819533724807672564047093966847\ 9859834588154424345282/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^17 + 604712952945777501560535241861061098\ 76015568472360836691125600/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^16 - 45465265357538111848472319084915225593567208137797771309601096/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^1\ 5 - 83386006668082018534651775419034450042431383005767999496175084/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^14 + 67092521262656665679517689786683077857338671413026355537553\ 059/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^13 + 8120502678620937550099081338176203416328774924886082388\ 8895421/10486813072784027817976640112241165223791599201140398113568\ 7*c_1001_2^12 - 699199298328070483474685041096282590348905241606679\ 22340878932/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^11 - 63077621063520698941090598035868293633933700381\ 678170817563313/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2^10 + 5973453929566758408661985049005394112815735\ 4561777606098641426/10486813072784027817976640112241165223791599201\ 1403981135687*c_1001_2^9 + 3245553077272743525085267356989313489790\ 2579422863972060955379/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^8 - 3615492041899087997133776930340691806\ 9722701513445262064423357/10486813072784027817976640112241165223791\ 5992011403981135687*c_1001_2^7 - 1222250043614050444857463738842337\ 4131466391461439631872049185/10486813072784027817976640112241165223\ 7915992011403981135687*c_1001_2^6 + 16863032437701268366140912182498516131767186284721990784221883/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^5 + 1360253928197682486830188458483624928197259794317776169788765/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 4 - 4889371478126642501909930740062996841499722509828617905887583/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^3 + 387667707326649123879684916777919122002731233130033701053904/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^2 + 788381969253489591316380727707752992404879323605152822262211\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2 - 247787736547166571094218249914712061103824673974041204433736/\ 104868130727840278179766401122411652237915992011403981135687, c_0101_0 - 12846756067278686778196096032137637772665792426523150165440/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^27 - 82073147923568956920367540782166107174719788050970313180480\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^26 - 7218517454581719416151878043452119910249686556021106405510\ 0/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^25 - 332932916844598743524014782658116391006075633070844568325\ 624/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^24 - 8359319867366233528462385572830571698679565256209283042\ 62976/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^23 + 77113292127454528704649241691229236422460099546710755\ 59410464/1048681307278402781797664011224116522379159920114039811356\ 87*c_1001_2^22 + 41810307208374779554511916610412148838846633118215\ 68315410316/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^21 - 38421735535386549491586404592286212707566576354\ 208840583643732/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2^20 - 5136942306282090404620299316808811062162693\ 895505634137625436/104868130727840278179766401122411652237915992011\ 403981135687*c_1001_2^19 + 8537253436378762231850501502898833452505\ 9053541682541293992044/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^18 + 224350470185537353603956438930237349\ 69733294513244300084000000/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^17 - 154434636971237749782452886666231142886348150808292581465327582/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 16 - 32579278226438678744809509853246961520018421327594674718649480\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^15 + 1891703833826367111635204115159592931549761576161229409957\ 30112/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^14 + 46591267341410712146397322750183799467499166306818870\ 295853384/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^13 - 1900586551153124141171024261793939396009393376611\ 66240901423994/1048681307278402781797664011224116522379159920114039\ 81135687*c_1001_2^12 - 40548712283181312596281211904013062293611748\ 972824760587222127/104868130727840278179766401122411652237915992011\ 403981135687*c_1001_2^11 + 1427495590107921127842586708527577150161\ 39160871349222679203448/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^10 + 30159325424644546444113147582722185\ 355295505904170756909876186/104868130727840278179766401122411652237\ 915992011403981135687*c_1001_2^9 - 87059999080886387822933712414765721358486468804053801623808361/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^8 - 15659840041991712108174356163394908018626088157724311771864706/10\ 4868130727840278179766401122411652237915992011403981135687*c_1001_2\ ^7 + 39261772385231199265337168996667468550699777273716928442562602\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^6 + 64876324162713469518389967770018231443455571342829643388749\ 54/104868130727840278179766401122411652237915992011403981135687*c_1\ 001_2^5 - 136450045176906686562137280815268537024641835660168854852\ 84753/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^4 - 175206740754366494347859362791476366276460559780245705\ 1234854/10486813072784027817976640112241165223791599201140398113568\ 7*c_1001_2^3 + 3203270341303241055292175400582659961324731917314552\ 021930882/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^2 + 32600658054973844184141317050955994999786215518332\ 3687299870/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2 - 464055991859132284978385352696715349818447268841474\ 191084787/104868130727840278179766401122411652237915992011403981135\ 687, c_0101_1 + 4036225603005601028766051030973760174796951303293346705708/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^27 + 43376535692808532401387523247305594698795821748552545452816/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^26 + 13019434890702961702698529165204026249576793196083822652205\ 6/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^25 + 179267801715853054209269478919044875244879715610602495418\ 636/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^24 + 7383436101382220889027350277374733222873387921607404171\ 52496/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^23 - 13486965172292183240810733463959637849542361680704428\ 03813128/1048681307278402781797664011224116522379159920114039811356\ 87*c_1001_2^22 - 12008708988303376548919836953754950187301833119966\ 793721913452/104868130727840278179766401122411652237915992011403981\ 135687*c_1001_2^21 + 9788803226956393071167730053535509714644983775\ 412983842420180/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2^20 + 5177202449887938683185194298316174497115587\ 8031456934225454112/10486813072784027817976640112241165223791599201\ 1403981135687*c_1001_2^19 - 385834271809923398573429706133452900290\ 94121776008519402783810/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^18 - 10453614075737014645598736370053818\ 1793916225779587985236200708/10486813072784027817976640112241165223\ 7915992011403981135687*c_1001_2^17 + 61339355553106912537140655390480425249216172459585755357007800/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^1\ 6 + 178817758828704937538919336054483582344409071241739645178078354\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^15 - 9837061175930420572523998788086870414378236444261010975077\ 1604/104868130727840278179766401122411652237915992011403981135687*c\ _1001_2^14 - 200225932193589299216296084118889901255452944063757709\ 051073539/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^13 + 1085593004724997465431959017445469580291563300791\ 33300709125692/1048681307278402781797664011224116522379159920114039\ 81135687*c_1001_2^12 + 18269660958180900152990692877590384475848595\ 1570853096372498480/10486813072784027817976640112241165223791599201\ 1403981135687*c_1001_2^11 - 103067121227502489006711803341247431548\ 310329722172293692023802/104868130727840278179766401122411652237915\ 992011403981135687*c_1001_2^10 - 1207159896353109022794596534795691\ 50328101149243334626687215237/1048681307278402781797664011224116522\ 37915992011403981135687*c_1001_2^9 + 73416503511020456967130250620363474715223496956821868972490225/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^8 + 62144918155252016235114099367327763429237084125815761052316111/10\ 4868130727840278179766401122411652237915992011403981135687*c_1001_2\ ^7 - 39948217290046318487649057872720342291047710060964592579028413\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^6 - 22334450162717831394257176411473081217048800825102393876418\ 914/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^5 + 15618906055233771710001583341291542280463479136001065908\ 605262/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^4 + 54368894655453269020842493791359972490865812140398003\ 46377634/1048681307278402781797664011224116522379159920114039811356\ 87*c_1001_2^3 - 380314030948016642617008844536097978129465312961698\ 8027771857/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^2 - 7031908567330416321600988792629100327695543244214\ 80983092215/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2 + 40780555700923675754402968984300369519420467423445\ 3424886671/10486813072784027817976640112241165223791599201140398113\ 5687, c_0101_4 + 70567502639210679300852661621066764172448915993376193022820/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^27 + 46155294974286445860857771213517118853973087016138135237452\ 8/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^26 + 460503992141779980969692194172076005316622692696915109364\ 972/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^25 + 1869949514698381469383723034083317495253515846628955031\ 591792/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^24 + 4901934861097814407376390710187807156125441223772899\ 395557320/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^23 - 4175325816963266655041732463363416872491270182307\ 0464431040000/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^22 - 294732247383947099883721367450745658774988193\ 77404376225908572/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^21 + 21077641592753787786930754447755866840835\ 5516084831415096471336/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^20 + 555616673709837428116515553230590854\ 78886228198702958383273732/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^19 - 478600572350705199794817144244770229069828726623987585037802362/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 18 - 16562357701216862644474804781557491311015735711831814990407443\ 6/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^17 + 849748157786070200035365757297328047928509530336831841225\ 976482/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^16 + 2508141859847058071942305436127928812438991056922271\ 48508151616/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^15 - 10530059295350904662223364665980110903929471487\ 60611729048385656/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^14 - 30889421212726762120799761903831678363673\ 8572058099887995348557/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^13 + 104320956505010511734885462704620922\ 0599095760520932999901888396/10486813072784027817976640112241165223\ 7915992011403981135687*c_1001_2^12 + 261172878068717273754447310367114828121395556281595993849243389/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 11 - 78608272385763424867839974413623146420400137777233169415606894\ 1/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^10 - 169385778782768740516693269872892484483258905974120291725\ 429937/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^9 + 46779040952696951550448220802360710435349635744353965\ 4675966620/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^8 + 8098087891979563823837526801718107884390637521973\ 8145867069795/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^7 - 2064393197688175325641024847201285354512385817\ 38529299654281900/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^6 - 273061702966071731361949048435657323932177\ 45022474573306779853/1048681307278402781797664011224116522379159920\ 11403981135687*c_1001_2^5 + 664842661920722461289121470245524460341\ 28819805394570086414045/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^4 + 629814438401248134884783025261676914\ 3169542623516792880880383/10486813072784027817976640112241165223791\ 5992011403981135687*c_1001_2^3 - 1325491161433166635157076947412955\ 5978264028702155850230992880/10486813072784027817976640112241165223\ 7915992011403981135687*c_1001_2^2 - 977474892565200208547420625404460549110704296840254157848782/104868\ 130727840278179766401122411652237915992011403981135687*c_1001_2 + 1264779308103655858541181828488212243697039988114558867837347/10486\ 8130727840278179766401122411652237915992011403981135687, c_0101_6 + 1647187737444645319646557430682523593578744521322797674784/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^27 - 5406374586511304220635534589874091280052416219440553439100/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^26 - 86239169291629542122481561237806298200782861601490062533116/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^25 - 13489388368076320896996781649482101227453573826356679103912\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^24 - 3186856674333132899654890289650423028201207356206292244210\ 12/104868130727840278179766401122411652237915992011403981135687*c_1\ 001_2^23 - 19341912931906295000565486267315457046850681766894445429\ 76956/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^22 + 92212475634466345982198341447621360762845128854376281\ 82574872/1048681307278402781797664011224116522379159920114039811356\ 87*c_1001_2^21 + 57395391256757875116424843293768471735154855508763\ 25252115668/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^20 - 45339645303241094489371229665872213403957693758\ 065715358626644/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2^19 + 6584769270973575036959101328343261873862554\ 513692838316155328/104868130727840278179766401122411652237915992011\ 403981135687*c_1001_2^18 + 8710265074449666419073607725283898338744\ 5598368656036402373066/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^17 - 898875638335807789072960479083274820\ 9145709039878987100397002/10486813072784027817976640112241165223791\ 5992011403981135687*c_1001_2^16 - 156929299522261716407341006667766\ 282936543017089978329285331512/104868130727840278179766401122411652\ 237915992011403981135687*c_1001_2^15 + 42236298961924448466368018394522683454315834317726604465275058/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^1\ 4 + 179603305052664420975299607305602490740653056671463015613858050\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^13 - 5926527906900348184446625455822822418179806239420924439228\ 4713/104868130727840278179766401122411652237915992011403981135687*c\ _1001_2^12 - 174372915111584230177162283032274238537792103216331531\ 974520517/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^11 + 7104178116137189787534520661663714632970792360033\ 9787062456128/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^10 + 123322177538351036601748548130033962322369726\ 456776036410993628/104868130727840278179766401122411652237915992011\ 403981135687*c_1001_2^9 - 58754170629870369194221986064117695511826\ 429079801285348930341/104868130727840278179766401122411652237915992\ 011403981135687*c_1001_2^8 - 68518850703685705470074827739234553967\ 797475717519111587301400/104868130727840278179766401122411652237915\ 992011403981135687*c_1001_2^7 + 35328570375865457139629087587099679\ 800768380215658096689256796/104868130727840278179766401122411652237\ 915992011403981135687*c_1001_2^6 + 27484514340831219179845942280250357235712970361317396731980401/1048\ 68130727840278179766401122411652237915992011403981135687*c_1001_2^5 - 15852050117717072377142170862495641732644092142170758183347046/10\ 4868130727840278179766401122411652237915992011403981135687*c_1001_2\ ^4 - 7405751414776842446639467199332830335394828587022152867520605/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^3 + 422021680278376596801211436495416502912831250156806721682680\ 2/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^2 + 1064681644527406083363585196532215123540178795784035247029\ 704/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2 - 5950407682208449984125468640575263642202833266989050385585\ 11/104868130727840278179766401122411652237915992011403981135687, c_1001_0 + 8782806186943373928035404546044787103850267537242449910340/1\ 04868130727840278179766401122411652237915992011403981135687*c_1001_\ 2^27 + 66178878695822435718406508662845673867584801175717536452364/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^26 + 10260580912306701854218792526312669432641320106066721202962\ 0/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^25 + 213358792203145592238465330881397362101939164259049419756\ 236/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^24 + 7666142503488937708100599380987419106352972953025723600\ 45636/104868130727840278179766401122411652237915992011403981135687*\ c_1001_2^23 - 49274445992316554709208853946939684867911219777294800\ 03242072/1048681307278402781797664011224116522379159920114039811356\ 87*c_1001_2^22 - 96701419457746763544272367941409209589133476372950\ 22325353576/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^21 + 29526483132056710593801032390473741640852333138\ 531302649292956/104868130727840278179766401122411652237915992011403\ 981135687*c_1001_2^20 + 3697157990343221504105898837819734365426565\ 9819940657894413980/10486813072784027817976640112241165223791599201\ 1403981135687*c_1001_2^19 - 859471272480107155070363180425558909715\ 34825910452174968371194/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^18 - 83398260533484511098050245767998281\ 610439897576749407214359766/104868130727840278179766401122411652237\ 915992011403981135687*c_1001_2^17 + 153888444965783194873978616050156177795837796449709867963163090/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 16 + 15033404509627470963045393608391618756624713164134001347397897\ 0/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^15 - 217718439440258521755198160695444982568622682447755880355\ 558258/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^14 - 1825168566605704042760150941715179981266595617631436\ 65152762785/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^13 + 22792111971255832605006501350833425736603765224\ 6989177118416839/10486813072784027817976640112241165223791599201140\ 3981135687*c_1001_2^12 + 173565129968048535100752269347126122123450\ 588310808346171678543/104868130727840278179766401122411652237915992\ 011403981135687*c_1001_2^11 - 1934764432849647073269786558871273482\ 91800780840064237640711362/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^10 - 121877469470604854303798014490076254950251937372951495954738441/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 9 + 127595573104605001415221351147380422167528815042194394543877963\ /104868130727840278179766401122411652237915992011403981135687*c_100\ 1_2^8 + 64665876651818693268263327867938947877103538863102542479571\ 894/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^7 - 65241248479409938986331081932674550333821597822879819495\ 125094/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^6 - 24991185713010996333229920421294016051282447487291482\ 105783262/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^5 + 24750501293501278300703672793170382245369116247234\ 531679420153/104868130727840278179766401122411652237915992011403981\ 135687*c_1001_2^4 + 60214223819013114844489646181712717536006973162\ 08453205454002/1048681307278402781797664011224116522379159920114039\ 81135687*c_1001_2^3 - 628978704798213910778975056658119080517009197\ 1240914293076958/10486813072784027817976640112241165223791599201140\ 3981135687*c_1001_2^2 - 8686466276285794842042312490474796555821484\ 70937261611311364/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2 + 83709640377383952812153518794111548299092041\ 6638377793480043/10486813072784027817976640112241165223791599201140\ 3981135687, c_1001_1 + 43936971628830947779869883044714378563470880449129674670816/\ 104868130727840278179766401122411652237915992011403981135687*c_1001\ _2^27 + 28960319213377524654621352520170006664178809032778351248991\ 6/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^26 + 295477781386879217727894956987220267558582779641214123481\ 132/104868130727840278179766401122411652237915992011403981135687*c_\ 1001_2^25 + 1143181960231059619099822392178871039284515067087550324\ 578064/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^24 + 3084779115102115296621895558164702198122351801119954\ 404032836/104868130727840278179766401122411652237915992011403981135\ 687*c_1001_2^23 - 2600547513081773977618883344905674075355076183776\ 1887638968548/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^22 - 200172123569971633454129872996890928742764757\ 39461108147784928/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^21 + 13381574371266373041443474951680200129138\ 9672036511734448005700/10486813072784027817976640112241165223791599\ 2011403981135687*c_1001_2^20 + 420172694527285809120351197602894226\ 93697045676693761068539708/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^19 - 311831008947022278239464997536660612767822373809783081879474136/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 18 - 11579340599782680592359989698899085402585086176123779931175172\ 6/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^17 + 551850657076864937855779851012059283070246697929442669625\ 346306/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^16 + 1865216705128348628554364596047046237903898544659379\ 60989735780/1048681307278402781797664011224116522379159920114039811\ 35687*c_1001_2^15 - 69715576643290154523107976230329990520375170613\ 9434087706543958/10486813072784027817976640112241165223791599201140\ 3981135687*c_1001_2^14 - 225001527120658597917851291392168912611045\ 903031128716460326970/104868130727840278179766401122411652237915992\ 011403981135687*c_1001_2^13 + 6869311056859368034718434471891211719\ 01380203505365715431038685/1048681307278402781797664011224116522379\ 15992011403981135687*c_1001_2^12 + 200772642511149821148339355020071618716729439752170095685109557/104\ 868130727840278179766401122411652237915992011403981135687*c_1001_2^\ 11 - 52361006812678495805951304769468931802393119632526488728877333\ 2/104868130727840278179766401122411652237915992011403981135687*c_10\ 01_2^10 - 130171296509029801196465819028452874297318399702031431957\ 041942/104868130727840278179766401122411652237915992011403981135687\ *c_1001_2^9 + 30864453506138163697423063763102206382196895538904007\ 4100071223/10486813072784027817976640112241165223791599201140398113\ 5687*c_1001_2^8 + 6558707319611161863911197495970602975860722489427\ 7722519220036/10486813072784027817976640112241165223791599201140398\ 1135687*c_1001_2^7 - 1367792793026851731903243687324006572535278006\ 03331724616899682/1048681307278402781797664011224116522379159920114\ 03981135687*c_1001_2^6 - 220765350807834156149761790351429945961795\ 89246863156607072557/1048681307278402781797664011224116522379159920\ 11403981135687*c_1001_2^5 + 429086975120112322270170478559202055552\ 79344815084526900061580/1048681307278402781797664011224116522379159\ 92011403981135687*c_1001_2^4 + 532954377274594556466495043701286902\ 8176644124883340692243449/10486813072784027817976640112241165223791\ 5992011403981135687*c_1001_2^3 - 8294852809440860921158878550503702\ 960701480866729639162524466/104868130727840278179766401122411652237\ 915992011403981135687*c_1001_2^2 - 652223909651871070381315642821059502731263963946170551299816/104868\ 130727840278179766401122411652237915992011403981135687*c_1001_2 + 635244264329683481498383051340531901232568871754369546160377/104868\ 130727840278179766401122411652237915992011403981135687, c_1001_2^28 + 6*c_1001_2^27 + 3*c_1001_2^26 + 23*c_1001_2^25 + 55*c_1001_2^24 - 629*c_1001_2^23 - 98*c_1001_2^22 + 3205*c_1001_2^21 - 808*c_1001_2^20 - 14369/2*c_1001_2^19 + 1218*c_1001_2^18 + 26641/2*c_1001_2^17 - 5553/2*c_1001_2^16 - 33709/2*c_1001_2^15 + 13441/4*c_1001_2^14 + 17256*c_1001_2^13 - 15781/4*c_1001_2^12 - 26549/2*c_1001_2^11 + 6609/2*c_1001_2^10 + 32369/4*c_1001_2^9 - 9001/4*c_1001_2^8 - 14659/4*c_1001_2^7 + 4441/4*c_1001_2^6 + 4871/4*c_1001_2^5 - 398*c_1001_2^4 - 519/2*c_1001_2^3 + 345/4*c_1001_2^2 + 59/2*c_1001_2 - 41/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.920 Total time: 1.120 seconds, Total memory usage: 32.09MB