Magma V2.19-8 Tue Aug 20 2013 16:18:08 on localhost [Seed = 4240269767] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2357 geometric_solution 5.73018294 oriented_manifold CS_known -0.0000000000000001 1 0 torus 0.000000000000 0.000000000000 7 0 0 1 1 1230 3012 0132 3201 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.473408111358 0.222032926051 2 0 3 0 0132 2310 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 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.795121102569 0.590043411003 1 4 3 5 0132 0132 3012 0132 0 0 0 0 0 0 0 0 0 0 0 0 0 -1 0 1 0 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.895500992513 1.098870706683 5 2 4 1 1023 1230 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 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 0 0 0 0 0 0 0 0 0 -1 0 1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.895500992513 1.098870706683 6 2 6 3 0132 0132 2310 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 1 0 -1 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.474185558918 1.348871725538 5 3 2 5 3201 1023 0132 2310 0 0 0 0 0 1 0 -1 0 0 0 0 1 -1 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.697511271949 0.837656363012 4 4 6 6 0132 3201 2031 1302 0 0 0 0 0 1 0 -1 -1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.449516494805 0.153105370682 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : d['1'], 's_3_0' : d['1'], 's_2_0' : d['1'], 's_2_1' : d['1'], 's_2_2' : d['1'], 's_2_3' : d['1'], 's_2_4' : d['1'], 's_2_5' : d['1'], 's_2_6' : d['1'], 's_1_6' : d['1'], 's_1_5' : d['1'], 's_1_4' : d['1'], 's_1_3' : d['1'], 's_1_2' : d['1'], 's_1_1' : d['1'], 's_1_0' : negation(d['1']), 's_0_6' : d['1'], 's_0_4' : d['1'], 's_0_5' : d['1'], 's_0_2' : d['1'], 's_0_3' : d['1'], 's_0_0' : negation(d['1']), 's_0_1' : d['1'], 'c_1100_6' : d['c_0101_3'], 'c_1100_5' : d['c_0011_3'], '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' : negation(d['c_0011_1']), 'c_1100_2' : d['c_0011_3'], 'c_0101_6' : d['c_0101_3'], 'c_0101_5' : d['c_0101_1'], 'c_0101_4' : d['c_0101_4'], 'c_0101_3' : d['c_0101_3'], 'c_0101_2' : d['c_0101_0'], 'c_0101_1' : d['c_0101_1'], 'c_0101_0' : d['c_0101_0'], 'c_0011_5' : d['c_0011_3'], 'c_0011_4' : 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' : d['c_0011_3'], 'c_0011_2' : negation(d['c_0011_1']), 'c_1001_5' : d['c_0101_3'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : negation(d['c_0101_4']), 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : negation(d['c_0011_3']), 'c_1001_2' : negation(d['c_0011_3']), 'c_0110_1' : d['c_0101_0'], 'c_0110_0' : d['c_0011_0'], 'c_0110_3' : d['c_0101_1'], 'c_0110_2' : d['c_0101_1'], 'c_0110_5' : negation(d['c_0101_1']), 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_4'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_0101_1'], 'c_1010_4' : negation(d['c_0011_3']), 'c_1010_3' : d['c_0101_0'], 'c_1010_2' : d['c_0101_3'], '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_3, c_0101_0, c_0101_1, c_0101_3, c_0101_4 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 42 Groebner basis: [ t + 1380098570688214668288402419439133257133128447227036675061288960577\ 4222798060818601/70297046480898905411739899344922064602786588056328\ 949180884347315520905175588960*c_0101_4^41 - 2621575512812174190477398300801427355108307486874873949932716530070\ 466364353564449141/702970464808989054117398993449220646027865880563\ 28949180884347315520905175588960*c_0101_4^39 + 3317176939309014657876016099878248283760105793092935097279938496847\ 8282802870158719303/70297046480898905411739899344922064602786588056\ 328949180884347315520905175588960*c_0101_4^37 - 5446900204162649757298008965832382193537564447742110369060725542578\ 97261021492835566767/7029704648089890541173989934492206460278658805\ 6328949180884347315520905175588960*c_0101_4^35 + 7211328565758096402260325178019096524072791817490294259399572079210\ 649253423449205905489/702970464808989054117398993449220646027865880\ 56328949180884347315520905175588960*c_0101_4^33 - 5210136290464011807422415741672922842978129472085862528001469570908\ 4927343972320091753149/70297046480898905411739899344922064602786588\ 056328949180884347315520905175588960*c_0101_4^31 + 2123132086146143608475311352768020354142298128703423229504802340393\ 86708537744805393044351/7029704648089890541173989934492206460278658\ 8056328949180884347315520905175588960*c_0101_4^29 - 4983415357563282419328958406735312415758959456368965134493790628302\ 90994890066128818277571/7029704648089890541173989934492206460278658\ 8056328949180884347315520905175588960*c_0101_4^27 + 3066064278418181192164881359053604491944581715768641801111918833587\ 94883206467010703166381/3514852324044945270586994967246103230139329\ 4028164474590442173657760452587794480*c_0101_4^25 - 1521397205176515222102652596374927344175520605603889467435591251117\ 53091732730534389224557/7029704648089890541173989934492206460278658\ 8056328949180884347315520905175588960*c_0101_4^23 - 6035079071613862298837522568828740189615874694609242918552574099254\ 12244659017382991056171/7029704648089890541173989934492206460278658\ 8056328949180884347315520905175588960*c_0101_4^21 + 9748335345287921592707908124745332259567791016141816944734905958899\ 0096618132070490506777/87871308101123631764674874181152580753483235\ 07041118647610543414440113146948620*c_0101_4^19 - 3174756787958568990741832686342412075493151432356859259459471499051\ 693619091191750689919/878713081011236317646748741811525807534832350\ 704111864761054341444011314694862*c_0101_4^17 - 9526030096004859423631563682571312514790844541479415943424257835700\ 8701532299636570471183/35148523240449452705869949672461032301393294\ 028164474590442173657760452587794480*c_0101_4^15 + 4866648307426651049190105908562052292771683585084959045730405849021\ 6834731561157148085011/17574261620224726352934974836230516150696647\ 014082237295221086828880226293897240*c_0101_4^13 - 6856139248397539964762033796185569519862163034076013572707912655553\ 5363202133729651530121/70297046480898905411739899344922064602786588\ 056328949180884347315520905175588960*c_0101_4^11 + 1456381633088813264347167799659013147345914299777446278861411006880\ 5399408684626515096463/70297046480898905411739899344922064602786588\ 056328949180884347315520905175588960*c_0101_4^9 - 2137134305363761074054617330191692518892061741115906873949898662480\ 997668093941004385739/702970464808989054117398993449220646027865880\ 56328949180884347315520905175588960*c_0101_4^7 - 1398602779976303388118716332693547670045891292849787835648584045396\ 9476625034826838997/35148523240449452705869949672461032301393294028\ 164474590442173657760452587794480*c_0101_4^5 + 8483075437051480990490113007593901479094407559477277528224430307333\ 32544586246853113/3514852324044945270586994967246103230139329402816\ 4474590442173657760452587794480*c_0101_4^3 + 3273640183152374944489341102220988698997191052787149964674641636920\ 20359516504504409/7029704648089890541173989934492206460278658805632\ 8949180884347315520905175588960*c_0101_4, c_0011_0 - 1, c_0011_1 + 125203199104762893686150675227880749420434325034584041692130\ 23086751940111104/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^40 - 2378035092090583092117474289923387336112908411452400943534226941954\ 084963101022/439356540505618158823374370905762903767416175352055932\ 380527170722005657347431*c_0101_4^38 + 3004218808824180128808827212400058108957563028157208413362739562317\ 0804315739938/43935654050561815882337437090576290376741617535205593\ 2380527170722005657347431*c_0101_4^36 - 4934985306064885857540780200777016141520481642094646806683076152799\ 11918398962766/4393565405056181588233743709057629037674161753520559\ 32380527170722005657347431*c_0101_4^34 + 6531514107909008282819571069052480244394150711500394866380112877212\ 677743359839744/439356540505618158823374370905762903767416175352055\ 932380527170722005657347431*c_0101_4^32 - 4712592580264630983027200384168233659833138463745473233363605589923\ 7902564874154050/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^30 + 1915996650154067380863386253640015111785194316718852179757931568372\ 37101641448653859/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^28 - 4480035723098962037513993234536799678160717519770990684214523062172\ 31992785434811290/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^26 + 5468055205165470581647716639931726297525061293905363821479517282920\ 16034280736350658/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^24 - 1265741756192175751096045030771751327261663310162762619004872977811\ 83441557226917623/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^22 - 5499045671218599379109780274970230262949976421692416734579799658350\ 40169903502088948/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^20 + 6957518522002193483892987854606565506103329989264061917254389998288\ 48779785237075201/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^18 - 2159609642867225190656643726375872624790375311068534191563593059230\ 35452785555173614/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^16 - 1771155701730785767673212617579800552182470787761862295224959037101\ 10204253686595181/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^14 + 1728763599772208490762165066197239603717013014637208308050131080850\ 79176755388810125/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^12 - 5868377578651456486059656214977187668045542745137638613952391953401\ 0422672087636561/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^10 + 1200747618045822405129546559424203630185296823650280417321799286734\ 9899026804324124/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^8 - 1672172374695851356107751918599276944081666939610348442255370232239\ 439072370466602/439356540505618158823374370905762903767416175352055\ 932380527170722005657347431*c_0101_4^6 - 6386045901949958281734558540550908121081455425434596033224646313983\ 3009155602747/43935654050561815882337437090576290376741617535205593\ 2380527170722005657347431*c_0101_4^4 + 1545814548133623070685390857680476674418516413340519539710148989057\ 975149642828/439356540505618158823374370905762903767416175352055932\ 380527170722005657347431*c_0101_4^2 + 3616111294777147542697874636126174396726189310642365825915742619455\ 5610698076/43935654050561815882337437090576290376741617535205593238\ 0527170722005657347431, c_0011_3 - 307865611386843076942506108829223072103582011048132113014530\ 1381438233828305117/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^41 + 5848022981813360354632853833638011480053307907037366450375928392582\ 27178535718281/7029704648089890541173989934492206460278658805632894\ 918088434731552090517558896*c_0101_4^39 - 7398676510905882321335536566611003805489239089084395084224985268403\ 803068143213651/702970464808989054117398993449220646027865880563289\ 4918088434731552090517558896*c_0101_4^37 + 1214926898625282071725045010375305066521751355692047136385235414076\ 08125050337978443/7029704648089890541173989934492206460278658805632\ 894918088434731552090517558896*c_0101_4^35 - 1608436159813437669931906187119449890468636397164259247360675917912\ 892420755787157877/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^33 + 1161945310162538598292320817995323979769284781787213184393863245352\ 0383062363357868017/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^31 - 4733975175269783007224619097156596412576917117427401488787054580499\ 6874883629645107947/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^29 + 1110784060845356016202889508090776164177441876152349557360967765493\ 06333403635734618991/7029704648089890541173989934492206460278658805\ 632894918088434731552090517558896*c_0101_4^27 - 6829274729110139705878833398033085971248248550890640035418049889412\ 0380668520393993361/35148523240449452705869949672461032301393294028\ 16447459044217365776045258779448*c_0101_4^25 + 3368933221285276158421026684352726470209626303821313917882776854347\ 4893341051630863489/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^23 + 1346794506155371504781019358982996811891453034310615856424990333942\ 94163067150194578279/7029704648089890541173989934492206460278658805\ 632894918088434731552090517558896*c_0101_4^21 - 2171409589223781758416153927052426761831581255152422601902463486350\ 2024272594991800505/87871308101123631764674874181152580753483235070\ 4111864761054341444011314694862*c_0101_4^19 + 3521439562805712817866194453024078990680217468073337730693123398041\ 255040753087336553/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^17 + 2129583263564744642049665288930484506669276319386302387785437090878\ 6952146272436807987/35148523240449452705869949672461032301393294028\ 16447459044217365776045258779448*c_0101_4^15 - 1083597863900055220906886583425827158702641817868854241634385552806\ 8976065697210903827/17574261620224726352934974836230516150696647014\ 08223729522108682888022629389724*c_0101_4^13 + 1521962027523755558732433706923039330372723455452415665962174969106\ 1868418006503055389/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^11 - 3223601589508803826172890942072950821458680484601265877392109005731\ 026073631083449067/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^9 + 4704893217702667879803246209688378130474171557059275855383381332969\ 39589424483379159/7029704648089890541173989934492206460278658805632\ 894918088434731552090517558896*c_0101_4^7 + 3752546931588919317788675921755084077799058290793963951944513084109\ 548982288540553/351485232404494527058699496724610323013932940281644\ 7459044217365776045258779448*c_0101_4^5 - 2182422904623380671031541409625903740565823935825516647447939696245\ 49456458121813/3514852324044945270586994967246103230139329402816447\ 459044217365776045258779448*c_0101_4^3 - 5024404965465931192776368756223870489315468604267321127395023006956\ 2821409788381/70297046480898905411739899344922064602786588056328949\ 18088434731552090517558896*c_0101_4, c_0101_0 + 237088340771092784940668117904630254911884173067401488576222\ 549039069393057242/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^41 - 4503386497064859405355524169529196753226200561193171196822501911808\ 3108271822933/43935654050561815882337437090576290376741617535205593\ 2380527170722005657347431*c_0101_4^39 + 5694028281513873131021965773404813708643916447988774358313431790952\ 42413323288656/4393565405056181588233743709057629037674161753520559\ 32380527170722005657347431*c_0101_4^37 - 9351467945450169556696152530184455239545852427274061337580926501439\ 144756750592199/439356540505618158823374370905762903767416175352055\ 932380527170722005657347431*c_0101_4^35 + 1237887154573250049422979328685817409892074634143510948443610623081\ 43400965500132184/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^33 - 8937911033472711248969431357078665178670408658410032760245553576040\ 10454665892980642/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^31 + 3638203243495869895693037868609137975360829551422815934474999652966\ 042981655449810937/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^29 - 8523651990598183545681108849745187505902698961045299836859557506347\ 351025586016126522/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^27 + 1044611095226487951904918604830359198150440097570009826361518338910\ 2626253308862403508/43935654050561815882337437090576290376741617535\ 2055932380527170722005657347431*c_0101_4^25 - 2503548450896133079467052108932769474724330392209795585497139614863\ 459355487515949014/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^23 - 1039784105623371572400308184466713217872226550915586214626625251787\ 9537581504124939534/43935654050561815882337437090576290376741617535\ 2055932380527170722005657347431*c_0101_4^21 + 1329274801636715426883104887197714738976417986650897199677905425144\ 5434651082414966716/43935654050561815882337437090576290376741617535\ 2055932380527170722005657347431*c_0101_4^19 - 4223385987094672851915443301960626427076602740496945305587790294679\ 330136473645657169/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^17 - 3321741007581226262225590649643074741450955884885502420977413822897\ 140402939307312236/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^15 + 3312325542091528877204067823785772845245830051874323521825364399033\ 124088603928516703/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^13 - 1142813530693938031269110515020813586983914815380563883089714390066\ 601839463739803896/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^11 + 2371483866410835049835578722938573623784269163836897456596090110054\ 28421699849505692/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^9 - 3374543154279130244538458726501167269040131346555903404997235329239\ 5699073101783651/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^7 - 9610440139830188472432812079490800380953128318931621381547209368146\ 06857599010771/4393565405056181588233743709057629037674161753520559\ 32380527170722005657347431*c_0101_4^5 + 4190850913291027563115134350844650742887632864472505543621124681470\ 2742823084236/43935654050561815882337437090576290376741617535205593\ 2380527170722005657347431*c_0101_4^3 + 4346087873801876926159322263156512455271402883703962679317454896201\ 652045612239/439356540505618158823374370905762903767416175352055932\ 380527170722005657347431*c_0101_4, c_0101_1 + 254481930933890431532971296272706121549297982500900382418610\ 39587948607349955/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^40 - 4833545274194989084770727971854507743985870185768808023556725146104\ 007912932801/439356540505618158823374370905762903767416175352055932\ 380527170722005657347431*c_0101_4^38 + 6107494916371293925972251683335042238974768030497170181689322191963\ 2652841543701/43935654050561815882337437090576290376741617535205593\ 2380527170722005657347431*c_0101_4^36 - 1003214501338592739411699781729004181755936274978698036974904047805\ 138543174068729/439356540505618158823374370905762903767416175352055\ 932380527170722005657347431*c_0101_4^34 + 1327818792230987453496153297397472841992660689950551623464654800408\ 0171327917491236/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^32 - 9581932715103866310152906976713979519784587827342542336667681741867\ 1771570574455448/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^30 + 3896692875167878826788233799303869734538142291363881707254490276582\ 04838152209540095/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^28 - 9114846113002555602431859344444682434434709365843879238665347643149\ 93268679315427548/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^26 + 1113308949740452455072558403211263337314318384498181772585727138124\ 207550289390374987/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^24 - 2591387964113467165318173964323824798291448945521775984676235543142\ 50504914180276780/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^22 - 1118078501011021310630595677606051705152345747092702268048484891511\ 141397534745814574/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^20 + 1416918087203347921750809342385905021827699975111462171290877711931\ 034007840438763915/439356540505618158823374370905762903767416175352\ 055932380527170722005657347431*c_0101_4^18 - 4411743162922693736300964761364867873997977603247431282471508877280\ 33255689834398389/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^16 - 3600749747292522206103794708088601356731965129284900053685894692691\ 56538805205587767/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^14 + 3523133769874154271249380999935442654918241134005701600421003770544\ 91579348130410337/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^12 - 1196947637527153744981135697648606548905409764188219169290934713363\ 19466764670738307/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^10 + 2447885516750870234265735834836221622555131037335877310647279426745\ 3421386110418048/43935654050561815882337437090576290376741617535205\ 5932380527170722005657347431*c_0101_4^8 - 3419769153603344159565969964053571029498294090744521573422190955258\ 980662764186528/439356540505618158823374370905762903767416175352055\ 932380527170722005657347431*c_0101_4^6 - 1307510222111218845012619480791832519155494880978853229170454247477\ 08954632272382/4393565405056181588233743709057629037674161753520559\ 32380527170722005657347431*c_0101_4^4 + 2857907959459196408712495816949217106895046188106898441839194359451\ 617533010839/439356540505618158823374370905762903767416175352055932\ 380527170722005657347431*c_0101_4^2 + 6368197432920378026958078031346071746786974750220863039980689998849\ 39435061033/4393565405056181588233743709057629037674161753520559323\ 80527170722005657347431, c_0101_3 + 549542895652721465654581486402904230143086989913525468176128\ 041631922500986817/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^40 - 1043822443958944592317526601782953197549215393255672274518322362256\ 27868979666925/7029704648089890541173989934492206460278658805632894\ 918088434731552090517558896*c_0101_4^38 + 1319627407894436141730348140854288932821733506507021734320487490968\ 338315634081183/702970464808989054117398993449220646027865880563289\ 4918088434731552090517558896*c_0101_4^36 - 2167345336658263172392403673502992617817460475789312358978347391502\ 5942398529739975/70297046480898905411739899344922064602786588056328\ 94918088434731552090517558896*c_0101_4^34 + 2868917510472205633319448939221150752816454435216806331966362556571\ 92312618026141433/7029704648089890541173989934492206460278658805632\ 894918088434731552090517558896*c_0101_4^32 - 2071233264554062017383826527132688725798899408799814849185403517018\ 215801814708576725/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^30 + 8429725026772475598955330046299664860076915336555497490219919292572\ 716399257912813127/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^28 - 1974503148257046205109735740124419791864684613296693882308962248249\ 3787913243497773275/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^26 + 1209495188660013124475062609796782738773972834638329259263463047174\ 9883334479301883781/35148523240449452705869949672461032301393294028\ 16447459044217365776045258779448*c_0101_4^24 - 5786305720759037529407945467144237145941366691483481007083005442957\ 314875730634830389/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^22 - 2408284044381547599342400595248593532081747996206256882232225829528\ 2359810643083771123/70297046480898905411739899344922064602786588056\ 32894918088434731552090517558896*c_0101_4^20 + 3845968124205711459526316931657056594816584469377040624767827169271\ 795497233833885303/878713081011236317646748741811525807534832350704\ 111864761054341444011314694862*c_0101_4^18 - 6106073588826831747033861880868499807162344158153450663754690076695\ 47256981217342097/4393565405056181588233743709057629037674161753520\ 55932380527170722005657347431*c_0101_4^16 - 3840827744776207698311358340004249088344037375381280419326132959659\ 529212347947501919/351485232404494527058699496724610323013932940281\ 6447459044217365776045258779448*c_0101_4^14 + 1914572402166970805017905244239766957730940596434932417409595427595\ 974849096667256843/175742616202247263529349748362305161506966470140\ 8223729522108682888022629389724*c_0101_4^12 - 2646806954621828710451347850263607488682667329226446263018399741602\ 054034840437720433/702970464808989054117398993449220646027865880563\ 2894918088434731552090517558896*c_0101_4^10 + 5529744039340766073897952357350525582716937849750497657972513522421\ 64143040161277895/7029704648089890541173989934492206460278658805632\ 894918088434731552090517558896*c_0101_4^8 - 7946991061446708805531785784637350185648245011379991236705999962454\ 8413323097024819/70297046480898905411739899344922064602786588056328\ 94918088434731552090517558896*c_0101_4^6 - 9670812869796225091478722104216946905717821382465448977239993447077\ 36335109271557/3514852324044945270586994967246103230139329402816447\ 459044217365776045258779448*c_0101_4^4 + 2904367275537528605586520985129150654511436291162196827448983318430\ 8610251131761/35148523240449452705869949672461032301393294028164474\ 59044217365776045258779448*c_0101_4^2 + 8334642905036823522592772271120505755802361960967361159901342746525\ 030373015025/702970464808989054117398993449220646027865880563289491\ 8088434731552090517558896, c_0101_4^42 - 190*c_0101_4^40 + 2412*c_0101_4^38 - 39574*c_0101_4^36 + 524272*c_0101_4^34 - 3798350*c_0101_4^32 + 15551212*c_0101_4^30 - 36790690*c_0101_4^28 + 46031621*c_0101_4^26 - 12989615*c_0101_4^24 - 43245758*c_0101_4^22 + 58448555*c_0101_4^20 - 20904024*c_0101_4^18 - 12995486*c_0101_4^16 + 14720218*c_0101_4^14 - 5592237*c_0101_4^12 + 1273832*c_0101_4^10 - 200826*c_0101_4^8 + 4617*c_0101_4^6 + 252*c_0101_4^4 + 15*c_0101_4^2 - 1 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB