Penukaran DFA ke AGRS | Konversi DeFine ke Agoras: Currency of Tau di SimpleSwap