4325987397987458979875737589783
2439674515119108242643169132064;
0xfffffffdfffffffffffffffffffffffe 0 0xfffffffdffffffffffffffffffffffff 1;
4325987397987458979875737589783
2439674515119108242643169132064;
0xfffffffdfffffffffffffffffffffffe 0 0xfffffffdffffffffffffffffffffffff 1;