Magma V2.19-8 Wed Aug 21 2013 00:55:13 on localhost [Seed = 829893443] Type ? for help. Type -D to quit. Loading file "L13a2996__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2996 geometric_solution 11.36643230 oriented_manifold CS_known 0.0000000000000003 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 0 1 1 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 -1 0 1 0 0 -1 1 6 -1 0 -5 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.441772171878 0.924276549719 0 0 5 4 0132 1302 0132 0132 1 1 0 1 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 1 0 0 0 0 0 0 -1 0 1 -6 5 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.579044014150 0.880724887062 6 0 8 7 0132 0132 0132 0132 0 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 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 0 0.961601331953 0.717323690884 9 7 6 0 0132 1023 1023 0132 0 1 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 -4 0 4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.346000654475 0.381543326835 9 10 1 10 2103 0132 0132 3012 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 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.357129200916 1.105433127141 11 11 10 1 0132 1230 1302 0132 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 1 -1 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 1.004866062603 1.139524327535 2 8 3 10 0132 3120 1023 0213 1 0 1 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 1 0 0 -1 0 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.195148760033 1.708866281637 3 12 2 12 1023 0132 0132 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.134171367175 0.493869461187 9 6 11 2 3201 3120 0213 0132 0 0 1 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 -4 3 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.271702388875 0.791690330617 3 11 4 8 0132 1302 2103 2310 1 1 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 4 -4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.837220109845 0.972449973035 5 4 4 6 2031 0132 1230 0213 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 0 0 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 0 0 0 0.788364454384 1.222619772439 5 8 5 9 0132 0213 3012 2031 0 1 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 0 0 0 0 0 0 0 0 -3 -1 4 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.564667300190 0.493669973011 7 7 12 12 3201 0132 2031 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602535117358 0.238704319564 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : negation(d['c_0101_10']), 'c_1001_12' : negation(d['c_0110_12']), 'c_1001_5' : negation(d['c_0101_2']), 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_12']), 'c_1001_6' : negation(d['c_0011_11']), 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_12']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : negation(d['c_0011_10']), 'c_1001_8' : d['c_0011_11'], 'c_1010_12' : negation(d['c_0101_12']), 'c_1010_11' : d['c_0011_12'], 'c_1010_10' : d['c_1001_4'], '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'], 'c_0101_12' : d['c_0101_12'], 'c_0101_11' : d['c_0101_1'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_0101_10'], 'c_1100_7' : d['c_0011_12'], 'c_1100_6' : d['c_1001_4'], 'c_1100_1' : d['c_0101_10'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : d['c_0011_12'], 's_3_11' : d['1'], 'c_1100_9' : d['c_0011_8'], 'c_1100_11' : d['c_0101_2'], 'c_1100_10' : negation(d['c_0011_8']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0110_12']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_10']), 'c_1010_3' : negation(d['c_0101_12']), 'c_1010_2' : negation(d['c_0101_12']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : negation(d['c_0101_2']), 'c_1010_8' : negation(d['c_0011_0']), 'c_1100_8' : d['c_0011_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_12'], '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_12'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_12']), 'c_0011_6' : d['c_0011_0'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_12']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0011_10']), 'c_0110_10' : negation(d['c_0101_2']), 'c_0110_12' : d['c_0110_12'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_2'], '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_11'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_2'], '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_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0011_8']), 'c_0110_7' : negation(d['c_0101_12']), 'c_0110_6' : d['c_0101_2'], 's_2_9' : d['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_8, c_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_2, c_0101_6, c_0110_12, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 23 Groebner basis: [ t - 33565921086485301823022882979478320605236570436705187041585278679/3\ 6024557222656100307269243054338341136587616243123234811462397952*c_\ 1001_4^22 - 1563920980377323988869995816111416279262840900433949554\ 03605060259/3602455722265610030726924305433834113658761624312323481\ 1462397952*c_1001_4^21 - 237251519194330563663413321449311280584993\ 475509545361730986317999/360245572226561003072692430543383411365876\ 16243123234811462397952*c_1001_4^20 - 332726787539530933489745834232980884215039989543497655081769343457/\ 9006139305664025076817310763584585284146904060780808702865599488*c_\ 1001_4^19 - 8906746906579622147611640536311844537787598182843781865\ 11310873181/9006139305664025076817310763584585284146904060780808702\ 865599488*c_1001_4^18 - 3434742723788448587833437385609068555752634\ 40545982273477374934169/4503069652832012538408655381792292642073452\ 030390404351432799744*c_1001_4^17 - 198883936424864270342288392405605586442239953566456615034915139841/\ 18012278611328050153634621527169170568293808121561617405731198976*c\ _1001_4^16 + 361667120191937440289979155301457079907883952443946760\ 6392656548945/45030696528320125384086553817922926420734520303904043\ 51432799744*c_1001_4^15 + 48687652048501478065365095459614029609878\ 41713990264709068993731143/9006139305664025076817310763584585284146\ 904060780808702865599488*c_1001_4^14 + 9933545163660659250777841483470902869504631829230313316642699297743\ /4503069652832012538408655381792292642073452030390404351432799744*c\ _1001_4^13 - 126162395489473657184934410861662336968508433779651494\ 66060193875499/9006139305664025076817310763584585284146904060780808\ 702865599488*c_1001_4^12 + 3951074639359731037535271974455605976503\ 154687809332375273596775531/225153482641600626920432769089614632103\ 6726015195202175716399872*c_1001_4^11 + 3245887583968908918564022943026762725357819969804785178044532826896\ 5/4503069652832012538408655381792292642073452030390404351432799744*\ c_1001_4^10 - 49022992605307125822952613824948579684324273848840339\ 873441304983213/450306965283201253840865538179229264207345203039040\ 4351432799744*c_1001_4^9 + 8815827431823230653616349278706646160582\ 7446297496844410873175767903/45030696528320125384086553817922926420\ 73452030390404351432799744*c_1001_4^8 + 67563113811354757114863554348047923225117170048074215768306347333/3\ 5180231662750097956317620170252286266198843987425033995568748*c_100\ 1_4^7 + 20752859408328284911496784795533991828152566841652805032201\ 7233591/11257674132080031346021638454480731605183630075976010878581\ 99936*c_1001_4^6 + 217291101835439911241373190719844275700844327848\ 07416849556994502667/1125767413208003134602163845448073160518363007\ 597601087858199936*c_1001_4^5 + 58423569885455003173660067698355990\ 03234565976102423902831989915873/1125767413208003134602163845448073\ 160518363007597601087858199936*c_1001_4^4 + 1170400607720382042649719860675181893139636309679280151105366705941\ 9/562883706604001567301081922724036580259181503798800543929099968*c\ _1001_4^3 + 2431258360208699363393351424224430157650184626832702616\ 1137500855653/11257674132080031346021638454480731605183630075976010\ 87858199936*c_1001_4^2 + 815926750797801547813269786930404414697961\ 6611607041208360919669341/11257674132080031346021638454480731605183\ 63007597601087858199936*c_1001_4 + 2364467733185535594247106385256919664446231495018661508890214118889\ /1125767413208003134602163845448073160518363007597601087858199936, c_0011_0 - 1, c_0011_10 - 1167785538942644761335110573654292244201674568555/843416182\ 6402297294700909365688061901101998598335213*c_1001_4^22 - 73092420064518468210662604949904435170494290993837/1349465892224367\ 56715214549851008990417631977573363408*c_1001_4^21 - 70029764667255529300879604790674339566157325107195/1349465892224367\ 56715214549851008990417631977573363408*c_1001_4^20 - 327637114038163498278922024507162059065947454225393/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^19 - 1443045457845556989302793810660276253565606906165311/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^18 - 145181752198720551667008789851372271425999633238959/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^17 + 164517860374655566651533698124931109160955028938293/337366473056091\ 89178803637462752247604407994393340852*c_1001_4^16 + 1014776488385930378276215979501780221186746909296597/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^15 - 421457989146978198907244534444207307311600715099941/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^14 + 4859372834471630570631056646594379628080777100089939/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^13 - 30333472355188753981949588309066481254265334833309875/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 + 14879270238430207464571715781292258774381536963170969/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^11 + 27562208510948105449736035501751378980243507317694939/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^10 - 20188311591213159834911337046669944706574825925980244/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^9 + 146910406865203307548362884759886504354900896036906671/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 - 19038583197257508635769094515281060201098922198221115/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^7 + 1690698818877878695031375536248014034193085608809317/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^6 + 48954675760584532779772213882532203409123804006607835/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^5 - 12863295406783050848376916598708913009667016341639251/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^4 + 25559430292443384077598160827407937151116931081205298/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 + 7625181320463005106948600073340294443231757894785375/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^2 - 2832227500438823702850875235641883142965541492823332/84341618264022\ 97294700909365688061901101998598335213*c_1001_4 - 1200095507624714637907378351757571703665989119010675/84341618264022\ 97294700909365688061901101998598335213, c_0011_11 - 3486144077156482502214033879681010216253593740655/337366473\ 05609189178803637462752247604407994393340852*c_1001_4^22 - 40761787169830322748373933251002511415389436995739/1349465892224367\ 56715214549851008990417631977573363408*c_1001_4^21 - 1988924150862024773230652158749083099273828671421/13494658922243675\ 6715214549851008990417631977573363408*c_1001_4^20 - 456872153502091337642745521025329119517739387527659/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^19 - 633719139645640011843124520997996550239014282477971/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^18 + 784986723696789739769260563710692386654821918814299/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^17 + 120936947621357374576491967807521597637467128367485/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^16 + 5509704388898602603275269596246130509875618672450307/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^15 - 6462073647375944032804020249791382009178619627934101/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 + 16644047113163803435041350203927118177884046347521425/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^13 - 8577101502216301649569616600910746201795134113793631/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^12 + 6412152092952042616837906208540142638138333757265982/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^11 + 8969979318223863545444298951179122617874773728628323/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^10 - 79966888450201976114378108609687917874694531052183633/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^9 + 172260985963458490549753114260734528430111288738695135/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 - 84902038666504506962696018203131686870153309443335985/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^7 + 37667810724166702935611962005580208194792749370634851/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^6 + 32739280127188857986320936891899834924526210806189911/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^5 - 50228969217579222800050959765172275120481049967757709/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^4 + 29257954964103622763376394915572169889432601069884416/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 - 13620569176867756163928787574184119693780632670555369/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^2 - 5073078856765536361037230178691971016647178118943241/84341618264022\ 97294700909365688061901101998598335213*c_1001_4 + 5331355941514900911138781240722712396609754287124229/84341618264022\ 97294700909365688061901101998598335213, c_0011_12 + 34800367733813934833286665452445580935845390352649/13494658\ 9222436756715214549851008990417631977573363408*c_1001_4^22 + 31984872372122136966983875875065768764661279998955/3373664730560918\ 9178803637462752247604407994393340852*c_1001_4^21 + 97557898899940508782094860002392134765208286128493/1349465892224367\ 56715214549851008990417631977573363408*c_1001_4^20 + 593346631652301867118539004785820544676733714731069/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^19 + 1203193691035138906870389286209605107924351405143263/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^18 - 354084892006641435845531064668374502242489460898369/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^17 - 1309218690186929696033579196531048171778294178797789/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^16 - 3706671396964877105229585958270738188243788957199847/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^15 + 4733183800103063708948079041510487894841400720036763/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 - 17971338933034422906721108916479443756608105463684165/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^13 + 64635281410651483018809009651980484444022036595450421/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 - 35821501399295502972896352477715420574989922553233789/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^11 - 22802630806364316929611294472112433396379134425693635/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^10 + 39876022846789155111272086163977111237952101217674675/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^9 - 302522800651097944814715611486538286909471910231937257/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 + 96523209348578061781741032291504064293514341673960441/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^7 - 26446613952171848326657947970229261743188635073429119/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^6 - 77644690559755018865760892423676636558373781747893293/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^5 + 55619238148263981377158513225306110589473582728360559/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^4 - 46174251064068579852896622018456674113317106487118559/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 - 1105464510218164241938336570757256094119370611564489/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^2 + 15521021818347678340925779656070212888561015736857243/8434161826402\ 297294700909365688061901101998598335213*c_1001_4 + 3348371083691775365984570036410370291199736361365421/84341618264022\ 97294700909365688061901101998598335213, c_0011_8 - 41751948866898026453937317889052006778558349309229/134946589\ 222436756715214549851008990417631977573363408*c_1001_4^22 - 157146617991124613734684799854272948168637309521513/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^21 - 64670043230964393991036602284388537847771115480927/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^20 - 1430424444617018818033881060011037748484119852149613/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^19 - 3000347485673269385678211505865764234867741086760745/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^18 + 124755692957358189054427165984998491158160459240593/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^17 + 853894683184530928572433241032025415721353715281307/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^16 + 2252283275561036386604302359619611515887604343682988/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^15 - 3722273315497208448796726649580459694661828430994077/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 + 42260845388286466650842106658474332655755900870736451/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^13 - 73404310128222918495165209308586628806590126929886825/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 + 18419732020320509269221802681977986653375295987325415/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^11 + 59686734093401289413805426992698673337414907347405867/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^10 - 194799758686811903443200327915669433507108778077708465/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^9 + 175570270911069162635643695043813679604073591583914759/168683236528\ 04594589401818731376123802203997196670426*c_1001_4^8 - 102272653972941203308499053440730491155074335124210661/168683236528\ 04594589401818731376123802203997196670426*c_1001_4^7 + 8858474703093482282205866179624894103528298172673021/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^6 + 126504267197734080375826434005973846922023472272950565/168683236528\ 04594589401818731376123802203997196670426*c_1001_4^5 - 97213378276478220026504250462326404052403967613932419/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^4 + 61354472133720127521397537735515924839515386448828956/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 + 13506020437187973851972885907670109744078009693541263/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^2 - 26876353142921680917549130517234502510003501716650238/8434161826402\ 297294700909365688061901101998598335213*c_1001_4 + 2490571342026218496862792113037549760411194064029406/84341618264022\ 97294700909365688061901101998598335213, c_0101_0 - 31924085787549062977830558182052963588201671365071/134946589\ 222436756715214549851008990417631977573363408*c_1001_4^22 - 59165428483351151501261837082046844257157992492343/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^21 - 47942496984641124883808121305677597322492424604853/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^20 - 1098761767320854714494154779998065585105364715942109/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^19 - 1115620240743796365142526735448151364998352515760605/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^18 + 48261789088819323995094483051926043674048925719523/3373664730560918\ 9178803637462752247604407994393340852*c_1001_4^17 + 568394832538225636137522117221701878726424864815125/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^16 + 6922688866433254665476042695974859816160101484213677/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^15 - 3649786096743948418898317237702246929012250449358129/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 + 4251168215375700271157585295395910362036993496613745/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^13 - 60006589636353192647446952050002992010985831011097507/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 + 32458827062881665140405169481997305660631963171197165/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^11 + 19449632949396228042344729565468482885600891426865781/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^10 - 142835726906611727059129711604047778290606123562101895/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^9 + 276548024132181353206647825745086287001751481123287053/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 - 48269313927107433793603107322824850776184746508001989/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^7 + 35469045912150648792842361053758527614969549453190537/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^6 + 34577074917807713441699964605998369010503811712810234/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^5 - 28770162060979222322756672240912011147855325338896274/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^4 + 48847649719036108986178745241204578026941683629953659/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 + 630633185571570905103239636419068121602920394092386/843416182640229\ 7294700909365688061901101998598335213*c_1001_4^2 - 21273773846961588974074339865912715071034744066838228/8434161826402\ 297294700909365688061901101998598335213*c_1001_4 - 1583934997847607803119794750535734124091308120249073/84341618264022\ 97294700909365688061901101998598335213, c_0101_1 - 1, c_0101_10 - 31924085787549062977830558182052963588201671365071/13494658\ 9222436756715214549851008990417631977573363408*c_1001_4^22 - 59165428483351151501261837082046844257157992492343/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^21 - 47942496984641124883808121305677597322492424604853/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^20 - 1098761767320854714494154779998065585105364715942109/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^19 - 1115620240743796365142526735448151364998352515760605/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^18 + 48261789088819323995094483051926043674048925719523/3373664730560918\ 9178803637462752247604407994393340852*c_1001_4^17 + 568394832538225636137522117221701878726424864815125/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^16 + 6922688866433254665476042695974859816160101484213677/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^15 - 3649786096743948418898317237702246929012250449358129/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 + 4251168215375700271157585295395910362036993496613745/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^13 - 60006589636353192647446952050002992010985831011097507/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 + 32458827062881665140405169481997305660631963171197165/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^11 + 19449632949396228042344729565468482885600891426865781/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^10 - 142835726906611727059129711604047778290606123562101895/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^9 + 276548024132181353206647825745086287001751481123287053/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 - 48269313927107433793603107322824850776184746508001989/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^7 + 35469045912150648792842361053758527614969549453190537/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^6 + 34577074917807713441699964605998369010503811712810234/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^5 - 28770162060979222322756672240912011147855325338896274/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^4 + 48847649719036108986178745241204578026941683629953659/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 + 630633185571570905103239636419068121602920394092386/843416182640229\ 7294700909365688061901101998598335213*c_1001_4^2 - 12839612020559291679373430500224653169932745468503015/8434161826402\ 297294700909365688061901101998598335213*c_1001_4 - 1583934997847607803119794750535734124091308120249073/84341618264022\ 97294700909365688061901101998598335213, c_0101_12 - 31924085787549062977830558182052963588201671365071/13494658\ 9222436756715214549851008990417631977573363408*c_1001_4^22 - 59165428483351151501261837082046844257157992492343/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^21 - 47942496984641124883808121305677597322492424604853/6747329461121837\ 8357607274925504495208815988786681704*c_1001_4^20 - 1098761767320854714494154779998065585105364715942109/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^19 - 1115620240743796365142526735448151364998352515760605/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^18 + 48261789088819323995094483051926043674048925719523/3373664730560918\ 9178803637462752247604407994393340852*c_1001_4^17 + 568394832538225636137522117221701878726424864815125/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^16 + 6922688866433254665476042695974859816160101484213677/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^15 - 3649786096743948418898317237702246929012250449358129/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 + 4251168215375700271157585295395910362036993496613745/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^13 - 60006589636353192647446952050002992010985831011097507/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 + 32458827062881665140405169481997305660631963171197165/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^11 + 19449632949396228042344729565468482885600891426865781/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^10 - 142835726906611727059129711604047778290606123562101895/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^9 + 276548024132181353206647825745086287001751481123287053/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 - 48269313927107433793603107322824850776184746508001989/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^7 + 35469045912150648792842361053758527614969549453190537/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^6 + 34577074917807713441699964605998369010503811712810234/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^5 - 28770162060979222322756672240912011147855325338896274/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^4 + 48847649719036108986178745241204578026941683629953659/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 + 630633185571570905103239636419068121602920394092386/843416182640229\ 7294700909365688061901101998598335213*c_1001_4^2 - 12839612020559291679373430500224653169932745468503015/8434161826402\ 297294700909365688061901101998598335213*c_1001_4 - 1583934997847607803119794750535734124091308120249073/84341618264022\ 97294700909365688061901101998598335213, c_0101_2 - 27815704863667052401809773356847204788931738597647/134946589\ 222436756715214549851008990417631977573363408*c_1001_4^22 - 112755578412281491258723200947739475036773951754061/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^21 - 113253769949323576323352809856699940003140396524935/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^20 - 967780295401537173134055535214324730805759309324657/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^19 - 2277119096314955294780234219081546191309242551205039/13494658922243\ 6756715214549851008990417631977573363408*c_1001_4^18 - 326463444671981495483895571567721427645124395229947/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^17 + 331664424023991821002459279366994265469171618768169/337366473056091\ 89178803637462752247604407994393340852*c_1001_4^16 + 12012057116284460339038326292855390628188980342503951/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^15 + 757757690976160127859603052266846224693851189170083/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^14 + 13029035777366605596957929326275438644962475476363483/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^13 - 39268039450655488643897943399331111344061670639277511/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 + 8419220225245088486466616594376142723550177146499577/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^11 + 25791712018668476064674164617370405771627778805798447/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^10 - 30234396161843121221905897979316680031058556870894463/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^9 + 95207583378948358288242498343094886546075549452362727/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^8 - 26662112516321504289592611750046688918344467097195907/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^7 - 15582830433131040295114669685066017898892025756475328/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^6 + 45629073369194803473579878353669522743398917618919075/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^5 - 34295072758026787768629736771366060897163463605216251/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^4 + 29814923145063491017968175185617436461592315759721751/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 + 22588759165337987211448263441742431833846492334843909/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^2 - 16110695277019762253544730486287228657045236854947841/8434161826402\ 297294700909365688061901101998598335213*c_1001_4 - 250269837939877098361537196128193726610223164379760/843416182640229\ 7294700909365688061901101998598335213, c_0101_6 - 12451817351012648357372027998373384983967377599147/134946589\ 222436756715214549851008990417631977573363408*c_1001_4^22 - 2423177292198434752016263551355711910498499678837/84341618264022972\ 94700909365688061901101998598335213*c_1001_4^21 - 7758298977671685702517184434076519906125370264409/13494658922243675\ 6715214549851008990417631977573363408*c_1001_4^20 - 101252361570125058751823292622889827830758981033595/337366473056091\ 89178803637462752247604407994393340852*c_1001_4^19 - 160261038334415786295236557428110395015267687604947/337366473056091\ 89178803637462752247604407994393340852*c_1001_4^18 + 626588631874838656635433927230297925913268464842797/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^17 + 296485946442772286074342202553808507630119023312473/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^16 + 2459420463552222394913262592060183756957678957433053/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^15 - 4871334567624105139320964185636137738905422414599949/67473294611218\ 378357607274925504495208815988786681704*c_1001_4^14 + 6621397651477016847281550636927308687862214989004219/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^13 - 13937520248218835490367619800286943197870838991682929/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^12 + 4767748700971127281032877222699634089447332617114970/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^11 + 13415391996558732974288560049969749086062879965260539/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^10 - 70776557106423924655476171687142149401471473780194215/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^9 + 143195093189919689914777789077846485681984413206856535/337366473056\ 09189178803637462752247604407994393340852*c_1001_4^8 - 57185525203337140870291090729248704466196793516493557/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^7 + 17172817158946077298656268718060451691037257125210669/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^6 + 19831849649683633095784928340064123154690421815660757/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^5 - 45437643043453311473395875041949021752499774895050759/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^4 + 21411519376509173324887311352958756593719930191793417/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^3 - 10416360956589506224823791925473994058799722524915736/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^2 - 9940898713740396904608691280223662971200394856530529/84341618264022\ 97294700909365688061901101998598335213*c_1001_4 + 2716679684330197985368662545179075146450170858945411/84341618264022\ 97294700909365688061901101998598335213, c_0110_12 + 4620554361013605295022182434332868059673864749769/134946589\ 222436756715214549851008990417631977573363408*c_1001_4^22 + 11146292240123513155185535672210679186231267042851/1349465892224367\ 56715214549851008990417631977573363408*c_1001_4^21 - 6187130040469214617969263946069655658475814318891/67473294611218378\ 357607274925504495208815988786681704*c_1001_4^20 + 128299258679086950191464886790325811785553811327135/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^19 + 114018432273979499139169956828175726128084582142323/134946589222436\ 756715214549851008990417631977573363408*c_1001_4^18 - 73158003887004934760967240672972500160241306774099/1686832365280459\ 4589401818731376123802203997196670426*c_1001_4^17 - 183998967232421059066172886139194053226051869853579/674732946112183\ 78357607274925504495208815988786681704*c_1001_4^16 - 911738050105966796461615228541377210789911066588229/337366473056091\ 89178803637462752247604407994393340852*c_1001_4^15 + 1535254590103929924253257837122163916198199858413505/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^14 - 1069901158641802385963657210141381807291611960186709/16868323652804\ 594589401818731376123802203997196670426*c_1001_4^13 + 13295838672316909409848118598993064959205390073597487/6747329461121\ 8378357607274925504495208815988786681704*c_1001_4^12 - 1969739789608853926882685973629697592049165493532291/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^11 - 2757826296159869911606453480974608523021761882202705/33736647305609\ 189178803637462752247604407994393340852*c_1001_4^10 + 35893137328295652401672124639401607683097101345563129/3373664730560\ 9189178803637462752247604407994393340852*c_1001_4^9 - 15306334908332862281314771943129372876594318654458556/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^8 + 13745710754138206290460917034306718652423682998490151/8434161826402\ 297294700909365688061901101998598335213*c_1001_4^7 - 1022464678560450359530281393887129870233617760000207/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^6 - 16156289070345190449984674182854153884810654936000045/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^5 + 21639859739884682954420429521231659755231831466893137/1686832365280\ 4594589401818731376123802203997196670426*c_1001_4^4 - 7117689539243593953618212427117890950970414203990179/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^3 + 7143143117241600704244823956280097858065793542698108/84341618264022\ 97294700909365688061901101998598335213*c_1001_4^2 + 4324869426274253656609717151341933680860187988116956/84341618264022\ 97294700909365688061901101998598335213*c_1001_4 - 1561753907896003038999460459221716296205124817486004/84341618264022\ 97294700909365688061901101998598335213, c_1001_4^23 + 4*c_1001_4^22 + 4*c_1001_4^21 + 35*c_1001_4^20 + 80*c_1001_4^19 + 12*c_1001_4^18 - 42*c_1001_4^17 - 870*c_1001_4^16 - 12*c_1001_4^15 - 1988*c_1001_4^14 + 3068*c_1001_4^13 - 2884*c_1001_4^12 - 6472*c_1001_4^11 + 16752*c_1001_4^10 - 28704*c_1001_4^9 + 11848*c_1001_4^8 + 992*c_1001_4^7 - 20352*c_1001_4^6 + 7872*c_1001_4^5 - 18528*c_1001_4^4 - 8480*c_1001_4^3 + 7424*c_1001_4^2 + 2944*c_1001_4 + 1504 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB