They don't allow it in your pension but you can use it to boost your lump sum.
e.g. pensionable salary €50,000, actual salary €60,000
Tax free lump sum of €75,000. You can use AVC's to fund an additional €15,000 lump sum.
You need to read the rules though to ensure this is allowed.
The % in your PAO relates to a specific period of time and not for your entire working life. She will be entitled to 1/3 of the lump sum from period X to period Y (probably the time you were married).
Steven