I was fustrated that my code cannot work the 4774 cycles until I found out on this forum that adding cycle 0 makes it work. I agree with the rest of you that if cycle 0 is required then the walkthrough is very misleading.
But I don't feel good with one test case only, I want to verify the other test case as well. Has anyone tried the 574395734 cycles test case? I want to confirm that "cycle 0" is necessary before I proceed.