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

{compObjWrittenByActivityBeforeActivity(x12,a9,a4,8)}

{compObjWrittenByActivityBeforeActivity(x15,a22,a22,11), compObjWrittenByActivityBeforeActivity(x25,a22,a4,9)}

{redundant(x11,a14,a22,13), compObjWrittenByActivityBeforeActivity(x11,a14,a4,10), compObjWrittenByActivityBeforeActivity(x19,a14,a9,11)}

{}


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

{}

{}

{}

{}