crwdns2933897:0crwdne2933897:0

Software Replacement Question - JOdin3

I got a near-mint SIII Mini (i8190N) for free, as someone killed some system files while attempting a root. I want to use this as a daily driver on CyanogenMod 10, however, I am not sure which method to go with. Will it work if I just flash TWRP via Odin (on Ubuntu 20 LTS), then install the ROM and GApps, or do I need to reflash the stock TouchWiz ROM, re-root, then go from there?

crwdns2934089:0crwdne2934089:0 crwdns2934093:0crwdne2934093:0

crwdns2934109:0crwdne2934109:0

crwdns2853045:0crwdne2853045:0 crwdns2853046:0crwdne2853046:0
crwdns2889612:0crwdne2889612:0 0
crwdns2934285:0crwdne2934285:0