/Users/ktietz/demo/mc3/conda-bld/cryptominisat-split_1630664442603/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_p binary lib/python3.8/site-packages/pycryptosat.cpython-38-darwin.so
