------------------------------------------
{compObjWrittenByActivityBeforeActivity(x8,a7,a7,9)}

{}

{compObjWrittenByActivityBeforeActivity(x18,a19,a19,12)}

{redundant(x9,a25,a25,14), compObjWrittenByActivityBeforeActivity(x9,a25,a13,11)}

{compObjWrittenByActivityBeforeActivity(x23,a9,a25,15)}

{}


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

{}

{}

{}

{}

{}