040000 tree 2c8bb0b3807f0d0508d44fd2047fcf7902782fa6	bmc
040000 tree 8deb2712f3cb33c5dd5ac03d5c1d65ceb360c492	bsat
040000 tree 82076c7aa525390b25bdf9b0dfac0439b470f890	bsat2
040000 tree f3e829e8f62cf625dcd71a02ebdb3343651fb069	cnf
040000 tree e74bbc30a5ac2133fe60c3f947cb5295d2d62919	csat
040000 tree 60ea2a342f61d109420b36613263f3ef43e4b880	glucose
040000 tree 0b22bc0bd44de8c91dc219c8b20376a5817ccf73	lsat
040000 tree 7f4d301fc97f9e04272d119da8aea16ef9a75355	msat
040000 tree 320ebe70b258eabfce750935028bfd6c449ff373	proof
040000 tree 5e3c6caed996fde3095fc3898ea5a6c9d5883dcf	psat
040000 tree 8eb77222343b2025eda290f545de90b1e6163ee3	satoko
040000 tree 09b8100f526f4b34952fa2dfd34c2d78e66d74eb	xsat