Magma V2.19-8 Tue Aug 20 2013 23:40:12 on localhost [Seed = 1031494019] Type ? for help. Type -D to quit. Loading file "K12n169__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n169 geometric_solution 11.32486681 oriented_manifold CS_known -0.0000000000000005 1 0 torus 0.000000000000 0.000000000000 12 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 -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 0 0 -1 1 10 0 0 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539475390656 0.733142766245 0 5 7 6 0132 0132 0132 0132 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 0 0 0 0 -10 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725608985712 0.547403859048 7 0 4 8 0132 0132 2103 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 0 0 -1 1 0 0 0 0 -11 0 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.348792075051 1.670523293778 9 7 10 0 0132 0132 0132 0132 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 1 -1 0 0 -1 1 1 -1 0 0 -11 11 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725608985712 0.547403859048 2 8 0 8 2103 1023 0132 0213 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 -1 1 0 1 0 -1 0 0 0 0 0 -11 1 10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.013740465507 0.823940323297 9 1 11 10 1023 0132 0132 0321 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 1 -1 0 0 0 0 10 -10 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.769979460831 0.686500071183 11 9 1 10 0213 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431058436008 0.709128294623 2 3 8 1 0132 0132 0213 0132 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 0 0 0 0 11 -11 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.539475390656 0.733142766245 4 7 2 4 1023 0213 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.405969929240 0.482811276854 3 5 11 6 0132 1023 0213 0321 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 0 0 0 0 11 -10 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.431058436008 0.709128294623 11 5 6 3 2310 0321 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 0 -1 -1 0 0 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.769979460831 0.686500071183 6 9 10 5 0213 0213 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 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 1.200226075871 1.022656687932 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_10']), 'c_1001_10' : negation(d['c_0011_10']), 'c_1001_5' : d['c_1001_5'], 'c_1001_4' : d['c_0011_4'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_1001_5'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_1001_1'], 'c_1001_2' : d['c_0011_4'], 'c_1001_9' : negation(d['c_0101_10']), 'c_1001_8' : d['c_1001_0'], 'c_1010_11' : d['c_1001_5'], 'c_1010_10' : d['c_1001_1'], 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_6'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(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_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_9' : d['c_1001_5'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_10']), 'c_1100_4' : d['c_1010_8'], 'c_1100_7' : d['c_1010_8'], 'c_1100_6' : d['c_1010_8'], 'c_1100_1' : d['c_1010_8'], 'c_1100_0' : d['c_1010_8'], 'c_1100_3' : d['c_1010_8'], 'c_1100_2' : negation(d['c_0110_4']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0011_10']), 'c_1100_10' : d['c_1010_8'], 's_0_11' : d['1'], 'c_1010_7' : d['c_1001_1'], 'c_1010_6' : negation(d['c_0011_10']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_1001_5'], 'c_1010_0' : d['c_0011_4'], 'c_1010_9' : negation(d['c_0011_10']), 'c_1010_8' : d['c_1010_8'], 'c_1100_8' : negation(d['c_0110_4']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(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'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : negation(d['1']), 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : negation(d['1']), 's_1_0' : d['1'], 's_1_9' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_0'], 'c_0011_8' : d['c_0011_4'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], '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' : negation(d['c_0011_0']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_10']), 'c_0110_10' : negation(d['c_0011_6']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0011_4'], 'c_0101_6' : d['c_0011_11'], 'c_0101_5' : negation(d['c_0101_10']), 'c_0101_4' : d['c_0101_1'], 'c_0101_3' : negation(d['c_0011_6']), 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0011_11'], 'c_0101_9' : d['c_0011_11'], 'c_0101_8' : d['c_0011_4'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_6']), 'c_0110_8' : negation(d['c_0110_4']), 'c_0110_1' : d['c_0011_11'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0011_11'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : negation(d['c_0011_10']), 'c_0110_4' : d['c_0110_4'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : d['c_0101_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 13 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_11, c_0011_4, c_0011_6, c_0101_1, c_0101_10, c_0110_4, c_1001_0, c_1001_1, c_1001_5, c_1010_8 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t - 1454922613069599727606521723112629355306855936809320383864703/81283\ 92341238462364280949485893300274545494750764022496*c_1001_5^31 + 18869033101918380863252199676352773163242080273045065747567311/1625\ 6784682476924728561898971786600549090989501528044992*c_1001_5^30 - 77279936547402849077805950670367444431873587764708193041077695/1625\ 6784682476924728561898971786600549090989501528044992*c_1001_5^29 + 49728871985184225772280149699658814349746977071500317269682425/4064\ 196170619231182140474742946650137272747375382011248*c_1001_5^28 - 316468212846166526590458163690870583031829531025168895457030329/162\ 56784682476924728561898971786600549090989501528044992*c_1001_5^27 + 201928655409972275464297714523319816932302277765875399058041323/162\ 56784682476924728561898971786600549090989501528044992*c_1001_5^26 + 402837909007992284209108914015525814607555360558570331983671479/162\ 56784682476924728561898971786600549090989501528044992*c_1001_5^25 - 77932497547982008506634929441526885843482048477599960570949951/1016\ 049042654807795535118685736662534318186843845502812*c_1001_5^24 + 751440828649409617854541413656498505384153690718259147077232245/812\ 8392341238462364280949485893300274545494750764022496*c_1001_5^23 - 121644705244930429456399938760129521293092755565096765687844429/406\ 4196170619231182140474742946650137272747375382011248*c_1001_5^22 - 1370278296566832221901545948737263425320596636469888154847295885/16\ 256784682476924728561898971786600549090989501528044992*c_1001_5^21 + 1113509143369830471567423617559906515799369870371390763157304145/81\ 28392341238462364280949485893300274545494750764022496*c_1001_5^20 - 1477230045248925818614492750569483962796995165090387562784017223/16\ 256784682476924728561898971786600549090989501528044992*c_1001_5^19 + 16490916894758912720828647231394041611262856790987705818951/8128392\ 341238462364280949485893300274545494750764022496*c_1001_5^18 + 1596571843765435711559282680396164878830232436017079162515718125/16\ 256784682476924728561898971786600549090989501528044992*c_1001_5^17 - 804718470309665898286239749810254440794513852491053694236425353/162\ 56784682476924728561898971786600549090989501528044992*c_1001_5^16 + 1316179796272431879268109336614607922110725819017452255702153899/16\ 256784682476924728561898971786600549090989501528044992*c_1001_5^15 + 626262187243380264623247538128867584916355472944966446326203585/162\ 56784682476924728561898971786600549090989501528044992*c_1001_5^14 - 198235744948790270679882698286641281825083080542413618251432131/812\ 8392341238462364280949485893300274545494750764022496*c_1001_5^13 + 139135043715916460655739911096450728187552764193278256132064009/812\ 8392341238462364280949485893300274545494750764022496*c_1001_5^12 - 180862003815202782802533393067474984399769091662594871549602387/162\ 56784682476924728561898971786600549090989501528044992*c_1001_5^11 + 56810668335708036746783796749529931329921961949004368675560377/1625\ 6784682476924728561898971786600549090989501528044992*c_1001_5^10 + 21502329410363733641761133014733155862360531027463671428328669/8128\ 392341238462364280949485893300274545494750764022496*c_1001_5^9 - 64284914515926628106100511159260806278836200135995564427562803/1625\ 6784682476924728561898971786600549090989501528044992*c_1001_5^8 + 51310974597829943468777314772492691209120278266261004374355399/1625\ 6784682476924728561898971786600549090989501528044992*c_1001_5^7 - 23907958316342950372901548167864337050024005425016784156442489/1625\ 6784682476924728561898971786600549090989501528044992*c_1001_5^6 + 3957208001204521439159673087551699231225275392593497949236439/16256\ 784682476924728561898971786600549090989501528044992*c_1001_5^5 + 3245590688654932419370954611996684602281333992904058150272135/81283\ 92341238462364280949485893300274545494750764022496*c_1001_5^4 - 5351353167125264931511727856469841668730012138656165133992101/16256\ 784682476924728561898971786600549090989501528044992*c_1001_5^3 + 83784091642179162245379674239666798295809040255858748149907/5244124\ 09112158862211674160380212920938419016178324032*c_1001_5^2 - 1005840408488713751133515914939235310460062382530870663340857/16256\ 784682476924728561898971786600549090989501528044992*c_1001_5 + 47926381243815080877464146302076360940753127349629788334765/4064196\ 170619231182140474742946650137272747375382011248, c_0011_0 - 1, c_0011_10 - 980199097465777005827957985462654218508907720737229979/2228\ 11664736121881644717784213516632618225781934816*c_1001_5^31 + 792714845394690934739244433486588987511381636308433955/278514580920\ 15235205589723026689579077278222741852*c_1001_5^30 - 25934061094920105602832522591494237644511482211943884993/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^29 + 66586340137631310617484567705509694227138412981053247183/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^28 - 3295279426340938180264404060526346230177949747527909565/69628645230\ 03808801397430756672394769319555685463*c_1001_5^27 + 16482739122671514158517809531588401464243410729035340287/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^26 + 137792205765755333955803519851210191410452737894787339257/222811664\ 736121881644717784213516632618225781934816*c_1001_5^25 - 104872176038325288043259845105452322080638795545857257867/557029161\ 84030470411179446053379158154556445483704*c_1001_5^24 + 250358266327363473545467050543300978558055430435162273153/111405832\ 368060940822358892106758316309112890967408*c_1001_5^23 - 154553149047939987600276308495641379564190776576423814549/222811664\ 736121881644717784213516632618225781934816*c_1001_5^22 - 469017523509074299821930775810370285542181571520139163129/222811664\ 736121881644717784213516632618225781934816*c_1001_5^21 + 749338190348508769918432606021602386085123639491277187465/222811664\ 736121881644717784213516632618225781934816*c_1001_5^20 - 489273211169086435732834165232296731222031467678021515369/222811664\ 736121881644717784213516632618225781934816*c_1001_5^19 - 10132462096933282797264643361035093954972301116842241763/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^18 + 136061913397069260800182242513283166218828131074024826557/557029161\ 84030470411179446053379158154556445483704*c_1001_5^17 - 67307695877714357657103266234379838653712081509269091285/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^16 + 220684143813334044688687268869278829451754964142096010119/111405832\ 368060940822358892106758316309112890967408*c_1001_5^15 + 218749785618082282091530407274500606773825231342550542673/222811664\ 736121881644717784213516632618225781934816*c_1001_5^14 - 16738305739378565491582478939596444494780035227172450113/2785145809\ 2015235205589723026689579077278222741852*c_1001_5^13 + 94749467934869222677226871560789114339466174852617147121/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^12 - 1882986897460467519342256634418536046804775089437127545/69628645230\ 03808801397430756672394769319555685463*c_1001_5^11 + 18247559999300498733704396766097707938996636084219991483/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^10 + 15307411197342218241820665230749916022232814598209545857/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^9 - 5516581773169794269226183702371931807325462299127730367/55702916184\ 030470411179446053379158154556445483704*c_1001_5^8 + 4348030955194480122127571723659136636097592142283641377/55702916184\ 030470411179446053379158154556445483704*c_1001_5^7 - 250067323491640023899381040046984859691868336317322408/696286452300\ 3808801397430756672394769319555685463*c_1001_5^6 + 1234961397803463383574854712901272857228779993051001257/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^5 + 2262672045588858633783807529669615768150290894743511499/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^4 - 458617859146027548274957563875772736721654959863429755/557029161840\ 30470411179446053379158154556445483704*c_1001_5^3 + 7159581120756840738835135555029171941908488705107183/17968682640009\ 82916489659550109005101759885338184*c_1001_5^2 - 341884744445870692141901390088697105378071931220534137/222811664736\ 121881644717784213516632618225781934816*c_1001_5 + 16162432306335325910042884029352296262327897639825159/5570291618403\ 0470411179446053379158154556445483704, c_0011_11 - 9313169041470884079278133362735453191730182365883868299/445\ 623329472243763289435568427033265236451563869632*c_1001_5^31 + 60320669801419517091124947778918628588142973009062830041/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^30 - 246819663673617260351942883385986166499076538794914862681/445623329\ 472243763289435568427033265236451563869632*c_1001_5^29 + 317163577740611216763104618843114451017298271496513904351/222811664\ 736121881644717784213516632618225781934816*c_1001_5^28 - 1006126576860389946017064363141703587862841198753653449793/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^27 + 158273313743943633372126961979239860579367345955519836025/111405832\ 368060940822358892106758316309112890967408*c_1001_5^26 + 1304786784118260894275420255381972641765932003868750777641/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^25 - 3993121725873229196721724077111455877488575151385886706795/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^24 + 2390410139886502987273582419499739629055700425035550006317/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^23 - 1496772005711154934726570101936844026797162277407345141547/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^22 - 2222757443396496420998333207098124423843429553197494588369/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^21 + 1785143116468784822789099003136633126956801306065432802857/11140583\ 2368060940822358892106758316309112890967408*c_1001_5^20 - 585285831936446328976872755107618961689626525611928081683/557029161\ 84030470411179446053379158154556445483704*c_1001_5^19 - 2258724004217872985716007658031529286934642387537966547/13925729046\ 007617602794861513344789538639111370926*c_1001_5^18 + 5166306658381834822925448184003501391254511811950087979705/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^17 - 322525943574934798630340415565449251498539091796736214287/557029161\ 84030470411179446053379158154556445483704*c_1001_5^16 + 2097775169092031607892166405297444229359470798093879057851/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^15 + 2048362794961623370573246297682731568158170824487946540603/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^14 - 1289901646405847736571392185575396776861896652256475022895/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^13 + 894961951093793051271553727596570577581750115346494169085/445623329\ 472243763289435568427033265236451563869632*c_1001_5^12 - 577117741107044437363177023556860248916339679651974199979/445623329\ 472243763289435568427033265236451563869632*c_1001_5^11 + 175568597914031309573951829353815009487917549113946870939/445623329\ 472243763289435568427033265236451563869632*c_1001_5^10 + 35940071208108709651958154790234605684798383255283542941/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^9 - 209644217144086135822013993659335213433355979728625682603/445623329\ 472243763289435568427033265236451563869632*c_1001_5^8 + 10352303186540728342573225826791197978156815224948744957/2785145809\ 2015235205589723026689579077278222741852*c_1001_5^7 - 9547652086687181310809581154878862142923481811860857519/55702916184\ 030470411179446053379158154556445483704*c_1001_5^6 + 12000785014036310265557807616406360980135333185607101989/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^5 + 5346685624888263679538064312546315249983992504141219635/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^4 - 17449791167470053273277450012461261872013502698118498697/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^3 + 4252485928458194825587553438416392278048909445666432/22460853300012\ 2864561207443763625637719985667273*c_1001_5^2 - 3256588558662596564289078695162931348791638214971285657/44562332947\ 2243763289435568427033265236451563869632*c_1001_5 + 619261647985350590998253490915372184533220405544977107/445623329472\ 243763289435568427033265236451563869632, c_0011_4 - 635892911454127187721979682688057850108108398555445189/55702\ 916184030470411179446053379158154556445483704*c_1001_5^31 + 4125284259000417431617473582680469383130337639728348375/55702916184\ 030470411179446053379158154556445483704*c_1001_5^30 - 33803139455281566767963373470819877589649414288513159089/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^29 + 87060760725077157776052201024754568571067878311185707509/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^28 - 69340837295626850049030139421925681130807482693659170447/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^27 + 88998771939605841264829070280332258641790131812584456071/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^26 + 175113750498856802201081551388697163872497480819022030401/111405832\ 368060940822358892106758316309112890967408*c_1001_5^25 - 544619703803152298842078846281488353424339022108527807095/111405832\ 368060940822358892106758316309112890967408*c_1001_5^24 + 41135518436324354535319385442344456826426042982987759233/6962864523\ 003808801397430756672394769319555685463*c_1001_5^23 - 107970144394981895350691368852726232523434544943861839907/557029161\ 84030470411179446053379158154556445483704*c_1001_5^22 - 297557303147361737820805513420867308164468374233051995165/557029161\ 84030470411179446053379158154556445483704*c_1001_5^21 + 971661834642261763681396869064003349177445705855334011537/111405832\ 368060940822358892106758316309112890967408*c_1001_5^20 - 161828203785609468322846991230973193476414956464755674073/278514580\ 92015235205589723026689579077278222741852*c_1001_5^19 + 3952441111892721385857798008867464999264235956479341229/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^18 + 346978449352013681949904348768736873189512535674372136895/557029161\ 84030470411179446053379158154556445483704*c_1001_5^17 - 350420291697324908382297094385259323852656751279093021723/111405832\ 368060940822358892106758316309112890967408*c_1001_5^16 + 575626813689413336805203656204267390988542705794179948337/111405832\ 368060940822358892106758316309112890967408*c_1001_5^15 + 271295842913950533470786133298353253377200868830099327999/111405832\ 368060940822358892106758316309112890967408*c_1001_5^14 - 171786671952992587563051320320400424033077094700480150135/111405832\ 368060940822358892106758316309112890967408*c_1001_5^13 + 60400521138216343112450941598360747433143150218333029449/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^12 - 39530797062183275440929262164646025648213475382991127171/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^11 + 25102654855551137362243835436752907065413468714119289087/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^10 + 18385970352890773732763874586849435998863873915354742573/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^9 - 13914618518322264079625824680355350843607872201150970039/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^8 + 22284153999532421999927528076874125731794571840284395605/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^7 - 10423323094100806714246056974413618527208021865215008279/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^6 + 1756425652976715312315663539517075813326642978395943515/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^5 + 2797279239581105744904230703944548084666224220844421085/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^4 - 578341391601836823102603650856109598068618114529082165/278514580920\ 15235205589723026689579077278222741852*c_1001_5^3 + 36249892991189781692784679503358574014256299764630839/3593736528001\ 965832979319100218010203519770676368*c_1001_5^2 - 435832533402752764954097522777216474658427407371710925/111405832368\ 060940822358892106758316309112890967408*c_1001_5 + 83016733980691714435867683794824064418517941324726375/1114058323680\ 60940822358892106758316309112890967408, c_0011_6 - c_1001_5, c_0101_1 - 3219429700453843363222728491107063424291933937220359051/4456\ 23329472243763289435568427033265236451563869632*c_1001_5^31 + 20863393945120750419743834591733364774363377465672242855/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^30 - 85402703651277537330101763403848872863606357279377893517/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^29 + 54907196281424890553737638932532578835105194664630842413/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^28 - 348795193972473526990362227752420429231279468331951878383/445623329\ 472243763289435568427033265236451563869632*c_1001_5^27 + 27587734636204077732315422122207923021877318861948848003/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^26 + 449077027069880200113425618461799141580174195958564431813/445623329\ 472243763289435568427033265236451563869632*c_1001_5^25 - 1380582084452690559653064991199628174387881173872624272345/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^24 + 828684472241357631435137462797703369079085264790855608033/222811664\ 736121881644717784213516632618225781934816*c_1001_5^23 - 525854567392235115949330362965397488393380706789912710199/445623329\ 472243763289435568427033265236451563869632*c_1001_5^22 - 95601961238712797202021911101549449907386136640862409841/2785145809\ 2015235205589723026689579077278222741852*c_1001_5^21 + 1234316550755897593314444052848235243026638733431029053817/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^20 - 813074168934512419303613819953095581084988700118879215941/222811664\ 736121881644717784213516632618225781934816*c_1001_5^19 - 7795837240049100592699005666603651169506024582297408189/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^18 + 1780026247707354487845842702733605916737173274890161731543/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^17 - 223354216018017874235842329074242377973091465916567847479/111405832\ 368060940822358892106758316309112890967408*c_1001_5^16 + 726490505979059551413663645110973918592409780397582987169/222811664\ 736121881644717784213516632618225781934816*c_1001_5^15 + 702047014485561787296858864246660506612483029062364151979/445623329\ 472243763289435568427033265236451563869632*c_1001_5^14 - 444483266047062228605190806195396400782751986601570546749/445623329\ 472243763289435568427033265236451563869632*c_1001_5^13 + 309565800852687330228981404099214216914296288241201289613/445623329\ 472243763289435568427033265236451563869632*c_1001_5^12 - 199848611968747224951103447708314862917373272220762041213/445623329\ 472243763289435568427033265236451563869632*c_1001_5^11 + 61501924180908105932400799312490321638964831448642870687/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^10 + 24512020005846997780816401164872619845130245091344827741/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^9 - 72133603716964852262715483432519339904547855152044178053/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^8 + 14298646795846215095432017989263117722884472213283296503/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^7 - 6617828594860964795100913881789467233413580173465189263/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^6 + 4233963192622205807215609915806675656091545060941429889/44562332947\ 2243763289435568427033265236451563869632*c_1001_5^5 + 3666551515716822049058248273839562184138023456802046459/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^4 - 6011116790871517284182006023851200966132941750080366495/44562332947\ 2243763289435568427033265236451563869632*c_1001_5^3 + 23484964469648016619499727999337223173133199533837833/3593736528001\ 965832979319100218010203519770676368*c_1001_5^2 - 1124566044644216755386172736430245845450123067743638525/44562332947\ 2243763289435568427033265236451563869632*c_1001_5 + 214343861852915063295530863792683742814452340878382681/445623329472\ 243763289435568427033265236451563869632, c_0101_10 - 18331839917510555566953329352170080539236958739430457/27851\ 458092015235205589723026689579077278222741852*c_1001_5^31 + 118760867408133225767279978599529972861208883529975393/278514580920\ 15235205589723026689579077278222741852*c_1001_5^30 - 243022815239014711725202225521826461156610670705206339/139257290460\ 07617602794861513344789538639111370926*c_1001_5^29 + 312392777401223739546445917528445186259933692880680741/696286452300\ 3808801397430756672394769319555685463*c_1001_5^28 - 1983423017633653552342733185160305568995247411335161037/27851458092\ 015235205589723026689579077278222741852*c_1001_5^27 + 313096526245334886825033526135783707361055136080655130/696286452300\ 3808801397430756672394769319555685463*c_1001_5^26 + 640024106083413709076294655542058783397109221826144203/696286452300\ 3808801397430756672394769319555685463*c_1001_5^25 - 3928174155060683603378288974905968247662843656914753403/13925729046\ 007617602794861513344789538639111370926*c_1001_5^24 + 9420977228998931504643703684306996293839755082015702593/27851458092\ 015235205589723026689579077278222741852*c_1001_5^23 - 1486876115944683413800979899535316731510109518892329117/13925729046\ 007617602794861513344789538639111370926*c_1001_5^22 - 2179494900310500896730978704555342757421825700206801765/69628645230\ 03808801397430756672394769319555685463*c_1001_5^21 + 7020171575486126684118229074866692340022205863211402851/13925729046\ 007617602794861513344789538639111370926*c_1001_5^20 - 4615230633846982764006621306394814883993667277809099911/13925729046\ 007617602794861513344789538639111370926*c_1001_5^19 - 27410070158227892143063509657049271730054282192475198/6962864523003\ 808801397430756672394769319555685463*c_1001_5^18 + 10137805448770637716204242580559264431873063252533299417/2785145809\ 2015235205589723026689579077278222741852*c_1001_5^17 - 1266951244360625207874246147171132431071501450329208035/69628645230\ 03808801397430756672394769319555685463*c_1001_5^16 + 8262738521678124775934235016261547349740593952200165477/27851458092\ 015235205589723026689579077278222741852*c_1001_5^15 + 1003848559576630649524234891008789739561314023853965222/69628645230\ 03808801397430756672394769319555685463*c_1001_5^14 - 2524180091790500153753984811507596891285823320276278663/27851458092\ 015235205589723026689579077278222741852*c_1001_5^13 + 1757985015118190880040967189921045500739593108526498593/27851458092\ 015235205589723026689579077278222741852*c_1001_5^12 - 567180489606306256452346917169944342028041148291259975/139257290460\ 07617602794861513344789538639111370926*c_1001_5^11 + 347675805310469439762977750404339885955964538223027517/278514580920\ 15235205589723026689579077278222741852*c_1001_5^10 + 140058879077585911068369788099854036600509373736217079/139257290460\ 07617602794861513344789538639111370926*c_1001_5^9 - 102591115757118107229157087659510250978986464370923086/696286452300\ 3808801397430756672394769319555685463*c_1001_5^8 + 324927311092431898819165962229120311802713437844363217/278514580920\ 15235205589723026689579077278222741852*c_1001_5^7 - 150079574367410416073582525035591855300869556006763493/278514580920\ 15235205589723026689579077278222741852*c_1001_5^6 + 23775016061529108851187121937911856446940805745028483/2785145809201\ 5235205589723026689579077278222741852*c_1001_5^5 + 41836497057036461212370022412790511723234666085472753/2785145809201\ 5235205589723026689579077278222741852*c_1001_5^4 - 34164402687599968922510214221900003388711288250540817/2785145809201\ 5235205589723026689579077278222741852*c_1001_5^3 + 532940988386373773216683230154333339695645903091559/898434132000491\ 458244829775054502550879942669092*c_1001_5^2 - 6329268139311335653871082934821774089629508377436605/27851458092015\ 235205589723026689579077278222741852*c_1001_5 + 610377223628819274614554643767795939836717601885653/139257290460076\ 17602794861513344789538639111370926, c_0110_4 + 6068961032591367670295672195558473966943219116995602483/2228\ 11664736121881644717784213516632618225781934816*c_1001_5^31 - 39336988626206286176586025101450812412817430485760350781/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^30 + 161047022692770966157465937661491183305801698766017071543/222811664\ 736121881644717784213516632618225781934816*c_1001_5^29 - 103566842857554057827026520246475532379601677752446186721/557029161\ 84030470411179446053379158154556445483704*c_1001_5^28 + 658241868897752343041009889903104564293443890152457205709/222811664\ 736121881644717784213516632618225781934816*c_1001_5^27 - 208759255941362802875667843392668413781636551491191600165/111405832\ 368060940822358892106758316309112890967408*c_1001_5^26 - 844684337300355828641221886304657532418231689335801187791/222811664\ 736121881644717784213516632618225781934816*c_1001_5^25 + 2601858908481771194852639874901701659488718756793506797649/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^24 - 1563486261503663063454963145835440784924990261886349685025/11140583\ 2368060940822358892106758316309112890967408*c_1001_5^23 + 997847202693565111332012372594107074420243876384416596955/222811664\ 736121881644717784213516632618225781934816*c_1001_5^22 + 1437978495085646893404676778719029523617950084055484645821/11140583\ 2368060940822358892106758316309112890967408*c_1001_5^21 - 2325138952267977111851146612701142570900721090242652816745/11140583\ 2368060940822358892106758316309112890967408*c_1001_5^20 + 767210954474672624599332603341344255886030120851825517529/557029161\ 84030470411179446053379158154556445483704*c_1001_5^19 + 10668083079557881817686652002126630533916297839978831409/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^18 - 3347588745151204298150166800433817699899871542969418575501/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^17 + 840703787415612046304280072484105183287111707500661826099/111405832\ 368060940822358892106758316309112890967408*c_1001_5^16 - 85613076980245154566302505578317060306415303625848115074/6962864523\ 003808801397430756672394769319555685463*c_1001_5^15 - 1318302039932778119251371414260392140459336461025968441701/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^14 + 834886801699505717209802178853992306054171644455176858061/222811664\ 736121881644717784213516632618225781934816*c_1001_5^13 - 581466959552128124670347268595237526856594776509834123109/222811664\ 736121881644717784213516632618225781934816*c_1001_5^12 + 376806926412960943290218302833146255098522348665380591455/222811664\ 736121881644717784213516632618225781934816*c_1001_5^11 - 116471624076080089464152973774108773078582943180541180725/222811664\ 736121881644717784213516632618225781934816*c_1001_5^10 - 45761558749719968543300897862788737756371647033925054561/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^9 + 135326477937557572861139777388586651212724805917914849903/222811664\ 736121881644717784213516632618225781934816*c_1001_5^8 - 53743068243110141432188145012205250158103927930703871513/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^7 + 24915982430435380450114246591836250502414395295931744611/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^6 - 8040326892582682077948031216255969060245392723340589879/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^5 - 6866548229848096313665794945364244699840298321595324509/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^4 + 11268393214085521934526104219618004403625587271658335105/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^3 - 88018574444457448630244603656089320934394185697173183/3593736528001\ 965832979319100218010203519770676368*c_1001_5^2 + 2109217691574207837873806907281357542632928487155589287/22281166473\ 6121881644717784213516632618225781934816*c_1001_5 - 401561001273413624680796556790748019160015462293597169/222811664736\ 121881644717784213516632618225781934816, c_1001_0 - 3219429700453843363222728491107063424291933937220359051/4456\ 23329472243763289435568427033265236451563869632*c_1001_5^31 + 20863393945120750419743834591733364774363377465672242855/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^30 - 85402703651277537330101763403848872863606357279377893517/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^29 + 54907196281424890553737638932532578835105194664630842413/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^28 - 348795193972473526990362227752420429231279468331951878383/445623329\ 472243763289435568427033265236451563869632*c_1001_5^27 + 27587734636204077732315422122207923021877318861948848003/5570291618\ 4030470411179446053379158154556445483704*c_1001_5^26 + 449077027069880200113425618461799141580174195958564431813/445623329\ 472243763289435568427033265236451563869632*c_1001_5^25 - 1380582084452690559653064991199628174387881173872624272345/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^24 + 828684472241357631435137462797703369079085264790855608033/222811664\ 736121881644717784213516632618225781934816*c_1001_5^23 - 525854567392235115949330362965397488393380706789912710199/445623329\ 472243763289435568427033265236451563869632*c_1001_5^22 - 95601961238712797202021911101549449907386136640862409841/2785145809\ 2015235205589723026689579077278222741852*c_1001_5^21 + 1234316550755897593314444052848235243026638733431029053817/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^20 - 813074168934512419303613819953095581084988700118879215941/222811664\ 736121881644717784213516632618225781934816*c_1001_5^19 - 7795837240049100592699005666603651169506024582297408189/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^18 + 1780026247707354487845842702733605916737173274890161731543/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^17 - 223354216018017874235842329074242377973091465916567847479/111405832\ 368060940822358892106758316309112890967408*c_1001_5^16 + 726490505979059551413663645110973918592409780397582987169/222811664\ 736121881644717784213516632618225781934816*c_1001_5^15 + 702047014485561787296858864246660506612483029062364151979/445623329\ 472243763289435568427033265236451563869632*c_1001_5^14 - 444483266047062228605190806195396400782751986601570546749/445623329\ 472243763289435568427033265236451563869632*c_1001_5^13 + 309565800852687330228981404099214216914296288241201289613/445623329\ 472243763289435568427033265236451563869632*c_1001_5^12 - 199848611968747224951103447708314862917373272220762041213/445623329\ 472243763289435568427033265236451563869632*c_1001_5^11 + 61501924180908105932400799312490321638964831448642870687/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^10 + 24512020005846997780816401164872619845130245091344827741/2228116647\ 36121881644717784213516632618225781934816*c_1001_5^9 - 72133603716964852262715483432519339904547855152044178053/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^8 + 14298646795846215095432017989263117722884472213283296503/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^7 - 6617828594860964795100913881789467233413580173465189263/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^6 + 4233963192622205807215609915806675656091545060941429889/44562332947\ 2243763289435568427033265236451563869632*c_1001_5^5 + 3666551515716822049058248273839562184138023456802046459/22281166473\ 6121881644717784213516632618225781934816*c_1001_5^4 - 6011116790871517284182006023851200966132941750080366495/44562332947\ 2243763289435568427033265236451563869632*c_1001_5^3 + 23484964469648016619499727999337223173133199533837833/3593736528001\ 965832979319100218010203519770676368*c_1001_5^2 - 1124566044644216755386172736430245845450123067743638525/44562332947\ 2243763289435568427033265236451563869632*c_1001_5 + 214343861852915063295530863792683742814452340878382681/445623329472\ 243763289435568427033265236451563869632, c_1001_1 + 9313169041470884079278133362735453191730182365883868299/4456\ 23329472243763289435568427033265236451563869632*c_1001_5^31 - 60320669801419517091124947778918628588142973009062830041/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^30 + 246819663673617260351942883385986166499076538794914862681/445623329\ 472243763289435568427033265236451563869632*c_1001_5^29 - 317163577740611216763104618843114451017298271496513904351/222811664\ 736121881644717784213516632618225781934816*c_1001_5^28 + 1006126576860389946017064363141703587862841198753653449793/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^27 - 158273313743943633372126961979239860579367345955519836025/111405832\ 368060940822358892106758316309112890967408*c_1001_5^26 - 1304786784118260894275420255381972641765932003868750777641/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^25 + 3993121725873229196721724077111455877488575151385886706795/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^24 - 2390410139886502987273582419499739629055700425035550006317/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^23 + 1496772005711154934726570101936844026797162277407345141547/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^22 + 2222757443396496420998333207098124423843429553197494588369/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^21 - 1785143116468784822789099003136633126956801306065432802857/11140583\ 2368060940822358892106758316309112890967408*c_1001_5^20 + 585285831936446328976872755107618961689626525611928081683/557029161\ 84030470411179446053379158154556445483704*c_1001_5^19 + 2258724004217872985716007658031529286934642387537966547/13925729046\ 007617602794861513344789538639111370926*c_1001_5^18 - 5166306658381834822925448184003501391254511811950087979705/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^17 + 322525943574934798630340415565449251498539091796736214287/557029161\ 84030470411179446053379158154556445483704*c_1001_5^16 - 2097775169092031607892166405297444229359470798093879057851/22281166\ 4736121881644717784213516632618225781934816*c_1001_5^15 - 2048362794961623370573246297682731568158170824487946540603/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^14 + 1289901646405847736571392185575396776861896652256475022895/44562332\ 9472243763289435568427033265236451563869632*c_1001_5^13 - 894961951093793051271553727596570577581750115346494169085/445623329\ 472243763289435568427033265236451563869632*c_1001_5^12 + 577117741107044437363177023556860248916339679651974199979/445623329\ 472243763289435568427033265236451563869632*c_1001_5^11 - 175568597914031309573951829353815009487917549113946870939/445623329\ 472243763289435568427033265236451563869632*c_1001_5^10 - 35940071208108709651958154790234605684798383255283542941/1114058323\ 68060940822358892106758316309112890967408*c_1001_5^9 + 209644217144086135822013993659335213433355979728625682603/445623329\ 472243763289435568427033265236451563869632*c_1001_5^8 - 10352303186540728342573225826791197978156815224948744957/2785145809\ 2015235205589723026689579077278222741852*c_1001_5^7 + 9547652086687181310809581154878862142923481811860857519/55702916184\ 030470411179446053379158154556445483704*c_1001_5^6 - 12000785014036310265557807616406360980135333185607101989/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^5 - 5346685624888263679538064312546315249983992504141219635/11140583236\ 8060940822358892106758316309112890967408*c_1001_5^4 + 17449791167470053273277450012461261872013502698118498697/4456233294\ 72243763289435568427033265236451563869632*c_1001_5^3 - 4252485928458194825587553438416392278048909445666432/22460853300012\ 2864561207443763625637719985667273*c_1001_5^2 + 3256588558662596564289078695162931348791638214971285657/44562332947\ 2243763289435568427033265236451563869632*c_1001_5 - 619261647985350590998253490915372184533220405544977107/445623329472\ 243763289435568427033265236451563869632, c_1001_5^32 - 108/19*c_1001_5^31 + 406/19*c_1001_5^30 - 895/19*c_1001_5^29 + 1027/19*c_1001_5^28 + 335/19*c_1001_5^27 - 3685/19*c_1001_5^26 + 6036/19*c_1001_5^25 - 3297/19*c_1001_5^24 - 4675/19*c_1001_5^23 + 11487/19*c_1001_5^22 - 7378/19*c_1001_5^21 - 1992/19*c_1001_5^20 + 7716/19*c_1001_5^19 - 10421/19*c_1001_5^18 - 3091/19*c_1001_5^17 - 4390/19*c_1001_5^16 - 10965/19*c_1001_5^15 - 686/19*c_1001_5^14 + 256/19*c_1001_5^13 - 272/19*c_1001_5^12 + 574/19*c_1001_5^11 - 577/19*c_1001_5^10 + 195/19*c_1001_5^9 + 1/19*c_1001_5^8 - 112/19*c_1001_5^7 + 99/19*c_1001_5^6 - 63/19*c_1001_5^5 + 1/19*c_1001_5^4 + 11/19*c_1001_5^3 - 7/19*c_1001_5^2 + 4/19*c_1001_5 - 1/19, c_1010_8 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.530 Total time: 0.740 seconds, Total memory usage: 32.09MB