/ffbbf2e7e16bc2908c25faa07f970c88e6c4e8ba/Jenkins/example_astero/mk.txt  |  2026-02-17 22:06:47  |  7791

/ffbbf2e7e16bc2908c25faa07f970c88e6c4e8ba/Jenkins/example_astero/out.txt  |  2026-02-17 22:06:47  |  143609