using System;
using System.Diagnostics.Contracts;
public class Program
{
public static void Main()
Contract.Requires(1 > 2);
Console.WriteLine("Hello World");
}