Magma V2.19-8 Wed Aug 21 2013 00:03:57 on localhost [Seed = 4206662865] Type ? for help. Type -D to quit. Loading file "K13n1940__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation K13n1940 geometric_solution 11.76005905 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 13 1 1 2 3 0132 3120 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.922378665001 0.646348905998 0 0 3 4 0132 3120 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.285561989155 1.363803438482 5 6 6 0 0132 0132 0321 0132 0 0 0 0 0 0 0 0 -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 1 0 -1 4 0 -4 0 0 -1 0 1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305251478787 1.025014256453 7 7 0 1 0132 2310 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.005455921939 0.960089885506 8 7 1 9 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.177511270051 1.700841707737 2 10 11 12 0132 0132 0132 0132 0 0 0 0 0 -1 1 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 4 -4 0 -4 0 4 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.363885433523 0.404301326427 11 2 2 10 2103 0132 0321 0132 0 0 0 0 0 0 0 0 1 0 -1 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 -1 0 1 -4 0 4 0 4 -4 0 0 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.305251478787 1.025014256453 3 4 8 3 0132 0132 2310 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.095262595522 0.477131986829 4 7 12 11 0132 3201 1302 3120 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 -5 5 0 0 0 0 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.543438777376 0.880303181196 10 11 4 12 0132 2103 0132 2103 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 0 0 0 -5 0 0 5 5 0 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.607388068571 1.081714605848 9 5 6 12 0132 0132 0132 0321 0 0 0 0 0 1 0 -1 -1 0 0 1 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 -4 -1 5 5 0 0 -5 0 0 0 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.760669803432 0.710684252026 8 9 6 5 3120 2103 2103 0132 0 0 0 0 0 0 1 -1 0 0 -1 1 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 -4 4 0 0 4 -4 0 0 0 0 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.297904039123 0.804760517179 8 10 5 9 2031 0321 0132 2103 0 0 0 0 0 1 0 -1 -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 -5 0 5 5 0 0 -5 0 0 0 0 0 5 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.488559362333 1.413861149304 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_10'], 'c_1001_11' : negation(d['c_0011_10']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : d['c_1001_10'], 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_7' : d['c_0011_11'], 'c_1001_6' : d['c_1001_0'], 'c_1001_1' : negation(d['c_1001_0']), 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_0'], 'c_1001_2' : d['c_1001_10'], 'c_1001_9' : d['c_0011_11'], 'c_1001_8' : negation(d['c_0101_7']), 'c_1010_12' : d['c_1001_5'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_5'], '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_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_10']), 'c_1100_4' : d['c_0101_7'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_10'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : d['c_1001_0'], 's_0_10' : d['1'], 'c_1100_11' : negation(d['c_0101_10']), 'c_1100_10' : d['c_1001_10'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_1001_10'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_0011_11'], 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_0']), 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : negation(d['c_1001_5']), 'c_1010_8' : negation(d['c_0011_11']), '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_10']), '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' : negation(d['c_0011_10']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_3'], 'c_0011_7' : negation(d['c_0011_3']), 'c_0011_6' : negation(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' : d['c_0011_10'], 'c_0110_11' : d['c_0101_0'], 'c_0110_10' : negation(d['c_0011_12']), 'c_0110_12' : negation(d['c_0101_7']), 'c_0101_12' : negation(d['c_0101_11']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_11'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0101_11']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0011_12']), 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_10'], 'c_0110_8' : d['c_0101_0'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_7'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : negation(d['c_0101_11']), 'c_0110_4' : negation(d['c_0011_12']), 'c_0110_7' : d['c_0101_1'], 'c_1100_8' : negation(d['c_0101_11'])})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_12, c_0011_3, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_7, c_1001_0, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 20 Groebner basis: [ t - 8502588805802824665903117188746836074982275420305801683243277581902\ 3047762302714527280129/15757076907141152320890873571868721590345401\ 841465122428219526462299121763669810155731577*c_1001_5^19 + 1925978462844114521501648103983399277468113583780752644620076954546\ 86370841941666314941451/1575707690714115232089087357186872159034540\ 1841465122428219526462299121763669810155731577*c_1001_5^18 - 5237318243900350458591341289707350427934788247486383233544263849320\ 424448504185414071029715/157570769071411523208908735718687215903454\ 01841465122428219526462299121763669810155731577*c_1001_5^17 + 5894419996401471670392605115623716646738949851683172224820288076027\ 360524916853900995263204/157570769071411523208908735718687215903454\ 01841465122428219526462299121763669810155731577*c_1001_5^16 - 9932243282997733525549851836344650523548315895642121697059831034421\ 0617356223066628719194807/15757076907141152320890873571868721590345\ 401841465122428219526462299121763669810155731577*c_1001_5^15 - 2895067526374136354832198260147917597630389591464109003337723300914\ 3690186202835682715987078/15757076907141152320890873571868721590345\ 401841465122428219526462299121763669810155731577*c_1001_5^14 - 3201530909791639514759468208644471053820120333995914960506025033809\ 1901080985130476458677850/82931983721795538531004597746677482054449\ 4833761322233064185603278901145456305797670083*c_1001_5^13 - 1209252003031929304770173260228488103008088656492886215398444559350\ 368859386225634211551234368/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^12 - 1739431400242623080507514942934331248034129403071821223685136157331\ 837421788915910415835659990/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^11 - 3060274959318262340419077718188688780579875215330939022772635603196\ 498484939038588154420355699/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^10 - 1799750293454792748623649295880853155606469607266477367383336983679\ 482408611812701504105731030/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^9 - 3452846522841667089002244436570754890079198061579106464002065042608\ 363396471923825279447362068/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^8 - 5059307723209021597462923196036882991876756834750138546033347499152\ 699749374258562071948603033/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^7 - 5236633457782875760349529676977384321722228401840644401880429460514\ 260958930020141719424455205/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^6 - 7638510964340829862066316164354191674953701784111012462333360786405\ 936045028167470384983923625/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^5 - 4021516048750441876977196139311650757431019374234456200020942309106\ 245309899858904819504996689/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^4 - 1349550924034325123501142626117318459867865971381539177342569231261\ 221068855081668562354960210/157570769071411523208908735718687215903\ 45401841465122428219526462299121763669810155731577*c_1001_5^3 - 4435578629395656118399067710760259110730159996277441458790738505800\ 869052063532368881899742/978700429014978405024277861606752893810273\ 40630218151728071592933534917786769007178457*c_1001_5^2 - 2600878308699384506109640019797818156073190889925255832094639844250\ 13233815841004413420953923/1575707690714115232089087357186872159034\ 5401841465122428219526462299121763669810155731577*c_1001_5 - 2707212340471916350262672469731792318065732538433785735736650885566\ 9453974196871949312713860/15757076907141152320890873571868721590345\ 401841465122428219526462299121763669810155731577, c_0011_0 - 1, c_0011_10 - 2444683043796069789922045681803338222765938441499639633/132\ 0272087196758554018664213651242490965606217116633286821*c_1001_5^19 + 5984432623712447245546360901777568545152963723533178360/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^18 - 151685718731893134351618535014621976217863432495614881449/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 + 197252284825467493842769032882301328550369421228750459922/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 - 2892390758838277166420667004214943517174482698162790559170/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 - 300932468574030230821149255954496256627992187240222964121/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^14 - 17449894375771134578091884857179392335361592973299698822824/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 - 31533840158579059833534574217131989419824521194952664063442/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 - 44373163774781210261044947955932322704035684942000195786102/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^11 - 79690792957747758612220309241025812404679170836479358886172/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^10 - 37352187947939875820425368102007704701214532971836112482076/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 - 92527552296619102961735232889964620979828245309257431808318/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^8 - 128361774121188917919380361768005173714403607693838525834301/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 - 128430520428854415284530635614334458910329384727228069711048/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 - 195569279628442415730472014934696785281119736461682682690914/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 - 81032399157764553265791291226723086498614266654064498342004/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^4 - 24332936296771129321118650779015270480154405069664736382823/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 - 15256116907830046355133636801027627426558163422727321203776/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 - 6806902987519358935949205715673562186300078628895636624718/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5 - 271089444563619943727540487948244468105156582614124880796/132027208\ 7196758554018664213651242490965606217116633286821, c_0011_11 - 7337369524037766586828324127741788271133117355421987951/132\ 0272087196758554018664213651242490965606217116633286821*c_1001_5^19 + 12896483618712416829412931542806601073759298035109389326/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^18 - 442229194418543787882136034202970982914973914202165937606/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 + 275815338121909759545184230103980933505071895312824969903/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 - 8231812910197972885075447656621884288850833497060825329071/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 - 6971891088338429825694320779068574446022165948805927493259/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 - 52197967642848352308746029029332335775048935685492406182692/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 - 131211155468616686112563311570085599493082895843299609971608/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^12 - 193708695040677745478305436956660801208210154078116735664687/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^11 - 325905060392547393362032558669694616994522298163680958907187/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 - 268749269240599606531836458003667688534277350233938199285947/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^9 - 339697469703698867740336064320711539591573956380582771719874/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 - 576444967553075831178574157237982075560296667479768372541268/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 - 627368428713691129481213661932432514159958973035640733566253/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 - 832727841275799140128360016161849147510233165249321705023281/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 - 625333563239847298681708946890013863669010626075128385380104/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 - 203811212052455994727172791656015512739959993617484234928380/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^3 - 98597947969657301970632174691076969003122037621951958090576/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 - 46991559152862198386552681420353280326187066734899827259991/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 - 8663743971967056026680249779166432302712929980787618327045/13202720\ 87196758554018664213651242490965606217116633286821, c_0011_12 - 3742592020257193015300252495649236749795537640558992966/132\ 0272087196758554018664213651242490965606217116633286821*c_1001_5^19 + 8766564747044538640626123787271176068721718738794881969/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^18 - 231217098219471672840522504216427109487514068551775196489/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 + 277337847944124718956286223356901751267130841253332414783/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 - 4393943683563439338861389719720828558468117511768693939057/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 - 933505790765804829398635514884042034254424452076563796899/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^14 - 26719631618137152215164673822958066477198227996651270197098/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 - 51141949349877645140995115764297914336937510571806946476028/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 - 72788912475403451416978524548487314988542726068086823362218/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^11 - 129010824325527812515956870668205029304738388034647627210661/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 - 69988693220750142690320294343383245259241116733127806562593/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 - 146958874331964266737908170319824241033294126280315929126360/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 - 212057705896155814543634938802640762989320876488563189007741/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 - 215572653915200131969514928880340829390329046046652926829725/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 - 319166041992690210774214502213266023904062973004484521995467/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 - 155094229286285486623285020902898147252794448331117093228578/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 - 48567456101865556416180755064018900967901735691443701917732/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 - 28390644482159476417445820545360922417240190245842080469733/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 - 11068121227172329664822168265169109038118525363634359520415/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 - 742437424486014655532183485274596226292169130883863468958/132027208\ 7196758554018664213651242490965606217116633286821, c_0011_3 + 6784590360058126084314869878892843151473003054330809831/1320\ 272087196758554018664213651242490965606217116633286821*c_1001_5^19 - 13162238482077555419157918131091868137176280679235889003/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^18 + 412095536167662417467495773943535309207332475936308261407/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 - 332232146430474310346323627293196757900839718156014883870/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 + 7721134387524415714647119762912829195619610692810187563248/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 + 4967498662423752845940182756270471079476899329393725578303/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 + 48298269858563311418362343403744483383552833280463511446196/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 + 112461320940862638808885802853235496714063857902187570216758/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^12 + 164232861342148357645744338652723458000993300728759777123508/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^11 + 280586413748706973533365569319021598059490852962943307964195/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 + 210272819781267562137665333119694285243914739360692415296957/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^9 + 299492351396905812631294740320436607220194027890984021954914/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 + 486993873342791944760597734906000789638866366418275303505902/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 + 520276888916566070631307493687433001579940607212108979783725/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 + 711538002178511750880280254403610229581478438942232862925250/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 + 484726669664536492287573587843659478261860756845573017595273/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 + 157549255306947882125700295754772901859952064114983851952824/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^3 + 80765157737567448563661978735760367098845408662984290511483/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 + 36128858196596649249939767150857301943917261979885147496315/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 + 6111696787908495986283294456217806318775602194830025732489/13202720\ 87196758554018664213651242490965606217116633286821, c_0101_0 - 3450331664670710904569477541336005333271231445162646827/1320\ 272087196758554018664213651242490965606217116633286821*c_1001_5^19 + 7084268456276085019216704898332526373002787676186259232/13202720871\ 96758554018664213651242490965606217116633286821*c_1001_5^18 - 210612515030231821301751875578309515383767502919450438740/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 + 193444699105885905889630982149431840290575579267598650024/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 - 3963484714056248985941211236493562425292460294481211783310/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 - 2054159790074724068110747288232062072843401978702304447384/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 - 24620573813853768187571720308627574152276916457184761489129/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 - 54347496646479463704126280107680579654686553386011603967655/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 - 79148294943621446300254597704541005942507194721900893465849/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^11 - 136229487404367697717922319590303547415747931089470470263368/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 - 95568306663169598095739053245661452042499285514323332970212/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 - 148171985191261343912439287924018553571355729013730500378530/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 - 233210154496830132192596511679981881651672694617367227106891/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 - 247113309619766022363593018522940375751751659852098600165851/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 - 343524594176716450509734138980701441080069728552644252253052/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 - 218936631325747169106469207446140301041335840994905870087746/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 - 71360150716027312088829720032073865083507454324387589135473/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 - 37618310525069416237493934459541235919392890808018412655745/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 - 16270754611837979043287744432069886681183236448309755843649/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 - 2217148278385657644159826338626591721936198818770756707962/13202720\ 87196758554018664213651242490965606217116633286821, c_0101_1 + 4587862291089680439187361927684006812513500972447426365/1320\ 272087196758554018664213651242490965606217116633286821*c_1001_5^19 - 9242237014499447182338621270083906669066806336888016367/13202720871\ 96758554018664213651242490965606217116633286821*c_1001_5^18 + 279543166392744232357287629700194159479485559841206228972/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 - 245943451023287140898633040941040823228583477126288687945/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 + 5251208093131236457230285808697122714532064872416942526755/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 + 2952600745143533050829954233092597444710276665743695146829/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 + 32665223029803047870331085479027006300380292120797523087035/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 + 73630528969020632560742932979409938949297016934561380307270/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 + 106959909858645775396290932011450996502168049564328651402871/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^11 + 184108664855087522085549503191267482283976267740220721807923/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 + 132125196010118251582871496880556689847119999002579974561522/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^9 + 198664704734894571748744366534906676621641915088124365003171/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 + 317244015870159312208477239395206803420542135516573730819463/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 + 335451628312155421460021200441619482689898580445566927338279/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 + 465027452813029687376229943027115178206518134098221055074714/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 + 303992681224721122773424925584486092690073133153652656774469/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 + 98714754766431462263565529449395793410590280396724826933412/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 + 52338078811379557235931706218658887711336700590690238260215/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 + 22632994398055372690997978995782271698290151270198031428690/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 + 3391349762826995342152440493585774875139867839867225555823/13202720\ 87196758554018664213651242490965606217116633286821, c_0101_10 + 42413398788788862472486052620728933181118856437518489/13202\ 72087196758554018664213651242490965606217116633286821*c_1001_5^19 - 221924779458715278219301040331995995949602420850802309/132027208719\ 6758554018664213651242490965606217116633286821*c_1001_5^18 + 2994428939393163263888462586029621493579731345944281620/13202720871\ 96758554018664213651242490965606217116633286821*c_1001_5^17 - 10973570742468885121378604378783961452760621454610370649/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^16 + 64387299280531635291648766442126330363157658560388860120/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^15 - 143135987273145134281852358512238683597943633211593836411/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^14 + 378905828684725827712856469549507451469347582417121489919/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^13 - 338346681306728869776052469607975507423218927472043509757/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^12 - 228685070945668295389981809876154033998524828416295944318/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^11 - 135798033232107328540276066522873128179282480540328113292/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^10 - 2323488387440656761195935730015650365253658141738299569941/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^9 + 1246543590778488395807185462731712911529243815299534825442/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^8 - 1949049545185276707443733603820374055368325072277265017166/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^7 - 1804766642913460227552555757548449951484328547139362506767/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^6 - 272753447521414272505570050346853008366552959569338516545/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^5 - 5645251495051751051669532659760086856249881398990073848052/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^4 - 494583386337068521647592798107593937026686296340328135539/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^3 - 47368826859862674491888623907516498748086429374416299313/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^2 + 188519107129465824042728536816225111217915442151416691700/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5 - 109162357426968913836173829688624976229285486621920524209/132027208\ 7196758554018664213651242490965606217116633286821, c_0101_11 + 5420191562550577834132213670127821566508046880023430659/132\ 0272087196758554018664213651242490965606217116633286821*c_1001_5^19 - 12740742548007460808863838676782863582802922808720565994/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^18 + 334997192485790016622863287949034498821892377145498658850/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 - 404498573703961681823731614817177877901297428516148491558/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 + 6368785862958374129980434457839510332143358620492417127525/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 + 1296895018904905239658565197408476017533554837247266732828/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 + 38717139289081957408694305596726757154056465653146566199198/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 + 73764138582543970556200223346864871170845364426452308587361/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 + 104869578711137978449270310601046524376008717336725808026736/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^11 + 186545453587285592394362476126229506534216478617652636864006/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 + 99261810685649753474513792891722280528211032969683856959285/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 + 212611487048953516547765734204079503291097687573565623577789/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 + 304186302394940753783310570022085696388651895916591030440552/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 + 309578974488160100201264563100433286615031585911911923782908/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 + 461899540640625182489047697900377831639701254815759687654020/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 + 218530851564705588675074480366360633213197848869332170714281/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 + 69535699614500456528226860275107882368676584501810432085225/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 + 38499690477271935255671302652822548658646181805386464404732/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 + 14702922908694949966297240206147516191208544697717983089960/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 + 1087396024079998277085525392726366333680956165581098926315/13202720\ 87196758554018664213651242490965606217116633286821, c_0101_7 + 3068133836129443707187429124713839523110833025327433694/1320\ 272087196758554018664213651242490965606217116633286821*c_1001_5^19 - 6095368029565435795396474421570451868345906939219040129/13202720871\ 96758554018664213651242490965606217116633286821*c_1001_5^18 + 186701181739886429920128791828341882153195837288484997124/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^17 - 159037962184804775973896378424318601390840600330297058152/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 + 3502549783304165816590884599050435746620684927352663857772/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 + 2081874018094713770648666845395103137291890827539571213282/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 + 21807689019801816311745660975926204775817426415344643465866/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 + 49915213562810988214491162134321872459580297670045265760760/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 + 72340872154863575736631499266869406663394652524396855493262/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^11 + 124642645180804606913648535488512575519595429468680685037057/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^10 + 90898235776490694897873229902331337145446375549311152689973/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 + 133713540545569506399267318571669856760285590394495545867182/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^8 + 215832012099110031853369125089435586641041816828378786916691/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 + 227559310022395337198490791441721389260955061553232352934437/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 + 315204589967834519288420545974840627433536911699773562097613/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 + 210065473322974534940214174333583564165480132972600638367272/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 + 67991002134738645791653028428420245094380203374856531320675/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 + 36770827745584940926770890588611860828855746193947163381888/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 + 15668698020564226229963509882001946214050466539762124866311/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5 + 2171327741278208583934128185141688382013351539711536565825/13202720\ 87196758554018664213651242490965606217116633286821, c_1001_0 - 1573891472961357507640407427204369692585060323902516457/1320\ 272087196758554018664213651242490965606217116633286821*c_1001_5^19 + 3118961483405584914761428416986458444190782083927106524/13202720871\ 96758554018664213651242490965606217116633286821*c_1001_5^18 - 95746102299015606263492208627165585036894992239199868930/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^17 + 81093185178027724421005559153697635712273845495171633611/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^16 - 1795625426145770233342977093630203831279769766865111541064/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 - 1076833672289364732022070714853675490325058295472589702803/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^14 - 11179873804913198997173835093098557685803731974654812295989/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 - 25640197156713232677844080125454754796834590049948013400343/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 - 37159672282733555089335309730515955537891948896285804360031/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^11 - 63883330567581847738137488702942240974389188692649921190910/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^10 - 46562575586267448810544844102356094421343451001549213277318/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 - 68498322011636704888513740971306798120007929629375486506233/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^8 - 110693819650631299055067964600772465456700560751529301671555/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^7 - 116922926540425769984232026211314553066760393816921382990916/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^6 - 161497613500551972966431489566410212227499895054603175867769/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 - 107218921636636641984502826282827451245769963526275147564460/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^4 - 34737040681093838191172408243928234279063031009146996280204/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 - 18759008517288905787420697199375821425153915629761189353800/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 - 7986722437821361964510137222069984938592153073097522786698/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5 - 607225246630631266126166644078481723447631425316001754015/132027208\ 7196758554018664213651242490965606217116633286821, c_1001_10 - 1578347472769490209837556712515278676897124513699812695/132\ 0272087196758554018664213651242490965606217116633286821*c_1001_5^19 + 3674822177275922965583230453409460572174134321002935742/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^18 - 97356756146172093563144675168540681863118126371075354708/1320272087\ 196758554018664213651242490965606217116633286821*c_1001_5^17 + 115326066065331190392438102386031068822081331548337742748/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^16 - 1845058447968832925435838910577110664945691462124401959083/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5^15 - 428779098725029391615313876936162832460173322032139146554/132027208\ 7196758554018664213651242490965606217116633286821*c_1001_5^14 - 11151799218940622621435143063685683142519160603652832436954/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^13 - 21732531353263454053547547827772047208540274393184268660380/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^12 - 30247955071570775095995429241268125389369967373034167786034/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^11 - 53683846074448437014803347424546827986181718267810420576857/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^10 - 28364850659575812907647089411727486945633481311022702337896/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^9 - 59479839649012136503536798352557760715404278132932458200871/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^8 - 88964173754104157291048046104540921159006746488420921621238/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^7 - 88185261006073835679115542210726517663430360059875807178500/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^6 - 131750630555249662550406086559259960450355084376953337051270/132027\ 2087196758554018664213651242490965606217116633286821*c_1001_5^5 - 61487671374921853749653984879973856258288335688963477429744/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^4 - 14960632597494274848087631788531460259716353849482551558826/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^3 - 10391320845373490249529339150585688137753094581198196077132/1320272\ 087196758554018664213651242490965606217116633286821*c_1001_5^2 - 3138058234176127262131668924751116814522494669274012892648/13202720\ 87196758554018664213651242490965606217116633286821*c_1001_5 - 148522531967935789892610177881105959230979341793552520134/132027208\ 7196758554018664213651242490965606217116633286821, c_1001_5^20 - 2*c_1001_5^19 + 61*c_1001_5^18 - 53*c_1001_5^17 + 1150*c_1001_5^16 + 650*c_1001_5^15 + 7249*c_1001_5^14 + 16121*c_1001_5^13 + 24257*c_1001_5^12 + 41475*c_1001_5^11 + 30797*c_1001_5^10 + 46369*c_1001_5^9 + 70368*c_1001_5^8 + 77533*c_1001_5^7 + 106414*c_1001_5^6 + 71389*c_1001_5^5 + 28781*c_1001_5^4 + 12828*c_1001_5^3 + 5367*c_1001_5^2 + 1161*c_1001_5 + 113 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 18.560 Total time: 18.769 seconds, Total memory usage: 134.28MB