#!/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_264 = SymVar_0
ref_279 = ref_264 # MOV operation
ref_5357 = ref_279 # MOV operation
ref_5399 = ref_5357 # MOV operation
ref_5407 = (ref_5399 >> (0x5 & 0x3F)) # SHR operation
ref_5414 = ref_5407 # MOV operation
ref_5448 = ref_5414 # MOV operation
ref_6067 = ref_279 # MOV operation
ref_6099 = ref_6067 # MOV operation
ref_6113 = ((ref_6099 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_6121 = ref_6113 # MOV operation
ref_6347 = ref_5448 # MOV operation
ref_6389 = ref_6347 # MOV operation
ref_6395 = (0xB4088A290E23905 ^ ref_6389) # XOR operation
ref_6432 = ref_6121 # MOV operation
ref_6444 = ref_6395 # MOV operation
ref_6446 = ((ref_6444 + ref_6432) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_6486 = ref_6446 # MOV operation
ref_7219 = ref_279 # MOV operation
ref_7439 = ref_5448 # MOV operation
ref_7713 = ref_6486 # MOV operation
ref_7729 = ref_7439 # MOV operation
ref_7741 = ref_7713 # MOV operation
ref_7743 = ((ref_7741 + ref_7729) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_7845 = ref_7219 # MOV operation
ref_7849 = ref_7743 # MOV operation
ref_7851 = ((ref_7849 + ref_7845) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_7891 = ref_7851 # MOV operation
ref_8524 = ref_279 # MOV operation
ref_8832 = ref_5448 # MOV operation
ref_8870 = ref_8832 # MOV operation
ref_8872 = (((sx(0x40, ref_8870) * sx(0x40, 0x3C8E8C76)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_8898 = ref_8872 # MOV operation
ref_8904 = (0x7 & ref_8898) # AND operation
ref_8943 = ref_8904 # MOV operation
ref_8957 = (0x1 | ref_8943) # OR operation
ref_8988 = ref_8524 # MOV operation
ref_8992 = ref_8957 # MOV operation
ref_8994 = (ref_8992 & 0xFFFFFFFF) # MOV operation
ref_8996 = (ref_8988 >> ((ref_8994 & 0xFF) & 0x3F)) # SHR operation
ref_9003 = ref_8996 # MOV operation
ref_9037 = ref_9003 # MOV operation
ref_9647 = ref_5448 # MOV operation
ref_10047 = ref_5448 # MOV operation
ref_10321 = ref_7891 # MOV operation
ref_10347 = ref_10047 # MOV operation
ref_10359 = ref_10321 # MOV operation
ref_10361 = (((sx(0x40, ref_10359) * sx(0x40, ref_10347)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_10387 = ref_10361 # MOV operation
ref_10393 = (0x7 & ref_10387) # AND operation
ref_10416 = ref_10393 # MOV operation
ref_10430 = ((ref_10416 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_10467 = ref_9647 # MOV operation
ref_10479 = ref_10430 # MOV operation
ref_10481 = (ref_10479 | ref_10467) # OR operation
ref_10602 = ref_10481 # MOV operation
ref_11020 = ref_6486 # MOV operation
ref_11386 = ref_6486 # MOV operation
ref_11420 = ref_11386 # MOV operation
ref_11434 = (ref_11420 >> (0x4 & 0x3F)) # SHR operation
ref_11457 = ref_11434 # MOV operation
ref_11471 = (0xF & ref_11457) # AND operation
ref_11518 = ref_11471 # MOV operation
ref_11524 = (0x1 | ref_11518) # OR operation
ref_11749 = ref_9037 # MOV operation
ref_11837 = ref_11749 # MOV operation
ref_11849 = ref_11524 # MOV operation
ref_11851 = ((ref_11837 << ((ref_11849 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_12076 = ref_9037 # MOV operation
ref_12406 = ref_6486 # MOV operation
ref_12440 = ref_12406 # MOV operation
ref_12454 = (ref_12440 >> (0x4 & 0x3F)) # SHR operation
ref_12477 = ref_12454 # MOV operation
ref_12491 = (0xF & ref_12477) # AND operation
ref_12538 = ref_12491 # MOV operation
ref_12544 = (0x1 | ref_12538) # OR operation
ref_12595 = ref_12544 # MOV operation
ref_12597 = ((0x40 - ref_12595) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_12605 = ref_12597 # MOV operation
ref_12637 = ref_12076 # MOV operation
ref_12649 = ref_12605 # MOV operation
ref_12651 = (ref_12637 >> ((ref_12649 & 0xFF) & 0x3F)) # SHR operation
ref_12688 = ref_11851 # MOV operation
ref_12700 = ref_12651 # MOV operation
ref_12702 = (ref_12700 | ref_12688) # OR operation
ref_12739 = ref_12702 # MOV operation
ref_12753 = (0xF & ref_12739) # AND operation
ref_12790 = ref_12753 # MOV operation
ref_12804 = ((ref_12790 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_12841 = ref_11020 # MOV operation
ref_12853 = ref_12804 # MOV operation
ref_12855 = (ref_12853 | ref_12841) # OR operation
ref_12894 = ref_12855 # MOV operation
ref_13390 = ref_9037 # MOV operation
ref_13424 = ref_13390 # MOV operation
ref_13438 = (ref_13424 >> (0x3 & 0x3F)) # SHR operation
ref_13461 = ref_13438 # MOV operation
ref_13475 = (0xF & ref_13461) # AND operation
ref_13522 = ref_13475 # MOV operation
ref_13528 = (0x1 | ref_13522) # OR operation
ref_13753 = ref_7891 # MOV operation
ref_13841 = ref_13753 # MOV operation
ref_13853 = ref_13528 # MOV operation
ref_13855 = ((ref_13841 << ((ref_13853 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_14080 = ref_7891 # MOV operation
ref_14410 = ref_9037 # MOV operation
ref_14444 = ref_14410 # MOV operation
ref_14458 = (ref_14444 >> (0x3 & 0x3F)) # SHR operation
ref_14481 = ref_14458 # MOV operation
ref_14495 = (0xF & ref_14481) # AND operation
ref_14542 = ref_14495 # MOV operation
ref_14548 = (0x1 | ref_14542) # OR operation
ref_14599 = ref_14548 # MOV operation
ref_14601 = ((0x40 - ref_14599) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_14609 = ref_14601 # MOV operation
ref_14641 = ref_14080 # MOV operation
ref_14653 = ref_14609 # MOV operation
ref_14655 = (ref_14641 >> ((ref_14653 & 0xFF) & 0x3F)) # SHR operation
ref_14692 = ref_13855 # MOV operation
ref_14704 = ref_14655 # MOV operation
ref_14706 = (ref_14704 | ref_14692) # OR operation
ref_15041 = ref_12894 # MOV operation
ref_15059 = ref_15041 # MOV operation
ref_15073 = (0xF & ref_15059) # AND operation
ref_15120 = ref_15073 # MOV operation
ref_15126 = (0x1 | ref_15120) # OR operation
ref_15351 = ref_10602 # MOV operation
ref_15439 = ref_15351 # MOV operation
ref_15451 = ref_15126 # MOV operation
ref_15453 = ((ref_15439 << ((ref_15451 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_15678 = ref_10602 # MOV operation
ref_16008 = ref_12894 # MOV operation
ref_16026 = ref_16008 # MOV operation
ref_16040 = (0xF & ref_16026) # AND operation
ref_16087 = ref_16040 # MOV operation
ref_16093 = (0x1 | ref_16087) # OR operation
ref_16144 = ref_16093 # MOV operation
ref_16146 = ((0x40 - ref_16144) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_16154 = ref_16146 # MOV operation
ref_16186 = ref_15678 # MOV operation
ref_16198 = ref_16154 # MOV operation
ref_16200 = (ref_16186 >> ((ref_16198 & 0xFF) & 0x3F)) # SHR operation
ref_16237 = ref_15453 # MOV operation
ref_16249 = ref_16200 # MOV operation
ref_16251 = (ref_16249 | ref_16237) # OR operation
ref_16282 = ref_16251 # MOV operation
ref_16294 = ref_14706 # MOV operation
ref_16296 = ((ref_16282 - ref_16294) & 0xFFFFFFFFFFFFFFFF) # CMP operation
ref_16298 = ((((ref_16282 ^ (ref_16294 ^ ref_16296)) ^ ((ref_16282 ^ ref_16296) & (ref_16282 ^ ref_16294))) >> 63) & 0x1) # Carry flag
ref_16302 = (0x1 if (ref_16296 == 0x0) else 0x0) # Zero flag
ref_16304 = ((((ref_16294 >> 8) & 0xFFFFFFFFFFFFFF)) << 8 | (0x1 if ((ref_16298 | ref_16302) == 0x1) else 0x0)) # SETBE operation
ref_16306 = (ref_16304 & 0xFF) # MOVZX operation
ref_16324 = (ref_16306 & 0xFFFFFFFF) # MOV operation
ref_16326 = ((ref_16324 & 0xFFFFFFFF) & (ref_16324 & 0xFFFFFFFF)) # TEST operation
ref_16331 = (0x1 if (ref_16326 == 0x0) else 0x0) # Zero flag
ref_16333 = (0x404001 if (ref_16331 == 0x1) else 0x403FDF) # Program Counter


if (ref_16331 == 0x1):
    ref_30532 = SymVar_0
    ref_30547 = ref_30532 # MOV operation
    ref_35630 = ref_30547 # MOV operation
    ref_35672 = ref_35630 # MOV operation
    ref_35680 = (ref_35672 >> (0x5 & 0x3F)) # SHR operation
    ref_35687 = ref_35680 # MOV operation
    ref_35721 = ref_35687 # MOV operation
    ref_36340 = ref_30547 # MOV operation
    ref_36372 = ref_36340 # MOV operation
    ref_36386 = ((ref_36372 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_36394 = ref_36386 # MOV operation
    ref_36620 = ref_35721 # MOV operation
    ref_36662 = ref_36620 # MOV operation
    ref_36668 = (0xB4088A290E23905 ^ ref_36662) # XOR operation
    ref_36705 = ref_36394 # MOV operation
    ref_36717 = ref_36668 # MOV operation
    ref_36719 = ((ref_36717 + ref_36705) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_36759 = ref_36719 # MOV operation
    ref_37492 = ref_30547 # MOV operation
    ref_37712 = ref_35721 # MOV operation
    ref_37986 = ref_36759 # MOV operation
    ref_38002 = ref_37712 # MOV operation
    ref_38014 = ref_37986 # MOV operation
    ref_38016 = ((ref_38014 + ref_38002) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_38118 = ref_37492 # MOV operation
    ref_38122 = ref_38016 # MOV operation
    ref_38124 = ((ref_38122 + ref_38118) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_38164 = ref_38124 # MOV operation
    ref_38797 = ref_30547 # MOV operation
    ref_39105 = ref_35721 # MOV operation
    ref_39143 = ref_39105 # MOV operation
    ref_39145 = (((sx(0x40, ref_39143) * sx(0x40, 0x3C8E8C76)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_39171 = ref_39145 # MOV operation
    ref_39177 = (0x7 & ref_39171) # AND operation
    ref_39216 = ref_39177 # MOV operation
    ref_39230 = (0x1 | ref_39216) # OR operation
    ref_39261 = ref_38797 # MOV operation
    ref_39265 = ref_39230 # MOV operation
    ref_39267 = (ref_39265 & 0xFFFFFFFF) # MOV operation
    ref_39269 = (ref_39261 >> ((ref_39267 & 0xFF) & 0x3F)) # SHR operation
    ref_39276 = ref_39269 # MOV operation
    ref_39310 = ref_39276 # MOV operation
    ref_39920 = ref_35721 # MOV operation
    ref_40320 = ref_35721 # MOV operation
    ref_40594 = ref_38164 # MOV operation
    ref_40620 = ref_40320 # MOV operation
    ref_40632 = ref_40594 # MOV operation
    ref_40634 = (((sx(0x40, ref_40632) * sx(0x40, ref_40620)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_40660 = ref_40634 # MOV operation
    ref_40666 = (0x7 & ref_40660) # AND operation
    ref_40689 = ref_40666 # MOV operation
    ref_40703 = ((ref_40689 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_40740 = ref_39920 # MOV operation
    ref_40752 = ref_40703 # MOV operation
    ref_40754 = (ref_40752 | ref_40740) # OR operation
    ref_40875 = ref_40754 # MOV operation
    ref_40877 = ((ref_40875 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_40878 = ((ref_40875 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_40879 = ((ref_40875 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_40880 = ((ref_40875 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_40881 = ((ref_40875 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_40882 = ((ref_40875 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_40883 = ((ref_40875 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_40884 = (ref_40875 & 0xFF) # Byte reference - MOV operation
    ref_41293 = ref_36759 # MOV operation
    ref_41659 = ref_36759 # MOV operation
    ref_41693 = ref_41659 # MOV operation
    ref_41707 = (ref_41693 >> (0x4 & 0x3F)) # SHR operation
    ref_41730 = ref_41707 # MOV operation
    ref_41744 = (0xF & ref_41730) # AND operation
    ref_41791 = ref_41744 # MOV operation
    ref_41797 = (0x1 | ref_41791) # OR operation
    ref_42022 = ref_39310 # MOV operation
    ref_42110 = ref_42022 # MOV operation
    ref_42122 = ref_41797 # MOV operation
    ref_42124 = ((ref_42110 << ((ref_42122 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_42349 = ref_39310 # MOV operation
    ref_42679 = ref_36759 # MOV operation
    ref_42713 = ref_42679 # MOV operation
    ref_42727 = (ref_42713 >> (0x4 & 0x3F)) # SHR operation
    ref_42750 = ref_42727 # MOV operation
    ref_42764 = (0xF & ref_42750) # AND operation
    ref_42811 = ref_42764 # MOV operation
    ref_42817 = (0x1 | ref_42811) # OR operation
    ref_42868 = ref_42817 # MOV operation
    ref_42870 = ((0x40 - ref_42868) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_42878 = ref_42870 # MOV operation
    ref_42910 = ref_42349 # MOV operation
    ref_42922 = ref_42878 # MOV operation
    ref_42924 = (ref_42910 >> ((ref_42922 & 0xFF) & 0x3F)) # SHR operation
    ref_42961 = ref_42124 # MOV operation
    ref_42973 = ref_42924 # MOV operation
    ref_42975 = (ref_42973 | ref_42961) # OR operation
    ref_43012 = ref_42975 # MOV operation
    ref_43026 = (0xF & ref_43012) # AND operation
    ref_43063 = ref_43026 # MOV operation
    ref_43077 = ((ref_43063 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_43114 = ref_41293 # MOV operation
    ref_43126 = ref_43077 # MOV operation
    ref_43128 = (ref_43126 | ref_43114) # OR operation
    ref_43167 = ref_43128 # MOV operation
    ref_47281 = ref_43167 # MOV operation
    ref_47681 = ref_43167 # MOV operation
    ref_47705 = ref_47681 # MOV operation
    ref_47711 = (0xF & ref_47705) # AND operation
    ref_47734 = ref_47711 # MOV operation
    ref_47748 = ((ref_47734 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_47785 = ref_47281 # MOV operation
    ref_47797 = ref_47748 # MOV operation
    ref_47799 = (ref_47797 | ref_47785) # OR operation
    ref_47838 = ref_47799 # MOV operation
    ref_47840 = ((ref_47838 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_47841 = ((ref_47838 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_47842 = ((ref_47838 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_47843 = ((ref_47838 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_47844 = ((ref_47838 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_47845 = ((ref_47838 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_47846 = ((ref_47838 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_47847 = (ref_47838 & 0xFF) # Byte reference - MOV operation
    ref_52490 = ref_40877 # MOVZX operation
    ref_52508 = (ref_52490 & 0xFF) # MOVZX operation
    ref_53450 = ref_40884 # MOVZX operation
    ref_53468 = (ref_53450 & 0xFF) # MOVZX operation
    ref_53470 = (ref_53468 & 0xFF) # Byte reference - MOV operation
    ref_53974 = (ref_52508 & 0xFF) # MOVZX operation
    ref_53992 = (ref_53974 & 0xFF) # MOVZX operation
    ref_53994 = (ref_53992 & 0xFF) # Byte reference - MOV operation
    ref_56001 = ((((ref_47844) << 8 | ref_47845) << 8 | ref_47846) << 8 | ref_47847) # MOV operation
    ref_56067 = (ref_56001 & 0xFFFFFFFF) # MOV operation
    ref_56545 = ((((ref_47840) << 8 | ref_47841) << 8 | ref_47842) << 8 | ref_47843) # MOV operation
    ref_57111 = (ref_56545 & 0xFFFFFFFF) # MOV operation
    ref_57179 = (ref_56067 & 0xFFFFFFFF) # MOV operation
    ref_57665 = (ref_57179 & 0xFFFFFFFF) # MOV operation
    ref_58175 = (ref_57665 & 0xFFFFFFFF) # MOV operation
    ref_58241 = (ref_58175 & 0xFFFFFFFF) # MOV operation
    ref_58719 = (ref_57111 & 0xFFFFFFFF) # MOV operation
    ref_59285 = (ref_58719 & 0xFFFFFFFF) # MOV operation
    ref_59287 = (((ref_59285 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_59288 = (((ref_59285 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_59289 = (((ref_59285 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_59290 = ((ref_59285 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_59353 = (ref_58241 & 0xFFFFFFFF) # MOV operation
    ref_59839 = (ref_59353 & 0xFFFFFFFF) # MOV operation
    ref_59841 = (((ref_59839 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_59842 = (((ref_59839 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_59843 = (((ref_59839 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_59844 = ((ref_59839 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_60717 = ((((((((ref_53470) << 8 | ref_40878) << 8 | ref_40879) << 8 | ref_40880) << 8 | ref_40881) << 8 | ref_40882) << 8 | ref_40883) << 8 | ref_53994) # MOV operation
    ref_61045 = ((((((((ref_59287) << 8 | ref_59288) << 8 | ref_59289) << 8 | ref_59290) << 8 | ref_59841) << 8 | ref_59842) << 8 | ref_59843) << 8 | ref_59844) # MOV operation
    ref_61069 = ref_61045 # MOV operation
    ref_61073 = ref_60717 # MOV operation
    ref_61075 = ((ref_61069 - ref_61073) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_61083 = ref_61075 # MOV operation
    ref_61109 = ref_61083 # MOV operation
    ref_61991 = ((((((((ref_53470) << 8 | ref_40878) << 8 | ref_40879) << 8 | ref_40880) << 8 | ref_40881) << 8 | ref_40882) << 8 | ref_40883) << 8 | ref_53994) # MOV operation
    ref_62391 = ref_61109 # MOV operation
    ref_62415 = ref_62391 # MOV operation
    ref_62421 = (0x3F & ref_62415) # AND operation
    ref_62444 = ref_62421 # MOV operation
    ref_62458 = ((ref_62444 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_62495 = ref_61991 # MOV operation
    ref_62507 = ref_62458 # MOV operation
    ref_62509 = (ref_62507 | ref_62495) # OR operation
    ref_62548 = ref_62509 # MOV operation
    ref_64018 = ((((((((ref_59287) << 8 | ref_59288) << 8 | ref_59289) << 8 | ref_59290) << 8 | ref_59841) << 8 | ref_59842) << 8 | ref_59843) << 8 | ref_59844) # MOV operation
    ref_64052 = ref_64018 # MOV operation
    ref_64066 = (ref_64052 >> (0x2 & 0x3F)) # SHR operation
    ref_64089 = ref_64066 # MOV operation
    ref_64103 = (0x7 & ref_64089) # AND operation
    ref_64150 = ref_64103 # MOV operation
    ref_64156 = (0x1 | ref_64150) # OR operation
    ref_64381 = ref_62548 # MOV operation
    ref_64469 = ref_64381 # MOV operation
    ref_64481 = ref_64156 # MOV operation
    ref_64483 = ((ref_64469 << ((ref_64481 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_64708 = ref_61109 # MOV operation
    ref_64982 = ref_39310 # MOV operation
    ref_64998 = ref_64708 # MOV operation
    ref_65010 = ref_64982 # MOV operation
    ref_65012 = (ref_65010 | ref_64998) # OR operation
    ref_65043 = ref_64483 # MOV operation
    ref_65047 = ref_65012 # MOV operation
    ref_65049 = ((ref_65047 + ref_65043) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_65089 = ref_65049 # MOV operation
    ref_65304 = ref_65089 # MOV operation
    ref_65306 = ref_65304 # MOV operation
    endb = ref_65306


else:
    ref_264 = SymVar_0
    ref_279 = ref_264 # MOV operation
    ref_5357 = ref_279 # MOV operation
    ref_5399 = ref_5357 # MOV operation
    ref_5407 = (ref_5399 >> (0x5 & 0x3F)) # SHR operation
    ref_5414 = ref_5407 # MOV operation
    ref_5448 = ref_5414 # MOV operation
    ref_6067 = ref_279 # MOV operation
    ref_6099 = ref_6067 # MOV operation
    ref_6113 = ((ref_6099 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_6121 = ref_6113 # MOV operation
    ref_6347 = ref_5448 # MOV operation
    ref_6389 = ref_6347 # MOV operation
    ref_6395 = (0xB4088A290E23905 ^ ref_6389) # XOR operation
    ref_6432 = ref_6121 # MOV operation
    ref_6444 = ref_6395 # MOV operation
    ref_6446 = ((ref_6444 + ref_6432) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_6486 = ref_6446 # MOV operation
    ref_7219 = ref_279 # MOV operation
    ref_7439 = ref_5448 # MOV operation
    ref_7713 = ref_6486 # MOV operation
    ref_7729 = ref_7439 # MOV operation
    ref_7741 = ref_7713 # MOV operation
    ref_7743 = ((ref_7741 + ref_7729) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_7845 = ref_7219 # MOV operation
    ref_7849 = ref_7743 # MOV operation
    ref_7851 = ((ref_7849 + ref_7845) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_7891 = ref_7851 # MOV operation
    ref_8524 = ref_279 # MOV operation
    ref_8832 = ref_5448 # MOV operation
    ref_8870 = ref_8832 # MOV operation
    ref_8872 = (((sx(0x40, ref_8870) * sx(0x40, 0x3C8E8C76)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_8898 = ref_8872 # MOV operation
    ref_8904 = (0x7 & ref_8898) # AND operation
    ref_8943 = ref_8904 # MOV operation
    ref_8957 = (0x1 | ref_8943) # OR operation
    ref_8988 = ref_8524 # MOV operation
    ref_8992 = ref_8957 # MOV operation
    ref_8994 = (ref_8992 & 0xFFFFFFFF) # MOV operation
    ref_8996 = (ref_8988 >> ((ref_8994 & 0xFF) & 0x3F)) # SHR operation
    ref_9003 = ref_8996 # MOV operation
    ref_9037 = ref_9003 # MOV operation
    ref_9647 = ref_5448 # MOV operation
    ref_10047 = ref_5448 # MOV operation
    ref_10321 = ref_7891 # MOV operation
    ref_10347 = ref_10047 # MOV operation
    ref_10359 = ref_10321 # MOV operation
    ref_10361 = (((sx(0x40, ref_10359) * sx(0x40, ref_10347)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_10387 = ref_10361 # MOV operation
    ref_10393 = (0x7 & ref_10387) # AND operation
    ref_10416 = ref_10393 # MOV operation
    ref_10430 = ((ref_10416 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_10467 = ref_9647 # MOV operation
    ref_10479 = ref_10430 # MOV operation
    ref_10481 = (ref_10479 | ref_10467) # OR operation
    ref_10602 = ref_10481 # MOV operation
    ref_11020 = ref_6486 # MOV operation
    ref_11386 = ref_6486 # MOV operation
    ref_11420 = ref_11386 # MOV operation
    ref_11434 = (ref_11420 >> (0x4 & 0x3F)) # SHR operation
    ref_11457 = ref_11434 # MOV operation
    ref_11471 = (0xF & ref_11457) # AND operation
    ref_11518 = ref_11471 # MOV operation
    ref_11524 = (0x1 | ref_11518) # OR operation
    ref_11749 = ref_9037 # MOV operation
    ref_11837 = ref_11749 # MOV operation
    ref_11849 = ref_11524 # MOV operation
    ref_11851 = ((ref_11837 << ((ref_11849 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_12076 = ref_9037 # MOV operation
    ref_12406 = ref_6486 # MOV operation
    ref_12440 = ref_12406 # MOV operation
    ref_12454 = (ref_12440 >> (0x4 & 0x3F)) # SHR operation
    ref_12477 = ref_12454 # MOV operation
    ref_12491 = (0xF & ref_12477) # AND operation
    ref_12538 = ref_12491 # MOV operation
    ref_12544 = (0x1 | ref_12538) # OR operation
    ref_12595 = ref_12544 # MOV operation
    ref_12597 = ((0x40 - ref_12595) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_12605 = ref_12597 # MOV operation
    ref_12637 = ref_12076 # MOV operation
    ref_12649 = ref_12605 # MOV operation
    ref_12651 = (ref_12637 >> ((ref_12649 & 0xFF) & 0x3F)) # SHR operation
    ref_12688 = ref_11851 # MOV operation
    ref_12700 = ref_12651 # MOV operation
    ref_12702 = (ref_12700 | ref_12688) # OR operation
    ref_12739 = ref_12702 # MOV operation
    ref_12753 = (0xF & ref_12739) # AND operation
    ref_12790 = ref_12753 # MOV operation
    ref_12804 = ((ref_12790 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_12841 = ref_11020 # MOV operation
    ref_12853 = ref_12804 # MOV operation
    ref_12855 = (ref_12853 | ref_12841) # OR operation
    ref_12894 = ref_12855 # MOV operation
    ref_12896 = ((ref_12894 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_12897 = ((ref_12894 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_12898 = ((ref_12894 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_12899 = ((ref_12894 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_12900 = ((ref_12894 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_12901 = ((ref_12894 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_12902 = ((ref_12894 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_12903 = (ref_12894 & 0xFF) # Byte reference - MOV operation
    ref_16947 = ref_9037 # MOV operation
    ref_17347 = ref_7891 # MOV operation
    ref_17621 = ref_10602 # MOV operation
    ref_17653 = ref_17621 # MOV operation
    ref_17665 = ref_17347 # MOV operation
    ref_17667 = ((ref_17653 - ref_17665) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_17675 = ref_17667 # MOV operation
    ref_17699 = ref_17675 # MOV operation
    ref_17705 = (0x1F & ref_17699) # AND operation
    ref_17728 = ref_17705 # MOV operation
    ref_17742 = ((ref_17728 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_17779 = ref_16947 # MOV operation
    ref_17791 = ref_17742 # MOV operation
    ref_17793 = (ref_17791 | ref_17779) # OR operation
    ref_17914 = ref_17793 # MOV operation
    ref_18332 = ref_10602 # MOV operation
    ref_18732 = ref_12894 # MOV operation
    ref_18756 = ref_18732 # MOV operation
    ref_18762 = (0x1F & ref_18756) # AND operation
    ref_18785 = ref_18762 # MOV operation
    ref_18799 = ((ref_18785 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_18836 = ref_18332 # MOV operation
    ref_18848 = ref_18799 # MOV operation
    ref_18850 = (ref_18848 | ref_18836) # OR operation
    ref_18889 = ref_18850 # MOV operation
    ref_20906 = ((((ref_12900) << 8 | ref_12901) << 8 | ref_12902) << 8 | ref_12903) # MOV operation
    ref_20972 = (ref_20906 & 0xFFFFFFFF) # MOV operation
    ref_21450 = ((((ref_12896) << 8 | ref_12897) << 8 | ref_12898) << 8 | ref_12899) # MOV operation
    ref_22016 = (ref_21450 & 0xFFFFFFFF) # MOV operation
    ref_22084 = (ref_20972 & 0xFFFFFFFF) # MOV operation
    ref_22570 = (ref_22084 & 0xFFFFFFFF) # MOV operation
    ref_23080 = (ref_22570 & 0xFFFFFFFF) # MOV operation
    ref_23146 = (ref_23080 & 0xFFFFFFFF) # MOV operation
    ref_23624 = (ref_22016 & 0xFFFFFFFF) # MOV operation
    ref_24190 = (ref_23624 & 0xFFFFFFFF) # MOV operation
    ref_24192 = (((ref_24190 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_24193 = (((ref_24190 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_24194 = (((ref_24190 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_24195 = ((ref_24190 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_24258 = (ref_23146 & 0xFFFFFFFF) # MOV operation
    ref_24744 = (ref_24258 & 0xFFFFFFFF) # MOV operation
    ref_24746 = (((ref_24744 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_24747 = (((ref_24744 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_24748 = (((ref_24744 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_24749 = ((ref_24744 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_25622 = ref_18889 # MOV operation
    ref_25950 = ((((((((ref_24192) << 8 | ref_24193) << 8 | ref_24194) << 8 | ref_24195) << 8 | ref_24746) << 8 | ref_24747) << 8 | ref_24748) << 8 | ref_24749) # MOV operation
    ref_25974 = ref_25950 # MOV operation
    ref_25978 = ref_25622 # MOV operation
    ref_25980 = ((ref_25974 - ref_25978) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_25988 = ref_25980 # MOV operation
    ref_26014 = ref_25988 # MOV operation
    ref_26896 = ref_18889 # MOV operation
    ref_27296 = ref_26014 # MOV operation
    ref_27320 = ref_27296 # MOV operation
    ref_27326 = (0x3F & ref_27320) # AND operation
    ref_27349 = ref_27326 # MOV operation
    ref_27363 = ((ref_27349 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_27400 = ref_26896 # MOV operation
    ref_27412 = ref_27363 # MOV operation
    ref_27414 = (ref_27412 | ref_27400) # OR operation
    ref_27453 = ref_27414 # MOV operation
    ref_28923 = ((((((((ref_24192) << 8 | ref_24193) << 8 | ref_24194) << 8 | ref_24195) << 8 | ref_24746) << 8 | ref_24747) << 8 | ref_24748) << 8 | ref_24749) # MOV operation
    ref_28957 = ref_28923 # MOV operation
    ref_28971 = (ref_28957 >> (0x2 & 0x3F)) # SHR operation
    ref_28994 = ref_28971 # MOV operation
    ref_29008 = (0x7 & ref_28994) # AND operation
    ref_29055 = ref_29008 # MOV operation
    ref_29061 = (0x1 | ref_29055) # OR operation
    ref_29286 = ref_27453 # MOV operation
    ref_29374 = ref_29286 # MOV operation
    ref_29386 = ref_29061 # MOV operation
    ref_29388 = ((ref_29374 << ((ref_29386 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_29613 = ref_26014 # MOV operation
    ref_29887 = ref_17914 # MOV operation
    ref_29903 = ref_29613 # MOV operation
    ref_29915 = ref_29887 # MOV operation
    ref_29917 = (ref_29915 | ref_29903) # OR operation
    ref_29948 = ref_29388 # MOV operation
    ref_29952 = ref_29917 # MOV operation
    ref_29954 = ((ref_29952 + ref_29948) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_29994 = ref_29954 # MOV operation
    ref_30209 = ref_29994 # MOV operation
    ref_30211 = ref_30209 # MOV operation
    endb = ref_30211


print endb & 0xffffffffffffffff
