------------------------------------------
{subsActivityBeforeActivity(a23,a23,11)}

{}

{redundant(x3,a23,a4,93), redundant(x5,a23,endflow,107), redundant(x5,a23,endflow,123), redundant(x5,a23,endflow,144), redundant(x5,a23,endflow,160), redundant(x5,a23,a4,93), redundant(x5,a23,a4,130), redundant(x5,a23,a22,104), redundant(x5,a23,a22,120), redundant(x5,a23,a22,141), redundant(x5,a23,a22,157), redundant(x8,a23,endflow,63), redundant(x8,a23,endflow,70), redundant(x8,a23,endflow,79), redundant(x8,a23,endflow,86), redundant(x8,a23,endflow,100), redundant(x8,a23,endflow,107), redundant(x8,a23,endflow,116), redundant(x8,a23,endflow,123), redundant(x8,a23,endflow,137), redundant(x8,a23,endflow,144), redundant(x8,a23,endflow,153), redundant(x8,a23,endflow,160), redundant(x8,a23,a22,134), redundant(x8,a23,a22,141), redundant(x8,a23,a22,150), redundant(x8,a23,a22,157), compObjWrittenByActivityBeforeActivity(x3,a23,a19,89), compObjWrittenByActivityBeforeActivity(x3,a23,a4,56), compObjWrittenByActivityBeforeActivity(x3,a23,a4,130), compObjWrittenByActivityBeforeActivity(x5,a23,a10,91), compObjWrittenByActivityBeforeActivity(x5,a23,a10,128), compObjWrittenByActivityBeforeActivity(x8,a23,a11,125), compObjWrittenByActivityBeforeActivity(x8,a23,a22,60), compObjWrittenByActivityBeforeActivity(x8,a23,a22,67), compObjWrittenByActivityBeforeActivity(x8,a23,a22,76), compObjWrittenByActivityBeforeActivity(x8,a23,a22,83), compObjWrittenByActivityBeforeActivity(x8,a23,a22,97), compObjWrittenByActivityBeforeActivity(x8,a23,a22,104), compObjWrittenByActivityBeforeActivity(x8,a23,a22,113), compObjWrittenByActivityBeforeActivity(x8,a23,a22,120), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,79), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,86), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,153), compObjWrittenByActivityBeforeActivity(x18,a23,endflow,160)}

{redundant(x20,a24,endflow,110), redundant(x20,a24,endflow,118), redundant(x20,a24,endflow,128), redundant(x20,a24,endflow,136), redundant(x20,a24,endflow,153), redundant(x20,a24,endflow,160), redundant(x20,a24,endflow,170), redundant(x20,a24,endflow,178), compObjWrittenByActivityBeforeActivity(x20,a24,endflow,65), compObjWrittenByActivityBeforeActivity(x20,a24,endflow,73), compObjWrittenByActivityBeforeActivity(x20,a24,endflow,84), compObjWrittenByActivityBeforeActivity(x20,a24,endflow,93), compObjWrittenByActivityBeforeActivity(x20,a24,a1,95)}

{redundant(x24,a15,a19,102), redundant(x24,a15,a9,145), compObjWrittenByActivityBeforeActivity(x24,a15,a1,100)}

{}


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

{}

{}

{}

{}

{}