------------------------------------------
{subsActivityBeforeActivity(a11,a11,11), subsActivityBeforeActivity(a11,a11,23), subsActivityBeforeActivity(a11,a11,38), subsActivityBeforeActivity(a11,a11,50), subsActivityBeforeActivity(a11,a11,67), subsActivityBeforeActivity(a11,a11,79)}

{redundant(x2,a25,endflow,91), redundant(x5,a25,endflow,31), redundant(x5,a25,endflow,47), redundant(x5,a25,endflow,60), redundant(x5,a25,endflow,78), redundant(x5,a25,endflow,91), redundant(x5,a25,a12,46), redundant(x5,a25,a12,77), redundant(x13,a25,a5,21), redundant(x13,a25,a24,62), compObjWrittenByActivityBeforeActivity(x2,a25,endflow,31), compObjWrittenByActivityBeforeActivity(x2,a25,endflow,60), compObjWrittenByActivityBeforeActivity(x2,a25,a17,65), compObjWrittenByActivityBeforeActivity(x5,a25,a4,36), compObjWrittenByActivityBeforeActivity(x5,a25,a4,67), compObjWrittenByActivityBeforeActivity(x5,a25,a12,30), compObjWrittenByActivityBeforeActivity(x5,a25,a12,59), compObjWrittenByActivityBeforeActivity(x5,a25,a12,90), compObjWrittenByActivityBeforeActivity(x13,a25,a10,8), compObjWrittenByActivityBeforeActivity(x17,a25,a10,8)}

{redundant(x23,a22,endflow,35), compObjWrittenByActivityBeforeActivity(x2,a22,a25,34), compObjWrittenByActivityBeforeActivity(x2,a22,a25,66), compObjWrittenByActivityBeforeActivity(x2,a22,a25,72), compObjWrittenByActivityBeforeActivity(x22,a22,a2,70), compObjWrittenByActivityBeforeActivity(x23,a22,a3,29)}

{redundant(x7,a11,a21,24), redundant(x7,a11,a11,14), redundant(x7,a11,a11,27), compObjWrittenByActivityBeforeActivity(x7,a11,a10,10)}

{redundant(x24,a6,a4,82), redundant(x24,a6,a6,50), redundant(x24,a6,a6,88), redundant(x24,a6,a6,101), compObjWrittenByActivityBeforeActivity(x14,a6,a16,23), compObjWrittenByActivityBeforeActivity(x22,a6,a22,74), compObjWrittenByActivityBeforeActivity(x24,a6,a2,75), compObjWrittenByActivityBeforeActivity(x24,a6,a4,44), compObjWrittenByActivityBeforeActivity(x24,a6,a6,16), compObjWrittenByActivityBeforeActivity(x24,a6,a6,29), compObjWrittenByActivityBeforeActivity(x24,a6,a6,63)}