10000 LION = 131.25 AVNT

1.0 LION (Loaded Lions) = 0.013125 AVNT (Avantis)
1.0 AVNT (Avantis) = 76.193 LION (Loaded Lions)