=
{
{ 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 },
{ 0x84be2329aed66ce1 , 0x8000000000000000 },
{ 0xf1499052ebe9bbf1 , 0xf1499052ebe9bbf1 },
{ 0x3cdba6b3993e0c87 , 0x3ff0000000000000 },
{ 0x1c0d5e24de47b706 , 0x3ff0000000000000 },
{ 0xc84d12b3a68bbb43 , 0xc84d12b3a68bbb43 },
{ 0x7d5a031f1f253809 , 0x7d5a031f1f253809 },
{ 0xfccbd45d3b45f596 , 0xfccbd45d3b45f596 },
{ 0x0a890d1332aedb1c , 0x3ff0000000000000 },
{ 0xee509a20fd367840 , 0xee509a20fd367840 },
{ 0xf6324912dc497d9e , 0xf6324912dc497d9e },
}