25 ATA = 0.74102 PRO

1.0 ATA (Automata Network) = 0.029641 PRO (Propy)
1.0 PRO (Propy) = 33.737 ATA (Automata Network)