#!/bin/bash -e
. "$(dirname "${BASH_SOURCE[0]}")"/../lib/runscripts/extract.run "$@"
# export_() runtime: 20 s ("0:21.57") @r10880