Magma V2.19-8 Tue Aug 20 2013 17:56:24 on localhost [Seed = 2101135682] Type ? for help. Type -D to quit. Loading file "10_26__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 10_26 geometric_solution 11.35201756 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.351365635992 1.304876663649 0 5 3 3 0132 0132 3120 3201 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.292896903150 0.922691945108 6 0 6 3 0132 0132 3120 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 -1 0 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.443079688680 0.491969680126 2 1 1 0 3201 2310 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 1 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.523254795576 0.682790087143 7 6 0 7 0132 3120 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 0 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.451452949071 0.663322805091 7 1 8 8 1302 0132 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.636144970597 0.677599222059 2 4 2 9 0132 3120 3120 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 -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.443079688680 0.491969680126 4 5 10 4 0132 2031 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 0 -1 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.451452949071 0.663322805091 9 5 11 5 1302 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 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.263568638249 0.784420754524 11 8 6 10 0213 2031 0132 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.703543637439 0.517293070451 11 9 11 7 2031 0321 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.852686571205 1.223271627552 9 10 10 8 0213 1230 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.616506006133 0.550163844344 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_7'], 'c_1001_10' : negation(d['c_0011_11']), 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_0011_8'], 'c_1001_6' : negation(d['c_1001_2']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_0']), 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : d['c_0101_10'], 'c_1010_11' : d['c_0101_10'], 'c_1010_10' : d['c_0011_8'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_10']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0101_10'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : negation(d['c_0101_1']), 'c_1100_7' : negation(d['c_0101_7']), 'c_1100_6' : negation(d['c_0011_11']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : d['c_0011_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_10'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_0'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0011_0']), 'c_1010_3' : negation(d['c_0101_0']), 'c_1010_2' : negation(d['c_0101_0']), 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_8'], 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_0'], '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' : d['c_0101_7'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_3']), 'c_0101_5' : d['c_0011_4'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_10']), 'c_0110_8' : d['c_0011_4'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_3']), 'c_0110_5' : negation(d['c_0011_8']), 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_11']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_3, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 30 Groebner basis: [ t + 1321961315300606439862436183359410268551443771647774525384856241094\ 22219629350/1992296841314063213583260898956545127505264482358241432\ 7205151536515153723*c_1001_2^29 + 420386925106098030010477417465071\ 1353566014176567309185786542926771242295296565/19922968413140632135\ 832608989565451275052644823582414327205151536515153723*c_1001_2^28 + 6439988299890319974660914553136962750859009790320541143543490296077\ 4908062767659/19922968413140632135832608989565451275052644823582414\ 327205151536515153723*c_1001_2^27 + 6330542393314409015338318578318104913684753577428613204236247107185\ 36600668517229/1992296841314063213583260898956545127505264482358241\ 4327205151536515153723*c_1001_2^26 + 4491432929114749188965392868494514943792567581573847057933024624800\ 926711644867221/199229684131406321358326089895654512750526448235824\ 14327205151536515153723*c_1001_2^25 + 2454285803609584841666907907032824665128980551486612214723463224530\ 2554771522280422/19922968413140632135832608989565451275052644823582\ 414327205151536515153723*c_1001_2^24 + 1076764281286917552872615077152906548045159103409893775777049557937\ 60959147345385270/1992296841314063213583260898956545127505264482358\ 2414327205151536515153723*c_1001_2^23 + 3904105067426798260308325480084705089930508230040214315158136160124\ 79536318073731809/1992296841314063213583260898956545127505264482358\ 2414327205151536515153723*c_1001_2^22 + 1706372404071353147966103048721320309803850858397903379700034671687\ 79899280596581048/2846138344734376019404658427080778753578949260511\ 773475315021648073593389*c_1001_2^21 + 3130083084317737713869848639358825411309307734033624225807826733355\ 618487639863354715/199229684131406321358326089895654512750526448235\ 82414327205151536515153723*c_1001_2^20 + 7097554807073754650922060349537515776108091667424771861923042015347\ 138242340734618822/199229684131406321358326089895654512750526448235\ 82414327205151536515153723*c_1001_2^19 + 1401496327076391819960604497790114000001329533192208118959254825832\ 4914526780405955432/19922968413140632135832608989565451275052644823\ 582414327205151536515153723*c_1001_2^18 + 3454377738745037407136477671115983031586219903777428929509014542105\ 109616900895487231/284613834473437601940465842708077875357894926051\ 1773475315021648073593389*c_1001_2^17 + 3650059735890255419554675486292999979934507145947897780133534989432\ 4468634615382970110/19922968413140632135832608989565451275052644823\ 582414327205151536515153723*c_1001_2^16 + 6887140469492959333872553595331388653153999970331256516620446230130\ 380199319095903829/284613834473437601940465842708077875357894926051\ 1773475315021648073593389*c_1001_2^15 + 5569411308647845675430097893443495762608982104353656723186570878431\ 1292880937278665595/19922968413140632135832608989565451275052644823\ 582414327205151536515153723*c_1001_2^14 + 8034403165324237072834679027073711915393553455578649162130550723907\ 685968624677699658/284613834473437601940465842708077875357894926051\ 1773475315021648073593389*c_1001_2^13 + 1011928906248844494239412253992574909517678672635624513106569995737\ 973355375401935379/406591192104910859914951203868682679082707037215\ 967639330717378296227627*c_1001_2^12 + 3805150980408596648144711325297072945678814453623872670363847393990\ 4364996301429011321/19922968413140632135832608989565451275052644823\ 582414327205151536515153723*c_1001_2^11 + 3605073667964839451571283934438951340402396482563550958431948406427\ 333995180524880957/284613834473437601940465842708077875357894926051\ 1773475315021648073593389*c_1001_2^10 + 1425667627319482311596401529764125376138779235037358244837393198207\ 5680846231018464397/19922968413140632135832608989565451275052644823\ 582414327205151536515153723*c_1001_2^9 + 6691717838420385171869668893650108306079906612803828968756808747075\ 768626237041196988/199229684131406321358326089895654512750526448235\ 82414327205151536515153723*c_1001_2^8 + 2508995727697461785759538934996545094648387965667737303200139000523\ 011454795792867692/199229684131406321358326089895654512750526448235\ 82414327205151536515153723*c_1001_2^7 + 7084287433338422485609588404635891726455648843545202434235199957192\ 91757205095197670/1992296841314063213583260898956545127505264482358\ 2414327205151536515153723*c_1001_2^6 + 1381172439968589708803405690901660648550181837675514902465050227682\ 24906141620101057/1992296841314063213583260898956545127505264482358\ 2414327205151536515153723*c_1001_2^5 + 1678105129912026107612858046584103785541656940297806414309172783900\ 9306829976286536/19922968413140632135832608989565451275052644823582\ 414327205151536515153723*c_1001_2^4 + 1524098470896083819255945805716375626643430358941344956671536792754\ 618788879848253/199229684131406321358326089895654512750526448235824\ 14327205151536515153723*c_1001_2^3 + 2283096800182137394738394970796296447776672368192410055408307792255\ 83058708589212/1992296841314063213583260898956545127505264482358241\ 4327205151536515153723*c_1001_2^2 + 2164297579307841336974295557612766084446576375928412450185874091618\ 566759568055/284613834473437601940465842708077875357894926051177347\ 5315021648073593389*c_1001_2 + 406729139640722262283056272683759030\ 609466460861170357975063974066503008356369/199229684131406321358326\ 08989565451275052644823582414327205151536515153723, c_0011_0 - 1, c_0011_10 + 63012845709428744962250429664227538425188194683353381335100\ 386319700/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^29 + 20349003993365386757393739679147742785161\ 77888023283569674441904701555/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^28 + 3161651445218688879081816845383888453522861264285484356220564936084\ 6243/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2^27 + 3148098950625899326764613154244537763029448692\ 79389145154581235445261854/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^26 + 2259386087998057565162525296170751758816553390188036365576477790547\ 410349/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 + 12471712490719306290342669724226647490857877\ 675535572843637045603086430775/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 + 5519608305010785413813840301613434890720284522833595131557358168241\ 7974740/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^23 + 2016071753158285150157103639819380125756948\ 72588028587853115878880286963568/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^22 + 6205942058156997410001713434809491746262603742695156447907751368841\ 37443774/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^21 + 163439293086909522782829595257664679479200\ 7111791181126988754639229805173902/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^20 + 3720846827078934507439349478901288963179170800939357007135629796777\ 365111315/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^19 + 73697972304615387269055915517460656320670\ 90163664030875175454693111409774073/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^18 + 1274257969629482768159325455760476362149105754345983205109676944931\ 8064701380/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 + 1925665738703690984954230696247463630460\ 9393728332317355673452132135671033259/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 + 2543530055689251528327634808912683155420273077925534788269835303801\ 2829981292/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 + 2935168008593509067413453954956363269475\ 5708864811467073957334869983016352636/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 + 2957416674768664734310614385172508160508221820010498394160828597599\ 9864913927/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 + 2598913722000587251505163840874216167028\ 9779889518696522564512038416575508795/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 + 1985964544337519443384507089743211110147827903644746426498896298238\ 0998009391/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 + 1310010985520774338869099734687508480495\ 9731525943336590189153135503376004272/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 + 7349452523490952707307501136428430661752861565011819275447128392757\ 660102556/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^9 + 341768956566544647808250756974920632115678\ 5599101354493941482876037557263015/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^8 + 1265644103181282027040911490396480833436461927651193053385556958101\ 394594867/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 + 351872268045981459205110675260707919305685\ 454362029315181022489340989147746/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^6 + 6755218723468210855543777027505310590214239616851459643736624039737\ 4809675/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^5 + 82126458467460484557952250639175437114109834\ 73747196621461864788916718023/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^4 + 7794874548842471898265606598619737356679846673098257397398997207066\ 88452/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^3 + 1110049800546801548067812630187617225801064801\ 76654406456372109009611397/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^2 + 7284673356570769312456167570393144024284561999939036768774855985376\ 331/436397115063766083411990129729186088958577908356732466814121904\ 36431*c_1001_2 + 24374250496822932965787190844237146589453545566153\ 7417366394077766935/43639711506376608341199012972918608895857790835\ 673246681412190436431, c_0011_11 + 21765754102490834633804813666535269188481928505935684238198\ 1844593400/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^29 + 6956402788586145743928114368842584930870\ 437612678490865646785598653560/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^28 + 1070992284481734871530714989352187882075098148603757101280018736513\ 90161/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^27 + 105801956699220806950946628228304376420333193\ 1962054215298523045561800367/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^26 + 7543405474212280903225681781418374601407158401943102421418512510010\ 227970/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 + 41419384128773598523815905684965209705950449\ 005340470253127915492485988002/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 + 1825781514152176876178668445719607820691867369194059594672617961344\ 57239101/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^23 + 665035274772858320603375467774486584227836\ 978945060267483249524108822404447/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^22 + 2043786837114851606805912482259460048542037831867237727575418502257\ 920720716/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^21 + 53791850120621933379584239464991883459155\ 61557121763822126641029345508890193/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^20 + 1225016773709474608387092857964725952462740218546693260311326801526\ 6190937355/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^19 + 2429381518105916001442670143134331373960\ 3286847914517655698553768191636612843/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^18 + 4209750677667116361240540109238310982883280041453855990296742200494\ 5630527134/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 + 6382511546089501227322062449721095730528\ 5186195755212570593914108531896410239/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 + 8467189794704878165489775307809373956358978132172269862550698242970\ 7338531952/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 + 9824426065192085329968672119556679439335\ 8931974421909764747397880784249298662/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 + 9963337936670365753747555684947975225965427244279424143316108090768\ 9714148220/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 + 8820657762515017319187317840601762033417\ 5790716429557510488097747053648600001/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 + 6796540004811624694070152365729433661370289715817475606242425990057\ 8254622992/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 + 4525757286839997311919529292272652287509\ 5610617774786887307012065511272590092/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 + 2567513382765313922086224859434232029528634414982295686885148018662\ 8214951143/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^9 + 12103342923533179257052785530845148180543\ 355584740492681388516044348675830665/436397115063766083411990129729\ 18608895857790835673246681412190436431*c_1001_2^8 + 4557012316875514333980295578765621377626096416908858361596961383327\ 967240062/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 + 129077280607222517143537593749814879697031\ 0700794385463371374852701283846608/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^6 + 2516223976069649178238100287665380511179778069594886824402643284387\ 29663395/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^5 + 3030194939632987050799436663461398430165193\ 5759984389399905618825378238742/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^4 + 2722590371726897254522706118182823643007345132293994308074588165464\ 556872/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^3 + 420887828293754361518110365573900021870580371\ 953032435654642186646036835/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^2 + 2684990955420713670414497271499341384140072694185069322650934523566\ 9854/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2 + 6990469538005116979841059409832478167547964357721\ 47111399575475685134/4363971150637660834119901297291860889585779083\ 5673246681412190436431, c_0011_3 + 176145348555040135680368495766574589267128276147085226580939\ 090546550/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^29 + 56215924891778172782672845427766126986697\ 67298562276060887544527847845/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^28 + 8642908808716078352477307590472619894055703773885730112842766884400\ 3492/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2^27 + 8526796696753273917299317385229860114007060468\ 69191625460074177787096002/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^26 + 6071534110636068191331990979621890511035983350236788310896115423801\ 403697/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 + 33296261909237795390481631145599488633678378\ 168208034062409223048389100845/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 + 1465972734740450274216562420152770532537154056073082017892054015610\ 46603360/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^23 + 533375452223210106562898216766747028702331\ 217977326989007290794123881904613/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^22 + 1637424166786354625764081958266239638813181237940079159060489574263\ 113699853/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^21 + 43052995647739494731776920872797308514422\ 82868856672364839234852636474693136/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^20 + 9795149765734797626323640750334361208563036829221102121629329299168\ 853010516/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^19 + 19407303181622957424698384291567195372540\ 376625930401055539232915618036707776/436397115063766083411990129729\ 18608895857790835673246681412190436431*c_1001_2^18 + 3360043441122163107477117883331723301794225159292254378196473949064\ 0310868042/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 + 5090061778911693863070432873698797864733\ 2455519520555482954172038552481446187/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 + 6747585768612326034451852149274574444104823329983738812072531721952\ 2800333946/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 + 7824277599040143550882217622850573524821\ 4615850154867555423321346408241764341/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 + 7931177966686761796797164932282560459593467056466553905517545096440\ 4558779770/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 + 7019623794659303226122934118776694474842\ 4984694839376904704447498115823260358/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 + 5408538367122519741155192954265322488363190978871174715554064802289\ 5423117700/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 + 3602329981763489269407301823381955657963\ 6770630190304112877595174318932987055/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 + 2044936592269076434005201699715004537417016908690369700310368161852\ 1491008244/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^9 + 96528257905784613045916491816703807407019\ 05623936623123045071540751269916251/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^8 + 3644274241457708882816777111224850026645558370561415532811150097685\ 055830556/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 + 103796326502381489095559914079422373536767\ 0006598896010459673738923221176495/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^6 + 2046624927106191770714548212435626567055284669011296275470674008929\ 28391410/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^5 + 2520467672675859781711016220958075925143821\ 1595485856845966575585651069210/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^4 + 2284843038251986445509801197718898324266142341110618093562197349213\ 015435/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^3 + 337011136757292209892486448207463555326786805\ 344268418397676599649268415/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^2 + 2330331203020681514118570940341319118869009942736775931066427384044\ 3269/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2 + 6270031538320242578419183983054951744728172435175\ 75250502227431837425/4363971150637660834119901297291860889585779083\ 5673246681412190436431, c_0011_4 + 181427604694940039663643529675522890970154999531372003376245\ 34341725/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^29 + 575529195108622878216698726829749603895176\ 413169043019168484917248290/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^28 + 8783420254849287938133109731786768449708675726005204938136910342934\ 589/436397115063766083411990129729186088958577908356732466814121904\ 36431*c_1001_2^27 + 85905551543809881801269812222372383162061631429\ 756579095582185727795930/436397115063766083411990129729186088958577\ 90835673246681412190436431*c_1001_2^26 + 6056683503709518069261142587717640425987816902424929056997432650858\ 34153/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^25 + 328517213419052702109464154562514166658591372\ 2144254727913038009298119464/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^24 + 1429266078313280077024115095870248401514334968991002301490107537851\ 4694139/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^23 + 5134760564018527136748782021767105164866679\ 2661012156866473882777490322747/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^22 + 1555548651514536542872924606462538039397787727915477219674969556416\ 83002423/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^21 + 403383645466885176311174094957993537435718\ 796956578764626411492064187357343/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^20 + 9045903430295662402539604408085943939663967149726214992457938014259\ 40012361/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^19 + 176525894039804785858761768759527519560830\ 1450822347509753039510597699356595/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^18 + 3007515169891822501772063908603550972731800180269255414280704941353\ 176537032/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^17 + 44791841958465587698145787835975265925221\ 34174261926106497455353767050512243/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^16 + 5832671694080135514116861780663521250135643808874773543282778101727\ 570816832/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^15 + 66395172677152648137767593541423509748288\ 81684358951278816992610586915708724/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^14 + 6604823977015011514979642559214326749679161433050280286792463764377\ 636931161/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^13 + 57360510261481479231560192094209136933799\ 56450574131993336155959029076916373/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^12 + 4335667533021068199252681268299444730985887362945800377388794693791\ 708029880/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^11 + 28308825144320294608174467597873407320306\ 89529324203378426936746520195121515/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^10 + 1573104224471905206721449855339836215076431716952189651409999574899\ 633581384/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^9 + 725584712630342093964645556534080764964192\ 296771923560823302422766395456518/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^8 + 2674104901342445280015620000103117162995128989361047768471148183089\ 72441694/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^7 + 7452673348119047940151055298171127235972477\ 9350627690642903618783192025793/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^6 + 1454095783228922033965868535239463511213316550079192535133633580978\ 6455568/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^5 + 18295367116747532173916089053162502649048610\ 17637741133034674530152008601/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^4 + 1731009481374138676356479862267316575505968286322512693642833761693\ 66709/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^3 + 2345773162275561267935859538614341543049172927\ 4058822529699011388476973/43639711506376608341199012972918608895857\ 790835673246681412190436431*c_1001_2^2 + 1815540152935815642764206190872956372863690842198717987511674762011\ 866/436397115063766083411990129729186088958577908356732466814121904\ 36431*c_1001_2 + 17757108261112144179215174597462224160917712905077\ 975376427759042759/436397115063766083411990129729186088958577908356\ 73246681412190436431, c_0011_8 - 119329892262973603846167380641771918708699488353357136741357\ 66988350/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^29 - 357196934817260781707018721672750644944006\ 445102342443957419175615615/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^28 - 5121532969181242231114676854175969050215472313900583095312565986465\ 624/436397115063766083411990129729186088958577908356732466814121904\ 36431*c_1001_2^27 - 46833295714434196497624106585297631622538751811\ 255872010299889653220987/436397115063766083411990129729186088958577\ 90835673246681412190436431*c_1001_2^26 - 3071487497508079974977731766066405192583863057317629317784482120911\ 58492/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^25 - 154166791351235893425411598895467973780590916\ 5546919727164621518719996113/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^24 - 6174413117625243985695253269717960498985947561501465883080630611883\ 108020/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^23 - 20310969719301643865896860974882460452441739\ 127506009265672545026971348982/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^22 - 5601030446299508225219907439024516610672710392572647554266943656888\ 4787791/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^21 - 1312681627066309902890254537051255692251895\ 75733369762342944232986736925585/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^20 - 2635290838452337783075676380308972918223602556560458976915184722055\ 88538351/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^19 - 454507477486198460048765128474659766723902\ 932998405956079238531369527084273/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^18 - 6728135738511831860051929610218844649170632189591119131584568663778\ 08280130/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^17 - 851919236305261690059122434147536405592179\ 496447537798965913723296603869503/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^16 - 9183635903733174869215273871745257181424846569305946056345866512135\ 30816191/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^15 - 838464746236219647184381326177718669494585\ 768944202187524368480881408762816/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^14 - 6443095199006917904342250985247799516967145465897890598597253913409\ 52928508/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^13 - 412262285176362814894100804296596762848152\ 574618618116250816742798394666560/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^12 - 2144257100586421275513694025289543225662324596687625175228132350895\ 11939242/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^11 - 861137543590608805108728461675359041136043\ 33821602370708143360073457808345/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^10 - 2503907617308347869646687085822469513216395515335876072678946999559\ 7449294/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^9 - 73820402841335869416033993159302357265105360\ 79658947332670408367227184002/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^8 - 6278224504473698266942413509097679287866338075180010954277226148870\ 689167/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^7 - 575238414092585128751401846529835400148791981\ 5829994317103821143334351184/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^6 - 3094886587490488528851971340729047207359847728171811762800113776991\ 696807/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^5 - 883235641854337967639457407270015669288726022\ 533323636960651237166861654/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^4 - 1041384345857389013321987027223105816119022065282191272529953518677\ 56697/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^3 - 3753641737490667608771740066856175809013294410\ 042054971517090660984956/436397115063766083411990129729186088958577\ 90835673246681412190436431*c_1001_2^2 - 2106241370229198884744594575381823031925708309024549704757313326442\ 701/436397115063766083411990129729186088958577908356732466814121904\ 36431*c_1001_2 - 51397892975462782044481399909589434562820406126594\ 860031001635474150/436397115063766083411990129729186088958577908356\ 73246681412190436431, c_0101_0 + 454524253984906887470550981144069991608326291747285253360046\ 97735425/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^29 + 146123479829285939343082825294195883845012\ 1223768714274114800454468395/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^28 + 2262604920593234521197846352980990685700016385310272185525079367718\ 6972/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2^27 + 2247718509307362262637252276523971691088161891\ 63279735537697976227520777/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^26 + 1611299927447697150737491096200760610459521880730459611209154678678\ 738210/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 + 88940837076053757746774998541146413139244199\ 20630650691789325383488458098/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^24 + 3940552037279721966372790095886818412870148966579824459711935894493\ 6570975/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^23 + 1442397869017460124933614734911487261863882\ 85929495610011424795102598106775/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^22 + 4453872184508520454247242481906709885044942698488385640731085651349\ 11691699/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^21 + 117768280683066758215314780771327875618103\ 7890862913385338247403222074846547/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^20 + 2694249402028879013728676070137478913633517552912454202937673074505\ 684051618/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^19 + 53675766844836722172032512813304341068907\ 18207632893860428599726346434792392/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^18 + 9344424243343257854059989857545626516215832835633254445370843409992\ 743947377/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^17 + 14234487903785240454025480758542741735578\ 586145739595887103821143113628330116/436397115063766083411990129729\ 18608895857790835673246681412190436431*c_1001_2^16 + 1897514239957225958114493872867874743620856291716563560939205775496\ 0261490818/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 + 2212489603824254062309063273555643485433\ 8675163605440743439011751145357910532/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 + 2254916445447686061908581837733234607838694054633753959849528567332\ 2115064949/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 + 2006346197003568320783955961463262992747\ 7033207754382830332367843260941433237/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 + 1553951027478574563968055354298472570307136475247441908539012329626\ 2412673853/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 + 1040486676675532777976651613601095578633\ 3001136285597175516592552530111780747/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 + 5939411779069892285254081459716171936811679627450226011707163301942\ 135947068/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^9 + 282031874154329381711926704431141330722829\ 1274859323646195251408931874165619/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^8 + 1071442446139713429303253133889026072678888181951700011200479407169\ 535767236/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 + 307049860306115709895398356334715982538562\ 045151273485584063803719489696182/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^6 + 6085403430194898650787550028710195470871959672143923449059757716868\ 8421540/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^5 + 75109856381411105380595620757234602575053148\ 65969096712202568638435650543/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^4 + 6803645296768772130184584241158943078833690052714802859415094155823\ 18965/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^3 + 1012059827454540716431734903872287518875336217\ 22419730364535478978089241/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^2 + 7187607031022466690971106337084339412189701060842856977020651252276\ 400/436397115063766083411990129729186088958577908356732466814121904\ 36431*c_1001_2 + 24580640608786508829786056680561461627282157294373\ 2838563848166493715/43639711506376608341199012972918608895857790835\ 673246681412190436431, c_0101_1 - 632122104510550321546051917405576903985814267465787022789572\ 90915800/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^29 - 205085673902996673214698573402249364772297\ 4239365375237859627688855245/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^28 - 3204500531762574813200737097815422509631126648056668465132610513625\ 5817/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2^27 - 3212129369867163520173246860932996503379128304\ 21090647687126711510616615/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^26 - 2323147164508698884713771318895489185874327541084702190392541749366\ 514585/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 - 12935444927712997924571591226575437005628631\ 309681738379133488946343629654/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 - 5780021730542951016630347198612384747349604574671226254210929753387\ 3760544/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^23 - 2133302470415289968432763694608616595903989\ 66966642727030954805217579257164/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^22 - 6640615731667033916999049718558125471813810903750714386801920032470\ 75303035/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^21 - 176984215579414983110949661644398417850287\ 8290781095289608231964721059107721/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^20 - 4080859585728763145487050947684013583323026844685616100667852964670\ 852809064/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^19 - 81944113632175186610345023915575701900856\ 85577767834811190971827818040393449/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^18 - 1438053861257866144387618943593909006480660257325127434294985528273\ 3095371166/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 - 2208649569953166572557570134000608796238\ 9585969588616071501618750071042293881/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 - 2969000859864847223172319733078722774118494403662485156760837428847\ 5234199145/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 - 3491427905784159300384639784128515936987\ 8732129886820323822391196080909909856/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 - 3589018238136325160873153298217452996654040393206411275049004957864\ 6045059588/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 - 3220978526877531723388037225856823853620\ 8004886133360019941319742180196657745/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 - 2516538298241430416695542832373567912321008456490576396861712319707\ 3237816165/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 - 1700361601028403599486942985670764870461\ 4079471583643036161441292544030216832/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 - 9801981638781597939737181970833923714397916558127299943729567552731\ 241843982/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^9 - 470590423078665296272232467100984943240581\ 7184135826917701671175937149972931/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^8 - 1809997843492852435693246519191957968423708429899865537207537677648\ 644376723/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 - 525601703063922641267565762042005142205021\ 719167929685704403404375113290511/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^6 - 1053826973554499106314774789584149354523420169285696265117915248357\ 33053982/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^5 - 1301324170482686780148179228621975534547413\ 8929033758968566923310948082143/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^4 - 1152347617259258194072886803237432277649351654018795088060481903192\ 831764/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^3 - 177963545593715283325179961516011231879946450\ 867387789403396534618585034/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^2 - 1215476701234820638299069915449580862884647250536232347315563135569\ 2698/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2 - 3310200030480292747710781691655207096988106758780\ 09545861328646213148/4363971150637660834119901297291860889585779083\ 5673246681412190436431, c_0101_10 - 11712316035548207679423183082294508915259417748335535346034\ 4929867375/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^29 - 3759522283957448696744811048795332819085\ 908623826239939288134272771700/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^28 - 5807847474152417931740755965329156375552860217255021777747107104627\ 5320/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2^27 - 5751930757672702962681142232584635277714529706\ 00510049316274441299663450/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^26 - 4107665079683836385999815361221550438703726281106781488439769834694\ 429208/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 - 22571913137641385621613695148700776457517731\ 933491827215501752964203631178/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 - 9949563106488766030961759355654961580544687489496069607605317346458\ 7391190/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^23 - 3621408522085274015126136278990114339465903\ 79297243909890306009950543014608/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^22 - 1111401929857483356663313120532511980373117368189419938989740382782\ 509804582/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^21 - 29195241254638922755908666323716548556642\ 25435914836590636275606684165522016/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^20 - 6632425414142466203488437397191991006680424106189907048548059471894\ 555145661/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^19 - 13113987697271379978957769310121946369822\ 384835915777931601585413130853727170/436397115063766083411990129729\ 18608895857790835673246681412190436431*c_1001_2^18 - 2264460472929865485362765967282012364119077588464100712597903949359\ 9628808097/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 - 3419138053436747511281521279852456339499\ 2772236416540557636691024236117721763/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 - 4514704206931296048216707947954557887559162246104022448375930475208\ 9162010833/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 - 5211160655078517324178177364858494680703\ 0835741309721845725276652562936430382/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 - 5255150265914575758541683491638289377999093101349380886086375702840\ 3638279830/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 - 4624791121172770436512841768229842863985\ 3970446506138791748142071172906860006/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 - 3541216654350085714936205776912886647214524763747694931215943521690\ 8757739292/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 - 2342213243498485855464339295866407686372\ 5888631434356892268083137925719893432/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 - 1318821953647691167335713151611842630044872659103732638453318353250\ 1849744237/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^9 - 61640984735057524902010932246678789802205\ 53454813615783050289948335563841474/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^8 - 2299047675713538850895406325700200321939048338486045997680547629584\ 774050825/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 - 645312220409277716416372642250275967553359\ 023904234534577436267622437342135/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^6 - 1252216732845079957219841128854774320892494025260749830216972348609\ 96361920/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^5 - 1527081280770882816877207100676473648148967\ 7883602281219026964448086245791/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^4 - 1416886744312412933518866776721318525079807227572964374267273441834\ 365973/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^3 - 208366884077070582944004497330919962019222137\ 186064227046333816308389768/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^2 - 1387318558048224776601452470250865024916640665986142737116634513262\ 0090/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2 - 4052761147422407902576497951260245621061379264981\ 85483141388974372872/4363971150637660834119901297291860889585779083\ 5673246681412190436431, c_0101_7 - 659933308668387224923827133689821692075174395228039863003687\ 54099125/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^29 - 213602108460003209583756508210955264970446\ 4112568230152875179709629275/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^28 - 3330701796947692282906350994614741269984266017243544492345082646431\ 4265/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2^27 - 3332775284372077287599203755834370314343457130\ 60503849725999872613821055/4363971150637660834119901297291860889585\ 7790835673246681412190436431*c_1001_2^26 - 2406904762359730818108019429990672838758727583756385512316074222997\ 699016/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 - 13386317631854804237782302926179305982082888\ 503729843296198930951314364628/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 - 5976236370392635524371841359288017099132451207664477833717056209272\ 7785308/43639711506376608341199012972918608895857790835673246681412\ 190436431*c_1001_2^23 - 2204338458425117186303512532421960320785970\ 36313870633023912265415041637539/4363971150637660834119901297291860\ 8895857790835673246681412190436431*c_1001_2^22 - 6858919574096394113989831701914277517441524153700321963032850595515\ 80816263/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^21 - 182760452912808387160552722545152966478029\ 6004151282854151223217632106908218/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^20 - 4213726976548707117262526571237509614679636235325499550887763423949\ 868280985/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^19 - 84617281335425525739193704222823405763168\ 44324423908399974691715044547109872/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^18 - 1485250050662467346378989093843106613180597775035933754120865246873\ 5025995909/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 - 2281862270194116118518354024338357957912\ 6008112167459851759519384898755876755/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 - 3068759542549947795319417092510355114450913253412553195759812226456\ 1751588034/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 - 3610688714876891378038521583215367581423\ 4457710169683695658629289247316043380/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^14 - 3713908114772105775933201707052600805390755882383990974822868966506\ 3199458689/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^13 - 3335309919305871613636403429283542284394\ 3558290573954289975962634840423998791/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^12 - 2607750475420097470212838156368588899003705661119357878389751029664\ 3599188618/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 - 1763384988430522208235476894475044504170\ 5119522231116112648847236294911793590/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 - 1017442766343395366581905151056983940252553999192874218085091642652\ 7300857327/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^9 - 48898543374150651171234019065165570324989\ 83628906350455174238510129036658161/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^8 - 1883085857159519202360607185565322066205480635846924575850010877112\ 160492821/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 - 547641226233469955009482309451150342810427\ 633361090050867150070584482118556/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^6 - 1100160207681329983635970037323797511644344981049723598781089395313\ 27517963/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^5 - 1362607747946159797466082221393264245637422\ 0865964302267327879870325470146/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^4 - 1208937796500308857958231322833977570262465896475556840899553245634\ 151826/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^3 - 185673519825396670860259629209706039287552043\ 542492536106566662401979967/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^2 - 1283120229868804366132009169584228264208710032904575544819992694929\ 9730/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2 - 3124531960065755855726681973338235889726294554669\ 04926011091813957393/4363971150637660834119901297291860889585779083\ 5673246681412190436431, c_1001_1 - 273291254517396507873810422789800150439776889472508005527589\ 754515600/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^29 - 86931202089674048152389738958096094821242\ 46137602315319027564838429365/4363971150637660834119901297291860889\ 5857790835673246681412190436431*c_1001_2^28 - 1331822986450406304548361253777058111586846165172210988920489821103\ 41504/4363971150637660834119901297291860889585779083567324668141219\ 0436431*c_1001_2^27 - 130903783984521025998962079798299872224343044\ 2810386365881500220566629006/43639711506376608341199012972918608895\ 857790835673246681412190436431*c_1001_2^26 - 9284544904304573949643277861382643539583194003756449292800265152174\ 077747/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^25 - 50708553323627388526046959970483142269312704\ 072515576556348474926931618891/436397115063766083411990129729186088\ 95857790835673246681412190436431*c_1001_2^24 - 2223191027324478151382006412498040269416318606551450451467300653029\ 05491715/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^23 - 805383738288102104978276382295131264714070\ 683259600444792957868630880473996/436397115063766083411990129729186\ 08895857790835673246681412190436431*c_1001_2^22 - 2461552277524640403257122205667738716741789048843480718851198294162\ 489358260/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^21 - 64429139668827498866285481292923863613155\ 53630196260176473353173462276868888/4363971150637660834119901297291\ 8608895857790835673246681412190436431*c_1001_2^20 - 1459001340331443003342571695523670070083219789243837496954767323741\ 2300916187/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^19 - 2876621499075314378739395923745951946750\ 5494455750591243835472742065300347027/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^18 - 4954662227029967068495480020355415897263680234906421688961433274127\ 2352749799/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^17 - 7464508396734944269848717156804798017836\ 2695508547108408953131651600199521972/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^16 - 9837499921728958974706311554537270526068568188284788916108672409552\ 4795001069/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^15 - 1133687149292132878471081773574008221925\ 05163723086622262215508712191829585348/4363971150637660834119901297\ 2918608895857790835673246681412190436431*c_1001_2^14 - 1141732983658643670976255455987807603431664648866045996535064890419\ 69617252229/4363971150637660834119901297291860889585779083567324668\ 1412190436431*c_1001_2^13 - 100364703133171919819828642632018944238\ 359745573668146844577104022322718575021/436397115063766083411990129\ 72918608895857790835673246681412190436431*c_1001_2^12 - 7677217986594487887545931476707683522278808425192614986267904011377\ 2084124765/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^11 - 5072941657919583280456350993998402012257\ 1254799524251449886113190439187960641/43639711506376608341199012972\ 918608895857790835673246681412190436431*c_1001_2^10 - 2853580786684406301953834493996253516871277794186841086486025926054\ 2921650414/43639711506376608341199012972918608895857790835673246681\ 412190436431*c_1001_2^9 - 13322139658382301984639956077563876023024\ 362057366309729022323416469489087228/436397115063766083411990129729\ 18608895857790835673246681412190436431*c_1001_2^8 - 4960351957853015921468656309762988664394992718420701080161761014714\ 193869490/436397115063766083411990129729186088958577908356732466814\ 12190436431*c_1001_2^7 - 138765584602361201518761832583194819375750\ 9262754412508238156867423919892696/43639711506376608341199012972918\ 608895857790835673246681412190436431*c_1001_2^6 - 2671575478924793778598071224683069734334826592375374555828535178890\ 81351512/4363971150637660834119901297291860889585779083567324668141\ 2190436431*c_1001_2^5 - 3196029268875957603634368232509169425397340\ 3273393790465443145686782304280/43639711506376608341199012972918608\ 895857790835673246681412190436431*c_1001_2^4 - 2909038774986167061584494499204199774515421139265171682436132964668\ 415179/436397115063766083411990129729186088958577908356732466814121\ 90436431*c_1001_2^3 - 442928825278810156430160358606464693747248190\ 882205938830140786154169875/436397115063766083411990129729186088958\ 57790835673246681412190436431*c_1001_2^2 - 2800940048835045588675142760012094807168993603398635639127313074547\ 4279/43639711506376608341199012972918608895857790835673246681412190\ 436431*c_1001_2 - 7286072692590059839219363216684103240775219608565\ 77746752410552909212/4363971150637660834119901297291860889585779083\ 5673246681412190436431, c_1001_2^30 + 167/5*c_1001_2^29 + 13451/25*c_1001_2^28 + 139212/25*c_1001_2^27 + 208211/5*c_1001_2^26 + 6001544/25*c_1001_2^25 + 27797157/25*c_1001_2^24 + 106454242/25*c_1001_2^23 + 344193082/25*c_1001_2^22 + 953958629/25*c_1001_2^21 + 2291068184/25*c_1001_2^20 + 4802238156/25*c_1001_2^19 + 8822517456/25*c_1001_2^18 + 14235806722/25*c_1001_2^17 + 20187704611/25*c_1001_2^16 + 25156018266/25*c_1001_2^15 + 5506203062/5*c_1001_2^14 + 26439143801/25*c_1001_2^13 + 22239316552/25*c_1001_2^12 + 16316814792/25*c_1001_2^11 + 10352178633/25*c_1001_2^10 + 5590470474/25*c_1001_2^9 + 2504244007/25*c_1001_2^8 + 894807948/25*c_1001_2^7 + 240833564/25*c_1001_2^6 + 44992342/25*c_1001_2^5 + 5360022/25*c_1001_2^4 + 503748/25*c_1001_2^3 + 72124/25*c_1001_2^2 + 4636/25*c_1001_2 + 121/25 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.860 Total time: 1.080 seconds, Total memory usage: 32.09MB