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

{redundant(x3,a6,endflow,45), redundant(x3,a6,a19,41), redundant(x12,a6,endflow,16), redundant(x12,a6,endflow,22), redundant(x12,a6,endflow,29), redundant(x19,a6,endflow,22), redundant(x19,a6,endflow,29), redundant(x19,a6,endflow,35), redundant(x24,a6,endflow,29), redundant(x24,a6,endflow,45), compObjWrittenByActivityBeforeActivity(x3,a6,endflow,16), compObjWrittenByActivityBeforeActivity(x3,a6,endflow,22), compObjWrittenByActivityBeforeActivity(x3,a6,a7,37), compObjWrittenByActivityBeforeActivity(x12,a6,endflow,45), compObjWrittenByActivityBeforeActivity(x12,a6,a10,12), compObjWrittenByActivityBeforeActivity(x19,a6,endflow,16), compObjWrittenByActivityBeforeActivity(x19,a6,a11,20), compObjWrittenByActivityBeforeActivity(x19,a6,a18,25), compObjWrittenByActivityBeforeActivity(x19,a6,a5,32), compObjWrittenByActivityBeforeActivity(x24,a6,endflow,16), compObjWrittenByActivityBeforeActivity(x24,a6,endflow,22), compObjWrittenByActivityBeforeActivity(x24,a6,endflow,35), compObjWrittenByActivityBeforeActivity(x24,a6,a17,24), compObjWrittenByActivityBeforeActivity(x24,a6,a22,43)}

{compObjWrittenByActivityBeforeActivity(x9,a20,a12,52), compObjWrittenByActivityBeforeActivity(x18,a20,a17,32)}


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

{}

{}