10000 LION = 676.52 CTSI

1.0 LION (Loaded Lions) = 0.067652 CTSI (Cartesi)
1.0 CTSI (Cartesi) = 14.781 LION (Loaded Lions)