2067: [USACO 2025 US Open Contest, Silver] Problem 1. Sequence Construction

文件提交:无需freopen 内存限制:256 MB 时间限制:16.000 S
评测方式:普通裁判 命题人:
提交:2 解决:0

题目描述

Lately, the cows on Farmer John's farm have been infatuated with watching the show Apothecowry Dairies. The show revolves around a clever bovine sleuth CowCow solving problems of various kinds. Bessie found a new problem from the show, but the solution won't be revealed until the next episode in a week! Please solve the problem for her.

You are given integers  and  . Please choose a positive integer  and construct a sequence  of non-negative integers such that the following conditions are satisfied:

If no such sequence exists, print .

 is the number of bits equal to  in the binary representation of the integer . For instance, the popcount of  is and the popcount of  is .

 is the bitwise xor operator.

The input will consist of  () independent test cases.

输入

The first line contains .

The first and only line of each test case has  and . 

It is guaranteed that all test cases are unique.

输出

Output the solutions for  test cases as follows:

If no answer exists, the only line for that test case should be .

Otherwise, the first line for that test case should be a single integer , the length of the sequence -- ().

The second line for that test case should contain  space-separated integers that satisfy the conditions -- ().

样例输入

3
2 1
33 5
10 5

样例输出

2
2 0
3
3 23 7 
-1

提示

n the first test case, the elements in the array  sum to . The xor sum of popcounts is . Thus, all the conditions are satisfied.

In the second test case, the elements in the array  sum to . The xor sum of the popcounts is . Thus, all conditions are satisfied.

Other valid arrays are  and .

It can be shown that no valid arrays exist for the third test case.

SCORING:

  • Input 2: 
  • Inputs 3-5: 
  • Inputs 6-18: No additional constraints.

来源/分类