#include <bits/stdc++.h>
using namespace std;
template <typename T>
void readV(vector<T> &v, int n) {
  for (int i = 0; i < n; i++) {
    T x;
    cin >> x;
    v.push_back(x);
  }
}
long long next(long long x) {
  int s = 0;
  while (x) {
    s++;
    x >>= 1;
  }
  return s - 1;
}
long long mx(long long x) {
  int n = next(x);
  return (1LL << (n + 1)) + (1LL << n);
}
int main(void) {
  ios::sync_with_stdio(false);
  long long l, r, sz;
  int k;
  scanf("%lld%lld%d", &l, &r, &k);
  sz = r - l + 1;
  vector<long long> ans;
  if (k == 1)
    ans.push_back(l);
  else if (k == 2) {
    if (sz > 2 && ((l ^ (l + 1)) != 1)) l++;
    ans.push_back(l);
    if (l > (l ^ (l + 1))) ans.push_back(l + 1);
  } else if (k == 3) {
    if (mx(l) <= r) {
      ans.push_back(l);
      ans.push_back(mx(l));
      ans.push_back(l ^ mx(l));
    } else {
      if ((l ^ (l + 1)) != 1) l++;
      ans.push_back(l);
      ans.push_back(l + 1);
    }
  } else if (k == 4) {
    if (sz > 4 && (l ^ (l + 1)) != 1) l++;
    if ((l ^ (l + 1)) == 1) {
      ans.push_back(l);
      ans.push_back(l + 1);
      ans.push_back(l + 2);
      ans.push_back(l + 3);
    } else {
      if (mx(l) <= r) {
        ans.push_back(l);
        ans.push_back(mx(l));
        ans.push_back(l ^ mx(l));
      } else {
        if ((l ^ (l + 1)) != 1) l++;
        ans.push_back(l);
        ans.push_back(l + 1);
      }
    }
  } else {
    if ((l ^ (l + 1)) != 1) l++;
    ans.push_back(l);
    ans.push_back(l + 1);
    ans.push_back(l + 2);
    ans.push_back(l + 3);
  }
  long long xo = 0;
  for (int i = 0; i < ans.size(); i++) xo ^= ans[i];
  printf("%lld\n", xo);
  printf("%d\n", ans.size());
  for (int i = 0; i < ans.size(); i++) printf("%lld ", ans[i]);
  printf("\n");
}
