#include "3.h"

int t1(void)
{
  return 1;
}