//#Safe
/* Date: 2015-04-23
*/

procedure main()
{
  assert 0 < 1;
}