#ifndef UINT64_H
#define UINT64_H
#include <inttypes.h>
typedef uint64_t uint64;
typedef int64_t int64;
#endif