------------------------------------------
{subsActivityBeforeActivity(a11,a11,8), subsActivityBeforeActivity(a2,a2,12), subsActivityBeforeActivity(a2,a2,35), subsActivityBeforeActivity(a2,a2,60)}

{}

{}

{compObjWrittenByActivityBeforeActivity(x9,a8,a1,41), compObjWrittenByActivityBeforeActivity(x9,a8,a1,52), compObjWrittenByActivityBeforeActivity(x9,a8,a1,67), compObjWrittenByActivityBeforeActivity(x9,a8,a1,78)}

{compObjWrittenByActivityBeforeActivity(x13,a2,a2,14), compObjWrittenByActivityBeforeActivity(x13,a2,a2,38), compObjWrittenByActivityBeforeActivity(x13,a2,a2,66), compObjWrittenByActivityBeforeActivity(x23,a2,a4,11)}