Magma V2.19-8 Wed Aug 21 2013 00:55:10 on localhost [Seed = 1696825096] Type ? for help. Type -D to quit. Loading file "L13a2085__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2085 geometric_solution 10.86984890 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 1 1 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 -14 0 14 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.256526109632 0.843331374334 0 5 7 6 0132 0132 0132 0132 1 1 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 13 -13 0 -1 0 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.256526109632 0.843331374334 5 0 8 6 0132 0132 0132 2031 1 1 1 1 0 -1 0 1 1 0 -1 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 14 0 -14 -14 0 14 0 0 0 0 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.465833253011 1.564164851729 7 9 9 0 0213 0132 1302 0132 1 1 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 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.092578355464 0.919222187333 6 8 0 9 0321 0213 0132 1302 1 1 1 1 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 1 -14 13 -1 0 1 0 14 -14 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125464924672 1.323177514747 2 1 8 10 0132 0132 2310 0132 1 1 1 1 0 1 -1 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 -13 13 0 14 0 -14 0 -13 0 0 13 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.097058853512 0.592467706676 4 2 1 11 0321 1302 0132 0132 1 1 1 1 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 0 -1 0 -14 14 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125464924672 1.323177514747 3 11 11 1 0213 3012 0132 0132 1 1 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 0 0 0 0 0 0 0 -13 0 13 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.092578355464 0.919222187333 10 5 4 2 1023 3201 0213 0132 1 1 1 1 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 14 -14 0 -13 0 13 -13 14 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.097058853512 0.592467706676 3 3 4 11 2031 0132 2031 0321 1 1 0 1 0 0 0 0 0 0 1 -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 -13 13 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.891536031389 1.076952447189 12 8 5 12 0132 1023 0132 1023 1 1 1 1 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 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568303533365 1.072555466458 7 9 6 7 1230 0321 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 0 0 0 0 0 0 0 0 -1 0 1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092578355464 0.919222187333 10 12 12 10 0132 1230 3012 1023 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.885095874505 0.411239904864 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_4'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_3_10' : 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' : negation(d['c_0011_4']), '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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : negation(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' : negation(d['1']), 's_0_7' : d['1'], 's_0_4' : negation(d['1']), 's_0_5' : 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_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_1001_11']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : negation(d['1']), 's_3_0' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_4']), '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' : d['c_0011_3'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0101_0']), 'c_0011_10' : d['c_0011_10']})} 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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_12, c_0101_5, c_0101_9, c_1001_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 19 Groebner basis: [ t - 4961436763466715187599901914247535494530065117544782254170285586670\ 76863/2582505565967907833065740212967177764481296800335531837258181\ 97277597952*c_1100_1^18 - 12432760244221314450366848414105386924443\ 78509373116791314014705830746669/2582505565967907833065740212967177\ 76448129680033553183725818197277597952*c_1100_1^17 - 3104889760446751226432693186294478580406527102467604437018532454711\ 349723/258250556596790783306574021296717776448129680033553183725818\ 197277597952*c_1100_1^16 - 1767652599575592708165241510734087074237\ 0299259775313793979065112022441665/25825055659679078330657402129671\ 7776448129680033553183725818197277597952*c_1100_1^15 - 5721501707811701146898527974850056681848349266398962597127900190502\ 187893/258250556596790783306574021296717776448129680033553183725818\ 197277597952*c_1100_1^14 - 1286561113463462804050118039444739930577\ 9881935147843838823153675255927761/12912527829839539165328701064835\ 8888224064840016776591862909098638798976*c_1100_1^13 + 1328887775921211973340439288483006184451638839444655651933723631428\ 82176457/2582505565967907833065740212967177764481296800335531837258\ 18197277597952*c_1100_1^12 + 93413257964231214654320810492244563593\ 197061178573012943808994696905552257/645626391491976958266435053241\ 79444112032420008388295931454549319399488*c_1100_1^11 + 1428757060177662253659502881554194784520453815877813145007570259160\ 20724445/6456263914919769582664350532417944411203242000838829593145\ 4549319399488*c_1100_1^10 + 844332147518201845213739866046307261869\ 243221590647537386580330245159191505/129125278298395391653287010648\ 358888224064840016776591862909098638798976*c_1100_1^9 + 9560092985497295116369840122037156020990343715406018567017199297926\ 06110437/2582505565967907833065740212967177764481296800335531837258\ 18197277597952*c_1100_1^8 + 118265048396523984474178339301653440471\ 3904900554293927704737133219643564471/12912527829839539165328701064\ 8358888224064840016776591862909098638798976*c_1100_1^7 - 4151053406043160899791362981000373562833891183759565777342378758887\ 39342439/2582505565967907833065740212967177764481296800335531837258\ 18197277597952*c_1100_1^6 + 185765827789856541103932817586296218746\ 0764897008922531213525212924838527/32281319574598847913321752662089\ 722056016210004194147965727274659699744*c_1100_1^5 - 1676833152603102746412118693706348229579851241386339832359762617163\ 59869367/1291252782983953916532870106483588882240648400167765918629\ 09098638798976*c_1100_1^4 + 735967976691906263822204253494907020313\ 3591080985956830301432597298013039/25825055659679078330657402129671\ 7776448129680033553183725818197277597952*c_1100_1^3 + 1258271800953514588819620582688129824313586455640647968582983122424\ 54088071/2582505565967907833065740212967177764481296800335531837258\ 18197277597952*c_1100_1^2 - 114969389428735329002447758439634448351\ 68363574376839340387731030139337827/1291252782983953916532870106483\ 58888224064840016776591862909098638798976*c_1100_1 - 2875380543577970479576731031803599751650302692801644538861061340867\ 609385/258250556596790783306574021296717776448129680033553183725818\ 197277597952, c_0011_0 - 1, c_0011_10 - 15367643926837715470651659996478393739009966234159112661192\ 0440/11958864807299309671748415575232603769665456654441368973885127\ 67*c_1100_1^18 - 40431555969427460829247889713496595665273260997027\ 6846831238272/11958864807299309671748415575232603769665456654441368\ 97388512767*c_1100_1^17 - 10088143322265595137147221530065762626620\ 48093759596897799027503/1195886480729930967174841557523260376966545\ 665444136897388512767*c_1100_1^16 - 5595291451695364994585621981426266931444822906316440362981408553/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^15 - 246195262715081907838738665293726660941307496803310891378\ 1186384/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^14 - 81825993323901876909256077223266157259610329409\ 32168080068377550/1195886480729930967174841557523260376966545665444\ 136897388512767*c_1100_1^13 + 4005417698028779951335076859676703613\ 0657429544493644637616909118/11958864807299309671748415575232603769\ 66545665444136897388512767*c_1100_1^12 + 120720822533015996113764586689142047269584068571293725828529751870/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^11 + 1910220800077700614608965719579895836311682258467726014\ 52625136261/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^10 + 5447809680639417880475138532789691583584083\ 36295892559314667566318/1195886480729930967174841557523260376966545\ 665444136897388512767*c_1100_1^9 + 363602212374718613367937458956869869198165755691553471866600671816/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^8 + 77289830073377523313172218501556052385840071884680416671\ 6447629673/11958864807299309671748415575232603769665456654441368973\ 88512767*c_1100_1^7 - 244928967275527065931349340912339945466147066\ 85729780635076619336/1195886480729930967174841557523260376966545665\ 444136897388512767*c_1100_1^6 + 64689689850165467566246123120579868\ 71139274995729699231985352620/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^5 - 80037182317571376360929662281038426360794300018428701413879110167/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^4 + 130188429346412350637556900759247552701978539519820419005\ 06093013/1195886480729930967174841557523260376966545665444136897388\ 512767*c_1100_1^3 + 38479397354910459010575228303435978806043653973\ 039732096079668676/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^2 - 2583433828414833588691444967924017196\ 848879584665294824452037443/119588648072993096717484155752326037696\ 6545665444136897388512767*c_1100_1 - 2664713314067328226732453077011287836553080421598998552663319663/11\ 95886480729930967174841557523260376966545665444136897388512767, c_0011_11 + 24751685815363174352942642100863542657951268504203735770895\ 6392/11958864807299309671748415575232603769665456654441368973885127\ 67*c_1100_1^18 + 70988956889131018185902142432912406992737342742188\ 8630178286869/11958864807299309671748415575232603769665456654441368\ 97388512767*c_1100_1^17 + 17607287767710650743505562160824060591768\ 14339464338364552405173/1195886480729930967174841557523260376966545\ 665444136897388512767*c_1100_1^16 + 9351143533052375586593753632163027622298015192105945401381049955/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^15 + 598564771249692277431808103284724630237473109657121957370\ 1051659/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^14 + 13459048151796250494713812988823520496322235249\ 514642095061168172/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^13 - 616001387545222207054813589935207276\ 15532248077017451754613743312/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^12 - 210737951058889285561782828998620863748143572146976469622335937050/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^11 - 3488142246727355024152826598788198396882487523194975145\ 37677370394/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^10 - 9366552622761939841891855764752742276559833\ 55893765519643574042372/1195886480729930967174841557523260376966545\ 665444136897388512767*c_1100_1^9 - 772267327834627932689952946132833622176634792027094759452800662635/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^8 - 13202122138628082117680224575988158865616089754575216470\ 35358272942/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^7 - 21933816494301155068313799665039811029656553\ 9203947623649583844383/11958864807299309671748415575232603769665456\ 65444136897388512767*c_1100_1^6 + 920603015933798359029944332431168\ 29477661101681052678994471571145/1195886480729930967174841557523260\ 376966545665444136897388512767*c_1100_1^5 + 113606188373781074912338637970574033447814507399836932631254780341/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^4 + 21297155628941761283165863066747570160845451877975871987\ 873804662/119588648072993096717484155752326037696654566544413689738\ 8512767*c_1100_1^3 - 7557298828833071237839948171969196558908351250\ 2369376807874434918/11958864807299309671748415575232603769665456654\ 44136897388512767*c_1100_1^2 - 357745506988737721593743033994686723\ 7450919511962913320450177227/11958864807299309671748415575232603769\ 66545665444136897388512767*c_1100_1 + 9174669021213563207689380272370763455542136620376102067802455795/11\ 95886480729930967174841557523260376966545665444136897388512767, c_0011_3 - 1, c_0011_4 - 914004361447233229438506020059716455587013720584254634339199\ 47/1195886480729930967174841557523260376966545665444136897388512767\ *c_1100_1^18 - 2614831292723340933979267006392200001188509361692846\ 91818637342/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^17 - 6483429878106095999806788394565555356077667\ 86740860872408664330/1195886480729930967174841557523260376966545665\ 444136897388512767*c_1100_1^16 - 3448453268124805132144419620806324\ 806448991966958832500655089875/119588648072993096717484155752326037\ 6966545665444136897388512767*c_1100_1^15 - 2185627516520172673819913223106217445050823015530241822267386203/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^14 - 495540116712834098182692779229346324787896129096747120847\ 0981986/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^13 + 22784712575994777129935009855022067047820650687\ 028592986727596429/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^12 + 776521056585254502113440348543653267\ 65693685039635351252141921604/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^11 + 128262255824430048968717500047053223512685319290795803755399487707/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^10 + 3449663385909941598111830902451074746609815113784668802\ 71773440939/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^9 + 28269392206799430928389000308465497971835968\ 9682210812193110677475/11958864807299309671748415575232603769665456\ 65444136897388512767*c_1100_1^8 + 485585716535765585524003356105845\ 889693162457173560152515790462295/119588648072993096717484155752326\ 0376966545665444136897388512767*c_1100_1^7 + 77359944437215175138337020472618085704616996822669633688502132113/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^6 - 343462477090660163685519098434185032833970760523571179122\ 31184406/1195886480729930967174841557523260376966545665444136897388\ 512767*c_1100_1^5 - 42034927511719609301947780974544611483538947297\ 291157401446238298/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^4 - 7640298983511767212224207519684660865\ 578853192438530281261584319/119588648072993096717484155752326037696\ 6545665444136897388512767*c_1100_1^3 + 27880909265074165734728696851947878252768001911520709488277308661/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^2 - 189989620233148684199038208265682682432364225879192040005\ 112285/119588648072993096717484155752326037696654566544413689738851\ 2767*c_1100_1 - 338653698397392930658058463449495075618541003459354\ 8422422188857/11958864807299309671748415575232603769665456654441368\ 97388512767, c_0011_6 + 914004361447233229438506020059716455587013720584254634339199\ 47/1195886480729930967174841557523260376966545665444136897388512767\ *c_1100_1^18 + 2614831292723340933979267006392200001188509361692846\ 91818637342/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^17 + 6483429878106095999806788394565555356077667\ 86740860872408664330/1195886480729930967174841557523260376966545665\ 444136897388512767*c_1100_1^16 + 3448453268124805132144419620806324\ 806448991966958832500655089875/119588648072993096717484155752326037\ 6966545665444136897388512767*c_1100_1^15 + 2185627516520172673819913223106217445050823015530241822267386203/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^14 + 495540116712834098182692779229346324787896129096747120847\ 0981986/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^13 - 22784712575994777129935009855022067047820650687\ 028592986727596429/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^12 - 776521056585254502113440348543653267\ 65693685039635351252141921604/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^11 - 128262255824430048968717500047053223512685319290795803755399487707/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^10 - 3449663385909941598111830902451074746609815113784668802\ 71773440939/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^9 - 28269392206799430928389000308465497971835968\ 9682210812193110677475/11958864807299309671748415575232603769665456\ 65444136897388512767*c_1100_1^8 - 485585716535765585524003356105845\ 889693162457173560152515790462295/119588648072993096717484155752326\ 0376966545665444136897388512767*c_1100_1^7 - 77359944437215175138337020472618085704616996822669633688502132113/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^6 + 343462477090660163685519098434185032833970760523571179122\ 31184406/1195886480729930967174841557523260376966545665444136897388\ 512767*c_1100_1^5 + 42034927511719609301947780974544611483538947297\ 291157401446238298/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^4 + 7640298983511767212224207519684660865\ 578853192438530281261584319/119588648072993096717484155752326037696\ 6545665444136897388512767*c_1100_1^3 - 27880909265074165734728696851947878252768001911520709488277308661/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^2 + 189989620233148684199038208265682682432364225879192040005\ 112285/119588648072993096717484155752326037696654566544413689738851\ 2767*c_1100_1 + 338653698397392930658058463449495075618541003459354\ 8422422188857/11958864807299309671748415575232603769665456654441368\ 97388512767, c_0101_0 - 123238785944287603384227100031893820193177997603526681160604\ 25/1195886480729930967174841557523260376966545665444136897388512767\ *c_1100_1^18 - 3208886293324026910109889807895794263203979812779547\ 1732991813/11958864807299309671748415575232603769665456654441368973\ 88512767*c_1100_1^17 - 79895843101314522139520411107369368553341743\ 639698649860318957/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^16 - 446055303508026686231760366484602798\ 352254048975874371533512701/119588648072993096717484155752326037696\ 6545665444136897388512767*c_1100_1^15 - 184123067877227597150112127755924235089854890201332041190636252/119\ 5886480729930967174841557523260376966545665444136897388512767*c_110\ 0_1^14 - 6455512958388588795584815809008637695095011604067174409506\ 38440/1195886480729930967174841557523260376966545665444136897388512\ 767*c_1100_1^13 + 3236509356924064083068203617279031209923605821586\ 470920607098646/119588648072993096717484155752326037696654566544413\ 6897388512767*c_1100_1^12 + 960163644326314598732980344362838545440\ 6023083277593005465923940/11958864807299309671748415575232603769665\ 45665444136897388512767*c_1100_1^11 + 15029890427639833368214085900780354825154354349145829874757804006/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^10 + 43143411002001964983923246472583554159489296323524194598\ 769824453/119588648072993096717484155752326037696654566544413689738\ 8512767*c_1100_1^9 + 2771969965499053424522438746867711336695996257\ 2703264168228956588/11958864807299309671748415575232603769665456654\ 44136897388512767*c_1100_1^8 + 606136748700450040083556538550486254\ 83529984802535877183668939109/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^7 - 4398782441271147647140145182770639174209011978113616338457094167/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^6 - 3148317026029857720646791561202917719474931308667668512753\ 67551/1195886480729930967174841557523260376966545665444136897388512\ 767*c_1100_1^5 - 69644474057609093209811019456612322142079980360726\ 29098511374558/1195886480729930967174841557523260376966545665444136\ 897388512767*c_1100_1^4 + 11881001429708976198402272365909953017394\ 32796012214133630084614/1195886480729930967174841557523260376966545\ 665444136897388512767*c_1100_1^3 + 2856924069673981967344677092113982788329501949366921527690190609/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^2 - 2664932644857399534089882592436814811055478744689836328255\ 93137/1195886480729930967174841557523260376966545665444136897388512\ 767*c_1100_1 + 1692290721393696510762301564869585723101499027628319\ 42652050653/1195886480729930967174841557523260376966545665444136897\ 388512767, c_0101_10 - 42446049195613905317214325435089268281593124945810899959915\ 960/119588648072993096717484155752326037696654566544413689738851276\ 7*c_1100_1^18 - 142565988443408741036069883845474184728343964189237\ 451647300963/119588648072993096717484155752326037696654566544413689\ 7388512767*c_1100_1^17 - 357656303810693019431015528922622945780366\ 350594152465222285117/119588648072993096717484155752326037696654566\ 5444136897388512767*c_1100_1^16 - 174299948946171981907884297566186\ 8293506182066694031489233811999/11958864807299309671748415575232603\ 76966545665444136897388512767*c_1100_1^15 - 1791880923279872400589369175091919939622329421782149133746200772/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^14 - 267739292139834772123574692079133035807467609446058824361\ 1741017/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^13 + 94286678368034210009673723787902174143713983406\ 86306202015663818/1195886480729930967174841557523260376966545665444\ 136897388512767*c_1100_1^12 + 4150219621015325529108501679226570731\ 5685272314113382301322636331/11958864807299309671748415575232603769\ 66545665444136897388512767*c_1100_1^11 + 76406106284292723234385224349671534250972800887051024976047235901/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^10 + 18727750511985876387635079813299931281259607296339904598\ 2042820759/11958864807299309671748415575232603769665456654441368973\ 88512767*c_1100_1^9 + 207700591049642356568715216342820584777123956\ 877265046747037117502/119588648072993096717484155752326037696654566\ 5444136897388512767*c_1100_1^8 + 2794668657181978127638581752647752\ 66341346985003875726178235393100/1195886480729930967174841557523260\ 376966545665444136897388512767*c_1100_1^7 + 145741735755348093395533522748899569209950138002330746146826963863/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^6 - 12640617025204518309252274798943669341876924101479237878\ 844186711/119588648072993096717484155752326037696654566544413689738\ 8512767*c_1100_1^5 - 1700471542957178075230269145856200520522370791\ 8717729254607781882/11958864807299309671748415575232603769665456654\ 44136897388512767*c_1100_1^4 - 129186303132565565867867302588320707\ 51636002710929915205174216978/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^3 + 14285205392959799043777700320967302725150431155198505170116591992/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^2 + 563275215825747519698641529234514714743777747202129027634\ 3729118/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1 - 17682698015911060403541949978856324774871807162014\ 81859244478168/1195886480729930967174841557523260376966545665444136\ 897388512767, c_0101_12 + 13914337245601088517772843497633500909867315100504601549465\ 7559/11958864807299309671748415575232603769665456654441368973885127\ 67*c_1100_1^18 + 38959889548330591306777074053651323313713825854400\ 5259841991217/11958864807299309671748415575232603769665456654441368\ 97388512767*c_1100_1^17 + 97304819477659615450359063721651400294901\ 2296542200294757156966/11958864807299309671748415575232603769665456\ 65444136897388512767*c_1100_1^16 + 5218342976738170126084743434267485290996470887219232853124097970/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^15 + 308070287597463017757868046981613617274489667460979801020\ 0817008/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^14 + 77286442819386016248317078031062908571038467537\ 08272955470866375/1195886480729930967174841557523260376966545665444\ 136897388512767*c_1100_1^13 - 3491390836106882729794275963559811349\ 8327367845262103523323914450/11958864807299309671748415575232603769\ 66545665444136897388512767*c_1100_1^12 - 115485795239548616719310061323980363601182649520335415269520275301/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^11 - 1906530573220538029501213125368348989829360322894143475\ 84716580873/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^10 - 5216771293976456822146953981038203375731017\ 75603238021869484126148/1195886480729930967174841557523260376966545\ 665444136897388512767*c_1100_1^9 - 412764202100472212788564524856213240839028445208599935972737418974/\ 1195886480729930967174841557523260376966545665444136897388512767*c_\ 1100_1^8 - 75224338441345399806479231106808901124104595479661384754\ 3387595711/11958864807299309671748415575232603769665456654441368973\ 88512767*c_1100_1^7 - 104142235249004765881938827669440945349054666\ 817209280269890519370/119588648072993096717484155752326037696654566\ 5444136897388512767*c_1100_1^6 - 5437729541923788612236883317726080\ 54976722494429455555358219284/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^5 + 52069964076189473703958542058190301840116208323852610580590159656/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^4 - 401149412688136226491402355042586605981678329421999170977\ 559426/119588648072993096717484155752326037696654566544413689738851\ 2767*c_1100_1^3 - 3827837028752092482154635003213471083810932138632\ 8294710031532141/11958864807299309671748415575232603769665456654441\ 36897388512767*c_1100_1^2 - 152589951798541740420158171555582271344\ 9134477078363616021884647/11958864807299309671748415575232603769665\ 45665444136897388512767*c_1100_1 + 3518802969690672982002696895533087260971268127019265117017273273/11\ 95886480729930967174841557523260376966545665444136897388512767, c_0101_5 - 647159858641850976417252169966921354621099409251864308411164\ 98/1195886480729930967174841557523260376966545665444136897388512767\ *c_1100_1^18 - 1869233103466419950631680230506840696896715550833192\ 46541012185/1195886480729930967174841557523260376966545665444136897\ 388512767*c_1100_1^17 - 4640428011498458743891985371692949879612807\ 65982616619735076513/1195886480729930967174841557523260376966545665\ 444136897388512767*c_1100_1^16 - 2454236996802765322304914390550378\ 009400031258188280400070870205/119588648072993096717484155752326037\ 6966545665444136897388512767*c_1100_1^15 - 1614392679456577426678254586634811412273085065510735929166279253/11\ 95886480729930967174841557523260376966545665444136897388512767*c_11\ 00_1^14 - 354824581753956853105995740423659400056431266757969967811\ 9204200/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1^13 + 16030713602532666445611339283476593519890946702\ 960265781158550454/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^12 + 554337397418383851390947592898902102\ 16756202067705767118052093842/1195886480729930967174841557523260376\ 966545665444136897388512767*c_1100_1^11 + 92289713023875404477847659784713392662878113737905907026878394980/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^10 + 24672258509420566456681939598505927833402033313683175910\ 0027160494/11958864807299309671748415575232603769665456654441368973\ 88512767*c_1100_1^9 + 206879483698639314122172939963523662739915412\ 662673135066579307685/119588648072993096717484155752326037696654566\ 5444136897388512767*c_1100_1^8 + 3490407807912770407200157453871241\ 07175284061110401342003777348352/1195886480729930967174841557523260\ 376966545665444136897388512767*c_1100_1^7 + 64618276068581200406463955705161938887331545558608356272579580157/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^6 - 233678061752478031658906135562798229108669495763384431700\ 09202333/1195886480729930967174841557523260376966545665444136897388\ 512767*c_1100_1^5 - 29536333350341856308443076021484810480736612805\ 254617828362303745/119588648072993096717484155752326037696654566544\ 4136897388512767*c_1100_1^4 - 6016557661918226858717448027378248429\ 687745493098811425350636024/119588648072993096717484155752326037696\ 6545665444136897388512767*c_1100_1^3 + 19811169758182380908942088015796209083547508679327957831319817596/1\ 195886480729930967174841557523260376966545665444136897388512767*c_1\ 100_1^2 + 276154782962374361716066519895497222534910229827716050307\ 1889030/11958864807299309671748415575232603769665456654441368973885\ 12767*c_1100_1 - 24015950532657045945282110033808619431713165511890\ 05222958078081/1195886480729930967174841557523260376966545665444136\ 897388512767, c_0101_9 + c_1100_1, c_1001_11 - 1, c_1100_1^19 + 95/41*c_1100_1^18 + 233/41*c_1100_1^17 + 1403/41*c_1100_1^16 + 175/41*c_1100_1^15 + 1898/41*c_1100_1^14 - 11383/41*c_1100_1^13 - 28968/41*c_1100_1^12 - 40220/41*c_1100_1^11 - 127742/41*c_1100_1^10 - 49067/41*c_1100_1^9 - 168446/41*c_1100_1^8 + 74265/41*c_1100_1^7 + 6444/41*c_1100_1^6 + 18114/41*c_1100_1^5 - 9425/41*c_1100_1^4 - 10293/41*c_1100_1^3 + 4438/41*c_1100_1^2 + 1015/41*c_1100_1 - 436/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.200 Total time: 0.410 seconds, Total memory usage: 32.09MB