Magma V2.19-8 Wed Aug 21 2013 00:57:24 on localhost [Seed = 38017221] Type ? for help. Type -D to quit. Loading file "L13n4345__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n4345 geometric_solution 12.53488911 oriented_manifold CS_known 0.0000000000000000 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 0213 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539370030403 0.955469313639 0 0 5 4 0132 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 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.720106915028 1.255097242466 4 0 6 6 0213 0132 2103 0132 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 -1 0 1 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.422289472066 0.656190813601 7 7 0 5 0132 2310 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 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.554131826251 0.739797844400 2 8 1 9 0213 0132 0132 0132 0 0 1 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 -1 -5 0 6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.737927929811 1.004337378943 3 8 10 1 3201 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 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.327889351632 0.792362833556 2 7 2 11 2103 3120 0132 0132 0 1 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 3 -1 -2 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.306488388032 1.077639815819 3 6 12 3 0132 3120 0132 3201 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 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.799979844205 1.087643251976 9 4 12 5 0213 0132 0213 2031 0 0 0 1 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 0 0 1 0 -1 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.640973488081 0.433995092286 8 12 4 11 0213 0213 0132 3201 0 0 0 1 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 -2 0 2 6 0 -6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.396141257582 0.530015640704 12 11 11 5 0213 0321 3201 0132 0 0 0 1 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 0 0 0 0 0 0 0 0 -3 0 3 0 2 -3 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.453352507802 0.878475795539 10 9 6 10 2310 2310 0132 0321 0 1 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 1 0 -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.453352507802 0.878475795539 10 8 9 7 0213 0213 0213 0132 0 0 0 1 0 0 0 0 -1 0 1 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 -2 0 2 0 3 0 0 -3 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.435213575381 0.389185867169 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_3'], 'c_1001_10' : negation(d['c_0101_11']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_0110_8'], 'c_1001_4' : d['c_0011_5'], 'c_1001_7' : negation(d['c_1001_0']), 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : d['c_1001_0'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_0011_6'], 'c_1001_9' : d['c_1001_12'], 'c_1001_8' : d['c_1001_12'], 'c_1010_12' : negation(d['c_1001_0']), 'c_1010_11' : d['c_0110_8'], 'c_1010_10' : d['c_0110_8'], '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' : d['c_0101_11'], 'c_0101_10' : d['c_0011_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' : negation(d['c_1001_0']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_11']), 'c_1100_4' : negation(d['c_0011_11']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0011_11']), 'c_1100_0' : d['c_0011_5'], 'c_1100_3' : d['c_0011_5'], 'c_1100_2' : negation(d['c_0101_11']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_11']), 'c_1100_10' : negation(d['c_0011_11']), 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_6']), 'c_1010_6' : d['c_0011_3'], 'c_1010_5' : d['c_1001_0'], 'c_1010_4' : d['c_1001_12'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0011_5'], 'c_1010_0' : d['c_0011_6'], 'c_1010_9' : negation(d['c_0011_3']), 'c_1010_8' : d['c_0011_5'], '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' : negation(d['c_0011_3']), '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' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_4']), 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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_0011_10']), 'c_0110_10' : d['c_0101_5'], 'c_0110_12' : negation(d['c_0101_5']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_5']), 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0011_4'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0101_9' : negation(d['c_0011_4']), 'c_0101_8' : d['c_0011_10'], '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' : negation(d['c_0110_8']), 'c_0110_8' : d['c_0110_8'], 'c_0110_1' : negation(d['c_0011_0']), 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : negation(d['c_0101_5']), 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_4']), 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_11']})} 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_3, c_0011_4, c_0011_5, c_0011_6, c_0101_1, c_0101_11, c_0101_5, c_0110_8, c_1001_0, c_1001_12 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t - 119186694045981282709794742823846169321486664666040/259619406334059\ 38678826173986814755121814692067*c_1001_12^20 + 35186476752609399432491180649493591349658201132304/1997072356415841\ 436832782614370365778601130159*c_1001_12^19 + 7884311110729047856321949044018399676097294727079/35564302237542381\ 7518166766942667878381023179*c_1001_12^18 - 1398051116299268523432614336089476782806242442364953/86539802111353\ 12892942057995604918373938230689*c_1001_12^17 + 4311952670438616313357956833744827777934328658794251/25961940633405\ 938678826173986814755121814692067*c_1001_12^16 + 16933049806191205036738230013813974566243304315093113/2596194063340\ 5938678826173986814755121814692067*c_1001_12^15 - 10638704765135722837437840696455080449320703026001595/8653980211135\ 312892942057995604918373938230689*c_1001_12^14 - 17219580649103199947129988034424624117824974803838748/2596194063340\ 5938678826173986814755121814692067*c_1001_12^13 + 4126304055518240379443500971410897428418487434202985/96155335679281\ 2543660228666178324263770914521*c_1001_12^12 - 4678966278485455181596642725364485091556148881773874/86539802111353\ 12892942057995604918373938230689*c_1001_12^11 - 174855802016534510894043572142902681828487439525738997/259619406334\ 05938678826173986814755121814692067*c_1001_12^10 + 94808505007848840715283489737525555878033565239432430/2596194063340\ 5938678826173986814755121814692067*c_1001_12^9 + 149140427216505949302854837178774968506112068989097862/259619406334\ 05938678826173986814755121814692067*c_1001_12^8 - 218638161797970107579178211861906912292817627464453659/259619406334\ 05938678826173986814755121814692067*c_1001_12^7 - 7879258923676971320647721613531460599349684136799629/96155335679281\ 2543660228666178324263770914521*c_1001_12^6 + 13739991143566064098130240495861367976334566108356761/2884660070378\ 437630980685998534972791312743563*c_1001_12^5 + 163208980837515823204155521542585445211352356228599659/259619406334\ 05938678826173986814755121814692067*c_1001_12^4 - 85678895371533181281504072359606263504768828149578206/2596194063340\ 5938678826173986814755121814692067*c_1001_12^3 - 69422898942123194281177808081843074256949004076095996/2596194063340\ 5938678826173986814755121814692067*c_1001_12^2 + 22746157541241888371880323331801838727258383018022620/8653980211135\ 312892942057995604918373938230689*c_1001_12 - 17436524238468106599408502059941389400173838553191258/2596194063340\ 5938678826173986814755121814692067, c_0011_0 - 1, c_0011_10 - 4596679255274642148553260589/456592276689838628435315354213\ *c_1001_12^20 + 25265565958991114819030542481/456592276689838628435\ 315354213*c_1001_12^19 - 12154939498874433749101909678/456592276689\ 838628435315354213*c_1001_12^18 - 167538596520984481450373455479/45\ 6592276689838628435315354213*c_1001_12^17 + 399585607987038451961613460338/456592276689838628435315354213*c_100\ 1_12^16 + 226479251685989412607411178891/45659227668983862843531535\ 4213*c_1001_12^15 - 1780901547790912293080100165285/456592276689838\ 628435315354213*c_1001_12^14 + 93605478973418228687963461782/351224\ 82822295279110408873401*c_1001_12^13 + 3700700296849169251713450749272/456592276689838628435315354213*c_10\ 01_12^12 - 5102523382204482610020782480053/456592276689838628435315\ 354213*c_1001_12^11 - 4065586726065108675940557751200/4565922766898\ 38628435315354213*c_1001_12^10 + 8411318051011277900355412590175/45\ 6592276689838628435315354213*c_1001_12^9 + 927525677544017997450078056826/456592276689838628435315354213*c_100\ 1_12^8 - 10727077141869452681740678898932/4565922766898386284353153\ 54213*c_1001_12^7 + 276428339958044809711225225607/4565922766898386\ 28435315354213*c_1001_12^6 + 12371862740156632597594097662320/45659\ 2276689838628435315354213*c_1001_12^5 + 3335516347921445733885818395619/456592276689838628435315354213*c_10\ 01_12^4 - 7513538745383682226318738445183/4565922766898386284353153\ 54213*c_1001_12^3 + 354463994797571227350297820555/4565922766898386\ 28435315354213*c_1001_12^2 + 2505236131714126568422021188082/456592\ 276689838628435315354213*c_1001_12 - 970795855425818922974222624585/456592276689838628435315354213, c_0011_11 - 13520314542035122706469435692/45659227668983862843531535421\ 3*c_1001_12^20 + 60859177596460534838985837092/45659227668983862843\ 5315354213*c_1001_12^19 + 20715724137348432482895023967/45659227668\ 9838628435315354213*c_1001_12^18 - 464299972113110219890433949198/456592276689838628435315354213*c_100\ 1_12^17 + 771622425685436158650561230221/45659227668983862843531535\ 4213*c_1001_12^16 + 1272677707939745027360369318167/456592276689838\ 628435315354213*c_1001_12^15 - 4012499137157136242156985567134/4565\ 92276689838628435315354213*c_1001_12^14 + 47930269710976169920454420629/35122482822295279110408873401*c_1001_\ 12^13 + 10672082075939028948053931388589/45659227668983862843531535\ 4213*c_1001_12^12 - 6459598220088620207606320247761/456592276689838\ 628435315354213*c_1001_12^11 - 13705447583760899416378591723973/456\ 592276689838628435315354213*c_1001_12^10 + 13989531459949382972524404175506/456592276689838628435315354213*c_1\ 001_12^9 + 8480318572948491724971467163620/456592276689838628435315\ 354213*c_1001_12^8 - 23141718829145459584821374177933/4565922766898\ 38628435315354213*c_1001_12^7 - 13107940641915197330298133988022/45\ 6592276689838628435315354213*c_1001_12^6 + 16850513368178228446916595689148/456592276689838628435315354213*c_1\ 001_12^5 + 12194823376921489615383850574071/45659227668983862843531\ 5354213*c_1001_12^4 - 10999125057719170736501061746221/456592276689\ 838628435315354213*c_1001_12^3 - 2751833253975335015197972182543/45\ 6592276689838628435315354213*c_1001_12^2 + 3641168698435178209818987579361/456592276689838628435315354213*c_10\ 01_12 - 976067359339616243040920287845/4565922766898386284353153542\ 13, c_0011_3 - 435473609350636154847140075/456592276689838628435315354213*c\ _1001_12^20 + 238702942699990312640061840/3512248282229527911040887\ 3401*c_1001_12^19 - 4052243126590397747925720537/456592276689838628\ 435315354213*c_1001_12^18 - 17375118523023964825983151586/456592276\ 689838628435315354213*c_1001_12^17 + 57205811276478201982344366483/456592276689838628435315354213*c_1001\ _12^16 - 6778630583991928133380086734/45659227668983862843531535421\ 3*c_1001_12^15 - 227900063513533300878662209593/4565922766898386284\ 35315354213*c_1001_12^14 + 239081259619957754938054544235/456592276\ 689838628435315354213*c_1001_12^13 + 368698654021570272562447710900/456592276689838628435315354213*c_100\ 1_12^12 - 839103259953071188405862096791/45659227668983862843531535\ 4213*c_1001_12^11 - 406754178384299001510899196065/4565922766898386\ 28435315354213*c_1001_12^10 + 1116879213184519506245833751933/45659\ 2276689838628435315354213*c_1001_12^9 + 104182871225182183023276212941/456592276689838628435315354213*c_100\ 1_12^8 - 1190452327107937103779082290666/45659227668983862843531535\ 4213*c_1001_12^7 - 53023827949809064012635722980/456592276689838628\ 435315354213*c_1001_12^6 + 2007425346188898353504895127807/45659227\ 6689838628435315354213*c_1001_12^5 + 967854518055553588383173202388/456592276689838628435315354213*c_100\ 1_12^4 - 1760348554632520754172597765590/45659227668983862843531535\ 4213*c_1001_12^3 - 866947390756754210733141882534/45659227668983862\ 8435315354213*c_1001_12^2 + 413028070675392360496966459089/45659227\ 6689838628435315354213*c_1001_12 - 7643550278437826738298689269/456592276689838628435315354213, c_0011_4 - 1, c_0011_5 + 13520314542035122706469435692/456592276689838628435315354213\ *c_1001_12^20 - 60859177596460534838985837092/456592276689838628435\ 315354213*c_1001_12^19 - 20715724137348432482895023967/456592276689\ 838628435315354213*c_1001_12^18 + 464299972113110219890433949198/45\ 6592276689838628435315354213*c_1001_12^17 - 771622425685436158650561230221/456592276689838628435315354213*c_100\ 1_12^16 - 1272677707939745027360369318167/4565922766898386284353153\ 54213*c_1001_12^15 + 4012499137157136242156985567134/45659227668983\ 8628435315354213*c_1001_12^14 - 47930269710976169920454420629/35122\ 482822295279110408873401*c_1001_12^13 - 10672082075939028948053931388589/456592276689838628435315354213*c_1\ 001_12^12 + 6459598220088620207606320247761/45659227668983862843531\ 5354213*c_1001_12^11 + 13705447583760899416378591723973/45659227668\ 9838628435315354213*c_1001_12^10 - 13989531459949382972524404175506/456592276689838628435315354213*c_1\ 001_12^9 - 8480318572948491724971467163620/456592276689838628435315\ 354213*c_1001_12^8 + 23141718829145459584821374177933/4565922766898\ 38628435315354213*c_1001_12^7 + 13107940641915197330298133988022/45\ 6592276689838628435315354213*c_1001_12^6 - 16850513368178228446916595689148/456592276689838628435315354213*c_1\ 001_12^5 - 12194823376921489615383850574071/45659227668983862843531\ 5354213*c_1001_12^4 + 10999125057719170736501061746221/456592276689\ 838628435315354213*c_1001_12^3 + 2751833253975335015197972182543/45\ 6592276689838628435315354213*c_1001_12^2 - 4097760975125016838254302933574/456592276689838628435315354213*c_10\ 01_12 + 976067359339616243040920287845/4565922766898386284353153542\ 13, c_0011_6 + 8589694624947949975514011256/456592276689838628435315354213*\ c_1001_12^20 - 37870836712058104786379963690/4565922766898386284353\ 15354213*c_1001_12^19 - 10916225206349868254371238557/4565922766898\ 38628435315354213*c_1001_12^18 + 267979477376456009534021953747/456\ 592276689838628435315354213*c_1001_12^17 - 467307934676171305013963187804/456592276689838628435315354213*c_100\ 1_12^16 - 688683089605432816085083300280/45659227668983862843531535\ 4213*c_1001_12^15 + 2181178532844737985251953194450/456592276689838\ 628435315354213*c_1001_12^14 - 571270223955845195775485515472/45659\ 2276689838628435315354213*c_1001_12^13 - 5584997698424734387872090920522/456592276689838628435315354213*c_10\ 01_12^12 + 3261110721330697162279265358515/456592276689838628435315\ 354213*c_1001_12^11 + 5878386412144631873799637129750/4565922766898\ 38628435315354213*c_1001_12^10 - 6979985055323264066088136491177/45\ 6592276689838628435315354213*c_1001_12^9 - 198289397634806619810033905551/35122482822295279110408873401*c_1001\ _12^8 + 11697354208157415516746947278651/45659227668983862843531535\ 4213*c_1001_12^7 + 7448478142845913851288091769992/4565922766898386\ 28435315354213*c_1001_12^6 - 4495005846756612396655904840999/456592\ 276689838628435315354213*c_1001_12^5 - 2402699368251012993962288291604/456592276689838628435315354213*c_10\ 01_12^4 + 5667161163646012354708454095151/4565922766898386284353153\ 54213*c_1001_12^3 - 1082235740723650757522819349733/456592276689838\ 628435315354213*c_1001_12^2 - 167466774558442538840327174354/351224\ 82822295279110408873401*c_1001_12 + 1032848419458706832075897003833/456592276689838628435315354213, c_0101_1 - 9177841671956383487239751930/456592276689838628435315354213*\ c_1001_12^20 + 41512387152182960615570102353/4565922766898386284353\ 15354213*c_1001_12^19 + 918641348908669596136732445/351224828222952\ 79110408873401*c_1001_12^18 - 308630955872703811801951187369/456592\ 276689838628435315354213*c_1001_12^17 + 523521434670080524494083728556/456592276689838628435315354213*c_100\ 1_12^16 + 63553861983005442994932274594/351224828222952791104088734\ 01*c_1001_12^15 - 2649802921919404352995568053715/45659227668983862\ 8435315354213*c_1001_12^14 + 456281832705375083797119663932/4565922\ 76689838628435315354213*c_1001_12^13 + 7008224978116586769402641047402/456592276689838628435315354213*c_10\ 01_12^12 - 4222136552777627626106129020730/456592276689838628435315\ 354213*c_1001_12^11 - 8953226171326888021754802471538/4565922766898\ 38628435315354213*c_1001_12^10 + 703635478010870851974077781427/351\ 22482822295279110408873401*c_1001_12^9 + 5476155563163333266148704082061/456592276689838628435315354213*c_10\ 01_12^8 - 15356759412208496200103500313372/456592276689838628435315\ 354213*c_1001_12^7 - 8868991919302788455076813126914/45659227668983\ 8628435315354213*c_1001_12^6 + 10572188612735042041143033961022/456\ 592276689838628435315354213*c_1001_12^5 + 585622585456504229769682031579/35122482822295279110408873401*c_1001\ _12^4 - 7160660822891132034012162681145/456592276689838628435315354\ 213*c_1001_12^3 - 2023857847724551001728952691232/45659227668983862\ 8435315354213*c_1001_12^2 + 2533041849608904178084604726430/4565922\ 76689838628435315354213*c_1001_12 - 552158623443046073084285458633/456592276689838628435315354213, c_0101_11 + 2450359958868602243009609383/456592276689838628435315354213\ *c_1001_12^20 - 7954398573913592086827226780/4565922766898386284353\ 15354213*c_1001_12^19 - 18177557527711104338776859200/4565922766898\ 38628435315354213*c_1001_12^18 + 82054257300635982561735530882/4565\ 92276689838628435315354213*c_1001_12^17 - 35039155013324887798888827541/456592276689838628435315354213*c_1001\ _12^16 - 418688558988824367142514384567/456592276689838628435315354\ 213*c_1001_12^15 + 471790520705586144589189932341/45659227668983862\ 8435315354213*c_1001_12^14 + 806128300673610630693062774245/4565922\ 76689838628435315354213*c_1001_12^13 - 2155055262707793914740076273837/456592276689838628435315354213*c_10\ 01_12^12 - 1128284767523399897190643244747/456592276689838628435315\ 354213*c_1001_12^11 + 4042992709931872800991585929973/4565922766898\ 38628435315354213*c_1001_12^10 + 465373172730417889177877083218/456\ 592276689838628435315354213*c_1001_12^9 - 4432142206745915712424099090874/456592276689838628435315354213*c_10\ 01_12^8 + 2396779573164398804211591479375/4565922766898386284353153\ 54213*c_1001_12^7 + 7187087114019329325164213506204/456592276689838\ 628435315354213*c_1001_12^6 + 51617406387243349776726570444/4565922\ 76689838628435315354213*c_1001_12^5 - 6013833315973894998434454010914/456592276689838628435315354213*c_10\ 01_12^4 - 1860411447999517685071356532260/4565922766898386284353153\ 54213*c_1001_12^3 + 2325210065727403890436118244627/456592276689838\ 628435315354213*c_1001_12^2 + 203523073884736660692592839694/456592\ 276689838628435315354213*c_1001_12 - 521067213891110096027677246545/456592276689838628435315354213, c_0101_5 + 12213684294196816662400380555/456592276689838628435315354213\ *c_1001_12^20 - 54944358337453297355695871275/456592276689838628435\ 315354213*c_1001_12^19 - 13889741566892453407880494866/456592276689\ 838628435315354213*c_1001_12^18 + 396007930900189755979342073271/45\ 6592276689838628435315354213*c_1001_12^17 - 693940729821381380839549449974/456592276689838628435315354213*c_100\ 1_12^16 - 1008329033772497272930362172163/4565922766898386284353153\ 54213*c_1001_12^15 + 3333005806463744038128622532485/45659227668983\ 8628435315354213*c_1001_12^14 - 847289510159456206603390161958/4565\ 92276689838628435315354213*c_1001_12^13 - 8464645180228690419908419385395/456592276689838628435315354213*c_10\ 01_12^12 + 5341518869068062186485018997311/456592276689838628435315\ 354213*c_1001_12^11 + 9581356411570394421483330261189/4565922766898\ 38628435315354213*c_1001_12^10 - 10699508820978117789820581842316/4\ 56592276689838628435315354213*c_1001_12^9 - 4703801408676333448529889076450/456592276689838628435315354213*c_10\ 01_12^8 + 17290570672554334569438571922467/456592276689838628435315\ 354213*c_1001_12^7 + 11013653785577117048835842985420/4565922766898\ 38628435315354213*c_1001_12^6 - 8924207990048664123200908076540/456\ 592276689838628435315354213*c_1001_12^5 - 7863567481766753980565632594748/456592276689838628435315354213*c_10\ 01_12^4 + 7674388731042535915424748325984/4565922766898386284353153\ 54213*c_1001_12^3 + 1478227139715994983338199699711/456592276689838\ 628435315354213*c_1001_12^2 - 2889080578857793935184687512180/45659\ 2276689838628435315354213*c_1001_12 + 911128298966531011119257702474/456592276689838628435315354213, c_0110_8 + 16516611531329037938534989779/456592276689838628435315354213\ *c_1001_12^20 - 76823896413614022898257163693/456592276689838628435\ 315354213*c_1001_12^19 - 14054258320935524315528995732/456592276689\ 838628435315354213*c_1001_12^18 + 567808984417881253782611409755/45\ 6592276689838628435315354213*c_1001_12^17 - 77910873763514411214481319897/35122482822295279110408873401*c_1001_\ 12^16 - 1422190639648228285718860300951/456592276689838628435315354\ 213*c_1001_12^15 + 5057657308022607845733071915137/4565922766898386\ 28435315354213*c_1001_12^14 - 1293800127415935809669863024236/45659\ 2276689838628435315354213*c_1001_12^13 - 12879293913182200129886664693139/456592276689838628435315354213*c_1\ 001_12^12 + 9156980272121468940880780584627/45659227668983862843531\ 5354213*c_1001_12^11 + 16203884550152931797683789539414/45659227668\ 9838628435315354213*c_1001_12^10 - 18465017068800218128383943678500/456592276689838628435315354213*c_1\ 001_12^9 - 9587887336781530962566905031558/456592276689838628435315\ 354213*c_1001_12^8 + 29143821125290888304728938482185/4565922766898\ 38628435315354213*c_1001_12^7 + 13975386469575055828114284549946/45\ 6592276689838628435315354213*c_1001_12^6 - 23861884840888557566074553543478/456592276689838628435315354213*c_1\ 001_12^5 - 14661148923270401065654810901574/45659227668983862843531\ 5354213*c_1001_12^4 + 15426010819062663263240434070258/456592276689\ 838628435315354213*c_1001_12^3 + 2639853356249711276873686836460/45\ 6592276689838628435315354213*c_1001_12^2 - 5018839772010429675706082762950/456592276689838628435315354213*c_10\ 01_12 + 1556572808660011803434619966717/456592276689838628435315354\ 213, c_1001_0 + 11040054583816552218523620639/456592276689838628435315354213\ *c_1001_12^20 - 3525018098920899759477476190/3512248282229527911040\ 8873401*c_1001_12^19 - 29093782734060972593148097757/45659227668983\ 8628435315354213*c_1001_12^18 + 350033734677091992095757484629/4565\ 92276689838628435315354213*c_1001_12^17 - 502347089689496192812852015345/456592276689838628435315354213*c_100\ 1_12^16 - 1107371648594257183227597684847/4565922766898386284353153\ 54213*c_1001_12^15 + 2652969053550324129841143126791/45659227668983\ 8628435315354213*c_1001_12^14 + 234858076717765434917577258773/4565\ 92276689838628435315354213*c_1001_12^13 - 7740052961132528302612167194359/456592276689838628435315354213*c_10\ 01_12^12 + 2132825953807297265088622113768/456592276689838628435315\ 354213*c_1001_12^11 + 9921379122076504674791223059723/4565922766898\ 38628435315354213*c_1001_12^10 - 6514611882592846176910259407959/45\ 6592276689838628435315354213*c_1001_12^9 - 7009904375998401769954539863037/456592276689838628435315354213*c_10\ 01_12^8 + 14094133781321814320958538758026/456592276689838628435315\ 354213*c_1001_12^7 + 14635565256865243176452305276196/4565922766898\ 38628435315354213*c_1001_12^6 - 4443388440369369046879178270555/456\ 592276689838628435315354213*c_1001_12^5 - 8416532684224907992396742302518/456592276689838628435315354213*c_10\ 01_12^4 + 3806749715646494669637097562891/4565922766898386284353153\ 54213*c_1001_12^3 + 1242974325003753132913298894894/456592276689838\ 628435315354213*c_1001_12^2 - 1973544995375016344231660426908/45659\ 2276689838628435315354213*c_1001_12 + 511781205567596736048219757288/456592276689838628435315354213, c_1001_12^21 - 3*c_1001_12^20 - 8*c_1001_12^19 + 31*c_1001_12^18 - 7*c_1001_12^17 - 171*c_1001_12^16 + 148*c_1001_12^15 + 362*c_1001_12^14 - 806*c_1001_12^13 - 654*c_1001_12^12 + 1531*c_1001_12^11 + 417*c_1001_12^10 - 1862*c_1001_12^9 + 786*c_1001_12^8 + 3265*c_1001_12^7 + 504*c_1001_12^6 - 2129*c_1001_12^5 - 407*c_1001_12^4 + 1134*c_1001_12^3 - 86*c_1001_12^2 - 308*c_1001_12 + 113 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.270 Total time: 0.470 seconds, Total memory usage: 32.09MB