Magma V2.19-8 Tue Aug 20 2013 16:17:46 on localhost [Seed = 2564359291] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2005 geometric_solution 5.56043813 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 1 1 0 0 0132 2310 1230 3012 0 0 0 0 0 1 0 -1 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 1 0 0 -1 1 -1 0 0 1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.758597037452 0.537292378781 0 2 3 0 0132 0132 0132 3201 0 0 0 0 0 -1 0 1 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.607928386237 0.694839667124 4 1 5 5 0132 0132 0132 2310 0 0 0 0 0 1 -1 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 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.147185142138 0.604481006475 5 5 4 1 1023 3201 2310 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 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.147185142138 0.604481006475 2 3 6 6 0132 3201 3201 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.078990991752 1.646432670018 2 3 3 2 3201 1023 2310 0132 0 0 0 0 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 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.380263668945 1.561721257945 4 6 4 6 2310 1302 0132 2031 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -0.479717685311 0.907101722544 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : negation(d['1']), 's_3_3' : d['1'], 's_3_2' : negation(d['1']), 's_3_5' : negation(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' : negation(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' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : negation(d['1']), 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_6']), 'c_1100_5' : d['c_0011_3'], 'c_1100_4' : negation(d['c_0011_6']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_0']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_2'], 'c_0101_5' : negation(d['c_0101_4']), 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_2'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : negation(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' : d['c_0011_3'], 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0101_2'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : negation(d['c_0101_2']), 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : d['c_0101_4'], 'c_1001_2' : d['c_0101_1'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_4'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : d['c_0101_2'], 'c_0110_6' : negation(d['c_0101_4']), 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0101_4']), 'c_1010_3' : negation(d['c_0101_2']), 'c_1010_2' : negation(d['c_0101_2']), 'c_1010_1' : d['c_0101_1'], 'c_1010_0' : negation(d['c_0101_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_3, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 25 Groebner basis: [ t + 8706773996609230944853509252626881657519595521855659362682702269746\ 8841492007172908807606/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^24 + 4684075979709969933293522468445127580978387237136808231462064789741\ 348147077116167533796447/266284542581454590310367536575657915690909\ 1284303780230224797816793831883733404740682986*c_0101_4^23 + 8684946885462703870805193034028379345324414866500764482496569876876\ 734947007259954453523659/399426813872181885465551304863486873536363\ 6926455670345337196725190747825600107111024479*c_0101_4^22 - 9268749351295070299751754112609979195280984332138753414193247182267\ 9870692031565769063685109/79885362774436377093110260972697374707272\ 73852911340690674393450381495651200214222048958*c_0101_4^21 - 1233952276312118646662294099354991885741481358895400104015639675173\ 25102021330087420949270897/7988536277443637709311026097269737470727\ 273852911340690674393450381495651200214222048958*c_0101_4^20 + 4456990408049157210921615232964296279168177879008363328459086451255\ 31685877810151501974897235/7988536277443637709311026097269737470727\ 273852911340690674393450381495651200214222048958*c_0101_4^19 + 1027209441948103250420884999306403412360805818025321375418801350892\ 11572653342216228720701897/1331422712907272951551837682878289578454\ 545642151890115112398908396915941866702370341493*c_0101_4^18 - 9465574542847631017403802080180588869058931125507047513286950912145\ 21352115442690982071479471/7988536277443637709311026097269737470727\ 273852911340690674393450381495651200214222048958*c_0101_4^17 - 4192453337798180536082823004409065144901879494800033561324432858117\ 10531537236536812667324659/2662845425814545903103675365756579156909\ 091284303780230224797816793831883733404740682986*c_0101_4^16 + 2026086365018248268758286001118002864404976027270376935668749079549\ 91086643430228076537022659/8876151419381819677012251219188597189696\ 97094767926743408265938931277294577801580227662*c_0101_4^15 + 7674038928098010289265257307161095039700329391011906977144316636207\ 37557947118993851849768947/2662845425814545903103675365756579156909\ 091284303780230224797816793831883733404740682986*c_0101_4^14 - 1038635925231507366763153462063205039664025454633408815312554961908\ 050836232861347815598380835/399426813872181885465551304863486873536\ 3636926455670345337196725190747825600107111024479*c_0101_4^13 - 2143875772647241104194491378783330944159998096988770922402954258684\ 378537751495846619138326783/798853627744363770931102609726973747072\ 7273852911340690674393450381495651200214222048958*c_0101_4^12 + 3158335272863063493700659673303132956765057381846314987608753654906\ 35393239795434116301055779/1331422712907272951551837682878289578454\ 545642151890115112398908396915941866702370341493*c_0101_4^11 + 7022748344129236242388032047919910199005452940400586340764286777697\ 66779556500047318009942493/3994268138721818854655513048634868735363\ 636926455670345337196725190747825600107111024479*c_0101_4^10 - 6324381167591637611717906726599823649108389391683041720570412807353\ 65403918750047578681029168/3994268138721818854655513048634868735363\ 636926455670345337196725190747825600107111024479*c_0101_4^9 - 6930619304328600697543301438696065515110940707084687849196402477786\ 15906639076756657084091434/3994268138721818854655513048634868735363\ 636926455670345337196725190747825600107111024479*c_0101_4^8 - 2426807981567616685978479073449274709856810987463646529837263822304\ 93193026102977214417866977/7988536277443637709311026097269737470727\ 273852911340690674393450381495651200214222048958*c_0101_4^7 - 1535895847827248098321525361557640456720321423635972773314092973361\ 86126735603967452332960825/2662845425814545903103675365756579156909\ 091284303780230224797816793831883733404740682986*c_0101_4^6 - 1128903385453350530905072423561283342293292725965603533327985973991\ 07858243637701368289997822/1331422712907272951551837682878289578454\ 545642151890115112398908396915941866702370341493*c_0101_4^5 - 1000956155993691971524883060221724703147200480951246454713584272393\ 46342920572656536219967199/3994268138721818854655513048634868735363\ 636926455670345337196725190747825600107111024479*c_0101_4^4 - 4903876568086677886893807609477116942484630640438025688075600621372\ 3898612883655006613484519/26628454258145459031036753657565791569090\ 91284303780230224797816793831883733404740682986*c_0101_4^3 - 3257865194700546821455225959259307894555348695307926691919958453254\ 7214729665602208229235815/39942681387218188546555130486348687353636\ 36926455670345337196725190747825600107111024479*c_0101_4^2 - 7131843913851206962699558116196672636162397473326350336666781929706\ 36119306699643380157110/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4 - 3298730163264659759258237311844540144339862170233000371069778113709\ 3180443739629396981773/14793585698969699461687085365314328649494951\ 5794654457234710989821879549096300263371277, c_0011_0 - 1, c_0011_3 + 373870798761613871587069021370132249642235743091983605903164\ 840033749673272954411684877/147935856989696994616870853653143286494\ 949515794654457234710989821879549096300263371277*c_0101_4^24 + 2373494124942767723353858235007404892415110583567393427548104727544\ 063195586082962436136/147935856989696994616870853653143286494949515\ 794654457234710989821879549096300263371277*c_0101_4^23 - 7440698459219070038481682992963793193451541479763636687710669700679\ 610455609543083766072/443807570969090983850612560959429859484848547\ 383963371704132969465638647288900790113831*c_0101_4^22 - 5493745545267807527620535003004716596919046378755307733469404457849\ 1649999744917446466325/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^21 + 6187817836452016506812258022741933738027292422427483136250861281068\ 6084015569728782243622/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^20 + 2183942440762701284547174376175990947074083968900193881528164381137\ 05806593732032752527768/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^19 - 6165310875910806182114674518793048972428375898968570822670758281129\ 3641505248982048801271/14793585698969699461687085365314328649494951\ 5794654457234710989821879549096300263371277*c_0101_4^18 - 4426076733627256164762362060706589651348348919004237894231462689015\ 01106859561010436598938/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^17 + 1351000277361798611612735143439092172995257224833954150725797981019\ 84981516799059073919742/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^16 + 2509770114938345854672318981314044034969329882805954418708532447887\ 65988657360206858530519/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^15 - 2172393852206564542300418500469869202217961490547070770077504189085\ 13023835000655085340870/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^14 - 6594306574066084971104059316141482432881553644706610039970181788765\ 83687733299544478724837/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^13 + 7032559359895004482807376837590527798282657929095542501760151318721\ 86739284284097979837677/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^12 + 1056124830856656541021501177237366328955445273727149707792685408263\ 56361188317910012602848/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^11 - 4008295822593001967142189347087279895685947912769266240027534936138\ 55366262839256725163950/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^10 - 2953654967644301393350156823540585472864234342396329267275906558716\ 24970856216355499592738/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^9 + 1023587288088557224964863153778169208408126951460526212605567737257\ 28685850820689267334820/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^8 - 6944545962571993668017626730106990977811533327116937369457835850731\ 1027078090020139846641/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^7 - 5471324519226680497286247480055466067200085389779927822779477920249\ 6149498493501140745178/14793585698969699461687085365314328649494951\ 5794654457234710989821879549096300263371277*c_0101_4^6 + 1173582833957783486786086058978227998800990177350475373029317305481\ 3836810670521862222177/14793585698969699461687085365314328649494951\ 5794654457234710989821879549096300263371277*c_0101_4^5 - 3950423721317939794235143180522820331119766163744022865698985889603\ 3381948004779984852627/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^4 + 4643292177372880083905580356714180511337945596463506198210411145457\ 46151036491296153921/1479358569896969946168708536531432864949495157\ 94654457234710989821879549096300263371277*c_0101_4^3 - 5252009319668363880523003450110853620711838484358328738433029037731\ 02640753290996721369/4438075709690909838506125609594298594848485473\ 83963371704132969465638647288900790113831*c_0101_4^2 + 5845116026541040441813170652764014174385922287811032493258991500334\ 1201128093710421137/14793585698969699461687085365314328649494951579\ 4654457234710989821879549096300263371277*c_0101_4 + 5497271021232014427179926968133579095879780658102509865158686865097\ 6481120106458050438/14793585698969699461687085365314328649494951579\ 4654457234710989821879549096300263371277, c_0011_6 + 247067809518000004213864913662523644507535033801707285431136\ 7608579996062149292/16343048740679690640961947994523200459685093065\ 53710256395534661306895987504567*c_0101_4^24 + 1569958102845430204022434609721488358291347423328675555994890669202\ 5886116280372/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^23 - 1616394495399031823993759208838642751595772240451476920144340640800\ 2666750030394/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^22 - 1202285152161308080756540885305374085211084471584551978056250468077\ 01911478950914/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^21 + 1349646128025524833448841803653815866534379478088339303378798593655\ 47363165770565/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^20 + 4752564056760728336129503489079284357867676612296342202041298902106\ 10541799822718/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^19 - 3991947842660299027468850659131369398454702730614067555362223426211\ 11229519967854/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^18 - 9505450472140458904238238280868840972768782478955933695188378081548\ 49786471989435/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^17 + 8734899723758002073735879566286332241596399902341136797819646269720\ 37565139415184/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^16 + 1609923889902026514459804987972036466824609981042395990052975550044\ 198911500123933/163430487406796906409619479945232004596850930655371\ 0256395534661306895987504567*c_0101_4^15 - 1395763221672115456815550461759788432226068339021913343119770229146\ 001304442353462/163430487406796906409619479945232004596850930655371\ 0256395534661306895987504567*c_0101_4^14 - 1368274113444480085386928174953719321406541990985449340146324057911\ 680033783031950/163430487406796906409619479945232004596850930655371\ 0256395534661306895987504567*c_0101_4^13 + 1495697069843170608436664572699158213141245558245183491621168181385\ 074558350733734/163430487406796906409619479945232004596850930655371\ 0256395534661306895987504567*c_0101_4^12 + 6245463987567430928128498112450591872364338440148521256555762855845\ 19068829376823/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^11 - 8292557104468636002205825366910489617725589529387646698070481833662\ 02988563903755/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^10 - 6113724602292088878979171413432128277471898153821315127953365188370\ 95290793987481/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^9 + 1979449040438995469492107533302832093847586223715368304294761656977\ 88325947101642/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^8 - 1910704315441695635318916716464991520682266153391032002867502771616\ 15696523569546/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^7 - 3680776753571783818447304023556374980621322488258599428871555290404\ 12964591738394/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^6 + 6316067346625276747956743524041560545645409087815571294366519040029\ 2497748960227/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^5 - 1079057070876620008841026851786160376136824131565670325875574281691\ 45753336434663/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^4 + 7546516431441521371674069630306313164996733042592926133776674175726\ 98623978292/1634304874067969064096194799452320045968509306553710256\ 395534661306895987504567*c_0101_4^3 - 6176650988630546972689858745257617617176537097489251929048052413646\ 671563454066/163430487406796906409619479945232004596850930655371025\ 6395534661306895987504567*c_0101_4^2 + 6361555286263554305137354618953181051016116983754618271284167088727\ 359028415/163430487406796906409619479945232004596850930655371025639\ 5534661306895987504567*c_0101_4 - 330216917091648729062099813693570\ 11753436880746157899929753955054123047738744/1634304874067969064096\ 194799452320045968509306553710256395534661306895987504567, c_0101_0 + 480132750312198201515742530998855874629019453845515210758837\ 866013947704571499820115199/147935856989696994616870853653143286494\ 949515794654457234710989821879549096300263371277*c_0101_4^24 + 9549408405754738663024436542411446003061188532122429652882859479507\ 581792641285454290116/443807570969090983850612560959429859484848547\ 383963371704132969465638647288900790113831*c_0101_4^23 - 2077702148684625089151709703283658585261228247475477030604931072621\ 2483889108375920467799/13314227129072729515518376828782895784545456\ 42151890115112398908396915941866702370341493*c_0101_4^22 - 2183309838518165022615670057397842664192504231520059473494228644459\ 78399895908259339062090/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^21 + 1796437305848934344575174900876873799008427317059614652986851746964\ 35549285599478102138853/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^20 + 8988081019794534900814095184356813286550726052330907140487447276332\ 41881883440778287275592/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^19 - 1603713505914275787450027851868237650350806081674499944935811445918\ 96397950565761578193038/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^18 - 1861975392475288006090002779598152767912929729571944713760543905847\ 371174366024038128281609/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^17 + 3717472316645368752464121100402433488347838602240158021405518550126\ 34146910582298215174628/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^16 + 3609049719495239815482228459809195140359142836934257669615724075707\ 16309664508980051439554/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^15 - 5880717072450034765624371053992749721075846147022214197894018707537\ 82338773209412066602113/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^14 - 3076459892703937880317773181296217092879757084882827731133914759889\ 601584892422167961556024/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^13 + 2128084849042558761641628235925943488028096963135214427789649948682\ 530029623099938974477554/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^12 + 5997459031963188171344719183205451524387592190174762499488359398158\ 12079181263019408858889/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^11 - 1328635482365515640202746834177888013889313636401566931027267782720\ 987668610449913854977052/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^10 - 1422105218489199337250176919225618243083075559978946204743806313960\ 710651407842363658720952/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^9 + 1683427041963881540705920668700962904139684443939384622469270692390\ 82396137997607270336982/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^8 - 2653594706034830126863465087611175186444383646147992797351767395409\ 21248248417788203081902/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^7 - 2705277820425839586672365679008215852012420072405462274098156265225\ 82363751514171738370788/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^6 - 1988405764122814161329120633295298374477276944484817166259200437206\ 6237193088883337378513/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^5 - 1457189890652829438342906551127605257641992356860623386663927438979\ 37155858179828843292312/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^4 - 2671877780667913667234029738161909607791270243350695487706527984323\ 5182432842639343764675/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^3 - 1355359979096891800257328066306426928794240156707891426217500212898\ 2748120969746410926863/13314227129072729515518376828782895784545456\ 42151890115112398908396915941866702370341493*c_0101_4^2 - 4528607557369077023868039998841695334653584918290036485554468261986\ 40277577385088144413/1479358569896969946168708536531432864949495157\ 94654457234710989821879549096300263371277*c_0101_4 - 1742252694956145013317078646667676780075128865184135304968857857446\ 75748096792695233525/1479358569896969946168708536531432864949495157\ 94654457234710989821879549096300263371277, c_0101_1 + 792144669016443261807596169878354428450167890290078559007513\ 155319279684036017426145994/147935856989696994616870853653143286494\ 949515794654457234710989821879549096300263371277*c_0101_4^24 + 1635153667919440382703306359929225146858829090801345484739390698614\ 2503295320173125620657/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^23 - 2216764203952768186987058728286159724370006449319321725497864303246\ 5646130903273443374058/13314227129072729515518376828782895784545456\ 42151890115112398908396915941866702370341493*c_0101_4^22 - 3673963755330194959913884309322433703336845948648749787493126759884\ 50782183278693406285318/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^21 + 2031398686355329005051921673084123484794574939695635750009804012527\ 94354949332265558882781/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^20 + 1544685927682282804031465336579922658247375776583419409317793187123\ 265253834856614191884653/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^19 - 4436130434471507277578788979366689806894562772128359209349671995895\ 4179339253593972288338/14793585698969699461687085365314328649494951\ 5794654457234710989821879549096300263371277*c_0101_4^18 - 3219953257820554389510730311030450063230944950418267174012373824182\ 592035271436797432243021/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^17 + 1098159554547681081542806625006174111153056993256345710524416629999\ 85896709549650128136139/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^16 + 6334866176108122309334998163852405544118088054162590550922005097709\ 23106564157176737143630/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^15 - 4627600242167233646788438018931965239744637189091448215942396301021\ 78788343630416508421508/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^14 - 5597093110596111291696533779146591004234653801158277940221303436712\ 698119396527382624436568/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^13 + 1929775472624827826868721777149265337404721682998632775369484242861\ 022346251634678794208259/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^12 + 4024144143611200329773156381192467228010344074610665526788617671099\ 96119048731219495356229/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^11 - 1105501331193348212831402508096743350226995626473119759481111829399\ 762514050742876301773039/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^10 - 2758350081615915169978299695630265142048508032381822960316940244169\ 903299230065647409983535/133142271290727295155183768287828957845454\ 5642151890115112398908396915941866702370341493*c_0101_4^9 - 5503986924844575146412070431738126463907694403046329149379883105634\ 67518295133387920395251/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^8 - 4761528292625136437907706952641670971021517080143540707984270568540\ 12105829758952998463186/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^7 - 1469191102092714221023691878147901892834839092963341248848567787551\ 52736442910637889686733/1479358569896969946168708536531432864949495\ 15794654457234710989821879549096300263371277*c_0101_4^6 - 1285424458424698927596325114492674334859758942921480873672347650622\ 87395785692424260620546/4438075709690909838506125609594298594848485\ 47383963371704132969465638647288900790113831*c_0101_4^5 - 3004817529228257579132028998754193695056339399204254772544735083687\ 43783501125176947982744/1331422712907272951551837682878289578454545\ 642151890115112398908396915941866702370341493*c_0101_4^4 - 5065898463152087252259121097931798481748616249477750891049190354362\ 4950778146908799146664/44380757096909098385061256095942985948484854\ 7383963371704132969465638647288900790113831*c_0101_4^3 - 3588849937622612477208381158003111934681873578315043908407990817951\ 3418768396508887687607/13314227129072729515518376828782895784545456\ 42151890115112398908396915941866702370341493*c_0101_4^2 - 2847816508219774848030258742529819372088139811619610392321001939945\ 687638816399432143420/443807570969090983850612560959429859484848547\ 383963371704132969465638647288900790113831*c_0101_4 - 1739719023908452419665200024417710471004672198563252575986160808807\ 44228781039739533836/1479358569896969946168708536531432864949495157\ 94654457234710989821879549096300263371277, c_0101_2 + 125833351806379780851869818635868341483006097387692453660492\ 8377280331578730144/16343048740679690640961947994523200459685093065\ 53710256395534661306895987504567*c_0101_4^24 + 7862772774775524094696770592179151274770834987642603751897761539594\ 611423159301/163430487406796906409619479945232004596850930655371025\ 6395534661306895987504567*c_0101_4^23 - 9549562256186938113904555670506355518175351096990927240149835822919\ 556895621612/163430487406796906409619479945232004596850930655371025\ 6395534661306895987504567*c_0101_4^22 - 6338898053312284278663886475605577614926617198928371699019880270959\ 5443558795550/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^21 + 7810177158509885353760741405408897796773255858159926917942445897249\ 8334466000699/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^20 + 2579917903264754495079867223130577040582163965322090604620204342202\ 70258087855421/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^19 - 2530990954478937583772460122764366572570303478951589286531302638020\ 85743909236628/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^18 - 5555741231085870392760783887505200455957513210490465742158009554025\ 33295943868148/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^17 + 5661872140918275913733056821185455022874532633317854708730269791363\ 14299218509756/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^16 + 9618104953921820308878066643778936931257855967833685523822945689764\ 72413662827728/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^15 - 9520169988841615788489778530416186004680150860711480528997719657669\ 65195277428832/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^14 - 9456638185322345330477072738115025555642432704299919689946102869317\ 16404483134716/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^13 + 1081231972953303341554772347426809393807744497357388405988296970334\ 850455564537882/163430487406796906409619479945232004596850930655371\ 0256395534661306895987504567*c_0101_4^12 + 5270721159048331639333971525438357183258142664575391972282707906075\ 60762753606267/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^11 - 7239816738097891922138140384301980250117201108243649514336971384409\ 74320326195159/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^10 - 4170625732117875979971364617280691730425633508254085491839994632168\ 39164361049425/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^9 + 2842748659840143424056165278465042870196343138644094774313953414389\ 14845029316096/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^8 + 2883289784105712653517482108937689126917647563889289406063157814444\ 8043116960852/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^7 - 2066141840629765064362856487301033038427823142289794755083829070286\ 32054306070250/1634304874067969064096194799452320045968509306553710\ 256395534661306895987504567*c_0101_4^6 + 7968125897926088795850773841409390398908587816985324371268541207016\ 2701640946812/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^5 + 1144835079134659118638064629296020216644067153481953075575919397146\ 1502069894028/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^4 - 6750700120488063159189312146363217800115637360910228168337898471897\ 25314767251/1634304874067969064096194799452320045968509306553710256\ 395534661306895987504567*c_0101_4^3 + 1605829464864355713942938277052496696391871614718120928640551506356\ 3663698968433/16343048740679690640961947994523200459685093065537102\ 56395534661306895987504567*c_0101_4^2 + 6654884481644848484145837069378422816480486639472726581362158719094\ 76413113676/1634304874067969064096194799452320045968509306553710256\ 395534661306895987504567*c_0101_4 + 8183678431874426517727341043645705944477414741759194819266921822318\ 63902425173/1634304874067969064096194799452320045968509306553710256\ 395534661306895987504567, c_0101_4^25 + 823/123*c_0101_4^24 - 1591/369*c_0101_4^23 - 18542/369*c_0101_4^22 + 13975/369*c_0101_4^21 + 76033/369*c_0101_4^20 - 11512/123*c_0101_4^19 - 154772/369*c_0101_4^18 + 26600/123*c_0101_4^17 + 29888/41*c_0101_4^16 - 40294/123*c_0101_4^15 - 247354/369*c_0101_4^14 + 144580/369*c_0101_4^13 + 47108/123*c_0101_4^12 - 80081/369*c_0101_4^11 - 115495/369*c_0101_4^10 - 8404/369*c_0101_4^9 - 32192/369*c_0101_4^8 - 21904/123*c_0101_4^7 - 3331/123*c_0101_4^6 - 18356/369*c_0101_4^5 - 698/41*c_0101_4^4 - 2042/369*c_0101_4^3 - 230/123*c_0101_4^2 - 12/41*c_0101_4 - 3/41 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.250 seconds, Total memory usage: 32.09MB