Magma V2.19-8 Wed Aug 21 2013 00:55:10 on localhost [Seed = 1730247946] Type ? for help. Type -D to quit. Loading file "L13a2085__sl2_c0.magma" ==TRIANGULATION=BEGINS== % Triangulation L13a2085 geometric_solution 10.86984890 oriented_manifold CS_known 0.0000000000000005 2 0 torus 0.000000000000 0.000000000000 torus 0.000000000000 0.000000000000 13 1 2 3 4 0132 0132 0132 0132 1 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 -14 0 14 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.256526109632 0.843331374334 0 5 7 6 0132 0132 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 13 -13 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.256526109632 0.843331374334 5 0 8 6 0132 0132 0132 2031 1 1 1 1 0 -1 0 1 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 14 0 -14 -14 0 14 0 0 0 0 0 13 0 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.465833253011 1.564164851729 7 9 9 0 0213 0132 1302 0132 1 1 1 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092578355464 0.919222187333 6 8 0 9 0321 0213 0132 1302 1 1 1 1 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 -14 13 -1 0 1 0 14 -14 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125464924672 1.323177514747 2 1 8 10 0132 0132 2310 0132 1 1 1 1 0 1 -1 0 -1 0 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 -13 13 0 14 0 -14 0 -13 0 0 13 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.097058853512 0.592467706676 4 2 1 11 0321 1302 0132 0132 1 1 1 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 0 0 0 0 0 0 0 1 0 -1 0 -14 14 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.125464924672 1.323177514747 3 11 11 1 0213 3012 0132 0132 1 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 0 0 0 0 0 0 0 0 0 0 0 -13 0 13 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.092578355464 0.919222187333 10 5 4 2 1023 3201 0213 0132 1 1 1 1 0 0 0 0 0 0 -1 1 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 1 -1 0 0 0 14 -14 0 -13 0 13 -13 14 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.097058853512 0.592467706676 3 3 4 11 2031 0132 2031 0321 1 1 0 1 0 0 0 0 0 0 1 -1 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -13 13 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.891536031389 1.076952447189 12 8 5 12 0132 1023 0132 1023 1 1 1 1 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 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.568303533365 1.072555466458 7 9 6 7 1230 0321 0132 0132 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 13 -13 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.092578355464 0.919222187333 10 12 12 10 0132 1230 3012 1023 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.885095874505 0.411239904864 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 'c_1001_11' : d['c_1001_11'], 'c_1001_10' : d['c_0011_4'], 'c_1001_12' : d['c_0011_10'], 'c_1001_5' : d['c_0101_5'], 'c_1001_4' : negation(d['c_0101_5']), 'c_1001_7' : negation(d['c_0011_11']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0011_4'], 'c_1001_0' : d['c_0011_6'], 'c_1001_3' : negation(d['c_0011_11']), 'c_1001_2' : negation(d['c_0101_5']), 'c_1001_9' : d['c_0011_6'], 'c_1001_8' : negation(d['c_0101_5']), 'c_1010_12' : d['c_0101_12'], 'c_1010_11' : negation(d['c_0011_11']), 'c_1010_10' : d['c_0101_10'], 's_0_10' : 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' : negation(d['c_0011_4']), 'c_0101_10' : d['c_0101_10'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_2_7' : d['1'], 's_2_12' : d['1'], 's_2_10' : d['1'], 's_2_11' : d['1'], 's_0_8' : d['1'], 's_0_9' : d['1'], 's_0_6' : d['1'], 's_0_7' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_0011_11' : d['c_0011_11'], 'c_1100_8' : negation(d['c_1001_11']), 'c_0011_12' : negation(d['c_0011_10']), 'c_1100_5' : d['c_0011_10'], 'c_1100_4' : d['c_0101_9'], 'c_1100_7' : d['c_1100_1'], 'c_1100_6' : d['c_1100_1'], 'c_1100_1' : d['c_1100_1'], 'c_1100_0' : d['c_0101_9'], 'c_1100_3' : d['c_0101_9'], 'c_1100_2' : negation(d['c_1001_11']), 's_3_11' : d['1'], 'c_1100_11' : d['c_1100_1'], 'c_1100_10' : d['c_0011_10'], 's_0_11' : d['1'], 'c_1010_7' : d['c_0011_4'], 'c_1010_6' : d['c_1001_11'], 'c_1010_5' : d['c_0011_4'], 'c_1010_4' : negation(d['c_1001_11']), 'c_1010_3' : d['c_0011_6'], 'c_1010_2' : d['c_0011_6'], 'c_1010_1' : d['c_0101_5'], 'c_1010_0' : negation(d['c_0101_5']), 'c_1010_9' : negation(d['c_0011_11']), 'c_1010_8' : negation(d['c_0101_5']), 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_7' : d['1'], 's_3_6' : d['1'], 's_3_9' : d['1'], 's_3_8' : d['1'], 'c_1100_12' : negation(d['c_0011_10']), 's_1_7' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_1_9' : d['1'], 's_1_8' : d['1'], 'c_0011_9' : negation(d['c_0011_3']), 'c_0011_8' : d['c_0011_10'], 'c_0011_5' : d['c_0011_0'], 'c_0011_4' : d['c_0011_4'], 'c_0011_7' : d['c_0011_3'], 'c_0110_6' : negation(d['c_0011_4']), '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_11' : d['c_0011_3'], 'c_0110_10' : d['c_0101_12'], 'c_0110_12' : d['c_0101_10'], 'c_0101_12' : d['c_0101_12'], 'c_0110_0' : negation(d['c_0101_0']), 'c_0011_6' : d['c_0011_6'], 'c_0101_7' : d['c_0011_3'], 'c_0101_6' : d['c_0101_0'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : negation(d['c_0101_0']), 'c_0101_3' : d['c_0011_3'], 'c_0101_2' : d['c_0101_10'], 'c_0101_1' : negation(d['c_0101_0']), 'c_0101_0' : d['c_0101_0'], 'c_0101_9' : d['c_0101_9'], 'c_0101_8' : d['c_0011_4'], 's_1_12' : d['1'], 's_1_11' : d['1'], 's_1_10' : d['1'], 'c_0110_9' : negation(d['c_0011_11']), 'c_0110_8' : d['c_0101_10'], 'c_0110_1' : d['c_0101_0'], 'c_1100_9' : d['c_1001_11'], 'c_0110_3' : d['c_0101_0'], 'c_0110_2' : d['c_0101_5'], 'c_0110_5' : d['c_0101_10'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_7' : negation(d['c_0101_0']), '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_3, c_0011_4, c_0011_6, c_0101_0, c_0101_10, c_0101_12, c_0101_5, c_0101_9, c_1001_11, c_1100_1 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 21 Groebner basis: [ t + 491071618285747713205279754542972974139402588160/330478541131058703\ 91118048426574293937277*c_1100_1^20 + 520649964573920392255264296322282847848756200448/330478541131058703\ 91118048426574293937277*c_1100_1^19 - 3301401248332338857147204918461974167314201231680/33047854113105870\ 391118048426574293937277*c_1100_1^18 - 2634773187763201486345982162180662980691058539880/33047854113105870\ 391118048426574293937277*c_1100_1^17 + 9893139408825362278838550549322168377864369832236/33047854113105870\ 391118048426574293937277*c_1100_1^16 + 5683800977119585739287186281193248224244422482090/33047854113105870\ 391118048426574293937277*c_1100_1^15 - 18302880433579842371150183336731311179308721579731/3304785411310587\ 0391118048426574293937277*c_1100_1^14 - 6025708468603100064627086205632099246022079030824/33047854113105870\ 391118048426574293937277*c_1100_1^13 + 400515293346881182146647693376271911180213113671/560133120561116447\ 307085566552106676903*c_1100_1^12 + 2627872033065490002885404282950111130464445710810/33047854113105870\ 391118048426574293937277*c_1100_1^11 - 21000427630129059200905844987383640183582993205831/3304785411310587\ 0391118048426574293937277*c_1100_1^10 - 894632247940586835133667792907274354257798642459/330478541131058703\ 91118048426574293937277*c_1100_1^9 + 10960153376229878357183648157933184671474419766547/3304785411310587\ 0391118048426574293937277*c_1100_1^8 + 1899700163590963695592187638710299219308064739799/33047854113105870\ 391118048426574293937277*c_1100_1^7 - 377204701913642379615396911911265110200345768018/472112201615798148\ 4445435489510613419611*c_1100_1^6 - 892653496007769013692708429508913166991587845408/330478541131058703\ 91118048426574293937277*c_1100_1^5 + 250404743985862249377455910939002197984725963378/330478541131058703\ 91118048426574293937277*c_1100_1^4 + 179574931458146323512034020517140990664229807047/330478541131058703\ 91118048426574293937277*c_1100_1^3 + 10803449926122716258035301355567058638325067036/3304785411310587039\ 1118048426574293937277*c_1100_1^2 - 1821531507809382581497294933336756677206178937/47211220161579814844\ 45435489510613419611*c_1100_1 - 24639220493827730021750372263928050\ 37175992407/33047854113105870391118048426574293937277, c_0011_0 - 1, c_0011_10 + 646342471489139543020016802323182594637824/8001901722301663\ 5329583652364586668129*c_1100_1^20 + 135130752277153733323750113673879293615616/800190172230166353295836\ 52364586668129*c_1100_1^19 - 47369336205380614370406949708371962885\ 09568/80019017223016635329583652364586668129*c_1100_1^18 + 363747269273616168783309256165600685865416/800190172230166353295836\ 52364586668129*c_1100_1^17 + 14635002892515631980919784314391575041\ 848193/80019017223016635329583652364586668129*c_1100_1^16 - 4142207368076773070576285295950263703633957/80019017223016635329583\ 652364586668129*c_1100_1^15 - 2639266610948385999730651934908481110\ 8704772/80019017223016635329583652364586668129*c_1100_1^14 + 13310745664573427613425294598001303748388314/8001901722301663532958\ 3652364586668129*c_1100_1^13 + 304204714140560483780960945237686797\ 32679542/80019017223016635329583652364586668129*c_1100_1^12 - 22659907658555198825050751290542624281775018/8001901722301663532958\ 3652364586668129*c_1100_1^11 - 214561145435150424973172999517463782\ 72042627/80019017223016635329583652364586668129*c_1100_1^10 + 20049202594908151863496449879237907986569246/8001901722301663532958\ 3652364586668129*c_1100_1^9 + 8027711682128130533036395779588693612\ 813140/80019017223016635329583652364586668129*c_1100_1^8 - 7426923830280220216619212591859190417391151/80019017223016635329583\ 652364586668129*c_1100_1^7 - 21467951726303557730353597164685588918\ 46820/80019017223016635329583652364586668129*c_1100_1^6 + 1263280590363597553325998360412161131478284/80019017223016635329583\ 652364586668129*c_1100_1^5 + 47064253007199680749559497819714308858\ 2377/80019017223016635329583652364586668129*c_1100_1^4 - 83286334157713442499168973715330545303419/8001901722301663532958365\ 2364586668129*c_1100_1^3 - 7167165908317694452875479030150176920654\ 8/80019017223016635329583652364586668129*c_1100_1^2 + 674832047562216331667054582120717996177/800190172230166353295836523\ 64586668129*c_1100_1 + 4461416980985816663570247319689628731641/800\ 19017223016635329583652364586668129, c_0011_11 + 48088485845228127495068483933010285514240/80019017223016635\ 329583652364586668129*c_1100_1^20 + 21049972930726961561674966095206632294016/8001901722301663532958365\ 2364586668129*c_1100_1^19 - 342189068288116519136456455623533523257\ 112/80019017223016635329583652364586668129*c_1100_1^18 - 47806570105162343197473141748238634957503/8001901722301663532958365\ 2364586668129*c_1100_1^17 + 104016453170568699856744732253127656267\ 4213/80019017223016635329583652364586668129*c_1100_1^16 - 82683945708765789104643835161105464729531/8001901722301663532958365\ 2364586668129*c_1100_1^15 - 186914954380406988339743588246231984512\ 9759/80019017223016635329583652364586668129*c_1100_1^14 + 575006731659334136755110781591101740118764/800190172230166353295836\ 52364586668129*c_1100_1^13 + 21910593667085318039590454908999265070\ 98564/80019017223016635329583652364586668129*c_1100_1^12 - 1160219104930203125615801466174810919751542/80019017223016635329583\ 652364586668129*c_1100_1^11 - 1617980882245228595362271224389797356\ 641684/80019017223016635329583652364586668129*c_1100_1^10 + 1042311966879015046602810464257247345546522/80019017223016635329583\ 652364586668129*c_1100_1^9 + 64630160552321561904328253093178699672\ 1487/80019017223016635329583652364586668129*c_1100_1^8 - 331562706027330457787370504624767965817896/800190172230166353295836\ 52364586668129*c_1100_1^7 - 152779329391406071969309477296302251664\ 281/80019017223016635329583652364586668129*c_1100_1^6 + 43868785439196696247053703902246613329687/8001901722301663532958365\ 2364586668129*c_1100_1^5 + 2494887340757209653625973621956031183825\ 1/80019017223016635329583652364586668129*c_1100_1^4 - 972313138999464544224796702737113364066/800190172230166353295836523\ 64586668129*c_1100_1^3 - 2797014460158400717435882501353677586610/8\ 0019017223016635329583652364586668129*c_1100_1^2 + 172794699077388411241966139854128372967/800190172230166353295836523\ 64586668129*c_1100_1 + 146140282210319669694000596760527531637/8001\ 9017223016635329583652364586668129, c_0011_3 - 1, c_0011_4 - 23670295763765622773649665653455129822720/800190172230166353\ 29583652364586668129*c_1100_1^20 - 12840612115798081459340490675918663763072/8001901722301663532958365\ 2364586668129*c_1100_1^19 + 167883355507096941951012985238254670157\ 176/80019017223016635329583652364586668129*c_1100_1^18 + 41768561457418284374091739338922038804651/8001901722301663532958365\ 2364586668129*c_1100_1^17 - 513115967440349024500580059459446098747\ 799/80019017223016635329583652364586668129*c_1100_1^16 - 15999109454285067016465999215326626402690/8001901722301663532958365\ 2364586668129*c_1100_1^15 + 935060893405403322167336712608130485512\ 686/80019017223016635329583652364586668129*c_1100_1^14 - 179855590950467761221014943413885300502188/800190172230166353295836\ 52364586668129*c_1100_1^13 - 11281321372350082774061734565250091567\ 52372/80019017223016635329583652364586668129*c_1100_1^12 + 450418715422560705692763574204973384444916/800190172230166353295836\ 52364586668129*c_1100_1^11 + 88230366151272583311575418500261478079\ 9723/80019017223016635329583652364586668129*c_1100_1^10 - 425357144418709615356182924007474925886939/800190172230166353295836\ 52364586668129*c_1100_1^9 - 395422913746428869947092262463919765977\ 302/80019017223016635329583652364586668129*c_1100_1^8 + 127718994446331385696447426248605257643697/800190172230166353295836\ 52364586668129*c_1100_1^7 + 104889256871880102892169192174165924082\ 436/80019017223016635329583652364586668129*c_1100_1^6 - 10975168930515412343649183557490057484170/8001901722301663532958365\ 2364586668129*c_1100_1^5 - 1770823124370463945062478314686082263025\ 6/80019017223016635329583652364586668129*c_1100_1^4 - 2111985570339736952566894197910590722534/80019017223016635329583652\ 364586668129*c_1100_1^3 + 1811316528326959161896204015954302272642/\ 80019017223016635329583652364586668129*c_1100_1^2 + 360176453141227345834554263539831989729/800190172230166353295836523\ 64586668129*c_1100_1 - 82341081102633928182791452454860564768/80019\ 017223016635329583652364586668129, c_0011_6 + 23670295763765622773649665653455129822720/800190172230166353\ 29583652364586668129*c_1100_1^20 + 12840612115798081459340490675918663763072/8001901722301663532958365\ 2364586668129*c_1100_1^19 - 167883355507096941951012985238254670157\ 176/80019017223016635329583652364586668129*c_1100_1^18 - 41768561457418284374091739338922038804651/8001901722301663532958365\ 2364586668129*c_1100_1^17 + 513115967440349024500580059459446098747\ 799/80019017223016635329583652364586668129*c_1100_1^16 + 15999109454285067016465999215326626402690/8001901722301663532958365\ 2364586668129*c_1100_1^15 - 935060893405403322167336712608130485512\ 686/80019017223016635329583652364586668129*c_1100_1^14 + 179855590950467761221014943413885300502188/800190172230166353295836\ 52364586668129*c_1100_1^13 + 11281321372350082774061734565250091567\ 52372/80019017223016635329583652364586668129*c_1100_1^12 - 450418715422560705692763574204973384444916/800190172230166353295836\ 52364586668129*c_1100_1^11 - 88230366151272583311575418500261478079\ 9723/80019017223016635329583652364586668129*c_1100_1^10 + 425357144418709615356182924007474925886939/800190172230166353295836\ 52364586668129*c_1100_1^9 + 395422913746428869947092262463919765977\ 302/80019017223016635329583652364586668129*c_1100_1^8 - 127718994446331385696447426248605257643697/800190172230166353295836\ 52364586668129*c_1100_1^7 - 104889256871880102892169192174165924082\ 436/80019017223016635329583652364586668129*c_1100_1^6 + 10975168930515412343649183557490057484170/8001901722301663532958365\ 2364586668129*c_1100_1^5 + 1770823124370463945062478314686082263025\ 6/80019017223016635329583652364586668129*c_1100_1^4 + 2111985570339736952566894197910590722534/80019017223016635329583652\ 364586668129*c_1100_1^3 - 1811316528326959161896204015954302272642/\ 80019017223016635329583652364586668129*c_1100_1^2 - 360176453141227345834554263539831989729/800190172230166353295836523\ 64586668129*c_1100_1 + 82341081102633928182791452454860564768/80019\ 017223016635329583652364586668129, c_0101_0 - 15016391453194134059626396854551081841664/800190172230166353\ 29583652364586668129*c_1100_1^20 - 1812754414861179210424842785195096101632/80019017223016635329583652\ 364586668129*c_1100_1^19 + 1108290794897406008243445718510863108111\ 52/80019017223016635329583652364586668129*c_1100_1^18 - 17500388417582422764517907096904736497382/8001901722301663532958365\ 2364586668129*c_1100_1^17 - 342568399485613892188344020791260660076\ 996/80019017223016635329583652364586668129*c_1100_1^16 + 122671782992322499000840169817658914441506/800190172230166353295836\ 52364586668129*c_1100_1^15 + 61473608617599721865045056421544422209\ 6349/80019017223016635329583652364586668129*c_1100_1^14 - 355188389666730962430225211099895446594886/800190172230166353295836\ 52364586668129*c_1100_1^13 - 69877627102862931627347439280981183238\ 5407/80019017223016635329583652364586668129*c_1100_1^12 + 579061814808631479568670135299610062790156/800190172230166353295836\ 52364586668129*c_1100_1^11 + 47839933208458208277392144563655641932\ 0942/80019017223016635329583652364586668129*c_1100_1^10 - 503877296157768071004781246887830105636683/800190172230166353295836\ 52364586668129*c_1100_1^9 - 170297217362766600543166233310356520060\ 181/80019017223016635329583652364586668129*c_1100_1^8 + 187033447538350500837639301745946211207829/800190172230166353295836\ 52364586668129*c_1100_1^7 + 480953125154374496401749573729213454549\ 62/80019017223016635329583652364586668129*c_1100_1^6 - 32531894829302149610189310981616045065489/8001901722301663532958365\ 2364586668129*c_1100_1^5 - 1130382376981019506074341629771979189251\ 6/80019017223016635329583652364586668129*c_1100_1^4 + 2368740855246964540823427296137661677615/80019017223016635329583652\ 364586668129*c_1100_1^3 + 1957328353490150955004273160805681936972/\ 80019017223016635329583652364586668129*c_1100_1^2 - 41705365622602703333610668602793896153/8001901722301663532958365236\ 4586668129*c_1100_1 - 173941841139477821843389285046247382024/80019\ 017223016635329583652364586668129, c_0101_10 + 681616830971575954889966409517271923125760/8001901722301663\ 5329583652364586668129*c_1100_1^20 + 317116064015739619145824846949074395630208/800190172230166353295836\ 52364586668129*c_1100_1^19 - 48617306591608974187647047190846059479\ 46136/80019017223016635329583652364586668129*c_1100_1^18 - 824238249003800017525981429379778690879679/800190172230166353295836\ 52364586668129*c_1100_1^17 + 14858479387450760642527766789116184738\ 965951/80019017223016635329583652364586668129*c_1100_1^16 - 716687121469620682405238124712408633912907/800190172230166353295836\ 52364586668129*c_1100_1^15 - 26917391874218927734517075154792063291\ 592864/80019017223016635329583652364586668129*c_1100_1^14 + 7363204709106483997861642095354577442744343/80019017223016635329583\ 652364586668129*c_1100_1^13 + 3196792635829561124267246617983045852\ 4961878/80019017223016635329583652364586668129*c_1100_1^12 - 15648047756277274095018710641531712523676325/8001901722301663532958\ 3652364586668129*c_1100_1^11 - 241905494519290621793585310141534311\ 17321635/80019017223016635329583652364586668129*c_1100_1^10 + 14372758343368224233457183511061640430645063/8001901722301663532958\ 3652364586668129*c_1100_1^9 + 1017504808620710254540592074400988210\ 5191842/80019017223016635329583652364586668129*c_1100_1^8 - 4641945200422146924729068980439802970587240/80019017223016635329583\ 652364586668129*c_1100_1^7 - 25445645768362068497929227965249331839\ 15417/80019017223016635329583652364586668129*c_1100_1^6 + 573203249021491202921043766931850787020973/800190172230166353295836\ 52364586668129*c_1100_1^5 + 426457158799828938301715467554274111051\ 282/80019017223016635329583652364586668129*c_1100_1^4 + 5191575004559091454740462636480673145666/80019017223016635329583652\ 364586668129*c_1100_1^3 - 47031625107868030410298429922666335858768\ /80019017223016635329583652364586668129*c_1100_1^2 - 3671872521475451420803938455739960967030/80019017223016635329583652\ 364586668129*c_1100_1 + 2389553382007629529512251153386417682148/80\ 019017223016635329583652364586668129, c_0101_12 - 2256892794532439919253392704517051740139520/800190172230166\ 35329583652364586668129*c_1100_1^20 - 848690259717906167497370601867753197560320/800190172230166353295836\ 52364586668129*c_1100_1^19 + 16279793166294005892750756133335731595\ 598144/80019017223016635329583652364586668129*c_1100_1^18 + 1348776526836823068311622672684080698416304/80019017223016635329583\ 652364586668129*c_1100_1^17 - 5005791667631886147388720495636187877\ 9920401/80019017223016635329583652364586668129*c_1100_1^16 + 6556527332389565507415287158309963610243653/80019017223016635329583\ 652364586668129*c_1100_1^15 + 9077061334862657128219952695959277727\ 7947011/80019017223016635329583652364586668129*c_1100_1^14 - 32125598030074005162665853744749959685312287/8001901722301663532958\ 3652364586668129*c_1100_1^13 - 107016107382157878621633593563854706\ 039312757/80019017223016635329583652364586668129*c_1100_1^12 + 61651863391636273872888984157201349291210803/8001901722301663532958\ 3652364586668129*c_1100_1^11 + 794792067351046329976077412037533811\ 80127063/80019017223016635329583652364586668129*c_1100_1^10 - 56039834196856592144377208210758036877289470/8001901722301663532958\ 3652364586668129*c_1100_1^9 - 3255727246683970585591666950913440458\ 6691197/80019017223016635329583652364586668129*c_1100_1^8 + 19593747995128613477103363460303479234739915/8001901722301663532958\ 3652364586668129*c_1100_1^7 + 8404632629323841700860210455488760149\ 803287/80019017223016635329583652364586668129*c_1100_1^6 - 2912400075894608590142058279828961902190080/80019017223016635329583\ 652364586668129*c_1100_1^5 - 15558165318027588556939088864647656761\ 38638/80019017223016635329583652364586668129*c_1100_1^4 + 100215123588106527892393565213992646545653/800190172230166353295836\ 52364586668129*c_1100_1^3 + 197990747168155495215659498403827219773\ 214/80019017223016635329583652364586668129*c_1100_1^2 + 7746880461270098286048779698139007857059/80019017223016635329583652\ 364586668129*c_1100_1 - 11334780639093656343036876390008924681284/8\ 0019017223016635329583652364586668129, c_0101_5 - 48088485845228127495068483933010285514240/800190172230166353\ 29583652364586668129*c_1100_1^20 - 21049972930726961561674966095206632294016/8001901722301663532958365\ 2364586668129*c_1100_1^19 + 342189068288116519136456455623533523257\ 112/80019017223016635329583652364586668129*c_1100_1^18 + 47806570105162343197473141748238634957503/8001901722301663532958365\ 2364586668129*c_1100_1^17 - 104016453170568699856744732253127656267\ 4213/80019017223016635329583652364586668129*c_1100_1^16 + 82683945708765789104643835161105464729531/8001901722301663532958365\ 2364586668129*c_1100_1^15 + 186914954380406988339743588246231984512\ 9759/80019017223016635329583652364586668129*c_1100_1^14 - 575006731659334136755110781591101740118764/800190172230166353295836\ 52364586668129*c_1100_1^13 - 21910593667085318039590454908999265070\ 98564/80019017223016635329583652364586668129*c_1100_1^12 + 1160219104930203125615801466174810919751542/80019017223016635329583\ 652364586668129*c_1100_1^11 + 1617980882245228595362271224389797356\ 641684/80019017223016635329583652364586668129*c_1100_1^10 - 1042311966879015046602810464257247345546522/80019017223016635329583\ 652364586668129*c_1100_1^9 - 64630160552321561904328253093178699672\ 1487/80019017223016635329583652364586668129*c_1100_1^8 + 331562706027330457787370504624767965817896/800190172230166353295836\ 52364586668129*c_1100_1^7 + 152779329391406071969309477296302251664\ 281/80019017223016635329583652364586668129*c_1100_1^6 - 43868785439196696247053703902246613329687/8001901722301663532958365\ 2364586668129*c_1100_1^5 - 2494887340757209653625973621956031183825\ 1/80019017223016635329583652364586668129*c_1100_1^4 + 972313138999464544224796702737113364066/800190172230166353295836523\ 64586668129*c_1100_1^3 + 2797014460158400717435882501353677586610/8\ 0019017223016635329583652364586668129*c_1100_1^2 - 92775681854371775912382487489541704838/8001901722301663532958365236\ 4586668129*c_1100_1 - 146140282210319669694000596760527531637/80019\ 017223016635329583652364586668129, c_0101_9 + c_1100_1, c_1001_11 - 1, c_1100_1^21 + 3/4*c_1100_1^20 - 453/64*c_1100_1^19 - 1689/512*c_1100_1^18 + 11261/512*c_1100_1^17 + 2767/512*c_1100_1^16 - 21207/512*c_1100_1^15 - 423/512*c_1100_1^14 + 13555/256*c_1100_1^13 - 4913/512*c_1100_1^12 - 731/16*c_1100_1^11 + 1501/128*c_1100_1^10 + 6123/256*c_1100_1^9 - 1717/512*c_1100_1^8 - 1809/256*c_1100_1^7 - 45/512*c_1100_1^6 + 153/128*c_1100_1^5 + 55/256*c_1100_1^4 - 55/512*c_1100_1^3 - 19/512*c_1100_1^2 + 1/256*c_1100_1 + 1/512 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.230 Total time: 0.440 seconds, Total memory usage: 32.09MB