// File: /workspace/github_cpp_makefile_star2_O3/DCTewi[P]Truthtable-Calculator/functions.cpp
// Function: prepareWork(std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char>>&)
void prepareWork(std::string &s)
{
    size_t plc = 0;
    while ((plc = s.find("&&")) != std::string::npos)
    {
        s = s.replace(plc, 2, "&");
    }
    while ((plc = s.find("||")) != std::string::npos)
    {
        s = s.replace(plc, 2, "|");
    }
    while ((plc = s.find("->")) != std::string::npos)
    {
        s = s.replace(plc, 2, "-");
    }
    while ((plc = s.find("==")) != std::string::npos)
    {
        s = s.replace(plc, 2, "=");
    }

    for (int i = 1; i < static_cast<int>(s.size()); i++)
    {
        while (s[i] == '!' && s[i - 1] == '!')
        {
            s = s.substr(0, i - 1) + s.substr(std::min(i + 1, static_cast<int>(s.size())));
        }
    }
}

// Assembly:
pushq %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x68, %rsp
movq %rdi, %rbx
leaq 0x3bd4(%rip), %rsi      # 0x6080
movl $0x2, %ecx
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
je 0x2508
leaq 0x3bbc(%rip), %r14      # 0x6081
leaq 0x3bb4(%rip), %r15      # 0x6080
movl $0x2, %edx
movl $0x1, %r8d
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rcx
callq 0x21b0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20d0
movl $0x2, %ecx
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
jne 0x24cc
leaq 0x3b74(%rip), %rsi      # 0x6083
movl $0x2, %ecx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
je 0x256e
leaq 0x3b59(%rip), %r14      # 0x6084
leaq 0x3b51(%rip), %r15      # 0x6083
movl $0x2, %edx
movl $0x1, %r8d
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rcx
callq 0x21b0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20d0
movl $0x2, %ecx
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
jne 0x2532
leaq 0x3b11(%rip), %rsi      # 0x6086
movl $0x2, %ecx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
je 0x25d4
leaq 0x3af8(%rip), %r14      # 0x6089
leaq 0x3aee(%rip), %r15      # 0x6086
movl $0x2, %edx
movl $0x1, %r8d
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rcx
callq 0x21b0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20d0
movl $0x2, %ecx
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
jne 0x2598
leaq 0x3ab0(%rip), %rsi      # 0x608b
movl $0x2, %ecx
movq %rbx, %rdi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
je 0x263a
leaq 0x3a95(%rip), %r14      # 0x608c
leaq 0x3a8d(%rip), %r15      # 0x608b
movl $0x2, %edx
movl $0x1, %r8d
movq %rbx, %rdi
movq %rax, %rsi
movq %r14, %rcx
callq 0x21b0
movq %rbx, %rdi
movq %rax, %rsi
callq 0x20d0
movl $0x2, %ecx
movq %rbx, %rdi
movq %r15, %rsi
xorl %edx, %edx
callq 0x2260
cmpq $-0x1, %rax
jne 0x25fe
movq 0x8(%rbx), %rcx
cmpl $0x2, %ecx
jl 0x27d1
leaq 0x38(%rsp), %r15
movq (%rbx), %rax
movl $0x1, %ebp
leaq 0x48(%rsp), %r14
cmpb $0x21, (%rax,%rbp)
jne 0x27bf
leaq -0x1(%rbp), %r13
leaq 0x1(%rbp), %r12
cmpb $0x21, (%rax,%r13)
jne 0x27b6
movq %r14, %rdi
movq %rbx, %rsi
xorl %edx, %edx
movq %r13, %rcx
callq 0x2190
movl 0x8(%rbx), %eax
cmpl %eax, %r12d
cmovll %r12d, %eax
movslq %eax, %rdx
leaq 0x8(%rsp), %rdi
movq %rbx, %rsi
movq $-0x1, %rcx
callq 0x2190
movq 0x48(%rsp), %rcx
movl $0xf, %edi
leaq 0x58(%rsp), %rax
cmpq %rax, %rcx
je 0x26c0
movq 0x58(%rsp), %rdi
movq 0x50(%rsp), %r8
movq 0x8(%rsp), %rsi
movq 0x10(%rsp), %rdx
leaq (%rdx,%r8), %rax
cmpq %rdi, %rax
jbe 0x26f1
movl $0xf, %edi
leaq 0x18(%rsp), %r9
cmpq %r9, %rsi
je 0x26ec
movq 0x18(%rsp), %rdi
cmpq %rdi, %rax
jbe 0x26fb
movq %r14, %rdi
callq 0x2070
jmp 0x2709
leaq 0x8(%rsp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x21b0
movq %r15, 0x28(%rsp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x2729
movq %rdx, 0x28(%rsp)
movq (%rcx), %rdx
movq %rdx, 0x38(%rsp)
jmp 0x2730
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, 0x30(%rsp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq %rbx, %rdi
leaq 0x28(%rsp), %rsi
callq 0x21d0
movq 0x28(%rsp), %rdi
cmpq %r15, %rdi
je 0x2771
movq 0x38(%rsp), %rsi
incq %rsi
callq 0x2180
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x278d
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2180
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x27a9
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x2180
movq (%rbx), %rax
cmpb $0x21, (%rax,%rbp)
je 0x266b
movq 0x8(%rbx), %rcx
movq %r12, %rbp
jmp 0x27c5
incq %rbp
movq %rbp, %r12
movslq %ecx, %rdx
cmpq %rdx, %r12
jl 0x2659
addq $0x68, %rsp
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, %rbx
movq 0x8(%rsp), %rdi
leaq 0x18(%rsp), %rax
cmpq %rax, %rdi
je 0x2804
movq 0x18(%rsp), %rsi
incq %rsi
callq 0x2180
jmp 0x2804
movq %rax, %rbx
movq 0x48(%rsp), %rdi
leaq 0x58(%rsp), %rax
cmpq %rax, %rdi
je 0x2820
movq 0x58(%rsp), %rsi
incq %rsi
callq 0x2180
movq %rbx, %rdi
callq 0x2270