PROVEからSTOPへ交換|SimpleSwapでSuccinctからLETSTOPへ変換