Magma V2.19-8 Tue Aug 20 2013 16:16:12 on localhost [Seed = 795784175] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v0470 geometric_solution 4.50109449 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 0 0 0 0 0 0 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.453416641809 0.067176014277 0 2 2 0 3201 0132 1023 0132 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 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.244445308261 0.094887927818 3 1 1 3 0132 0132 1023 1023 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 1 0 -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 1.497467130737 0.580891457162 2 4 5 2 0132 0132 0132 1023 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 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.076766076557 0.345689646212 5 3 5 6 2310 0132 2103 0132 0 0 0 0 0 0 0 0 -1 0 1 0 -1 0 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 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.289756641376 1.131377356800 4 6 4 3 2103 2310 3201 0132 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -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.289756641376 1.131377356800 6 6 4 5 1230 3012 0132 3201 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 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 0 0 0 0 1 0 0 -1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.787564338485 0.829471573362 ==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' : negation(d['c_0011_5']), 'c_1100_5' : d['c_0011_1'], 'c_1100_4' : negation(d['c_0011_5']), 's_3_6' : d['1'], 'c_1100_1' : d['c_0011_1'], 'c_1100_0' : d['c_0011_1'], 'c_1100_3' : d['c_0011_1'], 'c_1100_2' : negation(d['c_0011_1']), 'c_0101_6' : negation(d['c_0101_4']), 'c_0101_5' : d['c_0101_4'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0011_5'], 'c_0101_2' : d['c_0101_2'], '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' : negation(d['c_0011_1']), 'c_0011_6' : d['c_0011_6'], '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_0101_4']), 'c_1001_4' : d['c_0011_5'], 'c_1001_6' : negation(d['c_0011_6']), 'c_1001_1' : d['c_0101_2'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_6']), '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' : d['c_0101_2'], 'c_0110_2' : d['c_0011_5'], 'c_0110_5' : d['c_0011_5'], 'c_0110_4' : negation(d['c_0101_4']), 'c_0110_6' : d['c_0011_6'], 'c_1010_6' : d['c_0101_4'], 'c_1010_5' : negation(d['c_0011_6']), 'c_1010_4' : negation(d['c_0011_6']), 'c_1010_3' : d['c_0011_5'], 'c_1010_2' : d['c_0101_2'], '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_5, c_0011_6, c_0101_0, c_0101_2, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 3826240814852951774348755520173728604327809469325592478174681191832\ 7027119946907865021/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^32 - 2979045082888174897183630453458412937086970129888669638933611366868\ 9403622250505369415/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^31 - 2677180538332629777465572905627070770534511446523848291884616750594\ 133619758859560283845/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^30 - 2238998366329115070295957486911672205409468212253363720734833281935\ 103678758776255241189/229170204560462778250579367296167039012580808\ 847631937173915347735554713316499684589*c_0101_4^29 - 1522462142285916439425395343991825481843480156064841693236315439851\ 1142318193079449400114/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^28 + 1554333924363359613138507343300241991168105592994560697391911263260\ 20172514198938168031445/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^27 + 7648319376665302397927032290900971446649072014875684279251945290910\ 7711854421115025699567/22917020456046277825057936729616703901258080\ 8847631937173915347735554713316499684589*c_0101_4^26 - 2918697481615794779481985998206384847069359507046323590491201039118\ 8557771480386108780837/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^25 - 3056807544131573343223391410797732057277894436012406224134297776187\ 062524322296847467276577/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^24 - 6035469484823405049150969084742153263707409803173743684349907372627\ 75902152432786747405924/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^23 + 8349293474232071588240132758483803577346211480667323167113233963865\ 08380338923007636603570/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^22 + 1773051465687963460793590482345637833951222248404726293024208193379\ 8819268203973864493269548/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^21 - 6416169615831812918181531760972223091368960157931663453562699579039\ 59706395741023989597348/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^20 - 3657688337963145849198454869708582947113685540038830411965385400902\ 5483031752460590851175268/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^19 - 2069026871485059986601258133190334031009184042334811612540742713754\ 473680869470432945385076/229170204560462778250579367296167039012580\ 808847631937173915347735554713316499684589*c_0101_4^18 + 5578200251160926276336264120503582948968252987144633031614171033988\ 2965155850857467602192561/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^17 + 4032254849595709184633007725957961020044890233769741582928136524425\ 3053743208570353286528005/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^16 - 5695799652000469427106888062719496652750400558134245448721484974914\ 7973698971639092717670852/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^15 - 5391171317113180167236616405675187837878277706138880618986678946250\ 0900188324148999884384882/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^14 + 4382697113730675977042147375439585944052876497873013068711909735165\ 8462670938335749541850219/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^13 + 4907617156902150096581415066246212048142445003290820501272530528336\ 5032604272326241779965111/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^12 - 2197644835604808445421403600257439032048585852778284995962309944629\ 3523280816650305396206576/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^11 - 2934223227769957926215767552469331210468130714501332927270583687819\ 1426334481675119482813849/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^10 + 5296348644190531013916755132768643737043954714485565853305514363825\ 392090292756517698780398/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^9 + 9401404251535625884350044822264421117232434339718038894918076668270\ 118181497086083383468083/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^8 - 1326057663168091443609281053821430134716034855421963399367136068450\ 817467873249542489533959/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^7 - 2234067072622293117082773757690489450660727495974086819885377875450\ 639743494523028494144784/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^6 + 7051102847514867938400648381556664017548794522965635614014746862757\ 4048989023243714568028/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^5 + 3049885225709155770054523050077046368970397197885090787119275368772\ 37878600524874389256326/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^4 + 2939434188585559474938795872138988712683730804378639058682959774341\ 4464866581205571053678/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^3 - 2345433914421655546040797135312700694137961948824078951060149561202\ 104937988167777553827/229170204560462778250579367296167039012580808\ 847631937173915347735554713316499684589*c_0101_4^2 - 2634076310079397343104600815108065788535861124826477234178416044441\ 870494639259820964060/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4 + 4219446152876784435804046235029412756117382835052823455886477601833\ 07147370769948062221/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123, c_0011_0 - 1, c_0011_1 - 128073201375272301584927531875554780186634738751500093516629\ 9656780528824050482634832/16041914319232394477540555710731692730880\ 65661933423560217407434148882993215497792123*c_0101_4^32 + 3128954518022949557015363445176658175321210427899062350531883630788\ 44930661423333739/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4^31 + 8920472480935260740168936388995658692092790858109586973095089675715\ 7423916836364896494/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^30 + 5725661114214991573452367080984294124860030689901010046834755795278\ 56651432103413330558/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^29 + 8554076649952816731359774673788682772662696128249917417160926331879\ 32462286935364694925/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^28 - 4499883108965412540506153054900594811929965955218760991315650884894\ 116740038163192010496/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^27 - 2000779771591386662763550375826926127968852449787075452821807034860\ 2942604923541616143178/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^26 - 1181543323780985835855796805590759331613723018810495741305729711252\ 2837231495946915784255/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^25 + 8760704054298637363675630651700418298326052048432834347553240305880\ 2733586200557788391490/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^24 + 1852013965768648644252776347523336796398980860547783131450335159639\ 03443391728946723850094/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^23 - 5658623813185811933181286194902844770834655155855870597313207489266\ 3863375554622992585818/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^22 - 5515641385320518151799315738535545876376486730018093284181231235207\ 33370765103823903638650/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^21 - 3181834420431985731641524875455113173676516162091136556843650398495\ 35983317080982282856225/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^20 + 1170286978541556827778903065754489449049631495362719635697828173910\ 47088768954718406067591/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^19 + 8437255909056596558379497971395240028434119299989173349068094819893\ 11641504296893490450485/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^18 - 1027465567706264301404949944809740691455961432290843222923655691974\ 328008588292185228161986/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^17 - 1626017700092835378361300762591697207051436725735658842314359669501\ 233298379484079803967502/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^16 + 5024519601916261735798531720716120944934942758832209960947734329972\ 32261439296930948497004/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^15 + 1489146090902526190908882062805177096465470129591553097437088270745\ 064517891944996039206102/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^14 - 2865348805201837490517733402004006743073382357226750020106459342085\ 85402271944858785037528/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^13 - 1232028954194572908918165441892589270753472859645242134142301310420\ 752734652978752797670482/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^12 - 2054154317563993910947219320547364467955776661178789378893644914601\ 39915587811154829174487/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^11 + 3956505549495415815486434048240344306665973721156499494859641675059\ 31196508275560012314114/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^10 + 1032062831722755672320323814452366117880931396290886763846709186011\ 9587901122814854503353/22917020456046277825057936729616703901258080\ 8847631937173915347735554713316499684589*c_0101_4^9 - 1078669242005826181436566279567391338708986991118890324720842977587\ 55765093381232463396916/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^8 - 2699849829895449849925261492970411416753311490942585879111318937080\ 1289235003828887092767/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^7 + 1471820441320927497802743173392015426581349043467847884686749305899\ 7517394224841337026106/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^6 + 8326388526256840846423628442855124675566439834525589882855710856229\ 02699810744207234189/2291702045604627782505793672961670390125808088\ 47631937173915347735554713316499684589*c_0101_4^5 - 3410359087006240919674948725271561291905487660959694294041877640919\ 6759652411358808563/22917020456046277825057936729616703901258080884\ 7631937173915347735554713316499684589*c_0101_4^4 - 3787475386350673039344109934016978886453037147563719694089351773880\ 91472636544631675380/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^3 - 3267344723825104003824404385470285473873372318251567438553247418391\ 0341548047586448143/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^2 - 4649683214022900168611820100664634924336866915605526544740463577975\ 95586006170309227/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4 + 3169868110619035204042678591290432359808948265306561666256388554355\ 05776233490405515/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123, c_0011_5 + 379949506046900167878987607309166454109291475708294458158754\ 241007944157919898229868/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^32 - 6326116061051823471636130323295187050835847820399804039778625900240\ 60057823335952367/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4^31 - 2626566970945533454427820100846755369805101195073725465782134050029\ 3746939830625360458/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^30 - 1890294873688881336105809793563577043458655044981922917384408725077\ 3960111135223608674/22917020456046277825057936729616703901258080884\ 7631937173915347735554713316499684589*c_0101_4^29 - 1702751035910352377035882697888470845571676735895320107304826261411\ 4573719427067419754/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^28 + 1668538000770976960378756598187444202594149091043896757926010132653\ 702123355033882630819/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^27 + 5728228151193122800210966369579675038691298137458769815867840072538\ 66994898644197667981/2291702045604627782505793672961670390125808088\ 47631937173915347735554713316499684589*c_0101_4^26 - 4683462287418443723287070377570891410931308319630718254109924050423\ 242826224314859915511/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^25 - 3008597940041866402970132393676043890607209936005553607632825844629\ 2384810261091964221335/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^24 - 2552899317380830800775904855215944494956072413727621488458686557809\ 147613468413612236064/229170204560462778250579367296167039012580808\ 847631937173915347735554713316499684589*c_0101_4^23 + 1292007405588065207770027297595801865653354862262285981707252158502\ 4503812291557768954737/22917020456046277825057936729616703901258080\ 8847631937173915347735554713316499684589*c_0101_4^22 + 1328083674974636523476773082555792816861363779275000165603426414550\ 21496798577854713175373/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^21 - 1321874369749195479063292113789001953960250703834670656841085621589\ 65231339841636834364369/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^20 - 3536947818798646088001383390478016942816025787213048666861032581890\ 59207317779397248479390/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^19 + 1422727143596901784181404976485279239591698230353754721944250324733\ 0561380799033107020072/22917020456046277825057936729616703901258080\ 8847631937173915347735554713316499684589*c_0101_4^18 + 6213171152517764957717643617135581566615057072005870224941863706187\ 97525039544097529486304/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^17 + 2841050710507539866855169795411271758017735048866619044873895995786\ 2007030393449056515341/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^16 - 7800805070373813360481271271134512894575823711257975956634053436797\ 51038675587803209028007/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^15 - 1808389828177731705957111063640146282551282447132443003056076299607\ 64377279361709706306195/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^14 + 6744141769058125231620894636280397691672784373284340213265515067898\ 30770643735623709795288/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^13 + 1994564501822405138312133687671908321118103583148602450145549075144\ 14221391564877913596341/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^12 - 4317867114639403226405571303476040778238145360925414281036148220292\ 81581248666478402754930/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^11 - 1650729111796617362288611256448915595696924319599069365021096294290\ 47304439705207277752888/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^10 + 1446122668917285742037233911991633158728322830648692724530953845507\ 09812513686711369890517/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^9 + 5047533304378175020237337806708870278383198481315076839134390125939\ 0188984575534208142011/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^8 - 3807326804482813112171294067164905710672859981837344802500433310264\ 6730267539347092744286/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^7 - 1264062886171137033025116766175179269650381883926714416126067513456\ 3888713115982889846606/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^6 + 5122913903509543816039761803572445151462007539810924645123601992553\ 410132430717797938476/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^5 + 2081718826194235037606262668296280449419937557251062053665447003121\ 567558313425864112898/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^4 - 1771507921147246856697607451947665082822606111917022200657560312935\ 75318649430603587024/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^3 - 2150278268531258837139693081834834281100551856672774922781933187321\ 9712908461079630085/22917020456046277825057936729616703901258080884\ 7631937173915347735554713316499684589*c_0101_4^2 - 1881189193840477060827456357712610778041849060688903537987304432268\ 89515894055852256/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4 + 3097549767949546550548130130084489516379415875357643524056050986363\ 704090343855783247/160419143192323944775405557107316927308806566193\ 3423560217407434148882993215497792123, c_0011_6 - 413626777587803013794302652171650166556161308179967535426331\ 184628876067702675370021/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^32 + 4859959518608106568233086011025276281766325307985147284973881013426\ 48771575208497309/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4^31 + 2866212656503001269490446821068538520908190188032256128368518958523\ 9038934427922488688/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^30 + 1581695926821433334986199141708194272718441722043558434497194528618\ 76892562996830288707/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^29 + 1540362852871964484930743902558390780760641031508152034523040623340\ 6813350769382376742/22917020456046277825057936729616703901258080884\ 7631937173915347735554713316499684589*c_0101_4^28 - 1690000822480741716643813032420717324860072224413615400209734646958\ 696070787928208368329/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^27 - 5092617455116430286543474599841506151995112819130726436188775335987\ 346804790284012834015/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^26 + 2853075763863587817098439451251021436818901344776729118151754978663\ 79713303700483784524/2291702045604627782505793672961670390125808088\ 47631937173915347735554713316499684589*c_0101_4^25 + 3120665125960398319432793551303950050158333494345382470817492669954\ 7852588116903838853359/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^24 + 3357219130037635305179534123246359335433096146244001718213633064062\ 0696453616800513554940/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^23 - 7048377694839627232584209457016894716879443513863502273805471823159\ 7378477407194266252878/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^22 - 1567408253995301643934162254421695073272203725207448291456723689211\ 72713218184544462353646/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^21 + 5702089752514171491149605136848259072214262209330574003524329426733\ 2060103318513657117642/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^20 + 3438718469899791582526684623650881705094152231575464296853020572429\ 86609355721506481534239/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^19 + 2782680954549029377490120563859798998594215595718154416510628328896\ 2706079230945947094134/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^18 - 5560224286949891249630412013157901213355796906985409875471625072161\ 57806787687218484950463/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^17 - 2098274329052164404029082109075412020486581744084434673491050949382\ 74055490822309235709160/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^16 + 8683304214683446217835272668571311885554552694692327662474461870900\ 4848672198254179250027/22917020456046277825057936729616703901258080\ 8847631937173915347735554713316499684589*c_0101_4^15 + 3064860839842269090500626426471794641998739335871642688442346638388\ 38170648322054527356465/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^14 - 5052637433992002219609331263400125155551056922294798791853031138122\ 38363197175774735021806/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^13 - 2902396333236663919503340550567740350179148304725547071419778852602\ 55340800517719342851877/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^12 + 3981719978883398424397586923274146348713789868059237750794524879038\ 3513250360039309502375/22917020456046277825057936729616703901258080\ 8847631937173915347735554713316499684589*c_0101_4^11 + 1699204504643318939582588843652446262313506885619329262250379347271\ 84003508864169186903768/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^10 - 9088825775722021990090690336594937279426677744985680441951556624741\ 7755077715488945585119/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^9 - 5103047436142644273847307634771949767961187962162690825189152691290\ 0248308588113855764034/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^8 + 2321551526216601019986596342801269766475768287883611711184307715605\ 5811478069846383917941/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^7 + 1158487539838619161144524651575883332632524744841465709575623123046\ 4634681460242712761856/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^6 - 2846421358334677384309993273807316026239829744196016264753793914777\ 973177486283246520005/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^5 - 1638525265585467151976809555710199854463212857980488366309170385055\ 176774345056158348382/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^4 + 1009610875350499925882705945598939329779098780724840414895686183797\ 3461321321573462228/22917020456046277825057936729616703901258080884\ 7631937173915347735554713316499684589*c_0101_4^3 + 1135054852794363343508740281652928929779792186298973765407294354963\ 05866413807748858868/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^2 + 3024903079659858271792920803305426288276171839093550137452868798028\ 59736867350666900/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4 - 2752253399021693717432200893458919443962625023982293180598031696332\ 712798768722789790/160419143192323944775405557107316927308806566193\ 3423560217407434148882993215497792123, c_0101_0 - 916956880209012570621363562507894085328018697033695681862626\ 17263310335229360908928/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^32 - 3875174266462985665299636790553519197594251521171934138035122305440\ 46165732836074344/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4^31 + 6445894824334923664077418964966780979853249085254792535080829138866\ 228724455221377477/229170204560462778250579367296167039012580808847\ 631937173915347735554713316499684589*c_0101_4^30 + 3246817248911878043196718156303246255347938053519565325529404291575\ 18809299925498033140/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^29 + 6525879466966746443777436628234367654764044997867819039938680925032\ 22702271474918947470/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^28 - 2009205420091316759023258535030499660035904225548532171495634659770\ 291741497690194829869/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^27 - 1208058640273761302632184227685531006322126246700485508849775922698\ 3767558582184882640050/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^26 - 1339132410083854608342020144903736583588064529215118039125754701821\ 5557354155511636525731/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^25 + 4283125846624353228312583457385362155657922360615703774065252468346\ 7964536006456080375956/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^24 + 1311164577096556721070791713810535505608290272448232680590017904218\ 97917644939294784486906/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^23 + 3108762895323939189537041989880925492424240741122981538557685227376\ 2821855186473876882555/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^22 - 3331051423935372575846773190479283669020584796577360921847337484709\ 56439520050312081790654/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^21 - 3700205367655803239524776868638589126733136789675006291868318067030\ 58991277394277515321997/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^20 + 3835737531247463799602251680278365018899515977713033037708831770958\ 40212788661304647134898/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^19 + 7995282236099814464206992667749501948997834602099497553590880045674\ 83587344046409648992106/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^18 - 3373927362368529393402076596492211528383013916673470187525300346332\ 94927914403254193648748/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^17 - 1946428926082491832844341865668282840843792415295097155288091363032\ 08347319229643182424006/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^16 - 1872750823235375777379600049926774156853678389395938353033594912322\ 26641731001052254423095/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^15 + 1207792575954892611563589481131177349119743870519770119092483879733\ 345882333806291445208166/160419143192323944775405557107316927308806\ 5661933423560217407434148882993215497792123*c_0101_4^14 + 3053555528006576426523913645570846802290437225704553285144164180583\ 65815646628487930980600/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^13 - 1392757553621005598396579517058847133713327109313819195867762439428\ 77421328597568578787083/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^12 - 4916773988224546904346633997305346297653349861727284051274606537855\ 72218178739264417381258/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^11 + 3114444786337133830290791294521036571593203092378687745873579076960\ 82983640266834278253071/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^10 + 1863638586723165420556897393905261216489445442753413480067067992507\ 48295676446037942462472/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^9 - 9041498028691358997260989337241651809261171391280023664519454559337\ 5140802589332876467666/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^8 - 5397676948736818112448385340897749841827593291030496769146929964732\ 5778385457000565342001/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^7 + 1376427728440175353896799624750424586646594405887273555249259802253\ 5763386988977136772587/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^6 + 9696809237727968094744857243879713943229459220011731691984013250751\ 956518924456023524809/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^5 - 2554775732028928646579671803623670759214520055968209964659427025556\ 87665816445048034744/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^4 - 7393780812981903236324368730511547129582209013839365582744378989685\ 40772947591748222721/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^3 - 5464046554689302996813582996423131702851500770274086132410264934638\ 4402126770204123883/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^2 + 2024435328850442373767293491458595691850667923708866094521291569226\ 3450666610925764905/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4 + 5839878914767097338905769814765916119023308566741557139225295610401\ 25805422173127543/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123, c_0101_2 - 109215850686956082767293352084872592630587415856903186044813\ 553381065160864691403654/229170204560462778250579367296167039012580\ 808847631937173915347735554713316499684589*c_0101_4^32 + 2556655744628620470818202968604539898944022466746904883613146220387\ 56839203810406794/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123*c_0101_4^31 + 7598298503253138103919311627252488972769282979112734439673264162013\ 554991712213152413/229170204560462778250579367296167039012580808847\ 631937173915347735554713316499684589*c_0101_4^30 + 3371139996396532952560597032718301978121757381348862085199334830435\ 77247744787052034821/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^29 + 4827767385253710479138063843130750866705506141170180429317498525765\ 35252125271481179379/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^28 - 2720416979395395131244335229762951990000920140860227453379113118483\ 261724239089326297648/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^27 - 1171719975500129010176219523993768540230623637842999453661839492021\ 6624895823415049526589/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^26 - 6171096838676384042715980791775290398902880171436538500755037186252\ 689920085739378952244/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^25 + 5268599507523193329591918700329867648876475775137222367635383306151\ 6775928313115787428152/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^24 + 1068756035669551234617158592851712271326472107251988793291533923529\ 12917734649850725430873/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^23 - 4089141947536901108527647516855448817106439367518430941621210708356\ 1245109766869798376041/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^22 - 3276616951860601466689652213339944681793137107240064534290806387808\ 35168785360040851837876/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^21 - 1722870066274426625336269653995184405577038066056652651388717450295\ 57678195484775639314735/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^20 + 5010100947249625304434379701555838572420106361623950100158561745339\ 47947497797473839154196/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^19 + 4866781957422059848634891467433951575431933756269453840942536268939\ 58477474866098644863664/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^18 - 6347344769767326711138660684809082550487398127674092586036003611153\ 50408047011583166993216/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^17 - 1366988857455125853593763939334873059981702072162188070133826339696\ 98295666512403901907781/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^16 + 3373038952565894513267510630223349253257554806779294359182969452229\ 53651713754563129802724/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^15 + 9120468172254800706619994943291623877797833541424133356822416943293\ 33974834880186137781449/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^14 - 1794889455223139697198422606617853832687522482754152058535022447131\ 33836061034106555428192/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^13 - 1088116627184946306778410822165563180848364634509799884400158155527\ 22604305149279151221720/2291702045604627782505793672961670390125808\ 08847631937173915347735554713316499684589*c_0101_4^12 - 1186096971421275507275333926951551497830347936219030910904873026272\ 46661308932771267280954/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^11 + 2773569878821747862331392479257565222895569594055434269991952380759\ 11894050506638400667428/1604191431923239447754055571073169273088065\ 661933423560217407434148882993215497792123*c_0101_4^10 + 6200778699329177948784167079591735943606801080454398132193543399470\ 4366798266316919047224/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^9 - 7785215093276126739687312589452536261163443200827864424535009712624\ 8052968943699028546763/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^8 - 2218627175924337994429914795021726899633212995129487530646242111455\ 2571258610775941335059/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^7 + 1352192494015781209984707246340643859718663121712267206507918619513\ 4673304373993082472073/16041914319232394477540555710731692730880656\ 61933423560217407434148882993215497792123*c_0101_4^6 + 5218117837408224474210137124780526174806074485396041293103489631636\ 357363663271959745201/160419143192323944775405557107316927308806566\ 1933423560217407434148882993215497792123*c_0101_4^5 - 8154359266683218555375724084258656332946781579345821751803775119113\ 15132999206186334950/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^4 - 5153863746687787100799289186428821782879084480566094202577937745642\ 53774380671661993088/1604191431923239447754055571073169273088065661\ 933423560217407434148882993215497792123*c_0101_4^3 - 1579950428441859291675466141010366329595939024137665261327071022009\ 7488376212019236534/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4^2 + 1637200097137507089835744778943768811369427988102865823195451782865\ 7549809391717427687/16041914319232394477540555710731692730880656619\ 33423560217407434148882993215497792123*c_0101_4 + 7647168099909608018357288223510878319849599127422665803463156939291\ 53379287315459503/1604191431923239447754055571073169273088065661933\ 423560217407434148882993215497792123, c_0101_4^33 - 70*c_0101_4^31 - 464*c_0101_4^30 - 757*c_0101_4^29 + 3479*c_0101_4^28 + 16670*c_0101_4^27 + 12021*c_0101_4^26 - 70638*c_0101_4^25 - 163856*c_0101_4^24 + 28715*c_0101_4^23 + 482711*c_0101_4^22 + 339644*c_0101_4^21 - 703185*c_0101_4^20 - 883269*c_0101_4^19 + 828596*c_0101_4^18 + 1650841*c_0101_4^17 - 320060*c_0101_4^16 - 1619240*c_0101_4^15 + 64311*c_0101_4^14 + 1350040*c_0101_4^13 + 320595*c_0101_4^12 - 546427*c_0101_4^11 - 170060*c_0101_4^10 + 161464*c_0101_4^9 + 55521*c_0101_4^8 - 31338*c_0101_4^7 - 12853*c_0101_4^6 + 2644*c_0101_4^5 + 1591*c_0101_4^4 - 11*c_0101_4^3 - 84*c_0101_4^2 - 4*c_0101_4 + 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB