grapescan/domain_decomp archive