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

{redundant(x4,a24,endflow,38), redundant(x4,a24,endflow,43), redundant(x4,a24,endflow,56), redundant(x4,a24,endflow,61), redundant(x4,a24,endflow,70), redundant(x4,a24,endflow,75), redundant(x12,a24,endflow,56), redundant(x12,a24,endflow,70), redundant(x21,a24,endflow,24), redundant(x21,a24,endflow,70), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,24), compObjWrittenByActivityBeforeActivity(x4,a24,endflow,29), compObjWrittenByActivityBeforeActivity(x4,a24,a6,32), compObjWrittenByActivityBeforeActivity(x12,a24,endflow,24), compObjWrittenByActivityBeforeActivity(x12,a24,endflow,38), compObjWrittenByActivityBeforeActivity(x12,a24,a7,51), compObjWrittenByActivityBeforeActivity(x12,a24,a7,65), compObjWrittenByActivityBeforeActivity(x21,a24,a25,22), compObjWrittenByActivityBeforeActivity(x21,a24,a25,68)}

{redundant(x17,a2,endflow,63), redundant(x17,a2,endflow,68), redundant(x17,a2,a2,9), redundant(x17,a2,a7,58), compObjWrittenByActivityBeforeActivity(x17,a2,endflow,27), compObjWrittenByActivityBeforeActivity(x17,a2,endflow,33), compObjWrittenByActivityBeforeActivity(x17,a2,endflow,44), compObjWrittenByActivityBeforeActivity(x17,a2,endflow,49), compObjWrittenByActivityBeforeActivity(x17,a2,a24,8), compObjWrittenByActivityBeforeActivity(x17,a2,a5,52)}

{}


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

{}

{}

{}