// File: /workspace/github_cpp_makefile_star2_O2/Luthaf[P]zeopp/networkinfo.cc
// Function: initializeCovRadTable()
void initializeCovRadTable(){
//covRadTable.insert(pair <string,double> ("Symbol",  Covalent_Radius));
covRadTable.insert(pair <string,double> ("H",  0.23));
covRadTable.insert(pair <string,double> ("D",  0.23));
covRadTable.insert(pair <string,double> ("He",  1.5));
covRadTable.insert(pair <string,double> ("Li",  1.28));
covRadTable.insert(pair <string,double> ("Be",  0.96));
covRadTable.insert(pair <string,double> ("B",  0.83));
covRadTable.insert(pair <string,double> ("C",  0.68));
covRadTable.insert(pair <string,double> ("N",  0.68));
covRadTable.insert(pair <string,double> ("O",  0.68));
covRadTable.insert(pair <string,double> ("F",  0.64));
covRadTable.insert(pair <string,double> ("Ne",  1.5));
covRadTable.insert(pair <string,double> ("Na",  1.66));
covRadTable.insert(pair <string,double> ("Mg",  1.41));
covRadTable.insert(pair <string,double> ("Al",  1.21));
covRadTable.insert(pair <string,double> ("Si",  1.2));
covRadTable.insert(pair <string,double> ("P",  1.05));
covRadTable.insert(pair <string,double> ("S",  1.02));
covRadTable.insert(pair <string,double> ("Cl",  0.99));
covRadTable.insert(pair <string,double> ("Ar",  1.51));
covRadTable.insert(pair <string,double> ("K",  2.03));
covRadTable.insert(pair <string,double> ("Ca",  1.76));
covRadTable.insert(pair <string,double> ("Sc",  1.7));
covRadTable.insert(pair <string,double> ("Ti",  1.6));
covRadTable.insert(pair <string,double> ("V",  1.53));
covRadTable.insert(pair <string,double> ("Cr",  1.39));
covRadTable.insert(pair <string,double> ("Mn",  1.61));
covRadTable.insert(pair <string,double> ("Fe",  1.52));
covRadTable.insert(pair <string,double> ("Co",  1.26));
covRadTable.insert(pair <string,double> ("Ni",  1.24));
covRadTable.insert(pair <string,double> ("Cu",  1.32));
covRadTable.insert(pair <string,double> ("Zn",  1.22));
covRadTable.insert(pair <string,double> ("Ga",  1.22));
covRadTable.insert(pair <string,double> ("Ge",  1.17));
covRadTable.insert(pair <string,double> ("As",  1.21));
covRadTable.insert(pair <string,double> ("Se",  1.22));
covRadTable.insert(pair <string,double> ("Br",  1.21));
covRadTable.insert(pair <string,double> ("Kr",  1.5));
covRadTable.insert(pair <string,double> ("Rb",  2.2));
covRadTable.insert(pair <string,double> ("Sr",  1.95));
covRadTable.insert(pair <string,double> ("Y",  1.9));
covRadTable.insert(pair <string,double> ("Zr",  1.75));
covRadTable.insert(pair <string,double> ("Nb",  1.64));
covRadTable.insert(pair <string,double> ("Mo",  1.54));
covRadTable.insert(pair <string,double> ("Tc",  1.47));
covRadTable.insert(pair <string,double> ("Ru",  1.46));
covRadTable.insert(pair <string,double> ("Rh",  1.42));
covRadTable.insert(pair <string,double> ("Pd",  1.39));
covRadTable.insert(pair <string,double> ("Ag",  1.45));
covRadTable.insert(pair <string,double> ("Cd",  1.54));
covRadTable.insert(pair <string,double> ("In",  1.42));
covRadTable.insert(pair <string,double> ("Sn",  1.39));
covRadTable.insert(pair <string,double> ("Sb",  1.39));
covRadTable.insert(pair <string,double> ("Te",  1.47));
covRadTable.insert(pair <string,double> ("I",  1.4));
covRadTable.insert(pair <string,double> ("Xe",  1.5));
covRadTable.insert(pair <string,double> ("Cs",  2.44));
covRadTable.insert(pair <string,double> ("Ba",  2.15));
covRadTable.insert(pair <string,double> ("La",  2.07));
covRadTable.insert(pair <string,double> ("Ce",  2.04));
covRadTable.insert(pair <string,double> ("Pr",  2.03));
covRadTable.insert(pair <string,double> ("Nd",  2.01));
covRadTable.insert(pair <string,double> ("Pm",  1.99));
covRadTable.insert(pair <string,double> ("Sm",  1.98));
covRadTable.insert(pair <string,double> ("Eu",  1.98));
covRadTable.insert(pair <string,double> ("Gd",  1.96));
covRadTable.insert(pair <string,double> ("Tb",  1.94));
covRadTable.insert(pair <string,double> ("Dy",  1.92));
covRadTable.insert(pair <string,double> ("Ho",  1.92));
covRadTable.insert(pair <string,double> ("Er",  1.89));
covRadTable.insert(pair <string,double> ("Tm",  1.9));
covRadTable.insert(pair <string,double> ("Yb",  1.87));
covRadTable.insert(pair <string,double> ("Lu",  1.87));
covRadTable.insert(pair <string,double> ("Hf",  1.75));
covRadTable.insert(pair <string,double> ("Ta",  1.7));
covRadTable.insert(pair <string,double> ("W",  1.62));
covRadTable.insert(pair <string,double> ("Re",  1.51));
covRadTable.insert(pair <string,double> ("Os",  1.44));
covRadTable.insert(pair <string,double> ("Ir",  1.41));
covRadTable.insert(pair <string,double> ("Pt",  1.36));
covRadTable.insert(pair <string,double> ("Au",  1.36));
covRadTable.insert(pair <string,double> ("Hg",  1.32));
covRadTable.insert(pair <string,double> ("Tl",  1.45));
covRadTable.insert(pair <string,double> ("Pb",  1.46));
covRadTable.insert(pair <string,double> ("Bi",  1.48));
covRadTable.insert(pair <string,double> ("Po",  1.4));
covRadTable.insert(pair <string,double> ("At",  1.21));
covRadTable.insert(pair <string,double> ("Rn",  1.5));
covRadTable.insert(pair <string,double> ("Fr",  2.6));
covRadTable.insert(pair <string,double> ("Ra",  2.21));
covRadTable.insert(pair <string,double> ("Ac",  2.15));
covRadTable.insert(pair <string,double> ("Th",  2.06));
covRadTable.insert(pair <string,double> ("Pa",  2));
covRadTable.insert(pair <string,double> ("U",  1.96));
covRadTable.insert(pair <string,double> ("Np",  1.9));
covRadTable.insert(pair <string,double> ("Pu",  1.87));
covRadTable.insert(pair <string,double> ("Am",  1.8));
covRadTable.insert(pair <string,double> ("Cm",  1.69));
covRadTable.insert(pair <string,double> ("Bk",  1.54));
covRadTable.insert(pair <string,double> ("Cf",  1.83));
covRadTable.insert(pair <string,double> ("Es",  1.5));
covRadTable.insert(pair <string,double> ("Fm",  1.5));
covRadTable.insert(pair <string,double> ("Md",  1.5));
covRadTable.insert(pair <string,double> ("No",  1.5));
covRadTable.insert(pair <string,double> ("Lr",  1.5));
covRadTable.insert(pair <string,double> ("Rf",  1.5));
covRadTable.insert(pair <string,double> ("Db",  1.5));
covRadTable.insert(pair <string,double> ("Sg",  1.5));
covRadTable.insert(pair <string,double> ("Bh",  1.5));
covRadTable.insert(pair <string,double> ("Hs",  1.5));
covRadTable.insert(pair <string,double> ("Mt",  1.5));
covRadTable.insert(pair <string,double> ("Ds",  1.5));
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x38, %rsp
movabsq $0x3fcd70a3d70a3d71, %r14 # imm = 0x3FCD70A3D70A3D71
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xf3676(%rip), %rsi     # 0x106124
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13da46(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xf23b7(%rip), %rsi     # 0x104e9a
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13da11(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff8000000000000, %r14 # imm = 0x3FF8000000000000
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe9cb3(%rip), %rsi     # 0xfc7d5
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d9d2(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff47ae147ae147b, %rax # imm = 0x3FF47AE147AE147B
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9c77(%rip), %rsi     # 0xfc7d8
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d993(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3feeb851eb851eb8, %rax # imm = 0x3FEEB851EB851EB8
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9c3b(%rip), %rsi     # 0xfc7db
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d954(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fea8f5c28f5c28f, %rax # imm = 0x3FEA8F5C28F5C28F
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9bff(%rip), %rsi     # 0xfc7de
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d915(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fe5c28f5c28f5c3, %r15 # imm = 0x3FE5C28F5C28F5C3
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xf3920(%rip), %rsi     # 0x10653e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d8d6(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xea2fc(%rip), %rsi     # 0xfcf4f
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d8a1(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xe9b58(%rip), %rsi     # 0xfc7e0
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d86c(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fe47ae147ae147b, %rax # imm = 0x3FE47AE147AE147B
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xf375a(%rip), %rsi     # 0x106421
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d82d(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe9ae6(%rip), %rsi     # 0xfc7e2
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d7f8(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffa8f5c28f5c28f, %rax # imm = 0x3FFA8F5C28F5C28F
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9aaa(%rip), %rsi     # 0xfc7e5
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d7b9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff68f5c28f5c28f, %rax # imm = 0x3FF68F5C28F5C28F
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9a6e(%rip), %rsi     # 0xfc7e8
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d77a(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff35c28f5c28f5c, %r13 # imm = 0x3FF35C28F5C28F5C
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xef325(%rip), %rsi     # 0x1020de
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d73b(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff3333333333333, %rax # imm = 0x3FF3333333333333
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe99f3(%rip), %rsi     # 0xfc7eb
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d6fc(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff0cccccccccccd, %rax # imm = 0x3FF0CCCCCCCCCCCD
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xf23e7(%rip), %rsi     # 0x10521e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d6bd(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff051eb851eb852, %rax # imm = 0x3FF051EB851EB852
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xf23bf(%rip), %rsi     # 0x105235
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d67e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fefae147ae147ae, %rax # imm = 0x3FEFAE147AE147AE
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9939(%rip), %rsi     # 0xfc7ee
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d63f(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff828f5c28f5c29, %rax # imm = 0x3FF828F5C28F5C29
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe98fd(%rip), %rsi     # 0xfc7f1
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d600(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x40003d70a3d70a3d, %rbp # imm = 0x40003D70A3D70A3D
leaq 0x8(%rsp), %rdx
movq %rbp, (%rdx)
leaq 0xe98c1(%rip), %rsi     # 0xfc7f4
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d5c1(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffc28f5c28f5c29, %rax # imm = 0x3FFC28F5C28F5C29
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9884(%rip), %rsi     # 0xfc7f6
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d582(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffb333333333333, %rax # imm = 0x3FFB333333333333
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9848(%rip), %rsi     # 0xfc7f9
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d543(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff999999999999a, %rax # imm = 0x3FF999999999999A
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe980c(%rip), %rsi     # 0xfc7fc
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d504(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff87ae147ae147b, %rax # imm = 0x3FF87AE147AE147B
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xf3518(%rip), %rsi     # 0x106547
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d4c5(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff63d70a3d70a3d, %r15 # imm = 0x3FF63D70A3D70A3D
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xe9791(%rip), %rsi     # 0xfc7ff
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d486(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff9c28f5c28f5c3, %rax # imm = 0x3FF9C28F5C28F5C3
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9755(%rip), %rsi     # 0xfc802
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d447(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff851eb851eb852, %rax # imm = 0x3FF851EB851EB852
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9719(%rip), %rsi     # 0xfc805
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d408(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff428f5c28f5c29, %rax # imm = 0x3FF428F5C28F5C29
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe96dd(%rip), %rsi     # 0xfc808
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d3c9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff3d70a3d70a3d7, %rax # imm = 0x3FF3D70A3D70A3D7
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe96a1(%rip), %rsi     # 0xfc80b
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d38a(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff51eb851eb851f, %rax # imm = 0x3FF51EB851EB851F
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9665(%rip), %rsi     # 0xfc80e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d34b(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff3851eb851eb85, %r12 # imm = 0x3FF3851EB851EB85
leaq 0x8(%rsp), %rdx
movq %r12, (%rdx)
leaq 0xe9629(%rip), %rsi     # 0xfc811
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d30c(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r12, (%rdx)
leaq 0xe95f7(%rip), %rsi     # 0xfc814
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d2d7(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff2b851eb851eb8, %rax # imm = 0x3FF2B851EB851EB8
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe95bb(%rip), %rsi     # 0xfc817
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d298(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe9589(%rip), %rsi     # 0xfc81a
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d263(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r12, (%rdx)
leaq 0xe9557(%rip), %rsi     # 0xfc81d
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d22e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe9525(%rip), %rsi     # 0xfc820
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d1f9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe94f3(%rip), %rsi     # 0xfc823
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d1c4(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x400199999999999a, %rax # imm = 0x400199999999999A
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe94b7(%rip), %rsi     # 0xfc826
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d185(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fff333333333333, %rax # imm = 0x3FFF333333333333
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe947b(%rip), %rsi     # 0xfc829
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d146(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffe666666666666, %rax # imm = 0x3FFE666666666666
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9d02(%rip), %rsi     # 0xfd0ef
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13d107(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffc000000000000, %rax # imm = 0x3FFC000000000000
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9400(%rip), %rsi     # 0xfc82c
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d0c8(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffa3d70a3d70a3d, %rax # imm = 0x3FFA3D70A3D70A3D
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe93c4(%rip), %rsi     # 0xfc82f
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d089(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff8a3d70a3d70a4, %rax # imm = 0x3FF8A3D70A3D70A4
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9388(%rip), %rsi     # 0xfc832
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d04a(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff7851eb851eb85, %r13 # imm = 0x3FF7851EB851EB85
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe934c(%rip), %rsi     # 0xfc835
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13d00b(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
movq %rbp, %r12
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff75c28f5c28f5c, %rax # imm = 0x3FF75C28F5C28F5C
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe930d(%rip), %rsi     # 0xfc838
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cfc9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff6b851eb851eb8, %rbp # imm = 0x3FF6B851EB851EB8
leaq 0x8(%rsp), %rdx
movq %rbp, (%rdx)
leaq 0xe92d1(%rip), %rsi     # 0xfc83b
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cf8a(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xe929f(%rip), %rsi     # 0xfc83e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cf55(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff7333333333333, %rax # imm = 0x3FF7333333333333
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9263(%rip), %rsi     # 0xfc841
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cf16(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff8a3d70a3d70a4, %rax # imm = 0x3FF8A3D70A3D70A4
movq %rax, (%rdx)
leaq 0xe9227(%rip), %rsi     # 0xfc844
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13ced7(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %rbp, (%rdx)
leaq 0xe91f5(%rip), %rsi     # 0xfc847
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cea2(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xe91c3(%rip), %rsi     # 0xfc84a
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13ce6d(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
movq %r12, %rbp
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xe918e(%rip), %rsi     # 0xfc84d
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13ce35(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe915c(%rip), %rsi     # 0xfc850
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13ce00(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff6666666666666, %r15 # imm = 0x3FF6666666666666
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xfa819(%rip), %rsi     # 0x10df4c
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13cdc1(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe90eb(%rip), %rsi     # 0xfc853
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cd8c(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x4003851eb851eb85, %rax # imm = 0x4003851EB851EB85
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe90af(%rip), %rsi     # 0xfc856
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cd4d(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x4001333333333333, %r12 # imm = 0x4001333333333333
leaq 0x8(%rsp), %rdx
movq %r12, (%rdx)
leaq 0xe9073(%rip), %rsi     # 0xfc859
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cd0e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x40008f5c28f5c28f, %rax # imm = 0x40008F5C28F5C28F
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe9037(%rip), %rsi     # 0xfc85c
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cccf(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x400051eb851eb852, %rax # imm = 0x400051EB851EB852
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8ffb(%rip), %rsi     # 0xfc85f
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cc90(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %rbp, (%rdx)
leaq 0xe8fc9(%rip), %rsi     # 0xfc862
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cc5b(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x4000147ae147ae14, %rax # imm = 0x4000147AE147AE14
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8f8d(%rip), %rsi     # 0xfc865
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cc1c(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fffd70a3d70a3d7, %rax # imm = 0x3FFFD70A3D70A3D7
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8f51(%rip), %rsi     # 0xfc868
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cbdd(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fffae147ae147ae, %r13 # imm = 0x3FFFAE147AE147AE
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8f15(%rip), %rsi     # 0xfc86b
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cb9e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8ee3(%rip), %rsi     # 0xfc86e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cb69(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fff5c28f5c28f5c, %rbp # imm = 0x3FFF5C28F5C28F5C
leaq 0x8(%rsp), %rdx
movq %rbp, (%rdx)
leaq 0xe8ea7(%rip), %rsi     # 0xfc871
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13cb2a(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3fff0a3d70a3d70a, %rax # imm = 0x3FFF0A3D70A3D70A
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8e6b(%rip), %rsi     # 0xfc874
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13caeb(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffeb851eb851eb8, %r13 # imm = 0x3FFEB851EB851EB8
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8e2f(%rip), %rsi     # 0xfc877
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13caac(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8dfd(%rip), %rsi     # 0xfc87a
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13ca77(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffe3d70a3d70a3d, %rax # imm = 0x3FFE3D70A3D70A3D
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8dc1(%rip), %rsi     # 0xfc87d
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13ca38(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ffe666666666666, %rax # imm = 0x3FFE666666666666
movq %rax, (%rdx)
leaq 0xe8d85(%rip), %rsi     # 0xfc880
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c9f9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffdeb851eb851ec, %r13 # imm = 0x3FFDEB851EB851EC
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8d49(%rip), %rsi     # 0xfc883
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c9ba(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8d17(%rip), %rsi     # 0xfc886
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c985(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ffc000000000000, %rax # imm = 0x3FFC000000000000
movq %rax, (%rdx)
leaq 0xe8cdb(%rip), %rsi     # 0xfc889
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c946(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ffb333333333333, %rax # imm = 0x3FFB333333333333
movq %rax, (%rdx)
leaq 0xe8c9f(%rip), %rsi     # 0xfc88c
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c907(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff9eb851eb851ec, %rax # imm = 0x3FF9EB851EB851EC
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xf1272(%rip), %rsi     # 0x104e9e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13c8c8(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
movq %rbp, %r13
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff828f5c28f5c29, %rax # imm = 0x3FF828F5C28F5C29
movq %rax, (%rdx)
leaq 0xe8c21(%rip), %rsi     # 0xfc88f
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c886(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
movq %r15, %rbp
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff70a3d70a3d70a, %rax # imm = 0x3FF70A3D70A3D70A
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8be2(%rip), %rsi     # 0xfc892
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c844(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
movq %r12, %r15
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff68f5c28f5c28f, %rax # imm = 0x3FF68F5C28F5C28F
movq %rax, (%rdx)
leaq 0xe8ba3(%rip), %rsi     # 0xfc895
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c802(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff5c28f5c28f5c3, %r12 # imm = 0x3FF5C28F5C28F5C3
leaq 0x8(%rsp), %rdx
movq %r12, (%rdx)
leaq 0xe8b67(%rip), %rsi     # 0xfc898
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c7c3(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r12, (%rdx)
leaq 0xe8b35(%rip), %rsi     # 0xfc89b
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c78e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff51eb851eb851f, %rax # imm = 0x3FF51EB851EB851F
movq %rax, (%rdx)
leaq 0xe8af9(%rip), %rsi     # 0xfc89e
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c74f(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff7333333333333, %rax # imm = 0x3FF7333333333333
movq %rax, (%rdx)
leaq 0xe8abd(%rip), %rsi     # 0xfc8a1
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c710(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff75c28f5c28f5c, %rax # imm = 0x3FF75C28F5C28F5C
movq %rax, (%rdx)
leaq 0xe8a81(%rip), %rsi     # 0xfc8a4
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c6d1(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ff7ae147ae147ae, %rax # imm = 0x3FF7AE147AE147AE
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8a45(%rip), %rsi     # 0xfc8a7
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c692(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %rbp, (%rdx)
leaq 0xe8a13(%rip), %rsi     # 0xfc8aa
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c65d(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff35c28f5c28f5c, %rax # imm = 0x3FF35C28F5C28F5C
movq %rax, (%rdx)
leaq 0xe89d7(%rip), %rsi     # 0xfc8ad
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c61e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe89a5(%rip), %rsi     # 0xfc8b0
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c5e9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x4004cccccccccccd, %rax # imm = 0x4004CCCCCCCCCCCD
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8969(%rip), %rsi     # 0xfc8b3
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c5aa(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x4001ae147ae147ae, %rax # imm = 0x4001AE147AE147AE
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe892d(%rip), %rsi     # 0xfc8b6
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c56b(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r15, (%rdx)
leaq 0xe88fb(%rip), %rsi     # 0xfc8b9
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c536(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x40007ae147ae147b, %rax # imm = 0x40007AE147AE147B
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe88bf(%rip), %rsi     # 0xfc8bc
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c4f7(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movl $0x2, (%rdx)
leaq 0xe888a(%rip), %rsi     # 0xfc8bf
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b718
leaq 0x13c4bf(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r13, (%rdx)
leaq 0xe8858(%rip), %rsi     # 0xfc8c2
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6cc
leaq 0x13c48a(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ffe666666666666, %rax # imm = 0x3FFE666666666666
movq %rax, (%rdx)
leaq 0xe881b(%rip), %rsi     # 0xfc8c4
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c44b(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
movabsq $0x3ffdeb851eb851ec, %rbx # imm = 0x3FFDEB851EB851EC
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %rbx, (%rdx)
leaq 0xe87df(%rip), %rsi     # 0xfc8c7
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c40c(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffccccccccccccd, %rax # imm = 0x3FFCCCCCCCCCCCCD
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe87a3(%rip), %rsi     # 0xfc8ca
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c3cd(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffb0a3d70a3d70a, %rax # imm = 0x3FFB0A3D70A3D70A
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe8767(%rip), %rsi     # 0xfc8cd
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c38e(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movabsq $0x3ff8a3d70a3d70a4, %rax # imm = 0x3FF8A3D70A3D70A4
movq %rax, (%rdx)
leaq 0xe872b(%rip), %rsi     # 0xfc8d0
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c34f(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
movabsq $0x3ffd47ae147ae148, %rax # imm = 0x3FFD47AE147AE148
leaq 0x8(%rsp), %rdx
movq %rax, (%rdx)
leaq 0xe86ef(%rip), %rsi     # 0xfc8d3
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c310(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe86bd(%rip), %rsi     # 0xfc8d6
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c2db(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe868b(%rip), %rsi     # 0xfc8d9
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c2a6(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe8659(%rip), %rsi     # 0xfc8dc
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c271(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe8627(%rip), %rsi     # 0xfc8df
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c23c(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe85f5(%rip), %rsi     # 0xfc8e2
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c207(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe85c3(%rip), %rsi     # 0xfc8e5
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c1d2(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe8591(%rip), %rsi     # 0xfc8e8
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c19d(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe855f(%rip), %rsi     # 0xfc8eb
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c168(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe852d(%rip), %rsi     # 0xfc8ee
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c133(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe84fb(%rip), %rsi     # 0xfc8f1
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c0fe(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe84c9(%rip), %rsi     # 0xfc8f4
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c0c9(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
leaq 0x8(%rsp), %rdx
movq %r14, (%rdx)
leaq 0xe8497(%rip), %rsi     # 0xfc8f7
leaq 0x10(%rsp), %rbx
movq %rbx, %rdi
callq 0x1b6f2
leaq 0x13c094(%rip), %rdi    # 0x150508
movq %rbx, %rsi
callq 0x1ba70
leaq 0x10(%rsp), %rdi
callq 0x4210
addq $0x38, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
jmp 0x145fb
movq %rax, %rbx
leaq 0x10(%rsp), %rdi
callq 0x4210
movq %rbx, %rdi
callq 0x4780