« first day (1727 days earlier)   

12:02 AM
You're right. It assumes that K's algo works, which is what we're trying to prove. @user159870
 

« first day (1727 days earlier)