Magma V2.19-8 Tue Aug 20 2013 23:38:49 on localhost [Seed = 3937177263] Type ? for help. Type -D to quit. Loading file "K11a238__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11a238 geometric_solution 10.84671087 oriented_manifold CS_known 0.0000000000000000 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0.291609363925 0.579635915279 0 4 6 5 0132 2103 0132 0132 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.561119638169 0.603567575327 4 0 7 3 3012 0132 0132 1230 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 -1 1 0 1 0 -1 0 0 0 0 0 -7 1 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.845541644483 0.691858813552 2 3 3 0 3012 3201 2310 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.828545820282 1.287999998262 7 1 0 2 1023 2103 0132 1230 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 1 -1 0 0 0 0 0 -7 0 7 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.489696699633 0.886430068252 7 8 1 9 2031 0132 0132 0132 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 7 -7 -1 0 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.901840932619 0.824603425053 9 7 8 1 0132 2031 0132 0132 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 -6 6 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.901840932619 0.824603425053 6 4 5 2 1302 1023 1302 0132 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 1 -1 -1 0 0 1 6 0 0 -6 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.173790164793 0.888711485084 10 5 11 6 0132 0132 0132 0132 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 6 -6 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.448426315964 0.388741755602 6 11 5 10 0132 0132 0132 0132 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 7 -7 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.448426315964 0.388741755602 8 11 9 11 0132 1023 0132 0132 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 -1 7 -6 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.441661835175 1.453303069583 10 9 10 8 1023 0132 0132 0132 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 6 -6 1 0 -1 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.441661835175 1.453303069583 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_11'], 'c_1001_10' : d['c_0101_11'], 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0101_1'], 'c_1001_6' : negation(d['c_0101_2']), 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0101_3'], 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_1001_8'], 'c_1001_8' : d['c_1001_8'], 'c_1010_11' : d['c_1001_8'], 'c_1010_10' : d['c_0101_11'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : negation(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_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' : 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_0011_11' : d['c_0011_10'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_0011_3'], 'c_1100_7' : d['c_0101_0'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0011_3'], 'c_1100_3' : d['c_0011_3'], 'c_1100_2' : d['c_0101_0'], 's_3_11' : d['1'], 'c_1100_9' : d['c_1100_1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1100_1'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_1001_8'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_0101_3'], 'c_1010_2' : d['c_0101_3'], 'c_1010_1' : negation(d['c_0101_2']), 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : negation(d['c_0101_2']), 'c_1100_8' : d['c_1100_1'], 's_3_1' : d['1'], 's_3_0' : negation(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' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 's_1_7' : negation(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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_10'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_4'], 'c_0011_6' : 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' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_11'], 'c_0110_10' : d['c_0101_11'], 'c_0101_7' : negation(d['c_0011_10']), 'c_0101_6' : d['c_0101_10'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_1'], 'c_0101_8' : d['c_0101_11'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_3'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_0']), 'c_0110_7' : d['c_0101_2'], 'c_0110_6' : d['c_0101_1']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_2, c_0101_3, c_1001_8, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 6314670798374226940717545140597981044505277842033/57748928262697838\ 977888351977844808164498842856*c_1100_1^31 - 5033505928776532427588364969995462319946990701447/14437232065674459\ 744472087994461202041124710714*c_1100_1^30 + 474552340695146838651011563780251532228159212681/721861603283722987\ 2236043997230601020562355357*c_1100_1^29 + 106476318156454805627730381455775644283979148274141/577489282626978\ 38977888351977844808164498842856*c_1100_1^28 - 170990332930568479071490325105119258144770048215097/577489282626978\ 38977888351977844808164498842856*c_1100_1^27 - 75771529276991455123600901196638504292519517706761/1443723206567445\ 9744472087994461202041124710714*c_1100_1^26 + 76342743923113360070406210568162802210486126466875/7218616032837229\ 872236043997230601020562355357*c_1100_1^25 + 84245070089984718063907674912615317467480959378153/7218616032837229\ 872236043997230601020562355357*c_1100_1^24 - 282191399353507328258332448394066800062981460481023/824984689467111\ 9853984050282549258309214120408*c_1100_1^23 - 160217937627831469124275654210783550884766830245503/288744641313489\ 19488944175988922404082249421428*c_1100_1^22 + 1090188068767615156027579334208203614166750030809675/82498468946711\ 19853984050282549258309214120408*c_1100_1^21 - 101809491114253573559164372314605711323052024191733/103123086183388\ 9981748006285318657288651765051*c_1100_1^20 - 16297344554944090835258073863971689170258991923173533/5774892826269\ 7838977888351977844808164498842856*c_1100_1^19 + 21760645531755465836590620009189582670765743922963513/5774892826269\ 7838977888351977844808164498842856*c_1100_1^18 + 13043458028283121589862075269909642689893747838357061/5774892826269\ 7838977888351977844808164498842856*c_1100_1^17 - 9853462914647019540050559882206066495889162863603381/14437232065674\ 459744472087994461202041124710714*c_1100_1^16 + 6156207628128666760213051532256663055248276304420193/57748928262697\ 838977888351977844808164498842856*c_1100_1^15 + 43525008865869259059994652237337394785885502125747223/5774892826269\ 7838977888351977844808164498842856*c_1100_1^14 - 19606797427944657773091501486736019876854610848210125/5774892826269\ 7838977888351977844808164498842856*c_1100_1^13 - 382012555487142175796761029197046532228119396728491/704255222715827\ 304608394536315180587371937108*c_1100_1^12 + 2351886319957416058448482049887329547582211381041889/82498468946711\ 19853984050282549258309214120408*c_1100_1^11 + 3081636774812270358345060821159054211514853940664005/14437232065674\ 459744472087994461202041124710714*c_1100_1^10 - 8189405689015457313958351143176479748215496593550353/57748928262697\ 838977888351977844808164498842856*c_1100_1^9 + 39288219924303233492312760297967744727736187450042/7218616032837229\ 872236043997230601020562355357*c_1100_1^8 + 3840826367078522622664332835442217379586966882289569/57748928262697\ 838977888351977844808164498842856*c_1100_1^7 - 2612177877284177874671923413107503536745721724803823/57748928262697\ 838977888351977844808164498842856*c_1100_1^6 - 295461537840918275710045772798902344878055791977047/824984689467111\ 9853984050282549258309214120408*c_1100_1^5 + 31026505169114783472475822423688109565193245624775/2062461723667779\ 963496012570637314577303530102*c_1100_1^4 + 746985252533710662160878425650587304755699583302747/577489282626978\ 38977888351977844808164498842856*c_1100_1^3 - 12718971679986831643452033558563152047206901608515/2887446413134891\ 9488944175988922404082249421428*c_1100_1^2 - 7997916000552595857709597240907262736664934150469/41249234473355599\ 26992025141274629154607060204*c_1100_1 - 21189608348551606389768528888861231383972033592397/5774892826269783\ 8977888351977844808164498842856, c_0011_0 - 1, c_0011_10 + c_1100_1, c_0011_3 + 178237390697037370604811552740438925804199/34454756492946541\ 3213500262385117704193707*c_1100_1^31 - 471495717707188626655355788710971276010551/344547564929465413213500\ 262385117704193707*c_1100_1^30 - 1557186244928456786195681480230996\ 32741062/344547564929465413213500262385117704193707*c_1100_1^29 + 2882810461029262441873003261574499763481513/34454756492946541321350\ 0262385117704193707*c_1100_1^28 - 601322746603341937101760972856539\ 8570027145/689095129858930826427000524770235408387414*c_1100_1^27 - 10616957155674017702365519895716794691606718/3445475649294654132135\ 00262385117704193707*c_1100_1^26 + 10936596422046832402432288365623909515964164/3445475649294654132135\ 00262385117704193707*c_1100_1^25 + 27828769239554301529142599849191217332871417/3445475649294654132135\ 00262385117704193707*c_1100_1^24 - 41160812369357355509049999116845293443154266/3445475649294654132135\ 00262385117704193707*c_1100_1^23 - 77592390059077366131473746777431412398738095/6890951298589308264270\ 00524770235408387414*c_1100_1^22 + 395774284597323210156173953819001106094742467/689095129858930826427\ 000524770235408387414*c_1100_1^21 - 34173521287458707325703895117709404627344820/3445475649294654132135\ 00262385117704193707*c_1100_1^20 - 1012866393173551972246026461512814596128447481/68909512985893082642\ 7000524770235408387414*c_1100_1^19 + 580653165326549922643451035380424196232985315/689095129858930826427\ 000524770235408387414*c_1100_1^18 + 666998032214757383171832817581974256651230802/344547564929465413213\ 500262385117704193707*c_1100_1^17 - 1494319091062489132118700768626448341776460529/68909512985893082642\ 7000524770235408387414*c_1100_1^16 - 1041502245850302868146749220841802580067797837/68909512985893082642\ 7000524770235408387414*c_1100_1^15 + 1180850924418784263169462894273532809883679887/34454756492946541321\ 3500262385117704193707*c_1100_1^14 + 634358673224356866053042034425224820707430533/689095129858930826427\ 000524770235408387414*c_1100_1^13 - 2323659073910957946694466313113152561723971947/68909512985893082642\ 7000524770235408387414*c_1100_1^12 - 319089509611385223031822799101277447325985661/689095129858930826427\ 000524770235408387414*c_1100_1^11 + 1272691152854864750396289177437273068383010011/68909512985893082642\ 7000524770235408387414*c_1100_1^10 - 27614730838486341878313604866624422790534545/6890951298589308264270\ 00524770235408387414*c_1100_1^9 - 322671081888252507363230556434233\ 149291108011/689095129858930826427000524770235408387414*c_1100_1^8 + 275688967853413455419692876137667369783359115/689095129858930826427\ 000524770235408387414*c_1100_1^7 + 25275031170890618140451125339105498698914185/6890951298589308264270\ 00524770235408387414*c_1100_1^6 - 226064910294894129474855071189691\ 771178780843/689095129858930826427000524770235408387414*c_1100_1^5 - 11451303900459197507496418297427097345715743/3445475649294654132135\ 00262385117704193707*c_1100_1^4 + 689350988987268681490883842075559\ 80754098041/689095129858930826427000524770235408387414*c_1100_1^3 + 14045891135419837043934377451266329970412789/6890951298589308264270\ 00524770235408387414*c_1100_1^2 - 637738560870436346696414555444170\ 6421790325/689095129858930826427000524770235408387414*c_1100_1 - 2130018845369631056536962835087315163253991/68909512985893082642700\ 0524770235408387414, c_0011_4 - 83335054480097732303678764010747013518879/689095129858930826\ 427000524770235408387414*c_1100_1^31 + 145587305694013390883431545037097783305695/344547564929465413213500\ 262385117704193707*c_1100_1^30 + 2771317672633201881312940885724887\ 4537241/689095129858930826427000524770235408387414*c_1100_1^29 - 1967923297246098230751428386782443836160499/68909512985893082642700\ 0524770235408387414*c_1100_1^28 + 310589511751364253574280498887174\ 6539111109/689095129858930826427000524770235408387414*c_1100_1^27 + 2806244062990478788158435782741241337455212/34454756492946541321350\ 0262385117704193707*c_1100_1^26 - 146126081334066344784203133761088\ 12662768563/689095129858930826427000524770235408387414*c_1100_1^25 - 10622028101271267854114503370262824629418467/6890951298589308264270\ 00524770235408387414*c_1100_1^24 + 22275605706037408354950968662104018124314717/3445475649294654132135\ 00262385117704193707*c_1100_1^23 + 2914541276767820895981024013803445385486991/68909512985893082642700\ 0524770235408387414*c_1100_1^22 - 748475594249425325241525666301188\ 17700440662/344547564929465413213500262385117704193707*c_1100_1^21 + 126700733237077495376407997507737091572004915/689095129858930826427\ 000524770235408387414*c_1100_1^20 + 357941028573873366241021492421354570774727033/689095129858930826427\ 000524770235408387414*c_1100_1^19 - 288235615490724449022221652467830760536653158/344547564929465413213\ 500262385117704193707*c_1100_1^18 - 160899519238190016845807540883424053489915508/344547564929465413213\ 500262385117704193707*c_1100_1^17 + 1186019217936033235857405729711881931272025023/68909512985893082642\ 7000524770235408387414*c_1100_1^16 - 172872983703144305678312475394526011600816937/344547564929465413213\ 500262385117704193707*c_1100_1^15 - 1323562817824967496458238706769580107742875019/68909512985893082642\ 7000524770235408387414*c_1100_1^14 + 535301538679071602109283720971288165496708319/344547564929465413213\ 500262385117704193707*c_1100_1^13 + 821457717874999654295539481676891722828679495/689095129858930826427\ 000524770235408387414*c_1100_1^12 - 1037326351293783428717532945427778542568450059/68909512985893082642\ 7000524770235408387414*c_1100_1^11 - 107069998299039084944468008477279012891545203/344547564929465413213\ 500262385117704193707*c_1100_1^10 + 260822510377856446814171994274197187524402458/344547564929465413213\ 500262385117704193707*c_1100_1^9 - 132158992965373288981476069985465633529252737/689095129858930826427\ 000524770235408387414*c_1100_1^8 - 69254872278455766365069732506584564113961265/3445475649294654132135\ 00262385117704193707*c_1100_1^7 + 170314436328956518837956834550279\ 799157410259/689095129858930826427000524770235408387414*c_1100_1^6 + 9055216383371099764600752001314034167252071/34454756492946541321350\ 0262385117704193707*c_1100_1^5 - 3514595037622223635139937328513437\ 1273557495/344547564929465413213500262385117704193707*c_1100_1^4 - 5219366356408320716376279428796772414219865/68909512985893082642700\ 0524770235408387414*c_1100_1^3 + 9843159445447408088096748121513245\ 291321447/689095129858930826427000524770235408387414*c_1100_1^2 + 908058245174208199498694031979859394396195/344547564929465413213500\ 262385117704193707*c_1100_1 - 4194863032868535154668677398436003408\ 40233/689095129858930826427000524770235408387414, c_0101_0 - 83335054480097732303678764010747013518879/689095129858930826\ 427000524770235408387414*c_1100_1^31 + 145587305694013390883431545037097783305695/344547564929465413213500\ 262385117704193707*c_1100_1^30 + 2771317672633201881312940885724887\ 4537241/689095129858930826427000524770235408387414*c_1100_1^29 - 1967923297246098230751428386782443836160499/68909512985893082642700\ 0524770235408387414*c_1100_1^28 + 310589511751364253574280498887174\ 6539111109/689095129858930826427000524770235408387414*c_1100_1^27 + 2806244062990478788158435782741241337455212/34454756492946541321350\ 0262385117704193707*c_1100_1^26 - 146126081334066344784203133761088\ 12662768563/689095129858930826427000524770235408387414*c_1100_1^25 - 10622028101271267854114503370262824629418467/6890951298589308264270\ 00524770235408387414*c_1100_1^24 + 22275605706037408354950968662104018124314717/3445475649294654132135\ 00262385117704193707*c_1100_1^23 + 2914541276767820895981024013803445385486991/68909512985893082642700\ 0524770235408387414*c_1100_1^22 - 748475594249425325241525666301188\ 17700440662/344547564929465413213500262385117704193707*c_1100_1^21 + 126700733237077495376407997507737091572004915/689095129858930826427\ 000524770235408387414*c_1100_1^20 + 357941028573873366241021492421354570774727033/689095129858930826427\ 000524770235408387414*c_1100_1^19 - 288235615490724449022221652467830760536653158/344547564929465413213\ 500262385117704193707*c_1100_1^18 - 160899519238190016845807540883424053489915508/344547564929465413213\ 500262385117704193707*c_1100_1^17 + 1186019217936033235857405729711881931272025023/68909512985893082642\ 7000524770235408387414*c_1100_1^16 - 172872983703144305678312475394526011600816937/344547564929465413213\ 500262385117704193707*c_1100_1^15 - 1323562817824967496458238706769580107742875019/68909512985893082642\ 7000524770235408387414*c_1100_1^14 + 535301538679071602109283720971288165496708319/344547564929465413213\ 500262385117704193707*c_1100_1^13 + 821457717874999654295539481676891722828679495/689095129858930826427\ 000524770235408387414*c_1100_1^12 - 1037326351293783428717532945427778542568450059/68909512985893082642\ 7000524770235408387414*c_1100_1^11 - 107069998299039084944468008477279012891545203/344547564929465413213\ 500262385117704193707*c_1100_1^10 + 260822510377856446814171994274197187524402458/344547564929465413213\ 500262385117704193707*c_1100_1^9 - 132158992965373288981476069985465633529252737/689095129858930826427\ 000524770235408387414*c_1100_1^8 - 69254872278455766365069732506584564113961265/3445475649294654132135\ 00262385117704193707*c_1100_1^7 + 170314436328956518837956834550279\ 799157410259/689095129858930826427000524770235408387414*c_1100_1^6 + 9055216383371099764600752001314034167252071/34454756492946541321350\ 0262385117704193707*c_1100_1^5 - 3514595037622223635139937328513437\ 1273557495/344547564929465413213500262385117704193707*c_1100_1^4 - 5219366356408320716376279428796772414219865/68909512985893082642700\ 0524770235408387414*c_1100_1^3 + 9843159445447408088096748121513245\ 291321447/689095129858930826427000524770235408387414*c_1100_1^2 + 908058245174208199498694031979859394396195/344547564929465413213500\ 262385117704193707*c_1100_1 - 4194863032868535154668677398436003408\ 40233/689095129858930826427000524770235408387414, c_0101_1 - 23563601743073217928747257194634260721875/689095129858930826\ 427000524770235408387414*c_1100_1^31 + 34487048195594582907555254025317935485643/3445475649294654132135002\ 62385117704193707*c_1100_1^30 + 15358521518622634132313185231869448\ 7960231/689095129858930826427000524770235408387414*c_1100_1^29 - 914756589328170407893112212744946846603385/689095129858930826427000\ 524770235408387414*c_1100_1^28 + 8272969008971378408875057705165362\ 93349415/689095129858930826427000524770235408387414*c_1100_1^27 + 1773355854807645502877643716991461703344698/34454756492946541321350\ 0262385117704193707*c_1100_1^26 - 664008626104171724451017358313151\ 7429166573/689095129858930826427000524770235408387414*c_1100_1^25 - 7950862923965389453893390054779849087227085/68909512985893082642700\ 0524770235408387414*c_1100_1^24 + 105736943380687598240414402087864\ 92581638189/344547564929465413213500262385117704193707*c_1100_1^23 + 11764252021455770999572847619110556269878905/6890951298589308264270\ 00524770235408387414*c_1100_1^22 - 36341111092596993526566986947465134164496759/3445475649294654132135\ 00262385117704193707*c_1100_1^21 + 25898338014180792032693849526606521203149633/6890951298589308264270\ 00524770235408387414*c_1100_1^20 + 227140908679620059186528982714714014528134545/689095129858930826427\ 000524770235408387414*c_1100_1^19 - 125365685104791543417726525021628730068685052/344547564929465413213\ 500262385117704193707*c_1100_1^18 - 167066181389243722238776157135889699684383032/344547564929465413213\ 500262385117704193707*c_1100_1^17 + 688626011972933251245874497451239008720025057/689095129858930826427\ 000524770235408387414*c_1100_1^16 + 8809727552656207058282604845693666282133255/34454756492946541321350\ 0262385117704193707*c_1100_1^15 - 950623399428901169399911711766263\ 363344218727/689095129858930826427000524770235408387414*c_1100_1^14 + 264685682647854499537966861435652820938461262/3445475649294654132\ 13500262385117704193707*c_1100_1^13 + 726856219449181211394164612268717641877592851/689095129858930826427\ 000524770235408387414*c_1100_1^12 - 661025264086830653087079981001350683932882855/689095129858930826427\ 000524770235408387414*c_1100_1^11 - 143078897750305181852242528930454640335545634/344547564929465413213\ 500262385117704193707*c_1100_1^10 + 194175476409860442314896526767942802136500283/344547564929465413213\ 500262385117704193707*c_1100_1^9 - 30279216547590536034721898118021802767339929/6890951298589308264270\ 00524770235408387414*c_1100_1^8 - 635751415195078163598423591773034\ 88594486605/344547564929465413213500262385117704193707*c_1100_1^7 + 110008113350560105755838011398580149263822787/689095129858930826427\ 000524770235408387414*c_1100_1^6 + 13018978366252115965846196619709994718638234/3445475649294654132135\ 00262385117704193707*c_1100_1^5 - 271152550798155357701474517892823\ 79424465701/344547564929465413213500262385117704193707*c_1100_1^4 - 7413726781563659430728012631733390250422801/68909512985893082642700\ 0524770235408387414*c_1100_1^3 + 7790279334315589583952167461680652\ 221184949/689095129858930826427000524770235408387414*c_1100_1^2 + 1069402060550272937256537616207550859875237/34454756492946541321350\ 0262385117704193707*c_1100_1 - 188321093860544191002903112131293009\ 448251/689095129858930826427000524770235408387414, c_0101_10 + 964203170007826579326088483994731615230/3445475649294654132\ 13500262385117704193707*c_1100_1^31 - 47975814323996594285402614829252573407975/6890951298589308264270005\ 24770235408387414*c_1100_1^30 + 28449018617002308358443253743106953\ 0497057/689095129858930826427000524770235408387414*c_1100_1^29 - 531609819813020773192598236420592182244105/689095129858930826427000\ 524770235408387414*c_1100_1^28 - 2152930092421046745500536424941038\ 33633535/344547564929465413213500262385117704193707*c_1100_1^27 + 3395023546554079190431197157576126238406939/68909512985893082642700\ 0524770235408387414*c_1100_1^26 - 143473060071207514083502106221251\ 8321694805/344547564929465413213500262385117704193707*c_1100_1^25 - 4315291170464130421359495583557681141032136/34454756492946541321350\ 0262385117704193707*c_1100_1^24 + 111039325147660843483704665685770\ 39033022987/689095129858930826427000524770235408387414*c_1100_1^23 + 21051951510843300358011169572583973593505659/6890951298589308264270\ 00524770235408387414*c_1100_1^22 - 22176388379910087833267872070306876672822844/3445475649294654132135\ 00262385117704193707*c_1100_1^21 - 18414344517872201658313162335960910278397117/3445475649294654132135\ 00262385117704193707*c_1100_1^20 + 101336437316670762982611527087215845270612048/344547564929465413213\ 500262385117704193707*c_1100_1^19 - 47484194929797301144839289773751645340421643/3445475649294654132135\ 00262385117704193707*c_1100_1^18 - 418254561714139119777073096841882297405564193/689095129858930826427\ 000524770235408387414*c_1100_1^17 + 530285634556568674156991929782869237132443267/689095129858930826427\ 000524770235408387414*c_1100_1^16 + 250294412076059957483107213218420651654607271/689095129858930826427\ 000524770235408387414*c_1100_1^15 - 457246358704297170265598960562014313627117365/344547564929465413213\ 500262385117704193707*c_1100_1^14 + 301778828800339477620931648015781192723442827/689095129858930826427\ 000524770235408387414*c_1100_1^13 + 392270535680721861479455159043136462323804642/344547564929465413213\ 500262385117704193707*c_1100_1^12 - 563377253859059714933441956475159512790468573/689095129858930826427\ 000524770235408387414*c_1100_1^11 - 180047064347830623591947898022878411150358429/344547564929465413213\ 500262385117704193707*c_1100_1^10 + 384349921973608544541699028308113467967350159/689095129858930826427\ 000524770235408387414*c_1100_1^9 + 22991726115064112269021470034803818922062755/6890951298589308264270\ 00524770235408387414*c_1100_1^8 - 727244306252436383722341936019866\ 10518226813/344547564929465413213500262385117704193707*c_1100_1^7 + 47513035121501209831504088621371953926499821/3445475649294654132135\ 00262385117704193707*c_1100_1^6 + 342732273712020315975629812441372\ 50766150979/689095129858930826427000524770235408387414*c_1100_1^5 - 55511763340322567761629835315285346170979479/6890951298589308264270\ 00524770235408387414*c_1100_1^4 - 512632060989675685215899467918390\ 4951400670/344547564929465413213500262385117704193707*c_1100_1^3 + 4343307360190693899174022207488908961387582/34454756492946541321350\ 0262385117704193707*c_1100_1^2 + 3184252799384846172520406055157378\ 022269571/689095129858930826427000524770235408387414*c_1100_1 + 10161766293659479023217064824012262143522/3445475649294654132135002\ 62385117704193707, c_0101_11 + 708319670409023097702835177146162664654783/1378190259717861\ 652854001049540470816774828*c_1100_1^31 - 708750173018218990683905248457397641495061/344547564929465413213500\ 262385117704193707*c_1100_1^30 + 6929468118911749549992297982078922\ 22725476/344547564929465413213500262385117704193707*c_1100_1^29 + 9675668980782875721970587159652428586377695/13781902597178616528540\ 01049540470816774828*c_1100_1^28 - 27482228363735027582006105409687049835046531/1378190259717861652854\ 001049540470816774828*c_1100_1^27 - 5282032956226648596950672037971506243812521/68909512985893082642700\ 0524770235408387414*c_1100_1^26 + 194201939716696947715677004883316\ 39945512898/344547564929465413213500262385117704193707*c_1100_1^25 + 3060351468708165140842747769356634226591079/68909512985893082642700\ 0524770235408387414*c_1100_1^24 - 224898279614108707489081969058642\ 626481291873/1378190259717861652854001049540470816774828*c_1100_1^2\ 3 + 41124267101317249257339300108440509908746174/344547564929465413\ 213500262385117704193707*c_1100_1^22 + 712203320552091996865516953677630355252417671/137819025971786165285\ 4001049540470816774828*c_1100_1^21 - 629837930461728916618602324316094657612368981/689095129858930826427\ 000524770235408387414*c_1100_1^20 - 732490109901948850375480186463026055561907847/137819025971786165285\ 4001049540470816774828*c_1100_1^19 + 3123000595106056092596074129161052850731904199/13781902597178616528\ 54001049540470816774828*c_1100_1^18 - 1380258329002106933640769342767029977889485027/13781902597178616528\ 54001049540470816774828*c_1100_1^17 - 828367792894250250609975104108845608462079155/344547564929465413213\ 500262385117704193707*c_1100_1^16 + 3994757593038703708456576743388621602621032227/13781902597178616528\ 54001049540470816774828*c_1100_1^15 + 1236510976444805646804328635081592484602351621/13781902597178616528\ 54001049540470816774828*c_1100_1^14 - 3791763989207729430189902041937037715172322995/13781902597178616528\ 54001049540470816774828*c_1100_1^13 + 222782905275300926609710727195644202677114019/689095129858930826427\ 000524770235408387414*c_1100_1^12 + 1720188964914965622803966039225627404852938791/13781902597178616528\ 54001049540470816774828*c_1100_1^11 - 439113494976030496201423432242095325003570691/689095129858930826427\ 000524770235408387414*c_1100_1^10 - 181690926039757763371496410660667217401197685/137819025971786165285\ 4001049540470816774828*c_1100_1^9 + 310708775958569635037314017130612880974389701/689095129858930826427\ 000524770235408387414*c_1100_1^8 - 194717254535437785620814842030476638226373901/137819025971786165285\ 4001049540470816774828*c_1100_1^7 - 210255236523135156839661129499761944757314633/137819025971786165285\ 4001049540470816774828*c_1100_1^6 + 61835720029265946649345600133893642921828183/1378190259717861652854\ 001049540470816774828*c_1100_1^5 + 10442259134299466296569741136943223276735777/6890951298589308264270\ 00524770235408387414*c_1100_1^4 + 318109924619470194837193712804170\ 6957852823/1378190259717861652854001049540470816774828*c_1100_1^3 + 321566934685897657974867669828016263181857/344547564929465413213500\ 262385117704193707*c_1100_1^2 + 55458120772570081941146088729367573\ 557588/344547564929465413213500262385117704193707*c_1100_1 - 571792019752022687212245309152553822988891/137819025971786165285400\ 1049540470816774828, c_0101_2 + 23563601743073217928747257194634260721875/689095129858930826\ 427000524770235408387414*c_1100_1^31 - 34487048195594582907555254025317935485643/3445475649294654132135002\ 62385117704193707*c_1100_1^30 - 15358521518622634132313185231869448\ 7960231/689095129858930826427000524770235408387414*c_1100_1^29 + 914756589328170407893112212744946846603385/689095129858930826427000\ 524770235408387414*c_1100_1^28 - 8272969008971378408875057705165362\ 93349415/689095129858930826427000524770235408387414*c_1100_1^27 - 1773355854807645502877643716991461703344698/34454756492946541321350\ 0262385117704193707*c_1100_1^26 + 664008626104171724451017358313151\ 7429166573/689095129858930826427000524770235408387414*c_1100_1^25 + 7950862923965389453893390054779849087227085/68909512985893082642700\ 0524770235408387414*c_1100_1^24 - 105736943380687598240414402087864\ 92581638189/344547564929465413213500262385117704193707*c_1100_1^23 - 11764252021455770999572847619110556269878905/6890951298589308264270\ 00524770235408387414*c_1100_1^22 + 36341111092596993526566986947465134164496759/3445475649294654132135\ 00262385117704193707*c_1100_1^21 - 25898338014180792032693849526606521203149633/6890951298589308264270\ 00524770235408387414*c_1100_1^20 - 227140908679620059186528982714714014528134545/689095129858930826427\ 000524770235408387414*c_1100_1^19 + 125365685104791543417726525021628730068685052/344547564929465413213\ 500262385117704193707*c_1100_1^18 + 167066181389243722238776157135889699684383032/344547564929465413213\ 500262385117704193707*c_1100_1^17 - 688626011972933251245874497451239008720025057/689095129858930826427\ 000524770235408387414*c_1100_1^16 - 8809727552656207058282604845693666282133255/34454756492946541321350\ 0262385117704193707*c_1100_1^15 + 950623399428901169399911711766263\ 363344218727/689095129858930826427000524770235408387414*c_1100_1^14 - 264685682647854499537966861435652820938461262/3445475649294654132\ 13500262385117704193707*c_1100_1^13 - 726856219449181211394164612268717641877592851/689095129858930826427\ 000524770235408387414*c_1100_1^12 + 661025264086830653087079981001350683932882855/689095129858930826427\ 000524770235408387414*c_1100_1^11 + 143078897750305181852242528930454640335545634/344547564929465413213\ 500262385117704193707*c_1100_1^10 - 194175476409860442314896526767942802136500283/344547564929465413213\ 500262385117704193707*c_1100_1^9 + 30279216547590536034721898118021802767339929/6890951298589308264270\ 00524770235408387414*c_1100_1^8 + 635751415195078163598423591773034\ 88594486605/344547564929465413213500262385117704193707*c_1100_1^7 - 110008113350560105755838011398580149263822787/689095129858930826427\ 000524770235408387414*c_1100_1^6 - 13018978366252115965846196619709994718638234/3445475649294654132135\ 00262385117704193707*c_1100_1^5 + 271152550798155357701474517892823\ 79424465701/344547564929465413213500262385117704193707*c_1100_1^4 + 7413726781563659430728012631733390250422801/68909512985893082642700\ 0524770235408387414*c_1100_1^3 - 7790279334315589583952167461680652\ 221184949/689095129858930826427000524770235408387414*c_1100_1^2 - 1069402060550272937256537616207550859875237/34454756492946541321350\ 0262385117704193707*c_1100_1 + 188321093860544191002903112131293009\ 448251/689095129858930826427000524770235408387414, c_0101_3 - 1252419744501773391424423049832678797066721/1378190259717861\ 652854001049540470816774828*c_1100_1^31 + 904079728075982430196710234931727223681808/344547564929465413213500\ 262385117704193707*c_1100_1^30 + 8110457380475918665939883159581291\ 6043707/344547564929465413213500262385117704193707*c_1100_1^29 - 21006030914495128956318123707869001946659245/1378190259717861652854\ 001049540470816774828*c_1100_1^28 + 27592266444465810774141242694967921980214247/1378190259717861652854\ 001049540470816774828*c_1100_1^27 + 34236399997175572899334208715867647192574921/6890951298589308264270\ 00524770235408387414*c_1100_1^26 - 25222903443910071615208684305629740070632706/3445475649294654132135\ 00262385117704193707*c_1100_1^25 - 40899204164816222973316236025169008663903494/3445475649294654132135\ 00262385117704193707*c_1100_1^24 + 344848670457371624942396095094813347476794627/137819025971786165285\ 4001049540470816774828*c_1100_1^23 + 82155322252299435855362983956037362949178261/6890951298589308264270\ 00524770235408387414*c_1100_1^22 - 1468881469054442118727733313501787362414362841/13781902597178616528\ 54001049540470816774828*c_1100_1^21 + 348123744128417724979919856569152473939597787/689095129858930826427\ 000524770235408387414*c_1100_1^20 + 3447125340617198037197893594449959240101342883/13781902597178616528\ 54001049540470816774828*c_1100_1^19 - 3310457056442485708961559159083459483837297631/13781902597178616528\ 54001049540470816774828*c_1100_1^18 - 3587634980390097874376520788906632938871433679/13781902597178616528\ 54001049540470816774828*c_1100_1^17 + 3432920676181383285849190839359034475045294111/68909512985893082642\ 7000524770235408387414*c_1100_1^16 + 776558563372198488185944199659337377817495071/137819025971786165285\ 4001049540470816774828*c_1100_1^15 - 8606658984628263826406761197286249914606527423/13781902597178616528\ 54001049540470816774828*c_1100_1^14 + 1569989991628245687635597539780657434813639781/13781902597178616528\ 54001049540470816774828*c_1100_1^13 + 1691841270440558948445038371754224192450816163/34454756492946541321\ 3500262385117704193707*c_1100_1^12 - 1622586296701035767818450898766166143045406435/13781902597178616528\ 54001049540470816774828*c_1100_1^11 - 1420746268958016660512829182556498077891811437/68909512985893082642\ 7000524770235408387414*c_1100_1^10 + 1044604121059299990462780103424913037204505487/13781902597178616528\ 54001049540470816774828*c_1100_1^9 + 42559103148973280822990875533473611754276444/3445475649294654132135\ 00262385117704193707*c_1100_1^8 - 806219333465562888386680765237428\ 175565832083/1378190259717861652854001049540470816774828*c_1100_1^7 + 311970594486216265337325699008103867578088641/1378190259717861652\ 854001049540470816774828*c_1100_1^6 + 490494337395321519092916697337456636926022525/137819025971786165285\ 4001049540470816774828*c_1100_1^5 - 23470508356025650200360443637082092973017053/6890951298589308264270\ 00524770235408387414*c_1100_1^4 - 145376970345458740677249454627204\ 883015884749/1378190259717861652854001049540470816774828*c_1100_1^3 - 5910606873486537035874594409572483275192058/344547564929465413213\ 500262385117704193707*c_1100_1^2 + 8144413935902236306294047960242900277592725/68909512985893082642700\ 0524770235408387414*c_1100_1 + 475563476401472780652027224773952694\ 9969943/1378190259717861652854001049540470816774828, c_1001_8 + 964203170007826579326088483994731615230/34454756492946541321\ 3500262385117704193707*c_1100_1^31 - 47975814323996594285402614829252573407975/6890951298589308264270005\ 24770235408387414*c_1100_1^30 + 28449018617002308358443253743106953\ 0497057/689095129858930826427000524770235408387414*c_1100_1^29 - 531609819813020773192598236420592182244105/689095129858930826427000\ 524770235408387414*c_1100_1^28 - 2152930092421046745500536424941038\ 33633535/344547564929465413213500262385117704193707*c_1100_1^27 + 3395023546554079190431197157576126238406939/68909512985893082642700\ 0524770235408387414*c_1100_1^26 - 143473060071207514083502106221251\ 8321694805/344547564929465413213500262385117704193707*c_1100_1^25 - 4315291170464130421359495583557681141032136/34454756492946541321350\ 0262385117704193707*c_1100_1^24 + 111039325147660843483704665685770\ 39033022987/689095129858930826427000524770235408387414*c_1100_1^23 + 21051951510843300358011169572583973593505659/6890951298589308264270\ 00524770235408387414*c_1100_1^22 - 22176388379910087833267872070306876672822844/3445475649294654132135\ 00262385117704193707*c_1100_1^21 - 18414344517872201658313162335960910278397117/3445475649294654132135\ 00262385117704193707*c_1100_1^20 + 101336437316670762982611527087215845270612048/344547564929465413213\ 500262385117704193707*c_1100_1^19 - 47484194929797301144839289773751645340421643/3445475649294654132135\ 00262385117704193707*c_1100_1^18 - 418254561714139119777073096841882297405564193/689095129858930826427\ 000524770235408387414*c_1100_1^17 + 530285634556568674156991929782869237132443267/689095129858930826427\ 000524770235408387414*c_1100_1^16 + 250294412076059957483107213218420651654607271/689095129858930826427\ 000524770235408387414*c_1100_1^15 - 457246358704297170265598960562014313627117365/344547564929465413213\ 500262385117704193707*c_1100_1^14 + 301778828800339477620931648015781192723442827/689095129858930826427\ 000524770235408387414*c_1100_1^13 + 392270535680721861479455159043136462323804642/344547564929465413213\ 500262385117704193707*c_1100_1^12 - 563377253859059714933441956475159512790468573/689095129858930826427\ 000524770235408387414*c_1100_1^11 - 180047064347830623591947898022878411150358429/344547564929465413213\ 500262385117704193707*c_1100_1^10 + 384349921973608544541699028308113467967350159/689095129858930826427\ 000524770235408387414*c_1100_1^9 + 22991726115064112269021470034803818922062755/6890951298589308264270\ 00524770235408387414*c_1100_1^8 - 727244306252436383722341936019866\ 10518226813/344547564929465413213500262385117704193707*c_1100_1^7 + 47513035121501209831504088621371953926499821/3445475649294654132135\ 00262385117704193707*c_1100_1^6 + 342732273712020315975629812441372\ 50766150979/689095129858930826427000524770235408387414*c_1100_1^5 - 55511763340322567761629835315285346170979479/6890951298589308264270\ 00524770235408387414*c_1100_1^4 - 512632060989675685215899467918390\ 4951400670/344547564929465413213500262385117704193707*c_1100_1^3 + 4343307360190693899174022207488908961387582/34454756492946541321350\ 0262385117704193707*c_1100_1^2 + 3184252799384846172520406055157378\ 022269571/689095129858930826427000524770235408387414*c_1100_1 + 10161766293659479023217064824012262143522/3445475649294654132135002\ 62385117704193707, c_1100_1^32 - 3*c_1100_1^31 + 17*c_1100_1^29 - 24*c_1100_1^28 - 53*c_1100_1^27 + 88*c_1100_1^26 + 124*c_1100_1^25 - 293*c_1100_1^24 - 107*c_1100_1^23 + 1199*c_1100_1^22 - 683*c_1100_1^21 - 2745*c_1100_1^20 + 2984*c_1100_1^19 + 2670*c_1100_1^18 - 5875*c_1100_1^17 - 91*c_1100_1^16 + 7024*c_1100_1^15 - 1922*c_1100_1^14 - 5403*c_1100_1^13 + 1717*c_1100_1^12 + 2303*c_1100_1^11 - 917*c_1100_1^10 - 121*c_1100_1^9 + 589*c_1100_1^8 - 314*c_1100_1^7 - 384*c_1100_1^6 + 71*c_1100_1^5 + 135*c_1100_1^4 + 21*c_1100_1^3 - 16*c_1100_1^2 - 7*c_1100_1 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.210 Total time: 0.420 seconds, Total memory usage: 32.09MB