10000 LION = 142.18 AVNT

1.0 LION (Loaded Lions) = 0.014218 AVNT (Avantis)
1.0 AVNT (Avantis) = 70.335 LION (Loaded Lions)