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

{compObjWrittenByActivityBeforeActivity(x13,a11,a12,19)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x10,a6,a5,10)}

{redundant(21), redundant(22), compObjWrittenByActivityBeforeActivity(x2,a9,a5,11)}

{}

