i to 1, representing the first second.memory1 is greater than or equal to memory2.memory1 is greater, check if memory1 has at least i bits available.
i from memory1.memory2 is greater, check if memory2 has at least i bits available.
i from memory2.i by 1 for the next second.[i, memory1, memory2].