using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace emergency_repairs
{
      class Emergency
      {
            static void Main(string[] args)
            {
                  ulong num = ulong.Parse(Console.ReadLine());
                  ulong kits = ulong.Parse(Console.ReadLine());
                  ulong attacks = ulong.Parse(Console.ReadLine());
                  while (attacks > 0)
                  {
                        int attBit = int.Parse(Console.ReadLine());
                        num = num & ~(ulong)(1L << attBit);
                        attacks--;
                  }
                  for (int i = 0; i < 63; i++)
                  {
                        ulong currentbit = (num >> i) & 1L;
                        ulong nextbit = (num >> i + 1) & 1L;
                        if (currentbit == 0 && nextbit == 0)
                        {
                              if (kits >= 1)
                              {
                                    //Console.WriteLine(Convert.ToString((long)num, 2).PadLeft(64, '0'));
                                    num = num | (ulong)(1L << i);
                                    kits--;
                                    while (kits >= 1 && nextbit == 0)
                                    {
                                          ////Console.WriteLine(Convert.ToString((long)num, 2).PadLeft(64, '0'));
                                          i++;
                                          num = num | (ulong)(1L << i);
                                          nextbit = (num >> i+1) & 1L;
                                          kits--;
                                    }

                                    //Console.WriteLine(Convert.ToString((long)num, 2).PadLeft(64, '0'));
                              }
                        }
                  }
                  //Console.WriteLine(Convert.ToString((long)num, 2).PadLeft(64, '0'));
                  Console.WriteLine(num);

            }
      }
}