constraints.txt

[<Bool And((num_bytes_9_64 == 0x0), (num_bytes_10_64 == 0x0), ((!And((48 <= file_/dev/stdin_0_0_7_8), (file_/dev/stdin_0_0_7_8[7:6] == 0), (file_/dev/stdin_0_0_7_8[5:0] <= 57)) && (num_bytes_11_64 == 0x0)) || And((48 <= file_/dev/stdin_0_0_7_8), (file_/dev/stdin_0_0_7_8[7:6] == 0), (file_/dev/stdin_0_0_7_8[5:0] <= 57), (num_bytes_11_64 == 0x1))), ((if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) <=s 0x2), ((0x7fffffffffeff78 + (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) .. 0#3)[63:59] == 0), ((0x7fffffffffeff78 + (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 1 else (if (num_bytes_11_64 == 0x0) then 0 else (if (num_bytes_11_64 == 0x1) then 0 else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8)))[31:31] else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0]))[31:31] else 0))))))))))) .. (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) .. 0#3) <= 0x7fffffffffeff88))>, <Bool ((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) >= 0x7fffffffffeff78>, <Bool Or((((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff78), (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff80), (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff88))>, <Bool Or((Reverse((if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff88) then 0x607400000000000 else (if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff80) then 0xfb06400000000000 else 0xf006400000000000))) == 0x4006f0), (Reverse((if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff88) then 0x607400000000000 else (if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff80) then 0xfb06400000000000 else 0xf006400000000000))) == 0x4006fb), (Reverse((if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff88) then 0x607400000000000 else (if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff80) then 0xfb06400000000000 else 0xf006400000000000))) == 0x400706))>, <Bool Reverse((if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff88) then 0x607400000000000 else (if (((0x7fffffffffeffa8 + (SignExt(32L, (if (0x7fffffffffffffff <= (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#120 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#120 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0))))))))))) then 0xffffffff else (if (num_bytes_11_64 == 0x0) then 0x0 else (if (num_bytes_11_64 == 0x1) then 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8) else (if (num_bytes_11_64 == 0x2) then (0xd0 + (0xa * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x3) then (0x8f0 + (0x64 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x4) then (0x5a30 + (0x3e8 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x5) then (0x386b0 + (0x2710 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x6) then (0x2343b0 + (0x186a0 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x7) then (0x160a5b0 + (0xf4240 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x8) then (0xdc679b0 + (0x989680 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) else (if (num_bytes_11_64 == 0x9) then ((0x89c0c0e0 + (0x5f5e100 * 0x0#24 .. (208 + file_/dev/stdin_0_0_7_8))) + 0x0#24 .. (208 + mem_9000000000000028_6_64[7:0])) else 0x0)))))))))))) << 0x3)) + 0xffffffffffffffd0) == 0x7fffffffffeff80) then 0xfb06400000000000 else 0xf006400000000000))) == 0x4006fb>]

test_angr_function_table.c

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
// Declare all funtions at the beginning

int func1();
int func2();
int func3();

int main() {
    int (*func_table[3])();
    func_table[0] = &func1;
    func_table[1] = &func2;
    func_table[2] = &func3;

    char buf[2];
    buf[1]=0;

    int offset;
    read(0,buf,1);
    read(0,&offset,1);
    offset = atoi(buf);
    if (offset > 2) return 1;
    printf("%d\n", (func_table[offset])());

    return 0;
}

int func1() {
    return 1;
}

int func2() {
    return 2;
}

int func3() {
    return 3;
}

test_solve.py

import angr
import logging

p = angr.Project('test_angr_function_table.out', load_options={'auto_load_libs':False})

state = p.factory.entry_state()
path = p.factory.path(state)
pathgroup = p.factory.path_group(path)
logging.basicConfig(level=logging.DEBUG)

pathgroup.explore(find=0x4006fb)
found = pathgroup.found

if len(found) > 0:
    print pathgroup.found[0].state.se.constraints