There was an error while loading. Please reload this page.
36f7ac8
Update to account for other class data https://github.com/egraphs-good/egraph-serialize/pull/23