#include <stdint.h>
#include <stdlib.h>
static uint64_t seed;
void srand(unsigned s)
{
seed = s - 1;
}
int rand(void)
seed = 6364136223846793005ULL * seed + 1;
return seed >> 33;