; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = zext i8 5 to i64
  %".5" = and i64 %".4", 63
  %".6" = lshr i64 %"SymVar_0", %".5"
  %".7" = and i64 87652534112836074, %".6"
  %".8" = and i64 117850039, %".7"
  %".9" = or i64 441848546, %"SymVar_0"
  %".10" = add i64 %".8", %".9"
  %".11" = and i64 15, %".10"
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = shl i64 %".11", %".13"
  %".15" = and i64 15, %".10"
  %".16" = zext i8 3 to i64
  %".17" = and i64 %".16", 63
  %".18" = shl i64 %".15", %".17"
  %".19" = sub i64 %"SymVar_0", 63267836
  %".20" = or i64 %".18", %".19"
  %".21" = or i64 %".14", %".20"
  %".22" = and i64 15, %".21"
  %".23" = zext i8 3 to i64
  %".24" = and i64 %".23", 63
  %".25" = shl i64 %".22", %".24"
  %".26" = or i64 %".25", %".21"
  %".27" = and i64 31, %".26"
  %".28" = zext i8 3 to i64
  %".29" = and i64 %".28", 63
  %".30" = shl i64 %".27", %".29"
  %".31" = and i64 31, %".20"
  %".32" = zext i8 3 to i64
  %".33" = and i64 %".32", 63
  %".34" = shl i64 %".31", %".33"
  %".35" = sub i64 %"SymVar_0", 43022659
  %".36" = zext i8 3 to i64
  %".37" = and i64 %".36", 63
  %".38" = lshr i64 %".10", %".37"
  %".39" = and i64 15, %".38"
  %".40" = or i64 1, %".39"
  %".41" = sub i64 64, %".40"
  %".42" = trunc i64 %".41" to i32
  %".43" = zext i32 %".42" to i64
  %".44" = trunc i64 %".43" to i8
  %".45" = zext i8 %".44" to i64
  %".46" = and i64 %".45", 63
  %".47" = lshr i64 828565327, %".46"
  %".48" = zext i8 3 to i64
  %".49" = and i64 %".48", 63
  %".50" = lshr i64 %".10", %".49"
  %".51" = and i64 15, %".50"
  %".52" = or i64 1, %".51"
  %".53" = trunc i64 %".52" to i8
  %".54" = zext i8 %".53" to i64
  %".55" = and i64 %".54", 63
  %".56" = shl i64 828565327, %".55"
  %".57" = or i64 %".47", %".56"
  %".58" = zext i8 4 to i64
  %".59" = and i64 %".58", 63
  %".60" = lshr i64 %".57", %".59"
  %".61" = and i64 7, %".60"
  %".62" = or i64 1, %".61"
  %".63" = trunc i64 %".62" to i8
  %".64" = zext i8 %".63" to i64
  %".65" = and i64 %".64", 63
  %".66" = shl i64 %".35", %".65"
  %".67" = or i64 %".34", %".66"
  %".68" = or i64 %".30", %".67"
  %".69" = add i64 %".68", %".68"
  %".70" = and i64 7, %".69"
  %".71" = zext i8 2 to i64
  %".72" = and i64 %".71", 63
  %".73" = shl i64 %".70", %".72"
  %".74" = and i64 15, %".26"
  %".75" = zext i8 3 to i64
  %".76" = and i64 %".75", 63
  %".77" = shl i64 %".74", %".76"
  %".78" = or i64 %".77", %".26"
  %".79" = or i64 %".73", %".78"
  %".80" = lshr i64 %".7", 48
  %".81" = trunc i64 %".80" to i8
  %".82" = zext i8 %".81" to i32
  %".83" = zext i32 %".82" to i64
  %".84" = trunc i64 %".83" to i8
  %".85" = zext i8 %".84" to i32
  %".86" = zext i32 %".85" to i64
  %".87" = trunc i64 %".86" to i8
  %".88" = zext i8 %".87" to i32
  %".89" = zext i32 %".88" to i64
  %".90" = trunc i64 %".89" to i8
  %".91" = zext i8 %".90" to i32
  %".92" = zext i32 %".91" to i64
  %".93" = trunc i64 %".92" to i8
  %".94" = zext i8 %".93" to i64
  %".95" = lshr i64 %".7", 8
  %".96" = trunc i64 %".95" to i8
  %".97" = zext i8 %".96" to i64
  %".98" = shl i64 %".97", 8
  %".99" = or i64 %".94", %".98"
  %".100" = lshr i64 %".7", 16
  %".101" = trunc i64 %".100" to i8
  %".102" = zext i8 %".101" to i64
  %".103" = shl i64 %".102", 16
  %".104" = or i64 %".99", %".103"
  %".105" = lshr i64 %".7", 24
  %".106" = trunc i64 %".105" to i8
  %".107" = zext i8 %".106" to i64
  %".108" = shl i64 %".107", 24
  %".109" = or i64 %".104", %".108"
  %".110" = lshr i64 %".7", 40
  %".111" = trunc i64 %".110" to i8
  %".112" = zext i8 %".111" to i32
  %".113" = zext i32 %".112" to i64
  %".114" = trunc i64 %".113" to i8
  %".115" = zext i8 %".114" to i32
  %".116" = zext i32 %".115" to i64
  %".117" = trunc i64 %".116" to i8
  %".118" = zext i8 %".117" to i32
  %".119" = zext i32 %".118" to i64
  %".120" = trunc i64 %".119" to i8
  %".121" = zext i8 %".120" to i32
  %".122" = zext i32 %".121" to i64
  %".123" = trunc i64 %".122" to i8
  %".124" = zext i8 %".123" to i64
  %".125" = shl i64 %".124", 32
  %".126" = or i64 %".109", %".125"
  %".127" = lshr i64 %".7", 32
  %".128" = trunc i64 %".127" to i8
  %".129" = zext i8 %".128" to i32
  %".130" = zext i32 %".129" to i64
  %".131" = trunc i64 %".130" to i8
  %".132" = zext i8 %".131" to i32
  %".133" = zext i32 %".132" to i64
  %".134" = trunc i64 %".133" to i8
  %".135" = zext i8 %".134" to i64
  %".136" = shl i64 %".135", 40
  %".137" = or i64 %".126", %".136"
  %".138" = trunc i64 %".7" to i8
  %".139" = zext i8 %".138" to i32
  %".140" = zext i32 %".139" to i64
  %".141" = trunc i64 %".140" to i8
  %".142" = zext i8 %".141" to i32
  %".143" = zext i32 %".142" to i64
  %".144" = trunc i64 %".143" to i8
  %".145" = zext i8 %".144" to i64
  %".146" = shl i64 %".145", 48
  %".147" = or i64 %".137", %".146"
  %".148" = lshr i64 %".7", 56
  %".149" = trunc i64 %".148" to i8
  %".150" = zext i8 %".149" to i64
  %".151" = shl i64 %".150", 56
  %".152" = or i64 %".147", %".151"
  %".153" = and i64 63, %".152"
  %".154" = zext i8 4 to i64
  %".155" = and i64 %".154", 63
  %".156" = shl i64 %".153", %".155"
  %".157" = lshr i64 %".10", 32
  %".158" = trunc i64 %".157" to i8
  %".159" = zext i8 %".158" to i32
  %".160" = lshr i64 %".10", 40
  %".161" = trunc i64 %".160" to i8
  %".162" = zext i8 %".161" to i32
  %".163" = shl i32 %".162", 8
  %".164" = or i32 %".159", %".163"
  %".165" = lshr i64 %".10", 48
  %".166" = trunc i64 %".165" to i8
  %".167" = zext i8 %".166" to i32
  %".168" = shl i32 %".167", 16
  %".169" = or i32 %".164", %".168"
  %".170" = lshr i64 %".10", 56
  %".171" = trunc i64 %".170" to i8
  %".172" = zext i8 %".171" to i32
  %".173" = shl i32 %".172", 24
  %".174" = or i32 %".169", %".173"
  %".175" = zext i32 %".174" to i64
  %".176" = trunc i64 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i32
  %".179" = trunc i32 %".178" to i8
  %".180" = zext i8 %".179" to i64
  %".181" = trunc i64 %".177" to i32
  %".182" = lshr i32 %".181", 8
  %".183" = trunc i32 %".182" to i8
  %".184" = zext i8 %".183" to i64
  %".185" = shl i64 %".184", 8
  %".186" = or i64 %".180", %".185"
  %".187" = trunc i64 %".177" to i32
  %".188" = lshr i32 %".187", 16
  %".189" = trunc i32 %".188" to i8
  %".190" = zext i8 %".189" to i64
  %".191" = shl i64 %".190", 16
  %".192" = or i64 %".186", %".191"
  %".193" = trunc i64 %".177" to i32
  %".194" = lshr i32 %".193", 24
  %".195" = trunc i32 %".194" to i8
  %".196" = zext i8 %".195" to i64
  %".197" = shl i64 %".196", 24
  %".198" = or i64 %".192", %".197"
  %".199" = trunc i64 %".10" to i8
  %".200" = zext i8 %".199" to i32
  %".201" = lshr i64 %".10", 8
  %".202" = trunc i64 %".201" to i8
  %".203" = zext i8 %".202" to i32
  %".204" = shl i32 %".203", 8
  %".205" = or i32 %".200", %".204"
  %".206" = lshr i64 %".10", 16
  %".207" = trunc i64 %".206" to i8
  %".208" = zext i8 %".207" to i32
  %".209" = shl i32 %".208", 16
  %".210" = or i32 %".205", %".209"
  %".211" = lshr i64 %".10", 24
  %".212" = trunc i64 %".211" to i8
  %".213" = zext i8 %".212" to i32
  %".214" = shl i32 %".213", 24
  %".215" = or i32 %".210", %".214"
  %".216" = zext i32 %".215" to i64
  %".217" = trunc i64 %".216" to i32
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i32
  %".220" = zext i32 %".219" to i64
  %".221" = trunc i64 %".220" to i32
  %".222" = zext i32 %".221" to i64
  %".223" = trunc i64 %".222" to i32
  %".224" = trunc i32 %".223" to i8
  %".225" = zext i8 %".224" to i64
  %".226" = shl i64 %".225", 32
  %".227" = or i64 %".198", %".226"
  %".228" = trunc i64 %".222" to i32
  %".229" = lshr i32 %".228", 8
  %".230" = trunc i32 %".229" to i8
  %".231" = zext i8 %".230" to i64
  %".232" = shl i64 %".231", 40
  %".233" = or i64 %".227", %".232"
  %".234" = trunc i64 %".222" to i32
  %".235" = lshr i32 %".234", 16
  %".236" = trunc i32 %".235" to i8
  %".237" = zext i8 %".236" to i64
  %".238" = shl i64 %".237", 48
  %".239" = or i64 %".233", %".238"
  %".240" = trunc i64 %".222" to i32
  %".241" = lshr i32 %".240", 24
  %".242" = trunc i32 %".241" to i8
  %".243" = zext i8 %".242" to i64
  %".244" = shl i64 %".243", 56
  %".245" = or i64 %".239", %".244"
  %".246" = or i64 %".156", %".245"
  %".247" = zext i8 3 to i64
  %".248" = and i64 %".247", 63
  %".249" = lshr i64 %".246", %".248"
  %".250" = and i64 15, %".249"
  %".251" = or i64 1, %".250"
  %".252" = sub i64 64, %".251"
  %".253" = trunc i64 %".252" to i8
  %".254" = zext i8 %".253" to i64
  %".255" = and i64 %".254", 63
  %".256" = shl i64 %".79", %".255"
  %".257" = zext i8 3 to i64
  %".258" = and i64 %".257", 63
  %".259" = lshr i64 %".246", %".258"
  %".260" = and i64 15, %".259"
  %".261" = or i64 1, %".260"
  %".262" = trunc i64 %".261" to i32
  %".263" = zext i32 %".262" to i64
  %".264" = trunc i64 %".263" to i8
  %".265" = zext i8 %".264" to i64
  %".266" = and i64 %".265", 63
  %".267" = lshr i64 %".79", %".266"
  %".268" = or i64 %".256", %".267"
  %".269" = and i64 15, %".268"
  %".270" = zext i8 2 to i64
  %".271" = and i64 %".270", 63
  %".272" = shl i64 %".269", %".271"
  %".273" = lshr i64 %".68", 32
  %".274" = trunc i64 %".273" to i8
  %".275" = zext i8 %".274" to i32
  %".276" = lshr i64 %".68", 40
  %".277" = trunc i64 %".276" to i8
  %".278" = zext i8 %".277" to i32
  %".279" = shl i32 %".278", 8
  %".280" = or i32 %".275", %".279"
  %".281" = lshr i64 %".68", 48
  %".282" = trunc i64 %".281" to i8
  %".283" = zext i8 %".282" to i32
  %".284" = shl i32 %".283", 16
  %".285" = or i32 %".280", %".284"
  %".286" = lshr i64 %".68", 56
  %".287" = trunc i64 %".286" to i8
  %".288" = zext i8 %".287" to i32
  %".289" = shl i32 %".288", 24
  %".290" = or i32 %".285", %".289"
  %".291" = zext i32 %".290" to i64
  %".292" = trunc i64 %".291" to i32
  %".293" = zext i32 %".292" to i64
  %".294" = trunc i64 %".293" to i32
  %".295" = zext i32 %".294" to i64
  %".296" = trunc i64 %".295" to i32
  %".297" = zext i32 %".296" to i64
  %".298" = trunc i64 %".297" to i32
  %".299" = trunc i32 %".298" to i8
  %".300" = zext i8 %".299" to i64
  %".301" = trunc i64 %".297" to i32
  %".302" = lshr i32 %".301", 8
  %".303" = trunc i32 %".302" to i8
  %".304" = zext i8 %".303" to i64
  %".305" = shl i64 %".304", 8
  %".306" = or i64 %".300", %".305"
  %".307" = trunc i64 %".297" to i32
  %".308" = lshr i32 %".307", 16
  %".309" = trunc i32 %".308" to i8
  %".310" = zext i8 %".309" to i64
  %".311" = shl i64 %".310", 16
  %".312" = or i64 %".306", %".311"
  %".313" = trunc i64 %".297" to i32
  %".314" = lshr i32 %".313", 24
  %".315" = trunc i32 %".314" to i8
  %".316" = zext i8 %".315" to i64
  %".317" = shl i64 %".316", 24
  %".318" = or i64 %".312", %".317"
  %".319" = trunc i64 %".68" to i8
  %".320" = zext i8 %".319" to i32
  %".321" = lshr i64 %".68", 8
  %".322" = trunc i64 %".321" to i8
  %".323" = zext i8 %".322" to i32
  %".324" = shl i32 %".323", 8
  %".325" = or i32 %".320", %".324"
  %".326" = lshr i64 %".68", 16
  %".327" = trunc i64 %".326" to i8
  %".328" = zext i8 %".327" to i32
  %".329" = shl i32 %".328", 16
  %".330" = or i32 %".325", %".329"
  %".331" = lshr i64 %".68", 24
  %".332" = trunc i64 %".331" to i8
  %".333" = zext i8 %".332" to i32
  %".334" = shl i32 %".333", 24
  %".335" = or i32 %".330", %".334"
  %".336" = zext i32 %".335" to i64
  %".337" = trunc i64 %".336" to i32
  %".338" = zext i32 %".337" to i64
  %".339" = trunc i64 %".338" to i32
  %".340" = trunc i32 %".339" to i8
  %".341" = zext i8 %".340" to i64
  %".342" = shl i64 %".341", 32
  %".343" = or i64 %".318", %".342"
  %".344" = trunc i64 %".338" to i32
  %".345" = lshr i32 %".344", 8
  %".346" = trunc i32 %".345" to i8
  %".347" = zext i8 %".346" to i64
  %".348" = shl i64 %".347", 40
  %".349" = or i64 %".343", %".348"
  %".350" = trunc i64 %".338" to i32
  %".351" = lshr i32 %".350", 16
  %".352" = trunc i32 %".351" to i8
  %".353" = zext i8 %".352" to i64
  %".354" = shl i64 %".353", 48
  %".355" = or i64 %".349", %".354"
  %".356" = trunc i64 %".338" to i32
  %".357" = lshr i32 %".356", 24
  %".358" = trunc i32 %".357" to i8
  %".359" = zext i8 %".358" to i64
  %".360" = shl i64 %".359", 56
  %".361" = or i64 %".355", %".360"
  %".362" = or i64 %".272", %".361"
  %".363" = or i64 %".79", %".362"
  %".364" = zext i8 %".93" to i64
  %".365" = zext i8 %".96" to i64
  %".366" = shl i64 %".365", 8
  %".367" = or i64 %".364", %".366"
  %".368" = zext i8 %".101" to i64
  %".369" = shl i64 %".368", 16
  %".370" = or i64 %".367", %".369"
  %".371" = zext i8 %".106" to i64
  %".372" = shl i64 %".371", 24
  %".373" = or i64 %".370", %".372"
  %".374" = zext i8 %".123" to i64
  %".375" = shl i64 %".374", 32
  %".376" = or i64 %".373", %".375"
  %".377" = zext i8 %".134" to i64
  %".378" = shl i64 %".377", 40
  %".379" = or i64 %".376", %".378"
  %".380" = zext i8 %".144" to i64
  %".381" = shl i64 %".380", 48
  %".382" = or i64 %".379", %".381"
  %".383" = zext i8 %".149" to i64
  %".384" = shl i64 %".383", 56
  %".385" = or i64 %".382", %".384"
  %".386" = zext i8 3 to i64
  %".387" = and i64 %".386", 63
  %".388" = lshr i64 %".246", %".387"
  %".389" = and i64 7, %".388"
  %".390" = or i64 1, %".389"
  %".391" = trunc i64 %".390" to i8
  %".392" = zext i8 %".391" to i64
  %".393" = and i64 %".392", 63
  %".394" = shl i64 %".385", %".393"
  %".395" = or i64 %".363", %".394"
  ret i64 %".395"
}
