#!/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_6862 = ref_278 # MOV operation
ref_7135 = ref_6862 # MOV operation
ref_7143 = (ref_7135 >> (0x3 & 0x3F)) # SHR operation
ref_7150 = ref_7143 # MOV operation
ref_8374 = ref_278 # MOV operation
ref_8497 = ref_8374 # MOV operation
ref_8511 = ((ref_8497 << (0x3D & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_8647 = ref_7150 # MOV operation
ref_8651 = ref_8511 # MOV operation
ref_8653 = (ref_8651 | ref_8647) # OR operation
ref_8806 = ref_8653 # MOV operation
ref_8820 = ((ref_8806 - 0x3FEFFF7F) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_8828 = ref_8820 # MOV operation
ref_8959 = ref_8828 # MOV operation
ref_8961 = ((ref_8959 >> 56) & 0xFF) # Byte reference - MOV operation
ref_8962 = ((ref_8959 >> 48) & 0xFF) # Byte reference - MOV operation
ref_8963 = ((ref_8959 >> 40) & 0xFF) # Byte reference - MOV operation
ref_8964 = ((ref_8959 >> 32) & 0xFF) # Byte reference - MOV operation
ref_8965 = ((ref_8959 >> 24) & 0xFF) # Byte reference - MOV operation
ref_8966 = ((ref_8959 >> 16) & 0xFF) # Byte reference - MOV operation
ref_8967 = ((ref_8959 >> 8) & 0xFF) # Byte reference - MOV operation
ref_8968 = (ref_8959 & 0xFF) # Byte reference - MOV operation
ref_11176 = ref_278 # MOV operation
ref_12297 = ref_8959 # MOV operation
ref_12408 = ref_11176 # MOV operation
ref_12412 = ref_12297 # MOV operation
ref_12414 = (ref_12412 | ref_12408) # OR operation
ref_12567 = ref_12414 # MOV operation
ref_12581 = ((ref_12567 - 0x11E59B96) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_12589 = ref_12581 # MOV operation
ref_12720 = ref_12589 # MOV operation
ref_12722 = ((ref_12720 >> 56) & 0xFF) # Byte reference - MOV operation
ref_12723 = ((ref_12720 >> 48) & 0xFF) # Byte reference - MOV operation
ref_12724 = ((ref_12720 >> 40) & 0xFF) # Byte reference - MOV operation
ref_12725 = ((ref_12720 >> 32) & 0xFF) # Byte reference - MOV operation
ref_12726 = ((ref_12720 >> 24) & 0xFF) # Byte reference - MOV operation
ref_12727 = ((ref_12720 >> 16) & 0xFF) # Byte reference - MOV operation
ref_12728 = ((ref_12720 >> 8) & 0xFF) # Byte reference - MOV operation
ref_12729 = (ref_12720 & 0xFF) # Byte reference - MOV operation
ref_14797 = ref_278 # MOV operation
ref_15918 = ref_8959 # MOV operation
ref_16029 = ref_14797 # MOV operation
ref_16033 = ref_15918 # MOV operation
ref_16035 = (((sx(0x40, ref_16033) * sx(0x40, ref_16029)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_17318 = ref_12720 # MOV operation
ref_17441 = ref_17318 # MOV operation
ref_17455 = ((ref_17441 << (0x7 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_17591 = ref_16035 # MOV operation
ref_17595 = ref_17455 # MOV operation
ref_17597 = (((sx(0x40, ref_17595) * sx(0x40, ref_17591)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_17730 = ref_17597 # MOV operation
ref_19947 = ref_278 # MOV operation
ref_20075 = ref_19947 # MOV operation
ref_20089 = ((ref_20075 - 0x2000000007A4C37E) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_20097 = ref_20089 # MOV operation
ref_20228 = ref_20097 # MOV operation
ref_23545 = ((((ref_8961) << 8 | ref_8962) << 8 | ref_8963) << 8 | ref_8964) # MOV operation
ref_23827 = (ref_23545 & 0xFFFFFFFF) # MOV operation
ref_25857 = ((((ref_8965) << 8 | ref_8966) << 8 | ref_8967) << 8 | ref_8968) # MOV operation
ref_27901 = (ref_25857 & 0xFFFFFFFF) # MOV operation
ref_27903 = (((ref_27901 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_27904 = (((ref_27901 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_27905 = (((ref_27901 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_27906 = ((ref_27901 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_28169 = (ref_23827 & 0xFFFFFFFF) # MOV operation
ref_30213 = (ref_28169 & 0xFFFFFFFF) # MOV operation
ref_30215 = (((ref_30213 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_30216 = (((ref_30213 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_30217 = (((ref_30213 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_30218 = ((ref_30213 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_32623 = ((((((((ref_27903) << 8 | ref_27904) << 8 | ref_27905) << 8 | ref_27906) << 8 | ref_30215) << 8 | ref_30216) << 8 | ref_30217) << 8 | ref_30218) # MOV operation
ref_34304 = ref_17730 # MOV operation
ref_35425 = ref_17730 # MOV operation
ref_35533 = ref_34304 # MOV operation
ref_35537 = ref_35425 # MOV operation
ref_35539 = ((ref_35537 + ref_35533) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_35836 = ref_35539 # MOV operation
ref_35842 = (0x3F & ref_35836) # AND operation
ref_35990 = ref_35842 # MOV operation
ref_36004 = ((ref_35990 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_36140 = ref_32623 # MOV operation
ref_36144 = ref_36004 # MOV operation
ref_36146 = (ref_36144 | ref_36140) # OR operation
ref_36282 = ref_36146 # MOV operation
ref_40019 = ((((ref_12722) << 8 | ref_12723) << 8 | ref_12724) << 8 | ref_12725) # MOV operation
ref_40301 = (ref_40019 & 0xFFFFFFFF) # MOV operation
ref_42331 = ((((ref_12726) << 8 | ref_12727) << 8 | ref_12728) << 8 | ref_12729) # MOV operation
ref_44375 = (ref_42331 & 0xFFFFFFFF) # MOV operation
ref_44377 = (((ref_44375 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_44378 = (((ref_44375 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_44379 = (((ref_44375 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_44380 = ((ref_44375 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_44643 = (ref_40301 & 0xFFFFFFFF) # MOV operation
ref_46687 = (ref_44643 & 0xFFFFFFFF) # MOV operation
ref_46689 = (((ref_46687 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_46690 = (((ref_46687 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_46691 = (((ref_46687 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_46692 = ((ref_46687 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_49097 = ((((((((ref_44377) << 8 | ref_44378) << 8 | ref_44379) << 8 | ref_44380) << 8 | ref_46689) << 8 | ref_46690) << 8 | ref_46691) << 8 | ref_46692) # MOV operation
ref_50778 = ref_20228 # MOV operation
ref_51899 = ref_17730 # MOV operation
ref_52007 = ref_50778 # MOV operation
ref_52011 = ref_51899 # MOV operation
ref_52013 = ((ref_52011 + ref_52007) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_52310 = ref_52013 # MOV operation
ref_52316 = (0x3F & ref_52310) # AND operation
ref_52464 = ref_52316 # MOV operation
ref_52478 = ((ref_52464 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_52614 = ref_49097 # MOV operation
ref_52618 = ref_52478 # MOV operation
ref_52620 = (ref_52618 | ref_52614) # OR operation
ref_52756 = ref_52620 # MOV operation
ref_52758 = ((ref_52756 >> 56) & 0xFF) # Byte reference - MOV operation
ref_52759 = ((ref_52756 >> 48) & 0xFF) # Byte reference - MOV operation
ref_52760 = ((ref_52756 >> 40) & 0xFF) # Byte reference - MOV operation
ref_52761 = ((ref_52756 >> 32) & 0xFF) # Byte reference - MOV operation
ref_52762 = ((ref_52756 >> 24) & 0xFF) # Byte reference - MOV operation
ref_52763 = ((ref_52756 >> 16) & 0xFF) # Byte reference - MOV operation
ref_52764 = ((ref_52756 >> 8) & 0xFF) # Byte reference - MOV operation
ref_52765 = (ref_52756 & 0xFF) # Byte reference - MOV operation
ref_56612 = ref_52760 # MOVZX operation
ref_56864 = (ref_56612 & 0xFF) # MOVZX operation
ref_58750 = ref_52764 # MOVZX operation
ref_60624 = (ref_58750 & 0xFF) # MOVZX operation
ref_60626 = (ref_60624 & 0xFF) # Byte reference - MOV operation
ref_60888 = (ref_56864 & 0xFF) # MOVZX operation
ref_62762 = (ref_60888 & 0xFF) # MOVZX operation
ref_62764 = (ref_62762 & 0xFF) # Byte reference - MOV operation
ref_64840 = ref_17730 # MOV operation
ref_65961 = ref_20228 # MOV operation
ref_66092 = ref_64840 # MOV operation
ref_66096 = ref_65961 # MOV operation
ref_66098 = (ref_66096 & ref_66092) # AND operation
ref_66394 = ref_66098 # MOV operation
ref_66400 = (0xF & ref_66394) # AND operation
ref_66676 = ref_66400 # MOV operation
ref_66682 = (0x1 | ref_66676) # OR operation
ref_67828 = ref_36282 # MOV operation
ref_68949 = ((((((((ref_52758) << 8 | ref_52759) << 8 | ref_60626) << 8 | ref_52761) << 8 | ref_52762) << 8 | ref_52763) << 8 | ref_62764) << 8 | ref_52765) # MOV operation
ref_69057 = ref_67828 # MOV operation
ref_69061 = ref_68949 # MOV operation
ref_69063 = ((ref_69061 + ref_69057) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_69212 = ref_69063 # MOV operation
ref_69224 = ref_66682 # MOV operation
ref_69226 = ((ref_69212 << ((ref_69224 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_70372 = ref_36282 # MOV operation
ref_71493 = ((((((((ref_52758) << 8 | ref_52759) << 8 | ref_60626) << 8 | ref_52761) << 8 | ref_52762) << 8 | ref_52763) << 8 | ref_62764) << 8 | ref_52765) # MOV operation
ref_71601 = ref_70372 # MOV operation
ref_71605 = ref_71493 # MOV operation
ref_71607 = ((ref_71605 + ref_71601) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_72754 = ref_17730 # MOV operation
ref_73875 = ref_20228 # MOV operation
ref_74006 = ref_72754 # MOV operation
ref_74010 = ref_73875 # MOV operation
ref_74012 = (ref_74010 & ref_74006) # AND operation
ref_74308 = ref_74012 # MOV operation
ref_74314 = (0xF & ref_74308) # AND operation
ref_74590 = ref_74314 # MOV operation
ref_74596 = (0x1 | ref_74590) # OR operation
ref_74901 = ref_74596 # MOV operation
ref_74903 = ((0x40 - ref_74901) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_74911 = ref_74903 # MOV operation
ref_75064 = ref_71607 # MOV operation
ref_75068 = ref_74911 # MOV operation
ref_75070 = (ref_75068 & 0xFFFFFFFF) # MOV operation
ref_75072 = (ref_75064 >> ((ref_75070 & 0xFF) & 0x3F)) # SHR operation
ref_75079 = ref_75072 # MOV operation
ref_75210 = ref_69226 # MOV operation
ref_75214 = ref_75079 # MOV operation
ref_75216 = (ref_75214 | ref_75210) # OR operation
ref_75352 = ref_75216 # MOV operation
ref_75636 = ref_75352 # MOV operation
ref_75638 = ref_75636 # MOV operation

print ref_75638 & 0xffffffffffffffff
