I’ve got my hand on a Velleman handheld powersupply, dead at arrival due to some missuse from the first owner…

Though it would be an easy fix, just some shorted mosfet as always but when I opened this powersupply it got really roasted,

My first guess is that the first user backfeed higher voltage to the intakes…

When i connect it to mains I just got 37vdc at the outlets, this confirm shorted mosfet.

Is there anyone that knows the values of component LR1 and LR2?

/Best regards Fredrik