Magma V2.19-8 Wed Aug 21 2013 01:01:42 on localhost [Seed = 3532966155] Type ? for help. Type -D to quit. Loading file "L14n13171__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13171 geometric_solution 12.04009897 oriented_manifold CS_known -0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 1 1 0 0 -1 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 0 1 -1 0 0 0 0 -1 0 0 1 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.261979574619 0.895059876437 0 5 2 6 0132 0132 1023 0132 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 -1 0 1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.266904905921 0.749756802872 7 0 1 8 0132 0132 1023 0132 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 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.594824404145 1.998047167052 9 10 11 0 0132 0132 0132 0132 0 0 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 2 -1 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.217964537405 0.967494115740 6 6 0 8 0132 1302 0132 0213 0 0 1 1 0 1 -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 0 0 0 0 -2 1 1 2 0 0 -2 -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.574539127262 0.916714457451 9 1 12 11 3120 0132 0132 2031 1 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 0 0 0 0 -1 1 0 2 0 0 -2 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.671935421562 0.795013117767 4 7 1 4 0132 1230 0132 2031 1 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 0 0 0 0 0 1 -1 -2 0 0 2 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.416553969661 0.897523299473 2 9 6 10 0132 3120 3012 3120 1 1 1 1 0 -1 0 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 -2 0 2 0 0 0 0 0 0 0 0 2 -1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.391325376673 1.370639912096 9 12 2 4 2310 3012 0132 0213 0 1 0 1 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 1 0 -1 0 0 0 0 -2 0 0 2 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.043297119008 0.614096115625 3 7 8 5 0132 3120 3201 3120 1 0 1 1 0 1 -1 0 0 0 -1 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 1 -2 1 0 0 2 -2 0 0 0 0 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1.175571375244 0.733280718155 7 3 12 11 3120 0132 3012 1230 0 1 1 1 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 1 -1 0 0 0 0 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.398314910811 1.016152187745 10 5 12 3 3012 1302 3120 0132 0 0 1 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 0 0 0 0 0 0 0 0 2 0 -2 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.619089161605 0.991563201387 8 10 11 5 1230 1230 3120 0132 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 0 0 0 0 0 0 1 -1 0 0 0 0 2 -2 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.491312512683 0.894376586793 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_3'], 'c_1001_10' : negation(d['c_0011_12']), 'c_1001_12' : negation(d['c_0101_3']), 'c_1001_5' : d['c_0101_10'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_0011_4'], 'c_1001_6' : d['c_0101_10'], 'c_1001_1' : d['c_0011_11'], 'c_1001_0' : negation(d['c_0011_12']), 'c_1001_3' : d['c_0101_11'], 'c_1001_2' : d['c_0101_1'], 'c_1001_9' : negation(d['c_0011_4']), 'c_1001_8' : negation(d['c_0011_12']), 'c_1010_12' : d['c_0101_10'], 'c_1010_11' : d['c_0101_11'], 'c_1010_10' : d['c_0101_11'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : d['c_1010_4'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : negation(d['c_0101_11']), 'c_1100_4' : negation(d['c_0101_12']), 'c_1100_7' : negation(d['c_0101_10']), 'c_1100_6' : negation(d['c_1010_4']), 'c_1100_1' : negation(d['c_1010_4']), 'c_1100_0' : negation(d['c_0101_12']), 'c_1100_3' : negation(d['c_0101_12']), 'c_1100_2' : d['c_1010_4'], 's_0_10' : d['1'], 'c_1100_9' : negation(d['c_0011_8']), 'c_1100_11' : negation(d['c_0101_12']), 'c_1100_10' : d['c_0101_3'], 's_0_11' : d['1'], 'c_1010_7' : negation(d['c_0011_10']), 'c_1010_6' : d['c_0011_4'], 'c_1010_5' : d['c_0011_11'], 'c_1010_4' : d['c_1010_4'], 'c_1010_3' : negation(d['c_0011_12']), 'c_1010_2' : negation(d['c_0011_12']), 'c_1010_1' : d['c_0101_10'], 'c_1010_0' : d['c_0101_1'], 'c_1010_9' : negation(d['c_0011_0']), 'c_1010_8' : negation(d['c_0101_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' : negation(d['c_0101_11']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0101_3'], 'c_0110_10' : d['c_0011_11'], 'c_0110_12' : d['c_0011_8'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0011_8'], 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0011_11'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_4'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_3'], 'c_0110_4' : d['c_0101_0'], 'c_0110_7' : d['c_0011_11'], '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_11, c_0011_12, c_0011_4, c_0011_8, c_0101_0, c_0101_1, c_0101_10, c_0101_11, c_0101_12, c_0101_3, c_1010_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 18 Groebner basis: [ t + 16962902506853233563186191060636147/36944664669717144135203580350*c\ _1010_4^17 - 30739238612709415365501894536268757/738893293394342882\ 7040716070*c_1010_4^16 + 2566852765218336678315087108734302703/1477\ 78658678868576540814321400*c_1010_4^15 - 797552988938870746464263048118548314/18472332334858572067601790175*\ c_1010_4^14 + 2469913464457530171883919772522287069/369446646697171\ 44135203580350*c_1010_4^13 - 1040964100299127680718504543147732707/\ 18472332334858572067601790175*c_1010_4^12 - 5382727734764535101520049006681779/29555731735773715308162864280*c_\ 1010_4^11 + 2168437172105438869685219051144828633/36944664669717144\ 135203580350*c_1010_4^10 - 1775522736945994586739913962230273929/29\ 555731735773715308162864280*c_1010_4^9 + 115291381696966101783561616423095521/14777865867886857654081432140*\ c_1010_4^8 + 4913591278859418501179143138659541743/1477786586788685\ 76540814321400*c_1010_4^7 - 1961688625979721623656858525583303817/7\ 3889329339434288270407160700*c_1010_4^6 + 82700798090165135117194227243246787/73889329339434288270407160700*c\ _1010_4^5 + 588152286755360482323209756391155697/738893293394342882\ 70407160700*c_1010_4^4 - 407937791507855216719712800743056017/14777\ 8658678868576540814321400*c_1010_4^3 - 9790066697548013157904158983012539/14777865867886857654081432140*c_\ 1010_4^2 + 25737962175387432668968361805052443/73889329339434288270\ 407160700*c_1010_4 - 241399604081591989489281119500753/217321556880\ 6890831482563550, c_0011_0 - 1, c_0011_10 + 770259796150874916946323/306658349613755087239706*c_1010_4^\ 17 - 6842240894493452951776339/306658349613755087239706*c_1010_4^16 + 111128984901677266639808631/1226633398455020348958824*c_1010_4^15 - 132650701798175860059713597/613316699227510174479412*c_1010_4^14 + 47984978202961968745012991/153329174806877543619853*c_1010_4^13 - 135736241208507730450845289/613316699227510174479412*c_1010_4^12 - 98712457718216886895021095/1226633398455020348958824*c_1010_4^11 + 100615859002215050135501269/306658349613755087239706*c_1010_4^10 - 309601502124827018003246381/1226633398455020348958824*c_1010_4^9 - 12060940407855749190570989/306658349613755087239706*c_1010_4^8 + 234576539308103714024226313/1226633398455020348958824*c_1010_4^7 - 60038040407258133951474399/613316699227510174479412*c_1010_4^6 - 15915573226540162960484189/613316699227510174479412*c_1010_4^5 + 11735818797764578040029947/306658349613755087239706*c_1010_4^4 - 5410337630918835710125411/1226633398455020348958824*c_1010_4^3 - 1906815624771541993375045/613316699227510174479412*c_1010_4^2 - 705984453417712626850747/613316699227510174479412*c_1010_4 - 255972317412898362173227/306658349613755087239706, c_0011_11 + 301322096568564115862543/306658349613755087239706*c_1010_4^\ 17 - 2550748150028956892432759/306658349613755087239706*c_1010_4^16 + 38839626464731484645623251/1226633398455020348958824*c_1010_4^15 - 41901663978381585892174317/613316699227510174479412*c_1010_4^14 + 24409767967674156389178325/306658349613755087239706*c_1010_4^13 - 8149893289523390900514245/613316699227510174479412*c_1010_4^12 - 134021288182049535611079235/1226633398455020348958824*c_1010_4^11 + 24941139294439409348002797/153329174806877543619853*c_1010_4^10 - 81860361357402505362070597/1226633398455020348958824*c_1010_4^9 - 24255834602718722344037529/306658349613755087239706*c_1010_4^8 + 135229277746861016631163385/1226633398455020348958824*c_1010_4^7 - 15438905208345907903106227/613316699227510174479412*c_1010_4^6 - 25476772426396679486296859/613316699227510174479412*c_1010_4^5 + 4716707424495272631598187/153329174806877543619853*c_1010_4^4 + 773719052169375754861781/1226633398455020348958824*c_1010_4^3 - 3298506081335584779555243/613316699227510174479412*c_1010_4^2 + 406011421147761753840885/613316699227510174479412*c_1010_4 + 86111778050761222224309/306658349613755087239706, c_0011_12 - 608336014234318029374869/153329174806877543619853*c_1010_4^\ 17 + 5835116972876288390451059/153329174806877543619853*c_1010_4^16 - 103551767702560330120657585/613316699227510174479412*c_1010_4^15 + 69006510067369685922453283/153329174806877543619853*c_1010_4^14 - 235000991758482241961276423/306658349613755087239706*c_1010_4^13 + 119019148802729685422072449/153329174806877543619853*c_1010_4^12 - 149768835324064032665038389/613316699227510174479412*c_1010_4^11 - 150740189830411824956429195/306658349613755087239706*c_1010_4^10 + 451546996511471268657142025/613316699227510174479412*c_1010_4^9 - 44854308093893817132310281/153329174806877543619853*c_1010_4^8 - 155855655447726128708649447/613316699227510174479412*c_1010_4^7 + 52337507134024609814583344/153329174806877543619853*c_1010_4^6 - 15220331688748277568534193/153329174806877543619853*c_1010_4^5 - 9111238832019031976179374/153329174806877543619853*c_1010_4^4 + 25538398563200673102092035/613316699227510174479412*c_1010_4^3 + 79305639642475689730199/153329174806877543619853*c_1010_4^2 - 1222747502957297451952997/306658349613755087239706*c_1010_4 + 192811457924346757190661/153329174806877543619853, c_0011_4 + 8358555591708221966933053/306658349613755087239706*c_1010_4^\ 17 - 37764161210971280909130010/153329174806877543619853*c_1010_4^1\ 6 + 1257461962138987815803645053/1226633398455020348958824*c_1010_4\ ^15 - 3113389066901068526431554121/1226633398455020348958824*c_1010\ _4^14 + 1197935672206031131920969413/306658349613755087239706*c_101\ 0_4^13 - 1991038543619853249774672331/613316699227510174479412*c_10\ 10_4^12 - 124641071925654077489535907/1226633398455020348958824*c_1\ 010_4^11 + 4295799497422402741346029871/1226633398455020348958824*c\ _1010_4^10 - 4292679956247546216614438425/1226633398455020348958824\ *c_1010_4^9 + 466172193015684125699717737/1226633398455020348958824\ *c_1010_4^8 + 2450709357772306593790568185/122663339845502034895882\ 4*c_1010_4^7 - 1891912857364411243832260151/12266333984550203489588\ 24*c_1010_4^6 + 18178536185023479233877667/613316699227510174479412\ *c_1010_4^5 + 295171845052822110634250939/613316699227510174479412*\ c_1010_4^4 - 192821154332660300653494981/1226633398455020348958824*\ c_1010_4^3 - 53019165706100488782664507/1226633398455020348958824*c\ _1010_4^2 + 12122817320506460521167259/613316699227510174479412*c_1\ 010_4 - 3627119894674942085975497/613316699227510174479412, c_0011_8 + 482712019258047303839521/153329174806877543619853*c_1010_4^1\ 7 - 4448648378950675997129164/153329174806877543619853*c_1010_4^16 + 75402604144434791440563937/613316699227510174479412*c_1010_4^15 - 189983653804087560822761581/613316699227510174479412*c_1010_4^14 + 74624141110200733751129885/153329174806877543619853*c_1010_4^13 - 64343890693150023050640500/153329174806877543619853*c_1010_4^12 + 7169026138577428479647821/613316699227510174479412*c_1010_4^11 + 260468309510371289158081485/613316699227510174479412*c_1010_4^10 - 274844989609248576046103013/613316699227510174479412*c_1010_4^9 + 42872111168538803654930291/613316699227510174479412*c_1010_4^8 + 146537830500470084769893511/613316699227510174479412*c_1010_4^7 - 121810083675109308442326663/613316699227510174479412*c_1010_4^6 + 2348846781457739847492467/153329174806877543619853*c_1010_4^5 + 16659460574622150172003305/306658349613755087239706*c_1010_4^4 - 13640356594054811712719007/613316699227510174479412*c_1010_4^3 - 692702322274904565603743/613316699227510174479412*c_1010_4^2 + 219747901315903714988521/306658349613755087239706*c_1010_4 - 311942115956412692328225/306658349613755087239706, c_0101_0 - 1, c_0101_1 - 53078927101672212564912/153329174806877543619853*c_1010_4^17 + 247846143310528924975385/153329174806877543619853*c_1010_4^16 + 104574615307603949461999/153329174806877543619853*c_1010_4^15 - 15431288027530114870873667/613316699227510174479412*c_1010_4^14 + 28868557846803373623055463/306658349613755087239706*c_1010_4^13 - 56744714137284485425601233/306658349613755087239706*c_1010_4^12 + 61767949544355319866348993/306658349613755087239706*c_1010_4^11 - 40527965671816448504932241/613316699227510174479412*c_1010_4^10 - 19778514467033453590861131/153329174806877543619853*c_1010_4^9 + 115505661189687746724147327/613316699227510174479412*c_1010_4^8 - 19182539013506140278900669/306658349613755087239706*c_1010_4^7 - 46333138059505266587746037/613316699227510174479412*c_1010_4^6 + 12696933194691950459187729/153329174806877543619853*c_1010_4^5 - 2254886536066486565611508/153329174806877543619853*c_1010_4^4 - 2830511826170020433771798/153329174806877543619853*c_1010_4^3 + 4512619383832222207326545/613316699227510174479412*c_1010_4^2 + 184867208725439575746726/153329174806877543619853*c_1010_4 - 142081576594275552379307/306658349613755087239706, c_0101_10 + 9575227620176858025682791/306658349613755087239706*c_1010_4\ ^17 - 43599278183847569299581069/153329174806877543619853*c_1010_4^\ 16 + 1464565497544108476044960223/1226633398455020348958824*c_1010_\ 4^15 - 3665441147440026013811180385/1226633398455020348958824*c_101\ 0_4^14 + 716468331982256686941122918/153329174806877543619853*c_101\ 0_4^13 - 2467115138830771991462962127/613316699227510174479412*c_10\ 10_4^12 + 174896598722473987840540871/1226633398455020348958824*c_1\ 010_4^11 + 4898760256744050041171746651/1226633398455020348958824*c\ _1010_4^10 - 5195773949270488753928722475/1226633398455020348958824\ *c_1010_4^9 + 825006657766834662758199985/1226633398455020348958824\ *c_1010_4^8 + 2762420668667758851207867079/122663339845502034895882\ 4*c_1010_4^7 - 2310612914436608122348926903/12266333984550203489588\ 24*c_1010_4^6 + 79059862940016589508014439/613316699227510174479412\ *c_1010_4^5 + 331616800380898238538968435/613316699227510174479412*\ c_1010_4^4 - 243897951459061646857679051/1226633398455020348958824*\ c_1010_4^3 - 53653610823240294300506099/1226633398455020348958824*c\ _1010_4^2 + 15181629025648565599552665/613316699227510174479412*c_1\ 010_4 - 4398365726372329114738141/613316699227510174479412, c_0101_11 - 492578586067595935099412/153329174806877543619853*c_1010_4^\ 17 + 4502720194422811726653574/153329174806877543619853*c_1010_4^16 - 19052378303334176652991151/153329174806877543619853*c_1010_4^15 + 96535387489903112871837509/306658349613755087239706*c_1010_4^14 - 76994582409745942339127654/153329174806877543619853*c_1010_4^13 + 138679165858731043382528775/306658349613755087239706*c_1010_4^12 - 17032306415621363302080233/306658349613755087239706*c_1010_4^11 - 120461039930171027266218403/306658349613755087239706*c_1010_4^10 + 136670396957499380245981717/306658349613755087239706*c_1010_4^9 - 24604940487878552048796253/306658349613755087239706*c_1010_4^8 - 73263337784444564363110297/306658349613755087239706*c_1010_4^7 + 63164697478637060891924891/306658349613755087239706*c_1010_4^6 - 3519506709837647806458279/306658349613755087239706*c_1010_4^5 - 9911523111989843934095534/153329174806877543619853*c_1010_4^4 + 6551120716451438240773351/306658349613755087239706*c_1010_4^3 + 1422855533236620163789202/153329174806877543619853*c_1010_4^2 - 770484485836500271381902/153329174806877543619853*c_1010_4 + 30897383286370491199881/153329174806877543619853, c_0101_12 + 18378968862370915188808/153329174806877543619853*c_1010_4^1\ 7 + 13552200740229816571412/153329174806877543619853*c_1010_4^16 - 1025255468123141279779952/153329174806877543619853*c_1010_4^15 + 5900296858245259409318737/153329174806877543619853*c_1010_4^14 - 35473141367704050968433911/306658349613755087239706*c_1010_4^13 + 32907073047846715267363514/153329174806877543619853*c_1010_4^12 - 36832353741181656231760401/153329174806877543619853*c_1010_4^11 + 16785778776334882679766543/153329174806877543619853*c_1010_4^10 + 31672686112087732878176245/306658349613755087239706*c_1010_4^9 - 61701114813463867875555663/306658349613755087239706*c_1010_4^8 + 15544534481794413852401661/153329174806877543619853*c_1010_4^7 + 15979419407077789141386743/306658349613755087239706*c_1010_4^6 - 28389352328470243312157523/306658349613755087239706*c_1010_4^5 + 5419484216303696635647788/153329174806877543619853*c_1010_4^4 + 3089514741355769859480923/306658349613755087239706*c_1010_4^3 - 2704392562954909456764663/306658349613755087239706*c_1010_4^2 - 72030501127185191246480/153329174806877543619853*c_1010_4 + 98175170573868543261789/153329174806877543619853, c_0101_3 - 189877472670501189639263/153329174806877543619853*c_1010_4^1\ 7 + 1471509497084071594831110/153329174806877543619853*c_1010_4^16 - 20293217360843162862120343/613316699227510174479412*c_1010_4^15 + 38660335280494547145035213/613316699227510174479412*c_1010_4^14 - 8889689600507540619175905/153329174806877543619853*c_1010_4^13 - 2881800394481665682169586/153329174806877543619853*c_1010_4^12 + 73895574627650425708507073/613316699227510174479412*c_1010_4^11 - 80595688293421625906507247/613316699227510174479412*c_1010_4^10 + 16939486025645573888983541/613316699227510174479412*c_1010_4^9 + 47154683473027429130131981/613316699227510174479412*c_1010_4^8 - 46233409121704927562675577/613316699227510174479412*c_1010_4^7 + 7545030439842771459977645/613316699227510174479412*c_1010_4^6 + 3048084277203815487693175/153329174806877543619853*c_1010_4^5 - 3974577596276185245815227/306658349613755087239706*c_1010_4^4 + 1677238643418883146651815/613316699227510174479412*c_1010_4^3 - 1702466116490215867534647/613316699227510174479412*c_1010_4^2 + 228418549030993722510085/306658349613755087239706*c_1010_4 + 277049830261619894380879/306658349613755087239706, c_1010_4^18 - 10*c_1010_4^17 + 2039/44*c_1010_4^16 - 5701/44*c_1010_4^15 + 10293/44*c_1010_4^14 - 519/2*c_1010_4^13 + 5055/44*c_1010_4^12 + 5641/44*c_1010_4^11 - 2760/11*c_1010_4^10 + 6155/44*c_1010_4^9 + 621/11*c_1010_4^8 - 5537/44*c_1010_4^7 + 227/4*c_1010_4^6 + 331/22*c_1010_4^5 - 981/44*c_1010_4^4 + 185/44*c_1010_4^3 + 93/44*c_1010_4^2 - 21/22*c_1010_4 + 5/22 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.290 Total time: 0.500 seconds, Total memory usage: 32.09MB