Magma V2.19-8 Wed Aug 21 2013 00:25:58 on localhost [Seed = 3634285496] Type ? for help. Type -D to quit. Loading file "K14n14305__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K14n14305 geometric_solution 12.15454674 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.105165482606 1.178182174966 0 2 3 4 0132 1230 3120 0132 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 7 0 -7 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.128485155206 0.520561548948 0 0 1 5 3120 0132 3012 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 1 0 -7 6 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.075162600617 0.842056101265 6 7 1 0 0132 0132 3120 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.372836706165 0.772991152202 6 5 1 8 2103 1023 0132 0132 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 -6 7 -1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.745225334221 1.703997047144 4 9 2 7 1023 0132 0132 0213 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 -1 1 0 6 0 -6 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.085825597716 0.574023184879 3 10 4 11 0132 0132 2103 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0.245905176338 0.769652537688 12 3 11 5 0132 0132 0132 0213 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.245905176338 0.769652537688 9 12 4 11 2310 3201 0132 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 1 0 0 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.494014506929 0.524261757233 10 5 8 11 3120 0132 3201 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 1 -1 0 0 0 -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.047959494203 1.010331521697 12 6 12 9 1023 0132 1230 3120 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.332393924834 1.293975840027 8 9 6 7 3120 0321 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485825373173 0.813504259716 7 10 8 10 0132 1023 2310 3012 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0.332393924834 1.293975840027 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0011_8']), 'c_1001_10' : negation(d['c_0011_8']), 'c_1001_12' : d['c_0011_11'], 'c_1001_5' : d['c_1001_0'], 'c_1001_4' : d['c_0101_1'], 'c_1001_7' : d['c_1001_0'], 'c_1001_6' : d['c_0011_4'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : negation(d['c_1001_1']), 'c_1001_2' : d['c_0011_0'], 'c_1001_9' : negation(d['c_0101_8']), 'c_1001_8' : negation(d['c_0101_12']), 'c_1010_12' : negation(d['c_0011_11']), 'c_1010_11' : d['c_1001_0'], 'c_1010_10' : d['c_0011_4'], '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_11'], 'c_0101_10' : d['c_0011_11'], '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' : negation(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' : 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_1100_9' : negation(d['c_0011_8']), 'c_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : d['c_0011_10'], 'c_1100_5' : negation(d['c_1001_1']), 'c_1100_4' : negation(d['c_0101_11']), 'c_1100_7' : negation(d['c_0101_8']), 'c_1100_6' : negation(d['c_0101_8']), 'c_1100_1' : negation(d['c_0101_11']), 'c_1100_0' : negation(d['c_0101_1']), 'c_1100_3' : negation(d['c_0101_1']), 'c_1100_2' : negation(d['c_1001_1']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_8']), 'c_1100_10' : d['c_0101_7'], 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_1001_1']), 'c_1010_6' : negation(d['c_0011_8']), 'c_1010_5' : negation(d['c_0101_8']), 'c_1010_4' : negation(d['c_0101_12']), 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0'], 'c_1010_9' : d['c_1001_0'], 'c_1010_8' : negation(d['c_0011_11']), 's_3_1' : negation(d['1']), 's_3_0' : d['1'], 's_3_3' : 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'], 'c_1100_12' : d['c_0011_8'], 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : negation(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_4']), 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_4'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : negation(d['c_0011_10']), 'c_0011_6' : negation(d['c_0011_10']), '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_0101_7'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_7'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_7'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_11'], 'c_0101_2' : d['c_0101_1'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0101_7']), 'c_0101_8' : d['c_0101_8'], '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_0011_11']), 'c_0110_8' : d['c_0101_7'], '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_1'], 'c_0110_5' : negation(d['c_0101_12']), 'c_0110_4' : d['c_0101_8'], 'c_0110_7' : d['c_0101_12'], 'c_0110_6' : d['c_0101_11']})} 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_4, c_0011_8, c_0101_0, c_0101_1, c_0101_11, c_0101_12, c_0101_7, c_0101_8, c_1001_0, c_1001_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 22 Groebner basis: [ t + 691510689626304981240549977979193438/856673627054254734389846414418\ 45*c_1001_1^21 - 8820384213301267894798077149602618039/171334725410\ 850946877969282883690*c_1001_1^20 + 3175749104666030111433191010287782481/13706778032868075750237542630\ 6952*c_1001_1^19 + 39900853034402201199596806571259997915/913785202\ 19120505001583617537968*c_1001_1^18 - 262792978707898446449202717970564254961/342669450821701893755938565\ 767380*c_1001_1^17 - 668367752389887612080022021414300940657/685338\ 901643403787511877131534760*c_1001_1^16 + 207015487254568236172578061163852593499/571115751369503156259897609\ 61230*c_1001_1^15 - 363457192017540654314174681020430596403/1713347\ 25410850946877969282883690*c_1001_1^14 - 2743805327310483595672594981173506440639/68533890164340378751187713\ 1534760*c_1001_1^13 + 1441803911895497263668487222672734754529/1522\ 97533698534175002639362563280*c_1001_1^12 - 1543668812878951368602756397682193035493/17133472541085094687796928\ 2883690*c_1001_1^11 + 3485812593246394108289531288241987183863/1370\ 677803286807575023754263069520*c_1001_1^10 + 896922524706948736715228650407039887957/342669450821701893755938565\ 767380*c_1001_1^9 - 2740854144308946235051294592259351600233/685338\ 901643403787511877131534760*c_1001_1^8 + 1311671905834626934516447467410633297321/34266945082170189375593856\ 5767380*c_1001_1^7 - 212103235495643774023665522496333623128/856673\ 62705425473438984641441845*c_1001_1^6 + 416138464687881826089312597034029344213/171334725410850946877969282\ 883690*c_1001_1^5 - 259686889219223605605311942244288223187/1522975\ 33698534175002639362563280*c_1001_1^4 + 705494706081749400984597551216668571483/685338901643403787511877131\ 534760*c_1001_1^3 - 78188606192594341818727829585154508609/57111575\ 136950315625989760961230*c_1001_1^2 + 105502582930698761613792821411644504949/171334725410850946877969282\ 883690*c_1001_1 - 878427043251924144730812241278289027133/137067780\ 3286807575023754263069520, c_0011_0 - 1, c_0011_10 + 36191816759590944931111406/1172361514865998041922699535*c_1\ 001_1^21 - 198501534726224999880926619/1172361514865998041922699535\ *c_1001_1^20 - 3988969666036234673323558/23447230297319960838453990\ 7*c_1001_1^19 + 324500907551724047537957518/23447230297319960838453\ 9907*c_1001_1^18 - 1895460486023485071827672668/1172361514865998041\ 922699535*c_1001_1^17 - 3589830907162092878695555228/11723615148659\ 98041922699535*c_1001_1^16 + 9125600994189703377894659722/117236151\ 4865998041922699535*c_1001_1^15 - 5937315330703191301760569883/1172\ 361514865998041922699535*c_1001_1^14 - 6467472093550835968292464456/1172361514865998041922699535*c_1001_1^\ 13 + 22989535013607895223946908167/1172361514865998041922699535*c_1\ 001_1^12 - 29350696310499303897965148583/11723615148659980419226995\ 35*c_1001_1^11 + 25766856632957171757602832456/11723615148659980419\ 22699535*c_1001_1^10 - 20746861117491673007769724279/11723615148659\ 98041922699535*c_1001_1^9 + 11891723916034946848540260868/117236151\ 4865998041922699535*c_1001_1^8 - 9561114703089055147547973662/11723\ 61514865998041922699535*c_1001_1^7 + 5488410987652935281453733489/1172361514865998041922699535*c_1001_1^\ 6 - 1320601442786202284258888292/1172361514865998041922699535*c_100\ 1_1^5 + 3598158623281776820879094674/1172361514865998041922699535*c\ _1001_1^4 - 1105550002813084092443543183/11723615148659980419226995\ 35*c_1001_1^3 + 1433006770646822297528459033/1172361514865998041922\ 699535*c_1001_1^2 + 599067292031093253847881204/1172361514865998041\ 922699535*c_1001_1 + 132092777915942215390521494/117236151486599804\ 1922699535, c_0011_11 - 77900742698196756653769334/1172361514865998041922699535*c_1\ 001_1^21 + 585630146968833687669015821/1172361514865998041922699535\ *c_1001_1^20 - 167929112968512806250388317/234472302973199608384539\ 907*c_1001_1^19 - 715688890540305233981145292/234472302973199608384\ 539907*c_1001_1^18 + 11483407157323583737105218497/1172361514865998\ 041922699535*c_1001_1^17 - 530238274140621966694370703/117236151486\ 5998041922699535*c_1001_1^16 - 37782352761006393980999397973/117236\ 1514865998041922699535*c_1001_1^15 + 52644482407385113392806417332/1172361514865998041922699535*c_1001_1\ ^14 - 3044263504425981497083056636/1172361514865998041922699535*c_1\ 001_1^13 - 80048396661333079643321185648/11723615148659980419226995\ 35*c_1001_1^12 + 150228683421194464596777935487/1172361514865998041\ 922699535*c_1001_1^11 - 172348158890917350033111821914/117236151486\ 5998041922699535*c_1001_1^10 + 152391237900680571087909715881/11723\ 61514865998041922699535*c_1001_1^9 - 127426928411946501692706936752/1172361514865998041922699535*c_1001_\ 1^8 + 95657182346322630965138447158/1172361514865998041922699535*c_\ 1001_1^7 - 69958167253357369347928181491/11723615148659980419226995\ 35*c_1001_1^6 + 53022660046444066783647475958/117236151486599804192\ 2699535*c_1001_1^5 - 33550235836157420750669544146/1172361514865998\ 041922699535*c_1001_1^4 + 24177736053488081021280065457/11723615148\ 65998041922699535*c_1001_1^3 - 11585006011777032725801155927/117236\ 1514865998041922699535*c_1001_1^2 + 5064371350659525835322987099/1172361514865998041922699535*c_1001_1 - 1460095283522490133273114326/1172361514865998041922699535, c_0011_4 - 39014900698031973946974/3211949355797254909377259*c_1001_1^2\ 1 + 359336732856765979478535/3211949355797254909377259*c_1001_1^20 - 1073414655983578412519284/3211949355797254909377259*c_1001_1^19 - 303497024205531527570040/3211949355797254909377259*c_1001_1^18 + 9458648280941313313325889/3211949355797254909377259*c_1001_1^17 - 17494086239600647180251059/3211949355797254909377259*c_1001_1^16 - 15189682753319281249376885/3211949355797254909377259*c_1001_1^15 + 83456857178861921609500214/3211949355797254909377259*c_1001_1^14 - 74312072701824203679735761/3211949355797254909377259*c_1001_1^13 - 52111752404904241845889802/3211949355797254909377259*c_1001_1^12 + 188825221685915792399386113/3211949355797254909377259*c_1001_1^11 - 275355972626512346328763062/3211949355797254909377259*c_1001_1^10 + 273555518417228683873295237/3211949355797254909377259*c_1001_1^9 - 215124478268949314547213398/3211949355797254909377259*c_1001_1^8 + 180393005366491827010320620/3211949355797254909377259*c_1001_1^7 - 124855081911674984520397071/3211949355797254909377259*c_1001_1^6 + 89985407995276896856335161/3211949355797254909377259*c_1001_1^5 - 68914890983426806666304958/3211949355797254909377259*c_1001_1^4 + 36767336265770474922688381/3211949355797254909377259*c_1001_1^3 - 32516778376450952823265486/3211949355797254909377259*c_1001_1^2 + 9210371524898006074342243/3211949355797254909377259*c_1001_1 - 5465116090975508184169040/3211949355797254909377259, c_0011_8 + 47146473616669848913934982/1172361514865998041922699535*c_10\ 01_1^21 - 233979521333904501991670673/1172361514865998041922699535*\ c_1001_1^20 - 56207661979692490514814357/23447230297319960838453990\ 7*c_1001_1^19 + 538434863708969709451415526/23447230297319960838453\ 9907*c_1001_1^18 - 913990652635634982091365146/11723615148659980419\ 22699535*c_1001_1^17 - 11349654029917205405317937796/11723615148659\ 98041922699535*c_1001_1^16 + 12339560992153151277234204619/11723615\ 14865998041922699535*c_1001_1^15 + 14616220012329533493693755449/1172361514865998041922699535*c_1001_1\ ^14 - 33593883172627826750756399842/1172361514865998041922699535*c_\ 1001_1^13 + 23421353189539213979629236269/1172361514865998041922699\ 535*c_1001_1^12 + 4314573666492278568960516659/11723615148659980419\ 22699535*c_1001_1^11 - 36202396796063634762304162268/11723615148659\ 98041922699535*c_1001_1^10 + 41532697535904846881928123232/11723615\ 14865998041922699535*c_1001_1^9 - 39531760247316363062022178614/117\ 2361514865998041922699535*c_1001_1^8 + 40037441242212511546186294731/1172361514865998041922699535*c_1001_1\ ^7 - 24911622082845434940052264367/1172361514865998041922699535*c_1\ 001_1^6 + 21291260479197499054901421841/117236151486599804192269953\ 5*c_1001_1^5 - 13494812905643248463774308802/1172361514865998041922\ 699535*c_1001_1^4 + 8208057681571922350249763144/117236151486599804\ 1922699535*c_1001_1^3 - 8776888748834096761416953729/11723615148659\ 98041922699535*c_1001_1^2 + 1568742387491965909065346458/1172361514\ 865998041922699535*c_1001_1 - 2162079589689250339172503302/11723615\ 14865998041922699535, c_0101_0 + c_1001_1, c_0101_1 - 6692441568571787231534382/1172361514865998041922699535*c_100\ 1_1^21 + 60157531390161962027200673/1172361514865998041922699535*c_\ 1001_1^20 - 26703434941498698243071253/234472302973199608384539907*\ c_1001_1^19 - 52090605003940724877060050/23447230297319960838453990\ 7*c_1001_1^18 + 1373374857555541417055168581/1172361514865998041922\ 699535*c_1001_1^17 - 932792959887423410913941944/117236151486599804\ 1922699535*c_1001_1^16 - 3325780698602578541566489279/1172361514865\ 998041922699535*c_1001_1^15 + 7441136598229087968367566961/11723615\ 14865998041922699535*c_1001_1^14 - 5134994723605282701306100378/1172361514865998041922699535*c_1001_1^\ 13 - 5489525090507994071008158659/1172361514865998041922699535*c_10\ 01_1^12 + 20131375961563850994428472141/117236151486599804192269953\ 5*c_1001_1^11 - 29214705427115381430456542372/117236151486599804192\ 2699535*c_1001_1^10 + 30904327038463893567360244863/117236151486599\ 8041922699535*c_1001_1^9 - 27983038255386426759382901886/1172361514\ 865998041922699535*c_1001_1^8 + 21744922851361983513740887064/11723\ 61514865998041922699535*c_1001_1^7 - 17449951947440913948541145593/1172361514865998041922699535*c_1001_1\ ^6 + 12414687890046949742090451039/1172361514865998041922699535*c_1\ 001_1^5 - 8911278556391037899515176698/1172361514865998041922699535\ *c_1001_1^4 + 6846649571893731129844377681/117236151486599804192269\ 9535*c_1001_1^3 - 3581421822201997945046488671/11723615148659980419\ 22699535*c_1001_1^2 + 3028988175828549480122022137/1172361514865998\ 041922699535*c_1001_1 - 636082357633371360887014678/117236151486599\ 8041922699535, c_0101_11 + 9964219625873557790692808/1172361514865998041922699535*c_10\ 01_1^21 - 56554096668917938052710872/1172361514865998041922699535*c\ _1001_1^20 + 1448927544633572975215006/234472302973199608384539907*\ c_1001_1^19 + 86617363434241062204917582/23447230297319960838453990\ 7*c_1001_1^18 - 598170881458834049337222844/11723615148659980419226\ 99535*c_1001_1^17 - 782652902545299393583424119/1172361514865998041\ 922699535*c_1001_1^16 + 2505460941407394885110960236/11723615148659\ 98041922699535*c_1001_1^15 - 2260591069903700085362083309/117236151\ 4865998041922699535*c_1001_1^14 - 768007563880598179160652158/11723\ 61514865998041922699535*c_1001_1^13 + 5909937628348803127417910391/1172361514865998041922699535*c_1001_1^\ 12 - 9277921994340027267715618394/1172361514865998041922699535*c_10\ 01_1^11 + 10174489279812782617682496618/117236151486599804192269953\ 5*c_1001_1^10 - 9833136721419739787461657902/1172361514865998041922\ 699535*c_1001_1^9 + 7590408933832653519045669134/117236151486599804\ 1922699535*c_1001_1^8 - 6584773060864617378145076416/11723615148659\ 98041922699535*c_1001_1^7 + 4694956540699393170515541402/1172361514\ 865998041922699535*c_1001_1^6 - 3416784028593600582425449076/117236\ 1514865998041922699535*c_1001_1^5 + 2968379682906380429170203312/1172361514865998041922699535*c_1001_1^\ 4 - 1349492559083306903329772274/1172361514865998041922699535*c_100\ 1_1^3 + 2852822714627332394890543699/1172361514865998041922699535*c\ _1001_1^2 - 234535863519064126994951758/117236151486599804192269953\ 5*c_1001_1 + 995011813298845680287038412/11723615148659980419226995\ 35, c_0101_12 - 39014900698031973946974/3211949355797254909377259*c_1001_1^\ 21 + 359336732856765979478535/3211949355797254909377259*c_1001_1^20 - 1073414655983578412519284/3211949355797254909377259*c_1001_1^19 - 303497024205531527570040/3211949355797254909377259*c_1001_1^18 + 9458648280941313313325889/3211949355797254909377259*c_1001_1^17 - 17494086239600647180251059/3211949355797254909377259*c_1001_1^16 - 15189682753319281249376885/3211949355797254909377259*c_1001_1^15 + 83456857178861921609500214/3211949355797254909377259*c_1001_1^14 - 74312072701824203679735761/3211949355797254909377259*c_1001_1^13 - 52111752404904241845889802/3211949355797254909377259*c_1001_1^12 + 188825221685915792399386113/3211949355797254909377259*c_1001_1^11 - 275355972626512346328763062/3211949355797254909377259*c_1001_1^10 + 273555518417228683873295237/3211949355797254909377259*c_1001_1^9 - 215124478268949314547213398/3211949355797254909377259*c_1001_1^8 + 180393005366491827010320620/3211949355797254909377259*c_1001_1^7 - 124855081911674984520397071/3211949355797254909377259*c_1001_1^6 + 89985407995276896856335161/3211949355797254909377259*c_1001_1^5 - 68914890983426806666304958/3211949355797254909377259*c_1001_1^4 + 36767336265770474922688381/3211949355797254909377259*c_1001_1^3 - 32516778376450952823265486/3211949355797254909377259*c_1001_1^2 + 9210371524898006074342243/3211949355797254909377259*c_1001_1 - 5465116090975508184169040/3211949355797254909377259, c_0101_7 - 47146473616669848913934982/1172361514865998041922699535*c_10\ 01_1^21 + 233979521333904501991670673/1172361514865998041922699535*\ c_1001_1^20 + 56207661979692490514814357/23447230297319960838453990\ 7*c_1001_1^19 - 538434863708969709451415526/23447230297319960838453\ 9907*c_1001_1^18 + 913990652635634982091365146/11723615148659980419\ 22699535*c_1001_1^17 + 11349654029917205405317937796/11723615148659\ 98041922699535*c_1001_1^16 - 12339560992153151277234204619/11723615\ 14865998041922699535*c_1001_1^15 - 14616220012329533493693755449/1172361514865998041922699535*c_1001_1\ ^14 + 33593883172627826750756399842/1172361514865998041922699535*c_\ 1001_1^13 - 23421353189539213979629236269/1172361514865998041922699\ 535*c_1001_1^12 - 4314573666492278568960516659/11723615148659980419\ 22699535*c_1001_1^11 + 36202396796063634762304162268/11723615148659\ 98041922699535*c_1001_1^10 - 41532697535904846881928123232/11723615\ 14865998041922699535*c_1001_1^9 + 39531760247316363062022178614/117\ 2361514865998041922699535*c_1001_1^8 - 40037441242212511546186294731/1172361514865998041922699535*c_1001_1\ ^7 + 24911622082845434940052264367/1172361514865998041922699535*c_1\ 001_1^6 - 21291260479197499054901421841/117236151486599804192269953\ 5*c_1001_1^5 + 13494812905643248463774308802/1172361514865998041922\ 699535*c_1001_1^4 - 8208057681571922350249763144/117236151486599804\ 1922699535*c_1001_1^3 + 8776888748834096761416953729/11723615148659\ 98041922699535*c_1001_1^2 - 1568742387491965909065346458/1172361514\ 865998041922699535*c_1001_1 + 2162079589689250339172503302/11723615\ 14865998041922699535, c_0101_8 - 77900742698196756653769334/1172361514865998041922699535*c_10\ 01_1^21 + 585630146968833687669015821/1172361514865998041922699535*\ c_1001_1^20 - 167929112968512806250388317/2344723029731996083845399\ 07*c_1001_1^19 - 715688890540305233981145292/2344723029731996083845\ 39907*c_1001_1^18 + 11483407157323583737105218497/11723615148659980\ 41922699535*c_1001_1^17 - 530238274140621966694370703/1172361514865\ 998041922699535*c_1001_1^16 - 37782352761006393980999397973/1172361\ 514865998041922699535*c_1001_1^15 + 52644482407385113392806417332/1172361514865998041922699535*c_1001_1\ ^14 - 3044263504425981497083056636/1172361514865998041922699535*c_1\ 001_1^13 - 80048396661333079643321185648/11723615148659980419226995\ 35*c_1001_1^12 + 150228683421194464596777935487/1172361514865998041\ 922699535*c_1001_1^11 - 172348158890917350033111821914/117236151486\ 5998041922699535*c_1001_1^10 + 152391237900680571087909715881/11723\ 61514865998041922699535*c_1001_1^9 - 127426928411946501692706936752/1172361514865998041922699535*c_1001_\ 1^8 + 95657182346322630965138447158/1172361514865998041922699535*c_\ 1001_1^7 - 69958167253357369347928181491/11723615148659980419226995\ 35*c_1001_1^6 + 53022660046444066783647475958/117236151486599804192\ 2699535*c_1001_1^5 - 33550235836157420750669544146/1172361514865998\ 041922699535*c_1001_1^4 + 24177736053488081021280065457/11723615148\ 65998041922699535*c_1001_1^3 - 11585006011777032725801155927/117236\ 1514865998041922699535*c_1001_1^2 + 5064371350659525835322987099/1172361514865998041922699535*c_1001_1 - 1460095283522490133273114326/1172361514865998041922699535, c_1001_0 + 9964219625873557790692808/1172361514865998041922699535*c_100\ 1_1^21 - 56554096668917938052710872/1172361514865998041922699535*c_\ 1001_1^20 + 1448927544633572975215006/234472302973199608384539907*c\ _1001_1^19 + 86617363434241062204917582/234472302973199608384539907\ *c_1001_1^18 - 598170881458834049337222844/117236151486599804192269\ 9535*c_1001_1^17 - 782652902545299393583424119/11723615148659980419\ 22699535*c_1001_1^16 + 2505460941407394885110960236/117236151486599\ 8041922699535*c_1001_1^15 - 2260591069903700085362083309/1172361514\ 865998041922699535*c_1001_1^14 - 768007563880598179160652158/117236\ 1514865998041922699535*c_1001_1^13 + 5909937628348803127417910391/1172361514865998041922699535*c_1001_1^\ 12 - 9277921994340027267715618394/1172361514865998041922699535*c_10\ 01_1^11 + 10174489279812782617682496618/117236151486599804192269953\ 5*c_1001_1^10 - 9833136721419739787461657902/1172361514865998041922\ 699535*c_1001_1^9 + 7590408933832653519045669134/117236151486599804\ 1922699535*c_1001_1^8 - 6584773060864617378145076416/11723615148659\ 98041922699535*c_1001_1^7 + 4694956540699393170515541402/1172361514\ 865998041922699535*c_1001_1^6 - 3416784028593600582425449076/117236\ 1514865998041922699535*c_1001_1^5 + 2968379682906380429170203312/1172361514865998041922699535*c_1001_1^\ 4 - 1349492559083306903329772274/1172361514865998041922699535*c_100\ 1_1^3 + 2852822714627332394890543699/1172361514865998041922699535*c\ _1001_1^2 - 234535863519064126994951758/117236151486599804192269953\ 5*c_1001_1 + 995011813298845680287038412/11723615148659980419226995\ 35, c_1001_1^22 - 15/2*c_1001_1^21 + 23/2*c_1001_1^20 + 40*c_1001_1^19 - 281/2*c_1001_1^18 + 50*c_1001_1^17 + 380*c_1001_1^16 - 1475/2*c_1001_1^15 + 859/2*c_1001_1^14 + 1411/2*c_1001_1^13 - 2125*c_1001_1^12 + 2979*c_1001_1^11 - 6195/2*c_1001_1^10 + 2712*c_1001_1^9 - 2115*c_1001_1^8 + 3247/2*c_1001_1^7 - 2307/2*c_1001_1^6 + 821*c_1001_1^5 - 1159/2*c_1001_1^4 + 667/2*c_1001_1^3 - 403/2*c_1001_1^2 + 60*c_1001_1 - 53/2 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 6.700 Total time: 6.910 seconds, Total memory usage: 64.12MB