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

{redundant(27), compObjWrittenByActivityBeforeActivity(x6,a5,a6,9), compObjWrittenByActivityBeforeActivity(x13,a5,a12,21)}

{redundant(28), compObjWrittenByActivityBeforeActivity(x16,a2,a12,23)}

{redundant(20), redundant(21), compObjWrittenByActivityBeforeActivity(x9,a11,a6,10), compObjWrittenByActivityBeforeActivity(x20,a11,a6,10)}

{compObjWrittenByActivityBeforeActivity(x9,a9,a11,10)}

{redundant(18), compObjWrittenByActivityBeforeActivity(x12,a10,a9,17), compObjWrittenByActivityBeforeActivity(x13,a10,a5,25), compObjWrittenByActivityBeforeActivity(x13,a10,a2,15)}

