Magma V2.19-8 Wed Aug 21 2013 00:45:22 on localhost [Seed = 2260767071] Type ? for help. Type -D to quit. Loading file "K14n6469__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n6469 geometric_solution 11.80345899 oriented_manifold CS_known 0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 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 -1 1 1 -2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.080054750557 1.009153837800 0 5 5 4 0132 0132 1302 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.184715143571 1.295435316888 6 0 8 7 0132 0132 0132 0132 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 0 0 0 0 0 1 -1 -2 0 0 2 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.928059035960 0.320881114722 9 10 11 0 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 -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.662577099652 1.163423224202 6 10 0 1 1302 1023 0132 0213 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 1 -1 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.101689211415 0.794621980886 1 1 11 7 2031 0132 0321 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -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.892122801514 0.756559154299 2 4 12 9 0132 2031 0132 2031 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 -1 0 1 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.000603089028 0.674089432536 12 8 2 5 0132 3012 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 -1 0 1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.922659886180 0.815318215621 7 10 12 2 1230 1230 3120 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 0 0 1 0 0 -1 -2 0 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.774286254840 0.597654087298 3 6 12 11 0132 1302 3012 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 1 0 0 -1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.144732438617 0.710219796842 4 3 8 11 1023 0132 3012 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 -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.575440966308 0.648624081483 10 9 5 3 3201 2310 0321 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.777245190649 1.256836331216 7 9 8 6 0132 1230 3120 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 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.304464717567 0.367402924216 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0101_10'], 'c_1001_7' : negation(d['c_0011_8']), 'c_1001_6' : d['c_0101_0'], 'c_1001_1' : negation(d['c_0101_12']), 'c_1001_0' : negation(d['c_0011_8']), 'c_1001_3' : negation(d['c_0101_3']), 'c_1001_2' : d['c_0101_10'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0011_11']), 'c_1010_12' : d['c_0101_0'], 'c_1010_11' : negation(d['c_0101_3']), 'c_1010_10' : negation(d['c_0101_3']), 's_3_11' : 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_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : 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_0101_12']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_8']), 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_0101_12']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_0101_12']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_5'], 'c_1100_10' : d['c_0011_11'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0101_8']), 'c_1010_6' : d['c_0011_10'], 'c_1010_5' : negation(d['c_0101_12']), 'c_1010_4' : negation(d['c_0101_11']), 'c_1010_3' : negation(d['c_0011_8']), 'c_1010_2' : negation(d['c_0011_8']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0101_10'], 'c_1010_9' : d['c_0101_8'], 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0101_8']), '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' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_10'], 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : negation(d['c_0101_11']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0101_11']), 'c_0101_4' : negation(d['c_0011_0']), 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_12']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0101_8'], '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' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0011_12']), 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0011_11']), 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : negation(d['c_0101_12']), 'c_0110_4' : negation(d['c_0101_0']), 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : negation(d['c_0011_12'])})} 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_12, c_0011_8, c_0101_0, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_0101_6, c_0101_8, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 2108479817706478250764175946596882767181235/12403353675479000078461\ 02002986659043868354*c_1001_5^19 + 415298712114522248877113935251579310288971/729609039734058828144765\ 88410979943756962*c_1001_5^18 + 39681951857602134583805598495497166\ 37825827/1240335367547900007846102002986659043868354*c_1001_5^17 - 26964213164827086641111574249648461769964205/1240335367547900007846\ 102002986659043868354*c_1001_5^16 - 35302594811953380659745096669097724888648119/1240335367547900007846\ 102002986659043868354*c_1001_5^15 + 78439496390679339056291518168970627092983328/6201676837739500039230\ 51001493329521934177*c_1001_5^14 + 28819836512318915756106771702827068400350127/6201676837739500039230\ 51001493329521934177*c_1001_5^13 - 408348837003119510418098199796851262380977507/124033536754790000784\ 6102002986659043868354*c_1001_5^12 - 62001780766435863781110401599275032547414053/1240335367547900007846\ 102002986659043868354*c_1001_5^11 + 710479980020588061478073384836219204515435465/124033536754790000784\ 6102002986659043868354*c_1001_5^10 - 777638566817748314019961183318461687600169839/124033536754790000784\ 6102002986659043868354*c_1001_5^9 - 329274245515441443269878244833737602903461988/620167683773950003923\ 051001493329521934177*c_1001_5^8 - 537167354755889260493165314727718740375882477/124033536754790000784\ 6102002986659043868354*c_1001_5^7 + 1552963084721734969886097644136188304342652071/12403353675479000078\ 46102002986659043868354*c_1001_5^6 - 381820550705815890022152993305252419527264883/124033536754790000784\ 6102002986659043868354*c_1001_5^5 + 157457105683204049680175457732037383063893593/124033536754790000784\ 6102002986659043868354*c_1001_5^4 - 85033307204216859708107657746894904348387717/6201676837739500039230\ 51001493329521934177*c_1001_5^3 - 111271778576067493036618884689645\ 55476060224/620167683773950003923051001493329521934177*c_1001_5^2 - 78801279631603961762880587485643296900137101/6201676837739500039230\ 51001493329521934177*c_1001_5 - 60781453079744052074412954114143158\ 162269453/1240335367547900007846102002986659043868354, c_0011_0 - 1, c_0011_10 - 18196189323409314636191389675/90034761046699019568390456233\ *c_1001_5^19 + 60547722843538833765161624556/9003476104669901956839\ 0456233*c_1001_5^18 + 34780969147393060738570550481/900347610466990\ 19568390456233*c_1001_5^17 - 229956811565228380263625304915/9003476\ 1046699019568390456233*c_1001_5^16 - 306401124512053520771435431912/90034761046699019568390456233*c_1001\ _5^15 + 1338177854063192322548497092581/900347610466990195683904562\ 33*c_1001_5^14 + 506953894689509192323265443867/9003476104669901956\ 8390456233*c_1001_5^13 - 3463500740010994211126209438281/9003476104\ 6699019568390456233*c_1001_5^12 - 550127832838460585672638510873/90\ 034761046699019568390456233*c_1001_5^11 + 5974297707937697570736251328701/90034761046699019568390456233*c_100\ 1_5^10 - 6704844958981047726436435210713/90034761046699019568390456\ 233*c_1001_5^9 - 5549649919875001028332359589112/900347610466990195\ 68390456233*c_1001_5^8 - 4848432085181998149435048828981/9003476104\ 6699019568390456233*c_1001_5^7 + 12848847279411309356939413108881/9\ 0034761046699019568390456233*c_1001_5^6 - 3309454578413058363916556340504/90034761046699019568390456233*c_100\ 1_5^5 + 1797167279929391969338376619916/900347610466990195683904562\ 33*c_1001_5^4 - 1084788900983565542022365137871/9003476104669901956\ 8390456233*c_1001_5^3 - 364800512743216325665251895723/900347610466\ 99019568390456233*c_1001_5^2 - 1460994736989677492953144146002/9003\ 4761046699019568390456233*c_1001_5 - 556007096948337700246792949943/90034761046699019568390456233, c_0011_11 - 2322102696209154778096225145720/350235220471659186121038874\ 74637*c_1001_5^19 + 7786027803801978051990381302458/350235220471659\ 18612103887474637*c_1001_5^18 + 3961029511848200991328890792668/350\ 23522047165918612103887474637*c_1001_5^17 - 28298812284965597150502903394294/35023522047165918612103887474637*c\ _1001_5^16 - 38786549015028738566360062604384/350235220471659186121\ 03887474637*c_1001_5^15 + 168450729912129215700528059579540/3502352\ 2047165918612103887474637*c_1001_5^14 + 59037061645988360848769244899299/35023522047165918612103887474637*c\ _1001_5^13 - 421784041310629090952042377494427/35023522047165918612\ 103887474637*c_1001_5^12 - 71763087520794456569149634751533/3502352\ 2047165918612103887474637*c_1001_5^11 + 719141791535533227428941118262900/35023522047165918612103887474637*\ c_1001_5^10 - 831952929844366805472716391397811/3502352204716591861\ 2103887474637*c_1001_5^9 - 625749012462572209113005507189841/350235\ 22047165918612103887474637*c_1001_5^8 - 789127885334278506327059845815136/35023522047165918612103887474637*\ c_1001_5^7 + 1718522976813037990001812064688252/3502352204716591861\ 2103887474637*c_1001_5^6 - 544245440613051762319518292687602/350235\ 22047165918612103887474637*c_1001_5^5 + 425354006627149256116778418795639/35023522047165918612103887474637*\ c_1001_5^4 - 426621827000417013504249273385409/35023522047165918612\ 103887474637*c_1001_5^3 + 115567344188963680634140169423637/3502352\ 2047165918612103887474637*c_1001_5^2 - 229898223363779388167119400868332/35023522047165918612103887474637*\ c_1001_5 - 66826292529128919944937097660086/35023522047165918612103\ 887474637, c_0011_12 + 3280162070289204537045358517490/350235220471659186121038874\ 74637*c_1001_5^19 - 10869467737402720249901349042376/35023522047165\ 918612103887474637*c_1001_5^18 - 6584957794370929427783568570603/35\ 023522047165918612103887474637*c_1001_5^17 + 41781989527244472178922754736964/35023522047165918612103887474637*c\ _1001_5^16 + 56472093115405900690049475982150/350235220471659186121\ 03887474637*c_1001_5^15 - 242128853670238905368006596298902/3502352\ 2047165918612103887474637*c_1001_5^14 - 98606583342539708019335473995918/35023522047165918612103887474637*c\ _1001_5^13 + 632227532708628487878421062186523/35023522047165918612\ 103887474637*c_1001_5^12 + 119225407935237636486913531309578/350235\ 22047165918612103887474637*c_1001_5^11 - 1099549862144882230325760662483883/35023522047165918612103887474637\ *c_1001_5^10 + 1174175162113522003505153590575913/35023522047165918\ 612103887474637*c_1001_5^9 + 1057392840810581672307310958173176/350\ 23522047165918612103887474637*c_1001_5^8 + 848471537913287811888707216026523/35023522047165918612103887474637*\ c_1001_5^7 - 2387958543395931443169346171031563/3502352204716591861\ 2103887474637*c_1001_5^6 + 477987856452929456965398823030159/350235\ 22047165918612103887474637*c_1001_5^5 - 291256910333624161849140246736036/35023522047165918612103887474637*\ c_1001_5^4 + 190951088153462778975869237075349/35023522047165918612\ 103887474637*c_1001_5^3 + 52496045163486484678745404460514/35023522\ 047165918612103887474637*c_1001_5^2 + 303561305088116643716302309377583/35023522047165918612103887474637*\ c_1001_5 + 94273297426249659194461724881144/35023522047165918612103\ 887474637, c_0011_8 + 5841299186485527054791541967556/3502352204716591861210388747\ 4637*c_1001_5^19 - 19512500271310332969795897469819/350235220471659\ 18612103887474637*c_1001_5^18 - 10957941247759004820897512165014/35\ 023522047165918612103887474637*c_1001_5^17 + 73872925618518613743973779928360/35023522047165918612103887474637*c\ _1001_5^16 + 98274374089468726586874589877388/350235220471659186121\ 03887474637*c_1001_5^15 - 430942137402576068859827365482835/3502352\ 2047165918612103887474637*c_1001_5^14 - 160863505922041566528254088186482/35023522047165918612103887474637*\ c_1001_5^13 + 1113159072014487250064759334275986/350235220471659186\ 12103887474637*c_1001_5^12 + 180577513225440760251168956191588/3502\ 3522047165918612103887474637*c_1001_5^11 - 1921915025685191563202941859084081/35023522047165918612103887474637\ *c_1001_5^10 + 2132070270666488012102715177389284/35023522047165918\ 612103887474637*c_1001_5^9 + 1761584806406483418276282525405133/350\ 23522047165918612103887474637*c_1001_5^8 + 1591536112316958055178325903826082/35023522047165918612103887474637\ *c_1001_5^7 - 4250120643352436316567380935448174/350235220471659186\ 12103887474637*c_1001_5^6 + 1031999231698756753513866615416021/3502\ 3522047165918612103887474637*c_1001_5^5 - 624236679577215530985584595430279/35023522047165918612103887474637*\ c_1001_5^4 + 508070687333767134647354370631967/35023522047165918612\ 103887474637*c_1001_5^3 + 85345146042190916802889388052128/35023522\ 047165918612103887474637*c_1001_5^2 + 533794994993386326136071139759649/35023522047165918612103887474637*\ c_1001_5 + 195230595175147790167942307126216/3502352204716591861210\ 3887474637, c_0101_0 + 16615901567680616810092589952/90034761046699019568390456233*\ c_1001_5^19 - 55322756643265214405961082418/90034761046699019568390\ 456233*c_1001_5^18 - 31175827969934889049156349438/9003476104669901\ 9568390456233*c_1001_5^17 + 208234260987185587987005410950/90034761\ 046699019568390456233*c_1001_5^16 + 279351575559323894426877012794/90034761046699019568390456233*c_1001\ _5^15 - 1216507704642650264951148876011/900347610466990195683904562\ 33*c_1001_5^14 - 455261435169813039369576484734/9003476104669901956\ 8390456233*c_1001_5^13 + 3126264342621542052044275416194/9003476104\ 6699019568390456233*c_1001_5^12 + 499927371075200243395273546745/90\ 034761046699019568390456233*c_1001_5^11 - 5368601342510367883251628710183/90034761046699019568390456233*c_100\ 1_5^10 + 6110382073027959984474071826541/90034761046699019568390456\ 233*c_1001_5^9 + 4915796884634855712626718432277/900347610466990195\ 68390456233*c_1001_5^8 + 4641155042956167728590690829083/9003476104\ 6699019568390456233*c_1001_5^7 - 11725516992214083993147207031610/9\ 0034761046699019568390456233*c_1001_5^6 + 3187757181982841242597096685483/90034761046699019568390456233*c_100\ 1_5^5 - 2056110057660437523812059766423/900347610466990195683904562\ 33*c_1001_5^4 + 1216418087664336733507345482817/9003476104669901956\ 8390456233*c_1001_5^3 + 163424964996972121438679609570/900347610466\ 99019568390456233*c_1001_5^2 + 1511274442678266432314660903727/9003\ 4761046699019568390456233*c_1001_5 + 539039569506792972710040771175/90034761046699019568390456233, c_0101_10 + 1695404825271371857697296323790/350235220471659186121038874\ 74637*c_1001_5^19 - 5919537751894137378010483803308/350235220471659\ 18612103887474637*c_1001_5^18 - 2487735756017643347152414063275/350\ 23522047165918612103887474637*c_1001_5^17 + 22479823174792579127642457534415/35023522047165918612103887474637*c\ _1001_5^16 + 25552924908409362722547214803032/350235220471659186121\ 03887474637*c_1001_5^15 - 131584549159788050681620774932879/3502352\ 2047165918612103887474637*c_1001_5^14 - 30163227766576906932215345076981/35023522047165918612103887474637*c\ _1001_5^13 + 342828341951311172658611920709725/35023522047165918612\ 103887474637*c_1001_5^12 + 6322791026853007058882669431820/35023522\ 047165918612103887474637*c_1001_5^11 - 599823876572724429197782422726986/35023522047165918612103887474637*\ c_1001_5^10 + 705404197785828534182267084466467/3502352204716591861\ 2103887474637*c_1001_5^9 + 479244075487842299547640880657569/350235\ 22047165918612103887474637*c_1001_5^8 + 307920173340375626253827517291164/35023522047165918612103887474637*\ c_1001_5^7 - 1362365945217761493467579441017645/3502352204716591861\ 2103887474637*c_1001_5^6 + 473357634820686036004884013334361/350235\ 22047165918612103887474637*c_1001_5^5 - 117627349151456379453605277183803/35023522047165918612103887474637*\ c_1001_5^4 + 100591479983406059715934284695746/35023522047165918612\ 103887474637*c_1001_5^3 - 12833817669735699573951802775936/35023522\ 047165918612103887474637*c_1001_5^2 + 185560956407923959329169137214059/35023522047165918612103887474637*\ c_1001_5 + 46314614207296551954595789577565/35023522047165918612103\ 887474637, c_0101_11 - 3523187940767590900579021765997/350235220471659186121038874\ 74637*c_1001_5^19 + 11807344329227563416664489856203/35023522047165\ 918612103887474637*c_1001_5^18 + 6444553310559845620088675555979/35\ 023522047165918612103887474637*c_1001_5^17 - 44418292470776742061014700687053/35023522047165918612103887474637*c\ _1001_5^16 - 59048788841710103872043860546479/350235220471659186121\ 03887474637*c_1001_5^15 + 260074684802871528212698192801198/3502352\ 2047165918612103887474637*c_1001_5^14 + 94737212129691252619758172322248/35023522047165918612103887474637*c\ _1001_5^13 - 668875257835669642297919810733108/35023522047165918612\ 103887474637*c_1001_5^12 - 107480716522055444360914474903749/350235\ 22047165918612103887474637*c_1001_5^11 + 1154092924811182079923565713846224/35023522047165918612103887474637\ *c_1001_5^10 - 1282599089605218469895661559534477/35023522047165918\ 612103887474637*c_1001_5^9 - 1042803993517590489606446705123142/350\ 23522047165918612103887474637*c_1001_5^8 - 988969779292623442679012016871448/35023522047165918612103887474637*\ c_1001_5^7 + 2608826930009445443329917989813368/3502352204716591861\ 2103887474637*c_1001_5^6 - 651425453912503330147768386529572/350235\ 22047165918612103887474637*c_1001_5^5 + 428759961792407683730194975472860/35023522047165918612103887474637*\ c_1001_5^4 - 366845380918629349591999334725214/35023522047165918612\ 103887474637*c_1001_5^3 - 2466875225002909361645007158006/350235220\ 47165918612103887474637*c_1001_5^2 - 283280857203944145917784224214764/35023522047165918612103887474637*\ c_1001_5 - 117369101060279332839679350706891/3502352204716591861210\ 3887474637, c_0101_12 + 434390379475516728843512262828/3502352204716591861210388747\ 4637*c_1001_5^19 - 1343822297284470599245748739294/3502352204716591\ 8612103887474637*c_1001_5^18 - 952363250064431110280480900339/35023\ 522047165918612103887474637*c_1001_5^17 + 4587713839013384661948751806607/35023522047165918612103887474637*c_\ 1001_5^16 + 8144743929293914482880508554943/35023522047165918612103\ 887474637*c_1001_5^15 - 27425209470198193838166882054651/3502352204\ 7165918612103887474637*c_1001_5^14 - 16044588034378402331198625892117/35023522047165918612103887474637*c\ _1001_5^13 + 63813381714417606999346296299974/350235220471659186121\ 03887474637*c_1001_5^12 + 26642875484452438883927336587063/35023522\ 047165918612103887474637*c_1001_5^11 - 96582465279934420589866970052183/35023522047165918612103887474637*c\ _1001_5^10 + 129374740768010567734496879192180/35023522047165918612\ 103887474637*c_1001_5^9 + 93946154018824111628954823637848/35023522\ 047165918612103887474637*c_1001_5^8 + 239419210827864124883179155890438/35023522047165918612103887474637*\ c_1001_5^7 - 200850884064951746858992044201642/35023522047165918612\ 103887474637*c_1001_5^6 + 35607820666974963497336448694426/35023522\ 047165918612103887474637*c_1001_5^5 - 148724544235482291828719555909514/35023522047165918612103887474637*\ c_1001_5^4 + 94379637025882182609460046834644/350235220471659186121\ 03887474637*c_1001_5^3 + 19597944772043971803142320428309/350235220\ 47165918612103887474637*c_1001_5^2 - 968620646573069426687930230126/35023522047165918612103887474637*c_1\ 001_5 + 24784828600808807375790402827043/35023522047165918612103887\ 474637, c_0101_3 - 8768919279113403906081286663023/3502352204716591861210388747\ 4637*c_1001_5^19 + 28669883744798708988025663721238/350235220471659\ 18612103887474637*c_1001_5^18 + 18795929306651039596488507085592/35\ 023522047165918612103887474637*c_1001_5^17 - 110912685679029537497851634097417/35023522047165918612103887474637*\ c_1001_5^16 - 155129535526866398729632171057401/3502352204716591861\ 2103887474637*c_1001_5^15 + 641154194853111204283339939138079/35023\ 522047165918612103887474637*c_1001_5^14 + 288092538714606079876312298722776/35023522047165918612103887474637*\ c_1001_5^13 - 1680862026038067196610788897293823/350235220471659186\ 12103887474637*c_1001_5^12 - 377063953687691300219547891410452/3502\ 3522047165918612103887474637*c_1001_5^11 + 2939305066339586797073553051559502/35023522047165918612103887474637\ *c_1001_5^10 - 3048297418362475644356588882645411/35023522047165918\ 612103887474637*c_1001_5^9 - 2999330226630723950644723697106925/350\ 23522047165918612103887474637*c_1001_5^8 - 2361384691597871172175745684051305/35023522047165918612103887474637\ *c_1001_5^7 + 6223569689483325382235131719504873/350235220471659186\ 12103887474637*c_1001_5^6 - 1227569022810150702397545331435749/3502\ 3522047165918612103887474637*c_1001_5^5 + 596238559019685871926380757722302/35023522047165918612103887474637*\ c_1001_5^4 - 499502746617153036522328370826270/35023522047165918612\ 103887474637*c_1001_5^3 - 138815650998114023231386484362546/3502352\ 2047165918612103887474637*c_1001_5^2 - 821919502225840616703379277710176/35023522047165918612103887474637*\ c_1001_5 - 287710632747192661162463010195888/3502352204716591861210\ 3887474637, c_0101_6 + 3280162070289204537045358517490/3502352204716591861210388747\ 4637*c_1001_5^19 - 10869467737402720249901349042376/350235220471659\ 18612103887474637*c_1001_5^18 - 6584957794370929427783568570603/350\ 23522047165918612103887474637*c_1001_5^17 + 41781989527244472178922754736964/35023522047165918612103887474637*c\ _1001_5^16 + 56472093115405900690049475982150/350235220471659186121\ 03887474637*c_1001_5^15 - 242128853670238905368006596298902/3502352\ 2047165918612103887474637*c_1001_5^14 - 98606583342539708019335473995918/35023522047165918612103887474637*c\ _1001_5^13 + 632227532708628487878421062186523/35023522047165918612\ 103887474637*c_1001_5^12 + 119225407935237636486913531309578/350235\ 22047165918612103887474637*c_1001_5^11 - 1099549862144882230325760662483883/35023522047165918612103887474637\ *c_1001_5^10 + 1174175162113522003505153590575913/35023522047165918\ 612103887474637*c_1001_5^9 + 1057392840810581672307310958173176/350\ 23522047165918612103887474637*c_1001_5^8 + 848471537913287811888707216026523/35023522047165918612103887474637*\ c_1001_5^7 - 2387958543395931443169346171031563/3502352204716591861\ 2103887474637*c_1001_5^6 + 477987856452929456965398823030159/350235\ 22047165918612103887474637*c_1001_5^5 - 291256910333624161849140246736036/35023522047165918612103887474637*\ c_1001_5^4 + 190951088153462778975869237075349/35023522047165918612\ 103887474637*c_1001_5^3 + 52496045163486484678745404460514/35023522\ 047165918612103887474637*c_1001_5^2 + 303561305088116643716302309377583/35023522047165918612103887474637*\ c_1001_5 + 94273297426249659194461724881144/35023522047165918612103\ 887474637, c_0101_8 - 1479378374113214686737341137318/3502352204716591861210388747\ 4637*c_1001_5^19 + 4948090692590910121043093007923/3502352204716591\ 8612103887474637*c_1001_5^18 + 2419615981379097495013523619505/3502\ 3522047165918612103887474637*c_1001_5^17 - 17612846500054360843517076480938/35023522047165918612103887474637*c\ _1001_5^16 - 24270457783690305424518098378507/350235220471659186121\ 03887474637*c_1001_5^15 + 105356640033144810477820245325646/3502352\ 2047165918612103887474637*c_1001_5^14 + 34957179939333629427157736891814/35023522047165918612103887474637*c\ _1001_5^13 - 258855513495644913338817003336635/35023522047165918612\ 103887474637*c_1001_5^12 - 37223652985626637580046110572962/3502352\ 2047165918612103887474637*c_1001_5^11 + 430555172673992547216062044603057/35023522047165918612103887474637*\ c_1001_5^10 - 547155953252204474660530018787355/3502352204716591861\ 2103887474637*c_1001_5^9 - 352707193541215866983251731305388/350235\ 22047165918612103887474637*c_1001_5^8 - 531160643663087378478104352604656/35023522047165918612103887474637*\ c_1001_5^7 + 1005304289054690587808881958468204/3502352204716591861\ 2103887474637*c_1001_5^6 - 394437913428208244267716934231595/350235\ 22047165918612103887474637*c_1001_5^5 + 343592258347292025036188159156460/35023522047165918612103887474637*\ c_1001_5^4 - 238117888758930500481574663885706/35023522047165918612\ 103887474637*c_1001_5^3 + 39566961405122317119357216903360/35023522\ 047165918612103887474637*c_1001_5^2 - 154279911418315621798393595211975/35023522047165918612103887474637*\ c_1001_5 - 61987412669963906584723298955009/35023522047165918612103\ 887474637, c_1001_5^20 - 3*c_1001_5^19 - 3*c_1001_5^18 + 12*c_1001_5^17 + 21*c_1001_5^16 - 68*c_1001_5^15 - 52*c_1001_5^14 + 181*c_1001_5^13 + 93*c_1001_5^12 - 318*c_1001_5^11 + 260*c_1001_5^10 + 425*c_1001_5^9 + 368*c_1001_5^8 - 621*c_1001_5^7 - 50*c_1001_5^6 - 45*c_1001_5^5 + 32*c_1001_5^4 + 40*c_1001_5^3 + 92*c_1001_5^2 + 61*c_1001_5 + 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 4.120 Total time: 4.330 seconds, Total memory usage: 87.25MB