olambdaxylambdaoxd1oypodxyzdoxzoyzooxyzoxoyzlambdaxxoxyxoxyydxyxdxyyoxydxyoxydyxlambda110o2d2p0FULL./TRS/Koprowski/relsubst.trs