Magma V2.19-8 Wed Aug 21 2013 00:55:14 on localhost [Seed = 1064904014] Type ? for help. Type -D to quit. Loading file "L13a2996__sl2_c2.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' : negation(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' : negation(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' : negation(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' : negation(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: 24 Groebner basis: [ t - 1012278398775258461552701652049213931900370187155188939/57448121620\ 5632305297243943663728420500082987905568768*c_1001_4^23 - 1888568861194631320912099809686413064682470700530434657/28724060810\ 2816152648621971831864210250041493952784384*c_1001_4^22 + 2701295419643734157556006719786374578709786832144841129/28724060810\ 2816152648621971831864210250041493952784384*c_1001_4^21 + 3469194316694259276915865646144253748606484812165711543/30235853484\ 506963436697049666512022131583315152924672*c_1001_4^20 + 58783841063703642985051019775953748929176837971969265499/2872406081\ 02816152648621971831864210250041493952784384*c_1001_4^19 + 6431455703489017630124484211781970102408922723077410283/71810152025\ 704038162155492957966052562510373488196096*c_1001_4^18 - 33536482801671943431746941718159897148243170455828173975/2872406081\ 02816152648621971831864210250041493952784384*c_1001_4^17 - 16311933391677246869351994217592178497580008160126902825/3590507601\ 2852019081077746478983026281255186744098048*c_1001_4^16 - 10157719973814347260787366239893647533967909785351417309/7558963371\ 126740859174262416628005532895828788231168*c_1001_4^15 - 80410026878973775950845483303260762701850290984842607225/7181015202\ 5704038162155492957966052562510373488196096*c_1001_4^14 + 193409994272350551575130825309429895215389845417629779569/718101520\ 25704038162155492957966052562510373488196096*c_1001_4^13 + 759748310024454020039315605604019298525329009195476599607/143620304\ 051408076324310985915932105125020746976392192*c_1001_4^12 - 1555479338470515225560345377939587134091380645015548211/89762690032\ 13004770269436619745756570313796686024512*c_1001_4^11 - 512165842406809193925516166640094022697320690506624646877/718101520\ 25704038162155492957966052562510373488196096*c_1001_4^10 - 560722479406681219490485974602963196773087673932907535065/718101520\ 25704038162155492957966052562510373488196096*c_1001_4^9 - 1622304727057274732219565025435593029634092782665878316261/71810152\ 025704038162155492957966052562510373488196096*c_1001_4^8 - 30039988130259047280349990590324864935488895896536585935/2244067250\ 803251192567359154936439142578449171506128*c_1001_4^7 - 201457712399473385656039812662849757256682544636956091325/897626900\ 3213004770269436619745756570313796686024512*c_1001_4^6 - 1078791734956427189698852120246502521386048932939722098079/35905076\ 012852019081077746478983026281255186744098048*c_1001_4^5 - 741684805332445056350236478506317794320550623944474401007/359050760\ 12852019081077746478983026281255186744098048*c_1001_4^4 - 164518702773073974404865547437594449793123407511956155419/179525380\ 06426009540538873239491513140627593372049024*c_1001_4^3 - 52646333544951372611300564520371208455956258046477303677/1795253800\ 6426009540538873239491513140627593372049024*c_1001_4^2 - 7055015134464876597965678248482150868611427418008746711/17952538006\ 426009540538873239491513140627593372049024*c_1001_4 - 1255900627623992053098566095739170354984949963854631385/17952538006\ 426009540538873239491513140627593372049024, c_0011_0 - 1, c_0011_10 - 1517857875250100039036719714470209604727857/480646267971380\ 384258612317912798117606258232*c_1001_4^23 - 10529184237733183701705988393104580536399363/9612925359427607685172\ 24635825596235212516464*c_1001_4^22 + 10299205341946714284968477894375687985391695/4806462679713803842586\ 12317912798117606258232*c_1001_4^21 + 10435015854595663725614471275717446339793167/5059434399698740886932\ 7612411873486063816656*c_1001_4^20 + 291480163096377499420868450526491709941211863/961292535942760768517\ 224635825596235212516464*c_1001_4^19 - 14045826823238645705031261723811820441824557/4806462679713803842586\ 12317912798117606258232*c_1001_4^18 - 378314940134361104751753379936283823705125893/961292535942760768517\ 224635825596235212516464*c_1001_4^17 - 47290087568472108959181914897978632789141590/6008078349642254803232\ 6539739099764700782279*c_1001_4^16 - 13176674825022794076440998736712147094046671/6324292999623426108665\ 951551484185757977082*c_1001_4^15 - 246514113200339678258742137989209806073774593/240323133985690192129\ 306158956399058803129116*c_1001_4^14 + 382700781203768477231054306205389628654067235/600807834964225480323\ 26539739099764700782279*c_1001_4^13 + 4240009216561145255166065572780746844259954413/48064626797138038425\ 8612317912798117606258232*c_1001_4^12 - 317479999438337191223338765258484457807958427/600807834964225480323\ 26539739099764700782279*c_1001_4^11 - 3938334484970081656469303820203997067623950857/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 - 1114587303953875456714292461118679974620399225/12016156699284509606\ 4653079478199529401564558*c_1001_4^9 - 7483582102198222651319919444363542250705730079/24032313398569019212\ 9306158956399058803129116*c_1001_4^8 - 515738381806716373540851906025774427831039184/600807834964225480323\ 26539739099764700782279*c_1001_4^7 - 2001192193577283094165941330363551234376800047/12016156699284509606\ 4653079478199529401564558*c_1001_4^6 - 4520693502351422614631186689935845100450585173/12016156699284509606\ 4653079478199529401564558*c_1001_4^5 - 389297790622347904510822640570664649821152098/600807834964225480323\ 26539739099764700782279*c_1001_4^4 + 794086729754894270187798491176904061212916921/600807834964225480323\ 26539739099764700782279*c_1001_4^3 + 574609945802250699561262939719789043219193553/600807834964225480323\ 26539739099764700782279*c_1001_4^2 + 313220690006554777529643087759484533051992423/600807834964225480323\ 26539739099764700782279*c_1001_4 + 53111377752034786363112421874467586563932946/6008078349642254803232\ 6539739099764700782279, c_0011_11 + 1727968974718362612180235923089734362736093/240323133985690\ 192129306158956399058803129116*c_1001_4^23 + 18809799900626841426587845635959792028542137/9612925359427607685172\ 24635825596235212516464*c_1001_4^22 - 15169928724418715086814191515166871855959947/2403231339856901921293\ 06158956399058803129116*c_1001_4^21 - 21326419981703646785363609293438931971570143/5059434399698740886932\ 7612411873486063816656*c_1001_4^20 - 363082667431660916655181392490326609056672865/961292535942760768517\ 224635825596235212516464*c_1001_4^19 + 158811209069930983441331769206786725189739467/480646267971380384258\ 612317912798117606258232*c_1001_4^18 + 602705394873484106990100458792255023635654495/961292535942760768517\ 224635825596235212516464*c_1001_4^17 + 80364205723070399736104526108100961447933358/6008078349642254803232\ 6539739099764700782279*c_1001_4^16 + 95638475268416671186606039518627900358186767/2529717199849370443466\ 3806205936743031908328*c_1001_4^15 - 105308250869609677207072534786667614062852709/240323133985690192129\ 306158956399058803129116*c_1001_4^14 - 842287800782215262706959048740415721714390920/600807834964225480323\ 26539739099764700782279*c_1001_4^13 - 4601966738566953025715096670661424713462162567/48064626797138038425\ 8612317912798117606258232*c_1001_4^12 + 1115228572317816265231744529961684396948067652/60080783496422548032\ 326539739099764700782279*c_1001_4^11 + 1370568350903853172074891195328545695036878967/60080783496422548032\ 326539739099764700782279*c_1001_4^10 + 1189757131826667209231771008610235263805060417/24032313398569019212\ 9306158956399058803129116*c_1001_4^9 + 16500702883975254794954847059886799198356721259/2403231339856901921\ 29306158956399058803129116*c_1001_4^8 - 1905539188558806696532796360880229153997044987/60080783496422548032\ 326539739099764700782279*c_1001_4^7 + 7655548208176666315953458048572021916959929905/12016156699284509606\ 4653079478199529401564558*c_1001_4^6 + 4634443598323631203833476169744574817772314465/12016156699284509606\ 4653079478199529401564558*c_1001_4^5 - 1570909704686757188587730731815169073203501523/12016156699284509606\ 4653079478199529401564558*c_1001_4^4 - 967752254948271075397748271192618074759804011/600807834964225480323\ 26539739099764700782279*c_1001_4^3 - 609682336761772217275673373335884977396921773/600807834964225480323\ 26539739099764700782279*c_1001_4^2 - 237492494077140099166819627325264808120687897/600807834964225480323\ 26539739099764700782279*c_1001_4 + 58363155192774248619978851774231164791300707/6008078349642254803232\ 6539739099764700782279, c_0011_12 - 478852763018283560339823850170000940629167/2403231339856901\ 92129306158956399058803129116*c_1001_4^23 - 2618544722183738080944418930486142665904853/96129253594276076851722\ 4635825596235212516464*c_1001_4^22 + 6024123452959658277583275757367386509104201/24032313398569019212930\ 6158956399058803129116*c_1001_4^21 + 4735224226444424764499232434844447399039935/50594343996987408869327\ 612411873486063816656*c_1001_4^20 - 53788791804871678840963103428106041997130899/9612925359427607685172\ 24635825596235212516464*c_1001_4^19 - 29479662978719931309991317538069320758933653/1201615669928450960646\ 53079478199529401564558*c_1001_4^18 - 50664608186938730130736610640028860768348105/9612925359427607685172\ 24635825596235212516464*c_1001_4^17 - 14239502766081421269753411103896474880013163/1201615669928450960646\ 53079478199529401564558*c_1001_4^16 - 13608430532839023831811946512051159963761447/2529717199849370443466\ 3806205936743031908328*c_1001_4^15 + 753524525263105150133502699517149443596436083/480646267971380384258\ 612317912798117606258232*c_1001_4^14 + 229468494199460737908256636824434646640334987/600807834964225480323\ 26539739099764700782279*c_1001_4^13 - 323732039393472506401528647445802752407066825/120161566992845096064\ 653079478199529401564558*c_1001_4^12 - 550163599816397610400439036059911893073345013/600807834964225480323\ 26539739099764700782279*c_1001_4^11 + 40344322405594246109309686495579212471890634/6008078349642254803232\ 6539739099764700782279*c_1001_4^10 + 953291870675417326225097555856298853099399085/120161566992845096064\ 653079478199529401564558*c_1001_4^9 - 4090260664165335416468383512084459619929525431/24032313398569019212\ 9306158956399058803129116*c_1001_4^8 + 2054178280981998570904809548526846888115237736/60080783496422548032\ 326539739099764700782279*c_1001_4^7 - 1630616446684347400978219523654485855326445314/60080783496422548032\ 326539739099764700782279*c_1001_4^6 + 1326366771112260330373767992541012167092311517/12016156699284509606\ 4653079478199529401564558*c_1001_4^5 + 1262339364462756304313705834237846717297210573/60080783496422548032\ 326539739099764700782279*c_1001_4^4 - 916897794771108874958954992491219299147669/600807834964225480323265\ 39739099764700782279*c_1001_4^3 - 276034449597574459333593576694503\ 676589694279/60080783496422548032326539739099764700782279*c_1001_4^\ 2 - 148190384737020233917772758250558444579920755/60080783496422548\ 032326539739099764700782279*c_1001_4 - 101841870328040027223748619407657850083529755/600807834964225480323\ 26539739099764700782279, c_0011_8 - 431964827004827908356424327524896578055608/60080783496422548\ 032326539739099764700782279*c_1001_4^23 - 1453066831527499155077950778331400048849301/60080783496422548032326\ 539739099764700782279*c_1001_4^22 + 24564631596962809468146530772414524421617915/4806462679713803842586\ 12317912798117606258232*c_1001_4^21 + 23467180217836807157132998675543349882242699/5059434399698740886932\ 7612411873486063816656*c_1001_4^20 + 619033872028401634280221890190913869525156093/961292535942760768517\ 224635825596235212516464*c_1001_4^19 - 59416475783601506607214437404848692260201195/4806462679713803842586\ 12317912798117606258232*c_1001_4^18 - 846718460333442949329463146022681984378037285/961292535942760768517\ 224635825596235212516464*c_1001_4^17 - 1643972352163635385190366221211254317192566163/96129253594276076851\ 7224635825596235212516464*c_1001_4^16 - 115586243161010974166498124008819331121986323/252971719984937044346\ 63806205936743031908328*c_1001_4^15 - 907438091627916764884381204418145215345380413/480646267971380384258\ 612317912798117606258232*c_1001_4^14 + 7026465302855315232119313107980160676379088259/48064626797138038425\ 8612317912798117606258232*c_1001_4^13 + 1119860811627350387031513958978962324961744000/60080783496422548032\ 326539739099764700782279*c_1001_4^12 - 3283989408140521497866106545224521089055221909/24032313398569019212\ 9306158956399058803129116*c_1001_4^11 - 8630634543910387232670289989858136303755579203/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 - 1073044288135077970670084514350745920855805259/60080783496422548032\ 326539739099764700782279*c_1001_4^9 - 16629707234652953672907795464116487492230295067/2403231339856901921\ 29306158956399058803129116*c_1001_4^8 - 737970308144674980528878761058500947105324215/600807834964225480323\ 26539739099764700782279*c_1001_4^7 - 2312988287583477048013864231599711292347172555/60080783496422548032\ 326539739099764700782279*c_1001_4^6 - 4747348834454062839094682732628394282736686189/60080783496422548032\ 326539739099764700782279*c_1001_4^5 - 1318492481624778922036928286333713746624129207/12016156699284509606\ 4653079478199529401564558*c_1001_4^4 + 1933827519374290863982990705768858771173784766/60080783496422548032\ 326539739099764700782279*c_1001_4^3 + 1072031470077227504434494823574648127782241412/60080783496422548032\ 326539739099764700782279*c_1001_4^2 + 470118567003536457877840063250407612483088389/600807834964225480323\ 26539739099764700782279*c_1001_4 + 107557406679735963540545758345186389145919194/600807834964225480323\ 26539739099764700782279, c_0101_0 - 2491926116439077465585735805787780842041637/9612925359427607\ 68517224635825596235212516464*c_1001_4^23 - 1163146080945906166595355648184282502636921/12016156699284509606465\ 3079478199529401564558*c_1001_4^22 + 7715735795306838176804031592658559350671053/48064626797138038425861\ 2317912798117606258232*c_1001_4^21 + 557357372427516771095515513386008617962982/316214649981171305433297\ 5775742092878988541*c_1001_4^20 + 137584452633172214311128840692054\ 791014659535/480646267971380384258612317912798117606258232*c_1001_4\ ^19 - 3654461303678917783168401703811376411577903/48064626797138038\ 4258612317912798117606258232*c_1001_4^18 - 357103745150180722347874063108974661227426187/961292535942760768517\ 224635825596235212516464*c_1001_4^17 - 41346930925302645624513559025622729321881721/6008078349642254803232\ 6539739099764700782279*c_1001_4^16 - 45760310944201907708736057452452175439337751/2529717199849370443466\ 3806205936743031908328*c_1001_4^15 - 274958695045425385785823496280136326851757057/240323133985690192129\ 306158956399058803129116*c_1001_4^14 + 2618822486960953970638834666806012343943792497/48064626797138038425\ 8612317912798117606258232*c_1001_4^13 + 4112406452841796315558304599033522423116720395/48064626797138038425\ 8612317912798117606258232*c_1001_4^12 - 246126517568443544789308880055468817991189977/600807834964225480323\ 26539739099764700782279*c_1001_4^11 - 3759261129950401052543629707818051474721650047/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 - 2127395999116233928737809907107965663710573969/24032313398569019212\ 9306158956399058803129116*c_1001_4^9 - 6013999169529842314579026873250868605713988015/24032313398569019212\ 9306158956399058803129116*c_1001_4^8 - 1624948517838960183322338895588816603194445719/12016156699284509606\ 4653079478199529401564558*c_1001_4^7 - 878532877364021355215140645840407577674995025/120161566992845096064\ 653079478199529401564558*c_1001_4^6 - 2312303457820529934629579449765985542890768871/60080783496422548032\ 326539739099764700782279*c_1001_4^5 - 389729055861793338319280812546402721620904239/600807834964225480323\ 26539739099764700782279*c_1001_4^4 + 848328287486249379512758437417686832132724097/600807834964225480323\ 26539739099764700782279*c_1001_4^3 + 478420960453699779067904789166953589559496720/600807834964225480323\ 26539739099764700782279*c_1001_4^2 + 173422679456190845396086483044937714729490973/600807834964225480323\ 26539739099764700782279*c_1001_4 + 44317141170704379225948223953964441731883466/6008078349642254803232\ 6539739099764700782279, c_0101_1 - 1, c_0101_10 - 2491926116439077465585735805787780842041637/961292535942760\ 768517224635825596235212516464*c_1001_4^23 - 1163146080945906166595355648184282502636921/12016156699284509606465\ 3079478199529401564558*c_1001_4^22 + 7715735795306838176804031592658559350671053/48064626797138038425861\ 2317912798117606258232*c_1001_4^21 + 557357372427516771095515513386008617962982/316214649981171305433297\ 5775742092878988541*c_1001_4^20 + 137584452633172214311128840692054\ 791014659535/480646267971380384258612317912798117606258232*c_1001_4\ ^19 - 3654461303678917783168401703811376411577903/48064626797138038\ 4258612317912798117606258232*c_1001_4^18 - 357103745150180722347874063108974661227426187/961292535942760768517\ 224635825596235212516464*c_1001_4^17 - 41346930925302645624513559025622729321881721/6008078349642254803232\ 6539739099764700782279*c_1001_4^16 - 45760310944201907708736057452452175439337751/2529717199849370443466\ 3806205936743031908328*c_1001_4^15 - 274958695045425385785823496280136326851757057/240323133985690192129\ 306158956399058803129116*c_1001_4^14 + 2618822486960953970638834666806012343943792497/48064626797138038425\ 8612317912798117606258232*c_1001_4^13 + 4112406452841796315558304599033522423116720395/48064626797138038425\ 8612317912798117606258232*c_1001_4^12 - 246126517568443544789308880055468817991189977/600807834964225480323\ 26539739099764700782279*c_1001_4^11 - 3759261129950401052543629707818051474721650047/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 - 2127395999116233928737809907107965663710573969/24032313398569019212\ 9306158956399058803129116*c_1001_4^9 - 6013999169529842314579026873250868605713988015/24032313398569019212\ 9306158956399058803129116*c_1001_4^8 - 1624948517838960183322338895588816603194445719/12016156699284509606\ 4653079478199529401564558*c_1001_4^7 - 878532877364021355215140645840407577674995025/120161566992845096064\ 653079478199529401564558*c_1001_4^6 - 2312303457820529934629579449765985542890768871/60080783496422548032\ 326539739099764700782279*c_1001_4^5 - 389729055861793338319280812546402721620904239/600807834964225480323\ 26539739099764700782279*c_1001_4^4 + 848328287486249379512758437417686832132724097/600807834964225480323\ 26539739099764700782279*c_1001_4^3 + 478420960453699779067904789166953589559496720/600807834964225480323\ 26539739099764700782279*c_1001_4^2 + 233503462952613393428413022784037479430273252/600807834964225480323\ 26539739099764700782279*c_1001_4 + 44317141170704379225948223953964441731883466/6008078349642254803232\ 6539739099764700782279, c_0101_12 - 2491926116439077465585735805787780842041637/961292535942760\ 768517224635825596235212516464*c_1001_4^23 - 1163146080945906166595355648184282502636921/12016156699284509606465\ 3079478199529401564558*c_1001_4^22 + 7715735795306838176804031592658559350671053/48064626797138038425861\ 2317912798117606258232*c_1001_4^21 + 557357372427516771095515513386008617962982/316214649981171305433297\ 5775742092878988541*c_1001_4^20 + 137584452633172214311128840692054\ 791014659535/480646267971380384258612317912798117606258232*c_1001_4\ ^19 - 3654461303678917783168401703811376411577903/48064626797138038\ 4258612317912798117606258232*c_1001_4^18 - 357103745150180722347874063108974661227426187/961292535942760768517\ 224635825596235212516464*c_1001_4^17 - 41346930925302645624513559025622729321881721/6008078349642254803232\ 6539739099764700782279*c_1001_4^16 - 45760310944201907708736057452452175439337751/2529717199849370443466\ 3806205936743031908328*c_1001_4^15 - 274958695045425385785823496280136326851757057/240323133985690192129\ 306158956399058803129116*c_1001_4^14 + 2618822486960953970638834666806012343943792497/48064626797138038425\ 8612317912798117606258232*c_1001_4^13 + 4112406452841796315558304599033522423116720395/48064626797138038425\ 8612317912798117606258232*c_1001_4^12 - 246126517568443544789308880055468817991189977/600807834964225480323\ 26539739099764700782279*c_1001_4^11 - 3759261129950401052543629707818051474721650047/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 - 2127395999116233928737809907107965663710573969/24032313398569019212\ 9306158956399058803129116*c_1001_4^9 - 6013999169529842314579026873250868605713988015/24032313398569019212\ 9306158956399058803129116*c_1001_4^8 - 1624948517838960183322338895588816603194445719/12016156699284509606\ 4653079478199529401564558*c_1001_4^7 - 878532877364021355215140645840407577674995025/120161566992845096064\ 653079478199529401564558*c_1001_4^6 - 2312303457820529934629579449765985542890768871/60080783496422548032\ 326539739099764700782279*c_1001_4^5 - 389729055861793338319280812546402721620904239/600807834964225480323\ 26539739099764700782279*c_1001_4^4 + 848328287486249379512758437417686832132724097/600807834964225480323\ 26539739099764700782279*c_1001_4^3 + 478420960453699779067904789166953589559496720/600807834964225480323\ 26539739099764700782279*c_1001_4^2 + 233503462952613393428413022784037479430273252/600807834964225480323\ 26539739099764700782279*c_1001_4 + 44317141170704379225948223953964441731883466/6008078349642254803232\ 6539739099764700782279, c_0101_2 - 3246498396915133504485069490119444923295383/4806462679713803\ 84258612317912798117606258232*c_1001_4^23 - 5490203194648875446638784220877734344574547/24032313398569019212930\ 6158956399058803129116*c_1001_4^22 + 5644947168729026446371848475964481507820781/12016156699284509606465\ 3079478199529401564558*c_1001_4^21 + 1158202094996585176074845655868062398810627/26628602103677583615435\ 58547993341371779824*c_1001_4^20 + 594570614429729887834907215236757868539730973/961292535942760768517\ 224635825596235212516464*c_1001_4^19 - 8236779508907632866902181071439193997583973/12016156699284509606465\ 3079478199529401564558*c_1001_4^18 - 767302781352634016881500662817042104582052465/961292535942760768517\ 224635825596235212516464*c_1001_4^17 - 1591721202976045432675839194088963401714647255/96129253594276076851\ 7224635825596235212516464*c_1001_4^16 - 110729095660839422001907805061904971463106865/252971719984937044346\ 63806205936743031908328*c_1001_4^15 - 943126542819831367015631151756652406556381567/480646267971380384258\ 612317912798117606258232*c_1001_4^14 + 6426944600700583708881456951196382160551782113/48064626797138038425\ 8612317912798117606258232*c_1001_4^13 + 4279826439454174758097323865489828150881962903/24032313398569019212\ 9306158956399058803129116*c_1001_4^12 - 1352285031035807266212642442702999789594553623/12016156699284509606\ 4653079478199529401564558*c_1001_4^11 - 7972755957668475463296337317159361313771897221/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 - 4605686432230521786179358514423488263623186951/24032313398569019212\ 9306158956399058803129116*c_1001_4^9 - 16151861784983443691856974609252008164827154819/2403231339856901921\ 29306158956399058803129116*c_1001_4^8 - 1546513679549974356862955574978144541601485319/12016156699284509606\ 4653079478199529401564558*c_1001_4^7 - 2554361053101882246161265549827960946814072230/60080783496422548032\ 326539739099764700782279*c_1001_4^6 - 4348638555883795011683373374359700741377156672/60080783496422548032\ 326539739099764700782279*c_1001_4^5 - 1839755393758757737563720953292122184620968143/12016156699284509606\ 4653079478199529401564558*c_1001_4^4 + 1564624115942864687108597397937736037040657268/60080783496422548032\ 326539739099764700782279*c_1001_4^3 + 1235811783655030552713426575086469093807432974/60080783496422548032\ 326539739099764700782279*c_1001_4^2 + 568507569167943860446753363328100637447262222/600807834964225480323\ 26539739099764700782279*c_1001_4 + 131530003378914831017062206380809450613547880/600807834964225480323\ 26539739099764700782279, c_0101_6 + 4696849147989075604182831817576602644735131/4806462679713803\ 84258612317912798117606258232*c_1001_4^23 + 25594196901436765927374169670155058738702017/9612925359427607685172\ 24635825596235212516464*c_1001_4^22 - 82717866767795821363097570034465732752439409/9612925359427607685172\ 24635825596235212516464*c_1001_4^21 - 7259944938260667804445739502310712849800011/12648585999246852217331\ 903102968371515954164*c_1001_4^20 - 491978335175307863989068113325979752473724061/961292535942760768517\ 224635825596235212516464*c_1001_4^19 + 448611513697129816885090581167204349995636331/961292535942760768517\ 224635825596235212516464*c_1001_4^18 + 415448635572586733891105233515525778783120445/480646267971380384258\ 612317912798117606258232*c_1001_4^17 + 863797393129734783323744200771724093871175159/480646267971380384258\ 612317912798117606258232*c_1001_4^16 + 16194603423707604191766575720523641976439177/3162146499811713054332\ 975775742092878988541*c_1001_4^15 - 300396231661462462540746376056560898404899915/480646267971380384258\ 612317912798117606258232*c_1001_4^14 - 4616748139864301115736105156679929479381638861/24032313398569019212\ 9306158956399058803129116*c_1001_4^13 - 6244221132523393932606097832388859928481519951/48064626797138038425\ 8612317912798117606258232*c_1001_4^12 + 6213379318450344729629922293937242428530214001/24032313398569019212\ 9306158956399058803129116*c_1001_4^11 + 7516733105489148738926748259563070664520759483/24032313398569019212\ 9306158956399058803129116*c_1001_4^10 + 342211700996913514755550931618643601504732719/600807834964225480323\ 26539739099764700782279*c_1001_4^9 + 22255858928545612982358515191741033118661905957/2403231339856901921\ 29306158956399058803129116*c_1001_4^8 - 2545732558021415818784839189329802011705629629/60080783496422548032\ 326539739099764700782279*c_1001_4^7 + 10002674455578255204547408874617789129748474101/1201615669928450960\ 64653079478199529401564558*c_1001_4^6 + 3302029463979497140788299951320737399662548964/60080783496422548032\ 326539739099764700782279*c_1001_4^5 - 2557468994608498449844779664211807497909863279/12016156699284509606\ 4653079478199529401564558*c_1001_4^4 - 1424404423343669587034758168650420386976345065/60080783496422548032\ 326539739099764700782279*c_1001_4^3 - 762638111124578989148337841928696664662374971/600807834964225480323\ 26539739099764700782279*c_1001_4^2 - 317078523105412794112120721864163139961509649/600807834964225480323\ 26539739099764700782279*c_1001_4 + 71349148780434782637919129734708944484482239/6008078349642254803232\ 6539739099764700782279, c_0110_12 + 1372368860028053116445217958665221815017993/480646267971380\ 384258612317912798117606258232*c_1001_4^23 + 8078426845250206643596321764936525476683767/96129253594276076851722\ 4635825596235212516464*c_1001_4^22 - 21611725577111257586932641370232350946435129/9612925359427607685172\ 24635825596235212516464*c_1001_4^21 - 8631683872588579470084325273943379770135571/50594343996987408869327\ 612411873486063816656*c_1001_4^20 - 93600215181112129959628396544356465133088913/4806462679713803842586\ 12317912798117606258232*c_1001_4^19 + 45471996703383722895506312724330836647733137/9612925359427607685172\ 24635825596235212516464*c_1001_4^18 + 224260069428230583758901399608110099360392287/961292535942760768517\ 224635825596235212516464*c_1001_4^17 + 605009135681750900294029930188773540317951221/961292535942760768517\ 224635825596235212516464*c_1001_4^16 + 42963664854180450343003252751692899090809829/2529717199849370443466\ 3806205936743031908328*c_1001_4^15 + 76956746466377768339109180337916484882774061/2403231339856901921293\ 06158956399058803129116*c_1001_4^14 - 309671519595710017800061925513458869852630348/600807834964225480323\ 26539739099764700782279*c_1001_4^13 - 612823212474140175695420529090026339848158173/120161566992845096064\ 653079478199529401564558*c_1001_4^12 + 288934627363258462128832788975345874906750497/600807834964225480323\ 26539739099764700782279*c_1001_4^11 + 572455519650395100948215142554056028827730635/600807834964225480323\ 26539739099764700782279*c_1001_4^10 + 753872474833409929109892831527113304430307183/120161566992845096064\ 653079478199529401564558*c_1001_4^9 + 7334463418523178346186211825249581909267066151/24032313398569019212\ 9306158956399058803129116*c_1001_4^8 - 717705029300683686349985545145926027549536517/120161566992845096064\ 653079478199529401564558*c_1001_4^7 + 3684439316192119602223061826598277904623250341/12016156699284509606\ 4653079478199529401564558*c_1001_4^6 + 2051758380058953210047645969789763659474355743/12016156699284509606\ 4653079478199529401564558*c_1001_4^5 + 608463857912298361400313295123228037741162001/120161566992845096064\ 653079478199529401564558*c_1001_4^4 - 188368446326914981762367321314409130505960131/600807834964225480323\ 26539739099764700782279*c_1001_4^3 - 485467193253139034398442450167651791816396636/600807834964225480323\ 26539739099764700782279*c_1001_4^2 - 276108699258599248847748090879221054287474225/600807834964225480323\ 26539739099764700782279*c_1001_4 - 78385001933603009354338947190468451898869732/6008078349642254803232\ 6539739099764700782279, c_1001_4^24 + 3*c_1001_4^23 - 8*c_1001_4^22 - 61*c_1001_4^21 - 69*c_1001_4^20 + 30*c_1001_4^19 + 98*c_1001_4^18 + 210*c_1001_4^17 + 580*c_1001_4^16 + 92*c_1001_4^15 - 1952*c_1001_4^14 - 1868*c_1001_4^13 + 2172*c_1001_4^12 + 3832*c_1001_4^11 + 1584*c_1001_4^10 + 9840*c_1001_4^9 - 1640*c_1001_4^8 + 7872*c_1001_4^7 + 7824*c_1001_4^6 - 160*c_1001_4^5 - 2640*c_1001_4^4 - 1920*c_1001_4^3 - 1024*c_1001_4^2 - 128*c_1001_4 - 32 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.160 Total time: 0.370 seconds, Total memory usage: 32.09MB