Thank you Mizusima for the route, Shiner for translating it and Wusscake for making the notes more beginner friendly verifier's remark: time was actually 3 seconds earlier