File:AAIME Case 04 Logic 05.png