eq00trueeq0sXfalseeqsX0falseeqsXsYeqXYrmNnilnilrmNaddMXifrmeqNMNaddMXifrmtrueNaddMXrmNXifrmfalseNaddMXaddMrmNXpurgenilnilpurgeaddNXaddNpurgermNXeq200true0s1false0rm2nil0add2ifrm3purge1FULL./TRS/Rubio/elimdupl.trs