/08a30a014dbfdaa03e5e046fbd59e9b58a6b26ef/rusty/1.3M_ms_high_Z/mk.txt  |  2026-07-15 11:33:22  |  9930

/08a30a014dbfdaa03e5e046fbd59e9b58a6b26ef/rusty/1.3M_ms_high_Z/out.txt  |  2026-07-15 11:33:22  |  34181