#!/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_5928 = ref_278 # MOV operation
ref_5972 = ref_5928 # MOV operation
ref_5986 = ((ref_5972 - 0x35CEDE6D) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_5994 = ref_5986 # MOV operation
ref_6066 = ref_5994 # MOV operation
ref_7241 = ref_278 # MOV operation
ref_7377 = ref_7241 # MOV operation
ref_7385 = ((((0x0) << 64 | ref_7377) / 0x7) & 0xFFFFFFFFFFFFFFFF) # DIV operation
ref_7458 = ref_7385 # MOV operation
ref_8886 = ref_7458 # MOV operation
ref_8930 = ref_8886 # MOV operation
ref_8944 = (ref_8930 >> (0x3 & 0x3F)) # SHR operation
ref_9105 = ref_8944 # MOV operation
ref_9111 = (0xF & ref_9105) # AND operation
ref_9272 = ref_9111 # MOV operation
ref_9278 = (0x1 | ref_9272) # OR operation
ref_9443 = ref_9278 # MOV operation
ref_9445 = ((0x7A11169 << ((ref_9443 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_10196 = ref_7458 # MOV operation
ref_10240 = ref_10196 # MOV operation
ref_10254 = (ref_10240 >> (0x3 & 0x3F)) # SHR operation
ref_10415 = ref_10254 # MOV operation
ref_10421 = (0xF & ref_10415) # AND operation
ref_10582 = ref_10421 # MOV operation
ref_10588 = (0x1 | ref_10582) # OR operation
ref_10753 = ref_10588 # MOV operation
ref_10755 = ((0x40 - ref_10753) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_10763 = ref_10755 # MOV operation
ref_10923 = ref_10763 # MOV operation
ref_10925 = (0x7A11169 >> ((ref_10923 & 0xFF) & 0x3F)) # SHR operation
ref_11002 = ref_9445 # MOV operation
ref_11006 = ref_10925 # MOV operation
ref_11008 = (ref_11006 | ref_11002) # OR operation
ref_11077 = ref_11008 # MOV operation
ref_11091 = (ref_11077 >> (0x4 & 0x3F)) # SHR operation
ref_11252 = ref_11091 # MOV operation
ref_11258 = (0xF & ref_11252) # AND operation
ref_11419 = ref_11258 # MOV operation
ref_11425 = (0x1 | ref_11419) # OR operation
ref_12007 = ref_278 # MOV operation
ref_12051 = ref_12007 # MOV operation
ref_12063 = ref_11425 # MOV operation
ref_12065 = ((ref_12051 << ((ref_12063 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_12900 = ref_7458 # MOV operation
ref_12944 = ref_12900 # MOV operation
ref_12958 = (ref_12944 >> (0x3 & 0x3F)) # SHR operation
ref_13119 = ref_12958 # MOV operation
ref_13125 = (0xF & ref_13119) # AND operation
ref_13286 = ref_13125 # MOV operation
ref_13292 = (0x1 | ref_13286) # OR operation
ref_13457 = ref_13292 # MOV operation
ref_13459 = ((0x7A11169 << ((ref_13457 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_14210 = ref_7458 # MOV operation
ref_14254 = ref_14210 # MOV operation
ref_14268 = (ref_14254 >> (0x3 & 0x3F)) # SHR operation
ref_14429 = ref_14268 # MOV operation
ref_14435 = (0xF & ref_14429) # AND operation
ref_14596 = ref_14435 # MOV operation
ref_14602 = (0x1 | ref_14596) # OR operation
ref_14767 = ref_14602 # MOV operation
ref_14769 = ((0x40 - ref_14767) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_14777 = ref_14769 # MOV operation
ref_14937 = ref_14777 # MOV operation
ref_14939 = (0x7A11169 >> ((ref_14937 & 0xFF) & 0x3F)) # SHR operation
ref_15016 = ref_13459 # MOV operation
ref_15020 = ref_14939 # MOV operation
ref_15022 = (ref_15020 | ref_15016) # OR operation
ref_15091 = ref_15022 # MOV operation
ref_15105 = (ref_15091 >> (0x4 & 0x3F)) # SHR operation
ref_15266 = ref_15105 # MOV operation
ref_15272 = (0xF & ref_15266) # AND operation
ref_15433 = ref_15272 # MOV operation
ref_15439 = (0x1 | ref_15433) # OR operation
ref_15604 = ref_15439 # MOV operation
ref_15606 = ((0x40 - ref_15604) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_15614 = ref_15606 # MOV operation
ref_16191 = ref_278 # MOV operation
ref_16235 = ref_16191 # MOV operation
ref_16247 = ref_15614 # MOV operation
ref_16249 = (ref_16235 >> ((ref_16247 & 0xFF) & 0x3F)) # SHR operation
ref_16326 = ref_12065 # MOV operation
ref_16330 = ref_16249 # MOV operation
ref_16332 = (ref_16330 | ref_16326) # OR operation
ref_16409 = ref_16332 # MOV operation
ref_17668 = ref_278 # MOV operation
ref_17712 = ref_17668 # MOV operation
ref_17726 = ((ref_17712 - 0x297EE8A1) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_17734 = ref_17726 # MOV operation
ref_17890 = ref_17734 # MOV operation
ref_17896 = (((sx(0x40, 0x1471C5DA) * sx(0x40, ref_17890)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_17970 = ref_17896 # MOV operation
ref_17972 = ((ref_17970 >> 56) & 0xFF) # Byte reference - MOV operation
ref_17973 = ((ref_17970 >> 48) & 0xFF) # Byte reference - MOV operation
ref_17974 = ((ref_17970 >> 40) & 0xFF) # Byte reference - MOV operation
ref_17975 = ((ref_17970 >> 32) & 0xFF) # Byte reference - MOV operation
ref_17976 = ((ref_17970 >> 24) & 0xFF) # Byte reference - MOV operation
ref_17977 = ((ref_17970 >> 16) & 0xFF) # Byte reference - MOV operation
ref_17978 = ((ref_17970 >> 8) & 0xFF) # Byte reference - MOV operation
ref_17979 = (ref_17970 & 0xFF) # Byte reference - MOV operation
ref_19046 = ((ref_17974) << 8 | ref_17975) # MOVZX operation
ref_19188 = (ref_19046 & 0xFFFF) # MOVZX operation
ref_20258 = ((ref_17976) << 8 | ref_17977) # MOVZX operation
ref_21316 = (ref_20258 & 0xFFFF) # MOVZX operation
ref_21470 = (ref_19188 & 0xFFFF) # MOVZX operation
ref_22528 = (ref_21470 & 0xFFFF) # MOVZX operation
ref_22530 = (((ref_22528 & 0xFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_22531 = ((ref_22528 & 0xFFFF) & 0xFF) # Byte reference - MOV operation
ref_29036 = ref_7458 # MOV operation
ref_29762 = ref_16409 # MOV operation
ref_29898 = ref_29762 # MOV operation
ref_29904 = (0x1F & ref_29898) # AND operation
ref_29973 = ref_29904 # MOV operation
ref_29987 = ((ref_29973 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_30064 = ref_29036 # MOV operation
ref_30068 = ref_29987 # MOV operation
ref_30070 = (ref_30068 | ref_30064) # OR operation
ref_30147 = ref_30070 # MOV operation
ref_31407 = ref_30147 # MOV operation
ref_32133 = ref_30147 # MOV operation
ref_32269 = ref_32133 # MOV operation
ref_32275 = (0xF & ref_32269) # AND operation
ref_32344 = ref_32275 # MOV operation
ref_32358 = ((ref_32344 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_32435 = ref_31407 # MOV operation
ref_32439 = ref_32358 # MOV operation
ref_32441 = (ref_32439 | ref_32435) # OR operation
ref_32518 = ref_32441 # MOV operation
ref_33653 = ((ref_17972) << 8 | ref_17973) # MOVZX operation
ref_33795 = (ref_33653 & 0xFFFF) # MOVZX operation
ref_34865 = ((ref_17978) << 8 | ref_17979) # MOVZX operation
ref_35923 = (ref_34865 & 0xFFFF) # MOVZX operation
ref_35925 = (((ref_35923 & 0xFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_35926 = ((ref_35923 & 0xFFFF) & 0xFF) # Byte reference - MOV operation
ref_36077 = (ref_33795 & 0xFFFF) # MOVZX operation
ref_37135 = (ref_36077 & 0xFFFF) # MOVZX operation
ref_38205 = (ref_37135 & 0xFFFF) # MOVZX operation
ref_38347 = (ref_38205 & 0xFFFF) # MOVZX operation
ref_39417 = (ref_21316 & 0xFFFF) # MOVZX operation
ref_40475 = (ref_39417 & 0xFFFF) # MOVZX operation
ref_40477 = (((ref_40475 & 0xFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_40478 = ((ref_40475 & 0xFFFF) & 0xFF) # Byte reference - MOV operation
ref_40629 = (ref_38347 & 0xFFFF) # MOVZX operation
ref_41687 = (ref_40629 & 0xFFFF) # MOVZX operation
ref_41689 = (((ref_41687 & 0xFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_41690 = ((ref_41687 & 0xFFFF) & 0xFF) # Byte reference - MOV operation
ref_43033 = ((((((((ref_35925) << 8 | ref_35926) << 8 | ref_41689) << 8 | ref_41690) << 8 | ref_22530) << 8 | ref_22531) << 8 | ref_40477) << 8 | ref_40478) # MOV operation
ref_43077 = ref_43033 # MOV operation
ref_43091 = (ref_43077 >> (0x2 & 0x3F)) # SHR operation
ref_43252 = ref_43091 # MOV operation
ref_43258 = (0xF & ref_43252) # AND operation
ref_43419 = ref_43258 # MOV operation
ref_43425 = (0x1 | ref_43419) # OR operation
ref_44092 = ref_16409 # MOV operation
ref_44136 = ref_44092 # MOV operation
ref_44148 = ref_43425 # MOV operation
ref_44150 = ((ref_44136 << ((ref_44148 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_44901 = ((((((((ref_35925) << 8 | ref_35926) << 8 | ref_41689) << 8 | ref_41690) << 8 | ref_22530) << 8 | ref_22531) << 8 | ref_40477) << 8 | ref_40478) # MOV operation
ref_44945 = ref_44901 # MOV operation
ref_44959 = (ref_44945 >> (0x2 & 0x3F)) # SHR operation
ref_45120 = ref_44959 # MOV operation
ref_45126 = (0xF & ref_45120) # AND operation
ref_45287 = ref_45126 # MOV operation
ref_45293 = (0x1 | ref_45287) # OR operation
ref_45458 = ref_45293 # MOV operation
ref_45460 = ((0x40 - ref_45458) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_45468 = ref_45460 # MOV operation
ref_46130 = ref_16409 # MOV operation
ref_46174 = ref_46130 # MOV operation
ref_46186 = ref_45468 # MOV operation
ref_46188 = (ref_46174 >> ((ref_46186 & 0xFF) & 0x3F)) # SHR operation
ref_46265 = ref_44150 # MOV operation
ref_46269 = ref_46188 # MOV operation
ref_46271 = (ref_46269 | ref_46265) # OR operation
ref_46340 = ref_46271 # MOV operation
ref_46354 = (ref_46340 >> (0x4 & 0x3F)) # SHR operation
ref_46515 = ref_46354 # MOV operation
ref_46521 = (0xF & ref_46515) # AND operation
ref_46682 = ref_46521 # MOV operation
ref_46688 = (0x1 | ref_46682) # OR operation
ref_47355 = ref_32518 # MOV operation
ref_47491 = ref_47355 # MOV operation
ref_47497 = (0xF & ref_47491) # AND operation
ref_47658 = ref_47497 # MOV operation
ref_47664 = (0x1 | ref_47658) # OR operation
ref_48331 = ref_6066 # MOV operation
ref_48375 = ref_48331 # MOV operation
ref_48387 = ref_47664 # MOV operation
ref_48389 = ((ref_48375 << ((ref_48387 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_49056 = ref_32518 # MOV operation
ref_49192 = ref_49056 # MOV operation
ref_49198 = (0xF & ref_49192) # AND operation
ref_49359 = ref_49198 # MOV operation
ref_49365 = (0x1 | ref_49359) # OR operation
ref_49530 = ref_49365 # MOV operation
ref_49532 = ((0x40 - ref_49530) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_49540 = ref_49532 # MOV operation
ref_50202 = ref_6066 # MOV operation
ref_50246 = ref_50202 # MOV operation
ref_50258 = ref_49540 # MOV operation
ref_50260 = (ref_50246 >> ((ref_50258 & 0xFF) & 0x3F)) # SHR operation
ref_50337 = ref_48389 # MOV operation
ref_50341 = ref_50260 # MOV operation
ref_50343 = (ref_50341 | ref_50337) # OR operation
ref_50412 = ref_50343 # MOV operation
ref_50424 = ref_46688 # MOV operation
ref_50426 = (ref_50412 >> ((ref_50424 & 0xFF) & 0x3F)) # SHR operation
ref_51261 = ((((((((ref_35925) << 8 | ref_35926) << 8 | ref_41689) << 8 | ref_41690) << 8 | ref_22530) << 8 | ref_22531) << 8 | ref_40477) << 8 | ref_40478) # MOV operation
ref_51305 = ref_51261 # MOV operation
ref_51319 = (ref_51305 >> (0x2 & 0x3F)) # SHR operation
ref_51480 = ref_51319 # MOV operation
ref_51486 = (0xF & ref_51480) # AND operation
ref_51647 = ref_51486 # MOV operation
ref_51653 = (0x1 | ref_51647) # OR operation
ref_52320 = ref_16409 # MOV operation
ref_52364 = ref_52320 # MOV operation
ref_52376 = ref_51653 # MOV operation
ref_52378 = ((ref_52364 << ((ref_52376 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_53129 = ((((((((ref_35925) << 8 | ref_35926) << 8 | ref_41689) << 8 | ref_41690) << 8 | ref_22530) << 8 | ref_22531) << 8 | ref_40477) << 8 | ref_40478) # MOV operation
ref_53173 = ref_53129 # MOV operation
ref_53187 = (ref_53173 >> (0x2 & 0x3F)) # SHR operation
ref_53348 = ref_53187 # MOV operation
ref_53354 = (0xF & ref_53348) # AND operation
ref_53515 = ref_53354 # MOV operation
ref_53521 = (0x1 | ref_53515) # OR operation
ref_53686 = ref_53521 # MOV operation
ref_53688 = ((0x40 - ref_53686) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_53696 = ref_53688 # MOV operation
ref_54358 = ref_16409 # MOV operation
ref_54402 = ref_54358 # MOV operation
ref_54414 = ref_53696 # MOV operation
ref_54416 = (ref_54402 >> ((ref_54414 & 0xFF) & 0x3F)) # SHR operation
ref_54493 = ref_52378 # MOV operation
ref_54497 = ref_54416 # MOV operation
ref_54499 = (ref_54497 | ref_54493) # OR operation
ref_54568 = ref_54499 # MOV operation
ref_54582 = (ref_54568 >> (0x4 & 0x3F)) # SHR operation
ref_54743 = ref_54582 # MOV operation
ref_54749 = (0xF & ref_54743) # AND operation
ref_54910 = ref_54749 # MOV operation
ref_54916 = (0x1 | ref_54910) # OR operation
ref_55081 = ref_54916 # MOV operation
ref_55083 = ((0x40 - ref_55081) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_55091 = ref_55083 # MOV operation
ref_55753 = ref_32518 # MOV operation
ref_55889 = ref_55753 # MOV operation
ref_55895 = (0xF & ref_55889) # AND operation
ref_56056 = ref_55895 # MOV operation
ref_56062 = (0x1 | ref_56056) # OR operation
ref_56729 = ref_6066 # MOV operation
ref_56773 = ref_56729 # MOV operation
ref_56785 = ref_56062 # MOV operation
ref_56787 = ((ref_56773 << ((ref_56785 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_57454 = ref_32518 # MOV operation
ref_57590 = ref_57454 # MOV operation
ref_57596 = (0xF & ref_57590) # AND operation
ref_57757 = ref_57596 # MOV operation
ref_57763 = (0x1 | ref_57757) # OR operation
ref_57928 = ref_57763 # MOV operation
ref_57930 = ((0x40 - ref_57928) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_57938 = ref_57930 # MOV operation
ref_58600 = ref_6066 # MOV operation
ref_58644 = ref_58600 # MOV operation
ref_58656 = ref_57938 # MOV operation
ref_58658 = (ref_58644 >> ((ref_58656 & 0xFF) & 0x3F)) # SHR operation
ref_58735 = ref_56787 # MOV operation
ref_58739 = ref_58658 # MOV operation
ref_58741 = (ref_58739 | ref_58735) # OR operation
ref_58810 = ref_58741 # MOV operation
ref_58822 = ref_55091 # MOV operation
ref_58824 = ((ref_58810 << ((ref_58822 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_58901 = ref_50426 # MOV operation
ref_58905 = ref_58824 # MOV operation
ref_58907 = (ref_58905 | ref_58901) # OR operation
ref_58984 = ref_58907 # MOV operation
ref_59138 = ref_58984 # MOV operation
ref_59140 = ref_59138 # MOV operation

print ref_59140 & 0xffffffffffffffff
