------------------------------------------
{subsActivityBeforeActivity(a35,a35,15), subsActivityBeforeActivity(a40,a40,16), subsActivityBeforeActivity(a10,a10,24), subsActivityBeforeActivity(a10,a10,44), subsActivityBeforeActivity(a10,a10,68), subsActivityBeforeActivity(a10,a10,88), subsActivityBeforeActivity(a10,a10,111), subsActivityBeforeActivity(a10,a10,131), subsActivityBeforeActivity(a10,a10,159), subsActivityBeforeActivity(a10,a10,179)}

{redundant(x27,a35,a15,165), compObjWrittenByActivityBeforeActivity(x27,a35,a22,157), compObjWrittenByActivityBeforeActivity(x27,a35,a15,70), compObjWrittenByActivityBeforeActivity(x27,a35,a15,115)}

{redundant(x24,a40,endflow,109), redundant(x24,a40,endflow,155), redundant(x24,a40,a27,69), redundant(x24,a40,a27,115), redundant(x33,a40,endflow,134), redundant(x33,a40,endflow,155), redundant(x33,a40,endflow,185), redundant(x33,a40,endflow,206), compObjWrittenByActivityBeforeActivity(x24,a40,a38,67), compObjWrittenByActivityBeforeActivity(x24,a40,a38,113), compObjWrittenByActivityBeforeActivity(x33,a40,a23,111)}

{redundant(x21,a28,endflow,89), redundant(x21,a28,endflow,110), redundant(x21,a28,endflow,137), redundant(x21,a28,endflow,158), redundant(x21,a28,a37,79), redundant(x21,a28,a37,100), redundant(x21,a28,a37,127), redundant(x21,a28,a37,148), redundant(x21,a28,a39,84), redundant(x21,a28,a39,105), redundant(x21,a28,a39,132), redundant(x21,a28,a39,153), redundant(x23,a28,endflow,89), redundant(x23,a28,endflow,137), redundant(x23,a28,a24,136), compObjWrittenByActivityBeforeActivity(x21,a28,a6,77), compObjWrittenByActivityBeforeActivity(x21,a28,a6,98), compObjWrittenByActivityBeforeActivity(x21,a28,a6,125), compObjWrittenByActivityBeforeActivity(x21,a28,a6,146), compObjWrittenByActivityBeforeActivity(x23,a28,a34,114), compObjWrittenByActivityBeforeActivity(x23,a28,a24,88)}

{redundant(x3,a9,a17,82), redundant(x3,a9,a17,105), redundant(x3,a9,a17,134), redundant(x3,a9,a17,156), redundant(x3,a9,a17,186), redundant(x3,a9,a17,207), redundant(x20,a9,endflow,91), redundant(x20,a9,endflow,194), redundant(x20,a9,a2,171), compObjWrittenByActivityBeforeActivity(x3,a9,a26,81), compObjWrittenByActivityBeforeActivity(x3,a9,a26,104), compObjWrittenByActivityBeforeActivity(x3,a9,a26,133), compObjWrittenByActivityBeforeActivity(x3,a9,a26,155), compObjWrittenByActivityBeforeActivity(x3,a9,a26,185), compObjWrittenByActivityBeforeActivity(x3,a9,a26,206), compObjWrittenByActivityBeforeActivity(x20,a9,endflow,142), compObjWrittenByActivityBeforeActivity(x20,a9,a40,18), compObjWrittenByActivityBeforeActivity(x20,a9,a3,66), compObjWrittenByActivityBeforeActivity(x20,a9,a13,167), compObjWrittenByActivityBeforeActivity(x23,a9,a28,89), compObjWrittenByActivityBeforeActivity(x23,a9,a28,117)}

{compObjWrittenByActivityBeforeActivity(x4,a38,a9,21), compObjWrittenByActivityBeforeActivity(x34,a38,a16,183)}

{}

{redundant(x9,a1,a1,190), redundant(x9,a1,a1,212), compObjWrittenByActivityBeforeActivity(x9,a1,a2,182), compObjWrittenByActivityBeforeActivity(x9,a1,a1,27), compObjWrittenByActivityBeforeActivity(x9,a1,a1,48), compObjWrittenByActivityBeforeActivity(x9,a1,a1,132), compObjWrittenByActivityBeforeActivity(x9,a1,a1,156)}

{compObjWrittenByActivityBeforeActivity(x4,a10,a38,21), compObjWrittenByActivityBeforeActivity(x4,a10,a10,30), compObjWrittenByActivityBeforeActivity(x4,a10,a10,80), compObjWrittenByActivityBeforeActivity(x4,a10,a10,137), compObjWrittenByActivityBeforeActivity(x4,a10,a10,197), compObjWrittenByActivityBeforeActivity(x16,a10,a1,28), compObjWrittenByActivityBeforeActivity(x16,a10,a1,50), compObjWrittenByActivityBeforeActivity(x16,a10,a1,78), compObjWrittenByActivityBeforeActivity(x16,a10,a1,103), compObjWrittenByActivityBeforeActivity(x16,a10,a1,135), compObjWrittenByActivityBeforeActivity(x16,a10,a1,160), compObjWrittenByActivityBeforeActivity(x16,a10,a1,195), compObjWrittenByActivityBeforeActivity(x16,a10,a1,217), compObjWrittenByActivityBeforeActivity(x27,a10,a35,76), compObjWrittenByActivityBeforeActivity(x27,a10,a35,132), compObjWrittenByActivityBeforeActivity(x27,a10,a35,183), compObjWrittenByActivityBeforeActivity(x27,a10,a15,26)}

{compObjWrittenByActivityBeforeActivity(x27,a29,a10,27), compObjWrittenByActivityBeforeActivity(x27,a29,a10,81), compObjWrittenByActivityBeforeActivity(x27,a29,a10,141), compObjWrittenByActivityBeforeActivity(x27,a29,a10,196)}

{redundant(x6,a6,a15,29), redundant(x6,a6,a15,85), redundant(x6,a6,a15,146), redundant(x6,a6,a15,212), compObjWrittenByActivityBeforeActivity(x6,a6,a38,24), compObjWrittenByActivityBeforeActivity(x6,a6,a38,79), compObjWrittenByActivityBeforeActivity(x6,a6,a38,140), compObjWrittenByActivityBeforeActivity(x6,a6,a38,209)}