From Deepak Garg:

Plan for next week: One team will work on contraction for sequents, and 
the other team will implement rule generation.