/home/task_177142809559329/croot/cryptominisat-split_1771428396744/_h_env_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_placehold_p binary lib/python3.10/site-packages/pycryptosat.cpython-310-aarch64-linux-gnu.so
