------------------------------------------
{subsActivityBeforeActivity(a6,a6,9)}

{}

{redundant(x6,a6,endflow,66), redundant(x6,a6,endflow,69), redundant(x6,a6,endflow,76), redundant(x6,a6,endflow,79), redundant(x6,a6,endflow,104), redundant(x6,a6,endflow,107), redundant(x6,a6,endflow,114), redundant(x6,a6,endflow,117), redundant(x6,a6,a23,82), redundant(x6,a6,a21,86), redundant(x6,a6,a24,49), redundant(x6,a6,a24,87), redundant(x6,a6,a11,62), redundant(x6,a6,a11,100), redundant(x17,a6,endflow,55), redundant(x17,a6,endflow,58), redundant(x17,a6,endflow,76), redundant(x17,a6,endflow,79), redundant(x17,a6,a25,52), redundant(x21,a6,endflow,76), compObjWrittenByActivityBeforeActivity(x6,a6,a6,10), compObjWrittenByActivityBeforeActivity(x6,a6,a14,81), compObjWrittenByActivityBeforeActivity(x6,a6,a21,48), compObjWrittenByActivityBeforeActivity(x17,a6,a9,50), compObjWrittenByActivityBeforeActivity(x17,a6,a25,73), compObjWrittenByActivityBeforeActivity(x18,a6,endflow,55), compObjWrittenByActivityBeforeActivity(x18,a6,endflow,58), compObjWrittenByActivityBeforeActivity(x18,a6,endflow,66), compObjWrittenByActivityBeforeActivity(x18,a6,endflow,69), compObjWrittenByActivityBeforeActivity(x18,a6,endflow,76), compObjWrittenByActivityBeforeActivity(x18,a6,endflow,79), compObjWrittenByActivityBeforeActivity(x21,a6,endflow,79), compObjWrittenByActivityBeforeActivity(x21,a6,a10,83), compObjWrittenByActivityBeforeActivity(x21,a6,a16,75)}

{compObjWrittenByActivityBeforeActivity(x7,a21,a12,45), compObjWrittenByActivityBeforeActivity(x23,a21,a2,47)}


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

{}

{}

{}