Magma V2.19-8 Tue Aug 20 2013 16:17:43 on localhost [Seed = 3819077391] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1962 geometric_solution 5.54086350 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 2310 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 0 0 0 0 0 1.662326234231 0.193521248433 0 2 2 0 3201 0132 1023 0132 0 0 0 0 0 -1 0 1 0 0 0 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 1 -1 0 0 0 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 1.411387232315 0.604245669192 3 1 1 4 0132 0132 1023 0132 0 0 0 0 0 1 0 -1 -1 0 0 1 0 -1 0 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 1 0 -1 0 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.201745848029 0.441914980177 2 4 6 5 0132 2310 0132 0132 0 0 0 0 0 0 -1 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 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 0 0.035429831920 1.035828614330 6 5 2 3 1023 2310 0132 3201 0 0 0 0 0 -1 1 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 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.035429831920 1.035828614330 5 5 3 4 1302 2031 0132 3201 0 0 0 0 0 1 -1 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.464977737692 0.881158032946 6 4 6 3 2310 1023 3201 0132 0 0 0 0 0 -1 0 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 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.470561813573 0.844359691022 ==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' : negation(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' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : negation(d['c_0011_4']), 'c_1100_5' : negation(d['c_0011_4']), 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : negation(d['c_0011_4']), 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_3']), 'c_0101_5' : negation(d['c_0011_5']), 'c_0101_4' : d['c_0101_3'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : negation(d['c_0011_5']), 'c_0101_1' : negation(d['c_0011_0']), 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_5'], 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_4'], 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_1'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : negation(d['c_0110_4']), 'c_1001_4' : negation(d['c_0011_5']), 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : negation(d['c_0011_5']), 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_0110_4'], 'c_1001_2' : negation(d['c_0011_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : negation(d['c_0011_5']), 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0110_4'], 'c_0110_4' : d['c_0110_4'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : d['c_0110_4'], 'c_1010_5' : d['c_0011_5'], 'c_1010_4' : negation(d['c_0110_4']), 'c_1010_3' : negation(d['c_0110_4']), 'c_1010_2' : negation(d['c_0011_5']), 'c_1010_1' : negation(d['c_0011_0']), '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_1, c_0011_4, c_0011_5, c_0101_0, c_0101_3, c_0110_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 32 Groebner basis: [ t + 2767676668471542673790626739730401279581465804728941823923726422964\ 719608578795/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^31 + 1269939149287506823607231111579842887086396607949380302066385866777\ 4303004864226/26251932255524536628516410413376904330022347297847284\ 17912746076926776260293*c_0110_4^30 - 4376265447793654763924611113634551274655778953754021064027509963715\ 17922625110294/2625193225552453662851641041337690433002234729784728\ 417912746076926776260293*c_0110_4^29 + 7956352697297981167541428217036954258812958711956988467853245858205\ 35408797881869/2625193225552453662851641041337690433002234729784728\ 417912746076926776260293*c_0110_4^28 + 2252210833077395795120898265326149202617836675270442428105126652942\ 195401597481201/262519322555245366285164104133769043300223472978472\ 8417912746076926776260293*c_0110_4^27 - 1266788207254457122724864655067694424679762916577893169834083519867\ 762238314454330/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^26 + 1345702114138131471065962749567243017079091477729774334448352016901\ 611914229562508/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^25 - 1084305036192750264859625546994829131490644124695248212027817159491\ 586002238022301/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^24 - 2124779164471211794684659306189990097036011876952602923526606982496\ 7161465682380759/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^23 + 5574212850657248876989897742116037346897377032465081098040955988057\ 926313190023075/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^22 + 1052324467991709697863961041140386279239522618196278152666775618864\ 84893797211503154/2625193225552453662851641041337690433002234729784\ 728417912746076926776260293*c_0110_4^21 - 2076591890414540931142689665771800915455933073196650672645386718555\ 2565714505416726/26251932255524536628516410413376904330022347297847\ 28417912746076926776260293*c_0110_4^20 + 8393853890020633841668860734278358224261500200551799274417005666935\ 2999779498378198/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^19 - 2025325271378050438174837428468739346394543863695071517274193730953\ 3804042614682736/26251932255524536628516410413376904330022347297847\ 28417912746076926776260293*c_0110_4^18 - 4304399442768710399989226220633358847262746596698076585197629712805\ 46028787017296458/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^17 + 6192439788143719676619886770006207696922085042876459751028063063618\ 3215007908008588/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^16 + 2523827520995101160528042744805860831779257180554712931371799752580\ 362299247130128983/262519322555245366285164104133769043300223472978\ 4728417912746076926776260293*c_0110_4^15 - 1498838922395003426426010336746792929053469630142310510579631624782\ 96411736089923524/2625193225552453662851641041337690433002234729784\ 728417912746076926776260293*c_0110_4^14 - 2714162806294909560148200113109971463387369132137568336933541991752\ 109976121422198329/262519322555245366285164104133769043300223472978\ 4728417912746076926776260293*c_0110_4^13 - 5300750263595890891351657884255363913342843943994498795950422892539\ 9882364448062759/26251932255524536628516410413376904330022347297847\ 28417912746076926776260293*c_0110_4^12 + 5694178765974877369171370592733655631562377577519434681795859659276\ 05291048574915014/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^11 - 1431466464453090413395201659284021921818387350430747540250906565874\ 6850872749004184/26251932255524536628516410413376904330022347297847\ 28417912746076926776260293*c_0110_4^10 - 6582420864721475424384492436520820694867823083267243036591506385716\ 68093665163203411/2625193225552453662851641041337690433002234729784\ 728417912746076926776260293*c_0110_4^9 + 4210220574083625929909409134908063579626384938045187200444138089055\ 396799415889072/114138835893584941863114827884247410130531944773249\ 061648380264214207663491*c_0110_4^8 + 5393578177038544524103137100007198162938387354135639553120227584427\ 2240974757634779/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^7 - 5431207332423634033145799980240494862348651612907637277843493446155\ 8193701393357220/26251932255524536628516410413376904330022347297847\ 28417912746076926776260293*c_0110_4^6 - 8706504521585351715151649162180949873719134946081550039287575841200\ 574919872825008/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^5 + 1163752345442149404918186595452456962888560415905071638795886371118\ 1335888821511049/26251932255524536628516410413376904330022347297847\ 28417912746076926776260293*c_0110_4^4 + 2627910296307543809674072493678666758931821994315229694019673182378\ 571898081561613/262519322555245366285164104133769043300223472978472\ 8417912746076926776260293*c_0110_4^3 - 3200179228019315900788494657057831695641519486763587330545476756391\ 57700651813660/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^2 - 1214202072993366482443650494470223808260852074152216746912746474622\ 85616069642843/2625193225552453662851641041337690433002234729784728\ 417912746076926776260293*c_0110_4 + 1708732559189100367866600288189121019570862748667513439632465661339\ 8248225656652/26251932255524536628516410413376904330022347297847284\ 17912746076926776260293, c_0011_0 - 1, c_0011_1 + 353414670194259832375337569836210297657593395418628224746199\ 92982623879593843/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^31 + 5317149619646385220735312924644127968316632167987903352372850938658\ 0793416872/87506440851748455428388034711256347766741157659490947263\ 7582025642258753431*c_0110_4^30 - 186426258773499146857636835854761\ 0520989386921045718933390964098233551082344886/87506440851748455428\ 3880347112563477667411576594909472637582025642258753431*c_0110_4^29 + 34326456713133524114021163071585684968548198393616866910090221026\ 54964068501007/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^28 + 9510663936161877712440041161853542369549257568579629520735168665518\ 758484917445/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^27 - 1642162973523609374806068040019369685926540427719904757831562499609\ 6878367741835/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^26 + 1752422005535399757119626648368036443835245785436466480000923926794\ 0268423358164/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^25 - 1425464061358503627367219477864749632427624058597567610043152810004\ 8305446790668/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^24 - 2709886133305448469872791260093880298440083898461504050858925753409\ 68310576608519/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^23 + 7794046570823223685616309557779026146798118524351569506436547044997\ 0140974739699/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^22 + 4475471020091516717131186589669592655437206763990890871054786335009\ 51627121066075/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^21 - 9834549292027642525398813091493538892224870532387902154166570791847\ 2954512013008/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^20 + 1071964378514856539362438403533122338901964025234911211181305797496\ 280194501050413/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^19 - 1148577115540080325819717971810854229125044817054198984058708466581\ 81343105684664/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^18 - 5499887260602888624547794862812068787713462481643126348627960061271\ 040722330645695/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^17 + 4007683799894721577390013164090837617507318507734490213611422108216\ 5390585233343/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^16 + 1074828770701291232138408182587916072881280306487749539374575339811\ 4450440765611325/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^15 - 8799081172187433301868987738535879477244474662451592763483725936705\ 31313428722289/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^14 - 1158440747797428579096030521395292373906604763748548105208802358124\ 2990430414704791/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^13 + 1030767905635048792130567335093852976199592216289367573340464018076\ 3453729367339/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^12 + 7318749912498041633352975235613346022733691930912125946068153320477\ 519011645346425/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^11 - 1881379776449267009241896924219486303190433060840329018670284226840\ 77761171550685/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^10 - 2817598138010917195306890441146934468070543554067483028983532790410\ 489042034791582/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^9 + 1977965741335094015406560254641790641299531454041352877922381421028\ 2536580773851/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^8 + 6845952312982008611137722220772940475105704665684374793357067207834\ 91392011081839/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^7 - 2412419304791531048321881344973227596969166205683658352794719082996\ 38968729329299/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^6 - 1083946971575715818018877628988433518163335938585614781490706827600\ 53835780875686/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^5 + 5105608616204841022692551255268584692706529975547306571059976717311\ 6969891196754/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^4 + 1080294985660207716237117146938715704962857025542843314219390781805\ 0556924181153/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^3 - 4181234853718039150670914550100790187830763090169018402840362659246\ 646018161619/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^2 - 5048314485564587152486205786947347622110193955636678455042718663630\ 29211036621/8750644085174845542838803471125634776674115765949094726\ 37582025642258753431*c_0110_4 + 72247904159000244244090188968674905\ 824973808992256846097102027839079564807464/875064408517484554283880\ 347112563477667411576594909472637582025642258753431, c_0011_4 - 913433838595786044915314624919538949154032628791608827398966\ 7849326621437334/87506440851748455428388034711256347766741157659490\ 9472637582025642258753431*c_0110_4^31 - 1421018850554124352477603385184929686784783575563131296009044948256\ 6079924570/87506440851748455428388034711256347766741157659490947263\ 7582025642258753431*c_0110_4^30 + 481288124374272638843035363601459\ 137789514364355039860354239870294824138927274/875064408517484554283\ 880347112563477667411576594909472637582025642258753431*c_0110_4^29 - 8624509035135292446633700571686061561806971800742630125270263194005\ 56414299545/8750644085174845542838803471125634776674115765949094726\ 37582025642258753431*c_0110_4^28 - 2511903673144186237552357387480569060457488174076324832485347628399\ 794279196292/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^27 + 4141248090169360335039469943930116834114120308459741746984200471198\ 837380260255/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^26 - 4285901504368350045730769816956518319853164189109334253441408803536\ 621027025031/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^25 + 3346027633714684398809647495838674709542839948180758909365139406887\ 292031316401/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^24 + 7037534922455263914198889008712705431741717497757286585963115145291\ 2982282286623/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^23 - 1671722074033023203329234876378070890632420891782539163507075563324\ 8741296866568/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^22 - 1178019974654376446321077361439088716694486608699721099909893504370\ 10820564981447/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^21 + 2091889662013792991239334978309220327684915586818311510745944965234\ 7360576579468/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^20 - 2742918109170925818058579062874790627943767721503701493265349279504\ 39538215449751/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^19 + 1361199704189216801419302370370092918523320527061479890626452671634\ 4794997342874/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^18 + 1428350990319335010159168086153721085399009500138946374113585925789\ 608591857539685/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^17 - 7431112457476155454619766650353048001153606389594283884338553765460\ 792147397592/380462786311949806210382759614158033768439815910830205\ 49460088071402554497*c_0110_4^16 - 2812930418251549190709146950847194993313203612229310023388393513890\ 480581683200470/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^15 + 1103848396086347508402342040298430515583975155849596636302174275874\ 95924365034391/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^14 + 3045277781041457557487614322575305063821187787828061420248346977639\ 961558141420560/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^13 + 1094249649227377441855902065964930117099398622892419121656475146519\ 73579941787510/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^12 - 1932473872998913846614958696185526922514761694731672382230894314463\ 217425212167846/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^11 - 1226583220384486822262852215077274466939527436171214431914576932418\ 5358682059004/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^10 + 7558121347801457438563640045806100736447814093241501527626307421196\ 45882363217786/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^9 - 4372827538603789266707508325041857117496001269037079709262999544611\ 592105236476/380462786311949806210382759614158033768439815910830205\ 49460088071402554497*c_0110_4^8 - 189867817013327612617715601190952\ 268756825046317478078491081397232477043765016837/875064408517484554\ 283880347112563477667411576594909472637582025642258753431*c_0110_4^\ 7 + 610512502335803720642523037257120759134069254989546642894397077\ 92887742327868241/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^6 + 3115369738136155093387998743462793169723737017191375437334710738543\ 1261314369350/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^5 - 1357233939895685579735633079237705058716405821927542243955217884061\ 8820257973036/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^4 - 3126266000880469632991602238047534278753590692606967514902176225428\ 056005506983/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^3 + 1152589046182689973562864232769554555607190429014618998716138554909\ 387907227472/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^2 + 1420083485942980341697864957972275867522359385279036811483818483223\ 48966151332/8750644085174845542838803471125634776674115765949094726\ 37582025642258753431*c_0110_4 - 20988820348792967048884763155519720\ 433526107752940707675869951284204961033683/875064408517484554283880\ 347112563477667411576594909472637582025642258753431, c_0011_5 + 159463462756073230960189400491055734805144091600775787042579\ 48766771148976064/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^31 + 2394416004330764894663713286014472183918756268251493334750376409864\ 9946603479/87506440851748455428388034711256347766741157659490947263\ 7582025642258753431*c_0110_4^30 - 840877284016300115505126331353476\ 460640666413821992370182863992090841109742852/875064408517484554283\ 880347112563477667411576594909472637582025642258753431*c_0110_4^29 + 1551881444513608880684801545938640331404024769501439520190787806878\ 126741006032/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^28 + 4267619740485129520143723810585242704952210068583919551632083682297\ 640580662715/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^27 - 7387129305194372827320198366939443736973239825822840643693872243698\ 609326441001/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^26 + 8022535933473624080807014505675467390052565475425742862856504597860\ 239261163944/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^25 - 6613983743728150673457657192445171236596415273925561225550999893455\ 116766200244/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^24 - 1220504067490819045693098625271672910147347216167780922638810968287\ 04872365799699/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^23 + 3534747809224145439263961925926270154649447428294230024881292489099\ 1124809474785/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^22 + 1990899958763587234880332137126096367975459515212593184747689661316\ 25601322585668/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^21 - 4425882196030007268420049187236310002543660336474461289863908230156\ 6506031843913/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^20 + 4877117304677469161491792083069459929450250477162487011407745538562\ 96578552860235/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^19 - 5408664346484119738247753031237591259827002011863252999577460198367\ 4444305271850/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^18 - 2469398078679047847647161972781772049618207447430823992790355892735\ 497794472454011/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^17 + 1835465491061177028027769383861580666296766274478376962284035260001\ 3925176977694/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^16 + 4794977977921598156692722793600337143754409211158754781912621957523\ 000446038375648/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^15 - 4027830796052977071141240795288997381885978558185395845960805128806\ 27852057134454/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^14 - 5128941232860446899719384981703951884840656711795120337901897605418\ 942103001051091/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^13 + 1364233216040616919680916602794246015856844799331889718721957463400\ 5790725286087/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^12 + 3208194976866789072141734077471911591134276788923556575583247284194\ 343298085973203/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^11 - 9553856399665000086271496137421464771473946855629955284595107852836\ 6911933138294/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^10 - 1220149982951118450479278222829192482664692466664228927048603034847\ 682991103872859/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^9 + 8938710163546458993820169479297035173201549439762572732433286104385\ 512262614557/380462786311949806210382759614158033768439815910830205\ 49460088071402554497*c_0110_4^8 + 292245248892111565644005241237732\ 607546693186071650691901621127958448877306337541/875064408517484554\ 283880347112563477667411576594909472637582025642258753431*c_0110_4^\ 7 - 105158090115937225540385562348466878109437607873809806633883989\ 868526704402942231/875064408517484554283880347112563477667411576594\ 909472637582025642258753431*c_0110_4^6 - 4562273154328430297246198910889739494125362322634585631353004875562\ 1814475584637/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^5 + 2161911192783774353835353667365251792017097586122815972267251585742\ 7784350594678/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^4 + 4508336528430066093636311200376358815609685854788587253928699438652\ 786095530497/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^3 - 1722603303213376446724507961843877068627014765841365371498586884724\ 747089588844/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^2 - 2115107520705890914553738267761281429807913467160672032561073173324\ 68101840539/8750644085174845542838803471125634776674115765949094726\ 37582025642258753431*c_0110_4 + 29006195667850896985393448184644609\ 671141747082601021112715931048487675438939/875064408517484554283880\ 347112563477667411576594909472637582025642258753431, c_0101_0 - 249930883795191436724142889670199609888019559286385875447552\ 35490725293002149/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^31 - 3764810140205378549124394181622448411803886763382786094655753190281\ 1247933278/87506440851748455428388034711256347766741157659490947263\ 7582025642258753431*c_0110_4^30 + 131779822726231408249089242076419\ 6401352135828286892336985419070496154282382683/87506440851748455428\ 3880347112563477667411576594909472637582025642258753431*c_0110_4^29 - 24259569643332439451242483407951850264726663957275339808737624667\ 92343262738826/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^28 - 6703184978357432475567577911177256326313550811726820867532331441131\ 680375819895/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^27 + 1155370138707408421573293428415488006757326303309909377705980544113\ 8791243571529/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^26 - 1250983933860374740274211292467426561667997433574526242845177165626\ 5026900222671/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^25 + 1026897383223568264409957949498511475440151004321618167368794403678\ 4712863638093/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^24 + 1913907882317572159688507285273041310703987542908384539444266614535\ 46526562217764/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^23 - 5453630100874177311098187911748672837592609672693334530232683877143\ 9234412148741/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^22 - 3126676008406739427611637598378360551888989835475594263945154817880\ 38644044505387/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^21 + 6838169991917676207268271019354713300353062724233796410549637591092\ 2113295914188/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^20 - 7635362193279215620396216237462418597560581108145412393601711441251\ 78727462307713/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^19 + 8044217671077137809521260544126095327805745202616255854447451359572\ 0080391987544/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^18 + 3872457036874966260344400177207535263996846180559422957542571220937\ 447120986157638/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^17 - 2804708437115963005336921431102436104533004700871014706207901415716\ 4461426451261/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^16 - 7526222582650101036039476229298611888021413523203148779072908573959\ 334018519274845/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^15 + 6041929215632695994063986396082091359708377453767772629182693546153\ 82578784523421/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^14 + 8055716364396574356729103887748356628420597037757039178545668059493\ 251280373636797/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^13 + 2616977068871979842127216615739486753756956395027114620461970049131\ 305230742874/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^12 - 5043493732272767808392625822957439975753214294280556561352660884706\ 761253583654986/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^11 + 1379024367521420718125124113889967111650329246176711223476894674103\ 88308546211979/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^10 + 1922802208821383741863654473005718941354996643215656223331960171613\ 636501071509884/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^9 - 1389343952473264293871954196665340444267290156914947930203005707900\ 4665163691091/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^8 - 4623776465892433761769117108978194466495150203102819796850709621610\ 97556845044298/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^7 + 1650977908313494031394294735705599116501500351588429525747267857612\ 17343084177965/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^6 + 7239947688858651942217157129691791853389727202023522747692185046887\ 9448986956131/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^5 - 3414130736412016497163050512682836540896716682887275033178011020540\ 5876131996032/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^4 - 7161138652052472973052452041302201665100913240936902304643469808611\ 251090178459/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^3 + 2739062627098286889815321927150325290224681811194673274419720066797\ 796168927224/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^2 + 3370341718074827361873693581866744954936556523634119982300861336570\ 66417026898/8750644085174845542838803471125634776674115765949094726\ 37582025642258753431*c_0110_4 - 46915537308583734405654418792632980\ 214402865644133704435052948154297780584995/875064408517484554283880\ 347112563477667411576594909472637582025642258753431, c_0101_3 - 212738876455710042218898770111636583783052217998153561866525\ 43216518182265997/8750644085174845542838803471125634776674115765949\ 09472637582025642258753431*c_0110_4^31 - 3197071825552490339299871669454021121387905790066072895071656850863\ 0193868779/87506440851748455428388034711256347766741157659490947263\ 7582025642258753431*c_0110_4^30 + 112204410907428737938745886147566\ 3709925227094506641814376502247787306755815933/87506440851748455428\ 3880347112563477667411576594909472637582025642258753431*c_0110_4^29 - 20684734247449717154581599775561445386572625082884444305692350569\ 04326221805266/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^28 - 5710535454056499610240498740615693069110446778387332933696174826293\ 537156900442/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^27 + 9872974167633349725614536341274592526438750969132930324926681344928\ 935948600351/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^26 - 1061524682214104964280290271625919638766756569198730999957940344384\ 8862069435523/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^25 + 8695980981846319198449487832855558706941269627614298340507681693373\ 511374940091/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^24 + 1629757966071500930434374690986456362524042473946130209342244636218\ 14856592101351/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^23 - 4706504484734278965318310765086978481962737837800056490552406273874\ 3390390221757/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^22 - 2677806011799934760566153271231269595191845136137147980861177386300\ 63467353097999/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^21 + 5901819843063831780032839947302400326478486609152838449257382375144\ 7327356721788/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^20 - 6474577391871643012858028830393803546089058304667105068007528021605\ 80931143586769/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^19 + 7099025999999920683456412418887603267700190205250863656537578970131\ 5265279238343/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^18 + 3303510028013124216645423636362906243124148246959598719069319358339\ 316543391967133/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^17 - 2429230333296700401942566107380909063530591896232723278894982706951\ 8975761312730/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^16 - 6438959342079815842141965342720953275696837876138298883828056059273\ 025494374703927/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^15 + 5312356660947960437740099589795961569556187158410556741807669706971\ 54436755241274/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^14 + 6919337469319853446433929461636727504429585249538263774428245662935\ 996126899430005/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^13 - 6743956481831040236003887792523273845033801830013965945411932644541\ 835856058476/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^12 - 4354885805696423068604125796591130560493118954584528581046950516671\ 018734486516307/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^11 + 1141940288477463398621889484859271485816645484662730554189333357312\ 39688368339339/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^10 + 1668928802158578098003744516242253565288955868020372674475961033120\ 843055878537441/875064408517484554283880347112563477667411576594909\ 472637582025642258753431*c_0110_4^9 - 1178935765580465171326333958809575340949511634344881037006297451071\ 1542468731012/38046278631194980621038275961415803376843981591083020\ 549460088071402554497*c_0110_4^8 - 4038000192128092030668410130465678077536646088640502082843506123058\ 83357439718844/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^7 + 1424103486835311298137205480983966110492648605493863638478588418467\ 65102308281338/8750644085174845542838803471125634776674115765949094\ 72637582025642258753431*c_0110_4^6 + 6389367563648380863801462052449985042951799836993908008033802190995\ 2479924188615/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^5 - 2990750134496545005396973597954814120760919863414376507621874204931\ 7223029776406/87506440851748455428388034711256347766741157659490947\ 2637582025642258753431*c_0110_4^4 - 6398157329192219087595367726063764303257296182140892926141775478156\ 108531521933/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^3 + 2433312501429258658453207133581691217372020668205558478257867441199\ 465195856213/875064408517484554283880347112563477667411576594909472\ 637582025642258753431*c_0110_4^2 + 3016439299300144122383935785878716659354878821338151567605041293686\ 41642160711/8750644085174845542838803471125634776674115765949094726\ 37582025642258753431*c_0110_4 - 41611060099947495006422128323608694\ 538668714663987657964178986754193568956044/875064408517484554283880\ 347112563477667411576594909472637582025642258753431, c_0110_4^32 + 2*c_0110_4^31 - 52*c_0110_4^30 + 71*c_0110_4^29 + 317*c_0110_4^28 - 331*c_0110_4^27 + 267*c_0110_4^26 - 159*c_0110_4^25 - 7866*c_0110_4^24 - 1595*c_0110_4^23 + 13721*c_0110_4^22 + 3483*c_0110_4^21 + 29004*c_0110_4^20 + 11794*c_0110_4^19 - 157084*c_0110_4^18 - 50963*c_0110_4^17 + 316385*c_0110_4^16 + 125558*c_0110_4^15 - 338898*c_0110_4^14 - 161583*c_0110_4^13 + 206088*c_0110_4^12 + 96684*c_0110_4^11 - 81800*c_0110_4^10 - 26366*c_0110_4^9 + 25559*c_0110_4^8 + 2734*c_0110_4^7 - 6392*c_0110_4^6 - 75*c_0110_4^5 + 1010*c_0110_4^4 + 33*c_0110_4^3 - 72*c_0110_4^2 - 5*c_0110_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.260 seconds, Total memory usage: 32.09MB