// Generated by Fuzzlyn v1.5 on 2023-04-23 16:11:05
// Run on Arm64 Linux
// Seed: 17525435962662079854
// Reduced from 204.8 KiB to 0.2 KiB in 00:02:20
// Debug: Prints 0 line(s)
// Release: Prints 1 line(s)
public class Program
{
    public static uint s_2;
    public static void Main()
    {
        int vr0 = default(int);
        if (56058 < (uint)(-s_2))
        {
            System.Console.WriteLine(vr0);
        }
    }
}