Did Chicago and KS use cryodex? Given the performance of lists that were not jm5k or palp aces it would be interesting to see how many standard lists were brought.
chicago used tome.
I entered the top16 manually; here it is in List Juggler
I heard back from OP earlier in the week about having TOME output be machine and human readable; their response: " Unfortunately, there is still no movement on our end. I’ll be sure to let you know ASAP when there is!"