Supplementary materials for "Real-Time Anomaly Detection in Seasonal Time Series with Conditional Variational Autoencoder"