------------------------------------------
{subsActivityBeforeActivity(a24,a24,13), subsActivityBeforeActivity(a1,a1,14), subsActivityBeforeActivity(a30,a30,16), subsActivityBeforeActivity(a30,a30,36), subsActivityBeforeActivity(a30,a30,50), subsActivityBeforeActivity(a30,a30,63), subsActivityBeforeActivity(a30,a30,81), subsActivityBeforeActivity(a30,a30,95), subsActivityBeforeActivity(a30,a30,108)}

{redundant(x5,a31,a21,28), redundant(x9,a31,endflow,46), redundant(x9,a31,endflow,61), redundant(x9,a31,endflow,75), redundant(x9,a31,endflow,94), redundant(x9,a31,endflow,109), redundant(x9,a31,endflow,123), redundant(x20,a31,endflow,46), redundant(x20,a31,endflow,61), redundant(x20,a31,endflow,75), redundant(x20,a31,endflow,94), redundant(x20,a31,endflow,109), redundant(x20,a31,endflow,123), redundant(x20,a31,a30,69), redundant(x20,a31,a30,117), compObjWrittenByActivityBeforeActivity(x4,a31,endflow,46), compObjWrittenByActivityBeforeActivity(x4,a31,endflow,94), compObjWrittenByActivityBeforeActivity(x5,a31,a25,11), compObjWrittenByActivityBeforeActivity(x9,a31,a11,36), compObjWrittenByActivityBeforeActivity(x9,a31,a11,84), compObjWrittenByActivityBeforeActivity(x20,a31,a14,63), compObjWrittenByActivityBeforeActivity(x20,a31,a14,111), compObjWrittenByActivityBeforeActivity(x20,a31,a30,40), compObjWrittenByActivityBeforeActivity(x20,a31,a30,55), compObjWrittenByActivityBeforeActivity(x20,a31,a30,88), compObjWrittenByActivityBeforeActivity(x20,a31,a30,103)}

{redundant(x28,a24,endflow,50), redundant(x28,a24,endflow,103), compObjWrittenByActivityBeforeActivity(x28,a24,a28,33), compObjWrittenByActivityBeforeActivity(x28,a24,a28,86)}

{compObjWrittenByActivityBeforeActivity(x5,a1,a31,11), compObjWrittenByActivityBeforeActivity(x5,a1,a24,15), compObjWrittenByActivityBeforeActivity(x10,a1,a34,35), compObjWrittenByActivityBeforeActivity(x34,a1,a35,32), compObjWrittenByActivityBeforeActivity(x34,a1,a35,86)}

{}

{compObjWrittenByActivityBeforeActivity(x5,a30,a1,11), compObjWrittenByActivityBeforeActivity(x5,a30,a1,16), compObjWrittenByActivityBeforeActivity(x10,a30,a1,38)}

{redundant(x25,a7,a18,22), redundant(x25,a7,a23,35), redundant(x25,a7,a23,92), redundant(x25,a7,a34,42), redundant(x25,a7,a34,97), redundant(x25,a7,a5,78), redundant(x25,a7,a5,133), compObjWrittenByActivityBeforeActivity(x24,a7,a7,25), compObjWrittenByActivityBeforeActivity(x24,a7,a7,52), compObjWrittenByActivityBeforeActivity(x24,a7,a7,84), compObjWrittenByActivityBeforeActivity(x24,a7,a7,107), compObjWrittenByActivityBeforeActivity(x24,a7,a7,139), compObjWrittenByActivityBeforeActivity(x25,a7,a25,14), compObjWrittenByActivityBeforeActivity(x32,a7,a11,46), compObjWrittenByActivityBeforeActivity(x32,a7,a11,101)}

{redundant(x3,a20,a27,51), redundant(x3,a20,a27,109), redundant(x15,a20,a11,49), redundant(x15,a20,a11,107), redundant(x35,a20,a28,41), compObjWrittenByActivityBeforeActivity(x3,a20,a23,37), compObjWrittenByActivityBeforeActivity(x3,a20,a23,97), compObjWrittenByActivityBeforeActivity(x15,a20,a16,34), compObjWrittenByActivityBeforeActivity(x35,a20,a9,36), compObjWrittenByActivityBeforeActivity(x35,a20,a28,101), compObjWrittenByActivityBeforeActivity(x35,a20,a30,25)}