PROVEからINへ交換|SimpleSwapでSuccinctからINFINITへ変換