File:AAIME Case 03 Logic 06.png