#!/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_14112 = ref_278 # MOV operation
ref_15030 = ref_14112 # MOV operation
ref_15036 = ((0x3F22161B + ref_15030) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_15743 = ref_15036 # MOV operation
ref_25945 = ref_15743 # MOV operation
ref_26484 = ref_25945 # MOV operation
ref_26486 = (((sx(0x40, ref_26484) * sx(0x40, 0x378AED0A)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_27047 = ref_26486 # MOV operation
ref_27049 = (((sx(0x40, ref_27047) * sx(0x40, 0xDF2B78B)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_28097 = ref_27049 # MOV operation
ref_28105 = (ref_28097 >> (0x1 & 0x3F)) # SHR operation
ref_28112 = ref_28105 # MOV operation
ref_28875 = ref_28112 # MOV operation
ref_28889 = (0xF & ref_28875) # AND operation
ref_30118 = ref_28889 # MOV operation
ref_30124 = (0x1 | ref_30118) # OR operation
ref_35595 = ref_278 # MOV operation
ref_36300 = ref_35595 # MOV operation
ref_36314 = ((ref_36300 << (0x7 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_41256 = ref_278 # MOV operation
ref_42282 = ref_41256 # MOV operation
ref_42290 = (ref_42282 >> (0x39 & 0x3F)) # SHR operation
ref_42297 = ref_42290 # MOV operation
ref_42992 = ref_36314 # MOV operation
ref_42996 = ref_42297 # MOV operation
ref_42998 = (ref_42996 | ref_42992) # OR operation
ref_43728 = ref_42998 # MOV operation
ref_43740 = ref_30124 # MOV operation
ref_43742 = ((ref_43728 << ((ref_43740 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_49213 = ref_278 # MOV operation
ref_49918 = ref_49213 # MOV operation
ref_49932 = ((ref_49918 << (0x7 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_54874 = ref_278 # MOV operation
ref_55900 = ref_54874 # MOV operation
ref_55908 = (ref_55900 >> (0x39 & 0x3F)) # SHR operation
ref_55915 = ref_55908 # MOV operation
ref_56610 = ref_49932 # MOV operation
ref_56614 = ref_55915 # MOV operation
ref_56616 = (ref_56614 | ref_56610) # OR operation
ref_62824 = ref_15743 # MOV operation
ref_63363 = ref_62824 # MOV operation
ref_63365 = (((sx(0x40, ref_63363) * sx(0x40, 0x378AED0A)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_63926 = ref_63365 # MOV operation
ref_63928 = (((sx(0x40, ref_63926) * sx(0x40, 0xDF2B78B)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_64976 = ref_63928 # MOV operation
ref_64984 = (ref_64976 >> (0x1 & 0x3F)) # SHR operation
ref_64991 = ref_64984 # MOV operation
ref_65754 = ref_64991 # MOV operation
ref_65768 = (0xF & ref_65754) # AND operation
ref_66997 = ref_65768 # MOV operation
ref_67003 = (0x1 | ref_66997) # OR operation
ref_68166 = ref_67003 # MOV operation
ref_68168 = ((0x40 - ref_68166) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_68176 = ref_68168 # MOV operation
ref_68693 = ref_56616 # MOV operation
ref_68697 = ref_68176 # MOV operation
ref_68699 = (ref_68697 & 0xFFFFFFFF) # MOV operation
ref_68701 = (ref_68693 >> ((ref_68699 & 0xFF) & 0x3F)) # SHR operation
ref_68708 = ref_68701 # MOV operation
ref_69403 = ref_43742 # MOV operation
ref_69407 = ref_68708 # MOV operation
ref_69409 = (ref_69407 | ref_69403) # OR operation
ref_70115 = ref_69409 # MOV operation
ref_79051 = ref_278 # MOV operation
ref_83647 = ref_70115 # MOV operation
ref_84565 = ref_83647 # MOV operation
ref_84571 = ((0xAD6EED + ref_84565) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_84986 = ref_79051 # MOV operation
ref_84990 = ref_84571 # MOV operation
ref_84992 = ((ref_84990 + ref_84986) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_85699 = ref_84992 # MOV operation
ref_94635 = ref_278 # MOV operation
ref_99231 = ref_15743 # MOV operation
ref_99906 = ref_94635 # MOV operation
ref_99910 = ref_99231 # MOV operation
ref_99912 = (ref_99910 | ref_99906) # OR operation
ref_104533 = ref_70115 # MOV operation
ref_105451 = ref_104533 # MOV operation
ref_105457 = ((0x2B6B05ED + ref_105451) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_110079 = ref_85699 # MOV operation
ref_110822 = ref_110079 # MOV operation
ref_110834 = ref_105457 # MOV operation
ref_110836 = (ref_110834 & ref_110822) # AND operation
ref_111250 = ref_99912 # MOV operation
ref_111254 = ref_110836 # MOV operation
ref_111256 = ((ref_111254 + ref_111250) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_111963 = ref_111256 # MOV operation
ref_120578 = ref_111963 # MOV operation
ref_126232 = ref_85699 # MOV operation
ref_126975 = ref_126232 # MOV operation
ref_126989 = (0x3F & ref_126975) # AND operation
ref_127719 = ref_126989 # MOV operation
ref_127733 = ((ref_127719 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_128433 = ref_120578 # MOV operation
ref_128437 = ref_127733 # MOV operation
ref_128439 = (ref_128437 | ref_128433) # OR operation
ref_129145 = ref_128439 # MOV operation
ref_138619 = ref_70115 # MOV operation
ref_139645 = ref_138619 # MOV operation
ref_139653 = (ref_139645 >> (0x4 & 0x3F)) # SHR operation
ref_139660 = ref_139653 # MOV operation
ref_140423 = ref_139660 # MOV operation
ref_140437 = (0xF & ref_140423) # AND operation
ref_141666 = ref_140437 # MOV operation
ref_141672 = (0x1 | ref_141666) # OR operation
ref_146293 = ref_15743 # MOV operation
ref_146998 = ref_146293 # MOV operation
ref_147010 = ref_141672 # MOV operation
ref_147012 = ((ref_146998 << ((ref_147010 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_151633 = ref_15743 # MOV operation
ref_156758 = ref_70115 # MOV operation
ref_157784 = ref_156758 # MOV operation
ref_157792 = (ref_157784 >> (0x4 & 0x3F)) # SHR operation
ref_157799 = ref_157792 # MOV operation
ref_158562 = ref_157799 # MOV operation
ref_158576 = (0xF & ref_158562) # AND operation
ref_159805 = ref_158576 # MOV operation
ref_159811 = (0x1 | ref_159805) # OR operation
ref_160974 = ref_159811 # MOV operation
ref_160976 = ((0x40 - ref_160974) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_160984 = ref_160976 # MOV operation
ref_161501 = ref_151633 # MOV operation
ref_161505 = ref_160984 # MOV operation
ref_161507 = (ref_161505 & 0xFFFFFFFF) # MOV operation
ref_161509 = (ref_161501 >> ((ref_161507 & 0xFF) & 0x3F)) # SHR operation
ref_161516 = ref_161509 # MOV operation
ref_162211 = ref_147012 # MOV operation
ref_162215 = ref_161516 # MOV operation
ref_162217 = (ref_162215 | ref_162211) # OR operation
ref_166838 = ref_85699 # MOV operation
ref_171434 = ref_129145 # MOV operation
ref_171823 = ref_166838 # MOV operation
ref_171827 = ref_171434 # MOV operation
ref_171829 = ((ref_171827 + ref_171823) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_172390 = ref_162217 # MOV operation
ref_172394 = ref_171829 # MOV operation
ref_172396 = (((sx(0x40, ref_172394) * sx(0x40, ref_172390)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_173099 = ref_172396 # MOV operation
ref_173844 = ref_173099 # MOV operation
ref_173846 = ref_173844 # MOV operation

print ref_173846 & 0xffffffffffffffff

b80e2c8e31390a53a377e49fdd0582ed2482d8d3
#!/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_14112 = ref_278 # MOV operation
ref_15030 = ref_14112 # MOV operation
ref_15036 = ((0x3F22161B + ref_15030) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_15743 = ref_15036 # MOV operation
ref_25945 = ref_15743 # MOV operation
ref_26484 = ref_25945 # MOV operation
ref_26486 = (((sx(0x40, ref_26484) * sx(0x40, 0x378AED0A)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_27047 = ref_26486 # MOV operation
ref_27049 = (((sx(0x40, ref_27047) * sx(0x40, 0xDF2B78B)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_28097 = ref_27049 # MOV operation
ref_28105 = (ref_28097 >> (0x1 & 0x3F)) # SHR operation
ref_28112 = ref_28105 # MOV operation
ref_28875 = ref_28112 # MOV operation
ref_28889 = (0xF & ref_28875) # AND operation
ref_30118 = ref_28889 # MOV operation
ref_30124 = (0x1 | ref_30118) # OR operation
ref_35595 = ref_278 # MOV operation
ref_36300 = ref_35595 # MOV operation
ref_36314 = ((ref_36300 << (0x7 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_41256 = ref_278 # MOV operation
ref_42282 = ref_41256 # MOV operation
ref_42290 = (ref_42282 >> (0x39 & 0x3F)) # SHR operation
ref_42297 = ref_42290 # MOV operation
ref_42992 = ref_36314 # MOV operation
ref_42996 = ref_42297 # MOV operation
ref_42998 = (ref_42996 | ref_42992) # OR operation
ref_43728 = ref_42998 # MOV operation
ref_43740 = ref_30124 # MOV operation
ref_43742 = ((ref_43728 << ((ref_43740 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_49213 = ref_278 # MOV operation
ref_49918 = ref_49213 # MOV operation
ref_49932 = ((ref_49918 << (0x7 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_54874 = ref_278 # MOV operation
ref_55900 = ref_54874 # MOV operation
ref_55908 = (ref_55900 >> (0x39 & 0x3F)) # SHR operation
ref_55915 = ref_55908 # MOV operation
ref_56610 = ref_49932 # MOV operation
ref_56614 = ref_55915 # MOV operation
ref_56616 = (ref_56614 | ref_56610) # OR operation
ref_62824 = ref_15743 # MOV operation
ref_63363 = ref_62824 # MOV operation
ref_63365 = (((sx(0x40, ref_63363) * sx(0x40, 0x378AED0A)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_63926 = ref_63365 # MOV operation
ref_63928 = (((sx(0x40, ref_63926) * sx(0x40, 0xDF2B78B)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_64976 = ref_63928 # MOV operation
ref_64984 = (ref_64976 >> (0x1 & 0x3F)) # SHR operation
ref_64991 = ref_64984 # MOV operation
ref_65754 = ref_64991 # MOV operation
ref_65768 = (0xF & ref_65754) # AND operation
ref_66997 = ref_65768 # MOV operation
ref_67003 = (0x1 | ref_66997) # OR operation
ref_68166 = ref_67003 # MOV operation
ref_68168 = ((0x40 - ref_68166) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_68176 = ref_68168 # MOV operation
ref_68693 = ref_56616 # MOV operation
ref_68697 = ref_68176 # MOV operation
ref_68699 = (ref_68697 & 0xFFFFFFFF) # MOV operation
ref_68701 = (ref_68693 >> ((ref_68699 & 0xFF) & 0x3F)) # SHR operation
ref_68708 = ref_68701 # MOV operation
ref_69403 = ref_43742 # MOV operation
ref_69407 = ref_68708 # MOV operation
ref_69409 = (ref_69407 | ref_69403) # OR operation
ref_70115 = ref_69409 # MOV operation
ref_79051 = ref_278 # MOV operation
ref_83647 = ref_70115 # MOV operation
ref_84565 = ref_83647 # MOV operation
ref_84571 = ((0xAD6EED + ref_84565) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_84986 = ref_79051 # MOV operation
ref_84990 = ref_84571 # MOV operation
ref_84992 = ((ref_84990 + ref_84986) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_85699 = ref_84992 # MOV operation
ref_94635 = ref_278 # MOV operation
ref_99231 = ref_15743 # MOV operation
ref_99906 = ref_94635 # MOV operation
ref_99910 = ref_99231 # MOV operation
ref_99912 = (ref_99910 | ref_99906) # OR operation
ref_104533 = ref_70115 # MOV operation
ref_105451 = ref_104533 # MOV operation
ref_105457 = ((0x2B6B05ED + ref_105451) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_110079 = ref_85699 # MOV operation
ref_110822 = ref_110079 # MOV operation
ref_110834 = ref_105457 # MOV operation
ref_110836 = (ref_110834 & ref_110822) # AND operation
ref_111250 = ref_99912 # MOV operation
ref_111254 = ref_110836 # MOV operation
ref_111256 = ((ref_111254 + ref_111250) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_111963 = ref_111256 # MOV operation
ref_120578 = ref_111963 # MOV operation
ref_126232 = ref_85699 # MOV operation
ref_126975 = ref_126232 # MOV operation
ref_126989 = (0x3F & ref_126975) # AND operation
ref_127719 = ref_126989 # MOV operation
ref_127733 = ((ref_127719 << (0x4 & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_128433 = ref_120578 # MOV operation
ref_128437 = ref_127733 # MOV operation
ref_128439 = (ref_128437 | ref_128433) # OR operation
ref_129145 = ref_128439 # MOV operation
ref_138619 = ref_70115 # MOV operation
ref_139645 = ref_138619 # MOV operation
ref_139653 = (ref_139645 >> (0x4 & 0x3F)) # SHR operation
ref_139660 = ref_139653 # MOV operation
ref_140423 = ref_139660 # MOV operation
ref_140437 = (0xF & ref_140423) # AND operation
ref_141666 = ref_140437 # MOV operation
ref_141672 = (0x1 | ref_141666) # OR operation
ref_146293 = ref_15743 # MOV operation
ref_146998 = ref_146293 # MOV operation
ref_147010 = ref_141672 # MOV operation
ref_147012 = ((ref_146998 << ((ref_147010 & 0xFF) & 0x3F)) & 0xFFFFFFFFFFFFFFFF) # SHL operation
ref_151633 = ref_15743 # MOV operation
ref_156758 = ref_70115 # MOV operation
ref_157784 = ref_156758 # MOV operation
ref_157792 = (ref_157784 >> (0x4 & 0x3F)) # SHR operation
ref_157799 = ref_157792 # MOV operation
ref_158562 = ref_157799 # MOV operation
ref_158576 = (0xF & ref_158562) # AND operation
ref_159805 = ref_158576 # MOV operation
ref_159811 = (0x1 | ref_159805) # OR operation
ref_160974 = ref_159811 # MOV operation
ref_160976 = ((0x40 - ref_160974) & 0xFFFFFFFFFFFFFFFF) # SUB operation
ref_160984 = ref_160976 # MOV operation
ref_161501 = ref_151633 # MOV operation
ref_161505 = ref_160984 # MOV operation
ref_161507 = (ref_161505 & 0xFFFFFFFF) # MOV operation
ref_161509 = (ref_161501 >> ((ref_161507 & 0xFF) & 0x3F)) # SHR operation
ref_161516 = ref_161509 # MOV operation
ref_162211 = ref_147012 # MOV operation
ref_162215 = ref_161516 # MOV operation
ref_162217 = (ref_162215 | ref_162211) # OR operation
ref_166838 = ref_85699 # MOV operation
ref_171434 = ref_129145 # MOV operation
ref_171823 = ref_166838 # MOV operation
ref_171827 = ref_171434 # MOV operation
ref_171829 = ((ref_171827 + ref_171823) & 0xFFFFFFFFFFFFFFFF) # ADD operation
ref_172390 = ref_162217 # MOV operation
ref_172394 = ref_171829 # MOV operation
ref_172396 = (((sx(0x40, ref_172394) * sx(0x40, ref_172390)) & 0xFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFFF) & 0xFFFFFFFFFFFFFFFF) # IMUL operation
ref_173099 = ref_172396 # MOV operation
ref_173844 = ref_173099 # MOV operation
ref_173846 = ref_173844 # MOV operation

print ref_173846 & 0xffffffffffffffff
