cookie-cut setup from alu proof_main_stage.py