Q$2)$ In order to synchronize the following processes, Binary semaphores with the initial value of zero have been used. $(10$ point$)$

$\backslash$table$[[$P$1$:$,$P$2$:$,$P$3$:$,$P$4$:$,$P$5$:$,$P$6$:$],[*,$wait$($S$12),$wait$($S$13),$wait$($S$24),$wait$($S$25),$wait$($S$36)],[*,*,*,*,,],[*,*,*,*,$wait$($S$35),$wait$($S$46)],[$signal$($S$12),$signal$($S$24),$signal$($S$35),$signal$($S$46),*,*$