Magma V2.19-8 Tue Aug 20 2013 23:57:31 on localhost [Seed = 3296898068] Type ? for help. Type -D to quit. Loading file "L14n32888__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n32888 geometric_solution 11.11367967 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 12 1 2 1 3 0132 0132 3012 0132 0 0 0 1 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 1 -2 1 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.810783830471 1.133073094801 0 0 5 4 0132 1230 0132 0132 0 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 -1 0 1 0 -1 0 0 1 0 2 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.143382797659 0.858611558879 6 0 5 6 0132 0132 0213 2031 0 0 1 0 0 0 0 0 1 0 -1 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 -2 0 2 0 1 1 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.881554797726 0.755196274227 7 7 0 8 0132 2310 0132 0132 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 -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.356570380354 0.369966091144 9 9 1 7 0132 1302 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 0 0 0 0 0 0 0 1 0 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.794035929421 1.055941357474 10 2 7 1 0132 0213 2310 0132 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 -1 0 1 0 0 1 -1 0 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.258605141958 1.212039611587 2 2 9 8 0132 1302 3012 0213 0 0 0 1 0 0 0 0 -1 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 2 0 -2 0 0 0 0 0 -1 2 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.345765649098 0.560459027104 3 5 4 3 0132 3201 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.732113177272 0.910737045086 10 11 3 6 1230 0132 0132 0213 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -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.440085194601 0.961170805412 4 6 10 4 0132 1230 1230 2031 0 0 1 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.177948968546 0.912312884863 5 8 11 9 0132 3012 1230 3012 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 -2 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.189033387177 0.406271550575 11 8 11 10 2310 0132 3201 3012 0 0 0 0 0 1 -1 0 1 0 -1 0 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 -2 0 2 0 -2 0 0 2 -2 0 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.155283149887 0.665739228006 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : d['c_0011_11'], 'c_1001_5' : d['c_1001_2'], 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : negation(d['c_0101_5']), 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0101_11'], 'c_1001_8' : negation(d['c_0101_1']), 'c_1010_11' : negation(d['c_0101_1']), 'c_1010_10' : negation(d['c_0101_7']), 's_0_10' : negation(d['1']), 's_0_11' : d['1'], 's_2_8' : negation(d['1']), 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0101_1'], 's_2_0' : d['1'], 's_2_1' : negation(d['1']), 's_2_2' : d['1'], 's_2_3' : negation(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' : negation(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' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_0011_11' : d['c_0011_11'], 'c_0011_10' : d['c_0011_10'], 'c_1100_5' : negation(d['c_0011_3']), 'c_1100_4' : negation(d['c_0011_3']), 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : negation(d['c_0101_11']), 'c_1100_1' : negation(d['c_0011_3']), 'c_1100_0' : negation(d['c_1001_1']), 'c_1100_3' : negation(d['c_1001_1']), 'c_1100_2' : d['c_1001_1'], 's_3_11' : negation(d['1']), 'c_1100_11' : negation(d['c_0011_11']), 'c_1100_10' : negation(d['c_0101_11']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_2']), 'c_1010_6' : negation(d['c_1001_1']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : negation(d['c_0101_5']), 'c_1010_3' : negation(d['c_0101_1']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_4'], 'c_1010_8' : negation(d['c_0101_11']), 'c_1100_8' : negation(d['c_1001_1']), 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(d['1']), 's_3_2' : d['1'], 's_3_5' : negation(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' : 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' : negation(d['1']), 'c_0011_9' : negation(d['c_0011_4']), 'c_0011_8' : negation(d['c_0011_11']), 'c_0011_5' : negation(d['c_0011_10']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_3']), '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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : negation(d['c_0101_11']), 'c_0110_10' : d['c_0101_5'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0011_4'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : negation(d['c_0011_10']), 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_7'], 'c_0101_8' : d['c_0101_7'], 's_1_11' : negation(d['1']), 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_0'], 'c_0110_8' : d['c_0011_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_0101_5'], 'c_0110_3' : d['c_0101_7'], 'c_0110_2' : d['c_0011_4'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_7'], 'c_0110_7' : d['c_0101_1'], 'c_0110_6' : negation(d['c_0011_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_3, c_0011_4, c_0101_0, c_0101_1, c_0101_11, c_0101_5, c_0101_7, c_1001_1, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 16 Groebner basis: [ t - 12183575288074594911583214968302074695588485148/4416377435780852864\ 964098951277686378023089465*c_1001_2^15 - 184165536876121768025125540418114047910261694253/124461545917460398\ 92171551589964388883519615765*c_1001_2^14 - 6961271908604867302524239334626782500928556787191/13690770050920643\ 8813887067489608277718715773415*c_1001_2^13 - 6134632416936539708502525131081352196089125815922/45635900169735479\ 604629022496536092572905257805*c_1001_2^12 - 2313148120629431258349328538539635075082342889645/91271800339470959\ 20925804499307218514581051561*c_1001_2^11 - 76967707380090697356894694000008318249794459749/2109517727414583032\ 57144942202786252263044335*c_1001_2^10 - 9694140864317599138737335897566029927568632724892/27381540101841287\ 762777413497921655543743154683*c_1001_2^9 - 579784812159889215895579513756328736519950071051/152119667232451598\ 68209674165512030857635085935*c_1001_2^8 + 24014479030338088804588488362895251439449931813121/4563590016973547\ 9604629022496536092572905257805*c_1001_2^7 + 8337323707234608096932073737104460630076335753857/72056684478529704\ 63888793025768856722037672285*c_1001_2^6 + 215067327249905739159974865553747398836409503465513/136907700509206\ 438813887067489608277718715773415*c_1001_2^5 + 58736984301482348933137058548977424474779145274828/4563590016973547\ 9604629022496536092572905257805*c_1001_2^4 + 24481463787870866393510885436668025987263716314757/4563590016973547\ 9604629022496536092572905257805*c_1001_2^3 + 734135364933257284697116865307757460304925863083/912718003394709592\ 0925804499307218514581051561*c_1001_2^2 + 828489826497700440198207408623111550233936697569/136907700509206438\ 813887067489608277718715773415*c_1001_2 + 13200986198971877619560830958306885674938449797/1369077005092064388\ 13887067489608277718715773415, c_0011_0 - 1, c_0011_10 + 5171670161435130768391435473096/206640355840995027892726456\ 53313*c_1001_2^15 + 15062568361526638465949075399278/20664035584099\ 502789272645653313*c_1001_2^14 + 42566405668601521911778599266774/2\ 0664035584099502789272645653313*c_1001_2^13 + 71951247202761725668822687716857/20664035584099502789272645653313*c\ _1001_2^12 + 42338445974933789097425405066924/206640355840995027892\ 72645653313*c_1001_2^11 - 59133759138405522402381979408941/20664035\ 584099502789272645653313*c_1001_2^10 - 318030212225883719739008188512333/20664035584099502789272645653313*\ c_1001_2^9 - 605540224909844226456493353246489/20664035584099502789\ 272645653313*c_1001_2^8 - 488731632374872296993330841046630/2066403\ 5584099502789272645653313*c_1001_2^7 + 62747400073165783558471480505130/20664035584099502789272645653313*c\ _1001_2^6 + 1066426061552995050140577309978056/20664035584099502789\ 272645653313*c_1001_2^5 + 2263214021629149151368150475739685/206640\ 35584099502789272645653313*c_1001_2^4 + 2271875860932105622169502350559781/20664035584099502789272645653313\ *c_1001_2^3 + 998583004550467809217895999365931/2066403558409950278\ 9272645653313*c_1001_2^2 + 125239074517870841549835194913782/206640\ 35584099502789272645653313*c_1001_2 + 41783624309263243835685884657485/20664035584099502789272645653313, c_0011_11 + 4130480216803692606462833302774020/227304391425094530681999\ 102186443*c_1001_2^15 + 30586976850257727457445478398410835/2273043\ 91425094530681999102186443*c_1001_2^14 + 134400819045520045209771235780464380/227304391425094530681999102186\ 443*c_1001_2^13 + 440750642236800422600847863951540021/227304391425\ 094530681999102186443*c_1001_2^12 + 1129895870219600034363400664633468895/22730439142509453068199910218\ 6443*c_1001_2^11 + 2365143795765796709912942296916723020/2273043914\ 25094530681999102186443*c_1001_2^10 + 4128670114511696466261205098175537722/22730439142509453068199910218\ 6443*c_1001_2^9 + 5986863254092900359339733134169292039/22730439142\ 5094530681999102186443*c_1001_2^8 + 7184729063128034651937981012375587444/22730439142509453068199910218\ 6443*c_1001_2^7 + 7034087641179954394565220908219779739/22730439142\ 5094530681999102186443*c_1001_2^6 + 5320660742214913169206667592587618634/22730439142509453068199910218\ 6443*c_1001_2^5 + 2826200951073357621489690406734801110/22730439142\ 5094530681999102186443*c_1001_2^4 + 933178285406553418434880741782825490/227304391425094530681999102186\ 443*c_1001_2^3 + 171649836200221874047114996903559883/2273043914250\ 94530681999102186443*c_1001_2^2 + 210702833201446305092616582276719\ 71/227304391425094530681999102186443*c_1001_2 + 538139167371578731391827040049849/227304391425094530681999102186443\ , c_0011_3 + 307638261611888320405927385142340/22730439142509453068199910\ 2186443*c_1001_2^15 + 2514120010806533464994073973845127/2273043914\ 25094530681999102186443*c_1001_2^14 + 11551125076061750194880414353339527/2273043914250945306819991021864\ 43*c_1001_2^13 + 39235887584246163408582167833449931/22730439142509\ 4530681999102186443*c_1001_2^12 + 104217444435636394639648172978347\ 377/227304391425094530681999102186443*c_1001_2^11 + 225140342584708754602100223918886124/227304391425094530681999102186\ 443*c_1001_2^10 + 405840861386141902097790072531737643/227304391425\ 094530681999102186443*c_1001_2^9 + 610166003068293809870757829422052268/227304391425094530681999102186\ 443*c_1001_2^8 + 761635146217305394689619346422502252/2273043914250\ 94530681999102186443*c_1001_2^7 + 781842119391961910774744058633043\ 212/227304391425094530681999102186443*c_1001_2^6 + 632973734672186841392964084177593184/227304391425094530681999102186\ 443*c_1001_2^5 + 372981357332467706948942957260729693/2273043914250\ 94530681999102186443*c_1001_2^4 + 144893073123846152503489426993076\ 062/227304391425094530681999102186443*c_1001_2^3 + 33859037083924767175022437399294633/2273043914250945306819991021864\ 43*c_1001_2^2 + 4688472406070691568934611519591109/2273043914250945\ 30681999102186443*c_1001_2 + 69954672809870027401877680252048/22730\ 4391425094530681999102186443, c_0011_4 - 4813340777734643197350084027745424/6819131742752835920459973\ 06559329*c_1001_2^15 - 35939551682795726448001580153841484/68191317\ 4275283592045997306559329*c_1001_2^14 - 157544814006827796880685537261544580/681913174275283592045997306559\ 329*c_1001_2^13 - 171838528252642637446293521888167923/227304391425\ 094530681999102186443*c_1001_2^12 - 439027518402871612671238989664283928/227304391425094530681999102186\ 443*c_1001_2^11 - 2742398719423389211385928162155770076/68191317427\ 5283592045997306559329*c_1001_2^10 - 4756954389273351149452833722704543862/68191317427528359204599730655\ 9329*c_1001_2^9 - 2278998966271861674307737374691600668/22730439142\ 5094530681999102186443*c_1001_2^8 - 2699851513298671209996060325186696251/22730439142509453068199910218\ 6443*c_1001_2^7 - 7785077812501740990101239730013274978/68191317427\ 5283592045997306559329*c_1001_2^6 - 5701539860886068917190854499821710770/68191317427528359204599730655\ 9329*c_1001_2^5 - 939090573328836685231725009656958238/227304391425\ 094530681999102186443*c_1001_2^4 - 256528087545028228573248908210755841/227304391425094530681999102186\ 443*c_1001_2^3 - 25123516762835851920800877528113955/22730439142509\ 4530681999102186443*c_1001_2^2 + 165251734990045202116365464745034/\ 681913174275283592045997306559329*c_1001_2 + 3693536013096245451583421655980810/68191317427528359204599730655932\ 9, c_0101_0 + 14415713784775757459785970028308960/681913174275283592045997\ 306559329*c_1001_2^15 + 109567769436098866262494657610141008/681913\ 174275283592045997306559329*c_1001_2^14 + 488252179501823592814843769583128434/681913174275283592045997306559\ 329*c_1001_2^13 + 539745204197502379950485809753336157/227304391425\ 094530681999102186443*c_1001_2^12 + 1400099563719590267993044359559073345/22730439142509453068199910218\ 6443*c_1001_2^11 + 8890237322828158342728848894213958896/6819131742\ 75283592045997306559329*c_1001_2^10 + 15698486690088500222222698969376729267/6819131742752835920459973065\ 59329*c_1001_2^9 + 7690336948394323600087347617695510307/2273043914\ 25094530681999102186443*c_1001_2^8 + 9370172130199251459365069060415091794/22730439142509453068199910218\ 6443*c_1001_2^7 + 28039523523073128623844209152520059276/6819131742\ 75283592045997306559329*c_1001_2^6 + 21808766370358992161428183465474966508/6819131742752835920459973065\ 59329*c_1001_2^5 + 4040232387756904635820483058042788494/2273043914\ 25094530681999102186443*c_1001_2^4 + 1436575668706782893742895915628979146/22730439142509453068199910218\ 6443*c_1001_2^3 + 295096098291127885444825785350557240/227304391425\ 094530681999102186443*c_1001_2^2 + 115408536756012719959435238726186195/681913174275283592045997306559\ 329*c_1001_2 + 6267380070406619968911785073981832/68191317427528359\ 2045997306559329, c_0101_1 - 1, c_0101_11 - 3199913500392927636668609462575192/227304391425094530681999\ 102186443*c_1001_2^15 - 23667562386858857711760870787118122/2273043\ 91425094530681999102186443*c_1001_2^14 - 104097504939420057198881697246565346/227304391425094530681999102186\ 443*c_1001_2^13 - 341598896315353947222393261618851333/227304391425\ 094530681999102186443*c_1001_2^12 - 876543689646611539397445732627543230/227304391425094530681999102186\ 443*c_1001_2^11 - 1837144458550186084167790858633700502/22730439142\ 5094530681999102186443*c_1001_2^10 - 3211414270901687315874579884398669120/22730439142509453068199910218\ 6443*c_1001_2^9 - 4665647268492413935010892358238217350/22730439142\ 5094530681999102186443*c_1001_2^8 - 5613482007039352275807020182860790646/22730439142509453068199910218\ 6443*c_1001_2^7 - 5514662601070794651984852994098132452/22730439142\ 5094530681999102186443*c_1001_2^6 - 4195826584418823089513759687580015802/22730439142509453068199910218\ 6443*c_1001_2^5 - 2254787850519513432780683719369681673/22730439142\ 5094530681999102186443*c_1001_2^4 - 763310213689623017979377672288052623/227304391425094530681999102186\ 443*c_1001_2^3 - 148539853761598753763805502997101108/2273043914250\ 94530681999102186443*c_1001_2^2 - 194036911523369774939882627891767\ 73/227304391425094530681999102186443*c_1001_2 - 613421564674779644822734072878890/227304391425094530681999102186443\ , c_0101_5 + 470915427002027840480048863428724/22730439142509453068199910\ 2186443*c_1001_2^15 + 4239345941748658748335378392106635/2273043914\ 25094530681999102186443*c_1001_2^14 + 20060533337295695196990717648763083/2273043914250945306819991021864\ 43*c_1001_2^13 + 69667781261281788642338927557600572/22730439142509\ 4530681999102186443*c_1001_2^12 + 188741302394203303019431147226373\ 137/227304391425094530681999102186443*c_1001_2^11 + 413743714389916624889972105426528973/227304391425094530681999102186\ 443*c_1001_2^10 + 756123472712358221062357415174546440/227304391425\ 094530681999102186443*c_1001_2^9 + 1152138591391945733552126403921641366/22730439142509453068199910218\ 6443*c_1001_2^8 + 1455234618081036206620335362739755066/22730439142\ 5094530681999102186443*c_1001_2^7 + 1512243628583880964166622015036781608/22730439142509453068199910218\ 6443*c_1001_2^6 + 1241529117923416904710415270657056298/22730439142\ 5094530681999102186443*c_1001_2^5 + 740096757290051288410457655173551226/227304391425094530681999102186\ 443*c_1001_2^4 + 288045331876484004390961084478269657/2273043914250\ 94530681999102186443*c_1001_2^3 + 665984358975725236681112632719112\ 97/227304391425094530681999102186443*c_1001_2^2 + 9354194228355606413935006783390409/22730439142509453068199910218644\ 3*c_1001_2 + 337601648046062972070036741569125/22730439142509453068\ 1999102186443, c_0101_7 + 709668598799074130773021006950444/22730439142509453068199910\ 2186443*c_1001_2^15 + 5353796049653596646355860625869129/2273043914\ 25094530681999102186443*c_1001_2^14 + 24000733429976240522748552891618382/2273043914250945306819991021864\ 43*c_1001_2^13 + 79942539751655329210365606086708455/22730439142509\ 4530681999102186443*c_1001_2^12 + 208583839016338172748348689169691\ 039/227304391425094530681999102186443*c_1001_2^11 + 444880132848348550179876966619034417/227304391425094530681999102186\ 443*c_1001_2^10 + 792058851909211807410432624653268481/227304391425\ 094530681999102186443*c_1001_2^9 + 1176581312518960519108653948624054452/22730439142509453068199910218\ 6443*c_1001_2^8 + 1453858221106566873343933221298947715/22730439142\ 5094530681999102186443*c_1001_2^7 + 1476169136062205784688028457267821191/22730439142509453068199910218\ 6443*c_1001_2^6 + 1180551869999740172971401278198924575/22730439142\ 5094530681999102186443*c_1001_2^5 + 690132834390056375261554175399561272/227304391425094530681999102186\ 443*c_1001_2^4 + 267773346207234426096797961308735519/2273043914250\ 94530681999102186443*c_1001_2^3 + 625692461913140373678196575742292\ 29/227304391425094530681999102186443*c_1001_2^2 + 9206644260391654758307775108318059/22730439142509453068199910218644\ 3*c_1001_2 + 993664633102042803557697379348678/22730439142509453068\ 1999102186443, c_1001_1 + 407988781760853340394333046561704/22730439142509453068199910\ 2186443*c_1001_2^15 + 2991230105537067598021415007444882/2273043914\ 25094530681999102186443*c_1001_2^14 + 13283428658774057438238863026226123/2273043914250945306819991021864\ 43*c_1001_2^13 + 43913185640891049813419622066939495/22730439142509\ 4530681999102186443*c_1001_2^12 + 113799925244036865237384529907061\ 808/227304391425094530681999102186443*c_1001_2^11 + 241577164991203433530725112248483151/227304391425094530681999102186\ 443*c_1001_2^10 + 428267539073662258353728438408747053/227304391425\ 094530681999102186443*c_1001_2^9 + 633751957653480033957854382375346246/227304391425094530681999102186\ 443*c_1001_2^8 + 781189875399790149155919285150468868/2273043914250\ 94530681999102186443*c_1001_2^7 + 791856617153310400725272143441215\ 524/227304391425094530681999102186443*c_1001_2^6 + 633016505149675189731746161295627426/227304391425094530681999102186\ 443*c_1001_2^5 + 372363899769916993952827420181403254/2273043914250\ 94530681999102186443*c_1001_2^4 + 147722077565411309428760987535159\ 120/227304391425094530681999102186443*c_1001_2^3 + 35856667960898724550805163742606175/2273043914250945306819991021864\ 43*c_1001_2^2 + 4963722527147223068645121494565816/2273043914250945\ 30681999102186443*c_1001_2 + 576071660411604791805853215774563/2273\ 04391425094530681999102186443, c_1001_2^16 + 953/124*c_1001_2^15 + 4277/124*c_1001_2^14 + 14271/124*c_1001_2^13 + 37263/124*c_1001_2^12 + 19852/31*c_1001_2^11 + 35317/31*c_1001_2^10 + 104751/62*c_1001_2^9 + 258153/124*c_1001_2^8 + 261347/124*c_1001_2^7 + 208027/124*c_1001_2^6 + 60297/62*c_1001_2^5 + 11670/31*c_1001_2^4 + 11427/124*c_1001_2^3 + 959/62*c_1001_2^2 + 91/62*c_1001_2 + 9/124 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.120 Total time: 0.320 seconds, Total memory usage: 32.09MB