Magma V2.19-8 Tue Aug 20 2013 16:17:39 on localhost [Seed = 779072200] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1888 geometric_solution 5.50798979 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1302 2031 0132 2310 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 0 1 -1 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 2.489473379474 1.877138987233 0 2 2 0 3201 0132 3201 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 1 0 -1 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 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.087715066177 0.580557419451 1 1 3 4 2310 0132 0132 0132 0 0 0 0 0 0 0 0 1 0 -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 -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.875166377587 0.315666107016 4 5 6 2 1230 0132 0132 0132 0 0 0 0 0 0 0 0 -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 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.581493269907 1.204694479899 5 3 2 6 0132 3012 0132 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.581493269907 1.204694479899 4 3 5 5 0132 0132 2031 1302 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 -1 0 1 0 0 -1 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.667063598158 1.006095721124 6 6 4 3 1230 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.191925754479 0.569185744291 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], '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_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_0_6' : 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_6' : d['c_1100_2'], 'c_1100_5' : d['c_0101_5'], 'c_1100_4' : d['c_1100_2'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_1100_2'], 'c_1100_2' : d['c_1100_2'], 'c_0101_6' : d['c_0101_5'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_1']), 'c_0101_3' : d['c_0011_6'], 'c_0101_2' : d['c_0011_3'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : negation(d['c_0011_0']), 'c_0011_5' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_3'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_1'], 'c_1001_4' : negation(d['c_0011_3']), 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : negation(d['c_0011_3']), 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_5']), 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : negation(d['c_0011_0']), 'c_0110_0' : negation(d['c_0101_1']), 'c_0110_3' : d['c_0011_3'], 'c_0110_2' : negation(d['c_0101_1']), 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : negation(d['c_0101_5']), 'c_1010_5' : negation(d['c_0101_5']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0101_1'], 'c_1010_2' : negation(d['c_0011_3']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : d['c_0011_0']})} PY=EVAL=SECTION=ENDS=HERE PRIMARY=DECOMPOSITION=BEGINS=HERE [ Ideal of Polynomial ring of rank 8 over Rational Field Order: Lexicographical Variables: t, c_0011_0, c_0011_1, c_0011_3, c_0011_6, c_0101_1, c_0101_5, c_1100_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 26 Groebner basis: [ t - 1455326455667164549992442165463782202094043871450332735890477841436\ 3321922265/42541028001843379157731586579334297334750473770959730757\ 905068142178777028429*c_1100_2^25 - 5854826090172611595765130861159744316006619748043536422571331119080\ 4279031772/42541028001843379157731586579334297334750473770959730757\ 905068142178777028429*c_1100_2^24 + 1878886604099004732019549408676698424897379523564336174031156632256\ 72733132166/4254102800184337915773158657933429733475047377095973075\ 7905068142178777028429*c_1100_2^23 + 9795771980257127978816935266402339161720028735686542671721848694688\ 83524351092/4254102800184337915773158657933429733475047377095973075\ 7905068142178777028429*c_1100_2^22 - 1699934587552297242478868009990691375186802667628121376508211808656\ 99575641059/3867366181985761741611962416303117939522770342814520977\ 991369831107161548039*c_1100_2^21 - 1323125981480341052030943185930392004484295248983725645779484104320\ 8555967549471/42541028001843379157731586579334297334750473770959730\ 757905068142178777028429*c_1100_2^20 - 5436222356934403039886401249452897766999635285131169562058555462710\ 344655491592/425410280018433791577315865793342973347504737709597307\ 57905068142178777028429*c_1100_2^19 + 7691570358279452270849882184375786328546545368521672508641640334922\ 4835607535761/42541028001843379157731586579334297334750473770959730\ 757905068142178777028429*c_1100_2^18 + 1707350174278865006650627732259627564560061183879856180341756807199\ 79612249528948/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^17 - 6809609215738371761296388063472648046053894554453612429363715248990\ 6668579233009/42541028001843379157731586579334297334750473770959730\ 757905068142178777028429*c_1100_2^16 - 7722592746618888873982755656054407243761662425796866958433482630306\ 39927996663762/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^15 - 4718425617783185551748761206088254944196062372567405761816895344253\ 87810065495500/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^14 + 1996143330604577741124472880912637328443272204982886327443015279432\ 185139871028769/425410280018433791577315865793342973347504737709597\ 30757905068142178777028429*c_1100_2^13 + 1951012584794386167411394540783055557234213607865291404455725136434\ 78465020334386/3867366181985761741611962416303117939522770342814520\ 977991369831107161548039*c_1100_2^12 - 2975384665125444663024889501535078310308186170766431439703136302252\ 923354086152915/425410280018433791577315865793342973347504737709597\ 30757905068142178777028429*c_1100_2^11 - 3901140570053889338574358751443010415504130340836903398474630939513\ 726260579596261/425410280018433791577315865793342973347504737709597\ 30757905068142178777028429*c_1100_2^10 + 2048729136948414526814811145418348267663584562243444591340055962395\ 690138720967645/425410280018433791577315865793342973347504737709597\ 30757905068142178777028429*c_1100_2^9 + 2376380034557466349548213043908099836641341405423677739905194440073\ 353061241847096/425410280018433791577315865793342973347504737709597\ 30757905068142178777028429*c_1100_2^8 - 7437797136518583591710543063729290425836936367849636558791240434235\ 73311604377108/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^7 + 3844646393597823856057761810940713561659403555272142925727101823409\ 07770746389116/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^6 + 4560408792056456850763229903749028760732673133837204505933020683184\ 88720955342760/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^5 - 2445489331938018128350750762960130540348186796315657703927774358851\ 25721948285690/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^4 - 5171729692262282655741780972866918186146449054236639929669980404777\ 2021369971927/42541028001843379157731586579334297334750473770959730\ 757905068142178777028429*c_1100_2^3 - 1523529063117916150186439668411840041185718117487142378970919184035\ 17781153343724/4254102800184337915773158657933429733475047377095973\ 0757905068142178777028429*c_1100_2^2 - 8219259841682349013871393712674885726261352172685692470095527036302\ 8017984559283/42541028001843379157731586579334297334750473770959730\ 757905068142178777028429*c_1100_2 - 1025352795739934438840185921894847359735349395516968938020373981030\ 6061998794862/42541028001843379157731586579334297334750473770959730\ 757905068142178777028429, c_0011_0 - 1, c_0011_1 + 128780214147982510812792583211435165355119902028460672374829\ 3/191786547218418788297527918652360791374511852210783045679488534*c\ _1100_2^25 + 247902113687765719247039148746864993444084511705289430\ 3024376/95893273609209394148763959326180395687255926105391522839744\ 267*c_1100_2^24 - 8748447058200471095354302182228602311427516840401\ 292596923509/958932736092093941487639593261803956872559261053915228\ 39744267*c_1100_2^23 - 41847275585064496928217444024018442270739148\ 707898516153695506/958932736092093941487639593261803956872559261053\ 91522839744267*c_1100_2^22 + 18015564185161773559623243686842122062\ 9536889803477357664896983/19178654721841878829752791865236079137451\ 1852210783045679488534*c_1100_2^21 + 1140350314649156775344092642175025840619489055904191719900740357/19\ 1786547218418788297527918652360791374511852210783045679488534*c_110\ 0_2^20 + 2814409357016195032115745196307779184177475451734386695448\ 16377/1917865472184187882975279186523607913745118522107830456794885\ 34*c_1100_2^19 - 34324101253520246520177844042137388681493442264521\ 52118061967295/9589327360920939414876395932618039568725592610539152\ 2839744267*c_1100_2^18 - 139164926725924249777405645310714961744054\ 21311153867649805594979/1917865472184187882975279186523607913745118\ 52210783045679488534*c_1100_2^17 + 4250744272419995829839451154328103759730686043104959570787007813/95\ 893273609209394148763959326180395687255926105391522839744267*c_1100\ _2^16 + 66965034489076775421469684909259500669780512947099674612017\ 730981/191786547218418788297527918652360791374511852210783045679488\ 534*c_1100_2^15 + 1500604928551938092124971573518723014442057155986\ 2220016097231952/95893273609209394148763959326180395687255926105391\ 522839744267*c_1100_2^14 - 9122106315536362221590600024944362810554\ 8853863590525446428074655/95893273609209394148763959326180395687255\ 926105391522839744267*c_1100_2^13 - 158323303868601376954405580381274945336120493385742802845094546901/\ 191786547218418788297527918652360791374511852210783045679488534*c_1\ 100_2^12 + 29250095808504741692085907639104258939162983351688482888\ 7097471351/19178654721841878829752791865236079137451185221078304567\ 9488534*c_1100_2^11 + 147660372514219433904316947715124183966406377\ 082165541937359329761/958932736092093941487639593261803956872559261\ 05391522839744267*c_1100_2^10 - 11771921876348566257459836545067754\ 3034365650290486799705259649997/95893273609209394148763959326180395\ 687255926105391522839744267*c_1100_2^9 - 171250061470507279303480681458508049515110333327640192329096111793/\ 191786547218418788297527918652360791374511852210783045679488534*c_1\ 100_2^8 + 487772434118495051061132884956010657167956814468386005012\ 06774604/9589327360920939414876395932618039568725592610539152283974\ 4267*c_1100_2^7 - 2497570000655210975013732656318704699552557490128\ 8248903769901074/95893273609209394148763959326180395687255926105391\ 522839744267*c_1100_2^6 - 31295118856453322271177114854748605327800\ 227209417578123544878235/191786547218418788297527918652360791374511\ 852210783045679488534*c_1100_2^5 + 13855084198430809234695602910765890911276094343432194947361004216/9\ 5893273609209394148763959326180395687255926105391522839744267*c_110\ 0_2^4 - 42298201031370025451965836904928855960835511974904516074300\ 6323/95893273609209394148763959326180395687255926105391522839744267\ *c_1100_2^3 + 13318138430126890970734347259661459896846825634308143\ 130043073799/191786547218418788297527918652360791374511852210783045\ 679488534*c_1100_2^2 + 23617565225444405088503746101904824793464630\ 14771287292993639149/9589327360920939414876395932618039568725592610\ 5391522839744267*c_1100_2 - 649418188421728974944811794951304333014\ 22728520050035768944027/1917865472184187882975279186523607913745118\ 52210783045679488534, c_0011_3 - 153525483327864416296811903707701062195544148781631718125911\ 9/191786547218418788297527918652360791374511852210783045679488534*c\ _1100_2^25 - 576892840681739554652805475791383383835901510795213696\ 5780215/19178654721841878829752791865236079137451185221078304567948\ 8534*c_1100_2^24 + 213537122975210037490167787948929917401998447420\ 29625128502345/1917865472184187882975279186523607913745118522107830\ 45679488534*c_1100_2^23 + 97673600268292626913603434797897532765622\ 551356377798118624135/191786547218418788297527918652360791374511852\ 210783045679488534*c_1100_2^22 - 1116128519185002792133780549552060\ 89753767160372452085307514078/9589327360920939414876395932618039568\ 7255926105391522839744267*c_1100_2^21 - 1336628375122788903271018375625395359637737697511188592494915377/19\ 1786547218418788297527918652360791374511852210783045679488534*c_110\ 0_2^20 - 1091357482723937353270975854975819706600845127722407934198\ 70418/9589327360920939414876395932618039568725592610539152283974426\ 7*c_1100_2^19 + 408658093468923784733598960058087326203206276535841\ 8239171483680/95893273609209394148763959326180395687255926105391522\ 839744267*c_1100_2^18 + 1583974325034034290342992934113894869144626\ 6626019530012684608049/19178654721841878829752791865236079137451185\ 2210783045679488534*c_1100_2^17 - 113996536604590779314911184114410\ 94153689155292741360830899545041/1917865472184187882975279186523607\ 91374511852210783045679488534*c_1100_2^16 - 39225595059040116975083508486407680925089643762602525334051317818/9\ 5893273609209394148763959326180395687255926105391522839744267*c_110\ 0_2^15 - 1445264703826586973440836598919901616318620383849694165895\ 5882382/95893273609209394148763959326180395687255926105391522839744\ 267*c_1100_2^14 + 1091870085879052721208553257025506980703780726000\ 81418439982938048/9589327360920939414876395932618039568725592610539\ 1522839744267*c_1100_2^13 + 168415813127699739850333589449007415246\ 264067835741603982876161919/191786547218418788297527918652360791374\ 511852210783045679488534*c_1100_2^12 - 179471365507018955043331016643022972051319903379449212957511181582/\ 95893273609209394148763959326180395687255926105391522839744267*c_11\ 00_2^11 - 158236117391388974479162958521217294535074308805058537277\ 091713272/958932736092093941487639593261803956872559261053915228397\ 44267*c_1100_2^10 + 15032442905630748070732283555680153164557691263\ 2333108896469913763/95893273609209394148763959326180395687255926105\ 391522839744267*c_1100_2^9 + 17165830865202200274986518780712694790\ 5763183957128476899695375997/19178654721841878829752791865236079137\ 4511852210783045679488534*c_1100_2^8 - 123867461280132161304916488793660291946333843330166159645181200815/\ 191786547218418788297527918652360791374511852210783045679488534*c_1\ 100_2^7 + 724990641922350288526973340817381481072032735367459035771\ 93946201/1917865472184187882975279186523607913745118522107830456794\ 88534*c_1100_2^6 + 137787576775305840919992877068831464221538074839\ 05519036455011508/9589327360920939414876395932618039568725592610539\ 1522839744267*c_1100_2^5 - 1656810491252263003081697308423749483847\ 0039504981475223857286447/95893273609209394148763959326180395687255\ 926105391522839744267*c_1100_2^4 + 1996644724582837958467685335937885242788890470013832315263179627/95\ 893273609209394148763959326180395687255926105391522839744267*c_1100\ _2^3 - 169557792790597143124685541101568405429193966899189839036441\ 41457/1917865472184187882975279186523607913745118522107830456794885\ 34*c_1100_2^2 - 401754018755332905665840069104685475056096886017965\ 3305830909983/19178654721841878829752791865236079137451185221078304\ 5679488534*c_1100_2 + 137042122079719592448355640014253903608754282\ 909776374156517823/958932736092093941487639593261803956872559261053\ 91522839744267, c_0011_6 + 224487114280530898382043937359672180022045491050279425153247\ 522069725178/133357454551233163503860772975969584121474839407397275\ 103150683831281432691*c_1100_2^25 + 1636372239297619430693673956231670434557558095994954198222905983921\ 567121/266714909102466327007721545951939168242949678814794550206301\ 367662562865382*c_1100_2^24 - 6414193191793527854781735121487157193\ 179200257755613936169175206129363503/266714909102466327007721545951\ 939168242949678814794550206301367662562865382*c_1100_2^23 - 2779409856063787150077408505410925818201069808286073939457966548825\ 0851155/26671490910246632700772154595193916824294967881479455020630\ 1367662562865382*c_1100_2^22 + 681598136932115013055326082640443308\ 96333624250085229598871002341492082559/2667149091024663270077215459\ 51939168242949678814794550206301367662562865382*c_1100_2^21 + 1911872021810925030606509754134270471580074078358442315710477747194\ 02112918/1333574545512331635038607729759695841214748394073972751031\ 50683831281432691*c_1100_2^20 + 23631697103492999942070927401056258\ 209367365238229711614994052942310330175/266714909102466327007721545\ 951939168242949678814794550206301367662562865382*c_1100_2^19 - 1190581765817883175566868700846662649252839957833233212028393823636\ 970328265/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^18 - 2185671354411429030006739369031355\ 645550973478245535578526241493817419124214/133357454551233163503860\ 772975969584121474839407397275103150683831281432691*c_1100_2^17 + 3742863409563925132304833475471418868385240361073848234973659801410\ 209875575/266714909102466327007721545951939168242949678814794550206\ 301367662562865382*c_1100_2^16 + 2242016537584111768735328976374878\ 8350747111736895510165836576303289942957423/26671490910246632700772\ 1545951939168242949678814794550206301367662562865382*c_1100_2^15 + 3079334598970211842543943016848461716526459643513686282027126318341\ 514385791/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^14 - 3191456512080047540491738443998684\ 4687153097996991869895828091597416841706983/13335745455123316350386\ 0772975969584121474839407397275103150683831281432691*c_1100_2^13 - 2114729437457843034496302260826952201274600954304290115525149826765\ 5419732384/13335745455123316350386077297596958412147483940739727510\ 3150683831281432691*c_1100_2^12 + 107332773473888600958907663543959\ 856061543006478674559087485705951800201430865/266714909102466327007\ 721545951939168242949678814794550206301367662562865382*c_1100_2^11 + 4009327819305714006658070610064816909665841797208338806386167686251\ 5203463409/13335745455123316350386077297596958412147483940739727510\ 3150683831281432691*c_1100_2^10 - 461351238488708713762692118442354\ 71622607516147829986360629699283012141985372/1333574545512331635038\ 60772975969584121474839407397275103150683831281432691*c_1100_2^9 - 1941292967339111251895419333323444776283937844813546195840091580997\ 1927582918/13335745455123316350386077297596958412147483940739727510\ 3150683831281432691*c_1100_2^8 + 3587972370797918832287501095969908\ 4396212393985508370837938125833686956497981/26671490910246632700772\ 1545951939168242949678814794550206301367662562865382*c_1100_2^7 - 2516393993657245652858643468357257941311925036614251715427652964987\ 1960258597/26671490910246632700772154595193916824294967881479455020\ 6301367662562865382*c_1100_2^6 - 3597579537919326308959526369360220\ 233694475676793195425865845961275569780389/266714909102466327007721\ 545951939168242949678814794550206301367662562865382*c_1100_2^5 + 4151089016304830541411984163198352165141898960159096711261576314543\ 487630396/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^4 - 89231582171636075098221287598123513\ 2608814569984049089070120938159439854336/13335745455123316350386077\ 2975969584121474839407397275103150683831281432691*c_1100_2^3 + 2826018875370956461410374640974926451226102327466705886665271223845\ 110719784/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^2 + 37900733447985933416293431936694596\ 8143701872369091454319710373152929811649/26671490910246632700772154\ 5951939168242949678814794550206301367662562865382*c_1100_2 + 1593093503415919986487615648366435120768982519236241610813509099002\ 63291891/2667149091024663270077215459519391682429496788147945502063\ 01367662562865382, c_0101_1 - 269712488182797248076485841849312385714695942206532461881086\ 643670230/280693442541008552944350185173583633175068068632703167971\ 27064582462941*c_1100_2^25 - 20427985631864930597478896000242629581\ 72094354456972089569509416344629/5613868850820171058887003703471672\ 6635013613726540633594254129164925882*c_1100_2^24 + 7441747034206466984665985584004222907303901183883983144694151858004\ 515/561386885082017105888700370347167266350136137265406335942541291\ 64925882*c_1100_2^23 + 34536972924539049857281298719364070212622613\ 096651539974712964844540953/561386885082017105888700370347167266350\ 13613726540633594254129164925882*c_1100_2^22 - 7739418683821194990662315585300810546697871168245509393001915772877\ 7803/56138688508201710588870037034716726635013613726540633594254129\ 164925882*c_1100_2^21 - 2359556814990024801074420585761079635283424\ 30059151228847711716544443541/2806934425410085529443501851735836331\ 7506806863270316797127064582462941*c_1100_2^20 - 9085388103537668358411804115951720315949685596367214374774812249213\ 4153/56138688508201710588870037034716726635013613726540633594254129\ 164925882*c_1100_2^19 + 1434476299632201367374931294208741330465069\ 498754869585705274529791437432/280693442541008552944350185173583633\ 17506806863270316797127064582462941*c_1100_2^18 + 2825890483946478298280678183338684894738453015741446453832421886065\ 191999/280693442541008552944350185173583633175068068632703167971270\ 64582462941*c_1100_2^17 - 38368885350856068333152009058252190292937\ 81321536759521430123894731696083/5613868850820171058887003703471672\ 6635013613726540633594254129164925882*c_1100_2^16 - 2768338023289009317155335062465390131672196249527579126809789542559\ 0234287/56138688508201710588870037034716726635013613726540633594254\ 129164925882*c_1100_2^15 - 5495437650865970226410558379898275574500\ 875702827335163732920939751339959/280693442541008552944350185173583\ 63317506806863270316797127064582462941*c_1100_2^14 + 3820394412493692381474558232961622989297696881175673191287055716223\ 3473531/28069344254100855294435018517358363317506806863270316797127\ 064582462941*c_1100_2^13 + 3076012360498731208678672641919979712451\ 2795027417112901619530731263763562/28069344254100855294435018517358\ 363317506806863270316797127064582462941*c_1100_2^12 - 1242962061726287381512799097566867902221096808991968627853876513544\ 83657785/5613868850820171058887003703471672663501361372654063359425\ 4129164925882*c_1100_2^11 - 575739923581993577325942722802897429492\ 24183034856174528412974357783501521/2806934425410085529443501851735\ 8363317506806863270316797127064582462941*c_1100_2^10 + 5111483596096135774457670437253680829099427702949792915361441721845\ 6502733/28069344254100855294435018517358363317506806863270316797127\ 064582462941*c_1100_2^9 + 31925516607025657301537862225512581941187\ 618925682028824785710964970001676/280693442541008552944350185173583\ 63317506806863270316797127064582462941*c_1100_2^8 - 4173820232491761927345611262731204861257748045746819326772535108170\ 6779381/56138688508201710588870037034716726635013613726540633594254\ 129164925882*c_1100_2^7 + 23753584703986660131962433885439027398691\ 395255032907235014844916510244075/561386885082017105888700370347167\ 26635013613726540633594254129164925882*c_1100_2^6 + 1055474993026746008269476548932343963746546204884496090274784768619\ 1838895/56138688508201710588870037034716726635013613726540633594254\ 129164925882*c_1100_2^5 - 56290610549082167287143723223349151324485\ 60428802249602562485577276374581/2806934425410085529443501851735836\ 3317506806863270316797127064582462941*c_1100_2^4 + 5289463217228555472069395015658791244831374771098898808670087584658\ 00141/2806934425410085529443501851735836331750680686327031679712706\ 4582462941*c_1100_2^3 - 2932073666836625246108650497635839223735893\ 324990447410606231176242154790/280693442541008552944350185173583633\ 17506806863270316797127064582462941*c_1100_2^2 - 1561075792281300355894923658297533265180695124531583546367352140893\ 611775/561386885082017105888700370347167266350136137265406335942541\ 29164925882*c_1100_2 + 48471336062253677105991945536739880936590775\ 850358168124127896920380211/561386885082017105888700370347167266350\ 13613726540633594254129164925882, c_0101_5 - 546640840982677161425880773020630536136866552157300376312215\ 16182093395/2667149091024663270077215459519391682429496788147945502\ 06301367662562865382*c_1100_2^25 - 1927294047253186659543679760255338019028203879393407381699478438136\ 1532/13335745455123316350386077297596958412147483940739727510315068\ 3831281432691*c_1100_2^24 + 679192515180906081747477653486454336862\ 368543822384211890957291483695470/133357454551233163503860772975969\ 584121474839407397275103150683831281432691*c_1100_2^23 + 5292722038634072484543311568101718188304819818951009954260570408570\ 64448/1333574545512331635038607729759695841214748394073972751031506\ 83831281432691*c_1100_2^22 - 18130970774192234620141721914932750164\ 486847707622125211162540280986413465/266714909102466327007721545951\ 939168242949678814794550206301367662562865382*c_1100_2^21 - 2165943870880299268559973128876999894206437619226870854023127624882\ 5157325/26671490910246632700772154595193916824294967881479455020630\ 1367662562865382*c_1100_2^20 + 132773786175678234163511510453403055\ 228597357315088868603765458245387714953/266714909102466327007721545\ 951939168242949678814794550206301367662562865382*c_1100_2^19 + 1457507818389329792497831527055719599355199192784771848860527405298\ 96897950/1333574545512331635038607729759695841214748394073972751031\ 50683831281432691*c_1100_2^18 - 32099007888189869079686918770622402\ 4555856830919199697314938714221933650587/26671490910246632700772154\ 5951939168242949678814794550206301367662562865382*c_1100_2^17 - 9891529928373415063530681047171673483742776287779718305159870054730\ 31596422/1333574545512331635038607729759695841214748394073972751031\ 50683831281432691*c_1100_2^16 - 13074072035302513491176944238509371\ 88920596537805029226136608274881935263057/2667149091024663270077215\ 45951939168242949678814794550206301367662562865382*c_1100_2^15 + 3609826945667199270621004704854550900325129456301523956621419456852\ 242876579/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^14 + 4786560751954861303601836079426486\ 812073818683146461246632513720916906415327/133357454551233163503860\ 772975969584121474839407397275103150683831281432691*c_1100_2^13 - 1786290628410484603382034396236634774355303714209779618416345810455\ 3960747247/26671490910246632700772154595193916824294967881479455020\ 6301367662562865382*c_1100_2^12 - 271539041463722862934209645423255\ 11893553547282867684406880399745961219688693/2667149091024663270077\ 21545951939168242949678814794550206301367662562865382*c_1100_2^11 + 1476630157324229052199995666667346046169055823720672347725865386723\ 4294477879/13335745455123316350386077297596958412147483940739727510\ 3150683831281432691*c_1100_2^10 + 191892701160482082584535380556549\ 25485000753097970349067207861721324231212960/1333574545512331635038\ 60772975969584121474839407397275103150683831281432691*c_1100_2^9 - 2993435549095545900590864976968195043022695320027862910465642899668\ 2314280153/26671490910246632700772154595193916824294967881479455020\ 6301367662562865382*c_1100_2^8 - 8680013747259233640827795925877661\ 449949029154974421121388720552284579507331/133357454551233163503860\ 772975969584121474839407397275103150683831281432691*c_1100_2^7 + 8396081495436143448222045376737052524727520472697055190196983183782\ 495872267/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^6 - 86851017576282440882358565408259170\ 76945185882764906145700982109089331968461/2667149091024663270077215\ 45951939168242949678814794550206301367662562865382*c_1100_2^5 - 1064377950661144855333311837571547491685537570613664786374383705301\ 172381696/133357454551233163503860772975969584121474839407397275103\ 150683831281432691*c_1100_2^4 + 18155592710810827653140655298376673\ 58223939550564625975264782012663748252505/1333574545512331635038607\ 72975969584121474839407397275103150683831281432691*c_1100_2^3 - 1256973643847878903287017829883300673923663023685422539917503180995\ 418903281/266714909102466327007721545951939168242949678814794550206\ 301367662562865382*c_1100_2^2 + 87513210052265335020872370918038078\ 2767632500572516398171523723731101473640/13335745455123316350386077\ 2975969584121474839407397275103150683831281432691*c_1100_2 + 1196576403586697139255215639536842779208490343427963972942237849200\ 47512947/2667149091024663270077215459519391682429496788147945502063\ 01367662562865382, c_1100_2^26 + 4*c_1100_2^25 - 13*c_1100_2^24 - 67*c_1100_2^23 + 130*c_1100_2^22 + 906*c_1100_2^21 + 353*c_1100_2^20 - 5291*c_1100_2^19 - 11609*c_1100_2^18 + 4934*c_1100_2^17 + 52924*c_1100_2^16 + 31213*c_1100_2^15 - 137770*c_1100_2^14 - 144253*c_1100_2^13 + 207451*c_1100_2^12 + 263101*c_1100_2^11 - 146214*c_1100_2^10 - 159713*c_1100_2^9 + 53888*c_1100_2^8 - 27511*c_1100_2^7 - 29598*c_1100_2^6 + 17343*c_1100_2^5 + 2650*c_1100_2^4 + 10363*c_1100_2^3 + 5236*c_1100_2^2 + 472*c_1100_2 - 29 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB