// File: /workspace/github_cpp_makefile_star2_O2/BlinfoldKing[P]lisval/src/lib/evaluator.cpp
// Function: Evaluator::Evaluator()
Evaluator::Evaluator() {
    vector<pair<Token*, function<Token*(Token*)>>> state;

    state.push_back(dec());
    state.push_back(not_());
    state.push_back(plus());
    state.push_back(minus());
    state.push_back(times());
    state.push_back(div());
    state.push_back(and_());
    state.push_back(or_());
    state.push_back(map());
    state.push_back(filter());
    state.push_back(reduce());
    state.push_back(eq());
    state.push_back(range());
    state.push_back(def());
    state.push_back(definitions());
    state.push_back(print());
    state.push_back(clear());

    this->state = state;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %rbx
subq $0x48, %rsp
movq %rdi, %rbx
movl $0x100, (%rdi)          # imm = 0x100
leaq 0x20(%rdi), %r14
xorps %xmm0, %xmm0
movups %xmm0, 0x8(%rdi)
movups %xmm0, 0x18(%rdi)
movups %xmm0, 0x28(%rdi)
movaps %xmm0, -0x60(%rbp)
andq $0x0, -0x50(%rbp)
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x3a5a
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x3b56
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x3c4c
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4938
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4688
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x47e0
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4cb2
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4b5a
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x50b0
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x529e
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x548c
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x3da4
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x3efc
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4530
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4e0a
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4eda
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x40(%rbp), %rdi
movq %rbx, %rsi
callq 0x4a8a
leaq -0x60(%rbp), %rdi
leaq -0x40(%rbp), %rsi
callq 0x7856
leaq -0x38(%rbp), %rdi
callq 0x393e
leaq -0x60(%rbp), %rsi
movq %r14, %rdi
callq 0x7536
leaq -0x60(%rbp), %rdi
callq 0x38c4
addq $0x48, %rsp
popq %rbx
popq %r14
popq %r15
popq %rbp
retq
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
jmp 0x59ac
jmp 0x59ba
movq %rax, %r15
leaq -0x38(%rbp), %rdi
callq 0x393e
jmp 0x59bd
movq %rax, %r15
addq $0x8, %rbx
leaq -0x60(%rbp), %rdi
callq 0x38c4
movq %r14, %rdi
callq 0x38c4
movq %rbx, %rdi
callq 0x397a
movq %r15, %rdi
callq 0x3320