NP MAPLE
IMO 9393280