e5943b8399d6fbc0838afe3b6ac40ed5890f0cef01b57f7b326e0a8c266fb539  HANDOFF_SPEC.md
612d8211ca51f5836e1f94dbec1c8ddd5723439f2b09c8f3e1ae87e0de859a80  generate_h24_306763_order42_644cases.cpp
e9e9866967605b3f6420ecebab2e267e3e069c3f1c77ff9b2c050876c46037c0  manifest_order42_644cases.tsv
22513222f38e798200337aa1d1d9db3bb655d51037a40be6438ff00c98dc7479  manifest_order42_13split_leaves.tsv
