Magma V2.19-8 Tue Aug 20 2013 23:39:02 on localhost [Seed = 3987442056] Type ? for help. Type -D to quit. Loading file "K11n14__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K11n14 geometric_solution 10.83966053 oriented_manifold CS_known 0.0000000000000004 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 1 -1 0 0 0 0 0 -8 8 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.395890135869 1.728829894122 0 5 7 6 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.689017584313 1.370357531716 7 0 9 8 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 -1 0 1 0 0 0 0 1 8 0 -9 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.180126897371 0.515483661830 8 8 6 0 1230 0321 0132 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 9 -1 0 -8 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.358061900850 0.418647419693 9 10 0 7 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 0 1 -1 -1 0 1 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.756246608765 0.693211123671 11 1 10 11 0132 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.349113166728 0.474902231121 8 9 1 3 0213 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.443606711042 0.792372963823 2 11 4 1 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 1 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.281442176784 0.658663814529 6 3 2 3 0213 3012 0132 0321 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 1 -1 0 0 0 0 0 0 -1 0 1 0 -9 9 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.179876748446 1.379516656536 4 10 6 2 0132 0321 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 0 0 0 1 0 -1 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.707128171545 0.582480222694 11 4 5 9 2103 0132 0321 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851719482504 1.053605715854 5 7 10 5 0132 0132 2103 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 1 -1 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 1.403845868712 0.756196836500 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_10'], 'c_1001_10' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_10'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_0011_10'], 'c_1001_0' : negation(d['c_0011_3']), 'c_1001_3' : d['c_1001_3'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_1001_5'], 'c_1001_8' : negation(d['c_0011_3']), 'c_1010_11' : d['c_1001_10'], 'c_1010_10' : d['c_1001_2'], 's_0_10' : d['1'], 's_0_11' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_10'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : 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' : 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' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_1001_3'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : d['c_1001_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_1100_0'], 'c_1100_1' : d['c_1100_0'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1001_3'], 's_3_11' : d['1'], 'c_1100_11' : d['c_0011_10'], 'c_1100_10' : d['c_1001_5'], 's_3_10' : d['1'], 'c_1010_7' : d['c_0011_10'], 'c_1010_6' : d['c_1001_3'], 'c_1010_5' : d['c_0011_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0011_3']), 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_1001_2'], 'c_1010_8' : negation(d['c_0011_3']), 'c_1100_8' : d['c_1001_3'], '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' : 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' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(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' : negation(d['c_0011_10']), 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_6'], 'c_0101_6' : d['c_0011_8'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_8'], 'c_0101_9' : d['c_0011_6'], 'c_0101_8' : d['c_0011_6'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_1'], 'c_0110_8' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0011_8'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0110_3' : d['c_0011_8'], 'c_0110_2' : d['c_0011_6'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : d['c_0011_6'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0011_3']})} 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_6, c_0011_8, c_0101_1, c_0101_10, c_1001_10, c_1001_2, c_1001_3, c_1001_5, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 2335832587979340284505411668696859332039726033979693/55562625744303\ 59711563466687331863218114480025024*c_1100_0^25 - 507099377968017517129650175813582560574699316382287/694532821803794\ 963945433335916482902264310003128*c_1100_0^24 - 94432155977614910247565685537522514528358807169094205/5556262574430\ 359711563466687331863218114480025024*c_1100_0^23 - 80754311494109223316698205339094988243419266841215059/2778131287215\ 179855781733343665931609057240012512*c_1100_0^22 - 1387759662674948665431011869482214645786565442196501249/55562625744\ 30359711563466687331863218114480025024*c_1100_0^21 - 1228821879689806286705156538944598918255161802567231877/55562625744\ 30359711563466687331863218114480025024*c_1100_0^20 - 506052595742026824498695103122990847700965402430250283/505114779493\ 669064687587880666533019828589093184*c_1100_0^19 - 806884377677228831785425692357546837414982150752862505/138906564360\ 7589927890866671832965804528620006256*c_1100_0^18 - 2560737827446230239176230598676864479162123001206463055/27781312872\ 15179855781733343665931609057240012512*c_1100_0^17 - 15942505306073296535296229047464435063750594509433105099/5556262574\ 430359711563466687331863218114480025024*c_1100_0^16 + 17131447480808380447246025336969209488099346190126722019/5556262574\ 430359711563466687331863218114480025024*c_1100_0^15 - 51973904379896352101918257920637050348815318478371735757/5556262574\ 430359711563466687331863218114480025024*c_1100_0^14 + 58704415969918374984015137447048852149626324734513115999/5556262574\ 430359711563466687331863218114480025024*c_1100_0^13 - 90262755976528884232708893800891428253899899469570675893/5556262574\ 430359711563466687331863218114480025024*c_1100_0^12 + 21075692080296649843658522578934793506643648788677705599/1389065643\ 607589927890866671832965804528620006256*c_1100_0^11 - 45392168826150901103205871334025466396438810874745128389/2778131287\ 215179855781733343665931609057240012512*c_1100_0^10 + 17197772419930178021563899852694218723814928952060251619/1389065643\ 607589927890866671832965804528620006256*c_1100_0^9 - 54687711769872271448717058508156918837746721841488803271/5556262574\ 430359711563466687331863218114480025024*c_1100_0^8 + 16497402588195899451679290335323379622774937915542266019/2778131287\ 215179855781733343665931609057240012512*c_1100_0^7 - 18977494591737559029377803326841867595559704496118821461/5556262574\ 430359711563466687331863218114480025024*c_1100_0^6 + 398636074015998549421665966367089243107763788837214147/252557389746\ 834532343793940333266509914294546592*c_1100_0^5 - 286454678281090874077332479511974536751609846935308775/505114779493\ 669064687587880666533019828589093184*c_1100_0^4 + 1103064788646429819996722040631312863304790405132754815/55562625744\ 30359711563466687331863218114480025024*c_1100_0^3 - 4928449448105522520899081298094134519531273762130785/25255738974683\ 4532343793940333266509914294546592*c_1100_0^2 + 61366937624589720204093429481137995480665136592998237/5556262574430\ 359711563466687331863218114480025024*c_1100_0 - 4589431462841152933763567926983944636753602222342435/55562625744303\ 59711563466687331863218114480025024, c_0011_0 - 1, c_0011_10 + 3010163975131757779526101048959877547799462087/157848368591\ 77158271487121270829156869643409162*c_1100_0^25 + 6004398048105972353420772115122729462995590739/15784836859177158271\ 487121270829156869643409162*c_1100_0^24 + 60726089206508214445954806406887338464709635309/7892418429588579135\ 743560635414578434821704581*c_1100_0^23 + 117828832752792289567728524798912255559626404952/789241842958857913\ 5743560635414578434821704581*c_1100_0^22 + 1776876362549964322485917404272293283425707784427/15784836859177158\ 271487121270829156869643409162*c_1100_0^21 + 946490383743091774190896637544262745057225809647/789241842958857913\ 5743560635414578434821704581*c_1100_0^20 + 6602590459057022532511308052705379667948615622267/15784836859177158\ 271487121270829156869643409162*c_1100_0^19 + 4624219317891614207909130137756741681140410849945/15784836859177158\ 271487121270829156869643409162*c_1100_0^18 + 3942080985336696675231811340735221389378416611775/15784836859177158\ 271487121270829156869643409162*c_1100_0^17 + 9231811241291448024590334413076172718374976957598/78924184295885791\ 35743560635414578434821704581*c_1100_0^16 - 19256717079590149848248919915150190732037791605281/1578483685917715\ 8271487121270829156869643409162*c_1100_0^15 + 25511042124466587506334829725519515630200836933586/7892418429588579\ 135743560635414578434821704581*c_1100_0^14 - 52247809061177464511671309441555877502944034394567/1578483685917715\ 8271487121270829156869643409162*c_1100_0^13 + 38152989468528500289152672467832603432968254523381/7892418429588579\ 135743560635414578434821704581*c_1100_0^12 - 32649331236609158451749689230722870468681301864901/7892418429588579\ 135743560635414578434821704581*c_1100_0^11 + 33137880675033839432335190444410363770878333863741/7892418429588579\ 135743560635414578434821704581*c_1100_0^10 - 23689660734581032051881586641524718575561534022438/7892418429588579\ 135743560635414578434821704581*c_1100_0^9 + 35215402416782507838003983269973303775491999349731/1578483685917715\ 8271487121270829156869643409162*c_1100_0^8 - 20788820737922887259110624351596896456784199086203/1578483685917715\ 8271487121270829156869643409162*c_1100_0^7 + 5618008524677237457625285914974946405128952925289/78924184295885791\ 35743560635414578434821704581*c_1100_0^6 - 2756949028195939393402705177984720100981510633801/78924184295885791\ 35743560635414578434821704581*c_1100_0^5 + 1937643650594259855178572026468249319030066520069/15784836859177158\ 271487121270829156869643409162*c_1100_0^4 - 421610556490787158650550431657568057013603283456/789241842958857913\ 5743560635414578434821704581*c_1100_0^3 + 79263967349319633089673954198207594756050858233/7892418429588579135\ 743560635414578434821704581*c_1100_0^2 - 29800041976582268026527025464680561519044895227/1578483685917715827\ 1487121270829156869643409162*c_1100_0 - 1264396227740013001536982288807225077550642266/78924184295885791357\ 43560635414578434821704581, c_0011_3 + 3773133650123391499503823083350450916222638407/3156967371835\ 4316542974242541658313739286818324*c_1100_0^25 + 2622037879289066463809855610418986313669340503/31569673718354316542\ 974242541658313739286818324*c_1100_0^24 + 71660162935952182976094462909183247694489754083/1578483685917715827\ 1487121270829156869643409162*c_1100_0^23 + 50947640083428756642615811031369918541510710735/1578483685917715827\ 1487121270829156869643409162*c_1100_0^22 + 1882742681591442239562144244415273993399563560973/31569673718354316\ 542974242541658313739286818324*c_1100_0^21 - 87298600595415987659210034848817759545908344825/7892418429588579135\ 743560635414578434821704581*c_1100_0^20 + 5877690898527478024312933155566461116072076654919/31569673718354316\ 542974242541658313739286818324*c_1100_0^19 - 2923848361259112186628593957621361386393277969127/31569673718354316\ 542974242541658313739286818324*c_1100_0^18 + 484758264824910309415727270889596623650633705033/315696737183543165\ 42974242541658313739286818324*c_1100_0^17 + 11622650460459083254841835340152961154733794874043/1578483685917715\ 8271487121270829156869643409162*c_1100_0^16 - 50725951588231120840181665412002480326689377126777/3156967371835431\ 6542974242541658313739286818324*c_1100_0^15 + 51283895910468763638299530791306385112987589181215/1578483685917715\ 8271487121270829156869643409162*c_1100_0^14 - 138478916864647103870163787367532660541517506266055/315696737183543\ 16542974242541658313739286818324*c_1100_0^13 + 86771372989798858571943060455444769871274633799663/1578483685917715\ 8271487121270829156869643409162*c_1100_0^12 - 43010949429287828069437370132338910426498879291208/7892418429588579\ 135743560635414578434821704581*c_1100_0^11 + 77680649634156554116880298154619289396657892659707/1578483685917715\ 8271487121270829156869643409162*c_1100_0^10 - 55820762590465940136880608757934133150285810899461/1578483685917715\ 8271487121270829156869643409162*c_1100_0^9 + 73166450771827214447363638644510081723825984108859/3156967371835431\ 6542974242541658313739286818324*c_1100_0^8 - 34340769769845630967711492632160583600892527658791/3156967371835431\ 6542974242541658313739286818324*c_1100_0^7 + 3356800437831156340427728968720848991274788234960/78924184295885791\ 35743560635414578434821704581*c_1100_0^6 - 249907270276006410464420884373231645148271140837/789241842958857913\ 5743560635414578434821704581*c_1100_0^5 - 1690817328388424143929341105498152485534056786241/31569673718354316\ 542974242541658313739286818324*c_1100_0^4 + 879016900857688983867535958836441891470392136825/157848368591771582\ 71487121270829156869643409162*c_1100_0^3 - 186645724820427058980102345362504341972867481490/789241842958857913\ 5743560635414578434821704581*c_1100_0^2 + 72153537306806009057014939751817654443913772887/3156967371835431654\ 2974242541658313739286818324*c_1100_0 - 33839851253327823240942384797173895342745716155/1578483685917715827\ 1487121270829156869643409162, c_0011_6 - c_1100_0, c_0011_8 - 6628022201848566134206578346607353357271062315/1578483685917\ 7158271487121270829156869643409162*c_1100_0^25 - 16266208378828890047939257742174584262341586717/1578483685917715827\ 1487121270829156869643409162*c_1100_0^24 - 138876654161948591927945242163012108555554572827/789241842958857913\ 5743560635414578434821704581*c_1100_0^23 - 325846977280450859814217940271181472755552127909/789241842958857913\ 5743560635414578434821704581*c_1100_0^22 - 4325147364046149883940915889454561532555498258259/15784836859177158\ 271487121270829156869643409162*c_1100_0^21 - 3178419852013661760611331520888987226650005922046/78924184295885791\ 35743560635414578434821704581*c_1100_0^20 - 19066186292475818402111037771148178038803774077459/1578483685917715\ 8271487121270829156869643409162*c_1100_0^19 - 20375620594498342959392577856955459944357883112837/1578483685917715\ 8271487121270829156869643409162*c_1100_0^18 - 23434546326737844896787399485428410509075685699915/1578483685917715\ 8271487121270829156869643409162*c_1100_0^17 - 27140954804188278232265386941609035068926067447100/7892418429588579\ 135743560635414578434821704581*c_1100_0^16 + 16432914410149804647416966168735369989282189173279/1578483685917715\ 8271487121270829156869643409162*c_1100_0^15 - 60426522122643344831371969876891325943657597335752/7892418429588579\ 135743560635414578434821704581*c_1100_0^14 + 81651036165469573295743419313000360892093180492183/1578483685917715\ 8271487121270829156869643409162*c_1100_0^13 - 88179652351390715011623892155639173571346087956049/7892418429588579\ 135743560635414578434821704581*c_1100_0^12 + 56263186796804324292620036079589145141358028153794/7892418429588579\ 135743560635414578434821704581*c_1100_0^11 - 78283876355730292936465812556444402671964468101254/7892418429588579\ 135743560635414578434821704581*c_1100_0^10 + 42527620781269391555767107960459182155728113524299/7892418429588579\ 135743560635414578434821704581*c_1100_0^9 - 82920966996978897528603950432904522499468746005709/1578483685917715\ 8271487121270829156869643409162*c_1100_0^8 + 36526309896026371998648020753704688963609979147829/1578483685917715\ 8271487121270829156869643409162*c_1100_0^7 - 11918826373561754261251133828055206848860931740346/7892418429588579\ 135743560635414578434821704581*c_1100_0^6 + 4111928067636457627389971097844648323344966553131/78924184295885791\ 35743560635414578434821704581*c_1100_0^5 - 1995651098302546643250642910736691151825092335293/15784836859177158\ 271487121270829156869643409162*c_1100_0^4 + 519169159017873169540090825579226169192320229683/789241842958857913\ 5743560635414578434821704581*c_1100_0^3 + 289050112453815835966418864725420989868182037156/789241842958857913\ 5743560635414578434821704581*c_1100_0^2 + 176972405140157580662113622702945381553621177067/157848368591771582\ 71487121270829156869643409162*c_1100_0 + 24842054291063983214573380252251310795429041086/7892418429588579135\ 743560635414578434821704581, c_0101_1 - 3159689801770125783570462166220303909558096885/7892418429588\ 579135743560635414578434821704581*c_1100_0^25 - 10540663229606334596173673458332150332851618357/1578483685917715827\ 1487121270829156869643409162*c_1100_0^24 - 127180911028393212014543162757860924304074251269/789241842958857913\ 5743560635414578434821704581*c_1100_0^23 - 209180717718494546995542605594730644302208470810/789241842958857913\ 5743560635414578434821704581*c_1100_0^22 - 1854725365606216221336800166552528914473477465919/78924184295885791\ 35743560635414578434821704581*c_1100_0^21 - 3026537504187617166334955654022595875218831008877/15784836859177158\ 271487121270829156869643409162*c_1100_0^20 - 14602927060455609640655303407463355352220358501441/1578483685917715\ 8271487121270829156869643409162*c_1100_0^19 - 3655939001262611929445574290252618043070581336913/78924184295885791\ 35743560635414578434821704581*c_1100_0^18 - 12391813842793108757107837745549178714146025387361/1578483685917715\ 8271487121270829156869643409162*c_1100_0^17 - 20558334315538396732800356170037491333723310258883/7892418429588579\ 135743560635414578434821704581*c_1100_0^16 + 24923267089664692270546482435943160713168806399035/7892418429588579\ 135743560635414578434821704581*c_1100_0^15 - 141515327149785106734467366815580973972065968594565/157848368591771\ 58271487121270829156869643409162*c_1100_0^14 + 167874474066150626014606415472177907231100333955665/157848368591771\ 58271487121270829156869643409162*c_1100_0^13 - 125974199950428701376494308812403928298697805575885/789241842958857\ 9135743560635414578434821704581*c_1100_0^12 + 122308329359344381093445539313189710310097541743922/789241842958857\ 9135743560635414578434821704581*c_1100_0^11 - 129861671797978453700777425277999713030313960779543/789241842958857\ 9135743560635414578434821704581*c_1100_0^10 + 102403553906087451079630072897608515619460801360681/789241842958857\ 9135743560635414578434821704581*c_1100_0^9 - 81086206883637821351019529352514531051097788899182/7892418429588579\ 135743560635414578434821704581*c_1100_0^8 + 102348480554332677955489569233959267327504719498671/157848368591771\ 58271487121270829156869643409162*c_1100_0^7 - 29869644258094885388580102945822787767249721313123/7892418429588579\ 135743560635414578434821704581*c_1100_0^6 + 14587178008901597810248852713061317059198759301461/7892418429588579\ 135743560635414578434821704581*c_1100_0^5 - 5653282637346180938658707431601536892256064347245/78924184295885791\ 35743560635414578434821704581*c_1100_0^4 + 4111816354876588970287298107167520841297427378503/15784836859177158\ 271487121270829156869643409162*c_1100_0^3 - 718931905074636991404361197347585553278823955867/157848368591771582\ 71487121270829156869643409162*c_1100_0^2 + 211940626219608050384639969984679041001760593011/157848368591771582\ 71487121270829156869643409162*c_1100_0 - 16451139771045417655746275855324933843384730066/7892418429588579135\ 743560635414578434821704581, c_0101_10 + 32153473361688672634267025506198810650651071201/31569673718\ 354316542974242541658313739286818324*c_1100_0^25 + 61481435215416088806231648146678495716095334771/3156967371835431654\ 2974242541658313739286818324*c_1100_0^24 + 651964991578251031875680812679554864634207999629/157848368591771582\ 71487121270829156869643409162*c_1100_0^23 + 1221092494466863619492714288899555763697833042971/15784836859177158\ 271487121270829156869643409162*c_1100_0^22 + 19267112419074911828655265498734200051204485442479/3156967371835431\ 6542974242541658313739286818324*c_1100_0^21 + 9958656304487870142247960186948352142039329692173/15784836859177158\ 271487121270829156869643409162*c_1100_0^20 + 76446156785098380533957563297864264973249758269679/3156967371835431\ 6542974242541658313739286818324*c_1100_0^19 + 55796993517791810208117021615905816380010389568671/3156967371835431\ 6542974242541658313739286818324*c_1100_0^18 + 67997438577278716768482687708240528345229921443257/3156967371835431\ 6542974242541658313739286818324*c_1100_0^17 + 114440352093254181638224859904528382111653663650059/157848368591771\ 58271487121270829156869643409162*c_1100_0^16 - 198407422191826514372531684688137614839559983272051/315696737183543\ 16542974242541658313739286818324*c_1100_0^15 + 160682411541240351006849182121910610677756017990852/789241842958857\ 9135743560635414578434821704581*c_1100_0^14 - 629469296823204139888979344598778163710057973132935/315696737183543\ 16542974242541658313739286818324*c_1100_0^13 + 497729231388562509823320215590701573934461253814101/157848368591771\ 58271487121270829156869643409162*c_1100_0^12 - 203384579975577951594176029557495856582603304846947/789241842958857\ 9135743560635414578434821704581*c_1100_0^11 + 443198248692228273785330982861129151232673609875989/157848368591771\ 58271487121270829156869643409162*c_1100_0^10 - 288135496356116935205855436094179587757877634561197/157848368591771\ 58271487121270829156869643409162*c_1100_0^9 + 454741239055216133939505446893978670401083669315629/315696737183543\ 16542974242541658313739286818324*c_1100_0^8 - 224185560861847477359944104565411443345055909907607/315696737183543\ 16542974242541658313739286818324*c_1100_0^7 + 30132164421780019209097837700880029650688915284279/7892418429588579\ 135743560635414578434821704581*c_1100_0^6 - 10185340290197696168263202378058786593147490238405/7892418429588579\ 135743560635414578434821704581*c_1100_0^5 + 8333711271679369682693202832940286819429364748129/31569673718354316\ 542974242541658313739286818324*c_1100_0^4 - 556800117899950201882975392076377956402316301518/789241842958857913\ 5743560635414578434821704581*c_1100_0^3 - 1014556433236046507347974185172555800077195649327/15784836859177158\ 271487121270829156869643409162*c_1100_0^2 - 459851483316400696628270412255129513708240599849/315696737183543165\ 42974242541658313739286818324*c_1100_0 - 87830039719551443057522782671924189562492546399/1578483685917715827\ 1487121270829156869643409162, c_1001_10 + 28637866098090341805991463192225698970143731965/31569673718\ 354316542974242541658313739286818324*c_1100_0^25 + 63716893261289152176445213299443975901159256417/3156967371835431654\ 2974242541658313739286818324*c_1100_0^24 + 593008109377411415845271783387307841353207823731/157848368591771582\ 71487121270829156869643409162*c_1100_0^23 + 1274676438809890874617594336462884717642796663389/15784836859177158\ 271487121270829156869643409162*c_1100_0^22 + 18133870334968530050781474253497320028718893801471/3156967371835431\ 6542974242541658313739286818324*c_1100_0^21 + 5881912163756813118409390570944299419076713084013/78924184295885791\ 35743560635414578434821704581*c_1100_0^20 + 77659282172042184892090076654555821426606044190321/3156967371835431\ 6542974242541658313739286818324*c_1100_0^19 + 73158962641342363579746560679708035754448453314435/3156967371835431\ 6542974242541658313739286818324*c_1100_0^18 + 88625971232411705242686070531266994482184166380719/3156967371835431\ 6542974242541658313739286818324*c_1100_0^17 + 112212581292371200209286685369866496092652187179921/157848368591771\ 58271487121270829156869643409162*c_1100_0^16 - 114370868589167728431828478657280558184045351867935/315696737183543\ 16542974242541658313739286818324*c_1100_0^15 + 278127425003149045730065381797214000844109852806485/157848368591771\ 58271487121270829156869643409162*c_1100_0^14 - 456904406016223294604009878202979192624128208546529/315696737183543\ 16542974242541658313739286818324*c_1100_0^13 + 425018540660432466842017044203859473919674565744605/157848368591771\ 58271487121270829156869643409162*c_1100_0^12 - 156118263510020299249967330653100281138751169142514/789241842958857\ 9135743560635414578434821704581*c_1100_0^11 + 386567868324640924367473525323332050390464150753481/157848368591771\ 58271487121270829156869643409162*c_1100_0^10 - 235457082654970843800489767547431404626283416672241/157848368591771\ 58271487121270829156869643409162*c_1100_0^9 + 415352193435326937385454544739474022380621248250145/315696737183543\ 16542974242541658313739286818324*c_1100_0^8 - 201611585448501070681426273232745342339941399274225/315696737183543\ 16542974242541658313739286818324*c_1100_0^7 + 30269725209874857269120123684680770702645681152257/7892418429588579\ 135743560635414578434821704581*c_1100_0^6 - 11226676600205028362159735089490302818131137168503/7892418429588579\ 135743560635414578434821704581*c_1100_0^5 + 11722398908048582201827181773545335588205433644841/3156967371835431\ 6542974242541658313739286818324*c_1100_0^4 - 2497380007701462331331272943600755775955897196681/15784836859177158\ 271487121270829156869643409162*c_1100_0^3 - 485672612401329315776569885455637307183758310344/789241842958857913\ 5743560635414578434821704581*c_1100_0^2 - 666808515091356833804225705871250459736497209031/315696737183543165\ 42974242541658313739286818324*c_1100_0 - 75370919180548847770862715663381202449840085847/1578483685917715827\ 1487121270829156869643409162, c_1001_2 + 1, c_1001_3 - 6628022201848566134206578346607353357271062315/1578483685917\ 7158271487121270829156869643409162*c_1100_0^25 - 16266208378828890047939257742174584262341586717/1578483685917715827\ 1487121270829156869643409162*c_1100_0^24 - 138876654161948591927945242163012108555554572827/789241842958857913\ 5743560635414578434821704581*c_1100_0^23 - 325846977280450859814217940271181472755552127909/789241842958857913\ 5743560635414578434821704581*c_1100_0^22 - 4325147364046149883940915889454561532555498258259/15784836859177158\ 271487121270829156869643409162*c_1100_0^21 - 3178419852013661760611331520888987226650005922046/78924184295885791\ 35743560635414578434821704581*c_1100_0^20 - 19066186292475818402111037771148178038803774077459/1578483685917715\ 8271487121270829156869643409162*c_1100_0^19 - 20375620594498342959392577856955459944357883112837/1578483685917715\ 8271487121270829156869643409162*c_1100_0^18 - 23434546326737844896787399485428410509075685699915/1578483685917715\ 8271487121270829156869643409162*c_1100_0^17 - 27140954804188278232265386941609035068926067447100/7892418429588579\ 135743560635414578434821704581*c_1100_0^16 + 16432914410149804647416966168735369989282189173279/1578483685917715\ 8271487121270829156869643409162*c_1100_0^15 - 60426522122643344831371969876891325943657597335752/7892418429588579\ 135743560635414578434821704581*c_1100_0^14 + 81651036165469573295743419313000360892093180492183/1578483685917715\ 8271487121270829156869643409162*c_1100_0^13 - 88179652351390715011623892155639173571346087956049/7892418429588579\ 135743560635414578434821704581*c_1100_0^12 + 56263186796804324292620036079589145141358028153794/7892418429588579\ 135743560635414578434821704581*c_1100_0^11 - 78283876355730292936465812556444402671964468101254/7892418429588579\ 135743560635414578434821704581*c_1100_0^10 + 42527620781269391555767107960459182155728113524299/7892418429588579\ 135743560635414578434821704581*c_1100_0^9 - 82920966996978897528603950432904522499468746005709/1578483685917715\ 8271487121270829156869643409162*c_1100_0^8 + 36526309896026371998648020753704688963609979147829/1578483685917715\ 8271487121270829156869643409162*c_1100_0^7 - 11918826373561754261251133828055206848860931740346/7892418429588579\ 135743560635414578434821704581*c_1100_0^6 + 4111928067636457627389971097844648323344966553131/78924184295885791\ 35743560635414578434821704581*c_1100_0^5 - 1995651098302546643250642910736691151825092335293/15784836859177158\ 271487121270829156869643409162*c_1100_0^4 + 519169159017873169540090825579226169192320229683/789241842958857913\ 5743560635414578434821704581*c_1100_0^3 + 289050112453815835966418864725420989868182037156/789241842958857913\ 5743560635414578434821704581*c_1100_0^2 + 176972405140157580662113622702945381553621177067/157848368591771582\ 71487121270829156869643409162*c_1100_0 + 24842054291063983214573380252251310795429041086/7892418429588579135\ 743560635414578434821704581, c_1001_5 - 375029585948172708590864616046357310673432635/15784836859177\ 158271487121270829156869643409162*c_1100_0^25 - 4865121234289828502511559755975927556797942739/15784836859177158271\ 487121270829156869643409162*c_1100_0^24 - 12133793782229503821456848730504416694455505365/7892418429588579135\ 743560635414578434821704581*c_1100_0^23 - 98861265764350740131100058853466485096214166358/7892418429588579135\ 743560635414578434821704581*c_1100_0^22 - 581962375228031683099015824642974188202134383735/157848368591771582\ 71487121270829156869643409162*c_1100_0^21 - 1377659339065316072837035264632479717675401313056/78924184295885791\ 35743560635414578434821704581*c_1100_0^20 - 3996629600611573879199687732258414331415802692783/15784836859177158\ 271487121270829156869643409162*c_1100_0^19 - 10445746466659565051893785995028648636662918211941/1578483685917715\ 8271487121270829156869643409162*c_1100_0^18 - 9217187640861230798851958794118078936869155524275/15784836859177158\ 271487121270829156869643409162*c_1100_0^17 - 5084553400195934437383120978014560680086097418855/78924184295885791\ 35743560635414578434821704581*c_1100_0^16 - 25189168688921970463126700291205297425138120806815/1578483685917715\ 8271487121270829156869643409162*c_1100_0^15 + 6659235114217103384344271997353569249404355107408/78924184295885791\ 35743560635414578434821704581*c_1100_0^14 - 60338037582312279001561365279170603223345113101957/1578483685917715\ 8271487121270829156869643409162*c_1100_0^13 + 23829938554644946007251677532481646603752300462422/7892418429588579\ 135743560635414578434821704581*c_1100_0^12 - 43134896188327609426401494128469625806728207218536/7892418429588579\ 135743560635414578434821704581*c_1100_0^11 + 30729445054608892913085941587324429493288600547601/7892418429588579\ 135743560635414578434821704581*c_1100_0^10 - 36103975390473298961723779840943844667525877854627/7892418429588579\ 135743560635414578434821704581*c_1100_0^9 + 44022543109777006253298556282314421117836624294405/1578483685917715\ 8271487121270829156869643409162*c_1100_0^8 - 36323116999225555958266960748800531293957523120419/1578483685917715\ 8271487121270829156869643409162*c_1100_0^7 + 9247407508216299954214429743125122219421896124900/78924184295885791\ 35743560635414578434821704581*c_1100_0^6 - 5245943860396435556617622887774531478537712687998/78924184295885791\ 35743560635414578434821704581*c_1100_0^5 + 4636927008136555110668551409961637627538098699225/15784836859177158\ 271487121270829156869643409162*c_1100_0^4 - 695047158422207678305052051786735245430070714420/789241842958857913\ 5743560635414578434821704581*c_1100_0^3 + 374775149150164505507336633132269494584788250838/789241842958857913\ 5743560635414578434821704581*c_1100_0^2 - 19131412315686934374675695441310722332516841831/1578483685917715827\ 1487121270829156869643409162*c_1100_0 + 23056548139286906984635265418000610358104855868/7892418429588579135\ 743560635414578434821704581, c_1100_0^26 + 2*c_1100_0^25 + 41*c_1100_0^24 + 80*c_1100_0^23 + 617*c_1100_0^22 + 691*c_1100_0^21 + 2591*c_1100_0^20 + 2078*c_1100_0^19 + 2838*c_1100_0^18 + 7595*c_1100_0^17 - 5265*c_1100_0^16 + 21139*c_1100_0^15 - 20017*c_1100_0^14 + 34491*c_1100_0^13 - 28490*c_1100_0^12 + 33474*c_1100_0^11 - 22832*c_1100_0^10 + 19659*c_1100_0^9 - 10824*c_1100_0^8 + 6733*c_1100_0^7 - 2936*c_1100_0^6 + 1133*c_1100_0^5 - 449*c_1100_0^4 + 40*c_1100_0^3 - 53*c_1100_0^2 - 3*c_1100_0 - 2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB