progress on Main.ses

I wrote the possible execution between the three participants