Magma V2.19-8 Tue Aug 20 2013 16:18:42 on localhost [Seed = 206410109] Type ? for help. Type -D to quit. ==TRIANGULATION=BEGINS== % Triangulation v2868 geometric_solution 6.08702794 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 -1 0 1 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 -1 0 1 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.328477546120 0.334073932283 2 0 3 0 0132 2310 0132 0132 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 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1.175061312443 1.187882937932 1 4 5 6 0132 0132 0132 0132 0 0 0 0 0 0 0 0 0 0 -1 1 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 -1 0 0 1 1 0 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.384399992326 0.395654759670 6 5 4 1 0132 0132 0132 0132 0 0 0 0 0 0 0 0 -1 0 1 0 0 1 0 -1 -1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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.384399992326 0.395654759670 4 2 4 3 2310 0132 3201 0132 0 0 0 0 0 0 0 0 1 0 0 -1 0 0 0 0 0 1 -1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0.641645977969 1.449357469117 5 3 5 2 2310 0132 3201 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.815613799192 1.164161719739 3 6 2 6 0132 2310 0132 3201 0 0 0 0 0 1 0 -1 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 1 0 -1 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.239219678321 1.252672041988 ==TRIANGULATION=ENDS== PY=EVAL=SECTION=BEGINS=HERE {'variable_dict' : (lambda d, negation = (lambda x:-x): { 's_3_1' : d['1'], 's_3_0' : d['1'], 's_3_3' : d['1'], 's_3_2' : d['1'], 's_3_5' : d['1'], 's_3_4' : 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' : negation(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' : negation(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_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_1'], 'c_0101_5' : negation(d['c_0101_0']), 'c_0101_4' : negation(d['c_0101_3']), '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' : negation(d['c_0011_3']), 'c_0011_4' : d['c_0011_1'], 'c_0011_6' : negation(d['c_0011_3']), '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_0'], 'c_1001_4' : d['c_0101_3'], 'c_1001_6' : d['c_0101_3'], 'c_1001_1' : d['c_0101_0'], 'c_1001_0' : negation(d['c_0011_0']), 'c_1001_3' : d['c_1001_2'], 'c_1001_2' : d['c_1001_2'], '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' : d['c_0101_0'], 'c_0110_4' : d['c_0101_3'], 'c_0110_6' : d['c_0101_3'], 'c_1010_6' : negation(d['c_0101_3']), 'c_1010_5' : d['c_1001_2'], 'c_1010_4' : d['c_1001_2'], '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_1001_2 Inhomogeneous, Dimension 0, Radical, Prime Size of variety over algebraically closed field: 27 Groebner basis: [ t + 9259353788136374092304892530217232276946799344287271532595435289205\ 905557340/102217217135467873961137295039913484905994055229970763144\ 6306621172104099871*c_1001_2^26 - 371503100577814566960583241888337\ 51162543044826547077898392457165373414596667/1022172171354678739611\ 372950399134849059940552299707631446306621172104099871*c_1001_2^25 - 7242226462242752458269979578865933692241342567575923659170034963481\ 9521339921/20443443427093574792227459007982696981198811045994152628\ 92613242344208199742*c_1001_2^24 - 3158208698674302574275419364419335137741950241987808335560653015950\ 89333609744/1022172171354678739611372950399134849059940552299707631\ 446306621172104099871*c_1001_2^23 + 4836765516225955185556526916519349337480815825201795430961842638551\ 99588021671/1022172171354678739611372950399134849059940552299707631\ 446306621172104099871*c_1001_2^22 + 1367907223405071835451551590035976159983063950900408385066642003434\ 79051180270/1135746857060754155123747722665705387844378391444119590\ 49589624574678233319*c_1001_2^21 + 3317457585137815264588972373000733664271092675010983786866050246801\ 650462632887/102217217135467873961137295039913484905994055229970763\ 1446306621172104099871*c_1001_2^20 - 6284872404099332113002568707633195257342619876971170443402285410332\ 423118517562/102217217135467873961137295039913484905994055229970763\ 1446306621172104099871*c_1001_2^19 - 3827644851969077859734765896716804395143907456388846247710685072311\ 717862909655/113574685706075415512374772266570538784437839144411959\ 049589624574678233319*c_1001_2^18 - 3522710653370857959668047481978517737125409256544877796416768424474\ 1808247838015/68144811423645249307424863359942323270662703486647175\ 4297537747448069399914*c_1001_2^17 - 5809177730905233290003763665824040564989897037921890608477444663489\ 696480665413/120255549571138675248396817694015864595287123799965603\ 699565484843776952926*c_1001_2^16 + 2465475030782870947227628972992214165285941962460530353969374855323\ 50809930624085/2044344342709357479222745900798269698119881104599415\ 262892613242344208199742*c_1001_2^15 + 1303251642374196780459087490523487889596145603129947267246816776396\ 87709884258399/1022172171354678739611372950399134849059940552299707\ 631446306621172104099871*c_1001_2^14 + 1264190738212534071742937371695664286084256142056973226565806965560\ 48231920991724/1022172171354678739611372950399134849059940552299707\ 631446306621172104099871*c_1001_2^13 + 4608177335203477856020618872520157825125955488481623225683740981159\ 8836228562936/10221721713546787396113729503991348490599405522997076\ 31446306621172104099871*c_1001_2^12 - 1425025287368837060014686715356099798138269391478095534067866062125\ 80051360578596/3407240571182262465371243167997116163533135174332358\ 77148768873724034699957*c_1001_2^11 + 1918977940253642469449766204689870612464000780244543458533957586086\ 5024931775495/68144811423645249307424863359942323270662703486647175\ 4297537747448069399914*c_1001_2^10 - 1356087736317676497032652281573913579023201608751679173038238614100\ 47654647026063/2044344342709357479222745900798269698119881104599415\ 262892613242344208199742*c_1001_2^9 + 2367680508210470009817685819803581783287191127953687416157631904110\ 90782808947815/6814481142364524930742486335994232327066270348664717\ 54297537747448069399914*c_1001_2^8 + 3610078404739480948768985633263262075283305884091867690990980475252\ 58886259288279/1022172171354678739611372950399134849059940552299707\ 631446306621172104099871*c_1001_2^7 - 9482933148041875306542127890977404204069070903356002432048763802334\ 9675694116770/10221721713546787396113729503991348490599405522997076\ 31446306621172104099871*c_1001_2^6 - 2627190433490507732554228473098830525909714809562783849398177581788\ 9038594484477/10221721713546787396113729503991348490599405522997076\ 31446306621172104099871*c_1001_2^5 - 2005137879918435031219180642694671470682421777659813874133960538779\ 5152274282504/11357468570607541551237477226657053878443783914441195\ 9049589624574678233319*c_1001_2^4 - 2920908661365051153186457950592694620614873396943037778094281080634\ 1527172572569/10221721713546787396113729503991348490599405522997076\ 31446306621172104099871*c_1001_2^3 + 9829118215375525539434058901306880932304058830530259749331818295987\ 0020943931577/20443443427093574792227459007982696981198811045994152\ 62892613242344208199742*c_1001_2^2 - 1704405562245497691579739076531985619528745327447093398290693609352\ 3440595864681/20443443427093574792227459007982696981198811045994152\ 62892613242344208199742*c_1001_2 + 3255345246202772602107942750933930893954641315449342539716478894627\ 60804631400/1022172171354678739611372950399134849059940552299707631\ 446306621172104099871, c_0011_0 - 1, c_0011_1 - 447754617524620920724440631631427130830997773669504668234786\ 96276157690/7423182072292510817802272697161473123165871839504049611\ 08428918788746623*c_1001_2^26 + 16499444352593510591723488465908107\ 6378125513092902510978207125011249208/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^25 + 2314650437910452171897411701110059202553526086868831982098165922691\ 93581/7423182072292510817802272697161473123165871839504049611084289\ 18788746623*c_1001_2^24 + 15940379160418072594833781163974839481540\ 15741811475136966120913742601338/7423182072292510817802272697161473\ 12316587183950404961108428918788746623*c_1001_2^23 - 1828618192035211282607120512034824115608839439485965930880756835015\ 657376/742318207229251081780227269716147312316587183950404961108428\ 918788746623*c_1001_2^22 - 6634854858549580596779585697593129462022\ 605824934017786142870861740596397/742318207229251081780227269716147\ 312316587183950404961108428918788746623*c_1001_2^21 - 1810898198854627405008635468883935148596987329647005250442790920542\ 0098471/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^20 + 248057094825223791937315820912537103000\ 33107148507828226554404748423333681/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2^19 + 1756274456135951693235783250354566129538293064437930937798803108788\ 18644862/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^18 + 31159748155910523501990004759033017921\ 6932847108217984515609870783817170720/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^17 + 3316089397125284590250297679272706276474717858583585502085111202140\ 22501145/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^16 - 50318770763661826463604190444004584003\ 8216954060165089443807822156389897989/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^15 - 8108586512341101098048096871520828795785103992080160781561581362680\ 67734491/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^14 - 84841572467563153783184507735786153341\ 1398078301872103714866992449847205556/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^13 - 4602014412048863170641624050023550559770310284867274395304644882538\ 46882302/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^12 + 19576343114060369317161368509013082386\ 35830277405038160397597053517699768888/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^11 + 5207106710583480885810055394106482626583093509030939997418366819168\ 81098345/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^10 + 39281867295601513255103277214512182774\ 5980261656114347661255367600989170862/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^9 - 1605828083549831319911367176462445466424075345642192712957385081487\ 524681467/742318207229251081780227269716147312316587183950404961108\ 428918788746623*c_1001_2^8 - 22903666775407791893325911370459143876\ 77449457526675997126487894827027784566/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^7 - 2015786219470869237947392453153642016814403857237281494821893930558\ 28132154/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^6 + 171643850283169128933434893678653948747\ 283156252884552668438984159963598740/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^5 + 9272309195828265153556880639423489916353889271918315167273247896272\ 92920278/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^4 + 435694323130356015812841197095198500272\ 793051191756848807039407854177089578/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^3 - 1443443783915907658407900383015575824487095077354045138742758379566\ 03021443/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^2 - 218601905135775566515770712299711005624\ 20971160575041228980648139940541921/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2 + 1026074528110280083231314074034998456477426464092717320398408306333\ 581419/742318207229251081780227269716147312316587183950404961108428\ 918788746623, c_0011_3 + 358666889424669880879260570391676408279380114393192537343376\ 42461056548/7423182072292510817802272697161473123165871839504049611\ 08428918788746623*c_1001_2^26 - 13470014688176589056688578636699029\ 7395671329473296326942039021334070738/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^25 - 1761509878366004057883760713908860864240839492059039077235487016621\ 77067/7423182072292510817802272697161473123165871839504049611084289\ 18788746623*c_1001_2^24 - 12633273504580421526042972291225767479449\ 09978450830183847308703610097954/7423182072292510817802272697161473\ 12316587183950404961108428918788746623*c_1001_2^23 + 1554535249975419903958922123955322080490269988900636039407984633827\ 130478/742318207229251081780227269716147312316587183950404961108428\ 918788746623*c_1001_2^22 + 5213985084872845428051084550359116656580\ 644954706841903830114378563654966/742318207229251081780227269716147\ 312316587183950404961108428918788746623*c_1001_2^21 + 1412253225013725490824202985473692770050965092232441929111673145555\ 5165147/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^20 - 208920549210623455865577289299546492799\ 73375172283438581753128971353783522/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2^19 - 1392967130760229847156506679637460063444649858999106590380533004099\ 37512311/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^18 - 23958831090187968631526624122137650070\ 5878573309867426850709992776970614267/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^17 - 2478708583562086274636459911243647586188803484310350894273597275441\ 80053058/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^16 + 42186771164070390621731665390105043347\ 4726501777506913552384251383516768813/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^15 + 6213760626608381386269892408872273824681626382805553348387235120140\ 78183682/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^14 + 63299046829220057460696351591624921882\ 4247052760041375979977350527556701321/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^13 + 3220243999162006368394353225659889768969066984486404243323412434336\ 41042103/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^12 - 15961686412557494183755925767057975734\ 20700328191941017560160897707748324721/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^11 - 3082708746307802130875961621302343354106263760900577079785444844500\ 05130120/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^10 - 28143561536655062017931767979804863093\ 3029588216935145233411744954924310311/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^9 + 1302646320312933152243495136287608844779957816968076847500725654275\ 258426080/742318207229251081780227269716147312316587183950404961108\ 428918788746623*c_1001_2^8 + 17524625038655502699485121023024749432\ 67885956138830063093770295960421827028/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^7 + 2935200279439784575876570025861707734835356262246576103277954783465\ 6571691/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^6 - 1519548803913907487686908293290534991249\ 90432645694585985586754510748667758/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2^5 - 7331476357683129609687597261857756613345209969643330930412678128848\ 14013390/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^4 - 301094323951744346873607045551380889477\ 667858756997021443542568747848325903/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^3 + 1434032581994639484297791874940557991486718568271917755830640866282\ 98037102/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^2 + 117242873749161946818191254251270331727\ 18149146184435622181159403602374048/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2 - 2086217948209037449366214283478825690052668578419587597114576903423\ 688169/742318207229251081780227269716147312316587183950404961108428\ 918788746623, c_0101_0 + 721975291898432348977818057812480284827437303202406155002905\ 90012374333/7423182072292510817802272697161473123165871839504049611\ 08428918788746623*c_1001_2^26 - 26999741725316960249421764131714087\ 0991683029299774599220109879565852527/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^25 - 3584847409448488246747890306719899861278336833970263795328160506428\ 89772/7423182072292510817802272697161473123165871839504049611084289\ 18788746623*c_1001_2^24 - 25503537406229268747468730459203787667852\ 18127833408034070540956932417720/7423182072292510817802272697161473\ 12316587183950404961108428918788746623*c_1001_2^23 + 3088021262975378431634846030855777118421878401582673998620826052706\ 475650/742318207229251081780227269716147312316587183950404961108428\ 918788746623*c_1001_2^22 + 1053077172297070077571890388359665958451\ 1588102681534280295858099838930083/74231820722925108178022726971614\ 7312316587183950404961108428918788746623*c_1001_2^21 + 2861723266058210134652740398710049379125508136583367873725226295975\ 2258129/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^20 - 415660653867005415998635855046148808645\ 48793123340710064616988727033058753/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2^19 - 2809218442446343300379731905899019239474431714950359630466961821341\ 54957098/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^18 - 48698478075535166057936135340697770780\ 4679811906755421935060413294863532289/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^17 - 5079014584795895571427047253000663086773041980278608495362564814411\ 34320426/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^16 + 83920076596146761084471112478313108159\ 4098354024906532688847468513565320864/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^15 + 1261454391491267190906895344463509259985816075697048563790779473920\ 051129371/742318207229251081780227269716147312316587183950404961108\ 428918788746623*c_1001_2^14 + 1297881373894826823782609794447164812\ 602890681321256809655665152751596115377/742318207229251081780227269\ 716147312316587183950404961108428918788746623*c_1001_2^13 + 6712112653319230502720435509289260120669506827789916223610162985365\ 10405562/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^12 - 31939617298775683688137655877430561170\ 15340965291113794601521426026994467775/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^11 - 6642218146933983653725177833051995314187268718806187946902621518601\ 95637091/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^10 - 59335846787912549547519399812480085738\ 9776591184947812243028779874827936200/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^9 + 2618421051326528190326643983581821289857662912875359726481236463391\ 358885444/742318207229251081780227269716147312316587183950404961108\ 428918788746623*c_1001_2^8 + 35527899053134205200862960007147205205\ 98095181555636066185133160561508706617/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^7 + 1265992869511883908932293588184261356458946911755454202740450384584\ 06519975/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^6 - 284868817464767532565343196923834577713\ 547128804601358815070724392539016934/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^5 - 1476751371159253526361013230924400309599542282597069040502142835547\ 570412415/742318207229251081780227269716147312316587183950404961108\ 428918788746623*c_1001_2^4 - 62172773842210981639333252665740348355\ 9208416304207133457047058656890766842/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^3 + 2692240306176824053930218729513859320616835354572457123634054099646\ 04161567/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^2 + 206635112854158925857944947247378366896\ 53947665312655524904368711620407419/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2 - 2980162163499966955857865131281690270685742104471364205546071590638\ 553456/742318207229251081780227269716147312316587183950404961108428\ 918788746623, c_0101_1 - 238404630690867056387559978984316064919468276074273934667714\ 23337622165/7423182072292510817802272697161473123165871839504049611\ 08428918788746623*c_1001_2^26 + 89871333176992391823056190849160581\ 593817278214912131639697172543341065/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^25 + 1158231211068512507233720814684035299121805583894736566059133547187\ 82975/7423182072292510817802272697161473123165871839504049611084289\ 18788746623*c_1001_2^24 + 83781374507379108776134745927501785455552\ 2499288584932299063118145619768/74231820722925108178022726971614731\ 2316587183950404961108428918788746623*c_1001_2^23 - 1044254288971361396391011292596212954246711563321653470064783363229\ 788435/742318207229251081780227269716147312316587183950404961108428\ 918788746623*c_1001_2^22 - 3449309163334884453922324826434209485198\ 377799309956324105359580426605157/742318207229251081780227269716147\ 312316587183950404961108428918788746623*c_1001_2^21 - 9329613824863734435838728270249784559513268061204931277778107325729\ 851473/742318207229251081780227269716147312316587183950404961108428\ 918788746623*c_1001_2^20 + 1400986259526367563713017318101475829812\ 6114207077395056952831803793642922/74231820722925108178022726971614\ 7312316587183950404961108428918788746623*c_1001_2^19 + 9234518369603833206971057648035792989190192769168683030152494503846\ 9077888/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^18 + 157844204164118426542057275501439204893\ 006871774144376433808006831565710864/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^17 + 1626670429810155209115538347722596191185940970454426638756310799435\ 35982363/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^16 - 28160638222844807481735267399460872506\ 8310893029306343915585292607067852746/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^15 - 4071950352685998021271692573093521829826505056067649974852641075720\ 90014467/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^14 - 41351498932210834884251886828745226650\ 3400740829086487441599840350322490247/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^13 - 2118478192439211613823840653377598552689109659479632653804826594641\ 45980414/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^12 + 10578718051795622394036495792815048262\ 56493638963364579149205524537031483131/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^11 + 1877541555290973055882349324658882321625930256029462729778504673672\ 09114832/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^10 + 18403341374854390657566228059662651548\ 5502070029619771018266575529299395230/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^9 - 8575687906899875733718162536640841292413561792826214597893611707055\ 55870990/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^8 - 114714955245621078647077201279919139273\ 2541081543198831695189437527851660787/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^7 - 1059361066866210686554158587552954878814456281629342441384520963617\ 5854456/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^6 + 9289875710408671161008097415113177939364\ 8846400991258503456061839086372137/74231820722925108178022726971614\ 7312316587183950404961108428918788746623*c_1001_2^5 + 4769085532263466247159910101056266274690570806243942002188963755122\ 80633896/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^4 + 194058368239543184648800316830308439882\ 434425069383576914781029081017274663/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^3 - 9158611512080820226292284443021558101429806346563455221353422795462\ 9068307/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^2 - 5230767274252765167742797942908662644916\ 693096961996230925706480291294613/742318207229251081780227269716147\ 312316587183950404961108428918788746623*c_1001_2 + 1403797966325084755959486561521444422589314814376533731331774841892\ 999936/742318207229251081780227269716147312316587183950404961108428\ 918788746623, c_0101_3 + 345526394551099594293383747412397134441001118510245603692615\ 09855293254/7423182072292510817802272697161473123165871839504049611\ 08428918788746623*c_1001_2^26 - 12842697514709413246446244959589904\ 7381036280267085786246938441125292233/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^25 - 1744909936475370127542992040977540600258084639762697612597449857326\ 66938/7423182072292510817802272697161473123165871839504049611084289\ 18788746623*c_1001_2^24 - 12243268694577303566932535407018409114193\ 71311224785709652016313316762655/7423182072292510817802272697161473\ 12316587183950404961108428918788746623*c_1001_2^23 + 1448752873293848018530192676773816920629203661708828757700666758001\ 298824/742318207229251081780227269716147312316587183950404961108428\ 918788746623*c_1001_2^22 + 5071650619426909456817472429546896537046\ 527324235013698500251325313000272/742318207229251081780227269716147\ 312316587183950404961108428918788746623*c_1001_2^21 + 1380476544650315972253082892831631982858733756502779291915117987193\ 1366212/74231820722925108178022726971614731231658718395040496110842\ 8918788746623*c_1001_2^20 - 195596867801575237791444414348748296275\ 59487990421940586593530175351600862/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2^19 - 1348501527274408518565144260829088520344504324180313172946531007605\ 53661064/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^18 - 23608603445873041238907605236909714834\ 2487122919777097781739563185357332328/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^17 - 2487359400053743630626755594522462400735239616235597920367011597708\ 61597230/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^16 + 39491108503606606329336627557583306375\ 3823833248213134078240851641356709230/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^15 + 6116941829250118133957448271787247372306199459472398386412697215531\ 84594975/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^14 + 63513200718017488941338896327154153202\ 1840244183185915238769766413262647032/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^13 + 3404539927027329939167746458241244004324715516646306721266892631521\ 68356512/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^12 - 15177915965339591248034266208204971717\ 09654994556955810037970177166544780629/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^11 - 3541518225124803850604700156414759735899164604357330790829023323864\ 66760349/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^10 - 29346425364161987484490052123344960365\ 9599184940412254818855570437345956718/74231820722925108178022726971\ 6147312316587183950404961108428918788746623*c_1001_2^9 + 1235324135994108077383426311532897738253678990028910256502827788496\ 996641090/742318207229251081780227269716147312316587183950404961108\ 428918788746623*c_1001_2^8 + 17317976580010524451859894912474895240\ 20576711551196102150535128265020565228/7423182072292510817802272697\ 16147312316587183950404961108428918788746623*c_1001_2^7 + 1090584764058564470092588585830331863773390520677613723950945056261\ 80549512/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^6 - 129734320614979339701149300843390554452\ 600312010491639655053194940119802549/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^5 - 7065038630997478000810636110426296089016375422405896923887464193913\ 27869194/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^4 - 320613447945486579344714834572903624636\ 314713132974334397726627594114837394/742318207229251081780227269716\ 147312316587183950404961108428918788746623*c_1001_2^3 + 1172638861863403697457177354822264888672178520515059961062476697103\ 55826896/7423182072292510817802272697161473123165871839504049611084\ 28918788746623*c_1001_2^2 + 141742003096948560915412749350402761709\ 30301377596447279477869690622378311/7423182072292510817802272697161\ 47312316587183950404961108428918788746623*c_1001_2 - 4915326866128790075044053261963383496408267659087046678084500894913\ 64630/7423182072292510817802272697161473123165871839504049611084289\ 18788746623, c_1001_2^27 - 4*c_1001_2^26 - 4*c_1001_2^25 - 34*c_1001_2^24 + 52*c_1001_2^23 + 135*c_1001_2^22 + 358*c_1001_2^21 - 680*c_1001_2^20 - 3744*c_1001_2^19 - 5727*c_1001_2^18 - 5249*c_1001_2^17 + 13501*c_1001_2^16 + 14491*c_1001_2^15 + 13328*c_1001_2^14 + 4508*c_1001_2^13 - 46761*c_1001_2^12 + 2244*c_1001_2^11 - 5477*c_1001_2^10 + 38400*c_1001_2^9 + 39802*c_1001_2^8 - 11272*c_1001_2^7 - 4736*c_1001_2^6 - 19404*c_1001_2^5 - 3274*c_1001_2^4 + 6076*c_1001_2^3 - 613*c_1001_2^2 - 139*c_1001_2 + 9 ] ] PRIMARY=DECOMPOSITION=ENDS=HERE CPUTIME : 0.050 Total time: 0.250 seconds, Total memory usage: 32.09MB