File:AAIME Case 04 Logic 03.png