10000 ATA = 295.78 PRO

1.0 ATA (Automata Network) = 0.029578 PRO (Propy)
1.0 PRO (Propy) = 33.809 ATA (Automata Network)