I found the appropriate .sav file in my Nintendo 3DS folder on the SD card, but it's 192KB instead of the usual 64/128 for GBA games.
I read that I need to decrypt that using xorpads (which I found online). How do I actually go about doing that? Any input?