proconlib
This documentation is automatically generated by competitive-verifier/competitive-verifier
tests/reverse.test.cpp
- View this file on GitHub
- Last update: 2025-02-10 20:05:30+09:00
Depends on
- Assertion macro (tools/assert_that.hpp)
- Bit width required to represent a given integer (tools/bit_width.hpp)
- $\left\lfloor \log_2(x) \right\rfloor$ (tools/floor_log2.hpp)
- std::is_integral extended for tools::int128_t and tools::uint128_t (tools/is_integral.hpp)
- std::is_signed extended for tools::int128_t and tools::uint128_t (tools/is_signed.hpp)
- std::make_unsigned extended for tools::int128_t and tools::uint128_t (tools/make_unsigned.hpp)
- Bit reverse (tools/reverse.hpp)
Code
// competitive-verifier: STANDALONE
#include <iostream>
#include <cstdint>
#include "tools/assert_that.hpp"
#include "tools/reverse.hpp"
int main() {
std::cin.tie(nullptr);
std::ios_base::sync_with_stdio(false);
assert_that(tools::reverse(false, 0) == false);
assert_that(tools::reverse(false, 1) == false);
assert_that(tools::reverse(true, 1) == true);
assert_that(tools::reverse(INT8_C(0b00000000), 0) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00000000), 1) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00000001), 1) == INT8_C(0b00000001));
assert_that(tools::reverse(INT8_C(0b00000000), 2) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00000001), 2) == INT8_C(0b00000010));
assert_that(tools::reverse(INT8_C(0b00000010), 2) == INT8_C(0b00000001));
assert_that(tools::reverse(INT8_C(0b00000011), 2) == INT8_C(0b00000011));
assert_that(tools::reverse(INT8_C(0b00000000), 5) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00001100), 5) == INT8_C(0b00000110));
assert_that(tools::reverse(INT8_C(0b00011111), 5) == INT8_C(0b00011111));
assert_that(tools::reverse(INT8_C(0b00000000), 6) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00101100), 6) == INT8_C(0b00001101));
assert_that(tools::reverse(INT8_C(0b00111111), 6) == INT8_C(0b00111111));
assert_that(tools::reverse(INT8_C(0b00000000), 7) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00101100), 7) == INT8_C(0b00011010));
assert_that(tools::reverse(INT8_C(0b01111111), 7) == INT8_C(0b01111111));
assert_that(tools::reverse(UINT8_C(0b00000000), 0) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00000000), 1) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00000001), 1) == UINT8_C(0b00000001));
assert_that(tools::reverse(UINT8_C(0b00000000), 2) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00000001), 2) == UINT8_C(0b00000010));
assert_that(tools::reverse(UINT8_C(0b00000010), 2) == UINT8_C(0b00000001));
assert_that(tools::reverse(UINT8_C(0b00000011), 2) == UINT8_C(0b00000011));
assert_that(tools::reverse(UINT8_C(0b00000000), 5) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00001100), 5) == UINT8_C(0b00000110));
assert_that(tools::reverse(UINT8_C(0b00011111), 5) == UINT8_C(0b00011111));
assert_that(tools::reverse(UINT8_C(0b00000000), 7) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00101100), 7) == UINT8_C(0b00011010));
assert_that(tools::reverse(UINT8_C(0b01111111), 7) == UINT8_C(0b01111111));
assert_that(tools::reverse(UINT8_C(0b00000000), 8) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b10101100), 8) == UINT8_C(0b00110101));
assert_that(tools::reverse(UINT8_C(0b11111111), 8) == UINT8_C(0b11111111));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 0) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 1) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000000000001), 1) == INT16_C(0b0000000000000001));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 2) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000000000001), 2) == INT16_C(0b0000000000000010));
assert_that(tools::reverse(INT16_C(0b0000000000000010), 2) == INT16_C(0b0000000000000001));
assert_that(tools::reverse(INT16_C(0b0000000000000011), 2) == INT16_C(0b0000000000000011));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 9) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000010101100), 9) == INT16_C(0b0000000001101010));
assert_that(tools::reverse(INT16_C(0b0000000111111111), 9) == INT16_C(0b0000000111111111));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 14) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0010100010101100), 14) == INT16_C(0b0000110101000101));
assert_that(tools::reverse(INT16_C(0b0011111111111111), 14) == INT16_C(0b0011111111111111));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 15) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0010100010101100), 15) == INT16_C(0b0001101010001010));
assert_that(tools::reverse(INT16_C(0b0111111111111111), 15) == INT16_C(0b0111111111111111));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 0) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 1) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000000000001), 1) == UINT16_C(0b0000000000000001));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 2) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000000000001), 2) == UINT16_C(0b0000000000000010));
assert_that(tools::reverse(UINT16_C(0b0000000000000010), 2) == UINT16_C(0b0000000000000001));
assert_that(tools::reverse(UINT16_C(0b0000000000000011), 2) == UINT16_C(0b0000000000000011));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 9) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000010101100), 9) == UINT16_C(0b0000000001101010));
assert_that(tools::reverse(UINT16_C(0b0000000111111111), 9) == UINT16_C(0b0000000111111111));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 15) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0010100010101100), 15) == UINT16_C(0b0001101010001010));
assert_that(tools::reverse(UINT16_C(0b0111111111111111), 15) == UINT16_C(0b0111111111111111));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 16) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0010100010101100), 16) == UINT16_C(0b0011010100010100));
assert_that(tools::reverse(UINT16_C(0b1111111111111111), 16) == UINT16_C(0b1111111111111111));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 0) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 1) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000001), 1) == INT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 2) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000001), 2) == INT32_C(0b00000000000000000000000000000010));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000010), 2) == INT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000011), 2) == INT32_C(0b00000000000000000000000000000011));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 17) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000010100010101100), 17) == INT32_C(0b00000000000000000110101000101000));
assert_that(tools::reverse(INT32_C(0b00000000000000011111111111111111), 17) == INT32_C(0b00000000000000011111111111111111));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 30) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00100000100010100010100010101100), 30) == INT32_C(0b00001101010001010001010001000001));
assert_that(tools::reverse(INT32_C(0b00111111111111111111111111111111), 30) == INT32_C(0b00111111111111111111111111111111));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 31) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00100000100010100010100010101100), 31) == INT32_C(0b00011010100010100010100010000010));
assert_that(tools::reverse(INT32_C(0b01111111111111111111111111111111), 31) == INT32_C(0b01111111111111111111111111111111));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 0) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 1) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000001), 1) == UINT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 2) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000001), 2) == UINT32_C(0b00000000000000000000000000000010));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000010), 2) == UINT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000011), 2) == UINT32_C(0b00000000000000000000000000000011));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 17) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000010100010101100), 17) == UINT32_C(0b00000000000000000110101000101000));
assert_that(tools::reverse(UINT32_C(0b00000000000000011111111111111111), 17) == UINT32_C(0b00000000000000011111111111111111));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 31) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00100000100010100010100010101100), 31) == UINT32_C(0b00011010100010100010100010000010));
assert_that(tools::reverse(UINT32_C(0b01111111111111111111111111111111), 31) == UINT32_C(0b01111111111111111111111111111111));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 32) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b10100000100010100010100010101100), 32) == UINT32_C(0b00110101000101000101000100000101));
assert_that(tools::reverse(UINT32_C(0b11111111111111111111111111111111), 32) == UINT32_C(0b11111111111111111111111111111111));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 0) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 1) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 1) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000010));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000010), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000011), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000011));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 33) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000010100000100010100010100010101100), 33) == INT64_C(0b0000000000000000000000000000000001101010001010001010001000001010));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000111111111111111111111111111111111), 33) == INT64_C(0b0000000000000000000000000000000111111111111111111111111111111111));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 62) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 62) == INT64_C(0b0000110101000101000101000100000101000001000101000100000100000101));
assert_that(tools::reverse(INT64_C(0b0011111111111111111111111111111111111111111111111111111111111111), 62) == INT64_C(0b0011111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 63) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 63) == INT64_C(0b0001101010001010001010001000001010000010001010001000001000001010));
assert_that(tools::reverse(INT64_C(0b0111111111111111111111111111111111111111111111111111111111111111), 63) == INT64_C(0b0111111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 0) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 1) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 1) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000010));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000010), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000011), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000011));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 33) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000010100000100010100010100010101100), 33) == UINT64_C(0b0000000000000000000000000000000001101010001010001010001000001010));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000111111111111111111111111111111111), 33) == UINT64_C(0b0000000000000000000000000000000111111111111111111111111111111111));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 63) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 63) == UINT64_C(0b0001101010001010001010001000001010000010001010001000001000001010));
assert_that(tools::reverse(UINT64_C(0b0111111111111111111111111111111111111111111111111111111111111111), 63) == UINT64_C(0b0111111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 64) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 64) == UINT64_C(0b0011010100010100010100010000010100000100010100010000010000010100));
assert_that(tools::reverse(UINT64_C(0b1111111111111111111111111111111111111111111111111111111111111111), 64) == UINT64_C(0b1111111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 0) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 1) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000001LL, 1) == 0b0000000000000000000000000000000000000000000000000000000000000001LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000001LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000010LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000010LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000001LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000011LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000011LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 33) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000010100000100010100010100010101100LL, 33) == 0b0000000000000000000000000000000001101010001010001010001000001010LL);
assert_that(tools::reverse(0b0000000000000000000000000000000111111111111111111111111111111111LL, 33) == 0b0000000000000000000000000000000111111111111111111111111111111111LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 62) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0010100000100000100010100010000010100000100010100010100010101100LL, 62) == 0b0000110101000101000101000100000101000001000101000100000100000101LL);
assert_that(tools::reverse(0b0011111111111111111111111111111111111111111111111111111111111111LL, 62) == 0b0011111111111111111111111111111111111111111111111111111111111111LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 63) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0010100000100000100010100010000010100000100010100010100010101100LL, 63) == 0b0001101010001010001010001000001010000010001010001000001000001010LL);
assert_that(tools::reverse(0b0111111111111111111111111111111111111111111111111111111111111111LL, 63) == 0b0111111111111111111111111111111111111111111111111111111111111111LL);
return 0;
}
#line 1 "tests/reverse.test.cpp"
// competitive-verifier: STANDALONE
#include <iostream>
#include <cstdint>
#line 1 "tools/assert_that.hpp"
#line 5 "tools/assert_that.hpp"
#include <cstdlib>
#define assert_that_impl(cond, file, line, func) do {\
if (!cond) {\
::std::cerr << file << ':' << line << ": " << func << ": Assertion `" << #cond << "' failed." << '\n';\
::std::exit(EXIT_FAILURE);\
}\
} while (false)
#define assert_that(...) assert_that_impl((__VA_ARGS__), __FILE__, __LINE__, __func__)
#line 1 "tools/reverse.hpp"
#include <type_traits>
#include <limits>
#include <cstddef>
#include <cassert>
#line 1 "tools/floor_log2.hpp"
#line 1 "tools/bit_width.hpp"
#include <bit>
#line 1 "tools/is_integral.hpp"
#line 5 "tools/is_integral.hpp"
namespace tools {
template <typename T>
struct is_integral : ::std::is_integral<T> {};
template <typename T>
inline constexpr bool is_integral_v = ::tools::is_integral<T>::value;
}
#line 1 "tools/is_signed.hpp"
#line 5 "tools/is_signed.hpp"
namespace tools {
template <typename T>
struct is_signed : ::std::is_signed<T> {};
template <typename T>
inline constexpr bool is_signed_v = ::tools::is_signed<T>::value;
}
#line 1 "tools/make_unsigned.hpp"
#line 5 "tools/make_unsigned.hpp"
namespace tools {
template <typename T>
struct make_unsigned : ::std::make_unsigned<T> {};
template <typename T>
using make_unsigned_t = typename ::tools::make_unsigned<T>::type;
}
#line 10 "tools/bit_width.hpp"
namespace tools {
template <typename T>
constexpr int bit_width(T) noexcept;
template <typename T>
constexpr int bit_width(const T x) noexcept {
static_assert(::tools::is_integral_v<T> && !::std::is_same_v<::std::remove_cv_t<T>, bool>);
if constexpr (::tools::is_signed_v<T>) {
assert(x >= 0);
return ::tools::bit_width<::tools::make_unsigned_t<T>>(x);
} else {
return ::std::bit_width(x);
}
}
}
#line 6 "tools/floor_log2.hpp"
namespace tools {
template <typename T>
constexpr T floor_log2(T x) noexcept {
assert(x > 0);
return ::tools::bit_width(x) - 1;
}
}
#line 10 "tools/reverse.hpp"
namespace tools {
template <typename T>
::std::enable_if_t<::std::is_integral_v<T> && !::std::is_signed_v<T> && ::std::numeric_limits<T>::digits == 1, T> reverse(const T x, const ::std::size_t n) {
assert(n <= ::std::numeric_limits<T>::digits);
assert(!x || n == 1);
return x;
}
template <typename T>
::std::enable_if_t<::std::is_integral_v<T> && !::std::is_signed_v<T> && ::std::numeric_limits<T>::digits == 8, T> reverse(T x, const ::std::size_t n) {
assert(n <= ::std::numeric_limits<T>::digits);
assert(x == 0 || ::tools::floor_log2(x) < n);
x = ((x & UINT8_C(0x55)) << 1) | ((x & UINT8_C(0xAA)) >> 1);
x = ((x & UINT8_C(0x33)) << 2) | ((x & UINT8_C(0xCC)) >> 2);
x = ((x & UINT8_C(0x0F)) << 4) | ((x & UINT8_C(0xF0)) >> 4);
x >>= (::std::numeric_limits<T>::digits - n) & (::std::numeric_limits<T>::digits - 1);
return x;
}
template <typename T>
::std::enable_if_t<::std::is_integral_v<T> && !::std::is_signed_v<T> && ::std::numeric_limits<T>::digits == 16, T> reverse(T x, const ::std::size_t n) {
assert(n <= ::std::numeric_limits<T>::digits);
assert(x == 0 || ::tools::floor_log2(x) < n);
x = ((x & UINT16_C(0x5555)) << 1) | ((x & UINT16_C(0xAAAA)) >> 1);
x = ((x & UINT16_C(0x3333)) << 2) | ((x & UINT16_C(0xCCCC)) >> 2);
x = ((x & UINT16_C(0x0F0F)) << 4) | ((x & UINT16_C(0xF0F0)) >> 4);
x = ((x & UINT16_C(0x00FF)) << 8) | ((x & UINT16_C(0xFF00)) >> 8);
x >>= (::std::numeric_limits<T>::digits - n) & (::std::numeric_limits<T>::digits - 1);
return x;
}
template <typename T>
::std::enable_if_t<::std::is_integral_v<T> && !::std::is_signed_v<T> && ::std::numeric_limits<T>::digits == 32, T> reverse(T x, const ::std::size_t n) {
assert(n <= ::std::numeric_limits<T>::digits);
assert(x == 0 || ::tools::floor_log2(x) < n);
x = ((x & UINT32_C(0x55555555)) << 1) | ((x & UINT32_C(0xAAAAAAAA)) >> 1);
x = ((x & UINT32_C(0x33333333)) << 2) | ((x & UINT32_C(0xCCCCCCCC)) >> 2);
x = ((x & UINT32_C(0x0F0F0F0F)) << 4) | ((x & UINT32_C(0xF0F0F0F0)) >> 4);
x = ((x & UINT32_C(0x00FF00FF)) << 8) | ((x & UINT32_C(0xFF00FF00)) >> 8);
x = ((x & UINT32_C(0x0000FFFF)) << 16) | ((x & UINT32_C(0xFFFF0000)) >> 16);
x >>= (::std::numeric_limits<T>::digits - n) & (::std::numeric_limits<T>::digits - 1);
return x;
}
template <typename T>
::std::enable_if_t<::std::is_integral_v<T> && !::std::is_signed_v<T> && ::std::numeric_limits<T>::digits == 64, T> reverse(T x, const ::std::size_t n) {
assert(n <= ::std::numeric_limits<T>::digits);
assert(x == 0 || ::tools::floor_log2(x) < n);
x = ((x & UINT64_C(0x5555555555555555)) << 1) | ((x & UINT64_C(0xAAAAAAAAAAAAAAAA)) >> 1);
x = ((x & UINT64_C(0x3333333333333333)) << 2) | ((x & UINT64_C(0xCCCCCCCCCCCCCCCC)) >> 2);
x = ((x & UINT64_C(0x0F0F0F0F0F0F0F0F)) << 4) | ((x & UINT64_C(0xF0F0F0F0F0F0F0F0)) >> 4);
x = ((x & UINT64_C(0x00FF00FF00FF00FF)) << 8) | ((x & UINT64_C(0xFF00FF00FF00FF00)) >> 8);
x = ((x & UINT64_C(0x0000FFFF0000FFFF)) << 16) | ((x & UINT64_C(0xFFFF0000FFFF0000)) >> 16);
x = ((x & UINT64_C(0x00000000FFFFFFFF)) << 32) | ((x & UINT64_C(0xFFFFFFFF00000000)) >> 32);
x >>= (::std::numeric_limits<T>::digits - n) & (::std::numeric_limits<T>::digits - 1);
return x;
}
template <typename T>
::std::enable_if_t<::std::is_integral_v<T> && ::std::is_signed_v<T>, T> reverse(const T x, const ::std::size_t n) {
assert(x >= 0);
return ::tools::reverse(static_cast<::std::make_unsigned_t<T>>(x), n);
}
}
#line 7 "tests/reverse.test.cpp"
int main() {
std::cin.tie(nullptr);
std::ios_base::sync_with_stdio(false);
assert_that(tools::reverse(false, 0) == false);
assert_that(tools::reverse(false, 1) == false);
assert_that(tools::reverse(true, 1) == true);
assert_that(tools::reverse(INT8_C(0b00000000), 0) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00000000), 1) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00000001), 1) == INT8_C(0b00000001));
assert_that(tools::reverse(INT8_C(0b00000000), 2) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00000001), 2) == INT8_C(0b00000010));
assert_that(tools::reverse(INT8_C(0b00000010), 2) == INT8_C(0b00000001));
assert_that(tools::reverse(INT8_C(0b00000011), 2) == INT8_C(0b00000011));
assert_that(tools::reverse(INT8_C(0b00000000), 5) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00001100), 5) == INT8_C(0b00000110));
assert_that(tools::reverse(INT8_C(0b00011111), 5) == INT8_C(0b00011111));
assert_that(tools::reverse(INT8_C(0b00000000), 6) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00101100), 6) == INT8_C(0b00001101));
assert_that(tools::reverse(INT8_C(0b00111111), 6) == INT8_C(0b00111111));
assert_that(tools::reverse(INT8_C(0b00000000), 7) == INT8_C(0b00000000));
assert_that(tools::reverse(INT8_C(0b00101100), 7) == INT8_C(0b00011010));
assert_that(tools::reverse(INT8_C(0b01111111), 7) == INT8_C(0b01111111));
assert_that(tools::reverse(UINT8_C(0b00000000), 0) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00000000), 1) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00000001), 1) == UINT8_C(0b00000001));
assert_that(tools::reverse(UINT8_C(0b00000000), 2) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00000001), 2) == UINT8_C(0b00000010));
assert_that(tools::reverse(UINT8_C(0b00000010), 2) == UINT8_C(0b00000001));
assert_that(tools::reverse(UINT8_C(0b00000011), 2) == UINT8_C(0b00000011));
assert_that(tools::reverse(UINT8_C(0b00000000), 5) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00001100), 5) == UINT8_C(0b00000110));
assert_that(tools::reverse(UINT8_C(0b00011111), 5) == UINT8_C(0b00011111));
assert_that(tools::reverse(UINT8_C(0b00000000), 7) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b00101100), 7) == UINT8_C(0b00011010));
assert_that(tools::reverse(UINT8_C(0b01111111), 7) == UINT8_C(0b01111111));
assert_that(tools::reverse(UINT8_C(0b00000000), 8) == UINT8_C(0b00000000));
assert_that(tools::reverse(UINT8_C(0b10101100), 8) == UINT8_C(0b00110101));
assert_that(tools::reverse(UINT8_C(0b11111111), 8) == UINT8_C(0b11111111));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 0) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 1) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000000000001), 1) == INT16_C(0b0000000000000001));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 2) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000000000001), 2) == INT16_C(0b0000000000000010));
assert_that(tools::reverse(INT16_C(0b0000000000000010), 2) == INT16_C(0b0000000000000001));
assert_that(tools::reverse(INT16_C(0b0000000000000011), 2) == INT16_C(0b0000000000000011));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 9) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0000000010101100), 9) == INT16_C(0b0000000001101010));
assert_that(tools::reverse(INT16_C(0b0000000111111111), 9) == INT16_C(0b0000000111111111));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 14) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0010100010101100), 14) == INT16_C(0b0000110101000101));
assert_that(tools::reverse(INT16_C(0b0011111111111111), 14) == INT16_C(0b0011111111111111));
assert_that(tools::reverse(INT16_C(0b0000000000000000), 15) == INT16_C(0b0000000000000000));
assert_that(tools::reverse(INT16_C(0b0010100010101100), 15) == INT16_C(0b0001101010001010));
assert_that(tools::reverse(INT16_C(0b0111111111111111), 15) == INT16_C(0b0111111111111111));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 0) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 1) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000000000001), 1) == UINT16_C(0b0000000000000001));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 2) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000000000001), 2) == UINT16_C(0b0000000000000010));
assert_that(tools::reverse(UINT16_C(0b0000000000000010), 2) == UINT16_C(0b0000000000000001));
assert_that(tools::reverse(UINT16_C(0b0000000000000011), 2) == UINT16_C(0b0000000000000011));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 9) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0000000010101100), 9) == UINT16_C(0b0000000001101010));
assert_that(tools::reverse(UINT16_C(0b0000000111111111), 9) == UINT16_C(0b0000000111111111));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 15) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0010100010101100), 15) == UINT16_C(0b0001101010001010));
assert_that(tools::reverse(UINT16_C(0b0111111111111111), 15) == UINT16_C(0b0111111111111111));
assert_that(tools::reverse(UINT16_C(0b0000000000000000), 16) == UINT16_C(0b0000000000000000));
assert_that(tools::reverse(UINT16_C(0b0010100010101100), 16) == UINT16_C(0b0011010100010100));
assert_that(tools::reverse(UINT16_C(0b1111111111111111), 16) == UINT16_C(0b1111111111111111));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 0) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 1) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000001), 1) == INT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 2) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000001), 2) == INT32_C(0b00000000000000000000000000000010));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000010), 2) == INT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000011), 2) == INT32_C(0b00000000000000000000000000000011));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 17) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00000000000000000010100010101100), 17) == INT32_C(0b00000000000000000110101000101000));
assert_that(tools::reverse(INT32_C(0b00000000000000011111111111111111), 17) == INT32_C(0b00000000000000011111111111111111));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 30) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00100000100010100010100010101100), 30) == INT32_C(0b00001101010001010001010001000001));
assert_that(tools::reverse(INT32_C(0b00111111111111111111111111111111), 30) == INT32_C(0b00111111111111111111111111111111));
assert_that(tools::reverse(INT32_C(0b00000000000000000000000000000000), 31) == INT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(INT32_C(0b00100000100010100010100010101100), 31) == INT32_C(0b00011010100010100010100010000010));
assert_that(tools::reverse(INT32_C(0b01111111111111111111111111111111), 31) == INT32_C(0b01111111111111111111111111111111));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 0) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 1) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000001), 1) == UINT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 2) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000001), 2) == UINT32_C(0b00000000000000000000000000000010));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000010), 2) == UINT32_C(0b00000000000000000000000000000001));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000011), 2) == UINT32_C(0b00000000000000000000000000000011));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 17) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00000000000000000010100010101100), 17) == UINT32_C(0b00000000000000000110101000101000));
assert_that(tools::reverse(UINT32_C(0b00000000000000011111111111111111), 17) == UINT32_C(0b00000000000000011111111111111111));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 31) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b00100000100010100010100010101100), 31) == UINT32_C(0b00011010100010100010100010000010));
assert_that(tools::reverse(UINT32_C(0b01111111111111111111111111111111), 31) == UINT32_C(0b01111111111111111111111111111111));
assert_that(tools::reverse(UINT32_C(0b00000000000000000000000000000000), 32) == UINT32_C(0b00000000000000000000000000000000));
assert_that(tools::reverse(UINT32_C(0b10100000100010100010100010101100), 32) == UINT32_C(0b00110101000101000101000100000101));
assert_that(tools::reverse(UINT32_C(0b11111111111111111111111111111111), 32) == UINT32_C(0b11111111111111111111111111111111));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 0) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 1) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 1) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000010));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000010), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000011), 2) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000011));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 33) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000010100000100010100010100010101100), 33) == INT64_C(0b0000000000000000000000000000000001101010001010001010001000001010));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000111111111111111111111111111111111), 33) == INT64_C(0b0000000000000000000000000000000111111111111111111111111111111111));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 62) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 62) == INT64_C(0b0000110101000101000101000100000101000001000101000100000100000101));
assert_that(tools::reverse(INT64_C(0b0011111111111111111111111111111111111111111111111111111111111111), 62) == INT64_C(0b0011111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 63) == INT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(INT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 63) == INT64_C(0b0001101010001010001010001000001010000010001010001000001000001010));
assert_that(tools::reverse(INT64_C(0b0111111111111111111111111111111111111111111111111111111111111111), 63) == INT64_C(0b0111111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 0) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 1) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 1) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000010));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000010), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000001));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000011), 2) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000011));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 33) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000010100000100010100010100010101100), 33) == UINT64_C(0b0000000000000000000000000000000001101010001010001010001000001010));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000111111111111111111111111111111111), 33) == UINT64_C(0b0000000000000000000000000000000111111111111111111111111111111111));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 63) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 63) == UINT64_C(0b0001101010001010001010001000001010000010001010001000001000001010));
assert_that(tools::reverse(UINT64_C(0b0111111111111111111111111111111111111111111111111111111111111111), 63) == UINT64_C(0b0111111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000), 64) == UINT64_C(0b0000000000000000000000000000000000000000000000000000000000000000));
assert_that(tools::reverse(UINT64_C(0b0010100000100000100010100010000010100000100010100010100010101100), 64) == UINT64_C(0b0011010100010100010100010000010100000100010100010000010000010100));
assert_that(tools::reverse(UINT64_C(0b1111111111111111111111111111111111111111111111111111111111111111), 64) == UINT64_C(0b1111111111111111111111111111111111111111111111111111111111111111));
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 0) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 1) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000001LL, 1) == 0b0000000000000000000000000000000000000000000000000000000000000001LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000001LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000010LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000010LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000001LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000011LL, 2) == 0b0000000000000000000000000000000000000000000000000000000000000011LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 33) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0000000000000000000000000000000010100000100010100010100010101100LL, 33) == 0b0000000000000000000000000000000001101010001010001010001000001010LL);
assert_that(tools::reverse(0b0000000000000000000000000000000111111111111111111111111111111111LL, 33) == 0b0000000000000000000000000000000111111111111111111111111111111111LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 62) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0010100000100000100010100010000010100000100010100010100010101100LL, 62) == 0b0000110101000101000101000100000101000001000101000100000100000101LL);
assert_that(tools::reverse(0b0011111111111111111111111111111111111111111111111111111111111111LL, 62) == 0b0011111111111111111111111111111111111111111111111111111111111111LL);
assert_that(tools::reverse(0b0000000000000000000000000000000000000000000000000000000000000000LL, 63) == 0b0000000000000000000000000000000000000000000000000000000000000000LL);
assert_that(tools::reverse(0b0010100000100000100010100010000010100000100010100010100010101100LL, 63) == 0b0001101010001010001010001000001010000010001010001000001000001010LL);
assert_that(tools::reverse(0b0111111111111111111111111111111111111111111111111111111111111111LL, 63) == 0b0111111111111111111111111111111111111111111111111111111111111111LL);
return 0;
}