#!/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_20227 = ref_278 # MOV operation
ref_21817 = ref_20227 # MOV operation
ref_21825 = (ref_21817 >> (0x5 & 0x3F)) # SHR operation
ref_21832 = ref_21825 # MOV operation
ref_22173 = ref_21832 # MOV operation
ref_22187 = (0x1376783EF7559EA & ref_22173) # AND operation
ref_22391 = ref_22187 # MOV operation
ref_22393 = ((ref_22391 >> 56) & 0xFF) # Byte reference - MOV operation
ref_22394 = ((ref_22391 >> 48) & 0xFF) # Byte reference - MOV operation
ref_22395 = ((ref_22391 >> 40) & 0xFF) # Byte reference - MOV operation
ref_22396 = ((ref_22391 >> 32) & 0xFF) # Byte reference - MOV operation
ref_22397 = ((ref_22391 >> 24) & 0xFF) # Byte reference - MOV operation
ref_22398 = ((ref_22391 >> 16) & 0xFF) # Byte reference - MOV operation
ref_22399 = ((ref_22391 >> 8) & 0xFF) # Byte reference - MOV operation
ref_22400 = (ref_22391 & 0xFF) # Byte reference - MOV operation
ref_36171 = ref_278 # MOV operation
ref_38761 = ref_36171 # MOV operation
ref_38767 = (0x1A5612E2 | ref_38761) # OR operation
ref_48211 = ref_22391 # MOV operation
ref_48532 = ref_48211 # MOV operation
ref_48546 = (0x7063FB7 & ref_48532) # AND operation
ref_49000 = ref_38767 # MOV operation
ref_49004 = ref_48546 # MOV operation
ref_49006 = ((ref_49004 + ref_49000) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_49211 = ref_49006 # MOV operation
ref_49213 = ((ref_49211 >> 56) & 0xFF) # Byte reference - MOV operation
ref_49214 = ((ref_49211 >> 48) & 0xFF) # Byte reference - MOV operation
ref_49215 = ((ref_49211 >> 40) & 0xFF) # Byte reference - MOV operation
ref_49216 = ((ref_49211 >> 32) & 0xFF) # Byte reference - MOV operation
ref_49217 = ((ref_49211 >> 24) & 0xFF) # Byte reference - MOV operation
ref_49218 = ((ref_49211 >> 16) & 0xFF) # Byte reference - MOV operation
ref_49219 = ((ref_49211 >> 8) & 0xFF) # Byte reference - MOV operation
ref_49220 = (ref_49211 & 0xFF) # Byte reference - MOV operation
ref_66748 = ref_49211 # MOV operation
ref_68338 = ref_66748 # MOV operation
ref_68346 = (ref_68338 >> (0x3 & 0x3F)) # SHR operation
ref_68353 = ref_68346 # MOV operation
ref_68694 = ref_68353 # MOV operation
ref_68708 = (0xF & ref_68694) # AND operation
ref_71323 = ref_68708 # MOV operation
ref_71329 = (0x1 | ref_71323) # OR operation
ref_73598 = ref_71329 # MOV operation
ref_73600 = ((0x3162E74F << ((ref_73598 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_84055 = ref_49211 # MOV operation
ref_85645 = ref_84055 # MOV operation
ref_85653 = (ref_85645 >> (0x3 & 0x3F)) # SHR operation
ref_85660 = ref_85653 # MOV operation
ref_86001 = ref_85660 # MOV operation
ref_86015 = (0xF & ref_86001) # AND operation
ref_88630 = ref_86015 # MOV operation
ref_88636 = (0x1 | ref_88630) # OR operation
ref_90305 = ref_88636 # MOV operation
ref_90307 = ((0x40 - ref_90305) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_90315 = ref_90307 # MOV operation
ref_90918 = ref_90315 # MOV operation
ref_90920 = (ref_90918 & 0xFFFFFFFF) # MOV operation
ref_90922 = (0x3162E74F >> ((ref_90920 & 0xFF) & 0x3F)) # SHR operation
ref_90929 = ref_90922 # MOV operation
ref_92528 = ref_73600 # MOV operation
ref_92532 = ref_90929 # MOV operation
ref_92534 = (ref_92532 | ref_92528) # OR operation
ref_94149 = ref_92534 # MOV operation
ref_94157 = (ref_94149 >> (0x4 & 0x3F)) # SHR operation
ref_94164 = ref_94157 # MOV operation
ref_94505 = ref_94164 # MOV operation
ref_94519 = (0x7 & ref_94505) # AND operation
ref_97134 = ref_94519 # MOV operation
ref_97140 = (0x1 | ref_97134) # OR operation
ref_104849 = ref_278 # MOV operation
ref_105470 = ref_104849 # MOV operation
ref_105484 = ((ref_105470 - 0x2907943) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_105492 = ref_105484 # MOV operation
ref_106733 = ref_105492 # MOV operation
ref_106745 = ref_97140 # MOV operation
ref_106747 = ((ref_106733 << ((ref_106745 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_106951 = ref_106747 # MOV operation
ref_121742 = ref_278 # MOV operation
ref_122363 = ref_121742 # MOV operation
ref_122377 = ((ref_122363 - 0x3C563FC) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_122385 = ref_122377 # MOV operation
ref_122584 = ref_122385 # MOV operation
ref_146489 = ref_122584 # MOV operation
ref_159924 = ref_49211 # MOV operation
ref_160245 = ref_159924 # MOV operation
ref_160259 = (0xF & ref_160245) # AND operation
ref_161505 = ref_160259 # MOV operation
ref_161519 = ((ref_161505 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_163123 = ref_146489 # MOV operation
ref_163127 = ref_161519 # MOV operation
ref_163129 = (ref_163127 | ref_163123) # OR operation
ref_163333 = ref_163129 # MOV operation
ref_178848 = ref_106951 # MOV operation
ref_189278 = ref_163333 # MOV operation
ref_189599 = ref_189278 # MOV operation
ref_189613 = (0x1F & ref_189599) # AND operation
ref_190859 = ref_189613 # MOV operation
ref_190873 = ((ref_190859 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_192477 = ref_178848 # MOV operation
ref_192481 = ref_190873 # MOV operation
ref_192483 = (ref_192481 | ref_192477) # OR operation
ref_192687 = ref_192483 # MOV operation
ref_208202 = ref_163333 # MOV operation
ref_221637 = ref_49211 # MOV operation
ref_221958 = ref_221637 # MOV operation
ref_221972 = (0xF & ref_221958) # AND operation
ref_223218 = ref_221972 # MOV operation
ref_223232 = ((ref_223218 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_224836 = ref_208202 # MOV operation
ref_224840 = ref_223232 # MOV operation
ref_224842 = (ref_224840 | ref_224836) # OR operation
ref_225046 = ref_224842 # MOV operation
ref_251956 = ref_225046 # MOV operation
ref_265391 = ref_225046 # MOV operation
ref_265712 = ref_265391 # MOV operation
ref_265726 = (0xF & ref_265712) # AND operation
ref_266972 = ref_265726 # MOV operation
ref_266986 = ((ref_266972 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_268590 = ref_251956 # MOV operation
ref_268594 = ref_266986 # MOV operation
ref_268596 = (ref_268594 | ref_268590) # OR operation
ref_268800 = ref_268596 # MOV operation
ref_284315 = ref_192687 # MOV operation
ref_294745 = ref_268800 # MOV operation
ref_295066 = ref_294745 # MOV operation
ref_295080 = (0x1F & ref_295066) # AND operation
ref_296326 = ref_295080 # MOV operation
ref_296340 = ((ref_296326 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_297944 = ref_284315 # MOV operation
ref_297948 = ref_296340 # MOV operation
ref_297950 = (ref_297948 | ref_297944) # OR operation
ref_298154 = ref_297950 # MOV operation
ref_298156 = ((ref_298154 >> 56) & 0xFF) # Byte reference - MOV operation
ref_298157 = ((ref_298154 >> 48) & 0xFF) # Byte reference - MOV operation
ref_298158 = ((ref_298154 >> 40) & 0xFF) # Byte reference - MOV operation
ref_298159 = ((ref_298154 >> 32) & 0xFF) # Byte reference - MOV operation
ref_298160 = ((ref_298154 >> 24) & 0xFF) # Byte reference - MOV operation
ref_298161 = ((ref_298154 >> 16) & 0xFF) # Byte reference - MOV operation
ref_298162 = ((ref_298154 >> 8) & 0xFF) # Byte reference - MOV operation
ref_298163 = (ref_298154 & 0xFF) # Byte reference - MOV operation
ref_313669 = ref_268800 # MOV operation
ref_327104 = ref_268800 # MOV operation
ref_327425 = ref_327104 # MOV operation
ref_327439 = (0xF & ref_327425) # AND operation
ref_328685 = ref_327439 # MOV operation
ref_328699 = ((ref_328685 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_330303 = ref_313669 # MOV operation
ref_330307 = ref_328699 # MOV operation
ref_330309 = (ref_330307 | ref_330303) # OR operation
ref_330513 = ref_330309 # MOV operation
ref_402820 = ref_330513 # MOV operation
ref_413250 = ref_298154 # MOV operation
ref_421658 = ref_298154 # MOV operation
ref_422087 = ref_413250 # MOV operation
ref_422091 = ref_421658 # MOV operation
ref_422093 = ((ref_422091 + ref_422087) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_422440 = ref_422093 # MOV operation
ref_422454 = (0x7 & ref_422440) # AND operation
ref_423700 = ref_422454 # MOV operation
ref_423714 = ((ref_423700 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_425318 = ref_402820 # MOV operation
ref_425322 = ref_423714 # MOV operation
ref_425324 = (ref_425322 | ref_425318) # OR operation
ref_425528 = ref_425324 # MOV operation
ref_438482 = ((((ref_298156) << 8 | ref_298157) << 8 | ref_298158) << 8 | ref_298159) # MOV operation
ref_440730 = (ref_438482 & 0xFFFFFFFF) # MOV operation
ref_453680 = ((((ref_298160) << 8 | ref_298161) << 8 | ref_298162) << 8 | ref_298163) # MOV operation
ref_466868 = (ref_453680 & 0xFFFFFFFF) # MOV operation
ref_466870 = (((ref_466868 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_466871 = (((ref_466868 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_466872 = (((ref_466868 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_466873 = ((ref_466868 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_468878 = (ref_440730 & 0xFFFFFFFF) # MOV operation
ref_482066 = (ref_468878 & 0xFFFFFFFF) # MOV operation
ref_482068 = (((ref_482066 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_482069 = (((ref_482066 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_482070 = (((ref_482066 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_482071 = ((ref_482066 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_496539 = ref_22395 # MOVZX operation
ref_496910 = (ref_496539 & 0xFF) # MOVZX operation
ref_522319 = ref_22396 # MOVZX operation
ref_522690 = (ref_522319 & 0xFF) # MOVZX operation
ref_522692 = (ref_522690 & 0xFF) # Byte reference - MOV operation
ref_537159 = (ref_496910 & 0xFF) # MOVZX operation
ref_537530 = (ref_537159 & 0xFF) # MOVZX operation
ref_537532 = (ref_537530 & 0xFF) # Byte reference - MOV operation
ref_551999 = ref_22394 # MOVZX operation
ref_552370 = (ref_551999 & 0xFF) # MOVZX operation
ref_577779 = ref_22400 # MOVZX operation
ref_578150 = (ref_577779 & 0xFF) # MOVZX operation
ref_578152 = (ref_578150 & 0xFF) # Byte reference - MOV operation
ref_592619 = (ref_552370 & 0xFF) # MOVZX operation
ref_592990 = (ref_592619 & 0xFF) # MOVZX operation
ref_592992 = (ref_592990 & 0xFF) # Byte reference - MOV operation
ref_605936 = ((((ref_49217) << 8 | ref_49218) << 8 | ref_49219) << 8 | ref_49220) # MOV operation
ref_608184 = (ref_605936 & 0xFFFFFFFF) # MOV operation
ref_621134 = ((((ref_49213) << 8 | ref_49214) << 8 | ref_49215) << 8 | ref_49216) # MOV operation
ref_634322 = (ref_621134 & 0xFFFFFFFF) # MOV operation
ref_634324 = (((ref_634322 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_634325 = (((ref_634322 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_634326 = (((ref_634322 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_634327 = ((ref_634322 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_636332 = (ref_608184 & 0xFFFFFFFF) # MOV operation
ref_649520 = (ref_636332 & 0xFFFFFFFF) # MOV operation
ref_649522 = (((ref_649520 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
ref_649523 = (((ref_649520 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
ref_649524 = (((ref_649520 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
ref_649525 = ((ref_649520 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
ref_677216 = ((((((((ref_649522) << 8 | ref_649523) << 8 | ref_649524) << 8 | ref_649525) << 8 | ref_634324) << 8 | ref_634325) << 8 | ref_634326) << 8 | ref_634327) # MOV operation
ref_690651 = ((((((((ref_22393) << 8 | ref_578152) << 8 | ref_522692) << 8 | ref_537532) << 8 | ref_22397) << 8 | ref_22398) << 8 | ref_22399) << 8 | ref_592992) # MOV operation
ref_690972 = ref_690651 # MOV operation
ref_690986 = (0x3F & ref_690972) # AND operation
ref_692232 = ref_690986 # MOV operation
ref_692246 = ((ref_692232 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_693850 = ref_677216 # MOV operation
ref_693854 = ref_692246 # MOV operation
ref_693856 = (ref_693854 | ref_693850) # OR operation
ref_694060 = ref_693856 # MOV operation
ref_722421 = ((((((((ref_466870) << 8 | ref_466871) << 8 | ref_466872) << 8 | ref_466873) << 8 | ref_482068) << 8 | ref_482069) << 8 | ref_482070) << 8 | ref_482071) # MOV operation
ref_732851 = ref_425528 # MOV operation
ref_742270 = ref_694060 # MOV operation
ref_743860 = ref_742270 # MOV operation
ref_743868 = (ref_743860 >> (0x3 & 0x3F)) # SHR operation
ref_743875 = ref_743868 # MOV operation
ref_744216 = ref_743875 # MOV operation
ref_744230 = (0xF & ref_744216) # AND operation
ref_746845 = ref_744230 # MOV operation
ref_746851 = (0x1 | ref_746845) # OR operation
ref_747455 = ref_732851 # MOV operation
ref_747459 = ref_746851 # MOV operation
ref_747461 = (ref_747459 & 0xFFFFFFFF) # MOV operation
ref_747463 = (ref_747455 >> ((ref_747461 & 0xFF) & 0x3F)) # SHR operation
ref_747470 = ref_747463 # MOV operation
ref_756909 = ref_694060 # MOV operation
ref_758499 = ref_756909 # MOV operation
ref_758507 = (ref_758499 >> (0x3 & 0x3F)) # SHR operation
ref_758514 = ref_758507 # MOV operation
ref_758855 = ref_758514 # MOV operation
ref_758869 = (0xF & ref_758855) # AND operation
ref_761484 = ref_758869 # MOV operation
ref_761490 = (0x1 | ref_761484) # OR operation
ref_763159 = ref_761490 # MOV operation
ref_763161 = ((0x40 - ref_763159) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_763169 = ref_763161 # MOV operation
ref_771597 = ref_425528 # MOV operation
ref_772818 = ref_771597 # MOV operation
ref_772830 = ref_763169 # MOV operation
ref_772832 = ((ref_772818 << ((ref_772830 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_774436 = ref_747470 # MOV operation
ref_774440 = ref_772832 # MOV operation
ref_774442 = (ref_774440 | ref_774436) # OR operation
ref_774788 = ref_774442 # MOV operation
ref_774802 = (0xF & ref_774788) # AND operation
ref_776048 = ref_774802 # MOV operation
ref_776062 = ((ref_776048 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_777666 = ref_722421 # MOV operation
ref_777670 = ref_776062 # MOV operation
ref_777672 = (ref_777670 | ref_777666) # OR operation
ref_777876 = ref_777672 # MOV operation
ref_792676 = ref_694060 # MOV operation
ref_794266 = ref_792676 # MOV operation
ref_794274 = (ref_794266 >> (0x3 & 0x3F)) # SHR operation
ref_794281 = ref_794274 # MOV operation
ref_794622 = ref_794281 # MOV operation
ref_794636 = (0x7 & ref_794622) # AND operation
ref_797251 = ref_794636 # MOV operation
ref_797257 = (0x1 | ref_797251) # OR operation
ref_805690 = ((((((((ref_22393) << 8 | ref_578152) << 8 | ref_522692) << 8 | ref_537532) << 8 | ref_22397) << 8 | ref_22398) << 8 | ref_22399) << 8 | ref_592992) # MOV operation
ref_806911 = ref_805690 # MOV operation
ref_806923 = ref_797257 # MOV operation
ref_806925 = ((ref_806911 << ((ref_806923 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_815358 = ref_777876 # MOV operation
ref_823766 = ref_425528 # MOV operation
ref_825345 = ref_815358 # MOV operation
ref_825349 = ref_823766 # MOV operation
ref_825351 = (ref_825349 | ref_825345) # OR operation
ref_826955 = ref_806925 # MOV operation
ref_826959 = ref_825351 # MOV operation
ref_826961 = (ref_826959 | ref_826955) # OR operation
ref_827165 = ref_826961 # MOV operation
ref_829366 = ref_827165 # MOV operation
ref_829368 = ref_829366 # MOV operation

print ref_829368 & 0xffffffffffffffff
