#!/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_6125 = ref_279 # MOV operation
ref_6301 = ref_6125 # MOV operation
ref_6321 = (ref_6301 >> (0x5 & 0x3F)) # SHR operation
ref_6424 = ref_6321 # MOV operation
ref_7918 = ref_6424 # MOV operation
ref_8102 = ref_7918 # MOV operation
ref_8112 = (ref_8102 ^ 0xB4088A290E23905) # XOR operation
ref_8982 = ref_279 # MOV operation
ref_9076 = ref_8982 # MOV operation
ref_9094 = ((ref_9076 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_9194 = ref_9094 # MOV operation
ref_9210 = ref_8112 # MOV operation
ref_9212 = ((ref_9194 + ref_9210) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_9316 = ref_9212 # MOV operation
ref_10810 = ref_9316 # MOV operation
ref_11606 = ref_6424 # MOV operation
ref_11700 = ref_11606 # MOV operation
ref_11716 = ref_10810 # MOV operation
ref_11718 = ((ref_11700 + ref_11716) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_12507 = ref_279 # MOV operation
ref_12601 = ref_12507 # MOV operation
ref_12617 = ref_11718 # MOV operation
ref_12619 = ((ref_12601 + ref_12617) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_12723 = ref_12619 # MOV operation
ref_14204 = ref_279 # MOV operation
ref_15164 = ref_6424 # MOV operation
ref_15356 = ref_15164 # MOV operation
ref_15358 = (((sx(0x40, 0x3C8E8C76) * sx(0x40, ref_15356)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_15454 = ref_15358 # MOV operation
ref_15472 = (ref_15454 & 0x7) # AND operation
ref_15571 = ref_15472 # MOV operation
ref_15589 = (ref_15571 | 0x1) # OR operation
ref_15688 = ref_14204 # MOV operation
ref_15704 = ref_15589 # MOV operation
ref_15706 = (ref_15704 & 0xFFFFFFFF) # MOV operation
ref_15708 = (ref_15688 >> ((ref_15706 & 0xFF) & 0x3F)) # SHR operation
ref_15811 = ref_15708 # MOV operation
ref_17387 = ref_12723 # MOV operation
ref_18183 = ref_6424 # MOV operation
ref_18277 = ref_18183 # MOV operation
ref_18293 = ref_17387 # MOV operation
ref_18295 = (((sx(0x40, ref_18277) * sx(0x40, ref_18293)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_18391 = ref_18295 # MOV operation
ref_18409 = (ref_18391 & 0x7) # AND operation
ref_18590 = ref_18409 # MOV operation
ref_18610 = ((ref_18590 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_19411 = ref_6424 # MOV operation
ref_19505 = ref_19411 # MOV operation
ref_19521 = ref_18610 # MOV operation
ref_19523 = (ref_19505 | ref_19521) # OR operation
ref_19626 = ref_19523 # MOV operation
ref_21202 = ref_15811 # MOV operation
ref_22162 = ref_9316 # MOV operation
ref_22338 = ref_22162 # MOV operation
ref_22358 = (ref_22338 >> (0x4 & 0x3F)) # SHR operation
ref_22457 = ref_22358 # MOV operation
ref_22475 = (ref_22457 & 0xF) # AND operation
ref_22574 = ref_22475 # MOV operation
ref_22592 = (ref_22574 | 0x1) # OR operation
ref_22789 = ref_22592 # MOV operation
ref_22791 = ((0x40 - ref_22789) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_22891 = ref_21202 # MOV operation
ref_22907 = ref_22791 # MOV operation
ref_22909 = (ref_22907 & 0xFFFFFFFF) # MOV operation
ref_22911 = (ref_22891 >> ((ref_22909 & 0xFF) & 0x3F)) # SHR operation
ref_23712 = ref_15811 # MOV operation
ref_24672 = ref_9316 # MOV operation
ref_24848 = ref_24672 # MOV operation
ref_24868 = (ref_24848 >> (0x4 & 0x3F)) # SHR operation
ref_24967 = ref_24868 # MOV operation
ref_24985 = (ref_24967 & 0xF) # AND operation
ref_25084 = ref_24985 # MOV operation
ref_25102 = (ref_25084 | 0x1) # OR operation
ref_25201 = ref_23712 # MOV operation
ref_25217 = ref_25102 # MOV operation
ref_25219 = (ref_25217 & 0xFFFFFFFF) # MOV operation
ref_25221 = ((ref_25201 << ((ref_25219 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_25320 = ref_25221 # MOV operation
ref_25336 = ref_22911 # MOV operation
ref_25338 = (ref_25320 | ref_25336) # OR operation
ref_25437 = ref_25338 # MOV operation
ref_25455 = (ref_25437 & 0xF) # AND operation
ref_25636 = ref_25455 # MOV operation
ref_25656 = ((ref_25636 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_26457 = ref_9316 # MOV operation
ref_26551 = ref_26457 # MOV operation
ref_26567 = ref_25656 # MOV operation
ref_26569 = (ref_26551 | ref_26567) # OR operation
ref_26672 = ref_26569 # MOV operation
ref_27534 = ref_19626 # MOV operation
ref_28494 = ref_26672 # MOV operation
ref_28588 = ref_28494 # MOV operation
ref_28606 = (ref_28588 & 0xF) # AND operation
ref_28705 = ref_28606 # MOV operation
ref_28723 = (ref_28705 | 0x1) # OR operation
ref_28920 = ref_28723 # MOV operation
ref_28922 = ((0x40 - ref_28920) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_29022 = ref_27534 # MOV operation
ref_29038 = ref_28922 # MOV operation
ref_29040 = (ref_29038 & 0xFFFFFFFF) # MOV operation
ref_29042 = (ref_29022 >> ((ref_29040 & 0xFF) & 0x3F)) # SHR operation
ref_29843 = ref_19626 # MOV operation
ref_30803 = ref_26672 # MOV operation
ref_30897 = ref_30803 # MOV operation
ref_30915 = (ref_30897 & 0xF) # AND operation
ref_31014 = ref_30915 # MOV operation
ref_31032 = (ref_31014 | 0x1) # OR operation
ref_31131 = ref_29843 # MOV operation
ref_31147 = ref_31032 # MOV operation
ref_31149 = (ref_31147 & 0xFFFFFFFF) # MOV operation
ref_31151 = ((ref_31131 << ((ref_31149 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_31250 = ref_31151 # MOV operation
ref_31266 = ref_29042 # MOV operation
ref_31268 = (ref_31250 | ref_31266) # OR operation
ref_32069 = ref_12723 # MOV operation
ref_33029 = ref_15811 # MOV operation
ref_33205 = ref_33029 # MOV operation
ref_33225 = (ref_33205 >> (0x3 & 0x3F)) # SHR operation
ref_33324 = ref_33225 # MOV operation
ref_33342 = (ref_33324 & 0xF) # AND operation
ref_33441 = ref_33342 # MOV operation
ref_33459 = (ref_33441 | 0x1) # OR operation
ref_33656 = ref_33459 # MOV operation
ref_33658 = ((0x40 - ref_33656) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_33758 = ref_32069 # MOV operation
ref_33774 = ref_33658 # MOV operation
ref_33776 = (ref_33774 & 0xFFFFFFFF) # MOV operation
ref_33778 = (ref_33758 >> ((ref_33776 & 0xFF) & 0x3F)) # SHR operation
ref_34579 = ref_12723 # MOV operation
ref_35539 = ref_15811 # MOV operation
ref_35715 = ref_35539 # MOV operation
ref_35735 = (ref_35715 >> (0x3 & 0x3F)) # SHR operation
ref_35834 = ref_35735 # MOV operation
ref_35852 = (ref_35834 & 0xF) # AND operation
ref_35951 = ref_35852 # MOV operation
ref_35969 = (ref_35951 | 0x1) # OR operation
ref_36068 = ref_34579 # MOV operation
ref_36084 = ref_35969 # MOV operation
ref_36086 = (ref_36084 & 0xFFFFFFFF) # MOV operation
ref_36088 = ((ref_36068 << ((ref_36086 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_36187 = ref_36088 # MOV operation
ref_36203 = ref_33778 # MOV operation
ref_36205 = (ref_36187 | ref_36203) # OR operation
ref_36304 = ref_31268 # MOV operation
ref_36320 = ref_36205 # MOV operation
ref_36322 = ((ref_36304 - ref_36320) & 0xFFFFFFFFFFFFFFFF) # CMP operation
ref_36324 = ((((ref_36304 ^ (ref_36320 ^ ref_36322)) ^ ((ref_36304 ^ ref_36322) & (ref_36304 ^ ref_36320))) >> 63) & 0x1) # Carry flag
ref_36328 = (0x1 if (ref_36322 == 0x0) else 0x0) # Zero flag
ref_36330 = ((((ref_36320 >> 8) & 0xFFFFFFFFFFFFFF)) << 8 | (0x1 if ((ref_36324 | ref_36328) == 0x1) else 0x0)) # SETBE operation
ref_36332 = (ref_36330 & 0xFF) # MOVZX operation
ref_36418 = (ref_36332 & 0xFFFFFFFF) # MOV operation
ref_36420 = ((ref_36418 & 0xFFFFFFFF) & (ref_36418 & 0xFFFFFFFF)) # TEST operation
ref_36425 = (0x1 if (ref_36420 == 0x0) else 0x0) # Zero flag
ref_36427 = (0x401C57 if (ref_36425 == 0x1) else 0x401C36) # Program Counter


if (ref_36425 == 0x1):
    ref_72677 = SymVar_0
    ref_72692 = ref_72677 # MOV operation
    ref_78543 = ref_72692 # MOV operation
    ref_78719 = ref_78543 # MOV operation
    ref_78739 = (ref_78719 >> (0x5 & 0x3F)) # SHR operation
    ref_78842 = ref_78739 # MOV operation
    ref_80336 = ref_78842 # MOV operation
    ref_80520 = ref_80336 # MOV operation
    ref_80530 = (ref_80520 ^ 0xB4088A290E23905) # XOR operation
    ref_81400 = ref_72692 # MOV operation
    ref_81494 = ref_81400 # MOV operation
    ref_81512 = ((ref_81494 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_81612 = ref_81512 # MOV operation
    ref_81628 = ref_80530 # MOV operation
    ref_81630 = ((ref_81612 + ref_81628) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_81734 = ref_81630 # MOV operation
    ref_83228 = ref_81734 # MOV operation
    ref_84024 = ref_78842 # MOV operation
    ref_84118 = ref_84024 # MOV operation
    ref_84134 = ref_83228 # MOV operation
    ref_84136 = ((ref_84118 + ref_84134) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_84925 = ref_72692 # MOV operation
    ref_85019 = ref_84925 # MOV operation
    ref_85035 = ref_84136 # MOV operation
    ref_85037 = ((ref_85019 + ref_85035) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_85141 = ref_85037 # MOV operation
    ref_86622 = ref_72692 # MOV operation
    ref_87582 = ref_78842 # MOV operation
    ref_87774 = ref_87582 # MOV operation
    ref_87776 = (((sx(0x40, 0x3C8E8C76) * sx(0x40, ref_87774)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_87872 = ref_87776 # MOV operation
    ref_87890 = (ref_87872 & 0x7) # AND operation
    ref_87989 = ref_87890 # MOV operation
    ref_88007 = (ref_87989 | 0x1) # OR operation
    ref_88106 = ref_86622 # MOV operation
    ref_88122 = ref_88007 # MOV operation
    ref_88124 = (ref_88122 & 0xFFFFFFFF) # MOV operation
    ref_88126 = (ref_88106 >> ((ref_88124 & 0xFF) & 0x3F)) # SHR operation
    ref_88229 = ref_88126 # MOV operation
    ref_89805 = ref_85141 # MOV operation
    ref_90601 = ref_78842 # MOV operation
    ref_90695 = ref_90601 # MOV operation
    ref_90711 = ref_89805 # MOV operation
    ref_90713 = (((sx(0x40, ref_90695) * sx(0x40, ref_90711)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_90809 = ref_90713 # MOV operation
    ref_90827 = (ref_90809 & 0x7) # AND operation
    ref_91008 = ref_90827 # MOV operation
    ref_91028 = ((ref_91008 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_91829 = ref_78842 # MOV operation
    ref_91923 = ref_91829 # MOV operation
    ref_91939 = ref_91028 # MOV operation
    ref_91941 = (ref_91923 | ref_91939) # OR operation
    ref_92044 = ref_91941 # MOV operation
    ref_92046 = ((ref_92044 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_92047 = ((ref_92044 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_92048 = ((ref_92044 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_92049 = ((ref_92044 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_92050 = ((ref_92044 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_92051 = ((ref_92044 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_92052 = ((ref_92044 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_92053 = (ref_92044 & 0xFF) # Byte reference - MOV operation
    ref_93620 = ref_88229 # MOV operation
    ref_94580 = ref_81734 # MOV operation
    ref_94756 = ref_94580 # MOV operation
    ref_94776 = (ref_94756 >> (0x4 & 0x3F)) # SHR operation
    ref_94875 = ref_94776 # MOV operation
    ref_94893 = (ref_94875 & 0xF) # AND operation
    ref_94992 = ref_94893 # MOV operation
    ref_95010 = (ref_94992 | 0x1) # OR operation
    ref_95207 = ref_95010 # MOV operation
    ref_95209 = ((0x40 - ref_95207) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_95309 = ref_93620 # MOV operation
    ref_95325 = ref_95209 # MOV operation
    ref_95327 = (ref_95325 & 0xFFFFFFFF) # MOV operation
    ref_95329 = (ref_95309 >> ((ref_95327 & 0xFF) & 0x3F)) # SHR operation
    ref_96130 = ref_88229 # MOV operation
    ref_97090 = ref_81734 # MOV operation
    ref_97266 = ref_97090 # MOV operation
    ref_97286 = (ref_97266 >> (0x4 & 0x3F)) # SHR operation
    ref_97385 = ref_97286 # MOV operation
    ref_97403 = (ref_97385 & 0xF) # AND operation
    ref_97502 = ref_97403 # MOV operation
    ref_97520 = (ref_97502 | 0x1) # OR operation
    ref_97619 = ref_96130 # MOV operation
    ref_97635 = ref_97520 # MOV operation
    ref_97637 = (ref_97635 & 0xFFFFFFFF) # MOV operation
    ref_97639 = ((ref_97619 << ((ref_97637 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_97738 = ref_97639 # MOV operation
    ref_97754 = ref_95329 # MOV operation
    ref_97756 = (ref_97738 | ref_97754) # OR operation
    ref_97855 = ref_97756 # MOV operation
    ref_97873 = (ref_97855 & 0xF) # AND operation
    ref_98054 = ref_97873 # MOV operation
    ref_98074 = ((ref_98054 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_98875 = ref_81734 # MOV operation
    ref_98969 = ref_98875 # MOV operation
    ref_98985 = ref_98074 # MOV operation
    ref_98987 = (ref_98969 | ref_98985) # OR operation
    ref_99090 = ref_98987 # MOV operation
    ref_110478 = ref_99090 # MOV operation
    ref_110572 = ref_110478 # MOV operation
    ref_110590 = (ref_110572 & 0xF) # AND operation
    ref_110771 = ref_110590 # MOV operation
    ref_110791 = ((ref_110771 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_111592 = ref_99090 # MOV operation
    ref_111686 = ref_111592 # MOV operation
    ref_111702 = ref_110791 # MOV operation
    ref_111704 = (ref_111686 | ref_111702) # OR operation
    ref_111807 = ref_111704 # MOV operation
    ref_111809 = ((ref_111807 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_111810 = ((ref_111807 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_111811 = ((ref_111807 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_111812 = ((ref_111807 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_111813 = ((ref_111807 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_111814 = ((ref_111807 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_111815 = ((ref_111807 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_111816 = (ref_111807 & 0xFF) # Byte reference - MOV operation
    ref_124927 = ref_92046 # MOVZX operation
    ref_125119 = (ref_124927 & 0xFF) # MOVZX operation
    ref_126487 = ref_92053 # MOVZX operation
    ref_127859 = (ref_126487 & 0xFF) # MOVZX operation
    ref_127861 = (ref_127859 & 0xFF) # Byte reference - MOV operation
    ref_128047 = (ref_125119 & 0xFF) # MOVZX operation
    ref_129419 = (ref_128047 & 0xFF) # MOVZX operation
    ref_129421 = (ref_129419 & 0xFF) # Byte reference - MOV operation
    ref_134232 = ((((ref_111813) << 8 | ref_111814) << 8 | ref_111815) << 8 | ref_111816) # MOV operation
    ref_134428 = (ref_134232 & 0xFFFFFFFF) # MOV operation
    ref_135916 = ((((ref_111809) << 8 | ref_111810) << 8 | ref_111811) << 8 | ref_111812) # MOV operation
    ref_137408 = (ref_135916 & 0xFFFFFFFF) # MOV operation
    ref_137600 = (ref_134428 & 0xFFFFFFFF) # MOV operation
    ref_139092 = (ref_137600 & 0xFFFFFFFF) # MOV operation
    ref_140580 = (ref_139092 & 0xFFFFFFFF) # MOV operation
    ref_140776 = (ref_140580 & 0xFFFFFFFF) # MOV operation
    ref_142264 = (ref_137408 & 0xFFFFFFFF) # MOV operation
    ref_143756 = (ref_142264 & 0xFFFFFFFF) # MOV operation
    ref_143758 = (((ref_143756 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_143759 = (((ref_143756 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_143760 = (((ref_143756 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_143761 = ((ref_143756 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_143948 = (ref_140776 & 0xFFFFFFFF) # MOV operation
    ref_145440 = (ref_143948 & 0xFFFFFFFF) # MOV operation
    ref_145442 = (((ref_145440 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_145443 = (((ref_145440 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_145444 = (((ref_145440 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_145445 = ((ref_145440 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_147562 = ((((((((ref_127861) << 8 | ref_92047) << 8 | ref_92048) << 8 | ref_92049) << 8 | ref_92050) << 8 | ref_92051) << 8 | ref_92052) << 8 | ref_129421) # MOV operation
    ref_148474 = ((((((((ref_143758) << 8 | ref_143759) << 8 | ref_143760) << 8 | ref_143761) << 8 | ref_145442) << 8 | ref_145443) << 8 | ref_145444) << 8 | ref_145445) # MOV operation
    ref_148568 = ref_148474 # MOV operation
    ref_148584 = ref_147562 # MOV operation
    ref_148586 = ((ref_148568 - ref_148584) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_148690 = ref_148586 # MOV operation
    ref_150582 = ref_148690 # MOV operation
    ref_150676 = ref_150582 # MOV operation
    ref_150694 = (ref_150676 & 0x3F) # AND operation
    ref_150875 = ref_150694 # MOV operation
    ref_150895 = ((ref_150875 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_152012 = ((((((((ref_127861) << 8 | ref_92047) << 8 | ref_92048) << 8 | ref_92049) << 8 | ref_92050) << 8 | ref_92051) << 8 | ref_92052) << 8 | ref_129421) # MOV operation
    ref_152106 = ref_152012 # MOV operation
    ref_152122 = ref_150895 # MOV operation
    ref_152124 = (ref_152106 | ref_152122) # OR operation
    ref_152227 = ref_152124 # MOV operation
    ref_155001 = ref_88229 # MOV operation
    ref_155797 = ref_148690 # MOV operation
    ref_155891 = ref_155797 # MOV operation
    ref_155907 = ref_155001 # MOV operation
    ref_155909 = (ref_155891 | ref_155907) # OR operation
    ref_156710 = ref_152227 # MOV operation
    ref_157670 = ((((((((ref_143758) << 8 | ref_143759) << 8 | ref_143760) << 8 | ref_143761) << 8 | ref_145442) << 8 | ref_145443) << 8 | ref_145444) << 8 | ref_145445) # MOV operation
    ref_157846 = ref_157670 # MOV operation
    ref_157866 = (ref_157846 >> (0x2 & 0x3F)) # SHR operation
    ref_157965 = ref_157866 # MOV operation
    ref_157983 = (ref_157965 & 0x7) # AND operation
    ref_158082 = ref_157983 # MOV operation
    ref_158100 = (ref_158082 | 0x1) # OR operation
    ref_158199 = ref_156710 # MOV operation
    ref_158215 = ref_158100 # MOV operation
    ref_158217 = (ref_158215 & 0xFFFFFFFF) # MOV operation
    ref_158219 = ((ref_158199 << ((ref_158217 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_158318 = ref_158219 # MOV operation
    ref_158334 = ref_155909 # MOV operation
    ref_158336 = ((ref_158318 + ref_158334) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_158440 = ref_158336 # MOV operation
    ref_158619 = ref_158440 # MOV operation
    ref_158621 = ref_158619 # MOV operation
    endb = ref_158621


else:
    ref_264 = SymVar_0
    ref_279 = ref_264 # MOV operation
    ref_6125 = ref_279 # MOV operation
    ref_6301 = ref_6125 # MOV operation
    ref_6321 = (ref_6301 >> (0x5 & 0x3F)) # SHR operation
    ref_6424 = ref_6321 # MOV operation
    ref_7918 = ref_6424 # MOV operation
    ref_8102 = ref_7918 # MOV operation
    ref_8112 = (ref_8102 ^ 0xB4088A290E23905) # XOR operation
    ref_8982 = ref_279 # MOV operation
    ref_9076 = ref_8982 # MOV operation
    ref_9094 = ((ref_9076 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_9194 = ref_9094 # MOV operation
    ref_9210 = ref_8112 # MOV operation
    ref_9212 = ((ref_9194 + ref_9210) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_9316 = ref_9212 # MOV operation
    ref_10810 = ref_9316 # MOV operation
    ref_11606 = ref_6424 # MOV operation
    ref_11700 = ref_11606 # MOV operation
    ref_11716 = ref_10810 # MOV operation
    ref_11718 = ((ref_11700 + ref_11716) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_12507 = ref_279 # MOV operation
    ref_12601 = ref_12507 # MOV operation
    ref_12617 = ref_11718 # MOV operation
    ref_12619 = ((ref_12601 + ref_12617) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_12723 = ref_12619 # MOV operation
    ref_14204 = ref_279 # MOV operation
    ref_15164 = ref_6424 # MOV operation
    ref_15356 = ref_15164 # MOV operation
    ref_15358 = (((sx(0x40, 0x3C8E8C76) * sx(0x40, ref_15356)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_15454 = ref_15358 # MOV operation
    ref_15472 = (ref_15454 & 0x7) # AND operation
    ref_15571 = ref_15472 # MOV operation
    ref_15589 = (ref_15571 | 0x1) # OR operation
    ref_15688 = ref_14204 # MOV operation
    ref_15704 = ref_15589 # MOV operation
    ref_15706 = (ref_15704 & 0xFFFFFFFF) # MOV operation
    ref_15708 = (ref_15688 >> ((ref_15706 & 0xFF) & 0x3F)) # SHR operation
    ref_15811 = ref_15708 # MOV operation
    ref_17387 = ref_12723 # MOV operation
    ref_18183 = ref_6424 # MOV operation
    ref_18277 = ref_18183 # MOV operation
    ref_18293 = ref_17387 # MOV operation
    ref_18295 = (((sx(0x40, ref_18277) * sx(0x40, ref_18293)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_18391 = ref_18295 # MOV operation
    ref_18409 = (ref_18391 & 0x7) # AND operation
    ref_18590 = ref_18409 # MOV operation
    ref_18610 = ((ref_18590 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_19411 = ref_6424 # MOV operation
    ref_19505 = ref_19411 # MOV operation
    ref_19521 = ref_18610 # MOV operation
    ref_19523 = (ref_19505 | ref_19521) # OR operation
    ref_19626 = ref_19523 # MOV operation
    ref_21202 = ref_15811 # MOV operation
    ref_22162 = ref_9316 # MOV operation
    ref_22338 = ref_22162 # MOV operation
    ref_22358 = (ref_22338 >> (0x4 & 0x3F)) # SHR operation
    ref_22457 = ref_22358 # MOV operation
    ref_22475 = (ref_22457 & 0xF) # AND operation
    ref_22574 = ref_22475 # MOV operation
    ref_22592 = (ref_22574 | 0x1) # OR operation
    ref_22789 = ref_22592 # MOV operation
    ref_22791 = ((0x40 - ref_22789) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_22891 = ref_21202 # MOV operation
    ref_22907 = ref_22791 # MOV operation
    ref_22909 = (ref_22907 & 0xFFFFFFFF) # MOV operation
    ref_22911 = (ref_22891 >> ((ref_22909 & 0xFF) & 0x3F)) # SHR operation
    ref_23712 = ref_15811 # MOV operation
    ref_24672 = ref_9316 # MOV operation
    ref_24848 = ref_24672 # MOV operation
    ref_24868 = (ref_24848 >> (0x4 & 0x3F)) # SHR operation
    ref_24967 = ref_24868 # MOV operation
    ref_24985 = (ref_24967 & 0xF) # AND operation
    ref_25084 = ref_24985 # MOV operation
    ref_25102 = (ref_25084 | 0x1) # OR operation
    ref_25201 = ref_23712 # MOV operation
    ref_25217 = ref_25102 # MOV operation
    ref_25219 = (ref_25217 & 0xFFFFFFFF) # MOV operation
    ref_25221 = ((ref_25201 << ((ref_25219 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_25320 = ref_25221 # MOV operation
    ref_25336 = ref_22911 # MOV operation
    ref_25338 = (ref_25320 | ref_25336) # OR operation
    ref_25437 = ref_25338 # MOV operation
    ref_25455 = (ref_25437 & 0xF) # AND operation
    ref_25636 = ref_25455 # MOV operation
    ref_25656 = ((ref_25636 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_26457 = ref_9316 # MOV operation
    ref_26551 = ref_26457 # MOV operation
    ref_26567 = ref_25656 # MOV operation
    ref_26569 = (ref_26551 | ref_26567) # OR operation
    ref_26672 = ref_26569 # MOV operation
    ref_26674 = ((ref_26672 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_26675 = ((ref_26672 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_26676 = ((ref_26672 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_26677 = ((ref_26672 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_26678 = ((ref_26672 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_26679 = ((ref_26672 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_26680 = ((ref_26672 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_26681 = (ref_26672 & 0xFF) # Byte reference - MOV operation
    ref_37998 = ref_12723 # MOV operation
    ref_38794 = ref_19626 # MOV operation
    ref_38888 = ref_38794 # MOV operation
    ref_38904 = ref_37998 # MOV operation
    ref_38906 = ((ref_38888 - ref_38904) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_39006 = ref_38906 # MOV operation
    ref_39024 = (ref_39006 & 0x1F) # AND operation
    ref_39205 = ref_39024 # MOV operation
    ref_39225 = ((ref_39205 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_40026 = ref_15811 # MOV operation
    ref_40120 = ref_40026 # MOV operation
    ref_40136 = ref_39225 # MOV operation
    ref_40138 = (ref_40120 | ref_40136) # OR operation
    ref_40241 = ref_40138 # MOV operation
    ref_41817 = ref_26672 # MOV operation
    ref_41911 = ref_41817 # MOV operation
    ref_41929 = (ref_41911 & 0x1F) # AND operation
    ref_42110 = ref_41929 # MOV operation
    ref_42130 = ((ref_42110 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_42931 = ref_19626 # MOV operation
    ref_43025 = ref_42931 # MOV operation
    ref_43041 = ref_42130 # MOV operation
    ref_43043 = (ref_43025 | ref_43041) # OR operation
    ref_43146 = ref_43043 # MOV operation
    ref_47967 = ((((ref_26678) << 8 | ref_26679) << 8 | ref_26680) << 8 | ref_26681) # MOV operation
    ref_48163 = (ref_47967 & 0xFFFFFFFF) # MOV operation
    ref_49651 = ((((ref_26674) << 8 | ref_26675) << 8 | ref_26676) << 8 | ref_26677) # MOV operation
    ref_51143 = (ref_49651 & 0xFFFFFFFF) # MOV operation
    ref_51335 = (ref_48163 & 0xFFFFFFFF) # MOV operation
    ref_52827 = (ref_51335 & 0xFFFFFFFF) # MOV operation
    ref_54315 = (ref_52827 & 0xFFFFFFFF) # MOV operation
    ref_54511 = (ref_54315 & 0xFFFFFFFF) # MOV operation
    ref_55999 = (ref_51143 & 0xFFFFFFFF) # MOV operation
    ref_57491 = (ref_55999 & 0xFFFFFFFF) # MOV operation
    ref_57493 = (((ref_57491 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_57494 = (((ref_57491 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_57495 = (((ref_57491 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_57496 = ((ref_57491 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_57683 = (ref_54511 & 0xFFFFFFFF) # MOV operation
    ref_59175 = (ref_57683 & 0xFFFFFFFF) # MOV operation
    ref_59177 = (((ref_59175 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_59178 = (((ref_59175 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_59179 = (((ref_59175 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_59180 = ((ref_59175 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_61297 = ref_43146 # MOV operation
    ref_62209 = ((((((((ref_57493) << 8 | ref_57494) << 8 | ref_57495) << 8 | ref_57496) << 8 | ref_59177) << 8 | ref_59178) << 8 | ref_59179) << 8 | ref_59180) # MOV operation
    ref_62303 = ref_62209 # MOV operation
    ref_62319 = ref_61297 # MOV operation
    ref_62321 = ((ref_62303 - ref_62319) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_62425 = ref_62321 # MOV operation
    ref_64317 = ref_62425 # MOV operation
    ref_64411 = ref_64317 # MOV operation
    ref_64429 = (ref_64411 & 0x3F) # AND operation
    ref_64610 = ref_64429 # MOV operation
    ref_64630 = ((ref_64610 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_65747 = ref_43146 # MOV operation
    ref_65841 = ref_65747 # MOV operation
    ref_65857 = ref_64630 # MOV operation
    ref_65859 = (ref_65841 | ref_65857) # OR operation
    ref_65962 = ref_65859 # MOV operation
    ref_68736 = ref_40241 # MOV operation
    ref_69532 = ref_62425 # MOV operation
    ref_69626 = ref_69532 # MOV operation
    ref_69642 = ref_68736 # MOV operation
    ref_69644 = (ref_69626 | ref_69642) # OR operation
    ref_70445 = ref_65962 # MOV operation
    ref_71405 = ((((((((ref_57493) << 8 | ref_57494) << 8 | ref_57495) << 8 | ref_57496) << 8 | ref_59177) << 8 | ref_59178) << 8 | ref_59179) << 8 | ref_59180) # MOV operation
    ref_71581 = ref_71405 # MOV operation
    ref_71601 = (ref_71581 >> (0x2 & 0x3F)) # SHR operation
    ref_71700 = ref_71601 # MOV operation
    ref_71718 = (ref_71700 & 0x7) # AND operation
    ref_71817 = ref_71718 # MOV operation
    ref_71835 = (ref_71817 | 0x1) # OR operation
    ref_71934 = ref_70445 # MOV operation
    ref_71950 = ref_71835 # MOV operation
    ref_71952 = (ref_71950 & 0xFFFFFFFF) # MOV operation
    ref_71954 = ((ref_71934 << ((ref_71952 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_72053 = ref_71954 # MOV operation
    ref_72069 = ref_69644 # MOV operation
    ref_72071 = ((ref_72053 + ref_72069) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_72175 = ref_72071 # MOV operation
    ref_72354 = ref_72175 # MOV operation
    ref_72356 = ref_72354 # MOV operation
    endb = ref_72356


print endb & 0xffffffffffffffff
