Magma V2.19-8 Wed Aug 21 2013 00:55:21 on localhost [Seed = 1882614281] Type ? for help. Type -D to quit. Loading file "L13a5041__sl2_c2.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a5041 geometric_solution 11.99413932 oriented_manifold CS_known 0.0000000000000002 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 1 0132 0132 0132 2031 1 1 0 1 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 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 0 0 0.815837243987 0.901041438129 0 0 5 4 0132 1302 0132 0132 1 1 1 0 0 0 1 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.447813216167 0.609855921003 6 0 7 3 0132 0132 0132 3201 1 1 1 0 0 0 -1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081510064812 1.069962734451 8 2 6 0 0132 2310 1023 0132 1 1 1 1 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.383978175416 0.528852848941 8 9 1 10 2103 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 1 -1 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.176503441467 0.726560276287 11 11 8 1 0132 1230 0213 0132 1 1 0 1 0 1 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 -1 0 1 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.447813216167 0.609855921003 2 7 3 12 0132 3120 1023 0132 1 1 0 1 0 1 -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 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.461913902855 0.538090450038 12 6 9 2 0132 3120 3120 0132 1 1 0 1 0 0 -1 1 0 0 0 0 0 1 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.461913902855 0.538090450038 3 5 4 10 0132 0213 2103 2031 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.684275902260 1.299649376678 11 4 7 12 3201 0132 3120 0213 1 1 1 1 0 1 -1 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 -1 1 0 0 0 0 0 -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.101015961466 1.238170032490 10 8 4 10 3012 1302 0132 1230 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.684275902260 1.299649376678 5 12 5 9 0132 2103 3012 2310 1 1 1 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 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.217740111554 1.065323236360 7 11 6 9 0132 2103 0132 0213 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 -1 1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.081510064812 1.069962734451 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_0011_11'], 'c_1001_10' : d['c_0101_3'], 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : d['c_1001_4'], 'c_1001_7' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_1'], 'c_1001_0' : negation(d['c_0101_6']), 'c_1001_3' : d['c_0101_6'], 'c_1001_2' : negation(d['c_0011_0']), 'c_1001_9' : d['c_0101_3'], 'c_1001_8' : d['c_0011_4'], 'c_1010_12' : negation(d['c_0101_7']), 'c_1010_11' : d['c_0101_7'], 'c_1010_10' : d['c_0101_10'], 's_0_10' : d['1'], 's_0_11' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_1'], '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' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_0101_10']), 'c_0011_12' : d['c_0011_11'], 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0011_10'], 'c_1100_7' : negation(d['c_0011_3']), 'c_1100_6' : d['c_1001_4'], 'c_1100_1' : d['c_0011_10'], 'c_1100_0' : negation(d['c_1001_4']), 'c_1100_3' : negation(d['c_1001_4']), 'c_1100_2' : negation(d['c_0011_3']), 's_3_11' : d['1'], 'c_1100_9' : negation(d['c_0101_7']), 'c_1100_11' : negation(d['c_0011_4']), 'c_1100_10' : d['c_0011_10'], 'c_1100_12' : d['c_1001_4'], 'c_1010_7' : negation(d['c_0011_0']), 'c_1010_6' : d['c_0011_11'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : d['c_0101_3'], 'c_1010_3' : negation(d['c_0101_6']), 'c_1010_2' : negation(d['c_0101_6']), 'c_1010_1' : d['c_1001_4'], 'c_1010_0' : negation(d['c_0011_0']), 'c_1010_9' : d['c_1001_4'], 'c_1010_8' : d['c_0011_10'], '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' : 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' : negation(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_4']), 'c_0011_8' : negation(d['c_0011_3']), 's_3_10' : d['1'], 'c_0011_5' : negation(d['c_0011_11']), 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_11']), '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_0011_3']), 'c_0110_10' : d['c_0011_10'], 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : negation(d['c_0011_3']), 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_12'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_3'], 'c_0101_8' : d['c_0101_0'], 'c_0011_10' : d['c_0011_10'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0101_7']), 'c_0110_8' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0101_10'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_12']})} 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 12 Groebner basis: [ t + 178914871942209/454808459776*c_1001_4^11 - 48170692654477/41346223616*c_1001_4^10 + 11182966355301/56851057472*c_1001_4^9 + 2716677561584455/454808459776*c_1001_4^8 - 4059283694034397/227404229888*c_1001_4^7 + 1782435602854119/56851057472*c_1001_4^6 - 4421245359377795/113702114944*c_1001_4^5 + 3970374624069145/113702114944*c_1001_4^4 - 2519588839312221/113702114944*c_1001_4^3 + 195341159102019/20673111808*c_1001_4^2 - 135941366423167/56851057472*c_1001_4 + 60094573975383/227404229888, c_0011_0 - 1, c_0011_10 + 2041684866/80754343*c_1001_4^11 - 5766695930/80754343*c_1001_4^10 + 31295867/80754343*c_1001_4^9 + 31346844198/80754343*c_1001_4^8 - 87951404344/80754343*c_1001_4^7 + 148005880839/80754343*c_1001_4^6 - 175890060970/80754343*c_1001_4^5 + 149203626393/80754343*c_1001_4^4 - 86955086518/80754343*c_1001_4^3 + 32252110896/80754343*c_1001_4^2 - 6242478674/80754343*c_1001_4 + 329099607/80754343, c_0011_11 - 1, c_0011_3 + c_1001_4, c_0011_4 - 1, c_0101_0 - 1, c_0101_1 + 2631305495/80754343*c_1001_4^11 - 7911520201/80754343*c_1001_4^10 + 1296113684/80754343*c_1001_4^9 + 40734400242/80754343*c_1001_4^8 - 120760861901/80754343*c_1001_4^7 + 209675464213/80754343*c_1001_4^6 - 256515973406/80754343*c_1001_4^5 + 225415157444/80754343*c_1001_4^4 - 137531438389/80754343*c_1001_4^3 + 54271051699/80754343*c_1001_4^2 - 11580806287/80754343*c_1001_4 + 733915837/80754343, c_0101_10 - 3001999975/80754343*c_1001_4^11 + 7908755613/80754343*c_1001_4^10 + 1039686913/80754343*c_1001_4^9 - 45039728117/80754343*c_1001_4^8 + 121476576946/80754343*c_1001_4^7 - 200448520844/80754343*c_1001_4^6 + 233777367297/80754343*c_1001_4^5 - 194253497430/80754343*c_1001_4^4 + 110568699658/80754343*c_1001_4^3 - 39869977752/80754343*c_1001_4^2 + 7427169137/80754343*c_1001_4 - 362139006/80754343, c_0101_12 + 337949300/80754343*c_1001_4^11 - 1343507529/80754343*c_1001_4^10 + 1243250442/80754343*c_1001_4^9 + 5047672125/80754343*c_1001_4^8 - 21055376219/80754343*c_1001_4^7 + 42897409138/80754343*c_1001_4^6 - 59638043436/80754343*c_1001_4^5 + 60293972200/80754343*c_1001_4^4 - 43369440451/80754343*c_1001_4^3 + 20672891220/80754343*c_1001_4^2 - 5661402183/80754343*c_1001_4 + 537562773/80754343, c_0101_3 + 251671329/80754343*c_1001_4^11 - 801316742/80754343*c_1001_4^10 + 21567375/80754343*c_1001_4^9 + 4339883919/80754343*c_1001_4^8 - 11754081338/80754343*c_1001_4^7 + 18772174236/80754343*c_1001_4^6 - 20987869000/80754343*c_1001_4^5 + 15917558851/80754343*c_1001_4^4 - 7206911420/80754343*c_1001_4^3 + 1346049583/80754343*c_1001_4^2 + 323074570/80754343*c_1001_4 - 132746543/80754343, c_0101_6 + 275902822/80754343*c_1001_4^11 - 692053638/80754343*c_1001_4^10 - 217187882/80754343*c_1001_4^9 + 4090043820/80754343*c_1001_4^8 - 10448403880/80754343*c_1001_4^7 + 16871288318/80754343*c_1001_4^6 - 19473057460/80754343*c_1001_4^5 + 16059726591/80754343*c_1001_4^4 - 9309169678/80754343*c_1001_4^3 + 3757765791/80754343*c_1001_4^2 - 948143786/80754343*c_1001_4 + 128553393/80754343, c_0101_7 + 275902822/80754343*c_1001_4^11 - 692053638/80754343*c_1001_4^10 - 217187882/80754343*c_1001_4^9 + 4090043820/80754343*c_1001_4^8 - 10448403880/80754343*c_1001_4^7 + 16871288318/80754343*c_1001_4^6 - 19473057460/80754343*c_1001_4^5 + 16059726591/80754343*c_1001_4^4 - 9309169678/80754343*c_1001_4^3 + 3757765791/80754343*c_1001_4^2 - 948143786/80754343*c_1001_4 + 128553393/80754343, c_1001_4^12 - 42/13*c_1001_4^11 + 17/13*c_1001_4^10 + 15*c_1001_4^9 - 643/13*c_1001_4^8 + 1198/13*c_1001_4^7 - 1572/13*c_1001_4^6 + 1512/13*c_1001_4^5 - 1056/13*c_1001_4^4 + 518/13*c_1001_4^3 - 166/13*c_1001_4^2 + 30/13*c_1001_4 - 2/13 ], 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_0101_0, c_0101_1, c_0101_10, c_0101_12, c_0101_3, c_0101_6, c_0101_7, c_1001_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 14 Groebner basis: [ t - 1383631993590215446064/30906750105025577*c_1001_4^13 + 266903927641547141914366/710855252415588271*c_1001_4^12 - 1151918677987667201721846/710855252415588271*c_1001_4^11 + 6924986575759793783479667/1421710504831176542*c_1001_4^10 - 8025782047756300863476824/710855252415588271*c_1001_4^9 + 29736766710424701319201643/1421710504831176542*c_1001_4^8 - 22137158965189413900947486/710855252415588271*c_1001_4^7 + 26068359142059572087550931/710855252415588271*c_1001_4^6 - 47181204872537862877934161/1421710504831176542*c_1001_4^5 + 15799517014594352134232066/710855252415588271*c_1001_4^4 - 7456106036545683208484834/710855252415588271*c_1001_4^3 + 4641565953694797818886179/1421710504831176542*c_1001_4^2 - 852501578672713637569251/1421710504831176542*c_1001_4 + 71729563679868466099433/1421710504831176542, c_0011_0 - 1, c_0011_10 + 19487584940661286/30906750105025577*c_1001_4^13 - 49554561266231887/30906750105025577*c_1001_4^12 - 206423795001937014/30906750105025577*c_1001_4^11 + 1598829903486221321/30906750105025577*c_1001_4^10 - 5678843613913526292/30906750105025577*c_1001_4^9 + 14191002753154708830/30906750105025577*c_1001_4^8 - 27113511733577684320/30906750105025577*c_1001_4^7 + 40262876448806788843/30906750105025577*c_1001_4^6 - 45275074427866963546/30906750105025577*c_1001_4^5 + 36624839732718201372/30906750105025577*c_1001_4^4 - 19792063460058627340/30906750105025577*c_1001_4^3 + 6251430385461550155/30906750105025577*c_1001_4^2 - 889012481651417258/30906750105025577*c_1001_4 - 2070902577418460/30906750105025577, c_0011_11 + 281133336671079178/30906750105025577*c_1001_4^13 - 2342950942844366326/30906750105025577*c_1001_4^12 + 9888000803746092485/30906750105025577*c_1001_4^11 - 28990183783497103721/30906750105025577*c_1001_4^10 + 65534281835588313233/30906750105025577*c_1001_4^9 - 117935133507623831686/30906750105025577*c_1001_4^8 + 169286461732615439775/30906750105025577*c_1001_4^7 - 189418144532436081241/30906750105025577*c_1001_4^6 + 158786405615413727838/30906750105025577*c_1001_4^5 - 94694000516219951929/30906750105025577*c_1001_4^4 + 37230763713759094453/30906750105025577*c_1001_4^3 - 8652080057927468375/30906750105025577*c_1001_4^2 + 850780493313619507/30906750105025577*c_1001_4 + 43251716188029490/30906750105025577, c_0011_3 - 254746739825145390/30906750105025577*c_1001_4^13 + 2067868571145213290/30906750105025577*c_1001_4^12 - 8601772023946360248/30906750105025577*c_1001_4^11 + 24940186106392474098/30906750105025577*c_1001_4^10 - 55743360561136987891/30906750105025577*c_1001_4^9 + 99087943817682319284/30906750105025577*c_1001_4^8 - 140024248449449743094/30906750105025577*c_1001_4^7 + 153199320967147634600/30906750105025577*c_1001_4^6 - 123873420698169927415/30906750105025577*c_1001_4^5 + 69036301950367826536/30906750105025577*c_1001_4^4 - 23454595129039119302/30906750105025577*c_1001_4^3 + 3649981008135922256/30906750105025577*c_1001_4^2 + 15128588240271705/30906750105025577*c_1001_4 - 34170210865188272/30906750105025577, c_0011_4 + 531978817564625582/30906750105025577*c_1001_4^13 - 4214689763229571151/30906750105025577*c_1001_4^12 + 17288680890425836034/30906750105025577*c_1001_4^11 - 49755807419601171394/30906750105025577*c_1001_4^10 + 110624832348707700090/30906750105025577*c_1001_4^9 - 195860038246091822379/30906750105025577*c_1001_4^8 + 276046805693904722162/30906750105025577*c_1001_4^7 - 301958103529693141617/30906750105025577*c_1001_4^6 + 245881210776145883766/30906750105025577*c_1001_4^5 - 140517398796064849648/30906750105025577*c_1001_4^4 + 51393798107980280682/30906750105025577*c_1001_4^3 - 10182606741504304040/30906750105025577*c_1001_4^2 + 621275549172487508/30906750105025577*c_1001_4 + 65198738502301276/30906750105025577, c_0101_0 - 1, c_0101_1 + 668013924475254565/30906750105025577*c_1001_4^13 - 4927937725650140481/30906750105025577*c_1001_4^12 + 19082985865706744281/30906750105025577*c_1001_4^11 - 52449477011199091555/30906750105025577*c_1001_4^10 + 111590102271504982089/30906750105025577*c_1001_4^9 - 188274814352828362219/30906750105025577*c_1001_4^8 + 250070050600492641006/30906750105025577*c_1001_4^7 - 251941554017676964464/30906750105025577*c_1001_4^6 + 181707882823200104828/30906750105025577*c_1001_4^5 - 85415206733969370806/30906750105025577*c_1001_4^4 + 21582947295492159297/30906750105025577*c_1001_4^3 - 1261704076174156903/30906750105025577*c_1001_4^2 - 455422129136278393/30906750105025577*c_1001_4 + 26973181095418695/30906750105025577, c_0101_10 + 98924023322951129/30906750105025577*c_1001_4^13 - 820088702021133492/30906750105025577*c_1001_4^12 + 3481928610761374986/30906750105025577*c_1001_4^11 - 10301172124083584326/30906750105025577*c_1001_4^10 + 23514322512785702266/30906750105025577*c_1001_4^9 - 42824606673066995904/30906750105025577*c_1001_4^8 + 62443582540067336430/30906750105025577*c_1001_4^7 - 71486972280258892974/30906750105025577*c_1001_4^6 + 62113675093623267430/30906750105025577*c_1001_4^5 - 39167414455458288792/30906750105025577*c_1001_4^4 + 16769601061527957874/30906750105025577*c_1001_4^3 - 4324365671779336974/30906750105025577*c_1001_4^2 + 432704741260990733/30906750105025577*c_1001_4 + 45471407159205718/30906750105025577, c_0101_12 - 680049323076226131/30906750105025577*c_1001_4^13 + 5463223863772392958/30906750105025577*c_1001_4^12 - 22662436311982809949/30906750105025577*c_1001_4^11 + 65793931162523175300/30906750105025577*c_1001_4^10 - 147481109309892113507/30906750105025577*c_1001_4^9 + 263409973017044959634/30906750105025577*c_1001_4^8 - 375144282387498166146/30906750105025577*c_1001_4^7 + 416103805306909521642/30906750105025577*c_1001_4^6 - 345544207790144116871/30906750105025577*c_1001_4^5 + 203393968354190457766/30906750105025577*c_1001_4^4 - 78203874702904254979/30906750105025577*c_1001_4^3 + 17126947290497477728/30906750105025577*c_1001_4^2 - 1437827461044341816/30906750105025577*c_1001_4 - 90879168151225223/30906750105025577, c_0101_3 + 213709615820451266/30906750105025577*c_1001_4^13 - 1730637233142692576/30906750105025577*c_1001_4^12 + 7237452663488935290/30906750105025577*c_1001_4^11 - 21141555451139087584/30906750105025577*c_1001_4^10 + 47638673885646296806/30906750105025577*c_1001_4^9 - 85544782953835718511/30906750105025577*c_1001_4^8 + 122554393293207332904/30906750105025577*c_1001_4^7 - 136906435889629003978/30906750105025577*c_1001_4^6 + 114632575950500336366/30906750105025577*c_1001_4^5 - 68006729758484363186/30906750105025577*c_1001_4^4 + 26277939938889477068/30906750105025577*c_1001_4^3 - 5747041474065351655/30906750105025577*c_1001_4^2 + 535728984476562358/30906750105025577*c_1001_4 - 1339388232146180/30906750105025577, c_0101_6 - 153345612072302468/30906750105025577*c_1001_4^13 + 1256954030935511030/30906750105025577*c_1001_4^12 - 5276825360580913214/30906750105025577*c_1001_4^11 + 15423376714628471235/30906750105025577*c_1001_4^10 - 34745006841822684326/30906750105025577*c_1001_4^9 + 62307855936621354521/30906750105025577*c_1001_4^8 - 89015010269838344902/30906750105025577*c_1001_4^7 + 98897835570709781210/30906750105025577*c_1001_4^6 - 81861353014663452750/30906750105025577*c_1001_4^5 + 47423988776850536423/30906750105025577*c_1001_4^4 - 17337580213833927854/30906750105025577*c_1001_4^3 + 3207821643423193339/30906750105025577*c_1001_4^2 - 90084462060711828/30906750105025577*c_1001_4 - 33440714925181975/30906750105025577, c_0101_7 - 188317773617163112/30906750105025577*c_1001_4^13 + 1393618633190404186/30906750105025577*c_1001_4^12 - 5347217408867369354/30906750105025577*c_1001_4^11 + 14500091324931584089/30906750105025577*c_1001_4^10 - 30377683518650458494/30906750105025577*c_1001_4^9 + 50201760897483082994/30906750105025577*c_1001_4^8 - 64664524087075867558/30906750105025577*c_1001_4^7 + 61783231798273488992/30906750105025577*c_1001_4^6 - 40025519534121135166/30906750105025577*c_1001_4^5 + 14382499737444970607/30906750105025577*c_1001_4^4 - 611847791190156698/30906750105025577*c_1001_4^3 - 1262068942141499428/30906750105025577*c_1001_4^2 + 266012370618701648/30906750105025577*c_1001_4 + 11484577059080047/30906750105025577, c_1001_4^14 - 192/23*c_1001_4^13 + 825/23*c_1001_4^12 - 2470/23*c_1001_4^11 + 5703/23*c_1001_4^10 - 10520/23*c_1001_4^9 + 15581/23*c_1001_4^8 - 18218/23*c_1001_4^7 + 16317/23*c_1001_4^6 - 10756/23*c_1001_4^5 + 215*c_1001_4^4 - 1468/23*c_1001_4^3 + 243/23*c_1001_4^2 - 14/23*c_1001_4 - 1/23 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.600 Total time: 0.800 seconds, Total memory usage: 32.09MB