Magma V2.19-8 Wed Aug 21 2013 00:28:52 on localhost [Seed = 3954047960] Type ? for help. Type -D to quit. Loading file "K14n16075__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n16075 geometric_solution 12.31631607 oriented_manifold CS_known -0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 -1 12 -1 0 0 1 0 0 0 0 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.517190031978 1.100775945928 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 0 11 0 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.460434325223 0.904351222944 8 0 10 9 0132 0132 0132 0132 0 0 0 0 0 -1 1 0 -1 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 11 0 -11 0 -12 12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.412349233564 0.512927651752 11 10 7 0 0132 2031 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 12 0 0 -12 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.140984052887 0.762321077162 11 6 0 5 3120 2310 0132 0213 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 12 -12 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.635109167461 0.579529027993 12 1 9 4 0132 0132 0213 0213 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 -1 0 0 1 1 0 0 -1 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693266999846 1.238102825690 8 10 1 4 2031 2103 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 0 1 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 1 -1 12 0 0 -12 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.377847065123 1.154038869627 11 3 8 1 2103 0213 2031 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.490187800514 0.418387433874 2 12 6 7 0132 0132 1302 1302 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 -11 0 11 0 0 -1 0 1 12 0 -12 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.638917614567 0.571840099379 10 5 2 12 2310 0213 0132 2103 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 11 -11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376478200165 1.240285028814 3 6 9 2 1302 2103 3201 0132 0 0 0 0 0 0 1 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -11 11 -11 0 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.742250081315 0.540772471755 3 12 7 4 0132 3201 2103 3120 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 0 0 0 -12 1 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.050052502190 0.711307275110 5 8 11 9 0132 0132 2310 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 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.204117412906 0.991027552689 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_7'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0011_4'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0101_2']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_10'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_10'], 'c_1001_8' : d['c_0110_6'], 'c_1010_12' : d['c_0110_6'], 'c_1010_11' : negation(d['c_0011_4']), 'c_1010_10' : d['c_1001_2'], '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'], 'c_0101_12' : negation(d['c_0011_7']), 'c_0101_11' : d['c_0101_0'], 'c_0101_10' : d['c_0011_11'], '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' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : negation(d['c_0011_0']), 'c_1100_5' : negation(d['c_0110_6']), 'c_1100_4' : d['c_1001_1'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_1001_1'], 'c_1100_3' : d['c_1001_1'], 'c_1100_2' : negation(d['c_0011_9']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_1']), 'c_1100_10' : negation(d['c_0011_9']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_6']), 'c_1010_3' : d['c_0011_10'], 'c_1010_2' : d['c_0011_10'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0110_6']), 'c_1010_8' : d['c_0011_4'], 'c_1100_8' : d['c_0101_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : d['c_0011_11'], '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' : d['c_0011_9'], 'c_0011_8' : d['c_0011_0'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_7'], 'c_0110_10' : d['c_0101_2'], 'c_0110_12' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_9'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_7'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_6']), 'c_0101_8' : negation(d['c_0011_6']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_9']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_6']), 'c_0110_5' : negation(d['c_0011_7']), 'c_0110_4' : d['c_0011_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0110_6'], 's_2_9' : d['1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0011_7, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0110_6, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 4836272282535371485393567672549338830319901579659236229938986039012\ 403187577/368384133896321361254810048361384603589813846139342743342\ 838253350158194200*c_1001_2^27 - 1615060072868595619114412386820149\ 7723817260243971438905044035846009526286956/46048016737040170156851\ 256045173075448726730767417842917854781668769774275*c_1001_2^26 - 1567764946284603090644860537066203701054334335798955285106926776496\ 17288336339/1841920669481606806274050241806923017949069230696713716\ 71419126675079097100*c_1001_2^25 + 4738406285922129772987537103626207736906952361281580132434235579727\ 3809210883/36838413389632136125481004836138460358981384613934274334\ 283825335015819420*c_1001_2^24 + 1885394691748345727094606561978669\ 501628317714210765992859934751747837886402931/368384133896321361254\ 810048361384603589813846139342743342838253350158194200*c_1001_2^23 + 1820952486761097686118232388017541210365913022872765697587669353676\ 24123552873/7367682677926427225096200967227692071796276922786854866\ 8567650670031638840*c_1001_2^22 + 197554158451857176747407601162439\ 2836335811743800099597924812751490014504148791/18419206694816068062\ 7405024180692301794906923069671371671419126675079097100*c_1001_2^21 + 64169748080874774788537469286155991604025822720331670920961100666\ 33764334897809/9209603347408034031370251209034615089745346153483568\ 5835709563337539548550*c_1001_2^20 + 5501908751020470412276928530339372090526847370344541219497544060757\ 3690174635519/36838413389632136125481004836138460358981384613934274\ 3342838253350158194200*c_1001_2^19 + 3664678792557356967280623967958151346836694586553133477812282094175\ 5725141373791/18419206694816068062740502418069230179490692306967137\ 1671419126675079097100*c_1001_2^18 + 4382120069132147547855159453622263812180519322485540739564887103040\ 434816062229/131565762105829057591003588700494501282076373621193836\ 90815651905362792650*c_1001_2^17 + 2923787974833865767098432953579722574233826723399975154220390079972\ 2688697808438/46048016737040170156851256045173075448726730767417842\ 917854781668769774275*c_1001_2^16 + 2865943113901397609031718950290710736666235510925107897528232639200\ 68979830176163/3683841338963213612548100483613846035898138461393427\ 43342838253350158194200*c_1001_2^15 + 1961187962961363833465289946260667228108087370639055371625245699528\ 4024955253919/52626304842331623036401435480197800512830549448477534\ 763262607621451170600*c_1001_2^14 - 1668556094962542658123348112504614630313652622756164543572874581856\ 08116660260883/3683841338963213612548100483613846035898138461393427\ 43342838253350158194200*c_1001_2^13 - 1886095311383293971767237639633763850099376924953965133014313749709\ 0363517855861/13156576210582905759100358870049450128207637362119383\ 690815651905362792650*c_1001_2^12 - 9933836204641166860000342362686330799000595186855437556891429810680\ 92610945151587/3683841338963213612548100483613846035898138461393427\ 43342838253350158194200*c_1001_2^11 - 2169191854963607964534319916758010563457051415531555688398955774469\ 80837243187167/5262630484233162303640143548019780051283054944847753\ 4763262607621451170600*c_1001_2^10 - 4207585892988532892883310828415048975252837144401240735680654575397\ 68602506300533/9209603347408034031370251209034615089745346153483568\ 5835709563337539548550*c_1001_2^9 - 4977379666922755538314490218982003680510622352279838164103549557971\ 63228621115289/1841920669481606806274050241806923017949069230696713\ 71671419126675079097100*c_1001_2^8 + 5455153427593287070841491618632020454162958901001001930321563364821\ 3740648021224/46048016737040170156851256045173075448726730767417842\ 917854781668769774275*c_1001_2^7 + 1777045367808199956743017022729938727522121265015503781200497282201\ 655454011821981/368384133896321361254810048361384603589813846139342\ 743342838253350158194200*c_1001_2^6 + 3965016856980241067351250041637752546497459259054317280853404463452\ 5285260919252/65782881052914528795501794350247250641038186810596918\ 45407825952681396325*c_1001_2^5 + 124613492527544939731829751753917\ 451706123376613821432769771939451480438973087977/263131524211658115\ 18200717740098900256415274724238767381631303810725585300*c_1001_2^4 + 23700587114313390262369545233279865225595452413293461560302113606\ 459351262467112/920960334740803403137025120903461508974534615348356\ 8583570956333753954855*c_1001_2^3 + 7103693270369852286767052888118137294655368162664382804516027597814\ 1436279924929/73676826779264272250962009672276920717962769227868548\ 668567650670031638840*c_1001_2^2 + 8442964951117738510414303733350902076456315687865120682282041932365\ 9110005330377/36838413389632136125481004836138460358981384613934274\ 3342838253350158194200*c_1001_2 + 973789453495445707269518087830102\ 537621305346299959830113056478002117802707673/368384133896321361254\ 81004836138460358981384613934274334283825335015819420, c_0011_0 - 1, c_0011_10 - 12469620401529705257932262243661436187171449773119441170603\ 11347/5738545627317692508163527342787269933093199294431608429690696\ 660*c_1001_2^27 - 3257902862100945257764501269859185599395051757079\ 2581169404375447/57385456273176925081635273427872699330931992944316\ 08429690696660*c_1001_2^26 - 62203974045028631578576849252555886336\ 661923083751578693572555449/573854562731769250816352734278726993309\ 3199294431608429690696660*c_1001_2^25 + 144878262206394971830205267328204041342678447648798542038580164589/\ 5738545627317692508163527342787269933093199294431608429690696660*c_\ 1001_2^24 + 1921736656862009918859125009575955286509860971805652146\ 90724005923/2869272813658846254081763671393634966546599647215804214\ 845348330*c_1001_2^23 + 8538426179893906710480991747716659318612095\ 5871275511069960294337/57385456273176925081635273427872699330931992\ 94431608429690696660*c_1001_2^22 + 1076801499186660212782887107046212683955568197614011036966389139507\ /5738545627317692508163527342787269933093199294431608429690696660*c\ _1001_2^21 + 118694487786937610168766087196981876013199572269766395\ 2892747345971/11477091254635385016327054685574539866186398588863216\ 85938139332*c_1001_2^20 + 28014849896786738740969080045891892270846\ 85641580070644891568197569/1434636406829423127040881835696817483273\ 299823607902107422674165*c_1001_2^19 + 1450927813420991669676405424231292089059378949710488627233637182257\ /573854562731769250816352734278726993309319929443160842969069666*c_\ 1001_2^18 + 1313717606339515838012042204403750743760748037588166043\ 6475933463163/28692728136588462540817636713936349665465996472158042\ 14845348330*c_1001_2^17 + 24357332161599708408423057219852078309157\ 341239402726275094017936539/286927281365884625408176367139363496654\ 6599647215804214845348330*c_1001_2^16 + 5375506017355321452653443996445133799067241291917685382111217987047\ 1/5738545627317692508163527342787269933093199294431608429690696660*\ c_1001_2^15 + 92377383834385327995201508527478784503134932358470872\ 41259049527527/2869272813658846254081763671393634966546599647215804\ 214845348330*c_1001_2^14 - 4185697456064174747363942254570431800005\ 6347525792760128005190526447/57385456273176925081635273427872699330\ 93199294431608429690696660*c_1001_2^13 - 1127871649880026637393365464329200112641445942852910147654867511320\ 99/5738545627317692508163527342787269933093199294431608429690696660\ *c_1001_2^12 - 5173467335759443728983190454982731045511863770715259\ 7684983505923062/14346364068294231270408818356968174832732998236079\ 02107422674165*c_1001_2^11 - 30563015610658885778232522318481027835\ 1629253701171935687823463507523/57385456273176925081635273427872699\ 33093199294431608429690696660*c_1001_2^10 - 6335854547323998451484277457854473974868006730674697489458574968105\ 1/1147709125463538501632705468557453986618639858886321685938139332*\ c_1001_2^9 - 155278663757653407396817359542248874859957675143611501\ 480483668372997/573854562731769250816352734278726993309319929443160\ 8429690696660*c_1001_2^8 + 1313849593593865419539832611129983501651\ 01732445145157618845457551611/5738545627317692508163527342787269933\ 093199294431608429690696660*c_1001_2^7 + 3690949410148318297593418252370859776276741308796791933811962245324\ 5/573854562731769250816352734278726993309319929443160842969069666*c\ _1001_2^6 + 2106933434621157328104928869725807760367003009737609073\ 71801947940537/2869272813658846254081763671393634966546599647215804\ 214845348330*c_1001_2^5 + 77836182491595422113944218403114195146865\ 869101454044287706244323398/143463640682942312704088183569681748327\ 3299823607902107422674165*c_1001_2^4 + 4008224495845687008759919640103543412851283860810503729267546163457\ 9/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^3 + 113798597991785885992873471591321667417751595275250640\ 27502518467563/1147709125463538501632705468557453986618639858886321\ 685938139332*c_1001_2^2 + 63569166887846703689396149356915844301181\ 93094837830545197574209341/2869272813658846254081763671393634966546\ 599647215804214845348330*c_1001_2 + 338806918147587952389120173981987534406093571986386752612321745866/\ 1434636406829423127040881835696817483273299823607902107422674165, c_0011_11 - 11917025303897779863870338399402656679214062045107739161697\ 65487/5738545627317692508163527342787269933093199294431608429690696\ 660*c_1001_2^27 - 3192473143863864055347092526504335285586056780173\ 9351815132581327/57385456273176925081635273427872699330931992944316\ 08429690696660*c_1001_2^26 - 79756942523039911265167943011935112861\ 034746040358651935758347829/573854562731769250816352734278726993309\ 3199294431608429690696660*c_1001_2^25 + 107192974756113493091964398509956719076672676760488542630792317509/\ 5738545627317692508163527342787269933093199294431608429690696660*c_\ 1001_2^24 + 2355620517372749676136763272162038390330605568877191375\ 10352378383/2869272813658846254081763671393634966546599647215804214\ 845348330*c_1001_2^23 + 2841043406038339050545573008416338657824571\ 54035425949270630914857/5738545627317692508163527342787269933093199\ 294431608429690696660*c_1001_2^22 + 1004838135465093833749319980996663555334153631727173227107361763047\ /5738545627317692508163527342787269933093199294431608429690696660*c\ _1001_2^21 + 127175395659697945825717623101037784127316960685472346\ 5063188859447/11477091254635385016327054685574539866186398588863216\ 85938139332*c_1001_2^20 + 35471186649568911191126684426140265793677\ 20473542399661060102732809/1434636406829423127040881835696817483273\ 299823607902107422674165*c_1001_2^19 + 1959372960372727545941519878411574398717148055963094177947004078825\ /573854562731769250816352734278726993309319929443160842969069666*c_\ 1001_2^18 + 1600841934689934827087718841363923389095759950028125143\ 9400466551703/28692728136588462540817636713936349665465996472158042\ 14845348330*c_1001_2^17 + 30192199695330981265380165736134895356212\ 331708476666335787159332029/286927281365884625408176367139363496654\ 6599647215804214845348330*c_1001_2^16 + 7668456863013810979916522341906976325045281385263078735860701689191\ 1/5738545627317692508163527342787269933093199294431608429690696660*\ c_1001_2^15 + 20817725234836668008953169346816316051995509853109615\ 322641184209707/286927281365884625408176367139363496654659964721580\ 4214845348330*c_1001_2^14 - 379873652476029389493409498148242979296\ 73228883355861594963372825547/5738545627317692508163527342787269933\ 093199294431608429690696660*c_1001_2^13 - 1354144640123539917455747535108435502121402796317887266621786724227\ 99/5738545627317692508163527342787269933093199294431608429690696660\ *c_1001_2^12 - 6459552572335588203875827213552364863083893081107068\ 0538886465408142/14346364068294231270408818356968174832732998236079\ 02107422674165*c_1001_2^11 - 39893490337692560863197843581703207037\ 8579085949019471438390438424743/57385456273176925081635273427872699\ 33093199294431608429690696660*c_1001_2^10 - 9071578462417496178657737685566312749295968694969467677547889875575\ 9/1147709125463538501632705468557453986618639858886321685938139332*\ c_1001_2^9 - 288590888748071325977282141830305673058761211110801084\ 972099690815117/573854562731769250816352734278726993309319929443160\ 8429690696660*c_1001_2^8 + 8395649982000801693563565597023091185776\ 9913145988859686743734436311/57385456273176925081635273427872699330\ 93199294431608429690696660*c_1001_2^7 + 4539994122456425820325243674329243794447767523005956770666291813363\ 3/573854562731769250816352734278726993309319929443160842969069666*c\ _1001_2^6 + 2987074020618930518775671277809906036804754661772544526\ 02186471749617/2869272813658846254081763671393634966546599647215804\ 214845348330*c_1001_2^5 + 12172214227250420758356513877657260666937\ 8482428386274117278676739488/14346364068294231270408818356968174832\ 73299823607902107422674165*c_1001_2^4 + 6840615752445712840200253592607365428296395377809319847151056785094\ 4/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^3 + 212367298011074804057991210555792174435808106683504920\ 60643624122479/1147709125463538501632705468557453986618639858886321\ 685938139332*c_1001_2^2 + 13150119026711657902693713390009474517274\ 505757262522885542879567241/286927281365884625408176367139363496654\ 6599647215804214845348330*c_1001_2 + 798409433608707899744469139421170895435480514149449564501880872831/\ 1434636406829423127040881835696817483273299823607902107422674165, c_0011_4 + 165618196097404687047822686877277547061334922327214086486487\ 75/1147709125463538501632705468557453986618639858886321685938139332\ *c_1001_2^27 + 4164692549727323212166770784115361358648346484229013\ 27932498593/1147709125463538501632705468557453986618639858886321685\ 938139332*c_1001_2^26 + 4161889876177302989185639107383676966889049\ 15560068285943419263/1147709125463538501632705468557453986618639858\ 886321685938139332*c_1001_2^25 - 2378050139641378712549699446892773\ 372985190442215459555011839251/114770912546353850163270546855745398\ 6618639858886321685938139332*c_1001_2^24 - 724852405169692144689468687910129125905723180263253450081176977/286\ 927281365884625408176367139363496654659964721580421484534833*c_1001\ _2^23 + 18247903725224673046750801770584108817640995589667499057883\ 87443/1147709125463538501632705468557453986618639858886321685938139\ 332*c_1001_2^22 - 1531325888564421129168367736670080928676759669757\ 6982778067542985/11477091254635385016327054685574539866186398588863\ 21685938139332*c_1001_2^21 - 63157012570797538742503397492049483768\ 870768806215686144575725237/114770912546353850163270546855745398661\ 8639858886321685938139332*c_1001_2^20 - 42901886383148038941527090782333229048917887195757420974036343577/5\ 73854562731769250816352734278726993309319929443160842969069666*c_10\ 01_2^19 - 496830479694297474013845524350982056091686232624878130913\ 73727571/5738545627317692508163527342787269933093199294431608429690\ 69666*c_1001_2^18 - 11401269225354439953552044385529788202174901098\ 9841961770796370711/57385456273176925081635273427872699330931992944\ 3160842969069666*c_1001_2^17 - 196179978425985629040326537132028425\ 329303905858312009666888134869/573854562731769250816352734278726993\ 309319929443160842969069666*c_1001_2^16 - 283973080173909579807589096338836552983882033366554448852688412235/\ 1147709125463538501632705468557453986618639858886321685938139332*c_\ 1001_2^15 + 3136574943758612784520148730384122943403983810959801729\ 7012422591/28692728136588462540817636713936349665465996472158042148\ 4534833*c_1001_2^14 + 558306719365388676468425873740451033711661655\ 937677850012115190595/114770912546353850163270546855745398661863985\ 8886321685938139332*c_1001_2^13 + 101208265174871506251168048690938\ 3941847623456096485436608279978817/11477091254635385016327054685574\ 53986618639858886321685938139332*c_1001_2^12 + 839165181649686673299306839542001304340191678083473230171306542205/\ 573854562731769250816352734278726993309319929443160842969069666*c_1\ 001_2^11 + 21920740087489201958614955929595914722335368676619573399\ 86989919579/1147709125463538501632705468557453986618639858886321685\ 938139332*c_1001_2^10 + 1661226575267940353406237210276758788253272\ 949841608679626976412681/114770912546353850163270546855745398661863\ 9858886321685938139332*c_1001_2^9 - 184936271579015463879996330031149494658891130214686526233449554733/\ 1147709125463538501632705468557453986618639858886321685938139332*c_\ 1001_2^8 - 22692267564198809168678256397632410532464671876968517833\ 41105048181/1147709125463538501632705468557453986618639858886321685\ 938139332*c_1001_2^7 - 77410797175873521645003755266278007020718210\ 8156086797082538962658/28692728136588462540817636713936349665465996\ 4721580421484534833*c_1001_2^6 - 1175330743747129228868174711643439\ 196087519533488797577433765959655/573854562731769250816352734278726\ 993309319929443160842969069666*c_1001_2^5 - 258896494502663838014972581843091930110256319029782345668180974227/\ 286927281365884625408176367139363496654659964721580421484534833*c_1\ 001_2^4 - 409541781692286818452057472743982913860260894903833823100\ 93252912/2869272813658846254081763671393634966546599647215804214845\ 34833*c_1001_2^3 + 959407802307208833924987999747997231838568893970\ 39689411497803705/1147709125463538501632705468557453986618639858886\ 321685938139332*c_1001_2^2 + 16976197073597098711816844359509045771\ 726794679647899441757030261/286927281365884625408176367139363496654\ 659964721580421484534833*c_1001_2 + 3780553304051142763268772061277476771443560839552695679938317990/28\ 6927281365884625408176367139363496654659964721580421484534833, c_0011_6 - 584377177823450369589257170997012643620471218161236348748094\ 75/573854562731769250816352734278726993309319929443160842969069666*\ c_1001_2^27 - 72754212910967761357362292577920288481458947096944893\ 6913669070/28692728136588462540817636713936349665465996472158042148\ 4534833*c_1001_2^26 - 553106156713364183317341605358972688578157352\ 140699313772149429/286927281365884625408176367139363496654659964721\ 580421484534833*c_1001_2^25 + 4373635797082009648042945699708431650\ 245670483115444631686785190/286927281365884625408176367139363496654\ 659964721580421484534833*c_1001_2^24 + 8068293103677927424695680661898851788257984855880248350578080473/57\ 3854562731769250816352734278726993309319929443160842969069666*c_100\ 1_2^23 - 9063646451521248858387121702391564984343003967612933042863\ 670171/573854562731769250816352734278726993309319929443160842969069\ 666*c_1001_2^22 + 2819177569924809492051400095248321050750400710095\ 8625081344804655/28692728136588462540817636713936349665465996472158\ 0421484534833*c_1001_2^21 + 105093493932568995136060936968105963893\ 499373021531085247994300666/286927281365884625408176367139363496654\ 659964721580421484534833*c_1001_2^20 + 246002907105195759159062104276223042066676697105403886293572743481/\ 573854562731769250816352734278726993309319929443160842969069666*c_1\ 001_2^19 + 14016983539698201333256441581494778706974557371770122995\ 7802591302/28692728136588462540817636713936349665465996472158042148\ 4534833*c_1001_2^18 + 367640593709447308552184666852439974732716768\ 392404738118482028962/286927281365884625408176367139363496654659964\ 721580421484534833*c_1001_2^17 + 5978052173437859786094551674243298\ 85492213661301428643451511719841/2869272813658846254081763671393634\ 96654659964721580421484534833*c_1001_2^16 + 667744004701982265722021461218340908701973188020760931513594085517/\ 573854562731769250816352734278726993309319929443160842969069666*c_1\ 001_2^15 - 63660025570215421096113834666520172248207206376911047729\ 5768106243/57385456273176925081635273427872699330931992944316084296\ 9069666*c_1001_2^14 - 178904650471501630676613174914173095950533095\ 9317300397095564089793/57385456273176925081635273427872699330931992\ 9443160842969069666*c_1001_2^13 - 154609388106654655060255797175688\ 8217632141703100157611969149838414/28692728136588462540817636713936\ 3496654659964721580421484534833*c_1001_2^12 - 5123759234067028284276987501807173642125885768439577831447247646517\ /573854562731769250816352734278726993309319929443160842969069666*c_\ 1001_2^11 - 6372662845888389411848656091032735214282096541108584284\ 437280362227/573854562731769250816352734278726993309319929443160842\ 969069666*c_1001_2^10 - 2061377042200451412950627821614412158531471\ 156938169009308534822825/286927281365884625408176367139363496654659\ 964721580421484534833*c_1001_2^9 + 900290632207600550806104060331601533977286064642760004710173505136/\ 286927281365884625408176367139363496654659964721580421484534833*c_1\ 001_2^8 + 377058832765973731163397279139335707957778275301348233478\ 7292500193/28692728136588462540817636713936349665465996472158042148\ 4534833*c_1001_2^7 + 8887075785205944850831204853800189673999678472\ 060401035016737270513/573854562731769250816352734278726993309319929\ 443160842969069666*c_1001_2^6 + 29585113600990358930499261219823623\ 76951907108791689667700134738552/2869272813658846254081763671393634\ 96654659964721580421484534833*c_1001_2^5 + 1056158586060982173670830526794778219902878916927220662625565709331\ /286927281365884625408176367139363496654659964721580421484534833*c_\ 1001_2^4 + 16139013135541589027353460257676865937209899706496402558\ 369379347/286927281365884625408176367139363496654659964721580421484\ 534833*c_1001_2^3 - 37638001271601343180761168917784761637858062776\ 3661646207294201957/57385456273176925081635273427872699330931992944\ 3160842969069666*c_1001_2^2 - 1807080112632293276941656154734073294\ 10902509025862667178794555895/5738545627317692508163527342787269933\ 09319929443160842969069666*c_1001_2 - 15947459005040819561988604407348061151739904869756911887656558242/2\ 86927281365884625408176367139363496654659964721580421484534833, c_0011_7 + 262458841623501151525093699761464992767938021369882177921140\ 504/143463640682942312704088183569681748327329982360790210742267416\ 5*c_1001_2^27 + 689265539801724386279649682490016338150329833212475\ 7016913980219/14346364068294231270408818356968174832732998236079021\ 07422674165*c_1001_2^26 + 14020862087788369824561782991125240193181\ 958958255209886742595473/143463640682942312704088183569681748327329\ 9823607902107422674165*c_1001_2^25 - 28708765362247359563035682282077637580417411616517476603922989528/1\ 434636406829423127040881835696817483273299823607902107422674165*c_1\ 001_2^24 - 85598452287363363748596067833099449017400369957542289629\ 959645402/143463640682942312704088183569681748327329982360790210742\ 2674165*c_1001_2^23 - 294784951133877052781824355438418301661930995\ 46767794531122145564/1434636406829423127040881835696817483273299823\ 607902107422674165*c_1001_2^22 - 2255613766892577775858389158412559\ 33383647091518429312569991358089/1434636406829423127040881835696817\ 483273299823607902107422674165*c_1001_2^21 - 255419921160822921692695383378757182968488369737004573867522170238/\ 286927281365884625408176367139363496654659964721580421484534833*c_1\ 001_2^20 - 25330423282072091667271757274382908579957634049187884771\ 59345548702/1434636406829423127040881835696817483273299823607902107\ 422674165*c_1001_2^19 - 6705249122932587680021717036921233508552295\ 01338920582185743146010/2869272813658846254081763671393634966546599\ 64721580421484534833*c_1001_2^18 - 5867021792011009493409666993766881997745677661091781981479268786932\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^17 - 109218532265112228759347569174071520657583597673292526\ 00578098328781/1434636406829423127040881835696817483273299823607902\ 107422674165*c_1001_2^16 - 1260824296575383872408905891586975716396\ 3059388044971399561908225267/14346364068294231270408818356968174832\ 73299823607902107422674165*c_1001_2^15 - 5145559145354801877717688226028297366594595645956293308701661303718\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^14 + 871926988068255405160865345438551851774266633341794303\ 8368477291784/14346364068294231270408818356968174832732998236079021\ 07422674165*c_1001_2^13 + 25168941274059784170948706055517089262616\ 394709042623406420451704968/143463640682942312704088183569681748327\ 3299823607902107422674165*c_1001_2^12 + 4658073860356919489640065711768141121486182652079214403442560852229\ 6/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^11 + 69665098234974237758090366065738867474990914038658834\ 094603682214436/143463640682942312704088183569681748327329982360790\ 2107422674165*c_1001_2^10 + 148659568592610560589042145329221771234\ 23725318901788536050154159807/2869272813658846254081763671393634966\ 54659964721580421484534833*c_1001_2^9 + 3987073958800711759028540009966920186633940028370922669819340228218\ 4/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^8 - 255488233554493109370667726113519475258137355378121814\ 75498613985977/1434636406829423127040881835696817483273299823607902\ 107422674165*c_1001_2^7 - 16599557473841910837400094711968296085664\ 778679789115498326127598542/286927281365884625408176367139363496654\ 659964721580421484534833*c_1001_2^6 - 9875605169575363321569259873983730634931096726721615413158629474849\ 8/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^5 - 751080593673164338602640494445846981515292144709950280\ 33825330337234/1434636406829423127040881835696817483273299823607902\ 107422674165*c_1001_2^4 - 39636763776826036365522432042984768168670\ 137249490041460426462615577/143463640682942312704088183569681748327\ 3299823607902107422674165*c_1001_2^3 - 2877865752212602631360772047680877893395324926170766606654535630370\ /286927281365884625408176367139363496654659964721580421484534833*c_\ 1001_2^2 - 32879399114301242586792585699112349720958518653168867646\ 89978739314/1434636406829423127040881835696817483273299823607902107\ 422674165*c_1001_2 - 3560953250980633814424458718309574577720335684\ 20068488537071790178/1434636406829423127040881835696817483273299823\ 607902107422674165, c_0011_9 + 253170788257124317210873705179396827894564354453249735044310\ 929/286927281365884625408176367139363496654659964721580421484534833\ 0*c_1001_2^27 + 310531920837968373634602430301435202168722599237900\ 9781043917062/14346364068294231270408818356968174832732998236079021\ 07422674165*c_1001_2^26 + 12168173896278047224638169698413570406753\ 12279775932562075081149/1434636406829423127040881835696817483273299\ 823607902107422674165*c_1001_2^25 - 20285638152273432408517273572534925150873656574753259191004777359/1\ 434636406829423127040881835696817483273299823607902107422674165*c_1\ 001_2^24 - 21498288394467095138380497416569497951463349985923650345\ 310603247/286927281365884625408176367139363496654659964721580421484\ 5348330*c_1001_2^23 + 568357960356564867594476008800672537455243756\ 69975321710512627671/2869272813658846254081763671393634966546599647\ 215804214845348330*c_1001_2^22 - 1274819766279173470980003425555697\ 07371913498653698722237310787677/1434636406829423127040881835696817\ 483273299823607902107422674165*c_1001_2^21 - 82142541367698372477039423041602427221205846891650527877193841930/2\ 86927281365884625408176367139363496654659964721580421484534833*c_10\ 01_2^20 - 693351284213444801480812000361262340785093071047846789130\ 152531697/286927281365884625408176367139363496654659964721580421484\ 5348330*c_1001_2^19 - 704821443168149955011206289708614233750563999\ 49001816696473422528/2869272813658846254081763671393634966546599647\ 21580421484534833*c_1001_2^18 - 12842804920586555527983349526215807\ 22114771213971698670670176139251/1434636406829423127040881835696817\ 483273299823607902107422674165*c_1001_2^17 - 1881065418429361747118759433256089137688451742459210763753236600688\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^16 - 487502762175740534385116588849098122115051035825321283\ 477482691657/286927281365884625408176367139363496654659964721580421\ 4845348330*c_1001_2^15 + 460540320513895157200626967735910489141778\ 0856413596628440914128277/28692728136588462540817636713936349665465\ 99647215804214845348330*c_1001_2^14 + 7385798538728270775672051476360423000157890092762249298439512716279\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2^13 + 526167482304126201725186871415446870959953096326684115\ 8381017162964/14346364068294231270408818356968174832732998236079021\ 07422674165*c_1001_2^12 + 16314454824917551839988433790195983287933\ 304807377156719253506230901/286927281365884625408176367139363496654\ 6599647215804214845348330*c_1001_2^11 + 1735245222429871128083601539247361553985248842518018813265327253557\ 1/2869272813658846254081763671393634966546599647215804214845348330*\ c_1001_2^10 + 41467065822595645121473660155291836670989745885606503\ 8544299203029/28692728136588462540817636713936349665465996472158042\ 1484534833*c_1001_2^9 - 9538641658184323624638891000856524730576474\ 545587719811654082675383/143463640682942312704088183569681748327329\ 9823607902107422674165*c_1001_2^8 - 1690135614206504634714764135609952184423435624813194000092445210021\ 1/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^7 - 544978520743443233168508868778644287752411342105798214\ 0542658811383/57385456273176925081635273427872699330931992944316084\ 2969069666*c_1001_2^6 - 3997705534337688199415285833309935193148999\ 894289485632816854000149/143463640682942312704088183569681748327329\ 9823607902107422674165*c_1001_2^5 + 3155436286960889817184314114536067830432608411569342104583384630593\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^4 + 4464708813657237012858237139495756034471361581026732156\ 587903139709/143463640682942312704088183569681748327329982360790210\ 7422674165*c_1001_2^3 + 1051403156377338866133087797299193611032606\ 565683706743381195212203/573854562731769250816352734278726993309319\ 929443160842969069666*c_1001_2^2 + 1702125634205801639748936574989835509684754751710188389359501632461\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2 + 124883279271150122736414713794820323792176569120328540049\ 927750951/143463640682942312704088183569681748327329982360790210742\ 2674165, c_0101_0 - 604370425119530950922012080372880600125624199274052387228131\ 437/573854562731769250816352734278726993309319929443160842969069666\ 0*c_1001_2^27 - 159057240182839580730246452706645511078832008259930\ 36588545481947/5738545627317692508163527342787269933093199294431608\ 429690696660*c_1001_2^26 - 3314705892973825824230461013825188843246\ 6319400412552701098895589/57385456273176925081635273427872699330931\ 99294431608429690696660*c_1001_2^25 + 65024395776322081104199450142009657353354342007905999909869580489/5\ 738545627317692508163527342787269933093199294431608429690696660*c_1\ 001_2^24 + 50532061893531114127058491403760768448634919398766309367\ 007382844/143463640682942312704088183569681748327329982360790210742\ 2674165*c_1001_2^23 + 748512811445604613924912037574602788331372679\ 45034503205686903507/5738545627317692508163527342787269933093199294\ 431608429690696660*c_1001_2^22 + 5147582607920283089259255993379921\ 90651215770425782542489212066847/5738545627317692508163527342787269\ 933093199294431608429690696660*c_1001_2^21 + 594654276333201067645705931307068285990822756749174154732119749211/\ 1147709125463538501632705468557453986618639858886321685938139332*c_\ 1001_2^20 + 2987131354081307281819146487089340521599604704766607430\ 023981359153/286927281365884625408176367139363496654659964721580421\ 4845348330*c_1001_2^19 + 791024333130357188591325429612683050813737\ 781855771799247559022521/573854562731769250816352734278726993309319\ 929443160842969069666*c_1001_2^18 + 6868211136063252203882560110083685405851109200029098792936399937423\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2^17 + 128419014747440774563993799778807861089353570707440868\ 00975443226719/2869272813658846254081763671393634966546599647215804\ 214845348330*c_1001_2^16 + 2993908393860202942012946290862403138083\ 3352578511050598997191616221/57385456273176925081635273427872699330\ 93199294431608429690696660*c_1001_2^15 + 3134088368521257240200214466115754968319397919617959339221537697256\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^14 - 202128234300990189109668888283821803293346037245490248\ 41998631432497/5738545627317692508163527342787269933093199294431608\ 429690696660*c_1001_2^13 - 5902008384166251276972282047862477547254\ 3766975496200111438440937159/57385456273176925081635273427872699330\ 93199294431608429690696660*c_1001_2^12 - 5473226917560531542217987120583794132967273691861624964919696081730\ 9/2869272813658846254081763671393634966546599647215804214845348330*\ c_1001_2^11 - 16426691700683441890547963445035789813887469722759208\ 8060916618224813/57385456273176925081635273427872699330931992944316\ 08429690696660*c_1001_2^10 - 35260144635707626180228796287678888800\ 570146070232827394854717825363/114770912546353850163270546855745398\ 6618639858886321685938139332*c_1001_2^9 - 9604904689913601166676735898695393615082617752124484344848198515589\ 7/5738545627317692508163527342787269933093199294431608429690696660*\ c_1001_2^8 + 583962440502657903419398419384431882227057032186245787\ 29173224709991/5738545627317692508163527342787269933093199294431608\ 429690696660*c_1001_2^7 + 97666550151080790400969266191564252847037\ 91970275481606094621505962/2869272813658846254081763671393634966546\ 59964721580421484534833*c_1001_2^6 + 1170074919147798169616185006331540908670219490222610574932525470789\ 67/2869272813658846254081763671393634966546599647215804214845348330\ *c_1001_2^5 + 44690430305147739674072444802665866662864501679474600\ 770574036401898/143463640682942312704088183569681748327329982360790\ 2107422674165*c_1001_2^4 + 2367173086032268587910601284248385999710\ 0288315688065339154774195714/14346364068294231270408818356968174832\ 73299823607902107422674165*c_1001_2^3 + 6898621646756948941117147565935404635635094992100086757763753064393\ /1147709125463538501632705468557453986618639858886321685938139332*c\ _1001_2^2 + 1977876926372104917576036493421559540244678994028646417\ 253158242138/143463640682942312704088183569681748327329982360790210\ 7422674165*c_1001_2 + 215521642606257526704935878852418226830537589\ 356271442781361232846/143463640682942312704088183569681748327329982\ 3607902107422674165, c_0101_1 + 978280090799950166418182820179702444438679022245426999958229\ 61/5738545627317692508163527342787269933093199294431608429690696660\ *c_1001_2^27 + 2974953249504280539414892138300500074336398317448833\ 328059475911/573854562731769250816352734278726993309319929443160842\ 9690696660*c_1001_2^26 + 156632637471123493107796133653348133063403\ 76668933342563458136537/5738545627317692508163527342787269933093199\ 294431608429690696660*c_1001_2^25 + 5314775813031086390607160939089477600074699369016071296223326143/57\ 38545627317692508163527342787269933093199294431608429690696660*c_10\ 01_2^24 - 212573459008566981116300813891686298680237706482897448921\ 99315242/1434636406829423127040881835696817483273299823607902107422\ 674165*c_1001_2^23 - 1144372232695868527281990021989306744101662110\ 57377078477442324411/5738545627317692508163527342787269933093199294\ 431608429690696660*c_1001_2^22 - 7325624504951924971709349499892456\ 7427724768293495296929935702871/57385456273176925081635273427872699\ 33093199294431608429690696660*c_1001_2^21 - 166215283631949943637389212963993384671337702131342219193265885903/\ 1147709125463538501632705468557453986618639858886321685938139332*c_\ 1001_2^20 - 1363252469165241190668494775276887011165035444455227282\ 191976828009/286927281365884625408176367139363496654659964721580421\ 4845348330*c_1001_2^19 - 419686674367157298684263778924579155668793\ 378776307186221007247467/573854562731769250816352734278726993309319\ 929443160842969069666*c_1001_2^18 - 2885037227766677319302889234969804852283205987132854571249855754369\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2^17 - 560131707586718816110151503320511531283574541728766687\ 3796010769947/28692728136588462540817636713936349665465996472158042\ 14845348330*c_1001_2^16 - 17719234784074577243146981119067780732589\ 768402039594075365754705353/573854562731769250816352734278726993309\ 3199294431608429690696660*c_1001_2^15 - 3585596824763313103706603164524263362376233002412012748590060753968\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^14 + 202716918947738928365322908632696571853778422816000790\ 4543098706301/57385456273176925081635273427872699330931992944316084\ 29690696660*c_1001_2^13 + 23490225633797948496697574168510006174553\ 176978634185036871886937927/573854562731769250816352734278726993309\ 3199294431608429690696660*c_1001_2^12 + 2429480177304162381407910760459867921916349245200936641818179032859\ 7/2869272813658846254081763671393634966546599647215804214845348330*\ c_1001_2^11 + 81041063234214135948105011938958002153468987502252390\ 195474534018129/573854562731769250816352734278726993309319929443160\ 8429690696660*c_1001_2^10 + 211093539569282860676550902256710238524\ 21204724574371430605630263683/1147709125463538501632705468557453986\ 618639858886321685938139332*c_1001_2^9 + 8757423893201212722940686378501664720919027180180413740614654139530\ 1/5738545627317692508163527342787269933093199294431608429690696660*\ c_1001_2^8 + 127552123390472306204025193461469700014202448841205290\ 83278700101937/5738545627317692508163527342787269933093199294431608\ 429690696660*c_1001_2^7 - 41175135182559128815131228544428984752010\ 21132376750806950930396242/2869272813658846254081763671393634966546\ 59964721580421484534833*c_1001_2^6 - 6852720876264962690121887483804485919170612215530398340311095095647\ 1/2869272813658846254081763671393634966546599647215804214845348330*\ c_1001_2^5 - 315627302746473516926656136886345107494008011554502882\ 70459455350049/1434636406829423127040881835696817483273299823607902\ 107422674165*c_1001_2^4 - 19436922283783155751582874843237867906341\ 099758660374163657412268757/143463640682942312704088183569681748327\ 3299823607902107422674165*c_1001_2^3 - 6542793551470659254234083133628790591034964500007392462857547199121\ /1147709125463538501632705468557453986618639858886321685938139332*c\ _1001_2^2 - 2199913441903682202596757572412518883323778515389350938\ 427385076469/143463640682942312704088183569681748327329982360790210\ 7422674165*c_1001_2 - 293075592011985333047114522580825908783053139\ 372057098755895906433/143463640682942312704088183569681748327329982\ 3607902107422674165, c_0101_2 + 727754398049704586027078055844153976183367580874931485395777\ 317/573854562731769250816352734278726993309319929443160842969069666\ 0*c_1001_2^27 + 192906198202503498660631196071953017362170431607421\ 29907583015347/5738545627317692508163527342787269933093199294431608\ 429690696660*c_1001_2^26 + 4340190098586105242130398505347437340062\ 8041855304471164577429029/57385456273176925081635273427872699330931\ 99294431608429690696660*c_1001_2^25 - 74214551197413749518249115028152006315872370523552632467905125509/5\ 738545627317692508163527342787269933093199294431608429690696660*c_1\ 001_2^24 - 65682898930320722130254290742107788763138922525254545369\ 219897379/143463640682942312704088183569681748327329982360790210742\ 2674165*c_1001_2^23 - 117084793253021633793030721782970171525937832\ 840073630704007608287/573854562731769250816352734278726993309319929\ 4431608429690696660*c_1001_2^22 - 607054704392679876292327923887221\ 739052867022002383578580381867747/573854562731769250816352734278726\ 9933093199294431608429690696660*c_1001_2^21 - 741953076310003707533106924654481336523655445549851822339971541951/\ 1147709125463538501632705468557453986618639858886321685938139332*c_\ 1001_2^20 - 3873974308178051230009432266252789224546837279833497938\ 852003817553/286927281365884625408176367139363496654659964721580421\ 4845348330*c_1001_2^19 - 103162195736806010070904677693267642292650\ 1752763584839139359340575/57385456273176925081635273427872699330931\ 9929443160842969069666*c_1001_2^18 - 8752000629250088084640971874633384415991604403469538497289146784003\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2^17 - 165351919043771891067164578933116895917205456939298134\ 79956975352619/2869272813658846254081763671393634966546599647215804\ 214845348330*c_1001_2^16 - 3973580888356367786546756618705349376180\ 9630276030541239357873499861/57385456273176925081635273427872699330\ 93199294431608429690696660*c_1001_2^15 - 4519190352753790052220787375529877541335130203243867833826154675081\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^14 + 246702313417182974341790048399459715128518479490229408\ 19262385981217/5738545627317692508163527342787269933093199294431608\ 429690696660*c_1001_2^13 + 7532061918968923056013792747264817824835\ 6131506699207527704378832699/57385456273176925081635273427872699330\ 93199294431608429690696660*c_1001_2^12 + 7037415116961533893800714926485698328397025400627346147321286575209\ 9/2869272813658846254081763671393634966546599647215804214845348330*\ c_1001_2^11 + 21349717657784130625576025133836189017622346696595984\ 4191117194012853/57385456273176925081635273427872699330931992944316\ 08429690696660*c_1001_2^10 + 46708854242323951195593541915130909111\ 783233143406376764101113872015/114770912546353850163270546855745398\ 6618639858886321685938139332*c_1001_2^9 + 1337104797261884209112241078724243928900550660226579507552845272736\ 17/5738545627317692508163527342787269933093199294431608429690696660\ *c_1001_2^8 - 67387789975390043878229014109971083368222800100486538\ 335710629434511/573854562731769250816352734278726993309319929443160\ 8429690696660*c_1001_2^7 - 1257784838265908086305494909300864542066\ 6804484032260333613377548973/28692728136588462540817636713936349665\ 4659964721580421484534833*c_1001_2^6 - 1544478463360942060643122436318127015685574821067411186927230711116\ 27/2869272813658846254081763671393634966546599647215804214845348330\ *c_1001_2^5 - 59978901710206751542838384694662029728258148665344032\ 845939943891298/143463640682942312704088183569681748327329982360790\ 2107422674165*c_1001_2^4 - 3226788570001719015046268373764815213616\ 7371947773554725105338089664/14346364068294231270408818356968174832\ 73299823607902107422674165*c_1001_2^3 - 9574463818065826863905410278575533773701563640739098383747684387297\ /1147709125463538501632705468557453986618639858886321685938139332*c\ _1001_2^2 - 2810798747710489035942714071354693406610372708259732801\ 384790020168/143463640682942312704088183569681748327329982360790210\ 7422674165*c_1001_2 - 317998449222407794990785042556047157051187021\ 796401991432725181521/143463640682942312704088183569681748327329982\ 3607902107422674165, c_0110_6 + 155959659281368010025660460809838475143541550144206958865378\ 291/573854562731769250816352734278726993309319929443160842969069666\ 0*c_1001_2^27 + 369491523870510511419138478028840055023034551486799\ 4853644738881/57385456273176925081635273427872699330931992944316084\ 29690696660*c_1001_2^26 - 18432993068333615079285024902195450080249\ 25298943250729092230753/5738545627317692508163527342787269933093199\ 294431608429690696660*c_1001_2^25 - 29464366799064593320724892879041846296107931883984034919175595287/5\ 738545627317692508163527342787269933093199294431608429690696660*c_1\ 001_2^24 + 13089649469731569682713275912733499235384496887761312207\ 04926243/1434636406829423127040881835696817483273299823607902107422\ 674165*c_1001_2^23 + 6440514824623390965888432992413437462536734115\ 7841129772787389599/57385456273176925081635273427872699330931992944\ 31608429690696660*c_1001_2^22 - 16940712708416909770817425363197233\ 9399401323262331813551538383101/57385456273176925081635273427872699\ 33093199294431608429690696660*c_1001_2^21 - 77499525996192433778809051805519002392913667400755690640639316205/1\ 147709125463538501632705468557453986618639858886321685938139332*c_1\ 001_2^20 + 64149501561206760976386996226387038419883969770072462504\ 630371831/286927281365884625408176367139363496654659964721580421484\ 5348330*c_1001_2^19 + 381084821793462520412155630612686069133372475\ 48797935719175536393/5738545627317692508163527342787269933093199294\ 43160842969069666*c_1001_2^18 - 31475729060940248452297641437516574\ 5594269390551965920218702082359/28692728136588462540817636713936349\ 66546599647215804214845348330*c_1001_2^17 - 104697634373000136683629298739871239523315488424689833338866271637/\ 2869272813658846254081763671393634966546599647215804214845348330*c_\ 1001_2^16 + 3441850404152447472266429332324065952357616396335746147\ 753122673317/573854562731769250816352734278726993309319929443160842\ 9690696660*c_1001_2^15 + 148326534129426559358299320390023404512104\ 9490048071188143290636252/14346364068294231270408818356968174832732\ 99823607902107422674165*c_1001_2^14 + 4212664608490148593985960747500223784731527185928532186087646125711\ /5738545627317692508163527342787269933093199294431608429690696660*c\ _1001_2^13 + 213684816868175072520563016295340339416734315279341354\ 3856508794037/57385456273176925081635273427872699330931992944316084\ 29690696660*c_1001_2^12 + 54443374981939206660205546889554740092516\ 4628160810938810986415037/28692728136588462540817636713936349665465\ 99647215804214845348330*c_1001_2^11 - 5047721013394202834786973740125084110820697602053667833925088870161\ /5738545627317692508163527342787269933093199294431608429690696660*c\ _1001_2^10 - 379181462728372809621387563315536725226927298967008732\ 6693281453079/11477091254635385016327054685574539866186398588863216\ 85938139332*c_1001_2^9 - 302042567936368107016284207402706638520899\ 36852322618547371713522769/5738545627317692508163527342787269933093\ 199294431608429690696660*c_1001_2^8 - 2386284336578137812586838770087345652721192417236474849431304482881\ 3/5738545627317692508163527342787269933093199294431608429690696660*\ c_1001_2^7 + 975801124434635935152309194904590505552100906393820046\ 876808928/286927281365884625408176367139363496654659964721580421484\ 534833*c_1001_2^6 + 11438456675491753669796830748062376193893328234\ 281191447318692401389/286927281365884625408176367139363496654659964\ 7215804214845348330*c_1001_2^5 + 7223740075094609197680797807357981\ 658172346502808147919068990042721/143463640682942312704088183569681\ 7483273299823607902107422674165*c_1001_2^4 + 5108067703560479503999215690233094477972433894102685123683973262243\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^3 + 1859543515172465568672710175118408854994408284964654040\ 168439371777/114770912546353850163270546855745398661863985888632168\ 5938139332*c_1001_2^2 + 6483298565860154998653814150528687467162275\ 07493111476436694962676/1434636406829423127040881835696817483273299\ 823607902107422674165*c_1001_2 + 8498417551308866095836553958949948\ 1495457271590368569774543612607/14346364068294231270408818356968174\ 83273299823607902107422674165, c_1001_1 + 348833946498079908865278434079729540086573280621555738500227\ 79/2869272813658846254081763671393634966546599647215804214845348330\ *c_1001_2^27 + 5152142264365779643388780206405783290281223579644812\ 52395359717/1434636406829423127040881835696817483273299823607902107\ 422674165*c_1001_2^26 + 2396427971315373829309381584527188841249444\ 840452586565096131854/143463640682942312704088183569681748327329982\ 3607902107422674165*c_1001_2^25 + 207077144083619700320567821472217\ 985021939625071028343978361846/143463640682942312704088183569681748\ 3273299823607902107422674165*c_1001_2^24 - 26722492796432161494031143483638429736162545499229340219977780067/2\ 869272813658846254081763671393634966546599647215804214845348330*c_1\ 001_2^23 - 31531599695215123364327970850612710139102061918296990038\ 313655279/286927281365884625408176367139363496654659964721580421484\ 5348330*c_1001_2^22 - 121448242348997640008909665711097592891220029\ 50022339013218736127/1434636406829423127040881835696817483273299823\ 607902107422674165*c_1001_2^21 - 2707280823006120445577445043850528\ 1894768051907174507228367730668/28692728136588462540817636713936349\ 6654659964721580421484534833*c_1001_2^20 - 829659038971818653363657090719738049923154575693777210334999425167/\ 2869272813658846254081763671393634966546599647215804214845348330*c_\ 1001_2^19 - 1228548034430242154420945258041874844906902914319285462\ 96209132639/2869272813658846254081763671393634966546599647215804214\ 84534833*c_1001_2^18 - 85911953108001300649484429237135275816988266\ 6923952254454773207816/14346364068294231270408818356968174832732998\ 23607902107422674165*c_1001_2^17 - 1692186052323458935862260300196871938797694008576934041716154089528\ /1434636406829423127040881835696817483273299823607902107422674165*c\ _1001_2^16 - 517365247275489289764816851571819633740010440385651569\ 1927083901147/28692728136588462540817636713936349665465996472158042\ 14845348330*c_1001_2^15 - 38671344497045782589637485112069420400848\ 64311362757254612755929433/2869272813658846254081763671393634966546\ 599647215804214845348330*c_1001_2^14 + 1071656094523784886309590741396214982668736402720460451176780791259\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2^13 + 362917218233809095571950966006198633984633305145265154\ 1291783170784/14346364068294231270408818356968174832732998236079021\ 07422674165*c_1001_2^12 + 14586346098421749130489028142023669143002\ 966119837389635430851660371/286927281365884625408176367139363496654\ 6599647215804214845348330*c_1001_2^11 + 2402160689625974561027508660816632419250763089730416204854539907215\ 1/2869272813658846254081763671393634966546599647215804214845348330*\ c_1001_2^10 + 30506477585465250951266807993173554897621250492991932\ 32194985103512/2869272813658846254081763671393634966546599647215804\ 21484534833*c_1001_2^9 + 120008765258205413816733181870917147943745\ 86038424989197802622308142/1434636406829423127040881835696817483273\ 299823607902107422674165*c_1001_2^8 + 702466935522615037104393945073921530344936365550018967614174666434/\ 1434636406829423127040881835696817483273299823607902107422674165*c_\ 1001_2^7 - 51222486898324941001100053790606262686846214954074813823\ 41120727599/5738545627317692508163527342787269933093199294431608429\ 69069666*c_1001_2^6 - 198866999566218983484554301977553368650835795\ 58397281108378098849749/1434636406829423127040881835696817483273299\ 823607902107422674165*c_1001_2^5 - 1763361671169917171904104387446077806467773100839529209368714072091\ 7/1434636406829423127040881835696817483273299823607902107422674165*\ c_1001_2^4 - 105177187221808356894669996139070495759536059614193485\ 35118216323811/1434636406829423127040881835696817483273299823607902\ 107422674165*c_1001_2^3 - 17178667562349309619633227213979495460611\ 32294923203145137454898511/5738545627317692508163527342787269933093\ 19929443160842969069666*c_1001_2^2 - 2238972971149111867834618284246017955944100241054157761006906217729\ /2869272813658846254081763671393634966546599647215804214845348330*c\ _1001_2 - 143608643810973977217431963495369743836005046582023425919\ 111497079/143463640682942312704088183569681748327329982360790210742\ 2674165, c_1001_2^28 + 27*c_1001_2^27 + 73*c_1001_2^26 - 65*c_1001_2^25 - 400*c_1001_2^24 - 379*c_1001_2^23 - 987*c_1001_2^22 - 5491*c_1001_2^21 - 13418*c_1001_2^20 - 20718*c_1001_2^19 - 33078*c_1001_2^18 - 59702*c_1001_2^17 - 82017*c_1001_2^16 - 60880*c_1001_2^15 + 13449*c_1001_2^14 + 120163*c_1001_2^13 + 254686*c_1001_2^12 + 410493*c_1001_2^11 + 503859*c_1001_2^10 + 395421*c_1001_2^9 + 46153*c_1001_2^8 - 379628*c_1001_2^7 - 633462*c_1001_2^6 - 608188*c_1001_2^5 - 404864*c_1001_2^4 - 193293*c_1001_2^3 - 64616*c_1001_2^2 - 13788*c_1001_2 - 1432 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 14.740 Total time: 14.949 seconds, Total memory usage: 123.41MB