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

{redundant(x5,a25,endflow,101), redundant(x5,a25,endflow,107), redundant(x5,a25,endflow,114), redundant(x5,a25,endflow,120), redundant(x5,a25,endflow,129), redundant(x5,a25,endflow,135), redundant(x5,a25,a17,96), redundant(x9,a25,endflow,101), redundant(x9,a25,endflow,107), redundant(x9,a25,endflow,114), redundant(x9,a25,endflow,120), redundant(x9,a25,a20,95), redundant(x18,a25,endflow,101), redundant(x18,a25,endflow,107), redundant(x18,a25,endflow,114), redundant(x18,a25,endflow,120), redundant(x18,a25,endflow,129), redundant(x18,a25,endflow,135), redundant(x18,a25,a13,125), redundant(x25,a25,endflow,107), redundant(x25,a25,endflow,120), redundant(x25,a25,endflow,129), redundant(x25,a25,endflow,135), redundant(x25,a25,a23,131), compObjWrittenByActivityBeforeActivity(x5,a25,a20,95), compObjWrittenByActivityBeforeActivity(x9,a25,a7,7), compObjWrittenByActivityBeforeActivity(x18,a25,a20,95), compObjWrittenByActivityBeforeActivity(x25,a25,endflow,101), compObjWrittenByActivityBeforeActivity(x25,a25,endflow,114), compObjWrittenByActivityBeforeActivity(x25,a25,a8,122), compObjWrittenByActivityBeforeActivity(x25,a25,a23,103), compObjWrittenByActivityBeforeActivity(x25,a25,a23,116)}

{}

{redundant(x5,a11,endflow,60), redundant(x5,a11,endflow,66), redundant(x5,a11,endflow,73), redundant(x5,a11,endflow,79), redundant(x5,a11,endflow,88), redundant(x5,a11,endflow,94), redundant(x18,a11,endflow,88), redundant(x18,a11,endflow,94), redundant(x23,a11,endflow,73), redundant(x23,a11,endflow,88), redundant(x23,a11,endflow,120), redundant(x23,a11,endflow,137), compObjWrittenByActivityBeforeActivity(x5,a11,a25,96), compObjWrittenByActivityBeforeActivity(x5,a11,a17,55), compObjWrittenByActivityBeforeActivity(x10,a11,endflow,105), compObjWrittenByActivityBeforeActivity(x10,a11,endflow,112), compObjWrittenByActivityBeforeActivity(x10,a11,endflow,120), compObjWrittenByActivityBeforeActivity(x10,a11,endflow,127), compObjWrittenByActivityBeforeActivity(x18,a11,endflow,60), compObjWrittenByActivityBeforeActivity(x18,a11,endflow,66), compObjWrittenByActivityBeforeActivity(x18,a11,endflow,73), compObjWrittenByActivityBeforeActivity(x18,a11,endflow,79), compObjWrittenByActivityBeforeActivity(x18,a11,a25,97), compObjWrittenByActivityBeforeActivity(x18,a11,a13,84), compObjWrittenByActivityBeforeActivity(x23,a11,a15,56), compObjWrittenByActivityBeforeActivity(x23,a11,a15,100), compObjWrittenByActivityBeforeActivity(x23,a11,a1,82), compObjWrittenByActivityBeforeActivity(x23,a11,a1,131)}