Magma V2.19-8 Wed Aug 21 2013 00:46:32 on localhost [Seed = 981216810] Type ? for help. Type -D to quit. Loading file "K14n7328__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n7328 geometric_solution 11.43102855 oriented_manifold CS_known -0.0000000000000005 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 -1 0 1 0 0 0 0 0 2 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.155154412776 0.449236929058 0 3 6 5 0132 0213 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.112667394535 2.278366483852 7 0 8 6 0132 0132 0132 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.858694787025 0.528832684228 9 8 1 0 0132 0132 0213 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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.415729842202 1.809827788911 8 10 0 5 0321 0132 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 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.228105873237 1.214713428602 9 4 1 7 1023 0321 0132 1302 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 0 0 0 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.199824352849 0.584729026600 8 10 2 1 2310 0321 1230 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.601477036653 1.066626971710 2 11 5 12 0132 0132 2031 0132 0 0 0 0 0 1 -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 0 0 0 0 0 -1 1 0 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645764564324 0.867345397246 4 3 6 2 0321 0132 3201 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.687312045985 0.534783152084 3 5 12 11 0132 1023 3012 1230 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 -1 1 -1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.554692214973 1.283903357843 12 4 12 6 0213 0132 1230 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 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 0.465872947960 0.545086736267 9 7 11 11 3012 0132 1230 3012 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 -2 0 0 1 -1 1 0 0 -1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.064086434961 0.827688777240 10 9 7 10 0213 1230 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 1 0 0 -1 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.093909430975 1.060155892706 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0110_11']), 'c_1001_10' : d['c_1001_10'], 'c_1001_12' : negation(d['c_0110_11']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_1001_1'], 'c_1001_7' : negation(d['c_0101_11']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_1001_1'], 'c_1001_9' : negation(d['c_0011_12']), 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : negation(d['c_0101_11']), 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : negation(d['1']), 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_12'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : negation(d['1']), 's_2_10' : negation(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' : negation(d['1']), 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : negation(d['1']), 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : d['c_0110_11'], 'c_1100_8' : negation(d['c_0011_6']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_7'], 'c_1100_4' : d['c_1001_5'], 'c_1100_7' : negation(d['c_1001_10']), 'c_1100_6' : d['c_0101_7'], 'c_1100_1' : d['c_0101_7'], 'c_1100_0' : d['c_1001_5'], 'c_1100_3' : d['c_1001_5'], 'c_1100_2' : negation(d['c_0011_6']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0110_11'], 'c_1100_10' : d['c_0011_6'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0110_11']), 'c_1010_6' : d['c_1001_1'], 'c_1010_5' : d['c_1001_10'], 'c_1010_4' : d['c_1001_10'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_1001_1'], 'c_1010_9' : d['c_0101_11'], 'c_1010_8' : d['c_1001_1'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : negation(d['1']), 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_1001_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(d['1']), 's_1_3' : d['1'], 's_1_2' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : negation(d['c_0011_3']), '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' : d['c_0110_11'], 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_12' : d['c_0011_6'], 'c_0101_12' : d['c_0011_10'], 'c_0011_11' : negation(d['c_0011_0']), 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_12']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_0']), 'c_0101_2' : d['c_0011_10'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_12']), 'c_0101_9' : negation(d['c_0011_12']), 'c_0101_8' : negation(d['c_0101_1']), 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : negation(d['1']), 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : negation(d['c_0011_12']), 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0011_12']), 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : d['c_0011_3'], 'c_0110_7' : d['c_0011_10'], 'c_0110_6' : d['c_0101_1']})} 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_12, c_0011_3, c_0011_6, c_0101_1, c_0101_11, c_0101_6, c_0101_7, c_0110_11, c_1001_1, c_1001_10, c_1001_5 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 40 Groebner basis: [ t - 3835215713653734881634010788402898791/5450066015894537192919914293*\ c_1001_5^39 + 742017857515313302623859815732322880657/4360052812715\ 6297543359314344*c_1001_5^38 - 366926731945745848898348673481122124\ 26327/174402112508625190173437257376*c_1001_5^37 + 77409373159308245675408525785499242657097/4360052812715629754335931\ 4344*c_1001_5^36 - 16237381394210230264525560588507967056983/142952\ 5512365780247323256208*c_1001_5^35 + 5086028457059497995188783447410372294729625/87201056254312595086718\ 628688*c_1001_5^34 - 43401248508499057442298805501920262660746477/1\ 74402112508625190173437257376*c_1001_5^33 + 3578692795438498045389212100357777292822481/39636843751960270493963\ 01304*c_1001_5^32 - 506275514909850395257633587280033977089169/1786\ 90689045722530915407026*c_1001_5^31 + 679759343713601076818075590727791465271395403/872010562543125950867\ 18628688*c_1001_5^30 - 30150474027657757750355479069600224858862070\ 7/15854737500784108197585205216*c_1001_5^29 + 329120391234315174059900180574136494286555235/792736875039205409879\ 2602608*c_1001_5^28 - 712794348126110205797051970304757501548790144\ 3/87201056254312595086718628688*c_1001_5^27 + 578927889398474344046602734031959759613971041/396368437519602704939\ 6301304*c_1001_5^26 - 207598181238440016733499195887740319325913189\ 79/87201056254312595086718628688*c_1001_5^25 + 2384156530046523654894798973395663201857288589/67077735580240457759\ 01432976*c_1001_5^24 - 53152015120593936349850604907547716683486485\ 83/10900132031789074385839828586*c_1001_5^23 + 107474648327138147044133442235832843408416697361/174402112508625190\ 173437257376*c_1001_5^22 - 8764379909648719690575612464112979405771\ 49153/1219595192368008322891169632*c_1001_5^21 + 135008069852961776714978127677747988134855798715/174402112508625190\ 173437257376*c_1001_5^20 - 1680045209948288845732333946252950301454\ 6582881/21800264063578148771679657172*c_1001_5^19 + 7727264052712894472687870425788323505430781513/10900132031789074385\ 839828586*c_1001_5^18 - 1050109023133097423160814594394377217273060\ 11689/174402112508625190173437257376*c_1001_5^17 + 7901419679724765535360987250145872964165611/16756544245640391062013\ 572*c_1001_5^16 - 1139613788093396897356250859337480690386558295/33\ 53886779012022887950716488*c_1001_5^15 + 39181172746029910794751909307759048429228451293/1744021125086251901\ 73437257376*c_1001_5^14 - 59206943861404004942421275418091256586537\ 36387/43600528127156297543359314344*c_1001_5^13 + 13026108139883217476496687885567860311972154247/1744021125086251901\ 73437257376*c_1001_5^12 - 20256434120723967721789027488313840381861\ 6401/5450066015894537192919914293*c_1001_5^11 + 263406114866874365134549702933377486624694595/158547375007841081975\ 85205216*c_1001_5^10 - 44352574503348316553506844668589144845560555\ /6707773558024045775901432976*c_1001_5^9 + 404191807088811280395173146619890560661775061/174402112508625190173\ 437257376*c_1001_5^8 - 61542080065585433410656466587646442612098163\ /87201056254312595086718628688*c_1001_5^7 + 32011173643570002934785804608623608382036101/1744021125086251901734\ 37257376*c_1001_5^6 - 6955039328783996386059015697415241052915011/1\ 74402112508625190173437257376*c_1001_5^5 + 1225607058434450302491821933076156666936539/17440211250862519017343\ 7257376*c_1001_5^4 - 83977198219798442764176492811216802097933/8720\ 1056254312595086718628688*c_1001_5^3 + 8381858380768676193796489506302448119491/87201056254312595086718628\ 688*c_1001_5^2 - 1082572342191241213147672101204045440105/174402112\ 508625190173437257376*c_1001_5 + 1695739718791824906270004289216916\ 4871/87201056254312595086718628688, c_0011_0 - 1, c_0011_10 + 7390980005/2*c_1001_5^39 - 1412161241985/16*c_1001_5^38 + 8626763574811/8*c_1001_5^37 - 144004826852073/16*c_1001_5^36 + 227829483080107/4*c_1001_5^35 - 4628828850346251/16*c_1001_5^34 + 2441600429573639/2*c_1001_5^33 - 70068921036091797/16*c_1001_5^32 + 108672980775974999/8*c_1001_5^31 - 590969351259917611/16*c_1001_5^30 + 178057112166420217/2*c_1001_5^29 - 3072213918435564355/16*c_1001_5^28 + 1493652516856599765/4*c_1001_5^27 - 658925152327998749*c_1001_5^26 + 4241736905399645111/4*c_1001_5^25 - 6251106508627759795/4*c_1001_5^24 + 33850818322258765191/16*c_1001_5^23 - 42197658353849672731/16*c_1001_5^22 + 24258275895258404543/8*c_1001_5^21 - 51499183739742734695/16*c_1001_5^20 + 50485996562434314043/16*c_1001_5^19 - 45696510850424927373/16*c_1001_5^18 + 19077195534999727829/8*c_1001_5^17 - 29341164320269096645/16*c_1001_5^16 + 20734590404061957429/16*c_1001_5^15 - 838980244709070134*c_1001_5^14 + 3965168725172796375/8*c_1001_5^13 - 1063485957296612129/4*c_1001_5^12 + 1029551128718103335/8*c_1001_5^11 - 223130784309266963/4*c_1001_5^10 + 21448221551455649*c_1001_5^9 - 57844432858596529/8*c_1001_5^8 + 16852286053784611/8*c_1001_5^7 - 8333702390846583/16*c_1001_5^6 + 427154621277287/4*c_1001_5^5 - 281609906217513/16*c_1001_5^4 + 35710492081969/16*c_1001_5^3 - 3255258089293/16*c_1001_5^2 + 23604855509/2*c_1001_5 - 5200031311/16, c_0011_12 - 238798649*c_1001_5^39 + 50896034701/8*c_1001_5^38 - 682517853519/8*c_1001_5^37 + 12343135099471/16*c_1001_5^36 - 21024548885867/4*c_1001_5^35 + 228869124832331/8*c_1001_5^34 - 257906566980481/2*c_1001_5^33 + 7888055984035123/16*c_1001_5^32 - 6506132345320673/4*c_1001_5^31 + 18777521646468063/4*c_1001_5^30 - 95886902989352621/8*c_1001_5^29 + 437257141009866913/16*c_1001_5^28 - 224333572307492783/4*c_1001_5^27 + 104268867816287049*c_1001_5^26 - 353130728578819139/2*c_1001_5^25 + 2188073403733898985/8*c_1001_5^24 - 3111284295792780903/8*c_1001_5^23 + 4071729585825970655/8*c_1001_5^22 - 9827593703370703039/16*c_1001_5^21 + 10950502405401149549/16*c_1001_5^20 - 11273184340499391019/16*c_1001_5^19 + 2680631014333576817/4*c_1001_5^18 - 4708707308102259225/8*c_1001_5^17 + 7628197412115907405/16*c_1001_5^16 - 2843907520276678919/8*c_1001_5^15 + 973413468651138729/4*c_1001_5^14 - 2438641996642458947/16*c_1001_5^13 + 86949308179372301*c_1001_5^12 - 718854315401976155/16*c_1001_5^11 + 167051100203964199/8*c_1001_5^10 - 138461199305187233/16*c_1001_5^9 + 25307971493902271/8*c_1001_5^8 - 16101713653286585/16*c_1001_5^7 + 1095390291064907/4*c_1001_5^6 - 997506006233377/16*c_1001_5^5 + 184417021032213/16*c_1001_5^4 - 26540931285101/16*c_1001_5^3 + 1392110823865/8*c_1001_5^2 - 23634396495/2*c_1001_5 + 6231127943/16, c_0011_3 + 39720*c_1001_5^39 - 974385*c_1001_5^38 + 12206940*c_1001_5^37 - 104290837*c_1001_5^36 + 675384268*c_1001_5^35 - 3510304963*c_1001_5^34 + 15161842084*c_1001_5^33 - 55698766362*c_1001_5^32 + 177026858578*c_1001_5^31 - 493425570391*c_1001_5^30 + 1219662635224*c_1001_5^29 - 2698481015338*c_1001_5^28 + 5385154310462*c_1001_5^27 - 9754961502458*c_1001_5^26 + 16122999974242*c_1001_5^25 - 24415565029509*c_1001_5^24 + 33987215241785*c_1001_5^23 - 43599690592971*c_1001_5^22 + 51636780364318*c_1001_5^21 - 56526726611551*c_1001_5^20 + 57229023839137*c_1001_5^19 - 53584747625985*c_1001_5^18 + 46373358555479*c_1001_5^17 - 37048984120134*c_1001_5^16 + 27274935234584*c_1001_5^15 - 18455493065612*c_1001_5^14 + 11439720938340*c_1001_5^13 - 6468361701973*c_1001_5^12 + 3318665765758*c_1001_5^11 - 1534878217758*c_1001_5^10 + 634753070029*c_1001_5^9 - 232379953038*c_1001_5^8 + 74374815071*c_1001_5^7 - 20484568609*c_1001_5^6 + 4756869131*c_1001_5^5 - 906046765*c_1001_5^4 + 136081784*c_1001_5^3 - 15148511*c_1001_5^2 + 1115824*c_1001_5 - 41070, c_0011_6 - 2086241288*c_1001_5^39 + 49759989138*c_1001_5^38 - 4857641616937/8*c_1001_5^37 + 40497090243217/8*c_1001_5^36 - 255988971182103/8*c_1001_5^35 + 1298755745021547/8*c_1001_5^34 - 5474179048092661/8*c_1001_5^33 + 9806994067187197/4*c_1001_5^32 - 60766667034096869/8*c_1001_5^31 + 165021731784403343/8*c_1001_5^30 - 198631682726542123/4*c_1001_5^29 + 855707118450105899/8*c_1001_5^28 - 830976864695430661/4*c_1001_5^27 + 2928809205645791813/8*c_1001_5^26 - 2353544461643106599/4*c_1001_5^25 + 1731827645387610677/2*c_1001_5^24 - 9364794471310254525/8*c_1001_5^23 + 5828371024533155871/4*c_1001_5^22 - 13381738910741287487/8*c_1001_5^21 + 14181613617569918311/8*c_1001_5^20 - 1734889349559611501*c_1001_5^19 + 1567491328473195576*c_1001_5^18 - 10450212127099988381/8*c_1001_5^17 + 8019797372889279033/8*c_1001_5^16 - 5654725135564292169/8*c_1001_5^15 + 912991880627934499/2*c_1001_5^14 - 2151672066111677759/8*c_1001_5^13 + 1150724876971811833/8*c_1001_5^12 - 277561211945338907/4*c_1001_5^11 + 119847369186234413/4*c_1001_5^10 - 45877090092617655/4*c_1001_5^9 + 30772670909992173/8*c_1001_5^8 - 4455454310673191/4*c_1001_5^7 + 2187368262826271/8*c_1001_5^6 - 222276321440007/4*c_1001_5^5 + 72486380924899/8*c_1001_5^4 - 9069158981367/8*c_1001_5^3 + 406304694027/4*c_1001_5^2 - 46079005903/8*c_1001_5 + 614782795/4, c_0101_1 + 8*c_1001_5^39 - 197*c_1001_5^38 + 2477*c_1001_5^37 - 21236*c_1001_5^36 + 138003*c_1001_5^35 - 719807*c_1001_5^34 + 3120329*c_1001_5^33 - 11506196*c_1001_5^32 + 36713867*c_1001_5^31 - 102750343*c_1001_5^30 + 255055717*c_1001_5^29 - 566774648*c_1001_5^28 + 1136184411*c_1001_5^27 - 2067782290*c_1001_5^26 + 3434239674*c_1001_5^25 - 5226906182*c_1001_5^24 + 7314555329*c_1001_5^23 - 9435566138*c_1001_5^22 + 11240706720*c_1001_5^21 - 12382256356*c_1001_5^20 + 12620138451*c_1001_5^19 - 11901890236*c_1001_5^18 + 10380969913*c_1001_5^17 - 8364893970*c_1001_5^16 + 6216532472*c_1001_5^15 - 4250879117*c_1001_5^14 + 2666313927*c_1001_5^13 - 1528074086*c_1001_5^12 + 796270227*c_1001_5^11 - 375018724*c_1001_5^10 + 158464601*c_1001_5^9 - 59539114*c_1001_5^8 + 19674035*c_1001_5^7 - 5640541*c_1001_5^6 + 1379464*c_1001_5^5 - 281562*c_1001_5^4 + 46579*c_1001_5^3 - 5990*c_1001_5^2 + 560*c_1001_5 - 33, c_0101_11 + 282614497/2*c_1001_5^39 - 54228948677/16*c_1001_5^38 + 665286213201/16*c_1001_5^37 - 348408898540*c_1001_5^36 + 17708706912255/8*c_1001_5^35 - 180618904683191/16*c_1001_5^34 + 765342191303059/16*c_1001_5^33 - 689330305993923/4*c_1001_5^32 + 2147830303266415/4*c_1001_5^31 - 23468741489010431/16*c_1001_5^30 + 56839959254362679/16*c_1001_5^29 - 61597708036923109/8*c_1001_5^28 + 120398229561270869/8*c_1001_5^27 - 106781534792193201/4*c_1001_5^26 + 172771443995935217/4*c_1001_5^25 - 512060356851926311/8*c_1001_5^24 + 1394437901517091953/16*c_1001_5^23 - 874355904914785265/8*c_1001_5^22 + 1011605092957217763/8*c_1001_5^21 - 2161793309915851285/16*c_1001_5^20 + 533522789091136101/4*c_1001_5^19 - 1946018798201272543/16*c_1001_5^18 + 1637788763785153611/16*c_1001_5^17 - 635152226740261173/8*c_1001_5^16 + 906065223380035209/16*c_1001_5^15 - 592576967787882409/16*c_1001_5^14 + 354014909532038259/16*c_1001_5^13 - 192271530982197049/16*c_1001_5^12 + 94371364887398195/16*c_1001_5^11 - 41552869533381791/16*c_1001_5^10 + 16265093212220881/16*c_1001_5^9 - 5596855447020269/16*c_1001_5^8 + 1669667318192733/16*c_1001_5^7 - 26522333965220*c_1001_5^6 + 22461239061877/4*c_1001_5^5 - 15376891199919/16*c_1001_5^4 + 1019308985919/8*c_1001_5^3 - 195932612481/16*c_1001_5^2 + 12113744661/16*c_1001_5 - 180334315/8, c_0101_6 - 256*c_1001_5^39 + 6296*c_1001_5^38 - 79067*c_1001_5^37 + 677075*c_1001_5^36 - 4394860*c_1001_5^35 + 22895821*c_1001_5^34 - 99130721*c_1001_5^33 + 365077943*c_1001_5^32 - 1163337548*c_1001_5^31 + 3251297109*c_1001_5^30 - 8059032601*c_1001_5^29 + 17881733019*c_1001_5^28 - 35791126504*c_1001_5^27 + 65032848869*c_1001_5^26 - 107827887278*c_1001_5^25 + 163826758150*c_1001_5^24 - 228838864346*c_1001_5^23 + 294623561087*c_1001_5^22 - 350267048902*c_1001_5^21 + 384991496672*c_1001_5^20 - 391462174076*c_1001_5^19 + 368240349101*c_1001_5^18 - 320289146980*c_1001_5^17 + 257295637127*c_1001_5^16 - 190564145134*c_1001_5^15 + 129811599272*c_1001_5^14 - 81071166547*c_1001_5^13 + 46232056825*c_1001_5^12 - 23952573178*c_1001_5^11 + 11204328941*c_1001_5^10 - 4695848508*c_1001_5^9 + 1746787047*c_1001_5^8 - 570030006*c_1001_5^7 + 160823277*c_1001_5^6 - 38502307*c_1001_5^5 + 7630520*c_1001_5^4 - 1208966*c_1001_5^3 + 145101*c_1001_5^2 - 11963*c_1001_5 + 528, c_0101_7 - 3976*c_1001_5^39 + 97661*c_1001_5^38 - 1224970*c_1001_5^37 + 10477702*c_1001_5^36 - 67931652*c_1001_5^35 + 353487222*c_1001_5^34 - 1528627499*c_1001_5^33 + 5622569020*c_1001_5^32 - 17893220152*c_1001_5^31 + 49940296790*c_1001_5^30 - 123614144583*c_1001_5^29 + 273883023172*c_1001_5^28 - 547368693896*c_1001_5^27 + 993032856037*c_1001_5^26 - 1643852051399*c_1001_5^25 + 2493378724850*c_1001_5^24 - 3476734146545*c_1001_5^23 + 4467952061569*c_1001_5^22 - 5301443244891*c_1001_5^21 + 5814955066750*c_1001_5^20 - 5899599569831*c_1001_5^19 + 5536397411667*c_1001_5^18 - 4803003587896*c_1001_5^17 + 3847444126023*c_1001_5^16 - 2840685895427*c_1001_5^15 + 1928339308487*c_1001_5^14 - 1199597301564*c_1001_5^13 + 681047968122*c_1001_5^12 - 351042320080*c_1001_5^11 + 163228002877*c_1001_5^10 - 67927596480*c_1001_5^9 + 25053555751*c_1001_5^8 - 8090747462*c_1001_5^7 + 2252992906*c_1001_5^6 - 530410872*c_1001_5^5 + 102813471*c_1001_5^4 - 15800805*c_1001_5^3 + 1814643*c_1001_5^2 - 139704*c_1001_5 + 5494, c_0110_11 + 7128276391/2*c_1001_5^39 - 1378934587211/16*c_1001_5^38 + 2130356023297/2*c_1001_5^37 - 143774404443035/16*c_1001_5^36 + 57467764190856*c_1001_5^35 - 4719456752143783/16*c_1001_5^34 + 1257924421213413*c_1001_5^33 - 72981245173641045/16*c_1001_5^32 + 114439240443341789/8*c_1001_5^31 - 629304201514238985/16*c_1001_5^30 + 383516905911270857/4*c_1001_5^29 - 3346525021958391403/16*c_1001_5^28 + 3291680369467694925/8*c_1001_5^27 - 5876459315503197503/8*c_1001_5^26 + 4784708482869354035/4*c_1001_5^25 - 14272851828331788217/8*c_1001_5^24 + 39121813071103595417/16*c_1001_5^23 - 49386219127264531223/16*c_1001_5^22 + 28761974377811905937/8*c_1001_5^21 - 61888622641764742085/16*c_1001_5^20 + 61529808110296148577/16*c_1001_5^19 - 56520093844090830043/16*c_1001_5^18 + 2995761583235454609*c_1001_5^17 - 37475470900257236983/16*c_1001_5^\ 16 + 26955989579028610715/16*c_1001_5^15 - 4446914720621600909/4*c_1001_5^14 + 1341054662754902739/2*c_1001_5^13 - 735853993284154365/2*c_1001_5^12 + 730408989821443163/4*c_1001_5^11 - 651043375278798485/8*c_1001_5^10 + 64560869391455653/2*c_1001_5^9 - 90173715582801871/8*c_1001_5^8 + 27341878266047529/8*c_1001_5^7 - 14152613206214515/16*c_1001_5^6 + 1528951340277181/8*c_1001_5^5 - 535473196136953/16*c_1001_5^4 + 72857446474569/16*c_1001_5^3 - 7213360871379/16*c_1001_5^2 + 115394162877/4*c_1001_5 - 14310748621/16, c_1001_1 + 856675698*c_1001_5^39 - 86272711089/4*c_1001_5^38 + 2210087563611/8*c_1001_5^37 - 9621838495457/4*c_1001_5^36 + 63401160654275/4*c_1001_5^35 - 83711849695315*c_1001_5^34 + 1468142812617549/4*c_1001_5^33 - 10940544509071415/8*c_1001_5^32 + 35238547629434733/8*c_1001_5^31 - 49725056352501421/4*c_1001_5^30 + 248677364081509559/8*c_1001_5^29 - 556083879438027825/8*c_1001_5^28 + 1120647592180949731/8*c_1001_5^27 - 2048288983641252035/8*c_1001_5^26 + 3413275197968787351/8*c_1001_5^25 - 2603787760645589263/4*c_1001_5^24 + 7298379514171168123/8*c_1001_5^23 - 9419889074922574847/8*c_1001_5^22 + 11217294769613834429/8*c_1001_5^21 - 6169278093207407879/4*c_1001_5^20 + 12543440433661309229/8*c_1001_5^19 - 1473111341764984672*c_1001_5^18 + 10226059359035459319/8*c_1001_5^17 - 4092411855239387557/4*c_1001_5^16 + 3015444045882366361/4*c_1001_5^15 - 4079957968563246135/8*c_1001_5^14 + 2525231731846443825/8*c_1001_5^13 - 355882406991797213/2*c_1001_5^12 + 726780829401800717/8*c_1001_5^11 - 41713380453379935*c_1001_5^10 + 68303148967512273/4*c_1001_5^9 - 49319605261740223/8*c_1001_5^8 + 15493063078882905/8*c_1001_5^7 - 4162861761588463/8*c_1001_5^6 + 935779438662525/8*c_1001_5^5 - 170840077153333/8*c_1001_5^4 + 3035450536207*c_1001_5^3 - 2516670485321/8*c_1001_5^2 + 168902097967/8*c_1001_5 - 5503341433/8, c_1001_10 - 6572255325*c_1001_5^39 + 1267040299485/8*c_1001_5^38 - 31221203287993/16*c_1001_5^37 + 32827611130389/2*c_1001_5^36 - 837395475597659/8*c_1001_5^35 + 4286100958202561/8*c_1001_5^34 - 36454981874333849/16*c_1001_5^33 + 65907095964723827/8*c_1001_5^32 - 103050544686479441/4*c_1001_5^31 + 282521317178224279/4*c_1001_5^30 - 2746857809987384373/16*c_1001_5^29 + 373426769873986329*c_1001_5^28 - 2929932267242414397/4*c_1001_5^27 + 10430891135108472769/8*c_1001_5^26 - 16936393351764022565/8*c_1001_5^25 + 12593188641128082931/4*c_1001_5^24 - 34415016512178431831/8*c_1001_5^23 + 86625850411128563749/16*c_1001_5^22 - 100587780657554041697/16*c_1001_5^21 + 107876511208231837815/16*c_1001_5^20 - 13362500895386076221/2*c_1001_5^19 + 48931501638324846817/8*c_1001_5^18 - 82699604096797208899/16*c_1001_5^17 + 16104569212161968625/4*c_1001_5^16 - 23077293573119378641/8*c_1001_5^15 + 30329986648441075721/16*c_1001_5^14 - 2276523099304792631/2*c_1001_5^13 + 9945738037922817851/16*c_1001_5^12 - 613840084100365845/2*c_1001_5^11 + 2176356271691768031/16*c_1001_5^10 - 53626334273601281*c_1001_5^9 + 297607560371063785/16*c_1001_5^8 - 22394586176634525/4*c_1001_5^7 + 22997360212037533/16*c_1001_5^6 - 4925167991378695/16*c_1001_5^5 + 854135724838889/16*c_1001_5^4 - 28748062055413/4*c_1001_5^3 + 1406820191879/2*c_1001_5^2 - 711204800405/16*c_1001_5 + 10876040735/8, c_1001_5^40 - 197/8*c_1001_5^39 + 2477/8*c_1001_5^38 - 5309/2*c_1001_5^37 + 138003/8*c_1001_5^36 - 719807/8*c_1001_5^35 + 3120329/8*c_1001_5^34 - 2876549/2*c_1001_5^33 + 36713867/8*c_1001_5^32 - 102750343/8*c_1001_5^31 + 255055717/8*c_1001_5^30 - 70846831*c_1001_5^29 + 1136184411/8*c_1001_5^28 - 1033891145/4*c_1001_5^27 + 1717119837/4*c_1001_5^26 - 2613453091/4*c_1001_5^25 + 7314555329/8*c_1001_5^24 - 4717783069/4*c_1001_5^23 + 1405088340*c_1001_5^22 - 3095564089/2*c_1001_5^21 + 12620138451/8*c_1001_5^20 - 2975472559/2*c_1001_5^19 + 10380969913/8*c_1001_5^18 - 4182446985/4*c_1001_5^17 + 777066559*c_1001_5^16 - 4250879117/8*c_1001_5^15 + 2666313927/8*c_1001_5^14 - 764037043/4*c_1001_5^13 + 796270227/8*c_1001_5^12 - 93754681/2*c_1001_5^11 + 158464601/8*c_1001_5^10 - 29769557/4*c_1001_5^9 + 19674035/8*c_1001_5^8 - 5640541/8*c_1001_5^7 + 172433*c_1001_5^6 - 140781/4*c_1001_5^5 + 46579/8*c_1001_5^4 - 2995/4*c_1001_5^3 + 561/8*c_1001_5^2 - 17/4*c_1001_5 + 1/8 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 30.380 Total time: 30.589 seconds, Total memory usage: 137.12MB