10000 LION = 156.57 RED

1.0 LION (Loaded Lions) = 0.015657 RED (RedStone)
1.0 RED (RedStone) = 63.869 LION (Loaded Lions)