Magma V2.19-8 Tue Aug 20 2013 23:53:32 on localhost [Seed = 3717969441] Type ? for help. Type -D to quit. Loading file "K12n382__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K12n382 geometric_solution 11.43211096 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 -1 1 3 0 -3 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.003169977093 0.700943846833 0 5 2 6 0132 0132 1302 0132 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 0 0 0 0 0 0 -3 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.268022671425 0.572860316290 1 0 8 7 2031 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 2 0 0 0 0 -3 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.497332057688 0.479524869479 9 7 10 0 0132 0132 0132 0132 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 -1 1 0 0 -3 3 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.085064979209 0.949140804924 11 12 0 8 0132 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 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 1 -1 0 -2 0 0 2 0 -1 0 1 0 3 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.135287649660 0.869438278070 12 1 10 11 0321 0132 1302 0321 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.725400854131 0.529967848628 9 9 1 8 2103 1302 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.685524236848 1.134483591737 12 3 2 10 2031 0132 0132 0132 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 -1 0 -2 3 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.404923320738 0.654317424667 6 11 4 2 3012 0213 0132 0132 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581436850696 0.411702588017 3 10 6 6 0132 0132 2103 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0.685524236848 1.134483591737 5 9 7 3 2031 0132 0132 0132 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 -1 0 1 0 0 -3 3 -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.018470564479 0.747163849101 4 5 8 12 0132 0321 0213 0213 0 0 0 0 0 0 0 0 -1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 0 -2 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.164428560008 1.226348813410 5 4 7 11 0321 0132 1302 0213 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 1 0 1 0 0 -1 1 -3 0 2 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.239312986640 1.361578750334 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0101_10'], 'c_1001_10' : d['c_0011_6'], 'c_1001_12' : d['c_0101_10'], 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_1001_2'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_7'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_6'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : d['c_0101_10'], 'c_1010_12' : d['c_1001_2'], 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0011_6'], 's_3_11' : d['1'], 's_3_10' : negation(d['1']), 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0011_8'], 'c_0101_10' : d['c_0101_10'], 's_2_0' : negation(d['1']), 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : negation(d['1']), 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_12' : 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' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_8']), 'c_0011_10' : d['c_0011_10'], 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0101_10'], 'c_1100_4' : d['c_1100_0'], 'c_1100_7' : d['c_1100_0'], 'c_1100_6' : d['c_0101_2'], 'c_1100_1' : d['c_0101_2'], 'c_1100_0' : d['c_1100_0'], 'c_1100_3' : d['c_1100_0'], 'c_1100_2' : d['c_1100_0'], 's_0_10' : d['1'], 'c_1100_11' : d['c_1001_2'], 'c_1100_10' : d['c_1100_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_6'], 'c_1010_6' : d['c_0011_8'], 'c_1010_5' : d['c_0101_7'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : d['c_0011_6'], 'c_1010_8' : d['c_1001_2'], 'c_1100_8' : d['c_1100_0'], 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : negation(d['1']), 's_3_2' : negation(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_7'], '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' : negation(d['1']), 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_10']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_11']), 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_10'], 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_0'], 'c_0110_10' : d['c_0101_3'], 'c_0110_12' : negation(d['c_0011_0']), 'c_0101_12' : d['c_0011_10'], 'c_0110_0' : d['c_0011_0'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : negation(d['c_0011_10']), 'c_0101_4' : d['c_0011_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0011_0'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_0'], 'c_0101_8' : d['c_0011_8'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0101_3'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_7'], 'c_0110_5' : negation(d['c_0011_11']), 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0101_10'], 'c_0110_6' : d['c_0011_8']})} 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_6, c_0011_8, c_0101_0, c_0101_10, c_0101_2, c_0101_3, c_0101_7, c_1001_0, c_1001_2, c_1100_0 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 24 Groebner basis: [ t + 167658903200244310101704164939360178232345349768261186918846153/114\ 7025785667139547809521778077772644396445741562654406886870*c_1100_0\ ^23 - 4228558705249691718912931483399918142625555411115327310343635\ 2/38234192855571318260317392602592421479881524718755146896229*c_110\ 0_0^22 + 7222156328589407116570744175186885163870093777429903830065\ 22969/127447309518571060867724642008641404932938415729183822987430*\ c_1100_0^21 - 12729925048751831318001536671572252316132789213360982\ 54492101471/3475835714142847114574308418417492861807411338068649717\ 8390*c_1100_0^20 + 364235984141758892697536492351964322399785892682\ 46221285527964035/2294051571334279095619043556155545288792891483125\ 30881377374*c_1100_0^19 - 42606401617643929348356656787847788241304\ 941859539493110644264032/114702578566713954780952177807777264439644\ 574156265440688687*c_1100_0^18 + 1041452642497416620114428312150501\ 72376526122332743863876711174827/2294051571334279095619043556155545\ 28879289148312530881377374*c_1100_0^17 + 14142097355019809879713440870893379570305694033122076738697173407/3\ 82341928555713182603173926025924214798815247187551468962290*c_1100_\ 0^16 - 716667371688694040799415536914452714721359769086624726949230\ 3037/4739775973831155156237693297842035720646470006457249615235*c_1\ 100_0^15 + 48174278255103987236640731555022650026263988051575623414\ 1690783671/22940515713342790956190435561555452887928914831253088137\ 7374*c_1100_0^14 + 782147779211638965782372911366245133093749668210\ 272250575332691789/573512892833569773904760889038886322198222870781\ 327203443435*c_1100_0^13 - 2658451081694514587008702472307476196048\ 37104971535706048321607717/6372365475928553043386232100432070246646\ 9207864591911493715*c_1100_0^12 + 449007641794025624170784469498348\ 822950335656658016396648102282449/114702578566713954780952177807777\ 2644396445741562654406886870*c_1100_0^11 + 4367356301436348234705884638791900348781635826373203778221328624333\ /1147025785667139547809521778077772644396445741562654406886870*c_11\ 00_0^10 - 280777820516200973327215471239106040118037276797316421088\ 589003473/127447309518571060867724642008641404932938415729183822987\ 430*c_1100_0^9 - 52294241392160433620458754527257784607022100567095\ 2295341929130695/22940515713342790956190435561555452887928914831253\ 0881377374*c_1100_0^8 + 2633992888596701858795686405736274793659753\ 23304432190521525466744/1147025785667139547809521778077772644396445\ 74156265440688687*c_1100_0^7 + 517294786016139917153458622096818706\ 318346587237848364469758595163/382341928555713182603173926025924214\ 798815247187551468962290*c_1100_0^6 - 359548210077770276187583741135008365151002106606191090687574921229/\ 382341928555713182603173926025924214798815247187551468962290*c_1100\ _0^5 - 770785760401659580018043907472861158466404447110054400938371\ 99747/127447309518571060867724642008641404932938415729183822987430*\ c_1100_0^4 + 664664860078413114014201009629481435143714016700533177\ 96592121777/1147025785667139547809521778077772644396445741562654406\ 886870*c_1100_0^3 + 89982354611386551836727731367291278595915613244\ 433272412318511243/114702578566713954780952177807777264439644574156\ 2654406886870*c_1100_0^2 + 3093652015347044514222408740646936362054\ 97756115471259299916359/2493534316667694669151134300169070966079229\ 8729622921888845*c_1100_0 + 725312652834411501081483150463082319079\ 70050830571301000701093/5213753571214270671861462627626239292711117\ 0071029745767585, c_0011_0 - 1, c_0011_10 - 7070315579557515391832634145286521832250404/969867357074412\ 17219534467080225363544869519*c_1100_0^23 + 6956239616699459057630480198195353705338599/10776303967493468579948\ 274120025040393874391*c_1100_0^22 - 115829949509526587836754667044194621815062125/323289119024804057398\ 44822360075121181623173*c_1100_0^21 + 720249788402411246311324462462475453886622961/323289119024804057398\ 44822360075121181623173*c_1100_0^20 - 10153453176154364410433364611892405673981738138/9698673570744121721\ 9534467080225363544869519*c_1100_0^19 + 29073166061763347082319668565684926590515693939/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 - 50550587207289658757092276330060589616997246984/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 + 4497274256550741802638439330577435881653635841/10776303967493468579\ 948274120025040393874391*c_1100_0^16 + 55187399102514295666615596234810574310658036980/9698673570744121721\ 9534467080225363544869519*c_1100_0^15 - 188779647119508210428670261613229455423012602104/969867357074412172\ 19534467080225363544869519*c_1100_0^14 + 111522446341122352602085899797186400886215227474/969867357074412172\ 19534467080225363544869519*c_1100_0^13 + 64907323325632194919214173013221429782206848318/3232891190248040573\ 9844822360075121181623173*c_1100_0^12 - 275607615019645347583556283833183600850504072356/969867357074412172\ 19534467080225363544869519*c_1100_0^11 - 22391127730312816505603618836031020427675837335/9698673570744121721\ 9534467080225363544869519*c_1100_0^10 + 28258954781847950334968901034234318532623502117/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 - 106874807445873641951848249726377101927184201722/969867357074412172\ 19534467080225363544869519*c_1100_0^8 - 131417198598216881750390448089146220196957673769/969867357074412172\ 19534467080225363544869519*c_1100_0^7 + 28013212943730923022088449845753017156702800439/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 + 15324989833624118912735529328128003379228064840/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 - 2614000976657200928783620257741339718003826544/10776303967493468579\ 948274120025040393874391*c_1100_0^4 - 10331929476934586516020965170286340387354909580/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 + 1283980256089623448050016503908975074780489690/96986735707441217219\ 534467080225363544869519*c_1100_0^2 + 1092820845695939311691593886556087810151041199/96986735707441217219\ 534467080225363544869519*c_1100_0 + 215324995728405990397724276521250365139186986/969867357074412172195\ 34467080225363544869519, c_0011_11 + 17391924665276441938254196941757001721453196/96986735707441\ 217219534467080225363544869519*c_1100_0^23 - 50252688716651506600461648823122665575800313/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 + 92630335420546097087823295126216975337163712/1077630396749346857994\ 8274120025040393874391*c_1100_0^21 - 1739937609739493700522343695224178438574535150/32328911902480405739\ 844822360075121181623173*c_1100_0^20 + 24335616243439287903396688219889732953491210158/9698673570744121721\ 9534467080225363544869519*c_1100_0^19 - 69072826787373423693513200129080506600024704216/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 121205304499943076370665133519067693957816919308/969867357074412172\ 19534467080225363544869519*c_1100_0^17 - 34884989591592107328077270381293757755251436432/3232891190248040573\ 9844822360075121181623173*c_1100_0^16 - 105510765426468203624967516405800771929391734390/969867357074412172\ 19534467080225363544869519*c_1100_0^15 + 397083599584949241727880294895995121234754997320/969867357074412172\ 19534467080225363544869519*c_1100_0^14 - 228413767150987820005734069116100145601693844472/969867357074412172\ 19534467080225363544869519*c_1100_0^13 - 42705588367259819411195037876664227820271414062/1077630396749346857\ 9948274120025040393874391*c_1100_0^12 + 522939735459315259984014864954764682372948035848/969867357074412172\ 19534467080225363544869519*c_1100_0^11 + 34279454521446696155780411917928255408955127625/9698673570744121721\ 9534467080225363544869519*c_1100_0^10 - 50594882434521153686186556740213553982225938043/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 179303038230606093399663606565158207456112517713/969867357074412172\ 19534467080225363544869519*c_1100_0^8 + 228939124647459498976221153672539153536850607652/969867357074412172\ 19534467080225363544869519*c_1100_0^7 - 39148708099262427213527983113999490224793223264/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 - 24166247986228333253002748073659224956010937839/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 + 2648111639651867231419955520235230971902157779/10776303967493468579\ 948274120025040393874391*c_1100_0^4 + 11300451050415152992167474593589231766019943976/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 - 633779139681880367642287097071078800301028519/969867357074412172195\ 34467080225363544869519*c_1100_0^2 - 671001778194557083424453259519605691923523893/969867357074412172195\ 34467080225363544869519*c_1100_0 - 111760607478194978856216883589809456919581013/969867357074412172195\ 34467080225363544869519, c_0011_6 - 1396231991509576674588123324721149392986426/1077630396749346\ 8579948274120025040393874391*c_1100_0^23 + 36443513047126564274326919562364847691368218/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 - 201907014584103985523111960419247255266026025/323289119024804057398\ 44822360075121181623173*c_1100_0^21 + 1263454905829467191807605103672798524307974513/32328911902480405739\ 844822360075121181623173*c_1100_0^20 - 5901452058835265669733541913303836873518482443/32328911902480405739\ 844822360075121181623173*c_1100_0^19 + 5607642271758304481993660483674672179955262062/10776303967493468579\ 948274120025040393874391*c_1100_0^18 - 29739604496595531658782065869911401267437924844/3232891190248040573\ 9844822360075121181623173*c_1100_0^17 + 26326849057489594894409254534291800239227612561/3232891190248040573\ 9844822360075121181623173*c_1100_0^16 + 23822527158816790600521696956409776776847069978/3232891190248040573\ 9844822360075121181623173*c_1100_0^15 - 31521790814595793469736536171129330643387759550/1077630396749346857\ 9948274120025040393874391*c_1100_0^14 + 55245770823714822246845679057627676777132951591/3232891190248040573\ 9844822360075121181623173*c_1100_0^13 + 92072969981441027294884317267617384262468128878/3232891190248040573\ 9844822360075121181623173*c_1100_0^12 - 125080894432325072096540313703032817365440599057/323289119024804057\ 39844822360075121181623173*c_1100_0^11 - 9902601909182791049968385240702278364875789768/32328911902480405739\ 844822360075121181623173*c_1100_0^10 + 36493854968449370091300074250525137168787981095/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 - 13584304035413702786862194907853059524507084921/1077630396749346857\ 9948274120025040393874391*c_1100_0^8 - 57391018368106804154681821081387406958295234439/3232891190248040573\ 9844822360075121181623173*c_1100_0^7 + 9222919870277105825329655819925677018787436318/10776303967493468579\ 948274120025040393874391*c_1100_0^6 + 6551614870449859542514669177408972841196419715/10776303967493468579\ 948274120025040393874391*c_1100_0^5 - 1886516375950928685240413079984037200892798198/10776303967493468579\ 948274120025040393874391*c_1100_0^4 - 1147419413046528761904318205954426691982272252/10776303967493468579\ 948274120025040393874391*c_1100_0^3 + 36491346793688571518782963733545491050537923/3232891190248040573984\ 4822360075121181623173*c_1100_0^2 + 69651569126522030090877659581148640357510302/1077630396749346857994\ 8274120025040393874391*c_1100_0 + 584462940537386776945523686540367\ 55338805805/32328911902480405739844822360075121181623173, c_0011_8 + 5913395801844049432654404951724599255081076/9698673570744121\ 7219534467080225363544869519*c_1100_0^23 - 15732641518361244614128114129398259987892126/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 + 82751068443207502457885562286569417408215350/3232891190248040573984\ 4822360075121181623173*c_1100_0^21 - 175565403063388793116326883186767759159955080/107763039674934685799\ 48274120025040393874391*c_1100_0^20 + 7055687033778227970499838548908678503647135754/96986735707441217219\ 534467080225363544869519*c_1100_0^19 - 17805577088464134338068732957280548671490246778/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 25096644472957883374361373632221153443143258690/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 - 2461723917008063937510912873126659558664851123/32328911902480405739\ 844822360075121181623173*c_1100_0^16 - 59754489905104785706545796442749368021131294785/9698673570744121721\ 9534467080225363544869519*c_1100_0^15 + 108581009963708663887270553825485112696193392161/969867357074412172\ 19534467080225363544869519*c_1100_0^14 + 18767133268469000733132810070059700074562569707/9698673570744121721\ 9534467080225363544869519*c_1100_0^13 - 62898722975576293019777545346983066838895025453/3232891190248040573\ 9844822360075121181623173*c_1100_0^12 + 88824806156163639529631295382692471297939505393/9698673570744121721\ 9534467080225363544869519*c_1100_0^11 + 141607637777191877069348919888998656075729043513/969867357074412172\ 19534467080225363544869519*c_1100_0^10 - 17314658006885981833549723836559109405110312578/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 - 47653456937975794814322087607446030104700559121/9698673570744121721\ 9534467080225363544869519*c_1100_0^8 + 130404744394633075801365721255099246483933562077/969867357074412172\ 19534467080225363544869519*c_1100_0^7 + 2644028061235878354175230550970429162836299559/32328911902480405739\ 844822360075121181623173*c_1100_0^6 - 18880257928869760334103925135702658027670934765/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 - 419763762174038751703953136904846089871847939/107763039674934685799\ 48274120025040393874391*c_1100_0^4 + 10218205624440829812692556937575712248913696933/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 + 1007691918265120786667636736444741671797557493/96986735707441217219\ 534467080225363544869519*c_1100_0^2 - 430879691744404884054932297216224470820433165/969867357074412172195\ 34467080225363544869519*c_1100_0 - 118589425474598218975774782119838295256411057/969867357074412172195\ 34467080225363544869519, c_0101_0 + 4032796786597751216586007051321396905392056/9698673570744121\ 7219534467080225363544869519*c_1100_0^23 - 11706050787088204082707898650762729094566067/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 + 64825453626882059503091379357811998996454693/3232891190248040573984\ 4822360075121181623173*c_1100_0^21 - 135114026879284521527192340327951736627935259/107763039674934685799\ 48274120025040393874391*c_1100_0^20 + 5680416436236725586925944863868405228447405440/96986735707441217219\ 534467080225363544869519*c_1100_0^19 - 16175966831764189597511818930512205459535605844/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 28437374922797094953229165506033374849399849715/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 - 8199300449500691210670583288026926870988037838/32328911902480405739\ 844822360075121181623173*c_1100_0^16 - 24425161124463378979483075914726427506826174060/9698673570744121721\ 9534467080225363544869519*c_1100_0^15 + 92455705767746707523229852210841428709991582443/9698673570744121721\ 9534467080225363544869519*c_1100_0^14 - 51662568918340900509041014281174100982754297469/9698673570744121721\ 9534467080225363544869519*c_1100_0^13 - 31902624265561243467664839382274635300645601692/3232891190248040573\ 9844822360075121181623173*c_1100_0^12 + 125181712881077760575975228457586714121239047484/969867357074412172\ 19534467080225363544869519*c_1100_0^11 + 18719579369218834577697903318387439765539828098/9698673570744121721\ 9534467080225363544869519*c_1100_0^10 - 13014910949480616511449949100024880858670649958/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 36097026151092141785937763193998148953683162160/9698673570744121721\ 9534467080225363544869519*c_1100_0^8 + 67511847812106839474535475475176984756739362789/9698673570744121721\ 9534467080225363544869519*c_1100_0^7 - 10219806596280735846492652470490746293061795137/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 - 9136799652456137992997410631572007614936369186/32328911902480405739\ 844822360075121181623173*c_1100_0^5 + 1024680954810254299012020998925301297960048225/10776303967493468579\ 948274120025040393874391*c_1100_0^4 + 6815856422024333133468396405262908298004879005/96986735707441217219\ 534467080225363544869519*c_1100_0^3 - 739217273705811135606706344074597857078707236/969867357074412172195\ 34467080225363544869519*c_1100_0^2 - 539368201619244325690925458471862350270174850/969867357074412172195\ 34467080225363544869519*c_1100_0 - 39692266686228029340490460734233372276265730/9698673570744121721953\ 4467080225363544869519, c_0101_10 - 4230036736284886935450880594339495299868471/969867357074412\ 17219534467080225363544869519*c_1100_0^23 + 11497150985382683045206423342639196679326509/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 - 20293632055091398579657238069801337075139576/1077630396749346857994\ 8274120025040393874391*c_1100_0^21 + 384775954167063793620921491718318052862130890/323289119024804057398\ 44822360075121181623173*c_1100_0^20 - 5204890741665024054377826239283066449566835753/96986735707441217219\ 534467080225363544869519*c_1100_0^19 + 13372387179740935305003951038757917208052652495/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 - 19049298346371545968125360940797979178032257491/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 + 1709997215724726137550736612652908269197746168/32328911902480405739\ 844822360075121181623173*c_1100_0^16 + 48248745526404098386230225516867828639254935429/9698673570744121721\ 9534467080225363544869519*c_1100_0^15 - 92962644535872519387734925872970638927394077776/9698673570744121721\ 9534467080225363544869519*c_1100_0^14 + 1862915984287545117798719575172309321244307243/96986735707441217219\ 534467080225363544869519*c_1100_0^13 + 16347375508200520808025818847338928156358401217/1077630396749346857\ 9948274120025040393874391*c_1100_0^12 - 96933724385928580189638367942245962988334368802/9698673570744121721\ 9534467080225363544869519*c_1100_0^11 - 93172709331957818491897231409386673774704118666/9698673570744121721\ 9534467080225363544869519*c_1100_0^10 + 15491501815691416247258876909668250119859533402/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 8972530815922398405732123894704071147621391261/96986735707441217219\ 534467080225363544869519*c_1100_0^8 - 101713324188217841312904130807154619045880127725/969867357074412172\ 19534467080225363544869519*c_1100_0^7 + 4199797807511549398191557218083678512469060086/32328911902480405739\ 844822360075121181623173*c_1100_0^6 + 13971498334124528142330433731385767591767044240/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 - 345979197080487752259873214539210861806212970/107763039674934685799\ 48274120025040393874391*c_1100_0^4 - 7724528295268948911107748836399136905791180051/96986735707441217219\ 534467080225363544869519*c_1100_0^3 - 275094801991224006642304803931231714662162316/969867357074412172195\ 34467080225363544869519*c_1100_0^2 + 433877515369666323641036532923724913619463428/969867357074412172195\ 34467080225363544869519*c_1100_0 + 108837791460622535351076191066152488828272132/969867357074412172195\ 34467080225363544869519, c_0101_2 + 18960969383182759389445252903322100424529155/969867357074412\ 17219534467080225363544869519*c_1100_0^23 - 53186058460284779897427422234554044028442341/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 + 95843774346504365894040373067504048022819054/1077630396749346857994\ 8274120025040393874391*c_1100_0^21 - 1806322652663347195671248823868652103440581640/32328911902480405739\ 844822360075121181623173*c_1100_0^20 + 24856469029092243265488104016187040405985042011/9698673570744121721\ 9534467080225363544869519*c_1100_0^19 - 67129256391838356685538780714837699398453412258/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 106190432310614114247108041000933763888813767651/969867357074412172\ 19534467080225363544869519*c_1100_0^17 - 20157895449082807816212001144962934313955454909/3232891190248040573\ 9844822360075121181623173*c_1100_0^16 - 181178500829651974453000000549358978208568342693/969867357074412172\ 19534467080225363544869519*c_1100_0^15 + 440741670435193751606082460121094052762200286078/969867357074412172\ 19534467080225363544869519*c_1100_0^14 - 120344415232611806893854146417825072739219825442/969867357074412172\ 19534467080225363544869519*c_1100_0^13 - 65752417999429416229565378966507799000313799642/1077630396749346857\ 9948274120025040393874391*c_1100_0^12 + 549088732762246741826429560807042895478717357175/969867357074412172\ 19534467080225363544869519*c_1100_0^11 + 263705884085439341983093236660640876717399487645/969867357074412172\ 19534467080225363544869519*c_1100_0^10 - 71086711763991316317538615519180785848136329246/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 94693347802944698589725004687260398227803318656/9698673570744121721\ 9534467080225363544869519*c_1100_0^8 + 408077976090199249380188095834583567451473380879/969867357074412172\ 19534467080225363544869519*c_1100_0^7 - 44341634870067729830295666735671065293076933073/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 - 51231031074170561601065365915889820880556490229/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 + 4495438417667472027304105649495557472949851619/10776303967493468579\ 948274120025040393874391*c_1100_0^4 + 29214531028097405804585099436766634444498881864/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 - 2558945788927812024654118382652753617434993103/96986735707441217219\ 534467080225363544869519*c_1100_0^2 - 1886382378645166193051370504415477250052449072/96986735707441217219\ 534467080225363544869519*c_1100_0 - 516439088336514734326201761289433808302630438/969867357074412172195\ 34467080225363544869519, c_0101_3 + 5095516466258479614778546308026642460144122/9698673570744121\ 7219534467080225363544869519*c_1100_0^23 - 5158015860064878248050329734166515889248004/10776303967493468579948\ 274120025040393874391*c_1100_0^22 + 88124484879463811461346763662447245348145527/3232891190248040573984\ 4822360075121181623173*c_1100_0^21 - 547661863938297056070565798713278665315489412/323289119024804057398\ 44822360075121181623173*c_1100_0^20 + 7839404248959850128150091400034025047134152324/96986735707441217219\ 534467080225363544869519*c_1100_0^19 - 23595726497466427506455493028785642154977852610/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 45464313612691529810111726273996785128507471274/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 - 5506353203082693372371353950183868249105753283/10776303967493468579\ 948274120025040393874391*c_1100_0^16 - 10674104346804106426749264378093523176171116861/9698673570744121721\ 9534467080225363544869519*c_1100_0^15 + 121375977692638586234611826060721571707031844894/969867357074412172\ 19534467080225363544869519*c_1100_0^14 - 115904334860822941591609751779566132657617085686/969867357074412172\ 19534467080225363544869519*c_1100_0^13 - 23358385894733628882991340071468962710318327293/3232891190248040573\ 9844822360075121181623173*c_1100_0^12 + 184664554316032991251789670281417800676622578307/969867357074412172\ 19534467080225363544869519*c_1100_0^11 - 59333828608878382099099972703132176889631456098/9698673570744121721\ 9534467080225363544869519*c_1100_0^10 - 12874418347568423812141560933902705816352696217/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 97936910096856690498773327044734933459195934202/9698673570744121721\ 9534467080225363544869519*c_1100_0^8 + 34930753355972658981270552631553842639303115141/9698673570744121721\ 9534467080225363544869519*c_1100_0^7 - 16889353375139895822522497902945330328358864457/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 - 1789653746719016261504062243613163333161154728/32328911902480405739\ 844822360075121181623173*c_1100_0^5 + 1149105998570823514332807583167646043024946748/10776303967493468579\ 948274120025040393874391*c_1100_0^4 + 299143160307275292102582182856533854613066048/969867357074412172195\ 34467080225363544869519*c_1100_0^3 - 574503712849011218337616849037849306481043192/969867357074412172195\ 34467080225363544869519*c_1100_0^2 - 4841118260071266409870491763913711546466013/96986735707441217219534\ 467080225363544869519*c_1100_0 + 3287626275222015639854427714270695\ 6642822018/96986735707441217219534467080225363544869519, c_0101_7 + 22572992291468182318962937103265928521752957/969867357074412\ 17219534467080225363544869519*c_1100_0^23 - 63991767866477106926169441025048780006289573/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 + 116071151537619110095028433247829566027962140/107763039674934685799\ 48274120025040393874391*c_1100_0^21 - 2183738785099530402582267107087968548891828199/32328911902480405739\ 844822360075121181623173*c_1100_0^20 + 30218443732906346575660388888445296113053903328/9698673570744121721\ 9534467080225363544869519*c_1100_0^19 - 82863009170946128650259261507595753880816150075/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 135092076260739459613660652850682764888274443004/969867357074412172\ 19534467080225363544869519*c_1100_0^17 - 29506007559178389033628758624541240565519758565/3232891190248040573\ 9844822360075121181623173*c_1100_0^16 - 197728126875092021968928841209792088345000165089/969867357074412172\ 19534467080225363544869519*c_1100_0^15 + 528356337897394406239570361215764889405789135544/969867357074412172\ 19534467080225363544869519*c_1100_0^14 - 184569292052395456298238506949380264734528116959/969867357074412172\ 19534467080225363544869519*c_1100_0^13 - 74057061497563978093399260286968600886456336861/1077630396749346857\ 9948274120025040393874391*c_1100_0^12 + 674389296580644462439087165847723077364630289845/969867357074412172\ 19534467080225363544869519*c_1100_0^11 + 256228525279343427477455182557513813625192237492/969867357074412172\ 19534467080225363544869519*c_1100_0^10 - 82154745356621629681539098186824977464103943014/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 145837178637887827977969168551294420314697320700/969867357074412172\ 19534467080225363544869519*c_1100_0^8 + 456187092329490909951520000692424089489367831658/969867357074412172\ 19534467080225363544869519*c_1100_0^7 - 55054831204082024781095170627381075089354141571/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 - 56621203303255480211417610315911937974380757495/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 + 5286534503204607573432923680980273159633285230/10776303967493468579\ 948274120025040393874391*c_1100_0^4 + 31691328454756233875510162897397718848010003022/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 - 3248316349329445490723944349431024520952264859/96986735707441217219\ 534467080225363544869519*c_1100_0^2 - 1947929827639266776522753195770030527080300671/96986735707441217219\ 534467080225363544869519*c_1100_0 - 380164596893095500350634705618622776378440962/969867357074412172195\ 34467080225363544869519, c_1001_0 + 15559039765720319236188635097571202819861672/969867357074412\ 17219534467080225363544869519*c_1100_0^23 - 44013974080419817017383169144957603712859156/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 + 79607017549355490461488044434261728242386909/1077630396749346857994\ 8274120025040393874391*c_1100_0^21 - 1497543391029759333508343937989048284580330944/32328911902480405739\ 844822360075121181623173*c_1100_0^20 + 20692038469309577366649183218759357887814093989/9698673570744121721\ 9534467080225363544869519*c_1100_0^19 - 56389556029711619280683559111102680550012778936/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 + 90475773328717121033532910358633215234587752749/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 - 18258292274907786386461414959574856995881841991/3232891190248040573\ 9844822360075121181623173*c_1100_0^16 - 145768934391514540057710911250987678146198849810/969867357074412172\ 19534467080225363544869519*c_1100_0^15 + 370428874216487978979827076581148063520624910300/969867357074412172\ 19534467080225363544869519*c_1100_0^14 - 118096290303718731176640110232482535439685597510/969867357074412172\ 19534467080225363544869519*c_1100_0^13 - 53448010798981118552704698519699126265706617451/1077630396749346857\ 9948274120025040393874391*c_1100_0^12 + 470068138051110425167368132329780495303556339659/969867357074412172\ 19534467080225363544869519*c_1100_0^11 + 197250128806009913584160392939853148129822231001/969867357074412172\ 19534467080225363544869519*c_1100_0^10 - 58711760445081366422165839130184380225317823483/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 + 96111736785386382154982018349998861031464218157/9698673570744121721\ 9534467080225363544869519*c_1100_0^8 + 329588180068046892367204796737644874960710633296/969867357074412172\ 19534467080225363544869519*c_1100_0^7 - 38288706276638062271567868167343085046089677328/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 - 41117113271761146752781480968736148111398417086/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 + 3617510317261510793601377982603575316332809364/10776303967493468579\ 948274120025040393874391*c_1100_0^4 + 23065409833036206261966362042632580855453061020/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 - 1981166514796392835670816173009054309671015364/96986735707441217219\ 534467080225363544869519*c_1100_0^2 - 1594249512583081447647379973711156870143046866/96986735707441217219\ 534467080225363544869519*c_1100_0 - 288299172293367910793150127421987773457290109/969867357074412172195\ 34467080225363544869519, c_1001_2 - 16170221291187961828026526636243006216476703/969867357074412\ 17219534467080225363544869519*c_1100_0^23 + 45952021997575886952790994508954932512970207/3232891190248040573984\ 4822360075121181623173*c_1100_0^22 - 250286735977128243675293370500849555309821909/323289119024804057398\ 44822360075121181623173*c_1100_0^21 + 522838377167243772774921896760827698977364848/107763039674934685799\ 48274120025040393874391*c_1100_0^20 - 21727092807787213444082482142572878196661790413/9698673570744121721\ 9534467080225363544869519*c_1100_0^19 + 59700840983310574606047509535470150250430091786/9698673570744121721\ 9534467080225363544869519*c_1100_0^18 - 97490444976225469756415051838249626498114901029/9698673570744121721\ 9534467080225363544869519*c_1100_0^17 + 21268428376234535816929188676541648079750958325/3232891190248040573\ 9844822360075121181623173*c_1100_0^16 + 143724808139279209592229627510183722626258337572/969867357074412172\ 19534467080225363544869519*c_1100_0^15 - 385989837715953172571711624997959251857269453668/969867357074412172\ 19534467080225363544869519*c_1100_0^14 + 141959904062261429280153195433211635701058504447/969867357074412172\ 19534467080225363544869519*c_1100_0^13 + 159975696546444026483099607961848841749297088030/323289119024804057\ 39844822360075121181623173*c_1100_0^12 - 501419157528543592779969238316475722993280219454/969867357074412172\ 19534467080225363544869519*c_1100_0^11 - 172153720344590853611373324871549830775026213689/969867357074412172\ 19534467080225363544869519*c_1100_0^10 + 60112246146083780944126532887179414437915641915/1077630396749346857\ 9948274120025040393874391*c_1100_0^9 - 122736332438249687983750041201157132832224552111/969867357074412172\ 19534467080225363544869519*c_1100_0^8 - 324842469626089522017543378030565133647781319373/969867357074412172\ 19534467080225363544869519*c_1100_0^7 + 43122367532676735453415970255578434447432571523/3232891190248040573\ 9844822360075121181623173*c_1100_0^6 + 39114147552999496093745438519143310146526469889/3232891190248040573\ 9844822360075121181623173*c_1100_0^5 - 4103298328889217630339057087905478489107448794/10776303967493468579\ 948274120025040393874391*c_1100_0^4 - 21466511949973245301657960099455295382101334227/9698673570744121721\ 9534467080225363544869519*c_1100_0^3 + 2161496551802399253923959632434125047429439103/96986735707441217219\ 534467080225363544869519*c_1100_0^2 + 1317984835470384207874174704150062404121368601/96986735707441217219\ 534467080225363544869519*c_1100_0 + 367415179510935247954831781735381880536512487/969867357074412172195\ 34467080225363544869519, c_1100_0^24 - 8*c_1100_0^23 + 42*c_1100_0^22 - 267*c_1100_0^21 + 1193*c_1100_0^20 - 3000*c_1100_0^19 + 4155*c_1100_0^18 - 973*c_1100_0^17 - 10594*c_1100_0^16 + 18819*c_1100_0^15 + 3621*c_1100_0^14 - 33250*c_1100_0^13 + 14494*c_1100_0^12 + 26292*c_1100_0^11 - 26332*c_1100_0^10 - 10433*c_1100_0^9 + 23090*c_1100_0^8 + 3358*c_1100_0^7 - 11178*c_1100_0^6 - 1929*c_1100_0^5 + 2497*c_1100_0^4 + 629*c_1100_0^3 - 160*c_1100_0^2 - 67*c_1100_0 - 11 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 2.740 Total time: 2.950 seconds, Total memory usage: 64.12MB