https://5dok.net/document/yevwo3o4-porting-tree-based-table-compression-gpgpu-model-checking.html