#include <bits/stdc++.h>
using namespace std;
const long long maxn = 44;
long long u[55];
long long d[55];
long long R[55];
long long ans1[55];
long long ans2[55];
int main(void) {
  int T;
  scanf("%d", &T);
  while (T--) {
    long long a, b, m;
    scanf("%lld %lld %lld", &a, &b, &m);
    if (a == b) {
      printf("1 %lld\n", a);
      continue;
    }
    long long n = 0, flag = 1;
    u[1] = a;
    d[1] = a;
    long long flag2 = 0;
    long long i;
    for (i = 2; i <= 50; i++) {
      u[i] = flag * (a + m);
      d[i] = flag * (a + 1);
      if (b <= u[i] && b >= d[i]) {
        flag2 = i;
        break;
      }
      if (b < d[i]) {
        break;
      }
      flag *= 2;
    }
    if (flag2 == 0) {
      printf("-1\n");
      continue;
    } else {
      long long l = 1, r = m;
      while (l <= r) {
        long long mid = l + r >> 1;
        if (flag * (a + mid) < b) {
          l = mid + 1;
        } else if (flag * (a + mid) > b)
          r = mid - 1;
        else {
          r = mid;
          break;
        }
      }
      long long p = b - flag * (a + r);
      for (long long i = 1; i <= flag2; i++) R[i] = r;
      long long cnt = 1;
      while (p) {
        if (p & 1) {
          R[flag2 - cnt]++;
        }
        cnt++;
        p >>= 1;
      }
      ans1[1] = a;
      ans1[flag2] = b;
      ans2[1] = a;
      printf("%lld %lld", flag2, a);
      for (long long i = 2; i < flag2; i++) {
        ans1[i] = ans2[i - 1] + R[i];
        printf(" %lld", ans1[i]);
        ans2[i] = ans2[i - 1] + ans1[i];
      }
      printf(" %lld\n", b);
    }
  }
  return 0;
}
