------------------------------------------
{subsActivityBeforeActivity(a17,a17,7), subsActivityBeforeActivity(a20,a20,9)}

{compObjWrittenByActivityBeforeActivity(x18,a10,a10,9)}

{}

{}


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

{}

{}

{}