Magma V2.19-8 Tue Aug 20 2013 23:51:41 on localhost [Seed = 3347164380] Type ? for help. Type -D to quit. Loading file "K12n118__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n118 geometric_solution 12.04749287 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 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 1 -1 0 0 -2 2 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.577813279576 0.532226680350 0 5 7 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 1 0 0 -2 2 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184074595253 0.554015566136 7 0 9 8 2103 0132 0132 0132 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 -1 1 0 0 0 0 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.669190490354 0.723394611345 10 11 8 0 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 -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 0 0 0 -0.069360122275 1.296049866993 5 7 0 9 0132 2103 0132 0132 0 0 0 0 0 -1 0 1 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 -3 1 2 2 0 -2 0 -1 1 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.788654406690 0.873050247624 4 1 12 10 0132 0132 0132 3201 0 0 0 0 0 0 0 0 -1 0 0 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 0 0 2 2 0 0 -2 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.015710640513 1.648974472412 9 12 1 8 0213 3012 0132 3120 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 1 -1 0 3 0 -2 -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.453929178751 2.017431891205 10 4 2 1 3201 2103 2103 0132 0 0 0 0 0 0 0 0 -1 0 0 1 0 1 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -2 0 0 2 0 3 0 -3 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.370612359618 0.850484636437 6 11 2 3 3120 0213 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 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.442173840340 0.711397329893 6 10 4 2 0213 0213 0132 0132 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 -1 0 0 1 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.328546545704 0.954987148267 3 5 9 7 0132 2310 0213 2310 0 0 0 0 0 1 -1 0 1 0 0 -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 2 -2 0 2 0 0 -2 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607334026136 1.247082339887 12 3 8 12 2310 0132 0213 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 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.323039310618 0.482159278915 6 11 11 5 1230 1302 3201 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 1 0 -1 0 0 -1 0 1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.323039310618 0.482159278915 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : negation(d['c_0101_2']), 'c_1001_11' : d['c_1001_0'], 'c_1001_10' : negation(d['c_1001_1']), 'c_1001_12' : negation(d['c_0011_8']), 'c_1001_5' : negation(d['c_0011_12']), 'c_1001_4' : d['c_0011_7'], 'c_1001_7' : negation(d['c_0011_0']), 'c_1001_6' : negation(d['c_0011_12']), 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : d['c_0011_7'], 'c_1001_9' : negation(d['c_1001_1']), 'c_1001_8' : d['c_1001_0'], 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : negation(d['c_0101_1']), 's_3_11' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : negation(d['1']), 'c_0101_12' : d['c_0011_8'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0011_9'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_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_10'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_8']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_9' : d['c_1100_0'], 'c_1100_11' : d['c_0011_12'], 'c_1100_10' : d['c_0011_7'], 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_1001_1']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_12']), 'c_1010_0' : d['c_0011_7'], 'c_1010_9' : d['c_0011_7'], 'c_1010_8' : d['c_0011_12'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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' : negation(d['1']), 'c_1100_12' : negation(d['c_0011_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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_9'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_0']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_8']), 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_12' : d['c_0011_6'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : d['c_0011_9'], 'c_0101_5' : d['c_0011_6'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0101_2']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_9'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0101_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_2'], 'c_0110_8' : negation(d['c_0101_2']), 'c_0110_1' : d['c_0011_9'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_9'], 'c_0110_2' : d['c_0101_8'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : d['c_1100_0'], 's_2_9' : d['1']})} 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_12, c_0011_6, c_0011_7, c_0011_8, c_0011_9, c_0101_1, c_0101_2, c_0101_8, c_1001_0, c_1001_1, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 222937839757694164285235442424124931358954961267/549243132312568814\ 3108529920861292131676*c_1100_0^17 - 497885369857414730729771413052264261721052615849/183081044104189604\ 7702843306953764043892*c_1100_0^16 - 390744341574012622046776735888099549865663324809/137310783078142203\ 5777132480215323032919*c_1100_0^15 - 1395291370132135600676791843951507115712428178944/45770261026047401\ 1925710826738441010973*c_1100_0^14 + 42218107293950104429824806248514013357899620518238/4577026102604740\ 11925710826738441010973*c_1100_0^13 + 23758963208585666170465459736592742000945170178751/1961582615402031\ 47968161782887903290417*c_1100_0^12 + 968943030119984006806646688900540735525118706937241/274621566156284\ 4071554264960430646065838*c_1100_0^11 + 458232887138158715744883027090109556423078941269329/137310783078142\ 2035777132480215323032919*c_1100_0^10 + 210251475120316932304061224896149442564771510619609/422494717163514\ 472546809993912407087052*c_1100_0^9 + 6777210867456280669614060611294756144703471107183/24302793465157912\ 137648362481687133326*c_1100_0^8 + 276648098552758870458485038660104627794434787627047/915405220520948\ 023851421653476882021946*c_1100_0^7 + 29343259289172466549988380893406343172037343626241/7846330461608125\ 91872647131551613161668*c_1100_0^6 + 348512405136498526225834275357869623974980719910147/549243132312568\ 8143108529920861292131676*c_1100_0^5 - 7900675256935418477532812513993351843448985712473/20342338233798844\ 9744760367439307115988*c_1100_0^4 - 1907300855503875864429418455297875698873254715120/13731078307814220\ 35777132480215323032919*c_1100_0^3 - 42187919044741739691272878477911259538168061325877/5492431323125688\ 143108529920861292131676*c_1100_0^2 + 638915007225792606389412455370032479139522753/708792272954663587960\ 837517210129324*c_1100_0 - 7421469186982341858042248666228838634634\ 91265649/5492431323125688143108529920861292131676, c_0011_0 - 1, c_0011_10 + 8476376710338991541761124054135/622469030187134432335172044\ 396322*c_1100_0^17 - 76193985839038655133919468395359/6224690301871\ 34432335172044396322*c_1100_0^16 + 45766428718496542792052076550699/311234515093567216167586022198161*\ c_1100_0^15 - 318911951261329625318627317222111/3112345150935672161\ 67586022198161*c_1100_0^14 + 10265267495528187725518765554257760/31\ 1234515093567216167586022198161*c_1100_0^13 - 10130963418669641462316117751081216/3112345150935672161675860221981\ 61*c_1100_0^12 + 31684309515420531357565029191283653/31123451509356\ 7216167586022198161*c_1100_0^11 - 138705616418768118068634959100578\ 82/311234515093567216167586022198161*c_1100_0^10 + 6856712578230247752654320707386841/47882233091318033256551695722794\ *c_1100_0^9 - 26907562373762069183822671232509950/31123451509356721\ 6167586022198161*c_1100_0^8 + 31059999643231582664102892583949974/3\ 11234515093567216167586022198161*c_1100_0^7 - 90944812257114777848680825177672027/6224690301871344323351720443963\ 22*c_1100_0^6 + 27760642752535426202198564021901511/622469030187134\ 432335172044396322*c_1100_0^5 - 51917705633461270824710015991379369\ /622469030187134432335172044396322*c_1100_0^4 + 155448774399737771609301303576041/6622010959437600343991191961663*c\ _1100_0^3 - 3875938227393338811999549233342151/62246903018713443233\ 5172044396322*c_1100_0^2 + 1347616949397384498278426523969/32302492\ 4850614650926399607886*c_1100_0 - 403439404213414067007164957138265\ /622469030187134432335172044396322, c_0011_12 + 8315620398607884777572665978471/933703545280701648502758066\ 594483*c_1100_0^17 - 34972986829237176337905879075735/6224690301871\ 34432335172044396322*c_1100_0^16 - 166365413098517730023180432781391/186740709056140329700551613318896\ 6*c_1100_0^15 - 419594092780490917324661272115447/62246903018713443\ 2335172044396322*c_1100_0^14 + 6231639480276413957515053821278447/3\ 11234515093567216167586022198161*c_1100_0^13 + 64887348878983387977322068452723813/1867407090561403297005516133188\ 966*c_1100_0^12 + 150297652259133046821661714393527533/186740709056\ 1403297005516133188966*c_1100_0^11 + 81138742112170331040072991897664887/9337035452807016485027580665944\ 83*c_1100_0^10 + 15401553354970953110939471552067799/14364669927395\ 4099769655087168382*c_1100_0^9 + 6490611874995275236223696141220054\ 4/933703545280701648502758066594483*c_1100_0^8 + 18243910145575416172188011463626903/3112345150935672161675860221981\ 61*c_1100_0^7 + 19095786239084114369529423745450222/933703545280701\ 648502758066594483*c_1100_0^6 + 29390562397019514647081077567403519\ /1867407090561403297005516133188966*c_1100_0^5 + 3264286186962266098774080452540399/62246903018713443233517204439632\ 2*c_1100_0^4 + 73306516665534567875651814825266/1986603287831280103\ 1973575884989*c_1100_0^3 + 1575577315787519395780435161331925/93370\ 3545280701648502758066594483*c_1100_0^2 + 54771070674828980815973572685/323024924850614650926399607886*c_1100\ _0 - 992448027547456833129108878859575/1867407090561403297005516133\ 188966, c_0011_6 + 72336870503164726902304348663037/186740709056140329700551613\ 3188966*c_1100_0^17 - 184276180286203592736940184103601/62246903018\ 7134432335172044396322*c_1100_0^16 - 35845949002502825183219794756583/933703545280701648502758066594483*\ c_1100_0^15 - 800048583143897937864195075434414/3112345150935672161\ 67586022198161*c_1100_0^14 + 28266960848826086193303047940891468/31\ 1234515093567216167586022198161*c_1100_0^13 + 31132920979089205298857016447655550/9337035452807016485027580665944\ 83*c_1100_0^12 + 187890106031519808998786484708288787/9337035452807\ 01648502758066594483*c_1100_0^11 - 18668808938597005473942647844567956/9337035452807016485027580665944\ 83*c_1100_0^10 + 17941070128814994577195065591000361/14364669927395\ 4099769655087168382*c_1100_0^9 - 1736792404181051767910062786084996\ 16/933703545280701648502758066594483*c_1100_0^8 + 7478303791652685705730739462074453/31123451509356721616758602219816\ 1*c_1100_0^7 - 365145539521835390829986143804509199/186740709056140\ 3297005516133188966*c_1100_0^6 + 6060430939789838475050840540422789\ 1/1867407090561403297005516133188966*c_1100_0^5 - 43098084725817053492428948051414023/6224690301871344323351720443963\ 22*c_1100_0^4 + 488431019057455684935346252277372/19866032878312801\ 031973575884989*c_1100_0^3 - 11435831104250347597003775723260079/18\ 67407090561403297005516133188966*c_1100_0^2 + 1278408016770010055396233389991/323024924850614650926399607886*c_11\ 00_0 - 1040099587662159853372464170792897/1867407090561403297005516\ 133188966, c_0011_7 + 128723654959946164602358842241697/93370354528070164850275806\ 6594483*c_1100_0^17 - 583546382414158835726159554788237/62246903018\ 7134432335172044396322*c_1100_0^16 - 823821614985481615957492388151775/933703545280701648502758066594483\ *c_1100_0^15 - 6353013884388304030760991539859463/62246903018713443\ 2335172044396322*c_1100_0^14 + 195712378789676646394345268644871851\ /622469030187134432335172044396322*c_1100_0^13 + 355429726582890184453736939549904410/933703545280701648502758066594\ 483*c_1100_0^12 + 2126404442706140969965866436921901623/18674070905\ 61403297005516133188966*c_1100_0^11 + 1828851998394001533378749896075080847/18674070905614032970055161331\ 88966*c_1100_0^10 + 107472319417277781603560310359239606/7182334963\ 6977049884827543584191*c_1100_0^9 + 649115100649809772335671698561612919/933703545280701648502758066594\ 483*c_1100_0^8 + 259114659842891991268114323906338405/3112345150935\ 67216167586022198161*c_1100_0^7 - 251621520898145494057139910642893\ 80/933703545280701648502758066594483*c_1100_0^6 + 307089019767893666200744311534821617/186740709056140329700551613318\ 8966*c_1100_0^5 - 46321709342032895945915216473220039/3112345150935\ 67216167586022198161*c_1100_0^4 + 146730991417162393621565404163548\ /19866032878312801031973575884989*c_1100_0^3 - 16931994243486903045774661150787933/9337035452807016485027580665944\ 83*c_1100_0^2 + 1747202085360054801499564614553/3230249248506146509\ 26399607886*c_1100_0 - 594805770581300775452127122564348/9337035452\ 80701648502758066594483, c_0011_8 + 212583630273678938176543775446967/18674070905614032970055161\ 33188966*c_1100_0^17 - 490296640922690222668690404402001/6224690301\ 87134432335172044396322*c_1100_0^16 - 590473953681960234667840356253562/933703545280701648502758066594483\ *c_1100_0^15 - 2605897978875706951108911141507115/31123451509356721\ 6167586022198161*c_1100_0^14 + 81117620163485523583205522157599961/\ 311234515093567216167586022198161*c_1100_0^13 + 264397992506273044540206545680687732/933703545280701648502758066594\ 483*c_1100_0^12 + 851752492482223122817996610567616148/933703545280\ 701648502758066594483*c_1100_0^11 + 650011080432608285660831617036682002/933703545280701648502758066594\ 483*c_1100_0^10 + 164985676476832743137878699085992315/143646699273\ 954099769655087168382*c_1100_0^9 + 374587795168392172439660688909276847/933703545280701648502758066594\ 483*c_1100_0^8 + 186753661315386193079276899318158070/3112345150935\ 67216167586022198161*c_1100_0^7 - 286079927607920198447449166408899\ 993/1867407090561403297005516133188966*c_1100_0^6 + 221792855384170139252812818055455161/186740709056140329700551613318\ 8966*c_1100_0^5 - 103060312891464062633676300398730721/622469030187\ 134432335172044396322*c_1100_0^4 + 444718635876827072827391680935545/19866032878312801031973575884989*\ c_1100_0^3 - 32250793692134670732898608536993609/186740709056140329\ 7005516133188966*c_1100_0^2 + 2563496716398577068108227967055/32302\ 4924850614650926399607886*c_1100_0 - 824621777900657979867883808977289/186740709056140329700551613318896\ 6, c_0011_9 + 7493571708726656090726164126413/3112345150935672161675860221\ 98161*c_1100_0^17 - 49350935844492914638070784124306/31123451509356\ 7216167586022198161*c_1100_0^16 - 53820141629104431373692274785131/\ 311234515093567216167586022198161*c_1100_0^15 - 599098918744694586076187688944694/311234515093567216167586022198161\ *c_1100_0^14 + 16930292573228694095340104785023871/3112345150935672\ 16167586022198161*c_1100_0^13 + 24018509633875586034741457999254365\ /311234515093567216167586022198161*c_1100_0^12 + 77886019569236998999596833555373295/3112345150935672161675860221981\ 61*c_1100_0^11 + 81568520207507494544157972884337067/31123451509356\ 7216167586022198161*c_1100_0^10 + 928415354267841215224125979026692\ 6/23941116545659016628275847861397*c_1100_0^9 + 72590742841177198511223419651962112/3112345150935672161675860221981\ 61*c_1100_0^8 + 67745943999672312668039591987723346/311234515093567\ 216167586022198161*c_1100_0^7 + 2491157848724621662983467529642584/\ 311234515093567216167586022198161*c_1100_0^6 + 4178129956840838380274663218688420/31123451509356721616758602219816\ 1*c_1100_0^5 - 14504214358677735698336207181784704/3112345150935672\ 16167586022198161*c_1100_0^4 - 72196724271646599086087315494613/662\ 2010959437600343991191961663*c_1100_0^3 - 523490691138835298527025129991851/311234515093567216167586022198161\ *c_1100_0^2 + 110401549174467185649645635208/1615124624253073254631\ 99803943*c_1100_0 + 45574671606831951186957712864191/31123451509356\ 7216167586022198161, c_0101_1 - 11066920452895111839461341814221/933703545280701648502758066\ 594483*c_1100_0^17 + 20682479833351238615465317465063/3112345150935\ 67216167586022198161*c_1100_0^16 + 328087536508516721076780174224299/186740709056140329700551613318896\ 6*c_1100_0^15 + 297666370348921150789004458125753/31123451509356721\ 6167586022198161*c_1100_0^14 - 16245030983535936146169131549858639/\ 622469030187134432335172044396322*c_1100_0^13 - 122044125598114869005187272308493153/186740709056140329700551613318\ 8966*c_1100_0^12 - 120927180486111449112996558491656666/93370354528\ 0701648502758066594483*c_1100_0^11 - 300071460332089215530262422078081207/186740709056140329700551613318\ 8966*c_1100_0^10 - 23304391899179778490564844967151873/143646699273\ 954099769655087168382*c_1100_0^9 - 105944739279861643706131027058814100/933703545280701648502758066594\ 483*c_1100_0^8 - 18028207002807036386554343548685555/31123451509356\ 7216167586022198161*c_1100_0^7 - 1599295668059361558984928890182506\ 3/933703545280701648502758066594483*c_1100_0^6 + 3762521778563243872169264286343469/93370354528070164850275806659448\ 3*c_1100_0^5 - 489963319797240527192560400576693/622469030187134432\ 335172044396322*c_1100_0^4 + 66047014423746758401100662238974/19866\ 032878312801031973575884989*c_1100_0^3 - 1316230524178188509606666930088098/93370354528070164850275806659448\ 3*c_1100_0^2 + 362783753214622338239431512244/161512462425307325463\ 199803943*c_1100_0 - 85102428848565480926146889658907/1867407090561\ 403297005516133188966, c_0101_2 + c_1100_0, c_0101_8 + 10389059932326167770970956230532/311234515093567216167586022\ 198161*c_1100_0^17 - 72700858796601180499428062441048/3112345150935\ 67216167586022198161*c_1100_0^16 - 112177700091200263387998298872675/622469030187134432335172044396322\ *c_1100_0^15 - 729479943286957143393118887464634/311234515093567216\ 167586022198161*c_1100_0^14 + 47713413416124978303212626568454271/6\ 22469030187134432335172044396322*c_1100_0^13 + 48456415253741049964316739743498005/6224690301871344323351720443963\ 22*c_1100_0^12 + 71805520492775824870033070643330966/31123451509356\ 7216167586022198161*c_1100_0^11 + 103380123005820433623214493527619\ 787/622469030187134432335172044396322*c_1100_0^10 + 12525891031259400360287549899123815/4788223309131803325655169572279\ 4*c_1100_0^9 + 27811151308882734442996391560813114/3112345150935672\ 16167586022198161*c_1100_0^8 + 42086640948944530836466806688512119/\ 311234515093567216167586022198161*c_1100_0^7 - 6682398526229283227690772607556941/31123451509356721616758602219816\ 1*c_1100_0^6 + 7403289839453671244997837024546020/31123451509356721\ 6167586022198161*c_1100_0^5 - 15268143903321091281858499982517255/6\ 22469030187134432335172044396322*c_1100_0^4 - 41962668225832336043139675007441/6622010959437600343991191961663*c_\ 1100_0^3 - 375742930007652202033245626070997/3112345150935672161675\ 86022198161*c_1100_0^2 - 102889790281714508988741636513/16151246242\ 5307325463199803943*c_1100_0 + 157971206824057696569960352824833/62\ 2469030187134432335172044396322, c_1001_0 - 72336870503164726902304348663037/186740709056140329700551613\ 3188966*c_1100_0^17 + 184276180286203592736940184103601/62246903018\ 7134432335172044396322*c_1100_0^16 + 35845949002502825183219794756583/933703545280701648502758066594483*\ c_1100_0^15 + 800048583143897937864195075434414/3112345150935672161\ 67586022198161*c_1100_0^14 - 28266960848826086193303047940891468/31\ 1234515093567216167586022198161*c_1100_0^13 - 31132920979089205298857016447655550/9337035452807016485027580665944\ 83*c_1100_0^12 - 187890106031519808998786484708288787/9337035452807\ 01648502758066594483*c_1100_0^11 + 18668808938597005473942647844567956/9337035452807016485027580665944\ 83*c_1100_0^10 - 17941070128814994577195065591000361/14364669927395\ 4099769655087168382*c_1100_0^9 + 1736792404181051767910062786084996\ 16/933703545280701648502758066594483*c_1100_0^8 - 7478303791652685705730739462074453/31123451509356721616758602219816\ 1*c_1100_0^7 + 365145539521835390829986143804509199/186740709056140\ 3297005516133188966*c_1100_0^6 - 6060430939789838475050840540422789\ 1/1867407090561403297005516133188966*c_1100_0^5 + 43098084725817053492428948051414023/6224690301871344323351720443963\ 22*c_1100_0^4 - 488431019057455684935346252277372/19866032878312801\ 031973575884989*c_1100_0^3 + 11435831104250347597003775723260079/18\ 67407090561403297005516133188966*c_1100_0^2 - 1278408016770010055396233389991/323024924850614650926399607886*c_11\ 00_0 + 1040099587662159853372464170792897/1867407090561403297005516\ 133188966, c_1001_1 + 6382779172700377011921270497935/9337035452807016485027580665\ 94483*c_1100_0^17 - 10837050331189635325188393154998/31123451509356\ 7216167586022198161*c_1100_0^16 - 229725367237714322571502953990991\ /1867407090561403297005516133188966*c_1100_0^15 - 180683045095562626557795386378238/311234515093567216167586022198161\ *c_1100_0^14 + 9164769112198262823474283623532425/62246903018713443\ 2335172044396322*c_1100_0^13 + 84904856300611518055768712449916897/\ 1867407090561403297005516133188966*c_1100_0^12 + 82859650035555283889203528472713576/9337035452807016485027580665944\ 83*c_1100_0^11 + 273163190031969157160354670361267571/1867407090561\ 403297005516133188966*c_1100_0^10 + 23084824131332123821227555051430027/1436466992739540997696550871683\ 82*c_1100_0^9 + 157981618301322841420002148772798560/93370354528070\ 1648502758066594483*c_1100_0^8 + 3357202926850619127662139383891339\ 5/311234515093567216167586022198161*c_1100_0^7 + 72618404213413348027314608195125489/9337035452807016485027580665944\ 83*c_1100_0^6 + 8468301584509079010872031891567646/9337035452807016\ 48502758066594483*c_1100_0^5 + 5154411398841090806979969357775875/6\ 22469030187134432335172044396322*c_1100_0^4 - 275015864384100949906224104596804/19866032878312801031973575884989*\ c_1100_0^3 + 1205457848094660900463472362389641/9337035452807016485\ 02758066594483*c_1100_0^2 - 285404420884546977710893859597/16151246\ 2425307325463199803943*c_1100_0 + 251617396328256522182978628557998\ 9/1867407090561403297005516133188966, c_1100_0^18 - 7*c_1100_0^17 - 5*c_1100_0^16 - 73*c_1100_0^15 + 2295*c_1100_0^14 + 2302*c_1100_0^13 + 7797*c_1100_0^12 + 5613*c_1100_0^11 + 9793*c_1100_0^10 + 3191*c_1100_0^9 + 5384*c_1100_0^8 - 1313*c_1100_0^7 + 1287*c_1100_0^6 - 1426*c_1100_0^5 + 253*c_1100_0^4 - 179*c_1100_0^3 + 79*c_1100_0^2 - 10*c_1100_0 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 3.480 Total time: 3.690 seconds, Total memory usage: 89.88MB