Magma V2.19-8 Tue Aug 20 2013 23:39:14 on localhost [Seed = 1831536953] Type ? for help. Type -D to quit. Loading file "K13n1166__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1166 geometric_solution 9.93732538 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 11 1 2 1 2 0132 0132 1023 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 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.588770632125 0.322652192584 0 3 0 4 0132 0132 1023 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.693813163958 0.715803444633 5 0 6 0 0132 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 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.693813163958 0.715803444633 5 1 6 5 1230 0132 0213 1302 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 1 0 0 -1 1 0 0 -1 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.392597918426 1.062963311105 5 7 1 8 3120 0132 0132 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 0 0 -1 0 0 1 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417588823987 0.909562473471 2 3 3 4 0132 3012 2031 3120 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 2 1 -3 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.392597918426 1.062963311105 7 3 9 2 0132 0213 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 1 -1 0 0 -1 1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.417588823987 0.909562473471 6 4 10 9 0132 0132 0132 0321 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 3 0 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.482454197739 1.416395306994 10 10 4 9 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 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.448287546531 1.145294692853 10 7 8 6 1302 0321 0132 0132 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 1 0 -1 -1 0 0 1 -1 3 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.929429137154 0.785043108048 8 9 8 7 0132 2031 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 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.876796317450 0.975130511017 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0011_9'], 'c_1001_5' : negation(d['c_0011_0']), 'c_1001_4' : d['c_1001_3'], 'c_1001_7' : d['c_0011_9'], 'c_1001_6' : d['c_1001_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_0101_5'], 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : d['c_0011_9'], 'c_1010_10' : d['c_0011_9'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_10' : negation(d['c_0011_10']), 's_2_0' : negation(d['1']), 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : negation(d['1']), 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_10' : 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' : negation(d['1']), 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_1100_0']), 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0101_0']), 'c_1100_4' : negation(d['c_1100_0']), 'c_1100_7' : d['c_1001_9'], 'c_1100_6' : negation(d['c_1100_0']), 'c_1100_1' : negation(d['c_1100_0']), 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_0101_5'], 'c_1100_2' : negation(d['c_1100_0']), 'c_1100_10' : d['c_1001_9'], 'c_1010_7' : d['c_1001_3'], 'c_1010_6' : d['c_0101_5'], 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0011_9'], 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_1'], 'c_1010_1' : d['c_1001_3'], 'c_1010_0' : d['c_0101_5'], 'c_1010_9' : d['c_1001_3'], 'c_1010_8' : d['c_1001_9'], 'c_1100_8' : negation(d['c_1100_0']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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' : negation(d['1']), 's_1_2' : negation(d['1']), 's_1_1' : negation(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' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_4']), 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_10' : d['c_0101_2'], 'c_0101_7' : d['c_0101_2'], 'c_0101_6' : negation(d['c_0011_9']), 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0011_4'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_10']), 'c_0101_8' : d['c_0101_2'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_9']), 'c_0110_8' : negation(d['c_0011_10']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0011_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_7' : negation(d['c_0011_9']), 'c_0110_6' : d['c_0101_2']})} 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_4, c_0011_9, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_1001_3, c_1001_9, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 6266527496371496111113158231237123640943089/86770111198518150990477\ 532100760838726*c_1100_0^25 + 1361506735794050348965326029229417353\ 08203763/86770111198518150990477532100760838726*c_1100_0^24 - 99844054042867789437196325719299327329698255/6197865085608439356462\ 680864340059909*c_1100_0^23 + 4483766385289683476575870877277986029\ 872916121/43385055599259075495238766050380419363*c_1100_0^22 - 40022890743586660179698014354979634646485876853/8677011119851815099\ 0477532100760838726*c_1100_0^21 + 653529949604520517268715892832512\ 17671352709094/43385055599259075495238766050380419363*c_1100_0^20 - 159426235270982098104254754017761578807494398946/433850555992590754\ 95238766050380419363*c_1100_0^19 + 578412988846690851083696807106862558967499935385/867701111985181509\ 90477532100760838726*c_1100_0^18 - 747302973799983747901653377049441755104656060045/867701111985181509\ 90477532100760838726*c_1100_0^17 + 292524503449061667990910414548205841205908580507/433850555992590754\ 95238766050380419363*c_1100_0^16 - 15491748598258372823210671294119612609751841902/4338505559925907549\ 5238766050380419363*c_1100_0^15 - 427570236486039131346559991688834\ 8912183063911/652406851116677826996071669930532622*c_1100_0^14 + 658435993280756307926848420615881278560465845245/867701111985181509\ 90477532100760838726*c_1100_0^13 - 31972372252752595275963895187664634812557336324/4338505559925907549\ 5238766050380419363*c_1100_0^12 - 366221264022389155467509234950142\ 99633100179641/4566847957816744788972501689513728354*c_1100_0^11 + 893028856679506379792932429836266928423163415185/867701111985181509\ 90477532100760838726*c_1100_0^10 - 386235877401569328596149541833634861474191099307/867701111985181509\ 90477532100760838726*c_1100_0^9 - 378546280226224433669995927766556\ 12732798377953/12395730171216878712925361728680119818*c_1100_0^8 + 489561882130897037368727614743519835233807610211/867701111985181509\ 90477532100760838726*c_1100_0^7 - 138217236533265266967586216102971\ 059026992796948/43385055599259075495238766050380419363*c_1100_0^6 - 3425738501154953010042227996049684214730099230/43385055599259075495\ 238766050380419363*c_1100_0^5 + 16533092357145123644446167109495565\ 373986385019/12395730171216878712925361728680119818*c_1100_0^4 - 83693448873476433499323244093403566180640866085/8677011119851815099\ 0477532100760838726*c_1100_0^3 + 1522585687385598711992032077829112\ 1821710164562/43385055599259075495238766050380419363*c_1100_0^2 - 199288685909479497419852327928998968351474537/299207279994890175829\ 2328693129684094*c_1100_0 + 434404096313162015557230853251390098415\ 342271/86770111198518150990477532100760838726, c_0011_0 - 1, c_0011_10 - 310021816315371354518710348950951/5920207360405424927369071\ 41497761*c_1100_0^25 + 6732234857216799253468039040025951/592020736\ 040542492736907141497761*c_1100_0^24 - 69082096818458269023276728942528574/5920207360405424927369071414977\ 61*c_1100_0^23 + 442962737772229210232006683715581418/5920207360405\ 42492736907141497761*c_1100_0^22 - 1975996429644567461049234300772566169/59202073604054249273690714149\ 7761*c_1100_0^21 + 6450039476812598595280359353631514807/5920207360\ 40542492736907141497761*c_1100_0^20 - 15727240247363789387013551018020593893/5920207360405424927369071414\ 97761*c_1100_0^19 + 28516963999570924109599625376853474916/59202073\ 6040542492736907141497761*c_1100_0^18 - 36827072816012911802148303817797382460/5920207360405424927369071414\ 97761*c_1100_0^17 + 28816846172417779364734194178594355068/59202073\ 6040542492736907141497761*c_1100_0^16 - 1518165713182501868307492758864238439/59202073604054249273690714149\ 7761*c_1100_0^15 - 28000887449522634731436732815723701855/592020736\ 040542492736907141497761*c_1100_0^14 + 32396490171455864037445790135773355519/5920207360405424927369071414\ 97761*c_1100_0^13 - 3115144671097068433336969164313519777/592020736\ 040542492736907141497761*c_1100_0^12 - 34271677892759707512890629482170354838/5920207360405424927369071414\ 97761*c_1100_0^11 + 43953019989267295805730466844783639218/59202073\ 6040542492736907141497761*c_1100_0^10 - 19002602768960954750522574968477049974/5920207360405424927369071414\ 97761*c_1100_0^9 - 13031445257513483964142171557215791728/592020736\ 040542492736907141497761*c_1100_0^8 + 24073308620996466318665570847681300775/5920207360405424927369071414\ 97761*c_1100_0^7 - 13598297347755496100280347880225105155/592020736\ 040542492736907141497761*c_1100_0^6 - 319829944942674181683310621070390095/592020736040542492736907141497\ 761*c_1100_0^5 + 5676384576148943585754431643067409370/592020736040\ 542492736907141497761*c_1100_0^4 - 4115734302431769010016580640608726620/59202073604054249273690714149\ 7761*c_1100_0^3 + 1506717921422547511893869193092245037/59202073604\ 0542492736907141497761*c_1100_0^2 - 290572919369039807744823861300764666/592020736040542492736907141497\ 761*c_1100_0 + 23045945843224965464469103209402301/5920207360405424\ 92736907141497761, c_0011_4 - c_1100_0, c_0011_9 + 134669229815052087616994296365995/59202073604054249273690714\ 1497761*c_1100_0^25 - 2995586296996427304996120707113986/5920207360\ 40542492736907141497761*c_1100_0^24 + 31465451951849365618104498615243796/5920207360405424927369071414977\ 61*c_1100_0^23 - 206408734439245283850305042957906891/5920207360405\ 42492736907141497761*c_1100_0^22 + 941502044258508200391231649434436269/592020736040542492736907141497\ 761*c_1100_0^21 - 3141118900617121525000636324815436051/59202073604\ 0542492736907141497761*c_1100_0^20 + 7825336430158626087008833961747684189/59202073604054249273690714149\ 7761*c_1100_0^19 - 14494105131657566173207855140783277328/592020736\ 040542492736907141497761*c_1100_0^18 + 19128163748357577765651733617688797738/5920207360405424927369071414\ 97761*c_1100_0^17 - 15355891502964319002857512626342995731/59202073\ 6040542492736907141497761*c_1100_0^16 + 1094136012025492653614182500657108702/59202073604054249273690714149\ 7761*c_1100_0^15 + 14955061613233863611624581011916009206/592020736\ 040542492736907141497761*c_1100_0^14 - 17840825259175361767955598677530965937/5920207360405424927369071414\ 97761*c_1100_0^13 + 2215366685677666127232080643066139245/592020736\ 040542492736907141497761*c_1100_0^12 + 18339232430650402193782057112900630704/5920207360405424927369071414\ 97761*c_1100_0^11 - 23855652898704468176260826607572067206/59202073\ 6040542492736907141497761*c_1100_0^10 + 10117430899382282754003407433531598523/5920207360405424927369071414\ 97761*c_1100_0^9 + 7510713228675489483991432586180384363/5920207360\ 40542492736907141497761*c_1100_0^8 - 13237333023896714318983619667816150321/5920207360405424927369071414\ 97761*c_1100_0^7 + 7050102445172517257237898648596785269/5920207360\ 40542492736907141497761*c_1100_0^6 + 604507034265078110234531455333963483/592020736040542492736907141497\ 761*c_1100_0^5 - 3200873155424234074931950477187032349/592020736040\ 542492736907141497761*c_1100_0^4 + 2100555053030905070057374654369969540/59202073604054249273690714149\ 7761*c_1100_0^3 - 682401273591418450842665487459553433/592020736040\ 542492736907141497761*c_1100_0^2 + 108878917751783564070381966554348032/592020736040542492736907141497\ 761*c_1100_0 - 6192840980819644715933564989686498/59202073604054249\ 2736907141497761, c_0101_0 - 771042319808182916594711125876621/59202073604054249273690714\ 1497761*c_1100_0^25 + 16472749626151954115738344747644308/592020736\ 040542492736907141497761*c_1100_0^24 - 165974552130289789039613618443509746/592020736040542492736907141497\ 761*c_1100_0^23 + 1042374875526456656553088867131214455/59202073604\ 0542492736907141497761*c_1100_0^22 - 4539253119681509652314833917974405287/59202073604054249273690714149\ 7761*c_1100_0^21 + 14397831976754555253744983976222583821/592020736\ 040542492736907141497761*c_1100_0^20 - 33877253265125596834493315089765037919/5920207360405424927369071414\ 97761*c_1100_0^19 + 58575418063816782541222123252156685318/59202073\ 6040542492736907141497761*c_1100_0^18 - 70288832141472106669230828460042036734/5920207360405424927369071414\ 97761*c_1100_0^17 + 46403901084708890932486603337840775903/59202073\ 6040542492736907141497761*c_1100_0^16 + 12085373714664004464211129172613505884/5920207360405424927369071414\ 97761*c_1100_0^15 - 63499683884522911219456353261528478089/59202073\ 6040542492736907141497761*c_1100_0^14 + 55996355311146821228950101508827138801/5920207360405424927369071414\ 97761*c_1100_0^13 + 12387591937293880858511084569599149704/59202073\ 6040542492736907141497761*c_1100_0^12 - 78641970355048036989755610316992933597/5920207360405424927369071414\ 97761*c_1100_0^11 + 78739410248862552200728005984439950378/59202073\ 6040542492736907141497761*c_1100_0^10 - 18978946512986049151793452855482106715/5920207360405424927369071414\ 97761*c_1100_0^9 - 36846580740909394123932806127852890262/592020736\ 040542492736907141497761*c_1100_0^8 + 44382665936010808944146722597124352993/5920207360405424927369071414\ 97761*c_1100_0^7 - 17706911556314765747926030998064318879/592020736\ 040542492736907141497761*c_1100_0^6 - 5860000397706499811454508926326417785/59202073604054249273690714149\ 7761*c_1100_0^5 + 10982465093049105069709483129635531031/5920207360\ 40542492736907141497761*c_1100_0^4 - 6177183181363341706582234418738895647/59202073604054249273690714149\ 7761*c_1100_0^3 + 1825446002143001459485078226052079087/59202073604\ 0542492736907141497761*c_1100_0^2 - 272676023944957559932398465971634310/592020736040542492736907141497\ 761*c_1100_0 + 15216262652080294725097391474029931/5920207360405424\ 92736907141497761, c_0101_1 + 664611924055757019000711776425608/59202073604054249273690714\ 1497761*c_1100_0^25 - 14150906425057134532247842857773208/592020736\ 040542492736907141497761*c_1100_0^24 + 141978413034809936745385068204328107/592020736040542492736907141497\ 761*c_1100_0^23 - 886947104809480624869989416884534941/592020736040\ 542492736907141497761*c_1100_0^22 + 3836356324372891727025956642335582373/59202073604054249273690714149\ 7761*c_1100_0^21 - 12061107918394050601679455444558957317/592020736\ 040542492736907141497761*c_1100_0^20 + 28037573440563612524727707824111340918/5920207360405424927369071414\ 97761*c_1100_0^19 - 47615667808413233347307267363839299134/59202073\ 6040542492736907141497761*c_1100_0^18 + 55359673070866067219715806797332023609/5920207360405424927369071414\ 97761*c_1100_0^17 - 33356945365057975796426926397997119021/59202073\ 6040542492736907141497761*c_1100_0^16 - 15227751586455364951408307574593949865/5920207360405424927369071414\ 97761*c_1100_0^15 + 54066592147172576413622841124868796887/59202073\ 6040542492736907141497761*c_1100_0^14 - 42169678973614538378256749610674587447/5920207360405424927369071414\ 97761*c_1100_0^13 - 16718299800890667222571672675381054845/59202073\ 6040542492736907141497761*c_1100_0^12 + 67280948586725444761248374541861286950/5920207360405424927369071414\ 97761*c_1100_0^11 - 60305057237189194541489184182433248350/59202073\ 6040542492736907141497761*c_1100_0^10 + 8228289601631459992871905016877972950/59202073604054249273690714149\ 7761*c_1100_0^9 + 33928681797849459420535194083692218337/5920207360\ 40542492736907141497761*c_1100_0^8 - 34509235494494609106011794270555370574/5920207360405424927369071414\ 97761*c_1100_0^7 + 10665402792902024247755119093101195009/592020736\ 040542492736907141497761*c_1100_0^6 + 6788960400558005125226249803641438251/59202073604054249273690714149\ 7761*c_1100_0^5 - 8741769274867363270770367815789316895/59202073604\ 0542492736907141497761*c_1100_0^4 + 4178618362127036655270959414167394648/59202073604054249273690714149\ 7761*c_1100_0^3 - 1003552334974502194357039938397115620/59202073604\ 0542492736907141497761*c_1100_0^2 + 100144181545529078703952589054236918/592020736040542492736907141497\ 761*c_1100_0 - 1187313269525268344501887829193796/59202073604054249\ 2736907141497761, c_0101_2 + 280860910180112867249411104235267/59202073604054249273690714\ 1497761*c_1100_0^25 - 5878610520367855255163115365407845/5920207360\ 40542492736907141497761*c_1100_0^24 + 57954286502937534033393485766805669/5920207360405424927369071414977\ 61*c_1100_0^23 - 355503151548102500188970773913882604/5920207360405\ 42492736907141497761*c_1100_0^22 + 1508444499491898259352967604881848024/59202073604054249273690714149\ 7761*c_1100_0^21 - 4645655575534121752726570008259022455/5920207360\ 40542492736907141497761*c_1100_0^20 + 10555640288196422706691601395810547101/5920207360405424927369071414\ 97761*c_1100_0^19 - 17450948119965882311266978156404617415/59202073\ 6040542492736907141497761*c_1100_0^18 + 19555279692106497403282534737694345815/5920207360405424927369071414\ 97761*c_1100_0^17 - 10807133912133964792552947803871465866/59202073\ 6040542492736907141497761*c_1100_0^16 - 6672379224010759330098580847793105477/59202073604054249273690714149\ 7761*c_1100_0^15 + 19351520614343318875252184319248328168/592020736\ 040542492736907141497761*c_1100_0^14 - 13575122932684599403241829164081847905/5920207360405424927369071414\ 97761*c_1100_0^13 - 7584278273421129882720677999720652197/592020736\ 040542492736907141497761*c_1100_0^12 + 24095921032588857496255472237896671431/5920207360405424927369071414\ 97761*c_1100_0^11 - 20134536458109619918928435931964698831/59202073\ 6040542492736907141497761*c_1100_0^10 + 1719924864483733841032688169398896337/59202073604054249273690714149\ 7761*c_1100_0^9 + 12086797690441208205365403223117131701/5920207360\ 40542492736907141497761*c_1100_0^8 - 11598642222006524581784690228284022308/5920207360405424927369071414\ 97761*c_1100_0^7 + 3377782317835184780595215065109096030/5920207360\ 40542492736907141497761*c_1100_0^6 + 2377711571154093365847211334516538856/59202073604054249273690714149\ 7761*c_1100_0^5 - 2967072293703223830532869854363463931/59202073604\ 0542492736907141497761*c_1100_0^4 + 1437203830339665631263347407951546919/59202073604054249273690714149\ 7761*c_1100_0^3 - 360963679560122908329592525423686284/592020736040\ 542492736907141497761*c_1100_0^2 + 39616659618802955513998874913392279/5920207360405424927369071414977\ 61*c_1100_0 - 566458575724819309797880082374132/5920207360405424927\ 36907141497761, c_0101_5 + 771042319808182916594711125876621/59202073604054249273690714\ 1497761*c_1100_0^25 - 16472749626151954115738344747644308/592020736\ 040542492736907141497761*c_1100_0^24 + 165974552130289789039613618443509746/592020736040542492736907141497\ 761*c_1100_0^23 - 1042374875526456656553088867131214455/59202073604\ 0542492736907141497761*c_1100_0^22 + 4539253119681509652314833917974405287/59202073604054249273690714149\ 7761*c_1100_0^21 - 14397831976754555253744983976222583821/592020736\ 040542492736907141497761*c_1100_0^20 + 33877253265125596834493315089765037919/5920207360405424927369071414\ 97761*c_1100_0^19 - 58575418063816782541222123252156685318/59202073\ 6040542492736907141497761*c_1100_0^18 + 70288832141472106669230828460042036734/5920207360405424927369071414\ 97761*c_1100_0^17 - 46403901084708890932486603337840775903/59202073\ 6040542492736907141497761*c_1100_0^16 - 12085373714664004464211129172613505884/5920207360405424927369071414\ 97761*c_1100_0^15 + 63499683884522911219456353261528478089/59202073\ 6040542492736907141497761*c_1100_0^14 - 55996355311146821228950101508827138801/5920207360405424927369071414\ 97761*c_1100_0^13 - 12387591937293880858511084569599149704/59202073\ 6040542492736907141497761*c_1100_0^12 + 78641970355048036989755610316992933597/5920207360405424927369071414\ 97761*c_1100_0^11 - 78739410248862552200728005984439950378/59202073\ 6040542492736907141497761*c_1100_0^10 + 18978946512986049151793452855482106715/5920207360405424927369071414\ 97761*c_1100_0^9 + 36846580740909394123932806127852890262/592020736\ 040542492736907141497761*c_1100_0^8 - 44382665936010808944146722597124352993/5920207360405424927369071414\ 97761*c_1100_0^7 + 17706911556314765747926030998064318879/592020736\ 040542492736907141497761*c_1100_0^6 + 5860000397706499811454508926326417785/59202073604054249273690714149\ 7761*c_1100_0^5 - 10982465093049105069709483129635531031/5920207360\ 40542492736907141497761*c_1100_0^4 + 6177183181363341706582234418738895647/59202073604054249273690714149\ 7761*c_1100_0^3 - 1825446002143001459485078226052079087/59202073604\ 0542492736907141497761*c_1100_0^2 + 272676023944957559932398465971634310/592020736040542492736907141497\ 761*c_1100_0 - 15216262652080294725097391474029931/5920207360405424\ 92736907141497761, c_1001_3 - 280860910180112867249411104235267/59202073604054249273690714\ 1497761*c_1100_0^25 + 5878610520367855255163115365407845/5920207360\ 40542492736907141497761*c_1100_0^24 - 57954286502937534033393485766805669/5920207360405424927369071414977\ 61*c_1100_0^23 + 355503151548102500188970773913882604/5920207360405\ 42492736907141497761*c_1100_0^22 - 1508444499491898259352967604881848024/59202073604054249273690714149\ 7761*c_1100_0^21 + 4645655575534121752726570008259022455/5920207360\ 40542492736907141497761*c_1100_0^20 - 10555640288196422706691601395810547101/5920207360405424927369071414\ 97761*c_1100_0^19 + 17450948119965882311266978156404617415/59202073\ 6040542492736907141497761*c_1100_0^18 - 19555279692106497403282534737694345815/5920207360405424927369071414\ 97761*c_1100_0^17 + 10807133912133964792552947803871465866/59202073\ 6040542492736907141497761*c_1100_0^16 + 6672379224010759330098580847793105477/59202073604054249273690714149\ 7761*c_1100_0^15 - 19351520614343318875252184319248328168/592020736\ 040542492736907141497761*c_1100_0^14 + 13575122932684599403241829164081847905/5920207360405424927369071414\ 97761*c_1100_0^13 + 7584278273421129882720677999720652197/592020736\ 040542492736907141497761*c_1100_0^12 - 24095921032588857496255472237896671431/5920207360405424927369071414\ 97761*c_1100_0^11 + 20134536458109619918928435931964698831/59202073\ 6040542492736907141497761*c_1100_0^10 - 1719924864483733841032688169398896337/59202073604054249273690714149\ 7761*c_1100_0^9 - 12086797690441208205365403223117131701/5920207360\ 40542492736907141497761*c_1100_0^8 + 11598642222006524581784690228284022308/5920207360405424927369071414\ 97761*c_1100_0^7 - 3377782317835184780595215065109096030/5920207360\ 40542492736907141497761*c_1100_0^6 - 2377711571154093365847211334516538856/59202073604054249273690714149\ 7761*c_1100_0^5 + 2967072293703223830532869854363463931/59202073604\ 0542492736907141497761*c_1100_0^4 - 1437203830339665631263347407951546919/59202073604054249273690714149\ 7761*c_1100_0^3 + 360963679560122908329592525423686284/592020736040\ 542492736907141497761*c_1100_0^2 - 39616659618802955513998874913392279/5920207360405424927369071414977\ 61*c_1100_0 + 566458575724819309797880082374132/5920207360405424927\ 36907141497761, c_1001_9 + 359904554523061955322556969058739/59202073604054249273690714\ 1497761*c_1100_0^25 - 7820087356823008930376180774518445/5920207360\ 40542492736907141497761*c_1100_0^24 + 80291725594125416749698435758494095/5920207360405424927369071414977\ 61*c_1100_0^23 - 515133640773559219293869045281467120/5920207360405\ 42492736907141497761*c_1100_0^22 + 2299217490616209540209516088134216850/59202073604054249273690714149\ 7761*c_1100_0^21 - 7509156863334606216372170765012633469/5920207360\ 40542492736907141497761*c_1100_0^20 + 18319398397438437201152260448741779082/5920207360405424927369071414\ 97761*c_1100_0^19 - 33234701109499047111418506477840233561/59202073\ 6040542492736907141497761*c_1100_0^18 + 42944064437162207321802197831886189663/5920207360405424927369071414\ 97761*c_1100_0^17 - 33630617126096158791740471066262266418/59202073\ 6040542492736907141497761*c_1100_0^16 + 1803913331854477409629561614156015657/59202073604054249273690714149\ 7761*c_1100_0^15 + 32651400329076750793293407865721277710/592020736\ 040542492736907141497761*c_1100_0^14 - 37824031922660858350430897987723935284/5920207360405424927369071414\ 97761*c_1100_0^13 + 3686794622843560856472203557117594395/592020736\ 040542492736907141497761*c_1100_0^12 + 39957827226369176174324753342458314486/5920207360405424927369071414\ 97761*c_1100_0^11 - 51299992558807509161711089911773154816/59202073\ 6040542492736907141497761*c_1100_0^10 + 22203577099334004395718349522354346268/5920207360405424927369071414\ 97761*c_1100_0^9 + 15199074944515286986538229929453781592/592020736\ 040542492736907141497761*c_1100_0^8 - 28107628300743909508093905068120788544/5920207360405424927369071414\ 97761*c_1100_0^7 + 15880096334560992366250538155444125316/592020736\ 040542492736907141497761*c_1100_0^6 + 381163672243259042707021460509278750/592020736040542492736907141497\ 761*c_1100_0^5 - 6633966387097028500339311213383221005/592020736040\ 542492736907141497761*c_1100_0^4 + 4802469695227696749666515472250283300/59202073604054249273690714149\ 7761*c_1100_0^3 - 1753410195533825003848145737088044914/59202073604\ 0542492736907141497761*c_1100_0^2 + 337536897891916252860395204811400602/592020736040542492736907141497\ 761*c_1100_0 - 26665700565042118611063395497439640/5920207360405424\ 92736907141497761, c_1100_0^26 - 22*c_1100_0^25 + 229*c_1100_0^24 - 1492*c_1100_0^23 + 6778*c_1100_0^22 - 22604*c_1100_0^21 + 56585*c_1100_0^20 - 106216*c_1100_0^19 + 144497*c_1100_0^18 - 125982*c_1100_0^17 + 30493*c_1100_0^16 + 89376*c_1100_0^15 - 129882*c_1100_0^14 + 38952*c_1100_0^13 + 108224*c_1100_0^12 - 172864*c_1100_0^11 + 100622*c_1100_0^10 + 25404*c_1100_0^9 - 89674*c_1100_0^8 + 65484*c_1100_0^7 - 10984*c_1100_0^6 - 18760*c_1100_0^5 + 18407*c_1100_0^4 - 8515*c_1100_0^3 + 2253*c_1100_0^2 - 322*c_1100_0 + 19 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.410 Total time: 0.620 seconds, Total memory usage: 32.09MB