/be9a249db7abfe49252a39a34246fd3e88d29b40/Jenkins/example_astero/mk.txt  |  2025-07-17 23:18:28  |  1878

/be9a249db7abfe49252a39a34246fd3e88d29b40/Jenkins/example_astero/out.txt  |  2025-07-17 23:18:28  |  150888