Magma V2.19-8 Tue Aug 20 2013 23:38:21 on localhost [Seed = 4256930261] Type ? for help. Type -D to quit. Loading file "K10a5__sl2_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation K10a5 geometric_solution 10.47618554 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 11 1 2 3 4 0132 0132 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 -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.508644094359 0.571081771286 0 5 6 6 0132 0132 0213 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 -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.908978271203 0.842423229205 2 0 2 5 2031 0132 1302 2310 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 -1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.567078534177 0.874438128415 7 8 8 0 0132 0132 1302 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.872760734003 1.210739875337 9 10 0 10 0132 0132 0132 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -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.439341328729 0.652933701899 2 1 10 8 3201 0132 1230 1302 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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.018746120359 0.947594521664 9 1 1 7 3012 0213 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 -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.126777945814 1.173353746586 3 9 9 6 0132 3201 3012 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 1 0 -1 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 0 0.890166069927 0.702882446053 3 3 5 10 2031 0132 2031 0132 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 1 0 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.608206223997 0.543517059183 4 7 7 6 0132 1230 2310 1230 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.890166069927 0.702882446053 4 4 8 5 3012 0132 0132 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 0 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.756971138949 0.881555915052 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_10' : d['c_0101_10'], 'c_1001_5' : d['c_1001_1'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0011_10']), 'c_1001_6' : d['c_1001_1'], 'c_1001_1' : d['c_1001_1'], 'c_1001_0' : negation(d['c_0110_5']), 'c_1001_3' : d['c_0101_10'], 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_1001_9'], 'c_1001_8' : negation(d['c_0110_5']), 'c_1010_10' : negation(d['c_0101_5']), 's_0_10' : d['1'], 's_3_10' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['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' : negation(d['1']), 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : negation(d['1']), 's_2_10' : d['1'], 's_0_8' : d['1'], 's_0_9' : negation(d['1']), 's_0_6' : d['1'], 's_0_7' : negation(d['1']), 's_0_4' : negation(d['1']), 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_9' : negation(d['c_0011_3']), 'c_1100_8' : negation(d['c_1001_1']), 'c_1100_5' : d['c_0101_8'], 'c_1100_4' : d['c_0101_8'], 'c_1100_7' : negation(d['c_1001_9']), 'c_1100_6' : negation(d['c_1001_9']), 'c_1100_1' : negation(d['c_1001_9']), 'c_1100_0' : d['c_0101_8'], 'c_1100_3' : d['c_0101_8'], 'c_1100_2' : d['c_0011_0'], 'c_1100_10' : negation(d['c_1001_1']), 'c_1010_7' : negation(d['c_1001_9']), 'c_1010_6' : negation(d['c_1001_9']), 'c_1010_5' : d['c_1001_1'], 'c_1010_4' : d['c_0101_10'], 'c_1010_3' : negation(d['c_0110_5']), 'c_1010_2' : negation(d['c_0110_5']), 'c_1010_1' : d['c_1001_1'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : d['c_0101_0'], 'c_1010_8' : d['c_0101_10'], 's_3_1' : d['1'], 's_3_0' : negation(d['1']), 's_3_3' : negation(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'], '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' : negation(d['1']), 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : negation(d['c_0011_3']), 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : negation(d['c_0011_10']), 'c_0011_7' : negation(d['c_0011_3']), 'c_0110_6' : negation(d['c_0011_3']), '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_10' : d['c_0101_8'], 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0101_0'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0011_6'], 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0011_6'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0011_10'], 'c_0101_8' : d['c_0101_8'], 's_1_10' : d['1'], 'c_0110_9' : d['c_0011_6'], 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_6'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0110_5'], 'c_0110_4' : d['c_0011_10'], 'c_0110_7' : d['c_0011_3'], 'c_0011_10' : d['c_0011_10']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 12 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_10, c_0011_3, c_0011_6, c_0101_0, c_0101_10, c_0101_5, c_0101_8, c_0110_5, c_1001_1, c_1001_9 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t - 1833034607480618022601506535108691980229941191904282590613/21771333\ 056308328191648984205389483650949950564650637504*c_1001_9^24 - 2310970680403398010035120972880179817990338447823843114811/10205312\ 37014452883983546134627632046138278932717998633*c_1001_9^23 - 28598256662933482972252790552571271977569852336549400044055/2419037\ 006256480910183220467265498183438883396072293056*c_1001_9^22 + 3973455405308266893041819563293717041580257997491244951855517/65313\ 999168924984574946952616168450952849851693951912512*c_1001_9^21 + 1864430139203835692202520353470621949768628107084109643985559/21771\ 333056308328191648984205389483650949950564650637504*c_1001_9^20 - 22465453914699959383526560826505750374651503204223525016504769/2177\ 1333056308328191648984205389483650949950564650637504*c_1001_9^19 + 62654591328676227469455171327614020005276209063010618387685633/2177\ 1333056308328191648984205389483650949950564650637504*c_1001_9^18 - 17863531092172476540972044466546324307206265136833946065308043/3628\ 555509384721365274830700898247275158325094108439584*c_1001_9^17 + 3363359246678957755349743760223887275664448314686713805980711/60475\ 9251564120227545805116816374545859720849018073264*c_1001_9^16 - 4125025535200937797751954806308276707641341961283020181013953/72571\ 11018769442730549661401796494550316650188216879168*c_1001_9^15 - 149433548571048975560266720937913867784897807957460273939077097/163\ 28499792231246143736738154042112738212462923487978128*c_1001_9^14 + 718812747838361305790888589620905397241169882454046831427089935/653\ 13999168924984574946952616168450952849851693951912512*c_1001_9^13 - 152495489766592657227260295983238952467007860143453426733540395/653\ 13999168924984574946952616168450952849851693951912512*c_1001_9^12 - 122069686852877765384247739546301647824349574850728983927491113/653\ 13999168924984574946952616168450952849851693951912512*c_1001_9^11 + 45342255911026728554479061995129915740158100006402634592992427/6531\ 3999168924984574946952616168450952849851693951912512*c_1001_9^10 - 195004033251351954099997689506701531215738989106528367599877417/653\ 13999168924984574946952616168450952849851693951912512*c_1001_9^9 + 12764633115410318193228292112030008428919945320804995771452715/3628\ 555509384721365274830700898247275158325094108439584*c_1001_9^8 + 12897684513833273481810091309773110191259387495721406232355365/3265\ 6999584462492287473476308084225476424925846975956256*c_1001_9^7 + 506231023687057816771153244558713683456708039399273933777107/128066\ 6650371078128920528482669969626526467680273566912*c_1001_9^6 - 5839129875448808188724998735153480249305627147482229370427749/65313\ 999168924984574946952616168450952849851693951912512*c_1001_9^5 + 11667006359065224549765654006157962091510599980886718589291429/6531\ 3999168924984574946952616168450952849851693951912512*c_1001_9^4 + 796018311841727998926756765173581378523688163995512035123003/653139\ 99168924984574946952616168450952849851693951912512*c_1001_9^3 - 21904947359327835599449947346072343420579800514675651059633/8164249\ 896115623071868369077021056369106231461743989064*c_1001_9^2 - 164731322427453779386324597000190278143966692661814878892867/326569\ 99584462492287473476308084225476424925846975956256*c_1001_9 + 15323857527127818541438786699883103228011778302707032670109/2177133\ 3056308328191648984205389483650949950564650637504, c_0011_0 - 1, c_0011_10 - 58165201937471064514934794219283997232154930395/36221635980\ 22078404250796129328691910167516150608*c_1001_9^24 - 3573969320942544585602944421649647736321287431949/10866490794066235\ 212752388387986075730502548451824*c_1001_9^23 - 44756646691820184959048426590786495194743394491/6791556746291397007\ 97024274249129733156409278239*c_1001_9^22 + 74334654146058284103559969090629472105876271823275/5433245397033117\ 606376194193993037865251274225912*c_1001_9^21 - 191417696059730501168736686333230701920099002192205/271662269851655\ 8803188097096996518932625637112956*c_1001_9^20 + 340152383491314338868437614169049731337848658627623/181108179901103\ 9202125398064664345955083758075304*c_1001_9^19 - 150895119347543130993287761326211236785983844199869/452770449752759\ 800531349516166086488770939518826*c_1001_9^18 + 1442273105904538776673494771239264168876102024992471/36221635980220\ 78404250796129328691910167516150608*c_1001_9^17 - 80823548261788060765110088308989629229661782839073/4527704497527598\ 00531349516166086488770939518826*c_1001_9^16 - 318906212688263133839666767774727714422000926065893/905540899505519\ 601062699032332172977541879037652*c_1001_9^15 + 491932710497220095023431544988634013023416312426281/679155674629139\ 700797024274249129733156409278239*c_1001_9^14 - 41498444519351252188807199505849832760763877972226/7546174162545996\ 6755224919361014414795156586471*c_1001_9^13 + 591310540017806044760876377277471467365872761296865/362216359802207\ 8404250796129328691910167516150608*c_1001_9^12 + 724321510593898601748251843235224997252539871010739/108664907940662\ 35212752388387986075730502548451824*c_1001_9^11 - 193610549490269623368837878196036837261376628367847/905540899505519\ 601062699032332172977541879037652*c_1001_9^10 + 2933347017951144965026447884441912257381097986498131/10866490794066\ 235212752388387986075730502548451824*c_1001_9^9 - 418044277400013880973749539912371824399669439055871/271662269851655\ 8803188097096996518932625637112956*c_1001_9^8 + 166378329191244983983263341286256529579117832649585/271662269851655\ 8803188097096996518932625637112956*c_1001_9^7 - 4769185332117827140662769285076439213462552582379/63920534082742560\ 0750140493410945631206032261872*c_1001_9^6 - 686111959972917684960272026319236019769528336199/271662269851655880\ 3188097096996518932625637112956*c_1001_9^5 - 15948916129095161988592832602766662895812052004047/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^4 - 23955925480078459665693548361700454007036822699041/3622163598022078\ 404250796129328691910167516150608*c_1001_9^3 + 754895509188125273074733216472863576936509508927/108664907940662352\ 12752388387986075730502548451824*c_1001_9^2 - 12078440670136777217372566978447285638697138815715/1086649079406623\ 5212752388387986075730502548451824*c_1001_9 + 317990121892872396575006152075628083198767628537/108664907940662352\ 12752388387986075730502548451824, c_0011_3 + 50226607577384606432956513527267445666624620775/108664907940\ 66235212752388387986075730502548451824*c_1001_9^24 + 512862871294304234269679757215147338188553649389/543324539703311760\ 6376194193993037865251274225912*c_1001_9^23 + 79415833645888743592661999938636670098118325877/5433245397033117606\ 376194193993037865251274225912*c_1001_9^22 - 2656733480369563229555026155222718632801796105159/67915567462913970\ 0797024274249129733156409278239*c_1001_9^21 + 55788756755856887996981188217026169908171214183383/2716622698516558\ 803188097096996518932625637112956*c_1001_9^20 - 102084024816091082350632588100304725287842610628783/181108179901103\ 9202125398064664345955083758075304*c_1001_9^19 + 189008337288960763562190902871321698741883912013205/181108179901103\ 9202125398064664345955083758075304*c_1001_9^18 - 161086554989911657357744760769375732974489270818189/120738786600735\ 9468083598709776230636722505383536*c_1001_9^17 + 291402487494053560064778445892072354741710543362265/362216359802207\ 8404250796129328691910167516150608*c_1001_9^16 + 795803486988527348379062407928516232929483341626199/108664907940662\ 35212752388387986075730502548451824*c_1001_9^15 - 2243565839118723821346812270213878623284793346965521/10866490794066\ 235212752388387986075730502548451824*c_1001_9^14 + 79325724756164005421522857069588439672541205178133/4024626220024531\ 56027866236592076878907501794512*c_1001_9^13 - 551277529431274937157114192484325929102837271812571/543324539703311\ 7606376194193993037865251274225912*c_1001_9^12 + 154003305836151229626750601345970158586345278807157/108664907940662\ 35212752388387986075730502548451824*c_1001_9^11 + 575728479573330115107707684036399845318860822297721/108664907940662\ 35212752388387986075730502548451824*c_1001_9^10 - 25053817671294660650636653016482886117219735354521/3018469665018398\ 67020899677444057659180626345884*c_1001_9^9 + 4615019032601198526456307149018761104886773829515/75461741625459966\ 755224919361014414795156586471*c_1001_9^8 - 104173119195066267585436679877446907974389616678107/271662269851655\ 8803188097096996518932625637112956*c_1001_9^7 + 312196935410644547030310320877402227187284534819/236742718824972444\ 72227425681886875229853046736*c_1001_9^6 - 14034810493607878984165483545945617557170332745281/3622163598022078\ 404250796129328691910167516150608*c_1001_9^5 + 2799668370405579373956178062954241929317068470167/54332453970331176\ 06376194193993037865251274225912*c_1001_9^4 - 6519382101524011857120919190021687072966965035037/10866490794066235\ 212752388387986075730502548451824*c_1001_9^3 - 13903772719116610746477861332194582682183422900831/5433245397033117\ 606376194193993037865251274225912*c_1001_9^2 + 26165272636858042136174015818564451856236741357/3622163598022078404\ 250796129328691910167516150608*c_1001_9 - 10227649829270697104633158039043384819116073129/6791556746291397007\ 97024274249129733156409278239, c_0011_6 - 184473831806657684281966331980308486179251599917/10866490794\ 066235212752388387986075730502548451824*c_1001_9^24 - 370707746176275121876181993723909036322712909415/905540899505519601\ 062699032332172977541879037652*c_1001_9^23 - 7454204964614615013623440952440177603815336278705/54332453970331176\ 06376194193993037865251274225912*c_1001_9^22 + 12106494841684434402974755529739586131271418074229/9055408995055196\ 01062699032332172977541879037652*c_1001_9^21 - 62307106967420570371681146213465592790458022425865/2716622698516558\ 803188097096996518932625637112956*c_1001_9^20 - 71174922973690148487891403829861826708841740329527/1811081799011039\ 202125398064664345955083758075304*c_1001_9^19 + 139050746372216546185891611913487014393115715500629/603693933003679\ 734041799354888115318361252691768*c_1001_9^18 - 671493430073843431744297957468331081628974335234285/120738786600735\ 9468083598709776230636722505383536*c_1001_9^17 + 1096125541440497121664701307709416679363124798863089/12073878660073\ 59468083598709776230636722505383536*c_1001_9^16 - 7724027902894857205606043803534293908089263413101547/10866490794066\ 235212752388387986075730502548451824*c_1001_9^15 - 3880050756311893373681058414403930906795596473476651/10866490794066\ 235212752388387986075730502548451824*c_1001_9^14 + 13283928326611329113266597917779059761820275441040349/1086649079406\ 6235212752388387986075730502548451824*c_1001_9^13 - 957455735221339128477848875895389708848341051037563/905540899505519\ 601062699032332172977541879037652*c_1001_9^12 + 776156021074494010353577835950329172517766710540333/120738786600735\ 9468083598709776230636722505383536*c_1001_9^11 - 931645233784675491933851758258453750307598542993527/362216359802207\ 8404250796129328691910167516150608*c_1001_9^10 - 1631816668065989448742746012152495835464598760878575/54332453970331\ 17606376194193993037865251274225912*c_1001_9^9 + 230093457983802753231007692110362271157511032506563/452770449752759\ 800531349516166086488770939518826*c_1001_9^8 - 228155895426129756448599901923226098221315087826001/905540899505519\ 601062699032332172977541879037652*c_1001_9^7 + 61349673471066955829835945557664377059023392584607/2130684469424752\ 00250046831136981877068677420624*c_1001_9^6 - 440494005671330925739549840387007340291417039262297/108664907940662\ 35212752388387986075730502548451824*c_1001_9^5 + 49359799457672540408302318724997088996480531800199/9055408995055196\ 01062699032332172977541879037652*c_1001_9^4 - 17339037653452063052776054282269767700230509656767/3622163598022078\ 404250796129328691910167516150608*c_1001_9^3 + 14105936122452907447425363125909742755861621383223/2716622698516558\ 803188097096996518932625637112956*c_1001_9^2 - 9156646205532922345833433831849868749221361036289/10866490794066235\ 212752388387986075730502548451824*c_1001_9 + 878087740332130412427961718127405779365226775845/543324539703311760\ 6376194193993037865251274225912, c_0101_0 - 378332751337925600373130823698367026723501089611/10866490794\ 066235212752388387986075730502548451824*c_1001_9^24 - 7941357655115037360576415404953101122674900620325/10866490794066235\ 212752388387986075730502548451824*c_1001_9^23 - 1389853660927415907991277402432443216953505768517/27166226985165588\ 03188097096996518932625637112956*c_1001_9^22 + 160071487098034469708900177373154825089522703374047/543324539703311\ 7606376194193993037865251274225912*c_1001_9^21 - 124830732338550148684703592248063094631446177075577/905540899505519\ 601062699032332172977541879037652*c_1001_9^20 + 201882608109458134439190734723506757220059631858587/603693933003679\ 734041799354888115318361252691768*c_1001_9^19 - 485494795818683247636558590064410052580103432388655/905540899505519\ 601062699032332172977541879037652*c_1001_9^18 + 654656586178946806765182518973985491540933197513827/120738786600735\ 9468083598709776230636722505383536*c_1001_9^17 - 33642394319332179071071039104695700175684476773729/1811081799011039\ 202125398064664345955083758075304*c_1001_9^16 - 4870110904677955658896803095772254016469423383452737/54332453970331\ 17606376194193993037865251274225912*c_1001_9^15 + 2173632316985565170037204637710106160791742259265711/18110817990110\ 39202125398064664345955083758075304*c_1001_9^14 - 951845552853080498122637043409757038959376803129745/181108179901103\ 9202125398064664345955083758075304*c_1001_9^13 - 1173583010197146084375347856131339395856434469402101/10866490794066\ 235212752388387986075730502548451824*c_1001_9^12 + 986069825859980907322527654202759278257775825101983/362216359802207\ 8404250796129328691910167516150608*c_1001_9^11 - 2254064891290675340779315408792668780758520881368519/54332453970331\ 17606376194193993037865251274225912*c_1001_9^10 + 4413610478392734440949236162568506872896522420043463/10866490794066\ 235212752388387986075730502548451824*c_1001_9^9 - 239866789303790806561153342048655444339670303317387/271662269851655\ 8803188097096996518932625637112956*c_1001_9^8 - 15240969834638119727860529401701272793870279803285/2716622698516558\ 803188097096996518932625637112956*c_1001_9^7 + 24718365251513172824732926034114166424824944181343/6392053408274256\ 00750140493410945631206032261872*c_1001_9^6 - 16875545654334314232063923861269013067703593087343/5433245397033117\ 606376194193993037865251274225912*c_1001_9^5 + 78482237455142331658088172162377506765716932030563/3622163598022078\ 404250796129328691910167516150608*c_1001_9^4 - 7631545465341815846233058669833800591057878198029/10866490794066235\ 212752388387986075730502548451824*c_1001_9^3 + 6721800977687500783539628615664625887877599618327/10866490794066235\ 212752388387986075730502548451824*c_1001_9^2 - 2261603244521141306808707877106008750270125506709/10866490794066235\ 212752388387986075730502548451824*c_1001_9 + 255223776742807274048100375119003790300327836191/362216359802207840\ 4250796129328691910167516150608, c_0101_10 + 508354960100929255843750344552182961901995940357/1086649079\ 4066235212752388387986075730502548451824*c_1001_9^24 + 1891101313101640832665517314932976087655874806687/18110817990110392\ 02125398064664345955083758075304*c_1001_9^23 + 10927289751193331392150443279330650765876026724299/5433245397033117\ 606376194193993037865251274225912*c_1001_9^22 - 5780363896060888590418828406807553087774749118953/15092348325091993\ 3510449838722028829590313172942*c_1001_9^21 + 360691482921773157250288831764287603007041918657389/271662269851655\ 8803188097096996518932625637112956*c_1001_9^20 - 395599672187452776226578166183946956491721368999181/181108179901103\ 9202125398064664345955083758075304*c_1001_9^19 + 354801737510026480330218544033510039732680140591339/181108179901103\ 9202125398064664345955083758075304*c_1001_9^18 + 197126905575871072161112463901621335196329345643331/362216359802207\ 8404250796129328691910167516150608*c_1001_9^17 - 2441931638857689971720400807865505384097033668581697/36221635980220\ 78404250796129328691910167516150608*c_1001_9^16 + 10689027668825422655479326721409220566475181222209265/1086649079406\ 6235212752388387986075730502548451824*c_1001_9^15 - 561289890294238872945764261934234269871001177900855/108664907940662\ 35212752388387986075730502548451824*c_1001_9^14 - 9845456392940553337914034985723114397581101730963215/10866490794066\ 235212752388387986075730502548451824*c_1001_9^13 + 823589932733908252534668589535649301565342286320839/181108179901103\ 9202125398064664345955083758075304*c_1001_9^12 - 52938299201375087211550431483029787262925744873059/3622163598022078\ 404250796129328691910167516150608*c_1001_9^11 + 826082638591558398141798489260329690364850372224677/362216359802207\ 8404250796129328691910167516150608*c_1001_9^10 + 85620599661329851743591457871642161059521444346415/1358311349258279\ 401594048548498259466312818556478*c_1001_9^9 - 28846244233214513015510650040979313236796333993655/7546174162545996\ 6755224919361014414795156586471*c_1001_9^8 - 18771536531811492889956251079178727062711643858521/3018469665018398\ 67020899677444057659180626345884*c_1001_9^7 - 1483134627162068569849577490450208178400819626999/23674271882497244\ 472227425681886875229853046736*c_1001_9^6 - 230197912912891510615624950747724495681923032709445/108664907940662\ 35212752388387986075730502548451824*c_1001_9^5 - 18615081507274893490205899563678515158082797634219/1811081799011039\ 202125398064664345955083758075304*c_1001_9^4 - 17230750250870007271748134846295307550394880451349/3622163598022078\ 404250796129328691910167516150608*c_1001_9^3 + 2483689489376383153161846118499923996574798011057/54332453970331176\ 06376194193993037865251274225912*c_1001_9^2 - 7197518371511895702285177089181113921058094342355/10866490794066235\ 212752388387986075730502548451824*c_1001_9 + 348051803085831178121891499162873943586341381039/271662269851655880\ 3188097096996518932625637112956, c_0101_5 - 85146579357757027265608481169000801537146945993/108664907940\ 66235212752388387986075730502548451824*c_1001_9^24 - 1951720563781228726251908633173710989385943035917/10866490794066235\ 212752388387986075730502548451824*c_1001_9^23 - 291466401588995314356744487820395117288348758779/679155674629139700\ 797024274249129733156409278239*c_1001_9^22 + 35217401380755286087800479845848279408570636082955/5433245397033117\ 606376194193993037865251274225912*c_1001_9^21 - 16504664458448082209250167538202835344515895707215/9055408995055196\ 01062699032332172977541879037652*c_1001_9^20 + 22241743090232716774258450763184053758800107494175/1811081799011039\ 202125398064664345955083758075304*c_1001_9^19 + 6332128357866550091842032755311891142098493667145/15092348325091993\ 3510449838722028829590313172942*c_1001_9^18 - 195858023260073656263247612291612768400430105317563/120738786600735\ 9468083598709776230636722505383536*c_1001_9^17 + 75691559978366210109785418148287094967217524899033/2263852248763799\ 00265674758083043244385469759413*c_1001_9^16 - 963514779049393046531551737466028243038096056507005/271662269851655\ 8803188097096996518932625637112956*c_1001_9^15 - 1451774982724499226327164420317283672145542514359/45277044975275980\ 0531349516166086488770939518826*c_1001_9^14 + 191825059754784685672663254919641626245778860917013/452770449752759\ 800531349516166086488770939518826*c_1001_9^13 - 4777695011086085100571147335366389713394749298696269/10866490794066\ 235212752388387986075730502548451824*c_1001_9^12 + 926641113987772675360019656794137173109035185168377/362216359802207\ 8404250796129328691910167516150608*c_1001_9^11 - 357262739263457370552786355374652922132188912321943/271662269851655\ 8803188097096996518932625637112956*c_1001_9^10 - 528185157802843146509260913513220784308996736332493/108664907940662\ 35212752388387986075730502548451824*c_1001_9^9 + 506817668024900952133997916700481518547488492909225/271662269851655\ 8803188097096996518932625637112956*c_1001_9^8 - 307715391778655383284953522150449093461786455260643/271662269851655\ 8803188097096996518932625637112956*c_1001_9^7 + 58968196352001154538419646063748182917781906428909/6392053408274256\ 00750140493410945631206032261872*c_1001_9^6 - 112196012236741150430648143674983231724732464860145/271662269851655\ 8803188097096996518932625637112956*c_1001_9^5 + 24456884014613160662916501670659065321216470616569/1207387866007359\ 468083598709776230636722505383536*c_1001_9^4 - 56920104617411518659661347657629647070386135892539/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^3 + 16785563288626702621590494818703457559495824562991/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^2 - 7494585723686815878308615928056544569633671333499/10866490794066235\ 212752388387986075730502548451824*c_1001_9 - 1944141878307281929122764437445542130229060501293/36221635980220784\ 04250796129328691910167516150608, c_0101_8 - 1056510545726942179911675916246238828380931793835/1086649079\ 4066235212752388387986075730502548451824*c_1001_9^24 - 22142098038506771052535449243171229594269494218409/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^23 - 3674154238254954653630386749645009155171001234983/27166226985165588\ 03188097096996518932625637112956*c_1001_9^22 + 448426642603717940431263790311888787219463962433075/543324539703311\ 7606376194193993037865251274225912*c_1001_9^21 - 1051937794900450594245265330108637898132711763164463/27166226985165\ 58803188097096996518932625637112956*c_1001_9^20 + 1699902153725177550864857878001774682194859249675977/18110817990110\ 39202125398064664345955083758075304*c_1001_9^19 - 452920076930032095998099215836225402161917832697215/301846966501839\ 867020899677444057659180626345884*c_1001_9^18 + 5496903889964176710799169422093175265587293664721281/36221635980220\ 78404250796129328691910167516150608*c_1001_9^17 - 108877182112804697046642372225458596961979626386871/181108179901103\ 9202125398064664345955083758075304*c_1001_9^16 - 13496696105521170992682808602002147019111016681865387/5433245397033\ 117606376194193993037865251274225912*c_1001_9^15 + 17761456229714882986094845847669898255346447113811075/5433245397033\ 117606376194193993037865251274225912*c_1001_9^14 - 265931951248177754602595981453054526152400873264447/201231311001226\ 578013933118296038439453750897256*c_1001_9^13 - 3724276062023446998499853734185365388620512320040409/10866490794066\ 235212752388387986075730502548451824*c_1001_9^12 + 6863930057463383686211299902825024487614677231171893/10866490794066\ 235212752388387986075730502548451824*c_1001_9^11 - 5503043292002911655820169018442349018049163794453517/54332453970331\ 17606376194193993037865251274225912*c_1001_9^10 + 3644558471439240309850930977156780799947259229949817/36221635980220\ 78404250796129328691910167516150608*c_1001_9^9 - 138139083431041441143217407529103757658548047797549/905540899505519\ 601062699032332172977541879037652*c_1001_9^8 + 51000176652339496713477197589748247452020573426067/2716622698516558\ 803188097096996518932625637112956*c_1001_9^7 + 2079057811801691965235198124374725160773290010453/21306844694247520\ 0250046831136981877068677420624*c_1001_9^6 + 16880109959545401135317331246485889968663077384985/1811081799011039\ 202125398064664345955083758075304*c_1001_9^5 - 57478671621301800543884776637980198646777168845747/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^4 + 1205527025447821660652886506138437245519862890091/10866490794066235\ 212752388387986075730502548451824*c_1001_9^3 + 7757376446065223621208906016187789970671030629763/10866490794066235\ 212752388387986075730502548451824*c_1001_9^2 - 3586508202120423035095050934037480057321835806191/36221635980220784\ 04250796129328691910167516150608*c_1001_9 + 3398247210315241629148489942240188360438660411785/10866490794066235\ 212752388387986075730502548451824, c_0110_5 + 434458171344261019058017601387971208308260699529/10866490794\ 066235212752388387986075730502548451824*c_1001_9^24 + 9363011763333826393567019953034200571045868745207/10866490794066235\ 212752388387986075730502548451824*c_1001_9^23 + 952248528814318847945728393706326579342659708713/905540899505519601\ 062699032332172977541879037652*c_1001_9^22 - 182746119060787299222554993733177390456777672894493/543324539703311\ 7606376194193993037865251274225912*c_1001_9^21 + 378375980405870104869656950065511751689913475061937/271662269851655\ 8803188097096996518932625637112956*c_1001_9^20 - 525222840033284803226339486934852784956110749391179/181108179901103\ 9202125398064664345955083758075304*c_1001_9^19 + 337705294981995594763528544938539378524235276547913/905540899505519\ 601062699032332172977541879037652*c_1001_9^18 - 723750605479042634728841427639867674682424158518467/362216359802207\ 8404250796129328691910167516150608*c_1001_9^17 - 869607616279727995532251929005545382026117791696397/181108179901103\ 9202125398064664345955083758075304*c_1001_9^16 + 6795781235521504746126138446857645746930773124370883/54332453970331\ 17606376194193993037865251274225912*c_1001_9^15 - 192689742609007149204414272126399054447140137687613/201231311001226\ 578013933118296038439453750897256*c_1001_9^14 - 1163954051679840380306842132821148040263015294661927/54332453970331\ 17606376194193993037865251274225912*c_1001_9^13 + 296354056938065279766707703184690089013910211638565/402462622002453\ 156027866236592076878907501794512*c_1001_9^12 - 6484472265824233725920104514920915668335293580228911/10866490794066\ 235212752388387986075730502548451824*c_1001_9^11 + 962325097472825917616337704910292676644662636106031/181108179901103\ 9202125398064664345955083758075304*c_1001_9^10 - 821343232003682898689419808330769014034053625323519/362216359802207\ 8404250796129328691910167516150608*c_1001_9^9 - 654755311263815630875147915095722005287433942243123/271662269851655\ 8803188097096996518932625637112956*c_1001_9^8 + 458130505635948534748792038849873340579172337779755/271662269851655\ 8803188097096996518932625637112956*c_1001_9^7 - 96700043949845603797213583611359187224288698488069/6392053408274256\ 00750140493410945631206032261872*c_1001_9^6 + 310720556439678094517468487355734399541327043887661/543324539703311\ 7606376194193993037865251274225912*c_1001_9^5 - 316067533814014441953981858875706239419377392218547/108664907940662\ 35212752388387986075730502548451824*c_1001_9^4 + 27487360951285827973978182321688615566810172846453/3622163598022078\ 404250796129328691910167516150608*c_1001_9^3 - 29755825487254373417806974966903690830882142416957/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^2 + 1508165701369757780981568428506314505960633122799/12073878660073594\ 68083598709776230636722505383536*c_1001_9 - 9033185942613337080149406519412108012077170564479/10866490794066235\ 212752388387986075730502548451824, c_1001_1 - 50047666555204099527690629835558164955147525181/271662269851\ 6558803188097096996518932625637112956*c_1001_9^24 - 4281756653703521319422425684407094775583037536089/10866490794066235\ 212752388387986075730502548451824*c_1001_9^23 - 2226264268759537655618076121536896369904106066975/54332453970331176\ 06376194193993037865251274225912*c_1001_9^22 + 85843402076020227397568884120035956689257942793061/5433245397033117\ 606376194193993037865251274225912*c_1001_9^21 - 45084526272764036783400401842915932147399369200167/6791556746291397\ 00797024274249129733156409278239*c_1001_9^20 + 122805587855779645240384524149030409590368349928211/905540899505519\ 601062699032332172977541879037652*c_1001_9^19 - 288761515724577213266741971007195023291184584845979/181108179901103\ 9202125398064664345955083758075304*c_1001_9^18 + 86548265147331494899470695604748888405346114814751/1811081799011039\ 202125398064664345955083758075304*c_1001_9^17 + 374386454060489921699662164108860568552655614820375/120738786600735\ 9468083598709776230636722505383536*c_1001_9^16 - 7619449084043533057044497257769461702776496450723873/10866490794066\ 235212752388387986075730502548451824*c_1001_9^15 + 5384423493226566986674680887635626959870699599913723/10866490794066\ 235212752388387986075730502548451824*c_1001_9^14 + 802268321543182873234102990091334546204273032180929/362216359802207\ 8404250796129328691910167516150608*c_1001_9^13 - 5577506806167544319701111523264672798081380774090697/10866490794066\ 235212752388387986075730502548451824*c_1001_9^12 + 1912216425563683934372131342484814614074287022132679/54332453970331\ 17606376194193993037865251274225912*c_1001_9^11 - 3328498993093445521049526970033290398370397639956799/10866490794066\ 235212752388387986075730502548451824*c_1001_9^10 + 173463881204718984078387162473765309826238240196761/120738786600735\ 9468083598709776230636722505383536*c_1001_9^9 + 17826469637965278331085925211222179966949548433697/1006156555006132\ 89006966559148019219726875448628*c_1001_9^8 - 100150040889134451608591529086953449816633137164421/679155674629139\ 700797024274249129733156409278239*c_1001_9^7 + 1954886872590508388587927622452560834004327972937/26633555867809400\ 031255853892122734633584677578*c_1001_9^6 - 277542549410143338623736422392307580833669779303313/362216359802207\ 8404250796129328691910167516150608*c_1001_9^5 + 108095214899618612364729831364980280542292012130861/108664907940662\ 35212752388387986075730502548451824*c_1001_9^4 - 53512980678135440211313074129115494027359707844467/5433245397033117\ 606376194193993037865251274225912*c_1001_9^3 + 12579516467646245184566710377695457128066022606515/1086649079406623\ 5212752388387986075730502548451824*c_1001_9^2 - 910478156363794518266065819083416985566616434585/603693933003679734\ 041799354888115318361252691768*c_1001_9 + 1677771641982380593770498646897546083486530577503/10866490794066235\ 212752388387986075730502548451824, c_1001_9^25 + 21*c_1001_9^24 + 15*c_1001_9^23 - 844*c_1001_9^22 + 3950*c_1001_9^21 - 9658*c_1001_9^20 + 15828*c_1001_9^19 - 16911*c_1001_9^18 + 3150*c_1001_9^17 + 22183*c_1001_9^16 - 31957*c_1001_9^15 + 16695*c_1001_9^14 - 2324*c_1001_9^13 - 3028*c_1001_9^12 + 9654*c_1001_9^11 - 10542*c_1001_9^10 + 3213*c_1001_9^9 - 2312*c_1001_9^8 + 475*c_1001_9^7 - 536*c_1001_9^6 + 128*c_1001_9^5 - 72*c_1001_9^4 + 7*c_1001_9^3 - 2*c_1001_9^2 + c_1001_9 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.340 seconds, Total memory usage: 32.09MB