File:AAIME Case 01 Logic 03.png