#!/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_5710 = ref_278 # MOV operation
ref_5786 = ref_5710 # MOV operation
ref_5800 = ((ref_5786 << (0x3D & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_6638 = ref_278 # MOV operation
ref_6838 = ref_6638 # MOV operation
ref_6846 = (ref_6838 >> (0x3 & 0x3F)) # SHR operation
ref_6853 = ref_6846 # MOV operation
ref_6949 = ref_6853 # MOV operation
ref_6961 = ref_5800 # MOV operation
ref_6963 = (ref_6961 | ref_6949) # OR operation
ref_7064 = ref_6963 # MOV operation
ref_7078 = ((ref_7064 - 0x3FEFFF7F) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_7086 = ref_7078 # MOV operation
ref_8012 = ref_7086 # MOV operation
ref_8014 = ((ref_8012 >> 56) & 0xFF) # Byte reference - MOV operation
ref_8015 = ((ref_8012 >> 48) & 0xFF) # Byte reference - MOV operation
ref_8016 = ((ref_8012 >> 40) & 0xFF) # Byte reference - MOV operation
ref_8017 = ((ref_8012 >> 32) & 0xFF) # Byte reference - MOV operation
ref_8018 = ((ref_8012 >> 24) & 0xFF) # Byte reference - MOV operation
ref_8019 = ((ref_8012 >> 16) & 0xFF) # Byte reference - MOV operation
ref_8020 = ((ref_8012 >> 8) & 0xFF) # Byte reference - MOV operation
ref_8021 = (ref_8012 & 0xFF) # Byte reference - MOV operation
ref_9046 = ref_8012 # MOV operation
ref_9859 = ref_278 # MOV operation
ref_9935 = ref_9859 # MOV operation
ref_9947 = ref_9046 # MOV operation
ref_9949 = (ref_9947 | ref_9935) # OR operation
ref_10050 = ref_9949 # MOV operation
ref_10064 = ((ref_10050 - 0x11E59B96) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_10072 = ref_10064 # MOV operation
ref_10998 = ref_10072 # MOV operation
ref_11000 = ((ref_10998 >> 56) & 0xFF) # Byte reference - MOV operation
ref_11001 = ((ref_10998 >> 48) & 0xFF) # Byte reference - MOV operation
ref_11002 = ((ref_10998 >> 40) & 0xFF) # Byte reference - MOV operation
ref_11003 = ((ref_10998 >> 32) & 0xFF) # Byte reference - MOV operation
ref_11004 = ((ref_10998 >> 24) & 0xFF) # Byte reference - MOV operation
ref_11005 = ((ref_10998 >> 16) & 0xFF) # Byte reference - MOV operation
ref_11006 = ((ref_10998 >> 8) & 0xFF) # Byte reference - MOV operation
ref_11007 = (ref_10998 & 0xFF) # Byte reference - MOV operation
ref_11831 = ref_278 # MOV operation
ref_12729 = ref_8012 # MOV operation
ref_12813 = ref_11831 # MOV operation
ref_12817 = ref_12729 # MOV operation
ref_12819 = (((sx(0x40, ref_12817) * sx(0x40, ref_12813)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_13855 = ref_10998 # MOV operation
ref_13931 = ref_13855 # MOV operation
ref_13945 = ((ref_13931 << (0x7 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_14054 = ref_12819 # MOV operation
ref_14058 = ref_13945 # MOV operation
ref_14060 = (((sx(0x40, ref_14058) * sx(0x40, ref_14054)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_14988 = ref_14060 # MOV operation
ref_15937 = ref_278 # MOV operation
ref_16013 = ref_15937 # MOV operation
ref_16027 = ((ref_16013 - 0x2000000007A4C37E) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_16035 = ref_16027 # MOV operation
ref_16961 = ref_16035 # MOV operation
ref_19686 = ((((ref_8014) << 8 | ref_8015) << 8 | ref_8016) << 8 | ref_8017) # MOV operation
ref_19766 = (ref_19686 & 0xFFFFFFFF) # MOV operation
ref_22890 = ((((ref_8018) << 8 | ref_8019) << 8 | ref_8020) << 8 | ref_8021) # MOV operation
ref_22970 = (ref_22890 & 0xFFFFFFFF) # MOV operation
ref_22972 = (((ref_22970 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_22973 = (((ref_22970 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_22974 = (((ref_22970 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_22975 = ((ref_22970 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_24706 = (ref_19766 & 0xFFFFFFFF) # MOV operation
ref_24786 = (ref_24706 & 0xFFFFFFFF) # MOV operation
ref_24788 = (((ref_24786 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_24789 = (((ref_24786 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_24790 = (((ref_24786 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_24791 = ((ref_24786 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_26136 = ref_14988 # MOV operation
ref_27034 = ref_14988 # MOV operation
ref_27118 = ref_26136 # MOV operation
ref_27122 = ref_27034 # MOV operation
ref_27124 = ((ref_27122 + ref_27118) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_27350 = ref_27124 # MOV operation
ref_27356 = (0x3F & ref_27350) # AND operation
ref_27457 = ref_27356 # MOV operation
ref_27471 = ((ref_27457 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_28482 = ((((((((ref_22972) << 8 | ref_22973) << 8 | ref_22974) << 8 | ref_22975) << 8 | ref_24788) << 8 | ref_24789) << 8 | ref_24790) << 8 | ref_24791) # MOV operation
ref_28558 = ref_28482 # MOV operation
ref_28570 = ref_27471 # MOV operation
ref_28572 = (ref_28570 | ref_28558) # OR operation
ref_29591 = ref_28572 # MOV operation
ref_32636 = ((((ref_11000) << 8 | ref_11001) << 8 | ref_11002) << 8 | ref_11003) # MOV operation
ref_32716 = (ref_32636 & 0xFFFFFFFF) # MOV operation
ref_35840 = ((((ref_11004) << 8 | ref_11005) << 8 | ref_11006) << 8 | ref_11007) # MOV operation
ref_35920 = (ref_35840 & 0xFFFFFFFF) # MOV operation
ref_35922 = (((ref_35920 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_35923 = (((ref_35920 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_35924 = (((ref_35920 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_35925 = ((ref_35920 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_37656 = (ref_32716 & 0xFFFFFFFF) # MOV operation
ref_37736 = (ref_37656 & 0xFFFFFFFF) # MOV operation
ref_37738 = (((ref_37736 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_37739 = (((ref_37736 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_37740 = (((ref_37736 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_37741 = ((ref_37736 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_39086 = ref_16961 # MOV operation
ref_39984 = ref_14988 # MOV operation
ref_40068 = ref_39086 # MOV operation
ref_40072 = ref_39984 # MOV operation
ref_40074 = ((ref_40072 + ref_40068) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_40300 = ref_40074 # MOV operation
ref_40306 = (0x3F & ref_40300) # AND operation
ref_40407 = ref_40306 # MOV operation
ref_40421 = ((ref_40407 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_41432 = ((((((((ref_35922) << 8 | ref_35923) << 8 | ref_35924) << 8 | ref_35925) << 8 | ref_37738) << 8 | ref_37739) << 8 | ref_37740) << 8 | ref_37741) # MOV operation
ref_41508 = ref_41432 # MOV operation
ref_41520 = ref_40421 # MOV operation
ref_41522 = (ref_41520 | ref_41508) # OR operation
ref_42541 = ref_41522 # MOV operation
ref_42543 = ((ref_42541 >> 56) & 0xFF) # Byte reference - MOV operation
ref_42544 = ((ref_42541 >> 48) & 0xFF) # Byte reference - MOV operation
ref_42545 = ((ref_42541 >> 40) & 0xFF) # Byte reference - MOV operation
ref_42546 = ((ref_42541 >> 32) & 0xFF) # Byte reference - MOV operation
ref_42547 = ((ref_42541 >> 24) & 0xFF) # Byte reference - MOV operation
ref_42548 = ((ref_42541 >> 16) & 0xFF) # Byte reference - MOV operation
ref_42549 = ((ref_42541 >> 8) & 0xFF) # Byte reference - MOV operation
ref_42550 = (ref_42541 & 0xFF) # Byte reference - MOV operation
ref_45531 = ref_42545 # MOVZX operation
ref_45735 = (ref_45531 & 0xFF) # MOVZX operation
ref_47251 = ref_42549 # MOVZX operation
ref_48755 = (ref_47251 & 0xFF) # MOVZX operation
ref_48757 = (ref_48755 & 0xFF) # Byte reference - MOV operation
ref_48971 = (ref_45735 & 0xFF) # MOVZX operation
ref_50475 = (ref_48971 & 0xFF) # MOVZX operation
ref_50477 = (ref_50475 & 0xFF) # Byte reference - MOV operation
ref_51385 = ref_29591 # MOV operation
ref_52283 = ((((((((ref_42543) << 8 | ref_42544) << 8 | ref_48757) << 8 | ref_42546) << 8 | ref_42547) << 8 | ref_42548) << 8 | ref_50477) << 8 | ref_42550) # MOV operation
ref_52367 = ref_51385 # MOV operation
ref_52371 = ref_52283 # MOV operation
ref_52373 = ((ref_52371 + ref_52367) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_53413 = ref_14988 # MOV operation
ref_54311 = ref_16961 # MOV operation
ref_54395 = ref_53413 # MOV operation
ref_54399 = ref_54311 # MOV operation
ref_54401 = (ref_54399 & ref_54395) # AND operation
ref_54626 = ref_54401 # MOV operation
ref_54632 = (0xF & ref_54626) # AND operation
ref_54733 = ref_54632 # MOV operation
ref_54747 = (0x1 | ref_54733) # OR operation
ref_54976 = ref_54747 # MOV operation
ref_54978 = ((0x40 - ref_54976) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_54986 = ref_54978 # MOV operation
ref_55090 = ref_52373 # MOV operation
ref_55094 = ref_54986 # MOV operation
ref_55096 = (ref_55094 & 0xFFFFFFFF) # MOV operation
ref_55098 = (ref_55090 >> ((ref_55096 & 0xFF) & 0x3F)) # SHR operation
ref_55105 = ref_55098 # MOV operation
ref_56139 = ref_14988 # MOV operation
ref_57037 = ref_16961 # MOV operation
ref_57121 = ref_56139 # MOV operation
ref_57125 = ref_57037 # MOV operation
ref_57127 = (ref_57125 & ref_57121) # AND operation
ref_57352 = ref_57127 # MOV operation
ref_57358 = (0xF & ref_57352) # AND operation
ref_57459 = ref_57358 # MOV operation
ref_57473 = (0x1 | ref_57459) # OR operation
ref_58396 = ref_29591 # MOV operation
ref_59294 = ((((((((ref_42543) << 8 | ref_42544) << 8 | ref_48757) << 8 | ref_42546) << 8 | ref_42547) << 8 | ref_42548) << 8 | ref_50477) << 8 | ref_42550) # MOV operation
ref_59378 = ref_58396 # MOV operation
ref_59382 = ref_59294 # MOV operation
ref_59384 = ((ref_59382 + ref_59378) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_59486 = ref_59384 # MOV operation
ref_59498 = ref_57473 # MOV operation
ref_59500 = ((ref_59486 << ((ref_59498 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_59601 = ref_59500 # MOV operation
ref_59613 = ref_55105 # MOV operation
ref_59615 = (ref_59613 | ref_59601) # OR operation
ref_60470 = ref_59615 # MOV operation
ref_60681 = ref_60470 # MOV operation
ref_60683 = ref_60681 # MOV operation

print ref_60683 & 0xffffffffffffffff
