Hi, I'm running v13.1 on an Intel+Windows system with a reasonably fast SSD. My current application generates an ordered List of 250M to 300M integers which I would like to store for later use. The values are all in the range 0 to 30. In total I will have 30 to 100 of these files. Presently it takes 45 minutes of elapsed time to Export one of these lists to a .TSV File, which ends up being about 800MB in size. Read time is acceptable at ~12 seconds. What alternative Export format(s) might provide better storage performance?