z3_result_7d4cbe3f.tar 14 MB