/Users/ktietz/ci_310/cryptominisat-split_1643977356159/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_pla binary lib/python3.10/site-packages/pycryptosat.cpython-310-darwin.so
