040000 tree 844ce0b7eb3dc3a1a5a7ef643239e5ec4f32e5ea	bigint
040000 tree 2f1bf826c23cb4d82e1cc8b6fec2dfabd17680e8	ezsat
040000 tree eaaa8090fe61e6e65b4df712b7226a9295c773e9	json11
040000 tree af4bef768fe4d52bd1a92e2f89b3d56e1e814f77	minisat
040000 tree 41fd30993eb7fbfb2ec56ea1ddd39149ed4b2de6	sha1
040000 tree d22c6a06b83081269961692033f40eaf9d6825af	subcircuit