#include "xorshift64.h"

uint64_t xors = (uint64_t)0xBF58476D1CE4E5B9;