Magma V2.19-8 Tue Aug 20 2013 16:19:15 on localhost [Seed = 2000087678] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v3371 geometric_solution 6.54066547 oriented_manifold CS_known 0.0000000000000002 1 0 torus 0.000000000000 0.000000000000 7 1 2 0 0 0132 0132 1230 3012 0 0 0 0 0 0 -1 1 -1 0 0 1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.492195298612 0.872498920303 0 3 5 4 0132 0132 0132 0132 0 0 0 0 0 -1 0 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 -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.602457768031 0.729554495684 3 0 4 5 3201 0132 3201 2310 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.602457768031 0.729554495684 3 1 3 2 2031 0132 1302 2310 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.436313059658 1.081461767200 2 6 1 6 2310 0132 0132 1023 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 -1 1 0 0 0 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.184683871737 0.733744189012 2 5 5 1 3201 1230 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.870525611911 0.784548207867 6 4 6 4 2310 0132 3201 1023 0 0 0 0 0 0 -1 1 0 0 1 -1 -1 0 0 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 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.699578506572 0.357660567889 ==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_4']), 'c_1100_4' : negation(d['c_0011_4']), 's_3_6' : d['1'], 'c_1100_1' : negation(d['c_0011_4']), 'c_1100_0' : d['c_0101_1'], 'c_1100_3' : negation(d['c_0011_0']), 'c_1100_2' : negation(d['c_0011_4']), 'c_0101_6' : d['c_0101_6'], 'c_0101_5' : d['c_0101_5'], 'c_0101_4' : d['c_0101_0'], 'c_0101_3' : negation(d['c_0011_0']), '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' : negation(d['c_0011_4']), 'c_0011_1' : negation(d['c_0011_0']), 'c_0011_0' : d['c_0011_0'], 'c_0011_3' : d['c_0011_0'], 'c_0011_2' : negation(d['c_0011_0']), 'c_1001_5' : d['c_0011_4'], 'c_1001_4' : negation(d['c_0101_2']), 'c_1001_6' : negation(d['c_0101_6']), 'c_1001_1' : d['c_0101_5'], 'c_1001_0' : negation(d['c_0101_1']), 'c_1001_3' : negation(d['c_0101_2']), 'c_1001_2' : negation(d['c_0101_0']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0101_1'], 'c_0110_3' : negation(d['c_0101_2']), 'c_0110_2' : negation(d['c_0101_5']), 'c_0110_5' : d['c_0101_1'], 'c_0110_4' : negation(d['c_0101_2']), 'c_0110_6' : negation(d['c_0101_6']), 'c_1010_6' : negation(d['c_0101_2']), 'c_1010_5' : d['c_0101_5'], 'c_1010_4' : negation(d['c_0101_6']), 'c_1010_3' : d['c_0101_5'], 'c_1010_2' : negation(d['c_0101_1']), 'c_1010_1' : negation(d['c_0101_2']), '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_4, c_0101_0, c_0101_1, c_0101_2, c_0101_5, c_0101_6 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 33 Groebner basis: [ t + 9320327847983532783117414120923514692774158979963278497438125566673\ 8734172517459550675/12795982097937502176284379284683739228267672095\ 5953633560111455089823900347880765053*c_0101_6^32 - 3524221257600407795051695122422893536815015506030496780958790356698\ 06450966937580422501/1279598209793750217628437928468373922826767209\ 55953633560111455089823900347880765053*c_0101_6^31 - 3488098827926809677952123611939963293773922357621817497840101122045\ 791899782097684735337/127959820979375021762843792846837392282676720\ 955953633560111455089823900347880765053*c_0101_6^30 + 1148029021552397387866259830388850753141603438362085621715642093956\ 9273805590749824302291/12795982097937502176284379284683739228267672\ 0955953633560111455089823900347880765053*c_0101_6^29 + 3106281455026398631381187711831322949048610682394637217050929232025\ 7433338158570146361492/12795982097937502176284379284683739228267672\ 0955953633560111455089823900347880765053*c_0101_6^28 - 1446478516417177166346305944214606960642808722505734454961174641480\ 41852024475041920238472/1279598209793750217628437928468373922826767\ 20955953633560111455089823900347880765053*c_0101_6^27 - 1355060251867342529590602413012865247287212134913795348535656855458\ 87405773139918829700777/1279598209793750217628437928468373922826767\ 20955953633560111455089823900347880765053*c_0101_6^26 + 1112479327824166758276348605424180735193272926083496633314312825317\ 462845193395869298162376/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^25 + 7642498194045086093353391272224982238122358644348836664108004292123\ 76499089920808662279837/1279598209793750217628437928468373922826767\ 20955953633560111455089823900347880765053*c_0101_6^24 - 5791531996763582707051394361938861848776650692657976617426892835348\ 461681742210305192179455/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^23 - 5401720689274121505292215771778421563129189551701910146416317800836\ 152882964333483105855989/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^22 + 1953894615557151519512317421234580802527052472094606618504554130112\ 3942405778826019598984495/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^21 + 2393291467802958400211483917606007799211776773754193276794761162530\ 5835534645665474298587151/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^20 - 4034140307581760540412658282576404684768466079238592582744821405386\ 1661086762351022707075760/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^19 - 6144832717139889312773242233119398056473251427400822721873964664279\ 5822436618854228945453123/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^18 + 4815676719760189742765421034034063682081996607471149164130536508577\ 4962127003964774126722332/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^17 + 9638055571612012465192617830691030944435041273876042075728561913672\ 4704169451533381991148582/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^16 - 2797161569958811521704606853601888282529611593522167691926046317039\ 6209393300368755906666801/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^15 - 9556788762199983220717289946662232830096388775888328633579805686569\ 9603470617029281654991015/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^14 - 1300854848161557942275918609649386089537104022651499662024552201497\ 688032442487852058407077/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^13 + 5989019819347040582687287099036894351136307988558177509511360161562\ 2314320524854552519163314/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^12 + 1333473273209530830662498442341195502415860637871738448410003002326\ 5206840287508253988556205/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^11 - 2288341163008630060967847350569648156979700483560131834040851843418\ 7344132033789931350957774/12795982097937502176284379284683739228267\ 6720955953633560111455089823900347880765053*c_0101_6^10 - 8923683794922594241118413107088945754287584407590109945392273336643\ 655806466088123441579401/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^9 + 4756552513473119975646894508996885229583962742055089408640697006391\ 958463623130898072421295/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^8 + 2737217925186882142782681634836084478582477716297075822836606162738\ 740735290665748968798291/127959820979375021762843792846837392282676\ 720955953633560111455089823900347880765053*c_0101_6^7 - 3276003323735571624884071627573136925241172045663976393785417833751\ 68711129013370045230826/1279598209793750217628437928468373922826767\ 20955953633560111455089823900347880765053*c_0101_6^6 - 3873045055076160114066748372810734797638719071329120151295341638736\ 67127690933301003739347/1279598209793750217628437928468373922826767\ 20955953633560111455089823900347880765053*c_0101_6^5 - 4258422051163532632129643839120475620637792207135141335493145045696\ 9192105412215520747555/12795982097937502176284379284683739228267672\ 0955953633560111455089823900347880765053*c_0101_6^4 + 1708857021329904119356538254669064284530748733565400835428790413908\ 3138896424787170977585/12795982097937502176284379284683739228267672\ 0955953633560111455089823900347880765053*c_0101_6^3 + 5707650325788519898805817654149735928541582408022518871374896326374\ 455183380917803221833/127959820979375021762843792846837392282676720\ 955953633560111455089823900347880765053*c_0101_6^2 + 2963684474279846947254062647467519710870849096202682017662669891365\ 76745288444584892767/1279598209793750217628437928468373922826767209\ 55953633560111455089823900347880765053*c_0101_6 - 9034323850796768356919756665605907024723896788290217180121480832210\ 5636519399468694108/12795982097937502176284379284683739228267672095\ 5953633560111455089823900347880765053, c_0011_0 - 1, c_0011_4 + 281375464584243772855007771229333873607388299987823850930564\ 2115429574434019120206/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^32 - 9610015371032681914092063563824582780765572280038049680911022328574\ 966924428877870/312097124339939077470350714260579005567504197453545\ 4477075889148532290252387335733*c_0101_6^31 - 1083197816285089928654282275437011915428443352197660842756716352490\ 91981658525415962/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^30 + 3053388693509816778474592770933919182875413722805939274672585484292\ 41103394374041077/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^29 + 1029877320040711823212249446162782210617887635719149498956699550946\ 663074930165344392/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^28 - 3939142213799602408664322922028228447178111451004017972330731337178\ 178506850271523872/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^27 - 5337368094313697824812387332193884005164912328018723729509595079652\ 382768431080867741/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^26 + 3096013974190115758709263018526633414127693923778251638775044313661\ 7635257301800471896/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^25 + 3330800003604121399007147548733098534860641833385207426111954380158\ 4073903254379798799/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^24 - 1572571640386372974153314685341611177351667728231214589570232939089\ 76623715889338186864/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^23 - 2136251060870294875769685925670668260234029346510160785460679380303\ 19763145209582100480/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^22 + 4843044029397438305871037985063770018520763540360941875928972506881\ 16411543487294765489/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^21 + 8563024370408890996042383063158152580188624020131930527402035031440\ 30733941165314644572/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^20 - 8226663373473652411664494626626117888370733665699847760421540137544\ 49480426798948011860/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^19 - 1985652011465674272643312767275636290936047849140735043497752823710\ 279824518463989105603/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^18 + 5997555342770440240965614822528244159007937356007405225987139744022\ 84593108694123441380/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^17 + 2738455256376638904994613124980670527074299610395260205279641580981\ 429850079400283928861/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^16 + 2175949027801683195622487010547673332843665427610053690186277997097\ 59977886521602397976/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^15 - 2272361519805766763712078251103865141527028554177909318851905955247\ 007858993319009609860/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^14 - 7626956577991729455557478876410870248755232771276904306333742556385\ 41781327542992313934/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^13 + 1093001640619866065852130451277359127043158833710226253254632223838\ 484270029755740272849/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^12 + 6024081516320571718562397866143910224456086277404631953769861840519\ 45585470443344712590/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^11 - 2660811451545081641539795442833088447653030133430011488683118704813\ 21146080490931310970/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^10 - 2218278081493954610877080083418031773701797888372294891411013788212\ 93604311190824009018/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^9 + 1617321220237502915325564383346322268040916408070494205800695347223\ 2499764313884326370/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^8 + 3512560215365775383506131500170864810780843592606101483624845190018\ 2273466541529864047/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^7 + 3968424455376676981110801393525235742420023570331673078538375728179\ 512945699301186852/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^6 - 8154130607602006522998784737446228461380531822144556900939765444771\ 16103813791539911/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^5 - 2785408015356872755393591340355677626605892787697816186347848995046\ 48259559469562825/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^4 - 1297404087198848972168371588147098938580694310643706064322797380561\ 15817104438728637/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^3 - 1750586200263971149712934313582467558390511874847610094777534548404\ 7561606732535091/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6^2 - 4569619773161176373532374204904056700051953128560262506420867112374\ 149285618860956/312097124339939077470350714260579005567504197453545\ 4477075889148532290252387335733*c_0101_6 + 3380248428018351366769911064404343304536587958799695493928168552992\ 9003837304873/31209712433993907747035071426057900556750419745354544\ 77075889148532290252387335733, c_0101_0 - 733921271085427986348347737616445396005174466448185577758676\ 5487776503626182252819/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^32 + 3062199131756114997093319194641335354090622125000138466294862468880\ 9847395057129532/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6^31 + 2630705653818156241949419805400180475132787884208261465339504090002\ 43512246720681729/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^30 - 1008423619446409934237311656269990216547961012799142033509157541427\ 320178255181514634/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^29 - 2065718779401400850699153883421453627179520724485384908801168217546\ 342633493141294176/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^28 + 1224834381100241361115686764635853655385212855277410324039938780161\ 0183910878625740934/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^27 + 6004039002774856718233124040239432622793451942001589468689709480557\ 936747694041732094/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^26 - 9057861070283492255151129847644559491650730976450456607138942303587\ 9726108592359043003/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^25 - 2526113891995399303865043878408270275239537834669108580268999782003\ 5839203405344571189/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^24 + 4707641215462294961444902978828233034730956182553672526395123262140\ 94985901498706287701/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^23 + 2439194476347784800387748390580772321895423102822234544366540642703\ 01211420109745875245/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^22 - 1659748741502332313067848841149128792592354101784495841203984946510\ 904683129082285181714/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^21 - 1256048248442949554931026044117707612671399322170517160021916160561\ 318097588836575195651/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^20 + 3758942617700800895805082653204586191196426114754023665379684772730\ 661706850112173037830/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^19 + 3469050158956810665779100789009230636830831755176807258052336547324\ 003723250595114612544/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^18 - 5347113742836990601019220333316288680787293991439479716044904183479\ 375110921103937148246/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^17 - 5780056450842701518847463181831336096618908693256913922205328074140\ 600709316676585117180/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^16 + 4707729234644197944483029321482927796711910182016877046636137246906\ 706122768137893866714/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^15 + 6158962472673458068684684872078115641059067711620619589303601915697\ 147780040228339738807/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^14 - 2437187223220514045159365723347523178339170925111720910853340497462\ 937019670152456069873/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^13 - 4250409267781842107017431739300154277868599701033484320867827867434\ 088925145546709184587/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^12 + 5717904096338900707628525918010414238233504072262404478241343261053\ 63509038986687557264/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^11 + 1875925467302816044150797732992313788327976951517445040992699192949\ 347032361217573598795/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^10 + 6829682852279559932605716059720640212928669803027002103886787324614\ 9435699086299652118/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^9 - 5001023142351718533902982377881103347961864044246482673452549867861\ 04825800416246261513/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^8 - 7555126412289106250724300158696180665000820291073437628545881844018\ 8965321216090751497/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^7 + 6857192239393292549912252851434279606997334714759892864410087677391\ 7731810099702282231/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^6 + 1690008676557928124789682429103168204168261257965436646639840515419\ 9118815625424433105/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^5 - 2631105999337834214764296872311917177995477787427592459037923499556\ 964148198639421793/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^4 - 1439216851879372480358261333996953876167991304462862150045119828693\ 338254761843237510/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^3 - 1143516000063788196350962324177281149371215783802386709703074337152\ 56759463305843944/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^2 + 3870004513771714649767230397543213535262508183844121093035316020436\ 2004308799129776/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6 + 4044925369943932976794790292444596704907225990520371330736984948402\ 921534871749098/312097124339939077470350714260579005567504197453545\ 4477075889148532290252387335733, c_0101_1 - 283849658244998408819224877475481857382951146956578365587820\ 64744801315799157092025/3120971243399390774703507142605790055675041\ 974535454477075889148532290252387335733*c_0101_6^32 + 1090595438581050924916488363350535512374939644791068823634198993776\ 12382712324407181/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^31 + 1055207366060539144853922200481624870457774328447597484616396135114\ 373205482747937816/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^30 - 3558883935745915312133425823860357511229837621120942955840127356688\ 832492595893886046/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^29 - 9226962573544625757634223242098314010300923567274102913006225482353\ 462048164230386213/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^28 + 4455831914541637975740525661272358772298233119133581831528023822650\ 6466741123854935383/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^27 + 3841529568512924574735403969035442621662033429857240183404794005345\ 0243116023840138948/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^26 - 3404480328217108080929721889433807213172162699402824620908655840584\ 12952641360464691834/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^25 - 2114806148393202214077429061982395651249122774177413967351460316644\ 55610570933204481095/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^24 + 1771436759244853666872290138963441636570392520099860977649027256440\ 102008346241841324690/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^23 + 1534365521071731818653923464260736900001968208048352428862566842848\ 686394088352185412817/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^22 - 6017022136582159410451918400198143245874762043703092121746273290755\ 561242301225522092371/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^21 - 6901220241218142021025732767334987261842942461047714206291202183302\ 629821553325537331050/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^20 + 1261510614774894711332208735358976075775557695641597638840277480102\ 8171113564620255328631/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^19 + 1785193540645880498994659788934129417773694602471947460758824798495\ 7106014862327395256190/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^18 - 1556065458900118675233832878463866810637541828477511877000768034488\ 1606942520379988337134/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^17 - 2816983182670058049994966304216365334393828900958581785413322488443\ 3416682738201463843894/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^16 + 9983503124193321077142075298923084825626644938595165981273289057222\ 042047467037895851381/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^15 + 2813883526563978065257953126919432048151131017304059873596702451622\ 8152431289824898805254/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^14 - 1118761107087671739681957501638098588292358638737336755648699457966\ 908479498063692538351/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^13 - 1782005984519903116476919747753212918362306785988774644273847570775\ 6796779705756800518069/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^12 - 3066775756348888780765588270220956146912276327413613307373763582708\ 951284569895769461807/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^11 + 6928211180150854391786093088879515837478683919593100979741663745563\ 137944518048082295542/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^10 + 2312279747951213883003966665822067916145381395222748727108814289788\ 770037564416244509024/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^9 - 1491525685919573845977906394222714122094096313923147966308918453213\ 374683417747195525142/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^8 - 7371081288484414692935320793847738904216800758905646386668978914863\ 28721080614320097675/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^7 + 1181772631087953868755980894871205668443098563361871323151823913754\ 66693637677139410177/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^6 + 1064782509248848751582851142803297600228263313893214188193744488232\ 41794839297733950894/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^5 + 1012223310293050934339909935266956279514317725729556141736152698224\ 0384204124959870931/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^4 - 4828168463061406253442022345846633433201465112752642957983460649505\ 891876228926655367/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^3 - 1507725515259201361925672384141153965230423385655827472667776460230\ 866460993856526672/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^2 - 7478225283714546400753742155608659567217213664571950132860945313158\ 5825456979958919/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6 + 1776453674144537716979647184068236197553669736132621387373380998084\ 4910781558867394/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733, c_0101_2 + 166234758618264697706585151226384010671525314923581124035411\ 2745951290869632548570/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^32 - 1062050554357069509252796641849718909017473945457897370760066538700\ 7644853534877938/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6^31 - 4814646100635156724362469586778955007071903610914521146019625992792\ 6641238462363019/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6^30 + 3741289939590869927555062568605336062053119274345029558096209787073\ 67843202837770505/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^29 + 1122019873384856824046699031350658507400042330691034213592612029636\ 53365763779340816/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^28 - 4245757749793714758348558970027387738101701475952397444507628656129\ 449589463932209711/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^27 + 3376841964283443663215852504899698011067761092349911876808298134575\ 077206514125422482/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^26 + 2909412769752060206014407275990795088600543576653953115082314499777\ 8440199999645029348/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^25 - 3261331119656212241524547306338193462504493643375906710565715220784\ 4199316646386609942/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^24 - 1627547534357282293140810151318623453387416199546013411491371393283\ 83026081354641318161/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^23 + 1368340510901345735924633509759658907067970481439375369020656905051\ 69821493076190273507/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^22 + 7190776197348294366228312666081856494823288352700854195145551404687\ 59815645459977355284/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^21 - 2614427115125943454467333125446000115338713602290521225217815822235\ 70359138306904113005/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^20 - 2166555057479585174216113080071135227545642749078259107950474035029\ 390600206133756575235/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^19 - 5977400921805425498788872537769804760576397549731110057595293841439\ 5665384114583362006/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^18 + 4135644620456413548731590069612526713314233502715441658347848355861\ 285574736799589749850/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^17 + 1333185592150648605911666546782651799303236982451262841854460240294\ 321139211270660736259/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^16 - 4878653641641554823061840316956158595431369172666974264312491869137\ 472578378501590862113/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^15 - 2790477405687473470983947848684596875208685869234252239370260519007\ 112597779837525705981/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^14 + 3424056573584207061303720520194865089032843604349054096697713644124\ 779390377804948029476/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^13 + 2882360904286739743166288886430163284518911672891579166022413073834\ 567420948753433299689/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^12 - 1244224391999537558793225825679777473879301993145460732355100972505\ 040587730358244647161/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^11 - 1662086592619042493415753360188607960522189163269749955708177955375\ 311946548080140347590/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^10 + 8486339030540517093497390618150900880574330076192759532178973085874\ 2673150066395971170/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^9 + 5192284373984430954933922731257436749868250767026734832948452203228\ 38712463223446116553/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^8 + 9009725470594396107639415277554830614685700875867107718715715362145\ 9260394030346906256/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^7 - 7210917836125016831781427960801202919407409499991367224454513653424\ 1753253446725480685/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^6 - 2614497918378272356750184835388149336389455212832328938856185133223\ 8366000435481280747/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^5 + 7968462566064866338966818937215155608079128299304926084393115533352\ 55642375591658462/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^4 + 1885037514431847168676891194215347359718072712556740804267527717298\ 339441446614769861/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^3 + 3532104159144475441724028791982365310935694037104313053916104351767\ 60176615573927477/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^2 - 1058289130005869544483777639082129956950876090659835685573242540938\ 0196096204629307/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6 - 5503482593714839320468196179751324925778579357366349721171384758894\ 175963051487604/312097124339939077470350714260579005567504197453545\ 4477075889148532290252387335733, c_0101_5 + 823677577199644664811361910734013105293530205428224597143273\ 6552148912430604402377/31209712433993907747035071426057900556750419\ 74535454477075889148532290252387335733*c_0101_6^32 - 3084226489923602850230782135246757695314809239129998868760670395348\ 6037355779408034/31209712433993907747035071426057900556750419745354\ 54477075889148532290252387335733*c_0101_6^31 - 3083664179590903240205979991114140641190778677966700585111670509098\ 37878290786319385/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^30 + 9996300181141486416100893110586683276492252706878481271727005959959\ 15457765704255325/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^29 + 2742717947022716466092901851163633722622779701970478037166001476014\ 806108902813028716/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^28 - 1256743674290691945182999562832722577297700145990374433440279111254\ 9657567755468435020/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^27 - 1207108712967511346867554348037786129306897599846767824541995658708\ 7353503787139868708/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^26 + 9640160777509543430120269519622420231048654512557228855578361579466\ 6188462171600579667/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^25 + 6925606776219796645873663164355803523654798025707663676902551346125\ 1214012702522536397/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^24 - 4978164548961385649296565634439738770393080686109367335153659965819\ 65157593555826138599/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^23 - 4844389951654434591702332938586915274295014801598845191258643218134\ 16419335821495420559/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^22 + 1650463949592658582594818515199696754440998355295611972498048080170\ 818520368501186268985/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^21 + 2102174954616921763766273781204687796823454212433840884129950186766\ 508872903867187649205/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^20 - 3304263253825965256202952894595285484410921232051567247246303828443\ 780655736471308015813/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^19 - 5251172875977929038951720488899412637549384579247919270149508033015\ 804374746009739536604/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^18 + 3737502784823674572026354093811538335451418654216301444265339240928\ 750985365758249287905/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^17 + 7944135215174236822446103226257932279837619351216595567639822644123\ 468630732021847719204/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^16 - 1912196837415507838593915789617811950926598816424204756742973583322\ 223087413575539377246/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^15 - 7514659393724760865462027523097785749849843454882249803073452596437\ 071430833715938032258/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^14 - 3618355233986926407388244829464046213063316087704937992188567443309\ 55480118555068484495/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^13 + 4428519643521860832635029042111585828112304641851352243462180506628\ 754437700683109731117/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^12 + 1085605968956425102964663982383444313947342774089721786443355753611\ 979948282356322323984/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^11 - 1563124636416523972083696941905167810287694497106489944635344146949\ 365609776921122963142/312097124339939077470350714260579005567504197\ 4535454477075889148532290252387335733*c_0101_6^10 - 6246123326085457069256024391562733149552786269958020519033926965599\ 79749622160651470416/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^9 + 2939591478574744116590241795754540111935020073686003342407546827148\ 47990848396234862735/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^8 + 1660084909109459936372957698380959020032408516627095433214589976984\ 58256176604007271099/3120971243399390774703507142605790055675041974\ 535454477075889148532290252387335733*c_0101_6^7 - 1785949102038984218775808661419266225016834249963607918842772564296\ 4772742622040484122/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^6 - 1998782268239325392632489414444535105696574426199401982481580404354\ 0119064708194035552/31209712433993907747035071426057900556750419745\ 35454477075889148532290252387335733*c_0101_6^5 - 2121045806607283761348392233459052595628208642586008129581216822083\ 395831934546221708/312097124339939077470350714260579005567504197453\ 5454477075889148532290252387335733*c_0101_6^4 + 8406647472485403370190033535022807583394460335029642969121564344097\ 55863979538030447/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^3 + 2684413548100614768903974808311382825802168322487990306937425523717\ 41558556946328152/3120971243399390774703507142605790055675041974535\ 454477075889148532290252387335733*c_0101_6^2 + 6547887864646463350413210176053156941763472743314165379261410296054\ 499332651636239/312097124339939077470350714260579005567504197453545\ 4477075889148532290252387335733*c_0101_6 - 6121491342411699721553283438748554744597374579108010149722848559774\ 888417658936196/312097124339939077470350714260579005567504197453545\ 4477075889148532290252387335733, c_0101_6^33 - 11/3*c_0101_6^32 - 38*c_0101_6^31 + 358/3*c_0101_6^30 + 353*c_0101_6^29 - 4583/3*c_0101_6^28 - 1688*c_0101_6^27 + 35861/3*c_0101_6^26 + 29678/3*c_0101_6^25 - 62685*c_0101_6^24 - 201599/3*c_0101_6^23 + 210451*c_0101_6^22 + 881537/3*c_0101_6^21 - 424740*c_0101_6^20 - 2277301/3*c_0101_6^19 + 1410284/3*c_0101_6^18 + 3616288/3*c_0101_6^17 - 547321/3*c_0101_6^16 - 3619918/3*c_0101_6^15 - 183681*c_0101_6^14 + 2256587/3*c_0101_6^13 + 290228*c_0101_6^12 - 817327/3*c_0101_6^11 - 171810*c_0101_6^10 + 43850*c_0101_6^9 + 153176/3*c_0101_6^8 + 8441/3*c_0101_6^7 - 6766*c_0101_6^6 - 5519/3*c_0101_6^5 + 401/3*c_0101_6^4 + 436/3*c_0101_6^3 + 24*c_0101_6^2 - 1/3*c_0101_6 - 1/3 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.070 Total time: 0.270 seconds, Total memory usage: 32.09MB