// File: BlinfoldKing[P]lisval/src/lib/parser.cpp
// Function: isBinaryOperator(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>)
bool isBinaryOperator(string s) {
	map<string, bool> valid_operator;
	valid_operator["+"] = true;
	valid_operator["-"] = true;
	valid_operator["/"] = true;
	valid_operator["*"] = true;
	valid_operator["and"] = true;
	valid_operator["or"] = true;
	valid_operator["def"] = true;
	valid_operator["="] = true;

	auto it = valid_operator.find(s);

	if (it == valid_operator.end()) {
		return false;
	}

	return valid_operator[s];
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x240, %rsp            # imm = 0x240
movq %rdi, -0x1b8(%rbp)
movq %rdi, -0x10(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x184b0
leaq -0x61(%rbp), %rdi
movq %rdi, -0x1b0(%rbp)
callq 0x34a0
movq -0x1b0(%rbp), %rdx
leaq 0xd2c8(%rip), %rsi      # 0x23575
leaq -0x60(%rbp), %rdi
callq 0x33b0
jmp 0x162b8
leaq -0x40(%rbp), %rdi
leaq -0x60(%rbp), %rsi
callq 0x184d0
movq %rax, -0x1c0(%rbp)
jmp 0x162ce
movq -0x1c0(%rbp), %rax
movb $0x1, (%rax)
leaq -0x60(%rbp), %rdi
callq 0x31c0
leaq -0x61(%rbp), %rdi
callq 0x3300
leaq -0x99(%rbp), %rdi
movq %rdi, -0x1c8(%rbp)
callq 0x34a0
movq -0x1c8(%rbp), %rdx
leaq 0xd26c(%rip), %rsi      # 0x23577
leaq -0x98(%rbp), %rdi
callq 0x33b0
jmp 0x16319
leaq -0x40(%rbp), %rdi
leaq -0x98(%rbp), %rsi
callq 0x184d0
movq %rax, -0x1d0(%rbp)
jmp 0x16332
movq -0x1d0(%rbp), %rax
movb $0x1, (%rax)
leaq -0x98(%rbp), %rdi
callq 0x31c0
leaq -0x99(%rbp), %rdi
callq 0x3300
leaq -0xc1(%rbp), %rdi
movq %rdi, -0x1d8(%rbp)
callq 0x34a0
movq -0x1d8(%rbp), %rdx
leaq 0xd204(%rip), %rsi      # 0x23579
leaq -0xc0(%rbp), %rdi
callq 0x33b0
jmp 0x16383
leaq -0x40(%rbp), %rdi
leaq -0xc0(%rbp), %rsi
callq 0x184d0
movq %rax, -0x1e0(%rbp)
jmp 0x1639c
movq -0x1e0(%rbp), %rax
movb $0x1, (%rax)
leaq -0xc0(%rbp), %rdi
callq 0x31c0
leaq -0xc1(%rbp), %rdi
callq 0x3300
leaq -0xe9(%rbp), %rdi
movq %rdi, -0x1e8(%rbp)
callq 0x34a0
movq -0x1e8(%rbp), %rdx
leaq 0xd19c(%rip), %rsi      # 0x2357b
leaq -0xe8(%rbp), %rdi
callq 0x33b0
jmp 0x163ed
leaq -0x40(%rbp), %rdi
leaq -0xe8(%rbp), %rsi
callq 0x184d0
movq %rax, -0x1f0(%rbp)
jmp 0x16406
movq -0x1f0(%rbp), %rax
movb $0x1, (%rax)
leaq -0xe8(%rbp), %rdi
callq 0x31c0
leaq -0xe9(%rbp), %rdi
callq 0x3300
leaq -0x111(%rbp), %rdi
movq %rdi, -0x1f8(%rbp)
callq 0x34a0
movq -0x1f8(%rbp), %rdx
leaq 0xd134(%rip), %rsi      # 0x2357d
leaq -0x110(%rbp), %rdi
callq 0x33b0
jmp 0x16457
leaq -0x40(%rbp), %rdi
leaq -0x110(%rbp), %rsi
callq 0x184d0
movq %rax, -0x200(%rbp)
jmp 0x16470
movq -0x200(%rbp), %rax
movb $0x1, (%rax)
leaq -0x110(%rbp), %rdi
callq 0x31c0
leaq -0x111(%rbp), %rdi
callq 0x3300
leaq -0x139(%rbp), %rdi
movq %rdi, -0x208(%rbp)
callq 0x34a0
movq -0x208(%rbp), %rdx
leaq 0xd0ce(%rip), %rsi      # 0x23581
leaq -0x138(%rbp), %rdi
callq 0x33b0
jmp 0x164c1
leaq -0x40(%rbp), %rdi
leaq -0x138(%rbp), %rsi
callq 0x184d0
movq %rax, -0x210(%rbp)
jmp 0x164da
movq -0x210(%rbp), %rax
movb $0x1, (%rax)
leaq -0x138(%rbp), %rdi
callq 0x31c0
leaq -0x139(%rbp), %rdi
callq 0x3300
leaq -0x161(%rbp), %rdi
movq %rdi, -0x218(%rbp)
callq 0x34a0
movq -0x218(%rbp), %rdx
leaq 0xd067(%rip), %rsi      # 0x23584
leaq -0x160(%rbp), %rdi
callq 0x33b0
jmp 0x1652b
leaq -0x40(%rbp), %rdi
leaq -0x160(%rbp), %rsi
callq 0x184d0
movq %rax, -0x220(%rbp)
jmp 0x16544
movq -0x220(%rbp), %rax
movb $0x1, (%rax)
leaq -0x160(%rbp), %rdi
callq 0x31c0
leaq -0x161(%rbp), %rdi
callq 0x3300
leaq -0x189(%rbp), %rdi
movq %rdi, -0x228(%rbp)
callq 0x34a0
movq -0x228(%rbp), %rdx
leaq 0xd001(%rip), %rsi      # 0x23588
leaq -0x188(%rbp), %rdi
callq 0x33b0
jmp 0x16595
leaq -0x40(%rbp), %rdi
leaq -0x188(%rbp), %rsi
callq 0x184d0
movq %rax, -0x230(%rbp)
jmp 0x165ae
movq -0x230(%rbp), %rax
movb $0x1, (%rax)
leaq -0x188(%rbp), %rdi
callq 0x31c0
leaq -0x189(%rbp), %rdi
callq 0x3300
movq -0x1b8(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0x185b0
movq %rax, -0x238(%rbp)
jmp 0x165e9
movq -0x238(%rbp), %rax
movq %rax, -0x198(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x18610
movq %rax, -0x1a0(%rbp)
leaq -0x198(%rbp), %rdi
leaq -0x1a0(%rbp), %rsi
callq 0x185e0
testb $0x1, %al
jne 0x16623
jmp 0x167f3
movb $0x0, -0x1(%rbp)
movl $0x1, -0x1a4(%rbp)
jmp 0x16824
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x16659
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x31c0
leaq -0x61(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x1668d
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x98(%rbp), %rdi
callq 0x31c0
leaq -0x99(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x166c4
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0xc0(%rbp), %rdi
callq 0x31c0
leaq -0xc1(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x166fb
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0xe8(%rbp), %rdi
callq 0x31c0
leaq -0xe9(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x16732
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x110(%rbp), %rdi
callq 0x31c0
leaq -0x111(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x16769
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x138(%rbp), %rdi
callq 0x31c0
leaq -0x139(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x167a0
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x160(%rbp), %rdi
callq 0x31c0
leaq -0x161(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x167d7
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
leaq -0x188(%rbp), %rdi
callq 0x31c0
leaq -0x189(%rbp), %rdi
callq 0x3300
jmp 0x1683b
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x70(%rbp)
movl %eax, -0x74(%rbp)
jmp 0x1683b
movq -0x1b8(%rbp), %rsi
leaq -0x40(%rbp), %rdi
callq 0x18640
movq %rax, -0x240(%rbp)
jmp 0x1680c
movq -0x240(%rbp), %rax
movb (%rax), %al
andb $0x1, %al
movb %al, -0x1(%rbp)
movl $0x1, -0x1a4(%rbp)
leaq -0x40(%rbp), %rdi
callq 0x18720
movb -0x1(%rbp), %al
andb $0x1, %al
addq $0x240, %rsp            # imm = 0x240
popq %rbp
retq
leaq -0x40(%rbp), %rdi
callq 0x18720
movq -0x70(%rbp), %rdi
callq 0x3490
nopl (%rax)