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

{}

{compObjWrittenByActivityBeforeActivity(x3,a24,a24,10), compObjWrittenByActivityBeforeActivity(x10,a24,a6,9)}

{}

{}