using System;

//Input1= 7

//Input = ["aa", "bb", "cc", "dd", "ee", "gg"]

//Inpul 3={9,89,5,0,6,65,4}

//Expected output = "ee:cc:gg"

//Input1 = 10

//Input2 = {“Rajesh", “ Abdul", “Rahul”, “Priya”, “Sanjay", "Nidhi”, “Varun”, “Varsha”, “Basil”, “Asif”}

//Input3 = {99, 46, 39, 102, 45, 521, 65, 4, 47, 741}

//Expected output "Basil:Abdul: Sanjay"

​

public class Program

{

    public static void Main()

    {

        int input1=Int32.Parse(Console.ReadLine());

        string[] input2=new string[]{"Rajesh","Abdul","Rahul","Priya","Sanjay","Nidhi","Varun","Varsha","Basil","Asif"};

        int[] input3={99, 46, 39, 102, 45, 521, 65, 4, 47, 741};

        int i,x=0,y=0,z=0,flag=0;

        int[] a=new int[input1];

        for(int m=0;m<input1;m++)

         {

           a[m]=input3[m];

         }

         Array.Sort(a);

         for(i=0;i<input1-2;i++)

         {

            if(a[i+1]-a[i]==1 && a[i+2]-a[i+1]==1)

            {

               flag=1;

               x=a[i];

               y=a[i+1];

               z=a[i+2];

               break;

             }

          }

          if(flag==0)

          {

          Console.WriteLine("NONE");

          }

          int fi=0,si=0,ti=0;

          for(i=0;i<input1;i++)

             {

                  if(x==input3[i])

                  {fi=i;}

                  if(y==input3[i])

                  {si=i;}

                  if(z==input3[i])

                  { ti=i;}

               }

  Console.Write(input2[fi]+":"+input2[si]+":"+input2[ti]);  

    }

}