/all_satisfy.d/1.1.1.1/Sun Jul 30 05:20:42 2023// /traits.exp/1.1.1.1/Sun Jul 30 05:20:42 2023// D