#include <stdint.h>
typedef unsigned long long int                                        uintmax_t;

/*
STDC(199901)
*/