Compiled example
----------------
![Example](IND-CPA-Game.png)