fixed-point-reasoners/arc1

为此模型做种

有文件？提交种子。