Magma V2.19-8 Tue Aug 20 2013 23:46:42 on localhost [Seed = 543574531] Type ? for help. Type -D to quit. Loading file "K14n24826__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n24826 geometric_solution 11.13028774 oriented_manifold CS_known 0.0000000000000004 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 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 -1 1 0 0 0 -8 8 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.556733345698 0.711828036347 0 5 7 6 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 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.616922635774 0.554061282062 3 0 8 6 0213 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 1 0 -1 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.546315791834 0.826322518351 2 9 7 0 0213 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 -1 0 -7 8 -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.708283418439 0.650924988283 8 9 0 10 0213 1302 0132 0132 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 8 0 -8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.290948504867 0.947504673571 6 1 9 11 3201 0132 1023 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745581247520 0.366188456572 2 10 1 5 3201 2103 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.944977977383 0.681362360255 11 8 3 1 3201 3201 3120 0132 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 -7 0 7 0 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.919589245727 0.767119570965 4 11 7 2 0213 3120 2310 0132 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 -1 1 0 0 -1 1 -8 7 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.686106996579 0.574359587945 10 3 5 4 0213 0132 1023 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.100923506051 0.716150713764 9 6 4 11 0213 2103 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.011006498481 1.170502455783 10 8 5 7 3012 3120 0132 2310 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 -7 0 7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.946724573564 0.668741643056 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_5']), 'c_1001_11' : d['c_1001_1'], 'c_1001_10' : d['c_0011_6'], 'c_1001_5' : d['c_0011_10'], 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : d['c_0011_10'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0101_5'], 'c_1001_3' : d['c_0011_4'], 'c_1001_2' : negation(d['c_0011_11']), 'c_1001_9' : d['c_0101_5'], 'c_1001_8' : negation(d['c_1001_1']), 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : d['c_0101_11'], 's_3_11' : 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' : negation(d['c_0011_3']), 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_0011_6'], 'c_1100_5' : d['c_0011_6'], 'c_1100_4' : negation(d['c_0101_7']), 'c_1100_7' : d['c_0011_0'], 'c_1100_6' : d['c_0011_0'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0101_7']), 'c_1100_3' : negation(d['c_0101_7']), 'c_1100_2' : d['c_0011_6'], 's_0_10' : d['1'], 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : negation(d['c_0101_7']), 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0101_11']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0011_6'], 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : d['c_0101_5'], 'c_1010_1' : d['c_0011_10'], 'c_1010_0' : negation(d['c_0011_11']), 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0011_11']), '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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_6'], '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_0101_7']), 'c_0110_10' : d['c_0011_11'], 'c_0110_0' : d['c_0011_8'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0011_8'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0011_4'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0011_3'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_6']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_0']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_3']), 'c_0110_7' : d['c_0011_8'], '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_3, c_0011_4, c_0011_6, c_0011_8, c_0101_0, c_0101_11, c_0101_5, c_0101_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t - 20153116033156443144103328911715516597398243999231921496653129368/4\ 76816845637034609333151848840153625277026619421125889200249520371*c\ _1001_1^17 - 178730809637418339943616690280823995711545927642834491\ 017991182445/476816845637034609333151848840153625277026619421125889\ 200249520371*c_1001_1^16 - 1675465836163101407862698228512835579175\ 227068395643183570418830909/476816845637034609333151848840153625277\ 026619421125889200249520371*c_1001_1^15 - 1875729183417623889696380000356538596160633556138377775168128925389\ 5/47681684563703460933315184884015362527702661942112588920024952037\ 1*c_1001_1^14 - 381415748747974119410049637080161215180262946162989\ 88274709833398649/4768168456370346093331518488401536252770266194211\ 25889200249520371*c_1001_1^13 + 12615308238951337909726747581763076\ 936075747229462637334721158845948/476816845637034609333151848840153\ 625277026619421125889200249520371*c_1001_1^12 + 3673853486681599111507052335433000237185706682323817182071412960090\ 2/47681684563703460933315184884015362527702661942112588920024952037\ 1*c_1001_1^11 + 450962264919031368479043317737468960070775811797330\ 90579763070293696/4768168456370346093331518488401536252770266194211\ 25889200249520371*c_1001_1^10 + 32478311980301361098842758061758060\ 2962820953671385718033154567765468/47681684563703460933315184884015\ 3625277026619421125889200249520371*c_1001_1^9 + 4975112892521378379055928283939797863708646817749488352905518835843\ 88/4768168456370346093331518488401536252770266194211258892002495203\ 71*c_1001_1^8 + 673715347852624646794713514123345926382427452318203\ 452523376024206122/476816845637034609333151848840153625277026619421\ 125889200249520371*c_1001_1^7 + 71207704561010021275402762241595474\ 5407419931720359332566505250361075/47681684563703460933315184884015\ 3625277026619421125889200249520371*c_1001_1^6 + 6558101311472628881479884576489453600090603011185107425213878721241\ 93/4768168456370346093331518488401536252770266194211258892002495203\ 71*c_1001_1^5 + 390357982221513958845488825295749347308042091388604\ 350775844197203691/476816845637034609333151848840153625277026619421\ 125889200249520371*c_1001_1^4 + 20230435649596208535041225101582386\ 7462398329460958070293155470588408/47681684563703460933315184884015\ 3625277026619421125889200249520371*c_1001_1^3 + 1062780767772538165973030276888027224247990181956190760579628623321\ 6/47681684563703460933315184884015362527702661942112588920024952037\ 1*c_1001_1^2 - 1207881294530746572414672340939402655454278426553007\ 133103756681088/280480497433549770195971675788325661927662717306544\ 64070602912963*c_1001_1 - 42989665462453850594392479767114315678453\ 94119259374497338532097063/4768168456370346093331518488401536252770\ 26619421125889200249520371, c_0011_0 - 1, c_0011_10 - 2968772407272539714630610102151086393957774444140817321/676\ 701994656328994272504693485838952419095916676786590151*c_1001_1^17 - 31686837087259894504445661152848776841482843855883229112/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 - 294588242230172956922797213841729339364008435306863044581/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 - 3204179522434404554007297133740350180284478485514078994795/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 - 10564445191293180467346353018028023057198361459541876475481/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 - 7943401000531049080418136014074544884211818060270705753538/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 + 14704406133100267014181677100361482545762968698952766046007/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 + 4510898588294419760183727081567157248555971326332738241369/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 + 56510754056189323480037124867795594386506149437317570007804/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 + 131021095432825671387195706562747018341622350202734004289881/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 + 210344116119565608918829353176022670387628216765608385403602/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 + 199994640933146570393104123421389022777466204542163363109043/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 + 115050433511342915506982389398005633807837777165629811253962/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 + 27352597822007160050918904103007611804055922880968695663898/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 - 8277278119759752489184145546322962123874708559959599708360/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^3 - 1940867268583570044169424698332945242005229159712480337760/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 + 7587057128340028463183290607916755125956953178360496228645/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1 + 2867110847488567652091509215712649152481866358321485177288/67670199\ 4656328994272504693485838952419095916676786590151, c_0011_11 + 4312964157985061229520839341564815788633061591655019585/676\ 701994656328994272504693485838952419095916676786590151*c_1001_1^17 + 44737078352677635126102360111736233855223375586700270904/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 + 415267492770341660620566075297249707865926223080944146008/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 + 4537377426166510418421350730138414689391412340685731965547/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 + 14050556759714295466843767175974250593898988786697554081509/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 + 8056810247609813986377972851237988920176031808037336101849/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 - 21845368278993247178835806481766927697242589897781234514868/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 - 5631638952051268433391067934063683449011138530470388238185/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 - 74476703524307521557231769469669729000021881565628809630611/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 - 171523692945411429773980621443617903012217749349399105774247/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 - 263445894538200181009019147764819528497367985021922905931727/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 - 234768030852732707796684939361383721635838012477346142055945/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 - 123678413586850238030909613605987776094971413960822998943522/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 - 19921411762999609303897854547772439156004241626032285461791/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 + 12280280634882661420379723745188276137573129050002385042061/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^3 + 1118442446696383439459638822005203676299699307125871032115/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 - 10143619752913608693285721647360720941491299333727336015203/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1 - 3110856620040122076235175178767469045462168909742875069400/67670199\ 4656328994272504693485838952419095916676786590151, c_0011_3 + 5767705811479559771024586644576290255812355235239173426/6767\ 01994656328994272504693485838952419095916676786590151*c_1001_1^17 + 59345083173468341616494828531531309093978122055152472304/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 + 550220786503485674781448285743040604510830544466615334727/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 + 6020637829202100878348978333244567369362454994625779391598/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 + 18275642936174981757032947751458762454679287543530428473383/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 + 9117230147348210462841504008058744175869070816996272125358/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 - 30089483118768755300531846150305513521449582220219816895463/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 - 7077453490673646127906001231896955037814035304211372217492/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 - 94961402137180807979577567903253113598088429159280824392117/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 - 222116826713036865480396175849634555611631966053284570284839/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 - 332393480355132995833553351905345340584651982981119057223965/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 - 284984992705615398310007550402449003439583698157972999189431/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 - 143625176610392540369027815358255284203591858086081526357265/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 - 18365506822971657799166574784680856694312075699514393891875/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 + 15330824736513559652110882809384373296585040992308588741582/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^3 - 2297916544846758207979508880893281218138315383742656001130/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 - 13279835203400530071419196460846377562928764280581317129290/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1 - 2415377196218932892847582874256777440485235233951865896787/67670199\ 4656328994272504693485838952419095916676786590151, c_0011_4 + 97730372414260022317590017979361529740459730643256857/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^17 + 150569297291299137927584524617729752852207189208436475/676701994656\ 328994272504693485838952419095916676786590151*c_1001_1^16 + 720667819994480599752932372417070015462367273488992487/676701994656\ 328994272504693485838952419095916676786590151*c_1001_1^15 + 22557966944850617474667133759576759774830709887660906583/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^14 - 563412820471456933017272038370232744950582055765620071019/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^13 - 2343569318705688639891867140213952371249771592632554737645/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 - 1155549536838038687993278456423507545210172178003592117682/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^11 + 578838606516997119678353795781336956875230393897696102167/966717135\ 22332713467500670497976993202727988096683798593*c_1001_1^10 + 4502399223222919993729501129736871214671631403569576752072/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^9 + 8483559843617231558165071769255538718971475841775922812344/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^8 + 24038111767106126990484273778583544659093519442708692373246/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^7 + 35539850330677235198234008432523967730259353977534470138921/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^6 + 27266356011693181459705976707072212607337154682607031617143/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^5 + 9847326343540978334179195595650731010429539523389076398756/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^4 - 2977575427135379387117057507995142558455714778912782495410/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^3 - 3593722595341699498061281908414088145848369504818027346941/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 + 1050545164373312857575837668973023673667724431403366579046/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1 + 1246638545064968080389725177651595807418607227613755632019/67670199\ 4656328994272504693485838952419095916676786590151, c_0011_6 + 3331260351356354342335923155636727780698725513652762337/6767\ 01994656328994272504693485838952419095916676786590151*c_1001_1^17 + 34040817381564599586652203913105458624483320752188266398/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 + 315979549773899110032272700613925977945382118190902368146/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 + 3460292295712442659747286676692580226014332212983266990764/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 + 10359763462484800291492082702989721985814453224364626020968/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 + 5079346999514234330216652452161514395964116019639663827234/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 - 16666300313605328674471583900077621195929485365288473825833/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 - 4061529254553209664212518312600750162707674272401727783114/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 - 55438158821019030240719702156821355222350196069918058229135/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 - 125275607755338328545360556755965024316501042590750046613912/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 - 189612619413152942396126849922829930551296404353851889472275/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 - 163692422378584451008802218821813582637360302281108935528251/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 - 82562964286200547448537055548298054918329650509975400843869/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^5 - 7774785806658370396278643492107544290168044380640984655534/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^4 + 10250591968195082120080147073580547511570099063623369058910/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^3 + 692270519481622729904264430526542292858095142853053800827/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^2 - 8334233496876078466953215718004147750326330967218019624293/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1 - 1410525736447868595326557809414762614621484408114821390261/67670199\ 4656328994272504693485838952419095916676786590151, c_0011_8 - 3072455209901596890632191619315010631875746601932153865/6767\ 01994656328994272504693485838952419095916676786590151*c_1001_1^17 - 31847376835704288731364201213276394197559855067623907777/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 - 295500359129459797675447737745244760003670903146457326341/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 - 3229366221884207956215025546416573952855390896623812957748/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 - 9978366920736716797166409029831091789611082827723422202944/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^13 - 5582188448263719764389636805689225858650847912300911016247/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 + 15740477816497729993507442983021939353609634129900452929233/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 + 3960293811294329088132946547656914692997774003440873880899/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 + 52478123442723394627541390186922472383042760478238144264133/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 + 121939675315555108118079170249793224406286209321310703226918/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 + 185852603250820054286918341462679451408798944269595008878820/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 + 164041961610892056782196322117558733032726581553491512983180/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 + 86185180797601960736390506446625037870844242875880130645121/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^5 + 14221490235162602405058619271921030761850923160227118100945/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 - 9185184550199311508002350114511464269570207130106889076706/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^3 - 544251771091488356789196036956258632115911928886771868465/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^2 + 7540931634028570793273124627768313838384031105265011821033/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1 + 1898162667024247287685607560442045679255283601737849582457/67670199\ 4656328994272504693485838952419095916676786590151, c_0101_0 - 11602043472436016009337320277160099816112149008451990131/676\ 701994656328994272504693485838952419095916676786590151*c_1001_1^17 - 120229352845879015338551859310813627064767327964887782023/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^16 - 1116355279884279164016905477291516405786217332892865385781/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^15 - 12198913002775270301370933319444043263382082524677806834695/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^14 - 37715179843028415241024870356820367000586469745424026336504/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 - 21740587647771914186893969432024808721357061713830811752418/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^12 + 57974792846330653577509122775666762156993708888807530724853/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 + 15100756426530946825543830865281937016170602022129773038946/9667171\ 3522332713467500670497976993202727988096683798593*c_1001_1^10 + 201189479280429616635641668571721758857735977554469416461711/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^9 + 461486413860762635247602088585429308097972229424385253476147/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 + 710294215036967015174590472578783819664471883329754951149128/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 + 635899073850314233955710621155999347457102104499364928568567/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 + 341964670178540875087895165992793562416453163649122073291275/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 + 60086197339703390201606798385997715748605689766064060980936/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 - 30637129888404752605267443122944499622481990202697169375411/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^3 - 3235361632268919607892738315666856187874617696919156289299/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 + 27439026271541982931029231671799694401219261509188167125544/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1 + 6974153546013829788291986828429474216350981068827740791224/67670199\ 4656328994272504693485838952419095916676786590151, c_0101_11 + 4917587489185578476871896824422697503849727543263910485/676\ 701994656328994272504693485838952419095916676786590151*c_1001_1^17 + 50697708579615192248379663848170814335483375582563184904/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 + 470658029441499232327810777523679035953487490033262743327/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 + 5147290324981038304684297858970398135388538996080440070068/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 + 15728037457834021151929171446719927164806728615825391133712/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 + 8560635493143551537218167493099174483977943874750131871632/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 - 24561473776024309019870176174495921916599003413595109706724/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 - 6223165325865460136451142543926558261975273338611944914831/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 - 84062803534557027591031236457305719522025447220245154762420/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 - 192092742662400134325061736786453569266779023706208354094057/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 - 292916253978376240462665722461742412243234839738830826915527/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 - 259196700943008011056816451394781329231896445590924782751136/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 - 137734681010146092301105393612680166489655421521638112150914/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 - 21252523922430508731717785584905392198181609633103859363492/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 + 14497144219733734191875140466616998937537707688645608749109/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^3 + 2044642599892357404969191104446722102059057423086348335275/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 - 11583884833138463919971297352560568896988680243795012948829/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1 - 2597993794437685600377029922351561713966763325034792283420/67670199\ 4656328994272504693485838952419095916676786590151, c_0101_5 - 1870697666215342556770081938143719383768675133798574403/6767\ 01994656328994272504693485838952419095916676786590151*c_1001_1^17 - 20917735161145073319006732924431662308683385288186901937/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 - 195500956042160247700523504328291489212884205738611206223/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 - 2110165322513192857120895241469892994992373250261066416580/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 - 7653415423446899322961169216184815369840346076492073494231/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^13 - 8067628415558654016565848874644077336310010439837585085235/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 + 7962210670708234200103682239398068041808077328488460790857/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^11 + 3688008713958800980719243281519332040895207202077993974303/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 + 43736920889674917762719189595979926685197677472025673642918/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 + 96410102250733685199550187210236880755524930381282825972938/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^8 + 169154758244647370206781894260015687567646501459981827548540/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 + 178437084651590473186073115158482218577113086217187404533871/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 + 111335521357361323721137030761079473450463358967645252272875/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 + 32003566123172317922913363731309984217225385271324460450338/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 - 6124729429575153356450988580492062638830972395230294334845/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^3 - 4625148698505936284461614892388730679989146295821855881275/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 + 6520665132204136819698822797497285036185731177892582236357/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1 + 3974087767956938375574072554374093606012698704415317165110/67670199\ 4656328994272504693485838952419095916676786590151, c_0101_7 + 2986116256587282062906529682384721105954606800609016574/6767\ 01994656328994272504693485838952419095916676786590151*c_1001_1^17 + 31337161807724145880311700267850018273234866501766015251/6767019946\ 56328994272504693485838952419095916676786590151*c_1001_1^16 + 291203469545385660820242526140206528858257186254134670987/676701994\ 656328994272504693485838952419095916676786590151*c_1001_1^15 + 3175784877873125363074968401062475512866559218752845909186/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^14 + 10103658479045007423577572666479666665726298553513543749676/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^13 + 6690240087494136089375653000998722980992321975401028113025/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^12 - 14585238706890818759733487665249656237133379469046682284669/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^11 - 4162811278756053839277314890516944886029227559727036418654/96671713\ 522332713467500670497976993202727988096683798593*c_1001_1^10 - 54847229400558243252518282314633946956032681861351217517880/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^9 - 124591330986912827085211796423425191477580524067138323059498/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^8 - 195406403388071274266067802270040534169838555819295221980235/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^7 - 183204470406376143394494358005584384878611849339154055220633/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^6 - 102185255750538346531792184806760391380247754484950007180540/676701\ 994656328994272504693485838952419095916676786590151*c_1001_1^5 - 20883396721078950223546021808956992924123113784087931154264/6767019\ 94656328994272504693485838952419095916676786590151*c_1001_1^4 + 9087954445913327139523243755648398577597794064948202468940/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^3 + 1820378384247169503037040873546015974580006001586732503603/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1^2 - 6466427883994549337367150258803269108675108761264190178633/67670199\ 4656328994272504693485838952419095916676786590151*c_1001_1 - 3577669119231438741419388274075611655389524619868906714141/67670199\ 4656328994272504693485838952419095916676786590151, c_1001_1^18 + 32/3*c_1001_1^17 + 298/3*c_1001_1^16 + 3241/3*c_1001_1^15 + 3567*c_1001_1^14 + 8477/3*c_1001_1^13 - 13564/3*c_1001_1^12 - 31900/3*c_1001_1^11 - 19932*c_1001_1^10 - 44856*c_1001_1^9 - 218380/3*c_1001_1^8 - 216830/3*c_1001_1^7 - 44682*c_1001_1^6 - 39098/3*c_1001_1^5 + 1568*c_1001_1^4 + 3310/3*c_1001_1^3 - 2321*c_1001_1^2 - 3877/3*c_1001_1 - 571/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 1.160 Total time: 1.370 seconds, Total memory usage: 64.12MB