// Generated by Fuzzlyn v3.3 on 2026-01-24 18:57:51
// Run on X86 Windows
// Seed: 1391773829286756241-vectort,vector128,vector256,x86aes,x86avx,x86avx2,x86avx512bw,x86avx512bwvl,x86avx512cd,x86avx512cdvl,x86avx512dq,x86avx512dqvl,x86avx512f,x86avx512fvl,x86bmi1,x86bmi2,x86fma,x86lzcnt,x86pclmulqdq,x86popcnt,x86sse,x86sse2,x86sse3,x86sse41,x86sse42,x86ssse3,x86x86base
// Reduced from 51.8 KiB to 0.2 KiB in 00:01:36
// Debug: Prints 0 line(s)
// Release: Prints 1 line(s)
public class Program
{
    public static sbyte s_4 = 1;
    public static void Main()
    {
        if (35009 > (1264240267 & (sbyte)(-s_4)))
        {
            System.Console.WriteLine(1UL);
        }
    }
}