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

{compObjWrittenByActivityBeforeActivity(x17,a3,a3,7)}

{redundant(x10,a12,endflow,25), redundant(x10,a12,endflow,28), redundant(x10,a12,endflow,36), redundant(x10,a12,endflow,39), redundant(x10,a12,endflow,45), redundant(x10,a12,endflow,48), redundant(x10,a12,endflow,62), redundant(x10,a12,endflow,65), redundant(x10,a12,endflow,73), redundant(x10,a12,endflow,76), redundant(x10,a12,endflow,82), redundant(x10,a12,endflow,85), redundant(x10,a12,a23,21), redundant(x10,a12,a23,58), redundant(x22,a12,endflow,39), redundant(x22,a12,endflow,48), redundant(x22,a12,endflow,76), redundant(x22,a12,endflow,85), redundant(x25,a12,endflow,25), redundant(x25,a12,endflow,36), redundant(x25,a12,endflow,45), redundant(x25,a12,endflow,62), redundant(x25,a12,endflow,73), redundant(x25,a12,endflow,82), compObjWrittenByActivityBeforeActivity(x10,a12,a3,8), compObjWrittenByActivityBeforeActivity(x10,a12,a10,15), compObjWrittenByActivityBeforeActivity(x10,a12,a4,51), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,36), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,45), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,73), compObjWrittenByActivityBeforeActivity(x22,a12,endflow,82), compObjWrittenByActivityBeforeActivity(x22,a12,a17,38), compObjWrittenByActivityBeforeActivity(x22,a12,a17,47), compObjWrittenByActivityBeforeActivity(x22,a12,a17,75), compObjWrittenByActivityBeforeActivity(x22,a12,a17,84), compObjWrittenByActivityBeforeActivity(x24,a12,a12,9), compObjWrittenByActivityBeforeActivity(x24,a12,a24,13), compObjWrittenByActivityBeforeActivity(x25,a12,endflow,28), compObjWrittenByActivityBeforeActivity(x25,a12,endflow,39), compObjWrittenByActivityBeforeActivity(x25,a12,endflow,48), compObjWrittenByActivityBeforeActivity(x25,a12,endflow,65), compObjWrittenByActivityBeforeActivity(x25,a12,endflow,76), compObjWrittenByActivityBeforeActivity(x25,a12,endflow,85), compObjWrittenByActivityBeforeActivity(x25,a12,a12,9), compObjWrittenByActivityBeforeActivity(x25,a12,a20,24), compObjWrittenByActivityBeforeActivity(x25,a12,a20,35), compObjWrittenByActivityBeforeActivity(x25,a12,a20,44), compObjWrittenByActivityBeforeActivity(x25,a12,a20,61), compObjWrittenByActivityBeforeActivity(x25,a12,a20,72), compObjWrittenByActivityBeforeActivity(x25,a12,a20,81)}


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

{}

{}