import java.io.*;
import java.util.*;
import sun.security.pkcs11.Secmod.DbMode;
public class F {
static class Edge {
int from, to;
int idx;
public Edge(int from, int to,...
#include<bits/stdc++.h>
#define pi acos(-1)
#define maxn 1148576
using namespace std;
typedef long long ll;
char s;
int n;
int res;
struct node{double x,y;}a,b,w;
node operator +(node...
#include<cstdio>
#include<algorithm>
using namespace std;
int n,a; long long k,ans=0;
int main(){
scanf("%d%lld",&n,&k);
for (int i=1; i<=n; i++) scanf("%d",&a);
for (long long l=1,r; l<=1LL<<62;...