Codeforces Round 889 | C1 & C2 Dual Hard Version | Constructive Algorithms
Problem link: https://codeforces.com/contest/1855/p...
This video contains an intuitive proof for why the number of operations is always at most 32 but not an exhaustive proof.
I will be pinning a comment to submission and proof after Codeforces system testing is complete.