CIVET: Exploring Compact Index for Variable-Length Subsequence Matching on Time Series | Synapse