Magma V2.19-8 Tue Aug 20 2013 16:17:09 on localhost [Seed = 3137021550] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v1393 geometric_solution 5.24131469 oriented_manifold CS_known 0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 2 1230 3012 0132 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 1 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.922337378215 0.998920624203 3 4 3 0 0132 0132 2310 0132 0 0 0 0 0 -1 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 0 1 -1 0 0 0 0 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.741353862388 0.605913667509 4 3 0 3 2310 3201 0132 1023 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.741353862388 0.605913667509 1 1 2 2 0132 3201 2310 1023 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.645022440199 0.310514528816 5 1 2 5 0132 0132 3201 1023 0 0 0 0 0 1 0 -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 0 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.764874929912 0.473734117575 4 6 6 4 0132 0132 1023 1023 0 0 0 0 0 1 -1 0 0 0 -1 1 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.182112006813 0.285761005586 6 5 5 6 3201 0132 1023 2310 0 0 0 0 0 -1 1 0 0 0 1 -1 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1.185997286586 0.140821270965 ==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' : negation(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' : negation(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' : negation(d['1']), 's_0_0' : d['1'], 's_0_1' : negation(d['1']), 'c_1100_6' : negation(d['c_0011_1']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_1']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_1']), 'c_1100_0' : negation(d['c_0011_1']), 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_0'], 'c_0101_2' : d['c_0011_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_1'], 'c_0011_4' : negation(d['c_0011_1']), 'c_0011_6' : negation(d['c_0011_1']), 'c_0011_1' : d['c_0011_1'], 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : negation(d['c_0011_1']), 'c_0011_2' : d['c_0011_1'], 'c_1001_5' : d['c_0101_6'], 'c_1001_4' : negation(d['c_0011_0']), 'c_1001_6' : d['c_0101_5'], 'c_1001_1' : d['c_0101_4'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0101_1']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : negation(d['c_0101_4']), 'c_0110_5' : d['c_0101_4'], 'c_0110_4' : d['c_0101_5'], 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : d['c_0101_6'], 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : d['c_0101_4'], 'c_1010_3' : negation(d['c_0101_4']), 'c_1010_2' : d['c_0101_1'], '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_0101_0, c_0101_1, c_0101_4, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 31 Groebner basis: [ t + 5491209912820542508446520463127771097677490580960560768865977080310\ 8882456978569075773105/28576896857071506392677071244217988658429524\ 93951528933726829534959654695241241832720346*c_0101_6^30 - 4946697418877140889301411630972249996028041871423014756023202273101\ 56317905188329740720905/2857689685707150639267707124421798865842952\ 493951528933726829534959654695241241832720346*c_0101_6^29 - 6555363914951831116208616620713546126692309767551974390181979044308\ 78943504084083997976873/2857689685707150639267707124421798865842952\ 493951528933726829534959654695241241832720346*c_0101_6^28 + 1029374923983558023511807304331006144261609258397729107364809891631\ 138687676583069735344825/408241383672450091323958160631685552263278\ 927707361276246689933565664956463034547531478*c_0101_6^27 - 7659630229194083520086703174130801517063976006174954679827574166619\ 969534359466085124494651/476281614284525106544617854070299810973825\ 415658588155621138255826609115873540305453391*c_0101_6^26 + 3280176926345877803429391984973331096498948593380189286344785244242\ 28309166630392609677803/1058403587298944681210261897933999579941834\ 25701908479026919612405913136860786734545198*c_0101_6^25 + 3086486109656914990097549560636297488808505518122497304743976934707\ 2273280640326665881720687/25978997142792278538797337494743626053117\ 7499450138993975166321359968608658294712065486*c_0101_6^24 - 2020877711593023431497510868303849154235617166079774873852573718085\ 03830033536769987527022815/9525632285690502130892357081405996219476\ 50831317176311242276511653218231747080610906782*c_0101_6^23 + 1132242208543422517860218572468302389371804263806482753423159358164\ 336780308203468054852272795/285768968570715063926770712442179886584\ 2952493951528933726829534959654695241241832720346*c_0101_6^22 + 4740635252011236193172714591302866338001726412540790700861328428012\ 7123756082787719897576637/10584035872989446812102618979339995799418\ 3425701908479026919612405913136860786734545198*c_0101_6^21 - 3416825991001461526543261599725842636745751467684530380772121394225\ 816618081166502099618244451/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^20 + 1027950673630769497208405556893698761931476160559834024723861856402\ 086087448743179014060317996/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^19 - 2948242499581684801609764527067413369570386330474822767032287093634\ 307572540217579416926570951/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^18 + 3813199389894247879038107541842839759938413395550341609509199736392\ 979691571997514748082144224/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^17 + 1047238224855340334963129206677603969189680032436478793200704501074\ 7779003379179445205909695651/28576896857071506392677071244217988658\ 42952493951528933726829534959654695241241832720346*c_0101_6^16 - 1195235560084560641850449059252709954071145494033210796312125587090\ 097912414633806229194632825/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^15 + 1922119384823452960005404978659886212503968904115690676035264158246\ 534617237177315023113325042/476281614284525106544617854070299810973\ 825415658588155621138255826609115873540305453391*c_0101_6^14 - 1466698282575822456907562550147833343751106242230518198472774756026\ 9011201165448285358863735593/28576896857071506392677071244217988658\ 42952493951528933726829534959654695241241832720346*c_0101_6^13 + 8190947705524891468137182226163813301134819875088447172383006117382\ 194390708003931151026750251/285768968570715063926770712442179886584\ 2952493951528933726829534959654695241241832720346*c_0101_6^12 - 4435693852742814289112504188142719865808727358242149631407962023804\ 448937239976950073857087939/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^11 + 2958690197980917308903398677816316774236930148343731067286655163236\ 089189470411835171499291747/142884484285357531963385356221089943292\ 1476246975764466863414767479827347620620916360173*c_0101_6^10 - 3715739372878265508330862958192300136212415576187429613277566843449\ 59375139266270993761453795/4762816142845251065446178540702998109738\ 25415658588155621138255826609115873540305453391*c_0101_6^9 + 1009134980858497645117703697823608738604729938596853590780670827252\ 57369249812703068833433405/1360804612241500304413193868772285174210\ 92975902453758748896644521888318821011515843826*c_0101_6^8 - 2463288887333759242864157886599511400682725506406196167018056746628\ 7156936538843979382831949/12989498571396139269398668747371813026558\ 8749725069496987583160679984304329147356032743*c_0101_6^7 + 2517896164447660795708100256038981464876158378932837125827454359898\ 18750296952831196273140661/2857689685707150639267707124421798865842\ 952493951528933726829534959654695241241832720346*c_0101_6^6 - 5177638343752239543953140543184887134867515177006756029811577505137\ 633246881805305054283047/865966571426409284626577916491454201770591\ 66483379664658388773786656202886098237355162*c_0101_6^5 - 1876841291685145072365371285444584309823373997794538162711139466249\ 6285504532434272093311571/28576896857071506392677071244217988658429\ 52493951528933726829534959654695241241832720346*c_0101_6^4 - 4455391366333607134081371089220522159585036930322883376428646080354\ 40832532539223871850906/4329832857132046423132889582457271008852958\ 3241689832329194386893328101443049118677581*c_0101_6^3 - 2654918156329407562448878305806864161449513689291117929503713120924\ 841266256202494798644396/142884484285357531963385356221089943292147\ 6246975764466863414767479827347620620916360173*c_0101_6^2 - 5568224651551221025242331621468835438717801695576613390864868967809\ 79926412888328268610327/9525632285690502130892357081405996219476508\ 31317176311242276511653218231747080610906782*c_0101_6 - 1474657943415705405507535029662636816926525715736171238558759756529\ 19042202546698275558455/2857689685707150639267707124421798865842952\ 493951528933726829534959654695241241832720346, c_0011_0 - 1, c_0011_1 + 395599542027276731613175911805802406396585454078813609331493\ 1020746458734163012/81260627785278016603266744318570031232861294706\ 75138019519959873932297539784999*c_0101_6^30 - 1105478956106691174494104895321826532971329473750756127182704659055\ 10967875396487/2437818833558340498098002329557100936985838841202541\ 4058559879621796892619354997*c_0101_6^29 - 1083330927709685469554741574867898063918915220705832038735224354138\ 53851165751089/2437818833558340498098002329557100936985838841202541\ 4058559879621796892619354997*c_0101_6^28 + 5319336964005992462337007603221338340581929139748377089766476509280\ 52255844288522/8126062778527801660326674431857003123286129470675138\ 019519959873932297539784999*c_0101_6^27 - 1042029328748966004889035077788257226092613656599689725319153625963\ 8765602532511170/24378188335583404980980023295571009369858388412025\ 414058559879621796892619354997*c_0101_6^26 + 5032158961909451557994834807852374449579746575073314402974467539783\ 452050987504522/243781883355834049809800232955710093698583884120254\ 14058559879621796892619354997*c_0101_6^25 + 6577156933731955278749587847262694409597708175769055232067272360241\ 380350777149789/221619893959849136190727484505190994271439894654776\ 4914414534511072444783577727*c_0101_6^24 - 5124679754264848867672188061966930539543354326041009843796191488340\ 2314372232671539/81260627785278016603266744318570031232861294706751\ 38019519959873932297539784999*c_0101_6^23 + 9623474974879105157116210260278338819009581489533991129834934206065\ 8903316845946254/81260627785278016603266744318570031232861294706751\ 38019519959873932297539784999*c_0101_6^22 + 6578534357479202767957421326099470907136577526764034263152014141127\ 2086589456825354/81260627785278016603266744318570031232861294706751\ 38019519959873932297539784999*c_0101_6^21 - 5182384078837802919143290408247869107210994436856420707247256099997\ 72412972581694272/8126062778527801660326674431857003123286129470675\ 138019519959873932297539784999*c_0101_6^20 + 3066127623238488807148784673255462860374916346497929477070747957254\ 70480391013625699/8126062778527801660326674431857003123286129470675\ 138019519959873932297539784999*c_0101_6^19 - 1478860905208230545567058405163182035533295564840757425272588023650\ 487354818315310857/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^18 + 2011244520625499672349139740955270166352022335914396016965464404801\ 373308627274027289/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^17 + 5774521666104035680651616931899717421026128291173821788565052077862\ 18197927230720577/8126062778527801660326674431857003123286129470675\ 138019519959873932297539784999*c_0101_6^16 - 1169424119446788963976617275207653696125909081070606904398229357871\ 634072452512020711/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^15 + 2827676253869768324482669807506150709852489038341091236871028715668\ 703776343476188095/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^14 - 3914921708486683792645036383735914387560563889792475312949766959009\ 656512502289127271/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^13 + 2806399615618750043860992319316903022355941510327431616419350650659\ 166148868304615845/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^12 - 2534444579530705575103064257187426488357867123073694072715223131141\ 976573648490153254/243781883355834049809800232955710093698583884120\ 25414058559879621796892619354997*c_0101_6^11 + 6089890578635827268649748279731377145896666851255430202489432772688\ 40131546133705472/8126062778527801660326674431857003123286129470675\ 138019519959873932297539784999*c_0101_6^10 - 2905156613897831735556444993105485725025689489581867379960880614623\ 96326300176831969/8126062778527801660326674431857003123286129470675\ 138019519959873932297539784999*c_0101_6^9 + 1984650787528743354488442028083995958485480177012431540844722211152\ 32923279435497424/8126062778527801660326674431857003123286129470675\ 138019519959873932297539784999*c_0101_6^8 - 2041857564846737351488338120425811495495433829228340707080191433306\ 0261675708218850/22161989395984913619072748450519099427143989465477\ 64914414534511072444783577727*c_0101_6^7 + 2881264961964767088953955064174392140989531196882958389602524424645\ 6470452049847183/81260627785278016603266744318570031232861294706751\ 38019519959873932297539784999*c_0101_6^6 - 1369508093487301320326278039727744953287533285717229046095781491456\ 716025210258029/738732979866163787302424948350636647571466315515921\ 638138178170357481594525909*c_0101_6^5 + 3488704230638073250304454916001155499045611679910967656434259695436\ 247515645412174/243781883355834049809800232955710093698583884120254\ 14058559879621796892619354997*c_0101_6^4 - 4955782050115127930596251920171112359142801093850562787625899513908\ 39207706768619/2216198939598491361907274845051909942714398946547764\ 914414534511072444783577727*c_0101_6^3 - 6003692114988790761736662619073611632596631979058678452347660858918\ 9211979245438/81260627785278016603266744318570031232861294706751380\ 19519959873932297539784999*c_0101_6^2 - 2095128952906358839001405490596160735657792230363860569807090394584\ 01658289552536/2437818833558340498098002329557100936985838841202541\ 4058559879621796892619354997*c_0101_6 + 1072036737922118024661869016544858662362860993114469223417992542450\ 665545091787/243781883355834049809800232955710093698583884120254140\ 58559879621796892619354997, c_0101_0 + 138871381620087565258390931444014429899975553714420015751423\ 2370470799160011427343/27896773518685943099901473324565091722241282\ 472827748821012022247209577454081901567*c_0101_6^30 - 2935810748970984861703321943308769964120302996139186898254535354485\ 5664878341628305/83690320556057829299704419973695275166723847418483\ 246463036066741628732362245704701*c_0101_6^29 - 1265637885445432290567514229720361578418371845233884674124344723846\ 09008732073123355/8369032055605782929970441997369527516672384741848\ 3246463036066741628732362245704701*c_0101_6^28 + 4798748605603194245262288557402831680705580503639877004813346625669\ 15281089157925296/8369032055605782929970441997369527516672384741848\ 3246463036066741628732362245704701*c_0101_6^27 - 2392871659643596136287323947333306884840889286062630772138058427103\ 854884753344451873/836903205560578292997044199736952751667238474184\ 83246463036066741628732362245704701*c_0101_6^26 - 2202702357182703147865106529738931868401878295910379192496155579811\ 151623046705513477/278967735186859430999014733245650917222412824728\ 27748821012022247209577454081901567*c_0101_6^25 + 2728536581853030289061468027081489800502234148251660278938892320417\ 845872878988595723/760821095964162084542767454306320683333853158349\ 8476951185096976511702942022336791*c_0101_6^24 + 2445508301064515687013372219534192394236790453957962233367985890968\ 318148831129034129/836903205560578292997044199736952751667238474184\ 83246463036066741628732362245704701*c_0101_6^23 - 2367321249961844976054808480420826255996008294762485287981621799245\ 2478767377883771598/83690320556057829299704419973695275166723847418\ 483246463036066741628732362245704701*c_0101_6^22 + 3128806553961695316066272594102256446624208680305347777689826932321\ 75307298529549629363/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^21 - 4168863924163119518776646441420431942073092703070346583341523893175\ 85072427014108660383/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^20 - 8986089180835597133420295709737727447299749073522507907220459991578\ 07064437268094797748/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^19 + 1009131206303365449426474121063471948572904642833157824703906511583\ 56800352318221294290/2789677351868594309990147332456509172224128247\ 2827748821012022247209577454081901567*c_0101_6^18 - 6707635715883760796257010403352413223650059761621890798285885733727\ 67056189990473637192/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^17 + 2375569008461663889142914202110171253225756581167303230070694166030\ 942828832693696591041/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^16 + 8183913493906432266311654809961817528166911259851408092186637429005\ 90498684105170290932/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^15 + 4567183800122832891167583119638317145428071282638271599752625638219\ 9435713013496439341/27896773518685943099901473324565091722241282472\ 827748821012022247209577454081901567*c_0101_6^14 + 1101101227404794865447421327408826562436234247657316423007113345288\ 757573117246234351352/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^13 - 8306260412368979659080354268138146793813884451583426302533789930790\ 48432919590701990016/2789677351868594309990147332456509172224128247\ 2827748821012022247209577454081901567*c_0101_6^12 + 1699168960930596521934112753191681663937080175825232598020430044751\ 375744543557904113834/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^11 - 1795720670210825882755723019901665763611149267596975081246593105555\ 772782794116642317869/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^10 + 1460905919272796930366989200256358940977491101844108663993749465658\ 023416644061999326724/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^9 - 6549613852184502564468644290656041598076972858527718577656023720930\ 13849664310786270610/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^8 + 4652155264413002238344053204465183893980692432809078956077019736839\ 2815480183697014242/76082109596416208454276745430632068333385315834\ 98476951185096976511702942022336791*c_0101_6^7 - 1989178372067678557029061696029366066993742578357830608048721818739\ 46383467245500361182/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^6 + 5792852469391225947203975271337444535206243617225747859290182694894\ 427758959867293850/760821095964162084542767454306320683333853158349\ 8476951185096976511702942022336791*c_0101_6^5 - 1389802593025015604532855471343815863777749210116777754702374573839\ 6162477852676549725/27896773518685943099901473324565091722241282472\ 827748821012022247209577454081901567*c_0101_6^4 + 1009866736005632164649320515045451060968007456434136699565708092278\ 06569188766066968/7608210959641620845427674543063206833338531583498\ 476951185096976511702942022336791*c_0101_6^3 - 3710052218795239542632376447855284524934378163347333938875906019314\ 099697665209896783/836903205560578292997044199736952751667238474184\ 83246463036066741628732362245704701*c_0101_6^2 - 3814600567719298177813069983006969199402186025531186591373241077000\ 3274496900778446/83690320556057829299704419973695275166723847418483\ 246463036066741628732362245704701*c_0101_6 - 3356710269074457756612880892271797333942955148829620264818031764103\ 434620722863630/278967735186859430999014733245650917222412824728277\ 48821012022247209577454081901567, c_0101_1 + 301695354727312801742613395209131110040627512010726365527503\ 09861796092579755604299/8369032055605782929970441997369527516672384\ 7418483246463036066741628732362245704701*c_0101_6^30 - 2778742031223058869837805875179665495465742674647412623323238402810\ 32863350575786888/8369032055605782929970441997369527516672384741848\ 3246463036066741628732362245704701*c_0101_6^29 - 1030611678669431087452625166685561465984742047651557740843815525583\ 97621302595913482/2789677351868594309990147332456509172224128247282\ 7748821012022247209577454081901567*c_0101_6^28 + 1356038927296650217663749223421758730011662869865865433704743387450\ 904288082739798475/278967735186859430999014733245650917222412824728\ 27748821012022247209577454081901567*c_0101_6^27 - 2601165828149598166922916865172199939666200603496885456618813798351\ 5745277234635368978/83690320556057829299704419973695275166723847418\ 483246463036066741628732362245704701*c_0101_6^26 + 3143645522355955055351588773357142038583483959082771941406786543908\ 108979721888898454/278967735186859430999014733245650917222412824728\ 27748821012022247209577454081901567*c_0101_6^25 + 1717948645295294000587698945922470511257491669874950372768709623882\ 2212677597690638523/76082109596416208454276745430632068333385315834\ 98476951185096976511702942022336791*c_0101_6^24 - 3721951691894970382674762648124541991889089151168770109352801186842\ 88295011531053444663/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^23 + 6645078544098345780976196474716995493028240047938457364705346401248\ 28451626913929340611/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^22 + 6280315042727843381903956828707675114318215547290828564302648298022\ 97087316548522420634/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^21 - 3984372824387751072954870768128540766436936235555588937718486892565\ 916830755732457877171/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^20 + 1806969257338571775299695798817133014863153164024716984392822787639\ 520235364728892062945/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^19 - 2933288886049778100063730023769219190802478615796206384394739197270\ 165411373471174216313/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^18 + 4576993812723342573573059110841694881802128830286198158971014739098\ 999111511850713566491/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^17 + 1751382333954595295918985850248839738422106389395906721868673423868\ 589467164978144263889/278967735186859430999014733245650917222412824\ 72827748821012022247209577454081901567*c_0101_6^16 - 3056037987523291682843287312195055954131853595087702095094972604294\ 102641310220635942412/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^15 + 5919205122405517122489848853925998947142682189526358209465726843174\ 187818853380931853657/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^14 - 2944558331199751368902098631416255884146180204064931746855326876613\ 322931201817186666761/278967735186859430999014733245650917222412824\ 72827748821012022247209577454081901567*c_0101_6^13 + 5375010342978596000876744261836183331823651940423452035235350720509\ 662864182605668804751/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^12 - 4646861345049553339043993731212938624809244023228902723907387745120\ 513583002831989708615/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^11 + 3545387227978998874875501792305711054014324162812689984110523676840\ 508585589438404594402/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^10 - 1347652437322871193333207276266275044912090851885410933596074230542\ 978009396487505461211/836903205560578292997044199736952751667238474\ 18483246463036066741628732362245704701*c_0101_6^9 + 3333320872657284768253305012060556490500734728372205636861076062456\ 76198114479375296581/2789677351868594309990147332456509172224128247\ 2827748821012022247209577454081901567*c_0101_6^8 - 1184658798933326094436110360933881048889131606289802612151690112784\ 6780426850682370676/25360703198805402818092248476877356111128438611\ 66158983728365658837234314007445597*c_0101_6^7 + 1023816840894285536052232188879099509302833501924729540126276059626\ 60715070921464657696/8369032055605782929970441997369527516672384741\ 8483246463036066741628732362245704701*c_0101_6^6 - 7576537265035698746332646100003904392560908849909575318729906592239\ 782525878097311723/760821095964162084542767454306320683333853158349\ 8476951185096976511702942022336791*c_0101_6^5 + 1035019423629357534750903654697318615854254318883560974483345988173\ 783007760136440162/278967735186859430999014733245650917222412824728\ 27748821012022247209577454081901567*c_0101_6^4 - 6203422686747965043567248867689463692354775086288916217955000329287\ 67718807356862571/7608210959641620845427674543063206833338531583498\ 476951185096976511702942022336791*c_0101_6^3 + 1363260778713393643315015602446490222560079494454225249087259174249\ 51984925420354809/2789677351868594309990147332456509172224128247282\ 7748821012022247209577454081901567*c_0101_6^2 - 5412636289265438466957164932720941210969349846106905685338101517191\ 167993988208681/836903205560578292997044199736952751667238474184832\ 46463036066741628732362245704701*c_0101_6 - 3812275761995649027354738763644119677709884711822540549155588221965\ 9110983930659754/83690320556057829299704419973695275166723847418483\ 246463036066741628732362245704701, c_0101_4 - 369293104661919732589899448727594548276104257489876268299839\ 590438469/981531331615784003828045019915569388731363729488042034469\ 1967307115191*c_0101_6^30 + 204372636162576220441701264130036325679\ 3492148396775704213306048846982/32717711053859466794268167330518979\ 62437879098293473448230655769038397*c_0101_6^29 - 7135342609269914602850962435293734826130065999146223517400664765082\ 204/327177110538594667942681673305189796243787909829347344823065576\ 9038397*c_0101_6^28 - 773005817718363831205974075377470193055701247\ 13950803782776629376227272/9815313316157840038280450199155693887313\ 637294880420344691967307115191*c_0101_6^27 + 6867395952921482644217234082555753294873600996279247392059464187960\ 83636/9815313316157840038280450199155693887313637294880420344691967\ 307115191*c_0101_6^26 - 2476332422875192257410559509064149978066770\ 264840556967898652685469661392/981531331615784003828045019915569388\ 7313637294880420344691967307115191*c_0101_6^25 - 1286022425967550724004959967417335627058828441566780199741853037423\ 49260/8923012105598036398436772908323358079376033904436745767901788\ 46101381*c_0101_6^24 + 21619548126618066325457579623164513663935298\ 072035821290099270641881048513/981531331615784003828045019915569388\ 7313637294880420344691967307115191*c_0101_6^23 - 4214971128840584598264400098416488770876086479761928761216254775675\ 8721074/98153133161578400382804501991556938873136372948804203446919\ 67307115191*c_0101_6^22 + 53271970321011780261523289212440467091477\ 291955441143919908624910702021252/981531331615784003828045019915569\ 3887313637294880420344691967307115191*c_0101_6^21 + 1044619238678761060492260240189202989810197826028293327481288757660\ 67002098/9815313316157840038280450199155693887313637294880420344691\ 967307115191*c_0101_6^20 - 1279188535031284810587640360569171891015\ 53250828741846662353223816367165312/3271771105385946679426816733051\ 897962437879098293473448230655769038397*c_0101_6^19 + 6932926553560101017564966241932566086441151205911014032260342753541\ 3125704/32717711053859466794268167330518979624378790982934734482306\ 55769038397*c_0101_6^18 - 32818280106397505239818416406297289051436\ 3768824571855358190398896429368408/98153133161578400382804501991556\ 93887313637294880420344691967307115191*c_0101_6^17 + 3489246871757980606483584695467199179073918140059384791979726041152\ 05059471/9815313316157840038280450199155693887313637294880420344691\ 967307115191*c_0101_6^16 + 5099978050832827436415259364870577480881\ 17263454553748143926775679218366878/9815313316157840038280450199155\ 693887313637294880420344691967307115191*c_0101_6^15 - 1203626042259172281638016451735729563008307492912659588780668127912\ 77804738/3271771105385946679426816733051897962437879098293473448230\ 655769038397*c_0101_6^14 + 6642305971958486923483894801431075099018\ 29020160445632294212981003414844525/9815313316157840038280450199155\ 693887313637294880420344691967307115191*c_0101_6^13 - 2906056286608505812947530765443486979978509632240573297137861079092\ 84742365/3271771105385946679426816733051897962437879098293473448230\ 655769038397*c_0101_6^12 + 5540310996011678903356973534264037866681\ 48938861518712467739569009732124462/9815313316157840038280450199155\ 693887313637294880420344691967307115191*c_0101_6^11 - 4646977056649433186057600679362836519469672985126512850147230854807\ 41210022/9815313316157840038280450199155693887313637294880420344691\ 967307115191*c_0101_6^10 + 3280829315023159284743274200690803480634\ 26250366236128616857246493027330391/9815313316157840038280450199155\ 693887313637294880420344691967307115191*c_0101_6^9 - 1278259300758164010985301395285139733486414786909987519030360044664\ 00395834/9815313316157840038280450199155693887313637294880420344691\ 967307115191*c_0101_6^8 + 26500954139210945614140618744631702097759\ 26720983756701989844878454659088/2974337368532678799478924302774452\ 69312534463481224858930059615367127*c_0101_6^7 - 3029236124619663843038863857646552155460373451610322824776675840084\ 7625576/98153133161578400382804501991556938873136372948804203446919\ 67307115191*c_0101_6^6 + 239470607875329036201251958004466115935175\ 027421412238626554839761406315/297433736853267879947892430277445269\ 312534463481224858930059615367127*c_0101_6^5 - 5793881895598160208947756433268243295184689663066710814953507868207\ 905721/981531331615784003828045019915569388731363729488042034469196\ 7307115191*c_0101_6^4 - 2737132396703613390215184329956912421761244\ 6282171574847914398249186317/89230121055980363984367729083233580793\ 7603390443674576790178846101381*c_0101_6^3 - 5676827784783165280018822470605728850194103541289330916992520829039\ 50642/9815313316157840038280450199155693887313637294880420344691967\ 307115191*c_0101_6^2 - 60509327047209425045281637927515851092516918\ 359287852734435990076201424/981531331615784003828045019915569388731\ 3637294880420344691967307115191*c_0101_6 - 9447130780470511554415501488249380188709729740168643978639629827418\ 804/981531331615784003828045019915569388731363729488042034469196730\ 7115191, c_0101_5 + 629953411773870948191218230019923275190455647291224363388647\ 192598274/981531331615784003828045019915569388731363729488042034469\ 1967307115191*c_0101_6^30 - 145088121676571112919159382365079067442\ 5709894430854684292793342286823/32717711053859466794268167330518979\ 62437879098293473448230655769038397*c_0101_6^29 - 1982584293589488392359332582934574629581969093978480249051960746764\ 4042/98153133161578400382804501991556938873136372948804203446919673\ 07115191*c_0101_6^28 + 70311863720494847044815279329509811532655880\ 713949201603469722904029635/981531331615784003828045019915569388731\ 3637294880420344691967307115191*c_0101_6^27 - 1159530194100411106261815402435021323612967564865644769424309082924\ 82468/3271771105385946679426816733051897962437879098293473448230655\ 769038397*c_0101_6^26 - 3520205145142804778081730922716302750231930\ 42666024755012622430614428805/3271771105385946679426816733051897962\ 437879098293473448230655769038397*c_0101_6^25 + 4019556921734692330746229297062896401311451256766619225789248486204\ 70816/8923012105598036398436772908323358079376033904436745767901788\ 46101381*c_0101_6^24 + 42239086807954886615954852947060041016959372\ 6139474311362602303358481030/32717711053859466794268167330518979624\ 37879098293473448230655769038397*c_0101_6^23 - 1377889404610823510317472808006154101711337770175087231278743002359\ 544546/327177110538594667942681673305189796243787909829347344823065\ 5769038397*c_0101_6^22 + 151892337055627176141056956439198550944254\ 46055561422104937979223092837398/3271771105385946679426816733051897\ 962437879098293473448230655769038397*c_0101_6^21 - 1795817810179243633232135282230882484734113632031316202110380626944\ 1202665/32717711053859466794268167330518979624378790982934734482306\ 55769038397*c_0101_6^20 - 15347416799612707660533902461320700913983\ 3211795576453420014789669731616324/98153133161578400382804501991556\ 93887313637294880420344691967307115191*c_0101_6^19 + 2967467699898677901156668951777191808702866290635279339224403285469\ 0373514/98153133161578400382804501991556938873136372948804203446919\ 67307115191*c_0101_6^18 - 52202259113811133131173480673672964140398\ 124538584225792035420184120522799/981531331615784003828045019915569\ 3887313637294880420344691967307115191*c_0101_6^17 + 3314556052977838531031221125908901025359973141578883053900516081196\ 90089157/9815313316157840038280450199155693887313637294880420344691\ 967307115191*c_0101_6^16 + 6156177053154584985054985068580409440008\ 7480173401737948791204140245626683/32717711053859466794268167330518\ 97962437879098293473448230655769038397*c_0101_6^15 - 2402152945868249011849117297449528476127439417002059944894869016549\ 0158032/98153133161578400382804501991556938873136372948804203446919\ 67307115191*c_0101_6^14 + 11374390254505048221422996297365454625882\ 4055662693771807840632113268193619/98153133161578400382804501991556\ 93887313637294880420344691967307115191*c_0101_6^13 - 3189086064709303424240442026255361480137696935916237439872911420432\ 85621237/9815313316157840038280450199155693887313637294880420344691\ 967307115191*c_0101_6^12 + 1719287940825699726663122370607452081503\ 50545038022497825967251900898104428/9815313316157840038280450199155\ 693887313637294880420344691967307115191*c_0101_6^11 - 5276709404557543515978887061471359538322328999940319766777994296096\ 5981538/32717711053859466794268167330518979624378790982934734482306\ 55769038397*c_0101_6^10 + 47735156960718250019405305415411498172540\ 641765899850159984291801518074945/327177110538594667942681673305189\ 7962437879098293473448230655769038397*c_0101_6^9 - 4518098336473763488697239714174313091579216731286020925261636341404\ 1919454/98153133161578400382804501991556938873136372948804203446919\ 67307115191*c_0101_6^8 + 356886374116028441973278079927074404320707\ 3672691356358089397615731244830/89230121055980363984367729083233580\ 7937603390443674576790178846101381*c_0101_6^7 - 4884666703700558850750053572201898149850897087519424618481257120690\ 060907/327177110538594667942681673305189796243787909829347344823065\ 5769038397*c_0101_6^6 + 2461816774480270497250142717151913749691160\ 51575656652758557122832656345/8923012105598036398436772908323358079\ 37603390443674576790178846101381*c_0101_6^5 - 1102056104022972718774557704070352690919869834752067093833906234443\ 059448/327177110538594667942681673305189796243787909829347344823065\ 5769038397*c_0101_6^4 - 2866839263730202009047107796259928295335956\ 6369394228780419388489728078/89230121055980363984367729083233580793\ 7603390443674576790178846101381*c_0101_6^3 - 3236648199602168654495935832692793454024406813442635583903049707240\ 99680/9815313316157840038280450199155693887313637294880420344691967\ 307115191*c_0101_6^2 - 16004584485102952774689270457137317844311480\ 774230828690797726514883945/327177110538594667942681673305189796243\ 7879098293473448230655769038397*c_0101_6 - 6716669962320838512251532904330751990505003934859136559652993120458\ 181/981531331615784003828045019915569388731363729488042034469196730\ 7115191, c_0101_6^31 - 9*c_0101_6^30 - 12*c_0101_6^29 + 131*c_0101_6^28 - 836*c_0101_6^27 + 156*c_0101_6^26 + 6173*c_0101_6^25 - 10987*c_0101_6^24 + 20608*c_0101_6^23 + 23341*c_0101_6^22 - 123968*c_0101_6^21 + 36692*c_0101_6^20 - 108658*c_0101_6^19 + 138393*c_0101_6^18 + 190105*c_0101_6^17 - 39845*c_0101_6^16 + 212075*c_0101_6^15 - 265222*c_0101_6^14 + 149973*c_0101_6^13 - 164211*c_0101_6^12 + 108718*c_0101_6^11 - 42754*c_0101_6^10 + 40338*c_0101_6^9 - 10586*c_0101_6^8 + 5475*c_0101_6^7 - 3415*c_0101_6^6 - 188*c_0101_6^5 - 647*c_0101_6^4 - 94*c_0101_6^3 - 49*c_0101_6^2 - 4*c_0101_6 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.060 Total time: 0.260 seconds, Total memory usage: 32.09MB