// File: king1600[P]cordpp/./include/json.h
// Function: nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer> const& nlohmann::basic_json<std::map, std::vector, std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>, bool, long, unsigned long, double, std::allocator, nlohmann::adl_serializer>::operator[]<char const>(char const*) const
const_reference operator[](T* key) const
    {
        // at only works for objects
        if (JSON_LIKELY(is_object()))
        {
            assert(m_value.object->find(key) != m_value.object->end());
            return m_value.object->find(key)->second;
        }

        JSON_THROW(type_error::create(305, "cannot use operator[] with " + std::string(type_name())));
    }

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0x140, %rsp            # imm = 0x140
movq %rdi, -0x8(%rbp)
movq %rsi, -0x10(%rbp)
movq -0x8(%rbp), %rdi
movq %rdi, -0xd8(%rbp)
callq 0x1f720
xorb $-0x1, %al
xorb $-0x1, %al
testb $0x1, %al
jne 0x1f2a0
jmp 0x1f477
movq -0xd8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0xf0(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0xe8(%rbp)
leaq -0x39(%rbp), %rdi
movq %rdi, -0xe0(%rbp)
callq 0xcc80
movq -0xe8(%rbp), %rsi
movq -0xe0(%rbp), %rdx
leaq -0x38(%rbp), %rdi
callq 0x107e0
jmp 0x1f2e6
movq -0xf0(%rbp), %rdi
leaq -0x38(%rbp), %rsi
callq 0x1f770
movq %rax, -0xf8(%rbp)
jmp 0x1f2ff
movq -0xd8(%rbp), %rax
movq -0xf8(%rbp), %rcx
movq %rcx, -0x18(%rbp)
movq 0x8(%rax), %rdi
callq 0x1f7a0
movq %rax, -0x58(%rbp)
leaq -0x18(%rbp), %rdi
leaq -0x58(%rbp), %rsi
callq 0x1f740
testb $0x1, %al
jne 0x1f331
jmp 0x1f333
jmp 0x1f37d
leaq 0x709ae(%rip), %rdi     # 0x8fce8
leaq 0x70308(%rip), %rsi     # 0x8f649
movl $0x27a7, %edx           # imm = 0x27A7
leaq 0x709ce(%rip), %rcx     # 0x8fd1b
callq 0xc290
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1f435
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x38(%rbp), %rdi
callq 0xcfb8
jmp 0x1f435
leaq -0x38(%rbp), %rdi
callq 0xcfb8
leaq -0x39(%rbp), %rdi
callq 0xcfa0
movq -0xd8(%rbp), %rax
movq 0x8(%rax), %rax
movq %rax, -0x110(%rbp)
movq -0x10(%rbp), %rax
movq %rax, -0x108(%rbp)
leaq -0x81(%rbp), %rdi
movq %rdi, -0x100(%rbp)
callq 0xcc80
movq -0x108(%rbp), %rsi
movq -0x100(%rbp), %rdx
leaq -0x80(%rbp), %rdi
callq 0x107e0
jmp 0x1f3d8
movq -0x110(%rbp), %rdi
leaq -0x80(%rbp), %rsi
callq 0x1f770
movq %rax, -0x118(%rbp)
jmp 0x1f3f1
movq -0x118(%rbp), %rax
movq %rax, -0x60(%rbp)
leaq -0x60(%rbp), %rdi
callq 0x1f7d0
addq $0x20, %rax
movq %rax, -0x120(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xcfb8
leaq -0x81(%rbp), %rdi
callq 0xcfa0
movq -0x120(%rbp), %rax
addq $0x140, %rsp            # imm = 0x140
popq %rbp
retq
leaq -0x39(%rbp), %rdi
callq 0xcfa0
jmp 0x1f59f
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1f466
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0x80(%rbp), %rdi
callq 0xcfb8
leaq -0x81(%rbp), %rdi
callq 0xcfa0
jmp 0x1f59f
movb $0x1, -0xca(%rbp)
movl $0x20, %edi
callq 0xc560
movq -0xd8(%rbp), %rdi
movq %rax, -0x130(%rbp)
callq 0x1f990
movq %rax, -0x128(%rbp)
jmp 0x1f4a4
leaq -0xc9(%rbp), %rdi
movq %rdi, -0x138(%rbp)
callq 0xcc80
movq -0x128(%rbp), %rsi
movq -0x138(%rbp), %rdx
leaq -0xc8(%rbp), %rdi
callq 0x107e0
jmp 0x1f4d3
leaq 0x7099d(%rip), %rsi     # 0x8fe77
leaq -0xa8(%rbp), %rdi
leaq -0xc8(%rbp), %rdx
callq 0x1f940
jmp 0x1f4ef
movq -0x130(%rbp), %rdi
movl $0x131, %esi            # imm = 0x131
leaq -0xa8(%rbp), %rdx
callq 0x1f7f0
jmp 0x1f509
movq -0x130(%rbp), %rdi
movb $0x0, -0xca(%rbp)
leaq 0xbb16a(%rip), %rsi     # 0xda688
leaq 0x4fb(%rip), %rdx       # 0x1fa20
callq 0xc890
jmp 0x1f5a8
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1f586
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1f57a
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
jmp 0x1f56e
movq %rax, %rcx
movl %edx, %eax
movq %rcx, -0x48(%rbp)
movl %eax, -0x4c(%rbp)
leaq -0xa8(%rbp), %rdi
callq 0xcfb8
leaq -0xc8(%rbp), %rdi
callq 0xcfb8
leaq -0xc9(%rbp), %rdi
callq 0xcfa0
testb $0x1, -0xca(%rbp)
jne 0x1f591
jmp 0x1f59d
movq -0x130(%rbp), %rdi
callq 0xcb30
jmp 0x1f59f
movq -0x48(%rbp), %rdi
callq 0xc8c0
nopl (%rax,%rax)