File:AAIME Case 05 Logic 04.png