// File: /workspace/github_cpp_makefile_star2_O3/jswaff[P]prophet3/test/hash__test.cpp
// Function: test_hash_keys1()
void test_hash_keys1() {
    position pos;
    reset_pos(&pos);

    apply_move(&pos,to_move(PAWN,E2,E4),gundos);

    uint64 keys[20];
    int nkeys = 0;

    position pos2;
    set_pos(&pos2,"rnbqkbnr/pppppppp/8/8/4P3/8/PPPP1PPP/RNBQKBNR b KQkq e3 0 1");
    uint64 key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(PAWN,C7,C5),gundos);
    set_pos(&pos2,"rnbqkbnr/pp1ppppp/8/2p5/4P3/8/PPPP1PPP/RNBQKBNR w KQkq c6 0 2");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(KNIGHT,G1,F3),gundos);
    set_pos(&pos2,"rnbqkbnr/pp1ppppp/8/2p5/4P3/5N2/PPPP1PPP/RNBQKB1R b KQkq - 1 2");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(QUEEN,D8,A5),gundos);
    set_pos(&pos2,"rnb1kbnr/pp1ppppp/8/q1p5/4P3/5N2/PPPP1PPP/RNBQKB1R w KQkq - 2 3");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(BISHOP,F1,E2),gundos);
    set_pos(&pos2,"rnb1kbnr/pp1ppppp/8/q1p5/4P3/5N2/PPPPBPPP/RNBQK2R b KQkq - 3 3");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_capture(QUEEN,A5,D2,PAWN),gundos);
    set_pos(&pos2,"rnb1kbnr/pp1ppppp/8/2p5/4P3/5N2/PPPqBPPP/RNBQK2R w KQkq - 0 4");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_capture(KNIGHT,B1,D2,QUEEN),gundos);
    set_pos(&pos2,"rnb1kbnr/pp1ppppp/8/2p5/4P3/5N2/PPPNBPPP/R1BQK2R b KQkq - 0 4");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(PAWN,C5,C4),gundos);
    set_pos(&pos2,"rnb1kbnr/pp1ppppp/8/8/2p1P3/5N2/PPPNBPPP/R1BQK2R w KQkq - 0 5");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    move mv = to_move(KING,E1,G1);
    set_castle(&mv);
    apply_move(&pos,mv,gundos);
    set_pos(&pos2,"rnb1kbnr/pp1ppppp/8/8/2p1P3/5N2/PPPNBPPP/R1BQ1RK1 b kq - 0 5");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(KING,E8,D8),gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/2p1P3/5N2/PPPNBPPP/R1BQ1RK1 w - - 1 6");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(PAWN,B2,B4),gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/1Pp1P3/5N2/P1PNBPPP/R1BQ1RK1 b - b3 0 6");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    mv = to_move(PAWN,C4,B3);
    set_epcapture(&mv);
    apply_move(&pos,mv,gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/4P3/1p3N2/P1PNBPPP/R1BQ1RK1 w - - 0 7");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(ROOK,F1,E1),gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/4P3/1p3N2/P1PNBPPP/R1BQR1K1 b - - 1 7");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(PAWN,B3,B2),gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/4P3/5N2/PpPNBPPP/R1BQR1K1 w - - 0 8");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    apply_move(&pos,to_move(KING,G1,H1),gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/4P3/5N2/PpPNBPPP/R1BQR2K b - - 1 8");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
    keys[nkeys++] = key;

    mv = to_capture(PAWN,B2,A1,ROOK);
    set_promopiece(&mv,KNIGHT);
    apply_move(&pos,mv,gundos);
    set_pos(&pos2,"rnbk1bnr/pp1ppppp/8/8/4P3/5N2/P1PNBPPP/n1BQR2K w - - 0 9");
    key = build_hash_key(&pos);
    assert(key==build_hash_key(&pos2));
    assert(!contains_key(key,keys,nkeys));
}

// Assembly:
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x440, %rsp            # imm = 0x440
leaq 0x278(%rsp), %rbx
movq %rbx, %rdi
callq 0xaa51
movl $0x1, %edi
movl $0x34, %esi
movl $0x24, %edx
callq 0x775c
leaq 0xb3532(%rip), %rdx     # 0xc8af0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17f23(%rip), %rsi     # 0x2d4f3
leaq 0xb0(%rsp), %r14
movq %r14, %rdi
callq 0xaa82
movq %rbx, %rdi
callq 0x5ee8
movq %rax, %rbx
movq %r14, %rdi
callq 0x5ee8
cmpq %rax, %rbx
jne 0x16020
movq %rbx, 0x10(%rsp)
movl $0x1, %edi
movl $0xa, %esi
movl $0x1a, %edx
callq 0x775c
leaq 0xb34d4(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17f25(%rip), %rsi     # 0x2d55b
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x1603f
cmpq %r14, %rbx
je 0x1605e
movq %r14, 0x18(%rsp)
movl $0x2, %edi
movl $0x3e, %esi
movl $0x2d, %edx
callq 0x775c
leaq 0xb3465(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r15
movq %r15, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17ef4(%rip), %rsi     # 0x2d599
leaq 0xb0(%rsp), %r12
movq %r12, %rdi
callq 0xaa82
movq %r15, %rdi
callq 0x5ee8
movq %rax, %r15
movq %r12, %rdi
callq 0x5ee8
cmpq %rax, %r15
jne 0x1607d
cmpq %r15, %rbx
je 0x1609c
cmpq %r15, %r14
je 0x1609c
movq %r15, 0x20(%rsp)
movl $0x5, %edi
movl $0x3, %esi
movl $0x18, %edx
callq 0x775c
leaq 0xb33ed(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r12
movq %r12, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17ed1(%rip), %rsi     # 0x2d5ee
leaq 0xb0(%rsp), %r13
movq %r13, %rdi
callq 0xaa82
movq %r12, %rdi
callq 0x5ee8
movq %rax, %r12
movq %r13, %rdi
callq 0x5ee8
cmpq %rax, %r12
jne 0x160bb
cmpq %r12, %rbx
je 0x160da
cmpq %r12, %r14
je 0x160da
cmpq %r12, %r15
je 0x160da
movq %r12, 0x28(%rsp)
movl $0x3, %edi
movl $0x3d, %esi
movl $0x34, %edx
callq 0x775c
leaq 0xb336c(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17ea6(%rip), %rsi     # 0x2d644
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x160f9
cmpq %r14, %rbx
je 0x15eac
movq $-0x1, %rax
cmpq $0x2, %rax
je 0x157f8
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x157da
cmpq $0x2, %rcx
jbe 0x15eac
movq %r14, 0x30(%rsp)
movl $0x5, %edi
movl $0x18, %esi
movl $0x33, %edx
movl $0x1, %ecx
callq 0x777b
leaq 0xb32d3(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17e4c(%rip), %rsi     # 0x2d683
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x16118
cmpq %r14, %rbx
je 0x15ecb
movq $-0x1, %rax
cmpq $0x3, %rax
je 0x15891
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15873
cmpq $0x3, %rcx
jbe 0x15ecb
movq %r14, 0x38(%rsp)
movl $0x2, %edi
movl $0x39, %esi
movl $0x33, %edx
movl $0x5, %ecx
callq 0x777b
leaq 0xb323a(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17df1(%rip), %rsi     # 0x2d6c1
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x16137
cmpq %r14, %rbx
je 0x15eea
movq $-0x1, %rax
cmpq $0x4, %rax
je 0x1592a
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x1590c
cmpq $0x4, %rcx
jbe 0x15eea
movq %r14, 0x40(%rsp)
movl $0x1, %edi
movl $0x1a, %esi
movl $0x22, %edx
callq 0x775c
leaq 0xb31a6(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17d9b(%rip), %rsi     # 0x2d6ff
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x16156
cmpq %r14, %rbx
je 0x15f09
movq $-0x1, %rax
cmpq $0x5, %rax
je 0x159be
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x159a0
cmpq $0x5, %rcx
jbe 0x15f09
movq %r14, 0x48(%rsp)
movl $0x6, %edi
movl $0x3c, %esi
movl $0x3e, %edx
callq 0x775c
leaq 0x8(%rsp), %r14
movq %rax, (%r14)
movq %r14, %rdi
callq 0x784f
movq (%r14), %rsi
leaq 0xb30ff(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
callq 0x30e1
leaq 0x17d35(%rip), %rsi     # 0x2d73d
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x16175
cmpq %r14, %rbx
je 0x15f28
movq $-0x1, %rax
cmpq $0x6, %rax
je 0x15a62
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15a44
cmpq $0x6, %rcx
jbe 0x15f28
movq %r14, 0x50(%rsp)
movl $0x6, %edi
movl $0x4, %esi
movl $0x3, %edx
callq 0x775c
leaq 0xb306e(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17cde(%rip), %rsi     # 0x2d77a
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x16194
cmpq %r14, %rbx
je 0x15f47
movq $-0x1, %rax
cmpq $0x7, %rax
je 0x15af6
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15ad8
cmpq $0x7, %rcx
jbe 0x15f47
movq %r14, 0x58(%rsp)
movl $0x1, %edi
movl $0x31, %esi
movl $0x21, %edx
callq 0x775c
leaq 0xb2fda(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17c86(%rip), %rsi     # 0x2d7b6
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x161b3
cmpq %r14, %rbx
je 0x15f66
movq $-0x1, %rax
cmpq $0x8, %rax
je 0x15b8a
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15b6c
cmpq $0x8, %rcx
jbe 0x15f66
movq %r14, 0x60(%rsp)
movl $0x1, %edi
movl $0x22, %esi
movl $0x29, %edx
callq 0x775c
leaq 0x8(%rsp), %r14
movq %rax, (%r14)
movq %r14, %rdi
callq 0x783b
movq (%r14), %rsi
leaq 0xb2f33(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
callq 0x30e1
leaq 0x17c20(%rip), %rsi     # 0x2d7f4
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x161d2
cmpq %r14, %rbx
je 0x15f85
movq $-0x1, %rax
cmpq $0x9, %rax
je 0x15c2e
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15c10
cmpq $0x9, %rcx
jbe 0x15f85
movq %r14, 0x68(%rsp)
movl $0x4, %edi
movl $0x3d, %esi
movl $0x3c, %edx
callq 0x775c
leaq 0xb2ea2(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17bc8(%rip), %rsi     # 0x2d830
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x161f1
cmpq %r14, %rbx
je 0x15fa4
movq $-0x1, %rax
cmpq $0xa, %rax
je 0x15cc2
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15ca4
cmpq $0xa, %rcx
jbe 0x15fa4
movq %r14, 0x70(%rsp)
movl $0x1, %edi
movl $0x29, %esi
movl $0x31, %edx
callq 0x775c
leaq 0xb2e0e(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17b70(%rip), %rsi     # 0x2d86c
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x16210
cmpq %r14, %rbx
je 0x15fc3
movq $-0x1, %rax
cmpq $0xb, %rax
je 0x15d56
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15d38
cmpq $0xb, %rcx
jbe 0x15fc3
movq %r14, 0x78(%rsp)
movl $0x6, %edi
movl $0x3e, %esi
movl $0x3f, %edx
callq 0x775c
leaq 0xb2d7a(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
movq %rax, %rsi
callq 0x30e1
leaq 0x17b16(%rip), %rsi     # 0x2d8a6
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x1622f
cmpq %r14, %rbx
je 0x15fe2
movq $-0x1, %rax
cmpq $0xc, %rax
je 0x15dea
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15dcc
cmpq $0xc, %rcx
jbe 0x15fe2
movq %r14, 0x80(%rsp)
movl $0x1, %edi
movl $0x31, %esi
movl $0x38, %edx
movl $0x4, %ecx
callq 0x777b
leaq 0x8(%rsp), %r14
movq %rax, (%r14)
movq %r14, %rdi
movl $0x2, %esi
callq 0x7824
movq (%r14), %rsi
leaq 0xb2cc6(%rip), %rdx     # 0xc8af0
leaq 0x278(%rsp), %r14
movq %r14, %rdi
callq 0x30e1
leaq 0x17a9e(%rip), %rsi     # 0x2d8df
leaq 0xb0(%rsp), %r15
movq %r15, %rdi
callq 0xaa82
movq %r14, %rdi
callq 0x5ee8
movq %rax, %r14
movq %r15, %rdi
callq 0x5ee8
cmpq %rax, %r14
jne 0x1624e
cmpq %r14, %rbx
je 0x16001
movq $-0x1, %rax
cmpq $0xd, %rax
je 0x15e9b
leaq 0x1(%rax), %rcx
cmpq %r14, 0x20(%rsp,%rax,8)
movq %rcx, %rax
jne 0x15e7d
cmpq $0xd, %rcx
jbe 0x16001
addq $0x440, %rsp            # imm = 0x440
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
retq
leaq 0x1bd1d(%rip), %rdi     # 0x31bd0
leaq 0x1bceb(%rip), %rsi     # 0x31ba5
leaq 0x1bcf8(%rip), %rcx     # 0x31bb9
movl $0x42, %edx
callq 0x20d0
leaq 0x1bcfe(%rip), %rdi     # 0x31bd0
leaq 0x1bccc(%rip), %rsi     # 0x31ba5
leaq 0x1bcd9(%rip), %rcx     # 0x31bb9
movl $0x49, %edx
callq 0x20d0
leaq 0x1bcdf(%rip), %rdi     # 0x31bd0
leaq 0x1bcad(%rip), %rsi     # 0x31ba5
leaq 0x1bcba(%rip), %rcx     # 0x31bb9
movl $0x50, %edx
callq 0x20d0
leaq 0x1bcc0(%rip), %rdi     # 0x31bd0
leaq 0x1bc8e(%rip), %rsi     # 0x31ba5
leaq 0x1bc9b(%rip), %rcx     # 0x31bb9
movl $0x57, %edx
callq 0x20d0
leaq 0x1bca1(%rip), %rdi     # 0x31bd0
leaq 0x1bc6f(%rip), %rsi     # 0x31ba5
leaq 0x1bc7c(%rip), %rcx     # 0x31bb9
movl $0x60, %edx
callq 0x20d0
leaq 0x1bc82(%rip), %rdi     # 0x31bd0
leaq 0x1bc50(%rip), %rsi     # 0x31ba5
leaq 0x1bc5d(%rip), %rcx     # 0x31bb9
movl $0x67, %edx
callq 0x20d0
leaq 0x1bc63(%rip), %rdi     # 0x31bd0
leaq 0x1bc31(%rip), %rsi     # 0x31ba5
leaq 0x1bc3e(%rip), %rcx     # 0x31bb9
movl $0x6e, %edx
callq 0x20d0
leaq 0x1bc44(%rip), %rdi     # 0x31bd0
leaq 0x1bc12(%rip), %rsi     # 0x31ba5
leaq 0x1bc1f(%rip), %rcx     # 0x31bb9
movl $0x77, %edx
callq 0x20d0
leaq 0x1bc25(%rip), %rdi     # 0x31bd0
leaq 0x1bbf3(%rip), %rsi     # 0x31ba5
leaq 0x1bc00(%rip), %rcx     # 0x31bb9
movl $0x7e, %edx
callq 0x20d0
leaq 0x1bc06(%rip), %rdi     # 0x31bd0
leaq 0x1bbd4(%rip), %rsi     # 0x31ba5
leaq 0x1bbe1(%rip), %rcx     # 0x31bb9
movl $0x85, %edx
callq 0x20d0
leaq 0x1bbe7(%rip), %rdi     # 0x31bd0
leaq 0x1bbb5(%rip), %rsi     # 0x31ba5
leaq 0x1bbc2(%rip), %rcx     # 0x31bb9
movl $0x8c, %edx
callq 0x20d0
leaq 0x1bbc8(%rip), %rdi     # 0x31bd0
leaq 0x1bb96(%rip), %rsi     # 0x31ba5
leaq 0x1bba3(%rip), %rcx     # 0x31bb9
movl $0x95, %edx
callq 0x20d0
leaq 0x1bb63(%rip), %rdi     # 0x31b8a
leaq 0x1bb77(%rip), %rsi     # 0x31ba5
leaq 0x1bb84(%rip), %rcx     # 0x31bb9
movl $0x26, %edx
callq 0x20d0
leaq 0x1bb44(%rip), %rdi     # 0x31b8a
leaq 0x1bb58(%rip), %rsi     # 0x31ba5
leaq 0x1bb65(%rip), %rcx     # 0x31bb9
movl $0x2c, %edx
callq 0x20d0
leaq 0x1bb6b(%rip), %rdi     # 0x31bd0
leaq 0x1bb39(%rip), %rsi     # 0x31ba5
leaq 0x1bb46(%rip), %rcx     # 0x31bb9
movl $0x2d, %edx
callq 0x20d0
leaq 0x1bb06(%rip), %rdi     # 0x31b8a
leaq 0x1bb1a(%rip), %rsi     # 0x31ba5
leaq 0x1bb27(%rip), %rcx     # 0x31bb9
movl $0x33, %edx
callq 0x20d0
leaq 0x1bb2d(%rip), %rdi     # 0x31bd0
leaq 0x1bafb(%rip), %rsi     # 0x31ba5
leaq 0x1bb08(%rip), %rcx     # 0x31bb9
movl $0x34, %edx
callq 0x20d0
leaq 0x1bac8(%rip), %rdi     # 0x31b8a
leaq 0x1badc(%rip), %rsi     # 0x31ba5
leaq 0x1bae9(%rip), %rcx     # 0x31bb9
movl $0x3a, %edx
callq 0x20d0
leaq 0x1baef(%rip), %rdi     # 0x31bd0
leaq 0x1babd(%rip), %rsi     # 0x31ba5
leaq 0x1baca(%rip), %rcx     # 0x31bb9
movl $0x3b, %edx
callq 0x20d0
leaq 0x1ba8a(%rip), %rdi     # 0x31b8a
leaq 0x1ba9e(%rip), %rsi     # 0x31ba5
leaq 0x1baab(%rip), %rcx     # 0x31bb9
movl $0x41, %edx
callq 0x20d0
leaq 0x1ba6b(%rip), %rdi     # 0x31b8a
leaq 0x1ba7f(%rip), %rsi     # 0x31ba5
leaq 0x1ba8c(%rip), %rcx     # 0x31bb9
movl $0x48, %edx
callq 0x20d0
leaq 0x1ba4c(%rip), %rdi     # 0x31b8a
leaq 0x1ba60(%rip), %rsi     # 0x31ba5
leaq 0x1ba6d(%rip), %rcx     # 0x31bb9
movl $0x4f, %edx
callq 0x20d0
leaq 0x1ba2d(%rip), %rdi     # 0x31b8a
leaq 0x1ba41(%rip), %rsi     # 0x31ba5
leaq 0x1ba4e(%rip), %rcx     # 0x31bb9
movl $0x56, %edx
callq 0x20d0
leaq 0x1ba0e(%rip), %rdi     # 0x31b8a
leaq 0x1ba22(%rip), %rsi     # 0x31ba5
leaq 0x1ba2f(%rip), %rcx     # 0x31bb9
movl $0x5f, %edx
callq 0x20d0
leaq 0x1b9ef(%rip), %rdi     # 0x31b8a
leaq 0x1ba03(%rip), %rsi     # 0x31ba5
leaq 0x1ba10(%rip), %rcx     # 0x31bb9
movl $0x66, %edx
callq 0x20d0
leaq 0x1b9d0(%rip), %rdi     # 0x31b8a
leaq 0x1b9e4(%rip), %rsi     # 0x31ba5
leaq 0x1b9f1(%rip), %rcx     # 0x31bb9
movl $0x6d, %edx
callq 0x20d0
leaq 0x1b9b1(%rip), %rdi     # 0x31b8a
leaq 0x1b9c5(%rip), %rsi     # 0x31ba5
leaq 0x1b9d2(%rip), %rcx     # 0x31bb9
movl $0x76, %edx
callq 0x20d0
leaq 0x1b992(%rip), %rdi     # 0x31b8a
leaq 0x1b9a6(%rip), %rsi     # 0x31ba5
leaq 0x1b9b3(%rip), %rcx     # 0x31bb9
movl $0x7d, %edx
callq 0x20d0
leaq 0x1b973(%rip), %rdi     # 0x31b8a
leaq 0x1b987(%rip), %rsi     # 0x31ba5
leaq 0x1b994(%rip), %rcx     # 0x31bb9
movl $0x84, %edx
callq 0x20d0
leaq 0x1b954(%rip), %rdi     # 0x31b8a
leaq 0x1b968(%rip), %rsi     # 0x31ba5
leaq 0x1b975(%rip), %rcx     # 0x31bb9
movl $0x8b, %edx
callq 0x20d0
leaq 0x1b935(%rip), %rdi     # 0x31b8a
leaq 0x1b949(%rip), %rsi     # 0x31ba5
leaq 0x1b956(%rip), %rcx     # 0x31bb9
movl $0x94, %edx
callq 0x20d0