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

{}

{redundant(x4,a3,endflow,25), redundant(x4,a3,endflow,46), redundant(x4,a3,a13,42), redundant(x4,a3,a5,27), redundant(x4,a3,a5,48), redundant(x15,a3,endflow,25), redundant(x15,a3,endflow,32), redundant(x15,a3,endflow,36), redundant(x15,a3,endflow,46), redundant(x15,a3,endflow,53), redundant(x15,a3,endflow,57), redundant(x15,a3,a15,22), redundant(x15,a3,a15,43), redundant(x15,a3,a2,24), redundant(x15,a3,a2,31), redundant(x15,a3,a2,35), redundant(x15,a3,a2,45), redundant(x15,a3,a2,52), redundant(x15,a3,a2,56), redundant(x24,a3,endflow,32), redundant(x24,a3,endflow,36), redundant(x24,a3,a17,16), redundant(x24,a3,a20,17), redundant(x24,a3,a16,23), redundant(x24,a3,a7,29), redundant(x24,a3,a12,34), compObjWrittenByActivityBeforeActivity(x4,a3,a23,41), compObjWrittenByActivityBeforeActivity(x4,a3,a13,21), compObjWrittenByActivityBeforeActivity(x15,a3,a4,13), compObjWrittenByActivityBeforeActivity(x19,a3,a3,9), compObjWrittenByActivityBeforeActivity(x24,a3,a6,7)}

{redundant(x16,a2,a1,44), compObjWrittenByActivityBeforeActivity(x16,a2,a22,22), compObjWrittenByActivityBeforeActivity(x20,a2,a9,32)}