Added new schemas for systematic circuit solving introslides