File:AAIME Case 02 Logic 04.png