Magma V2.19-8 Tue Aug 20 2013 23:55:32 on localhost [Seed = 2985810421] Type ? for help. Type -D to quit. Loading file "L14a8311__sl2_c3.magma" ==TRIANGULATION=BEGINS== % Triangulation L14a8311 geometric_solution 9.47011405 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 3 2 0132 0132 0132 1230 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 0 0 0 0 0 0 1 0 -1 -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.783718015758 0.421745165396 0 4 4 5 0132 0132 1302 0132 1 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 -1 0 1 1 0 -1 0 0 0 0 0 -1 -2 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.409560869149 0.663755813178 0 0 6 6 3012 0132 2103 0132 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 0 0 0 0 0 -1 0 1 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.962764241578 1.877369332098 7 7 6 0 0132 2310 2310 0132 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 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.568364485082 0.359185021625 1 1 8 9 2031 0132 0132 0132 1 1 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 -3 2 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.326725518268 1.091143917247 10 11 1 10 0132 0132 0132 3201 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 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.949142948775 0.594646650775 2 3 2 11 2103 3201 0132 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.783718015758 0.421745165396 3 10 10 3 0132 3201 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.786825106263 0.383730907564 11 9 9 4 0321 2031 1230 0132 1 1 0 1 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 0 -2 2 0 0 0 0 0 0 -1 0 1 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.560078275898 0.407239572328 8 11 4 8 1302 1302 0132 3012 1 1 1 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 -1 1 0 2 0 0 -2 2 -2 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.261365117244 0.744181564256 5 5 7 7 0132 2310 2310 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.827153829075 0.654402825572 8 5 6 9 0321 0132 0132 2031 1 1 0 1 0 1 0 -1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 -1 2 -2 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.409560869149 0.663755813178 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_1001_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_0011_9'], 'c_1001_4' : d['c_0011_9'], 'c_1001_7' : negation(d['c_0101_10']), 'c_1001_6' : negation(d['c_0101_3']), 'c_1001_1' : negation(d['c_0011_8']), 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_1001_10'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : negation(d['c_0011_8']), 'c_1001_8' : negation(d['c_0110_9']), 'c_1010_11' : d['c_0011_9'], 'c_1010_10' : negation(d['c_0101_10']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_9'], 'c_1100_8' : d['c_0110_9'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0110_9'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : d['c_0011_6'], 'c_1100_3' : d['c_0011_6'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_3']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_1001_10']), 'c_1010_6' : negation(d['c_1001_10']), 'c_1010_5' : negation(d['c_1001_10']), 'c_1010_4' : negation(d['c_0011_8']), 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : d['c_0011_9'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_0011_9'], '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' : negation(d['1']), 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : negation(d['1']), 's_1_0' : negation(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_8'], 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0011_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : negation(d['c_0011_10']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_6'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_8']), 'c_0101_8' : negation(d['c_0101_11']), 'c_0011_10' : d['c_0011_10'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0110_9'], 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_10'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : d['c_0101_3'], 'c_0110_6' : d['c_0101_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_3, c_0011_6, c_0011_8, c_0011_9, c_0101_0, c_0101_10, c_0101_11, c_0101_3, c_0110_9, c_1001_10 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t - 115564804703880593924373293707431735332271458226328281/233864817961\ 697803720045484268991790522654649017*c_1001_10^16 - 88630662546236838916559029037635744305516160222311255/2338648179616\ 97803720045484268991790522654649017*c_1001_10^15 - 180274005971498052012114085832961080157844096381421391/233864817961\ 697803720045484268991790522654649017*c_1001_10^14 - 48669276598939495900613031814345734581029666372215927/2338648179616\ 97803720045484268991790522654649017*c_1001_10^13 - 211785012595659086783548736761285561365787063685492013/467729635923\ 395607440090968537983581045309298034*c_1001_10^12 + 7212865425707904397679688330297452164296083711123117/23386481796169\ 7803720045484268991790522654649017*c_1001_10^11 - 85130983714242078799352991431927381780742003617446133/4677296359233\ 95607440090968537983581045309298034*c_1001_10^10 + 17235307332619989789814953970801113632978429855488765/2338648179616\ 97803720045484268991790522654649017*c_1001_10^9 - 13248185855876555687874019766908600015696435789437934/2338648179616\ 97803720045484268991790522654649017*c_1001_10^8 + 9487576020771827030935067588324545922363767890151795/23386481796169\ 7803720045484268991790522654649017*c_1001_10^7 - 3185186270296990019615067338599778724030490011513782/23386481796169\ 7803720045484268991790522654649017*c_1001_10^6 + 5539835194815738230556186214169162000742508510558823/46772963592339\ 5607440090968537983581045309298034*c_1001_10^5 - 1269944076358149349784432800436801509930141853569699/46772963592339\ 5607440090968537983581045309298034*c_1001_10^4 + 408583961073431752554150402271690373027692028688279/233864817961697\ 803720045484268991790522654649017*c_1001_10^3 - 67648190702057099174581325344513260167201943462545/2338648179616978\ 03720045484268991790522654649017*c_1001_10^2 + 20834104185860407404414741606560219509618262627513/2338648179616978\ 03720045484268991790522654649017*c_1001_10 - 4144260579459020681862694542216357428368361945069/46772963592339560\ 7440090968537983581045309298034, c_0011_0 - 1, c_0011_10 - 5982222284118001919623417619638978057498925001111/143211768\ 500733498910009482099811261801993049*c_1001_10^16 - 12353063675566584164565619142343668454215584965627/1432117685007334\ 98910009482099811261801993049*c_1001_10^15 - 20633553953742163653987782041935915081550042217275/1432117685007334\ 98910009482099811261801993049*c_1001_10^14 - 19228751669935608096208744122322857620002941436617/1432117685007334\ 98910009482099811261801993049*c_1001_10^13 - 15125796871085373332532971765958873548168043413046/1432117685007334\ 98910009482099811261801993049*c_1001_10^12 - 6254092666226731659497763194298971059948318967292/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 - 1331220657898074383228554805300302509075366284486/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 + 1754508273990563017448185332441783993584463072168/14321176850073349\ 8910009482099811261801993049*c_1001_10^9 + 1628291274431281676509535869493165306233504734092/14321176850073349\ 8910009482099811261801993049*c_1001_10^8 + 1024332339322023155087247202686326405680287684750/14321176850073349\ 8910009482099811261801993049*c_1001_10^7 + 310040791368518861216756251865037400972582948429/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 6404241779123814873189912721139041077067658881/14321176850073349891\ 0009482099811261801993049*c_1001_10^5 - 45324877606788627253687250459079661483548353640/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 - 33919134983885238014300800767982823397688538728/1432117685007334989\ 10009482099811261801993049*c_1001_10^3 - 7588706181144047272034533146796958324534372205/14321176850073349891\ 0009482099811261801993049*c_1001_10^2 - 2778928784055452874369574489013607969138286327/14321176850073349891\ 0009482099811261801993049*c_1001_10 + 114066348731064894867085754598851093613062165/143211768500733498910\ 009482099811261801993049, c_0011_3 - 1070946465865275948454891399049328707005680066951/1432117685\ 00733498910009482099811261801993049*c_1001_10^16 - 2525082288697717844339690059211575062837375180859/14321176850073349\ 8910009482099811261801993049*c_1001_10^15 - 4662674137022559519799032665846992169558099250441/14321176850073349\ 8910009482099811261801993049*c_1001_10^14 - 5207130555305174579943230018887856322447903241452/14321176850073349\ 8910009482099811261801993049*c_1001_10^13 - 4944501529657237761352253852485435800367277836018/14321176850073349\ 8910009482099811261801993049*c_1001_10^12 - 3186614691810177903813061366892937678276004322752/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 - 1742267085534813150749867775103172116250725491712/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 - 453823190847612200834303765264788929929193592061/143211768500733498\ 910009482099811261801993049*c_1001_10^9 + 17305541336503207584741450385608179091127693203/1432117685007334989\ 10009482099811261801993049*c_1001_10^8 + 195551217136100428146017954611392929113496081781/143211768500733498\ 910009482099811261801993049*c_1001_10^7 + 126010704106903697503603536189828789038182185965/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 62820232811911041105975826038577467491308162305/1432117685007334989\ 10009482099811261801993049*c_1001_10^5 + 20180625957648030334201763345704214013651016317/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 + 2930928752107636643384863925923852297410525781/14321176850073349891\ 0009482099811261801993049*c_1001_10^3 + 1131825885306194681445295009967575710361683207/14321176850073349891\ 0009482099811261801993049*c_1001_10^2 - 512259842942632478225304945746898302314022437/143211768500733498910\ 009482099811261801993049*c_1001_10 + 167124559182263387525520562644380591570683023/143211768500733498910\ 009482099811261801993049, c_0011_6 + 1366793689203139511317253372342021891211252041268/1432117685\ 00733498910009482099811261801993049*c_1001_10^16 + 3559323584360162485709799573552855054849639032241/14321176850073349\ 8910009482099811261801993049*c_1001_10^15 + 6697183895142058712270848542435373812879345454868/14321176850073349\ 8910009482099811261801993049*c_1001_10^14 + 8013424370639133432707276768128567458626879025050/14321176850073349\ 8910009482099811261801993049*c_1001_10^13 + 7773684368206911950657123287490507834839275370896/14321176850073349\ 8910009482099811261801993049*c_1001_10^12 + 5448963320755594804063603616875603326513916068431/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 + 3071665000767962198088698397026580134098220723291/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 + 1044498017153117744744818203916906153405436353998/14321176850073349\ 8910009482099811261801993049*c_1001_10^9 + 82437471612625336070252208591452095775938273070/1432117685007334989\ 10009482099811261801993049*c_1001_10^8 - 256716417796470152982197881082757847931883622237/143211768500733498\ 910009482099811261801993049*c_1001_10^7 - 215201419653972164436011079806295718271852356371/143211768500733498\ 910009482099811261801993049*c_1001_10^6 - 113060166461237829629050617565007518259535145283/143211768500733498\ 910009482099811261801993049*c_1001_10^5 - 41058514712274806669295983448721700235740832963/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 - 9575786523867035505053139076782936116886635403/14321176850073349891\ 0009482099811261801993049*c_1001_10^3 - 1710131415933198720736866423690223623463632313/14321176850073349891\ 0009482099811261801993049*c_1001_10^2 + 250612150290063717495648869967194235326980133/143211768500733498910\ 009482099811261801993049*c_1001_10 + 110282533218418888020122864711041759404672292/143211768500733498910\ 009482099811261801993049, c_0011_8 + 6792425844287399804534718659372630653087208485845/1432117685\ 00733498910009482099811261801993049*c_1001_10^16 + 15618397907218360544709261291931792533140538615179/1432117685007334\ 98910009482099811261801993049*c_1001_10^15 + 26448842400474323937295876968936004632655546575996/1432117685007334\ 98910009482099811261801993049*c_1001_10^14 + 26807162964731263979986546461935603769547663459239/1432117685007334\ 98910009482099811261801993049*c_1001_10^13 + 21653988483330574112911470927587133420871310754216/1432117685007334\ 98910009482099811261801993049*c_1001_10^12 + 10694467358900686403080652516570502617883592869490/1432117685007334\ 98910009482099811261801993049*c_1001_10^11 + 3134293675200593027607107215817656915577539443710/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 - 1443973974318681988673635570422666893947549928980/14321176850073349\ 8910009482099811261801993049*c_1001_10^9 - 2009001168496380067617102899501550741756157532543/14321176850073349\ 8910009482099811261801993049*c_1001_10^8 - 1394168940574295274858183192435332648820865190155/14321176850073349\ 8910009482099811261801993049*c_1001_10^7 - 512600284337353307731102039110712172845191209551/143211768500733498\ 910009482099811261801993049*c_1001_10^6 - 70819960591516681812467670686006506564635720414/1432117685007334989\ 10009482099811261801993049*c_1001_10^5 + 41154580793698269771903577645787469423489363833/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 + 38410125667046540948459720658992087501860199408/1432117685007334989\ 10009482099811261801993049*c_1001_10^3 + 10638318851571339516198169381686972739366217658/1432117685007334989\ 10009482099811261801993049*c_1001_10^2 + 3553414269255845692274969287707695345559893623/14321176850073349891\ 0009482099811261801993049*c_1001_10 - 71089143513285427875226393797324864663153994/1432117685007334989100\ 09482099811261801993049, c_0011_9 + 4261778247736209550878814460683352057346244444038/1432117685\ 00733498910009482099811261801993049*c_1001_10^16 + 10442201550687105437962606633493094376726595591282/1432117685007334\ 98910009482099811261801993049*c_1001_10^15 + 17594274590519685495041659004455027138440184652846/1432117685007334\ 98910009482099811261801993049*c_1001_10^14 + 17671354837584974674087073403814013975007153574857/1432117685007334\ 98910009482099811261801993049*c_1001_10^13 + 13348041978815133830628045820155020611052197068671/1432117685007334\ 98910009482099811261801993049*c_1001_10^12 + 5311060170297475306023239343717837491098069636723/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 + 107832496677549605505986065143272957076783256173/143211768500733498\ 910009482099811261801993049*c_1001_10^10 - 2557793002946695366753355827566753192909695570574/14321176850073349\ 8910009482099811261801993049*c_1001_10^9 - 2203315721464242355210155950074593467267945923101/14321176850073349\ 8910009482099811261801993049*c_1001_10^8 - 1263392387567823438353592257935912198209526339778/14321176850073349\ 8910009482099811261801993049*c_1001_10^7 - 338823728115333301108583805759439333911466050108/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 30941982941091919081375369184556280893974777780/1432117685007334989\ 10009482099811261801993049*c_1001_10^5 + 94728006994295968390716280053270350698074590733/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 + 55718634484796474126589760663388670532554052724/1432117685007334989\ 10009482099811261801993049*c_1001_10^3 + 15613087640256276268494660027764508663695959400/1432117685007334989\ 10009482099811261801993049*c_1001_10^2 + 4378225329326333082830509582227355732445505968/14321176850073349891\ 0009482099811261801993049*c_1001_10 - 27767876464342687524040019980998934896907753/1432117685007334989100\ 09482099811261801993049, c_0101_0 - 1024687192871538567752595377144793478597157641470/1432117685\ 00733498910009482099811261801993049*c_1001_10^16 - 2579140775578442401382281272703819135354632520528/14321176850073349\ 8910009482099811261801993049*c_1001_10^15 - 4819151951180553696337577335406973607916921267243/14321176850073349\ 8910009482099811261801993049*c_1001_10^14 - 5635102403579011940518099280503565438330558787875/14321176850073349\ 8910009482099811261801993049*c_1001_10^13 - 5422219497879890612488301289401709250659146005835/14321176850073349\ 8910009482099811261801993049*c_1001_10^12 - 3697413661494276159078007224761446390778392975911/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 - 2058585418422347426703166452982497262923118612900/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 - 645641963984564814639471936067346801274142224331/143211768500733498\ 910009482099811261801993049*c_1001_10^9 - 27234984336043028054626366467025461250361170827/1432117685007334989\ 10009482099811261801993049*c_1001_10^8 + 193575826213246706405187995333452097478690627547/143211768500733498\ 910009482099811261801993049*c_1001_10^7 + 146525084229728603241427358092071890036384241310/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 75873556260533593041139659236037207906303401481/1432117685007334989\ 10009482099811261801993049*c_1001_10^5 + 25911315479137129595502681391429583782523462002/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 + 5547392231878205606425133561871927756100319821/14321176850073349891\ 0009482099811261801993049*c_1001_10^3 + 1141075830578187547301026186980018566044194822/14321176850073349891\ 0009482099811261801993049*c_1001_10^2 - 463634959237116382878188865980440927561321029/143211768500733498910\ 009482099811261801993049*c_1001_10 + 27660405973171102949508917885245798392316887/1432117685007334989100\ 09482099811261801993049, c_0101_10 - 2903153700464804827038520199779823313272170818342/143211768\ 500733498910009482099811261801993049*c_1001_10^16 - 5945415330865728271151422763795956584567419342452/14321176850073349\ 8910009482099811261801993049*c_1001_10^15 - 10489941332278347074670455318506694844989070058050/1432117685007334\ 98910009482099811261801993049*c_1001_10^14 - 10248525125902155385954535372336357459303246394135/1432117685007334\ 98910009482099811261801993049*c_1001_10^13 - 9076609109463787642261795207893632830775942787135/14321176850073349\ 8910009482099811261801993049*c_1001_10^12 - 4673180391751731034194573854518513480042745245280/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 - 2149519313015911693685260679382268536510009038710/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 + 72228963482913255595464227823779819164562101643/1432117685007334989\ 10009482099811261801993049*c_1001_10^9 + 405399794558534407596344961817312614829511359184/143211768500733498\ 910009482099811261801993049*c_1001_10^8 + 468114845048300862535320097023046443087941168488/143211768500733498\ 910009482099811261801993049*c_1001_10^7 + 199317648670810776559837728712978277272619980257/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 62705193904051702971782702961897256427836364910/1432117685007334989\ 10009482099811261801993049*c_1001_10^5 + 11057124938284443496166354726951860743402189403/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 - 6739068511648051139006533334486219976507397506/14321176850073349891\ 0009482099811261801993049*c_1001_10^3 + 86270330065657124404007430040767770170835983/1432117685007334989100\ 09482099811261801993049*c_1001_10^2 - 1386191943495067993356345715283232654409617832/14321176850073349891\ 0009482099811261801993049*c_1001_10 + 168074545133763902321936901684592742683211684/143211768500733498910\ 009482099811261801993049, c_0101_11 - 1366793689203139511317253372342021891211252041268/143211768\ 500733498910009482099811261801993049*c_1001_10^16 - 3559323584360162485709799573552855054849639032241/14321176850073349\ 8910009482099811261801993049*c_1001_10^15 - 6697183895142058712270848542435373812879345454868/14321176850073349\ 8910009482099811261801993049*c_1001_10^14 - 8013424370639133432707276768128567458626879025050/14321176850073349\ 8910009482099811261801993049*c_1001_10^13 - 7773684368206911950657123287490507834839275370896/14321176850073349\ 8910009482099811261801993049*c_1001_10^12 - 5448963320755594804063603616875603326513916068431/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 - 3071665000767962198088698397026580134098220723291/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 - 1044498017153117744744818203916906153405436353998/14321176850073349\ 8910009482099811261801993049*c_1001_10^9 - 82437471612625336070252208591452095775938273070/1432117685007334989\ 10009482099811261801993049*c_1001_10^8 + 256716417796470152982197881082757847931883622237/143211768500733498\ 910009482099811261801993049*c_1001_10^7 + 215201419653972164436011079806295718271852356371/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 113060166461237829629050617565007518259535145283/143211768500733498\ 910009482099811261801993049*c_1001_10^5 + 41058514712274806669295983448721700235740832963/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 + 9575786523867035505053139076782936116886635403/14321176850073349891\ 0009482099811261801993049*c_1001_10^3 + 1710131415933198720736866423690223623463632313/14321176850073349891\ 0009482099811261801993049*c_1001_10^2 - 107400381789330218585639387867382973524987084/143211768500733498910\ 009482099811261801993049*c_1001_10 + 32929235282314610889886617388769502397320757/1432117685007334989100\ 09482099811261801993049, c_0101_3 + 1, c_0110_9 - 1293522118506974481988810527683854160757780345381/1432117685\ 00733498910009482099811261801993049*c_1001_10^16 - 2423581192879418877409529016172043506226883335561/14321176850073349\ 8910009482099811261801993049*c_1001_10^15 - 4626558755546532532653602131668553251033071500609/14321176850073349\ 8910009482099811261801993049*c_1001_10^14 - 4826925913708078594301485325549118300696696750760/14321176850073349\ 8910009482099811261801993049*c_1001_10^13 - 4804545453295641122805151723384716125184307951218/14321176850073349\ 8910009482099811261801993049*c_1001_10^12 - 2993705824628842246274463168071395388511087809330/14321176850073349\ 8910009482099811261801993049*c_1001_10^11 - 1708991972163266375760807139412032854642625181114/14321176850073349\ 8910009482099811261801993049*c_1001_10^10 - 416481084750216524952943730915072575812652545807/143211768500733498\ 910009482099811261801993049*c_1001_10^9 + 36913240164091182922917851444343490356291013928/1432117685007334989\ 10009482099811261801993049*c_1001_10^8 + 208099313596196692268362116790882749905109010912/143211768500733498\ 910009482099811261801993049*c_1001_10^7 + 144626974834811915004698768102238248730589789044/143211768500733498\ 910009482099811261801993049*c_1001_10^6 + 65937195944732738761776008924790928784238786713/1432117685007334989\ 10009482099811261801993049*c_1001_10^5 + 21932097932857473937028616508905479617526962039/1432117685007334989\ 10009482099811261801993049*c_1001_10^4 + 1306242625522593373259618235107963072777295375/14321176850073349891\ 0009482099811261801993049*c_1001_10^3 - 338842679980669820201699207531878881768080015/143211768500733498910\ 009482099811261801993049*c_1001_10^2 - 983754162031071416401782154947777586559203404/143211768500733498910\ 009482099811261801993049*c_1001_10 - 199460294208580676500660262905365723158436256/143211768500733498910\ 009482099811261801993049, c_1001_10^17 + 424579/194481*c_1001_10^16 + 242873/64827*c_1001_10^15 + 713075/194481*c_1001_10^14 + 577718/194481*c_1001_10^13 + 255455/194481*c_1001_10^12 + 58274/194481*c_1001_10^11 - 23246/64827*c_1001_10^10 - 10076/27783*c_1001_10^9 - 15739/64827*c_1001_10^8 - 15826/194481*c_1001_10^7 - 1366/194481*c_1001_10^6 + 2140/194481*c_1001_10^5 + 1822/194481*c_1001_10^4 + 548/194481*c_1001_10^3 + 4/3969*c_1001_10^2 + 8/194481*c_1001_10 + 1/194481 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.110 Total time: 0.310 seconds, Total memory usage: 32.09MB