/846cee74753d8e3a54427dfb789a7fed9313eb92/rusty/1.3M_ms_high_Z/mk.txt  |  2026-05-28 17:58:24  |  9930

/846cee74753d8e3a54427dfb789a7fed9313eb92/rusty/1.3M_ms_high_Z/out.txt  |  2026-05-28 17:58:24  |  34181