Magma V2.19-8 Wed Aug 21 2013 00:56:36 on localhost [Seed = 728576480] Type ? for help. Type -D to quit. Loading file "L13n2707__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13n2707 geometric_solution 11.77975211 oriented_manifold CS_known -0.0000000000000004 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 2 3 0132 0132 2103 0132 1 1 1 1 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 -1 1 -1 0 1 0 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.416093649035 0.480597296168 0 2 4 3 0132 1302 0132 2103 1 1 1 1 0 0 -1 1 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 -4 1 0 -1 0 0 0 0 0 -5 1 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.336212909359 1.715865968264 0 0 4 1 2103 0132 3012 2031 1 1 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 0 0 0 0 0 0 -1 0 1 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.029660319769 1.189280266114 5 6 0 1 0132 0132 0132 2103 1 1 1 1 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 -4 0 0 4 0 -5 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579039750535 0.971089022803 5 2 6 1 3120 1230 3120 0132 1 1 1 1 0 0 -1 1 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 -1 5 -4 0 0 -1 1 4 0 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.547023912634 0.759671690289 3 7 8 4 0132 0132 0132 3120 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 0 -4 4 0 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118783675982 0.605695403732 9 3 4 10 0132 0132 3120 0132 1 1 1 1 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 5 0 -5 5 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.118783675982 0.605695403732 11 5 10 12 0132 0132 0213 0132 1 0 1 1 0 0 0 0 -1 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 0 0 0 0 2 0 -3 1 0 0 0 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.741748672793 0.722464360376 9 11 10 5 3120 0321 0132 0132 1 1 1 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 1 -1 0 0 0 0 0 0 -4 0 4 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483497345587 1.444928720751 6 12 11 8 0132 1023 1023 3120 0 1 1 1 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 -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.741748672793 0.722464360376 12 7 6 8 3012 0213 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 -1 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 -1 3 0 -2 -5 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.483497345587 1.444928720751 7 12 9 8 0132 0132 1023 0321 1 0 1 1 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 1 -1 -2 0 0 2 -4 0 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.308164392153 0.673848957526 9 11 7 10 1023 0132 0132 1230 1 0 1 1 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 -1 1 -5 0 0 5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.308164392153 0.673848957526 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : negation(d['c_0011_4']), 'c_1001_12' : d['c_1001_12'], 'c_1001_5' : d['c_1001_12'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0011_4']), 'c_1001_6' : negation(d['c_1001_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_4']), 'c_1001_2' : negation(d['c_0011_4']), 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : d['c_0101_8'], 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_1001_12'], 'c_1010_10' : d['c_0101_8'], 's_0_10' : d['1'], 's_0_11' : 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_1100_9' : negation(d['c_0101_8']), 'c_1100_8' : negation(d['c_0101_4']), 'c_0011_12' : negation(d['c_0011_11']), 'c_1100_5' : negation(d['c_0101_4']), 'c_1100_4' : negation(d['c_0101_5']), 'c_1100_7' : d['c_0101_8'], 'c_1100_6' : negation(d['c_0101_4']), 'c_1100_1' : negation(d['c_0101_5']), 'c_1100_0' : negation(d['c_0101_0']), 'c_1100_3' : negation(d['c_0101_0']), 'c_1100_2' : negation(d['c_1001_4']), 's_3_11' : d['1'], 'c_1100_11' : d['c_0101_8'], 'c_1100_10' : negation(d['c_0101_4']), 's_3_10' : d['1'], 'c_1010_7' : d['c_1001_12'], 'c_1010_6' : negation(d['c_0011_4']), 'c_1010_5' : negation(d['c_0011_4']), 'c_1010_4' : d['c_0101_0'], 'c_1010_3' : negation(d['c_1001_4']), 'c_1010_2' : negation(d['c_0011_0']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_4']), 'c_1010_9' : d['c_0011_10'], 'c_1010_8' : d['c_1001_12'], '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' : d['c_0101_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_11']), 'c_0011_8' : negation(d['c_0011_10']), 'c_0011_5' : d['c_0011_11'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), 'c_0011_6' : d['c_0011_11'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_11']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_10'], 'c_0110_10' : d['c_0101_8'], 'c_0110_12' : d['c_0011_10'], 'c_0101_12' : d['c_0101_11'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_10'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_10'], 'c_0101_8' : d['c_0101_8'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_5'], 'c_0110_8' : d['c_0101_5'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_5'], 'c_0110_2' : d['c_0101_0'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_1'], 'c_0110_7' : d['c_0101_11'], 'c_0110_6' : d['c_0101_10']})} 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_4, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_4, c_0101_5, c_0101_8, c_1001_12, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 208029831000009993493301367251841/2032005951837723984749434429325*c\ _1001_4^20 - 66416507119998490035839670612669/812802380735089593899\ 77377173*c_1001_4^19 + 5544858235636597446773512727408249/406401190\ 3675447969498868858650*c_1001_4^18 + 368613574129021541694565387972035/81280238073508959389977377173*c_1\ 001_4^17 - 67143525803883180037619257053005921/40640119036754479694\ 98868858650*c_1001_4^16 + 11109040600709235996728020847070696/20320\ 05951837723984749434429325*c_1001_4^15 + 1458326986495124264908679970590729/36945562760685890631807898715*c_\ 1001_4^14 - 246246534545304171781542823287724799/406401190367544796\ 9498868858650*c_1001_4^13 + 21837742542591454340512838781362993/812\ 802380735089593899773771730*c_1001_4^12 + 74976851178214504533342493319652494/2032005951837723984749434429325\ *c_1001_4^11 - 8945778730896585242111270221725189/81280238073508959\ 389977377173*c_1001_4^10 + 289027643473401950793993077620591728/203\ 2005951837723984749434429325*c_1001_4^9 - 573372872943904484269680413456150759/406401190367544796949886885865\ 0*c_1001_4^8 + 266226446493121581124696860310908808/203200595183772\ 3984749434429325*c_1001_4^7 - 182169090008580628523069087966444032/\ 2032005951837723984749434429325*c_1001_4^6 + 250101942765995629433335387672207913/406401190367544796949886885865\ 0*c_1001_4^5 - 73911827971111531298621600206424274/2032005951837723\ 984749434429325*c_1001_4^4 + 73899750243727232429139218699977671/40\ 64011903675447969498868858650*c_1001_4^3 - 3962385781980752148834275249254244/184727813803429453159039493575*c\ _1001_4^2 + 26610588198260625252058737578148623/4064011903675447969\ 498868858650*c_1001_4 - 15247620280021984307361798151455316/2032005\ 951837723984749434429325, c_0011_0 - 1, c_0011_10 - 1, c_0011_11 - 2383758948018149121768/34469128242130056707647*c_1001_4^20 + 60592815700904220066993/172345641210650283538235*c_1001_4^19 - 5503958977077594151342/172345641210650283538235*c_1001_4^18 - 447325676596987341604602/172345641210650283538235*c_1001_4^17 + 685524120102974411824632/172345641210650283538235*c_1001_4^16 + 562846631053806522266512/172345641210650283538235*c_1001_4^15 - 2245797037162809440023474/172345641210650283538235*c_1001_4^14 + 2115082541941524407317047/172345641210650283538235*c_1001_4^13 - 84007950694811163506616/172345641210650283538235*c_1001_4^12 - 603628692472862209162252/34469128242130056707647*c_1001_4^11 + 5165543585304766675748014/172345641210650283538235*c_1001_4^10 - 5736179042068853430211216/172345641210650283538235*c_1001_4^9 + 1179486094100575502022886/34469128242130056707647*c_1001_4^8 - 4691998966935301197093654/172345641210650283538235*c_1001_4^7 + 694179166717507313630192/34469128242130056707647*c_1001_4^6 - 2431529823457989218560758/172345641210650283538235*c_1001_4^5 + 1204761819405767825620369/172345641210650283538235*c_1001_4^4 - 905344049307793375479742/172345641210650283538235*c_1001_4^3 + 529561219205371099571069/172345641210650283538235*c_1001_4^2 - 362108606464201446555834/172345641210650283538235*c_1001_4 + 16586386466285366033507/34469128242130056707647, c_0011_4 - 3982717027343600126049/344691282421300567076470*c_1001_4^20 + 9162161014143834430017/172345641210650283538235*c_1001_4^19 + 8179389446233435472639/344691282421300567076470*c_1001_4^18 - 150881195927149240506333/344691282421300567076470*c_1001_4^17 + 77581812476896492011868/172345641210650283538235*c_1001_4^16 + 150883469488239343869982/172345641210650283538235*c_1001_4^15 - 131160640850702951463307/68938256484260113415294*c_1001_4^14 + 68988703485382423608561/68938256484260113415294*c_1001_4^13 + 306485087948094824246439/344691282421300567076470*c_1001_4^12 - 521815605984826646889541/172345641210650283538235*c_1001_4^11 + 1260367297757495648166787/344691282421300567076470*c_1001_4^10 - 1098169438207811160443301/344691282421300567076470*c_1001_4^9 + 518352995423925631316161/172345641210650283538235*c_1001_4^8 - 266750781983197386692247/172345641210650283538235*c_1001_4^7 + 335096976596000888543829/344691282421300567076470*c_1001_4^6 - 5632195621168719244884/34469128242130056707647*c_1001_4^5 - 7086909734885622534943/34469128242130056707647*c_1001_4^4 - 91089782408356351090819/344691282421300567076470*c_1001_4^3 - 501902823992131257829359/344691282421300567076470*c_1001_4^2 - 38405230169287328302249/344691282421300567076470*c_1001_4 - 25361682633989195849464/34469128242130056707647, c_0101_0 + 27322336824422582574549/344691282421300567076470*c_1001_4^20 - 66314483547384656373348/172345641210650283538235*c_1001_4^19 - 9216876420146808001851/344691282421300567076470*c_1001_4^18 + 993639627449261258927491/344691282421300567076470*c_1001_4^17 - 694138555924328122263297/172345641210650283538235*c_1001_4^16 - 678673222614193308651946/172345641210650283538235*c_1001_4^15 + 4752865373541699088551601/344691282421300567076470*c_1001_4^14 - 4316862097791395271251383/344691282421300567076470*c_1001_4^13 - 14344029836537258459463/68938256484260113415294*c_1001_4^12 + 3293925618707268422699046/172345641210650283538235*c_1001_4^11 - 10841585306654170126149733/344691282421300567076470*c_1001_4^10 + 2414586614512144929642625/68938256484260113415294*c_1001_4^9 - 6103904297642993276681031/172345641210650283538235*c_1001_4^8 + 965543515310951938487452/34469128242130056707647*c_1001_4^7 - 7125860192480069208347409/344691282421300567076470*c_1001_4^6 + 2232263429447116391859306/172345641210650283538235*c_1001_4^5 - 1255988852642017784779383/172345641210650283538235*c_1001_4^4 + 2338623053775930579036997/344691282421300567076470*c_1001_4^3 - 1111093037866237282189337/344691282421300567076470*c_1001_4^2 + 217234198720239699657511/68938256484260113415294*c_1001_4 - 17106601881795247143596/34469128242130056707647, c_0101_1 - c_1001_4, c_0101_10 + 20863894637154571185141/344691282421300567076470*c_1001_4^2\ 0 - 57645886834605819498969/172345641210650283538235*c_1001_4^19 + 43305399348855678785637/344691282421300567076470*c_1001_4^18 + 165645320778300984856907/68938256484260113415294*c_1001_4^17 - 741099602745236292896571/172345641210650283538235*c_1001_4^16 - 438925561785613086211857/172345641210650283538235*c_1001_4^15 + 4541087058117033807357371/344691282421300567076470*c_1001_4^14 - 4479938049522854100531703/344691282421300567076470*c_1001_4^13 + 546522348068134230331913/344691282421300567076470*c_1001_4^12 + 2875466234440328054007869/172345641210650283538235*c_1001_4^11 - 10555612892113949202188209/344691282421300567076470*c_1001_4^10 + 11213694988057203574526943/344691282421300567076470*c_1001_4^9 - 6183745532079138263772969/172345641210650283538235*c_1001_4^8 + 5587439929807571300655056/172345641210650283538235*c_1001_4^7 - 7417357730826512704794661/344691282421300567076470*c_1001_4^6 + 2507013615966933617911546/172345641210650283538235*c_1001_4^5 - 1271477024713434185189338/172345641210650283538235*c_1001_4^4 + 1899911303219850500204659/344691282421300567076470*c_1001_4^3 - 219266058630970724234161/68938256484260113415294*c_1001_4^2 + 295327955409019242918937/344691282421300567076470*c_1001_4 - 17339769224805129434110/34469128242130056707647, c_0101_11 + 66611010326911553436981/689382564842601134152940*c_1001_4^2\ 0 - 92697134971957345374897/344691282421300567076470*c_1001_4^19 - 664292085454719326504479/689382564842601134152940*c_1001_4^18 + 2135263196035911656400639/689382564842601134152940*c_1001_4^17 + 1030056707225561282734097/344691282421300567076470*c_1001_4^16 - 4434449228728227651499449/344691282421300567076470*c_1001_4^15 - 569822166789794900692491/689382564842601134152940*c_1001_4^14 + 14299980540752335752701573/689382564842601134152940*c_1001_4^13 - 1424525947877119292055415/137876512968520226830588*c_1001_4^12 - 868654681182511842201301/344691282421300567076470*c_1001_4^11 + 6222897706901539648209673/689382564842601134152940*c_1001_4^10 - 1567078918777685394397661/137876512968520226830588*c_1001_4^9 + 423849918025034275582618/172345641210650283538235*c_1001_4^8 - 615153855852325334273657/68938256484260113415294*c_1001_4^7 + 2280375398977507313977819/689382564842601134152940*c_1001_4^6 + 2101202562225988351882919/344691282421300567076470*c_1001_4^5 + 97200731316194562676983/344691282421300567076470*c_1001_4^4 + 1976184195988789405423783/689382564842601134152940*c_1001_4^3 + 2440736651766649917289937/689382564842601134152940*c_1001_4^2 + 24021975025228709432995/137876512968520226830588*c_1001_4 - 14433207006537054984794/34469128242130056707647, c_0101_4 + 2383758948018149121768/34469128242130056707647*c_1001_4^20 - 60592815700904220066993/172345641210650283538235*c_1001_4^19 + 5503958977077594151342/172345641210650283538235*c_1001_4^18 + 447325676596987341604602/172345641210650283538235*c_1001_4^17 - 685524120102974411824632/172345641210650283538235*c_1001_4^16 - 562846631053806522266512/172345641210650283538235*c_1001_4^15 + 2245797037162809440023474/172345641210650283538235*c_1001_4^14 - 2115082541941524407317047/172345641210650283538235*c_1001_4^13 + 84007950694811163506616/172345641210650283538235*c_1001_4^12 + 603628692472862209162252/34469128242130056707647*c_1001_4^11 - 5165543585304766675748014/172345641210650283538235*c_1001_4^10 + 5736179042068853430211216/172345641210650283538235*c_1001_4^9 - 1179486094100575502022886/34469128242130056707647*c_1001_4^8 + 4691998966935301197093654/172345641210650283538235*c_1001_4^7 - 694179166717507313630192/34469128242130056707647*c_1001_4^6 + 2431529823457989218560758/172345641210650283538235*c_1001_4^5 - 1204761819405767825620369/172345641210650283538235*c_1001_4^4 + 905344049307793375479742/172345641210650283538235*c_1001_4^3 - 529561219205371099571069/172345641210650283538235*c_1001_4^2 + 362108606464201446555834/172345641210650283538235*c_1001_4 - 16586386466285366033507/34469128242130056707647, c_0101_5 - 3982717027343600126049/344691282421300567076470*c_1001_4^20 + 9162161014143834430017/172345641210650283538235*c_1001_4^19 + 8179389446233435472639/344691282421300567076470*c_1001_4^18 - 150881195927149240506333/344691282421300567076470*c_1001_4^17 + 77581812476896492011868/172345641210650283538235*c_1001_4^16 + 150883469488239343869982/172345641210650283538235*c_1001_4^15 - 131160640850702951463307/68938256484260113415294*c_1001_4^14 + 68988703485382423608561/68938256484260113415294*c_1001_4^13 + 306485087948094824246439/344691282421300567076470*c_1001_4^12 - 521815605984826646889541/172345641210650283538235*c_1001_4^11 + 1260367297757495648166787/344691282421300567076470*c_1001_4^10 - 1098169438207811160443301/344691282421300567076470*c_1001_4^9 + 518352995423925631316161/172345641210650283538235*c_1001_4^8 - 266750781983197386692247/172345641210650283538235*c_1001_4^7 + 335096976596000888543829/344691282421300567076470*c_1001_4^6 - 5632195621168719244884/34469128242130056707647*c_1001_4^5 - 7086909734885622534943/34469128242130056707647*c_1001_4^4 - 91089782408356351090819/344691282421300567076470*c_1001_4^3 - 501902823992131257829359/344691282421300567076470*c_1001_4^2 - 38405230169287328302249/344691282421300567076470*c_1001_4 - 25361682633989195849464/34469128242130056707647, c_0101_8 - 164236054136769172086657/689382564842601134152940*c_1001_4^2\ 0 + 426379593593003823917511/344691282421300567076470*c_1001_4^19 - 124778727263616096322223/689382564842601134152940*c_1001_4^18 - 6419889734264723925607339/689382564842601134152940*c_1001_4^17 + 5126038533388070676995259/344691282421300567076470*c_1001_4^16 + 2198966120302103618825023/172345641210650283538235*c_1001_4^15 - 7074012265934722900121659/137876512968520226830588*c_1001_4^14 + 5795286600128577943915983/137876512968520226830588*c_1001_4^13 + 7441518422685894017107427/689382564842601134152940*c_1001_4^12 - 23829457800635411600574413/344691282421300567076470*c_1001_4^11 + 72508987048482462117475761/689382564842601134152940*c_1001_4^10 - 74782127106100956021786393/689382564842601134152940*c_1001_4^9 + 17095940435590754121571409/172345641210650283538235*c_1001_4^8 - 26493572731655829609240111/344691282421300567076470*c_1001_4^7 + 33169789973914788906944947/689382564842601134152940*c_1001_4^6 - 1957559324449855977902693/68938256484260113415294*c_1001_4^5 + 529584477258633388642614/34469128242130056707647*c_1001_4^4 - 9568758825177260306820807/689382564842601134152940*c_1001_4^3 + 6609057058378623666784283/689382564842601134152940*c_1001_4^2 - 3100512281183547423777547/689382564842601134152940*c_1001_4 + 40521040641408623511841/34469128242130056707647, c_1001_12 - 20863894637154571185141/344691282421300567076470*c_1001_4^2\ 0 + 57645886834605819498969/172345641210650283538235*c_1001_4^19 - 43305399348855678785637/344691282421300567076470*c_1001_4^18 - 165645320778300984856907/68938256484260113415294*c_1001_4^17 + 741099602745236292896571/172345641210650283538235*c_1001_4^16 + 438925561785613086211857/172345641210650283538235*c_1001_4^15 - 4541087058117033807357371/344691282421300567076470*c_1001_4^14 + 4479938049522854100531703/344691282421300567076470*c_1001_4^13 - 546522348068134230331913/344691282421300567076470*c_1001_4^12 - 2875466234440328054007869/172345641210650283538235*c_1001_4^11 + 10555612892113949202188209/344691282421300567076470*c_1001_4^10 - 11213694988057203574526943/344691282421300567076470*c_1001_4^9 + 6183745532079138263772969/172345641210650283538235*c_1001_4^8 - 5587439929807571300655056/172345641210650283538235*c_1001_4^7 + 7417357730826512704794661/344691282421300567076470*c_1001_4^6 - 2507013615966933617911546/172345641210650283538235*c_1001_4^5 + 1271477024713434185189338/172345641210650283538235*c_1001_4^4 - 1899911303219850500204659/344691282421300567076470*c_1001_4^3 + 219266058630970724234161/68938256484260113415294*c_1001_4^2 - 295327955409019242918937/344691282421300567076470*c_1001_4 + 17339769224805129434110/34469128242130056707647, c_1001_4^21 - 5*c_1001_4^20 + 1/3*c_1001_4^19 + 110/3*c_1001_4^18 - 169/3*c_1001_4^17 - 44*c_1001_4^16 + 185*c_1001_4^15 - 182*c_1001_4^14 + 10*c_1001_4^13 + 757/3*c_1001_4^12 - 435*c_1001_4^11 + 488*c_1001_4^10 - 487*c_1001_4^9 + 1174/3*c_1001_4^8 - 841/3*c_1001_4^7 + 527/3*c_1001_4^6 - 94*c_1001_4^5 + 83*c_1001_4^4 - 44*c_1001_4^3 + 34*c_1001_4^2 - 23/3*c_1001_4 + 10/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.100 Total time: 0.320 seconds, Total memory usage: 32.09MB