 step 6 specifies to use `java -jar o$p$.jar` when actual file name on github is `tp.jar` <!--session: 1743756250507-282a3c0a-2de3-4697-bfd7-e1f1066fe8a0--> <!--Version: Desktop v3.6.0-->
step 6 specifies to use
java -jar o$p$.jarwhen actual file name on github istp.jar