File:AAIME Case 01 Logic 07.png