#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */
typedef uintptr_t x99;
typedef uintptr_t x98;
typedef uintptr_t x97;
typedef uintptr_t x96;
typedef uintptr_t x95;
typedef uintptr_t x94;
typedef uintptr_t x93;
typedef uintptr_t x92;
typedef uintptr_t x91;
typedef uintptr_t x90;
typedef uintptr_t x89;
typedef uintptr_t x88;
typedef uintptr_t x87;
typedef uintptr_t x86;
typedef uintptr_t x85;
typedef uintptr_t x84;
typedef uintptr_t x83;
typedef uintptr_t x82;
typedef uintptr_t x81;
typedef uintptr_t x80;
typedef uintptr_t x79;
typedef uintptr_t x78;
typedef uintptr_t x77;
typedef uintptr_t x76;
typedef uintptr_t x75;
typedef uintptr_t x74;
typedef uintptr_t x72;
typedef uintptr_t x71;
typedef uintptr_t x70;
typedef uintptr_t x69;
typedef uintptr_t x68;
typedef uintptr_t x67;
typedef uintptr_t x66;
typedef uintptr_t x190;
typedef uintptr_t x181;
typedef uintptr_t x172;
typedef uintptr_t x156;
typedef uintptr_t x147;
typedef uintptr_t x138;
typedef uintptr_t x130;
typedef uintptr_t x129;
typedef uintptr_t x128;
typedef uintptr_t x127;
typedef uintptr_t x126;
typedef uintptr_t x125;
typedef uintptr_t x124;
typedef uintptr_t x123;
typedef uintptr_t x122;
typedef uintptr_t x121;
typedef uintptr_t x120;
typedef uintptr_t x119;
typedef uintptr_t x118;
typedef uintptr_t x117;
typedef uintptr_t x116;
typedef uintptr_t x115;
typedef uintptr_t x114;
typedef uintptr_t x113;
typedef uintptr_t x112;
typedef uintptr_t x111;
typedef uintptr_t x110;
typedef uintptr_t x109;
typedef uintptr_t x108;
typedef uintptr_t x107;
typedef uintptr_t x106;
typedef uintptr_t x105;
typedef uintptr_t x104;
typedef uintptr_t x103;
typedef uintptr_t x101;
typedef uintptr_t x100;
typedef int /*<<< orphan*/ out0;
typedef int /*<<< orphan*/ in0;

/* Variables and functions */
uintptr_t _br2_load(int /*<<< orphan*/, int);
int /*<<< orphan*/ _br2_store(int /*<<< orphan*/, uintptr_t, int);
void internal_fiat_p521_from_bytes(uintptr_t out0, uintptr_t in0) {
  uintptr_t x65, x64, x63, x62, x61, x60, x59, x58, x57, x56, x55, x54, x53,
      x52, x51, x50, x49, x48, x47, x46, x45, x44, x43, x42, x41, x40, x39, x38,
      x37, x36, x35, x34, x33, x32, x31, x30, x29, x28, x27, x26, x25, x24, x23,
      x22, x21, x20, x19, x18, x17, x16, x15, x14, x13, x12, x11, x10, x9, x8,
      x7, x6, x5, x4, x3, x2, x1, x0, x130, x131, x129, x132, x128, x133, x127,
      x134, x126, x135, x125, x136, x124, x137, x138, x123, x140, x122, x141,
      x121, x142, x120, x143, x119, x144, x118, x145, x117, x146, x147, x116,
      x149, x115, x150, x114, x151, x113, x152, x112, x153, x111, x154, x110,
      x155, x156, x109, x158, x108, x159, x107, x160, x106, x161, x105, x162,
      x104, x163, x103, x164, x101, x102, x100, x166, x99, x167, x98, x168, x97,
      x169, x96, x170, x95, x171, x172, x94, x174, x93, x175, x92, x176, x91,
      x177, x90, x178, x89, x179, x88, x180, x181, x87, x183, x86, x184, x85,
      x185, x84, x186, x83, x187, x82, x188, x81, x189, x190, x80, x192, x79,
      x193, x78, x194, x77, x195, x76, x196, x75, x197, x74, x198, x72, x73,
      x71, x200, x70, x201, x69, x202, x68, x203, x67, x204, x66, x205, x139,
      x148, x157, x165, x173, x182, x191, x199, x206, x207, x208, x209, x210,
      x211, x212, x213, x214, x215;
  x0 = _br2_load((in0) + ((uintptr_t)0ULL), 1);
  x1 = _br2_load((in0) + ((uintptr_t)1ULL), 1);
  x2 = _br2_load((in0) + ((uintptr_t)2ULL), 1);
  x3 = _br2_load((in0) + ((uintptr_t)3ULL), 1);
  x4 = _br2_load((in0) + ((uintptr_t)4ULL), 1);
  x5 = _br2_load((in0) + ((uintptr_t)5ULL), 1);
  x6 = _br2_load((in0) + ((uintptr_t)6ULL), 1);
  x7 = _br2_load((in0) + ((uintptr_t)7ULL), 1);
  x8 = _br2_load((in0) + ((uintptr_t)8ULL), 1);
  x9 = _br2_load((in0) + ((uintptr_t)9ULL), 1);
  x10 = _br2_load((in0) + ((uintptr_t)10ULL), 1);
  x11 = _br2_load((in0) + ((uintptr_t)11ULL), 1);
  x12 = _br2_load((in0) + ((uintptr_t)12ULL), 1);
  x13 = _br2_load((in0) + ((uintptr_t)13ULL), 1);
  x14 = _br2_load((in0) + ((uintptr_t)14ULL), 1);
  x15 = _br2_load((in0) + ((uintptr_t)15ULL), 1);
  x16 = _br2_load((in0) + ((uintptr_t)16ULL), 1);
  x17 = _br2_load((in0) + ((uintptr_t)17ULL), 1);
  x18 = _br2_load((in0) + ((uintptr_t)18ULL), 1);
  x19 = _br2_load((in0) + ((uintptr_t)19ULL), 1);
  x20 = _br2_load((in0) + ((uintptr_t)20ULL), 1);
  x21 = _br2_load((in0) + ((uintptr_t)21ULL), 1);
  x22 = _br2_load((in0) + ((uintptr_t)22ULL), 1);
  x23 = _br2_load((in0) + ((uintptr_t)23ULL), 1);
  x24 = _br2_load((in0) + ((uintptr_t)24ULL), 1);
  x25 = _br2_load((in0) + ((uintptr_t)25ULL), 1);
  x26 = _br2_load((in0) + ((uintptr_t)26ULL), 1);
  x27 = _br2_load((in0) + ((uintptr_t)27ULL), 1);
  x28 = _br2_load((in0) + ((uintptr_t)28ULL), 1);
  x29 = _br2_load((in0) + ((uintptr_t)29ULL), 1);
  x30 = _br2_load((in0) + ((uintptr_t)30ULL), 1);
  x31 = _br2_load((in0) + ((uintptr_t)31ULL), 1);
  x32 = _br2_load((in0) + ((uintptr_t)32ULL), 1);
  x33 = _br2_load((in0) + ((uintptr_t)33ULL), 1);
  x34 = _br2_load((in0) + ((uintptr_t)34ULL), 1);
  x35 = _br2_load((in0) + ((uintptr_t)35ULL), 1);
  x36 = _br2_load((in0) + ((uintptr_t)36ULL), 1);
  x37 = _br2_load((in0) + ((uintptr_t)37ULL), 1);
  x38 = _br2_load((in0) + ((uintptr_t)38ULL), 1);
  x39 = _br2_load((in0) + ((uintptr_t)39ULL), 1);
  x40 = _br2_load((in0) + ((uintptr_t)40ULL), 1);
  x41 = _br2_load((in0) + ((uintptr_t)41ULL), 1);
  x42 = _br2_load((in0) + ((uintptr_t)42ULL), 1);
  x43 = _br2_load((in0) + ((uintptr_t)43ULL), 1);
  x44 = _br2_load((in0) + ((uintptr_t)44ULL), 1);
  x45 = _br2_load((in0) + ((uintptr_t)45ULL), 1);
  x46 = _br2_load((in0) + ((uintptr_t)46ULL), 1);
  x47 = _br2_load((in0) + ((uintptr_t)47ULL), 1);
  x48 = _br2_load((in0) + ((uintptr_t)48ULL), 1);
  x49 = _br2_load((in0) + ((uintptr_t)49ULL), 1);
  x50 = _br2_load((in0) + ((uintptr_t)50ULL), 1);
  x51 = _br2_load((in0) + ((uintptr_t)51ULL), 1);
  x52 = _br2_load((in0) + ((uintptr_t)52ULL), 1);
  x53 = _br2_load((in0) + ((uintptr_t)53ULL), 1);
  x54 = _br2_load((in0) + ((uintptr_t)54ULL), 1);
  x55 = _br2_load((in0) + ((uintptr_t)55ULL), 1);
  x56 = _br2_load((in0) + ((uintptr_t)56ULL), 1);
  x57 = _br2_load((in0) + ((uintptr_t)57ULL), 1);
  x58 = _br2_load((in0) + ((uintptr_t)58ULL), 1);
  x59 = _br2_load((in0) + ((uintptr_t)59ULL), 1);
  x60 = _br2_load((in0) + ((uintptr_t)60ULL), 1);
  x61 = _br2_load((in0) + ((uintptr_t)61ULL), 1);
  x62 = _br2_load((in0) + ((uintptr_t)62ULL), 1);
  x63 = _br2_load((in0) + ((uintptr_t)63ULL), 1);
  x64 = _br2_load((in0) + ((uintptr_t)64ULL), 1);
  x65 = _br2_load((in0) + ((uintptr_t)65ULL), 1);
  x66 = (x65) << ((uintptr_t)56ULL);
  x67 = (x64) << ((uintptr_t)48ULL);
  x68 = (x63) << ((uintptr_t)40ULL);
  x69 = (x62) << ((uintptr_t)32ULL);
  x70 = (x61) << ((uintptr_t)24ULL);
  x71 = (x60) << ((uintptr_t)16ULL);
  x72 = (x59) << ((uintptr_t)8ULL);
  x73 = x58;
  x74 = (x57) << ((uintptr_t)50ULL);
  x75 = (x56) << ((uintptr_t)42ULL);
  x76 = (x55) << ((uintptr_t)34ULL);
  x77 = (x54) << ((uintptr_t)26ULL);
  x78 = (x53) << ((uintptr_t)18ULL);
  x79 = (x52) << ((uintptr_t)10ULL);
  x80 = (x51) << ((uintptr_t)2ULL);
  x81 = (x50) << ((uintptr_t)52ULL);
  x82 = (x49) << ((uintptr_t)44ULL);
  x83 = (x48) << ((uintptr_t)36ULL);
  x84 = (x47) << ((uintptr_t)28ULL);
  x85 = (x46) << ((uintptr_t)20ULL);
  x86 = (x45) << ((uintptr_t)12ULL);
  x87 = (x44) << ((uintptr_t)4ULL);
  x88 = (x43) << ((uintptr_t)54ULL);
  x89 = (x42) << ((uintptr_t)46ULL);
  x90 = (x41) << ((uintptr_t)38ULL);
  x91 = (x40) << ((uintptr_t)30ULL);
  x92 = (x39) << ((uintptr_t)22ULL);
  x93 = (x38) << ((uintptr_t)14ULL);
  x94 = (x37) << ((uintptr_t)6ULL);
  x95 = (x36) << ((uintptr_t)56ULL);
  x96 = (x35) << ((uintptr_t)48ULL);
  x97 = (x34) << ((uintptr_t)40ULL);
  x98 = (x33) << ((uintptr_t)32ULL);
  x99 = (x32) << ((uintptr_t)24ULL);
  x100 = (x31) << ((uintptr_t)16ULL);
  x101 = (x30) << ((uintptr_t)8ULL);
  x102 = x29;
  x103 = (x28) << ((uintptr_t)50ULL);
  x104 = (x27) << ((uintptr_t)42ULL);
  x105 = (x26) << ((uintptr_t)34ULL);
  x106 = (x25) << ((uintptr_t)26ULL);
  x107 = (x24) << ((uintptr_t)18ULL);
  x108 = (x23) << ((uintptr_t)10ULL);
  x109 = (x22) << ((uintptr_t)2ULL);
  x110 = (x21) << ((uintptr_t)52ULL);
  x111 = (x20) << ((uintptr_t)44ULL);
  x112 = (x19) << ((uintptr_t)36ULL);
  x113 = (x18) << ((uintptr_t)28ULL);
  x114 = (x17) << ((uintptr_t)20ULL);
  x115 = (x16) << ((uintptr_t)12ULL);
  x116 = (x15) << ((uintptr_t)4ULL);
  x117 = (x14) << ((uintptr_t)54ULL);
  x118 = (x13) << ((uintptr_t)46ULL);
  x119 = (x12) << ((uintptr_t)38ULL);
  x120 = (x11) << ((uintptr_t)30ULL);
  x121 = (x10) << ((uintptr_t)22ULL);
  x122 = (x9) << ((uintptr_t)14ULL);
  x123 = (x8) << ((uintptr_t)6ULL);
  x124 = (x7) << ((uintptr_t)56ULL);
  x125 = (x6) << ((uintptr_t)48ULL);
  x126 = (x5) << ((uintptr_t)40ULL);
  x127 = (x4) << ((uintptr_t)32ULL);
  x128 = (x3) << ((uintptr_t)24ULL);
  x129 = (x2) << ((uintptr_t)16ULL);
  x130 = (x1) << ((uintptr_t)8ULL);
  x131 = x0;
  x132 = (x130) + (x131);
  x133 = (x129) + (x132);
  x134 = (x128) + (x133);
  x135 = (x127) + (x134);
  x136 = (x126) + (x135);
  x137 = (x125) + (x136);
  x138 = (x124) + (x137);
  x139 = (x138) & ((uintptr_t)288230376151711743ULL);
  x140 = (x138) >> ((uintptr_t)58ULL);
  x141 = (x123) + (x140);
  x142 = (x122) + (x141);
  x143 = (x121) + (x142);
  x144 = (x120) + (x143);
  x145 = (x119) + (x144);
  x146 = (x118) + (x145);
  x147 = (x117) + (x146);
  x148 = (x147) & ((uintptr_t)288230376151711743ULL);
  x149 = (x147) >> ((uintptr_t)58ULL);
  x150 = (x116) + (x149);
  x151 = (x115) + (x150);
  x152 = (x114) + (x151);
  x153 = (x113) + (x152);
  x154 = (x112) + (x153);
  x155 = (x111) + (x154);
  x156 = (x110) + (x155);
  x157 = (x156) & ((uintptr_t)288230376151711743ULL);
  x158 = (x156) >> ((uintptr_t)58ULL);
  x159 = (x109) + (x158);
  x160 = (x108) + (x159);
  x161 = (x107) + (x160);
  x162 = (x106) + (x161);
  x163 = (x105) + (x162);
  x164 = (x104) + (x163);
  x165 = (x103) + (x164);
  x166 = (x101) + (x102);
  x167 = (x100) + (x166);
  x168 = (x99) + (x167);
  x169 = (x98) + (x168);
  x170 = (x97) + (x169);
  x171 = (x96) + (x170);
  x172 = (x95) + (x171);
  x173 = (x172) & ((uintptr_t)288230376151711743ULL);
  x174 = (x172) >> ((uintptr_t)58ULL);
  x175 = (x94) + (x174);
  x176 = (x93) + (x175);
  x177 = (x92) + (x176);
  x178 = (x91) + (x177);
  x179 = (x90) + (x178);
  x180 = (x89) + (x179);
  x181 = (x88) + (x180);
  x182 = (x181) & ((uintptr_t)288230376151711743ULL);
  x183 = (x181) >> ((uintptr_t)58ULL);
  x184 = (x87) + (x183);
  x185 = (x86) + (x184);
  x186 = (x85) + (x185);
  x187 = (x84) + (x186);
  x188 = (x83) + (x187);
  x189 = (x82) + (x188);
  x190 = (x81) + (x189);
  x191 = (x190) & ((uintptr_t)288230376151711743ULL);
  x192 = (x190) >> ((uintptr_t)58ULL);
  x193 = (x80) + (x192);
  x194 = (x79) + (x193);
  x195 = (x78) + (x194);
  x196 = (x77) + (x195);
  x197 = (x76) + (x196);
  x198 = (x75) + (x197);
  x199 = (x74) + (x198);
  x200 = (x72) + (x73);
  x201 = (x71) + (x200);
  x202 = (x70) + (x201);
  x203 = (x69) + (x202);
  x204 = (x68) + (x203);
  x205 = (x67) + (x204);
  x206 = (x66) + (x205);
  x207 = x139;
  x208 = x148;
  x209 = x157;
  x210 = x165;
  x211 = x173;
  x212 = x182;
  x213 = x191;
  x214 = x199;
  x215 = x206;
  _br2_store((out0) + ((uintptr_t)0ULL), x207, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)8ULL), x208, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)16ULL), x209, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)24ULL), x210, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)32ULL), x211, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)40ULL), x212, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)48ULL), x213, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)56ULL), x214, sizeof(uintptr_t));
  _br2_store((out0) + ((uintptr_t)64ULL), x215, sizeof(uintptr_t));
  return;
}


x86 assembly (clang, -O0):
<internal_fiat_p521_from_bytes>:
push   %rbp
mov    %rsp,%rbp
sub    $0x6d0,%rsp
mov    %rdi,-0x8(%rbp)
mov    %rsi,-0x10(%rbp)
mov    -0x10(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x220(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x218(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x210(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x208(%rbp)
mov    -0x10(%rbp),%rax
add    $0x4,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x200(%rbp)
mov    -0x10(%rbp),%rax
add    $0x5,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1f8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x6,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1f0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x7,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1e8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1e0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x9,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1d8(%rbp)
mov    -0x10(%rbp),%rax
add    $0xa,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1d0(%rbp)
mov    -0x10(%rbp),%rax
add    $0xb,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1c8(%rbp)
mov    -0x10(%rbp),%rax
add    $0xc,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1c0(%rbp)
mov    -0x10(%rbp),%rax
add    $0xd,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1b8(%rbp)
mov    -0x10(%rbp),%rax
add    $0xe,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1b0(%rbp)
mov    -0x10(%rbp),%rax
add    $0xf,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1a8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x1a0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x11,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x198(%rbp)
mov    -0x10(%rbp),%rax
add    $0x12,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x190(%rbp)
mov    -0x10(%rbp),%rax
add    $0x13,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x188(%rbp)
mov    -0x10(%rbp),%rax
add    $0x14,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x180(%rbp)
mov    -0x10(%rbp),%rax
add    $0x15,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x178(%rbp)
mov    -0x10(%rbp),%rax
add    $0x16,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x170(%rbp)
mov    -0x10(%rbp),%rax
add    $0x17,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x168(%rbp)
mov    -0x10(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x160(%rbp)
mov    -0x10(%rbp),%rax
add    $0x19,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x158(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1a,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x150(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1b,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x148(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1c,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x140(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1d,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x138(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1e,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x130(%rbp)
mov    -0x10(%rbp),%rax
add    $0x1f,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x128(%rbp)
mov    -0x10(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x120(%rbp)
mov    -0x10(%rbp),%rax
add    $0x21,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x118(%rbp)
mov    -0x10(%rbp),%rax
add    $0x22,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x110(%rbp)
mov    -0x10(%rbp),%rax
add    $0x23,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x108(%rbp)
mov    -0x10(%rbp),%rax
add    $0x24,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x100(%rbp)
mov    -0x10(%rbp),%rax
add    $0x25,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xf8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x26,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xf0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x27,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xe8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xe0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x29,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xd8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2a,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xd0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2b,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xc8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2c,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xc0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2d,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xb8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2e,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xb0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x2f,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa8(%rbp)
mov    -0x10(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0xa0(%rbp)
mov    -0x10(%rbp),%rax
add    $0x31,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x98(%rbp)
mov    -0x10(%rbp),%rax
add    $0x32,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x90(%rbp)
mov    -0x10(%rbp),%rax
add    $0x33,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x88(%rbp)
mov    -0x10(%rbp),%rax
add    $0x34,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x80(%rbp)
mov    -0x10(%rbp),%rax
add    $0x35,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x78(%rbp)
mov    -0x10(%rbp),%rax
add    $0x36,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x70(%rbp)
mov    -0x10(%rbp),%rax
add    $0x37,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x68(%rbp)
mov    -0x10(%rbp),%rax
add    $0x38,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x60(%rbp)
mov    -0x10(%rbp),%rax
add    $0x39,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x58(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3a,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x50(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3b,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x48(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3c,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x40(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3d,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x38(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3e,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x30(%rbp)
mov    -0x10(%rbp),%rax
add    $0x3f,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x28(%rbp)
mov    -0x10(%rbp),%rax
add    $0x40,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x20(%rbp)
mov    -0x10(%rbp),%rax
add    $0x41,%rax
mov    %eax,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,-0x18(%rbp)
mov    -0x18(%rbp),%rax
shl    $0x38,%rax
mov    %rax,-0x638(%rbp)
mov    -0x20(%rbp),%rax
shl    $0x30,%rax
mov    %rax,-0x628(%rbp)
mov    -0x28(%rbp),%rax
shl    $0x28,%rax
mov    %rax,-0x618(%rbp)
mov    -0x30(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x608(%rbp)
mov    -0x38(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x5f8(%rbp)
mov    -0x40(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x5e8(%rbp)
mov    -0x48(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x5d8(%rbp)
mov    -0x50(%rbp),%rax
mov    %rax,-0x5e0(%rbp)
mov    -0x58(%rbp),%rax
shl    $0x32,%rax
mov    %rax,-0x5c8(%rbp)
mov    -0x60(%rbp),%rax
shl    $0x2a,%rax
mov    %rax,-0x5b8(%rbp)
mov    -0x68(%rbp),%rax
shl    $0x22,%rax
mov    %rax,-0x5a8(%rbp)
mov    -0x70(%rbp),%rax
shl    $0x1a,%rax
mov    %rax,-0x598(%rbp)
mov    -0x78(%rbp),%rax
shl    $0x12,%rax
mov    %rax,-0x588(%rbp)
mov    -0x80(%rbp),%rax
shl    $0xa,%rax
mov    %rax,-0x578(%rbp)
mov    -0x88(%rbp),%rax
shl    $0x2,%rax
mov    %rax,-0x568(%rbp)
mov    -0x90(%rbp),%rax
shl    $0x34,%rax
mov    %rax,-0x550(%rbp)
mov    -0x98(%rbp),%rax
shl    $0x2c,%rax
mov    %rax,-0x540(%rbp)
mov    -0xa0(%rbp),%rax
shl    $0x24,%rax
mov    %rax,-0x530(%rbp)
mov    -0xa8(%rbp),%rax
shl    $0x1c,%rax
mov    %rax,-0x520(%rbp)
mov    -0xb0(%rbp),%rax
shl    $0x14,%rax
mov    %rax,-0x510(%rbp)
mov    -0xb8(%rbp),%rax
shl    $0xc,%rax
mov    %rax,-0x500(%rbp)
mov    -0xc0(%rbp),%rax
shl    $0x4,%rax
mov    %rax,-0x4f0(%rbp)
mov    -0xc8(%rbp),%rax
shl    $0x36,%rax
mov    %rax,-0x4d8(%rbp)
mov    -0xd0(%rbp),%rax
shl    $0x2e,%rax
mov    %rax,-0x4c8(%rbp)
mov    -0xd8(%rbp),%rax
shl    $0x26,%rax
mov    %rax,-0x4b8(%rbp)
mov    -0xe0(%rbp),%rax
shl    $0x1e,%rax
mov    %rax,-0x4a8(%rbp)
mov    -0xe8(%rbp),%rax
shl    $0x16,%rax
mov    %rax,-0x498(%rbp)
mov    -0xf0(%rbp),%rax
shl    $0xe,%rax
mov    %rax,-0x488(%rbp)
mov    -0xf8(%rbp),%rax
shl    $0x6,%rax
mov    %rax,-0x478(%rbp)
mov    -0x100(%rbp),%rax
shl    $0x38,%rax
mov    %rax,-0x460(%rbp)
mov    -0x108(%rbp),%rax
shl    $0x30,%rax
mov    %rax,-0x450(%rbp)
mov    -0x110(%rbp),%rax
shl    $0x28,%rax
mov    %rax,-0x440(%rbp)
mov    -0x118(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x430(%rbp)
mov    -0x120(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x420(%rbp)
mov    -0x128(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x410(%rbp)
mov    -0x130(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x400(%rbp)
mov    -0x138(%rbp),%rax
mov    %rax,-0x408(%rbp)
mov    -0x140(%rbp),%rax
shl    $0x32,%rax
mov    %rax,-0x3f0(%rbp)
mov    -0x148(%rbp),%rax
shl    $0x2a,%rax
mov    %rax,-0x3e0(%rbp)
mov    -0x150(%rbp),%rax
shl    $0x22,%rax
mov    %rax,-0x3d0(%rbp)
mov    -0x158(%rbp),%rax
shl    $0x1a,%rax
mov    %rax,-0x3c0(%rbp)
mov    -0x160(%rbp),%rax
shl    $0x12,%rax
mov    %rax,-0x3b0(%rbp)
mov    -0x168(%rbp),%rax
shl    $0xa,%rax
mov    %rax,-0x3a0(%rbp)
mov    -0x170(%rbp),%rax
shl    $0x2,%rax
mov    %rax,-0x390(%rbp)
mov    -0x178(%rbp),%rax
shl    $0x34,%rax
mov    %rax,-0x378(%rbp)
mov    -0x180(%rbp),%rax
shl    $0x2c,%rax
mov    %rax,-0x368(%rbp)
mov    -0x188(%rbp),%rax
shl    $0x24,%rax
mov    %rax,-0x358(%rbp)
mov    -0x190(%rbp),%rax
shl    $0x1c,%rax
mov    %rax,-0x348(%rbp)
mov    -0x198(%rbp),%rax
shl    $0x14,%rax
mov    %rax,-0x338(%rbp)
mov    -0x1a0(%rbp),%rax
shl    $0xc,%rax
mov    %rax,-0x328(%rbp)
mov    -0x1a8(%rbp),%rax
shl    $0x4,%rax
mov    %rax,-0x318(%rbp)
mov    -0x1b0(%rbp),%rax
shl    $0x36,%rax
mov    %rax,-0x300(%rbp)
mov    -0x1b8(%rbp),%rax
shl    $0x2e,%rax
mov    %rax,-0x2f0(%rbp)
mov    -0x1c0(%rbp),%rax
shl    $0x26,%rax
mov    %rax,-0x2e0(%rbp)
mov    -0x1c8(%rbp),%rax
shl    $0x1e,%rax
mov    %rax,-0x2d0(%rbp)
mov    -0x1d0(%rbp),%rax
shl    $0x16,%rax
mov    %rax,-0x2c0(%rbp)
mov    -0x1d8(%rbp),%rax
shl    $0xe,%rax
mov    %rax,-0x2b0(%rbp)
mov    -0x1e0(%rbp),%rax
shl    $0x6,%rax
mov    %rax,-0x2a0(%rbp)
mov    -0x1e8(%rbp),%rax
shl    $0x38,%rax
mov    %rax,-0x288(%rbp)
mov    -0x1f0(%rbp),%rax
shl    $0x30,%rax
mov    %rax,-0x278(%rbp)
mov    -0x1f8(%rbp),%rax
shl    $0x28,%rax
mov    %rax,-0x268(%rbp)
mov    -0x200(%rbp),%rax
shl    $0x20,%rax
mov    %rax,-0x258(%rbp)
mov    -0x208(%rbp),%rax
shl    $0x18,%rax
mov    %rax,-0x248(%rbp)
mov    -0x210(%rbp),%rax
shl    $0x10,%rax
mov    %rax,-0x238(%rbp)
mov    -0x218(%rbp),%rax
shl    $0x8,%rax
mov    %rax,-0x228(%rbp)
mov    -0x220(%rbp),%rax
mov    %rax,-0x230(%rbp)
mov    -0x228(%rbp),%rax
add    -0x230(%rbp),%rax
mov    %rax,-0x240(%rbp)
mov    -0x238(%rbp),%rax
add    -0x240(%rbp),%rax
mov    %rax,-0x250(%rbp)
mov    -0x248(%rbp),%rax
add    -0x250(%rbp),%rax
mov    %rax,-0x260(%rbp)
mov    -0x258(%rbp),%rax
add    -0x260(%rbp),%rax
mov    %rax,-0x270(%rbp)
mov    -0x268(%rbp),%rax
add    -0x270(%rbp),%rax
mov    %rax,-0x280(%rbp)
mov    -0x278(%rbp),%rax
add    -0x280(%rbp),%rax
mov    %rax,-0x290(%rbp)
mov    -0x288(%rbp),%rax
add    -0x290(%rbp),%rax
mov    %rax,-0x298(%rbp)
movabs $0x3ffffffffffffff,%rax
ff ff 03
and    -0x298(%rbp),%rax
mov    %rax,-0x648(%rbp)
mov    -0x298(%rbp),%rax
shr    $0x3a,%rax
mov    %rax,-0x2a8(%rbp)
mov    -0x2a0(%rbp),%rax
add    -0x2a8(%rbp),%rax
mov    %rax,-0x2b8(%rbp)
mov    -0x2b0(%rbp),%rax
add    -0x2b8(%rbp),%rax
mov    %rax,-0x2c8(%rbp)
mov    -0x2c0(%rbp),%rax
add    -0x2c8(%rbp),%rax
mov    %rax,-0x2d8(%rbp)
mov    -0x2d0(%rbp),%rax
add    -0x2d8(%rbp),%rax
mov    %rax,-0x2e8(%rbp)
mov    -0x2e0(%rbp),%rax
add    -0x2e8(%rbp),%rax
mov    %rax,-0x2f8(%rbp)
mov    -0x2f0(%rbp),%rax
add    -0x2f8(%rbp),%rax
mov    %rax,-0x308(%rbp)
mov    -0x300(%rbp),%rax
add    -0x308(%rbp),%rax
mov    %rax,-0x310(%rbp)
movabs $0x3ffffffffffffff,%rax
ff ff 03
and    -0x310(%rbp),%rax
mov    %rax,-0x650(%rbp)
mov    -0x310(%rbp),%rax
shr    $0x3a,%rax
mov    %rax,-0x320(%rbp)
mov    -0x318(%rbp),%rax
add    -0x320(%rbp),%rax
mov    %rax,-0x330(%rbp)
mov    -0x328(%rbp),%rax
add    -0x330(%rbp),%rax
mov    %rax,-0x340(%rbp)
mov    -0x338(%rbp),%rax
add    -0x340(%rbp),%rax
mov    %rax,-0x350(%rbp)
mov    -0x348(%rbp),%rax
add    -0x350(%rbp),%rax
mov    %rax,-0x360(%rbp)
mov    -0x358(%rbp),%rax
add    -0x360(%rbp),%rax
mov    %rax,-0x370(%rbp)
mov    -0x368(%rbp),%rax
add    -0x370(%rbp),%rax
mov    %rax,-0x380(%rbp)
mov    -0x378(%rbp),%rax
add    -0x380(%rbp),%rax
mov    %rax,-0x388(%rbp)
movabs $0x3ffffffffffffff,%rax
ff ff 03
and    -0x388(%rbp),%rax
mov    %rax,-0x658(%rbp)
mov    -0x388(%rbp),%rax
shr    $0x3a,%rax
mov    %rax,-0x398(%rbp)
mov    -0x390(%rbp),%rax
add    -0x398(%rbp),%rax
mov    %rax,-0x3a8(%rbp)
mov    -0x3a0(%rbp),%rax
add    -0x3a8(%rbp),%rax
mov    %rax,-0x3b8(%rbp)
mov    -0x3b0(%rbp),%rax
add    -0x3b8(%rbp),%rax
mov    %rax,-0x3c8(%rbp)
mov    -0x3c0(%rbp),%rax
add    -0x3c8(%rbp),%rax
mov    %rax,-0x3d8(%rbp)
mov    -0x3d0(%rbp),%rax
add    -0x3d8(%rbp),%rax
mov    %rax,-0x3e8(%rbp)
mov    -0x3e0(%rbp),%rax
add    -0x3e8(%rbp),%rax
mov    %rax,-0x3f8(%rbp)
mov    -0x3f0(%rbp),%rax
add    -0x3f8(%rbp),%rax
mov    %rax,-0x660(%rbp)
mov    -0x400(%rbp),%rax
add    -0x408(%rbp),%rax
mov    %rax,-0x418(%rbp)
mov    -0x410(%rbp),%rax
add    -0x418(%rbp),%rax
mov    %rax,-0x428(%rbp)
mov    -0x420(%rbp),%rax
add    -0x428(%rbp),%rax
mov    %rax,-0x438(%rbp)
mov    -0x430(%rbp),%rax
add    -0x438(%rbp),%rax
mov    %rax,-0x448(%rbp)
mov    -0x440(%rbp),%rax
add    -0x448(%rbp),%rax
mov    %rax,-0x458(%rbp)
mov    -0x450(%rbp),%rax
add    -0x458(%rbp),%rax
mov    %rax,-0x468(%rbp)
mov    -0x460(%rbp),%rax
add    -0x468(%rbp),%rax
mov    %rax,-0x470(%rbp)
movabs $0x3ffffffffffffff,%rax
ff ff 03
and    -0x470(%rbp),%rax
mov    %rax,-0x668(%rbp)
mov    -0x470(%rbp),%rax
shr    $0x3a,%rax
mov    %rax,-0x480(%rbp)
mov    -0x478(%rbp),%rax
add    -0x480(%rbp),%rax
mov    %rax,-0x490(%rbp)
mov    -0x488(%rbp),%rax
add    -0x490(%rbp),%rax
mov    %rax,-0x4a0(%rbp)
mov    -0x498(%rbp),%rax
add    -0x4a0(%rbp),%rax
mov    %rax,-0x4b0(%rbp)
mov    -0x4a8(%rbp),%rax
add    -0x4b0(%rbp),%rax
mov    %rax,-0x4c0(%rbp)
mov    -0x4b8(%rbp),%rax
add    -0x4c0(%rbp),%rax
mov    %rax,-0x4d0(%rbp)
mov    -0x4c8(%rbp),%rax
add    -0x4d0(%rbp),%rax
mov    %rax,-0x4e0(%rbp)
mov    -0x4d8(%rbp),%rax
add    -0x4e0(%rbp),%rax
mov    %rax,-0x4e8(%rbp)
movabs $0x3ffffffffffffff,%rax
ff ff 03
and    -0x4e8(%rbp),%rax
mov    %rax,-0x670(%rbp)
mov    -0x4e8(%rbp),%rax
shr    $0x3a,%rax
mov    %rax,-0x4f8(%rbp)
mov    -0x4f0(%rbp),%rax
add    -0x4f8(%rbp),%rax
mov    %rax,-0x508(%rbp)
mov    -0x500(%rbp),%rax
add    -0x508(%rbp),%rax
mov    %rax,-0x518(%rbp)
mov    -0x510(%rbp),%rax
add    -0x518(%rbp),%rax
mov    %rax,-0x528(%rbp)
mov    -0x520(%rbp),%rax
add    -0x528(%rbp),%rax
mov    %rax,-0x538(%rbp)
mov    -0x530(%rbp),%rax
add    -0x538(%rbp),%rax
mov    %rax,-0x548(%rbp)
mov    -0x540(%rbp),%rax
add    -0x548(%rbp),%rax
mov    %rax,-0x558(%rbp)
mov    -0x550(%rbp),%rax
add    -0x558(%rbp),%rax
mov    %rax,-0x560(%rbp)
movabs $0x3ffffffffffffff,%rax
ff ff 03
and    -0x560(%rbp),%rax
mov    %rax,-0x678(%rbp)
mov    -0x560(%rbp),%rax
shr    $0x3a,%rax
mov    %rax,-0x570(%rbp)
mov    -0x568(%rbp),%rax
add    -0x570(%rbp),%rax
mov    %rax,-0x580(%rbp)
mov    -0x578(%rbp),%rax
add    -0x580(%rbp),%rax
mov    %rax,-0x590(%rbp)
mov    -0x588(%rbp),%rax
add    -0x590(%rbp),%rax
mov    %rax,-0x5a0(%rbp)
mov    -0x598(%rbp),%rax
add    -0x5a0(%rbp),%rax
mov    %rax,-0x5b0(%rbp)
mov    -0x5a8(%rbp),%rax
add    -0x5b0(%rbp),%rax
mov    %rax,-0x5c0(%rbp)
mov    -0x5b8(%rbp),%rax
add    -0x5c0(%rbp),%rax
mov    %rax,-0x5d0(%rbp)
mov    -0x5c8(%rbp),%rax
add    -0x5d0(%rbp),%rax
mov    %rax,-0x680(%rbp)
mov    -0x5d8(%rbp),%rax
add    -0x5e0(%rbp),%rax
mov    %rax,-0x5f0(%rbp)
mov    -0x5e8(%rbp),%rax
add    -0x5f0(%rbp),%rax
mov    %rax,-0x600(%rbp)
mov    -0x5f8(%rbp),%rax
add    -0x600(%rbp),%rax
mov    %rax,-0x610(%rbp)
mov    -0x608(%rbp),%rax
add    -0x610(%rbp),%rax
mov    %rax,-0x620(%rbp)
mov    -0x618(%rbp),%rax
add    -0x620(%rbp),%rax
mov    %rax,-0x630(%rbp)
mov    -0x628(%rbp),%rax
add    -0x630(%rbp),%rax
mov    %rax,-0x640(%rbp)
mov    -0x638(%rbp),%rax
add    -0x640(%rbp),%rax
mov    %rax,-0x688(%rbp)
mov    -0x648(%rbp),%rax
mov    %rax,-0x690(%rbp)
mov    -0x650(%rbp),%rax
mov    %rax,-0x698(%rbp)
mov    -0x658(%rbp),%rax
mov    %rax,-0x6a0(%rbp)
mov    -0x660(%rbp),%rax
mov    %rax,-0x6a8(%rbp)
mov    -0x668(%rbp),%rax
mov    %rax,-0x6b0(%rbp)
mov    -0x670(%rbp),%rax
mov    %rax,-0x6b8(%rbp)
mov    -0x678(%rbp),%rax
mov    %rax,-0x6c0(%rbp)
mov    -0x680(%rbp),%rax
mov    %rax,-0x6c8(%rbp)
mov    -0x688(%rbp),%rax
mov    %rax,-0x6d0(%rbp)
mov    -0x8(%rbp),%rax
add    $0x0,%rax
mov    %eax,%edi
mov    -0x690(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x8,%rax
mov    %eax,%edi
mov    -0x698(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x10,%rax
mov    %eax,%edi
mov    -0x6a0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x18,%rax
mov    %eax,%edi
mov    -0x6a8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x20,%rax
mov    %eax,%edi
mov    -0x6b0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x28,%rax
mov    %eax,%edi
mov    -0x6b8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x30,%rax
mov    %eax,%edi
mov    -0x6c0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x38,%rax
mov    %eax,%edi
mov    -0x6c8(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
mov    -0x8(%rbp),%rax
add    $0x40,%rax
mov    %eax,%edi
mov    -0x6d0(%rbp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x6d0,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<internal_fiat_p521_from_bytes>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x1e8,%rsp
mov    %rsi,%r13
mov    %rdi,0x1e0(%rsp)
mov    %r13d,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x18(%rsp)
lea    0x1(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r12
lea    0x2(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x10(%rsp)
lea    0x3(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x8(%rsp)
lea    0x4(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,(%rsp)
lea    0x5(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1d8(%rsp)
lea    0x6(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1d0(%rsp)
lea    0x7(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1c8(%rsp)
lea    0x8(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbx
lea    0x9(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1c0(%rsp)
lea    0xa(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1b8(%rsp)
lea    0xb(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1b0(%rsp)
lea    0xc(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1a8(%rsp)
lea    0xd(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x1a0(%rsp)
lea    0xe(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x198(%rsp)
lea    0xf(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x190(%rsp)
lea    0x10(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x188(%rsp)
lea    0x11(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x180(%rsp)
lea    0x12(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x178(%rsp)
lea    0x13(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x170(%rsp)
lea    0x14(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x168(%rsp)
lea    0x15(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x160(%rsp)
lea    0x16(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x158(%rsp)
lea    0x17(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x150(%rsp)
lea    0x18(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x148(%rsp)
lea    0x19(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x140(%rsp)
lea    0x1a(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x138(%rsp)
lea    0x1b(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x130(%rsp)
lea    0x1c(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x128(%rsp)
lea    0x1d(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x120(%rsp)
lea    0x1e(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%rbp
lea    0x1f(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x118(%rsp)
lea    0x20(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x110(%rsp)
lea    0x21(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x108(%rsp)
lea    0x22(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x100(%rsp)
lea    0x23(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xf8(%rsp)
lea    0x24(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xf0(%rsp)
lea    0x25(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r15
lea    0x26(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xe8(%rsp)
lea    0x27(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xe0(%rsp)
lea    0x28(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xd8(%rsp)
lea    0x29(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xd0(%rsp)
lea    0x2a(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xc8(%rsp)
lea    0x2b(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xc0(%rsp)
lea    0x2c(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xb8(%rsp)
lea    0x2d(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xb0(%rsp)
lea    0x2e(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xa8(%rsp)
lea    0x2f(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0xa0(%rsp)
lea    0x30(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x98(%rsp)
lea    0x31(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x90(%rsp)
lea    0x32(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x88(%rsp)
lea    0x33(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x80(%rsp)
lea    0x34(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x70(%rsp)
lea    0x35(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x78(%rsp)
lea    0x36(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x68(%rsp)
lea    0x37(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x60(%rsp)
lea    0x38(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x58(%rsp)
lea    0x39(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x50(%rsp)
lea    0x3a(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x48(%rsp)
lea    0x3b(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,%r14
lea    0x3c(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x40(%rsp)
lea    0x3d(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x38(%rsp)
lea    0x3e(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x30(%rsp)
lea    0x3f(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x28(%rsp)
lea    0x40(%r13),%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
mov    %rax,0x20(%rsp)
add    $0x41,%r13d
mov    %r13d,%edi
mov    $0x1,%esi
call   1030 <_br2_load@plt>
shl    $0x8,%r12
add    0x18(%rsp),%r12
mov    0x10(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%r12
mov    0x8(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%r12
mov    (%rsp),%rcx
shl    $0x20,%rcx
add    %rcx,%r12
mov    0x1d8(%rsp),%rcx
shl    $0x28,%rcx
add    %rcx,%r12
mov    0x1d0(%rsp),%rcx
shl    $0x30,%rcx
add    %rcx,%r12
mov    0x1c8(%rsp),%rcx
shl    $0x38,%rcx
add    %rcx,%r12
mov    0x1c0(%rsp),%rcx
shl    $0xe,%rcx
shld   $0x6,%r12,%rbx
mov    %r12,%rsi
add    %rcx,%rbx
mov    0x1b8(%rsp),%rcx
shl    $0x16,%rcx
add    %rcx,%rbx
mov    0x1b0(%rsp),%rcx
shl    $0x1e,%rcx
add    %rcx,%rbx
mov    0x1a8(%rsp),%rcx
shl    $0x26,%rcx
add    %rcx,%rbx
mov    0x1a0(%rsp),%rcx
shl    $0x2e,%rcx
add    %rcx,%rbx
mov    0x198(%rsp),%rcx
shl    $0x36,%rcx
add    %rcx,%rbx
mov    0x190(%rsp),%rcx
shl    $0x4,%rcx
mov    %rbx,%r8
shr    $0x3a,%rbx
add    %rcx,%rbx
mov    0x188(%rsp),%rcx
shl    $0xc,%rcx
add    %rcx,%rbx
mov    0x180(%rsp),%rcx
shl    $0x14,%rcx
add    %rcx,%rbx
mov    0x178(%rsp),%rcx
shl    $0x1c,%rcx
add    %rcx,%rbx
mov    0x170(%rsp),%rcx
shl    $0x24,%rcx
add    %rcx,%rbx
mov    0x168(%rsp),%rcx
shl    $0x2c,%rcx
add    %rcx,%rbx
mov    0x160(%rsp),%rcx
shl    $0x34,%rcx
add    %rcx,%rbx
mov    0x150(%rsp),%rdx
shl    $0xa,%rdx
mov    0x158(%rsp),%rcx
lea    (%rdx,%rcx,4),%r12
mov    %rbx,%r9
shr    $0x3a,%rbx
add    %rbx,%r12
mov    0x148(%rsp),%rcx
shl    $0x12,%rcx
add    %rcx,%r12
mov    0x140(%rsp),%rcx
shl    $0x1a,%rcx
add    %rcx,%r12
mov    0x138(%rsp),%rcx
shl    $0x22,%rcx
add    %rcx,%r12
mov    0x130(%rsp),%rcx
shl    $0x2a,%rcx
add    %rcx,%r12
mov    0x128(%rsp),%rcx
shl    $0x32,%rcx
add    %rcx,%r12
shl    $0x8,%rbp
add    0x120(%rsp),%rbp
mov    0x118(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%rbp
mov    0x110(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%rbp
mov    0x108(%rsp),%rcx
shl    $0x20,%rcx
add    %rcx,%rbp
mov    0x100(%rsp),%rcx
shl    $0x28,%rcx
add    %rcx,%rbp
mov    0xf8(%rsp),%rcx
shl    $0x30,%rcx
add    %rcx,%rbp
mov    0xf0(%rsp),%rcx
shl    $0x38,%rcx
add    %rcx,%rbp
mov    0xe8(%rsp),%rcx
shl    $0xe,%rcx
shld   $0x6,%rbp,%r15
mov    %rbp,%rdi
add    %rcx,%r15
mov    0xe0(%rsp),%rcx
shl    $0x16,%rcx
add    %rcx,%r15
mov    0xd8(%rsp),%rcx
shl    $0x1e,%rcx
add    %rcx,%r15
mov    0xd0(%rsp),%rcx
shl    $0x26,%rcx
add    %rcx,%r15
mov    0xc8(%rsp),%rcx
shl    $0x2e,%rcx
add    %rcx,%r15
mov    0xc0(%rsp),%rcx
shl    $0x36,%rcx
add    %rcx,%r15
mov    0xb8(%rsp),%rcx
shl    $0x4,%rcx
mov    %r15,%rbp
shr    $0x3a,%r15
add    %rcx,%r15
mov    0xb0(%rsp),%rcx
shl    $0xc,%rcx
add    %rcx,%r15
mov    0xa8(%rsp),%rcx
shl    $0x14,%rcx
add    %rcx,%r15
mov    0xa0(%rsp),%rcx
shl    $0x1c,%rcx
add    %rcx,%r15
mov    0x98(%rsp),%rcx
shl    $0x24,%rcx
add    %rcx,%r15
mov    0x90(%rsp),%rcx
shl    $0x2c,%rcx
add    %rcx,%r15
mov    0x88(%rsp),%rcx
shl    $0x34,%rcx
add    %rcx,%r15
mov    0x70(%rsp),%rdx
shl    $0xa,%rdx
mov    0x80(%rsp),%rcx
lea    (%rdx,%rcx,4),%r13
movabs $0x3ffffffffffffff,%rbx
ff ff 03
and    %rbx,%rsi
and    %rbx,%r8
mov    %r8,(%rsp)
and    %rbx,%r9
mov    %r9,0x8(%rsp)
and    %rbx,%rdi
mov    %rdi,0x10(%rsp)
and    %rbx,%rbp
mov    %rbp,0x18(%rsp)
and    %r15,%rbx
shr    $0x3a,%r15
add    %r15,%r13
mov    0x78(%rsp),%rcx
shl    $0x12,%rcx
add    %rcx,%r13
mov    0x68(%rsp),%rcx
shl    $0x1a,%rcx
add    %rcx,%r13
mov    0x60(%rsp),%rcx
shl    $0x22,%rcx
add    %rcx,%r13
mov    0x58(%rsp),%rcx
shl    $0x2a,%rcx
add    %rcx,%r13
mov    0x50(%rsp),%rcx
shl    $0x32,%rcx
add    %rcx,%r13
shl    $0x8,%r14
add    0x48(%rsp),%r14
mov    0x40(%rsp),%rcx
shl    $0x10,%rcx
add    %rcx,%r14
mov    0x38(%rsp),%rcx
shl    $0x18,%rcx
add    %rcx,%r14
mov    0x30(%rsp),%rcx
shl    $0x20,%rcx
add    %rcx,%r14
mov    0x28(%rsp),%rcx
shl    $0x28,%rcx
add    %rcx,%r14
mov    0x20(%rsp),%rcx
shl    $0x30,%rcx
add    %rcx,%r14
shl    $0x38,%rax
add    %rax,%r14
mov    0x1e0(%rsp),%rbp
mov    %ebp,%edi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x8(%rbp),%edi
mov    (%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x10(%rbp),%edi
mov    0x8(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x18(%rbp),%edi
mov    %r12,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x20(%rbp),%edi
mov    0x10(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x28(%rbp),%edi
mov    0x18(%rsp),%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x30(%rbp),%edi
mov    %rbx,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
lea    0x38(%rbp),%edi
mov    %r13,%rsi
mov    $0x8,%edx
call   1040 <_br2_store@plt>
add    $0x40,%ebp
mov    %ebp,%edi
mov    %r14,%rsi
mov    $0x8,%edx
add    $0x1e8,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
jmp    1040 <_br2_store@plt>

LLVM IR (-O0):
define void @internal_fiat_p521_from_bytes(i64 %0, i64 %1) {
%3 = alloca i64
%4 = alloca i64
%5 = alloca i64
%6 = alloca i64
%7 = alloca i64
%8 = alloca i64
%9 = alloca i64
%10 = alloca i64
%11 = alloca i64
%12 = alloca i64
%13 = alloca i64
%14 = alloca i64
%15 = alloca i64
%16 = alloca i64
%17 = alloca i64
%18 = alloca i64
%19 = alloca i64
%20 = alloca i64
%21 = alloca i64
%22 = alloca i64
%23 = alloca i64
%24 = alloca i64
%25 = alloca i64
%26 = alloca i64
%27 = alloca i64
%28 = alloca i64
%29 = alloca i64
%30 = alloca i64
%31 = alloca i64
%32 = alloca i64
%33 = alloca i64
%34 = alloca i64
%35 = alloca i64
%36 = alloca i64
%37 = alloca i64
%38 = alloca i64
%39 = alloca i64
%40 = alloca i64
%41 = alloca i64
%42 = alloca i64
%43 = alloca i64
%44 = alloca i64
%45 = alloca i64
%46 = alloca i64
%47 = alloca i64
%48 = alloca i64
%49 = alloca i64
%50 = alloca i64
%51 = alloca i64
%52 = alloca i64
%53 = alloca i64
%54 = alloca i64
%55 = alloca i64
%56 = alloca i64
%57 = alloca i64
%58 = alloca i64
%59 = alloca i64
%60 = alloca i64
%61 = alloca i64
%62 = alloca i64
%63 = alloca i64
%64 = alloca i64
%65 = alloca i64
%66 = alloca i64
%67 = alloca i64
%68 = alloca i64
%69 = alloca i64
%70 = alloca i64
%71 = alloca i64
%72 = alloca i64
%73 = alloca i64
%74 = alloca i64
%75 = alloca i64
%76 = alloca i64
%77 = alloca i64
%78 = alloca i64
%79 = alloca i64
%80 = alloca i64
%81 = alloca i64
%82 = alloca i64
%83 = alloca i64
%84 = alloca i64
%85 = alloca i64
%86 = alloca i64
%87 = alloca i64
%88 = alloca i64
%89 = alloca i64
%90 = alloca i64
%91 = alloca i64
%92 = alloca i64
%93 = alloca i64
%94 = alloca i64
%95 = alloca i64
%96 = alloca i64
%97 = alloca i64
%98 = alloca i64
%99 = alloca i64
%100 = alloca i64
%101 = alloca i64
%102 = alloca i64
%103 = alloca i64
%104 = alloca i64
%105 = alloca i64
%106 = alloca i64
%107 = alloca i64
%108 = alloca i64
%109 = alloca i64
%110 = alloca i64
%111 = alloca i64
%112 = alloca i64
%113 = alloca i64
%114 = alloca i64
%115 = alloca i64
%116 = alloca i64
%117 = alloca i64
%118 = alloca i64
%119 = alloca i64
%120 = alloca i64
%121 = alloca i64
%122 = alloca i64
%123 = alloca i64
%124 = alloca i64
%125 = alloca i64
%126 = alloca i64
%127 = alloca i64
%128 = alloca i64
%129 = alloca i64
%130 = alloca i64
%131 = alloca i64
%132 = alloca i64
%133 = alloca i64
%134 = alloca i64
%135 = alloca i64
%136 = alloca i64
%137 = alloca i64
%138 = alloca i64
%139 = alloca i64
%140 = alloca i64
%141 = alloca i64
%142 = alloca i64
%143 = alloca i64
%144 = alloca i64
%145 = alloca i64
%146 = alloca i64
%147 = alloca i64
%148 = alloca i64
%149 = alloca i64
%150 = alloca i64
%151 = alloca i64
%152 = alloca i64
%153 = alloca i64
%154 = alloca i64
%155 = alloca i64
%156 = alloca i64
%157 = alloca i64
%158 = alloca i64
%159 = alloca i64
%160 = alloca i64
%161 = alloca i64
%162 = alloca i64
%163 = alloca i64
%164 = alloca i64
%165 = alloca i64
%166 = alloca i64
%167 = alloca i64
%168 = alloca i64
%169 = alloca i64
%170 = alloca i64
%171 = alloca i64
%172 = alloca i64
%173 = alloca i64
%174 = alloca i64
%175 = alloca i64
%176 = alloca i64
%177 = alloca i64
%178 = alloca i64
%179 = alloca i64
%180 = alloca i64
%181 = alloca i64
%182 = alloca i64
%183 = alloca i64
%184 = alloca i64
%185 = alloca i64
%186 = alloca i64
%187 = alloca i64
%188 = alloca i64
%189 = alloca i64
%190 = alloca i64
%191 = alloca i64
%192 = alloca i64
%193 = alloca i64
%194 = alloca i64
%195 = alloca i64
%196 = alloca i64
%197 = alloca i64
%198 = alloca i64
%199 = alloca i64
%200 = alloca i64
%201 = alloca i64
%202 = alloca i64
%203 = alloca i64
%204 = alloca i64
%205 = alloca i64
%206 = alloca i64
%207 = alloca i64
%208 = alloca i64
%209 = alloca i64
%210 = alloca i64
%211 = alloca i64
%212 = alloca i64
%213 = alloca i64
%214 = alloca i64
%215 = alloca i64
%216 = alloca i64
%217 = alloca i64
%218 = alloca i64
%219 = alloca i64
%220 = alloca i64
store i64 %0, i64* %3
store i64 %1, i64* %4
%221 = load i64, i64* %4
%222 = add i64 %221, 0
%223 = trunc i64 %222 to i32
%224 = call i64 @_br2_load(i32 %223, i32 1)
store i64 %224, i64* %70
%225 = load i64, i64* %4
%226 = add i64 %225, 1
%227 = trunc i64 %226 to i32
%228 = call i64 @_br2_load(i32 %227, i32 1)
store i64 %228, i64* %69
%229 = load i64, i64* %4
%230 = add i64 %229, 2
%231 = trunc i64 %230 to i32
%232 = call i64 @_br2_load(i32 %231, i32 1)
store i64 %232, i64* %68
%233 = load i64, i64* %4
%234 = add i64 %233, 3
%235 = trunc i64 %234 to i32
%236 = call i64 @_br2_load(i32 %235, i32 1)
store i64 %236, i64* %67
%237 = load i64, i64* %4
%238 = add i64 %237, 4
%239 = trunc i64 %238 to i32
%240 = call i64 @_br2_load(i32 %239, i32 1)
store i64 %240, i64* %66
%241 = load i64, i64* %4
%242 = add i64 %241, 5
%243 = trunc i64 %242 to i32
%244 = call i64 @_br2_load(i32 %243, i32 1)
store i64 %244, i64* %65
%245 = load i64, i64* %4
%246 = add i64 %245, 6
%247 = trunc i64 %246 to i32
%248 = call i64 @_br2_load(i32 %247, i32 1)
store i64 %248, i64* %64
%249 = load i64, i64* %4
%250 = add i64 %249, 7
%251 = trunc i64 %250 to i32
%252 = call i64 @_br2_load(i32 %251, i32 1)
store i64 %252, i64* %63
%253 = load i64, i64* %4
%254 = add i64 %253, 8
%255 = trunc i64 %254 to i32
%256 = call i64 @_br2_load(i32 %255, i32 1)
store i64 %256, i64* %62
%257 = load i64, i64* %4
%258 = add i64 %257, 9
%259 = trunc i64 %258 to i32
%260 = call i64 @_br2_load(i32 %259, i32 1)
store i64 %260, i64* %61
%261 = load i64, i64* %4
%262 = add i64 %261, 10
%263 = trunc i64 %262 to i32
%264 = call i64 @_br2_load(i32 %263, i32 1)
store i64 %264, i64* %60
%265 = load i64, i64* %4
%266 = add i64 %265, 11
%267 = trunc i64 %266 to i32
%268 = call i64 @_br2_load(i32 %267, i32 1)
store i64 %268, i64* %59
%269 = load i64, i64* %4
%270 = add i64 %269, 12
%271 = trunc i64 %270 to i32
%272 = call i64 @_br2_load(i32 %271, i32 1)
store i64 %272, i64* %58
%273 = load i64, i64* %4
%274 = add i64 %273, 13
%275 = trunc i64 %274 to i32
%276 = call i64 @_br2_load(i32 %275, i32 1)
store i64 %276, i64* %57
%277 = load i64, i64* %4
%278 = add i64 %277, 14
%279 = trunc i64 %278 to i32
%280 = call i64 @_br2_load(i32 %279, i32 1)
store i64 %280, i64* %56
%281 = load i64, i64* %4
%282 = add i64 %281, 15
%283 = trunc i64 %282 to i32
%284 = call i64 @_br2_load(i32 %283, i32 1)
store i64 %284, i64* %55
%285 = load i64, i64* %4
%286 = add i64 %285, 16
%287 = trunc i64 %286 to i32
%288 = call i64 @_br2_load(i32 %287, i32 1)
store i64 %288, i64* %54
%289 = load i64, i64* %4
%290 = add i64 %289, 17
%291 = trunc i64 %290 to i32
%292 = call i64 @_br2_load(i32 %291, i32 1)
store i64 %292, i64* %53
%293 = load i64, i64* %4
%294 = add i64 %293, 18
%295 = trunc i64 %294 to i32
%296 = call i64 @_br2_load(i32 %295, i32 1)
store i64 %296, i64* %52
%297 = load i64, i64* %4
%298 = add i64 %297, 19
%299 = trunc i64 %298 to i32
%300 = call i64 @_br2_load(i32 %299, i32 1)
store i64 %300, i64* %51
%301 = load i64, i64* %4
%302 = add i64 %301, 20
%303 = trunc i64 %302 to i32
%304 = call i64 @_br2_load(i32 %303, i32 1)
store i64 %304, i64* %50
%305 = load i64, i64* %4
%306 = add i64 %305, 21
%307 = trunc i64 %306 to i32
%308 = call i64 @_br2_load(i32 %307, i32 1)
store i64 %308, i64* %49
%309 = load i64, i64* %4
%310 = add i64 %309, 22
%311 = trunc i64 %310 to i32
%312 = call i64 @_br2_load(i32 %311, i32 1)
store i64 %312, i64* %48
%313 = load i64, i64* %4
%314 = add i64 %313, 23
%315 = trunc i64 %314 to i32
%316 = call i64 @_br2_load(i32 %315, i32 1)
store i64 %316, i64* %47
%317 = load i64, i64* %4
%318 = add i64 %317, 24
%319 = trunc i64 %318 to i32
%320 = call i64 @_br2_load(i32 %319, i32 1)
store i64 %320, i64* %46
%321 = load i64, i64* %4
%322 = add i64 %321, 25
%323 = trunc i64 %322 to i32
%324 = call i64 @_br2_load(i32 %323, i32 1)
store i64 %324, i64* %45
%325 = load i64, i64* %4
%326 = add i64 %325, 26
%327 = trunc i64 %326 to i32
%328 = call i64 @_br2_load(i32 %327, i32 1)
store i64 %328, i64* %44
%329 = load i64, i64* %4
%330 = add i64 %329, 27
%331 = trunc i64 %330 to i32
%332 = call i64 @_br2_load(i32 %331, i32 1)
store i64 %332, i64* %43
%333 = load i64, i64* %4
%334 = add i64 %333, 28
%335 = trunc i64 %334 to i32
%336 = call i64 @_br2_load(i32 %335, i32 1)
store i64 %336, i64* %42
%337 = load i64, i64* %4
%338 = add i64 %337, 29
%339 = trunc i64 %338 to i32
%340 = call i64 @_br2_load(i32 %339, i32 1)
store i64 %340, i64* %41
%341 = load i64, i64* %4
%342 = add i64 %341, 30
%343 = trunc i64 %342 to i32
%344 = call i64 @_br2_load(i32 %343, i32 1)
store i64 %344, i64* %40
%345 = load i64, i64* %4
%346 = add i64 %345, 31
%347 = trunc i64 %346 to i32
%348 = call i64 @_br2_load(i32 %347, i32 1)
store i64 %348, i64* %39
%349 = load i64, i64* %4
%350 = add i64 %349, 32
%351 = trunc i64 %350 to i32
%352 = call i64 @_br2_load(i32 %351, i32 1)
store i64 %352, i64* %38
%353 = load i64, i64* %4
%354 = add i64 %353, 33
%355 = trunc i64 %354 to i32
%356 = call i64 @_br2_load(i32 %355, i32 1)
store i64 %356, i64* %37
%357 = load i64, i64* %4
%358 = add i64 %357, 34
%359 = trunc i64 %358 to i32
%360 = call i64 @_br2_load(i32 %359, i32 1)
store i64 %360, i64* %36
%361 = load i64, i64* %4
%362 = add i64 %361, 35
%363 = trunc i64 %362 to i32
%364 = call i64 @_br2_load(i32 %363, i32 1)
store i64 %364, i64* %35
%365 = load i64, i64* %4
%366 = add i64 %365, 36
%367 = trunc i64 %366 to i32
%368 = call i64 @_br2_load(i32 %367, i32 1)
store i64 %368, i64* %34
%369 = load i64, i64* %4
%370 = add i64 %369, 37
%371 = trunc i64 %370 to i32
%372 = call i64 @_br2_load(i32 %371, i32 1)
store i64 %372, i64* %33
%373 = load i64, i64* %4
%374 = add i64 %373, 38
%375 = trunc i64 %374 to i32
%376 = call i64 @_br2_load(i32 %375, i32 1)
store i64 %376, i64* %32
%377 = load i64, i64* %4
%378 = add i64 %377, 39
%379 = trunc i64 %378 to i32
%380 = call i64 @_br2_load(i32 %379, i32 1)
store i64 %380, i64* %31
%381 = load i64, i64* %4
%382 = add i64 %381, 40
%383 = trunc i64 %382 to i32
%384 = call i64 @_br2_load(i32 %383, i32 1)
store i64 %384, i64* %30
%385 = load i64, i64* %4
%386 = add i64 %385, 41
%387 = trunc i64 %386 to i32
%388 = call i64 @_br2_load(i32 %387, i32 1)
store i64 %388, i64* %29
%389 = load i64, i64* %4
%390 = add i64 %389, 42
%391 = trunc i64 %390 to i32
%392 = call i64 @_br2_load(i32 %391, i32 1)
store i64 %392, i64* %28
%393 = load i64, i64* %4
%394 = add i64 %393, 43
%395 = trunc i64 %394 to i32
%396 = call i64 @_br2_load(i32 %395, i32 1)
store i64 %396, i64* %27
%397 = load i64, i64* %4
%398 = add i64 %397, 44
%399 = trunc i64 %398 to i32
%400 = call i64 @_br2_load(i32 %399, i32 1)
store i64 %400, i64* %26
%401 = load i64, i64* %4
%402 = add i64 %401, 45
%403 = trunc i64 %402 to i32
%404 = call i64 @_br2_load(i32 %403, i32 1)
store i64 %404, i64* %25
%405 = load i64, i64* %4
%406 = add i64 %405, 46
%407 = trunc i64 %406 to i32
%408 = call i64 @_br2_load(i32 %407, i32 1)
store i64 %408, i64* %24
%409 = load i64, i64* %4
%410 = add i64 %409, 47
%411 = trunc i64 %410 to i32
%412 = call i64 @_br2_load(i32 %411, i32 1)
store i64 %412, i64* %23
%413 = load i64, i64* %4
%414 = add i64 %413, 48
%415 = trunc i64 %414 to i32
%416 = call i64 @_br2_load(i32 %415, i32 1)
store i64 %416, i64* %22
%417 = load i64, i64* %4
%418 = add i64 %417, 49
%419 = trunc i64 %418 to i32
%420 = call i64 @_br2_load(i32 %419, i32 1)
store i64 %420, i64* %21
%421 = load i64, i64* %4
%422 = add i64 %421, 50
%423 = trunc i64 %422 to i32
%424 = call i64 @_br2_load(i32 %423, i32 1)
store i64 %424, i64* %20
%425 = load i64, i64* %4
%426 = add i64 %425, 51
%427 = trunc i64 %426 to i32
%428 = call i64 @_br2_load(i32 %427, i32 1)
store i64 %428, i64* %19
%429 = load i64, i64* %4
%430 = add i64 %429, 52
%431 = trunc i64 %430 to i32
%432 = call i64 @_br2_load(i32 %431, i32 1)
store i64 %432, i64* %18
%433 = load i64, i64* %4
%434 = add i64 %433, 53
%435 = trunc i64 %434 to i32
%436 = call i64 @_br2_load(i32 %435, i32 1)
store i64 %436, i64* %17
%437 = load i64, i64* %4
%438 = add i64 %437, 54
%439 = trunc i64 %438 to i32
%440 = call i64 @_br2_load(i32 %439, i32 1)
store i64 %440, i64* %16
%441 = load i64, i64* %4
%442 = add i64 %441, 55
%443 = trunc i64 %442 to i32
%444 = call i64 @_br2_load(i32 %443, i32 1)
store i64 %444, i64* %15
%445 = load i64, i64* %4
%446 = add i64 %445, 56
%447 = trunc i64 %446 to i32
%448 = call i64 @_br2_load(i32 %447, i32 1)
store i64 %448, i64* %14
%449 = load i64, i64* %4
%450 = add i64 %449, 57
%451 = trunc i64 %450 to i32
%452 = call i64 @_br2_load(i32 %451, i32 1)
store i64 %452, i64* %13
%453 = load i64, i64* %4
%454 = add i64 %453, 58
%455 = trunc i64 %454 to i32
%456 = call i64 @_br2_load(i32 %455, i32 1)
store i64 %456, i64* %12
%457 = load i64, i64* %4
%458 = add i64 %457, 59
%459 = trunc i64 %458 to i32
%460 = call i64 @_br2_load(i32 %459, i32 1)
store i64 %460, i64* %11
%461 = load i64, i64* %4
%462 = add i64 %461, 60
%463 = trunc i64 %462 to i32
%464 = call i64 @_br2_load(i32 %463, i32 1)
store i64 %464, i64* %10
%465 = load i64, i64* %4
%466 = add i64 %465, 61
%467 = trunc i64 %466 to i32
%468 = call i64 @_br2_load(i32 %467, i32 1)
store i64 %468, i64* %9
%469 = load i64, i64* %4
%470 = add i64 %469, 62
%471 = trunc i64 %470 to i32
%472 = call i64 @_br2_load(i32 %471, i32 1)
store i64 %472, i64* %8
%473 = load i64, i64* %4
%474 = add i64 %473, 63
%475 = trunc i64 %474 to i32
%476 = call i64 @_br2_load(i32 %475, i32 1)
store i64 %476, i64* %7
%477 = load i64, i64* %4
%478 = add i64 %477, 64
%479 = trunc i64 %478 to i32
%480 = call i64 @_br2_load(i32 %479, i32 1)
store i64 %480, i64* %6
%481 = load i64, i64* %4
%482 = add i64 %481, 65
%483 = trunc i64 %482 to i32
%484 = call i64 @_br2_load(i32 %483, i32 1)
store i64 %484, i64* %5
%485 = load i64, i64* %5
%486 = shl i64 %485, 56
store i64 %486, i64* %201
%487 = load i64, i64* %6
%488 = shl i64 %487, 48
store i64 %488, i64* %199
%489 = load i64, i64* %7
%490 = shl i64 %489, 40
store i64 %490, i64* %197
%491 = load i64, i64* %8
%492 = shl i64 %491, 32
store i64 %492, i64* %195
%493 = load i64, i64* %9
%494 = shl i64 %493, 24
store i64 %494, i64* %193
%495 = load i64, i64* %10
%496 = shl i64 %495, 16
store i64 %496, i64* %191
%497 = load i64, i64* %11
%498 = shl i64 %497, 8
store i64 %498, i64* %189
%499 = load i64, i64* %12
store i64 %499, i64* %190
%500 = load i64, i64* %13
%501 = shl i64 %500, 50
store i64 %501, i64* %187
%502 = load i64, i64* %14
%503 = shl i64 %502, 42
store i64 %503, i64* %185
%504 = load i64, i64* %15
%505 = shl i64 %504, 34
store i64 %505, i64* %183
%506 = load i64, i64* %16
%507 = shl i64 %506, 26
store i64 %507, i64* %181
%508 = load i64, i64* %17
%509 = shl i64 %508, 18
store i64 %509, i64* %179
%510 = load i64, i64* %18
%511 = shl i64 %510, 10
store i64 %511, i64* %177
%512 = load i64, i64* %19
%513 = shl i64 %512, 2
store i64 %513, i64* %175
%514 = load i64, i64* %20
%515 = shl i64 %514, 52
store i64 %515, i64* %172
%516 = load i64, i64* %21
%517 = shl i64 %516, 44
store i64 %517, i64* %170
%518 = load i64, i64* %22
%519 = shl i64 %518, 36
store i64 %519, i64* %168
%520 = load i64, i64* %23
%521 = shl i64 %520, 28
store i64 %521, i64* %166
%522 = load i64, i64* %24
%523 = shl i64 %522, 20
store i64 %523, i64* %164
%524 = load i64, i64* %25
%525 = shl i64 %524, 12
store i64 %525, i64* %162
%526 = load i64, i64* %26
%527 = shl i64 %526, 4
store i64 %527, i64* %160
%528 = load i64, i64* %27
%529 = shl i64 %528, 54
store i64 %529, i64* %157
%530 = load i64, i64* %28
%531 = shl i64 %530, 46
store i64 %531, i64* %155
%532 = load i64, i64* %29
%533 = shl i64 %532, 38
store i64 %533, i64* %153
%534 = load i64, i64* %30
%535 = shl i64 %534, 30
store i64 %535, i64* %151
%536 = load i64, i64* %31
%537 = shl i64 %536, 22
store i64 %537, i64* %149
%538 = load i64, i64* %32
%539 = shl i64 %538, 14
store i64 %539, i64* %147
%540 = load i64, i64* %33
%541 = shl i64 %540, 6
store i64 %541, i64* %145
%542 = load i64, i64* %34
%543 = shl i64 %542, 56
store i64 %543, i64* %142
%544 = load i64, i64* %35
%545 = shl i64 %544, 48
store i64 %545, i64* %140
%546 = load i64, i64* %36
%547 = shl i64 %546, 40
store i64 %547, i64* %138
%548 = load i64, i64* %37
%549 = shl i64 %548, 32
store i64 %549, i64* %136
%550 = load i64, i64* %38
%551 = shl i64 %550, 24
store i64 %551, i64* %134
%552 = load i64, i64* %39
%553 = shl i64 %552, 16
store i64 %553, i64* %132
%554 = load i64, i64* %40
%555 = shl i64 %554, 8
store i64 %555, i64* %130
%556 = load i64, i64* %41
store i64 %556, i64* %131
%557 = load i64, i64* %42
%558 = shl i64 %557, 50
store i64 %558, i64* %128
%559 = load i64, i64* %43
%560 = shl i64 %559, 42
store i64 %560, i64* %126
%561 = load i64, i64* %44
%562 = shl i64 %561, 34
store i64 %562, i64* %124
%563 = load i64, i64* %45
%564 = shl i64 %563, 26
store i64 %564, i64* %122
%565 = load i64, i64* %46
%566 = shl i64 %565, 18
store i64 %566, i64* %120
%567 = load i64, i64* %47
%568 = shl i64 %567, 10
store i64 %568, i64* %118
%569 = load i64, i64* %48
%570 = shl i64 %569, 2
store i64 %570, i64* %116
%571 = load i64, i64* %49
%572 = shl i64 %571, 52
store i64 %572, i64* %113
%573 = load i64, i64* %50
%574 = shl i64 %573, 44
store i64 %574, i64* %111
%575 = load i64, i64* %51
%576 = shl i64 %575, 36
store i64 %576, i64* %109
%577 = load i64, i64* %52
%578 = shl i64 %577, 28
store i64 %578, i64* %107
%579 = load i64, i64* %53
%580 = shl i64 %579, 20
store i64 %580, i64* %105
%581 = load i64, i64* %54
%582 = shl i64 %581, 12
store i64 %582, i64* %103
%583 = load i64, i64* %55
%584 = shl i64 %583, 4
store i64 %584, i64* %101
%585 = load i64, i64* %56
%586 = shl i64 %585, 54
store i64 %586, i64* %98
%587 = load i64, i64* %57
%588 = shl i64 %587, 46
store i64 %588, i64* %96
%589 = load i64, i64* %58
%590 = shl i64 %589, 38
store i64 %590, i64* %94
%591 = load i64, i64* %59
%592 = shl i64 %591, 30
store i64 %592, i64* %92
%593 = load i64, i64* %60
%594 = shl i64 %593, 22
store i64 %594, i64* %90
%595 = load i64, i64* %61
%596 = shl i64 %595, 14
store i64 %596, i64* %88
%597 = load i64, i64* %62
%598 = shl i64 %597, 6
store i64 %598, i64* %86
%599 = load i64, i64* %63
%600 = shl i64 %599, 56
store i64 %600, i64* %83
%601 = load i64, i64* %64
%602 = shl i64 %601, 48
store i64 %602, i64* %81
%603 = load i64, i64* %65
%604 = shl i64 %603, 40
store i64 %604, i64* %79
%605 = load i64, i64* %66
%606 = shl i64 %605, 32
store i64 %606, i64* %77
%607 = load i64, i64* %67
%608 = shl i64 %607, 24
store i64 %608, i64* %75
%609 = load i64, i64* %68
%610 = shl i64 %609, 16
store i64 %610, i64* %73
%611 = load i64, i64* %69
%612 = shl i64 %611, 8
store i64 %612, i64* %71
%613 = load i64, i64* %70
store i64 %613, i64* %72
%614 = load i64, i64* %71
%615 = load i64, i64* %72
%616 = add i64 %614, %615
store i64 %616, i64* %74
%617 = load i64, i64* %73
%618 = load i64, i64* %74
%619 = add i64 %617, %618
store i64 %619, i64* %76
%620 = load i64, i64* %75
%621 = load i64, i64* %76
%622 = add i64 %620, %621
store i64 %622, i64* %78
%623 = load i64, i64* %77
%624 = load i64, i64* %78
%625 = add i64 %623, %624
store i64 %625, i64* %80
%626 = load i64, i64* %79
%627 = load i64, i64* %80
%628 = add i64 %626, %627
store i64 %628, i64* %82
%629 = load i64, i64* %81
%630 = load i64, i64* %82
%631 = add i64 %629, %630
store i64 %631, i64* %84
%632 = load i64, i64* %83
%633 = load i64, i64* %84
%634 = add i64 %632, %633
store i64 %634, i64* %85
%635 = load i64, i64* %85
%636 = and i64 %635, 288230376151711743
store i64 %636, i64* %203
%637 = load i64, i64* %85
%638 = lshr i64 %637, 58
store i64 %638, i64* %87
%639 = load i64, i64* %86
%640 = load i64, i64* %87
%641 = add i64 %639, %640
store i64 %641, i64* %89
%642 = load i64, i64* %88
%643 = load i64, i64* %89
%644 = add i64 %642, %643
store i64 %644, i64* %91
%645 = load i64, i64* %90
%646 = load i64, i64* %91
%647 = add i64 %645, %646
store i64 %647, i64* %93
%648 = load i64, i64* %92
%649 = load i64, i64* %93
%650 = add i64 %648, %649
store i64 %650, i64* %95
%651 = load i64, i64* %94
%652 = load i64, i64* %95
%653 = add i64 %651, %652
store i64 %653, i64* %97
%654 = load i64, i64* %96
%655 = load i64, i64* %97
%656 = add i64 %654, %655
store i64 %656, i64* %99
%657 = load i64, i64* %98
%658 = load i64, i64* %99
%659 = add i64 %657, %658
store i64 %659, i64* %100
%660 = load i64, i64* %100
%661 = and i64 %660, 288230376151711743
store i64 %661, i64* %204
%662 = load i64, i64* %100
%663 = lshr i64 %662, 58
store i64 %663, i64* %102
%664 = load i64, i64* %101
%665 = load i64, i64* %102
%666 = add i64 %664, %665
store i64 %666, i64* %104
%667 = load i64, i64* %103
%668 = load i64, i64* %104
%669 = add i64 %667, %668
store i64 %669, i64* %106
%670 = load i64, i64* %105
%671 = load i64, i64* %106
%672 = add i64 %670, %671
store i64 %672, i64* %108
%673 = load i64, i64* %107
%674 = load i64, i64* %108
%675 = add i64 %673, %674
store i64 %675, i64* %110
%676 = load i64, i64* %109
%677 = load i64, i64* %110
%678 = add i64 %676, %677
store i64 %678, i64* %112
%679 = load i64, i64* %111
%680 = load i64, i64* %112
%681 = add i64 %679, %680
store i64 %681, i64* %114
%682 = load i64, i64* %113
%683 = load i64, i64* %114
%684 = add i64 %682, %683
store i64 %684, i64* %115
%685 = load i64, i64* %115
%686 = and i64 %685, 288230376151711743
store i64 %686, i64* %205
%687 = load i64, i64* %115
%688 = lshr i64 %687, 58
store i64 %688, i64* %117
%689 = load i64, i64* %116
%690 = load i64, i64* %117
%691 = add i64 %689, %690
store i64 %691, i64* %119
%692 = load i64, i64* %118
%693 = load i64, i64* %119
%694 = add i64 %692, %693
store i64 %694, i64* %121
%695 = load i64, i64* %120
%696 = load i64, i64* %121
%697 = add i64 %695, %696
store i64 %697, i64* %123
%698 = load i64, i64* %122
%699 = load i64, i64* %123
%700 = add i64 %698, %699
store i64 %700, i64* %125
%701 = load i64, i64* %124
%702 = load i64, i64* %125
%703 = add i64 %701, %702
store i64 %703, i64* %127
%704 = load i64, i64* %126
%705 = load i64, i64* %127
%706 = add i64 %704, %705
store i64 %706, i64* %129
%707 = load i64, i64* %128
%708 = load i64, i64* %129
%709 = add i64 %707, %708
store i64 %709, i64* %206
%710 = load i64, i64* %130
%711 = load i64, i64* %131
%712 = add i64 %710, %711
store i64 %712, i64* %133
%713 = load i64, i64* %132
%714 = load i64, i64* %133
%715 = add i64 %713, %714
store i64 %715, i64* %135
%716 = load i64, i64* %134
%717 = load i64, i64* %135
%718 = add i64 %716, %717
store i64 %718, i64* %137
%719 = load i64, i64* %136
%720 = load i64, i64* %137
%721 = add i64 %719, %720
store i64 %721, i64* %139
%722 = load i64, i64* %138
%723 = load i64, i64* %139
%724 = add i64 %722, %723
store i64 %724, i64* %141
%725 = load i64, i64* %140
%726 = load i64, i64* %141
%727 = add i64 %725, %726
store i64 %727, i64* %143
%728 = load i64, i64* %142
%729 = load i64, i64* %143
%730 = add i64 %728, %729
store i64 %730, i64* %144
%731 = load i64, i64* %144
%732 = and i64 %731, 288230376151711743
store i64 %732, i64* %207
%733 = load i64, i64* %144
%734 = lshr i64 %733, 58
store i64 %734, i64* %146
%735 = load i64, i64* %145
%736 = load i64, i64* %146
%737 = add i64 %735, %736
store i64 %737, i64* %148
%738 = load i64, i64* %147
%739 = load i64, i64* %148
%740 = add i64 %738, %739
store i64 %740, i64* %150
%741 = load i64, i64* %149
%742 = load i64, i64* %150
%743 = add i64 %741, %742
store i64 %743, i64* %152
%744 = load i64, i64* %151
%745 = load i64, i64* %152
%746 = add i64 %744, %745
store i64 %746, i64* %154
%747 = load i64, i64* %153
%748 = load i64, i64* %154
%749 = add i64 %747, %748
store i64 %749, i64* %156
%750 = load i64, i64* %155
%751 = load i64, i64* %156
%752 = add i64 %750, %751
store i64 %752, i64* %158
%753 = load i64, i64* %157
%754 = load i64, i64* %158
%755 = add i64 %753, %754
store i64 %755, i64* %159
%756 = load i64, i64* %159
%757 = and i64 %756, 288230376151711743
store i64 %757, i64* %208
%758 = load i64, i64* %159
%759 = lshr i64 %758, 58
store i64 %759, i64* %161
%760 = load i64, i64* %160
%761 = load i64, i64* %161
%762 = add i64 %760, %761
store i64 %762, i64* %163
%763 = load i64, i64* %162
%764 = load i64, i64* %163
%765 = add i64 %763, %764
store i64 %765, i64* %165
%766 = load i64, i64* %164
%767 = load i64, i64* %165
%768 = add i64 %766, %767
store i64 %768, i64* %167
%769 = load i64, i64* %166
%770 = load i64, i64* %167
%771 = add i64 %769, %770
store i64 %771, i64* %169
%772 = load i64, i64* %168
%773 = load i64, i64* %169
%774 = add i64 %772, %773
store i64 %774, i64* %171
%775 = load i64, i64* %170
%776 = load i64, i64* %171
%777 = add i64 %775, %776
store i64 %777, i64* %173
%778 = load i64, i64* %172
%779 = load i64, i64* %173
%780 = add i64 %778, %779
store i64 %780, i64* %174
%781 = load i64, i64* %174
%782 = and i64 %781, 288230376151711743
store i64 %782, i64* %209
%783 = load i64, i64* %174
%784 = lshr i64 %783, 58
store i64 %784, i64* %176
%785 = load i64, i64* %175
%786 = load i64, i64* %176
%787 = add i64 %785, %786
store i64 %787, i64* %178
%788 = load i64, i64* %177
%789 = load i64, i64* %178
%790 = add i64 %788, %789
store i64 %790, i64* %180
%791 = load i64, i64* %179
%792 = load i64, i64* %180
%793 = add i64 %791, %792
store i64 %793, i64* %182
%794 = load i64, i64* %181
%795 = load i64, i64* %182
%796 = add i64 %794, %795
store i64 %796, i64* %184
%797 = load i64, i64* %183
%798 = load i64, i64* %184
%799 = add i64 %797, %798
store i64 %799, i64* %186
%800 = load i64, i64* %185
%801 = load i64, i64* %186
%802 = add i64 %800, %801
store i64 %802, i64* %188
%803 = load i64, i64* %187
%804 = load i64, i64* %188
%805 = add i64 %803, %804
store i64 %805, i64* %210
%806 = load i64, i64* %189
%807 = load i64, i64* %190
%808 = add i64 %806, %807
store i64 %808, i64* %192
%809 = load i64, i64* %191
%810 = load i64, i64* %192
%811 = add i64 %809, %810
store i64 %811, i64* %194
%812 = load i64, i64* %193
%813 = load i64, i64* %194
%814 = add i64 %812, %813
store i64 %814, i64* %196
%815 = load i64, i64* %195
%816 = load i64, i64* %196
%817 = add i64 %815, %816
store i64 %817, i64* %198
%818 = load i64, i64* %197
%819 = load i64, i64* %198
%820 = add i64 %818, %819
store i64 %820, i64* %200
%821 = load i64, i64* %199
%822 = load i64, i64* %200
%823 = add i64 %821, %822
store i64 %823, i64* %202
%824 = load i64, i64* %201
%825 = load i64, i64* %202
%826 = add i64 %824, %825
store i64 %826, i64* %211
%827 = load i64, i64* %203
store i64 %827, i64* %212
%828 = load i64, i64* %204
store i64 %828, i64* %213
%829 = load i64, i64* %205
store i64 %829, i64* %214
%830 = load i64, i64* %206
store i64 %830, i64* %215
%831 = load i64, i64* %207
store i64 %831, i64* %216
%832 = load i64, i64* %208
store i64 %832, i64* %217
%833 = load i64, i64* %209
store i64 %833, i64* %218
%834 = load i64, i64* %210
store i64 %834, i64* %219
%835 = load i64, i64* %211
store i64 %835, i64* %220
%836 = load i64, i64* %3
%837 = add i64 %836, 0
%838 = trunc i64 %837 to i32
%839 = load i64, i64* %212
%840 = call i32 @_br2_store(i32 %838, i64 %839, i32 8)
%841 = load i64, i64* %3
%842 = add i64 %841, 8
%843 = trunc i64 %842 to i32
%844 = load i64, i64* %213
%845 = call i32 @_br2_store(i32 %843, i64 %844, i32 8)
%846 = load i64, i64* %3
%847 = add i64 %846, 16
%848 = trunc i64 %847 to i32
%849 = load i64, i64* %214
%850 = call i32 @_br2_store(i32 %848, i64 %849, i32 8)
%851 = load i64, i64* %3
%852 = add i64 %851, 24
%853 = trunc i64 %852 to i32
%854 = load i64, i64* %215
%855 = call i32 @_br2_store(i32 %853, i64 %854, i32 8)
%856 = load i64, i64* %3
%857 = add i64 %856, 32
%858 = trunc i64 %857 to i32
%859 = load i64, i64* %216
%860 = call i32 @_br2_store(i32 %858, i64 %859, i32 8)
%861 = load i64, i64* %3
%862 = add i64 %861, 40
%863 = trunc i64 %862 to i32
%864 = load i64, i64* %217
%865 = call i32 @_br2_store(i32 %863, i64 %864, i32 8)
%866 = load i64, i64* %3
%867 = add i64 %866, 48
%868 = trunc i64 %867 to i32
%869 = load i64, i64* %218
%870 = call i32 @_br2_store(i32 %868, i64 %869, i32 8)
%871 = load i64, i64* %3
%872 = add i64 %871, 56
%873 = trunc i64 %872 to i32
%874 = load i64, i64* %219
%875 = call i32 @_br2_store(i32 %873, i64 %874, i32 8)
%876 = load i64, i64* %3
%877 = add i64 %876, 64
%878 = trunc i64 %877 to i32
%879 = load i64, i64* %220
%880 = call i32 @_br2_store(i32 %878, i64 %879, i32 8)
ret void
}

LLVM IR (-O2):
define void @internal_fiat_p521_from_bytes(i64 %0, i64 %1) {
%3 = trunc i64 %1 to i32
%4 = tail call i64 @_br2_load(i32 %3, i32 1)
%5 = add i32 %3, 1
%6 = tail call i64 @_br2_load(i32 %5, i32 1)
%7 = add i32 %3, 2
%8 = tail call i64 @_br2_load(i32 %7, i32 1)
%9 = add i32 %3, 3
%10 = tail call i64 @_br2_load(i32 %9, i32 1)
%11 = add i32 %3, 4
%12 = tail call i64 @_br2_load(i32 %11, i32 1)
%13 = add i32 %3, 5
%14 = tail call i64 @_br2_load(i32 %13, i32 1)
%15 = add i32 %3, 6
%16 = tail call i64 @_br2_load(i32 %15, i32 1)
%17 = add i32 %3, 7
%18 = tail call i64 @_br2_load(i32 %17, i32 1)
%19 = add i32 %3, 8
%20 = tail call i64 @_br2_load(i32 %19, i32 1)
%21 = add i32 %3, 9
%22 = tail call i64 @_br2_load(i32 %21, i32 1)
%23 = add i32 %3, 10
%24 = tail call i64 @_br2_load(i32 %23, i32 1)
%25 = add i32 %3, 11
%26 = tail call i64 @_br2_load(i32 %25, i32 1)
%27 = add i32 %3, 12
%28 = tail call i64 @_br2_load(i32 %27, i32 1)
%29 = add i32 %3, 13
%30 = tail call i64 @_br2_load(i32 %29, i32 1)
%31 = add i32 %3, 14
%32 = tail call i64 @_br2_load(i32 %31, i32 1)
%33 = add i32 %3, 15
%34 = tail call i64 @_br2_load(i32 %33, i32 1)
%35 = add i32 %3, 16
%36 = tail call i64 @_br2_load(i32 %35, i32 1)
%37 = add i32 %3, 17
%38 = tail call i64 @_br2_load(i32 %37, i32 1)
%39 = add i32 %3, 18
%40 = tail call i64 @_br2_load(i32 %39, i32 1)
%41 = add i32 %3, 19
%42 = tail call i64 @_br2_load(i32 %41, i32 1)
%43 = add i32 %3, 20
%44 = tail call i64 @_br2_load(i32 %43, i32 1)
%45 = add i32 %3, 21
%46 = tail call i64 @_br2_load(i32 %45, i32 1)
%47 = add i32 %3, 22
%48 = tail call i64 @_br2_load(i32 %47, i32 1)
%49 = add i32 %3, 23
%50 = tail call i64 @_br2_load(i32 %49, i32 1)
%51 = add i32 %3, 24
%52 = tail call i64 @_br2_load(i32 %51, i32 1)
%53 = add i32 %3, 25
%54 = tail call i64 @_br2_load(i32 %53, i32 1)
%55 = add i32 %3, 26
%56 = tail call i64 @_br2_load(i32 %55, i32 1)
%57 = add i32 %3, 27
%58 = tail call i64 @_br2_load(i32 %57, i32 1)
%59 = add i32 %3, 28
%60 = tail call i64 @_br2_load(i32 %59, i32 1)
%61 = add i32 %3, 29
%62 = tail call i64 @_br2_load(i32 %61, i32 1)
%63 = add i32 %3, 30
%64 = tail call i64 @_br2_load(i32 %63, i32 1)
%65 = add i32 %3, 31
%66 = tail call i64 @_br2_load(i32 %65, i32 1)
%67 = add i32 %3, 32
%68 = tail call i64 @_br2_load(i32 %67, i32 1)
%69 = add i32 %3, 33
%70 = tail call i64 @_br2_load(i32 %69, i32 1)
%71 = add i32 %3, 34
%72 = tail call i64 @_br2_load(i32 %71, i32 1)
%73 = add i32 %3, 35
%74 = tail call i64 @_br2_load(i32 %73, i32 1)
%75 = add i32 %3, 36
%76 = tail call i64 @_br2_load(i32 %75, i32 1)
%77 = add i32 %3, 37
%78 = tail call i64 @_br2_load(i32 %77, i32 1)
%79 = add i32 %3, 38
%80 = tail call i64 @_br2_load(i32 %79, i32 1)
%81 = add i32 %3, 39
%82 = tail call i64 @_br2_load(i32 %81, i32 1)
%83 = add i32 %3, 40
%84 = tail call i64 @_br2_load(i32 %83, i32 1)
%85 = add i32 %3, 41
%86 = tail call i64 @_br2_load(i32 %85, i32 1)
%87 = add i32 %3, 42
%88 = tail call i64 @_br2_load(i32 %87, i32 1)
%89 = add i32 %3, 43
%90 = tail call i64 @_br2_load(i32 %89, i32 1)
%91 = add i32 %3, 44
%92 = tail call i64 @_br2_load(i32 %91, i32 1)
%93 = add i32 %3, 45
%94 = tail call i64 @_br2_load(i32 %93, i32 1)
%95 = add i32 %3, 46
%96 = tail call i64 @_br2_load(i32 %95, i32 1)
%97 = add i32 %3, 47
%98 = tail call i64 @_br2_load(i32 %97, i32 1)
%99 = add i32 %3, 48
%100 = tail call i64 @_br2_load(i32 %99, i32 1)
%101 = add i32 %3, 49
%102 = tail call i64 @_br2_load(i32 %101, i32 1)
%103 = add i32 %3, 50
%104 = tail call i64 @_br2_load(i32 %103, i32 1)
%105 = add i32 %3, 51
%106 = tail call i64 @_br2_load(i32 %105, i32 1)
%107 = add i32 %3, 52
%108 = tail call i64 @_br2_load(i32 %107, i32 1)
%109 = add i32 %3, 53
%110 = tail call i64 @_br2_load(i32 %109, i32 1)
%111 = add i32 %3, 54
%112 = tail call i64 @_br2_load(i32 %111, i32 1)
%113 = add i32 %3, 55
%114 = tail call i64 @_br2_load(i32 %113, i32 1)
%115 = add i32 %3, 56
%116 = tail call i64 @_br2_load(i32 %115, i32 1)
%117 = add i32 %3, 57
%118 = tail call i64 @_br2_load(i32 %117, i32 1)
%119 = add i32 %3, 58
%120 = tail call i64 @_br2_load(i32 %119, i32 1)
%121 = add i32 %3, 59
%122 = tail call i64 @_br2_load(i32 %121, i32 1)
%123 = add i32 %3, 60
%124 = tail call i64 @_br2_load(i32 %123, i32 1)
%125 = add i32 %3, 61
%126 = tail call i64 @_br2_load(i32 %125, i32 1)
%127 = add i32 %3, 62
%128 = tail call i64 @_br2_load(i32 %127, i32 1)
%129 = add i32 %3, 63
%130 = tail call i64 @_br2_load(i32 %129, i32 1)
%131 = add i32 %3, 64
%132 = tail call i64 @_br2_load(i32 %131, i32 1)
%133 = add i32 %3, 65
%134 = tail call i64 @_br2_load(i32 %133, i32 1)
%135 = shl i64 %134, 56
%136 = shl i64 %132, 48
%137 = shl i64 %130, 40
%138 = shl i64 %128, 32
%139 = shl i64 %126, 24
%140 = shl i64 %124, 16
%141 = shl i64 %122, 8
%142 = shl i64 %118, 50
%143 = shl i64 %116, 42
%144 = shl i64 %114, 34
%145 = shl i64 %112, 26
%146 = shl i64 %110, 18
%147 = shl i64 %108, 10
%148 = shl i64 %106, 2
%149 = shl i64 %104, 52
%150 = shl i64 %102, 44
%151 = shl i64 %100, 36
%152 = shl i64 %98, 28
%153 = shl i64 %96, 20
%154 = shl i64 %94, 12
%155 = shl i64 %92, 4
%156 = shl i64 %90, 54
%157 = shl i64 %88, 46
%158 = shl i64 %86, 38
%159 = shl i64 %84, 30
%160 = shl i64 %82, 22
%161 = shl i64 %80, 14
%162 = shl i64 %76, 56
%163 = shl i64 %74, 48
%164 = shl i64 %72, 40
%165 = shl i64 %70, 32
%166 = shl i64 %68, 24
%167 = shl i64 %66, 16
%168 = shl i64 %64, 8
%169 = shl i64 %60, 50
%170 = shl i64 %58, 42
%171 = shl i64 %56, 34
%172 = shl i64 %54, 26
%173 = shl i64 %52, 18
%174 = shl i64 %50, 10
%175 = shl i64 %48, 2
%176 = shl i64 %46, 52
%177 = shl i64 %44, 44
%178 = shl i64 %42, 36
%179 = shl i64 %40, 28
%180 = shl i64 %38, 20
%181 = shl i64 %36, 12
%182 = shl i64 %34, 4
%183 = shl i64 %32, 54
%184 = shl i64 %30, 46
%185 = shl i64 %28, 38
%186 = shl i64 %26, 30
%187 = shl i64 %24, 22
%188 = shl i64 %22, 14
%189 = shl i64 %18, 56
%190 = shl i64 %16, 48
%191 = shl i64 %14, 40
%192 = shl i64 %12, 32
%193 = shl i64 %10, 24
%194 = shl i64 %8, 16
%195 = shl i64 %6, 8
%196 = add i64 %195, %4
%197 = add i64 %196, %194
%198 = add i64 %197, %193
%199 = add i64 %198, %192
%200 = add i64 %199, %191
%201 = add i64 %200, %190
%202 = add i64 %201, %189
%203 = and i64 %202, 288230376151711743
%204 = tail call i64 @llvm.fshl.i64(i64 %20, i64 %202, i64 6)
%205 = add i64 %188, %204
%206 = add i64 %205, %187
%207 = add i64 %206, %186
%208 = add i64 %207, %185
%209 = add i64 %208, %184
%210 = add i64 %209, %183
%211 = and i64 %210, 288230376151711743
%212 = lshr i64 %210, 58
%213 = add i64 %212, %182
%214 = add i64 %213, %181
%215 = add i64 %214, %180
%216 = add i64 %215, %179
%217 = add i64 %216, %178
%218 = add i64 %217, %177
%219 = add i64 %218, %176
%220 = and i64 %219, 288230376151711743
%221 = lshr i64 %219, 58
%222 = add i64 %174, %175
%223 = add i64 %222, %221
%224 = add i64 %223, %173
%225 = add i64 %224, %172
%226 = add i64 %225, %171
%227 = add i64 %226, %170
%228 = add i64 %227, %169
%229 = add i64 %168, %62
%230 = add i64 %229, %167
%231 = add i64 %230, %166
%232 = add i64 %231, %165
%233 = add i64 %232, %164
%234 = add i64 %233, %163
%235 = add i64 %234, %162
%236 = and i64 %235, 288230376151711743
%237 = tail call i64 @llvm.fshl.i64(i64 %78, i64 %235, i64 6)
%238 = add i64 %161, %237
%239 = add i64 %238, %160
%240 = add i64 %239, %159
%241 = add i64 %240, %158
%242 = add i64 %241, %157
%243 = add i64 %242, %156
%244 = and i64 %243, 288230376151711743
%245 = lshr i64 %243, 58
%246 = add i64 %245, %155
%247 = add i64 %246, %154
%248 = add i64 %247, %153
%249 = add i64 %248, %152
%250 = add i64 %249, %151
%251 = add i64 %250, %150
%252 = add i64 %251, %149
%253 = and i64 %252, 288230376151711743
%254 = lshr i64 %252, 58
%255 = add i64 %147, %148
%256 = add i64 %255, %254
%257 = add i64 %256, %146
%258 = add i64 %257, %145
%259 = add i64 %258, %144
%260 = add i64 %259, %143
%261 = add i64 %260, %142
%262 = add i64 %141, %120
%263 = add i64 %262, %140
%264 = add i64 %263, %139
%265 = add i64 %264, %138
%266 = add i64 %265, %137
%267 = add i64 %266, %136
%268 = add i64 %267, %135
%269 = trunc i64 %0 to i32
%270 = tail call i32 @_br2_store(i32 %269, i64 %203, i32 8)
%271 = add i32 %269, 8
%272 = tail call i32 @_br2_store(i32 %271, i64 %211, i32 8)
%273 = add i32 %269, 16
%274 = tail call i32 @_br2_store(i32 %273, i64 %220, i32 8)
%275 = add i32 %269, 24
%276 = tail call i32 @_br2_store(i32 %275, i64 %228, i32 8)
%277 = add i32 %269, 32
%278 = tail call i32 @_br2_store(i32 %277, i64 %236, i32 8)
%279 = add i32 %269, 40
%280 = tail call i32 @_br2_store(i32 %279, i64 %244, i32 8)
%281 = add i32 %269, 48
%282 = tail call i32 @_br2_store(i32 %281, i64 %253, i32 8)
%283 = add i32 %269, 56
%284 = tail call i32 @_br2_store(i32 %283, i64 %261, i32 8)
%285 = add i32 %269, 64
%286 = tail call i32 @_br2_store(i32 %285, i64 %268, i32 8)
ret void
}