PROVEからELFへ交換|SimpleSwapでSuccinctからaelfへ変換