Language: C++

#include "iostream"
#include "climits"
#include "list"
#include "queue"
#include "stack"
#include "set"
#include "functional"
#include "algorithm"
#include "string"
#include "map"
#include "unordered_map"
#include "unordered_set"
#include "iomanip"
#include "cmath"
#include "random"
#include "bitset"
#include "cstdio"
#include "numeric"
#include "cassert"
#include "functional"
#include "ctime"

using namespace std;

constexpr long long int MOD = 1000000007;
//constexpr int MOD = 1000000007;
//constexpr int MOD = 998244353;
//constexpr long long int MOD = 998244353;
constexpr double EPS = 1e-8;

//int N, M, K, H, W, L, R;
long long int N, M, K, H, W, L, R;


int main() {
	ios::sync_with_stdio(false);
	cin.tie(0);

	cin >> N >> K;
	vector<long long int>v(N);
	for (auto &i : v)cin >> i;
	sort(v.begin(), v.end());
	map<vector<long long int>, set<pair<long long int, long long int>>>mp;
	for (int i = 0; i <= 60; i++) {
		//cout << "loop " << i << endl;
		vector<long long int>box;
		long long int st = 0;
		for (int j = 0; j < N; j++) {
			box.push_back(v[j] & ((1LL << i) - 1));
		}
		sort(box.begin(), box.end());
		box.push_back((1LL << i) - 1);
		for (auto j : box) {
			if (v.begin() < j)continue;
			if (st > j)continue;
			vector<long long int>w;
			for (auto k : v) {
				if ((k&((1LL << i) - 1)) >= j) {
					w.push_back(k >> i);
				}
				else {
					w.push_back((k >> i) - 1);
				}
			}
			vector<long long int>dif;
			for (auto k : w)dif.push_back(k - w.front());
			long long int ed = j;
			long long int bit = 0;
			for (int k = 60; k >= 0; k--) {
				if (((st >> k) & 1)&((ed >> k) & 1))bit |= (1LL << k);
				else if (((st >> k) & 1) | ((ed >> k) & 1)) {
					bit |= (1LL << k);
					break;
				}
			}
			int used = 0;
			for (int k = 0; k < 60; k++) {
				used += bit & 1;
				bit >>= 1;
			}
			if (!st)used = 0;
			if (i + used > K)continue;
			//cout << "loop " << i << " ";
			//cout << "bit " << j << endl;
			//cout << "diff ";
			//cout << w.front() << endl;
			//for (auto k : dif)cout << k << endl;
			R = w.front();
			L = max(R - (K - i - used), 0LL);
			if (mp[dif].empty()) {
				mp[dif].insert({ L,R });
			}
			else {
				auto it = mp[dif].lower_bound({ L,MOD*MOD });
				while (it != mp[dif].end() && it->first <= R + 1) {
					auto nx = next(it);
					R = max(R,it->second);
					mp[dif].erase(it);
					it = nx;
				}
				it= mp[dif].lower_bound({ L,MOD*MOD });
				if (it != mp[dif].begin()) {
					it = prev(it);
					while (it->second >= L - 1) {
						if (it == mp[dif].begin()) {
							L = min(L, it->first);
							R = max(R, it->second);
							mp[dif].erase(it);
							break;
						}
						auto pv = prev(it);
						L = min(L, it->first);
						R = max(R, it->second);
						mp[dif].erase(it);
						it = pv;
					}
				}
				mp[dif].insert({ L,R });
			}
			st = j + 1;
		}
	}
	long long int ans = 0;
	for (auto i : mp) {
		//cout << "vector\n";
		//for (auto j : i.first)cout << j << " ";
		//cout << endl;
		for (auto j : i.second) {
			//cout << j.first << " " << j.second << endl;
			ans += j.second - j.first + 1;
			ans %= MOD;
		}
	}
	cout << ans << endl;
	return 0;
}

Compiler output:
a.cc: In function 'int main()':
a.cc:54:39: error: no match for 'operator<' (operand types are 'std::vector<long long int>::iterator' and 'long long int')
   54 |                         if (v.begin() < j)continue;
      |                             ~~~~~~~~~ ^ ~
      |                                    |    |
      |                                    |    long long int
      |                                    std::vector<long long int>::iterator
In file included from /usr/include/c++/14/string:48,
                 from /usr/include/c++/14/bits/locale_classes.h:40,
                 from /usr/include/c++/14/bits/ios_base.h:41,
                 from /usr/include/c++/14/ios:44,
                 from /usr/include/c++/14/ostream:40,
                 from /usr/include/c++/14/iostream:41,
                 from a.cc:1:
/usr/include/c++/14/bits/stl_iterator.h:448:5: note: candidate: 'template<class _Iterator> constexpr bool std::operator<(const reverse_iterator<_Iterator>&, const reverse_iterator<_Iterator>&)'
  448 |     operator<(const reverse_iterator<_Iterator>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:448:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::reverse_iterator<_Iterator>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/bits/stl_iterator.h:493:5: note: candidate: 'template<class _IteratorL, class _IteratorR> constexpr bool std::operator<(const reverse_iterator<_Iterator>&, const reverse_iterator<_IteratorR>&)'
  493 |     operator<(const reverse_iterator<_IteratorL>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:493:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::reverse_iterator<_Iterator>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/bits/stl_iterator.h:1694:5: note: candidate: 'template<class _IteratorL, class _IteratorR> constexpr bool std::operator<(const move_iterator<_IteratorL>&, const move_iterator<_IteratorR>&)'
 1694 |     operator<(const move_iterator<_IteratorL>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:1694:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::move_iterator<_IteratorL>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/bits/stl_iterator.h:1760:5: note: candidate: 'template<class _Iterator> constexpr bool std::operator<(const move_iterator<_IteratorL>&, const move_iterator<_IteratorL>&)'
 1760 |     operator<(const move_iterator<_Iterator>& __x,
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_iterator.h:1760:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::move_iterator<_IteratorL>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
In file included from /usr/include/c++/14/bits/stl_algobase.h:64,
                 from /usr/include/c++/14/string:51:
/usr/include/c++/14/bits/stl_pair.h:1045:5: note: candidate: 'template<class _T1, class _T2> constexpr bool std::operator<(const pair<_T1, _T2>&, const pair<_T1, _T2>&)'
 1045 |     operator<(const pair<_T1, _T2>& __x, const pair<_T1, _T2>& __y)
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_pair.h:1045:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::pair<_T1, _T2>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
In file included from /usr/include/c++/14/bits/basic_string.h:47,
                 from /usr/include/c++/14/string:54:
/usr/include/c++/14/string_view:673:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator<(basic_string_view<_CharT, _Traits>, basic_string_view<_CharT, _Traits>)'
  673 |     operator< (basic_string_view<_CharT, _Traits> __x,
      |     ^~~~~~~~
/usr/include/c++/14/string_view:673:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >' is not derived from 'std::basic_string_view<_CharT, _Traits>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/string_view:680:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator<(basic_string_view<_CharT, _Traits>, __type_identity_t<basic_string_view<_CharT, _Traits> >)'
  680 |     operator< (basic_string_view<_CharT, _Traits> __x,
      |     ^~~~~~~~
/usr/include/c++/14/string_view:680:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >' is not derived from 'std::basic_string_view<_CharT, _Traits>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/string_view:688:5: note: candidate: 'template<class _CharT, class _Traits> constexpr bool std::operator<(__type_identity_t<basic_string_view<_CharT, _Traits> >, basic_string_view<_CharT, _Traits>)'
  688 |     operator< (__type_identity_t<basic_string_view<_CharT, _Traits>> __x,
      |     ^~~~~~~~
/usr/include/c++/14/string_view:688:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   mismatched types 'std::basic_string_view<_CharT, _Traits>' and 'long long int'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/bits/basic_string.h:3874:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator<(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3874 |     operator<(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3874:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/bits/basic_string.h:3888:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator<(const __cxx11::basic_string<_CharT, _Traits, _Allocator>&, const _CharT*)'
 3888 |     operator<(const basic_string<_CharT, _Traits, _Alloc>& __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3888:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::__cxx11::basic_string<_CharT, _Traits, _Allocator>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
/usr/include/c++/14/bits/basic_string.h:3901:5: note: candidate: 'template<class _CharT, class _Traits, class _Alloc> bool std::operator<(const _CharT*, const __cxx11::basic_string<_CharT, _Traits, _Allocator>&)'
 3901 |     operator<(const _CharT* __lhs,
      |     ^~~~~~~~
/usr/include/c++/14/bits/basic_string.h:3901:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   mismatched types 'const _CharT*' and '__gnu_cxx::__normal_iterator<long long int*, std::vector<long long int> >'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
In file included from /usr/include/c++/14/bits/memory_resource.h:47,
                 from /usr/include/c++/14/string:68:
/usr/include/c++/14/tuple:2600:5: note: candidate: 'template<class ... _TElements, class ... _UElements> constexpr bool std::operator<(const tuple<_UTypes ...>&, const tuple<_Elements ...>&)'
 2600 |     operator<(const tuple<_TElements...>& __t,
      |     ^~~~~~~~
/usr/include/c++/14/tuple:2600:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::tuple<_UTypes ...>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
In file included from /usr/include/c++/14/list:65,
                 from a.cc:3:
/usr/include/c++/14/bits/stl_list.h:2188:5: note: candidate: 'template<class _Tp, class _Alloc> bool std::operator<(const __cxx11::list<_Tp, _Alloc>&, const __cxx11::list<_Tp, _Alloc>&)'
 2188 |     operator<(const list<_Tp, _Alloc>& __x, const list<_Tp, _Alloc>& __y)
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_list.h:2188:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::__cxx11::list<_Tp, _Alloc>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
In file included from /usr/include/c++/14/deque:66,
                 from /usr/include/c++/14/queue:62,
                 from a.cc:4:
/usr/include/c++/14/bits/stl_deque.h:2334:5: note: candidate: 'template<class _Tp, class _Alloc> bool std::operator<(const deque<_Tp, _Alloc>&, const deque<_Tp, _Alloc>&)'
 2334 |     operator<(const deque<_Tp, _Alloc>& __x, const deque<_Tp, _Alloc>& __y)
      |     ^~~~~~~~
/usr/include/c++/14/bits/stl_deque.h:2334:5: note:   template argument deduction/substitution failed:
a.cc:54:41: note:   'std::vector<long long int>::iterator' is not derived from 'const std::deque<_Tp, _Alloc>'
   54 |                         if (v.begin() < j)continue;
      |                                         ^
In file included from /usr/include/c++/14/