Seed: 5358157856664261722

All in all, this was my first run which pulled the necessary RNG, and it's not terrible! It's certainly not as good as it could be: you can get a sub-37 fairly easily in practice. Regrettably, I messed up the quartz mining which cost me the high 36, but oh well. Much better than messing up the portal, I suppose! I had a 39.6xx with TNT, which is honestly a more mechanically impressive run than this, but I'll take the improvement nonetheless. Hoping for the 1.13 seed to fix the blacksmith RNG...