#include <stdio.h>

void
main(void)
{
}