I believe your transistors are part number IXGR40N60CD1-ND. which, unfortunately is obsolete. Here are some substitutes you can take a look at. These are not exact equivalents, but are possible substitutes, so you will want to compare datasheets to verify if either of these substitutes is suitable for your application.
