Magma V2.19-8 Wed Aug 21 2013 01:01:51 on localhost [Seed = 829893346] Type ? for help. Type -D to quit. Loading file "L14n13395__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n13395 geometric_solution 12.18080513 oriented_manifold CS_known 0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 1 3 0132 0132 3012 0132 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 -1 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 0.794980552900 0.705544913913 0 0 5 4 0132 1230 0132 0132 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 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.379787597332 1.306984344434 6 0 8 7 0132 0132 0132 0132 1 0 1 1 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 -1 0 0 0 -2 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.547954893036 0.454527313472 9 10 0 11 0132 0132 0132 0132 1 1 0 1 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 -3 0 0 3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.485698015189 1.331935734711 12 12 1 9 0132 1302 0132 2031 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 1 -1 0 0 8 -9 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.910540470768 0.871867142689 9 5 5 1 3120 1230 3012 0132 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 1 -1 0 1 0 -1 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.226824402053 0.529514456057 2 7 7 10 0132 2103 1230 1302 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 0 0 0 0 0 0 0 0 0 0.459450253078 0.448384761937 8 6 2 6 2310 2103 0132 3012 1 0 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 0 0 0 2 0 -2 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.095909786072 0.909054626943 11 10 7 2 1302 0321 3201 0132 1 0 1 0 0 0 0 0 1 0 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 -1 1 -2 0 0 2 0 0 0 0 3 -1 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.851534639146 1.279098048076 3 4 11 5 0132 1302 0132 3120 1 1 1 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 1 -1 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.198180067988 0.463677478523 12 3 6 8 2310 0132 2031 0321 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 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.617937355405 0.879035727576 12 8 3 9 1230 2031 0132 0132 1 1 0 0 0 0 0 0 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 0 0 1 0 0 -1 0 -3 0 3 1 2 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.350616821909 1.029211673884 4 11 10 4 0132 3012 3201 2031 0 1 1 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 -1 0 1 0 0 0 0 -8 -1 0 9 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.116460208873 1.135014127826 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : negation(d['c_0101_2']), 'c_1001_10' : negation(d['c_0101_2']), 'c_1001_12' : negation(d['c_0011_11']), 'c_1001_5' : negation(d['c_0011_5']), 'c_1001_4' : d['c_0101_0'], 'c_1001_7' : d['c_0011_0'], 'c_1001_6' : d['c_0011_7'], 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : d['c_0011_0'], 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], 'c_1001_9' : d['c_0011_8'], 'c_1001_8' : negation(d['c_0101_6']), 'c_1010_12' : negation(d['c_0011_12']), 'c_1010_11' : d['c_0011_8'], 'c_1010_10' : d['c_1001_2'], '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_0011_12'], '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' : 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_0011_7']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_0011_5'], 'c_1100_4' : d['c_0011_5'], 'c_1100_7' : negation(d['c_0011_7']), 'c_1100_6' : d['c_0011_11'], 'c_1100_1' : d['c_0011_5'], 'c_1100_0' : negation(d['c_0101_5']), 'c_1100_3' : negation(d['c_0101_5']), 'c_1100_2' : negation(d['c_0011_7']), 's_3_11' : d['1'], 'c_1100_11' : negation(d['c_0101_5']), 'c_1100_10' : negation(d['c_0101_6']), 's_3_10' : d['1'], 'c_1010_7' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0011_10'], 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : d['c_0011_0'], 'c_1010_1' : d['c_0101_0'], 'c_1010_0' : d['c_1001_2'], 'c_1010_9' : negation(d['c_0011_5']), 'c_1010_8' : d['c_1001_2'], 's_3_1' : d['1'], 's_3_0' : 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' : d['c_0011_10'], 'c_0011_8' : d['c_0011_8'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : negation(d['c_0011_12']), 'c_0011_7' : d['c_0011_7'], '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' : negation(d['c_0011_10']), 'c_0011_2' : negation(d['c_0011_0']), 'c_0110_11' : d['c_0011_12'], 'c_0110_10' : negation(d['c_0011_8']), 'c_0110_12' : d['c_0101_0'], 'c_0101_12' : d['c_0011_8'], 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : d['c_0101_6'], 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : d['c_0101_1'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_12'], 'c_0101_8' : negation(d['c_0011_11']), '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' : d['c_0101_1'], 'c_0110_8' : d['c_0101_2'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : negation(d['c_0101_5']), 'c_0110_3' : d['c_0011_12'], 'c_0110_2' : d['c_0101_6'], 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : d['c_0011_8'], 'c_0110_7' : d['c_0011_11'], 'c_0110_6' : d['c_0101_2']})} 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_12, c_0011_5, c_0011_7, c_0011_8, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6, c_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t - 31789085303321894413354620611432047036249/1165280349835883196575463\ 0840184355704960*c_1001_2^26 + 313041033008123572974045592399094148\ 708621/11652803498358831965754630840184355704960*c_1001_2^25 - 1801953074562296937286917307544519804501817/11652803498358831965754\ 630840184355704960*c_1001_2^24 + 7409260822029688376516627961922020\ 333528419/11652803498358831965754630840184355704960*c_1001_2^23 - 4792224012574307730779358367789362211315273/23305606996717663931509\ 26168036871140992*c_1001_2^22 + 64113521699680994148277254067297828\ 366899167/11652803498358831965754630840184355704960*c_1001_2^21 - 6369456183585371275777871241144616126767787/50664363036342747677194\ 0471312363291520*c_1001_2^20 + 224532319730530067752224172711512584\ 95054219/896369499873756305058048526168027361920*c_1001_2^19 - 25674703941947865358278916936442027808923301/5826401749179415982877\ 31542009217785248*c_1001_2^18 + 40102989971734776576556732321382349\ 7202612167/5826401749179415982877315420092177852480*c_1001_2^17 - 69504677668544023984673846202266269148032299/7283002186474269978596\ 64427511522231560*c_1001_2^16 + 84890021324320361814958581984254630\ 301262189/728300218647426997859664427511522231560*c_1001_2^15 - 358654627374850688890141966915024181370261391/291320087458970799143\ 8657710046088926240*c_1001_2^14 + 313258427605759445262146375580468\ 71006257251/291320087458970799143865771004608892624*c_1001_2^13 - 49139667377357925461499114993633090013495817/7283002186474269978596\ 64427511522231560*c_1001_2^12 + 24909450969342311538815409734532041\ 107715243/2913200874589707991438657710046088926240*c_1001_2^11 + 66199300881913758897799597143069789566385831/1165280349835883196575\ 463084018435570496*c_1001_2^10 - 6545142118533880305507863477752175\ 41980114733/5826401749179415982877315420092177852480*c_1001_2^9 + 842281825210065594837105058106208297064810677/582640174917941598287\ 7315420092177852480*c_1001_2^8 - 4552742096177417308231142764746000\ 0682053389/306652723641021893835648180004851465920*c_1001_2^7 + 744808730349947767441835040495444183796567141/582640174917941598287\ 7315420092177852480*c_1001_2^6 - 1110844350911284913732006494561117\ 73046992565/1165280349835883196575463084018435570496*c_1001_2^5 + 355606212399332177566073533904264118376994637/582640174917941598287\ 7315420092177852480*c_1001_2^4 - 3993994637806419991083247981948645\ 81211848203/11652803498358831965754630840184355704960*c_1001_2^3 + 92845733970031504801077245237483850034684377/5826401749179415982877\ 315420092177852480*c_1001_2^2 - 68287678952487625575691676090869164\ 792487441/11652803498358831965754630840184355704960*c_1001_2 + 3429718307358691998483516120797609915053289/23305606996717663931509\ 26168036871140992, c_0011_0 - 1, c_0011_10 + 10709975415750708456299779/7329953688818171090235433355*c_1\ 001_2^26 + 327909096945884340411934859/7329953688818171090235433355\ *c_1001_2^25 - 3561168408677073388177630543/73299536888181710902354\ 33355*c_1001_2^24 + 20575300735934531020406300287/73299536888181710\ 90235433355*c_1001_2^23 - 82594923459251707657864850003/73299536888\ 18171090235433355*c_1001_2^22 + 256800366575740073154933068199/7329\ 953688818171090235433355*c_1001_2^21 - 654748084094698587631479618282/7329953688818171090235433355*c_1001_\ 2^20 + 1416820843804556225905046884731/7329953688818171090235433355\ *c_1001_2^19 - 2660823441672989073674968164948/73299536888181710902\ 35433355*c_1001_2^18 + 877851312861291487117045830135/1465990737763\ 634218047086671*c_1001_2^17 - 6376674211491140595064198623988/73299\ 53688818171090235433355*c_1001_2^16 + 8115244125157070725249243177523/7329953688818171090235433355*c_1001\ _2^15 - 8893849765878686390486702690817/732995368881817109023543335\ 5*c_1001_2^14 + 8065827328076195964358417409187/7329953688818171090\ 235433355*c_1001_2^13 - 5377863268323574459360265399483/73299536888\ 18171090235433355*c_1001_2^12 + 1146984921291644343254691919811/732\ 9953688818171090235433355*c_1001_2^11 + 119118582238622840293750548178/236450118994134551297917205*c_1001_2\ ^10 - 1584574272191087356103673648628/1465990737763634218047086671*\ c_1001_2^9 + 2082690492041573420316125040601/1465990737763634218047\ 086671*c_1001_2^8 - 2129722495255824791941653477471/146599073776363\ 4218047086671*c_1001_2^7 + 9079752267125841971428471812209/73299536\ 88818171090235433355*c_1001_2^6 - 6541850992503609365725277357677/7\ 329953688818171090235433355*c_1001_2^5 + 4129808112649102857662288012468/7329953688818171090235433355*c_1001\ _2^4 - 439629690703206511578717614697/1465990737763634218047086671*\ c_1001_2^3 + 195401014855684627506486322192/14659907377636342180470\ 86671*c_1001_2^2 - 310310915452327904681148941674/73299536888181710\ 90235433355*c_1001_2 + 44612078940555852310454855811/73299536888181\ 71090235433355, c_0011_11 + 1135569035202387704818728499/227228564353363303797298434005\ *c_1001_2^26 - 12218154157833187688923162861/2272285643533633037972\ 98434005*c_1001_2^25 + 71226783556805803830041623786/22722856435336\ 3303797298434005*c_1001_2^24 - 292531585129759806692328824384/22722\ 8564353363303797298434005*c_1001_2^23 + 928528929215120712282448810418/227228564353363303797298434005*c_100\ 1_2^22 - 2413960666170712648656880732602/22722856435336330379729843\ 4005*c_1001_2^21 + 5313396457304946131108768437447/2272285643533633\ 03797298434005*c_1001_2^20 - 10131938267243274376693511508818/22722\ 8564353363303797298434005*c_1001_2^19 + 3390489100690528757751215294848/45445712870672660759459686801*c_100\ 1_2^18 - 24978304484713056037630742227454/2272285643533633037972984\ 34005*c_1001_2^17 + 32255709792135607524971024673928/22722856435336\ 3303797298434005*c_1001_2^16 - 35930196566945122479792728979334/227\ 228564353363303797298434005*c_1001_2^15 + 6649445241409101025946075165567/45445712870672660759459686801*c_100\ 1_2^14 - 22969959554169827953425527518166/2272285643533633037972984\ 34005*c_1001_2^13 + 6187375262627995809871896119834/227228564353363\ 303797298434005*c_1001_2^12 + 13545702004601669192687759961466/2272\ 28564353363303797298434005*c_1001_2^11 - 1004122805690617603924269726183/7329953688818171090235433355*c_1001\ _2^10 + 8420319584898519819752142437671/454457128706726607594596868\ 01*c_1001_2^9 - 43550853949724371652460671132839/227228564353363303\ 797298434005*c_1001_2^8 + 37666885047551645534412567734887/22722856\ 4353363303797298434005*c_1001_2^7 - 27146675890992462034731766573408/227228564353363303797298434005*c_1\ 001_2^6 + 17338752375286774472164299975494/227228564353363303797298\ 434005*c_1001_2^5 - 9304960060982811994227878653787/227228564353363\ 303797298434005*c_1001_2^4 + 4211619316080629043020990399618/227228\ 564353363303797298434005*c_1001_2^3 - 1499085689789436224756202947781/227228564353363303797298434005*c_10\ 01_2^2 + 37324123854621671838118634833/4544571287067266075945968680\ 1*c_1001_2 + 16157870663319911673228024032/227228564353363303797298\ 434005, c_0011_12 + 272944200138703430063588612/7329953688818171090235433355*c_\ 1001_2^26 - 2351412186213307189036936433/73299536888181710902354333\ 55*c_1001_2^25 + 11938660975722851541378392594/73299536888181710902\ 35433355*c_1001_2^24 - 42960683174134454524802045689/73299536888181\ 71090235433355*c_1001_2^23 + 120436033846703456306082309147/7329953\ 688818171090235433355*c_1001_2^22 - 276660694194960274997757435833/7329953688818171090235433355*c_1001_\ 2^21 + 536141028221256439295877341151/7329953688818171090235433355*\ c_1001_2^20 - 891465441539318795377766217094/7329953688818171090235\ 433355*c_1001_2^19 + 1273806586431275167908844665866/73299536888181\ 71090235433355*c_1001_2^18 - 307092813383980270575178741678/1465990\ 737763634218047086671*c_1001_2^17 + 1482386730755292780337597501309/7329953688818171090235433355*c_1001\ _2^16 - 955774768522573662922422614616/7329953688818171090235433355\ *c_1001_2^15 - 43280762272220064229893962814/7329953688818171090235\ 433355*c_1001_2^14 + 1297767210683385932839189806419/73299536888181\ 71090235433355*c_1001_2^13 - 490362419991904320955087141679/1465990\ 737763634218047086671*c_1001_2^12 + 3085768080288168765138367446484/7329953688818171090235433355*c_1001\ _2^11 - 95557663552706728374714944702/236450118994134551297917205*c\ _1001_2^10 + 2078351866599358143803926221578/7329953688818171090235\ 433355*c_1001_2^9 - 150691779296662592942624948951/1465990737763634\ 218047086671*c_1001_2^8 - 81856437227633761751527465683/14659907377\ 63634218047086671*c_1001_2^7 + 227519969242163163519669363853/14659\ 90737763634218047086671*c_1001_2^6 - 1212899978003554598724040017488/7329953688818171090235433355*c_1001\ _2^5 + 1024450925040664100011014241893/7329953688818171090235433355\ *c_1001_2^4 - 137177739539919479791949969050/1465990737763634218047\ 086671*c_1001_2^3 + 379706295363667449089945687846/7329953688818171\ 090235433355*c_1001_2^2 - 172863255152629155289153056529/7329953688\ 818171090235433355*c_1001_2 + 28044405944425488221780918812/7329953\ 688818171090235433355, c_0011_5 + 1250154999199600001196649863/21044060590477975065514631245*c\ _1001_2^26 - 1999542323583968012686252212/4208812118095595013102926\ 249*c_1001_2^25 + 47970234706686657231630522748/2104406059047797506\ 5514631245*c_1001_2^24 - 161743531352232948677638091843/21044060590\ 477975065514631245*c_1001_2^23 + 84200731043577851903163822965/4208\ 812118095595013102926249*c_1001_2^22 - 176675162380494444840878510249/4208812118095595013102926249*c_1001_\ 2^21 + 1521637942967960561982433800897/2104406059047797506551463124\ 5*c_1001_2^20 - 2141442611606515434506546730342/2104406059047797506\ 5514631245*c_1001_2^19 + 2316199574192125747970240133997/2104406059\ 0477975065514631245*c_1001_2^18 - 1424762232214412706115467776592/2\ 1044060590477975065514631245*c_1001_2^17 - 215392527944975202361449213233/4208812118095595013102926249*c_1001_\ 2^16 + 5264056395872612324624584896187/2104406059047797506551463124\ 5*c_1001_2^15 - 2059962880909369574765212326198/4208812118095595013\ 102926249*c_1001_2^14 + 163479601126371900436811482778/236450118994\ 134551297917205*c_1001_2^13 - 3252185014905700564417183337957/42088\ 12118095595013102926249*c_1001_2^12 + 14037159167311502791264162476113/21044060590477975065514631245*c_10\ 01_2^11 - 8036003370936112361531497734393/2104406059047797506551463\ 1245*c_1001_2^10 - 88604140671216717008484869569/420881211809559501\ 3102926249*c_1001_2^9 + 8710292931964272503532508226726/21044060590\ 477975065514631245*c_1001_2^8 - 13701587965857891486281586609256/21\ 044060590477975065514631245*c_1001_2^7 + 14980250336553938031220745121443/21044060590477975065514631245*c_10\ 01_2^6 - 12293958985720671287486937311132/2104406059047797506551463\ 1245*c_1001_2^5 + 8947969315054035578425830475076/21044060590477975\ 065514631245*c_1001_2^4 - 5232911011109802119074090577333/210440605\ 90477975065514631245*c_1001_2^3 + 2662875506862448205869889350766/2\ 1044060590477975065514631245*c_1001_2^2 - 1037611599378794756218519756708/21044060590477975065514631245*c_100\ 1_2 + 138427167664943579576646164743/21044060590477975065514631245, c_0011_7 + 10709975415750708456299779/7329953688818171090235433355*c_10\ 01_2^26 + 327909096945884340411934859/7329953688818171090235433355*\ c_1001_2^25 - 3561168408677073388177630543/732995368881817109023543\ 3355*c_1001_2^24 + 20575300735934531020406300287/732995368881817109\ 0235433355*c_1001_2^23 - 82594923459251707657864850003/732995368881\ 8171090235433355*c_1001_2^22 + 256800366575740073154933068199/73299\ 53688818171090235433355*c_1001_2^21 - 654748084094698587631479618282/7329953688818171090235433355*c_1001_\ 2^20 + 1416820843804556225905046884731/7329953688818171090235433355\ *c_1001_2^19 - 2660823441672989073674968164948/73299536888181710902\ 35433355*c_1001_2^18 + 877851312861291487117045830135/1465990737763\ 634218047086671*c_1001_2^17 - 6376674211491140595064198623988/73299\ 53688818171090235433355*c_1001_2^16 + 8115244125157070725249243177523/7329953688818171090235433355*c_1001\ _2^15 - 8893849765878686390486702690817/732995368881817109023543335\ 5*c_1001_2^14 + 8065827328076195964358417409187/7329953688818171090\ 235433355*c_1001_2^13 - 5377863268323574459360265399483/73299536888\ 18171090235433355*c_1001_2^12 + 1146984921291644343254691919811/732\ 9953688818171090235433355*c_1001_2^11 + 119118582238622840293750548178/236450118994134551297917205*c_1001_2\ ^10 - 1584574272191087356103673648628/1465990737763634218047086671*\ c_1001_2^9 + 2082690492041573420316125040601/1465990737763634218047\ 086671*c_1001_2^8 - 2129722495255824791941653477471/146599073776363\ 4218047086671*c_1001_2^7 + 9079752267125841971428471812209/73299536\ 88818171090235433355*c_1001_2^6 - 6541850992503609365725277357677/7\ 329953688818171090235433355*c_1001_2^5 + 4129808112649102857662288012468/7329953688818171090235433355*c_1001\ _2^4 - 439629690703206511578717614697/1465990737763634218047086671*\ c_1001_2^3 + 193935024117920993288439235521/14659907377636342180470\ 86671*c_1001_2^2 - 310310915452327904681148941674/73299536888181710\ 90235433355*c_1001_2 + 29952171562919510129983989101/73299536888181\ 71090235433355, c_0011_8 - 418900283727389676631678904/7329953688818171090235433355*c_1\ 001_2^26 + 4199712812689647474773088819/732995368881817109023543335\ 5*c_1001_2^25 - 23968307359242716904225441573/732995368881817109023\ 5433355*c_1001_2^24 + 96974899685896449003425306417/732995368881817\ 1090235433355*c_1001_2^23 - 306166920571429416752303244833/73299536\ 88818171090235433355*c_1001_2^22 + 795420071233357054562134132781/7329953688818171090235433355*c_1001_\ 2^21 - 1757272197585549492090179102233/7329953688818171090235433355\ *c_1001_2^20 + 3373397044227880542858744722582/73299536888181710902\ 35433355*c_1001_2^19 - 5697362674737702652330755941901/732995368881\ 8171090235433355*c_1001_2^18 + 1699903583478425338229244239084/1465\ 990737763634218047086671*c_1001_2^17 - 11162835369356611699042481839229/7329953688818171090235433355*c_100\ 1_2^16 + 2547716707111421025798514624668/14659907377636342180470866\ 71*c_1001_2^15 - 12251687669668615352582985134957/73299536888181710\ 90235433355*c_1001_2^14 + 9150698855962351320099497777887/732995368\ 8818171090235433355*c_1001_2^13 - 3639922200401981159437217884189/7\ 329953688818171090235433355*c_1001_2^12 - 638910997907283892951190990367/1465990737763634218047086671*c_1001_\ 2^11 + 312798055231215085267976075821/236450118994134551297917205*c\ _1001_2^10 - 14172583251008406879881574904274/732995368881817109023\ 5433355*c_1001_2^9 + 15580785758420943195931871702492/7329953688818\ 171090235433355*c_1001_2^8 - 14130752963947348831622705140163/73299\ 53688818171090235433355*c_1001_2^7 + 10859403691419971597268654259621/7329953688818171090235433355*c_100\ 1_2^6 - 7248980792567807623674371865711/732995368881817109023543335\ 5*c_1001_2^5 + 835393893502567535985224487575/146599073776363421804\ 7086671*c_1001_2^4 - 2031796160697071895913076986468/73299536888181\ 71090235433355*c_1001_2^3 + 791542871446347564226704264363/73299536\ 88818171090235433355*c_1001_2^2 - 190470016469811891240057494488/73\ 29953688818171090235433355*c_1001_2 + 25647112097038615977457539334/7329953688818171090235433355, c_0101_0 - 1321468869856164121054890467/21044060590477975065514631245*c\ _1001_2^26 + 11620416182964856119822902513/210440605904779750655146\ 31245*c_1001_2^25 - 11972329814035764292171480259/42088121180955950\ 13102926249*c_1001_2^24 + 218896818600875691289043600676/2104406059\ 0477975065514631245*c_1001_2^23 - 124945822978371991191296324618/42\ 08812118095595013102926249*c_1001_2^22 + 293132817804339234371452232217/4208812118095595013102926249*c_1001_\ 2^21 - 2914538719408365810035506071251/2104406059047797506551463124\ 5*c_1001_2^20 + 5006320880411012516275353804429/2104406059047797506\ 5514631245*c_1001_2^19 - 7472238791423479177514721017942/2104406059\ 0477975065514631245*c_1001_2^18 + 9608816859111560000687792060223/2\ 1044060590477975065514631245*c_1001_2^17 - 10379048874090595515939804863879/21044060590477975065514631245*c_10\ 01_2^16 + 1755552611448243244901814499179/4208812118095595013102926\ 249*c_1001_2^15 - 4453231550943045395910984134007/21044060590477975\ 065514631245*c_1001_2^14 - 21363302766801895085918818569/2364501189\ 94134551297917205*c_1001_2^13 + 8753115400971282303677394981442/210\ 44060590477975065514631245*c_1001_2^12 - 2792979594380477205027819104765/4208812118095595013102926249*c_1001\ _2^11 + 3182674629431403089353063037321/420881211809559501310292624\ 9*c_1001_2^10 - 13973506592497210497710301778971/210440605904779750\ 65514631245*c_1001_2^9 + 9068217868841507106139416380258/2104406059\ 0477975065514631245*c_1001_2^8 - 3755733574742665700943467788394/21\ 044060590477975065514631245*c_1001_2^7 - 486505162256746842885592632139/21044060590477975065514631245*c_1001\ _2^6 + 2255523785994739119823429445168/2104406059047797506551463124\ 5*c_1001_2^5 - 2646096803123684065436689164792/21044060590477975065\ 514631245*c_1001_2^4 + 2105050685626995782652462581469/210440605904\ 77975065514631245*c_1001_2^3 - 251273006634458478799014888026/42088\ 12118095595013102926249*c_1001_2^2 + 658717489035448399156939257703/21044060590477975065514631245*c_1001\ _2 - 120721829276199711746256000278/21044060590477975065514631245, c_0101_1 - 688331520551318285666635528/21044060590477975065514631245*c_\ 1001_2^26 + 2020207555152752180815529166/42088121180955950131029262\ 49*c_1001_2^25 - 69077712327767351374877995917/21044060590477975065\ 514631245*c_1001_2^24 + 320240415366101846770458785424/210440605904\ 77975065514631245*c_1001_2^23 - 1124274554822579966528421545591/210\ 44060590477975065514631245*c_1001_2^22 + 3187388965584828827345267752786/21044060590477975065514631245*c_100\ 1_2^21 - 7588080783244176324823954642106/21044060590477975065514631\ 245*c_1001_2^20 + 15559648002951480126977344889326/2104406059047797\ 5065514631245*c_1001_2^19 - 5587402060874293669610036182579/4208812\ 118095595013102926249*c_1001_2^18 + 44266826238998093958706358663576/21044060590477975065514631245*c_10\ 01_2^17 - 61895724882131594516491859863676/210440605904779750655146\ 31245*c_1001_2^16 + 15154639328703117991182345456892/42088121180955\ 95013102926249*c_1001_2^15 - 79536143507232276721789892432242/21044\ 060590477975065514631245*c_1001_2^14 + 765147801717077742925452304944/236450118994134551297917205*c_1001_2\ ^13 - 40330107600571352804131375515292/2104406059047797506551463124\ 5*c_1001_2^12 + 364769897478804302038074428932/21044060590477975065\ 514631245*c_1001_2^11 + 42577919947223432658077780415799/2104406059\ 0477975065514631245*c_1001_2^10 - 15525848617053962911220550021152/\ 4208812118095595013102926249*c_1001_2^9 + 95724119105758887368487944902053/21044060590477975065514631245*c_10\ 01_2^8 - 94071683679023731992003454439231/2104406059047797506551463\ 1245*c_1001_2^7 + 77800807676736929961353198987009/2104406059047797\ 5065514631245*c_1001_2^6 - 54675326643970212503007581122334/2104406\ 0590477975065514631245*c_1001_2^5 + 33733563703915272925952042389994/21044060590477975065514631245*c_10\ 01_2^4 - 3496442753573689823226973851092/42088121180955950131029262\ 49*c_1001_2^3 + 1508190262545874672625226105101/4208812118095595013\ 102926249*c_1001_2^2 - 2304111928561514685808705846546/210440605904\ 77975065514631245*c_1001_2 + 242190606865511918418289144176/2104406\ 0590477975065514631245, c_0101_2 - 1, c_0101_5 + 905940995045466805059366629/21044060590477975065514631245*c_\ 1001_2^26 - 6682507605714936656248599961/21044060590477975065514631\ 245*c_1001_2^25 + 29177997836836346389252115487/2104406059047797506\ 5514631245*c_1001_2^24 - 85776188229846211695874155746/210440605904\ 77975065514631245*c_1001_2^23 + 179860107374243859345367712156/2104\ 4060590477975065514631245*c_1001_2^22 - 251694641275242456651139541299/21044060590477975065514631245*c_1001\ _2^21 + 112842988881685346964518284137/2104406059047797506551463124\ 5*c_1001_2^20 + 589380977607724036616861106207/21044060590477975065\ 514631245*c_1001_2^19 - 2339253532775103835593581151304/21044060590\ 477975065514631245*c_1001_2^18 + 5585021850808740316362300049613/21\ 044060590477975065514631245*c_1001_2^17 - 10372220470096329569024170569427/21044060590477975065514631245*c_10\ 01_2^16 + 15976611742051935786133936912927/210440605904779750655146\ 31245*c_1001_2^15 - 20711216523062782380582655823109/21044060590477\ 975065514631245*c_1001_2^14 + 251886661265033557504831471334/236450\ 118994134551297917205*c_1001_2^13 - 19477713878978639380054190877463/21044060590477975065514631245*c_10\ 01_2^12 + 11422576384086098566003073673797/210440605904779750655146\ 31245*c_1001_2^11 + 193422178094955721039113558154/2104406059047797\ 5065514631245*c_1001_2^10 - 12552485604221665158094372163582/210440\ 60590477975065514631245*c_1001_2^9 + 22052348657889184888583270447983/21044060590477975065514631245*c_10\ 01_2^8 - 25735680862872094517675565669444/2104406059047797506551463\ 1245*c_1001_2^7 + 24034427343748913402810139138181/2104406059047797\ 5065514631245*c_1001_2^6 - 18215484398967000908018354687946/2104406\ 0590477975065514631245*c_1001_2^5 + 12191027411573959086703195929422/21044060590477975065514631245*c_10\ 01_2^4 - 6794525410532713390171041552351/21044060590477975065514631\ 245*c_1001_2^3 + 3199300083404795558589211536273/210440605904779750\ 65514631245*c_1001_2^2 - 1123572065660671348976427691734/2104406059\ 0477975065514631245*c_1001_2 + 124579877448313311644403892613/21044\ 060590477975065514631245, c_0101_6 + 418900283727389676631678904/7329953688818171090235433355*c_1\ 001_2^26 - 4199712812689647474773088819/732995368881817109023543335\ 5*c_1001_2^25 + 23968307359242716904225441573/732995368881817109023\ 5433355*c_1001_2^24 - 96974899685896449003425306417/732995368881817\ 1090235433355*c_1001_2^23 + 306166920571429416752303244833/73299536\ 88818171090235433355*c_1001_2^22 - 795420071233357054562134132781/7329953688818171090235433355*c_1001_\ 2^21 + 1757272197585549492090179102233/7329953688818171090235433355\ *c_1001_2^20 - 3373397044227880542858744722582/73299536888181710902\ 35433355*c_1001_2^19 + 5697362674737702652330755941901/732995368881\ 8171090235433355*c_1001_2^18 - 1699903583478425338229244239084/1465\ 990737763634218047086671*c_1001_2^17 + 11162835369356611699042481839229/7329953688818171090235433355*c_100\ 1_2^16 - 2547716707111421025798514624668/14659907377636342180470866\ 71*c_1001_2^15 + 12251687669668615352582985134957/73299536888181710\ 90235433355*c_1001_2^14 - 9150698855962351320099497777887/732995368\ 8818171090235433355*c_1001_2^13 + 3639922200401981159437217884189/7\ 329953688818171090235433355*c_1001_2^12 + 638910997907283892951190990367/1465990737763634218047086671*c_1001_\ 2^11 - 312798055231215085267976075821/236450118994134551297917205*c\ _1001_2^10 + 14172583251008406879881574904274/732995368881817109023\ 5433355*c_1001_2^9 - 15580785758420943195931871702492/7329953688818\ 171090235433355*c_1001_2^8 + 14130752963947348831622705140163/73299\ 53688818171090235433355*c_1001_2^7 - 10859403691419971597268654259621/7329953688818171090235433355*c_100\ 1_2^6 + 7248980792567807623674371865711/732995368881817109023543335\ 5*c_1001_2^5 - 835393893502567535985224487575/146599073776363421804\ 7086671*c_1001_2^4 + 2031796160697071895913076986468/73299536888181\ 71090235433355*c_1001_2^3 - 791542871446347564226704264363/73299536\ 88818171090235433355*c_1001_2^2 + 197799970158630062330292927843/73\ 29953688818171090235433355*c_1001_2 - 25647112097038615977457539334/7329953688818171090235433355, c_1001_2^27 - 10*c_1001_2^26 + 58*c_1001_2^25 - 240*c_1001_2^24 + 780*c_1001_2^23 - 2096*c_1001_2^22 + 4808*c_1001_2^21 - 9616*c_1001_2^20 + 16983*c_1001_2^19 - 26642*c_1001_2^18 + 37126*c_1001_2^17 - 45632*c_1001_2^16 + 48620*c_1001_2^15 - 43076*c_1001_2^14 + 27944*c_1001_2^13 - 5212*c_1001_2^12 - 20410*c_1001_2^11 + 42648*c_1001_2^10 - 56108*c_1001_2^9 + 58592*c_1001_2^8 - 51344*c_1001_2^7 + 38980*c_1001_2^6 - 25588*c_1001_2^5 + 14709*c_1001_2^4 - 7137*c_1001_2^3 + 2787*c_1001_2^2 - 802*c_1001_2 + 89 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.310 Total time: 0.510 seconds, Total memory usage: 32.09MB