10000 LION = 1135.4 POLY

1.0 LION (Loaded Lions) = 0.11354 POLY (Polymath)
1.0 POLY (Polymath) = 8.8071 LION (Loaded Lions)