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

{compObjWrittenByActivityBeforeActivity(x11,a3,a3,8), compObjWrittenByActivityBeforeActivity(x11,a3,a22,32), compObjWrittenByActivityBeforeActivity(x11,a3,a22,60), compObjWrittenByActivityBeforeActivity(x17,a3,a4,7), compObjWrittenByActivityBeforeActivity(x18,a3,a7,58)}

{compObjWrittenByActivityBeforeActivity(x17,a23,a3,7)}

{compObjWrittenByActivityBeforeActivity(x11,a12,a3,10), compObjWrittenByActivityBeforeActivity(x11,a12,a3,35), compObjWrittenByActivityBeforeActivity(x11,a12,a3,65), compObjWrittenByActivityBeforeActivity(x21,a12,a7,63)}