File:AAIME Case 05 Logic 09.png