MathDB

Problem 3

Part of 1996 VJIMC