Magma V2.19-8 Tue Aug 20 2013 16:15:55 on localhost [Seed = 475889703] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0154 geometric_solution 3.64434573 oriented_manifold CS_known -0.0000000000000003 1 0 torus 0.000000000000 0.000000000000 7 1 0 1 0 0132 2310 1023 3201 0 0 0 0 0 1 -1 0 0 0 1 -1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 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.751599803799 0.011980763645 0 2 0 2 0132 0132 1023 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.561288422725 0.035203937092 3 1 3 1 0132 0132 2310 1023 0 0 0 0 0 0 -1 1 1 0 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 -1.393731132134 0.578752862741 2 2 4 4 0132 3201 2310 0132 0 0 0 0 0 0 -1 1 -1 0 0 1 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 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 0 0 0 1.985233297175 1.447525285492 5 3 3 6 0132 3201 0132 0132 0 0 0 0 0 0 -1 1 0 0 -1 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 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.799854743836 0.408810768884 4 6 6 6 0132 0321 1302 2031 0 0 0 0 0 -1 0 1 0 0 0 0 1 -1 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.498853569874 0.503260908354 5 5 4 5 2031 1302 0132 0321 0 0 0 0 0 0 -1 1 0 0 -1 1 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.498853569874 0.503260908354 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : d['1'], 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : d['1'], 's_0_1' : d['1'], 'c_1100_6' : d['c_0011_4'], 'c_1100_5' : negation(d['c_0011_6']), 'c_1100_4' : d['c_0011_4'], 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_0'], 'c_1100_0' : negation(d['c_0011_0']), 'c_1100_3' : d['c_0011_4'], 'c_1100_2' : negation(d['c_0011_0']), 'c_0101_6' : negation(d['c_0011_6']), 'c_0101_5' : negation(d['c_0011_6']), 'c_0101_4' : d['c_0101_2'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_2'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : negation(d['c_0011_4']), 'c_0011_4' : d['c_0011_4'], 'c_0011_6' : d['c_0011_6'], 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_0']), 'c_0011_2' : d['c_0011_0'], 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_3']), 'c_1001_6' : d['c_0101_2'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : d['c_0101_1'], 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : d['c_0101_3'], 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : d['c_0101_2'], 'c_0110_2' : d['c_0101_3'], 'c_0110_5' : d['c_0101_2'], 'c_0110_4' : negation(d['c_0011_6']), 'c_0110_6' : d['c_0011_4'], 'c_1010_6' : d['c_0011_6'], 'c_1010_5' : d['c_0011_6'], 'c_1010_4' : d['c_0101_2'], 'c_1010_3' : negation(d['c_0101_3']), 'c_1010_2' : d['c_0101_0'], 'c_1010_1' : d['c_0101_3'], 'c_1010_0' : negation(d['c_0101_1'])})} 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_4, c_0011_6, c_0101_0, c_0101_1, c_0101_2, c_0101_3 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 30130873817974877379476759325650426528052269607331581438586983705/9\ 408115839087400168680347655666429284323433955022945750098001*c_0101\ _3^30 + 67106635261140421262225134430671954448204140516832843240628\ 196793/940811583908740016868034765566642928432343395502294575009800\ 1*c_0101_3^29 - 240204795685391692090834350124855001957712656889475\ 2415971330683262/94081158390874001686803476556664292843234339550229\ 45750098001*c_0101_3^28 - 12485835800086032485765731358338181068017\ 148307071594025890920600193/940811583908740016868034765566642928432\ 3433955022945750098001*c_0101_3^27 + 5011348547724802736940799829241684442787728223859904148727078937150\ 5/9408115839087400168680347655666429284323433955022945750098001*c_0\ 101_3^26 + 24500089602639542174755121501224399013467286673622797533\ 1239136955081/94081158390874001686803476556664292843234339550229457\ 50098001*c_0101_3^25 - 53368852603356603837732977109525692034203794\ 9344470509648100406055284/94081158390874001686803476556664292843234\ 33955022945750098001*c_0101_3^24 - 2106992336930302239794397253009897901667041509204478841898484501588\ 873/9408115839087400168680347655666429284323433955022945750098001*c\ _0101_3^23 + 345308102228281548183765148150326195134196036107253944\ 7634639992025131/94081158390874001686803476556664292843234339550229\ 45750098001*c_0101_3^22 + 10133091693343056979110907034430862065902\ 672424649239993277257872864884/940811583908740016868034765566642928\ 4323433955022945750098001*c_0101_3^21 - 1443789456216652394773975567818812104514247591502863392278810592232\ 6687/9408115839087400168680347655666429284323433955022945750098001*\ c_0101_3^20 - 30192649693921999054341682279010374698567184861550330\ 849672707161446053/940811583908740016868034765566642928432343395502\ 2945750098001*c_0101_3^19 + 401217677777218327017166312884338502746\ 60652206016056654823555592047564/9408115839087400168680347655666429\ 284323433955022945750098001*c_0101_3^18 + 5889867064794995851755388755717326898120133654887562787115647109328\ 5474/9408115839087400168680347655666429284323433955022945750098001*\ c_0101_3^17 - 75478368051127987464893763600893979273844158911660926\ 503645771562680131/940811583908740016868034765566642928432343395502\ 2945750098001*c_0101_3^16 - 777279002018850895680101383348187036405\ 57759668469898230096776527449352/9408115839087400168680347655666429\ 284323433955022945750098001*c_0101_3^15 + 9732492612471869644951754112965113823468083651153042136934516064430\ 8009/9408115839087400168680347655666429284323433955022945750098001*\ c_0101_3^14 + 70652445760172125077380314950164661282738510486616926\ 022165662872118107/940811583908740016868034765566642928432343395502\ 2945750098001*c_0101_3^13 - 863443666391995315397899797831298505129\ 48856779573754752650840939099006/9408115839087400168680347655666429\ 284323433955022945750098001*c_0101_3^12 - 4448287015314646008344836338253154855103586719582161733582095077703\ 7853/9408115839087400168680347655666429284323433955022945750098001*\ c_0101_3^11 + 52219472984663630338275800036686287609793129806017064\ 343162965713531116/940811583908740016868034765566642928432343395502\ 2945750098001*c_0101_3^10 + 192598339824511403774211795655595354571\ 48370049420860997431005613722207/9408115839087400168680347655666429\ 284323433955022945750098001*c_0101_3^9 - 2088379978697832921891012755243716419563742019604358508428475846843\ 1228/9408115839087400168680347655666429284323433955022945750098001*\ c_0101_3^8 - 559968867635353071202934489483721040895155010096581062\ 6638393469723230/94081158390874001686803476556664292843234339550229\ 45750098001*c_0101_3^7 + 513673544520488814211750539822926177594874\ 7943949498779642720594790250/94081158390874001686803476556664292843\ 23433955022945750098001*c_0101_3^6 + 1038092294152358840074377064308318632503819437460494921491587886735\ 561/9408115839087400168680347655666429284323433955022945750098001*c\ _0101_3^5 - 6389492283305788826900948771250291589819793922973079201\ 68937755284947/9408115839087400168680347655666429284323433955022945\ 750098001*c_0101_3^4 - 10949072688503765161932853213271412055802981\ 0166884000421292798515415/94081158390874001686803476556664292843234\ 33955022945750098001*c_0101_3^3 + 919007582062856243323812886758492\ 0278047793249677519596728746012592/94081158390874001686803476556664\ 29284323433955022945750098001*c_0101_3^2 + 4818291877848348823234699839340674842765038391942643203745288290426\ /9408115839087400168680347655666429284323433955022945750098001*c_01\ 01_3 + 422603816514310186407574931116230791702551906014727180014546\ 7290195/94081158390874001686803476556664292843234339550229457500980\ 01, c_0011_0 - 1, c_0011_4 - 127170142687096590992491273156558764620484061678912665692686\ 58/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^30 - 27741379369061648045533952716143655142032463393892176717\ 233249/604190925445979827346444344859311972387743465001473580281523\ *c_0101_3^29 + 1014650991622071144500896017989163377256878773076934\ 068701621422/604190925445979827346444344859311972387743465001473580\ 281523*c_0101_3^28 + 5222760977389431049283319041278841852958061238\ 758905238063818151/604190925445979827346444344859311972387743465001\ 473580281523*c_0101_3^27 - 2135539258056973748442301677482311724084\ 9547363234155343940589689/60419092544597982734644434485931197238774\ 3465001473580281523*c_0101_3^26 - 102280486355637927084616734470773\ 997980529102794663743122192863683/604190925445979827346444344859311\ 972387743465001473580281523*c_0101_3^25 + 229098452564148649755665238956370901485320117974089625593292250255/\ 604190925445979827346444344859311972387743465001473580281523*c_0101\ _3^24 + 87602204854079492241609802146488011423650435953236906776464\ 0384308/60419092544597982734644434485931197238774346500147358028152\ 3*c_0101_3^23 - 148765971994266006805540202457813115250290819279634\ 3757746283197682/60419092544597982734644434485931197238774346500147\ 3580281523*c_0101_3^22 - 418702196365944145567136936546929258520606\ 9379126578187342535529430/60419092544597982734644434485931197238774\ 3465001473580281523*c_0101_3^21 + 888353062515127484398100624266798\ 269869570473721374477404866254824/863129893494256896209206206941874\ 24626820495000210511468789*c_0101_3^20 + 1767141701203802849804307764851355424964950706054379024805424102885\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^19 - 17221687948236849040729375156402397229173721550338188361239\ 598886806/604190925445979827346444344859311972387743465001473580281\ 523*c_0101_3^18 - 2387056973120363791939741841977512601327554788694\ 6190958037712591564/60419092544597982734644434485931197238774346500\ 1473580281523*c_0101_3^17 + 322110062323238402759140436297810642223\ 88507951631491233566053522897/6041909254459798273464443448593119723\ 87743465001473580281523*c_0101_3^16 + 3109847338999950430419645320806437280809982370448052298456004227725\ 0/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^15 - 412237620358892285215506602453655519662397421496936104037\ 22960423373/6041909254459798273464443448593119723877434650014735802\ 81523*c_0101_3^14 - 27868601382704507628876072388359164663467284100\ 419416614042083143657/604190925445979827346444344859311972387743465\ 001473580281523*c_0101_3^13 + 3625709689741383004764879465294724342\ 9929841972645143956015235843750/60419092544597982734644434485931197\ 2387743465001473580281523*c_0101_3^12 + 2471119040630527583870378241679114420556179907207417243788785153573\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^11 - 21723402115244600356810233102835579739704143509226778418906\ 403406025/604190925445979827346444344859311972387743465001473580281\ 523*c_0101_3^10 - 7400025322286875809367595285489232857360980459293\ 319189287797557042/604190925445979827346444344859311972387743465001\ 473580281523*c_0101_3^9 + 86043727726495690043479986506318308152479\ 78045935059915764660450580/6041909254459798273464443448593119723877\ 43465001473580281523*c_0101_3^8 + 213883943520485364846978277281949\ 7116353110311702793194727000953048/60419092544597982734644434485931\ 1972387743465001473580281523*c_0101_3^7 - 2096128688873000716994818347242336660864097847223403582649589464911\ /604190925445979827346444344859311972387743465001473580281523*c_010\ 1_3^6 - 39912944837914488345652324120165072363741990793930274669190\ 1650073/60419092544597982734644434485931197238774346500147358028152\ 3*c_0101_3^5 + 2582435939156433577318016986137873757577089680335897\ 09551110514557/6041909254459798273464443448593119723877434650014735\ 80281523*c_0101_3^4 + 433495490414398474243819500586330293685543110\ 97987804514222148424/6041909254459798273464443448593119723877434650\ 01473580281523*c_0101_3^3 - 364965504225739865923805861445199311424\ 8551472960381310371761386/60419092544597982734644434485931197238774\ 3465001473580281523*c_0101_3^2 - 2046068363616804302139964884139468\ 996218688724254988436184033517/604190925445979827346444344859311972\ 387743465001473580281523*c_0101_3 - 1683402558772408879642028542650740175782600932718910434224420393/60\ 4190925445979827346444344859311972387743465001473580281523, c_0011_6 + 248305550053551516241172734550321038475540892740096602038851\ 0/86312989349425689620920620694187424626820495000210511468789*c_010\ 1_3^30 + 5629057056106599904144212378524415760020750142053368596722\ 440/86312989349425689620920620694187424626820495000210511468789*c_0\ 101_3^29 - 19780556603048838489432698808603314871685442487739859945\ 3449830/86312989349425689620920620694187424626820495000210511468789\ *c_0101_3^28 - 1036935335074920728846660264852050076746000055788693\ 486149386181/863129893494256896209206206941874246268204950002105114\ 68789*c_0101_3^27 + 40949366862241660257547168950250096343395866209\ 58825718426922288/8631298934942568962092062069418742462682049500021\ 0511468789*c_0101_3^26 + 203811536881819132454158500968463686625935\ 63762770312012563285643/8631298934942568962092062069418742462682049\ 5000210511468789*c_0101_3^25 - 433237584710103058432275319948420490\ 34145861458127398501608215908/8631298934942568962092062069418742462\ 6820495000210511468789*c_0101_3^24 - 175887518140450032469521801964953464789586292634599694362150436870/\ 86312989349425689620920620694187424626820495000210511468789*c_0101_\ 3^23 + 279392778871985209762872306061671778453913660642274624331235\ 215514/86312989349425689620920620694187424626820495000210511468789*\ c_0101_3^22 + 85036558561865266212249636121616058457228102190787588\ 4937335620799/86312989349425689620920620694187424626820495000210511\ 468789*c_0101_3^21 - 1168418504695744658875060903590916017588823460\ 787431817526765460314/863129893494256896209206206941874246268204950\ 00210511468789*c_0101_3^20 - 25521735861326671295666049720785481443\ 64577137328751924835777096881/8631298934942568962092062069418742462\ 6820495000210511468789*c_0101_3^19 + 3256933839413015287378529684272031301168009033723539261229108680358\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^18 + 50248131822840774335340329130772691050690056881243948318779\ 78000171/8631298934942568962092062069418742462682049500021051146878\ 9*c_0101_3^17 - 615935505936639508097300549775071912836570170104459\ 4106364626336975/86312989349425689620920620694187424626820495000210\ 511468789*c_0101_3^16 - 6704294260164552390783408156446087584942652\ 813403563112181884787614/863129893494256896209206206941874246268204\ 95000210511468789*c_0101_3^15 + 79969222859357441009866118464514731\ 90533839638907348325814039644478/8631298934942568962092062069418742\ 4626820495000210511468789*c_0101_3^14 + 6168617378248548605653241952431786682081062943866670603779072373824\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^13 - 71519287572916187868071655565865513973147353475388649827616\ 95116936/8631298934942568962092062069418742462682049500021051146878\ 9*c_0101_3^12 - 393222130569670901402978798737206716979135223725272\ 4050778729488549/86312989349425689620920620694187424626820495000210\ 511468789*c_0101_3^11 + 4363661471528448196684253198871103475377083\ 726611483858765900223332/863129893494256896209206206941874246268204\ 95000210511468789*c_0101_3^10 + 17212535824045910287947922962507621\ 50454448392907510093732820804531/8631298934942568962092062069418742\ 4626820495000210511468789*c_0101_3^9 - 1761406478861867542913410872187154173675369583232510446780361419307\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^8 - 503705376972652996602978568588923719043312483869256666377773\ 867179/86312989349425689620920620694187424626820495000210511468789*\ c_0101_3^7 + 437404047393744109116480399197900135387270707401233496\ 723791453180/863129893494256896209206206941874246268204950002105114\ 68789*c_0101_3^6 + 930791502529174979695742030616877972854651704318\ 48194134707523873/8631298934942568962092062069418742462682049500021\ 0511468789*c_0101_3^5 - 5495485747202845038604201509091001437543705\ 5209812774482679469690/86312989349425689620920620694187424626820495\ 000210511468789*c_0101_3^4 - 95958168357567499376408118857754897945\ 80963624175360702701274919/8631298934942568962092062069418742462682\ 0495000210511468789*c_0101_3^3 + 8104497477000445424772054302769165\ 18058448106507190532728074042/8631298934942568962092062069418742462\ 6820495000210511468789*c_0101_3^2 + 395317958620927320156468635545084031400433094735022808948759860/863\ 12989349425689620920620694187424626820495000210511468789*c_0101_3 + 368219466619449256631253194811962297469240847523106279318002463/863\ 12989349425689620920620694187424626820495000210511468789, c_0101_0 + 190023174857345661686524254570519340296779843495569360866598\ 91/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^30 + 43870683823781946530203337392470521423792657853357954147\ 368300/604190925445979827346444344859311972387743465001473580281523\ *c_0101_3^29 - 1512729856904890165535678042650579659423589149091847\ 290800682935/604190925445979827346444344859311972387743465001473580\ 281523*c_0101_3^28 - 7999887808964385176819357117920481567438743163\ 032323516285712029/604190925445979827346444344859311972387743465001\ 473580281523*c_0101_3^27 + 3106786105819038933552034716176305327014\ 4314506630104193814775705/60419092544597982734644434485931197238774\ 3465001473580281523*c_0101_3^26 + 157562226757738901604565413677440\ 020230311252434860154472365795872/604190925445979827346444344859311\ 972387743465001473580281523*c_0101_3^25 - 326442489047136595033928911605585273845909891491973865209867435984/\ 604190925445979827346444344859311972387743465001473580281523*c_0101\ _3^24 - 13652132673463956854807200519558845075664501218638675707730\ 00884884/6041909254459798273464443448593119723877434650014735802815\ 23*c_0101_3^23 + 20980255384390710919167950409680102968665882229564\ 48834667446535394/6041909254459798273464443448593119723877434650014\ 73580281523*c_0101_3^22 + 66398400756630491618780910473578747300337\ 03170607658823712419821402/6041909254459798273464443448593119723877\ 43465001473580281523*c_0101_3^21 - 1253920789762896955224658153382988498468128719036172712477641612877\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^20 - 28698627529163827810227765743099902508469337347826863039100\ 24574140/8631298934942568962092062069418742462682049500021051146878\ 9*c_0101_3^19 + 245556769086661742226056878189114937856218734174797\ 18582635156701891/6041909254459798273464443448593119723877434650014\ 73580281523*c_0101_3^18 + 39954454024902979357048545499933578607359\ 682896719261156559813519572/604190925445979827346444344859311972387\ 743465001473580281523*c_0101_3^17 - 4672288906096917924201785529204505428441526577531812336435749096029\ 4/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^16 - 539461783884701944894694929461277975938100261619064072265\ 30866494061/6041909254459798273464443448593119723877434650014735802\ 81523*c_0101_3^15 + 61146377654904169053451175312067121210578453815\ 063560958117367972225/604190925445979827346444344859311972387743465\ 001473580281523*c_0101_3^14 + 5028687862039404581461247131530580099\ 8806173571216655821518392071496/60419092544597982734644434485931197\ 2387743465001473580281523*c_0101_3^13 - 5519523299355328879009089027924518560326805972827393829584574467607\ 9/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^12 - 463989311697659676891337367219388707901528873312307621072\ 4478255846/86312989349425689620920620694187424626820495000210511468\ 789*c_0101_3^11 + 3402111288207117064189445486183866702411550530721\ 6614546601382483970/60419092544597982734644434485931197238774346500\ 1473580281523*c_0101_3^10 + 143816533037282878881882089865356443457\ 71430750482750498909634831331/6041909254459798273464443448593119723\ 87743465001473580281523*c_0101_3^9 - 1388061401280311949603335185565614076398655576056548867768096149287\ 7/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^8 - 4238239679252434970414580475902781365691708262501188408482\ 288372510/604190925445979827346444344859311972387743465001473580281\ 523*c_0101_3^7 + 34851179917819597222687468677918262847334120757262\ 59410243758565100/6041909254459798273464443448593119723877434650014\ 73580281523*c_0101_3^6 + 781244601597969662486742577578141151908975\ 303804230784044726055959/604190925445979827346444344859311972387743\ 465001473580281523*c_0101_3^5 - 44297508545835108558777205800231785\ 2802091680141490995366846767251/60419092544597982734644434485931197\ 2387743465001473580281523*c_0101_3^4 - 78811271265360428949010035653127319419507581392228210967227885897/6\ 04190925445979827346444344859311972387743465001473580281523*c_0101_\ 3^3 + 6738440147130324889498525988668026569076142867539733415455386\ 451/604190925445979827346444344859311972387743465001473580281523*c_\ 0101_3^2 + 30345852194568631671134454629519594036996059659120145037\ 03658318/6041909254459798273464443448593119723877434650014735802815\ 23*c_0101_3 + 30091531888034961812642966153538483355800528969323038\ 64106051893/6041909254459798273464443448593119723877434650014735802\ 81523, c_0101_1 - 879094765259297198279903497790512376936827335326904513350603\ 16/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^30 - 19839553335743651876040200947142791687734809450592722582\ 9007383/60419092544597982734644434485931197238774346500147358028152\ 3*c_0101_3^29 + 700434562601311602829210706103472077127761259387236\ 2420071448210/60419092544597982734644434485931197238774346500147358\ 0281523*c_0101_3^28 + 366392453525278836306596726698614721354586273\ 32513542418770266622/6041909254459798273464443448593119723877434650\ 01473580281523*c_0101_3^27 - 14528924233874922085217839154024370657\ 0086093967946444496748913856/60419092544597982734644434485931197238\ 7743465001473580281523*c_0101_3^26 - 719846053957727307246858870556816827833747025421577912841409855173/\ 604190925445979827346444344859311972387743465001473580281523*c_0101\ _3^25 + 15396591078848846345609596380888821913948078068990779415894\ 49382119/6041909254459798273464443448593119723877434650014735802815\ 23*c_0101_3^24 + 62067642959971783416750069677458266622912023275726\ 58432673169828263/6041909254459798273464443448593119723877434650014\ 73580281523*c_0101_3^23 - 99366787633034479280287286457468182651412\ 02723894674418845556987578/6041909254459798273464443448593119723877\ 43465001473580281523*c_0101_3^22 - 2996847822028607465922673302098994652992229764827834694909391599070\ 5/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^21 + 593536533817473696998094057890619501615424937082114017248\ 7401971396/86312989349425689620920620694187424626820495000210511468\ 789*c_0101_3^20 + 1282627485409907874808665684293566418472628556826\ 4440553636126440333/86312989349425689620920620694187424626820495000\ 210511468789*c_0101_3^19 - 1157033536732896506796973432907062906307\ 65721086261816678072024861489/6041909254459798273464443448593119723\ 87743465001473580281523*c_0101_3^18 - 1763806516600383816241300477078792232695619484470028167481852938710\ 31/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^17 + 21848315919005264697009746250779846770293828936030104613\ 0966287805954/60419092544597982734644434485931197238774346500147358\ 0281523*c_0101_3^16 + 234737584633103959535819723305166872007155979\ 406473632842412441971165/604190925445979827346444344859311972387743\ 465001473580281523*c_0101_3^15 - 2831280225290361598538497820252837\ 07326601112896474551036056257558960/6041909254459798273464443448593\ 11972387743465001473580281523*c_0101_3^14 - 2153985384791250262680029583479417115042996843765382513114030742778\ 33/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^13 + 25267071421179043109441304735979950384368254045998407305\ 2100353627014/60419092544597982734644434485931197238774346500147358\ 0281523*c_0101_3^12 + 195637059227459238539215771811144781007828841\ 03766050678892149499568/8631298934942568962092062069418742462682049\ 5000210511468789*c_0101_3^11 - 153816062420036624886351339221323108\ 721145682981022656859907735563585/604190925445979827346444344859311\ 972387743465001473580281523*c_0101_3^10 - 5981311509684523480850022247923700616696253363975632210807877460718\ 0/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^9 + 6194672143123453301306565936674549039750584482078948026440\ 9571919166/60419092544597982734644434485931197238774346500147358028\ 1523*c_0101_3^8 + 1748203662829746607849042737330308736153876902886\ 7101115099356162433/60419092544597982734644434485931197238774346500\ 1473580281523*c_0101_3^7 - 1534843985781159026446409656848570802564\ 0286912565753917071751187577/60419092544597982734644434485931197238\ 7743465001473580281523*c_0101_3^6 - 3232710746998216548944471462933546424401416401687342201345172646881\ /604190925445979827346444344859311972387743465001473580281523*c_010\ 1_3^5 + 19239843276752970842195607528760007719164381741599065023082\ 11226657/6041909254459798273464443448593119723877434650014735802815\ 23*c_0101_3^4 + 334774520944799852979903848245147432348758198469225\ 680543641320480/604190925445979827346444344859311972387743465001473\ 580281523*c_0101_3^3 - 28201345718829132270877079921568650620186877\ 501346225593597900441/604190925445979827346444344859311972387743465\ 001473580281523*c_0101_3^2 - 13980354281114001457755268516611350876\ 198954911042709549172748879/604190925445979827346444344859311972387\ 743465001473580281523*c_0101_3 - 1285996611346250291829630888186482\ 8762019252099885674500163132249/60419092544597982734644434485931197\ 2387743465001473580281523, c_0101_2 + 446242434606435652895541391400419857502353495408866137587936\ 98/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^30 + 99043437100871149092762777254690162864779912403620968732\ 816866/604190925445979827346444344859311972387743465001473580281523\ *c_0101_3^29 - 3557898156917426261565253467360154455789477144718136\ 678897484980/604190925445979827346444344859311972387743465001473580\ 281523*c_0101_3^28 - 1846389904678116198966444736077775461503435404\ 6819618039444930727/60419092544597982734644434485931197238774346500\ 1473580281523*c_0101_3^27 + 743340155478402719149523184849969382456\ 79110451218320511896876380/6041909254459798273464443448593119723877\ 43465001473580281523*c_0101_3^26 + 362162458636884444626628867023983342734434079840177584796082081642/\ 604190925445979827346444344859311972387743465001473580281523*c_0101\ _3^25 - 79255659021627110515261546743603438946933837972083944075222\ 6954323/60419092544597982734644434485931197238774346500147358028152\ 3*c_0101_3^24 - 311221981857390046226421161092046182373470867229998\ 5286371306112698/60419092544597982734644434485931197238774346500147\ 3580281523*c_0101_3^23 + 513069741516047702400826193784520194446062\ 8455228843738075499439329/60419092544597982734644434485931197238774\ 3465001473580281523*c_0101_3^22 + 149508701519686965366333419116629\ 45420398860975276277457960658431561/6041909254459798273464443448593\ 11972387743465001473580281523*c_0101_3^21 - 3064129537222348167486486069735483451502170513680293219967730752450\ /86312989349425689620920620694187424626820495000210511468789*c_0101\ _3^20 - 63545382072683917620231018858315672796899779370319178290606\ 71529186/8631298934942568962092062069418742462682049500021051146878\ 9*c_0101_3^19 + 595625847820046040415012225243067741136924300389505\ 86087642084896532/6041909254459798273464443448593119723877434650014\ 73580281523*c_0101_3^18 + 86615351348470682677345709278388945861517\ 124113413656002221471856823/604190925445979827346444344859311972387\ 743465001473580281523*c_0101_3^17 - 1119272125831350464369915922429012253885076629707063944246459494164\ 55/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^16 - 11406942381836026930142310327234629152057043442835748251\ 8229430996747/60419092544597982734644434485931197238774346500147358\ 0281523*c_0101_3^15 + 144127892527717699351505990270277294706914801\ 332506400280981308302883/604190925445979827346444344859311972387743\ 465001473580281523*c_0101_3^14 + 1034639213068651131582420320620817\ 73392182753875842011369841676103516/6041909254459798273464443448593\ 11972387743465001473580281523*c_0101_3^13 - 1276785926214826223132532261964645517544614474404115631152209888552\ 53/604190925445979827346444344859311972387743465001473580281523*c_0\ 101_3^12 - 92875463652147377345108074838677452023475797320847389775\ 09496910245/8631298934942568962092062069418742462682049500021051146\ 8789*c_0101_3^11 + 771045074191898540508873681404110933756488017890\ 95381887367071596609/6041909254459798273464443448593119723877434650\ 01473580281523*c_0101_3^10 + 28108469305825722971796655011224413667\ 992907656168380552405375562942/604190925445979827346444344859311972\ 387743465001473580281523*c_0101_3^9 - 3079434737271200555126694303009458999456452767570162743796067997837\ 5/604190925445979827346444344859311972387743465001473580281523*c_01\ 01_3^8 - 8169480406516450682591907241500475482280772753882370748769\ 807870958/604190925445979827346444344859311972387743465001473580281\ 523*c_0101_3^7 + 75657958094813534115761552681553974943280981983426\ 61341428218015572/6041909254459798273464443448593119723877434650014\ 73580281523*c_0101_3^6 + 151678868354520307062613850937664296634924\ 5692541886794683772761456/60419092544597982734644434485931197238774\ 3465001473580281523*c_0101_3^5 - 9403174674141556313105461993547930\ 42277226162888967596024851011132/6041909254459798273464443448593119\ 72387743465001473580281523*c_0101_3^4 - 160712067330600153655094741068777881413474259599010370062810439564/\ 604190925445979827346444344859311972387743465001473580281523*c_0101\ _3^3 + 135398323582293798059144669458367841248576677658884875198198\ 54215/604190925445979827346444344859311972387743465001473580281523*\ c_0101_3^2 + 714048810618186083944593723210585671722216152870782855\ 8903099542/60419092544597982734644434485931197238774346500147358028\ 1523*c_0101_3 + 620945700424959370596170938159082793611631659726245\ 8240414914771/60419092544597982734644434485931197238774346500147358\ 0281523, c_0101_3^31 + 3*c_0101_3^30 - 78*c_0101_3^29 - 476*c_0101_3^28 + 1343*c_0101_3^27 + 9417*c_0101_3^26 - 11429*c_0101_3^25 - 83625*c_0101_3^24 + 60563*c_0101_3^23 + 424949*c_0101_3^22 - 219264*c_0101_3^21 - 1372791*c_0101_3^20 + 557103*c_0101_3^19 + 2985304*c_0101_3^18 - 994085*c_0101_3^17 - 4518982*c_0101_3^16 + 1235980*c_0101_3^15 + 4846421*c_0101_3^14 - 1052957*c_0101_3^13 - 3696666*c_0101_3^12 + 591734*c_0101_3^11 + 1982766*c_0101_3^10 - 198858*c_0101_3^9 - 723525*c_0101_3^8 + 26729*c_0101_3^7 + 166815*c_0101_3^6 + 5469*c_0101_3^5 - 20118*c_0101_3^4 - 2515*c_0101_3^3 + 399*c_0101_3^2 + 265*c_0101_3 + 109 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB