/ee58059b232d6181ec36dbff5767dc565dff4fe4/Jenkins/example_astero/mk.txt  |  2025-08-13 23:12:39  |  1878

/ee58059b232d6181ec36dbff5767dc565dff4fe4/Jenkins/example_astero/out.txt  |  2025-08-13 23:12:39  |  143676