10-25mg is nothing, it’s like 5-10x lower than people usually take
Wikipedia states "The concentrations of psilocin and psilocybin ... [is] 0.37–1.30% (dry weight) in the whole mushroom".
Assuming about 0.5% concentration, 3.5g of dry mushrooms is about 18mg of psilocybin/psilocin.