Magma V2.19-8 Thu Sep 12 2013 22:29:42 on localhost [Seed = 3985491720] Type ? for help. Type -D to quit. Loading file "m006__sl3_c1.magma" ==TRIANGULATION=BEGINS== % Triangulation m006 geometric_solution 2.56897060 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 3 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.773301174242 1.467711508710 2 2 2 0 1302 2031 1230 0132 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335258229521 0.401127278779 1 1 0 1 1302 2031 0132 3012 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 1 0 -1 0 0 0 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.335258229521 0.401127278779 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1020_2' : d['c_0012_1'], 'c_1020_0' : d['c_0201_0'], 'c_1020_1' : d['c_0012_1'], 'c_0201_0' : d['c_0201_0'], 'c_0201_1' : d['c_0012_1'], 'c_0201_2' : d['c_0012_1'], 'c_2100_0' : d['c_0210_2'] * d['u'] ** 1, 'c_2100_1' : d['c_0210_2'] * d['u'] ** 2, 'c_2100_2' : d['c_0210_2'] * d['u'] ** 1, 'c_2010_2' : d['c_0012_0'], 'c_2010_0' : d['c_0102_0'], 'c_2010_1' : d['c_0012_0'], 'c_0102_0' : d['c_0102_0'], 'c_0102_1' : d['c_0012_0'], 'c_0102_2' : d['c_0012_0'], 'c_1101_0' : d['c_1101_0'], 'c_1101_1' : d['c_1101_1'], 'c_1101_2' : d['c_1101_2'], 'c_1200_2' : d['c_0120_2'] * d['u'] ** 2, 'c_1200_0' : d['c_0120_2'] * d['u'] ** 2, 'c_1200_1' : d['c_0120_2'] * d['u'] ** 1, 'c_1110_2' : d['c_1101_1'] * d['u'] ** 2, 'c_1110_0' : d['c_1101_2'], 'c_1110_1' : d['c_1101_0'] * d['u'] ** 1, 'c_0120_0' : d['c_0012_0'], 'c_0120_1' : d['c_0102_0'] * d['u'] ** 1, 'c_0120_2' : d['c_0120_2'], 'c_2001_0' : d['c_0012_0'], 'c_2001_1' : d['c_0120_2'] * d['u'] ** 1, 'c_2001_2' : d['c_0102_0'], 'c_0012_2' : d['c_0012_1'] * d['u'] ** 1, 'c_0012_0' : d['c_0012_0'], 'c_0012_1' : d['c_0012_1'], 'c_0111_0' : d['c_0111_0'], 'c_0111_1' : d['c_0111_1'], 'c_0111_2' : d['c_0111_2'], 'c_0210_2' : d['c_0210_2'], 'c_0210_0' : d['c_0012_1'], 'c_0210_1' : d['c_0201_0'] * d['u'] ** 2, 'c_1002_2' : d['c_0201_0'], 'c_1002_0' : d['c_0012_1'], 'c_1002_1' : d['c_0210_2'] * d['u'] ** 2, 'c_1011_2' : d['c_0111_1'] * d['u'] ** 2, 'c_1011_0' : d['c_0111_0'], 'c_1011_1' : d['c_0111_2'] * d['u'] ** 2, 'c_0021_0' : d['c_0012_1'], 'c_0021_1' : d['c_0012_0'], 'c_0021_2' : d['c_0012_0'] * d['u'] ** 2}), 'non_trivial_generalized_obstruction_class' : True} PY=EVAL=SECTION=ENDS=HERE PRIMARY_DECOMPOSITION_TIME: 985.980 PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0111_0, c_0111_1, c_0111_2, c_0120_2, c_0201_0, c_0210_2, c_1101_0, c_1101_1, c_1101_2, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 6 Groebner basis: [ t + 9/7*c_1101_2^2*u + 9/7*c_1101_2^2 - 11/7*c_1101_2*u - 29/7*c_1101_2 - 10/7*u + 10/7, c_0012_0 - 1, c_0012_1 + u + 1, c_0102_0 - c_1101_2 - u, c_0111_0 - 1, c_0111_1 - 1, c_0111_2 + c_1101_2^2*u - 2*c_1101_2*u - 2*c_1101_2 + 1, c_0120_2 - c_1101_2^2 - c_1101_2*u + c_1101_2 + 2*u + 1, c_0201_0 + c_1101_2*u + c_1101_2 - 1, c_0210_2 + c_1101_2^2*u + c_1101_2^2 - 3*c_1101_2 - 2*u - 1, c_1101_0 - c_1101_2 - 2*u - 1, c_1101_1 - c_1101_2^2 - 2*c_1101_2*u + c_1101_2 + 2*u + 2, c_1101_2^3 + 3*c_1101_2^2*u - 3*c_1101_2*u - 4*c_1101_2 - u, u^2 + u + 1 ], Ideal of Polynomial ring of rank 14 over Rational Field Order: Lexicographical Variables: t, c_0012_0, c_0012_1, c_0102_0, c_0111_0, c_0111_1, c_0111_2, c_0120_2, c_0201_0, c_0210_2, c_1101_0, c_1101_1, c_1101_2, u Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 28 Groebner basis: [ t - 1101229971315274313811431528641053717245/60815745539570132173885933\ 063641854133*c_1101_2^13*u - 13640645094073047794175460291891408562\ 24/60815745539570132173885933063641854133*c_1101_2^13 - 691221070050944444287788182727194451523/202719151798567107246286443\ 54547284711*c_1101_2^12*u - 844180520294124477895801292103182742698\ 2/60815745539570132173885933063641854133*c_1101_2^12 + 2435055220290747292662662626598498224568/20271915179856710724628644\ 354547284711*c_1101_2^11*u - 16326808812037464705561729542255670828\ 310/60815745539570132173885933063641854133*c_1101_2^11 + 46801135679706483650264449351605295198823/6081574553957013217388593\ 3063641854133*c_1101_2^10*u + 2579676746840801685798793804151772305\ 9335/60815745539570132173885933063641854133*c_1101_2^10 + 644852131529714524017778914703095875855/614300459995657900746322556\ 198402567*c_1101_2^9*u + 154653117636393167042533542797112326598619\ /60815745539570132173885933063641854133*c_1101_2^9 - 4123923914903536558842823320253626127073/55287041399609211067169030\ 05785623103*c_1101_2^8*u + 1751437138359175357342813777108706979973\ 55/60815745539570132173885933063641854133*c_1101_2^8 - 202746123717929010481793341032493781592329/608157455395701321738859\ 33063641854133*c_1101_2^7*u - 1860911807419001095295473155837380632\ 9420/5528704139960921106716903005785623103*c_1101_2^7 + 2787921680489279872600220552189688281545/60815745539570132173885933\ 063641854133*c_1101_2^6*u - 595406481214828364784062877027172790788\ 475/60815745539570132173885933063641854133*c_1101_2^6 + 40182599968003591723345357723949285172025/6081574553957013217388593\ 3063641854133*c_1101_2^5*u - 12267798710273475622006245895804137449\ 9026/20271915179856710724628644354547284711*c_1101_2^5 - 718387677655491320639792496635910507720866/608157455395701321738859\ 33063641854133*c_1101_2^4*u - 5510682720166288175973486240573298793\ 4512/6757305059952236908209548118182428237*c_1101_2^4 - 790536741210208663730369782180939300525933/608157455395701321738859\ 33063641854133*c_1101_2^3*u - 2583761176241959752749477616930318411\ 00641/20271915179856710724628644354547284711*c_1101_2^3 - 167604588115250815095250015150368657949808/608157455395701321738859\ 33063641854133*c_1101_2^2*u - 1231233494911672054635556122138033352\ 67935/60815745539570132173885933063641854133*c_1101_2^2 - 284465145172800736912222909243779708248153/608157455395701321738859\ 33063641854133*c_1101_2*u + 997778406583622616997635840199017099959\ 93/60815745539570132173885933063641854133*c_1101_2 - 164572161914251775372939682149749510943581/608157455395701321738859\ 33063641854133*u - 34684024898763975066481844274414982751503/202719\ 15179856710724628644354547284711, c_0012_0 - 1, c_0012_1 - 73864470745731637577371262743/731195846252182179836311682763\ *c_1101_2^13*u - 9419623968435629799659486140/243731948750727393278\ 770560921*c_1101_2^13 - 308230922766683025028484231164/731195846252\ 182179836311682763*c_1101_2^12*u - 104351957610170383764340025891/243731948750727393278770560921*c_110\ 1_2^12 - 40494786464306613351244820849/8124398291690913109292352030\ 7*c_1101_2^11*u - 770663084189244692980009219891/731195846252182179\ 836311682763*c_1101_2^11 + 1796333349571831521742802228231/73119584\ 6252182179836311682763*c_1101_2^10*u + 353915641431941904132636116185/731195846252182179836311682763*c_110\ 1_2^10 + 5183040770747417333999271728621/73119584625218217983631168\ 2763*c_1101_2^9*u + 4604240572369704434632931284439/731195846252182\ 179836311682763*c_1101_2^9 + 667326840137045076724268884474/2437319\ 48750727393278770560921*c_1101_2^8*u + 4375455278191989522206198107141/731195846252182179836311682763*c_11\ 01_2^8 - 4164604469981605924028708673971/24373194875072739327877056\ 0921*c_1101_2^7*u - 8990821536083243968914037417267/731195846252182\ 179836311682763*c_1101_2^7 - 13294858871913169154681845587347/73119\ 5846252182179836311682763*c_1101_2^6*u - 19050868260683556566171185323401/731195846252182179836311682763*c_1\ 101_2^6 - 1938465473564403684042766968388/2437319487507273932787705\ 60921*c_1101_2^5*u + 5140030574350881366445132999738/73119584625218\ 2179836311682763*c_1101_2^5 - 18563329825440284147281102079203/7311\ 95846252182179836311682763*c_1101_2^4*u + 8323583145593042406504836181311/731195846252182179836311682763*c_11\ 01_2^4 - 10523253154730575640865390009536/7311958462521821798363116\ 82763*c_1101_2^3*u - 4014734547870231222945178544276/73119584625218\ 2179836311682763*c_1101_2^3 + 4286685479654563552234860533897/24373\ 1948750727393278770560921*c_1101_2^2*u + 4168612578887736016282083644759/243731948750727393278770560921*c_11\ 01_2^2 - 522908690721400189392839529177/812439829169091310929235203\ 07*c_1101_2*u + 1106825355468143444670039226225/2437319487507273932\ 78770560921*c_1101_2 + 659265406939621151328699575888/7311958462521\ 82179836311682763*u - 237679329928863232214850986600/81243982916909\ 131092923520307, c_0102_0 - 39378465009958095404091238154/243731948750727393278770560921\ *c_1101_2^13*u - 20807117496353682522657595768/73119584625218217983\ 6311682763*c_1101_2^13 - 192356235301014292491373392250/24373194875\ 0727393278770560921*c_1101_2^12*u - 445263310662158669831710971124/731195846252182179836311682763*c_110\ 1_2^12 - 864211578943340553945270368177/731195846252182179836311682\ 763*c_1101_2^11*u - 1263074702743072986491151835733/731195846252182\ 179836311682763*c_1101_2^11 + 2702518885395609722970974149802/73119\ 5846252182179836311682763*c_1101_2^10*u - 86121602484505295914030613648/731195846252182179836311682763*c_1101\ _2^10 + 9426160794004513358662502582053/731195846252182179836311682\ 763*c_1101_2^9*u + 697366576447766013903889664245/81243982916909131\ 092923520307*c_1101_2^9 + 4789992623241469143104646348566/731195846\ 252182179836311682763*c_1101_2^8*u + 6951998600259604854309020991251/731195846252182179836311682763*c_11\ 01_2^8 - 22047491340831734031276217796825/7311958462521821798363116\ 82763*c_1101_2^7*u - 11845935695498633335591498408847/7311958462521\ 82179836311682763*c_1101_2^7 - 27924847065239639141896466462461/731\ 195846252182179836311682763*c_1101_2^6*u - 9772276324313498830423720292336/243731948750727393278770560921*c_11\ 01_2^6 - 5921042689426863659494025273452/73119584625218217983631168\ 2763*c_1101_2^5*u + 13775403637456726272216452975669/73119584625218\ 2179836311682763*c_1101_2^5 - 20657690940064819526976111245633/7311\ 95846252182179836311682763*c_1101_2^4*u + 8633981695074936552265991831047/243731948750727393278770560921*c_11\ 01_2^4 - 14098872084792647489333713212382/7311958462521821798363116\ 82763*c_1101_2^3*u - 671093802476307736552674072967/243731948750727\ 393278770560921*c_1101_2^3 + 2820978017793730783277166706952/812439\ 82916909131092923520307*c_1101_2^2*u + 1886896565115585202642832874126/81243982916909131092923520307*c_110\ 1_2^2 - 1515321628013049688206921063623/243731948750727393278770560\ 921*c_1101_2*u + 2639886238397183090942362642961/243731948750727393\ 278770560921*c_1101_2 - 80292161119513095110108345989/2437319487507\ 27393278770560921*u - 4786141470538068036886374891199/7311958462521\ 82179836311682763, c_0111_0 - 1, c_0111_1 + 6223116712127687876947855123/243731948750727393278770560921*\ c_1101_2^13*u + 9422453289753961917353979148/7311958462521821798363\ 11682763*c_1101_2^13 + 69144004108127220147664530998/73119584625218\ 2179836311682763*c_1101_2^12*u + 76339701061405974402124111529/7311\ 95846252182179836311682763*c_1101_2^12 + 8617602432423108662360077925/81243982916909131092923520307*c_1101_2\ ^11*u + 170238675927975533723939350246/7311958462521821798363116827\ 63*c_1101_2^11 - 436160166709323064021626514562/7311958462521821798\ 36311682763*c_1101_2^10*u - 176036461757074279566446016070/73119584\ 6252182179836311682763*c_1101_2^10 - 1212404372520139987663072634764/731195846252182179836311682763*c_11\ 01_2^9*u - 377106753364841960272541763673/2437319487507273932787705\ 60921*c_1101_2^9 - 414224578106353979267137314667/73119584625218217\ 9836311682763*c_1101_2^8*u - 230734011304350911181424197421/2437319\ 48750727393278770560921*c_1101_2^8 + 3305714709414338104113390699139/731195846252182179836311682763*c_11\ 01_2^7*u + 954195943837644320182960744909/2437319487507273932787705\ 60921*c_1101_2^7 + 3423805366338647603577881344424/7311958462521821\ 79836311682763*c_1101_2^6*u + 3981815456212105801557809380658/73119\ 5846252182179836311682763*c_1101_2^6 + 1112204040525615996706253701420/731195846252182179836311682763*c_11\ 01_2^5*u - 2407373177200073225779385088275/731195846252182179836311\ 682763*c_1101_2^5 + 649575380715811795596171141229/2437319487507273\ 93278770560921*c_1101_2^4*u - 3000176704623381921126890633221/73119\ 5846252182179836311682763*c_1101_2^4 + 122384100317219084646911893466/81243982916909131092923520307*c_1101\ _2^3*u + 767099271562754946309485651488/731195846252182179836311682\ 763*c_1101_2^3 - 1916247425965945428844893775718/731195846252182179\ 836311682763*c_1101_2^2*u - 2175915746557366921789918834033/7311958\ 46252182179836311682763*c_1101_2^2 + 602961530753772695765741418946/731195846252182179836311682763*c_110\ 1_2*u - 276080614282428074524869256708/7311958462521821798363116827\ 63*c_1101_2 - 165839576189568133619975577308/7311958462521821798363\ 11682763*u + 11716011522735608867964039745/243731948750727393278770\ 560921, c_0111_2 - 3766174127355826894460744714/731195846252182179836311682763*\ c_1101_2^13*u + 16337728343555438580958917371/731195846252182179836\ 311682763*c_1101_2^13 - 76433765072878535988993142717/7311958462521\ 82179836311682763*c_1101_2^12*u + 4690552931867391178801585846/2437\ 31948750727393278770560921*c_1101_2^12 - 198668389039997864072058305212/731195846252182179836311682763*c_110\ 1_2^11*u - 91430733532250284915204121911/73119584625218217983631168\ 2763*c_1101_2^11 + 52460934694986696684739534414/731195846252182179\ 836311682763*c_1101_2^10*u - 490448444308877931420022170685/7311958\ 46252182179836311682763*c_1101_2^10 + 1124288661571265530987383755840/731195846252182179836311682763*c_11\ 01_2^9*u - 368282229091931423736432429944/7311958462521821798363116\ 82763*c_1101_2^9 + 1059395389260690648633000917519/7311958462521821\ 79836311682763*c_1101_2^8*u + 852441498674865739392622545446/731195\ 846252182179836311682763*c_1101_2^8 - 725956401738102045527940610517/243731948750727393278770560921*c_110\ 1_2^7*u + 2106317505978114103824335738435/7311958462521821798363116\ 82763*c_1101_2^7 - 4636827739770940038214698245324/7311958462521821\ 79836311682763*c_1101_2^6*u - 130304476192821438379867675685/812439\ 82916909131092923520307*c_1101_2^6 + 943178042230936654437798336797/243731948750727393278770560921*c_110\ 1_2^5*u + 491109969217053188036054195023/24373194875072739327877056\ 0921*c_1101_2^5 + 2977684973275571776447787182177/73119584625218217\ 9836311682763*c_1101_2^4*u + 1868550848486045756206736708212/243731\ 948750727393278770560921*c_1101_2^4 - 2692961033461010810200027732751/731195846252182179836311682763*c_11\ 01_2^3*u + 494275087620666510707191129201/7311958462521821798363116\ 82763*c_1101_2^3 + 2472107863380037900676092531364/7311958462521821\ 79836311682763*c_1101_2^2*u - 1182382252559578872284189048323/73119\ 5846252182179836311682763*c_1101_2^2 + 279041729493123481506216312733/243731948750727393278770560921*c_110\ 1_2*u + 2159789582377566632646043067260/731195846252182179836311682\ 763*c_1101_2 - 343513317266346916495532719918/731195846252182179836\ 311682763*u - 724360114948731890206384445374/7311958462521821798363\ 11682763, c_0120_2 - 22274793194793784289127403340/731195846252182179836311682763\ *c_1101_2^13*u - 44799274182214777282245956672/73119584625218217983\ 6311682763*c_1101_2^13 + 28682822333352437519432562209/731195846252\ 182179836311682763*c_1101_2^12*u - 57615466549514427515966139530/243731948750727393278770560921*c_1101\ _2^12 + 292904852942241660115586209627/7311958462521821798363116827\ 63*c_1101_2^11*u - 175000231686132913819953907409/73119584625218217\ 9836311682763*c_1101_2^11 + 755159119952658043460233894661/73119584\ 6252182179836311682763*c_1101_2^10*u + 1112327970556213000696062208291/731195846252182179836311682763*c_11\ 01_2^10 - 28195474507362595533491511241/243731948750727393278770560\ 921*c_1101_2^9*u + 3005449790525200007745714305707/7311958462521821\ 79836311682763*c_1101_2^9 - 566030215783959365481047780957/24373194\ 8750727393278770560921*c_1101_2^8*u + 1009507526763536859182830142494/731195846252182179836311682763*c_11\ 01_2^8 - 326918041998507775888230077503/243731948750727393278770560\ 921*c_1101_2^7*u - 7460801906009607723486599169295/7311958462521821\ 79836311682763*c_1101_2^7 + 4988448695165049332297606446817/7311958\ 46252182179836311682763*c_1101_2^6*u - 2545379651372824518770183249971/243731948750727393278770560921*c_11\ 01_2^6 - 6462776584873983479157366213110/73119584625218217983631168\ 2763*c_1101_2^5*u - 1331045336244936672272043990817/243731948750727\ 393278770560921*c_1101_2^5 - 17294666140680418739438764136017/73119\ 5846252182179836311682763*c_1101_2^4*u - 11812490171386060962221642180449/731195846252182179836311682763*c_1\ 101_2^4 - 4073180460250439145656946086159/7311958462521821798363116\ 82763*c_1101_2^3*u - 6319397074996948018517343668864/73119584625218\ 2179836311682763*c_1101_2^3 + 338883012943335425012101642712/731195\ 846252182179836311682763*c_1101_2^2*u + 8655999304528615765214970252946/731195846252182179836311682763*c_11\ 01_2^2 - 5084775561664975645462841656492/73119584625218217983631168\ 2763*c_1101_2*u - 2034693246893150602561992482906/73119584625218217\ 9836311682763*c_1101_2 + 594552462196052017180941525628/24373194875\ 0727393278770560921*u + 370147917734219626567818041375/731195846252\ 182179836311682763, c_0201_0 + 21920414086479242839829511614/731195846252182179836311682763\ *c_1101_2^13*u + 38919753963029177814421890139/73119584625218217983\ 6311682763*c_1101_2^13 - 21432577395739595973189178091/731195846252\ 182179836311682763*c_1101_2^12*u + 150404018629770675507274624831/731195846252182179836311682763*c_110\ 1_2^12 - 259002667378796674103892661801/731195846252182179836311682\ 763*c_1101_2^11*u + 131758704108824040341081157335/7311958462521821\ 79836311682763*c_1101_2^11 - 729467401744527972531260828708/7311958\ 46252182179836311682763*c_1101_2^10*u - 1042759164302390064165418192201/731195846252182179836311682763*c_11\ 01_2^10 + 87672419285141708799191213098/731195846252182179836311682\ 763*c_1101_2^9*u - 2562763883815601256547545540949/7311958462521821\ 79836311682763*c_1101_2^9 + 626138481478676712761091019685/24373194\ 8750727393278770560921*c_1101_2^8*u - 332991669473169960744693356459/731195846252182179836311682763*c_110\ 1_2^8 + 1589349551914493659194181797233/731195846252182179836311682\ 763*c_1101_2^7*u + 2355458322451514890019895234775/2437319487507273\ 93278770560921*c_1101_2^7 - 4911676044809313542420431406345/7311958\ 46252182179836311682763*c_1101_2^6*u + 1866202368933573474996212855948/243731948750727393278770560921*c_11\ 01_2^6 + 4280689543653624705681425465000/73119584625218217983631168\ 2763*c_1101_2^5*u + 1097231926719523441214342700322/731195846252182\ 179836311682763*c_1101_2^5 + 13159813051531795855653060885560/73119\ 5846252182179836311682763*c_1101_2^4*u + 9672047467712623196123448774050/731195846252182179836311682763*c_11\ 01_2^4 + 446761023920356574151227769760/243731948750727393278770560\ 921*c_1101_2^3*u + 4995709473200527475415459556172/7311958462521821\ 79836311682763*c_1101_2^3 - 796371717377884660438218401129/73119584\ 6252182179836311682763*c_1101_2^2*u - 856472308571076024706710616719/81243982916909131092923520307*c_1101\ _2^2 + 3919087214550156333233716907855/7311958462521821798363116827\ 63*c_1101_2*u + 2775112116734014910191387032575/7311958462521821798\ 36311682763*c_1101_2 - 1818352896737984050035303110155/731195846252\ 182179836311682763*u - 1483273242725279162989165947586/731195846252\ 182179836311682763, c_0210_2 + 9922877850547870136631908126/243731948750727393278770560921*\ c_1101_2^13*u - 7587777187625055641351232124/2437319487507273932787\ 70560921*c_1101_2^13 + 244487100475438497830544135335/7311958462521\ 82179836311682763*c_1101_2^12*u + 16982139672704873691800751938/243\ 731948750727393278770560921*c_1101_2^12 + 184946439651699379299613141624/243731948750727393278770560921*c_110\ 1_2^11*u + 380072306495181205961172301285/7311958462521821798363116\ 82763*c_1101_2^11 - 483629190731438471696100979232/7311958462521821\ 79836311682763*c_1101_2^10*u + 848607827377457653858989481595/73119\ 5846252182179836311682763*c_1101_2^10 - 1269148931447710882359859111360/243731948750727393278770560921*c_11\ 01_2^9*u - 104821631484059929091804990302/2437319487507273932787705\ 60921*c_1101_2^9 - 3395118511794577806592115206747/7311958462521821\ 79836311682763*c_1101_2^8*u - 2248648389663576435168420666388/73119\ 5846252182179836311682763*c_1101_2^8 + 2566399294503980274411195344855/243731948750727393278770560921*c_11\ 01_2^7*u - 1040743263473413076058889769875/731195846252182179836311\ 682763*c_1101_2^7 + 15371534854432464628730241311477/73119584625218\ 2179836311682763*c_1101_2^6*u + 6283428865830267963570616469390/731\ 195846252182179836311682763*c_1101_2^6 - 1115607812744347233310055512727/731195846252182179836311682763*c_11\ 01_2^5*u - 6338629347658251239754353032864/731195846252182179836311\ 682763*c_1101_2^5 - 4794442393931996972890381572821/731195846252182\ 179836311682763*c_1101_2^4*u - 6040339096200935693504874386264/2437\ 31948750727393278770560921*c_1101_2^4 + 2505503645516361752843046954166/731195846252182179836311682763*c_11\ 01_2^3*u - 4499529708219502988099911626968/731195846252182179836311\ 682763*c_1101_2^3 - 8486964414379358374091019321707/731195846252182\ 179836311682763*c_1101_2^2*u - 67166180730648941029515753379/812439\ 82916909131092923520307*c_1101_2^2 - 2136231108528558942005729573929/731195846252182179836311682763*c_11\ 01_2*u - 4137599143869518163508337218711/73119584625218217983631168\ 2763*c_1101_2 + 403682172022595867837968823974/24373194875072739327\ 8770560921*u + 1549376336681770460929326034795/73119584625218217983\ 6311682763, c_1101_0 - 44270924284142648634902451719/731195846252182179836311682763\ *c_1101_2^13*u + 7451754408953206876320862652/731195846252182179836\ 311682763*c_1101_2^13 - 268837783136359852445635945586/731195846252\ 182179836311682763*c_1101_2^12*u - 132207437831647518538690893451/731195846252182179836311682763*c_110\ 1_2^12 - 499758500764581033784066980536/731195846252182179836311682\ 763*c_1101_2^11*u - 492411618553828293511142615842/7311958462521821\ 79836311682763*c_1101_2^11 + 100687281758197577914241324619/8124398\ 2916909131092923520307*c_1101_2^10*u - 146679081305482400015555576611/243731948750727393278770560921*c_110\ 1_2^10 + 4243120023257096024663230853432/73119584625218217983631168\ 2763*c_1101_2^9*u + 1672058615660189690502075693766/731195846252182\ 179836311682763*c_1101_2^9 + 2788012102830333912931839695144/731195\ 846252182179836311682763*c_1101_2^8*u + 2576543322067615332102822884110/731195846252182179836311682763*c_11\ 01_2^8 - 9553677930886916259190091774912/73119584625218217983631168\ 2763*c_1101_2^7*u - 2855114159415389366677460991580/731195846252182\ 179836311682763*c_1101_2^7 - 14629988193326469987214620875114/73119\ 5846252182179836311682763*c_1101_2^6*u - 10265960712256939925099975553607/731195846252182179836311682763*c_1\ 101_2^6 - 105646268733652607365724368288/73119584625218217983631168\ 2763*c_1101_2^5*u + 8635373063105844905771319975931/731195846252182\ 179836311682763*c_1101_2^5 - 2094361114624535379695009166430/731195\ 846252182179836311682763*c_1101_2^4*u + 17578361939631767250293139311830/731195846252182179836311682763*c_1\ 101_2^4 - 3575618930062071848468323202846/7311958462521821798363116\ 82763*c_1101_2^3*u + 2001453140441308013287156325375/73119584625218\ 2179836311682763*c_1101_2^3 + 4176248573726628797596639586959/24373\ 1948750727393278770560921*c_1101_2^2*u + 1492077116459019591646414977619/243731948750727393278770560921*c_11\ 01_2^2 + 53404444151150879971597523908/2437319487507273932787705609\ 21*c_1101_2*u + 1533060882929039646272323416736/2437319487507273932\ 78770560921*c_1101_2 - 900141890298160436659024613855/7311958462521\ 82179836311682763*u - 2647027501178298946952716011799/7311958462521\ 82179836311682763, c_1101_1 + 34510907426273461115698861574/731195846252182179836311682763\ *c_1101_2^13*u + 6490620236655605380315467791/731195846252182179836\ 311682763*c_1101_2^13 + 56633149047799284477555265484/2437319487507\ 27393278770560921*c_1101_2^12*u + 127859225504551353971861263015/73\ 1195846252182179836311682763*c_1101_2^12 + 89924343506194454677432414441/243731948750727393278770560921*c_1101\ _2^11*u + 370000127516353851337384541227/73119584625218217983631168\ 2763*c_1101_2^11 - 747078575745121854961818856778/73119584625218217\ 9836311682763*c_1101_2^10*u + 38957939700661393790071777631/7311958\ 46252182179836311682763*c_1101_2^10 - 934422104897125463843513169155/243731948750727393278770560921*c_110\ 1_2^9*u - 1779942039777719007563262958447/7311958462521821798363116\ 82763*c_1101_2^9 - 1686068385407218070124210626594/7311958462521821\ 79836311682763*c_1101_2^8*u - 2011574936810387718197977427771/73119\ 5846252182179836311682763*c_1101_2^8 + 6342248095137851349223810602968/731195846252182179836311682763*c_11\ 01_2^7*u + 3420043354777685913747784220567/731195846252182179836311\ 682763*c_1101_2^7 + 9017037523101728961700606694798/731195846252182\ 179836311682763*c_1101_2^6*u + 8473711213170581575913800386242/7311\ 95846252182179836311682763*c_1101_2^6 + 2722271663952655552959887261732/731195846252182179836311682763*c_11\ 01_2^5*u - 1222449843594589393554659546201/243731948750727393278770\ 560921*c_1101_2^5 + 4917995755350054919311055201748/731195846252182\ 179836311682763*c_1101_2^4*u - 2835209314803301401425530040639/2437\ 31948750727393278770560921*c_1101_2^4 + 3356659488611130974525863643725/731195846252182179836311682763*c_11\ 01_2^3*u - 82828850241315146044806152726/81243982916909131092923520\ 307*c_1101_2^3 - 6989038565164369083922855345153/731195846252182179\ 836311682763*c_1101_2^2*u - 4858366363715737654419015391319/7311958\ 46252182179836311682763*c_1101_2^2 + 764097401401671697715781851636/731195846252182179836311682763*c_110\ 1_2*u - 1976795176934391448696461882788/731195846252182179836311682\ 763*c_1101_2 + 11842881526072319467528516945/7311958462521821798363\ 11682763*u + 366616142862711799119299490890/24373194875072739327877\ 0560921, c_1101_2^14 - 4*c_1101_2^13*u + 2*c_1101_2^13 - 14*c_1101_2^12*u - 4*c_1101_2^12 - 10*c_1101_2^11*u - 34*c_1101_2^11 + 60*c_1101_2^10*u - 43*c_1101_2^10 + 110*c_1101_2^9*u + 42*c_1101_2^9 - 56*c_1101_2^8*u + 160*c_1101_2^8 - 362*c_1101_2^7*u - 22*c_1101_2^7 - 2*c_1101_2^6*u + 11*c_1101_2^6 + 283*c_1101_2^5*u + 484*c_1101_2^5 - 82*c_1101_2^4*u + 270*c_1101_2^4 + 55*c_1101_2^3*u - 122*c_1101_2^3 + 222*c_1101_2^2*u + 190*c_1101_2^2 - 65*c_1101_2*u + 4*c_1101_2 + u - 24, u^2 + u + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE FREE=VARIABLES=IN=COMPONENTS=BEGINS=HERE [ [ ], [ ] ] FREE=VARIABLES=IN=COMPONENTS=ENDS=HERE CPUTIME: 985.980 Total time: 986.169 seconds, Total memory usage: 32.09MB