=
{
{ 0x0000000000000000 , 0x0000000000000000 },
{ 0x8000000000000000 , 0x8000000000000000 },
{ 0x7ff0000000000000 , 0x7ff0000000000000 },
{ 0x7ff0000000000001 , 0x7ff8000000000001 },
{ 0x7ff7ffffffffffff , 0x7fffffffffffffff },
{ 0x7ff8000000000000 , 0x7ff8000000000000 },
{ 0x7ff8000000000001 , 0x7ff8000000000001 },
{ 0x7fffffffffffffff , 0x7fffffffffffffff },
{ 0xfff0000000000000 , 0xfff0000000000000 },
{ 0xfff0000000000001 , 0xfff8000000000001 },
{ 0xfff7ffffffffffff , 0xffffffffffffffff },
{ 0xfff8000000000000 , 0xfff8000000000000 },
{ 0xfff8000000000001 , 0xfff8000000000001 },
{ 0xffffffffffffffff , 0xffffffffffffffff },
{ 0x386580c747a3402b , 0x0000000000000000 },
{ 0xb74298e6627fb9ed , 0xbff0000000000000 },
{ 0x0ef25f06e414aa2d , 0x0000000000000000 },
{ 0x24002a37167638b5 , 0x0000000000000000 },
{ 0x44258d1be62a0d22 , 0x44258d1be62a0d22 },
{ 0x9ed4e46a65aad464 , 0xbff0000000000000 },
{ 0xc5afcd6f4ae4bf41 , 0xc5afcd6f4ae4bf41 },
{ 0x330fac896cbb01d2 , 0x0000000000000000 },
{ 0xc18026ab4c845405 , 0xc18026ab50000000 },
{ 0x2f42a7dc898a741a , 0x0000000000000000 },
}