------------------------------------------
{subsActivityBeforeActivity(a8,a8,8), subsActivityBeforeActivity(a14,a14,11), subsActivityBeforeActivity(a14,a14,24), subsActivityBeforeActivity(a14,a14,38), subsActivityBeforeActivity(a14,a14,54), subsActivityBeforeActivity(a14,a14,66)}

{}

{redundant(x4,a25,endflow,64), redundant(x4,a25,endflow,67), redundant(x11,a25,endflow,32), redundant(x11,a25,endflow,35), redundant(x11,a25,endflow,47), redundant(x11,a25,endflow,50), redundant(x11,a25,endflow,64), redundant(x11,a25,endflow,67), redundant(x11,a25,a22,40), redundant(x11,a25,a12,44), redundant(x11,a25,a12,61), redundant(x18,a25,endflow,32), redundant(x18,a25,endflow,47), redundant(x18,a25,endflow,64), redundant(x18,a25,endflow,67), redundant(x18,a25,endflow,77), redundant(x18,a25,a1,63), compObjWrittenByActivityBeforeActivity(x4,a25,endflow,47), compObjWrittenByActivityBeforeActivity(x4,a25,endflow,50), compObjWrittenByActivityBeforeActivity(x4,a25,endflow,77), compObjWrittenByActivityBeforeActivity(x4,a25,endflow,80), compObjWrittenByActivityBeforeActivity(x4,a25,a11,54), compObjWrittenByActivityBeforeActivity(x11,a25,a19,38), compObjWrittenByActivityBeforeActivity(x11,a25,a12,29), compObjWrittenByActivityBeforeActivity(x18,a25,endflow,35), compObjWrittenByActivityBeforeActivity(x18,a25,endflow,50), compObjWrittenByActivityBeforeActivity(x18,a25,endflow,80), compObjWrittenByActivityBeforeActivity(x18,a25,a7,56), compObjWrittenByActivityBeforeActivity(x18,a25,a1,31), compObjWrittenByActivityBeforeActivity(x18,a25,a1,46), compObjWrittenByActivityBeforeActivity(x18,a25,a1,76)}

{compObjWrittenByActivityBeforeActivity(x6,a14,a25,11), compObjWrittenByActivityBeforeActivity(x6,a14,a5,25)}

{compObjWrittenByActivityBeforeActivity(x2,a20,a2,25), compObjWrittenByActivityBeforeActivity(x2,a20,a15,81), compObjWrittenByActivityBeforeActivity(x13,a20,a14,14), compObjWrittenByActivityBeforeActivity(x13,a20,a14,29), compObjWrittenByActivityBeforeActivity(x13,a20,a14,48), compObjWrittenByActivityBeforeActivity(x13,a20,a14,71), compObjWrittenByActivityBeforeActivity(x13,a20,a14,84)}


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

{}

{}

{}

{}