text {Tue Jul 5 01:05:17 UTC 2022: } 1.0 text {Control program started } 2.0 text { } 3.0 text {Tue Jul 5 01:05:17 UTC 2022: } 4.0 text {Proc. Initialize executed } 5.0 text { } 6.0 mark current 7.0 mark insert 7.0 text { } 7.0 text {Tue Jul 5 01:05:17 UTC 2022: } 1.0 text {Control program started } 2.0 text { } 3.0 text {Tue Jul 5 01:05:17 UTC 2022: } 4.0 text {Proc. Initialize executed } 5.0 text { } 6.0 text {Tue Jul 5 01:05:23 UTC 2022: } 7.0 text {Clean Up of system done } 8.0 text { } 9.0 mark current 10.0 mark insert 10.0 text { } 10.0