Figure 9:
Circuit resulting after the algorithm’s steps.
