então @derivexyz é o 7º maior dex por OI com $435m 30% do Lighter, 6% do HL sem pontos e praticamente sem incentivos traders reais? deve ser