They are hardcoded in the exe starting at 0x6A3F4
because it wouldn't be fun otherwise, the encoding is also Shift JIS.
Using wxMEdit (garbage replaced by dots for clarity):
0006a3f0 db 0f c9 40 97 ec 95 84 81 75 96 b2 91 7a 95 95 |....霊符「夢想封 0006a400 88 f3 81 76 00 00 00 00 00 00 70 42 00 00 30 43 |印」............ 0006a410 96 b2 95 84 81 75 95 95 96 82 90 77 81 76 00 00 |夢符「封魔陣」.. 0006a420 96 82 95 84 81 75 83 58 83 5e 81 5b 83 5f 83 58 |魔符「スターダス 0006a430 83 67 83 8c 83 94 83 40 83 8a 83 47 81 76 00 00 |トレヴァリエ」.. 0006a440 00 00 80 42 00 00 00 c2 00 00 c0 40 00 00 00 40 |................ 0006a450 97 f6 95 84 81 75 83 7d 83 58 83 5e 81 5b 83 58 |恋符「マスタース 0006a460 83 70 81 5b 83 4e 81 76 00 00 00 00 db 0f c9 3f |パーク」........