// File: aalto-speech[P]ftk/test/emtest.cc
// Function: TransitionForwardBackwardRemoveArcs::test_method()
BOOST_AUTO_TEST_CASE(TransitionForwardBackwardRemoveArcs)
{
    set<string> vocab = {"k","i","s","a","sa","ki","kis","kissa"};

    transitions_t transitions;
    transitions[start_end]["k"] = log(0.5);
    transitions[start_end]["ki"] = log(0.25);
    transitions[start_end]["kis"] = log(0.4);
    transitions[start_end]["kissa"] = log(0.1);
    transitions["a"][start_end] = log(0.5);
    transitions["kissa"][start_end] = log(0.10);
    transitions["sa"][start_end] = log(0.4);
    transitions["ki"]["s"] = log(0.25);
    transitions["k"]["i"] = log(0.5);
    transitions["i"]["s"] = log(0.5);
    transitions["s"]["s"] = log(0.5);
    transitions["s"]["sa"] = log(0.5);
    transitions["s"]["a"] = log(0.5);
    transitions["kis"]["sa"] = log(0.4);
    transitions["kis"]["s"] = log(0.4);

    string sentence("kissa");
    FactorGraph fg(sentence, start_end, vocab, 5);
    fg.remove_arcs(string("k"), string("i"));
    fg.remove_arcs(string("s"), string("a"));
    transitions_t stats;
    flt_type lp = forward_backward(transitions, fg, stats);
    BOOST_CHECK_EQUAL(8, transition_count(stats));
    BOOST_CHECK_CLOSE( 0.11560693641618498, stats["kissa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.11560693641618498, stats[start_end]["kissa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.8843930635838151, stats["sa"][start_end], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.14450867052023122, stats["s"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.7398843930635839, stats["kis"]["sa"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.7398843930635839, stats[start_end]["kis"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.14450867052023122, stats["ki"]["s"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( 0.14450867052023122, stats[start_end]["ki"], DBL_ACCURACY );
    BOOST_CHECK_CLOSE( -2.44761086504, lp, DBL_ACCURACY );
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x11d0, %rsp           # imm = 0x11D0
movq %rdi, -0x8(%rbp)
movb $0x1, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0xc80(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x151(%rbp), %rdi
movq %rdi, -0xc78(%rbp)
callq 0x67b0
movq -0xc80(%rbp), %rdi
movq -0xc78(%rbp), %rdx
leaq 0x21937(%rip), %rsi     # 0xcbc3a
callq 0x65e0
jmp 0xaa30a
leaq -0x128(%rbp), %rax
movq %rax, -0xc90(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x165(%rbp), %rdi
movq %rdi, -0xc88(%rbp)
callq 0x67b0
movq -0xc90(%rbp), %rdi
movq -0xc88(%rbp), %rdx
leaq 0x213f1(%rip), %rsi     # 0xcb738
callq 0x65e0
jmp 0xaa34e
leaq -0x108(%rbp), %rax
movq %rax, -0xca0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x166(%rbp), %rdi
movq %rdi, -0xc98(%rbp)
callq 0x67b0
movq -0xca0(%rbp), %rdi
movq -0xc98(%rbp), %rdx
leaq 0x20c83(%rip), %rsi     # 0xcb00e
callq 0x65e0
jmp 0xaa392
leaq -0xe8(%rbp), %rax
movq %rax, -0xcb0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x167(%rbp), %rdi
movq %rdi, -0xca8(%rbp)
callq 0x67b0
movq -0xcb0(%rbp), %rdi
movq -0xca8(%rbp), %rdx
leaq 0x21b45(%rip), %rsi     # 0xcbf14
callq 0x65e0
jmp 0xaa3d6
leaq -0xc8(%rbp), %rax
movq %rax, -0xcc0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x168(%rbp), %rdi
movq %rdi, -0xcb8(%rbp)
callq 0x67b0
movq -0xcc0(%rbp), %rdi
movq -0xcb8(%rbp), %rdx
leaq 0x22395(%rip), %rsi     # 0xcc7a8
callq 0x65e0
jmp 0xaa41a
leaq -0xa8(%rbp), %rax
movq %rax, -0xcd0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x169(%rbp), %rdi
movq %rdi, -0xcc8(%rbp)
callq 0x67b0
movq -0xcd0(%rbp), %rdi
movq -0xcc8(%rbp), %rdx
leaq 0x21915(%rip), %rsi     # 0xcbd6c
callq 0x65e0
jmp 0xaa45e
leaq -0x88(%rbp), %rax
movq %rax, -0xce0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16a(%rbp), %rdi
movq %rdi, -0xcd8(%rbp)
callq 0x67b0
movq -0xce0(%rbp), %rdi
movq -0xcd8(%rbp), %rdx
leaq 0x218d4(%rip), %rsi     # 0xcbd6f
callq 0x65e0
jmp 0xaa4a2
leaq -0x68(%rbp), %rax
movq %rax, -0xcf0(%rbp)
movq %rax, -0x150(%rbp)
leaq -0x16b(%rbp), %rdi
movq %rdi, -0xce8(%rbp)
callq 0x67b0
movq -0xcf0(%rbp), %rdi
movq -0xce8(%rbp), %rdx
leaq 0x21760(%rip), %rsi     # 0xcbc3c
callq 0x65e0
jmp 0xaa4e3
movb $0x0, -0x16c(%rbp)
leaq -0x148(%rbp), %rax
movq %rax, -0x48(%rbp)
movq $0x8, -0x40(%rbp)
leaq -0x16e(%rbp), %rdi
movq %rdi, -0xcf8(%rbp)
callq 0xdab0
movq -0xcf8(%rbp), %r8
movq -0x48(%rbp), %rsi
movq -0x40(%rbp), %rdx
leaq -0x38(%rbp), %rdi
leaq -0x16d(%rbp), %rcx
callq 0xbfde0
jmp 0xaa531
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0xd08(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0xd00(%rbp)
movq -0xd00(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0xd10(%rbp)
callq 0x6908
movq -0xd08(%rbp), %rcx
movq -0xd10(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0xd00(%rbp)
jne 0xaa558
leaq -0x16b(%rbp), %rdi
callq 0x6470
leaq -0x16a(%rbp), %rdi
callq 0x6470
leaq -0x169(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
callq 0x6470
leaq -0x167(%rbp), %rdi
callq 0x6470
leaq -0x166(%rbp), %rdi
callq 0x6470
leaq -0x165(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
callq 0x6470
leaq -0x1a0(%rbp), %rdi
movq %rdi, -0xd28(%rbp)
callq 0x4bd30
movsd 0x2151c(%rip), %xmm0    # 0xcbb20
callq 0x6370
movq -0xd28(%rbp), %rdi
movsd %xmm0, -0xd20(%rbp)
leaq 0x5d019(%rip), %rsi     # 0x107638
callq 0x4b980
movq %rax, -0xd18(%rbp)
jmp 0xaa62d
leaq -0x1c1(%rbp), %rdi
movq %rdi, -0xd30(%rbp)
callq 0x67b0
movq -0xd30(%rbp), %rdx
leaq 0x215ec(%rip), %rsi     # 0xcbc3a
leaq -0x1c0(%rbp), %rdi
callq 0x65e0
jmp 0xaa65c
movq -0xd18(%rbp), %rdi
leaq -0x1c0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd38(%rbp)
jmp 0xaa678
movq -0xd38(%rbp), %rax
movsd -0xd20(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x1c0(%rbp), %rdi
callq 0x6908
leaq -0x1c1(%rbp), %rdi
callq 0x6470
movsd 0x2146d(%rip), %xmm0    # 0xcbb18
callq 0x6370
movsd %xmm0, -0xd48(%rbp)
leaq 0x5cf79(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xd40(%rbp)
jmp 0xaa6d4
leaq -0x1e9(%rbp), %rdi
movq %rdi, -0xd50(%rbp)
callq 0x67b0
movq -0xd50(%rbp), %rdx
leaq 0x21677(%rip), %rsi     # 0xcbd6c
leaq -0x1e8(%rbp), %rdi
callq 0x65e0
jmp 0xaa703
movq -0xd40(%rbp), %rdi
leaq -0x1e8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd58(%rbp)
jmp 0xaa71f
movq -0xd58(%rbp), %rax
movsd -0xd48(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x1e8(%rbp), %rdi
callq 0x6908
leaq -0x1e9(%rbp), %rdi
callq 0x6470
movsd 0x213ee(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xd68(%rbp)
leaq 0x5ced2(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xd60(%rbp)
jmp 0xaa77b
leaq -0x211(%rbp), %rdi
movq %rdi, -0xd70(%rbp)
callq 0x67b0
movq -0xd70(%rbp), %rdx
leaq 0x215d3(%rip), %rsi     # 0xcbd6f
leaq -0x210(%rbp), %rdi
callq 0x65e0
jmp 0xaa7aa
movq -0xd60(%rbp), %rdi
leaq -0x210(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd78(%rbp)
jmp 0xaa7c6
movq -0xd78(%rbp), %rax
movsd -0xd68(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x210(%rbp), %rdi
callq 0x6908
leaq -0x211(%rbp), %rdi
callq 0x6470
movsd 0x2134f(%rip), %xmm0    # 0xcbb48
callq 0x6370
movsd %xmm0, -0xd88(%rbp)
leaq 0x5ce2b(%rip), %rsi     # 0x107638
leaq -0x1a0(%rbp), %rdi
callq 0x4b980
movq %rax, -0xd80(%rbp)
jmp 0xaa822
leaq -0x239(%rbp), %rdi
movq %rdi, -0xd90(%rbp)
callq 0x67b0
movq -0xd90(%rbp), %rdx
leaq 0x213f9(%rip), %rsi     # 0xcbc3c
leaq -0x238(%rbp), %rdi
callq 0x65e0
jmp 0xaa851
movq -0xd80(%rbp), %rdi
leaq -0x238(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xd98(%rbp)
jmp 0xaa86d
movq -0xd98(%rbp), %rax
movsd -0xd88(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
movsd 0x21280(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xda8(%rbp)
leaq -0x261(%rbp), %rdi
movq %rdi, -0xda0(%rbp)
callq 0x67b0
movq -0xda0(%rbp), %rdx
leaq 0x21646(%rip), %rsi     # 0xcbf14
leaq -0x260(%rbp), %rdi
callq 0x65e0
jmp 0xaa8dc
leaq -0x1a0(%rbp), %rdi
leaq -0x260(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdb0(%rbp)
jmp 0xaa8f8
movq -0xdb0(%rbp), %rdi
leaq 0x5cd32(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xdb8(%rbp)
jmp 0xaa914
movq -0xdb8(%rbp), %rax
movsd -0xda8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
movsd 0x21201(%rip), %xmm0    # 0xcbb48
callq 0x6370
movsd %xmm0, -0xdc8(%rbp)
leaq -0x289(%rbp), %rdi
movq %rdi, -0xdc0(%rbp)
callq 0x67b0
movq -0xdc0(%rbp), %rdx
leaq 0x212c7(%rip), %rsi     # 0xcbc3c
leaq -0x288(%rbp), %rdi
callq 0x65e0
jmp 0xaa983
leaq -0x1a0(%rbp), %rdi
leaq -0x288(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdd0(%rbp)
jmp 0xaa99f
movq -0xdd0(%rbp), %rdi
leaq 0x5cc8b(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xdd8(%rbp)
jmp 0xaa9bb
movq -0xdd8(%rbp), %rax
movsd -0xdc8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
movsd 0x21152(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xde8(%rbp)
leaq -0x2b1(%rbp), %rdi
movq %rdi, -0xde0(%rbp)
callq 0x67b0
movq -0xde0(%rbp), %rdx
leaq 0x21d8c(%rip), %rsi     # 0xcc7a8
leaq -0x2b0(%rbp), %rdi
callq 0x65e0
jmp 0xaaa2a
leaq -0x1a0(%rbp), %rdi
leaq -0x2b0(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xdf0(%rbp)
jmp 0xaaa46
movq -0xdf0(%rbp), %rdi
leaq 0x5cbe4(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xdf8(%rbp)
jmp 0xaaa62
movq -0xdf8(%rbp), %rax
movsd -0xde8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x2b0(%rbp), %rdi
callq 0x6908
leaq -0x2b1(%rbp), %rdi
callq 0x6470
movsd 0x21083(%rip), %xmm0    # 0xcbb18
callq 0x6370
movsd %xmm0, -0xe08(%rbp)
leaq -0x2d9(%rbp), %rdi
movq %rdi, -0xe00(%rbp)
callq 0x67b0
movq -0xe00(%rbp), %rdx
leaq 0x212a9(%rip), %rsi     # 0xcbd6c
leaq -0x2d8(%rbp), %rdi
callq 0x65e0
jmp 0xaaad1
leaq -0x1a0(%rbp), %rdi
leaq -0x2d8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe10(%rbp)
jmp 0xaaaed
leaq -0x301(%rbp), %rdi
movq %rdi, -0xe18(%rbp)
callq 0x67b0
movq -0xe18(%rbp), %rdx
leaq 0x20500(%rip), %rsi     # 0xcb00e
leaq -0x300(%rbp), %rdi
callq 0x65e0
jmp 0xaab1c
movq -0xe10(%rbp), %rdi
leaq -0x300(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe20(%rbp)
jmp 0xaab38
movq -0xe20(%rbp), %rax
movsd -0xe08(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x300(%rbp), %rdi
callq 0x6908
leaq -0x301(%rbp), %rdi
callq 0x6470
leaq -0x2d8(%rbp), %rdi
callq 0x6908
leaq -0x2d9(%rbp), %rdi
callq 0x6470
movsd 0x20f9d(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xe30(%rbp)
leaq -0x329(%rbp), %rdi
movq %rdi, -0xe28(%rbp)
callq 0x67b0
movq -0xe28(%rbp), %rdx
leaq 0x21089(%rip), %rsi     # 0xcbc3a
leaq -0x328(%rbp), %rdi
callq 0x65e0
jmp 0xaabbf
leaq -0x1a0(%rbp), %rdi
leaq -0x328(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe38(%rbp)
jmp 0xaabdb
leaq -0x351(%rbp), %rdi
movq %rdi, -0xe40(%rbp)
callq 0x67b0
movq -0xe40(%rbp), %rdx
leaq 0x20b3c(%rip), %rsi     # 0xcb738
leaq -0x350(%rbp), %rdi
callq 0x65e0
jmp 0xaac0a
movq -0xe38(%rbp), %rdi
leaq -0x350(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe48(%rbp)
jmp 0xaac26
movq -0xe48(%rbp), %rax
movsd -0xe30(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x350(%rbp), %rdi
callq 0x6908
leaq -0x351(%rbp), %rdi
callq 0x6470
leaq -0x328(%rbp), %rdi
callq 0x6908
leaq -0x329(%rbp), %rdi
callq 0x6470
movsd 0x20eaf(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xe58(%rbp)
leaq -0x379(%rbp), %rdi
movq %rdi, -0xe50(%rbp)
callq 0x67b0
movq -0xe50(%rbp), %rdx
leaq 0x20a99(%rip), %rsi     # 0xcb738
leaq -0x378(%rbp), %rdi
callq 0x65e0
jmp 0xaacad
leaq -0x1a0(%rbp), %rdi
leaq -0x378(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe60(%rbp)
jmp 0xaacc9
leaq -0x3a1(%rbp), %rdi
movq %rdi, -0xe68(%rbp)
callq 0x67b0
movq -0xe68(%rbp), %rdx
leaq 0x20324(%rip), %rsi     # 0xcb00e
leaq -0x3a0(%rbp), %rdi
callq 0x65e0
jmp 0xaacf8
movq -0xe60(%rbp), %rdi
leaq -0x3a0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe70(%rbp)
jmp 0xaad14
movq -0xe70(%rbp), %rax
movsd -0xe58(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x3a0(%rbp), %rdi
callq 0x6908
leaq -0x3a1(%rbp), %rdi
callq 0x6470
leaq -0x378(%rbp), %rdi
callq 0x6908
leaq -0x379(%rbp), %rdi
callq 0x6470
movsd 0x20dc1(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xe80(%rbp)
leaq -0x3c9(%rbp), %rdi
movq %rdi, -0xe78(%rbp)
callq 0x67b0
movq -0xe78(%rbp), %rdx
leaq 0x20281(%rip), %rsi     # 0xcb00e
leaq -0x3c8(%rbp), %rdi
callq 0x65e0
jmp 0xaad9b
leaq -0x1a0(%rbp), %rdi
leaq -0x3c8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xe88(%rbp)
jmp 0xaadb7
leaq -0x3f1(%rbp), %rdi
movq %rdi, -0xe90(%rbp)
callq 0x67b0
movq -0xe90(%rbp), %rdx
leaq 0x20236(%rip), %rsi     # 0xcb00e
leaq -0x3f0(%rbp), %rdi
callq 0x65e0
jmp 0xaade6
movq -0xe88(%rbp), %rdi
leaq -0x3f0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xe98(%rbp)
jmp 0xaae02
movq -0xe98(%rbp), %rax
movsd -0xe80(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x3f0(%rbp), %rdi
callq 0x6908
leaq -0x3f1(%rbp), %rdi
callq 0x6470
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
movsd 0x20cd3(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xea8(%rbp)
leaq -0x419(%rbp), %rdi
movq %rdi, -0xea0(%rbp)
callq 0x67b0
movq -0xea0(%rbp), %rdx
leaq 0x20193(%rip), %rsi     # 0xcb00e
leaq -0x418(%rbp), %rdi
callq 0x65e0
jmp 0xaae89
leaq -0x1a0(%rbp), %rdi
leaq -0x418(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xeb0(%rbp)
jmp 0xaaea5
leaq -0x441(%rbp), %rdi
movq %rdi, -0xeb8(%rbp)
callq 0x67b0
movq -0xeb8(%rbp), %rdx
leaq 0x218e2(%rip), %rsi     # 0xcc7a8
leaq -0x440(%rbp), %rdi
callq 0x65e0
jmp 0xaaed4
movq -0xeb0(%rbp), %rdi
leaq -0x440(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xec0(%rbp)
jmp 0xaaef0
movq -0xec0(%rbp), %rax
movsd -0xea8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x440(%rbp), %rdi
callq 0x6908
leaq -0x441(%rbp), %rdi
callq 0x6470
leaq -0x418(%rbp), %rdi
callq 0x6908
leaq -0x419(%rbp), %rdi
callq 0x6470
movsd 0x20be5(%rip), %xmm0    # 0xcbb20
callq 0x6370
movsd %xmm0, -0xed0(%rbp)
leaq -0x469(%rbp), %rdi
movq %rdi, -0xec8(%rbp)
callq 0x67b0
movq -0xec8(%rbp), %rdx
leaq 0x200a5(%rip), %rsi     # 0xcb00e
leaq -0x468(%rbp), %rdi
callq 0x65e0
jmp 0xaaf77
leaq -0x1a0(%rbp), %rdi
leaq -0x468(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xed8(%rbp)
jmp 0xaaf93
leaq -0x491(%rbp), %rdi
movq %rdi, -0xee0(%rbp)
callq 0x67b0
movq -0xee0(%rbp), %rdx
leaq 0x20f60(%rip), %rsi     # 0xcbf14
leaq -0x490(%rbp), %rdi
callq 0x65e0
jmp 0xaafc2
movq -0xed8(%rbp), %rdi
leaq -0x490(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xee8(%rbp)
jmp 0xaafde
movq -0xee8(%rbp), %rax
movsd -0xed0(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x490(%rbp), %rdi
callq 0x6908
leaq -0x491(%rbp), %rdi
callq 0x6470
leaq -0x468(%rbp), %rdi
callq 0x6908
leaq -0x469(%rbp), %rdi
callq 0x6470
movsd 0x20b17(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xef8(%rbp)
leaq -0x4b9(%rbp), %rdi
movq %rdi, -0xef0(%rbp)
callq 0x67b0
movq -0xef0(%rbp), %rdx
leaq 0x20d18(%rip), %rsi     # 0xcbd6f
leaq -0x4b8(%rbp), %rdi
callq 0x65e0
jmp 0xab065
leaq -0x1a0(%rbp), %rdi
leaq -0x4b8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xf00(%rbp)
jmp 0xab081
leaq -0x4e1(%rbp), %rdi
movq %rdi, -0xf08(%rbp)
callq 0x67b0
movq -0xf08(%rbp), %rdx
leaq 0x21706(%rip), %rsi     # 0xcc7a8
leaq -0x4e0(%rbp), %rdi
callq 0x65e0
jmp 0xab0b0
movq -0xf00(%rbp), %rdi
leaq -0x4e0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xf10(%rbp)
jmp 0xab0cc
movq -0xf10(%rbp), %rax
movsd -0xef8(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x4e0(%rbp), %rdi
callq 0x6908
leaq -0x4e1(%rbp), %rdi
callq 0x6470
leaq -0x4b8(%rbp), %rdi
callq 0x6908
leaq -0x4b9(%rbp), %rdi
callq 0x6470
movsd 0x20a29(%rip), %xmm0    # 0xcbb40
callq 0x6370
movsd %xmm0, -0xf20(%rbp)
leaq -0x509(%rbp), %rdi
movq %rdi, -0xf18(%rbp)
callq 0x67b0
movq -0xf18(%rbp), %rdx
leaq 0x20c2a(%rip), %rsi     # 0xcbd6f
leaq -0x508(%rbp), %rdi
callq 0x65e0
jmp 0xab153
leaq -0x1a0(%rbp), %rdi
leaq -0x508(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xf28(%rbp)
jmp 0xab16f
leaq -0x531(%rbp), %rdi
movq %rdi, -0xf30(%rbp)
callq 0x67b0
movq -0xf30(%rbp), %rdx
leaq 0x1fe7e(%rip), %rsi     # 0xcb00e
leaq -0x530(%rbp), %rdi
callq 0x65e0
jmp 0xab19e
movq -0xf28(%rbp), %rdi
leaq -0x530(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xf38(%rbp)
jmp 0xab1ba
movq -0xf38(%rbp), %rax
movsd -0xf20(%rbp), %xmm0
movsd %xmm0, (%rax)
leaq -0x530(%rbp), %rdi
callq 0x6908
leaq -0x531(%rbp), %rdi
callq 0x6470
leaq -0x508(%rbp), %rdi
callq 0x6908
leaq -0x509(%rbp), %rdi
callq 0x6470
leaq -0x559(%rbp), %rdi
movq %rdi, -0xf40(%rbp)
callq 0x67b0
movq -0xf40(%rbp), %rdx
leaq 0x20a1e(%rip), %rsi     # 0xcbc3c
leaq -0x558(%rbp), %rdi
callq 0x65e0
jmp 0xab22c
leaq -0x559(%rbp), %rdi
callq 0x6470
leaq 0x5c3f9(%rip), %rdx     # 0x107638
leaq -0x5d8(%rbp), %rdi
leaq -0x558(%rbp), %rsi
leaq -0x38(%rbp), %rcx
movl $0x5, %r8d
xorl %r9d, %r9d
callq 0x239b0
jmp 0xab261
leaq -0x5f9(%rbp), %rdi
movq %rdi, -0xf48(%rbp)
callq 0x67b0
movq -0xf48(%rbp), %rdx
leaq 0x209b8(%rip), %rsi     # 0xcbc3a
leaq -0x5f8(%rbp), %rdi
callq 0x65e0
jmp 0xab290
leaq -0x621(%rbp), %rdi
movq %rdi, -0xf50(%rbp)
callq 0x67b0
movq -0xf50(%rbp), %rdx
leaq 0x20487(%rip), %rsi     # 0xcb738
leaq -0x620(%rbp), %rdi
callq 0x65e0
jmp 0xab2bf
leaq -0x5d8(%rbp), %rdi
leaq -0x5f8(%rbp), %rsi
leaq -0x620(%rbp), %rdx
callq 0x25900
jmp 0xab2db
leaq -0x620(%rbp), %rdi
callq 0x6908
leaq -0x621(%rbp), %rdi
callq 0x6470
leaq -0x5f8(%rbp), %rdi
callq 0x6908
leaq -0x5f9(%rbp), %rdi
callq 0x6470
leaq -0x649(%rbp), %rdi
movq %rdi, -0xf58(%rbp)
callq 0x67b0
movq -0xf58(%rbp), %rdx
leaq 0x1fce2(%rip), %rsi     # 0xcb00e
leaq -0x648(%rbp), %rdi
callq 0x65e0
jmp 0xab33a
leaq -0x671(%rbp), %rdi
movq %rdi, -0xf60(%rbp)
callq 0x67b0
movq -0xf60(%rbp), %rdx
leaq 0x20bb9(%rip), %rsi     # 0xcbf14
leaq -0x670(%rbp), %rdi
callq 0x65e0
jmp 0xab369
leaq -0x5d8(%rbp), %rdi
leaq -0x648(%rbp), %rsi
leaq -0x670(%rbp), %rdx
callq 0x25900
jmp 0xab385
leaq -0x670(%rbp), %rdi
callq 0x6908
leaq -0x671(%rbp), %rdi
callq 0x6470
leaq -0x648(%rbp), %rdi
callq 0x6908
leaq -0x649(%rbp), %rdi
callq 0x6470
leaq -0x6a8(%rbp), %rdi
movq %rdi, -0xf70(%rbp)
callq 0x4bd30
movq -0xf70(%rbp), %rdx
leaq -0x1a0(%rbp), %rdi
leaq -0x5d8(%rbp), %rsi
callq 0x45f80
movsd %xmm0, -0xf68(%rbp)
jmp 0xab3ec
movsd -0xf68(%rbp), %xmm0
movsd %xmm0, -0x6b0(%rbp)
movq 0x5c1ed(%rip), %rax     # 0x1075f0
movq %rax, -0xf78(%rbp)
leaq 0x20757(%rip), %rsi     # 0xcbb68
leaq -0x6c0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab424
leaq -0x6d0(%rbp), %rdi
callq 0x70c00
jmp 0xab432
movq -0xf78(%rbp), %rdi
leaq -0x6c0(%rbp), %rsi
movl $0x42e, %edx            # imm = 0x42E
leaq -0x6d0(%rbp), %rcx
callq 0x6840
jmp 0xab453
callq 0x70e90
movq %rax, -0xf80(%rbp)
jmp 0xab461
movq -0xf80(%rbp), %rsi
leaq 0x1febb(%rip), %rdx     # 0xcb32a
leaq -0x6f8(%rbp), %rdi
callq 0x70e50
jmp 0xab47d
leaq 0x206e4(%rip), %rsi     # 0xcbb68
leaq -0x708(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab497
movl $0x8, -0x70c(%rbp)
leaq -0x6a8(%rbp), %rdi
callq 0x90970
movl %eax, -0x710(%rbp)
leaq 0x20d74(%rip), %rcx     # 0xcc22e
movq %rsp, %rax
movq %rcx, 0x10(%rax)
leaq -0x710(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x20e39(%rip), %rcx     # 0xcc30c
movq %rcx, (%rax)
leaq -0x6f8(%rbp), %rdi
leaq -0x708(%rbp), %rsi
movl $0x42e, %edx            # imm = 0x42E
movl $0x1, %ecx
movl $0x2, %r8d
leaq -0x70c(%rbp), %r9
callq 0xbf480
jmp 0xab502
leaq -0x6f8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xf81(%rbp)
jmp 0xab51b
movb -0xf81(%rbp), %al
testb $0x1, %al
jne 0xab3fc
jmp 0xab52b
jmp 0xab52d
movq 0x5c0bc(%rip), %rax     # 0x1075f0
movq %rax, -0xf90(%rbp)
leaq 0x20626(%rip), %rsi     # 0xcbb68
leaq -0x720(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab555
leaq -0x730(%rbp), %rdi
callq 0x70c00
jmp 0xab563
movq -0xf90(%rbp), %rdi
leaq -0x720(%rbp), %rsi
movl $0x42f, %edx            # imm = 0x42F
leaq -0x730(%rbp), %rcx
callq 0x6840
jmp 0xab584
callq 0x70e90
movq %rax, -0xf98(%rbp)
jmp 0xab592
movq -0xf98(%rbp), %rsi
leaq 0x1fd8a(%rip), %rdx     # 0xcb32a
leaq -0x758(%rbp), %rdi
callq 0x70e50
jmp 0xab5ae
leaq 0x205b3(%rip), %rsi     # 0xcbb68
leaq -0x768(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab5c8
movabsq $0x3fbd986a8b1927f5, %rax # imm = 0x3FBD986A8B1927F5
movq %rax, -0x770(%rbp)
leaq -0x791(%rbp), %rdi
movq %rdi, -0xfa0(%rbp)
callq 0x67b0
movq -0xfa0(%rbp), %rdx
leaq 0x20642(%rip), %rsi     # 0xcbc3c
leaq -0x790(%rbp), %rdi
callq 0x65e0
jmp 0xab608
leaq -0x6a8(%rbp), %rdi
leaq -0x790(%rbp), %rsi
callq 0x4bba0
movq %rax, -0xfa8(%rbp)
jmp 0xab624
movq -0xfa8(%rbp), %rdi
leaq 0x5c006(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0xfb0(%rbp)
jmp 0xab640
movsd 0x5be68(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0xfb8(%rbp)
jmp 0xab657
movq -0xfb0(%rbp), %rcx
movsd -0xfb8(%rbp), %xmm0
movsd %xmm0, -0x7a0(%rbp)
leaq 0x20670(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x7a0(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x20d72(%rip), %rdx     # 0xcc400
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x20f52(%rip), %rcx     # 0xcc5ef
movq %rcx, (%rax)
leaq -0x758(%rbp), %rdi
leaq -0x768(%rbp), %rsi
movl $0x42f, %edx            # imm = 0x42F
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x770(%rbp), %r9
callq 0xbf6a0
jmp 0xab6cc
leaq -0x790(%rbp), %rdi
callq 0x6908
leaq -0x791(%rbp), %rdi
callq 0x6470
leaq -0x758(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xfb9(%rbp)
jmp 0xab6fd
movb -0xfb9(%rbp), %al
testb $0x1, %al
jne 0xab52d
jmp 0xab70d
jmp 0xab70f
movq 0x5beda(%rip), %rax     # 0x1075f0
movq %rax, -0xfc8(%rbp)
leaq 0x20444(%rip), %rsi     # 0xcbb68
leaq -0x7b0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab737
leaq -0x7c0(%rbp), %rdi
callq 0x70c00
jmp 0xab745
movq -0xfc8(%rbp), %rdi
leaq -0x7b0(%rbp), %rsi
movl $0x430, %edx            # imm = 0x430
leaq -0x7c0(%rbp), %rcx
callq 0x6840
jmp 0xab766
callq 0x70e90
movq %rax, -0xfd0(%rbp)
jmp 0xab774
movq -0xfd0(%rbp), %rsi
leaq 0x1fba8(%rip), %rdx     # 0xcb32a
leaq -0x7e8(%rbp), %rdi
callq 0x70e50
jmp 0xab790
leaq 0x203d1(%rip), %rsi     # 0xcbb68
leaq -0x7f8(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab7aa
movabsq $0x3fbd986a8b1927f5, %rax # imm = 0x3FBD986A8B1927F5
movq %rax, -0x800(%rbp)
leaq 0x5be76(%rip), %rsi     # 0x107638
leaq -0x6a8(%rbp), %rdi
callq 0x4b980
movq %rax, -0xfd8(%rbp)
jmp 0xab7d7
leaq -0x821(%rbp), %rdi
movq %rdi, -0xfe0(%rbp)
callq 0x67b0
movq -0xfe0(%rbp), %rdx
leaq 0x20444(%rip), %rsi     # 0xcbc3c
leaq -0x820(%rbp), %rdi
callq 0x65e0
jmp 0xab806
movq -0xfd8(%rbp), %rdi
leaq -0x820(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0xfe8(%rbp)
jmp 0xab822
movsd 0x5bc86(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0xff0(%rbp)
jmp 0xab839
movq -0xfe8(%rbp), %rcx
movsd -0xff0(%rbp), %xmm0
movsd %xmm0, -0x830(%rbp)
leaq 0x2048e(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x830(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x20baa(%rip), %rdx     # 0xcc41a
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x20d70(%rip), %rcx     # 0xcc5ef
movq %rcx, (%rax)
leaq -0x7e8(%rbp), %rdi
leaq -0x7f8(%rbp), %rsi
movl $0x430, %edx            # imm = 0x430
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x800(%rbp), %r9
callq 0xbf6a0
jmp 0xab8ae
leaq -0x820(%rbp), %rdi
callq 0x6908
leaq -0x821(%rbp), %rdi
callq 0x6470
leaq -0x7e8(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0xff1(%rbp)
jmp 0xab8df
movb -0xff1(%rbp), %al
testb $0x1, %al
jne 0xab70f
jmp 0xab8ef
jmp 0xab8f1
movq 0x5bcf8(%rip), %rax     # 0x1075f0
movq %rax, -0x1000(%rbp)
leaq 0x20262(%rip), %rsi     # 0xcbb68
leaq -0x840(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab919
leaq -0x850(%rbp), %rdi
callq 0x70c00
jmp 0xab927
movq -0x1000(%rbp), %rdi
leaq -0x840(%rbp), %rsi
movl $0x431, %edx            # imm = 0x431
leaq -0x850(%rbp), %rcx
callq 0x6840
jmp 0xab948
callq 0x70e90
movq %rax, -0x1008(%rbp)
jmp 0xab956
movq -0x1008(%rbp), %rsi
leaq 0x1f9c6(%rip), %rdx     # 0xcb32a
leaq -0x878(%rbp), %rdi
callq 0x70e50
jmp 0xab972
leaq 0x201ef(%rip), %rsi     # 0xcbb68
leaq -0x888(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xab98c
movabsq $0x3fec4cf2ae9cdb02, %rax # imm = 0x3FEC4CF2AE9CDB02
movq %rax, -0x890(%rbp)
leaq -0x8b1(%rbp), %rdi
movq %rdi, -0x1010(%rbp)
callq 0x67b0
movq -0x1010(%rbp), %rdx
leaq 0x20dea(%rip), %rsi     # 0xcc7a8
leaq -0x8b0(%rbp), %rdi
callq 0x65e0
jmp 0xab9cc
leaq -0x6a8(%rbp), %rdi
leaq -0x8b0(%rbp), %rsi
callq 0x4bba0
movq %rax, -0x1018(%rbp)
jmp 0xab9e8
movq -0x1018(%rbp), %rdi
leaq 0x5bc42(%rip), %rsi     # 0x107638
callq 0x4b030
movq %rax, -0x1020(%rbp)
jmp 0xaba04
movsd 0x5baa4(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x1028(%rbp)
jmp 0xaba1b
movq -0x1020(%rbp), %rcx
movsd -0x1028(%rbp), %xmm0
movsd %xmm0, -0x8c0(%rbp)
leaq 0x202ac(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x8c0(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x209f5(%rip), %rdx     # 0xcc447
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x20ba2(%rip), %rcx     # 0xcc603
movq %rcx, (%rax)
leaq -0x878(%rbp), %rdi
leaq -0x888(%rbp), %rsi
movl $0x431, %edx            # imm = 0x431
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x890(%rbp), %r9
callq 0xbf6a0
jmp 0xaba90
leaq -0x8b0(%rbp), %rdi
callq 0x6908
leaq -0x8b1(%rbp), %rdi
callq 0x6470
leaq -0x878(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x1029(%rbp)
jmp 0xabac1
movb -0x1029(%rbp), %al
testb $0x1, %al
jne 0xab8f1
jmp 0xabad1
jmp 0xabad3
movq 0x5bb16(%rip), %rax     # 0x1075f0
movq %rax, -0x1038(%rbp)
leaq 0x20080(%rip), %rsi     # 0xcbb68
leaq -0x8d0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xabafb
leaq -0x8e0(%rbp), %rdi
callq 0x70c00
jmp 0xabb09
movq -0x1038(%rbp), %rdi
leaq -0x8d0(%rbp), %rsi
movl $0x432, %edx            # imm = 0x432
leaq -0x8e0(%rbp), %rcx
callq 0x6840
jmp 0xabb2a
callq 0x70e90
movq %rax, -0x1040(%rbp)
jmp 0xabb38
movq -0x1040(%rbp), %rsi
leaq 0x1f7e4(%rip), %rdx     # 0xcb32a
leaq -0x908(%rbp), %rdi
callq 0x70e50
jmp 0xabb54
leaq 0x2000d(%rip), %rsi     # 0xcbb68
leaq -0x918(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xabb6e
movabsq $0x3fc27f4296efb8f9, %rax # imm = 0x3FC27F4296EFB8F9
movq %rax, -0x920(%rbp)
leaq -0x941(%rbp), %rdi
movq %rdi, -0x1048(%rbp)
callq 0x67b0
movq -0x1048(%rbp), %rdx
leaq 0x1f46e(%rip), %rsi     # 0xcb00e
leaq -0x940(%rbp), %rdi
callq 0x65e0
jmp 0xabbae
leaq -0x6a8(%rbp), %rdi
leaq -0x940(%rbp), %rsi
callq 0x4bba0
movq %rax, -0x1050(%rbp)
jmp 0xabbca
leaq -0x969(%rbp), %rdi
movq %rdi, -0x1058(%rbp)
callq 0x67b0
movq -0x1058(%rbp), %rdx
leaq 0x20bbd(%rip), %rsi     # 0xcc7a8
leaq -0x968(%rbp), %rdi
callq 0x65e0
jmp 0xabbf9
movq -0x1050(%rbp), %rdi
leaq -0x968(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x1060(%rbp)
jmp 0xabc15
movsd 0x5b893(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x1068(%rbp)
jmp 0xabc2c
movq -0x1060(%rbp), %rcx
movsd -0x1068(%rbp), %xmm0
movsd %xmm0, -0x978(%rbp)
leaq 0x2009b(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0x978(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x2081f(%rip), %rdx     # 0xcc482
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x209a4(%rip), %rcx     # 0xcc616
movq %rcx, (%rax)
leaq -0x908(%rbp), %rdi
leaq -0x918(%rbp), %rsi
movl $0x432, %edx            # imm = 0x432
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x920(%rbp), %r9
callq 0xbf6a0
jmp 0xabca1
leaq -0x968(%rbp), %rdi
callq 0x6908
leaq -0x969(%rbp), %rdi
callq 0x6470
leaq -0x940(%rbp), %rdi
callq 0x6908
leaq -0x941(%rbp), %rdi
callq 0x6470
leaq -0x908(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x1069(%rbp)
jmp 0xabcea
movb -0x1069(%rbp), %al
testb $0x1, %al
jne 0xabad3
jmp 0xabcfa
jmp 0xabcfc
movq 0x5b8ed(%rip), %rax     # 0x1075f0
movq %rax, -0x1078(%rbp)
leaq 0x1fe57(%rip), %rsi     # 0xcbb68
leaq -0x988(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xabd24
leaq -0x998(%rbp), %rdi
callq 0x70c00
jmp 0xabd32
movq -0x1078(%rbp), %rdi
leaq -0x988(%rbp), %rsi
movl $0x433, %edx            # imm = 0x433
leaq -0x998(%rbp), %rcx
callq 0x6840
jmp 0xabd53
callq 0x70e90
movq %rax, -0x1080(%rbp)
jmp 0xabd61
movq -0x1080(%rbp), %rsi
leaq 0x1f5bb(%rip), %rdx     # 0xcb32a
leaq -0x9c0(%rbp), %rdi
callq 0x70e50
jmp 0xabd7d
leaq 0x1fde4(%rip), %rsi     # 0xcbb68
leaq -0x9d0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xabd97
movabsq $0x3fe7ad2208e0ecc4, %rax # imm = 0x3FE7AD2208E0ECC4
movq %rax, -0x9d8(%rbp)
leaq -0x9f9(%rbp), %rdi
movq %rdi, -0x1088(%rbp)
callq 0x67b0
movq -0x1088(%rbp), %rdx
leaq 0x1ffa6(%rip), %rsi     # 0xcbd6f
leaq -0x9f8(%rbp), %rdi
callq 0x65e0
jmp 0xabdd7
leaq -0x6a8(%rbp), %rdi
leaq -0x9f8(%rbp), %rsi
callq 0x4bba0
movq %rax, -0x1090(%rbp)
jmp 0xabdf3
leaq -0xa21(%rbp), %rdi
movq %rdi, -0x1098(%rbp)
callq 0x67b0
movq -0x1098(%rbp), %rdx
leaq 0x20994(%rip), %rsi     # 0xcc7a8
leaq -0xa20(%rbp), %rdi
callq 0x65e0
jmp 0xabe22
movq -0x1090(%rbp), %rdi
leaq -0xa20(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x10a0(%rbp)
jmp 0xabe3e
movsd 0x5b66a(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x10a8(%rbp)
jmp 0xabe55
movq -0x10a0(%rbp), %rcx
movsd -0x10a8(%rbp), %xmm0
movsd %xmm0, -0xa30(%rbp)
leaq 0x1fe72(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0xa30(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x2061a(%rip), %rdx     # 0xcc4a6
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x2078f(%rip), %rcx     # 0xcc62a
movq %rcx, (%rax)
leaq -0x9c0(%rbp), %rdi
leaq -0x9d0(%rbp), %rsi
movl $0x433, %edx            # imm = 0x433
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0x9d8(%rbp), %r9
callq 0xbf6a0
jmp 0xabeca
leaq -0xa20(%rbp), %rdi
callq 0x6908
leaq -0xa21(%rbp), %rdi
callq 0x6470
leaq -0x9f8(%rbp), %rdi
callq 0x6908
leaq -0x9f9(%rbp), %rdi
callq 0x6470
leaq -0x9c0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x10a9(%rbp)
jmp 0xabf13
movb -0x10a9(%rbp), %al
testb $0x1, %al
jne 0xabcfc
jmp 0xabf23
jmp 0xabf25
movq 0x5b6c4(%rip), %rax     # 0x1075f0
movq %rax, -0x10b8(%rbp)
leaq 0x1fc2e(%rip), %rsi     # 0xcbb68
leaq -0xa40(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xabf4d
leaq -0xa50(%rbp), %rdi
callq 0x70c00
jmp 0xabf5b
movq -0x10b8(%rbp), %rdi
leaq -0xa40(%rbp), %rsi
movl $0x434, %edx            # imm = 0x434
leaq -0xa50(%rbp), %rcx
callq 0x6840
jmp 0xabf7c
callq 0x70e90
movq %rax, -0x10c0(%rbp)
jmp 0xabf8a
movq -0x10c0(%rbp), %rsi
leaq 0x1f392(%rip), %rdx     # 0xcb32a
leaq -0xa78(%rbp), %rdi
callq 0x70e50
jmp 0xabfa6
leaq 0x1fbbb(%rip), %rsi     # 0xcbb68
leaq -0xa88(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xabfc0
movabsq $0x3fe7ad2208e0ecc4, %rax # imm = 0x3FE7AD2208E0ECC4
movq %rax, -0xa90(%rbp)
leaq 0x5b660(%rip), %rsi     # 0x107638
leaq -0x6a8(%rbp), %rdi
callq 0x4b980
movq %rax, -0x10c8(%rbp)
jmp 0xabfed
leaq -0xab1(%rbp), %rdi
movq %rdi, -0x10d0(%rbp)
callq 0x67b0
movq -0x10d0(%rbp), %rdx
leaq 0x1fd61(%rip), %rsi     # 0xcbd6f
leaq -0xab0(%rbp), %rdi
callq 0x65e0
jmp 0xac01c
movq -0x10c8(%rbp), %rdi
leaq -0xab0(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x10d8(%rbp)
jmp 0xac038
movsd 0x5b470(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x10e0(%rbp)
jmp 0xac04f
movq -0x10d8(%rbp), %rcx
movsd -0x10e0(%rbp), %xmm0
movsd %xmm0, -0xac0(%rbp)
leaq 0x1fc78(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0xac0(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x2046c(%rip), %rdx     # 0xcc4f2
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x20595(%rip), %rcx     # 0xcc62a
movq %rcx, (%rax)
leaq -0xa78(%rbp), %rdi
leaq -0xa88(%rbp), %rsi
movl $0x434, %edx            # imm = 0x434
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0xa90(%rbp), %r9
callq 0xbf6a0
jmp 0xac0c4
leaq -0xab0(%rbp), %rdi
callq 0x6908
leaq -0xab1(%rbp), %rdi
callq 0x6470
leaq -0xa78(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x10e1(%rbp)
jmp 0xac0f5
movb -0x10e1(%rbp), %al
testb $0x1, %al
jne 0xabf25
jmp 0xac105
jmp 0xac107
movq 0x5b4e2(%rip), %rax     # 0x1075f0
movq %rax, -0x10f0(%rbp)
leaq 0x1fa4c(%rip), %rsi     # 0xcbb68
leaq -0xad0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xac12f
leaq -0xae0(%rbp), %rdi
callq 0x70c00
jmp 0xac13d
movq -0x10f0(%rbp), %rdi
leaq -0xad0(%rbp), %rsi
movl $0x435, %edx            # imm = 0x435
leaq -0xae0(%rbp), %rcx
callq 0x6840
jmp 0xac15e
callq 0x70e90
movq %rax, -0x10f8(%rbp)
jmp 0xac16c
movq -0x10f8(%rbp), %rsi
leaq 0x1f1b0(%rip), %rdx     # 0xcb32a
leaq -0xb08(%rbp), %rdi
callq 0x70e50
jmp 0xac188
leaq 0x1f9d9(%rip), %rsi     # 0xcbb68
leaq -0xb18(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xac1a2
movabsq $0x3fc27f4296efb8f9, %rax # imm = 0x3FC27F4296EFB8F9
movq %rax, -0xb20(%rbp)
leaq -0xb41(%rbp), %rdi
movq %rdi, -0x1100(%rbp)
callq 0x67b0
movq -0x1100(%rbp), %rdx
leaq 0x1fb98(%rip), %rsi     # 0xcbd6c
leaq -0xb40(%rbp), %rdi
callq 0x65e0
jmp 0xac1e2
leaq -0x6a8(%rbp), %rdi
leaq -0xb40(%rbp), %rsi
callq 0x4bba0
movq %rax, -0x1108(%rbp)
jmp 0xac1fe
leaq -0xb69(%rbp), %rdi
movq %rdi, -0x1110(%rbp)
callq 0x67b0
movq -0x1110(%rbp), %rdx
leaq 0x1edef(%rip), %rsi     # 0xcb00e
leaq -0xb68(%rbp), %rdi
callq 0x65e0
jmp 0xac22d
movq -0x1108(%rbp), %rdi
leaq -0xb68(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x1118(%rbp)
jmp 0xac249
movsd 0x5b25f(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x1120(%rbp)
jmp 0xac260
movq -0x1118(%rbp), %rcx
movsd -0x1120(%rbp), %xmm0
movsd %xmm0, -0xb78(%rbp)
leaq 0x1fa67(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0xb78(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x202f5(%rip), %rdx     # 0xcc58c
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x20370(%rip), %rcx     # 0xcc616
movq %rcx, (%rax)
leaq -0xb08(%rbp), %rdi
leaq -0xb18(%rbp), %rsi
movl $0x435, %edx            # imm = 0x435
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0xb20(%rbp), %r9
callq 0xbf6a0
jmp 0xac2d5
leaq -0xb68(%rbp), %rdi
callq 0x6908
leaq -0xb69(%rbp), %rdi
callq 0x6470
leaq -0xb40(%rbp), %rdi
callq 0x6908
leaq -0xb41(%rbp), %rdi
callq 0x6470
leaq -0xb08(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x1121(%rbp)
jmp 0xac31e
movb -0x1121(%rbp), %al
testb $0x1, %al
jne 0xac107
jmp 0xac32e
jmp 0xac330
movq 0x5b2b9(%rip), %rax     # 0x1075f0
movq %rax, -0x1130(%rbp)
leaq 0x1f823(%rip), %rsi     # 0xcbb68
leaq -0xb88(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xac358
leaq -0xb98(%rbp), %rdi
callq 0x70c00
jmp 0xac366
movq -0x1130(%rbp), %rdi
leaq -0xb88(%rbp), %rsi
movl $0x436, %edx            # imm = 0x436
leaq -0xb98(%rbp), %rcx
callq 0x6840
jmp 0xac387
callq 0x70e90
movq %rax, -0x1138(%rbp)
jmp 0xac395
movq -0x1138(%rbp), %rsi
leaq 0x1ef87(%rip), %rdx     # 0xcb32a
leaq -0xbc0(%rbp), %rdi
callq 0x70e50
jmp 0xac3b1
leaq 0x1f7b0(%rip), %rsi     # 0xcbb68
leaq -0xbd0(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xac3cb
movabsq $0x3fc27f4296efb8f9, %rax # imm = 0x3FC27F4296EFB8F9
movq %rax, -0xbd8(%rbp)
leaq 0x5b255(%rip), %rsi     # 0x107638
leaq -0x6a8(%rbp), %rdi
callq 0x4b980
movq %rax, -0x1140(%rbp)
jmp 0xac3f8
leaq -0xbf9(%rbp), %rdi
movq %rdi, -0x1148(%rbp)
callq 0x67b0
movq -0x1148(%rbp), %rdx
leaq 0x1f953(%rip), %rsi     # 0xcbd6c
leaq -0xbf8(%rbp), %rdi
callq 0x65e0
jmp 0xac427
movq -0x1140(%rbp), %rdi
leaq -0xbf8(%rbp), %rsi
callq 0x4b2f0
movq %rax, -0x1150(%rbp)
jmp 0xac443
movsd 0x5b065(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x1158(%rbp)
jmp 0xac45a
movq -0x1150(%rbp), %rcx
movsd -0x1158(%rbp), %xmm0
movsd %xmm0, -0xc08(%rbp)
leaq 0x1f86d(%rip), %rdx     # 0xcbce5
movq %rsp, %rax
movq %rdx, 0x20(%rax)
leaq -0xc08(%rbp), %rdx
movq %rdx, 0x18(%rax)
leaq 0x2010c(%rip), %rdx     # 0xcc59d
movq %rdx, 0x10(%rax)
movq %rcx, 0x8(%rax)
leaq 0x20176(%rip), %rcx     # 0xcc616
movq %rcx, (%rax)
leaq -0xbc0(%rbp), %rdi
leaq -0xbd0(%rbp), %rsi
movl $0x436, %edx            # imm = 0x436
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0xbd8(%rbp), %r9
callq 0xbf6a0
jmp 0xac4cf
leaq -0xbf8(%rbp), %rdi
callq 0x6908
leaq -0xbf9(%rbp), %rdi
callq 0x6470
leaq -0xbc0(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x1159(%rbp)
jmp 0xac500
movb -0x1159(%rbp), %al
testb $0x1, %al
jne 0xac330
jmp 0xac510
jmp 0xac512
movq 0x5b0d7(%rip), %rax     # 0x1075f0
movq %rax, -0x1168(%rbp)
leaq 0x1f641(%rip), %rsi     # 0xcbb68
leaq -0xc18(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xac53a
leaq -0xc28(%rbp), %rdi
callq 0x70c00
jmp 0xac548
movq -0x1168(%rbp), %rdi
leaq -0xc18(%rbp), %rsi
movl $0x437, %edx            # imm = 0x437
leaq -0xc28(%rbp), %rcx
callq 0x6840
jmp 0xac569
callq 0x70e90
movq %rax, -0x1170(%rbp)
jmp 0xac577
movq -0x1170(%rbp), %rsi
leaq 0x1eda5(%rip), %rdx     # 0xcb32a
leaq -0xc50(%rbp), %rdi
callq 0x70e50
jmp 0xac593
leaq 0x1f5ce(%rip), %rsi     # 0xcbb68
leaq -0xc60(%rbp), %rdi
movl $0xe, %edx
callq 0x70bd0
jmp 0xac5ad
movabsq $-0x3ffc6b4afeaa8d2b, %rax # imm = 0xC00394B5015572D5
movq %rax, -0xc68(%rbp)
movsd 0x5aeea(%rip), %xmm0    # 0x1074b0
callq 0xbf970
movsd %xmm0, -0x1178(%rbp)
jmp 0xac5d5
movsd -0x1178(%rbp), %xmm0
movsd %xmm0, -0xc70(%rbp)
leaq 0x1f6f9(%rip), %rcx     # 0xcbce5
movq %rsp, %rax
movq %rcx, 0x20(%rax)
leaq -0xc70(%rbp), %rcx
movq %rcx, 0x18(%rax)
leaq 0x20171(%rip), %rcx     # 0xcc776
movq %rcx, 0x10(%rax)
leaq -0x6b0(%rbp), %rcx
movq %rcx, 0x8(%rax)
leaq 0x20022(%rip), %rcx     # 0xcc63d
movq %rcx, (%rax)
leaq -0xc50(%rbp), %rdi
leaq -0xc60(%rbp), %rsi
movl $0x437, %edx            # imm = 0x437
movl $0x1, %ecx
movl $0x8, %r8d
leaq -0xc68(%rbp), %r9
callq 0xbf6a0
jmp 0xac64a
leaq -0xc50(%rbp), %rdi
callq 0x70ea0
callq 0x70ec0
movb %al, -0x1179(%rbp)
jmp 0xac663
movb -0x1179(%rbp), %al
testb $0x1, %al
jne 0xac512
jmp 0xac673
leaq -0x6a8(%rbp), %rdi
callq 0x4bd50
leaq -0x5d8(%rbp), %rdi
callq 0x26180
leaq -0x558(%rbp), %rdi
callq 0x6908
leaq -0x1a0(%rbp), %rdi
callq 0x4bd50
leaq -0x38(%rbp), %rdi
callq 0x5c1b0
addq $0x11d0, %rsp           # imm = 0x11D0
popq %rbp
retq
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac82a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac81e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac812
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac806
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac7fa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac7ee
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac7e2
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac7d6
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x16e(%rbp), %rdi
callq 0xdb50
leaq -0x148(%rbp), %rax
movq %rax, -0x1190(%rbp)
addq $0x100, %rax            # imm = 0x100
movq %rax, -0x1188(%rbp)
movq -0x1188(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x1198(%rbp)
callq 0x6908
movq -0x1190(%rbp), %rcx
movq -0x1198(%rbp), %rax
cmpq %rcx, %rax
movq %rax, -0x1188(%rbp)
jne 0xac7a3
jmp 0xac7d6
leaq -0x16b(%rbp), %rdi
callq 0x6470
leaq -0x16a(%rbp), %rdi
callq 0x6470
leaq -0x169(%rbp), %rdi
callq 0x6470
leaq -0x168(%rbp), %rdi
callq 0x6470
leaq -0x167(%rbp), %rdi
callq 0x6470
leaq -0x166(%rbp), %rdi
callq 0x6470
leaq -0x165(%rbp), %rdi
callq 0x6470
leaq -0x151(%rbp), %rdi
callq 0x6470
testb $0x1, -0x16c(%rbp)
jne 0xac841
jmp 0xac88e
movq -0x150(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rax, %rcx
movq %rax, -0x11a0(%rbp)
je 0xac88c
movq -0x11a0(%rbp), %rdi
addq $-0x20, %rdi
movq %rdi, -0x11a8(%rbp)
callq 0x6908
movq -0x11a8(%rbp), %rax
leaq -0x148(%rbp), %rcx
cmpq %rcx, %rax
movq %rax, -0x11a0(%rbp)
jne 0xac85b
jmp 0xac88e
jmp 0xad412
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac8dc
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x1c0(%rbp), %rdi
callq 0x6908
leaq -0x1c1(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac91f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x1e8(%rbp), %rdi
callq 0x6908
leaq -0x1e9(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac962
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x210(%rbp), %rdi
callq 0x6908
leaq -0x211(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac9a5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x238(%rbp), %rdi
callq 0x6908
leaq -0x239(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xac9e8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x260(%rbp), %rdi
callq 0x6908
leaq -0x261(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xaca2b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x288(%rbp), %rdi
callq 0x6908
leaq -0x289(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xaca6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x2b0(%rbp), %rdi
callq 0x6908
leaq -0x2b1(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacaf1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacae5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacad9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x300(%rbp), %rdi
callq 0x6908
leaq -0x301(%rbp), %rdi
callq 0x6470
leaq -0x2d8(%rbp), %rdi
callq 0x6908
leaq -0x2d9(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacb74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacb68
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacb5c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x350(%rbp), %rdi
callq 0x6908
leaq -0x351(%rbp), %rdi
callq 0x6470
leaq -0x328(%rbp), %rdi
callq 0x6908
leaq -0x329(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacbf7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacbeb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacbdf
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x3a0(%rbp), %rdi
callq 0x6908
leaq -0x3a1(%rbp), %rdi
callq 0x6470
leaq -0x378(%rbp), %rdi
callq 0x6908
leaq -0x379(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacc7a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacc6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacc62
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x3f0(%rbp), %rdi
callq 0x6908
leaq -0x3f1(%rbp), %rdi
callq 0x6470
leaq -0x3c8(%rbp), %rdi
callq 0x6908
leaq -0x3c9(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xaccfd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xaccf1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacce5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x440(%rbp), %rdi
callq 0x6908
leaq -0x441(%rbp), %rdi
callq 0x6470
leaq -0x418(%rbp), %rdi
callq 0x6908
leaq -0x419(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacd80
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacd74
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacd68
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x490(%rbp), %rdi
callq 0x6908
leaq -0x491(%rbp), %rdi
callq 0x6470
leaq -0x468(%rbp), %rdi
callq 0x6908
leaq -0x469(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xace03
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacdf7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacdeb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x4e0(%rbp), %rdi
callq 0x6908
leaq -0x4e1(%rbp), %rdi
callq 0x6470
leaq -0x4b8(%rbp), %rdi
callq 0x6908
leaq -0x4b9(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xace86
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xace7a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xace6e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x530(%rbp), %rdi
callq 0x6908
leaq -0x531(%rbp), %rdi
callq 0x6470
leaq -0x508(%rbp), %rdi
callq 0x6908
leaq -0x509(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x559(%rbp), %rdi
callq 0x6470
jmp 0xad3fd
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad3f1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacf2f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacf17
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x620(%rbp), %rdi
callq 0x6908
leaq -0x621(%rbp), %rdi
callq 0x6470
leaq -0x5f8(%rbp), %rdi
callq 0x6908
leaq -0x5f9(%rbp), %rdi
callq 0x6470
jmp 0xad3e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacf9e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xacf86
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x670(%rbp), %rdi
callq 0x6908
leaq -0x671(%rbp), %rdi
callq 0x6470
leaq -0x648(%rbp), %rdi
callq 0x6908
leaq -0x649(%rbp), %rdi
callq 0x6470
jmp 0xad3e5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x6f8(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad03b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad02f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x790(%rbp), %rdi
callq 0x6908
leaq -0x791(%rbp), %rdi
callq 0x6470
leaq -0x758(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad09e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad092
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x820(%rbp), %rdi
callq 0x6908
leaq -0x821(%rbp), %rdi
callq 0x6470
leaq -0x7e8(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad101
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad0f5
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x8b0(%rbp), %rdi
callq 0x6908
leaq -0x8b1(%rbp), %rdi
callq 0x6470
leaq -0x878(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad1a4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad198
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad18c
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad180
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0x968(%rbp), %rdi
callq 0x6908
leaq -0x969(%rbp), %rdi
callq 0x6470
leaq -0x940(%rbp), %rdi
callq 0x6908
leaq -0x941(%rbp), %rdi
callq 0x6470
leaq -0x908(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad247
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad23b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad22f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad223
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xa20(%rbp), %rdi
callq 0x6908
leaq -0xa21(%rbp), %rdi
callq 0x6470
leaq -0x9f8(%rbp), %rdi
callq 0x6908
leaq -0x9f9(%rbp), %rdi
callq 0x6470
leaq -0x9c0(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad2aa
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad29e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xab0(%rbp), %rdi
callq 0x6908
leaq -0xab1(%rbp), %rdi
callq 0x6470
leaq -0xa78(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad34d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad341
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad335
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad329
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xb68(%rbp), %rdi
callq 0x6908
leaq -0xb69(%rbp), %rdi
callq 0x6470
leaq -0xb40(%rbp), %rdi
callq 0x6908
leaq -0xb41(%rbp), %rdi
callq 0x6470
leaq -0xb08(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad3ad
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
jmp 0xad3a1
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xbf8(%rbp), %rdi
callq 0x6908
leaq -0xbf9(%rbp), %rdi
callq 0x6470
leaq -0xbc0(%rbp), %rdi
callq 0x70ea0
jmp 0xad3d9
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x160(%rbp)
movl %eax, -0x164(%rbp)
leaq -0xc50(%rbp), %rdi
callq 0x70ea0
leaq -0x6a8(%rbp), %rdi
callq 0x4bd50
leaq -0x5d8(%rbp), %rdi
callq 0x26180
leaq -0x558(%rbp), %rdi
callq 0x6908
leaq -0x1a0(%rbp), %rdi
callq 0x4bd50
leaq -0x38(%rbp), %rdi
callq 0x5c1b0
movq -0x160(%rbp), %rdi
callq 0x67a0
nop