Given a source code below:

Whilea0 || b0do { X X 1 if a0 then a := a 1 ; else b := b + 1 ; }

Suppose taking quadruples as intermediate code form, what is the sequence of intermediate code generated according to the SDD we learn in the course.