Magma V2.19-8 Tue Aug 20 2013 17:56:58 on localhost [Seed = 2884247487] Type ? for help. Type -D to quit. Loading file "11_277__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation 11_277 geometric_solution 10.69806515 oriented_manifold CS_known 0.0000000000000000 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 0 -1 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.978103808418 1.005564225792 0 5 5 3 0132 0132 1302 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.178236702663 0.984724282922 4 0 7 6 0213 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 20 0 -1 -19 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.651075308479 0.363961917307 4 8 1 0 3012 0132 1230 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 0 0 0 1 0 0 -1 0 0 0 0 -20 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.605862108061 0.484478984039 2 6 0 3 0213 2310 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 1 0 -20 0 0 20 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.619756846717 0.646728658633 1 1 8 9 2031 0132 1230 0132 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 -19 0 0 -20 20 -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.822021408219 0.983298268814 10 7 2 4 0132 2103 0132 3201 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 -19 0 19 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.395803601300 0.642506877214 9 6 9 2 0321 2103 2310 0132 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 -1 1 0 0 0 0 -20 1 19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.554009930596 0.456517309140 11 3 10 5 0132 0132 3120 3012 0 0 0 0 0 0 0 0 0 0 -1 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 19 -19 0 -20 0 20 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.276251856950 0.757457252863 7 7 5 10 0321 3201 0132 2031 0 0 0 0 0 1 -1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -19 19 0 20 0 -20 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 1.094950726795 1.120796165048 6 9 8 11 0132 1302 3120 0321 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 19 0 -19 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.626685441681 1.555040239726 8 10 11 11 0132 0321 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.763767399498 0.657956447487 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0011_7']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : negation(d['c_0101_7']), 'c_1001_0' : d['c_0011_7'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : negation(d['c_0101_7']), 'c_1001_8' : d['c_0011_7'], 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : negation(d['c_0101_11']), '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' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(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' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0101_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_1100_5' : d['c_0101_11'], 'c_1100_4' : d['c_0101_0'], 'c_1100_7' : negation(d['c_0011_4']), 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_1' : d['c_0101_5'], 'c_1100_0' : d['c_0101_0'], 'c_1100_3' : d['c_0101_0'], 'c_1100_2' : negation(d['c_0011_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_11'], 'c_1100_10' : negation(d['c_0101_8']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_2'], 'c_1010_6' : negation(d['c_1001_2']), 'c_1010_5' : negation(d['c_0101_7']), 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : d['c_0011_7'], 'c_1010_2' : d['c_0011_7'], 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : negation(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'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_7'], 'c_0011_6' : negation(d['c_0011_10']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_11'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_8'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : negation(d['c_0011_11']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : negation(d['c_0101_10']), 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0101_8'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_7']), 'c_0110_8' : d['c_0101_11'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : negation(d['c_0101_7']), 'c_0110_4' : d['c_0011_11'], 'c_0110_7' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10']})} 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_4, c_0011_7, c_0101_0, c_0101_10, c_0101_11, c_0101_5, c_0101_7, c_0101_8, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 5500610867389086777187148115755593898710553/43208738706871481277574\ 82845577052604830160*c_1001_2^31 - 32063122362714347547591465054544245851529139/2160436935343574063878\ 741422788526302415080*c_1001_2^30 + 66958210903450877558471947680421004737173969/2160436935343574063878\ 741422788526302415080*c_1001_2^29 + 363410929937480334718000283263470079510646067/432087387068714812775\ 7482845577052604830160*c_1001_2^28 - 147707464928252032394444421677018931316915397/617267695812449732536\ 783263653864657832880*c_1001_2^27 - 1691337799241159101655621006509446633789992729/43208738706871481277\ 57482845577052604830160*c_1001_2^26 + 4598604364906034641392052540992800638047754779/43208738706871481277\ 57482845577052604830160*c_1001_2^25 + 6209118031188456608709443401479355639392689131/43208738706871481277\ 57482845577052604830160*c_1001_2^24 - 829710325835734060323766788610447449163550029/254169051216891066338\ 675461504532506166480*c_1001_2^23 - 4293817727248051946421183214977456370332588003/10802184676717870319\ 39370711394263151207540*c_1001_2^22 + 1139405517394369091889045107287449180841035771/15431692395311243313\ 4195815913466164458220*c_1001_2^21 + 36016055703473047277209511934930427706079217821/4320873870687148127\ 757482845577052604830160*c_1001_2^20 - 11877507806254173843776791543057934754607419989/8641747741374296255\ 51496569115410520966032*c_1001_2^19 - 27869939488630560540122091578658979286947148291/2160436935343574063\ 878741422788526302415080*c_1001_2^18 + 49074685474419772766953907569118499783021001519/2160436935343574063\ 878741422788526302415080*c_1001_2^17 + 68157750589768749354971264066408568189014783249/4320873870687148127\ 757482845577052604830160*c_1001_2^16 - 8816411409800462115694139435697607150001478939/25416905121689106633\ 8675461504532506166480*c_1001_2^15 - 7505654186642967287873450856038109553275799379/43208738706871481277\ 5748284557705260483016*c_1001_2^14 + 98642927311484404555315797939003527241680240721/2160436935343574063\ 878741422788526302415080*c_1001_2^13 + 139758048559754136942074248100839900818225649/726197289191117332396\ 2156042986643033328*c_1001_2^12 - 121404241177448497198864489866129\ 62387768231523/254169051216891066338675461504532506166480*c_1001_2^\ 11 - 16147078792275950454309387430640380456704379467/86417477413742\ 9625551496569115410520966032*c_1001_2^10 + 168819572200781373283780694025275323260257616317/432087387068714812\ 7757482845577052604830160*c_1001_2^9 + 54717658135632372121494086632650186701216791211/4320873870687148127\ 757482845577052604830160*c_1001_2^8 - 23243297749421958157757833709978351373207148045/8641747741374296255\ 51496569115410520966032*c_1001_2^7 - 6452672857969465354412329303660634217938294741/10802184676717870319\ 39370711394263151207540*c_1001_2^6 + 18210682684290638360790623137258582356790861979/1080218467671787031\ 939370711394263151207540*c_1001_2^5 + 14748032640437373510560985053443912127729101833/4320873870687148127\ 757482845577052604830160*c_1001_2^4 - 6967543808008512716611729966561013645851054953/86417477413742962555\ 1496569115410520966032*c_1001_2^3 - 1582815143809639787884393793044387617224424803/61726769581244973253\ 6783263653864657832880*c_1001_2^2 + 489462595144101233201432039269783753118330071/254169051216891066338\ 675461504532506166480*c_1001_2 + 3790959557885991773437194345556016\ 269048608869/4320873870687148127757482845577052604830160, c_0011_0 - 1, c_0011_10 - 36370155339178988721/22429433874798349946*c_1001_2^31 + 109689610019740990627/22429433874798349946*c_1001_2^30 + 218235020510612839055/22429433874798349946*c_1001_2^29 - 360581398438401326173/11214716937399174973*c_1001_2^28 - 1133023915360931016571/22429433874798349946*c_1001_2^27 + 1402379274001907196554/11214716937399174973*c_1001_2^26 + 4309197814754332452269/22429433874798349946*c_1001_2^25 - 3682621604328060274680/11214716937399174973*c_1001_2^24 - 11435874134765009790699/22429433874798349946*c_1001_2^23 + 14065732813244911436619/22429433874798349946*c_1001_2^22 + 21838902645055322171341/22429433874798349946*c_1001_2^21 - 11760213137549866015089/11214716937399174973*c_1001_2^20 - 30658284869288373091713/22429433874798349946*c_1001_2^19 + 38664204062015589253379/22429433874798349946*c_1001_2^18 + 37529764304421935973283/22429433874798349946*c_1001_2^17 - 29522273667018810165994/11214716937399174973*c_1001_2^16 - 47120411031182747478461/22429433874798349946*c_1001_2^15 + 69453669960765348315959/22429433874798349946*c_1001_2^14 + 54540855663288726828699/22429433874798349946*c_1001_2^13 - 28952153290617752121371/11214716937399174973*c_1001_2^12 - 45820792716423362234775/22429433874798349946*c_1001_2^11 + 19373626619379457099467/11214716937399174973*c_1001_2^10 + 26292771764819695598617/22429433874798349946*c_1001_2^9 - 13147219162298028703822/11214716937399174973*c_1001_2^8 - 15878022159499990594275/22429433874798349946*c_1001_2^7 + 14534751140341150021403/22429433874798349946*c_1001_2^6 + 11333624716690886578277/22429433874798349946*c_1001_2^5 - 1181726523432308618835/11214716937399174973*c_1001_2^4 - 4308377039104948280687/22429433874798349946*c_1001_2^3 - 525302247557531618135/11214716937399174973*c_1001_2^2 + 186129164085282051557/22429433874798349946*c_1001_2 + 48180281233010651525/11214716937399174973, c_0011_11 - 26983477128968312667/89717735499193399784*c_1001_2^31 - 30447053931732636019/89717735499193399784*c_1001_2^30 + 460946526401898208153/89717735499193399784*c_1001_2^29 + 128733214424181668397/44858867749596699892*c_1001_2^28 - 2872502311326310092597/89717735499193399784*c_1001_2^27 - 262850632026773074805/11214716937399174973*c_1001_2^26 + 10841049817806765422315/89717735499193399784*c_1001_2^25 + 2585979190967724602177/22429433874798349946*c_1001_2^24 - 27475813684118691387801/89717735499193399784*c_1001_2^23 - 30930002829316042504275/89717735499193399784*c_1001_2^22 + 50194157744124274006155/89717735499193399784*c_1001_2^21 + 30146922078900820655965/44858867749596699892*c_1001_2^20 - 78374262629609177364987/89717735499193399784*c_1001_2^19 - 82096683541209946693515/89717735499193399784*c_1001_2^18 + 125218513387803288827133/89717735499193399784*c_1001_2^17 + 24490590440665970275649/22429433874798349946*c_1001_2^16 - 190144805043206796980471/89717735499193399784*c_1001_2^15 - 132563983484139786251895/89717735499193399784*c_1001_2^14 + 218353507281727598253557/89717735499193399784*c_1001_2^13 + 82636471701450176197743/44858867749596699892*c_1001_2^12 - 170207761203820189080985/89717735499193399784*c_1001_2^11 - 69062888755819704109737/44858867749596699892*c_1001_2^10 + 106144808907848571314919/89717735499193399784*c_1001_2^9 + 9415753666987492976405/11214716937399174973*c_1001_2^8 - 75030097374322597298585/89717735499193399784*c_1001_2^7 - 47976524646668071537347/89717735499193399784*c_1001_2^6 + 40034351970069453223963/89717735499193399784*c_1001_2^5 + 18524828931964709264723/44858867749596699892*c_1001_2^4 - 1634299470810385909243/89717735499193399784*c_1001_2^3 - 5825188715129750266675/44858867749596699892*c_1001_2^2 - 5337723226444724028411/89717735499193399784*c_1001_2 - 206523329507836592005/22429433874798349946, c_0011_4 + 7686280586398620833/11214716937399174973*c_1001_2^31 - 19650114014002468702/11214716937399174973*c_1001_2^30 - 55956472814177942422/11214716937399174973*c_1001_2^29 + 130700721503880488019/11214716937399174973*c_1001_2^28 + 296690255755404624797/11214716937399174973*c_1001_2^27 - 471700155891253327241/11214716937399174973*c_1001_2^26 - 1109881389615216953539/11214716937399174973*c_1001_2^25 + 1095688779314519850399/11214716937399174973*c_1001_2^24 + 2847694331364561433195/11214716937399174973*c_1001_2^23 - 1776839197342304266000/11214716937399174973*c_1001_2^22 - 5211147076794020478730/11214716937399174973*c_1001_2^21 + 2739748064397898600029/11214716937399174973*c_1001_2^20 + 7269761841385599940661/11214716937399174973*c_1001_2^19 - 5002921739060483040638/11214716937399174973*c_1001_2^18 - 9381005837970855158880/11214716937399174973*c_1001_2^17 + 8150316240740360109713/11214716937399174973*c_1001_2^16 + 12506023154244537492065/11214716937399174973*c_1001_2^15 - 8566952023459070185103/11214716937399174973*c_1001_2^14 - 14061587378846908206897/11214716937399174973*c_1001_2^13 + 5014504032506334675304/11214716937399174973*c_1001_2^12 + 10703855213506185061963/11214716937399174973*c_1001_2^11 - 2259948503586475256294/11214716937399174973*c_1001_2^10 - 5754393289479711908709/11214716937399174973*c_1001_2^9 + 1935662113918636643720/11214716937399174973*c_1001_2^8 + 3826656475805141969939/11214716937399174973*c_1001_2^7 - 566097176637883033601/11214716937399174973*c_1001_2^6 - 2546988201919745949235/11214716937399174973*c_1001_2^5 - 1033251063564999243458/11214716937399174973*c_1001_2^4 + 440314563548531658193/11214716937399174973*c_1001_2^3 + 576355233629135148240/11214716937399174973*c_1001_2^2 + 206659426270857045024/11214716937399174973*c_1001_2 + 30645288737041236526/11214716937399174973, c_0011_7 + 36370155339178988721/44858867749596699892*c_1001_2^31 - 109689610019740990627/44858867749596699892*c_1001_2^30 - 218235020510612839055/44858867749596699892*c_1001_2^29 + 360581398438401326173/22429433874798349946*c_1001_2^28 + 1133023915360931016571/44858867749596699892*c_1001_2^27 - 701189637000953598277/11214716937399174973*c_1001_2^26 - 4309197814754332452269/44858867749596699892*c_1001_2^25 + 1841310802164030137340/11214716937399174973*c_1001_2^24 + 11435874134765009790699/44858867749596699892*c_1001_2^23 - 14065732813244911436619/44858867749596699892*c_1001_2^22 - 21838902645055322171341/44858867749596699892*c_1001_2^21 + 11760213137549866015089/22429433874798349946*c_1001_2^20 + 30658284869288373091713/44858867749596699892*c_1001_2^19 - 38664204062015589253379/44858867749596699892*c_1001_2^18 - 37529764304421935973283/44858867749596699892*c_1001_2^17 + 14761136833509405082997/11214716937399174973*c_1001_2^16 + 47120411031182747478461/44858867749596699892*c_1001_2^15 - 69453669960765348315959/44858867749596699892*c_1001_2^14 - 54540855663288726828699/44858867749596699892*c_1001_2^13 + 28952153290617752121371/22429433874798349946*c_1001_2^12 + 45820792716423362234775/44858867749596699892*c_1001_2^11 - 19373626619379457099467/22429433874798349946*c_1001_2^10 - 26292771764819695598617/44858867749596699892*c_1001_2^9 + 6573609581149014351911/11214716937399174973*c_1001_2^8 + 15878022159499990594275/44858867749596699892*c_1001_2^7 - 14534751140341150021403/44858867749596699892*c_1001_2^6 - 11333624716690886578277/44858867749596699892*c_1001_2^5 + 1181726523432308618835/22429433874798349946*c_1001_2^4 + 4285947605230149930741/44858867749596699892*c_1001_2^3 + 525302247557531618135/22429433874798349946*c_1001_2^2 - 163699730210483701611/44858867749596699892*c_1001_2 - 18482782147805738276/11214716937399174973, c_0101_0 + 47354766656702979677/44858867749596699892*c_1001_2^31 - 153048911287632929987/44858867749596699892*c_1001_2^30 - 288124065329028918379/44858867749596699892*c_1001_2^29 + 555846955632940816109/22429433874798349946*c_1001_2^28 + 1456304785222337227531/44858867749596699892*c_1001_2^27 - 1169979850569520085311/11214716937399174973*c_1001_2^26 - 5748956577454913779861/44858867749596699892*c_1001_2^25 + 3390644756704136031226/11214716937399174973*c_1001_2^24 + 16296178343773491771031/44858867749596699892*c_1001_2^23 - 28869170903956892676571/44858867749596699892*c_1001_2^22 - 33545778665781761010265/44858867749596699892*c_1001_2^21 + 25505666172894955985417/22429433874798349946*c_1001_2^20 + 50218266012959409709301/44858867749596699892*c_1001_2^19 - 82968013696996326405091/44858867749596699892*c_1001_2^18 - 60397579442989550914135/44858867749596699892*c_1001_2^17 + 31477946845888324679501/11214716937399174973*c_1001_2^16 + 70130099888326041819545/44858867749596699892*c_1001_2^15 - 160480576461552044343415/44858867749596699892*c_1001_2^14 - 81865346562835882773271/44858867749596699892*c_1001_2^13 + 78112082869546333312683/22429433874798349946*c_1001_2^12 + 77981937105048030954847/44858867749596699892*c_1001_2^11 - 58841926485315125008367/22429433874798349946*c_1001_2^10 - 50862815674151531476857/44858867749596699892*c_1001_2^9 + 19449200407866496258797/11214716937399174973*c_1001_2^8 + 26680356443346691819183/44858867749596699892*c_1001_2^7 - 46934021242911074718459/44858867749596699892*c_1001_2^6 - 18601813586699184415073/44858867749596699892*c_1001_2^5 + 9364021200465209459315/22429433874798349946*c_1001_2^4 + 11716787273359065267501/44858867749596699892*c_1001_2^3 - 921488601318981867437/22429433874798349946*c_1001_2^2 - 3120473667648251447835/44858867749596699892*c_1001_2 - 207901848774617656984/11214716937399174973, c_0101_10 + 12791193527144966458/11214716937399174973*c_1001_2^31 - 35712209840082157177/11214716937399174973*c_1001_2^30 - 82391324920835476397/11214716937399174973*c_1001_2^29 + 229016362989661704819/11214716937399174973*c_1001_2^28 + 430638784154422972190/11214716937399174973*c_1001_2^27 - 841756001737381545665/11214716937399174973*c_1001_2^26 - 1603912783597478510594/11214716937399174973*c_1001_2^25 + 2036190162717313460535/11214716937399174973*c_1001_2^24 + 4097418067909831628282/11214716937399174973*c_1001_2^23 - 3505546672170065282419/11214716937399174973*c_1001_2^22 - 7450263324451796956089/11214716937399174973*c_1001_2^21 + 5560114856000972367729/11214716937399174973*c_1001_2^20 + 10098017537568598488354/11214716937399174973*c_1001_2^19 - 9505265405779938373407/11214716937399174973*c_1001_2^18 - 12576306216271972169340/11214716937399174973*c_1001_2^17 + 14739022200336827443983/11214716937399174973*c_1001_2^16 + 16494228484773457664266/11214716937399174973*c_1001_2^15 - 15677281690313184215560/11214716937399174973*c_1001_2^14 - 18591536556952948098706/11214716937399174973*c_1001_2^13 + 10163118060912099157898/11214716937399174973*c_1001_2^12 + 13988636893813507242992/11214716937399174973*c_1001_2^11 - 5260582141817002555996/11214716937399174973*c_1001_2^10 - 7099396615983167869192/11214716937399174973*c_1001_2^9 + 3881005243045308245136/11214716937399174973*c_1001_2^8 + 4753876063564700445148/11214716937399174973*c_1001_2^7 - 1434008474477431820706/11214716937399174973*c_1001_2^6 - 3358775086016465460076/11214716937399174973*c_1001_2^5 - 1258381021556463158214/11214716937399174973*c_1001_2^4 + 611260011474573804948/11214716937399174973*c_1001_2^3 + 790880582555122145634/11214716937399174973*c_1001_2^2 + 302524588603575172680/11214716937399174973*c_1001_2 + 48781162939996921238/11214716937399174973, c_0101_11 + 22691417156600992765/89717735499193399784*c_1001_2^31 - 127953192935619815179/89717735499193399784*c_1001_2^30 + 13132129250736904625/89717735499193399784*c_1001_2^29 + 448581655778093465797/44858867749596699892*c_1001_2^28 - 286080598025085134461/89717735499193399784*c_1001_2^27 - 525033294422689065055/11214716937399174973*c_1001_2^26 + 907772951191477992451/89717735499193399784*c_1001_2^25 + 3493623892317073816173/22429433874798349946*c_1001_2^24 - 1092557519696247928753/89717735499193399784*c_1001_2^23 - 33569632052955834777547/89717735499193399784*c_1001_2^22 - 880406814693310372701/89717735499193399784*c_1001_2^21 + 30933033349794980859589/44858867749596699892*c_1001_2^20 + 455452747475319480253/89717735499193399784*c_1001_2^19 - 93250866795736343052995/89717735499193399784*c_1001_2^18 + 11761778923297599082197/89717735499193399784*c_1001_2^17 + 32445011059983287164207/22429433874798349946*c_1001_2^16 - 32483662840761745321719/89717735499193399784*c_1001_2^15 - 169717648142245845307391/89717735499193399784*c_1001_2^14 + 35517070786770529576533/89717735499193399784*c_1001_2^13 + 91878195267078177125131/44858867749596699892*c_1001_2^12 - 14929048288859796669401/89717735499193399784*c_1001_2^11 - 73310020602633646676697/44858867749596699892*c_1001_2^10 + 4686669233738986828455/89717735499193399784*c_1001_2^9 + 11257587407128740788363/11214716937399174973*c_1001_2^8 - 10078688107018025800745/89717735499193399784*c_1001_2^7 - 56279726421008440622635/89717735499193399784*c_1001_2^6 + 3013407999383182387235/89717735499193399784*c_1001_2^5 + 15738457845760191333031/44858867749596699892*c_1001_2^4 + 8928174838650349094277/89717735499193399784*c_1001_2^3 - 3531268337385756476711/44858867749596699892*c_1001_2^2 - 5176837582437174671595/89717735499193399784*c_1001_2 - 298297125313260951851/22429433874798349946, c_0101_5 + 96637037019013356573/89717735499193399784*c_1001_2^31 - 258968494498955582963/89717735499193399784*c_1001_2^30 - 617303229825006061079/89717735499193399784*c_1001_2^29 + 771927612765905608985/44858867749596699892*c_1001_2^28 + 3252878383988716632691/89717735499193399784*c_1001_2^27 - 649137259491293531326/11214716937399174973*c_1001_2^26 - 11897095492827446284141/89717735499193399784*c_1001_2^25 + 2701561801434296644711/22429433874798349946*c_1001_2^24 + 29140238427899423332751/89717735499193399784*c_1001_2^23 - 14098014072570854383395/89717735499193399784*c_1001_2^22 - 49860555023724899981845/89717735499193399784*c_1001_2^21 + 8818057340999544249985/44858867749596699892*c_1001_2^20 + 63387019487476984252685/89717735499193399784*c_1001_2^19 - 32498625409485064326387/89717735499193399784*c_1001_2^18 - 80148855660217445076587/89717735499193399784*c_1001_2^17 + 12947246062825764566159/22429433874798349946*c_1001_2^16 + 113453447786890091629769/89717735499193399784*c_1001_2^15 - 33109348921418664460759/89717735499193399784*c_1001_2^14 - 127614870933707982862315/89717735499193399784*c_1001_2^13 - 11242962485890238691233/44858867749596699892*c_1001_2^12 + 84423840892342323800167/89717735499193399784*c_1001_2^11 + 21739842044597026435023/44858867749596699892*c_1001_2^10 - 34620734271741844067865/89717735499193399784*c_1001_2^9 - 3067625539718837955469/11214716937399174973*c_1001_2^8 + 29606288628068426956583/89717735499193399784*c_1001_2^7 + 23890130299261781218525/89717735499193399784*c_1001_2^6 - 21666647559066630785045/89717735499193399784*c_1001_2^5 - 14404366154750708586717/44858867749596699892*c_1001_2^4 - 2492061408197666640939/89717735499193399784*c_1001_2^3 + 5046358281294681967245/44858867749596699892*c_1001_2^2 + 5659086643276631256053/89717735499193399784*c_1001_2 + 300357189240796177127/22429433874798349946, c_0101_7 + 23884325610616600931/89717735499193399784*c_1001_2^31 - 10463000736003803773/89717735499193399784*c_1001_2^30 - 284064728848151737737/89717735499193399784*c_1001_2^29 - 15919432388169441569/44858867749596699892*c_1001_2^28 + 1716322458547521251789/89717735499193399784*c_1001_2^27 + 114344359962910429096/11214716937399174973*c_1001_2^26 - 6312714935174162854531/89717735499193399784*c_1001_2^25 - 1396520394328553786891/22429433874798349946*c_1001_2^24 + 15339205385179006478625/89717735499193399784*c_1001_2^23 + 17991719606341621373267/89717735499193399784*c_1001_2^22 - 26501985323236008253579/89717735499193399784*c_1001_2^21 - 17969072766368870391337/44858867749596699892*c_1001_2^20 + 39111181445730378513747/89717735499193399784*c_1001_2^19 + 50379975793849643470235/89717735499193399784*c_1001_2^18 - 63084334845590150257565/89717735499193399784*c_1001_2^17 - 15959700263208525732973/22429433874798349946*c_1001_2^16 + 99020512786036067740375/89717735499193399784*c_1001_2^15 + 91726661104224268605271/89717735499193399784*c_1001_2^14 - 113320411655924478190893/89717735499193399784*c_1001_2^13 - 58301578931802552944019/44858867749596699892*c_1001_2^12 + 84079690066604253641281/89717735499193399784*c_1001_2^11 + 49464672803947086184541/44858867749596699892*c_1001_2^10 - 50621533160195421359215/89717735499193399784*c_1001_2^9 - 7150816956538827835816/11214716937399174973*c_1001_2^8 + 38987387107050707817961/89717735499193399784*c_1001_2^7 + 37224796704766450193939/89717735499193399784*c_1001_2^6 - 20869762077246206460643/89717735499193399784*c_1001_2^5 - 13249827472362367711855/44858867749596699892*c_1001_2^4 - 1087881515286652207365/89717735499193399784*c_1001_2^3 + 3816785012492323198095/44858867749596699892*c_1001_2^2 + 3825568964628784891899/89717735499193399784*c_1001_2 + 158734619135730463553/22429433874798349946, c_0101_8 + 17331826501705763487/89717735499193399784*c_1001_2^31 + 28467262777079511559/89717735499193399784*c_1001_2^30 - 297906094375636039573/89717735499193399784*c_1001_2^29 - 143621238164702410257/44858867749596699892*c_1001_2^28 + 1855263403587072486257/89717735499193399784*c_1001_2^27 + 260636572895421148435/11214716937399174973*c_1001_2^26 - 6815058588530916340175/89717735499193399784*c_1001_2^25 - 2352188366902799220857/22429433874798349946*c_1001_2^24 + 16415557556789235682981/89717735499193399784*c_1001_2^23 + 27000505190734015805319/89717735499193399784*c_1001_2^22 - 28074137872577074889823/89717735499193399784*c_1001_2^21 - 26119067110444019591057/44858867749596699892*c_1001_2^20 + 42453037287172730950967/89717735499193399784*c_1001_2^19 + 74221231730353249741583/89717735499193399784*c_1001_2^18 - 71482224403578239737921/89717735499193399784*c_1001_2^17 - 23982604141900943639125/22429433874798349946*c_1001_2^16 + 114361260450338914605923/89717735499193399784*c_1001_2^15 + 132229920346656599781803/89717735499193399784*c_1001_2^14 - 130057653304004760605609/89717735499193399784*c_1001_2^13 - 79490454167716786357755/44858867749596699892*c_1001_2^12 + 94924095203942469177317/89717735499193399784*c_1001_2^11 + 65777256024817561729117/44858867749596699892*c_1001_2^10 - 56954145232451927312363/89717735499193399784*c_1001_2^9 - 9537455680448804060235/11214716937399174973*c_1001_2^8 + 44011285323427045708845/89717735499193399784*c_1001_2^7 + 48903806078006624614791/89717735499193399784*c_1001_2^6 - 22670255542971164088263/89717735499193399784*c_1001_2^5 - 16521587752217980938943/44858867749596699892*c_1001_2^4 - 2803088752719273120913/89717735499193399784*c_1001_2^3 + 4567218208988030147647/44858867749596699892*c_1001_2^2 + 4981944668853224697087/89717735499193399784*c_1001_2 + 229293374300422092369/22429433874798349946, c_1001_2^32 - 3*c_1001_2^31 - 7*c_1001_2^30 + 22*c_1001_2^29 + 39*c_1001_2^28 - 92*c_1001_2^27 - 161*c_1001_2^26 + 256*c_1001_2^25 + 475*c_1001_2^24 - 507*c_1001_2^23 - 1021*c_1001_2^22 + 830*c_1001_2^21 + 1641*c_1001_2^20 - 1339*c_1001_2^19 - 2211*c_1001_2^18 + 2176*c_1001_2^17 + 2893*c_1001_2^16 - 2903*c_1001_2^15 - 3651*c_1001_2^14 + 2722*c_1001_2^13 + 3723*c_1001_2^12 - 1806*c_1001_2^11 - 2741*c_1001_2^10 + 1124*c_1001_2^9 + 1651*c_1001_2^8 - 763*c_1001_2^7 - 1077*c_1001_2^6 + 242*c_1001_2^5 + 593*c_1001_2^4 + 118*c_1001_2^3 - 127*c_1001_2^2 - 80*c_1001_2 - 16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.870 Total time: 1.080 seconds, Total memory usage: 32.09MB