Magma V2.19-8 Wed Aug 21 2013 00:50:02 on localhost [Seed = 3465075212] Type ? for help. Type -D to quit. Loading file "K14n9995__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n9995 geometric_solution 12.25944921 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 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.497876552173 0.609368283193 0 5 7 6 0132 0132 0132 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 -1 5 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.985778059966 0.896646244136 3 0 7 8 0321 0132 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 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.874524386966 0.454520553631 2 9 10 0 0321 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.476059099936 1.041350418537 9 6 0 11 3201 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 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.642241355409 0.642358227968 6 1 12 11 0213 0132 0132 3201 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 -1 0 0 1 4 -5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.754120421790 0.546615744598 5 7 1 4 0213 2103 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.499153990204 0.668405307483 12 6 2 1 1302 2103 0321 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.864732011734 1.617519599195 10 9 2 11 2103 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577287396038 0.474154000119 12 3 8 4 2031 0132 0213 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.982943106939 0.827641028263 12 11 8 3 0321 3012 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.727058164530 0.795347164703 10 5 4 8 1230 2310 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -1 0 1 0 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.688296858723 1.142126527616 10 7 9 5 0321 2031 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.285322636211 1.107183854313 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_1']), 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_12' : negation(d['c_0101_1']), 'c_1001_5' : d['c_0011_7'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_0101_11']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : negation(d['c_0101_11']), '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' : negation(d['c_0011_3']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0110_8']), 'c_1100_7' : d['c_1001_2'], 'c_1100_6' : d['c_1001_2'], 'c_1100_1' : d['c_1001_2'], 'c_1100_0' : negation(d['c_0110_8']), 'c_1100_3' : negation(d['c_0110_8']), 'c_1100_2' : negation(d['c_0011_10']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0110_8']), 'c_1100_10' : negation(d['c_0110_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_7'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0101_11']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : negation(d['c_0011_10']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), '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' : d['c_0011_10'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0011_10']), 'c_0101_12' : d['c_0011_3'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0011_12']), 'c_0101_6' : d['c_0011_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_12']), 'c_0101_2' : d['c_0011_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_0'], 'c_0101_9' : negation(d['c_0011_11']), 'c_0101_8' : negation(d['c_0011_3']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_1']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : d['c_0011_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : d['c_0011_4'], 'c_0110_4' : d['c_0101_11'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_4'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0011_4, c_0011_7, c_0101_1, c_0101_11, c_0110_8, c_1001_0, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1473128552747645427100389646525175052346996053030930777020366767098\ 982537237331654855893381839432221885128218817371718847407666762/373\ 3569786064457860453964007840082859018766538452941209442484459493101\ 343411983614182799862098706789080548599517400280672463533*c_1001_2^\ 31 - 37866831465049831905921555208122791300080474521966811376431348\ 5163858425143045283875001937324481504149499917164064487421757166432\ 9/12445232620214859534846546692800276196729221794843137364808281531\ 64367114470661204727599954032902263026849533172466760224154511*c_10\ 01_2^30 - 581096431519475027360555696821926531792593763886187617379\ 6910286933634943349329995799081753636056374099106986635153674465894\ 2795713/24890465240429719069693093385600552393458443589686274729616\ 5630632873422894132240945519990806580452605369906634493352044830902\ 2*c_1001_2^29 - 483455847829293839106115874189280353682963984126744\ 9601947502334524606935970068698108666943981636653049414883681160793\ 32461765657/5262254807701843355114818897589968793543011329743398462\ 9210492734222710971275315210469342665238996322488352354015507831888\ 14*c_1001_2^28 - 19376937695526629424641648637265164396654468022820\ 8476564882357025251358822164734413044882995456997749293905326756939\ 75882391298933/5788480288472027690626300787348965672897312462717738\ 3092131542007644982068402846731516276931762895954737187589417058615\ 076954*c_1001_2^27 - 3398216407502660954553204907266284677988487540\ 6667757910794833881134755548886607339614173084954883702211699425605\ 71122047219740011694/3733569786064457860453964007840082859018766538\ 4529412094424844594931013434119836141827998620987067890805485995174\ 00280672463533*c_1001_2^26 - 92105931488116373501203422438513309514\ 7212816155709509822160687941618707043687958631389705860024944882805\ 6367549164236155032925711630/37335697860644578604539640078400828590\ 1876653845294120944248445949310134341198361418279986209870678908054\ 8599517400280672463533*c_1001_2^25 - 1197774972085962605921885478971050338984670485816388808618723337658\ 537545194915398278500415460367476791383921247471747932908012971502/\ 2196217521214386976737625886964754622952215610854671299672049682054\ 76549612469624363694109535218046416502858795141192980733149*c_1001_\ 2^24 - 905206845408779204880793499259210770324885791556622873015620\ 1752450407148269155773942471003573476069658545060713285806268226566\ 0516871/74671395721289157209079280156801657180375330769058824188849\ 6891898620268682396722836559972419741357816109719903480056134492706\ 6*c_1001_2^23 - 864384644333550740814665058928450444067175396316977\ 3514504469256823800297004567167445132117610389305753903717705598998\ 0759902810896595/37335697860644578604539640078400828590187665384529\ 4120944248445949310134341198361418279986209870678908054859951740028\ 0672463533*c_1001_2^22 - 327691401338326805260267297835673317026411\ 9679977416238793472183156027025509000645705269882077577364297502415\ 58490778715240248326989193/7467139572128915720907928015680165718037\ 5330769058824188849689189862026868239672283655997241974135781610971\ 99034800561344927066*c_1001_2^21 - 9019391482199543204119315612820158315146616829097186203305068900176\ 5550521948210348133391497099829514901062961050941679708504466114657\ /124452326202148595348465466928002761967292217948431373648082815316\ 4367114470661204727599954032902263026849533172466760224154511*c_100\ 1_2^20 - 1459179842126911621270594377659833659734386125699613620511\ 2117040832418669402387621294063387240741955055126329082028415608516\ 3455628607/12445232620214859534846546692800276196729221794843137364\ 8082815316436711447066120472759995403290226302684953317246676022415\ 4511*c_1001_2^19 - 212404258351982507399677739725368386522322130388\ 6524601352315488093064424478926611557402882600754768798599037139954\ 61619280444195481640/1244523262021485953484654669280027619672922179\ 4843137364808281531643671144706612047275999540329022630268495331724\ 66760224154511*c_1001_2^18 - 77973001204841961147871714065480561933\ 6767739163268556800244417275123032053034102980813870590172970166735\ 8230324394666062918704739751/32325279533025609181419601799481236874\ 6213553112808762722293026795939510252119793435740247800753834552428\ 45017466669096731286*c_1001_2^17 - 3267890181604391923201972961799989894189664325526610945055879731603\ 4089810535835164731588068666336000020706346214758871444129102806907\ 9/10667342245898451029868468593828808168625047252722689169835669884\ 26600383831995318337942817742487654023013885576400080192132438*c_10\ 01_2^16 - 412220465466178666268409345972746173273732927685711000726\ 3338052744098757336616558551891918102629429140355754333064044802686\ 68430442425/1066734224589845102986846859382880816862504725272268916\ 9835669884266003838319953183379428177424876540230138855764000801921\ 32438*c_1001_2^15 - 22851503788559364369366188592224502377848126292\ 4965921831261966960046715107054393606408415800456362927555844656580\ 809559115679739849557/533367112294922551493423429691440408431252362\ 6361344584917834942133001919159976591689714088712438270115069427882\ 00040096066219*c_1001_2^14 - 11886831513874770755889793688973613704\ 0425068402158106981685212596311352962862552799806153459442981321460\ 35408958944201809748104592160/2539843391880583578540111569959240040\ 1488207744577831356751594962538104376952269484236733755773515571976\ 521085152382861717439*c_1001_2^13 - 1145344846680413350500068642293639569991450648827124792467997549745\ 9563606431032299691208966500050380136657157158486219794809015332289\ 33/2489046524042971906969309338560055239345844358968627472961656306\ 328734228941322409455199908065804526053699066344933520448309022*c_1\ 001_2^12 - 16339372610659501023812111596384104864772955107559938285\ 8333066177938942613758150035688072161563598124113663402177878201670\ 3026311507908/37335697860644578604539640078400828590187665384529412\ 0944248445949310134341198361418279986209870678908054859951740028067\ 2463533*c_1001_2^11 - 468289730025538315106932208839954149411001611\ 2908131588890179379273586434830042941366355902681956492396921055972\ 60072873570507077561627/1244523262021485953484654669280027619672922\ 1794843137364808281531643671144706612047275999540329022630268495331\ 72466760224154511*c_1001_2^10 - 31986938292188733540685709073517047\ 1873178128006183873748553702319764873902791043508524758669548966250\ 190974922498392288890832561144927/106673422458984510298684685938288\ 0816862504725272268916983566988426600383831995318337942817742487654\ 023013885576400080192132438*c_1001_2^9 - 2509639016218785147827028446242332338634842810725908188724355860470\ 9431018432084443233082831698329378914738083361135004173360841414320\ 3/12445232620214859534846546692800276196729221794843137364808281531\ 64367114470661204727599954032902263026849533172466760224154511*c_10\ 01_2^8 - 4236652019103993190173058441776969058677750728772201768961\ 4648006051283991668525034284520619857260672104449423329459133389584\ 0596064197/37335697860644578604539640078400828590187665384529412094\ 4248445949310134341198361418279986209870678908054859951740028067246\ 3533*c_1001_2^7 - 1913831507386584562861304404598441089782082972494\ 6779719002260559573451625901148170526301341681790965791388192039781\ 0407956611191219268/37335697860644578604539640078400828590187665384\ 5294120944248445949310134341198361418279986209870678908054859951740\ 0280672463533*c_1001_2^6 - 1487871412926585066614570324591353353024\ 6241128517647271500937599300439234981656227365177670458446321837402\ 274351764596580883605854265/124452326202148595348465466928002761967\ 2922179484313736480828153164367114470661204727599954032902263026849\ 533172466760224154511*c_1001_2^5 - 9110704340538194766744520618400183021056169030281659941204871191028\ 29885572382629436349902918071947278149484802172770525335127373979/5\ 3336711229492255149342342969144040843125236263613445849178349421330\ 0191915997659168971408871243827011506942788200040096066219*c_1001_2\ ^4 + 65350664945769191709901688047866660307038913651036618358249543\ 0718205638485340852041774446961582039149086606889621647321821200292\ 9/26957182570862511627826454930253305841290733129624124255902414869\ 986291288173166889406497199268641076393852704096752929043058*c_1001\ _2^3 + 225135401415208744314247480875638484232028543458600483342442\ 8805082373222139204068006448296221807328958625200039916336989905346\ 41330/3733569786064457860453964007840082859018766538452941209442484\ 459493101343411983614182799862098706789080548599517400280672463533*\ c_1001_2^2 - 122192100841175367409749310868641832781799197070201588\ 5560747205712232915361812798702230570957194026150025937822087855576\ 330999362/124452326202148595348465466928002761967292217948431373648\ 0828153164367114470661204727599954032902263026849533172466760224154\ 511*c_1001_2 - 2005899113349429937739747597676777108140332358983725\ 7537632413932733192163870118490982780106197400500010017368869072663\ 048882763059/373356978606445786045396400784008285901876653845294120\ 9442484459493101343411983614182799862098706789080548599517400280672\ 463533, c_0011_0 - 1, c_0011_10 - 22501640054105044915956597236743092842384254743629228918557\ 15426707535491585719145580477771390789448959123924/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 8423199304398281459310871539382408670612910269051254965662228464111\ 947441535692986044891743621314416979741422/122641969908730263276650\ 4911607561014068325367796469967060280123067193607656882848351761685\ 460426967333915338681*c_1001_2^30 - 5812067522307350976684773902135938068693679291131219258696028796839\ 9585423953719124429102671655308231623227639/12264196990873026327665\ 0491160756101406832536779646996706028012306719360765688284835176168\ 5460426967333915338681*c_1001_2^29 + 4968489955227093624336499954038997360694353161833846988415427500116\ 6782252449067560667292009618485932985502935/12264196990873026327665\ 0491160756101406832536779646996706028012306719360765688284835176168\ 5460426967333915338681*c_1001_2^28 + 5179356815809495479075220003823859369450130248697210885277446166030\ 33316781921402343120898255310246111572200339/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^27 + 3690996432220894137063244760685321529647647336394222550711804331053\ 395670145651273525922717847282594560901962173/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^26 + 1126232912289527901640626098177335818748915174978292676513025965039\ 8226339594465537220554409318048289548162240502/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^25 + 3714770050837230089880763862752675162064051840796086730417567633660\ 6824199596277921556487652910497753842415656149/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^24 + 8803317814255141480411642073988628878926310259303435590974999531771\ 2849008519723967722370026293278934466930811613/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^23 + 7151110234136167752324458584218905189842791010488000675958529007323\ 9173428817056171522030002270084856478227195843/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^22 + 4348487448018223063582352072488598042974722577183644665202152236348\ 15333571015663780046561502799168311778587116827/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^21 + 8788956299087573906615619570953261214028121992133966002603079159034\ 74348973715572012625048762240102815828122302220/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^20 + 1539237529446926356965221569247748055884985161372802118076343626473\ 329728069418422944386897259913560875292589715205/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^19 + 2589563159812243617602266647073761723084370906738347810581748926420\ 213252165823352381246997261362356677741060711420/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^18 + 3956674231115132297033587761247397932849649054331278836190523800298\ 326314516239132479209812895695468668053113163421/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^17 + 1931821908719179194403377882588422700744648320519158522514118534190\ 969003196252069948784201744674093688931318949700/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^16 + 7661567516205363439902655210599527977728254778609833007868611583280\ 579511837193386663530660137223989211779196363453/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^15 + 9913960814431493216804303443318310184212573032247885473884363162869\ 498870878797481766143213089497953774250139347161/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^14 + 1159915843703724551997768011596663200422654128026066037315513343896\ 7601416445263176971461416796645645715120459481163/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 + 1281847937857765961492936731233504108894347943404626381149131892432\ 5018093042557511760306950169407866372643164548640/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 + 4411803798035349653705064145550546221371025871708617706202841092250\ 589119720810494580441371752256959798487913806606/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^11 + 1278309278459727690552787420482991291439369731785837645330816671924\ 8993744849889839572715205600298793907015284396135/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 + 3853101003622836324347201189900758239653543944616909360369151507975\ 593580466956300042139894535372483595962572145120/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^9 + 9556680479873520227067401990351550826464596929838980784360898601223\ 282065167280953582139798099581210066386315248399/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^8 + 6958497048408959203817533991291943226723399330761100074956121558483\ 264374646330954060399871730371957171214387155058/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^7 + 1383898927385018168967738688349497294659748266626949403197878317906\ 106610829096725966095007406413931170664521192530/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^6 + 6853226863104440012401047732240756423059953681524189376137672783458\ 53447367741138630151482716202174999933466371931/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 + 6440976567047834153275738579524796189637425405008238081963470003163\ 13677457643592018832340134391917928897218073737/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 + 2097784357183983499606103990444639324786328491851504490171267805037\ 30518950298460488669667930239022515408577451/4427507938943330804211\ 2090671753105201022576454746208197122026103508794500248478279846992\ 25488906019256012053*c_1001_2^3 + 649125205635488701726257179416885\ 7011219870078260856109536593191272582416130232004191801062712705445\ 239187838585/122641969908730263276650491160756101406832536779646996\ 7060280123067193607656882848351761685460426967333915338681*c_1001_2\ ^2 - 36230476495034132842607852179872147920674293751056330503684123\ 24757546391116224256116135025976311271357921003492/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2 - 8668902006296915315939935930101988454930912387387368339058225116276\ 4026555922427005441396728695774527899594732/40880656636243421092216\ 8303869187004689441789265489989020093374355731202552294282783920561\ 820142322444638446227, c_0011_11 - 33582569876744722277805587135165169193621395445015183982906\ 058825837934611296513230971326067909918490134228032/122641969908730\ 2632766504911607561014068325367796469967060280123067193607656882848\ 351761685460426967333915338681*c_1001_2^31 - 2826542301145916824004584484731082068488359065424389078662096911030\ 96667720953340282195503757591939774723780860/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^30 - 2166320583863911724617616223985254973826866279763357958982686308718\ 734215293389100537090200692502834055007894786/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^29 - 9194849261661170038037121359115988688046653397956320958700306696015\ 839003152487923066613774110297770554061410201/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 - 3380697059358796231740600339046621098145973083150687069162694625861\ 0939132776763921120003597424360518632582228513/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^27 - 9677906576610142397321509757204199984638920226992930711683693647841\ 0712654088046023978558777815484314999142269415/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^26 - 2617627615187267676710834633134002857080393361955832979949490763585\ 68901527871066452810543438569959491627156882691/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^25 - 6045637676944512082437339360880048706452244214967477439903719109858\ 49266639419008113604054766985442689764533189739/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^24 - 1338315571261021851803843434986991592960254690713130513395283274333\ 745165698635886952394671576277366877353954174604/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^23 - 8840713207631163279739629010546871111674140190650109094071211565620\ 92130249461305625880565336368131087032731356098/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^22 - 5022925380055919583500991827654069119833268034560950098588356250595\ 780566447432465578343131613610451892025224873348/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 8608354595192425824141554973315492780095788715761105035502563956717\ 188576718688923473720985070751010945249511650006/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^20 - 1396240845780536833467799365816119664897441547169302277206662492499\ 8779831560904123763323292033804184906878139610468/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^19 - 2095955490999808280323676923751330404378993323115031196473874180773\ 2850498180253223957288890521134774350501649975061/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^18 - 2980011023426790544436568443768912385588568075836595664447726992156\ 9114436681120169512461064002001999049473773078169/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^17 - 1304586513397568393567844706999726184852753022479696064787645697624\ 4803970166681023250919888458538565401555620789339/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^16 - 4928566402945226189332715200817043044599427717212807886826436287783\ 4811805015498519400972874915937137086801583126432/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 5713923645496559025478684999583071478118406817814076382958258327579\ 5515495659575356491547312162147205382623168564005/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^14 - 6238058578237431133682384964952602852919109019157725323096520481023\ 1922771614489643041561955016852201702479689438634/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 - 6375746533485922815270091100210457195348681673186655989194309307595\ 3106282472485288055704013612512394734752200162915/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 - 2035588546547854328241497007818642973894958840796757671994794303638\ 7986088091044260528058332518640507513212273599233/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^11 - 5457093577577221532384526134938753432982508072660230434637276428739\ 8638245196384470239309488436494573962315637784882/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 1486316137641763669117484926229497100197548852621245726825728689003\ 9241780962983043396463847747196803184125140605204/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^9 - 3215170879063753372789251034442683794789761019045538587803084239209\ 9101477588774342536348675177237256399640674318371/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^8 - 1938939759610003680459239535668247229313969161435293537912709041251\ 6424767949796482868917837233503439672400998273126/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^7 - 3200409694762236261044374283138650521088050567500586057708846537410\ 776404901539686100793189752907395248010928697906/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^6 - 1078469352569296880689300278679702490928804697726271721252846749579\ 810389746093149996825999091580626912764664038144/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^5 - 4859713933932135555140732490224737427715413291054844430878170657174\ 08953562824772878679763330810847609131627318336/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 - 2369446100664720315741906742057249134970346457906854781613744954633\ 6519647466163568430251725087411471856560903/44275079389433308042112\ 0906717531052010225764547462081971220261035087945002484782798469922\ 5488906019256012053*c_1001_2^3 + 2802252363318306375394319025158400\ 0281817183254107084302617278767619680838536725949329495693041022107\ 645311365768/122641969908730263276650491160756101406832536779646996\ 7060280123067193607656882848351761685460426967333915338681*c_1001_2\ ^2 + 37258220141120954738497098636607869780042875532666550772734211\ 48236894471710432917075719376058487188838185250537/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2 + 2956240006549687662673920536524619596558348797385570294384684712138\ 2733856889438554416086262627747245976596040/40880656636243421092216\ 8303869187004689441789265489989020093374355731202552294282783920561\ 820142322444638446227, c_0011_12 - 15889317972059852452308837702007775940601099427506976868518\ 528460394865231420284801023124666151681476653680408/122641969908730\ 2632766504911607561014068325367796469967060280123067193607656882848\ 351761685460426967333915338681*c_1001_2^31 - 4509849180255947317801482439202429569466008706326193879844038857260\ 1998929806481467552519013636116015410547076/40880656636243421092216\ 8303869187004689441789265489989020093374355731202552294282783920561\ 820142322444638446227*c_1001_2^30 - 1038363927998113694572188174195893024886658056411908780515736992677\ 259292360275354322756271728505526528125529394/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^29 - 4453650085163554699377016109770029590502893843278272279280750844752\ 424533388076728940532502885260245876813583090/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 - 5480732359464119929691648188749634131040111102758420325602990666423\ 201968626703385859239775236888497543160864297/408806566362434210922\ 1683038691870046894417892654899890200933743557312025522942827839205\ 61820142322444638446227*c_1001_2^27 - 1581796566261882341577304567053251574540619251886028569405296628981\ 1678350510409823583517926172709306196483316731/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^26 - 4289833069067577463369789770034425027596763309029127913473135685656\ 1591157702262036201105197526801765670397443208/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^25 - 2992685497077180285133636383333656225965858495238426494975704676658\ 13378247590753993480013940002826820131360899583/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^24 - 6641765000237457038318143052056794434556265699350682967341367632157\ 16846892770408847524761420730552607549735077943/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^23 - 1324027690690014308649108354756344499078909644254444244802632781770\ 618407059456349632769012001354075187375188512708/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^22 - 2515197822972762142497585678188573963990535493633913173122926258330\ 755852346804770307066888794064341388097457894901/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 1446022116961100943544885290492205856265486644865130319809370207271\ 201791020123603565741918405483624640422302368249/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^20 - 2355455101647992095547223952208407503885312908164972681261229086129\ 173974867497330656421977323799236620309717113128/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^19 - 3557463829242122652114225184901699882505240405249660950315589744995\ 347648672166831248036958804598935919840317071926/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^18 - 5082580742741312029603443508874648883412513666564187749643352489752\ 839435064566939840540424946269868420371409241301/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^17 - 2017060855966707684089841867099926789786940116171459939459260396161\ 2978324562226608032042702986080698670215704108546/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^16 - 2552233962663665197673754519972205881287146712905906372628600585485\ 5351644533308594101982802043874288454316579333432/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 2984374835724972575128295903073612670418265806273796620619355978715\ 1418298624283658765427739956052458359508662417460/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^14 - 3282386102121013061512230279891147850424541338239408854845449443368\ 2643686173781760315674522179806614148411489313859/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 - 3384802908921760707837253496740227026188785339449426703010570450451\ 5337270644309646145999090123913045574266906573223/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 - 3271490516619650666533096463338920673264617932186473312169566065291\ 9295974907170799307794654745615783115745560290708/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^11 - 2955412622404591813328275391782347991076223041001112700851106521908\ 8424968224749036065633649304442369646089257364473/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 2450225993684449687014566282912112963175414249930694121984939961256\ 5361291740255526950069648105524922040725204292441/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^9 - 1807586249640192782236552634682988033057539602128936523680471138328\ 2055604323251881516519344613844922882224256515816/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^8 - 1132861415313113234755484923333215666859566355163700262409639843404\ 1308636645862286006660472180836545483009748188614/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^7 - 5936930011957640767471579459598595547951611853760402241612345546306\ 896217554651525818203273841706436062405117164399/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^6 - 7625487803605740013036818076131287949883914494299815143715125415201\ 23997711035677323273389858329567047368839830097/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 - 5375485467132944416165380248786330167592199788874148476592340929242\ 07719314115727559693739261112584686855737690883/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 - 1040810735292940835075136881257342678513452101316323991997466470842\ 63374610848961415579056411426743357715860846/1475835979647776934737\ 0696890584368400340858818248736065707342034502931500082826093282330\ 75162968673085337351*c_1001_2^3 + 464342674745984333124254939674122\ 9943618656934825371804838280620194686794720483011738184922646346268\ 315906474023/122641969908730263276650491160756101406832536779646996\ 7060280123067193607656882848351761685460426967333915338681*c_1001_2\ ^2 + 45100223015684439091048875647470644776638692808325164630142192\ 96277734545344149078715175377850289862642454910984/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2 - 6422213562974953255584929455350982803878311833672961855055204622754\ 41746748839521763589168732469370751278949436/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681, c_0011_3 + 110874929336951150714637908023830175871905839666023345799818\ 5683268227968442006181753075292424612361395165728/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^31 + 2191928008616429844266127466954707522106930848118131433061467809921\ 5096604698020735946304360271251504765567764/12264196990873026327665\ 0491160756101406832536779646996706028012306719360765688284835176168\ 5460426967333915338681*c_1001_2^30 + 1652313485297025913028762055381149189851252761804865837539546813044\ 58348088929743673858615784196003477409966062/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^29 + 5335171850203383667133511972075226953165914185786744154740135320748\ 01444285116329395086888414010432538008546107/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^28 + 1797715379764009843434334562941106795531869031612780538096211083256\ 711212730962698538582090119217557600630134217/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^27 + 3935456315477248565563780670694827037896085234564692649613977833414\ 992195412013652981038391711211450990961614057/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^26 + 1011693482521261544230855537776982403183420909897467975880711682991\ 2044493089462809824094494858420754699113142025/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^25 + 1729246267111036887669832192153917515275449680153925410080448529428\ 5509039209462669982556222558310276918934532580/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^24 + 3602412684155163719512095722656353320849926948642857088074375707569\ 9195177858876562060147420025228973150889456116/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^23 + 4976027361904733715026671833235953693803770825968371590319616431172\ 9889606318164982239708068636331479036524269377/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^22 + 2734363902714769071639108456181282112976572412813359017661932956125\ 2387938665559956931733187994911756715207900766/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^21 + 6974388788730367316530719841027738381201278389056189076419731639638\ 2687682575836559470309475241964303852713653526/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^20 + 6259878706013435217586515243435262508819167368569054617446444791173\ 3245180596473196440757673114806875583019001850/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^19 - 4942496177206914729605473439645710123435974819674574698939956851579\ 6482221712180821591188470312860215879179353591/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^18 - 1955307859592697814885450145051804404816037101177673113453705874957\ 91210101644376218400092160348278959863519229610/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^17 - 5586172960994315909905080494352945164749785179894348384054105947822\ 97617995814030600807607554427268166219532182948/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^16 - 2837555296300269023591925831729362668827110885159961763544447290651\ 85249371436030091251302529509165907263019251616/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^15 - 1512167666020897960560861895756247017873889331733733756079393575244\ 781762649083804992159682474241484516939554925679/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^14 - 1976755122723329587710425441480210665415285639885411857043760949270\ 412369393224951554704272523569554062078528489093/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^13 - 2483398216951689776234855033317896131320027310510891781558218071860\ 898910435254084888057672493681493020503279593973/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^12 - 2803958379659183702892201350773256237047204547280718824590954475666\ 207058008587000797165812200391550172190081417779/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^11 - 9798676819911758080801573679327528912546352901540828288009609001191\ 70174142789259693751598917988054417076389438405/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^10 - 2906058908399809765029162282131157057075562266238653898349583184420\ 312054382406512833364743893383719542763806171599/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^9 - 8804837960141243057335015716554447164453550059626586811705420619279\ 75159071499478501458798555666219614193524226540/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^8 - 2109754132699886454656762065183660761867750821826322472892144718267\ 776499067323600233765213540787577558133099391865/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^7 - 1317169443153581726094794056877380938229309507889616818822650789052\ 684908752984501687823133608843751355977328409213/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^6 - 2383906782525169100715006767766211170335440461880651627161101915283\ 25183260908677054566017948552064841523981973287/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 - 7152662138462028163594967594908086646017710115400896345303528893932\ 9881582301642678401344950566443067474439881304/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^4 - 3136396637574290351713865022683803003589881088645116900268271682139\ 185463003515718843988553795168827615339814/442750793894333080421120\ 9067175310520102257645474620819712202610350879450024847827984699225\ 488906019256012053*c_1001_2^3 - 31526434027358350805933349580988914\ 0454774727152476619370725264557606134712954734948742752527307270660\ 585588340/122641969908730263276650491160756101406832536779646996706\ 0280123067193607656882848351761685460426967333915338681*c_1001_2^2 + 5664370708703096851416045915891047045591435505296233934318240114842\ 677315417732312898571357367748246482868538371/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2 + 7141560562711893840854933034682881633068954426305889121887349685847\ 66484486567327040154802579386627829276886256/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681, c_0011_4 - 195443711272322425668556760806221636651706212254622617424961\ 37158375946851620632168571470946767972643129487888/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 1650910709544276023886712516232766994515852636589971379755445558882\ 09380653821150107058677301864883799170808568/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^30 - 1264198014669386722179033174728108873383064845054432148385314614028\ 369432406733061420861418866031396446625582668/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^29 - 5376916183782871382022304105367286119287130522101417137345634002326\ 758624290638635031848198237232042062474403860/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 - 1974118248458639358620232945698533929816063678572639043355542853808\ 0308258559465832934957947219006310265694453868/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^27 - 5652423087520354385253544400182401098861087290676146342775044093416\ 2268934737031905797876523092845358472705321418/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^26 - 1525954358851048829204350537578992244131034682252867385709020637172\ 12853340514607620288173439795784984279000906857/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^25 - 3523786140866990682935729012971279397962234826946301952786129646225\ 89742426092027029473397933089102093833281614893/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^24 - 7784638764655129730741099977522925469124158835911506307674712233750\ 42469904442746947151971138107561106481477880074/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^23 - 5139823137922081004834393491516128686907923271235499254945279216879\ 99546841183412032840988205495011649690654671117/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^22 - 2914050138244822480085377115676366338679757268998690286666754474450\ 137060795137873417032214738170849727434332879998/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 4988906371329668214130569761450502975275825072915263862058039515195\ 782500286394927274484102395850360728835912728712/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^20 - 8069619760275955777675236248671641702143504399618885309427010586937\ 329741325639678379995578386315348592438160705079/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^19 - 1209181388918689467924476630825618221336859245845561361216661214050\ 5503800190589870320103833265062854804953858256308/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^18 - 1713990035242178154308958765293683956744906764122708333376611220901\ 5396346872088708891271049628800633896558225861234/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^17 - 7483504758916890436933414727281971472101623725467279944577065634478\ 175038508456852034752369953327574020854563409625/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^16 - 2816050145098396386487452261740723829951674154982123157847852172240\ 4395547954517282285712735697594427525886220477671/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 3254379787857969475344326723059669825084839550813528880001615088434\ 2201760576942094529417414545680545600167213484804/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^14 - 3531573934816769539288884547691864385196161334197494617122549291398\ 0615825538617826409083737865219657976872511419928/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 - 3591854110031742886143514270276229771911113262516918334978244163990\ 3167674155909185839487628292939098835634365531909/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 - 1138478815382218414600687014352723752947561229350674071269872742552\ 2810406829759210519757131067269654805880110693091/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^11 - 3029500471177418854869873548424500261146461892954554739818720238795\ 8460758714034478755849944770221110915987239318432/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 8156780703498985466319308441214447408553383808641755841832069353897\ 487086649228321351030258480884979366799100765805/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^9 - 1733172262526397178855612445781197258335160680454885693184207252869\ 7174852052395322959043383036517097030659096090097/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^8 - 1008160228942092738168130080029585976994905086452967299500873635894\ 6776628073757352554083965386406846459134608863443/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^7 - 1554988676880268224752960719321158420137594368900581563352154618584\ 122905878034420966032323867674485980438969661826/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^6 - 4296081386633000241349483977567497635591950842306987139528816384119\ 03306994937127733381540060781989973786350532357/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 + 4048735481873842361057277122630308306472376072126478448250046440312\ 8112010529643274171254317999539568929732112768/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^4 + 4129070663564996429318184609643522553274654281380171786244649564302\ 55756360011290440133791408076005403428323966/4427507938943330804211\ 2090671753105201022576454746208197122026103508794500248478279846992\ 25488906019256012053*c_1001_2^3 + 412211475422248819406911061245038\ 7384654930566569385806169614179217799520297645173411516217255284877\ 4453072095465/12264196990873026327665049116075610140683253677964699\ 67060280123067193607656882848351761685460426967333915338681*c_1001_\ 2^2 + 1502615059688408538416129784165094317660927211406186462133230\ 660956851464376583187909094354774878355548151703985/122641969908730\ 2632766504911607561014068325367796469967060280123067193607656882848\ 351761685460426967333915338681*c_1001_2 - 3133110944985382980387396947926877784407772853742262116475363103666\ 00598064485993906166610153422140010812647576/4088065663624342109221\ 6830386918700468944178926548998902009337435573120255229428278392056\ 1820142322444638446227, c_0011_7 + 109512500262361990185682546291048774964529991712546175307203\ 15214191108183806229582537061331289184571400044300/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 + 3029444984640568277020725222881060339919718249117627871163248330881\ 7514322070427752659398948732772933518415782/40880656636243421092216\ 8303869187004689441789265489989020093374355731202552294282783920561\ 820142322444638446227*c_1001_2^30 + 6972763128950986059749880668943762632843235889296711247334275242641\ 65491041170504623346281761037253293709269677/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^29 + 2929162064884905185607828513026203586064006586958988625341912444778\ 184572825039044787290675194949408659231784529/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 + 3592596285345661276761069491737514492859552789696340509435895691487\ 972949007208349265197496994497011337330283166/408806566362434210922\ 1683038691870046894417892654899890200933743557312025522942827839205\ 61820142322444638446227*c_1001_2^27 + 1023434210898095491288976161679600279639712713964567938601396359289\ 6011756013655558031791360513822314053965181098/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^26 + 2775152874370330100080015562466256119454591577630415290901697293989\ 7688817512547057577017727937171006335816034439/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^25 + 1916257853986359184616925388156481162356442425815777200301098867564\ 52686626956455235038999581583393917962112198997/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^24 + 4253994279367765652251223157587092777939775846161281343363866721502\ 92922455634371780987287318397347626958944169220/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^23 + 8412417059151309219473153574228581660488608564079465976201539573284\ 65691639854727727204166402892749411958800064988/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^22 + 1597264467803673954529410422507465579429088850468290675225510303971\ 529457526460236891461196061810827004703783623917/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 + 9113202980446481830477700793514819080926138009491669158381213520805\ 49513643949421297917660287763851606984648442448/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^20 + 1482623162492608051753885905735407614090400469627747359473598523458\ 965500744351821748003247335704041879062887663136/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^19 + 2226581287744227076806086325554925849684578848287349745193729541997\ 740725340486114550539122433475259025963057359791/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^18 + 3175254975437303474933028695165652051447029855333927673742098327958\ 595209816194930820028728119771766416380276170528/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^17 + 1252718669810834974394766873901710675380924977930825779842805511309\ 8367250609690521056788794305992018248614519495292/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^16 + 1584901919029575906466763052948475263295265439551336769959294773427\ 5718547414945442270265373831328121920712188842521/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 + 1839693134516213933305262715795695448134199133540579673331279439156\ 4030629265195951687801801961431843508768743857922/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^14 + 2021619883821058668305118646484352853022308229996881235517919943895\ 8062352197623282980513126872756547831511559463737/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 + 2075180081443109202297302124654858711769060232925356885171213828462\ 3376699392702580337064708380581213654539862681914/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 + 2000090422472732223451824173853142941672334997438912157723178098545\ 8163515572659415828291125048823097792811641647701/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^11 + 1799928635626917223933283581645528571246999104029282886325345399387\ 9623982270806777740847458331448529242351746255456/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 + 1484298602399646982245269269134690279506171528435508597870155813182\ 8418072179003131244433343074482319218087082548545/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^9 + 1087138215831933680674404599475157140865498361350821810478672637010\ 3241355329129957228350760493792767982356370353105/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^8 + 6752698648590256549975354837440030861229426375841301358403069086854\ 410687448267305352590043817821877087058219777143/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^7 + 3530511789662755602777110248644134487811703940100308857545126819600\ 015526019727668558009504073828204135426037972491/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^6 + 4398810969311165903336973639591196683827819952811102974138585032908\ 41032701897688015862533551504739228223893379685/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 + 3114245013108998300512320156991027185405277422521490795479309647672\ 62776318764625922514617628617686724523892910917/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 + 5425725130606707804672182086731006215775361135741875440281721636322\ 8254755633751014494849938840139892405084880/14758359796477769347370\ 6968905843684003408588182487360657073420345029315000828260932823307\ 5162968673085337351*c_1001_2^3 - 1855266390107633592733862004845303\ 8666250940709278731872793387660646396055256936472059310578779086901\ 683168167440/122641969908730263276650491160756101406832536779646996\ 7060280123067193607656882848351761685460426967333915338681*c_1001_2\ ^2 - 49672296035668949357781337691173963005511219975213027950339828\ 01732969416499165910676862197619684520877267118517/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2 - 6005674053337372259677264103646638538070286411885146564598489951893\ 48468326051908947730858112084243030068016113/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681, c_0101_1 - 110459535268335702137076206380394375202638608034485577605255\ 72864317731978462698948418488236492726170423772812/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 9481938987576971760002872736506323514115704300425941560817414373906\ 9443212834344760636544922222976754340357530/12264196990873026327665\ 0491160756101406832536779646996706028012306719360765688284835176168\ 5460426967333915338681*c_1001_2^30 - 7255607185262665996298646258032622247681882157903392982012473820767\ 73886153617428721897246620864102148865455617/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^29 - 3123270290187252332618179930287498411126533899867373360176338764903\ 820761451432091165743484441790060153223937031/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 - 1146986144590824035767690191506086020901251100644994034211205291606\ 2466511105995650809645585335278596980669336952/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^27 - 3305876346637198185969394110332160631745595857417039776556305398747\ 0945565797043061573653863908518321707774588407/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^26 - 8910479652084492489121595011496322016601705518872209672507279925847\ 6112062293597824487916823050983960954191800793/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^25 - 2068010051502406097720872611555622278735515633334172062497539136916\ 21341768171261885715953089134227425016186893378/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^24 - 4559858473759722832310288502254730196776249826759530367613815858530\ 04111828908055779312281738350655024762011978754/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^23 - 3021896618577821440342339667607772025432155746889395275107887986725\ 35158741447994462615451399445161990639395476014/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^22 - 1710600350036439652796693076098213260033738300383097930326769396157\ 290024384262395723083769864324522460094223569191/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 2937802320495064497488275295687906223713743313004503035253885462960\ 418528129186710284129641454763158428314093919773/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^20 - 4744066071942794715339000961539414766934177023437594166583365072815\ 022767913914439036319889184375582500711824733479/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^19 - 7120634896936399710084612296848649974998094646794972936372896844429\ 566291357990312838927235752112323937119948084160/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^18 - 1007796160202962508557984960375319769279785144190515330888807956867\ 8545845990135212113149552870907784679165028326301/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^17 - 4405402933551909194545348796241043164576318107633003501138499444070\ 991619984932388278562623095800910130910312255765/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^16 - 1652691687536486782958099113871937372202336511060014911565657079307\ 0595641650666001891658541225418695815900670030783/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 1913217659035700036613189776721664966959235182858130404115234157615\ 0651691886789278338694702783099698319082335406603/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^14 - 2067088513896504636266056343921434354767747276383751496429624450823\ 6745586402369884903203044309856228101300324027544/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 - 2100896349882965178900024689476247734452844638800953007283689639717\ 8983079936119933204355698421868108538329941131934/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 - 6629819938953513946830614916658090548097881777665576546207457218093\ 096394543396723640208512015022670893164707466737/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^11 - 1758941053158745783025391915067416879326142260585807973064606181721\ 0167832603740545583255671939810408270613881876183/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 4706617401267774363943474346956045284607307493510922428131609312393\ 439243580750548103600612176159855316160528500696/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^9 - 9910950248046740016126050370373976971818491624355203210441387125761\ 562026088977611266025361380199428271858725826409/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^8 - 5630734530225830333329672115675720375912616877021946409607083506969\ 032870023598285575009499814638959972478600385801/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^7 - 8211243003059338864265190903106887344184302263673405055973968301016\ 15263749526128458811298778163821030949761999771/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^6 - 1876557392054442283474198578210749658095810422250948122963655353674\ 72507897699991681307153829113368835686582459303/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 + 1552664558897525125255292754129882861392661373489189928289611842219\ 86266301597533768291373927693339979466038530496/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 + 4186052646516776060041305773781233806369828965525084997128976818891\ 91805190780909314863833470235313241638216429/4427507938943330804211\ 2090671753105201022576454746208197122026103508794500248478279846992\ 25488906019256012053*c_1001_2^3 + 306365267695850693201718352168047\ 3999939918503899778725966211098840470845878891652356300694385596809\ 5049362758003/12264196990873026327665049116075610140683253677964699\ 67060280123067193607656882848351761685460426967333915338681*c_1001_\ 2^2 + 2437292931468753222380848862717174303157033306310125397877392\ 982183952376215900450308919121760702534200179290773/122641969908730\ 2632766504911607561014068325367796469967060280123067193607656882848\ 351761685460426967333915338681*c_1001_2 - 3194320835557366062654229158276274893037856241430192711496407424464\ 32610307981801590132304903781557649770818126/4088065663624342109221\ 6830386918700468944178926548998902009337435573120255229428278392056\ 1820142322444638446227, c_0101_11 - 55711683286943051710605943105847789326538375179980573800359\ 99207434526068320292530903535759383384245680189388/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 1465063368259207023545218039180066805371724316054267849640080223211\ 7438005217872034862261446385329138413166458/40880656636243421092216\ 8303869187004689441789265489989020093374355731202552294282783920561\ 820142322444638446227*c_1001_2^30 - 3371603335278334322224336667603126398944300504617479099667130124607\ 84097011299641450895533730306288884229681927/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^29 - 1357294342654984360909725309909259554293464296048217409072129574771\ 873713468977957907256697526034620530487784158/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 - 1656112520373343068136733811364692092168025294859921843406995588241\ 941600929625704638352440300866040312378598051/408806566362434210922\ 1683038691870046894417892654899890200933743557312025522942827839205\ 61820142322444638446227*c_1001_2^27 - 4601115564613726254949200461410799311762117895928331847909947408844\ 080059288911827477154100221806226270284149139/408806566362434210922\ 1683038691870046894417892654899890200933743557312025522942827839205\ 61820142322444638446227*c_1001_2^26 - 1251791385829310969634508922287368142469427178596090016534630864108\ 4537532796627004001301155548524729207169611119/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^25 - 8487292823920525510726661979606626439366303534847973360727647474099\ 8395558342186425304012930305501440678536761950/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^24 - 1893285805886617009600241498761388326945138560979168693316317632440\ 70856904987629433562761220494902682859230362739/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^23 - 3698088850363828465514084432139243177575860599641698901399450818518\ 87865659496944216073675439820934945894610123120/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^22 - 7048900371849429271387489764989820796802975093660475527476073868448\ 93982397326543883673893871877380388454825954418/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^21 - 3983111768831299103482247137862993303075516994177341619633075828657\ 01160264443833767971420411651436812073000438983/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^20 - 6511063898545179540960884091447752450097356365976868943029525835839\ 20324351249645380916702844909084713345433026832/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^19 - 9756130278986948191114430413858348559319363139412598007908088178819\ 57143046004035246044367565225730589123005784479/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^18 - 1399143442704382562243588704059857839363541126413959692834144584197\ 516819698632655243612537233355534256836897223483/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^17 - 5522824448631537388760752417459006129816962614810564476268786505049\ 196761229031827700984431170585634110068513078725/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^16 - 7078190542223435010755374032488786415220230448128908102586909238346\ 397975889893671910086781027025981775307256296700/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^15 - 8230700552602230637472055363441352311275651038949439139754071110592\ 125396535838190528027333415517077038203247707836/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^14 - 9200691544765217205271365045880870421978311173098270881878156340440\ 554919955463587859090225433673927354567160131643/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^13 - 9602440443922402074713213321869314618439280045765176894840144545145\ 817698987623849427471484839696975456357772569723/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^12 - 9434635654743156289510950095693347869796778000843235482123688312712\ 398737223252621514212970447463004504952169197249/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^11 - 8716840319994174194537336160932650656726000571590761890144671275119\ 900020925878525772767318220900596393627344119136/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^10 - 7411025080739178280354077536064288669238779207723219952433915568329\ 000449526893129932871129973367402858215069415808/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^9 - 5722910279251359780302508517854993309513223669156347410293218167025\ 108280065379850167562011216537916909067167625701/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^8 - 3907826332560979688828582887798692224552637972746424016910050940085\ 902001752029379286742407522202898809806205615310/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^7 - 2430724879894227257964224689516744051003914725224314272325863661250\ 950286518238346863918387193700894355230369590084/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^6 - 4080828596587624552629810827689441804745443462765124615441982715631\ 86053690297652953167601740177411015020110195159/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 - 5544661136013666098333069877748385662574018472844161635247472437177\ 93635604169467791375595965810968574222839067842/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 - 2626827265694765558449469618142543363998996864334726776725483446378\ 26592441554233716901934083125979152933329748/1475835979647776934737\ 0696890584368400340858818248736065707342034502931500082826093282330\ 75162968673085337351*c_1001_2^3 - 328708253618251235762734171197821\ 2820229402956873330695599106283350926718510211811778068357844009477\ 6853588501212/12264196990873026327665049116075610140683253677964699\ 67060280123067193607656882848351761685460426967333915338681*c_1001_\ 2^2 - 4764166223938586476685312439233801909291611453954305434495211\ 423253487586999436675354043493617922979620462460628/122641969908730\ 2632766504911607561014068325367796469967060280123067193607656882848\ 351761685460426967333915338681*c_1001_2 + 7413645488356401865477848645892347738552915069611356626007281480391\ 76596205048281902251603138553265967419074466/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681, c_0110_8 - 165419572917625562822461989665795195906747754542104332944094\ 90170267857634962564271678187484147827794628412496/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 1427637267728670388100665988821824879424671662761887928289725424267\ 68731141609812357413073784488900999732258960/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^30 - 1097401007163379549197849013463624115245588983231554760658514133510\ 929616699568290860281481453947185561119149332/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^29 - 4762563574889258284715164034745314449113872666565710412168436034132\ 952382168107279863696386329126085603858604792/122641969908730263276\ 6504911607561014068325367796469967060280123067193607656882848351761\ 685460426967333915338681*c_1001_2^28 - 1766148002728738679387972641067351655432289581690293281108678624425\ 6719721928220543310239336889417245766447839531/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^27 - 5141887856430810569273966619281132394823707823231759383854572278703\ 6894550770434864347960765396219137366093648028/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^26 - 1398279983113984662334836982567046105761816347301800170413870392205\ 98218740340530898318521497208464150792541199537/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^25 - 3274591822971488292571014267768950573292384994979848988474356993053\ 76720400809168123030123895696431996129501112968/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^24 - 7285683236693418867111659085634399740874485048677140220883466213972\ 42890286555831154459445170339180046314422907777/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^23 - 4869952649168577766146912810735252310410206732595252820730762436627\ 06346758832048450368691627416894155615589350319/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^22 - 2783605169555953733786368924707709222092356237676344915437378755543\ 570460043747178774427923615995064359002914681050/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 4830795451704405111861397025934119114537439550816581670127672093630\ 958283696130699360097579985404810272782158657698/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^20 - 7900813737671325148434159515028656464009343209177222366092700241925\ 238114200957953960450282255310020466672265683146/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^19 - 1200050454395985761698944709492030821279967080251641887191625998858\ 4196102906185546462633432465450592833565589279912/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^18 - 1722143726386840933281950320221438445414680882170973939975814863119\ 7471401139299014247406952961611654708344166522928/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^17 - 7643938437811768965639993526471770439358247444616730041612427804090\ 241781098961441187926646502555391218051647998825/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^16 - 2913590244832638402934521871182252887871177596577831887234823190399\ 8444835215520857586857694140290058606901655472752/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 3432796455786606587100015252379240707098769273176546063822043658856\ 6783064823935028955984069365535160289713972945418/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^14 - 3799634213184471083036674902309739842161643487577199262296801876718\ 2704668972432367588369141293779011417325159376157/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^13 - 3947046071166414083883461527419605093785394578244462003226570624981\ 8482228938938940229826198174262256950001569451933/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^12 - 1281137308452477320638286953007064535270999570032355404796904459842\ 1940499342462788223486222730918111548973351110290/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^11 - 3503119668951021274244751117766519668223189961320634997442230903436\ 5049690077882141915348555349765748596404869904397/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 9790915110889002154695810260837814657363102753984478642353448458601\ 302582169751871856276692372732855780317937705349/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^9 - 2205749999580229686211009889748663320607627917581979832230358188039\ 6209202207022387367028146544769156097384161726139/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^8 - 1420878429794029874362479621030029771561270082124627680412978917769\ 1309626601582594788063719926576278194828364937543/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^7 - 2576459352974528845045087441311304214180002577866471067461697595113\ 088715162994314471137899211806442273330089029957/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^6 - 1071264458618887762476980054542989473906947523949507292059485515704\ 945688102787516387108520495883282253319060956936/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^5 - 9037927717051870523728385065816977855269189789586388967823239434846\ 89804843390738794667380676155752618068661379036/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 - 6751337970788059581680287709109989617102459445453486539742864520807\ 64436118009226922954622369219491837050645457/4427507938943330804211\ 2090671753105201022576454746208197122026103508794500248478279846992\ 25488906019256012053*c_1001_2^3 - 164925396081191894840234476134734\ 6663478034741886478323045534917477066603560107261987310914900046006\ 5749209931348/12264196990873026327665049116075610140683253677964699\ 67060280123067193607656882848351761685460426967333915338681*c_1001_\ 2^2 - 1064074255359415512765703987816213090931752357163812095504026\ 948679756413538766200749888556981770096298505685456/122641969908730\ 2632766504911607561014068325367796469967060280123067193607656882848\ 351761685460426967333915338681*c_1001_2 + 5274873104379926987818260795622480932790839522967173974115042443081\ 1559053154272139360684643721066860184835892/40880656636243421092216\ 8303869187004689441789265489989020093374355731202552294282783920561\ 820142322444638446227, c_1001_0 - 118800349239205698020822065708328937153672253462012921744270\ 89606559829579707633281616456243323988877138332928/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 9569560043959319149606413585762073676856284583884974046185120260649\ 4417525137605595569086035912038329269526980/12264196990873026327665\ 0491160756101406832536779646996706028012306719360765688284835176168\ 5460426967333915338681*c_1001_2^30 - 2444008641107893546206293429499506291657027980777241969476228911970\ 60054837426079902040768034370116271162901918/4088065663624342109221\ 6830386918700468944178926548998902009337435573120255229428278392056\ 1820142322444638446227*c_1001_2^29 - 9998664903669670275794886432101214247214044147500057861971913882882\ 50560719176460276352133489911532587522526499/4088065663624342109221\ 6830386918700468944178926548998902009337435573120255229428278392056\ 1820142322444638446227*c_1001_2^28 - 1096655611493396912653669746488829359510943315739737353798676761094\ 1373477908291713612929985148779454081223492596/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^27 - 3065317044433233604249760189057541846977875009782496305847266005603\ 9653099167505611160567725800534800083211035232/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^26 - 8291910935778569573448899891987486921782132691086144771198915876641\ 2218727581756702966410240175016114694441282868/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^25 - 6261714403465930849089198301144154924202889298866438713467193868813\ 0666394100274677934251565505184638086880103427/40880656636243421092\ 2168303869187004689441789265489989020093374355731202552294282783920\ 561820142322444638446227*c_1001_2^24 - 1387465119056493559545294922704849819926965954402184145150340526544\ 81953878152767540593744785690657266649374293347/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^23 - 8122396884059869773201761013826759997506643125427389254967120656233\ 00821632978207136494165500509935925896496961126/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^22 - 1537479434419423460450440448262897975659367135832543934635088825057\ 371708299315867072734906204537790478894348516799/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 2595895003961112275539515626415797248115096238898888423009034463587\ 278937509899786587012869951725176794627573465018/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^20 - 4202416384440279482988526676802850571662418236081714959446249682866\ 836523031378051389006540104039814654767109322466/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^19 - 6237522757375723794107650123318257888396006561771590960508071810336\ 263609125751383242576096003306417956197338597656/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^18 - 8841276355775382824771380089434140796475390239756981875091590086784\ 593064096836935900640671094220475918353048313569/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^17 - 1147366770388689514457248782980045780311246129131177721777053858857\ 4629412968532600866662966756091291187725035699205/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^16 - 1445694978193251124686154652990920080390879220417938157204401380244\ 7391360790725368254695186506437039769588979330585/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 5502808448928592206035322942451492474539505147129282392385456669264\ 957761794221403511266072921016565653130378959735/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^14 - 6004065312319331862287299603720729766857822572069610351856776484905\ 180899282725590574475257314469096707633987339795/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^13 - 6077422811894402989831644587469474542666610555709796223403239038541\ 365703974581539469137549374478896012767846246951/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^12 - 1739599205902237866436975176253551814106317962077451352450738523639\ 4010567831109116923382418150266594032979830897364/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^11 - 1541857640313124606275762761202590881882651795242326390616717951415\ 2485412764664631730350920428614144963776619100143/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 1248950361166462849459703479109931189375603962003332102205379645060\ 9359105261061473091927030594442953206726617483234/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^9 - 8874035239845020722602150573071931140136344288467069841803341345150\ 327828861892991101365909415994367362097213546382/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^8 - 1758713364270887600264500862427560424283547244111624108701105119087\ 884696364296228320967084758262353239739629480610/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^7 - 2627208759755001385333732562657249840347441458108622253768217438367\ 520433128748212766752686206473483783465516910287/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^6 - 2842015988695732463978884079852358649998774591056921188739266771850\ 56282237328617486728132083937893848331551329953/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^5 - 1645173197318157610567256658324165283129240759706405041430255203249\ 22281844271215914091627096650763045520089597657/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 - 7756231037533555368314918904404885738166815655455980795340669433499\ 0206066530159295623414223490727597677256734/44275079389433308042112\ 0906717531052010225764547462081971220261035087945002484782798469922\ 5488906019256012053*c_1001_2^3 + 6562178105459575954833989891960519\ 7806722794802606424849762543482802853526714128154849493628778825825\ 91114088799/4088065663624342109221683038691870046894417892654899890\ 20093374355731202552294282783920561820142322444638446227*c_1001_2^2 + 13933818775218684850981110471747083714012849891818992089577356512\ 63532143747130779868983950191325701189841047575/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2 + 7193114057471981057650833322235878071498651448255866523854989034807\ 64087094525922643229606654381049362123573842/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681, c_1001_1 - 192236966883870610524497735904122085249024879115774251475159\ 57715938281111490836889412000225235023748949354996/1226419699087302\ 6327665049116075610140683253677964699670602801230671936076568828483\ 51761685460426967333915338681*c_1001_2^31 - 1650629650168334263183184104385887337190032823433627861240435967738\ 01645877730678466914201914408275446320044494/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681*c_1001_2^30 - 4227960158037027895554025999787187719328799827286646173334901201340\ 37840173317944260013604123709001953105952965/4088065663624342109221\ 6830386918700468944178926548998902009337435573120255229428278392056\ 1820142322444638446227*c_1001_2^29 - 1827103506707031349021479765405511749546735116481843321680028041492\ 183689903634314416697815262147409668294477963/408806566362434210922\ 1683038691870046894417892654899890200933743557312025522942827839205\ 61820142322444638446227*c_1001_2^28 - 2030230855255248066181910709563114062374412673111764453302972056073\ 3390783566278405587460809235046079212369705627/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^27 - 5893039345390423434647749101248947343811693998929031014436679858000\ 1181155742732308619756002000372740204458228837/12264196990873026327\ 6650491160756101406832536779646996706028012306719360765688284835176\ 1685460426967333915338681*c_1001_2^26 - 1601522200720543658295926532547572508989590852980261921620179310072\ 88030529106852006820929097023025155448656376277/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^25 - 1247137793593917877972076198070945449797558023691925076611317957889\ 19278138459455151989545423355123093105943944845/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^24 - 2773219862408063077981592796385070778283460110267291544997904777534\ 14051195174253815466887116879637232898720684371/4088065663624342109\ 2216830386918700468944178926548998902009337435573120255229428278392\ 0561820142322444638446227*c_1001_2^23 - 1664916766769947219359430844993850376178511372566859468774608374099\ 292843481216767627279294095030876952458414377595/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^22 - 3169868762912025162412095440430415714077463239875681671397752064142\ 376352520809105409463937458574298152577870429388/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^21 - 5489610058907764363786203277759498205137251601424304713853707458449\ 850335232265717234420016239538048157271810175326/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^20 - 8968924136744914516173700592746462858209568049788230153599439668291\ 083070696099631217191005251455423056188966564811/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^19 - 1359697106336772685342445075112964054640704659918618689806484410275\ 1140851238136115969687673573340264027820669069864/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^18 - 1948897538229646850441051683060601199479793273522380263760102057789\ 0877826261130843543084693182516579471997505031874/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^17 - 2589602867571830240572488395650737723734909881265469848376024371414\ 2416027916131280688721236151089070768851163976144/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^16 - 3286679707377200013484782779208091170234944377039825971071050976038\ 0751192043063653726590105358626765672887883334971/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^15 - 1287559354913778903697725099170756681474005366651647439681533837930\ 7037072769759173823450885932315696977982016854724/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^14 - 1422878336150889972057538509745823522172955530414991044272406240112\ 7084607084230815984096873551576804534443610672482/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^13 - 1474435019264319018806639014555859809910343752760350240665796636161\ 0862683142210959654331897592498839513548742914359/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2^12 - 4298726668850196539348800352484474512818095052055478719202375798593\ 9514956630009045422746760712268546711492560576741/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^11 - 3907401294359173919106299465809996429868762928553135608598990121340\ 0063810322408423078318863118505759525913615332981/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^10 - 3266037649436772166928476707339160849281353581631963121028629930229\ 2223279968500752025458249381684658673285675454526/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^9 - 2440111432686595548269318539230397500458561202347980279569849082460\ 6483039412654528894151210315597368374008043834585/12264196990873026\ 3276650491160756101406832536779646996706028012306719360765688284835\ 1761685460426967333915338681*c_1001_2^8 - 5200409037744105471311704065511688829120382597886178834494152876412\ 080078238352114103217325354877412790619823378920/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^7 - 8402274698697190015405807140193202048631299047182974674306735366024\ 885987573943857292719716874301342205704742586165/122641969908730263\ 2766504911607561014068325367796469967060280123067193607656882848351\ 761685460426967333915338681*c_1001_2^6 - 1142078228804194014453549974266445272473142373217072363771505753033\ 073183331141839646099890379988464601471762123441/408806566362434210\ 9221683038691870046894417892654899890200933743557312025522942827839\ 20561820142322444638446227*c_1001_2^5 - 9324032329569413515474997154702723371998873305514858546812574381477\ 17632580501606295558515844517272359059302589365/1226419699087302632\ 7665049116075610140683253677964699670602801230671936076568828483517\ 61685460426967333915338681*c_1001_2^4 - 6707291056789361385072712943112399031618346352420891191388508419317\ 04344841095121820842967929573210943728576911/4427507938943330804211\ 2090671753105201022576454746208197122026103508794500248478279846992\ 25488906019256012053*c_1001_2^3 - 600389684783861880868058920085075\ 0751903517564585424813372562100892816223512698381244975958200880097\ 303773992081/408806566362434210922168303869187004689441789265489989\ 020093374355731202552294282783920561820142322444638446227*c_1001_2^\ 2 - 137772520882951551491130791561988733911026760086496023803938104\ 6733756525211191333636487109027993621663068166786/40880656636243421\ 0922168303869187004689441789265489989020093374355731202552294282783\ 920561820142322444638446227*c_1001_2 - 1779778722388535340970091916968484085559490830870858651908187917933\ 03997804510462408493882716892708685197432487/1226419699087302632766\ 5049116075610140683253677964699670602801230671936076568828483517616\ 85460426967333915338681, c_1001_2^32 + 17/2*c_1001_2^31 + 261/4*c_1001_2^30 + 559/2*c_1001_2^29 + 1032*c_1001_2^28 + 11903/4*c_1001_2^27 + 32285/4*c_1001_2^26 + 75009/4*c_1001_2^25 + 83245/2*c_1001_2^24 + 331607/4*c_1001_2^23 + 629951/4*c_1001_2^22 + 1085497/4*c_1001_2^21 + 1767935/4*c_1001_2^20 + 1333717/2*c_1001_2^19 + 1904803/2*c_1001_2^18 + 2516885/2*c_1001_2^17 + 3183145/2*c_1001_2^16 + 7432313/4*c_1001_2^15 + 8169287/4*c_1001_2^14 + 4202981/2*c_1001_2^13 + 2028706*c_1001_2^12 + 1828210*c_1001_2^11 + 6047667/4*c_1001_2^10 + 1110310*c_1001_2^9 + 690577*c_1001_2^8 + 713371/2*c_1001_2^7 + 530971/4*c_1001_2^6 + 28225*c_1001_2^5 + 11209/4*c_1001_2^4 - 2547/4*c_1001_2^3 - 118*c_1001_2^2 + 31/2*c_1001_2 + 43/4 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.010 Total time: 3.220 seconds, Total memory usage: 64.12MB