Magma V2.19-8 Wed Aug 21 2013 01:02:25 on localhost [Seed = 2766323543] Type ? for help. Type -D to quit. Loading file "L14n15018__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L14n15018 geometric_solution 11.73797363 oriented_manifold CS_known -0.0000000000000001 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 2 0132 0132 0132 0213 0 1 1 1 0 0 -1 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 1 -1 0 -6 0 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440433902192 0.578670776792 0 4 6 5 0132 0132 0132 0132 1 1 1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.257468552655 0.860861631707 7 0 6 0 0132 0132 3012 0213 0 1 1 1 0 0 1 -1 0 0 -1 1 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 6 -6 -1 0 0 1 1 6 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.440433902192 0.578670776792 8 9 10 0 0132 0132 0132 0132 0 1 1 1 0 1 -2 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -2 3 -1 -6 0 7 -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.324884284462 0.364182549350 9 1 11 12 0321 0132 0132 0132 1 1 1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 7 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.202850419798 1.192820179905 8 11 1 11 2103 3012 0132 0132 1 1 1 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 6 -6 0 0 0 0 0 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.259093548107 1.610449741385 7 2 12 1 2310 1230 0132 0132 1 1 1 0 0 1 0 -1 0 0 0 0 1 -1 0 0 -1 -1 2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -6 0 6 0 0 0 0 -7 7 0 0 2 1 -3 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.842288531410 0.730040105115 2 9 6 12 0132 0321 3201 2031 0 1 1 1 0 -1 1 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 -2 0 0 0 7 -7 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.960670559610 0.721110193169 3 10 5 11 0132 1023 2103 0321 1 1 1 1 0 1 0 -1 -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 -7 0 7 6 0 0 -6 -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.111417926052 1.226481329687 4 3 10 7 0321 0132 0321 0321 0 1 1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 2 0 -2 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.028909624312 0.981745189346 8 12 9 3 1023 2031 0321 0132 0 1 1 1 0 -2 0 2 -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 3 0 -3 7 0 0 -7 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.563379897292 0.927865252015 5 8 5 4 1230 0321 0132 0132 1 1 1 1 0 1 0 -1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -7 0 7 0 0 0 0 0 -1 0 1 -6 6 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.506231277215 0.326601070138 10 7 4 6 1302 1302 0132 0132 1 1 0 1 0 -1 1 0 0 0 0 0 2 0 0 -2 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 7 -7 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.322051873992 0.587600688739 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_0110_6' : d['c_0101_1'], 'c_1001_11' : negation(d['c_0101_11']), 'c_1001_10' : negation(d['c_0101_6']), 'c_1001_12' : d['c_0101_2'], 'c_1001_5' : negation(d['c_0011_11']), 'c_1001_4' : negation(d['c_0011_11']), 'c_1001_7' : negation(d['c_0101_6']), 'c_1001_6' : d['c_0011_6'], 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : d['c_1001_0'], 'c_1001_3' : d['c_0011_12'], 'c_1001_2' : negation(d['c_0011_6']), 'c_1001_9' : d['c_1001_0'], 'c_1001_8' : d['c_0011_5'], 'c_1010_12' : d['c_0011_6'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0011_12'], 's_3_11' : d['1'], 's_3_10' : d['1'], 's_0_12' : d['1'], 's_3_12' : d['1'], 's_2_8' : d['1'], 's_2_9' : d['1'], 'c_0101_11' : d['c_0101_11'], 'c_0101_10' : d['c_0011_5'], '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_1100_9' : negation(d['c_0101_6']), 'c_1100_8' : negation(d['c_0101_11']), 'c_0011_12' : d['c_0011_12'], 'c_1100_5' : d['c_1100_1'], 'c_1100_4' : d['c_1100_1'], 'c_1100_7' : negation(d['c_0011_6']), 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_1001_0'], 'c_1100_3' : d['c_1001_0'], 'c_1100_2' : negation(d['c_0011_6']), 's_0_10' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_1001_0'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_12'], 'c_1010_6' : d['c_0101_2'], 'c_1010_5' : negation(d['c_0101_11']), 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : d['c_1001_0'], 'c_1010_2' : d['c_1001_0'], 'c_1010_1' : negation(d['c_0011_11']), 'c_1010_0' : negation(d['c_0011_6']), 'c_1010_9' : d['c_0011_12'], 'c_1010_8' : negation(d['c_0011_11']), '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' : d['c_1100_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' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : d['c_0011_10'], 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_0'], 'c_0011_7' : d['c_0011_0'], 'c_0011_6' : d['c_0011_6'], '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_5'], 'c_0110_10' : negation(d['c_0011_11']), 'c_0110_12' : d['c_0101_6'], 'c_0101_12' : negation(d['c_0011_10']), 'c_0110_0' : d['c_0101_1'], 'c_0101_7' : negation(d['c_0101_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_0'], 'c_0101_4' : d['c_0011_5'], 'c_0101_3' : negation(d['c_0011_11']), 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : negation(d['c_0011_5']), 'c_0101_8' : d['c_0101_0'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_0']), 'c_0110_8' : negation(d['c_0011_11']), 'c_0110_1' : d['c_0101_0'], 'c_0011_11' : d['c_0011_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : d['c_0101_11'], 'c_0110_4' : negation(d['c_0011_10']), 'c_0110_7' : d['c_0101_2'], 'c_0011_10' : d['c_0011_10']})} 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_6, c_0101_0, c_0101_1, c_0101_11, c_0101_2, c_0101_6, c_1001_0, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 17 Groebner basis: [ t + 1882303901249169905210884052506139311/43974374831870925728372091301\ 12*c_1100_1^16 - 396241968563801293198564682586060273/1022659879810\ 95176112493235584*c_1100_1^15 + 54356614069298876976537595021264735\ 573/4397437483187092572837209130112*c_1100_1^14 - 30196591296868434880066114332934298087/2198718741593546286418604565\ 056*c_1100_1^13 - 13113518601521074640354854789855181219/2198718741\ 593546286418604565056*c_1100_1^12 + 19063311182544915321759875193925975443/1099359370796773143209302282\ 528*c_1100_1^11 + 1254915741124903546460178347425886845/15163577528\ 2313536994386521728*c_1100_1^10 - 904908008141001030670544533461433\ 31669/4397437483187092572837209130112*c_1100_1^9 - 35316761686406567388645377014433238919/4397437483187092572837209130\ 112*c_1100_1^8 + 8831186946195871281653430023040238741/549679685398\ 386571604651141264*c_1100_1^7 + 27162185400234303217183977573404092\ 289/4397437483187092572837209130112*c_1100_1^6 - 36152307398016650700777557994478877461/4397437483187092572837209130\ 112*c_1100_1^5 - 945989303338122542785274412713290635/3997670439260\ 99324803382648192*c_1100_1^4 + 678221913773245703736819322555255293\ 7/4397437483187092572837209130112*c_1100_1^3 + 4134564733870998337871302003940161773/43974374831870925728372091301\ 12*c_1100_1^2 + 9664120175463302449679745448573255/5113299399054758\ 8056246617792*c_1100_1 + 60803337198976345971386421788715691/439743\ 7483187092572837209130112, c_0011_0 - 1, c_0011_10 + c_1100_1, c_0011_11 + 1056142844686337187254972162/69685558493710265162861453*c_1\ 100_1^16 - 214044353076986283328114588/1620594383574657329368871*c_\ 1100_1^15 + 27298033260942278632466031827/6968555849371026516286145\ 3*c_1100_1^14 - 23807391382783927438875224517/696855584937102651628\ 61453*c_1100_1^13 - 25498453042187020032889843948/69685558493710265\ 162861453*c_1100_1^12 + 37151648739430344412777697084/6968555849371\ 0265162861453*c_1100_1^11 + 34460720308202991629783910208/696855584\ 93710265162861453*c_1100_1^10 - 43024152807650278684959768491/69685\ 558493710265162861453*c_1100_1^9 - 36380983436428809097470347171/69685558493710265162861453*c_1100_1^8 + 31948641696393752058895077563/69685558493710265162861453*c_1100_1\ ^7 + 28048921446357279940748085681/69685558493710265162861453*c_110\ 0_1^6 - 14391638755856465672120080052/69685558493710265162861453*c_\ 1100_1^5 - 12260207755509158624819058134/69685558493710265162861453\ *c_1100_1^4 + 1483005989553459601862986353/696855584937102651628614\ 53*c_1100_1^3 + 3417977925872190452486381677/6968555849371026516286\ 1453*c_1100_1^2 + 31048561484824975228057447/1620594383574657329368\ 871*c_1100_1 + 216948530160981317053252308/696855584937102651628614\ 53, c_0011_12 + 379807398654771718280800514505/557484467949682121302891624*\ c_1100_1^16 - 9899251845298482399196940529/162059438357465732936887\ 1*c_1100_1^15 + 10663376945833038197951982142485/557484467949682121\ 302891624*c_1100_1^14 - 1014368428058676750005152426033/50680406177\ 243829209353784*c_1100_1^13 - 6626055736223288491990310817705/55748\ 4467949682121302891624*c_1100_1^12 + 15297837423604391515253465872813/557484467949682121302891624*c_1100\ _1^11 + 1087961024012422896447711716587/69685558493710265162861453*\ c_1100_1^10 - 18014365331590736304287570605925/55748446794968212130\ 2891624*c_1100_1^9 - 1096603804625196987015089053041/69685558493710\ 265162861453*c_1100_1^8 + 1763482900415645322789105604685/696855584\ 93710265162861453*c_1100_1^7 + 6758386468844949031008074279579/5574\ 84467949682121302891624*c_1100_1^6 - 898431766182674605342605965651/69685558493710265162861453*c_1100_1^\ 5 - 2765097356122535162079116261773/557484467949682121302891624*c_1\ 100_1^4 + 344820798371591981862302885105/13937111698742053032572290\ 6*c_1100_1^3 + 953374453438937333501738547811/557484467949682121302\ 891624*c_1100_1^2 + 4728279189685990127978814415/129647550685972586\ 34950968*c_1100_1 + 3966598257384629578865240353/139371116987420530\ 325722906, c_0011_5 + 100396791508588686366328275113/278742233974841060651445812*c\ _1100_1^16 - 5278352229218553386185474731/1620594383574657329368871\ *c_1100_1^15 + 2890492027601335489568538152629/27874223397484106065\ 1445812*c_1100_1^14 - 3189899710999176662152417477391/2787422339748\ 41060651445812*c_1100_1^13 - 1445723100724543665694317137997/278742\ 233974841060651445812*c_1100_1^12 + 4079279137824994878592702744401/278742233974841060651445812*c_1100_\ 1^11 + 493591727659724412414812320667/69685558493710265162861453*c_\ 1100_1^10 - 4828769782109960312666140214097/27874223397484106065144\ 5812*c_1100_1^9 - 481913015206636902609343261985/696855584937102651\ 62861453*c_1100_1^8 + 943921217456785931629423700230/69685558493710\ 265162861453*c_1100_1^7 + 1479997629820979122018956769843/278742233\ 974841060651445812*c_1100_1^6 - 483358890684263785607428627169/6968\ 5558493710265162861453*c_1100_1^5 - 569289446267057329834759450077/278742233974841060651445812*c_1100_1\ ^4 + 91447331566380698987011207434/69685558493710265162861453*c_110\ 0_1^3 + 220913418360073868394590692803/278742233974841060651445812*\ c_1100_1^2 + 1049866054758447078804187075/6482377534298629317475484\ *c_1100_1 + 889602009930006966115449699/69685558493710265162861453, c_0011_6 - 123128810882496190098321362573/278742233974841060651445812*c\ _1100_1^16 + 51142551490073354437985461387/129647550685972586349509\ 68*c_1100_1^15 - 3416155983086995149927365321405/278742233974841060\ 651445812*c_1100_1^14 + 6963319221431705118632421163199/55748446794\ 9682121302891624*c_1100_1^13 + 4635266923959888564107338458763/5574\ 84467949682121302891624*c_1100_1^12 - 9866264009864006400108593598947/557484467949682121302891624*c_1100_\ 1^11 - 6014216600567817498457104785015/557484467949682121302891624*\ c_1100_1^10 + 526895745752367311884286238539/2534020308862191460467\ 6892*c_1100_1^9 + 6132892962883905177704650618103/55748446794968212\ 1302891624*c_1100_1^8 - 2270270211175872363832123951103/13937111698\ 7420530325722906*c_1100_1^7 - 2365317533506045843285297650407/27874\ 2233974841060651445812*c_1100_1^6 + 4610569712928488401724217085763/557484467949682121302891624*c_1100_\ 1^5 + 89887157813515109989899477171/25340203088621914604676892*c_11\ 00_1^4 - 886638456243151945224321783193/557484467949682121302891624\ *c_1100_1^3 - 327177616331881414616702330575/2787422339748410606514\ 45812*c_1100_1^2 - 3327699272364144837872710749/1296475506859725863\ 4950968*c_1100_1 - 1025168034714843145047534825/5068040617724382920\ 9353784, c_0101_0 + 106578202616768899939934361673/278742233974841060651445812*c\ _1100_1^16 - 22388062080500998079053461191/648237753429862931747548\ 4*c_1100_1^15 + 3058905236982654373390628504135/2787422339748410606\ 51445812*c_1100_1^14 - 1678806422591478105880476188709/139371116987\ 420530325722906*c_1100_1^13 - 780223581737002213661441782401/139371\ 116987420530325722906*c_1100_1^12 + 97800661810257193349786726805/6335050772155478651169223*c_1100_1^11 + 2139976260687007361991046564815/278742233974841060651445812*c_110\ 0_1^10 - 5094377598798481461026369221275/27874223397484106065144581\ 2*c_1100_1^9 - 2096114858367861438311274531953/27874223397484106065\ 1445812*c_1100_1^8 + 993627901627823510222474852626/696855584937102\ 65162861453*c_1100_1^7 + 1611101785455235937489533281895/2787422339\ 74841060651445812*c_1100_1^6 - 2027464913561919549161977596219/2787\ 42233974841060651445812*c_1100_1^5 - 625353294387885253822703341987/278742233974841060651445812*c_1100_1\ ^4 + 377804448525276949044264760983/278742233974841060651445812*c_1\ 100_1^3 + 21775697714008754808395502117/25340203088621914604676892*\ c_1100_1^2 + 592311471788317570140026253/3241188767149314658737742*\ c_1100_1 + 4183866009584464637007079657/278742233974841060651445812\ , c_0101_1 - 270161538643677591948546007/278742233974841060651445812*c_11\ 00_1^16 + 52926776674805593168198189/6482377534298629317475484*c_11\ 00_1^15 - 577737404721481334419080915/25340203088621914604676892*c_\ 1100_1^14 + 2249873752020905719324531401/13937111698742053032572290\ 6*c_1100_1^13 + 328980733128383734754845955/12670101544310957302338\ 446*c_1100_1^12 - 1818839862344565586216302446/69685558493710265162\ 861453*c_1100_1^11 - 9991067798217304022422074037/27874223397484106\ 0651445812*c_1100_1^10 + 7912972644111879185084138289/2787422339748\ 41060651445812*c_1100_1^9 + 10322481519258771881445404755/278742233\ 974841060651445812*c_1100_1^8 - 1286777165995859527538160987/696855\ 58493710265162861453*c_1100_1^7 - 7501654996478533347569436849/2787\ 42233974841060651445812*c_1100_1^6 + 1698210985971432135617281993/278742233974841060651445812*c_1100_1^5 + 2928567544829538847949172977/278742233974841060651445812*c_1100_1\ ^4 + 220231137577093609655972159/278742233974841060651445812*c_1100\ _1^3 - 770286870028444100450870493/278742233974841060651445812*c_11\ 00_1^2 - 381658613813198728787609/294653524286301332612522*c_1100_1 + 43638183663971129523965385/278742233974841060651445812, c_0101_11 - 24387401831703279505270884300/69685558493710265162861453*c_\ 1100_1^16 + 20146032655738658823592400289/6482377534298629317475484\ *c_1100_1^15 - 1331498981437480772361183429465/13937111698742053032\ 5722906*c_1100_1^14 + 2623176033789341359613457734761/2787422339748\ 41060651445812*c_1100_1^13 + 1972248436454709512044914761667/278742\ 233974841060651445812*c_1100_1^12 - 3806390602101565775325626651325/278742233974841060651445812*c_1100_\ 1^11 - 2596344974374695244062195503189/278742233974841060651445812*\ c_1100_1^10 + 2238516038101436040236636228493/139371116987420530325\ 722906*c_1100_1^9 + 2677488571998840305253770937855/278742233974841\ 060651445812*c_1100_1^8 - 79074830582203517961660419693/63350507721\ 55478651169223*c_1100_1^7 - 519016766818118877073927660454/69685558\ 493710265162861453*c_1100_1^6 + 1737131209468926194165892626733/278\ 742233974841060651445812*c_1100_1^5 + 445702454407825812379717000919/139371116987420530325722906*c_1100_1\ ^4 - 314278480000229746717431186045/278742233974841060651445812*c_1\ 100_1^3 - 71354226817338995172717562645/69685558493710265162861453*\ c_1100_1^2 - 1583915567401976423836047657/6482377534298629317475484\ *c_1100_1 - 5806956751968902100921861571/27874223397484106065144581\ 2, c_0101_2 - 41748828266462322041723951335/139371116987420530325722906*c_\ 1100_1^16 + 4336828615280412953684376749/1620594383574657329368871*\ c_1100_1^15 - 579806419484454235764351466354/6968555849371026516286\ 1453*c_1100_1^14 + 592436727993946866529393397113/69685558493710265\ 162861453*c_1100_1^13 + 780279841524642910110633979545/139371116987\ 420530325722906*c_1100_1^12 - 836584278804865802550535361576/696855\ 58493710265162861453*c_1100_1^11 - 506876328213004155818043034710/69685558493710265162861453*c_1100_1^\ 10 + 983009967774697234294068267067/69685558493710265162861453*c_11\ 00_1^9 + 1032732415092636015634039040107/13937111698742053032572290\ 6*c_1100_1^8 - 769988727945040538356268650577/696855584937102651628\ 61453*c_1100_1^7 - 796245040071656062825458222039/13937111698742053\ 0325722906*c_1100_1^6 + 390965515609172824772161580202/696855584937\ 10265162861453*c_1100_1^5 + 166043683992687066661944087959/69685558\ 493710265162861453*c_1100_1^4 - 150257387740902665937949614611/1393\ 71116987420530325722906*c_1100_1^3 - 110247333610431110490602890785/139371116987420530325722906*c_1100_1\ ^2 - 559713975062776341310516267/3241188767149314658737742*c_1100_1 - 1897349477371712536548680685/139371116987420530325722906, c_0101_6 - 342534002564702735017366305/557484467949682121302891624*c_11\ 00_1^16 + 34160715376617252988773891/6482377534298629317475484*c_11\ 00_1^15 - 768652869920430504927857481/50680406177243829209353784*c_\ 1100_1^14 + 6623578606744733380247390543/55748446794968212130289162\ 4*c_1100_1^13 + 812652599767958217494665993/50680406177243829209353\ 784*c_1100_1^12 - 10499122117081536102212675589/5574844679496821213\ 02891624*c_1100_1^11 - 6239211811850277083300497419/278742233974841\ 060651445812*c_1100_1^10 + 11579170770751505686031944779/5574844679\ 49682121302891624*c_1100_1^9 + 1674849710754807160569174810/6968555\ 8493710265162861453*c_1100_1^8 - 937138540000176677807747347/696855\ 58493710265162861453*c_1100_1^7 - 10382628429884331958384053687/557\ 484467949682121302891624*c_1100_1^6 + 973903159381298514585153439/278742233974841060651445812*c_1100_1^5 + 4758785825355747808256673703/557484467949682121302891624*c_1100_1^4 + 208493443645653660931951837/69685558493710265162861453*c_1100_1^3 - 1617071649120272865281088655/557484467949682121302891624*c_1100_1\ ^2 - 4285530586196840402266991/1178614097145205330450088*c_1100_1 + 10178759196369304391165423/69685558493710265162861453, c_1001_0 - 1, c_1100_1^17 - 902/103*c_1100_1^16 + 2700/103*c_1100_1^15 - 2431/103*c_1100_1^14 - 2400/103*c_1100_1^13 + 3738/103*c_1100_1^12 + 3221/103*c_1100_1^11 - 4354/103*c_1100_1^10 - 3390/103*c_1100_1^9 + 3283/103*c_1100_1^8 + 2625/103*c_1100_1^7 - 1530/103*c_1100_1^6 - 1152/103*c_1100_1^5 + 198/103*c_1100_1^4 + 336/103*c_1100_1^3 + 113/103*c_1100_1^2 + 17/103*c_1100_1 + 1/103 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.140 Total time: 0.350 seconds, Total memory usage: 32.09MB