#!/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_6159 = ref_279 # MOV operation
ref_6219 = ref_6159 # MOV operation
ref_6233 = (ref_6219 >> (0x5 & 0x3F)) # SHR operation
ref_6326 = ref_6233 # MOV operation
ref_7826 = ref_6326 # MOV operation
ref_7994 = ref_7826 # MOV operation
ref_8000 = (0xB4088A290E23905 ^ ref_7994) # XOR operation
ref_8710 = ref_279 # MOV operation
ref_8878 = ref_8710 # MOV operation
ref_8884 = ((ref_8878 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_8892 = ref_8884 # MOV operation
ref_8972 = ref_8892 # MOV operation
ref_8984 = ref_8000 # MOV operation
ref_8986 = ((ref_8984 + ref_8972) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_9080 = ref_8986 # MOV operation
ref_9785 = ref_279 # MOV operation
ref_10555 = ref_9080 # MOV operation
ref_11325 = ref_6326 # MOV operation
ref_11385 = ref_11325 # MOV operation
ref_11397 = ref_10555 # MOV operation
ref_11399 = ((ref_11397 + ref_11385) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_11493 = ref_9785 # MOV operation
ref_11497 = ref_11399 # MOV operation
ref_11499 = ((ref_11497 + ref_11493) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_12303 = ref_11499 # MOV operation
ref_13293 = ref_6326 # MOV operation
ref_13365 = ref_13293 # MOV operation
ref_13367 = (((sx(0x40, ref_13365) * sx(0x40, 0x3C8E8C76)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_13557 = ref_13367 # MOV operation
ref_13563 = (0x7 & ref_13557) # AND operation
ref_13648 = ref_13563 # MOV operation
ref_13662 = (0x1 | ref_13648) # OR operation
ref_14372 = ref_279 # MOV operation
ref_14432 = ref_14372 # MOV operation
ref_14444 = ref_13662 # MOV operation
ref_14446 = (ref_14432 >> ((ref_14444 & 0xFF) & 0x3F)) # SHR operation
ref_15249 = ref_14446 # MOV operation
ref_16039 = ref_6326 # MOV operation
ref_17009 = ref_6326 # MOV operation
ref_17779 = ref_12303 # MOV operation
ref_17847 = ref_17009 # MOV operation
ref_17851 = ref_17779 # MOV operation
ref_17853 = (((sx(0x40, ref_17851) * sx(0x40, ref_17847)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_17935 = ref_17853 # MOV operation
ref_17949 = (0x7 & ref_17935) # AND operation
ref_18034 = ref_17949 # MOV operation
ref_18048 = ((ref_18034 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_18141 = ref_16039 # MOV operation
ref_18145 = ref_18048 # MOV operation
ref_18147 = (ref_18145 | ref_18141) # OR operation
ref_18950 = ref_18147 # MOV operation
ref_20450 = ref_9080 # MOV operation
ref_21420 = ref_15249 # MOV operation
ref_22390 = ref_9080 # MOV operation
ref_22450 = ref_22390 # MOV operation
ref_22464 = (ref_22450 >> (0x4 & 0x3F)) # SHR operation
ref_22549 = ref_22464 # MOV operation
ref_22563 = (0xF & ref_22549) # AND operation
ref_22756 = ref_22563 # MOV operation
ref_22762 = (0x1 | ref_22756) # OR operation
ref_22855 = ref_21420 # MOV operation
ref_22859 = ref_22762 # MOV operation
ref_22861 = (ref_22859 & 0xFFFFFFFF) # MOV operation
ref_22863 = ((ref_22855 << ((ref_22861 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_22870 = ref_22863 # MOV operation
ref_23760 = ref_9080 # MOV operation
ref_23928 = ref_23760 # MOV operation
ref_23936 = (ref_23928 >> (0x4 & 0x3F)) # SHR operation
ref_23943 = ref_23936 # MOV operation
ref_24131 = ref_23943 # MOV operation
ref_24137 = (0xF & ref_24131) # AND operation
ref_24222 = ref_24137 # MOV operation
ref_24236 = (0x1 | ref_24222) # OR operation
ref_24433 = ref_24236 # MOV operation
ref_24435 = ((0x40 - ref_24433) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_24443 = ref_24435 # MOV operation
ref_25233 = ref_15249 # MOV operation
ref_25293 = ref_25233 # MOV operation
ref_25305 = ref_24443 # MOV operation
ref_25307 = (ref_25293 >> ((ref_25305 & 0xFF) & 0x3F)) # SHR operation
ref_25400 = ref_22870 # MOV operation
ref_25404 = ref_25307 # MOV operation
ref_25406 = (ref_25404 | ref_25400) # OR operation
ref_25491 = ref_25406 # MOV operation
ref_25505 = (0xF & ref_25491) # AND operation
ref_25590 = ref_25505 # MOV operation
ref_25604 = ((ref_25590 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_25697 = ref_20450 # MOV operation
ref_25701 = ref_25604 # MOV operation
ref_25703 = (ref_25701 | ref_25697) # OR operation
ref_25796 = ref_25703 # MOV operation
ref_26754 = ref_25796 # MOV operation
ref_26922 = ref_26754 # MOV operation
ref_26928 = (0xF & ref_26922) # AND operation
ref_27013 = ref_26928 # MOV operation
ref_27027 = (0x1 | ref_27013) # OR operation
ref_27224 = ref_27027 # MOV operation
ref_27226 = ((0x40 - ref_27224) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_27234 = ref_27226 # MOV operation
ref_28024 = ref_18950 # MOV operation
ref_28084 = ref_28024 # MOV operation
ref_28096 = ref_27234 # MOV operation
ref_28098 = (ref_28084 >> ((ref_28096 & 0xFF) & 0x3F)) # SHR operation
ref_28893 = ref_18950 # MOV operation
ref_29763 = ref_25796 # MOV operation
ref_29823 = ref_29763 # MOV operation
ref_29837 = (0xF & ref_29823) # AND operation
ref_30030 = ref_29837 # MOV operation
ref_30036 = (0x1 | ref_30030) # OR operation
ref_30129 = ref_28893 # MOV operation
ref_30133 = ref_30036 # MOV operation
ref_30135 = (ref_30133 & 0xFFFFFFFF) # MOV operation
ref_30137 = ((ref_30129 << ((ref_30135 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_30144 = ref_30137 # MOV operation
ref_30224 = ref_30144 # MOV operation
ref_30236 = ref_28098 # MOV operation
ref_30238 = (ref_30236 | ref_30224) # OR operation
ref_31133 = ref_15249 # MOV operation
ref_31193 = ref_31133 # MOV operation
ref_31207 = (ref_31193 >> (0x3 & 0x3F)) # SHR operation
ref_31400 = ref_31207 # MOV operation
ref_31406 = (0xF & ref_31400) # AND operation
ref_31599 = ref_31406 # MOV operation
ref_31605 = (0x1 | ref_31599) # OR operation
ref_31802 = ref_31605 # MOV operation
ref_31804 = ((0x40 - ref_31802) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_31812 = ref_31804 # MOV operation
ref_32602 = ref_12303 # MOV operation
ref_32662 = ref_32602 # MOV operation
ref_32674 = ref_31812 # MOV operation
ref_32676 = (ref_32662 >> ((ref_32674 & 0xFF) & 0x3F)) # SHR operation
ref_33471 = ref_12303 # MOV operation
ref_34441 = ref_15249 # MOV operation
ref_34501 = ref_34441 # MOV operation
ref_34515 = (ref_34501 >> (0x3 & 0x3F)) # SHR operation
ref_34600 = ref_34515 # MOV operation
ref_34614 = (0xF & ref_34600) # AND operation
ref_34807 = ref_34614 # MOV operation
ref_34813 = (0x1 | ref_34807) # OR operation
ref_34906 = ref_33471 # MOV operation
ref_34910 = ref_34813 # MOV operation
ref_34912 = (ref_34910 & 0xFFFFFFFF) # MOV operation
ref_34914 = ((ref_34906 << ((ref_34912 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_34921 = ref_34914 # MOV operation
ref_35001 = ref_34921 # MOV operation
ref_35013 = ref_32676 # MOV operation
ref_35015 = (ref_35013 | ref_35001) # OR operation
ref_35108 = ref_30238 # MOV operation
ref_35112 = ref_35015 # MOV operation
ref_35114 = ((ref_35108 - ref_35112) & 0xFFFFFFFFFFFFFFFF) # CMP operation
ref_35116 = ((((ref_35108 ^ (ref_35112 ^ ref_35114)) ^ ((ref_35108 ^ ref_35114) & (ref_35108 ^ ref_35112))) >> 63) & 0x1) # Carry flag
ref_35120 = (0x1 if (ref_35114 == 0x0) else 0x0) # Zero flag
ref_35122 = ((((ref_35112 >> 8) & 0xFFFFFFFFFFFFFF)) << 8 | (0x1 if ((ref_35116 | ref_35120) == 0x1) else 0x0)) # SETBE operation
ref_35124 = (ref_35122 & 0xFF) # MOVZX operation
ref_35196 = (ref_35124 & 0xFFFFFFFF) # MOV operation
ref_35198 = ((ref_35196 & 0xFFFFFFFF) & (ref_35196 & 0xFFFFFFFF)) # TEST operation
ref_35203 = (0x1 if (ref_35198 == 0x0) else 0x0) # Zero flag
ref_35205 = (0x40170D if (ref_35203 == 0x1) else 0x4016EF) # Program Counter


if (ref_35203 == 0x1):
    ref_69493 = SymVar_0
    ref_69508 = ref_69493 # MOV operation
    ref_75393 = ref_69508 # MOV operation
    ref_75453 = ref_75393 # MOV operation
    ref_75467 = (ref_75453 >> (0x5 & 0x3F)) # SHR operation
    ref_75560 = ref_75467 # MOV operation
    ref_77060 = ref_75560 # MOV operation
    ref_77228 = ref_77060 # MOV operation
    ref_77234 = (0xB4088A290E23905 ^ ref_77228) # XOR operation
    ref_77944 = ref_69508 # MOV operation
    ref_78112 = ref_77944 # MOV operation
    ref_78118 = ((ref_78112 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_78126 = ref_78118 # MOV operation
    ref_78206 = ref_78126 # MOV operation
    ref_78218 = ref_77234 # MOV operation
    ref_78220 = ((ref_78218 + ref_78206) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_78314 = ref_78220 # MOV operation
    ref_79019 = ref_69508 # MOV operation
    ref_79789 = ref_78314 # MOV operation
    ref_80559 = ref_75560 # MOV operation
    ref_80619 = ref_80559 # MOV operation
    ref_80631 = ref_79789 # MOV operation
    ref_80633 = ((ref_80631 + ref_80619) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_80727 = ref_79019 # MOV operation
    ref_80731 = ref_80633 # MOV operation
    ref_80733 = ((ref_80731 + ref_80727) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_81537 = ref_80733 # MOV operation
    ref_82527 = ref_75560 # MOV operation
    ref_82599 = ref_82527 # MOV operation
    ref_82601 = (((sx(0x40, ref_82599) * sx(0x40, 0x3C8E8C76)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_82791 = ref_82601 # MOV operation
    ref_82797 = (0x7 & ref_82791) # AND operation
    ref_82882 = ref_82797 # MOV operation
    ref_82896 = (0x1 | ref_82882) # OR operation
    ref_83606 = ref_69508 # MOV operation
    ref_83666 = ref_83606 # MOV operation
    ref_83678 = ref_82896 # MOV operation
    ref_83680 = (ref_83666 >> ((ref_83678 & 0xFF) & 0x3F)) # SHR operation
    ref_84483 = ref_83680 # MOV operation
    ref_85273 = ref_75560 # MOV operation
    ref_86243 = ref_75560 # MOV operation
    ref_87013 = ref_81537 # MOV operation
    ref_87081 = ref_86243 # MOV operation
    ref_87085 = ref_87013 # MOV operation
    ref_87087 = (((sx(0x40, ref_87085) * sx(0x40, ref_87081)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_87169 = ref_87087 # MOV operation
    ref_87183 = (0x7 & ref_87169) # AND operation
    ref_87268 = ref_87183 # MOV operation
    ref_87282 = ((ref_87268 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_87375 = ref_85273 # MOV operation
    ref_87379 = ref_87282 # MOV operation
    ref_87381 = (ref_87379 | ref_87375) # OR operation
    ref_88184 = ref_87381 # MOV operation
    ref_88186 = ((ref_88184 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_88187 = ((ref_88184 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_88188 = ((ref_88184 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_88189 = ((ref_88184 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_88190 = ((ref_88184 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_88191 = ((ref_88184 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_88192 = ((ref_88184 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_88193 = (ref_88184 & 0xFF) # Byte reference - MOV operation
    ref_89684 = ref_78314 # MOV operation
    ref_90654 = ref_84483 # MOV operation
    ref_91624 = ref_78314 # MOV operation
    ref_91684 = ref_91624 # MOV operation
    ref_91698 = (ref_91684 >> (0x4 & 0x3F)) # SHR operation
    ref_91783 = ref_91698 # MOV operation
    ref_91797 = (0xF & ref_91783) # AND operation
    ref_91990 = ref_91797 # MOV operation
    ref_91996 = (0x1 | ref_91990) # OR operation
    ref_92089 = ref_90654 # MOV operation
    ref_92093 = ref_91996 # MOV operation
    ref_92095 = (ref_92093 & 0xFFFFFFFF) # MOV operation
    ref_92097 = ((ref_92089 << ((ref_92095 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_92104 = ref_92097 # MOV operation
    ref_92994 = ref_78314 # MOV operation
    ref_93162 = ref_92994 # MOV operation
    ref_93170 = (ref_93162 >> (0x4 & 0x3F)) # SHR operation
    ref_93177 = ref_93170 # MOV operation
    ref_93365 = ref_93177 # MOV operation
    ref_93371 = (0xF & ref_93365) # AND operation
    ref_93456 = ref_93371 # MOV operation
    ref_93470 = (0x1 | ref_93456) # OR operation
    ref_93667 = ref_93470 # MOV operation
    ref_93669 = ((0x40 - ref_93667) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_93677 = ref_93669 # MOV operation
    ref_94467 = ref_84483 # MOV operation
    ref_94527 = ref_94467 # MOV operation
    ref_94539 = ref_93677 # MOV operation
    ref_94541 = (ref_94527 >> ((ref_94539 & 0xFF) & 0x3F)) # SHR operation
    ref_94634 = ref_92104 # MOV operation
    ref_94638 = ref_94541 # MOV operation
    ref_94640 = (ref_94638 | ref_94634) # OR operation
    ref_94725 = ref_94640 # MOV operation
    ref_94739 = (0xF & ref_94725) # AND operation
    ref_94824 = ref_94739 # MOV operation
    ref_94838 = ((ref_94824 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_94931 = ref_89684 # MOV operation
    ref_94935 = ref_94838 # MOV operation
    ref_94937 = (ref_94935 | ref_94931) # OR operation
    ref_95030 = ref_94937 # MOV operation
    ref_106116 = ref_95030 # MOV operation
    ref_106176 = ref_106116 # MOV operation
    ref_106190 = (0xF & ref_106176) # AND operation
    ref_106383 = ref_106190 # MOV operation
    ref_106391 = ((ref_106383 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_106398 = ref_106391 # MOV operation
    ref_107188 = ref_95030 # MOV operation
    ref_107248 = ref_107188 # MOV operation
    ref_107260 = ref_106398 # MOV operation
    ref_107262 = (ref_107260 | ref_107248) # OR operation
    ref_107355 = ref_107262 # MOV operation
    ref_107357 = ((ref_107355 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_107358 = ((ref_107355 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_107359 = ((ref_107355 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_107360 = ((ref_107355 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_107361 = ((ref_107355 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_107362 = ((ref_107355 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_107363 = ((ref_107355 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_107364 = (ref_107355 & 0xFF) # Byte reference - MOV operation
    ref_119679 = ref_88186 # MOVZX operation
    ref_119851 = (ref_119679 & 0xFF) # MOVZX operation
    ref_121143 = ref_88193 # MOVZX operation
    ref_122423 = (ref_121143 & 0xFF) # MOVZX operation
    ref_122425 = (ref_122423 & 0xFF) # Byte reference - MOV operation
    ref_122607 = (ref_119851 & 0xFF) # MOVZX operation
    ref_123887 = (ref_122607 & 0xFF) # MOVZX operation
    ref_123889 = (ref_123887 & 0xFF) # Byte reference - MOV operation
    ref_128469 = ((((ref_107361) << 8 | ref_107362) << 8 | ref_107363) << 8 | ref_107364) # MOV operation
    ref_128645 = (ref_128469 & 0xFFFFFFFF) # MOV operation
    ref_130013 = ((((ref_107357) << 8 | ref_107358) << 8 | ref_107359) << 8 | ref_107360) # MOV operation
    ref_131369 = (ref_130013 & 0xFFFFFFFF) # MOV operation
    ref_132849 = (ref_128645 & 0xFFFFFFFF) # MOV operation
    ref_132913 = (ref_132849 & 0xFFFFFFFF) # MOV operation
    ref_134393 = (ref_132913 & 0xFFFFFFFF) # MOV operation
    ref_134457 = (ref_134393 & 0xFFFFFFFF) # MOV operation
    ref_137117 = (ref_131369 & 0xFFFFFFFF) # MOV operation
    ref_137181 = (ref_137117 & 0xFFFFFFFF) # MOV operation
    ref_137183 = (((ref_137181 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_137184 = (((ref_137181 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_137185 = (((ref_137181 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_137186 = ((ref_137181 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_138661 = (ref_134457 & 0xFFFFFFFF) # MOV operation
    ref_138725 = (ref_138661 & 0xFFFFFFFF) # MOV operation
    ref_138727 = (((ref_138725 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_138728 = (((ref_138725 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_138729 = (((ref_138725 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_138730 = ((ref_138725 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_140565 = ((((((((ref_137183) << 8 | ref_137184) << 8 | ref_137185) << 8 | ref_137186) << 8 | ref_138727) << 8 | ref_138728) << 8 | ref_138729) << 8 | ref_138730) # MOV operation
    ref_141607 = ((((((((ref_122425) << 8 | ref_88187) << 8 | ref_88188) << 8 | ref_88189) << 8 | ref_88190) << 8 | ref_88191) << 8 | ref_88192) << 8 | ref_123889) # MOV operation
    ref_141675 = ref_140565 # MOV operation
    ref_141679 = ref_141607 # MOV operation
    ref_141681 = ((ref_141675 - ref_141679) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_141689 = ref_141681 # MOV operation
    ref_141777 = ref_141689 # MOV operation
    ref_143649 = ref_141777 # MOV operation
    ref_143709 = ref_143649 # MOV operation
    ref_143723 = (0x3F & ref_143709) # AND operation
    ref_143916 = ref_143723 # MOV operation
    ref_143924 = ((ref_143916 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_143931 = ref_143924 # MOV operation
    ref_144993 = ((((((((ref_122425) << 8 | ref_88187) << 8 | ref_88188) << 8 | ref_88189) << 8 | ref_88190) << 8 | ref_88191) << 8 | ref_88192) << 8 | ref_123889) # MOV operation
    ref_145053 = ref_144993 # MOV operation
    ref_145065 = ref_143931 # MOV operation
    ref_145067 = (ref_145065 | ref_145053) # OR operation
    ref_145160 = ref_145067 # MOV operation
    ref_147826 = ref_84483 # MOV operation
    ref_148596 = ref_141777 # MOV operation
    ref_148656 = ref_148596 # MOV operation
    ref_148668 = ref_147826 # MOV operation
    ref_148670 = (ref_148668 | ref_148656) # OR operation
    ref_149465 = ref_145160 # MOV operation
    ref_150535 = ((((((((ref_137183) << 8 | ref_137184) << 8 | ref_137185) << 8 | ref_137186) << 8 | ref_138727) << 8 | ref_138728) << 8 | ref_138729) << 8 | ref_138730) # MOV operation
    ref_150595 = ref_150535 # MOV operation
    ref_150609 = (ref_150595 >> (0x2 & 0x3F)) # SHR operation
    ref_150694 = ref_150609 # MOV operation
    ref_150708 = (0x7 & ref_150694) # AND operation
    ref_150793 = ref_150708 # MOV operation
    ref_150807 = (0x1 | ref_150793) # OR operation
    ref_150900 = ref_149465 # MOV operation
    ref_150904 = ref_150807 # MOV operation
    ref_150906 = (ref_150904 & 0xFFFFFFFF) # MOV operation
    ref_150908 = ((ref_150900 << ((ref_150906 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_150915 = ref_150908 # MOV operation
    ref_150995 = ref_150915 # MOV operation
    ref_151007 = ref_148670 # MOV operation
    ref_151009 = ((ref_151007 + ref_150995) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_151103 = ref_151009 # MOV operation
    ref_151282 = ref_151103 # MOV operation
    ref_151284 = ref_151282 # MOV operation
    endb = ref_151284


else:
    ref_264 = SymVar_0
    ref_279 = ref_264 # MOV operation
    ref_6159 = ref_279 # MOV operation
    ref_6219 = ref_6159 # MOV operation
    ref_6233 = (ref_6219 >> (0x5 & 0x3F)) # SHR operation
    ref_6326 = ref_6233 # MOV operation
    ref_7826 = ref_6326 # MOV operation
    ref_7994 = ref_7826 # MOV operation
    ref_8000 = (0xB4088A290E23905 ^ ref_7994) # XOR operation
    ref_8710 = ref_279 # MOV operation
    ref_8878 = ref_8710 # MOV operation
    ref_8884 = ((ref_8878 - 0x10695A81) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_8892 = ref_8884 # MOV operation
    ref_8972 = ref_8892 # MOV operation
    ref_8984 = ref_8000 # MOV operation
    ref_8986 = ((ref_8984 + ref_8972) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_9080 = ref_8986 # MOV operation
    ref_9785 = ref_279 # MOV operation
    ref_10555 = ref_9080 # MOV operation
    ref_11325 = ref_6326 # MOV operation
    ref_11385 = ref_11325 # MOV operation
    ref_11397 = ref_10555 # MOV operation
    ref_11399 = ((ref_11397 + ref_11385) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_11493 = ref_9785 # MOV operation
    ref_11497 = ref_11399 # MOV operation
    ref_11499 = ((ref_11497 + ref_11493) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_12303 = ref_11499 # MOV operation
    ref_13293 = ref_6326 # MOV operation
    ref_13365 = ref_13293 # MOV operation
    ref_13367 = (((sx(0x40, ref_13365) * sx(0x40, 0x3C8E8C76)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_13557 = ref_13367 # MOV operation
    ref_13563 = (0x7 & ref_13557) # AND operation
    ref_13648 = ref_13563 # MOV operation
    ref_13662 = (0x1 | ref_13648) # OR operation
    ref_14372 = ref_279 # MOV operation
    ref_14432 = ref_14372 # MOV operation
    ref_14444 = ref_13662 # MOV operation
    ref_14446 = (ref_14432 >> ((ref_14444 & 0xFF) & 0x3F)) # SHR operation
    ref_15249 = ref_14446 # MOV operation
    ref_16039 = ref_6326 # MOV operation
    ref_17009 = ref_6326 # MOV operation
    ref_17779 = ref_12303 # MOV operation
    ref_17847 = ref_17009 # MOV operation
    ref_17851 = ref_17779 # MOV operation
    ref_17853 = (((sx(0x40, ref_17851) * sx(0x40, ref_17847)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
    ref_17935 = ref_17853 # MOV operation
    ref_17949 = (0x7 & ref_17935) # AND operation
    ref_18034 = ref_17949 # MOV operation
    ref_18048 = ((ref_18034 << (0x2 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_18141 = ref_16039 # MOV operation
    ref_18145 = ref_18048 # MOV operation
    ref_18147 = (ref_18145 | ref_18141) # OR operation
    ref_18950 = ref_18147 # MOV operation
    ref_20450 = ref_9080 # MOV operation
    ref_21420 = ref_15249 # MOV operation
    ref_22390 = ref_9080 # MOV operation
    ref_22450 = ref_22390 # MOV operation
    ref_22464 = (ref_22450 >> (0x4 & 0x3F)) # SHR operation
    ref_22549 = ref_22464 # MOV operation
    ref_22563 = (0xF & ref_22549) # AND operation
    ref_22756 = ref_22563 # MOV operation
    ref_22762 = (0x1 | ref_22756) # OR operation
    ref_22855 = ref_21420 # MOV operation
    ref_22859 = ref_22762 # MOV operation
    ref_22861 = (ref_22859 & 0xFFFFFFFF) # MOV operation
    ref_22863 = ((ref_22855 << ((ref_22861 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_22870 = ref_22863 # MOV operation
    ref_23760 = ref_9080 # MOV operation
    ref_23928 = ref_23760 # MOV operation
    ref_23936 = (ref_23928 >> (0x4 & 0x3F)) # SHR operation
    ref_23943 = ref_23936 # MOV operation
    ref_24131 = ref_23943 # MOV operation
    ref_24137 = (0xF & ref_24131) # AND operation
    ref_24222 = ref_24137 # MOV operation
    ref_24236 = (0x1 | ref_24222) # OR operation
    ref_24433 = ref_24236 # MOV operation
    ref_24435 = ((0x40 - ref_24433) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_24443 = ref_24435 # MOV operation
    ref_25233 = ref_15249 # MOV operation
    ref_25293 = ref_25233 # MOV operation
    ref_25305 = ref_24443 # MOV operation
    ref_25307 = (ref_25293 >> ((ref_25305 & 0xFF) & 0x3F)) # SHR operation
    ref_25400 = ref_22870 # MOV operation
    ref_25404 = ref_25307 # MOV operation
    ref_25406 = (ref_25404 | ref_25400) # OR operation
    ref_25491 = ref_25406 # MOV operation
    ref_25505 = (0xF & ref_25491) # AND operation
    ref_25590 = ref_25505 # MOV operation
    ref_25604 = ((ref_25590 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_25697 = ref_20450 # MOV operation
    ref_25701 = ref_25604 # MOV operation
    ref_25703 = (ref_25701 | ref_25697) # OR operation
    ref_25796 = ref_25703 # MOV operation
    ref_25798 = ((ref_25796 >> 56) & 0xFF) # Byte reference - MOV operation
    ref_25799 = ((ref_25796 >> 48) & 0xFF) # Byte reference - MOV operation
    ref_25800 = ((ref_25796 >> 40) & 0xFF) # Byte reference - MOV operation
    ref_25801 = ((ref_25796 >> 32) & 0xFF) # Byte reference - MOV operation
    ref_25802 = ((ref_25796 >> 24) & 0xFF) # Byte reference - MOV operation
    ref_25803 = ((ref_25796 >> 16) & 0xFF) # Byte reference - MOV operation
    ref_25804 = ((ref_25796 >> 8) & 0xFF) # Byte reference - MOV operation
    ref_25805 = (ref_25796 & 0xFF) # Byte reference - MOV operation
    ref_36111 = ref_18950 # MOV operation
    ref_36881 = ref_12303 # MOV operation
    ref_36949 = ref_36111 # MOV operation
    ref_36953 = ref_36881 # MOV operation
    ref_36955 = ((ref_36949 - ref_36953) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_36963 = ref_36955 # MOV operation
    ref_37043 = ref_36963 # MOV operation
    ref_37057 = (0x1F & ref_37043) # AND operation
    ref_37250 = ref_37057 # MOV operation
    ref_37258 = ((ref_37250 << (0x3 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_37265 = ref_37258 # MOV operation
    ref_38055 = ref_15249 # MOV operation
    ref_38115 = ref_38055 # MOV operation
    ref_38127 = ref_37265 # MOV operation
    ref_38129 = (ref_38127 | ref_38115) # OR operation
    ref_38932 = ref_38129 # MOV operation
    ref_40432 = ref_18950 # MOV operation
    ref_41302 = ref_25796 # MOV operation
    ref_41470 = ref_41302 # MOV operation
    ref_41476 = (0x1F & ref_41470) # AND operation
    ref_41561 = ref_41476 # MOV operation
    ref_41575 = ((ref_41561 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_41668 = ref_40432 # MOV operation
    ref_41672 = ref_41575 # MOV operation
    ref_41674 = (ref_41672 | ref_41668) # OR operation
    ref_41767 = ref_41674 # MOV operation
    ref_46357 = ((((ref_25802) << 8 | ref_25803) << 8 | ref_25804) << 8 | ref_25805) # MOV operation
    ref_46533 = (ref_46357 & 0xFFFFFFFF) # MOV operation
    ref_47901 = ((((ref_25798) << 8 | ref_25799) << 8 | ref_25800) << 8 | ref_25801) # MOV operation
    ref_49257 = (ref_47901 & 0xFFFFFFFF) # MOV operation
    ref_50737 = (ref_46533 & 0xFFFFFFFF) # MOV operation
    ref_50801 = (ref_50737 & 0xFFFFFFFF) # MOV operation
    ref_52281 = (ref_50801 & 0xFFFFFFFF) # MOV operation
    ref_52345 = (ref_52281 & 0xFFFFFFFF) # MOV operation
    ref_55005 = (ref_49257 & 0xFFFFFFFF) # MOV operation
    ref_55069 = (ref_55005 & 0xFFFFFFFF) # MOV operation
    ref_55071 = (((ref_55069 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_55072 = (((ref_55069 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_55073 = (((ref_55069 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_55074 = ((ref_55069 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_56549 = (ref_52345 & 0xFFFFFFFF) # MOV operation
    ref_56613 = (ref_56549 & 0xFFFFFFFF) # MOV operation
    ref_56615 = (((ref_56613 & 0xFFFFFFFF) >> 24) & 0xFF) # Byte reference - MOV operation
    ref_56616 = (((ref_56613 & 0xFFFFFFFF) >> 16) & 0xFF) # Byte reference - MOV operation
    ref_56617 = (((ref_56613 & 0xFFFFFFFF) >> 8) & 0xFF) # Byte reference - MOV operation
    ref_56618 = ((ref_56613 & 0xFFFFFFFF) & 0xFF) # Byte reference - MOV operation
    ref_58453 = ((((((((ref_55071) << 8 | ref_55072) << 8 | ref_55073) << 8 | ref_55074) << 8 | ref_56615) << 8 | ref_56616) << 8 | ref_56617) << 8 | ref_56618) # MOV operation
    ref_59495 = ref_41767 # MOV operation
    ref_59563 = ref_58453 # MOV operation
    ref_59567 = ref_59495 # MOV operation
    ref_59569 = ((ref_59563 - ref_59567) & 0xFFFFFFFFFFFFFFFF) # SUB operation
    ref_59577 = ref_59569 # MOV operation
    ref_59665 = ref_59577 # MOV operation
    ref_61537 = ref_59665 # MOV operation
    ref_61597 = ref_61537 # MOV operation
    ref_61611 = (0x3F & ref_61597) # AND operation
    ref_61804 = ref_61611 # MOV operation
    ref_61812 = ((ref_61804 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_61819 = ref_61812 # MOV operation
    ref_62881 = ref_41767 # MOV operation
    ref_62941 = ref_62881 # MOV operation
    ref_62953 = ref_61819 # MOV operation
    ref_62955 = (ref_62953 | ref_62941) # OR operation
    ref_63048 = ref_62955 # MOV operation
    ref_65714 = ref_38932 # MOV operation
    ref_66484 = ref_59665 # MOV operation
    ref_66544 = ref_66484 # MOV operation
    ref_66556 = ref_65714 # MOV operation
    ref_66558 = (ref_66556 | ref_66544) # OR operation
    ref_67353 = ref_63048 # MOV operation
    ref_68423 = ((((((((ref_55071) << 8 | ref_55072) << 8 | ref_55073) << 8 | ref_55074) << 8 | ref_56615) << 8 | ref_56616) << 8 | ref_56617) << 8 | ref_56618) # MOV operation
    ref_68483 = ref_68423 # MOV operation
    ref_68497 = (ref_68483 >> (0x2 & 0x3F)) # SHR operation
    ref_68582 = ref_68497 # MOV operation
    ref_68596 = (0x7 & ref_68582) # AND operation
    ref_68681 = ref_68596 # MOV operation
    ref_68695 = (0x1 | ref_68681) # OR operation
    ref_68788 = ref_67353 # MOV operation
    ref_68792 = ref_68695 # MOV operation
    ref_68794 = (ref_68792 & 0xFFFFFFFF) # MOV operation
    ref_68796 = ((ref_68788 << ((ref_68794 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
    ref_68803 = ref_68796 # MOV operation
    ref_68883 = ref_68803 # MOV operation
    ref_68895 = ref_66558 # MOV operation
    ref_68897 = ((ref_68895 + ref_68883) & 0xFFFFFFFFFFFFFFFF) # ADD operation
    ref_68991 = ref_68897 # MOV operation
    ref_69170 = ref_68991 # MOV operation
    ref_69172 = ref_69170 # MOV operation
    endb = ref_69172


print endb & 0xffffffffffffffff
