Magma V2.19-8 Tue Aug 20 2013 23:38:40 on localhost [Seed = 3802433196] Type ? for help. Type -D to quit. Loading file "K12a1279__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12a1279 geometric_solution 9.90021247 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 1 2 3 0132 1302 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 -1 0 0 0 0 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.202351051089 0.728990731070 0 4 5 0 0132 0132 0132 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 -1 0 1 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.683110844008 0.624311577487 6 5 3 0 0132 2031 3201 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 0 0 -5 6 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.202351051089 0.728990731070 2 7 0 7 2310 0132 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.835086568184 2.398824160586 8 1 8 9 0132 0132 3012 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 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.688672881696 0.895201779199 2 6 9 1 1302 0213 3201 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 0 0 1 -1 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.604427344282 0.537866943551 2 10 5 9 0132 0132 0213 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 5 1 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.101274632283 0.579663503901 7 3 7 3 2031 0132 1302 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.376177699472 0.186585969410 4 4 10 10 0132 1230 1230 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 -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.346569492739 0.996539036519 5 6 4 10 2310 0321 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 1 -1 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.301651252906 0.545655564124 9 6 8 8 3012 0132 0132 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 1 0 -1 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346569492739 0.996539036519 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : negation(d['c_0101_8']), 'c_1001_4' : d['c_0011_0'], 'c_1001_7' : d['c_0110_7'], 'c_1001_6' : negation(d['c_0101_8']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_5'], 'c_1001_3' : d['c_0011_9'], 'c_1001_2' : negation(d['c_0101_1']), 'c_1001_9' : d['c_1001_1'], 'c_1001_8' : negation(d['c_0110_10']), 'c_1010_10' : negation(d['c_0101_8']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], '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_0_8' : negation(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' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_10'], 'c_1100_8' : d['c_0110_10'], 'c_1100_5' : negation(d['c_0011_9']), 'c_1100_4' : d['c_0110_10'], 'c_1100_7' : d['c_0011_3'], 'c_1100_6' : d['c_1001_1'], 'c_1100_1' : negation(d['c_0011_9']), 'c_1100_0' : negation(d['c_0011_3']), 'c_1100_3' : negation(d['c_0011_3']), 'c_1100_2' : negation(d['c_0011_3']), 'c_1100_10' : d['c_0110_10'], 'c_1010_7' : d['c_0011_9'], 'c_1010_6' : d['c_0101_10'], 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_1001_1'], 'c_1010_3' : d['c_0110_7'], 'c_1010_2' : d['c_0011_5'], 'c_1010_1' : d['c_0011_0'], 'c_1010_0' : d['c_0011_9'], 'c_1010_9' : d['c_0101_10'], 'c_1010_8' : d['c_0101_10'], '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' : negation(d['1']), 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : negation(d['c_0011_0']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : negation(d['c_0011_3']), '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_3'], 'c_0011_2' : d['c_0011_10'], 'c_0110_10' : d['c_0110_10'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0011_5'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_10'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_9']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_5'], 'c_0101_9' : d['c_0101_8'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0011_5'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0110_7'], 'c_0110_6' : negation(d['c_0011_9'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_5, c_0011_9, c_0101_1, c_0101_10, c_0101_8, c_0110_10, c_0110_7, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t - 144109427243360958086162649867949519993963324/131727215695003829320\ 01128669602282405579255*c_1001_1^32 + 17192725138998560021347647475104048444685429/1317272156950038293200\ 1128669602282405579255*c_1001_1^31 + 31061829071003438467489643041559230256871703/2395040285363705987636\ 56884901859680101441*c_1001_1^30 - 109431357528299157065623184819259929376466822/439090718983346097733\ 3709556534094135193085*c_1001_1^29 - 8981902331699407145763935955054957842048136308/13172721569500382932\ 001128669602282405579255*c_1001_1^28 + 2716906763771500317017714311416707846943436162/13172721569500382932\ 001128669602282405579255*c_1001_1^27 + 26276927894174653454378334546881442348890104282/1317272156950038293\ 2001128669602282405579255*c_1001_1^26 - 12458854836213834966667396514509171014809571787/1317272156950038293\ 2001128669602282405579255*c_1001_1^25 - 4946508932953203312353203190119348812884662786/14636357299444869924\ 44569852178031378397695*c_1001_1^24 + 6899644421829071095904425258338294915188372819/26345443139000765864\ 00225733920456481115851*c_1001_1^23 + 43018489625511905055653487955369044766947706817/1317272156950038293\ 2001128669602282405579255*c_1001_1^22 - 11476756218511154970368994586180917242763998452/2634544313900076586\ 400225733920456481115851*c_1001_1^21 - 37678347284853332729064361856320240425403867277/1317272156950038293\ 2001128669602282405579255*c_1001_1^20 + 9972752345112114816307936779860576195964511751/26345443139000765864\ 00225733920456481115851*c_1001_1^19 + 869288998979589395757356642889532867389725291/133057793631316999313\ 142713834366488945245*c_1001_1^18 - 7872845277807558743798696334173556362635721969/13172721569500382932\ 001128669602282405579255*c_1001_1^17 - 1154904256253145504467420275995176125332869617/10211412069380141807\ 7528129221723119423095*c_1001_1^16 - 9488699102047303955243129571461588932189474258/13172721569500382932\ 001128669602282405579255*c_1001_1^15 + 13226323335492027549270433217889256897902231029/2634544313900076586\ 400225733920456481115851*c_1001_1^14 - 1208946073720295474164061296863216903495599789/39917338089395099793\ 9428141503099466835735*c_1001_1^13 + 133791592300784189036413094618371515902561509516/131727215695003829\ 32001128669602282405579255*c_1001_1^12 + 11686581167246489984659239327964912452382367/1553203816707980536729\ 292379389492088855*c_1001_1^11 - 5874380374330113062697753925622578\ 1514428639924/4390907189833460977333709556534094135193085*c_1001_1^\ 10 - 96278144429211678326059063566118638756858813031/13172721569500\ 382932001128669602282405579255*c_1001_1^9 + 30931266813935681856320814193111462088612968487/1317272156950038293\ 2001128669602282405579255*c_1001_1^8 + 49848176464646459736968496595711588712132493577/1317272156950038293\ 2001128669602282405579255*c_1001_1^7 + 4421211844146699617454320469944862110284501073/14636357299444869924\ 44569852178031378397695*c_1001_1^6 - 17937084155246112144547278655329489259222016548/1317272156950038293\ 2001128669602282405579255*c_1001_1^5 + 45589324834364558800499124000804167690617739/8781814379666921954667\ 41911306818827038617*c_1001_1^4 + 685645845861319275636830453095600\ 40980856036/102114120693801418077528129221723119423095*c_1001_1^3 - 10984188787800054156338197193225645845498580203/1317272156950038293\ 2001128669602282405579255*c_1001_1^2 - 2800558543074373046110189312453668475418144588/13172721569500382932\ 001128669602282405579255*c_1001_1 - 1517416570646111289089009217703584705752077331/13172721569500382932\ 001128669602282405579255, c_0011_0 - 1, c_0011_10 + 1, c_0011_3 + 377005205067428321852881975170/18349901135781050363965023313\ 87*c_1001_1^32 - 57890490093434871291872919286/18349901135781050363\ 96502331387*c_1001_1^31 - 386220503452128444642278964448/1668172830\ 52555003308772939217*c_1001_1^30 + 995154440683694778482423808766/1834990113578105036396502331387*c_10\ 01_1^29 + 1627685634966654724142410601531/1411530856598542335689617\ 17799*c_1001_1^28 - 680166981593050256209802683462/1668172830525550\ 03308772939217*c_1001_1^27 - 57964292557895466265278536428851/18349\ 90113578105036396502331387*c_1001_1^26 + 31278616432194286632938637325892/1834990113578105036396502331387*c_\ 1001_1^25 + 90092116177825179370485676496787/1834990113578105036396\ 502331387*c_1001_1^24 - 78666944927482455549509605623606/1834990113\ 578105036396502331387*c_1001_1^23 - 79032431674402769459617596635872/1834990113578105036396502331387*c_\ 1001_1^22 + 117472344624088881085802095708056/183499011357810503639\ 6502331387*c_1001_1^21 + 79543439181454578034014006420322/183499011\ 3578105036396502331387*c_1001_1^20 - 89823781881591343846143655963304/1834990113578105036396502331387*c_\ 1001_1^19 - 202005189367480734150704718813173/183499011357810503639\ 6502331387*c_1001_1^18 + 14690945717799771339695253179868/183499011\ 3578105036396502331387*c_1001_1^17 + 306211070395118081483804350803719/1834990113578105036396502331387*c\ _1001_1^16 - 5482735889938288565502508219934/1834990113578105036396\ 502331387*c_1001_1^15 - 79432353977413275751136581199474/1834990113\ 578105036396502331387*c_1001_1^14 + 93098981953024737323710690787956/1834990113578105036396502331387*c_\ 1001_1^13 - 299278799325728575618849005308034/183499011357810503639\ 6502331387*c_1001_1^12 - 173239547758297301060930334637192/18349901\ 13578105036396502331387*c_1001_1^11 + 304336631388684606883044860589862/1834990113578105036396502331387*c\ _1001_1^10 + 174084811472931660436470041978604/18349901135781050363\ 96502331387*c_1001_1^9 - 33414067508521400087808378172242/183499011\ 3578105036396502331387*c_1001_1^8 - 117282222389360338763711619702096/1834990113578105036396502331387*c\ _1001_1^7 - 48693020167312963396576152110792/1834990113578105036396\ 502331387*c_1001_1^6 + 55148504451926478506347898296298/18349901135\ 78105036396502331387*c_1001_1^5 - 11024982348883106422684155175608/\ 1834990113578105036396502331387*c_1001_1^4 - 16353178458741124074667280027962/1834990113578105036396502331387*c_\ 1001_1^3 + 11869460416133068534979769069591/18349901135781050363965\ 02331387*c_1001_1^2 + 3150927866071398487960116255072/1834990113578\ 105036396502331387*c_1001_1 + 1388254369458294115917838037663/18349\ 90113578105036396502331387, c_0011_5 + 554640011347776843740205530964/18349901135781050363965023313\ 87*c_1001_1^32 + 394239785316549517096379088784/1834990113578105036\ 396502331387*c_1001_1^31 - 6172613796107186891575862877740/18349901\ 13578105036396502331387*c_1001_1^30 - 3710072271434085481809086322644/1834990113578105036396502331387*c_1\ 001_1^29 + 2355508656533114374520677587384/141153085659854233568961\ 717799*c_1001_1^28 + 13484831121782111852605587719264/1834990113578\ 105036396502331387*c_1001_1^27 - 85475733313786994410509311888004/1\ 834990113578105036396502331387*c_1001_1^26 - 16910982466857565261180290699048/1834990113578105036396502331387*c_\ 1001_1^25 + 144164455767845758651539037101488/183499011357810503639\ 6502331387*c_1001_1^24 - 25223435898935313071133426612800/183499011\ 3578105036396502331387*c_1001_1^23 - 162399972905412059902138652360888/1834990113578105036396502331387*c\ _1001_1^22 + 94668509458668719777201302767400/183499011357810503639\ 6502331387*c_1001_1^21 + 192993520212791881179399880281712/18349901\ 13578105036396502331387*c_1001_1^20 - 28176060953654783975393665677544/1834990113578105036396502331387*c_\ 1001_1^19 - 28943078687626620661630983230485/1668172830525550033087\ 72939217*c_1001_1^18 - 219188571287850116477966345279768/1834990113\ 578105036396502331387*c_1001_1^17 + 343425149088009371514890079974821/1834990113578105036396502331387*c\ _1001_1^16 + 22535522340318997714540394498312/166817283052555003308\ 772939217*c_1001_1^15 - 9641033918419575929248577254092/18349901135\ 78105036396502331387*c_1001_1^14 + 216919061668972958560065279444904/1834990113578105036396502331387*c\ _1001_1^13 - 320314392228223151788164609689909/18349901135781050363\ 96502331387*c_1001_1^12 - 597695131013905194158107030437976/1834990\ 113578105036396502331387*c_1001_1^11 + 139684204551466210743692027203721/1834990113578105036396502331387*c\ _1001_1^10 + 32392840918788348371883383378280/166817283052555003308\ 772939217*c_1001_1^9 + 158438289391068304637550550166211/1834990113\ 578105036396502331387*c_1001_1^8 - 875687688036043200762469094708/1834990113578105036396502331387*c_10\ 01_1^7 - 93013923213207905482059932634504/1834990113578105036396502\ 331387*c_1001_1^6 + 11067240509116894109557046883748/18349901135781\ 05036396502331387*c_1001_1^5 - 15564419220395933670326683022710/183\ 4990113578105036396502331387*c_1001_1^4 - 55602013925689671798527031578324/1834990113578105036396502331387*c_\ 1001_1^3 - 3182213395404343043315883751915/183499011357810503639650\ 2331387*c_1001_1^2 + 2861990975338572220931332788096/18349901135781\ 05036396502331387*c_1001_1 + 1073399621796066227273502879701/183499\ 0113578105036396502331387, c_0011_9 + 499433997521984524328750404708/18349901135781050363965023313\ 87*c_1001_1^32 - 388477723156889486971034296856/1834990113578105036\ 396502331387*c_1001_1^31 - 6174074586093086630553964243476/18349901\ 13578105036396502331387*c_1001_1^30 + 4696502981059926627961673489752/1834990113578105036396502331387*c_1\ 001_1^29 + 2576322650105207027621183171158/141153085659854233568961\ 717799*c_1001_1^28 - 26535570689816055886444197614580/1834990113578\ 105036396502331387*c_1001_1^27 - 99696826123583645141559604662782/1\ 834990113578105036396502331387*c_1001_1^26 + 89230014924644302137651063227168/1834990113578105036396502331387*c_\ 1001_1^25 + 166026079680310549692557829917394/183499011357810503639\ 6502331387*c_1001_1^24 - 193969763921794888996352633503536/18349901\ 13578105036396502331387*c_1001_1^23 - 138821601465093675345474742784740/1834990113578105036396502331387*c\ _1001_1^22 + 280696452425161427145894560202880/18349901135781050363\ 96502331387*c_1001_1^21 + 86375967288928468824236824230004/18349901\ 13578105036396502331387*c_1001_1^20 - 275659067500869965930202383475271/1834990113578105036396502331387*c\ _1001_1^19 - 300642931413826405710259348669566/18349901135781050363\ 96502331387*c_1001_1^18 + 17954574474309102360765071223640/16681728\ 3052555003308772939217*c_1001_1^17 + 656355156904654375662370125650770/1834990113578105036396502331387*c\ _1001_1^16 - 127253306403613309815459298891326/18349901135781050363\ 96502331387*c_1001_1^15 - 361876654753178194812953671268224/1834990\ 113578105036396502331387*c_1001_1^14 + 103260110795414413005214387966288/1834990113578105036396502331387*c\ _1001_1^13 - 606083174439819769520476275244372/18349901135781050363\ 96502331387*c_1001_1^12 - 15807995672540647422310753527255/16681728\ 3052555003308772939217*c_1001_1^11 + 937500773542421312962300458150988/1834990113578105036396502331387*c\ _1001_1^10 + 311060778181380152338384616931428/18349901135781050363\ 96502331387*c_1001_1^9 - 267153852433844672805377731039354/18349901\ 13578105036396502331387*c_1001_1^8 - 286433614969952506274272341812762/1834990113578105036396502331387*c\ _1001_1^7 - 161139076385340796052479619987686/183499011357810503639\ 6502331387*c_1001_1^6 + 99827943247952994690610193634172/1834990113\ 578105036396502331387*c_1001_1^5 - 768467991449051804610735961478/166817283052555003308772939217*c_100\ 1_1^4 - 17448401315918039650042981619131/18349901135781050363965023\ 31387*c_1001_1^3 + 65497995762711510896896734382942/183499011357810\ 5036396502331387*c_1001_1^2 + 15869988110592058285230353386220/1834\ 990113578105036396502331387*c_1001_1 + 6247685784509917614832438385580/1834990113578105036396502331387, c_0101_1 + 30821251953705199789538542048/166817283052555003308772939217\ *c_1001_1^32 + 94588616909245746335569196972/1834990113578105036396\ 502331387*c_1001_1^31 - 3783106732701626831220789725516/18349901135\ 78105036396502331387*c_1001_1^30 - 733485221615081346382877386916/1834990113578105036396502331387*c_10\ 01_1^29 + 1437721922647168013917729758858/1411530856598542335689617\ 17799*c_1001_1^28 + 1135258311343425826048418814072/183499011357810\ 5036396502331387*c_1001_1^27 - 51160287251403542841395642708078/183\ 4990113578105036396502331387*c_1001_1^26 + 7655986073944885386926449226308/1834990113578105036396502331387*c_1\ 001_1^25 + 81456162567163114341222411491446/18349901135781050363965\ 02331387*c_1001_1^24 - 41334210381669701654054544276872/18349901135\ 78105036396502331387*c_1001_1^23 - 79650052732682673567646593999036/1834990113578105036396502331387*c_\ 1001_1^22 + 7364076782157027541566265869280/16681728305255500330877\ 2939217*c_1001_1^21 + 88150466948053634410814257224516/183499011357\ 8105036396502331387*c_1001_1^20 - 47157881875854825280300545480102/\ 1834990113578105036396502331387*c_1001_1^19 - 178173255711445986444259086875510/1834990113578105036396502331387*c\ _1001_1^18 - 68623904165797253787180015094575/183499011357810503639\ 6502331387*c_1001_1^17 + 221484048679050055878121456515518/18349901\ 13578105036396502331387*c_1001_1^16 + 77196704058208975939011458806686/1834990113578105036396502331387*c_\ 1001_1^15 - 10734710338043240067758653330032/1834990113578105036396\ 502331387*c_1001_1^14 + 131259645693595119085898851721771/183499011\ 3578105036396502331387*c_1001_1^13 - 21902113250362214813235136720804/166817283052555003308772939217*c_1\ 001_1^12 - 290447433089153812709701216901452/1834990113578105036396\ 502331387*c_1001_1^11 + 156810000386150615385596336835868/183499011\ 3578105036396502331387*c_1001_1^10 + 169993461444648961356224180377079/1834990113578105036396502331387*c\ _1001_1^9 + 55880226505220960738139829948914/1834990113578105036396\ 502331387*c_1001_1^8 - 5620170534758819075433746577530/183499011357\ 8105036396502331387*c_1001_1^7 - 42471673674755194257322700096922/1\ 834990113578105036396502331387*c_1001_1^6 + 9941762506954963959095969462286/1834990113578105036396502331387*c_1\ 001_1^5 - 27448921082675969962391562110958/183499011357810503639650\ 2331387*c_1001_1^4 - 26177014824800151130760920680686/1834990113578\ 105036396502331387*c_1001_1^3 + 9568145535185737681366280888854/183\ 4990113578105036396502331387*c_1001_1^2 - 1359732642088511330922926255891/1834990113578105036396502331387*c_1\ 001_1 - 962634363011181353790233516952/1834990113578105036396502331\ 387, c_0101_10 + 4291898299671801974386224336/166817283052555003308772939217\ *c_1001_1^32 + 406880368878292980258149313456/183499011357810503639\ 6502331387*c_1001_1^31 - 173001875544370416703888036734/18349901135\ 78105036396502331387*c_1001_1^30 - 4418933903045390495030687019448/1834990113578105036396502331387*c_1\ 001_1^29 - 63292060215263549186598300580/14115308565985423356896171\ 7799*c_1001_1^28 + 21235635304723715302224345906888/183499011357810\ 5036396502331387*c_1001_1^27 + 6216224644519462399105387034172/1834\ 990113578105036396502331387*c_1001_1^26 - 56833175115689229388892230498772/1834990113578105036396502331387*c_\ 1001_1^25 - 10732533553424931361560798186590/1834990113578105036396\ 502331387*c_1001_1^24 + 91004136700074055509227546543416/1834990113\ 578105036396502331387*c_1001_1^23 - 12403802635683960554029349832720/1834990113578105036396502331387*c_\ 1001_1^22 - 9130563058239595722796589887037/16681728305255500330877\ 2939217*c_1001_1^21 + 59250289596387835430040785252574/183499011357\ 8105036396502331387*c_1001_1^20 + 133830958227457924393442538488504\ /1834990113578105036396502331387*c_1001_1^19 - 16363819193986182559334334823124/1834990113578105036396502331387*c_\ 1001_1^18 - 229866118927691226569699242082693/183499011357810503639\ 6502331387*c_1001_1^17 - 167302068684256955958639842211674/18349901\ 13578105036396502331387*c_1001_1^16 + 213092530879124895100985147691258/1834990113578105036396502331387*c\ _1001_1^15 + 205705338768012150581579770340180/18349901135781050363\ 96502331387*c_1001_1^14 + 60260330816651426568497696980286/18349901\ 13578105036396502331387*c_1001_1^13 + 12417329337672214109214325074608/166817283052555003308772939217*c_1\ 001_1^12 - 245235230078307898733917819899246/1834990113578105036396\ 502331387*c_1001_1^11 - 434820730402716603317348890841582/183499011\ 3578105036396502331387*c_1001_1^10 + 32580073831367078715056579895493/1834990113578105036396502331387*c_\ 1001_1^9 + 247126924440924657094919179099752/1834990113578105036396\ 502331387*c_1001_1^8 + 165512698434803102267443820341382/1834990113\ 578105036396502331387*c_1001_1^7 + 32174301710339343544707657967904/1834990113578105036396502331387*c_\ 1001_1^6 - 55219710897448968952298722704885/18349901135781050363965\ 02331387*c_1001_1^5 - 8641143048110849353131930925804/1834990113578\ 105036396502331387*c_1001_1^4 - 19471110612913633011294299939612/18\ 34990113578105036396502331387*c_1001_1^3 - 37542839731992210602666334481030/1834990113578105036396502331387*c_\ 1001_1^2 - 10291264048655584344764493137923/18349901135781050363965\ 02331387*c_1001_1 - 1915153563205654436557909167780/183499011357810\ 5036396502331387, c_0101_8 + 333271709331097167559579170600/18349901135781050363965023313\ 87*c_1001_1^32 - 213373169487277178487419701804/1834990113578105036\ 396502331387*c_1001_1^31 - 4017663157694569504002065063800/18349901\ 13578105036396502331387*c_1001_1^30 + 2681087658995388204102481403610/1834990113578105036396502331387*c_1\ 001_1^29 + 1645007079115906135264743047592/141153085659854233568961\ 717799*c_1001_1^28 - 15672540492683309674111065616914/1834990113578\ 105036396502331387*c_1001_1^27 - 62687493318451481597934299094708/1\ 834990113578105036396502331387*c_1001_1^26 + 54154539777994716970423875497810/1834990113578105036396502331387*c_\ 1001_1^25 + 103244745888801474447989889705804/183499011357810503639\ 6502331387*c_1001_1^24 - 119633473228458221402122060476604/18349901\ 13578105036396502331387*c_1001_1^23 - 86332703678342357686715881940680/1834990113578105036396502331387*c_\ 1001_1^22 + 172554793497967854623317159535860/183499011357810503639\ 6502331387*c_1001_1^21 + 55696111421890920437049981339327/183499011\ 3578105036396502331387*c_1001_1^20 - 163622929189195551302494884694978/1834990113578105036396502331387*c\ _1001_1^19 - 16979799647913615061544110656803/166817283052555003308\ 772939217*c_1001_1^18 + 111711377659856733052892914403090/183499011\ 3578105036396502331387*c_1001_1^17 + 398631408265166887749260967112053/1834990113578105036396502331387*c\ _1001_1^16 - 7163237639437891494353484039136/1668172830525550033087\ 72939217*c_1001_1^15 - 214482104277315091963523408651532/1834990113\ 578105036396502331387*c_1001_1^14 + 75519562327040529681955741642844/1834990113578105036396502331387*c_\ 1001_1^13 - 372815075071994860801127804083374/183499011357810503639\ 6502331387*c_1001_1^12 - 109067135673359268564310740737916/18349901\ 13578105036396502331387*c_1001_1^11 + 573094712187221911791861685516251/1834990113578105036396502331387*c\ _1001_1^10 + 16411541908094953077471430220054/166817283052555003308\ 772939217*c_1001_1^9 - 163674128973954760571268444702921/1834990113\ 578105036396502331387*c_1001_1^8 - 174603750256440730144335683690798/1834990113578105036396502331387*c\ _1001_1^7 - 103704215554010086928327839513020/183499011357810503639\ 6502331387*c_1001_1^6 + 64310063064768602001213602923382/1834990113\ 578105036396502331387*c_1001_1^5 + 50176699862994714672137931113/1834990113578105036396502331387*c_100\ 1_1^4 - 4901641861801993855082198757538/183499011357810503639650233\ 1387*c_1001_1^3 + 40252229022142644336933073264743/1834990113578105\ 036396502331387*c_1001_1^2 + 7371645158376999467084992181688/183499\ 0113578105036396502331387*c_1001_1 + 5419242345989732589000252381503/1834990113578105036396502331387, c_0110_10 - 692941196913000326099480016360/1834990113578105036396502331\ 387*c_1001_1^32 - 180155530525030265427673873814/183499011357810503\ 6396502331387*c_1001_1^31 + 7917277366479671960132018938592/1834990\ 113578105036396502331387*c_1001_1^30 + 1210416408068376347009446904170/1834990113578105036396502331387*c_1\ 001_1^29 - 3093305568239585704079641051776/141153085659854233568961\ 717799*c_1001_1^28 - 174703936299676355517008827242/183499011357810\ 5036396502331387*c_1001_1^27 + 113949784441166712024073210405352/18\ 34990113578105036396502331387*c_1001_1^26 - 24207177536939128169535950958948/1834990113578105036396502331387*c_\ 1001_1^25 - 189197318290161819033364850205748/183499011357810503639\ 6502331387*c_1001_1^24 + 105221495287792763220186280657996/18349901\ 13578105036396502331387*c_1001_1^23 + 189790393721946859227446272630631/1834990113578105036396502331387*c\ _1001_1^22 - 198379779136511696276838029659666/18349901135781050363\ 96502331387*c_1001_1^21 - 192076457239353895203277937083415/1834990\ 113578105036396502331387*c_1001_1^20 + 133436819424941369647636230369846/1834990113578105036396502331387*c\ _1001_1^19 + 387562012176164862068243403206790/18349901135781050363\ 96502331387*c_1001_1^18 + 107475449569132636974101993806488/1834990\ 113578105036396502331387*c_1001_1^17 - 50327940388039628392280204642685/166817283052555003308772939217*c_1\ 001_1^16 - 145133124914601815326935354440340/1834990113578105036396\ 502331387*c_1001_1^15 + 142796740186937328539209582488814/183499011\ 3578105036396502331387*c_1001_1^14 - 241758618495567692922373355176620/1834990113578105036396502331387*c\ _1001_1^13 + 536092215219770029032166284062364/18349901135781050363\ 96502331387*c_1001_1^12 + 565699293235007969515490423655050/1834990\ 113578105036396502331387*c_1001_1^11 - 508892479360989855984508906634944/1834990113578105036396502331387*c\ _1001_1^10 - 402160009529918637219250738964506/18349901135781050363\ 96502331387*c_1001_1^9 - 29409724137939997579632480772925/183499011\ 3578105036396502331387*c_1001_1^8 + 110609314552334646761528558495790/1834990113578105036396502331387*c\ _1001_1^7 + 149765015479959430467286359484881/183499011357810503639\ 6502331387*c_1001_1^6 - 49342661922941516537836377326314/1834990113\ 578105036396502331387*c_1001_1^5 + 16305015747488910063217763140563/1834990113578105036396502331387*c_\ 1001_1^4 + 42916590406758102674931017915528/18349901135781050363965\ 02331387*c_1001_1^3 - 24956611556069738890034242551044/183499011357\ 8105036396502331387*c_1001_1^2 - 3898532512390480913824883579940/18\ 34990113578105036396502331387*c_1001_1 - 4805500889136664906663022301455/1834990113578105036396502331387, c_0110_7 - 278766777748948721231791920420/18349901135781050363965023313\ 87*c_1001_1^32 - 16872247985288845732393776660/18349901135781050363\ 96502331387*c_1001_1^31 + 2964425162200700818385898112520/183499011\ 3578105036396502331387*c_1001_1^30 + 12074748158150516538933937666/1834990113578105036396502331387*c_100\ 1_1^29 - 1058635601552093547992184229204/14115308565985423356896171\ 7799*c_1001_1^28 + 1238844777040608421378152652642/1834990113578105\ 036396502331387*c_1001_1^27 + 34293722145909477224738966069832/1834\ 990113578105036396502331387*c_1001_1^26 - 8455081280954824340400413148084/1834990113578105036396502331387*c_1\ 001_1^25 - 46741154913110108434013726353292/18349901135781050363965\ 02331387*c_1001_1^24 + 25362740286620039390919752409146/18349901135\ 78105036396502331387*c_1001_1^23 + 37742315565477884352280419906648/1834990113578105036396502331387*c_\ 1001_1^22 - 35905475113412880700157838302684/1834990113578105036396\ 502331387*c_1001_1^21 - 57553986918071981513078227052660/1834990113\ 578105036396502331387*c_1001_1^20 + 6033996487237128980117914641716/1834990113578105036396502331387*c_1\ 001_1^19 + 141563311439816400485689905402304/1834990113578105036396\ 502331387*c_1001_1^18 + 52581046382236626938208243144560/1834990113\ 578105036396502331387*c_1001_1^17 - 140746066686151633463662687711088/1834990113578105036396502331387*c\ _1001_1^16 - 53469169767482603721409349911490/183499011357810503639\ 6502331387*c_1001_1^15 - 63652769761502728083083972913876/183499011\ 3578105036396502331387*c_1001_1^14 - 45469703845814804410209866850772/1834990113578105036396502331387*c_\ 1001_1^13 + 195802710743498070251613833924832/183499011357810503639\ 6502331387*c_1001_1^12 + 146020545479941122884442279849134/18349901\ 13578105036396502331387*c_1001_1^11 - 2752836590387128174034833305128/166817283052555003308772939217*c_10\ 01_1^10 - 126982212911792559958488270954290/18349901135781050363965\ 02331387*c_1001_1^9 - 113928037734856155802353818177361/18349901135\ 78105036396502331387*c_1001_1^8 + 33214801452905964295191012011742/\ 1834990113578105036396502331387*c_1001_1^7 + 32532754335514124636682449085427/1834990113578105036396502331387*c_\ 1001_1^6 + 209891988172801144752494930708/1668172830525550033087729\ 39217*c_1001_1^5 + 25668322570255333637363295548833/183499011357810\ 5036396502331387*c_1001_1^4 + 475368988881685493337037910872/166817\ 283052555003308772939217*c_1001_1^3 + 1292133147403374746623511446210/1834990113578105036396502331387*c_1\ 001_1^2 - 1272831368073672511063513620078/1834990113578105036396502\ 331387*c_1001_1 - 1858545145917401520412371493933/18349901135781050\ 36396502331387, c_1001_1^33 + c_1001_1^32 - 12*c_1001_1^31 - 11*c_1001_1^30 + 65*c_1001_1^29 + 51*c_1001_1^28 - 204*c_1001_1^27 - 118*c_1001_1^26 + 407*c_1001_1^25 + 107*c_1001_1^24 - 568*c_1001_1^23 + 64*c_1001_1^22 + 708*c_1001_1^21 - 54*c_1001_1^20 - 986*c_1001_1^19 - 616*c_1001_1^18 + 1099*c_1001_1^17 + 1231*c_1001_1^16 - 386*c_1001_1^15 - 242*c_1001_1^14 - 628*c_1001_1^13 - 1736*c_1001_1^12 + 462*c_1001_1^11 + 2050*c_1001_1^10 + 540*c_1001_1^9 - 584*c_1001_1^8 - 674*c_1001_1^7 - 194*c_1001_1^6 + 134*c_1001_1^5 - 66*c_1001_1^4 + 10*c_1001_1^3 + 106*c_1001_1^2 + 33*c_1001_1 + 13 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.320 Total time: 0.520 seconds, Total memory usage: 32.09MB