"Ingeneer 2k25": Solving a Muddy Children Epistemic Logic Puzzle

I simulate iterative knowledge deduction between two players to find the minimum number of nights before one can declare the true total.