#!/usr/bin/env python2
## -*- coding: utf-8 -*-

import sys

def sx(bits, value):
    sign_bit = 1 << (bits - 1)
    return (value & (sign_bit - 1)) - (value & sign_bit)

SymVar_0 = int(sys.argv[1])

ref_263 = SymVar_0
ref_278 = ref_263 # MOV operation
ref_5424 = ref_278 # MOV operation
ref_5466 = ref_5424 # MOV operation
ref_5474 = ((ref_5466 << (0x33 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_5481 = ref_5474 # MOV operation
ref_5868 = ref_278 # MOV operation
ref_5910 = ref_5868 # MOV operation
ref_5918 = (ref_5910 >> (0xD & 0x3F)) # SHR operation
ref_5925 = ref_5918 # MOV operation
ref_5957 = ref_5925 # MOV operation
ref_5969 = ref_5481 # MOV operation
ref_5971 = (ref_5969 | ref_5957) # OR operation
ref_6008 = ref_5971 # MOV operation
ref_6022 = ((0x2EA4A1C39AF5800 + ref_6008) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_6062 = ref_6022 # MOV operation
ref_6688 = ref_6062 # MOV operation
ref_7117 = ref_278 # MOV operation
ref_7149 = ref_7117 # MOV operation
ref_7161 = ref_6688 # MOV operation
ref_7163 = ((ref_7149 - ref_7161) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_7171 = ref_7163 # MOV operation
ref_7205 = ref_7171 # MOV operation
ref_7880 = ref_278 # MOV operation
ref_7922 = ref_7880 # MOV operation
ref_7930 = (ref_7922 >> (0x37 & 0x3F)) # SHR operation
ref_7937 = ref_7930 # MOV operation
ref_8324 = ref_278 # MOV operation
ref_8366 = ref_8324 # MOV operation
ref_8374 = ((ref_8366 << (0x9 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_8381 = ref_8374 # MOV operation
ref_8413 = ref_8381 # MOV operation
ref_8425 = ref_7937 # MOV operation
ref_8427 = (ref_8425 | ref_8413) # OR operation
ref_8466 = ref_8427 # MOV operation
ref_9149 = ref_278 # MOV operation
ref_9181 = ref_9149 # MOV operation
ref_9195 = (0x3E908497 | ref_9181) # OR operation
ref_9234 = ref_9195 # MOV operation
ref_9686 = ref_9234 # MOV operation
ref_9960 = ref_8466 # MOV operation
ref_9992 = ref_9960 # MOV operation
ref_10004 = ref_9686 # MOV operation
ref_10006 = ((ref_9992 - ref_10004) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_10014 = ref_10006 # MOV operation
ref_10394 = ref_6062 # MOV operation
ref_10686 = ref_7205 # MOV operation
ref_10736 = ref_10686 # MOV operation
ref_10750 = (ref_10736 >> (0x2 & 0x3F)) # SHR operation
ref_10905 = ref_10750 # MOV operation
ref_10911 = (0xF & ref_10905) # AND operation
ref_10948 = ref_10911 # MOV operation
ref_10962 = (0x1 | ref_10948) # OR operation
ref_11029 = ref_10962 # MOV operation
ref_11031 = ((0x40 - ref_11029) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_11039 = ref_11031 # MOV operation
ref_11071 = ref_10394 # MOV operation
ref_11083 = ref_11039 # MOV operation
ref_11085 = ((ref_11071 << ((ref_11083 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_11470 = ref_6062 # MOV operation
ref_11762 = ref_7205 # MOV operation
ref_11812 = ref_11762 # MOV operation
ref_11826 = (ref_11812 >> (0x2 & 0x3F)) # SHR operation
ref_11981 = ref_11826 # MOV operation
ref_11987 = (0xF & ref_11981) # AND operation
ref_12024 = ref_11987 # MOV operation
ref_12038 = (0x1 | ref_12024) # OR operation
ref_12075 = ref_11470 # MOV operation
ref_12087 = ref_12038 # MOV operation
ref_12089 = (ref_12075 >> ((ref_12087 & 0xFF) & 0x3F)) # SHR operation
ref_12126 = ref_12089 # MOV operation
ref_12138 = ref_11085 # MOV operation
ref_12140 = (ref_12138 | ref_12126) # OR operation
ref_12171 = ref_12140 # MOV operation
ref_12183 = ref_10014 # MOV operation
ref_12185 = ((ref_12171 - ref_12183) & 0xFFFFFFFFFFFFFFFF) # CMP operation
ref_12187 = ((((ref_12171 ^ (ref_12183 ^ ref_12185)) ^ ((ref_12171 ^ ref_12185) & (ref_12171 ^ ref_12183))) >> 63) & 0x1) # Carry flag
ref_12193 = ((((ref_12183 >> 8) & 0xFFFFFFFFFFFFFF)) << 8 | (0x1 if (ref_12187 == 0x1) else 0x0)) # SETB operation
ref_12195 = (ref_12193 & 0xFF) # MOVZX operation
ref_12213 = (ref_12195 & 0xFFFFFFFF) # MOV operation
ref_12215 = ((ref_12213 & 0xFFFFFFFF) & (ref_12213 & 0xFFFFFFFF)) # TEST operation
ref_12220 = (0x1 if (ref_12215 == 0x0) else 0x0) # Zero flag
ref_12222 = (0x26A0 if (ref_12220 == 0x1) else 0x2682) # Program Counter


if (ref_12220 == 0x1):
    ref_22728 = SymVar_0
    ref_22743 = ref_22728 # MOV operation
    ref_27894 = ref_22743 # MOV operation
    ref_27936 = ref_27894 # MOV operation
    ref_27944 = ((ref_27936 << (0x33 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_27951 = ref_27944 # MOV operation
    ref_28338 = ref_22743 # MOV operation
    ref_28380 = ref_28338 # MOV operation
    ref_28388 = (ref_28380 >> (0xD & 0x3F)) # SHR operation
    ref_28395 = ref_28388 # MOV operation
    ref_28427 = ref_28395 # MOV operation
    ref_28439 = ref_27951 # MOV operation
    ref_28441 = (ref_28439 | ref_28427) # OR operation
    ref_28478 = ref_28441 # MOV operation
    ref_28492 = ((0x2EA4A1C39AF5800 + ref_28478) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_28532 = ref_28492 # MOV operation
    ref_29158 = ref_28532 # MOV operation
    ref_29587 = ref_22743 # MOV operation
    ref_29619 = ref_29587 # MOV operation
    ref_29631 = ref_29158 # MOV operation
    ref_29633 = ((ref_29619 - ref_29631) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_29641 = ref_29633 # MOV operation
    ref_29675 = ref_29641 # MOV operation
    ref_30350 = ref_22743 # MOV operation
    ref_30392 = ref_30350 # MOV operation
    ref_30400 = (ref_30392 >> (0x37 & 0x3F)) # SHR operation
    ref_30407 = ref_30400 # MOV operation
    ref_30794 = ref_22743 # MOV operation
    ref_30836 = ref_30794 # MOV operation
    ref_30844 = ((ref_30836 << (0x9 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_30851 = ref_30844 # MOV operation
    ref_30883 = ref_30851 # MOV operation
    ref_30895 = ref_30407 # MOV operation
    ref_30897 = (ref_30895 | ref_30883) # OR operation
    ref_30936 = ref_30897 # MOV operation
    ref_31619 = ref_22743 # MOV operation
    ref_31651 = ref_31619 # MOV operation
    ref_31665 = (0x3E908497 | ref_31651) # OR operation
    ref_31704 = ref_31665 # MOV operation
    ref_35649 = ref_28532 # MOV operation
    ref_35941 = ref_29675 # MOV operation
    ref_35991 = ref_35941 # MOV operation
    ref_36005 = (ref_35991 >> (0x4 & 0x3F)) # SHR operation
    ref_36160 = ref_36005 # MOV operation
    ref_36166 = (0xF & ref_36160) # AND operation
    ref_36203 = ref_36166 # MOV operation
    ref_36217 = (0x1 | ref_36203) # OR operation
    ref_36284 = ref_36217 # MOV operation
    ref_36286 = ((0x40 - ref_36284) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_36294 = ref_36286 # MOV operation
    ref_36326 = ref_35649 # MOV operation
    ref_36338 = ref_36294 # MOV operation
    ref_36340 = (ref_36326 >> ((ref_36338 & 0xFF) & 0x3F)) # SHR operation
    ref_36725 = ref_28532 # MOV operation
    ref_37017 = ref_29675 # MOV operation
    ref_37067 = ref_37017 # MOV operation
    ref_37081 = (ref_37067 >> (0x4 & 0x3F)) # SHR operation
    ref_37236 = ref_37081 # MOV operation
    ref_37242 = (0xF & ref_37236) # AND operation
    ref_37279 = ref_37242 # MOV operation
    ref_37293 = (0x1 | ref_37279) # OR operation
    ref_37330 = ref_36725 # MOV operation
    ref_37342 = ref_37293 # MOV operation
    ref_37344 = ((ref_37330 << ((ref_37342 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_37381 = ref_37344 # MOV operation
    ref_37393 = ref_36340 # MOV operation
    ref_37395 = (ref_37393 | ref_37381) # OR operation
    ref_37798 = ref_31704 # MOV operation
    ref_38072 = ref_30936 # MOV operation
    ref_38104 = ref_38072 # MOV operation
    ref_38116 = ref_37798 # MOV operation
    ref_38118 = (ref_38116 | ref_38104) # OR operation
    ref_38173 = ref_38118 # MOV operation
    ref_38187 = (ref_38173 >> (0x4 & 0x3F)) # SHR operation
    ref_38342 = ref_38187 # MOV operation
    ref_38348 = (0x7 & ref_38342) # AND operation
    ref_38385 = ref_38348 # MOV operation
    ref_38399 = (0x1 | ref_38385) # OR operation
    ref_38436 = ref_37395 # MOV operation
    ref_38448 = ref_38399 # MOV operation
    ref_38450 = (ref_38436 >> ((ref_38448 & 0xFF) & 0x3F)) # SHR operation
    ref_38489 = ref_38450 # MOV operation
    ref_38716 = ref_38489 # MOV operation
    ref_38718 = ref_38716 # MOV operation
    endb = ref_38718


else:
    ref_263 = SymVar_0
    ref_278 = ref_263 # MOV operation
    ref_5424 = ref_278 # MOV operation
    ref_5466 = ref_5424 # MOV operation
    ref_5474 = ((ref_5466 << (0x33 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_5481 = ref_5474 # MOV operation
    ref_5868 = ref_278 # MOV operation
    ref_5910 = ref_5868 # MOV operation
    ref_5918 = (ref_5910 >> (0xD & 0x3F)) # SHR operation
    ref_5925 = ref_5918 # MOV operation
    ref_5957 = ref_5925 # MOV operation
    ref_5969 = ref_5481 # MOV operation
    ref_5971 = (ref_5969 | ref_5957) # OR operation
    ref_6008 = ref_5971 # MOV operation
    ref_6022 = ((0x2EA4A1C39AF5800 + ref_6008) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_6062 = ref_6022 # MOV operation
    ref_6688 = ref_6062 # MOV operation
    ref_7117 = ref_278 # MOV operation
    ref_7149 = ref_7117 # MOV operation
    ref_7161 = ref_6688 # MOV operation
    ref_7163 = ((ref_7149 - ref_7161) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_7171 = ref_7163 # MOV operation
    ref_7205 = ref_7171 # MOV operation
    ref_7207 = ((ref_7205 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_7208 = ((ref_7205 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_7209 = ((ref_7205 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_7210 = ((ref_7205 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_7211 = ((ref_7205 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_7212 = ((ref_7205 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_7213 = ((ref_7205 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_7214 = (ref_7205 & 0xFF) # Byte reference - MOV operation
    ref_7880 = ref_278 # MOV operation
    ref_7922 = ref_7880 # MOV operation
    ref_7930 = (ref_7922 >> (0x37 & 0x3F)) # SHR operation
    ref_7937 = ref_7930 # MOV operation
    ref_8324 = ref_278 # MOV operation
    ref_8366 = ref_8324 # MOV operation
    ref_8374 = ((ref_8366 << (0x9 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_8381 = ref_8374 # MOV operation
    ref_8413 = ref_8381 # MOV operation
    ref_8425 = ref_7937 # MOV operation
    ref_8427 = (ref_8425 | ref_8413) # OR operation
    ref_8466 = ref_8427 # MOV operation
    ref_9149 = ref_278 # MOV operation
    ref_9181 = ref_9149 # MOV operation
    ref_9195 = (0x3E908497 | ref_9181) # OR operation
    ref_9234 = ref_9195 # MOV operation
    ref_12778 = ((((ref_7207) << 8 | ref_7208) << 8 | ref_7209) << 8 | ref_7210) # MOV operation
    ref_12852 = (ref_12778 & 0xFFFFFFFF) # MOV operation
    ref_13388 = ((((ref_7211) << 8 | ref_7212) << 8 | ref_7213) << 8 | ref_7214) # MOV operation
    ref_13942 = (ref_13388 & 0xFFFFFFFF) # MOV operation
    ref_13944 = (((ref_13942 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_13945 = (((ref_13942 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_13946 = (((ref_13942 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_13947 = ((ref_13942 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_13992 = (ref_12852 & 0xFFFFFFFF) # MOV operation
    ref_14526 = (ref_13992 & 0xFFFFFFFF) # MOV operation
    ref_14528 = (((ref_14526 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_14529 = (((ref_14526 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_14530 = (((ref_14526 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_14531 = ((ref_14526 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_15148 = ref_6062 # MOV operation
    ref_15198 = ref_15148 # MOV operation
    ref_15212 = (0x3F & ref_15198) # AND operation
    ref_15267 = ref_15212 # MOV operation
    ref_15281 = ((ref_15267 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_15666 = ref_6062 # MOV operation
    ref_15690 = ref_15666 # MOV operation
    ref_15694 = ref_15281 # MOV operation
    ref_15696 = (ref_15694 | ref_15690) # OR operation
    ref_15727 = ref_15696 # MOV operation
    ref_16353 = ref_15727 # MOV operation
    ref_16403 = ref_16353 # MOV operation
    ref_16417 = (0x1F & ref_16403) # AND operation
    ref_16472 = ref_16417 # MOV operation
    ref_16486 = ((ref_16472 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_16871 = ref_9234 # MOV operation
    ref_16895 = ref_16871 # MOV operation
    ref_16899 = ref_16486 # MOV operation
    ref_16901 = (ref_16899 | ref_16895) # OR operation
    ref_16932 = ref_16901 # MOV operation
    ref_17510 = ref_8466 # MOV operation
    ref_17784 = ref_15727 # MOV operation
    ref_17816 = ref_17784 # MOV operation
    ref_17828 = ref_17510 # MOV operation
    ref_17830 = ((ref_17828 + ref_17816) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_17886 = ref_17830 # MOV operation
    ref_17900 = (0x1F & ref_17886) # AND operation
    ref_18055 = ref_17900 # MOV operation
    ref_18063 = ((ref_18055 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_18070 = ref_18063 # MOV operation
    ref_18300 = ref_15727 # MOV operation
    ref_18318 = ref_18300 # MOV operation
    ref_18330 = ref_18070 # MOV operation
    ref_18332 = (ref_18330 | ref_18318) # OR operation
    ref_18371 = ref_18332 # MOV operation
    ref_19339 = ref_18371 # MOV operation
    ref_19631 = ((((((((ref_13944) << 8 | ref_13945) << 8 | ref_13946) << 8 | ref_13947) << 8 | ref_14528) << 8 | ref_14529) << 8 | ref_14530) << 8 | ref_14531) # MOV operation
    ref_19681 = ref_19631 # MOV operation
    ref_19695 = (ref_19681 >> (0x4 & 0x3F)) # SHR operation
    ref_19850 = ref_19695 # MOV operation
    ref_19856 = (0xF & ref_19850) # AND operation
    ref_19893 = ref_19856 # MOV operation
    ref_19907 = (0x1 | ref_19893) # OR operation
    ref_19974 = ref_19907 # MOV operation
    ref_19976 = ((0x40 - ref_19974) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_19984 = ref_19976 # MOV operation
    ref_20016 = ref_19339 # MOV operation
    ref_20028 = ref_19984 # MOV operation
    ref_20030 = (ref_20016 >> ((ref_20028 & 0xFF) & 0x3F)) # SHR operation
    ref_20415 = ref_18371 # MOV operation
    ref_20707 = ((((((((ref_13944) << 8 | ref_13945) << 8 | ref_13946) << 8 | ref_13947) << 8 | ref_14528) << 8 | ref_14529) << 8 | ref_14530) << 8 | ref_14531) # MOV operation
    ref_20757 = ref_20707 # MOV operation
    ref_20771 = (ref_20757 >> (0x4 & 0x3F)) # SHR operation
    ref_20926 = ref_20771 # MOV operation
    ref_20932 = (0xF & ref_20926) # AND operation
    ref_20969 = ref_20932 # MOV operation
    ref_20983 = (0x1 | ref_20969) # OR operation
    ref_21020 = ref_20415 # MOV operation
    ref_21032 = ref_20983 # MOV operation
    ref_21034 = ((ref_21020 << ((ref_21032 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_21071 = ref_21034 # MOV operation
    ref_21083 = ref_20030 # MOV operation
    ref_21085 = (ref_21083 | ref_21071) # OR operation
    ref_21488 = ref_16932 # MOV operation
    ref_21762 = ref_8466 # MOV operation
    ref_21794 = ref_21762 # MOV operation
    ref_21806 = ref_21488 # MOV operation
    ref_21808 = (ref_21806 | ref_21794) # OR operation
    ref_21863 = ref_21808 # MOV operation
    ref_21877 = (ref_21863 >> (0x4 & 0x3F)) # SHR operation
    ref_22032 = ref_21877 # MOV operation
    ref_22038 = (0x7 & ref_22032) # AND operation
    ref_22075 = ref_22038 # MOV operation
    ref_22089 = (0x1 | ref_22075) # OR operation
    ref_22126 = ref_21085 # MOV operation
    ref_22138 = ref_22089 # MOV operation
    ref_22140 = (ref_22126 >> ((ref_22138 & 0xFF) & 0x3F)) # SHR operation
    ref_22179 = ref_22140 # MOV operation
    ref_22406 = ref_22179 # MOV operation
    ref_22408 = ref_22406 # MOV operation
    endb = ref_22408


print endb & 0xffffffffffffffff
