File:AAIME Case 04 Logic 07.png