witpuzzle binary data parser cube cube algs 推导洛伦兹变换 假名 正方体展开图