Magma V2.19-8 Tue Aug 20 2013 23:53:42 on localhost [Seed = 2530278673] Type ? for help. Type -D to quit. Loading file "K12n418__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n418 geometric_solution 12.59979183 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 12 0 -12 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.103924704241 0.846959819723 0 5 6 3 0132 0132 0132 0321 0 0 0 0 0 0 -1 1 1 0 -1 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 12 -12 -12 0 12 0 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.180554112110 1.092595959620 6 0 8 7 2031 0132 0132 0132 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 11 -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.778847029991 0.935378155357 9 1 8 0 0132 0321 1302 0132 0 0 0 0 0 -1 1 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 12 -11 -1 0 0 -12 12 -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.870405950489 0.838908086346 10 11 0 9 0132 0132 0132 0213 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 -1 1 0 -11 0 0 11 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.301547717230 0.674522871375 6 1 7 11 0213 0132 0213 3120 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 0 0 0 -12 0 12 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.482228664629 0.886094614091 5 10 2 1 0213 3120 1302 0132 0 0 0 0 0 -1 0 1 -1 0 0 1 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 0 -12 12 0 0 -12 12 0 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.527129429796 1.059614668904 12 5 2 9 0132 0213 0132 0132 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 0 11 0 0 -12 0 12 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.676239434572 1.131408724392 3 10 12 2 2031 0213 2031 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 11 0 0 -11 0 0 0 0 12 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.462963526052 0.775631034778 3 12 7 4 0132 0213 0132 0213 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 0 0 0 0 0 0 0 0 11 0 -11 1 11 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.550111714162 0.463093322849 4 6 8 11 0132 3120 0213 0213 0 0 0 0 0 0 0 0 -1 0 0 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 0 0 -11 11 0 0 -11 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.287871080207 1.034149703131 5 4 12 10 3120 0132 2310 0213 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 -11 11 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.575632723046 0.858530340504 7 11 9 8 0132 3201 0213 1302 0 0 0 0 0 0 0 0 -1 0 1 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 11 0 -11 0 -1 1 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.324952823405 0.730124868427 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : negation(d['c_0101_7']), 'c_1001_12' : negation(d['c_0101_11']), 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_7'], 'c_1001_1' : negation(d['c_0011_10']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0101_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_11']), 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : negation(d['c_1001_11']), 'c_1010_11' : d['c_1001_2'], 'c_1010_10' : d['c_0011_12'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_8'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_11'], 'c_1100_8' : d['c_1001_11'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : d['c_1001_11'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : d['c_1001_11'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_1001_2'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_11']), 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : negation(d['c_0011_10']), 'c_1010_4' : d['c_1001_11'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_1001_2'], 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0101_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : negation(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_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : negation(d['c_0011_12']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_1']), 'c_0110_10' : d['c_0101_1'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : negation(d['c_0011_3']), 'c_0011_11' : d['c_0011_10'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_8']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_3']), 'c_0101_9' : negation(d['c_0011_3']), 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_8']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : negation(d['c_0011_3']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_3']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0011_3']), 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_12, c_0011_3, c_0011_8, c_0101_1, c_0101_11, c_0101_2, c_0101_7, c_0101_8, c_1001_0, c_1001_11, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 1688103670113899367484637899771343988145747021908655004105041440443\ 5268714479312848519210655845953632048137729944/61911590704421172599\ 5358012842840715467095331309063652359788460321006267513309358989633\ 956231049363383946105865*c_1001_2^30 + 6068531108279730548029573284375116594053467709812535240470361437493\ 78452339098072111767025970480448749114340338327/6191159070442117259\ 9535801284284071546709533130906365235978846032100626751330935898963\ 3956231049363383946105865*c_1001_2^29 - 4091947917182642605097391188642127005958621761731989905211673986028\ 3113080196990486682269259407436724082319328747/36418582767306572117\ 3740007554612185568879606652390383741052035482944863243123152346843\ 50366532315493173300345*c_1001_2^28 - 1819861663886636736084081390666655852624486048105747722710505678414\ 8742225418849328032889253540988956354514614394776/61911590704421172\ 5995358012842840715467095331309063652359788460321006267513309358989\ 633956231049363383946105865*c_1001_2^27 - 1135372583939135864835599914541839948827059677490294744718739169427\ 4551731757424421446318720046268119532192510723851/12382318140884234\ 5199071602568568143093419066261812730471957692064201253502661871797\ 926791246209872676789221173*c_1001_2^26 - 1499596706863825587044505825160669177136577754600031708187114961684\ 5333626087476020323388648418948093723800106817888/61911590704421172\ 5995358012842840715467095331309063652359788460321006267513309358989\ 633956231049363383946105865*c_1001_2^25 + 3273049158522019493046127693439548416784625715716163300998821599046\ 41269017221580633041183999708912837893007253458716/6191159070442117\ 2599535801284284071546709533130906365235978846032100626751330935898\ 9633956231049363383946105865*c_1001_2^24 + 1050082681286227216267469087725692773592909903572168666950086948987\ 734003233996100507739209956188851099843720752507413/619115907044211\ 7259953580128428407154670953313090636523597884603210062675133093589\ 89633956231049363383946105865*c_1001_2^23 + 1999393066246264647323808278693758626090750348055855334001076723604\ 8485180877628924249810477861088203052410159182821/72837165534613144\ 2347480015109224371137759213304780767482104070965889726486246304693\ 6870073306463098634660069*c_1001_2^22 + 7103743726631159270971690814005533459873354405484768212235250809944\ 5089092113872429264893413039632633251290550652588/32585047739169038\ 2102820006759389850245839648057401922294625505432108561849110188941\ 91260854265755967576110835*c_1001_2^21 - 6031540145970889452696949100239560740972057113749089555748436384936\ 5368463519279694346995834231567604013011028452306/26918082914965727\ 2171894788192539441507432752743071153199908026226524464136221460430\ 27563314393450581910700255*c_1001_2^20 - 8105600292258818913695551293057868539944008743753962123187216102540\ 594342449447075911124773230025107751817484613286968/619115907044211\ 7259953580128428407154670953313090636523597884603210062675133093589\ 89633956231049363383946105865*c_1001_2^19 - 1991264267192456991655081446789881227907225840751341764488442233486\ 3274323746590977469059857456221492187431517985724524/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^18 - 3607831203171660495121485544637891341845614315311874260344313739353\ 8921705883169055645091264242036957661065487493388073/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^17 - 5442415052030907854083811509859961705394966332692031110543601740293\ 6080551015716256939391100270338970846020443916767287/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^16 - 7192889918141606008826405410064519415844173789607549871831388431815\ 6557403109541729921149560460458809549098422590985816/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^15 - 8424681607591335835948305380670220346568670523275059439643487318926\ 4695190460024567895156959231882686781304562836036703/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^14 - 8860931795047416157984737871708404024766376961319487697587621073987\ 8777933503619066316606632617568482505407271469182798/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^13 - 6512732114503291107578730490582046110159874156081719728165323668646\ 737138251651456002270775353863594917559248896125371/476243005418624\ 4046118138560329543965131502548531258864306065079392355903948533530\ 6894919710080720260303546605*c_1001_2^12 - 7324347301725934581814698753059195241971567907130929340730520518129\ 0234750870694548863545478025091911441452074951190369/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^11 - 5745658987059121670140240887631960184044817279772672232685638877493\ 2971157290858792765449030380731603432268379328417034/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^10 - 4105205659395081462180283143196765840992683406181897772986767182647\ 0402955307650713138515909982794170420224546076601118/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^9 - 5315400204779517400754385579506351241915899311819329630475191829304\ 493626661554539924881823614080860981430434035976778/123823181408842\ 3451990716025685681430934190662618127304719576920642012535026618717\ 97926791246209872676789221173*c_1001_2^8 - 1556886892119369626354152711399793090422541344924813899220105486703\ 1666875960460909584250603246534674057709135818923194/61911590704421\ 1725995358012842840715467095331309063652359788460321006267513309358\ 989633956231049363383946105865*c_1001_2^7 - 8279975368902225649299139735257846071492148861885153892687482468447\ 167827840804682865821329571697761947309893617217756/619115907044211\ 7259953580128428407154670953313090636523597884603210062675133093589\ 89633956231049363383946105865*c_1001_2^6 - 3960023701642083782903445568951435092052612550674578202577307751311\ 600953659916823282485316674197947781968261637657061/619115907044211\ 7259953580128428407154670953313090636523597884603210062675133093589\ 89633956231049363383946105865*c_1001_2^5 - 1678127642017695218561903564337985449321715863830124374566249071032\ 168726655163413976687780815565731248288961535047576/619115907044211\ 7259953580128428407154670953313090636523597884603210062675133093589\ 89633956231049363383946105865*c_1001_2^4 - 6516051917055376682462049266207544853256764701969339334825845746542\ 133691350857298382480516757237645707355881975593/651700954783380764\ 2056400135187797004916792961148038445892510108642171236982203778838\ 252170853151193515222167*c_1001_2^3 - 1695049465457097780655656055969093175532818963111135274176128899169\ 181055650307387277720124502240956376005394327474/547890183224966129\ 1994318697724254119177834790345696038582198763902710331976189017607\ 380143637604985698638105*c_1001_2^2 - 4453048994913491168407508248985745902534272401177075961311754339784\ 7998686438989478706188204531277911165147587748324/61911590704421172\ 5995358012842840715467095331309063652359788460321006267513309358989\ 633956231049363383946105865*c_1001_2 - 2301879018882396080389050756256617451123123721162012170548693664227\ 24488892930606034388838606539852287414437424661/3641858276730657211\ 7374000755461218556887960665239038374105203548294486324312315234684\ 350366532315493173300345, c_0011_0 - 1, c_0011_10 - 49861340983176023271542511875874498294107471676422161393310\ 427099693014916219146414600723125/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 - 20978778961026146956328065483691499679947712410080212576\ 61195048643946218945804790560730657698/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^29 - 883981555553964256093740472675330054211662577487832\ 7989709436210286691279784733256570116332186/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^28 + 6934770800909069509714087716969431966898843314\ 9209006262198153812803174233076773961023519147446/11775952934703362\ 4950660114875831392506650331618055503267348180208848548819379461156\ 324120077077*c_1001_2^27 + 4917551923300050421500994134685565764715\ 40990089676745178363649358150831359095769603513192578652/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^26 + 985086835637753674600442819456475\ 986863124749764152709801305106518393377174119836797254914092809/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^25 - 9355130926925115022032463875529491831539653751614070049447483406163\ 45328238598471704560912242541/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^24 - 903169244482922929273404925577791553041976893795747135735146\ 6667564511872990840477136564613585619/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^23 - 2255569742630334719339724333493405903227938428926328\ 6751770854918359651711623941133809433187333921/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^22 - 3023021668813588453424040914432355306414565\ 7268539618105423376569808892050946802588858934538363596/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^21 - 1299942501459151495733506090850469\ 2424385045074900580469027246847803444982048888265055293974801791/11\ 7759529347033624950660114875831392506650331618055503267348180208848\ 548819379461156324120077077*c_1001_2^20 + 5516601027098230398637705166527494366110263382754667907104967845282\ 8402625007536610320229206300968/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^19 + 1994802998946713496065002513167736533751287038799096663140\ 20577320655475078991230272332252524277708/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^18 + 430978231929981691834981349492509479869669835450\ 409322478922527825498990855278627405297861907013140/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^17 + 72501846350220438439570927588272309674\ 1306571581968011439279288567258893966464500165436473663426490/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^16 + 1036758379848421777377677586127053371480558080206566281104443924730\ 904669616976065402474610767626632/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^15 + 13066559856611288027948893461880618742604890954566840850\ 28355051012652144851600281415507860772180154/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^14 + 146391529970299953083509342861266147944726120\ 6713081510283968845169228027268656634271496813581400589/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^13 + 1477130355443004233637090074744175\ 357022696928226942205820081523020405102704206220822243822310452720/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^12 + 1351913385329661867840295067260053788672421844406851238205991404465\ 898249199360204061449514065837835/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^11 + 11183625528926413039776309833409016762397561527883762373\ 63360638628896557503183901086906434660825959/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^10 + 838250793264028174188659322370599608753401992\ 901874558407451216385246399594764520498819159867950422/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077*c_1001_2^9 + 569788562380227438134823329229813688\ 515954516404039066537527400573047770576241386480229006907810489/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^8 + 3504393381318425701090323549057392046634267884759869438894673172553\ 98581016856410980308023460009021/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^7 + 1946475624946875389671170779529726414091274267539613365074\ 72559913867756780715174947882616436024187/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^6 + 9757235908441757716098573935977656300029736846627\ 4754716255661131997171054922236060343500473051227/11775952934703362\ 4950660114875831392506650331618055503267348180208848548819379461156\ 324120077077*c_1001_2^5 + 43890527116421271256316580076621201069614\ 632285912046123458800457885904035074749059487249519572384/117759529\ 3470336249506601148758313925066503316180555032673481802088485488193\ 79461156324120077077*c_1001_2^4 + 171138049492735957112029391489745\ 62361032796579061183201168983652651443399259577920606994155826800/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^3 + 5547511938845457836995116814335682620652437415041071834759908152606\ 271516833244810449786772068014/117759529347033624950660114875831392\ 506650331618055503267348180208848548819379461156324120077077*c_1001\ _2^2 + 147454153948812394732599109185081819381323634780772350056824\ 9891078218808736136401269183680364559/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2 + 2024630652351772186525263751109842526694903066195271721\ 43605545063504158892574835533258145794605/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077, c_0011_12 + 92772846363072976258872826288396086592716752261514703555511\ 987785979525997010372617557046997/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 29538608203227991270931542232835772791093831310830100481\ 34378088024051827911229780309631378622/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^29 - 175265111886498773325233930497138268187008543801661\ 42230657847989362047145879212920285485593285/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^28 - 843572683447734076152651538669982035710440393\ 74473813876501278672466327166676874135118658484723/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^27 + 964538611426810715865298313942637629960\ 60556150284826615502551202372374034095905787573751705317/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^26 + 120652713990339459717993150108804\ 6139456246034281722598764817307367589294137021324793979521986474/11\ 7759529347033624950660114875831392506650331618055503267348180208848\ 548819379461156324120077077*c_1001_2^25 + 2208075809856582805064338048635583371391416110777000940362857108241\ 443692574655322907424701442037/117759529347033624950660114875831392\ 506650331618055503267348180208848548819379461156324120077077*c_1001\ _2^24 - 15125517254612742438771862017061176087552328132927471420872\ 46776843301807778316352070830182142866/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^23 - 146955443633641370027036154245744912373665616154111\ 41033349714725046780000216952412653409132438637/1177595293470336249\ 5066011487583139250665033161805550326734818020884854881937946115632\ 4120077077*c_1001_2^22 - 323320951164679872184348780212407518545405\ 35133564875425671820412618573869037537771148545960710597/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^21 - 400033147358377425927301889262371\ 20809354000030237681822496274230389959647949003283627353031537355/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^20 - 1312197365456978147548034177100566598204076478832964376083421079431\ 9163809510757779552407829358920/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^19 + 7826894432811689418411629061536818724303248716950068188561\ 1652032557137879588311817316511411163870/11775952934703362495066011\ 4875831392506650331618055503267348180208848548819379461156324120077\ 077*c_1001_2^18 + 2627934881263694057971813426491539351427599624234\ 27047280837429531885274556644439671897755083256977/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^17 + 534717214917820752691036516685741992200\ 216983489984889891855248240898175738850685725943149727127959/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^16 + 8581733657951685818582674618964826768677296317027983819876899877970\ 20805161787097190660516354657093/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^15 + 118213406576237520836601362947243248733839001316881586753\ 1944345895300125401246967549681946288463980/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^14 + 1423310293411942308980485417286390263480268822\ 366004764674153755914431123310893845375026928446297445/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077*c_1001_2^13 + 15244026719464693307144842460039938\ 20290465968538735909090574801465457187673328204659883697664350121/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^12 + 1471225765175693528517981625836679766777539493771626152036753265022\ 839236349135061743855301661563961/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^11 + 12773709799625668091558548897411346582873205534848781751\ 57076823443950851964641811943500980354064508/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^10 + 999387605209720947285757269176268545847815344\ 496894663558145607712150818263387749859817893777840887/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077*c_1001_2^9 + 705138414247830400571556613063064109\ 496483040072771311449683736381739598933478390944957654281241705/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^8 + 4481679180217176005524682666535201003768689388388877121346978005726\ 37578823623599132776080021193219/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^7 + 2562031611714116355289243047245700953369338879599576032862\ 76793175064285018438542873613130441037668/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^6 + 1318248301102007902080147248329269827946113690625\ 00781186659565629767531276457321309636011438608668/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^5 + 6105236131069290685993834547802856616837\ 0618062340072160525132569115807820383383037368225391913923/11775952\ 9347033624950660114875831392506650331618055503267348180208848548819\ 379461156324120077077*c_1001_2^4 + 2476183978941180604128303860894580500719970485624630655894393340233\ 4154353075475751362142639961850/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^3 + 85237940332399044574963781625419607397524924470820592138253\ 38401953966059417445525843752113648108/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^2 + 2354640402933874854787735616425086039198369844693086\ 183061112211979126825715602897597845755357516/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2 + 47576757815201829462743347651998638736012143662\ 8613503239513379362780404067106854335221371687167/11775952934703362\ 4950660114875831392506650331618055503267348180208848548819379461156\ 324120077077, c_0011_3 + 139820970517648897860920439437956802084333153341696213086317\ 645564752357952679328481600274038/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 53573802981842484658214010942439597817245328591019614373\ 67927809053982398709623307175269896019/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^29 + 628890797712720060521806780360115945818481267134347\ 4958154714020490251725918720705621046830858/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^28 - 1589470058173269112290660457610118056096531008\ 67442794781742034483971670606929271630586502546605/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^27 - 834882553659457544205301831572024837013\ 377868839701563219167204356489392606091392099587988580449/117759529\ 3470336249506601148758313925066503316180555032673481802088485488193\ 79461156324120077077*c_1001_2^26 - 1399857112039670107278728413479237003261436022751500373246649959152\ 184127916938826254011588684242/117759529347033624950660114875831392\ 506650331618055503267348180208848548819379461156324120077077*c_1001\ _2^25 + 19508196322579077641292463838299967742312627826366172736511\ 48134829007817783877859772079253601673/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^24 + 151425708921668098059214687105091058925131024267028\ 12888524201114077515391357733230138049448421023/1177595293470336249\ 5066011487583139250665033161805550326734818020884854881937946115632\ 4120077077*c_1001_2^23 + 377519725562184176974636786794589676779439\ 48673962389651700333292327109997713606550349994852111908/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^22 + 532724933709468161231986589124793\ 24421952338946091772202837188098510626040724512820173040617099427/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^21 + 2723671548435464767699105725117826104447646673026224416688478243500\ 3942481647703465584403149964494/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 - 8845067903004825992012190355652694942065216390061960412425\ 3905419047938374515582440913004702160875/11775952934703362495066011\ 4875831392506650331618055503267348180208848548819379461156324120077\ 077*c_1001_2^19 - 3436367492364341097363748104786890822590744043469\ 79571691102017868036983044344535580007012322106400/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^18 - 762272945467436828529146374824526780282\ 001669387801657169477473646435258646017431846639585860306743/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^17 - 1315247709890261075464114545533760073097467307170667460110361885544\ 474336091302659264294169469006464/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^16 - 19223733120943880786247119935421772710373988568773196217\ 99169005773221070095897965742323515599123941/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^15 - 246884254366161793194154340746858737856664303\ 8401890232036917835336450521309015969726472277494658875/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^14 - 2825742093760465632071090696490387\ 975704809485326718471491041085339437091768062537194961820969007675/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^13 - 2911506030170543996135868513174937962773442066145575684073414896679\ 445719151714321783165935725827731/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 - 27185385343157962449862660809019437216236040515912356406\ 66018005004522151753276048881590735934895108/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^11 - 229933115237875195793819415331680096071316924\ 0878802614249853513124824017199975988820825721492511368/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^10 - 1761604897490593090625267178367581\ 929430159095121233746985906901036073507067422489713759968323243429/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^9 - 1223091868311856196749600209460576268121272069624013771339851585231\ 723038832758272144275799413561305/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^8 - 767180552735595901487142277506016351865363445838280724269\ 512893528830448741413011132519855545009353/117759529347033624950660\ 1148758313925066503316180555032673481802088485488193794611563241200\ 77077*c_1001_2^7 - 434178409944364293085224268939628669669241815936\ 761738532684940677844755573476452884971980343951958/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^6 - 221715160430961062785287775922368633521\ 043167747823897060811962112347132321107868644296892828815665/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^5 - 1014505491344242816780837822634028288899085630177514501292851691936\ 22108535458535865242134621949283/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^4 - 4096997092730290135345011967748351118235521416955446833923\ 7163309695066287393842143099683612033363/11775952934703362495066011\ 4875831392506650331618055503267348180208848548819379461156324120077\ 077*c_1001_2^3 - 14123235416737149624306842452157758302598684195429\ 707185798856652616286603907809653554758904897479/117759529347033624\ 9506601148758313925066503316180555032673481802088485488193794611563\ 24120077077*c_1001_2^2 - 381985822245595014569965040665731674613608\ 2015225828173570656578636316836876540572419046541666458/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2 - 7567043667394211905392641341700745163\ 87997841669674732802018660021740860098614886159659980458470/1177595\ 2934703362495066011487583139250665033161805550326734818020884854881\ 9379461156324120077077, c_0011_8 - 540214175402331686691031016506169487322100351068652511191649\ 67286451486849697576110925573913/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^30 - 224535539581197342333026198753668383762889433991210738528\ 3677758839749943896701786905171875411/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^29 - 8707428155386724609953867590032098854398732411610862\ 169164673952801958225284954363113362285850/117759529347033624950660\ 1148758313925066503316180555032673481802088485488193794611563241200\ 77077*c_1001_2^28 + 69706150153398270074532574970775910158785013658\ 614421933630958638801186261906273435375576079802/117759529347033624\ 9506601148758313925066503316180555032673481802088485488193794611563\ 24120077077*c_1001_2^27 + 50964305168504640641724225091484907807042\ 2314694193088503318331922549559015321470624246115726831/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^26 + 1102444272049653699610115821265314\ 457552206028764693253571304678656027813493504975915951893451883/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^25 - 6770891432583933793258121787574254352124868639269770145752985760792\ 74931822097069401105219460195/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^24 - 928628149573556537669561305599396367420714965350775175260537\ 7469646133144187873734981907373402709/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^23 - 2514487311159209360375716713648148897630200254451772\ 6599136654425030192898453280401556007201118685/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^22 - 3680810522913694100485475870417666026705743\ 9284589176821784916371399770305330765708266558253982472/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^21 - 2134865875070158665924696357867230\ 7941136415696447895976373697606886492684793292358903450838561390/11\ 7759529347033624950660114875831392506650331618055503267348180208848\ 548819379461156324120077077*c_1001_2^20 + 5318202608963916166086150013993954879627743447925669767583386932343\ 3691101535579553263110809584008/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^19 + 2188881030172428426718798428992782141378744632938358640776\ 32392312578204461931851430227731568090066/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^18 + 491911758459836639363637518990070788054865580745\ 734318999844895631295622666541727791125079000513492/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^17 + 84887182337940163186931578228172873171\ 1614295673142312404164521141565027880255597496481025498302166/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^16 + 1234513850885568561959598067869580944629296138864811262515563845055\ 981479382496099865366511854622533/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^15 + 15739618121986828439962570320366986591582567852566123420\ 88343788454824981545129574559427055656142594/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^14 + 178101936018017700719609291357157699239466002\ 8574282728461771130382319331977702179275760261966783538/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^13 + 1808384936716271992191213499181844\ 544762523580925600801060298478573823695956309571177731242701411956/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^12 + 1658454339978001073914583121270693492821897200275986819169880075314\ 787150124279035220655519248776762/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^11 + 13705882015784642286686220569816133566518748729672722991\ 07143921925895950182024867666951272993835040/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^10 + 102061976284991933436126032724505205757703554\ 0986689286038129852142915489359026662674809992369337066/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^9 + 68403456376253935342595077443413519\ 2192169562219820729829887506644586941387531176055124079476912385/11\ 7759529347033624950660114875831392506650331618055503267348180208848\ 548819379461156324120077077*c_1001_2^8 + 4109079350228860921465941500825043452791185482934526308109714041438\ 86499928485769409513076944663103/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^7 + 2209312341992275943305705039119605163946639135087533302254\ 29654183040372232096812096298932452128420/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^6 + 1064449818276319476303166988863651148555847149119\ 70755425599663464652980104179860034834164426486059/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^5 + 4543320646465905175535437095913277290401\ 8108589264646674467337674770286358549270939929775445920508/11775952\ 9347033624950660114875831392506650331618055503267348180208848548819\ 379461156324120077077*c_1001_2^4 + 1678002574459599184402988365559501951992991774837377314281771079258\ 5375682664714711054123352742402/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^3 + 50888528430305001821371107471900166031054228508667685531765\ 12606054987134396573346829160169999668/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^2 + 1036882766892066569758391357876902624438204714083962\ 629642638898852494225527225509663316389961845/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2 + 71086095994295462487470097471989161943705730587\ 321278958954536283369460114757648188099055097703/117759529347033624\ 9506601148758313925066503316180555032673481802088485488193794611563\ 24120077077, c_0101_1 + 350546137691846129454682669241933066703485615362952998789518\ 772152633461904593335323015178115/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 12542865358106533474867547327923014421221147524005453335\ 232847361735599490497764939517075074914/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^29 - 16552534793995224246418051284281679173114488095257\ 268374048850398662879204471157768567581204686/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2^28 - 37524223754238701314025550308834382779349568\ 7812216118122932713417674086547048192867464278917997/11775952934703\ 3624950660114875831392506650331618055503267348180208848548819379461\ 156324120077077*c_1001_2^27 - 1117891999996092590078359332722311856\ 725516992451120106867544786484142218281052867810284791939376/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^26 - 1213603777069453820475835813801175420786990844776144587175845552400\ 75749487625463393188551661614/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^25 + 688907893485697614943680422058165630946802938731872136268117\ 7831446118906603877971863568779240710/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^24 + 2089315603074901591678296443232023709978458586645685\ 9864346567331978107829311868471645033936696947/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^23 + 3189001940796356949526880870644880626694612\ 4039759616964524244935969961820013908669311727338537195/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^22 + 2127715834567928141566025094569000\ 9311478847171060763844379239024613601164087546297902426187395412/11\ 7759529347033624950660114875831392506650331618055503267348180208848\ 548819379461156324120077077*c_1001_2^21 - 3706028154678490363701097339065108361382387811538899008326654115289\ 3612180722943689217645921312885/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 - 1695975967286079851063380614437049866924665100023779930376\ 11337913455698703070831953917084131740257/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^19 - 390219601968370423441606154085686222365919449547\ 680207401813628771949092798611384338515764573031108/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^18 - 67604946491998255767324337693681874616\ 7440326085352405864690864743014409588368926879891854015832549/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^17 - 9796642563273605736874069198544604337185055470454317772455965706919\ 33264530185954118020258932586157/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^16 - 124276585704375125665353054198934570480271068488278585654\ 3103110450614736195898158622041925875211836/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^15 - 1389157524434554831257360766813940299746315654\ 672223982055304588884915482785301318211959362073278964/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077*c_1001_2^14 - 13864972671750976245389891316787573\ 31233981214983483186978006499613676792313582601520276579939674135/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^13 - 1244845433136873569035408177677378142133523269568668127157373260503\ 498660111417868124581641391267287/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 - 99484997098501202165541840785369477572305885508790963582\ 2506393920795848290772507601791362568588753/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^11 - 7077793685604414852168258331863765077721784929\ 31607516938775101352152136916037363473740209844641795/1177595293470\ 3362495066011487583139250665033161805550326734818020884854881937946\ 1156324120077077*c_1001_2^10 - 444694147341891447801006428121246378\ 333192959023409196151385621009111247196149121406091855903545118/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^9 - 2403271985489798955993164939157534048178404013442884417248062937729\ 48203785807636295288073658959731/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^8 - 1099683496321841002286056403864507361936745661863374968433\ 42161235322100033199503104751179611456863/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^7 - 3965738960850880781785239894739905247745004214645\ 2417983454792236979333928197694974658440589544403/11775952934703362\ 4950660114875831392506650331618055503267348180208848548819379461156\ 324120077077*c_1001_2^6 - 80131022782241038171273770538805589186739\ 24440359400989023102026895919232040370084455290186410170/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^5 + 1830956692662579575226319904757721\ 244931597918826568457257941952169220002942423636646143537246630/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^4 + 3279824333702088770013033621759226074162304103447095988349034423912\ 824386724662435912573322103602/117759529347033624950660114875831392\ 506650331618055503267348180208848548819379461156324120077077*c_1001\ _2^3 + 229177878471576329265515447506880225685126205444463807611365\ 9857594185831657823132192168389877272/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^2 + 93201905356994738656686781288262667815072731079089447\ 6344052864162208622527252061248829021628374/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2 + 3038163624861031234622002273430673138694174575343\ 47976228896096750396010688248422006230328033459/1177595293470336249\ 5066011487583139250665033161805550326734818020884854881937946115632\ 4120077077, c_0101_11 + 67888285853015979609548313049535876444908687774049384317371\ 0724502404860359845995140312477041/11775952934703362495066011487583\ 1392506650331618055503267348180208848548819379461156324120077077*c_\ 1001_2^30 + 2449501508223120758141379583940491931977001001360296888\ 9921009265369566410813231842065940689108/11775952934703362495066011\ 4875831392506650331618055503267348180208848548819379461156324120077\ 077*c_1001_2^29 - 2471170212028033316835764422406915854315755022967\ 9315915918324572918795387216807204085697127412/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^28 - 7346974581735483422886064496348341123386588\ 36708057044970960120873817028628799393003708236847658/1177595293470\ 3362495066011487583139250665033161805550326734818020884854881937946\ 1156324120077077*c_1001_2^27 - 238659348197816851345637277377705889\ 8920803512594711221188744183667343183209881158819073654310035/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^26 - 9313326623878627817019127646150486837097158441497673235111671959721\ 17443007351588821984747730249/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^25 + 131521783914561661751433628628193322136766741574251084219377\ 49837772840892736824853485996558131591/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^24 + 444792072165619205105020826952618389076313434852811\ 03452104233319665552197363705859377958723511288/1177595293470336249\ 5066011487583139250665033161805550326734818020884854881937946115632\ 4120077077*c_1001_2^23 + 746292743719353421333075387670230134983429\ 97678325358933155675778956170989227352209496138425965611/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^22 + 619374844798727736621499281175777\ 65457403295153407421373591340751377675660094074737735312801994927/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^21 - 5564121695038867451683580176292841907695163126766602035791841523008\ 2214157269783285891348796015780/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 - 3460652189427979909715898915969699985589328811245917567830\ 50227393601253751965271330260204021119617/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^19 - 855385589398550183469458392461465968163279957713\ 258738766220130743100430938716979310191481346602671/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^18 - 15518011406069176393582248228473730510\ 94094162321538952068963646999192407856701308236134506851815740/1177\ 5952934703362495066011487583139250665033161805550326734818020884854\ 8819379461156324120077077*c_1001_2^17 - 2334668348485246669497571368176517231869287740962287340367503631839\ 174720918372230667137894687074390/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^16 - 30641080183139493419020078296438948957773788197834443665\ 83859157492925088972001457486066389499648366/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^15 - 355725314052096335662477313931921317065231540\ 2564805127920369392112968534018002452872246399142998323/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^14 - 3698841933358201002539043214795649\ 820630118035389695127662239601061573243653976662822062210064768594/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^13 - 3477118114808962258206534698462318023687683694639461219965499102172\ 004838264722690983295106031778801/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 - 29484356332608055634981355317829121893614554818811004185\ 43394007949423692725204907055208079783517509/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^11 - 225822954285236989085867438981979089329243414\ 0188754068480665217509043694242512040780093314862594056/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^10 - 1563466929649465277045374050725347\ 565370521161205409314053356060212822400329899546063099804784179792/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^9 - 9749933876181753533221414513713492293804408761340961108755991667937\ 26120091955635384774206246256452/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^8 - 5490262449222683666474887738900471620009494547000970438547\ 62868180786005570045821707028804232762316/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^7 - 2793314324707427205195226972030218733189644490158\ 81725055563403694493046997502894939275497349764940/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^6 - 1277950973718026718288265432986200627298\ 68613808198195977833146394086114448509522054823821464878029/1177595\ 2934703362495066011487583139250665033161805550326734818020884854881\ 9379461156324120077077*c_1001_2^5 - 5185061101746324000938735187123565286365323780525862017860192281377\ 2362440098634983609903642418381/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^4 - 17944626055827167294258586920807906682005050767200210915997\ 625374450621626131425125800534526572991/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^3 - 498965147187550467031136611894162640334476743529518\ 3344509497751435643397260048481564762455669199/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^2 - 93238061749825612899448597368052754370377213\ 0236948923220168597846592130713230321036410517818758/11775952934703\ 3624950660114875831392506650331618055503267348180208848548819379461\ 156324120077077*c_1001_2 - 1276963873332906684410328585882470284079\ 87758813578414530721711194170520797266657083382983608420/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077, c_0101_2 + 200812367975965210834764844747517396636832630769085793609342\ 744369760754210821086704733488566/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 76249233555431281922922548227342620439116291462132113015\ 45132464326793556642144362307401449669/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^29 + 629960140814568263661209401920820493167095136383425\ 9517355298841095587259844484147511455474925/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^28 - 2338980340963622472646628922983985051314826310\ 29887501461975634917361843068565814655828415319651/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^27 - 111218622506556195288601316579295621455\ 2063835525963154243125292612159325435645012293199734821973/11775952\ 9347033624950660114875831392506650331618055503267348180208848548819\ 379461156324120077077*c_1001_2^26 - 1527013048179074220188867646017277424713187917389410340531807201303\ 179979325712726806934585874735/117759529347033624950660114875831392\ 506650331618055503267348180208848548819379461156324120077077*c_1001\ _2^25 + 36017701299732745383820938142574505659306885284324673676765\ 06868350286367802644220129877874712082/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^24 + 204872190028734873116703094912363896651282416891937\ 45130011178706058405498458218176834020160020218/1177595293470336249\ 5066011487583139250665033161805550326734818020884854881937946115632\ 4120077077*c_1001_2^23 + 453882748018465580476899147693789700039791\ 87682426446208624978724320882091082298147866524559751837/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^22 + 556408067093558906984157501129525\ 38302318030843872474866988886540078821509388521204208802866533982/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^21 + 1200295798945828585076587368611466183570326107831062188987416636218\ 1122968631359298374916991493957/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 - 1364933745658058634572403546010183560095758952662377777021\ 18469698815597504759328538303067805339411/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^19 - 436677475360251470052953875321937560010854014915\ 305859676564285021123308032422398304910103400383767/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^18 - 90083705170120309100716577677252951267\ 7135149548264689568589707317894092892667985017110933178993786/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^17 - 1479294248813633959869908115436907628141637111377469513653536284583\ 395418771544700674162406945100564/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^16 - 20802040391756516303522071547951649672515208253606582265\ 25295870686549200510331853218816846879316850/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^15 - 258072877165714282173135760351410042631028182\ 7639798024873153055551866478532206237041015894112167219/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^14 - 2855359337518899361494208787436128\ 042162810769267288429734759639384733150499484990140914892772778369/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^13 - 2848089965936708020271518641822855707399659948497758748748600719789\ 674595319440095158254119929072228/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 - 25731257028644600169963225399770699575025691889489688892\ 53090401103371298225033713817156343831748334/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^11 - 210273556006642896418652838042469467724692906\ 8625790327709492828383004359938295795670190708851559722/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^10 - 1555446993257437681702181072888360\ 403599896036359121048208084986395875035586009225304121396292607545/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^9 - 1041258543797868374975729375102717609096841414968844492087389954025\ 754713788630401599029922121804820/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^8 - 629975131467683425080786822820369616795932004742627111674\ 809776034355795398699507473363227762930847/117759529347033624950660\ 1148758313925066503316180555032673481802088485488193794611563241200\ 77077*c_1001_2^7 - 343842210592668112271429940788318228914855487916\ 050906232403376569391965803485173804360918284097400/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^6 - 169309224233037664864927678839043922585\ 329940426176020877534431852701271934179371129390955350536415/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^5 - 7457562295408243361937117414400251483213661742883437341775253184371\ 9401587019380421222120673951282/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^4 - 28542103201964621221980611361151735137844571499061123341686\ 521903592033627760516906620598512898358/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^3 - 908152497098798807378405806377426026166785897603244\ 6881091591309341970819912058157021070653853181/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^2 - 22046515901338176427645768748030100291307127\ 87198261265874077757898112636796907789333644955973427/1177595293470\ 3362495066011487583139250665033161805550326734818020884854881937946\ 1156324120077077*c_1001_2 - 281626442285041351804385695898778496653\ 139493265343890469938265773644399442294278536388711967311/117759529\ 3470336249506601148758313925066503316180555032673481802088485488193\ 79461156324120077077, c_0101_7 + 801143525548621790340178088253459383776433344925557331726044\ 938039722438721606395835242565882/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 28747146710531027221639658048918829057610330837624769919\ 330776222603217871481448159326686374418/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^29 - 35033758867144133263115024869561424710881223306012\ 037331494670549593183852244064889522670059164/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2^28 - 86569571288412484575921473221069609395432690\ 0448090138239444020509099380149329717842994995461809/11775952934703\ 3624950660114875831392506650331618055503267348180208848548819379461\ 156324120077077*c_1001_2^27 - 2634961743179548655486672655311208183\ 938622304150921268528767257124958640470042435179565391707999/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^26 - 4028419016689499114365728411163571260344142547529636653938143206022\ 19516873256668264961478874161/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^25 + 160450932380213257024748512954606551828687573474914830852448\ 93030259667482906557539341287634787025/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^24 + 490675707611946826901186142433679390060246675023563\ 67797589606556996853190983138776531365736112400/1177595293470336249\ 5066011487583139250665033161805550326734818020884854881937946115632\ 4120077077*c_1001_2^23 + 748995115491722244069575682136536861433305\ 05767073837746849861937877611678330842536254615004422787/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^22 + 500342457625068991416715611229110\ 60316609829260007270432499173079886645962184222432799446109226510/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^21 - 8465833352367804193414837125679018889037399355900686133347730138146\ 1436149301374993220136820957899/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 - 3916887331707471142061056626498886215605671738640381916484\ 00872873318211601793844852919687603381308/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^19 - 907363196954032654091954785778634782949153818872\ 833707521753307474375852814129400347112777734296529/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^18 - 15813343574145516307927108685884351207\ 04759015756682849843258908456934183479289853722211645133258239/1177\ 5952934703362495066011487583139250665033161805550326734818020884854\ 8819379461156324120077077*c_1001_2^17 - 2305624461194697846983807232373874366035156694097270328464913284781\ 263342911024308881282046795288339/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^16 - 29511367353817966713094216727309640240780713189063796229\ 08048179686865817569072827559725351249128463/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^15 - 334420797173935210102249841197035890174307649\ 1190569694542656916889952897393780210375713995162942126/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^14 - 3392185463906390838155196780937008\ 657397450349875029420852170047554335959951083716780996875179475916/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^13 - 3118979255916902108228061536372681558581668157939492633853276755272\ 370142330047603014493738567821261/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 - 25854442450919704594846123006765523442623006661273557124\ 71591483550276453276641738531712640214148329/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^11 - 193006365656531400799679408153275239961920899\ 2043562032324655507231614760261824219708215991205252796/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^10 - 1307356457643051705570789855676832\ 196764733393082761118683057695587124600584913473052383004307351568/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^9 - 7982739566714265266856320165850679164114514363760939911770430082123\ 97189472735014404564641069650752/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^8 - 4382751879242277379200181605496860498100079205797955034372\ 40867102814353176898057772532381867483101/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^7 - 2189039597886282161817629411517157946349545362700\ 74466614883364271296673834621518626001801401653922/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^6 - 9768926337201109783634972048963108944551\ 8407641682122611928296717518076068434933085028634988405231/11775952\ 9347033624950660114875831392506650331618055503267348180208848548819\ 379461156324120077077*c_1001_2^5 - 3781100806400151136767566433534407273936352436059280328236374214721\ 1504013552067366474557170921855/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^4 - 12355061114168214956986858752402349780486465649125833307586\ 173156300879972242151310860343132186983/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^3 - 322554809108115997633436983306566410577169680298978\ 4532215210215924447734140365633961639273305183/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^2 - 55041482515999931777780056507393060471587801\ 7876722866122071309299089342970303441564188605031025/11775952934703\ 3624950660114875831392506650331618055503267348180208848548819379461\ 156324120077077*c_1001_2 - 1779819210528791987751629829787680441726\ 8257846014977655095615096862880871777898252256207998653/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077, c_0101_8 + 823197364071887294335285445731447356269850110908756510452489\ 553761188271550678700447349577997/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 29988210009319152129153809682479222248223019469958820024\ 119935673558228994671319302427747169278/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^29 - 19732540080232917710943955717549898072282319730243\ 350782178186171134831242458373966301719918022/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2^28 - 90455002900073808350944319358475506722537633\ 3341882455806676368522451918415086766565959788761613/11775952934703\ 3624950660114875831392506650331618055503267348180208848548819379461\ 156324120077077*c_1001_2^27 - 3198372228402874999233109030897637384\ 190258032085478893017827320729158190852882634635898602910293/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^26 - 2037889646107394113382638495714129555472841322563361230088705072782\ 720126176949364594116381014457/117759529347033624950660114875831392\ 506650331618055503267348180208848548819379461156324120077077*c_1001\ _2^25 + 15821836672358913054868236067990162290543703334848321241712\ 120210868332065303612691329099117028499/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^24 + 59421522776091310817365119857529016875942825979846\ 064510883684162755099556457883735822074932338537/117759529347033624\ 9506601148758313925066503316180555032673481802088485488193794611563\ 24120077077*c_1001_2^23 + 10740211293777236568860324011700366386462\ 6749737335492831095275536869403471002174632860378749224242/11775952\ 9347033624950660114875831392506650331618055503267348180208848548819\ 379461156324120077077*c_1001_2^22 + 1015996934850533102228208370597059867997167758026859884668305662976\ 28884413230717727599376096658886/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^21 - 479927768817099254584444948645611926980266244407204580826\ 12892906796136138835183614125404605951407/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^20 - 445980348408062558136250462124224713128215158324\ 546383494595336966727399653197659252477191451760542/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^19 - 11718308054487054142860419505355334180\ 91430616522819422635156994855680785732304032767378912643248141/1177\ 5952934703362495066011487583139250665033161805550326734818020884854\ 8819379461156324120077077*c_1001_2^18 - 2201487033594487390750913497006593875724033754166223025853541523987\ 156715178678501864915806804674186/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^17 - 33971604240112959254318941136786357473945848988147484899\ 98135625999521406928737578352433972505299821/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^16 - 455368887437413083151583269801696282216368478\ 2833475659393770041502411247681234103681716674218315971/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^15 - 5400186315544846395232252046352104\ 632024117317195550897476674918047569966914709859799116635300890559/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^14 - 5730357566256832855823290384641985035757778111724401702530815261234\ 816331656096644594546391957898922/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^13 - 54957727239470642761740552557950236937570514050684247782\ 36796302186545974695740346552977636936292781/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^12 - 476535802620054193793844112531027781417794577\ 2045264622416309545900062102097552763550432465268485578/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^11 - 3734173759955153628723986672300146\ 141266233376051227691823993369133019555445883823322011279145445681/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^10 - 2647763693887154527345560806264052746231029186232582662776700388483\ 624766143881671659323206394110568/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^9 - 169546775373470058319574130110752469153177006808154730153\ 1098573734152230868297376365311014371213506/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^8 - 97937805390308983368317081603535923547972635524\ 4791976524652516725980152350223913866655543591649115/11775952934703\ 3624950660114875831392506650331618055503267348180208848548819379461\ 156324120077077*c_1001_2^7 - 51082333048773735222433616910143906267\ 1010780165580908670179861213744746497847831145311639420927101/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^6 - 2398240206013204623080663216479405841266835059212335468880569658947\ 05150051274358364907153801346547/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^5 - 9996207944260988288593873431968146189637575560420003045959\ 5562299888100655038764441874734153986109/11775952934703362495066011\ 4875831392506650331618055503267348180208848548819379461156324120077\ 077*c_1001_2^4 - 35800801515445798451026728134864916867636692368623\ 383101731900488551213474936632684913859803754420/117759529347033624\ 9506601148758313925066503316180555032673481802088485488193794611563\ 24120077077*c_1001_2^3 - 103460767306163463251775879349449868674864\ 74567115733355354493935199954549552757038667425717087871/1177595293\ 4703362495066011487583139250665033161805550326734818020884854881937\ 9461156324120077077*c_1001_2^2 - 2192196236381457333134953836720046\ 223659694646565828883367862968879920296820053751180437120938202/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2 - 1723653273270267045526940954069080654150199953359343106905659666107\ 40000766549918159056481808659/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077, c_1001_0 - 330078982428215586308508037068698089578888981749971883796347\ 412901563084191739806469301482950/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 - 12033155765722501116682647559031665689817405866110388704\ 761861307767700906504392129567451916111/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^29 + 76944686248946246406295633264800693787287851050342\ 76748685199944948188302852586768473108129547/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^28 + 366495137259383303369682146329851907182084609\ 828391233486760061917199833175156246972331267773678/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^27 + 12873383619240056222850787314083814458\ 80470716201576815897315764667657762460119245599093687929776/1177595\ 2934703362495066011487583139250665033161805550326734818020884854881\ 9379461156324120077077*c_1001_2^26 + 7425569828904146785027015174647848371170015199582980416018513298763\ 34780234290183392033865656338/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^25 - 664078795029322040428789765170301365519097239204081484473824\ 8095126024633755569170736568693191154/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^24 - 2399995456956696605193674692246237792935225952033711\ 0805090086589334678912399036928670661667800793/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^23 - 4166146186720061354935621526000172285762328\ 2574796275717631346941103776643051446126872490320675835/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^22 - 3598273190872081203121786447859278\ 2030504395708730986004475339975517871890861719709972936738264762/11\ 7759529347033624950660114875831392506650331618055503267348180208848\ 548819379461156324120077077*c_1001_2^21 + 2672379523541791515863071463364096036070839519932114760816245356413\ 4216307943197359962674330827682/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 + 1843608780134295477752201241270371848647974234620457308952\ 27790644144905951723386691899943066874438/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^19 + 463317496385926145054581482181734214131191973826\ 268318272768084728865968913638605587551863069708849/117759529347033\ 6249506601148758313925066503316180555032673481802088485488193794611\ 56324120077077*c_1001_2^18 + 84763104606593584758990111581511197391\ 1961478083027281335668853199725516727011546038683605305053575/11775\ 9529347033624950660114875831392506650331618055503267348180208848548\ 819379461156324120077077*c_1001_2^17 + 1278217286218871051923230764299252905377836016306817619556044983993\ 081830092615557345627186612954090/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^16 + 16780287463237814108076872102437223781390425498414612104\ 38779638209679182508075082516118076608815159/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^15 + 194909366401050515006162876349833715159233466\ 1895515191048993342046973541580485262945643447304494195/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^14 + 2019687832909503879226197383734529\ 388125953030812974365467962644791496137155767624220413612510033034/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^13 + 1888685537383013687472776774275550912632549255909810881413742363952\ 781991346667767242522054969980391/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 + 15923947715978618931267887665125649223820106638964635820\ 88204069393631365696746626032274071194369404/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^11 + 120473544445417153714262944385643633789688791\ 1682868428431615984512420734369101728155486241097956776/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^10 + 8208422743536835557122810122157665\ 15420991499431507390905470707216145484009291242375581579946350956/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^9 + 5017916154136342407686121862958743648115066959205037601797833770473\ 64289230689483278943119985607249/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^8 + 2730960520296302892220619390505364446126244287131795057275\ 76554400742057129640804254527343934754634/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^7 + 1333266723269465057069917924612302895704892872177\ 25453059974790323426892273694082084371802030127790/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^6 + 5771042006863968257879491872483854467489\ 0475147983665862380424296210484649656570946870863128637456/11775952\ 9347033624950660114875831392506650331618055503267348180208848548819\ 379461156324120077077*c_1001_2^5 + 2157322666604077331848960359021836787614763408140657772325019458064\ 3853663091611271691427896952998/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^4 + 65385422725488300999544257516117257862334903997469280560477\ 25370998157971922162887484705427703966/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^3 + 1243651721046143829321187111995451116291517791747407\ 106662792665968714369858378085827605404859061/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2^2 + 952278556950188505835687472878688958091038521\ 11990764991350258760049953760607913901658376106979/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2 - 105032796186825565138341420507726295922159\ 230379706727642920278127695366591035955130176455134808/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077, c_1001_11 + 94543648131509239104404309941623986089738663359395850859745\ 039851678008924841389651199157342/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^30 + 35641515097163603755743015427841548623040510446547287242\ 27887119761142170746153798186318870144/1177595293470336249506601148\ 7583139250665033161805550326734818020884854881937946115632412007707\ 7*c_1001_2^29 + 227355555283265361597600410452347554773509765456519\ 8370672613804705695486455580413560533175675/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^28 - 1008056595682178382854340872494103144678242345\ 17153763614421721599635898121245416430105159116139/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^27 - 508265854954189185679675543351279042273\ 726515390250562251204203601366500961274561371325127445681/117759529\ 3470336249506601148758313925066503316180555032673481802088485488193\ 79461156324120077077*c_1001_2^26 - 8792193995611761412056024951722050546706494205949309531121300187833\ 51696503835949269370734149172/1177595293470336249506601148758313925\ 06650331618055503267348180208848548819379461156324120077077*c_1001_\ 2^25 + 102192537767531591303245187437145502099278564152874013926527\ 8859786853018819197245492247213667883/11775952934703362495066011487\ 5831392506650331618055503267348180208848548819379461156324120077077\ *c_1001_2^24 + 9205483318070481025634478193147918373964475350438191\ 605380831864812055089254174859767594319506302/117759529347033624950\ 6601148758313925066503316180555032673481802088485488193794611563241\ 20077077*c_1001_2^23 + 24370724995171518475196305865726720540054880\ 081299513371817120015213494717033931786265152822138259/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077*c_1001_2^22 + 36610618330138220409729823193103352\ 308438651460709516618506077077526610652142532546572127825358115/117\ 7595293470336249506601148758313925066503316180555032673481802088485\ 48819379461156324120077077*c_1001_2^21 + 2203165490040285950101115275061590400819814359240488778767683725441\ 3297454595457688411455193184502/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^20 - 5220512056518069679527881003058663144061501474658279226601\ 5250634949323257311425983176272283811910/11775952934703362495066011\ 4875831392506650331618055503267348180208848548819379461156324120077\ 077*c_1001_2^19 - 2202899527053897531643450555995651052339014489705\ 42578620451889886093979922997119175825823417450962/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^18 - 500610422095318674286934841883180503236\ 187489758666238111327193819544887003249542312369379314972688/117759\ 5293470336249506601148758313925066503316180555032673481802088485488\ 19379461156324120077077*c_1001_2^17 - 8774295649600666011276662607099650072509253012166038973162424521073\ 38889379542712721069881315437878/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^16 - 129460140111299382442538350639007286204045522011660510066\ 2847856595130071070612344191915352665430609/11775952934703362495066\ 0114875831392506650331618055503267348180208848548819379461156324120\ 077077*c_1001_2^15 - 1671181304759751004504807245350759240875309805\ 427020668227733483067679226437118800296474150297834944/117759529347\ 0336249506601148758313925066503316180555032673481802088485488193794\ 61156324120077077*c_1001_2^14 - 19235466921549410743098111887340327\ 00282853631771337106207712748320008414129661556703408209141787894/1\ 1775952934703362495066011487583139250665033161805550326734818020884\ 8548819379461156324120077077*c_1001_2^13 - 1986880708474953218601044743040172458918625007700434069143871774167\ 124574887691707541346463125853866/117759529347033624950660114875831\ 392506650331618055503267348180208848548819379461156324120077077*c_1\ 001_2^12 - 18542972763470260501571373174934202818604742268201028381\ 00339031983489068688744088680613682167242404/1177595293470336249506\ 6011487583139250665033161805550326734818020884854881937946115632412\ 0077077*c_1001_2^11 - 156819462511941778622401035958548589652750814\ 2091926057033466565788215867702934976389760828156775080/11775952934\ 7033624950660114875831392506650331618055503267348180208848548819379\ 461156324120077077*c_1001_2^10 - 1196587572150647517575223298547428\ 086348254518284704303224861206359908874706334970748177564810406875/\ 1177595293470336249506601148758313925066503316180555032673481802088\ 48548819379461156324120077077*c_1001_2^9 - 8242719107955913198578662385534517121140490985108208680346397884631\ 72707476636886642882833039732199/1177595293470336249506601148758313\ 92506650331618055503267348180208848548819379461156324120077077*c_10\ 01_2^8 - 5122184369361063461623797554161503936640455012901508135732\ 98600194522051920511010723405456927323397/1177595293470336249506601\ 1487583139250665033161805550326734818020884854881937946115632412007\ 7077*c_1001_2^7 - 2858721006136893460791874868163791172425064403133\ 88670442737734574567980820384919467881692981848902/1177595293470336\ 2495066011487583139250665033161805550326734818020884854881937946115\ 6324120077077*c_1001_2^6 - 1432121568536764532121837054533084733482\ 59380749753370141382284178476975093370852717318981661706928/1177595\ 2934703362495066011487583139250665033161805550326734818020884854881\ 9379461156324120077077*c_1001_2^5 - 6412456288015407473234882935590248196511673352410025362627097942117\ 8386066094174474667236759603216/11775952934703362495066011487583139\ 2506650331618055503267348180208848548819379461156324120077077*c_100\ 1_2^4 - 25200589383071757278799035674964381084803414212897413430448\ 079000082525114935868468019343844351013/117759529347033624950660114\ 8758313925066503316180555032673481802088485488193794611563241200770\ 77*c_1001_2^3 - 813254316107783472619740680738878354460171194537100\ 8059051167639017816967489345469037090336417377/11775952934703362495\ 0660114875831392506650331618055503267348180208848548819379461156324\ 120077077*c_1001_2^2 - 20105604751824848116762282879682583034197844\ 98378456960214140912244093860561259880691892603167226/1177595293470\ 3362495066011487583139250665033161805550326734818020884854881937946\ 1156324120077077*c_1001_2 - 283325796718043261847256490638554037926\ 230682112273045747569947818478870381977991737425823331827/117759529\ 3470336249506601148758313925066503316180555032673481802088485488193\ 79461156324120077077, c_1001_2^31 + 36*c_1001_2^30 - 39*c_1001_2^29 - 1067*c_1001_2^28 - 3435*c_1001_2^27 - 1455*c_1001_2^26 + 18162*c_1001_2^25 + 63051*c_1001_2^24 + 111062*c_1001_2^23 + 106991*c_1001_2^22 - 44437*c_1001_2^21 - 460642*c_1001_2^20 - 1239121*c_1001_2^19 - 2370064*c_1001_2^18 - 3741125*c_1001_2^17 - 5147166*c_1001_2^16 - 6276299*c_1001_2^15 - 6893100*c_1001_2^14 - 6884158*c_1001_2^13 - 6250993*c_1001_2^12 - 5182327*c_1001_2^11 - 3928789*c_1001_2^10 - 2716572*c_1001_2^9 - 1715749*c_1001_2^8 - 989128*c_1001_2^7 - 517831*c_1001_2^6 - 245328*c_1001_2^5 - 103938*c_1001_2^4 - 38607*c_1001_2^3 - 12148*c_1001_2^2 - 2941*c_1001_2 - 527 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.450 Total time: 4.669 seconds, Total memory usage: 84.38MB