Magma V2.19-8 Wed Aug 21 2013 01:04:02 on localhost [Seed = 2547093440] Type ? for help. Type -D to quit. Loading file "L14n23985__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n23985 geometric_solution 11.48406484 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 1230 0 1 1 1 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 -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 1.047620074439 0.576834484801 0 4 6 5 0132 0132 0132 0132 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 0 0 0 0 0 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.403307769574 0.240769668967 0 0 8 7 3012 0132 0132 0132 0 0 1 1 0 0 1 -1 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 -3 2 -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.142147059714 1.721864716146 5 5 7 0 0132 2310 2310 0132 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 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.682473123719 0.507351271575 9 1 8 8 0132 0132 0213 1230 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 0 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 0 0 0.685223665034 0.947563470516 3 10 1 3 0132 0132 0132 3201 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.009921279704 1.324678637436 9 8 10 1 1230 1230 3201 0132 0 1 1 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 -1 1 1 0 0 -1 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.989535000192 1.373998129335 11 3 2 12 0132 3201 0132 0132 0 0 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 -2 2 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.409962727039 0.455643693129 4 4 6 2 3012 0213 3012 0132 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 0 0 0 0 -3 3 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.685223665034 0.947563470516 4 6 11 11 0132 3012 1230 3201 0 1 1 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 0 0 0 0 0 0 0 3 -3 0 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.154970233783 0.866038326489 6 5 12 11 2310 0132 2031 1302 0 0 1 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 -2 2 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.453449200757 0.710099842555 7 9 10 9 0132 2310 2031 3012 1 0 1 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 -2 3 -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.445785949744 0.415569678387 12 12 7 10 1302 2031 0132 1302 0 0 0 0 0 -1 1 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 2 -2 0 0 0 0 0 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.238010259495 0.859379783299 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_6'], 'c_1001_10' : negation(d['c_0110_12']), 'c_1001_12' : negation(d['c_0110_12']), 'c_1001_5' : negation(d['c_0011_6']), 'c_1001_4' : negation(d['c_0011_6']), 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : negation(d['c_0101_10']), 'c_1001_1' : d['c_0101_8'], 'c_1001_0' : negation(d['c_0101_3']), 'c_1001_3' : d['c_0110_12'], 'c_1001_2' : d['c_0101_2'], 'c_1001_9' : negation(d['c_0011_6']), 'c_1001_8' : negation(d['c_0011_6']), 'c_1010_12' : d['c_0011_12'], 'c_1010_11' : negation(d['c_0011_8']), 'c_1010_10' : negation(d['c_0011_6']), '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'], 's_2_9' : d['1'], 'c_0101_11' : negation(d['c_0011_12']), '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' : 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_1100_8' : d['c_0101_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_0101_2'], 'c_1100_7' : d['c_0101_10'], 'c_1100_6' : negation(d['c_0011_10']), 'c_1100_1' : negation(d['c_0011_10']), 'c_1100_0' : negation(d['c_0011_11']), 'c_1100_3' : negation(d['c_0011_11']), 'c_1100_2' : d['c_0101_10'], 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0011_11']), 'c_1100_11' : d['c_0011_6'], 'c_1100_10' : negation(d['c_0011_12']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_12']), 'c_1010_6' : d['c_0101_8'], 'c_1010_5' : negation(d['c_0110_12']), 'c_1010_4' : d['c_0101_8'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : negation(d['c_0101_3']), 'c_1010_1' : negation(d['c_0011_6']), 'c_1010_0' : d['c_0101_2'], 'c_1010_9' : negation(d['c_0101_6']), 'c_1010_8' : d['c_0101_2'], '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_0101_10'], '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_0']), '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_11']), '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_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_11']), 'c_0110_10' : negation(d['c_0101_6']), 'c_0110_12' : d['c_0110_12'], 'c_0101_12' : negation(d['c_0011_12']), 'c_0101_7' : negation(d['c_0011_11']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_8'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_8'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0011_11']), 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : negation(d['c_0011_12']), 'c_0110_6' : negation(d['c_0011_0'])})} 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_12, c_0011_6, c_0011_8, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_6, c_0101_8, c_0110_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 1263409840456995035440329897567503650017375244996614773956504/24559\ 4679355764474579132325863350547751393962175799124549589*c_0110_12^1\ 7 + 30721951268014247988826918718267999602255635442077191250369384/\ 245594679355764474579132325863350547751393962175799124549589*c_0110\ _12^16 + 5445517266912367849760615366842816571136502119539568698063\ 52/448984788584578564130040815106673761885546548767457266087*c_0110\ _12^15 + 1908954223111525048464785393535277110247034392372720750426\ 26518/35084954193680639225590332266192935393056280310828446364227*c\ _0110_12^14 + 23809692962503045091531319774854123833424752388932185\ 51480329903/2455946793557644745791323258633505477513939621757991245\ 49589*c_0110_12^13 + 1704020774539186104126169405258429636847348664\ 28562473250889713/3508495419368063922559033226619293539305628031082\ 8446364227*c_0110_12^12 + 62583989876192022739560446099690785723827\ 222600118031182866426815/196475743484611579663305860690680438201115\ 1697406392996396712*c_0110_12^11 - 9843259379008312920519877670203031606169195568452145188004455905/19\ 64757434846115796633058606906804382011151697406392996396712*c_0110_\ 12^10 + 23482026277342236439709615426108806278127711541370475325324\ 11805/70169908387361278451180664532385870786112560621656892728454*c\ _0110_12^9 - 775772030721195192379193093123188594829406148265492036\ 086900227/491189358711528949158264651726701095502787924351598249099\ 178*c_0110_12^8 + 1068629582529686299174531253293318893544860114976\ 6784476233166087/98237871742305789831652930345340219100557584870319\ 6498198356*c_0110_12^7 + 288493777355188607911043558308472622092155\ 2359523766290403960817/98237871742305789831652930345340219100557584\ 8703196498198356*c_0110_12^6 + 221254096513270984754186296223881644\ 572916796706991692075217143/491189358711528949158264651726701095502\ 787924351598249099178*c_0110_12^5 + 1551936515317386235439066049769383593398161757523465061954875853/98\ 2378717423057898316529303453402191005575848703196498198356*c_0110_1\ 2^4 - 8408857280441468796252978226234453534006452747189317500556388\ 37/982378717423057898316529303453402191005575848703196498198356*c_0\ 110_12^3 + 11052108786331598966036768119588174872333382001270379780\ 9925979/14033981677472255690236132906477174157222512124331378545690\ 8*c_0110_12^2 - 382771020754517277063184048980815050257245378604070\ 793252830357/196475743484611579663305860690680438201115169740639299\ 6396712*c_0110_12 + 89313334204176046521572187876331015512114288508\ 580495975290191/196475743484611579663305860690680438201115169740639\ 2996396712, c_0011_0 - 1, c_0011_10 - 1039038889733591476158911284094321680719336733840/184248028\ 68192538918085693612273797310472101632963*c_0110_12^17 - 26325204155825104684474625046007418961883136128832/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 - 495302088100135800150301507804127766183741871948/336833690460558298\ 31966533112017910988065999329*c_0110_12^15 - 1353865497720611989079667622939759343652499500887096/18424802868192\ 538918085693612273797310472101632963*c_0110_12^14 - 3132157105882037517173268215274314963285383685615423/18424802868192\ 538918085693612273797310472101632963*c_0110_12^13 - 3247976428567570474099420556982885631540880338599601/18424802868192\ 538918085693612273797310472101632963*c_0110_12^12 - 8061130544132459401501175042434772741714437842270973/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 - 6134856757644741587641044992729982943774985770264749/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 - 7070076767284105432154297826259720911643367252684045/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 - 7733622985389575608658750061792470208071931627657351/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 - 2640523121717576467536690740493752145110224740126975/18424802868192\ 538918085693612273797310472101632963*c_0110_12^7 - 4050121542106769002796450289861635994566221942490025/18424802868192\ 538918085693612273797310472101632963*c_0110_12^6 - 837399092148267022443990034636048099532047510627724/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 - 749032870309065065171181661132785108595709191828753/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 - 166340823413972540828986443532801011233872376172989/184248028681925\ 38918085693612273797310472101632963*c_0110_12^3 - 66069106237874981855328079714470099613383252037295/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 - 25724503532541942264329105897755969915803548692356/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 - 15935237749176255786666435018106093010848713415375/1842480286819253\ 8918085693612273797310472101632963, c_0011_11 - 591219902701318919583409472236443229030630865152/1842480286\ 8192538918085693612273797310472101632963*c_0110_12^17 - 15162201629561095768507913561979090371465719990720/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 - 289653991458780067215195006763247332615031019840/336833690460558298\ 31966533112017910988065999329*c_0110_12^15 - 809359195231020565242286450293002826061476808863536/184248028681925\ 38918085693612273797310472101632963*c_0110_12^14 - 1935520535831372815645551694196690788652258578496608/18424802868192\ 538918085693612273797310472101632963*c_0110_12^13 - 2012057392019008673152444309265061134821829005478788/18424802868192\ 538918085693612273797310472101632963*c_0110_12^12 - 4437981029720158337594114967775146662665299139464592/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 - 4481873509212991291603828709405467958172390004887248/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 - 2857992642247178809676278566836337814816468215715245/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 - 5782321007596163505149068866331984887670283332718701/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 - 538909613627321640097407761259029147813468545298423/184248028681925\ 38918085693612273797310472101632963*c_0110_12^7 - 2838051328808627679862973852478640372810989574707270/18424802868192\ 538918085693612273797310472101632963*c_0110_12^6 - 361181824741259029550077688798567414161042422787284/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 - 550493024465535761854258574377493747510818886608786/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 - 91406328721256194573117738867584761780903242819354/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^3 - 91325683083744556473753051889202504940009152548727/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 - 15210483923605169146630001107995255944298950248495/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 - 7702382822335463166058443567996766305186206194692/18424802868192538\ 918085693612273797310472101632963, c_0011_12 - 115819887711781240176378466561008322788704838832/1842480286\ 8192538918085693612273797310472101632963*c_0110_12^17 - 2850039274780875708963302336374940168239219113472/18424802868192538\ 918085693612273797310472101632963*c_0110_12^16 - 51302765257034047584240589890966671581140414484/3368336904605582983\ 1966533112017910988065999329*c_0110_12^15 - 128928908367762530970035780766717688128928370943544/184248028681925\ 38918085693612273797310472101632963*c_0110_12^14 - 239466583918847729212270796630111552545563436209537/184248028681925\ 38918085693612273797310472101632963*c_0110_12^13 - 109597382493448995880868405148061648046294917275239/184248028681925\ 38918085693612273797310472101632963*c_0110_12^12 - 639851458727047094162889412448221360565770246371230/184248028681925\ 38918085693612273797310472101632963*c_0110_12^11 - 24566672040404404361232427323531225071989704546580/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^10 - 258121046929863779590904415739458141784645754689078/184248028681925\ 38918085693612273797310472101632963*c_0110_12^9 - 321147174903083030585844326953608630143551028515760/184248028681925\ 38918085693612273797310472101632963*c_0110_12^8 + 334264305241569535250392392889536797279746343988596/184248028681925\ 38918085693612273797310472101632963*c_0110_12^7 - 259400343875762945521509399799558981200840072426841/184248028681925\ 38918085693612273797310472101632963*c_0110_12^6 + 141918394332479961266634603474085703627060307692616/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 + 4274738000739015567100587598578945520025751356399/18424802868192538\ 918085693612273797310472101632963*c_0110_12^4 - 12479161437721900382007798705313715642936874963159/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^3 + 11481469410141404430446740269104938399401999942094/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 + 4046277427908254175327450772214539847468759793652/18424802868192538\ 918085693612273797310472101632963*c_0110_12 + 2962811960853494714593841906665177050665151122602/18424802868192538\ 918085693612273797310472101632963, c_0011_6 - 197479210308972842266708168214042590163403560848/18424802868\ 192538918085693612273797310472101632963*c_0110_12^17 - 4850586491233118402778829796357162036802448658832/18424802868192538\ 918085693612273797310472101632963*c_0110_12^16 - 87215677254516819147173541267060610030216040972/3368336904605582983\ 1966533112017910988065999329*c_0110_12^15 - 219566913484038893482354083166369287693098014506572/184248028681925\ 38918085693612273797310472101632963*c_0110_12^14 - 416939192884837539279002738991821194332521049964103/184248028681925\ 38918085693612273797310472101632963*c_0110_12^13 - 254464204555455832958971626361371471658292853488132/184248028681925\ 38918085693612273797310472101632963*c_0110_12^12 - 1258589098266525469429539891088376077948773614733402/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 - 177583739997429871223074949529937733844736512539130/184248028681925\ 38918085693612273797310472101632963*c_0110_12^10 - 1087163355660693112416493532884119520232858635279521/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 - 516743583664131367875882115550208923705817985062464/184248028681925\ 38918085693612273797310472101632963*c_0110_12^8 - 265235272571277184894447445757600229883849002948473/184248028681925\ 38918085693612273797310472101632963*c_0110_12^7 - 277263808286810659844972089455731511268439438875725/184248028681925\ 38918085693612273797310472101632963*c_0110_12^6 - 145234594042832905878224379727542009865085885680452/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 + 81432050002643812342800817380337894824771228932003/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^4 - 36984071032472822190407754995032689207932381067038/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^3 + 55150180317031222925812258047499017043681419504890/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 + 3031670321972578723516006519905741051207687386532/18424802868192538\ 918085693612273797310472101632963*c_0110_12 + 17484527609224237809542498155105157620935521804162/1842480286819253\ 8918085693612273797310472101632963, c_0011_8 + 3572580862239405331684395725634802176183261799968/1842480286\ 8192538918085693612273797310472101632963*c_0110_12^17 + 86202666524829284824548713431722128749648193344528/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 + 1510711059846494262905062451185171126904328854696/33683369046055829\ 831966533112017910988065999329*c_0110_12^15 + 3629482617507555121053938032515378621105410813582804/18424802868192\ 538918085693612273797310472101632963*c_0110_12^14 + 6109821175313520229870315640269672394495634150997218/18424802868192\ 538918085693612273797310472101632963*c_0110_12^13 + 2489623745983887597039960940009958779216652012542969/18424802868192\ 538918085693612273797310472101632963*c_0110_12^12 + 22130958751197351907495340658592142342616298212632604/1842480286819\ 2538918085693612273797310472101632963*c_0110_12^11 - 7386851585992791339889617235884538514247011330140594/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 + 26103028057440018371552949331404301082429373730114145/1842480286819\ 2538918085693612273797310472101632963*c_0110_12^9 - 6301387329828604682201696358747477203839928943499802/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 + 10433022622143806998324316153389036059958577920732068/1842480286819\ 2538918085693612273797310472101632963*c_0110_12^7 - 652822610471552743182234015153222557957980061440444/184248028681925\ 38918085693612273797310472101632963*c_0110_12^6 + 1623292494271680265342848976479491371010170055232671/18424802868192\ 538918085693612273797310472101632963*c_0110_12^5 - 188248321605379170748694908761605694214687262231624/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 + 166445620984049939517293719195464150685916149709847/184248028681925\ 38918085693612273797310472101632963*c_0110_12^3 - 31952398384651507129690698318700720419486181262201/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 + 17269024276850471356912168175626098481928947364908/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 - 22577746172050485817241647482678285146597357522092/1842480286819253\ 8918085693612273797310472101632963, c_0101_0 - 3819210438362238409335069943908543734094495853424/1842480286\ 8192538918085693612273797310472101632963*c_0110_12^17 - 91924297141468305845898186502077883549354407066624/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 - 1604756058491473296855679563661632458817375882196/33683369046055829\ 831966533112017910988065999329*c_0110_12^15 - 3825322348470632085160474895987616255856226266958920/18424802868192\ 538918085693612273797310472101632963*c_0110_12^14 - 6283243077032708168556957756783868170486718148544441/18424802868192\ 538918085693612273797310472101632963*c_0110_12^13 - 2207359716010624595225579491334242584351034207894183/18424802868192\ 538918085693612273797310472101632963*c_0110_12^12 - 23420102820549185276349879462990192955382310943340553/1842480286819\ 2538918085693612273797310472101632963*c_0110_12^11 + 9317105506132837342166062026164165507472291985204730/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 - 27890665851731860848387212388772746626258197416154128/1842480286819\ 2538918085693612273797310472101632963*c_0110_12^9 + 8001240209972445867771877318378139189313770776077391/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 - 10786264868252969311861187342799450481784638059235644/1842480286819\ 2538918085693612273797310472101632963*c_0110_12^7 + 1002898457229084506788513391996989883763293578777781/18424802868192\ 538918085693612273797310472101632963*c_0110_12^6 - 1519933365848482279376308545184031875763889528300108/18424802868192\ 538918085693612273797310472101632963*c_0110_12^5 + 347448315396167499648888716098898319796496776189022/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 - 288217021031284637123332938402200899076543598510247/184248028681925\ 38918085693612273797310472101632963*c_0110_12^3 + 71048235162676087547482351307702321717033503911956/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 - 78600358345460198291344448818610763320760670334539/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 + 20409279366507822865503000726730639548078989322656/1842480286819253\ 8918085693612273797310472101632963, c_0101_10 + 1321293077140090976763819991534251193687786193920/184248028\ 68192538918085693612273797310472101632963*c_0110_12^17 + 31309047988727905363202197478192543419700831343440/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 + 533034908390068615352425821389595132840615540832/336833690460558298\ 31966533112017910988065999329*c_0110_12^15 + 1204141447857100287791819990435780190899192942631204/18424802868192\ 538918085693612273797310472101632963*c_0110_12^14 + 1623058710251774619570356991361488854324256502854864/18424802868192\ 538918085693612273797310472101632963*c_0110_12^13 - 295732936773239289860392674265507974015279790975497/184248028681925\ 38918085693612273797310472101632963*c_0110_12^12 + 7410207285450384665101411279011538816054751253288567/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 - 6369280454192940461920792160531147205809062435325254/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 + 9410494258259816927332161269879025345117945074991124/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 - 5748378342750053911877971933391553166168616387307301/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 + 3196102982011194546156575128883997656014545830005612/18424802868192\ 538918085693612273797310472101632963*c_0110_12^7 - 1199214644984382278005394358793241431114131417437385/18424802868192\ 538918085693612273797310472101632963*c_0110_12^6 + 173002079066129061170854755345009397945284786682974/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 - 226630403653114473375254496219777846182073890968900/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 + 105491147464822861866132982272514366427528068670306/184248028681925\ 38918085693612273797310472101632963*c_0110_12^3 - 30080441913584830581603330203922202965527506330031/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 + 27446675482834199526153749764428344232534446523081/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 - 5989159073371868939763855672096720667126964886470/18424802868192538\ 918085693612273797310472101632963, c_0101_2 - 996941275915526761950507291250348132924026034800/18424802868\ 192538918085693612273797310472101632963*c_0110_12^17 - 23151313195755554754190719295927918818658854597712/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 - 381073601293485941472004481159598138722036864196/336833690460558298\ 31966533112017910988065999329*c_0110_12^15 - 795438805330708240972831488498660938443847384623628/184248028681925\ 38918085693612273797310472101632963*c_0110_12^14 - 706127414534819072358721388501160489952586837803909/184248028681925\ 38918085693612273797310472101632963*c_0110_12^13 + 1212998402682299252363207493664419464076253013097858/18424802868192\ 538918085693612273797310472101632963*c_0110_12^12 - 4892804600571250500040165655864745903025384143714949/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 + 8039881071704848301570582800797565205458983657781111/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 - 6911164700443409948417770056137463460208801149090614/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 + 8058394030709781666708702781022417590631276630609491/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 - 1895593433840779076391830287614089952919656517610057/18424802868192\ 538918085693612273797310472101632963*c_0110_12^7 + 2672141985299413672078034913717363420382976040659994/18424802868192\ 538918085693612273797310472101632963*c_0110_12^6 + 456885009838431384855669496976852119301410701399690/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 + 657745073664441844413644014527772917533828817417413/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 + 80975631969341360802345450075672488269933969297968/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^3 + 99817965668373567128551533026202258302659921036143/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 - 3633006979254267318310765479149270300052204304028/18424802868192538\ 918085693612273797310472101632963*c_0110_12 + 11733718305124130688139882619408539165444981162705/1842480286819253\ 8918085693612273797310472101632963, c_0101_3 + 1, c_0101_6 + 526841805963971871807521876668835442743939098480/18424802868\ 192538918085693612273797310472101632963*c_0110_12^17 + 12724772747675927517513763199723561967430365489152/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 + 223318526133165449245059128112117214822030300532/336833690460558298\ 31966533112017910988065999329*c_0110_12^15 + 537924426667856054784230888054481502851872511839640/184248028681925\ 38918085693612273797310472101632963*c_0110_12^14 + 912197956882905451470457651135491454921301164656449/184248028681925\ 38918085693612273797310472101632963*c_0110_12^13 + 386647237408500888809936286840917299728730583666715/184248028681925\ 38918085693612273797310472101632963*c_0110_12^12 + 3296209537448176014487391506457087970737765059449223/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 - 934462494363144207573191439960709864319491688601597/184248028681925\ 38918085693612273797310472101632963*c_0110_12^10 + 3813056719064537423741039722488666405138446211403246/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 - 574284561027373932660390571039876136402690774228998/184248028681925\ 38918085693612273797310472101632963*c_0110_12^8 + 1487364199895432697802877795617249963415145162226646/18424802868192\ 538918085693612273797310472101632963*c_0110_12^7 + 169847639407967567242202983123277093906107132485224/184248028681925\ 38918085693612273797310472101632963*c_0110_12^6 + 308558958423947380449114133570756535225698401799997/184248028681925\ 38918085693612273797310472101632963*c_0110_12^5 + 64168273579985470605520832817837169667019347062764/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^4 + 122508455952110295975095065490100503051569301421773/184248028681925\ 38918085693612273797310472101632963*c_0110_12^3 + 66724681085988131046598505065190409304831268646063/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 + 23188649642712077007810739090782163782535991741869/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 + 18888391265935146498442717382416572780960101307152/1842480286819253\ 8918085693612273797310472101632963, c_0101_8 - 1356134923671800436834003954034964183331252534272/1842480286\ 8192538918085693612273797310472101632963*c_0110_12^17 - 31978886844744131766362053348366934346988142950624/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^16 - 540243368003442583770923489595494763433652399488/336833690460558298\ 31966533112017910988065999329*c_0110_12^15 - 1199993521453701164353942125778357372939150885292632/18424802868192\ 538918085693612273797310472101632963*c_0110_12^14 - 1506094241178027379231952122965482717091648578571504/18424802868192\ 538918085693612273797310472101632963*c_0110_12^13 + 601323692544398022630445446217085626379114079715654/184248028681925\ 38918085693612273797310472101632963*c_0110_12^12 - 7312332962372360125652955944899084125269126802956854/18424802868192\ 538918085693612273797310472101632963*c_0110_12^11 + 7895659060218092007788961266919847749223937384720104/18424802868192\ 538918085693612273797310472101632963*c_0110_12^10 - 9795225996830489683853215426925998178100376556496294/18424802868192\ 538918085693612273797310472101632963*c_0110_12^9 + 8225975557765202720040690648665833795604693426488205/18424802868192\ 538918085693612273797310472101632963*c_0110_12^8 - 3471614608608827143021440125576158918826934028604339/18424802868192\ 538918085693612273797310472101632963*c_0110_12^7 + 2721894953011373063319205179350891975243285141977723/18424802868192\ 538918085693612273797310472101632963*c_0110_12^6 + 94078710897629860197141502542412472974737275737744/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^5 + 507804218833416701427943492854951295309210446282085/184248028681925\ 38918085693612273797310472101632963*c_0110_12^4 + 42533988023810778120717479902136250126538106319511/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^3 + 49498312821354666405845006185368598466837561767022/1842480286819253\ 8918085693612273797310472101632963*c_0110_12^2 - 12355409429924968509334359400596785829122652612032/1842480286819253\ 8918085693612273797310472101632963*c_0110_12 + 7244853931444454529378613260793758225439167135004/18424802868192538\ 918085693612273797310472101632963, c_0110_12^18 + 24*c_0110_12^17 + 913/4*c_0110_12^16 + 1975/2*c_0110_12^15 + 25495/16*c_0110_12^14 + 8737/16*c_0110_12^13 + 100141/16*c_0110_12^12 - 21787/8*c_0110_12^11 + 127493/16*c_0110_12^10 - 9937/4*c_0110_12^9 + 7055/2*c_0110_12^8 - 344*c_0110_12^7 + 5641/8*c_0110_12^6 - 453/8*c_0110_12^5 + 2617/16*c_0110_12^4 - 137/16*c_0110_12^3 + 401/16*c_0110_12^2 - 7/2*c_0110_12 + 61/16 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.190 Total time: 0.400 seconds, Total memory usage: 32.09MB