File:AAIME Case 03 Logic 08.png