Effective Structure Theorems for Symplectic Spaces via Height