------------------------------------------
{}

{redundant(x15,a23,endflow,78), redundant(x15,a23,endflow,83), redundant(x15,a23,endflow,95), redundant(x15,a23,endflow,100), redundant(x15,a23,endflow,116), redundant(x15,a23,endflow,121), redundant(x15,a23,a10,70), redundant(x15,a23,a10,87), redundant(x15,a23,a10,108), redundant(x15,a23,a17,76), redundant(x15,a23,a17,81), redundant(x15,a23,a17,93), redundant(x15,a23,a17,98), redundant(x15,a23,a17,114), redundant(x15,a23,a17,119), redundant(x18,a23,endflow,78), redundant(x18,a23,endflow,83), redundant(x18,a23,endflow,95), redundant(x18,a23,endflow,100), redundant(x18,a23,a11,73), redundant(x18,a23,a11,90), compObjWrittenByActivityBeforeActivity(x15,a23,a9,68), compObjWrittenByActivityBeforeActivity(x18,a23,a8,102), compObjWrittenByActivityBeforeActivity(x18,a23,a18,71), compObjWrittenByActivityBeforeActivity(x18,a23,a18,88)}

{}