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

{compObjWrittenByActivityBeforeActivity(x9,a11,a22,8), compObjWrittenByActivityBeforeActivity(x12,a11,a11,9)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x12,a16,a11,10), compObjWrittenByActivityBeforeActivity(x12,a16,a20,13), compObjWrittenByActivityBeforeActivity(x16,a16,a22,9)}