// File: sokolcom[P]tp-blockchain-task06/uint256_t/uint256_t.cpp
// Function: uint256_t::mulmod(uint256_t, uint256_t const&) const
uint256_t uint256_t::mulmod(uint256_t another, const uint256_t &modulo) const
{
    uint256_t result = 0;
    uint256_t a = *this;

    if (a > another)
    {
        uint256_t temp = a;
        a = another;
        another = temp;
    }

    while (a)
    {
        if (a & 1)
        {
            result = result.addmod(another, modulo);
        }

        another = another.addmod(another, modulo);
        a >>= 1;
    }

    // while (another)
    // {
    //     if (another % 2)
    //     {
    //         if (modulo - result < a)
    //         {
    //             // assert(result - (uint256_max - a) == result + a);
    //             result -= modulo - a;
    //         }
    //         else
    //         {
    //             // assert(modulo - result >= a);
    //             result += a;
    //         }
    //     }

    //     if (modulo - a < a)
    //     {
    //         a -= modulo - a;
    //     }
    //     else
    //     {
    //         // assert(uint256_max - a >= a);
    //         a *= 2;
    //     }
        
    //     another /= 2;
    // }

    return result;
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
subq $0xf0, %rsp
movq %rdi, -0xe8(%rbp)
movq %rdi, %rax
movq %rax, -0xe0(%rbp)
leaq 0x10(%rbp), %rax
movq %rax, -0xd0(%rbp)
movq %rsi, -0x8(%rbp)
movq %rdx, -0x10(%rbp)
movq -0x8(%rbp), %rax
movq %rax, -0xd8(%rbp)
movl $0x0, -0x14(%rbp)
leaq -0x14(%rbp), %rsi
callq 0xabf0
movq -0xd8(%rbp), %rax
movq -0xd0(%rbp), %rsi
movq (%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x28(%rbp)
movq 0x18(%rax), %rax
movq %rax, -0x20(%rbp)
leaq -0x38(%rbp), %rdi
callq 0x7e60
testb $0x1, %al
jne 0xa876
jmp 0xa8db
movq -0xd0(%rbp), %rax
movq -0x38(%rbp), %rcx
movq %rcx, -0x58(%rbp)
movq -0x30(%rbp), %rcx
movq %rcx, -0x50(%rbp)
movq -0x28(%rbp), %rcx
movq %rcx, -0x48(%rbp)
movq -0x20(%rbp), %rcx
movq %rcx, -0x40(%rbp)
movq (%rax), %rcx
movq %rcx, -0x38(%rbp)
movq 0x8(%rax), %rcx
movq %rcx, -0x30(%rbp)
movq 0x10(%rax), %rcx
movq %rcx, -0x28(%rbp)
movq 0x18(%rax), %rcx
movq %rcx, -0x20(%rbp)
movq -0x58(%rbp), %rcx
movq %rcx, (%rax)
movq -0x50(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x48(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x40(%rbp), %rcx
movq %rcx, 0x18(%rax)
jmp 0xa8dd
leaq -0x38(%rbp), %rdi
callq 0x6fa0
testb $0x1, %al
jne 0xa8ef
jmp 0xa9d1
movl $0x1, -0x7c(%rbp)
leaq -0x78(%rbp), %rdi
leaq -0x38(%rbp), %rsi
leaq -0x7c(%rbp), %rdx
callq 0xb5e0
leaq -0x78(%rbp), %rdi
callq 0x6fa0
testb $0x1, %al
jne 0xa916
jmp 0xa966
movq -0xe8(%rbp), %rsi
movq -0xd0(%rbp), %rdx
movq -0x10(%rbp), %rcx
leaq -0xa0(%rbp), %rdi
callq 0xa9f0
movq -0xe8(%rbp), %rax
movq -0xa0(%rbp), %rcx
movq %rcx, (%rax)
movq -0x98(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0x90(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0x88(%rbp), %rcx
movq %rcx, 0x18(%rax)
movq -0xd0(%rbp), %rdx
movq -0x10(%rbp), %rcx
leaq -0xc0(%rbp), %rdi
movq %rdx, %rsi
callq 0xa9f0
movq -0xd0(%rbp), %rax
movq -0xc0(%rbp), %rcx
movq %rcx, (%rax)
movq -0xb8(%rbp), %rcx
movq %rcx, 0x8(%rax)
movq -0xb0(%rbp), %rcx
movq %rcx, 0x10(%rax)
movq -0xa8(%rbp), %rcx
movq %rcx, 0x18(%rax)
movl $0x1, -0xc4(%rbp)
leaq -0x38(%rbp), %rdi
leaq -0xc4(%rbp), %rsi
callq 0xb640
jmp 0xa8dd
movq -0xe0(%rbp), %rax
addq $0xf0, %rsp
popq %rbp
retq
nopw %cs:(%rax,%rax)